Une extension itérative de la méthode de Newton pour résoudre des équations d'opérateurs non linéaires dans des espaces de Banach, fournissant des critères de convergence quantitatifs fondés sur l'inversibilité et le contrôle Lipschitzien de la dérivée de Fréchet.

Principe

Linéariser l'opérateur non linéaire autour d'une approximation via sa dérivée de Fréchet, résoudre l'équation linéarisée pour une correction, et utiliser des estimations (bornes sur l'inverse de la dérivée et constante de Lipschitz) pour garantir existence, unicité et convergence quadratique (ou superlinéaire) dans un voisinage.

Démonstration

Pour F(x)=0 avec F: X→Y entre espaces de Banach et une approximation x0, calculer A0=F'(x0) ; si A0 est inversible et la dérivée est Lipschitzienne sur une boule, appliquer les inégalités de Kantorovich pour borner les itérés de Newton et prouver la convergence vers une racine réelle avec estimations d'erreur explicites.

Mauvaise application

Utiliser la méthode sans vérifier l'inversibilité de la dérivée de Fréchet au point initial ou sans contrôler les estimations de type Lipschitz ; l'appliquer à des applications non différentiables au sens de Fréchet ou avec une erreur initiale trop grande peut conduire à la divergence ou à des bornes sans signification.

Conséquence

Lorsque les hypothèses sont satisfaites on obtient l'existence locale garantie et l'unicité d'une solution, des rayons de convergence et des bornes d'erreur explicites, et en général une convergence quadratique des itérés — justifiant rigoureusement les schémas de Newton en dimension infinie.

Inversion

Contrairement à une méthode de Newton à dérivée figée où la dérivée n'est pas actualisée : figer la dérivée donne en général seulement une convergence linéaire (ou pire) et perd l'amélioration quadratique locale apportée par la mise à jour de la dérivée et le contrôle de sa variation.

Limite

Nécessite la différentiabilité de Fréchet, l'existence d'un inverse borné de la dérivée en l'approximation initiale, et un contrôle (Lipschitz) de la dérivée ; ne s'applique pas aux arguments d'existence purement topologiques ni aux opérateurs non lisses.

Tension sémantique

Se situe entre les méthodes de Newton en dimensions finies et les théorèmes du point fixe de Banach : il fournit une convergence quantitative basée sur la dérivée alors que les arguments de point fixe donnent l'existence sans convergence quadratique, et les méthodes variationnelles offrent des alternatives globales sans le même contrôle local d'erreur.

Synthèse

La méthode de Newton–Kantorovich combine la linéarisation de Newton avec des estimations explicites en norme d'opérateur sur l'inverse de la dérivée et sa variation pour produire une théorie locale de convergence rigoureuse et quantitative des itérés de Newton dans les problèmes en espaces de Banach.