NOTAS PARA LOS ALUMNOS DEL CURSO DE ECUACIONES DIFERENCIALES

ECUACIONES DIFERENCIALES EN DERIVADAS TOTALES

Ing. Juan Sacerdoti

Departamento de Matemtica Facultad de Ingeniera Universidad de Buenos Aires 2002 V 2.02

ECUACIONES DIFERENCIALES EN DERIVADAS TOTALES NDICE

1.- OBJETIVOS Y DEFINICIONES BASICAS 1.1.- OBJETIVO 1.2.- DEFINICIONES BASICAS 1.2.1.- DEFINICIN DE EDDT - ORDEN Y GRADO 1.2.2.- SOLUCIONES DE LA EDDT 1.3.- CLASIFICACIN DE EDDT 1.3.1.- CLASIFICACIN DE EDDT SEGUN EL TIPO DE CONJUNTO S DE SOLUCIONES. 1.3.2.- CLASIFICACIN DE LAS EDDT SEGUN EL TIPO DE FUNCIN 2.- EDDT PRIMER ORDEN 2.1.- CONSIDERACIONES GENERALES 2.1.1.- CARACTERIZACIN EDDT PRIMER ORDEN 2.1.2.- SOLUCIONES DE LAS EDDT DE PRIMER ORDEN 2.1.3.- TIPOS DE SOLUCIONES DE LAS EDDT DE PRIMER ORDEN 2.1.4.- EDDT DE UNA FAMILIA DE FUNCIONES 2.1.5.- ENVOLVENTE DE UNA FAMILIA DE CURVAS DE UN PARMETRO 2.1.5.1.- DEFINICIN DE ENVOLVENTE 2.1.5.2.- TEOREMAS RELATIVOS A LA ENVOLVENTE 2.1.6.- TRAYECTORIAS ORTOGONALES A UNA FAMILIA DE FUNCIONES 2.2.- TIPOS ELEMENTALES DE EDDT DE PRIMER ORDEN 2.2.1.- ECUACIONES SIN UNA VARIABLE TIPO f(x y) = 0 2.2.1.1.- CASO 1 2.2.1.2.- CASO 2 2.2.1.3.- CASO 3 2.2.1.4.- CASO 4 2.2.2.- VARIABLES SEPARABLES 2.2.2.1.- VARIABLES SEPARABLES STANDARD 2.2.2.2.- REDUCIBLES A VARIABLES SEPARABLES y = f(ax+by) 2.2.2.3.- HOMOGNEAS 2.2.2.4.- REDUCIBLES A HOMOGENEAS 2.2.2.4.1- Tipo I 2.2.2.4.2.- Tipo II 2.2.3.- ECUACIONES LINEALES DE PRIMER ORDEN 2.2.3.1.- ECUACIONES LINEALES 2.2.3.2.- ECUACIONES REDUCIBLES A LINEALES: BERNOUILLI 2.2.3.3.- ECUACIONES REDUCIBLES A LINEALES: RICATTI 2.2.4.- ECUACIONES RESUELTAS EN y 2.2.4.1.- CASO GENERAL 2.2.4.2.- LAGRANGE 2.2.4.3.- CLAIRAUT

2.2.5.- DIFERENCIALES EXACTAS Y CONEXAS 2.2.5.1.- DIFERENCIALES EXACTAS 2.2.5.2.- ECUACIONES REDUCIBLES A DIFERENCIALES EXACTAS: FACTOR INTEGRANTE 2.2.6.- TABLA DE ECUACIONES DIFERENCIALES DE PRIMER ORDEN 2.3.- RESOLUCIN APROXIMADA 2.3.1.- MTODO DE DESARROLLO EN SERIE 2.3.2.- MTODO DE ADAMS 2.3.3.- MTODO DE RUNGE 2.3.4.- MTODO DE RUNGE-KUTTA 2.4.- EXISTENCIA DE LAS SOLUCIONES DE ECUACIONES DIFERENCIALES DE PRIMER ORDEN 2.5. APLICACIONES 2.5.1.- APLICACIONES MATEMTICAS 2.5.1.1.- APLICACIONES GEOMTRICAS 2.5.2.- APLICACIONES FSICAS

3.- ANALISIS DE LAS ECUACIONES DIFERENCIALES LINEALES Y HOMOGENEAS (EDLH) 3.1.- SOLUCIONES SINGULARES GENERALES Y PARTICULARES 3.2.- S COMO ESTRUCTURA DE ESPACIO LINEAL (VECTORIAL) 3.2.1.- DEFINICIN DEL CUERPO DE APOYO EN S 3.2.2.- DEFINICIN DE LA SUMA EN S 3.2.3.- DEFINICIN DEL PRODUCTO EXTERNO EN S 3.2.4.- ESTRUCTURACIN DE S COMO ESPACIO LINEAL (VECTORIAL) 3.3.- DEPENDENCIA E INDEPENDENCIA LINEAL DE FUNCIONES 3.3.1.- DEFINICIN DE WRONSKIANO 3.3.2.- TEOREMA DE IL DE FUNCIONES ( NO NECESARIAMENTE SOLUCIONES DE LA EDLH ) 3.3.3.- TEOREMA DE IL y DL PARA LAS SOLUCIONES DE EDLH 3.4.- DIMENSIN DEL CONJUNTO S 3.5.- EL PROBLEMA DE CAUCHY (SOLUCIN PARTICULAR)

4.- ECUACIONES DIFERENCIALES EQUIVALENTES O MODIFICADAS 4.1.- DEFINICIN 4.2.- ECUACIONES MODIFICADAS POR CAMBIO DE VARIABLE 4.2.1.- CAMBIO DE LA VARIABLE INDEPENDIENTE 4.2.1.1.- EXPRESIN GENERAL 4.2.2.- CAMBIO DE LA VARIABLE DEPENDIENTE 4.2.2.1.- EXPRESIN GENERAL y = z(x) g(x) 4.2.2.2.- SIMPLIFICACIONES 4.2.2.3.- CAMBIO DE LA VARIABLE INDEPENDIENTE y/y = r 4.2.2.4.- CASOS PARTICULARES DEL CAMBIO DE LA VARIABLE DEPENDIENTE

4.3.- REDUCCIN DEL ORDEN 4.3.1.- REDUCCIN DEL ORDEN PARA EDLH DE ORDEN 2 4.3.2.- REDUCCIN DEL ORDEN PARA EDLH DE ORDEN n 4.4.- SOLUCIN DE LA NO HOMOGNEA: MTODO DE LAGRANGE O DE VARIACIN DE CONSTANTES 5.- SOLUCION DE LA EDLH DE COEFICIENTES NO CONSTANTES 5.1.- TEOREMA DE FUCHS 5.1.1.- INTRODUCCIN AL MTODO DE FUCHS 5.1.2.- EJEMPLO INTRODUCTORIO RESOLUCIN DE LA ECUACIN DIFERENCIAL DE BESSEL PARA = 2 5.1.2.1.- PLANTEO DEL MTODO 5.1.2.2.- ECUACIN DE RECURRENCIA, ECUACIN CARACTERSTICA 5.1.2.3.- PRIMERA SOLUCIN 5.1.2.4.- SEGUNDA SOLUCIN 5.1.2.4.- SEGUNDA SOLUCIN POR EL MTODO DE LA SEGUNDA ECUACIN DE RECURRENCIA 5.2.- ENUNCIADO AL TEOREMA DE FUCHS PARA EDLH DE ORDEN 2 5.3.- ENUNCIADO AL TEOREMA DE FUCHS PARA EDLH DE ORDEN 3 enunciado en V(infinito) hiptesis nuevo fuchs e1/x etc 9.- PROPIEDADES DE LAS EDT DE SEGUNDO ORDEN 9.1.- REDUCCIN DEL ORDEN 9.2.- CEROS DE LA EDLH SEGUNDO ORDEN

11.- EJERCICIOS Ejercicio 1: Ecuacin de Ricatti

ECUACIONES DIFERENCIALES EN DERIVADAS TOTALES

1.- OBJETIVOS Y DEFINICIONES BASICAS 1.1.- OBJETIVO El objetivo del presente trabajo es la resolucin de las Ecuaciones Diferenciales en Derivadas Totales (EDDT), tambin llamadas Ecuaciones Diferenciales Ordinarias.

1.2.- DEFINICIONES BASICAS Se definen a continuacin los elementos bsicos que se emplean en el desarrollo de las Ecuaciones Diferenciales en Derivadas Totales (EDDT): 1.- Definicin de EDDT 2.- Orden de la EDDT 3.- Grado de la EDDT 4.- Solucin de la EDDT

1.2.1.- DEFINICIN DE EDDT - ORDEN Y GRADO Se define como Ecuacin Diferencial en Derivadas Totales a una ecuacin del tipo: Def: f (x , y(k), y(k+1), ... ,y (k+n) ) = 0 EDDT := f :D = Sub( C 2 ) C (x , y) f (x , y(k), y(k+1), ... , y(k+n) ) : f = 0 f (x , y(k) , y(k+1) , ... , y(k+n) ) = 0 D = Sub( C 2 ) n+k n
2

: : : :

Ecuacin diferencial en derivadas totales (EDDT) Dominio de la EDDT. Subconjunto de C 2 Grado de la EDDT Orden de la EDDT

Obs 1: El dominio y el rango de la EDDT son respectivamente S(C 2) y C aunque pueden tambin tomarse S( R ) y R, mantenindose los resultados obtenidos en el campo complejo. Obs 2: En la resolucin de EDDT no interesa el grado de la misma, sino el orden. Esto es as porque si se toma: z = y(k) resulta: f (x , y(k) , y(k+1)...,y (k+n) ) = 0 f ( x, z , z',...,z(n) ) = 0

y luego se obtiene la funcin y integrando k veces z. y = ... z(x) dx k veces La ecuacin diferencial se supone resuelta cuando se llega a este punto: antes de integrar. Por lo tanto a partir de aqu se emplea k = 0 sin perder generalidad. Salvo indicacin en contrario en las ecuaciones que se plantearan, el orden coincidir con el grado.

1.2.2.- SOLUCIONES DE LA EDDT Resolver una Ecuacin Diferencial en Derivadas Totales significa encontrar la funciones explcitas de grfica y = y(x) [ implcitas (x y) = 0 ] que satisfagan a la EDDT. Al conjunto de soluciones se llamar S Def: S := { y : D1 = Sub(C) C x y(x) : f = 0 } S : Conjunto de soluciones de la EDDT y : Solucin de la EDDT D1 : Dominio sobre el cual est definida la solucin de la EDDT

Obs 1: No debe confundirse D con D1 . El primero D es el Dominio de f (Subconjunto de C 2 ) {x y} El segundo D1 es el Dominio de y (Subconjunto de C). {x} Obs 2: Ntese que S es un subconjunto de un espacio E (de funciones) as definido: E := { y : D1= Sub(C) C x y(x) }

1.3.- CLASIFICACIN DE EDDT 1.3.1.- CLASIFICACIN DE EDDT SEGUN EL TIPO DE CONJUNTO S DE SOLUCIONES. Las ecuaciones diferenciales pueden clasificarse segn las caractersticas de S : conjunto de soluciones. La ecuacin se dice compatible incompatible segn existan o no existan soluciones. Es decir el conjunto S es no vaco o vaco respectivamente. Def: f (x , y , y',...,y(n) ) = 0 Compatible f (x , y , y',...,y(n) ) = 0 Incompatible := := S S=

En particular cuando la ecuacin es compatible para todos los valores del dominio es decir se satisface para cualquier elemento de un espacio prefijado E (universo) se la denomina identidad. Es decir: Def: Ej: f = y' - y' = 0 f (x , y , y',...,y(n) ) = 0 Identidad := S=E

1.3.2.- CLASIFICACIN DE LAS EDDT SEGUN EL TIPO DE FUNCIN Las EDDT tambin se clasifican segn el tipo de funcin f. Esto es porque de la forma de f dependen los mtodos de solucin. Interesan particularmente por sus aplicaciones las ED Lineales (EDL) y las ED Lineales y homogneas (EDLH), definidas a continuacin: f =0 EDL f = pn(x) y(n) + pn-1(x) y(n-1) + ... + p1(x) y' + p0(x) y - q(x) f = pn(x) y(n) + pn-1(x) y(n-1) + ... + p1(x) y' + p0(x) y

Def:

:=

f =0 EDLH :=

donde pk y q representan funciones complejas (o reales): pk : Dk = Sub(C) C x pk (x) q : Dq = Sub(C) C x q (x) En particular los coeficientes pk(x) pueden ser constantes, generando dos casos de EDDT de uso muy comn en los modelos de ingeniera, las EDL y EDLH de coeficientes constantes. Las EDDT Lineales son objeto de estudio de este captulo y por lo tanto es cmodo definir para simplificar la notacin a la funcin que las caracteriza con un smbolo particular L(y). Ms adelante se ver que la funcin L(y) es un operador lineal: Def: L(y) := pn(x) y(n) + pn-1(x) y(n-1) + ... + p1(x) y' + p0(x) y En ese caso las EDL y EDLH quedan expresadas respectivamente como: L(y) q(x) = 0 L(y) = 0

2.- EDDT PRIMER ORDEN 2.1.- CONSIDERACIONES GENERALES 2.1.1.- CARACTERIZACIN EDDT PRIMER ORDEN De acuerdo a la definicin de EDDT, se llama EDDT de primer orden a: Def.: f (x,y,y) = 0 EDDT DE PRIMER ORDEN := := f :D = Sub( C 2 ) C (x , y) f (x,y,y) : f = 0 Obs 1: El dominio y el rango de la EDDT son respectivamente S(C 2 ) y C aunque pueden tambin tomarse S(R2 ) y R, mantenindose los resultados obtenidos en el campo complejo.

2.1.2.- SOLUCIONES DE LAS EDDT DE PRIMER ORDEN Resolver una Ecuacin Diferencial significa encontrar las funciones explcitas de grfica y = y(x) [ implcitas (x y) = 0 ] que satisfagan a la EDDT. Al conjunto de soluciones se llamar S Def: S := { y : D1 = Sub(C) C x y(x) : f (x,y,y) = 0 = 0 } S : Conjunto de soluciones de la EDDT y : Solucin de la EDDT D1 : Dominio sobre el cual est definida la solucin de la EDDT

2.1.3.- TIPOS DE SOLUCIONES DE LAS EDDT DE PRIMER ORDEN El conjunto de soluciones de las EDDT de Primer Orden puede ser representada por una Familia de Funciones (x y k) = 0 donde k es un parmetro la cual se llama Solucin General, pero adems pueden existir otras soluciones fuera de la Familia mencionada, que se llaman Soluciones Singulares. Se define:

(x y k) = 0 :

Solucin General, representada por la Familia de Funciones Paramtricas

(x y k0) = 0 : Solucin Particular, que se obtiene fijando un valor particular del parmetro (x y) = 0
k = k0 en la Solucin General. : Solucin Singular, que es aquella Solucin no incluida en la Solucin General (x y k) = 0.

2.1.4.- EDDT DE UNA FAMILIA DE FUNCIONES El problema inverso al anterior es: hallar la EDDT de una Familia de Funciones. Esta se puede generar a partir del sistema:

(x y k) = 0
(x y k) = 0 x

x +y y = 0

f (x y y) = 0

Obs.: Una familia de funciones, adems de ser presentada en forma implcita, puede hacerse bajo otras formas como por ejemplo la paramtrica. Un sistema de funciones de parmetros t , k define una curva para cada k

 x = x( t , k ) y = y( t , k )

2.1.5.- ENVOLVENTE DE UNA FAMILIA DE CURVAS DE UN PARAMETRO 2.1.5.1.- DEFINICIN DE ENVOLVENTE

Dada una Familia de Curvas, puede darse el caso que exista una curva E llamada Envolvente que en cada uno de sus puntos sea tangente a una de las curvas de la Familia. Cada curva de la Familia se llama involuta.

En el punto de contacto entre envolvente e involuta (en el caso de curvas regulares) deben existir los vectores tangentes a de cada una de ellas (respectivamente TE y T ) y ser colineales es decir:

T x 2 + y 2 0 TE xk2 + yk2 0

T = TE
La condicin de colinealidad puede expresarse como y =

x T= y

x y y TE = k x k

T = TE

x xk + y yk = 0

Las envolventes de una Familia de Funciones, si existen son Solucin Singular de la EDDT. Queda claro que puede haber otras Soluciones Singulares que no son envolventes. En resumen se llama envolvente a una Familia de Funciones que dependen de un solo Parmetro a:
Def: H.- (x, y, k) = 0 Familia de Curvas de un Parmetro: : x y k E Envolvente/f : E :D = [ a b] C k E = (x(k) , y(k)) : E C/[ a b] E 0 (x(k), y(k), k) = 0

2.1.5.2.- TEOREMAS RELATIVOS A LA ENVOLVENTE

Los teoremas sobre la envolvente son:

Teorema 1: Condicin necesaria para la existencia de la envolvente como curva regular es que sea parte de la solucin del Sistema
(x, y, k) = 0 H1.- 2 2 x + y 0
x = x( k ) : y = y( k ) 2 2 x' + y' 0

E S :

(x, y, k) = 0 k (x, y, k) = 0

H2.- E Envolvente/

E S :

(x, y, k) = 0 k (x, y, k) = 0

D.-

Por definicin de envolvente se verifica la identidad

(x(k), y(k), k) = 0
y tambin

dy dx + y + k = 0 dk dk

pero como existen simultneamente los vectores tangentes de la curva de parmetro k y la envolvente resulta

x dx + y dy = 0

k = 0

entonces la envolvente verifica el sistema:

(x, y, k) = 0 E S: k (x, y, k) = 0
(x, y, k) = 0 Obs.: Como se ver (el Teorema 4) la solucin del Sistema S : est formada por la envolvente k (x, y, k) = 0 y otras curvas que son el lugar geomtrico de los puntos no regulares , es decir que satisfacen x2 + y2 = 0

Teorema 2.- Condicin suficiente de existencia de la envolvente (x, y, k) = 0 2 2 x + y 0

H1.-

H2.- S (xk yk)

(x, y, k) = 0 : k (x, y, k) = 0

x = x( k ) : y = y( k ) 2 2 x' + y' 0

E nica E =

H3.-

C ( 2 ) ( , k ) 0 det J ( x, y ) kk 0

D.-

Como x2 + y2 0

se deriva el sistema respecto del parmetro k dy dx x + y =0 dk dk dy dx kx + ky + kk = 0 dk dk

sistema que tiene solucin nica porque

det J

( , k ) 0 ( x, y ) x2 + y2 0

la solucin no es la trivial porque kk 0 entonces

Teorema 3: En la hiptesis del Teorema 2 , los puntos P que resuelven al sistema S , son uno para cada k , el lmite de los puntos de interseccin Ph de las curvas Ck Ck+h cuando h tiende a cero

H1.-

(x, y, k) = 0 2 2 x + y 0

H2.- S :

(x, y, k) = 0 k (x, y, k) = 0
C ( 2 ) ( , k ) 0 det J ( x, y ) kk 0

(x, y, k) = 0 lm h 0 (x, y, k + h) = 0

(x, y, k) = 0 k (x, y, k) = 0

H3.-

Efectivamente los puntos de interseccin Ph cumplen (x, y, k) = 0 (x, y, k + h) = 0

En consecuencia por el teorema de Rolle

: ] k , k+h [ k (x, y, ) = 0

Pasando al lmite cuando h tiende a cero se tiene el sistema S

(x, y, k) = 0 S : k (x, y, k) = 0 Obs.: En el caso que no se verifiquen las hiptesis del Teorema 3 , la envolvente de la familia puede no ser el lugar geomtrico de los puntos lmites de la interseccin de Ck y Ck+h cuando h tiende a cero.

Un ejemplo es cuando las curvas de (x, y, k) = 0 y k (x, y, k) = 0 son tangentes. ( , k ) Esto implica det J = 0 y kk = 0 ( x, y ) Pues de los contrario sera incompatible el sistema dy dx x + y =0 dk dk dy dx kx + ky + kk = 0 dk dk dy dx y respecto de dk dk En tal caso el contacto es de orden superior a 1. Ejemplo de ello la familia de circunferencias osculatrices de una curva E, (que es envolvente )
Ejemplo : Haz de parbolas

:= ( x k)3 y = 0

Se forma el sistema

= ( x k)3 y = 0 k = 3 (x k) 2 = 0
que permite el siguiente anlisis: I.- Se anula la segunda ecuacin para x = k II.- x = k deja en la primera ecuacin y = 0 que representa la envolvente porque todas las parbolas son tangentes a la misma. En efecto:
x = 3 (x k)2 y = 1

(x y)

( k0 )

= ( 0, 1)

y = 0 es entonces envolvente de la familia pues T = E Se observa que no se cumplen las hiptesis del Teorema 3 pues: det J
( , k ) 3( x k ) 2 1 = = 6 (x k) = 0 ( k0 ) ( x, y ) 6( x k ) 0 ( k0 )

kk = 6 (x k)

= 0

 (x, y, k) = 0 Teorema 4.- La solucin del sistema S: en general est compuesta por un lado por la k (x, y, k) = 0 envolvente y por otro por las curvas que se obtienen como el lugar geomtrico de los puntos no regulares que cumplen

x 2 + y2 = 0

H2.- S :

(x, y, k) = 0 k (x, y, k) = 0
C ( 2 ) ( , k ) 0 det J ( x, y ) kk 0 x = x( k ) E: y = y( k ) 2 2 x' + y' 0 x = x( k ) H: y = y( k ) 2 2 x' + y' = 0

H3.-

S= EH :

D.- Sean x = x(u) y = y(u) ecuaciones paramtricas de las curvas que satisfacen al sistema S, entonces como se puede despejar en el sistema k = k(x y) porque kk 0 se satisface en la primera ecuacin del sistema:

(x(u), y(u) , k(x(u) , y(u)) = 0

Adems como:

x . x(u) + y .y(u) + k . [ kx x(u) + ky y(u)] = 0

y como k = 0

x . x(u) + y .y(u) = 0
Entonces se obtiene la segunda ecuacin del sistema S. Existen dos casos segn se anule o no x2 + y2
x = x( k ) E: y = y( k ) 2 2 x' + y' 0

x + y 0
2 2

Envolvente

x = x( k ) + y = 0 H : y = y ( k ) 2 2 x' + y' 0
2

Lugar geomtrico de los puntos no regulares del Sistema.

2.2.- TIPOS ELEMENTALES DE EDDT DE PRIMER ORDEN

Para las Ecuaciones Diferenciales de Primer Orden f(x, y, y) = 0 , solamente se conocen mtodos de integracin de algunos casos particulares, que se desarrollan a continuacin.

2.2.1.- ECUACIONES SIN UNA VARIABLE TIPO f(xy) = 0

Se presentan dos casos segn pueda despejarse una de las variables:

Caso 1.Caso 2.Caso 3.Caso 4.f(x y) = 0 f(x y) = 0 f(y y) = 0 f(y y) = 0

y = u(x) x = X(y) y = v(y) y = Y(y)

En ambos casos se llamar p := y para simplificar la exposicin.

2.2.1.1.- CASO 1 I.- Def: f(x y) = 0 y = u(x)

II:- Test de reconocimiento: Teorema de existencia de solucin de las funciones implcitas (Dini)

T.-

f: D R2 R2 (x p) f = f(x p)

(x0 p0) : f(x0 p0) = 0 X U(x0 p0) :

f C x f f C 0 p p

x I = Dominio(U(x0 p0)) u(x) nica : f(x u(x)) 0 u'(x) u C

III.- Solucin General 2.2.1.2.- CASO 2 I.- Def: f(x y) = 0

y =

u(x) dx + C

x = X(y)

II.- Test de reconocimiento: Teorema de existencia de solucin de las funciones implcitas (Dini) III.- Solucin: Con p := y podemos encontrar una solucin en coordenadas paramtricas x = X(p) dx = X(p) dp dy = p dx = p X(p) dp y=

p X(p) dp + C

En resumen
x = X(p) y= p X(p) dp + C

2.2.1.3.- CASO 3 I.-Def: y = v(y)

II.- Test de reconocimiento: Teorema de existencia de solucin de las funciones implcitas (Dini) 1 dy + C III.-Solucin General x = v( y ) IV.-Soluciones Singulares v(y) = 0

2.2.1.4.- CASO 4 I.- Def: y = Y(y)

II.- Test de reconocimiento: Teorema de existencia de solucin de las funciones implcitas (Dini) III.- Solucin General: Con p := y podemos encontrar una solucin en coordenadas paramtricas y = Y(p) dx = Y(p) dp 1 1 dy = Y(p) dp dx = p p x=

1 X(p) dp + C p En resumen

y = Y(p) 1 X(p) dp + C x= p

2.2.2.- VARIABLES SEPARABLES 2.2.2.1.- VARIABLES SEPARABLES STANDARD I.- Def: y = X(x) Y(y)

II.- Test de reconocimiento T1.y = f(x y) f(x y) = X(x) Y(y) fx / f = F(x) fy / f = G(y) Condicin necesaria

D:

fx / f

= = =

X(x) Y(y) / X(x) Y(y) X(x) / X(x) F(x)

Anlogamente : fy / f = G(y)

Condicin suficiente

fx / f

F(x)

Integrando con respecto a x L f (x y) + (y) =

F(x) =: (x)

L f (x y) = (x) (y) f (x y) = e (x) (y) = e (x) e (y) = X(x) Y(y) Un segundo Test es:
T2.y = f(x y) f(x y) = X(x) Y(y) L f = F(x) + G(y) Condicin necesaria

D:

Lf

= =

LX(x) + LY(y) F(x) + G(y)

Condicin suficiente
L f (x y) = F(x) + G(y) f (x y) = e [ F (x) + G(y) ] = eF (x) eG(y) = X(x) Y(y)
III.- Solucin General IV.- Solucin Singular

1/Y(y) dy =

X(x) dx + C

Y(y) = 0

Obs.: Las ED ya analizadas del tipo f(x y) = 0 f(y y) = 0 son de variables separables.

2.2.2.2.- REDUCIBLES A VARIABLES SEPARABLES y = f(ax+by) I.- Def: y = f(ax+by)

II.- Solucin General: Con la sustitucin z = ax + by z = a + by Reemplazando en la EDDT z = a + b f(z)

EDDT de variables separables cuya integracin es: 1 dx + C dz = a + bf ( z )

III.- Solucin Singulares: a + b f(z) = 0

En el caso particular de

z = x+ y

resulta

1 dz = dx + C 1+ f ( z ) 2.2.2.3.- HOMOGENEAS y = f(y/x)

I.- Def:

II.- Test de reconocimiento T1.y = f(x y) y=mx f(x y) = f(y/x) D: f(y/x) Condicin suficiente = f(m) Condicin necesaria: f (m) = f(y/x)

f(x y) = f(m)

T2.-

y = f(x y) y=tY x=tX f(x y) = f(y/x) f(y/x) = f(Y/X) Condicin suficiente

D:

f(y/x)

= f( tY/ tX) = f(Y/X)

Condicin necesaria es la misma definicin:

f(y/x) = f(x y)
III.- Solucin General: Con la sustitucin u = y/x y =u.x y = u x + u

Reemplazando en la EDDT u x + u = f(u) u x = f(u) u EDDT de variables separables cuya integracin es:

1 du = f (u ) u

1 dx + C x

IV.- Soluciones singulares:

f(u) u = 0 x=0

2.2.2.4.- REDUCIBLES A HOMOGNEAS 2.2.2.4.1.- Tipo I ax + by ) I.- Tipo I y = f ( mx + ny II.- Solucin general: Es un caso particular de la EDDT homognea . Con la sustitucin u = y/x y =u.x y = u x + u a + bu u x + u = f ( ) m + nu EDDT de variables separables

2.2.2.4.2.- TipoII ax + by + c III.-Tipo II y = f ( ) mx + ny + p IV.- Solucin general: Se reduce al caso anterior con la translacin

X = x x0 Y = y y 0
Reemplazando en la EDDT
Y = f ( aX + bY + ax 0 + by 0 + c ) mX + nY + mx 0 + ny 0 + p

Planteando el Sistema de ecuaciones lineales algebraicas ax 0 + by 0 + c = 0 mx 0 + ny 0 + p = 0 Se tienen los casos segn el determinante a b = det m n = a n b m
Caso II.1 Y = f (

Queda una ecuacin del Tipo I.

aX + bY ) mX + nY

Caso II.2

=0

se cumple a x + b y = K (m x + n y)

Volviendo a ax + by + c y = f ( ) mx + ny + p Haciendo Y = m x + n y Y = m + n y

Y = m + n f (

KY + c ) Y+p Que es de Variables Separables. 2.2.3.- ECUACIONES LINEALES DE PRIMER ORDEN

2.2.3.1.- ECUACIONES LINEALES I .- Def : y + p(x) y = q(x)

II.- Solucin general

En primer lugar se resuelve la homognea

u + p(x) u = 0 que es de variables separables u/u = p(x) L(u) =

p(x) + Lk

p( x ) u = k e

Para resolver la EDDT lineal no homognea se introduce la sustitucin y = u v que agrega un grado de libertad adicional quedando u v + v [ u + p(x) u ] = q(x) en esta ecuacin se puede elegir arbitrariamente v = q(x) / u + p( x ) 1 q(x) e + C v= k u + p(x) u = 0 con lo cual:

p( x ) y =e

+ p( x ) p( x ) q(x) e + C e

III.- Construccin de una EDL de Primer Orden conocidas dos Soluciones

Dos funciones derivables y1 e y2 diferentes, en el caso de ser soluciones de la ED Lineal de Primer orden satisfacen el Sistema lineal algebraico: y1 + p(x) y1 = q(x) y2 + p(x) y2 = q(x) cuya solucin por Cramer es: 1 y = 1 = y2 y1 0 y1 y2 y2 1

p = q =

y 1' y 2'

1 = (y2 y1 ) 1

p(x) = q(x) =

y 2 ' y 1' y2 y1

y1 y2

y 1' = y1 y2 + y2 y1 y 2'

y 1' y 2 y 1 y 2 ' y2 y1

IV.- Solucin general de una EDL de Primer Orden conocida una Solucin particular

A partir del Sistema: y + p(x) y = q(x) y1 + p(x) y1 = q(x) Entonces: ( y y1 ) + p(x) ( y y1 ) = 0

p( x ) y y1 = C e

Por lo tanto la solucin general de una EDL de Primer Orden es:

y y1 = k = cte arbitraria y 2 y1

2.2.3.2.- ECUACIONES REDUCIBLES A LINEALES: BERNOUILLI I.- Def : y + p(x) y = q(x) yn

II.- Solucin general

Dividiendo por yn

y' y
n

+ p(x)

= q(x) y Se resuelve haciendo el cambio de variable

n1

z =

y'
n

y z + p(x) (1 n) z = q(x)
z =e
( 1 n ) p ( x )

z =

1 y1 n 1 n

q(x) e

+ ( 1 n ) p( x )

+ C e

( 1 n ) p ( x )

y de aqu se obtiene y(x)

2.2.3.3.- ECUACIONES REDUCIBLES A LINEALES: RICATTI I.- Def : y + A(x) y2 +B(x) y + C(x) = 0

II.- Solucin por reduccin a la Ecuacin de Bernoulli en el caso de conocerse una solucin particular. y1 : y1 + A(x) y12 + B(x) y1 + C(x) = 0
Haciendo y = z + y1 z + y1 + A(x) (z + y1)2 + B(x) (z + y1) + C(x) = 0 z + y1 + A(x) (z2 + 2 z y1 + y12 ) + B(x) (z + y1) + C(x) = 0 Resulta z+ A(x) (z2 + 2 z y1 ) + B(x) z z + [ 2 A(x) y1 + B(x) ] z + A(x) z2 = 0 Que es una Ecuacin de Bernouilli con n = 2. Por lo tanto se reduce a ED lineal haciendo z = v [ 2 A y1 + B ] v A = 0 cuyo resultado es: 1 + y1 y= v Se enuncia entonces:

1 v

T.- Reduccin de Ricatti a Bernouilli H1 y+ A(x) y2 + B(x) y+ C(x) = 0 (Ricatti) H2 y1 : y1 + A(x) y12 + B(x) y1 +C(x) = 0

y= z+ y1 : z+ [ 2 A(x) y1 + B(x)] z + A(x) z2 = 0 (Bernouilli)

III.- Reduccin de Ricatti a una EDLH de Segundo Orden III.1.- Pasaje EDLH de Segundo Orden a Ricatti
Partiendo de
z( x ) y = e z( x ) z y = e

y + p(x) y + q(x) y = 0

se introduce el cambio de variable

y' =z y

y = e

z( x )

z2 + e

z( x )

Reemplazando en la EDLH

z( x )

[ z + z2 + p z + q ] = 0 z + z2 + p z + q = 0 (Ricatti)

III.2.- Reduccin de Ricatti a EDLH de Segundo Orden

Se pretende reducir a la ED de Ricatti w + A w2 + B w + C = 0 (Ricatti) a la forma z + z2 + p z + q = 0 Para ello ensayamos: w=uz u z + u z + A u2 z2 + B u z + C = 0 Eligiendo u =
A' A
2

1 A

z+

1 1 2 1 z + z +B z +C =0 A A A

Multiplicando por A(x) y ordenando A' z + z + z [ +B]+ AC =0 A Llamando A' +B p(x) = A q(x) = A C
2

queda como equivalente la EDLH de Segundo Orden y+ [

A' + B ] y + A C y = 0 A

El Teorema queda enunciado T.- Reduccin de Ricatti a EDLH de Segundo Orden H1 H2 y = e

z( x )

y' =z y

p(x) =

A' +B A q(x) = A C w= 1 z A z+ z2 + p(x) y + q(x) = 0 (Ricatti)

H3 T.-

y + p(x) y + q(x) y = 0 (EDLH 2Orden)

w+ A(x) w2 + B(x) y + C(x) = 0 (Ricatti)

IV.- Solucin general a partir de 3 soluciones particulares Se ha visto que la solucin general de la EDL de primer orden y + p(x) y + q(x) = 0 est dada por y y1 = k = cte arbitraria y 2 y1 Aplicando este resultado a la Ecuacin de primer orden que resuelve a la ED de Ricatti: v [ 2 A y1 + B ] v A = 0 v v1 = k = cte arbitraria v2 v1 Este resultado se relaciona con las soluciones de Ricatti: v1 = 1 y 2 y1 v2 = 1 y 3 y1

Reemplazando estas expresiones

1 1 y y1 y 2 y1 = k = cte arbitraria 1 1 y3 y1 y 2 y1
y y2 y y1 = k = cte arbitraria y3 y2 y 3 y1

Se puede enunciar entonces que conocidas 3 soluciones particulares de la ED de Ricatti se tiene la solucin general por la relacin anarmnica:
T.- {y1 y2 y3} S := { y: D1 C x y(x) : y + A(x) y2 + B(x) y + C(x) = 0 (Ricatti) } y y2 y y1 y: = k = cte arbitraria y3 y2 y3 y1 V.- Solucin general como funcin homogrfica de la constante k

Despejando y de la expresin anterior

y y2 y y2 = k 3 = k (x) y y1 y 3 y1 y y2 = k (x) ( y y1) y = k y 2 k ( x ) y 1 1 k ( x )

La solucin de la ED de Ricatti est dada por la funcin homogrfica de la constante k.

T.- {y1 y2 y3} S := { y: D1 C x y(x) : y + A(x) y2 + B(x) y + C(x) = 0 (Ricatti) } y k ( x ) y 1 y = k 2 : 1 k ( x )

(x ) :=

y3 y2 y 3 y1

VI.- Construccin de una ED de Ricatti conocidas 3 soluciones

Tres funciones derivables y1 y2 e y3 para que sean soluciones de la ED de Ricatti deben satisfacer el sistema lineal algebraico y1 + A(x) y12 + B(x) y1 + C(x) = 0 y2 + A(x) y22 + B(x) y2 + C(x) = 0 y3 + A(x) y32 + B(x) y3 + C(x) = 0 cuya solucin depende del determinante de Vandermonde
y1 2 = y2 2 y3
y 1'
2

y1 y2 y3
y1 y2 y3

1 1 = ( y2 y1) ( y3 y1) ( y3 y2) 0 1

1 1 1
1

( y2 y1) ( y3 y1) ( y3 y2)

A = y 2 ' y 3'
y1
2 2

A(x) =

A B C

y 1'

B = y 2 2 y3

y 2' 1 y 3' 1

B(x) =

y1 2 C = y 2 2 y3

y1 y2 y3

y 1' y 2' y 3'

C(x) =

Teorema: La ecuacin de Ricatti existe si y slo si se dan 3 funciones derivables distintas entre si. H1.- {y1 y2 y3} C (1) H2.- ij yi yj

y + A(x) y2 + B(x) y + C(x) = 0 (Ricatti)

: A(x) =

B(x) =

C(x) =

VII.- Solucin general de la ED de Ricatti a partir de una EDLH de segundo orden.

Sea una EDLH de segundo orden con su solucin general y la de Ricatti equivalente : y + p(x) y + q(x) y = 0 y = k1 y1 + k2 y2 y + p(x) y + q(x) y = 0 z + z2 + p z + q = 0 w + A(x) w2 + B(x) w + C(x) = 0 ligadas por los cambios de variable w=
1 1 y' z = A A y

queda en general w=
1 k 1 y 1' + k 2 y 2 ' A k1 y1 + k 2 y 2

w=

1 A

y 1' +

k2 y 2' k1 k y1 + 2 y 2 k1

w=

1 y 1' + ky 2 ' A y 1 + ky 2

que es la homogrfica solucin general de Ricatti

2.2.4.- ECUACIONES RESUELTAS EN y 2.2.4.1.- CASO GENERAL I.- Def: y = f(x y)

II.- Solucin general

y = p p = fx + fp p
p = g(x p)

que si puede resolverse en p queda p = G(x C)

2.2.4.2.- LAGRANGE I.- Def.: y = x a(y) + b(y)

II.- Solucin general p = a(y) + [ x a(y) + b(y) ] p p a(p) = [ x a(y) + b(y) ] p b' ( p ) a' ( p ) dx x = dp p a( p ) p a( p ) II.- Soluciones singulares p a(p) = 0 p = cte , p = 0

2.2.4.3.- CLAIRAUT I.- Def.: y = x y + b(y)

II.- Solucin general p = p + [ x + b(y) ] p 0 = [ x + b(y) ] p p = 0

y = k y = k x + B
y = k x + B = x k + b(k)

y = k x + b(k) III.- Solucin Singular ( envolvente)

[ x + b(y) ] = 0

2.2.5.- DIFERENCIALES EXACTAS Y CONEXAS 2.2.5.1.- DIFERENCIALES EXACTAS I.- Def: fx dx + fy dy = 0

II.- Solucin general

df = fx dx + fy dy = 0
f(x y) = C

III.- Test de reconocimiento T.U Entorno de (a b) Py = Qx C P(x y) dx + Q(x y) dy = 0 df = P(x y) dx + Q(x y) dy Py = Qx

D:

Condicin suficiente

P = f x Q = f y

Py = fxy Qx = fyx
Py = Qx

Por Schwarz sobre U

Condicin necesaria
P = f x Q = f y

Py = fxy Qx = fyx

P dx + Q dy = f x dx + f y dy = df

2.2.5.2.- ECUACIONES REDUCIBLES A DIFERENCIALES EXACTAS: FACTOR INTEGRANTE I.- Def:

(x y) :

P dx + Q dy = 0 P dx + Q dy = df

II.- Solucin general

(P ) y
=

Por el teorema de diferenciales exactas

(Q ) x

Se obtiene una ecuacin EDDP que permite encontrar el factor integrante

y P + Py

x Q + Qx

Sin embargo si depende de una sla variable se puede calcular con una EDDT Suponiendo el caso de que =(x) dependa solo de x y = 0 la ecuacin anterior queda
Py
' x

= =

x Q + Qx
P' y Q' x Q

debiendo ser el segundo miembro solo funcin de x. Anlogamente si

=(y)

' y

P debiendo ser el segundo miembro solo funcin de y.

P' y Q' x

Sac Edt

29

2.2.6.- TABLA DE ECUACIONES DIFERENCIALES DE PRIMER ORDEN Nombre 1 1.1 1.2 1.3 1.4 2 2.1 2.2 2.3 2.4 2.5 Tipo f(x y)=0 f(y y)=0 f(x y)=0 f(x y)=0 f(y y)=0 f(y y)=0 Variables Separables Standard Reducibles a Var. Separables tipo y = f(ax+by) Homogneas Reducibles a Homogneas Tipo I Reducibles a Homogneas Tipo II Tipo II.1 Tipo II.2 y = X(x)Y(y) y = f(ax+by) y = f(y/x) y = f ( y = f ( ax + by ) mx + ny ax + by + c ) mx + ny + p
X = x x0 aX + bY Y= f ( ) mX + nY Y = y y 0 KY + c Y = m x + n y Y= m + n f ( ) Y+p

Definicin

Test Cambio de variables

Solucin General

Soluciones Singulares

f(x y) = 0 y = u(x) f(x y) = 0 x = X(y) f(y y) = 0 y = v(y) f(y y) = 0 y = Y(y)

Dini Dini p= y Dini Dini p= y

y=

u(x) dx + C

x = X(p) y=

x=

p X(p) dp + C 1 dy + C v( y ) v(y) = 0

fx / f = F(x) fy / f = G(y) z = a x+ b y f(a x+ b y) = f(z) y = u x f(y/x) = f(u)

1/Y(y) dy =

X(x) dx + C

Y(y) = 0 a + b f(z) = 0 f(u) u = 0 x=0

1 dz = a + bf ( z ) 1 du = f (u ) u

dx + C 1 dx + C x

Homognea

=anbm0 =anbm=0

Homognea Variables separables

Sac Edt

30

Nombre 3 3.1 3.2 3.3 4 4.1 4.2 4.3 5 5.1 Ecuaciones Lineales de Primer Orden Standard Bernouilli Ricatti Ecuaciones resueltas en y Standard Lagrange Clairaut Ec.Diferenciales Exactas Standard y = f(x y)

Definicin

Test Cambio de variables

p( x ) y= e

Solucin General

Soluciones Singulares

y + p(x) y = q(x) y + p(x) y = q(x) yn y = A(x) y2+B(x) y+C(x) :y1=A(x)y12+B(x)y1+C(x) 1 y1-n z+(1-n)p(x)z=q(x) 1 n

+ p( x ) p( x ) q(x) e +C e

z=

Lineal Standard Bernouilli

y= z+ y1 z+[2A y1+B] z+A z2=0

y = x a(y) + b(y) y = x y + b(y)

y = p p = g(x p) b' ( p ) a' ( p ) dx x= dp p a ( p ) p a( p )

Tipo general y = g(x y) Lineal Standard y = k x + b(k) p a(p)=0 x+ b(y) = 0

df = P(xy) dx + Q(xy) dy = 0

5.2

Factor Integrante

P(xy) dx + Q(xy) dy = 0

Py = Qx fx = P fy = Q (x y) : P dx + Q dy = df P' y Q' x ' x = + = F(x) Q

f(x y) = k

' y

P' y Q' x P

Exacta f(x y) = k

= G(y)

Sac Edt

31

2.3.- RESOLUCIN APROXIMADA

No existe un mtodo general para resolver ED y = f(x y) por integracin que de la solucin exacta. En ese caso existen mtodos de resolucin aproximada.

2.3.1.- MTODO DE DESARROLLO EN SERIE 2.3.1.1.- COEFICIENTES INDETERMINADOS

La ED y = f(x y) se puede resolver en algunos casos por Serie de Laurent . Se trabajar en el V(0) para simplificar la notacin y la solucin es del tipo y=

Cn xn

se reemplaza en la ED y all se forman sistemas de ecuaciones donde de poder extraerse los Coeficientes Cn se tiene la solucin por serie
Ejemplo Resolucin de

y =

y 1+ x

y=

Cn xn Cn n xn1
+ 0 + 0

y =

(1+x) y y = 0=

0 +

Cn n xn1 (1+ x) Cn n xn1 +

Cn xn = 0

Cn (n 1) xn

0= E0 = 0 E1 = 0 E2 = 0 ... En = 0

En xn

C1 1 + C0 (1 ) = 0 C2 2 + C1 (11 ) = 0 C3 3 + C2 (21 ) = 0 Cn+1 (n+1) + Cn (n1 ) = 0

Obs.: Para las EDLH existe un teorema de Fuchs que se enuncia: 2.3.2.- MTODO DE ADAMS 2.3.3.- MTODO DE RUNGE

Sac Edt

32

2.3.4.- MTODO DE RUNGE-KUTTA 2.4.- EXISTENCIA DE LAS SOLUCIONES DE ECUACIONES DIFERENCIALES DE PRIMER ORDEN 3.- ANLISIS DE LAS ECUACIONES DIFERENCIALES LINEALES Y HOMOGENEAS (EDLH)

En adelante por simplicidad, se llamar EDLH a las Ecuaciones diferenciales lineales y homogneas.

3.1.- SOLUCIONES SINGULARES GENERALES Y PARTICULARES

La EDLH tiene un Conjunto de Soluciones S que esta compuesto por 2 tipos de soluciones, a saber: 1.- Soluciones Singulares 2.- Soluciones Generales. A su vez a cada elemento de este conjunto se lo llama Solucin Particular. Estos tipos de soluciones son de caractersticas diferentes, y su gnesis es la siguiente: Se llama EDLH a:
EDLH : L(y) := qn(x) y(n) + qn1(x) y(n1) + ... + q1(x) y' + q0(x) y = 0 x : qn(x) 0

donde el coeficiente qn(x) no es idnticamente nulo, pues, en caso contrario la EDLH sera de grado inferior (n 1 o menor).
Obs: Se recuerda que una funcin es idnticamente nula sobre un dominio D1 cuando: Def: f : D1 C x f(x) f(x) 0 := xD1 f(x) = 0 / x D1 qn(x) 0

En nuestro caso son equivalentes

x : qn(x) 0 /x qn(x) = 0 =: qn(x) / 0

La ecuacin diferencial se puede llevar entonces a la forma: qn(x) 0 qn(x) { y(n) + [qn1(x)/ qn(x)] y(n1) + ... + [q1(x)/ qn(x)] y' + [q0(x)/ qn(x)] y } = 0 donde las races de la EDLH no han cambiado y se obtienen de 2 ecuaciones:
1.- qn(x) = 0 2.- y(n) + [qn1(x)/ qn(x)] y(n1) + ... + [q1(x)/ qn(x)] y' + [q0(x)/ qn(x)] y = 0

Soluciones Singulares Solucin General

La primera de las cuales genera las Soluciones Singulares y la segunda a la Solucin General. Hallar las Soluciones Singulares de la EDLH, consiste entonces en resolver una ecuacin algebraica o trascendente (no diferencial) tema que se supone tratado por mtodos previamente conocidos. Entonces, el objetivo se centra en estudiar las propiedades de la Solucin General de la EDLH y para ello puede tomarse sin perder generalidad a la EDLH:
L(y):= y(n) + pn1(x) y(n1) + ... + p1(x) y' + p0(x) y = 0

donde

Sac Edt

33

k <0 .. n> Ntese que: pn(x) = 1 pk(x) = qk(x)/ qn(x) La Solucin General esta compuesta por un conjunto de funciones, que como se ver mas adelante conforman un Subespacio Vectorial. La Solucin General se generar entonces como combinacin lineal de los elementos de una base de este Subespacio.

A cada elemento de dicho Subespacio (vector) se lo denomina Solucin Particular, y se obtiene determinando las constantes de la combinacin lineal que lo generan a partir de la base.

3.2.-

S COMO ESTRUCTURA DE ESPACIO LINEAL (VECTORIAL)

Para estructurar a S como Espacio Lineal (o Vectorial) deben definirse: 1.-Un cuerpo de apoyo K 2.-Una ley de composicin interna T : Suma 3.-Una ley de composicin externa P : Producto

3.2.1.- DEFINICIN DEL CUERPO DE APOYO EN S

Para EDLH en C se elige como Cuerpo de Apoyo a:

Def: (C , +C , . C ) EC

en el caso de trabajarse con EDLH en R se elige como cuerpo de apoyo a:

(R , +R , . R ) EC

3.2.2.- DEFINICIN DE LA SUMA EN S

La ley suma se define de la siguiente manera:

Def: T:SxS S (y1 , y2) y1 T y2 : D1 C x y1(x) +C y2(x)

Debe verificarse que la ley T suma as definida, sea de composicin interna (LCI). y1 S y2 S

pk y1(k) = 0 pk y2 (k) = 0 pk ( y1(k) + y2(k) ) = 0

y1 T y2 S

3.2.3.- DEFINICIN DEL PRODUCTO EXTERNO EN S

La ley producto externo se define:

Def: P:CxS S ( k, y ) k P y : D1 C x k .C y(x)

Debe verificarse que la ley P producto externo as definida, sea de composicin externa (LCE). yS

pk y(k) = 0 k . pk y(k) = 0

Sac Edt

34

pk ( k . y )(k) = 0

kPyS

3.2.4.- ESTRUCTURACIN DE S COMO ESPACIO LINEAL (VECTORIAL) Teorema 1 L(x) = 0 S := { y | D1 = Sub(C) C x y(x) : f = 0 } T:SxS S (y1 , y2) y1 T y2 : D1 x P:CxS S ( k, y ) k P y : D1 x

C y1(x) +C y2(x) C k .C y(x)

(S C +C .C T P ) EEL

Este teorema se prueba directamente verificando los 8 axiomas que definen la Estructura de Espacio Lineal (Vectorial).
Obs.: La funcin que es el neutro de la suma es:

: D1 C x y(x) = 0

3.3.- DEPENDENCIA E INDEPENDENCIA LINEAL DE FUNCIONES 3.3.1.- DEFINICIN DE WRONSKIANO

El anlisis de la dependencia lineal [dl] e independencia lineal [il] de funciones cualesquiera ( derivables hasta orden n1 ) lleva a la definicin de un determinante llamado Wronskiano en honor del matemtico Wronski. Dado un conjunto de n funciones
{ yi } := { y1 , y2 , ... , yn } W(x0) Def : Sea { yi } := { y1 , y2 , ... , yn } x0 D1 y1 y 1' W({ y1 , y2 , ... , yn } / x0) := y 1' ' ... y1
( n1 )

i <1 .. n>

Se define Wronskiano de las funciones { y1 , y2 , ... , yn } en un punto x0 del dominio D1 al determinante

y2 y 2' y 2' ' ... y2

( n1 )

... ... ... ...

yn y n'

... ... y n' ' ... ... ... ( n1 ) ... ... y n

W({ yi }/x0) : Wronskiano de la funciones { yi } en el punto x0

Eventualmente tambin se puede definir el Wronskiano sobre un conjunto de puntos I.

Sac Edt

35

W({ yi }/xI) : Wronskiano de la funciones { yi } sobre el conjunto I 3.3.2.- TEOREMA DE IL DE FUNCIONES ( NO NECESARIAMENTE SOLUCIONES DE LA EDLH )

Un teorema general sobre la il de funciones que no necesariamente son soluciones de una misma ED o en particular EDHL es el que se desarrolla a continuacin: Dado un Anillo I en el conjunto de los complejos C y un conjunto de n funciones cualesquiera { yi } continuas y derivables hasta el orden n1 y adems existe un punto x0 de I donde el Wronskiano W(x0) no se anule, entonces el conjunto de funciones { yi } es linealmente independiente.

Teorema 1 H1 H2 H3 I Anillo en C { yi } Cn1 /I x0 I : W(x0) 0 i <1 .. n>

T.-

{ yi } li

I : Anillo en el campo complejo C Cn1 /I : Funciones continuas hasta la derivada de orden n1 D:

Para la demostracin del teorema se toma la combinacin lineal: y se deriva n1 veces. Queda xI el sistema

k1 y1 + k2 y2 + ... + kn yn = 0

k 1 y 1 (x) k 1 y 1' (x) ... k y (n - 1) (x) 1 1

+ k 2 y 2 (x) + k 2 y 2 ' (x) + k2 y2

(n - 1)

+ ... + k n y n (x) + ... + k n y n ' (x) (x) + ... + k n y n

(n - 1)

= 0 = 0 = 0

(x)

y en particular, para x0 :

k 1 y 1 (x 0 ) k 1 y 1' (x 0 ) ... k y (n - 1) (x ) 0 1 1

+ k 2 y 2 (x 0 ) + k 2 y 2 ' (x 0 ) + k2 y2
(n - 1)

+ ... + k n y n (x 0 ) + ... + k n y n ' (x 0 )

(n - 1)

= 0 = 0 = 0

(x 0 ) + ... + k n y n

(x 0 )

Resulta un sistema homogneo donde el determinante Wronskiano W(x0) por hiptesis no es nulo, y por lo tanto por Cramer resulta: k1 = k2 = ... = kn = 0 es decir:

Sac Edt
k1 k2 ... = = k n
0 0 ... 0

36

W(x0) 0

{ yi } li

Es importante tambin tener presente el teorema contrarrecproco (TCR) del Teorema 1. Con las mismas Hiptesis H1 y H2 del Teorema 2, si un conjunto de n funciones { yi } es linealmente dependiente (ld) , entonces para todo punto x0 de I se anula el Wronskiano W(x0) .
TCR Teorema 1 H1 H2 /T I Anillo en C { yi } Cn1 /I { yi } ld

/H3

[ /x0 I : W(x0) 0 ] [ x0I W(x0) = 0 ] [ xI W(x) = 0 ] =: W(x) 0

Obs 1: No es vlida la proposicin: Con las Hiptesis H1 y H2 del Teorema 1, si existe un punto x0 de I donde el Wronskiano W(x0) se anula, entonces el conjunto de funciones { yi } es linealmente dependiente. (No vlido). H1 H2 H3 I Anillo en C { yi } Cn1 /I x0 I : W(x0) = 0

/T

{ yi } ld

Como tampoco son vlidas las proposiciones recproca y contradirecta del Teorema 2: Con las Hiptesis H1 y H2 del Teorema 2, si para todo punto x de I se anula el Wronskiano W(x), (es decir es idnticamente nulo: W(x) 0 ), entonces el conjunto de funciones { yi } es linealmente dependiente. (No vlido).
Proposicin recproca del Teorema 1 H1 H2 /H3 I Anillo en C { yi } Cn1 /I W(x) 0 := [ x I

W(x) = 0]

/T

{ yi } ld

como lo demuestran los siguientes contraejemplos:

Contraejemplo 1:

y 1 : I = [ - 1 1] R x x3 y 2 : I = [ - 1 1] R x | x | 3 = x 3 sg ( x ) de donde y 1' = 3 x 2 y 2 ' = 3 x 2 sg ( x )

resultando el Wronskiano

Sac Edt

37

W(x) =

x3 3x 2

x 3 sg ( x ) 3 x 2 sg ( x )

x I

W(x) = 0 : =

W(x) 0

Sin embargo si se analiza directamente la combinacin lineal k1 x3+ k2 |x|3 = 0

x=1 x = 1

para x=1 y para x= 1

k1 + k2 = 0

se tiene

- k1 + k2 = 0

que es un sistema homogneo que tiene por nica solucin, a la trivial: las funciones son li. k1= k2 = 0

k1 = k2 = 0

hecho, que implica que

{x3 , |x|3} li

entonces
x [1 1 ]

W(x) = 0

{x3 , |x|3} ld

Otro contraejemplo que verifica que la proposicin reciproca no es vlida es:

Contraejemplo 2:
y1 : I = [ - 1 y2 : I = [ - 1 1] R x x2 x 0 1] R x 0 x x2 x0 x<0 x0 x<0

donde el Wronskiano es: x0 W(x) =

x2 2x 0 0

= 0
x I

W(x) = 0

x<0

W(x) =

0 0

x 2x

= 0

resultando el W(x) idnticamente nulo aunque las dos funciones son li cmo se prueba haciendo la combinacin lineal en x = 1 y x = 1 como en el Ejemplo 1.

Sac Edt

38

Teorema 2.- Este teorema relaciona la il de un conjunto de funciones con el Wronskiano de las derivadas.

Si { yi } son funciones continuas hasta la derivada de orden n y el Wronskiano de las derivadas W{ yi }/x0 no es nulo entonces tampoco lo es el Wronskiano de las funciones W{ yi }/x0
H1 H2 H3 I Anillo en C { yi } Cn1 /I x0 I : W{ yi }/x0 0

T.-

{ yi } li

T.-

{ yi } li

I : Anillo en campo complejo C Cn1 /I : Funciones continuas hasta la derivada de orden n D:

Para la demostracin del teorema se parte de la combinacin lineal:

k1 y1 + k2 y2 + ... + kn yn = 0 y se deriva n veces. Queda x I queda el sistema homogneo de n+1 ecuaciones con n incgnitas .
k 1 k 1 ... k 1 k 1 y 1 (x) y 1' (x) y1 y1
(n - 1) (n)

+ k 2 y 2 (x) + k 2 y 2 ' (x) (x) + k2 y2 + k2 y2

(n - 1) (n)

+ ... + k n y n (x) + ... + k n y n ' (x) (x) + ... + k n y n + ... + k n y n

(n - 1) (n)

= 0 = 0 = 0 = 0

(x)

(x)

(x)

(x)

y en particular, para x0 , tomando las ltimas n ecuaciones

k 1 y 1' (x 0 ) .. (n - 1) (x 0 ) k 1 y 1 (n) k 1 y 1 (x 0 )

+ k 2 y 2 ' (x 0 ) + k2 y2 + k2 y2
(n - 1)

+ ... + k n y n ' (x 0 )
(n - 1) (n)

= 0 = 0 = 0

(x 0 ) + ... + k n y n + ... + k n y n

(x 0 )

(n)

(x 0 )

(x 0 )

Resulta un sistema homogneo donde el determinante Wronskiano W{ yi }/x0 0 por hiptesis no es nulo, y por lo tanto por Cramer resulta: k1 = k2 = ... = kn = 0 es decir:

0 0 W{ yi }/x0 0 { yi } li T.- { yi } li ... 0 Obs: no es vlida la proposicin: Con las Hiptesis H1 y H2 del Teorema 2 , si existe un punto x0 I donde el Wronskiano W{ yi }/x0 0 entonces el Wronskiano W{ yi }/x0 0 (Teorema no vlido)

k1 k2 ... = = k n

Proposicin no vlida (no es exactamente el recproco del Teorema 2)

Sac Edt

39

H1 H2 H4

I Anillo en C { yi } Cn /I x0 I : W{ yi }/x0 0

T.-

x0 I : W{ yi}/x0 0

Como lo demuestra el siguiente contraejemplo

Contraejemplo 1: y1 : I = [ - 1 y2 : I = [ - 1 1] R x 1 1] R x x

donde el Wronskiano es: W{ yi}/x = W{ yi}/x =

1 0

x 1

= 1 = 0

x I x I

W{yi}/x = 1 := W{yi}/x 1 W{yi}/x = 0 := W{yi}/x 0

0 1 0 0

3.3.3. TEOREMA DE IL y DL PARA LAS SOLUCIONES DE EDLH

El Teorema 1 del prrafo anterior trata de la independencia lineal (il ) de funciones cualesquiera que no necesariamente son soluciones de una misma ED (o en particular EDHL)

Teorema 1 H1 H2 H3 I Anillo en C { yi } Cn1 /I x0 I : W(x0) 0

{ yi } li

I : Anillo en el campo complejo C Cn1 /I : Funciones derivables hasta orden n 1

Esto es, dado las hiptesis generales, H1 [ I Anillo en C ] y H2 [ { yi } Cn1 /I ] la hiptesis H3 [ x0 I: W(x0) 0 ] es condicin suficiente, pero no necesaria para la tesis T { yi } li Es decir como se ha visto no es vlido el teorema recproco. Sin embargo, si se toma H2 [ { yi } S ] , caso particular de H2 del Teorema 2 , o sea las funciones { yi } son soluciones de una EDLH, entonces si es vlido el teorema recproco. Es decir: Si existe un punto x0 de I donde el Wronskiano W(x0) no se anula, entonces esto es condicin necesaria y suficiente para que el conjunto de funciones { yi } (soluciones de una EDLH) sea linealmente independiente. Puede presentarse entonces el siguiente enunciado de un teorema que se demostrar como Teorema 5 que tiene esta forma:

Sac Edt

40

Teorema 5 H1 H2 I Anillo en C { yi } S S := { y : I C x y(x) : L(y) := H3 H4 pn1 H/I x0 I : W(x0) 0

k =n

pk(x) y(k) = 0 } T.- { yi } li

[ x I W(x) 0 ] =: W(x) / 0

S : Conjunto de soluciones de la EDDT

Para la demostracin de este Teorema 5 se demostrar previamente los Teoremas 3 y 4.

Teorema 3 Teorema de Liouville

Dado un Anillo I en el conjunto de los complejos C y un conjunto de n funciones { yi } soluciones de una EDLH L(y)=0, cuyo coeficiente de la derivada y(n1) : pn1 es una funcin holomorfa sobre I, entonces se verifica la frmula de Liouville que relaciona W(x) con W(x0)

W(x) = W(x0) exp[

x0

pn1(x) dx ]

Teorema 3 H1 H2 H3 D: I Anillo en C { yi } S pn1 H/I

W(x) = W(x0) exp[

x0

pn1(x) dx ]

Las funciones { yi } S son entonces soluciones de la EDLH.

y(n) + pn1(x) y(n1) + ... + p1(x) y' + p0(x) y = 0 pn1(x) y(n1) + ... + p1(x) y' + p0(x) y = y(n) se plantea entonces el sistema de ecuaciones lineales algebraicas :
p n - 1 (x) y 1 (n - 1) + ... + p 1 (x) y 1 ' + p 0 (x) y 1 = - y 1 (n) p n - 1 (x) y 2 (n - 1) + ... + p 1 (x) y 2 ' + p 0 (x) y 2 = - y 2 (n) ... (n - 1) (n) + ... + p 1 (x) y n ' + p 0 (x) y n = - y n p n - 1 (x) y n

el determinante de los coeficientes es el Wronskiano W(x)

Sac Edt
( n1 ) ( n 2 )

41

y1 ( n1 ) y2 W(x) = ... ... ( n1 ) yn

y1 ( n 2 ) y2 ... ... ( n 2 ) yn

... y 1' ... y 2 ' ... ... ... ... ... y n '

y1 y2 ... ... yn

derivando este determinante por columnas se obtiene W(x)

y1 (n) y2 W(x) = ... ... (n) yn
(n)

y1 ( n 2 ) y2 ... ... ( n 2 ) yn

( n 2 )

... y 1' ... y 2 ' ... ... ... ... ... y n '

y1 y2 ... ... yn

y1 ( n 1 ) y2 + ... ... ( n 1 ) yn
( n1 )

( n1 )

y1 ( n1 ) y2 ... ... ( n1 ) yn y1 ( n 2 ) y2 ... ... ( n 2 ) yn

( n 2 )

( n 1 )

... y 1' ... y 2 ' ... ... ... ... ... y n ' ... y 1' ... y 2 ' ... ... ... ... ... y n '

y1 y2 ... + ... ... yn y 1' y 2' ... ... y n'

y1 ( n1 ) y2 ... + ... ... ( n1 ) yn

salvo el primer determinante todos los restantes son nulos por tener dos columnas iguales, por lo tanto queda:
(n) ( n 2 )

y1 (n) y2 W(x) = ... ... (n) yn

y1 ( n 2 ) y2 ... ... ( n 2 ) yn

... y 1' ... y 2 ' ... ... ... ... ... y n '

y1 y2 ... ... yn

Pero justamente en el sistema de ecuaciones lineales algebraico, arriba planteado la incgnita pn1(x) se calcula por Cramer cmo el cociente de los determinantes: pn1(x) = W(x) / W(x) Integrando esta expresin queda: W(x) = k exp[ Para x = x0 W(x0) = k exp[

pn1(x) dx ]

x0

pn1(x) dx ]

De modo que, reemplazando k queda: W(x) = W(x0) exp[

x0

pn1(x) dx ]

Que es la frmula de Liouville que relaciona W(x) con W(x0)

Sac Edt

42

Manteniendo las hiptesis H1 H2 H3 del Teorema de Liouville es fcil probar que si existe un punto x0 del Anillo I donde se cumple que W(x0) no se anula, entonces esta proposicin es condicin necesaria y suficiente, para que el Wronskiano W(x) no se anule en ningn punto de I.

Teorema 4 H1 H2 H3 H4 I Anillo en C { yi } S pn1 H/I x0 I : W(x0) 0

[ x I

W(x) 0 ]

=: W(x) / 0

D.- Como pn1 es holomorfa en el Anillo I resulta

pn1 H/I

exp[

x0

pn1(x) dx H/I

y adems como

x C

exp(x) 0

exp[

x0

pn1(x) dx 0 se obtiene la tesis

de la frmula de Liouville suponiendo [ x0 I : W(x0) 0] W(x) = W(x0) exp[

x0

pn1(x) dx ]

x0 I : W(x0) 0 [ x I W(x) 0] =: W(x) / 0

El TCR del Teorema 4 es entonces:

TCR Teorema 4 H1 H2 H3 H4 I Anillo en C { yi } S pn1 H/I W(x) 0 := [ x I

W(x) = 0 ]

x0 I : W(x0) = 0

Retornando al Teorema 5 su enunciado es: Dado las hiptesis generales, H1 [ I Anillo en C ] y H2 [ { yi } S ] es decir las funciones { yi } son soluciones de una EDLH con la restriccin expuesta en H3 [ pn1 H/I ] entonces la proposicin H4 [ x0 I: W(x0) 0 ] es condicin necesaria y suficiente de que el conjunto { yi } sea linealmente independiente.

Teorema 5 H1 H2 I Anillo en C { yi } S

Sac Edt
S := { y : I C x y(x) : L(y) := H3 H4 pn1 H/I x0 I : W(x0) 0

43

k =n

pk(x) y(k) = 0 }
{ yi } li

[ x I W(x) 0 ] =: W(x) / 0

T.-

S : Conjunto de soluciones de la EDLH D: La condicin suficiente es obvia porque es un caso particular del Teorema 2:

{ yi } S k<0..n> yi (k) y adems todas las soluciones yi y sus derivadas yi (k) es un caso particular de H2 : H2 H2 H1 H2 x0 I : W(x0) 0 T { yi } li H4 hasta el orden n1 son continuas: o sea que H2

Para la demostracin de la condicin necesaria se recordar el sistema de ecuaciones lineales algebraicas formado con el sistema { yi } li :
p n - 1 (x) y 1 (n - 1) + ... + p 1 (x) y 1 ' + p 0 (x) y 1 = - y 1 (n) p n - 1 (x) y 2 (n - 1) + ... + p 1 (x) y 2 ' + p 0 (x) y 2 = - y 2 (n) ... (n - 1) (n) + ... + p 1 (x) y n ' + p 0 (x) y n = - y n p n - 1 (x) y n

de aqu pueden despejarse de los

pk(x)

para formar la EDLH

k <0.. n1>

pk(x) = k / W(x)

donde W(x) es el Wronskiano y

y1
( n1 ) ( n1 )

y1 y2

( n 2 ) ( n 2 )

... ... ...

y1

( k +1 ) ( k +1 )

y1 y2

(n) (n)

... ... ...

y 1' ... ...

y1 y2 ... ... yn

k =

y2

... y 2

... y 2 '

... ... yn
( n1 )

... ... yn
( n 2 )

... ...
( k +1 )

... ... yn
(n)

... y n

... y n '

Si k 0 y

W(x) 0

/ pk(x) = k / W(x)

/ L(y)

Entonces se enuncia H1 H3 /H4 T

W(x) 0 { yi } li

/ pk(x) = k / W(x)

/ L(y)

/H2 { yi } S

Si por otro lado k k = 0 entonces todos los pk(x) absurdo que los { yi } li seran solucin de cualquier EDLH.

son indeterminados y por lo tanto se llega al

Sac Edt

44

Recordando

H1 H3 /H4 T H2 =

H1 H3 H2 T /H4 =

Una proposicin contrarrecproca de la anterior da la condicin necesaria: H1 H3 H2 { yi } S T { yi } li H4 W(x) 0 Obs 1: Otra forma de demostrar la condicin necesaria es observando que : pn1(x) = W(x) / W(x) y por ende si W(x) 0 W(x) = 0

siendo entonces pn1(x) arbitrario y por lo tanto tampoco la ecuacin diferencial que tenga por soluciones a las { yi } li es nica.
Obs 2:

Ntese que si :

yk(n) C

k C pk(x) C

El enunciado del TCR del Teorema 5 es entonces: Mantenindose las hiptesis generales, H1 [ I Anillo en C ], H2 [ { yi } S ] y H3 [ pn-1 H/I ] entonces si el conjunto { yi } es linealmente dependiente, esto es condicin necesaria y suficiente para que el Wronskiano W(x) sea idnticamente nulo.
TCR Teorema 5 H1 H2 I Anillo en C { yi } S S := { y : I C x y(x) : L(y) := H3 /H4 pn1 H/I x0 I : W(x0) = 0

pk(x) y(k) = 0 }
W(x) = 0 ] =: W(x) 0

k =n

[ x I

/T.-

{ yi } ld

En resumen se pueden reunir los resultados de los Teoremas 3, 4 y 5 englobados en el Teorema 6.

Teorema 6 H1 H' 2 I Anillo en C { yi } S S := { y : I C x y(x) : L(y) := H3 p n-1 H / I

pk ( x ) y ( k ) = 0 }

k =n

W(x) = W(x0) exp[

x0

pn1(x) dx ]

Sac Edt
H4

45

x0 I : W(x0) 0

[ x I W(x) 0 ]

=:

W(x) / 0

T.-

{ yi } li

S : Conjunto de soluciones de la EDDT

3.4.- DIMENSION DEL CONJUNTO S

La dimensin del conjunto S de soluciones generales de una EDLH es el orden n de la EDLH.

Teorema 7 H1 S := { y : I C x y(x) : L(y) :=

pk(x) y(k) = 0 }

k =n

H2 D: []

dim(S) = n

L(y) :=

pk(x) y(k) = 0

nica

k =n

Se comienza demostrando la condicin necesaria partiendo de llamar p el valor de la dim(S)

Se denomina p a la dimensin de S Dim(S) := p I.- Si se supone que p < n se llega a un absurdo: p<n

{y1 ... yp}li

{y1 ... yp ... yn}ld

Sac Edt Por el Teorema 5 W(x) = 0 / pk(x)

46

Al no existir los coeficientes no puede construirse la ecuacin diferencial L(y) = 0 lo cual es absurdo.

II.- Si se supone que p > n tambin se llega a un condicin imposible p > n {y1 ... yp}li

tomando el sistema de n+1 ecuaciones:

y 1 (n) + p n - 1 (x) y 2 (n) + p n - 1 (x) ... (n) + p n - 1 (x) yn (n) y n + 1 + p n - 1 (x)

y1 y2

(n - 1) (n - 1)

+ ... + p 1 (x) y 1'

+ p 0 (x) y 1

= 0 = 0 = 0

+ ... + p 1 (x) y 2 ' + p 0 (x) y 2 + ... + p 1 (x) y n ' + p 0 (x) y n

yn

(n - 1) (n - 1)

y n+ 1

+ ... + p 1 (x) y n + 1 ' + p 0 (x) y n + 1 = 0

el determinante de los coeficientes, es el Wronskiano W(x)

y1 y1 ( n1 ) (n) y2 y2 W(x) = ... ... ... ... ( n1 ) (n) y n+ 1 y n+ 1

(n)

( n1 )

y1 ( n 2 ) y2 ... ... ( n 2 ) y n+ 1

( n 2 )

... y 1 ' ... y 2 ' ... ... ... ... ... y n + 1'

y1 y2 ... ... y n+ 1

es no nulo porque {y1 ... yn+1}li solucin la trivial, es decir:

y por lo tanto el sistema anterior es homogneo tiene por nica

{ 1 , pn-1(x) , ... , p1(x) , p0(x) } = { 0 , 0 , ... , 0 , 0 } Lo cual es absurdo. En consecuencia, queda cmo nica posibilidad

p=n []
Una demostracin de la condicin suficiente es: yn}li W(x) 0

dim(S) = n {y1 ...

x I
entonces el sistema

Sac Edt
y1 y2 ... yn
(n) (n) (n)

47
+ p n - 1 (x) y 1 + p n - 1 (x) y 2 + p n - 1 (x) y n
(n - 1) (n - 1)

+ ... + p 1 (x) y 1 ' + p 0 (x) y 1 + ... + p 1 (x) y 2 ' + ... + p 1 (x) y n ' + p 0 (x) y 2

= 0 = 0

(n - 1)

+ p 0 (x) y n = 0

tiene solucin nica por Cramer pk(x) = k / W(x) por lo tanto existe L(y) = 0 y es nica.

Obs: La solucin general de L(y) = 0 es entonces una base de S con n constantes arbitrarias y = a1 y1 + a2 y2 +... + an-1 yn-1 + an yn

3.5.- EL PROBLEMA DE CAUCHY

El problema de Cauchy tiene por objetivo, asegurar la existencia y hallar una Solucin Particular de la Solucin General de la EDLH, que satisfaga para un determinado punto x0 dado, del dominio de la funcin L(y) , valores prefijados de y y y ... y(n) llamados condiciones de contorno: Es decir:
k < 0 .. n-1 >

y(k)(x0)

= bk

que estn especificadas en la Hiptesis 2 del enunciado.

Teorema 8 H1 S := { y : I C x y(x) : L(y) := H2 y(x0) y(x0) y(x0) ... y(k)(x0) ... y(n-1)(x0) = b0 = b1 = b2 = bk = bn-1

pk(x) y(k) = 0 } y S : y(k)(x0) = bk y nica

k =n

El problema de Cauchy est definido por las hiptesis de ste teorema. La solucin general de la EDLH est dada por la combinacin lineal:

Sac Edt

48

y(x)

= a1 y1(x)

+ a2 y2(x)

+ ... + an-1 yn-1(x)

+ an yn(x)

derivando n1 veces se completa el sistema

y(x) y' (x) ... y (n - 1) (x) = a 1 y 1
(n - 1)

= a 1 y 1 (x) = a 1 y 1' (x) (x)

+ a 2 y 2 (x) + a 2 y 2 ' (x) + a2 y2

(n - 1)

+ ... + a n - 1 y n - 1 (x) + ... + a n - 1 y n - 1' (x)

(n - 1)

+ a n y n (x) + a n y n ' (x)

(n - 1)

= 0 = 0

(x) + ... + a n - 1 y n - 1

(x) + a n y n

(x) = 0

Cuyo valor en x0 es
= a 1 y 1 (x 0 ) b0 = a 1 y 1' (x 0 ) b1 ... (n - 1) b (x 0 ) n-1 = a 1 y 1 + a 2 y 2 (x 0 ) + a 2 y 2 ' (x 0 ) + a2 y2
(n - 1)

+ ... + a n - 1 y n - 1 (x 0 ) + ... + a n - 1 y n - 1 ' (x 0 )

(n - 1)

+ a n y n (x 0 ) + a n y n ' (x 0 )
(n - 1)

= 0 = 0

(x 0 ) + ... + a n - 1 y n - 1

(x 0 ) + a n y n

(x 0 ) = 0

Por el Teorema 5 se tiene yk S {y1 ... yn}S

x I

W(x) 0

y por lo tanto ak(x) = Ak / W(x0) donde

y1 ( x0 ) y 1' ( x 0 )

W(x0) 0 lo que implica que el sistema tiene solucin nica.

y2 ( x0 ) y 2' ( x0 ) ... ...

... ... ... ...

y k 1 ( x 0 ) y k 1' ( x 0 ) ... ...

( n 1 )

b0 b1 ... ...

y k +1 ( x0 ) y k + 1' ( x 0 ) ... ... y k +1

( n1 )

... ... ... ...

yn ( x0 ) y n' ( x 0 ) ... ...

( n1 )

Ak =
y1

... ...
( n1 )

( x0 )

y2

( n1 )

( x 0 ) ... y k 1

( x 0 ) bn 1

( x 0 ) ... y n

( x0 )

y por lo tanto la solucin particular que satisface las condiciones del problema de Cauchy y(x) = [ A1 y1(x) + A2 y2(x) + ... + An-1 yn-1(x) + An yn(x) ] / W(x0) y(x) =

k =1

[ Ak/ W(x0) ] yk(x)

4.- ECUACIONES DIFERENCIALES EQUIVALENTES O MODIFICADAS 4.1.- DEFINICIN

Dos ecuaciones diferenciales son equivalentes si tienen el mismo conjunto de soluciones.

Sac Edt

49

Def:

[ f1 = 0 ] [ f2 = 0 ] [ f1 = 0 ] [ f 2 = 0 ]

:= [ S1/f1 = 0 ] = [ S2/f2 = 0 ] : Ecuaciones Diferenciales equivalentes o modificadas

Obs: La equivalencia de la ED es relativa con respecto a un determinado conjunto (o subconjunto) de soluciones. La equivalencia puede ser restringida por ejemplo a las soluciones generales, sin tomar en cuenta soluciones singulares. Por ejemplo las EDLH ya vistas

qn(x) y(n) +

qn-1(x)

y(n-1) + ... +

q1(x)

y' +

q0(x)

y = 0

y(n) + [qn-1(x)/ qn(x)] y(n-1) + ... + [q1(x)/ qn(x)] y' + [q0(x)/ qn(x)] y = 0 son equivalentes salvo las soluciones singulares de la primera correspondientes a qn(x) = 0 La aplicacin de los conceptos de equivalencia en ED permite simplificar el estudio de las mismas por reduccin a otras formas ya estudiadas o cannicas.

Son ejemplo de ello: 1.- La eliminacin de las soluciones singulares en las EDLH como se menciona en la observacin anterior. 2.- Los mtodos de reduccin del orden. 3.- Los cambios de variables en las ecuaciones de variables separables, como y = p 4.- El mtodo de solucin para las ecuaciones de Bernoulli y de Ricatti. 5.- Las ecuaciones autoadjuntas del Teorema de Sturm Liouville.

4.2.- ECUACIONES MODIFICADAS POR CAMBIO DE VARIABLE 4.2.1.- CAMBIO DE LA VARIABLE INDEPENDIENTE 4.2.1.1.- EXPRESIN GENERAL

Siempre con el fin de simplificar una Ecuacin Diferencial, o reducirla a formas ya conocidas, el planteo que se hace es cambiar la variable dependiente x por otra z ligadas por una biyeccin x z = f(x) que tiene que ser adems derivable 2 veces.
Teorema H1 f : Sub(C) x x = f -1(z) y(x)

Sub(C) z = f(x) : f biy zxx z Y(z)

Y + [ x zz ' ' x z' + p xz ] Y + q (xz)2 Y = 0

H2

y + p(x) y + q(x) y = 0

D1: f: y(x) Y(z)

yx = Yz zx yxx = Yzz (zx )2 + Yz zxx

Sac Edt

50

Yzz (zx) 2 + Yz zxx + p(f 1(z)) Yz zx + q(f 1(z)) Y(z) = 0 pero adems : 1 zx = x z' zxx =
dz x ' = dx
d( 1 ) x z' dx

zx =

x zz ' ' ( x z' )3

reemplazando en la ecuacin original se obtiene Y + [

D2: x zz ' ' x z'

+ p xz ] Y + q (xz)2 Y = 0

Otra forma de demostrar la misma expresin es:

f: y(x) Y(z) yx = Yz zx Y ' yx = z x z' yxx =

Y zz ' ' x z ' Y z ' x zz ' ' ( x z' )
2

1 x z'

de donde se llega a la misma expresin anterior: Y + [

x zz ' ' x z'

+ p xz ] Y + q (xz)2 Y = 0

Ejemplo

x
1

z = xs z + q(f 1(z)) Y(z) + q Y(z) = 0 = 0 = 0

2+

x= zs

(zx) 2 Yzz + [ zxx + p(f 1(z)) zx ] Yz (s xs1) 2 Yzz + [ s (s1) xs2 + p s xs1 ] Yz s2
2 2 z s

Y + [ s (s1)

2 1 z s

+ p s

1 1 z s
1+

] Y + q Y ] Y + q s2 z
2 s

Y + [[(s1) s1 ] z1 + p s1 z

1 s

= 0

4.2.2.- CAMBIO DE LA VARIABLE DEPENDIENTE 4.2.2.1.- EXPRESIN GENERAL y = z(x) g(x)

Este cambio de variable es del mismo tipo que el empleado por Lagrange para hallar la Solucin de las Ecuaciones Diferenciales Lineales No Homogneas.

Sac Edt

51

Teorema H1 H2 D1: y + p(x) y + q(x) y = 0 y(x) = z(x) g(x)

z g + z [ 2 g + p g] + z [ g + p g + q g] = 0

y = z g y = z g + z g y = z g + 2 z g + z g Reemplazando en la EDLH

z g + 2 z g + z g + p [ z g + z g ] + q z g = 0 z g + z [ 2 g + p g ] + z [ g + p g + q g ] = 0 En particular se puede emplear el resultado anterior para 2 expresiones simplificadas.

4.2.2.2.- SIMPLIFICACIONES Simplificacin I: Si g es una Solucin Particular conocida, entonces

[ g + p g+ q g ] = 0 y por lo tanto z g + z [ 2 g + p g ] = 0 queda una Ecuacin Diferencial de Primer de Variables Separables , que resuelta lleva a la Solucin General. Esto no es otra cosa que el Mtodo de Reduccin del Orden que se desarrolla ms adelante.
g' z' ' =[2 + p] z' g

L(z ) = 2 L(g)

p(x) + L(b)

p( x ) z = b g 2 e

z = b

p( x ) g2 e +a

Siendo a y b constantes arbitrarias se obtiene entonces la solucin general z =bg

p( x ) g2 e +a g

Simplificacin II: Si se desea anular el coeficiente de z

[ 2 g + p g ] = 0 p g' = g 2

Sac Edt
1 2

52

Lg =

1 2

p(x) + La

g =a e

p( x )

Resulta z g + z [ g + p g + q g ] = 0 g =a e g = a e g = a e a e

1 2

p( x )
(
1 p) 2
1 p )2 + a e 2

1 p( x ) 2

1 p( x ) 2 (

1 p( x ) 2

1 p ) 2

1 p( x ) 2 [

z + z [ (

1 2 1 1 p ) + ( p ) + p ( p ) + q ] ] = 0 2 2 2

z + z [

1 2 1 p p + q ] = 0 4 2

4.2.2.3.- CAMBIO DE LA VARIABLE INDEPENDIENTE y/y = r

Existe una equivalencia entre la EDLH de Segundo Orden y la de Ricatti

y + p(x) y q(x) y = 0

z + z2 + p z + q = 0

(Ricatti )

D.Estas ecuaciones estn ligadas por el cambio de variables: y' = z y y = z y y = z y + z y

z y + z y + p [ z y ] + q y = 0 z + z2 + p z + q = 0

(Ricatti )

4.2.2.4.- CASOS PARTICULARES DEL CAMBIO DE LA VARIABLE DEPENDIENTE

H1 H2

y + p(x) y + q(x) y = 0 y(x) = z(x) g(x) : g(x) = xs

z + z [ 2 s x1 + p ] + z [ s (s1) x 2 + p s x 1 + q ] = 0

D.- Aplicando el teorema del cambio de la variable dependiente con g(x) = xs

z xs + z [ 2 s xs1 + p xs ] + z [ s (s1) xs 2 + p s xs 1 + q xs ] = 0 z + z [ 2 s x1 + p ] + z [ s (s1) x 2 + p s x 1 + q ] = 0

4.3.- REDUCCIN DEL ORDEN

Este teorema permite reducir el orden de una EDLH en una unidad, a partir de conocer una solucin y1. Es decir hallar una EDLH equivalente de un orden n 1. La nueva ecuacin diferencial tiene un espacio de soluciones generada por una base complementaria de y1.

Sac Edt

53

Esto es un teorema anlogo al teorema de reduccin del orden de polinomios, a partir de una raz conocida. Se presenta en primer lugar el teorema para ecuaciones de segundo orden, y luego se plantea el caso general para orden n.

4.3.1.- REDUCCIN DEL ORDEN PARA EDLH DE ORDEN 2

En este caso de las EDLH de orden 2, conocida una primera solucin y1 al reducir el orden de la ecuacin a 1, se obtiene tambin una segunda solucin y2 li.
Teorema de Reduccin de orden para el caso de orden n = 2 H1 H2 H3 S := { y : I C x y(x) : L(y) := y + p(x) y + q(x) y = 0 } y1S / L(y1) = 0 y = u y1 T1.L1 (u) := y1 u + [ p y1 + 2 y1 ] u = 0 1 e p( x ) dx T .y (x) = y
2 2 1

T3.Lema I.- Ecuacin equivalente por reduccin del orden D.-

{ y1 y2 } Base/S

2 y1

Planteando como solucin a

y(x) = u(x) y1(x) y se deriva 2 veces:

y = u y1 y = u y1 + y = u y1 +

u y1 u y1 + u y1

introduciendo estas expresiones en la EDLH de orden 2, y luego sumando queda: q y = u q y1 u p y p y = u p y1 + y = u y1 + 2 u y1 + u y1 0 = u [ q y1 + p y1 + y1 ] + u [ p y1 + 2 y1 ] + u y1 [ =0 ] Al sumar el primer miembro es nulo y tambin lo es el primer trmino del segundo miembro por H2, quedando
L1 (u) := y1 u + [ p y1 + 2 y1 ] u = 0

Que es una EDLH de grado 2 pero de orden 1. Se ha reducido el orden en una unidad.

Lema II.- Segunda Solucin de la EDLH de segundo orden D.- Se resuelve la ltima EDLH

Sac Edt
y ' u' ' = [ p +2 1 ] u' y1

54

L(u ) =

p(x) 2 L(y1)

p( x ) u = 1 e 2 y1

y2 (x) = y1

1
2 y1

p( x )

dx

Lema III.- Independencia Lineal de la Segunda Solucin de la EDLH de segundo orden obtenida. D.- Es la tesis propuesta que se obtiene calculando el Wronskiano:

W= W= W=

y1 y 1' y1 y 1' y1 y 1'

y2 y 2' uy 1 uy 1 ' + u' y 1 0 u' y 1

p( x ) W = y12 u = y12 1 e 2 y1 p( x ) 0 W= e

Como la exponencial nunca se anula

W0

{ y1 y2 } li

{ y1 y2 } Base/S

4.3.2.- REDUCCIN DEL ORDEN PARA EDLH DE ORDEN n

Sac Edt

55

El caso general de reduccin del orden de una EDLH consiste en obtener a otra EDLH pero de un orden menor en una unidad. Es decir a partir de una EDLH de orden n de la cual se conoce una solucin y1 se halla otra EDLH de orden n 1 equivalente en cuanto a la base complementaria de y1.
Obs: este teorema es anlogo a la reduccin del orden de un Polinomio, a partir de una raz conocida

Teorema de Reduccin de orden para el caso de orden n H1 S := { y : I C x y(x) : L(y) := H2 H3 y1S / L(y1) = 0 y = u y1 yk = uk y1

pk(x) y(k) = 0 }

k =n

k <2 .. n >

T1.- L1 (u) :=

qk(x) u(k) = 0 : qk(x) := [ C(k,k) pk y1 + C(k+1,k) pk+1 y1 + ... + C(n,k) pn y1(n-k) ]

k =n

T2.-

{y1 ... yn } Base/S

Lema I.- Ecuacin equivalente por reduccin del orden D.-

Planteando como solucin a

y(x) = u(x) y1(x) y se deriva n veces:

y = u y1 u y1 y = u y1 + y = u y1 + 2 u y1 + u y1 ... y(n) = u y1(n) + C(n,1) u y1(n-1) + C(n,2) u y1(n-2) + ... + u(n) y1 introduciendo estas expresiones en la EDLH de orden n, y luego sumando queda: p0 y = u p0 y1 u p1y1 p1 y = u p1 y1 + 2 u p2y1 + u p2 y1 p2 y = u p2 y1 + ... pn y(n) = u pn y1(n) + C(n,1) u pn y1(n-1) + C(n,2) u pn y1(n-2) + ... + u(n) pn y1 + pn y1(n) ] + 0 = u [ p0 y1 + p1 y1 + p2 y1 + ... [ =0 ] + u [ p1 y1 + 2 p2 y1 + ... + u [ p2 y1 + 3 p3 y1 + ... ... + u(n-1) [ pn1 y1+ C(n,n1) y1 ] + + u(n) [ pn y1 ] + C(n,1) pn y1(n1) ] + + C(n,2) pn y1(n-2) ] +

Al sumar el primer miembro es nulo y tambin lo es el primer trmino del segundo miembro por H2. Queda conformada una EDLH en u u... u(n) y cuyos coeficientes especificados en la expresin anterior se denominarn qk qk(x) := [ C(k,k) pk y1 + C(k+1,k) pk+1 y1 + ... + C(n,k) pn y1(n-k) ]

Sac Edt L1 (u) :=

56 qn(x) u(n) + qn1(x) u(n-1) + ... + q2(x) u + q1(x) u = 0

que es una EDLH de grado n pero de orden n1 L1 (u) :=

qk(x) u(k) = 0

k =n

Esta ltima EDLH tiene entonces n1 soluciones li en uk que integradas permiten obtener n1 funciones uk que a su vez multiplicadas por y1 dan las soluciones y2 ... yn .
u2 u3 ... un

u2 u3 un

. y1 y2 = u2 y1 y3 = u3 y1
yn = un y1

Estas soluciones son li como se analizar a continuacin

Obs: Ntese que u no es constante [ u cte ] porque en ese caso sera u = u = ... = u(n) = 0 y en ese caso no se puede reducir el orden.

Lema II.- Independencia Lineal de las soluciones de la EDLH de orden n 1 obtenida por reduccin del orden. D.- La independencia lineal se demuestra a partir del Wronskiano de sus derivadas. Recordando:

Teorema 2.H1 I Anillo en C { yi } Cn1 /I H2 H3 x0 I : W{ yi }/x0 0 T.- { yi } li I : Anillo en campo complejo C Cn1 /I : Funciones continuas hasta la derivada de orden n
Se demostrar que: W{ uk}/x0 0

T.-

{ yi } li

T.-

{ ui } li

T.-

{ yk = uk y1 } li

Las soluciones obtenidas

y1 y1 ' W = y1 ' ' ... ( n 1) y1 y1 y1 ' W= y 1 ' ' ... y 1 ( n 1) y2 y2 ' y2 '' ... y 2 ( n 1) ... ... ... ... ...

y1 , y2 ... yn son li, son independientes, pues calculando el Wronskiano:

... yn ... yn ' ... yn '' ... ... ... y n ( n 1) ... ... ... ... ... ... u n y1 ... u n y 1 '+ u n ' y 1 ... u n y 1 ' '+2u n ' y 1 '+ u n ' ' y 1 ... ... ... u n y 1 ( n 1) + C(n 1,1)u n ' y 1 ( n 2) + ... + u n ( n 1) y 1

u 2 y 1 ( n 1)

u 2 y1 u 2 y 1 '+ u 2 ' y 1 u 2 y 1 ' '+2u 2 ' y 1 '+ u 2 ' ' y 1 ... + C(n 1,1)u 2 ' y 1 ( n 2) + ... + u 2 ( n 1) y 1

Multiplicando la primera columna por uk y restndola de cada columna k queda:

Sac Edt

57

y1 y1 '

0 u 2 ' y1 2u 2 ' y 1 '+ u 2 ' ' y 1 ...

... ... ... ... ... ... ... ...

0 u n ' y1 2u n ' y 1 '+ u n ' ' y 1 ...

W = y1 ' ' ... y 1 ( n 1)

C(n 1,1)u 2 ' y 1 ( n 2) + ... + u 2 ( n 1) y 1 ... ... C(n 1,1)u n ' y 1 ( n 2) + ... + u n ( n 1) y 1

Que desarrollado por la primera fila:

u2' 2u 2 ' y 1 '+... + u 2 ' ' y 1 ... ( n 2) C(n 1,1)u 2 ' y 1 + ... + u 2 ( n 1) y 1 ... ... ... ... ... un ' ... 2u n ' y 1 '+... + u n ' ' y 1 ... ... ( n 2) ... C(n 1,1) u 2 ' y 1 + ... + u 2 ( n 1) y 1

W = y1 2

Restando a cada fila k (desde 1 hasta n1 ) la primera fila multiplicada por C(k,1) y(k1) se obtiene
u2' ... ... ... ... ... ... ... ... ... ... ... ... un ' u n ' ' y1 C(3,2) u n ' ' y 1 '+ u (3) y 1 n ...

W = y12

C(3,2)u 2 ' ' y 1 '+ u (3) y 1 2 ...

u 2 ' ' y1

C(n 1,2)u 2 ' y 1 ( n 3) + ... + u 2 ( n 1) y 1 ... ... ... C( n 1,2) u n ' ' y 1 ( n 3) + ... + u n ( n 1) y 1

Por lo tanto : u2' u2 '' C(3,2)u 2 ' ' y1 '+ u (3) y 1 2 ... C(n 1,2)u 2 ' y 1 ( n 3) + ... + u 2 ( n 1) y 1 ... ... ... ... ... ... ... ... ... ... ... un ' ... un '' ... C(3,2)u n ' ' y 1 '+ u (3) y 1 n ... ... ... C(n 1,2)u n ' y 1 ( n 3) + ... + u n ( n 1) y 1

W = y1 3

y as siguiendo se llega a : u2' u2 '' u ( 3) 2 ... u 2 ( n 1) ... ... ... ... ... ... ... ... ... ... ... un ' ... un '' ... u ( 3) n ... ... ... u n ( n 1)

W = y1 n

W( y1 ... yn ) = y1n W( u2 ... un) de donde como W( y1 ... yn ) 0 y1 0 W( u2 ... un ) 0

{ y1 ... yn } li { u2 ... un } li 4.4.- SOLUCIN DE LA NO HOMOGNEA: MTODO DE LAGRANGE O DE VARIACIN DE CONSTANTES

Sac Edt

58

El mtodo de Lagrange consiste en obtener una solucin de la EDL no Homognea a partir de la solucin de la Homognea . Esto es anlogo a obtener una solucin de un Sistema lineal no Homogneo a partir de un Sistema lineal Homogneo. Es decir encontrar un Espacio Afn. El mtodo de Lagrange tambin se llama de Variacin de Constantes porque se demuestra a partir de construir una solucin de la EDL no homognea cambiando las constantes ak de la solucin de la Homognea por funciones uk.

Teorema de Lagrange H1 H2 S := {z : I C x z(x) : L(z) := z + p(x) z + q(x) z = f(x) } S := { y : I C x y(x) : L(y) := y + p(x) y + q(x) y = 0 } : {y1 y2 ... y n} Base/ S : L(y) = 0

T.-

y = a1 y1 + a2 y2 + ... + an yn z0 = u1 y1 + u2 y2 + ... + un yn z = y + z0 z = a1 y1 + a2 y2 + ... + an yn + u1 y1 + u2 y2 + ... + un yn : ak cte

u ' y + u 2 ' y2 + ... + u n ' y n 1 1 u 1 ' y 1 ' + u2 ' y2 ' + ... + u n ' y n ' : uk Soluciones del sistema ... ( n 2) + u 2 ' y 2 ( n 2) + ... + u n ' y n ( n 2) u 1 ' y 1 ( n 1) + u 2 ' y 2 ( n 1) + ... + u n ' y n ( n 1) u 1 ' y 1 = 0 = 0 = 0 = f (x)

S : Espacio de las soluciones de la EDLH L(y) = 0

S: Espacio Afn de las soluciones de la EDL no homognea z : Solucin general de la EDL no homognea y : Solucin general de la EDLH z0 : Solucin particular de la EDL no homognea D.- Se supone z = u1 y1 + u2 y2 + ... + un yn .
z z z ... z( n 1) = u1 y1( n 1) + u2 y2( n 1) + ... + un yn( n 1) + [ u1 y1( n 2) + u2 y2( n 2) + ... + un yn( n 2) ] [ = 0 ] = u1 y1( n) + u2 y2( n) + ... + un yn( n) + [ u1 y1( n 1) + u2 y2( n 1) + ... + un yn( n 1) z( n) f(x) = 0 + 0 + ... + 0 + [ u1 y1( n 1) + u2 y2( n 1) + ... + un yn( n 1) Queda el Sistema algebraico no homogneo de n ecuaciones con n incgnitas = u1 y1 = u1 y1 = u1 y1 + u2 y2 + u2 y2 + u2 y2 + ... + un yn + ... + un yn + ... + un yn + [ u1 y1 [ + [ u1 y1 [ + u2 y2 + ... + un yn = 0 + u2 y2 + ... + un yn = 0 ] ] ] ]

L(y) = f(x)

Derivando n veces y anulando los corchetes sealados

Sac Edt u ' y + u 2 ' y2 + ... + u n ' y n 1 1 u 1 ' y 1 ' + u2 ' y2 ' + ... + u n ' y n ' ... ( n 2) + u 2 ' y 2 ( n 2) + ... + u n ' y n ( n 2) u 1 ' y 1 ( n 1) + u 2 ' y 2 ( n 1) + ... + u n ' y n ( n 1) u 1 ' y 1 = 0 = 0 = 0 = f (x)

59

Este Sistema es determinado pues el determinante de las incgnitas es el Wronskiano no nulo W( y1 ... yn ) 0 Las soluciones del sistema: uk se integran y se obtienen n funciones uk + ak (donde las ak son constantes) que generan las combinacin lineal con las yk que da la solucin general de la EDL no homognea.

u1 u2 u3 ... un

u1 + a1 u2 + a2 u3 + a3 un + an

z = a1 y1 + a2 y2 + ... + an yn + u1 y1 + u2 y2 + ... + un yn

En resumen se observa que la solucin es la suma de la solucin de la EDLH y una solucin particular de la EDL no homognea.

y z0 z z

= a1 y1 + a2 y2 + ... + an yn = u1 y1 + u2 y2 + ... + un yn = y + z0 = a1 y1 + a2 y2 + ... + an yn + u1 y1 + u2 y2 + ... + un yn 5.- SOLUCIN DE LA EDLH DE COEFICIENTES NO CONSTANTES 5.1.- TEOREMA DE FUCHS 5.1.1.- INTRODUCCIN AL MTODO DE FUCHS

El Teorema de Fuchs, tambin llamado de Frobenius, establece un mtodo para resolver determinadas EDLH por medio de desarrollo en serie de potencias. Las EDLH que son resolubles por Fuchs se definen en en el enunciado del Teorema, donde se determinan las formas de los coeficientes de la EDLH y los tipos de soluciones resultantes. El enunciado del Teorema de Fuchs se plantea en principio sobre EDLH de segundo orden, pero puede generalizarse para ordenes superiores.

5.1.2.- EJEMPLO INTRODUCTORIO: RESOLUCIN DE LA ECUACIN DIFERENCIAL DE BESSEL PARA = 2 5.1.2.1.- PLANTEO DEL MTODO
Para facilitar la comprensin del mtodo de Fuchs, se presenta un Ejemplo introductorio, donde se muestra la mecnica del mismo, para luego pasar a la demostracin general.

Sac Edt

60

La EDLH de 2 orden de variable compleja (o real) x C es entonces :

y + p(x) y + q(x) y = 0
y se estudia en el V(0) para simplificar la notacin. El ejemplo elegido es la ecuacin de Bessel que para =2 x2 y + x y + (x2 4) y = 0 que es equivalente (la Solucin General no cambia) a la siguiente ecuacin que se obtiene dividiendo por x2 y est en la forma cannica de Fuchs. y +
4 1 y + (1 2 ) y = 0 x x

La Solucin General de la EDLH se obtiene como se ha visto como una combinacin lineal de 2 soluciones li. Por medio del mtodo de Fuchs se busca encontrar una o las dos soluciones deseadas y este mtodo tiene como idea central ensayar una solucin del tipo: y = x r H(x) = x r ( C0 + C1 x + C2 x 2 + ... + Ck x k + ) =

k =0

Ck x

k+ r

donde r es un nmero complejo y H(x) es una funcin analtica, es decir desarrollable en Serie de Taylor, es decir Holomorfa en el Campo Complejo. Debe remarcarse que el coeficiente C0 puede elegirse arbitrariamente pues la solucin y multiplicada por un constante, tambin es solucin. Por otro lado si se elige C0 0 se asegura que r toma una valor definido. xr es uniformizable y derivable sin limitacin de orden en V(0) con una cortadura que una el 0 complejo con el complejo. Tambin H(x) es derivable hasta cualquier orden, por ser Holomorfa. Las soluciones del tipo propuesto y = x r H(x) son vlidas bajo las Hiptesis del teorema de Fuchs: que establecen que en V(0) p(x) tenga a lo sumo un polo de orden 1 y q(x) a lo sumo un polo de orden 2 Debe recordarse que la solucin general es una combinacin lineal de 2 soluciones li. La Convergencia de dicha solucin general y(x) est asegurada sobre la interseccin I(p) I(q) de los respectivos campos de convergencia de p y q.
1 x

p(x) =

4 x2

I(p) = {|x| > 0} I(y) = I(p) I(q) = {|x| > 0}

q(x) = 1

I(q) = {|x| > 0}

Se ensaya entonces la solucin de la EDLH propuesta por el mtodo de Fuchs y = y = y =

k =0

Ck x

k+ r

k =0

Ck (k + r) x k +

r1

k =0

Ck (k + r) (k + r 1) x k +

r2

Sac Edt

61

Introduciendo estas series en la EDLH (x2 4) y =

k =0

Ck x

k+ r+2

k =0

2 Ck x

k+r

x y = x2 y =

k =0

Ck (k + r) x k + r Ck (k + r) (k + r 1) x k + r

k =0

Sumando todas estas series x2 y + x y + (x2 4) y = 0 = 0 =

k =0

[ Ck ( k + r) ( k + r 1) x k + r + Ck ( k + r) x k + r 2 Ck + Ck 2 x k + r ]

k =0

Ck ( k + r )( k + r + ) + Ck 2 ] x k + r

y ordenando la serie en potencias de menor a mayor se tiene: 0 = x r ( E0 + E1 x + E2 x 2 + ... + Ek x k + ) Esta serie tiene todos los coeficientes nulos por la unicidad de la serie de Laurent. 0 = E0 = C0 (0 + r 2 ) (0 + r + 2) + C 2 = 0 0 = E1 = C1 (1 + r 2 ) (1 + r + 2) + C 1 = 0 0 = E2 = C2 (2 + r 2 ) (2 + r + 2) + C 2 = 0 ... 0 = Ek = Ck (k + r 2 ) (k + r + 2) + Ck 2 = 0 ... Se ha formado as un Sistema de Infinitas ecuaciones con infinitas incgnitas. El sistema tiene la forma de un Sistema triangular (tipo Gauss) donde se va agregando en forma sucesiva en cada ecuacin una incgnita. Esto permite plantear el clculo de los coeficientes Ck en forma recursiva. ( C 2 = 0 ) ( C 1 = 0 )

5.1.2.2.- ECUACIN DE RECURRENCIA Y ECUACIN CARACTERSTICA

La ltima expresin del sistema es la genrica y es la llamada Ecuacin de Recurrencia del mtodo de Fuchs. Ck (k + r 2 ) (k + r + 2) + Ck 2 = 0 Que representa a todo el Sistema para cualquier k. En particular eligiendo k = 0 se tiene la primera ecuacin del Sistema C0(r 2)(r + 2) = 0 ( Observar que C2 = 0 )

Que se llama Ecuacin Caracterstica del mtodo de Fuchs. Para satisfacerla, como C0 0 se determinan los dos valores de r que la anulan, y a su diferencia:

Sac Edt r1 = 2 r2 = 2 = r 1 r2 = 4

62

Estos 2 valores de r generan eventualmente 2 Ecuaciones de Recurrencia (una para r1 y otra para r2 ) que podran definir 2 soluciones li. En este caso como para el primer valor r1 se ver que se puede construir una solucin mientras no es as para el segundo valor r2. Para obtener una segunda solucin li se deber ensayar una solucin de otra forma.

5.1.2.3.- PRIMERA SOLUCIN

Eligiendo de las 2 races la mayor: r1 = 2 la Ecuacin de Recurrencia toma la forma Ck k (k + 4) + Ck 2 = 0 Como kN Ck = C k 2 k (k + 4) k (k +4) 0 siempre se puede resolver

De aqu se obtienen todos los coeficientes Ck por recurrencia: C0 = C0 C1 = 0 C3 = 0, ... es Arbitrario y no nulo se obtiene entonces: pues C 1 = 0 y en general todos los coeficientes de subndice impar son nulos C2p+1 = 0

Los coeficientes de subndice par son:

C0 2( 2 + 4)

C2 = C2p =
C2p =

(1) p C 0 2.4.6...(2p)(2 + 4)(4 + 4)(6 + 4)...(2p + 4)

( 1) p C 0 (3) 2 2 p p! (p + 3) Eligiendo convenientemente

C0 (3) =

1 22

C2p =

queda (1) p 2 2 p + 2 p! ( p + 2)! Resulta la solucin y1

y1 =

p!(p + 2)! 2
p =0

(1) p x

2p+2

Sac Edt
2 4 6 8

63
2p + 2

y1 =

(1) p x 1 x 1 x 1 x 1 x + + ... + p! (p + 2)! 2 0! 2! 2 1! 3! 2 2! 4! 2 3! 5! 2

+ ...

Obs : Esta solucin y1 se define posteriormente como J2(x) : Funcin de Bessel de Primera Especie de orden 2 5.1.2.4.- SEGUNDA SOLUCIN DE LA ECUACIN DE BESSEL

Si se siguiera el mismo procedimiento para hallar la Segunda Solucin y2 correspondiente a r = r2 = 2 la Ecuacin de Recurrencia tomara la forma: Dk k (k 4) + Dk 2 = 0 Se ha cambiado la notacin de los coeficientes Ck por Dk para no confundir los coeficientes de las soluciones y1 e y2. Pasando al clculo con esta Ecuacin de Recurrencia. D0 = D0 D1 = 0 es Arbitrario y no nulo se obtiene entonces: pues D 1 = 0 y en general todos los coeficientes de subndice impar son nulos

D3 = 0, ... D2p+1 = 0 Pasando al clculo de los subndice par 1 D2 2 (2) + D0 = 0 D2 = 0 4 Hasta llegar a D4 0 + D2 = 0 Donde D4 no puede despejarse. Aqu se corta el clculo por recurrencia. No se pueden obtener ni D4 ni los D2p siguientes. Analizando a la ecuacin con un G genrico: D4 0 + G = 0 Tendra solucin si G = 0 Esta es la llamada Condicin Complementaria del mtodo de Fuchs. En este caso 1 no se cumple pues G = D2 = 0 4 Esto demuestra que no existe otra solucin y2 li del tipo y2 =

k =0

Dk x k + r2

5.1.2.5.- SEGUNDA SOLUCIN POR EL METODO LA SEGUNDA ECUACIN DE RECURRENCIA

Existen varios mtodos para encontrar otra solucin li con y1 , y as formar la base del espacio de soluciones. En el desarrollo del Teorema de Fuchs se demostrar que la Segunda Solucin li es del tipo y2 = x r2 H2(x) + y1 Lx

Sac Edt

64

y2 =

k =0

Dk x k + r2 + y1 Lx

Entonces un mtodo para encontrar la segunda solucin y2 es repetir el procedimiento hecho para la Primera Solucin, derivando trmino a trmino: y2 = y2 = y2 =

k =0

Dk x k + r2 Dk (k + r2) x k + r2 1

+ y1 Lx + y1 Lx + y1
1 x 1 1 y1 2 x x

k =0

k =0

Dk (k + r2) (k + r2 1) x k + r2 2 + y1 Lx + 2 y1

Introduciendo estas series en la ED reemplazando r = r2 = 2 y ordenando convenientemente resulta: x2 y2 + x y2 + (x2 42) y = 0

k =0

Dk (k + r2) (k + r2 1) x k2 +

k =0

Dk (k + r2) x k2 +

k =0

Dk x k +

k =0

4 Dk x k2 + +

+ x2 y1 Lx + 2 x y1 y1 = 0

+ x y1 Lx + y1

+ (x2 42) y1 Lx +

Los tres trminos que contienen Lx se anulan por ser y1 solucin de la Ecuacin Diferencial. Tambin se simplifican los ltimos dos trminos 0= 0= 0=

k =0

{ Dk[ (k + r)(k + r 1) + (k + r) 4 ] + Dk 2 } x k2 + 2 x y1
x [ Dk (k + r 2 ) (k + r + 2) + Dk 2 ] x k2 + 4 2

k =0

p =0

(1) p x p! (p + 2)! 2
2p + 2

2 p +1

1 (2p+2) 2

k =0

[ Dk (k + r 2 ) (k + r + 2) + Dk 2 ] x k2 + 2

p!(p + 2)! 2
p =0

(1) p x

(2p+2)

ordenando la serie en potencias de menor a mayor se tiene: 0 = x2 ( E0 + E1 x + E2 x 2 + ... + Ek x k + ) Esta serie tiene todos los coeficientes nulos por la unicidad de la serie de Laurent Recordando que
k Ck = Im par C2p+1 = 0

k = Par C2p =

(1) p 2 2 p + 2 p! (p + 2)! ( D2 = 0 )

0 = E0 = D0 (0 4 ) 0 + D 2 = 0

D0 Arbitrario y no nulo

Sac Edt 0 = E1 = D1 (1 4 ) 1 + D 1 = 0 0 = E2 = D2 (2 4 ) 2 + D 0 = 0 0 = E3 = D3 (3 4 ) 3 + D 1 = 0 0 = E4 = D4 (4 4 ) 4 + D 2 + 2 ... 1 22 1 2 0! 2! =0

65 ( D1 = 0 )

D1 = 0 D2 = D0 / 4 D3 = 0

0 = Ek = Dk (k 4 ) k + Dk 2 + 2 Ck4 (k 2 ) = 0 ... Se ha formado as otro Sistema de Infinitas ecuaciones con infinitas incgnitas. Este segundo sistema tiene la tambin la forma de un Sistema triangular (tipo Gauss) donde se va agregando en forma sucesiva en cada ecuacin una incgnita. Esto permite plantear el clculo de los coeficientes Dk en forma recursiva haciendo una consideracin especial para D4 D0 = D0 D1 = 0 D2 ( 2 ) 2 + D0 = 0 D2 = D3 = 0 Al llegar a la ecuacin que sigue se hace la consideracin de elegir de manera de hacerla compatible: 1 2 0! 2! 2 1 1 se elige : D2 + 2 2 2 2 0! 2! Es decir 1 1 + 2 2 =0 D0 4 2 1 = D0 2 0 = E4 = D4 0 + D2 + 2 1
2

es Arbitrario y no nulo se obtiene entonces: 1 0 4

=0 =0

y resulta D4 es arbitrario (nulo o no nulo). Luego se sigue en forma recursiva sin inconveniente: D5 = 0 D2p+1 = 0 Para los coeficientes de subndice par se tiene una Segunda Ecuacin de Recurrencia Dk (k 4) k + Dk 2 + 2 Ck4 (k 2 ) = 0 D2p (2p 4) 2p + D2p 2 + 2 C2p4 (2p 2 ) = 0 D2p (2p 4) 2p + D2p 2 D0 C2p4 (2p 2 ) = 0 Como C2p-4 = (1) p 2 2 2 p 2 (p 2)! p! y en general todos los coeficientes de subndice impar D2p+1 son nulos pues C2p+1 = 0

Sac Edt (1) p 2 2 2 p 2 (p 2)! p! (1) p 2 2 2 p 2 (p 2)! p! (1) p 2 2

2p2

66

D2p (2p 4) 2p + D2p 2 D0 D2p (2p 4 ) 2p + D2p 2 D0 D2p = D2p = D 2p 2 2 ( p 2)p D 2p 2 2 ( p 2)p
2 2

(2p 2) = 0 (2p 2) =0

+ D0 + D0

1 2p 2 (p 2)! p! 4 (p 2)p 1 1 1 + ] [ (p 2)! p! 4 (p 2) p

(1) p
2p2

Pasando al clculo de los coeficientes D6 = 1 1 [ 1+ ] 3 2 .1.3 2 .1!.3! 4 1 1 1 [ D4 23 + D0 [ 1+ ] ] D6 = 4 3 4 2 .1!.3!

2

D4

D0

1 1 1 1 1 1 [ 1+ ] ] + D0 6 [ + ] 3 4 2 .2!.4! 2 .2!.4! 4 2 4 1 1 1 1 1 D8 = (1)2 6 [ D4 23 + D0 [ (1+ ) + ( + )] ] 3 4 4 2 2 .2!.4! 1 1 3 D8 = (1)2 6 [ D4 23 + D0 [ H(2) + H(4) ] ] 4 2 2 .2!.4! D8 = (1)2 1
6

[ D4 23 + D0

D10 = (1)3 D10

1 3 1 1 1 1 [ H(2)+ H(4) ] ] + (1)3 D0 8 [ + ] 4 2 2 .3!.5! 2 .3!.5! 4 3 5 1 3 1 = (1)3 8 [ D4 23 + D0 [ H(3) + H(5) ] ] 4 2 2 .3!.5! 1

8

[ D4 23 + D0

Generalizando: D2p = (1)p

1 3 1 [ D4 23 + D0 [ H(p2) + H(p) ] ] 4 2 22 p 2 ( p 2)!p!

Resulta as la solucin y2 y2 = D 0 1 1 y1 Lx + x2 [ D0 + D0 x2 + 2 4 p =2

1 2
2p2

(p 2)! p!

[D4 23 + D0

1 3 [ H(p2) + H(p) ] ] x2p 4 2

cambiando el ndice p = q +2 y2 = D 0 y2 = D 0
1 x y1 Lx + D0 22 2 2
2

x x [ 1+ ] + 22 2 2
2

2 +

q =0

(-1) q 1 3 x [D4 23 + D0 [ H(q)+H(q +2) ] q! (q + 2)! 4 2 2

2q + 4

22

1 1 x y1 Lx + D0 4 2 2

3 x [ 1+ ] + D4 23 y1 D0 y1 + D0 8 2 q =0

(-1) q 1 x [ H(q)+H(q +2)] q! (q + 2)! 4 2

2q + 2

Sac Edt 1 3 y1 Lx + D4 23 y1 D0 y1 + 8 2 + D0
1 x [ 4 2
2

67

y2 = D 0

+ 1 ] + D0

17 x 43 x 247 x 1 3 x [ + + ... ] 36 2 576 2 43200 2 4 4 2

Obs: Ntese que la constante arbitraria D4 reproduce una solucin li con la primera y1. 9.- PROPIEDADES DE LAS EDT DE SEGUNDO ORDEN 9.1. TEOREMA DE IL DE LAS EDLH

Se recuerda el teorema de il de las soluciones de una EDLH (Teorema 6) Dado las hiptesis generales, H1 [ I Anillo en C ] y H2 [ { yi } S ] es decir las funciones { yi } son soluciones de una EDLH con la restriccin expuesta en entonces la proposicin H3 [ pn1 H/I ] H4 [ x0 I: W(x0) 0 ] [ x I W(x) 0 ] es condicin necesaria y suficiente de que T.- el conjunto { yi } sea linealmente independiente.

=:

H1 H' 2

I Anillo en C { yi } S S := { y : I C x y(x) : L(y) :=

W(x) = W(x0) exp[

k =n

x0

pn1(x) dx ]

pk ( x )y ( k ) = 0 }

H3

p n -1 H / I H4

x0 I : W(x0) 0

[ x I

W(x) 0 ]

W(x) / 0

T.-

{ yi } li

9.2.- REDUCCIN DEL ORDEN PARA EDLH DE ORDEN 2

Se recuerda que en el caso de las EDLH de orden 2, conocida una primera solucin y1 al reducir el orden de la ecuacin a 1, se obtiene tambin una segunda solucin y2 li. Teorema de Reduccin de orden para el caso de orden n = 2 H1 H2 H3 S := { y : I C x y(x) : L(y) := y + p(x) y q(x) y = 0 } y1S / L(y1) = 0 y = u y1 T1.T2.T3.-

L1 (u) := y1 u + [ p y1 + 2 y1 ] u = 0 1 e p( x ) dx y (x) = y
2 1

{ y1 y2 } Base/S

2 y1

Sac Edt

68

9.3 .- CEROS DE LA EDLH DE SEGUNDO ORDEN T1.- Los ceros de cualquier solucin de una EDLH de segundo orden son simples H1 H2 H3 D1.L(y) := y + p(x) y + q(x) y = 0 y1 : L(y1) = 0 y1 y1(k ) = 0

k Cero simple

Al ser races simples si se anulan simultneamente

y 1 ( k ) = 0 y1(k ) = 0

W(k ) = 0 Absurdo

pues se contradice con el Teorema de il de las soluciones de EDLH. Otra Demostracin es la siguiente
y1(k ) = 0 y1(k ) = 0

D2.-:

k Cero doble

En virtud de la ecuacin diferencial se anular tambin y1(k )

y1(k ) + p(k ) y1(k ) + q(k ) y1(k ) = 0

y1(k ) = 0

y sucesivamente todas las derivadas como se deduce derivando trmino a trmino L(y). Queda:
y1(k ) = 0 y1(k ) = 0 y1(k ) = 0 y1(k ) = 0 ... con lo cual considerando la serie de Taylor

y(x) 0

Absurdo

T2.- Dos soluciones li de cualquier solucin de una EDLH de segundo orden no pueden tener ceros comunes H1 H2 H2 L(y) := y + p(x) y + q(x) y = 0 y1 : L(y1) = 0 y2 : L(y2) = 0 y1(k ) = 0 {y1 y2 } li

y2(k ) 0

Sac Edt

69

D1.-

Al ser races simples si se anulan simultneamente

y 1 ( k ) = 0 y 2 ( k ) = 0

W(k ) = 0

Absurdo

pues se contradice con el Teorema de il de las soluciones de EDLH.

T3.- Dos soluciones li de cualquier solucin de una EDLH de segundo orden tiene los ceros intercalados (entre dos ceros consecutivos de una solucin se intercalan uno solo de otra solucin) H1 H2 H3 L(y) := y + p(x) y + q(x) y = 0 y1 : L(y1) = 0 y2 : L(y2) = 0 {y1 y2 } li y1(k ) = 0 y1(k+1) = 0 ceros consecutivos

k ] k k+1 [ : y2(k) = 0 k nico en [ k k+1 ]

D.-

Al ser races simples si se anulan simultneamente

W(x) = W(x0) exp[

x0

pn1(x) dx ] donde W(x0) = cte 0 exp[

x

x0

pn1(x) dx ] > 0

W(x) = y1(x) y2(x) y1(x) y2(x) = W(x0) exp[

y 1 (x) y' 2 (x) - y 1 (x) y' 2 (x) [ y 2 (x) ]
2

x0

pn1(x) dx ]

1 [ y 2 (x) ]
2

W(x0) exp[ 1

x0

pn1(x) dx ]

y1 (x) k +1 = y 2 (x) k

k +1
k

[ y 2 (x) ]

W(x0) exp[

x0

pn1(x) dx ]

Recordando por el teorema anterior y1(k ) 0 y1(k+1) 0 Si y2 no se anula en el intervalo ] k k+1 [ y1 (x) k +1 = 0 0 Absurdo y 2 (x) k

y1 (x) C / [k k+1 ] y 2 (x)

Entonces debe existir un cero de y2 en el intervalo ] k k+1 [

k ] k k+1 [ : y2(k) = 0
Este cero es nico en dicho intervalo ] k k+1 [ porque si existieran dos k k+1 aplicando el mismo lema recin demostrado, invirtiendo el orden de las soluciones

Sac Edt

70

H3

y2(k ) = 0 y2(k+1) = 0

k ] k k+1 [ : y1(k) = 0

Absurdo

Ejercicio: Ecuacin de Ricatti T1.- Teorema: Equivalencia entre la Ecuacin de Ricatti y la Ecuacin Lineal de Segundo Orden (EDLH 2Orden) y + p(x) y + q(x) y = 0 (Ricatti simplificada)

y' = z y

y = e

z+ z2 + p(x) y + q(x) = 0

(Ricatti simplificado)
w= A' 1 z p= A + B A q = AC

(Ricatti Cannica)

z+ z2 + p(x) y + q(x) = 0

w+ A(x) w2 + B(x) y + C(x) = 0

D.- Lema 1.- Equivalencia entre EDLH de Segundo Orden a Ricatti simplificada
y' = z y

y + p(x) y + q(x) y = 0

y = e

z
z+ z2 + p(x) y + q(x) = 0

Partiendo de y + p(x) y + q(x) y = 0 se introduce el cambio de variable

z( x ) y = e

y' =z y

y = e

z( x ) z( x )

z z2 + e
z( x )

y = e

Reemplazando en la EDLH
e
z( x )

[ z + z2 + p z + q ] = 0 z + z2 + p z + q = 0 (Ricatti simplificada)

Lema 2.- Reduccin de Ricatti simplificada a Ricatti Cannica.

w= A' 1 z p= A + B A q = AC

z+ z2 + p(x) y + q(x) = 0

w+ A(x) w2 + B(x) y + C(x) = 0

Sac Edt

71

Se pretende reducir a la ED de Ricatti Cannica w + A w2 + B w + C = 0 a la forma de ED z + z2 + p z + q = 0 Para ello ensayamos: w=uz u z + u z + A u2 z2 + B u z + C = 0 Eligiendo u = A' A
2

(Ricatti Cannica)

(Ricatti simplificada)

1 A

(es decir w =

1 z) A

z+

1 1 2 1 z + z +B z +C =0 A A A

Multiplicando por A(x) y ordenando A' +B]+ AC =0 z + z + z [ A Llamando A' p(x) = +B A q(x) = A C
2

queda como equivalente la EDLH de Segundo Orden A' + B ] y + A C y = 0 y+ [ A

3.-

Se aplicarn los resultados anteriores para resolver el ejercicio w2 w + xw 2x = 0 x I.- Obtencin de las ED equivalentes

w +

w2 xw 2x = 0 x 1 1 A = 2 A= x x B=x

p(x) =

A' 1 +B = x A x

C=2x Las ED equivalentes son:

z + z2 + (

q(x) = A C = 2

1 x) z 2 = 0 x

Sac Edt 1 x) y 2 y = 0 x

72

y + (

II.- Obtencin de una Solucin de las ED que es una Solucin Particular de Ricatti

La ltima EDL de Segundo Orden se puede resolver por Fuchs: y=

k =0

Ck x k+r

La Ecuacin de Recurrencia es Ck [(k+r)(k+r1) + (k+r)] Ck2 [(k2+r) + 2] = 0 Ck (k+r)2 Ck2 (k+r) = 0 Tomando k = 0 se obtiene la Ecuacin Caracterstica: C0 r 2 = 0

r1 = 0 r2 = 0

=0

II Caso de Fuchs

Ck = C0 = C1 = C2 = C4 = C6 = C2p =

Se puede obtener entonces una primera solucin : C k 2 k 1 Arbitrario C 1 =0 C2p+1 = 0 1 1 2 1 2.4 1 2.4.6 1 1 = p 2.4.6.....2p 2 p! Una solucin de la EDL es:

y1 =

p =0
x2 e2 x2 e2 x2 e2

1 2 p p!

2p

x2 e2

Verificacin del resultado y= y = y =

x
2

x + Reemplazando en la ED Lineal de Segundo Orden

x2 2

x2 e2

1 y y + ( x) y 2 y = e x

x +

x2 e2

1 + ( x) e x

x2 2

x2 e2

Sac Edt
x2 e2

73

[ x2 + 1 + 1 x2 2 ] = 0

Llevando el Resultado a la ED equivalente de Ricatti Simplificada: y' z = = x y Entonces la ED equivalente 1 z + z2 + ( x) z 2 = 0 tiene por solucin a z = x x que tambin se puede verificar directamente 1 1 + x2 + ( x) x 2 = 1 + x2 + 1 x2 2 = 0 x Volviendo a la ED equivalente de Ricatti Cannica: w= 1 z A

Entonces queda la ED original como ED equivalente w2 xw 2x = 0 que tiene por solucin a w + x que tambin se puede verificar directamente w2 x w 2 x = 2 x + x3 x3 2 x = 0 w + x

w=

1 z = x x = x2 A

III.- Solucin general de la ED de Ricatti

Conociendo entonces una solucin particular w1 = x2 de w2 w + xw 2x = 0 x Haciendo w = u + w1 1 u + w1 + ( u2 + 2 u w1 + w12 ) x (u + w1) 2 x = 0 x 1 ( u2 + 2 u x2 + x4 ) x (u + x2 ) 2 x = 0 u + 2 x + x 1 2 u + u +2ux xu = 0 x 1 2 u + x u + u = 0 x Esta ltima es una ED de Bernouilli con n = 2 1 1 1 + =0 v x v2 v 1 =0 v x v x cuya solucin es 1
2

se reduce a ED lineal

u=

1 v

v + x

v(x) = e

x2 2

1 e x

x2 2

+ k e

x2 2

Sac Edt

74

y finalmente la solucin general de Ricatti es:

1 + w1 = e w = u + w1 = v x2 2

1 k+

x2 e 2

+ x2 dx

ECUACIONES DIFERENCIALES

GUIA DE TRABAJOS PRACTICOS

Curso Ing. Juan Sacerdoti

TRABAJO PRACTICO 1.-

ECUACIONES DE PRIMER GRADO

1.- Formacin de Ecuaciones Diferenciales 1.1.- Dada una Familia de Funciones I.- Hallar la Ecuacin diferencial correspondiente
II.- Las envolventes si existen a.- (x-k)2 + (y-mk)2 = 1 b.- y 2kx +k2 = 0

2.- Resolucin de Ecuaciones Diferenciales

2.1.- Ecuaciones tipo f(x y) = 0

1.- Resolver : a.b.y + (1x2 )1/2 = 0 2 y' x+ = 0 1 + y' 2

2.2.- Variables separables 2.2.1.- Variables separables standard

a.b.c.d.e.1.- Hallar las curvas que tienen : el segmento subtangente constante el segmento subnormal constante el segmento tangente constante el segmento normal constante el segmento subnormal igual a la abscisa

Sac Edt

75

2.- Hallar las curvas que tienen un ngulo constante con el radio vector que une cada punto con el origen 1. 2. 3. 4. 5. 3.- Integrar : y (1x2 )1/2 dx x dy = 0 du/dv = (1 u 2 ) / (1 v 2 ) y = x/y 2 y dx + exp(3x) dy = 0 y + (sin x) y

2.2.2.- Reducibles a variables separables

1.- Integrar y = cos(x + y) 1 + y' =0 2. L(x + y) + x+y 3. y ex ey = 1 1.

2.2.3.- Reducibles a Variables separables: Homogneas

1 2 3 1.- Integrar y = y/x + 1 (x2 y2 ) dx 2 x y dy = 0 (2xy y2 ) dx x dy = 0

2.2.4.- Reducibles a Homogneas

1.- Resolver a.- y = ( 6x y 5 ) / ( 4x y 3 ) b.- ( 2y + x + 1 ) dx (2x + 4y + 3 ) dy = 0 c.- y = f( [a x + b y + c] / [d x + e y + f ] )

2.3.- Lineales de primer orden

2.3.1.- Lineales standard

a.b.-

1.- Resolver x y + 3 y = x2 y + y cotg x = cos x 2.- Construir una Ecuacin diferencial Lineal que tenga por soluciones y =x y = x2
2.3.2.- Reducibles a lineales: Bernoulli

a.b.c.-

1.- Resolver las siguientes Ecuaciones Diferenciales de Bernoulli y x4 - y x3 = y3 y + x y (1 x2 )1 = x y1/2 x y + y2 + y = 0

2. 3.3.- Reducibles a Bernoulli: Ricatti

a.b.-

1.- Resolver las siguientes Ecuaciones Diferenciales de Ricatti y x y2 + 2 x2 y x3 1 = 0 y + y2 = 1

Sac Edt y2 xy = 2x x

76

c.-

y +

2.4.-Ecuaciones resueltas en y 2.4.1.- Ecuaciones resueltas en y generales

1.- Hallar las curvas cuya rea bajo un arco dado es igual a la longitud de dicho arco.

2.4.2.- Lagrange
a.b.2.- Resolver las siguientes Ecuaciones Diferenciales de Lagrange y = 2 x y + (1 + y2 )1/2 y = x ( 1 + y ) + y2

2.4.3.- Clairaut
1.- Resolver las siguientes Ecuaciones Diferenciales de Clairaut hallando la solucin general y la singular. a.b.y = x y + (1 + y2 )1/2 y = x y + (y - y2 ) 2.- Resolver la ecuacin de Clairaut como caso particular de la Ecuacin de Lagrange. 3.- Resolver exp( y ) = 1 + y2 Generalizar para f( y ) = 0

2.5.-Ecuaciones Diferenciales Exactas 2.5.1.- Ecuaciones Diferenciales Exactas Standard

a.b.( 2x y ) dx + ( 3y2 - y ) dy = 0 ( ey + 1) cos x dx + ey sen x dy = 0

2.5.2.-Factor Integrante

a.b.-

( 2xy + 1) y dx ( y x ) dy = 0 dy + [ p(x) y q(x) ] dx = 0

TRABAJO PRACTICO 2
1.- Dependencia e independencia lineal de funciones

1.1.- Estudiar la independencia lineal de las funciones de los sistemas: a) b) c) {1, ex , e2x, e3x, ... , enx} {1, eix , e2ix, e3ix, ... , enix} {1, x , x2, x3, ... , xn}

Sac Edt

77

1.2.- Bajo que condiciones son linealmente independientes a ) { y1 , y1 Lx +a y2 } donde a es una constante

2.- Hallar una ecuacin diferencial lineal que tenga por soluciones a las funciones dadas
a) b) c) d) e) { eax , ebx } { eax , xeax } { eax , xeax , ebx } { y1 , y1 Lx +a y2 } { sin x , cos x }

definir la dimensin de la solucin general de dichas ecuaciones diferenciales.

3.- Cambio de variables en Ecuaciones diferenciales lineales.

1.- Hallar la expresin general de la ecuacin: y + p(x) y + q(x) y = 0 cambiando la variable independiente: a) z=ax z = xs b) c) z=x-a d) z = eax 2.- Hallar la expresin general de la ecuacin: y + p(x) y + q(x) y = 0 cambiando la variable dependiente: a) y = z(x) xs b) y = z(x) eax

4.- Reduccin del orden

Hallar la segunda solucin de la ecuacin diferencial a) x2 y + b x y + c y = 0

ensayando como primera solucin y1 = x r . Estudiar todos los casos que se presentan. b) x2 y + x y + ( x2 - (1/4) ) y = 0 con y1 = sin x / x .

5.- Ecuaciones diferenciales lineales con coeficientes constantes

1.- Hallar las soluciones en todos los casos que se pueden presentar en la ecuacin: a) b) a) b) c) y + b y + c y = 0 y + y = 0 2.- Hallar la solucin general de: y + 3 y + 2 y = 0 y + 4 y + 4 y = 0 y - 4 y + 13 y = 0

Sac Edt d) e) f) g) y y y y + + + 5 y = 0 3 y - 4 y - 12 y = 0 12 y - 16 y = 0 15 y + 75 y + 125 y = 0

78

6.- Solucin de la Ecuacin no homognea. Mtodo de Lagrange.

a) b) c)

1.- Resolver. y + 3 y + 2 y = e2x y + 4 y + 4 y = e2x y + y = a cos x + b sin x

7.- Aplicaciones

1.- Analizar la respuesta del movimiento amortiguado de un sistema mecnico simple (Masa ; amortiguador; resorte elstico) regido por la ecuacin. a) m x + c x + k x = 0 b) m x + c x + k x = f(x) 2.- Analizar la respuesta del un circuito serie L-R-C regido por la ecuacin. a) b) L i + R i + 1/C i(t) dt = 0 L i + R i + 1/C i(t) dt = u(t)

Comparar los resultados con los obtenidos en el sistema mecnico 3.- Analizar la respuesta del un circuito paralelo L-R-C (sistema libre y forzado)