Convergence faible (espace de Hilbert)

En mathématiques, la convergence faible dans un espace de Hilbert est la convergence d'une suite de points dans la topologie faible.

Définition

Une suite de points $(x_n)$ dans un espace de Hilbert H converge faiblement vers un point Modèle:Mvar dans H si

$⟨x_n,y⟩\to ⟨x,y⟩$

pour tout Modèle:Mvar dans H, $⟨\cdot ,\cdot ⟩$ désignant le produit scalaire de l'espace de Hilbert.

La notation

$x_n\rightharpoonup x$

est parfois utilisée pour désigner ce type de convergence.

Exemples

Convergence faible des suites orthonormales

Considérons une suite $(e_n)$ orthonormée, c'est-à-dire

$⟨e_n,e_m⟩=$ [[Symbole de Kronecker|Modèle:Mvar]]

Si cette suite est infinie, alors elle converge faiblement vers zéro. Modèle:Démonstration

Lemme de Riemann-Lebesgue

Les 3 premières fonctions de la suite $f_n(x)=\sin (nx)$ sur $[0,2\pi ]$. Quand $n\to \mathrm{\infty }$, $f_n$ converge faiblement vers $f=0$.

L'espace de Hilbert $L^2[0,2\pi ]$ est l'espace des fonctions de carré intégrable sur l'intervalle $[0,2\pi ]$ muni du produit scalaire défini par

$⟨f,g⟩=\underset{0}{\overset{2\pi }{\int }}f(x)\overline{g(x)}\mathrm{d}x$

(voir [[Espace L2|espace LModèle:2]]). La suite de fonctions $(f_n{)}_{n\in \mathbb{N}}$ définie par

$f_n(x)={\mathrm{e}}^{\mathrm{i}nx}$

converge faiblement vers la fonction nulle dans $L^2[0,2\pi ]$, puisque pour toute fonction $g\in L^2[0,2\pi ]$, l'intégrale

$⟨f_n,g⟩=\underset{0}{\overset{2\pi }{\int }}{\mathrm{e}}^{\mathrm{i}nx}\overline{g(x)}\mathrm{d}x$

tend vers $⟨0,g⟩=0$ quand $n$ tend vers l'infini : c'est un cas particulier à la fois de l'exemple précédent et du lemme de Riemann-Lebesgue.

On peut remarquer que $f_n$ ne converge pas vers 0 en norme $\Vert \cdot {\Vert }_{\mathrm{\infty }}$ ou $\Vert \cdot {\Vert }_2$. Cette non-convergence est l'une des raisons pour lesquelles ce type de convergence est considéré comme « faible ».

Propriétés

• Si une suite converge fortement, elle converge également faiblement.
• Dans un espace de Hilbert (comme dans tout espace réflexif) les boules fermées sont faiblement compactes, donc toute suite bornée possède une sous-suite faiblement convergente. Notez que les ensembles fermés et bornés ne sont généralement pas faiblement compacts dans les espaces de Hilbert (par exemple, l'ensemble constitué d'une suite orthonormée comme ci-dessus est fermé et borné mais pas faiblement compact car il ne contient pas 0). Cependant, les ensembles bornés et faiblement fermés sont faiblement compacts, de sorte que chaque ensemble fermé convexe borné est faiblement compact.
• Comme dans tout e.v.n., toute suite faiblement convergente est bornée.
• La norme est (séquentiellement) faiblement semi-continue inférieurement : si $x_n$ converge faiblement vers Modèle:Mvar, alors

  $\Vert x\Vert \le \underset{n\to \mathrm{\infty }}{\mathrm{lim\; inf}}\Vert x_n\Vert ,$

  et cette inégalité est stricte chaque fois que la convergence n'est pas forte. Par exemple, toute suite orthonormale infinie converge faiblement vers zéro Modèle:Supra.

• Si $x_n$ converge faiblement vers $x$ et si l'hypothèse supplémentaire $\Vert x_n\Vert \to \Vert x\Vert$ est vérifiée, alors $x_n$ converge vers $x$ fortement car

  $⟨x-x_n,x-x_n⟩=⟨x,x⟩+⟨x_n,x_n⟩-⟨x_n,x⟩-⟨x,x_n⟩\to 0$.

• Sur un espace de Hilbert de dimension finie, c'est-à-dire un espace euclidien ou hermitien, les topologies faible et forte coïncident.
• Les espaces de Hilbert possèdent la propriété de Banach-Saks : pour toute suite bornée $(x_n)$, il existe une sous-suite $(x_{n_k})$ dont la suite des moyennes de Cesàro converge fortement.

Généralisation

La définition de convergence faible peut être étendue aux espaces de Banach. Une suite de points $(x_n)$ dans un espace de Banach B est dite faiblement convergente vers un point Modèle:Mvar dans B si

$f(x_n)\to f(x)$

pour toute forme linéaire continue $f$ sur $B$ c'est-à-dire pour tout $f$ dans le dual topologique $B^{\prime }$.

Dans le cas où $B$ est un espace de Hilbert, grâce au théorème de représentation de Riesz, il existe un $y$ dans $B$ tel que

$f(\cdot )=⟨\cdot ,y⟩$,

ce qui permet de retrouver la définition de la convergence faible sur un espace de Hilbert. Modèle:Portail