Sharp Ill-Posedness of the Euler Equations in Lorentz Spaces
Pith reviewed 2026-05-20 15:40 UTC · model grok-4.3
The pith
The L^{3,1} endpoint on ω0/r is sharp for global existence in the axisymmetric Euler equations without swirl.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For every Lorentz exponent q>1 we construct multi-ring data ω0 ∈ L^∞(R^3) with ω0/r ∈ L^{3,q}(R^3) that produce L^∞-norm inflation of the vorticity; moreover, within the same class we obtain instantaneous blow-up from data with infinitely many rings. Our initial data generalize the Kim-Jeong dyadic ring superposition by allowing flexible conical support geometry. In the outer-ring-dominant regime we derive a forward-in-time ODE cascade for ring amplitudes and aspect ratios in which vortex stretching weakens its own future forcing: as a ring amplifies, incompressibility flattens it, the aspect ratio collapses, and the induced stretching coefficient is geometrically depleted. A profile-localiz
What carries the argument
The profile-localization argument that freezes the relevant Biot-Savart kernel near each ring, makes the stretching-coefficient depletion explicit, and guarantees a monotone productive window controlled by the cone slope, together with the resulting forward-in-time ODE cascade for ring amplitudes and aspect ratios.
If this is right
- Vortex stretching propagates across scales through the ODE cascade even though each ring's flattening depletes the future stretching coefficient.
- The L^∞ norm of vorticity can become unbounded in finite time from initially bounded data whose radial ratio lies only in L^{3,q} for q>1.
- Instantaneous blow-up occurs for initial data consisting of infinitely many rings in the same function class.
- The endpoint space L^{3,1} is necessary for Danchin's global well-posedness theorem to hold.
Where Pith is reading between the lines
- The multi-ring construction with conical profiles may extend to other stretching-dominated equations such as the Navier-Stokes system at high Reynolds number.
- Quantitative lower bounds on blow-up time could be extracted by fixing explicit cone slopes and solving the resulting ODE cascade numerically.
- The localization technique might be adapted to study sharpness questions for the full three-dimensional Euler equations once swirl is restored.
Load-bearing premise
The profile-localization argument correctly freezes the Biot-Savart kernel near each ring and guarantees a monotone productive window controlled by the cone slope.
What would settle it
A direct numerical integration of the axisymmetric Euler equations from a two-ring initial datum with explicitly chosen radii and cone slopes, checking whether the L^∞ vorticity norm inflates at the rate predicted by the ODE cascade or remains bounded.
Figures
read the original abstract
We study vortex stretching for the three-dimensional axisymmetric Euler equations without swirl in vorticity formulation. Danchin (2007) established global existence and uniqueness for bounded vorticity $\omega_0$ provided $\omega_0/r$ lies in the endpoint Lorentz space $L^{3,1}(\mathbb{R}^3)$ (together with a decay assumption on $\omega_0$). We prove that this $L^{3,1}$ endpoint is sharp: for every Lorentz exponent $q>1$, we construct multi-ring data $\omega_0 \in L^\infty (\mathbb{R}^3)$ with $\omega_0/r\in L^{3,q}(\mathbb{R}^3)$ that produce $L^\infty$-norm inflation of the vorticity; moreover, within the same class, we obtain instantaneous blow-up from data with infinitely many rings. Our initial data are inspired by the Kim--Jeong dyadic ring superposition (2022), but we crucially generalize it by allowing flexible conical support geometry for the ring profile. In the regime where outer rings are dominant -- a multiscale viewpoint appearing in recent works including Kim--Jeong (2022) and Cordoba--Martinez-Zoroa--Zheng (2025) -- we obtain a forward-in-time ODE cascade for ring amplitudes and aspect ratios in which vortex stretching weakens its own future forcing: as a ring amplifies, incompressibility flattens it, the aspect ratio collapses, and the induced stretching coefficient is geometrically depleted. A key new ingredient is a profile-localization argument that freezes the relevant Biot--Savart kernel and makes this depletion explicit, enabling us to exploit a monotone "productive window" (controlled by the cone slope) together with an exact cascade identity. This propagates stretching across scales and gives a robust lower bound on cumulative stretching, yielding ill-posedness in the full range $q>1$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes sharpness of the L^{3,1} endpoint for global well-posedness of the axisymmetric 3D Euler equations without swirl. For every q>1 it constructs multi-ring initial data ω₀ ∈ L^∞(R³) with ω₀/r ∈ L^{3,q}(R³) that produce L^∞ inflation of the vorticity; the same class yields instantaneous blow-up when infinitely many rings are superposed. The argument proceeds by generalizing the Kim–Jeong dyadic-ring construction to flexible conical supports, deriving a forward-in-time ODE cascade for amplitudes and aspect ratios via a profile-localization argument that freezes the Biot–Savart kernel, renders geometric depletion explicit, and produces a monotone productive window controlled by the cone slope.
Significance. If the localization estimates hold, the result supplies a sharp ill-posedness theorem in the Lorentz scale, showing that Danchin’s L^{3,1} condition cannot be relaxed. The explicit cascade identity together with the depletion mechanism (incompressibility flattening the rings) and the monotone productive window constitute a technically interesting advance over prior ring-superposition constructions. The paper provides a direct, falsifiable construction with reproducible ODE dynamics.
major comments (2)
- [Profile-localization argument (§3)] Profile-localization argument (abstract and §3): the error incurred by freezing the Biot–Savart kernel near each conical ring must be shown to remain o(1) uniformly in the scale-separation parameter and in the total number of rings; without a uniform bound smaller than the depletion term, the monotone productive window ceases to be monotone and the claimed lower bound on cumulative stretching collapses.
- [Infinite-rings construction (§4)] Infinite-rings construction (§4): the instantaneous blow-up claim requires that the productive window remains open for every ring in the cascade; accumulation of localization errors across infinitely many scales could close the window before the amplitude reaches infinity, undermining the blow-up statement.
minor comments (2)
- [Construction of initial data] Notation for the cone slope α and the resulting depletion factor should be introduced with an explicit formula or diagram early in the construction section.
- [ODE cascade] The precise statement of the exact cascade identity (presumably an equation relating amplitude growth to aspect-ratio collapse) would benefit from a displayed equation number and a short derivation sketch.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. The positive assessment of the overall approach and the explicit identification of the two points requiring further clarification are appreciated. We address each major comment below.
read point-by-point responses
-
Referee: [Profile-localization argument (§3)] Profile-localization argument (abstract and §3): the error incurred by freezing the Biot–Savart kernel near each conical ring must be shown to remain o(1) uniformly in the scale-separation parameter and in the total number of rings; without a uniform bound smaller than the depletion term, the monotone productive window ceases to be monotone and the claimed lower bound on cumulative stretching collapses.
Authors: We thank the referee for emphasizing the need for uniformity. In §3 the localization error is bounded by Cδ (where δ is the relative scale separation between rings) while the depletion term arising from the flattening of the conical support is of order α (the cone opening angle). The choice δ < α/2 is made once and for all, independently of the number of rings N; the cross-interactions from non-local rings are absorbed into the leading-order cascade ODE and do not affect the local error estimate. Consequently the productive window remains strictly monotone for any finite N. To make this uniformity fully explicit we will add a short lemma in the revised §3 that states the error bound uniformly in N and δ. revision: partial
-
Referee: [Infinite-rings construction (§4)] Infinite-rings construction (§4): the instantaneous blow-up claim requires that the productive window remains open for every ring in the cascade; accumulation of localization errors across infinitely many scales could close the window before the amplitude reaches infinity, undermining the blow-up statement.
Authors: For the infinite superposition in §4 the rings are placed at geometrically decreasing scales with cone slopes α_k decreasing sufficiently rapidly. The localization error contributed by each ring is O(δ_k) with ∑ δ_k < ∞. The productive window for the k-th ring is opened with a margin larger than the tail sum of all subsequent errors; this margin is chosen uniformly in the truncation level. Hence the window stays open for every ring and the amplitude diverges in finite time. We agree that an explicit summation argument would strengthen the presentation and will insert the corresponding estimate in the revised §4. revision: yes
Circularity Check
Direct construction and Biot-Savart analysis yield self-contained ill-posedness result
full rationale
The paper constructs explicit multi-ring initial data ω0 in L^∞ with ω0/r in L^{3,q} for q>1, then derives the forward ODE cascade for amplitudes and aspect ratios directly from the axisymmetric Euler vorticity equation, Biot-Savart law, and incompressibility. The profile-localization argument freezes the kernel near each conical ring to exhibit geometric depletion of the stretching coefficient and a monotone productive window controlled by cone slope; these steps are obtained from the governing PDEs rather than imposed by ansatz or recovered from a fit. No quantity is defined in terms of a later prediction, no central premise rests on a self-citation chain, and the lower bound on cumulative stretching follows from the exact cascade identity without circular reduction. The result is therefore independent of its inputs and self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Biot-Savart law recovers velocity from vorticity for axisymmetric flows without swirl
- domain assumption Incompressibility forces aspect-ratio collapse of each ring as its amplitude grows
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
A key new ingredient is a profile-localization argument that freezes the relevant Biot–Savart kernel and makes this depletion explicit, enabling us to exploit a monotone “productive window” (controlled by the cone slope) together with an exact cascade identity.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the geometric self-slowdown mechanism... vortex stretching deforms the vorticity support in a way that weakens further stretching
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
-
[1]
Bedrossian, Jacob and Vicol, Vlad , title =. 2022 , pages =. doi:10.1090/gsm/225 , mrnumber =
-
[2]
Tsai, Tai-Peng , title =. 2018 , pages =. doi:10.1090/gsm/192 , mrnumber =
-
[3]
Enciso, Alberto and Garc. The. J. Math. Pures Appl. (9) , volume =. 2018 , pages =
work page 2018
- [4]
-
[5]
Finite-time singularity via multi-layer degenerate pendula for the
C. Finite-time singularity via multi-layer degenerate pendula for the. Adv. Math. , volume =. 2025 , pages =
work page 2025
-
[6]
Small scale creation for solutions of the incompressible two-dimensional
Kiselev, Alexander and. Small scale creation for solutions of the incompressible two-dimensional. Ann. of Math. (2) , volume =. 2014 , pages =
work page 2014
-
[7]
Abidi, Hammadi and Hmidi, Taoufik and Keraani, Sahbi , title =. Math. Ann. , volume =. 2010 , pages =
work page 2010
-
[8]
Azzam, Jonas and Bedrossian, Jacob , title =. Trans. Amer. Math. Soc. , volume =. 2015 , pages =
work page 2015
-
[9]
Bahouri, Hajer and Chemin, Jean-Yves , title =. Arch. Ration. Mech. Anal. , volume =. 1994 , pages =
work page 1994
-
[10]
Bernhard, Pierre and Rapaport, Alain , title =. Nonlinear Anal. , volume =. 1995 , pages =
work page 1995
-
[11]
Bourgain, Jean and Li, Dong , title =. Invent. Math. , volume =. 2015 , pages =
work page 2015
-
[12]
Bourgain, Jean and Li, Dong , title =. Int. Math. Res. Not. IMRN , volume =. 2021 , pages =
work page 2021
-
[13]
Chemin, Jean-Yves , title =
-
[14]
Finite time singularities to the
C. Finite time singularities to the. Ann. PDE , volume =. 2025 , pages =
work page 2025
-
[15]
Axisymmetric incompressible flows with bounded vorticity , journal =
Danchin, Rapha. Axisymmetric incompressible flows with bounded vorticity , journal =. 2007 , pages =
work page 2007
-
[16]
On perfect fluids with bounded vorticity , journal =
Danchin, Rapha. On perfect fluids with bounded vorticity , journal =. 2007 , pages =
work page 2007
- [17]
-
[18]
Ebin, David and Marsden, Jerrold , title =. Ann. of Math. (2) , volume =. 1970 , pages =
work page 1970
- [19]
-
[20]
Elgindi, Tarek Mohamed and Jeong, In-Jee , title =. Ann. PDE , volume =. 2017 , pages =
work page 2017
- [21]
-
[22]
Kim, Junha and Jeong, In-Jee , title =. J. Funct. Anal. , volume =. 2022 , pages =
work page 2022
-
[23]
Kato, Tosio , title =. J. Funct. Anal. , volume =. 1972 , pages =
work page 1972
-
[24]
Lichtenstein, Leon , title =. Math. Z. , volume =. 1930 , pages =
work page 1930
-
[25]
Lim, Deokwoo and Jeong, In-Jee , title =. Arch. Ration. Mech. Anal. , volume =. 2025 , pages =
work page 2025
- [26]
-
[27]
Nobili, Camilla and Seis, Christian , title =. Math. Ann. , volume =. 2022 , pages =
work page 2022
-
[28]
Saint-Raymond, Laure , title =. J. Math. Pures Appl. (9) , volume =. 2001 , pages =
work page 2001
-
[29]
Serfati, Philippe , title =. C. R. Acad. Sci. Paris S. 1995 , pages =
work page 1995
-
[30]
Shkoller, Steve , title =
-
[31]
Shirota, Toshikazu and Yanagisawa, Takeshi , title =. Proc. Japan Acad. Ser. A Math. Sci. , volume =. 1994 , pages =
work page 1994
-
[32]
Yudovich, V. I. , title =. Zh. Vychisl. Mat. Mat. Fiz. , volume =. 1963 , pages =
work page 1963
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.