Maximal regularity for evolution equations with critical singular perturbations

1. Problema y Motivación

El artículo aborda el estudio de la regularidad máxima $L^p$ para ecuaciones de evolución deterministas de la forma:
$$u' + (A + B)u = f, \quad u(0) = u_0$$
donde $A$ es un operador (posiblemente dependiente del tiempo) que ya posee regularidad máxima $L^p$, y $B$ es una perturbación singular en el tiempo.

Motivación Principal:
El trabajo está impulsado por la teoría de grandes desviaciones para ecuaciones diferenciales estocásticas parciales (SPDEs). En este contexto, el análisis de la ecuación "esqueleto" (skeleton equation) linealizada requiere entender la regularidad de operadores donde el término perturbador $B$ es:

1. No acotado en el tiempo: La norma $\|B(t)\|$ puede ser infinita en ciertos instantes.
2. Crítico: Los índices de Sobolev espacio-temporal del término principal $Au$ y la perturbación $Bu$ coinciden. Esto significa que $B$ está en el "borde" de la integrabilidad necesaria para preservar la regularidad. Si la condición de integrabilidad fuera ligeramente más débil, la regularidad máxima se perdería.

El objetivo es establecer condiciones bajo las cuales el operador perturbado $A+B$ mantiene la propiedad de regularidad máxima $L^p$, generalizando resultados previos (como los de Prüss y Schnaubelt, 2001) y cubriendo casos no coercitivos y con datos iniciales menos regulares.

2. Metodología y Marco Teórico

Los autores trabajan en un marco abstracto de espacios de Banach $X_0$ y $X_1$ (con $X_1 \hookrightarrow X_0$ densa y continuamente). Utilizan espacios de funciones con pesos temporales ($w_\kappa(t) = t^\kappa$) para manejar datos iniciales con menor regularidad.

Conceptos Clave:

• Regularidad Máxima $L^p$: Se dice que $A$ tiene regularidad máxima si para todo $f \in L^p$, existe una única solución fuerte $u$ tal que $u \in L^p(X_1) \cap W^{1,p}(X_0)$, con estimaciones de norma controladas.
• Perturbaciones Críticas: La perturbación $B$ mapea de un espacio de interpolación intermedio (ej. $X_{1-1/q}$) a $X_0$, y su norma está acotada por una función $b(t) \in L^q$. La condición crítica es $1/p + 1/q = 1/s$ (relacionada con el teorema de traza), lo que hace que la estimación de $Bu$ sea justo en el límite de la integrabilidad.
• Espacios de Regularidad Mixta (Mixed-Scale): Para el caso de perturbaciones que no encajan en el espacio estándar de regularidad máxima (como en las ecuaciones esqueleto), los autores definen un espacio de solución como una suma de espacios:
  $$\mathcal{MR}_+ = \left( L^p(X_1) \cap W^{1,p}(X_0) \right) + \left( L^r(X_{1+\gamma}) \cap W^{1,r}(X_\gamma) \right)$$
  Esto permite tratar términos inhomogéneos que pertenecen a diferentes escalas de regularidad.

3. Contribuciones Clave y Resultados Principales

El artículo establece dos teoremas principales de perturbación:

A. Generalización de Perturbaciones Singulares (Teorema 1.2 / 2.5)

• Contexto: $A$ tiene regularidad máxima $L^p$. $B$ es una perturbación singular tal que $\|B(t)\| \leq b(t)$ con $b \in L^q(0,T)$, donde $q > p$.
• Resultado: Se demuestra que $A+B$ conserva la regularidad máxima $L^p$.
• Innovación:
  • Se resuelve el caso crítico del extremo ($q$ tal que la condición es óptima), generalizando trabajos anteriores que requerían $b \in L^r$ con $r > q$.
  • Se permite que $A$ sea no acotado en el tiempo y no necesariamente continuo.
  • Se incluyen pesos temporales para manejar datos iniciales en espacios de interpolación real ($X_{1-1/p,p}$).
• Técnica de Prueba: Se utiliza un procedimiento de "pegado" (gluing) en intervalos de tiempo pequeños. Dado que el método de continuidad estándar falla debido a la singularidad crítica, los autores construyen soluciones locales en intervalos donde la norma de $b$ es pequeña, y luego las unen iterativamente. La constante de regularidad crece factorialmente con el número de subintervalos, pero se demuestra que es finita.

B. Teoría de Regularidad para Ecuaciones Esqueleto (Teorema 1.3 / 3.11)

• Contexto: Diseñado específicamente para las ecuaciones linealizadas que aparecen en la teoría de grandes desviaciones de SPDEs. Aquí, la perturbación $B$ y el término inhomogéneo $g$ pertenecen a espacios con menor regularidad temporal ($L^r$ con $r < p$).
• Resultado: Se prueba la existencia y unicidad de soluciones fuertes en el espacio de regularidad mixta $\mathcal{MR}_+$.
• Admisibilidad $(p, \kappa)$: Se definen condiciones precisas sobre los parámetros $(r, \nu, \gamma)$ que garantizan que la solución tenga la regularidad esperada (continuidad en el tiempo en espacios de interpolación).
• Caso Límite $r=1$ (Sección 4): Se trata el caso extremo donde la inhomogeneidad está en $L^1$. Dado que la regularidad máxima $L^1$ falla en espacios reflexivos, los autores evitan este obstáculo utilizando un operador de referencia $A_0$ que genera un semigrupo analítico y técnicas de transferencia, trabajando en el espacio $E_p = L^p(X_1) \cap C([0,T]; X_{1-1/p,p})$.

4. Significado e Impacto

1. Avance en Teoría de EDPs: El trabajo cierra una brecha teórica importante al tratar perturbaciones en el "caso crítico" ($L^q$ con $q$ óptimo), algo que los métodos clásicos de perturbación no podían manejar.
2. Aplicación a SPDEs y Grandes Desviaciones: Proporciona la herramienta analítica rigurosa necesaria para estudiar la ecuación esqueleto en el enfoque de convergencia débil para grandes desviaciones de SPDEs, permitiendo tratar coeficientes singulares y no coercitivos.
3. Flexibilidad de Datos Iniciales: El uso de pesos temporales y espacios de interpolación real permite considerar datos iniciales $u_0$ con regularidad reducida, lo cual es crucial en aplicaciones estocásticas donde la trayectoria inicial puede no ser suave.
4. Generalidad: Los resultados se aplican tanto a operadores autónomos como no autónomos, y cubren desde el caso coercitivo hasta el no coercitivo, ampliando el alcance de la teoría de regularidad máxima más allá de los entornos variacionales tradicionales.

En resumen, este artículo establece un marco robusto para analizar ecuaciones de evolución con perturbaciones que están en el límite de la integrabilidad, resolviendo problemas abiertos en la teoría de grandes desviaciones y extendiendo significativamente la literatura sobre regularidad máxima $L^p$.