Métodos Lineales Multipaso

Los métodos lineales multipaso calculan cada nuevo valor de la solución a partir de una combinación lineal de varios valores y derivadas de soluciones anteriores, reutilizando el trabajo pasado para lograr un orden alto a bajo costo por paso.

Definition

Un método lineal multipaso es un método para ecuaciones diferenciales ordinarias que determina el siguiente valor de la solución a través de una relación lineal fija entre varios valores de soluciones anteriores y evaluaciones del lado derecho.

Scope

Este tema cubre las familias de Adams-Bashforth (explícitas) y Adams-Moulton (implícitas), las fórmulas de diferenciación hacia atrás para problemas rígidos, la implementación predictor-corrector, los polinomios característicos y la condición de la raíz que definen la estabilidad cero, y las barreras de orden de Dahlquist que limitan lo que tales métodos pueden lograr.

Core questions

• ¿Cómo reutilizan los métodos multipaso los valores pasados para alcanzar un orden alto con una nueva evaluación de función por paso?
• ¿Qué es la estabilidad cero y cómo la expresa la condición de la raíz en el polinomio característico?
• ¿Cómo combinan los pares predictor-corrector las fórmulas explícitas e implícitas en la práctica?
• ¿Qué dicen las barreras de orden de Dahlquist sobre los límites de la precisión y estabilidad multipaso?

Key theories

Estabilidad cero y la condición de la raíz

Un método multipaso es de estabilidad cero, y por lo tanto convergente cuando es consistente, exactamente cuando las raíces de su primer polinomio característico se encuentran en el disco unitario cerrado con solo raíces simples en el límite; esta condición de la raíz es el análogo multipaso de la estabilidad.

Barreras de Dahlquist

La primera barrera de Dahlquist limita el orden de un método de k pasos de estabilidad cero, y su segunda barrera muestra que ningún método lineal multipaso A-estable puede tener un orden mayor que dos, razón por la cual los solucionadores rígidos de alto orden se basan en el compromiso BDF de estabilidad relativa en lugar de absoluta.

Mechanisms

Los métodos de Adams integran un polinomio interpolador a través de valores de derivadas pasadas: Adams-Bashforth utiliza solo valores conocidos (explícito), Adams-Moulton incluye el nuevo valor desconocido (implícito) para una mayor precisión y estabilidad. En la práctica, ambos se combinan como un predictor-corrector: la fórmula explícita predice, la implícita corrige, típicamente en una o dos iteraciones. Las fórmulas de diferenciación hacia atrás, en cambio, diferencian los valores de soluciones pasadas para aproximar la derivada en el nuevo punto, dando lugar a los métodos estables para problemas rígidos que son el núcleo de los códigos de EDO rígidas. Dado que los métodos multipaso necesitan varios valores iniciales, se inician con un método de un solo paso.

Clinical relevance

Los métodos lineales multipaso, particularmente las fórmulas de diferenciación hacia atrás, impulsan los solucionadores de EDO rígidas de producción utilizados en la cinética química, la simulación de circuitos electrónicos y los grandes sistemas diferencial-algebraicos, donde la evaluación del lado derecho es costosa y la reutilización de evaluaciones pasadas a través de fórmulas multipaso produce importantes ganancias de eficiencia.

History

Adams y Bashforth introdujeron las fórmulas multipaso en el siglo XIX, con Moulton añadiendo variantes implícitas; el análisis de Dahlquist en las décadas de 1950 y 1960 estableció la teoría de la estabilidad y las barreras de orden que rigen el campo, y el trabajo de C. William Gear en la década de 1970 convirtió los códigos de fórmulas de diferenciación hacia atrás en el estándar para problemas rígidos.

Key figures

• John Couch Adams
• Francis Bashforth
• Forest Ray Moulton
• Germund Dahlquist
• C. William Gear

Seminal works

• hairer1993
• iserles2008

Frequently asked questions

¿En qué se diferencian los métodos multipaso de los métodos de Runge-Kutta?

Los métodos de Runge-Kutta realizan varias evaluaciones de derivadas nuevas dentro de cada paso, pero las descartan después, mientras que los métodos multipaso reutilizan los valores de las derivadas de pasos anteriores. Por lo tanto, los métodos multipaso son más económicos por paso, pero necesitan valores iniciales adicionales y un manejo especial de los cambios de tamaño de paso.

¿Qué es la condición de la raíz?

Es el requisito de que las raíces del primer polinomio característico del método se encuentren dentro o sobre el círculo unitario, con raíces simples en el límite. Garantiza que los pequeños errores no se amplifiquen a medida que se acumulan los pasos, asegurando que el método sea de estabilidad cero y, por lo tanto, convergente.