Lipschitz regularity of harmonic quasiconformal maps between Lyapunov domains in $\mathbb{R}^n$

Résumé technique : Régularité de Lipschitz des applications quasiconformes harmoniques entre domaines de Lyapunov

Énoncé du problème
L'article traite de la régularité des applications quasiconformes harmoniques (HQC) entre des domaines bornés dans $\mathbb{R}^n$. Plus précisément, il examine si une homéomorphisme $K$-quasiconforme harmonique préservant l'orientation $f: D \to \Omega$ est globalement lipschitzien lorsque le domaine source $D$ et le domaine cible $\Omega$ sont des domaines de Lyapunov (équivalemment, des domaines bornés de classe $C^{1,\alpha}$ avec $\alpha \in (0, 1]$).

Alors que des travaux antérieurs (spécifiquement [11]) avaient établi la continuité de Lipschitz lorsque le domaine source était la boule unité $B^n$ et que la cible possédait un bord de classe $C^{1,\alpha}$, le cas général où le domaine source $D$ est un domaine $C^{1,\alpha}$ arbitraire restait ouvert. Les auteurs visent à étendre ce résultat à des domaines sources et cibles $C^{1,\alpha}$ arbitraires.

Méthodologie
La preuve repose sur un schéma d'itération aux limites qui convertit la continuité de Hölder initiale de la trace au bord en une régularité supérieure, aboutissant finalement à un gradient borné jusqu'au bord. La méthodologie procède à travers les étapes suivantes :

1. Continuité de Hölder globale : Les auteurs établissent d'abord que $f$ est globalement $\beta$-Hölder continue pour un certain $\beta \in (0, 1)$. Ceci est dérivé du fait que les domaines $C^{1,\alpha}$ bornés sont des domaines uniformes (et donc des domaines de John), permettant l'application de théorèmes existants concernant les applications entre domaines uniformes et domaines de John.
2. Estimations du gradient entre le bord et l'intérieur : L'outil analytique central est une estimation localisée près d'un point du bord $x_0 \in \partial D$.
   • Lemme 3.1 : Si la trace au bord d'une fonction harmonique $u$ satisfait une condition de Hölder $\mu$ ($0 < \mu < 1$) en $x_0$, alors le gradient $|\nabla u(x)|$ le long du rayon normal entrant décroît comme $t^{\mu-1}$, où $t$ est la distance au bord.
   • Lemme 3.2 : Si l'exposant de Hölder $\mu > 1$, l'estimation du gradient devient uniforme (bornée) près du bord.
   • Ces lemmes utilisent des estimations de la mesure harmonique dans les domaines $C^{1,\alpha}$, l'aplatissement du bord en un graphe, et l'application d'estimations de Lipschitz classiques au bord.
3. Amélioration de l'exposant via la quasiconformité :
   • Les auteurs effectuent une rotation du système de coordonnées en un point du bord $q = f(\xi)$ de sorte que le bord de la cible $\partial \Omega$ soit localement représenté par un graphe $C^{1,\alpha}$ $y_n = \Phi(y')$.
   • La composante normale de l'application, $f_n$, est contrainte par la géométrie du bord : $f_n(\eta) = \Phi(\tilde{f}(\eta))$. Puisque $\Phi$ est de classe $C^{1,\alpha}$ et que les composantes tangentielles sont de classe $\beta$-Hölder, la composante normale gagne en régularité, satisfaisant une condition de Hölder avec un exposant $\beta_1 = (1+\alpha)\beta$.
   • La quasiconformité est ensuite utilisée pour propager ce contrôle de la composante normale vers le différentiel complet $|Df|$. Spécifiquement, la plus petite valeur singulière du différentiel contrôle la norme complète, et l'estimation du gradient au bord pour la composante normale fournit le bornage nécessaire.
4. Itération : L'exposant de Hölder amélioré $\beta_1$ est réinjecté dans l'estimation du gradient. En itérant ce processus ($\beta_{m+1} = (1+\alpha)\beta_m$), l'exposant finit par dépasser 1. Une fois que $\beta_m > 1$, le Lemme 3.2 s'applique, produisant une borne uniforme sur $|Df|$ dans un voisinage de collier du bord.
5. Globalisation : Les bornes locales près du bord sont combinées avec les estimations de gradient à l'intérieur standards (valables puisque $f$ est harmonique et lisse à l'intérieur) pour établir une borne globale sur $|Df|$.

Contributions principales et résultats

• Théorème principal (Théorème 2.1) : Les auteurs prouvent que si $D$ et $\Omega$ sont des domaines bornés de classe $C^{1,\alpha}$ dans $\mathbb{R}^n$ ($\alpha \in (0, 1)$), alors toute homéomorphisme $K$-quasiconforme harmonique $f: D \to \Omega$ est globalement lipschitzienne.
• Extension des travaux antérieurs : Ce résultat généralise les conclusions de [11], en supprimant la restriction imposant que le domaine source soit la boule unité.
• Cadre technique : Le papier fournit un « schéma d'itération aux limites » détaillé qui lie explicitement la régularité $C^{1,\alpha}$ du bord au gain des exposants de Hölder de la composante normale, et par la suite, à la bornitude du gradient complet.
• Estimations auxiliaires : Le papier établit des estimations quantitatives précises (Lemmes 3.1 et 3.2) reliant le contrôle de Hölder au bord aux bornes du gradient à l'intérieur pour les fonctions harmoniques dans les domaines $C^{1,\alpha}$, en distinguant les cas $\mu < 1$ et $\mu > 1$.

Signification et affirmations
Le papier affirme résoudre la question de la régularité des applications HQC entre des domaines de Lyapunov arbitraires. La signification réside dans :

• Suppression des contraintes géométriques : En permettant au domaine source d'être un domaine $C^{1,\alpha}$ arbitraire plutôt que seulement la boule unité, le résultat s'applique à une classe beaucoup plus large de configurations géométriques.
• Approche unifiée : L'argument synthétise des outils de l'analyse harmonique (mesure harmonique, estimations au bord) et de la géométrie quasiconforme (distorsion des différentielles, valeurs singulières) pour propager la régularité du bord vers l'intérieur.
• Modestie de la portée : Les auteurs présentent leur travail comme une amélioration de [11] sous la seule hypothèse de bords $C^{1,\alpha}$ pour la source. Ils ne prétendent pas résoudre le problème pour des domaines moins réguliers (par exemple, des domaines de Lipschitz sans la régularité $C^{1,\alpha}$) ou fournir des constantes bi-lipschitziennes, se concentrant strictement sur la propriété de Lipschitz globale.

Le papier conclut en notant que dans le cas plan, des résultats similaires ont été obtenus précédemment via une réduction à la disque unité et la théorie des applications conformes, mais la preuve en dimension supérieure présentée ici repose sur le schéma d'itération intrinsèque décrit ci-dessus.