Second Kelvin–Arnol'd Stability Theorem

• The Second Kelvin–Arnol'd Stability Theorem is a criterion that quantifies nonlinear (Lyapunov) stability of steady ideal fluid flows using energy–Casimir functionals and sharp spectral bounds.
• It extends Arnold's original framework by incorporating functional-analytic bounds and Poincaré-type inequalities to account for complex flow geometries in bounded and multiply-connected domains.
• Applications of the theorem include algebraic stability tests for axisymmetric flows and explicit variational characterizations, providing practical insights into stability boundaries in fluid dynamics.

The Second Kelvin–Arnol’d Stability Theorem provides a quantitative criterion for the nonlinear (Lyapunov) stability of steady flows in two-dimensional ideal fluids under the Euler equations. This result extends Arnold's energy–Casimir stability framework and refines classical criteria by incorporating sharp functional-analytic bounds related to the geometry of the domain and the spectral properties of associated elliptic operators. The theorem is applicable to bounded domains—both simply- and multiply-connected—and yields powerful sufficient conditions that are directly verified by spectral data or Poincaré-type inequalities. Generalizations include axisymmetric flows in annular and pipe geometries, where the theorem admits concise algebraic stability tests.

1. Mathematical Formulation and Main Statement

Let $D \subset \mathbb{R}^2$ be a smooth bounded domain with $N+1$ boundary components $\Gamma_0$ (outer) and $\Gamma_1,\dots,\Gamma_N$ (inner). A steady incompressible ideal flow is characterized by a stream function $\psi^s$ and vorticity $\omega^s$ related through

$-\Delta\psi^s = \omega^s = g(\psi^s)$

with $g \in C^1(\mathbb{R})$, $\psi^s|_{\Gamma_i} = \text{const}$ for each $i$, and $N+1$0. The key quantity is $N+1$1 and the central assertion is:

Arnol'd's Second Stability Theorem

Suppose that

$N+1$2

with $N+1$3. Then the steady flow $N+1$4 is nonlinearly Lyapunov stable: for any Euler solution with initial data $N+1$5 sufficiently close to $N+1$6 in $N+1$7 norm, $N+1$8 remains in an arbitrary $N+1$9 neighborhood of $\Gamma_0$0 for all $\Gamma_0$1 (Wang et al., 11 May 2025).

A crucial refinement is that $\Gamma_0$2 can be chosen as the first eigenvalue $\Gamma_0$3 of $\Gamma_0$4 in the space of mean-zero functions with piecewise constant boundary values.

2. Functional-Analytic and Variational Framework

The theorem is cast in a precise functional-analytic setting. The stream function spaces are defined as

$\Gamma_0$5

$\Gamma_0$6

For any $\Gamma_0$7 and any circulation vector $\Gamma_0$8, the elliptic boundary value problem $\Gamma_0$9 admits a unique solution $\Gamma_1,\dots,\Gamma_N$0, naturally identifying a bounded, linear operator $\Gamma_1,\dots,\Gamma_N$1.

The stability condition is reformulated via the energy–Casimir functional: $\Gamma_1,\dots,\Gamma_N$2 where $\Gamma_1,\dots,\Gamma_N$3 encodes boundary circulations and $\Gamma_1,\dots,\Gamma_N$4 is a symmetric matrix on circulation space. The rearrangement class $\Gamma_1,\dots,\Gamma_N$5 is preserved by the flow, and stability is deduced by showing that $\Gamma_1,\dots,\Gamma_N$6 (or its affine orbit) uniquely maximizes $\Gamma_1,\dots,\Gamma_N$7 over $\Gamma_1,\dots,\Gamma_N$8.

3. Spectral Sharpness and the Role of $\Gamma_1,\dots,\Gamma_N$9

The maximal allowable $\psi^s$0 is characterized via eigenvalues of a compact, self-adjoint operator $\psi^s$1 derived from $\psi^s$2. Specifically,

$\psi^s$3

acting on $\psi^s$4 (mean-zero functions). The Laplacian eigenproblem $\psi^s$5 on $\psi^s$6 corresponds to $\psi^s$7 in $\psi^s$8, yielding eigenvalues $\psi^s$9.

The sharpness is exhibited in the unit disk by constructing a steady flow with $\omega^s$0 (where $\omega^s$1, $\omega^s$2 being the first zero of $\omega^s$3). Instability is seen for non-circular flows attaining $\omega^s$4, while a continuum of maximizers persists within the same rearrangement class (Wang et al., 11 May 2025).

4. Generalizations to Multiply-Connected and Axisymmetric Domains

Recent extensions establish the theorem for multiply-connected planar domains $\omega^s$5 with independent circulation invariants. The criteria are relaxed from pointwise bounds on $\omega^s$6 to the quadratic form condition

$\omega^s$7

which is stable under weak convergence (Wang et al., 2022). Perturbations need not preserve all individual circulations, in contrast to the original theorem.

For axisymmetric flows in annuli or pipes, the theorem is recast as an explicit algebraic criterion. Given base flow $\omega^s$8, azimuthal wavenumber $\omega^s$9, and axial wavenumber $-\Delta\psi^s = \omega^s = g(\psi^s)$0, the stability condition reads: $-\Delta\psi^s = \omega^s = g(\psi^s)$1 where $-\Delta\psi^s = \omega^s = g(\psi^s)$2 and $-\Delta\psi^s = \omega^s = g(\psi^s)$3 is a geometry-dependent constant (Poincaré-type). The KA-II criterion strictly enlarges the stable region compared to the Batchelor–Gill result (KA-I), and is shown to tightly bracket numerically computed neutral surfaces (Deguchi et al., 25 Jan 2026).

5. Energy–Casimir Variational Methodology

The proof exploits the energy–Casimir functional and its maximization on rearrangement classes. For

$-\Delta\psi^s = \omega^s = g(\psi^s)$4

the second variation for an admissible perturbation, represented by a stream function $-\Delta\psi^s = \omega^s = g(\psi^s)$5 with homogeneous boundary conditions, yields

$-\Delta\psi^s = \omega^s = g(\psi^s)$6

Stability follows from coercivity (strict positivity) of $-\Delta\psi^s = \omega^s = g(\psi^s)$7 outside neutral symmetry directions (translations, rotations). In the critical case ($-\Delta\psi^s = \omega^s = g(\psi^s)$8), the energy gap vanishes on the lowest eigenspace, leading to orbital rather than strict Lyapunov stability.

For multiply-connected and axisymmetric contexts, supporting functionals and auxiliary quadratic forms are introduced to account for harmonic and circulation components (Wang et al., 2022).

6. Applications, Examples, and Stability Boundaries

The theorem yields practical stability maps for model shear flows:

• Sliding Couette flow in annuli: The KA-II criterion extends the stable region beyond classical Rayleigh and Batchelor–Gill bounds, allowing for positive bounded $-\Delta\psi^s = \omega^s = g(\psi^s)$9 up to $g \in C^1(\mathbb{R})$0 (Deguchi et al., 25 Jan 2026).
• Hagen–Poiseuille pipe flow with heating: The KA-II bound on parameter $g \in C^1(\mathbb{R})$1 is sharper, predicting stability for $g \in C^1(\mathbb{R})$2, whereas KA-I yields $g \in C^1(\mathbb{R})$3. Numerical eigenvalue computations confirm KA-II as an effective predictor of stability boundaries.

The Oseen vortex (Gaussian) is shown to satisfy all conditions, both inviscidly and at low viscosity, with explicit weight functions providing uniform coercivity (Gallay et al., 2021).

Domain Type	Stability Condition for $g \in C^1(\mathbb{R})$4	Maximizer Type
Simply-connected	$g \in C^1(\mathbb{R})$5	Unique in rearrangement class
Multiply-connected	$g \in C^1(\mathbb{R})$6	Unique up to circulation constraints
Axisymmetric annulus	$g \in C^1(\mathbb{R})$7	Energy–Casimir, explicit algebraic

7. Structural Stability and Orbital Dynamics

In cases where the upper bound $g \in C^1(\mathbb{R})$8 is attained, classical uniqueness fails, but structural (orbital) stability persists. The set of maximizers becomes an affine space $g \in C^1(\mathbb{R})$9, and solutions may orbit within this set under conserved quantities like the moment of inertia. In disks, imposing $\psi^s|_{\Gamma_i} = \text{const}$0 restricts the dynamics to rigid rotations within $\psi^s|_{\Gamma_i} = \text{const}$1 (Wang et al., 11 May 2025).

This suggests that the Second Kelvin–Arnol’d Stability Theorem provides a robust framework for capturing both strict Lyapunov and more general structural (orbital) stability of ideal fluid flows, with spectral bounds and rearrangement constraints forming the core control mechanisms.