Extrapolation of solvability of the parabolic $L^p$ Neumann problem on bounded Lipschitz cylinders

Resumen Técnico: Extrapolación de Solvabilidad del Problema de Neumann Parabólico $L^p$ en Cilindros Lipschitz Acotados

1. Planteamiento del Problema

El objetivo principal del artículo es establecer la extrapolación de solvabilidad para el problema de Neumann en $L^p$ asociado a ecuaciones en derivadas parciales parabólicas de la forma:
$$Lu = -\partial_t u + \text{div}(A\nabla u) = 0$$
en un dominio $\Omega = O \times \mathbb{R}$, donde $O \subset \mathbb{R}^n$ es un dominio Lipschitz acotado (un cilindro Lipschitz infinito en la variable temporal).

Supuestos sobre los coeficientes:

• La matriz $A(X,t)$ es real, acotada y medible.
• No se asume simetría ni continuidad de los coeficientes.
• Se cumple la condición de elipticidad uniforme: existen constantes $\lambda, \Lambda > 0$ tales que para casi todo $(X,t) \in \Omega$ y todo $\xi \in \mathbb{R}^n$:
  $$\lambda|\xi|^2 \leq \sum_{i,j} a_{ij}(X,t)\xi_i\xi_j \quad \text{y} \quad |A(X,t)| \leq \Lambda.$$

El problema de solvabilidad:
Se asume que para algún $p \in (1, \infty)$:

1. El problema de Neumann $(N_p)_L$ es resoluble en $\Omega$.
2. El problema de Dirichlet $(D_{p'})_{L^*}$ para el operador adjunto $L^*u = \partial_t u + \text{div}(A^T\nabla u) = 0$ es resoluble en $\Omega$.

La pregunta central: ¿Implica esto que el problema de Neumann $(N_q)_L$ es resoluble para todo $1 < q < p$?

El artículo aborda una brecha significativa en la literatura: resultados previos (como el de Dindoš, Li y Pipher) habían demostrado esta extrapolación para dominios gráficos no acotados ($\Omega = \{(x', x_n) : x_n > \phi(x')\} \times \mathbb{R}$), pero el caso de cilindros acotados requería un enfoque fundamentalmente diferente que no se derivaba de los argumentos anteriores.

2. Metodología y Estrategia de la Prueba

La estrategia principal consiste en probar la solvabilidad en el caso extremo $p=1$ (para datos en el espacio de Hardy atómico $\mathcal{H}^1_{\text{ato}}$) y luego utilizar interpolación real para extender el resultado a todo $q \in (1, p)$.

Pasos clave de la metodología:

1. Reducción a Átomos:
   El problema se reduce a demostrar que si $g$ es un "átomo" $L^\infty$ (soportado en un cubo parabólico $Q_r \cap \partial\Omega$, con media cero y norma acotada por la medida inversa del cubo), entonces la solución $u$ satisface:
   $$\|\tilde{N}(\nabla u)\|_{L^1(\partial\Omega)} \leq C$$
   donde $\tilde{N}$ es la función maximal no tangencial modificada.

2. División en Casos (Átomos Grandes vs. Pequeños):

   • Átomos Grandes ($r \gtrsim 1$): Se utiliza la solvabilidad en $L^p$ existente y desigualdades de Hölder para acotar la norma $L^1$ localmente. Para la parte temporal lejana ($t \to \infty$), se demuestra una descomposición exponencial de la solución utilizando el Teorema 3.4 y propiedades de decaimiento de soluciones con datos de Neumann nulos.
   • Átomos Pequeños ($r \ll 1$): Este es el caso más complejo y donde reside la innovación del artículo.

3. Construcción de un Dominio Auxiliar No Acotado:
   Para manejar los átomos pequeños en un dominio acotado, los autores introducen una técnica ingeniosa:

   • Localizan el soporte del átomo en una "parche" del dominio definido por un cilindro Lipschitz $Z_j$.
   • Construyen un dominio no acotado $\tilde{\Omega} = \tilde{O} \times \mathbb{R}$, donde $\tilde{O}$ es un dominio gráfico (tipo $x_n > \tilde{\phi}(x')$) que coincide con $O$ en la región del soporte del átomo.
   • Extienden los coeficientes $A$ a $\tilde{\Omega}$ de manera que preserven la elipticidad uniforme.
   • Resuelven un problema de Neumann auxiliar en este nuevo dominio $\tilde{\Omega}$ con la misma data $g$.

4. Reflexión y Estimaciones de Decaimiento:

   • Se define la diferencia entre la solución original $u$ (en el cilindro acotado) y la solución auxiliar $w$ (en el dominio gráfico). En la región de superposición, $L(u-w)=0$ y los datos de Neumann coinciden, por lo que la diferencia tiene datos de Neumann nulos en la frontera local.
   • Se utiliza una reflexión par (even reflection) a través de la frontera del dominio gráfico para extender la solución a todo el espacio, permitiendo aplicar estimaciones de regularidad interior y el principio del máximo.
   • Se demuestra que la solución extendida $\tilde{w}$ tiene un decaimiento exponencial en el tiempo y espacial ($| \tilde{w}(X,t) | \leq C e^{-c|X|^2}$), lo cual es crucial para controlar las normas $L^1$ en regiones alejadas del soporte del átomo.

5. Absorción de Términos:
   Mediante una escala de parámetros (específicamente un entero $K$ grande que controla la extensión temporal del soporte del átomo), los autores logran que los términos de error en las estimaciones sean absorbidos por el lado izquierdo de la desigualdad, cerrando el argumento de estimación $L^1$.

3. Resultados Principales

Teorema 1.3 (Resultado Principal):
Sea $\Omega = O \times \mathbb{R}$ con $O$ un dominio Lipschitz acotado. Si para algún $p \in (1, \infty)$ los problemas $(N_p)_L$ y $(D_{p'})_{L^*}$ son resolubles, entonces:

• El problema de Neumann $(N_q)_L$ es resoluble para todo $1 < q < p$.
• Para el caso límite $p=1$, el problema es resoluble para datos de Neumann en el espacio de Hardy atómico $\mathcal{H}^1_{\text{ato}}(\partial\Omega)$.

Características del resultado:

• Optimalidad de supuestos: No se requieren condiciones de "pequeñez" (smallness) en la norma Lipschitz del dominio ni en los coeficientes $A$ (como condiciones de medida de Carleson pequeñas), a diferencia de trabajos previos que trataban dominios acotados.
• Generalidad: Se aplica a operadores con coeficientes dependientes del tiempo y no simétricos.

4. Contribuciones Clave

1. Resolución de la Brecha Acotada/No Acotada: El artículo demuestra que la extrapolación de solvabilidad, conocida para dominios gráficos no acotados, también es válida para cilindros Lipschitz acotados, un caso que no se podía deducir directamente de los resultados anteriores debido a la falta de invariancia de escala global y la compacidad del dominio espacial.
2. Técnica de Dominio Auxiliar: La introducción de un dominio gráfico no acotado $\tilde{\Omega}$ para localizar y resolver un problema auxiliar es una innovación metodológica significativa. Permite trasladar herramientas potentes de análisis en dominios no acotados (como reflexiones y decaimiento global) a un contexto de dominio acotado.
3. Compleción de la Teoría de Problemas de Frontera Parabólicos: El resultado cierra la brecha en la comprensión de los problemas de valor en la frontera parabólicos, proporcionando un análogo completo al resultado elíptico conocido y completando la teoría junto con los resultados previos para problemas de Dirichlet y de Regularidad.

5. Significado e Impacto

Este trabajo es fundamental para el análisis armónico en dominios no lisos y la teoría de EDPs parabólicas.

• Robustez: Al eliminar la necesidad de supuestos de "pequeñez" en la geometría o los coeficientes, el resultado es aplicable a una clase mucho más amplia de problemas físicos y matemáticos reales.
• Herramientas para Futuras Investigaciones: La técnica de "localizar en un dominio acotado y resolver en un dominio gráfico auxiliar" podría ser adaptada para otros problemas de frontera en geometrías complejas.
• Fundamento Teórico: Establece que la solvabilidad en $L^p$ para un exponente dado implica solvabilidad en un rango inferior, lo cual es esencial para el estudio de la estabilidad y la regularidad de las soluciones en dominios irregulares.

En resumen, Dindoš y Liu han logrado un avance sustancial al demostrar que la estructura de solvabilidad de los problemas de Neumann parabólicos en dominios acotados es tan robusta como en los no acotados, utilizando una combinación sofisticada de estimaciones de energía, interpolación y una ingeniosa construcción de dominios auxiliares.