Opérateur de décalage

Les opérateurs de décalage (en anglais : les Modèle:Lang) sont des opérateurs linéaires qui interviennent en analyse fonctionnelle, une branche des mathématiques.

Le plus souvent mentionné est l'opérateur de décalage unilatéral, un opérateur borné non normal particulier, sur un espace de Hilbert muni d'une base hilbertienne infinie dénombrable.

Définitions

Tout espace de Hilbert séparable de dimension infinie (sur K = ℝ ou ℂ) est de dimension hilbertienne dénombrable, c'est-à-dire qu'il est isomorphe à l'[[Espace de suites ℓp|espace ℓModèle:2(I)]] des suites de carré sommable à valeurs dans K, indexées par un ensemble I infini dénombrable, par exemple I = ℕ ou ℤ.

Le décalage unilatéral, ou shift unilatéral, ou simplement shift, est l'opérateur Modèle:Retrait

Le décalage bilatéral est l'opérateur Modèle:Retrait

Le shift unilatéral S est donc la restriction du shift bilatéral W à ℓModèle:2(ℕ), vu comme sous-espace de ℓModèle:2(ℤ) en complétant par des zéros toute suite indexée par ℕ pour la transformer en une suite indexée par ℤ.

Propriétés du décalage bilatéral

Le Modèle:Lang bilatéral W est un opérateur unitaire. Son spectre est le cercle unité tout entier. Aucune de ses valeurs spectrales n'est valeur propre.

Propriétés du décalage unilatéral

Le shift unilatéral S est une isométrie non surjective : son image est l'ensemble des suites de ℓModèle:2(ℕ) de premier terme nul.

Son adjoint est Modèle:Retrait donc S*S = [[Application identité|Modèle:Math]] tandis que SS* est la projection orthogonale sur l'image de S.

Tout opérateur unitaire est à distance 2 de SModèle:,.

Spectre

Le spectre de S est le disque unité fermé. Aucune valeur spectrale n'est valeur propre et l'ensemble des valeurs propres approchées est le cercle unité. L'ensemble des valeurs spectrales résiduelles est donc le disque ouvert.

Le spectre de S* est également le disque unité fermé et le cercle unité est encore l'ensemble des valeurs propres approchées mais cette fois, tout élément du disque ouvert est une valeur propre, le sous-espace propre associé à λ étant la droite vectorielle des suites géométriques de raison λ.

Opérateur de Fredholm

Le shift S est un opérateur de Fredholm (d'indice –1), autrement dit (cf. Théorème d'Atkinson) son image π(S) dans l'algèbre de Calkin est inversible. π(S) est même un unitaire de cette algèbre puisque Modèle:Math – S*S = 0 et Modèle:Math – SS* est de rang 1. Le spectre de π(S) est le cercle unité.

Décomposition de Wold

Soient H et HModèle:' deux espaces de Hilbert. Deux opérateurs T ∈ B(H) et TModèle:' ∈ B(HModèle:') sont dits unitairement équivalents s'il existe un opérateur unitaire U : HModèle:' → H tel que TModèle:' = U*TU. Cette notion permet de décrire toutes les isométries sur H : ce sont essentiellement les sommes directes d'un opérateur unitaire et de plusieurs copies de S. Plus précisément : Modèle:Énoncé Le sous-espace $G={\cap }_{n\in \mathbb{N}}{T}^n(H)$ peut être nul. L'autre cas extrême est celui où G = H, ou encore I = ∅, c'est-à-dire où T est unitaire.

La décomposition $G^{\mathrm{\perp }}={\oplus }_{i\in I}{H}_i$ n'est pas unique. On peut l'obtenir en choisissant une base hilbertienne $(e_i{)}_{i\in I}$ de $\ker (T^{*})$ et en prenant pour $H_i$ le sous-espace de base hibertienne $(T^n(e_i){)}_{n\in \mathbb{N}}$.

Représentation sur l'espace de Hardy

L'espace de Hardy Modèle:Math(𝔻) est un espace de Hilbert isomorphe à ℓModèle:2(ℕ), car il peut être vu comme un sous-espace de l'[[Espace L2|espace Modèle:Math]] du cercle unité, une base hilbertienne de ce sous-espace étant constituée des applications $e_n:z\mapsto z^n,n\in \mathbb{N}$. Via cet isomorphisme, le shift S est unitairement équivalent à l'opérateur de multiplication par Modèle:Math sur Modèle:Math(𝔻).

Voir aussi

Décalage de bit