Non-unique solutions to the periodic gKdV equation

Resumen Técnico: Soluciones No Únicas para la Ecuación gKdV Periódica

Planteamiento del Problema
Este artículo aborda el problema de la unicidad incondicional para la ecuación de Korteweg-de Vries generalizada $k$ ($k$-gKdV) en el toro $\mathbb{T}$:
$$\partial_t u + \partial_{xxx} u + \sigma \partial_x (u^k) = 0, \quad u(0, x) = u_0(x),$$
donde $k \ge 2$ y $\sigma \in \{\pm 1\}$. Si bien se ha logrado un progreso significativo en el establecimiento de la buena definición (well-posedness) en espacios de Sobolev $H^s(\mathbb{T})$ para diversos valores de $s$, persiste una brecha crítica respecto al comportamiento de las soluciones cuando la no linealidad $u^k$ no es integrable (es decir, cuando $u \notin C^0_t L^k_x$).

En la teoría de distribuciones clásica, el término $\partial_x(u^k)$ requiere que $u^k$ sea una distribución, lo cual típicamente necesita que $u \in L^k$. Por debajo de este umbral, el producto $u^k$ no está bien definido en el sentido estándar. Trabajos previos, como los de Christ, han demostrado la no unicidad para KdV ($k=2$) en $C^0_t H^s_x$ para $s < 0$ adoptando una definición de la no linealidad basada en la mollificación. Sin embargo, la regularidad de estas soluciones es baja y la definición de la solución es relativamente débil.

El problema central abordado aquí es determinar si la no unicidad persiste en clases de regularidad "casi óptimas"—específicamente, justo por debajo del umbral de Lebesgue $L^k_x$—y formular una noción de solución débil que sea más fuerte que las definiciones previas, pero capaz de manejar la no linealidad singular.

Metodología
Los autores emplean un esquema de integración convexa adaptado al entorno dispersivo de la ecuación gKdV. La construcción procede iterativamente, generando una secuencia de soluciones aproximadas suaves $(u_q, E_q)$ que resuelven una ecuación relajada:
$$\partial_t u_q + \partial_{xxx} u_q + \sigma \partial_x (u_q^k) = \partial_x E_q,$$
donde el término de error $E_q$ es impulsado hacia cero en una norma específica.

Componentes técnicos clave incluyen:

1. Bloques de Construcción Intermitentes: Las perturbaciones $w_{q+1}$ añadidas en cada paso se construyen utilizando "lajas intermitentes" (Lema 2.11). Estas son perfiles espaciales altamente concentrados que están normalizados en $L^k$ pero son pequeños en normas $L^p$ subcríticas ($p < k$). Esta intermitencia permite que la potencia $k$-ésima de la perturbación cancele el error existente mientras mantiene las normas de orden inferior sumables.
2. Localización en Frecuencia: Las perturbaciones están localizadas en frecuencia a escalas $\lambda_{q+1}$ con parámetros de intermitencia específicos $\epsilon_{q+1}$. Esto asegura que las normas de Sobolev de los incrementos sean sumables para regularidades $\alpha < \frac{1}{2} - \frac{1}{k}$, manteniendo al mismo tiempo suficiente fuerza en $L^k$ para cancelar errores.
3. Espacios de Wiener Ponderados: Un aspecto novedoso de la metodología es el uso de espacios de Wiener homogéneos ponderados ($\dot{A}^s$) para medir errores. En lugar de depender únicamente de las normas de Sobolev, los autores miden la sumabilidad absoluta de los coeficientes de Fourier de los términos no lineales. Esto permite un control preciso sobre el "error de oscilación" generado por las perturbaciones de alta frecuencia.
4. Descomposición del Error: El error $E_{q+1}$ se descompone en cuatro partes:
   • Error de Oscilación ($E_O$): Cancelado por la media de la potencia $k$-ésima de la perturbación.
   • Error de Nash ($E_N$): Derivado de términos cruzados de orden inferior, controlado por la pequeñez de la perturbación en $L^p$ para $p < k$.
   • Error de Dispersión ($E_D$): Controlado por la norma $C^0_t L^1_x$ de la perturbación.
   • Error Temporal ($E_T$): Controlado por la derivada temporal de la primitiva de la perturbación.

Contribuciones Clave y Definiciones
El artículo introduce un nuevo marco para interpretar la no linealidad en regímenes donde no es clásicamente integrable:

• Definición de Soluciones Singulares Débiles (Definición 1.3): Una solución $u$ se define como una "solución singular débil" si la no linealidad $P_{\neq 0}(u^k)$ (los modos de frecuencia no nulos de $u^k$) está bien definida como un elemento de $C^0_t \dot{H}^{-s}_x$ mediante sumabilidad absoluta de Fourier (Definición 1.2). Específicamente, la serie $\sum_{\xi_1 + \dots + \xi_k \neq 0} |\hat{u}(\xi_1) \dots \hat{u}(\xi_k)| |\xi_1 + \dots + \xi_k|^{-s}$ debe converger.
• Comparación con Nociones Previas: Los autores demuestran (en el Apéndice) que esta noción es estrictamente más fuerte que:
  • La noción de "paraproducto" utilizada en trabajos previos de integración convexa para ecuaciones dispersivas.
  • La noción basada en la mollificación de Christ.
    Consecuentemente, las soluciones construidas también son válidas en estos marcos más amplios.

Resultados Principales
El resultado principal es el Teorema 1.4, que establece la existencia de soluciones singulares débiles no triviales con datos iniciales idénticamente nulos ($u(0, x) = 0$) en las siguientes clases de regularidad:

1. Para $k=2$ (KdV): Existe una solución no nula $u \in \bigcap_{\epsilon > 0} C^0_t L^{2-\epsilon}_x([0, 1] \times \mathbb{T})$. Este resultado es agudo en la escala de Lebesgue, dado que la unicidad incondicional se conoce para $C^0_t L^2_x$ (refiriendo a Babin-Ilyin-Titi [2]).
2. Para $k \ge 3$: Existe una solución no nula $u \in \bigcap_{\epsilon > 0} C^0_t H^{\frac{1}{2} - \frac{1}{k} - \epsilon}_x([0, 1] \times \mathbb{T})$. Esto alcanza la escala de borde menos de Sobolev correspondiente al umbral de Lebesgue $L^k_x$.

Adicionalmente, la Observación 1.5 señala que para $k=2$, la solución puede refinarse para pertenecer a $\bigcap_{\epsilon > 0} C^0_t B^{-s}_{\infty, \infty, x}$, lo que la hace "casi continua" además de "casi integrable al cuadrado".

Significado y Conjeturas
El artículo argumenta que el fallo del esquema de integración convexa al cerrarse cuando la no linealidad se encuentra en $C^0_t L^1_x$ (es decir, cuando $u \in C^0_t L^k_x$) sugiere un umbral fundamental para la unicidad.

• Condición Necesaria: El resultado implica que una condición necesaria para la unicidad incondicional para $k$-gKdV es que la no linealidad se encuentre en $C^0_t L^1_x$ (lo cual corresponde a $u \in C^0_t L^k_x$).
• Conjetura 1.1: Basándose en la agudeza del resultado de KdV y la rigidez de la construcción por debajo del umbral, los autores conjeturan que la ecuación $k$-gKdV es bien definida localmente de forma incondicional en $H^s(\mathbb{T})$ para todo $s \ge \frac{1}{2} - \frac{1}{k}$.

Extensiones
Se muestra que la metodología es robusta y aplicable a otras ecuaciones dispersivas:

• gKdV Estacionaria: Los autores extienden el resultado a la ecuación estacionaria, demostrando tanto la rigidez (suavidad de las soluciones $L^k$) como la flexibilidad (no unicidad por debajo de $L^k$).
• Benjamin-Ono Generalizado (gBO) y Otros Modelos Dispersivos: El esquema es aplicable a ecuaciones con operadores lineales $L$ donde el símbolo puede dividirse por $\partial_x$ con pérdida polinómica (por ejemplo, gBO, modelos dispersivos de orden superior). Las estimaciones del error de dispersión suelen ser más fáciles para estos operadores que para la dispersión estándar de KdV.

En resumen, este trabajo utiliza un esquema de integración convexa refinado con bloques de construcción intermitentes y normas de Wiener ponderadas para construir soluciones no únicas a la ecuación gKdV periódica en clases de regularidad justo por debajo del umbral donde la no linealidad es clásicamente integrable, identificando así un límite agudo para la unicidad incondicional.