Solucin de Ecuaciones Diferenciales Ordinarias de Primer Orden Luis Everardo Castro Sols Facultad de Ingeniera Universidad Autnoma de Coahuila

Agosto de 1998 1. Proceso general de solucin y tipologa de EDOs Considere la Ecuacin Diferencial Ordinaria (EDO) de primer orden escrita en cualquiera de sus formas, (p.e., explcitamente, y = f(x,y); implcitamente, F(x,y,y) = 0; lineal cannica, y+P(x)y=Q(x); debe ser posible utilizando manipulaciones algebricas ms o menos sencillas escribir la EDO en su forma diferencial, como sigue (1) M(x,y)dx + N(x,y)dy = 0

En donde M(x,y) y N(x,y) son los coeficientes de la EDO y son funciones de las variables indicadas en su argumento. La solucin analtica de (1), s las integrales a que da lugar son convergentes, tambin admite diversas formas particulares (p.e, implcitamente, f(x,y)=C),pero debe ser posible utilizando manipulaciones algebricas, ms o menos sencillas, escribir la solucin explcitamente como una relacin que depende de la variable independiente, x, y tiene un parmetro arbitrario, c, tal como (2) y = f(x) + c

Al sustituir (2) en (1) se debe satisfacer la identidad (3), abajo (3) M(x,f(x))dx + N(x,f(x))df(x) 0

El proceso de solucin de la EDO consiste en, dada la EDO primeramente escribirla en la forma diferencial estndar (1) y a continuacin, basados en la forma de los coeficientes M(x,y) y N(x,y), identificar su tipo particular. El siguiente paso es transformar adecuadamente la ecuacin para llevarla hasta una forma integrable y adquirir finalmente la solucin (2), en cualquiera de sus formas. El tercer y ltimo paso es comprobar la solucin utilizando (3). Una posible tipologa de EDOs (no es exhaustiva) se muestra en la tabla 1; esta tipologa se basa en la forma de los coeficientes de la ecuacin escrita en forma diferencial (1). La tabla 2 muestra algunas de las posibles transformaciones que pueden efectuarse a una EDO para integrarla; en las secciones siguientes se pueden observar ms ejemplos de transformaciones integrantes (de hecho, todos los necesarios para cubrir la tipologa de la tabla 1). En la siguiene seccin se analiza cada tipo particular de EDO y su tcnica detallada de solucin.

Tabla 1. Tipologa de EDOs Tipo particular de la EDO Variables separadas Forma de los coeficientes M(x,y), N(x,y) Clave

M(x,y) P(x) N(x,y) Q(x)

Vsep

Variables separadas

M(x,y) = M 1 (x)M 2 (y) N(x,y) = N 1 (x)N 2 (y) M(tx,ty) = tn M(x,y) N(tx,ty) = tn N(x,y) M[f1 (x,y)] N[f2 (x,y)] || f1 (x,y) = a1 x + b1y + c1 || f2 (x,y) = a2 x + b2y + c2

Vs

Orden de homogeneidad n

Hn

Coeficientes lineales

Cl

Exacta*

M(x,y) = u(x,y)/x N(x,y) = u(x,y)/y N(x,y) -1 [M/y - N/x] = f(x) M(x,y) -1 [N/x - M/y] = g(y) M(x,y) = P(x) y - f(x) N(x,y) = 1 M(x,y)=P(x)y - f(x)y N(x,y)= 1
n

E | Fi

Factor Integrable

Lineal Cannica

Bernoulli

Logartmicamente forzada

M(x,y) = P(x)y - f(x) y ln(y) N(x,y) = 1 Lf * Este criterio no es operativo, salvo en los casos ms simples, dado que u(x,y) es (2), de manera que no es posible saber de antemano si M(x,y) o N(x,y) son sus derivadas parciales. En la prctice se usa el criterio de exactitud (ver 2.5)

Tabla 2. Transformaciones integrantes tpicas

Tipo de transformacin Factor Integrante, u

Ejemplo El factor se multiplica por (1) u [ M(x,y)dx + N(x,y)dy = 0] Se hace a (1) el cambio y = vx, dy = v dx + x dv queda: M(x,vx)dx + N(x,vx)(v dx + x dv) = 0

Cambio de variable

2. 2.1

Tcnicas particulares de solucin EDO de variables separadas

Este es un tipo de EDO inmediatamente integrable. Si en primera instancia es posible identificar a los coeficientes de (1) como funciones de una nica variable exclusivamente, por ejemplo (4) M(x,y) P(x) N(x,y) Q(y)

Decimos que (1) es Vsep y es posible escribirla como: (5) P(x)dx + Q(y)dy = O

la solucin (si existe) se adquiere integrando (5) trmino a trmino, con (6) f(x,y) = P(x)dx + Q(y)dy = c

llegando a una forma implicita de (2).

2.2

EDO de variables separables

Si notamos que los coeficientes M(x,y) y N(x,y) de (1) son factorizables, con cada factor siendo una relacin dependiente exclusivamente de una sola variable, por ejemplo (7) M(x,y) = M 1 (x)M 2 (y) M(x,y) = N 1 (x)N 2 (y)

Entonces se ve de inmediato que un factor integrante de (1) viene dado por la funcin u, abajo (8) u = 1/[ M2 (y)N1 (x) ]

Multiplicando (1) por (8), queda M1 (x)/N1 (x) dx + N2(y)/M2 (y) dy = 0 Esta ltima expresin es de la forma (5), variables separadas, con solucin dada en la seccin 2.1

2.3

EDO de orden de homogeneidad n

S se cumple que los coefiencientes M(x,y) y N(x,y) de (1) satisfacen el siguiente criterio de homogeneidad que consiste en probar que la ecuacin es escalable: (9) M(tx,ty) = tn M(x,y) N(tx,ty) = tn N(x,y)

La homogeneidad de las expresiones (9) permiten escribirlos como xn M(1,y/x) = y n M(x/y,1) xn N(1,y/x) = y n N(x/y,1) Entonces (1) admite cualquiera de los cambios (10) y = ux x = vy

que permiten escribirla en la forma (7), variables separables, como se describe a continuacin. Haciendo el cambio y = ux a (1) (11) M(x,ux)dx + N(x,ux)(u dx + x du) = 0

Por la homogeneidad de (1) es posible escribir (11) como

xn M(1,u)dx + x n N(1,u)(u dx + x du)=0 dividiendo entre xn y factorizando por agrupacin [M(1,u) + u N(1,u)]dx + x N(1,u)du = 0 es decir f(u)dx + x g(u)du = 0 esta ltima expresin es de la forma (7), variables separables en (u,x), con solucin dada en la seccin 2.2. El cambio x = vy se puede tratar de la misma manera para llegar a una forma anloga a la anterior.

2.4

EDO con ambos coeficientes lineales

Si los coeficientes de (1) son ambos lineales, es decir (12) M[f1 (x,y)] N[f2 (x,y)] || f1 (x,y) = a1 x + b1y + c1 || f2 (x,y) = a2 x + b2y + c2

La EDO (1) sera de orden de homogeneidad 1, a no ser por la presencia de los trminos independientes c1 y c2 que son de orden de homogeneidad 0. Es evidente que un cambio de variable consistente en la translacin de ejes (13) con (14) (h,k) = {(x,y) || f 1 (x,y) f2 (x,y) } x = u + h & y = v + k

permite eliminar c1 y c2 de (12) y la EDO cumple el criterio (9), homogenea de orden 1 en las variables (u,v), con solucin como se indic en la seccin 2.3.

2.5

EDO exacta

Este tipo EDOs tambin es inmediatamente integrable. Si (1) es el diferencial total de la funcin f(x,y) = C, entonces se cumple el criterio de exactitud (15) M/y N/x

ya que si la solucin f(x,y) existe y (1) es su diferencial total, entoces (1) puede escribirse como (16) df(x,y) = f(x,y)/x dx + f(x,y)/ y dy = 0

que es una forma diferencia de (l); integrando (1a) trmino a trmino, la solucin (2), si las integrales convergen, viene dada en su forma explicita por (17) f(x,y) = c

y es posible identificar los coeficientes de (16) como las respectivas derivadas parciales:

(18)

f(x,y)/x M(x,y) f(x,y)/y N(x,y)

La solucin de (1), ecuacin (17), forma implicta, viene dada de inmediato por el siguiente teorema (19) f(x,y) = M(x,y)dx + k(y) k(y) = N(x,y) - /y[ M(x,y)dx]

el cual se demuestra con sencillez utilizando (3). En forma prctica la solucin (17) se adquiere a partir del teorema (19) en tres pasos. Paso 1) integrando la primera expresin de (18) f(x,y) M(x,y)x para dar (20) f(x,y) = M(x,y)x + k(y)

en donde k(y) es una constante parcial de integracin, es decir incluye el efecto de la variable con respecto a la cual no se integr parcialmente. Paso 2) Derivando (20) con respecto a la variable con respecto a la cual no se integr f(x,y)/y = /y[ M(x,y)x ] + k(y) N(x,y) que a la vez debe satisfacer la identidad con N(x,y), resolviendo para k(y) (21) k(y) = N(x,y) - /y[ M(x,y)dx] para conocer la

y Paso 3) integrando (21) (que es una ecuacin de la forma (6) forma particular de k(y) que desconocemos en (20) (22) k(y) = N(x,y) - /y[ M(x,y)dx]dy

completando as la relacin (17) El teorema (19) tiene su analogo, s iniciamos integrando la segunda expresin de (18), el cual se utiliza y se demuestra con un tratamiento similar al aqu presentado.

2.6

EDO que se hace exacta mediante un factor integrante

En algunos casos (1) no es exacta pero puede hacerse mediante un factor integrante. Sea (23) U = f(x)

un factor integrante de (1) que depende exclusivamente de la variable independiente, es decir (23) hace exacta a (1), con solucin como se indic en la seccin 2.5. Entonces se puede escribir la siguiente identidad, utilizando el criterio (15) (24) [U(x)M(x,y)]/ y [U(x) N(x,y)]/x

Obteniendo las derivadas parciales indicadas (U depende exclusivamente de la variable independiente, x (25) U(x) M(x,y)/y = U(x)N(x,y)/x + N(x,y) dU(x)/dx

resolviendo para dU(x)/U(x) (26) dU(x)/U(x) = [1/N(x,y)][ M(x,y)/y - N(x,y)/x]dx

Integrando (26) se obtiene la forma funcional del factor integrante (23) (27) U(x) = exp [1/N(x,y)][M(x,y)/y - N(x,y)/ x]dx

U puede ser tambin un factor integrante que depende exclusivamente de la variable dependiente, y. Para estos casos existe una forma analoga de (22) que lleva, naturalmente, al anlogo de (27), mismo que se puede tratar de la forma indicada arriba.

2.7

EDO lineal de primer orden

Este tipo de EDO tienen amplia utilidad en ciencias e ingeniera. Si (1) es una EDO lineal de primer orden en la forma cannica, ser similar a (28) dy/dx + P(x)y = f(x)

mediante manipulaciones algebricas simples para llevarla a (29), que es una forma diferencial similar a (1), donde puede verse que los coeficientes tienen la forma (30) (29) con (30) M(x,y) = P(x) y - f(x) N(x,y) = 1 [P(x)y - f(x)]dx + dy = 0

aplicando (27) (seccin 2.6) para buscar un factor integrante que haga exacta a (29), se ve de inmediato que un factor integrante es: (31) U = exp P(x)dx

Aplicando (31) a (29), queda (32) exp P(x)dx

{[P(x)

y - f(x)]dx + dy = 0}

Debe cumplirse que (32) es exacta y puede integrarse como tal para adquirir (2) como se indic en la seccin 2.5; un mtodo de integracin frecuente en la prctica, para (32), se mostrar a continuacin. Puede verse que (32) puede escribirse como (33) [exp P(x)dx] P(x)ydx + [exp P(x)dx]dy = exp P(x)dx f(x) dx

notando que el lado izquierdo de esta ecuacin corresponde al d[ y exp(P(x)dx) ] como se puede ver usando la regla del producto:

(34)

d[ y exp(P(x)dx) ] = y exp(P(x)dx)P(x) + exp(P(x)dx) dy

sustituyendo (33) en (33) queda (35) d[ y exp(P(x)dx) ] = { f(x)[exp(P(x)dx)] } dx

entonces la solucin de (28) viene dada por la expresin (36), que es una forma explicita similar a (2), y = f(x). (36) y = exp(-P(x)dx) { f(x)[exp(P(x)dx)] } dx + c

Un mtodo interesante para resolver (28) denominado variacin de parmetros puede aplicarse tambin, pero no lo incluiremos aqu; puede verse en, por ejemplo, Kreyszig (1972) p. 49,50.

2.8

EDO de Bernoulli

Si (1) tiene coeficientes M(x,y) y N(x,y) que pueden identificarse como (37) M(x,y)=P(x)y - f(x)y N(x,y)= 1
n

Siendo n un nmero real; si n = 0, (37) es como (28), lineal, si n = 1, (37) es como (6), variables separables y se resuelven como se indica en la seccin 2.7 y 2.2 respectivamente; si n es cualquier otro nmero real la EDO es no lineal, pero puede linealizarse utilizando el cambio de variable (38) con (39) dw/dy = (1-n)y-n w = y
1 - n

El proceso para llevar (1) a una forma como (28) y resolverla como se indic en la seccin 2.7; el proceso se indica a continuacin. Primeramente escribimos (1) en la forma Bernoulli cannica: (40) dy/dx + P(x)y = Q(x)yn

y dividiendo convenientemente en yn , podemos escribir (41) y-n dy/dx + P(x)y1-n = Q(x)

ahora bien, de (39) se ve que (42) y-n = (1-n)-1 dw/dy

sustituyendo (42) y (38) en (41) y aplicando la regla de la cadena, se ve que el cambio (38) conduce a la ecuacin (43) dw/dx + (1-n)P(x)w = (1-n)Q(x)

que es de la forma (28), lineal cannica en w, y puede resolverse como se indic en la seccin 2.7.

2.9

EDO Logaritmicamente forzada

Si los coeficientes M(x,y) y N(x,y) de (1) pueden identificarse como (44) el cambio de variable (45) v = ln(y) M(x,y) = P(x)y - f(x) y ln(y) N(x,y) = 1

permite poner a la ecuacin en la forma (28), lineal cannica en v, y solucionarla como se indico en la seccin 2.7. El cambio se realiza primeramente notando que otra forma de escribir (45) es (46) con (47) dy = e v dv y = ev

Sustituyendo (46) y (47) en (1) con coeficientes en la forma (44), queda (48) ( P(x) ev - f(x) ev v )dx + e v dv = 0

que puede llevarse de inmediato a la forma (49) dv/dx - f(x) v = P(x)

que, como se menciono arriba, es similar a (28) y puede resolverse como tal.

2.10

Un sistema para resolver EDOs

La informacin de las ecuaciones (1) a (49), y los procesos de solucin que implican, puede entenderse mejor si se analiza dentro de un enfoque sistmico de la tipologa de ecuaciones. La figura 1, abajo, muestra un Mapa de Caminos que contiene dicho enfoque; el uso de esta figura nos permite simplificar y entender las relaciones entre los diversos tipos de ecuacin y sus tcnicas de solucin.

3.

Ejemplos (VER EJEMPLOS PROPORCIONADOS EN PIZARRON POR EL PROFESOR CASTRO)

4.

Conclusin

Muchas de las ms comunes Ecuaciones Diferenciales Ordinarias pueden resolverse de manera relativamente sencilla escribiendolas en la forma diferencial, ecuacin (1), e identificando la forma particular de sus coeficientes M(x,y) y N(x,y) de acuerdo con la tipologa sealada. Comunmente, si la ecuacin tiene solucin, se requerir algn(os) cambio(s) de variable y la utilizacin de algn(os) factor(es) integrante(s) para adquirir su solucin general.

Figura 1. Un mapa para resolver EDOs.