Wolff potential estimates for elliptic obstacle problems with generalized Orlicz growth

Resumen Técnico: Estimaciones del Potencial de Wolff para Problemas de Obstáculo Elípticos con Crecimiento de Orlicz Generalizado

Planteamiento del Problema
Este artículo investiga problemas de obstáculo elípticos que involucran datos de medida dentro del marco de los espacios de Orlicz generalizados. La ecuación principal bajo consideración es:
$$-\text{div}\left( \frac{g(x, |Du|)}{|Du|} Du \right) = \mu \quad \text{en } \Omega,$$
sujeta a la restricción de obstáculo $u \geq \psi$ casi en todas partes en un dominio acotado $\Omega \subseteq \mathbb{R}^n$ ($n \geq 2$). Aquí, $\mu$ es una medida de Radon con signo y variación total finita, y $g(x, t)$ representa una no linealidad que satisface condiciones de crecimiento de Orlicz generalizado. Este entorno abarca casos específicos como el crecimiento de exponente $p(x)$, el crecimiento de exponente variable perturbado y el crecimiento de doble fase. Se asume que la función de obstáculo $\psi$ pertenece al espacio de Musielak-Orlicz-Sobolev $W^{1,G}(\Omega)$, sin requerir supuestos de mayor regularidad (por ejemplo, $W^{2,1}$) sobre el obstáculo que estaban presentes en la literatura previa.

Metodología
Los autores emplean un enfoque unificado para manejar los problemas de obstáculo elípticos, evitando la necesidad de tratamientos separados para los casos $p < 2$ y $p \geq 2$. La metodología procede a través de las siguientes etapas:

1. Teoría de Existencia: La existencia de soluciones en el espacio de Musielak-Orlicz se establece utilizando técnicas de aproximación. Los autores consideran una secuencia de problemas aproximantes con datos regularizados $f_i \in L^1(\Omega) \cap (W^{1,G}(\Omega))'$ que convergen a la medida $\mu$. Al utilizar la reflexividad del espacio y argumentos de compacidad (teoremas de Banach-Alaoglu y Dunford-Pettis), demuestran la existencia de un límite de las soluciones aproximantes.
2. Estimaciones de Comparación: Se utiliza un argumento de comparación de múltiples pasos para cerrar la brecha entre la solución del problema de obstáculo no homogéneo y las soluciones a ecuaciones homogéneas. El proceso involucra:
   • Comparar la solución $u$ con una solución $w_1$ de un problema de obstáculo homogéneo con los mismos datos de frontera.
   • Comparar $w_1$ con una solución $w_2$ de un problema con coeficientes regularizados (usando una función de Orlicz regularizada $\tilde{G}$).
   • Comparar $w_2$ con una solución $w_3$ a una ecuación elíptica relacionada sin la restricción de obstáculo.
   • Comparar $w_3$ con una solución $w_4$ a una ecuación homogénea con coeficientes congelados.
3. Decaimiento del Exceso y Estimaciones de Potencial: Aprovechando las estimaciones de comparación, los autores derivan estimaciones de decaimiento del exceso para los gradientes. Estas estimaciones se iteran para obtener cotas puntuales. El núcleo del análisis se basa en el potencial de Wolff y las funciones maximales fraccionales restringidas para cuantificar la influencia de la medida de datos $\mu$ y el obstáculo $\psi$ en la regularidad de la solución.

Contribuciones Clave y Resultados

• Existencia de Soluciones (Teorema 1.13): El artículo establece la existencia de al menos una solución aproximable para el problema de obstáculo $OP(\psi; \mu)$ en el espacio de Musielak-Orlicz $T^{1,G}_h(\Omega)$, bajo supuestos estructurales mínimos sobre la función de crecimiento $G$ (específicamente las condiciones (aInc)$_p$, (aDec)$_q$, (A0) y (A1)).
• Estimaciones Puntuales del Gradiente (Teorema 1.15): Los autores derivan estimaciones puntuales para los gradientes en términos del potencial de Wolff $W^\mu_{\beta, p}$ y la función maximal fraccional aguda restringida $M^\#_{\alpha, R}$. Estas estimaciones contabilizan explícitamente la medida de datos $\mu$ y la regularidad del obstáculo $\psi$. Las estimaciones se mantienen bajo el supuesto de que el obstáculo satisface una condición de regularidad Dini-BMO.
• Oscilación y Regularidad $C^{1,\alpha}$ (Teorema 1.16): Refinando las estimaciones puntuales, el artículo deriva estimaciones de oscilación para los gradientes. Específicamente, demuestra que si los datos de la medida y el obstáculo satisfacen condiciones de integrabilidad y regularidad apropiadas (incluyendo la regularidad Dini-Hölder para el módulo de continuidad), la solución $u$ posee regularidad $C^{1,\alpha}$. Las estimaciones del gradiente se expresan como:
  $$|Du(x) - Du(y)| \leq C |x-y|^\alpha \left( \text{términos integrales que involucran a } Du, \mu, \text{ y } \psi \right).$$
  Las cotas involucran el potencial de Wolff de la medida de datos y términos integrales relacionados con el gradiente del obstáculo.

Significancia y Reivindicaciones
El artículo afirma extender los hallazgos previos en el campo, particularmente en [50, 51], al eliminar el requisito de condiciones de mayor regularidad para la función de obstáculo $\psi$. Los trabajos anteriores a menudo asumían $\psi \in W^{1,G}(\Omega) \cap W^{2,1}(\Omega)$ para facilitar el tratamiento unificado de la medida $\mu$ y el término del obstáculo $D\Psi$. Este trabajo demuestra que tal mayor regularidad no es necesaria para establecer las estimaciones del potencial de Wolff y la regularidad $C^{1,\alpha}$.

Además, los autores enfatizan la generalidad de su marco, que cubre las condiciones de crecimiento de Orlicz, de exponente variable y de doble fase bajo un único conjunto de supuestos. Una ventaja técnica significativa resaltada es el tratamiento unificado de los casos $p < 2$ y $p \geq 2$, lo que elimina la necesidad de enfoques analíticos distintos para diferentes regímenes de crecimiento. Los resultados proporcionan una descripción potencial completa de la regularidad de las soluciones a problemas de obstáculo elípticos con datos de medida en el amplio contexto del crecimiento de Orlicz generalizado.