Riesz potential estimates for non-linear elliptic obstacle problems

Resumen Técnico: Estimaciones de Potenciales de Riesz para Problemas de Obstáculo Elípticos No Lineales

Planteamiento del Problema
Este artículo investiga la regularidad de las soluciones de una clase de problemas de obstáculo elípticos no homogéneos con datos de medida. La ecuación principal bajo consideración es:
$$-\text{div}(a(x, u, Du)) = \mu \quad \text{en } \Omega,$$
sujeto a la restricción de obstáculo $u \geq \psi$ casi en todo lugar en un conjunto abierto acotado $\Omega \subseteq \mathbb{R}^n$ ($n \geq 2$), donde $\mu$ es una medida de Radon con signo y variación total finita ($\mu \in \mathcal{M}_b(\Omega)$), y la no linealidad $a(x, z, \eta)$ depende de la variable espacial $x$, la variable de la solución $z$ y el gradiente $\eta$.

El operador $a$ satisface condiciones estándar de elipticidad y crecimiento para un exponente de crecimiento $p \geq 2$. Crucialmente, los autores imponen dos supuestos de continuidad específicos sobre $a$:

1. Continuidad Dini en $x$: La dependencia de la variable espacial satisface una condición de Dini, asegurando un módulo de continuidad $\omega$ tal que $\int_0^R \frac{\omega(\rho)}{\rho} d\rho < \infty$.
2. Continuidad Hölder en $z$: La dependencia de la variable de la solución satisface una condición Hölder natural con exponente $\sigma$.

Se asume que la función de obstáculo $\psi$ pertenece a $W^{2,1}(\Omega) \cap W^{1,p}(\Omega)$ con condiciones de integrabilidad específicas sobre sus derivadas. La solución $u$ se define como el límite de una secuencia de soluciones aproximadas de problemas regularizados, un concepto establecido en la literatura previa para datos de medida.

Metodología
Los autores emplean un enfoque perturbativo basado en estimaciones de comparación y argumentos de decaimiento del exceso. La metodología central involucra los siguientes pasos:

1. Aproximación y Comparación: La solución $u$ se compara contra una secuencia de funciones auxiliares ($w_1, \dots, w_5$) definidas en bolas anidadas. Estas funciones resuelven problemas de obstáculo relacionados, ya sea homogéneos o simplificados, donde los datos de medida y los efectos del obstáculo se eliminan o se "congelan" progresivamente.

   • $w_1$ resuelve el problema del obstáculo con lado derecho cero.
   • $w_2$ y $w_3$ manejan el término del obstáculo y la ecuación homogénea, respectivamente.
   • $w_4$ y $w_5$ involucran el congelamiento de los coeficientes en la variable de la solución y en la variable espacial, respectivamente.

2. Estimaciones de Comparación: Los autores derivan estimaciones $L^q$ para las diferencias entre los gradientes de estas funciones auxiliares. Estas estimaciones cuantifican el error introducido por la medida $\mu$, el obstáculo $\psi$ y la dependencia de la no linealidad respecto a $u$. Las estimaciones se basan en las propiedades de la estructura de tipo $p$-Laplaciano y en los supuestos específicos de continuidad de $a$.

3. Decaimiento del Exceso e Iteración: Al combinar las estimaciones de comparación con un lema de decaimiento para el exceso (oscilación del gradiente), los autores establecen una estimación de decaimiento iterativa. Este proceso utiliza la condición de Dini sobre el módulo de continuidad $\omega$ y la pequeñez de los términos de medida y obstáculo en normas integrales específicas.

4. Normalización y Escalamiento: Para manejar la dependencia global de la solución $u$ en la no linealidad, los autores utilizan una técnica de normalización. Rescalan el problema para normalizar la magnitud del gradiente, permitiendo la aplicación uniforme de resultados de regularidad local.

5. Estimaciones de Potencial: Las estimaciones de decaimiento iterativas se integran para derivar cotas puntuales en términos de potenciales de Riesz. Los autores distinguen la contribución de la medida $\mu$ y del término del obstáculo $\psi$ (denotado mediante un término $D\Psi$).

Contribuciones Clave y Resultados
El artículo extiende la teoría de las estimaciones de potencial a la configuración más compleja de los problemas de obstáculo donde la no linealidad depende explícitamente de la propia solución $u$. Los principales resultados son:

• Teorema 1.2 (Estimación del Gradiente Puntual): Los autores establecen una estimación del gradiente puntual para la solución $u$ en un punto de Lebesgue $x_0$. La estimación acota $|Du(x_0)|$ mediante la suma de:

  • Un promedio integral de $|Du|$ sobre una bola.
  • El potencial de Riesz de la medida, $I_{|\mu|}^1(x_0, R)$.
  • Un término que involucra el potencial de Riesz de los datos del obstáculo, $I_{[\psi]}^1(x_0, R)$.
  • Un término que contabiliza la dependencia de la no linealidad respecto a la solución, involucrando la constante $\Gamma$, el radio $R$ y el exponente $\sigma$.
    La estimación toma la forma:
    $$|Du(x_0)| \leq c \left( \text{Promedio} + (I_{|\mu|}^1 + I_{[\psi]}^1)^{\frac{1}{p-1}} + \text{Término de Corrección No Lineal} \right).$$

• Teorema 1.3 (Regularidad VMO): Bajo el supuesto de que los potenciales de Riesz de la medida y del obstáculo están acotados y se anulan en el límite cuando el radio tiende a cero, se demuestra que el gradiente $Du$ pertenece localmente al espacio de funciones con Oscilación Media Nula (VMO).

• Teorema 1.4 (Continuidad del Gradiente): Si los potenciales de Riesz de la medida y del obstáculo se anulan en el límite (una condición más fuerte que en el Teorema 1.3), se prueba que el gradiente $Du$ es continuo en el dominio.

Significancia y Reivindicaciones
El artículo posiciona su trabajo como una extensión de la teoría de potenciales existente para problemas de obstáculo. Mientras que trabajos previos (por ejemplo, Scheven [24, 25]) establecieron estimaciones de gradiente en términos de potenciales de Wolff para problemas de obstáculo, y otros (Byun, Song, Youn [2, 3]) introdujeron estimaciones de potenciales de Riesz para problemas de obstáculo de coeficientes constantes, este trabajo aborda el vacío donde la no linealidad depende de la variable de la solución $u$.

Los autores afirman que sus resultados proporcionan una herramienta integral para obtener estimaciones de regularidad para estos problemas generales. Al derivar estimaciones específicamente en términos de potenciales de Riesz (que son más simples y explícitos que los potenciales de Wolff en el caso $p=2$ y a menudo más manejables para $p \neq 2$), el artículo ofrece una comprensión refinada de cómo la regularidad de la solución depende de la integrabilidad de la medida de los datos y de la suavidad del obstáculo. Los resultados generalizan los hallazgos previos a un entorno con coeficientes variables y no linealidades dependientes de la solución, confirmando que la regularidad del gradiente está controlada por los potenciales de Riesz de los datos y del obstáculo, siempre que la no linealidad satisfaga las condiciones de Dini y Hölder especificadas.