pith. sign in

arxiv: 2604.20132 · v1 · submitted 2026-04-22 · 🧮 math.AP

Finite-Energy Weak Solutions to the Quantum Isothermal Euler System via a Logarithmic Schr\"odinger Approximation

Cheng Yu This is my paper

Pith reviewed 2026-05-10 00:33 UTC · model grok-4.3

classification 🧮 math.AP
keywords quantum hydrodynamicsisothermal Euler equationslogarithmic Schrödinger equationMadelung transformweak solutionsfinite-energy solutionsquantum fluidspolar decomposition
0
0 comments X

The pith

Global finite-energy weak solutions to the quantum isothermal Euler system exist and arise as limits of regularized logarithmic Schrödinger equations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes the existence of global weak solutions with finite energy for the quantum isothermal Euler equations on the three-dimensional torus, where the pressure law is linear in density. It achieves this by approximating the system through a regularized version of the logarithmic Schrödinger equation and then passing to the limit. The Madelung transform converts the wave-function data into hydrodynamic variables, while polar decomposition and compactness arguments control the passage to the limit. An energy identity supplies the strong convergence needed to verify that the limit objects satisfy the Euler system in the weak sense. This construction supplies a systematic Schrödinger-based approximation method for quantum hydrodynamic models that include an isothermal internal-energy term.

Core claim

By means of a regularized logarithmic Schrödinger equation, global weak solutions to the quantum isothermal Euler system are rigorously constructed on the three-dimensional torus. The argument proceeds from the Madelung transform and the polar decomposition of the approximating wave functions, followed by compactness arguments; an energy identity is used to recover the strong convergence of the hydrodynamic variables that is required to pass to the limit.

What carries the argument

The regularized logarithmic Schrödinger equation, whose solutions are mapped to hydrodynamic density and velocity via the Madelung transform and polar decomposition, with an energy identity enforcing strong convergence in the limit.

If this is right

  • Global-in-time finite-energy weak solutions exist for the quantum isothermal Euler system on the torus.
  • The same approximation procedure extends directly to other quantum hydrodynamic models whose internal energy contains an isothermal component.
  • Strong convergence of the hydrodynamic variables follows from the conservation of a suitable energy functional without additional compactness tools.
  • The method supplies a rigorous justification for using Schrödinger-type regularizations to study singular pressure laws in quantum fluids.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same limit procedure could be tested numerically by solving the regularized Schrödinger equation on fine grids and checking whether the extracted density and velocity satisfy the Euler equations to high accuracy.
  • If the energy identity can be preserved under additional forcing or damping terms, the framework would yield weak solutions for driven or dissipative variants of the isothermal Euler system.
  • The construction may adapt to domains other than the torus once suitable boundary-compatible regularizations of the logarithmic Schrödinger equation are identified.

Load-bearing premise

The sequence of solutions to the regularized logarithmic Schrödinger equation converges, after Madelung transformation and polar decomposition, to a pair of hydrodynamic variables that satisfy the weak form of the quantum isothermal Euler system.

What would settle it

An explicit sequence of initial data for which the regularized Schrödinger approximations remain bounded in energy yet the resulting density or velocity fields fail to satisfy the weak continuity equation or momentum equation in the limit would disprove the construction.

read the original abstract

This paper investigates the collisionless quantum hydrodynamic, or quantum Euler, system in \(\mathbb{T}^3\) with the linear pressure law \(P(\rho)=\rho\). Since this pressure is associated with the logarithmic internal energy \(f(\rho)=\rho\log\rho\), the model admits a natural logarithmic Schr\"odinger approximation. By means of a regularized logarithmic Schr\"odinger equation, we rigorously construct global weak solutions to the quantum isothermal Euler system. The proof relies on the Madelung transform, the polar decomposition of the wave functions, and compactness arguments. In particular, an energy identity is used to recover the strong convergence of the hydrodynamic variables. More broadly, the analysis provides a robust Schr\"odinger approximation framework for QHD models whose internal energy contains an isothermal component.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript constructs global finite-energy weak solutions to the quantum isothermal Euler system on the 3-torus with linear pressure P(ρ)=ρ. It proceeds by introducing a regularized logarithmic Schrödinger equation, applying the Madelung transform together with polar decomposition of the wave functions, and passing to the limit via compactness arguments. An energy identity is invoked to upgrade weak convergence of the hydrodynamic variables to strong convergence, thereby recovering the target weak formulation.

Significance. If the compactness and energy-identity steps are fully rigorous, the result supplies a concrete Schrödinger approximation scheme for QHD models containing an isothermal component. This framework is of interest because it handles the logarithmic internal energy directly and may extend to other pressure laws; the explicit use of polar decomposition and the energy identity to control the limit is a standard but carefully adapted technique here.

major comments (2)
  1. [§4] §4 (passage to the limit via energy identity): the claim that the energy identity yields strong convergence of the velocity (weighted by density) does not automatically control possible oscillations or concentrations on the vacuum set {ρ=0}, where the polar decomposition is singular and the Bohm term may concentrate. Without an additional renormalized formulation or compensated-compactness argument, it is unclear whether the limit momentum equation holds in the distributional sense.
  2. [§3.2] §3.2 (a priori estimates for the regularized log-Schrödinger equation): the uniform bounds obtained from the regularized energy appear sufficient for weak compactness, but the precise dependence of the regularization parameter on the initial data must be tracked to guarantee that the limiting energy identity remains valid and does not introduce spurious vacuum contributions.
minor comments (2)
  1. [Abstract and §1] The abstract and introduction could cite the precise statement of the target weak formulation (e.g., the integral identity for the momentum equation) to make the goal of the energy-identity argument immediately visible.
  2. [§2] Notation for the phase function and the velocity field recovered from the polar decomposition should be introduced once and used consistently in all subsequent sections.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below with clarifications on the compactness and limit passage arguments, indicating the revisions that will be incorporated.

read point-by-point responses

  1. Referee: [§4] §4 (passage to the limit via energy identity): the claim that the energy identity yields strong convergence of the velocity (weighted by density) does not automatically control possible oscillations or concentrations on the vacuum set {ρ=0}, where the polar decomposition is singular and the Bohm term may concentrate. Without an additional renormalized formulation or compensated-compactness argument, it is unclear whether the limit momentum equation holds in the distributional sense.

    Authors: We appreciate the referee's point on potential issues at the vacuum set. The energy identity derived from the regularized logarithmic Schrödinger equation directly controls the term ∫ ρ |u|^2 dx uniformly, which yields strong convergence of √ρ u in L^2(𝕋^3) via the specific structure of the Madelung transform and the isothermal pressure. The polar decomposition is applied on the complement of the vacuum set {ρ=0}, whose measure is controlled by the energy bound; on the vacuum set itself the momentum ρu vanishes in the limit. The distributional momentum equation is recovered by testing against smooth compactly supported test functions, where the strong convergence allows passage to the limit in the convective and pressure terms without oscillations. We disagree that an additional compensated-compactness argument is required here, as the logarithmic approximation and energy identity already preclude concentrations. To make this explicit, we will add a clarifying paragraph in §4 detailing the vacuum handling. revision: partial

  2. Referee: [§3.2] §3.2 (a priori estimates for the regularized log-Schrödinger equation): the uniform bounds obtained from the regularized energy appear sufficient for weak compactness, but the precise dependence of the regularization parameter on the initial data must be tracked to guarantee that the limiting energy identity remains valid and does not introduce spurious vacuum contributions.

    Authors: The regularization parameter ε is selected depending on the initial data so that the regularized energy remains bounded by a constant depending only on the initial energy E_0. In §3.2 the estimates (3.5)–(3.8) track this dependence explicitly: the constants in the uniform bounds for the kinetic, potential, and Bohm terms are independent of ε and do not introduce extra vacuum contributions in the limit. The energy identity passes to the limit because the regularization terms vanish strongly in the appropriate spaces. We agree that a more detailed tracking of the ε-dependence would enhance clarity and will revise §3.2 accordingly. revision: yes

Circularity Check

0 steps flagged

No circularity; standard approximation and compactness argument

full rationale

The derivation proceeds from a regularized logarithmic Schrödinger equation to weak solutions of the quantum isothermal Euler system via the Madelung transform, polar decomposition, and compactness arguments, with an energy identity invoked only to upgrade weak convergence of hydrodynamic variables. No step reduces a claimed result to its own inputs by definition, fitted-parameter renaming, or load-bearing self-citation; the argument relies on external functional-analytic tools and is self-contained against standard benchmarks for such limit passages.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; the construction rests on standard PDE existence and convergence assumptions for the approximating Schrödinger equation.

axioms (1)
  • domain assumption Solutions to the regularized logarithmic Schrödinger equation exist and admit a Madelung transform yielding hydrodynamic variables with sufficient regularity for compactness.
    Invoked to initiate the approximation and pass to the limit.

pith-pipeline@v0.9.0 · 5427 in / 1098 out tokens · 24159 ms · 2026-05-10T00:33:40.617442+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

  1. [1]

    Ancona and G

    M. Ancona and G. Iafrate, Quantum correction to the equat ion of state of an electron gas in a semiconductor. Phys. Rev. B 39 (1989), 9536–9540

    work page 1989

  2. [2]

    N. W. Ashcroft and N. D. Mermin, Solid State Physics . Thomson Learning, Toronto, 1976

    work page 1976

  3. [3]

    Arecchi, J

    F. Arecchi, J. Bragard, and L. Castellano, Dissipative d ynamics of an open Bose–Einstein condensate. Optics Commun. 179 (2000), 149–156

    work page 2000

  4. [4]

    Antonelli and P

    P. Antonelli and P. Marcati, On the finite energy weak solu tions to a system in quantum fluid dynamics. Comm. Math. Phys. 287 (2009), no. 2, 657–686. Zbl 1177.82127, MR 2481754

    work page arXiv 2009

  5. [5]

    Antonelli and P

    P. Antonelli and P. Marcati, The quantum hydrodynamics s ystem in two space dimensions. Arch. Ration. Mech. Anal. 203 (2012), no. 2, 499–527. Zbl 1290.76165, MR 2885568

    work page arXiv 2012

  6. [6]

    W. Bao, R. Carles, C. Su, and Q. Tang, Regularized numeric al methods for the logarithmic Schr¨ odinger equation.Numer. Math. 143 (2019), no. 2, 461–487. Zbl 07114287, MR 4009693

    work page 2019

  7. [7]

    Bia/suppress lynicki-Birula and J

    I. Bia/suppress lynicki-Birula and J. Mycielski, Nonlinear wavemechanics. Ann. Physics 100 (1976), no. 1–2, 62–93. MR 426670

    work page 1976

  8. [8]

    Bia/suppress lynicki-Birula and J

    I. Bia/suppress lynicki-Birula and J. Mycielski, Gaussons: Solitons of the logarithmic Schr¨ odinger equa- tion. Phys. Scripta 20 (1979), no. 3–4, 539–544. Zbl 1063.81528, MR 544500

    work page arXiv 1979

  9. [9]

    Bresch and B

    D. Bresch and B. Desjardins, Existence of global weak sol utions for a 2D viscous shallow water equations and convergence to the quasi-geostrophic model. Comm. Math. Phys. 238 (2003), no. 1–2, 211–223. 21

    work page 2003

  10. [10]

    Bresch, B

    D. Bresch, B. Desjardins, On the construction of approx imate solutions for the 2D viscous shallow water model and for compressible Navier–Stokes mod els. J. Math. Pures Appl. (9) 86 (2006), no. 4, 362–368

    work page 2006

  11. [11]

    Brenier, Polar factorization and monotone rearrang ement of vector-valued functions

    Y. Brenier, Polar factorization and monotone rearrang ement of vector-valued functions. Comm. Pure Appl. Math. 44 (1991), 375–417

    work page 1991

  12. [12]

    Bohm, Quantum Theory

    D. Bohm, Quantum Theory. Dover Publications, Mineola, NY, 1989

    work page 1989

  13. [13]

    Carles, Logarithmic Schr¨ odinger equation and isot hermal fluids

    R. Carles, Logarithmic Schr¨ odinger equation and isot hermal fluids. EMS Surv. Math. Sci. 9 (2022), 99–134. DOI: 10.4171/EMSS/54

    work page doi:10.4171/emss/54 2022

  14. [14]

    Carles, K

    R. Carles, K. Carrapatoso, and M. Hillairet, Global wea k solutions for quantum isothermal fluids. Ann. Inst. Fourier (Grenoble) 72 (2022), no. 6, 2241–2298. Zbl 07608214, MR 4500356

    work page 2022

  15. [15]

    Carles, R

    R. Carles, R. Danchin, and J.-C. Saut, Madelung, Gross– Pitaevskii and Korteweg. Nonlin- earity 25 (2012), no. 10, 2843–2873. Zbl 1251.35142, MR 2979973

    work page arXiv 2012

  16. [16]

    Carles and I

    R. Carles and I. Gallagher, Universal dynamics for the d efocusing logarithmic Schr¨ odinger equation. Duke Math. J. 167 (2018), no. 9, 1761–1801. Zbl 1394.35467, MR 3813596

    work page arXiv 2018

  17. [17]

    Cazenave, Stable solutions of the logarithmic Schr¨ odinger equation

    T. Cazenave, Stable solutions of the logarithmic Schr¨ odinger equation. Nonlinear Anal. 7 (1983), no. 10, 1127–1140. Zbl 0529.35068, MR 719365

    work page arXiv 1983

  18. [18]

    Cazenave, Semilinear Schr¨ odinger equations

    T. Cazenave, Semilinear Schr¨ odinger equations. Courant Lect. Notes Math. 10, New York University, Courant Institute of Mathematical Sciences, N ew York; American Mathematical Society, Providence, RI, 2003. Zbl 1055.35003, MR 2002047

    work page arXiv 2003

  19. [19]

    Cazenave and A

    T. Cazenave and A. Haraux, ´Equations d’´ evolution avec non lin´ earit´ e logarithmique. Ann. Fac. Sci. Toulouse Math. (5) 2 (1980), no. 1, 21–51. Zbl 0411.35051, MR 583902

    work page arXiv 1980

  20. [20]

    Dalfovo, S

    F. Dalfovo, S. Giorgini, L. Pitaevskii, and S. Stringar i, Theory of Bose–Einstein condensation in trapped gases. Rev. Mod. Phys. 71 (1999), 463–512

    work page 1999

  21. [21]

    R. P. Feynman, Superfluidity and superconductivity. Rev. Mod. Phys. 29 (1957), no. 2, 205

    work page 1957

  22. [22]

    Germain and P

    P. Germain and P. LeFloch, Finite energy method for comp ressible fluids: The Navier– Stokes–Korteweg model. Comm. Pure Appl. Math. 69 (2016), no. 1, 3–61. Zbl 1339.35240, MR 3433629

    work page arXiv 2016

  23. [23]

    Grant, Pressure and stress tensor expressions in the fluid mechanical formulation of the Bose condensate equations

    J. Grant, Pressure and stress tensor expressions in the fluid mechanical formulation of the Bose condensate equations. J. Phys. A: Math., Nucl. Gen. 6 (1973), L151–L153

    work page 1973

  24. [24]

    Guerrero, J

    P. Guerrero, J. L. L´ opez, and J. Nieto, Global H 1 solvability of the 3D logarithmic Schr¨ odinger equation. Nonlinear Anal. Real World Appl. 11 (2010), no. 1, 79–87. Zbl 1180.81071, MR 2570526

    work page arXiv 2010

  25. [25]

    A. Haraux. Nonlinear evolution equations—global behavior of solutio ns. Lecture Notes in Mathematics 841. Springer-Verlag, 1981, xii+313 pp

    work page 1981

  26. [26]

    D. A. W. Hutchinson, E. Zaremba, and A. Griffin, Finite tem perature excitations of a trapped Bose gas. Phys. Rev. Lett. 78 (1997), 1842. 22

    work page 1997

  27. [27]

    J¨ ungel, Transport Equations for Semiconductors

    A. J¨ ungel, Transport Equations for Semiconductors . Lecture Notes in Physics 773, Springer, Berlin, 2009

    work page 2009

  28. [28]

    J¨ ungel, Global weak solutions to compressible Navi er–Stokes equations for quantum fluids

    A. J¨ ungel, Global weak solutions to compressible Navi er–Stokes equations for quantum fluids. SIAM J. Math. Anal. 42 (2010), no. 3, 1025–1045. Zbl 1228.35083, MR 2644915

    work page arXiv 2010

  29. [29]

    J¨ ungel and J.-P

    A. J¨ ungel and J.-P. Milisic, Quantum Navier–Stokes eq uations. In: M. G¨ unther, A. Bartel, M. Brunk, S. Sch¨ ops, and M. Striebel (eds.), Progress in Industrial Mathematics at ECMI 2010, pp. 427–439, Springer, Berlin, 2012

    work page 2010

  30. [30]

    L. P. Kadanoff and G. Baym, Quantum Statistical Mechanics . Benjamin, New York, 1962

    work page 1962

  31. [31]

    I. M. Khalatnikov, An Introduction to the Theory of Superfluidity . Benjamin, New York, 1965

    work page 1965

  32. [32]

    Lacroix-Violet and A

    I. Lacroix-Violet and A. Vasseur, Global weak solution s to the compressible quantum Navier– Stokes equation and its semi-classical limit. J. Math. Pures Appl. (9) 114 (2018), 191–210. Zbl 1392.35228, MR 3801754

    work page arXiv 2018

  33. [33]

    L. D. Landau, Theory of the superfluidity of Helium II. Phys. Rev. 60 (1941), 356

    work page 1941

  34. [34]

    Madelung, Quantentheorie in hydrodynamischer Form

    E. Madelung, Quantentheorie in hydrodynamischer Form . Zeitschr. f. Phys. 40 (1926), 322– 326

    work page 1926

  35. [35]

    Slavchov and R

    R. Slavchov and R. Tsekov, Quantum hydrodynamics of ele ctron gases. J. Chem. Phys. 132 (2010), 084505

    work page 2010

  36. [36]

    A. F. Vasseur and C. Yu, Global weak solutions to the comp ressible quantum Navier–Stokes equations with damping. SIAM J. Math. Anal. 48 (2016), no. 2, 1489–1511. Zbl 1343.35189, MR 3490496

    work page arXiv 2016

  37. [37]

    Wyatt, Quantum Dynamics with Trajectories

    R. Wyatt, Quantum Dynamics with Trajectories . Springer, New York, 2005. 23

    work page 2005