Global in Time Vortex Configurations for the $2$D Euler Equations

This paper employs a constructive gluing approach to establish the existence of global-in-time solutions to the 2D incompressible Euler equations that asymptotically behave as a superposition of two traveling vortex-antivortex pairs moving in opposite directions.

The Gist

Imagine you are watching a calm, invisible river (a fluid) flowing across a vast, flat plain. In this river, there are swirling whirlpools. Usually, when you have two whirlpools spinning in opposite directions, they might dance around each other, merge, or drift apart in a chaotic way.

This paper is about a very specific, highly choreographed dance of four whirlpools that manages to keep its perfect formation forever, even as time stretches on infinitely.

Here is the story of the paper, broken down into simple concepts:

1. The Setup: The Perfect Pair

First, the authors look at a single "vortex pair." Imagine two whirlpools: one spinning clockwise, the other counter-clockwise. They are close together. Because of how fluids work, they don't just spin in place; they push each other forward, traveling together like a boat moving down a river. This is a known, stable "travelling wave."

2. The Challenge: The Four-Whirlpool Dance

The authors wanted to know: What happens if we put two of these pairs together?
Imagine two boats (each carrying a pair of whirlpools) moving in opposite directions.

• Boat A has a pair moving to the Right.
• Boat B has a pair moving to the Left.

If you just drop these four whirlpools into the fluid, chaos usually ensues. They might crash, merge, or scatter. The big question was: Can we set them up perfectly so that, as time goes on (forever), they separate cleanly, with one pair heading right and the other heading left, without ever messing up their internal structure?

3. The Problem: "Point" vs. "Real" Whirlpools

In math, it's easy to imagine a whirlpool as a single, infinitely small dot (a "point vortex"). If you treat them as dots, the math says they should do this dance perfectly.

But in the real world (and in the complex equations of fluid dynamics), a whirlpool has size. It's a fuzzy, round blob of spinning fluid, not a sharp dot.

• The Issue: When you have two fuzzy blobs close to each other, they "feel" each other's edges. This creates tiny, messy errors. Over a short time, these errors are small. But over infinite time, these tiny errors usually grow until the whole formation falls apart.
• The Goal: The authors wanted to prove that you can create a "real" fluid solution (with fuzzy blobs) that behaves exactly like the "perfect dot" solution forever.

4. The Solution: "Gluing" and "Backwards Time Travel"

The authors used a clever, multi-step strategy to build this solution. Think of it like building a bridge:

Step A: The "Gluing" Technique
Instead of trying to solve the whole messy problem at once, they started with two perfect, pre-made "traveling pairs" (the boats mentioned earlier). They "glued" them together to create a rough draft of the solution.

• The Analogy: Imagine taking two perfect toy cars and taping them together. The tape is messy, and the cars don't move perfectly together yet. There is a "glue error."

Step B: The "Error Correction" (The Glue Fix)
They realized that if they just left the tape there, the cars would eventually drift apart. So, they added a "correction fluid" (a mathematical adjustment) to the glue. This correction fluid is designed to cancel out the messy errors caused by the fuzziness of the whirlpools.

• The Analogy: It's like a self-driving car that constantly makes tiny steering adjustments to stay in the lane. The authors calculated exactly how much "steering" (mathematical correction) was needed to keep the four whirlpools in their perfect formation.

Step C: The "Backwards Time" Trick
This is the most creative part. Usually, when you predict the future, you start at "Now" and move forward. But predicting the behavior of these whirlpools for infinite time is incredibly hard because small mistakes grow huge.

Instead, the authors started at a "Future Time" (let's say, 1,000 years from now) where they knew the whirlpools were perfectly separated and moving apart.

• They asked: "If the whirlpools are perfect at Year 1,000, what did they look like at Year 999? Year 998? ... Year 0?"
• By running the math backwards from a perfect future state, they could ensure that the solution they found at "Year 0" (the initial condition) would naturally evolve into that perfect future.
• The Analogy: Imagine you want to throw a ball so it lands perfectly in a basket 100 meters away. Instead of guessing the throw, you stand in the basket, catch the ball, and throw it back to the starting point. If you catch it perfectly, you know exactly how to throw it forward.

5. The Result: A Forever Dance

The paper proves that:

1. There is a specific, perfect starting position for the four whirlpools.
2. If you start them there, they will separate into two pairs.
3. One pair will travel to the right, the other to the left.
4. They will do this forever, maintaining their shape and speed, never colliding and never breaking apart.

Why Does This Matter?

In the real world, fluids are messy. We often think that complex systems (like weather or ocean currents) eventually become chaotic and lose their structure. This paper shows that order can persist forever in a fluid, even with complex interactions, provided you set it up with extreme precision.

It's like proving that you can balance a stack of Jenga blocks on a moving train for the rest of eternity, as long as you place the first block with absolute perfection. It gives us a deeper understanding of how nature can maintain stability against the chaos of time.

Technical Summary

1. Problem Statement

The paper addresses the long-time behavior of solutions to the 2D incompressible Euler equations in vorticity-stream formulation:
$$\begin{cases} \omega_t + \nabla^\perp \Psi \cdot \nabla \omega = 0 & \text{in } \mathbb{R}^2 \times (0, \infty), \\ \Psi = (-\Delta)^{-1}\omega, \\ \omega(\cdot, 0) = \mathring{\omega}. \end{cases}$$
Specifically, the authors investigate the existence of global-in-time solutions where the vorticity remains concentrated around four points moving along specific trajectories. The goal is to construct a solution that behaves asymptotically as $t \to \infty$ like a superposition of two travelling vortex pairs moving in opposite directions along the $x_1$-axis.

The target configuration consists of four point vortices with masses $m_1 = -m_2 = M$ and $m_3 = -m_4 = M$. As $t \to \infty$, these points approach the trajectories of two idealized vortex pairs:

1. Right-moving pair: Located at $(p^*(t), \pm q^*(t))$, moving in the $+x_1$ direction.
2. Left-moving pair: Located at $(-p^*(t), \pm q^*(t))$, moving in the $-x_1$ direction.

The challenge lies in "desingularizing" this point-vortex system (Kirchhoff-Routh system) into a smooth, compactly supported vorticity solution that maintains this structure for all time $t \in [T_0, \infty)$, rather than just for finite time intervals.

2. Methodology

The authors employ a constructive approach based on gluing and Lyapunov-Schmidt reduction, utilizing a finite-time approximation followed by a limiting procedure.

A. Building Blocks: Travelling Vortex Pairs

The construction relies on a precise understanding of a single $\varepsilon$-concentrated travelling vortex pair (a "dipole"). This is a solution to the Euler equations of the form:
$$\omega(x,t) = \varepsilon^{-2} f_\varepsilon(\Psi_\varepsilon(x) - c x_2, x)$$
where the profile is derived from a radial solution $\Gamma$ to a semilinear elliptic equation. The speed $c$ and the profile are corrected by terms of order $\varepsilon^2$ to account for the interaction between the two vortices in the pair.

B. Approximate Solution Construction

The authors construct an approximate solution $\omega^*$ on a finite interval $[T_0, T]$ (where $T \to \infty$) by superposing two such travelling pairs moving in opposite directions.

1. Trajectory Correction: The trajectories of the point vortices are modified from the idealized Kirchhoff-Routh system to include $\varepsilon^2$ corrections derived from the travelling pair analysis.
2. Inner-Outer Gluing: The error of the superposition is analyzed. The main difficulty is the coupling error between the two pairs. The authors use a cut-off function strategy to separate the "inner" regions (near the vortices) from the "outer" region.
3. Linearization: They solve linearized elliptic problems to correct the stream function and vorticity, reducing the error to a very small remainder term that decays in time (specifically $O(\varepsilon^5 t^{-3})$).

C. The Fixed Point Argument (Homotopy Method)

To find the exact solution, the problem is reformulated as a fixed-point problem for the remainder terms $(\tilde{\phi}^*, \alpha, \psi_{out}^*, \tilde{\xi})$.

• Homotopy Parameter ($\lambda$): A parameter $\lambda \in [0, 1]$ is introduced. At $\lambda=0$, the system is linear; at $\lambda=1$, it recovers the full nonlinear Euler equations.
• Orthogonality Conditions: To handle the kernel of the linearized operator (which corresponds to mass and center-of-mass shifts), the authors impose orthogonality conditions on the remainder. This leads to a system of Ordinary Differential Equations (ODEs) for the parameters $\alpha(t)$ (mass correction) and $\tilde{\xi}(t)$ (trajectory correction).
• A Priori Estimates: A crucial part of the proof involves establishing weighted $L^2$ and $L^\infty$ estimates for the linearized transport operator. The authors define specific interior and exterior cutoffs ($\eta_i, \eta_e$) based on the profile of the nonlinearity to prove coercivity of the associated quadratic form. This requires $\gamma > 18$ (a technical condition on the power nonlinearity).

D. Global Existence via Limit

Since the construction works for any finite $T$, the authors use the Ascoli-Arzelà theorem. They take a sequence of solutions on $[T_0, T_n]$ with $T_n \to \infty$. By establishing uniform bounds and equicontinuity (using the Log-Lipschitz continuity of the velocity field), they extract a subsequence that converges to a global solution on $[T_0, \infty)$.

3. Key Contributions

1. Global-in-Time Desingularization: This is one of the first constructions of global-in-time solutions to the 2D Euler equations that are not steady states or simple travelling waves, but rather complex, time-dependent configurations of multiple vortex pairs.
2. Handling Non-Monotonic Dynamics: Unlike previous works that often rely on monotonic separation of vortices, this configuration involves pairs moving apart, but the internal dynamics of the 4-point system require careful handling of the interaction terms which do not simply decay monotonically in a naive sense.
3. Refined Error Analysis: The paper provides extremely precise asymptotic expansions for the error terms, showing that the solution remains close to the superposition of travelling pairs with errors decaying as $O(\varepsilon/t)$.
4. Higher Regularity: The constructed solutions are smoother than standard vortex patches (which are discontinuous), possessing regularity determined by the power $\gamma$ of the nonlinearity.

4. Main Results

Theorem 1.1:
For sufficiently large $T_0$ and small $\varepsilon > 0$, there exists a solution $(\omega_\varepsilon, \Psi_\varepsilon)$ to the Euler equations on $[T_0, \infty)$ of the form:
$$\omega_\varepsilon(x, t) = U_{\varepsilon, q^*+q_{re}}(x - (p^*+p_{re})e_1) - U_{\varepsilon, q^*+q_{re}}(x + (p^*+p_{re})e_1) + \varepsilon^{-2}\phi_\varepsilon(x, t)$$
where:

• $U_{\varepsilon, q}$ represents the travelling vortex pair profile.
• $(p^*(t), q^*(t))$ are the idealized point vortex trajectories.
• $(p_{re}(t), q_{re}(t))$ are small correction terms satisfying decay bounds like $|t^{-1}p_{re}| + |\dot{p}_{re}| \leq C\varepsilon^2$.
• The remainder $\phi_\varepsilon$ is continuous, odd in both variables, and decays in time and space, with support localized near the vortex centers.

The solution is constructed as a limit of solutions with terminal data specified at $t=T$ (evolving backwards to $T_0$), which is necessary to fix the asymptotic behavior at infinity.

5. Significance

• Long-Time Dynamics: The paper contributes significantly to the understanding of the long-time behavior of 2D Euler solutions, a field often plagued by the "loss of compactness" conjecture. It demonstrates that specific, highly structured initial data can lead to solutions that maintain coherence (vortex concentration) indefinitely.
• Beyond Steady States: It moves beyond the study of steady states (like vortons or dipoles) to dynamic, interacting multi-vortex systems, showing that such complex interactions can be stable over infinite time.
• Methodological Advance: The combination of gluing techniques, precise spectral analysis of the linearized operator around a vortex pair, and the use of terminal data to construct global solutions offers a robust framework for tackling other long-time existence problems in fluid dynamics.
• Physical Relevance: While the initial conditions are specific, the result suggests that the dynamics of vortex pairs (dipoles) are robust building blocks for more complex fluid flows, providing a theoretical basis for the stability of such structures observed in numerical simulations and experiments.

In summary, the paper successfully constructs a global solution to the 2D Euler equations that asymptotically behaves as two separating vortex pairs, proving that such complex, non-steady configurations can persist indefinitely without disintegrating or colliding.