Application quasi conforme

En mathématiques, une application quasi conforme est une fonction de deux variables réelles, dont les dérivées partielles satisfont une certaine inégalité qui étend la notion d'application conforme.

De telles applications jouent un rôle central dans la théorie de TeichmüllerEspace de Teichmüller et en dynamique holomorphe, notamment dans la démonstration du théorème de non-existence de composante errante (en) par Dennis Sullivan. Par suite, elles furent utilisées avec profit notamment par Adrien Douady, John H. Hubbard et Mitsuhiro Shishikura (en).

Définition analytique

La droite complexe ℂ et le plan réel ℝ² sont identifiés cannoniquement par : $\mathbb {C} \ni z=x+iy\mapsto (x,y)\in \mathbb {R} ^{2}$.

On définit deux opérateurs différentiels $\partial _{z}={\frac {1}{2}}(\partial _{x}-i\partial _{y})$ et $\partial _{\bar {z}}={\frac {1}{2}}(\partial _{x}+i\partial _{y})$, où $\partial _{x}$ (respectivement $\partial _{y}$) désigne la dérivation partielle par rapport à $x$ (respectivement $y$).

Définition —  Soient $U$ et $V$ deux ouverts de $\mathbb {C}$, $K\geq 1$ et $f:U\longrightarrow V$ un homémorphisme.

$f$ est dite K-quasi conforme (K-q.c) si :

• Les dérivées partielles de $f$ au sens des distributions $\partial _{x}f$ et $\partial _{y}f$ sont $L_{loc}^{2}$ (localement $L^{2}$).
• $\left|{\frac {\partial f}{\partial {\bar {z}}}}\right|\leq k\left|{\frac {\partial f}{\partial z}}\right|$

où $k={\frac {K-1}{K+1}}$.

On dit que $f$ est quasi conforme, si $f$ est K-qc pour un certain $K\geq 1$.

Si $K=1$, alors $f$ est conforme.