Linear Stability of the Lamb-Chaplygin Dipole

Technical Summary: Linear Stability of the Lamb-Chaplygin Dipole

Problem Statement
This paper investigates the linear stability of the Lamb-Chaplygin dipole, a classical traveling wave solution to the two-dimensional incompressible Euler equations. The study focuses on the evolution of perturbations $w_0$ belonging to the class $L^1(\mathbb{R}^2) \cap L^p(\mathbb{R}^2)$ with $p > 2$. The central question is whether the dipole remains stable under arbitrary perturbations in this functional setting, specifically addressing the growth rate of the $L^2$ norm of the perturbation over time. While orbital stability has been established under specific symmetry and sign assumptions in prior literature, the behavior under general perturbations remains an open problem.

Methodology
The authors employ a combination of dynamical systems theory, spectral analysis, and Hamiltonian mechanics. Their approach diverges from purely spectral methods by treating the linearized operator as the generator of a strongly continuous semigroup acting on the vorticity class $L^1 \cap L^p$.

1. Symmetry Analysis: The authors first identify a five-parameter family of traveling solutions generated by the symmetries of the Euler equations (translations, rotations, amplifications, and dilations). By differentiating these symmetries, they construct generalized eigenvectors associated with the eigenvalue 0 for the linearized operator $L_{eq}$. This reveals that the dipole exists within a continuum of equilibria, and perturbations along these directions correspond to infinitesimal changes in the dipole's position, orientation, or amplitude.
2. Domain Reduction: Exploiting the compact support of the dipole's vorticity (confined to the unit disk $D$), the authors decompose the linear evolution into an external part (transported by the flow outside $D$) and an internal part. The internal dynamics are reduced to a closed operator $L$ acting on the Hilbert space $L^2_0(D)$ (square-integrable functions with zero average).
3. Hamiltonian Structure: The reduced operator $L$ is analyzed as a Hamiltonian system $L = JH$, where $J$ is a skew-adjoint transport operator and $H$ is a self-adjoint operator involving the inverse Laplacian with specific Robin boundary conditions. The authors utilize the properties of this structure to classify the spectrum and Jordan chains.
4. Spectral and Dynamical Estimates: The authors explicitly compute the spectrum of $L$, identifying the generalized kernel and verifying the absence of eigenvalues with positive real parts. They then use energy arguments on specific invariant subspaces to derive quantitative growth estimates for the semigroup $e^{tL}$.

Key Contributions and Results

• Complete Spectral Classification: The paper provides a complete description of the spectrum and Jordan chains of the linearized operator. It is proven that the operator is spectrally stable (the spectrum lies on the imaginary axis) but linearly unstable due to the presence of non-trivial Jordan chains.
• Identification of Instability Mechanisms: The authors identify exactly two explicit mechanisms responsible for linear growth in general perturbations:
  1. Nonzero Circulation: A non-zero average of the initial perturbation on the unit disk ($\mu \neq 0$) triggers a quadratic-in-time growth ($t^2$). This corresponds to a rototranslation of the dipole in the full nonlinear system.
  2. Generalized Eigenvectors: A non-trivial component of the initial data along the generalized eigenvectors associated with the eigenvalue 0 (specifically those related to infinitesimal rotations and amplifications) triggers a linear-in-time growth ($t$).
• Sharp Growth Estimates: The main result (Theorem 1) establishes that for any initial datum $w_0$, the solution $w(t)$ satisfies the estimate:
  $$c|\mu|t^2 - C\|w_0\|_{L^2}t \leq \|w(t)\|_{L^2} \leq C(\|w_0\|_{L^2} + \|w_0\|_{L^2}t + |\mu|t^2)$$
  where $\mu$ is the average of $w_0$ on the disk. If $\mu = 0$ and the projection onto the generalized kernel vanishes, the evolution remains bounded.
• Jordan Chain Structure: Theorem 2 confirms that there are exactly two (up to linear combinations) Jordan chains of length 2 associated with the eigenvalue 0. These chains correspond to the symmetries of the system. The paper proves that no longer Jordan chains or unstable eigenvalues exist.

Significance
The paper claims that its precise polynomial growth estimates are remarkable because they go beyond standard subexponential bounds, providing a sharp characterization of the instability sources. The work clarifies the linear mechanisms underlying previous orbital stability results, showing that those results relied on assumptions (such as odd symmetry) that effectively eliminated the specific obstructions (nonzero average and generalized unstable directions) identified here.

Furthermore, the authors emphasize that the observed linear and quadratic growth does not imply a "blow-up" or a departure from the physical family of traveling dipoles. Instead, the growth reflects the solution drifting along the manifold of traveling solutions generated by the system's symmetries. The nonlinear dynamics are expected to retain this behavior, moving along the family of dipoles without necessarily moving away from the manifold itself. This analysis bridges the gap between spectral information and semigroup growth in a non-Hilbertian setting ($L^1 \cap L^p$), demonstrating that the separation between spectral stability and dynamical stability can be precisely quantified in this context.