pith. sign in

arxiv: 2603.28139 · v2 · submitted 2026-03-30 · 🧮 math.AP

Unique existence of solutions to the inviscid SQG equation in a critical space

Tsukasa Iwabuchi This is my paper

Pith reviewed 2026-05-14 22:17 UTC · model grok-4.3

classification 🧮 math.AP
keywords inviscid SQG equationBesov spaceunique existenceDirichlet boundary conditionspectral localizationcritical regularitysurface quasi-geostrophic
0
0 comments X

The pith

The inviscid SQG equation has unique strong solutions in the critical Besov space embedded in C^1.

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

The paper proves that the Cauchy problem for the inviscid surface quasi-geostrophic equation in a two-dimensional bounded domain with homogeneous Dirichlet boundary conditions admits unique strong solutions in the space dot B^2_{2,1}. This space is critical for the equation and continuously embeds into C^1, so the velocity field stays continuous. The argument proceeds by regularizing the nonlinear term, deriving uniform bounds on the approximating solutions through dyadic spectral localization tied to the Dirichlet Laplacian, and passing to the limit. Such a result matters because it settles local well-posedness at the precise regularity threshold where vortex stretching and possible singularity formation become delicate to control.

Core claim

We establish the unique existence of strong solutions to the inviscid SQG equation in a bounded domain with Dirichlet boundary conditions, placed in the critical Besov space dot B^2_{2,1} which embeds into C^1. The construction uses a sequence of regularized problems whose solutions satisfy uniform estimates obtained via dyadic decomposition associated with the Dirichlet Laplacian; these estimates allow passage to a limit that satisfies the original equation.

What carries the argument

Spectral localization by dyadic decomposition with respect to the Dirichlet Laplacian, which produces the uniform estimates needed to pass from regularized solutions to a solution of the original inviscid equation.

If this is right

  • Local-in-time unique strong solutions exist for every initial datum in dot B^2_{2,1}.
  • The solutions remain in C^1 for their interval of existence, so the velocity field is classically continuous.
  • The same spectral-localization method applies directly to other transport equations with similar nonlocal velocity laws in bounded domains.
  • The critical space sits at the boundary between subcritical well-posedness and supercritical ill-posedness regimes for SQG-type models.

Where Pith is reading between the lines

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

  • The result indicates that the Dirichlet boundary condition does not destroy the critical well-posedness that holds in the whole-plane case.
  • Similar estimates might extend to global existence under smallness assumptions on the initial data.
  • The method supplies a blueprint for proving uniqueness at critical regularity for related active-scalar equations with fractional dissipation.

Load-bearing premise

The uniform estimates on the regularized solutions remain controlled in the critical Besov norm and converge to a limit satisfying the original equation.

What would settle it

An explicit initial datum in dot B^2_{2,1} for which the corresponding regularized solutions lose uniform boundedness in that norm before the limit can be taken.

read the original abstract

We study the Cauchy problem for the surface quasi-geostrophic (SQG) equations in a two-dimensional bounded domain with the homogeneous Dirichlet boundary condition. We establish the unique existence of strong solutions in the critical Besov space $\dot B^2_{2,1}$, which is embedded in $C^1$. The proof is based on spectral localization using dyadic decomposition associated with the Dirichlet Laplacian. We obtain the solution by establishing uniform estimates for a sequence of solutions to the equation with a regularized nonlinear term.

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 paper claims to prove the unique existence of strong solutions to the inviscid surface quasi-geostrophic (SQG) equation in a two-dimensional bounded domain subject to homogeneous Dirichlet boundary conditions. The solutions are constructed in the critical Besov space Ḃ²_{2,1}, which embeds continuously into C¹. The argument proceeds by regularizing the nonlinear term, deriving uniform a priori bounds via dyadic spectral localization associated with the Dirichlet Laplacian, and passing to the limit to obtain a solution of the original equation.

Significance. If the uniform estimates and limit passage can be made rigorous, the result would constitute a meaningful extension of local well-posedness theory for the SQG equation from the whole plane to bounded domains in a critical functional setting. The spectral approach adapted to the Dirichlet Laplacian could serve as a template for other active-scalar problems with boundary conditions.

major comments (2)
  1. [Uniform estimates for regularized solutions] In the section deriving the uniform a priori estimates for the regularized solutions, the claimed bound in Ḃ²_{2,1} is obtained from spectral localization, yet the manuscript supplies no explicit verification that the dyadic projectors associated with the Dirichlet Laplacian preserve the divergence-free structure of the velocity recovered by the Biot-Savart law up to controllable errors. This preservation is load-bearing for the independence of the estimates from the regularization parameter.
  2. [Convergence to the original equation] In the passage-to-the-limit argument, uniform boundedness in Ḃ²_{2,1} yields only weak-* convergence; the identification of the nonlinear term therefore requires either strong convergence in a subcritical space or explicit commutator estimates between the dyadic spectral projectors and the Biot-Savart operator. The manuscript invokes “spectral localization properties” but does not display the commutator bounds showing that the error terms vanish in the critical norm, leaving the limit identification incomplete.
minor comments (2)
  1. [Notation] The abstract and introduction use the notation “dot B^2_{2,1}”; adopt a consistent LaTeX rendering such as Ḃ²_{2,1} throughout the text and in all displayed equations.
  2. [Main theorem statement] The statement of the main theorem should explicitly record the precise dependence of the existence time on the initial datum norm in Ḃ²_{2,1}.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying two points where the original manuscript was insufficiently explicit. Both concerns are addressed by adding detailed verifications and estimates in the revised version; the core argument remains unchanged.

read point-by-point responses

  1. Referee: In the section deriving the uniform a priori estimates for the regularized solutions, the claimed bound in Ḃ²_{2,1} is obtained from spectral localization, yet the manuscript supplies no explicit verification that the dyadic projectors associated with the Dirichlet Laplacian preserve the divergence-free structure of the velocity recovered by the Biot-Savart law up to controllable errors. This preservation is load-bearing for the independence of the estimates from the regularization parameter.

    Authors: We agree that an explicit verification is required. In the revised manuscript we have inserted a new lemma (Lemma 3.4) that establishes the necessary commutator bound: the difference between the projected velocity and the velocity recovered from the projected vorticity is controlled in Ḃ¹_{2,1} by a constant independent of the regularization parameter. The proof uses the eigenfunction expansion of the Dirichlet Laplacian together with the fact that each eigenfunction satisfies the homogeneous boundary condition, allowing integration by parts that recovers the divergence-free property up to a lower-order remainder. This lemma is then used directly in the a priori estimate for the regularized equation, confirming uniformity. revision: yes

  2. Referee: In the passage-to-the-limit argument, uniform boundedness in Ḃ²_{2,1} yields only weak-* convergence; the identification of the nonlinear term therefore requires either strong convergence in a subcritical space or explicit commutator estimates between the dyadic spectral projectors and the Biot-Savart operator. The manuscript invokes “spectral localization properties” but does not display the commutator bounds showing that the error terms vanish in the critical norm, leaving the limit identification incomplete.

    Authors: We acknowledge that the original passage-to-the-limit section was too brief. We have added a new subsection (Section 5.2) containing the full commutator estimates. These estimates show that the difference between the regularized nonlinear term and its limit counterpart is bounded in Ḃ¹_{2,1} by the product of the Ḃ²_{2,1} norm of the approximating sequence and the modulus of continuity of the sequence in a slightly weaker space (Ḃ^{2-ε}_{2,1}). Compactness in the weaker space follows from the uniform bound and the Aubin-Lions-type lemma adapted to the spectral projectors; the error therefore vanishes as the regularization parameter tends to zero. The revised argument therefore identifies the limit correctly. revision: yes

Circularity Check

0 steps flagged

Standard regularization and spectral limit passage; no reduction to self-input

full rationale

The paper establishes unique existence by regularizing the nonlinearity, deriving uniform a priori bounds in Ḃ²_{2,1} via dyadic spectral localization from the Dirichlet Laplacian, and passing to the limit. This chain relies on external functional-analytic tools (paraproduct estimates, spectral properties of the Laplacian) rather than any fitted parameter, self-definition, or load-bearing self-citation. The abstract and described method contain no step where the claimed existence reduces by construction to its own inputs or prior author work; the derivation remains self-contained against standard benchmarks for such PDE existence results.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The proof rests on standard properties of Besov spaces and the Dirichlet Laplacian together with a regularization step introduced for this argument; no free parameters or new postulated entities are apparent from the abstract.

axioms (3)
  • standard math Embedding of the critical Besov space dot B^2_{2,1} into C^1
    Invoked to interpret the solution as strong and to close the estimates.
  • domain assumption Spectral localization and dyadic decomposition associated with the Dirichlet Laplacian
    Used to handle the bounded domain and boundary condition in the frequency analysis.
  • ad hoc to paper Existence of solutions to the regularized nonlinear equation
    Assumed in order to construct the approximating sequence whose uniform bounds are taken to the limit.

pith-pipeline@v0.9.0 · 5372 in / 1554 out tokens · 38499 ms · 2026-05-14T22:17:43.774563+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

29 extracted references · 29 canonical work pages

  1. [1]

    Bourgain and D

    J. Bourgain and D. Li,Strong ill-posedness of the incompressible Euler equation in borderline Sobolev spaces, Invent. Math.201(2015), no. 1, 97–157

    work page 2015

  2. [2]

    ,Strong ill-posedness of the 3D incompressible Euler equation in borderline spaces, Int. Math. Res. Not. IMRN16(2021), 12155–12264

    work page 2021

  3. [3]

    Buckmaster, S

    T. Buckmaster, S. Shkoller, and V. Vicol,Nonuniqueness of weak solutions to the SQG equation, Comm. Pure Appl. Math.72(2019), no. 9, 1809–1874

    work page 2019

  4. [4]

    Chae,Local existence and blow-up criterion for the Euler equations in the Besov spaces, Asymptot

    D. Chae,Local existence and blow-up criterion for the Euler equations in the Besov spaces, Asymptot. Anal.38(2004), no. 3-4, 339–358

    work page 2004

  5. [5]

    Cheng, H

    X. Cheng, H. Kwon, and D. Li,Non-uniqueness of steady-state weak solutions to the surface quasi- geostrophic equations, Comm. Math. Phys.388(2021), no. 3, 1281–1295, DOI 10.1007/s00220-021- 04247-z. MR4340931

    work page doi:10.1007/s00220-021- 2021

  6. [6]

    Constantin, M

    P. Constantin, M. Ignatova, and H. Q. Nguyen,Inviscid limit for SQG in bounded domains, SIAM J. Math. Anal.50(2018), no. 6, 6196–6207

    work page 2018

  7. [7]

    Constantin and H

    P. Constantin and H. Q. Nguyen,Global weak solutions for SQG in bounded domains, Comm. Pure Appl. Math.71(2018), no. 11, 2323–2333

    work page 2018

  8. [8]

    D376/377(2018), 195–203

    ,Local and global strong solutions for SQG in bounded domains, Phys. D376/377(2018), 195–203

    work page 2018

  9. [9]

    C´ ordoba, L

    D. C´ ordoba, L. Mart´ ınez-Zoroa, and W. S. O˙ za´ nski,Instantaneous continuous loss of regularity for the SQG equation, Adv. Math.481(2025), Paper No. 110553, 49

    work page 2025

  10. [10]

    T. M. Elgindi and I.-J. Jeong,Ill-posedness for the incompressible Euler equations in critical Sobolev spaces, Ann. PDE3(2017), no. 1, Paper No. 7, 19

    work page 2017

  11. [11]

    T. M. Elgindi and N. Masmoudi,L ∞ ill-posedness for a class of equations arising in hydrodynamics, Arch. Ration. Mech. Anal.235(2020), no. 3, 1979–2025

    work page 2020

  12. [12]

    Iwabuchi and Y

    T. Iwabuchi and Y. Furuto,Higher-order derivative estimates for the heat equation on a smooth domain, arXiv:2504.06510v1

    work page arXiv

  13. [13]

    Isett and A

    P. Isett and A. Ma,A direct approach to nonuniqueness and failure of compactness for the SQG equation, Nonlinearity34(2021), no. 5, 3122–3162

    work page 2021

  14. [14]

    Iwabuchi,The Leibniz rule for the Dirichlet and the Neumann Laplacian, Tohoku Math

    T. Iwabuchi,The Leibniz rule for the Dirichlet and the Neumann Laplacian, Tohoku Math. J. (2) 75(2023), no. 1, 67–88, DOI 10.2748/tmj.20211112. MR4564843

    work page doi:10.2748/tmj.20211112 2023

  15. [15]

    ,An application of spectral localization to the critical SQG on a ball, J. Evol. Equ.22(2022), no. 4, Paper No. 80, 25

    work page 2022

  16. [16]

    Iwabuchi, T

    T. Iwabuchi, T. Matsuyama, and K. Taniguchi,Besov spaces on open sets, Bull. Sci. Math.152 (2019), 93–149

    work page 2019

  17. [17]

    ,Boundedness of spectral multipliers for Schr¨ odinger operators on open sets, Rev. Mat. Iberoam.34(2018), no. 3, 1277–1322

    work page 2018

  18. [18]

    Jeong, J

    I.-J. Jeong, J. Kim, and Y. Yao,On well-posedness ofα-SQG equations in the half-plane, Trans. Amer. Math. Soc.378(2025), no. 1, 421–446

    work page 2025

  19. [19]

    Jeong and J

    I.-J. Jeong and J. Kim,Strong ill-posedness for SQG in critical Sobolev spaces, Anal. PDE17(2024), no. 1, 133–170

    work page 2024

  20. [20]

    Kato and G

    T. Kato and G. Ponce,Commutator estimates and the Euler and Navier-Stokes equations, Comm. Pure Appl. Math.41(1988), no. 7, 891–907

    work page 1988

  21. [21]

    L. D. Landau and E. M. Lifshitz,Fluid mechanics, Translated from the Russian by J. B. Sykes and W. H. Reid. Course of Theoretical Physics, Vol. 6, Pergamon Press, London-Paris-Frankfurt; Addison-Wesley Publishing Co., Inc., Reading, Mass., 1959. 21

    work page 1959

  22. [22]

    Marchand,Existence and regularity of weak solutions to the quasi-geostrophic equations in the spacesL p or ˙H −1/2, Comm

    F. Marchand,Existence and regularity of weak solutions to the quasi-geostrophic equations in the spacesL p or ˙H −1/2, Comm. Math. Phys.277(2008), no. 1, 45–67

    work page 2008

  23. [23]

    H. C. Pak and Y. J. Park,Existence of solution for the Euler equations in a critical Besov space B1 ∞,1(Rn), Comm. Partial Differential Equations29(2004), no. 7-8, 1149–1166

    work page 2004

  24. [24]

    Pedlosky,Geophysical Fluid Dynamics, Springer-Verlag New York, 1979

    J. Pedlosky,Geophysical Fluid Dynamics, Springer-Verlag New York, 1979

    work page 1979

  25. [25]

    S. G. Resnick,Dynamical problems in non-linear advective partial differential equations, ProQuest LLC, Ann Arbor, MI, 1995. Thesis (Ph.D.)–The University of Chicago

    work page 1995

  26. [26]

    Triebel,Interpolation theory, function spaces, differential operators, 2nd ed., Johann Ambrosius Barth, Heidelberg, 1995

    H. Triebel,Interpolation theory, function spaces, differential operators, 2nd ed., Johann Ambrosius Barth, Heidelberg, 1995

    work page 1995

  27. [27]

    Vishik,Incompressible flows of an ideal fluid with vorticity in borderline spaces of Besov type, Ann

    M. Vishik,Incompressible flows of an ideal fluid with vorticity in borderline spaces of Besov type, Ann. Sci. ´Ecole Norm. Sup. (4)32(1999), no. 6, 769–812 (English, with English and French summaries)

    work page 1999

  28. [28]

    ,Hydrodynamics in Besov spaces, Arch. Ration. Mech. Anal.145(1998), no. 3, 197–214

    work page 1998

  29. [29]

    Yosida,Functional analysis, 6th ed., Grundlehren der Mathematischen Wissenschaften, vol

    K. Yosida,Functional analysis, 6th ed., Grundlehren der Mathematischen Wissenschaften, vol. 123, Springer-Verlag, Berlin-New York, 1980. 22

    work page 1980