---
title: Yudovich's Existence & Uniqueness Result
url: https://www.emergentmind.com/topics/yudovich-s-existence-and-uniqueness-result
type: topic
---

# Yudovich's Existence & Uniqueness Result

Yudovich's existence and uniqueness result is the foundational global well-posedness theory for the two-dimensional incompressible Euler equations in vorticity form at low regularity. In its classical form, it asserts uniqueness of weak solutions when the initial vorticity is bounded; in its generalized form, it admits mildly unbounded vorticities controlled through a growth function. Modern treatments present the theorem through transport of vorticity by a measure-preserving flow, an Osgood modulus of continuity for the induced velocity, and energy- or Lagrangian-based uniqueness arguments. Recent work has both unified and extended the classical theorem to new function spaces containing Yudovich spaces and \(BMO\), and has also clarified the boundaries of the theory through nonuniqueness constructions and variants with moving boundaries, sources and sinks, density dependence, and infinite-energy regimes [2306.08082] [2509.21121].

## 1. Classical formulation in vorticity variables

For a bounded planar domain \(\Omega\), or more generally in settings such as \(\mathbb R^2\), \(\mathbb T^2\), or a two-dimensional manifold without boundary, the 2D incompressible Euler equations are written in vorticity form as
\[
\partial_t \omega + u \cdot \nabla \omega = 0,
\qquad
u = K_\Omega[\omega],
\]
with the impermeability condition
\[
u\cdot n = 0 \quad \text{on } \partial\Omega
\]
when a boundary is present, and initial datum \(\omega|_{t=0}=\omega_0\). In the bounded-domain formulation emphasized in later Lagrangian expositions, \(K_\Omega\) is the Biot–Savart operator, written as \(u=\nabla^\perp \Delta_\Omega^{-1}\omega\) with Dirichlet boundary conditions for \(\Delta\) [2509.21121].

A weak solution in the vorticity formulation is typically required to satisfy
\[
\int_0^T \int_\Omega \big(\omega\,\partial_t\varphi + \omega\,u\cdot\nabla\varphi\big)\,dx\,dt
+ \int_\Omega \omega_0(x)\,\varphi(0,x)\,dx = 0
\]
for test functions \(\varphi\), together with the requirement that the associated flow of homeomorphisms exists and is measure-preserving [2509.21121].

The classical Yudovich theorem states that if the initial vorticity belongs to \(L^1\cap L^\infty\), then weak solutions are unique. Later formulations regard this bounded-vorticity case as the constant-growth instance of a broader Yudovich class of mildly unbounded vorticities [2306.08082]. In the notation of the 2025 Lagrangian note, the theorem can be stated as follows: for every \(\omega_0\in L^1\cap \mathbf Y_\Theta\), there exists a unique weak solution \(\omega(t)\in L^1\cap \mathbf Y_\Theta\), and the Lagrangian flow map is well-defined, smooth in time for fixed initial data, and continuous in the initial data and the domain [2509.21121].

## 2. Yudovich spaces and the Osgood criterion

The functional framework introduced by Yudovich and revisited in recent work is based on admissible growth of the \(L^p\)-norms of the vorticity. Given a non-decreasing growth function \(\Theta:(1,\infty)\to(0,\infty)\) and \(p_0>1\), one writes
\[
Y_\Theta(\Omega)
=
\left\{
\omega\in \bigcap_{p>p_0} L^p(\Omega):
\sup_{p>p_0}\frac{\|\omega\|_{L^p(\Omega)}}{\Theta(p)}<\infty
\right\}.
\]
The classical bounded-vorticity regime corresponds to \(\Theta(p)\sim 1\), so that \(Y_\Theta(\Omega)=L^\infty(\Omega)\) [2306.08082].

A parallel notation used in the Lagrangian literature is
\[
\mathbf Y_\Theta
=
\left\{
f\in L^1(\Omega):
\sup_{p>\log \mathfrak C_0}\frac{\|f\|_{L^p}}{\Theta(p)}<\infty
\right\},
\]
under the growth condition
\[
\int_{\log \mathfrak C_0}^{\infty}\frac{dp}{p\,\Theta(p)}=\infty.
\]
This integral divergence is the Osgood-type threshold ensuring that the modulus of continuity of the velocity is strong enough to generate a unique flow [2509.21121].

In uniformly localized settings, one replaces global \(L^p\) control by local control uniform over space. Crippa and Stefani define
\[
L^p_{\mathrm{ul}}(\Omega)
=
\left\{
f:
\sup_{x\in\Omega}\|f\|_{L^p(B_1(x)\cap\Omega)}<\infty
\right\},
\]
and
\[
Y^\Theta_{\mathrm{ul}}(\Omega)
=
\left\{
f:
\sup_{p\ge 1,\;x\in\Omega}
\frac{\|f\|_{L^p(B_1(x)\cap\Omega)}}{\Theta(p)}<\infty
\right\}.
\]
These spaces allow no decay condition at infinity and still support global weak solutions when combined with \(L^1\)-integrability [2110.15648].

The associated velocity modulus of continuity is explicit. In the uniformly localized Yudovich framework,
\[
\mu_\Theta(r)=
\begin{cases}
\dfrac{r(1-\log r)}{\Theta(1-\log r)} & 0<r<e^{-2},\\[1ex]
e^{-2}/\Theta(3) & r\ge e^{-2},
\end{cases}
\]
and uniqueness holds for Lagrangian weak solutions if
\[
\int^\infty \frac{dp}{p\,\Theta(p)}=+\infty
\]
and \(\mu_\Theta\) is concave [2110.15648].

## 3. Lagrangian mechanism of existence and uniqueness

The structural core of Yudovich theory is the observation that vorticity is transported by the fluid flow. If \(X_t\) denotes the particle trajectory map,
\[
\frac{d}{dt}X_t(a)=u(X_t(a),t),
\qquad
X_0(a)=a,
\]
then
\[
\omega(t,x)=\omega_0(X_t^{-1}(x)).
\]
This turns the Euler dynamics into an ODE on the space of measure-preserving homeomorphisms \(\mathcal M\),
\[
\dot X_t = V_{\omega_0,\Omega}[X_t],
\]
and makes the regularity of the velocity modulus decisive for uniqueness [2509.21121].

The proof scheme in recent Lagrangian reconstructions has several stable components. First, the Biot–Savart law maps vorticities in \(\mathbf Y_\Theta\) to velocity fields with Osgood modulus of continuity; in the bounded-vorticity case, the modulus is log-Lipschitz. Second, one sets up a Picard scheme in \(\mathcal M\) with distance \(d(X,Y)=\|X-Y\|_{L^\infty}\). Third, kernel estimates for the Biot–Savart operator yield a nonlinear Grönwall inequality controlled by an Osgood modulus. Finally, Osgood’s lemma implies that two flows that coincide initially must coincide for all later times, and therefore the transported vorticities coincide as well [2509.21121].

This approach also yields quantitative continuity of the solution map. For two initial vorticities \(\omega_0,\omega_1\in L^1\cap \mathbf Y_\Theta\) with associated flows \(X\) and \(Y\), and any \(p>2\),
\[
\nu_{\Theta}\big(d(X(t),Y(t))\big)
\le
\exp\!\big(Ct\|\omega_0\|_{L^1\cap \mathbf Y_\Theta}\big)\,
\nu_\Theta\big(C\|\omega_0-\omega_1\|_{L^1\cap L^p}\big),
\]
where \(\nu_\Theta\) is defined from the Osgood modulus \(\mu_\Theta\) [2509.21121]. In the bounded-vorticity case, the same note states that the solution map is Hölder continuous in the initial data, with a time-deteriorating modulus.

A recurrent misconception is that the theorem is purely an \(L^\infty\)-estimate for vorticity. Modern formulations show instead that the decisive object is the modulus of continuity of the induced velocity field and its Osgood character. This is why the theorem persists in generalized Yudovich spaces and in several nonclassical geometries.

## 4. Extrapolation theory, \(BMO\), and sharp Yudovich scales

A major modern reformulation of Yudovich theory is given by the extrapolation framework of “Uniqueness for 2D Euler and transport equations via extrapolation” [2306.08082]. The paper replaces the classical interpolation pair \((L^{p_0},L^\infty)\) by \((L^{p_0},BMO)\) and introduces the sharp Yudovich spaces
\[
Y^\#_\Theta(\Omega)
=
\left\{
f\in \bigcap_{p>p_0}(L^p)^\#(\Omega):
\sup_{p>p_0}\frac{\|f\|_{(L^p)^\#(\Omega)}}{\Theta(p)}<\infty
\right\},
\]
where \((L^p)^\#\) is the Strömberg–Jawerth–Torchinsky maximal function norm, with \((L^p)^\#\approx L^p\) for \(p<\infty\) and \((L^\infty)^\#=BMO\) [2306.08082].

This construction unifies and extends the classical Yudovich and Vishik results. The inclusions
\[
Y_\Theta(\Omega)\cup BMO(\Omega)\subset Y^\#_\Theta(\Omega)
\]
hold, and for \(\Theta(p)\sim 1\),
\[
Y^\#_\Theta(\mathbb T^2)=BMO(\mathbb T^2),
\qquad
Y^\#_\Theta(\mathbb R^2)=BMO(\mathbb R^2)\cap L^{p_0}(\mathbb R^2).
\]
The norm admits the characterization
\[
\|f\|_{Y^\#_\Theta(\Omega)}
\approx
\sup_{p>p_0}\frac{\|M^\# f\|_{L^p(\Omega)}}{\Theta(p)},
\]
where \(M^\#\) is the sharp maximal operator [2306.08082].

The corresponding uniqueness theorem is stated as follows: if \(\Omega=\mathbb R^2\) or \(\mathbb T^2\), and if \(\Theta\) satisfies the Osgood-type condition
\[
\int_0^1 \frac{dr}{r\,y_{\Theta_1}(r)}=\infty,
\]
then a Lagrangian weak solution of the Euler equations with initial vorticity
\[
\omega_0\in Y^\#_\Theta(\Omega)
\]
is uniquely determined by its initial value [2306.08082]. The same paper gives a velocity modulus estimate of the form
\[
|v(x)-v(y)|\le |x-y|\,y_{\Theta_1}(|x-y|)\,\|\omega\|_{Y^\#_\Theta},
\]
which supplies the Osgood continuity needed for the Lagrangian argument.

The extrapolation perspective is significant because it shows that the classical bounded-vorticity theorem is not the endpoint of the theory. In particular, the framework covers vorticity classes larger than both \(Y_\Theta\) and \(BMO\), including examples described in the paper that are in neither of those spaces but do belong to \(Y^\#_\Theta\) [2306.08082].

## 5. Geometric and physical variants

Yudovich-type well-posedness has been extended to settings where the classical impermeable-boundary, fixed-domain formulation is no longer adequate.

For flows with prescribed entering and exiting normal velocity on the boundary, Yudovich’s 1962 result established existence and uniqueness of classical solutions under Hölder vorticity. The bounded-vorticity uniqueness problem for permeable boundaries remained open until Weigant and Papin treated a rectangle, and was later extended to smooth bounded domains with multiple sources and sinks. The 2021 paper proves uniqueness of weak solutions in the Yudovich class \(L^\infty\) for arbitrary smooth domains with several internal sources and sinks by combining two energy estimates and an Osgood argument; one estimate controls the usual kinetic energy, while the second uses a harmonic test function to compensate the sign-indefinite boundary term produced by inflow and outflow [2106.11556].

In fluid–solid interaction, Glass and Sueur establish uniqueness of weak solutions for a rigid body immersed in a 2D incompressible inviscid fluid in a bounded domain, “a la Yudovich,” as long as no collision occurs. The initial vorticity is assumed in \(L^\infty\), the fluid velocity is log-Lipschitz, and the only obstruction to continuation is collision of the moving solid with the container boundary [1203.2894].

In the density-dependent incompressible Euler system, a direct adaptation of the homogeneous Yudovich theory fails because the vorticity equation contains pressure–density coupling terms. The 2025 paper “Yudovich theory under geometric regularity for density-dependent incompressible fluids” introduces the transported tangent field
\[
X:=\nabla^\perp \rho
\]
and the directional derivative
\[
\partial_X u := (X\cdot\nabla)u.
\]
It proves conditional existence and uniqueness of Yudovich-type solutions under the a priori bound
\[
\int_0^T \|\partial_X u(t)\|_{L^\infty}\,dt<+\infty.
\]
Existence is obtained as a stability-by-approximation statement for smooth solutions with uniform geometric control, and uniqueness holds among Yudovich-type solutions satisfying the same geometric bound [2506.23365]. A plausible implication is that, in the non-homogeneous setting, the classical Osgood mechanism survives only after being supplemented by anisotropic geometric regularity.

## 6. Infinite-energy extensions and sharpness of the theory

Recent work has expanded the theorem beyond finite-energy regimes while also demonstrating genuine failure below the Yudovich threshold.

The paper “Unbounded Yudovich Solutions of the Euler Equations” studies velocity fields with square-root growth \(O(|x|^{\frac12-\epsilon})\) and bounded vorticity. It replaces global \(L^2\) control by local Morrey spaces
\[
\|f\|_{L^{2,a}}
=
\sup_{R\ge 1}
\left(
R^{-2-2a}\int_{B_R}|f(x)|^2\,dx
\right)^{1/2},
\qquad 0\le a<\tfrac12,
\]
and defines
\[
Y_a
=
\left\{
u\in L^{2,a}(\mathbb R^2;\mathbb R^2):
\nabla\cdot u=0,\;
\|\operatorname{curl}u\|_{L^\infty}<\infty
\right\}.
\]
For \(u_0\in Y_a\), the paper proves global existence and uniqueness, continuity of the solution map on bounded-vorticity balls, and a canonical pressure selection under the far-field condition
\[
u(t)-u(0)\in \mathcal S'_h
\]
for all \(t\ge 0\) [2410.05054]. This extends Yudovich theory to infinite-energy classes compatible with Galilean invariance.

By contrast, the paper “Nonuniqueness of solutions to the Euler equations with vorticity in a Lorentz space” proves that the classical uniqueness theorem cannot be extended to vorticity merely in the Lorentz space \(L^{1,\infty}\). It constructs a nontrivial solution
\[
u\in C^0([0,1];L^2(\mathbb T^2))
\]
with
\[
\omega=\operatorname{curl}u\in C^0([0,1];L^{1,\infty}(\mathbb T^2)),
\qquad
u(0,\cdot)=0,
\]
showing that distinct solutions can emerge from the same initial data in this class [2108.09469]. The construction uses convex integration and intermittent-jet-type building blocks.

Taken together, these results indicate that Yudovich’s theorem is both robust and delicate. It is robust under substantial enlargement of the admissible phase space—localized spaces, extrapolation scales, certain permeable boundaries, moving rigid bodies, and some infinite-energy regimes—but delicate with respect to endpoint integrability. This suggests that the decisive issue is not boundedness of vorticity in isolation, but whether the induced velocity retains an Osgood-continuous Lagrangian flow in the relevant geometry.

Source: https://www.emergentmind.com/topics/yudovich-s-existence-and-uniqueness-result