Global Existence and Pathwise Uniqueness for a Stochastic Parabolic-Parabolic Keller-Segel System

Resumen Técnico: Existencia Global y Unicidad por Trayectoria para un Sistema de Keller-Segel Parabólico-Parabólico Estocástico

Planteamiento del Problema
Este artículo investiga la buena formulación (well-posedness) de un sistema de Keller-Segel parabólico-parabólico estocástico en un dominio acotado bidimensional $\mathcal{O} \subset \mathbb{R}^2$. El sistema modela el movimiento quimiotáctico de células (densidad $u$) hacia una sustancia química (concentración $v$) mientras está sujeto a fluctuaciones ambientales aleatorias. Las ecuaciones gobernantes son:
$$\begin{cases} du = (\Delta u - \nabla \cdot (u \nabla v)) dt + \sigma(u) dW(t), \\ dv = (\Delta v - v + u) dt, \end{cases}$$
con condiciones de contorno de Neumann homogéneas. Aquí, $W(t)$ es un proceso de Wiener cilíndrico, y el coeficiente de ruido $\sigma(u)$ es no local y no lineal, específicamente de la forma $\sigma(u)e_k = b_k \|u\|_{L^p(\mathcal{O})}^r u$.

El estudio aborda una brecha crítica en la literatura: mientras que los sistemas de Keller-Segel parabólicos-parabólicos deterministas en 2D típicamente exhiben explosión en tiempo finito (blow-up) si la masa inicial excede un umbral crítico ($4\pi$), y se han estudiado variantes parabólicas-elípticas estocásticas, el caso parabólico-parabólico estocástico con ruido no lineal no local actuando solo sobre la ecuación de la densidad celular no había sido analizado sistemáticamente. Los principales desafíos analíticos incluyen el acoplamiento totalmente parabólico de las ecuaciones, la falta de coercitividad y continuidad Lipschitz global tanto en el término de deriva quimiotáctica como en los términos de ruido, y la ausencia de supuestos de pequeñez en los datos iniciales.

Metodología
Los autores emplean una estrategia de tres pasos para establecer la existencia global y la unicidad por trayectoria para datos iniciales arbitrarios:

1. Truncamiento y Existencia Local:
   Para manejar la falta de continuidad Lipschitz global y de coercitividad, los autores introducen un sistema truncado (1.4). La función de truncamiento $\theta_N$ depende de una cantidad combinada de energía y disipación de gradiente $\|\rho\|_{X_t}^2 = \sup_{s\in[0,t]} \|\rho(s)\|_{L^2}^2 + \int_0^t \|\nabla \rho(s)\|_{L^2}^2 ds$.

• La deriva quimiotáctica y los coeficientes de ruido son "congelados" para satisfacer las condiciones del teorema del punto fijo de Banach.
• Utilizando la teoría de existencia variacional para SPDE (específicamente el marco de la triple de Gelfand y las condiciones de monotonicidad/coercitividad), los autores prueban la existencia de una solución fuerte global única $u_N$ para el sistema truncado en un intervalo de tiempo fijo.
• Al definir un tiempo de parada $\tau_N$ basado en el umbral de truncamiento, construyen una solución fuerte local para el sistema original (1.3).

2. Unicidad por Trayectoria:
   Sobre una base estocástica fija, los autores establecen la unicidad por trayectoria para soluciones fuertes locales. Esto implica derivar estimaciones de energía para la diferencia $w = u_1 - u_2$ de dos soluciones.

• Utilizan la desigualdad de Gagliardo-Nirenberg y estimaciones específicas para la concentración química $v$ (derivadas del Lema 2.2) para controlar el término quimiotáctico.
• Se aplica un lema de Gronwall estocástico para mostrar que, si dos soluciones comparten los mismos datos iniciales, coinciden casi seguramente hasta el mínimo de sus tiempos de existencia. Esto permite la construcción de una solución fuerte local máxima $(u, \tau^*)$.

3. Extensión Global vía Funcional de Lyapunov:
   Para probar que la solución máxima no explota en tiempo finito (es decir, $\tau^* = \infty$), los autores derivan estimaciones uniformes independientes del parámetro de truncamiento $N$.

• Introducen un funcional de Lyapunov especializado $\Phi(x) = (1+x)^\alpha$ con $\alpha \in (\max\{0, \frac{2-r}{2}\}, \frac{1}{2})$.
• Al aplicar la fórmula de Itô a $\Phi(\|u\|_{L^2}^2)$, explotan la estructura específica del ruido no local. La segunda derivada de la función cóncava $\Phi$ genera un término de traza negativo que contrarresta el efecto de agregación de la deriva quimiotáctica.
• Mediante interpolación cuidadosa e desigualdades de Young, acotan los términos de ruido y deriva, mostrando que el valor esperado del funcional de Lyapunov permanece acotado uniformemente en $N$.
• Finalmente, se utiliza la desigualdad de Markov para demostrar que la probabilidad de que el tiempo de parada $\tau_N$ sea menor que cualquier $T$ finito tiende a cero cuando $N \to \infty$, lo que implica que $\tau^* = \infty$ casi seguramente.

Contribuciones Clave y Resultados

• Existencia Global para Datos Arbitrarios: El artículo establece la existencia de una solución fuerte global y con unicidad por trayectoria para el sistema de Keller-Segel parabólico-parabólico estocástico con ruido multiplicativo no lineal no local. Crucialmente, este resultado se sostiene para datos iniciales arbitrarios en $L^2(\mathcal{O}) \times W^{1,\infty}(\mathcal{O})$, sin requerir las condiciones de pequeñez sobre la masa inicial que son necesarias para su contraparte determinista.
• Mecanismo de Prevención: El análisis demuestra que la estructura específica del ruido no lineal no local ($\|u\|_{L^p}^r u$) es suficiente para contrarrestar la agregación quimiotáctica, previniendo la explosión en tiempo finito. Esto contrasta con los modelos deterministas donde la explosión es inevitable para masas grandes.
• Novedad Técnica: Los autores desarrollan un procedimiento de truncamiento adaptado basado en la norma combinada de energía-gradiente en lugar de las normas $L^2$ estándar, lo cual es esencial para manejar el acoplamiento totalmente parabólico. Además, la construcción de un funcional de Lyapunov específico adaptado a la estructura del ruido no local proporciona una nueva herramienta analítica para los sistemas de quimiotaxis estocásticos.

Significado
El artículo afirma que sus resultados contrastan marcadamente con el sistema de Keller-Segel bidimensional determinista, donde la existencia global es condicional a que la masa inicial esté por debajo de un umbral crítico ($4\pi$). Al mostrar que un ruido no lineal no local adecuadamente elegido puede asegurar la existencia global independientemente de la masa inicial, el trabajo resalta el papel estabilizador de las fluctuaciones ambientales en los modelos de quimiotaxis. Esto proporciona una base matemática rigurosa para comprender cómo las perturbaciones estocásticas pueden prevenir la formación de singularidades en los modelos de agregación biológica, extendiendo los resultados previos de entornos parabólicos-elípticos al caso más complejo de los totalmente parabólicos.