REVIEW 1 major objections 3 minor 3 cited by
Global Existence, Hamiltonian Conservation and Vanishing Viscosity for the Surface Quasi-Geostrophic Equation
T0 review · 1 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read For every zero-mean initial datum in L^{4/3}, the surface quasi-geostrophic equation has a global weak solution whose Hamiltonian norm is constant for all time.
desk verdict Genuinely new result with a sound core proof and one trivial but real typo in the mollification radius that breaks Theorem 1.1 as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is the convex-function monotonicity of the viscous flow: for every convex C^1 function β, ∫ β(θ_ν(t)) dx ≤ ∫ β(θ_ν(0)) dx for all t≥0. This estimate, a consequence of a pointwise inequality for the fractional Laplacian, transfers the equi-integrability (non-concentration) of the initial densities {|θ_0^ν|^{4/3}} to the whole time interval. Through the De la Vallée Poussin criterion and a concentration-compactness argument, that equi-integrability upgrades weak convergence to strong convergence in H^{-1/2} at every time; strong convergence then both passes the nonlinearity to the limit and, via a separate no-anomalous-dissipation theorem, forces the Hamiltonian loss
What would settle it
Find a sequence of smooth solutions to the critical dissipative SQG equation whose zero-mean initial data are bounded in L^{4/3} with {|θ0^ν|^{4/3}} equi-integrable, but for which liminf_{ν→0} ν∫_0^T ∥θ_ν(t)∥^2_{L^2} dt > 0 for some T>0. Theorems 1.2(c) and 3.1 state that this quantity is always zero under exactly those hypotheses; an explicit or numerical example with positive dissipation would refute the no-anomalous-dissipation claim and the Hamiltonian conservation of the limit.
Extended reading notes
Core claim
On the two-dimensional torus, take any zero-mean θ0 in L^{4/3}(T^2). The main theorem constructs a global weak solution θ to the inviscid SQG equation with this initial datum such that, for every t≥0, ∥θ(t)∥_{H^{-1/2}} = ∥θ0∥_{H^{-1/2}} and ∥θ(t)∥_{L^{4/3}} ≤ ∥θ0∥_{L^{4/3}}. The solution is a vanishing-viscosity limit of smooth solutions to the critical dissipative SQG equation: the paper shows that the dissipative term contributes nothing in the limit, in the sense that ν∫_0^T ∥θ_ν(τ)∥^2_{L^2} dτ → 0, so the Hamiltonian is not anomalously dissipated even though the limiting solution has less regularity than the classical conservation threshold. The proof also gives a general criterion: stro
Load-bearing premise
The argument depends on the viscous flow never increasing any convex function of the solution's values, so that equi-integrability of the initial data propagates to every later time; if that monotonicity failed at the critical L^{4/3} level, the strong compactness in the Hamiltonian norm would not follow.
Editorial extensions
If this is right
- For any zero-mean θ0 ∈ L^{4/3}(T^2), there is a global weak SQG solution with constant Hamiltonian; the critical integrability does not prevent Hamiltonian conservation.
- Vanishing-viscosity limits of critical SQG conserve the Hamiltonian whenever the viscous solutions are strongly compact in L^2_loc(H^{-1/2}); proving or disproving that compactness is the real bottleneck.
- Compactness at frequencies of order 1/ν is exactly equivalent to zero anomalous dissipation, so the relevant scales for the inviscid limit are now identified.
- For initial data in L^p with p>4/3, the dissipation vanishes at the sharp algebraic rate ν^{(3p-4)/p}, and this rate cannot be improved.
- Without equi-integrability of the initial data, the theorem's conclusions fail: there are explicit viscous sequences whose L^{4/3} mass concentrates and dissipates a fixed positive amount of Hamiltonian in the limit.
Reading between the lines
- The same propagation-of-equi-integrability mechanism might apply to other transport or active-scalar equations whose Hamiltonian sits at a lower regularity than conserved L^p norms, suggesting a general route to conservation in inviscid limits.
- Because the theorem constructs one solution rather than proving uniqueness, it leaves open whether every vanishing-viscosity subsequential limit of critical SQG conserves the Hamiltonian; the paper's mechanism points to strong compactness of the sequence as the decisive condition.
- A testable extension would be to check whether the sharp algebraic rate for p>4/3 degrades continuously as p approaches 4/3; the example in the paper shows p=4/3 is the boundary of the explicit-rate regime.
- The frequency-scale equivalence suggests that numerical studies of SQG should monitor the spectral tail near the dissipative scale; persistent non-compactness there would indicate anomalous Hamiltonian dissipation even when initial data are equi-integrable.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the inviscid surface quasi-geostrophic equation (SQG) on the two-dimensional torus. Its main result (Theorem 1.1) asserts that for every zero-mean θ0 ∈ L^{4/3}(T²) there exists a global weak solution θ ∈ C^0([0,∞); H^{-1/2}) ∩ C^0_w([0,∞); L^{4/3}) satisfying ∥θ(t)∥_{H^{-1/2}} = ∥θ0∥_{H^{-1/2}} and ∥θ(t)∥_{L^{4/3}} ≤ ∥θ0∥_{L^{4/3}}. The construction is a vanishing-viscosity limit of critical dissipative SQGν (Theorem 1.2), and the no-anomalous-dissipation mechanism is isolated in Theorems 3.1 and 3.3. The key new idea is to propagate the equi-integrability of |θ0|^{4/3} forward in time using the Córdoba–Córdoba inequality for the viscous equation; uniform weak compactness of {|θ_ν(t)|^{4/3}} then yields strong compactness in H^{-1/2} by a concentration-compactness argument (Proposition 2.3).
Significance. If established, this is a notable advance: it reaches the critical integrability p = 4/3 for which L^p embeds into H^{-1/2}, extends Marchand's L^p theory, and produces solutions that conserve the Hamiltonian. It also gives a clean criterion for absence of anomalous dissipation under Onsager-supercritical regularity, with sharp algebraic rates for p > 4/3. The proof is mostly self-contained and relies on standard tools (Córdoba–Córdoba, commutator estimates, de la Vallée Poussin). I checked the main chain: Steps 1–4 of Theorem 1.2, Theorem 3.1, and Theorem 3.3 are coherent. The method is novel and likely to be useful.
major comments (1)
- [Section 3, proof of Theorem 1.1] The mollification parameter is set as ε_ν := ν^{-1}. With a standard mollifier this radius diverges as ν → 0, so θ0 * ρ_{ε_ν} → 0 in distributions rather than θ0; the assertion 'θ0^ν → θ0 in L^{4/3}' and the weak compactness of {|θ0^ν|^{4/3}} are false as written. This is a load-bearing step because it is the only place Theorem 1.1 connects an arbitrary L^{4/3} datum to the hypotheses of Theorem 1.2. The fix is local: take any ε_ν ↓ 0, e.g. ε_ν = ν. With that correction the proof goes through.
minor comments (3)
- [Proof of Theorem 1.2, first paragraph] There is a typo: 'L^{4/3}(T^3)' should be 'L^{4/3}(T^2)'.
- [Proposition 2.2] The final displayed estimate is slightly ambiguous: the second term should be (ε M)^{3/2}, not ε M^{3/2}; please clarify the parentheses.
- [Theorem 1.2, Step 2] When applying de la Vallée Poussin, the convexity/regularity of β~(r) = β(|r|^{4/3}) is asserted. This is fine, but it may help to state explicitly that β can be chosen nondecreasing so that the composition is convex.
Circularity Check
No circularity: the Hamiltonian conservation is proved from independent compactness and no-anomalous-dissipation results; the mollification typo (epsilon_nu=nu^{-1}) is a correctness gap, not a circular step.
full rationale
The derivation is not circular. Theorem 1.1 is obtained by taking smooth viscous approximations of the initial datum and applying Theorem 1.2, whose hypotheses are: (i) smooth initial data with weakly compact {|theta0^nu|^{4/3}}, and (ii) the viscous flow property (3.8) coming from the Cordoba-Cordoba inequality (Lemma 2.1). The key equi-integrability propagation (3.13) is derived from the initial weak compactness and the independent maximum-principle-type estimate; it is not assumed as part of the conclusion. Hamiltonian conservation in Step 4 is not imported from the definition of weak solution or from the desired result; it follows from the independently proved no-anomalous-dissipation criterion (Theorem 3.1) and the viscous energy balance (2.8). The self-citations [20,21] appear only as contextual references to analogous 2D Navier-Stokes results and are not load-bearing. The load-bearing citations are external and independent: [34] for global smooth solutions, [15,16,17] for the Cordoba-Cordoba inequality, [41,44] for the weak formulation, and [35] for the De la Vallee Poussin criterion. One genuine non-circular flaw exists: in the proof of Theorem 1.1 the mollification radius is set as epsilon_nu := nu^{-1}, which tends to infinity and makes theta0^nu tend to 0 in distributions rather than theta0^nu -> theta0 in L^{4/3}. This is evidently a typo for any epsilon_nu -> 0 and breaks the proof as written, but it is a correctness gap, not a circular reduction of the theorem to its own assumptions.
Assumptions & free parameters
assumptions (6)
- domain assumption Córdoba-Córdoba inequality: for convex β in C^1, ∫ β'(f)(-Δ)^α f dx ≥ 0 (Lemma 2.1).
- domain assumption Global regularity of critical dissipative SQG for smooth data (Kiselev-Nazarov-Volberg [34]).
- domain assumption Commutator estimate of Buckmaster-Shkoller-Vicol ([1, Lemma A.5]): [(-Δ)^{1/2}, ∇φ] is order zero and bounded on H^{-1/2}, giving the bilinear continuity estimate (2.6).
- standard math Sobolev embeddings: L^{4/3}(T^2) ⊂ H^{-1/2}(T^2) and H^{1/2}(T^2) ⊂ L^4(T^2).
- standard math De la Vallée Poussin criterion for weak compactness in L^1 (Klenke [35]), with a C^1 convex growth function β satisfying β(r)/r → ∞.
- domain assumption Existence of Leray solutions to (SQGν) with exact energy identity (2.8) and the auxiliary bound (2.9), proven in Proposition 2.7 via regularization, Aubin-Lions, and [34].
Cite this review
Pith. "Pith review of Global Existence, Hamiltonian Conservation and Vanishing Viscosity for the Surface Quasi-Geostrophic Equation." pith.science (2026). https://pith.science/paper/4S5MD2AS
@misc{pith2026250901268,
author = {Pith},
title = {Pith review of: Global Existence, Hamiltonian Conservation and Vanishing Viscosity for the Surface Quasi-Geostrophic Equation},
year = {2026},
howpublished = {\url{https://pith.science/paper/4S5MD2AS}},
note = {Machine review of arXiv:2509.01268}
}
abstract
For any initial datum $\theta_0\in L^{\frac{4}{3}}_x$ it is proved the existence of a global-in-time weak solution $\theta \in L^\infty_t L^{\frac43}_x$ to the surface quasi-geostrophic equation whose Hamiltonian, i.e. the $\dot{H}^{-\frac{1}{2}}_x$ norm, is constant in time. The solution is obtained as a vanishing viscosity limit. The main idea is to propagate in time the non-concentration of the $L^{\frac{4}{3}}_x$ norm of the initial data, from which the strong compactness in the Hamiltonian norm is deduced. Minimal Onsager supercritical conditions preventing anomalous dissipation are given.
Forward citations
Cited by 3 Pith papers
-
Mixed Third-Order Flux Laws for Dual Cascade in the Stochastic SQG Equation
Establishes rigorous third-order flux laws for direct SPE and inverse Hamiltonian cascades in stochastic SQG with Onsager obstructions under weak anomalous dissipation.
-
Weak Solutions for Inviscid SQG with Lorentz Data
Inviscid SQG admits global Hamiltonian-conserving weak solutions for every initial datum in the critical Lorentz space L^{4/3,2} on R^2 and smooth bounded domains.
-
Absence of local anomalous dissipation and local energy balance in 2D incompressible flows away from the boundary
Local anomalous dissipation vanishes for 2D NS solutions bounded in L^{1+}_t L^∞_{x,loc} away from the boundary, yielding convergence to an Euler solution whose large-scale approximation satisfies local energy balance...
Reference graph
Works this paper leans on
-
[1]
T. Buckmaster, S. Shkoller, and V. Vicol,Nonuniqueness of weak solutions to the SQG equation, Comm. Pure Appl. Math. 72 (2019), 1809–1874
work page 2019
-
[2]
Non-uniqueness up to the Onsager threshold for the forced SQG equation
A. Bulut, M. K. Huynh, and S. Palasek,Non-uniqueness up to the Onsager threshold for the forced SQG equation (2023). Preprint available at arXiv:2310.12947
work page Pith review arXiv 2023
-
[3]
L. Caffarelli and A. Vasseur,Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation, Ann. Math.171 (2010), 1903–1930
work page 2010
- [4]
- [5]
-
[6]
A. Cheskidov, M. C. Lopes Filho, H. J. Nussenzveig Lopes, and R. Shvydkoy,Energy conservation in two-dimensional incompressible ideal fluids, Comm. Math. Phys.348 (2016), no. 1, 129–143
work page 2016
-
[7]
Constantin,Scaling exponents for active scalars, J
P. Constantin,Scaling exponents for active scalars, J. Stat. Phys.90 (1998), 571–595
work page 1998
-
[8]
, Energy spectrum of quasigeostrophic turbulence, Phys. Rev. Lett.89 (2002), 184501
work page 2002
Show all 46 references
-
[9]
Constantin, A
P. Constantin, A. J. Majda, and E. Tabak,Formation of strong fronts in the 2-d quasigeostrophic thermal active scalar, Nonlinearity 7 (1994), 1495–1533
1994
-
[10]
Constantin and H
P. Constantin and H. Q. Nguyen,Global weak solutions for SQG in bounded domains, Comm. Pure Appl. Math. 71 (2018), 2323–2333
2018
-
[11]
D376/377 (2018), 195–203
, Local and global strong solutions for SQG in bounded domains, Phys. D376/377 (2018), 195–203. 10This guarantees that any weak* limit of the sequence{|θν 0| 4 3}ν is absolutely continuous with respect to the Lebesgue measure. 17
2018
-
[12]
Constantin, A
P. Constantin, A. Tarfulea, and V. Vicol,Absence of anomalous dissipation of energy in forced two dimensional fluid equations, Arch. Ration. Mech. Anal.212 (2014), 875––903
2014
-
[13]
Constantin and J
P. Constantin and J. Wu,Behavior of solutions of 2D quasi-geostrophic equations, SIAM J. Math. Anal.30 (1999), no. 5, 937–948
1999
-
[14]
, Regularity of Hölder continuous solutions of the supercritical quasi-geostrophic equation, Ann. Inst. Henri Poincare (C) Anal. Non Lineaire25 (2008), 1103–1110
2008
-
[15]
Córdoba and D
A. Córdoba and D. Córdoba,A pointwise estimate for fractionary derivatives with applications to partial differential equations, Proc. Natl. Acad. Sci. USA100 (2003), no. 26, 15316–15317
2003
-
[16]
, A maximum principle applied to quasi-geostrophic equations, Comm. Math. Phys.249 (2004), no. 3, 511–528
2004
-
[17]
Córdoba and Á
A. Córdoba and Á. D. Martínez,A pointwise inequality for fractional Laplacians, Adv. Math.280 (2015), 79–85
2015
-
[18]
M. Dai, V. Giri, and R.-O. Radu, An Onsager-type theorem for SQG (2024). Preprint available at arXiv:2407.02582
2024 arXiv
-
[19]
Dai and Q
M. Dai and Q. Peng, Non-unique stationary solutions of forced SQG (2023). Preprint available at arXiv:2302.03283
2023 arXiv
-
[20]
De Rosa and J
L. De Rosa and J. Park,No anomalous dissipation in two-dimensional incompressible fluids(2024). Preprint available at arXiv:2403.04668
2024 arXiv
-
[21]
Preprint available at arXiv:2508.01440
, Dissipation concentration in two-dimensional fluids(2025). Preprint available at arXiv:2508.01440
2025 arXiv
-
[22]
Delort,Existence de nappes de tourbillon en dimension deux, Journal of the American Mathematical Society 4 (1991), no
J.-M. Delort,Existence de nappes de tourbillon en dimension deux, Journal of the American Mathematical Society 4 (1991), no. 3, 553–586
1991
-
[23]
R. J. DiPerna and A. Majda,Reduced Hausdorff dimension and concentration-cancellation for two-dimensional incompressible flow, J. Amer. Math. Soc.1 (1988), no. 1, 59–95
1988
-
[24]
Elgindi, M
T. Elgindi, M. C. Lopes Filho, and H. J. Nussenzveig Lopes,Absence of anomalous dissipation for vortex-sheets (2025). Preprint available at arXiv:2504.18523
2025 arXiv
-
[25]
L. C. Evans and S. Müller,Hardy spaces and the two-dimensional Euler equations with nonnegative vorticity, Journal of the American Mathematical Society7 (1994), no. 1, 199–219
1994
-
[26]
Gravejat and D
P. Gravejat and D. Smets,Smooth travelling-wave solutions to the inviscid surface quasi-geostrophic equation, Int. Math. Res. Not. (2019), 1744–1757
2019
-
[27]
He and A
S. He and A. Kiselev,Small-scale creation for solutions of the SQG equation, Duke Math. J.170 (2021), no. 5, 1027–1041
2021
-
[28]
Isett and S.-Z
P. Isett and S.-Z. Looi,A proof of Onsager’s conjecture for the SQG equation(2024). Preprint available at arXiv:2407.02578
2024 arXiv
-
[29]
Isett and A
P. Isett and A. Ma,A direct approach to nonuniqueness and failure of compactness for the SQG equation, Nonlinearity 34 (2021), 3122
2021
-
[30]
Isett and V
P. Isett and V. Vicol,Hölder continuous solutions of active scalar equations, Ann. PDE1 (2015)
2015
-
[31]
Jeong, J
I.-J. Jeong, J. Kim, and H. Miura,Wellposedness of inviscid SQG in the half-plane(2025). Preprint available at arXiv:2506.06601
2025 arXiv
-
[32]
F. Jin, S. Lanthaler, M. C. Lopes Filho, and H. J. Nussenzveig Lopes,Sharp conditions for energy balance in two-dimensional incompressible ideal flow with external force(2024). Preprint available at arXiv:2404.12572
2024 arXiv
-
[33]
Kiselev and F
A. Kiselev and F. Nazarov,Variation on a theme of Caffarelli and Vasseur, J. Math. Sci.166 (2010), 31–39
2010
-
[34]
Kiselev, F
A. Kiselev, F. Nazarov, and A. Volberg,Global well-posedness for the critical 2D dissipative quasi-geostrophic equation, Invent. math.167 (2007), 445–453
2007
-
[35]
Klenke,Probability theory, Universitext, Springer-Verlag London, Ltd., London, 2008
A. Klenke,Probability theory, Universitext, Springer-Verlag London, Ltd., London, 2008. A comprehensive course, Translated from the 2006 German original
2008
-
[36]
Lanthaler, S
S. Lanthaler, S. Mishra, and C. Parés-Pulido,On the conservation of energy in two-dimensional incompressible flows, Nonlinearity 34 (2021), no. 2, 1084–1135
2021
-
[37]
Lazar and L
O. Lazar and L. Xue,Regularity results for a class of generalized surface quasi-geostrophic equations, J. Math. Pures Appl. 130 (2019), 200–250
2019
-
[38]
P. G. Lemarié-Rieusset and F. Marchand,Solutions auto-similaires non-triviales pour l’équation quasi- géostrophique dissipative critique, C.R. Acad. Sci. Paris341 (2005), 535–538
2005
-
[39]
Lions,The Concentration-Compactness Principle in the Calculus of Variations
P.-L. Lions,The Concentration-Compactness Principle in the Calculus of Variations. The limit case, Part 1, Revista Matemática Iberoamericana (1985), 145–201
1985
-
[40]
The limit case, Part 2, Revista Matemática Iberoamericana1 (1985), no
, The Concentration-Compactness Principle in the Calculus of Variations. The limit case, Part 2, Revista Matemática Iberoamericana1 (1985), no. 2, 45–121 (eng)
1985
-
[41]
Marchand,Existence and regularity of weak solutions to the quasi-geostrophic equations in the spacesLp or H− 1 2, Comm
F. Marchand,Existence and regularity of weak solutions to the quasi-geostrophic equations in the spacesLp or H− 1 2, Comm. Math. Phys.277 (2008), 45–67. 18
2008
-
[42]
, Propagation of sobolev regularity for the critical dissipative quasi-geostrophic equation, Asymptot. Anal. 46 (2006), 275–293
2006
-
[43]
D 237 (2008), no
, Weak-strong uniqueness criteria for the critical quasi-geostrophic equation, Phys. D 237 (2008), no. 10-12, 1346–1351
2008
-
[44]
Resnick,Dynamical problems in nonlinear advective partial differential equations, Ph.D
S. Resnick,Dynamical problems in nonlinear advective partial differential equations, Ph.D. Thesis., University of Chicago (1995)
1995
-
[45]
Schochet,The weak vorticity formulation of the2-D Euler equations and concentration-cancellation, Comm
S. Schochet,The weak vorticity formulation of the2-D Euler equations and concentration-cancellation, Comm. Partial Differential Equations20 (1995), no. 5-6, 1077–1104
1995
-
[46]
Vecchi and S
I. Vecchi and S. Wu,On L1-vorticity for 2-D incompressible flow, manuscripta mathematica 78 (1993), 403–412. (L. De Rosa)Gran Sasso Science Institute, viale Francesco Crispi, 7, 67100 L’Aquila, Italy Email address: luigi.derosa@gssi.it (M. Latocca) Laboratoire de Mathématiques...
1993
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.