Mild Solutions for Time--Fractional Stochastic Nonlocal Diffusion Equations

Resumen Técnico: Soluciones Débiles para Ecuaciones de Difusión No Local Estocásticas de Tiempo Fraccionario

Planteamiento del Problema
El artículo investiga una ecuación de difusión no local en tiempo y espacio impulsada por un ruido blanco de tiempo-espacio aditivo. El modelo está gobernado por la derivada fraccionaria de Caputo de orden $\alpha \in (0, 2)$ y acopla un término de difusión local (Laplaciano) con un operador de convolución no local generado por una densidad de probabilidad radial. La ecuación gobernante es:
$$\partial_t^\alpha Z(t, x) = \lambda \Delta Z(t, x) + \mu \left( J * Z(t, x) - Z(t, x) \right) + \sigma W(t, x),$$
donde $\lambda, \mu \geq 0$, $\sigma \in \mathbb{R}$, y $W(t, x)$ representa un ruido blanco de tiempo-espacio interpretado en el sentido distributivo dentro del espacio de Hida $(S)^*$. El estudio se centra en la existencia de soluciones débiles (mild solutions) para datos iniciales singulares (Dirac) $Z(0, x) = \delta_0(x)$.

El desafío principal abordado es la interacción entre la dinámica temporal fraccionaria, las interacciones espaciales no locales y el forzamiento estocástico. Si bien ya se han estudiado las ecuaciones de calor estocásticas fraccionarias puramente locales (por ejemplo, por Hachemi y Øksendal), no se había aclarado completamente la influencia específica del término no local sobre la integrabilidad espacio-temporal requerida para la existencia de soluciones débiles en distribuciones templadas.

Metodología
Los autores emplean una combinación de técnicas analíticas y probabilísticas:

1. Métodos de Transformación: La solución se deriva utilizando transformadas de Laplace y de Fourier. La transformada de Laplace gestiona la derivada de Caputo en el tiempo, mientras que la transformada de Fourier aborda los operadores espaciales.
2. Funciones Especiales: La fórmula explícita de la solución depende fuertemente de las funciones de Mittag–Leffler ($E_\alpha$ y $E_{\alpha, \alpha}$), que sirven como análogos naturales de la función exponencial para la dinámica fraccionaria. Los autores utilizan expansiones asintóticas y cotas agudas para estas funciones para analizar el comportamiento de los núcleos de la solución.
3. Análisis Estocástico: El ruido se trata mediante la integral de Itô–Skorohod y la multiplicación de Wick dentro del espacio de distribuciones templadas. La existencia de una solución débil se reduce a verificar la finitud del segundo momento, $E[|Z_2(t, x)|^2] < \infty$, donde $Z_2$ es el término de convolución estocástica.
4. Criterios de Integrabilidad: Utilizando la isometría de Itô y el teorema de Plancherel, el problema de la existencia se transforma en un delicado problema de integrabilidad espacio-temporal que involucra los cuadrados de los núcleos de Mittag–Leffler. Los autores establecen condiciones óptimas analizando el comportamiento asintótico de estos núcleos tanto en bajas como en altas frecuencias.

Contribuciones Clave y Resultados
El artículo proporciona una representación explícita de la solución única en el espacio de distribuciones templadas, descomponiéndola en una parte determinista ($Z_1$) y una parte de convolución estocástica ($Z_2$). La contribución principal es una caracterización precisa de la existencia de soluciones débiles basada en los parámetros $(\alpha, N, \lambda, \mu)$, donde $N$ es la dimensión espacial.

El Teorema 1.2 establece la siguiente clasificación:

• Régimen Puramente No Local ($\lambda = 0, \mu > 0$): No existe solución débil para ninguna dimensión espacial $N \geq 1$ y cualquier $\alpha \in (0, 2)$. La ausencia del término Laplaciano local impide el decaimiento necesario del núcleo de la solución en altas frecuencias.
• Régimen Mixto / Dominante Local ($\lambda > 0, \mu \geq 0$): La existencia de soluciones débiles depende críticamente de la relación entre $\alpha$ y $N$:
  • Caso $\alpha = 1$: Una solución débil existe si y solo si $N = 1$.
  • Caso $0 < \alpha < 1$: Una solución débil existe si y solo si $N = 1$ y $2/3 < \alpha < 1$.
  • Caso $1 < \alpha < 2$: Una solución débil existe si y solo si $N \in \{1, 2\}$.

Estos resultados refinan y extienden hallazgos previos para ecuaciones de calor estocásticas puramente locales (donde $\mu=0$). Específicamente, los autores corrigen un resultado parcial en la literatura previa (Hachemi y Øksendal) al demostrar que para $0 < \alpha < 1$, las soluciones débiles sí existen en la dimensión $N=1$ siempre que se cumpla la condición más estricta $2/3 < \alpha < 1$, mientras que el trabajo anterior sugería la no existencia para todo el rango.

Significado y Reivindicaciones
El artículo afirma proporcionar una clasificación completa de los regímenes admisibles para esta clase de ecuaciones, destacando el papel sutil de las derivadas temporales fraccionarias.

• No Local vs. Local: Un hallazgo sorprendente es que el término no local por sí solo no puede sostener una solución débil en presencia de ruido blanco; el Laplaciano local es esencial para la regularización de altas frecuencias.
• Efectos de Memoria: El análisis confirma que la derivada fraccionaria induce una propagación subdifusiva y efectos de memoria, lo que altera los umbrales de integrabilidad en comparación con las ecuaciones de calor estocásticas clásicas.
• Validación Numérica: Los resultados teóricos se complementan con simulaciones numéricas que ilustran la evolución de la media y la varianza. Estas simulaciones demuestran la propagación subdifusiva más lenta (escalando como $t^{\alpha/2}$) y las colas más pesadas características de la dinámica fraccionaria en comparación con el núcleo de calor gaussiano clásico.

El trabajo se presenta como una extensión y un perfeccionamiento de los resultados conocidos para las ecuaciones de calor estocásticas fraccionarias puramente locales, ofreciendo un marco riguroso para comprender sistemas con memoria e interacciones espaciales de largo alcance.