Opérateur compact

Opérateur compact

En analyse, un opérateur compact (ou application compacte) est une application linéaire A entre deux espaces vectoriels topologiques localement convexes X et Y envoyant les parties bornées de X sur les parties relativement compactes de Y. Les applications compactes généralisent les applications linéaires continues de rang fini, qui en sont des cas particuliers. L'étude relève de l'analyse fonctionnelle à proprement parler.

La théorie est particulièrement intéressante pour les espaces vectoriels normés ou les espaces de Banach. En particulier, dans un espace de Banach, l'ensemble des opérateurs compacts est fermé pour la topologie forte. Mieux, dans un espace de Hilbert, un opérateur compact est la limite d'opérateurs de rang fini. Cette dernière propriété n'est pas vérifiée dans certains espaces de Banach.

Les premiers opérateurs compacts sont apparus avec les équations intégrales et l'étude des espaces fonctionnels. La résolution formelle d'équations intégrales simples font apparaître un opérateur à noyau dont la compacité tient à des propriétés d'équicontinuité. À travers ce problème est apparu une autre classe importante d'opérateurs, les opérateurs de Fredholm. La perturbation par des opérateurs compacts préserve la propriété d'être de Fredholm et l'indice de Fredholm : c'est le théorème de stabilité de l'indice.

Sommaire

Définition

Dans un espace vectoriel topologique localement convexe séparé (evtlcs) X, une partie de X est dite bornée lorsqu'elle est incluse dans k.V pour tout voisinage V de 0 avec k suffisamment grand. Un opérateur T de X dans Y est dit compact lorsque toute partie bornée de X est envoyée sur une partie relativement compacte de Y.

La somme de deux opérateurs compacts ou le produit d'un opérateur compact par un scalaire est encore un opérateur compact. L'ensemble K(X,Y) des opérateurs compacts de X dans Y forme donc un sous-espace vectoriel réel de L(X,Y). En outre, le composé d'un opérateur borné et d'un opérateur compact est un opérateur compact. En particulier, K(X)=K(X,X) est un idéal bilatère de L(X). Il est possible d'introduire la structure quotient L(X) / K(X), appelée algèbre de Calkin (en).

Si la topologie de X est définie par une norme, les parties bornées de X sont exactement celles incluses dans une boule. Sous cette condition, un opérateur T est compact ssi la boule unité de X est envoyée sur une partie relativement compacte de Y. De manière équivalente, on demande à ce que, pour toute suite bornée xn de X, la suite Txn admette une valeur d'adhérence.

Exemples

Opérateurs de rang fini

Soient X un espace de Banach et T un opérateur borné sur X. On dit que T est un opérateur de rang fini si ImT est un espace de dimension finie. Il existe alors un entier naturel n ≥1, des formes linéaires continues \varphi_1,\dots,\varphi_n\in X^* et des vecteurs x_1,\dots,x_n\in X tels que

\forall x\in X,\quad Tx=\sum_{k=1}^n\varphi_k(x)x_k.

Les opérateurs de rang fini sont compacts car dans un espace de dimension finie, les parties compactes sont les parties fermées bornées. Ainsi, si X est de dimension finie, tout opérateur borné de Y dans X est compact, car de rang fini.

Remarquons que l’ensemble des opérateurs compacts étant fermé, tout opérateur qui est limite dans B(Y,X) d’opérateurs de rang fini est compact. On dit que X a la propriété d'approximation ("PA") lorsque la réciproque est vraie pour tout espace de Banach Y. En particulier si X a la PA alors, dans B(X), les opérateurs compacts sont exactement les limites d'opérateurs de rang fini. Parmi les espaces ayant la PA, citons par exemple les espaces ayant une base de Schauder, comme les espaces Lp([0,1]), 1 ≤ p < +∞, ou les espaces de Hilbert séparables.

Opérateurs à noyau

Opérateurs compacts dans les espaces de Hilbert

Spectre des opérateurs compacts

Comme précédemment, on considère un opérateur compact L, endomorphisme de l'espace de Banach X sur le corps des complexes. On suppose que l'espace X est de dimension infinie. Le spectre de L est lui-même compact, au plus dénombrable, et ne comportant aucun point d'accumulation, à l'exception éventuelle de 0. Il s'agit donc

  • soit d'un ensemble fini contenant 0 ;
  • soit d'un ensemble infini contenant 0. Dans ce cas les éléments du spectre autres que 0 peuvent être ordonnés en une suite vérifiant
|\lambda_1|\geq|\lambda_2|\geq \dots\geq|\lambda_n|\geq\dots

et de limite nulle.

Notamment, pour un réel δ > 0 donné, il n'y a qu'un nombre fini d'éléments λ appartenant au spectre et de module supérieur à δ.

Les complexes λ ≠ 0 appartenant au spectre jouissent de propriétés communes car l'opérateur L − λI est alors de Fredholm, d'indice 0. Notamment les éléments λ du spectre autres que 0 sont tous des valeurs propres, c'est-à-dire que L − λI est non injectif. Et la dimension du noyau de L − λI est finie, égale à la codimension de l'image.

Il est possible de définir, comme en dimension finie, le sous-espace caractéristique associé à une telle valeur propre λ : c'est la réunion des ker(L − λI)n, et on démontre qu'il existe un plus petit entier k tel que

ker(L − λI)k = ker(L − λI)k + 1

(la suite croissante des noyaux est donc stationnaire à partir du rang k et le sous-espace caractéristique est simplement ker(L − λI)k, qui est de dimension finie).

Pour cette valeur de l'entier k, on a la somme directe

E=\ker (L-\lambda {\rm I})^k\oplus{\mathrm Im}(L-\lambda {\rm I})^k

l'opérateur L − λI induisant sur le premier espace un endomorphisme nilpotent, sur le second une bijection.

Quant à l'élément 0 du spectre, il peut s'agir ou non d'une valeur propre.

Il peut arriver que le spectre soit réduit à 0, comme dans l'exemple[1] de l'opérateur de Volterra T défini sur L2([0,1]) par (Tf)(x)= \int_0^xf(y)\, dy.

Voir aussi

Bibliographie

Walter Rudin, Analyse fonctionnelle [détail des éditions]

Notes et références

  1. R.G.Douglas, Banach algebra techniques in Operator Theory, Academic Press (1972), p. 133

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Opérateur compact de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Operateur compact — Opérateur compact En analyse, un opérateur compact (ou application compacte ou encore opérateur complètement continu) est une application linéaire A entre deux espaces vectoriels topologiques localement convexes X et Y envoyant les parties… …   Wikipédia en Français

  • Operateur borne — Opérateur borné En mathématiques, la notion d opérateur borné est un concept d analyse fonctionnelle. Il s agit d une application linéaire L entre deux espaces vectoriels normés X et Y telle que l image de la boule unité de X est une partie… …   Wikipédia en Français

  • Operateur de Fredholm — Opérateur de Fredholm En mathématiques, l opérateur de Fredholm est un concept d analyse fonctionnelle qui porte le nom du mathématicien suédois Ivar Fredholm (1866 1927). Il s agit d un opérateur borné L entre deux espaces de Banach X et Y ayant …   Wikipédia en Français

  • Opérateur de fredholm — En mathématiques, l opérateur de Fredholm est un concept d analyse fonctionnelle qui porte le nom du mathématicien suédois Ivar Fredholm (1866 1927). Il s agit d un opérateur borné L entre deux espaces de Banach X et Y ayant un noyau de dimension …   Wikipédia en Français

  • Operateur a noyau — Opérateur à noyau En analyse fonctionnelle, un opérateur à noyau est un exemple standard d opérateur. Il se définit sur des espaces fonctionnels sur lesquels l intégration a un sens, et au moyen de produit de convolution par des fonctions… …   Wikipédia en Français

  • Opérateur à noyau — En analyse fonctionnelle, un opérateur à noyau est un exemple standard d opérateur. Il se définit sur des espaces fonctionnels sur lesquels l intégration a un sens, et au moyen de produit de convolution par des fonctions dépendant de paramètres.… …   Wikipédia en Français

  • Opérateur borné — En mathématiques, la notion d opérateur borné est un concept d analyse fonctionnelle. Il s agit d une application linéaire L entre deux espaces vectoriels normés X et Y telle que l image de la boule unité de X est une partie bornée de Y. On… …   Wikipédia en Français

  • Opérateur de Fredholm — Pour les articles homonymes, voir Fredholm. En mathématiques, l opérateur de Fredholm est un concept d analyse fonctionnelle qui porte le nom du mathématicien suédois Ivar Fredholm (1866 1927). Il s agit d un opérateur borné L entre deux espaces… …   Wikipédia en Français

  • Compact — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Compact », sur le Wiktionnaire (dictionnaire universel) Compact peut faire référence à : compact …   Wikipédia en Français

  • Operateur de Laplace-Beltrami — Opérateur de Laplace Beltrami L opérateur de Laplace Beltrami est une généralisation de l opérateur laplacien aux variétés riemanniennes. On part de la définition classique , et l on est ramené à définir la divergence et le gradient dans le cadre …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”