Métodos de Runge-Kutta

Os métodos de Runge-Kutta avançam a solução de uma EDO passo a passo, utilizando várias avaliações de estágio intermediárias do lado direito, alcançando alta ordem sem armazenar passos anteriores.

Definition

Um método de Runge-Kutta é um método de um passo para equações diferenciais ordinárias que calcula o próximo valor da solução a partir do valor atual, formando uma combinação ponderada de várias derivadas de estágio avaliadas em pontos intermediários dentro do passo.

Scope

Este tópico abrange os métodos de Runge-Kutta explícitos e implícitos, sua representação em tableau de Butcher, condições de ordem derivadas da teoria das árvores enraizadas, pares embutidos para controle adaptativo do tamanho do passo e as propriedades de estabilidade absoluta que distinguem os métodos adequados para problemas rígidos e não rígidos.

Core questions

• Como os estágios internos permitem que um método de um passo atinja alta ordem de precisão?
• Como as condições de ordem para um método de Runge-Kutta são derivadas e organizadas?
• Como os pares embutidos fornecem uma estimativa de erro local de baixo custo para o controle do tamanho do passo?
• O que distingue os métodos de Runge-Kutta explícitos dos implícitos em termos de custo e estabilidade?

Key theories

Tableau de Butcher e condições de ordem

Um método de Runge-Kutta é especificado por seu tableau de Butcher de coeficientes, e a exigência de que ele corresponda à expansão de Taylor da solução exata até uma dada ordem produz um conjunto de condições de ordem algébricas geradas sistematicamente usando árvores enraizadas.

Pares embutidos e controle adaptativo

Dois métodos que compartilham os mesmos estágios, mas com pesos diferentes — um par embutido, como os esquemas de Runge-Kutta-Fehlberg ou Dormand-Prince — produzem duas estimativas de solução de ordem diferente, cuja diferença estima o erro local e impulsiona a seleção automática do tamanho do passo.

Mechanisms

Dentro de cada passo, o método avalia o lado direito em vários pontos de estágio, cada um definido como o valor atual mais uma combinação de derivadas de estágio previamente calculadas; a nova solução é uma soma ponderada dessas derivadas de estágio. Métodos explícitos ordenam os estágios de modo que cada um dependa apenas dos anteriores e possa ser avaliado diretamente, enquanto os métodos implícitos acoplam os estágios através de um sistema não linear resolvido a cada passo, obtendo a forte estabilidade necessária para problemas rígidos. Pares embutidos reutilizam as avaliações de estágio para produzir uma estimativa complementar para controle de erro.

Clinical relevance

Os métodos de Runge-Kutta, especialmente pares explícitos adaptativos como Dormand-Prince, são os integradores de EDO de propósito geral padrão em ambientes de computação científica, usados para simulação de trajetória, cinética química, sistemas de controle e qualquer problema de valor inicial não rígido; os métodos de Runge-Kutta implícitos estendem o mesmo arcabouço para integração rígida e de preservação de estrutura.

History

Os métodos começaram com o trabalho de Runge em 1895 e os esquemas sistemáticos de Kutta em 1901; a teoria algébrica de John Butcher na década de 1960 organizou suas condições de ordem via árvores enraizadas, e o desenvolvimento de pares embutidos eficientes, como os de Fehlberg e Dormand-Prince, tornou a integração adaptativa de Runge-Kutta a ferramenta padrão que é hoje.

Key figures

• Carl Runge
• Wilhelm Kutta
• John C. Butcher
• John R. Dormand

Seminal works

• hairer1993
• butcher2016

Frequently asked questions

Por que usar múltiplos estágios em vez de apenas um pequeno passo com o método de Euler?

Cada estágio amostra a inclinação em um ponto diferente dentro do passo, e a combinação deles cancela termos de erro de baixa ordem, de modo que um método de Runge-Kutta atinge alta precisão com passos muito maiores do que o método de Euler precisaria para o mesmo erro.

Quando um método de Runge-Kutta implícito compensa seu custo extra?

Para problemas rígidos, onde os métodos explícitos exigem passos impraticavelmente pequenos para estabilidade, os métodos de Runge-Kutta implícitos permanecem estáveis em tamanhos de passo grandes. O custo de resolver um sistema não linear a cada passo é então mais do que compensado pela realização de muito menos passos.