Ecuaciones diferenciales

ordinarias
Capitulo VI
 Ecuaciones diferenciales de
primer orden
Mtodos de pasos Mtodos de pasos
libres ligados
Euler 1 y 2 implcitos
Runge-Kutta 2 y 4 explcitos
predictor-corrector
 Primer orden
Dado el problema de valor inicial
# y'= f (t,y(t))
$
% y(t0 ) = y0 t " [t 0 ,T]
con

y(t) Una funcin derivable desconocida

f (t,y) Una funcin dada
!

!
 Teo.:
El problema tiene una solucin nica y
si
1) f es continuo sobre [t 0 ,T]x"
2) f es Lipschitzienne : # k $ 0 % f(t,&1 ) - f(t,& 2 ) ' k &1 ( & 2

En general la solucin analtica no

! puede ser encontrada
Utilizamos mtodos numricos
yn " y(tn ) con t1 ,t2 ,...tn # [to ,T ]

!
 definiciones
Error en = y( tn ) " yn h = ti+1 " ti

Convergencia en " 0
Estabilidad
! lm ! yn < +" para h fijo
n #"
!

!
 Euler - orden 1
Para h pequea, aproximamos la sol
por la tangente
Dado y0 = y(t0 ) inicializacion
Mientras t < T hacer

! yn+1 = yn + hn+1 " f (tn ,yn )

!
!
 Error
!h

error global practico

error de cada error teorico

h* optimo h
 Euler - orden 2
Dado un arco de parabola
La pendiente ( a + b) es paralela a la cuerda
2
( a + b)
La pendiente 2 es la demi-suma de
pendientes
!
en a y b

!
 Dados
" t'= tn + h / 2
Coordenadas de p $#
h
$% y'= yn + f (tn ,yn )
2
Coordenadas de yn+1
) tn+1 = t + h
+
! * # h &
+ yn+1 = yo + h " f % tn ,tn + f (tn ,yn )(
, $ 2 '

" k1 = hf (tn ,yn )

yo dado para t = to $$
! h
# k2 = hf (tn + ,yn + k1 )
$ 2
$% yn+1 = yn + k2
!
 Metodo Runge-Kutta
general

k1 = hn+1 " f (tn ,yn )

k2 = hn+1 " f (tn + #1hn+1 ,yn + $11k1 )
M
kn = hn+1 " f (tn + # 2 hn+1 ,yn + $21k1 + $22 k2 )
M
kp = hn+1 " f (tn + # p%1hn+1 ,yn + &$p%1, i ki )
q
yn+1 = yn + & 'i ki
i =1

!
 Runge-Kutta orden-2 Euler-Cauchy
#
)k1 = hn+1 " f (tn ,yn ) %k = h " f (t ,y )
+ %1 n+1 n n

+k = h " f #% t + hn+1 ,y + k1 &( %k2 = hn+1 " f ( tn + hn+1 ,yn + k1)

+ 2 n+1
$
n
2
n
2' %
+y = y + k k k
* n+1 n 2
%yn+1 = yn + 1 + 2
$ 2 2

! !
 Runge-Kutta orden-4

)
+k1 = h " f (tn ,yn )
+
+k = h " f # t + h ,y + k1 &
+ 2 %n n (
$ 2 2'
+
+k = h " f #% t + h ,y + k2 &(
+ 3 $
n
2
n
2'
+
+k = h " f #% t + h ,y + k &(
+ 4 $
n
2
n 3
'
+ 1
+yn+1 = yn + ( k1 + 2k2 + 2k3 + k4 )
* 6

!
 Consistencia.- un mtodo numrico lo es si
y(tn+1 )% y(tn )
lim Max % & ( tn ,y(tn ),hn+1) $ 0
h"# 0$n$N hn+1

Estabilidad.-
! $& yn+1 = yn + hn+1" ( tn ,yn ,hn+1) con yo dado
%
&' z n+1 = yn + hn+1" ( tn ,z n ,hn+1) + # n con z o dado

Max z n # yn " M1 z o # yo + M 2 Max $ n

0"n"N 0"n"N

Convergencia.-
! un mtodo converge si

!
lim Max yn % y(tn ) = 0
h"# 0$n$N

!
 Metodos de pasos ligados
El problema consiste en evaluar la
integral, ya que y(t) es desconocida

tn+1
y'( t) = f ( t,y( t)) " y( tn+1) = y( tn ) + # t f ( t,y( t)) dt
n

!
 Metodo explicito
Suponemos conocidos yo ,y1 ,K,yn
en los puntos to ,t1 ,K,tn entonces f ( t ,y ) = f f ( t ,y ) =
0 0 0 n n fn

son conocidas
tn+1
Vamos a calcular " f ( t,y( !t)) dt !
tn

! !
interpolando f por un polinomio pn (ti ) = fi
construimos fo , f1 ,K, fn
!
!

!
 algoritmo
Construimos un polinomio de interpolacion
de lagrange pn (ti )
( to ,...,tn) : pn ( t) " pn( ti ) = fi # i = 0,....,n
Deducimos por extrapolacion fn+1
Calculamos y =!y + t p (t)dt n+1
! n+1 n " tn n

finalmente !
n
! y = y + h #" f
n+1 n n+1 i i ( hn+1 = tn+1 " tn )
i =o

!
 Por ser interpolacion de Lagrange

n o 1 2 3 4
1 -1/2 3/2
2 5/12 -16/12 23/12
3 -9/24 37/24 -59/24 55/24
4 251/720 -1274/720 2616/720 -2774/720 1901/720

n
nota #" i =1
i =0

error " n+1 = y( tn+1) # yn#1 = ah n+ 2 + $ ( h n+ 3 )

!

!
 Metodos implicitos
Interpolamos como antes, pero en n+2 puntos
to ,t1 ,....,tn+1 Qn+1( t) " Qn+1( ti ) = fi
De donde
tn+1

yn+1 = yn + " Qn+1( t) dt

t
! ! !n

finalmente
n

! yn+1 = yn + hn+1# "i fi + hn+1"n+1 f ( tn+1 ,yn+1)

i =o
 Lo que resulta en resolver una ecuacion
yn+1 = g( yn )
Implicita, se resuelve por un metodo
iterativo
si hi =!h "i entonces las "i son conocidas

n 0 1 2 3 4
!
1 1/2 1/2
2 -1/12
!8/12 5/12
3 1/24 -5/24 19/24 9/24
4 -19/720 106/720 -264/720 646/720 251/720

#" =1 " n+1 = yn+1 # yn = bh n+ 3 + $ ( h n+ 4 )

i
 Ecuaciones diferenciales de
orden n
Sean y1(t),y2(t),K,yn (t) n funciones
verificando el sistema diferencial
dy1
! = f1( t,y1(t),K,yn (t))
dt
M
dyn
= fn ( t,y1(t),K,yn (t))
dt
y1( t0 ) = y10 ,K, yn ( t0 ) = yn0

!
 proponemos
" y1(t)& " f ( t,{Y }) &
$ $ $ 1 $
{Y (t)} = # M ' {F( t,{Y })} =# M
$ f t, Y $
'
$ y (t)$ % n ( { })(
% n (

d{Y } ! con
dt
{ }
= F( t,{Y }) {Y (to )} = {Yo}
!

!
!
 Ecuaciones diferenciales de
orden n

d ny
n
y (t) = n
dt
y o ( t) = y(t)

!
y n (t) = f1( t,y o (t),y1(t),K,y n"1(t))
!

!
 # y n"1(t)'
% %
{Y (t)} = $ M (
% y o (t) %
& )

# y n (t) ' # f ( t,y o (t),y1(t),K,y n"1(t))' # f1( t,Y (t)) '

% n"1 % % 1 % % %
! % y (t)% % n"1
y (t) % % f2 ( t,Y (t)) %
{Y '(t)} = $ (=$ (=$ (
% M % % M % % M %
%& y o (t) %) %& y1(t) %) %& fn"1( t,Y (t))%)