The Nonlocal-to-Local Limit for the Inviscid Leray-α Equations

Technische Zusammenfassung: Der Nichtlokal-zu-Lokal-Grenzwert für die unviskose Leray-$\alpha$-Gleichung

Problemstellung
Diese Arbeit untersucht die unviskosen Leray-$\alpha$-Gleichungen, eine nichtlokale Regularisierung der inkompressiblen Euler-Gleichungen. Das System ist auf einem Gebiet $\Omega \subseteq \mathbb{R}^d$ ($d=2,3$) mit einem Längenskalenparameter $\alpha > 0$ definiert. Die Gleichungen setzen die gefilterte Geschwindigkeit $u_\alpha$ in Beziehung zur physikalischen Geschwindigkeit $v_\alpha$ über die Helmholtz-Operator-Beziehung $v_\alpha = u_\alpha - \alpha^2 \Delta u_\alpha$ (oder allgemeiner $u_\alpha = K_\alpha * v_\alpha$), während die Impulsgleichung $\partial_t v_\alpha + (u_\alpha \cdot \nabla)v_\alpha + \nabla p_\alpha = 0$ lautet.

Das primäre Ziel ist es, die Konvergenz der Lösungen der Leray-$\alpha$-Gleichungen gegen die Lösungen der Euler-Gleichungen zu etablieren, wenn der Regularisierungsparameter $\alpha \to 0$ geht. Die Autoren behandeln zwei unterschiedliche Regime:

1. Starke Lösungen: Konvergenz in hochregulären Sobolev-Räumen ($H^s$ mit $s > d/2 + 1$) auf dem gesamten Raum $\mathbb{R}^d$.
2. Schwache Lösungen: Konvergenz in $L^2$ auf beschränkten Gebieten, unter der Annahme von Anfangsdaten in $L^2$ und einer spezifischen lokalen Skalierungseigenschaft im Zusammenhang mit der Turbulenztheorie, ohne höhere Regularität vorauszusetzen.

Methodik

Teil 1: Starke Lösungen und allgemeine Kerne
Die Autoren adaptieren Techniken aus Masmoudis Arbeit über den unviskosen Grenzwert der Navier-Stokes-Gleichungen sowie der Arbeit von Linshiz und Titi zur Euler-$\alpha$-Modellierung. Eine wesentliche methodische Unterscheidung ist, dass der Beweis für das Leray-$\alpha$-Modell ohne Nutzung der Wirbelstruktur des Systems durchgeführt wird, im Gegensatz zu den Euler-$\alpha$-Beweisen, die stark auf der Wirbelgleichung basieren.

Die Beweisstrategie beinhaltet eine dreiteilige Zerlegung zur Abschätzung der Differenz zwischen der Leray-$\alpha$-Lösung $v_\alpha$ und der Euler-Lösung $v$:

1. Regularisierung der Anfangsdaten: Die Anfangsdaten $v_0$ und $v_\alpha^0$ werden mittels eines Fourier-Raum-Cutoffs (Parameter $\delta$) geglättet, um $v_0^\delta$ und $v_\alpha^{0,\delta}$ zu erzeugen.
2. Dreiecksungleichung: Der Fehler $\|v_\alpha - v\|$ wird in drei Terme aufgeteilt:
   • $\|v_\alpha - v_\alpha^\delta\|$: Die Differenz zwischen der Leray-$\alpha$-Lösung mit ursprünglichen Daten und der Leray-$\alpha$-Lösung mit geglätteten Daten.
   • $\|v_\alpha^\delta - v^\delta\|$: Die Differenz zwischen der geglätteten Leray-$\alpha$-Lösung und der geglätteten Euler-Lösung.
   • $\|v^\delta - v\|$: Die Differenz zwischen der geglätteten Euler-Lösung und der ursprünglichen Euler-Lösung.
3. Kern-Generalisierung: Die Autoren behalten einen allgemeinen Kern $K_\alpha$ während der gesamten Herleitung bei und spezifizieren lediglich die erforderlichen Eigenschaften für die Konvergenz (Beschränktheit in $H^l$ und Konvergenz zur Identität). Der spezifische Helmholtz-Kern wird erst im letzten Schritt angewendet, um explizite Konvergenzraten abzuleiten.

Teil 2: Schwache Lösungen und lokale Skalierung
Für das Regime der schwachen Lösungen nehmen die Autoren Anfangsdaten in $L^2$ an und legen eine lokale Skalierungseigenschaft (Gleichung 12) weit entfernt vom Rand fest. Diese Bedingung begrenzt die zweite Ordnung der Strukturfunktion:
$$\sup_{\alpha>0} \int_0^T \int_K |v_\alpha(x+y, t) - v_\alpha(x, t)|^2 dx dt \leq E_K |y|^{2\gamma}$$
für $|y| \geq \eta(\alpha)$. Diese Annahme wird durch die Kolmogorovsche 1941 Turbulenztheorie und den Inertialbereich motiviert, impliziert jedoch entscheidend keine klassische Regularität.

Der Konvergenzbeweis folgt dem Ansatz von [19] und [20] für den Grenzwert der verschwindenden Viskosität. Er nutzt eine Mollifizierungstechnik mit einer Testfunktion $j(z)$, um den nichtlinearen Term $(u_\alpha \otimes v_\alpha)$ zu zerlegen. Der Beweis zeigt, dass die Differenz zwischen den nichtlinearen Termen der Leray-$\alpha$- und der Euler-Gleichungen verschwindet, indem der Fehler in drei Komponenten (A, B, C) unter Verwendung gemollifizierter Felder aufgeteilt wird und die schwache Konvergenz von $v_\alpha$ zu $v_\infty$ sowie die starke Konvergenz gemollifizierter Felder genutzt wird.

Wesentliche Beiträge und Ergebnisse

1. Konvergenz starker Lösungen (Theorem 1):

   • Die Autoren beweisen, dass für Anfangsdaten in $H^s(\mathbb{R}^d)$ ($s > d/2 + 1$) die starken Lösungen der Leray-$\alpha$-Gleichungen gegen die starke Lösung der Euler-Gleichungen in $L^\infty(0, T; H^s)$ konvergieren, wenn $\alpha \to 0$ geht.
   • Explizite Raten: Sie leiten Konvergenzraten für niedrigere Normen $H^{s'}$ ($0 \leq s' \leq s-1$) ab. Die Rate hängt vom Fehler der Anfangsdaten und einem Term ab, der proportional zu $\alpha^\iota t$ ist, wobei $\iota$ von der Differenz zwischen $s$ und $s'$ abhängt.
   • Allgemeine Kerne (Korollar 1): Die Ergebnisse werden auf eine breite Klasse von Regularisierungskernen $K_\alpha$ ausgeweitet, sofern diese spezifische Beschränktheits- und Approximations-Eigenschaften erfüllen.

2. Konvergenz schwacher Lösungen (Theorem 2):

   • Auf einem beschränkten Gebiet gilt: Wenn eine Sequenz schwacher Lösungen die lokale Skalierungseigenschaft (12) erfüllt und schwach in $L^2$ konvergiert, dann ist der Grenzwert eine schwache Lösung der Euler-Gleichungen.
   • Die Grenzlösung $v_\infty$ erbt die Skalierungseigenschaft.
   • Dieses Ergebnis berücksichtigt "wilde" schwache Lösungen, die eine anomale Energiedissipation aufweisen können (konsistent mit Kolmogorovs Nulltem Gesetz), wodurch sie sich von starken Lösungen unterscheiden, welche die Energie konservieren.

3. Methodische Unterscheidung:

   • Das Papier stellt explizit fest, dass der Beweis für Leray-$\alpha$ nicht auf der Wirbelformulierung beruht, was eine signifikante Abweichung von der Literatur zu Euler-$\alpha$-Modellen darstellt. Dies ermöglicht die Untersuchung der Konvergenz für eine allgemeinere Klasse von Kernen.

Bedeutung und Behauptungen

Die Autoren positionieren diese Arbeit als eine Untersuchung grundlegender Fragen bezüglich des unviskosen Leray-$\alpha$-Modells, das im Vergleich zum Euler-$\alpha$-Modell oder viskosen Leray-$\alpha$-Modellen in der Literatur vergleichsweise wenig Aufmerksamkeit erhalten hat.

• Nichtlokal-zu-Lokal-Grenzwert: Die Arbeit etabliert die rigorose mathematische Verbindung zwischen der nichtlokalen Leray-$\alpha$-Regularisierung und den lokalen Euler-Gleichungen und bestätigt damit die Validität des Modells als Regularisierungsschema.
• Vergleich mit anderen Grenzwerten: Die Autoren stellen fest, dass die Konvergenzraten bezüglich der Ordnung von $\alpha$ vergleichbar sind mit denen des unviskosen Grenzwerts der Navier-Stokes-Gleichungen (Masmoudi [40]) und des Euler-$\alpha$-Grenzwerts (Linshiz und Titi [34]).
• Verbindung zur Turbulenz: Durch die Nutzung der lokalen Skalierungseigenschaft in der Analyse der schwachen Lösungen verbindet das Papier die mathematische Konvergenz mit physikalischen Turbulenztheorien (Kolmogorovsche Strukturfunktionen), was die Konvergenz von Lösungen ermöglicht, die möglicherweise nicht glatt sind.
• Randbedingungen: Die Arbeit klärt den Umgang mit Randbedingungen und merkt an, dass die Skalierungsannahme fernab des Randes angewendet wird, um Komplikationen mit Grenzschichten zu vermeiden – ein bekanntes Problem bei unviskosen Grenzwerten.

Das Paper schließt mit der Feststellung, dass die unviskosen Leray-$\alpha$-Gleichungen eine robuste nichtlokale Regularisierung der Euler-Gleichungen darstellen, wobei die Konvergenzeigenschaften sowohl für glatte als auch für turbulente (schwache) Regime unter angemessenen Annahmen gelten.