On the Hölder continuity of signed solutions to doubly nonlinear parabolic equations in the mixed degenerate/singular cases

Titel en Context

Titel: Over de Hölder-continuïteit van voor teken veranderende oplossingen van dubbel niet-lineaire parabolische vergelijkingen in gemengde degenererende/singuliere gevallen.
Auteur: Igor I. Skrypnik.
Onderwerp: Partiële differentiaalvergelijkingen (PDE's), specifiek de regulariteitstheorie van dubbel niet-lineaire parabolische vergelijkingen.

1. Het Probleem

Het artikel onderzoekt de lokale Hölder-continuïteit van zwakke oplossingen $u$ aan de volgende klasse van dubbel niet-lineaire parabolische vergelijkingen:
$$\frac{\partial}{\partial t} \left(|u|^{q-1}u\right) - \text{div} \left(|Du|^{p-2} Du\right) = 0$$
De vergelijking bevat twee soorten niet-lineariteiten:

1. Een tijdsafhankelijke term die singulier of degenererend kan zijn bij $u=0$ (afhankelijk van $q$).
2. Een ruimtelijke term die singulier of degenererend kan zijn bij $Du=0$ (afhankelijk van $p$).

De vergelijking dekt bekende modellen zoals de porieuze medium-vergelijking ($p=2$), de parabolische $p$-Laplace-vergelijking ($q=1$) en de vergelijking van Trudinger ($q=p-1$).

De Kernvraag:
Tot nu toe is de Hölder-continuïteit voor voor teken veranderende oplossingen (sign-changing solutions) voornamelijk bestudeerd in de "dubbel degenererende" ($q < p-1, p > 2$) en "dubbel singuliere" ($q > p-1, 1 < p < 2$) gevallen. Dit artikel richt zich op de gemengde gevallen die voorheen niet waren onderzocht voor teken-veranderende oplossingen:

• Geval A (Degenererend/Singulier): $0 < q < p-1$ en $p < 2$.
• Geval B (Singulier/Degenererend): $q > p-1$ en $p > 2$.

In deze gevallen vertoont de vergelijking zowel degeneratie als singulariteit, afhankelijk van of $u$ of $Du$ dicht bij nul ligt.

2. Methodologie

De bewijsvoering is gebaseerd op de methode van DiBenedetto voor de regulariteit van niet-lineaire parabolische vergelijkingen, maar vereist aanzienlijke aanpassingen voor teken-veranderende oplossingen in de gemengde regimes.

Belangrijkste methodologische stappen:

1. Rescaling en Cylinder Constructie:
   De auteurs gebruiken een rescaling-methode om het probleem te reduceren tot een standaard situatie. Ze construeren cilinders van de vorm $Q_{r, b \omega^{q-p+1} r^p}$, waarbij $\omega$ de oscillatie van de oplossing vertegenwoordigt. De tijdschaal wordt aangepast aan de niet-lineariteit ($q-p+1$).

2. Integraal-Harnack-ongelijkheden voor teken-veranderende oplossingen:
   Een centrale innovatie is het afleiden van nieuwe integralen van het Harnack-type die geldig zijn voor oplossingen die van teken kunnen veranderen. In plaats van alleen $u$ te gebruiken, werken de auteurs met termen zoals $\pm(|\mu_{\pm}|^{q-1}\mu_{\pm} - |u|^{q-1}u)$.

   • Voor Geval A ($q < p-1, p < 2$): Het bewijs maakt gebruik van een specifieke schatting die de singulariteit in de tijd en de degeneratie in de ruimte combineert.
   • Voor Geval B ($q > p-1, p > 2$): Een andere variant van de integraal-ongelijkheid wordt gebruikt, waarbij de groei van de oplossing anders wordt gecontroleerd.

3. Uitbreiding van Positiviteit (Expansion of Positivity):
   Een cruciale stap is het bewijzen dat als een oplossing op een bepaald tijdstip "positief" is op een voldoende groot deel van een ruimte-bol, deze positiviteit zich uitbreidt naar een kleiner gebied in de tijd. Voor teken-veranderende oplossingen in het singuliere/degenererende regime is dit niet triviaal. Het artikel introduceert een nieuw lemma (Theorema 1.4) dat deze uitbreiding garandeert onder specifieke voorwaarden voor de grenswaarden $\mu_{\pm}$.

4. Iteratieve Schattingen:
   Het bewijs van de Hölder-continuïteit volgt een iteratief proces (De Giorgi-techniek):

   • Als de oscillatie klein is, wordt de regulariteit direct afgeleid.
   • Als de oscillatie groot is, wordt gekeken of de oplossing dicht bij de onder- of bovengrens ligt.
   • Door de integraal-Harnack-ongelijkheden en de uitbreiding van positiviteit te combineren, wordt aangetoond dat de oscillatie van de oplossing in een kleinere cilinder afneemt met een factor $\sigma < 1$.

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling (Theorema 1.1):
De auteurs bewijzen dat elke lokaal begrensde, lokale zwakke oplossing $u$ van de vergelijking lokaal Hölder-continu is in $\Omega_T$, mits de parameters $p$ en $q$ voldoen aan één van de volgende twee sets voorwaarden:

1. $0 < q < p-1$ en $p < 2$ (met $p + N(p-2) > 0$).
2. $q > p-1$ en $p > 2$ (met $qp + N(p-1-q) > 0$).

Specifieke Resultaten:

• Theorema 1.2 & 1.3: Afleiding van nieuwe integralen van het Harnack-type voor de twee gemengde gevallen. Deze ongelijkheden controleren de supremum en infimum van de "energie" van de oplossing over tijd en ruimte.
• Propositie 1.1: Een fundamenteel resultaat dat de oscillatie van de oplossing in een verkleinde cilinder reduceert tot een fractie van de oorspronkelijke oscillatie, mits de oplossing niet te dicht bij nul ligt (of andersom, afhankelijk van het geval).
• Theorema 1.4: Een nieuw resultaat over de "uitbreiding van positiviteit" voor teken-veranderende oplossingen in het singuliere/degenererende geval. Dit is essentieel om de regulariteit te bewijzen wanneer de oplossing van teken wisselt.

Technische Innovatie:
Het artikel slaagt erin om de bekende regulariteitsresultaten uit te breiden naar regimes waar de vergelijking zowel singulier als degenererend gedrag vertoont, specifiek voor oplossingen die niet noodzakelijk niet-negatief zijn. Dit vult een belangrijke lacune in de literatuur op, aangezien eerdere werken zich vaak beperkten tot niet-negatieve oplossingen of de "dubbel" degenererende/singuliere gevallen.

4. Significatie en Impact

• Wiskundige Volledigheid: Het werk sluit de theorie van de Hölder-continuïteit voor deze klasse van vergelijkingen af voor een breder scala aan parameters $p$ en $q$. Het behandelt de "gemengde" gevallen die eerder als open probleem werden beschouwd voor teken-veranderende oplossingen.
• Methodologische Vooruitgang: De ontwikkeling van integraal-Harnack-ongelijkheden die specifiek zijn ontworpen voor teken-veranderende oplossingen in deze complexe regimes, biedt een nieuw gereedschapskist voor de analyse van niet-lineaire PDE's.
• Toepassingen: Aangezien deze vergelijkingen modellen zijn voor fysische processen zoals niet-lineaire diffusie, filtratie in porieuze media en warmtegeleiding in materialen met niet-lineaire eigenschappen, zorgt de bewezen regulariteit voor een stevige theoretische basis voor numerieke simulaties en fysische interpretaties, zelfs wanneer de oplossing van teken wisselt (bijv. drukverschillen of concentratiegradiënten die negatief kunnen worden).

Conclusie:
Dit artikel is een significante bijdrage aan de theorie van niet-lineaire parabolische vergelijkingen. Het bewijst dat de Hölder-continuïteit behouden blijft in complexe, gemengde regimes, zelfs voor oplossingen die van teken veranderen, door middel van verfijnde integralen van het Harnack-type en nieuwe technieken voor de uitbreiding van positiviteit.