REVIEW 2 major objections 4 minor 1 cited by
Wellposedness of inviscid SQG in the half-plane
T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Local wellposedness for inviscid SQG on the half-plane holds in $C^{2,\beta}$ and $W^{3,p}$ for all $0<\beta<1$, $1<p<\infty$, and fails in $W^{3,\infty}$ for generic smooth data because the boundary makes a velocity second derivative…
desk verdict Sharp SQG half-plane wellposedness beyond C^2, with a clean boundary-driven W^{3,∞} obstruction; the central Hölder estimate survives the stress-test concern. 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 machinery is a pair of boundary-kernel estimates. Lemma 2.4 isolates the only non-Hölder second derivative of the velocity as $\partial^2_2u_1(x)=4\partial^2_2\theta(x)\log(x_2)+r(x)$, where the residual $r$ is not quite $C^\beta$; the estimate works because the residual becomes $C^\beta$ after adding the compensation term $4(\partial^2_2\theta(x)-\partial^2_2\theta(x'))\log(2|x-x'|+\sqrt{4|x-x'|^2+x_2^2})$. Lemma 2.8 plays the same role in $W^{3,p}$: the dangerous third derivative $\partial^3_{222}u_1$ equals $2H[\theta]$ plus an $L^p$-controlled term, with $H[\theta](x)=\int_{\mathbb R}\frac{x_2}{|x-(y_1,0)|^3}\partial^2_2\theta(y_1,0)\,dy_1$, and the crucial bound $\|x_2H[\theta]\|_{L^{2p}}\leq C\|\theta\|_{W^{3,p}}$ holds. The extra factor $x_2$ is exactly what the nonlinearity supplies through Hardy's inequality, because $\partial_1\theta$ vanishes on the boundary. These estimates are what allow the proof to close above the $C^2$ threshold despite the unbounded velocity derivative.
What would settle it
Compute $\partial^2_2u_1$ explicitly for a smooth datum whose $\partial^2_2\theta$ is nonzero on the boundary and check the compensated difference in (2.6): if the residual grows like $|x-x'|^\beta\log(1/|x-x'|)$ rather than $C|x-x'|^\beta$, then the $C^{2,\beta}$ a priori estimate (3.7) that drives Theorem A collapses. Alternatively, a numerical simulation of the evolution for $\theta_0=x_1x_2+x_2^2$ that keeps $\sup_t\|\theta(t)\|_{W^{3,\infty}}$ finite would contradict Theorem B.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem A: for data $\theta_0\in C^{2,\beta}_0(\mathbb R^2_+)$ or $\theta_0\in W^{3,p}_0(\mathbb R^2_+)$, the inviscid SQG equation $\partial_t\theta+u\cdot\nabla\theta=0$ with $\theta(t,x_1,0)=0$ has a unique local solution in the same class. Theorem B complements this: there exist $C^\infty_0$ data, for instance $\theta_0(x)=A x_1x_2+B x_2^2$ near a boundary point with $A,B\neq 0$, whose unique solution is not in $L^\infty([0,\delta];W^{3,\infty}(\mathbb R^2_+))$ for any $\delta>0$. The reason is that $\partial^2_2u_1$ is logarithmically divergent at the boundary, so no matter how smooth the data are, third-order control of the solution fails immediately. This is the main half-plane wellposedness result beyond the $C^2$ threshold, and it identifies the boundary singularity as the mechanism that caps the attainable regularity.
Load-bearing premise
The load-bearing premise is the refined boundary-kernel estimate (2.6): after subtracting $4\partial^2_2\theta(x)\log(x_2)$, the leftover in $\partial^2_2u_1$ is not Hölder continuous, and the proof controls it only by adding a second logarithmic compensation term, so the $C^{2,\beta}$ a priori estimate (3.7), and with it the $C^{2,\beta}$ half of Theorem A, collapses if that exact cancellation fails.
Editorial extensions
If this is right
- Any $C^\infty_0$ initial datum produces a unique solution in $C^{2,\beta}\cap W^{3,p}$ for all $\beta<1$ and $p<\infty$ on its lifespan, so high regularity is propagated rather than lost.
- For generic smooth data with both $\partial_{12}\theta_0$ and $\partial_{22}\theta_0$ nonzero at some boundary point, the solution is immediately outside $W^{3,\infty}$ and $C^3$, so the half-plane boundary forces a loss of third-order boundedness that cannot occur from the data alone.
- Without the Dirichlet boundary condition, no $C^1$ solution exists for smooth data, so the Dirichlet condition is a necessary condition for the wellposedness proved here, not merely a simplification.
- The $C^{2,\beta}$/$W^{3,p}$ class is the natural high-regularity setting for half-plane SQG, and the authors propose it as the space in which to search for finite-time singularity formation, since the boundary already produces logarithmically growing derivatives.
Reading between the lines
- The proof's lower bound $\partial^2_2\theta(t,\Phi(t,x))-\partial^2_2\theta(t,\Phi(t,y))\gtrsim t\,x_2\log(1/x_2)$ shows that the boundary difference quotient of $\partial^2_2\theta$ diverges logarithmically in $1/x_2$; one can read this as a quantitative small-scale-creation mechanism, though it does not prove blowup of $\theta$ itself.
- The same log-divergence pattern should scale with the kernel exponent for the generalized $\alpha$-SQG family, which may explain why existing half-plane blowup constructions stop at $\alpha\le 1/2$ and suggests that an estimate of the same compensation type is the missing ingredient for $\alpha=1$.
- A direct numerical check with $\theta_0=x_1x_2+x_2^2$ near the boundary could test Theorem B: if the sup-in-time $\|\partial^3_2\theta\|_{L^\infty}$ fails to diverge as spatial resolution approaches the boundary, the predicted immediate unboundedness would be contradicted.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the inviscid surface quasi-geostrophic (SQG) equation on the half-plane with the Dirichlet boundary condition θ=0 on ∂R²₊. Theorem A asserts local wellposedness in the spaces C^{2,β}_0(R²₊) for every 0<β<1 and in W^{3,p}_0(R²₊) for every 1<p<∞, extending the earlier H¹₀∩W^{2,p} wellposedness of Constantin–Nguyen. Theorem B asserts a boundary-induced nonexistence result: for a C∞ compactly supported initial datum with ∂₁₂θ₀(x*) and ∂₂₂θ₀(x*) both nonzero at some boundary point x*, the unique local solution is not in L∞([0,δ];W^{3,∞}(R²₊)) for any δ>0. The key mechanism is that the second velocity derivative ∂²₂u₁ has a logarithmic boundary singularity 4∂²₂θ(x)log x₂, while the residual is 'almost C^β' in the sense of the compensated estimate (2.6). The W^{3,p} argument instead isolates the operator H[θ] in (2.16) and uses the HLS/trace estimate (2.17). Theorem B is proved by studying the evolution of the difference quotient of ∂²₂θ along two trajectories, one starting on the boundary and one infinitesimally above it, and showing a logarithmic lower bound that contradicts W^{3,∞} control.
Significance. If the claimed results are correct, they are a substantial step for SQG in domains with boundary: they identify C^{2,β}/W^{3,p} as natural sharp-regularity wellposedness classes beyond the classical C^{1,β} threshold, and Theorem B provides a genuinely boundary-driven obstruction to W^{3,∞} regularity even for C∞ data, in contrast to the boundaryless illposedness results of [12, 24]. The proof strategy is attractive and mostly direct: the decomposition in Lemma 2.8 is explicit, the HLS computation in (2.17) is internally consistent and parameter-free, and Theorem B gives a concrete, checkable sufficient condition on the initial data. The paper also clearly explains the distinction between its nonexistence result and the pure-illposedness results in domains without boundary. These strengths are significant; the remaining concerns are concentrated in the proof of the compensated Hölder estimate (2.6) and in the existence step of the C^{2,β} argument.
major comments (2)
- [§2.3, Lemma 2.4, estimate (2.10)] The proof of (2.10), and hence of (2.6), is the true linchpin of the C^{2,β} half of Theorem A, but the key step is asserted rather than demonstrated. After defining J₂, the manuscript says: 'Note from [the displayed kernel-difference inequality] that ... ≤ C∥θ∥_{C^β(R²₊)}|x−x′|^β.' This is not immediate from the displayed inequality alone. The Hölder increment |∂²₂θ(y₁,0)−∂²₂θ(x′)| carries the factor (|y₁−x′₁|²+x′₂²)^{β/2}; if one only uses the crude bound |K_x−K_{x′}| ≤ |x−x′|/(|x−y||x′−y|) and integrates over |x₁−y₁| ≥ 2|x−x′|, the contribution of the x′₂^β part is not controlled by |x−x′|^β without a further case split. One must distinguish x′₂ ≤ 2|x−x′| (where s ≥ 2|x−x′| dominates and the kernel difference is O(r/s²)) from x′₂ > 2|x−x′| (where |x−y| and |x′−y| are both comparable to x′₂, giving a kernel difference O(r/x′₂²) and a total contribution O(rL/x′₂^{2−β}) ≤ Cr^β). The manuscript does not provide this split, and because (3.7) closes only through the exact form of (2.6), the proof as written is incomplete at this load-bearing point. Please add the missing two-regime verification; I note that the estimate itself appears to be true, so this is a gap in exposition/proof rather than a detected counterexample.
- [§3.2.2, existence iteration for C^{2,β}] The assertion that each iterate θ^{(n+1)} belongs to C² up to the boundary is not proved. The text says: 'Rewriting ∂²₂u₁^{(n)}∂₁θ^{(n+1)} by x₂∂²₂u₁^{(n)} x₂^{-1}∂₁θ^{(n+1)} and proceeding as in the proof of the C² a priori estimate, we obtain that θ^{(n+1)} is C² up to the boundary.' This is circular as written: the C² a priori estimate is derived for a solution that is already assumed to be C², and the rewriting only helps if x₂^{-1}∂₁θ^{(n+1)} is already known to be bounded, which is part of the regularity being proved. Since u^{(n)} is not C² (its ∂²₂u₁ component has the logarithmic singularity), the standard transport regularity theorem does not apply directly. Please supply the missing bootstrap or a suitable approximation argument showing that the iterates indeed have bounded second derivatives and that the a priori estimate is legitimate for them.
minor comments (4)
- [§2.2, proof of Lemma 2.2] There are typographical errors in this proof: 'othr' should be 'other' and 'restults' should be 'results'.
- [§1.2, Remark 1.1] The sentence 'C∞ initial datum has the corresponding unique solution belonging to to C^{2,β} ∩ W^{3,p}' contains a duplicated 'to'.
- [§3.2.1, estimate following (2.6)] In the chain of inequalities controlling |x₂(∂²₂u₁(x)−∂²₂u₁(y))|/|x−y|^β, the bound |x₂ log(2|x−y| + (4|x−y|²+x₂²)^{1/2})| ≤ C is used implicitly. This is correct only after using that x₂ ≤ L (since both points lie in B(0;L)) and that s|log s| is bounded on (0,L]; please state this explicitly, together with the assumption x₂ ≤ y₂ in the final mean-value step.
- [§4, proof of Theorem B] The constants C* and the sign convention in the lower bounds for III and I would benefit from an explicit statement. In particular, the proof assumes that the product AB > 0 after possibly replacing θ₀ by −θ₀ or swapping A and B; saying this directly would help the reader follow why both I and III have the same logarithmic sign.
Circularity Check
No circular derivation: the key estimates are direct kernel computations, and the only self-citations are contextual or supporting, not load-bearing.
full rationale
The derivation chain is direct and self-contained in its analytic core. For Theorem A's C^{2,β} half, the closure estimate (3.7) uses Lemma 2.4; the compensating log term in (2.6) is manufactured by explicit integration in the proof's (2.10)-(2.12) of the actual kernel difference, not by assuming the target bound, so (2.6) is a proved input lemma rather than an equivalent restatement of (3.7). The W^{3,p} half rests on the H[θ] decomposition in Lemma 2.8 plus Hardy's inequality; no parameter is fitted and no output is fed back as an input. Theorem B is a contradiction argument: it assumes the contrary W^{3,∞} bound and extracts log(1/x₂) growth from the explicit leading term 4∂²₂θ log(x₂) with initial data θ₀ = Ax₁x₂ + Bx₂²; the nonexistence conclusion is not used in its own proof. Base wellposedness in C^{1,β}/W^{2,2p} comes from external Constantin–Nguyen [8]. The self-citations [23,24] appear only for context (DBC essentialness via [23]; no-boundary illposedness comparison via [24]) and in Remark 1.1 for the optional sharpened uniqueness statement, where the non-self R² proof of Azzam–Bedrossian [1] is also invoked; none carries the central existence/regularity argument. Some routine details are omitted ((2.9); the strictly easier third-derivative variants in Section 3.3.1), but these are analytic omissions, not input-output equivalences. The delicate J₂ estimate in Lemma 2.4 flagged by the skeptic is a possible correctness gap, not a circularity, so it does not raise the circularity score.
Assumptions & free parameters
assumptions (7)
- standard math Riesz transform L^p boundedness on R² for 1<p<∞
- standard math Hardy's inequality on the half-space: ∥f/x₂∥_{L^q} ≤ C∥∂₂f∥_{L^q} when f vanishes on ∂R²₊
- standard math Hardy–Littlewood–Sobolev inequality for the 1D Riesz potential of order 1/(2p) mapping L^p(R) to L^{2p}(R)
- standard math Sobolev embedding W^{1,p}(R²₊) ↪ L^{2p}(R²₊) for 1<p<∞ on compactly supported functions
- domain assumption Existence and uniqueness of strong solutions in C^{1,β} and W^{2,2p} on the half-plane, adapted from Constantin–Nguyen [8]/[9]
- domain assumption Uniqueness of solutions in L^∞_t C¹_x on the half-plane, adapted from Azzam–Bedrossian [1] and Jeong–Kim [24]
- standard math Wellposedness of the flow map ODE (3.1) for Lipschitz velocity fields
Cite this review
Pith. "Pith review of Wellposedness of inviscid SQG in the half-plane." pith.science (2026). https://pith.science/paper/THEUDZJP
@misc{pith2026250606601,
author = {Pith},
title = {Pith review of: Wellposedness of inviscid SQG in the half-plane},
year = {2026},
howpublished = {\url{https://pith.science/paper/THEUDZJP}},
note = {Machine review of arXiv:2506.06601}
}
abstract
We consider the SQG equation without dissipation on the half-plane with Dirichlet boundary condition, and prove local wellposedness in the spaces $W^{3,p}$ and $C^{2,\beta}$ for any $1<p<\infty$ and $0<\beta<1$. We complement this wellposedness by showing that for generic $C^{\infty}_{0}$ initial data, the unique corresponding solution does not belong to $W^{3,\infty}$.
Forward citations
Cited by 1 Pith paper
-
Global Existence, Hamiltonian Conservation and Vanishing Viscosity for the Surface Quasi-Geostrophic Equation
For any L^{4/3}_x initial datum there exists a global weak solution of SQG conserving the H^{-1/2}_x Hamiltonian, obtained via a vanishing-viscosity limit with no anomalous dissipation.
Reference graph
Works this paper leans on
-
[9]
,Local and global strong solutions for SQG in bounded domains, Phys. D376/377(2018), 195–203. MR 3815216
work page 2018
- [8]
-
[1]
Jonas Azzam and Jacob Bedrossian,Bounded mean oscillation and the uniqueness of active scalar equations, Trans. Amer. Math. Soc.367(2015), no. 5, 3095–3118. MR 3314802
work page 2015
-
[2]
225, American Mathematical Society, Providence, RI, [2022]©2022
Jacob Bedrossian and Vlad Vicol,The mathematical analysis of the incompressible Euler and Navier-Stokes equations—an introduction, Graduate Studies in Mathematics, vol. 225, American Mathematical Society, Providence, RI, [2022]©2022. MR 4475666
work page 2022
-
[3]
Angel Castro, Diego C´ ordoba, Javier G´ omez-Serrano, and Alberto Mart ´ ın Zamora,Remarks on geometric properties of SQG sharp fronts andα-patches, Discrete Contin. Dyn. Syst.34(2014), no. 12, 5045–5059. MR 3223861
work page 2014
-
[4]
´Angel Castro, Diego C´ ordoba, and Fan Zheng,The lifespan of classical solutions for the inviscid surface quasi-geostrophic equation, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire38(2021), no. 5, 1583–1603. MR 4300933
work page 2021
-
[5]
Peter Constantin and Mihaela Ignatova,Critical SQG in bounded domains, Ann. PDE2(2016), no. 2, Art. 8, 42. MR 3595454
work page 2016
-
[6]
,Estimates near the boundary for critical SQG, Ann. PDE6(2020), no. 1, Paper No. 3, 30. MR 4093852
work page 2020
Show all 30 references
-
[7]
Pure Appl
Peter Constantin, Mihaela Ignatova, and Quoc-Hung Nguyen,Global regularity for critical SQG in bounded domains, Comm. Pure Appl. Math.78(2025), no. 1, 3–59. MR 4822906
2025
-
[10]
Diego Cordoba,Nonexistence of simple hyperbolic blow-up for the quasi-geostrophic equation, Ann. of Math. (2)148 (1998), no. 3, 1135–1152. MR 1670077
1998
-
[11]
Ionescu,Global solutions for the generalized SQG patch equation, Arch
Diego C´ ordoba, Javier G´ omez-Serrano, and Alexandru D. Ionescu,Global solutions for the generalized SQG patch equation, Arch. Ration. Mech. Anal.233(2019), no. 3, 1211–1251. MR 3961297
2019
-
[12]
Math.407(2022), Paper No
Diego C´ ordoba and Luis Mart ´ ınez-Zoroa,Non existence and strong ill-posedness inCk and Sobolev spaces for SQG, Adv. Math.407(2022), Paper No. 108570, 74. MR 4452676
2022
-
[13]
Drivas, Tarek M
Theodore D. Drivas, Tarek M. Elgindi, and In-Jee Jeong,Twisting in Hamiltonian flows and perfect fluids, Invent. Math. 238(2024), no. 1, 331–370. MR 4794597
2024
-
[14]
Elgindi and In-Jee Jeong,Symmetries and critical phenomena in fluids, Comm
Tarek M. Elgindi and In-Jee Jeong,Symmetries and critical phenomena in fluids, Comm. Pure Appl. Math.73(2020), no. 2, 257–316. MR 4054357
2020
-
[15]
PDE7(2021), no
Francisco Gancedo and Neel Patel,On the local existence and blow-up for generalized SQG patches, Ann. PDE7(2021), no. 1, Paper No. 4, 63. MR 4235799
2021
-
[16]
Zineb Hassainia and Taoufik Hmidi,On the V-states for the generalized quasi-geostrophic equations, Comm. Math. Phys. 337(2015), no. 1, 321–377. MR 3324164
2015
-
[17]
J.170(2021), no
Siming He and Alexander Kiselev,Small-scale creation for solutions of the SQG equation, Duke Math. J.170(2021), no. 5, 1027–1041. MR 4255049
2021
-
[18]
Taoufik Hmidi and Joan Mateu,Existence of corotating and counter-rotating vortex pairs for active scalar equations, Comm. Math. Phys.350(2017), no. 2, 699–747. MR 3607460
2017
-
[19]
Hunter, Jingyang Shu, and Qingtian Zhang,Global solutions of a surface quasigeostrophic front equation, Pure Appl
John K. Hunter, Jingyang Shu, and Qingtian Zhang,Global solutions of a surface quasigeostrophic front equation, Pure Appl. Anal.3(2021), no. 3, 403–472. MR 4379142 18
2021
-
[20]
Math.351(2019), 1000–1023
Mihaela Ignatova,Construction of solutions of the critical SQG equation in bounded domains, Adv. Math.351(2019), 1000–1023. MR 3956764
2019
-
[21]
Tsukasa Iwabuchi,Analyticity and large time behavior for the Burgers equation and the quasi-geostrophic equation, the both with the critical dissipation, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire37(2020), no. 4, 855–876. MR 4104828
2020
-
[22]
,An application of spectral localization to the critical SQG on a ball, J. Evol. Equ.22(2022), no. 4, Paper No. 80,
2022
-
[23]
In-Jee Jeong, Junha Kim, and Yao Yao,On well-posedness ofα-SQG equations in the half-plane, Trans. Amer. Math. Soc. 378(2025), 421–446
2025
-
[24]
1, 133–170
Junha Kim and In-Jee Jeong,Strong illposedness for SQG in critical Sobolev spaces, Analysis & PDE17(2024), no. 1, 133–170
2024
-
[25]
7, Springer, Heidelberg, 2012, pp
Alexander Kiselev and Fedor Nazarov,A simple energy pump for the surface quasi-geostrophic equation, Nonlinear partial differential equations, Abel Symp., vol. 7, Springer, Heidelberg, 2012, pp. 175–179. MR 3289364
2012
-
[26]
Alexander Kiselev, Lenya Ryzhik, Yao Yao, and Andrej Zlatoˇ s,Finite time singularity for the modified SQG patch equation, Ann. of Math. (2)184(2016), no. 3, 909–948. MR 3549626
2016
-
[27]
Pure Appl
Alexander Kiselev, Yao Yao, and Andrej Zlatoˇ s,Local regularity for the modified SQG patch equation, Comm. Pure Appl. Math.70(2017), no. 7, 1253–1315. MR 3666567
2017
-
[28]
Qianyun Miao, Changhui Tan, Liutang Xue, and Zhilong Xue,Local regularity and finite-time singularity for a class of generalized sqg patches on the half-plane, 2024
2024
-
[29]
Stokols and Alexis F
Logan F. Stokols and Alexis F. Vasseur,H¨ older regularity up to the boundary for critical SQG on bounded domains, Arch. Ration. Mech. Anal.236(2020), no. 3, 1543–1591. MR 4076071
2020
-
[30]
Department of Mathematical Sciences and RIM, Seoul National University, 1 Gwanak-ro, Gwanak-gu, Seoul 08826, South Korea
Andrej Zlatoˇ s,Local regularity and finite time singularity for the generalized SQG equation on the half-plane, arXiv:2305.02427. Department of Mathematical Sciences and RIM, Seoul National University, 1 Gwanak-ro, Gwanak-gu, Seoul 08826, South Korea. Email address:injee j@sn...
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.