Espaces de Banach/Exercices/Espaces de Hilbert

Exercice 7-1

Soient $H$ un espace de Hilbert et $T$ un opérateur normal sur $H$, c.-à-d. $TT^{*}=T^{*}T$.

1. Montrer que $\ker T=\ker T^{*}=(\operatorname {im} T)^{\bot }$.
2. En déduire que $T$ est inversible si et seulement s'il existe une constante $C$ telle que : $\|Tx\|\geq C\|x\|$ pour tout $x\in H$.

Solution

Cette solution n'a pas été rédigée. Vous pouvez le faire en modifiant le paramètre « contenu » du modèle. ^{Comment faire ?}

 

Exercice 7-2

Soient $H$ un espace de Hilbert et $T$ un opérateur positif, c.-à-d. : pour tout $x\in H$, $\langle Tx,x\rangle \geq 0$.

1. Montrer, pour tous $x\in \ker T$, $y\in H$ et $t\in \mathbb {R}$, que $t\langle Ty,ty-x\rangle \geq 0$. En déduire que $\ker T\subset (\operatorname {im} T)^{\bot }$.
2. En considérant $T^{*}$, montrer que $\ker T=(\operatorname {im} T)^{\bot }$.
3. En utilisant le théorème de Lax-Milgram, montrer que $\mathrm {I} +tT$ est bijectif pour tout $t>0$.

Solution

Cette solution n'a pas été rédigée. Vous pouvez le faire en modifiant le paramètre « contenu » du modèle. ^{Comment faire ?}

 

Exercice 7-3

On rappelle que l'espace de Sobolev $H^{1}(\mathbb {R} _{+})$ est le complété de l'espace préhilbertien ${\mathcal {D}}(\mathbb {R} _{+})$ (espace des fonctions C^∞ à support compact) muni du produit scalaire $\langle u,v\rangle =\langle u,v\rangle _{2}+\langle u',v'\rangle _{2}$.

1. Montrer qu'il existe un opérateur $K$ sur $H^{1}(\mathbb {R} _{+})$ tel que pour tous $u,v\in H^{1}(\mathbb {R} _{+})$, $\langle Ku,v\rangle =u(0)v(0)$.
2. Montrer que $K$ est autoadjoint et de rang 1.
3. Soit $f\in \mathrm {L} ^{2}(\mathbb {R} _{+})$. On considère le problème suivant : trouver $u$ tel que ${\begin{cases}-u''+u=f\\u'(0)+\alpha u(0)=0.\end{cases}}$
   En intégrant contre une fonction test $v\in {\mathcal {D}}(\mathbb {R} _{+})$, mettre le problème sous la forme variationnelle suivante :
   $\int _{\mathbb {R} _{+}}(u'v'+uv)-\alpha u(0)v(0)=\int _{\mathbb {R} _{+}}fv$.
4. En utilisant l'alternative de Fredholm, montrer qu'il admet une unique solution $u$ dans $H^{1}(\mathbb {R} _{+})$ si et seulement si $\alpha \neq 1$.

Solution

Cette solution n'a pas été rédigée. Vous pouvez le faire en modifiant le paramètre « contenu » du modèle. ^{Comment faire ?}