Interfaces and non-uniqueness in a cross-diffusion system with independent drifts

Technische Samenvatting: Interfaces en Niet-Uniciteit in een Cross-Diffusiesysteem met Onafhankelijke Drifts

Probleemstelling
Het artikel onderzoekt een eendimensionaal cross-diffusiesysteem dat de evolutie van twee populatiedichtheden beschrijft, $\rho(t, x)$ en $\mu(t, x)$, onderworpen aan een gemeenschappelijke drukwet die afhankelijk is van de totale dichtheid $S = \rho + \mu$ en afzonderlijke externe drift-potentialen $V$ en $W$. Het systeem wordt beheerst door:
$$\begin{aligned} \partial_t\rho - \partial_x(\rho \partial_x f'(\rho + \mu)) - \partial_x(\rho \partial_x V) &= 0, \\ \partial_t\mu - \partial_x(\mu \partial_x f'(\rho + \mu)) - \partial_x(\mu \partial_x W) &= 0. \end{aligned}$$
De centrale vraag die wordt behandeld is de welgeborenheid van het Cauchy-probleem wanneer de initiële data gesegregeerd zijn (dat wil zeggen, $\rho_0$ en $\mu_0$ hebben disjuncte ondersteuningsgebieden die elkaar ontmoeten bij een enkele interface) en de drifts verschillend zijn. Specifiek onderzoeken de auteurs het regime waarin de drifts de twee fasen naar elkaar toe duwen bij de interface ($\partial_x W(0) - \partial_x V(0) > 0$). Hoewel eerdere literatuur heeft vastgesteld dat gesegregeerde oplossingen bestaan en onder bepaalde voorwaarden gesegregeerd blijven, stelt dit werk de vraag of dergelijke oplossingen uniek zijn vergeleken met oplossingen verkregen via de vanishing-viscosity limiet (verdwijnende viscositeit).

Methodologie
De auteurs maken gebruik van een relatieve entropie benadering om verschillende concepten van oplossingen te onderscheiden. De kern van hun methodologie omvat:

1. Relatieve Entropie Functionaal: Ze definiëren een functionaal $\Phi[\rho, \mu] = \int_{\mathbb{R}} h(\rho, \mu) dx$, waarbij $h(u, v) = (u+v)\log(u+v) - u\log u - v\log v$. Dit functionaal is niet-negatief en verdwijnt als en slechts als de dichtheden gesegregeerd zijn ($\rho\mu = 0$).
2. Viskeuze Approximatie: Ze analyseren het systeem met toegevoegde viscositeitstermen ($\varepsilon \partial_{xx}$) en bestuderen de limiet wanneer $\varepsilon \to 0$. Ze leiden een entropie-dissipatie-identiteit af op het viskeuze niveau en gaan over naar de limiet om een ondergrens te verkrijgen voor de relatieve entropie van de vanishing-viscosity oplossing.
3. Distributionele Analyse bij de Interface: Een cruciale technische stap is het karakteriseren van de distributionele afgeleide van de grootheid $q = \partial_x \rho - \frac{\rho}{S}\partial_x S$ bij de interface. Voor een gesegregeerde oplossing met een scherpe interface gedraagt deze term zich als een Dirac-massa.
4. Tegenspraak via Mengen: De auteurs bewijzen dat als de drifts de fasen naar elkaar toe duwen, de ondergrens op de relatieve entropie voor een vanishing-viscosity oplossing strikt positief is, wat mengen impliceert. Daarentegen behoudt een gesegregeerde oplossing $\Phi \equiv 0$. Deze tegenspraak stelt niet-uniciteit vast.
5. Afhandeling van Algemene Data: Voor algemene initiële data moeten de auteurs waarborgen dat de interface niet verdwijnt (een vacuüm creëert) of wegspringt uit de regio waar drifts mengen. Hiervoor gebruiken zij:
   • Regulariteitsresultaten voor gesegregeerde oplossingen uit eerder werk ([56]).
   • Vergelijkingsprincipes en Harnack-ongelijkheden voor ontkoppelde drift-diffusievergelijkingen om aan te tonen dat als er een vacuüm bij de interface zou ontstaan, de soorten onmiddellijk zouden mengen, wat de segregatie-aanname tegenspreekt.
   • Constructie van druk-suboplossingen (geïnspireerd door travelling waves) voor het regime van trage diffusie ($\alpha > 1$) om het voortbestaan van de interface te bewijzen.

Belangrijkste Bijdragen en Resultaten

1. Expliciete Niet-Uniciteit voor Stationaire Toestanden:
   De auteurs construeren een expliciete stationaire gesegregeerde oplossing $(\bar{\rho}, \bar{\mu})$ waarbij de drukgradiënt de drifts aan weerszijden van de interface balanceert. Ze bewijzen dat deze oplossing een geldige zwakke oplossing is, maar niet een vanishing-viscosity oplossing kan zijn. Onder de voorwaarde dat de drifts de fasen naar elkaar toe duwen, produceert de vanishing-viscosity limiet noodzakelijkerwijs een overlap (mengen), terwijl de expliciete stationaire oplossing gesegregeerd blijft.

2. Niet-Uniciteit voor Algemene Initiële Data:
   Ter uitbreiding van het resultaat voorbij stationaire toestanden, bewijst het artikel dat voor een brede klasse van drukwetten (inclusief machtswetten $f'(s) \sim s^{\alpha-1}$ met $\alpha > 1/3$) en algemene gesegregeerde initiële data, het Cauchy-probleem ten minste twee verschillende zwakke oplossingen toelat:

   • Een gesegregeerde oplossing (geconstrueerd via minimizing movement schema's zoals in [56]).
   • Een vanishing-viscosity oplossing (geconstrueerd via compactheidsargumenten zoals in [58]).
     Deze oplossingen zijn verschillend omdat de vanishing-viscosity oplossing een mengzone ontwikkelt (positieve relatieve entropie), terwijl de gesegregeerde oplossing dat niet doet.

3. Entropie-Dissipatie-Ongelijkheid:
   Een centraal technisch resultaat is de afleiding van de ongelijkheid:
   $$\Phi[\rho(t), \mu(t)] \geq \int_0^t \langle q(s), \partial_x V - \partial_x W \rangle ds$$
   voor vanishing-viscosity oplossingen. Deze ongelijkheid kwantificeert het mengen dat wordt geïnduceerd door het verschil in drift en dient als het primaire instrument om de klassen van oplossingen te onderscheiden.

Betekenis en Claims
Het artikel claimt de eerste demonstratie te zijn van niet-uniciteit voor deze specifieke klasse van cross-diffusiesystemen met onafhankelijke drifts. De auteurs benadrukken dat:

• Fysische versus Mathematische Oplossingen: Dit fenomeen illustreert dat de "fysische" oplossing geselecteerd door vanishing viscosity (die mengen toestaat) verschilt van de mathematisch geldige gesegregeerde oplossing. Dit daagt de welgeborenheid van het systeem binnen de klasse van zwakke oplossingen uit.
• Analogie met het Muskat-probleem: Het gedrag vertoont een sterke gelijkenis met het Muskat-probleem, waarbij een onstabiele interface tussen vloeistoffen met verschillende dichtheden spontaan overgaat in een mengzone.
• Beperkingen van Bestaande Theorie: Dit werk onderstreept dat standaard existentietheorieën voor cross-diffusiesystemen (die vaak steunen op de compactheid van gladde benaderingen) oplossingen kunnen selecteren die geen segregatie behouden, zelfs wanneer gesegregeerde oplossingen bestaan.
• Reikwijdte: De auteurs stellen expliciet dat deze resultaten specifiek zijn voor cross-diffusiesystemen waar soorten geen zelf-diffusie vertonen. Ze merken op dat systemen met zelf-diffusieve termen een hogere regulariteit bezitten die scherpe interfaces voorkomt, en dat dit mechanisme van niet-uniciteit daarom niet verwacht wordt toe te passen op enkelvoudige soort advectie-diffusiemodellen of zelf-diffusieve cross-diffusiesystemen.

Het artikel concludeert dat voor cross-diffusiesystemen met onafhankelijke drifts die de fasen naar elkaar toe duwen, het Cauchy-probleem slecht-geboren is in de klasse van zwakke oplossingen zonder een meer restrictief selectiecriterium (zoals de vanishing-viscosity limiet) om tussen de gesegregeerde en gemengde toestand te onderscheiden.