Existence and regularity of solutions to parabolic-elliptic nonlinear systems

Titel: Existentie en Regulariteit van Oplossingen voor Parabool-Elliptische Nietlineaire Systemen

Auteur: Marco Picerni
Context: Het artikel behandelt een parabolisch-elliptisch stelsel van partiële differentiaalvergelijkingen (PDE's) met discontinuïteiten in de coëfficiënten, gelinkt aan chemotaxis-modellen (Keller-Segel).

1. Het Probleem

De auteur onderzoekt het volgende stelsel op een begrensd domein $\Omega \subset \mathbb{R}^N$ ($N \geq 3$) voor $t \in (0, T)$:

$$\begin{cases} u_t - \text{div}(A(x, t)\nabla u) = -\text{div}(u M(x) \nabla \psi) + f(x, t) & \text{in } \Omega_T, \\ -\text{div}(M(x) \nabla \psi) = |u|^\theta & \text{in } \Omega_T, \\ u = \psi = 0 & \text{op } \partial\Omega \times (0, T), \\ u(x, 0) = 0 & \text{in } \Omega. \end{cases}$$

Belangrijke kenmerken van het model:

• Koppeling: De eerste vergelijking is parabolisch (voor $u$) en de tweede is elliptisch (voor $\psi$).
• Niet-lineariteit: De term $|u|^\theta$ in de elliptische vergelijking met $\theta \in (0, 2/N)$ zorgt voor een sublineaire afhankelijkheid. Dit staat in contrast met het klassieke Keller-Segel-model dat lineair is.
• Data: De bronterm $f$ behoort tot $L^1(\Omega_T)$ (zeer zwakke data), en de matrices $A$ en $M$ zijn meetbaar, begrensd en uniform elliptisch.
• Moeilijkheid: De term $u M(x) \nabla \psi$ is niet voldoende regulier om direct als een standaard distributie te werken wanneer $f$ slecht is (bijv. $L^1$). Dit vereist veralgemeende begrippen van oplossingen.

2. Methodologie

De bewijzen volgen een approximatie-argument gecombineerd met a priori schattingen en compacte inbeddingen.

1. Approximatie:

   • Er wordt een gesneden stelsel geconstrueerd waarbij $u$ en $f$ worden getruncateerd met operatoren $T_n(s) = \max(-n, \min(s, n))$.
   • Het gesneden stelsel wordt opgelost met behulp van een vastpuntstelling van Schauder. De operator $S$ die een functie $w$ afbeeldt op de oplossing $v$ van het lineaire parabolische deel, wordt getoond als compact en continu.

2. A priori Schattingen:

   • $L^1$-schatting: Door gebruik te maken van getruncateerde testfuncties ($T_h(u)$) wordt bewezen dat de $L^1$-norm van $u$ wordt beheerst door de $L^1$-norm van $f$.
   • Positiviteit: Er wordt bewezen dat $u \geq 0$ en $\psi \geq 0$ (gebruikmakend van de positiviteit van $f$).
   • $L^\infty$-schattingen: Voor voldoende reguliere data ($f \in L^m$ met $m$ groot) worden $L^\infty$-schattingen afgeleid met behulp van Stampacchia's lemma en de Gagliardo-Nirenberg ongelijkheid voor parabolische vergelijkingen.
   • Energie-schattingen: Voor verschillende integrabiliteitsklassen van $f$ worden schattingen voor $\nabla u$ en $\nabla \psi$ afgeleid.

3. Overgang naar de limiet:

   • Afhankelijk van de regulariteit van $f$, worden verschillende concepten van oplossingen gebruikt:
     • Distributie-oplossingen: Voor $f \in L^m$ met $m$ groot genoeg.
     • Entropie-oplossingen: Voor zeer singuliere data ($f \in L^1$ of $m$ klein). Hier wordt gebruik gemaakt van de definitie van entropie-oplossingen (geïntroduceerd door Boccardo et al.) om de convergentie van de niet-lineaire term $u \nabla \psi$ te garanderen.
   • Compactheid: Er wordt gebruik gemaakt van Corollary 4 uit [14] (Aubin-Lions lemma variant) om sterke convergentie van de rij van approximatie-oplossingen $(u_n)$ te verkrijgen, wat essentieel is om de limiet in de niet-lineaire termen te nemen.

3. Belangrijkste Resultaten

De resultaten zijn ingedeeld op basis van de integrabiliteit $m$ van de data $f \in L^m(\Omega_T)$. De notatie $p^*$ en $p^{**}$ verwijst naar de parabolische Sobolev-exponenten (analoog aan elliptische exponenten maar met dimensie $N+2$).

A. Geval: $f \in L^m$ met $m > \frac{N+2}{2}$ (Gereguleerde Data)

• Resultaat (Stelling 2.1): Er bestaat een unieke oplossing $(u, \psi)$ waarbij $u$ begrensd is ($L^\infty$).
• Regulariteit: $u \in C^0([0, T]; L^2(\Omega)) \cap L^2(0, T; H^1_0(\Omega)) \cap L^\infty(\Omega_T)$.
• De oplossing voldoet aan de vergelijking in de klassieke zwakke zin.

B. Geval: $\frac{2N+4}{N+4} \leq m < \frac{N+2}{2}$ (Middelmatige Data)

• Resultaat (Stelling 2.2): Er bestaat een oplossing met verbeterde integrabiliteit, maar $u$ is niet noodzakelijk begrensd.
• Regulariteit: $u \in L^\infty(0, T; L^{\frac{Nm}{N+2-2m}}(\Omega)) \cap L^{m^{**}}(\Omega_T) \cap L^2(0, T; H^1_0(\Omega))$.
• De initiële voorwaarde wordt in een zwakke zin voldaan (via een convergerende rij).

C. Geval: $\frac{2N+4}{N+6} \leq m < \frac{2N+4}{N+4}$ (Scherpe Data)

• Resultaat (Stelling 2.4): Er bestaat een oplossing waarbij de term $u M(x) \nabla \psi$ in $L^1$ ligt, wat toelaat om de vergelijking in een zwakke zin te interpreteren.
• Regulariteit: $u \in L^{m^{**}}(\Omega_T) \cap L^{m^*}(0, T; W^{1, m^*}_0(\Omega))$.
• Dit is het kritieke bereik waar de "interactie" tussen de twee vergelijkingen net voldoende regulariteit biedt om een distributie-oplossing te definiëren.

D. Geval: $1 \leq m < \frac{2N+4}{N+6}$ (Zeer Singuliere Data / $f \in L^1$)

• Resultaat (Stelling 2.6): Voor $f \in L^1$ bestaat er geen distributie-oplossing in de gebruikelijke zin omdat $u \nabla \psi$ niet in $L^1$ ligt.
• Oplossing: Er wordt bewezen dat er een entropie-oplossing bestaat.
• Regulariteit: $u \in L^\infty(0, T; L^1(\Omega)) \cap L^s(\Omega_T) \cap L^q(0, T; W^{1,q}_0(\Omega))$ voor specifieke $s < 1^{**}$ en $q < 1^*$.
• De bewijstechniek vereist het gebruik van getruncateerde testfuncties en de convergentie van $T_k(u_n)$ bijna overal.

4. Bijdragen en Significantie

1. Uitbreiding van Keller-Segel-theorie: Het artikel generaliseert bestaande resultaten voor het Keller-Segel-model naar een parabolisch-elliptisch systeem met discontinue coëfficiënten en sublineaire brontermen ($|u|^\theta$).
2. Regulariteitsverbetering door koppeling: Een kerninzicht is dat de koppeling tussen de parabolische en elliptische vergelijking leidt tot een verbetering in de regulariteit van de oplossing $u$ ten opzichte van wat men zou verwachten voor een enkele parabolische vergelijking met dezelfde data. Dit bevestigt eerdere observaties voor stationaire gevallen in dynamische settingen.
3. Behandeling van $L^1$-data: Het artikel biedt een volledig kader voor het bestaan van oplossingen voor $L^1$-data, inclusief de noodzaak van entropie-oplossingen en de precieze regulariteitseigenschappen (integrabiliteit en gradient-schattingen) die hieruit voortvloeien.
4. Technische Innovatie: De combinatie van Schauder's vastpuntstelling voor de approximatie, gevolgd door zorgvuldige a priori schattingen en het gebruik van entropie-technieken voor de limietovergang, biedt een robuust bewijskader voor niet-lineaire systemen met lage regulariteit.

Conclusie:
Picerni bewijst dat ondanks de discontinuïteiten in de coëfficiënten en de zwakke data, het specifieke structurele karakter van dit parabolisch-elliptische systeem (met sublineaire koppeling) voldoende regulariteit genereert om het bestaan van oplossingen te garanderen. De aard van de oplossing (klassiek, zwak, of entropie) hangt kwantitatief af van de integrabiliteit van de bronterm $f$.