Functional calculus on weighted Sobolev spaces for the Laplacian on rough domains

1. Problématique et Contexte

L'article s'attaque à l'étude de l'opérateur Laplacien ($\Delta$) sur des domaines $\mathcal{O} \subset \mathbb{R}^d$ possédant une régularité minimale (dits « domaines rugueux » ou rough domains), spécifiquement des domaines de classe $C^{1,\lambda}$ avec $\lambda \in [0, 1]$.

Le problème central réside dans le fait que pour des domaines non lisses (par exemple, seulement Lipschitziens ou $C^1$), les propriétés classiques d'analyse fonctionnelle échouent :

• Le Laplacien avec conditions aux limites de Dirichlet ou de Neumann ne génère pas nécessairement un semi-groupe analytique sur les espaces de Sobolev standards $W^{2,p}$.
• Le domaine canonique de l'opérateur n'est plus un sous-espace fermé de $W^{2,p}$.
• Les dérivées des solutions de l'équation de la chaleur ou de l'équation résolvante peuvent exploser près de la frontière, rendant les méthodes classiques inapplicables sans conditions de compatibilité supplémentaires sur les données.

L'objectif est d'établir un calcul fonctionnel $H^\infty$ borné pour le Laplacien sur des espaces de Sobolev pondérés inhomogènes, où les poids sont des puissances de la distance à la frontière ($w(x) = \text{dist}(x, \partial\mathcal{O})^\gamma$). Cela permet de compenser les singularités des dérivées et de relaxer les conditions de régularité du domaine.

2. Méthodologie

La stratégie de preuve repose sur une approche en plusieurs étapes, combinant l'analyse harmonique, la théorie des opérateurs sectoriels et des techniques de localisation adaptées aux domaines rugueux.

A. Cadre Fonctionnel et Espaces Pondérés

Les auteurs travaillent sur les espaces de Sobolev pondérés $W^{k,p}(\mathcal{O}, w_{\partial\mathcal{O}}^\gamma)$, où le poids $w_{\partial\mathcal{O}}^\gamma(x) = \text{dist}(x, \partial\mathcal{O})^\gamma$ permet de contrôler le comportement des fonctions près de la frontière. Ils caractérisent rigoureusement ces espaces via des conditions de traces nulles (Dirichlet ou Neumann) en utilisant des isomorphismes avec le demi-espace $\mathbb{R}^d_+$.

B. Calcul Fonctionnel sur le Demi-Espace

La base de la preuve est le résultat établi dans des travaux antérieurs ([70]) concernant le demi-espace $\mathbb{R}^d_+$. Les auteurs utilisent le fait que le Laplacien sur $\mathbb{R}^d_+$ admet un calcul fonctionnel $H^\infty$ borné d'angle zéro sur ces espaces pondérés. Une partie cruciale de leur travail consiste à caractériser les domaines fractionnaires de l'opérateur Laplacien sur $\mathbb{R}^d_+$ et les espaces d'interpolation complexes associés, ce qui est essentiel pour les théorèmes de perturbation.

C. Perturbation et Diffeomorphismes Adaptés

Pour passer du demi-espace à un domaine général, les auteurs utilisent une procédure de perturbation. Le défi majeur est que la régularité faible du domaine ($C^{1,\lambda}$) empêche l'utilisation des difféomorphismes standards (qui nécessitent généralement $C^{k+2}$ pour traiter des espaces d'ordre $k$).

• Nouveauté technique : Ils construisent des difféomorphismes spécifiques (inspirés de la pullback de Dahlberg-Kenig-Stein) qui « redressent » la frontière tout en préservant la direction du vecteur normal (crucial pour les conditions de Neumann).
• Ces difféomorphismes sont lisses à l'intérieur mais leurs dérivées d'ordre supérieur peuvent exploser près de la frontière.
• Compensation : Cette explosion est compensée par les poids dans les espaces de Sobolev. Les auteurs démontrent que les termes de perturbation résultants, bien que d'ordre égal au Laplacien dans certains cas, sont bien contrôlés grâce aux inégalités de Hardy et aux estimations précises sur les dérivées des difféomorphismes.

D. Théorèmes de Perturbation

Ils appliquent des théorèmes de perturbation avancés pour le calcul fonctionnel $H^\infty$ (théorèmes de type [36, Thm 16.2.8]), qui permettent de montrer que si l'opérateur de référence (sur le demi-espace) possède un calcul $H^\infty$, alors l'opérateur perturbé (sur le domaine rugueux) l'admet également, à condition que les termes de perturbation soient « bien comportés » par rapport aux puissances fractionnaires de l'opérateur.

E. Localisation Globale

Enfin, pour les domaines bornés, ils utilisent une procédure de localisation (partition de l'unité) pour décomposer le problème en une somme de problèmes sur des domaines « spéciaux » (graphes de fonctions) et un problème sur l'espace entier, permettant ainsi d'étendre le résultat global.

3. Résultats Principaux

Les résultats sont formulés pour des exposants $p \in (1, \infty)$, des ordres de régularité $k \in \mathbb{N}_0$, et des paramètres de poids $\gamma$.

Théorème 1 : Calcul $H^\infty$ pour le Laplacien de Dirichlet

Pour un domaine borné $C^{1,\lambda}$, l'opérateur $\mu - \Delta_{Dir}$ admet un calcul fonctionnel $H^\infty$ borné d'angle zéro sur l'espace $W^{k,p}(\mathcal{O}, w_{\partial\mathcal{O}}^{\gamma+kp})$ sous les conditions :

• $\gamma \in (-1, 2p-1) \setminus \{p-1\}$.
• Une relation de compromis entre la régularité du domaine et le poids : $\lambda > 1 - \frac{\gamma+1}{p}$ (ou équivalentement $\gamma > (1-\lambda)p - 1$).
• Cela généralise les résultats précédents (limités à $k=0$ et domaines $C^2$) et montre qu'une régularité de domaine plus faible peut être compensée par un exposant de poids plus élevé.

Théorème 2 : Calcul $H^\infty$ pour le Laplacien de Neumann

Des résultats similaires sont établis pour le Laplacien de Neumann, avec des contraintes légèrement différentes sur les poids et la régularité du domaine (nécessitant parfois une régularité $C^{2,\lambda}$ si le poids est faible, ou $C^{1,\lambda}$ si le poids est fort). L'opérateur est défini soit sur l'espace complet, soit sur le quotient par les constantes (pour gérer le noyau de l'opérateur).

Conséquences Directes

1. Régularité Maximale : L'existence du calcul $H^\infty$ implique la régularité maximale pour l'équation de la chaleur parabolique associée, même sur des domaines avec une régularité minimale.
2. Transformées de Riesz : Les auteurs établissent la bornitude des transformées de Riesz $\nabla (-\Delta)^{-1/2}$ sur ces espaces pondérés.
3. Indépendance du Spectre : Pour le cas scalaire ($X=\mathbb{C}$), ils montrent que le spectre du Laplacien est discret, contenu dans $(0, \infty)$ (ou $[0, \infty)$ pour Neumann), et indépendant des paramètres $p, k, \gamma$.

4. Contributions Clés et Innovations

• Compromis Régularité-Poids : La découverte fondamentale est que la régularité requise du domaine ($C^{1,\lambda}$) n'est pas fixe mais dépend de l'exposant de poids $\gamma$. Plus le poids est fort (compensant mieux les singularités), plus le domaine peut être rugueux.
• Indépendance de l'Ordre de Régularité Sobolev : Contrairement aux méthodes classiques de localisation qui nécessitent des domaines $C^{k+2}$ pour traiter des espaces $W^{k,p}$, cette méthode fonctionne pour tout $k \in \mathbb{N}_0$ avec une régularité de domaine fixe ($C^{1,\lambda}$).
• Difféomorphismes Non-Standard : L'utilisation de difféomorphismes dont les dérivées d'ordre supérieur explosent près de la frontière, mais qui sont contrôlés par les poids, est une avancée technique majeure permettant de contourner les limitations des domaines $C^2$.
• Extension aux Espaces Vectoriels : Les résultats sont établis pour des espaces de Banach vectoriels (UMD), ce qui est crucial pour les applications aux équations aux dérivées partielles stochastiques (SPDE).

5. Signification et Impact

Ce travail étend considérablement la théorie de bien-posé des équations paraboliques et elliptiques aux domaines géométriquement complexes et peu réguliers.

• Applications aux SPDE : La régularité maximale obtenue est un prérequis essentiel pour l'analyse des équations aux dérivées partielles stochastiques non linéaires sur des domaines réalistes (par exemple, en modélisation physique ou financière où les frontières ne sont pas lisses).
• Optimalité : Les auteurs suggèrent que leurs conditions sur la régularité du domaine sont presque optimales, comblant ainsi un vide théorique entre les résultats connus pour les domaines $C^2$ et les cas Lipschitziens très difficiles.
• Outils pour l'Analyse : La construction de ces espaces pondérés et la preuve du calcul fonctionnel fournissent un cadre robuste pour étudier des systèmes d'ordre mixte et des problèmes de valeurs aux limites où les conditions de compatibilité classiques sont trop restrictives.

En résumé, cet article fournit un cadre analytique puissant et flexible pour l'étude du Laplacien sur des domaines rugueux, reliant la géométrie du domaine, la théorie des poids et le calcul fonctionnel des opérateurs.