Racine carrée d'une matrice

En mathématiques, la notion de racine carrée d'une matrice particularise aux anneaux de matrices carrées la notion générale de racine carrée dans un anneau.

Définition

Soient un entier naturel n non nul et M une matrice carrée d'ordre n à coefficients dans un anneau A. Un élément R de MModèle:Ind(A) est une racine carrée de M si RModèle:2 = M.

Une matrice donnée peut n'admettre aucune racine carrée, comme un nombre fini voire infini de racine carrées.

Exemples

Dans MModèle:Ind(ℝ) :

• $\left(\begin{array}{cc}1& -4\\ 0& 2\end{array}\right)$ est une racine carrée de $\left(\begin{array}{cc}1& -12\\ 0& 4\end{array}\right);$
• pour tout réel Modèle:Math, la matrice $\left(\begin{array}{cc}1& x\\ 0& -1\end{array}\right)$ est une racine carrée de $\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right);$
• $M=\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)$ n'a pas de racine carrée réelle R, car cela imposerait $0\le (\det (R){)}^2=\det (R^2)=\det (M)=-1$ (mais elle en a dans MModèle:Ind(ℂ)).

Dans MModèle:Ind(ℂ), la matrice $M=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)$ n'a pas de racine carrée, parce qu'elle est non nulle mais de carré nul (on dit qu'elle est nilpotente d'indice 2). En effet, une racine carrée R serait aussi nilpotente (de puissance Modèle:4e), or toute matrice nilpotente de taille 2 est de carré nul. On aurait donc Modèle:Nobr, ce qui n'est pas le cas.

De manière plus générale, si M admet une forme de Jordan

$M=P^{-1}\left(\begin{array}{ccccc}{J}_{k_1}({\lambda }_1)& & & & \\ & J_{k_2}({\lambda }_2)& & \mathrm{𝟎}& \\ & & \ddots & & \\ & \mathrm{𝟎}& & \ddots & \\ & & & & J_{k_r}({\lambda }_r)\end{array}\right)P,\text{avec}{J}_k(\lambda )=\left(\begin{array}{cccccc}\lambda & 1& & & & \\ & \lambda & 1& & \mathrm{𝟎}& \\ & & \ddots & \ddots & & \\ & & & \ddots & \ddots & \\ & \mathrm{𝟎}& & & \lambda & 1\\ & & & & & \lambda \end{array}\right).$

où les scalaires Modèle:Math sont les valeurs propres de M, alors toute matrice de la forme

$M=P^{-1}\left(\begin{array}{ccccc}{Q}_{k_1}({\lambda }_1)& & & & \\ & Q_{k_2}({\lambda }_2)& & \mathrm{𝟎}& \\ & & \ddots & & \\ & \mathrm{𝟎}& & \ddots & \\ & & & & Q_{k_r}({\lambda }_r)\end{array}\right)P,\text{avec}{Q}_k(\lambda )=\left(\begin{array}{cccccc}f(\lambda )& f^{\prime }(\lambda )& \dots & \dots & \dots & \frac{f^{(k-1)}(\lambda )}{(k-1)!}\\ & f(\lambda )& f^{\prime }(\lambda )& \ddots & \ddots & ⋮\\ & & \ddots & \ddots & \ddots & ⋮\\ & & & \ddots & \ddots & ⋮\\ & \mathrm{𝟎}& & & f(\lambda )& f^{\prime }(\lambda )\\ & & & & & f(\lambda )\end{array}\right).$

avec Modèle:Mvar étant la fonction racine carrée sur une des branches est une racine carrée de M.

Inverse

Si R est une racine carrée de M alors R est inversible si et seulement si M l'est.

Si une matrice est inversible, les racines carrées de son inverse sont les inverses de ses racines carrées.

Matrice positive

Toute matrice symétrique à coefficients réels est diagonalisable via une matrice de passage orthogonale, et elle est positive si et seulement si ses valeurs propres sont des réels positifs ou nuls. Par ailleurs, si une matrice S est diagonalisable alors son carré a mêmes sous-espaces propres (associés aux carrés des valeurs propres de S). Par conséquent, parmi les racines carrées d'une matrice symétrique positive M, une et une seule est symétrique positive : la matrice S qui a mêmes sous-espaces propres que M et dont les valeurs propres associées sont les racines carrées respectives de celles de M. De plus, lorsque M est définie positive, S l'est aussi.

Pour les matrices à coefficients complexes, la situation est la même en remplaçant « symétrique » par « hermitienne » et « orthogonale » par « unitaire » .

Algorithme de calcul

Le calcul d'une racine carrée d'une matrice A peut s'effectuer par convergence d'une suite de matrices.

Algorithme de Newton

On cherche une matrice X telle que Modèle:Nobr. En considérant une matrice XModèle:Ind qui approche X par Modèle:Nobr. On en déduit un schéma itératif pour le calcul de la racine carrée d'une matrice A sous la forme d'une équation de Sylvester :

$\begin{array}{cc}{X}_k{E}_k+E_k{X}_k& =A-X_k^2,\\ X_{k+1}& =X_k+E_k.\end{array}$

On peut simplifier en une équation, qui rappelle le schéma de la méthode de Newton :

$X_{k+1}=X_k+\frac{1}{2}(A-X_k^2)X_k^{-1},$

mais cette forme peut induire des problèmes de stabilité.

Algorithme de calcul de Denman-Beavers

Soit Modèle:Nobr et Modèle:Nobr où I est la matrice identité. Chaque itération repose sur :

$\begin{array}{cc}{Y}_{k+1}& =\frac{1}{2}(Y_k+Z_k^{-1}),\\ Z_{k+1}& =\frac{1}{2}(Z_k+Y_k^{-1}).\end{array}$

La convergence n'est pas garantie (même si A possède une racine carrée) mais si elle a lieu alors la suite YModèle:Ind converge de façon quadratique vers A^1/2, tandis que la suite ZModèle:Ind converge vers son inverse, Modèle:Nobr Modèle:,.

Racine carrée d'un opérateur positif

En Modèle:Lien, un opérateur borné P sur un espace de Hilbert complexe est Modèle:Lien si et seulement s'il existe (au moins) un opérateur borné T tel que P = T* T, où T* désigne l'adjoint de T. En fait, si P est positif, il existe même un unique opérateur Q positif (donc autoadjoint) tel que P = QModèle:2. Cet opérateur Q, obtenu par calcul fonctionnel continu, est appelé la racine carrée de P et appartient au bicommutant de P.

Articles connexes

• Exponentielle d'une matrice
• Décomposition polaire
• Racine carrée fonctionnelle