Universidad Tecnolgica Nacional Facultad Regional Crdoba Ing.

en Sistemas de Informacin

Asignatura: Simulacin

ECUACIONES DIFERENCIALES DE ORDEN N Y SISTEMAS DE ECUACIONES DIFERENCIALES

1. INTRODUCCION
Hasta ahora hemos considerado slo ecuaciones diferenciales de primer orden del tipo y=f(x,y). En este captulo analizaremos la forma de resolver numricamente ecuaciones diferenciales de cualquier orden y sistemas de ecuaciones diferenciales. Finalmente haremos una pequea introduccin a las ecuaciones diferenciales parciales.

2. SOLUCION ANALITICA - Mtodo de la transformada de Laplace

2.1 Introduccin

Existe una gran cantidad de mtodos que permiten resolver ecuaciones diferenciales de diferentes tipos. Un mtodo que ha tenido gran aceptacin es el mtodo de la transformada de Laplace, el cual proporciona la solucin directa de una ecuacin diferencial en determinadas circunstancias. Adems, en el caso de algunas funciones de forma irregular, las cuales son difciles de manejar con facilidad por otros mtodos, el mtodo de Laplace proporciona una solucin muy elegante. Aqu slo se muestra las aplicaciones bsicas del mtodo de la transformada de Laplace. Se prescinde de las demostraciones matemticas rigurosas y de aquellas aplicaciones ms complejas, remitiendo al estudiante a los textos consagrados a ste captulo tan importante de la matemtica aplicada.

2.2

La transformada de Laplace

Sea F(t) una funcin de t definida para todo t>0; la transformada de Laplace, que se expresa con el smbolo L[F(t)], se define por

L[F(t)]

f(s)

F (t ) e
0

st

dt

(1)

en donde el parmetro s puede ser un nmero real o complejo. El operador L[F(t)] transforma una funcin F(t) en el dominio del tiempo en una funcin f(s) en el dominio de la variable s. Ambas funciones, F(t) y f(s), forman un par de transformadas. Existen tablas en donde se encuentran estos pares de funciones. En el ANEXO se presenta una tabla de este tipo. Las condiciones suficientes para la existencia de la transformada de Laplace son que la funcin F(t) sea (a) continua a intervalos y (b) de orden exponencial. Una funcin F(t) es de orden exponencial si F(t)<Aet para todo t>t0, siendo A y t0 constantes positivas. Si se cumple estas condiciones, la integral de la transformacin directa es convergente para todo >, y existe f(s). En resumen, L es el llamado operador de la transformada de Laplace. Si L[F(t)]= f(s), entonces F(t)= L [f(s)], es la transformada inversa de Laplace de f(s). L-1 es llamado operador de la transformada inversa de Laplace.
-1

2.2.1 Ejemplo 1 Hallar la transformada de Laplace de la funcin escaln F(t)=A para t>0. Aplicando la ec. 1 a la funcin F(t)=A tendremos

L[A] =

A A A e st dt = e st = s 0 s 0

Esta es la ecuacin (32.25) listada en la tabla del ANEXO.

Ing. G.H. Scarpin

Pgina 1

05/14/00

Universidad Tecnolgica Nacional Facultad Regional Crdoba Ing. en Sistemas de Informacin 2.2.2 Ejemplo 2

Asignatura: Simulacin

Hallar la transformada de Laplace de la funcin F(t)=eat, siendo a una constante.

L[e ] =

at

e
0

at

st

dt = e
0

(s a )t

1 1 dt = e (s a )t = (s a ) 0 s a

La anterior es la ecuacin (32.29) del ANEXO. De igual manera se pueden obtener todas las dems transformaciones listadas en el ANEXO.

2.3

Ejemplo de solucin analtica usando transformada de Laplace. Resolver la siguiente ecuacin diferencial de segundo orden usando transformada de Laplace. y - 3y + 2y = 0; con y(0)=3, y(0)=4 (2)

Transformamos la ecuacin (2) del dominio del tiempo al dominio de la variable s usando las transformaciones listadas en el ANEXO (ec. 32.8, 32.7)

s 2 f ( s ) s F (0) F ' (0) 3(sf ( s ) F (0) ) + 2 f ( s ) = 0

reemplazando F(0) y F(0) con las condiciones de contorno definidos en (2) nos queda:

s 2 f (s) 3 s 4 3 s f ( s) + 9 + 2 f (s ) = 0
despejando f(s)

f ( s) s 2 3 s + 2 = 3 s 5

f (s) =

3s 5 (3) s 3s + 2
2

Para poder hallar la transformada inversa de (3) debemos simplificarla en trminos que aparezcan en la tabla del ANEXO. Por este motivo haremos un desarrollo en fracciones parciales de la ec. (3) siguiendo los pasos listados a continuacin: a. Encontramos las races del divisor: s=1 y s=2 (Polos de la funcin). b. Descomponiendo en factores el divisor, la ec. (3) queda:

A B 3s 5 = + (s 1)(s 2) s 1 s 2

(4)

c. Encontramos los valores de los coeficientes A y B. Para hallar A hacemos

3s 5 (s 1) = A + B (s 1) ; sustituyendo s=1, A = 3 s 5 = 2 s2 s 2 s =1 (s 1)(s 2)

Anlogamente

B=

3s 5 =1 s 1 s =2

d. Reemplazar lo valores de A y B en (4), nos queda expresada la ec. (3) en los siguientes trminos:

f ( s) =

2 1 + (5) s 1 s 2

Ahora si estamos en condiciones de hallar la transformada inversa de (5) usando la tabla del ANEXO (ec. 32.29) o el resultados que obtuvimos en 2.2.2 :

y = 2 e t + e 2 t (6)
Por supuesto la ec. (6) es la solucin analtica de la ec. (2). Para comprobarlo se debe reemplazar (6) y sus derivadas en (2) y verificar la igualdad. Adems se debe verificar que se cumplan las condiciones de contorno en y e y.

Ing. G.H. Scarpin

Pgina 2

05/14/00

Universidad Tecnolgica Nacional Facultad Regional Crdoba Ing. en Sistemas de Informacin

Asignatura: Simulacin

3. SOLUCION NUMERICA
El problema general de una ecuacin diferencial de orden n con condiciones iniciales es:

con:

y (n ) = f x, y, y ' ,!, y (n1) y (x0 ) = y0 " y ' (x0 ) = y '0 y

(n 1)

(x0 ) = y0(n 1)

Esta ecuacin de orden n, puede ser convertida a un sistema de n ecuaciones de primer orden, haciendo:

u1 (x ) = y (x ) "

u 2 (x ) = y ' (x ) u n (x ) = y (n1) (x )
obteniendo el sistema:

u '1 (x ) = u 2 (x ) "

u ' 2 (x ) = u3 (x ) u 'n (x ) = f (x, u1 ( x), u 2 ( x),!, u n ( x) )

Estas ecuaciones son resueltas simultneamente usando alguno de los mtodos de solucin numrica de ecuaciones diferenciales de primer orden visto anteriormente.

3.1

Solucin de sistema de ecuaciones diferenciales de primer orden Consideremos un sistema de 2 ecuaciones diferenciales de primer orden del tipo:

v' = g (x, v, w) w' = f (x, v, w)

con las condiciones iniciales v(x0)=v0 y w(x0)=w0. Al resolverlo usando el mtodo de Euler queda:

vi +1 = vi + h g (xi , vi , wi )
Ejemplo:

wi +1 = wi + h f (xi , vi , wi )

Resolver el siguiente sistema de ec. diferenciales de primer orden:

v'+3 x v 5 w = 0 4 w'2 w v = x
con las condiciones iniciales: v(0)=2, w(0)=-1. Paso de integracin h=0.2. i 0 1 2 3 4 5 6 7 8 9 10
Ing. G.H. Scarpin

x 0.0 0.2 0.4 0.6 0.8 1.0 1.2 1.4 1.6 1.8 2.0

vi 2.000 1.000 -0.320 -1.553 -2.242 -2.190 -1.631 -0.996 -0.551 -0.304 -0.162

wi -1.000 -1.200 -1.310 -1.248 -1.024 -0.755 -0.539 -0.391 -0.282 -0.187 -0.091

v'i w'i vi+1 wi+1 -5.000 -1.000 1.000 -1.200 -6.600 -0.550 -0.320 -1.310 -6.166 0.310 -1.553 -1.248 -3.445 1.119 -2.242 -1.024 0.260 1.348 -2.190 -0.755 2.797 1.076 -1.631 -0.539 3.174 0.740 -0.996 -0.391 2.226 0.545 -0.551 -0.282 1.231 0.478 -0.304 -0.187 0.710 0.478 -0.162 -0.091 0.519 0.507 -0.059 0.010
05/14/00

Pgina 3

Universidad Tecnolgica Nacional Facultad Regional Crdoba Ing. en Sistemas de Informacin Finalmente graficamos las funciones resultantes v y w:
2.5 2 1.5 1 0.5

Asignatura: Simulacin

v w

v-w

0 -0.5 -1 -1.5 -2 -2.5 0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2

w v

3.2

Solucin de ecuaciones diferenciales de orden superior

Como ya se dijo, para poder resolver numricamente una ecuacin diferencial de orden n debemos transformarla en n ecuaciones diferenciales de primer orden y luego resolverla de igual manera que se hizo en 3.1. Como ejemplo veamos la solucin de una ecuacin diferencial de segundo orden, la cual es de gran importancia en diversas aplicaciones:

y" = f (x, y ' , y )

,

con las condiciones de iniciales o de contorno: y(x0)=y0 Definimos: v=y w=y

y(x0)=y0.

y se obtiene el sistema de ec. diferenciales de primer orden:

v' = w w' = f (x, v, w)

con las condiciones iniciales v(x0)=y0 y w(x0)=y0. Al resolverlo usando el mtodo de Euler queda:

vi +1 = vi + h wi
Ejemplo 1:

wi +1 = wi + h f (xi , vi , wi )

Resolver la siguiente ecuacin diferencial de segundo orden :

3 y"+2 x y '+3 y 2 = sen (x )

con las condiciones iniciales: y(0)=-2, y(0)=0. Paso de integracin h=0.2. Para integrar numricamente transformamos la ecuacin anterior en un sistema de dos ecuaciones diferenciales de primer orden haciendo v=y, w=y:

v' = w w' =
Ing. G.H. Scarpin

sen (x ) 2 x w 3 v + 2 3
Pgina 4

con v(0)=-2, w(0)=0.

05/14/00

Universidad Tecnolgica Nacional Facultad Regional Crdoba Ing. en Sistemas de Informacin

Asignatura: Simulacin

i 0 1 2 3 4 5 6 7 8 9 10
3

x 0.0 0.2 0.4 0.6 0.8 1.0 1.2 1.4 1.6 1.8 2.0

vi -2.000 -2.000 -1.893 -1.680 -1.371 -0.985 -0.549 -0.094 0.349 0.754 1.097

wi 0.000 0.533 1.066 1.547 1.930 2.180 2.275 2.217 2.021 1.720 1.354

v'i 0.000 0.533 1.066 1.547 1.930 2.180 2.275 2.217 2.021 1.720 1.354

w'i 2.667 2.662 2.406 1.916 1.247 0.479 -0.294 -0.980 -1.505 -1.826 -1.934

vi+1 -2.000 -1.893 -1.680 -1.371 -0.985 -0.549 -0.094 0.349 0.754 1.097 1.368

wi+1 0.533 1.066 1.547 1.930 2.180 2.275 2.217 2.021 1.720 1.354 0.968

y''
2

y' y y' y'' y

y - y'- y''

-1

-2

-3 0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2

x
Ejemplo 2: Resolver la ecuacin diferencial (2): y - 3y + 2y = 0; con y(0)=3, y(0)=4

Lo transformamos en dos ec. diferenciales de primer orden haciendo v=y, w=y::

v' = w w' = 3 w 2 v
i 0 1 2 3 4 5 6 7 8 9 10 x 0.0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0 vi 3.00 3.40 3.86 4.39 5.00 5.71 6.53 7.48 8.59 9.88 11.38 wi 4.00 4.60 5.30 6.12 7.08 8.20 9.52 11.06 12.89 15.04 17.57 v'i 4.00 4.60 5.30 6.12 7.08 8.20 9.52 11.06 12.89 15.04 17.57

con v(0)=3, w(0)=4. w'i 6.00 7.00 8.18 9.57 11.22 13.17 15.49 18.23 21.49 25.36 29.95 vi+1 3.40 3.86 4.39 5.00 5.71 6.53 7.48 8.59 9.88 11.38 13.14 wi+1 4.60 5.30 6.12 7.08 8.20 9.52 11.06 12.89 15.04 17.57 20.57 yexacto 3.00 3.43 3.93 4.52 5.21 6.02 6.96 8.08 9.40 10.97 12.83

3.3

Resumen

Combinando los mtodos presentados en los puntos 3.1 y 3.2 es posible resolver sistemas de ecuaciones diferenciales ordinarias de cualquier orden transformndolo en un sistema de ecuaciones diferenciales de primer orden y usando los mtodos clsicos ya analizados.
Ing. G.H. Scarpin Pgina 5 05/14/00

Universidad Tecnolgica Nacional Facultad Regional Crdoba Ing. en Sistemas de Informacin

Asignatura: Simulacin

4. ESTABILIDAD
Una cuestin importante es la estabilidad del procedimiento numrico. La instabilidad surge cuando cualquier error que se haya introducido (por ej., debido al redondeo) produce una solucin no deseada de la ecuacin de diferencias finitas, la cual entonces crece ms rpidamente que la solucin requerida, rebasndola eventualmente. Las frmulas que usamos originan un error de truncamiento y su conocimiento es valioso, pero no suficiente para determinar la precisin del mtodo. Con el objeto de dar una idea respecto a este tema consideremos el siguiente ejemplo: Analicemos la ecuacin:

1 2 y' = y x 3 3 1 y (x ) = A e x + x + 1 . En el caso especial de condicin inicial y(0)=1 3

cuya solucin analtica general es

A es nulo. En este caso la solucin ser una expresin lineal simple que variar lentamente en comparacin con el trmino exponencial. Durante el clculo numrico, debido a los errores, es probable que se considere el trmino exponencial y el error resultante crecer y rebasar a la solucin.
80 70 60 50 40 30 20 10 0 0 20 40 60 80 100 120 140

Numrico Exacto

Este fenmeno se llama inestabilidad inherente, puesto que un pequeo cambio en el valor inicial causa un gran cambio (para x grande) en la solucin verdadera. Es anlogo al mal condicionamiento en el lgebra lineal y es relativamente independiente del mtodo numrico de solucin. Sin embargo, usando frmulas de orden ms elevado y aritmtica de doble precisin, se puede obtener mayor exactitud. Tambin, puede ser posible dar otro enunciado al problema de tal modo que se supere la inestabilidad.

5. ECUACIONES DIFERENCIALES PARCIALES

Hemos visto hasta aqu los mtodos para resolver ecuaciones diferenciales ordinarias de cualquier orden. Adems de estas ecuaciones existen otras ecuaciones diferenciales denominadas ecuaciones diferenciales a derivadas parciales. Estas ecuaciones, cuyos campos de aplicacin es la fsica nuclear, aerodinmica, anlisis estructural, mecnica computacional, etc., estn adquiriendo cada vez mayor importancia. A modo de ejemplo escribamos una ecuacin diferencial a derivadas parciales de segundo orden, lineales, con dos variables independientes. Esta se puede escribir de la forma:

A u xx + B u xy + C u yy + D u x + E u y + F u = G
donde A, B, C, D, E, F y G son funciones nicamente de x e y. Para poder seleccionar una solucin especfica a este problema, se debe suministrar informacin adicional (similar a las condiciones iniciales de las ecuaciones diferenciales ordinarias) que, como estamos tratando con dos variables independientes, stas tendrn que ser dadas a travs de una curva en el plano x y. Esta informacin puede referirse a u y/o a sus derivadas. Se definen tres tipos de ecuaciones diferenciales parciales de 2 orden: a. Ecuacin elptica (B2-4AC<0) b. Ecuacin parablica (B2-4AC=0) c. Ecuacin hiperblica (B2-4AC>0) Cada ecuacin tiene un mtodo prctico de resolucin. Puede suceder que alguna ecuacin pertenezca a ms de un tipo, dependiendo de cmo varen los valores de los coeficientes. El mtodo para obtener las ecuaciones de diferencias finitas que permita resolverlos es similar a los procedimientos usados para resolver las ecuaciones diferenciales ordinarias, slo que aqu se suma una nueva dimensin al problema. Es decir ahora existe dos variables independientes y no slo una como era en el caso anterior. Generalmente para resolver problemas prcticos usando estas ecuaciones es necesario disponer de potentes computadoras.
Ing. G.H. Scarpin Pgina 6 05/14/00