On the large-time behavior of strong solutions to the generalized compressible Navier-Stokes-Korteweg system in 2D and 3D for arbitrarily large initial data

Technische Samenvatting: Mondiale Existentie en Grootte-tijdgedrag van Sterke Oplossingen voor het Gegeneraliseerde Compressibele Navier-Stokes-Korteweg Systeem

Probleemstelling
Dit artikel onderzoekt de mondiale existentie en het grootte-tijdgedrag van sterke oplossingen voor het tweedimensionale en driedimensionale periodieke compressibele Navier-Stokes-Korteweg (NSK) systeem met willekeurig grote initiële data $(\rho_0, u_0) \in H^3 \times H^2$. Het systeem wordt gekenmerkt door dichtheidsafhankelijke viscositeitscoëfficiënten die de Bresch-Desjardins (BD) relatie bevredigen, $\mu(\rho) = \nu\rho^\alpha$ en $\lambda(\rho) = 2\nu(\alpha-1)\rho^\alpha$, en een capillaïteitscoëfficiënt $\kappa(\rho) = \varepsilon^2\alpha^2\rho^{2\alpha-3}$.

De primaire wiskundige uitdagingen die worden aangepakt zijn:

1. Mondiale Existentie met Grote Data: Het vaststellen van de existentie van mondiale sterke oplossingen zonder aannames over de kleinheid van de initiële data, met name in hogere dimensies ($N=2,3$).
2. Uniforme Dichtheidsgrenzen: Het bewijzen dat de dichtheid uniform begrensd blijft van onderaf door vacuüm en van bovenaf door concentratie (d.w.z. $C^{-1} \le \rho(x,t) \le C$) voor alle tijd, een vereiste voor hogere orde regulariteit.
3. Grootte-tijdgedrag: Het demonstreren van de convergentie van oplossingen naar de evenwichtstoestand als $t \to \infty$.

Eerdere werken hadden mondiale existentie vastgesteld voor specifieke parameterregimes (bijv. Gu-Huang-Meng-Zhou [16] voor $\alpha < 1$ en Huang-Meng-Zhang [25] voor $\alpha=1$), maar vaak met beperkte adiabatische exponenten $\gamma$ of zonder het vaststellen van uniforme tijd-onafhankelijke dichtheidsgrenzen en grootte-tijd convergentie voor willekeurig grote data.

Methodologie
De auteurs maken gebruik van een veelzijdige analytische strategie die gecentreerd is rond de effectieve snelheidstransformatie en een dubbel parabolische structuur van het geherformuleerde systeem.

1. Effectieve Snelheidsformulering: Het systeem wordt geherformuleerd met behulp van de effectieve snelheid $v := u + c\rho^{\alpha-2}\nabla\rho$, waarbij $c = \nu + \sqrt{\nu^2-\varepsilon^2}$. Dit transformeert het oorspronkelijke systeem naar een gekoppeld dichtheids-effectieve snelheidssysteem (Vergelijking 11), dat een dubbel parabolische structuur vertoont. Deze structuur is cruciaal voor het afleiden van extra regulariteit en het beheersen van de dichtheid.

2. Bootstrap-argument voor Toelaatbare Parameters:

   • Voor het geval $\alpha < 1$ verbeteren de auteurs het toelaatbare bereik van de adiabatische exponent $\gamma$. Ze maken gebruik van een bootstrap-argument dat de kloof overbrugt tussen de standaard energie-inschatting (gewogen $L^2$) en de kritieke inschatting (gewogen $L^3$). Door iteratief de integreerbaarheid van de effectieve snelheid en de dichtheid te verbeteren, breiden ze het bereik van $\gamma$ uit voorbij eerdere resultaten (specifiek tot $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$ in 3D).

3. Tijdsdiscretisatiestrategie voor Bovengrenzen:

   • Om een uniforme bovengrens voor de dichtheid vast te stellen, hanteren de auteurs een tijdsdiscretisatiestrategie. Ze verdelen de tijdas $[0, \infty)$ in subintervallen $[t_n, t_{n+1}]$ van uniform begrensde lengte.
   • Met behulp van de dissipatie-inschattingen identificeren ze punten $t_n$ waar de dichtheid en de effectieve snelheid voldoen aan uniforme kwantitatieve grenzen.
   • Op elk subinterval passen ze een gemodificeerd Nash-Moser iteratieschema toe (geïnspireerd door Gu-Huang-Meng-Zhou [16]) om een dichtheidsbovengrens af te leiden die onafhankelijk is van het specifieke subinterval, wat resulteert in een globale uniforme boven grens.

4. Inductief Bootstrap voor Ondergrenzen ($\alpha < 1$):

   • Het vaststellen van een uniforme positieve ondergrens vereist sterkere integreerbaarheid van de effectieve snelheid ($L^p$ met $p > \frac{2}{1-\alpha}$).
   • De auteurs ontwikkelen een nieuw inductief bootstrap-procedure. Uitgaande van $(k-1)$-de niveau inschattingen, leiden zij $k$-de niveau uniforme en dissipatie-inschattingen af. Dit proces wordt een eindig aantal keren herhaald totdat de vereiste integreerbaarheid is bereikt, waardoor de toepassing van de Nash-Moser iteratie op de reciproke variabele $\tau = \rho^{-1}$ mogelijk wordt om een uniforme positieve ondergrens te verkrijgen.
   • Voor het kritieke geval $\alpha = 1$ stelt het artikel een uniforme boven grens vast, maar merkt op dat de ondergrens een open probleem blijft vanwege het onvermogen om de bootstrap te sluiten op het $L^\infty$-niveau voor de effectieve snelheid.

5. Hogere Orde Inschattingen en Verval:

   • Met de vastgestelde uniforme dichtheidsgrenzen leiden de auteurs globale hogere orde inschattingen af voor de dichtheid en de effectieve snelheid.
   • Ze maken gebruik van de elliptische structuur die inherent is aan het effectieve snelheidsysteem om hogere orde afgeleiden te beheersen.
   • Deze inschattingen leiden tot het bewijs van het grootte-tijdgedrag, waarbij wordt aangetoond dat de $H^3$-norm van de dichtheidsafwijking en de $H^1$-norm van de snelheidgradiënt naar nul vervallen.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1 (Geval $\alpha < 1$):

  • Vestigt de mondiale existentie van unieke sterke oplossingen voor willekeurig grote initiële data in 2D en 3D.
  • Verbreed Bereik van Parameters: Breidt het toelaatbare bereik van de adiabatische exponent $\gamma$ aanzienlijk uit vergeleken met eerdere werken (bijv. [16]). In 3D kan $\gamma$ nu $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$ bereiken.
  • Uniforme Grenzen: Bewijst dat de dichtheid voldoet aan $C^{-1} \le \rho(x,t) \le C$ voor alle $t \ge 0$, wat garandeert dat de oplossing weg blijft van vacuüm en concentratie.
  • Grootte-tijdgedrag: Bewijst dat $\|\rho(t) - \rho_s\|_{H^3} + \|\nabla u(t)\|_{H^1} \to 0$ als $t \to \infty$, waarbij $\rho_s$ de gemiddelde dichtheid is. Dit geldt zonder enige kleinheidsaanname over de initiële data.

• Stelling 1.2 (Geval $\alpha = 1$):

  • Vestigt de mondiale existentie voor het kritieke geval $\alpha = 1$ (dat de viskeuze Saint-Venant modellen en quantum Navier-Stokes systemen onder specifieke condities omvat).
  • Verbeterd Parameterbereik: Verbreedt het toelaatbare bereik van $\gamma$ in 3D verder naar $[1, 11/4)$, wat de $[1, 8/3)$ range in [22] en de $[1, 7/3)$ range in [25] verbetert.
  • Uniforme Boven grens: Bewijst een uniforme boven grens voor de dichtheid ($\rho(x,t) \le C$).
  • Beperking: Het artikel stelt expliciet dat het vaststellen van een uniforme positieve onder grens voor de dichtheid in het kritieke geval $\alpha=1$ een open uitdaging blijft en wordt overgelaten aan toekomstig onderzoek.

Betekenis
Het artikel geeft een bevestigend antwoord op de vragen of mondiale sterke oplossingen met willekeurig grote initiële data uniforme tijd-onafhankelijke dichtheidsgrenzen bezitten en evenwicht bereiken in het multidimensionale periodieke NSK-systeem.

• Oplossing van Openstaande Problemen: Het lost het openstaande probleem op betreffende het grootte-tijdgedrag en de uniforme dichtheidsgrenzen voor het gegeneraliseerde NSK-systeem met grote data, die zelfs na de vaststelling van mondiale existentie in [16] en [25] onopgelost bleven.
• Methodologische Vooruitgang: De ontwikkeling van de tijdsdiscretisatiestrategie in combinatie met het bootstrap-argument voor integreerbaarheid vormt een significante methodologische vooruitgang. Het maakt het mogelijk om uniforme grenzen af te leiden zonder afhankelijk te zijn van het restrictieve intermediaire regime ($\varepsilon = \nu$) dat vaak vereist is in quantum Navier-Stokes analyses, waardoor het bredere parabolische regime ($\varepsilon < \nu$) wordt gedekt.
• Parameter Optimalisatie: Door de toelaatbare bereiken voor $\gamma$ te verfijnen, verbreden de resultaten de fysieke toepasbaarheid van de mondiale existentietheorie voor compressibele vloeistoffen met capillaïteitseffecten.

De auteurs benadrukken dat hun resultaten zijn afgeleid zonder kleinheidsvoorwaarden op de initiële data op te leggen, wat de bevindingen robuust maakt voor fysiek relevante scenario's met grote perturbaties. Het werk laat de uitbreiding naar het Cauchy-probleem en het vaststellen van ondergrenzen voor het kritieke geval $\alpha=1$ als richtingen voor toekomstig onderzoek.