next up previous contents index
suivant: II.8.1.4 Construction des traces tangentielles des champs. monter: II.8.1 Approximation de type Galerkin. précédent: II.8.1.2 Construction des opérateurs du système linéaire.   Table des matières   Index


II.8.1.3 Résolution du système linéaire.

La solution approchée ${{\mathcal{X}}}_h$ est entièrement définie par

(II.8.10) \begin{displaymath}%
({{\mathcal{X}}}_h)_{\partial \Omega_k} = \sum_{l=1}^{L} {{\mathcal{X}}}_{kl} {{\mathcal{Z}}}_{kl} \ .
\end{displaymath}

où les LK coefficients complexes ${{\mathcal{X}}}_{kl}$ définissent le vecteur X solution du système linéaire discret
(II.8.11) \begin{displaymath}%
(D-C) X = b \ .
\end{displaymath}

Le formalisme présenté est strictement identique à celui de la résolution de la formulation discrète du problème de Helmholtz dans le vide. Le système est résolu par les mêmes étapes que nous rappelons.
  1. Inversion de D menant au système dans ${\mathbb{C}}^{LK}$:
    (II.8.12) \begin{displaymath}
(I-D^{-1}C) X = D^{-1}b \ .
\end{displaymath}

    Nous inversons D par la méthode directe de Cholesky, très performante sur les matrices hermitiennes de taille réduite, comme c'est le cas des blocs Dk.
  2. Calcul de M=D-1C et b'=D-1b que l'on note encore b, donnant le système dans ${\mathbb{C}}^{LK}$:
    (II.8.13) \begin{displaymath}
(I-M) X = b \ .
\end{displaymath}

  3. Résolution finale de II.8.13 grâce à l'algorithme itératif de Richardson présenté section I.2.3.2 par (I.2.39):
    (II.8.14) \begin{displaymath}%\label{equation.m3ddiscthinj.029}
\beta_n \in ]0,5;1[ \ \lef...
... + [(1-\beta_n) I + \beta_n M] X_{n} \ . \cr
\crcr}}\,
\right.
\end{displaymath}

La première étape est assurée par le lemme suivant:

Lemme 16   La matrice D construite à l'aide des fonctions de base ${{\mathcal{Z}}}_{kl}$ (définition 14) est hermitienne définie strictement positive. Elle est donc inversible.


\begin{proof}
% latex2html id marker 26861La matrice $D$\ est hermitienne d\'e...
...{{{\mathcal{Z}}}_{kl}\}_{1 \leq l \leq L}$\ forme une base de $V_h$.
\end{proof}


next up previous contents index
suivant: II.8.1.4 Construction des traces tangentielles des champs. monter: II.8.1 Approximation de type Galerkin. précédent: II.8.1.2 Construction des opérateurs du système linéaire.   Table des matières   Index
Cessenat Olivier 2007-04-21