The zero-dispersion limit for the Benjamin--Ono equation on the circle

Resumen Técnico: Límite de Dispersión Cero para la Ecuación de Benjamin-Ono en el Círculo

1. El Problema

El artículo aborda el problema del límite de dispersión cero para la ecuación de Benjamin-Ono (BO) definida en el círculo $\mathbb{T} := \mathbb{R}/2\pi\mathbb{Z}$.

• Contexto: La ecuación de Benjamin-Ono modela ondas internas profundas en fluidos estratificados. Es completamente integrable y, recientemente, se ha demostrado que admite una fórmula explícita para sus soluciones.
• Planteamiento: Se considera la familia de soluciones $(u_\varepsilon)_{\varepsilon>0}$ de la ecuación de BO con un parámetro de dispersión pequeño $\varepsilon$:
  $$\partial_t u_\varepsilon + \partial_x (u_\varepsilon^2 - \varepsilon |D|u_\varepsilon) = 0, \quad u_\varepsilon(0, x) = u_0(x)$$
  donde $|D|$ es el operador multiplicador de Fourier no local ($|\xi|$).
• Desafío: Cuando $\varepsilon = 0$, la ecuación se reduce a la ecuación de Burgers, que es mal planteada globalmente debido a la formación de choques (pendientes infinitas) en tiempo finito. Para $\varepsilon > 0$, la dispersión evita los choques, reemplazándolos por oscilaciones rápidas conocidas como choques dispersivos.
• Objetivo: Demostrar la existencia y caracterizar el límite débil de $u_\varepsilon$ cuando $\varepsilon \to 0$. Este límite, si existe, se denomina límite de dispersión cero ($ZD[u_0]$).

2. Metodología

El autor utiliza un enfoque basado en la fórmula explícita descubierta recientemente por P. Gérard, evitando el uso de coordenadas de Birkhoff que requirieron trabajos previos (como el de Gassot) y que imponían restricciones más estrictas a los datos iniciales.

• Herramientas Analíticas:

  • Espacios de Hardy y Operadores de Toeplitz: Se trabaja en el espacio de Hardy $L^2_+(\mathbb{T})$ y se utilizan operadores de Toeplitz $T_b$ y operadores de desplazamiento (shifts) $S$ y $S^*$.
  • Fórmula Explícita Escalada: Se parte de la fórmula explícita de Gérard para la ecuación BO y se escala para obtener una representación de Fourier para la solución $u_\varepsilon$ de la ecuación con dispersión $\varepsilon$.
  • Convergencia de Operadores: Se demuestra que, al hacer $\varepsilon \to 0$, los operadores unitarios generados por el Hamiltoniano escalado convergen fuertemente a un operador límite que involucra al operador de Toeplitz $T_{u_0}$.

• Estrategia de Prueba:

  1. Existencia del Límite: Se prueba que los coeficientes de Fourier de $u_\varepsilon$ convergen, estableciendo la existencia de un límite débil $ZD[u_0]$ en $C(\mathbb{R}, L^2_w(\mathbb{T}))$.
  2. Identificación con la Fórmula Alternada: El núcleo del trabajo es demostrar que este límite coincide con una "fórmula de suma alternada" generalizada, previamente propuesta por Miller y Xu para datos en la línea real.
  3. Técnica Combinatoria (Lema de Raney): Para probar la equivalencia entre la expresión de operadores (derivada de la fórmula explícita) y la expresión integral (suma alternada), el autor desarrolla un lema combinatorio de tipo Raney (Lema 3.3). Este lema cuenta las permutaciones cíclicas de secuencias enteras que satisfacen ciertas condiciones de suma parcial positiva, permitiendo reorganizar series complejas de coeficientes de Fourier.

3. Contribuciones Clave

• Generalización a Datos Acotados en el Círculo: A diferencia de trabajos anteriores que se limitaban a datos "en forma de campana" (bell-shaped) o a la línea real, este trabajo caracteriza el límite para cualquier dato inicial acotado $u_0 \in L^\infty(\mathbb{T}, \mathbb{R})$.
• Nueva Ruta Directa: Utiliza la fórmula explícita de Gérard para evitar la necesidad de calcular asintóticas de autovalores de operadores de Lax, lo cual era necesario en enfoques previos basados en coordenadas de Birkhoff.
• Lema Combinatorio Original: La demostración de la equivalencia entre las dos formulaciones del límite se basa en un nuevo lema combinatorio (Lema 3.3) que conecta la teoría de operadores de Toeplitz con la teoría de permutaciones cíclicas (Lema de Raney).

4. Resultados Principales

Teorema 1.1 (Caracterización del Límite):
Para $u_0 \in L^\infty(\mathbb{T}, \mathbb{R})$, la solución $u_\varepsilon$ converge débilmente en $L^2$ a una función $ZD[u_0](t)$ dada explícitamente por:
$$ZD[u_0](t, x) = \int_{\mathbb{R}} \chi(u_0(x - 2ty), y) \, dy$$
donde $\chi(u, y) = \mathbb{1}_{u>y>0} - \mathbb{1}_{u<y<0}$.
Esta fórmula generaliza la suma alternada de las ramas de la solución multivaluada de la ecuación de Burgers:
$$\sum_{n=0}^N (-1)^n u_B^n(t, x)$$
donde $u_B$ es la solución multivaluada de Burgers definida implícitamente por $u_B = u_0(x - 2t u_B)$.

Teorema 1.2 (Propiedades de Regularidad):
El mapa de límite de dispersión cero $ZD[\cdot]$ posee propiedades robustas similares a las soluciones de entropía de las leyes de conservación hiperbólicas:

1. Principios de Máximo: El límite está acotado por el ínfimo y supremo esencial del dato inicial.
2. Control de Normas: $\|ZD[u_0](t)\|_{L^p} \leq \|u_0\|_{L^p}$ para todo $p \in [1, \infty]$.
3. Contracciones $L^1$: El mapa es una contracción en $L^1$.
4. Estimación de Oleinik: Se cumple una estimación de tipo Oleinik (desigualdad de entropía) que controla la pendiente de la solución.
5. Convergencia Fuerte: Antes del tiempo de ruptura (choque) de la solución clásica de Burgers, la convergencia $u_\varepsilon \to ZD[u_0]$ es fuerte en $L^2$.
6. Relación con Soluciones de Entropía: La solución de entropía de Burgers puede recuperarse mediante composiciones infinitesimales del mapa $ZD$ (fórmula de Trotter).

5. Significado e Impacto

• Unificación Teórica: El resultado confirma que la estructura del límite de dispersión cero para la ecuación de Benjamin-Ono es universal: coincide con la descrita por Miller y Xu para la línea real y con la de Gassot para datos específicos en el círculo. Esto sugiere que la descripción mediante la suma alternada de la solución de Burgers es una característica fundamental de la dinámica de choques dispersivos en sistemas integrables.
• Herramientas para Análisis No Lineal: La introducción de técnicas combinatorias (Lema de Raney) en el análisis de ecuaciones diferenciales parciales integrables abre nuevas vías para estudiar la estructura fina de las soluciones y sus límites asintóticos.
• Aplicabilidad: Al trabajar con datos en $L^\infty$ en un dominio periódico, el resultado es más aplicable a contextos físicos reales donde las condiciones iniciales pueden no ser suaves ni decaer en el infinito.
• Conexión con Conservación de Energía: La demostración de que el límite preserva ciertas propiedades de contracción y normas conecta profundamente la dinámica de la ecuación dispersiva con la teoría de leyes de conservación hiperbólicas, validando el uso de herramientas de entropía en el contexto de límites de dispersión.

En resumen, el artículo proporciona una caracterización completa, rigurosa y explícita del comportamiento asintótico de la ecuación de Benjamin-Ono en el régimen de baja dispersión, resolviendo el problema para datos generales en el círculo y estableciendo propiedades de regularidad que vinculan la teoría de ecuaciones integrables con la teoría de choques clásicos.