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.

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

En outre, c<strong>et</strong>te fonction u est donnée par :<br />

∞<br />

u(t, x) =<br />

n=0<br />

(f|vn) H 1 0 e −λnt vn(x), pour tout t > 0, x ∈ Ω (2.5)<br />

où les vn sont les fonctions vérifiant (PL Ω ) <strong>et</strong> les séries sont convergentes sur H1 0 (Ω).La fonction u<br />

est appelée solution du problème <strong>de</strong> <strong>la</strong> chaleur sur Ω avec une donnée initiale f <strong>et</strong> <strong>de</strong>s conditions <strong>de</strong><br />

Dirichl<strong>et</strong>.<br />

Démonstration. L’opérateur <strong>de</strong> Lap<strong>la</strong>ce −∆ est injectif, compact, autoadjoint positif sur H 1 0 (Ω)<br />

d’après <strong>la</strong> proposition 2.11. Donc d’après le théorème 2.9 <strong>de</strong> Hille-Yosida, il existe une unique<br />

fonction u <strong>à</strong> valeurs dans H1 0 (Ω) telle que :<br />

<br />

∂tu − ∆u = 0 sur R + × Ω,<br />

u(t = 0) = f, sur Ω.<br />

Soit u(t, x) définie par (2.5). Alors comme les vn vérifient (P L Ω<br />

−∆u(x, t) = −<br />

∞<br />

n=0<br />

(f|vn) H 1 0 e −tλn ∆vn(x) =<br />

De plus, <strong>la</strong> dérivée partielle par rapport <strong>à</strong> t est égale <strong>à</strong> :<br />

∞<br />

∂tu(t, x) = −<br />

n=0<br />

∞<br />

n=0<br />

) on a :<br />

(f|vn) H 1 0 λne −tλn vn(x)<br />

(f|vn) H 1 0 e −tλn λnvn(x).<br />

En sommant les <strong>de</strong>ux termes, on obtient : (∂t − ∆)u(x, t) = 0 <strong>et</strong> u(t = 0) = f. C’est donc <strong>la</strong><br />

solution.<br />

Proposition 2.17. Soit l’opérateur solution <strong>à</strong> valeurs dans H2 (Ω) ∩ H1 0 (Ω) associé au problème<br />

(PD Ω ) défini, pour f ∈ L2 (Ω), par :<br />

S Ω <br />

D(t)f(x) =<br />

où K Ω D est le noyau <strong>de</strong> Green du problème (PD Ω<br />

Ω<br />

KD(t, x, y)f(y)dy, x ∈ R p ,<br />

vn vérifiant (P L Ω ) sont fonctions propres <strong>de</strong> l’opérateur SΩ D<br />

n > 0,<br />

). Alors les fonctions propres <strong>de</strong> l’opérateur <strong>de</strong> Lap<strong>la</strong>ce<br />

(t) c’est-<strong>à</strong>-dire : pour tout i ∈ {1, .., k} <strong>et</strong><br />

S Ω D(t)vn,i = e −λn,it vn,i. (2.6)<br />

Démonstration. Soit vm vérifiant (PL Ω ) les fonctions propres <strong>de</strong> l’opérateur <strong>de</strong> Lap<strong>la</strong>ce, pour tout<br />

m > 0. D’après l’unicité <strong>de</strong> solution (proposition 2.16), on a : SΩ Dvm = ∞ n=0 (vm|vn) H1e 0 −tλnvn(x). Or, d’après <strong>la</strong> proposition 2.14, les (vn)n décrivent une base Hilbertienne normée <strong>de</strong> H1 0 (Ω) donc :<br />

pour tout m > 0,<br />

S Ω D(t)vm = e −tλm vm(x).<br />

Donc les fonctions propres (vn)n <strong>de</strong> l’opérateur −∆ sont fonctions propres <strong>de</strong> (P D Ω ).<br />

Dans <strong>la</strong> suite, on note KΩ D le noyau <strong>de</strong> Green du problème (PD Ω ). Les fonctions propres <strong>de</strong> l’opérateur<br />

SΩ D (t) <strong>et</strong> celles <strong>de</strong> l’opérateur <strong>de</strong> Lap<strong>la</strong>ce ∆ sont les mêmes. Ainsi, si vn est une fonction<br />

propre <strong>de</strong> (P L Ω ) associée <strong>à</strong> <strong>la</strong> valeur propre λn alors vn est aussi fonction propre <strong>de</strong> S Ω D<br />

(t) associée <strong>à</strong><br />

<strong>la</strong> valeur propre exp −tλn dans le sens que S Ω D (t)vn(x) = e −tλn vn(x). Alors <strong>la</strong> propriété géométrique<br />

sur les fonctions propres est préservée, i.e le support <strong>de</strong>s fonctions propres peut être définie sur une<br />

seule composante connexe Ωi, pour i ∈ {1, .., k}.

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

Saved successfully!

Ooh no, something went wrong!