pith. machine review for the scientific record. sign in

arxiv: 2603.26715 · v4 · submitted 2026-03-18 · 🧮 math.AP · nlin.SI· physics.flu-dyn

Recognition: 2 theorem links

· Lean Theorem

2D inviscid Boussinesq equations and 3D axisymmetric Euler equations: (1) A unification (Em), (2) Finite-time blow-up of two unified (1+1)D systems rigorously derived from (Em)

Yaoming Shi
Authors on Pith no claims yet

Pith reviewed 2026-05-15 08:55 UTC · model grok-4.3

classification 🧮 math.AP nlin.SIphysics.flu-dyn
keywords Boussinesq equationsaxisymmetric Euler equationsfinite-time blow-upsymmetry reductionunified subsystemsapex dynamics
0
0 comments X

The pith

The 2D inviscid Boussinesq and 3D axisymmetric Euler equations reduce to a single family of (1+2)D subsystems whose exact (1+1)D axis restrictions blow up in finite time.

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

The paper shows that both the 2D inviscid Boussinesq equations and the 3D axisymmetric Euler equations yield the same family of (1+2)D subsystems (Em), differing only in two numerical coefficients set by the parameter m. From these subsystems it extracts precise (1+1)D restrictions (R0) and (Z0) that sit exactly on the symmetry axis or apex and already contain the finite-time singularity mechanism of the original problems. Finite-time blow-up is established for the apex dynamics of these reduced systems. The work also supplies a conditional transfer result: when a compatible background solution exists on [0,T) with the required coefficient bounds, the weighted elliptic estimate holds, and the remainder stays below the background scale, the full solution inherits the same finite-time blow-up.

Core claim

The integer m appears only in two coefficients inside the (1+2)D subsystems (Em) derived from both source equations, producing a true unification. The (1+1)D systems (R0) and (Z0) arise as exact symmetry-axis/apex restrictions of (Em) and are proved to develop finite-time blow-up at the origin; the paper further derives the background-remainder splitting and states the precise conditions under which this axis blow-up lifts to the full (1+2)D solution.

What carries the argument

The unified (Em) family of (1+2)D subsystems, together with their exact (1+1)D axis reductions (R0) and (Z0) that isolate the apex dynamics.

Load-bearing premise

A compatible full background solution must exist on [0,T) that satisfies the adapted coefficient bounds required by the weighted energy method, the weighted elliptic estimate, and the gap condition that keeps the remainder below the background scale.

What would settle it

A numerical integration of the (1+1)D system (R0) or (Z0) that remains smooth past the predicted blow-up time, or a full (1+2)D solution in which the remainder grows faster than the background before T.

read the original abstract

We derive $(1+2)$D subsystems~$(E1,E2)$ from the (2D inviscid Boussinesq, 3D axisymmetric Euler) equations in the (meridian) plane. The integer $m=1,2$ only appears in two numerical coefficients of subsystem~$(Em)$. Thus we discover a unification. We then study two unified $(1+1)$-dimensional systems, denoted $(R0)$ and $(Z0)$, that are rigorously derived from the $(Em)$. The main point of view in this revision is that these $(1+1)$D systems are not ad hoc model equations and not merely ``symmetry-axis reductions.'' Rather, they arise as exact symmetry-axis/apex restrictions of the full $(1+2)$D system~$(Em)$ obtained from 2D inviscid Boussinesq and 3D axisymmetric Euler, and they already contain the core finite-time singularity mechanism of the full problem. The paper has three main outputs. First, it derives the polar $(1+2)$D subsystem~$(Em)$ from the 2D inviscid Boussinesq equations and from the 3D axisymmetric Euler equations and identifies the exact unified $(1+1)$D systems $(R0)$ and $(Z0)$ carried by the symmetry axes. Second, it proves finite-time blow-up for the resulting apex dynamics and analyzes the associated convective axis reduction. Third, it derives the exact background--remainder equations and formulates a conditional nonlinear stability mechanism: if a compatible full background exists on $[0,T)$ with the adapted coefficient bounds required by the weighted energy method, if the weighted elliptic estimate holds, and if a gap exponent $\sigma\in(C_{\rm lin},1)$ is available so that the remainder remains below the background scale, then the same finite-time apex blow-up transfers to the full solution.

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

1 major / 2 minor

Summary. The paper unifies the 2D inviscid Boussinesq and 3D axisymmetric Euler equations via a (1+2)D meridian-plane subsystem (Em) in which the integer m=1,2 enters only through two numerical coefficients. It derives exact (1+1)D systems (R0) and (Z0) as symmetry-axis/apex restrictions of (Em), proves finite-time blow-up for these reduced apex dynamics, and formulates a conditional transfer mechanism: if a compatible full background exists on [0,T) satisfying adapted coefficient bounds, the weighted elliptic estimate holds, and a gap exponent σ∈(C_lin,1) keeps the remainder below background scale, then the apex blow-up carries over to the full (Em) solution.

Significance. If the conditional hypotheses can be satisfied, the work supplies a unified, symmetry-based route to finite-time singularity formation for two classical incompressible fluid systems. The rigorous derivation of the (1+1)D subsystems directly from the full PDEs (rather than as ad-hoc models) and the explicit background-remainder splitting constitute genuine technical strengths that could influence subsequent analyses of axisymmetric and 2D stratified flows.

major comments (1)
  1. The central transfer result is explicitly conditional on the existence of a compatible background solution satisfying the adapted coefficient bounds, the weighted elliptic estimate, and the gap condition σ∈(C_lin,1). Because no construction or verification of such a background is supplied, the manuscript should state whether these hypotheses are expected to be verifiable for the original Boussinesq or Euler systems and, if so, outline a strategy for checking them; this condition is load-bearing for any claim that the mechanism applies beyond the reduced systems.
minor comments (2)
  1. Notation for the subsystems (E1,E2) versus the reduced systems (R0,Z0) should be made fully consistent in the introduction and in the statements of the main theorems to avoid reader confusion.
  2. A short appendix or subsection summarizing the precise form of the weighted energy functional and the elliptic estimates used in the conditional argument would improve readability without lengthening the main text.

Simulated Author's Rebuttal

1 responses · 1 unresolved

We thank the referee for the careful reading, positive assessment of the unification and the conditional transfer mechanism, and the recommendation for minor revision. We address the single major comment below by clarifying the scope of the work and adding an explicit statement on the open nature of the background verification.

read point-by-point responses

  1. Referee: The central transfer result is explicitly conditional on the existence of a compatible background solution satisfying the adapted coefficient bounds, the weighted elliptic estimate, and the gap condition σ∈(C_lin,1). Because no construction or verification of such a background is supplied, the manuscript should state whether these hypotheses are expected to be verifiable for the original Boussinesq or Euler systems and, if so, outline a strategy for checking them; this condition is load-bearing for any claim that the mechanism applies beyond the reduced systems.

    Authors: We agree that the transfer theorem is conditional and that the manuscript does not construct or verify a background solution for the full (Em) systems. In the revised version we have added a dedicated paragraph (new Section 1.4 and a corresponding remark in the conclusion) stating that (i) the hypotheses are expected to be verifiable for the original 2D inviscid Boussinesq and 3D axisymmetric Euler equations because the coefficient bounds and weighted elliptic estimate are satisfied by the known smooth solutions on short time intervals and by the self-similar profiles constructed in the reduced systems, and (ii) a practical verification strategy would consist of constructing a compatible background via a short-time existence theorem with the required coefficient control, followed by a numerical check of the gap condition σ∈(C_lin,1) on a sequence of approximating solutions. We emphasize, however, that carrying out this verification lies outside the scope of the present paper, whose primary contributions are the rigorous derivation of the unified (1+1)D apex systems and the proof of finite-time blow-up within those reduced dynamics. The conditional transfer result is therefore presented as a precise formulation of the mechanism rather than a completed proof for the full systems. revision: partial

standing simulated objections not resolved
  • We do not supply an explicit construction or numerical verification of a compatible background solution satisfying all three hypotheses for the full (Em) systems; this remains an open direction.

Circularity Check

0 steps flagged

No significant circularity; derivations are direct reductions from original PDEs

full rationale

The paper derives the (1+2)D subsystems (Em) explicitly from the 2D inviscid Boussinesq and 3D axisymmetric Euler equations via symmetry-axis restrictions in the meridian plane, identifies the two numerical coefficients that unify the systems for m=1,2, and then extracts the exact (1+1)D systems (R0) and (Z0) as apex restrictions of (Em). Finite-time blow-up is proven directly in these reduced systems, and the conditional transfer to the full solution is stated explicitly under the hypotheses of a compatible background, weighted elliptic estimates, and gap exponent σ, without any claim that such a background has been constructed inside the paper. No parameter fitting, self-definitional loops, or load-bearing self-citations appear in the derivation chain; all steps are algebraic reductions or conditional statements whose validity can be checked against the original PDEs independently of the paper's conclusions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument relies on standard PDE existence and regularity theory plus the existence of a background solution satisfying coefficient bounds; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math Standard Sobolev embedding and elliptic regularity estimates hold for the weighted spaces used in the energy method
    Invoked to close the a-priori estimates for the remainder
  • domain assumption A compatible background solution exists on [0,T) satisfying the required coefficient bounds
    Explicitly stated as a hypothesis for the conditional transfer

pith-pipeline@v0.9.0 · 5693 in / 1479 out tokens · 50568 ms · 2026-05-15T08:55:32.526724+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages · 5 internal anchors

  1. [1]

    Beale J T, Kato T and Majda A 1984 Remarks on the breakdown of smooth solutions for the 3-D Euler equationsCommun. Math. Phys.9461–66 doi:10.1007/BF01212349

    work page doi:10.1007/bf01212349 1984

  2. [2]

    Pure Appl

    Caffarelli L, Kohn R and Nirenberg L 1982 Partial regularity of suitable weak solutions of the Navier–Stokes equationsCommun. Pure Appl. Math.35771– 831

    work page 1982

  3. [3]

    Cannon J R and DiBenedetto E 1980 The initial problem for the Boussi- nesq equations with data inL p InLecture Notes in Mathematics771129–144 (Springer)

    work page 1980

  4. [4]

    Chae D and Nam H-S 1997 Local existence and blow-up criterion for the Boussinesq equationsProc. Roy. Soc. Edinburgh Sect. A127(5) 935–946 doi: 10.1017/S0308210500026810

    work page doi:10.1017/s0308210500026810 1997

  5. [5]

    J.155 55–80

    Chae D, Kim S-K and Nam H-S 1999 Local existence and blow-up criterion of H¨ older continuous solutions of the Boussinesq equationsNagoya Math. J.155 55–80

    work page 1999

  6. [6]

    Z.239645–671

    Chae D and Lee J 2002 On the regularity of the axisymmetric solutions of the Navier–Stokes equationsMath. Z.239645–671

    work page 2002

  7. [7]

    Chae D, Constantin P and Wu J 2014 An incompressible 2D didactic model with singularity and explicit solutions of the 2D Boussinesq equationsJ. Math. Fluid Mech.16473–480 doi:10.1007/s00021-014-0166-5

    work page doi:10.1007/s00021-014-0166-5 2014

  8. [8]

    Chen H, Fang D and Zhang T 2015 Regularity of 3D axisymmetric Navier- Stokes equationsarXiv:1505.00905

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  9. [9]

    Chen J and Hou T Y 2021 Finite time blow-up of 2D Boussinesq and 3D Euler equations withC 1,ν velocity and boundaryCommun. Math. Phys.383 1559–1667 doi:10.1007/s00220-021-04067-1 30 YAOMING SHI

    work page doi:10.1007/s00220-021-04067-1 2021

  10. [10]

    Chen J and Hou T Y 2022 Stable nearly self-similar blow-up of the 2D Boussi- nesq and 3D Euler equations with smooth dataarXiv:2210.07191

    work page arXiv 2022

  11. [11]

    Choi K, Kiselev A and Yao Y 2015 Finite time blow up for a 1D model of 2D Boussinesq systemCommun. Math. Phys.3341667–1679 doi:10.1007/s00220- 014-2146-2

    work page doi:10.1007/s00220- 2015

  12. [12]

    Pure Appl

    Choi K, Hou T Y, Kiselev A, Luo G, ˇSver´ ak V and Yao Y 2017 On the finite-time blow-up of a one-dimensional model for the three-dimensional ax- isymmetric Euler equationsCommun. Pure Appl. Math.70(11) 2218–2243 doi:10.1002/cpa.21697

    work page doi:10.1002/cpa.21697 2017

  13. [13]

    Collot C, Merle F and Rapha¨ el P 2017 Stability of ODE blow-up for the energy critical semilinear heat equationC. R. Math. Acad. Sci. Paris355(1) 65–79 doi:10.1016/j.crma.2016.10.020

    work page doi:10.1016/j.crma.2016.10.020 2017

  14. [14]

    Pure Appl

    Constantin P, Lax P D and Majda A 1985 A simple one-dimensional model for the three-dimensional vorticity equationCommun. Pure Appl. Math.38(6) 715–724 doi: 10.1002/cpa.3160380605

    work page doi:10.1002/cpa.3160380605 1985

  15. [15]

    Constantin P 1986 Note on loss of regularity for solutions of the 3D incom- pressible Euler and related equationsCommun. Math. Phys.104311–326

    work page 1986

  16. [16]

    Constantin P 2007 On the Euler equations of incompressible fluidsBull. Amer. Math. Soc. (N.S.)44603–621 doi:10.1090/S0273-0979-07-01184-6

    work page doi:10.1090/s0273-0979-07-01184-6 2007

  17. [17]

    De Gregorio S 1990 On a one-dimensional model for the three-dimensional vorticity equationJ. Stat. Phys.591251–1263 doi: 10.1007/BF01334750

    work page doi:10.1007/bf01334750 1990

  18. [18]

    Drazin P G and Riley N 2006The Navier–Stokes Equations: A Classifica- tion of Flows and Exact Solutions(Cambridge University Press, Cambridge) doi: 10.1017/CBO9780511755499

    work page doi:10.1017/cbo9780511755499

  19. [19]

    Drivas T D and Elgindi T M 2023 Singularity formation in the incompressible Euler equation in finite and infinite timeEMS Surv. Math. Sci.101–100

    work page 2023

  20. [20]

    Finite-time Singularity formation for Strong Solutions to the axi-symmetric $3D$ Euler Equations

    Elgindi T M and Jeong I-J 2019 Finite-time singularity formation for strong solutions to the axi-symmetric 3D Euler equationsAnn. PDE551 arXiv:1802.09936

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  21. [21]

    Finite-time Singularity Formation for Strong Solutions to the Boussinesq System

    Elgindi T M and Jeong I-J 2020 Finite-time singularity formation for strong solutions to the Boussinesq systemAnn. PDE650arXiv:1708.02724

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  22. [22]

    Elgindi T M and Pasqualotto F 2023 From instability to singularity formation in incompressible fluidsarXiv:2310.19780

    work page arXiv 2023

  23. [23]

    Pure Appl

    Giga Y and Kohn R V 1985 Asymptotically self-similar blow-up of semilinear heat equationsCommun. Pure Appl. Math.38(3) 297–319 doi: 10.1002/cpa.3160380304

    work page doi:10.1002/cpa.3160380304 1985

  24. [24]

    Giga Y 1986 A bound for global solutions of semilinear heat equationsCom- mun. Math. Phys.103(3) 415–421

    work page 1986

  25. [25]

    Nonlinear Sci.16639–664

    Hou T Y and Li R 2006 Dynamic depletion of vortex stretching and non-blow- up of the 3-D incompressible Euler equationsJ. Nonlinear Sci.16639–664

    work page 2006

  26. [26]

    Hou T Y and Liu P 2014 Self-similar singularity of a 1D model for the 3D axisymmetric Euler equationsarXiv:1407.5740

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  27. [27]

    Khenissy S and Zaag H 2011 Continuity of the blow-up profile with respect to initial data for semilinear heat equationsAnn. Inst. H. Poincar´ e C Anal. Non Lin´ eaire28(1) 1–29

    work page 2011

  28. [28]

    Kiselev A, Park J and Yao Y 2022 Small scale formation for the 2D Boussinesq equationarXiv:2211.05070 TWO (1 + 1)D SYSTEMS FROM 2D BOUSSINESQ AND 3D EULER 31

    work page arXiv 2022

  29. [29]

    Pure Appl

    Lin F H 1998 A new proof of the Caffarelli–Kohn–Nirenberg theoremCommun. Pure Appl. Math.51(3) 241–257

    work page 1998

  30. [30]

    Majda A J and Bertozzi A L 2002Vorticity and Incompressible FlowCam- bridge Texts in Applied Mathematics, 27 (Cambridge University Press, Cam- bridge)

    work page

  31. [31]

    of Math.161(1) 157–222

    Merle F and Rapha¨ el P 2005 The blow-up dynamic and upper bound on the blow-up rate for critical nonlinear Schr¨ odinger equationAnn. of Math.161(1) 157–222

    work page 2005

  32. [32]

    Rapha¨ el P and Rodnianski I 2012 Stable blow up dynamics for the critical co- rotational wave maps and equivariant Yang–Mills problemsPubl. Math. Inst. Hautes ´Etudes Sci.115(1) 1–122 doi: 10.1007/s10240-011-0037-z

    work page doi:10.1007/s10240-011-0037-z 2012

  33. [33]

    Pure Appl

    Schochet S 1986 Explicit solutions of the viscous model vorticity equation Commun. Pure Appl. Math.39(4) 531–537 doi: 10.1002/cpa.3160390404

    work page doi:10.1002/cpa.3160390404 1986

  34. [34]

    Shi Y 2026 Finite-time blow-up of two (1 + 1)D systems rigorously derived from the 3D axisymmetric Euler equationsarXiv:2604.01244

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  35. [35]

    Salvi ed.) Lecture Notes in Pure and Applied Mathematics223131–140

    Taniuchi Y 2002 A note on the blow-up criterion for the inviscid 2-D Boussinesq equations InThe Navier–Stokes Equations: Theory and Numerical Methods (R. Salvi ed.) Lecture Notes in Pure and Applied Mathematics223131–140

    work page 2002

  36. [36]

    Wu J 2012 The 2D Incompressible Boussinesq EquationsPeking University Summer School Lecture Notes California, United States Email address:ymshi@protonmail.com

    work page 2012