ANS115 1

SOLUCIN NUMRICA DE
EDOS
Mtodo de Euler
ANS115 2

En esta clase se estudiar el mtodo de Euler. Aunque rara vez se
emplea en la prctica, la simplicidad de su deduccin sirve para
ejemplificar las tcnicas con que se desarrollan algunos
METODO DE EULER
de los
mtodos ms avanzados; sin el lgebra engorrosa que acompaa a
tales desarrollos.
Este mtodo tiene por objeto obtener una aproximacin de un
problema bien planteado de valor inicial

d
( , ), ; ( ) .
y
f t y a t b y a
dt
o = s s =
ANS115 3
En la prctica, no se obtendr una aproximacin continua a la solu-
cin ( ); por el contrario, se generarn aproximaciones a esa solu-
cin en varios valores, llamados , en el intervalo
y t
a puntos de red
| |
, .
Una vez obtenida la proximacin en los puntos, se puede obtener por
interpolacin la solucin aproximada en otros puntos del intervalo.
En primer lugar, se estipula que los puntos de red tienen una
b
| |
distribucin
uniforme en todo el intervalo , . Se garantiza esta condicin al
seleccionar un entero positivo y los puntos de red
, para cada 0,1, 2,..., .
La distancia comn entre l
i
a b
N
t a ih i N = + =
os puntos ( ) / recibe el nombre de
.
h b a N =
tamao de paso
ANS115 4
| |
Se utilizar el teorema de Taylor para derivar el mtodo de Euler.
Suponiendo que ( ), la solucin nica de la ecuacin
( , ), ; ( ) ,
tiene dos derivadas continuas en , , de m
y t
dy
f t y a t b y a
dt
a b
o = s s =
2
1
1 1
1 1
2
1
odo que para cada
0,1, 2,..., -1,
( )
( ) ( ) ( ) '( ) ''( ),
2
para algn nmero en ( ). Si , entonces
( ) ( ) '( ) ''( ),
2
y, c
i i
i i i i i i
i i i i i
i i i i
i N
t t
y t y t t t y t y
t t h t t
h
y t y t hy t y

+
+ +
+ +
+
=

= + +
=
= + +
omo ( ) satisface la ecuacin diferencial
( , ), ; ( ) ,
y t
dy
f t y a t b y a
dt
o = s s =
( )
1
,
+ i i
t t
ANS115 5
2
1
0
1
entonces
( ) ( ) ( , ( )) ''( ) .
2
El mtodo de Euler construye ( ) para cada 1, 2,..., , al
eliminar el trmino restante. Por tanto,
,
(
i i i i i
i i
i i
h
y t y t hf t y t y
w y t i N
w
w w hf

o
+
+
= + +
~ =
=
= +
(i)
, ), para cada 0,1,..., 1.
A la ecuacin (i) se le llama
. Como se ver luego en esta unidad 5, la teora y la
solucin de este tipo
i i
t w i N =
ecuacin de diferencias asociada al
mtodo de Euler
de ecuaciones son similares en muchos aspectos a
la teora y solucin de las ecuaciones diferenciales.
El algoritmo 5.1 (ALG051) implementa el mtodo de Euler.
ANS115 6
| |
ALGORITMO 5.1: METODO DE EULER
Para aproximar la solucin del problema de valor inicial
' ( , ), , ( ) .
en ( 1) nmeros uniformemente espaciados en el intervalo , :
ENTRADA extremo
y f t y a t b y a
N a b
o = s s =
+
s , ; entero ; condicin inicial .
SALIDA aproximacin a en los ( 1) valores de .
Paso 1 Tomar ( - ) / ;
;
;
SALIDA
a b N
w y N t
h b a N
t a
w
o
o
+
=
=
=
i
( , ).
Paso 2 Para 1, 2,..., hacer pasos 3, 4.
Paso 3 Hacer ( , ); (Calcular )
. (Calcular )
Paso 4 SALIDA ( , ).
Pas
i
t w
i N
w w hf t w w
t a ih t
t w
=
= +
= +
o 5 PARAR.
ANS115 7
Para interpretar geomtricamente el mtodo de Euler, notar que:
Cuando es una aproximacin cercana de ( );
la suposicin de que el problema est bien planteado implica que
( , ) '( )
i i
i i i
w y t
f t w y t f = = ( , ( )).
En la siguiente figura (a) aparece la grfica de la funcin, donde
resalta ( ).
En la figura (b) se muestra un paso del mtodo de Euler y en la
siguiente figura (c) una serie de pasos del m
i i
i
t y t
y t
todo de Euler.
ANS115 8
( ) ( )
N
y t y b =
y
t
0 1 2
| | | |

N
t a t t t b = . =
-
-
-
-
2
( ) y t
1
( ) y t
0
( ) y t o =
( ) a
' ( , )
( )
y f t y
y a o
=
=
t
Pendiente
'( ) ( , ) y a f a o =
y
0 1 2
| | | |

N
t a t t t b = . =
-
- 1
w
o
( ) b
' ( , )
( )
y f t y
y a o
=
=
ANS115 9
( ) y b
y
t
0 1 2
| | | |

N
t a t t t b = . =
-
2
w
1
w
o
' ( , )
( )
y f t y
y a o
=
=
N
w
( ) c
ANS115 10
2
0
1
: Suponiendo que se emplea el mtodo de Euler para
aproximar la solucin al problema de valor inicial
' 1, 0 2, (0) 0.5,
con 10.
Entonces 0.2, 0.2 , 0.5, y

i
i i
y y t t y
N
h t i w
w w
+
= + s s =
=
= = =
=
EJEMPLO 1
2 2
2
1
2
( 1) 0.2 0.04 1
1.2 0.008 0.2, para 0,1,..., 9.
La solucin exacta es ( ) ( 1) 0.5 .
En la tabla siguiente se muestra la comparacin entre los valores
aproximados en
i i i i
i i
t
h w t w w i
w w i i
y t t e
t
+
( + + = + +

= + =
= +
y los valores reales.
i
ANS115 11
( )
0.0 0.5000000 0.5000000 0.0000000
0.2 0.8000000 0.8292986 0.0292986
0.4 1.1520000 1.2140877 0.0620877
0.6 1.5504000
i i i i i i
t w y y t y w =
1.6489406 0.0985406
0.8 1.9884800 2.1272295 0.1387495
1.0 2.4581760 2.6408591 0.1826831
1.2 2.9498112 3.1799415 0.2301303
1.4 3.4517734 3.7324000 0.2806266
1.6 3.9501281 4.2834838 0.3333557
1.8 4.4281538 4.8151763 0.3870225
2.0 4.8657845 5.3054720 0.4396874
ANS115 12
>> ALG051
This is Eulers Method.
Input the function F(t,y) in terms of t and y
For example: y-t^2+1
'y-t^2+1'
Input left and right endpoints on separate lines.
0
2
Input the initia
Solucin Usando Matlab...
l condition
0.5
Input a positive integer for the number of subintervals
10
ANS115 13
Choice of output method:
1. Output to screen
2. Output to text file
Please enter 1 or 2
1
EULERS METHOD
t w
0.000 0.5000000
0.200 0.8000000
0.400 1.1520000
0.600 1.5504000
0.800 1.9884800
1.000 2.4581760
1.200 2.9498112
1.400 3.4517734
1.600 3.9501281
1.800 4.4281538
2.000 4.8657845
ANS115 14
En el ejemplo 1 el error crece un poco a medida que el valor de
aumenta. Este crecimiento controlado del error es consecuencia de
la estabilidad del mtodo de Euler, el cual implica que se espera
que,
t
en el peor de los casos, el error aumente en forma lineal.
Aunque el mtodo de Euler no es lo suficientemente exacto para
justificar su uso en la prctica, resulta lo bastante simple para
analizar el error producido en su aplicacin. El anlisis del error
con los mtodos ms precisos que se ver en clases posteriores
sigue el mismo patrn, slo que es ms complicado.
Si se desea obtener una cota de error en el mtodo de Euler,
primero se debe considerar dos lemas de clculo.
ANS115 15
{ }
0
0
Para toda -1 y para cualquier positiva, se tiene
0 (1 ) .
Si y son nmeros reales positivos, es una
sucesin que satisface / , y

m mx
k
i
i
x m
x e
s t a
a t s
=
>
s + s
>
Lema :
Lema :
1
( 1)
1 0
(1 ) , para cada 0,1, 2,..., ,
entonces
.
i i
i s
i
a s a t i k
t t
a e a
s s
+
+
+
s + + =
| |
s +
|
\ .
ANS115 16
{ }
Suponiendo que es
continua y que satisface la condicin de Lipschitz con la constante
en ( , ) | ,
y que existe una constante con la propiedad
f
L D t y a t b y
M
= s s < < +
Teorema del Error en las aproximaciones :
| |
0 1
de que
''( ) , para toda ,
Se denota con ( ) la solucin nica del problema de valor inicial
' ( , ), , ( )
y sean , ,..., las aproximaciones generadas con el mtod
N
y t M t a b
y t
y f t y a t b y a
w w w
o
s e
= s s =
( )
o
de Euler para algn entero positivo .
Entonces para cada 0,1, 2,..., ;
( ) 1 .
2
i
L t a
i i
N
i N
hM
y t w e
L

=
(
s

ANS115 17
El punto dbil del teorema del error consiste en el requisito de
conocer una cota de la segunda derivada de la solucin.
Aunque con frecuencia esta condicin impide obtener una cota de
error realista, conviene sealar que, si existen / y / , la regla
de la cadena para la diferenciacin parcial implica que
'
''( ) ( ) ( , ( )) ( , ( )) ( , ( )) ( , ( ))
As pues, a veces es posibl
f t f y
dy df f f
y t t t y t t y t t y t f t y t
dt dt t y
c c c c
c c
= = = +
c c
e obtener una cota de error para ''( ) sin
que se conozca explicitamente ( ).
y t
y t
ANS115 18
2
2
: Retomando el problema de valor inicial del ejemplo 1
' 1, 0 2, (0) 0.5,
( , )
se ve que como ( , ) - 1, se tiene 1 para toda
y, por lo mismo, 1. En
y y t t y
f t y
f t y y t y
y
L
= + s s =
c
= + =
c
=
EJEMPLO 2
| |
2
2
este problema la solucin exacta es
1
( ) ( 1) de manera que ''( ) 2- 0.5 y
2
''( ) 0.5 2, para toda 0, 2 .
Al utilizar la desigualdad de la cota de error en el mtodo de Euler
t t
y t t e y t e
y t e t
= + =
s e
2
2
con 0.2, 1 y 0.5 2 se obtiene la cota de error
0.1(0.5 2)( 1).
i
t
i i
h L M e
y w e e
= = =
s
ANS115 19
La tabla siguiente contiene el error real encontrado en el ejemplo 1,
junto con esta cota de error.
Se puede observar que aunque se utiliza la cota de error verdadera
en la segunda derivada de la solucin, la cota de error es mucho
mayor que el error real.
Error real Cota de Error
0.2 0.02930 0.03752
0.4 0.06209 0.08334
0.6 0.09854 0.13931
0.8 0.13875
i
t Error real Cota de Error
1.2 0.23013 0.39315
1.4 0.28063 0.51771

1.6 0.33336 0.66985
0.20767 1.8 0.38702 0.8556
1.0 0.18268 0.20767
i
t
8
2.0 0.43969 1.08264
ANS115 20
La importancia principal de la frmula de la cota de error que se da
en el teorema anterior, radica en que la cota depende linealmente del
tamao de paso . En consecuencia, cuando el tamao disminuye, h
deber haber mayor exactitud en las aproximaciones.
En el resultado del teorema anterior no se tiene en cuenta el efecto
que el error de redondeo ejerce sobre la eleccin del tamao de paso.
Conforme d h
0
1 1
ecrece, se requieren ms clculos y se puede predecir
un mayor error de redondeo. As pues, en la prctica la forma de la
ecuacin de diferencia
,
( , ) , para cada
i i i i i
w
w w hf t w
o
o
+ +
=
= + + 0,1, 2,..., -1, i N =
ANS115 21
0 0
1 1
no se utiliza para calcular la aproximacin a la solucin en un
punto de red .
En cambio, usando una ecuacin de la forma
,
( , ) , para cada 0,1, 2,...,
i
i
i i i i i
y
t
u
u u hf t u i N
o o
o
+ +
= +
= + + =
i
0 1
(ii)
-1,
donde denota el error de redondeo asociado a .
: Sea ( ) la solucin nica al problema de valor
inicial
' ( , ), , ( ) (iii)
y sean , ,..., las aprox
i
N
u
y t
y f t y a t b y a
u u u
o
o = s s =
TEOREMA
imaciones obtenidas mediante las
frmulas (ii).
ANS115 22
( ) ( )
i
0
Si para cada 0,1,..., y las hiptesis del
teorema del error son aplicables a (iii), entonces
1
( ) 1 , (iv)
2
para cada 0,1,..., .
La cota de error (iv)
i i
L t a L t a
i i
i N
hM
y t u e e
L h
i N
o o
o
o

< =
| |
(
s + +
|

\ .
=
0
ya no es lineal en . De hecho, dado que
lim ,
2
se puede esperar que el error se vuelva grande con valores de
suficientemente pequeos. Se puede utilizar el c
h
h
hM
h
h
o

| |
+ =
|
\ .
lculo y determinar
una cota ms baja para el tamao de paso . h
ANS115 23
2
Tomar
( ) implica que '( ) .
2 2
2
Si , cuando '( ) 0 y ( ) es decreciente.
2
Si , cuando '( ) 0 y ( ) es creciente.
El valor mnimo de ( ) ocurre cuando
hM M
E h E h
h h
h E h E h
M
h E h E h
M
E h
o o
o
o
| | | |
= + =
| |
\ . \ .
< <
> >
2
. h
M
o
=
ANS115 24
Cuando se reduce ms all de este valor, el error de la
aproximacin tiende a incrementarse. No obstante, normalmente
el valor de es lo bastante pequeo para que esta cota ms baja
de no influya en
h
h
o
la operacin del mtodo de Euler.