Global weak solutions to a compressible Navier--Stokes/Cahn--Hilliard system with singular entropy of mixing

Technische Samenvatting: Globale zwakke oplossingen voor een samendrukbaar Navier–Stokes/Cahn–Hilliard-systeem met een enkelvoudige mengentropie

Probleemstelling
Dit werk behandelt de wiskundige analyse van een samendrukbaar Navier–Stokes/Cahn–Hilliard-systeem dat de evolutie van een binair mengsel van viskeuze vloeistoffen modelleert die fase-scheiding ondergaan. Het systeem is gedefinieerd op een begrensd domein $\Omega \subset \mathbb{R}^3$ over een tijdsinterval $(0, T)$. De leidende vergelijkingen beschrijven de behoud van massa, impuls en de evolutie van de fasevariabele (massa-concentratieverschil) gekoppeld aan een chemisch potentiaal.

De primaire nieuwheid en uitdaging van dit onderzoek liggen in de keuze van de vrije energiedichtheid. In tegenstelling tot eerdere literatuur over samendrukbare mengsels, die doorgaans reguliere potentialen met polynomiale groei gebruikt, incorporeert dit werk de fysiek relevante Flory-Huggins (logaritmische) mengentropie. Dit potentiaal is enkelvoudig bij de grenzen van het fysieke interval $[-1, 1]$, wat de beperking afdwingt dat de fasevariabele $c$ binnen $(-1, 1)$ moet blijven. Het systeem is onderworpen aan no-slip randvoorwaarden voor de snelheid en homogene Neumann-randvoorwaarden voor de fase en het chemische potentiaal.

Methodologie
De auteurs maken gebruik van een compactheidsmethode gebaseerd op een regularisatie-benaderingsschema om de existentie van globale zwakke oplossingen te bewijzen voor willekeurige grote initiële data. De kernmethodologie verloopt als volgt:

1. Benaderingsschema: Het enkelvoudige Flory-Huggins potentiaal $F(c)$ wordt benaderd door een sequentie van reguliere potentialen $F_\varepsilon(c)$ gedefinieerd op de gehele reële lijn, die uiterlijk een kwadratische groei vertonen. Dit maakt de toepassing van bestaande existentieresultaten voor geregulariseerde systemen mogelijk (specifiek die vastgesteld door Abels en Feireisl voor samendrukbare mengsels met reguliere potentialen).
2. Uniforme Schattingen: Een cruciaal onderdeel van het bewijs is de afleiding van uniforme grenzen voor de benaderende oplossingen $(\varrho_\varepsilon, u_\varepsilon, c_\varepsilon)$ die onafhankelijk zijn van de regularisatieparameter $\varepsilon$.
   • Energie-schattingen: Standaard energie-ongelijkheden leveren grenzen op voor de dichtheid, snelheid en de gradiënt van de fasevariabele.
   • Nieuwe schattingen voor dichtheidsafhankelijke Cahn-Hilliard: De auteurs leiden nieuwe schattingen af voor het chemische potentiaal $\mu_\varepsilon$ en de term $\varrho_\varepsilon F'_\varepsilon(c_\varepsilon)$ onder minimale aannames op de dichtheid (niet-negatief, $\gamma$-integreerbaar met $\gamma > 3/2$). Door de controle van $\nabla_x \mu_\varepsilon$ vanuit de energiebalans te exploiteren en een specifieke testfunctie te gebruiken die de totale massieverschil betreft, stellen zij uniforme $L^2$-grenzen vast op $\int_\Omega \varrho_\varepsilon |F'_\varepsilon(c_\varepsilon)| dx$.
   • Druk-schattingen: Om de samendrukbaarheid te behandelen, passen de auteurs de Lions-Feireisl theorie aan. Zij leiden verbeterde integrabiliteitsschattingen af voor de druk $p(\varrho_\varepsilon)$ door de impulsvergelijking te testen met een specifieke, op de Bogovskii-operator gebaseerde testfunctie. Dit levert $L^q$-grenzen op voor de druk, waarbij $q$ afhangt van de adiabatische exponent $\gamma$.
3. Compactheid en Limietovergang: Gebruikmakend van de uniforme grenzen extraheren de auteurs convergente sub-sequenties. Sterke convergentie van de dichtheid $\varrho_\varepsilon$ wordt vastgesteld via de gerenommeerde continuïteitsvergelijking en het effectieve viskeuze flux-argument. Sterke convergentie van de fasevariabele $c_\varepsilon$ wordt verkregen door compactheidsargumenten uit eerdere incompressibele studies aan te passen, waarbij gebruik wordt gemaakt van de sterke convergentie van de dichtheid en de uniforme grenzen van het chemische potentiaal.

Belangrijkste Bijdragen en Resultaten
Het hoofddoel, geformuleerd in Stelling 1.1, vestigt de existentie van globale zwakke oplossingen voor het systeem voor $\gamma > 3/2$ in driedimensionale begrensde domeinen. De oplossing voldoet aan de volgende eigenschappen:

• Regulariteit: De oplossing $(\varrho, u, c, \mu)$ bezit specifieke regulariteitsklassen, waaronder $\varrho \in C_{weak}([0, T]; L^\gamma(\Omega))$ en $c \in L^\infty(0, T; W^{1,2}(\Omega)) \cap L^2(0, T; W^{2, \frac{2\gamma}{\gamma+1}}(\Omega))$.
• Fysieke Beperkingen: Een significante prestatie is het bewijs dat de fasevariabele $c$ de fysieke grenzen bijna overal respecteert. Specifiek:
  • $-1 \leq c \leq 1$ bijna overal in $(0, T) \times \Omega$.
  • $-1 < c < 1$ bijna overal op de verzameling waar de dichtheid positief is ($\{\varrho > 0\}$).
• Algemene Initiële Data: Het resultaat geldt voor initiële data met eindige totale energie, zonder de vereiste dat de dichtheid strikt positief of begrensd weg van nul is, noch dat de initiële concentratie overal strikt binnen $(-1, 1)$ ligt (slechts dat de relatieve massa $M_c/M \in (-1, 1)$).

Betekenis en Claims
Het artikel claimt het eerste existentieresultaat te bieden voor globale zwakke oplossingen van het samendrukbare Navier–Stokes/Cahn–Hilliard-systeem met het fysiek relevante Flory-Huggins potentiaal. De auteurs benadrukken dat eerdere werken over samendrukbare mengsels beperkt waren tot reguliere potentialen met polynomiale groei, welke falen om de fysieke beperking $c \in [-1, 1]$ af te dwingen.

De betekenis van het werk ligt in:

1. Het overbruggen van de kloof: Het adresseert de analytische kloof tussen incompressibele en samendrukbare faseveldmodellen door de enkelvoudige entropie in het samendrukbare regime te behandelen.
2. Minimale Aannames: De afleiding van schattingen voor de dichtheidsafhankelijke Cahn-Hilliard-vergelijking berust niet op de strikte positiviteit of begrensdheid van de dichtheid, een conditie die vaak vereist is in eerdere studies (bijv. in het incompressibele geval door de tweede auteur en Temam).
3. Fysieke Consistentie: Het bewijs demonstreert rigoureus dat de limietoplossing de fysieke grenzen van de fasevariabele respecteert, wat de consistentie van het model met de onderliggende thermodynamica van fase-scheiding waarborgt.

De auteurs merken op dat hun benadering steunt op een compactheidsmethode en dat het bewijs van de sterke convergentie van de dichtheden volgt uit gevestigde technieken (Lions-Feireisl theorie) die zijn aangepast aan dit specifieke gekoppelde systeem. Zij vermelden ook dat de resultaten kunnen worden uitgebreid naar tweedimensionale domeinen met verbeterde regulariteit, en dat meer algemene enkelvoudige potentialen die soortgelijke groeicondities voldoen, behandeld kunnen worden.