Weak-strong uniqueness for bi-fluid compressible system with algebraic closure

Titel: Zwakke-streng uniekheid voor een bi-vloeistof systeem met algebraïsche sluiting

Auteurs: Yang Li, Mária Lukáčová-Medvid'ová, Milan Pokorný, Ewelina Zatorska.

1. Probleemstelling en Context

Het artikel onderzoekt een wiskundig model voor een twee-vloeistof systeem van samendrukbare, viskeuze vloeistoffen in een begrensd driedimensionaal domein. Het systeem kenmerkt zich door:

• Een gemeenschappelijk snelheidsveld ($u$) voor beide fasen.
• Barotrope drukwetten (krachtige wetten) voor beide vloeistoffen ($p_+ = \rho_+^{\gamma_+}$ en $p_- = \rho_-^{\gamma_-}$).
• Een algebraïsche sluiting (algebraic closure): de drukken van beide fasen zijn gelijk ($p_+ = p_-$). Dit staat in contrast met differentiaal-sluitingsmodellen (zoals Baer-Nunziato), waarbij het volumefractie ($\alpha$) een transportvergelijking zonder extra brontermen volgt.

Het centrale probleem:
Hoewel de existentie van globale zwakke oplossingen (met eindige energie) bewezen is (Novotný & Pokorný, 2020) en lokale sterke oplossingen bestaan (Piasecki & Zatorska, 2022), was het uniekheidsprobleem open. Specifiek: als er zowel een zwakke als een sterke oplossing bestaan die uit dezelfde beginvoorwaarden voortkomen, moeten deze dan samenvallen zolang de sterke oplossing bestaat?

De grote uitdaging in dit specifieke model is dat door de algebraïsche sluiting ($p_+ = p_-$) de evolutie van het volumefractie $\alpha$ niet langer een pure transportvergelijking is, maar een niet-lineaire bronterm bevat die afhankelijk is van de divergentie van de snelheid ($\text{div } u$). Dit creëert extra, lastige termen in de relatieve entropie-ongelijkheid die in eerdere werken (zoals voor mono-vloeistoffen of differentiaal-sluiting) niet voorkwamen.

2. Methodologie

De auteurs gebruiken de methode van relatieve entropie (relative entropy method), een krachtig hulpmiddel om uniekheid en stabiliteit van zwakke oplossingen te bewijzen door ze te vergelijken met een sterke oplossing.

Kernstappen in de analyse:

1. Formulering van het systeem:
   Het systeem wordt herschreven in termen van de partiële massa's $R = \alpha \rho_+$ en $Q = (1-\alpha)\rho_-$. De druk wordt uitgedrukt als een functie van $R$ en $Q$ via een impliciete relatie.

2. Afleiding van de transportvergelijking voor $\alpha$:
   Een cruciale bijdrage is de strikte afleiding van de vergelijking voor het volumefractie $\alpha$. In tegenstelling tot het Baer-Nunziato-model, voldoet $\alpha$ aan:
   $$\partial_t \alpha + u \cdot \nabla \alpha + \omega_\alpha \text{div } u = 0$$
   waarbij $\omega_\alpha$ een complexe, niet-lineaire functie is van $\alpha$ en de adiabatische exponenten. Deze term $\omega_\alpha \text{div } u$ is de bron van de moeilijkheden.

3. Relatieve Entropie Ongelijkheid:
   De auteurs definiëren een relatieve entropie functionaal $\mathcal{E}$ die de "afstand" meet tussen de zwakke oplossing $(\alpha, \rho_+, \rho_-, u)$ en de sterke oplossing $(\beta, \tilde{\rho}_+, \tilde{\rho}_-, v)$.
   $$\mathcal{E} \sim \int \frac{1}{2}(\rho_{tot})|u-v|^2 + \text{thermodynamische termen} + \frac{1}{2}(\alpha-\beta)^2$$
   Door de vergelijkingen te testen met de sterke oplossing, leiden ze een ongelijkheid af voor de tijdsafgeleide van $\mathcal{E}$.

4. Bewerking van de "Stoornis" (Defect) Termen:
   De algebraïsche sluiting introduceert extra termen in de ongelijkheid die niet vanzelf opheffen (zoals in het geval van pure transport). De auteurs lossen dit op door:

   • De specifieke impliciete structuur van de drukwet te benutten.
   • Een stabiliteitsschatting voor het volumefractie af te leiden (Lemma 5.2) die de verschillen in $\alpha$ en $\beta$ koppelt aan de verschillen in snelheid en divergentie.
   • De extra termen te groeperen en te schatten met behulp van de convexiteit van de Helmholtz-potentiaal en de begrensdheid van de sterke oplossing.

5. Gronwall-argument:
   Na het schatten van alle resterende termen (aangeduid als $J_1$ tot $J_8$ in het artikel) en het combineren van de schattingen voor de kinetische energie en het volumefractie, verkrijgen ze een differentiaal-ongelijkheid van de vorm:
   $$\frac{d}{dt}\mathcal{E} \leq C(t) \mathcal{E}$$
   Waarbij $C(t)$ afhangt van de reguliere (sterke) oplossing. Door de stelling van Gronwall toe te passen, volgt dat als $\mathcal{E}(0) = 0$, dan is $\mathcal{E}(t) = 0$ voor alle $t$ in de levensduur van de sterke oplossing.

3. Belangrijkste Resultaten

• Hoofdstelling (Theorem 2.1 & 5.1): Elke globale zwakke oplossing (in de zin van Novotný-Pokorný) die uit dezelfde beginvoorwaarden voortkomt als een lokale sterke oplossing (in de zin van Piasecki-Zatorska), coïncideert met die sterke oplossing zolang de sterke oplossing bestaat.
• Verwijdering van restricties: In tegenstelling tot eerdere werken (zoals Jin & Novotný, 2020) voor differentiaal-sluiting, vereist dit bewijs geen positieve ondergrens voor het volumefractie $\alpha$ (d.w.z. $\alpha$ mag naar 0 of 1 gaan). Dit is een significant doorbraak omdat de algebraïsche sluiting vaak leidt tot singulariteiten in de grenzen.
• Technische innovatie: De paper introduceert een mechanisme om de defecten veroorzaakt door de niet-lineaire bronterm in de $\alpha$-vergelijking te controleren, zonder de convexiteit van de vrije energie als enige redding te hoeven gebruiken op een manier die restricties oplegt.

4. Significatie en Impact

• Uniekheid in Multi-fase stroming: Dit is een van de eerste resultaten dat de weak-strong uniekheid bewijst voor een volledig samendrukbare, viskeuze twee-vloeistof systeem met algebraïsche druksluiting. Het sluit een belangrijke theoretische kloof tussen de bestaande existentietheorie en de fysieke intuïtie dat oplossingen uniek moeten zijn.
• Stabiliteit en Grenswaarden: De afgeleide relatieve entropie-ongelijkheid biedt een robuust mechanisme voor stabiliteit. Dit is essentieel voor het bestuderen van singuliere limieten (bijvoorbeeld de incompressibele limiet of de limiet naar inviscide stroming). Het bewijst dat formele asymptotische analyses rigoureus kunnen worden onderbouwd.
• Numerieke Validatie: De resultaten bieden een theoretische basis voor de validatie van numerieke schema's voor dit type complexe multi-fase stromingen.
• Toepasbaarheid: De methode kan naar verwachting worden uitgebreid naar andere systemen met differentiaal-sluiting of meer complexe constitutieve relaties.

Conclusie:
Het artikel levert een fundamentele bijdrage aan de wiskundige theorie van multi-fase vloeistoffen. Het overwint de specifieke analytische obstakels die ontstaan door de algebraïsche koppeling van drukken en bewijst dat, ondanks de complexiteit en de aanwezigheid van niet-lineaire brontermen, de zwakke oplossingen uniek zijn binnen de levensduur van een sterke oplossing, zonder onrealistische restricties op de fysieke variabelen te stellen.