Hausdorff measure of the free boundary for the $p$-obstacle problem with subcritical exponents

Aquí presento un resumen técnico detallado del artículo "Hausdorff measure of the free boundary for the p-obstacle problem with subcritical exponents" (Medida de Hausdorff de la frontera libre para el problema de obstáculo p con exponentes subcríticos), escrito por Jing Yu y Jun Zheng.

1. Planteamiento del Problema

El artículo estudia una clase de problemas de obstáculo no lineales gobernados por operadores cuasilineales de tipo p-Laplaciano con coeficientes variables y términos no lineales subcríticos. El problema se formula como:

$$\begin{cases} \text{div}\left(a(x)|\nabla u|^{p-2}\nabla u\right) = m_1\chi_{\{u>0\}} - m_2 u^{\lambda-1}\chi_{\{u>0\}} & \text{en } \Omega, \\ u \ge 0 & \text{en } \Omega, \\ u \in W^{1,p}_0(\Omega), \end{cases}$$

donde:

• $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) es un dominio acotado y suave.
• $a(x) \in C^2(\Omega)$ es una función coeficiente con una cota inferior positiva ($0 < a_0 \le a(x) \le a_1$).
• $m_1, m_2 > 0$ son constantes.
• Los exponentes satisfacen $2 \le p < \lambda < p^*$, donde $p^* = \frac{Np}{N-p}$ si $p < N$, y $\lambda < +\infty$ si $N=2$.
• $\chi_{\{u>0\}}$ es la función característica del conjunto donde la solución es positiva.

El objetivo principal es analizar la frontera libre $\Upsilon_+ := \partial\{u > 0\} \cap \Omega$, específicamente su porosidad local y la finitud de su medida de Hausdorff de dimensión $(N-1)$.

2. Metodología

Los autores emplean una combinación sofisticada de técnicas variacionales y análisis regular:

1. Método de Penalización y Lema del Paso de Montaña:

   • Dado que el término no lineal $u^{\lambda-1}$ acoplado con la función característica rompe la coercividad del funcional de energía asociado (impidiendo el uso directo de métodos de minimización), los autores introducen un problema penalizado.
   • Se aproxima la función característica $\chi_{\{u>0\}}$ mediante una función suave $\chi_\varepsilon(s)$.
   • Se demuestra la existencia de soluciones para el problema penalizado utilizando el Lema del Paso de Montaña (Mountain Pass Lemma) para encontrar puntos críticos no triviales del funcional penalizado $J_\varepsilon$.

2. Estimaciones de Regularidad:

   • Se establecen cotas $L^\infty$ uniformes para las soluciones mediante iteraciones de De Giorgi-Nash.
   • Se prueba la continuidad local Hölder ($C^{0,\alpha}$) y la regularidad $C^{1,\alpha}$ de las soluciones y sus gradientes, utilizando comparaciones con funciones p-armónicas y lemas de iteración técnica (Lemas de De Giorgi, Campanato).

3. Crecimiento Óptimo y No Degeneración:

   • Se analizan el comportamiento de las soluciones cerca de la frontera libre. Se demuestra un crecimiento óptimo ($|u(x)| \le C|x-y|^{\frac{p}{p-1}}$) y una propiedad de no degeneración (la solución crece al menos como $C r^{\frac{p}{p-1}}$ en la dirección normal a la frontera libre).

4. Análisis de la Medida de Hausdorff:

   • Para probar la finitud de la medida de Hausdorff, los autores utilizan estimaciones de Lebesgue sobre los conjuntos de nivel del gradiente.
   • Se define un conjunto $O_\sigma$ donde el gradiente es pequeño. Mediante el uso de funciones de prueba específicas y diferenciación de la ecuación penalizada, se obtienen estimaciones integrales que relacionan el volumen de estos conjuntos con la distancia a la frontera.
   • Se aplica el Teorema de Recubrimiento de Besicovitch para acotar la medida de Hausdorff de la frontera libre.

3. Contribuciones Clave

El trabajo presenta dos contribuciones principales que extienden resultados previos en la literatura (como los trabajos de [18] para el Laplaciano o [2, 10, 11] para p-Laplaciano con términos más simples):

1. Generalización del Operador y Términos No Lineales:

   • Extienden la existencia y regularidad de soluciones débiles a una clase más amplia de problemas de obstáculo que incluyen coeficientes variables ($a(x)$) y términos subcríticos generales ($u^{\lambda-1}$), superando las dificultades técnicas derivadas de la no linealidad del operador p-Laplaciano y la falta de coercividad.

2. Propiedades Geométricas de la Frontera Libre:

   • Demuestran que la frontera libre es localmente porosa.
   • Establecen que, para al menos una solución, la frontera libre tiene una medida de Hausdorff de dimensión $(N-1)$ localmente finita. Esto es un resultado profundo que conecta el análisis no lineal con la geometría fractal de la frontera.

4. Resultados Principales

• Existencia y Regularidad: Se prueba la existencia de al menos una solución débil no negativa $u \in W^{1,p}_0(\Omega)$. Además, se demuestra que $u \in C^{1,\alpha}_{loc}(\Omega)$, lo que garantiza que la solución es suficientemente suave para analizar la frontera libre.
• Cotas Uniformes: Las soluciones están uniformemente acotadas en norma $L^\infty$, independientemente de los parámetros de penalización.
• Porosidad Local: La intersección de la frontera libre con cualquier conjunto compacto $K \subset \Omega$ es un conjunto poroso. Esto implica que la dimensión de Hausdorff de la frontera libre es estrictamente menor que $N$.
• Medida de Hausdorff Finita: El resultado central (Teorema 3) afirma que para cualquier punto $x_0$ en la frontera libre y radio $r$ suficientemente pequeño:
  $$\mathcal{H}^{N-1}(B_r(x_0) \cap \Upsilon_+) \le C r^{N-1}$$
  Esto confirma que la frontera libre se comporta geométricamente como una superficie de dimensión $N-1$ (una hipersuperficie) en lugar de un objeto fractal de dimensión mayor.

5. Significado e Impacto

Este trabajo es significativo en la teoría de ecuaciones en derivadas parciales (EDP) y problemas de frontera libre por varias razones:

• Superación de Obstáculos Variacionales: Aborda la dificultad inherente de los problemas de obstáculo con términos superlineales que no permiten la minimización directa, ofreciendo un marco robusto basado en el método de penalización y el paso de montaña.
• Complejidad Técnica: Maneja la interacción compleja entre coeficientes variables, el operador p-Laplaciano ($p \neq 2$) y la no linealidad subcrítica, lo cual requiere estimaciones de regularidad mucho más delicadas que en el caso lineal o semilineal.
• Caracterización Geométrica: Proporciona una caracterización rigurosa de la estructura de la frontera libre. Saber que la medida de Hausdorff es finita y que la frontera es porosa es crucial para aplicaciones en física (como modelos de combustión, reacción química o flujo en medios porosos) donde la geometría de la interfaz afecta el comportamiento global del sistema.
• Extensión de la Literatura: Cierra una brecha en la literatura al tratar problemas de obstáculo p-Laplaciano con coeficientes variables y términos subcríticos, un caso que anteriormente no había sido explorado en profundidad en cuanto a la medida de Hausdorff de la frontera.

En resumen, el artículo establece un marco teórico sólido para la existencia, regularidad y propiedades geométricas de soluciones a una clase generalizada de problemas de obstáculo, demostrando que la frontera libre mantiene una estructura "suave" (dimensión $N-1$) incluso en presencia de no linealidades complejas y coeficientes variables.