On the upper bound for the vorticity growth of bi-rotational Euler flows without swirl

Technische Zusammenfassung: Obere Schranke für das Vortizitätswachstum von bi-rotatorischen Euler-Strömungen ohne Wirbel

Problemstellung
Diese Arbeit untersucht die inkompressiblen Euler-Gleichungen in $\mathbb{R}^d$ ($d \ge 4$) unter der Annahme bi-rotatorischer Symmetrie ohne Wirbel (Swirl). Das Geschwindigkeitsfeld $v$ ist auf die Form $v = u_r(r,s)e_r + u_s(r,s)e_s$ in bi-polaren Koordinaten $(r, s)$ beschränkt, wobei $r^2 = \sum_{i=1}^{n+1} x_i^2$ und $s^2 = \sum_{i=n+2}^{n+m+2} x_i^2$ (mit $d = n+m+2$). Das primäre Ziel ist es, die Wohldefiniertheit der Lösungen zu etablieren und präzise obere Schranken für die Wachstumsrate des Vortizitätsmaximums $\|\omega\|_{L^\infty}$ über die Zeit abzuleiten. Insbesondere versuchen die Autoren zu bestimmen, ob das Vortizitätswachstum in diesen hochdimensionalen bi-rotatorischen Strömungen das Verhalten nachahmt, das bei axisymmetrischen Strömungen ohne Wirbel in $\mathbb{R}^3$ beobachtet wird.

Methodik
Die Analyse stützt sich auf eine Reduktion der Euler-Gleichungen auf eine skalare Transportgleichung für die skalare Vortizität $w$. Das Geschwindigkeitsfeld wird auf eine skalare Größe $w = \partial_r u_s - \partial_s u_r$ reduziert. Die Entwicklung von $w$ wird durch eine Transportgleichung mit einem Quellterm gesteuert, der die Vortex-Streckung (Vortex Stretching) repräsentiert:
$$\partial_t w + (u_r \partial_r + u_s \partial_s)w = \left(\frac{n u_r}{r} + \frac{m u_s}{s}\right)w.$$
Entscheidend ist, dass die Größe $w/(r^n s^m)$ entlang der Teilchenbahnen erhalten bleibt.

1. Skalare Formulierung: Die Vortizitätstensor wird auf eine skalare Größe $w = \partial_r u_s - \partial_s u_r$ reduziert. Die Entwicklung von $w$ wird durch eine Transportgleichung mit einem Quellterm gesteuert, der die Vortex-Streckung repräsentiert:
   $$\partial_t w + (u_r \partial_r + u_s \partial_s)w = \left(\frac{n u_r}{r} + \frac{m u_s}{s}\right)w.$$
   Entscheidend ist, dass die Größe $w/(r^n s^m)$ entlang der Teilchenbahnen erhalten bleibt.

2. Lokale Wohldefiniertheit (Yudovich-Typ): Die Autoren etablieren die lokale Wohndefiniertheit für Anfangsdaten $w_0$ im Schnitt der Lorentz-Räume $L^{d,1}$ und $L^\infty$, unter Berücksichtigung spezifischer gewichteter Zerfallseigenschaften. Dies wird erreicht, indem bewiesen wird, dass der Biot–Savart-Kern für bi-rotatorische Strömungen den Dualraum von $L^{d,1}$ auf $L^\infty$ abbildet, was die Anwendung standardmäßiger Energie-Abschätzungen ermöglicht.

3. Globale Wohndefiniertheit und Wachstumsraten ($d \le 6$): Für Dimensionen $d \le 6$ beweisen die Autoren die globale Existenz und leiten Wachstumsraten unter zusätzlichen Annahmen über die Anfangsdaten (endliche kinetische Energie und spezifischer Zerfall nahe der Achsen) ab. Die Beweisstrategie umfasst:

   • Erhaltungssätze: Nutzung der Erhaltung von $w/(r^n s^m)$, um das Vortizitätsmaximum durch das Zeitintegral des Geschwindigkeitsmaximums zu beschränken.
   • Feng–Šverák-Typ Abschätzungen: Ableitung einer neuen Abschätzung für das Geschwindigkeitsmaximum $\|u\|_{L^\infty}$ in Abhängigkeit vom $L^\infty$-Norm der relativen Vortizität $w/(r^n s^m)$ und zwei radialen Momenten: $\|r^m w/s^n\|_{L^1}$ und $\|s^n w/r^m\|_{L^1}$. Dies wird durch die Analyse der Zerfallseigenschaften des bi-rotatorischen Biot–Savart-Kerns erreicht, der mittels Funktionen mit einer Variablen ausgedrückt wird, um geeignete Zerfallsraten zu erhalten.
   • Evolution der radialen Momente: Etablierung von Differentialungleichungen für die zeitliche Entwicklung der radialen Momente. Durch Kombination dieser mit den Geschwindigkeitsabschätzungen leiten die Autoren eine geschlossene Differentialungleichung für die Summe der Momente her.
   • ODE-Analyse: Lösen der resultierenden Differentialungleichung, um die Zeitabhängigkeit der Geschwindigkeit und in der Folge der Vortizität zu bestimmen.

Wichtigste Ergebnisse

• Theorem 1.1 (Lokale Wohndefiniertheit): Für jedes $d \ge 4$ existiert eine eindeutige lokal-in-der-Zeit definierte Lösung für Anfangsdaten $w_0 \in (L^{d,1} \cap L^\infty)(\mathbb{R}^d)$, welche spezifische gewichtete Integrabilitätsbedingungen erfüllen. Die Lösung verbleibt für ein kurzes Zeitintervall in derselben Regularitätsklasse.

• Theorem 1.2 (Globale Wohndefiniertheit und Wachstumsraten): Für Dimensionen $d \le 6$, unter der Annahme, dass die Anfangsdaten eine endliche kinetische Energie und spezifische Zerfallsbedingungen (einschließlich $w_0/(r^n s^m) \in L^1 \cap L^\infty$) erfüllen, existiert die Lösung global in der Zeit. Die Arbeit etabliert die folgenden oberen Schranken für das Vortizitätsmaximum $\|w(t)\|_{L^\infty}$:

  • $d=4, 5$: Polynomielles Wachstum der Ordnung $(1+t)^{4(d-2)/(6-d)}$. Speziell $O((1+t)^4)$ für $d=4$ und $O((1+t)^{12})$ für $d=5$.
  • $d=6$: Exponentielles Wachstum $O(e^{Ct})$.

Bedeutung und Ansprüche
Die Arbeit behauptet, dass die abgeleiteten Wachstumsraten für bi-rotatorische Strömungen in den Dimensionen $d=4, 5, 6$ exakt mit den zuvor etablierten oberen Schranken für axisymmetrische Strömungen ohne Wirbel übereinstimmen (unter Bezugnahme auf Jeong–Lim und Shao–Wei–Zhang).

Die Autoren heben hervor, dass ihre Arbeit das Verständnis der Mechanismen der Vortex-Streckung auf höhere Dimensionen mit bi-rotatorischer Symmetrie erweitert. Ein zentraler technischer Beitrag ist die erfolgreiche Vereinfachung des bi-rotatorischen Biot–Savart-Kerns, die es ermöglicht, die notwendigen Zerfallsschätzungen abzuleiten, die zuvor schwer zu erhalten waren. Dies ermöglicht die Erweiterung der Intuition des „Childress-Dipol-Modells“ auf höhere Dimensionen und zeigt, dass der Mechanismus, der das Vortizitätswachstum antreibt (das Entfernen der Fluidpartikel von den Rotationsachsen), im bi-rotatorischen Fall dieselben Skalierungsgesetze liefert wie im axisymmetrischen Fall. Die Ergebnisse legen nahe, dass für $d \le 6$ die Vortex-Streckung nicht stark genug ist, um einen endlichen Zeit-Blow-up zu verursachen, obwohl das Wachstum schnell sein kann (polynomiell oder exponentiell).