Counterexamples to maximal regularity for operators in divergence form

Resumen Técnico: Contraejemplos de la Regularidad Máxima para Operadores en Forma de Divergencia

Planteamiento del Problema
Este artículo aborda dos cuestiones fundamentales relativas a la regularidad de las soluciones de ecuaciones diferenciales parciales (EDP) parabólicas en forma de divergencia con coeficientes dependientes del tiempo. Los autores consideran el problema de Cauchy abstracto (CP):
$$\begin{cases} u' - Au = f, & \text{en } (0, 1), \\ u(0) = 0, \end{cases}$$
donde $A(t)$ es una familia mensurablemente fuerte de operadores que mapean un espacio de Hilbert $V$ a su dual $V^*$, satisfaciendo condiciones de coercitividad y acotación. Específicamente, los autores se centran en el entorno concreto donde $H = L^2(\mathbb{R}^d)$, $V = H^1(\mathbb{R}^d)$, y $A(t)v = -\text{div}(B(t)\nabla v)$, siendo $B$ un campo de matrices uniformemente elípticas.

El estudio investiga dos problemas específicos de regularidad:

1. Problema 1 (Regularidad máxima $L^p$ en $V$): Para $p \in (1, \infty) \setminus \{2\}$, ¿implica la condición $f \in L^p(0, 1; V^*)$ que la solución débil única $u$ pertenece a $L^p(0, 1; V)$?
2. Problema 2 (Regularidad máxima $L^2$ en $H$): ¿Implica la condición $f \in L^2(0, 1; H)$ que la derivada temporal de la solución satisface $u' \in L^2(0, 1; H)$?

Si bien la teoría de Lions garantiza una solución débil única en $L^2(0, 1; V) \cap H^1(0, 1; V^*)$ bajo la sola condición de coercitividad, y existen resultados positivos para operadores autónomos o para operadores con suficiente regularidad temporal (por ejemplo, continuidad o continuidad de Hölder), el comportamiento para coeficientes generales dependientes del tiempo sin tales supuestos de regularidad permanece abierto. Los contraejemplos previos de Dier y Fackler eran abstractos y no operadores diferenciales. Este artículo tiene como objetivo construir contraejemplos que sean operadores diferenciales genuinos.

Metodología
El enfoque de los autores se basa en una construcción específica de soluciones para EDP lineales uniformemente parabólicas con coeficientes complejos, desarrollada originalmente por el segundo autor nombrado en [19]. La metodología procede de la siguiente manera:

1. Construcción por Simetría de Escalamiento: Los autores utilizan un ansatz autosimilar para la solución $\zeta(t, x)$ y la matriz de coeficientes $B(t, x)$:
   $$\zeta(t, x) = (1-t)^{-\mu/2} e^{-i \log(1-t)/2} w\left(\frac{x}{(1-t)^{1/2}}\right), \quad B(t, x) = a\left(\frac{x}{(1-t)^{1/2}}\right).$$
   Esto reduce la EDP parabólica a una EDP elíptica para la función de perfil $w$ y el campo de coeficientes $a$ en $\mathbb{R}^d$.

2. Existencia de Perfiles Singulares: Citando [19], los autores señalan que para cualquier parámetro $\mu \in [0, d/2)$, existen coeficientes $a$ uniformemente elípticos y soluciones $w$ suaves (lejos del origen) tales que $w$ es localmente Lipschitz pero exhibe tasas de decaimiento específicas en el infinito ($|x|^{-\mu}$). Crucialmente, la parte imaginaria de $B$ se elige para ser simétrica, lo que permite un acoplamiento fuerte entre las partes real e imaginaria de la ecuación sin violar la condición de elipticidad.

3. Localización y Generación de Contraejemplos: Para adaptar estas soluciones globales al intervalo de tiempo acotado $(0, 1)$ y al problema específico, los autores introducen una función de corte suave $\eta$. Definen un nuevo candidato a solución $u(t, x) = t \zeta(t, x) \eta(x)$ y derivan el término de forzamiento correspondiente $f$.

4. Análisis de Regularidad: El núcleo de la prueba consiste en estimar la integrabilidad de $u$ y $f$. Mediante la selección cuidadosa de los parámetros $\mu$, $r$ y $s$, los autores demuestran que, aunque $f$ posee una alta regularidad (por ejemplo, $f \in L^\infty(0, 1; L^2)$), la solución $u$ no pertenece a ciertos espacios de norma mixta $L^r(0, 1; L^s(\mathbb{R}^d))$.

5. Dualidad e Interpolación:

   • Para el Problema 1 con $p > 2$, el fallo de la integrabilidad $L^r(L^s)$ implica directamente el fallo de la regularidad $L^p(0, 1; H^1)$ vía la inmersión de Sobolev.
   • Para el Problema 1 con $p < 2$, se emplea un argumento de dualidad. Suponer que la regularidad máxima se cumple para $p$ conduce a una contradicción con el fallo conocido para el exponente dual $p'$.
   • Para el Problema 2, se utilizan la interpolación compleja y los teoremas de inmersión de Sobolev para mostrar que si $u$ poseyera la regularidad temporal requerida ($H^\nu$), necesariamente pertenecería al espacio $L^r(L^s)$, lo cual ya se ha demostrado falso.

Contribuciones Clave y Resultados

• Teorema 2.4 (Fallo de la Integrabilidad Superior): Para dimensiones $d \ge 2$ y exponentes $r, s \in (1, \infty)$ que satisfacen $\frac{2}{r} + \frac{d}{s} < \frac{d}{2}$, existe una matriz elíptica $B$ y un término de forzamiento $f \in L^\infty(0, 1; L^2)$ tal que la solución única $u$ de la ecuación en forma de divergencia no está en $L^r(0, 1; L^s)$.
• Teorema 2.5 (Fallo de la Regularidad Máxima $L^p$ para el Problema 1): Para cada $p \in (1, \infty) \setminus \{2\}$, existe un operador elíptico en forma de divergencia y un término de forzamiento $f \in L^p(0, 1; H^{-1})$ tal que la solución $u$ no pertenece a $L^p(0, 1; H^1)$. Esto demuestra que el resultado positivo del Teorema 2.2 (que garantiza la regularidad para un $p$ en un pequeño entorno de 2) es nítido y no puede extenderse a todo el rango $(1, \infty)$ sin supuestos adicionales sobre la regularidad temporal de los coeficientes.
• Teorema 2.7 (Fallo de la Regularidad Máxima $L^2$ para el Problema 2): Para cada $\nu \in (1/2, 1]$, existe un operador elíptico y un $f \in L^\infty(0, 1; L^2)$ tal que la solución $u$ no está en el espacio de Sobolev fraccionario $H^\nu(0, 1; L^2)$. Esto proporciona una respuesta negativa al problema de Lions para operadores elípticos generales en forma de divergencia, mostrando que la solución puede fallar en tener incluso una regularidad temporal de orden $1/2$ en $L^2$.

Significancia y Reivindicaciones
El artículo afirma resolver la cuestión de si la regularidad máxima se cumple para operadores generales en forma de divergencia dependientes del tiempo mediante la provisión de contraejemplos explícitos que son operadores diferenciales, en lugar de operadores abstractos.

• Nitidez de la Teoría Existente: Los resultados confirman que el pequeño intervalo de $p$ para el cual se cumple la regularidad máxima $L^p$ (Teorema 2.2) es óptimo y no puede extenderse a todo el rango $(1, \infty)$ sin supuestos adicionales sobre la regularidad temporal de los coeficientes.
• Limitaciones de la Estructura en Forma de Divergencia: A diferencia del problema de la raíz cuadrada de Kato, donde la estructura diferencial proporcionó resultados positivos, este trabajo muestra que la estructura de forma de divergencia por sí sola es insuficiente para garantizar la regularidad máxima cuando los coeficientes carecen de continuidad temporal.
• Regularidad de los Coeficientes: Los autores señalan que sus contraejemplos dependen de coeficientes $B$ que no son continuos en el tiempo (específicamente, no son continuos como mapas hacia $L^\infty$). Expresan explícitamente que encontrar un contraejemplo para el Problema 2 con coeficientes de Hölder continuo (específicamente para $\nu=1$) sigue siendo un problema abierto e interesante, dado que existen resultados positivos para coeficientes con una regularidad ligeramente superior (por ejemplo, $C^{1/2+\epsilon}$).

El artículo concluye reconociendo preguntas abiertas, incluyendo el caso de operadores simétricos/hermitianos y el entorno unidimensional ($d=1$), donde el comportamiento puede diferir.