Espaces de Banach/Exercices/Espaces de Hilbert
Modèle:Exercice Modèle:Wikipédia
Exercice 7-1
Soient un espace de Hilbert et un Modèle:W sur , c'est-à-dire .
- Montrer que .
- 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'est-à-dire[1] : pour tout , .
- Montrer, pour tous , et , que . En déduire que .
- En considérant , montrer que .
- En utilisant le Modèle:W, montrer que est bijectif pour tout .
Modèle:Solution Modèle:Références
Exercice 7-3
Modèle:Wikipédia 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
- .
- Montrer que :
- ;
- (« formule d'intégration par parties »).
- Montrer que par ailleurs, le sous-espace ([[w:Fonction C∞ à support compact|espace des fonctions CModèle:Exp à 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.
- Montrer qu'il existe un opérateur sur tel que pour tous , .
- Montrer que est autoadjoint et de rang 1.
- 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 :
. - En utilisant l'Modèle:W, montrer qu'il admet une unique solution dans si et seulement si .
Exercice 7-5
Modèle:Wikipédia Soient un espace de Hilbert et un opérateur sur de norme ≤ 1. Pour , on note
- .
- Soit tel que . Montrer que .
- Montrer que .
- En déduire que .
- Montrer que pour tout , puis pour tout .
- Soit la projection orthogonale sur . Montrer que pour tout , .
- 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. Modèle:Solution
- ↑ 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'[[../Espaces de Hilbert#Exercice 7-1|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.