Self-Similar Solutions of the Two-Dimensional Incompressible Euler Equation from Large Initial Data

Technisches Resümee: Selbstähnliche Lösungen der zweidimensionalen inkompressiblen Euler-Gleichung aus großen Anfangsdaten

Problemstellung
Die Arbeit befasst sich mit der Konstruktion von vorwärtszeitlichen selbstähnlichen Lösungen für die zweidimensionalen inkompressiblen Euler-Gleichungen:
$$\partial_t u + u \cdot \nabla u + \nabla p = 0, \quad \text{div } u = 0$$
in $\mathbb{R}^2 \times (0, \infty)$. Die Untersuchung konzentriert sich auf Anfangsdaten $u_0$, die $C^1$, divergenzfrei und $(-a)$-homogen sind, wobei der Skalierungsparameter die Bedingung $1/3 < a < 1$ erfüllt. Speziell nimmt die Anfangsgeschwindigkeit die Form $u_0(x) = |x|^{-a}u_0(x/|x|)$ an.

Die zentrale Herausforderung besteht darin, die Existenz einer globalen schwachen Lösung $u(t,x)$ zu etablieren, welche diese selbstähnliche Struktur bewahrt:
$$u(t, x) = t^{-\frac{a}{1+a}} U\left( \frac{x}{t^{\frac{1}{1+a}}} \right)$$
ohne die Auferlegung von Kleinheitsbedingungen auf die Anfangsdaten oder Vorzeichenbeschränkungen für die Wirbelstärke. Dieses Problem steht an der Schnittstelle zwischen Existenztheorie, Singularitätsbildung und der potenziellen Nicht-Eindeutigkeit schwacher Lösungen. Während selbstähnliche Lösungen für die Navier-Stokes-Gleichungen (sowohl 2D als auch 3D) für große Daten konstruiert werden konnten, weist der Fall der Euler-Gleichung (Null-Viskosität) deutliche Schwierigkeiten auf, insbesondere aufgrund des Fehlens von Dissipation zur Kontrolle der Wirbelstärke sowie der kritischen Natur der Skalierung.

Methodik
Die Konstruktion erfolgt über einen Verschwinden-der-Dissipation-Grenzwert (vanishing-dissipation limit) von hypodissipativen Profilen. Die Autoren führen einen fraktionalen Dissipationsterm $\epsilon \Lambda^{1+a}$ ein (wobei $\Lambda = (-\Delta)^{1/2}$) und betrachten die regularisierte Gleichung:
$$\epsilon \Lambda^{1+a} U_\epsilon - \frac{1}{1+a}(a U_\epsilon + y \cdot \nabla U_\epsilon) + U_\epsilon \cdot \nabla U_\epsilon + \nabla P_\epsilon = 0$$
Die Strategie umfasst drei Hauptschritte:

1. Existenz hypodissipativer Profile: Für jedes feste $\epsilon > 0$ wird die Existenz eines glatten Profils $U_\epsilon$ etabliert. Die Autoren liefern einen unabhängigen Existenzbeweis (aufbauend auf der Arbeit von Hou und Song) unter Verwendung eines divergenzfreien Fernfeldbegrenzungsterms und eines Galerkin-Schemas. Entscheidend ist, dass sie Punktwert-Abfallsabschätzungen für das Profil und seine Ableitungen direkt aus Oseen-Kern-Abschätzungen herleiten, wodurch gewichtete Energieräume vermieden werden.
2. Einheitliche kritische Wirbelstärkenschätzung: Der Kern der Arbeit besteht darin, eine Abschätzung für die Wirbelstärke $\Omega_\epsilon = \text{curl } U_\epsilon$ zu etablieren, die beim Grenzwert $\epsilon \to 0$ gleichmäßig bleibt. Die Autoren definieren den kritischen Exponenten $p_c = 2/(1+a)$. Durch Testen der Wirbelstärkengleichung gegen die Ableitung der Trunkationsfunktion $(|\Omega_\epsilon| - k)_+$ leiten sie eine differentielle Ungleichung für die Verteilungsfunktion der Wirbelstärke ab. Dies liefert eine gleichmäßige Beschränkung im kritischen Lorentz-Raum $L^{p_c, \infty}(\mathbb{R}^2)$:
   $$\|\Omega_\epsilon\|_{L^{p_c, \infty}} \leq C(a) \|\omega_0\|_{L^{p_c}(S^1)}$$
   Diese Abschätzung beruht auf der spezifischen Divergenz des „Pseudo-Geschwindigkeitsfeldes“ $\tilde{U}_\epsilon = U_\epsilon - \frac{y}{1+a}$, welche gleich $-p_c$ ist, was eine skaleninvariante Kontrolle der Wirbelstärketruncation ermöglicht.
3. Kompaktheit und Grenzübergang: Unter Verwendung der gleichmäßigen Lorentz-Beschränkungen für $U_\epsilon$ und $\nabla U_\epsilon$ extrahieren die Autoren eine Teilfolge, die gegen ein Grenzprofil $(U, P)$ konvergiert. Die starke lokale Konvergenz der Geschwindigkeit und die schwach-* Konvergenz der Wirbelstärke ermöglichen den Grenzübergang in den nichtlinearen Termen. Für den Bereich $1/3 < a < 1/2$ wird gezeigt, dass das Produkt $U \Omega$ lokal integrierbar ist, was sicherstellt, dass die Wirbelstärkengleichung im Sinne von Distributionen erfüllt ist.

Hauptergebnisse
Das Haupttheorem (Theorem 1.2) stellt fest, dass für jede $C^1$ divergenzfreie $(-a)$-homogene Anfangsdatums mit $1/3 < a < 1$ eine selbstähnliche schwache Lösung $u(t,x)$ existiert, die folgende Eigenschaften besitzt:

• Regularität: Die Geschwindigkeit $u$ ist zeitlich stetig mit Werten in $L^2_{\text{loc}}(\mathbb{R}^2)$, und der Gradient $\nabla u$ gehört zu $L^\infty_t L^{p_c, \infty}_x$.
• Anfangswert: Die Lösung konvergiert für $t \to 0$ stark gegen die Anfangsdaten $u_0$ in $L^2_{\text{loc}}$. Die Wirbelstärke $\omega(t)$ konvergiert schwach-* gegen $\omega_0$ in $L^{p_c, \infty}$.
• Allgemeingültigkeit: Die Konstruktion erfordert keine Kleinheitsannahme für die Anfangsdaten und keine Vorzeichenannahme für die Wirbelstärke. Das Winkelprofil $u_0$ muss nicht nahe an einem radialen Wirbel liegen oder eine radiale Dominanzbedingung erfüllen, was dieses Ergebnis von früheren Spiral-Konstruktionen unterscheidet.
• Endpunktverhalten: Das Ergebnis ist subkritisch bezüglich des Endpunkts $a=1$. Bei $a=1$ verschwindet der günstige Faktor in der Identität der Wirbelstärketruncation, und das Argument schließt Konzentrationsmaße nicht aus.

Bedeutung und Ansprüche
Die Arbeit positioniert ihren Beitrag innerhalb des breiteren Kontextes der Fluiddynamik, insbesondere hinsichtlich der Nicht-Eindeutigkeit schwacher Lösungen und der Bildung von Singularitäten.

• Unterstützung der Nicht-Eindeutigkeit: Die Autoren geben an, dass die Existenz beliebig großer selbstähnlicher Profile eine notwendige „Basiszustand“ für zukünftige Untersuchungen zu Instabilitäts- und Bifurkationsszenarien liefert, die zentral für das Nicht-Eindeutigkeits-Programm sind (unter Bezugnahme auf Arbeiten von Jia, Šverák und anderen). Obwohl dieses Papier die Nicht-Eindeutigkeit selbst nicht beweist, liefert es die Klasse der großen Lösungen, die für eine solche Analyse erforderlich ist.
• Erweiterung von Spiral-Lösungen: Im Gegensatz zu früheren Konstruktionen algebraischer Spiral-Lösungen, die auf hochfrequenter Symmetrie oder Störungen radialer Wirbel beruhten, behandelt diese Arbeit allgemeine $C^1$ Winkeldaten ohne Symmetrieannahmen.
• Kritische Kontrolle: Das Ergebnis hebt hervor, dass globale schwache Existenz mit Kontrolle im kritischen Lorentz-Raum $L^{p_c, \infty}$ erreicht werden kann, anstatt eine beschränkte Wirbelstärke ($L^\infty$) oder eine endliche Gesamtwirbelstärke zu erfordern. Dies erweitert die bekannte Existenztheorie für raue Datensklassen in der zweidimensionalen idealen Strömung.

Die Arbeit schließt mit dem Hinweis, dass für $a \geq 1/2$ die Wirbelstärkengleichung nur dann im Sinne von Distributionen erfüllt ist, wenn $U\Omega \in L^1_{\text{loc}}$, was durch die Abschätzungen in diesem Bereich nicht garantiert wird, wenngleich die Geschwindigkeitsformulierung gültig bleibt. Die Konstruktion wird explizit als „Verschwinden-der-Dissipation-Grenzwert“ beschrieben, was sie von direkten Konstruktionsmethoden unterscheidet.