On a system of semilinear damped $\sigma$-evolution equations with different damping types in the critical case

Resumo Técnico: Sobre um Sistema de Equações de $\sigma$-evolução Semilineares Amortecidas com Diferentes Tipos de Amortecimento no Caso Crítico

Enunciado do Problema
Este artigo investiga o problema de Cauchy para um sistema fracamente acoplado, não simétrico, de equações de $\sigma$-evolução semilineares amortecidas em $\mathbb{R}^n$. O sistema é dado por:
$$\begin{cases} u_{tt} + (-\Delta)^\sigma u + (-\Delta)^\sigma u_t = |v|^{p^*}\mu_1(|v|), \\ v_{tt} + (-\Delta)^\sigma v + v_t = |u|^{q^*}\mu_2(|u|), \end{cases}$$
com dados iniciais $(u, u_t, v, v_t)(0, x) = (0, u_1, 0, v_1)(x)$. Aqui, $\sigma \ge 1$ e os termos de amortecimento diferem: a primeira equação apresenta amortecimento estrutural $(-\Delta)^\sigma u_t$ (comportamento do tipo parabólico), enquanto a segunda apresenta amortecimento padrão $v_t$ (comportamento do tipo $\sigma$-evolução). Os expoentes $(p^*, q^*)$ situam-se na curva crítica definida pela interação desses dois tipos distintos de amortecimento. As não linearidades incluem módulos de continuidade $\mu_1$ e $\mu_2$, que fornecem regularidade adicional além das leis de potência padrão. O objetivo principal é determinar condições precisas sobre $\mu_1$ e $\mu_2$ que distinguem entre a existência global de soluções de Sobolev de pequenos dados e o blow-up (explosão) em tempo finito.

Metodologia
Os autores empregam dois frameworks analíticos distintos correspondentes aos dois principais resultados:

1. Existência Global (Argumento de Ponto Fixo):

   • A prova utiliza o teorema do ponto fixo de Banach em um espaço de solução $X(t)$ cuidadosamente construído.
   • Fundamental para esta abordagem é a derivação de estimativas de decaimento para os problemas linearizados associados aos dois diferentes tipos de amortecimento.
   • Para lidar com o caso crítico e a natureza não simétrica, os autores introduzem funções de peso $\ell_1(t)$ e $\ell_2(t)$ que contabilizam a "perda de decaimento" nos termos não lineares. Esses pesos dependem dos módulos de continuidade e da posição específica de $(p^*, q^*)$ em relação aos limiares críticos.
   • Desigualdades de Gagliardo-Nirenberg fracionárias e estimativas integrais específicas envolvendo os módulos de continuidade são utilizadas para fechar o argumento de mapeamento de contração.

2. Resultado de Blow-up (Método da Função de Teste):

   • Os autores adaptam o método da função de teste para o cenário não simétrico e fracionário.
   • Um desafio técnico significativo abordado é a natureza não local do Laplaciano fracionário $(-\Delta)^\sigma$ quando $\sigma$ não é um inteiro. Funções de teste padrão com suporte compacto são insuficientes porque o suporte de $(-\Delta)^\sigma \phi$ geralmente excede o suporte de $\phi$.
   • Para superar isso, os autores constroem uma família modificada de funções de teste $\phi_{j,R}$ com suporte não compacto, possuindo ordens de escala específicas no espaço e no tempo.
   • O domínio integral é decomposto em várias regiões ($Q^1_{j,R}, Q^2_R, Q^3_{j,R}$) para lidar com o comportamento singular dos funcionais auxiliares próximo à origem e no infinito.
   • Ao definir funcionais auxiliares $G_p$ e $G_q$ e derivar um sistema de desigualdades diferenciais ordinárias, os autores demonstram que as condições integrais sobre os módulos de continuidade levam a uma contradição caso uma solução global existisse.

Principais Resultados

*로 Existência Global (Teorema 1.1): Sob a suposição $1 < \sigma < n < 2\sigma$ e $p^* \ge 2$, o artigo estabelece a existência de uma solução de Sobolev global única para pequenos dados iniciais se os módulos de continuidade satisfizerem condições de integrabilidade específicas.
* Se as condições de integrabilidade padrão $\int_0^c \frac{\mu_j(s)}{s} ds < \infty$ forem satisfeitas, a existência global é garantida.
* Se estas falharem, o artigo fornece condições alternativas precisas envolvendo integrais acopladas de $\mu_1$ e $\mu_2$ (por exemplo, $\int_0^c \frac{1}{s} (\mu_1(s))^{\frac{q^*}{q^*+1}} (\mu_2(s))^{\frac{1}{q^*+1}} ds < \infty$) que ainda garantem a existência global.
* A solução exibe taxas de decaimento específicas com um fator de "perda de decaimento" determinado pelos módulos de continuidade.

• Blow-up (Teorema 1.2): Inversamente, se os módulos de continuidade forem "muito fracos" (ou seja, se os integrais correspondentes divergirem), o artigo prova que não existe solução global de Sobolev, levando ao blow-up em tempo finito.

  • As condições para o blow-up são a divergência dos mesmos integrais que garantem a existência no caso global.
  • Este resultado mantém-se tanto para $\sigma$ inteiro quanto fracionário, desde que $n \ge 2\lfloor \sigma \rfloor$ no caso fracionário.

• Modelos Simétricos (Teorema 3.2): Ao adaptar as técnicas de prova de blow-up, os autores resolvem um problema aberto relativo a modelos simétricos onde ambas as equações possuem o mesmo tipo de amortecimento (ambas estruturais ou ambas padrão), mas com parâmetros fracionários. Eles estabelecem resultados de blow-up para tais sistemas simétricos no caso crítico.

Significância e Contribuições
O artigo afirma fornecer uma melhoria não trivial em relação à literatura existente das seguintes formas:

1. Sistemas Críticos Não Simétricos: Aborda o caso crítico para um sistema que acopla equações do tipo "parabólico" e "$\sigma$-evolução", um cenário onde os papéis das variáveis e dos expoentes não são intercambiáveis, ao contrário de sistemas simétricos.
2. Tratamento do Laplaciano Fracionário: O trabalho estende com sucesso o método da função de teste para sistemas envolvendo operadores de amortecimento fracionário ($(-\Delta)^\sigma$) onde $\sigma$ é fracionário. Isso é alcançado através da construção de funções de teste de suporte não compacto e do gerenciamento cuidadoso dos efeitos não locais, uma dificuldade que anteriormente limitava tais análises a $\sigma$ inteiros.
3. Limiares Precisos: O artigo determina o limiar preciso para os módulos de continuidade $\mu_1$ e $\mu_2$ que separa a existência global do blow-up, refinando a compreensão da não linearidade crítica em sistemas fracamente acoplados.
4. Resolução de Problemas Abertos: A metodologia desenvolvida é aplicada com sucesso para fornecer uma resposta positiva a um problema aberto referente ao blow-up de modelos simétricos com parâmetros fracionários, que anteriormente permaneciam não resolvidos na literatura.

Os autores enfatizam que seus resultados dependem da interação entre os dois mecanismos de amortecimento distintos e da regularidade específica fornecida pelos módulos de continuidade, oferecendo uma perspectiva refinada sobre o comportamento crítico de tais sistemas de evolução.