Construction of two-bubble blow-up solutions for the mass-critical gKdV equations

Resumo Técnico: Construção de Soluções de Blow-Up de Duas Bolhas para Equações gKdV Críticas em Massa

1. O Problema

O artigo investiga a dinâmica de soluções da Equação de Korteweg-de Vries generalizada (gKdV) crítica em massa em uma dimensão espacial:
$$\partial_t u + \partial_x (\partial_x^2 u + u^5) = 0, \quad (t, x) \in [0, \infty) \times \mathbb{R}$$
Esta equação possui uma simetria de escala que preserva a norma $L^2$, tornando-a "crítica em massa". O foco do trabalho é a formação de singularidades (blow-up) em tempo infinito.

O problema central é a construção de uma solução global que, quando $t \to \infty$, explode (sua norma $H^1$ diverge) e se aproxima assintoticamente da soma de duas "bolhas" (solitões) desacopladas com sinais opostos. Diferentemente de cenários onde as bolhas interagem fracamente, aqui as interações são fortes e perturbam a dinâmica de cada solitão individualmente, exigindo uma análise refinada.

2. Metodologia e Abordagem

A prova é inspirada nas técnicas desenvolvidas por Martel e Raphaël para a equação de Schrödinger não linear (NLS) crítica em duas dimensões, mas enfrenta desafios estruturais únicos da equação gKdV.

Estrutura da Prova:

1. Decomposição Geométrica: A solução $u(t)$ é decomposta em uma aproximação de duas bolhas $V$ e um termo de erro $\varepsilon$:
   $$u(t, x) = \frac{1}{\lambda^{1/2}(t)} \left[ Q\left(\frac{x-x_1(t)}{\lambda(t)}\right) - Q\left(\frac{x-x_2(t)}{\lambda(t)}\right) \right] + \text{termos de interação} + \varepsilon$$
   Os parâmetros geométricos incluem: escala $\lambda(t)$, distância entre bolhas $z(t)$, diferença de escalas $\mu(t)$, posição $x_1(t)$ e parâmetros de perfil não localizados $b_1, b_2$.

2. Construção da Solução Aproximada:

   • Os autores constroem uma solução aproximada $V$ que inclui perfis não localizados ($X, A, B, E, F$) para lidar com as interações não lineares complexas.
   • Um desafio crucial é que, na gKdV, o perfil de blow-up cresce linearmente em um lado do espaço, exigindo o rastreamento cuidadoso tanto de interações solitão-solitão quanto perfil-solitão.
   • A presença do parâmetro $\mu$ (diferença de escalas) gera um termo de ordem principal no sistema de EDOs que governa a distância entre as bolhas, diferindo significativamente do caso NLS.

3. Sistema de EDOs Refinado:

   • Deriva-se um sistema de equações diferenciais ordinárias para os parâmetros geométricos. Devido às interações fortes, o sistema para $(\mu, \Theta)$ (onde $\Theta = b_2 - b_1$) possui uma estrutura diferente:
     $$\dot{\mu} - 2\Theta \approx \frac{5}{2}\alpha \frac{d}{ds}(z e^{-z})$$
   • Isso leva a um comportamento assintótico distinto, onde a taxa de blow-up é logarítmica e não polinomial como em outros cenários.

4. Estimativas de Energia e Bootstrap:

   • Utiliza-se um funcional de energia refinado $F(s, \varepsilon)$ que combina a energia global com uma versão localizada da massa.
   • O funcional é projetado para ser coercivo e possuir propriedades de monotonicidade, permitindo controlar o termo de erro $\varepsilon$ para trás no tempo.
   • Aplica-se um argumento de bootstrap para fechar as estimativas uniformes dos parâmetros, garantindo que a solução permaneça próxima da aproximação construída.

5. Argumento de Compacidade:

   • Constrói-se uma sequência de soluções com dados finais em tempos $T_n \to \infty$.
   • Usa-se um argumento topológico (teorema do ponto fixo/teorema de não retração) para ajustar os dados iniciais e garantir a existência de uma trajetória que satisfaz as estimativas uniformes.
   • Finalmente, passa-se ao limite fraco na sequência para obter a solução global desejada.

3. Contribuições Chave

• Primeira Exemplo de Blow-Up Infinito com Interação Forte: O artigo fornece o primeiro exemplo de uma solução de blow-up em tempo infinito para a gKdV crítica envolvendo a interação forte de duas bolhas com sinais opostos.
• Tratamento de Interações Não Localizadas: Desenvolve uma teoria detalhada para perfis não localizados ($X, A, B$) que crescem linearmente, essenciais para cancelar termos de ressonância na equação linearizada.
• Diferença Estrutural em Relação à NLS: Demonstra que a dinâmica da gKdV difere fundamentalmente da NLS devido ao parâmetro $\mu$, que aparece como termo de ordem principal no sistema de EDOs, alterando a taxa de blow-up.
• Sistema de EDOs de Terceira Ordem: A solvabilidade do sistema de parâmetros depende de um sistema de EDOs de terceira ordem, onde a escolha de sinais opostos é crucial (soluções com o mesmo sinal não são solúveis neste contexto).

4. Resultados Principais (Teorema 1.1)

Os autores provam a existência de uma solução global $u \in C([0, \infty); H^1)$ tal que, quando $t \to \infty$:

1. Decomposição Assintótica:
   $$u(t) \approx \frac{1}{\lambda^{1/2}(t)} \sum_{n=1,2} (-1)^{n+1} Q\left( \frac{\cdot - x_n(t)}{\lambda(t)} \right)$$
   onde $Q$ é o solitão fundamental.

2. Comportamento dos Parâmetros:

   • Distância entre bolhas: $x_2(t) - x_1(t) \sim (2 + o(1)) \log^{5/6} t$.
   • Escala e Posição: $\lambda(t) \sim (\log^{1/6} t)^{-1}$ e $x_1(t) \sim t \log^{1/3} t$.
   • Taxa de Blow-up: A norma da derivada explode logaritmicamente:
     $$\|\partial_x u(t)\|_{L^2}^2 \sim (2 + o(1)) \|\partial_x Q\|_{L^2}^2 \log^{1/3} t$$

3. Sinais Opostos: A construção é restrita a bolhas com sinais opostos ($+Q$ e $-Q$). O sistema de EDOs para bolhas com o mesmo sinal não é solúvel neste regime de interação forte.

5. Significado e Impacto

Este trabalho avança significativamente a compreensão da dinâmica de blow-up em equações dispersivas não lineares.

• Superação de Limites: Mostra que é possível construir soluções de blow-up em tempo infinito com taxas específicas que não são governadas apenas pela simetria de escala, mas pela interação complexa entre múltiplos solitões.
• Novas Técnicas: As técnicas desenvolvidas para lidar com perfis não localizados e o sistema de EDOs acoplado em gKdV podem ser aplicadas a outros modelos críticos e supercríticos.
• Contraste com NLS: Destaca as diferenças fundamentais entre a dinâmica de blow-up da gKdV e da NLS, especialmente no que tange ao papel dos parâmetros de escala e à natureza das interações fortes.

Em resumo, o artigo resolve um problema aberto na dinâmica de solitões, estabelecendo a existência de um cenário complexo de "colisão" de duas ondas solitárias que resulta em uma singularidade em tempo infinito, com uma taxa de crescimento precisa e controlada.