Non-unique solutions to the periodic gKdV equation

Resumo Técnico: Soluções Não Únicas para a Equação gKdV Periódica

Enunciado do Problema
Este artigo aborda a questão da unicidade incondicional para a equação $k$-generalizada de Korteweg-de Vries ($k$-gKdV) no toro $\mathbb{T}$:
$$\partial_t u + \partial_{xxx} u + \sigma \partial_x (u^k) = 0, \quad u(0, x) = u_0(x),$$
onde $k \ge 2$ e $\sigma \in \{\pm 1\}$. Embora progressos significativos tenham sido feitos no estabelecimento da boa colocação (well-posedness) em espaços de Sobolev $H^s(\mathbb{T})$ para vários valores de $s$, uma lacuna crítica permanece em relação ao comportamento das soluções quando a não linearidade $u^k$ falha em ser integrável (ou seja, quando $u \notin C^0_t L^k_x$).

Na teoria clássica das distribuições, o termo $\partial_x(u^k)$ exige que $u^k$ seja uma distribuição, o que tipicamente requer que $u \in L^k$. Abaixo deste limiar, o produto $u^k$ não é bem definido no sentido padrão. Trabalhos anteriores, como os de Christ, demonstraram a não unicidade para KdV ($k=2$) em $C^0_t H^s_x$ para $s < 0$, adotando uma definição de não linearidade baseada em suavização (mollification). No entanto, a regularidade dessas soluções é baixa e a definição da solução é relativamente fraca.

O problema central tratado aqui é determinar se a não unicidade persiste em classes de regularidade "quase ótimas" — especificamente, logo abaixo do limiar de Lebesgue $L^k_x$ — e formular uma noção de solução fraca que seja mais forte que as definições anteriores, mas capaz de lidar com a não linearidade singular.

Metodologia
Os autores empregam um esquema de integração convexa adaptado ao cenário dispersivo da equação gKdV. A construção procede iterativamente, gerando uma sequência de soluções aproximadas suaves $(u_q, E_q)$ que resolvem uma equação relaxada:
$$\partial_t u_q + \partial_{xxx} u_q + \sigma \partial_x (u_q^k) = \partial_x E_q,$$
onde o termo de erro $E_q$ é levado a zero em uma norma específica.

Componentes técnicos principais incluem:

1. Blocos de Construção Intermitentes: As perturbações $w_{q+1}$ adicionadas em cada etapa são construídas usando "lajes intermitentes" (Lemma 2.11). Estas são perfis espaciais altamente concentrados que são normalizados em $L^k$, mas pequenos em normas $L^p$ subcríticas ($p < k$). Esta intermitência permite que a potência $k$-ésima da perturbação cancele o erro existente enquanto mantém as normas de ordem inferior somáveis.
2. Localização de Frequência: As perturbações são localizadas em frequência em escalas $\lambda_{q+1}$ com parâmetros de intermitência específicos $\epsilon_{q+1}$. Isso garante que as normas de Sobolev dos incrementos sejam somáveis para regularidades $\alpha < \frac{1}{2} - \frac{1}{k}$, mantendo, ao mesmo tempo, força suficiente em $L^k$ para cancelar erros.
3. Espaços de Wiener Ponderados: Um aspecto inovador da metodologia é o uso de espaços de Wiener homogêneos ponderados ($\dot{A}^s$) para medir erros. Em vez de depender apenas de normas de Sobolev, os autores medem a somabilidade absoluta dos coeficientes de Fourier dos termos não lineares. Isso permite o controle preciso sobre o "erro de oscilação" gerado pelas perturbações de alta frequência.
4. Decomposição de Erro: O erro $E_{q+1}$ é decomposto em quatro partes:
   • Erro de Oscilação ($E_O$): Cancelado pela média da potência $k$-ésima da perturbação.
   • Erro de Nash ($E_N$): Resultante de termos cruzados de ordem inferior, controlado pela pequenez da perturbação em $L^p$ para $p < k$.
   • Erro de Dispersão ($E_D$): Controlado pela norma $C^0_t L^1_x$ da perturbação.
   • Erro Temporal ($E_T$): Controlado pela derivada temporal da antiderivada da perturbação.

Contribuições Principais e Definições
O artigo introduz um novo arcabouço para interpretar a não linearidade em regimes onde ela não é classicamente integrável:

• Definição de Soluções Singulares Fracas (Definição 1.3): Uma solução $u$ é definida como uma "solução singular fraca" se a não linearidade $P_{\neq 0}(u^k)$ (os modos de frequência não nula de $u^k$) é bem definida como um elemento de $C^0_t \dot{H}^{-s}_x$ via somabilidade absoluta de Fourier (Definição 1.2). Especificamente, a série $\sum_{\xi_1 + \dots + \xi_k \neq 0} |\hat{u}(\xi_1) \dots \hat{u}(\xi_k)| |\xi_1 + \dots + \xi_k|^{-s}$ deve convergir.
• Comparação com Noções Anteriores: Os autores provam (no Apêndice) que esta noção é estritamente mais forte que:
  • A noção de "paraproduto" usada em trabalhos anteriores de integração convexa para equações dispersivas.
  • A noção baseada em suavização (mollification) de Christ.
    Consequentemente, as soluções construídas são válidas nestes arcabouços mais amplos também.

Resultados Principais
O resultado primário é o Teorema 1.4, que estabelece a existência de soluções singulares fracas não triviais com dados iniciais identicamente nulos ($u(0, x) = 0$) nas seguintes classes de regularidade:

1. Para $k=2$ (KdV): Existe uma solução não nula $u \in \bigcap_{\epsilon > 0} C^0_t L^{2-\epsilon}_x([0, 1] \times \mathbb{T})$. Este resultado é nítido na escala de Lebesgue, visto que a unicidade incondicional é conhecida para ocorrer em $C^0_t L^2_x$ (referenciando Babin-Ilyin-Titi [2]).
2. Para $k \ge 3$: Existe uma solução não nula $u \in \bigcap_{\epsilon > 0} C^0_t H^{\frac{1}{2} - \frac{1}{k} - \epsilon}_x([0, 1] \times \mathbb{T})$. Isto atinge a escala de endpoint-menos de Sobolev correspondente ao limiar de Lebesgue $L^k_x$.

Adicionalmente, a Observação 1.5 nota que, para $k=2$, a solução pode ser refinada para residir em $\bigcap_{\epsilon > 0} C^0_t B^{-s}_{\infty, \infty, x}$, tornando-a "quase contínua" tanto quanto "quase integrável ao quadrado".

Significância e Conjecturas
O artigo argumenta que a falha do esquema de integração convexa em fechar quando a não linearidade reside em $C^0_t L^1_x$ (ou seja, quando $u \in C^0_t L^k_x$) sugere um limiar fundamental para a unicidade.

• Condição Necessária: O resultado implica que uma condição necessária para a unicidade incondicional para $k$-gKdV é que a não linearidade resida em $C^0_t L^1_x$ (o que corresponde a $u \in C^0_t L^k_x$).
• Conjectura 1.1: Com base na nitidez do resultado de KdV e na rigidez da construção abaixo do limiar, os autores conjecturam que a equação $k$-gKdV é incondicionalmente localmente bem colocada em $H^s(\mathbb{T})$ para todo $s \ge \frac{1}{2} - \frac{1}{k}$.

Extensões
A metodologia mostra-se robusta e aplicável a outras equações dispersivas:

• gKdV Estacionária: Os autores estendem o resultado para a equação estacionária, provando tanto a rigidez (suavidade de soluções $L^k$) quanto a flexibilidade (não unicidade abaixo de $L^k$).
• Benjamin-Ono Generalizada (gBO) e Outros Modelos Dispersivos: O esquema aplica-se a equações com operadores lineares $L$ onde o símbolo pode ser dividido por $\partial_x$ com perda polinomial (ex: gBO, modelos dispersivos de ordem superior). As estimativas de erro de dispersão são frequentemente mais fáceis para esses operadores do que para a dispersão padrão de KdV.

Em resumo, este trabalho utiliza um esquema de integração convexa refinado com blocos de construção intermitentes e normas de Wiener ponderadas para construir soluções não únicas para a equação gKdV periódica em classes de regularidade logo abaixo do limiar onde a não linearidade se torna classicamente integrável, identificando assim uma fronteira nítida para a unicidade incondicional.