Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ecuaciones Diferenciales de
Ordinarias (ODEs) de primer
orden: Problema de Valor Inicial �
�.� Contextualización . . . . . . . ��
�.� Contextualización �.� Métodos numéricos de resolu-
ción para PVIs . . . . . . . . . . . ��
Numerosos fenómenos, tanto naturales como artificiales, consisten de Errores asociados a los métodos
relaciones entre magnitudes en las que el concepto tasa de cambio juega de aproximación de ODEs . . . ��
un papel fundamental. La representación matemática de estas relaciones �.� Método de Euler . . . . . . . . ��
son, a menudo, ecuaciones en las que dicha tasa de cambio se expresa Análisis del error en el método
a través de derivadas. Por tal motivo, este tipo de ecuaciones reciben el de Euler . . . . . . . . . . . . . . . ��
nombre de ecuaciones diferenciales o, a veces, ecuaciones de cambio. Pseudocódigo del Método de Eu-
Así, fenómenos tales como: ler . . . . . . . . . . . . . . . . . . . ��
�.� Métodos de Heun y del punto
I El movimiento de los fluidos. medio . . . . . . . . . . . . . . . . ��
I E flujo de corriente en un circuito. Método de Heun . . . . . . . ��
I La disipación del calor en estructuras sólidas. Método del punto medio . . ��
I La propagación y detección de ondas sísmicas. �.� Método de Runge-Kutta IV . ��
I La dinámica de poblaciones.
I ...
se modelan e investigan a través de ecuaciones diferenciales, cuyo estudio
(propiedades y soluciones) se hace entonces indispensable.
3 2 &(C) 3&(C) 1
! +' + &(C) = ⇢(C) (�.�)
3C 2 3C ⇠
En (�.�) la cantidad que cambia, &(C), se denomina variable de-
pendiente, mientras que la cantidad con respecto a la cual cambia,
C , se denomina variable independiente.
Como se puede observar, (�.�) involucra sólo una variable inde-
pendiente. A este tipo de ecuaciones diferenciales se les denomina
ecuaciones diferenciales ordinarias.
3E(C) ✏
=6 E(C) (�.�)
3C <
es una EDO de orden �, dado que la derivada más alta involucrada es de
orden �.
De igual forma, (�.�) es una ecuación en derivadas parciales (EDP) de
orden �, dado que la derivada parcial más alta que aparece en la ecuación
es de orden �. Por el contrario, la ecuación diferencial conocida con el
nombre de ecuación de advección,
%D(G, H) %D(G, H)
+ =0 (�.�)
%G %H
es una EDP de orden �, dado que la derivada parcial más alta involucrada
es de orden � .
3H(C)
= 5 (C, H),
3C
H(C0 ) = H0
I Por el contrario, si las constantes de integración están deter-
minadas para distintos valores de la variable independiente,
se habla de un problema de valores en la frontera† .
De nuevo, la cuestión de la unicidad tiene implicaciones prácticas
dado que si conseguimos hallar la solución de un problema y se
sabe que tiene solución única, ya hemos acabado. Pero si existen
más soluciones, habrá que continuar con el proceso de búsqueda.
�. Por último, sabiendo que existe al menos una solución de (�.�),
¿cómo se calcula?
Existen métodos analíticos que permiten obtener la familia de
soluciones exacta de (�.�). Desafortunadamente, en la mayoría de
los casos, sobre todo aquellos que involucran relaciones no lineales,
los métodos analíticos de resolución resultan inviables.
Una forma de solventar este inconveniente implica el uso de méto-
dos numéricos, que permitirán obtener una aproximación a una
solución particular de (�.�).
3H(C)
= 5 (C, H), 0<C<1
3C
H(C0 ) = H0
La razón de estudiar sólo este tipo de EDOs se debe a que, por un pro-
cedimiento denominado reducción de orden, toda EDO de orden superior
a � puede expresarse como un sistema de EDOs de orden �.
A modo de ejemplo, la EDO de orden �,
32 G(C) 3G(C)
< +2 + :G(C) = 0
3C 2 3C
que modela el movimiento de un sistema masa-resorte (<, :) con amor-
tigüación (2), puede escribirse como el siguiente sistema de EDOs de
orden � (
3G(C)
3C = H(C)
3H(C) : 2
3C = < G(C) < H(C)
Para el PVI,
3H(C)
= 5 (C, H), 0C1 (�.�)
3C
H(C0 ) = H0
�. Métodos multipaso.
Estos métodos calculan la aproximación H 8+1 a partir de varias
aproximaciones anteriores.
"
|⇢ ; | ⌘ =+1 , " max | 5 (=) (⇢, H(⇢))|, ◆ 2 (G 8 , G 8+1 )
(= + 1)!
5 0(C 8 , H 8 ) 2 5 (= 1) (C 8 , H 8 ) =
H(C 8+1 ) = H(C 8 +⌘) = H(C 8 )+ 5 (C 8 , H 8 )⌘+ ⌘ +. . .+ ⌘ +$(⌘ =+1 )
2! =!
(�.�)
donde $(⌘ =+1 ) establece que el error local de trun-
camiento es proporcional a ⌘ =+1 .
Como se comprobará en cada uno de los métodos, el
error de truncamiento aparece al aproximar la solución
verdadera haciendo uso de un número finito de términos
en el desarrollo de Taylor de la solución real, esto es, se
trunca u omite parte de esta solución.
H1 = H0 + 5 (C0 , H0 )(C1 C0 )
� Resolución numérica de Ecuaciones Diferenciales de Ordinarias �ODEs� de
��
primer orden� Problema de Valor Inicial
H = H1 + 5 (C1 , H1 )(C C1 )
C 8+1 = C 8 + ⌘, 8 = 0 , 1 , 2 , . . .
H 8+1 = H 8 + ⌘ 5 (C 8 , H 8 ), 8 = 0, 1, 2, . . . (�.��)
Sea el PVI ( 3H
1
3G =4+4 C
3 H,
H(0) = 1
Hacer uso del método de Euler con cuatro nodos para aproximar los
valores de la solución en el intervalo [0 , 0.4]. Comparar el resultado
con los valores de la solución real.
son
C0 = 0 , C1 = 0.1 , C2 = 0.2 , C3 = 0.3 , C4 = 0.4
�. Conocidos los nodos y la longitud de paso, procedemos a la
aplicación de la fórmula de Euler para calcular cada una de las
aproximaciones H 8 , 8 = 1 , 2 , 3 , 4, donde 5 (C, H) = 4 + 4 C 13 H ,
junto con el valor de la solución exacta, H(C), y el error global,
⇢ 8 = |H 8 H(C 8 )|, 8 = 1 , 2 , 3 , 4 en cada nodo:
A partir de las figuras �.� y �.� del ejemplo, puede observarse lo sigu-
iente:
⇢ 6 (⌘ = 0.1) 0.042683437
= = 2.0279558378 ⇡ 2
⇢ 6 (⌘ = 0.05) 0.021047518
Fig. �.�. ⌘ = 0.1
lo cual muestra que el método es de primer orden (⇢ 6 = $(⌘)).
�. Los errores en general son demasiado grandes. Esto se debe a que
el error global es del orden de ⌘ .
�. Los errores son todos negativos. Esto indica que la solución
numérica “sigue” a la solución exacta. Esto ocurre dado que la
primera derivada de 5 (C, H) decrece a medida que se C aumenta.
�. La solución numérica se acerca mejor a la solución exacta cuando
⌘ disminuye. Esta propiedad se conoce como convergencia del
método.
5 0(C 8 , H 8 ) 2
⇢; ⇡ ⌘ ) ⇢ ; = $(⌘ 2 ) (�.��)
2!
Puede demostrarse que el error global de truncamiento, ⇢ 6 , es propor-
cional a la longitud de paso, i.e., ⇢ 6 = $(⌘).
Comentarios:
�. En la práctica, se escogerá un valor la longitud de paso, ⌘ , su-
ficientemente pequeño como para alcanzar una cierta precisión,
pero no demasiado pequeño. Esto se debe a que una longitud de
paso demasiado pequeña aumenta el número de cálculos y los
enletece, de forma que se incrementa el coste computacional, lo
que en muchos casos supone una pérdida en la precisión de los
resultados.
�. Dado que, de entre todos los errores, el error de truncamiento
global es el más accesible, será el que se calcula en cada uno de los
métodos numéricos de este tema.
Método de Heun
en el intervalo [0 , 1] con # = 4.
1 0 1
⌘= = = 0.25
4 4
� Resolución numérica de Ecuaciones Diferenciales de Ordinarias �ODEs� de
��
primer orden� Problema de Valor Inicial
y, por tanto, las aproximaciones a calcular son las asociadas a cada uno
de los nodos C 8 , 8 = 1 , 2 , 3 , 4, donde 5 (C, H) = HC 2 1.1 H . Así:
A partir de las figuras �.� y �.� del ejemplo, puede observarse lo sigu-
Fig. �.�. ⌘ = 0.25
iente:
⇢ 6 (⌘ = 0.25) 0.007057
= = 3.74 ⇡ 4
⇢ 6 (⌘ = 0.125) 0.001889
�. Calcula H 8+ 1 , la aproximación en C 8 + ⌘
2 (punto medio del intervalo),
2
⌘
H 8+ 1 = H 8 + 5 (C 8 , H 8 ) (�.��)
2 2
�. Emplea el valor en (�.��) para calcular la pendiente en el punto
medio,
0
⇣ ⌘
H 8+ 1 = 5 C 8+ 1 , H 8+ 1 (�.��)
2 2 2
que se asume como una correcta aproximación de la pendiente Fig. �.�. Representación gráfica del
método del punto medio
promedio en todo el intervalo [C 8 , C 8+1 ].
�. La pendiente en (�.��) se utiliza para calcular la aproximación en
el nodo C 8+1 , ⇣ ⌘
H 8+1 = H 8 + 5 C 8+ 1 , H 8+ 1 ⌘ (�.��)
2 2
§ El método de Heun con una longitud de paso, ⌘ , requiere el mismo número de evaluaciones
⌘
de 5 que el método de Euler con una longitud de paso 2.
� Resolución numérica de Ecuaciones Diferenciales de Ordinarias �ODEs� de
��
primer orden� Problema de Valor Inicial
3 C2
H(C) =
C 6
Como el intervalo de integración es [0 , 1] y el número de nodos es
# = 4, la longitud de paso resulta
1 0
⌘= = 0.25
4
Luego, el intervalo [0 , 1] queda discretizado del siguiente modo,
⌘
(# = 1) ) H 1 = H0 + 5 (C0 , H0 ) = 0 + 0.125 5 (0 , 0.5) = 0.510417
2 2
H1 = H0 + 0.25 5 (C 1 , H 1 ) = 0.532177
2 2
A partir de las figuras �.� y �.� del ejemplo, puede observarse lo sigu-
iente:
⇢ 6 (⌘ = 0.25) 0.003909
= = 3.75 ⇡ 4
⇢ 6 (⌘ = 0.125) 0.001042
" = 01 :1 + 02 :2 + . . . + 0 = : = (�.��)
:1 = 5 (C 8 , H 8 )
:2 = 5 (C 8 + ? 1 ⌘, H 8 + @ 11 :1 ⌘)
:3 = 5 (C 8 + ? 2 ⌘, H 8 + @ 21 :1 ⌘ + @22 : 2 ⌘)
:4 = 5 (C 8 + ?3 ⌘, H 8 + @ 31 : 1 ⌘ + @ 32 :2 ⌘ + @33 :3 ⌘)
..
.
: = = 5 (C 8 + ? = 1 ⌘, H 8 + @ = 1 ,1 : 1 ⌘ + @= 1 ,2 : 2 ⌘, + . . . + @= 1 ,= 1 : = 1 ⌘)
01 = 1, ?0 = 0 y @ 0 ,0 = 0
de forma que
H 8+1 = H 8 + 5 (C 8 , H 8 )⌘
I El método de Runge-Kutta de orden 2 (= = 2) con
1
01 = 02 = , ?1 = @ 11 = 1
2
se corresponde con el método de Heun,
✓ ◆
1 1
H 8+1 = H8 + :1 + :2 ⌘
2 2
� Resolución numérica de Ecuaciones Diferenciales de Ordinarias �ODEs� de
��
primer orden� Problema de Valor Inicial
donde
:1 = 5 (C 8 , H 8 )
:2 = 5 (C 8 + ⌘, H 8 + : 1 ⌘)
1
01 = 0, 02 = 1, ?1 = @11 =
2
se corresponde con el método del punto medio,
H 8+1 = H 8 + :2 ⌘
donde
: 1 = 5 (C 8 , H 8 )
✓ ◆
1 1
: 2 = 5 C 8 + ⌘, H 8 + :1 ⌘
2 2
1 2 3
01 = , 02 = , ?1 = @11 =
3 3 4
donde
: 1 = 5 (C 8 , H 8 )
✓ ◆
3 3
:2 = 5 C 8 + ⌘, H 8 + :1 ⌘
4 4
1
H 8+1 = H 8 + (:1 + 2 : 2 + 2 :3 + :4 )⌘ (�.��)
6
donde
: 1 = 5 (C 8 , H 8 )
✓ ◆
1 1
: 2 = 5 C 8 + ⌘, H 8 + :1 ⌘
2 2
✓ ◆ Fig. �.��. Representación gráfica del
método RK IV
1 1
: 3 = 5 C 8 + ⌘, H 8 + :2 ⌘
2 2
: 4 = 5 (C 8 + ⌘, H 8 + :3 ⌘)
¶ El
método de Ralston fue propuesto por los matemáticos Anthony Ralston y Philip
Rabinowitz en ����.
� Resolución numérica de Ecuaciones Diferenciales de Ordinarias �ODEs� de
��
primer orden� Problema de Valor Inicial
1
H 8+1 = H 8 + (7 :1 + 32 :3 + 12 : 4 + 32 :5 + 7 :6 )⌘
90
donde
:1 = 5 (C 8 , H 8 )
✓ ◆
1 1
:2 = 5 C 8 + ⌘, H 8 + :1 ⌘
4 4
✓ ◆
1 1 1
:3 = 5 C 8 + ⌘, H 8 + :1 ⌘ + : 2 ⌘
4 8 8
1 1
:4 = 5 (C 8 + ⌘, H 8 :2 ⌘ + :3 ⌘)
✓ 2 2 ◆
3 3 9
:5 = 5 C 8 + ⌘, H 8 + :1 ⌘ + :4 ⌘
4 16 16
✓ ◆
3 2 12 12 8
:6 = 5 C 8 + ⌘, H 8 :1 ⌘ + :2 ⌘ + :3 ⌘ :4 ⌘ + :5 ⌘
7 7 7 7 7
Warning!
En general, será preferible emplear métodos RK de órdenes superi-
ores, aunque factores como el coste computacional y los requisitos
de precisión del problema en cuestión, deberán ser considerados a
la hora de escoger el método en cuestión.
en el intervalo [0 , 2] y # = 4.
2 0 1
⌘= = = 0.5
4 2
Luego, el intervalo [0 , 2] queda discretizado del siguiente modo,
1
estos nodos con 5 (C, H) = 2 C + 2 H . Así:
(1)
(# = 1) ) : 1 = 5 (C0 , H0 ) = 2.5
✓ ◆
(1) 1 1 (1)
:2 = 5 C0 + ⌘, H0 + :1 ⌘ = 3.5
2 2
✓ ◆
(1) 1 1 (1)
:3 = 5 C0 + ⌘, H0 + :2 ⌘ = 4.0
2 2
⇣ ⌘
(1) (1)
: 4 = 5 C0 + ⌘, H0 + : 3 ⌘ = 6.0
1 (1) (1) (1) (1)
H1 = H0 + (:1 + 2 :2 + 2 :3 + : 4 )⌘ = 2.958333
6
H(C1 ) = )(0.5) = 2.968282
⇢ 6 (1) = H(C1 ) H1 = 0.009948
(2)
(# = 2) ) : 1 = 5 (C1 , H1 ) = 5.916667
✓ ◆
(2) 1 1 (2)
:2 = 5 C1 + ⌘, H1 + :1 ⌘ = 8.625
2 2
✓ ◆
(2) 1 1 (2)
:3 = 5 C1 + ⌘, H1 + :2 ⌘ = 9.979167
2 2
⇣ ⌘
(2) (2)
: 4 = 5 C1 + ⌘, H1 + : 3 ⌘ = 15.395833
1 (2) (2) (2) (2)
H2 = H1 + (:1 + 2 :2 + 2 :3 + : 4 )⌘ = 7.835069
6
H(C2 ) = )(1.0) = 7.889056
⇢ 6 (2) = H(C2 ) H2 = 0.053987
(3)
(# = 3) ) :1 = 5 (C2 , H2 ) = 15.170139
✓ ◆
(3) 1 1 (3)
:2 = 5 C2 + ⌘, H2 + :1 ⌘ = 22.505208
2 2
✓ ◆
(3) 1 1 (3)
:3 = 5 C2 + ⌘, H2 + :2 ⌘ = 26.172743
2 2
⇣ ⌘
(3) (3)
: 4 = 5 C2 + ⌘, H2 + : 3 ⌘ = 40.842882
1 (3) (3) (3) (3)
H3 = H2 + (:1 + 2 :2 + 2 :3 + : 4 )⌘ = 20.615813
6
H(C3 ) = )(1.5) = 20.835537
Fig. �.��. ⌘ = 0.25
⇢ 6 (3) = H(C3 ) H3 =
(4)
(# = 4) ) : 1 = 5 (C3 , H3 ) = 40.231626
✓ ◆
(4) 1 1 (4)
:2 = 5 C3 + ⌘, H3 + :1 ⌘ = 60.097439
2 2
✓ ◆
(4) 1 1 (4)
: 3 = 5 C3 + ⌘, H3 + :2 ⌘ = 70.030346
2 2
⇣ ⌘
(4) (4)
: 4 = 5 C3 + ⌘, H3 + : 3 ⌘ = 109.761972
1 (4) (4) (4) (4)
H1 = H3 + (:1 + 2 :2 + 2 :3 + : 4 )⌘ = 54.803244
6
H(C4 ) = )(2) = 55.598150
⇢ 6 (4) = H(C4 ) H4 = 0.794906
⇢ 6 (⌘ = 0.5) 0.794906
= = 10.58
⇢ 6 (⌘ = 0.25) 0.075132
Resumen
Se han presentado varios tipos de métodos numéricos de un sólo
paso que permiten aproximar la solución de un PVI.
Este tipo de métodos funcionan bien cuando se aplican sobre
problemas que (no) varían suavemente:
I El método de Euler (de primer orden) es útil para ilustrar las
características básicas de este tipo de métodos para resolver
PVIs.
� Resolución numérica de Ecuaciones Diferenciales de Ordinarias �ODEs� de
��
primer orden� Problema de Valor Inicial