Nonexistence for effectively damped waves with time-dependent mass

Resumo Técnico: Inexistência para Ondas Eficazmente Amortecidas com Massa Dependente do Tempo

Enunciado do Problema
Este artigo investiga o problema de Cauchy para equações de onda semilineares apresentando amortecimento dependente do tempo e um termo de massa dependente do tempo:
$$\begin{cases} u_{tt} - \Delta u + b(t)u_t + m^2(t)u = |u|^p, & t \ge 0, \, x \in \mathbb{R}^n, \\ u(0, x) = \varepsilon f(x), \quad u_t(0, x) = \varepsilon g(x), \end{cases}$$
onde $n \ge 1$, $p > 1$ e $\varepsilon > 0$. Assume-se que o amortecimento $b(t)$ é "eficaz" e que a massa $m(t)$ é dominada pelo amortecimento quando $t \to \infty$.

Trabalhos anteriores de D'Abbicco, Girardi e Reissig estabeleceram a existência global para dados pequenos em potências supercríticas $p$ e identificaram uma escala crítica $p_{\beta, \eta}(n) = 1 + \frac{2\eta}{n + 2\eta\beta}$ para dados iniciais em $L^\eta \cap H^1 \times L^\eta \cap L^2$ (com $1 \le \eta < 2$). Enquanto eles provaram a inexistência para a equação de difusão não linear correspondente no intervalo subcrítico, o resultado de inexistência análogo para a equação da onda permaneceu como um problema em aberto. Este artigo aborda essa lacuna especificamente para o caso $\eta = 1$, visando provar a inexistência de soluções fracas globais para $1 < p < p_{\beta, 1}(n)$ e tratar o caso crítico $p = p_{\beta, 1}(n)$.

Metodologia
Os autores empregam um método de função de teste modificado, baseando-se na construção de um multiplicador adjunto positivo específico. O núcleo da metodologia envolve:

1. Suposições de Coeficientes: Além das hipóteses padrão de amortecimento eficaz e de massa dominada (Hipóteses 1–2 da literatura prévia), o artigo introduz duas novas condições:

   • Equilíbrio Intrínseco de Massa Acumulada (Hipótese 3): Esta controla o desvio da integral de massa acumulada $Q(t, r) = \int_r^t \frac{m^2(\tau)}{b(\tau)} d\tau$ do crescimento logarítmico ditado pelo índice $\beta$. Ela define um "excesso intrínseco" $\Omega_{\beta, T_0}(L)$ que deve ser finito.
   • Não Oscilação de Liouville Global (Hipótese 4): A condição $m^2(t) \le \frac{b^2(t)}{4} + \frac{b'(t)}{2}$ é imposta para garantir a não oscilação da equação adjunta.

2. Construção do Modo Adjunto: Um passo técnico fundamental é a construção de uma solução "lenta" positiva global $\rho(t)$ para a equação adjunta $\rho'' - (b\rho)' + m^2\rho = 0$.

   • Para tempos grandes, $\rho$ é construída via uma equação de Volterra terminal, resultando em um comportamento assintótico proporcional a $b(t)^{-1} e^{Q(t, T^*)}$.
   • Para o intervalo inicial compacto, a condição de não oscilação de Liouville (Hipótese 4) é usada para evitar que a solução adquira zeros, garantindo que $\rho(t) > 0$ globalmente.

3. Argumento da Função de Teste: Usando $\rho(t)$ como um peso e uma função de corte espaço-temporal $\psi_R$ baseada na escala de difusão $B(t)$, os autores derivam uma desigualdade fundamental. Esta desigualdade relaciona o funcional de dados iniciais $J_0$ com integrais da solução $|u|^p$.

4. Argumento de Osgood: Ao aplicar um lema do tipo Osgood à desigualdade derivada, os autores estabelecem condições sob as quais a integral da função de teste deve divergir, levando a uma contradição se uma solução global existisse.

Principais Resultados
O artigo estabelece os seguintes teoremas principais:

• Inexistência no Intervalo Estritamente Subcrítico: Se os dados iniciais satisfazem uma condição de sinal ($J_0 > 0$) e o excesso intrínseco $\Omega_{\beta, T_0}$ é sublinear, não existem soluções fracas globais para $1 < p < p_{\beta, 1}(n) = 1 + \frac{2}{n + 2\beta}$.
• Inexistência no Caso Crítico: No expoente crítico $p = p_{\beta, 1}(n)$, soluções fracas globais não existem desde que a integral $\int^\infty \exp(-(p-1)\Omega_{\beta, T_0}(L)) dL$ divirja (uma condição de divergência de Osgood).
• Estimativas de Tempo de Vida (Lifespan): Para soluções que existem apenas localmente, o artigo fornece limites superiores condicionais sobre o tempo de vida $T_\varepsilon$:
  • Para $1 < p < p_{\beta, 1}(n)$, $1 + B(T_\varepsilon) \le C(1 + \varepsilon^{-\frac{1}{\theta}})$ onde $\theta = \frac{1}{p-1} - \frac{n}{2} - \beta$.
  • Para $p = p_{\beta, 1}(n)$, $1 + B(T_\varepsilon) \le C \exp(C \varepsilon^{-(p-1)})$.
• Coeficientes Admissíveis: A Seção 7 fornece exemplos explícitos de famílias de coeficientes (decaimento/crescimento polinomial e racional) que satisfazem tanto as condições de existência de D'Abbicco et al. quanto as condições de inexistência deste artigo, demonstrando a nitidez da escala derivada.

Significância e Alegações
O artigo afirma resolver um problema em aberto sobre a nitidez da escala de existência para equações de onda eficazmente amortecidas com massa dependente do tempo. Especificamente:

• Ele confirma que a escala $p_{\beta, 1}(n)$, anteriormente estabelecida para a existência global, é de fato o limiar para a inexistência no regime subcrítico, espelhando o comportamento da equação de difusão associada.
• A técnica de prova é distinta no sentido de que não postula a existência de um multiplicador adjunto positivo, mas sim o constrói rigorosamente usando a condição de não oscilação de Liouville e uma abordagem de Volterra terminal.
• A introdução do "excesso intrínseco" $\Omega_{\beta, T_0}$ permite uma análise mais refinada do acúmulo de massa, mostrando que o índice inferior $\beta$ sozinho é insuficiente para controlar o limiar de inexistência sem condições de equilíbrio adicionais.
• Os resultados são apresentados como uma resposta definitiva para a subclasse de coeficientes globalmente não oscilatórios, preenchendo a lacuna entre o modelo de comparação de difusão e o contraparte da equação da onda.

Os autores mantêm um tom modesto, observando que seus resultados se aplicam à subclasse específica de coeficientes que satisfazem a condição de não oscilação de Liouville e o equilíbrio intrínseco, e que a prova depende do método de função de teste modificado desenvolvido na literatura anterior.