Bourbaki

Exercice 19, § 2

Étiquette 0302, permanente. À citer comme [Bourbaki, Tag 0302].

Théories spectrales, IV, p. 325

Soient X⊂RX\subset \mathbf{R} une partie compacte de R\mathbf{R} et μ\mu une mesure positive sur X, et soit uu l’endomorphisme de multiplication par la fonction identique de X.

On note E=L2(X,μ)E = L^2(X, \mu) et on note Ls(E)\mathscr{L}_s(E) l’espace des endomorphismes de E muni de la topologie de la convergence simple.

Soit ε>0\varepsilon >0. Soit r>0r >0 tel que X⊂]−r,r[X\subset ]-r, r[, et soit ℓ⩾1\ell \geqslant 1 tel que r2−ℓ<εr2^{-\ell}< \varepsilon. Pour tout entier n∈Nn\in \mathbf{N} et tous entier jj tel que ∣j∣⩽2n+ℓ|j|\leqslant 2^{n+\ell}, soit

Xn,j=X∩]rj2n+ℓ,r(j+1)2n+ℓ] X_{n,j}= X\cap ]\frac{rj}{2^{n+\ell}},\frac{r(j + 1)}{2^{n+\ell}}]

a) Pour tout entier n∈Nn\in \mathbf{N}, la famille Xn=(Xn,j)j\mathscr{X}_n= (X_{n,j})_j est une partition finie de X ; les ensembles Xn,jX_{n,j} sont mesurables et de diamètre ⩽r2−n−ℓ\leqslant r2^{-n-\ell}. Pour tout n∈Nn\in \mathbf{N}, la partition Xn+1\mathscr{X}_{n+1} est plus fine que la partition Xn\mathscr{X}_n. On peut donc appliquer à (Xn)(\mathscr{X}_n) les résultats de l’exercice précédent, dont on reprend les notations, en particulier les espaces EnE_n et FnF_n et les orthoprojecteurs pnp_n et qnq_n. Les espaces EnE_n sont de dimension finie.

b) La série

v=∑n∈Nqnuqn v=\sum_{n\in\mathbf{N}}q_nuq_n

converge dans l’espace Ls(E)\mathscr{L}_s(E); il existe une base orthonormale B de E telle que v∈DB(E)v\in \mathscr{D}_B(E).

c) L’endomorphisme w=v−uw=v-u est compact. (Considérer les endomorphismes unu_n de multiplication par les fonctions gn∈Eng_n\in E_n telles que, pour tous entier jj tel que ∣j∣⩽2n+ℓ|j|\leqslant 2^{n+\ell}, et pour tout x∈Xn,jx\in X_{n,j}, on a gn(x)=rj2−n−ℓg_n(x) =rj2^{-n-\ell}; vérifier alors que ∥u−un∥⩽r2−n−ℓ\|u-u_n\|\leqslant r2^{-n-\ell}, et que unpn=pnun.u_np_n=p_nu_n.)

Solution

Aucune solution n’a encore été écrite.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.