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

Technische Samenvatting: De Niet-lokale naar Lokale Limiet voor de Onviskeuze Leray-$\alpha$ Vergelijkingen

Probleemstelling
Dit artikel onderzoekt de onviskeuze Leray-$\alpha$ vergelijkingen, een niet-lokale regularisatie van de incompressibele Euler-vergelijkingen. Het systeem is gedefinieerd op een domein $\Omega \subseteq \mathbb{R}^d$ ($d=2,3$) met een lengteschaalparameter $\alpha > 0$. De vergelijkingen relateren de gefilterde snelheid $u_\alpha$ aan de fysieke snelheid $v_\alpha$ via de Helmholtz-operatorrelatie $v_\alpha = u_\alpha - \alpha^2 \Delta u_\alpha$ (of algemener $u_\alpha = K_\alpha * v_\alpha$), terwijl de momentumvergelijking $\partial_t v_\alpha + (u_\alpha \cdot \nabla)v_\alpha + \nabla p_\alpha = 0$ is.

Het primaire doel is het vaststellen van de convergentie van de oplossingen van de Leray-$\alpha$ vergelijkingen naar de oplossingen van de Euler-vergelijkingen naarmate $\alpha \to 0$. De auteurs behandelen twee afzonderlijke regimes:

1. Sterke Oplossingen: Convergentie in hoog-reguliere Sobolev-ruimten ($H^s$ met $s > d/2 + 1$) op de gehele ruimte $\mathbb{R}^d$.
2. Zwakke Oplossingen: Convergentie in $L^2$ op begrensde domeinen, uitgaande van initiële data in $L^2$ en een specifieke lokale schalingseigenschap gerelateerd aan turbulentietheorie, zonder hogere regulariteit te veronderstellen.

Methodologie

Deel 1: Sterke Oplossingen en Algemene Kernen
De auteurs passen technieken aan van het werk van Masmoudi over de onviskeuze limiet van Navier-Stokes en het werk van Linshiz en Titi over het Euler-$\alpha$ model. Een cruciaal methodologisch onderscheid is dat het bewijs voor het Leray-$\alpha$ model wordt uitgevoerd zonder gebruik te maken van de vorticiteitsstructuur van het systeem, in tegenstelling tot de Euler-$\alpha$ bewijzen die sterk leunen op de vorticiteitsvergelijking.

De bewijsstrategie omvat een driedelige decompositie om het verschil tussen de Leray-$\alpha$ oplossing $v_\alpha$ en de Euler oplossing $v$ te schatten:

1. Regularisatie van Initiële Data: De initiële data $v_0$ en $v_\alpha^0$ worden gladgestreken met behulp van een cutoff in de Fourierruimte (parameter $\delta$) om $v_0^\delta$ en $v_\alpha^{0,\delta}$ te creëren.
2. Driehoeksongelijkheid: De fout $\|v_\alpha - v\|$ wordt gesplitst in drie termen:
   • $\|v_\alpha - v_\alpha^\delta\|$: Het verschil tussen de Leray-$\alpha$ oplossing met de originele data en de Leray-$\alpha$ oplossing met de gladgestreken data.
   • $\|v_\alpha^\delta - v^\delta\|$: Het verschil tussen de gladgestreken Leray-$\alpha$ oplossing en de gladgestreken Euler oplossing.
   • $\|v^\delta - v\|$: Het verschil tussen de gladgestreken Euler oplossing en de originele Euler oplossing.
3. Kern-generalisatie: De auteurs behouden een algemene kern $K_\alpha$ gedurende de afleiding, waarbij ze alleen de eigenschappen specificeren die vereist zijn voor convergentie (begrensdheid in $H^l$ en convergentie naar de identiteit). De specifieke Helmholtz-kern wordt pas in de laatste stap toegepast om expliciete convergentiesnelheden af te leiden.

Deel 2: Zwakke Oplossingen en Lokale Schaling
Voor het regime van de zwakke oplossingen nemen de auteurs initiële data in $L^2$ aan en leggen zij een lokale schalingseigenschap (Vergelijking 12) op ver van de rand. Deze conditie begrenst de tweede-orde structuurfunctie:
$$\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}$$
voor $|y| \geq \eta(\alpha)$. Deze aanname wordt gemotiveerd door de Kolmogorov 1941 turbulentietheorie en het inertieel bereik, maar cruciaal is dat dit geen klassieke regulariteit impliceert.

Het convergentiebewijs volgt de aanpak van [19] en [20] voor de verdwijnende viscositeitslimiet. Het maakt gebruik van een mollificatietechniek met een testfunctie $j(z)$ om de niet-lineaire term $(u_\alpha \otimes v_\alpha)$ te decomponeren. Het bewijs toont aan dat het verschil tussen de niet-lineaire termen van de Leray-$\alpha$ en de Euler vergelijkingen verdwijnt door de fout te splitsen in drie componenten (A, B, C) met behulp van gemollificeerde velden en door gebruik te maken van de zwakke convergentie van $v_\alpha$ naar $v_\infty$ en de sterke convergentie van gemollificeerde velden.

Belangrijkste Bijdragen en Resultaten

1. Convergentie van Sterke Oplossingen (Stelling 1):

   • De auteurs bewijzen dat voor initiële data in $H^s(\mathbb{R}^d)$ ($s > d/2 + 1$), de sterke oplossingen van de Leray-$\alpha$ vergelijkingen convergeren naar de sterke oplossing van de Euler-vergelijkingen in $L^\infty(0, T; H^s)$ naarmate $\alpha \to 0$.
   • Expliciete Snelheden: Zij leiden convergentiesnelheden af voor lagere normen $H^{s'}$ ($0 \leq s' \leq s-1$). De snelheid hangt af van de fout in de initiële data en een term proportioneel aan $\alpha^\iota t$, waarbij $\iota$ afhangt van het verschil tussen $s$ en $s'$.
   • Algemene Kernen (Corollary 1): De resultaten worden uitgebreid naar een brede klasse van regulariserende kernen $K_\alpha$, mits deze voldoen aan specifieke begrenzheids- en benaderingseigenschappen.

2. Convergentie van Zwakke Oplossingen (Stelling 2):

   • Op een begrensd domein geldt dat als een sequentie van zwakke oplossingen voldoet aan de lokale schalingseigenschap (12) en zwak convergeert in $L^2$, de limiet een zwakke oplossing is van de Euler-vergelijkingen.
   • De limietoplossing $v_\infty$ erft de schalingseigenschap.
   • Dit resultaat accommodeert "wilde" zwakke oplossingen die anomalieën in energie-dissipatie kunnen vertonen (consistent met de Kolmogorov Nulde Wet), wat hen onderscheidt van sterke oplossingen die energie behouden.

3. Methodologisch Onderscheid:

   • Het artikel merkt expliciet op dat het bewijs voor Leray-$\alpha$ niet steunt op de vorticiteitsformulering, wat een significante afwijking is van de literatuur over Euler-$\alpha$ modellen. Dit maakt het onderzoek naar convergentie voor een bredere klasse van kernen mogelijk.

Betekenis en Claims

De auteurs positioneren dit werk als een antwoord op fundamentele vragen betreffende het onviskeuze Leray-$\alpha$ model, dat in vergelijking met het Euler-$\alpha$ model of viskeuze Leray-$\alpha$ modellen relatief weinig aandacht heeft gekregen in de literatuur.

• Niet-lokale naar Lokale Limiet: Het artikel vestigt de rigoureuze wiskundige link tussen de niet-lokale Leray-$\alpha$ regularisatie en de lokale Euler-vergelijkingen, waarmee de validiteit van het model als regularisatieschema wordt bevestigd.
• Vergelijking met Andere Limieten: De auteurs merken op dat de convergentiesnelheden met betrekking tot de orde van $\alpha$ vergelijkbaar zijn met die gevonden in de onviskeuze limiet van Navier-Stokes (Masmoudi [40]) en de Euler-$\alpha$ limiet (Linshiz en Titi [34]).
• Connectie met Turbulentie: Door de lokale schalingseigenschap te gebruiken in de analyse van de zwakke oplossingen, verbindt het artikel de wiskundige convergentie met fysieke turbulentietheorieën (Kolmogorov's structuurfuncties), waardoor de convergentie van oplossingen mogelijk wordt die niet noodzakelijk vloeiend zijn.
• Randvoorwaarden: Het werk verheldert de behandeling van randvoorwaarden door op te merken dat de schalingselementen ver van de rand worden toegepast om complicaties met grenslaagvorming te vermijden, een bekend probleem bij onviskeuze limieten.

Het artikel concludeert dat de onviskeuze Leray-$\alpha$ vergelijkingen een robuuste niet-lokale regularisatie van de Euler-vergelijkingen bieden, met convergentie-eigenschappen die gelden voor zowel de vloeiende als de turbulente (zwakke) regimes onder passende aannames.