Well-posedness and existence of an invariant measure for the linearly-damped KdV equations driven by a jump noise

A continuación presento un resumen técnico detallado del artículo "Well-posedness and Existence of an Invariant Measure for the Linearly-Damped KdV Equations Driven by a Jump Noise" (Bien planteamiento y existencia de una medida invariante para las ecuaciones KdV con amortiguamiento lineal impulsadas por ruido de salto), escrito por Krutika Tawri, Roger Temam y Xinwu Yang.

---

1. Planteamiento del Problema

El artículo estudia la ecuación de Korteweg-de Vries (KdV) con amortiguamiento lineal en un dominio periódico unidimensional (el toro $\mathbb{T}$), perturbada por un ruido de Lévy multiplicativo.

La ecuación estocástica (1.1) se formula como:
$$du(t) + (\partial_x^3 u(t) + u(t)\partial_x u(t) + \gamma u(t))dt = G(u(t^-))dW(t) + \int_{E_0} K(u(t^-), \xi) d\tilde{\pi}(t, \xi) + \int_{E \setminus E_0} K(u(t^-), \xi) d\pi(t, \xi)$$
donde:

• $u$ representa la elongación de la onda.
• $\gamma > 0$ es el coeficiente de amortiguamiento lineal (fricción).
• El término $G(u)dW$ modela una perturbación continua (ruido Wiener).
• Los términos integrales modelan perturbaciones discretas o impulsos (ruido de salto) mediante una medida de Poisson $\pi$ y su versión compensada $\tilde{\pi}$.
• La distinción entre $E_0$ (saltos pequeños) y $E \setminus E_0$ (saltos grandes) es crucial para manejar la integrabilidad del ruido.

Objetivos principales:

1. Establecer la existencia y unicidad global de soluciones débiles (en sentido de trayectorias) para la ecuación completa con ruido de Lévy general.
2. Probar la existencia de una medida invariante en el espacio de fase $H^2(\mathbb{T})$ para el sistema, asumiendo que el ruido es de cuadrado integrable (saltos grandes despreciados, $K=0$ en el término de saltos grandes) y que el coeficiente de amortiguamiento $\gamma$ es suficientemente grande.

2. Marco Matemático y Suposiciones

• Espacios Funcionales: Se trabaja en los espacios de Sobolev $H^s(\mathbb{T})$. La solución se busca en $H^2(\mathbb{T})$.
• Ruido: Se asume un espacio de Hilbert separable $U$ y una medida de Lévy $\nu$. Se imponen condiciones de crecimiento lineal y Lipschitz para los coeficientes de ruido $G$ y $K$ en los espacios $L^2, H^1, H^2$.
• Definiciones de Solución:
  • Solución de Martingala: El espacio de probabilidad y los procesos estocásticos son parte de la solución.
  • Solución de Trayectoria (Pathwise): Dado un espacio de probabilidad fijo, existe una única solución adaptada.

3. Metodología

El enfoque metodológico es riguroso y se divide en dos grandes etapas:

A. Bien planteamiento (Existencia y Unicidad)

Para probar el Teorema 3.1 (existencia y unicidad de solución de trayectoria), los autores emplean un esquema de aproximación en tres capas:

1. Regularización: Se introduce un término de viscosidad artificial $\epsilon \partial_x^4 u$ ($\epsilon > 0$) para suavizar la ecuación y obtener mejores propiedades de regularidad.
2. Aproximación de Galerkin: Se proyecta el sistema regularizado en subespacios de dimensión finita $H_N$ generados por modos de Fourier.
3. Truncamiento No Lineal: Se utiliza una función de corte suave $\theta_N$ para truncar los términos no lineales ($u \partial_x u$), garantizando que el sistema aproximado sea globalmente Lipschitz y, por tanto, bien planteado en tiempo finito.

Pasos clave en la prueba:

• Estimaciones de Momentos: Se derivan estimaciones a priori uniformes (independientes de $N$ y $\epsilon$) utilizando funcionales de energía conservados del KdV determinista ($I_0, I_1, I_2$) y la fórmula de Itô. Se demuestran cotas en $L^p(\Omega; L^\infty(0,T; L^2))$ y $L^2(\Omega; L^\infty(0,T; H^2))$.
• Compacidad y Tightness: Se utiliza el teorema de Aubin-Lions y el criterio de compacidad de Aldous para demostrar que la familia de leyes de las soluciones aproximadas es tight (estrecha) en espacios adecuados (como $L^2(0,T; H^1)$ y espacios de funciones cadlag).
• Teorema de Representación de Skorokhod (versión Jakubowski): Se pasa al límite en un nuevo espacio de probabilidad para obtener una solución de martingala global para la ecuación regularizada.
• Paso al límite $\epsilon \to 0$: Se elimina la regularización artificial.
• Unicidad de Trayectoria: Se prueba la unicidad de soluciones de trayectoria utilizando el lema de Gronwall estocástico y la desigualdad de Itô aplicada a la diferencia de dos soluciones.
• Teorema de Gyöngy-Krylov: Se combina la existencia de solución de martingala con la unicidad de trayectoria para concluir la existencia de una única solución de trayectoria para la ecuación original.

B. Existencia de Medida Invariante

Para el Teorema 3.2, se considera el caso donde el ruido de saltos grandes es cero ($K=0$ en $E \setminus E_0$) y el ruido es de cuadrado integrable.

• Estrategia: Se utiliza el teorema de Maslowski-Seidler, que generaliza el teorema clásico de Krylov-Bogoliubov a espacios con topología débil.
• Condiciones a verificar:
  1. Propiedad de Feller Débil Secuencial: Se demuestra que el semigrupo de transición $P_t$ mapea funciones continuas acotadas en la topología débil a funciones secuencialmente continuas en la topología débil. Esto se logra aprovechando la unicidad de trayectoria y la convergencia de soluciones con datos iniciales que convergen débilmente.
  2. Estimación de Cotas (Tightness en tiempo largo): Se debe probar que la familia de medidas temporales promediadas es tight. Esto requiere demostrar que la esperanza de la norma $H^2$ de la solución crece como $O(t)$ (crecimiento lineal en el tiempo) cuando $t \to \infty$.
• Análisis de Energía: Se utilizan estimaciones detalladas de momentos de orden alto (hasta orden 8) y la propiedad de disipación del término $\gamma u$. Se demuestra que si $\gamma$ es suficientemente grande, el término de amortiguamiento domina los efectos del ruido y la no linealidad, asegurando la existencia de una medida invariante.

4. Resultados Clave

1. Teorema 3.1 (Bien planteamiento): Para cualquier coeficiente de amortiguamiento $\gamma > 0$ y ruido de Lévy general (cumpliendo las condiciones de crecimiento y Lipschitz), existe una única solución de trayectoria global en $H^2(\mathbb{T})$. Esta es la primera vez que se establece tal resultado para KdV amortiguada con ruido de Lévy.
2. Teorema 3.2 (Medida Invariante): Si el ruido es de cuadrado integrable (saltos grandes nulos) y el coeficiente de amortiguamiento $\gamma$ es suficientemente grande, el sistema admite una medida invariante en el espacio de fase $H^2(\mathbb{T})$.
   • La medida invariante describe el comportamiento estadístico a largo plazo del sistema.
   • La prueba depende críticamente de que el amortiguamiento lineal supere la inestabilidad potencial inducida por el ruido y la no linealidad.

5. Significado y Contribuciones

• Generalización del Ruido: A diferencia de trabajos anteriores que se limitaban a ruido gaussiano (Wiener), este artículo incorpora ruido de Lévy, lo que permite modelar fenómenos físicos con perturbaciones impulsivas o discontinuas (como tormentas repentinas o choques en la propagación de ondas), más realistas en ciertos entornos.
• Regularidad de la Solución: Se logra establecer la existencia de soluciones en $H^2(\mathbb{T})$, un nivel de regularidad alto que es necesario para estudiar propiedades estadísticas finas y la medida invariante.
• Innovación Técnica: La combinación de técnicas de regularización parábólica, aproximación de Galerkin, y el uso del criterio de compacidad de Aldous junto con el teorema de Maslowski-Seidler para espacios de dimensión infinita con topología débil, representa un avance metodológico significativo en el análisis de EDPs estocásticas con saltos.
• Aplicabilidad: Los resultados son fundamentales para la comprensión de la dinámica a largo plazo de ondas no lineales en medios con disipación y perturbaciones aleatorias no gaussianas, con aplicaciones potenciales en oceanografía física y dinámica de fluidos estocástica.

En resumen, el artículo proporciona una base teórica sólida para el estudio de la ecuación KdV estocástica con amortiguamiento bajo la influencia de ruido de saltos, resolviendo problemas abiertos sobre la existencia de soluciones globales y la estabilidad estadística a largo plazo.