AP Ecuaciones Diferenciales Ordinarias

Resolucin numrica de ecuaciones diferenciales
ordinarias
1.
Objetivo
Las presentes notas de clases tienen como objetivo guiar el estudio de los contenidos de anlisis numrico
comprendidos en los cursos de Matemtica D1 relativos a la solucin numrica de ecuaciones diferenciales

ordinarias.
Saberes previos: se suponen conocidas nociones elementales de lgebra, anlisis matemtico y anlisis numrico. Entre otros contenidos, se recomienda revisin de: serie de Taylor, Teorema de Rolle, Teorema del Valor
Medio, Ecuaciones diferenciales, errores, derivacin numrica y manejo de software especco. En el captulo 1
de la referencia [1] se encuentran teoremas de clculo y deniciones que sern tiles en el estudio de la unidad.
2.
BIBLIOGRAFA:
Los distintos temas comprendidos en esta gua de estudio se presentan de manera simplicada, siendo
necesaria la consulta entre la bibliografa citada.

1.
Burden R. y Faires D., Anlisis Numrico, Grupo Editorial Thomson.
2.
S. Chapra y R. Canale, Mtodos Numricos para Ingenieros, cuarta edicin, McGraw-Hill.
3.
S. Nakamura, Anlisis Numrico y Visualizacin Grca con MatLab, Prentice-Hall.
4.
Kreyzig E, Matemticas Avanzadas para Ingeniera, Vol I y II, Limusa.
5.
Campbell S. y Haberman R, Introduccin a las Ecuaciones Diferenciales con problemas de valor de

frontera, McGraw Hill.
6.
W. Trench,Ecuaciones Diferenciales con problemas de valor de frontera, Grupo Editorial Thomson.
7.
H. Moore, MATLAB para ingenieros, Prentice-Hall
UNIVERSIDAD NACIONAL DE LA PLATA
Facultad de Ingeniera
ndice
1. Objetivo
2. BIBLIOGRAFA:
3. Introduccin
3.1.
El dominio continuo y la discretizacin.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.
Problemas de valor inicial (PVI) y problemas de condiciones de frontera. . . . . . . . . . . . . . .
3.3.
Campos de direcciones.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.4.
Solucin de la ecuacin diferencial - Existencia y unicidad. . . . . . . . . . . . . . . . . . . . . . .
3.5.
Consistencia, estabilidad y convergencia de mtodo numrico. . . . . . . . . . . . . . . . . . . . .
4. Problemas de valor inicial.

4.1.
4.3.
4.4.
Mtodos de paso simple. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.1.
Mtodo del polinomio de Taylor.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.2.
Mtodo de Euler. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.3.
Mtodo de Euler mejorado.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.4.
Mtodo predictor-corrector. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
4.1.5.
Mtodo de Runge-Kutta.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
4.1.6.
Mtodo de RK de 2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
4.1.7.
4.2.
o Orden.
o
Mtodo de RK de 4 Orden.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
Mtodos de paso mltiple. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
4.2.1.
Mtodo de Euler de paso mltiple (PREDICTOR-CORRECTOR)
. . . . . . . . . . . . .
13
4.2.2.
Mtodos de aproximacin por polinomios. . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
Sistemas de ecuaciones de primer orden. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
4.3.1.
Mtodo de Euler para sistema de ecuaciones.
4.3.2.
Mtodo de Runge-Kutta de 4
. . . . . . . . . . . . . . . . . . . . . . . . .
15
o orden para sistema de ecuaciones. . . . . . . . . . . . . . .
16
Ecuaciones de orden superior. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
o orden. . . . . . . . . . . .
4.4.1.
Ecuaciones de orden superior como sistema de ecuaciones de 1
17
4.4.2.
Mtodo de diferencias nitas centradas para ecuaciones de 2
17
o orden. . . . . . . . . . . . .
5. Problemas de valor de contorno.

5.1.
Mtodo de diferencias nitas.
5.2.
Problemas con autovalores.
Matemtica D1 - Rev: 1.01-2015
18
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20
3.
Introduccin
Las ecuaciones diferenciales son una herramienta de suma utilidad para la ingeniera ya que permiten la
modelizacin de una variada cantidad de problemas fsicos mediante expresiones matemticas.

Al describir un problema de la ingeniera mediante una ecuacin diferencial se est haciendo una aproximacin de la realidad, sustentada por la validez de ciertas hiptesis previamente establecidas. La solucin de
la ecuacin no siempre tiene solucin exacta (o analtica), es decir, mediante planteos en diferenciales. Otras
veces la solucin exacta requiere de un desarrollo demasiado extenso. Los mtodos numricos para la solucin
de ecuaciones diferenciales representan una aproximacin a la solucin analtica y una alternativa ampliamente
desarrollada y difundida a la par de los computadores y el software de clculo especco.
En el esquema de la gura 1 se presentan las etapas posibles en las cuales interviene el ingeniero para la
resolucin de problemas reales. Se indica en linea punteada los pasos en donde se concentra la intervencin del
anlisis numrico y, por lo tanto, hacia donde se orientan estas notas de clases.
Problema de Ingeniera
Aproximacin
Modelo matemtico
Aproximacin
Funcin numrica
Aproximacin
SOLUCIN
Figura 1: Etapas en un problema de ingeniera.
Problema de Ingeniera: se trata del estudio del problema y su planteo. Muchos de los problemas reales
en ingeniera no se presentan planteados y precisamente el planteo es un desao.
Modelado matemtico: a partir de la denicin del problema, las leyes de la fsica que lo rigen y las
hiptesis adoptadas, se formula una ecuacin diferencial que representa el problema (operador diferencial)
Formulacin numrica: se aproxima el planteo diferencial en un planteo en diferencias, reemplazando

el operador diferencial por un operador algebraico.
Solucin: se aplican algoritmos y software de clculo en los que intervienen los errores admisibles (tolerancia) y problemas de almacenamiento (aritmtica nita). La solucin implica, adems de hallar un valor
numrico, una correcta interpretacin y presentacin de resultados.
Una mirada del esquema planteado indicara que no hay otro camino para llegar a la solucin del problema.
Sin embargo se deben tener presentes las sucesivas e inevitables aproximaciones (errores) a lo largo del proceso,
que pueden llevar a soluciones errneas o absurdas. Detectar esta situacin es tarea frecuente en la prctica
profesional y para esto se cuenta con el conocimiento de los mtodos numricos empleados, el computador y el
software de clculo validado y la experiencia del ingeniero relativa al problema.
3.1. El dominio continuo y la discretizacin.

Los sistemas que constituyen los problemas de ingeniera tienen dimensiones en general acotadas por condiciones de bordes supuestas, y su dominio tiene una distribucin continua en el espacio o tiempo. La ecuacin
diferencial plantea las leyes de la fsica a una porcin innitamente pequea del sistema (un diferencial) que
posteriormente ser integrado a todo el dominio.
El planteo por mtodos numricos (operador en diferencias) requiere la discretizacin del sistema continuo
en una cantidad nita de puntos en los cuales se aplica el operador. La cantidad y disposicin de los puntos
es en principio arbitraria aunque existen ciertas condiciones a cumplir. Por esto se debe tener presente que el
planteo del operador es en unos pocos puntos y en consecuencia la solucin de la ecuacin diferencial en forma
numrica la obtendremos en esos puntos que hemos adoptado como dominio (puntos o nodos). Al ordenamiento
adoptado de puntos, representativo del dominio, se lo denomina malla o mallado. A la distancia entre dos
nodos se la denomina paso
hi = xx+1 xi .
Si se desea aproximar la solucin en valores de
que no coinciden
con nodos se deber realizar una interpolacin.
3.2. Problemas de valor inicial (PVI) y problemas de condiciones de frontera.

En estas notas se trata, en primer lugar, la ecuacin diferencial ordinaria de primer orden
y 0 = f (x, y)
para
presentar los distintos mtodos de resolucin. Luego estos mtodos sern generalizados a ecuaciones de orden
superior, de orden n:
y (n) = f (x, y, y 0 , y 00 , ...., y (n+1) ).
Posteriormente se presentan los sistemas de ecuaciones
diferenciales, siendo esta formulacin la ms utilizada en los problemas reales de ingeniera, ya que los modelos
matemticos que aproximan a los problemas reales generalmente contienen ms de un grado de libertad.
Una ecuacin diferencial, o un sistema de ecuaciones, representan un problema de valor inicial si las condiciones requeridas para que la solucin sea nica estn determinadas para un nico punto. En general este punto
es el extremo inicial del dominio.
En el caso que las condiciones suplementarias estn determinadas para puntos distintos se tendr un problema
de valores de frontera o de contorno.
3.3. Campos de direcciones.

En el caso de la ecuacin diferencial de primer orden
y = f (x, y(x)).
y 0 = f (x, y),
la funcin
y = y(x)
ser una solucin si
y = y(x), es posible
y 0 = f (x, y(x)) en cada punto (xi , yi ),esto constituye el campo de direcciones
Pero an sin resolver la ecuacin diferencial, es decir, sin conocer la curva
conocer la pendiente a dicha curva

de la ecuacin diferencial.
Los campos de direcciones representan las tangentes a la curva

de puntos
(xi , yi ).
y = y(x)
evaluadas en una cantidad nita
Grcamente son representados por segmentos de rectas tangentes a cada curva solucin de
la ecuacin diferencial.
Ejemplo
Se desea hallar las curvas tal que en cada punto
Esto conduce a la ecuacin diferencial
(x, y)
la pendiente de la tangente sea igual a la abscisa
x.
dy
=x
dx
La misma se puede resolver analticamente integrando a ambos lados de la igualdad
Z
dy =
x dx
y=
x2
+C
2
Si se desea estudiar la ecuacin sin resolverla, se sabe que en cada punto del plano se conoce su tangente,
de forma tal que en el punto
P = (x0 , y0 ) la pendiente vale x0 , para representar este dato se marca un pequeo

P como punto medio como se muestra en la gura 2. Este segmento de la recta
segmento de dicha tangente con
tangente indica que direccin tiene la curva en el momento de pasar por dicho punto.
En la gura 2 se observa el campo de direcciones para la ecuacin diferencial en estudio
y0 = x
junto a
cuatro posibles soluciones que se determinan a partir de la condicin inicial que se imponga.
3.4. Solucin de la ecuacin diferencial - Existencia y unicidad.

Previo a la aplicacin de procedimientos que resuelven ecuaciones en forma numrica, nos interesar saber
si el problema tendr solucin y en este caso si la solucin a hallar es nica.
y(x)
2
3
0
x
Figura 2: Campo de direcciones.
Condicin de Lipschitz:
y 0 = f (x, y(x)) satisface la condicin de Lipschitz
L > 0 tal que: |f (x, y2 ) f (x, y1 )| L|y2 y1 | en D.
Una ecuacin diferencial

existe una constante
en un dominio
del plano
xy
si
xy
Teorema de existencia y unicidad:

Si
y 0 = f (x, y)
f (x, y) es continua en algn dominio D del

D y (x0 , y0 ) D , entonces existe una nica funcin y(x)
y 0 = f (x, y(x)) y la condicin inicial y(x0 ) = y0 .
es una ecuacin diferencial tal que
satisface la condicin de Lipschitz en

diferenciable que satisface
plano
continua y
3.5. Consistencia, estabilidad y convergencia de mtodo numrico.

La aplicacin de un mtodo numrico ser vlida, al momento de resolver una dada ecuacin diferencial, si
cumple con las condiciones de consistencia, estabilidad y convergencia.
Consistencia: un planteo numrico es consistente con la ecuacin diferencial que aproxima, si al renar la
malla (achicar el paso haciendo
h 0)
la ecuacin en diferencias converge a la ecuacin diferencial. En otras
palabras, se analiza la correspondencia entre el operador en diferencias y el operador diferencial. No se tiene en

cuenta el resultado numrico de la solucin, sino la aproximacin en cada paso donde el error de truncamiento
tiende a cero cuando
Convergencia:
h 0.
un mtodo es convergente si la diferencia entre la solucin numrica y la solucin exacta
tiende a cero cuando se rena la malla (cuando
h 0).
La atencin est jada en el error total de la solucin.
Estabilidad: un mtodo es estable si la diferencia entre la solucin numrica y la solucin exacta tiende a
cero a medida que avanza el clculo con una cantidad de pasos tendiente a innito (permaneciendo h constante).
Es decir, para una determinada malla adoptada, la solucin numrica tiende a la solucin exacta cuando la
cantidad de pasos tiende a innito. Para que esto ocurra no debe producirse una amplicacin de errores
durante el procedimiento. En otras palabras, un error introducido en un paso (una perturbacin en el proceso)
no debe llevar a errores amplicados que resulten en soluciones absurdas del problema.
4.
Problemas de valor inicial.

Los problemas de valor inicial (PVI) estarn determinados por una ecuacin diferencial de orden
conjunto de
ms un
condiciones iniciales independientes especicadas para un nico punto, que en general coincide
con el inicio del dominio. Muchos PVI representan problemas de fsica en los cuales la variable independiente
t = 0.
es el tiempo y las condiciones iniciales se dan para
Se presentarn mtodos de resolucin de PVI para ecuaciones diferenciales de primer orden, de orden superior
y para sistemas de ecuaciones.
4.1. Mtodos de paso simple.

Los mtodos de paso simple utilizan informacin del paso anterior para obtener la solucin aproximada en el
paso siguiente. En general la informacin utilizada es aproximada, ya que proviene de aplicaciones del mtodo
en pasos anteriores.
4.1.1. Mtodo del polinomio de Taylor.

Sea la funcin
y = y(x)
derivadas continuas en el intervalo que contiene a

de
y 0 = f (x, y(x))
la solucin de la ecuacin
x0 .
y supongamos que
y = y(x)
tiene
m+1
Si planteamos el desarrollo en serie de Taylor alrededor
x0 :
y(x) = y(x0 )+y 0 (x0 )(xx0 )+

donde
y 000 (x0 )
y m (x0 )
y m+1 ()
y 00 (x0 )
(xx0 )2 +
(xx0 )3 +...+
(xx0 )m +
(xx0 )m+1
2!
3!
m!
(m + 1)!
(x0 , x)
Desarrollando las derivadas:
y 0 = f (x, y(x))
donde
fx :
y 00 = fx + f fy
derivada de la funcin
Si se adopta un paso
respecto a
y 000 = fxx + 2f fxy + f 2 fxy + fx fy + f fy2

x; fy :
reemplazando en la serie, y en el caso de
para
m=2
yn+1 = yn + hf (xn , yn ) +
(xn , xn+1 )
respecto a
y.
constante (aunque no necesariamente debe serlo):
xn = x0 + n h
con
derivada de la funcin
n = 0, 1, 2, 3...
por ejemplo
h2
h3
(fx + f fy )2 + ... + f (2)(,y())
2!
3!
h = xn+1 xn
La expresin indicada arriba permite obtener la solucin en un punto a partir de la informacin del punto
anterior (mtodo de paso simple), con la dicultad de calcular las derivadas parciales.
Este mtodo permite acotar el error de truncamiento. Es por esto que es utilizado para compararlo con otros
mtodos y as determinar el orden de stos.
Diremos entonces que un mtodo es de orden p (O(p)) si el error del mtodo es del mismo orden que en el
mtodo de Taylor.
Ejemplo
y 0 = y + x + 1 en el intervalo [0; 1] con el valor inicial y0 = 1, hallar la solucin
desarrollo de Taylor de orden 2. El paso adoptado es h = 0, 1.
Dada la ecuacin diferencial

en
x=1
utilizando el
Solucin
Teniendo en cuenta que
y 0 = y + x + 1
se calcula
y 00 = fx + f fy = 1 + (y + x + 1)(1) = y + x
reemplazando en la expresin del mtodo, se obtiene el algoritmo a aplicar en cada paso:
yn+1 = yn + h (yn + xn + 1) +
h2
(yn xn )2 + ET
2!
Utilizando la ecuacin en diferencias conseguida se obtienen los sucesivos valores de la funcin
y(x)
para el
dominio discretizado:
Para
n = 0 x0 = 0 y0 = 1
y1 = y0 + h (y0 + x0 + 1) +
Para
h2
(y0 x0 )2 = 1, 00500
2!
n = 1 x1 = 0, 1 y1 = 1, 00500
y2 = y1 + h (y1 + x1 + 1) +
h2
(y1 x1 )2 = 1, 01859
2!
...................................
Para
n = 9 x9 = 0, 9 y9 = 1, 30101
y10 = y9 + h (y9 + x9 + 1) +
h2
(y9 x9 )2 = 1, 36171
2!
y(1) 1, 36171
4.1.2. Mtodo de Euler.

Sea la ecuacin diferencial
paso constante
h,
y 0 = f (x, y(x))
Integrando la ecuacin diferencial en el intervalo

para
y(x0 ) = y0 . Si suponemos un mallado con

xn = x0 + n h para n = 0, 1, 2, 3, ...
genrico xn x xn+1 , y tomando la condicin inicial yn
y una condicin inicial
cada uno de los nodos tendr abscisa
x = xn .
Z
xn+1
yn+1 = yn +
f (t, y(t)) dt
xn
y(t), la integral anterior no puede ser evaluada (y(t) es precisamente la incgnita

f.
la integral es suponiendo la funcin f constante en todo el intervalo en funcin de
Al no conocerse el valor de
a determinar). Se aproximar entonces el valor de

Una forma de aproximar
valores conocidos de
y,
como se observa en la gura 3 :
Entonces queda
yn+1 = yn + h f (xn , yn )
La expresin anterior es equivalente a la aproximacin de la derivada primera hacia delante. Es un mtodo
de tipo explcito.
Al comparar con el desarrollo de Taylor
h2 00
y ()
2!
2
Se observa que el error de truncamiento se encuentra en el trmino h , por lo tanto coincide con el desarrollo
Taylor hasta el trmino con factor h. Por esto el mtodo de Euler es de orden 1. Notacin: O(h).
yn+1 = yn + h y 0 (xn , yn ) +
de
Grcamente se puede representar, la aproximacin de la integral propuesta en el mtodo de Euler, como se

muestra en la gura 4.
f(x,y(x))
f(xn,yn)
xn
xn+1
Figura 3: Integracin en un paso.
y(x)
valor aproximado
yn+1
e
valor verdadero
yn
h
xn
xn+1
Figura 4: Representacin grca del mtodo de Euler simple.
Ejemplo
de Euler. El paso adoptado es h = 0, 1.

en
x=1
utilizando el mtodo
Solucin
Del enunciado se sabe que
f (x, y) = y + x + 1,
reemplazando en la expresin del mtodo se obtiene la
ecuacin en diferencias:
yn+1 = yn + h (yn + xn + 1)
Se aplica la ecuacin en diferencias para los distintos valores de
Para
hasta obtener el valor de
yn
deseado
n = 0 x0 = 0 y0 = 1
y1 = y0 + h (y0 + x0 + 1) = 1,0000
Para
n = 1 x1 = 0, 1 y1 = 1
y2 = y1 + h (y1 + x1 + 1) = 1,0100
................................
Para
n = 9 x9 = 0, 9 y9 = 1, 28742
y10 = y9 + h (y9 + x9 + 1) = 1,34868
y(1) 1, 34868
4.1.3. Mtodo de Euler mejorado.

Hemos observado que al depender el error de truncamiento directamente con el paso
sera suciente con hacer
h en el mtodo de Euler,
ms pequeo para aproximar cada vez mejor a la solucin exacta. Esto trae como
consecuencia el incremento de operaciones, con la aparicin de errores de redondeo y la necesidad de evaluar la

funcin
f (x, y)
muchas veces.
El mtodo de Euler mejorado propone aproximar la integral, ya no por una constante, sino por una recta
que pasa por los puntos
xn , yn
y tiene pendiente
mn =
f (xn , yn ) + f (xn+1 , yn+1 )

2
Entonces
y = yn +
Como
xn+1 = xn + h,
h f (xn , yn ) + f (xn+1 , yn+1 )
(x xn )
2
2
la expresin del mtodo queda
yn+1 = yn +
Como la solucin en el punto
xn+1
h
[f (xn , yn ) + f (xn+1 , yn+1 )]
2
no se conoce, se aproxima por el mtodo de Euler. Esto le da el carcter
de implcito al mtodo de Euler mejorado.

De esta manera queda:
yn+1 = yn +
h
[f (xn , yn ) + f (xn+1 , yn + h f (xn , yn ))]
2
Se puede demostrar, al comparar con el desarrollo de Taylor, que el error de truncamiento se encuentra en
el trmino
h3
por lo tanto este mtodo coincide con el desarrollo de Taylor hasta el trmino con factor
esto el mtodo de Euler mejorado es de orden 2. Notacin:
h2 .
Por
O(h ).
Grcamente se puede representar la aproximacin de la integral propuesta en el mtodo de Euler mejorado

como se observa en la gura 5.
f(x,y(x))
xn
xn+1
Figura 5: Integracin en un paso - Euler mejorado.
Ejemplo
de Euler mejorado. El paso adoptado es h = 0, 1.

en
x=1
utilizando el mtodo
Solucin
f (x, y) = y + x + 1,
ecuacin en diferencias:
yn+1 = yn +
h
[(yn + xn + 1) + (yn + h (yn + xn + 1) +xn+1 + 1)
{z
} |
{z
}
2 |
yn+1
f (xn ,yn )
Euler simple
Se aplica la ecuacin en diferencias para los distintos valores de
hasta obtener el valor de
yn
deseado
n = 0 x0 = 0 , x1 = 0,1 y0 = 1
Para
y1 = y0 +
h
[(y0 + x0 + 1) + (y0 + h (y0 + x0 + 1) + x1 + 1) = 1, 00500
2
n = 1 x1 = 0, 1 , x2 = 0,2 y1 = 1, 00500
Para
y2 = y1 +
h
[(y1 + x1 + 1) + (y1 + h (y1 + x1 + 1) + x2 + 1) = 1, 01902
2
................................
n = 9 x0 = 0, 9 , x1 0 = 1 y9 = 1, 30723
Para
y10 = y9 +
h
[(y9 + x9 + 1) + (y9 + h (y9 + x9 + 1) + x10 + 1) = 1, 36854
2
y(1) 1, 34854
4.1.4. Mtodo predictor-corrector.

Este mtodo consiste en aproximar un valor auxiliar de la solucin en
xn+1
mediante la expresin
yn+1 = yn + h f (xn , yn )
llamada frmula predictora y corregirla en forma iterada con la expresin
k+1
yn+1
= yn +
h
k
[f (xn , yn ) + f (xn+1 , yn+1
)]
2
conocida como frmula correctora.

Es decir, se aplica la expresin del mtodo de Euler una sola vez (frmula predictora) y luego se itera con
la expresin del mtodo de Euler mejorado (frmula correctora) segn un criterio de parada adoptado.
Nota:
El mtodo de Euler mejorado consta tambin de una parte predictora y otra correctora, con la
diferencia que en la ltima no se realiza la iteracin.
Ejemplo
en
x = 0, 1
utilizando el mtodo de Predictor-Corrector de Euler. Como criterio de paro se establece un error
absoluto menor a
105 .
10
Solucin
f (x, y) = y + x + 1,
ecuacin en diferencias predictora:
k
yn+1
= yn + h (yn + xn + 1)
n = 0, 1, 2, 3, ...
Se calcula el primer valor:

Para
k = 0 , n = 0 x0 y0
y10 = y0 + h (y0 + x0 + 1) = 1, 000000
Luego se utiliza la frmula correctora:
y1k+1 = y0 +
Se itera hasta que el error absoluto
h
[f (x0 , y0 ) + f (x1 , y1k )] k = 1, 2, 3, ...
2
k1
k
Enk = |yn+1
yn+1
|
resulte menor al indicado
Para
k = 1 y11 = y0 +
h
2
[f (x0 , y0 ) + f (x1 , y10 )] = 1, 005000
E01 = |y11 y10 | = 0, 00500
Para
k = 2 y12 = y0 +
h
2
[f (x0 , y0 ) + f (x1 , y11 )] = 1, 004750
E02 = |y12 y11 | = 0, 00025
Para
k = 3 y13 = y0 +
h
2
[f (x0 , y0 ) + f (x1 , y12 )] = 1, 004762
E03 = |y13 y12 | = 0, 000012
Para
k = 4 y14 = y0 +
h
2
[f (x0 , y0 ) + f (x1 , y13 )] = 1, 004763
E04 = |y14 y13 | < 105
Con este valor se prosigue el clculo para
n = 1, 2, 3, ...
vericando en cada paso el criterio de parada.
4.1.5. Mtodo de Runge-Kutta.

Los mtodos de Runge-Kutta mantienen la misma forma de las expresiones de Euler, es decir, aproximan la
solucin en el punto siguiente a partir del valor de la solucin en el punto actual ms un incremento.
yn+1 = yn + h (xn , yn , h)
(xn , yn , h) consiste en una suma ponderada de pendientes. El incremento en cada paso depender
[x0 ; x1 ] donde
funcin f (x, y).
La funcin
del orden del mtodo que se est utilizando, que a su vez se relaciona con los puntos del intervalo
se evala la
4.1.6. Mtodo de RK de 2o Orden.

La expresin general del mtodo es:
yn+1 = yn + w1 K1 + w2 K2
Donde
K1 = h f (xn , yn )
K2 = h f (xn + h, yn + K1 )
A partir del desarrollo en serie de Taylor se puede demostrar que las constantes
w1 , w2 ,
se encuentran
relacionadas por las siguientes expresiones:
w1 + w2 = 1
w2 =
1
2
w2 =
1
2
Como existen 3 ecuaciones y 4 incgnitas, se debe agregar una condicin al sistema generando diferentes
mtodos. Entre otros se pueden indicar:
a) Si
= = 1,
se tiene la siguiente expresin:
1
1
yn+1 = yn + h ( K1 + K2 )
2
2
Donde:
K1 = f (xn , yn )
K2 = f (xn + h, yn + h K1 )
11
b) Si
= = 1/2
se tiene la siguiente expresin:
yn+1 = yn + h K2
Donde:
K1 = f (xn , yn )
K2 = f (xn +
h K1
h
, yn +
)
2
2
4.1.7. Mtodo de RK de 4o Orden.

Existen distintas expresiones de este mtodo,una de las ms utilizadas es la siguiente:
yn+1 = yn +
h
(K1 + 2K2 + 2K3 + K4 )
6
Donde:
K1 = f (xn , yn )
h
h
, yn + K1 )
2
2
h
h
K3 = f (xn + , yn + K2 )
2
2
K4 = f (xn + h, yn + h K3 )
K2 = f (xn +
Ejemplo
o
de Runge Kutta de 4 orden. El paso adoptado es h = 0, 1.

en
x=1
utilizando el mtodo
Solucin
Se resuelven los coecientes
Para
en forma ordenada y se obtiene el valor de
y(xn )
para cada punto:
n = 0 , x0 = 0 y0 = 1
K1 = f (x0 , y0 ) = y0 + x0 + 1 = 1 + 0 + 1 = 0
1
h
K2 = f (x0 + , y0 + K1 h) = f (0, 05, 1) = 1 + 0, 05 + 1 = 0, 05000
2
2
h
1
K3 = f (x0 + , y0 + K2 h) = f (0, 05, 1, 0025) = 1, 0025 + 0, 05 + 1 = 0, 04750
2
2
K4 = f (x0 + h, y0 + K3 h) = f (0, 1, 1, 00475) = 1, 00475 + 0, 1 + 1 = 0, 09525
y1 = y0 +
Para
h
(K1 + 2 K2 + 2 K3 + k4 ) = 1, 00484
6
n = 1 , x1 = 0, 1 y0 = 1, 00484
K1 = f (x1 , y1 ) = y1 + x1 + 1 = 1, 00484 + 0, 1 + 1 = 0, 0951611
h
1
K2 = f (x1 + , y1 + K1 h) = f (0, 15, 1, 00960) = 1, 00960 + 0, 15 + 1 = 0, 14040
2
2
h
1
K3 = f (x1 + , y1 + K2 h) = f (0, 15, 1, 01186) = 1, 01186 + 0, 15 + 1 = 0, 13814
2
2
K4 = f (x1 + h, y1 + K3 h) = f (0, 2, 1, 01865) = 1, 01865 + 0, 2 + 1 = 0, 018135
y2 = y1 +
h
(K1 + 2 K2 + 2 K3 + k4 ) = 1, 01873
6
...........................................................
Para
n = 9 , x9 = 0, 9 y0 = 1, 30657
y10 = y9 +
h
(K1 + 2 K2 + 2 K3 + k4 ) = 1, 36788
6
y(1) = 1, 36788
12
4.2. Mtodos de paso mltiple.

Los mtodos de paso mltiple utilizan informacin de ms de un valor de la solucin para obtener la solucin
de la ecuacin en el paso siguiente. Dado que el PVI slo provee un dato al inicio, los restantes valores de la
solucin requeridos debern ser obtenidos por algn mtodo de paso simple como los vistos anteriormente.
4.2.1. Mtodo de Euler de paso mltiple (PREDICTOR-CORRECTOR)

y 0 = f (x, y(x)) y una condicin inicial y(x0 ) = y0 .
tendr abscisa xn = x0 + n h para n = 0, 1, 2, 3...
Sea la ecuacin
uno de los nodos
El valor de
y1
Si suponemos un paso constante
lo hallaremos con un mtodo de paso simple, de manera de poder obtener
de paso mltiple utilizando
y0
y2
h,
cada
con un mtodo
y1 .
A partir del desarrollo en serie de Taylor de la funcin
y(x)
alrededor de
xn ,
se tiene:
h2 00
y + ...
2! n
h2
= yn h yn0 + yn00 + ...
2!
y(xn+h ) = yn+1 = yn + h yn0 +

y(xnh ) = yn1
restando los dos desarrollos se obtiene la frmula predictora
yn+1 = yn1 + 2h yn0

Con un error de truncamiento
ETp =
Una vez calculado un primer valor de
yn+1 ,
n = 1, 2, 3...
h3
y()(3)
3
se corrige con la siguiente expresin conocida como frmula
correctora iterando las veces necesarias segn el criterio de parada adoptado.
k+1
yn+1
= yn +
h
k
[f (xn , yn ) + f (xn+1 , yn+1
)]
2
El error de truncamiento de la frmula correctora es:
ETc =
h3
y()(3)
12
4.2.2. Mtodos de aproximacin por polinomios.

f (x, y) por un polinomio de orden N a partir de un conjunto
(xi , yi ) resueltos con algn otro mtodo de paso simple. De la integracin de este polinomio
valor de y(x).
Estos mtodos consisten en aproximar la funcin

de puntos conocidos
surgir el siguiente
Segn los intervalos en los cuales de realicen la interpolacin y la integracin, se tendrn distintos mtodos:
Frmulas de tipo abierto

Se construye un polinomio de interpolacin por N+1 puntos en el intervalo
polinomio en el intervalo
[xnp , xn+1 ]
[xnN , xn ]
y se integra este
resultando frmulas de tipo explcito.
Frmulas de Adams-Basforth.
Son expresiones de tipo abierto. Segn la cantidad de puntos N que se utilicen para interpolar el polinomio
que aproxima a
f (x, y),
se tienen las siguientes frmulas (casos para p=0):
N =0
yn+1 = yn + h fn
N =1
yn+1 = yn +
h
(3 fn fn1 )
2
N =2
yn+1 = yn +
h
(23 fn 16 fn1 + 5 fn2 )
12
N =3
yn+1 = yn +
h
(55 fn 59 fn1 + 37 fn2 9 fn3 )
24
13
Ejemplo
en x = 1 utilizando el mtodo de Adams-Bashford con N = 3 suponiendo conocidos los valores de y1 , y2 , y3
o
resueltos por el mtodo de Runge-Kutta de 4 orden que se listan en la tabla 1. El paso adoptado es h = 0, 1.
xn
yn
f (xn , yn )
1,00000
0,00000
0,10
1,00484
0,09516
0,20
1,01873
0,18127
0,30
1,04082
0,25918
Tabla 1
Solucin
Se aplica la frmula Adams-Bashford dada para
N =3
y4 = y3 +
h
(55 f3 59 f2 + 37 f1 9 f0 ) = 1, 07032
24
y5 = y4 +
h
(55 f4 59 f3 + 37 f2 9 f1 ) = 1, 10654
24
.........................................
y10 = y9 +
h
(55 f9 59 f8 + 37 f7 9 f6 ) = 1, 36789
24
y(1) = 1, 36789
Frmulas de tipo cerrado.

Se construye un polinomio de interpolacin por N+1 puntos en el intervalo
polinomio en el intervalo
de
yn+1
para calcular
[xnp , xn+1 ]
[xnN , xn ]
y se integra este
resultando frmulas de tipo implcito en donde se debe conocer el valor
yn+1 .
Frmulas de Adams-Moulton.
Son expresiones de tipo cerrado. Se aproxima en una primera etapa el valor de
yn+1
y con una frmula
predictora de tipo abierto y luego se corrige con una frmula de tipo cerrado. Segn la cantidad de puntos N
que se utilicen para interpolar el polinomio que aproxima a
f (x, y), se tienen las siguientes frmulas (casos para
p=0):
N =0
yn+1 = yn +
h
(fn + fn+1 )
2
N =1
yn+1 = yn +
h 5
1
( fn+1 + 2 fn fn1 )
3 4
4
N =2
yn+1 = yn +
h
(9 fn+1 + 19 fn 5 fn1 + fn2 )
24
N =3
yn+1 = yn +
h
(251 fn+1 + 646 fn 264 fn1 + 106 fn2 19 fn3 )
720
Caso particular de paso simple
Ejemplo
en x = 1 utilizando el mtodo de Adams-Moulton con N = 1 suponiendo conocidos los valores de y1 , y2 , y3
o
resueltos por el mtodo de Runge-Kutta de 4 orden que se listan en la tabla 2. El paso adoptado es h = 0, 1.
Realizar dos iteraciones por paso.
14
xn
yn
f (xn , yn )
1,00000
0,00000
0,10
1,00484
0,09516
0,20
1,01873
0,18127
0,30
1,04082
0,25918
Tabla 2
Solucin
Para
n=3
y40 = y3 +
h
(23 f2 16 f1 + 5 f0 ) = 1, 070324
12
h 5 0
( f + 2 f3
3 4 4
h 5
y42 = y3 + ( f41 + 2 f3
3 4
y41 = y3 +
1
f2 ) = 1, 070324
4
1
f2 ) = 1, 070323
4
predictora de A-B (explicita)
primera correccin A-M (implcita)
segunda correccin A-M (implcita)
..............................................
Para
n=9
0
y10
= y9 +
h
(23 f8 16 f7 + 5 f6 ) = 1, 367879
12
h 5 0
( f + 2 f9
3 4 10
h 5 1
= y9 + ( f10
+ 2 f9
3 4
1
y10
= y9 +
2
y10
1
f8 ) = 1, 367897
4
1
f8 ) = 1, 367897
4
predictora de A-B (explicita)
primera correccin A-M (implcita)
segunda correccin A-M (implcita)
y(1) = 1, 367897
4.3. Sistemas de ecuaciones de primer orden.

La mayora de los problemas de ingeniera presentan ms de una coordenada independiente (sistemas de
mltiples grados de libertad) por lo cual los modelos matemticos que los representan conforman conjuntos de
ecuaciones a resolver en forma simultnea. Los mtodos estudiados para la resolucin numrica de ecuaciones
de primer orden se extienden a sistemas de ecuaciones.
Un sistema de N ecuaciones requerir conocer N condiciones iniciales, y se puede expresar de la siguiente
manera:
0
y1 = f1 (x, y1 , y2 , y3 , ....., yN )
y 0 = f2 (x, y1 , y2 , y3 , ....., yN )
20
y3 = f3 (x, y1 , y2 , y3 , ....., yN )
y40 = f4 (x, y1 , y2 , y3 , ....., yN )
...........................................
0
yN = fN (x, y1 , y2 , y3 , ....., yN )
y1 (x = x0 ) = y1(0)
y2 (x = x0 ) = y2(0)
y3 (x = x0 ) = y3(0)
y4 (x = x0 ) = y4(0)
....................
yN (x = x0 ) = yN (0)
Notacin: el subndice en este caso indica la variable. N es la cantidad de ecuaciones del sistema. El subndice
indica el paso de clculo
n = 0, 1, 2, 3, 4, ...
4.3.1. Mtodo de Euler para sistema de ecuaciones.

El mtodo de Euler estudiado para resolver una ecuacin se puede extender a un sistema utilizando las mismas
expresiones para cada ecuacin por separado y avanzando en la resolucin paso a paso en cada ecuacin.
Si se tienen N ecuaciones quedar:
y1,n+1 = y1,n + h f1 (x, y1,n , y2,n , y3,n , ....., yN,n )
y2,n+1 = y2,n + h f2 (x, y1,n , y2,n , y3,n , ....., yN,n )

...........................................
yN,n+1 = yN,n + h fN (x, y1,n , y2,n , y3,n , ....., yN,n )

n = 0, 1, 2, 3...
n = 0, 1, 2, 3...
n = 0, 1, 2, 3...
y1 (x = x0 ) = y1(0)
y2 (x = x0 ) = y2(0)
yN (x = x0 ) = yN (0)
15
Ejemplo
Hallar la solucin del siguiente sistema de ecuaciones en el intervalo
y10 = f1 (x, y1 , y2 ) = y1 + 2 x + y2
y20 = f2 (x, y1 , y2 ) = 0, 6 y1 + x
[0 ; 0, 6]
adoptando un paso
h = 0, 2
y1 (x0 ) = y1,0 = 1, 25
y2 (x0 ) = y2,0 = 2, 34
Solucin
n=0
y1,1 = y1,0 + h (y1,0 + 2 x0 + y2,0 ) = 1, 46800
y2,1 = y2,0 + h (0, 6 y1,0 + x0 ) = 2, 49000
Para
n=1
y1,2 = y1,1 + h (y1,1 + 2 x1 + y2,1 ) = 1, 75240
y2,2 = y2,1 + h (0, 6 y1,1 + x1 ) = 2, 70616
Para
n=2
y1,3 = y1,2 + h (y1,2 + 2 x2 + y2,2 ) = 2, 10315
y2,3 = y2,2 + h (0, 6 y1,2 + x2 ) = 2, 99645
Para
4.3.2. Mtodo de Runge-Kutta de 4o orden para sistema de ecuaciones.

El mtodo de RK estudiado para resolver una ecuacin se puede extender a un sistema utilizando las
mismas expresiones para cada ecuacin por separado y avanzando en la resolucin paso a paso en cada uno de
los coecientes
K1 .
Si se tienen
ecuaciones:
K1,1 = f1 (x0 , y1,0 , y2,0 , ...., yN,0 )
K1,2 = f2 (x0 , y1,0 , y2,0 , ...., yN,0 )

...........................................
K1,N = fN (x0 , y1,0 , y2,0 , ...., yN,0 )

El coeciente
K2
h
h
h
h
K2,1 = f1 (x0 + , y1,0 + K1,1 , y2,0 + K1,2 , ...., yN,0 + K1,N )
2
2
2
2
h
h
h
h
K2,2 = f2 (x0 + , y1,0 + K1,1 , y2,0 + K1,2 , ...., yN,0 + K1,N )

2
2
2
2
..................................................................................................
h
h
h
h
K2,N = fN (x0 + , y1,0 + K1,1 , y2,0 + K1,2 , ...., yN,0 + K1,N )

2
2
2
2
El coeciente
K3
h
h
h
h
K3,1 = f1 (x0 + , y1,0 + K2,1 , y2,0 + K2,2 , ...., yN,0 + K2,N )
2
2
2
2
h
h
h
h
K3,2 = f2 (x0 + , y1,0 + K2,1 , y2,0 + K2,2 , ...., yN,0 + K2,N )

2
2
2
2
..................................................................................................
K3,N = fN (x0 + h , y1,0 + h K2,1 , y2,0 + h K2,2 , ...., yN,0 + h K2,N )

2
2
2
2
El coeciente
K3
K4,1 = f1 (x0 + h, y1,0 + hK3,1 , y2,0 + hK3,2 , ...., yN,0 + hK3,N )
K4,2 = f2 (x0 + h, y1,0 + hK3,1 , y2,0 + hK3,2 , ...., yN,0 + hK3,N )

..................................................................................................
K4,N = fN (x0 + h, y1,0 + hK3,1 , y2,0 + hK3,2 , ...., yN,0 + hK3,N )
Finalmente, se obtiene la solucin del sistema en el paso siguiente
x = x1
16
y1,1 = y1,0 + (K1,1 + 2 K2,1 + 2 K3,1 + K4,1 )
y2,1 = y2,0 + (K1,2 + 2 K2,2 + 2 K3,2 + K4,2 )

6
...........................................
yN,1 = yN,6 + h (K1,N + 2 K2,N + 2 K3,N + K4,N )

6
4.4. Ecuaciones de orden superior.

La resolucin numrica de ecuaciones de orden superior puede realizarse a travs de distintos mtodos
directos (abordan directamente la ecuacin) o transformando la ecuacin en un sistema de ecuaciones de primer
orden que permita la aplicacin de los mtodos ya estudiados. Plantearemos la forma de llevar la ecuacin a un
sistema y luego un mtodo particular para abordar ecuaciones de segundo orden.
4.4.1. Ecuaciones de orden superior como sistema de ecuaciones de 1o orden.

Sea la ecuacin diferencial de orden m:
y (m) = f (x, y 0 , y 00 , y (3) , ...., y (m1) )

y las condiciones iniciales
(3)
(m)
y(x = x0 ) = y0 , y 0 (x = x0 ) = y00 , y 00 (x = x0 ) = y000 , y (3) (x = x0 ) = y0 , ... , y (m) (x = x0 ) = y0

se transforma en un sistema de ecuaciones de primer orden, haciendo:
y1 = y(x) ,
y2 = y 0 (x) ,
y3 = y 00 (x) ,
y4 = y (3) (x) ,
0
y = f1 (x, y1 , y2 , y3 , ....., ym )
10
y2 = f2 (x, y1 , y2 , y3 , ....., ym )
...................................
0
ym = fm (x, y1 , y2 , y3 , ....., ym )
...
ym = y (m1) (x)
y1 (x = x0 ) = y0
y2 (x = x0 ) = y00
.............
ym (x = x0 ) = y0
Ejemplo
Dada la siguiente ecuacin diferencial de segundo orden y sus respectivas condiciones iniciales:
y 00 + 2 y 0 + 5 y 0 = 3 x2 + 10
y(x0 ) = y0 = 4
y 0 (x0 ) = y00 = 2
Plantear el sistema equivalente de primer orden.
Solucin
dy
y10 =
= f1 (x, y1 , y2 ) = y2
dx
2
y20 = dy2 = d y2 = y 00 (x) = f2 (x, y1 , y2 ) = 3 x2 + 10 5 y1 2 y2

dx
dx2
y1 (x0 ) = y0 = 4
y20 (x0 ) = y00 = 2
4.4.2. Mtodo de diferencias nitas centradas para ecuaciones de 2o orden.

Una ecuacin diferencial de segundo orden se utiliza para representar, entre otros problemas, los vinculados
a vibraciones y circuitos elctricos. El mtodo se basa en reemplazar las derivadas primera y segunda por sus
aproximaciones en diferencias nitas (tema ya estudiado en unidades anteriores).
Sea la ecuacin diferencial de segundo orden y sus condiciones iniciales:
17
y1 (x = x0 ) = y0
y2 (x = x0 ) = y00
m y 00 (x) + c y 0 (x) + k y(x) = p(x)

se reemplazan las derivadas por las conocidas expresiones:
yn0 =
yn+1 yn1
2h
yn00 =
yn+1 2yn + yn1

h2
quedando la ecuacin diferencial
yn+1 yn1
yn+1 2yn + yn1
+c
+ k yn = pn
h2
2h
despejando el valor de la funcin en el siguiente paso, queda una frmula explcita:
pn
m
yn+1 =
h2

c
2m
yn1 k 2 yn
2h
h
m
c
+
h2
2h
se observa que es necesario conocer los valores en
n 1.
Para esto se pueden evaluar las derivadas primera
y segunda en el punto inicial, y a partir de all despejar el valor de
en
n 1.
Este mtodo es condicionalmente estable, requiriendo pasos pequeos en la discretizacin del dominio. La
longitud del paso estar relacionada con el perodo T del movimiento vibratorio que el modelo representa, y se
debe cumplir:
h
1
<
T
siendo el periodo
2
T =r
k
m
5.
Problemas de valor de contorno.

Los problemas de valores en la frontera o contorno (PVF) estarn determinados por una ecuacin diferencial
de orden
ms un conjunto de
condiciones iniciales independientes especicadas para distintos puntos, que
en general coinciden con los extremos o bordes del dominio. Muchos PVF representan problemas de fsica en
los cuales la variable independiente es una longitud y las condiciones iniciales se dan para
x = x0
x = xn .
Estos problemas no siempre tienen solucin nica para todos los puntos e incluso pueden no tener solucin.
Las condiciones de frontera pueden ser condiciones forzadas o condicin de Dirichlet en la cual se especica
el valor de la funcin, y condiciones naturales o condicin de Neumann, en la que se especica una derivada
de la funcin.
Notacin: para cada punto del dominio en que se buscar la solucin se utilizar el subndice
i.
Se estudiar el caso particular de condiciones de contorno lineales en ecuaciones de segundo orden. La

ecuacin diferencial es de la forma:
y 00 (x) + p(x)y 0 (x) + q(x)y(x) = r(x)

y las condiciones de borde de Neumann y Dirichlet combinadas se expresan como:
con
p(x), q(x), r(x)
funciones continuas en
y(a) + y 0 (0) =
y(b) + y 0 (b) =
[a, b]
y los coecientes
, , , , ,
valores reales.
18
5.1. Mtodo de diferencias nitas.

Consiste en reemplazar los operadores diferenciales por operadores en diferencias y aplicarlos a cada uno de
los puntos de la malla que resulte de discretizar el dominio. Cada aplicacin del operador provee una ecuacin.
Se debern tener igual cantidad de ecuaciones que incgnitas posea la malla.
Finalmente se resuelve el sistema de ecuaciones obteniendo los valores de
y(x)
en los puntos de la malla.
Sea la ecuacin diferencial (se desarrollar para una ecuacin de segundo orden lineal):
y 00 (x) + p(x)y 0 (x) + q(x)y(x) = r(x)

y las condiciones de borde:
se particiona el dominio
[a; b]
en
y(x = a) = ya
y(x = b) = yb
espacios de longitud
h.
Luego se reemplazan las derivadas centradas por
las expresiones conocidas:
yi0 =
yi+1 yi1
2h
yi00 =
yi+1 2yi + yi1

h2
quedando la ecuacin diferencial trasformada en un operador en diferencias
Si se
yi+1 2yi + yi1

yi+1 yi1
+ pi
+ qi yi = ri
h2
2h
agrupan los trminos para cada punto i, el operador toma la forma:

h
h
i = 1, 2, 3, ...n 1
1 pi yi1 + (h2 qi 2) yi + 1 pi yi+1 = h2 ri
2
2
Se plantea el operador en todos los puntos internos del dominio

h
h
p1 y0 + (h2 q1 2) y1 + 1 p1 y2 = h2 r1
2
2

h
h
2
i=2
1 p2 y1 + (h q2 2) y2 + 1 p2 y3 = h2 r2
2
2

h
h
2
i=3
1 p3 y2 + (h q3 2) y3 + 1 p3 y4 = h2 r3
2
2
...........................................................................................................

h
h
i=n1
1 pn1 yn2 + (h2 qn1 2) yn1 + 1 pn1 yn = h2 rn1
2
2
1
i=1
quedando un sistema de
n1
ecuaciones con
n1
incgnitas.
Ejemplo
Dada la ecuacin de segundo orden y su condiciones de contorno
00
y + 4 y = 10 x
hallar la solucin en el punto central del dominio
y(x = 0) = 0
y(x = 6) = 30
[0; 6].
Solucin
Se adopta un paso
y(x)
h = 1,
de manera que se obtienen 7 puntos del dominio, siendo conocidos los valores de
en los puntos extremos (condiciones de Dirichlet). Se tendrn entonces 5 puntos interiores incgnitas.
Se reemplaza la derivada segunda por la ecuacin en diferencias:
yi+1 2yi + yi1

+ 4 yi = 10 x2i
h2
Tomando
h=1
y reescribiendo la ecuacin en diferencias:
19
yi1 + 2 yi + yi+1 = 10 x2i

Se aplica el operador en diferencias en los puntos internos del dominio
i=1
y0 + 2 y1 + y2 = 10 x21
i=2
y1 + 2 y2 + y3 = 10 x22
i=3
y2 + 2 y3 + y4 = 10 x23
i=4
y3 + 2 y4 + y5 = 10 x24
i=5
y4 + 2 y5 + y6 = 10 x25
Se tienen 5 ecuaciones y 5 incgnitas. Escribiendo el sistema en forma matricial:
2
1
0
0
La solucin en
x=3
es
1
2
1
0
0
0
1
2
1
0

10
y1
0

0
y2 40
y3 = 90
0

1 y4 160
280
y5
2
0
0
1
2
1

20
y1
y2 30

y3 = 80

y4 40
160
y5
y(3) = 80.
5.2. Problemas con autovalores.

La ecuacin diferencial con sus condiciones de borde es de la forma:
d
(p(x)y 0 (x)) + (q(x) + r(x)) y(x) = 0
dx
con
Los
y(a) + y 0 (a) = 0
y(b) + y 0 (b) = 0
p(x) > 0, q(x) > 0 y p0 (x), p(x), q(x), r(x) continuas en [a, b] y los coecientes , , , valores reales.
valores de para los cuales la ecuacin tiene soluciones no triviales son autovalores o valores propios
las funciones asociadas sern vectores propios o autovectores. Los autovalores sern nmeros reales y el conjunto
de los autovectores es ortogonal.
Ejemplo
Dada la ecuacin de segundo orden que representa un problema con valores de frontera y sus condiciones de
borde, plantear la resolucin por diferencias centrales: (Considerar
00
y + py = 0
h = 1).
y(x = 0) = y0 = 0
y(x = 4) = y4 = 0
Solucin
Se obtienen 3 puntos interiores del dominio, siendo conocidos los valores de
y(x)
en los puntos extremos
(condiciones de Dirichlet).
Se obtiene la ecuacin en diferencias utilizando la aproximacin numrica de la segunda derivada
yi+1 2yi + yi1

p yi = 0
h2
Tomando
h=1
se obtiene el operador en diferencias
yi1 + (p 2) yi + yi+1 = 0,
que se aplica en cada punto
interior del dominio:
i=1
y0 + (p 2) y1 + y2 = 0
i=2
y1 + (p 2) y2 + y3 = 0
i=3
y2 + (p 2) y3 + y4 = 0
20
se obtiene un sistema homogneo de 3 ecuaciones. La solucin ser la trivial (vector solucin nulo) o habr
una cantidad innita de vectores que veriquen las condiciones de frontera para la ecuacin. Expresando el
sistema en forma matricial:
(2 p)
1
0
1
(2 p)
1

0
y1
0
1 y2 = 0
(2 p)
y3
0
La expansin del determinante da un polinomio caracterstico cuyas races son los valores propios del sistema.
A cada valor propio se le asocia un vector solucin.
El polinomio caracterstico queda:
(2 p)3 2 (2 p) = 0
cuyas races son
p1 = 0,58578, p2 = 2,00000
p3 = 3,41421
Representan los autovalores del problema. Reemplazando en el sistema cada uno de los autovalores se obtiene
un conjunto de 3 autovectores asociados que son ortogonales entre s.
Si
p = p1 = 0,58578
1,41422
1
0
haciendo
y1 = 1
1
1,41422
1

0
y1
0
1 y2 = 0
1,41422
y3
0
se obtine el autovector asociado
y11
1,0000
1 = y21 = 1,4142
y31
1,0000
Si
p = p2 = 2,00000

y12
1,0000
2 = y22 = 0,0000
y32
1,0000
Si
p = p3 = 3,41421

y13
1,0000
3 = y23 = 1,4142
y33
1,0000
21

AP Ecuaciones Diferenciales Ordinarias

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

AP Ecuaciones Diferenciales Ordinarias

Transféré par

Droits d'auteur :

Formats disponibles

Resolucin numrica de ecuaciones diferenciales

comprendidos en los cursos de Matemtica D1 relativos a la solucin numrica de ecuaciones diferenciales

necesaria la consulta entre la bibliografa citada.

Burden R. y Faires D., Anlisis Numrico, Grupo Editorial Thomson.

S. Chapra y R. Canale, Mtodos Numricos para Ingenieros, cuarta edicin, McGraw-Hill.

S. Nakamura, Anlisis Numrico y Visualizacin Grca con MatLab, Prentice-Hall.

Kreyzig E, Matemticas Avanzadas para Ingeniera, Vol I y II, Limusa.

Campbell S. y Haberman R, Introduccin a las Ecuaciones Diferenciales con problemas de valor de

W. Trench,Ecuaciones Diferenciales con problemas de valor de frontera, Grupo Editorial Thomson.

H. Moore, MATLAB para ingenieros, Prentice-Hall

UNIVERSIDAD NACIONAL DE LA PLATA

El dominio continuo y la discretizacin.

Problemas de valor inicial (PVI) y problemas de condiciones de frontera. . . . . . . . . . . . . . .

Solucin de la ecuacin diferencial - Existencia y unicidad. . . . . . . . . . . . . . . . . . . . . . .

Consistencia, estabilidad y convergencia de mtodo numrico. . . . . . . . . . . . . . . . . . . . .

4. Problemas de valor inicial.

Mtodos de paso simple. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Mtodo del polinomio de Taylor.

Mtodo de Euler mejorado.

Mtodos de paso mltiple. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Mtodo de Euler de paso mltiple (PREDICTOR-CORRECTOR)

Mtodos de aproximacin por polinomios. . . . . . . . . . . . . . . . . . . . . . . . . . . .

Sistemas de ecuaciones de primer orden. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Mtodo de Euler para sistema de ecuaciones.

o orden para sistema de ecuaciones. . . . . . . . . . . . . . .

Ecuaciones de orden superior. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Ecuaciones de orden superior como sistema de ecuaciones de 1

Mtodo de diferencias nitas centradas para ecuaciones de 2

5. Problemas de valor de contorno.

Mtodo de diferencias nitas.

Problemas con autovalores.

Matemtica D1 - Rev: 1.01-2015

UNIVERSIDAD NACIONAL DE LA PLATA

modelizacin de una variada cantidad de problemas fsicos mediante expresiones matemticas.

Figura 1: Etapas en un problema de ingeniera.

Formulacin numrica: se aproxima el planteo diferencial en un planteo en diferencias, reemplazando

Matemtica D1 - Rev: 1.01-2015

UNIVERSIDAD NACIONAL DE LA PLATA

3.1. El dominio continuo y la discretizacin.

Si se desea aproximar la solucin en valores de

con nodos se deber realizar una interpolacin.

3.2. Problemas de valor inicial (PVI) y problemas de condiciones de frontera.

y (n) = f (x, y, y 0 , y 00 , ...., y (n+1) ).

Posteriormente se presentan los sistemas de ecuaciones

3.3. Campos de direcciones.

ser una solucin si

Pero an sin resolver la ecuacin diferencial, es decir, sin conocer la curva

conocer la pendiente a dicha curva

Los campos de direcciones representan las tangentes a la curva

evaluadas en una cantidad nita

la pendiente de la tangente sea igual a la abscisa

La misma se puede resolver analticamente integrando a ambos lados de la igualdad

P = (x0 , y0 ) la pendiente vale x0 , para representar este dato se marca un pequeo

segmento de dicha tangente con

3.4. Solucin de la ecuacin diferencial - Existencia y unicidad.

Matemtica D1 - Rev: 1.01-2015

UNIVERSIDAD NACIONAL DE LA PLATA

Figura 2: Campo de direcciones.

Una ecuacin diferencial

Teorema de existencia y unicidad:

f (x, y) es continua en algn dominio D del

es una ecuacin diferencial tal que

satisface la condicin de Lipschitz en

3.5. Consistencia, estabilidad y convergencia de mtodo numrico.

S. Nakamura, Anlisis Numrico y Visualizacin Grca con MatLab, Prentice-Hall.

Mtodo de diferencias nitas centradas para ecuaciones de 2

Mtodo de diferencias nitas.

Formulacin numrica: se aproxima el planteo diferencial en un planteo en diferencias, reemplazando

evaluadas en una cantidad nita

tiende a cero cuando se rena la malla (cuando

La atencin est jada en el error total de la solucin.

como se observa en la gura 3 :

Grcamente se puede representar, la aproximacin de la integral propuesta en el mtodo de Euler, como se

Figura 4: Representacin grca del mtodo de Euler simple.

Grcamente se puede representar la aproximacin de la integral propuesta en el mtodo de Euler mejorado

conocida como frmula correctora.