SOLUCIN DE ECUACIONES DIFERENCIALES Mtodo de Runge Kutta El objetivo de los mtodos numricos de runge-kutta, es el anlisis y solucin de los problemas

de valor inicial de ecuaciones diferenciales ordinarias, estos son una extensin del mtodo de Euler para resolver las ecuaciones diferenciales ordinarias, pero con un orden de exactitud ms alto que este. Los mtodos de Runge-Kutta son una serie de mtodos numricos usados para encontrar aproximaciones de las soluciones de ecuaciones diferenciales y sistemas de ecuaciones diferenciales, lineales y no lineales. Mtodos lineales a un paso Son mtodos numricos que para avanzar un paso, slo dependen del paso anterior, es decir el paso n+1, con ms precisin, son mtodos de la forma

( ( )

Donde xn es un vector Rn, tn es la variable independiente, h el tamao del paso, y F es una funcin vectorial (posiblemente no lineal) xn, tn, h. Ntese que lo que tenemos es en realidad un sistema de n ecuaciones. Existen otros mtodos llamados multipaso, en los que para avanzar un paso se requiere una funcin de dos o ms pasos anteriores, as como existen mtodos no lineales. Teora en extensin Los mtodos de Runge-Kutta son una especializacin de los mtodos numricos a un paso. Fundamentalmente, lo que caracteriza a los mtodos de Runge-Kutta es que el error en cada paso i es de la forma

Siendo C una constante real positiva, al nmero k se le llama orden del mtodo y h ya sabemos que es el tamao del paso. En los mtodos de Runge-Kutta se llama etapas a las sucesivas evaluaciones de la funcin f en cada paso. El nmero de etapas de un mtodo de Runge-Kutta es el nmero de veces que la funcin es evaluada en cada paso i, Este concepto es

importante porque evaluar la funcin requiere un coste computacional (a veces alto) por tanto se prefieren mtodos con el menor nmero posible de etapas. Un primer ejemplo es el mtodo de Euler que es de la forma El mtodo de Euler (Runge-Kutta de orden 1)

En dicho mtodo el error es de la forma e Ch y por tanto el mtodo de Euler es de orden 1 Observacin: La funcin se evala 1 vez en cada paso, nmero de etapas: 1.

Un ejemplo de un mtodo de orden 2 es el mtodo del punto medio o tambin regla del punto medio, que es de la forma El mtodo del punto medio (Runge-Kutta de orden 2)

En dicho mtodo el error es de la forma e Ch2 y por tanto el mtodo del punto medio es de orden 2 Observacin: El nmero de veces que se evala la funcin en cada paso del mtodo es 2, nmero de etapas: 2.

Runge-kutta estndar de orden 4 (Runge-Kutta de orden 4)

Donde

( ( (

) ) )

Ahora el error es de la forma e Ch4 y por tanto el mtodo es de orden 4 Observacin: El nmero de veces que se evala la funcin en cada paso del mtodo es 4, nmero de etapas: 4. Podemos adoptar la siguiente definicin como mtodos Runge-Kutta: Un mtodo Runge-Kutta de s etapas y de orden p es un mtodo numrico de la forma:

Con

(
Y el error cumple la condicin

Es decir para dar un mtodo de Runge-Kutta, tenemos que dar los nmeros

Es decir

nmeros

Una particularidad interesante de los mtodos Runge-Kutta es que no necesitan calcular derivadas de la funcin f para avanzar. El precio a pagar por ello es el de evaluar ms veces la propia funcin f con el consiguiente coste de operaciones. Tableros de Butcher Dado un mtodo de Runge-kutta, construimos un tablero de la forma

O bien, se puede escribir el tablero de Butcher como

Donde Por ejemplo, el tablero de Butcher para el mtodo de Euler es

Para la regla del punto medio de orden 2

Y para el Runge-Kutta estndar de orden 4

Un mtodo de Runge-Kutta se dice que es consistente si el error de truncacin global tiende a cero cuando el tamao del paso tiende a cero. Se puede demostrar que una condicin necesaria y suficiente para la consistencia de un mtodo de Runge-Kutta es que la suma de los bits sea igual a 1, es decir :

Adems el mtodo ser de orden 2 si cumple que

Se pueden dar condiciones anlogas para mtodos con orden 3, 4,, n Mtodos de Runge-Kutta explcitos En un mtodo de Runge-Kutta explcito, los bits dados en la definicin no aparecen como funcin de ellos mismos, aparecen despejados. De modo ms un poco ms preciso, en un mtodo de Runge-Kutta explcito, la matriz A del tablero de Butcher es "casi 'triangular inferior'", con lo que queremos decir que es triangular inferior y adems su diagonal tambin est formada por ceros, o sea, es de la forma

Teorema Un mtodo de Runge-Kutta explcito de s etapas no puede tener un orden mayor que s. Se sabe que no hay mtodos de Runge-Kutta explcitos de s etapas con orden s, para s mayor o igual que 5. Adems se sabe que no hay mtodos de Runge-Kutta explcitos de s etapas con orden s-1, para s mayor o igual que 7.

Con ms generalidad se tiene la siguiente tabla

Qu tamao de paso es necesario? La respuesta a esta pregunta es que depende del problema concreto y del grado de precisin deseado. Un detalle a tener en cuenta en los mtodos de Runge-Kutta es que pierden bastante precisin cuando la derivada de la funcin a analizar es muy grande o cambia muchas veces de signo, En tales casos es necesario un tamao de paso bien pequeo para obtener un grado de precisin aceptable.