Nontrivial weak solutions of the stationary KdV equation in sharp $L^p$ spaces

Resumen Técnico: Soluciones Débiles No Triviales de la Ecuación KdV Estacionaria en Espacios $L^p$ Agudos

1. Planteamiento del Problema

El artículo aborda la ecuación de Korteweg-de Vries (KdV) estacionaria en el toro unidimensional $\mathbb{T}$:
$$6uu' - u''' = 0$$
El objetivo principal es investigar la regularidad de las soluciones débiles de esta ecuación. Existe una dicotomía conocida en la literatura sobre la regularidad de soluciones de EDPs no lineales:

• Rigidez: Bajo ciertas condiciones de regularidad, las soluciones deben ser suaves ($C^\infty$).
• Flexibilidad: Bajo regularidades bajas, pueden existir soluciones "patológicas" o no suaves (a menudo construidas mediante integración convexa).

El problema específico que resuelve el autor es determinar el umbral exacto en los espacios de Lebesgue $L^p(\mathbb{T})$ que separa estas dos comportamientos para la KdV estacionaria. Específicamente, se busca responder: ¿Existen soluciones débiles no triviales en $L^p$ para $p < 2$? Y, ¿son todas las soluciones en $L^2$ necesariamente suaves?

Un desafío técnico central es la definición de la noción de "solución débil" cuando $u \in L^p$ con $p < 2$. Dado que el término no lineal es cuadrático ($u^2$), el producto clásico no está bien definido en distribuciones de baja regularidad sin un marco de renormalización o paraproductos.

2. Metodología: Integración Convexa y Paraproductos

El autor emplea un esquema de integración convexa, una técnica introducida originalmente por De Lellis y Székelyhidi para ecuaciones de fluidos (como Euler y Navier-Stokes), adaptándola aquí a una ecuación dispersiva no lineal.

Componentes clave de la metodología:

• Definición de Solución Débil (Paraproducto):
  Para manejar la no linealidad $u^2$ en espacios de baja regularidad ($u \in \dot{H}^s$ con $s < 0$), el autor adopta la definición de solución débil de paraproducto (inspirada en trabajos sobre Navier-Stokes estacionario). Se define el producto $u^2$ mediante la suma de paraproductos de Littlewood-Paley:
  P_{\neq 0}(u^2) = \sum_{j,j' \geq 0} P_{\neq 0}(P_{2^j}u \cdot P_{2^j'}u)
  Esto permite dar sentido a la ecuación en el sentido de distribuciones para funciones con regularidad negativa.

• El Obstáculo de la Dispersión:
  En la integración convexa estándar para EDPs, el error de dispersión ($E_D = -w''_{q+1}$) suele ser difícil de controlar en ecuaciones dispersivas como KdV debido a la pérdida de derivadas. En esquemas tradicionales (estimando en $L^p$ o $C^\alpha$), el término de error crece con la frecuencia ($\lambda^2$), haciendo imposible cerrar el esquema en 1D.

• Innovación Técnica: Normas de Sobolev Homogéneas Negativas:
  Para superar la pérdida de derivadas, el autor mide el error no en normas $L^p$, sino en normas de Sobolev homogéneas con índice negativo ($\dot{H}^{-s}$).

  • Al estimar el error en $\dot{H}^{-s}$, el operador de derivada segunda actúa como un factor de ganancia en lugar de pérdida (debido a la definición de la norma dual).
  • Se utiliza un bloque de construcción intermitente ($\rho_{\lambda, \epsilon}$) que es periódico y tiene soporte en "barras" (slabs) intermitentes. Esto permite controlar la norma $L^p$ del error mientras se mantiene la norma $\dot{H}^{-s}$ pequeña.

• Construcción Iterativa:
  Se construye una secuencia de soluciones aproximadas $(u_q, E_q)$ donde $u_{q+1} = u_q + w_{q+1}$. El término de perturbación $w_{q+1}$ se elige cuidadosamente para cancelar el error de la iteración anterior, utilizando oscilaciones de alta frecuencia y modulación espacial intermitente.

3. Resultados Principales

El artículo establece dos teoremas fundamentales que definen un umbral agudo (sharp) en la regularidad $L^p$:

Teorema 1.3 (Resultado de Rigidez):

Si $u \in L^2(\mathbb{T})$ es una solución débil de la ecuación KdV estacionaria, entonces $u \in C^\infty(\mathbb{T})$.

• Implicación: En el espacio $L^2$, no existen soluciones débiles "patológicas". La regularidad $L^2$ es suficiente para forzar la suavidad infinita de la solución. La demostración utiliza un argumento de "bootstrapping" (mejora de regularidad) basado en la ecuación diferencial ordinaria resultante $u'' - 3u^2 = C$.

Teorema 1.4 (Resultado de Flexibilidad):

Existe una solución $u$ tal que:
$$u \in \bigcap_{0 < \epsilon < 1} \left( \dot{B}^{-\epsilon}_{\infty, \infty}(\mathbb{T}) \cap L^{2-\epsilon}(\mathbb{T}) \right) \setminus L^2(\mathbb{T})$$
que satisface la ecuación en el sentido de paraproductos.

• Implicación: Para cualquier $p < 2$, existen soluciones débiles no triviales que no son suaves. Estas soluciones pertenecen a espacios de Besov con regularidad negativa y a espacios $L^p$ con $p < 2$, pero no pertenecen a $L^2$.

4. Contribuciones Clave

1. Umbral Agudo de Regularidad: Se identifica $p=2$ como el punto de transición exacto. Por debajo de este umbral ($p<2$), la rigidez se rompe y aparecen soluciones singulares; en el umbral ($p=2$), la rigidez se restaura.
2. Aplicación de Integración Convexa a EDPs Dispersivas: El trabajo demuestra que la integración convexa, previamente restringida a ecuaciones de fluidos o elásticas, puede aplicarse a ecuaciones dispersivas no lineales (KdV) si se maneja correctamente el error de dispersión mediante normas de regularidad negativa.
3. Definición de Soluciones Débiles para $p<2$: Proporciona un marco riguroso para definir soluciones de KdV estacionaria en espacios de baja regularidad mediante el uso de paraproductos, superando la ambigüedad del producto cuadrático en distribuciones.
4. Uso de Intermitencia en 1D: Aprovecha la intermitencia en una dimensión para controlar las normas $L^p$ sin perder el control del error de dispersión en normas negativas, resolviendo un obstáculo técnico que había impedido aplicar estos métodos a KdV en 1D anteriormente.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

• Teoría de Regularidad: Profundiza en la comprensión de cómo la regularidad inicial afecta la estructura de las soluciones en ecuaciones integrables. Muestra que la KdV estacionaria, a pesar de ser un sistema integrable, admite una rica variedad de soluciones de baja regularidad si se relajan las condiciones de integrabilidad.
• Herramientas Analíticas: Introduce una nueva vía para estudiar la interacción entre integrabilidad, dispersión y comportamiento de baja regularidad. Sugiere que la "dispersión" no es un obstáculo insalvable para la construcción de soluciones débiles si se utilizan las normas de error adecuadas ($\dot{H}^{-s}$).
• Comparación con Fluidos: Establece un paralelo interesante con la ecuación de Navier-Stokes estacionaria 2D. Mientras que en Navier-Stokes 2D las soluciones en $L^p$ ($p>2$) con media cero son triviales (cero), en KdV estacionaria las soluciones en $L^2$ son suaves pero no necesariamente cero. Esto resalta diferencias sutiles en la rigidez de diferentes sistemas de EDPs.

En conclusión, el artículo cierra una brecha importante en la teoría de ecuaciones dispersivas, demostrando que la distinción entre soluciones suaves y singulares en KdV estacionaria depende críticamente de si la solución reside en $L^2$ o en espacios $L^p$ con $p < 2$.