Transformation conforme - Définition

Introduction

En mathématiques, et plus précisément en géométrie et en analyse complexe, une transformation conforme est une transformation qui conserve les angles.

Une France conforme, et... anticonforme

Cas du plan

Une transformation conforme dans le plan est une transformation d'un domaine du plan dans un plan, cette transformation conservant les angles entre deux courbes orientées. Autrement dit, c'est localement une similitude directe.

Si la transformation fait correspondre un point M à un point m, elle peut s'interpréter dans le plan complexe comme une relation Z = f(z) entre les affixes de ces deux points. Lorsque la fonction f est analytique, la transformation est conforme. Cette remarque a été utilisée, en particulier pour calculer simplement des écoulements autour d'un profil d'aile, en utilisant une transformation qui fait passer d'un cercle au profil voulu.

Les transformations qui inversent les angles sont dites anticonformes ; ce sont les composées des précédentes par les réflexions.

Exemples holomorphes

Aux coordonnées cartésiennes (x,y) d'un point du plan, on préfère la notation du plan complexe. En effet, on peut non seulement ajouter les vecteurs (ou points) du plan mais également les multiplier. La multiplication par un nombre réel r correspond à une homothétie, celle par un nombre unitaire e^iθ à une rotation d'angle θ et celle par un nombre complexe quelconque correspond à une similitude. Les similitudes sont clairement des transformations conformes.

Une fonction holomorphe (ou analytique) est localement une similitude avec a = f'(z₀) la dérivée et b = f(z₀) la valeur de f en z₀. La dérivée est le facteur de zoom de cette transformation. Elle est donc une transformation conforme là où sa dérivée ne s'annule pas. Aux zéros de la dérivée, l'application n'est pas conforme et ressemble localement à un monôme:

Les monômes sont les fonctions holomorphes les plus simples, après les similitudes qui sont de dérivée constante. Un problème pour les représenter est qu'une fonction holomorphe n'est en général pas injective: Pour le monôme z^k par exemple k points différents sont envoyés sur la même valeur à part 0 où la dérivée est nulle et où l'application n'est pas conforme car les angles en 0 sont multipliés par k. On dit qu'il est de multiplicité k.

Si on considère le plan pavé par l'image d'une horloge, sa mise au carré sera:

Le disque central est envoyé sur lui-même mais chaque point (sauf zéro) est recouvert deux fois, ce qui rend l'image illisible. Par exemple +1 (à 3h) et -1 (à 9h) sont envoyés sur +1 (à droite de l'image au milieu), +i (midi) et -i (6h) sont envoyés sur -1 (9h).

Une somme de monômes est un polynôme. Son monôme de plus haut degré détermine son degré: Chaque point complexe est atteint le même nombre de fois (en comptant les multiplicités).

Pour avoir une application injective, on peut se restreindre par exemple soit au demi-plan de parties réelles positives soit à l'autre demi-plan des parties réelles négatives

En prenant de la distance, le même effet opère sur le plan entier.

Le demi-plan de partie réelle négative au carré.

Horloge au carré: application conforme mais non injective.

Le demi-plan de partie réelle positive au carré.

Tiré en arrière

On peut plutôt considérer non pas l'image directe par une application mais plutôt l'image réciproque (aussi appelée par anglicisme le tiré en arrière):

On place l'image non pas dans l'espace de départ mais plutôt dans l'espace d'arrivée et on colore le point z par la couleur du pixel f(z).

Remarquez la duplication: les points z et -z sont envoyés tous deux sur la même image z².

De même, le monôme d'ordre k envoie k points à la même image.

On comprend de nombreuses informations concernant l'application conforme en visualisant le tiré en arrière d'une image. Comme le facteur de zoom de l'image directe est la dérivée de la fonction, c'est donc son inverse en ce qui concerne l'image réciproque. On remarque en particulier les zéros de la dérivée où le facteur de zoom devient donc infini. On remarque également quand la dérivée est réelle positive, là où l'image ne subit qu'une dilatation, et quand la dérivée est réelle négative, là où l'image est "la tête en bas".

Inversion, pôles

Après les fonctions holomorphes dont on visualise la dérivée, on comprend également, dans le cadre plus général des fonctions méromorphes, la position et l'ordre des pôles.

L'inversion possède un pôle simple en zéro. C'est une transformation de Möbius avec a, b, c et d quatre complexes tels que et elle envoie cercles et droites sur cercles et droites. En particulier les horizontales et verticales deviennent des cercles passant par zéro. L'inversion échange l'intérieur et l'extérieur du disque unité.

Comme les zéros, les pôles peuvent ne pas être simples mais d'ordre plus élevé. À part les cercles centrés en la singularité (et encore si elle est unique), les autres cercles ne sont plus conservés qu'au niveau infinitésimal. On peut voir un pôle double comme la limite quand deux pôles simples se rapprochent.

Logarithme et exponentielle

Une application très importante en analyse complexe et en cartographie est la transformation de coordonnées cartésiennes (x,y) en coordonnées polaires (r,θ). Cette transformation est réalisée par le couple de fonctions logarithme/exponentielle réciproques l'une de l'autre (log(exp(z)) = z). En effet, transforme (r,θ) en (x=log(r), y=θ) et transforme (x,y) en (r=exp(x),θ=y). En images, le logarithme déroule les cercles centrés en l'origine en droites verticales et des rayons en droites horizontales. L'exponentielle au contraire, enroule les droites verticales en cercles concentriques et les droites horizontales en rayons passant par l'origine. Remarquez que le logarithme va vers l'infini en zéro mais beaucoup plus lentement que l'inversion.

En changeant le pas du réseau, on obtient des variation en spirales du plus bel effet. Comme les pôles et les zéros, on peut les ajouter.

Singularité essentielle

Les fonctions analytiques souffrent encore d'autres types de singularités. La singularité essentielle par exemple est nulle pour z = 0 ⁻ , avec accumulation de zéros, et indéterminée pour z = 0 ⁺ avec accumulation de pôles.

Rayon de convergence

Les fonctions méromorphes sont développables en série entière. Leur série de Taylor admet un rayon de convergence. La comparaison des tirés en arrière de la fonction et de sa série de Taylor, tronquée à un certain ordre, permet de comprendre visuellement cette notion:

La fonction tangente a un pôle simple tous les kπ/2. Elle a une singularité essentielle en l'infini.

Sa série de Taylor en 0 à l'ordre 7 en est une bonne approximation dans son disque de convergence.