Calculo Diferencial e Integral

AMPLIACION DE MATEMATICAS
Antonio Baeza Salas
Ampliacin de Matemticas o a
Indice general
1. Introduccin. o 1.1. Deniciones y terminolog . . . . . . . . . . . . . . . . . . . a. 1.1.1. Solucin general. . . . . . . . . . . . . . . . . . . . . . o 1.1.2. Sistemas de ecuaciones diferenciales. . . . . . . . . . . 1.1.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 1.2. Problemas de valor inicial. . . . . . . . . . . . . . . . . . . . . 1.2.1. Problemas de valor inicial de primero y segundo orden. 1.2.2. Existencia y unicidad. . . . . . . . . . . . . . . . . . . 1.3. Las E.D. como modelos matemticos. . . . . . . . . . . . . . a 1.3.1. Crecimiento y decaimiento. . . . . . . . . . . . . . . . 1.3.2. Diseminacin de una enfermedad. . . . . . . . . . . . . o 1.3.3. Ley de Newton del enfriamiento. . . . . . . . . . . . . 1.3.4. Mezclado. . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.5. Vaciado de un tanque. . . . . . . . . . . . . . . . . . . 1.3.6. Ca libre. . . . . . . . . . . . . . . . . . . . . . . . . da 1.4. Practica con Mathematica . . . . . . . . . . . . . . . . . . . . 1.4.1. Denicin de funciones. . . . . . . . . . . . . . . . . . o 1.4.2. Derivadas. . . . . . . . . . . . . . . . . . . . . . . . . . 1.4.3. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 1.4.4. Resolucin de ecuaciones diferenciales. . . . . . . . . . o 1.4.5. Ecuaciones con condiciones iniciales. . . . . . . . . . . 1.4.6. Grcos bidimensionales. El comando Plot. . . . . . . a 1.4.7. Representacin grca de la solucin de una ecuacin o a o o diferencial. . . . . . . . . . . . . . . . . . . . . . . . . 7 7 11 12 12 13 13 15 15 19 20 20 20 21 23 23 23 24 24 25 26 26 27
2. E.D.O. Primer Orden 29 2.1. Integracin directa. . . . . . . . . . . . . . . . . . . . . . . . . 29 o 2.2. Variables separables. . . . . . . . . . . . . . . . . . . . . . . . 30 2.2.1. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 33 3
Ampliacin de Matemticas o a 2.3. Ecuaciones exactas. . . . . . . . . . . . . . . . . . . . . . . . . 33 2.3.1. Mtodo de solucin para ecuaciones diferenciales exace o tas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2.3.2. Ecuaciones reducibles a exactas. Factores integrantes. 36 2.3.3. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 39 2.4. Ecuaciones lineales. . . . . . . . . . . . . . . . . . . . . . . . . 39 2.4.1. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 43 2.5. Soluciones por sustitucin. . . . . . . . . . . . . . . . . . . . . 43 o 2.5.1. Ecuaciones homogneas. . . . . . . . . . . . . . . . . . 44 e 2.5.2. La ecuacin de Bernoulli. . . . . . . . . . . . . . . . . 47 o 2.5.3. Reduccin a separacin de variables. . . . . . . . . . . 48 o o 2.5.4. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 48 2.6. Modelado con ecuaciones diferenciales de primer orden. . . . 49 2.6.1. Crecimiento bacteriano. . . . . . . . . . . . . . . . . . 49 2.6.2. Periodo medio del plutonio. . . . . . . . . . . . . . . . 50 2.6.3. Antigedad de un fsil. . . . . . . . . . . . . . . . . . 52 u o 2.6.4. Ley de Newton del enfriamiento. . . . . . . . . . . . . 53 2.6.5. Mezclas. . . . . . . . . . . . . . . . . . . . . . . . . . . 53 2.6.6. Modelos demogrcos. . . . . . . . . . . . . . . . . . . 55 a 2.6.7. Modelo depredador-presa. . . . . . . . . . . . . . . . . 58 2.7. Practica con Mathematica. . . . . . . . . . . . . . . . . . . . 59 2.7.1. Integrando con Mathematica. . . . . . . . . . . . . . . 59 2.7.2. Representacin grca de funciones dadas en forma o a impl cita. . . . . . . . . . . . . . . . . . . . . . . . . . 59 2.7.3. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 60
3. Mtodos numricos. e e 3.1. Campos direccionales. . . . . . . . . . . . . . . . . . . . . . . 3.1.1. Representacin grca de un Campo de Direcciones. . o a 3.1.2. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 3.2. Resolucin numrica del problema de Cauchy. . . . . . . . . . o e 3.2.1. Mtodos de un paso para la resolucin numrica. . . . e o e 3.3. Mtodos de Euler. . . . . . . . . . . . . . . . . . . . . . . . . e 3.3.1. Errores en los mtodos numricos. . . . . . . . . . . . e e 3.3.2. Mtodo Euler expl e cito. . . . . . . . . . . . . . . . . . 3.3.3. Mtodo Euler impl e cito. . . . . . . . . . . . . . . . . . 3.3.4. Mtodo modicado de Euler o mtodo del punto medio. e e 3.3.5. Mtodo de Grank-Nicolson. . . . . . . . . . . . . . . . e 3.3.6. Mtodo de Heum o mtodo mejorado de Euler. . . . . e e 3.4. Mtodo de Ronge-Kutta de orden 4. . . . . . . . . . . . . . . e
61 61 62 63 64 68 69 72 73 74 75 76 77 79
Antonio Baeza Salas
3.4.1. Frmula de Runge-Kutta de cuarto orden. . . . . . . . 80 o 3.5. Ecuaciones de orden mayor y sistemas de ecuaciones diferenciales. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 3.5.1. Problemas de valores iniciales de segundo orden. . . . 82 3.5.2. Sistemas reducidos a sistemas de primer orden. . . . . 83 3.5.3. Solucin numrica. . . . . . . . . . . . . . . . . . . . . 83 o e 3.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 3.7. Practica con Mathematica. . . . . . . . . . . . . . . . . . . . 84 3.7.1. Mtodo de Euler . . . . . . . . . . . . . . . . . . . . . 84 e 3.7.2. Mtodo de Euler Mejorado. . . . . . . . . . . . . . . . 85 e 3.7.3. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 86 4. Ecuaciones lineales de orden superior. Aplicaciones. 4.1. Teor preliminar. . . . . . . . . . . . . . . . . . . . . . . . . a 4.1.1. Problemas de valor inicial y de valor en la frontera. . . 4.1.2. Ecuaciones homogneas. . . . . . . . . . . . . . . . . . e 4.1.3. Ecuaciones no homogneas. . . . . . . . . . . . . . . . e 4.1.4. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 4.2. Reduccin de orden. . . . . . . . . . . . . . . . . . . . . . . . o 4.2.1. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 4.3. Ecuaciones lineales homogneas con coecientes constantes. . e 4.3.1. Mtodo de solucin. . . . . . . . . . . . . . . . . . . . e o 4.3.2. Ecuaciones de orden superior. . . . . . . . . . . . . . . 4.3.3. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 4.4. Coecientes indeterminados, mtodo del anulador. . . . . . . e 4.4.1. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 4.5. Variacin de parmetros. . . . . . . . . . . . . . . . . . . . . . o a 4.5.1. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 4.6. Ecuacin de Cauchy-Euler. . . . . . . . . . . . . . . . . . . . o 4.6.1. Mtodo de solucin. . . . . . . . . . . . . . . . . . . . e o 4.6.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . 4.7. Modelado con ecuaciones diferenciales de orden superior. . . . 4.7.1. Sistemas de resorte y masa: movimiento libre no amortiguado. . . . . . . . . . . . . . . . . . . . . . . . . . . 4.7.2. Desviacin de una viga. . . . . . . . . . . . . . . . . . o 4.8. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89 89 89 92 96 98 99 101 101 102 104 106 106 113 113 116 116 117 118 118 118 121 123
5. Sistemas de ecuaciones diferenciales lineales. 129 5.1. Teor preliminar. . . . . . . . . . . . . . . . . . . . . . . . . 129 a 5.1.1. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . 136
Ampliacin de Matemticas o a 5.2. Sistemas lineales homogneos con coecientes constantes. e 5.2.1. Valores propios reales y distintos. . . . . . . . . . . 5.2.2. Valores propios repetidos. . . . . . . . . . . . . . . 5.2.3. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . 5.3. Variacin de parmetros. . . . . . . . . . . . . . . . . . . . o a 5.3.1. Una matriz fundamental. . . . . . . . . . . . . . . 5.3.2. Variacin de parmetros. . . . . . . . . . . . . . . o a 5.3.3. Problema de valor inicial. . . . . . . . . . . . . . . 5.3.4. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137 137 139 141 142 142 143 146 146
6. Ecuaciones en derivadas parciales. 6.1. Ecuaciones diferenciales en derivadas parciales separables. 6.1.1. Ecuaciones lineales. . . . . . . . . . . . . . . . . . 6.1.2. Separacin de variables. . . . . . . . . . . . . . . . o 6.1.3. Principio de superposicin. . . . . . . . . . . . . . o 6.1.4. Clasicacin de las ecuaciones. . . . . . . . . . . . o 6.1.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . 6.2. Ecuaciones clsicas y problemas de valor en la frontera. . a 6.2.1. Ecuacin de transmisin de calor. . . . . . . . . . . o o 6.2.2. Ecuacin de onda. . . . . . . . . . . . . . . . . . . o 6.2.3. Ecuacin de Laplace. . . . . . . . . . . . . . . . . . o 6.3. Ecuacin de transmisin de calor. . . . . . . . . . . . . . . o o 6.4. Ecuacin de onda. . . . . . . . . . . . . . . . . . . . . . . o 6.5. Ecuacin de Laplace. . . . . . . . . . . . . . . . . . . . . . o
147 . 147 . 147 . 148 . 150 . 150 . 151 . 152 . 152 . 152 . 153 . 153 . 154 . 154
Cap tulo 1
Introduccin. o
1.1. Deniciones y terminolog a.
dy o o La derivada, dx , de una funcin y = f (x), es otra funcin de x, que se determina siguiendo las reglas conocidas de derivacin, por ejemplo, si o 2 2 2 dy y = ex , entonces dx = 2xex . Al reemplazar ex por el s mbolo y se obtiene:
dy = 2xy dx
(1.1)
Uno de los problemas al que nos enfrentamos en esta asignatura es dada una ecuacin diferencial, como la ecuacin (1.1), hay algn mtodo por el o o u e cual podamos llegar a la funcin desconocida y = f (x)? o Denicin 1.1.1 (Ecuacin diferencial) Una ecuacin que contiene las o o o derivadas de una o ms variables dependientes con respecto a una o ms a a variables independientes es una ecuacin diferencial. o Las ecuaciones diferenciales se clasican de acuerdo con su tipo, orden y linealidad. Clasicacin seg n el tipo Si una ecuacin slo contiene derivadas oro u o o dinarias de una o ms variables dependientes con respecto a una sola a variable independiente, entonces se dice que es una ecuacin difeo rencial ordinaria. Por ejemplo: dy + 10y = ex dx d2 y dy + 6y = 0 2 dx dx 7
Ampliacin de Matemticas o a son ecuaciones diferenciales ordinarias. Una ecuacin que contiene las o derivadas parciales de una o ms variables dependientes, respecto de a dos o ms variables independientes, se llama ecuacin en derivadas a o parciales. Por ejemplo: u v = y x 2u 2u u = 2 2 2 x t t
Clasicacin seg n el orden. El orden de una ecuacin diferencial (oro u o dinaria o en derivadas parciales) es el de la derivada de mayor orden en la ecuacin. Por ejemplo, o d2 y dy + 6y = ex 2 dx dx es una ecuacin diferencial de segundo orden. Como la ecuacin o o (y x)dx + 4xdy = 0 se puede escribir en la forma 4x dy +y =x dx
si se divide entre la diferencial dx, es un ejemplo de una ecuacin o diferencial ordinaria de primer orden. Una ecuacin diferencial ordinaria general de orden n se suele repreo sentar mediante los s mbolos F (x, y, y , y , , y (n) ) = 0 (1.2)
En este curso supondremos que se puede despejar la derivada de orden mximo, y (n) , de una ecuacin diferencial de orden n, como la ecuacin a o o (1.2); esto es, y (n) = f (x, y, y , y , , y (n1) ) (1.3) Clasicacin seg n la linealidad o no linealidad. Se dice que una ecuao u cin diferencial de la forma y (n) = f (x, y, y , y , , y (n1) ) es lineal o cuando f es una funcin lineal de y, y , y , , y (n1) . Esto signica o que una ecuacin es lineal si se puede escribir en la forma o an (x) dn y dn1 y dy + an1 (x) n1 + + a1 (x) + a0 (x)y = g(x) n dx dx dx (1.4)
Antonio Baeza Salas
En esta ecuacin, vemos las dos propiedades caracter o sticas de las ecuaciones diferenciales lineales: 1. La variable dependiente y y todas sus derivadas son de primer grado; esto es, la potencia de todo trmino donde aparece y es 1. e 2. Cada coeciente slo depende de x, que es la variable indepeno diente. Las funciones de y como sen y o las funciones de las derivadas de y, como ey no pueden aparecer en una ecuacin lineal. Cuando una ecuao cin diferencial no es lineal, se dice que es no lineal. Las ecuaciones o (y x)dx + 4xdy = 0 y 2y + y = 0 x3 dy d3 y + 6y = ex 3 dx dx
son ecuaciones lineales ordinarias de primero, segundo y tercer orden, respectivamente. Por otro lado,
el coeciente depende de y funcin no lineal de y o
d2 y dx2
potencia distinta de 1
d4 y dx4
son ecuaciones diferenciales no lineales de primero, segundo y cuarto orden, respectivamente. Denicin 1.1.2 (Solucin de una ecuacin diferencial.) Cuando una o o o funcin , denida en algn intervalo I, se sustituye en una ecuacin dio u o ferencial y transforma esa ecuacin en una identidad, se dice que es una o solucin de la ecuacin en el intervalo. o o Por ejemplo, una solucin de una ecuacin diferencial ordinaria, como la o o ecuacin (1.2), es una funcin con al menos n derivadas y o o F (x, (x), (x), (x), , (n) (x)) = 0 x I Se dice que y = (x) satisface la ecuacin diferencial. El intervalo I puede o ser intervalo abierto, cerrado, innito, etc. En este curso supondremos que una solucin es una funcin de valores reales. o o Ejemplo 1.1.1 (Comprobacin de una solucin.) o o x4 Comprobar que y = 16 es una solucin de la ecuacin no lineal o o
1 dy = xy 2 dx
(1 y)y + 4y = ex
+ sen y = 0
+ y2 = 0
10 en el intervalo (, +).
Ejemplo 1.1.2 (Comprobacin de una solucin.) o o Comprobar que y = xex es una solucin de la ecuacin lineal o o y 2y + y = 0 en el intervalo (, +).
Ejemplo 1.1.3 (Comprobacin de una solucin impl o o cita.) La relacin x2 + y 2 4 = 0 es una solucin impl o o cita de la ecuacin o diferencial dy x = dx y en el intervalo (2, +2). Derivando impl citamente obtenemos d 2 d d d 2 x + y 4= 0 dx dx dx dx 2x + 2y Al despejar el s mbolo
dy dx
dy =0 dx
de la ultima ecuacin se obtiene la ecuacin o o x dy = dx y
en el intervalo (2, +2). Toda relacin de la forma x2 + y 2 c = 0 satisface formalmente la o ecuacin anterior para cualquier constante c, sin embargo, se sobrentiende o que la relacin siempre debe tener sentido en el sistema de los nmeros o u reales. As por ejemplo, no podemos decir que x2 + y 2 + 4 = 0 sea una , solucin impl o cita de la ecuacin. o Ejemplo 1.1.4 La funcin y = c1 ex + c2 ex es una familia biparamtrica o e de soluciones de la ecuacin lineal de segundo orden y y = 0. Algunas de o las soluciones particulares son y = 0 (cuando c1 = c2 = 0), y = ex (cuando c1 = 1 y c2 = 0) Normalmente usamos x y y para representar las variables independientes y dependiente, respectivamente. Pero en la prctica, esas dos variables se a
Antonio Baeza Salas
11
representan mediante muchos s mbolos distintos. Por ejemplo, podr amos representar con t la variable independiente y con x la variable dependiente. Ejemplo 1.1.5 Las funciones x = c1 cos 4t y x = c2 sen 4t, donde c1 yc2 son arbitrarias, son soluciones de la ecuacin diferencial o x + 16x = 0 Es fcil comprobar que la combinacin lineal de soluciones o sea, la a o familia biparamtrica x = c1 cos t + c2 sen t es una solucin de la ecuacin e o o dada. 2 /4 + c)2 proporciona una Ejemplo 1.1.6 Puedes comprobar que y = (x familia monoparamtrica de soluciones de y = xy 1/2 . Cuando c = 0, la e solucin particular que resulta es y = x4 /16. En este caso, la solucin trivial o o y = 0 es una solucin singular de la ecuacin porque no se puede obtener o o partiendo de la familia y eligiendo algn valor del parmetro c. u a
1.1.1.
Solucin general. o
Si toda solucin de una ecuacin de orden n, F (x, y, y , y , . . . , y (n) ) = 0, o o en un intervalo I, se puede obtener partiendo de una familia n-paramtrica e G(x, y, c1 , c2 , . . . , cn ) = 0 con valores adecuados de los parmetros ci (i = a 1, 2, . . . , n), se dice que la familia es la solucin general de la ecuacin o o diferencial. Al resolver las ecuaciones diferenciales lineales vamos a imponer restricciones relativamente sencillas a los coecientes de esas ecuaciones. Con estas restricciones siempre nos aseguraremos no slo de que exista una solucin en o o un intervalo, sino tambin de que una familia de soluciones contenga todas e las soluciones posibles. Las ecuaciones no lineales, a excepcin de algunas de o primer orden, son dif ciles de resolver e incluso resultan irresolubles , en trminos de las funciones elementales comunes (combinaciones nitas de e potencias o ra enteres de x, de funciones exponenciales y logar ces tmicas, o funciones trigonomtricas o trigonomtricas inversas). Adems, si en cierto e e a momento nos encontramos con una familia de soluciones de una ecuacin o no lineal, no es obvio cundo la familia es una solucin general. Por lo ana o terior, y en un nivel prctico, el nombre solucin general slo se aplica a a o o las ecuaciones diferenciales lineales.
12
1.1.2.
Sistemas de ecuaciones diferenciales.
Hasta ahora se han descrito ecuaciones diferenciales aisladas con una funcin desconocida; pero muchas veces, en teor y en muchas aplicaciones, o a debemos manejar sistemas de ecuaciones diferenciales. Denicin 1.1.3 (Sistema de ecuaciones diferenciales ordinarias.) o Un sistema de ecuaciones diferenciales ordinarias es un conjunto de dos o ms ecuaciones donde aparecen las derivadas de dos o ms funciones descoa a nocidas de una sola variable independiente; por ejemplo, si x y y representan variables dependientes y t es la variable independiente, el conjunto siguiente es un sistema de dos ecuaciones diferenciales de primer orden:
dx dt dy dt
= 3x 4y = x + y
(1.5)
Una solucin de un sistema como el anterior es un par de funciones difeo renciables, x = 1 (t) y y = 2 (t), que satisface cada ecuacin del sistema o en algn intervalo comn I. u u
1.1.3.
Ejercicios
En los problemas que siguen comprueba que la funcin indicada sea una o solucin de la ecuacin. En algunos casos, suponga un intervalo adecuado o o de validez de la solucin. o 1. 2y + y = 0; 2. 3.
dy dx dy dt
y = ex/2 y = e3x + 10e2x y=

6 5 6 5 e20t
4. y + 4y = 32; 5. y = 25 + 6.
dy dx
y=8
2y = e3x ; + 20y = 24;
y2;
y x;
y = 5 tan 5x y = ( x + c1 )2 , x > 0, c1 > 0
Comprueba que la funcin denida por tramos sea una solucin de la o o ecuacin diferencial dada. o 7. xy 2y = 0; 8. (y )2 = 9xy; y= y= x2 , x < 0 x2 , x 0 0, x < 0 x3 , x 0
Determinar valores de m tales que y = emx sea una solucin de la o ecuacin diferencial respectiva: o 9. y 5y + 6y = 0
Antonio Baeza Salas 10. y + 10y + 25y = 0
13
Comprueba que cada par de funciones sea una solucin del sistema o respectivo de ecuaciones diferenciales. 11.
dx dt dy dt
= x + 3y = 5x + 3y
x = e2t + 3e6t , y = e2t + 5e6t
12.
d2 x dt2 d2 y dt2
= 4y + et = 4x et
1 1 x = cos 2t+sen 2t+ et , y = cos 2tsen 2t et 5 5
1.2.
Problemas de valor inicial.
A menudo nos interesa resolver una ecuacin diferencial sujeta a cono diciones prescritas, que son las condiciones que se imponen a y(x) o a sus derivadas. En algn intervalo I que contenga a x0 , el problema: u Resolver: dn y = f (x, y, y , . . . , y n1 ) dxn Sujeto a: y(x0 ) = y0 , y (x0 ) = y1 , . . . , y (n1) (x0 ) = yn1 , (1.7) (1.6)
en donde y0 , y1 , . . . , yn1 son constantes reales especicadas arbitrariamente, se llama problema de valor inicial. Los valores dados de la funcin desconocida, y(x), y sus primeras n 1 derivadas en un solo punto o x0 :y(x0 ) = y0 , y (x0 ) = y1 , . . . , y (n1) (x0 ) = yn1 , se llaman condiciones iniciales.
1.2.1.
Problemas de valor inicial de primero y segundo orden.
El problema enunciado con (1.6) y (1.7) tambin se denomina problema e de valor inicial de ensimo orden; por ejemplo, e Resolver: dy = f (x, y) dx (1.8)
14 Sujeto a: y(x0 ) = y0 Resolver: d2 y dx2 = f (x, y, y ) Sujeto a:
(1.9)
y(x0 ) = y0 , y (x0 ) = y1 son problemas de valor inicial de primero y segundo orden, respectivamente. Son fciles de interpretar en trminos geomtricos. Para la ecuacin (1.8) a e e o estamos buscando una solucin de la ecuacin diferencial en un intervalo I o o que contenga a x0 , tal que una curva de solucin pase por el punto prescrito o (x0 , y0 ) Para las ecuaciones (1.9), deseamos determinar una solucin de la ecuao cin diferencial cuya grca no slo pase por (x0 , y0 ), sino que tambin pase o a o e por ese punto de tal manera que la pendiente de la curva en ese lugar sea y 1 . El trmino condicin inicial procede de los sistemas f e o sicos en que la variable independiente es el tiempo t y donde y(t0 ) = y0 , y y (t0 ) = y1 representan, respectivamente,la posicin y la velocidad de un objeto en cierto momento o o tiempo inicial t0 . Ejemplo 1.2.1 Se comprueba que y = cex es una familia monoparamtrie ca de soluciones de la ecuacin y = y, de primer orden, en el intervalo o (, +). Si especicamos una condicin inicial, por ejemplo, y(0) = 3, al o sustituir x = 0, y = 3 en la familia, se determina la constante 3 = ce0 = c; por consiguiente, la funcin y = 3ex es una solucin del problema de valor o o inicial y = y, y(0) = 3 Ejemplo 1.2.2 Podemos comprobar que x = c1 cos 4t + c2 sen 4t es una familia biparamtrica de soluciones de x + 16x = 0. Determinemos una e solucin del problema de valor inicial o Resolver: x + 16x = 0 Sujeto a: x( ) = 2, 2 x( )=1 2 (1.10)
Antonio Baeza Salas
15
Primero sustituimos x(/2) = 2 en la familia dada de soluciones y vemos que c1 = 2. A continuacin sustituimos x (/2) = 1 en la familia o monoparamtrica x(t) = 2 cos 4t+c2 sen 4t, con lo que vemos que c2 = 1/4; e por lo tanto: x = 2 cos 4t + 1/4 sen 4t es una solucin de (1.10). o
1.2.2.
les:
Existencia y unicidad.
Al resolver un problema de valor inicial surgen dos asuntos fundamenta-
Existe una solucin al problema?. Si la hay, es unica? o Teorema 1.2.1 (Existencia de una solucin unica.) Sea R una regin o o rectangular del plano xy, denida por a x b, c y d, que contiene al punto (x0 , y0 ). Si f (x, y) y f son continuas en R, entonces existe un y intervalo I, centrado en x0 , y una funcin unica, y(x) denida en I, que o satisface el problema de valor inicial expresado por las ecuaciones (1.8)
1.3.
Las ecuaciones diferenciales como modelos matemticos. a
Con frecuencia se desea describir el comportamiento de algn sistema o u fenmeno de la vida real en trminos matemticos; dicho sistema puede ser o e a f sico, sociolgico, econmico, etc. La descripcin matemtica de un sistema o o o a o fenmeno se llama modelo matemtico y se forma con ciertos objetivos o a en mente; por ejemplo, podr amos tratar de comprender los mecanismos de cierto ecosistema estudiando el crecimiento de las poblaciones de animales, o podr amos tratar de fechar fsiles analizando la desintegracin de una o o sustancia radiactiva, sea en el fsil o en el estrato donde se encontraba. o Para la formulacin de un modelo matemtico de un sistema: o a i) Identicacin de las variables causantes del cambio del sistema. Podreo mos elegir no incorporar todas las variables en el modelo desde el comienzo. En este paso especicamos el nivel de resolucin del modeo lo.
16
ii) Se establece un conjunto de hiptesis razonables acerca del sistema que o tratamos de describir. Esas hiptesis tambin incluyen todas las leyes o e emp ricas aplicables al sistema. Para algunos nes quiz baste contar con modelos de baja resolucin; a o por ejemplo, en los cursos bsicos de f a sica al modelar el movimiento de un cuerpo que cae cerca de la supercie de la Tierra, se hace caso omiso de la resistencia del aire. Pero si queremos predecir la trayectoria de vuelo de un proyectil de largo alcance, deber tenerse en cuenta la resistencia del aire y a dems factores, como la curvatura de la Tierra. a Dado que las hiptesis acerca de un sistema implican con frecuencia la o razn o tasa de cambio de una o ms de las variables, el enunciado mao a temtico de todas esas hiptesis es una o ms ecuaciones donde intervienen a o a derivadas. En otras palabras, el modelo matemtico es una ecuacin o sisa o tema de ecuaciones diferenciales. Ejemplo 1.3.1 Problema de rapidez de variacin: Se vierte agua o en un recipiente de forma cnica (ver gura 1.1) con una rapidez r. El o recipiente en forma de cono de base horizontal tiene el vrtice dirigido hacia e abajo; el radio de la base del cono es a, su altura b. Determinar la velocidad a la que la supercie del agua se eleva cuando la profundidad del agua es y. Despus, obtener el valor numrico de la incgnita, suponiendo que e e o a = 4 dm, b = 3 dm, r = 2 dm3 por minuto e y = 1 dm.
x b
Figura 1.1: Problema de rapidez de variacin o
Antonio Baeza Salas
17
Solucin: Se suponen conocidas las reglas ms elementales de difereno a ciacin y la nocin de rapidez de variacin. o o o Cules son los datos?. a El radio de la base del cono, a = 4 dm; la altura del cono, b = 3 dm; la rapidez con que el agua se vierte en el recipiente r = 2 dm3 por minuto, y la profundidad del agua en un cierto momento, y = 1 dm. Exacto. El enunciado del problema parece sugerir que se deben dejar de lado, provisionalmente, los valores numricos y razonar con las e letras expresando la incgnita en funcin de a, b, r e y , y al nal o o solamente tras de obtener la expresin algebraica de la incgnita, suso o tituir los valores numricos. Adoptemos esta sugerencia. Cul es la e a incgnita?. o La velocidad a la que se eleva la supercie del agua cuando la profundidad es y. Es decir, puede usted expresarlo en otros trminos? e La velocidad con que aumenta la profundidad del agua. Nuevamente, puede usted enunciar el problema en forma diferente? La rapidez de variacin de la profundidad del agua. o Exacto: la rapidez de variacin de y. Pero, qu es la rapidez de variao e cin?. Considere usted la denicin. o o La derivada de una funcin representa la rapidez de variacin. o o Correcto. Ahora bien, y es una funcin?. Como ya lo hemos dicho, no o nos ocuparemos de su valor numrico. Puede imaginar que y var e a? Si, y, la profundidad del agua, aumenta a medida que pasa el tiempo. Por lo tanto, y es funcin de qu?. o e Del tiempo t. Bien. Introduzca una notacin apropiada. Cmo expresar uso o a ted la rapidez de variacin de y por medio de s o mbolos matemticos?. a
18
dy dt
Bien. He ah pues, su incgnita. Le hace falta expresarla en trminos , o e de a, b,r e y. De hecho, uno de estos datos es una rapidez de variacin: o cul de ellos?. a r, que representan la cantidad de agua que cae en el recipiente durante un tiempo dado. Puede decirlo en otra forma? r es la rapidez de variacin del volumen de agua en el recipiente. o Es decir, puede enunciarlo nuevamente en forma diferente?; cmo podr escribirlo con una notacin apropiada?. o a o r=
dV dt
Qu es V? e El volumen de agua que hay en el recipiente en el instante t. e Bien. As pues, tiene que expresar dy en trminos de a, b,r = dt Cmo va usted a tratar de hacerlo? o ...... Si no puede resolver el problema, trate de resolver, primero, un problema relacionado. Si no ve la relacin entre dy y los datos, o dt trate de que aparezca alguna relacin ms sencilla que podr servirle o a a de punto de partida. ...... No ve usted que existen otras relaciones? Por ejemplo, V e y son independientes una de otra? No. Cuando y aumenta, V debe aumentar tambin. e As hay una relacin. Cul es, pues?. o a Pues que V es el volumen del cono cuya altura es y. Pero desconozco el radio de la base. Sin embargo, puede tenerlo en cuenta. Dle un nombre cualquiera, x e por ejemplo.
dV dt
e y.
Antonio Baeza Salas V =

x2 y 3
19
Exacto. Ahora, qu sabe usted de x?Es independiente de y? e No. Cuando la profundidad del agua, y, aumenta, el radio de la supercie variable x aumenta tambin. e As pues, hay una relacin, cul es sta?. o a e Si , claro, hay tringulos semejantes: a
x y
a b
Una relacin ms, ve usted?. No hay que desaprovecharla. No olvide o a que usted quer conocer la relacin existente entre V e y. a o Se tiene x =
ay b
yV =
a2 y 3 3b2
Muy bien. Esto me parece un buen punto de partida. Qu le parece e a usted?. Pero no olvide su propsito. Cul es la incgnita?. o a o
dy dt
Tiene que encontrar una relacin entre dy , dV y otras cantidades. o dt dt Aqu tiene una entre y, V y otras cantidades. Qu hacer? e Pues claro, diferenciando se tiene He ah la solucin. o Perfecto. Y, para los valores numricos? e Si a = 4, b = 3, r = 2, y = 1, entonces 2 =
161 9 dV dt
a2 y 2 b2
dy dt
dy dt
1.3.1.
Crecimiento y decaimiento.
Uno de los primeros intentos de modelar matemticamente el crecimiento a demogrco lo hizo Thomas Malthus, economista ingls en 1798. En esencia, a e la idea del modelo malthusiano es la hiptesis de que la tasa de crecimiento o de la poblacin de un pa crece de forma proporcional a la poblacin total, o s o P (t), de ese pa en cualquier momento t. En trminos matemticos esta s e a hiptesis se puede expresar: o dP = kP (1.11) dt donde k es una constante de proporcionalidad. Esta ecuacin diferencial an o u se utiliza con mucha frecuencia para modelar poblaciones de bacterias y de animales pequeos durante cortos intervalos. n
20
1.3.2.
Diseminacin de una enfermedad. o
Cuando se analiza la diseminacin de una enfermedad contagiosa la o gripe, por ejemplo, es razonable suponer que la tasa o razn con que se o difunde no slo es proporcional a la cantidad de personas, x(t), que la han o contra en el momento t, sino tambin a la cantidad de sujetos, y(t), que do e no han sido expuestos todav al contagio. Si la tasa es dx/dt, entonces: a dx = kxy, dt (1.12)
donde k es la acostumbrada constante de proporcionalidad. Si, por ejemplo, se introduce una persona infectada en una poblacin constante de n pero sonas, entonces x y y se relacionan mediante x + y = n + 1. Usamos esta ecuacin para eliminar y en la ecuacin (1.12) y obtenemos el modelo o o dx = kx(n + 1 x) dt (1.13)
Una condicin inicial obvia que acompaa a esta ecuacin es x(0) = 1. o n o
1.3.3.
Ley de Newton del enfriamiento.
Segn la ley emp u rica de Newton acerca del enfriamiento, la rapidez con que se enfr un objeto es proporcional a la diferencia entre su temperatura y a la del medio que le rodea, que es la temperatura ambiente. Si T (t) representa la temperatura del objeto en el momento t, Tm es la temperatura constante del medio que lo rodea y dT /dt es la rapidez con que se enfr el objeto, la a ley de Newton del enfriamiento se traduce en el enunciado matemtico a dT = k(T Tm ) dt (1.14)
en donde k es una constante de proporcionalidad. Como supusimos que el objeto se enfr se debe cumplir que T > Tm ; en consecuencia, lo lgico es a, o que k < 0.
1.3.4.
Mezclado.
Al mezclar dos soluciones salinas de distintas concentraciones se da pie a una ecuacin diferencial de primer orden, que dene la cantidad de sal que o contiene la mezcla. Supongamos que un tanque mezclador grande contiene 300 galones de agua, en donde se ha disuelto sal. Otra solucin de salmuera se bombea al o
Antonio Baeza Salas
21
tanque a una tasa de 3 galones por minuto. El contenido se agita perfectamente y es desalojado a la misma tasa (ver gura 1.2) . Si la concentracin o de la solucin que entra es 2 libras/galn, hay que formar un modelo de la o o cantidad de sal en el tanque en cualquier momento.
Figura 1.2: Mezclado Sea A(t) la cantidad de sal (en libras) en el tanque en cualquier momento t. En este caso, la rapidez con que cambia A(t) es la tasa neta: dA = (tasa de entrada de la sustancia)(tasa de salida de la sustancia) = R 1 R2 dt (1.15) Ahora bien, la razn, R1 , con la que entra la sal al tanque, en lb/min, es o R1 = (3gal/min) (2lb/gal) = 6lb/min Mientras que la razn, R2 , con que sale la sal es o R2 = (3gal/min) ( A A lb/gal) = lb/min 300 100
Entonces, la ecuacin (1.15) se transforma en o A dA =6 dt 100 (1.16)
1.3.5.
Vaciado de un tanque.
En hidrodinmica, la ley de Torricelli establece que la velocidad v de a eujo (salida) del agua a travs de un agujero de bordes agudos en el fondo e de una tanque lleno con agua hasta una altura (o profundidad) h es igual a la
22
velocidad de un objeto (en este caso una gota de agua), que cae libremente o desde una altura h ; esto es, v = 2gh, donde g es la aceleracin de la gravedad. Esta ultima expresin se origina al igualar la energ cintica, o a e 1 mv 2 , con la energ potencial, mgh, despejando v. Supongamos que un a 2 tanque lleno de agua se deja vaciar por un agujero, por la accin de la o gravedad. Queremos determinar la profundidad, h, del agua que queda en el tanque (ver gura 1.3) en el momento t.
Aw
h Ao
Figura 1.3: Vaciado Si el area transversal del agujero es 0 , en pies cuadrados, y la velocidad A del agua que sale del tanque es v = 2gh, en pies segundo, el volupor u men de agua que sale del tanque, por segundo, es A0 2gh, en pies cbicos por segundo. As si V (t) representa al volumen del agua en el tanque en , cualquier momento t, dV = A0 2gh (1.17) dt donde el signo menos indica que V est disminuyendo. Obsrvese que no a e tenemos en cuenta la posibilidad de friccin en el agujero, que podr causar o a una reduccin de la tasa de ujo. Si el tanque es tal que el volumen del agua o en cualquier momento t se expresa como V (t) = Aw h, donde Aw son los pies cuadrados de area constante del espejo (la supercie superior) del agua, dV dh = Aw dt dt Sustituimos esta ultima expresin en la ecuacin (1.17) y llegamos a la ecua o o cin diferencial que desebamos para expresar la altura del agua en cualquier o a momento t: dh A0 2gh (1.18) = dt Aw Es interesante observar que la ecuacin (1.18) es vlida aun cuando A w no o a sea constante. En este caso, debemos expresar el area del agua en funcin o de h: Aw = A(h).
Antonio Baeza Salas
23
1.3.6.
Ca libre. da
Supongamos que se arroja una piedra hacia arriba, desde la azotea de un edicio. Cul es su posicin en el momento t?. Consideremos que su a o posicin respecto al suelo es s(t). La aceleracin de la piedra es la segunda o o 2s o derivada, d 2 . Si suponemos que la direccin hacia arriba es positiva, que dt la masa de la piedra es m y que no hay otra fuerza, adems de la de la a gravedad (g), actuando sobre la piedra, la segunda ley de Newton establece que d2 s d2 s m 2 = mg = g (1.19) dt dt2 Donde g es la aceleracin de la gravedad y mg es el peso de la piedra. Se o usa el signo menos porque el peso de la piedra es una fuerza que se dirige hacia abajo, opuesta a la direccin positiva. Si la altura del edicio es s 0 o y la velocidad inicial de la piedra es v0 , s queda determinada mediante el problema de valor inicial d2 s = g, dt2 s(0) = s0 , s (0) = v0 (1.20)
1.4.
1.4.1.
Practica con Mathematica

Denicin de funciones. o
Adems de las funciones incorporadas por Mathematica, tu puedes dea nir tus propias funciones. Una forma de hacerlo es la siguiente: In := h[x ] = x2 + 1 Out := 1 + x2 Una vez denida la funcin pueden calcularse diferentes valores para o distintos argumentos tanto numricos como simblicos. e o In := h[1] Out := 2 In := h[y] Out := 1 + y 2
24
1.4.2.
Derivadas.
Mathematica incorpora distintos formatos para la utilizacin de derivao das. D[f, x] Permite calcular la derivada parcial de la funcin f respecto a x. o Por ejemplo la derivada de la funcin seno: o In := D[Sin[x], x] Out := Cos[x] D[f, x, n] Permite calcular la derivada n-sima parcial de la funcin f respecto a x. e o Adems, dada una funcin f , si sta es derivable en un cierto dominio a o e D, se puede denir sobre ese dominio us funcin derivada f como la funcin o o que asocia a cada punto x el valor de la derivada de f en ese punto. Por ejemplo: In := f [x ] := Cos[x]; f [x] Out := Sin[x] In := f [P i]; Out := 0
Se dene f como la funcin coseno y se calcula su derivada y se evala o u la derivada en .
1.4.3.
Ejercicios.
En los siguientes problemas utiliza Mathematica para comprobar que la funcin indicada sea una solucin de la ecuacin diferencial dada. o o o 1. 2y + y = 0; 2.
dy dx
y = ex/2 y = e3x + 10e2x
2y = e3x ;
3. y + 4y = 32; 4. y = 2 + y 2 ;
y=8 y = 5 tan 5x
Antonio Baeza Salas
25
1.4.4.
Resolucin de ecuaciones diferenciales. o
El comando principal que incorpora Mathematica para resolver las ecuaciones diferenciales ordinarias es la funcin DSolve cuya sintaxis es la siguieno te: In := DSolve[ecuac, y[x], x] Resuelve la ecuacin diferencial ecuac hao llando la expresin formal de y[x] que la o verica. In := DSolve[y [x] y[x] == 0, y[x], x] Out := {{y(x) ex C(1)}} La solucin general de una ecuacin diferencial sin condiciones iniciales ino o volucra coecientes indeterminados: C(1). La llamada al comando DSolve produce como resultado la expresin foro mal de y[x]; sin embargo, esta solucin no dene una funcin por s misma, es o o decir, no se puede efectuar directamente a travs de ella ninguna operacin e o con y[x]. En los casos en los que, adems de obtener informacin sobre la soa o lucin de la ecuacin, se necesite operar con ella (obtener y[4], y [x], . . . , etc), o o se ha de variar ligeramente la sintaxis del comando anterior. Se dispone del siguiente comando para resolver estos casos: In := DSolve[ecuac, y, x] Resuelve la ecuacin diferencial ecuac hao llando un conjunto de reglas sobre y que la denen como funcin . o La forma de denir la solucin como una funcin es la siguiente: o o In := reglas = DSolve[y [x] y[x] == 0, y, x] Out := {{y(x) F unction(e#(1) C(1))}} Se obtienen las reglas que denen la solucin de la ecuacin o o In := y[x ] = y[x]/.reglas Out := {e#(1) C(1)} Se dena la funcin y[x] a partir de las reglas que denen la o solucin de la ecuacin diferencial. Se tiene la solucin de la o o o ecuacin como una nueva funcin. o o
26
Ampliacin de Matemticas o a In := y [x] y[x] Out := {0} Efectivamente, es la solucin de la anterior ecuacin difereno o cial. In := y[x] Out := { C(1) } ex Se pueden realizar operaciones con la nueva funcin solucin. o o
1.4.5.
Ecuaciones con condiciones iniciales.
Mathematica soporta tanto el problema general de bsqueda de soluu cin de una ecuacin diferencial como un problema de Cauchy, es decir, la o o bsqueda de solucin cuando se conoce alguna condicin inicial. u o o In := DSolve[{x [t] + x[t] == 0, x[0] == 0, x [0] == 1}, x[t], t] Out := {{x(t) Sin(t)}} De entre todas la posibles soluciones de la ecuacin se tiene o la que verica las condiciones iniciales. In := Regla = DSolve[{x [t] + x[t] == 0, x[0] == 0, x [0] == 1}, x, t] Out := {{x (Sin[#1]&)}} De entre todas la posibles soluciones de la ecuacin se tiene o la que verica las condiciones iniciales. In := x [t]/.Regla Out := {Cost(t)} Se obtiene su derivada.
1.4.6.
Grcos bidimensionales. El comando Plot. a
El comando que utiliza Mathematica para dibujar la grca de una funa cin de una variable es Plot. Para su ejecucin plot necesita dos argumentos: o o la descripcin de la funcin cuya grca se desea obtener y o o a una lista de tres elementos, separados por comas e incluidos entre llaves, que indican, respectivamente, la variable de la funcin y los o valores m nimo y mximo entre los que se pretende representar dicha a funcin. o
Antonio Baeza Salas In := P lot[Sin[x]2 + 2xCos[x], {x, 4P i, 4P i}] Out := Graphics Devuelve la grca de la gura 1.4. Representa la funcin a o sen2 x + 2x cos x como variable de x entre 0 y .
27
20 10
-10
-5 -10 -20
10
Figura 1.4: Grca de una funcin con Plot a o
1.4.7.
Representacin grca de la solucin de una ecuacin o a o o diferencial.
El problema que ms comnmente se plantea es obtener la grca de la a u a solucin de una ecuacin diferencial. o o Si utilizamos el comando DSolve para obtener una solucin, la represeno tacin de sta es sencilla, pues se tiene su expresin formal. Por lo tanto, o e o puede ser representada directamente: In := Regla = DSolve[{2x [t] 4x[t] == Exp[t], x[0] == 0}, x, t] 2#(1) Out := {{x F unction( 6e1 + e 6 &)}} #(1) Se obtiene la solucin de la ecuacin diferencial. o o In := P lot[x[t]/. %, {t, 8, 4}] Out := Graphics Devuelve la grca de la gura 1.5. a
Ejercicios. 1. Resuelve con Mathematica la ecuacin 1.16 del apartado 1.3.4. o
28
150 100 50 -8 -6 -4 -2 -50 -100 -150
Figura 1.5: Grca de la solucin de la ecuacin. a o o 2. Supongamos como condicin inicial A(0) = 0. o 3. Denir usando Mathematica una funcin solucin del problema de o o valor inicial anterior. 4. Representar con Mathematica la funcin solucin e interpretar adeo o cuadamente que ocurrir con la cantidad de sal en el tanque con el a paso del tiempo.
Cap tulo 2
Ecuaciones ordinarias de primer orden. Aplicaciones.

Se llama E.D.O. (Ecuacin Diferencial Ordinaria) a una ecuacin del o o tipo: F (x, y, y , y , . . . , y (n) ) = 0 que relaciona la variable independiente x, la funcin buscada y = y(x) y las o derivadas de sta funcin, y (x), y (x), . . . , y (n) (x). e o Decimos que la E.D.O. es de primer orden si el orden de la mayor derivada de y es 1: F (x, y, y ) = 0
2.1.
Integracin directa. o
Comenzamos nuestro estudio de la metodolog para resolver ecuaciones a dy a de primer orden, dx = f (x, y), con la ms sencilla de todas las ecuaciones diferenciales. Cuando f es independiente de la variable y esto es, cuando f (x, y) = g(x) la ecuacin diferencial o dy = g(x) (2.1) dx se puede resolver por integracin. Si g(x) es una funcin continua, al integrar o o ambos miembros de (2.1) se llega a la solucin o y= g(x)dx = G(x) + C 29 (2.2)
30
en donde G(x) es una integral indenida de g(x). dy Ejemplo 2.1.1 Resolver dx = 1 + e2x . Integrando se tiene: y= 1 (1 + e2x )dx = x + e2x + C 2
2.2.
Variables separables.
Denicin 2.2.1 Se dice que una ecuacin diferencial de primer orden, de o o la forma dy = g(x)h(y) dx es separable, o de variables separables. Al dividir entre la funcin h(y), una ecuacin separable se puede escribir o o en la forma: dy p(y) = g(x) (2.3) dx donde, por comodidad, p(y) representa a 1/h(y). As podemos ver de inme diato que la ecuacin (2.3) se reduce a la ecuacin (2.1) cuando h(y) = 1. o o Si y = (x) representa una solucin de (2.3), se debe cumplir o p((x)) (x)dx = g(x)dx (2.4)
Pero dy = (x)dx, de modo que la ecuacin (2.4) es lo mismo que o p(y)dy = g(x)dx (2.5)
Esta ecuacin indica el procedimiento para resolver las ecuaciones sepao rables. Al integrar ambos lados de p(y)dy = g(x)dx se obtiene una familia monoparamtrica de soluciones, que casi siempre se expresa de manera ime pl cita. Ejemplo 2.2.1 Resolver (1 + x)dy ydx = 0. Dividiendo entre (1 + x)y dy dx = y 1+x
Antonio Baeza Salas Integrando en los trminos: e dy = y dx 1+x
31
ln |y| = ln |1 + x| + c1 y = eln |1+x|+c1 y = eln |1+x| ec1 = |1 + x|ec1 = c(1 + x) Ejemplo 2.2.2 Resolver el problema de valor inicial x dy = dx y y(4) = 3
ydy = xdx ydy = xdx
y 2 /2 = x2 /2 + c1 Esta solucin se puede escribir en la forma x2 + y 2 = c2 , si sustituimos o la constante 2c1 con c2 . Vemos que la solucin representa una familia de o c rculos concntricos. e Cuando x = 4, y = 3, de modo que 16 + 9 = 25 = c2 . As el problema , 2 + y 2 = 25. de valor inicial determina que x Se debe tener cuidado al separar las variables porque los divisores variables podr ser cero en algn punto. En ocasiones se puede perder una an u solucin constante mientras resolvemos un problema. o Ejemplo 2.2.3 Resolver xy 4 dx + (y 2 + 2)e3x dy = 0. xe3x dx + (y 2 + 2y 4 )dy = 0 Integramos por partes: 1 3x 1 3x 2 xe e y 1 y 3 = c1 3 9 3 La familia monoparamtrica de soluciones tambin se puede escribir en e e la forma
32
e3x (3x 1) = Ejemplo 2.2.4
6 9 + 3 +c y y
Resolver el problema de valor inicial dy = y 2 4, y(0) = 2 dx Solucin: Pasamos la ecuacin a la forma o o dy = dx 4 Integrando en los dos miembros se tiene: y2 1 1 ln |y + 2| + ln |y 2| = x + c1 4 4 Al multiplicar la ecuacin por 4 y combinar logaritmos resulta: o y2 = 4x + c2 y+2 Despejamos y de la ultima ecuacin o ln y=2 y2 = ce4x y+2
1 + ce4x 1 ce4x Si sustituimos x = 0 y y = 2 se tiene 1+c 2 = 2 1 + c = 1 + c 1 = 1 1c Esto es imposible, por lo que debemos examinar con ms cuidado la a ecuacin diferencial. El hecho es que la ecuacin o o dy = (y + 2)(y 2) dx queda satisfecha con dos funciones constantes, que son y = 2 y y = 2. Al revisar las ecuaciones anteriores advertimos que debemos excluir a y = 2 y y = 2 de esos pasos de la solucin. Es interesante observar que despus o e podemos recuperar la solucin y = 2 si hacemos que c = 0 en la ecuacin o o 1 + ce4x 1 ce4x Sin embargo, no hay valor nito de c que pueda producir la solucin y = 2. o Esta ultima funcin constante es la unica solucin al problema de valor inicial o o planteado. y=2
Antonio Baeza Salas
33
2.2.1.
Ejercicios.
Resuelve las siguientes ecuaciones diferenciales por separacin de variao bles: 1. 2.

dy dx dy dx
= sen 5x = (x + 1)2
7. 8. 9. 11.
dy dx dx dy dy dx
= =
y3 x2 x2 y 2 1+x
3. dx + e3x dy = 0
dy 5. (x + 1) dx = x + 6
= e3x+2y = kS
4. dx x2 dy = 0 6. xy = 4y
10. (4y + yx2 )dy (2x + xy 2 )dx = 0 12.

dS dr dP dt
Con frecuencia, un cambio radical en la solucin de una ecuacin difeo o rencial corresponde a un cambio muy pequeo en la condicin inicial n o o en la ecuacin misma. En los problemas que siguen compare las o soluciones de los problemas de valor inicial respectivos: 13. 14. 15. 16.
dy dx dy dx dy dx dy dx
= P P2
= (y 1)2 = (y 1)2
y(0) = 1 y(0) = 1,01 y(0) = 1 y(0) = 1
= (y 1)2 + 0,01 = (y 1)2 0,01
2.3.
Ecuaciones exactas.
La sencilla ecuacin ydx + xdy = 0 es separable, pero tambin equivale o e a la diferencial del producto de x por y ydx + xdy = d(xy) = 0 Al integrar obtenemos de inmediato la solucin impl o cita xy = c En clculo diferencial, se tiene que si z = f (x, y) es una funcin con a o primeras derivadas parciales continuas en una regin R del plano xy, su o diferencial (que tambin llamamos diferencial total) es e dz = f f dx + dy x y
34 Entonces, si f (x, y) = c, se tiene f f dx + dy = 0 x y
Esto es, dada una familia de curvas f (x, y) = c, podemos generar una ecuacin diferencial de primer orden si calculamos la diferencial total, por o ejemplo si x2 5xy + y 3 = c dy 5y 2x = dx 5x + 3y 2 Para nuestros nes, es ms importante darle la vuelta al problema, o sea; a dada una ecuacin como o dy 5y 2x = dx 5x + 3y 2 (2x 5y)dx + (5x + 3y 2 )dy = 0
podemos demostrar que la ecuacin equivale a d(x2 5xy + y 3 ) = 0 ? o
Denicin 2.3.1 Una ecuacin diferencial M (x, y) + N (x, y) es una difeo o rencial exacta en una regin R del plano xy si corresponde a la diferencial o de alguna funcin f (x, y). Una ecuacin diferencial de primer orden de la o o forma M (x, y)dx + N (x, y)dy = 0 es una ecuacin diferencial exacta si la expresin del lado izquierdo es o o una diferencial exacta. Teorema 2.3.2 Sean continuas M (x, y) y N (x, y), con derivadas parciales continuas en una regin rectangular, R, denida por a < x < b, c < y < d. o Entonces, la condicin necesaria y suciente para que M (x, y)dx+N (x, y)dy o sea una diferencial exacta es que N M = y x (2.6)
2.3.1.
Mtodo de solucin para ecuaciones diferenciales exace o tas.
Dada una ecuacin de la forma M (x, y)dx + N (x, y)dy = 0, se determina o si es vlida la igualdad (2.6). En caso armativo, existe una funcin f para a o la cual f = M (x, y) x
Antonio Baeza Salas
35
Podemos determinar f si integramos M (x, y) con respecto a x, manteniendo y constante: f (x, y) = M (x, y)dx + g(y) (2.7)
en donde la funcin arbitraria g(y) es la constante de integracin. Ahora o o f derivamos (2.7) con respecto a y, y suponemos que y = N (x, y): f = y y Esto da g (y) = N (x, y) M (x, y)dx + g (y) = N (x, y) y
M (x, y)dx
Por ultimo integramos esta ecuacin con respecto a y y sustituimos el o resultado en la ecuacin (2.7). La solucin de la ecuacin es f (x, y) = c o o o Ejemplo 2.3.1 Resolver 2xydx + (x2 1)dy = 0 Solucin: o Igualamos M (x, y) = 2xy y N (x, y) = (x2 1) y tenemos: M N = 2x = y x Por tanto se trata de una ecuacin exacta y existe una funcin f (x, y) tal o o que f f = 2xy = x2 1 x y Integrando la primera de estas ecuaciones se tiene: f (x, y) = x2 y + g(y) Derivamos con respecto a y, e igualamos a N (x, y) f = x2 + g (y) = x2 1 y Por lo tanto g (y) = 1 y g(y) = y La solucin es x2 y y = c o
36
2.3.2.
Ecuaciones reducibles a exactas. Factores integrantes.
Sea 2xy 3 dx + 3x2 y 2 dy = 0 una ecuacin exacta (tambin homognea). o e e Si dividimos por el factor xy, se tiene: 2y 2 dx + 3xydy = 0 podemos comprobar que la ecuacin resultante no es exacta. o En este caso particular se observa que multiplicando por el factor xy se tiene una ecuacin exacta y por tanto integrable. o Si una ecuacin M (x, y)dx+N (x, y)dy = 0 no es una ecuacin diferencial o o exacta, es decir, M = N , puede que se transforme en exacta multiplicando y x por un factor apropiado u(x, y) llamado factor integrante de la ecuacin difeo rencial tal que la ecuacin resultante u(x, y)M (x, y)dx + u(x, y)N (x, y)dy = o 0 sea exacta. Ejemplo 2.3.2 Resolver la ecuacin diferencial: o tan y + tan xy = 0 Solucin: Podemos escribir la ecuacin (2.8) en la forma o o tan ydx + tan xdy = 0 1 1 tan x tan y = = = 2y 2x y cos cos x Por tanto la ecuacin no tiene forma exacta, mientras que la ecuacin o o equivalente: cos x sen ydx + sen x cos ydy = 0 (2.10) si que lo es: sen x cos y cos x sen y = cos x cos y = y x (2.9) (2.8)
(2.10) resulta de (2.9) multiplicando por cos y cos x. Es lo que llamaremos factor integrante de la ecuacin. o Si u(x, y) es un factor integrante de la ecuacin o M (x, y)dx + N (x, y)dy = 0 , entonces, multiplicando por u(x, y) es exacta luego: (u(x, y)M (x, y)) (u(x, y)N (x, y)) = y x
Antonio Baeza Salas y por tanto u M u N M (x, y) + u = N +u y y x x M u u N M N = u( ) y x x y
37
(2.11)
Para buscar factores integrantes hay que resolver una ecuacin en derivadas o parciales que normalmente es ms dif que la propia ecuacin diferencial. a cil o Por eso se recomienda el uso de funciones u de una forma particular: u(x), u(y), u(x + y), u(xy) . . . El factor integrante u slo depende de x, entonces la ecuacin (2.11) o o ser a N M u = u( ) N x x y luego u = u Si u = u(y) entonces (2.11) ser: a u = u
M y N x
M y
N x
Si u = u(x + y) = u(z) con z = x + y entonces (2.11) ser: a u x y = u M N

N M
Si u = u(xy) = u(z) con z = xy entonces (2.11) ser: a u x y = u xM yN Ejemplo 2.3.3 Resolver (x + y)dx + x ln xdy = 0 Solucin: o No es de variables separables. No es homognea. No es exacta. e Buscamos un factor integrante que dependa de x: u = u(x) (x + y)u(x)dx + x ln xu(x)dy = 0
N M
38 Forzamos a que sea exacta:
[(x + y)u(x)] [x ln xu(x)] = y x [(x + y)u(x)] =u y [x ln xu(x)] = u ln x + u + x ln xu x Entonces u = u ln x + u + x ln xu u ln x + u x ln x = 0 u+ux=0 u x = u u 1 = u x ln u = ln x 1 x>0 u= x De esta forma la ecuacin o (x + y) dx + ln xdy = 0 x es exacta. Resolvemos y se tiene: y f =1+ x x f (x, y) = (1 + y )dx + C(y) = x + y ln x + C(y) x
f = ln x + C (y) = ln x C (y) = 0 C(y) = cte. = C y f (x, y) = x + y ln x + C y= C x ln x
Antonio Baeza Salas
39
2.3.3.
Ejercicios.
1. En los problemas que siguen determinar si la ecuacin es exacta y, en o caso armativo, resolverla. a) (2x 1)dx + (3y + 7)dy = 0 b) (5x + 4y)dx + (4x 8y 3 )dy = 0
d ) (x + y)(x y)dx + x(x 2y)dy = 0

dy e) x dx = 2xex y + 6x2 dy f ) (1 2x2 2y) dx = 4x3 + 4xy
c) (2y 2 x 3)dx + (2yx2 + 4)dy = 0
2. Resuelva cada ecuacin diferencial sujeta a la condicin inicial indicao o da. a) (x + y)2 dx + (2xy + x2 1)dy = 0, y(1) = 1 y(1) = 2 y(0) = e
b) (4y + 2x 5)dx + (6y + 4x 1)dy = 0,
c) (y 2 cos x3x2 y2x)dx+(2y sen xx3 +ln y)dy = 0,
3. Calcular el valor de k para que la ecuacin diferencial correspondiente o sea exacta. a) (y 3 + kxy 4 2x)dx + (3xy 2 + 20x2 y 3 )dy = 0 b) (2xy 2 + yex )dx + (2x2 y + kex 1)dy = 0 4. A veces es posible transformar una ecuacin diferencial no exacta en o una exacta multiplicandola por un factor integrante (x, y). Resuelve las siguientes ecuaciones comprobando que la funcin indicada, (x, y), o sea un factor integrante. a) 6xydx + (4y + 9x2 )dy = 0, (x, y) = y 2 (x, y) = xy
b) (xy sen x + 2y cos x)dx + 2x cos xdy = 0,
2.4.
Ecuaciones lineales.
dy + a0 (x)y = g(x) dx
Denicin 2.4.1 Una ecuacin diferencial de primer orden, de la forma o o a1 (x) es una ecuacin lineal. o (2.12)
40
Al dividir ambos lados de la ecuacin (2.12) entre el primer coeciente, o a1 (x), se obtiene una forma ms util, la forma estndar de una ecuacin a a o lineal: dy + P (x)y = f (x) (2.13) dx Debemos hallar una solucin de (2.13) en un intervalo I, en el que las o dos funciones P y f sean continuas. Puede comprobarse que la ecuacin diferencial (2.13) tiene la propiedad o de que su solucin es la suma de las dos soluciones, y = yc + yp , donde yc es o una solucin de o dy + P (x)y = 0 (2.14) dx y yp es una solucin particular de (2.13). Podemos determinar yc por sepao racin de variables. Escribimos la ecuacin (2.14) en la forma o o dy + P (x)dx = 0 y al integrar y despejar a y obtenemos yc = ce P (x)dx . Por comodidad deniremos yc = cy1 (x), en donde y1 = e P (x)dx . Aplicaremos de inmediato el hecho de que dy1 + P (x)y1 = 0, para determinar a yp . dx Ahora podemos denir una solucin particular de la ecuacin (2.13), o o siguiendo un procedimiento llamado variacin de parmetros. La idea o a bsica es encontrar una funcin, u, tal que yp = u(x)y1 (x), en que y1 , que a o est denida en el prrafo anterior, sea una solucin de la ecuacin (2.13). a a o o En otras palabras, nuestra hiptesis de yp equivale a yc = cy1 (x), excepto o que el parmetro variable u reemplaza a c. Al sustituir yp = uy1 en (2.13) a obtenemos d [uy1 ] + P (x)uy1 = f (x) dx dy1 du u + y1 + P (x)uy1 = f (x) dx dx dy1 du u[ + P (x)y1 ] + y1 = f (x) dx dx du y1 = f (x) dx Separamos variables, integramos y llegamos a du = f (x) dx y1 (x) y u= f (x) dx y1 (x)
Antonio Baeza Salas De acuerdo con la denicin de y1 , tenemos o yp = uy1 = e As , y = yc + yp = ce

P (x)dx P (x)dx
41
P (x)dx
f (x)dx
+ e
P (x)dx
P (x)dx
f (x)dx
(2.15)
Entonces, si (2.12) tiene una solucin, debe poseer la forma de la ecuacin o o (2.15). Reciprocamente, por derivacin directa se comprueba que la ecuacin o o (2.15) es una familia monoparamtrica de soluciones de la ecuacin (2.13). e o Hay un mtodo equivalente y ms fcil de resolver la ecuacin (2.13). Si e a a o se multiplica (2.15) por e y despus se deriva e e
P (x)dx P (x)dx
y =c+
P (x)dx
P (x)dx
f (x)dx
d [e dx llegamos a e
P (x)dx dy
y] = e
P (x)dx
f (x)
dx
+ P (x)e
P (x)dx
y=e
P (x)dx
f (x)
o Al dividir este resultado entre e P (x)dx obtenemos la ecuacin (2.13). Recuerda 2.4.1 Solucin de una ecuacin lineal de primer orden o o 1. Para resolver una ecuacin lineal de primer orden,primero o se convierte a la forma de (2.13); esto es, se hace que el dy coeciente de dx sea la unidad. Hay que identicar P (x) y denir el factor integrante, e
P (x)dx
2. 3.
La ecuacin obtenida en el paso (1) se multiplica por el factor o integrante: e

P (x)dx dy
dx
+ P (x)e
P (x)dx
y=e
P (x)dx
f (x)
42 4.
Ampliacin de Matemticas o a El lado izquierdo de la ecuacin obtenida en el paso (3)es la o derivada del producto del factor integrante por la variable dependiente, y; esto es, d [e dx
P (x)dx
y] = e
P (x)dx
f (x)
5.
Se integran ambos lados de la ecuacin obtenida en el paso o (4).
dy Ejemplo 2.4.1 Resolver x dx 4y = x6 ex Solucin o Dividimos por x y tenemos la forma normal
4y dy = x 5 ex dx x
4 Tenemos que P (x) = x , el factor integrante es
e4
dx x
= e4 ln |x| = eln x
= x4
Multiplicamos la forma normal por este factor: x4 dy 4x5 y = xex dx (2.16) (2.17)
d 4 [x y] = xex dx Integrando por partes, llegamos a x4 y = xex ex + c
y = x5 ex x4 ex + cx4 . dy Ejemplo 2.4.2 Resolver el problema de valor inicial x dx +y = 2x, y(1) = 0. Solucin: Escribimos la ecuacin dada en la forma o o 1 dy + y=2 dx x
1 , P (x) = x es continua en cualquier intervalo que no contenga al origen. En vista de la condicin inicial, resolveremos el problema en el intervalo o dx (0, +). El factor integrante es e x = eln x = x, y as
Antonio Baeza Salas
43
d [xy] = 2x dx que es igual a xy = x2 + c. Despejamos y y llegamos a la solucin general o y =x+ c x
Pero y(1) = 0 implica que c = 1; por consiguiente, la solucin es o y = x 1/x, 0 < x < +
2.4.1.
Ejercicios.
1. Determine la solucin general de las ecuaciones diferenciales dadas: o a) b) c) d)

dy dx = 5y dy 3 dx + 12y = 4 dy 3x dx + y = e y + 3x2 y = x2
e) x2 y + xy = 1 2. Resuelva las siguientes ecuaciones diferenciales sujetas a las condiciones iniciales indicadas: a) c)
dy dx
+ 5y = 20,
y(0) = 2 y(0) = 1
b) y + (tan x)y = cos2 x,

dT dt
= k(T 50), k es una constante,T (0) = 200
2.5.
Soluciones por sustitucin. o
Para resolver una ecuacin diferencial, reconocemos en ella cierto tipo o de ecuacin (separable, por ejemplo), y a continuacin aplicamos un proo o cedimiento formado por etapas espec cas que nos conducen a una funcin o diferenciable, la cual satisface la ecuacin. A menudo, el primer paso consiste o en transformarla en otra ecuacin diferenciable mediante sustitucin. o o
44
2.5.1.
Ecuaciones homogneas. e
Denicin 2.5.1 Se dice que una funcin f (x, y) es homognea de grado o o e n f (x, y), para n R n si verica que f (tx, ty) = t Ejemplo 2.5.1 f (x, y) = x 3 xy + 5y f (tx, ty) = tx 3 txty + 5ty = t(x 3 xy + 5y) = tf (x, y) Esta ecuacin es homognea de grado 1. o e Ejemplo 2.5.2 f (x, y) = x2 + y 2 + 1 f (tx, ty) = (tx)2 + (ty)2 + 1 = t2 x 2 + t 2 y 2 + 1 Esta ecuacin no es homognea. o e Recuerda 2.5.1 Podemos deducir si una funcin es homognea o no o e sin ms que examinar el grado de cada trmino: si los grados coinciden a e ser homognea en caso contrario no. a e
Denicin 2.5.2 Si una ecuacin diferencial de la forma: o o M (x, y)dx + N (x, y)dy = 0 (2.18)
verica que M y N son funciones homogneas del mismo grado, entonces e se dice que la ecuacin es homognea. o e Si hacemos el cambio y = u(x) x (o bien x = v(y) y) se reduce la ecuacin homognea a una ecuacin en variables separables donde la variable o e o dependiente es u (o v en el otro cambio). Ejemplo 2.5.3 Resolver la ecuacin o y = 2xy + 3y 2 x2 + 2xy
Solucin Se trata de una ecuacin homognea, todos los trminos tienen o o e e el mismo grado.
Antonio Baeza Salas La escribimos de la siguiente forma: dy 2xy + 3y 2 = 2 dx x + 2xy (x2 + 2xy)dy (2xy + 3y 2 )dx = 0 Hacemos el cambio de variables y = u x y =ux+u ux+u= x 2xux + 3u2 x2 2u + 3u2 = x2 + 2xux 1 + 2u
45
du 2u + 3u2 = u dx 1 + 2u x u + u2 du = dx 1 + 2u
Integrando respecto a x: 1 + 2u du = u + u2 dx x
ln |u2 + u| = ln |x| + ln |C| ln |u2 + u| = ln |Cx| u2 + u = Cx Deshacemos el cambio u = y/x y y ( )2 + = Cx x x y 2 + yx = Cx3 Ejemplo 2.5.4 Resolver (x2 + 2y 2 )dx = xydy y(1) = 1
46
Solucin: La ecuacin es homognea de grado 2. o o e Si consideramos xy = 0 tenemos: y = x2 + 2y 2 xy
Cambio de variable: y = ux, y = u x + u ux+u= xu = Separacin de variables: o 1 uu = 2 1+u x udu 1 = dx 1 + u2 x udu = 1 + u2 1 dx + C x 1 + 2u2 x2 + 2u2 x2 = xux u
1 + 2u2 1 + u2 u= u u
1 ln |1 + u2 | = ln |x| + C 2 1 ln |1 + u2 | = ln |x| + ln C 2 ln |1 + u2 | = 2 ln |x| + ln C = ln |x2 C| 1 + u 2 = x2 C Deshacemos el cambio: 1+ y2 = x2 C x2
Teniendo en cuenta la condicin inicial y(1) = 1 se tiene o 1 = C(1)4 (1)2 = C 1 por tanto C = 2. La solucin es y 2 = x2 (2x2 1) o
y 2 = Cx4 x2
Antonio Baeza Salas
47
2.5.2.
La ecuacin de Bernoulli. o
dy + P (x)y = f (x)y n dx
La ecuacin diferencial: o (2.19)
en la que n es cualquier nmero real, es la ecuacin de Bernoulli. Obsrvese u o e que cuando n = 0 y n = 1, la ecuacin (2.19) es lineal. Cuando n = 0 y o n = 1, la sustitucin u = y 1n reduce cualquier ecuacin de la forma (2.19) o o a una ecuacin lineal. o dy Ejemplo 2.5.5 Resolver la ecuacin x dx + y = x2 y 2 . o Solucin: o Reescribimos la ecuacin como sigue: o dy 1 + y = xy 2 dx x Hacemos la sustitucin u = y 12 = y 1 , y = u1 por tanto o du dy = u2 dx dx Y el resultado es: du 1 u = x dx x El factor integrante para esta ecuacin lineal en, por ejemplo (0, +), o e Integramos
dx x
es
= e ln x = eln x
= x1
d 1 [x u] = 1 dx x1 u = x + c u = x2 + cx 1 + cx
y obtenemos Como y = u1 , una solucin de la ecuacin es o o y= x2
En este ejemplo no hemos llegado a la solucin general de la ecuacin o o diferencial no lineal original, porque y = 0 es una solucin singular de esa o ecuacin. o
48
2.5.3.
Reduccin a separacin de variables. o o

dy = f (Ax + By + C) dx
Una ecuacin de la forma o
siempre se puede reducir a una ecuacin con variables separables, con la o sustitucin u = Ax + By + C, B = 0. o dy Ejemplo 2.5.6 Resolver = (5x + y)2 4 dx dy Solucin: Si hacemos que u = 5x + y, entonces du = 5 + dx , de esta o dx forma la ecuacin dada se transforma en o du + 5 = u2 4 dx du = u2 9 dx Separamos variables, empleamos fracciones parciales e integramos: du = dx (u 3)(u + 3)
1 1 1 = dx 6 u3 u+3 1 u3 ln = x + c1 6 u+3
u3 = e6x+6c1 = ce6x u+3 Al despejar u de la ultima ecuacin, llegamos a la solucin o o u= 3(1 + ce6x ) 3(1 + ce6x ) y = 5x + 1 ce6x 1 ce6x
2.5.4.
Ejercicios.
1. Resuelva cada una de las ecuaciones con la sustitucin apropiada: o a) (x y)dx + xdy = 0
b) xdx + (y 2x)dy = 0
c) (y 2 + yx)dx x2 dy = 0
Antonio Baeza Salas d)

dy dx
49
yx y+x
2. Resuelve la ecuacin homognea de cada uno de los problemas siguieno e tes, sujeta a la condicin inicial respectiva. o
dy a) xy 2 dx = y 3 x3 , y(1) = 2
b) (x + yey/x )dx xey/x dy = 0, y(1) = 0
3. Resuelva la ecuacin respectiva de Bernoulli empleando una sustituo cin adecuada. o

dy a) x dx + y = 1 y2
b)
dy dx
dy c) x2 dx + y 2 = xy
= y(xy 3 1)
2.6.
2.6.1.
Modelado con ecuaciones diferenciales de primer orden.

Crecimiento bacteriano.
Un cultivo tiene una cantidad inicial N0 de bacterias. Cuando t = 1 3 o o hora, la cantidad medida de bacterias es 2 N0 . Si la razn de reproduccin es proporcional a la cantidad de bacterias presentes,calcule el tiempo necesario para triplicar la cantidad inicial de los microorganismos. Solucin: Primero se resuelve la ecuacin diferencial o o dN = kN dt (2.20)
Sujeta a N (0) = N0 . A continuacin se dene la condicin emp o o rica N (1) = 3 N0 para hallar k, la constante de proporcionalidad. 2 La ecuacin (2.20 es separable y lineal, a la vez. Cuando se escribe en la o forma dN kN = 0 (2.21) dt podemos ver por inspeccin que el factor integrante es ekt . Multiplicamos o ambos lados de la ecuacin por ese factor y el resultado inmediato es o d kt e N =0 dt
50
Integramos ambos lados de la ultima ecuacin para llegar a la solucin o o general ekt N = c N (t) = cekt Cuando t = 0, N0 = ce0 = c y, por tanto, N (t) = N0 ekt . Cuando t = 1, 3 entonces 2 N0 = N0 ek , o bien ek = 3 . Por tanto k = ln 3 = 0,4055. As 2 2 N (t) = N0 e0,4055t Para establecer el momento en que se triplica la cantidad de bacterias, despejamos t de 3N0 = N0 e0,4055t ; por consiguiente, t= ln 3 2,71h. 0,4055
En este ejemplo la cantidad real, N0 , de bacterias presentes en el momento t = 0, no inuy para la denicin del tiempo necesario para que el o o cultivo se triplicara siempre es de unas 2.71 horas.
2.6.2.
Periodo medio del plutonio.
Un reactor de cr convierte al uranio 238, relativamente estable, en a plutonio 239, un istopo radiactivo. Al cabo de 15 aos, se ha desintegrado o n el 0,043 % de la cantidad inicial, A0 , de una muestra de plutonio. Calcule el periodo medio de ese istopo, si la razn de desintegracin es proporcional o o o a la cantidad presente. Solucin: Como hemos visto en el problema 2.6.1, la solucin del proo o blema de valor inicial dA = kA, dt es A(t) = A0 ekt donde A(t) representa la cantidad de plutonio que queda en cualquier momento. A(0) = A0
Antonio Baeza Salas

p p p p p p p p p p p p p p p p p p p p p p p 7p p p 6p p 5p p p 4 p p 3p p 2p p p 1p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 1p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p2 p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 3p pt p 2,71 p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p pN (t) = 1e0,4055t p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 5 p p
51
Figura 2.1: Crecimiento bacteriano para N0 = 1 Si se ha desintegrado el 0,043 % de los atomos de A0 , queda el 99,957 %. Para calcular la constante k empleamos 0,99957A0 = A(15), esto es, 0,99957A0 = A0 e15k . Despejamos k y tenemos k = 0,00002867. En consecuencia, A(t) = A0 e0,00002867t Si el periodo medio es el valor que corresponde a A(t) = a t en 1 = e0,00002867t 2 se tiene t= ln 2 24180 0,00002867
A0 2 ,
despejando
52
2.6.3.
Antig edad de un fsil. u o
Alrededor de 1950, el qu mico Willard Libby invent un mtodo que o e emplea al carbono radiactivo para determinar las edades aproximadas de fsiles. La teor de la datacin con radiocarbono, se basa en que el istopo o a o o carbono 14 se produce en la atmsfera por accin de la radiacin csmica o o o o sobre el nitrgeno. La razn de la cantidad de C-14 al carbono ordinario o o en la atmsfera parece ser constante y, en consecuencia, la cantidad proo porcional del istopo presente en todos los organismos vivos es igual que la o de la atmsfera. Cuando muere un organismo la absorcin del C-14 sea por o o respiracin o alimentacin cesa. As si se compara la cantidad proporcioo o , nal de C-14 presente, por ejemplo en un fsil, con la relacin constante que o o existe en la atmsfera, es posible obtener una estimacin razonable de su o o antigedad. El mtodo se basa en que se sabe que el periodo medio del C-14 u e radiactivo es, aproximadamente, 5600 aos. Por este trabajo, Libby gan el n o Premio Nobel de qu mica en 1960. Ejemplo 2.6.1 Se analiz un hueso fosilizado y se encontr que conten o o a la milsima parte de la cantidad original de C-14. Determine la edad del e fsil. o Solucin: El punto de partida es A(t) = A0 ekt . Para calcular el valor o de la constante de decaimiento aplicamos el hecho que A0 /2 = A(5600) , o sea, A0 /2 = A0 e5600k , despejando k = (ln 2)/5600 = 0,00012378; por consiguiente A(t) = A0 e0,00012378t Tenemos, para A(t) = A0 /1000, que A0 /1000 = A0 e0,00012378t , de modo 1 que 0,00012378t = ln 1000 = ln 1000. As t= ln 1000 55800 0,00012378
En realidad, la edad determinada en este ejemplo est en el l a mite de exactitud del mtodo. Normalmente esta tcnica se limita a unos 9 periodos e e medios del istopo, que son unos 50000 aos. o n
Antonio Baeza Salas
53
2.6.4.
Ley de Newton del enfriamiento.
En la ecuacin (1.14) de la seccin 1.3.3 vimos que la formulacin mao o o temtica de la ley emp a rica de Newton, relativa al enfriamiento de un objeto, se expresa con la ecuacin diferencial lineal de primer orden o dT = k(T Tm ) dt (2.22)
en que k es una constante de proporcionalidad, T (t) es la temperatura del objeto cuando t > 0 y Tm es la temperatura ambiente; o sea; la temperatura del medio que rodea al objeto. Ejemplo 2.6.2 Al sacar un pastel del horno, su temperatura es 300o F. Despus de 3 minutos, 200o F. En cunto tiempo se enfriar hasta la e a a temperatura ambiente de 70o F? Solucin: En la ecuacin (2.22) vemos que Tm = 70. Por consiguiente, o o debemos resolver el problema de valor inicial: dT = k(T 70) dt T (0) = 300 (2.23)
y determinar el valor k de tal modo que T (3) = 200 La ecuacin (2.23) es lineal y separable, a la vez. Al separar las variables, o dT = kdt T 70 cuyo resultado es ln |T 70| = kt + c1 , y as T = 70 + c2 ekt . Cuando t = 0, T = 300, de modo que 300 = 70 + c2 dene a c2 = 230. Entonces, T = 70 + 230ekt . Por ultimo, la determinacin T (3) = 200 conduce a e3k = o 13 13 23 , o sea, k = 1/3 ln 23 , o sea, k = 0,19018. As T (t) = 70 + 230e0,19018t .
2.6.5.
Mezclas.
Al mezclar dos uidos, a veces se originan ecuaciones diferenciales lineales de primer orden. Cuando describimos la mezcla de dos salmueras,(Sec.
54
1.3.4), supusimos que la razn con que cambia la cantidad de sal, A (t), en o el tanque de mezcla es una razn neta: o = (tasa de entrada de la sustancia) (tasa de salida de la sustancia) = R1 R2 (2.24) Ejemplo 2.6.3 Recordemos que el tanque de la seccin 1.3.4 conten o a inicialmente 300 galones de una solucin de salmuera. Al tanque entraba y o sal sal porque se le bombeaba una solucin a un ujo de 3 gal/min, se meza o claba con la solucin original, y sal del tanque con un ujo de 3 gal/min. o a La concentracin de la solucin entrante era 2 lb/gal; por consiguiente, la o o entrada de sal era R1 = (2lb/gal) (3gal/min) = 6lb/min; del tanque sal a con una razn R2 = (A/300lb/gal) (3gal/min) = A/100lb/min. A partir o de esos datos y de la ecuacin (2.24) obtuvimos la ecuacin o o dA A =6 dt 100 (2.25)
dA dt
Nos planteamos el siguiente problema: Si hab 50 lb de sal disueltas a en los 300 galones iniciales, cunta sal habr en el tanque pasado mucho a a tiempo? Solucin: Para hallar A(t), resolvemos el problema de valor inicial o dA A =6 dt 100 A(0) = 50 (2.26)
El factor integrante de esta ecuacin diferencial lineal es et/100 , podemos o formular la ecuacin as o : d t/100 e A = 6et/100 dt Se tiene la solucin general A = o y teniendo las condiciones iniciales, se tiene c = 550. Entonces, la cantidad de sal en el tanque en el momento t est denida por a 600+cet/100 , A(t) = 600 550et/100 Pasado un largo tiempo la cantidad de libras de sal en la solucin debe o ser 600 lb.
Antonio Baeza Salas
55
2.6.6.
Modelos demogrcos. a
Si P (t) es el tamao de una poblacin en el momento t, el modelo del n o crecimiento exponencial comienza suponiendo que dP = kP dt para cierta k > 0. En este modelo, la tasa espec ca o relativa de crecimiento, denida por (2.27) P se supone constante, igual a k. Es dif encontrar casos reales de un crecicil miento exponencial durante largos periodos, porque en cierto momento los recursos limitados del ambiente ejercern restricciones sobre el crecimiento a demogrco. As cabe esperar que la razn (2.27) disminuya a medida que a , o P aumenta de tamao. n La hiptesis que la tasa con que crece o decrece una poblacin slo o o o depende del nmero presente y no de mecanismos dependientes del tiempo, u como los fenmenos estacionales, se puede enunciar como sigue: o
dP dt dP dt
= f (P )
dP = P f (P ) dt
(2.28)
Esta ecuacin diferencial, que se adopta en muchos modelos demogrcos o a animales, se llama hiptesis de dependencia de densidad. o Ecuacin log o stica. Supngase que un medio es capaz de sostener, como mximo, una cantio a dad K determinada de individuos en una poblacin. Dicha cantidad se llama o capacidad de sustento, o de sustentacin, del ambiente. Entonces f (K) = 0 o para la funcin f en la ecuacin (2.28) y se escribe tambin f (0) = r. En la o o e gura 2.6.6 vemos tres funciones que satisfacen estas dos condiciones. La hiptesis ms sencilla es que f (P ) es lineal, esto es, que f (P ) = c1 P + o a c2 . Si aplicamos las condiciones f (0) = r y f (K) = 0, tenemos que c2 = r y c1 = r/K, respectivamente, y f adopta la forma f (P ) = r (r/K)P . Entonces la ecuacin (2.28) se transforma en o dP r = P (r P ) dt K (2.29)
Si redenimos las constantes, la ecuacin no lineal (2.29) es igual a la o siguiente:
56
f (P )
p r p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p
K dP = P (a bP ) (2.30) dt Esta ecuacin, estudiada por Verhulst en 1840, se denomina ecuacin o o log stica y su solucin se denomina funcin log o o stica. La grca de una funa cin log o stica es la curva log stica. Si reescribimos la ecuacin (2.30) en la forma o dP = aP bP 2 dt (2.31)
el trmino no lineal bP 2 , se puede interpretar como un trmino de e e inhibicin. En la mayor parte de las aplicaciones la constante a es mucho o mayor que b. Solucin de la ecuacin log o o stica. Resolvemos por separacin de variables. Al descomponer el lado izquiero do de dP/P (a bP ) = dt en fracciones parciales e integrar, se obtiene ( 1/a b/a + )dP = dt P a bP
1 1 ln |P | ln |a bP | = t + c a a P ln | | = at + ac a bP
Antonio Baeza Salas P = c1 eat a bP Como consecuencia de la ultima ecuacin, o P (t) = ac1 eat ac1 = at 1 + bc1 e bc1 + eat
57
Si P (0) = P0 , P0 = a/b, llegamos a c1 = P0 /(a bP0 ) y as sustituyendo , y simplicando, la solucin es o P (t) = Crecimiento log stico. Supongamos que un alumno es portador del virus de la gripe y regresa a su escuela, donde hay 1000 estudiantes. si se supone que la razn con o que se propaga el virus es proporcional no slo a la cantidad x de alumnos o infectados, sino tambin a la cantidad de alumnos no infectados, determine e la cantidad de alumnos infectados seis d despus, si se observa que a los as e cuatro d x(4) = 50. as Solucin: Suponiendo que nadie sale del campus durante la epidemia, o debemos resolver el problema de valor inicial dx = kx(1000 k), x(0) = 1 dt Sustituimos a = 1000k y b = k en la ecuacin (2.32) y vemos de inmeo diato que 1000 1000k = 1000kt k + 999ke 1 + 999e1000kt Usamos la condicin x(4) = 50 y calculamos k con o x(t) = 50 = 1000 1 + 999e4000k
1 4
aP0 bP0 + (a bP0 )eat
(2.32)
Esto da como resultado 1000k = x(t) = La respuesta es x(6) =
ln 1 999 = 0,9906. Entonces: 9
1000 1 + 999e0,99906t
1000 = 276 1 + 999e5,9436
alumnos
58
2.6.7.
Modelo depredador-presa.
Supongamos que dos especies animales interactan en el mismo ambiente u o ecosistema; la primera slo come plantas y la segunda se alimenta de o la primera. Una especie es depredador y la otra es la presa. Para nes de nuestra descripcin, imaginemos que los depredadores son zorros y las presas, o conejos. Sean x(t) y y(t) las poblaciones de zorros y conejos en cualquier momento t. Si no hubiera conejos, cabr esperar que los zorros disminuyeran en a nmero siguiendo la ecuacin u o dx = ax, dt a>0 (2.33)
Al carecer del suministro alimenticio adecuado. Por otro lado, cuando hay conejos ecosistema parece lgico imaginar que la cantidad de encuentros o o interacciones por unidad de tiempo entre ambas especies, es proporcional simultneamente a sus poblaciones, x y y; o sea , es proporcional al producto a xy. As cuando hay conejos, hay alimento para los zorros y stos aumentan , e en el ecosistema a una tasa bxy > 0. Al sumar esta tasa a la ecuacin (2.33) o se obtiene un modelo demogrco para estos depredadores: a dx = ax + bxy dt (2.34)
Por otro lado, cuando no hay zorros y si se supone adems que las rea servas de alimentoson ilimitadas, los conejos aumentar con una rapidez an proporcional al nmero de espec u menes existentes en el momento t: dy = ey, e>0 (2.35) dt Pero cuando hay zorros, el modelo demogrco para los conejos es la a ecuacin (2.35) menos cxy, c > 0; esto es, disminuye segn la rapidez con o u que son comidos: dy = ey cxy (2.36) dt Con lo que podemos formar un sistema de ecuaciones diferenciales no lineales:
dx dt dy dt
en donde a, b, c, e son constantes positivas. Este es un sistema famoso de ecuaciones y se llama modelo depredador-presa de Lotka-Volterra.
= ax + bxy = x(a + by) = ey cxy = y(e cx)
(2.37)
Antonio Baeza Salas
59
A excepcin de las dos soluciones constantes x(t) = 0, y(t) = 0 y x(t) = o d/c, y(t) = a/b, el sistema no lineal (2.37) no se puede resolver en trminos de e funciones elementales; sin embargo, podemos analizar en forma cuantitativa y cualitativa esos sistemas.
2.7.
2.7.1.
Practica con Mathematica.

Integrando con Mathematica.
Con Mathematica podemos realizar tanto integrales indenidas como denidas usando el comando Integrate. Integrate[f, x] Para obtener la integral indenida de f respecto de x Integrate[f, x, xmin, xmax] Se obtiene la integral denida de f respecto de x en el intervalo [xmin, xmax] Por ejemplo; podemos calcular una primitiva de
1 x4 1
de la siguiente forma:
In:Integrate[1/(x4 1), x] Out:(ArcT an[x]/2 + 1/4Log[1 + x] 1/4Log[1 + x] Se obtiene una primitiva de la funcin o Podemos calcular la derivada de este resultado para comprobar la integral. In:D[ %, x] 1 1 1 Out: 4(1+x) 4(1+x) 4(1+x2 ) Operamos esta expresin con el comando Simplify o In:Simplif y[ %] Se obtiene la funcin inicialmente integrada: o 1 Out: (1+x4 )
2.7.2.
Representacin grca de funciones dadas en forma o a impl cita.
Para representar grcas de curvas dadas en forma impl a cita debers a cargar el paquete ImplicitPlot, mediante la orden: In:<< GraphicsImplicitP lot
60
La funcin incluida en este paquete que permite representar curvas en el o plano denidas en forma impl cita es: In:ImplicitP lot[Ecuac, {x, xmin, m1 , m2 , . . . , xmax}] Dibuja la curva de ecuacin Ecuac evitando los puntos m1 , m2 , . . . en el o rango indicado [xmin, xmax] utilizando el mtodo Solve. e Por ejemplo, podemos representar dos curvas con este comando In:ImplicitP lot[{x3 + y 2 == 3, (x2 y 2 ) == 5x4 y 2 }, {x, 3, 3}, P lotStyle > {T hickness[0,01], T hickness[0,02]}] Devuelve la grca de la gura 2.2 a
1.5 1 0.5 -3 -2 -1 -0.5 -1 -1.5 1 2 3
Figura 2.2: Grca de dos funciones dadas en forma impl a cita.
2.7.3.
Ejercicios.
1. Representa grcamente las soluciones del ejemplo (2.3.1) para distina tos valores de c. 2. Utiliza el comando Integrate para resolver los ejercicios (13,14, 15,16) de la pgina 33. a 3. Representa grcamente las soluciones de los ejercicios (13,14, 15,16) a de la pgina 33. a
Cap tulo 3
Mtodos numricos para e e resolver ecuaciones diferenciales ordinarias.

Una ecuacin diferencial no necesita tener una solucin, y aun si la tiene, o o no siempre podemos expresarla en forma expl cita o impl cita; en muchos casos tendremos que contentarnos con una aproximacin. o Si suponemos que existe una solucin de la ecuacin diferencial entonces o o aquella representa un lugar geomtrico en el plano cartesiano. Los procedie mientos numricos utilizan la ecuacin diferencial para obtener una sucesin e o o de puntos cuyas coordenadas aproximan las coordenadas de los puntos de la curva que efectivamente es la solucin. o
3.1.
Campos direccionales.
Denicin 3.1.1 (Elementos lineales.) Examinemos la ecuacin difereno o cial de primer orden dy/dx = y. Esta ecuacin signica que las pendientes o de las tangentes a la grca de una solucin estn determinadas por la funa o a cin f (x, y) = y. Cuando f (x, y) se mantiene constante esto es, cuando o y = c, donde c es cualquier constante real estamos obligando a que la pendiente de las tangentes a las curvas de solucin tenga el mismo valor o constante a lo largo de una l nea horizontal; por ejemplo, para y = 2 podemos trazar una serie de segmentos lineales cortos o elementos lineales (cada uno de pendiente 2) con un punto medio en la l nea. Las curvas de solucin cruzan esta reta horizontal en cada punto tangente a los elementos o lineales. Como se ilustra en la gura 3.1. 61
62
y=2
1
Figura 3.1: Elementos lineales. Denicin 3.1.2 (Isoclinas y campos de direcciones.) La ecuacin y = o o c representa una familia uniparamtrica de l e neas horizontales. En general, cualquier miembro de la familia f (x, y) = c se llama isoclina, que literalmente signica curva a lo largo de la cual la inclinacin de las tangentes o es igual. Cuando se hace variar el parmetro c, obtenemos un conjunto de a isoclinas en que los elementos lineales se construyen adecuadamente. La totalidad de esos elementos lineales se llama de diversos modos: campo de direcciones, campo direccional, campo de pendientes o campo de elementos lineales de la ecuacin diferencial dy/dx = f (x, y). Segn se o u aprecia en la gura 3.2, el campo de direcciones recuerda las l neas de ujo de la familia de curvas solucin de la ecuacin diferencial y = y. Si deseao o mos una solucin que pase por el punto (0, 1), debemos formar una curva que o pase por este punto de modo que atraviese las isoclinas con las inclinaciones adecuadas.
3.1.1.
Representacin grca de un Campo de Direcciones. o a
Podemos obtener un Campo de Direcciones de una ecuacin diferencial o de la forma dy/dx = f (x, y) con el siguiente comando
In:<< GraphicsP lotF ield In:P lotV ectorF ield[{a, f (x, y)}, {x, b, b}, {y, c, c}, Axes > Automatic, ScaleF actor > 1, P lotP oints > d] La instruccin << GraphicsP lotF ield carga el paquete adecuado. o Donde a se toma para visualizar adecuadamente los vectores, b determina el rango de valores para x, c el rango de valores para y y d el nmero de u puntos a evaluar en cada direccin. o
Antonio Baeza Salas

4
63
-3
-2
-1
-2
-4
Figura 3.2: Campos de direcciones. El campo de direcciones de la gura 3.2, se ha obtenido con las siguientes instrucciones: In:P lotV ectorF ield[{1, y}, {x, 3, 3}, {y, 3, 3}, Axes > Automatic, ScaleF actor > 1, P lotP oints > 20] Ejemplo 3.1.1 Trace el campo de direcciones e indique varios posibles dy miembros de la familia de curvas de solucin de dx = x o y Solucin: Ver guras 3.3 y 3.4. o
3.1.2.
Ejercicios.
En los siguientes problemas obtenga con computadora el campo de direcciones de la ecuacin diferencial dada. Indique diversas curvas posibles o de solucin. o 1. y =x
64
10
-10
-5
10
-5
-10
Figura 3.3: Campos de direcciones del Ejemplo 3.1.1. 2. y 3.
dy = x dx
dy = 0,2x2 + y dx y = y cos x 2
4.
3.2.
Resolucin numrica del problema de Cauchy. o e
Consideremos el problema de Cauchy o problema de valores iniciales: y = f (t, y(t)) y(t0 ) = t [t0 , t0 + T ] (3.1)
En este caso va a ser muy importante estudiar las condiciones de la funcin f . o El problema est bien planteado?Existe solucin del problema? Si existe, a o es unica? Ejemplo 3.2.1 y = 1 + y2 , y(0) = 0 t [0, 2] (3.2)
Antonio Baeza Salas
65
10
-10
-5
10
-5
-10
Figura 3.4: Posibles miembros de la familia de curvas del Ejemplo 3.4. t0 = 0; t0 + T = 2 T = 2. Solucin y = tan t o Ejemplo 3.2.2 El problema y = x2 + y 2 y(0) = 1
(3.3)
veremos que tiene solucin, pero no hay forma de saber cmo es la solucin o o o de una manera expl cita o impl cita. Podemos darnos una idea de cmo va, representando el campo vectorial o o campo de direcciones de la ecuacin diferencial. o Las isoclinas son circunferencias concntricas denidas por x2 + y 2 = e c, c > 0, gura 3.5. Los elementos lineales que se trazan en cada c rculo tienen una pendiente que corresponde al valor elegido de c. Al estudiar la gura 3.5 parece lgico que una curva de solucin aproximada que pase por o o el punto (0, 1) tenga la forma que se ilustra en la gura gura 3.6. Ejemplo 3.2.3 Sabemos que el siguiente problema de valor inicial: y = y 2/3 y(0) = 0 (3.4)
66
4
-3
-2
-1 -1
-2
-3
Figura 3.5: Campo de direcciones para y = x2 + y 2 . Tiene solucin pero no es unica, y(t) 0 es solucin, y(t) = o o Ejemplo 3.2.4 tambin. e Sabemos que el siguiente problema de valor inicial: y = 1 + t sen t y(0) = 0 Tiene solucin unica, y(t) = t t cos t + sen t0. o (3.5)
1 3 27 t
Denicin 3.2.1 (Funcin lipschitziana.) f (t, y) se dice que esta funo o cin es lipschitziana o globalmente lipschitziana para la variable y en un o conjunto [t0 , to + T ] R, si existe una constante L 0 con la propiedad |f (t, y1 ) f (t, y2 )| L|y1 y2 | para (t, y1 ), (t, y2 ) D. A la constante L se le llama constante de Lipschitz para f . Ejemplo 3.2.5 4} Sea f (t, y) = ty, (t, y) D = {(t, y)/1 t 2, 3 < y <
Antonio Baeza Salas
67
curva solucin
(0,1)
Figura 3.6: Posible solucin para y = x2 + y 2 . o
|f (t, y1 ) f (t, y2 )| = |ty1 ty2 | = |t||y1 y2 | 2 < |y1 y2 | En general, el conjunto D que consideramos ser de la forma a D = {(t, y)/t0 t t0 + T, y +}
L=2
Teorema 3.2.2 Supongamos que f (t, y) est denida en un conjunto D = a {(t, y)/t0 t t0 + T, y +}. si existe una constante L > 0 tal que f (t, y) D | (t, y)| L, y entonces es lipschitziana para la variable y y con constante de Lipschitz L. Teorema 3.2.3 Sea D = {(t, y)/t0 t t0 + T, y +} y supongamos que f (t, y) es continua en D. Si f satisface una condicin de o Lipschitz en D para la variable y, entonces el problema de valor inicial y = f (t, y(t)) y(t0 ) = t [t0 , t0 + T ] (3.6)
tiene una unica solucin y(t) para t0 t t0 + T , y C ([t0 , t0 + T ]) o
68
Denicin 3.2.4 Un problema de Cauchy o de valor inicial est bien plano a teado si Existe una solucin unica para el problema. o Existe constantes positivas y k con la propiedad de que existe una unica solucin al problema o z = f (t, z) + (t) z(t0 ) = + 0 |z(t)y(t)| < k t [t0 , t0 +T ] | 0 | < , |(t)| < (3.7) Si estamos en las hiptesis del teorema anterior el problema est bien o a planteado.
3.2.1.
Mtodos de un paso para la resolucin numrica. e o e
Queremos resolver de forma efectiva el problema, hasta ahora slo teneo mos asegurada la existencia y unicidad del problema, no sabemos construir la solucin. o Consideramos una particin del intervalo [t0 , t0 + T ], t0 < t1 < < o tn < tn+1 < < tN = t0 + T donde hn = tn+1 tn , h = mx hn , 0 n N a Pretendemos construir unas aproximaciones yn+1 de la solucin en tn+1 , o es decir, yn+1 y(tn+1 ) a partir de los valores tn , yn , hn . Es decir, yn se va calcular a partir de valores referidos exclusivamente en la etapa anterior, de ah que los mtodos se llamen mtodos de un paso. e e Estos mtodos no nos van a dar una funcin continua que sea aproxie o maciones de la solucin y(t) sino que generarn aproximaciones en varios o a puntos llamados puntos de red en el intervalo [t0 , t0 + T ]. Una vez que se obtenga la solucin aproximada en estos puntos, la soluo cin aproximada en otros puntos del intervalo se puede encontrar utilizando o algn procedimiento de interpolacin. u o Queremos resolver numricamente el problema bien planteado e y = f (t, y(t)) y(t0 ) =
tn+1
t [t0 , t0 + T ]
(3.8)
Si integramos la ecuacin diferencial en [tn , tn+1 ] obtenemos: o y(tn+1 ) = y(tn ) +

tn
f (t, y(t))dt
(3.9)
Los distintos mtodos numricos se obtendrn aplicando alguna frmula e e a o de cuadratura a la integral anterior.
Antonio Baeza Salas
69
3.3.
Mtodos de Euler. e
En lugar de aplicar frmulas de cuadratura podemos considerar la recta o tangente a una curva en un punto como aproximacin a la funcin y(x) en o o ese punto. Una de las tcnicas ms sencillas para aproximar soluciones del problema e a de valor inicial y = f (x, y) (3.10) y(x0 ) = y0 se llama mtodo de Euler o mtodo de las tangentes. Aplica el hecho que la e e derivada de una funcin y(x), evaluada en un punto x0 , es la pendiente de la o tangente a la grca de y(x) en este punto. como el problema de valor inicial a establece el valor de la derivada de la solucin en (x0 , y0 ), la pendiente de o la tangente a la curva de solucin en este punto es f (x0 , y0 ). Si recorremos o una distancia corta por la l nea tangente obtenemos una aproximacin a un o punto cercano de la curva de solucin. A continuacin se repite el proceso en o o el punto nuevo. Para formalizar este procedimiento se emplea la linealizacin o L(x) = y (x0 )(x x0 ) + y0 (3.11)
de y(x) en x = x0 . La grca de esta linealizacin es una recta tangente a o a la grca de y = y(x) en el punto (x0 , y0 ). Ahora se dene h como un a incremento positivo sobre el eje x (Fig. 3.7). Reemplazamos x con x1 = x0 +h en (3.11) y llegamos a L(x1 ) = y (x0 )(x0 + h x0 ) + y0 = y0 + hy0 o sea y1 = y0 + hf (x0 , y0 ) en donde y0 = y (x0 ) = f (x0 , y0 ) y y1 = L1 (x). El punto (x1 , y1 ) sobre la tangente es una aproximacin al punto (x1 , y(x1 )) en la curva de solucin; o o esto es, y1 y(x1 ) es una aproximacin lineal local de y(x) en x1 . La o exactitud de la aproximacin depende del tamao h del incremento. Si a o n continuacin repetimos el proceso, identicando al nuevo punto de partida o (x1 , y1 ) como (x0 , y0 ) de la descripcin anterior, obtenemos la aproximacin o o y(x2 ) = y(x0 + 2h) = y(x1 + h) y2 = y1 + hf (x1 , y1 ) La consecuencia general es que yn+1 = yn + hf (xn , yn ) (3.13) (3.12)
70
y
y=y'(x0)(x-x0)+y0
(x1,y(x1)) error (x1,y1)
(x0,y0)
x0
x1=x0+h
Figura 3.7: Mtodo de Euler e en donde xn = x0 + nh. Ejemplo 3.3.1 Para el problema de valor inicial y = 0,2xy y(1) = 1
utilizamos el mtodo de Euler a n de obtener una aproximacin a y(1,5) e o con h = 0,1 primero y despus h = 0,05 e Primero identicamos f (x, y) = 0,2xy, de modo que la ecuacin (3.13) o viene a ser yn+1 = yn + h(0,2xn yn ) Entonces, cuando h = 0,1, y1 = y0 + (0,1)(0,2x0 y0 ) = 1 + (0,1)(0,2 1 1) = 1,02 , que es una estimacin del valor de y(1,1); sin embargo, si usamos h = 0,05, o se necesitan dos iteraciones para llegar a 1.1. En este caso, y1 = 1 + (0,05)(0,2 1 1) = 1,01 y2 = 1,01 + (0,05)(0,2 1,05 1,01) = 1,020605
Antonio Baeza Salas
71
Observamos que y1 y(1,05), y que y2 y(1,1). En las siguientes tablas 3.1 y 3.2se ven los resultados del resto de los clculos. Cada resultado a est redondeado a cuatro decimales a xn yn Valor Exacto 1.0000 1.0212 1.0450 1.0714 1.1008 1.1331 Error abs. 0.0000 0.0012 0.0025 0.0040 0.0055 0.0073 Por. de Error Rel. 0.00 0.12 0.24 0.37 0.50 0.64
1.00 1.10 1.20 1.30 1.40 1.50
1.0000 1.0200 1.0424 1.0675 1.0952 1.1259
Cuadro 3.1: Mtodo de Euler con h = 0,1. e
xn 1.00 1.05 1.10 1.15 1.20 1.25 1.30 1.35 1.40 1.45 1.50
yn 1.0000 1.0100 1.0206 1.0318 1.0437 1.0562 1.0694 1.0833 1.0980 1.1133 1.1295
Valor Exacto 1.0000 1.0103 1.0212 1.0328 1.0450 1.0579 1.0714 1.0857 1.1008 1.1166 1.1331
Error abs. 0.0000 0.0003 0.0006 0.0009 0.0013 0.0016 0.0020 0.0024 0.0028 0.0032 0.0037
% Error rel. 0.00 0.03 0.062 0.09 0.12 0.16 0.19 0.22 0.25 0.29 0.32
Cuadro 3.2: Mtodo de Euler con h = 0,05. e
En el ejemplo anterior, los valores correctos o exactos se calcularon con la solucin o 2 y = e0,1(x 1) , que ya se conoce. El error absoluto se dene as : |valorexacto valoraproximado|
72
El error relativo y el error relativo porcentual son, respectivamente, |valorexacto valoraproximado| |valorexacto| errorabsoluto |valorexacto valoraproximado| 100 = 100 |valorexacto| |valorexacto|
3.3.1.
Errores en los mtodos numricos. e e
Para elegir y aplicar un mtodo numrico en la solucin de un problema e e o de valores iniciales, debemos estar prevenidos de las diversas fuentes de errores. Para algunos tipos de clculos, la acumulacin de errores podr a o a reducir la exactitud de una aproximacin hasta el grado de volver incorrectos o los resultados. Por otro lado, dependiendo del uso que se dar a una solucin a o numrica, quiz no valiera la pena alcanzar una gran exactitud por los costos e a y complicaciones adicionales en que se incurrir a. Una de estas fuentes de errores en clculo es el error de redondeo. a Se reduce este error minimizando la cantidad de operaciones. En general, el error de redondeo es impredecible y dif de analizar. cil Errores de truncamiento en el mtodo de Euler. e Al iterar la frmula de Euler o yn+1 = yn + hf (xn , yn ) se tiene una sucesin de valores, y1 , y2 , y3 , . . .. En general, el valor de y1 no o coincidir con el de y(x1 ), la solucin exacta evaluada en x1 , debido a que a o el algoritmo slo proporciona una aproximacin en linea recta a la solucin o o o (Fig. 3.7). La diferencia se conoce como error local de truncamiento, error de frmula o error de discretizacin y se presenta en cada paso. o o Para obtener una frmula del error local de truncamiento en el mtodo o e de Euler usaremos una serie de Taylor con residuo. Si una funcin y(x) tiene o k + 1 derivadas continuas en un intervalo abierto que contenga a a y a x, entonces y(x) = y(a)+y (a) (x a) (x a)2 (x a)k (k+1) (x a)k+1 +y (a) + +y k (a) +y (c) 1! 2! k! (k + 1)! (3.14)
Antonio Baeza Salas
73
en donde c es algn punto entre a y x. Con k = 1,a = xn y x = xn+1 = xn +h u llegamos a h h2 y(xn+1 ) = y(xn ) + y (xn ) + y (c) 1! 2! o sea h2 y(xn+1 ) = y(xn ) + hf (xn , yn ) + y (c) 2! de esta forma se tiene y(xn+1 ) = yn+1 + y (c) h2 2!
El mtodo de Euler es esta frmula sin el ultimo trmino; en consecuene o e cia, el error local de truncamiento en y (c) h2 2! xn < c < xn+1
Pero casi siempre se desconoce el valor de c, de modo que no se puede calcular el error exacto; pero una cota superior del valor absoluto de ese error es h2 M M = mx |y (x)| a xn <x<xn+1 2!
3.3.2.
Mtodo Euler expl e cito.
Vamos a obtener la misma expresin del mtodo de Euler de la pgina o e a 69, aplicando frmulas de cuadratura. o
Figura 3.8: Mtodo de Euler expl e cito.
3.3.3.
74
Utilizamos la siguiente frmula de cuadratura(ver gura 3.8): o
Luego construyo yn+1
y(tn+1 )
METODO DE EULER EXPL ICITO: yn+1 = yn + hn f (tn , yn ) 0nN y0 = h n = 0, 1, 2, , N 1 donde h va a representar una aproximacin al valor inicial o
tn+1 tn
b a (t)dt
Mtodo Euler impl e cito.
f (t, y(t))dt
y(tn ) + hn f (tn , y(tn ))
(a)(b a)
Figura 3.9: Mtodo de Euler impl e cito.

(tn+1 tn )f (tn , y(tn )) = hn f (tn , y(tn ))
y(tn+1 )
(3.15)
3.3.4.
Antonio Baeza Salas
y(tn+1 )
Luego construyo yn+1
tn+1 tn
b a (t)dt
METODO DE EULER IMPL ICITO: yn+1 = yn + hn f (tn+1 , yn+1 ) 0nN y0 = h n = 0, 1, 2, , N 1 donde h va a representar una aproximacin al valor inicial o
f (t, y(t))dt
Mtodo modicado de Euler o mtodo del punto mee e dio.
b a (t)dt
tn+1 tn
y(tn ) + hn f (tn+1 , y(tn+1 ))
f (t, y(t))dt (b)(b a)
Figura 3.10: Mtodo modicado de Euler. e
( a+b )(b a) 2
a
(tn+1 tn )f (tn+1 , y(tn+1 )) = hn f (tn+1 , y(tn+1 ))
(tn+1 tn )f (tn + y(tn+1 )

(a+b)/2
hn 2 , y(tn
b
hn 2 ))
(3.17) (3.16) 75
n Ahora y(tn + h2 ) tenemos que aproximarlo, para ello desarrollamos y(t) en un polinomio de Taylor de grado 1 centrado en tn
3.3.5.
76
hn hn ) = y(tn ) + y (tn ) + (h2 ) 2 2 hn hn y(tn + ) y(tn ) + f (tn , y(tn )) 2 2 Por tanto, el esquema numrico resultante es el siguiente: e
yn+1
y(tn+1 t = tn +
b a (t)dt
Mtodo de Grank-Nicolson. e
METODO MODIFICADO DE EULER: n n = yn + hn f (tn + h2 , yn + h2 f (tn , yn )) 0nN y0 = h n = 0, 1, 2, , N 1
Figura 3.11: Mtodo de Grank-Nicolson. e
hn ; 2
y(tn ) +
y(t) = y(tn ) + (t tn )y (tn ) +
(ba) 2 ((a)
a
hn 2 (f (tn , y(tn ))
y(tn +
+ (b))
b
+ f (tn+1 , y(tn+1 ))) Ampliacin de Matemticas o a (h2 ) (3.18)
Antonio Baeza Salas Por tanto, el esquema numrico resultante es el siguiente: e
77
yn+1
METODO DE GRANK-NOCOLSON: n 0nN = yn + h2 (f (tn , yn ) + f (tn+1 , yn+1 )) y0 = h
3.3.6.
Mtodo de Heum o mtodo mejorado de Euler. e e
Haciendo lo mismo de antes pero aproximando y(tn+1 ) por un polinomio de Taylor de grado uno con centro del desarrollo tn : y(tn+1 ) = y(tn + hn ) y(t) para t = tn + hn y(tn + hn ) y(tn ) + hn y (tn ) = y(tn ) + hn f (tn , y(tn )) y(tn ) + (t tn )y (tn )
Entonces el esquema numrico resultante es el siguiente: e
yn+1 = yn +
hn 2 (f (tn , yn )
METODO DE HEUM: + f (tn+1 , yn + hn f (tn , yn ))) y0 = h
0nN
Ejemplo 3.3.2 y = y y0) = 1 0t1 T =1 (3.19)
f (t, y) = y continua y lipschitziana. | f | = 1 1 = L el problema y tiene solucin unica. o Sea N = 5, (dividimos [0, 1] en 5 subintervalos). Supongamos los 6 puntos uniformemente espaciados tn = t0 + nh h= 10 = 0,2 tn = 0 + 0,2n 5 0n5
78
t0 = 0; t1 = 0,5, t2 = 0,4; t3 = 0,6; t4 = 0,8; t5 = 1
METODO DE EULER EXPL ICITO: yn+1 = yn + hn f (tn , yn ) 0n<5 y0 = 1 n = 0, 1, 2, 3, 4
yn+1 = yn + 0,2yn = (1 + 0,2)yn = 1,2yn
0n5
y0 = 1y1 = 1 1,2 = 1,2y2 = 1,2 1,2 = 1,44 tn yn 0 1 0,2 1,2 0,4 1,44 0,6 1,728 0,8 2,0736 1 2,48832 y(tn ) 1 1,2214028 1,4918247 1,8221188 2,2255409 2,7182818
A medida que aumentamos n el error va aumentando, esto se debe a que los errores se van acumulando. Solucin exacta y(t) = et . o
METODO DE EULER IMPL ICITO: yn+1 = yn + hn f (tn+1 , yn+1 ) 0n<5 y0 = 1 n = 0, 1, 2, 3, 4
yn+1 = yn + 0,2yn+1 (1 0,2)yn+1 = yn yn+1 = 1 10 yn = yn 0,8 8
y0 = 1y1 = y2 =
Antonio Baeza Salas
79
t n yn 0 1 0,2 0,4 0,6 0,8 1
y(tn ) 1 1,2214028 1,4918247 1,8221188 2,2255409 2,7182818
yn+1
METODO MODIFICADO DE EULER: n n = yn + hn f (tn + h2 , yn + h2 f (tn , yn )) 0n<5 y0 = 1 n = 0, 1, 2, 3, 4
yn+1 = yn + hn [yn + yn + 0,2(1 +
0,2 yn ] = 2
0,2 0,4 0,2 )yn = yn + 0,2(1 + )yn = (1 + 0,2 + )yn 2 2 2
3.4.
Mtodo de Ronge-Kutta de orden 4. e
Es probable que uno de los procedimientos ms difundidos y a la vez ms a a exactos para obtener soluciones aproximadas al problema de valor inicial y = f (x, y), y(x0 ) = y0 sea el mtodo de Runge-Kutta de cuarto orden. e Como indica el nombre, hay mtodos de Runge-Kutta de distintos ordenes, e los cuales se deducen a partir del desarrollo de y(xn + h) en serie de Taylor con residuo: y(xn+1 ) = y(xn + h) = y(xn ) + hy (xn ) + h2 y (xn )+ 2!
h3 hk+1 (k+1) y (xn ) + + y (c), 3! (k + 1)! en donde c es un nmero entre xn y xn + h. Cuando k = 1 y el residuo u h2 n o o 2 y (c) es peque o, se obtiene la frmula acostumbrada de iteracin yn+1 = yn + hyn = yn + hf (xn , yn ).
80
En otras palabras, el mtodo bsico de Euler es un procedimiento de e a Runge-Kutta de primer orden. El procedimiento de Runge-Kutta de segundo orden consiste en hallar las constantes a, b, y tales que la frmula o yn+1 = yn + ak1 + bk2 en la cual k1 = hf (xn , yn ) k2 = hf (xn + h, yn + k1 ), coincide con un polinomio de Taylor de segundo grado. Se puede demostrar que esto es posible siempre y cuando las constantes cumplan con a + b = 1, b = 1 2 b = 1 2 (3.21) (3.20)
Este es un sistema de tres ecuaciones con cuatro incgnitas y tiene una o cantidad innita de soluciones. Cuando a = b = 1/2, = = 1, las condiciones (3.20) viene a ser las de la frmula de Euler mejorada. Como la o frmula coincide con un polinomio de Taylor de segundo grado, el error loo cal de truncamiento para este mtodo es de orden 3 y el error global de e truncamiento es de orden 2.
3.4.1.
Frmula de Runge-Kutta de cuarto orden. o
El procedimiento de Runge-Kutta de cuarto orden consiste en determinar las constantes adecuadas para que la frmula o yn+1 = yn + ak1 + bk2 + ck3 + dk4 , en la cual k1 = hf (xn , yn ) k2 = hf (xn + 1 h, yn + 1 k1 ), k3 = hf (xn + 2 h, yn + 2 k1 + 3 k2 ), k4 = hf (xn + 3 h, yn + 4 k1 + 5 k2 + 6 k3 ), coincida con un polinomio de Taylor de cuarto grado. Con lo anterior se obtiene 11 ecuaciones con 13 incgnitas. El conjunto de valores de las conso tantes que ms se usa produce el siguiente resultado: a 1 yn+1 = yn + (k1 + 2k2 + 2k3 + k4 ) 6 (3.23) (3.22)
Antonio Baeza Salas en la cual k1 = hf (xn , yn ) 1 1 k2 = hf (xn + h, yn + k1 ) 2 2 1 1 k3 = hf (xn + h, yn + k2 ) 2 2 k4 = hf (xn + h, yn + k3 ).
81
Recuerda 3.4.1 Obsrvese que k2 depende de k1 , k3 de k2 , y k4 de k3 . e Tambin, en k2 y k3 intervienen aproximaciones a la pendiente en el punto e medio del intervalo entre xn y xn+1 . Ejemplo 3.4.1 Con el mtodo de Runge-Kutta con h = 0,1 obtenga e una aproximacin a y = 2xy, y(1) = 1 o Solucin: Calculamos el caso n = 0. De acuerdo con (3.23), o k1 = 0,1f (x0 , y0 ) = 0,1(2x0 y0 ) = 0,2 1 1 k2 = 0,1f (x0 + 0,1, y0 + 0,2) = 0,231 2 2 1 1 k3 = 0,1f (x0 + 0,1, y0 + 0,231) = 0,234255 2 2 k4 = 0,1f (x0 + 0,1, y0 + 0,234255) = 0,2715361. En consecuencia 1 1 y1 = y0 + (k1 +2k2 +2k3 +k4 ) = 1+ (0,2+2(0,231)+2(0,234255)+0,2715361) = 1,23367435 6 6 En la tabla 3.3 se resumen los clculos restantes a xn yn Valor Exacto 1.0000 1.2337 1.5527 1.9937 2.6117 3.4904 Error abs. 0.0000 0.0000 0.0000 0.0000 0.0001 0.0001 Por. de Error Rel. 0.00 0.00 0.00 0.00 0.00 0.00
1.00 1.10 1.20 1.30 1.40 1.50
1.0000 1.2337 1.5527 1.9937 2.6116 3.4902
Cuadro 3.3: Mtodo de Runge-Kutta con h = 0,1. e
82
3.5.
3.5.1.
Ecuaciones de orden mayor y sistemas de ecuaciones diferenciales.

Problemas de valores iniciales de segundo orden.
Para aproximar la solucin de un problema de valores iniciales de seguno do orden como y = f (x, y, y ), y(x0 ) = y0 y (x0 ) = y1
se reduce la ecuacin diferencial a un sistema de dos ecuaciones de primer o orden. Cuando se sustituye y = u, el problema de valores iniciales anterior se transforma en y =u u = f (x, y, u) (3.24) y(x0 ) = y0 ; u(x0 ) = y1 Ahora podemos resolver numricamente este sistema, adaptndole las tcnie a e cas descritas anteriormente. Lo haremos con slo aplicar un mtodo partio e cular a cada ecuacin del sistema; por ejemplo, el mtodo de Euler aplicado o e al sistema (3.24) ser a yn+1 = yn + hun un+1 = un + hf (xn , yn , un ) y(x0 ) = y0 ; u(x0 ) = y1 (3.25)
Ejemplo 3.5.1 Con el mtodo de Euler halle el valor aproximado de e y(0,2), donde y(x) es la solucin del problema de valores iniciales o y + xy + y = 0 y(0) = 1, y (0) = 2
Solucin o En trminos de la sustitucin y = u, la ecuacin equivale al sistema e o o y =u u = xu y y(0) = 1; u(0) = 2 As segn (3.25), , u yn+1 = yn + hun un+1 = un + h(xn un yn )
Antonio Baeza Salas y0 = 1; u0 = 2; h = 0,1 llegamos a y1 = y0 + 0,1u0 = 1,2 u1 = u0 + 0,1(x0 u0 y0 ) = 2 + 0,1(02 1) = 1,9 y2 = y1 + 0,1u1 = 1,39 u2 = u1 + 0,1(x1 u1 y1 ) = 1,761 En otras palabras, y(0,2) 1,39 y y (0,2) 1,761
83
3.5.2.
Sistemas reducidos a sistemas de primer orden.
Si empleamos un procedimiento como el que acabamos de describir, con frecuencia podemos reducir un sistema de ecuaciones diferenciales de orden superior a uno de ecuaciones de primer orden, despejando primero la derivada de orden mximo de cada variable dependiente y luego haciendo las a sustituciones adecuadas para las derivadas de orden menor.
3.5.3.
Solucin numrica. o e
Podemos aplicar el mtodo de Runge-Kutta de cuarto orden al sistema: e x = f (t, x, y) y = g(t, x, y) x(t0 ) = x0 , y(t0 ) = y0 se obtiene: xn+1 = xn + 1 (m1 + 2m2 + 2m3 + m4 ) 6 yn+1 = yn + 1 (k1 + 2k2 + 2k3 + k4 ) 6 (3.26)
(3.27)
en donde m1 = hf (tn , xn , yn ) 1 m2 = hf (tn + 1 h, xn + 1 m1 , yn + 2 k1 ) 2 2 1 1 1 m3 = hf (tn + 2 h, xn + 2 m2 , yn + 2 k2 ) m4 = hf (tn + h, xn + m3 , yn + k3 ) k1 = hg(tn , xn , yn ) 1 k2 = hg(tn + 1 h, xn + 1 m1 , yn + 2 k1 ) 2 2 1 k3 = hg(tn + 1 h, xn + 1 m2 , yn + 2 k2 ) 2 2 k4 = hg(tn + h, xn + m3 , yn + k3 )
(3.28)
84
3.6.
Ejercicios
1. Se tiene el problema de valor inicial: y = (x + y + 1)2 ; y(0) = 2
a) Resulvalo en trminos de funciones elementales. (Indicacin: u = e e o x + y + 1) b) Aplique la frmula de Euler, con h = 0,1 y h = 0,05, para obteo ner valores aproximados de la solucin en x = 0,5. Compare los o valores aproximados con los exactos. 2. Repita los clculos del problema anterior con las distintas frmulas: a o Mtodo de Euler Impl e cito, Mtodo modicado de Euler, Mtodo de e e Grank-Nicolson, Mtodo de Heum. e En los problemas de valor inicial que siguen, aplique el Mtodo de Euler e para hallar una aproximacin al valor indicado con cuatro decimales o de precisin. Primero use h = 0,1 y despus h = 0,05 o e 3. y = 2x 3y + 1, 4. y = 4x 2y, 5. y = 1 + y 2 , y(1) = 5; y(1,5) y(0,5) y(0,5)
y(0) = 2; y(0) = 0;
6. Repita estos clculos empleando la frmula de Euler mejorada. a o 7. Use el mtodo de Runge-Kutta con las ecuaciones anteriores. e
3.7.
3.7.1.
Practica con Mathematica.

Mtodo de Euler e
El siguiente cdigo aplica el mtodo de Euler a la ecuacin diferencial o e o y = f (x, y), con valor inicial y(x0 ) = y0 , para calcular y(x), tomando h = dx.
Antonio Baeza Salas euler[f, x0, y0, x, dx] := M odule[{l = {}, Y = {}, soluci = {}}, Do[l = AppendT o[l, i], {i, x0, x, dx}]; Y = l; Y [[1]] = y0; AppendT o[soluci, {l[[1]], Y [[1]]}]; Do[{Y [[i]] = Y [[i 1]] + dx(f [l[[i 1]], Y [[i 1]]]), AppendT o[soluci, {l[[i]], Y [[i]]}]}, {i, 2, Length[l]}]; P rint[M atrixF orm[soluci]]]
85
Ejemplo 3.7.1 Con el mtodo de Euler obtenga el valor aproximado de e y(1,5) en la solucin de y = 2xy, y(1) = 1 o Escribimos en Mathematica:
f [x, y] := 2x y euler[f, 1, 1, 1,5, 0,1]
El resultado que se obtiene es la matrix: 1,00 1,10 1,20 1,30 1,40 1,50 1,0000 1,2000 1,4640 1,8154 2,2874 2,9278 (3.29)
3.7.2.
Mtodo de Euler Mejorado. e
El siguiente cdigo aplica el mtodo de Euler mejorado a la ecuacin o e o diferencial y = f (x, y), con valor inicial y(x0 ) = y0 , para calcular y(x), tomando h = dx.
86
eulermejo[f, x0, y0, x, dx] := M odule[{l = {}, Y = {}, soluci = {}}, Do[l = AppendT o[l, i], {i, x0, x, dx}]; Y = l; Y [[1]] = y0; AppendT o[soluci, {l[[1]], Y [[1]]}]; Do[{Y [[i]] = Y [[i 1]]+ dx/2 (f [l[[i 1]], Y [[i 1]]]+ f [l[[i]], Y [[i 1]] + dxf [l[[i 1]], Y [[i 1]]]]), AppendT o[soluci, {l[[i]], Y [[i]]}]}, {i, 2, Length[l]}]; P rint[M atrixF orm[soluci]]] Ejemplo 3.7.2 Con el mtodo de Euler Mejorado obtenga el valor aproe ximado de y(1,5) en la solucin de y = 2xy, y(1) = 1 o Escribimos en Mathematica: f [x, y] := 2x y eulermejo[f, 1, 1, 1,5, 0,1] El resultado que se obtiene es la 1 1,05 1,1 1,15 1,2 1,25 1,3 1,35 1,4 1,45 1,5 matrix: 1 1,10775 1,23323 1,37977 1,55141 1,7531 1,99086 2,27212 2,60601 3,00381 3,47954
(3.30)
3.7.3.
Ejercicios.
1. Modica los cdigos anteriores para programar el mtodo de Rungeo e Kutta. 2. Aplicar los mtodos de Euler, Euler Mejorado y Runge-Kutta a los e ejercicios 3.6.
Antonio Baeza Salas 3. Comparar los resultados obtenidos con los distintos mtodos. e
87
88
Cap tulo 4
Ecuaciones lineales de orden superior. Aplicaciones.

4.1.
4.1.1.
Teor preliminar. a
Problemas de valor inicial y de valor en la frontera.
Denicin 4.1.1 (Problema de valores iniciales.) Para una ecuacin o o diferencial lineal, un problema de valores iniciales de orden n es Resolver an (x) dn1 y dy dn y + an1 (x) n1 + a1 (x) + a0 (x)y = g(x) n dx dx dx Sujeta a y(x0 ) = y0 , y (x0 ) = y1 , , y (n1) (x0 ) = yn1 Para un problema como ste se busca una funcin denida en algn intervalo e o u I que contenga a x0 , y satisfaga la ecuacin diferencial y las n condiciones o iniciales especicadas en x0 : y(x0 ) = y0 , y (x0 ) = y1 , , y (n1) (x0 ) = yn1 . ya vimos que en el caso de un problema de valores iniciales de segundo orden, una curva de solucin debe pasar por el punto (x0 , y0 ) y tener la pendiente o y1 en ese punto. Teorema 4.1.2 (Existencia de una solucin unica.) Sean o an (x), an1 , , a1 (x), a0 (x), g(x) 89
(4.1)
90
continuas en un intervalo I, y sea an (x) = 0 para toda x del intervalo. Si x = x0 es cualquier punto en el intervalo, existe una solucin en dicho intervalo o y(x) del problema de valores iniciales representado por las ecuaciones (4.1) que es unica. Ejemplo 4.1.1 El problema de valores iniciales y(1) = 0, y (1) = 0, y (1) = 0
3y + 5y y + 7y = 0
tiene la solucin trivial y = 0. Como la ecuacin de tercer orden es lineal o o con coecientes constantes, se satisfacen todas las condiciones del teorema 4.1.2; en consecuencia, y = 0 es la unica solucin en cualquier intervalo que o contenga x = 1. Denicin 4.1.3 (Problema de valor en la frontera.) Otro tipo de proo blema es resolver una ecuacin diferencial lineal de segundo orden o mayor o en la que la variable dependiente y, o sus derivadas, estn especicadas en e punto distintos. Un problema como: Resolver a2 (x) dy d2 y + a1 (x) + a0 (x)y = g(x) dx2 dx Sujeta a y(a) = y0 , y(b) = y1 se llama problema de valores en la frontera. Los valores necesarios, y(a) = y 0 y y(b) = y1 , se denominan condiciones en la frontera. Una solucin del o problema anterior es una funcin que satisface la ecuacin diferencial en o o algn intervalo I que contiene a a y b, cuya grca pasa por los puntos u a (a, y0 ),(b, y1 ) Para una ecuacin diferencial de segundo orden, otros pares de condiciones o en la frontera podr ser : an y (a) = y0 , y(b) = y1 y(a) = y0 , y (b) = y1 y (a) = y0 , y (b) = y1 ,
(4.2)
Antonio Baeza Salas
91
en donde y0 y y1 representan constantes arbitrarias. Estos tres pares de condiciones slo son casos especiales de las condiciones generales en la frontera: o 1 y(a) + 1 y (a) = 1 2 y(b) + 2 y (b) = 2 Recuerda 4.1.1 An cuando se satisfagan las condiciones del teorema u 4.1.2, un problema de valor en la frontera puede tener 1. varias soluciones 2. solucin unica o 3. ninguna solucin o Ejemplo 4.1.2 La familia a dos parmetros de soluciones de la ecuacin a o diferencial x + 16x = 0 es x = c1 cos 4t + c2 sen 4t (4.3)
1. Supongamos que queremos determinar la solucin de la ecuacin que o o adems satisfaga las condiciones de frontera x(0) = 0, x(/2) = 0. a Obsrvese que la primera condicin, 0 = c1 cos 0 + c2 sen 0, implica e o que c1 = 0, de modo que x = c2 sen 4t. Pero cuando t = /2, 0 = c2 sen 2 es satisfactoria para cualquier eleccin de c2 , ya que sen 2 = o 0. Entonces, el problema de valores en la frontera x + 16x = 0 x(0) = 0, x(/2) = 0 (4.4)
tiene una cantidad innita de soluciones 2. Si se modica como sigue el problema de valores en la frontera expresado por 4.4, x + 16x = 0 x(0) = 0, x(/8) = 0 (4.5)
x(0) = 0 sigue determinando que c1 = 0. Al aplicar x(/8) = 0 a x = c2 sen 4t se requiere que 0 = c2 sen(/2) = c2 1; en consecuencia, x = 0 es una solucin de este nuevo problema de valor en la frontera. o En realidad, se puede demostrar que x = 0 es la solucin unica del o sistema (4.5)
92 3. Al transformar el problema en x + 16x = 0
x(0) = 0, x(/2) = 1
(4.6)
vemos, que c1 = 0, al aplicar x(/2) = 1 a x = c2 sen 4t, llegamos a la contradiccin 1 = c2 sen 2 = c2 0 = 0. En consecuencia, el problema o de valores en la frontera descrito por (4.6) no tiene solucin. o
4.1.2.
Ecuaciones homogneas. e
dn y dn1 y dy + an1 (x) n1 + a1 (x) + a0 (x)y = 0 n dx dx dx
Una ecuacin lineal de orden n de la forma o an (x) (4.7)
se llama homognea, mientras que una ecuacin e o an (x) dn1 y dy dn y + a0 (x)y = g(x) + an1 (x) n1 + a1 (x) n dx dx dx (4.8)
donde g(x) no es idnticamente cero, se llama no homognea; por ejemplo, e e 2y + 3y 5y = 0 es una ecuacin diferencial de segundo orden, lineal y o homognea, mientras que x3 y +6y +10y = ex es una ecuacin diferencial de e o tercer orden, lineal y no homognea. En este contexto, la palabra homognea e e no indica que los coecientes sean funciones homogneas. Para resolver una e ecuacin lineal no homognea como la (4.8), en primera instancia debemos o e poder resolver la ecuacin homognea asociada (4.7). o e Denicin 4.1.4 (Operadores diferenciales.) En clculo, la direfenciao a cin suele indicarse con la Dmayscula; esto es, dy/dx = Dy. El s o u mbolo D se llama operador diferencial porque transforma una funcin difereno ciable en otra funcin; por ejemplo, D(cos 4x) = 4 sen 4x y D(5x 3 6x2 ) = o 15x2 12x. Las derivadas de orden superior se pueden expresar en trminos e de D en forma natural: d2 y d dy ( ) = 2 = D(Dy) = D 2 y dx dx dx en general dn y = Dn y dxn
Antonio Baeza Salas
93
, donde y representa una funcin sucientemente diferenciable. Las exo presiones polinomiales donde interviene D, como D + 3, D 2 + 3D 4, 5x3 D3 6x2 D2 + 4xD + 9 tambin son operadores diferencibles. En general, e el operador direfencial de orden n se dene: L = an (x)D n + an1 (x)D n1 + + a1 (x)D + a0 (x). El operador L tiene la siguiente propiedad de linealidad: L(f (x) + g(x)) = L(f (x)) + L(g(x)), (4.10) (4.9)
Toda ecuacin diferencial lineal se puede expresar en notacin D; por ejemo o plo, la ecuacin diferencial y + 5y + 6y = 5x 3 se puede escribir en la o forma D 2 y + 5Dy + 6y = 5x 3 o como (D 2 + 5D + 6)y = 5x 3. Teorema 4.1.5 (Principio de supersposicin, ecuaciones homogneas.) o e Sean y1 , y2 , . . . , yk soluciones de la ecuacin diferencial homognea de orden o e n, ecuacin (4.7), donde x est en el intervalo I. La combinacin lineal o a o y = c1 y1 (x) + c2 y2 (x) + + ck yk (x) , en donde las ci , i = 1, 2, . . . , k son constantes arbitrarias, tambin es una e solucin cuando x est en el intervalo I. o a Dependencia e independencia lineal. Denicin 4.1.6 Se dice que f1 (x), f2 (x), . . . , fn (x) son linealmente depeno dientes en un intervalo I si existen c1 , c2 , . . . , cn no todos nulos tales que: c1 f1 (x) + c2 f2 (x) + . . . + cn fn (x) = 0 x I
Denicin 4.1.7 Se dice que f1 (x), f2 (x), . . . , fn (x) son linealmente indeo pendientes si no son linealmente dependientes en I. Si c1 f1 (x) + c2 f2 (x) + . . . + cn fn (x) = 0 x I c1 = c2 = . . . = cn = 0
entonces f1 (x), f2 (x), . . . , fn (x) son linealmente independientes. Ejemplo 4.1.3 Las funciones f1 (x) = sen 2x f2 (x) = sen x cos x
94 son l. d. en I = R
0 = c1 sen 2x + c2 sen x cos x = 2c1 sen x cos x + c2 sen x cos x = (2c1 + c2 ) sen x cos x Si tomamos c1 = 2c2 entonces son linealmente dependiente. Ejemplo 4.1.4 f1 (x) = x son l. i. en I = R pero l. d. en (0, +) f2 (x) = |x| c1 x + c2 |x| = 0 Si x > 0 entonces c1 x + c2 x = 0, basta tomar c1 = c2 x < 0 c 1 x c2 x = 0 Esto solo puede ocurrir si c1 = c2 = 0 x > 0 cc1 x + c2 x Soluciones de ecuaciones diferenciales. Nos interesan las soluciones linealmente independientes de una ecuacin o diferencial lineal. Aunque podemos recurrir a la denicin anterior, sucede o que el asunto de si son linealmente independientes las soluciones de una ecuacin diferencial lineal de orden n se puede denir mecnicamente reo a curriendo a un determinante. Denicin 4.1.8 (El wronskiano) Supngase que cada una de las funo o ciones f1 (x), f2 (x), . . . , fn (x) poseen n 1 derivadas al menos. El determinante f1 f1 . . . f1 es el wronskiano de las funciones. Teorema 4.1.9 (Criterio para soluciones linealmente independientes.) Sean n soluciones, y1 , y2 , . . . , yn , de la ecuacin (4.7), lineal, homognea y o e de orden n, en un intervalo I. Entonces, el conjunto de soluciones es linealmente independiente en I si y slo si o W (y1 , y2 , . . . , yn ) = 0 x I
(n1)
W (f1 (x), f2 (x), . . . , fn (x)) =
f2 f2 . . . f2
(n1)
fn fn . . .
(n1)
fn
Antonio Baeza Salas
95
Denicin 4.1.10 (Conjunto fundamental de soluciones.) Todo cono junto y1 , y2 , . . . , yn de n soluciones linealmente independientes de la ecuacin o diferencial lineal homognea de orden n, ecuacin (4.7), en un intervalo I, e o se llama conjunto fundamental de soluciones en el intervalo. Teorema 4.1.11 Existe un conjunto fundamental de soluciones de la ecuacin diferencial lineal homognea de orden n,(4.7), en un intervalo I. o e Teorema 4.1.12 (Solucin general, ecuaciones homogneas.) Sean o e y1 , y 2 , . . . , y n un conjunto fundamental de soluciones de la ecuacin diferencial lineal hoo mognea de orden n, ecuacin (4.7), en un intervalo I. La solucin general e o o de la ecuacin en el intervalo es o y = c1 y1 (x) + c2 y2 (x) + . . . + cn yn (x) , donde ci , i = 1, 2, . . . , n son constantes arbitrarias. Ejemplo 4.1.5 Las funciones y1 = e3x y y2 = e3x son soluciones de la ecuacin lineal homognea y 9y = 0 en el intervalo (, +). Por o e inspeccin, las soluciones son linealmente independientes en todos los reales o o en todo R. Podemos conrmar esto al observar que el wronskiano W (e3x , e3x ) = e3x e3x 3x 3e3x 3e = 6 = 0 x R
Llegamos a la conclusin de que y1 y y2 forman un conjunto fundamental o de soluciones y, en consecuencia, y = c1 e3x + c2 e3x es la solucin general de la ecuacin en el intervalo. o o Ejemplo 4.1.6 La funcin y = 4 senh 3x 5e3x es una solucin de la o o ecuacin diferencial del ejemplo 4.1.2. Esta solucin podemos obtenerla a o o partir de la solucin general o y = c1 e3x + c2 e3x , eligiendo c1 = 2 y c2 = 7, entonces y = 2e3x 7e3x se puede escribir en la forma y = 2e3x 2e3x 5e3x = 4( e3x e3x ) 5e3x 2
96
Ampliacin de Matemticas o a satisfacen la
Ejemplo 4.1.7 Las funciones y1 = ecuacin de tercer orden o
ex ,
y2 =
e2x
y y3 =
e3x
d2 y dy d3 y 6 2 + 11 6y = 0 3 dx dx dx Como W (e , e , e ) =
x 2x 3x
ex e2x e3x ex 2e2x 3e3x ex 4e2x 9e3x
= 2e6x = 0
para todo valor real de x, por tanto y1 = ex , y2 = e2x y y3 = e3x forman un conjunto fundamental de soluciones en (, +). En conclusin, o y = c1 ex + c2 e2x + c3 e3x es la solucin general de la ecuacin diferencial en el intervalo. o o
4.1.3.
Ecuaciones no homogneas. e
Toda funcin yp libre de parmetros arbitrarios que satisface la ecuacin o a o (4.8) se llama solucin particular o integral particular de la ecuacin, por o o ejemplo, se puede demostrar directamente que la funcin constante yp = 3 o es una solucin particular de la ecuacin no homognea y + 9y = 27. o o e Si y1 , y2 , . . . , yk son soluciones de la ecuacin (4.7) en un intervalo I y o yp es cualquier solucin particular de la ecuacin (4.8) en I, entonces, la o o combinacin lineal o y = c1 y1 (x) + c2 y2 (x) + . . . + ck yk (x) + yp (4.11)
tambin es una solucin de la ecuacin (4.8) no homognea. Si usamos k = n e o o e soluciones linealmente independientes de la ecuacin (4.7) de orden n, la o expresin (4.11) viene a ser la solucin general de (4.8). o o Ejemplo 4.1.8 Se demuestra fcilmente por sustitucin que la funcin a o o o o e yp = 11 1 x es una solucin particular de la ecuacin no homognea 12 2 d3 y d2 y dy 6 2 + 11 6y = 3x 3 dx dx dx (4.12)
Para llegar a la solucin general de (4.12), tambin debemos resolver la o e ecuacin homognea asociada o e d3 y d2 y dy 6 2 + 11 6y = 0 3 dx dx dx
Antonio Baeza Salas
97
pero en el ejemplo anterior vimos, que la solucin general de esta ultima o x + c e2x + c e3x en el intervalo (, +); por lo ecuacin era yc = c1 e o 2 3 tanto la solucin general de (4.12) en el intervalo es o y = yc + yp = c1 ex + c2 e2x + c3 e3x 11 1 x 12 2 Teorema 4.1.13 (Principio de superposicin, ecuaciones no homogneas.) o e Sean k soluciones particulares, yp1 , yp2 , . . . , ypk , de la ecuacin (4.8), difeo rencial lineal no homognea de orden n, en el intervalo I que, a su vez, e corresponden a k funciones distintas, g1 , g2 , . . . , gk . Esto es, supongamos que ypi representa una solucin particular de la ecuacin diferencial correso o pondiente an (x)y (n) + an1 (x)y (n1) + . . . + a1 (x)y + a0 (x)y = gi (x), en donde i = 1, 2, . . . , k. Entonces yp = yp1 (x) + yp2 (x) + . . . + ypk (x) es una solucin particular de o an (x)y (n) +an1 (x)y (n1) +. . .+a1 (x)y +a0 (x)y = g1 (x)+g2 (x)+. . .+gk (x) (4.15) Ejemplo 4.1.9 Podemos comprobar que yp1 = 4x2 es una solucin particular de y 3y +4y = 16x2 +24x8, o yp2 = e2x es una solucin particular de y 3y + 4y = 2e2x , o yp3 = xex es una solucin particular de y 3y + 4y = 2xex ex , o De acuerdo con el teorema anterior , la superposicin de yp1 ,yp2 y yp3 o y = yp1 + yp2 + yp3 = 4x2 + e2x + xex , es una solucin de o y 3y + 4y = 16x2 + 24x 8 + 2e2x + 2xex ex (4.14) (4.13)
98
4.1.4.
Ejercicios.
1. Dado que y = c1 ex + c2 ex es una familia a dos parmetros de solua ciones de y y = 0 en el intervalo (, ), determine un miembro de la familia que satisfaga las condiciones iniciales y(0) = 0, y (0) = 1. 2. Puesto que y = c1 ex cos x + c2 ex sen x es una familia a dos parmetros a de soluciones de y 2y+2y = 0 en el intervalo (, ) determine se es posible que un miembro de la familia pueda satisfacerlas siguientes condiciones en la frontera: a) y(0) = 1, y (0) = 0 b) y(0) = 1, y() = 1 c) y(0) = 1, y( ) = 1 2 d) y(0) = 0, y () = 0
3. En los siguientes ejercicios compruebe si las funciones respectivas son linealmente independientes o dependientes en (, ): a) f1 (x) = x, f2 (x) = x2 , f3 (x) = 4x 3x2 c) f1 (x) = ex , f2 (x) = ex , f3 (x) = senh x 4. Compruebe que las funciones dadas forman un conjunto fundamental de soluciones de la ecuacin diferencial en el intervalo indicado. Forme o la solucin general. o a) y y 12y = 0; e3x , e4x , (, ) c) x2 y 6xy + 12y = 0; x3 , x4 , (0, ) b) f1 (x) = 5, f2 (x) = cos2 x, f3 (x) = sen2 x
b) y 2y + 5y = 0; ex cos 2x, ex sen 2x, (, )
5. Compruebe que la familia biparamtrica de funciones dadas sea la e solucin general de la ecuacin diferencial no homognea en el intervalo o o e indicado. a) y 7y + 10y = 24ex ; y = c1 e2x + c2 e5x + 6ex , (, )
b) y 4y + 4y = 2e2x + 4x 12; y = c1 e2x + c2 xe2x + x2 e2x + x 2, (, )
Antonio Baeza Salas
99
4.2.
Reduccin de orden. o
En el estudio de la e.d.o. lineal de 2o orden es posible formar una solucin o a partir de una dada. Sea a2 (x)y + a1 (x)y + a0 (x)y = 0 una e.d.o. lineal de 2o orden homognea. Supongamos a2 = 0 e x I y que a2 (x), a1 (x), a0 (x) son continuas en I. Sea y1 (x) solucin de la ecuacin en I. Para encontrar otra solucin o o o y2 (x) vamos a reducir la ecuacin de orden transformndola en una de primer o a orden. Buscamos y2 (x) = u(x)y1 (x), veamos esto a travs de varios ejemplos: e Ejemplo 4.2.1 La funcin y1 (x) = x3 es solucin de x2 y 6y = 0. o o Buscamos una segunda solucin en el intervalo 0 < x < +, empleando o una reduccin de orden. o Consideramos y2 (x) = u(x) x3 , e imponemos que sea solucin: o y2 = u x3 + 3ux2 y2 = u x3 + 3u x2 + u 3x2 + 3 2ux = u x3 + 6x2 u + 6xu x2 (u x3 + 6x2 u + 6xu) 6ux3 = 0 x4 (xu + 6u ) = 0 x5 u + 6x4 u + 6x3 u 6x3 u = 0 6 u =0 x 0 < x < +
xu + 6u = 0 u + Consideramos w = u , y resulta: w + (x) = e Entonces: x6 w + 6 w=0 x
6 dx x
= e6 ln |x|=x
6 6 x w=0 x
d 6 (x w) = 0 dx x6 w = C 1 Luego w= C1 C1 C1 u = 6 u= + C2 6 x x 5x5
100 Como y2 (x) = u(x) x3 se tiene y2 (x) = (
C1 C1 + C2 ) x3 = + C 2 x3 5x5 5x2
Como buscamos una solucin particular, ponemos por ejemplo C2 = 0 y o C1 = 5 con lo que se tiene y2 (x) = Adems: a W (y1 , y2 ) = x3 3x2
1 x2 2 x3
1 x2
= 2 3 = 5 = 0x (0, +)
Por lo que y1 , y2 forman un conjunto fundamental de soluciones de la ecuacin. La solucin general ser, por tanto: o o a y(x) = c1 x3 + c2 1 x2
Ejemplo 4.2.2 La funcin y1 (x) = ex es solucin de y y = 0 . Buscao o mos una segunda solucin en el intervalo < x < +, empleando una o reduccin de orden. o Consideramos y2 (x) = u(x) ex , e imponemos que sea solucin: o y2 = u ex + uex y2 = u ex + 2u ex + uex Puesto que ex = 0, para esta ultima ecuacin se requiere que u + 2u = 0 o Consideramos w = u , y resulta: w + 2w = 0 una ecuacin lineal de primer orden en w. Usamos el factor integrante e 2x o y as podemos escribir d 2x (e w) = 0 dx Luego C1 2x w = C1 e2x u = C1 e2x u = e + C2 2 y y = ex (u + 2u ) = 0
Antonio Baeza Salas Como y2 (x) = u(x) ex se tiene
101
C1 x e + C 2 ex 2 Como buscamos una solucin particular, ponemos por ejemplo C2 = 0 y o C1 = 2 con lo que se tiene y2 (x) = y2 (x) = ex Adems: a W (y1 , y2 ) =
Por lo que y1 , y2 forman un conjunto fundamental de soluciones de la ecuacin. La solucin general ser, por tanto: o o a y(x) = c1 ex + c2 ex
ex ex ex ex
= 0x (, +)
4.2.1.
Ejercicios.
Determinar una segunda solucin en cada ecuacin diferencial usando la o o reduccin de orden: o 1. y + 5y = 0; y1 = 1 2. y 4y + 4y = 0; y1 = e2x 3. y + 16y = 0; y1 = cos 4x 4. x2 y 7xy + 16y = 0; y1 = x4
4.3.
Ecuaciones lineales homogneas con coeciene tes constantes.
Hemos visto que la ecuacin lineal de primer orden, dy/dx + ay = 0, o donde a es una constante, tiene la solucin exponencial y = c1 eax en el ino tervalo (, +); por consiguiente, lo ms natural es tratar de determinar a si existen soluciones exponenciales en (, +) de las ecuaciones lineales homogneas de orden superior del tipo e an y (n) + an1 y (n1) + . . . + a2 y + a1 y + a0 y = 0 (4.16)
en donde los coecientes ai , i = 0, 1, . . . , n son constantes reales y an = 0. Resulta que todas las soluciones de la ecuacin (4.16) son funciones expoo nenciales o estn formadas a partir de funciones exponenciales. a
102
4.3.1.
Mtodo de solucin. e o
Consideramos el caso especial de la ecuacin de segundo orden o ay + by + cy = 0 (4.17)
Si probamos con una solucin de la forma y = emx , entonces y = memx y o y = m2 emx de modo que la ecuacin (4.17) se transforma en o am2 emx + bmemx + cemx = 0 emx (am2 + bm + c) = 0 Como emx nunca es cero cuando x tiene valor real, la unica forma en que la funcin exponencial satisface la ecuacin diferencial es eligiendo una m tal o o que sea una ra de la ecuacin de segundo grado z o am2 + bm + c = 0 Esta ecuacin se llama ecuacin auxiliar o ecuacin caracter o o o stica de la ecuacin diferencial (4.17). Examinaremos tres casos: o Caso 1. Ra ces reales distintas. En este caso, si las soluciones son m1 y m2 , se tiene que em1 x y em2 x son soluciones de (4.17) independientes. w(em1 x , em2 x ) = (m2 m1 )em1 +m2 )x = 0 x R Forman, por tanto, un conjunto fundamental de soluciones y la solucin o general es y = c 1 em1 x + c 2 em2 x (4.18) Caso 2. Ra ces reales e iguales. Cuando m1 = m2 llegamos slo a una solucin exponencial, y1 = em1 x . o o Pero aplicando la reduccin de orden se tiene: o y2 = u(x)y1 (x) y2 = u y1 + uy1 = u em1 x + m1 em1 x y2 = u em1 x + 2m1 u em1 x + m2 uem1 x 1
Antonio Baeza Salas Por tanto:
103
ay2 +by2 +cy2 = a(u em1 x +m1 em1 x )+b(u em1 x +2m1 u em1 x +m2 uem1 x )+cuem1 x = 1 [au + (2am1 + b)u ]em1 x + [am2 + bm1 + c]em1 x u = 0 1 Entonces au + (2am1 + b)u = 0 Como m1 es solucin doble, tenemos que m1 = b , luego 2am1 + b = 0. Por o 2a tanto: au = 0 u = 0 u = c1 u = c1 x Tomando c1 = 1 se tiene una segunda solucin o y2 (x) = xemx En este caso la solucin general de la E.D.O. viene dada por: o y = c1 em1 x + c2 xem1 x Caso 3. Ra ces complejas conjugadas. Sean las soluciones m1 = + i y m2 = i con = 0, la solucin o general viene dada por y = c1 e(+i)x + c2 e(i)x = ex (c1 eix + c2 eix ) Por la frmula de Euler ei = cos + i sen Entonces: o c1 eix + c2 eix = c1 (cos x + i sen x) + c2 (cos x i sen x) = = (c1 + c2 ) cos x + i(c1 c2 ) sen x = C1 cos x + C2 sen x Luego la solucin general es o y = ex (C1 cos x + C2 sen x) Ejemplo 4.3.1 Resuelva las ecuaciones diferenciales siguientes: (4.20) (4.19)
1. 2y 5y 3y = 0 2. y 10y + 25y = 0 3. y + y + y = 0
104
Solucin: Presentamos a continuacin las ecuaciones auxiliares, ra o o ces y soluciones generales correspondientes. 1. 2m2 5m 3 = 0, m1 = 1/2 y m2 = 3, y = c1 e 2 x + c2 e3x 2. m2 10m + 25 = 0, m1 = m2 = 5 , y = c1 e5 + c2 xe5x 3. m2 + m + 1 0, m1 = 1/2 + 3/2i y m2 = 1/2 3/2i, y = = ex/2 (c1 cos 3/2)x + c2 sen 3/2x) Ejemplo 4.3.2 Resolver el siguiente problema de valor inicial: y 4y + 13y = 0 y(0) = 1 y (0) = 2 Solucin: Las ra de la ecuacin auxiliar m2 4m+13 = 0 son m1 = 2+3i o ces o y m2 = 2 3i, de modo que la solucin general viene dada por: o y = e2x (c1 cos 3x + c2 sen 3x) Al aplicar la condicin y(0) = 1, vemos que c1 = 1. Diferenciando la o solucin general y aplicando y (0) = 2, se tiene c2 = 4/3; por consiguiente o la solucin es o 4 y = e2x ( cos 3x + sen 3x) 3
1
4.3.2.
Ecuaciones de orden superior.
En general, para resolver una ecuacin diferencial de orden n como o an y (n) + an1 y (n1) + . . . + a2 y + a1 y + a0 y = 0 (4.21)
en donde ai , i = 0, 1, . . . , n son constantes reales, debemos resolver una ecuacin polinomial de grado n: o an mn + an1 mn1 + . . . + a2 m2 + a1 m + a0 = 0 (4.22)
Si todas las ra de esta ecuacin son reales y distintas, la solucin general ces o o de la ecuacin (4.21) es o y = c 1 em1 x + c 2 em2 x + . . . + c n emn x Es ms dif resumir los anlogos de los casos II y III porque las ra a cil a ces de una ecuacin auxiliar de grado mayor que dos pueden presentarse en o muchas combinaciones.
Antonio Baeza Salas
105
Cuando m1 es una ra de multiplicidad k de una ecuacin auxiliar de z o grado n, se puede demostrar que las soluciones linealmente independientes son em1 x , xem1 x , , xk1 em1 x y que la solucin general debe contener la combinacin lienal o o c1 em1 x + c2 xem1 x + + ck xk1 em1 x Recurdese que cuando los coecientes son reales, las ra complejas de una e ces ecuacin auxiliar siempre aparecen en pares conjugados. As por ejemplo, o , una ecuacin polinomial cbica puede tener dos ra o u ces complejas cuando mucho. Ejemplo 4.3.3 Resolver y + 3y 4y = 0 Solucin: Descomponiendo en factores m3 + 3m2 4 se tiene: o (m 1)(m + 2)2 , las ra ces son m1 = 1 y m2 = m3 = 2. La solucin general es: o y = c1 ex + c2 e2x + c3 xe2x Ejemplo 4.3.4 Resolver d2 y d4 y +2 2 +y =0 dx4 dx Solucin: La ecuacin auxiliar es m4 + 2m2 + 1 = (m2 + 1)2 = 0 y tiene las o o ra ces m1 = m3 = i y m2 = m4 = i. La solucin es o y = c1 eix + c2 eix + c3 xeix + c4 xeix Aplicando la frmula de Euler, la solucin general es o o y = C1 cos x + C2 sen x + C3 x cos x + C4 x sen x Ejemplo 4.3.5 Resolver 4y + y = 0 Solucin: Consideramos 4m2 +1 = 0 que tiene por soluciones m1 = 1/2i o y m2 = 1/2i, esto es = 0 y = 1/2. La solucin general ser: o a y(x) = c1 cos x x + c2 sen 2 2
106
4.3.3.
Ejercicios.
Determine la solucin general de cada ecuacin diferencial: o o 1. 4y + y = 0 2. y + 9y = 0 4. y y 6y = 0 5.

d2 y dx2
8. 12y 5y 2y = 0 9.
d4 y dx4
7. y y = 0 +
d3 y dx3
3. y 36y = 0
d2 y dx2
=0
dy + 8 dx + 16y = 0
12. y 5y + 3y + 9y = 0 6. y 4y 5y = 0 Resuelva cada ecuacin diferencial, sujeta a las condiciones iniciales o indicadas. 13. y + 16y = 0, 14. y y = 0, y(0) = 2, y (0) = 2 y(0) = 1, y (0) = 1 y(0) = 0, y (0) = 3 y(0) = 0, y (0) = 0
11. y 8y = 0
10. y + 4y y = 0
15. y + 6y + 5y = 0, 16. y + y + 2y = 0, 17. y + y = 0,
y( ) = 0, y ( ) = 2 3 3 y(0) = 0, y (0) = 1, y (0) = 7
18. y + 12y + 36y = 0,
4.4.
Coecientes indeterminados, mtodo del anue lador.
Recuerda 4.4.1 Teniendo en cuenta la denicin 4.1.4 de operador difeo rencial, una ecuacin lineal de coecientes constantes o an y (n) + . . . + a0 y = g(x) puede escribirse como an Dn y + an1 Dn1 y + + a1 Dy + a0 y = g(x) , (an Dn + an1 Dn1 + + a1 D + a0 ) y = g(x)
P (D)
Antonio Baeza Salas
107
A P (D) se le denomina operador diferencial lineal de orden n. Este polinomio podr ser factorizado generalmente y los factores pueden conmutarse. a Ejemplo 4.4.1 y y = ex puede escribirse D 2 y y = ex (D2 1)y = ex (D 1)(D + 1)y = ex Ejemplo 4.4.2 Una ecuacin diferencial comoy + 4y + 4y = 0 se puede o escribir en la forma (D2 + 4D + 4)y = 0 o sea (D + 2)(D + 2)y = 0 o sea (D + 2)2 y = 0 Nos interesa transformar una ecuacin no homognea en otra que si o e lo sea. Para ello buscamos operadores que anulen el segundo miembro, la funcin g(x). Estos reciben el nombre de operadores anuladores. o Denicin 4.4.1 (Operador anulador.) Si L es un operador diferencial o con coecientes constantes y f es una funcin sucientemente diferenciables o tal que L(f (x)) = 0 se dice que L es un anulador de la funcin. o Veremos distintos tipos de operadores anuladores segn la forma de la funu cin g; por ejemplo, la funcin constantes y = k es anulada por D porque o o Dk = 0. La funcin y = x es anulada por el operador diferencial D 2 porque o la primera y la segunda derivada de x son 1 y 0, respectivamente. En forma similar, D 3 x2 = 0, etctera. e Recuerda 4.4.2 El operador diferencial D n anula cada una de las siguientes funciones: 1, x, x2 , x3 , . . . , xn1
108
Un polinomio se puede anular deniendo un operador que anule la potencia mxima de x. a Recuerda 4.4.3 El operador diferencial (D )n anula cada una de las siguientes funciones: ex , xex , . . . , xn1 ex Recuerda 4.4.4 El operador diferencial [D 2 2D + (2 + 2 )]n anula cada una de las siguientes funciones: ex cos x, xex cos x, . . . , xn1 ex cos x ex sen x, xex sen x, . . . , xn1 ex sen x Recuerda 4.4.5 Supongamos que L(y) = g(x) es una ecuacin diferencial o lineal con coecientes constantes, y que la entrada g(x) consiste en sumas y productos nitos de las funciones mencionadas anteriormente, esto es, que g(x) es una combinacin lineal de las funciones o k, xm , xm ex , xm ex cos x, xm ex sen x en donde m es entero no negativo y y son nmeros reales. Ya sabemos u que esa funcin g se puede anular con un operador diferencial, L1 , de orden o m nimo, formado por un producto de los operadores D n , (D )n y [D2 2D + (2 + 2 )]n . Aplicamos L1 a ambos lados de la ecuacin L(y) = g(x) o y obtenemos L1 L(y) = L1 (g(x)) = 0 al resolver la ecuacin homognea o e y de orden superior L1 L(y) = L1 (g(x)) = 0, descubrimos la forma de una solucin particular, yp , de la ecuacin original no homognea L(y) = g(x). A o o e continuacin sustituimos esa forma supuesta en L(y) = g(x) para determinar o una solucin particular expl o cita. Este procedimiento de determinacin de o yp se llama mtodo de los coecientes indeterminados. e Recordemos que la solucin general de una ecuacin diferencia lineal no o o homognea L(y) = g(x) es y = yc +yp donde yc es la funcin complementaria, e o esto es, la solucin general de la ecuacin homognea asociada L(y) = 0. La o o e solucin general de cada ecuacin L(y) = g(x) esta denida en el intervalo o o (, +). Ejemplo 4.4.3 Resuelve y + 3y + 2y = 4x2 Solucin: o (4.23)
Antonio Baeza Salas
109
Paso 1 Primero resolvemos la ecuacin homognea y + 3y + 2y = 0. A o e 2 + 3m + 2 = (m + 1)(m + 2) = 0, se partir de la ecuacin auxiliar m o tiene que la funcin complementaria es o yc = c1 ex + c2 e2x . Paso 2 Como el operador diferencial D 3 anula a 4x2 , vemos que D 3 (D2 + 3D + 2)y = 4D 3 x2 es lo mismo que D3 (D2 + 3D + 2)y = 0 La ecuacin auxiliar de la ecuacin anterior, de quinto orden es o o m3 (m2 + 3m + 2) = 0 m3 (m + 1)(m + 2) = 0 tiene por ra ces m1 = m2 = m3 = 0, m4 = 1, m5 = 2. As la solucin general debe ser o y = c1 + c2 x + c3 x2 + c4 ex + c5 e2x Los trminos cuarto y quinto constituyen la funcin complementaria de e o la ecuacin original (4.23). Podemos decir que una solucin particular, o o yp , tambin deber satisfacer la ecuacin e a o D3 (D2 + 3D + 2)y = 0 . Esto signica que los trminos restantes en la ecuacin e o y = c1 + c2 x + c3 x2 + c4 ex + c5 e2x han de tener la forma bsica de yp : a y = A + Bx + Cx2 (4.24)
Para que la ecuacin (4.24) sea una solucin particular de la (4.23), se o o necesita determinar los coecientes espec cos A, B y C. Derivamos la funcin (4.24) para obtener o yp = B + 2Cx, yp = 2C
110 y sustituidos en (4.23) para llegar a
yp + 3yp + 2yp = 2C + 3B + 6Cx + 2A + 2Bx + 2Cx2 = 4x2 Como se supone que esta ultima ecuacin tiene que er una identidad, o los coecientes de las potencias de igual grado en x deben ser iguales. Esto es: 2C = 4, 2B + 6C = 0, 2A + 3B + 2C = 0 de donde se tiene que yp = 7 6x + 2x2 Paso 3 La solucin general de la ecuacin es y = yc + yp o o y = c1 ex + c2 e2x + 7 6x + 2x2 Ejemplo 4.4.4 Resuelve y 3y = 8e3x + 4 sen x Solucin: o Paso 1 Primero resolvemos la ecuacin homognea. A partir de la ecuacin o e o auxiliar m2 3m = m(m 3) = 0, se tiene que la funcin complemeno taria es yc = c1 + c2 e3x . Paso 2 En vista de que (D 3)e3x = 0 y (D 2 + 1) sen x = 0, aplicamos el operador diferencial (D 3)(D 2 + 1) a ambos lados de (4.25): (D 3)(D 2 + 1)(D 2 3D)y = 0 La ecuacin auxiliar de esta ecuacin es o o (m 3)(m2 + 1)(m2 3m) = 0 m(m 3)2 (m2 + 1) = 0 De modo que y = c1 + c2 e3x + c3 xe3x + c4 cos x + c5 sen x (4.25)
Antonio Baeza Salas
111
Despus de excluir la combinacin lineal de trminos c1 + c2 e3x que e o e corresponde a yc , llegamos a la forma de yp : yp = Axe3x + B cos x + C sen x Sustituimos yp en (4.25), simplicamos y obtenemos yp 3yp = 3Ae3x + (B 3C) cos x + (3B C) sen x = 8e3x + 4 sen x Igualamos coecientes: 3A = 8 B 3C = 0 3B C = 4
Vemos que A = 8/3, B = 6/5, C = 2/5 y en consecuencia 8 6 2 yp = xe3x + cos x sen x 3 5 5 Paso 3 La solucin general es: o 8 6 2 y = c1 + c2 e3x + xe3x + cos x sen x 3 5 5 Ejemplo 4.4.5 Resuelve y + y = x cos x cos x Solucin: o Paso 1 Primero resolvemos la ecuacin homognea. A partir de la ecuao e 2 + 1 = (m i)(m + i) = 0, se tiene que la funcin cin auxiliar m o o complementaria es yc = c1 cos x + c2 sen x . Paso 2 (D 2 + 1)2 es un anulador del lado derecho de la ecuacin (4.26): o (D2 + 1)(D 2 + 1)y = 0 (D 2 + 1)3 y = 0 (4.26)
Como i y i son ra ces complejas de multiplicidad 3 de la ecuacin o auxiliar de la ultima ecuacin diferencial, se tiene o y = c1 cos x + c2 sen x + c3 x cos x + c4 x sen x + c5 x2 cos x + c6 x2 sen x
112
Ampliacin de Matemticas o a Despus de excluir la combinacin lineal de trminos c1 cos x + c2 sen x e o e que corresponde a yc , llegamos a la forma de yp : yp = Ax cos x + Bx sen x + Cx2 cos x + Ex2 sen x Sustituimos yp en (4.26), simplicamos y obtenemos yp +yp = 4Ex cos x4Cx sen x+(2B+2C) cos x+(2A+2E) sen x = x cos xcos x Igualamos coecientes: 4E = 1 4C = 0 2B + 2C = 1 2A + 2E = 0
Vemos que A = 1/4, B = 1/2, C = 0, E = 1/4 y en consecuencia Paso 3 La solucin general es: o 1 1 1 y = c1 cos x + c2 sen x + x cos x x sen x + x2 sen x 4 2 4 Recuerda 4.4.6 [Coecientes indeterminados, mtodo del anulae dor.] La ecuacin diferencial L(y) = g(x) tiene coecientes constantes y la o funcin g(x) consiste en sumas y productos nitos de constantes, polinomios, o funciones exponenciales eax , senos y cosenos. 1. Se determina la solucin complementaria, yc , de la ecuacin homognea o o e L(y) = 0. 2. Ambos lados de la ecuacin no homognea L(y) = g(x) se someten a o e la accin de un operador diferencial, L1 , que anule la funcin g(x). o o 3. Se determina la solucin general de la ecuacin diferencial homognea o o e de orden superior L1 L(y) = 0. 4. De la solucin obtenida en el paso anterior, se eliminan todos los trmio e nos duplicados en la solucin complementaria que se determino en el o paso 1). Se forma una combinacin lineal, yp , con los trminos restano e tes. esta ser la forma de una solucin particular de L(y) = g(x). a o
Antonio Baeza Salas
113
5. Se sustituye yp que se determin en el paso 4) en L(y) = g(x). Se o igualan los coecientes de las diversas funciones a cada lado de la igualdad y se despejan los coecientes desconocidos en yp del sistema de ecuaciones resultante. 6. Con la solucin particular que se determin en el paso anterior, se o o forma la solucin general y = yc + yp de la ecuacin diferencial dada. o o
4.4.1.
Ejercicios.
1. En los problemas que siguen escriba la ecuacin diferencial dada en o la forma L(y) = g(x), donde L es un operador diferencial lineal con coecientes constantes. Si es posible, factorice L. a) 9y 4y = sen x
b) y 4y 12y = x 6 c) y + 10y + 25y = ex
2. Determine un operador lineal que anule la funcin dada: o a) 1 + 6x 2x3 b) 1 + 7e2x c) cos 2x 3. Resuelva la respectiva ecuacin diferencial por el mtodo de los coeo e cientes indeterminados: a) y 9y = 54
b) y + 4y + 4y = 2x + 6 c) y y 12y = e4x
d ) y + 25y = 6 sen x
4.5.
Variacin de parmetros. o a
Se trata de un mtodo por el que obtenemos una solucin particular de e o la no homognea. e Se resuelve la ecuacin homognea y se impone que la solucin particular o e o que busco tiene la misma forma cambiando las constantes por funciones que si pueden depender de x.
114
Para aplicar el mtodo de variacin de parmetros a una ecuacin difee o a o rencial de segundo orden, a2 (x)y + a1 (x)y + a0 (x)y = g(x) llevamos la ecuacin diferencial a su forma reducida o y + P (x)y + Q(x)y = f (x) (4.28) (4.27)
Suponemos que P, Q, f son continuas en algn intervalo I. Para la ecuacin u o lineal de segundo orden (4.27) se busca una solucin de la forma o yp = u1 (x)y1 (x) + u2 (x)y2 (x) (4.29)
en que y1 y y2 formen un conjunto fundamental de soluciones, en I, de la forma homognea asociada de (4.27). Aplicamos dos veces la regla del e producto para diferenciar yp y obtenemos: yp = u1 (x)y1 (x) + u1 (x)y1 (x) + u2 (x)y2 (x) + u2 (x)y2 (x) yp = u1 (x)y1 (x) + u1 (x)y1 (x) + u1 (x)y1 (x) + u1 (x)y1 (x)+ u2 (x)y2 (x) + u2 (x)y2 (x) + u2 (x)y2 (x) + u2 (x)y2 (x) Sustituimos (4.29)en la ecuacin (4.27) o
cero
yp + P (x)yp + Q(x)yp = f (x)

cero
u1 (y1 + P (x)y1 + Q(x)y1 ) +u2 (y2 + P (x)y2 + Q(x)y2 ) +y1 u1 + u1 y1 + y2 u2 + u2 y2 + P [y1 u1 + y2 u2 ] + y1 u1 + y2 u2 = f (x) d d dx [y1 u1 ] + dx [y2 u2 ] + P [y1 u1 + y2 u2 ] + y1 u1 + y2 u2 = f (x) d dx [y1 u1 + y2 u2 ] + P [y1 u1 + y2 u2 ] + y1 u1 + y2 u2 = f (x) (4.30) Dado que buscamos determinar dos funciones desconocidas, u1 y u2 , es de esperar que necesitemos dos ecuaciones. Las podemos obtener si establecemos la hiptesis adicional de que las funciones u1 y u2 satisfacen y1 u1 + o y2 u2 = 0. Esta hiptesis es pertinente porque si pedimos que y1 u1 +y2 u2 = 0 o la ecuacin (4.30) se reduce a y1 u1 + y2 u2 = f (x). Con ello ya tenemos las o dos ecuaciones que desebamos, aunque sea para determinar las derivadas a u1 y u2 . Aplicamos la regla de Cramer y la solucin del sistema o y1 u 1 + y 2 u 2 = 0 y1 u1 + y2 u2 = f (x)
Antonio Baeza Salas se puede expresar en trminos de los determinates e u1 = en donde W = y1 y2 y1 y2 W1 = 0 y2 f (x) y2 W2 = y1 0 y1 f (x) W1 W y u2 = W2 W
115
(4.31)
(4.32)
Las funciones u1 y u2 se determinan integrando los resultados en (4.31). Se que el determinante W es el wronskiano de y1 y y2 . Sabemos que por la independencia de y1 y y2 en I, W = 0 para todo x en el intervalo I. Recuerda 4.5.1 Para resolver (4.27), Paso 1 Se halla la funcin complementaria yc = c1 y1 + c2 y2 , o Paso 2 Se calcula el wronskiano W (y1 , y2 ). Paso 3 Se lleva la ecuacin a su forma reducida (4.28) para hallar f (x). o Paso 4 Se determinan u1 y u2 integrando u1 =
W1 W
u2 =
W2 W .
Paso 5 Una solucin particular es yp = u1 y1 + u2 y2 . o Paso 6 La solucin general de la ecuacin es y = yc + yp o o Ejemplo 4.5.1 Resuelve la ecuacin y 4y + 4y = (x + 1)e2x o Solucin: Partimos de la ecuacin auxiliar m2 4m + 4 = (m 2)2 = 0, o o y tenemos que yc = c1 e2x + c2 xe2x . Identicamos y1 = e2x y y2 = xe2x y calculamos el wronskiano W = e2x xe2x 2x e2x + 2xe2x 2e = e4x
Como la ecuacin diferencial dada est en la forma reducida, vemos que o a 2x As tenemos que: f (x) = (x + 1)e W1 = 0 xe2x 2x 2xe2x + e2x (x + 1)e = (x+1)xe4x W2 = e2x 0 2e2x (x + 1)e2x = (x+1)e4x
de (4.31) se tiene que u1 = x2 x u2 = x + 1
116 , por tanto y se tiene yp = ( x + 6

3
u1 = x3 /3 x2 /2 u2 = x2 /2 + x
x2 2x 2 )e
y x3 x2 2x + )e 6 2
y = yc + yp = c1 e2x + c2 xe2x + (
4.5.1.
Ejercicios.
Resolver cada una de las ecuaciones diferenciales por variacin de parmeo a tros: 1. y + y = sen x 2. y + 3y + 2y = 3. y 4y = 5. y y =
1 x e2x x 1 1+ex
4. y + y = 8x2
4.6.
Ecuacin de Cauchy-Euler. o
dn y dn1 y dy + a0 y = g(x) + an1 xn1 n1 + a1 x dxn dx dx
Toda ecuacin diferencial lineal de la forma o an xn
donde los coecientes an , , a0 son constantes, tiene los nombres de ecuacin de Cauchy-Euler, ecuacin de Euler Cauchy, ecuacin de Euler o ecuao o o cin equidimensional. o Examinaremos el caso de la ecuacin homognea de segundo orden: o e ax2 d2 y dy + cy = 0 + bx 2 dx dx
La solucin de ecuaciones orden superior ser anloga. Una vez detero a a minada la funcin complementaria yc (x) tambin podemos resolver la ecuao e cin no homognea ax2 y + bxy + cy = g(x) con el mtodo de variacin de o e e o parmetros. a
Antonio Baeza Salas
117
4.6.1.
Mtodo de solucin. e o
Intentaremos una solucin de la forma y = xm , donde m est por detero a minar. La primera y segunda derivada son, dy = mxm1 dx En consecuencia:
d dy ax2 dxy + bx dx + cy = ax2 m()m 1)xm2 + bxmxm1 + cxm 2 = am(m 1)xm + bmxm + cxm = xm (am(m 1) + bm + c)
2
d2 y = m(m 1)xm2 dx2
As y = xm es una solucin de la ecuacin diferencial siempre que m sea , o o una solucin de la ecuacin auxiliar o o am(m 1) + bm + c = 0 o am2 + (b a)m + c = 0 (4.33)
Hay tres casos distintos por considerar que dependen de si las ra ces de esta ecuacin cuadrtica son reales y distintas, reales e iguales o complejas. o a CASO 1: ra ces reales distintas. Sean m1 y m2 las ra ces reales de (4.33), tales que m1 = m2 . Entonm1 y y = xm2 forman un conjunto fundamental de soluciones. ces y1 = x 2 As pues, la solucin general es o y = c 1 x m1 + c 2 x m2 CASO 2: ra ces reales iguales. Si las ra de (4.33) son repetidas slo llegaremos a una solucin, que es ces o o m1 . Cuando las ra 2 + (b a)m + c = 0 y=x ces de la ecuacin cuadrtica am o a son iguales, el discriminante de los coecientes tiene que ser cero. De acuerdo con la frmula cuadrtica, la ra debe ser m1 = (b a)/2a. o a z Podemos formar ahora una segunda solucin, y2 , aplicando una reduco cin de orden. Primero escribimos la ecuacin de Cauchy-Euler en la forma: o o b dy c d2 y + + 2y = 0 2 dx ax dx ax tenemos por tanto P (x) = Por tanto
b ax
(4.34)
b ( ax )dx =
b a
ln x.
118
y2 = = = = La solucin general es: o
x m1 x m1 x m1 x m1
dx x x b a ba x x a dx dx m1 ln x x =x
e a ln x dx x2m1 b a 2m1
y = c1 xm1 + c2 xm1 ln x CASO 3: ra ces complejas.
(4.35)
Si las ra ces de (4.33) son el par conjugado m1 = + i, m2 = i, la solucin general es o y = x (c1 cos( ln x) + c2 sen( ln x)) (4.36)
4.6.2.
Ejercicios
Resuelva las siguientes ecuaciones diferenciales: 1. x2 y 2y = 0 2. x2 y + xy + 4y = 0 3. x2 y 3xy 2y = 0 4. x2 y + 6xy + y = 0 Resuelve cada ecuacin diferencial sujeta a las condiciones iniciales o indicadas. 5. x2 y + 3xy = 0, y(1) = 0, y (1) = 4 6. x2 y + xy + y = 0, y(1) = 1, y (1) = 2
4.7.
4.7.1.
Modelado con ecuaciones diferenciales de orden superior.

Sistemas de resorte y masa: movimiento libre no amortiguado.
Ley de Hooke. Supongamos que, como en la gura 4.1(b), una masa m1 esta unida a un resorte exible colgado de un soporte r gido. Cuando
Antonio Baeza Salas
119
se reemplaza m1 con una masa distinta m2 , el estiramiento, elongacin o o alargamiento del resorte cambiar. Segn la ley de Hooke, el resorte ejerce a u una fuerza de restitucin, F , opuesta a la direccin del alargamiento y proo o porcional a la cantidad de alargamiento s. En concreto, F = kx, donde k es una constante de proporcionalidad llamada constante del resorte. Aunque las masas con distintos pesos estiran un resorte en cantidades distintas, ste e est caracterizado esencialmente por un nmero k; por ejemplo, si una masa a u 1 1 que pesa 10 libras estira 2 pie un resorte, entonces 10 = k( 2 ) implica que k = 20lb/f t. Entonces , necesariamente, una masa cuyo peso sea de 8 libras estirar el resorte 2 de pie. a 5 Segunda ley de Newton. Despus de unir una masa m a un resorte, e sta lo estira una longitud s y llega a una posicin de equilibrio, en la que su e o peso, W , est equilibrado por la fuerza de restauracin ks. recordemos que a o el peso se dene por W = mg, donde la masa se expresa en slugs, kilogramos o gramos y g = 32 f t/s2 , 9.8 m/s2 o 980 cm/s2 , respectivamente. Como se aprecia en la gura 4.2, la condicin de equilibrio es mg = ks. Si la masa o se desplaza una distancia x respecto de su posicin de equilibrio, la fuerza o de restitucin del resorte es k(x + s). Suponiendo que no hay fuerzas de o retardo que acten sobre el sistema y que la masa se mueve libre de otras u fuerzas externas (movimiento libre), entonces podemos igualar la segunda ley de Newton con la fuerza neta, o resultante, de la fuerza de restitucin y o el peso: d2 x m 2 = k(s + x) + mg = ks + mg kx = kx (4.37) dt El signo negativo indica que la fuerza de restitucin del resorte acta en o u la direccin opuesta del movimiento. Adems podemos adoptar la conveno a cin que los desplazamientos medidos abajo de la posicin de equilibrio son o o positivos. Si dividimos la ecuacin (4.37) por la masa m, obtendremos la ecuacin o o diferencial de segundo orden
d2 x dt2 d2 x dt2 k + ( m )x = 0
(4.38)
+ w2 x = 0
donde w2 = k/m. Se dice que la ecuacin (4.38) describe el movimiento o armnico simple o movimiento libre no amortiguado. Dos condio ciones iniciales obvias asociadas con (4.38) son x(0) = , la cantidad de desplazamiento inicial, y x (0) = , la velocidad inicial de la masa. Solucin y ecuacin del movimiento. Para resolver la ecuacin o o o (4.38) observamos que las soluciones de la ecuacin auxiliar m2 + w2 = 0 o
120
son los nmeros complejos m1 = wi, m2 = wi. As la solucin general de u , o (4.38) es x(t) = c1 cos wt + c2 sen wt (4.39) El periodo de las vibraciones libres que describe (4.39) es T = 2 , y la w 1 w frecuencia es f = T = 2 . Por ejemplo, para x(t) = 2 cos 3t4 sen 3t,T = 2 3 1 3 a y f = T = 2 . Esto signica que la grca de x(t) se repite cada 2 unidades 3 y que hay tres ciclos de la grca cada 2 unidades o, lo que es lo mismo, a 3 que la masa pasa por 2 vibraciones completas por unidad de tiempo, ver gura 4.3. Ejemplo 4.7.1 Resuelve e interpreta el problema de valor inicial d2 x + 16x = 0 x(0) = 10 dt2 x (0) = 0
Solucin: El problema equivale a tirar hacia abajo una masa unidad a o un resorte 10 unidades de longitud respecto de la posicin de equilibrio, o sujetarla hasta que t = 0 y soltarla desde el reposo en ese instante. Al aplicar las condiciones iniciales a la solucin o x(t) = c1 cos 4t + c2 sen 4t se obtiene que la ecuacin del movimiento es o x(t) = 10 cos 4t Est claro que la solucin indica que el sistema permanece en movimiento a o una vez puesto en movimiento y la masa va y viene 10 unidades a cada lado de la posicin de equilibrio x = 0. El periodo de oscilacin es 2/4 = /2, o o ver gura 4.4. Ejemplo 4.7.2 Una masa que pesa 2 lb hace que un resorte se estire 6 in. Cuando t = 0, la masa se suelta desde un punto a 8 in abajo de la posicin o de equilibrio con una velocidad inicial, hacia arriba, de 4 ft/s. Deduzca la 3 ecuacin del movimiento libre. o Solucin: Al emplear el sistema tcnico de unidades inglesas, las medio e das expresadas en pulgadas se deben pasar a pies: 6in = 1/2f t; 8in = 2/3f t. Adems, debemos convertir las unidades de peso, que estn en libras, en unia a dades de masa. Partimos de m = W/g y, en este caso, m = 2/32 = 1/16slug. Tambin, segn la ley de Hooke, = k( 1 ) implican que la constantes del e u 2 resorte es k = 4lb/f t; por lo tanto, la ecuacin (4.37) se transforma en o 1 d2 x = 4x o 16 dt2 d2 x + 64x = 0 dt2
Antonio Baeza Salas
121
El desplazamiento y la velocidad iniciales son x(0) = 2/3, x (0) = 4/3, donde el signo negativo en la ultima condicin es consecuencia de que la o masa recibe una velocidad inicial en direccin negativa o hacia arriba. o Entonces, w 2 = 64, o sea, w = 8, de modo que la solucin general de la o ecuacin diferencial es o x(t) = c1 cos 8t c2 sen 9t (4.40)
2 3
Al aplicar, las condiciones iniciales x(0) = 2/3, x (0) = 4/3 se tiene c1 = , o y c2 = 1 . As la ecuacin del movimiento es (ver gura 4.5) 6 x(t) = 1 2 cos 8t sen 8t 3 6
(4.41)
4.7.2.
Desviacin de una viga. o
Una buena cantidad de estructuras se construyen a base de vigas, vigas que se desv o distorsionan por su propio peso o la inuencia de alguna an fuerza externa. Esta desviacin y(x) est determinada por una ecuacin o a o diferencial lineal de cuarto orden. Supongamos que una viga de longitud L es homognea y tiene seccin e o transversal uniforme en toda su longitud. Cuando no recibe carga alguna, incluyendo su propio peso, la curva que une los centroides de sus secciones transversales es una recta que se llama eje de simetr Si a la viga se le a. aplica una carga en un plano vertical que contenga al eje de simetr sufre a, una distorsin y la curva que une los centroides de las secciones transversales o se llama curva de desviacin, curva elstica o elstica. La elstica o a a a aproxima la forma de la viga. Supongamos que el eje x coincide con el eje de simetr y que la desviacin o echa y(x), medida desde el eje, es positiva a o si es hacia abajo. En teor de la elasticidad se demuestra que el momento a exionante M (x) en un punto x a lo largo de la viga, se relaciona con la carga por unidad de longitud w(x) mediante la ecuacin o d2 M = w(x) dx2 (4.42)
Adems, el momento exionante M (x) es proporcional a la curvatura, , de a la elstica: a M (x) = EI (4.43)
122
en que E e I son constantes, E es el mdulo de Young de elasticidad del o material de la viga e I es el momento de inercia de la seccin transversal de o sta. El producto EI se denomina rigidez de la exin de la viga. e o Segn el clculo diferencial, la curvatura es u a = y (1 + (y )2 )3/2
Cuando la desviacin y(x) es pequea, la pendiente y 0, de modo que o n (1 + (y )2 )3/2 1. Si = y , la ecuacin (4.43) se transforma en M = EIy . o La segunda derivada de esta ecuacin es o d2 d4 y d2 M = EI 2 y = EI 4 dx2 dx dx
2
(4.44)
Aplicamos el resultado de la ecuacin(4.42)para reemplazar d M en la (4.44) o dx2 y vemos que la desviacin y(x) satisface la ecuacin diferencial de cuarto o o orden d4 y EI 4 = w(x) (4.45) dx Las condiciones en la frontera asociadas a esta ecuacin dependen de la foro ma en que estn sostenidos los extremos de la viga. Una viga en voladizo a est empotrada en un extremo y libre en el otro. Un trampol un brazo a n, extendido, el ala de un avin y una marquesina son ejemplos comunes de o este caso, pero hasta los arboles, las astas de banderas, los rascacielos y los monumentos pueden trabajar como vigas en voladizo, ya que estn empotraa dos en su base y sufren la fuerza del viento, que los tiende a exionar. Para una viga en voladizo, la desviacin y(x) debe satisfacer las dos condiciones o siguientes en el extremo empotrado en x = 0: y(0) = 0 porque no hay desviacin en ese lugar, o y (0) = 0 porque la curva de desviacin es tangente al eje x (la peno diente de la curva de desviacin es cero en ese punto). o Cuando x = L las condiciones del extremo libre son: y (L) = 0 porque el momento exionante es cero, y (L) = 0 porque la fuerza cortante es cero. La funcin F (x) = dM/dx = Eid3 y/dx3 se llama fuerza cortante. Si un o extremo de una viga est simplemente apoyado, embisagrado, articua lado o empernado, se debe cumplir que y = 0 y y = 0 en ese extremo.
Antonio Baeza Salas
123
Ejemplo 4.7.3 Una viga de longitud L est empotrada en ambos extrea mos. Determine la desviacin de esa viga si sostiene una carga constante, w 0 , o uniformemente distribuida en su longitud; esto es, w(x) = w0 , 0 < x < L Solucin: Segn lo expuesto, la desviacin y(x) satisface a o u o EI d4 y = w0 dx4 (4.46)
Puesto que la viga est empotrada en su extremo izquierdo (x = 0) y en a su extremo derecho (x = L), no hay desviacin vertical y la elstica es o a horizontal en esos puntos. As las condiciones en la frontera son , y(0) = 0, y (0) = 0, y(L) = 0, y (L) = 0
Integrando cuatro veces sucesivas o resolviendo la ecuacin diferencial no o homognea en la forma acostumbrada, llegamos a la solucin general: e o y(x) = c1 + c2 x + c3 x2 + c4 x3 + w0 4 x 24EI
Ahora bien, las condiciones y(0) = 0, y (0) = 0 dan c1 = 0 y c2 = 0, mientras que las condiciones restantes, y(L) = 0, y (L) = 0, aplicada a w0 y(x) = c3 x2 + c4 x3 + 24EI x4 originan las ecuaciones:
w0 c3 L2 + c4 L3 + 24EI L4 = 0 w0 2c3 L + 3c4 L2 + 6EI L3 = 0
Al resolver este sistema se obtiene c3 = w0 L2 /24EI y c4 = w0 L/12EI. Entonces, la desviacin es o y(x) = w0 4 w0 2 w0 L2 2 w0 L 3 x + x + x = x (x L)2 24EI 12EI 24EI 24EI
4.8.
Ejercicios
1. Determine una segunda solucin de la ecuacin diferencial, si y1 (x) es o o la primera solucin: o a) y + 4y = 0, y1 = cos 2x b) xy 2(x + 1)y + (x + 2)y = 0, y1 = ex 2. Determine la solucin general de cada ecuacin diferencial: o o
124 a) y 2y 2y = 0
b) y + 10y + 25y = 0 c) 3y + 10y + 15y + 4y = 0 6x2 y + 5xy y = 0
d)
3. Resuelva cada ecuacin aplicando el mtodo de variacin de parmeo e o a tros: a) y 2y + 2y = ex tan x
b) x2 y 4xy + 6y = 2x4 + x2
Antonio Baeza Salas
l l+s+x
Figura 4.1: Ley de Hooke
Resorte sin estirar x=0
mg-ks=0 posicin de equilibrio (a) (b)
movimiento (c)
125
126
l l+s+x
Resorte sin estirar x=0
mg-ks=0 posicin de equilibrio (a) (b)
movimiento (c)
Figura 4.2: Movimiento libre no amortiguado
4 2 0.5 -2 -4 4 2 1 -2 -4 2 3 4 5 6 -15 -10 -5 1 1.5 2 -6 -4 -2
4 2 2 -2 -4 4 2 5 -2 -4 10 15 4 6
Figura 4.3: x(t) = 2 cos 3t 4 sen 3t
Antonio Baeza Salas
127
10 5 1 -5 -10 10 5 1.5 0.25 0.75 1 1.25 0.5 -5 -10 2 3 4 5 6
10 5 -0.75 -0.25 0.25 0.75 -0.5 0.5 -5 -10 10 5 -7.5 -2.5 2.5 5 7.5 -5 -5 -10
Figura 4.4: x(t) = 10 cos 4t
0.6 0.4 0.2 1 -0.2 -0.4 -0.6 2 3 4 5 6
Figura 4.5: x(t) =
2 3
cos 8t
1 6
sen 8t
128
Cap tulo 5
Sistemas de ecuaciones diferenciales lineales.

5.1. Teor preliminar. a
= b1 (t) = b2 (t) . . . = bn (t)
Los sistemas de ecuaciones diferenciales pueden ser de la forma P11 (D)x1 P21 (D)x1 . . . + P12 (D)x2 + P22 (D)x2 . . . + + P1n (D)xn + + P2n (D)xn . . .
(5.1)
Pn1 (D)x1 + Pn2 (D)x2 + + Pnn (D)xn
en donde Pij representan polinomios de diversos grados en el operador D. Restringiremos el estudio a los sistemas de ecuaciones diferenciales de primer orden, como el siguiente:
dx1 dt dx2 dt
. . .
= g1 (t, x1 , x2 , . . . , xn ) = g2 (t, x1 , x2 , . . . , xn ) . . . = gn (t, x1 , x2 , . . . , xn )
(5.2)
dxn dt
Este sistema de n ecuaciones de primer orden se llama sistema de orden n Denicin 5.1.1 (Sistemas lineales.) Si cada una de las funciones o g1 , g2 , . . . , gn 129
130
es lineal en las variables dependientes x1 , x2 , . . . , xn entonces las ecuaciones (5.2) son un sistema de ecuaciones lineales de primer orden. Este sistema tiene la forma normal o estndar: a
dx1 dt dx2 dt
= =
. . .
a11 (t)x1 + a12 (t)x2 + . . . + a1n (t)xn + f1 (t) a21 (t)x1 + a22 (t)x2 + . . . + a2n (t)xn + f2 (t) . . .
(5.3)
dxn dt
= an1 (t)x1 + an2 (t)x2 + . . . + ann (t)xn + fn (t)
Un sistema con la forma de las ecuaciones (5.3) se denomina sistema lineal de orden n, o simplemente sistema lineal. Se supone que los coecientes, aij , y las funciones, fi , son continuas en un intervalo I. Cuando fi (t) = 0, i = 1, 2, . . . , n, se dice que el sistema lineal es homogneo; en e caso contrario, es no homogneo. e Ejemplo 5.1.1 [Sistema de ecuaciones diferenciales ordinarias.] Un sistema de ecuaciones diferenciales ordinarias es un conjunto de dos o ms a ecuaciones donde aparecen las derivadas de dos o ms funciones desconocia das de una sola variable independiente; por ejemplo, si x y y representan variables dependientes y t es la variable independiente, el conjunto siguiente es un sistema de dos ecuaciones diferenciales de primer orden:
dx dt dy dt
= 3x 4y = x + y
(5.4)
Una solucin de un sistema como el anterior es un par de funciones difereno ciables, x = 1 (t) y y = 2 (t), que satisface cada ecuacin del sistema en o algn intervalo comn I. u u Denicin 5.1.2 (Forma matricial de un sistema lineal.) Si X, A(t)y o F (t) representan la matrices x1 (t) x2 (t) . . . xn (t) a11 (t) a12 (t) a1n (t) a21 (t) a22 (t) a2n (t) . . . . . . . . . an1 (t) an2 (t) ann (t) f1 (t) f2 (t) . . . fn (t)
X=
A(t) =
F (t) =
el sistema (5.3) de ecuaciones diferenciales lineales de primer orden se puede
Antonio Baeza Salas expresar como x1 (t) a11 (t) a12 (t) a1n (t) x1 (t) x2 (t) a21 (t) a22 (t) a2n (t) x2 (t) d . . = . . . . . . . dt . . . . . . xn (t) an1 (t) an2 (t) ann (t) xn (t) o simplemente como
131
f1 (t) f2 (t) . . . fn (t)
X=AX+F
Si el sistema es homogneo, su forma matricial es e
(5.5)
X=AX
Ejemplo 5.1.2 mogneo e
dx dt dy dt
(5.6)
Si X =
x(t) y(t)
, la forma matricial del sistema ho3 4 1 1 X
= 3x 4y es X = = x + y x(t) Ejemplo 5.1.3 Si X = y(t) , la z(t) dx = 6x + y + z dt dy homogneo e = 8x + 7y z dt dz = 2x + 9y z dt
forma matricial del sistema no + t + 10t es + 6t
6 1 1 t X = 8 7 1 X + 10t 2 9 1 6t
Denicin 5.1.3 (Vector solucin.) Un vector solucin en un intervalo o o o I es cualquier matriz columna x1 (t) x2 (t) X= . . . xn (t) cuyos elementos son funciones diferenciables que satisfagan el sistema (5.5) en el intervalo.
132 Denicin 5.1.4 (Problema de o intervalo I, x1 (t0 ) x2 (t0 ) X(t0 ) = . . . xn (t0 ) Resolver : Sujeto a :
Ampliacin de Matemticas o a valor inicial.) Sean t0 un punto en un 1 2 . . . n
en donde las i , i = 1, 2, . . . , n son constantes dadas. entonces, el problema X = A(t)X + F (t) X(t0 ) = X0
X0 =
es un problema de valor inicial en el intervalo. Teorema 5.1.5 (Existencia de una solucin unica.) Sean los elemeno tos de las matrices A(t) y F (t) funciones continuas en un intervalo comn u I que contiene el punto t0 . Existe una solucin unica del problema de valor o inicial, denicin 5.1.4, en el intervalo. o Teorema 5.1.6 (Principio de superposicin.) Sean X1 , X2 , . . . , Xk un o conjunto de vectores solucin del sistema homogneo (5.6) en un intervalo o e I. La combinacin linea o X = c 1 X1 + c 2 X2 + . . . + c k Xk , en la que las ci , i = 1, 2, . . . , k son constantes arbitrarias, tambin es una e solucin en el intervalo. o Ejemplo 5.1.4 Podemos comprobar que los dos vectores 0 cos t X1 = 1 cos t + 1 sen t y X2 = et 2 2 cos t sen t 0 1 0 1 X = 1 1 0 X 2 0 1 De acuerdo con el principio de superposicin, la combinacin lineal o o 0 cos t X = c1 X1 + c2 X2 = c1 1 cos t + 1 sen t + c2 et 2 2 cos t sen t 0
son soluciones del sistema
Antonio Baeza Salas es una solucin ms del sistema. o a
133
Denicin 5.1.7 Sean X1 , X2 , . . . , Xk un conjunto de vectores solucin del o o sistema homogneo (5.6) en un intervalo I. Se dice que el conjunto es lie nealmente dependiente en el intervalo si existen constantes ci , i = 1, 2, . . . , k no todas cero,tales que X = c 1 X1 + c 2 X2 + . . . + c k Xk = 0 para todo t en el intervalo. Si el conjunto de vectores no es linealmente dependiente en el intervalo, se dice que es linealmente independiente. Teorema 5.1.8 (Criterio para las soluciones linealmente Sean x11 x12 x1n x21 x22 x2n X1 = . , X2 = . , , X n = . . . . . . . xn1 xn2 n vectores solucin del sistema homogneo (5.6) , en o e junto de vectores es linealmente independiente en I kiano x11 x12 x21 x22 W (X1 , X2 , . . . , Xn ) = . . . . . . para todo t en el intervalo. independientes.)
xnn
un intervalo I. El consi y slo si el wronso x1n x2n . . .
=0
xn1 xn2 xnn
Ejemplo 5.1.5 Podemos comprobar que en el intervalo (, +), X1 = son soluciones del sistema X = 1 3 5 3 X 1 1 e2t y X2 = 3 5 e6t
X1 y X2 son linealmente independientes en el intervalo (, +) porque ninguno de los vectores es mltiplo constante del otro. Adems, u a W (X1 , X2 ) = e2t 3e6t e2t 5e6t = 8e4t = 0
134 para todos los valores reales de t.
Denicin 5.1.9 (Conjunto fundamental de soluciones.) Todo conjuno to, X1 , X2 , , Xn de n vectores solucin linealmente independientes del siso tema homogneo (5.6) en un intervalo I, es un conjunto fundamental de e soluciones en el intervalo. Teorema 5.1.10 (Existencia de un conjunto fundamental.) Existe un conjunto fundamental de soluciones para el sistema homogneo (5.6) en un e intervalo I Teorema 5.1.11 (Solucin general, sistemas homogneos.) Sean o e X1 , X2 , , X n de n un conjunto fundamental de soluciones del sistema homogneo (5.6) en e un intervalo I. Entonces, la solucin general del sistema en el intervalo es o X = c 1 X1 + c 2 X2 + + c n Xn , en donde las ci , i = 1, 2, , n son constantes arbitrarias. Ejemplo 5.1.6 intervalo es En el ejemplo (5.1.5) la solucin general del sistema en el o 1 1 3 5
X = c 1 X1 + c 2 X2 = c 1
e2t + c2
e6t
Teorema 5.1.12 (Solucin general, sistemas no homogneos.) Sea Xp o e una solucin dada del sistema (5.5) no homogneo en un intervalo I y sea o e Xc = c 1 X1 + c 2 X2 + + c n Xn la solucin general, en el mismo intervalo, del sistema homogneo (5.6) o e correspondiente. Entonces la solucin general del sistema no homogneo en o e el intervalo es X = Xc + Xp La solucin general Xc del sistema homogneo (5.6) se llama funcin como e o plementaria del sistema no homogneo (5.5). e
Antonio Baeza Salas Ejemplo 5.1.7 El vector Xp = 3t 4 5t + 6
135
es una solucin del sistema no homogneo o e X = 1 3 5 3 X+ 12t 11 3
en el intervalo (, +). La funcin complementaria de esta ecuacin en o o el mismo intervalo, que es la solucin general de o X = es Xc = c 1 1 1 1 1 e2t + c2 3 5 e6t 1 3 5 3 X
Segn el teorema anterior la solucin es u o X = X c + Xp = c1 en el intervalo (, +). e2t + c2 3 5 e6t + 3t 4 5t + 6
5.1.1.
Ejercicios.
Exprese los sistemas siguientes en forma matricial: 1.

dx dt dy dt dx dt dy dt dz dt dx dt dy dt dz dt
= 3x 5y = 4x + 8y = 3x + 4y 9z = 6x y = 10x + 4y + 3z = x y + z + t1 = 2x + y z 3t2 = x + y + z + t2 t + 2
2.
3.
Exprese los siguientes sistemas sin usar matrices:
136 4. X = 4 2 1 3 X+ 1 1 et
3 1 1 1 2 5. X = 3 4 1 X + 2 et 1 t 1 2 2 5 6 Compruebe que el vector X sea una solucin del sistema dado: o

dx dt dy dt dx dt dy dt
6.
= 3x 4y = 4x 7y = 2x + 5y = 2x + 4y
X=
1 2
e5t
7.
X=
5 cos t 3 cos t sen t
et
Los vectores respectivos son soluciones de un sistema X = AX. Determine si los vectores constituyen un conjunto fundamental en (, +). 1 1 1 1 1 1 2 6
8. X1 =
e2t
X2 =
e6t
9. X1 =
et
X2 =
et +
8 8
tet
En los problemas siguientes compruebe que el vector Xp sea una solucin particular del sistema dado o
dx dt dy dt
10.
= x + 4y +2t 7 = 3x + 2y 4t 18 2 1 1 1 2 1 3 4 X+ 5 2 1 7
Xp =
2 1 1 3 1 1
t+
5 1
11. X =
Xp =
12. X =
et
Xp =
et +
1 1
tet
Antonio Baeza Salas
137
5.2.
5.2.1.
Sistemas lineales homogneos con coecientes e constantes.

Valores propios reales y distintos.
La pregunta que se pretende contestar es si siempre es posible determinar una solucin de la forma o k1 k2 (5.7) X = . et = Ket . . kn del sistema homogneo, lineal y de primer orden e X = AX (5.8)
en donde A es una matriz de constantes, de n n. Para que (5.7) sea un vector solucin de (5.8), X = Ket de modo que o el sistema se transforma en Ket = AKet Al dividir por et y reordenar, se obtiene AK = K; o sea (A I)K = 0 (5.9)
Esta es la ecuacin caracter o stica de la matriz A; en otras palabras, X = Ket ser solucin del sistema (5.8) de ecuaciones diferenciales si, y slo si a o o es un valor propio de A, y K es un vector propio correspondiente a . Cuando la matriz A de n n tiene n valores propios reales y distintos, 1 , 2 , . . . , n , siempre se puede determinar un conjunto de n vectores propios linealmente independientes, K1 , K2 , . . . , Kn , y X1 = K 1 e 1 t , X2 = K 2 e 2 t , . . . , X n = K n e n t es un conjunto fundamental de soluciones de (5.8) en (, +). Teorema 5.2.1 (Solucin general, sitemas homogneos.) Sean o e 1 , 2 , . . . , n n valores propios reales y distintos de la matriz A de coecientes del sistema homogneo (5.8), y sean K1 , K2 , . . . , Kn los vectores propios correspondiene tes. entonces, la solucin general de (5.8) en el intervalo (, +) es o X1 = K 1 e 1 t , X2 = K 2 e 2 t , . . . , X n = K n e n t
138 Ejemplo 5.2.1 Resuelva

dx dt dy dt
= 2x + 3y = 2x + y
Solucin: Primero determinamos los valores y vectores propios de la matriz o de coecientes |A I| = 2 3 2 1 = ( + 1)( 4) = 0
los valores propios son 1 = 1 y 2 = 4 Cuando 1 = 1, la ecuacin (5.9) equivale a o 3k1 + 3k2 = 0 2k1 + 2k2 = 0 Por consiguiente, k1 = k2 . Cuando k2 = 1, el vector propio relacionado es 1 K1 = 1 Cuando 2 = 4, la ecuacin (5.9) equivale a o 2k1 + 3k2 = 0 2k1 3k2 = 0 Por consiguiente, k1 = 3k2 /2. Cuando k2 = 2, el vector propio relacionado es 3 K2 = 2 De esta forma se tienen dos soluciones linealmente independientes que son X1 = 1 1 et y X2 = 3 2 e4t
La solucin general del sistema es o X = c 1 X1 + c 2 X2 = c 1 1 1 et + c2 3 2 e4t
Antonio Baeza Salas
139
5.2.2.
Valores propios repetidos.
Puede ocurrir que algunos valores propios se repitan. Por ejemplo,la ecuacin caracter o stica de la matriz de coecientes en sistema X = 3 18 2 9 X (5.10)
es ( + 3)2 = 0; por lo tanto 1 = 2 = 3 es un ra de multiplicidad z dos. Para este valor se obtiene el vector propio K1 = 3 1 X1 = 3 1 e3t (5.11)
es una solucin de (5.10). Ms como lo que nos interesa es formar la o a solucin general del sistema, necesitamos saber si hay una segunda solucin. o o En general, si m es un entero positivo y si ( i )m es un factor de la ecuacin caracter o stica, mientras que ( i )m+1 no lo es, se dice que i es un valor propio de multiplicidad m. Para algunas matrices A de nn se podr determinar m vectores proa pios linealmente independientes, K1 , K2 , . . . , Km , correspondientes a un valor propio i de multiplicidad m n. En este caso la solucin o general del sistema contiene la combinacin lineal o c1 K 1 e i t + c 2 K 2 e i t + + c m K m e i t + Si slo hay un vector propio que corresponda a al valor i , de multio plicidad m, siempre ser posible hallar m soluciones linealmente indea pendientes de la forma X1 X2 . . . = = K11 ei t K21 tei t
m1
+K22 ei t
m2
t t Xm = Km1 (m1)! ei t +Km2 (m2)! ei t + + Kmm ei t
Ejemplo 5.2.2 Solucin: o
1 2 2 Resuelve X = 2 1 2 X 2 2 1
140 Calculamos el polinomio caracter stico |A I| =
1 2 2 2 1 2 2 2 1
=0
y obtenemos ( + 1)2 ( 5) = 0. 1 = 2 = 1 y = 5. Para 1 = 2 = 1, la eliminacin de o 2 2 2 | 0 2 2 2 | 0 (A + I|0) = 2 2 2 | 0
Se tiene que los autovalores son Gauss-Jordan da 1 1 1 | 0 0 0 0 | 0 0 0 0 | 0
Por tanto, se tiene k1 k2 + k3 = 0, un par de soluciones linealmente independientes para esta ecuacin son los vectores o 1 0 K1 = 1 K2 = 1 0 1 Cuando 3 = 5, la reduccin o 4 2 2 | 0 1 0 1 | 0 (A 5I|0) = 2 4 2 | 0 0 1 1 | 0 2 2 4 | 0 0 0 0 | 0 implica que k1 = k3 y k2 = k3 . Escogemos k3 = 1, y obtenemos k1 = 1 y k2 = 1; de este modo, un tercer vector propio es 1 K1 = 1 1 Resulta que la solucin general del sistema es o 1 1 0 X = c1 1 et + c2 1 et + c3 1 e5t 1 1 0 Ejemplo 5.2.3 2 1 6 Resuelve X = 0 2 5 X 0 0 2
Antonio Baeza Salas
141
Solucin: o El polinomio caracter stico ( 2)3 = 0 indica que = 2es un valor propio de multiplicidad 3. Al resolver (A 2I)K = 0 se halla un solo vector propio, que es 1 K= 0 0 Luego resolvemos los sistemas (A 2I)P = Ky (A 2I)Q = P sucesivamente y obtenemos 0 0 6 P= 1 Q = 5 1 0 5 Una solucin general del sistema es o 1 0 1 X = c1 0 e2t + c2 0 te2t + 1 e2t + 0 0 0 1 0 0 2 6 c3 0 t2 e2t + 1 te2t + 5 e2t 1 0 0 5
5.2.3.
Ejercicios.
1. Determinar la solucin general de los siguientes sistemas: o d) a) 10 5 dx = x + 2y X = X dt 8 12 dy = 4x + 3y dt e) b) 1 1 0 dx = 4x + 2y dt X = 1 2 1 X dy 5 dt = 2 x + 2y 0 3 1 c) f) dx = x+yz dt 1 1 0 dy dt = 2y X = 3 3 3 X 4 2 dz = yz 1 1 dt 1 8 4 2
142
2. Resuelva el sistema sujeto a la condicin inicial indicada: o a) X = 0 1 1 2

1 2
X(0) =
3 5
b) 1 1 4 X = 0 2 0 X 1 1 1 1 X(0) = 3 0
3. Determinar la solucin general de los siguientes sistemas: o a)

dx dt dy dt
d) = 3x y = 9x 3y = x + 3y = 3x + 5y f)
dx dt dy dt dz dt
X = e)
2 4 1 6
b)
dx dt dy dt
c) = 3x y z = x+yz = xy+z
5 4 0 X = 1 0 2 X 0 2 5 0 0 0 X = 2 2 1 X 0 1 0
5.3.
5.3.1.
Una matriz fundamental.
Si X1 , X2 , . . . , Xn es un conjunto fundamental de soluciones del sistema homogneo X = AX en un intervalo I; su solucin general en el intervalo e o es:
Antonio Baeza Salas
143
X = X1 + X2 + + c n c1 c2 nX x1n x12 x11 x2n x22 x21 = c1 . + c2 . + + c n . . . . . . . xnn xn2 xn1 c1 x11 + c2 x12 + + cn x1n c1 x21 + c2 x22 + + cn x2n . . . c1 xn1 + c2 xn2 + + cn xnn X = (t)C
(5.12)
La solucin general de (5.12) se puede expresar en la forma o (5.13)
en donde C es un vector columna de n 1 de constantes arbitrarias, y la matriz de n n, cuyas columnas consisten en los elementos de los vectores solucin del sistema X = AX, o x11 x12 x1n x21 x22 x2n (t) = . . . . . . . . . xn1 xn2 xnn es una matriz fundamental del sistema en el intervalo. algunas propiedades de la matriz fundamental son: Una matriz fundamental (t) es no singular. Si (t) es una matriz fundamental del sistema X = AX, entonces (t) = A(t) (5.14)
5.3.2.
Nos planteamos si ser posible reemplazar la matriz C de las constantes a en la ecuacin (5.13) por una matriz columna de funciones o u1 (t) u2 (t) (5.15) U(t) = . . . un (t)
144 de modo que Xp = (t)U(t)
(5.16)
sea una solucin particular del sistema no homogneo o e X = AX + F(t) es X p = (t)U (t) + (t)U(t) (5.18) obsrvese que el orden de los productos en esta ecuacin es muy importante. e o Al sustituir (5.16) y (5.18) en (5.17) se obtiene (t)U (t) + (t)U(t) = A(t)U(t) + F(t) (5.19) (5.17)
Segn la regla del producto, la derivada de la ultima ecuacin en (5.16) u o
Ahora, si empleamos (?? para reemplazar (t), esta ecuacin se transforma o en (t)U (t) + A(t)U(t) = A(t)U(t) + F(t) (5.20) o sea (t)U (t) = F(t) Multiplicamos ambos lados de esta ecuacin por 1 par obtener o U (t) = 1 (t)F(t) y por tanto U(t) = es Xp = (t) 1 (t)F(t)dt (5.21) 1 (t)F(t)dt
Como Xp = (t)U(t), concluimos que una solucin particular de (5.17) o
Para calcular la integral indenida de la matriz columna 1 (t)F(t) en esta expresin, integramos cada elemento. As la solucin general del sistema o , o (5.17) es X = Xc + Xp , o sea X = Xc + Xp = (t)C + (t) 1 (t)F(t)dt (5.22)
Ejemplo 5.3.1 Determinar la solucin general del sistema no homogneo o e X = 3 1 2 4 X+ 3t et (5.23)
Antonio Baeza Salas en el intervalo (, +) Solucin: Primero resolvemos el sistema homogneo: o e X = 3 1 2 4 X
145
(5.24)
La ecuacin caracter o stica de la matriz de coecientes es |A I| = 3 1 2 4 = ( + 2)( + 5) = 0
de modo que los valores propios son 1 = 2 y 2 = 5. Los vectores propios asociados estos autovalores son, respectivamente, 1 1 1 2
Los vectores solucin del sistema (5.24) son o X1 = 1 1 e2t = e2t e2t X2 = 1 2 e5t =
2 2t 3e 1 5t 3e
e5t 2e5t
(t) =
e2t e5t 2t 2e5t e
1 (t) =
1 2t 3e 1 e5t 3
De acuerdo con (5.21) se tiene que Xp = (t) 1 (t)F(t)dt = = = = e2t e5t 2t 2e5t e e2t e5t 2t 2e5t e e2t e5t e2t 2e5t 27 1 t 6 5 t 50 + 4 e 3 21 1 t 5 t 50 + 2 e
1 2t 3e 1 e5t 3 1 + 3 et 1 te5t 3 e4t 2t 1 e2t + te 2 1 5t 1 te 25 e5t 5 2 2t 3e 1 5t 3e 2te2t
3t et dt
1 t 3e 1 4t 12 e
dt
La solucin general del sistema es o X= e2t e5t e2t 2e5t c1 c2 +

6 5t 3 5t
27 50 21 50
1 + 4 et 1 + 2 et
146
5.3.3.
Problema de valor inicial.
La solucin general de (5.17) en un intervalo se puede expresar en la o forma alternativa

t
X = (t)C + (t)
t0
1 (s)F(s)ds
en la que t y t0 son puntos en el intervalo. Esta ultima forma es util para resolver la ecuacin sujeta a una condicin inicial X(t)0 = X0 , ya que se o o escogen los l mites de integracin de tal modo que la solucin particular se o o anule cuando t = t0 . Al sustituir t = t0 en la solucin anterior se obtiene o X0 = (t0 )C, de donde obtenemos C = 1 (t0 )X0 . Al reemplazar este resultado en la ecuacin, se tiene la solucin del problema de valor inicial: o o X = (t)1 (t0 )X0 + (t)
t t0
1 (s)F(s)ds
5.3.4.
Ejercicios.
Resolver, aplicando el mtodo de variacin de parmetros, los siguientes e o a sistemas: 1.

dx dt dy dt
= 3x 3y + 4 = 2x 2y 1 X+ 1 1 1 1 12 12 e2
t
2. X = 3. X = 4. X =
3 5 3 4 1 0 2 1 3 1 8 1 1
X+
et
X+
5. Resolver el sistema dado sujeto a la condicin inicial dada: o X = 3 1 1 3 X+ 4e2t 4e4t , X0 = 1 1
Cap tulo 6
Ecuaciones en derivadas parciales.

6.1.
6.1.1.
Ecuaciones diferenciales en derivadas parciales separables.

Ecuaciones lineales.
La forma general de una ecuacin diferencial en derivadas parciales o lineales de segundo orden (EDP) con dos variables independientes, x e y, es 2u 2u 2u u u A 2 +B +C 2 +D +E + Fu = G x xy y x y en que A, B, C, , G son funciones de x y y. Cuando G(x, y) = 0, la ecuacin o se llama homognea; en cualquier otro caso es no homognea. e e Ejemplo 6.1.1 La ecuacin o 2u 2u + 2 u=0 x2 y es homognea, mientras que e 2 u u = x2 x2 y es no homognea. e Una solucin de una ecuacin en derivadas parciales con dos variables o o independientes x y y es una funcin u(x, y) que posee todas las derivadas o 147
148
parciales que indica la ecuacin y que la satisface en alguna regin del plano o o xy. Para la mayor parte de las ecuaciones lineales de segundo orden no es fcil a llegar a una solucin. Sin embargo, casi siempre, es posible hallar soluciones o particulares de las ecuaciones lineales importantes que se originan en muchas aplicaciones.
6.1.2.
Separacin de variables. o
Se trata de buscar una solucin particular en forma de producto de una o funcin de x por una funcin de y, como o o u(x, y) = X(x)Y (y) a veces es posible convertir una ecuacin en derivadas parciales, lineal con o dos variables en dos ecuaciones diferenciales ordinarias. Para hacerlo notamos que u u x = X Y, y = XY (6.1) 2u 2u = X Y, y2 = XY x2 Ejemplo 6.1.2 Determine las soluciones producto de u 2u =4 x2 y Solucin: o Si u(x, y) = X(x)Y (y), la ecuacin se transforma en o X Y = 4XY dividimos ambos lados entre XY , con lo cual separamos las variables: X Y = X Y Puesto que el lado izquierdo de esta ecuacin es independiente de y e o igual al lado derecho, que es independiente de x, llegamos a la conclusin o que ambos lados son independientes tanto de x como de y. Cada lado de la ecuacin debe ser una constante. En la prctica se acostumbra escribir o a esta constante de separacin real como 2 o 2 . Distiguiendo los tres casos o siguientes.
Antonio Baeza Salas Caso I Si 2 > 0, las dos igualdades X Y = = 2 X Y dan X 42 X = 0 y Y 2 Y = 0
149
Estas ecuaciones tienen las soluciones siguientes: X = c1 cosh 2x + c2 senh 2x Y = c 3 e

2y
As una solucin particular de la ecuacin es , o o u = XY = (c1 cosh 2x+c2 senh 2x)(c3 e y ) = A1 e Caso II Si 2 < 0, las dos igualdades Y X = = 2 X Y dan X + 42 X = 0 y Y + 2 Y = 0 Estas ecuaciones tienen las soluciones siguientes: X = c4 cos 2x + c5 sen 2x Y = c6 e
2y 2 2y
cosh 2x+B1 e
2y
senh 2x
As otra solucin particular de la ecuacin es , o o u = A2 e Caso III Si 2 = 0, entonces X =0 y =0 En este caso X = c7 x + c8 y Y = c9 y entonces u = A 3 x + B3
2y
cos 2x + B2 e
2y
sen 2x
150
6.1.3.
Principio de superposicin. o
Si u1 , u2 , . . . , uk son soluciones de un ecuacin en derivadas parciales o lineal homognea, la combinacin lineal e o u = c 1 u1 + c 2 u2 + + c k uk , en que las ci , i = 1, 2, . . . , k, son constantes, tambin es una solucin. e o
6.1.4.
Clasicacin de las ecuaciones. o
Una ecuacin en derivadas parciales, lineal de segundo orden con dos o variables independientes y con coecientes constantes, puede pertenecer a uno de tres tipos generales. Esta clasicacin slo depende de los coecientes o o de las derivadas de segundo orden. Naturalmente, suponemos que al menos uno de los coecientes A, B y C no es cero. Denicin 6.1.1 (Clasicacin de las ecuaciones.) La ecuacin en deo o o rivadas parciales lineal y de segundo orden A 2u 2u 2u u u +B +C 2 +D +E + Fu = 0 x2 xy y x y
en donde A, B, C, D, E y F son constantes reales, es Hiperblica si B 2 4AC > 0 o Parablica si B 2 4AC = 0 o El ptica si B 2 4AC < 0 Ejemplo 6.1.3 1. 3 2. 3. 2u u = x2 y Clasicar las siguientes ecuaciones:
2u 2u = x2 y 2 2u 2u + 2 x2 y
Solucin: o
Antonio Baeza Salas 1. Escribimos primero la ecuacin en las forma adecuada: o 3 2 u u =0 x2 y
151
e identicamos de esta forma los coecientes: A = 3, B = 0 y C = 0. Y teniendo en cuenta que B 2 4AC = 0, la ecuacin es parablica. o o 2. Se tiene en este caso A = 1, B = 0 y C = 1 y B 2 4AC > 0. La ecuacin es hiperblica. o o 3. Se tiene en este caso A = 1, B = 0 y C = 1 y B 2 4AC < 0. La ecuacin es el o ptica.
6.1.5.
Ejercicios
1. Aplique la separacin de variables para hallar, si es posible, soluciones o producto para la ecuacin diferencial respectiva. o a) u u = x y u u =y x y
b) x c)
2u 2u 2u + + 2 =0 x2 xy y
2. Clasicar las siguientes ecuaciones diferenciales parciales como hiperblio ca, parablica o el o ptica. a) b) c) 2u 2u 2u + + 2 =0 x2 xy y 2u 2u 2u +9 2 =0 +6 2 x xy y 2u 2u =9 x2 xy
152
6.2.
Ecuaciones clsicas y problemas de valor en a la frontera.
Nos interesamos en este apartado por el estudio de las soluciones de las siguientes ecuaciones en derivadas parciales: k u 2u = , 2 x t a2 k>0 (6.2)
2u 2u = 2 x2 t
(6.3)
2u 2u + 2 =0 x2 y
(6.4)
o pequeas variaciones de las mismas. A estas ecuaciones clsicas de la n a f sica matemtica se les conoce como ecuacin en una dimensin del a o o calor, (6.1), ecuacin de onda unidimensional, (6.3) y ecuacin de o o Laplace en dos dimensiones, (6.4). Obsrvese que la ecuacin (6.1) de transmisin del calor es parablica, e o o o la ecuacin de onda (6.3) es hiperblica y la ecuacin de Laplace (6.4) es o o o el ptica.
6.2.1.
Ecuacin de transmisin de calor. o o
La ecuacin (6.1) se origina en la teor del ujo de calor , esto es, el o a calor transferido por conduccin en una varilla o alambre delgado. o
6.2.2.
Ecuacin de onda. o
La funcin u(x, t) es la temperatura. Los problemas de vibraciones mecnio a cas conducen con frecuencia a la ecuacin de onda (6.3). Una solucin u(x, t) o o de la ecuacin (6.3) representa el desplazamiento de una cuerda ideal. o Se tiene una cuerda de longitud L, como una cuerda de guitarra, estirada entre dos puntos en el eje x. Cuando comienza a vibrar, supongamos que el movimiento se lleva a cabo en el plano xy, de tal modo que cada punto de la cuerda se mueve en direccin perpendicular al eje x, de esta o forma u(x, t) representa el desplazamiento vertical de cualquier punto de la cuerda medio a partir del eje x, cuando t > 0.
Antonio Baeza Salas
153
6.2.3.
Ecuacin de Laplace. o
Una solucin u(x, y)de la ecuacin (6.4) de Laplace se puede interpretar o o como la distribucin de estado estable (esto es, independiente del tiempo) o de la temperatura en una placa delgada y bidimensional. Esta ecuacin en dos o tres dimensiones surge en problemas indepeno dientes del tiempo que conciernen potenciales como el electrosttico, el graa vitacional y la velocidad mecnica de uidos. Adems, una solucin de la a a o ecuacin de Laplace se puede interpretar como la distribucin de temperatuo o ra en un estado estable. Una solucin podr representar la temperatura que o a var de un punto a otro pero no con el tiempo en una placa rectangular. a
6.3.
Ecuacin de transmisin de calor. o o
Una varilla delgada de longitud L tiene una temperatura inicial f (x) y sus extremos se mantienen a la temperatura cero en todo momento t > 0. Si la varilla satisface las hiptesis siguientes o El ujo de calor dentro de la varilla slo tiene la direccin x o o La supercie lateral, o curva, de la varilla est aislada; esto es, no a escapa calor de esa supercie. No se genera calor dentro de la varilla. La varilla es homognea es decir, su masa por unidad de volumen e es constante. El calor espec co y la conductividad trmica del material de la e varilla K son constantes. el problema de valor en la frontera establece su temperatura u(x, t)
x+dx
Figura 6.1: Seccin transversal de area A o
154 k 2u u = , x2 t
Ampliacin de Matemticas o a 0 < x < L, t > 0 u(L, t) = 0, t>0 (6.5) (6.6) (6.7)
u(0, t) = 0,
u(x, 0) = f (x),
0<x<L
Con el producto u = X(x)T (t) y la constante de separacin 2 , llegao mos a T X = = 2 (6.8) X kT ya X + 2 X = 0 T + k2 T = 0 X = c1 cos xx + c2 sen x 2 T = c3 ek t u(0, t) = X(0)T (t) = 0 u(L, t) = X(L)T (t) = 0 (6.9)
(6.10)
Por tanto se tiene que X(0) = 0 y X(L) = 0. estas condiciones homogneas en la frontera, junto con la ecuacin homognea (6.9), son un e o e problema normal de Sturm-Lioville. Al aplicar la primera de estas condiciones a la ecuacin (6.10) obtenemos c1 = 0, de inmediato. En consecuencia o X = c2 sen x
6.4. 6.5.
Ecuacin de onda. o Ecuacin de Laplace. o

Calculo Diferencial e Integral

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Calculo Diferencial e Integral

Uploaded by

Copyright:

Available Formats

AMPLIACION DE MATEMATICAS

Antonio Baeza Salas

Antonio Baeza Salas

Antonio Baeza Salas

de la ultima ecuacin se obtiene la ecuacin o o x dy = dx y

Antonio Baeza Salas

Sistemas de ecuaciones diferenciales.

y = ex/2 y = e3x + 10e2x y=

2y = e3x ; + 20y = 24;

y = 5 tan 5x y = ( x + c1 )2 , x > 0, c1 > 0

Antonio Baeza Salas 10. y + 10y + 25y = 0

x = e2t + 3e6t , y = e2t + 5e6t

1 1 x = cos 2t+sen 2t+ et , y = cos 2tsen 2t et 5 5

Problemas de valor inicial.

Problemas de valor inicial de primero y segundo orden.

14 Sujeto a: y(x0 ) = y0 Resolver: d2 y dx2 = f (x, y, y ) Sujeto a:

Antonio Baeza Salas

Al resolver un problema de valor inicial surgen dos asuntos fundamenta-

Las ecuaciones diferenciales como modelos matemticos. a

Figura 1.1: Problema de rapidez de variacin o

Antonio Baeza Salas

Antonio Baeza Salas V =

Diseminacin de una enfermedad. o

Una condicin inicial obvia que acompaa a esta ecuacin es x(0) = 1. o n o

Ley de Newton del enfriamiento.

Antonio Baeza Salas

Entonces, la ecuacin (1.15) se transforma en o A dA =6 dt 100 (1.16)

Antonio Baeza Salas

Practica con Mathematica

Se dene f como la funcin coseno y se calcula su derivada y se evala o u la derivada en .

y = ex/2 y = e3x + 10e2x

Antonio Baeza Salas

Resolucin de ecuaciones diferenciales. o

Ecuaciones con condiciones iniciales.

Grcos bidimensionales. El comando Plot. a

Figura 1.4: Grca de una funcin con Plot a o

Representacin grca de la solucin de una ecuacin o a o o diferencial.

Ejercicios. 1. Resuelve con Mathematica la ecuacin 1.16 del apartado 1.3.4. o

Ecuaciones ordinarias de primer orden. Aplicaciones.

Antonio Baeza Salas Integrando en los trminos: e dy = y dx 1+x

ydy = xdx ydy = xdx

e3x (3x 1) = Ejemplo 2.2.4

Antonio Baeza Salas

Resuelve las siguientes ecuaciones diferenciales por separacin de variao bles: 1. 2.

10. (4y + yx2 )dy (2x + xy 2 )dx = 0 12.

y(0) = 1 y(0) = 1,01 y(0) = 1 y(0) = 1

= (y 1)2 + 0,01 = (y 1)2 0,01

34 Entonces, si f (x, y) = c, se tiene f f dx + dy = 0 x y

podemos demostrar que la ecuacin equivale a d(x2 5xy + y 3 ) = 0 ? o

Mtodo de solucin para ecuaciones diferenciales exace o tas.

Antonio Baeza Salas

Ecuaciones reducibles a exactas. Factores integrantes.

Antonio Baeza Salas y por tanto u M u N M (x, y) + u = N +u y y x x M u u N M N = u( ) y x x y

Si u = u(x + y) = u(z) con z = x + y entonces (2.11) ser: a u x y = u M N

38 Forzamos a que sea exacta:

f = ln x + C (y) = ln x C (y) = 0 C(y) = cte. = C y f (x, y) = x + y ln x + C y= C x ln x

Antonio Baeza Salas

d ) (x + y)(x y)dx + x(x 2y)dy = 0

c) (2y 2 x 3)dx + (2yx2 + 4)dy = 0

b) (4y + 2x 5)dx + (6y + 4x 1)dy = 0,

c) (y 2 cos x3x2 y2x)dx+(2y sen xx3 +ln y)dy = 0,

b) (xy sen x + 2y cos x)dx + 2x cos xdy = 0,

Antonio Baeza Salas De acuerdo con la denicin de y1 , tenemos o yp = uy1 = e As , y = yc + yp = ce

La ecuacin obtenida en el paso (1) se multiplica por el factor o integrante: e