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

Navigation interactive dans l’historique

← Modification précédente Modification suivante →

Contenu supprimé Contenu ajouté

Intégrés

Version du 19 octobre 2021 à 20:46

**Espaces de Hilbert**
Leçon : Espaces de Banach

Exercices n^o7

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.

Wikipedia-logo-v2.svg

Wikipédia possède un article à propos de « Espace de Hilbert ».

Exercice 7-1

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

Montrer que $\ker T=\ker T^{*}=(\operatorname {im} T)^{\bot }$ .
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

- $\ker T=\ker T^{*}$ , c.-à-d. $Tx=0\Leftrightarrow T^{*}x=0$ , car $\|T^{*}x\|^{2}=\|Tx\|^{2}$ et même, $\langle T^{*}x,T^{*}y\rangle =\langle x,TT^{*}y\rangle =\langle x,T^{*}Ty\rangle =\langle Tx,Ty\rangle$ .
- $\ker T^{*}=(\operatorname {im} T)^{\bot }$ car $x\in (\operatorname {im} T)^{\bot }\Leftrightarrow \forall y\in H\quad \langle Ty,x\rangle =0\Leftrightarrow \forall y\in H\quad \langle y,T^{*}x\rangle =0\Leftrightarrow T^{*}x=0$ .
Si $\|Tx\|\geq C\|x\|$ pour tout $x\in H$ alors $\ker T=\{0\}$ (donc $\operatorname {im} T$ est dense d'après la question 1), et $T^{-1}:\operatorname {im} T\to H$ est (bi)continue, donc $\operatorname {im} T$ est complet, si bien que $\operatorname {im} T=H$ .
Réciproquement, si $T$ est inversible alors $T^{-1}:H\to H$ continue (d'après le théorème de l'isomorphisme de Banach), d'où l'existence d'une constante $C$ telle que $\|Tx\|\geq C\|x\|$ pour tout $x\in H$ .

Exercice 7-2

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

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 }$ .
En considérant $T^{*}$ , montrer que $\ker T=(\operatorname {im} T)^{\bot }$ .
En utilisant le théorème de Lax-Milgram, montrer que $\mathrm {I} +tT$ est bijectif pour tout $t\geq 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 ?}

↑ Ce qu'on appelle d'ordinaire opérateur positif, sur un Hilbert, est un opérateur $T$ qui, en plus de vérifier $\forall x~\langle Tx,x\rangle \geq 0$ , 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 $T$ est autoadjoint si et seulement si $\forall x~\langle Tx,x\rangle \in \mathbb {R}$ . Mais sur $\mathbb {R} ^{2}$ , $T:(x_{1},x_{2})\mapsto (x_{1}+x_{2},x_{2})$ vérifie $\forall x~\langle Tx,x\rangle \geq 0$ et n'est pas autoadjoint ni même normal.

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}$ .

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)$ .
Montrer que $K$ est autoadjoint et de rang 1.
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$ .
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 ?}

Espaces de Banach

Théorèmes de Banach-Schauder et du graphe fermé

Sommaire

[1] Ce qu'on appelle d'ordinaire opérateur positif, sur un Hilbert, est un opérateur $T$ qui, en plus de vérifier $\forall x~\langle Tx,x\rangle \geq 0$ , 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 $T$ est autoadjoint si et seulement si $\forall x~\langle Tx,x\rangle \in \mathbb {R}$ . Mais sur $\mathbb {R} ^{2}$ , $T:(x_{1},x_{2})\mapsto (x_{1}+x_{2},x_{2})$ vérifie $\forall x~\langle Tx,x\rangle \geq 0$ et n'est pas autoadjoint ni même normal.

[1]

@@ Ligne 20 : / Ligne 20 : @@
 ==Exercice 7-2==
+Soient <math>H</math> un espace de Hilbert et <math>T</math> un opérateur positif, [[wikt:c.-à-d.|c.-à-d.]]<ref>Ce qu'on appelle d'ordinaire opérateur positif, sur un Hilbert, est un opérateur <math>T</math> qui, en plus de vérifier <math>\forall x~\langle Tx,x\rangle\ge0</math>, 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 <math>T</math> est autoadjoint si et seulement si <math>\forall x~\langle Tx,x\rangle\in\R</math>. Mais sur <math>\R^2</math>, <math>T:(x_1,x_2)\mapsto(x_1+x_2,x_2)</math> vérifie <math>\forall x~\langle Tx,x\rangle\ge0</math> et n'est pas autoadjoint ni même normal.</ref> : pour tout <math>x\in H</math>, <math>\langle Tx,x\rangle \ge0</math>.
-Soient <math>H</math> un espace de Hilbert et <math>T</math> un opérateur positif, [[wikt:c.-à-d.|c.-à-d.]] : pour tout <math>x\in H</math>, <math>\langle Tx,x\rangle \ge0</math>.
 #Montrer, pour tous <math>x\in\ker T</math>, <math>y\in H</math> et <math>t\in\R</math>, que <math>t\langle Ty, ty-x\rangle \geq 0</math>. En déduire que <math>\ker T\subset(\operatorname{im}T)^\bot</math>.
 #En considérant <math>T^*</math>, montrer que <math>\ker T=(\operatorname{im}T)^\bot</math>.
-#En utilisant le {{w|théorème de Lax-Milgram}}, montrer que <math>\mathrm I+tT</math> est bijectif pour tout <math>t>0</math>.
+#En utilisant le {{w|théorème de Lax-Milgram}}, montrer que <math>\mathrm I+tT</math> est bijectif pour tout <math>t\ge0</math>.
 {{Solution|contenu=}}
+{{Références}}
 ==Exercice 7-3==