MATEMTICAS (Grado en Qumica) PRCTICA 9

ECUACIONES DIFERENCIALES ORDINARIAS

1.- RESOLUCIN DE ECUACIONES DIFERENCIALES

El comando principal que incorpora Mathematica para resolver ecuaciones diferenciales ordinarias es la funcin DSolve, cuya sintaxis es la siguiente: DSolve[ecuacin, y[x],x]. Esta instruccin resuelve la ecuacin diferencial hallando la expresin formal de y(x) que la satisface. De esta forma, Mathematica busca como solucin de la ecuacin diferencial una expresin simblica de y(x) en funcin de la variable independiente x, que satisfaga formalmente la ecuacin. Cuando no se especifican condiciones iniciales de la ecuacin diferencial, la solucin incluye ciertos coeficientes indeterminados que caracterizan la solucin general (determinan el haz de funciones que son solucin). En este caso, Mathematica denomina sucesivamente a estos coeficientes mediante los simbolos C[1], C[2], ...

Ejemplo 1. Resolver las siguientes ecuaciones diferenciales: a) y'(x) - y(x) = 0. b) x''(t) + x(t) = 0. a) DSolve@y '@xD y@xD 88y@xD b) DSolve@x ''@tD + x@tD 0, x@tD, tD
x

0, y@xD, xD

C@1D<<

88x@tD C@1D Cos@tD + C@2D Sin@tD<< Se observa que la solucin general de las ecuaciones diferenciales sin condiciones iniciales involucra coeficientes indeterminados. Mathematica permite tambin la resolucin de sistemas de ecuaciones diferenciales. Ejemplo 2. Resolver el siguiente sistema de ecuaciones diferenciales: y1'(x) = y1(x) - y2(x) y2'(x) = -10 y1(x) + 4 y2(x). DSolve@8y1 '@xD ::y1@xD 1 7 10 7
x

y1@xD y2@xD, y2 '@xD

7x

10 y1@xD + 4 y2@xD<, 8y1@xD, y2@xD<, xD

7x

I5 + 2
x

M C@1D
7x

1 7

I 1 +
x

M C@2D,
7x

y2@xD

I 1 +

M C@1D +

1 7

I2 + 5

M C@2D>>

Prctica 9.nb

Simplify@%D ::y1@xD y2@xD 1 7 1 7

x

II5 + 2

7x

M C@1D I 1 +
7x

7x

M C@2DM,
7x

I 10 I 1 +

M C@1D + I2 + 5

M C@2DM>>

Dada la ecuacin diferencial y'=f(x,y), desde el punto de vista geomtrico cada curva solucin es una curva en el plano cuya pendiente en el punto ( x0 , y0 L es f( x0 , y0 L. La orden VectorFieldPlot permite crear la grfica del campo direccional, porque representa la familia de vectores (x,y) en el plano IR2 , donde sus componentes x e y toman valores en los intervalos considerados. Teniendo en cuenta la interpretacin geomtrica de la derivada de una funcin, representar la direccin de las tangentes en el plano coordenado supone representar los valores de la forma (1, y'). Ejemplo 3. Representar grficamente el campo de direcciones de la ecuacin diferencial y'(x)=x.
<< VectorFieldPlots` figura1 = VectorFieldPlot @81, x<, 8x, 1, 1<, 8y, 1, 1<D

Ejemplo 3. a) Resolver la ecuacin diferencial y'(x) = x. b) Considerar la solucin particular con C(1) = 0. Representar grficamente. c) Superponer la grfica de la solucin particular al campo direccional de la ecuacin diferencial del ejemplo 3 y observar. a)
Clear @x, yD DSolve @y '@xD ::y@xD x2 2 x, y@xD, xD

+ C@1D>>

Prctica 9.nb

b) Si se considera C[1 ]= 0 la solucin particular es y(x) =

figura2 = Plot B x2 2

x2 . 2

, 8x, 1, 1<, PlotStyle RGBColor @0, 1, 0DF

0.5

0.4

0.3

0.2

0.1

- 1.0

- 0.5

0.5

1.0

c)
Show @8figura1, figura2 <D

Prctica 9.nb

2.- PROBLEMAS DE VALORES INICIALES

Mathematica soporta tanto el problema general de bsqueda de solucin de una ecuacin diferencial como la resolucin de un problema de valores iniciales. Cuando se resuelve una ecuacin diferencial sin especificar ninguna condicin inicial, la solucin del problema no es nica, sino que existe una familia de posibles soluciones que difieren en unas constantes de integracin. Sin embargo, cuando se dan las condiciones iniciales (n condiciones para una ecuacin diferencial de orden n), puede ser nica y no depende de coeficientes indeterminados. La siguiente instruccin proporciona la solucin de un problema de Valores Iniciales: DSolve[{ecuacin, condicin 1, condicin 2, ...},x[t],t]. Ejemplo 4. Resolver la ecuacin diferencial x''(t) + x(t) = 0 con las condiciones iniciales x(0) = 0 y x'(0) = 1.
Clear @x, tD DSolve @8x ''@tD + x@tD 88x@tD Sin@tD<< 0, x@0D 0, x '@0D 1< , x @ tD , t D

Ejemplo 5. a) Resolver el sistema de ecuaciones diferenciales siguiente: x' (t) + x (t) = 3x(t)-2y(t) y'(t)=8x(t)-5y(t) con las condiciones iniciales x (0) = 1 e y(0) = 2. b) Comprobar que la solucin obtenida es correcta. a)
Clear @x, y, tD sol = DSolve @8x '@tD 99x@tD
t

3 x@ t D 2 y @ t D, y ' @ tD
t

8 x @t D 5 y @t D , x @0 D

1, y@0D

2<, 8x@tD, y@tD<, tD

, y @ tD 2

==

b)
x @ t_ D =
t t

y @t_ D = 2 2
t

x '@tD True y ' @t D True x@0D True y @0 D True 2 1

3 x @ tD 2 y @ tD

8 x@ t D 5 y @ t D

Prctica 9.nb

EJERCICIOS PROPUESTOS

Ejercicio 1. Resolver las siguientes ecuaciones diferenciales:

1 a) y'= 1+cos . x

b) y'' - 7 y' + 6 y = x cos x. Ejercicio 2. Resolver el siguiente sistema de ecuaciones diferenciales: x'(t) = y(t) + z(t) y'(t) = x(t) + 1 z'(t) = 3 x(t) + 3 Ejercicio 3. a) Resolver el problema de valores iniciales y'(x) = -3 x sen x, y(0) = 0. b) Representar en una misma grfica el campo vectorial de la ecuacin diferencial y'(x) = -3 x sen x y la solucin particular obtenida para el punto (0, 0). Ejercicio 4. a) Resolver el problema de valores iniciales en el siguiente sistema de ecuaciones diferenciales: x'(t) = x(t) + y(t) + 2 z(t) x(0) = 2 y'(t) = 2 y(t) + 2 z(t) y(0) = 0 z'(t) = -x(t) + y(t) + 3 z(t) z(0) = 1. b) Comprobar que la solucin obtenida es correcta.