Blow-up of solutions to semilinear parabolic equations driven by mixed local-nonlocal operators with large initial data

Resumo Técnico: Explosão de Soluções para Equações Parabólicas Semilineares Acionadas por Operadores Misto-Local e Não Local com Dados Iniciais Grandes

Enunciado do Problema
O artigo investiga a explosão em tempo finito de soluções não negativas para o problema de Cauchy de equações parabólicas semilineares acionadas por um operador misto local–não local $L$. A equação é dada por:
$$\begin{cases} \partial_t u + Lu = f(u) & \text{em } \mathbb{R}^N \times (0, +\infty), \\ u(\cdot, 0) = u_0 & \text{em } \mathbb{R}^N, \end{cases}$$
onde o operador é definido como $L = -a\Delta + b(-\Delta)^s$ com parâmetros $a \ge 0$ e $b > 0$. O termo de reação $f$ satisfaz hipóteses estruturais incluindo continuidade local de Lipschitz, convexidade, crescimento superlinear no infinito e a condição de Osgood ($\int_1^\infty \frac{dz}{f(z)} < \infty$). O caso protótipo é $f(u) = u^p$ com $p > 1$.

Embora a literatura cubra extensivamente o caso puramente local ($a=1, b=0$) e o caso puramente não local ($a=0, b=1$), e trabalhos anteriores (especificamente [8]) tenham estabelecido a explosão para $p$ pequeno ($p \le 1 + 2s/N$) com dados não triviais arbitrários, este estudo foca no regime onde o dado inicial $u_0$ é suficientemente grande. O objetivo principal é provar que, para qualquer $p > 1$, se o dado inicial for grande o suficiente, a solução explode em tempo finito, mesmo na presença do operador misto.

Metodologia
Os autores adaptam o método de Kaplan (originalmente desenvolvido para a equação do calor) ao quadro de operadores mistos. O núcleo da metodologia envolve três etapas principais:

1. Construção de uma Função de Kaplan: Os autores definem uma "função de Kaplan" $\kappa$ como uma função positiva, suave e integrável que satisfaz a desigualdade de subsolução $-L\kappa + \lambda\kappa \ge 0$ pontualmente em $\mathbb{R}^N$ para algum $\lambda > 0$.

   • Diferentemente do caso puramente local, onde a função de Kaplan é uma Gaussiana ($e^{-k|x|^2}$), os autores constroem explicitamente uma função de Kaplan adequada para o operador misto. A função construída assume a forma:
     $$\kappa(x) = C \varepsilon^{N/2} (1 + \varepsilon|x|^2)^{-\beta}$$
     onde $C, \varepsilon, \beta$ são constantes positivas.
   • A construção requer um manuseio cuidadoso da parte não local $(-\Delta)^s$. Os autores utilizam propriedades da função hipergeométrica e argumentos de escala para estimar a ação de $L$ sobre $\kappa$, garantindo que a desigualdade valha para $\lambda$ suficientemente grande.

2. Derivação de uma Desigualdade Diferencial: Para uma solução $u(t)$, os autores definem um funcional $\Phi(t) = \int_{\mathbb{R}^N} \kappa(x) u(x,t) \, dx$. Multiplicando a EDP por $\kappa$ e integrando, eles derivam a desigualdade diferencial ordinária:
   $$\Phi'(t) + \lambda \Phi(t) \ge f(\Phi(t))$$
   Esta derivação baseia-se em integração por partes para a parte local e identidades integrais específicas (envolvendo a forma bilinear $B(f,g)$) para a parte não local. Crucialmente, eles empregam funções de corte e argumentos de limite ($R \to \infty$) para lidar com os termos de cauda não local, confiando nas propriedades de integrabilidade do $\kappa$ construído.

3. Análise de Explosão: Os autores mostram que, se o dado inicial satisfaz $\Phi(0) > s_f(\lambda)$ (onde $s_f(\lambda)$ é um limiar derivado do termo de reação), a solução da desigualdade diferencial explode em tempo finito. Isso implica a não existência de soluções clássicas globais para a EDP original.

Resultados Principais

• Critério Geral de Explosão (Teorema 3.4): O artigo estabelece uma condição geral para explosão em tempo finito. Se uma função de Kaplan $\kappa$ existir satisfazendo limites específicos de regularidade e decaimento, e o dado inicial $u_0$ satisfizer $\int_{\mathbb{R}^N} \kappa u_0 \, dx > s_f(\lambda)$, então nenhuma solução clássica global existe.
• Construção Explícita (Teorema 3.7): Os autores constroem explicitamente a função de Kaplan $\kappa_\varepsilon(x) \propto (1 + \varepsilon|x|^2)^{-\beta}$ para o operador misto $L = -a\Delta + b(-\Delta)^s$. Eles provam que, para $\beta > N/2$, esta função satisfaz a desigualdade de subsolução requerida para uma faixa específica de $\lambda$ dependente do parâmetro de escala $\varepsilon$.
• Teorema Principal (Teorema 3.9): Combinando o critério geral com a construção explícita, os autores provam que, para o operador misto, se o dado inicial for suficientemente grande (quantificado pela desigualdade 3.32), a solução explode em tempo finito.
• Recuperação de Resultados Conhecidos (Teorema 3.10): Como corolário, os autores aplicam seu resultado principal ao caso $f(u) = u^p$ com $1 < p < 1 + 2s/N$. Eles demonstram que, para esta faixa de $p$, a explosão ocorre para qualquer dado inicial não trivial (não apenas para os grandes), recuperando assim o resultado estabelecido anteriormente em [8] usando métodos diferentes.

Significado e Afirmativas
Os autores afirmam que seu resultado é novo mesmo no caso especial do Laplaciano fracionário ($a=0, b=1$). Embora a explosão para dados iniciais grandes seja bem conhecida para a equação do calor clássica, estender isso ao caso fracionário e ao quadro de operadores mistos exigiu superar obstáculos técnicos significativos relacionados à natureza não local do operador.

Especificamente, o artigo destaca:

• A necessidade de uma forma diferente para a função de Kaplan no contexto misto/não local em comparação com o contexto local clássico.
• A adaptação bem-sucedida do método de Kaplan a operadores envolvendo Laplacianos fracionários, o que é não trivial devido à falta de fórmulas locais explícitas para a ação do operador sobre funções de teste.
• A provisão de uma condição explícita e verificável sobre o dado inicial que garante a explosão para qualquer $p > 1$ no contexto de operadores mistos.

O trabalho contribui para a teoria qualitativa de equações parabólicas mistas local-não local, um campo de interesse crescente devido a aplicações em dinâmica estocástica (combinando processos de difusão e salto) e modelos de forrageamento ótimo. O artigo não propõe novas aplicações, mas sim solidifica a base teórica para compreender o comportamento de longo prazo das soluções neste contexto específico de operador.