Global existence and optimal decay for a three-dimensional penalized Navier--Stokes system with biharmonic damping

Technische Samenvatting: Globale Existentie en Optimale Decay voor een Driedimensionaal Gepenaliseerd Navier–Stokes Systeem met Biharmonische Demping

Probleemstelling
Dit artikel onderzoekt een driedimensionaal parabolisch systeem dat dient als een hyperviskeuze en gepenaliseerde benadering van de incompressibele Navier–Stokes-vergelijkingen. Het model adresseert de wiskundige uitdagingen van de klassieke Navier–Stokes-vergelijkingen (1.1), in het bijzonder het openstaande probleem van globale regulariteit en uniciteit voor willekeurige initiële data in drie dimensies. Het voorgestelde systeem (1.3) combineert drie mechanismen:

1. Klassieke viskeuze diffusie ($-\nu\Delta u$).
2. Biharmonische (hyperviskeuze) demping ($\beta\Delta^2 u$), die zorgt voor dissipatie van hogere orde.
3. Divergentie-penalisering ($-\frac{1}{\varepsilon}\nabla \text{div} u$), die de strikte incompressibiliteitsvoorwaarde ($\text{div} u = 0$) versoepelt door nabijheid van incompressibiliteit af te dwingen naarmate de parameter $\varepsilon \to 0$.

Cruciaal is dat de nietlineaire convectieterm is gemodificeerd met een Temam-type skew-symmetrische correctie ($N(u) = (u \cdot \nabla)u + \frac{1}{2}u \text{div} u$). Deze correctie compenseert voor de zwakke compressibiliteit geïntroduceerd door de penaliseringsmethode, waardoor de $L^2$-annuleringseigenschap van de transportterm wordt hersteld, die in typische compressibele formuleringen verloren gaat.

Methodologie
De analyse steunt op een combinatie van energiemethoden, semigroeptheorie en Fourier-splitting technieken, met een centrale focus op het afleiden van schattingen die uniform zijn ten op respecte van de penaliseringsparameter $\varepsilon > 0$.

• Zwakke oplossingen (Stelling 1.3): De existentie van globale zwakke oplossingen voor willekeurige $L^2$ initiële data wordt vastgesteld via een Friedrichs-type Galerkin-benadering. De auteurs projecteren de vergelijking op Fourier-ballen met behulp van afkapoperatoren $J_n$ in plaats van de Leray-projector. Dit onderscheid is cruciaal; het gebruik van de Leray-projector zou de penaliseringsterm annihileren, waardoor het limietprobleem zou veranderen. Uniforme a priori schattingen worden afgeleid uit de energie-identiteit, en compactheid wordt verkregen via de Aubin–Lions–Simon lemma.
• Sterke oplossingen (Stelling 1.4): Voor kleine initiële data in $H^2(\mathbb{R}^3)$ worden globale sterke oplossingen bewezen met behulp van een vaste-punt-argument op de milde formulering geassocieerd met de lineaire semigroep $S_\varepsilon(t) = e^{tL_\varepsilon}$. De lineaire operator $L_\varepsilon = \nu\Delta - \beta\Delta^2 + \frac{1}{\varepsilon}\nabla\text{div}$ genereert een semigroep met smoothing-eigenschappen. Het bewijs berust op een uniforme $H^2$ energie-schatting waarbij de nietlineaire termen worden geabsorbeerd door de viskeuze en biharmonische dissipatie.
• Decay-schattingen (Stelling 1.6): Optimale decay-snelheden op lange termijn worden afgeleid met behulp van de Fourier-splitting methode (Schonbek). De analyse scheidt lage en hoge frequenties. Het gedrag van lage frequenties wordt gecontroleerd via de Duhamel-formule en de specifieke decompositie van de nietlineariteit, terwijl hoge frequenties worden beheerst door gedifferentieerde energie-ongelijkheden en Gagliardo–Nirenberg interpolatie.

Belangrijkste Bijdragen en Resultaten

1. Globale Zwakke Existentie: Het artikel bewijst de globale existentie van zwakke oplossingen voor willekeurige initiële data $u_0 \in L^2(\mathbb{R}^3)$. De oplossingen voldoen aan specifieke regulariteitsklassen, waaronder $L^\infty(0, T; L^2)$, $L^2(0, T; H^2)$, en $L^4(0, T; L^4)$.
2. Globale Sterke Oplossingen met Uniforme Kleinheid: Voor voldoende kleine initiële data in $H^2(\mathbb{R}^3)$ laat het systeem een unieke globale sterke oplossing toe. Een significante bijdrage is dat de kleinheidsdrempel $\delta_0$ en de bijbehorende energiebounds onafhankelijk zijn van $\varepsilon$. Deze uniformiteit garandeert dat de resultaten van toepassing zijn op de gehele familie van gepenaliseerde systemen, en niet slechts op een specifiek geval.
3. Optimale Decay-snelheden: Voor initiële data in $L^1(\mathbb{R}^3) \cap H^2(\mathbb{R}^3)$ leiden de auteurs optimale decay-schattingen af:
   $$\|u(t)\|_{L^2} \leq C(1+t)^{-3/4}$$
   $$\|\nabla^k u(t)\|_{L^2} \leq C(1+t)^{-3/4 - k/2}, \quad k=1, 2$$
   Deze snelheden komen overeen met de asymptotische decay van de klassieke warmtevergelijking in drie dimensies. De analyse bevestigt dat hoewel de biharmonische term de dissipatie van hoge frequenties domineert, de decay op lange termijn wordt bepaand door het gedrag van de warmtestroom van lage frequenties.
4. Uniformiteit in $\varepsilon$: Een bepalend kenmerk van de analyse is dat alle constanten en schattingen uniform blijven naarmate $\varepsilon \to 0$. De penaliseringsterm $\frac{1}{\varepsilon}\|\text{div} u\|^2$ wordt behandeld als een niet-negatieve dissipatieterm die ofwel behouden of weggegooid wordt, maar nooit begrensd wordt door een grootte die betrokken is bij $1/\varepsilon$.

Betekenis en Claims
Het artikel claimt een "stabiel en rigoureus analytisch fundament" te bieden voor de gepenaliseerde benadering van incompressibele stromingen. Door de biharmonische demping en de Temam-correctie op te nemen, bereikt het model verbeterde welgesteldheidsresultaten vergeleken met de klassieke Navier–Stokes-vergelijkingen, specifiek met betrekking tot de beschikbaarheid van onvoorwaardelijke $L^2$ energie-schattingen en hogere-orde smoothing.

De auteurs merken op dat hun uniforme schattingen suggereren dat, naarmate $\varepsilon \to 0$, de sterke oplossingen convergeren naar een limiet die een incompressibel hyperviskeus Navier–Stokes-systeem oplost. Echter, zij stellen expliciet dat het identificeren van het limiet-systeem en het bewijzen van convergentiesnelheden in $\varepsilon$ richtingen zijn die aan toekomstig onderzoek worden overgelaten. Bovendien, hoewel globale regulariteit voor willekeurige data bekend is voor het incompressibele hyperviskeuze systeem (vanwege Lions), claimen de auteurs dergelijke een resultaat voor het gepenaliseerde systeem met grote data niet, waarbij zij opmerken dat de skew-symmetrische compressibele structuur hogere-orde energie-schattingen op een manier wijzigt die een directe uitbreiding van het resultaat voor grote data verhindert.

Het werk onderscheidt zich van eerdere studies naar gedempde Navier–Stokes-vergelijkingen (bijv. met absorptie-termen) door te focussen op een hogere-orde dempingsmechanisme en een penaliseringsmethode die de drukterm elimineert, waardoor de zwakke formulering wordt vereenvoudigd door de divergentievrije restrictie op testfuncties te verwijderen.