« Espaces de Banach/Exercices/Espaces de Hilbert » : différence entre les versions

Une page de Wikiversité, la communauté pédagogique libre.
Contenu supprimé Contenu ajouté
→‎Exercice 7-5 : +1 : (x_n) converge ssi \lim_{m,n\to\infty}\langle x_m,x_n\rangle existe
Ligne 98 : Ligne 98 :
#Corollaire des deux questions précédentes et du fait que pour tout <math>x\in\ker(\mathrm{id}-T)</math>, <math>T_n(x)=x</math>.
#Corollaire des deux questions précédentes et du fait que pour tout <math>x\in\ker(\mathrm{id}-T)</math>, <math>T_n(x)=x</math>.
#Il suffit d'appliquer ce qui précède à l'opérateur <math>T</math> sur <math>H</math> défini par <math>Tf(x)=f(x+\alpha)</math>, de norme <math>1</math> et tel que <math>\ker(\mathrm{id}-T)</math> est réduit aux fonctions constantes (par [[Série de Fourier|analyse de Fourier]]).
#Il suffit d'appliquer ce qui précède à l'opérateur <math>T</math> sur <math>H</math> défini par <math>Tf(x)=f(x+\alpha)</math>, de norme <math>1</math> et tel que <math>\ker(\mathrm{id}-T)</math> est réduit aux fonctions constantes (par [[Série de Fourier|analyse de Fourier]]).
}}

==Exercice 7-6==
Soit <math>H</math> un espace de Hilbert. Montrer qu'une suite <math>(x_n)</math> converge dans <math>H</math> si et seulement si <math>\lim_{m,n\to\infty}\langle x_m,x_n\rangle</math> existe.
{{Solution|contenu=
Si <math>\lim_{m,n\to\infty}\langle x_m,x_n\rangle=\ell</math> alors <math>\|x_m-x_n\|^2\to\ell-2\ell+\ell=0</math> donc la suite <math>(x_n)</math> est de Cauchy donc convergente dans <math>H</math>.

Réciproquement si <math>x_n\to x</math> dans <math>H</math>, <math>\langle x_n,x\rangle\to\|x\|^2</math> (car la différence est majorée en valeur absolue par <math>\|x\|\|x_n-x\|</math>), et de même <math>\langle x_m-x,x_n-x\rangle\to0</math>, d'où <math>\lim_{m,n\to\infty}\langle x_m,x_n\rangle=\lim_{m,n\to\infty}\left(\langle x,x_n\rangle+\langle x_m,x\rangle-\|x\|^2\right)=\|x\|^2</math>.
}}
}}



Version du 21 mai 2022 à 19:48

Espaces de Hilbert
Image logo représentative de la faculté
Exercices no7
Leçon : Espaces de Banach

Exercices de niveau 16.

Exo préc. :Théorèmes de Banach-Schauder et du graphe fermé
Exo suiv. :Sommaire
En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Espaces de Hilbert
Espaces de Banach/Exercices/Espaces de Hilbert
 », n'a pu être restituée correctement ci-dessus.



descriptif indisponible
Wikipedia-logo-v2.svg
Wikipédia possède un article à propos de « Espace de Hilbert ».

Exercice 7-1

Soient un espace de Hilbert et un opérateur normal sur , c.-à-d. .

  1. Montrer que .
  2. En déduire que est inversible si et seulement s'il existe une constante telle que : pour tout .

Exercice 7-2

Soient un espace de Hilbert et un opérateur positif, c.-à-d.[1] : pour tout , .

  1. Montrer, pour tous , et , que . En déduire que .
  2. En considérant , montrer que .
  3. En utilisant le théorème de Lax-Milgram, montrer que est bijectif pour tout .
  1. Ce qu'on appelle d'ordinaire opérateur positif, sur un Hilbert, est un opérateur qui, en plus de vérifier , est autoadjoint. Mais avec cette hypothèse supplémentaire, les questions 1 et 2 de l'exercice n'auraient plus d'intérêt (la question 1 de l'exercice 7-1 suffirait). Sur un Hilbert complexe, cette hypothèse supplémentaire est en fait redondante car un opérateur est autoadjoint si et seulement si . Mais sur , vérifie et n'est pas autoadjoint ni même normal.

Exercice 7-3

descriptif indisponible
Wikipedia-logo-v2.svg
Wikipédia possède un article à propos de « Espace de Sobolev ».

Notons l'ouvert (donc ). On définit son espace de Sobolev comme étant l'espace de Hilbert

(où est la dérivée de au sens des distributions), muni du produit scalaire

.
  1. Montrer que :
    •  ;
    • (« formule d'intégration par parties »).
  2. Montrer que par ailleurs, le sous-espace (espace des fonctions C à support compact) est dense dans .

Exercice 7-4

On reprend les notations de l'exercice précédent, et les résultats de la question 1.

  1. Montrer qu'il existe un opérateur sur tel que pour tous , .
  2. Montrer que est autoadjoint et de rang 1.
  3. Soit . On considère le problème suivant : trouver tel que
    En intégrant contre une fonction test , mettre le problème sous la forme variationnelle suivante :
    .
  4. En utilisant l'alternative de Fredholm, montrer qu'il admet une unique solution dans si et seulement si .

Exercice 7-5

descriptif indisponible
Wikipedia-logo-v2.svg
Wikipédia possède un article à propos de « Théorème ergodique de von Neumann ».

Soient un espace de Hilbert et un opérateur sur de norme ≤ 1. Pour , on note

.
  1. Soit tel que . Montrer que .
  2. Montrer que .
  3. En déduire que .
  4. Montrer que pour tout , puis pour tout .
  5. Soit la projection orthogonale sur . Montrer que pour tout , .
  6. Application. Soient et .
    Montrer que pour tout , dans , où est la fonction constante égale à .

Exercice 7-6

Soit un espace de Hilbert. Montrer qu'une suite converge dans si et seulement si existe.