Regularity to Thin Obstacle Problem in Orlicz spaces

Résumé Technique : Régularité du problème de l'obstacle mince dans les espaces d'Orlicz

Énoncé du Problème
Ce travail étudie la régularité des minimiseurs pour une classe de fonctionnelles d'énergie associées au problème de l'obstacle mince (également connu sous le nom de problème de Signorini) dans le cadre des espaces d'Orlicz. La fonctionnelle considérée est :
$$J(u) = \int_{B_1^+} G(|\nabla u(x)|) \, dx$$
définie sur la classe admissible $\mathcal{G} = \{v \in W^{1,G}(B_1^+) : v = \phi \text{ sur } (\partial B_1)^+, v \geq 0 \text{ sur } T_1\}$, où $B_1^+ = B_1 \cap \mathbb{R}^n_+$ et $T_1 = B_1 \cap \{x_n = 0\}$, et $G$ est une fonction $N$. Le système d'Euler-Lagrange associé implique l'opérateur $g$-laplacien, $\Delta_g u = \text{div}\left(\frac{g(|\nabla u|)}{|\nabla u|} \nabla u\right)$, soumis à des contraintes unilatérales sur la frontière plane $T_1$.

Les auteurs abordent le défi consistant à établir des résultats de régularité lorsque la croissance de la fonctionnelle d'énergie est non standard (régie par une fonction $G$ plutôt que par une simple puissance $t^p$) et que l'opérateur manque d'homogénéité. Ce cadre généralise les travaux précédents sur le $p$-laplacien et le laplacien classique ($G(t)=t^2$) à une classe plus large d'espaces d'Orlicz.

Méthodologie
L'analyse repose sur des techniques adaptées de la théorie classique de la régularité de De Giorgi, modifiées pour s'adapter à la nature non homogène du $g$-laplacien et à la géométrie spécifique de l'obstacle mince. La méthodologie progresse à travers les étapes suivantes :

1. Existence et Régularité Lipschitzienne :

   • Les auteurs établissent d'abord l'existence de minimiseurs en utilisant la méthode directe du calcul des variations, en exploitant la convexité de $G$ et la compacité de l'opérateur de trace dans les espaces d'Orlicz-Sobolev.
   • Pour prouver la continuité de Lipschitz ($C^{0,1}$), le problème est étendu à la boule complète $B_1$ via une réflexion paire du minimiseur $u$ et des données aux limites $\phi$. Cela transforme le problème de l'obstacle mince en un problème d'obstacle classique avec un obstacle $\psi$ construit. En utilisant la régularité aux limites des fonctions $g$-harmoniques et les principes de comparaison, les auteurs dérivent une estimation de Lipschitz pour le minimiseur étendu, qui se restreint au domaine d'origine.

2. Estimations de Gradient et Itération de De Giorgi :

   • Le cœur de la preuve de régularité implique l'analyse des dérivées partielles du minimiseur. Les auteurs définissent $v = \partial_m u$ (dérivées tangentielles) et étudient leur comportement dans l'ensemble où le gradient est éloigné de zéro.
   • Ils dérivent une inégalité de type Caccioppoli pour le gradient de $v$ dans l'ensemble $\{v \geq k\}$. Cela implique de différencier l'équation d'Euler-Lagrange et d'utiliser les conditions structurelles sur $g$ (spécifiquement les bornes $\delta_0 \leq tg'(t)/g(t) \leq g_0$) pour établir l'ellipticité et les contrôles de croissance.
   • Un schéma d'itération de type De Giorgi est employé. Cela inclut la démonstration d'une estimation de décroissance pour la mesure de l'ensemble où la dérivée excède un certain niveau (Lemme 4.4) et l'établissement d'une borne sur la borne supérieure des dérivées (Lemme 4.5).

3. Continuité de Hölder du Gradient :

   • L'étape finale implique une analyse de type "blow-up" près de la frontière libre. Les auteurs supposent une contradiction où le gradient n'est pas Hölder continu et construisent une séquence de minimiseurs rescalés.
   • En utilisant la régularité de Lipschitz et la structure de l'ensemble de contact, ils montrent que la limite de cette séquence doit être une fonction linéaire spécifique. En analysant les conditions aux limites et l'ensemble de contact, ils dérivent une contradiction, prouvant ainsi que le gradient doit satisfaire une estimation de décroissance.
   • Cette estimation de décroissance est formalisée à l'aide d'un lemme sur les fonctions non décroissantes (Lemme 5.2), menant à la conclusion que le gradient est Hölder continu.

Contributions Clés et Résultats
L'article établit les principaux résultats suivants sous les hypothèses structurelles (H1) sur la fonction $N$ $G$ et (H2) sur les données aux limites :

• Théorème 1.1 (Résultat Principal de Régularité) : Si $u$ est un minimiseur de la fonctionnelle $J$, alors $u \in C^{1,\gamma}(B_{1/2}^+)$ pour un certain $\gamma \in (0, 1)$. L'exposant $\gamma$ dépend uniquement de la dimension $n$ et des constantes structurelles $\delta_0$ et $g_0$. Ce résultat unifie et étend les découvertes précédentes pour le $p$-laplacien et les problèmes d'obstacle classiques au cadre général d'Orlicz.
• Théorème 1.2 (Structure des Ensembles Nodaux) : Comme sous-produit de la régularité $C^{1,\gamma}$, les auteurs caractérisent la structure des ensembles nodaux des minimiseurs. Plus précisément, l'ensemble des points où les premières dérivées s'annulent ($n_1(u)$) est montré être une union finie de variétés $C^{1,\gamma}$ de dimension $j$.

Signification et Revendications
Les auteurs affirment que leur travail fournit un traitement unifié de la régularité des problèmes d'obstacle mince, englobant le cas quadratique classique ($G(t)=t^2$) et le cas de croissance $p$ ($G(t)=t^p$) comme des instances particulières.

Une contribution primaire est l'adaptation du cadre de De Giorgi aux opérateurs non homogènes. Les auteurs notent que l'absence d'homogénéité dans le $g$-laplacien introduit des différences conceptuelles et techniques substantielles par rapport au cadre $p$-homogène classique, nécessitant une approche analytique distincte. Ils soulignent que leur méthode étend le cadre de De Giorgi au-delà des modèles homogènes, fournissant une théorie robuste pour les modèles variationnels avec des conditions de croissance non standards.

L'article ne propose pas de nouvelles applications expérimentales ou de directions futures au-delà du champ mathématique de l'établissement de ces théorèmes de régularité et de la caractérisation des ensembles nodaux. La signification réside dans l'extension rigoureuse des résultats de régularité connus au contexte plus large des espaces d'Orlicz, qui sont pertinents pour la modélisation de l'élasticité non linéaire et des fluides électrorhéologiques.