pith. sign in

arxiv: 2605.23289 · v1 · pith:VXD34V3Tnew · submitted 2026-05-22 · 🧮 math.AP

Local well-posedness for a moving rigid region in Surface Quasi-Geostrophic equations

Ludovic Godard-Cadillac , Arnab Roy This is my paper

Pith reviewed 2026-05-25 03:56 UTC · model grok-4.3

classification 🧮 math.AP
keywords Surface Quasi-Geostrophic equationsmoving rigid obstacleslocal well-posednessSobolev spacesplateau structureBiot-Savart kerneladapted coordinates
0
0 comments X

The pith

The critical Surface Quasi-Geostrophic equation admits locally well-posed classical solutions when a single rigid obstacle moves through the fluid.

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

The authors set up a version of the critical SQG equation on a time-dependent domain outside a moving rigid body. They assume the active scalar forms a plateau inside and around the body to match the transport. Using a change to fixed coordinates and careful estimates on the velocity field from the fractional Laplacian, they prove local existence, uniqueness, stability, and a blow-up criterion in Sobolev spaces. This provides the first rigorous well-posedness result for SQG flows containing such moving rigid regions.

Core claim

For a single moving obstacle, we establish local well-posedness of classical solutions in Sobolev spaces H^k, k≥4 together with uniqueness, local stability, and a blow-up criterion. The analysis relies on a reformulation in adapted coordinates reducing the problem to a fixed domain, combined with integral representations for the fractional elliptic operator, regularization procedures, and a nonlinear fixed-point argument.

What carries the argument

Reformulation of the problem in adapted coordinates that fix the moving domain, together with commutator estimates for the singular Biot-Savart kernel near the boundary.

If this is right

  • The plateau property propagates under the flow.
  • A priori estimates bound both the support of the scalar gradient and the Sobolev norm of the solution.
  • The result is positioned as a first step toward deriving point-vortex dynamics from shrinking rigid bodies.

Where Pith is reading between the lines

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

  • The same coordinate change and estimate strategy may extend to other active scalar equations that include moving rigid regions.
  • If the rigid region is allowed to shrink while keeping the plateau, the local solutions could be used to justify a limiting point-vortex model.
  • The local stability statement implies that the flow depends continuously on small changes in the prescribed obstacle motion.

Load-bearing premise

The active scalar is constant inside the rigid region and in a neighborhood of its boundary.

What would settle it

A calculation showing that the commutator estimates for the Biot-Savart kernel fail to control the velocity near the moving boundary in H^4 would prevent the fixed-point argument from closing.

read the original abstract

We introduce and analyze a class of Surface Quasi-Geostrophic (SQG) equations in the presence of moving rigid obstacles. The model is motivated both by vortex-wave type asymptotics for singular structures in active scalar equations and by geophysical phenomena exhibiting rigid-like coherent regions, such as cyclone eyes or long-lived atmospheric dust clouds. We consider the critical SQG equation in a time-dependent exterior domain generated by a prescribed rigid motion and reconstruct the velocity through a nonlocal elliptic formulation adapted to impermeability constraints. The active scalar is assumed to remain constant inside the rigid region and in a neighborhood of its boundary, yielding a plateau structure compatible with the transport dynamics. For a single moving obstacle, we establish local well-posedness of classical solutions in Sobolev spaces $H^k$, $k\geq 4$ together with uniqueness, local stability, and a blow-up criterion. The analysis relies on a reformulation in adapted coordinates reducing the problem to a fixed domain, combined with integral representations for the fractional elliptic operator, regularization procedures, and a nonlinear fixed-point argument. A central difficulty comes from the critical singularity of the SQG Biot-Savart kernel in the case $s=\frac{1}{2}$, for which the velocity reconstruction near the moving boundary requires commutator estimates. We further prove propagation of the plateau property and derive a priori estimates controlling both the support of the scalar gradient and the Sobolev norm of the solution. This work provides, to our knowledge, the first well-posedness theory for SQG equations with moving rigid obstacles and constitutes a first step toward the rigorous derivation of point-vortex type dynamics from shrinking rigid bodies in SQG flows.

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 / 0 minor

Summary. The manuscript introduces and analyzes the critical SQG equation with a single moving rigid obstacle in a time-dependent exterior domain. The active scalar is assumed constant inside the obstacle and a neighborhood of its boundary (plateau structure). The central claim is local well-posedness of classical solutions in H^k (k≥4), together with uniqueness, local stability, a blow-up criterion, and propagation of the plateau property. The strategy reformulates the problem in adapted coordinates on a fixed domain, uses integral representations of the fractional operator, commutator estimates to handle the s=1/2 Biot-Savart kernel singularity near the moving boundary, and applies a nonlinear fixed-point argument.

Significance. If the estimates hold, the result supplies the first local well-posedness theory for SQG equations with moving rigid obstacles. This supplies a technical foundation for studying vortex-wave interactions and geophysical coherent structures, and constitutes a step toward rigorous derivation of point-vortex dynamics from shrinking rigid bodies.

major comments (2)
  1. [Abstract] Abstract (central claim): the local well-posedness, uniqueness, and blow-up criterion rest on commutator estimates controlling the s=1/2 kernel near the moving boundary and on a fixed-point argument in H^k (k≥4). No explicit commutator bounds, error estimates, or contraction-mapping constants are visible, so it is impossible to confirm that the estimates close in the claimed spaces.
  2. [Abstract] Abstract (model setup): the plateau assumption (active scalar constant inside the rigid region and a neighborhood of its boundary) is stated as part of the model rather than derived. Because this assumption is load-bearing for compatibility with the transport dynamics and for the velocity reconstruction, the manuscript should clarify whether the assumption is preserved by the flow or imposed externally.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. Below we respond point by point to the major comments.

read point-by-point responses

  1. Referee: [Abstract] Abstract (central claim): the local well-posedness, uniqueness, and blow-up criterion rest on commutator estimates controlling the s=1/2 kernel near the moving boundary and on a fixed-point argument in H^k (k≥4). No explicit commutator bounds, error estimates, or contraction-mapping constants are visible, so it is impossible to confirm that the estimates close in the claimed spaces.

    Authors: The commutator estimates controlling the s=1/2 Biot-Savart kernel near the moving boundary, together with the associated error bounds, are derived in detail in Section 3 using the integral representation of the fractional operator and regularization. The nonlinear fixed-point argument, including the contraction-mapping constants in the H^k topology for k≥4, is carried out in Section 4. These sections contain the explicit estimates needed to close the local well-posedness, uniqueness, and blow-up criterion. We are prepared to add a short summary paragraph or table of key constants in the introduction if the referee finds the current presentation insufficiently highlighted. revision: partial

  2. Referee: [Abstract] Abstract (model setup): the plateau assumption (active scalar constant inside the rigid region and a neighborhood of its boundary) is stated as part of the model rather than derived. Because this assumption is load-bearing for compatibility with the transport dynamics and for the velocity reconstruction, the manuscript should clarify whether the assumption is preserved by the flow or imposed externally.

    Authors: The plateau structure is imposed as an initial assumption to guarantee compatibility with the impermeability boundary conditions and the transport dynamics. However, the manuscript proves that this structure is preserved by the evolution: see the statement and proof of propagation of the plateau property together with the a priori estimates on the support of the scalar gradient. The assumption is therefore not re-imposed at later times. We will revise the abstract and the model-setup paragraph in the introduction to state this distinction explicitly. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via standard estimates

full rationale

The paper's central claims rest on a reformulation to fixed coordinates, integral representations of the fractional elliptic operator, commutator estimates for the s=1/2 kernel, and a nonlinear fixed-point argument in H^k (k≥4). These steps invoke external analytic tools rather than reducing to the target result by definition or self-citation. The plateau assumption is stated explicitly as model input, not derived. No load-bearing self-citation chains, fitted inputs renamed as predictions, or ansatzes smuggled via prior work appear in the abstract or described strategy. The derivation chain is therefore independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard functional-analytic background rather than new postulates. No free parameters or invented entities appear in the abstract.

axioms (2)
  • standard math Standard Sobolev embedding and trace theorems for H^k domains with k≥4
    Invoked to control boundary traces and regularity after coordinate change.
  • standard math Existence of integral representations and commutator estimates for the fractional Laplacian at s=1/2
    Used to reconstruct velocity near the moving boundary.

pith-pipeline@v0.9.0 · 5837 in / 1348 out tokens · 21801 ms · 2026-05-25T03:56:22.972373+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

51 extracted references · 51 canonical work pages

  1. [1]

    Earth Environ., 1(22), 2020

    The 2019/2020 australian wildfires generated a persistent smoke-charged vortex rising up to 35 km altitude.Commun. Earth Environ., 1(22), 2020

    work page 2019

  2. [2]

    Abatangelo

    N. Abatangelo. Large s-harmonic functions and boundary blow-up solutions for the frac- tional laplacian.Disc. Cont. Dyn. Syst., 35(12):5555–5607, 2015

    work page 2015

  3. [3]

    Arnold.Mathematical Methods of classical mechanics (second edition)

    V. Arnold.Mathematical Methods of classical mechanics (second edition). Springer, 1989

    work page 1989

  4. [4]

    Bahouri, J-Y

    H. Bahouri, J-Y. Chemin, and R. Danchin. Fourier analysis and nonlinear partial differential equations.Springer, 343, 2011

    work page 2011

  5. [5]

    Caffarelli and L

    L. Caffarelli and L. Sylvestre. Extension problem related to the fractional laplacian.Com- munications in Partial Differential Equations, 32:1245–1260, 2007

    work page 2007

  6. [6]

    Caffarelli and L

    L. Caffarelli and L. Sylvestre. Regularity theory for fully nonlinear integro-differential equa- tions.Communications on Pure and Applied Mathematics, 62(5):597–638, 2009. 28

    work page 2009

  7. [7]

    Caggio, O

    M. Caggio, O. Kreml, Š. Nečasová, A. Roy, and T. Tang. Measure-valued solutions and weak–strong uniqueness for the incompressible inviscid fluid–rigid body interaction.Journal of mathematical fluid mechanics, 23(3):50, 2021

    work page 2021

  8. [8]

    Cavallaro, R

    G. Cavallaro, R. Garra, and C. Marchioro. Long time localization of modified surface quasi- geostrophic equations.Disc. Cont. Dyn. Sys. B, 26(9):5135–5148, 2021

    work page 2021

  9. [9]

    D. Chae, P. Constantin, D. Córdoba, F. Gancedo, and J. Wu. Generalized surface quasi- geostrophic equations with singular velocities.Comm. Pure App. Math., 65:1037–1066, 2012

    work page 2012

  10. [10]

    B. Chen, P. Kim, and R. Song. Dirichlet Heat Kernel estimates for Fractional Laplacian with Gradient Perturbation.The Annals of Probability, 40(6):2483–2538, 2012

    work page 2012

  11. [11]

    D. Cobb, M. Donati, and L. Godard-Cadillac. Existence and uniqueness for the SQG vortex- wave system when the vorticity is constant near the point-vortex.SIAM Jour. Math. Anal., 57(3):2316–2362, 2025

    work page 2025

  12. [12]

    Constantin and M

    P. Constantin and M. Ignatova. Critical SQG in bounded domains.Ann. PDE, 2(2):Art. 8, 42, 2016

    work page 2016

  13. [13]

    Constantin and M

    P. Constantin and M. Ignatova. Estimates near the boundary for critical SQG.Ann. PDE, 6(1):Paper No. 3, 30, 2020

    work page 2020

  14. [14]

    Constantin, M

    P. Constantin, M. Ignatova, and Q.-H. Nguyen. Global regularity for critical SQG in bounded domains.Comm. Pure Appl. Math., 78(1):3–59, 2025

    work page 2025

  15. [15]

    Constantin, A

    P. Constantin, A. Majda, and E. Tabak. Formation of strong fronts in the 2-d quasi- geostrophic thermal active scalar.Nonlinearity, 7:1495–1533, 1994

    work page 1994

  16. [16]

    Djitte and F

    S.M. Djitte and F. Sueur. A few representation formulas for solutions of fractional Laplace equations.preprint, 2023

    work page 2023

  17. [17]

    M. Donati. Two-dimensional point vortex dynamics in bounded domains: Global existence for almost every initial data.SIAM Journal on Mathematical Analysis, 54(1):79–113, 2022

    work page 2022

  18. [18]

    Donati, L

    M. Donati, L. Godard-Cadillac, and D. Iftimie. On the dynamics of point vortices with posi- tive intensities collapsing with the boundary.Physica D: Nonlinear Phenomena, 470:134402, 2024

    work page 2024

  19. [19]

    Donati and D

    M. Donati and D. Iftimie. Long time confinement of vorticity around a stable stationary point vortex in a bounded planar domain.Ann. Inst. H. Poincaré C, Analyse non linéaire, 38(5):1461–1485, 2020

    work page 2020

  20. [20]

    Dormy, L

    E. Dormy, L. Oruba, and K. Emanuel. Eye Formation and energetics in a Dry Model of Hurrican-Like Vortices.Journal of the Atmospheric Sciences, 81(9):1565–1578, 2024

    work page 2024

  21. [21]

    Feireisl, A

    E. Feireisl, A. Roy, and A. Zarnescu. On the motion of a large number of small rigid bodies in a viscous incompressible fluid.Journal de Mathématiques Pures et Appliquées, 175:216–236, 2023

    work page 2023

  22. [22]

    Feireisl, A

    E. Feireisl, A. Roy, and A. Zarnescu. On the motion of a nearly incompressible viscous fluid containing a small rigid body.Journal of Nonlinear Science, 33(5):18, 2023

    work page 2023

  23. [23]

    Geldhauser and M

    C. Geldhauser and M. Romito. Point vortices for inviscid generalized surface quasi- geostrophic models.Am. Ins. Math. Sci., 25(7):2583–2606, 2020. 29

    work page 2020

  24. [24]

    Glass, J

    O. Glass, J. Kolumbán, and F. Sueur. External boundary control of the motion of a rigid body immersed in a perfect two-dimensional fluid.Analysis & PDE, 13(3):651–684, 2020

    work page 2020

  25. [25]

    Glass, C

    O. Glass, C. Lacave, A. Munnier, and F. Sueur. Dynamics of rigid bodies in a two dimen- sional incompressible perfect fluid.Journal of Differential Equations, 267(6):3561–3577, 2019

    work page 2019

  26. [26]

    Glass, C

    O. Glass, C. Lacave, and F. Sueur. On the motion of a small body immersed in a two- dimensional incompressible perfect fluid.Bulletin de la Société Mathématique de France, 142(3):489–536, 2014

    work page 2014

  27. [27]

    Glass, C

    O. Glass, C. Lacave, and F. Sueur. On the motion of a small light body immersed in a two dimensional incompressible perfect fluid with vorticity.Communications in Mathematical Physics, 341(3):1015–1065, 2015

    work page 2015

  28. [28]

    Glass, A

    O. Glass, A. Munnier, and F. Sueur. Point vortex dynamics as zero-radius limit of the motion of a rigid body in an irrotational fluid.Inventiones Mathematicae, 214(1):171–287, 2018

    work page 2018

  29. [29]

    Glass and F

    O. Glass and F. Sueur. Dynamics of several rigid bodies in a two-dimensional ideal fluid and convergence to vortex systems.arXiv preprint arXiv:1910.03158, 2019

    work page arXiv 1910

  30. [30]

    Glass, F

    O. Glass, F. Sueur, and T. Takahashi. Smoothness of the motion of a rigid body immersed in an incompressible perfect fluid.Annales scientifiques de l’École Normale Supérieure, 45(1):1–51, 2012

    work page 2012

  31. [31]

    Godard-Cadillac

    L. Godard-Cadillac. Les vortex quasi-géostrophiques et leur désingularisation.Ph.D. Thesis,

    work page

  32. [32]

    Sorbonne Université (Paris)

    work page

  33. [33]

    Godard-Cadillac

    L. Godard-Cadillac. Vortex collapses for the euler and quasi-geostrophic models.Discrete Cont. Dyn. Syst., 42(7):3143–3168, 2022

    work page 2022

  34. [34]

    Goodman, T.Y

    J. Goodman, T.Y. Hou, and J. Lowengrub. Convergence of the point vortex method for the 2-D euler equations.Comm. Pure App. Math., 43(3):415–430, 1990

    work page 1990

  35. [35]

    J. G. Houot, J. San Martin, and M. Tucsnak. Existence of solutions for the equations modeling the motion of rigid bodies in an ideal fluid.J. Funct. Anal., 259(11):2856–2885, 2010

    work page 2010

  36. [36]

    Ignatova

    M. Ignatova. Construction of solutions of the critical SQG equation in bounded domains. Adv. Math., 351:1000–1023, 2019

    work page 2019

  37. [37]

    Lacave and E

    C. Lacave and E. Miot. Uniqueness for the vortex-wave system when the vorticity is constant near the point vortex.SIAM Journal on Mathematical Analysis, 41(3):1138–1163, 2009

    work page 2009

  38. [38]

    Lacave and E

    C. Lacave and E. Miot. The vortex-wave system with gyroscopic effects.Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie V, 22(1):1–30, 2021

    work page 2021

  39. [39]

    Marchioro and M

    C. Marchioro and M. Pulvirenti.Mathematical theory of incompressible nonviscous fluids, volume 96 ofApplied mathematical sciences. Springer-Verlag, 1993

    work page 1993

  40. [40]

    Nečasová, M

    Š. Nečasová, M. Ramaswamy, A. Roy, and A. Schlömerkemper. Self-propelled motion of a rigid body inside a density dependent incompressible fluid.Mathematical Modelling of Natural Phenomena, 16:9, 2021

    work page 2021

  41. [41]

    viscous incompressible fluid+rigid body

    G. Planas and F. Sueur. On the “viscous incompressible fluid+rigid body” system with navier conditions.Ann. Inst. H. Poincaré, Analyse non linéaire, 31(1):55–80, 2014. 30

    work page 2014

  42. [42]

    Ros-Oton and J

    X. Ros-Oton and J. Serra. The dirichlet problem for the fractional laplacian: Regularity up to the boundary.Journal de Mathématiques Pures et Appliquées, 101(3):275–302, 2014

    work page 2014

  43. [43]

    Rosenzweig

    M. Rosenzweig. Justification of the point vortex approximation for modified surface quasi- geostrophic equations.SIAM J. Math. Anal., 52(2):1690–1728, 2020

    work page 2020

  44. [44]

    J. A. San Martín, V. Starovoitov, and M. Tucsnak. Global weak solutionsśfor the two- dimensional motionśof several rigid bodiesśin an incompressible viscous fluid.Archive for Rational Mechanics and analysis, 161(2):113–147, 2002

    work page 2002

  45. [45]

    Schubert, M

    W. Schubert, M. Montgomery, R. Taft, T. Guinn, S. Fulton, J. Kossin, and J. Edwards. Polygonal Eyewalls, Asymmetric Eye Contraction, and Potential Vorticity Mixing in Hur- ricanes.Journal of the Atmospheric Sciences, 59(9):1197–1223, 1999

    work page 1999

  46. [46]

    S. Serfaty. Mean field limit for coulomb-type flows.Duke Math. J., 169:2887–2935, 2020. Appendix with M. Duerinckx

    work page 2020

  47. [47]

    D. Serre. Chute libre d’un solide dans un fluide visqueux incompressible. existence.Japan Journal of Applied Mathematics, 4(1):99–110, 1987

    work page 1987

  48. [48]

    L. F. Stokols and A. F. Vasseur. Hölder regularity up to the boundary for critical SQG on bounded domains.Arch. Ration. Mech. Anal., 236(3):1543–1591, 2020

    work page 2020

  49. [49]

    F. Sueur. A Kato type theorem for the inviscid limit of the Navier-Stokes equations with a moving rigid body.Communications in Mathematical Physics, 316(3):783–808, 2012

    work page 2012

  50. [50]

    Regularityoftheobstacleproblemforafractionalpowerofthelaplaceoperator

    L.Sylvestre. Regularityoftheobstacleproblemforafractionalpowerofthelaplaceoperator. Communications on Pure and Applied Mathematics, 60(1):67–112, 2007

    work page 2007

  51. [51]

    Analysis of strong solutions for the equations modeling the motion of a rigid-fluid system in a bounded domain.Adv

    Takéo Takahashi. Analysis of strong solutions for the equations modeling the motion of a rigid-fluid system in a bounded domain.Adv. Differential Equations, 8(12):1499–1532, 2003. 31

    work page 2003