Lipschitz regularity for fully nonlinear elliptic equations with $(p,q)$-growth

Resumen Técnico: Regularidad de Lipschitz para Ecuaciones Elípticas No Lineales Completas con Crecimiento (p, q)

Enunciado del Problema
Este artículo investiga la regularidad de Lipschitz interior y global de soluciones de viscosidad para ecuaciones elípticas no lineales completas de la forma:
$$F(D^2u, Du, x) = f(x, Du) \quad \text{en } \Omega,$$
donde el operador $F$ satisface una condición de elipticidad no uniforme con crecimiento $(p, q)$. Específicamente, se permite que la razón de elipticidad crezca polinomialmente con la magnitud del gradiente $|Du|$, comportándose como $1 + |Du|^{q-p}$. Los autores se centran en el régimen donde la brecha $q-p$ es pequeña, con el objetivo de establecer que las soluciones son continuas de Lipschitz ($u \in \text{Lip}$) bajo restricciones específicas sobre esta brecha en relación con la continuidad Hölder de los coeficientes y la regularidad a priori de la solución.

El estudio aborda el desafío de que, cuando $|Du|$ es grande, la ecuación se vuelve no uniformemente elíptica, lo que potencialmente conduce a un comportamiento irregular. Probar la regularidad de Lipschitz acota efectivamente el gradiente, colocando así la ecuación nuevamente en un régimen uniformemente elíptico. El trabajo considera dos ejemplos estructurales principales:

1. Problemas de Doble Fase: Análogos no lineales completos del funcional variacional de doble fase $\int (|Du|^p + a(x)|Du|^q)dx$.
2. Problemas de Crecimiento Anisotrópico (p, q): Ecuaciones que involucran diferentes tasas de crecimiento en diferentes direcciones coordenadas.

Metodología
La herramienta analítica central empleada es el método de Ishii-Lions, una técnica de duplicación de variables utilizada para derivar cotas para el gradiente de soluciones de viscosidad. La estrategia de prueba implica los siguientes pasos clave:

1. Reducción a Crecimiento (0, γ): Los autores transforman primero el problema original de crecimiento $(p, q)$ en un problema de crecimiento $(0, \gamma)$ (donde $\gamma = q-p$) dividiendo la ecuación por $|Du|^p$. Esto simplifica las suposiciones estructurales mientras preserva la elipticidad no uniforme esencial dependiente del gradiente.
2. Argumentos de Escalamiento: Para manejar las normas de la solución, se aplican técnicas de escalamiento para normalizar la solución (por ejemplo, asumiendo $\|u\|_{L^\infty} \leq 1$ o $\|u\|_{C^\beta} \leq 1$) mientras se ajustan las constantes estructurales $\Lambda$ y $C_f$.
3. Estimaciones Interiores: Para la regularidad interior, los autores construyen un argumento del principio del máximo utilizando una función de prueba de la forma:
   $$\Phi(x, y) = u(x) - u(y) - L_1 \phi(|x-y|) - \frac{L_2}{2}|x-x_0|^2 - \frac{L_2}{2}|y-x_0|^2.$$
   Los términos de localización que involucran a $L_2$ son cruciales para el caso interior para controlar la diferencia en los gradientes en dos puntos. La prueba procede por contradicción, asumiendo que el máximo es positivo y derivando una contradicción para $L_1$ y $L_2$ grandes analizando las desigualdades de viscosidad en los puntos de máximo utilizando los operadores de Pucci y las suposiciones estructurales (A1)-(A4).
4. Estimaciones de Frontera y Globales: Para la regularidad global, los autores combinan el método de Ishii-Lions con una construcción de barreras (siguiendo a Birindelli y Demengel). Construyen funciones barrera explícitas cerca de la frontera para controlar el comportamiento de la solución con respecto a los datos de frontera $g \in C^{1,1}$.
   • Una distinción crítica en el argumento global es la ausencia de los términos de localización (términos $L_2$) utilizados en la prueba interior. En consecuencia, el término "diferencia de gradiente" (suposición A2) no aparece en las estimaciones globales, lo que permite una relajación de las suposiciones estructurales en el teorema global.

Resultados Clave
El artículo establece los siguientes teoremas principales sobre la brecha admisible $q-p$ requerida para la regularidad de Lipschitz:

• Regularidad Interior (Teorema 1.1):

  • Si $u \in L^\infty$ (o meramente continua), la continuidad de Lipschitz se cumple si $q - p < \alpha$, donde $\alpha$ es el exponente de Hölder del coeficiente $x \mapsto F(\cdot, \cdot, x)$.
  • Si $u \in C^\beta$ a priori, la brecha admisible mejora a:
    $$q - p < \min \left\{ 1 + \frac{\beta}{2(1-\beta)}, \frac{\alpha}{1-\beta} \right\}.$$
  • Los autores señalan que la cota interior para soluciones $C^\beta$ es ligeramente más restrictiva que la cota variacional óptima debido a los términos de localización requeridos en el argumento de Ishii-Lions.

• Regularidad Global (Teorema 1.2):

  • Para un dominio acotado $C^{1,1}$ $\Omega$ con datos de frontera $g \in C^{1,1}$, si $u \in L^\infty$, la condición $q - p < \alpha$ es suficiente.
  • Si $u \in C^\beta$ a priori, la regularidad global de Lipschitz se cumple bajo la cota mejorada:
    $$q - p < \frac{\alpha}{1-\beta}.$$
  • Esta cota global coincide con las condiciones de brecha agudas conocidas para problemas variacionales de doble fase (específicamente los de [6, 12]).

Significado y Afirmaciones
Los autores posicionan su trabajo como una extensión de la teoría de regularidad desde entornos variacionales (forma divergente) hacia ecuaciones no lineales completas (forma no divergente) con crecimiento $(p, q)$.

• Comparación con la Teoría Variacional: Los resultados recuperan las condiciones de brecha agudas conocidas para el problema de doble fase en el entorno variacional (por ejemplo, $q-p < \alpha/(1-\beta)$ para soluciones $C^\beta$).
• Distinción con Modelos de Tipo Producto: El artículo destaca que su modelo (1.3) difiere fundamentalmente de los modelos de tipo producto (1.11) estudiados por De Filippis. En los modelos de tipo producto, se puede lograr la regularidad $C^{1,\alpha}$ independientemente de la brecha $q-p$ debido a la estructura de producto específica que permite la eliminación de los términos del gradiente. En contraste, el modelo de los autores no posee esta estructura (cuando $F \neq G$), lo que hace que las condiciones de brecha sobre $p$ y $q$ sean esenciales para la regularidad.
• Novedad en el Entorno No Divergente: Los autores afirman que, si bien existen contraejemplos de irregularidad bien conocidos para ecuaciones en forma divergente más allá de las brechas óptimas, actualmente no hay contraejemplos análogos disponibles para ecuaciones no lineales completas en forma no divergente con crecimiento $(p, q)$. Por lo tanto, sus resultados proporcionan la primera teoría sistemática de regularidad de Lipschitz para esta clase de ecuaciones en forma no divergente, estableciendo las condiciones de brecha necesarias análogas al caso variacional.
• Suposiciones Estructurales: El artículo aclara que la suposición (A2) (continuidad de Lipschitz de $F$ con respecto al gradiente) es necesaria solo para las estimaciones interiores debido a la técnica de localización, pero no se requiere para las estimaciones globales, demostrando una comprensión matizada de los mecanismos de regularidad en ecuaciones en forma no divergente.