28.08.2014 Views

université de montréal développement de la méthode des ...

université de montréal développement de la méthode des ...

université de montréal développement de la méthode des ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

240<br />

ANNEXE VI<br />

LES MÉTHODES DE KRYLOV<br />

Cette annexe présente <strong>de</strong> manière succincte un panorama <strong>de</strong>s différentes métho<strong>de</strong>s<br />

que recouvre le dénominatif métho<strong>de</strong> <strong>de</strong> Krylov afin d’éc<strong>la</strong>irer le choix qui a été<br />

fait à <strong>la</strong> fois pour l’accélération <strong>de</strong> <strong>la</strong> boucle interne <strong>de</strong> MOC (c.f. § 3.2) mais aussi<br />

pour <strong>la</strong> résolution du système ACA (c.f. § 4.3). La structure <strong>de</strong> cette présentation<br />

emprunte celle <strong>de</strong> [Van Der Vorst & Sleijpen, 1998] et le contenu est basé sur les<br />

livres [Saad, 1996] et [Meurant, 1999].<br />

Dans cette annexe, on se p<strong>la</strong>ce dans <strong>de</strong>s espaces vectoriels <strong>de</strong> type R n munis du<br />

n∑<br />

produit sca<strong>la</strong>ire standard 〈⃗u = (u i ) i∈[1,n] |⃗v = (v i ) i∈[1,n] 〉 = u i v i et <strong>de</strong> <strong>la</strong> norme<br />

euclidienne induite.<br />

i=1<br />

VI.1<br />

Les métho<strong>de</strong>s <strong>de</strong> Ritz-Galerkin et <strong>de</strong> résidu minimum<br />

VI.1.1 Une base orthonormale <strong>de</strong> K m (⃗r (o) , A)<br />

Le point <strong>de</strong> départ <strong>de</strong> ces métho<strong>de</strong>s est <strong>la</strong> construction d’une base orthonormale <strong>de</strong><br />

l’espace K m (⃗r (o) , A). D’abord, on suppose que K m (⃗r (o) , A) est <strong>de</strong> dimension m. En<br />

effet, si l’on suppose que K m (⃗r (o) , A) n’est pas une famille libre, en supposant par<br />

ailleurs que K m−1 (⃗r (o) , A) est une famille libre, on a K m (⃗r (o) , A) = K m−1 (⃗r (o) , A) et<br />

par conséquent ⃗r (m−1) ∈ K m−1 (⃗r (o) , A). Comme ⃗r (m−1) ⊥ L m−1 , on a<br />

1. dans <strong>la</strong> cas <strong>de</strong>s métho<strong>de</strong>s <strong>de</strong> Ritz-Galerkin que L m−1 = K m−1 (⃗r (o) , A),<br />

2. dans <strong>la</strong> cas <strong>de</strong>s métho<strong>de</strong>s <strong>de</strong> résidu minimum que L m−1 = AK m−1 (⃗r (o) , A) =

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!