Aller au contenu

Opérateur non borné

Un article de Wikipédia, l'encyclopédie libre.

En analyse fonctionnelle, un opérateur non borné est une application linéaire partiellement définie.

Plus précisément, soient X, Y deux espaces vectoriels. Un tel opérateur est donné par un sous-espace dom(T) de X et une application linéaire dont l'ensemble de définition est dom(T) et l'ensemble d'arrivée est Y.

Considérons X = Y = L2(ℝ) et l'espace de Sobolev H1(ℝ) des fonctions de carré intégrable dont la dérivée au sens des distributions appartient, elle aussi, à L2(ℝ). On définit T par dom(T) = H1(ℝ) et T(f) = f' (dérivée au sens des distributions). En tant qu'opérateur partiellement défini de X dans Y, c'est un opérateur non borné.

Opérateurs fermés

[modifier | modifier le code]

Les opérateurs fermés forment une classe d'opérateurs linéaires sur les espaces vectoriels normés plus vaste que celle des opérateurs bornés. Ils ne sont donc pas nécessairement continus, mais il leur reste suffisamment de bonnes propriétés pour qu'on puisse définir pour eux le spectre et (sous certaines hypothèses) un calcul fonctionnel. Beaucoup d'opérateurs linéaires importants qui ne sont pas bornés sont fermés, comme l'opérateur de dérivation et bon nombre d'opérateurs différentiels.

Définitions

[modifier | modifier le code]

Soient X, Y deux espaces vectoriels normés. Un opérateur non borné T : dom(T) → Y (où dom(T) est un sous-espace de X) est dit fermé si son graphe est fermé dans X×Y.

Un opérateur T est dit fermable s'il possède un prolongement fermé, autrement dit si l'adhérence de son graphe est le graphe d'un opérateur T, qu'on appelle alors fermeture de T.

Un cœur, ou domaine essentiel, d'un opérateur fermable T est un sous-espace C de dom(T) tel que la restriction de T à C ait même fermeture que T.

Premières propriétés

[modifier | modifier le code]

Soit T un opérateur non borné, de domaine inclus dans X et à valeurs dans Y.

  • T est fermé si et seulement si pour toute suite (xn) dans dom(T) admettant dans X une limite x et dont l'image par T converge, on a xdom(T) et T(xn) → T(x).
  • T est fermable si et seulement si pour toute suite (xn) dans dom(T) convergeant vers 0 et dont l'image par T converge, on a T(xn) → 0.
  • Si T est fermé, alors :

Soit X = Y = C([a, b]) l'espace des fonctions continues sur l'intervalle réel [a, b], muni de la norme de la convergence uniforme. L'opérateur D de dérivation, défini sur le sous-espace des fonctions de classe C1, est fermé mais non borné. Le sous-espace des fonctions de classe C est un cœur pour D.

Adjoint d'un opérateur non borné

[modifier | modifier le code]

Dans le cas d'un opérateur non borné sur un espace de Hilbert , si est dense, on peut définir son opérateur adjoint en posant :

Pour un donné, si un tel existe, alors il est unique et on pose . Par le théorème de Hahn-Banach et le théorème de représentation de Riesz, nous voyons également que existe si et seulement s'il existe une constante telle que quel que soit , .

Théorème de von Neumann — Soit T un opérateur (non borné) fermé d'un espace de Hilbert dans un autre. Si T est de domaine dense alors T*T l'est aussi et est autoadjoint.

Commutation d'opérateurs auto-adjoints non bornés

[modifier | modifier le code]

La « bonne définition » de la commutation des opérateurs auto-adjoints non bornés est donnée par le théorème suivant :

Commutation des opérateurs non bornés —  Les propriétés suivantes sont équivalentes :

  • et commutent
  • Si les parties imaginaires de et sont non nulles,
  • Quels que soient réels,

Un exemple de Nelson prouve en revanche :

Il existe des opérateurs essentiellement autoadjoints et sur un ensemble dense , tels que

  • quel que soit , mais
  • ne commute pas avec .

Cet exemple prouve que la commutation de deux opérateurs non bornés est quelque chose de très délicat.

Références

[modifier | modifier le code]

Lien externe

[modifier | modifier le code]

Analyse fonctionnelle et théorie spectrale [PDF] B. Maurey, université Paris 7. Le chapitre 11 présente les opérateurs non bornés auto-adjoints.