On the traces of harmonic functions $H^{1/2}$ and $H^{3/2}$ in Lipschitz domains

Résumé technique : Sur les traces de fonctions harmoniques $H^{1/2}$ et $H^{3/2}$ dans les domaines de Lipschitz

Énoncé du problème
L'article traite de la validité d'estimations spécifiques d'équivalence de normes pour les fonctions harmoniques dans des domaines lipschitziens bornés, concernant particulièrement la relation entre la norme $L^2$ de la trace sur la frontière $\Gamma$ et les normes de Sobolev pondérées impliquant le gradient et le hessien à l'intérieur de $\Omega$. Plus précisément, les auteurs étudient les inégalités proposées par Dahlberg [7] et d'autres, qui suggèrent que pour une fonction harmonique $u$ s'annulant en un point fixé $x_0 \in \Omega$ :
$$C^{-1}\|u\|_{L^2(\Gamma)} \leq \left( \int_\Omega \varrho |\nabla u|^2 \right)^{1/2} \leq C\|u\|_{L^2(\Gamma)}$$
où $\varrho$ est la distance à la frontière. La question centrale est de savoir si ces estimations sont valables de manière générale pour les fonctions harmoniques dans $H^{1/2}(\Omega)$ (et par extension $H^{3/2}(\Omega)$) lorsque le domaine $\Omega$ est simplement lipschitzien, ou si elles échouent en présence de coins non convexes (domaines polygonaux/polyédriques).

Méthodologie
Les auteurs emploient une combinaison de la théorie d'interpolation pour les sous-espaces, de la théorie de la régularité pour l'équation de Laplace dans les domaines non lisses, et de la construction de contre-exemples explicites.

1. Analyse de la régularité dans les domaines polygonaux/polyédriques : En utilisant les travaux de Grisvard et la théorie d'interpolation (spécifiquement les théorèmes d'Ivanov-Kalton et d'Asekritova-Cobos-Kruglyak), les auteurs analysent la résolubilité du problème de Dirichlet non homogène $-\Delta u = f$ avec $u=0$ sur $\Gamma$ dans les espaces de Sobolev fractionnaires $H^s(\Omega)$ pour $0 \leq s \leq 2$. Ils caractérisent les noyaux du laplacien dans ces espaces, montrant que pour les polygones non convexes, le noyau $N_{-s}(\Omega)$ est non trivial, affectant les propriétés d'isomorphisme de l'opérateur laplacien.
2. Construction de contre-exemples : Pour tester la validité des inégalités de trace, les auteurs construisent une famille spécifique de domaines lipschitziens $\Omega_\varepsilon$ et de fonctions harmoniques basées sur une fonction explicite fournie par Nečas. Cette fonction est conçue pour appartenir à $H^{3/2}(\Omega_\varepsilon)$ avec une norme de hessien pondérée bornée, tout en ayant une dérivée tangentielle sur la frontière qui croît de manière non bornée lorsque le paramètre du domaine $\varepsilon \to 0$.
3. Identification des espaces fonctionnels : Reconnaissant l'échec des injections standards, les auteurs définissent un nouvel espace fonctionnel $E(\nabla; \Omega) = \{v \in H^{1/2}(\Omega); \nabla v \in [H^{1/2}(\Omega)]'\}$. Ils étudient les propriétés de l'opérateur de trace $\gamma_0$ restreint à cet espace.
4. Hypothèses de régularité : L'article contraste le cas lipschitzien avec les domaines de classe $C^{1,1}$, où les résultats de régularité standards s'appliquent, afin de délimiter les conditions précises sous lesquelles les estimations de trace sont valides.

Contributions clés et résultats

• Réfutation des inégalités de trace générales : L'article démontre que les inégalités (1.1) et (1.2) citées de Dahlberg et d'autres ne peuvent pas être valables dans leur forme actuelle pour des domaines lipschitziens généraux. Spécifiquement, pour un domaine polygonal non convexe, il existe des fonctions harmoniques dans $H^{3/2}(\Omega)$ (et $H^{1/2}(\Omega)$) telles que les normes intérieures pondérées sont bornées, mais la trace frontalière (en $H^1(\Gamma)$ ou $L^2(\Gamma)$) est non bornée. Cela invalide l'affirmation selon laquelle toute fonction harmonique dans $H^{1/2}(\Omega)$ possède automatiquement une trace $L^2(\Gamma)$ dans un cadre lipschitzien général.
• Régularité optimale pour le problème de Dirichlet : Les auteurs fournissent une caractérisation complète de la résolubilité du problème de Dirichlet dans les espaces de Sobolev fractionnaires pour les domaines polygonaux et polyédriques. Ils identifient des exposants critiques liés au plus grand angle intérieur $\omega_\star$ (spécifiquement $1 - \pi/\omega_\star$) où la régularité de la solution chute en dessous des niveaux attendus $H^{3/2}$ ou $H^2$, à moins que des conditions de compatibilité sur le terme source $f$ ne soient satisfaites.
• Introduction de l'espace $E(\nabla; \Omega)$ : L'article identifie $E(\nabla; \Omega)$ comme le cadre fonctionnel correct pour la théorie de la trace dans le cas limite $s=1/2$.
  • L'opérateur de trace $\gamma_0: E(\nabla; \Omega) \to L^2(\Gamma)$ est bien défini et continu.
  • Le noyau de cet opérateur est exactement $H^{1/2}_{00}(\Omega)$.
  • Cela fournit une nouvelle caractérisation de $H^{1/2}_{00}(\Omega)$ et offre une alternative à $H^{1/2}(\Omega)$ pour garantir l'existence d'une trace $L^2$.
• Validité dans les domaines $C^{1,1}$ : Les auteurs prouvent que si le domaine $\Omega$ est de classe $C^{1,1}$, les inégalités originales sont valables. Dans ce cadre régulier, l'opérateur de trace est un isomorphisme entre l'espace des fonctions harmoniques dans $H^{1/2}(\Omega)$ et $L^2(\Gamma)$, et de même pour $H^{3/2}(\Omega)$ et $H^1(\Gamma)$ (pour la dérivée normale).

Signification
L'article clarifie une lacune critique dans la compréhension des traces de fonctions harmoniques dans les domaines non lisses. Il corrige l'hypothèse selon laquelle les normes de gradient pondérées dans les domaines lipschitziens sont suffisantes pour garantir des traces frontalières $L^2$ pour les fonctions harmoniques. En établissant que ces estimations échouent en présence de coins rentrants, ce travail nécessite une approche plus nuancée de la théorie de la régularité, reposant sur l'espace spécifique $E(\nabla; \Omega)$ plutôt que sur les espaces de Sobolev standards $H^{1/2}(\Omega)$ pour les cas limites. Les résultats affinent la compréhension de la résolubilité du problème de Dirichlet dans les espaces fractionnaires pour les domaines polygonaux, soulignant la dépendance de la régularité vis-à-vis des singularités géométriques du domaine.