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

Resumen Técnico: Cotas Agudas para Ruido No de Clase Trazable y Aplicaciones a EDPs Estocásticas

Enunciado del Problema
El artículo aborda la convergencia y la regularidad de series gaussianas de la forma $g \sum_{n \ge 1} \gamma_n \mu_n f_n$ en el contexto de ecuaciones en derivadas parciales estocásticas (EDPEs) impulsadas por ruido espacio-temporal coloreado y no de clase trazable. Aquí, $(\gamma_n)$ son variables gaussianas estándar independientes, $g$ es un coeficiente espacial en $L^\eta(O)$, $(\mu_n)$ es una secuencia de escalares que representa la "coloración" del ruido, y $(f_n)$ es un sistema ortonormal en $L^2(O)$.

La literatura existente a menudo restringe el análisis a dos extremos: ruido de clase trazable (donde $\sum \mu_n^2 \|f_n\|_{L^\infty}^2 < \infty$) o ruido blanco espacio-temporal (donde $\mu_n \equiv 1$). El régimen intermedio, donde el ruido es no de clase trazable pero más regular que el ruido blanco, presenta desafíos. Los resultados previos en este régimen intermedio frecuentemente dependían de suposiciones restrictivas, como requerir que el sistema ortonormal $(f_n)$ consistiera en autofunciones del operador diferencial involucrado, o imponer condiciones adicionales de sumabilidad sobre los autovalores que limitan el rango de intensidades de ruido admisibles. Además, muchas cotas existentes no eran agudas con respecto a la invariancia de escala de las EDPEs asociadas, particularmente en lo que respecta a la integrabilidad del coeficiente $g$.

Metodología
Los autores emplean un enfoque de análisis funcional centrado en operadores $\gamma$-radonificantes y interpolación multilineal.

1. Operadores $\gamma$-Radonificantes: La convergencia de la serie gaussiana se reformula como la acotación de un operador de multiplicación $M_g$ compuesto con un operador de ruido $R_\mu$ que mapea hacia espacios de operadores $\gamma$-radonificantes, específicamente $\gamma(L^2(O), \tilde{H}^{-s,q}(O))$. Esto permite utilizar la propiedad de ideal de los espacios $\gamma$ y las caracterizaciones mediante funciones cuadráticas.
2. Espacios de Secuencias Ponderados: Una innovación crucial es la introducción del espacio de secuencias ponderado $\ell^\zeta(S_f)$, definido por la norma $\|\mu\|_{\ell^\zeta(S_f)} = (\sum |\mu_n|^\zeta \|f_n\|_{L^\infty}^2)^{1/\zeta}$. Este espacio interpola naturalmente entre la condición de clase trazable ($\zeta=2$) y la condición de acotación ($\zeta=\infty$), codificando explícitamente el crecimiento $L^\infty$ del sistema ortonormal.
3. Desigualdad de Young $\gamma$: Los autores establecen una nueva "desigualdad de Young" para operadores $\gamma$-radonificantes que involucra convoluciones con espacios de Lebesgue débiles ($L^{r,\infty}$). Esto es esencial para manejar las singularidades de los núcleos de potencial de Bessel en los casos críticos (invariantes de escala).
4. Interpolación Multilineal: Los resultados principales se derivan interpolando entre dos casos extremos:
   • Caso $\zeta=2$: Corresponde a ruido de clase trazable, demostrado mediante inmersiones de Sobolev y la identificación de espacios $\gamma$ con espacios $L^\eta$ con valores en $L^2$.
   • Caso $\zeta=\infty$: Corresponde a ruido acotado, demostrado utilizando la desigualdad de Young $\gamma$ y propiedades de operadores de multiplicación en espacios de Sobolev.
     La interpolación se realiza sobre el mapa bilineal $(g, \mu) \mapsto M_g R_\mu$.

Contribuciones y Resultados Clave

• Inmersiones de Sobolev Agudas para Series Gaussianas (Teorema 4.1): El artículo establece condiciones necesarias y suficientes para que la serie $g \sum \gamma_n \mu_n f_n$ converja en espacios de potencial de Bessel $\tilde{H}^{-s,q}(O)$. Las condiciones son:
  $$\frac{s}{d} + \frac{1}{q} \ge \frac{1}{\eta} + \frac{1}{2} - \frac{1}{\zeta} \quad \text{y} \quad \frac{1}{\eta} - \frac{1}{\zeta} < \frac{1}{2}.$$
  Estas cotas son agudas, lo que significa que capturan la invariancia de escala exacta del problema. El resultado se mantiene para sistemas ortonormales generales $(f_n)$ sin requerir que sean autofunciones de un operador diferencial específico.

• Espacios Homogéneos (Teorema 4.2): Para el espacio completo $O = \mathbb{R}^d$, los autores proporcionan resultados análogos para espacios de Sobolev homogéneos $\dot{H}^{-s,q}(\mathbb{R}^d)$, donde la primera condición se cumple con igualdad.

• Generalización a Multiplicadores de Fourier (Teorema 4.9): El marco se extiende a ruidos gaussianos definidos mediante multiplicadores de Fourier $T_m$ en $\mathbb{R}^d$, donde el símbolo $m$ pertenece a $L^\zeta(\mathbb{R}^d)$. Esto cubre campos aleatorios de Matérn y otras estructuras de ruido basadas en convolución.

• Regularidad Óptima para Ecuaciones del Calor Estocásticas (Teorema 6.3): Aplicando las cotas de series gaussianas a la ecuación del calor estocástica $\partial_t u - \Delta u = g \partial_t W$, los autores derivan estimaciones óptimas de regularidad espacio-temporal para la solución suave $u$. Específicamente, demuestran:
  $$\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.$$
  Estas estimaciones mejoran la literatura existente al permitir una menor integrabilidad de $g$ (menor $\eta$) y cubrir un rango más amplio de intensidades de ruido $\zeta$ sin asumir que el ruido está ligado a la base propia del Laplaciano.

• Necesidad de Pesos (Sección 5): El artículo demuestra que el uso de espacios de secuencias no ponderados $\ell^\zeta$ (ignorando el crecimiento de $\|f_n\|_{L^\infty}$) falla en capturar la escala correcta para las EDPEs, lo que conduce a resultados de regularidad subóptimos.

Significado y Afirmaciones
Los autores afirman que sus resultados proporcionan la primera caracterización aguda de la convergencia de tales series gaussianas en espacios de potencial de Bessel para ruido no de clase trazable. El significado radica en varias mejoras específicas sobre la literatura:

1. Agudeza: Las condiciones derivadas son necesarias y suficientes, preservando la invariancia de escala de la ecuación del calor estocástica. Esto es crítico para analizar EDPEs no lineales críticas donde la pérdida de incluso una pequeña cantidad de regularidad impide el uso de argumentos de punto fijo.
2. Generalidad de la Estructura del Ruido: A diferencia de trabajos anteriores que requerían que $(f_n)$ fueran autofunciones del operador diferencial (por ejemplo, el Laplaciano de Dirichlet), este enfoque funciona para cualquier sistema ortonormal. Esto permite aplicar los resultados a operadores en forma de divergencia donde las autofunciones no se conocen explícitamente.
3. Flexibilidad en Coeficientes: Los resultados permiten que el coeficiente $g$ esté en $L^\eta(O)$ con un $\eta$ menor que lo posible anteriormente, e incluso mejoran la norma en el lado izquierdo de las estimaciones (por ejemplo, a espacios de Besov). Esta flexibilidad se destaca como una motivación clave para el trabajo, específicamente para futuras aplicaciones a EDPEs no lineales donde se desea evitar perder suavidad en las inmersiones de Sobolev durante las iteraciones de punto fijo.
4. Independencia Dimensional: Las cotas se mantienen para cualquier dimensión espacial $d$, whereas las condiciones previas que involucraban sumabilidad de autovalores a menudo restringían la dimensión (por ejemplo, requiriendo $d < 6$ para ciertas condiciones de traza).

El artículo concluye que estas cotas agudas sirven como una herramienta fundamental para el estudio de EDPEs no lineales con ruido no de clase trazable, un tema que los autores indican será explorado en detalle en trabajos futuros.