Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
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.
:
:
:
:
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.
2
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
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
f (x , y , y',...,y(n) ) = 0 Compatible
:=
f (x , y , y',...,y(n) ) = 0 Incompatible
:=
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
Def:
:=
f =0 EDLH :=
L(y) q(x) = 0
L(y) = 0
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
(x y k) = 0 :
(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.
(x y k) = 0
(x y k) = 0
x
f (x y y) = 0
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 )
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 =
y
TE = k
xk
x
T=
y
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:
E :D = [ a b] C
k E = (x(k) , y(k)) : E C/[ a b]
E 0
(x(k), y(k), k) = 0
(x, y, k) = 0
k (x, y, k) = 0
E S :
(x, y, k) = 0
H1.- 2
2
x + y 0
H2.- E Envolvente/
D.-
x = x( k )
: y = y( k )
2
2
x' + y' 0
(x, y, k) = 0
k (x, y, k) = 0
E S :
(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
H1.-
H2.- S
(x, y, k) = 0
:
k (x, y, k) = 0
(xk yk)
H3.-
D.-
C ( 2 )
( , k )
0
det J
( x, y )
kk 0
Como x2 + y2 0
x = x( k )
: y = y( k )
2
2
x' + y' 0
E nica E =
det J
( , k )
0
( x, y )
x2 + y2 0
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
(x, y, k) = 0
k (x, y, k) = 0
H2.- S :
H3.-
(x, y, k) = 0
lm
h 0 (x, y, k + h) = 0
(x, y, k) = 0
k (x, y, k) = 0
C ( 2 )
( , k )
0
det J
( x, y )
kk 0
(x, y, k + h) = 0
:= ( 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)
( , k ) 3( x k ) 2 1
=
= 6 (x k)
= 0
( k0 )
( x, y )
6( x k ) 0
kk = 6 (x k)
( k0 )
= 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
(x, y, k) = 0
k (x, y, k) = 0
H2.- S :
C ( 2 )
( , k )
0
det J
( x, y )
kk 0
H3.-
S= EH :
x = x( k )
E: y = y( k )
2
2
x' + y' 0
x = x( k )
H: y = y( k )
2
2
x' + y' = 0
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 . 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 + y 0
2
x = x( k )
E: y = y( k )
2
2
x' + y' 0
x = x( k )
+ y = 0 H : y = y ( k )
2
2
x' + y' 0
2
Envolvente
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.
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)
2.2.1.1.- CASO 1
f(x y) = 0 y = u(x)
I.- Def:
II:- Test de reconocimiento: Teorema de existencia de solucin de las funciones implcitas (Dini)
f: D R2 R2
(x p) f = f(x p)
T.-
y =
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
u(x) dx + C
2.2.1.2.- CASO 2
f(x y) = 0
I.- Def:
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
y = X(x) Y(y)
y = f(x y)
f(x y) = X(x) Y(y) fx / f = F(x)
fy / f = G(y)
D:
Condicin necesaria
fx / f
=
=
=
Anlogamente :
fy / f
G(y)
Condicin suficiente
fx / f
F(x)
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)
D:
Condicin necesaria
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
Y(y) = 0
1/Y(y) dy =
X(x) dx + C
Obs.: Las ED ya analizadas del tipo f(x y) = 0 f(y y) = 0 son de variables separables.
y = f(ax+by)
En el caso particular de
z = x+ y
resulta
1
dz =
dx + C
1+ f ( z )
2.2.2.3.- HOMOGENEAS
I.- Def:
y = f(y/x)
f(x y) = f(m)
D:
Condicin suficiente
f(y/x)
= f(m)
Condicin necesaria:
f (m) = f(y/x)
T2.-
y = f(x y)
y=tY
x=tX
f(x y) = f(y/x) f(y/x) = f(Y/X)
D:
Condicin suficiente
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
f(u) u = 0
x=0
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
mx 0 + ny 0 + p = 0
Se tienen los casos segn el determinante
a b
= a n b m
= det
m n
Caso II.1
Y = f (
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
KY + c
)
Y+p
Que es de Variables Separables.
Y = m + n f (
y + p(x) y = q(x)
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
p( x )
y =e
+ p( x )
p( x )
q(x) e
+ C e
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 =
y 1'
y 2'
q =
y1
y2
1
= (y2 y1 )
1
y 1'
= y1 y2 + y2 y1
y 2'
p(x) =
q(x) =
y 2 ' y 1'
y2 y1
y 1' y 2 y 1 y 2 '
y2 y1
IV.- Solucin general de una EDL de Primer Orden conocida una Solucin particular
I.- Def :
Dividiendo por yn
y'
y
z =
= q(x)
y
Se resuelve haciendo el cambio de variable
+ p(x)
y'
n1
z =
1
y1 n
1 n
y
z + p(x) (1 n) z = q(x)
z =e
( 1 n ) p ( x )
q(x) e
+ ( 1 n ) p( x )
+ C e
( 1 n ) p ( x )
I.- Def :
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 =
1
v
v [ 2 A y1 + B ] v A = 0
cuyo resultado es:
1
+ y1
y=
v
Se enuncia entonces:
y + p(x) y + q(x) y = 0
y'
=z
y
z( x )
z
y = e
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)
A'
A
z+
1
A
1
1 2
1
z +
z +B
z +C =0
A
A
A
A'
+ B ] y + A C y = 0
A
y = e
H2
p(x) =
H3
w=
T.-
z( x )
y'
=z
y
A'
+B
A
q(x) = A C
1
z
A
z+ z2 + p(x) y + q(x) = 0
(Ricatti)
1
y 2 y1
v2 =
1
y 3 y1
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
y 2 k ( x ) y 1
1 k ( x )
(x ) :=
y3 y2
y 3 y1
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
2
y1
2
= y2
2
y3
y1
y2
y3
1
1 = ( y2 y1) ( y3 y1) ( y3 y2) 0
1
y 1'
y1
A = y 2 '
y 3'
y2
y3
y1
B = y 2
2
y3
y 1'
A(x) =
B(x) =
C(x) =
y 2' 1
y 3' 1
y1
y2
y3
y1
2
C = y 2
2
y3
y 1'
y 2'
y 3'
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
: A(x) =
B(x) =
C(x) =
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
k2
y 2'
k1
k
y1 + 2 y 2
k1
y 1' +
w=
1
A
w=
1 y 1' + ky 2 '
A y 1 + ky 2
y = f(x y)
y = p
p = fx + fp p
p = g(x p)
2.2.4.2.- LAGRANGE
I.- Def.:
y = x a(y) + b(y)
x =
dp
p a( p )
p a( p )
II.- Soluciones singulares
p a(p) = 0
2.2.4.3.- CLAIRAUT
I.- Def.:
y = x y + b(y)
y = k y = k x + B
y = k x + B = x k + b(k)
y = k x + b(k)
III.- Solucin Singular ( envolvente)
p = cte , p = 0
[ x + b(y) ] = 0
fx dx + fy dy = 0
df = fx dx + fy dy = 0
f(x y) = C
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
D:
Condicin suficiente
P = f x
Py = fxy
Q = f y
Qx = fyx
Py = Qx
Condicin necesaria
P = f x
Py = fxy
Q = f y
Qx = fyx
P dx + Q dy = f x dx + f y dy
= df
Py = Qx
P dx + Q dy = 0
P dx + Q dy = df
(x y) :
(Q )
x
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
' y
=(y)
P' y Q' x
P
debiendo ser el segundo miembro solo funcin de y.
Sac Edt
29
Test
Cambio de variables
Definicin
Solucin General
1.1
f(x y)=0
f(x y) = 0 y = u(x)
Dini
1.2
f(x y)=0
f(x y) = 0 x = X(y)
Dini
p= y
1.3
f(y y)=0
f(y y) = 0 y = v(y)
Dini
1.4
f(y y)=0
f(y y) = 0 y = Y(y)
Dini
p= y
Variables Separables
2.1
Standard
y = X(x)Y(y)
fx / f = F(x)
fy / f = G(y)
1/Y(y) dy =
2.2
y = f(ax+by)
z = a x+ b y f(a x+ b y) = f(z)
1
dz =
a + bf ( z )
2.3
Homogneas
y = f(y/x)
y = u x f(y/x) = f(u)
1
du =
f (u ) u
2.4
Reducibles a Homogneas
Tipo I
y = f (
ax + by
)
mx + ny
2.5
Reducibles a Homogneas
Tipo II
y = f (
ax + by + c
)
mx + ny + p
Tipo II.1
=anbm0
Tipo II.2
=anbm=0
y=
u(x) dx + C
x = X(p)
x=
y=
p X(p) dp + C
1
dy + C
v( y )
v(y) = 0
X(x) dx + C
Y(y) = 0
dx + C
a + b f(z) = 0
1
dx + C
x
f(u) u = 0
x=0
Homognea
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
Soluciones
Singulares
Homognea
Variables separables
Sac Edt
30
Nombre
Test
Cambio de variables
Definicin
Solucin General
Ecuaciones Lineales de
Primer Orden
3.1
Standard
3.2
Bernouilli
y + p(x) y = q(x) yn
z=
3.3
Ricatti
Bernouilli
Ecuaciones resueltas en y
4.1
Standard
y = f(x y)
4.2
Lagrange
y = x a(y) + b(y)
y = p p = g(x p)
b' ( p )
a' ( p )
dx
x=
dp p a ( p )
p a( p )
4.3
Clairaut
y = x y + b(y)
Ec.Diferenciales Exactas
5.1
Standard
df = P(xy) dx + Q(xy) dy = 0
5.2
Factor Integrante
P(xy) dx + Q(xy) dy = 0
p( x )
y= e
y + p(x) y = q(x)
1
y1-n z+(1-n)p(x)z=q(x)
1 n
Py = Qx
fx = P fy = Q
(x y) : P dx + Q dy = df
P' y Q' x
' x
= +
= F(x)
Q
' y
P' y Q' x
P
= G(y)
Soluciones
Singulares
+ p( x )
p( x )
q(x) e
+C e
Lineal Standard
Lineal Standard
p a(p)=0
y = k x + b(k)
x+ b(y) = 0
f(x y) = k
Exacta
f(x y) = k
Sac Edt
31
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.
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
y =
Cn n xn1
(1+x) y y =
Cn n xn1 (1+ x)
0=
Cn xn = 0
Cn n xn1 +
0=
Cn (n 1) xn
En xn
E0 = 0
E1 = 0
E2 = 0
...
En = 0
C1 1 + C0 (1 ) = 0
C2 2 + C1 (11 ) = 0
C3 3 + C2 (21 ) = 0
Cn+1 (n+1) + Cn (n1 ) = 0
Sac Edt
32
En adelante por simplicidad, se llamar EDLH a las Ecuaciones diferenciales lineales y homogneas.
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
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.
3.2.-
(C , +C , . C ) EC
(R , +R , . R ) EC
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
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
(S C +C .C T P ) EEL
C
y1(x) +C y2(x)
C
k .C y(x)
Este teorema se prueba directamente verificando los 8 axiomas que definen la Estructura de Espacio Lineal
(Vectorial).
: D1 C
x y(x) = 0
{ yi } := { y1 , y2 , ... , yn }
Sea
{ yi } := { y1 , y2 , ... , yn }
x0 D1
y1
y 1'
y2
y 2'
... ...
... ...
y 1' '
...
y 2' '
...
... ...
y n' '
... ...
...
( n1 )
... ... y n
y1
( n1 )
y2
( n1 )
yn
y n'
Sac Edt
35
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
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 n y n (x)
= 0
+ k 2 y 2 ' (x)
= 0
+ k2 y2
(n - 1)
(x) + ... + k n y n
(n - 1)
= 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 n y n (x 0 )
= 0
+ k 2 y 2 ' (x 0 )
+ ... + k n y n ' (x 0 )
= 0
+ k2 y2
(n - 1)
(x 0 ) + ... + k n y n
(n - 1)
(x 0 )
= 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
36
W(x0) 0
k1
k2
... = =
k
n
0
0
...
0
{ yi } li
I Anillo en C
{ yi } Cn1 /I
{ yi } ld
/H3
[ /x0 I : W(x0) 0 ]
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]
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
/T
{ yi } ld
Sac Edt
W(x) =
37
x3
3x 2
x 3 sg ( x )
3 x 2 sg ( x )
x I
W(x) = 0 : =
W(x) 0
x = 1
k1 + k2 = 0
- k1 + k2 = 0
se tiene
k1 = k2 = 0
{x3 , |x|3} li
entonces
x [1 1 ]
W(x) = 0
{x3 , |x|3} ld
Contraejemplo 2:
y1 : I = [ - 1
y2 : I = [ - 1
1] R
x x2
x 0
1] R
x0
x<0
x 0
x0
x x2
x<0
W(x) =
x2
2x
0
0
0
0
= 0
x<0
W(x) =
x
2x
x I
W(x) = 0
= 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
I Anillo en C
{ yi } Cn1 /I
x0 I : W{ yi }/x0 0
H1
H2
H3
{ yi } li
T.-
T.-
{ yi } li
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)
+ k 2 y 2 (x)
+ ... + k n y n (x)
= 0
y 1' (x)
+ k 2 y 2 ' (x)
= 0
y1
(n - 1)
y1
(n)
(x)
(x)
+ k2 y2
(n - 1)
+ k2 y2
(n)
(x) + ... + k n y n
+ ... + k n y n
(x)
(n - 1)
(n)
(x)
= 0
= 0
(x)
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)
(n)
+ ... + k n y n ' (x 0 )
(x 0 ) + ... + k n y n
(x 0 )
+ ... + k n y n
(n - 1)
(n)
(x 0 )
(x 0 )
= 0
= 0
= 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:
k1
k2
... = =
k
n
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)
Sac Edt
H1
H2
H4
39
I Anillo en C
{ yi } Cn /I
x0 I : W{ yi }/x0 0
T.-
x0 I : W{ yi}/x0 0
Contraejemplo 1:
y1 : I = [ - 1
y2 : I = [ - 1
1] R
x 1
1] R
x x
0 1
0 0
= 1
x I
W{yi}/x = 1 := W{yi}/x 1
= 0
x I
W{yi}/x = 0 :=
W{yi}/x 0
Teorema 1
H1
H2
H3
I Anillo en C
{ yi } Cn1 /I
x0 I : W(x0) 0
{ yi } li
Sac Edt
40
Teorema 5
H1
H2
I Anillo en C
{ yi } S
S := { y : I C
x y(x) : L(y) :=
pk(x) y(k) = 0 }
k =n
H3
H4
pn1 H/I
x0 I : W(x0) 0
[ x I W(x) 0 ] =: W(x) / 0
T.- { yi } li
Teorema 3
H1
H2
I Anillo en C
{ yi } S
H3
pn1 H/I
D:
x0
pn1(x) dx ]
...
(n - 1)
(n)
+ ... + p 1 (x) y n ' + p 0 (x) y n = - y n
p n - 1 (x) y n
x0
pn1(x) dx ]
Sac Edt
41
( n1 )
( n 2 )
y1
( n1 )
y2
W(x) =
...
...
( n1 )
yn
y1
( n 2 )
y2
...
...
( n 2 )
yn
... y 1'
... y 2 '
... ...
... ...
... y n '
y1
y2
...
...
yn
y1
(n)
y2
W(x) = ...
...
(n)
yn
( n 2 )
y1
( n 2 )
y2
...
...
( n 2 )
yn
... y 1'
... y 2 '
... ...
... ...
... y n '
y1
y2
...
...
yn
( n1 )
y1
( n 1 )
y2
+
...
...
( n 1 )
yn
( n1 )
y1
( n1 )
y2
... +
...
...
( n1 )
yn
( n 1 )
y1
( n1 )
y2
...
...
( n1 )
yn
( n 2 )
y1
( n 2 )
y2
...
...
( n 2 )
yn
... y 1'
... y 2 '
... ...
... ...
... y n '
y1
y2
... + ...
...
yn
... y 1'
... y 2 '
... ...
... ...
... y n '
y 1'
y 2'
...
...
y n'
salvo el primer determinante todos los restantes son nulos por tener dos columnas iguales, por lo tanto
queda:
(n)
y1
(n)
y2
W(x) = ...
...
(n)
yn
( n 2 )
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[
pn1(x) dx ]
Para x = x0
W(x0) = k exp[
x0
pn1(x) dx ]
x0
pn1(x) dx ]
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
I Anillo en C
{ yi } S
pn1 H/I
x0 I : W(x0) 0
H1
H2
H3
H4
[ x I
W(x) 0 ]
=: W(x) / 0
pn1 H/I
exp[
x0
pn1(x) dx H/I
y adems como
x C
exp(x) 0
exp[
x0
pn1(x) dx 0
x0
se obtiene la tesis
pn1(x) dx ]
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
Teorema 5
H1
H2
I Anillo en C
{ yi } S
Sac Edt
43
S := { y : I C
x y(x) : L(y) :=
pk(x) y(k) = 0 }
k =n
H3
H4
pn1 H/I
x0 I : W(x0) 0
[ x I W(x) 0 ] =: W(x) / 0
T.-
{ yi } li
{ 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
...
(n - 1)
(n)
+ ... + p 1 (x) y n ' + p 0 (x) y n = - y n
p n - 1 (x) y n
pk(x)
k <0.. n1>
pk(x) = k / W(x)
k =
y2
( n1 )
( n1 )
y1
y2
...
...
yn
( n1 )
Si k 0 y
yn
( n 2 )
( n 2 )
...
... y 2
...
...
...
...
( n 2 )
W(x) 0
y1
( k +1 )
( k +1 )
...
...
... y n
( k +1 )
y1
(n)
...
y 1'
y1
y2
(n)
... y 2 '
y2
...
...
...
...
...
...
...
...
... y n '
yn
yn
(n)
/ 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
Sac Edt
44
H1 H3 /H4 T H2 =
Recordando
H1 H3 H2 T /H4 =
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
I Anillo en C
{ yi } S
S := { y : I C
x y(x) : L(y) :=
pk(x) y(k) = 0 }
k =n
H3
/H4
pn1 H/I
x0 I : W(x0) = 0
[ x I
W(x) = 0 ] =: W(x) 0
/T.-
{ yi } ld
Teorema 6
H1
H' 2
I Anillo en C
{ yi } S
S := { y : I C
0
x y(x) : L(y) :=
k =n
H3
p n-1 H / I
pk ( x ) y ( k ) = 0 }
x0
pn1(x) dx ]
Sac Edt
H4
45
x0 I : W(x0) 0
[ x I W(x) 0 ]
=:
W(x) / 0
T.-
{ yi } li
H1
x y(x) : L(y) :=
pk(x) y(k) = 0 }
k =n
dim(S) = n
H2
L(y) :=
pk(x) y(k) = 0
nica
k =n
D: []
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
Sac Edt
46
Por el Teorema 5
W(x) = 0 / pk(x)
Al no existir los coeficientes no puede construirse la ecuacin diferencial L(y) = 0 lo cual es absurdo.
yp}li
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
(n - 1)
+ p 0 (x) y 1
= 0
y2
(n - 1)
= 0
yn
(n - 1)
= 0
y n+ 1
(n - 1)
(n)
( n1 )
y1
y1
( n1 )
(n)
y2
y2
W(x) =
...
...
...
...
( n1 )
(n)
y n+ 1
y n+ 1
( n 2 )
y1
( n 2 )
y2
...
...
( n 2 )
y n+ 1
... y 1 '
... y 2 '
...
...
...
...
... y n + 1'
y1
y2
...
...
y n+ 1
p=n
[]
x I
entonces el sistema
yn}li
W(x) 0
Sac Edt
47
y1
(n)
+ p n - 1 (x) y 1
(n - 1)
= 0
y2
(n)
+ p n - 1 (x) y 2
(n - 1)
+ p 0 (x) y 2
= 0
(n)
+ p n - 1 (x) y n
(n - 1)
+ p 0 (x) y n = 0
...
yn
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
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:
y(k)(x0)
= bk
S := { y : I C
x y(x) : L(y) :=
pk(x) y(k) = 0 }
k =n
H2
y(x0)
y(x0)
y(x0)
...
y(k)(x0)
...
y(n-1)(x0)
= b0
= b1
= b2
y S : y(k)(x0) = bk
y nica
= bk
= bn-1
Sac Edt
48
= a1 y1(x)
y(x)
+ a2 y2(x)
+ an yn(x)
y(x)
= a 1 y 1 (x)
+ a 2 y 2 (x)
+ ... + a n - 1 y n - 1 (x)
+ a n y n (x)
= 0
y' (x)
= a 1 y 1' (x)
+ a 2 y 2 ' (x)
+ a n y n ' (x)
= 0
...
y (n - 1) (x) = a 1 y 1
(n - 1)
+ a2 y2
(x)
(n - 1)
(x) + ... + a n - 1 y n - 1
(n - 1)
(x) + a n y n
(n - 1)
(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 n - 1 y n - 1 (x 0 )
+ a n y n (x 0 )
= 0
+ a 2 y 2 ' (x 0 )
+ ... + a n - 1 y n - 1 ' (x 0 )
+ a n y n ' (x 0 )
= 0
+ a2 y2
(n - 1)
(x 0 ) + ... + a n - 1 y n - 1
(n - 1)
(x 0 ) + a n y n
(n - 1)
(x 0 ) = 0
y por lo tanto
x I
W(x) 0
ak(x) = Ak / W(x0)
donde
y1 ( x0 )
y2 ( x0 )
...
y k 1 ( x 0 )
b0
y k +1 ( x0 )
...
yn ( x0 )
y 1' ( x 0 )
y 2' ( x0 )
...
y k 1' ( x 0 )
b1
y k + 1' ( x 0 )
...
y n' ( x 0 )
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
Ak =
y1
( n1 )
( x0 )
y2
( n1 )
( x 0 ) ... y k 1
( n 1 )
( x 0 ) bn 1
y k +1
( n1 )
( x 0 ) ... y n
( n1 )
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)
n
y(x) =
k =1
( x0 )
Sac Edt
Def:
49
[ f1 = 0 ] [ f2 = 0 ]
:= [ S1/f1 = 0 ] = [ S2/f2 = 0 ]
[ f1 = 0 ] [ f 2 = 0 ]
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.
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
Sub(C)
z = f(x) : f biy zxx
z
Y(z)
H1
f : Sub(C)
x
x = f -1(z)
y(x)
H2
y + p(x) y + q(x) y = 0
yx = Yz zx
yxx = Yzz (zx )2 + Yz zxx
Y + [
x zz ' '
x z'
+ p xz ] Y + q (xz)2 Y = 0
Sac Edt
50
1
)
x z'
d(
dz x '
=
dx
zx =
dx
x zz ' '
( x z' )3
x zz ' '
+ p xz ] Y + q (xz)2 Y = 0
x z'
D2:
f: y(x) Y(z)
yx = Yz zx
Y '
yx = z
x z'
Y zz ' ' x z ' Y z ' x zz ' '
yxx =
( x z' )
1
x z'
x zz ' '
+ p xz ] Y + q (xz)2 Y = 0
x z'
Ejemplo
z = xs
x= zs
2
2
z s
Y + [ s (s1)
2
1
z s
+ p s
1
1
z s
Y + [[(s1) s1 ] z1 + p s1 z
1+
1
s
= 0
+ q Y(z)
= 0
] Y + q Y
] Y + q s2 z
= 0
2+
2
s
= 0
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
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
D1:
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
p( x )
g2 e
+a g
[ 2 g + p g ] = 0
p
g'
=
g
2
Sac Edt
52
Lg =
1
2
g =a e
p(x) + La
1
2
p( x )
Resulta
z g + z [ g + p g + q g ] = 0
g =a e
1
2
1
p( x )
2
1
p( x )
2
(
g = a e
g = a e
a e
p( x )
1
p( x )
2
[
z + z [
1
p)
2
1
p )2 + a e
2
z + z [ (
1
p( x )
2
1
p )
2
1 2
1
1
p ) + ( p ) + p ( p ) + q ] ] = 0
2
2
2
1 2 1
p p + q ] = 0
4
2
z + z2 + p z + q = 0
(Ricatti )
z y + z y + p [ z y ] + q y = 0
z + z2 + p z + q = 0
(Ricatti )
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
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.
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
T3.-
{ y1 y2 } Base/S
y 12
y = u y1
y = u y1 +
y = u y1 +
u y1
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.
Sac Edt
54
y '
u' '
= [ p +2 1 ]
u'
y1
L(u ) =
p(x) 2 L(y1)
p( x )
u = 1 e
y 12
y2 (x) = y1
1
y 12
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=
y1
y 1'
y2
y 2'
W=
y1
y 1'
uy 1
uy 1 ' + u' y 1
W=
y1
y 1'
0
u' y 1
p( x )
W = y12 u = y12 1 e
y 12
p( x )
0
W= e
W0
{ y1 y2 } li
{ y1 y2 } Base/S
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
S := { y : I C
x y(x) : L(y) :=
pk(x) y(k) = 0 }
k =n
H2
H3
y1S / L(y1) = 0
y = u y1 yk = uk y1
k <2 .. n >
T1.- L1 (u) :=
qk(x) u(k) = 0
k =n
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
56
qn(x) u(n) + qn1(x) u(n-1) + ... + q2(x) u + q1(x) u = 0
L1 (u) :=
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
. y1
y2 = u2 y1
y3 = u3 y1
un
yn = un y1
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
T.-
{ yi } li
Se demostrar que:
W{ uk}/x0 0
T.-
y2
y2 '
y2 ''
...
{ ui } li
T.-
{ yk = uk y1 } li
y 2 ( n 1)
...
...
...
...
...
...
yn
...
yn '
...
yn ''
...
...
... y n ( n 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
...
...
...
...
...
...
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
Sac Edt
57
y1
... ...
y1 '
u 2 ' y1
... ...
u n ' y1
... ...
... ...
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
W = y1 2
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
Restando a cada fila k (desde 1 hasta n1 ) la primera fila multiplicada por C(k,1) y(k1) se obtiene
u2'
un '
u 2 ' ' y1
u n ' ' y1
W = y12
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 :
W = y1 3
u2'
u2 ''
C(3,2)u 2 ' ' y1 '+ u (23) y 1
...
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 (n3) y 1
...
...
... C(n 1,2)u n ' y 1 ( n 3) + ... + u n ( n 1) y 1
y as siguiendo se llega a :
W = y1 n
u2'
u2 ''
u (23)
...
u 2 ( n 1)
...
...
...
...
...
...
...
...
...
...
...
un '
...
un ''
...
u (n3)
...
...
... u n ( n 1)
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 '
( 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)
= u1 y1
+ u2 y2
+ ... + un yn
= u1 y1
+ u2 y2
+ ... + un yn
= u1 y1
+ u2 y2
+ ... + un yn
L(y) = f(x)
+ [ u1 y1
[
+ [ u1 y1
[
+ u2 y2
+ ... + un yn
= 0
+ u2 y2
+ ... + un yn
= 0
]
]
]
]
...
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
Sac Edt
59
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)
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.
Sac Edt
60
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.
4
1
y + (1 2 ) y = 0
x
x
y +
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 + )
Ck x
k+ r
k =0
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.
p(x) =
1
x
q(x) = 1
4
x2
y =
Ck x
k+ r
k =0
y =
Ck (k + r) x k +
r1
k =0
y =
k =0
Ck (k + r) (k + r 1) x k +
r2
Sac Edt
61
Ck x
k+ r+2
k =0
x y =
2 Ck x
k+r
k =0
Ck (k + r) x k + r
k =0
x2 y =
Ck (k + r) (k + r 1) x k + r
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
0 =
Ck ( k + r )( k + r + ) + Ck 2 ] x k + r
k =0
( C 2 = 0 )
0 = E1 = C1 (1 + r 2 ) (1 + r + 2) + C 1 = 0
( 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.
( 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
62
r1 = 2
r2 = 2
= r 1 r2 = 4
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.
C k 2
k (k + 4)
C1 = 0
C3 = 0,
...
C2p+1 = 0
C2 =
C2p =
C2p =
C0
2( 2 + 4)
(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) =
C2p =
1
22
queda
(1) p
2 2 p + 2 p! ( p + 2)!
Resulta la solucin y1
y1 =
(1) p x
p!(p + 2)! 2
p =0
2p+2
Sac Edt
63
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
2p + 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
D1 = 0
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 =
Dk x k + r2
k =0
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 =
Dk x k + r2 + y1 Lx
k =0
Entonces un mtodo para encontrar la segunda solucin y2 es repetir el procedimiento hecho para la Primera
Solucin, derivando trmino a trmino:
y2 =
Dk x k + r2
+ y1 Lx
Dk (k + r2) x k + r2 1
+ y1 Lx + y1
k =0
y2 =
k =0
y2 =
1
x
Dk (k + r2) (k + r2 1) x k + r2 2 + y1 Lx + 2 y1
k =0
1
1
y1 2
x
x
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 +
k =0
+ x2 y1 Lx
+ x y1 Lx
+ (x2 42) y1 Lx
+ 2 x y1
+ y1
y1
= 0
Los tres trminos que contienen Lx se anulan por ser y1 solucin de la Ecuacin Diferencial. Tambin se simplifican
los ltimos dos trminos
0=
{ Dk[ (k + r)(k + r 1) + (k + r) 4 ] + Dk 2 } x k2 + 2 x y1
k =0
0=
k =0
0=
x
[ Dk (k + r 2 ) (k + r + 2) + Dk 2 ] x k2 + 4
2
[ Dk (k + r 2 ) (k + r + 2) + Dk 2 ] x k2 + 2
k =0
p =0
(1) p x
p! (p + 2)! 2
(1) p x
p!(p + 2)! 2
2 p +1
1
(2p+2)
2
2p + 2
(2p+2)
p =0
kIm par
C2p+1 = 0
Ck =
kPar
=
C2p =
0 = E0 = D0 (0 4 ) 0 + D 2 = 0
(1) p
2 2 p + 2 p! (p + 2)!
( D2 = 0 )
D0 Arbitrario y no nulo
Sac Edt
65
0 = E1 = D1 (1 4 ) 1 + D 1 = 0
( D1 = 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!
D1 = 0
D2 = D0 / 4
D3 = 0
=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 =
1
0
4
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
=0
=0
y resulta D4 es arbitrario (nulo o no nulo). Luego se sigue en forma recursiva sin inconveniente:
D5 = 0
y en general todos los coeficientes de subndice impar D2p+1 son nulos pues C2p+1 = 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!
Sac Edt
66
D 2p 2
+ D0
2 ( p 2)p
D 2p 2
+ D0
2 ( p 2)p
(1) p 2
2 2 p 2 (p 2)! p!
(1) p 2
2 2 p 2 (p 2)! p!
(2p 2) = 0
(2p 2)
=0
(1) p
2
2p2
1 2p 2
(p 2)! p! 4 (p 2)p
(1) p
2
2p2
1
1
1
+ ]
[
(p 2)! p! 4 (p 2) p
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!
D6 =
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
[ D4 23 + D0
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!
D10 = (1)3
D10
[ 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
1
1 x
y1 Lx + D0
4 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
+
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 + 4
2q + 2
22
Sac Edt
67
y2 = D 0
1
3
y1 Lx + D4 23 y1 D0 y1 +
8
2
+ D0
1 x
[
4 2
+ 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
H1
H' 2
I Anillo en C
{ yi } S
S := { y : I C
0
x y(x) : L(y) :=
pk ( x )y ( k ) = 0 }
k =n
H3
p n -1 H / I
H4
x0 I : W(x0) 0
[ x I
W(x) 0 ]
=:
W(x) / 0
x0
T.-
pn1(x) dx ]
{ yi } li
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.-
L1 (u) := y1 u + [ p y1 + 2 y1 ] u = 0
1 e p( x ) dx
y (x) = y
T3.-
{ y1 y2 } Base/S
y 12
Sac Edt
68
y1
y1(k ) = 0
D1.-
k Cero simple
y 1 ( k ) = 0
y1(k ) = 0
W(k ) = 0 Absurdo
D2.-:
k Cero doble
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
y2 : L(y2) = 0
y1(k ) = 0
{y1 y2 } li
y2(k ) 0
Sac Edt
D1.-
69
y 1 ( k ) = 0
y 2 ( k ) = 0
W(k ) = 0
Absurdo
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
y2 : L(y2) = 0 {y1 y2 } li
y1(k ) = 0 y1(k+1) = 0 ceros consecutivos
D.-
x0
pn1(x) dx ]
W(x0) = cte 0
donde
exp[
pn1(x) dx ] > 0
x0
k ] k k+1 [ : y2(k) = 0
k nico en [ k k+1 ]
y1 (x) k +1
=
y 2 (x) k
1
[ y 2 (x) ]
k +1
x0
pn1(x) dx ]
W(x0) exp[
1
[ y 2 (x) ]
x0
pn1(x) dx ]
W(x0) exp[
x0
pn1(x) dx ]
y1 (x)
C / [k k+1 ]
y 2 (x)
y1 (x) k +1
= 0 0 Absurdo
y 2 (x) k
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
y2(k ) = 0 y2(k+1) = 0
H3
k ] k k+1 [ : y1(k) = 0
(Ricatti simplificada)
y'
= z
y
y = e
y + p(x) y + q(x) y = 0
(Ricatti simplificado)
z+ z2 + p(x) y + q(x) = 0
(Ricatti Cannica)
w=
A'
1
z p= A + B
A
q = AC
z+ z2 + p(x) y + q(x) = 0
D.- Lema 1.- Equivalencia entre EDLH de Segundo Orden a Ricatti simplificada
y'
= z
y
y = e
y + p(x) y + q(x) y = 0
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 = e
z( x )
y = e
z( x )
y'
=z
y
z
z2 + e
z( x )
Reemplazando en la EDLH
e
z( x )
[ z + z2 + p z + q ] = 0
z + z2 + p z + q = 0 (Ricatti simplificada)
z+ z2 + p(x) y + q(x) = 0
A'
1
z p= A + B
A
q = AC
Absurdo
Sac Edt
71
(Ricatti Cannica)
a la forma de ED
z + z2 + p z + q = 0
(Ricatti simplificada)
A'
A
z+
1
A
(es decir w =
1
z)
A
1
1 2
1
z +
z +B
z +C =0
A
A
A
3.-
w +
w2
xw 2x = 0
x
1
1
A = 2
A=
x
x
B=x
C=2x
Las ED equivalentes son:
z + z2 + (
1
x) z 2 = 0
x
p(x) =
A'
1
+B =
x
A
x
q(x) = A C = 2
Sac Edt
y + (
72
1
x) y 2 y = 0
x
II.- Obtencin de una Solucin de las ED que es una Solucin Particular de Ricatti
y=
Ck x k+r
k =0
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
C2p+1 = 0
1
1
2
1
2.4
1
2.4.6
Ck =
C0 =
C1 =
C2 =
C4 =
C6 =
C2p =
1
1
= p
2.4.6.....2p
2 p!
Una solucin de la EDL es:
+
y1 =
2 p p!
p =0
2p
x2
e2
x2
e2
y =
y =
x2
e2
x2
e2
x
2
x2
e2
x +
Reemplazando en la ED Lineal de Segundo Orden
1
y y + ( x) y 2 y = e
x
x2
2
x +
x2
e2
1
+ ( x) e
x
x2
2
x2
e2
Sac Edt
73
x2
e2
[ x2 + 1 + 1 x2 2 ] = 0
1
z
A
w=
1
z = x x = x2
A
v + x
v(x) = e
x2
2
1
e
x
x2
2
+ k e
x2
2
se reduce a ED lineal
u=
1
v
Sac Edt
74
1
+ w1 = e
w = u + w1 =
v
x2
2
1
k+
x2
e 2
+ x2
dx
ECUACIONES DIFERENCIALES
y + (1x2 )1/2 = 0
2 y'
x+
= 0
1 + y' 2
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
1.- Integrar
y = y/x + 1
(x2 y2 ) dx 2 x y dy = 0
(2xy y2 ) dx x dy = 0
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.-
a.b.-
Sac Edt
c.-
y +
76
y2
xy = 2x
x
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.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
( 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
Sac Edt
77
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 }
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 .
1.- Hallar las soluciones en todos los casos que se pueden presentar en la ecuacin:
a)
b)
y + b y + c y = 0
y + y = 0
a)
b)
c)
Sac Edt
d)
e)
f)
g)
y
y
y
y
78
+
+
+
5 y = 0
3 y - 4 y - 12 y = 0
12 y - 16 y = 0
15 y + 75 y + 125 y = 0
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)