Un procedimiento iterativo que construye aproximaciones sucesivas a la solución de ecuaciones diferenciales o integrales aplicando funcionales de corrección variacionales, normalmente usando un multiplicador de Lagrange determinado por teoría variacional.

Principio

Formular un funcional de corrección que haga cumplir la ecuación gobernante y determinar un multiplicador de Lagrange de modo que cada iteración corrija la aproximación anterior hacia la solución exacta sin linealizar el operador original.

Demostración

Resolver una ecuación diferencial ordinaria no lineal u'(t)+u(t)+u(t)^2=f(t) proponiendo una conjetura inicial u0, formando un funcional de corrección con un multiplicador de Lagrange indeterminado λ(t), determinar λ por condiciones estacionarias y iterar u_{n+1}=u_n+corrección para obtener aproximaciones sucesivas.

Aplicación incorrecta

Elegir un multiplicador de Lagrange incorrecto o no estacionario, usar un funcional de corrección que no respete condiciones de contorno o truncar las iteraciones prematuramente puede producir secuencias divergentes o soluciones que violen restricciones.

Consecuencia

Aplicado correctamente, VIM suele producir aproximaciones cerradas o semi-analíticas de rápida convergencia que preservan la no linealidad y las condiciones de contorno, reduciendo la dependencia de la discretización.

Inversión

Un método de punto fijo directo o una iteración tipo Picard que sustituye la corrección variacional por una sustitución ingenua; tal reversión suele requerir propiedades de contracción más fuertes y puede converger mucho más despacio o no hacerlo.

Límite

Aplicable a una amplia clase de ecuaciones diferenciales y integrales cuando pueda derivarse un funcional de corrección y un multiplicador variacional razonables; menos adecuado cuando no existe una formulación variacional sensata o para sistemas discretos de muy alta dimensión sin reducción de modelo.

Tensión semántica

Compite con métodos como la Descomposición de Adomian y el Homotopy Analysis: todos construyen aproximaciones sucesivas, pero VIM se centra en un funcional de corrección determinado variacionalmente en lugar de descomposiciones polinomiales o embeddings homóticos.

Síntesis

El Método de Iteración Variacional es una estrategia iterativa que incrusta la ecuación gobernante en un funcional de corrección y usa un multiplicador de Lagrange escogido variacionalmente para producir aproximaciones sucesivas, a menudo de rápida convergencia, manteniendo la estructura no lineal y las condiciones de contorno.