On the steps of convergence of approximate eigenvectors in the Rayleigh- Schrödinger series (Q793497)

Les AA. considèrent un opérateur fermé \(T_ 0\) dans un espace de Banach complexe X. Soit \(\lambda_ 0\) une valeur propre de \(T_ 0\) douée de propriétés particulières et soit \(\phi_ 0\) le vecteur propre de norme 1 correspondant. T constitue un opérateur analogue, dont le domaine contient celui de \(T_ 0\). Si T est voisin de \(T_ 0\), la valeur propre simple \(\lambda\) de T vérifie la relation \[ \lambda =\sum^{\infty}_{k=0}\lambda_ 0^{(k)}, \] où \(\lambda_ 0^{(k)}\) est déduit de \(\lambda_ 0\) et de \(\phi_ 0\). II existe une relation similaire pour le vecteur propre \(\phi\) correspondant. Dans certaines conditions les séries infinies sont dites séries de Rayleigh-Schrödinger. Les AA. examinent les bornes d'erreur sur les éléments propres obtenues par \textit{P. Redont} [Thèse présentée à l'Université I de Grenoble en 1979] et en font une analyse critique. Ils donnent une démonstration d'un théorème de convergence établi par P. Redont. Ce théorème se rapporte aux éléments propres d'un opérateur T(t) défini comme suit: \(T(t)=T_ 0+t(T-T_ 0),t\in {\mathbb{C}}.\) Par ailleurs les AA. obtiennent des estimations des valeurs absolues \(| \lambda_ 0^{(k)}|\) et des normes \(\| \phi_ 0^{(k)}\|\) des vecteurs entrant dans la série infinie de \(\phi\) ; ils généralisent ainsi un résultat de P. Redont. Une proposition de cet aut. se rapportant à la convergence de la première série mentionnée vers une valeur propre simple \(\lambda\) de T est transposée à celle de \(\sum^{\infty}_{k=0}\phi_ 0^{(k)}\). D'autre part ils examinent, sous l'éclairage de la convergence globalement compacte, une suite d'opérateurs linéaires bornés \(T_ n\) convergeant vers un opérateur T. Dans les exemples numériques qui suivent il y a une convergence de ce type, sans qu'il y ait convergence suivant la norme. Un opérateur de Fredholm de première espèce est considéré, auquel l'approximation de même nom et celle de Nystrom sont appliquées. De cette façon le décalage entre les expressions théoriques et les résultats numériques, constaté par P. Redont, disparaît; désormais les résultats numériques concordent avec les nouvelles bornes d'erreur. Finalement les AA. approximent un opérateur linéaire compact T:\(X\to X\) au moyen de la méthode de Galerkin directe et du procédé de Galerkin itératif ou méthode de Sloan. Ils démontrent théoriquement que les vecteurs propres calculés au moyen de ce procédé itératif constituent un progrès en comparaison de ceux obtenus par la méthode de Galerkin; ils le montrent d'ailleurs en s'appuyant sur des exemples.