Stochastic Homogenization of Non-local Hamilton-Jacobi-Bellman equations

Technische Samenvatting: Stochastische Homogenisering van Niet-Lokale Hamilton-Jacobi-Bellman Vergelijkingen

Probleemstelling
Dit artikel behandelt de stochastische homogenisering van niet-lokale Hamilton-Jacobi-Bellman (HJB) vergelijkingen in een stationair ergodisch willekeurig medium. De specifieke vergelijking die wordt bestudeerd is:
$$\begin{cases} \partial_t u^\epsilon(t, x) = \epsilon^{\alpha-1} \mathcal{L} u^\epsilon(t, x) + H\left(\nabla u^\epsilon(t, x), \frac{x}{\epsilon}, \omega\right), & (t, x) \in [0, \infty) \times \mathbb{R}^n, \\ u^\epsilon(0, x) = u_0(x), & x \in \mathbb{R}^n, \end{cases}$$
waarbij $\alpha \in (1, 2)$, $\omega$ een element vertegenwoordigt van een waarschijnlijkheidsruimte $(\Omega, \mathcal{F}, P)$, en $H$ een convexe, superlineair groeiende Hamiltonian is met snelle willekeurige oscillaties. De operator $\mathcal{L}$ is een niet-lokale integraal-differentiaaloperator gedefinieerd door een Lévy-maat van de vorm $K(\hat{y})|y|^{-n-\alpha}dy$, waarbij $K$ een gladde, niet-negatieve, even en uniform niet-degeneratieve functie is op de eenheidssfeer. Deze operator dient als de infinitesimale generator van een $\alpha$-stabiel type sprong-diffusieproces.

Het doel is om te bewijzen dat naarmate $\epsilon \to 0$, de oplossing $u^\epsilon$ lokaal uniform (bijna zeker) convergeert naar de oplossing $u$ van een deterministische gehomogeniseerde vergelijking:
$$\begin{cases} \partial_t u(t, x) = \bar{H}(\nabla u(t, x)), \\ u(0, x) = u_0(x), \end{cases}$$
waarbij $\bar{H}$ een deterministische, convexe effectieve Hamiltonian is die onafhankelijk is van de ruimtelijke variabele $x$ en de willekeurige parameter $\omega$.

Methodologie
De auteurs passen de methode aan die is ontwikkeld door Kosygina, Rezakhanlou en Varadhan (CPAM 2006) voor lokale HJB-vergelijkingen met verdwijnende Laplacian-termen aan de niet-lokale setting aan die betrokken is bij sprong-diffusies. De methodologie steunt op drie hoofdzuilen:

1. Stochastische Optimale Controle Representatie: De oplossing $u^\epsilon$ wordt gerepresenteerd via een stochastisch controleprobleem gedreven door een sprong-diffusieproces. De auteurs stellen vast dat de niet-lokale operator $\mathcal{L}$ kan worden herschreven in een "divergentievorm" $\mathcal{L}u = \nabla \cdot (\mathcal{R}\nabla u)$, waarbij $\mathcal{R}$ een reguliere integraaloperator is. Deze structurele karakterisering is cruciaal voor het afhandelen van de niet-lokale termen in het homogeniseringsproces.

2. Omgevingsproces en Effectieve Hamiltonian: Volgens de aanpak van [24] tillen de auteurs de sprong-diffusieprocessen van de fysieke ruimte $\mathbb{R}^n$ naar de waarschijnlijkheidsruimte $\Omega$ om een "omgevingsproces" $\theta_t$ te definiëren. Gebruikmakend van de ergodiciteit van dit proces, definiëren zij de effectieve Lagrangiaan $\bar{L}$ en vervolgens de effectieve Hamiltonian $\bar{H}$ via een variatiemethode met betrekking tot de invariante maten van het omgevingsproces.

3. Benaderende Super-Correctoren: Om de bovengrens van de convergentie vast te stellen (de moeilijke richting), construeren de auteurs benaderende super-oplossingen (super-correctoren). Dit houdt in dat er een willekeurig vectorveld $v$ wordt gevonden zodat een specifieke ongelijkheid met betrekking tot de niet-lokale divergentie-operator $J$ en de Hamiltonian geldt:
   $$Jv(\omega) + H(p + v(\omega), \omega) \leq \bar{H}(p).$$
   De constructie van deze correctoren is de primaire technische nieuwheid, wat vereist is om de singulariteit van de niet-lokale operator en het gebrek aan standaard elliptische regulariteit te behandelen.

Belangrijkste Bijdragen en Resultaten

• Hoofdtheorema (Theorema 1.1): Onder standaard stationaire ergodische aannames en convexiteit/superlineariteit condities (Aanname A), bewijzen de auteurs de bijna zekere lokale uniforme convergentie van $u^\epsilon$ naar $u$. Het resultaat geldt onder ofwel twee aanvullende technische aannames:

  • Aanname (B): Een specifieke convexiteits-continuïteitsconditie op de Hamiltonian $H$ (gerelateerd aan scheiding van variabelen).
  • Aanname (C): Een conditie die vereist dat de groeiexponent $\beta$ van de Hamiltonian voldoet aan $\beta > n$, wat de toepassing van Sobolev-inbeddingstheorema's mogelijk maakt.

• Divergentievorm Karakterisering: Het artikel karakteriseert de niet-lokale operator $\mathcal{L}$ expliciet als de divergentie van een reguliere integraaloperator werkend op de gradiënt (Sectie 2.2). Deze representatie, $\mathcal{L} = J \circ \nabla = \nabla \cdot \mathcal{R} \circ \nabla$, is essentieel voor het definiëren van de correctoren in de willekeurige omgeving.

• Regulariteitsschattingen: De auteurs leiden expliciete regulariteitsschattingen voor de oplossing $u^\epsilon$ met betrekking tot ruimte en tijd af, waarbij de afhankelijkheid van $\epsilon$ wordt getoond (Theorema 4.1). Deze schattingen worden gebruikt om puntwijze convergentie te upgraden naar lokale uniforme convergentie.

• Constructie van Super-Correctoren: Het artikel beschrijft de constructie van benaderende super-correctoren voor het niet-lokale geval. In tegen tegenstelling tot het lokale geval, waar correctoren vaak via PDE-methoden worden geconstrueerd, maken de auteurs hier gebruik van convexe analyse op de ruimte van willekeurige variabelen en mollificatietechnieken om de niet-lokale operator $J$ te behandelen.

Betekenis en Claims
Het artikel claimt het eerste werk te zijn dat de stochastische homogenisering van niet-lokale HJB-vergelijkingen met verdwijnende niet-lokale termen in een stationair willekeurig medium behandelt.

• Extensie van Bestaande Theorie: Het werk breidt de fundamentele resultaten van Kosygina, Rezakhanlou en Varadhan [24] uit van lokale (diffusie) settings naar niet-lokale (sprong-diffusie) settings.
• Methodologische Aanpassing: Het demonstreert dat de controle-representatie en de technieken van het omgevingsproces, oorspronkelijk ontworpen voor verdwijnende Laplacians, succesvol kunnen worden aangepast aan sprongprocessen. De auteurs merken op dat hoewel de viscositeitsoplossingstheorie voor niet-lokale HJB-vergelijkingen recentelijk is bestudeerd (bijv. [6, 17, 13]), hun aanpak primair steunt op stochastische controle-representaties en abstracte omgevingsprocessen in plaats van diepe viscositeitsoplossingstheorie.
• Reikwijdte en Beperkingen: De auteurs houden een bescheiden reikwijdte aan, met de focus op kwalitatieve homogenisering. Zij geven expliciet aan dat zij niet de convergentiesnelheid behandelen (die bekend staat als moeilijk zelfs in het lokale geval), noch het geval van dynamische willekeurige omgevingen (tijdafhankelijke coëfficiënten), hoewel zij deze als natuurlijke richtingen voor toekomstig werk voorstellen. Het resultaat is beperkt tot het geval waarbij de niet-lokale term verdwijnt ($\epsilon^{\alpha-1} \mathcal{L}$) als $\epsilon \to 0$.

Samenvattend legt het artikel een rigoureus fundament voor de homogenisering van niet-lokale HJB-vergelijkingen gedreven door sprong-diffusies, waarmee de brug wordt geslagen tussen de stochastische controletheorie voor sprongprocessen en de homogeniseringstheorie in willekeurige media.