A game-theoretical interpretation for a doubly nonlinear parabolic equation

1. Probleemstelling

Het centrale doel van dit artikel is het bieden van een speltheoretische interpretatie voor de dubbel niet-lineaire parabolische vergelijking:
$$|\partial_t u|^{p-2} \partial_t u - \Delta_p u = 0$$
waarbij $p > 2$ en $\Delta_p u = \nabla \cdot (|\nabla u|^{p-2} \nabla u)$ de standaard $p$-Laplacian is.

De vergelijking wordt "dubbel niet-lineair" genoemd omdat:

1. De diffusie wordt gedreven door de niet-lineaire $p$-Laplacian.
2. De tijdsafgeleide $\partial_t u$ verschijnt via een niet-lineaire term $|\partial_t u|^{p-2} \partial_t u$.

De auteurs bestuderen dit probleem in twee contexten:

• Het Dirichlet-probleem in begrensde domeinen $\Omega \subset \mathbb{R}^d$.
• Het Cauchy-probleem in de hele ruimte $\mathbb{R}^d$.

Het hoofddoel is om te bewijzen dat de viscositeitoplossingen van deze partiële differentiaalvergelijking (PDE) kunnen worden gekarakteriseerd als de limiet van de waardenfuncties van een specifiek stochastisch spel.

2. Methodologie en Kerninnovatie

De kern van de methologie ligt in de ontwikkeling van een nieuw Asymptotisch Gemiddelde Waarde Formule (AMVF) voor de $p$-Laplacian, die specifiek is ontworpen voor een speltheoretische interpretatie.

Nieuwe Asymptotisch Gemiddelde Waarde Formule (AMVF)

Voorheen bestonden er formules voor de $p$-Laplacian (zoals in [13]), maar deze hadden beperkingen:

• Ze vereisten a priori kennis van het teken van $\Delta_p \phi$.
• Ze faalden op punten waar de gradiënt $\nabla \phi = 0$ (kritieke punten).

De auteurs introduceren een nieuwe AMVF die robuust is:

• Het is onafhankelijk van het teken van de $p$-Laplacian.
• Het blijft geldig zelfs wanneer de gradiënt verdwijnt.

De operator $A_\epsilon[\phi]$ wordt gedefinieerd als een combinatie van supremum, infimum en gemiddelden over ballen met stralen die afhangen van een parameter $c \in [m(\epsilon), M(\epsilon)]$:
$$A_\epsilon[\phi](x) = \frac{1}{2} \max \left[ \inf_{c} \{ \dots \}, \phi(x) \right] + \frac{1}{2} \min \left[ \sup_{c} \{ \dots \}, \phi(x) \right]$$
Deze operator benadert de vergelijking via de asymptotische expansie:
$$A_\epsilon[\phi](x, t) = \phi\left(x, t + \frac{\epsilon^2}{2}\right) + \frac{\epsilon^2}{2} \left( (\Delta_p \phi(x, t))^{\frac{1}{p-1}} - \partial_t \phi(x, t) \right) + o(\epsilon^2)$$

Dynamisch Programmeerprincipe (DPP)

Op basis van deze AMVF wordt een Dynamisch Programmeerprincipe (DPP) afgeleid. Voor een functie $u_\epsilon$ geldt:
$$u_\epsilon(x, t) = A_\epsilon[u_\epsilon](x, t - \epsilon^2/2)$$
Dit kan worden geïnterpreteerd als een expliciet Euler-schema voor de oorspronkelijke PDE. De auteurs bewijzen het bestaan en de uniciteit van oplossingen voor dit DPP in begrensde domeinen.

3. Het Geassocieerde Stochastische Spel

De auteurs introduceren een twee-speler, zero-sum, stochastisch spel waarvan de waardenfunctie exact overeenkomt met de oplossing van het DPP.

Spelregels:

• Spelers: Speler I (maximaliseert de uitbetaling) en Speler II (minimaliseert de uitbetaling).
• Ronde 1: Een eerlijke munt wordt opgegooid (50% kop, 50% munt).
• Ronde 2 (afhankelijk van Ronde 1):
  • Als het resultaat "kop" is: Speler I kan kiezen om op dezelfde positie te blijven (tijd vermindert met $\epsilon^2/2$) of het spel te starten.
  • Als het spel start: Speler II kiest een parameter $c \in [m(\epsilon), M(\epsilon)]$. Daarna wordt een bevooroordeelde munt opgegooid met kansen $\alpha = (p-2)/(p-1)$ en $1-\alpha$.
    • Kop: Speler I kiest de volgende positie in een kleine bal $B_{\epsilon^2 c^{1-\alpha}}$.
    • Munt: Er wordt een "Tug-of-War met ruis" gespeeld in een grotere bal $B_{\gamma \epsilon c^{-\alpha/2}}$. Dit is een bekend spel waarbij spelers om de beurt de positie kiezen of een willekeurige stap wordt gemaakt.
  • Als het resultaat van Ronde 1 "munt" is, worden de rollen van Speler I en II omgewisseld.
• Einde: Het spel stopt wanneer de positie het domein verlaat of de tijd op is. De uitbetaling wordt bepaald door de randvoorwaarden ($g$) of de beginwaarde ($u_0$).

4. Belangrijkste Resultaten

1. Asymptotische Expansies:

   • Bewezen dat de operator $A_\epsilon$ een correcte asymptotische expansie geeft voor zowel $C^2$ als $C^3$ functies, inclusief punten waar de gradiënt nul is.
   • De fouttermen zijn zorgvuldig geanalyseerd om degeneratie bij $\nabla \phi = 0$ te voorkomen.

2. Karakterisering van Viscositeitoplossingen:

   • Er wordt bewezen dat een continue functie $u$ een viscositeitoplossing is van de PDE dan en slechts dan als het een viscositeitoplossing is van de AMVF-relatie:
     $$u(x, t + \epsilon^2/2) = A_\epsilon[u](x, t) + o(\epsilon^2)$$

3. Convergentie in Begrensde Domeinen:

   • Voor het Dirichlet-probleem in $\Omega$ bewijzen de auteurs dat de unieke oplossing $u_\epsilon$ van het DPP lokaal uniform convergeert naar de unieke viscositeitoplossing van de oorspronkelijke PDE wanneer $\epsilon \to 0$.
   • Er wordt een vergelijkingsprincipe voor het DPP bewezen.

4. Convergentie in de Hele Ruimte ($\mathbb{R}^d$):

   • Voor het Cauchy-probleem in $\mathbb{R}^d$ wordt uniciteit van de PDE-oplossing niet verondersteld (dit is een open probleem).
   • De auteurs bewijzen echter dat een deelrij van oplossingen $u_{\epsilon_j}$ convergeert naar een viscositeitoplossing.
   • Cruciaal resultaat: Als de beginwaarde $u_0$ een exponentiële afname vertoont ($|u_0(x)| \leq C e^{-|x|}$), dan convergeert de hele familie $u_\epsilon$ uniform naar de oplossing.

5. Speltheoretische Waarde:

   • Het is bewezen dat het geïntroduceerde spel een waarde heeft (d.w.z. de supremum van de infimum is gelijk aan de infimum van de supremum) en dat deze waarde exact gelijk is aan de oplossing van het DPP.
   • Hierdoor convergeert de waarde van het spel naar de viscositeitoplossing van de PDE.

5. Significatie en Bijdrage

Dit artikel is significant voor de volgende redenen:

• Overbrugging van theorieën: Het verbindt de theorie van niet-lineaire parabolische PDE's met stochastische speltheorie, een gebied dat eerder voornamelijk was gevestigd op elliptische problemen (zoals de infinity-Laplacian en Tug-of-War spellen).
• Robuustheid bij kritieke punten: De nieuwe AMVF lost een fundamenteel probleem op: eerdere formules faalden waar de gradiënt verdween. De nieuwe formule werkt ook op deze punten, wat essentieel is voor de volledige karakterisering van viscositeitoplossingen.
• Numerieke implicaties: Het DPP fungeert als een expliciet Euler-schema. Dit biedt een nieuwe numerieke methode om oplossingen van deze complexe dubbel niet-lineaire vergelijkingen te benaderen via Monte-Carlo simulaties van het spel.
• Generalisatie: Het werk breidt de bekende connecties uit van de $p$-Laplacian naar de dubbel niet-lineaire variant, wat relevant is voor modellen in fysica en materiaalwetenschappen waar zowel tijdsafhankelijke als ruimtelijke niet-lineariteiten een rol spelen.

Samenvattend bieden de auteurs een volledig raamwerk waarin een complexe PDE wordt vertaald naar een wiskundig spel, waarbij de oplossing van het spel convergerend gedraagt naar de oplossing van de PDE, zelfs in de meest uitdagende gevallen van gradiënt-vernietiging.