Métrique de Poincaré

Métrique de Poincaré

En mathématiques, et plus précisément en géométrie différentielle, la métrique de Poincaré, due à Henri Poincaré, est le tenseur métrique décrivant une surface de courbure négative constante. C'est la métrique naturelle utilisée pour des calculs en géométrie hyperbolique ou sur des surfaces de Riemann.

Deux représentations équivalentes sont le plus souvent utilisées en géométrie hyperbolique à deux dimensions : le modèle du demi-plan de Poincaré, munissant d'une métrique hyperbolique le demi-plan (complexe) supérieur, le disque de Poincaré, modèle défini sur le disque unité: (le disque et le demi-plan sont isométriques par une transformation conforme, et leurs isométries sont données par des transformations de Mobius). Par ailleurs, le disque épointé, muni d'une métrique hyperbolique induit par la fonction exponentielle q = exp(iπτ) dur le demi-plan est un exemple d'ouvert non simplement connexe (une couronne en l'occurrence) portant une métrique hyperbolique.

Sommaire

Métriques sur une surface de Riemann

Une métrique sur le plan complexe peut généralement s'exprimer sous la forme :

ds^2=\lambda^2(z,\overline{z})\, dz\,d\overline{z}

où λ est une fonction réelle positive de z et \overline{z}. La longueur de la courbe γ dans le plan complexe (pour cette métrique) est alors donné par :l(\gamma)=\int_\gamma \lambda(z,\overline{z})\, |dz|

L'aire d'un sous-ensemble du plan complexe (suffisamment régulier) est donné par :

\text{Aire }(M)=\int_M \lambda^2 (z,\overline{z})\,\frac{i}{2}\,dz \wedge d\overline{z},

où \wedge est le produit extérieur (définissant en général la forme volume). Le déterminant de la métrique est égal à λ4, sa racine carrée est donc λ2. L'aire élémentaire déterminée par la métrique est dx\wedge dy et donc

dz \wedge d\overline{z}=(dx+i\,dy)\wedge (dx-i \, dy)= -2i\,dx\wedge dy.

Une fonction \Phi(z,\overline{z}) est dite potentiel métrique si

4\frac{\partial}{\partial z} \frac{\partial}{\partial \overline{z}} \Phi(z,\overline{z})=\lambda^2(z,\overline{z}).

L'opérateur de Laplace-Beltrami est donné par :

\Delta = \frac{4}{\lambda^2} \frac {\partial}{\partial z} \frac {\partial}{\partial \overline{z}} = \frac{1}{\lambda^2} \left( \frac {\partial^2}{\partial x^2} + \frac {\partial^2}{\partial y^2} \right).

La courbure gaussienne de la métrique est donnée par

K=-\Delta \log \lambda.\,

Cette courbure est la moitié de la courbure scalaire de Ricci.

Les isométries conservent les angles et les longueurs d'arcs. Sur une surface de Riemann, les isométries sont équivalentes à un changement de coordonnées ; ainsi, l'opérateur de Laplace-Beltrami et les courbures sont tous invariants par isométrie. Ainsi, par exemple, si S est une surface de Riemann de métrique \lambda^2(z,\overline{z})\, dz \, d\overline{z} et T est une surface de Riemann de métrique \mu^2(w,\overline{w})\, dw\,d\overline{w}, alors la transformation :

f:S\to T\,

avec f = w(z) est une isométrie si et seulement si elle est conforme et si

\mu^2(w,\overline{w}) \; \frac {\partial w}{\partial z} \frac {\partial \overline {w}} {\partial \overline {z}} = \lambda^2 (z, \overline {z}) .

Ici, demander que la transformation soit conforme revient à exiger :

w(z,\overline{z})=w(z),

c'est-à-dire,

\frac{\partial}{\partial \overline{z}} w(z) = 0.

Métrique et aire élémentaire dans le plan de Poincaré

Le tenseur métrique de Poincaré dans le demi-plan de Poincaré, demi-plan supérieur \mathbb{H} correspondant aux complexes de partie imaginaire positive, est donné par

ds^2=\frac{dx^2+dy^2}{y^2}=\frac{dz \, d\overline{z}}{y^2}

en posant dz=dx+i\,dy. Ce tenseur métrique est invariant sous l'action de SL(2,R). Autrement dit, notant

z'=x'+iy'=\frac{az+b}{cz+d}

avec ad − bc = 1, il s'avère que

x'=\frac{ac(x^2+y^2)+x(ad+bc)+bd}{|cz+d|^2}

et

y'=\frac{y}{|cz+d|^2}.

Les éléments infinitésimaux se transforment ainsi :

dz'=\frac{dz}{(cz+d)^2}

et donc

dz'd\overline{z}' = \frac{dz\,d\overline{z}}{|cz+d|^4}

ce qui montre l'invariance du tenseur métrique sous l'action du groupe SL(2,R). L'élément d'aire invariant est donné par

d\mu=\frac{dx\,dy}{y^2}.

La métrique est

\rho(z_1,z_2)=2\tanh^{-1}\frac{|z_1-z_2|}{|z_1-\overline{z_2}|}
\rho(z_1,z_2)=\log\frac{|z_1-\overline{z_2}|+|z_1-z_2|}{|z_1-\overline{z_2}|-|z_1-z_2|}

pour z_1,z_2 \in \mathbb{H}. Une autre forme intéressante de la métrique fait intervenir le birapport. Étant donnés quatre points z1, z2, z3 et z4 sur la sphère de Riemann Erreur math (La conversion en PNG a échoué ; vérifiez l’installation de latex et dvipng (ou dvips + gs + convert)): \hat \mathbb{C} = \mathbb{C} \cup \infty

(le plan complexe auquel on ajoute un point à l'infini), le birapport de ces points est défini par
(z_1,z_2; z_3,z_4) = \frac{(z_1-z_2)(z_3-z_4)}{(z_2-z_3)(z_4-z_1)}.

La métrique peut alors s'écrire

\rho(z_1,z_2)= \ln (z_1,z_2^\times ; z_2, z_1^\times).

Ici, z_1^\times et z_2^\times sont les extrémités (sur l'axe des réels) de la géodésique reliant z1 et z2, numérotés de telle sorte que z1 soit situé entre z_1^\times et z2.

Les géodésiques pour cette métrique sont les arcs de cercles perpendiculaires à l'axe des réels, c'est-à-dire des demi-cercles centrés sur cet axe, et les demi-droites perpendiculaires à cet axe.

Application conforme du demi-plan vers le disque

Le demi-plan supérieur est en bijection conforme avec le disque unité par l'intermédiaire de la transformation de Möbius

w=e^{i\phi}\frac{z-z_0}{z-\overline {z_0}}

où w est le point du disque unité correspondant au point z du demi-plan. La constante z0 peut être n'importe quel point du demi-plan, qui sera envoyé sur le centre du disque. L'axe des réels \Im z =0 a pour image le cercle unité | w | = 1. (à l'exception du point 1, image du point à l'infini). La constante réelle ϕ correspond à une rotation du disque.

L'application canonique

w=\frac{iz+1}{z+i}

(voir l'article Transformation de Cayley) envoie i sur l'origine (le centre du disque), et 0 sur le point -i.

Métrique et aire élémentaire dans le disque de Poincaré

Le tenseur métrique de Poincaré dans le disque de Poincaré est donné sur le disque unité ouvert U=\{z=x+iy:|z|=\sqrt{x^2+y^2} < 1 \} par

ds^2=4\frac{dx^2+dy^2}{(1-(x^2+y^2))^2}=4\frac{dz\,d\overline{z}}{(1-|z|^2)^2}.

L'élément d'aire est donné par

d\mu=\frac{4dx\,dy}{(1-(x^2+y^2))^2}=\frac{4dx\,dy}{(1-|z|^2)^2},

et la distance entre deux points z_1,z_2 \in U par

\rho(z_1,z_2)=2\tanh^{-1}\left|\frac{z_1-z_2}{1-z_1\overline{z_2}}\right|.

Les géodésiques sont des arcs de cercles orthogonaux (en leurs extrémités) au cercle unité frontière du disque.

Le disque épointé

J-invariant dans les coordonnées du disque épointé.
J-invariant dans les coordonnées du disque de Poincaré ; on remarquera que ce disque st tourné de 90° par rapport aux coordonnées canoniques données dans le corps de l'article

Une application importante définie sur le demi-plan est l'application appliquant le demi-plan \mathbb{H} sur le disque épointé {z:0 < | z | < 1} via la fonction exponentielle

q = exp(iπτ).

Dans la théorie des fonctions elliptiques et de la fonction modulaire, la variable q est le nome (en) et τ le demi-rapport des périodes.

La métrique de Poincaré du demi-plan induit une métrique sur le q-disque

ds^2=\frac{4}{|q|^2 (\log |q|^2)^2} dq \, d\overline{q},

dont le potentiel est

\Phi(q,\overline{q})=4 \log \log |q|^{-2}.

Lemme de Schwarz

La métrique de Poincaré est une application contractante sur les fonctions harmoniques. Ce résultat est une généralisation du lemme de Schwarz, appelée le théorème de Schwarz-Alhfors-Pick (en).

Références

  • (en) Hershel M. Farkas et Irwin Kra, Riemann Surfaces (1980), Springer-Verlag, New York. ISBN 0-387-90465-4.
  • (en) Jurgen Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. ISBN 3-540-43299-X (Voir section 2.3).
  • (en) Svetlana Katok, Fuchsian Groups (1992), University of Chicago Press, Chicago ISBN 0-226-42583-5 (Une introduction simple et lisible.)

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Métrique de Poincaré de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • MÉTRIQUE — La métrique est l’étude des régularités systématiques qui caractérisent la poésie littéraire versifiée, qu’il s’agisse des formes de vers (mètre ), de groupes de vers (strophe ) ou de poèmes entiers (forme fixe ). Son domaine peut s’étendre à des …   Encyclopédie Universelle

  • Disque de Poincaré — Exemple de droites en représentation conforme …   Wikipédia en Français

  • Disque De Poincaré — Exemple de droites en représentation conforme …   Wikipédia en Français

  • Disque de Poincare — Disque de Poincaré Exemple de droites en représentation conforme …   Wikipédia en Français

  • Disque de poincaré — Exemple de droites en représentation conforme …   Wikipédia en Français

  • Demi-plan De Poincaré — Le demi plan de Poincaré est un sous ensemble des nombres complexes. Il a permis au mathématicien français Henri Poincaré d éclairer les travaux du Russe Nicolaï Lobatchevski. Sommaire 1 Le demi plan de Poincaré (1882) 1.1 Géométrie …   Wikipédia en Français

  • Demi-plan de Poincare — Demi plan de Poincaré Le demi plan de Poincaré est un sous ensemble des nombres complexes. Il a permis au mathématicien français Henri Poincaré d éclairer les travaux du Russe Nicolaï Lobatchevski. Sommaire 1 Le demi plan de Poincaré (1882) 1.1… …   Wikipédia en Français

  • Demi-plan de poincaré — Le demi plan de Poincaré est un sous ensemble des nombres complexes. Il a permis au mathématicien français Henri Poincaré d éclairer les travaux du Russe Nicolaï Lobatchevski. Sommaire 1 Le demi plan de Poincaré (1882) 1.1 Géométrie …   Wikipédia en Français

  • Demi-plan de Poincaré — Le demi plan de Poincaré est un sous ensemble des nombres complexes. Il a permis au mathématicien français Henri Poincaré d éclairer les travaux du Russe Nikolaï Lobatchevski. Sommaire 1 Le demi plan de Poincaré (1882) 1.1 Géométrie 1.1.1 …   Wikipédia en Français

  • Groupe de Poincaré (transformations) — Pour les articles homonymes, voir Groupe de Poincaré. La Symétrie de Poincaré ou groupe de Poincaré est l ensemble des symétries pour la relativité restreinte et inclut les translations (c est à dire les déplacements) dans le temps et l espace… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”