Décomposition de Wold

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

La décomposition de Wold ou décomposition de Wold-von Neumann est un résultat d'analyse fonctionnelle décrivant les isométries d'un espace de Hilbert.

Définition — Soient H un espace de Hilbert et T:H → H une isométrie. On dit que T est un opérateur de décalage si, pour tout élément x de H, $T^{*n}x\to 0$ quand $n\to +\infty$ .

Théorème — Soient H un espace de Hilbert et T:H → H une isométrie. Il existe F et G deux sous-espaces de H, en somme directe et stables par T, tels que $T|_{F}$ est un opérateur de décalage et $T|_{G}$ est un opérateur unitaire.

Démonstration

Posons $G=\cap _{k\in \mathbb {N} }T^{k}H$ . Il s'agit d'un sous-espace fermé de $H$ stable par $T$ . Notons $P_{G}$ la projection orthogonale sur $G$ .

Lemme — Pour tout $x\in H$ , $T^{n}T^{*n}\to P_{G}x$ lorsque $n\to +\infty$ .

Démonstration du lemme

Pour tout $n$ , comme $T^{n}$ est une isométrie, $T^{n}T^{*n}$ est la projection orthogonale sur $T^{n}H$ .

Soit $x\in H$ quelconque. Pour tout $n$ , écrivons $x$ sous la forme $x=x_{n}+y_{n}$ , avec $x_{n}=T^{n}T^{*n}x$ la projection orthogonale de $x$ sur $T^{n}H$ . Pour tous $m,n$ avec $m>n$ , comme $T^{m}H\subset T^{n}H$ , $x_{m}$ est la projection orthogonale de $x_{n}$ sur $T^{m}H$ et, d'après la formule de Pythagore, $||x_{n}||^{2}-||x_{m}||^{2}=||x_{n}-x_{m}||^{2}$ . Cette relation entraîne que $(||x_{n}||)_{n\in \mathbb {N} }$ est une suite décroissante, donc convergente puisque positive. Elle permet de plus de montrer que $(x_{n})_{n\in \mathbb {N} }$ est une suite de Cauchy. Comme $H$ est complet, $(x_{n})_{n\in \mathbb {N} }$ converge vers un certain $X\in H$ .

Pour conclure, il suffit de montrer que $X$ est la projection orthogonale de $x$ sur $G$ . On remarque d'abord que $X\in G$ . En effet, pour tout $k\in \mathbb {N}$ , la suite $(x_{n})_{n\in \mathbb {N} }$ est dans $T^{k}H$ à partir au moins du rang $k$ , donc sa limite $X$ appartient également à $T^{k}H$ .

En outre, si $X'$ est un élément quelconque de $G$ , $\langle x-X,X'\rangle =\lim _{n\to +\infty }\langle x-x_{n},X'\rangle =\lim _{n\to +\infty }\langle y_{n},X'\rangle =0$ . En effet, pour tout $n$ , $y_{n}$ est orthogonal à $T^{n}H$ donc également à $G$ , qui est un sous-espace de $T^{n}H$ .

Notons, pour tout $j\in \mathbb {N}$ , $F_{j}$ le supplémentaire orthogonal de $T^{j+1}H$ dans $T^{j}H$ . Les $F_{j}$ sont des sous-espaces fermés de $H$ , orthogonaux deux à deux.

Puisque, pour tout $j$ , $T^{j}T^{*j}$ est la projection orthogonale sur $T^{j}H$ , la projection orthogonale sur $F_{j}$ , qu'on note $P_{F_{j}}$ , est égale à $T^{j}T^{*j}-T^{j+1}T^{*j+1}$ . Ainsi, pour tout $x\in H$ , lorsque $n\to +\infty$ , $\left(\sum _{j=0}^{n}P_{F_{j}}\right)x=\left(Id_{H}-T^{n+1}T^{*n+1}\right)x\to (Id_{H}-P_{G})x$ . Cette relation implique que, si on définit $F={\overline {F_{0}\oplus F_{1}\oplus \dots }}$ , on a $F\oplus G=H$ ; en outre, $F$ et $G$ sont orthogonaux.

L'espace $F_{0}\oplus F_{1}\oplus \dots$ est stable par $T$ , car $TF_{j}\subset F_{j+1}$ , donc son adhérence $F$ aussi.

Montrons que $T|_{F}$ est un décalage. Pour tout $x\in F$ , lorsque $n\to +\infty$ , $||T^{*n}x||^{2}=\langle x,T^{n}T^{*n}x\rangle \to \langle x,P_{G}x\rangle =0$ .

Montrons que $T|_{G}$ est un opérateur unitaire. Le lemme précédemment démontrer permet de montrer que $TP_{G}T^{*}=P_{G}$ . Le sous-espace $G$ est stable par $T^{*}$ , puisque son orthogonal $F$ est stable par $T$ . Comme $P_{G}$ est égal à l'identité sur $G$ , on obtient $T|_{G}T|_{G}^{*}=Id_{G}$ .

Version pour un nombre infini d'isométries

Définition — Soit $(H_{n})_{n\in \mathbb {Z} }$ une suite d'espaces de Hilbert. Soit, pour tout $n$ , $v_{n}:H_{n+1}\to H_{n}$ une isométrie. On dit que $(v_{n})_{n\in \mathbb {Z} }$ est une famille marquante s'il existe une suite $(L_{n})_{n\in \mathbb {Z} }$ d'espaces de Hilbert disjoints et des opérateurs unitaires $\Phi _{n}:H_{n}\to \oplus _{k=n}^{+\infty }L_{n}$ vérifiant, pour tout $n$ , la relation

\Phi _{n}v_{n}\Phi _{n+1}^{-1}:(x_{n+1},x_{n+2},\dots )\in \oplus _{k=n+1}^{+\infty }L_{n}\to (0,x_{n+1},x_{n+2},\dots )\in \oplus _{k=n}^{+\infty }L_{n}

.

Théorème — Soit $(H_{n})_{n\in \mathbb {Z} }$ une suite d'espaces de Hilbert. Soit, pour tout $n$ , $v_{n}:H_{n+1}\to H_{n}$ une isométrie. Il existe, pour tout $n$ , des sous-espaces de $H_{n}$ en somme directe, qu'on note $F_{n}$ et $G_{n}$ , tels que

$\forall n\in \mathbb {Z} ,v_{n}F_{n+1}\subset F_{n}$ ;
$\forall n\in \mathbb {Z} ,v_{n}G_{n+1}\subset G_{n}$ ;
la famille $(v_{n}|_{F_{n+1}\to F_{n}})_{n\in \mathbb {Z} }$ est marquante ;
$\forall n\in \mathbb {Z} ,v_{n}:G_{n+1}\to G_{n}$ est un opérateur unitaire.

Analyse des processus stationnaires

En statistiques, une version du théorème de Wold permet de décomposer tout processus faiblement stationnaire en la somme d'une partie « déterministe » et d'une partie « stochastique ».

Théorème — Soit $(X_{t})_{t\in \mathbb {Z} }$ un processus stationnaire au sens faible. Il existe une suite de nombres réels $(\alpha _{j})_{j\in \mathbb {N} }$ , des processus faiblement stationnaires $U$ et $W$ tels que

\forall t\in \mathbb {Z} ,X_{t}=\sum _{j\in \mathbb {Z} }\alpha _{j}U_{t-j}+W_{t}

,

et les propriétés suivantes sont vérifiées :

$\alpha _{0}=1,\sum _{j=0}^{+\infty }\alpha _{j}^{2}<+\infty$ ;
$\forall j,\mathbb {E} (U_{j})=0$ ;
$\forall j,j',\mathbb {E} (U_{j}U_{j'})=0$ si $j\neq j'$ ;
$\forall j,j',\mathbb {E} (U_{j}W_{j'})=0$ ;
le processus $W$ est déterministe, c'est-à-dire qu'il existe des réels $(\beta _{j}^{N})_{0<j\leq N\in \mathbb {N} }$ tels que, pour tout $t$ , $\mathbb {E} \left(W_{t}-(\beta _{1}^{N}W_{t-1}+\dots +\beta _{N}^{N}W_{t-N})\right)^{2}\to 0$ quand $N\to +\infty$ .

Décomposition de Wold

Version pour un nombre infini d'isométries

Analyse des processus stationnaires

Références

Voir aussi

Related Articles