Lipschitz regularity of solutions to two-phase $p$-Laplacian free boundary problems with right hand side

Aquí presento un resumen técnico detallado del artículo "Lipschitz Regularity of Solutions to Two-Phase p-Laplacian Free Boundary Problems with Right Hand Side" de Fausto Ferrari y Claudia Lederman.

1. Planteamiento del Problema

El artículo aborda la regularidad de soluciones a problemas de frontera libre de dos fases gobernados por el operador p-Laplaciano ($\Delta_p$) con un término de fuente no nulo (lado derecho no homogéneo).

El problema se formula en un dominio acotado $\Omega \subset \mathbb{R}^n$ como sigue:
$$\begin{cases} \Delta_p u = f, & \text{en } \Omega^+(u) \cup \Omega^-(u), \\ u_\nu^+ = G(u_\nu^-, x), & \text{en } F(u) := \partial \Omega^+(u) \cap \Omega, \end{cases}$$
Donde:

• $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ con $1 < p < \infty$.
• $\Omega^+(u) = \{x : u(x) > 0\}$ y $\Omega^-(u) = \{x : u(x) \le 0\}^\circ$.
• $F(u)$ es la frontera libre.
• $u_\nu^+$ y $u_\nu^-$ son las derivadas normales hacia adentro de las fases positiva y negativa, respectivamente.
• $f \in L^\infty(\Omega)$ es continuo en las fases (pero no necesariamente cero).
• $G(t, x)$ es una función que define la condición de salto en la frontera libre, cumpliendo ciertas condiciones de crecimiento y regularidad (hipótesis P1-P4).

El objetivo principal es probar la continuidad Lipschitz local de las soluciones de viscosidad a este problema. Se destaca que esta es la regularidad óptima esperada para tales problemas.

2. Metodología y Enfoque

Los autores emplean una estrategia basada en la teoría de soluciones de viscosidad y técnicas de análisis no lineal, inspiradas en trabajos previos sobre operadores uniformemente elípticos (como [DS]), pero adaptadas a la naturaleza singular/degenerada del p-Laplaciano.

Los pilares metodológicos son:

1. Soluciones de Viscosidad: El trabajo se centra exclusivamente en soluciones de viscosidad, lo que permite una aplicabilidad más amplia que las soluciones débiles clásicas, especialmente en contextos donde la regularidad no está garantizada a priori.
2. Análisis de Escalamiento y Compactitud: Se utiliza un argumento de contradicción por escalamiento. Se asume que la solución no es Lipschitz, se normaliza la solución y se estudia el límite de una sucesión de soluciones escaladas.
3. Límites Homogéneos: Al escalar, el término de fuente $f$ tiende a cero y la condición de frontera $G$ tiende a la identidad ($G(t) \to t$). Esto permite reducir el problema inhomogéneo complejo a un problema homogéneo más manejable donde se conocen resultados de regularidad.
4. Regulares de Fronteras Planas (Flatness): Un componente crucial es el uso de teoremas de regularidad $C^{1,\gamma}$ para fronteras libres "planas" (cercanas a un plano). Los autores refinan resultados previos de su trabajo [FL3] para manejar:
   • El caso inhomogéneo ($f \not\equiv 0$).
   • El caso degenerado/singular ($p \neq 2$).
   • Condiciones de frontera generalizadas $G$.
5. Continuidad Hölder Preliminar: Antes de probar la regularidad Lipschitz, se establece la continuidad Hölder local ($C^{0,\alpha}$) para una clase más amplia de funciones $G$, lo cual es un resultado intermedio independiente de interés.

3. Contribuciones Clave

• Regularidad Óptima en el Caso Inhomogéneo: Demuestran la continuidad Lipschitz para el caso general donde $f \not\equiv 0$ y $p \neq 2$. Esto es nuevo incluso en el caso homogéneo ($f \equiv 0$), donde la literatura previa se limitaba principalmente a mínimos de funcionales de Bernoulli.
• Generalización de la Condición de Frontera: Manejan una función $G(t, x)$ general que satisface condiciones de crecimiento asintótico ($G(t) \sim t$) y regularidad, incluyendo ejemplos como $G(t, x) = (g(x) + t^p)^{1/p}$, que surgen en aplicaciones físicas.
• Refinamiento de Resultados de Frontera Plana: En la Sección 3, mejoran y extienden los teoremas de regularidad $C^{1,\gamma}$ para fronteras planas presentados en [FL3], adaptándolos específicamente para el caso inhomogéneo y para diferentes valores de $p$ y formas de $G$ (Teoremas 3.1, 3.5, 3.7, 3.9).
• Independencia de la Regularidad Lipschitz a priori: A diferencia de algunos trabajos previos que asumían la regularidad Lipschitz para probar la regularidad de la frontera, este trabajo demuestra la regularidad de la frontera y de la solución sin asumir la Lipschitzianidad inicial, utilizando únicamente la definición de solución de viscosidad.

4. Resultados Principales

Teorema 1.1 (Regularidad Óptima):
Sea $u$ una solución de viscosidad al problema (1.1) en la bola $B_1$. Bajo las hipótesis de continuidad de $f$, las condiciones (P1)-(P3) sobre $G$, y la condición adicional (P4) si $f \not\equiv 0$ y $p \neq 2$, se cumple:
$$\|\nabla u\|_{L^\infty(B_{1/2})} \le C (\|u\|_{L^\infty(B_{3/4})} + 1)$$
Donde $C$ depende de la dimensión $n$, el exponente $p$, la norma de $f$ y la función $G$. Esto establece que la solución es localmente Lipschitz.

Teorema 1.2 (Continuidad Hölder Local):
Para una clase más general de funciones $G$ (satisfaciendo $\sigma t \le G(t, x) \le \sigma^{-1} t$ para $t$ grande), se prueba que $u \in C^{0,\alpha}(B_{1/2})$ para algún $\alpha \in (0,1)$. Este resultado es un paso intermedio fundamental para la prueba del Teorema 1.1.

Lema 5.2 (Alternativa de Regularidad):
Un resultado técnico clave que establece que, para una solución en una bola pequeña, o bien la solución es Lipschitz con una cota controlada, o bien la norma $L^\infty$ de la solución en una bola más pequeña se reduce significativamente (factor $1/2$). Esta dicotomía permite el argumento de iteración para probar la regularidad global.

5. Significado e Impacto

• Avance en Operadores Degenerados/Singulares: El p-Laplaciano presenta dificultades técnicas significativas: es singular cuando $1 < p < 2$ y degenerado cuando $p > 2$. La presencia de un término fuente $f \neq 0$ impide ignorar el factor $|\nabla u|^{p-2}$ en las estimaciones, lo que hace que las técnicas estándar para operadores uniformemente elípticos no sean directamente aplicables. Este trabajo supera estas dificultades.
• Novedad en el Caso Homogéneo: Los autores señalan que sus resultados son nuevos incluso cuando $f \equiv 0$, llenando un vacío en la literatura sobre la regularidad Lipschitz a través de la frontera libre para el p-Laplaciano general.
• Aplicabilidad: Al trabajar con soluciones de viscosidad, los resultados son robustos y aplicables a una amplia gama de problemas físicos y matemáticos donde las soluciones pueden no ser suaves clásicamente.
• Conexión con la Teoría de Fronteras Libres: El trabajo conecta profundamente la teoría de fronteras libres no lineales con las estimaciones de regularidad interior, demostrando que la condición de frontera libre actúa como una condición de continuidad para el gradiente en el régimen de gradientes grandes, eliminando saltos.

En resumen, el artículo establece la regularidad óptima (Lipschitz) para una clase muy general de problemas de frontera libre de dos fases con p-Laplaciano y fuente no nula, utilizando una combinación sofisticada de análisis de viscosidad, escalamiento y regularidad de fronteras planas.