Fujita-type blow-up for inhomogeneous semilinear heat equations with regularly varying forcing

Resumo Técnico: Explosão do Tipo Fujita para Equações de Calor Semilineares Inhomogêneas com Forçamento de Variação Regular

Enunciado do Problema
O artigo investiga a não existência de soluções fracas globais não negativas para a equação de calor semilinear inhomogênea:
$$\partial_t u - \Delta u = |u|^p + w(x), \quad (t, x) \in (0, \infty) \times \mathbb{R}^N,$$
com dados iniciais $u(0, \cdot) = u_0$. O foco está no fenômeno de "explosão" (blow-up), definido aqui como a não existência de soluções fracas globais no tempo. Enquanto a teoria clássica de Fujita ($w \equiv 0$) estabelece um expoente crítico $p_F = 1 + 2/N$, e o caso forçado com forçamento integrável ($w \in L^1$) foi abordado por Bandle, Levine e Zhang, esses arcabouços falham quando o termo de forçamento $w$ é não-integrável, anisotrópico ou cresce no infinito. Os autores visam substituir a clássica suposição de integrabilidade por uma condição quantitativa sobre a massa espacial do termo de forçamento.

Metodologia
O motor técnico central é o método da função de teste de Mitidieri–Pohozaev, combinado com a teoria da variação regular (teoria de Karamata).

1. Construção da Função de Teste: Os autores empregam uma família específica de funções de teste $\psi_T(t, x) = f(t/T)^{p'} g(|x|^2/T)^{2p'}$ (e variantes anisotrópicas) para derivar desigualdades integrais. Ao aplicar a desigualdade de Young e absorver termos, eles estabelecem um limite superior para a integral do termo de forçamento contra a função de teste, escalonando como $T^{1 + N/2 - p'}$.
2. Arcabouço de Variação Regular: Em vez de assumir $w \in L^1$, os autores analisam a função de massa espacial $F(R) = \int_{|x| \le R} w(x) \, dx$. Eles substituem a suposição qualitativa de limites inferiores por uma condição de que $F$ pertence à classe das funções de variação regular ($RV_\gamma$), o que significa que $F(R) = R^\gamma L(R)$, onde $L$ é uma função de variação lenta.
3. Mecanismo de Contradição: A prova procede por contradição. Se uma solução global existe, o limite inferior derivado da condição de massa (escalonando como $T^{\gamma/2} L(\sqrt{T})$) deve ser compatível com o limite superior. Os autores mostram que, para $p$ subcrítico, os expoentes de $T$ levam a uma contradição conforme $T \to \infty$. No expoente crítico, o fator de variação lenta $L(R)$ determina o resultado; se $L(R) \to \infty$, uma contradição surge, enquanto se $L(R)$ for limitado ou decrescente, o método permanece "silencioso".

Principais Contribuições e Resultados

1. Teorema Mestre de Explosão (Teorema 3.4)
O artigo estabelece um critério de explosão unificado baseado no índice $\gamma$ da massa de variação regular $F(R)$.

• Intervalo Subcrítico: Se $F(R)$ satisfaz uma condição quantitativa de limite inferior (ou $\liminf R^{-\gamma}F(R) > 0$ ou $F \in RV_\gamma$), não existe solução global para $1 < p < p_F(\gamma)$, onde:
  $$p_F(\gamma) = \begin{cases} \frac{N-\gamma}{N-\gamma-2} & \text{se } \gamma < N-2, \\ \infty & \text{se } \gamma \ge N-2. \end{cases}$$
• Caso Crítico: Se $F \in RV_\gamma$ com um fator de variação lenta $L(R) \to \infty$, a explosão ocorre mesmo no expoente crítico $p = p_F(\gamma)$.
• Generalidade: Este arcabouço recupera o resultado clássico de $L^1$ ($\gamma=0$) e o estende para forçamentos com massa infinita (ex: $w(x) \sim |x|^{-(N-\gamma)}$).

2. Rigidez das Hipóteses (Proposição 4.1)
Os autores demonstram que a condição de $\liminf$ na suposição de crescimento de massa não pode ser substituída por $\limsup$. Eles constroem um termo de forçamento com massa concentrada em anéis separados por escalas super-exponenciais tal que $\limsup R^{-\gamma}F(R) > 0$, mas $\liminf R^{-\gamma}F(R) = 0$. Para tais forçamentos, a condição de variação regular falha, e o resultado de explosão não se sustenta em todo o intervalo subcrítico, destacando a necessidade da estrutura de variação regular.

3. Variação Regular de Operador e Anisotropia (Teorema 7.1)
Para lidar com forçamentos com diferentes taxas de escala em diferentes direções, o artigo introduz a variação regular de operador usando uma matriz de expoente simétrica e definida positiva $E$.

• O expoente crítico é generalizado para $p_F^E = \frac{q}{q - 2\lambda_{\min}}$, onde $q = |E| - \gamma_E$ e $\lambda_{\min}$ é o menor autovalor de $E$.
• Os autores fornecem um exemplo (Exemplo 7.5) onde o critério anisotrópico é estritamente mais forte que qualquer afirmação isotrópica, provando que a geometria do forçamento pode alterar significativamente o limiar de explosão.

4. Forçamentos com Mudança de Sinal e Critérios Tauberianos (Teorema 6.7)
O arcabouço é estendido para forçamentos $w$ que mudam de sinal.

• Critério de Massa Líquida: A explosão depende da massa líquida $F(R) = \int_{|x|\le R} w$.
• Transformada de Gauss-Laplace: Um teorema Tauberiano permite a verificação da variação regular de $F(R)$ através do comportamento assintótico da transformada de Gauss-Laplace $\Lambda_w(s) = \int e^{-s|x|^2}w(x)dx$ quando $s \to 0^+$. Se a parte negativa de $w$ for de ordem estritamente menor, os critérios de explosão aplicam-se à massa líquida.

5. Extensões para Contextos Não Locais e Fracionários (Seção 8)
A metodologia é adaptada para:

• Forçamentos de potencial de Riesz: Onde a fonte é uma convolução $I_\sigma g$.
• Laplaciano Fracionário: $\partial_t u + (-\Delta)^s u = |u|^p + w$.
• Funcional de Forçamento Cumulativo ($\Phi$): Um formalismo unificado (Teorema 8.7) é introduzido onde a dicotomia de explosão é determinada pela comparação do índice de variação regular $\alpha$ do funcional de forçamento cumulativo $\Phi(T)$ contra um expoente da função de teste $\beta(p)$.

Significância e Alegações
O artigo afirma fornecer um arcabouço unificado que transcende as suposições clássicas de integrabilidade da teoria de Bandle–Levine–Zhang. Ao alavancar a variação regular, os autores:

• Identificam uma família contínua de expoentes críticos $p_F(\gamma)$ dependentes da taxa de crescimento da massa do forçamento.
• Estabelecem rigidez (sharpness) dos resultados, mostrando que condições de crescimento qualitativas (como $\limsup$) são insuficientes sem o controle estrutural da variação regular.
• Estendem a teoria para contextos anisotrópicos e não locais, oferecendo uma descrição dos limiares de explosão que leva em conta o escalonamento direcional e a difusão fracionária.
• Esclarecem o papel do fator de variação lenta, mostrando que a amplificação ($L(R) \to \infty$) é suficiente para forçar a explosão no expoente crítico, um resultado não acessível via hipótese clássica de $\liminf$ isolada.

Os autores observam que, embora o método da função de teste forneça condições suficientes para a não existência, a otimalidade dos expoentes derivados (especificamente quanto à existência de soluções globais para dados pequenos no intervalo supercrítico) permanece uma questão aberta no contexto desses forçamentos generalizados.