Strong solutions to the initial-boundary-value problem of compressible MHD equations with degenerate viscosities and far field vacuum in 3D exterior domains

Technische Samenvatting: Sterke oplossingen voor het begin-randwaardeprobleem van samendrukbare MHD-vergelijkingen met gedegenereerde viscositeiten en verre-veld vacuüm in 3D exterieure domeinen

Probleemstelling
Dit artikel behandelt de lokale existentie en uniciteit van sterke oplossingen voor het begin-randwaardeprobleem (IBVP) van de driedimensionale samendrukbare Magnetohydrodynamische (MHD) vergelijkingen in een exterieur domein $\Omega = \mathbb{R}^3 \setminus \bar{D}$. Het systeem wordt gekenmerkt door twee belangrijke fysieke complexiteiten:

1. Verre-veld vacuüm: De initiële dichtheid $\rho_0$ nadert nul als $|x| \to \infty$.
2. Gedegenereerde viscositeiten: De afschuivings- en volumeviscositeitscoëfficiënten zijn machtfuncties van de dichtheid, $\mu(\rho) = \mu\rho^\delta$ en $\lambda(\rho) = \lambda\rho^\delta$, met $0 < \delta < 1$.

Het systeem is onderworpen aan Navier-slip randvoorwaarden voor de snelheid en perfect geleidende voorwaarden voor het magnetische veld. De primaire wiskundige uitdaging komt voort uit de singulariteit van termen die $\rho^{\delta-1}$ en $\nabla\rho^{\delta-1}$ bevatten naarmate de dichtheid naar nul gaat, wat wordt verergerd door de sterke koppeling tussen de fluïdumbeweging en het magnetische veld.

Methodologie
De auteurs maken gebruik van een combinatie van benaderingstechnieken, energie-schattingen en een nieuwe herformulering van het systeem om de singulariteiten en randvoorwaarden te beheersen.

1. Variabele Transformatie: Om de singulariteiten te beheren die voortvloeien uit de dichtheidsafhankelijke viscositeiten en het magnetische veld, introduceren de auteurs nieuwe variabelen:

   • $\psi = \nabla \log \rho$, wat helpt bij het behandelen van de gradiënt van de dichtheid.
   • $J = \rho^{-(1-\delta)/2} H$, een dichtheidsgewogen gemiddeld magnetisch veld. Deze variabele is cruciaal omdat het de vergelijking van het magnetische veld transformeert naar een standaard parabolische vergelijking, waardoor de singulariteit effectief ontkoppeld wordt van de evolutie van het magnetische veld in de schattingen.

2. Hergeformuleerd Systeem: De oorspronkelijke MHD-vergelijkingen worden herschreven in termen van $(\rho, u, H, J)$. De impulsvergelijking wordt vermenigvuldigd met $\rho^{-\delta}$ om de singulariteitstermen te isoleren, en de vergelijking van het magnetische veld wordt getransformeerd naar een parabolische vergelijking voor $J$ met specifieke randvoorwaarden afgeleid van de perfect geleidende voorwaarden.

3. Benadering en A Priori Schattingen:

   • Het probleem wordt eerst opgelost op een begrensd annulus-domein $\Omega_R$ met een strikt positieve initiële dichtheid om lokale klassieke oplossingen vast te stellen.
   • Een reeks uniforme a priori schattingen wordt afgeleid voor de gladde oplossingen. Belangrijke schattingen omvatten bounds op $\nabla \rho^{(\delta-1)/2}$, $\nabla u$, $\nabla H$, en de tijdsafgeleiden van deze grootheden.
   • De auteurs maken gebruik van afkapfuncties (cut-off functions) en trace-stellingen om randtermen te behandelen, met name de randvoorwaarde voor $J$ die afhankelijk is van $\psi \cdot n$. Een cruciale stap is het transformeren van de randterm die betrokken is bij $J_t$ terug naar $H_t$ om de integreerbaarheid van $\nabla H_t$ te benutten.

4. Bewijs van Uniciteit: Om uniciteit te bewijzen, beschouwen de auteurs het verschil tussen twee oplossingen. Een specifieke moeilijkheid ontstaat door de tweede-orde afgeleiden van de dichtheid in de verschilvergelijkingen. Om dit te omzeilen, introduceren zij een transformatie waarbij $g_i = \rho_i^{-\delta}$ wordt gebruikt en maken zij gebruik van het feit dat het initiële verschil $\bar{g}|_{t=0} = 0$, waardoor zij de schattingen kunnen sluiten zonder directe controle te vereisen over de tweede afgeleiden van het dichtheidsverschil.

Belangrijkste Bijdragen en Resultaten
De belangrijkste resultaat, Stelling 1.1, stelt de lokale existentie en uniciteit vast van sterke oplossingen voor reguliere grote initiële data die voldoen aan specifieke vervalcondities nabij het vacuüm. De oplossing $(\rho, u, H)$ bestaat op een tijdsinterval $[0, T_0]$ en voldoet aan specifieke regulariteitsklassen, inclusief $u \in L^\infty(0, T_0; D^1_0 \cap D^2) \cap L^2(0, T_0; D^3)$ en $H \in L^\infty(0, T_0; H^2)$.

Specifieke Technische Inzichten:

• Rol van het Magnetische Veld: Een significante bevinding is dat het magnetische veld $H$ een verval sneller behoudt dan de dichtheid $\rho$ gedurende de gehele tijds-evolutie. Specifiek, als de initiële data voldoet aan $J_0 = H_0 / \rho^{(1+\delta)/2}_0 \in H^1$, dan is $J \in L^\infty(0, T_0; H^1)$. Deze eigenschap is essentieel voor het beheersen van de singulariteitstermen geassocieerd met het magnetische veld in de impulsvergelijking.
• Randgedrag: De analyse toont aan dat de dichtheid een positieve ondergrens behoudt nabij de rand $\partial \Omega$ voor een korte tijd, ondanks het verre-veld vacuüm. Dit wordt bereikt door de afgeleide schatting $\rho^{(\delta-1)/2} \in L^\infty(0, T_0; L^6(\Omega_0))$.
• Generalisatie: De resultaten generaliseren de lokale theorie voor samendrukbare Navier-Stokes-vergelijkingen met gedegenereerde viscositeiten (specifiek het werk van Li-Lü-Yuan [24]) naar het samendrukbare MHD-systeem.

Betekenis
De auteurs stellen dat voor het geval $0 < \delta < 1$, eerdere benaderingen die werden gebruikt voor de Navier-Stokes-vergelijkingen of MHD met $\delta \ge 1$ onvoldoende zijn vanwege de sterke singulariteit van $\rho^{\delta-1}$ en de nieuwe moeilijkheden die het magnetische veld introduceert. Dit werk vult een gat in de literatuur met betrekking tot het IBVP voor samendrukbare MHD met gedegenereerde viscositeiten en verre-veld vacuüm in 3D exterieure domeinen. De introductie van het dichtheidsgewogen magnetische veld $J$ en de demonstratie van diens vervaleigenschappen bieden een nieuw mechanisme voor het beheersen van singulariteiten in gekoppelde fluïdum-magnetische systemen met gedegenereerde coëfficiënten.

De auteurs merken op dat hun methoden kunnen worden aangepast aan het Cauchy-probleem (zonder grenzen) en het geval van nul magnetische dissipatie ($\eta=0$), hoewel de primaire focus blijft liggen op het IBVP met niet-nul dissipatie.