Heat Equation driven by mixed local-nonlocal operators with non-regular space-dependent coefficients

---

1. O Problema Investigado

O artigo estuda o problema de Cauchy para uma equação do calor governada por um operador de difusão misto (local-não local) com coeficientes espaciais irregulares (distribucionais). A equação é dada por:

$$\begin{cases} u_t(t, x) + Lu(t, x) = 0, & (t, x) \in (0, T) \times \mathbb{R}^d, \\ u(0, x) = u_0(x), & x \in \mathbb{R}^d, \end{cases}$$

onde o operador $L$ é definido como:
$$Lu = -\nabla \cdot (a(x)\nabla u) + (-\Delta)^{s/2}(b(x)(-\Delta)^{s/2}u) + c(x)u,$$
com $0 < s < 1$.

Componentes do Modelo:

• Parte Local: $-\nabla \cdot (a(x)\nabla u)$ representa a difusão clássica em meios heterogêneos.
• Parte Não-Local: $(-\Delta)^{s/2}(b(x)(-\Delta)^{s/2}u)$ incorpora efeitos de longo alcance (tipo Lévy) modulados pelo coeficiente $b(x)$. O termo $(-\Delta)^{s/2}$ é o Laplaciano fracionário de Riesz.
• Termo de Ordem Inferior: $c(x)u$ pode representar reação, amortecimento ou absorção.

O Desafio Central:
Os coeficientes $a, b, c$ e o dado inicial $u_0$ são assumidos como distribuições (elementos de $\mathcal{D}'(\mathbb{R}^d)$), e não funções regulares. Isso cria uma obstrução clássica apontada por Schwartz: o produto de distribuições não é bem definido em geral. Consequentemente, as formulações clássicas de soluções fracas (baseadas em integrais de produtos de funções) falham, pois envolvem multiplicar coeficientes distribucionais pela solução ou seus gradientes.

2. Metodologia

Para superar a impossibilidade de definir o produto de distribuições, os autores utilizam a teoria das soluções muito fracas (very weak solutions), introduzida por Garetto e Ruzhansky. A abordagem segue os seguintes passos:

1. Regularização de Friedrichs:

   • Os coeficientes distribucionais ($a, b, c$) e o dado inicial ($u_0$) são substituídos por redes de funções suaves ($a_\varepsilon, b_\varepsilon, c_\varepsilon, u_{0,\varepsilon}$) obtidas via convolução com um mollifier padrão $\psi_{\omega(\varepsilon)}$, onde $\omega(\varepsilon) \to 0$ quando $\varepsilon \to 0$.
   • Isso transforma o problema original em uma família de problemas regulares parametrizados por $\varepsilon \in (0, 1]$.

2. Conceitos de Moderacidade e Negligibilidade:

   • Define-se o que significa uma rede de funções ser moderada (crescimento polinomial controlado em relação a $\omega(\varepsilon)^{-N}$) e negligível (decrescimento mais rápido que qualquer potência de $\omega(\varepsilon)$).
   • A solução muito fraca é definida como uma rede de soluções $(u_\varepsilon)_\varepsilon$ dos problemas regularizados que seja moderada em um espaço de energia apropriado.

3. Análise de Consistência:

   • Verifica-se que, se os coeficientes originais forem regulares (funções $L^\infty$), a solução muito fraca converge para a solução fraca clássica quando $\varepsilon \to 0$.

3. Resultados Principais

O artigo estabelece os seguintes teoremas fundamentais:

A. Bem-postura no Caso Regular (Seção 3)

Antes de tratar o caso singular, os autores provam a existência e unicidade de soluções fracas clássicas para coeficientes $a, b, c \in L^\infty(\mathbb{R}^d)$ que satisfazem condições de positividade uniforme ($a \ge a_0 > 0$, etc.).

• Resultado: Existe uma única solução fraca $u \in L^\infty(0, T; H^1(\mathbb{R}^d)) \cap C([0, T]; L^2(\mathbb{R}^d))$.
• Estimativa de Energia: Deriva-se uma estimativa a priori que garante a dependência contínua dos dados iniciais e a estabilidade da solução.

B. Existência de Soluções Muito Fracas (Seção 4.2)

Para coeficientes distribucionais $a, b, c, u_0 \in \mathcal{E}'(\mathbb{R}^d)$ (distribuições com suporte compacto):

• Teorema: Sob a hipótese de que os coeficientes são "estritamente positivos no sentido das distribuições" (o que garante que as regularizações $a_\varepsilon, b_\varepsilon, c_\varepsilon$ mantêm positividade uniforme para $\varepsilon$ pequeno), existe uma rede de soluções $(u_\varepsilon)_\varepsilon$ que é moderada no espaço $L^\infty(0, T; H^1)$.
• Isso define a existência de uma solução muito fraca para o problema original.

C. Unicidade (Seção 4.3)

• Teorema: A solução muito fraca é única a menos de negligibilidade.
• Isso significa que se duas redes de regularização diferentes (mas ambas moderadas e convergindo para os mesmos coeficientes distribucionais) forem utilizadas, as redes de soluções resultantes diferem apenas por uma rede negligível. Portanto, a solução é bem definida no espaço de soluções muito fracas (quociente das redes moderadas pelas negligíveis).

D. Consistência (Seção 4.4)

• Teorema: Se os coeficientes e o dado inicial forem regulares ($L^\infty$ e $H^1$), a solução muito fraca obtida via regularização converge fortemente para a solução fraca clássica única no espaço $C([0, T]; L^2) \cap L^2(0, T; H^1)$.
• Isso valida a metodologia, mostrando que ela é uma extensão natural da teoria clássica.

4. Contribuições Chave e Significância

1. Unificação de Operadores Misto-Local/Não-Local: O trabalho é pioneiro em tratar a equação do calor com um operador que combina difusão elíptica clássica e difusão fracionária, ambos com coeficientes espaciais variáveis e irregulares, dentro de um único quadro analítico.
2. Tratamento de Coeficientes Singulares: Resolve o problema fundamental da multiplicação de distribuições em equações parabólicas evolutivas, permitindo modelar meios com heterogeneidades extremas (singularidades espaciais) que seriam intratáveis pela teoria de soluções fracas padrão.
3. Novo Espaço de Soluções: Estabelece um framework rigoroso para "soluções muito fracas" em contextos de operadores mistos, definindo claramente os conceitos de moderacidade e negligibilidade para redes de soluções.
4. Aplicações Potenciais: O modelo é altamente relevante para:
   • Biologia e Ecologia: Modelagem de movimento animal que combina difusão local (Browniana) com saltos de longo alcance (voos de Lévy) em ambientes com recursos heterogêneos ou barreiras físicas.
   • Física de Meios Complexos: Transporte anômalo em materiais porosos, turbulentos ou com armadilhas (trapping), onde os coeficientes podem representar propriedades do material que variam de forma descontínua ou singular.

Conclusão

O artigo fornece uma base analítica robusta para o estudo de equações de difusão parciais com operadores mistos e coeficientes altamente singulares. Ao demonstrar a existência, unicidade (no sentido de redes) e consistência com a teoria clássica, os autores abrem caminho para futuras investigações numéricas e analíticas de modelos físicos e biológicos complexos que envolvem interações locais e não locais em ambientes desordenados.