A priori estimates for solutions of degenerate fully nonlinear elliptic equations with $L^p$ data

Resumen Técnico: Estimaciones a Priori para Soluciones de Ecuaciones Elípticas No Lineales Completamente Degeneradas con Datos $L^p$

Planteamiento del Problema
Este artículo investiga la regularidad interior de soluciones de viscosidad $u$ a ecuaciones elípticas no lineales completamente degeneradas de la forma:
$$|Du|^\gamma F(D^2u, x) = f \quad \text{en } B_1 \subset \mathbb{R}^n,$$
donde $\gamma > 0$, $F$ es un operador no lineal completamente elíptico uniformemente, y el término del lado derecho $f$ pertenece a espacios integrables. La degeneración surge porque el coeficiente $|Du|^\gamma$ se anula en los puntos críticos de $u$, haciendo que la ecuación pierda la elipticidad uniforme. El objetivo principal es establecer estimaciones a priori para $u$ basadas únicamente en las normas de integrabilidad de $f$, abordando específicamente los casos donde $f \in L^p$ para $p > n$ (supercrítico) y $f \in L^{n,1}$ (el espacio de Lorentz crítico).

Metodología
Los autores emplean una combinación de técnicas perturbativas, argumentos de compacidad y métodos de la teoría de la medida geométrica adaptados a la estructura degenerada.

1. Estimaciones Uniformes de Hölder mediante Métodos de Deslizamiento:
   Un paso técnico central implica establecer estimaciones uniformes de Hölder para ecuaciones que son únicamente elípticas uniformemente en regímenes específicos de gradiente. Restando una función afín y escalando, los autores analizan ecuaciones de la forma $|Du - q|^\gamma F(D^2u, x) = f$. Utilizan una dicotomía basada en el tamaño del gradiente:

   • Gradientes Pequeños ($|Du - q| \leq A_0$): La ecuación se comporta como una ecuación elíptica uniforme. Los autores aplican el método del paráboloide deslizante (inspirado en Savin, Mooney e Imbert–Silvestre) para derivar estimaciones de tipo medida.
   • Gradientes Grandes ($|Du - q| > A_0$): La degeneración es menos severa. Aquí, los autores utilizan un método de cúspide deslizante para obtener estimaciones de medida similares.
     Estas estimaciones se combinan mediante un lema de "manchas de tinta en crecimiento" para demostrar que las soluciones satisfacen una estimación de Hölder uniforme independiente del vector de desplazamiento $q$, siempre que $f \in L^n$.

2. Lema de Aproximación y Compacidad:
   Para cerrar la brecha entre las estimaciones uniformes de Hölder y la regularidad superior ($C^{1,\alpha}$ o Log-Lipschitz), los autores desarrollan un lema de aproximación. Este lema afirma que si la oscilación del operador $F$ (medida por $\beta_F$) y la norma de $f$ son suficientemente pequeñas en el espacio de Lorentz $L^{n,1}$, la solución $u$ está cerca de una solución $h$ de una ecuación elíptica uniforme, homogénea y congelada $F(D^2h) = 0$.

   • Argumento del Corregidor: Una dificultad crítica surge al probar la estabilidad de esta aproximación cuando $f$ es meramente integrable. Los autores construyen funciones corregidoras $\psi_j$ para manejar la perturbación. Para asegurar que estos corregidores converjan a cero en el sentido $C^1$ (específicamente $D\psi_j \to 0$), se basan en estimaciones de potencial en el límite para el espacio de Lorentz $L^{n,1}$ desarrolladas por Daskalopoulos–Kuusi–Mingione. Este paso se señala como la razón por la cual la condición $L^{n,1}$ es necesaria en lugar de la condición más débil $L^n$ para el lema de aproximación.

3. Esquemas de Iteración:

   • Para $p > n$: Se utiliza un esquema iterativo para aproximar $u$ mediante funciones afines $l_k(x) = a_k + b_k \cdot x$. La tasa de decaimiento del término de error se controla para establecer la regularidad $C^{1,\alpha}$.
   • Para $p = n$ (Caso Crítico): Se realiza una iteración similar, pero no se garantiza la convergencia de los coeficientes de gradiente $b_k$. En su lugar, el crecimiento de $b_k$ se controla linealmente con el paso de iteración $k$, lo que conduce a un módulo de continuidad logarítmico.

Contribuciones y Resultados Clave

1. Regularidad Óptima $C^{1,\alpha}$ para $p > n$:
   El artículo establece que si $f \in L^p(B_1)$ con $p > n$, la solución de viscosidad $u$ pertenece a $C^{1,\alpha}_{loc}(B_1)$ para cualquier $\alpha$ en el rango:
   $$\alpha \in (0, \alpha_0) \cap \left(0, \frac{1 - n/p}{1 + \gamma}\right],$$
   donde $\alpha_0$ es el exponente de la teoría clásica de Krylov–Safonov. Los autores proporcionan un modelo heurístico ($u(x) = |x|^{1+\alpha}$) para demostrar que este exponente es agudo y no puede mejorarse bajo la sola suposición $f \in L^p$. La estimación toma la forma:
   $$\|u\|_{C^{1,\alpha}(B_{1/2})} \leq C(\|u\|_{L^\infty(B_1)} + \|f\|_{L^p(B_1)}^{\frac{1}{1+\gamma}}).$$

2. Regularidad Log-Lipschitz para el Caso Crítico ($f \in L^{n,1}$):
   En el caso crítico donde $p=n$, generalmente no se espera regularidad $C^{1,\alpha}$. En su lugar, los autores prueban que si $f \in L^{n,1}(B_1)$ (el espacio de Lorentz ligeramente más fuerte que $L^n$), la solución $u$ es localmente Log-Lipschitz. Específicamente, para $x, y \in B_{1/2}$:
   $$|u(x) - u(y)| \leq C(\|u\|_{L^\infty} + \|f\|_{L^{n,1}}^{\frac{1}{1+\gamma}}) \cdot (-|x-y|\log|x-y|).$$
   Este resultado depende de las propiedades específicas del espacio de Lorentz para controlar las funciones corregidoras en el lema de aproximación.

3. Robustez ante la Degeneración:
   El trabajo extiende la teoría de regularidad a ecuaciones donde la elipticidad degenera en puntos críticos, un escenario donde los métodos clásicos (como el método de Ishii–Lions) fallan para datos meramente integrables. Los autores reemplazan los métodos puntuales con enfoques de teoría de la medida (paráboloides y cúspides deslizantes) que permanecen robustos bajo suposiciones $L^n$ para las estimaciones uniformes de Hölder intermedias.

Significado y Alcance
El artículo afirma proporcionar las primeras estimaciones de regularidad interior óptimas para esta clase de ecuaciones degeneradas en términos de la integrabilidad del término fuente $f$. Clarifica el umbral preciso de regularidad ($C^{1,\alpha}$ frente a Log-Lipschitz) dictado por la integrabilidad de $f$ y el parámetro de degeneración $\gamma$.

Los autores señalan explícitamente que sus resultados son estimaciones a priori; las pruebas asumen continuidad a priori de Hölder de $f$ y de los coeficientes del operador para justificar la construcción de funciones de prueba y corregidores, pero las constantes finales dependen únicamente de las normas $L^p$ o $L^{n,1}$.

El artículo no afirma resolver problemas de valores en la frontera (aunque referencia literatura existente sobre regularidad en la frontera) ni contrapartes parabólicas. Se centra estrictamente en la regularidad interior de soluciones de viscosidad. Los autores reconocen que el rango subcrítico $p < n$ (donde no se espera regularidad de Hölder del gradiente) sigue siendo una pregunta abierta para trabajos futuros, señalando que las soluciones pueden aún satisfacer estimaciones uniformes de Hölder en ese régimen.