Stability of purely convective steady-states of fractional Boussinesq equations in an exterior domain

Technische Samenvatting: Stabiliteit van Puur Convectieve Stationaire Toestanden van Fractionale Boussinesq-vergelijkingen in een Exterieurgebied

Probleemformulering
Het artikel onderzoekt de globale stabiliteit en het asymptotisch gedrag van thermische convectiestromingen in een driedimensionaal onbegrensd gebied $\Omega = \{x \in \mathbb{R}^3; |x| > 1\}$, exterieur aan een eenheidsbol. Het fluïdum wordt verwarmd vanaf de grensvlak van de bol, waardoor een opwaartse kracht wordt gegenereerd die wordt aangedreven door de zwaartekracht. De studie wijzigt het klassieke Boussinesq-systeem door de standaard viskeuze kracht (bepaald door de Stokes-operator $-\Delta$) te vervangen door een fractionele macht van de Stokes-operator, aangeduid als $A^\kappa$ (waarbij $0 < \kappa \leq 1$).

Het sturende systeem voor de perturbatievariabelen $(u, \theta)$, die snelheids- en temperatuurafwijkingen voorstellen ten opzichte van een puur geleidende stationaire toestand $(u_0, T_0)$, wordt gegeven door:
$$\begin{cases} \partial_t u + A^\kappa u + P(\alpha g \theta) = -P(u \cdot \nabla u), \\ \partial_t \theta - \Delta \theta + u \cdot \nabla T_0 = -u \cdot \nabla \theta, \\ u|_{\partial \Omega} = 0, \quad \theta|_{\partial \Omega} = 0, \end{cases}$$
waarbij $P$ de Helmholtz-projectie is, $g$ de vector van de zwaartekrachtsversnelling is, en $\alpha$ een constante is gerelateerd aan de grensvlaktemperatuur. Het primaire doel is het vaststellen van de globale $L^2$-stabiliteit van de stationaire toestand en het afleiden van algebraïsche vervaltempo's voor de perturbaties wanneer $t \to \infty$.

Methodologie
De analyse verloopt via vier hoofdfasen:

1. Operatortheorie en Generatie van Semigruppen: De auteurs definiëren een lineaire operator $L$ geassocieerd met het lineariseerde systeem. Met behulp van de Kato-Rellich-stelling bewijzen ze dat $L$ zelfgeadjungeerd en positief is onder de voorwaarde $0 < \alpha < 2^{-\kappa}$. Dit maakt de constructie mogelijk van een sterk continue analytische semigroep $e^{-tL}$, die de lineaire evolutie van het systeem bestuurt.
2. Existentie van Zwakke Oplossingen: Om de niet-lineaire termen te behandelen, maken de auteurs gebruik van een mollificatietechniek met behulp van operatoren $J_n$ en $I_n$. Ze construeren benaderende oplossingen voor de integraalvorm van het systeem. Door uniforme energie-schattingen vast te stellen en compactheidsargumenten te gebruiken (specifiek resultaten van het type Aubin-Lions-lemma), bewijzen ze het bestaan van een globale zwakke oplossing in de ruimte $L^\infty(0, \tau; L^2) \cap L^2(0, \tau; D(A^{\kappa/2}) \times W^{1,2}_0)$.
3. $L^2$-Vervalschattingen: Het verval van de oplossing wordt geanalyseerd door de niet-lineaire integraalterm in de formulering van de milde oplossing te splitsen. De auteurs maken gebruik van de spectrale representatie van de operator $L$ en leiden specifieke vervaltempo's af voor de semigroep $e^{-tL}$ die werkt op de beginvoorwaarden. Cruciaal maken ze gebruik van interpolatie-ongelijkheden (Lemma 2.2 en Lemma 2.3) en Sobolev-inbeddingen om de niet-lineaire convectieve termen te begrenzen tegen de lineaire vervaltempo's.
4. Bootstrap-iteratie: Om het optimale algebraïsche vervaltempo vast te stellen, maakt het artikel gebruik van een bootstrap-iteratieschema. Uitgaande van een basisvervaltempo verbeteren de auteurs iteratief de schatting door de vorige vervalgrens terug te voeren in de niet-lineaire integraalschattingen, wat uiteindelijk convergeert naar het beoogde vervaltempo dat wordt bepaald door het lineariseerde probleem.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt de volgende hoofdresultaten vast onder de voorwaarden $3/4 < \kappa \leq 1$, $0 < \beta < 1/2$ en $0 < \alpha < 2^{-\kappa}$:

• Globale Existentie: Voor elke beginvoorwaarde $(a, b) \in L^2_\sigma(\Omega)^3 \times L^2(\Omega)$ admiteert het fractionele Boussinesq-systeem een globale zwakke oplossing.
• Globale Stabiliteit: De oplossing $(u(t), \theta(t))$ convergeert naar nul in de $L^2$-norm wanneer $t \to \infty$, wat de globale stabiliteit van de puur geleidende stationaire toestand bevestigt.
• Algebraïsch Verval: Als het lineariseerde systeem een algebraïsch vervaltempo van $t^{-\beta}$ vertoont, erf het niet-lineaire systeem dit tempo over. Specifiek voldoet de oplossing aan:
  $$\|(u(t), \theta(t))\|_2 \leq C t^{-\beta}, \quad t > 0.$$
  Het vervaltempo wordt beperkt door de fractionele macht $\kappa$ en de eigenschappen van de beginvoorwaarden.

Betekenis en Reikwijdte
Het artikel positioneert zich als de eerste poging om de stabiliteit van fractionele exterieure Boussinesq-stromingen te begrijpen. Het breidt eerder werk uit over de klassieke Navier-Stokes-vergelijkingen (waarbij $\kappa=1$) en de standaard Boussinesq-vergelijkingen uit naar het fractionele geval in een exterieurgebied.

De auteurs merken expliciet op dat het stabiliteitsresultaat berust op de aanname dat de parameter voor de opwaartse kracht $\alpha$ voldoende klein is. Zij erkennen dat als het temperatuurverschil groot is, instabiliteiten (zoals die gezien in Rayleigh-Bénard-convectie) kunnen ontstaan, waardoor stabiliteit onhaalbaar wordt. De studie stelt geen nieuwe toepassingen of experimentele opstellingen voor, maar biedt eerder een rigoureuze wiskundige onderbouwing voor het asymptotisch gedrag van deze specifieke fractionele fluïdamodellen, waarmee een gat in de literatuur wordt gedicht met betrekking tot fractionele exterieure stromingen.