Fujita Phenomenon for a Mixed Local-Nonlocal Hardy-Hénon Equation with Regularly Varying Time Weights

1. Formulação do Problema

Os autores investigam o problema de Cauchy para uma equação parabólica semilinear governada por um operador de difusão misto local–não local com uma não linearidade de Hardy–Hénon e um termo de forçamento dependente do tempo. A equação é dada por:

$$\begin{cases} \partial_t u - (\Delta - (-\Delta)^s)u = h(t)|x|^{-b}|u|^p + t^\varrho w(x), & (x, t) \in \mathbb{R}^N \times (0, \infty), \\ u(x, 0) = u_0(x), & x \in \mathbb{R}^N, \end{cases}$$

Parâmetros e Componentes Chave:

• Operador: $L = \Delta - (-\Delta)^s$, onde $\Delta$ é o Laplaciano clássico (difusão local) e $(-\Delta)^s$ ($s \in (0,1)$) é o Laplaciano fracionário (difusão não local). Isso modela a competição entre interações de curto e longo alcance.
• Não Linearidade: $|x|^{-b}|u|^p$ com $b \ge 0$ e $p > 1$. O termo $|x|^{-b}$ introduz uma singularidade espacial (potencial de Hardy).
• Coeficiente Dependente do Tempo: $h(t)$ pertence à classe generalizada $M(\gamma)$ de funções com taxa de crescimento logarítmico $\gamma > -1$. Esta classe estende as funções de variação regular clássicas para incluir comportamentos oscilatórios e não regulares (por exemplo, $t^\gamma \sin(\log t)$).
• Termo de Forçamento: $t^\varrho w(x)$ com $\varrho > -1$ e uma fonte espacial prescrita $w(x)$.

O estudo foca em dois regimes principais:

1. Caso Não Forçado ($w \equiv 0$): Determinar o expoente crítico de Fujita que separa a existência global da explosão em tempo finito.
2. Caso Forçado ($w \not\equiv 0$): Estabelecer condições para a não existência de soluções fracas globais e derivar condições de pequenez para soluções suaves globais.

2. Metodologia

A análise combina várias técnicas matemáticas avançadas:

• Teoria dos Semigrupos: Os autores utilizam o semigrupo $\{e^{tL}\}_{t \ge 0}$ gerado pelo operador misto $L$. Eles estabelecem estimativas de suavização (taxas de decaimento) para o núcleo deste semigrupo, aproveitando o fato de que a solução fundamental é uma convolução do núcleo clássico do calor e do núcleo fracionário do calor.
• Funções de Variação Regular (Teoria de Karamata): Uma novidade central é o uso da classe $M(\gamma)$. Os autores empregam propriedades assintóticas dessas funções (especificamente os teoremas de Karamata sobre integrais e convergência uniforme) para lidar com o coeficiente dependente do tempo $h(t)$, que pode não ser estritamente de variação regular, mas compartilha taxas de crescimento semelhantes.
• Método da Função de Teste: Para provar resultados de não existência (explosão), os autores constroem funções de teste de corte específicas $\psi_R(x,t)$ envolvendo escalonamento espacial e temporal. Eles aplicam isso à formulação fraca da equação para derivar desigualdades integrais que levam a contradições para soluções globais.
• Argumento de Ponto Fixo (Contração de Banach): Para provar a existência global, o problema é reformulado como uma equação integral de Duhamel. Os autores definem um espaço de Banach ponderado adequado (incorporando pesos de decaimento temporal) e provam que o mapeamento não linear associado é uma contração estrita para dados iniciais e termos de forçamento pequenos.
• Argumentos de Escalonamento: Identidades de escalonamento precisas são usadas para determinar os expoentes críticos e para lidar com o peso singular $|x|^{-b}$ no termo não linear.

3. Contribuições e Resultados Chave

A. O Problema Não Forçado (Fenômeno de Fujita)

O artigo estende resultados anteriores (que assumiam $h(t) \sim t^\gamma$) para a classe mais ampla $h \in M(\gamma)$.

• Expoente Crítico de Fujita: Os autores estabelecem que o expoente crítico $p_F$ permanece:
  $$p_F = 1 + \frac{2s(\gamma + 1)}{N}$$
  • Explosão: Se $1 < p < p_F$, toda solução não negativa não trivial explode em tempo finito.
  • Existência Global: Se $p > p_F$, existem soluções suaves globais para dados iniciais suficientemente pequenos.
• Significado: Este resultado demonstra a robustez do fenômeno de Fujita. Mesmo que $h(t)$ exiba oscilações ou comportamento irregular (desde que sua taxa de crescimento logarítmico seja $\gamma$), o limiar para a explosão permanece inalterado. O termo de difusão local $\Delta$ não altera o expoente crítico, que é governado exclusivamente pela parte fracionária $s$.

B. O Problema Forçado (Não Existência de Soluções Globais)

Para a equação com um termo fonte $t^\varrho w(x)$, os autores derivam condições sob as quais não existem soluções fracas globais, independentemente do tamanho dos dados iniciais.

• Condições: Assumindo $w \in C_0 \cap L^1$ com $\int w > 0$:
  • Se $\varrho \le 0$, $0 \le \frac{b}{1+\gamma} < 2s < N$, e $1 < p < p^*$, onde:
    $$p^* = \frac{N - b - 2s(\varrho - \gamma)}{N - 2s(\varrho + 1)}$$
  • Se $\varrho > 0$ e $b, \gamma \ge 0$, a não existência vale para todo $p > 1$.
• Método: A prova depende do método da função de teste, equilibrando cuidadosamente o decaimento do núcleo do operador contra o crescimento dos pesos temporais $h(t)$ e $t^\varrho$.

C. O Problema Forçado (Existência Global)

Os autores fornecem condições suficientes para a existência de soluções suaves globais quando os parâmetros permitem ($p > p^*$).

• Condição de Pequenez: Existe $\epsilon > 0$ tal que, se os dados iniciais $u_0$ e a fonte $w$ satisfazem:
  $$\|u_0\|_{L^{p_c}} + \|w\|_{L^{q_c}} < \epsilon$$
  onde $p_c$ e $q_c$ são expoentes críticos específicos derivados da análise de escalonamento, então existe uma única solução suave global.
• Estrutura Funcional: A prova utiliza um espaço ponderado com normas envolvendo fatores de decaimento temporal $t^\mu$, garantindo que a solução permaneça limitada globalmente.

4. Significado e Novidade

1. Generalização dos Pesos de Tempo: Este é o primeiro estudo a abordar fenômenos de explosão para equações de difusão não linear com coeficientes na classe $M(\gamma)$. Trabalhos anteriores estavam restritos a coeficientes de lei de potência ($t^\gamma$). Esta generalização cobre dependências temporais oscilatórias e irregulares, tornando os resultados aplicáveis a uma gama mais ampla de modelos físicos.
2. Análise do Operador Misto: O trabalho analisa rigorosamente a interação entre a difusão local ($\Delta$) e não local ($(-\Delta)^s$). Confirma que o expoente crítico de Fujita é determinado pelo componente fracionário, um resultado não trivial dada a competição entre os dois operadores.
3. Hardy-Hénon com Forçamento: A inclusão da singularidade espacial $|x|^{-b}$ combinada com um termo de forçamento dependente do tempo $t^\varrho w(x)$ cria um sistema complexo. O artigo fornece uma classificação completa dos regimes de existência versus não existência com base na interação de $N, s, b, p, \gamma, \varrho$.
4. Estrutura Unificada: Os resultados recuperam vários casos conhecidos (por exemplo, puramente fracionário, puramente local, coeficientes constantes) como instâncias especiais, fornecendo uma estrutura teórica unificada para equações de difusão mista.

5. Conclusão

Ben Belgacem e Majdoub caracterizaram com sucesso o comportamento de explosão e existência global para uma classe complexa de equações de difusão mista. Ao integrar estimativas de semigrupo com a teoria assintótica de funções de variação regular, eles estendem a teoria clássica de Fujita para incluir pesos temporais irregulares e forçamento externo. As descobertas destacam que, embora a forma específica do coeficiente temporal possa ser altamente irregular, sua taxa de crescimento assintótico é o único determinante do limiar crítico para a explosão. Trabalhos futuros sugeridos pelos autores incluem a análise de assintóticas de longo prazo, não linearidades de gradiente e interpretações probabilísticas via processos de Lévy.