Steady compressible Navier-Stokes-Fourier system with general temperature dependent viscosities and hard sphere pressure law

Technische Samenvatting: Stationair Compressibel Navier–Stokes–Fourier Systeem met Algemene Temperatuurafhankelijke Viscositeiten en Hard Sphere Drukwet

Probleemformulering
Dit artikel onderzoekt de existentietheorie voor het stationaire compressibele Navier–Stokes–Fourier systeem in een driedimensionaal begrensd domein $\Omega \subset \mathbb{R}^3$. Het systeem modelleert de stationaire stroming van een warmtegeleidend compressibel fluïdum en wordt beheerst door de behoudswetten van massa, impuls en totale energie. De studie richt zich op een specifieke toestandsvergelijking bekend als de "hard sphere drukwet", gedefinieerd als $p(\varrho, \vartheta) = \vartheta \varrho h(\varrho)$, waarbij $h(\varrho)$ een niet-dalende functie is die singular wordt bij een kritische dichtheid $\varrho = a > 0$. Deze drukwet komt formeel overeen met een adiabatische exponent $\gamma = \infty$ en verdwijnt wanneer de temperatuur $\vartheta \to 0$.

De viscositeitscoëfficiënten worden verondersteld afhankelijk te zijn van de temperatuur $\vartheta$ in de vorm $\mu(\vartheta), \xi(\vartheta) \sim (1+\vartheta)^\alpha$ met $0 \le \alpha \le 1$. De warmtegeleidbaarheid volgt $\kappa(\vartheta) \sim (1+\vartheta)^m$ met $m > 0$. Het artikel beschouwt vier verschillende randwaardeproblemen met combinaties van:

1. Snelheid: Homogene Dirichlet ($u=0$) of niet-homogene Dirichlet ($u=u_0$ met $u_0 \cdot n = 0$).
2. Temperatuur: Warmteflux ($q \cdot n = L(\vartheta - \vartheta_0)$) of Dirichlet ($\vartheta = \vartheta_D$).

Daarnaast is de totale massa van het fluïdum voorgeschreven, en moet het domein voldoen aan een geometrische beperking die garandeert dat de dichtheid onder de singulariteit $a$ blijft.

Methodologie
De auteurs hanteren een variationele benadering om de existentie van zwakke en variationele entropie-oplossingen vast te stellen. De methodologie verloopt via de volgende stappen:

1. Approximatieschema: Een benaderd systeem wordt geconstrueerd met behulp van regularisatieparameters ($\varepsilon, \delta, \eta, R$). De dichtheid wordt afgekapt en geregulariseerd, en de druk wordt aangepast om de singulariteit bij $\varrho = a$ tijdens de benaderingsfase te vermijden. De snelheid wordt benaderd met een Galerkin-methode in een eindige-dimensionale subruimte.
2. A Priori Schattingen: De kern van de analyse bestaat uit het afleiden van uniforme schattingen die onafhankelijk zijn van de regularisatieparameters.
   • Energie en Entropie: De auteurs maken gebruik van de totale energiebalans en de entropie-ongelijkheid (of de ballistische energie-ongelijkheid voor Dirichlet-temperatuurcondities) om de temperatuur- en snelheidsvelden te beheersen. Er wordt speciale aandacht besteed aan het gedrag van de specifieke entropie nabij het absolute nulpunt, wat een gemodificeerde interne energiefunctie $g(\vartheta)$ vereist voor Dirichlet-randvoorwaarden.
   • Drukcontrole: Een cruciale uitdaging is het controleren van de druk in een ruimte die beter is dan $L^1$. De auteurs gebruiken de Bogovskii-operator om de impulsvergelijking te testen. Door te testen met $\Phi = B(p^\beta)$, leiden zij schattingen voor de druk in $L^{1+\beta}$ af. Dit vereist een zorgvuldige afweging van de exponenten $\alpha$ en $m$ om de integreerbaarheid van niet-lineaire termen die betrokken zijn bij viscositeit en temperatuur te waarborgen.
   • Bogovskii-operator Schattingen: De controle van de druk steunt zwaar op schattingen waarbij de Bogovskii-operator wordt toegepast op de dichtheids- en druktermen, waarbij gebruik wordt gemaakt van de begrensdheid van de dichtheid ($\varrho < a$) en de specifieke structuur van de hard sphere druk.
3. Limietovergang: De auteurs laten de limiet toe naarmate de regularisatieparameters naar nul gaan. Dit omvat:
   • Het vaststellen van de sterke convergentie van de dichtheidssequentie, wat wordt bereikt door de effectieve viskeuze flux-identiteit aan te tonen en de gerenommeerde continuïteitsvergelijking te gebruiken.
   • Het behandelen van de limiet in de totale energiebalans, wat striktere voorwaarden oplegt aan de parameters $m$ en $\alpha$ vergeleken met de impulsvergelijking.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt de existentie van oplossingen vast voor de vier randwaardeproblemen zoals beschreven onder specifieke beperkingen op de parameters $\alpha$ en $m$. De belangrijkste resultaten worden als volgt samengevat:

• Stelling 1 (Probleem 1: $u=0$, Warmteflux): Er bestaat een variationele entropie-oplossing als $\alpha \in [0, 1]$ en $m > \max\{\frac{1+\alpha}{3}, \frac{1-\alpha}{2}\}$. Als $m > 1$, is de oplossing een zwakke oplossing.
• Stelling 2 (Probleem 2: $u=0$, Dirichlet Temperatuur): Er bestaat een variationele entropie-oplossing als $\alpha \in [0, 1]$ en $m > \max\{\frac{1+\alpha}{3}, 1-\alpha\}$. Als $m > 1$, is de oplossing zwak.
• Stelling 3 (Probleem 3: $u=u_0 \neq 0$, Warmteflux):
  • Voor $0 < \alpha < 1$, existentie houdt stand als $m > \max\{\frac{1+\alpha}{3}, \frac{1-\alpha}{2}\}$.
  • Voor $\alpha = 0$, vereist de existentie van een zwakke oplossing $m > 1$.
  • Voor $\alpha = 1$, vereist existentie dat $\|\nabla u_0\|_\infty$ voldoende klein is en $m \ge \frac{2}{3}$. Als $m > 1$, is de oplossing zwak.
• Stelling 4 (Probleem 4: $u=u_0 \neq 0$, Dirichlet Temperatuur): Een zwakke entropie-oplossing bestaat als $\alpha = 1$, $m \ge 2$, en $\|\nabla u_0\|_\infty$ voldoende klein is.

Het artikel maakt onderscheid tussen "variationele entropie-oplossingen" (die de entropie-ongelijkheid en energiebalans in een specifieke zwakke vorm bevredigen) en "zwakke oplossingen" (die de energiebalans in de standaard zwakke vorm bevredigen). De overgang van variationele naar zwakke oplossingen vereist over het algemeen $m > 1$ om voldoende integreerbaarheid te garanderen voor de limietovergang in de energievergelijking.

Betekenis
Het artikel breidt de bestaande theorie voor stationaire compressibele Navier–Stokes–Fourier systemen in drie dimensies uit. Waar eerdere werken zich richtten op constante viscositeiten of specifieke machtswet-drukken (bijv. $p \sim \varrho^\gamma + \vartheta \varrho$), behandelt deze studie de hard sphere drukwet, die fysiek relevant is voor gassen bij hoge dichtheden en formeel overeenkomt met $\gamma = \infty$.

De auteurs beweren dat hun resultaten een uitbreiding vormen naar de driedimensionale situatie voor deze specifieke drukwet, die voorheen alleen in twee dimensies werd geanalyseerd (waarbij Trudinger-Moser ongelijkheden een cruciale rol speelden). Bovendien generaliseert het artikel de behandeling van temperatuurafhankelijke viscositeiten en warmtegeleidbaarheid, waarbij existentie-resultaten worden geboden voor een breed scala aan exponenten $\alpha$ en $m$ onder diverse randvoorwaarden, inclusom de meer uitdagende gevallen van niet-homogene snelheid en Dirichlet-temperatuur. Het werk steunt op en verfijnt technieken met betrekking tot de Bogovskii-operator en gerenommeerde oplossingen om de singulariteit van de druk en de niet-lineariteit van de transportcoëfficiënten te beheersen.