Méthode de Jacobi

La méthode de Jacobi, due au mathématicien allemand Karl Jacobi, est une méthode itérative de résolution d'un système matriciel de la forme $Ax = b$ . Pour cela, on utilise une suite $x (k)$ qui converge vers un point fixe $x$ , solution du système d'équations linéaires.

Principe de construction

On cherche à construire[1], pour $x (0)$ donné, la suite $x (k + 1) = F (x (k))$ avec $k\in \mathbb {N}$ .

$A = M - N$ où $M$ est une matrice inversible.

{\begin{matrix}Ax=b\Leftrightarrow Mx=Nx+b\Leftrightarrow &x&=&M^{-1}Nx+M^{-1}b\\&&=&F(x)\end{matrix}}

où $F$ est une fonction affine. La matrice $B = M -1 N$ est alors appelée matrice de Jacobi.

Cependant, l'algorithme qui suit n'est valable que si la matrice $A$ est à diagonale strictement dominante sur les lignes (si la matrice $M$ est diagonale, sinon se référer à la section convergence).

Algorithme

$\left\{{\begin{array}{l}x^{(0)}\;{\mbox{connu}}\\x^{(k+1)}=Bx^{(k)}+M^{-1}b\end{array}}\right.$

Erreur et convergence

Si $x$ est solution de $Ax = b$ alors il vérifie

x=Bx+M^{-1}b

.

Soit $e (k)$ le vecteur erreur

e^{(k+1)}=x^{(k+2)}-x^{(k+1)}=B(x^{(k+1)}-x^{(k)})=Be^{(k)}

ce qui donne

e^{(k+1)}=Be^{(k)}=B^{k+1}e^{(0)}

.

L'algorithme converge si $\lim _{k\to \infty }\|e^{(k)}\|=0\Longleftrightarrow \lim _{k\to \infty }\|B^{k}\|=0$ (c-à-d. $B k$ tend vers la matrice nulle).

Théorème — Une condition nécessaire et suffisante pour que $\lim _{k\to \infty }\|B^{k}\|=0$ est[1] que le rayon spectral (plus grande valeur propre en module) de $B$ soit strictement inférieur à 1.

Théorème — La méthode converge quel que soit $x (0)$ pour les systèmes linéaires dont la matrice est à diagonale strictement dominante[2].

Méthode de Jacobi

On décompose la matrice $A$ de la façon suivante : $A = D - E - F$ avec $D$ la matrice diagonale de $A$ , $- E$ la matrice triangulaire inférieure de $A$ de diagonale nulle et $- F$ la matrice triangulaire supérieure de diagonale nulle. Dans la méthode de Jacobi, on choisit $M = D$ et $N = E + F$ (dans la méthode de Gauss-Seidel[1], $M = D - E$ et $N = F$ ).

x^{(k+1)}=D^{-1}(E+F)x^{(k)}+D^{-1}b

x_{i}^{(k+1)}=\cdots x_{i}^{(k)}+{\frac {b_{i}}{a_{ii}}}

avec

pour la ligne i de $D -1 (E + F)$ : $-\left({\frac {a_{i,1}}{a_{i,i}}},\cdots ,{\frac {a_{i,i-1}}{a_{i,i}}},0,{\frac {a_{i,i+1}}{a_{i,i}}},\cdots ,{\frac {a_{i,n}}{a_{i,i}}}\right)$

x_{i}^{(k+1)}=-{\frac {1}{a_{ii}}}\sum _{j=1 \atop j\neq i}^{n}a_{ij}x_{j}^{(k)}+{\frac {b_{i}}{a_{ii}}}

Vecteur résidu

Soit $r^{(k)}=De^{(k)}$ le vecteur résidu. On peut écrire $x_{i}^{(k+1)}={\frac {r_{i}^{(k)}}{a_{i,i}}}+x_{i}^{(k)}$ avec $r (k) i$ que l'on calcule de la manière suivante :

r_{l}^{(k+1)}=-\sum _{j=1 \atop j\neq l}^{n}a_{l,j}{\frac {r_{j}^{(k)}}{a_{l,l}}}

.

Test d'arrêt

Pour le test d'arrêt, on utilise l'erreur relative sur le vecteur résidu, ce qui donne, pour une précision donnée $ε$ :

{\frac {\|r^{(k)}\|}{\|b\|}}<\varepsilon

Coût

Cette méthode a un coût de l'ordre de $3 n 2 +2 n$ par itération. Elle converge moins vite que la méthode de Gauss-Seidel, mais est très facilement parallélisable.

Applications

En 1932, l'ingénieur américain Hardy Cross a publié un article[3] décrivant une méthode itérative de calcul des efforts dans les charpentes, qu'il appela « méthode de redistribution des moments », et qui est essentiellement une application de la méthode de Jacobi aux matrices de raideur de la résistance des matériaux. Par son interprétation mécanique intuitive, elle exerça une profonde influence à l'époque où se construisaient les gratte-ciels[4]^,[5]. Au mois de novembre 1936, Cross étendit son application à la résolution des réseaux d'adduction d'eau et des circuits électriques[6]. L'avènement des calculateurs électroniques a relégué cette technique au rang de curiosité académique, de même que la méthode de relaxation de Southwell, qui en est une généralisation ; elle conserve néanmoins un intérêt didactique pour l'étude de la statique.

Voir aussi

Articles connexes

Notes

Philippe Ciarlet, Introduction à l’analyse numérique matricielle et à l’optimisation, Masson, coll. « Math. Appl. pour la Maîtrise », 1985 (réimpr. 2001) (ISBN 2-225-68893-1), « 5. Méthodes de Jacobi, de Gauss-Seidel, de relaxation, théor. 5.1.1 »
Patrick Lascaux et Raymond Théodor, Analyse numérique matricielle appliquée à l'art de l'ingénieur, vol. 2 : Méthodes itératives, p. 346
(en) « Analysis of Continuous Frames by Distributing Fixed-End Moments », Transactions of the American Society of Civil Engineers, vol. 96, n^o 1,‎ 1932 (DOI 10.1061/TACEAT.0004333)
Serge Zaytzeff, Calcul des constructions hyperstatiques par les méthodes de relaxation, Paris, Dunod, 1952 (réimpr. 1953, 1957), 330 p., « V. Cas des portiques étagés soumis aux déplacements latéraux », p. 63
(en) Leonard K. Eaton, « Hardy Cross and "The Moment Distribution Method" », Nexus Network Journal,‎ été 2001 (lire en ligne)
(en) Hardy Cross, « Analysis of flow in networks of conduits or conductors », University of Illinois Bulletin,‎ 13 novembre 1936 (lire en ligne).

Liens externes

(fr) Méthode de Jacobi

Portail de l'analyse

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[Ciarlet-1] Philippe Ciarlet, Introduction à l’analyse numérique matricielle et à l’optimisation, Masson, coll. « Math. Appl. pour la Maîtrise », 1985 (réimpr. 2001) (ISBN 2-225-68893-1), « 5. Méthodes de Jacobi, de Gauss-Seidel, de relaxation, théor. 5.1.1 »

[2] Patrick Lascaux et Raymond Théodor, Analyse numérique matricielle appliquée à l'art de l'ingénieur, vol. 2 : Méthodes itératives, p. 346

[3] (en) « Analysis of Continuous Frames by Distributing Fixed-End Moments », Transactions of the American Society of Civil Engineers, vol. 96, n^o 1,‎ 1932 (DOI 10.1061/TACEAT.0004333)

[Zaytzeff-4] Serge Zaytzeff, Calcul des constructions hyperstatiques par les méthodes de relaxation, Paris, Dunod, 1952 (réimpr. 1953, 1957), 330 p., « V. Cas des portiques étagés soumis aux déplacements latéraux », p. 63

[MDM-5] (en) Leonard K. Eaton, « Hardy Cross and "The Moment Distribution Method" », Nexus Network Journal,‎ été 2001 (lire en ligne)

[HCross-6] (en) Hardy Cross, « Analysis of flow in networks of conduits or conductors », University of Illinois Bulletin,‎ 13 novembre 1936 (lire en ligne).