On the semilinear damped wave equation with Riesz potential-type power nonlinearity and initial data in pseudo-measure spaces

Resumo Técnico: Equação de Onda Amortecida Semilinear com Não Linearidade do Tipo Potencial de Riesz

1. O Problema Investigado

O artigo foca na análise qualitativa da seguinte equação de onda amortecida semilinear com um termo de não linearidade do tipo potencial de Riesz:

$$\begin{cases} u_{tt} - \Delta u + u_t = I_\gamma(|u|^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:

• $u_{tt} - \Delta u + u_t = 0$ representa a parte linear da equação de onda amortecida (com amortecimento $u_t$).
• $I_\gamma(|u|^p)$ é o termo não linear, onde $I_\gamma$ é o Potencial de Riesz de ordem $\gamma \in [0, n)$. O potencial de Riesz atua como o inverso do Laplaciano fracionário ($I_\gamma = (-\Delta)^{-\gamma/2}$).
• $p > 1$ é o expoente da não linearidade.
• $\varepsilon > 0$ é um parâmetro pequeno que controla o tamanho dos dados iniciais.
• Condição Inicial: Os dados iniciais $(u_0, u_1)$ pertencem aos espaços de pseudo-medida $Y_q$, definidos por:
  $$Y_q(\mathbb{R}^n) := \left\{ f \in \mathcal{S}'(\mathbb{R}^n) : \hat{f} \in L^1_{loc}, \, \|f\|_{Y_q} := \sup_{\xi \in \mathbb{R}^n} |\xi|^q |\hat{f}(\xi)| < \infty \right\}.$$
  Aqui, $q \in (0, n/2)$. A norma $Y_q$ mede o comportamento da transformada de Fourier na região de baixas frequências ($\xi \to 0$).

2. Metodologia

Os autores utilizam uma abordagem combinada de análise harmônica e teoria de equações diferenciais parciais (EDPs):

1. Estimativas de Decaimento Linear:

   • Estabelecem estimativas de decaimento temporal para a solução do problema linear associado na estrutura $L^2$ e em normas de Sobolev homogêneas $\dot{H}^s$.
   • A chave é a utilização dos espaços $Y_q$. A presença do termo $|\xi|^q$ na norma permite controlar a taxa de decaimento com base na singularidade ou decaimento da transformada de Fourier em baixas frequências.
   • Demonstram que, para dados iniciais em $Y_q$, a solução linear decai como $(1+t)^{-\frac{n}{4} - \frac{q}{2} - \frac{s}{2}}$, uma melhoria em relação aos espaços clássicos quando $q > 0$.

2. Análise de Existência Global (Caso Supercrítico e Crítico):

   • Utilizam o Princípio de Duhamel para escrever a solução não linear como uma integral de convolução.
   • Definem um espaço de solução $X_s(T)$ com pesos temporais adequados.
   • Aplicam o Teorema do Ponto Fixo de Banach para provar a existência de soluções globais para dados pequenos, desde que o expoente $p$ seja maior ou igual a um expoente crítico específico.
   • Utilizam desigualdades de interpolação (Gagliardo-Nirenberg fracionário) e desigualdades de Hardy-Littlewood-Sobolev para estimar o termo não linear $I_\gamma(|u|^p)$.

3. Análise de Blow-up (Caso Subcrítico):

   • Para provar a não existência de soluções globais (blow-up em tempo finito), empregam o método da função teste.
   • Constroem funções teste específicas que exploram a estrutura do potencial de Riesz e a condição inicial em $Y_q$.
   • Demonstram que, se $p$ estiver abaixo do expoente crítico, a energia da solução cresce indefinidamente em tempo finito, mesmo para dados iniciais arbitrariamente pequenos.

4. Estimativas de Vida Útil (Lifespan):

   • Derivam limites superiores e inferiores para o tempo de existência máxima $T_\varepsilon$ da solução no regime subcrítico, mostrando que eles coincidem assintoticamente.

3. Principais Resultados

A. Novo Expoente Crítico
O artigo identifica um novo expoente crítico $p_{crit}(n, q, \gamma)$ que separa a existência global de soluções pequenas do blow-up em tempo finito:

$$p_{crit}(n, q, \gamma) := 1 + \frac{2 + \gamma}{n - q}$$

• Válido para: $1 \le n \le 4$ e $0 \le \gamma < q < n/2$.
• Interpretação: Este expoente generaliza o expoente de Fujita clássico ($p_F = 1 + 2/n$). Quando $\gamma = 0$ e $q = 0$, recupera-se o expoente de Fujita. A presença do potencial de Riesz ($\gamma > 0$) e dos dados em $Y_q$ ($q > 0$) altera o limiar de criticidade.

B. Existência Global (Teoremas 1.1 e 1.2)

• Se $p \ge p_{crit}(n, q, \gamma)$, existe uma única solução global no tempo para dados iniciais suficientemente pequenos em $Y_q$.
• As soluções exibem taxas de decaimento específicas que dependem de $n, q, \gamma$ e da regularidade $s$.

C. Blow-up em Tempo Finito (Teorema 1.3)

• Se $1 < p < p_{crit}(n, q, \gamma)$, não existe solução global fraca, mesmo para dados iniciais pequenos, desde que satisfaçam uma condição de sinal positiva (relacionada ao comportamento assintótico $|x|^{-n+q}$).

D. Estimativas de Vida Útil (Sharp Lifespan Estimates)
No regime subcrítico ($p < p_{crit}$), o tempo de vida da solução $T_\varepsilon$ para dados iniciais de tamanho $\varepsilon$ satisfaz:

$$T_\varepsilon \sim \varepsilon^{-\frac{2(p-1)}{2 + \gamma - p(n-q)}}$$

Esta estimativa é aguda (sharp), pois os limites superior e inferior coincidem.

4. Significado e Contribuições

1. Generalização do Espaço de Dados: O trabalho é pioneiro em estudar equações de onda amortecidas com dados iniciais em espaços de pseudo-medida ($Y_q$). Esses espaços são particularmente úteis para modelar fenômenos onde o comportamento de longo prazo é governado por baixas frequências (comportamento assintótico da transformada de Fourier).
2. Impacto do Potencial de Riesz: O artigo quantifica precisamente como a não linearidade não local (Potencial de Riesz) interage com o amortecimento e os dados iniciais para alterar o expoente crítico. Mostra-se que o potencial de Riesz tende a tornar o problema mais "difícil" (reduzindo o expoente crítico) comparado ao caso local, mas a regularidade dos dados em $Y_q$ compensa parcialmente esse efeito.
3. Unificação de Resultados: O resultado unifica casos conhecidos:
   • Recupera o expoente de Fujita para a equação de onda amortecida clássica ($\gamma=0, q=0$).
   • Estende resultados para dados em espaços de Sobolev negativos.
4. Aplicabilidade: A metodologia desenvolvida (estimativas de decaimento em $Y_q$ combinadas com análise de não linearidades não locais) pode ser aplicada a outros modelos dissipativos, como equações de Navier-Stokes fracionárias ou equações de calor com não linearidades não locais.

Em resumo, o artigo estabelece uma teoria completa de bem-postura e comportamento assintótico para a equação de onda amortecida com não linearidade de potencial de Riesz, definindo rigorosamente o limiar crítico e as taxas de vida útil em um novo contexto funcional.