Well-posedness and large deviations of fractional McKean-Vlasov stochastic reaction-diffusion equations on unbounded domains

Technische Samenvatting: Weldbestaan en Grote Afwijkingen van Fractale McKean-Vlasov Stochastische Reactie-Diffusievergelijkingen op Onbegrensde Domeinen

Probleemstelling
Dit artikel onderzoekt het welbestaan en het principe van grote afwijkingen (Large Deviation Principle, LDP) voor een fractale McKean-Vlasov stochastische reactie-diffusievergelijking gedefinieerd op het onbegrensde domein $\mathbb{R}^n$. De vergelijking wordt gedreven door nietlineaire ruis en bevat een fractale Laplaciaan-operator $(-\Delta)^\alpha$ met $\alpha \in (0, 1)$. Een kenmerkend aspect van het model is de driftterm $f$, die afhankelijk is van de oplossing $u^\varepsilon(t)$ en de kansverdeling (law) $Lu^\varepsilon(t)$ daarvan, en waarbij een polynomiale groei van een willekeurige graad $p \geq 2$ is toegestaan. De diffusiecoëfficiënten worden aangenomen continu in de tijd te zijn, maar hoeven niet Hölder-continu te zijn.

De primaire wiskundige uitdagingen zijn:

1. Onbegrensd Domein: Het gebrek aan compactheid in Sobolev-inbeddingen op $\mathbb{R}^n$ verhindert de directe toepassing van standaard compactheidsargumenten die gebruikt worden op begrensde domeinen.
2. Drift met Willekeurige Groei: Eerdere resultaten over McKean-Vlasov LDP's leggen vaak restricties op aan de groeiorde van de nietlineaire drift of vereisen tijd-Hölder-continuïteit van de diffusiecoëfficiënten. Dit artikel beoogt deze restricties weg te nemen.
3. Mean-Field Afhankelijkheid: De vergelijking is afhankelijk van de distributie van de oplossing zelf, wat een ontkoppelingsmethode (decoupling approach) en een zorgvuldige behandeling van de Wasserstein-afstand in de analyse noodzakelijk maakt.

Methodologie
De auteurs maken gebruik van de zwakke convergentiemethode om het LDP vast te stellen, een techniek gebaseerd op variatierepresentaties van positieve functionalen van de Brownse beweging. Deze benadering vermijdt de complexiteit van tijdsdiscretisatie en exponentiële compactheid die vaak vereist zijn bij klassieke methoden.

De kern van de technische strategie omvat:

• Ontkoppelingsmethode: Om het welbestaan te bewijzen, "bevriezen" de auteurs de distributiewet $\mu(t)$, waardoor de McKean-Vlasov vergelijking wordt gereduceerd tot een standaard stochastische vergelijking. Vervolgens definiëren zij een afbeelding van de ruimte van kansmaten naar zichzelf en bewijzen zij het bestaan van een uniek fixpunt met behulp van een contractieve argumentatie in een gewogen metriekruimte.
• Uniforme Staart-indicaties (Uniform Tail-Ends Estimates): Om de niet-compactheid van Sobolev-inbeddingen op $\mathbb{R}^n$ te overwinnen, leiden de auteurs uniforme schattingen af voor de "staarten" van de oplossingen (d.w.z. het gedrag van oplossingen buiten grote begrensde domeinen). Door aan te tonen dat de massa van de oplossing buiten een voldoende grote bal willekeurig klein gemaakt kan worden, uniform met betrekking tot de controleparameter, vestigen zij de noodzakelijke compactheid en precompactheid zonder te vertrouven op de tijd-Hölder-continuïteit van de diffusietermen.
• Gecontroleerde Vergelijkingen: Het LDP-bewijs berust op het analyseren van een familie gecontroleerde deterministische vergelijkingen geassocieerd met het stochastische systeem. De auteurs bewijzen de sterke convergentie van oplossingen naar deze gecontroleerde vergelijkingen met betrekking tot de zwakke topologie van de controles in $L^2(0, T; l^2)$.

Kernresultaten

1. Welbestaan: Onder dissipatieve condities op de drift en Lipschitz-condities op de diffusie, vestigt het artikel de existentie en uniciteit van aangepaste oplossingen aan de fractale McKean-Vlasov vergelijking in de ruimte $C([0, T], L^2(\mathbb{R}^n)) \cap L^2(0, T; H^\alpha(\mathbb{R}^n)) \cap L^p(0, T; L^p(\mathbb{R}^n))$. Uniforme energie-schattingen worden afgeleid voor deze oplossingen.
2. LDP in $C([0, T], L^2) \cap L^2(H^\alpha)$: Het hoofdbestand (Theorema 4.1) bewijst dat de familie van oplossingen voldoet aan de LDP in de ruimte $C([0, T], L^2(\mathbb{R}^n)) \cap L^2(0, T; H^\alpha(\mathbb{R}^n))$. Dit wordt bereikt zonder aan te nemen dat de niet-autonome diffusiecoëfficiënten tijd-Hölder-continu zijn, wat een significante versoepeling is van eerdere aannames.
3. LDP met Sterkere Dissipativiteit: Onder een sterkere dissipatieve conditie op de driftterm (specifiek betrokken bij een ondergrens op het verschil van de driftfunctie), wordt de LDP uitgebreid naar de sterkere topologie van de ruimte $C([0, T], L^2(\mathbb{R}^n)) \cap L^2(0, T; H^\alpha(\mathbb{R}^n)) \cap L^p(0, T; L^p(\mathbb{R}^n))$ (Theorema 4.4).
4. Snelheidsfunctie (Rate Function): In beide gevallen wordt de snelheidfunctie variationeel gekarakteriseerd als het infimum van de energie van de controle $v$ die de geassocieerde gecontroleerde vergelijking naar een specifiek pad $\phi$ stuurt.

Betekenis en Claims
Het artikel claimt het LDP-probleem voor fractale McKean-Valsov vergelijkingen met willekeurige polynomiale groei in de drift en niet-Hölder-continue diffusiecoëfficiënten op onbegrensde domeinen op te lossen.

De auteurs benadrukken dat eerdere werken (specifiek [63, 64]) beperkt waren door:

• Bovengrenzen op de groeiorde van de nietlineaire drift.
• Vereisten dat de diffusiecoëfficiënten tijd-Hölder-continu zijn.
• Moeilijkheden voortvloeiend uit de niet-compactheid van Sobolev-inbeddingen op onbegrensde domeinen.

Door gebruik te maken van uniforme staart-indicaties, omzeilen de auteurs het probleem van de niet-compactheid, waardoor zij de sterke convergentie van gecontroleerde oplossingen kunnen bewijzen, zelfs wanneer de drift willekeurige groei heeft en de diffusie geen tijd-regulariteit bezit. Dit breidt de toepasbaarheid van de zwakke convergentiemethode uit naar een bredere klasse van stochastische partiële differentiaalvergelijkingen (SPDE's) gedefinieerd op onbegrensde domeinen, inclusief die met hoog-nietlineaire interacties en minder regelmatige ruisstructuren. De resultaten zijn van toepassing op systemen waarbij de drift en diffusie termen afhankelijk zijn van de kansverdeling van de oplossing, waarmee een kloof wordt overbrugd tussen de standaard SPDE-theorie en mean-field limietproblemen op onbegrensde domeinen.