Large-scale harmonic measures and nontangential maximal functions in periodic homogenization

1. Problématique et Contexte

L'article s'intéresse aux opérateurs elliptiques à coefficients périodiques de la forme :
$$L_\varepsilon = -\nabla \cdot (A(X/\varepsilon)\nabla)$$
définis dans un domaine borné $\Omega \subset \mathbb{R}^d$, où $\varepsilon \ll \text{diam}(\Omega)$ est une échelle microscopique. La matrice de coefficients $A(Y)$ est supposée réelle, symétrique, bornée et uniformément elliptique, et satisfait une condition de périodicité ($A(Y+Z)=A(Y)$ pour $Z \in \mathbb{Z}^d$).

Le défi principal :
Contrairement aux travaux antérieurs qui supposaient souvent une régularité locale (ex: Hölder) des coefficients $A$ pour obtenir des estimations uniformes en $\varepsilon$, cet article traite le cas où $A$ est seulement bornée et mesurable (sans régularité locale).
Dans ce contexte, les estimations classiques de régularité (comme les estimations Lipschitz uniformes ou les estimations des fonctions maximales non-tangentes sur toute l'échelle) échouent généralement en raison de l'irrégularité des coefficients à l'échelle $\varepsilon$.

L'objectif est de déterminer s'il est possible d'établir des estimations uniformes en $\varepsilon$ pour des fonctions maximales non-tangentes de grande échelle (large-scale), c'est-à-dire des estimations qui ignorent le comportement à l'échelle $\varepsilon$ près de la frontière, mais capturent le comportement à une distance $\delta(X) \ge 10\varepsilon$.

2. Méthodologie

Les auteurs développent une approche hybride combinant l'analyse harmonique, la théorie de l'homogénéisation et des outils de régularité à grande échelle.

A. Définition de nouvelles fonctions maximales

Pour contourner l'irrégularité à l'échelle $\varepsilon$, ils introduisent des versions « grande échelle » des fonctions maximales non-tangentes :

• $N_\varepsilon(F)(Q) = \sup \{ |F(X)| : X \in \Gamma(Q) \text{ et } \delta(X) \ge 10\varepsilon \}$
• $\widetilde{N}_\varepsilon(F)(Q)$ : version modifiée utilisant des moyennes locales sur des boules de rayon $\delta(X)/2$, mais restreinte à $\delta(X) \ge 10\varepsilon$.

Ces définitions excluent la couche limite immédiate de l'épaisseur $\varepsilon$, permettant ainsi de lisser les effets des coefficients irréguliers.

B. Mesures Harmoniques $L_\varepsilon$ à Grande Échelle

Un outil central est l'introduction de la mesure harmonique $L_\varepsilon$ à grande échelle $\omega_\varepsilon^X$. Pour un point $Q$ sur la frontière, on définit une densité moyenne sur une boule de rayon $\varepsilon$ :
$$\omega_\varepsilon^X(Q) := \frac{\omega_\varepsilon^X(\Delta_\varepsilon(Q))}{\sigma(\Delta_\varepsilon(Q))}$$
Les auteurs démontrent que cette mesure satisfait une inégalité de Hölder inverse (elle est une poids $B_2$ uniformément en $\varepsilon$). Cela permet de contrôler les solutions du problème de Dirichlet via la représentation intégrale par rapport à cette mesure.

C. Estimations de Rellich à Grande Échelle

L'article s'appuie sur des estimations de Rellich à grande échelle (estimates sur les dérivées tangentes et normales) établies précédemment par Kenig et Shen. Ces estimations, valables pour $r \ge \varepsilon$, relient l'énergie du gradient dans une couche frontière $\Omega_r$ aux données aux limites.

D. Opérateur de Différence et Périodicité

Pour les problèmes de régularité et de Neumann, les auteurs utilisent un opérateur de différence $Q_\varepsilon(u) = \frac{u(X+\varepsilon e_d) - u(X)}{\varepsilon}$. Grâce à la périodicité des coefficients dans la direction transversale (après localisation sur un domaine graphique), $Q_\varepsilon(u_\varepsilon)$ satisfait également une équation elliptique. Cela permet de réduire l'estimation de $\nabla u_\varepsilon$ à celle de $Q_\varepsilon(u_\varepsilon)$ et d'un terme de couche limite.

E. Argument de Variable Réelle et Domaines $C^1$

Pour étendre les résultats aux domaines $C^1$ et pour tout $p \in (1, \infty)$, les auteurs utilisent un argument de variable réelle adapté à l'échelle (théorème C.2). Ils combinent :

1. Les estimations à grande échelle (valables pour les coefficients bornés).
2. Les estimations classiques à petite échelle pour l'opérateur homogénéisé $L_0$ (à coefficients constants).
3. Des taux de convergence optimaux en $L^p$ pour le gradient.

3. Résultats Principaux

Les théorèmes principaux établissent des estimations uniformes en $\varepsilon$ pour les problèmes de Dirichlet, de Neumann et de Régularité.

Théorème 1.1 (Problème de Dirichlet)

Pour un domaine Lipschitz borné $\Omega$ et $f \in H^{1/2}(\partial\Omega) \cap C(\partial\Omega)$, la solution $u_\varepsilon$ satisfait :
$$\|N_\varepsilon(u_\varepsilon)\|_{L^p(\partial\Omega)} \le C \|S_\varepsilon(f)\|_{L^p(\partial\Omega)}$$
pour $2-\delta < p \le \infty$ (et pour tout $1 < p \le \infty$ si $\Omega$ est $C^1$). Ici, $S_\varepsilon(f)$ est une moyenne locale de la donnée frontière. La constante $C$ est indépendante de $\varepsilon$.

Théorèmes 1.2 et 1.3 (Problèmes de Régularité et de Neumann)

Pour les problèmes de régularité ($u_\varepsilon = f \in W^{1,p}$) et de Neumann ($\partial u_\varepsilon / \partial \nu_\varepsilon = g$), les auteurs établissent :
$$\|\widetilde{N}_\varepsilon(\nabla u_\varepsilon)\|_{L^p(\partial\Omega)} \le C \|f\|_{W^{1,p}(\partial\Omega)} \quad \text{ou} \quad C \|g\|_{L^p(\partial\Omega)}$$
pour $1 < p < 2+\delta$ (et pour tout $1 < p < \infty$ si $\Omega$ est $C^1$).

Corollaire 1.4 (Estimations Complètes)

Si l'on ajoute une hypothèse de régularité (continuité Hölder) sur les coefficients $A$, les estimations à grande échelle peuvent être combinées avec les estimations à petite échelle classiques pour récupérer les estimations complètes (full-scale) :
$$\|N(u_\varepsilon)\|_{L^p} \le C \|f\|_{L^p} \quad \text{et} \quad \|\widetilde{N}(\nabla u_\varepsilon)\|_{L^p} \le C \|f\|_{W^{1,p}}$$
valables pour tout $p \in (1, \infty)$ dans les domaines $C^1$. Ce résultat est nouveau pour les domaines $C^1$ avec des coefficients périodiques seulement bornés (sans régularité locale a priori).

4. Contributions Clés

1. Rupture de la condition de régularité locale : L'article démontre que la périodicité seule suffit pour obtenir des estimations uniformes à grande échelle, même sans régularité Hölder des coefficients.
2. Nouvelle notion de mesure harmonique : L'introduction et l'étude de la mesure harmonique $L_\varepsilon$ à grande échelle comme poids $B_2$ sont des avancées techniques majeures pour l'analyse des opérateurs à coefficients irréguliers.
3. Unification des échelles : La méthode proposée sépare clairement l'analyse en deux régimes (grande échelle via la périodicité et petite échelle via la régularité locale), offrant un cadre robuste pour traiter l'homogénéisation dans des domaines non lisses (Lipschitz) et lisses ($C^1$).
4. Extension aux domaines convexes : Les résultats sont également valables pour les domaines convexes, élargissant la portée des théorèmes classiques.

5. Signification et Impact

Ce travail est fondamental pour la théorie de l'homogénéisation périodique. Il comble un vide important entre les résultats connus pour les coefficients lisses et le cas général des coefficients bornés mesurables.

• Théorique : Il établit que la structure périodique permet de « lisser » les effets des irrégularités locales à l'échelle macroscopique, rendant les estimations de régularité uniformes possibles sans hypothèses supplémentaires sur $A$.
• Pratique : Les estimations de fonctions maximales non-tangentes sont cruciales pour la convergence des solutions, l'analyse spectrale et la résolution numérique des problèmes aux limites en milieux hétérogènes.
• Généralité : En prouvant ces résultats pour des domaines Lipschitz et $C^1$ avec des coefficients seulement bornés, l'article fournit les outils nécessaires pour étudier des problèmes physiques réalistes où les matériaux peuvent présenter des hétérogénéités complexes sans régularité parfaite.

En résumé, Shen et Zhuge réussissent à établir un cadre complet d'analyse régulière uniforme pour les opérateurs elliptiques périodiques à coefficients irréguliers, en introduisant des outils adaptés (mesures harmoniques à grande échelle, opérateurs de différence) qui contournent les limitations des méthodes classiques.