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

Résumé technique : Bornes précises pour le bruit non de classe trace et applications aux EDP stochastiques

Énoncé du problème
L'article traite de la convergence et de la régularité des séries gaussiennes de la forme $g \sum_{n \ge 1} \gamma_n \mu_n f_n$ dans le contexte des équations aux dérivées partielles stochastiques (EDPS) pilotées par un bruit espace-temps coloré, non de classe trace. Ici, $(\gamma_n)$ sont des variables gaussiennes standards indépendantes, $g$ est un coefficient spatial dans $L^\eta(O)$, $(\mu_n)$ est une suite de scalaires représentant la « coloration » du bruit, et $(f_n)$ est un système orthonormé dans $L^2(O)$.

La littérature existante restreint souvent l'analyse à deux extrêmes : le bruit de classe trace (où $\sum \mu_n^2 \|f_n\|_{L^\infty}^2 < \infty$) ou le bruit blanc espace-temps (où $\mu_n \equiv 1$). Le régime intermédiaire, où le bruit est non de classe trace mais plus régulier que le bruit blanc, présente des défis. Les résultats antérieurs dans ce régime intermédiaire reposaient fréquemment sur des hypothèses restrictives, telles que l'exigence que le système orthonormé $(f_n)$ soit constitué de fonctions propres de l'opérateur différentiel impliqué, ou l'imposition de conditions de sommabilité supplémentaires sur les valeurs propres limitant la gamme des intensités de bruit admissibles. De plus, de nombreuses bornes existantes n'étaient pas précises par rapport à l'invariance d'échelle des EDPS associées, notamment concernant l'intégrabilité du coefficient $g$.

Méthodologie
Les auteurs emploient une approche d'analyse fonctionnelle centrée sur les opérateurs $\gamma$-radonifiants et l'interpolation multilinéaire.

1. Opérateurs $\gamma$-radonifiants : La convergence de la série gaussienne est reformulée comme la bornitude d'un opérateur de multiplication $M_g$ composé d'un opérateur de bruit $R_\mu$ à valeurs dans des espaces d'opérateurs $\gamma$-radonifiants, spécifiquement $\gamma(L^2(O), \tilde{H}^{-s,q}(O))$. Cela permet d'utiliser la propriété d'idéal des espaces $\gamma$ et les caractérisations par fonctions carrées.
2. Espaces de suites pondérés : Une innovation cruciale est l'introduction de l'espace de suites pondéré $\ell^\zeta(S_f)$, défini par la norme $\|\mu\|_{\ell^\zeta(S_f)} = (\sum |\mu_n|^\zeta \|f_n\|_{L^\infty}^2)^{1/\zeta}$. Cet espace interpole naturellement entre la condition de classe trace ($\zeta=2$) et la condition de bornitude ($\zeta=\infty$), encodant explicitement la croissance $L^\infty$ du système orthonormé.
3. Inégalité de Young $\gamma$ : Les auteurs établissent une nouvelle « inégalité de Young » pour les opérateurs $\gamma$-radonifiants impliquant des convolutions avec des espaces de Lebesgue faibles ($L^{r,\infty}$). Ceci est essentiel pour traiter les singularités des noyaux de potentiel de Bessel dans les cas critiques (invariants d'échelle).
4. Interpolation multilinéaire : Les résultats principaux sont dérivés par interpolation entre deux cas extrêmes :
   • Cas $\zeta=2$ : Correspond au bruit de classe trace, démontré via les plongements de Sobolev et l'identification des espaces $\gamma$ avec des espaces $L^\eta$ à valeurs dans $L^2$.
   • Cas $\zeta=\infty$ : Correspond au bruit borné, démontré en utilisant l'inégalité de Young $\gamma$ et les propriétés des opérateurs de multiplication dans les espaces de Sobolev.
     L'interpolation est effectuée sur l'application bilinéaire $(g, \mu) \mapsto M_g R_\mu$.

Contributions et résultats clés

• Plongements de Sobolev précis pour les séries gaussiennes (Théorème 4.1) : L'article établit des conditions nécessaires et suffisantes pour que la série $g \sum \gamma_n \mu_n f_n$ converge dans les espaces de potentiel de Bessel $\tilde{H}^{-s,q}(O)$. Les conditions sont :
  $$\frac{s}{d} + \frac{1}{q} \ge \frac{1}{\eta} + \frac{1}{2} - \frac{1}{\zeta} \quad \text{et} \quad \frac{1}{\eta} - \frac{1}{\zeta} < \frac{1}{2}.$$
  Ces bornes sont précises, ce qui signifie qu'elles capturent l'invariance d'échelle exacte du problème. Le résultat vaut pour des systèmes orthonormés $(f_n)$ généraux sans exiger qu'ils soient des fonctions propres d'un opérateur différentiel spécifique.

• Espaces homogènes (Théorème 4.2) : Pour l'espace entier $O = \mathbb{R}^d$, les auteurs fournissent des résultats analogues pour les espaces de Sobolev homogènes $\dot{H}^{-s,q}(\mathbb{R}^d)$, où la première condition est satisfaite avec égalité.

• Généralisation aux multiplicateurs de Fourier (Théorème 4.9) : Le cadre est étendu aux bruits gaussiens définis via des multiplicateurs de Fourier $T_m$ sur $\mathbb{R}^d$, où le symbole $m$ appartient à $L^\zeta(\mathbb{R}^d)$. Cela couvre les champs aléatoires de Matérn et d'autres structures de bruit basées sur la convolution.

• Régularité optimale pour les équations de la chaleur stochastiques (Théorème 6.3) : En appliquant les bornes de séries gaussiennes à l'équation de la chaleur stochastique $\partial_t u - \Delta u = g \partial_t W$, les auteurs dérivent des estimations de régularité espace-temps optimales pour la solution faible $u$. Plus précisément, ils prouvent :
  $$\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.$$
  Ces estimations améliorent la littérature existante en permettant une intégrabilité plus faible de $g$ (un $\eta$ plus petit) et en couvrant une gamme plus large d'intensités de bruit $\zeta$ sans supposer que le bruit est lié à la base propre du Laplacien.

• Nécessité des poids (Section 5) : L'article démontre que l'utilisation d'espaces de suites non pondérés $\ell^\zeta$ (en ignorant la croissance de $\|f_n\|_{L^\infty}$) échoue à capturer l'échelle correcte pour les EDPS, conduisant à des résultats de régularité sous-optimaux.

Portée et affirmations
Les auteurs affirment que leurs résultats fournissent la première caractérisation précise de la convergence de telles séries gaussiennes dans les espaces de potentiel de Bessel pour un bruit non de classe trace. La portée réside dans plusieurs améliorations spécifiques par rapport à la littérature :

1. Précision : Les conditions dérivées sont nécessaires et suffisantes, préservant l'invariance d'échelle de l'équation de la chaleur stochastique. Ceci est critique pour l'analyse des EDPS non linéaires critiques où la perte, même minime, d'un peu de régularité empêche l'utilisation d'arguments de point fixe.
2. Généralité de la structure du bruit : Contrairement aux travaux antérieurs qui exigeaient que $(f_n)$ soient des fonctions propres de l'opérateur différentiel (par exemple, le Laplacien de Dirichlet), cette approche fonctionne pour tout système orthonormé. Cela permet d'appliquer les résultats à des opérateurs sous forme divergence dont les fonctions propres ne sont pas explicitement connues.
3. Flexibilité des coefficients : Les résultats permettent au coefficient $g$ d'appartenir à $L^\eta(O)$ avec un $\eta$ plus petit que précédemment possible, et améliorent même la norme du côté gauche des estimations (par exemple, vers des espaces de Besov). Cette flexibilité est mise en avant comme une motivation clé du travail, spécifiquement pour les futures applications aux EDPS non linéaires où l'on souhaite éviter de perdre de la régularité dans les plongements de Sobolev lors des itérations de point fixe.
4. Indépendance dimensionnelle : Les bornes valent pour toute dimension spatiale $d$, alors que les conditions antérieures impliquant la sommabilité des valeurs propres restreignaient souvent la dimension (par exemple, en exigeant $d < 6$ pour certaines conditions de trace).

L'article conclut que ces bornes précises servent d'outil fondamental pour l'étude des EDPS non linéaires avec un bruit non de classe trace, un sujet que les auteurs indiquent exploreront en détail dans des travaux à paraître.