Heat equations driven by mixed local-nonlocal operators with exponential nonlinearity

Resumo Técnico: Equações de Calor Impulsionadas por Operadores Misto-Local e Não-Local com Não-Linearidade Exponencial

Enunciado do Problema
Este artigo investiga o problema de Cauchy para uma equação de calor semilinear impulsionada por um operador misto local-não-local $L := -\Delta + (-\Delta)^s$ com $s \in (0, 1)$, apresentando uma não-linearidade exponencial $f(u)$. A equação é dada por:
$$\begin{cases} \partial_t u(x, t) + Lu(x, t) = f(u(x, t)), & (x, t) \in \mathbb{R}^d \times (0, \infty), \\ u(0, x) = u_0(x), & x \in \mathbb{R}^d, \end{cases}$$
onde a não-linearidade $f$ exibe crescimento exponencial no infinito (especificamente $f(u) \sim e^{|u|^p}$ quando $|u| \to \infty$ com $p > 1$) e satisfaz $f(0)=0$. O operador $L$ combina o Laplaciano clássico (modelando difusão local) e o Laplaciano fracionário (modelando difusão não-local, do tipo salto). O estudo foca em estabelecer a boa colocação local e global para dados iniciais $u_0$ que podem ser ilimitados, necessitando de um quadro funcional além dos espaços de Lebesgue padrão.

Metodologia
Os autores empregam uma abordagem de análise funcional centrada em espaços de Orlicz, especificamente o espaço de Orlicz exponencial $\exp L^p(\mathbb{R}^d)$ e seu subespaço $\exp L^p_0(\mathbb{R}^d)$. Esta escolha é motivada pela falha dos espaços de Lebesgue em acomodar as condições de escalonamento crítico e crescimento associadas a não-linearidades exponenciais, análogo ao papel dos espaços de Sobolev em casos polinomiais críticos.

Componentes metodológicos chave incluem:

1. Quadro Funcional: A análise é conduzida em $\exp L^p_0(\mathbb{R}^d)$, definido como o fecho de $C^\infty_0(\mathbb{R}^d)$ em $\exp L^p(\mathbb{R}^d)$. Este espaço é crucial porque o semigrupo de calor $e^{-tL}$ não é geralmente limitado no espaço completo $\exp L^p(\mathbb{R}^d)$, mas é limitado em $\exp L^p_0(\mathbb{R}^d)$.
2. Estimativas de Semigrupo: Os autores derivam propriedades de mapeamento refinadas e estimativas de decaimento para o semigrupo de calor $e^{-tL}$ associado ao operador misto. Estas estimativas utilizam limites de núcleo de calor e argumentos de interpolação em espaços de Orlicz, capturando a interação entre os componentes local ($-\Delta$) e não-local ($(-\Delta)^s$).
3. Argumentos de Ponto Fixo:
   • Boa Colocação Local: Provada via uma técnica de decomposição onde o dado inicial $u_0$ é dividido em uma parte suave $v_0 \in C^\infty_0$ e uma pequena perturbação $w_0$. A parte suave é tratada por argumentos clássicos de semigrupo, enquanto a perturbação é resolvida usando o teorema do ponto fixo de Banach em um espaço de Banach adequado adaptado a $\exp L^p$.
   • Existência Global: Estabelecida para dados iniciais pequenos usando o princípio de contração em um espaço métrico completo equipado com normas ponderadas no tempo. A análise distingue casos com base na relação entre a ordem fracionária $s$ e o limiar crítico $d(p-1)/(2p)$.

Contribuições e Resultados Principais

1. Boa Colocação Local (Teorema 1.3):
   O artigo estabelece a existência e unicidade de uma solução fraca $u \in C([0, T], \exp L^p_0(\mathbb{R}^d))$ para qualquer dado inicial $u_0 \in \exp L^p_0(\mathbb{R}^d)$. A não-linearidade é assumida satisfazer uma condição do tipo Lipschitz com crescimento exponencial: $|f(u) - f(v)| \leq C|u-v|(e^{\lambda|u|^p} + e^{\lambda|v|^p})$. A solução é mostrada ser localmente limitada em $L^\infty(\mathbb{R}^d)$ para $t > 0$.

2. Existência Global para Dados Pequenos (Teorema 1.4):
   Sob a suposição de que a não-linearidade comporta-se como $|u|^m$ perto da origem (com $m \geq p$ e satisfazendo restrições de crescimento específicas relacionadas ao expoente de Fujita), os autores provam a existência de soluções fracas-suaves globais para dados iniciais suficientemente pequenos em $\exp L^p(\mathbb{R}^d)$. A prova requer distinguir três regimes com base no parâmetro $s$ relativo a $d(p-1)/(2p)$:

   • $s < d(p-1)/(2p)$
   • $s = d(p-1)/(2p)$
   • $s > d(p-1)/(2p)$ (requerendo $m > p$)

3. Estimativas de Decaimento em Tempos Longos:
   Os autores derivam taxas de decaimento explícitas para a solução em espaços de Lebesgue $L^q$. A estimativa de decaimento (Equação 1.8) revela uma transição assintótica única:

   • Regime de curto prazo ($t \to 0$): A solução imita o comportamento de decaimento da equação de calor local, governado por um expoente efetivo $\tilde{m}$ relacionado aos efeitos de suavização local.
   • Regime de longo prazo ($t \to \infty$): A estimativa transiciona para recuperar as assintóticas puramente não-locais características do Laplaciano fracionário $(-\Delta)^s$.

Significado e Alegações
O artigo alega preencher a lacuna entre as teorias de difusão local e não-local no contexto de não-linearidades exponenciais. Especificamente:

• Identifica $\exp L^p_0(\mathbb{R}^d)$ como o cenário funcional apropriado para o operador misto com crescimento exponencial, abordando as questões de densidade presentes no espaço de Orlicz completo.
• Demonstra que a presença do termo de difusão local não altera o comportamento fundamental de existência global ditado pelo componente fracionário (o expoente crítico de Fujita permanece $p_c = 1 + 2s/d$), mas influencia significativamente a dinâmica de curto prazo.
• As estimativas de decaimento derivadas destacam uma interpolação contínua entre dinâmicas locais singulares e dissipação fracionária de caudas pesadas, mostrando que os efeitos não-locais não são instantâneos, mas emergem ao longo do tempo.

O trabalho estende resultados anteriores sobre não-linearidades polinomiais em operadores mistos (e.g., [4, 10, 28]) e não-linearidades exponenciais em cenários puramente locais ou puramente não-locais (e.g., [16, 23, 24, 30, 31, 34]) para o caso misto local-não-local.