28.06.2013 Views

Contributions à l'étude de la classification spectrale et applications

Contributions à l'étude de la classification spectrale et applications

Contributions à l'étude de la classification spectrale et applications

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

54 C<strong>la</strong>ssification <strong>et</strong> éléments spectraux <strong>de</strong> <strong>la</strong> matrice affinité gaussienne<br />

Remarque 2.31. Pour <strong>la</strong> dimension <strong>de</strong> l’espace p ∈ {1, 2}, comme les fonctions vn,i sont solutions<br />

<strong>de</strong> (PL Ω ), elles appartiennent <strong>à</strong> H1 0 (Ω). Donc par le théorème 2.4, elles sont donc dans C0 (Ω) <strong>et</strong><br />

vérifient l’hypothèse du théorème 2.30. Mais comme vn,i vérifient ∆vn,i = λn,ivn,i ∈ L2 (Ω) alors par<br />

<strong>la</strong> proposition 2.13, on a ∂2 xα,xβvn,i ∈ L2 (Ω), d’où vn,i ∈ H2 (Ω), <strong>et</strong> ainsi vn,i ∈ C0 (Ω) si p < 4.<br />

Par une récurrence directe, en prenant s > p/4 entier, pour tout α ∈ Ns avec |α| ≤ 2s − 2, on a<br />

∆(∂ |α|<br />

xα1 ,..,xαs vn,i) = ∂ |α|<br />

xα1 ,..,xαs (λn,ivn,i) ∈ L2 (Ω) alors par <strong>la</strong> proposition 2.13, on a ∂ |α|<br />

xα1 ,..,xαs vn,i ∈<br />

H2s (Ω), <strong>et</strong> ainsi par le théorème 2.4, on a vn,i ∈ C0 (Ω). Donc, pour tout p, les vn,i satisfont les<br />

conditions <strong>de</strong> <strong>la</strong> proposition 2.30.<br />

Corol<strong>la</strong>ire 2.32. Soit u, v ∈ L 2 (O) alors, pour t > 0 :<br />

(u|v) L 2 (O) = (Πhu|Πhv) L 2 (Vh) + O(h 2 ). (2.24)<br />

Démonstration. Par linéarité du produit sca<strong>la</strong>ire, (Πhu|Πhv) L 2 (Vh) − (u|v) L 2 (O) = (Πhu − u, Πhv) −<br />

(u, v − Πhv) L 2 (O). D’après l’inégalité <strong>de</strong> Cauchy-Schwarz <strong>et</strong> l’équation (2.23), il vient |(Πhu −<br />

u, Πhv) L 2 (Vh)| ≤ Πhu−u L 2 (Vh)Πhv L 2 (Vh) ≤ CΠh Ch2 |u| H 2 (O)v L 2 (O). De <strong>la</strong> même façon, |(u, v−<br />

Πhv) L 2 (O)| ≤ CΠh Ch2 |v| H 2 (O)u L 2 (O). D’où le résultat en sommant les <strong>de</strong>ux termes.<br />

Un mail<strong>la</strong>ge régulier est défini comme suit.<br />

Définition 2.33 (Régu<strong>la</strong>rité <strong>et</strong> quasi-uniformité d’un mail<strong>la</strong>ge). Une famille <strong>de</strong> mail<strong>la</strong>ges (Th)h est<br />

régulière s’il existe une constante σ0 > 0 telle que :<br />

∀h, ∀K ∈ Th, σK = hK<br />

ρK<br />

≤ σ0, (2.25)<br />

où le diamètre du triangle K, noté hK = diam(K), est <strong>la</strong> longueur du plus grand côté <strong>de</strong> K, <strong>la</strong><br />

ron<strong>de</strong>ur ρK = sup{diam(B); B boule <strong>de</strong> R p , B ⊂ K} représente le diamètre <strong>de</strong> <strong>la</strong> boule inscrite <strong>de</strong><br />

K.<br />

Dans une triangu<strong>la</strong>tion isotrope, tous les triangles satisfont l’inégalité (2.25) c’est-<strong>à</strong>-dire une estimation<br />

uniforme.<br />

2.4.2 Interprétation <strong>de</strong>s éléments <strong>de</strong> <strong>la</strong> c<strong>la</strong>ssification <strong>spectrale</strong><br />

On se propose maintenant d’étudier en dimension finie <strong>la</strong> discrétisation <strong>de</strong>s résultats précé<strong>de</strong>nts.<br />

La théorie <strong>de</strong>s éléments finis perm<strong>et</strong> d’introduire l’ensemble <strong>de</strong> points S = {xi}i=1..N. En eff<strong>et</strong>, on<br />

considère que les noeuds du mail<strong>la</strong>ge Σ correspon<strong>de</strong>nt aux points <strong>de</strong> l’ensemble S ⊂ R p comme<br />

le montre <strong>la</strong> figure 2.7 . De plus, l’hypothèse <strong>de</strong> régu<strong>la</strong>rité du mail<strong>la</strong>ge correspond <strong>à</strong> l’hypothèse<br />

d’isotropie <strong>de</strong> <strong>la</strong> distribution <strong>de</strong>s points du chapitre 1 (1.2).<br />

D’après ces notations, le projection par Πh du noyau y ↦→ KH(t, x, y) est définie pour t > 0 par :<br />

Πh(KH(t, x, .))(y) =<br />

1<br />

(4πt) p<br />

2<br />

N<br />

i=1<br />

<br />

exp −<br />

x − xi 2<br />

4t<br />

<br />

φi(y), ∀y ∈ O.<br />

Alors le projection <strong>de</strong> l’opérateur solution ΠhSO H (t) est définie dans <strong>la</strong> proposition suivante :<br />

Proposition 2.34. On effectue les hypothèses <strong>de</strong> régu<strong>la</strong>rité suivantes du mail<strong>la</strong>ge :

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

Saved successfully!

Ooh no, something went wrong!