Asymptotic stability of Benjamin--Ono multisolitons in $L^2(\mathbb R)$

Resumo Técnico: Estabilidade Assintótica de Multissolitons de Benjamin–Ono em $L^2(\mathbb{R})$

Enunciado do Problema
O artigo investiga o comportamento assintótico de longo prazo das soluções da equação de Benjamin–Ono (BO), um modelo para ondas interfaciais em fluidos estratificados:
$$\partial_t u = H\partial_x^2 u - 2u\partial_x u, \quad u: \mathbb{R}_t \times \mathbb{R}_x \to \mathbb{R},$$
onde $H$ é a transformada de Hilbert. Embora a existência e a estabilidade orbital de soluções multissoliton (estruturas não lineares que se comportam como partículas) tenham sido estabelecidas em espaços de maior regularidade (especificamente $H^s$ para $s > -1/2$), a questão da estabilidade assintótica no cenário crítico $L^2(\mathbb{R})$ permanecia em aberto. Especificamente, não se sabia se soluções emanadas de pequenas perturbações em $L^2$ de um perfil de $N$-soliton convergiriam para uma nova configuração multissoliton conforme $t \to \pm \infty$, ou se outras estruturas coerentes poderiam emergir.

Um grande desafio no cenário $L^2$ é a falta de hipóteses de decaimento espacial exigidas pelos métodos tradicionais de espalhamento inverso. Sem tal decaimento, a teoria espectral do operador de Lax associado torna-se delicada, particularmente em relação à possível presença de espectros contínuos singulares incorporados, que poderiam, teoricamente, obstruir a resolução de sólitons.

Metodologia
Os autores empregam uma abordagem dinâmica baseada na integrabilidade completa da equação de Benjamin–Ono, especificamente utilizando a formulação do par de Lax e uma fórmula de solução explícita derivada de Gérard. A metodologia procede através de várias etapas técnicas fundamentais:

1. Par de Lax e Análise Espectral: Os autores analisam o operador de Lax $L_u = -i\partial_x - \Pi(uf)$ atuando no espaço de Hardy $L^2_+(\mathbb{R})$. Eles estabelecem que, para $u \in L^2(\mathbb{R})$, $L_u$ é um operador autoadjunto com espectro essencial $[0, \infty)$. Crucialmente, eles provam que o espectro negativo consiste em autovalores simples e que as autofunções correspondentes possuem regularidade suficiente (pertencendo ao domínio do gerador de translações de Fourier, $X$).
2. O Operador de Peter e o Fluxo Unitário: Uma inovação técnica central é a construção rigorosa do fluxo unitário $U(t)$ associado ao operador de Peter $P_u$ (definido como $P_u = -i\partial_x^2 - 2\partial_x\Pi(uf) + 2u'_+f$). Diferente de trabalhos anteriores que exigiam maior regularidade ($H^3$), os autores estendem a definição de $U(t)$ para soluções $L^2$ via aproximação. Eles provam que este fluxo encapsula a dinâmica de BO, satisfazendo a relação de entrelaçamento $L_{u(t)}U(t) = U(t)L_{u(0)}$ e a equação de evolução $\partial_t U(t) = P_u(t)U(t)$.
3. Fórmula Explícita e Perfis Assintóticos: Aproveitando a fórmula explícita $u_+(t, z) = \frac{1}{2\pi i} I_+((X - 2tL_{u_0} - z)^{-1}\Pi u_0)$, os autores analisam o comportamento da solução ao longo de raios espaço-temporais $x = 2t\lambda$. Eles decompõem a solução em contribuições do espectro discreto (autovalores) e do espectro contínuo.
   • Eles provam que, para qualquer velocidade $\lambda$ que não corresponda a um autovalor de $L_{u_0}$, a solução decai para zero em janelas locais de $L^2$.
   • Para velocidades correspondentes a autovalores, a solução converge para um perfil de sóliton único ditado pela autofunção associada.
4. Estabilidade Espectral e Equicontinuidade: Para lidar com perturbações de multissolitons, os autores estabelecem limites de estabilidade espectral, mostrando que os $N$ maiores autovalores do operador de Lax perturbado permanecem próximos aos parâmetros originais, enquanto qualquer "poeira espectral" (autovalores adicionais gerados pela perturbação) é controlada pelo tamanho da perturbação em $L^2$. Eles utilizam adicionalmente a equicontinuidade em $L^2$ do fluxo de BO para elevar a convergência fraca (no semiplano superior) para a convergência forte local em $L^2$ na reta real.

Principais Contribuições e Resultados

• Teorema 1.5 (Assintótica de Longo Prazo para Dados Gerais): O artigo estabelece uma dicotomia para qualquer solução $L^2$ $u(t)$. Em janelas viajando à velocidade $2\lambda$, a solução ou converge para zero (se $\lambda$ não for um autovalor do operador de Lax inicial) ou converge para um perfil de sóliton único determinado pela autofunção associada a $\lambda$. Este resultado descarta a emergência de novas estruturas coerentes no regime $L^2$, sugerindo que qualquer espectro contínuo singular incorporado leva apenas a radiação decrescente.
• Teorema 1.4 / Teorema 6.1 (Estabilidade Assintótica de Multissolitons): O resultado principal prova que $N$-multissolitons são assintoticamente estáveis em $L^2(\mathbb{R})$. Especificamente, se os dados iniciais $u_0$ são uma pequena perturbação em $L^2$ de um perfil de $N$-soliton $Q_{\Lambda, \vec{c}}$, a solução $u(t)$ evolui de tal forma que, em janelas viajando com os sólitons constituintes, ela converge para um novo perfil multissoliton $Q_{\tilde{\Lambda}, \tilde{c}}(t)$.
  • Os novos parâmetros espectrais $\tilde{\Lambda}$ e centros espaciais $\tilde{c}$ são determinados pelos dados iniciais e permanecem próximos aos parâmetros originais.
  • O multissoliton se desacopla assintoticamente em uma soma de sólitons únicos bem separados.
  • A convergência ocorre na topologia local de $L^2$, e a distância global em $L^2$ entre a solução e o multissoliton limite permanece limitada pelo tamanho da perturbação inicial.

Significância
O artigo afirma resolver a estabilidade assintótica de multissolitons de Benjamin–Ono sob as suposições de regularidade mais fracas possíveis ($L^2$), coincidindo com o limiar para o bem-posto global. Ao evitar as hipóteses rigorosas de decaimento espacial exigidas pelas técnicas de espalhamento inverso, os autores demonstram que o fenômeno de resolução de sóliton ocorre mesmo quando os dados iniciais carecem de decaimento rápido. O trabalho esclarece o papel das propriedades espectrais do operador de Lax na determinação da dinâmica de longo prazo, mostrando que o espectro discreto caracteriza totalmente as estruturas coerentes no limite assintótico, enquanto o espectro contínuo contribui apenas para a radiação que se dispersa. Isso fornece uma descrição completa do comportamento de longo prazo de soluções $L^2$ sem depender da existência de espectros contínuos singulares incorporados para gerar novas estruturas.