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

Technische Samenvatting: Zelfgelijkende oplossingen van de tweedimensionale incompressibele Euler-vergelijking vanuit grote initiële data

Probleemstelling
Het artikel behandelt de constructie van voorwaartse zelfgelijkende oplossingen in de tijd voor de tweedimensionale incompressibele Euler-vergelijkingen:
$$\partial_t u + u \cdot \nabla u + \nabla p = 0, \quad \text{div } u = 0$$
in $\mathbb{R}^2 \times (0, \infty)$. De studie richt zich op initiële data $u_0$ die $C^1$, divergentievrij en $(-a)$-homogeen zijn, waarbij de schalingparameter voldoet aan $1/3 < a < 1$. Specifiek heeft de initiële snelheid de vorm $u_0(x) = |x|^{-a}u_0(x/|x|)$.

De centrale uitdaging is het vaststellen van de existentie van een globale zwakke oplossing $u(t,x)$ die deze zelfgelijkende structuur behoudt:
$$u(t, x) = t^{-\frac{a}{1+a}} U\left( \frac{x}{t^{\frac{1}{1+a}}} \right)$$
zonder restricties op te leggen aan de kleinheid van de initiële data of tekenspecificaties op de vorticiteit. Dit probleem bevindt zich op het snijvlak van existentietheorie, singulariteitsvorming en de potentiële niet-uniciteit van zwakke oplossingen. Hoewel zelfgelijkende oplossingen voor de Navier-Stokes-vergelijkingen (zowel 2D als 3D) voor grote data zijn geconstrueerd, presenteert het Euler-geval (nul viscositeit) duidelijke moeilijkheden, met name vanwege het gebrek aan dissipatie om de vorticiteit te beheersen en de kritische aard van de schaling.

Methodologie
De constructie verloopt via een verdwijnende-dissipatie-limiet van hypodissipatieve profielen. De auteurs introduceren een fractie term van dissipatie $\epsilon \Lambda^{1+a}$ (waarbij $\Lambda = (-\Delta)^{1/2}$) en beschouwen de geregulariseerde vergelijking:
$$\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$$
De strategie bestaat uit drie hoofdstappen:

1. Existentie van hypodissipatieve profielen: Voor elke vaste $\epsilon > 0$ wordt de existentie van een glad profiel $U_\epsilon$ vastgesteld. De auteurs leveren een onafhankelijk bewijs van existentie (voortbouwend op werk van Hou en Song) met behulp van een divergentievrije far-field cutoff en een Galerkin-schema. Cruciaal is dat zij puntwijze verval-schattingen voor het profiel en zijn afgeleiden afleiden direct uit Oseen-kernel-schattingen, waarbij gewogen energie-ruimten worden vermeden.
2. Uniforme kritische vorticiteits-schatting: De kern van het artikel is het vaststellen van een schatting voor de vorticiteit $\Omega_\epsilon = \text{curl } U_\epsilon$ die uniform is als $\epsilon \to 0$. De auteurs definiëren de kritieke exponent $p_c = 2/(1+a)$. Door de vorticiteitsvergelijking te testen tegen de afgeleide van de afkapfunctie $(|\Omega_\epsilon| - k)_+$, leiden zij een differentiële ongelijkheid af voor de distributiefunctie van de vorticiteit. Dit levert een uniforme begrenzing op in de kritieke Lorentz-ruimte $L^{p_c, \infty}(\mathbb{R}^2)$:
   $$\|\Omega_\epsilon\|_{L^{p_c, \infty}} \leq C(a) \|\omega_0\|_{L^{p_c}(S^1)}$$
   Deze schatting berust op de specifieke divergentie van het "pseudo-snelheidsveld" $\tilde{U}_\epsilon = U_\epsilon - \frac{y}{1+a}$, die gelijk is aan $-p_c$, wat een schaalinvariante controle van de vorticiteit-afkap mogelijk maakt.
3. Compactheid en limietovergang: Gebruikmakend van de uniforme Lorentz-grenzen op $U_\epsilon$ en $\nabla U_\epsilon$, extraheren de auteurs een subreeks die convergeert naar een limietprofiel $(U, P)$. De sterke lokale convergentie van de snelheid en de zwak-* convergentie van de vorticiteit maken het mogelijk om de limiet te nemen in de niet-lineaire termen. Voor het bereik $1/3 < a < 1/2$ wordt aangetoond dat het product $U \Omega$ lokaal integreerbaar is, wat garandeert dat de vorticiteitsvergelijking in de distributieve zin standhoudt.

Belangrijkste Resultaten
Het hoofddoel (Stelling 1.2) stelt dat er voor elke $C^1$ divergentievrije $(-a)$-homogene initiële datum met $1/3 < a < 1$ een zelfgelijkende zwakke oplossing $u(t,x)$ bestaat met de volgende eigenschappen:

• Regulariteit: De snelheid $u$ is continu in de tijd met waarden in $L^2_{\text{loc}}(\mathbb{R}^2)$, en de gradiënt $\nabla u$ behoort tot $L^\infty_t L^{p_c, \infty}_x$.
• Initiële Trace: De oplossing convergeert naar de initiële datum $u_0$ sterk in $L^2_{\text{loc}}$ als $t \to 0$. De vorticiteit $\omega(t)$ convergeert zwak-* naar $\omega_0$ in $L^{p_c, \infty}$.
• Generaliteit: De constructie vereist geen aanname van kleinheid voor de initiële data en geen teken-aanname voor de vorticiteit. Het hoef niet een nabijheid tot een radiale vortex te hebben of een radiale dominantie-conditie te voldoen, wat dit resultaat onderscheidt van eerdere spiraal-constructies.
• Eindpuntgedrag: Het resultaat is subkritiek ten opzichte van het eindpunt $a=1$. Bij $a=1$ verdwijnt de gunstige factor in de vorticiteit-afkapidentiteit, en het argument sluit concentratie-maten niet uit.

Betekenis en Claims
Het artikel positioneert zijn bijdrage binnen de bredere context van de fluïdummechanica, specifiek met betrekking tot de niet-uniciteit van zwakke oplossingen en de vorming van singulariteiten.

• Ondersteuning voor Niet-Uniciteit: De auteurs stellen dat de existentie van willekeurig grote zelfgelijkende profielen een noodzakelijke "basisstaat" vormt voor toekomstige onderzoeken naar instabiliteits- en bifurcatiescenario's, die centraal staan in het niet-uniciteitsprogramma (refererend aan werk door Jia, Šverák, en anderen). Hoewel dit artikel zelf geen niet-uniciteit bewijst, levert het de klasse van grote oplossingen die nodig is voor een dergelijke analyse.
• Uitbreiding van Spiraaloplossingen: In tegen tegenover de eerdere constructies van algebraïsche spiraaloplossingen, die vertrouwden op hoogfrequente symmetrie of perturbaties van radiale vortices, behandelt dit werk algemene $C^1$ hoekgegevens zonder symmetrie-aannames.
• Kritieke Controle: Het resultaat benadrukt dat globale zwakke existentie kan worden bereikt met controle in de kritieke Lorentz-ruimte $L^{p_c, \infty}$, in plaats van het vereisen van een begrensde vorticiteit ($L^\infty$) of een eindige totale vorticiteit. Dit breidt de bekende existentietheorie voor ruwe dataklassen in tweedimensionale ideale stroming uit.

Het artikel concludeert door op te merken dat voor $a \geq 1/2$ de vorticiteitsvergelijking alleen in de zin van distributies standhoudt als $U\Omega \in L^1_{\text{loc}}$, wat niet gegarandeerd wordt door de schattingen in dat bereik, hoewel de snelheidformulering geldig blijft. De constructie wordt expliciet beschreven als een "verdwijnende-dissipatie-limiet", wat het onderscheidt van directe constructiemethoden.