Unconditional well-posedness of the stochastic Korteweg-de Vries equation on the real line

Resumen Técnico: Bien la existencia y unicidad incondicional de la ecuación de Korteweg-de Vries estocástica en la recta real

Planteamiento del problema
El artículo investiga la bien la existencia y unicidad de la ecuación de Korteweg-de Vries estocástica (SKdV) con ruido aditivo en la recta real $\mathbb{R}$:
$$\partial_t u + \partial_x^3 u + \partial_x(u^2) = \phi \xi, \quad u|_{t=0} = u_0,$$
donde $\xi$ es un ruido blanco espacio-temporal y $\phi$ es un operador lineal que mapea $L^2(\mathbb{R})$ a $L^2(\mathbb{R})$. El enfoque principal es establecer la bien la existencia y unicidad global y la unicidad incondicional en el espacio $L^2(\mathbb{R})$.

El trabajo previo de de Bouard, Debussche y Tsutsumi (1999) estableció la bien la existencia y unicidad global en $L^2(\mathbb{R})$, pero requería una suposición de regularidad artificial sobre el operador de ruido $\phi$, específicamente $\phi \in \mathcal{H}S(L^2; \dot{H}^{-3/8})$, además de la suposición natural $\phi \in \mathcal{H}S(L^2; L^2)$. Además, mientras que la unicidad incondicional (unicidad dentro de toda la clase $C([0,T]; L^2)$ sin referencia a espacios de funciones auxiliares) está bien comprendida para la KdV determinista, no existía tal resultado para el caso estocástico con datos iniciales de baja regularidad.

Metodología
Los autores emplean el método de restricción de Fourier adaptado a los espacios de Fourier-Lebesgue en el tiempo para abordar la regularidad de la convolución estocástica.

1. Adaptación de los espacios de funciones:
   Los espacios $X^{s,b}$ estándar (espacios de Bourgain) típicamente requieren $b > 1/2$ para asegurar la continuidad en el tiempo, pero la convolución estocástica $\Psi$ (impulsada por el movimiento browniano) solo posee una regularidad temporal correspondiente a $b < 1/2$. Para resolver esto, los autores utilizan espacios $X^{s,b}_{q}$ definidos mediante la norma:
   $$\|u\|_{X^{s,b}_{q}} = \|\langle \xi \rangle^s \langle \tau - \xi^3 \rangle^b \hat{u}(\tau, \xi)\|_{L^2_\xi L^q_\tau}.$$
   Al elegir $q > 2$ y $b > 1/2$ tales que $(b-1)q < -1$, estos espacios capturan la regularidad local en el tiempo de la convolución estocástica permitiendo al mismo tiempo $b > 1/2$. Esta elección es crucial para manejar las interacciones de frecuencia "alta $\times$ baja $\to$ alta" en las estimaciones bilineales sin la suposición artificial de regularidad del ruido.

2. Bien la existencia y unicidad local:
   Los autores prueban la bien la existencia y unicidad local en espacios $X^{s,b}_{q}$. La innovación clave es establecer una estimación bilineal (Proposición 3.1) en estos espacios para $b > 1/2$, lo cual estaba previamente obstruido por la necesidad de manejar la baja regularidad de la convolución estocástica. Una vez establecida la bien la existencia y unicidad local bajo la suposición natural $\phi \in \mathcal{H}S(L^2; L^2)$, la bien la existencia y unicidad global sigue de los límites a priori estándar en $L^2$ derivados mediante el lema de Itô.

3. Unicidad incondicional:
   Para probar la unicidad incondicional, los autores adaptan un argumento de Zhou (1997) para la KdV determinista al entorno estocástico.

   • Descomposición: Descomponen la solución $u$ en una parte lineal $\Phi$ (que contiene los datos iniciales y la convolución estocástica) y un resto $v = u - \Phi$.
   • Estimaciones: Establecen límites para $v$ en espacios específicos de baja regularidad ($X^{-3/2-\epsilon, 1}$) explotando la ecuación satisfecha por $v$. A diferencia del caso determinista, no pueden confiar en estimaciones puntuales en el tiempo de la ecuación debido al ruido; en su lugar, utilizan una expansión de primer orden y argumentos cuidadosos de localización temporal para evitar problemas de escalamiento.
   • Estimaciones bilineales: Prueban estimaciones bilineales modificadas (Lemas 4.2 y 4.3) que involucran las normas $X^\epsilon$ y $Y^\epsilon$, las cuales permiten controlar la diferencia de dos soluciones $w = u_1 - u_2$ en un argumento de contracción.

Contribuciones clave y resultados

• Teorema 1.1 (Bien la existencia y unicidad global): Los autores prueban que la SKdV es globalmente bien la existente y única en $H^s(\mathbb{R})$ para $s \ge 0$ bajo la suposición mínima $\phi \in \mathcal{H}S(L^2; H^s)$. Este resultado elimina la necesidad de la condición $\phi \in \mathcal{H}S(L^2; \dot{H}^{-3/8})$ impuesta en la literatura previa, demostrando que la condición era artificial para $s \ge 0$.
• Teorema 1.3 (Unicidad incondicional por trayectoria): El artículo establece el primer resultado de unicidad incondicional por trayectoria para ecuaciones de dispersión estocásticas en un entorno de baja regularidad. Específicamente, dadas dos soluciones globales $u_1, u_2 \in C(\mathbb{R}; L^2(\mathbb{R}))$ a la SKdV con los mismos datos iniciales y la misma realización de ruido, estas son idénticas casi seguramente. Esta unicidad se mantiene en toda la clase $C([0,T]; L^2)$ sin intersecarse con espacios auxiliares como $X^{s,b}$.
• Apéndice: El artículo incluye un argumento técnico que prueba la acotación de la multiplicación por una función de corte aguda en espacios de Fourier-Lebesgue y de Sobolev, una herramienta de interés independiente.

Significado y afirmaciones
El artículo afirma resolver una cuestión abierta durante más de dos décadas respecto a la necesidad de la suposición de regularidad $\dot{H}^{-3/8}$ del operador de ruido para la bien la existencia y unicidad global en $L^2$. Al utilizar espacios de Fourier-Lebesgue en el tiempo, los autores demuestran que la suposición de regularidad estándar de $\phi$ es suficiente.

Además, el trabajo proporciona el primer resultado de unicidad incondicional para ecuaciones de dispersión estocásticas con datos iniciales de baja regularidad. Los autores señalan que la regularidad $L^2$ es óptima para este resultado, ya que es el espacio mínimo requerido para dar sentido a la no linealidad cuadrática $\partial_x(u^2)$ como una distribución espacial sin espacios auxiliares. La estrategia de prueba adapta el argumento determinista de Zhou al entorno estocástico, superando la falta de regularidad temporal puntual en el término de ruido mediante una descomposición y una estimación cuidadosa del término de resto.

Los autores declaran explícitamente que, si bien los enfoques de forma normal (como los usados en trabajos recientes sobre el círculo) podrían proporcionar pruebas alternativas, su método es más directo y evita las iteraciones más largas requeridas por las reducciones de forma normal. También señalan que extender estos resultados a espacios de Sobolev negativos sigue siendo un problema abierto para trabajos futuros.