Critical exponent for semilinear damped wave equations with weighted nonlinear terms and data from Sobolev spaces of negative order

Resumo Técnico: Expoente Crítico para Equações de Onda Semilineares Amortecidas com Termos Não Lineares Pesados e Dados de Espaços de Sobolev de Ordem Negativa

Enunciado do Problema
Este artigo investiga o problema de Cauchy para equações de onda semilineares amortecidas que apresentam termos não lineares pesados com singularidades do tipo Coulomb e dados iniciais pertencentes a espaços de Sobolev de ordem negativa. A equação específica sob consideração é:
$$\begin{cases} u_{tt}(t, x) - \Delta u(t, x) + u_t(t, x) = |x|^{-\alpha}|u(t, x)|^p, & x \in \mathbb{R}^n, t > 0, \\ u(0, x) = \varepsilon u_0(x), \quad u_t(0, x) = \varepsilon u_1(x), & x \in \mathbb{R}^n, \end{cases}$$
onde $p > 1$, $\alpha \geq 0$, e os dados iniciais $(u_0, u_1)$ pertencem ao espaço produto $\dot{H}^{-\beta}(\mathbb{R}^n) \times \dot{H}^{-\beta}(\mathbb{R}^n)$ com $\beta \geq 0$. O parâmetro $\varepsilon > 0$ representa o tamanho dos dados iniciais. Os autores visam determinar o expoente crítico $p_c(\alpha, \beta, n)$ que separa a existência global de soluções de dados pequenos do blow-up (explosão) em tempo finito de soluções fracas, além de derivar estimativas de tempo de vida (lifespan) no caso subcrítico.

Metodologia
Os autores empregam uma combinação de estimativas de decaimento linear, argumentos de ponto fixo e métodos de função de teste.

1. Estimativas de Decaimento Linear: A análise começa com a equação de onda amortecida linear. Os autores utilizam a transformada de Fourier para derivar estimativas de decaimento $L^m-L^q$ aguçadas para os núcleos lineares $K(t, x)$ e suas derivadas temporais. Essas estimativas estabelecem uma ponte entre a estrutura difusiva da equação de onda amortecida e a equação do calor, mostrando que as soluções decaem de forma semelhante às soluções da equação do calor conforme $t \to \infty$.
2. Existência Global (Dados Pequenos): Para o resultado de existência global, os autores definem um espaço de função adequado $X(T)$ equipado com normas ponderadas no tempo envolvendo as taxas de decaimento derivadas da teoria linear. Eles constroem um mapa de solução $\Phi$ usando o princípio de Duhamel e aplicam o teorema do ponto fixo de Banach.
   • Para lidar com a singularidade $|x|^{-\alpha}$ na não linearidade, os autores utilizam a desigualdade de Caffarelli-Kohn-Nirenberg (Proposição 2.2) para controlar a taxa de decaimento do termo pesado.
   • A desigualdade de Hardy-Littlewood-Sobolev é utilizada para gerenciar os espaços de Sobolev de ordem negativa.
   • A prova baseia-se no estabelecimento das propriedades de contração do operador $\Phi$ sob condições específicas de $p$, $\alpha$ e $\beta$.
3. Resultado de Blow-up: Para a não existência de soluções globais, os autores utilizam o método da função de teste. Eles constroem uma função de teste específica $\Phi_R(t, x)$ envolvendo uma função de corte (cut-off) no tempo e um peso espacial relacionado à singularidade. Ao integrar a formulação fraca contra essa função de teste e aplicar a desigualdade de Hölder, eles derivam uma contradição para $R$ grande quando $p$ está abaixo do limiar crítico.
4. Estimativas de Tempo de Vida (Lifespan): No caso subcrítico ($1 < p < p_c$), os autores derivam tanto limites inferiores quanto superiores para o tempo de vida $T_{\alpha, \beta}(\varepsilon)$. O limite inferior é obtido analisando a condição de contração no argumento de ponto fixo, enquanto o limite superior é refinado usando o método da função de teste com correções logarítmicas.

Principais Contribuições e Resultados

• Determinação do Expoente Crítico: O resultado primário é a identificação do expoente crítico para a equação de onda amortecida pesada com dados de ordem negativa:
  $$p_c(\alpha, \beta, n) := 1 + \frac{4 - 2\alpha}{n + 2\beta}$$
  Esta fórmula é válida para dimensões $1 \leq n \leq 4$ e parâmetros $0 \leq \alpha, \beta < n/2$. Os autores demonstram que o peso $|x|^{-\alpha}$ e a ordem negativa $\beta$ deslocam o expoente crítico para a esquerda em comparação ao expoente de Fujita padrão ($1 + 2/n$) ou ao caso com $\alpha=0$.

• Teorema de Existência Global (Teorema 1.1): Para $p \geq p_c(\alpha, \beta, n)$, os autores provam a existência de uma solução única global para dados iniciais suficientemente pequenos $\varepsilon$. A solução pertence a $C([0, \infty), H^1)$ e satisfaz estimativas de decaimento temporal específicas:
  $$\|u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{\beta}{2}}, \quad \|\nabla u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{1+\beta}{2}}.$$
  Restrições adicionais sobre $p$ são fornecidas para as dimensões $n=3, 4$ para garantir a validade das imersões de Sobolev e das desigualdades utilizadas.

• Teorema de Blow-up (Teorema 1.2): Para $1 < p < p_c(\alpha, \beta, n)$, os autores provam que não existe solução global fraca, mesmo para dados pequenos, desde que os dados iniciais satisfaçam uma condição de limite inferior específica envolvendo decaimento logarítmico.

• Estimativas de Tempo de Vida: No regime subcrítico, o tempo de vida $T_{\alpha, \beta}(\varepsilon)$ é estimado como:
  $$\varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} \lesssim T_{\alpha, \beta}(\varepsilon) \lesssim \varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} (\log(\varepsilon^{-1}))^{\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}}.$$
  Os autores observam que a presença do peso $|x|^{-\alpha}$ contribui para aumentar o tempo de vida das soluções de blow-up em comparação ao caso não pesado.

• Corolários para Dados Baseados em $L^m$: Os autores estendem seus resultados para dados iniciais em $\dot{H}^{-\bar{\beta}}_m \times \dot{H}^{-\bar{\beta}}_m$ para $m \in (1, 2]$, derivando um expoente crítico correspondente $p_c(\alpha, \bar{\beta} + \theta(m), n)$.

Significância e Alegações
O artigo afirma estender resultados anteriores sobre equações de onda semilineares amortecidas ao incorporar simultaneamente duas generalizações:

1. Não Linearidade Pesada: Abordando a singularidade do tipo Coulomb $|x|^{-\alpha}$, que havia sido estudada isoladamente (por exemplo, em [26] para $\beta=0$), mas não combinada com dados de ordem negativa neste framework específico.
2. Dados de Ordem Negativa: Estendendo o espaço de dados iniciais para $\dot{H}^{-\beta}$, construindo sobre o trabalho de [5] e [8] que consideravam $\alpha=0$.

Os autores afirmam que seus resultados generalizam as descobertas de [5, 8, 26]. Especificamente, eles mostram que o expoente crítico é deslocado tanto pela força da singularidade $\alpha$ quanto pelo déficit de regularidade $\beta$. O artigo também destaca uma melhoria na estimativa do limite superior para o tempo de vida em comparação com trabalhos anteriores (especificamente [15, Teorema 1.8]) no caso $\alpha = \beta = 0$, ao incluir um fator de correção logarítmica. O trabalho é apresentado como uma análise matemática rigorosa estabelecendo o limiar entre a existência global e o blow-up para esta classe específica de equações.