Pour un opérateur linéaire A sur un espace de Banach, l'opérateur résolvant en λ ∈ C est R(λ;A) = (A - λ I)^{-1} défini sur l'ensemble résolvent où A - λ I est inversible et l'inverse est borné. Il fournit un inverse borné dépendant d'un paramètre hors du spectre.

Principe

Encode la dépendance des inverses bornés à un paramètre complexe ; la structure analytique du résolvant en λ capture les propriétés spectrales et permet des calculs fonctionnels par intégrales de contour.

Démonstration

Pour une matrice A ∈ C^{n×n}, R(λ;A) = (A - λ I)^{-1} est défini pour les λ distincts des valeurs propres ; les coefficients matriciels sont des fonctions rationnelles de λ avec pôles aux valeurs propres.

Mauvaise application

Développer le résolvant en série de Neumann en dehors de son rayon de convergence ou à l'intérieur du spectre produit des sommes divergentes ou dépourvues de sens.

Conséquence

Le résolvant est analytique sur son domaine, ses pôles correspondent à des points spectraux isolés, et des estimations du résolvant contrôlent les semi-groupes d'évolution et la stabilité des équations opérateur.

Inversion

Sur le spectre il n'existe pas de résolvant borné ; en approchant les points spectraux le résolvant diverge typiquement, inversant l'invertibilité en absence d'inverse borné.

Limite

Défini seulement pour λ dans l'ensemble résolvent (complémentaire du spectre) et exige l'inversibilité bornée ; pour des opérateurs non bornés, il faut traiter soigneusement domaines et clôture.

Tension sémantique

Parfois confondu avec des solutions fondamentales de type noyau pour les EDPS ; le résolvant est un inverse abstrait paramétré par λ, pas nécessairement un noyau intégral spatial sauf sous structure supplémentaire.

Synthèse

L'opérateur résolvant est l'inverse borné (A - λ I)^{-1} dépendant d'un paramètre défini hors du spectre ; sa structure analytique et ses pôles codent l'information spectrale et alimentent le calcul fonctionnel et les estimations de stabilité.