Transformation de Cayley

En mathématiques, la transformation de Cayley (nommée d'après le mathématicien Arthur Cayley) possède différentes significations voisines. La définition originale est celle d'une application entre les matrices antisymétriques et les matrices de rotation. En analyse complexe, la transformation de Cayley est une application conforme envoyant le demi-plan complexe supérieur sur le disque unité. Enfin, dans la théorie des espaces de Hilbert, c'est une application entre opérateurs linéaires.

Motivation

La transformation de Möbius $t:x\mapsto {\frac {1-x}{1+x}}$ est une involution de $\mathbb {C} -\{-1\}$ (ou de la sphère de Riemann, en ajoutant les valeurs $t(-1)=\infty$ et $t(\infty )=-1$ ) ; on peut envisager de la généraliser à un anneau unitaire A, puisque si $b=i_{A}+a$ est inversible, son inverse commute avec $b$ , donc avec $2i_{A}-b=i_{A}-a$ ; le cas des matrices s'avère avoir une signification géométrique importante.

Transformation matricielle

Si A est une matrice carrée n×n (à coefficients réels ou complexes) telle que I + A soit inversible (où I désigne la matrice identité d'ordre n) — autrement dit : telle que –1 ne soit pas valeur propre de A — alors la matrice

A^{c}:={\frac {I-A}{I+A}}

c'est-à-dire A^c = (I – A)(I + A)⁻¹, ou encore A^c = (I + A)⁻¹(I – A), vérifie

(I+A^{c})(I+A)=2I

.

La transformation de Cayley, M ↦ M^c, est donc une involution de l'ensemble des matrices M telles que I + M soit inversible, c'est-à-dire que

Q=A^{c}\Leftrightarrow A=Q^{c}

.

Si A est une matrice réelle et antisymétrique (c'est-à-dire telle que A^T = −A), alors I + A est inversible et Q := A^c est une matrice orthogonale dont −1 n'est pas valeur propre, ce qui exclut les matrices orthogonales de déterminant –1 ainsi que certaines matrices de rotation. Réciproquement, si Q est une matrice orthogonale n'ayant pas −1 pour valeur propre, alors Q^c est une matrice antisymétrique dont −1 n'est pas valeur propre.

Plus généralement, si A est une matrice complexe antihermitienne alors I + A est inversible et Q := A^c est une matrice unitaire dont −1 n'est pas valeur propre, et réciproquement.

On rencontre parfois une forme légèrement différente, demandant deux applications distinctes, et n'utilisant pas la notation « c » en exposant :

Q={\frac {I+A}{I-A}},\quad A={\frac {Q-I}{Q+I}}

.

Exemples

On a ${\begin{pmatrix}0&-a&ab-c\\0&0&-b\\0&0&0\end{pmatrix}}\leftrightarrow {\begin{pmatrix}1&2a&2c\\0&1&2b\\0&0&1\end{pmatrix}}$ .
Dans le cas 2×2, on a ${\begin{pmatrix}0&\tan {\frac {\theta }{2}}\\-\tan {\frac {\theta }{2}}&0\end{pmatrix}}\leftrightarrow {\begin{pmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \end{pmatrix}}$ . La matrice de rotation d'un demi-tour, −I, est exclue, même si elle est obtenue comme limite lorsque tan ^θ⁄₂ tend vers l'infini.
Dans le cas 3×3, on a ${\begin{pmatrix}0&z&-y\\-z&0&x\\y&-x&0\end{pmatrix}}\leftrightarrow {\frac {1}{K}}{\begin{pmatrix}w^{2}+x^{2}-y^{2}-z^{2}&2(xy-wz)&2(wy+xz)\\2(xy+wz)&w^{2}-x^{2}+y^{2}-z^{2}&2(yz-wx)\\2(xz-wy)&2(wx+yz)&w^{2}-x^{2}-y^{2}+z^{2}\end{pmatrix}}$ ,où K = w² + x² + y² + z², et où w = 1. On reconnaît la matrice de rotation correspondant au quaternion $w+\mathbf {i} x+\mathbf {j} y+\mathbf {k} z$ (formule que Cayley avait publiée l'année précédente), si ce n'est qu'elle est normalisée pour que w = 1 au lieu de la condition usuelle w² + x² + y² + z² = 1. Ainsi, le vecteur (x,y,z) est le vecteur unitaire de l'axe de rotation multiplié par tan ^θ⁄₂. Les rotations d'un demi-tour sont à nouveau exclues ; dans ce cas, il s'agit des matrices Q qui sont symétriques.

Autres matrices

Lorsqu'on passe des matrices réelles aux matrices complexes, la transposition est remplacée par la transconjugaison (·^H). Cela revient à remplacer le produit scalaire réel standard par le produit scalaire complexe. En fait, on peut généraliser davantage en prenant d'autres choix de matrice adjointe ; la définition ne demande en effet que l'inversibilité de I + M.

Application conforme

En analyse complexe, la transformation de Cayley est une fonction du plan complexe sur lui-même, donnée par : $W\colon z\mapsto {\frac {z-\mathrm {i} }{z+\mathrm {i} }}.$ C'est une fonction homographique, qui peut être prolongée en un automorphisme de la sphère de Riemann (le plan complexe augmenté d'un point à l'infini). On remarquera en particulier que

W est une application conforme du demi-plan supérieur ouvert de C, $\lbrace z=x+\mathrm {i} y\mid y>0\rbrace$ sur le disque unité ouvert de C, $\lbrace z\mid |z|<1\rbrace$ .
W est une injection de la droite réelle dans le cercle unité T (les nombres complexes de module 1) ; l'image de R est T privé de 1.
W est une bijection de la demi-droite des imaginaires i [0, ∞[ sur l'intervalle semi-ouvert [−1, +1[.
W envoie 0 sur −1, −1 vers i, le point à l'infini vers 1 et −i vers le point à l'infini (W possède un pôle simple en −i)
W laisse invariant ¹⁄₂(−1 + √3)(−1 + i) et ¹⁄₂(1 + √3)(1 − i).

La fonction réciproque de la transformation de Cayley peut s'écrire (en dehors des points à l'infini) sous la forme $W^{-1}\colon z\mapsto \mathrm {i} {\frac {1+z}{1-z}}$ .

Application entre opérateurs

En dimension infinie, les espaces euclidiens sont remplacés par des espaces de Hilbert, et on ne peut plus parler de matrices. Cependant, il reste possible de généraliser la transformation de Cayley aux opérateurs linéaires :

{\begin{aligned}U&{}=(A-\mathbf {i} I)(A+\mathbf {i} I)^{-1}\\A&{}=\mathbf {i} (I+U)(I-U)^{-1}\end{aligned}}

, où le domaine de U, dom U, est (A+iI) dom A. L'article endomorphisme autoadjoint donne plus de détails.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Cayley transform » (voir la liste des auteurs).

↑ L'ordre des facteurs n'importe pas. En effet, l'inverse de B := I + A commute avec B donc avec 2I – B = I – A.
↑ Pour la construction de tels endomorphismes utilisant la transformation de Cayley, se référer à l'article correspondant de la wikipédia anglophone(en).

Voir aussi

Bibliographie

Arthur Cayley, « Sur quelques propriétés des déterminants gauches », Journal für die Reine und Angewandte Mathematik (Crelle's Journal),, vol. 32,‎ 1846, p. 119–123 (ISSN 0075-4102, lire en ligne)
(en) Richard Courant et David Hilbert, Methods of Mathematical Physics, vol. 1, New York, Wiley-Interscience, 1989, 1st English éd. (ISBN 978-0-471-50447-4)
(en) Gene H. Golub et Charles F. Van Loan, Matrix Computations, Baltimore, Johns Hopkins University Press, 1996, 3^e éd. (ISBN 978-0-8018-5414-9)
(en) N. K. Nikol’skii, Encyclopaedia of Mathematics, Springer-Verlag, 2001 (ISBN 978-1-4020-0609-8)

Articles connexes

Transformation bilinéaire

Portail des mathématiques

[1] L'ordre des facteurs n'importe pas. En effet, l'inverse de B := I + A commute avec B donc avec 2I – B = I – A.

[2] Pour la construction de tels endomorphismes utilisant la transformation de Cayley, se référer à l'article correspondant de la wikipédia anglophone(en).