Академический Документы
Профессиональный Документы
Культура Документы
(1)
Para empezar, se determina la malla {t0, t1, ... , tN} de paso h, donde t0 = a
y tN = b. En estos puntos es donde se va a obtener la aproximacin de la
solucin.
Para determinar la frmula del mtodo, se parte de un desarrollo de Taylor
de la funcin solucin y(t), alrededor de un punto de la malla, t i,
suponiendo que la funcin y(t) posee derivadas primera y segunda
continuas en (a, b):
(2)
(3)
(4)
(5)
(6)
(7)
(8)
0
1,
00
2,000
0
1,
20
2,400
0
1,
40
2,976
0
1,
60
3,809
3
1,
80
5,028
2
2,
00
6,838
4
1
2
3
4
5
Se ve en los grficos obtenidos, que a medida que nos alejamos del valor inicial, la solucin
aproximada pierde precisin (se aleja de la solucin exacta), para el paso h = 1/20. Cuando
se achica el paso, la solucin mejora (h = 1/50).
Anlisis del error
Al deducir la frmula de Euler para aproximar la solucin de un PVI tipo (1), al pasar de la
expresin (5) a la (6), se descart en la expresin el error, dado por
(9)
(10)
y tambin que h = (t N t0)/N, se tiene que despus de N pasos, el error global acumulado
es:
(11)
Observacin: Este teorema tiene como punto dbil el requisito de conocer una cota de la
derivada segunda de la solucin, ya que en general, la solucin exacta no se conoce.
Algunas veces, es posible obtener una cota del error de la derivada segunda sin conocer
explcitamente la funcin solucin. Por ejemplo, si existen las derivadas parciales de la
funcin f(t, y), aplicando la regla de la cadena, se tiene que:
(13)
Por lo tanto, si se conocen cotas de f y las derivadas parciales de f, se puede tener una cota
de y''.
La importancia principal de la frmula de cota de error del mtodo de Euler dada en (12)
consiste en que dicha cota depende linealmente del tamao del paso h. Esto implica que, al
disminuir el tamao del paso, las aproximaciones debern ser ms precisas.
Pero en el resultado del teorema anterior, no se tiene en cuenta el efecto que el error de
redondeo ejerce sobre el tamao del paso. A medida que h se hace ms pequeo, aumenta la
cantidad de clculos, y se puede predecir un mayor error de redondeo. Entonces, para
determinar una cota del error, se debe tener en cuenta el error de redondeo, y se puede
establecer el siguiente teorema:
Teorema:
Considere el PVI y' = f(t, y), a t b, y(a) = , con f continua y tal que satisface
una condicin de Lipschitz en la variable y con constante L, en el conjunto D =
{(t,
y)
|
a
b,-
}.
Sea y(t) la solucin nica del PVI, y supongamos que existe una constante M tal
que
|y''
(t)|
M t [a,b].
Sean w0, w1, , wN las aproximaciones generadas con el mtodo de Euler para N
entero positivo, donde cada una tiene un error de redondeo asociado i.
Si |i| para cada i de 0 a N, entonces, para cada i = 0, 1, , N, se cumple:
(14)
Se ve claramente en la frmula dada en (14) que cuando el valor de h se hace muy pequeo,
la cota del error puede aumentar, ya que h aparece en el denominador de un cociente. La
cota de error aqu obtenida, ya no es lineal en h.
Si se considera la expresin E(h) = h M/2 +/h, tenemos que tiende a infinito cuando h
tiende a cero. Con esto, se ve que cuando h tiende a cero, el error aumenta. Podemos
establecer una cota inferior para h, de manera de evitar este problema. Si calculamos la
derivada de E(h), tenemos que E'(h) = M/2 - /h2, por lo tanto, se anula en el valor
. En este valor de h, E'(h) pasa de ser negativa a positiva, con lo que se
puede
concluir
que
en
dicho
valor
E(h)
presenta
un
mnimo.
Esto indica que ste es el valor mnimo que se puede tomar para h. En general, el valor
de es lo bastante pequeo como para que esta cota ms baja no influya en la aplicacin
del mtodo de Euler.