Sharp bounds for non-trace class noise and applications to SPDEs

Technische Samenvatting: Scherp Begrenzen voor Ruis buiten de Trace-Klasse en Toepassingen op SPDE's

Probleemstelling
Het artikel behandelt de convergentie en regulariteit van Gaussische reeksen van de vorm $g \sum_{n \ge 1} \gamma_n \mu_n f_n$ in de context van stochastische partiële differentiaalvergelijkingen (SPDE's) die worden aangedreven door gekleurde, niet-trace-class ruimtetijdruis. Hierbij zijn $(\gamma_n)$ onafhankelijke standaard Gaussische variabelen, $g$ een ruimtelijke coëfficiënt in $L^\eta(O)$, $(\mu_n)$ een rij scalairen die de "kleuring" van de ruis voorstellen, en $(f_n)$ een orthonormaal stelsel in $L^2(O)$.

Bestaande literatuur beperkt de analyse vaak tot twee uitersten: trace-class ruis (waarbij $\sum \mu_n^2 \|f_n\|_{L^\infty}^2 < \infty$) of witte ruimtetijdruis (waarbij $\mu_n \equiv 1$). Het intermediaire regime, waarbij de ruis niet tot de trace-klasse behoort maar wel regularer is dan witte ruis, presenteert uitdagingen. Eerdere resultaten in dit intermediaire regime berustten vaak op restrictieve aannames, zoals het vereisen dat het orthonormale stelsel $(f_n)$ eigenfuncties zijn van de betrokken differentiaaloperator, of het opleggen van extra sommeerbaarheidsvoorwaarden aan eigenwaarden die het bereik van toelaatbare ruisintensiteiten beperken. Bovendien waren veel bestaande grenzen niet scherp met betrekking tot de schaal-invariantie van de bijbehorende SPDE's, met name wat betreft de integreerbaarheid van de coëfficiënt $g$.

Methodologie
De auteurs hanteren een functionaal-analytische aanpak die centraal staat rond $\gamma$-radonifierende operatoren en multilineaire interpolatie.

1. $\gamma$-Radonifierende Operatoren: De convergentie van de Gaussische reeks wordt herschreven als de begrensdheid van een vermenigvuldigingsoperator $M_g$ samengesteld met een ruisoperator $R_\mu$ die afbeeldt op ruimten van $\gamma$-radonifierende operatoren, specifiek $\gamma(L^2(O), \tilde{H}^{-s,q}(O))$. Dit maakt gebruik van de ideaal-eigenschap van $\gamma$-ruimten en karakterisering via kwadratische functies mogelijk.
2. Gewogen Rijruimten: Een cruciale innovatie is de introductie van de gewogen rijruimte $\ell^\zeta(S_f)$, gedefinieerd door de norm $\|\mu\|_{\ell^\zeta(S_f)} = (\sum |\mu_n|^\zeta \|f_n\|_{L^\infty}^2)^{1/\zeta}$. Deze ruimte interpoleert natuurlijk tussen de trace-class voorwaarde ($\zeta=2$) en de begrensdheidsvoorwaarde ($\zeta=\infty$), en codeert expliciet de $L^\infty$-groei van het orthonormale stelsel.
3. $\gamma$-Young Ongelijkheid: De auteurs stellen een nieuwe "Young-ongelijkheid" vast voor $\gamma$-radonifierende operatoren die convoluties met zwakke Lebesgue-ruimten ($L^{r,\infty}$) omvatten. Dit is essentieel voor het behandelen van de singulariteiten van Besselpotentiaal-kernen in de kritieke (schaal-invariante) gevallen.
4. Multilineaire Interpolatie: De hoofdresultaten worden afgeleid door te interpoleren tussen twee eindpunten:
   • Geval $\zeta=2$: Komt overeen met trace-class ruis, bewezen via Sobolev-inbeddingen en de identificatie van $\gamma$-ruimten met $L^2$-waardige $L^\eta$-ruimten.
   • Geval $\zeta=\infty$: Komt overeen met begrensde ruis, bewezen met behulp van de $\gamma$-Young-ongelijkheid en eigenschappen van vermenigvuldigingsoperatoren in Sobolev-ruimten.
     De interpolatie wordt uitgevoerd op de bilineaire afbeelding $(g, \mu) \mapsto M_g R_\mu$.

Belangrijkste Bijdragen en Resultaten

• Scherpe Sobolev-Inbeddingen voor Gaussische Reeksen (Stelling 4.1): Het artikel stelt noodzakelijke en voldoende voorwaarden vast voor de convergentie van de reeks $g \sum \gamma_n \mu_n f_n$ in Besselpotentiaal-ruimten $\tilde{H}^{-s,q}(O)$. De voorwaarden zijn:
  $$\frac{s}{d} + \frac{1}{q} \ge \frac{1}{\eta} + \frac{1}{2} - \frac{1}{\zeta} \quad \text{en} \quad \frac{1}{\eta} - \frac{1}{\zeta} < \frac{1}{2}.$$
  Deze grenzen zijn scherp, wat betekent dat ze de exacte schaal-invariantie van het probleem vatten. Het resultaat geldt voor algemene orthonormale stelsels $(f_n)$ zonder dat vereist wordt dat ze eigenfuncties zijn van een specifieke differentiaaloperator.

• Homogene Ruimten (Stelling 4.2): Voor de gehele ruimte $O = \mathbb{R}^d$ geven de auteurs analoge resultaten voor homogene Sobolev-ruimten $\dot{H}^{-s,q}(\mathbb{R}^d)$, waarbij de eerste voorwaarde met gelijkheid geldt.

• Generalisatie naar Fourier-Multiplicatoren (Stelling 4.9): Het raamwerk wordt uitgebreid naar Gaussische ruis gedefinieerd via Fourier-multiplicatoren $T_m$ op $\mathbb{R}^d$, waarbij het symbool $m$ behoort tot $L^\zeta(\mathbb{R}^d)$. Dit dekt Matérn-ruisvelden en andere op convolutie gebaseerde ruisstructuren.

• Optimale Regulariteit voor Stochastische Warmtevergelijkingen (Stelling 6.3): Door de grenzen voor Gaussische reeksen toe te passen op de stochastische warmtevergelijking $\partial_t u - \Delta u = g \partial_t W$, leiden de auteurs optimale ruimtetijdbegrenzingen voor de regulariteit van de milde oplossing $u$ af. Specifiek bewijzen zij:
  $$\mathbb{E}\|u\|_{L^p(0,T; H^{1-s,q}(O))}^p + \mathbb{E}\|u\|_{C([0,T]; B^{1-s-2/p}_{q,p}(O))}^p \lesssim \|\mu\|_{\ell^\zeta(S_f)}^p \mathbb{E}\|g\|_{L^p(0,T; L^\eta(O))}^p.$$
  Deze schattingen verbeteren de bestaande literatuur door lagere integreerbaarheid van $g$ (kleinere $\eta$) toe te staan en een breder bereik van ruisintensiteiten $\zeta$ te dekken, zonder aan te nemen dat de ruis is gekoppeld aan de eigenbasis van de Laplaciaan.

• Noodzaak van Gewichten (Sectie 5): Het artikel demonstreert dat het gebruik van ongewogen rijruimten $\ell^\zeta$ (waarbij de groei van $\|f_n\|_{L^\infty}$ wordt genegeerd) faalt om de juiste schaling voor SPDE's te vatten, wat leidt tot suboptimale regulariteitsresultaten.

Betekenis en Aanspraken
De auteurs claimen dat hun resultaten de eerste scherpe karakterisering bieden van de convergentie van dergelijke Gaussische reeksen in Besselpotentiaal-ruimten voor ruis buiten de trace-klasse. De betekenis ligt in verschillende specifieke verbeteringen ten opzichte van de literatuur:

1. Scherpte: De afgeleide voorwaarden zijn noodzakelijk en voldoende, en behouden de schaal-invariantie van de stochastische warmtevergelijking. Dit is kritiek voor het analyseren van kritieke niet-lineaire SPDE's waarbij het verlies van zelfs een kleine hoeveelheid regulariteit het gebruik van vastpuntargumenten verhindert.
2. Generaliteit van de Ruisstructuur: In tegenstelling tot eerdere werken die vereisten dat $(f_n)$ eigenfuncties zijn van de differentiaaloperator (bijvoorbeeld de Dirichlet-Laplaciaan), werkt deze aanpak voor elk orthonormaal stelsel. Dit maakt het mogelijk de resultaten toe te passen op operatoren in divergentievorm waarbij eigenfuncties niet expliciet bekend zijn.
3. Flexibiliteit in Coëfficiënten: De resultaten staan toe dat de coëfficiënt $g$ in $L^\eta(O)$ zit met een $\eta$ die kleiner is dan eerder mogelijk, en verbeteren zelfs de norm aan de linkerkant van de schattingen (bijvoorbeeld naar Besov-ruimten). Deze flexibiliteit wordt geïdentificeerd als een belangrijke motivatie voor het werk, specifiek voor toekomstige toepassingen op niet-lineaire SPDE's waarbij men vermijdt gladheid te verliezen in Sobolev-inbeddingen tijdens vastpuntiteraties.
4. Dimensionale Onafhankelijkheid: De grenzen gelden voor elke ruimtelijke dimensie $d$, terwijl eerdere voorwaarden die sommeerbaarheid van eigenwaarden omvatten vaak de dimensie beperkten (bijvoorbeeld door te vereisen dat $d < 6$ voor bepaalde trace-voorwaarden).

Het artikel concludeert dat deze scherpe grenzen dienen als een fundamenteel hulpmiddel voor de studie van niet-lineaire SPDE's met ruis buiten de trace-klasse, een onderwerp dat de auteurs aangeven in detail te zullen onderzoeken in naderende werken.