Una extensión iterativa del método de Newton para resolver ecuaciones de operadores no lineales en espacios de Banach, que proporciona criterios cuantitativos de convergencia basados en la invertibilidad y el control de Lipschitz de la derivada de Fréchet.

Principio

Linealizar el operador no lineal en una aproximación mediante su derivada de Fréchet, resolver la ecuación linealizada para obtener una corrección y usar estimaciones (cota del inverso de la derivada y constante de Lipschitz) para garantizar existencia, unicidad y convergencia cuadrática (o superlineal) en un entorno.

Demostración

Dada F(x)=0 con F: X→Y entre espacios de Banach y aproximación inicial x0, calcular A0=F'(x0); si A0 es invertible y la derivada es Lipschitz en una bola, aplicar las desigualdades de Kantorovich para acotar los iterados de Newton y probar la convergencia hacia una raíz real con estimaciones explícitas del error.

Aplicación incorrecta

Usar el método sin comprobar la invertibilidad de la derivada de Fréchet en el punto inicial o sin verificar las estimaciones tipo Lipschitz requeridas; aplicarlo a mapas no diferenciables en sentido de Fréchet o con un error inicial demasiado grande puede causar divergencia o cotas sin sentido.

Consecuencia

Cuando las hipótesis se satisfacen se obtiene existencia local garantizada y unicidad de la solución, radios de convergencia y cotas de error explícitas, y típicamente convergencia cuadrática de los iterados — justificando rigurosamente esquemas tipo Newton en problemas de dimensión infinita.

Inversión

En contraste con una variante de Newton con la derivada fijada, donde la derivada no se actualiza: fijar la derivada suele dar una convergencia solamente lineal (o peor) y se pierde la mejora cuadrática local que aporta actualizar la derivada y controlar su variación.

Límite

Requiere diferenciabilidad de Fréchet, un inverso acotado de la derivada en la aproximación inicial y control (Lipschitz) sobre la derivada; no se aplica a argumentos puramente topológicos de grado o a operadores no suaves.

Tensión semántica

Se sitúa entre los métodos de Newton en dimensión finita y los teoremas de punto fijo de Banach: ofrece convergencia cuantitativa basada en la derivada donde los argumentos de punto fijo dan existencia sin convergencia cuadrática, y los métodos variacionales dan alternativas globales sin el mismo control local de error.

Síntesis

El método de Newton–Kantorovich combina la linealización de Newton con estimaciones explícitas de norma de operador sobre el inverso de la derivada y su variación para producir una teoría local de convergencia rigurosa y cuantitativa para iteraciones de Newton en problemas en espacios de Banach.