En analyse fonctionnelle, une série de Neumann est une série d'opérateurs de la forme

T est un opérateur et Tk désigne une itération de T répétée k fois. Elle étend l'idée de série géométrique.

La série est nommée d'après le mathématicien Carl Neumann, qui l'a utilisé en 1877 dans le cadre de la théorie du potentiel. Elle est également centrale dans l'étude du spectre d'opérateurs bornés.

Propriétés

modifier

Supposons que T est un opérateur linéaire borné dans un espace vectoriel normé X. Si la série de Neumann converge pour la norme d'opérateur, alors l'opérateur Id – T est inversible et son inverse est l'opérateur somme de la série :

 ,

avec Id est l'identité sur X. Pour s'en convaincre, on peut regarder les sommes partielles

 .

On a alors, par télescopage,

 

On reconnait le résultat analogue pour la série géométrique sur la droite réelle :

 

Un cas où la convergence est garantie est si X est un espace de Banach et |T| < 1 pour la norme d'opérateur. Il existe cependant des résultats montrant la convergence pour des conditions plus faibles.

Exemples

modifier

Opérateur matriciel

modifier

Soit   une matrice carrée réelle. On peut voir que la série de Neumann liée à C converge pour une norme matricielle si :

 

et la série converge vers la matrice inverse de (IC), qui existe.

Ce résultat peut s'appliquer dans l'étude de convergence et de stabilité d'un schéma numérique : pour un problème de la forme

 

si la série de Neumann de A converge, alors le schéma converge vers une solution du problème

 

Opérateur intégral (série de Liouville-Neumann)

modifier

Pour une équation intégrale de Fredholm du second type

 

on peut définir la série, dite de Liouville-Neumann, pour des valeurs de λ suffisamment petites pour assurer la convergence de la série :

 

avec

 

Le noyau Kn est défini par la convolution itérée du noyau K avec lui-même n-1 fois :

 

La série de Liouville-Neumann est l'unique solution continue de l'équation intégrale de Fredholm.

Le concept peut être étendu pour la résolution des équations intégrales de Volterra.

L'ensemble des opérateurs inversibles est ouvert

modifier

Un corollaire est que l'ensemble des opérateurs inversibles entre deux espaces de Banach B et B' est ouvert pour la topologie induite par la norme d'opérateur. En effet, soit S : BB' un opérateur inversible et T: BB' un autre opérateur.

Si |ST | < |S−1|−1, alors T est également inversible. En effet, on peut remarquer que

 

On en tire alors que la norme de T−1 est majorée par

 

Références

modifier