Wolff potential estimates for elliptic obstacle problems with generalized Orlicz growth

Résumé Technique : Estimations du Potentiel de Wolff pour les Problèmes d'Obstacle Elliptiques à Croissance d'Orlicz Généralisée

Énoncé du Problème
Cet article étudie les problèmes d'obstacle elliptiques impliquant des données de mesure dans le cadre des espaces d'Orlicz généralisés. L'équation principale considérée est :
$$-\text{div}\left( \frac{g(x, |Du|)}{|Du|} Du \right) = \mu \quad \text{dans } \Omega,$$
soumise à la contrainte d'obstacle $u \geq \psi$ presque partout dans un domaine borné $\Omega \subseteq \mathbb{R}^n$ ($n \geq 2$). Ici, $\mu$ est une mesure de Radon signée de variation totale finie, et $g(x, t)$ représente une non-linéarité satisfaisant des conditions de croissance d'Orlicz généralisées. Ce cadre englobe des cas spécifiques tels que la croissance $p(x)$, la croissance à exposant variable perturbée, et la croissance à double phase. L'obstacle $\psi$ est supposé appartenir à l'espace de Musielak-Orlicz-Sobolev $W^{1,G}(\Omega)$, sans exiger de conditions de régularité plus élevées (par exemple $W^{2,1}$) sur l'obstacle, lesquelles étaient présentes dans la littérature antérieure.

Méthodologie
Les auteurs emploient une approche unifiée pour traiter les problèmes d'obstacle elliptiques, évitant ainsi le besoin de traitements distincts pour les cas $p < 2$ et $p \geq 2$. La méthodologie procède par les étapes suivantes :

1. Théorie de l'Existence : L'existence de solutions dans l'espace de Musielak-Orlicz est établie en utilisant des techniques d'approximation. Les auteurs considèrent une séquence de problèmes approximants avec des données régularisées $f_i \in L^1(\Omega) \cap (W^{1,G}(\Omega))'$ convergeant vers la mesure $\mu$. En utilisant la réflexivité de l'espace et des arguments de compacité (théorèmes de Banach-Alaoglu et de Dunford-Pettis), ils prouvent l'existence d'une limite des solutions approximantes.
2. Estimations de Comparaison : Un argument de comparaison en plusieurs étapes est utilisé pour combler l'écart entre la solution du problème d'obstacle inhomogène et les solutions d'équations homogènes. Le processus implique de :
   • Comparer la solution $u$ avec une solution $w_1$ d'un problème d'obstacle homogène avec les mêmes données aux limites.
   • Comparer $w_1$ avec une solution $w_2$ d'un problème à coefficients régularisés (en utilisant une fonction d'Orlicz régularisée $\tilde{G}$).
   • Comparer $w_2$ avec une solution $w_3$ d'une équation elliptique liée sans la contrainte d'obstacle.
   • Comparer $w_3$ avec une solution $w_4$ d'une équation homogène à coefficients gelés.
3. Décroissance de l'Excès et Estimations de Potentiel : En exploitant les estimations de comparaison, les auteurs dérivent des estimations de décroissance de l'excès pour les gradients. Ces estimations sont ensuite itérées pour obtenir des bornes ponctuelles. Le cœur de l'analyse repose sur le potentiel de Wolff et les fonctions maximales fractionnaires restreintes pour quantifier l'influence de la donnée de mesure $\mu$ et de l'obstacle $\psi$ sur la régularité de la solution.

Contributions Clés et Résultats

• Existence de Solutions (Théorème 1.13) : L'article établit l'existence d'au moins une solution approximable du problème d'obstacle $OP(\psi; \mu)$ dans l'espace de Musielak-Orlicz $T^{1,G}_h(\Omega)$, sous des hypothèses structurelles minimales sur la fonction de croissance $G$ (spécifiquement les conditions (aInc)$_p$, (aDec)$_q$, (A0), et (A1)).
• Estimations Ponctuelles du Gradient (Théorème 1.15) : Les auteurs dérivent des estimations ponctuelles pour les gradients en termes de potentiel de Wolff $W^\mu_{\beta, p}$ et de la fonction maximale fractionnaire aiguë restreinte $M^\#_{\alpha, R}$. Ces estimations rendent compte explicitement de la donnée de mesure $\mu$ et de la régularité de l'obstacle $\psi$. Les estimations sont valables sous l'hypothèse que l'obstacle satisfait une condition de régularité Dini-BMO.
• Oscillation et Régularité $C^{1,\alpha}$ (Théorème 1.16) : En affinant les estimations ponctuelles, l'article dérive des estimations d'oscillation pour les gradients. Plus précisément, il prouve que si les données de mesure et l'obstacle satisfont des conditions appropriées d'intégrabilité et de régularité (incluant la régularité Dini-Hölder pour le module de continuité), la solution $u$ possède une régularité $C^{1,\alpha}$. Les estimations de gradient s'expriment comme suit :
  $$|Du(x) - Du(y)| \leq C |x-y|^\alpha \left( \text{Termes intégraux impliquant } Du, \mu, \text{ et } \psi \right).$$
  Les bornes impliquent le potentiel de Wolff de la donnée de mesure et des termes intégraux liés au gradient de l'obstacle.

Signification et Revendications
L'article affirme étendre les résultats précédents dans le domaine, particulièrement dans [50, 51], en supprimant l'exigence de conditions de régularité plus élevées sur la fonction d'obstacle $\psi$. Les travaux antérieurs supposaient souvent que $\psi \in W^{1,G}(\Omega) \cap W^{2,1}(\Omega)$ pour faciliter le traitement unifié de la mesure $\mu$ et du terme d'obstacle $D\Psi$. Ce travail démontre qu'une telle régularité plus élevée n'est pas nécessaire pour établir les estimations du potentiel de Wolff et la régularité $C^{1,\alpha}$.

De plus, les auteurs soulignent la généralité de leur cadre, qui couvre les conditions de croissance d'Orlicz, à exposant variable et à double phase sous un ensemble unique d'hypothèses. Un avantage technique significatif mis en évidence est le traitement unifié des cas $p < 2$ et $p \geq 2$, ce qui élimine le besoin d'approches analytiques distinctes pour différents régimes de croissance. Les résultats fournissent une description potentielle complète de la régularité des solutions aux problèmes d'obstacle elliptiques avec des données de mesure dans le cadre large de la croissance d'Orlicz généralisée.