Exercice 40, § 5
Étiquette 038F, permanente. À citer comme [Bourbaki, Tag 038F].
Théories spectrales, IV, p. 370
Soit E un espace hilbertien complexe.
a) Soit un opérateur partiel normal sur E et soit sa décomposition polaire. On a et la décomposition polaire de est . On a .
b) Soit un opérateur partiel auto-adjoint sur E et soit sa décomposition polaire. On a s(), où la fonction s est définie par
1 si
s() 0 si
si .
c) Soit un opérateur partiel auto-adjoint sur E et soit sa décomposition polaire. On note D le domaine de , et on définit une forme hermitienne partielle de domaine D en posant
L’opérateur partiel représentant coïncide avec ; si est positif, alors est la forme positive partielle associée à .
d) Soient et des opérateurs partiels auto-adjoints sur E. Notons et les formes hermitiennes partielles définies comme dans la question c). Supposons que dom() dom() est dense dans E. La somme de et au sens des formes hermitiennes est l’opérateur partiel + sur E représentant la forme partielle
de domaine dom() dom(). Montrer que l’opérateur partiel + est une extension de ; si et sont positifs, alors + est un opérateur partiel auto-adjoint positif.
e) Donner un exemple où le domaine de n’est pas dense, mais + est défini.
f ) Soit un entier et un ensemble fermé de mesure de Lebesgue nulle. Soit une fonction positive mesurable sur pour la mesure de Lebesgue telle que est localement intégrable sur S. L’opérateur partiel auto-adjoint Δ + est défini.
Solution
Aucune solution n’a encore été écrite.
Cité par
Rien.
Cite
Rien.