Mild Solutions for Time--Fractional Stochastic Nonlocal Diffusion Equations

Resumo Técnico: Soluções Fracas para Equações de Difusão Não Local Estocásticas de Tempo Fracionário

Enunciado do Problema
O artigo investiga uma equação de difusão não local tempo-espaço impulsionada por ruído branco tempo-espaço aditivo. O modelo é governado pela derivada fracionária de Caputo de ordem $\alpha \in (0, 2)$ e acopla um termo de difusão local (Laplaciano) com um operador de convolução não local gerado por uma densidade de probabilidade radial. A equação governante é:
$$\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),$$
onde $\lambda, \mu \geq 0$, $\sigma \in \mathbb{R}$, e $W(t, x)$ representa o ruído branco tempo-espaço interpretado no sentido de distribuição dentro do espaço de Hida $(S)^*$. O estudo foca na existência de soluções fracas para dados iniciais singulares (Dirac) $Z(0, x) = \delta_0(x)$.

O principal desafio abordado é a interação entre a dinâmica temporal fracionária, interações espaciais não locais e o forçamento estocástico. Embora equações de calor estocásticas puramente locais fracionárias tenham sido estudadas (ex: Hachemi e Øksendal), a influência específica do termo não local na integrabilidade tempo-espaço necessária para a existência de soluções fracas em distribuições temperadas ainda não havia sido totalmente esclarecida.

Metodologia
Os autores empregam uma combinação de técnicas analíticas e probabilísticas:

1. Métodos de Transformação: A solução é derivada utilizando transformadas de Laplace e de Fourier. A transformada de Laplace lida com a derivada de Caputo no tempo, enquanto a transformada de Fourier aborda os operadores espaciais.
2. Funções Especiais: A fórmula da solução explícita depende fortemente de funções de Mittag–Leffler ($E_\alpha$ e $E_{\alpha, \alpha}$), que servem como os análogos naturais da função exponencial para dinâmicas fracionárias. Os autores utilizam expansões assintóticas aguçadas e limites para essas funções para analisar o comportamento dos núcleos da solução.
3. Análise Estocástica: O ruído é tratado via integral de Itô–Skorohod e multiplicação de Wick dentro do espaço de distribuições temperadas. A existência de uma solução fraca é reduzida à verificação da finitude do segundo momento, $E[|Z_2(t, x)|^2] < \infty$, onde $Z_2$ é o termo de convolução estocástica.
4. Critérios de Integrabilidade: Utilizando a isometria de Itô e o teorema de Plancherel, o problema da existência é transformado em um delicado problema de integrabilidade tempo-espaço envolvendo os quadrados dos núcleos de Mittag–Leffler. Os autores estabelecem condições ótimas analisando o comportamento assintótico desses núcleos tanto em baixas quanto em altas frequências.

Principais Contribuições e Resultados
O artigo fornece uma representação explícita da solução única no espaço de distribuições temperadas, decompondo-a em uma parte determinística ($Z_1$) e uma parte de convolução estocástica ($Z_2$). A principal contribuição é uma caracterização precisa da existência de soluções fracas baseada nos parâmetros $(\alpha, N, \lambda, \mu)$, onde $N$ é a dimensão espacial.

O Teorema 1.2 estabelece a seguinte classificação:

• Regime Puramente Não Local ($\lambda = 0, \mu > 0$): Nenhuma solução fraca existe para qualquer dimensão espacial $N \geq 1$ e qualquer $\alpha \in (0, 2)$. A ausência do termo Laplaciano local impede o decaimento necessário do núcleo da solução em altas frequências.
• Regime Misto/Dominante Local ($\lambda > 0, \mu \geq 0$): A existência de soluções fracas depende criticamente da relação entre $\alpha$ e $N$:
  • Caso $\alpha = 1$: Uma solução fraca existe se, e somente se, $N = 1$.
  • Caso $0 < \alpha < 1$: Uma solução fraca existe se, e somente se, $N = 1$ e $2/3 < \alpha < 1$.
  • Caso $1 < \alpha < 2$: Uma solução fraca existe se, e somente se, $N \in \{1, 2\}$.

Estes resultados refinam e estendem achados anteriores para equações puramente locais (onde $\mu=0$). Especificamente, os autores corrigem um resultado parcial na literatura prévia (Hachemi e Øksendal) ao demonstrar que, para $0 < \alpha < 1$, soluções fracas de fato existem na dimensão $N=1$, desde que a condição mais restrita $2/3 < \alpha < 1$ seja atendida, enquanto o trabalho anterior sugeria a não existência para todo o intervalo.

Significância e Alegações
O artigo afirma fornecer uma classificação completa dos regimes admissíveis para esta classe de equações, destacando o papel sutil das derivadas temporais fracionárias.

• Não Local vs. Local: Um achado marcante é que o termo não local sozinho não pode sustentar uma solução fraca na presença de ruído branco; o Laplaciano local é essencial para a regularização de altas frequências.
• Efeitos de Memória: A análise confirma que a derivada fracionária induz uma propagação subdifusiva e efeitos de memória, que alteram os limiares de integrabilidade em comparação com as equações de calor estocásticas clássicas.
• Validação Numérica: Os resultados teóricos são complementados por simulações numéricas que ilustram a evolução da média e da variância. Estas simulações demonstram a propagação subdifusiva mais lenta (escalonamento como $t^{\alpha/2}$) e as caudas mais pesadas características das dinâmicas fracionárias em comparação com o núcleo de calor Gaussiano clássico.

O trabalho é apresentado como uma extensão e um refinamento de resultados conhecidos para equações de calor estocásticas puramente locais, oferecendo um arcabouço rigoroso para compreender sistemas que possuem tanto memória quanto interações espaciais de longo alcance.