Pith. sign in

REVIEW 4 minor 1 cited by

Geometric blow-up criteria for the non-homogeneous incompressible Euler equations in 2-D

T0 review · 0 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read A single directional derivative along density level lines controls blow-up for 2-D density-dependent Euler flows.

desk verdict A genuinely new geometric continuation criterion for 2-D inhomogeneous Euler, built on a clever new unknown and two useful interpolation lemmas; the proof is sound and the only real caveat is the explicit no-vacuum scope. read the letter →

arxiv 2502.10024 v1 pith:EUOKJXF2 submitted 2025-02-14 math.AP

classification math.AP MSC 35Q3135B6076B70
keywords incompressibleEulerequationsvariabledensityblow-upcriterioncontinuationdirectionalderivativeBesovspaceslogarithmictwo-dimensionalfluiddynamics
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes geometric blow-up and continuation criteria for the two-dimensional incompressible Euler equations with variable density, a system for which global well-posedness is not known. The central claim is that, instead of controlling the full gradient of the velocity $u$, it suffices to control the derivative of $u$ along the single direction $X=\nabla^\perp\rho$, the tangent to the level lines of the density $\rho$. In subcritical Besov regularity, integrability of $\|\partial_X u\|_{L^\infty}$ in time guarantees continuation; at critical regularity, a pointwise bound on $\|\partial_X u\|_{B^0_{\infty,1}}$ does the same without losing derivatives. The proof introduces a new unknown, the momentum vorticity $\eta=\mathrm{curl}(\rho u)$, whose transport equation is free of the pressure and driven exactly by $\partial_X u\cdot u$. Since $X\equiv 0$ for constant density, the classical global well-posedness of homogeneous 2-D Euler is recovered as a special case.

What carries the argument

The two ingredients that carry the argument are the transported vector field $X=\nabla^\perp\rho$, which satisfies $\partial_t X+u\cdot\nabla X=\partial_X u$, and the momentum vorticity $\eta=\mathrm{curl}(\rho u)$, which satisfies $\partial_t\eta+u\cdot\nabla\eta=\partial_X u\cdot u$. Taking the curl of the momentum equation removes the pressure, so regularity of $\eta$ can be propagated from the geometric quantity $\partial_X u$. The reconstruction of $\nabla u$ uses the Helmholtz decomposition of the momentum $m=\rho u$, with singular integrals controlled in $B^0_{\infty,1}$; logarithmic Besov spaces supply interpolation inequalities that avoid any loss of derivatives in the critical case, while improved transport estimates give bounds on $X$ and $\eta$ growing only linearly with the Lipschitz norm of $u$.

What would settle it

Any concrete smooth solution with no vacuum and finite lifespan whose directional norms remain bounded would falsify the criteria: in the subcritical case, $\int_0^{T^*}\|\partial_{X(t)}u(t)\|_{L^\infty}\,dt<\infty$ despite $T^*<\infty$; in the critical case, $\limsup_{t\to T^*}\|\partial_{X(t)}u(t)\|_{B^0_{\infty,1}}<\infty$. Numerically, this amounts to tracking $\partial_X u$ along a family of solutions approaching a suspected singularity and checking whether the directional norm diverges at the blow-up time.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is Theorem 1.3: if a smooth solution of the density-dependent Euler system on $\mathbb{R}^2$ has finite lifespan $T^*<\infty$, then, with $X(t)=\nabla^\perp\rho(t)$, the subcritical case must satisfy $\int_0^{T^*}\|\partial_{X(t)}u(t)\|_{L^\infty}\,dt=\infty$, and the critical case must satisfy $\limsup_{t\to T^*}\|\partial_{X(t)}u(t)\|_{B^0_{\infty,1}}=\infty$. This is proved by contraposition as continuation criteria (Theorems 1.7 to 1.9): control of only the directional derivative along $X$ up to time $T$ lets the solution be extended beyond $T$ with the same Besov regularity. Because $X$ is transported by the flow and vanishes when $\rho$ is constant, the result also confirms that singularities cannot form inside regions of constant density.

Load-bearing premise

The load-bearing premise is that the density is bounded away from zero everywhere ($0<\rho_*\le\rho_0\le\rho^*$); the proof divides by $\rho$, solves the pressure equation by Lax-Milgram, recovers $u$ from $\rho u$, and propagates Besov bounds, and all of these steps fail if vacuum regions appear.

Editorial extensions

If this is right

  • A subcritical solution continues past time $T$ as soon as $\int_0^T\|\partial_{X(t)}u(t)\|_{L^\infty}\,dt<\infty$.
  • A critical solution continues past $T$ under the pointwise bound $\sup_{t\in[0,T)}\|\partial_{X(t)}u(t)\|_{B^0_{\infty,1}}<\infty$, with no loss of derivatives.
  • At critical regularity, the weaker integral condition involving both $\partial_X u$ and $\partial_X |u|^2$ in $B^0_{\infty,1}$ also guarantees continuation.
  • For constant density, $X\equiv 0$, so the criteria never trigger and the homogeneous 2-D Euler equations are globally well-posed.
  • Any finite-time singularity must drive the directional derivative along the density's level lines to blow up, so regions of constant density cannot host singularities.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Beyond the paper: the same pressure-free momentum-vorticity trick may transfer to other 2-D inhomogeneous fluid models, such as damped or slightly viscous variants, where a similar transport equation for $\mathrm{curl}(\rho u)$ holds; this is not established here.
  • The paper leaves open whether a single scalar quantity, a true Beale-Kato-Majda analogue, could replace $\partial_X u$ entirely; a first test would be whether controlled vorticity $\omega$ and controlled density gradients can still produce a singularity.
  • The no-vacuum assumption is intrinsic to the method: if solutions with vacuum regions are allowed, the stated criteria are not proven, and a different geometric mechanism may be needed.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper establishes geometric blow-up and continuation criteria for the 2-D incompressible Euler equations with variable density, under the no-vacuum condition 0<ρ*≤ρ0≤ρ*. The main result (Theorem 1.3) states that a finite lifespan forces the L1-in-time norm of ∂_{∇⊥ρ}u to blow up in the subcritical Besov case, and the limsup of the B0_{∞,1} norm of ∂_{∇⊥ρ}u to blow up in the critical case. The proof is by contraposition: under suitable control of only the directional derivative along X=∇⊥ρ, the solution is continued past the given time. The novelty is to study the equation for X=∇⊥ρ together with a new unknown η=curl(ρu), which satisfies a transport equation whose right-hand side is exactly ∂_X u·u. The critical case relies on improved transport estimates in B0_{∞,1} and two new logarithmic interpolation inequalities.

Significance. If correct, this is a substantial advance: it replaces the known continuation condition ∫‖∇u‖_{L∞}<∞ by control of ∇u only along one geometric direction, namely the tangent direction to the density level sets. The proof is well structured: equations (10) and (11) make the geometric quantity appear naturally, the subcritical argument is clean and uses an Osgood-type bound, and the critical argument is nontrivial because B0_{∞,1} is not an algebra. The paper also provides useful new interpolation lemmas in logarithmic Besov spaces. The no-vacuum condition is explicitly stated and used in a transparent way, so the scope restriction is clear and not a hidden flaw. The dependence on Proposition 1.2 and Lemma 3.12 of the author's earlier work [5] is also explicitly identified.

minor comments (4)
  1. [Section 4.3, around Eq. (56)] The passage from the estimate containing ‖u‖_{L∞} log(e+U′(τ)/‖u‖_{L∞}) to Eq. (56) is too terse. The monotonicity of β(z)=z log(e+c/z) alone does not directly remove the factor ‖u‖_{L∞}; one should add the elementary bound ‖u(t)‖_{L∞} log(e+U′(τ)/‖u(t)‖_{L∞}) ≤ C(1+log(e+U′(τ))), which follows from the uniform upper bound in (32). Since the inequality is elementary and the constant can be absorbed in the already implicit constants, this is a clarification rather than a conceptual gap.
  2. [Section 4, first paragraph] The sentence 'Theorem 1.9 in fact implies Theorem 1.8' is logically inaccurate, since condition (9) is stronger than condition (8). What is meant is that the proof of Theorem 1.9 can be adapted to prove Theorem 1.8; please rephrase to avoid confusion.
  3. [Section 4.3] There is a typo in the heading 'Bouns for the non-linear term ∂_X u·u'; it should read 'Bounds for the non-linear term ∂_X u·u'. There are also minor spelling issues such as 'simplfy' in the same section.
  4. [Introduction and notation] The symbol 'Tℓif e' appears garbled in several places (e.g., the introduction and Section 1.2); this is likely a font/encoding issue and should be fixed to 'T_life' or the intended notation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the directional continuation criteria are derived from transport identities and independent Besov estimates.

full rationale

Walking the derivation chain of Theorems 1.7, 1.8, 1.9 and their contrapositive Theorem 1.3, I find no step in which a claimed prediction or result reduces by construction to its inputs. The directional quantity ∂X u is not fitted or defined in terms of the conclusion: X=∇^⊥ρ is the transported vector field solving equation (23), and ∂X u appears as the actual source term in the transport equations (23) and (26) for X and η=curl(ρu). The new unknown η is an identity-level reformulation, not a renamed version of the blow-up criterion. In the subcritical proof, the bound ‖∇u‖_{L∞} ≲ log(e+N) is derived from the boundedness of ω, which itself follows from the assumed control of ∂X u through η, and the argument closes via Grönwall/Osgood; no estimate presupposes the desired continuation. In the critical case, the proof reduces, via the previously established Proposition 1.2, to proving ∫‖∇u‖_{L∞}<∞, and then estimates the singular-integral representation (42), (29) using Theorem 2.13 and the interpolation Lemmas 2.5 and 2.6, both proven in the paper. The self-citations to [5], [16], [17], [18], and [10] are prior results used as tools with hypotheses stronger than or independent of the geometric criterion being proved; they do not smuggle in the conclusion. In particular, Proposition 1.2 is a classical-type continuation criterion requiring full Lipschitz control, so its use as a reduction step is not circular. The no-vacuum condition (A2), used to divide by ρ and to convert bounds on m=ρu into bounds on u, is an explicit, stated scope restriction rather than a hidden circular assumption. No fitted parameters, no prediction that reduces to an input, and no conclusion used in its own proof. Verdict: no significant circularity; score 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no fitted parameters and no new physical entities. The new object η=curl(ρu) is a definition derived from the momentum, not an extra postulate.

assumptions (4)
  • domain assumption Absence of vacuum: 0<ρ_*≤ρ0≤ρ* (assumption (A2), equation (3)).
    Used throughout: division by ρ in the momentum equation, the Lax-Milgram step for the pressure, and the bound ‖u‖_{L∞}≲‖ρu‖_{L∞} depend on a strictly positive density.
  • domain assumption Besov regularity and embedding assumptions (A1), (A3), (A4).
    Ensure local well-posedness via Theorem 1.1 and the a priori bounds in Sections 3 and 4.
  • standard math Littlewood-Paley, paraproduct and transport estimates from [2], [17], [21], [26].
    These external theorems are used without proof, including Theorem 2.12, Theorem 2.13, Proposition 2.8, Theorem 2.10.
  • standard math Osgood lemma and logarithmic interpolation inequalities.
    Used to close the bootstrap for N(t) and U(t).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Geometric blow-up criteria for the non-homogeneous incompressible Euler equations in 2-D." pith.science (2026). https://pith.science/paper/EUOKJXF2

@misc{pith2026250210024,
  author       = {Pith},
  title        = {Pith review of: Geometric blow-up criteria for the non-homogeneous incompressible Euler equations in 2-D},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EUOKJXF2}},
  note         = {Machine review of arXiv:2502.10024}
}
abstract

This paper concerns the study of the incompressible Euler equations with variable density, in the case of space dimension $d=2$. Contrarily to their homogeneous (constant density) counterpart, those equations are not known to be well-posed globally in time. A classical blow-up/continuation criterion for smooth solutions relies on the control of the Lipschitz norm of the velocity field $u$. Here we show that, for establishing blow-up or continuation of solutions, it is enough to determine a control of $\nabla u$ only along the direction $X=\nabla^\perp\rho$, where $\rho$ represents the density of the fluid. Our results deal with both the subcritical regularity and critical regularity frameworks. They rely on a novel approach to study regularity of solutions for the density-dependent incompressible Euler equations. Besides, they allow to recover the global well-posedness for $\rho\equiv {\rm cst}$ as a particular case.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Yudovich theory under geometric regularity for density-dependent incompressible fluids

    math.AP 2025-06 conditional novelty 6.0 of 10

    Assuming a geometric directional derivative remains controlled, smooth approximations converge to Yudovich-type weak solutions of the 2D density-dependent Euler equations, and such solutions are unique.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [5]

    Bravin, F

    M. Bravin, F. Fanelli: Global existence for non-homogeneous incompressible invi scid fluids in pres- ence of Ekman pumping . Commun. Contemp. Math., accepted for publication (2025). 29

  2. [1]

    H. Bae, W. Lee, J. Shin: A blow-up criterion for the inhomogeneous incompressible Eul er equations. Nonlinear Anal., 196 (2020), 111774, 9 pp

  3. [2]

    Fourier analysis and nonlinear partial differential equa- tions

    H. Bahouri, J.-Y. Chemin, R. Danchin: “Fourier analysis and nonlinear partial differential equa- tions”. Grundlehren der mathematischen Wissenschaften [Fundame ntal Principles of Mathematical Sciences], 343. Springer, Heidelberg, 2011

  4. [3]

    J. T. Beale, T. Kato, A. J. Majda: Remarks on the breakdown of smooth solutions for the 3-D Euler equations. Comm. Math. Phys., 94 (1984), n. 1, 61-66

  5. [4]

    Bony: Calcul symbolique et propagation des singularités pour les é quations aux dérivées par- tielles non linéaires

    J.-M. Bony: Calcul symbolique et propagation des singularités pour les é quations aux dérivées par- tielles non linéaires . Ann. Sci. École Norm. Sup., 14 (1981), n. 2, 209-246

  6. [6]

    Chemin: Sur le mouvement des particules d’un fluide parfait incompress ible bidimensionel

    J.-Y. Chemin: Sur le mouvement des particules d’un fluide parfait incompress ible bidimensionel . Invent. Math., 103 (1991), n. 3, 599-629

  7. [7]

    Chemin: Persistance des structures géométriques liées aux poches de to urbillon

    J.-Y. Chemin: Persistance des structures géométriques liées aux poches de to urbillon. Ann. Sci. Éc. Norm. Supér., 26 (1993), n. 4, 1-26

  8. [8]

    Fluides parfaits incompressibles

    J.-Y. Chemin: “Fluides parfaits incompressibles” . Astérisque, 230, 1995

Show all 27 references
  1. [9]

    Q. Chen, D. Wei, P. Zhang, Z. Zhang: Nonlinear inviscid damping for 2-D inhomogeneous incom- pressible Euler equations . Submitted (2023), arxiv preprint 2303.14858v1

  2. [10]

    Colombini, D

    F. Colombini, D. Del Santo, F. Fanelli, G. Métivier: The well-posedness issue in Sobolev spaces for hyperbolic systems with Zygmund-type coefficients. . Comm. Partial Differential Equations, 40 (2015), n. 11, 2082-2121

  3. [11]

    Colombini, G

    F. Colombini, G. Métivier, The Cauchy problem for wave equations with non-Lipschitz co efficients; application to continuation of solutions of some nonlinear wave equations . Ann. Sci. Éc. Norm. Supér. (4), 41 (2008), n. 2, 177-220

  4. [12]

    Constantin, C

    P. Constantin, C. Fefferman: Direction of vorticity and the problem of global regularity fo r the Navier-Stokes equations. Indiana Univ. Math. J., 42 (1993), n. 3, 775-789

  5. [13]

    Constantin, C

    P. Constantin, C. Fefferman, A. J. Majda: Geometric constraints on potentially singular solutions for the 3-D Euler equations . Comm. Partial Differential Equations, 21 (1996), n. 3-4, 559-571

  6. [14]

    Danchin: The inviscid limit for density-dependent incompressible fl uids

    R. Danchin: The inviscid limit for density-dependent incompressible fl uids. Ann. Fac. Sci. Toulouse Math. (6), 15 (2006), n. 4, 637-688

  7. [15]

    Danchin: On the well-posedness of the incompressible density-depen dent Euler equations in the Lp framework

    R. Danchin: On the well-posedness of the incompressible density-depen dent Euler equations in the Lp framework. J. Differential Equations, 248 (2010), n. 8, 2130-2170

  8. [16]

    Danchin, F

    R. Danchin, F. Fanelli: The well-posedness issue for the density-dependent Euler e quations in end- point Besov spaces . J. Math. Pures Appl. (9), 96 (2011), n. 3, 253-278

  9. [17]

    Mathematical analysis of models of non-homogeneous fluids and of hyperbolic operators with low-regularity coefficients

    F. Fanelli: “Mathematical analysis of models of non-homogeneous fluids and of hyperbolic operators with low-regularity coefficients” . Ph.D. thesis, Scuola Internazionale Superiore di Studi A v anzati (Trieste, Italy) and Université Paris-Est (Créteil, Franc e), 2012

  10. [18]

    Fanelli: Conservation of geometric structures for non-homogeneous inv iscid incompressible fluids

    F. Fanelli: Conservation of geometric structures for non-homogeneous inv iscid incompressible fluids . Comm. Partial Differential Equations, 37 (2012), n. 9, 1553-1595

  11. [19]

    Fanelli, E

    F. Fanelli, E. Feireisl: Some remarks on steady solutions to the Euler system in Rd. Appl. Math. Lett., 116 (2021), Paper n. 107031

  12. [20]

    Fanelli, R

    F. Fanelli, R. Granero-Belinchón, S. Scrobogna: Well-posedness and singularity formation for the Kolmogorov two-equation model of turbulence in 1-D . J. Math. Pures Appl. (9), 187 (2024), 58-137

  13. [21]

    Hmidi, S

    T. Hmidi, S. Keraani: Incompressible viscous flows in borderline Besov spaces . Arch. Ration. Mech. Anal., 189 (2008), n. 2, 283-300

  14. [22]

    Vorticity and incompressible flow

    A. J. Majda, A. L. Bertozzi: “Vorticity and incompressible flow” . Cambridge Texts Appl. Math., 27 Cambridge University Press, Cambridge, 2002

  15. [23]

    Para-differential calculus and applications to the Cauchy problem for nonlinear sys- tems

    G. Métivier: “Para-differential calculus and applications to the Cauchy problem for nonlinear sys- tems”. CRM Series, 5. Edizioni della Normale, Pisa, 2008

  16. [24]

    Meyer, C

    D. Meyer, C. Seis: Propagation of regularity for transport equations. A Littlew ood-Paley approach. Indiana Univ. Math. J., 73 (2024), n. 2, 445-472

  17. [25]

    Paicu, P

    M. Paicu, P. Zhang: Striated regularity of 2-D inhomogeneous incompressible Nav ier-Stokes system with variable viscosity . Comm. Math. Phys., 376 (2020), n. 1, 385-439

  18. [26]

    Vishik: Hydrodynamics in Besov spaces

    M. Vishik: Hydrodynamics in Besov spaces . Arch. Ration. Mech. Anal., 145 (1998), n. 3, 197-214

  19. [27]

    Wolibner: Un théorème d’existence du mouvement plan d’un fluide parfait , homogène, incom- pressible, pendant un temps infiniment long

    W. Wolibner: Un théorème d’existence du mouvement plan d’un fluide parfait , homogène, incom- pressible, pendant un temps infiniment long . Math. Z., 37 (1933), n. 1, 698-726. 30

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.