Nonlinear Schrödinger equations with spatial white noise potential on full space for $d\le 3$

Probleemstelling

Het artikel onderzoekt de existentie, uniciteit en lokale goedgesteldeheid (well-posedness) van niet-lineaire Schrödingervergelijkingen (NLS) en Hartree-vergelijkingen op de volledige ruimte $\mathbb{R}^d$ (waarbij $d \leq 3$) met een multiplicatieve witte ruis $\xi$ als potentiaal. De vergelijkingen zijn van de vorm:
$$i\partial_t u = -\Delta u + u\xi + |u|^{m-1}u \quad (\text{NLS})$$
en
$$i\partial_t u = -\Delta u + u\xi + u \cdot V_\beta * |u|^2 \quad (\text{Hartree})$$
waarbij $\xi$ een ruimtelijke Gaussische witte ruis is met covariantie $E[\xi(x)\xi(y)] = \delta_0(x-y)$.

De kernuitdagingen:

1. Irregulariteit: De ruis $\xi$ behoort tot de ruimte $C^{-d/2-\kappa}$, wat betekent dat het te onregelmatig is om de vergelijking direct zinvol te maken in dimensies $d \geq 2$. Dit vereist een probabilistische renormalisatie.
2. Gedrag op oneindig: In tegenstelling tot het geval op een compacte variëteit (zoals de torus $\mathbb{T}^d$), groeit de ruis en de bijbehorende potentiaal op oneindig. Eerdere methoden op de volledige ruimte leidden vaak tot een verlies van ruimtelijke localisatie (de oplossing verspreidt zich of groeit te snel) en een verlies van regulariteit ten opzichte van de beginwaarde.
3. Dispersie vs. Diffusie: De Schrödingergroep heeft geen sterke regulariserende eigenschappen zoals de warmtehalve groep, wat het analyseren van singuliere stochastische partiële differentiaalvergelijkingen (SPDE's) aanzienlijk moeilijker maakt.

Methodologie

De auteurs combineren drie hoofdtechnieken om deze problemen op te lossen:

1. Exponentiële Transformatie:
   In plaats van de vergelijking direct aan te pakken, introduceren ze een nieuwe variabele $u = e^X v$, waarbij $X$ een speciaal gekozen stochastisch veld is. Dit veld $X$ wordt zo ontworpen dat het de meest singuliere term ($u\xi$) compenseert.

   • Innovatie: In tegenstelling tot eerdere werken (zoals Debussche en Weber op $\mathbb{T}^2$) kiezen de auteurs een veld $X$ dat niet groeit op oneindig (via een ruimtelijke localisatie-operator $U_>$), terwijl het toch de lokale singulariteit opheft. Dit voorkomt het verlies van localisatie van de oplossing.

2. Paracontrolled Calculus:
   Om de producttermen die ontstaan door de onregelmatige ruis en de transformatie (zoals $\nabla X \cdot \nabla v$) wiskundig zinvol te maken, gebruiken ze paracontrolled calculus (gebaseerd op de theorie van Gubinelli, Hairer, en anderen).

   • Ze construeren een getransformeerde operator $H^\sharp = (\Gamma e^X)^{-1} H (e^X \Gamma)$, waarbij $\Gamma$ een stochastische afbeelding is. Deze operator $H^\sharp$ is een "beter" gestoorde Laplaciaan dan de oorspronkelijke Anderson-operator $H = -\Delta + \xi$.
   • Dit stelt hen in staat om Strichartz-ongelijkheden af te leiden, wat essentieel is voor het bewijzen van uniciteit en lokale goedgesteldeheid voor oplossingen met lage regulariteit.

3. Compactheid en Uniforme Schattingen:
   Voor het bewijs van existentie gebruiken ze een compactheidsargument. Ze beschouwen een geregelde versie van de vergelijking (met glad gemaakte ruis $\xi_\varepsilon$) en bewijzen uniforme schattingen voor de geënergieerde oplossing $v_\varepsilon = e^{-X_\varepsilon} u_\varepsilon$. Door deze schattingen te combineren met de exponentiële transformatie, kunnen ze een limietoplossing construeren zonder verlies van regulariteit.

Belangrijkste Bijdragen en Resultaten

1. Global Well-Posedness zonder Verlies:
   Het artikel bewijst voor het eerst de existentie van energie-oplossingen op de volledige ruimte $\mathbb{R}^d$ ($d \leq 3$) zonder verlies van regulariteit of ruimtelijke localisatie.

   • Voor $d=2$: Existente voor alle $m \geq 1$.
   • Voor $d=3$: Existente voor NLS met $1 \leq m < 6$ en voor Hartree met $\beta > 0$.
   • De oplossing blijft in de ruimte $C(\mathbb{R}, e^{-X}(L^2_\mu \cap H^1))$, wat betekent dat de ruimtelijke afname van de beginwaarde behouden blijft.

2. Uniciteit van Energie-oplossingen:
   De auteurs bewijzen uniciteit voor:

   • NLS in $d=2$ voor alle $m \geq 1$.
   • Hartree in $d=3$ voor $\beta > 1/2$.
     Dit wordt bereikt door Strichartz-ongelijkheden voor de lineaire vergelijking af te leiden, wat een unieke eigenschap is voor dit type singuliere dispersieve SPDE's op de volledige ruimte.

3. Lokale Well-Posedness voor Lage Regulariteit:
   Door gebruik te maken van de afgeleide Strichartz-ongelijkheden en een vastpuntargument, bewijzen ze lokale goedgesteldeheid voor deterministische beginwaarden met lage regulariteit:

   • In $d=2$ voor $u_0 \in H^\sigma$ met $\sigma > 1 - \frac{1}{m-1}$.
   • In $d=3$ voor Hartree met $\beta > 1/2$ en $\sigma > 5/4 - \beta/2$.
     Dit is een verbetering ten opzichte van eerdere resultaten op de torus en de eerste resultaten van dit type op $\mathbb{R}^3$.

4. Nieuwe Definitie van Energie-oplossingen:
   De auteurs introduceren een zorgvuldig gedefinieerd concept van "energie-oplossing" dat past bij de exponentiële transformatie. In tegenstelling tot eerdere benaderingen die sterke oplossingen vereisten (met hogere regulariteit), laten ze toe dat de vergelijking in een zwakke zin (in de duale ruimte) wordt opgelost, wat essentieel is voor de lage regulariteit van de ruis.

Significantie

De resultaten van dit artikel zijn baanbrekend in het veld van singuliere stochastische partiële differentiaalvergelijkingen:

• Eerste resultaten op $\mathbb{R}^3$: Dit is het eerste werk dat de goedgesteldeheid van dergelijke singuliere dispersieve SPDE's op de volledige driedimensionale ruimte bewijst. Eerdere resultaten waren beperkt tot de torus ($\mathbb{T}^3$).
• Behoud van Localisatie: Eerdere methoden op de volledige ruimte (zoals die van Debussche, Martin, en anderen) leidden vaak tot een verlies van localisatie door de groei van de exponentiële transformatie op oneindig. Deze auteurs lossen dit op door een nieuw, gelokaliseerd stochastisch veld $X$ te construeren.
• Overbrugging van Dispersie en Singulariteit: Het artikel toont aan dat paracontrolled calculus, dat eerder vooral succesvol was op compacte domeinen, ook effectief kan worden toegepast op de volledige ruimte voor dispersieve systemen, mits men de juiste perturbatieve argumenten en Strichartz-schattingen gebruikt.
• Deterministische Beginwaarden: Het resultaat maakt het mogelijk om deterministische beginwaarden te gebruiken (in plaats van alleen stochastische), wat de toepasbaarheid van de theorie vergroot.

Samenvattend biedt dit werk een robuust raamwerk voor het analyseren van niet-lineaire golfvergelijkingen met ruwe potentiaal op de volledige ruimte, waarbij de fundamentele eigenschappen van de oplossing (regulariteit en localisatie) behouden blijven.