Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Si la ecuacin solo tiene una sola variable independiente recibe el nombre de ecuaciones
diferenciales Ordinarias (EDO). Si la ecuacin contiene ms de una variable independiente,
apareciendo as sus derivadas Parciales, recibe el nombre de ecuaciones diferenciales en
derivadas parciales.
Se llama orden de una ecuacin diferencial al orden de la mayor derivada que aparezca en
ella.
Se llama grado de una ecuacin diferencial al grado de la derivada de mayor orden que
aparezca en ella.
Se llama solucin general de una ecuacin diferencial a toda relacin entre las variables,
libres de derivadas, que satisface dicha ecuacin diferencial. Por lo comn, la solucin
general de una ecuacin diferencial de orden n tiene n constante. Integrar o resolver una
ecuacin diferencial es hallar su solucin general.
Se llama solucin particular de una ecuacin diferencial a aquella solucin que se obtienen a
partir de la solucin general, dando valores a las constantes.
Una ecuacin diferencial es una ecuacin que incluye expresiones o trminos que
involucran a una funcin matemtica incgnita y sus derivadas. Algunos ejemplos de
ecuaciones diferenciales son:
es una ecuacin diferencial ordinaria, donde representa una funcin no
es decir:
Ni la funcin ni sus derivadas estn elevadas a ninguna potencia distinta de uno o cero.
En cada coeficiente que aparece multiplicndolas slo interviene la variable independiente.
Una combinacin lineal de sus soluciones es tambin solucin de la ecuacin.
Ejemplos:
El mtodo de Euler rara vez se utiliza en la prctica para obtener la solucin aproximada de
un problema de valor inicial, pero se estudia por su simplicidad en la derivacin de la
frmula y de la determinacin del error. Los mtodos de orden superior utilizan las mismas
tcnicas, pero el lgebra que requieren es mucho ms complicada.
Con el mtodo de Euler se obtiene una solucin aproximada de un problema de valor inicial
como el que se muestra en la ecuacin (1), en un conjunto finito de puntos.
(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.
(2)
(3)
(4)
Como y(t) satisface la ecuacin diferencial, en particular es y'(ti) = f(ti, yi), entonces
reemplazando en la frmula (4) resulta:
(5)
(7)
Con los valores obtenidos mediante este algoritmo se puede lograr un grfico discreto de la
solucin aproximada, o tambin se puede aplicar un mtodo de interpolacin para obtener
una grfica continua en el intervalo. La lista de valores obtenida con el algoritmo se puede
utilizar para comparar resultados, o calcular errores relativos y absolutos respecto de la
solucin exacta, si se conoce.
Ejemplo
(8)
i t y
0 1,00 2,0000
1 1,20 2,4000
2 1,40 2,9760
3 1,60 3,8093
4 1,80 5,0282
5 2,00 6,8384
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 = (tN t0)/N, se tiene que despus de N pasos, el error global acumulado
es:
(11)
En el siguiente teorema se deriva una cota de error para el mtodo de Euler. Ciertas
condiciones necesitan verificarse para la funcin que interviene en la ecuacin diferencial.
Algunas son condiciones para que el PVI tenga solucin nica, otras son especficas para
obtener la cota.
Teorema:
Sea el conjunto D = {(t, y) | a t b,- y } y f(t, y) continua en D, tal que
satisface una condicin de Lipschitz en D en la variable y.
Sea y(t) la solucin nica del PVI y' = f(t, y), a t b, y(a) = , 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. Entonces, para cada i = 0, 1, , N, se cumple:
(12)
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 t b,- y }.
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)
Euler Mejorado
2.- Ecuaciones Diferenciales Parciales (EDP) .- En las que aparece mas de una
variable independiente.
Para determinar una solucin particular, es necesaria una condicin inicial del
problema, con lo cual ser posible determinar el valor de la constante que
corresponde a ese caso particular y con ello seleccionar una sola curva que sea
solucin de la ecuacin diferencial dada.
Es por esto que uno de los requisitos para este mtodo es especificar el intervalo
de x.
y= f(x,y)
y(x0) = y0
(1)
(2)
(3)
(4)
(5)
donde
(6)
(7
)
donde el subndice i indica que todas las derivadas estn evaluadas en el
punto (ti, yi).
(8
)
(9
)
(10
)
(11)
(12
)
Comparando las expresiones (10) y (12), e igualando los coeficientes de
h y h2, se tiene:
(13)
Sucede que se tienen cuatro incgnitas, pero tres ecuaciones, con lo que
queda un grado de libertad en la solucin del sistema dado en (13). Se
trata de usar este grado de libertad para hacer que los coeficientes de
h3 en las expresiones (10) y (12) coincidan. Esto obviamente no se logra
para cualquier f.
(14)
(15)
(16)
(20)
(21)
(23)
(24)
(25)
En forma matricial, el sistema dado en (25) resulta:
(26)
(27)
(28)
para algn i[ti-3, ti+1]. Es decir, este mtodo es del orden de h4.
(29)
para algn i[ti-2, ti+1]. Es decir, este mtodo tambin es del orden de
h4. Por ello se comparan siempre los resultados de aplicar el mtodo de
Adams-Bashford de n + 1 pasos, contra el mtodo de Adams-Moulton
de n pasos.
(33
)
(34
)
(35
)
Tabla 1
(36)
(37)
Cuarto Orden
yi+1 = yi + [1/6 (k1 + 2k2 + 2k3 + k4)] h
y i = y(0) = 1
k1 = f (xi, yi) = f (0, 1) = 1(02-1) = -1
k2 = f (xi+1/2 h, yi+ h k1)
xi+1/2 h = 0+1/2 (0.5) = 0.25
yi+1/2 h k1 = 1 +1/2 (0.5)(-1) = 0.75
k2 = f (0.25, 0.75) = 0.625(0.3752 - 1)
= -0.7031
k3 = f (xi + 1/2 h, yi + 1/2 hk2)
xi+1/2 h = 0+ 1/2 (0.5) = 0.25
yi+1/2 h k2 = 1 +1/2 (0.5)(-0.7031)
= 0.8242
k3 = f (0.25, -0.7031) = -0.7727
k4 = f (xi + h, yi + h k3)
xi+ h = 0+ (0.5) = 0.5
yi+ h k3 = 1 + (0.5)(-0.7727)
= 0.6136
k4 = f (0.5, 0.6136) = -0.4602
y i+1 = y (0.5)
= 1 + 1/6 [-1 + 2(-0.7031)
+ 2(-0.7727) + 4(-0.4602)] (0.5)
= 0.6323
y i = y(0.5) = 0.6323
k1 = f (0.5, 0.6323) = -0.4743
xi+ 1/2 h = 0.75
yi+ 1/2 h k1 = 0.5138
k2 = f (0.75, 0.5138) = -0.2248
xi+ 1/2 h = 0.75
yi+ 1/2 h k2 = 0.5761
k3 = f (0.75, -0.5761) = -0.2521
xi+ h = 1
yi+ h k3 = 0.5063
k4 = f (1, 0.5063) = 0
y i+1 = y (1) = 0.5133
y i = y(1) = 0.5133
k1 = f (1, 0.5133) = 0
xi+ 1/2 h = 1.25
yi+ 1/2 h k1 = 0.5133
k2 = f (0.75, 0.5138) = -0.2889
xi+1/2 h = 1.25
yi+ 1/2 h k2 = 0.5855
k3 = f (0.75, -0.5761) = 0.3294
xi+ h = 1.5
yi+ h k3 = 0.6780
k4 = f (1, 0.5063) = 0.8475
y i+1 = y (1.5) = 0.6870
y i = y(1.5) = 0.6870
k1 = f (1.5, 0.6870) = 0.8587
xi+1/2 h = 1.75
yi+ 1/2 h k1 = 0.9017
k2 = f (1.75, 0.9017) = 1.8597
xi+ 1/2 h = 1.75
yi+ 1/2 h k2 = 1.1519
k3 = f (1.75, 1.1519) = 2.3758
xi+ h = 2
yi+ h k3 = 1.8749
k4 = f (2, 1.8749) = 5.6248
y i+1 = y (2) = 1.933
55 59 37 9
y i 1 y i h fi f i 1 f i 2 f i 3
24 24 24 24
9 19 5 1
y i 1 y i h f i 1 fi f i 1 f i 2
24 24 24 24
Primer Paso
xi = 0, yi = 1
xi - 1 = -0.5, yi - 1 = 1.581052
xi - 2 = -1, yi - 2 = 1.947028
xi - 3 = -1.5, yi - 3 = 1.453834
Predictor
y (0.5) = 0.9709569
Corrector
y (0.5) = 0.5911456
y (0.5) = 0.6445565
y (0.5) = 0.6370456
y (0.5) = 0.6381018
y (0.5) = 0.6379533
y (0.5) = 0.6379742
Segundo Paso
xi = 0.5, yi = 0.6379742
xi - 1 = 0, yi - 1 = 1
xi - 2 = -0.5, yi - 2 = 1.581052
xi - 3 = -1, yi - 3 = 1.947028
Predictor
y (1) = 0.735548
Corrector
y (1) = 0.5319068