On uniqueness of solutions to stochastic Navier--Stokes equations

Resumen Técnico: Sobre la unicidad de soluciones a las ecuaciones estocásticas de Navier-Stokes

Planteamiento del problema
El artículo aborda el problema de la unicidad y la dependencia continua de las condiciones iniciales para las soluciones de las ecuaciones estocásticas de Navier-Stokes (SNSE). Mientras que los resultados clásicos de Leray y Hopf establecen la existencia de soluciones débiles para las ecuaciones deterministas, y la unicidad es conocida para el caso bidimensional, el problema determinista tridimensional sigue abierto respecto a la unicidad de las soluciones débiles. Trabajos recientes han demostrado la no unicidad para casos deterministas 3D específicos, lo que motiva la búsqueda de teoremas de "unicidad condicional".

Los autores extienden esta investigación al entorno estocástico, considerando específicamente ecuaciones impulsadas simultáneamente por procesos de Wiener multiplicativos y medidas de Poisson aleatorias compensadas (ruido de salto). El estudio se centra en establecer la unicidad dentro de una clase restringida de soluciones (soluciones admisibles) en dominios Lipschitz arbitrarios, yendo más allá del espacio completo $\mathbb{R}^d$.

Metodología
Los autores emplean un enfoque de análisis funcional basado en la teoría de las ecuaciones de evolución estocástica en triples de Gelfand ($V \hookrightarrow H \hookrightarrow V^*$). La metodología central consiste en:

1. Reformulación del ruido: Los autores utilizan una técnica (refiriéndose a [29]) para reescribir las integrales de Itô estocásticas con respecto a medidas de martingala (ruido de Poisson) como integrales estocásticas con respecto a martingalas con valores en espacios de Hilbert. Esto permite que el sistema impulsado tanto por ruido de Wiener como de Poisson sea tratado como un sistema unificado impulsado por una secuencia de martingalas.
2. Soluciones admisibles y espacios de Morrey: Se introduce una nueva clase de soluciones, denominada "soluciones admisibles". Estas soluciones se descomponen en un "componente de Morrey" ($u_M$) y un "componente acotado" ($u_B$). El componente de Morrey satisface una condición específica de integrabilidad local relacionada con los espacios de Morrey ($L^{r, \lambda}$), mientras que el componente acotado es esencialmente acotado. Esta descomposición permite supuestos más débiles que la clásica condición de Ladyzhenskaya-Prodi-Serrin (LPS).
3. Igualdad de energía estocástica: Una herramienta técnica crítica es una versión especializada de la fórmula de Itô para semimartingales con valores en espacios de Banach. Esta fórmula se adapta para manejar componentes de deriva que son sumas de procesos con valores en $V^*$ y en $H$, donde la parte con valores en $H$ es solo localmente integrable en el tiempo. Esto es esencial para derivar estimaciones de energía para la diferencia de dos soluciones.
4. Estimaciones de energía y la Lema de Gronwall: Al aplicar la igualdad de energía estocástica a la diferencia de dos soluciones admisibles ($w = u - v$), los autores derivan desigualdades diferenciales. Estas estimaciones dependen de la pequeñez del componente de Morrey de la solución y de la coercitividad del operador de difusión.

Contribuciones clave y resultados

• Generalización de modelos de ruido: El artículo extiende los resultados de unicidad condicional de las SNSE impulsadas únicamente por procesos de Wiener (como en [32]) a ecuaciones impulsadas simultáneamente por procesos de Wiener y medidas de martingala de Poisson compensadas.
• Extensión a dominios Lipschitz: Los resultados se establecen para dominios Lipschitz arbitrarios, generalizando trabajos previos que a menudo estaban restringidos al espacio completo $\mathbb{R}^d$.
• Condiciones de unicidad más débiles: Los autores introducen un criterio de unicidad basado en una "clase de Hopf-Leray restringida" definida por condiciones de tipo Morrey.
  • Teorema 2.2: Establece que si una solución admisible $u$ satisface una condición de pequeñez en su componente de Morrey ($\hat{u} < \delta/N$), entonces la solución es única dentro de la clase de soluciones admisibles. Además, demuestra la dependencia continua de los datos iniciales, lo que produce estabilidad exponencial para el caso determinista (Teorema 2.3).
  • Corolario 2.4: Demuestra que la clásica condición de Ladyzhenskaya-Prodi-Serrin ($u \in L^q(0, T; L^p(\mathbb{R}^d))$ con $d/p + 2/q \leq 1$) implica la condición de admisibilidad requerida para la unicidad. Por lo tanto, los nuevos resultados generalizan los teoremas de unicidad clásicos de LPS al entorno estocástico con ruido de salto.
• Existencia de soluciones H: El Teorema 2.1 prueba que cualquier solución admisible admite una modificación que es un proceso càdlàg con valores en $H$ (una "solución H"), asegurando que la solución tenga la regularidad necesaria para estar bien definida puntualmente en el tiempo.

Significancia y afirmaciones
El artículo afirma contribuir a la dirección de los resultados de unicidad condicional para las ecuaciones estocásticas de Navier-Stokes tridimensionales, un campo donde se sabe considerablemente menos en comparación con el caso bidimensional o la teoría de existencia determinista.

Los autores afirman que su principal resultado (Teorema 2.2) establece la unicidad condicional para ecuaciones impulsadas tanto por ruidos de Wiener como de Poisson en dominios Lipschitz generales. Enfatizan que su condición de tipo Morrey es estrictamente más débil que la condición clásica de LPS, ampliando así el alcance de los datos iniciales y los campos de fuerza para los cuales la unicidad puede garantizarse. El trabajo también proporciona un resultado de estabilidad (Teorema 2.3) para el caso determinista, mostrando la convergencia exponencial de las soluciones bajo las condiciones de pequeñez derivadas.

El artículo no pretende resolver el problema de la unicidad global para soluciones débiles arbitrarias en 3D, sino que proporciona un marco riguroso para la unicidad bajo supuestos específicos, aunque más débiles, sobre la regularidad de la solución. Los resultados se presentan como generalizaciones de hallazgos deterministas y estocásticos previos, extendiendo específicamente el trabajo de [32] para incluir el ruido de salto y dominios más generales.