🔢 mathematics

Global well-posedness for the incompressible Euler equations in an endpoint Sobolev space

This paper establishes the global well-posedness of the incompressible Euler equations in the endpoint critical Sobolev spaces $W^{2,1}(\mathbb{R}^2)$ and $W^{3,1}(\mathbb{R}^3)$ for axisymmetric flows without swirl, thereby contrasting with known ill-posedness results in other critical Sobolev spaces.

Original authors: Raphaël Danchin, In-Jee Jeong

Published 2026-07-21

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Raphaël Danchin, In-Jee Jeong

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe as a giant, invisible ocean made of air or water, flowing and swirling without ever getting squished or stretched out of shape. This is the world of "incompressible fluids," a playground for mathematicians and physicists trying to predict how these fluids move. At the heart of this mystery are tiny, invisible whirlpools called "vortices." Think of a vortex like a spinning top made of fluid; it carries the energy of the flow. The big question scientists have been asking for over a century is: if we know how these whirlpools start, can we always predict exactly how they will spin and move in the future? Sometimes, the math gets so tangled that the prediction breaks down, and the fluid seems to do something impossible, like spinning infinitely fast in a split second. This is called "ill-posedness," and it's the mathematical equivalent of a story where the plot suddenly makes no sense.

For a long time, mathematicians knew that if the fluid was very smooth and well-behaved, the story continued forever. But they also discovered that if the fluid was a little bit rough or "critical" (meaning it was right on the edge of being too messy), the story could fall apart. Recently, researchers found that for most types of "rough" fluids, the story does break down; the math predicts chaos almost immediately. However, there was one special, tricky type of roughness left over at the very end of the list—a specific kind of mathematical "roughness" called the $W^{d,1}$ space. No one knew if the story would hold together or collapse for this specific case. It was the final boss of the fluid math world, and the rules were unclear.

This paper, written by Raphaël Danchin and In-Jee Jeong, steps into that final boss arena to see if the story can actually survive. They tackle the problem in two different dimensions: a flat, 2D world (like a sheet of paper) and our real, 3D world.

In the 2D world, they prove that the story definitely continues forever. Even if the initial whirlpools are in that tricky, rough state, they prove that the fluid's behavior remains predictable for all time. They show that the "roughness" doesn't get worse; it just gets carried along by the flow, like a leaf floating down a river. While the math gets complicated, the result is a guarantee: the fluid won't suddenly explode into chaos.

The 3D world is much more dangerous. In three dimensions, fluids have a nasty habit called "stretching," where a whirlpool can get pulled thin and long, like taffy, which can make it spin faster and faster until it breaks the math. Usually, this stretching causes the story to fall apart. However, the authors focus on a special kind of 3D flow called "axisymmetric without swirl." Imagine a spinning top that spins perfectly straight up and down, without any wobble or sideways spinning. In this specific, highly organized scenario, the authors prove that the fluid also survives forever. They show that even with the dangerous stretching, the special geometry of the flow keeps the "roughness" under control.

Crucially, this paper also tells us what doesn't work. For years, mathematicians tried to break the math by using these same "no-swirl" flows to show that the story falls apart. This paper proves that those strategies fail for this specific type of roughness. The "no-swirl" trick, which usually causes chaos in other situations, actually acts as a safety net here, keeping the fluid stable.

However, the authors are careful to note that they haven't solved the entire 3D problem. They only solved it for the perfectly straight, no-wobble flows. If the fluid has any wobble or swirl, the question of whether it stays predictable or breaks down is still an open mystery. They haven't found a way to prove it works for the messy, wobbly 3D case yet. But for the straight-spinning case, they have successfully shown that the math holds together, proving that even in the most critical, rough conditions, nature can sometimes keep its cool.

Technical Summary: Global Well-Posedness for the Incompressible Euler Equations in an Endpoint Sobolev Space

Problem Statement
The paper addresses the initial value problem for the incompressible Euler equations in $\mathbb{R}^d$ ( $d=2,3$ ), specifically focusing on the vorticity formulation. The central challenge lies in establishing well-posedness in the critical Sobolev space $W^{d,1}(\mathbb{R}^d)$ . This space is "endpoint" critical because it is the only space within the family of critical Sobolev spaces $W^{d/p,p}$ where the vorticity $\omega \in W^{d/p,p}$ implies that the velocity field $u$ belongs to the Lipschitz space $C^{0,1}$ .

Prior to this work, the well-posedness of the Euler equations in critical Sobolev spaces $W^{d/p,p}$ for $1 < p < \infty$ was known to be false (strongly ill-posed) due to the work of Bourgain and Li. Their ill-posedness results relied on constructing initial data where the velocity gradient becomes unbounded in $C^{0,1}$ . However, the endpoint case $p=1$ remained open because the condition $\omega \in W^{d,1}$ inherently guarantees $u \in C^{0,1}$ , rendering the Bourgain-Li strategy inapplicable. While local well-posedness in $W^{2,1}(\mathbb{R}^2)$ was recently established by Cozzi and Harrison, global propagation of regularity in this space, as well as the corresponding 3D case, had not been proven.

Methodology
The authors employ a combination of transport estimates, harmonic analysis in Lorentz and Besov spaces, and specific structural properties of axisymmetric flows.

Functional Framework: The proofs rely heavily on the continuous embedding of $W^{d,1}(\mathbb{R}^d)$ into the Besov space $\dot{B}^0_{\infty,1}(\mathbb{R}^d)$ . Controlling the $\dot{B}^0_{\infty,1}$ norm is crucial as it provides control over the Lipschitz norm of the velocity.
Two-Dimensional Case: The analysis utilizes the fact that in 2D, vorticity is simply transported by the flow ( $\partial_t \omega + u \cdot \nabla \omega = 0$ $\partial_{t} ω + u \cdot \nabla ω = 0$ ). The authors combine:
- Global propagation of $\dot{B}^0_{\infty,1}$ regularity (based on Vishik's results).
- Transport estimates for higher-order derivatives in $L^1$ and Lorentz spaces ( $L^{2,1}$ ).
- Logarithmic interpolation inequalities and Grönwall's lemma to bound the growth of norms.
Three-Dimensional Axisymmetric Case (No Swirl): The 3D Euler equations contain a vortex stretching term ( $\omega \cdot \nabla u$ $ω \cdot \nabla u$ ) which typically causes difficulties. The authors restrict the problem to axisymmetric flows without swirl. In cylindrical coordinates, the vorticity takes the form $\omega = \omega_\theta e_\theta$ $ω = ω_{θ} e_{θ}$ , and the quantity $\alpha = \omega_\theta/r$ $α = ω_{θ} / r$ satisfies a pure transport equation ( $\partial_t \alpha + u \cdot \nabla \alpha = 0$ $\partial_{t} α + u \cdot \nabla α = 0$ ).
- This structure allows $\alpha$ to be conserved in $L^{3,1}$ (a Lorentz space).
- The authors establish that $\omega_0 \in W^{3,1}$ implies $\alpha_0 \in L^{3,1}$ and $\nabla \omega_0 \in L^{3,1}$ .
- They derive a priori estimates for $\nabla \omega$ , $\nabla^2 \omega$ , and $\nabla^3 \omega$ by differentiating the transport equations and carefully estimating the nonlinear terms using the specific algebraic structure of axisymmetric derivatives (e.g., handling terms like $\partial_r(r^{-1}u_r)$ via commutator formulas).

Key Contributions and Results

Global Well-Posedness in 2D ( $W^{2,1}$ ):
The authors prove that if the initial vorticity $\omega_0 \in W^{2,1}(\mathbb{R}^2)$ , then there exists a unique global solution $\omega \in C(\mathbb{R}_+; W^{2,1}(\mathbb{R}^2))$ .
- The solution maintains regularity in $\dot{B}^0_{\infty,1}$ and $\nabla \omega \in C(\mathbb{R}_+; L^{2,1})$ .
- The norms grow at most exponentially in time, while the $L^1$ norm of the second derivatives ( $\|\nabla^2 \omega\|_{L^1}$ ) and the Lorentz norm of the gradient ( $\|\nabla \omega\|_{L^{2,1}}$ ) exhibit double exponential growth.
Global Well-Posedness in 3D Axisymmetric No-Swirl ( $W^{3,1}$ ):
For axisymmetric flows without swirl, if $\omega_0 \in W^{3,1}(\mathbb{R}^3)$ , the paper proves the existence of a unique global solution.
- The solution preserves the regularity $\omega \in C(\mathbb{R}_+; \dot{B}^0_{\infty,1})$ , $\nabla \omega \in C(\mathbb{R}_+; L^{3,1})$ , $\nabla^2 \omega \in C(\mathbb{R}_+; L^{3/2,1})$ , and $\nabla^3 \omega \in C(\mathbb{R}_+; L^1)$ .
- Similar to the 2D case, the growth of the norms is at most double exponential in time.

Significance and Claims
The paper claims that these results stand in "stark contrast" to the strong ill-posedness results known for $W^{d/p,p}$ with $1 < p < \infty$ . Specifically:

Failure of Ill-Posedness Strategies: The authors demonstrate that the strategies used by Bourgain and Li to prove ill-posedness (which rely on velocity gradients becoming unbounded in $C^{0,1}$ ) cannot work for the endpoint space $W^{d,1}$ because the velocity is inherently Lipschitz continuous in this space.
Sharpness of Lorentz Spaces: In the 3D axisymmetric case, the result highlights the critical role of the Lorentz space $L^{3,1}$ . The paper notes that recent work by Bang and Cheskidov shows that if one relaxes the condition to $L^{3,q}$ with $q > 1$ , strong ill-posedness returns. Thus, the $L^{3,1}$ assumption is sharp for global regularity in this setting.
Open Problems: The authors modestly state that the question of well-posedness for general (non-axisymmetric) $W^{3,1}(\mathbb{R}^3)$ vorticity remains open. While they can establish local strong solutions and conserve Besov regularity, propagating the $L^1$ regularity of the third derivatives for general 3D flows is a challenging open question they plan to address in future work. Additionally, the well-posedness of the velocity equation in $W^{d+1,1}$ is noted as an open problem, distinct from the vorticity problem.

In summary, the paper establishes that the endpoint critical Sobolev space $W^{d,1}$ is a regime where the incompressible Euler equations are globally well-posed for 2D flows and 3D axisymmetric flows without swirl, overcoming the difficulties that lead to ill-posedness in other critical spaces.

Technical Summary: Global Well-Posedness for the Incompressible Euler Equations in an Endpoint Sobolev Space

More like this