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
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 :