pith. sign in

arxiv: 2605.16322 · v1 · pith:HQRHRVQInew · submitted 2026-05-05 · 🧮 math.AP

A unified Boussinesq--Euler formulation and finite-time blow-up for a Hou--Luo type boundary-jet system

Yaoming Shi This is my paper

Pith reviewed 2026-05-21 00:37 UTC · model grok-4.3

classification 🧮 math.AP
keywords finite-time blow-upBoussinesq equationsaxisymmetric Euler equationsboundary jet truncationRiccati argumentunified vorticity-stream formulationHou-Luo type modelperiodic interval
0
0 comments X

The pith

A first-order closure of the unified Boussinesq-Euler boundary jet produces finite-time blow-up on a periodic interval.

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

The paper starts from the 2D inviscid Boussinesq equations and the 3D axisymmetric Euler equations with swirl, reduces both to a common vorticity-stream form in the meridian plane, and encodes them by a single parameter m in the squared radial coordinate q. At the boundary q=1 a Taylor expansion produces an exact jet whose transport equations close, but the elliptic relation still involves the next normal derivative. Setting that derivative to zero yields a closed (1+1)D system with the local boundary law u equals minus (m plus 2) inverse times omega. For this reduced periodic model the authors adapt a Riccati inequality to prove that the solution becomes singular in finite time. The result matters because it supplies an explicit, checkable mechanism for blow-up inside a controlled approximation of two classical ideal-fluid systems.

Core claim

The paper derives the unified vorticity-stream system (Bm) for m=1 (Boussinesq) and m=2 (Euler with swirl). Closing the boundary jet by the truncation phi_qq(x,1,t)=0 reduces the system to the closed (1+1)D model (Q0) whose boundary velocity satisfies the local law u=-(m+2)^{-1} omega. The central theorem states that this periodic Hou-Luo type model develops finite-time blow-up, established by a Riccati argument that tracks the growth of a suitably chosen quantity along particle trajectories.

What carries the argument

The first-order Taylor truncation phi_qq(x,1,t)=0 at the boundary q=1, which closes the transport equations and supplies the local relation u=-(m+2)^{-1} omega between boundary velocity and vorticity in the unified system (Q0).

If this is right

  • Finite-time blow-up holds for both values of the parameter m that recover the Boussinesq and axisymmetric Euler cases.
  • The singularity is driven by the interaction of the local boundary velocity law with the vorticity transport equation.
  • The Riccati inequality adapts directly from earlier arguments used on similar boundary-driven models.
  • The blow-up result applies strictly to the closed truncation rather than to the original unclosed Boussinesq or Euler systems.

Where Pith is reading between the lines

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

  • If the truncation error remains controlled near a developing singularity, the same mechanism could indicate blow-up in the full two- or three-dimensional equations.
  • Numerical comparison between the closed model and the unclosed jet system would test how faithfully the first-order approximation captures the early stages of singularity formation.
  • The same closure technique might be applied to other boundary-driven fluid models to produce additional explicit blow-up examples.

Load-bearing premise

The second normal derivative of the stream function vanishes at the boundary, which is required to close the equations with a purely local velocity law.

What would settle it

Direct numerical integration of the closed system (Q0) on the periodic interval that either keeps the maximum vorticity bounded beyond the analytically predicted blow-up time or shows it diverging to infinity.

read the original abstract

We derive a unified vorticity--stream formulation $(Bm)$ for two parity-reduced inviscid systems in the meridian plane: the 2D inviscid Boussinesq equations $(m=1)$ and the 3D axisymmetric Euler equations with swirl $(m=2)$. In the Boussinesq case we set $\Theta=\vartheta/r$ and write $\Theta=u^2$ only when a smooth square-root branch has been fixed; equivalently, one may keep the scalar variable $\Theta$ throughout. In the squared radial variable $q=r^2$, the two cases are encoded by the same parameterized system with $m=1,2$. At the boundary $q=1$, a Taylor expansion gives an exact boundary jet: the transport equations close on the boundary, while the elliptic relation also contains the next normal jet $\varphi_{qq}(x,1,t)$. If the boundary jet is closed by the first-order Taylor truncation $\varphi_{qq}(x,1,t)=0$, it reduces to a closed unified $(1+1)$D system $(Q0)$ with the local boundary velocity law $u=-(m+2)^{-1}\omega$. We prove finite-time blow-up for this closed Hou--Luo type model on a periodic interval by a Riccati argument in the spirit of Choi--Hou--Kiselev--Luo--\v{S}ver\'ak--Yao. The theorem is therefore a blow-up result for the closed boundary-jet model, not for the unrestricted Boussinesq or Euler systems.

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

Summary. The paper derives a unified vorticity-stream formulation (Bm) for the 2D inviscid Boussinesq equations (m=1) and 3D axisymmetric Euler equations with swirl (m=2) in the meridian plane, using the squared radial variable q = r². Imposing the first-order Taylor truncation φ_qq(x,1,t)=0 at the boundary q=1 closes the system to a (1+1)D Hou-Luo type model (Q0) with the local boundary velocity law u = -(m+2)^{-1} ω on a periodic interval. The central result is a proof of finite-time blow-up for this closed reduced model via a Riccati argument, explicitly scoped as applying only to the approximation and not to the unrestricted Boussinesq or Euler systems.

Significance. If the blow-up result holds, the unified formulation (Bm) offers a compact parameterization of two distinct fluid systems, and the explicit closure to (Q0) with the Riccati-based blow-up proof adds to the literature on reduced models for potential singularity formation. The paper correctly emphasizes that the theorem concerns only the closed boundary-jet model, which strengthens its internal consistency. The standard Riccati technique, applied to the local law, aligns with prior works and provides a falsifiable prediction for the reduced system.

major comments (1)
  1. [Derivation of closed system (Q0)] § on derivation of (Q0): the claim that the transport equations close on the boundary while the elliptic relation retains φ_qq is load-bearing for the reduction; the paper should verify that the truncation φ_qq(x,1,t)=0 is compatible with the parity-reduced meridian-plane setup for both m=1 and m=2 without introducing additional singularities in the stream function.
minor comments (3)
  1. [Abstract] Abstract: the citation to Choi--Hou--Kiselev--Luo--Šverák--Yao should be expanded with a full bibliographic entry and page reference to the specific Riccati argument being followed.
  2. [Unified formulation (Bm)] Notation: when setting Θ = u² for the Boussinesq case, the paper should clarify the branch choice for the square root and its impact on the sign of the velocity law in (Q0).
  3. [Blow-up theorem for (Q0)] The periodic interval setup for the (1+1)D model should include an explicit statement of the initial data class (e.g., smoothness or symmetry) used in the blow-up theorem to facilitate comparison with related results.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment, and recommendation for minor revision. We address the single major comment below and will incorporate the requested verification in the revised manuscript.

read point-by-point responses

  1. Referee: [Derivation of closed system (Q0)] § on derivation of (Q0): the claim that the transport equations close on the boundary while the elliptic relation retains φ_qq is load-bearing for the reduction; the paper should verify that the truncation φ_qq(x,1,t)=0 is compatible with the parity-reduced meridian-plane setup for both m=1 and m=2 without introducing additional singularities in the stream function.

    Authors: We agree that an explicit verification of compatibility strengthens the derivation section. In the parity-reduced meridian-plane formulation, the stream function φ satisfies the symmetry conditions induced by the original 2D Boussinesq (m=1) and 3D axisymmetric Euler-with-swirl (m=2) systems; these symmetries ensure that the Taylor jet at q=1 is well-defined under the maintained smoothness assumptions. The first-order truncation φ_qq(x,1,t)=0 is imposed only after the transport equations have closed on the boundary and is consistent with the elliptic relation for both parameter values, preserving regularity of φ without introducing new singularities. We will add a concise paragraph (or short appendix remark) in the revised manuscript that explicitly checks this compatibility for m=1 and m=2. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper first derives the unified vorticity-stream system (Bm) for the parameterized family (m=1,2) and then explicitly imposes the first-order Taylor truncation φ_qq(x,1,t)=0 to close the boundary jet, yielding the reduced (1+1)D model (Q0) with the local law u=−(m+2)^−1 ω. Finite-time blow-up is then established for this closed model alone by a direct Riccati argument on the periodic interval. The proof relies on standard analysis of the resulting ODE system and is explicitly scoped to the truncated closure rather than the unrestricted Boussinesq or Euler equations; no step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation. The derivation chain therefore remains self-contained with independent mathematical content.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that the first-order Taylor truncation closes the boundary jet sufficiently to yield a well-posed (1+1)D system to which the Riccati blow-up argument applies.

axioms (1)
  • domain assumption The boundary jet is closed by the first-order Taylor truncation φ_qq(x,1,t)=0
    This truncation reduces the elliptic relation and transport equations to the closed unified (1+1)D system (Q0) for which blow-up is proven.

pith-pipeline@v0.9.0 · 5821 in / 1534 out tokens · 55754 ms · 2026-05-21T00:37:15.008576+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

41 extracted references · 41 canonical work pages · 7 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 Boussinesq equations with data inL p InLecture Notes in Mathematics771129–144 (Springer)

    work page 1980

  4. [4]

    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

  5. [5]

    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. 15555–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 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

  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

    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]

    On the Finite-Time Blowup of a 1D Model for the 3D Axisymmetric Euler Equations

    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 arXiv:1407.4776; doi:10.1002/cpa.21697

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1002/cpa.21697 2017

  12. [12]

    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

  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]

    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

  15. [15]

    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

  16. [16]

    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

  17. [17]

    of Math.1621377–1389 UNIFIED BOUSSINESQ–EULER BOUNDARY-JET SYSTEM 13

    Cordoba A, Cordoba D and Fontelos M A 2005 Formation of singularities for a transport equation with nonlocal velocityAnn. of Math.1621377–1389 UNIFIED BOUSSINESQ–EULER BOUNDARY-JET SYSTEM 13

    work page 2005

  18. [18]

    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

  19. [19]

    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

  20. [20]

    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

  21. [21]

    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

  22. [22]

    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. PDE650 arXiv:1708.02724

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  23. [23]

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

    work page arXiv 2023

  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]

    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

  26. [26]

    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

  27. [27]

    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

  28. [28]

    Hou T Y and Luo G 2013 On the finite-time blow-up of a 1D model for the 3D incompressible Euler equationsarXiv:1311.2613

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  29. [29]

    Hou T Y and Luo G 2014 Potentially singular solutions of the 3D axisym- metric Euler equationsProc. Natl. Acad. Sci. USA11112968–12973

    work page 2014

  30. [30]

    Hou T Y and Luo G 2014 Toward the finite-time blow-up of the 3D axisym- metric Euler equations: a numerical investigationMultiscale Model. Simul. 121722–1776

    work page 2014

  31. [31]

    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

  32. [32]

    Kiselev A 2018 Small scales and singularity formation in fluid dynamics arXiv:1807.00184

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  33. [33]

    Kiselev A, Park J and Yao Y 2022 Small scale formation for the 2D Boussinesq equationarXiv:2211.05070

    work page arXiv 2022

  34. [34]

    Pure Appl

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

    work page 1998

  35. [35]

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

    work page

  36. [36]

    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

  37. [37]

    Okamoto H, Sakajo T and Wunsch M 2008 On a generalization of the Constantin–Lax–Majda equationNonlinearity212447–2461

    work page 2008

  38. [38]

    Rapha¨ el P and Rodnianski I 2012 Stable blow up dynamics for the critical co-rotational wave maps and equivariant Yang–Mills problemsPubl. Math. 14 YAOMING SHI 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

  39. [39]

    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

  40. [40]

    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 Boussi- nesq equations InThe Navier–Stokes Equations: Theory and Numerical Meth- ods(R. Salvi ed.) Lecture Notes in Pure and Applied Mathematics223131– 140

    work page 2002

  41. [41]

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

    work page 2012