260

CAPTULO 5


ECUACIONES DIFERENCIALES DE COEFICIENTES
VARIABLES

5.1. INTRODUCCIN.

Una ecuacin diferencial lineal de coeficientes variables presenta la forma general:

| | ) ( ) ( ) ( ) ( ) ( ... ) ( ) (
0 1
2
2
1
1
x f x y x a D x a D x a D x a D x a
n
n
n
n
= + + + + +

De acuerdo con lo estudiado previamente, la solucin general de la ecuacin diferencial
es de la forma:
) ( ) ( .... ) ( ) ( ) (
2 2 1 1
x y x y C x y C x y C x y
p n n
+ + + + =

En la expresin anterior se tiene que: { }
n
y y y ,...., ,
2 1
es un conjunto fundamental de
soluciones de la homognea asociada mientras que
p
y es una solucin particular de la
no homognea.
Para el caso de coeficientes constantes es relativamente simple determinar la solucin
general sin embargo, para coeficientes variables la situacin puede ser bastante
complicada. Algunas ecuaciones diferenciales tienen un tratamiento similar al de las de
coeficientes constantes, tal es el caso de la ecuacin diferencial de Euler. Para los otros
casos se ver que el mtodo adecuado de solucin es el de las series de potencias.

5.2. LA ECUACIN DIFERENCIAL DE EULER.

La ecuacin diferencial de Euler de orden n presenta la forma general:

| | ) ( ) ( ...
0 1
2 2
2
1 1
1
x f x y a xD a D x a D x a D x a
n n
n
n n
n
= + + + + +

La homognea asociada admite soluciones de la forma ; y x C

= . As las cosas, al
reemplazar idnticamente en la homognea resulta una ecuacin polinmica conocida
como ecuacin caracterstica, as:

0 ) 1 (
... )) 2 ( )....( 2 )( 1 ( )) 1 ( )....( 2 )( 1 ( ) (
0 1 2
1
= + +
+ + + =

a a a
n a n a P
n n




Resolviendo la ecuacin resulta un conjunto fundamental de soluciones de la
homognea.
En cuanto a la solucin particular se aplica el mtodo de variacin de parmetros,
previamente desarrollado.
Para facilitar la comprensin del mtodo se iniciar con la ecuacin diferencial de Euler
de segundo orden.



261
La ecuacin diferencial de Euler de segundo orden.

La ecuacin diferencial de Euler de segundo orden presenta la forma general:

tes cons q p x r x x qy x pxy x y x tan : , ) ( ) ( ) ( ' ) ( ' '
2 2
= + +

El intervalo de validez de la solucin de la homognea es { } 0 / = x R x I . Para
determinar el conjunto fundamental de soluciones de la homognea se supone que
admite soluciones de la forma

x y = , con lo que resulta la ecuacin caracterstica:

0 ) 1 ( = + + q p

Al resolver la ecuacin se pueden presentar los siguientes casos:

1. Las races son reales y distintas. En este caso, el conjunto fundamental de soluciones
de la homognea es:
{ } { }
2 1
, ,
2 1

x x y y =

2. Las races son reales e iguales = =
2 1
. En este caso, el conjunto fundamental de
soluciones de la homognea es:
{ } { } x x x y y ln , ,
2 1

=

La segunda solucin se obtiene por el mtodo de reduccin de orden.

3. Las races son complejas conjugadas j =
2 1
, . Puede demostrarse que un
conjunto fundamental de soluciones es:

{ } { } x x x sen x y y ln cos( , ln ( ,
2 1


=

Ejemplo 5.1.

Encuentre la solucin general de la siguiente ecuacin diferencial en el intervalo: 0 > x

3 2
4 ) ( ) ( ' ) ( ' ' 2 x x y x xy x y x = +

Solucin.
Primero que todo se escribe la ecuacin caracterstica, as:

0 1 ) 1 ( 2 = +

La ecuacin se puede escribir en forma factorizada, as:

0 ) 1 )( 1 2 ( =

En consecuencia, un conjunto fundamental de soluciones de la homognea es:

{ } { } x x y y , ,
2 1
=


262
Para determinar la solucin particular se escribe la ecuacin diferencial dada en su
forma normalizada, as:
x x y
x
x y
x
x y 2 ) (
2
1
) ( '
2
1
) ( ' '
2
= +

Por el mtodo de variacin de parmetros, la solucin particular es de la forma:

2 2 1 1
u y u y y
p
+ =

La aplicacin del mtodo nos conduce a:

(

=
(

(
(

x u
u
x
x x
2
0
'
'
2
1
1
2
1


El Wronskiano del sistema es:
2
) (
x
x W =

Aplicando la regla de Cramer, se tiene:

x x u x u x u
x
x u x u x x u
x
2
2
2
3
2
2
2
2
1 1 1
5
4
4 ' 2 '
2
2 4 ' 2 '
2
= = =
= = =

Resolviendo las operaciones se encuentra que la solucin particular es:

3
5
6
x y
p
=

Por tanto, la solucin general de la ecuacin diferencial es:

3
2 1
5
6
) ( x x C x C x y + + =

La ecuacin diferencial de Euler de tercer orden.

La forma general de la ecuacin de Euler de tercer orden es:

tes cons s q p x r x x sy x qxy x y px x y x tan : , , ) ( ) ( ) ( ' ) ( ' ' ) ( ' ' '
3 2 3
= + + +

La ecuacin caracterstica de la homognea asociada es:

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

Al resolver la ecuacin caracterstica se pueden presentar los siguientes casos:



263
1. Las tres races son reales y diferentes:
1 2 3
, ,
En este caso, un conjunto fundamental de soluciones de la homognea es:

{ } { }
3 2 1
, , , ,
3 2 1

x x x y y y =

2. Las tres races son reales, pero dos de ellas son iguales:
1 2 3
, = =
En este caso, un conjunto fundamental de soluciones de la homognea es:

{ } { } x x x x y y y ln , , , ,
3 1
3 2 1

=

3. Las tres races son reales e iguales: = = =
3 2 1

En este caso, un conjunto fundamental de soluciones de la homognea es:

{ } { } x x x x x y y y
2
3 2 1
ln , ln , , ,
3

=

4. Dos races son complejas conjugadas y la otra es real:
1 2 3
, , j j = + =
En este caso, un conjunto fundamental de soluciones de la homognea es:

{ } ( ) ( ) { } x x x sen x x y y y ln cos , ln , , ,
1
3 2 1


=

Ejemplo 5.2.

Encuentre la solucin general de la siguiente ecuacin diferencial en el intervalo: 0 > x

2 3
) ( 4 ) ( ' 2 ) ( ' ' ' x x y x xy x y x = +

Solucin.
Primero que todo se escribe la ecuacin caracterstica, as:

0 4 2 ) 2 )( 1 ( = +

La ecuacin se puede escribir en forma factorizada, as:

0 ) 2 )( 1 (
2
= +

En consecuencia, un conjunto fundamental de soluciones de la homognea es:

{ } { } x x x x y y y ln , , , ,
2 2 1
3 2 1

=

Para determinar la solucin particular se escribe la ecuacin diferencial dada en su
forma normalizada, as:
1
3 2
) (
4
) ( '
2
) ( ' ' '

= + x x y
x
x y
x
x y

Por el mtodo de variacin de parmetros, la solucin particular es de la forma:



264
3 3 2 2 1 1
u y u y u y y
p
+ + =

La aplicacin del mtodo nos conduce a:

(
(
(

=
(
(
(

(
(
(

+
+

1
3
2
1
3
2
2 2 1
0
0
'
'
'
3 ) ln( 2 2 2
) ln( 2 2
) ln(
x u
u
u
x x
x x x x x
x x x x


El Wronskiano del sistema es 9 ) ( = x W . Aplicando la regla de Cramer, se tiene:

) ln(
3
1
3
1
' 3 ' 9
) ln(
9
1
) ( ln
6
1
9
1
) ln(
3
1
' ) ln( 3 ' 9
27 9
' ' 9
3
1
3
1
3
2
2
1 1
2
1 1
2
3
1
2
1
2
1
x u x u x u
x x u x x x u x x x u
x
u
x
u x u
= = =
= = =
= = =




Resolviendo las operaciones se encuentra que la solucin particular es:

) ln(
9
1
27
1
) ( ln
6
1
) ln(
3
1
) ln( ) ln(
9
1
) ( ln
6
1
27
2 2 2 2 2 2 2
3
1
x x x x x y x x x x x x
x
x y
p p
+ = + |
.
|

\
|
+ =


Por tanto, dado que los dos ltimos trminos de la particular hallada son linealmente
dependientes con la complementaria, la solucin general de la ecuacin diferencial es:

) ( ln
6
1
) ln( ) (
2 2 2
3
2
2
1
1
x x x x C x C x C x y + + + =



Ejemplo 5.3.

Encuentre un conjunto fundamental de soluciones para cada una de las siguientes
ecuaciones diferenciales:

1. 0 ' ' '
2
= + y xy y x
2. 0 ' ' '
2
= + + y xy y x
3. 0 ' ' '
2
= + y xy y x
4. 0 2 ' 3 ' '
2
= + + y xy y x
5. 0 8 ' ' ' 3 ' ' '
2 3
= + + y xy y x y x

Solucin.
1. La ecuacin caracterstica es:

0 ) 1 )( 1 ( 0 1 0 1 ) 1 (
2
= + = = +

El conjunto fundamental de soluciones es:


265
{ } { }
1
2 1
, ,

= x x y y

2. La ecuacin caracterstica es:

1 , 0 1 0 1 ) 1 (
2 1
2
j = = + = + +

El conjunto fundamental de soluciones es:

{ } { } ) cos(ln ), (ln ,
2 1
x x sen y y =

3. La ecuacin caracterstica es:

0 ) 1 )( 1 ( 0 1 2 0 1 ) 1 (
2
= = + = +

El conjunto fundamental de soluciones es:

{ } { } x x x y y ln , ,
2 1
=

4. La ecuacin caracterstica es:

1 1 , 0 2 2 0 2 3 ) 1 (
2 1
2
j = = + + = + +

El conjunto fundamental de soluciones es:

{ } { } ) cos(ln ), (ln ,
1 1
2 1
x x x sen x y y

=

5. La ecuacin caracterstica es:

0 8 3 3 2 3 0 8 ) 1 ( 3 ) 2 )( 1 (
2 2 3
= + + + = + +

Simplificando, se tiene:

3 1 , 2 0 ) 4 2 )( 2 ( 0 8
3 2 1
2 3
j = = = + + =

El conjunto fundamental de soluciones es:

{ } { } x x x sen x x y y y ln 3 cos( , ln 3 ( , , ,
1 1 2
3 2 1

=

Ecuaciones diferenciales reducibles a Euler.

Algunas ecuaciones diferenciales se pueden reducir a ecuaciones de Euler mediante un
cambio de la variable dependiente, tal es el caso de la ecuacin diferencial:

) ( ) ( ) ( ' ) ( ) ( ' ' ) (
2
x f x dy x y b ax c x y b ax = + + + +

Con base en lo estudiado previamente, el intervalo de validez de la solucin es:


266
{ } 0 / + = b ax R x I

Para convertirla en una ecuacin diferencial de Euler se hace el cambio de variable:

b ax z + =

Con el cambio de la variable independiente se aplica la regla de la cadena para obtener:

) ( ' ' ) ( ' '
'
) ( ' '
) ( ' ) ( ' ) ( '
2
z y a x y
dx
dz
dz
dy
x y
z ay x y
dx
dz
dz
dy
x y
= =
= =


As las cosas, la ecuacin diferencial para la nueva variable es:

|
.
|

\
|
= + +
a
b z
f z dy z cazy z y z a ) ( ) ( ' ) ( ' '
2 2


Ejemplo 5.4.

Encuentra la solucin general de la ecuacin diferencial:

2 2 ) ( 4 ) ( ' ) 1 2 ( 2 ) ( ' ' ) 1 2 (
2
+ = + + + x x y x y x x y x

Solucin.
Al efectuar el cambio de variable resulta la ecuacin diferencial:

4
1
) ( ) ( ' ) ( ' ' 1 ) ( 4 ) ( ' 4 ) ( ' ' 4
2 2
+
= + + = +
z
z y z zy z y z z z y z zy z y z

La ecuacin caracterstica es:

0 ) 1 )( 1 ( 0 1 0 1 ) 1 (
2
= + = = +

Un conjunto fundamental de soluciones de la homognea es:

} , { } , {
1
2 1

= z z y y

En cuanto a la solucin particular, resulta
2
1
1
u z zu y
p

+ = , dnde:

(
(

+
=
(

2
2
1
2
1
4
1
0
'
'
1
z
z
u
u
z
z z


El estudiante puede verificar que la solucin particular es:



267
4
1
ln
8
1
) ( = z z z y
p


Retornando a la variable original se tiene que la solucin general de la ecuacin
diferencial es:
2
1
4
1
) 1 2 ln( ) 1 2 (
8
1
) 1 2 ( ) 1 2 ( ) (
1
2 1
> + + + + + + =

x x x x C x C x y

Se sugiere al estudiante que resuelva los siguientes ejercicios propuestos.

EJERCICIOS 5.2.

Encuentre un conjunto fundamental de soluciones para cada una de las siguientes
ecuaciones diferenciales:

1. 0 4 ' ' '
2
= + y xy y x 2. 0 4 ' ' '
2
= + + y xy y x
3. 0 4 ' 3 ' '
2
= + y xy y x 4. 0 10 ' 3 ' '
2
= + + y xy y x
5. 0 ' ' ' 3 ' ' '
2 3
= + + xy y x y x 6. 0 ' ' ' 3 ' ' '
2 3
= + + xy y x y x
7. 0 ' ' ' 2 ' ' '
2 3
= + + y xy y x y x 8. 0 5 ' 5 ' ' 6 ' ' '
2 3
= + + y xy y x y x
9. 0 8 ' ) 3 2 ( 8 ' ' ) 3 2 (
2
= + + y y x y x 10. 0 8 ' ) 3 2 ( 10 ' ' ) 3 2 (
2
= + + + + y y x y x

Resuelva cada uno de los siguientes problemas de valor inicial.

11. 0 ) 1 ( ' 0 ) 1 ( 4 ' ' '
2
= = = + y y x y xy y x
12. 0 ) 1 ( ' 0 ) 1 ( 4 ' 3 ' '
2 2
= = = + y y x y xy y x
13. 0 ) 1 ( ' 0 ) 1 ( 4 ' ' '
3 2
= = = + + y y x y xy y x
14. 1 ) 1 ( ' 0 ) 1 ( 0 ' ' ' 3 ' ' '
2 3
= = = + + y y xy y x y x
15. 1 ) 1 ( ' ' 0 ) 1 ( ' 0 ) 1 ( 0 ' ' ' 3 ' ' '
2 3
= = = = + + y y y xy y x y x

Encuentre la solucin general para cada una de las siguientes ecuaciones diferenciales

16. x y y x y x 2 8 ' ) 3 2 ( 8 ' ' ) 3 2 (
2
= + +
17.
2 2
' ' ' 3 ' ' ' x y xy y x = + +
18.
3 2 3
' ' ' 2 ' ' ' x y xy y x y x = + +
19.
2 2 3
5 ' 5 ' ' 6 ' ' ' x y xy y x y x = + +
20. ) ln( ' ' ' 3 ' ' '
2
x x y xy y x = + +

5.3. SERIES DE POTENCIAS.

Consideremos una funcin de variable real: ) (x f y = tal que la funcin y todas sus
derivadas son continuas en un intervalo R I y sea I x
0
. Una serie infinita de
potencias, conocida tambin como serie de Taylor, centrada en el punto, es una
expresin de la forma:


268


+ = =

=
+ = =
1
0
0
0
0
0
) ( ) ( ) ( ) (
N k
k
k
N
k
k
k
k
k
k
x x c x x c x x c x s

La serie, en su forma expandida, es:

... ) ( ) ( ... ) ( ) ( ) (
1
0 1 0
2
0 2 0 1 0
+ + + + + + =
+
+
N
N
N
N
x x c x x c x x c x x c c x s

Concepto de convergencia.

Se dice que una serie de potencias: ) (x s converge a una funcin: ) (x f en un entorno
del punto:
0
x s se verifica que ) ( ) ( x s x f . El intervalo de convergencia de la serie
viene dado por:
} / {
0
< = x x R x I

En la expresin anterior, es el radio de convergencia de la serie. La convergencia
significa que la serie es idntica a la funcin en cada punto del intervalo de
convergencia.
De acuerdo con lo anterior podemos escribir:

+ =
+ + + + + =
1
0 0
2
0 2 0 1 0
) ( ) ( ... ) ( ) ( ) (
N k
k
k
N
N
x x c x x c x x c x x c c x f

En la expresin anterior, aparece un polinomio de grado: n que se utiliza para
aproximar la funcin en el intervalo de convergencia. Intuitivamente, el polinomio de
aproximacin es mejor en la medida en que el grado del polinomio sea mayor.
El resido de la serie viene dado por:

+ =
=
1
0 0
) ( ) , (
N k
k
k N
x x c x x R
La convergencia implica que:
0 ) , (
lim
0
=

x x R
N
N


Clculo de los coeficientes de la serie.

Dado que la serie es convergente a la funcin en cada punto del intervalo de
convergencia, todas las derivadas de la funcin coincidirn con todas las derivadas de la
serie, es decir, se verifican las siguientes identidades:

... ) ( 120 24 ) (
... ) ( 60 ) ( 24 6 ) (
... ) ( 20 ) ( 12 ) ( 6 2 ) (
... ) ( 5 ) ( 4 ) ( 3 ) ( 2 ) (
... ) ( ) ( ) ( ) ( ) ( ) (
0 5 4
4
2
0 5 0 4 3
3
3
0 5
2
0 4 0 3 2
2
4
0 5
3
0 4
2
0 3 0 2 1
5
0 5
4
0 4
3
0 3
2
0 2 0 1 0
+ + =
+ + + =
+ + + + =
+ + + + + =
+ + + + + + =
x x c c x f D
x x c x x c c x f D
x x c x x c x x c c x f D
x x c x x c x x c x x c c x Df
x x c x x c x x c x x c x x c c x f




269
Evaluando en el punto
0
x x = , resulta:

!
) (
....
! 3
) (
! 2
) (
) ( ) (
0 0
3
3
0
2
2 0 1 0 0
n
x f D
c
x f D
c
x f D
c x Df c x f c
n
n
= = = = =

Criterio de la razn.

El criterio de la razn, que es el cociente entre dos trminos consecutivos de la serie,
permite determinar el intervalo de convergencia de una serie, as:

1
) (
) (
0
1
0 1
<

+
+
n
n
n
n
x x c
x x c
n
Lim


En la expresin anterior se supone que la diferencia, en grado, entre dos trminos
consecutivos es la unidad. Lo anterior no es necesariamente cierto en todos los casos.

Series de Maclaurin.

Cuando el punto alrededor se hace el desarrollo de la serie es 0
0
= x , la serie de Taylor
recibe el nombre de serie de Maclaurin.
A continuacin se muestra una tabla con las series asociadas a las funciones de mayor
inters en ingeniera. Se indica, en cada caso, el intervalo de convergencia.

1. Funcin exponencial.

R I
x x x x
x
k
x
e
k
k
x
= + + + + + + = =

=
....;
! 5 ! 4 ! 3 ! 2
1
!
5 4 3 2
0


2. Funcin seno.
( )
R I
x x x
x
k
x
x sen
k
k k
= + + =
+

=
+
....;
! 7 ! 5 ! 3 ! 1 2
) 1 (
) (
7 5 3
0
1 2


3. Funcin coseno.
( )
R I
x x x
k
x
x
k
k k
= + + =

=
....;
! 6 ! 4 ! 2
1
! 2
) 1 (
) cos(
6 4 2
0
2

4. Funcin:
x 1
1


} 1 / { ....; 1
1
1
5 4 3 2
0
< = + + + + + + = =

=
x R x I x x x x x x
x
k
k


5. Funcin: ) 1 ln( x
} 1 / { ....;
5 4 3 2 1
) 1 ln(
5 4 3 2
0
1
< = + + + + + =
+
=

=
+
x R x I
x x x x
x
k
x
x
k
k




270
Es posible determinar la serie de Maclaurin de cualquier funcin mediante el clculo
directo de los coeficientes o haciendo uso de la s series de funciones conocidas.

Ejemplo 5.5.

Escriba la serie de Maclaurin para la funcin ) 3 2 ln( ) ( + = x x f , indicando el intervalo
de convergencia.

Solucin.
La funcin dada se puede escribir en la forma:

)] 3 / 2 ( 1 ln[ ) 3 ln( ) 3 / 2 1 ln( ) 3 ln( )] 3 / 2 1 ( 3 ln[ ) 3 2 ln( ) ( x x x x x f + = + + = + = + =

Haciendo uso de la serie de la funcin ) 1 ln( x , resulta:

....
3 5
32
3 4
16
3 3
8
3 2
4
3
2
1
) 3 / 2 (
) 3 ln( ) 3 2 ln(
5
5
4
4
3
3
2
2
0
1

+ =
+

+ = +

=
+
x x x x x
k
x
x
k
k


El intervalo de convergencia viene dado por:

{ } 2 / 3 / 1
3
2
/ < =
)
`

< = x R x
x
R x I

Multiplicacin de series de potencias.

Se desea encontrar la serie de Maclaurin del producto de dos funciones conocidas las
series individuales, as:


=

=
= =
0 0
) ( ) (
m
m
m
n
n
n
x b x g x a x f

El producto se obtiene de multiplicar cada trmino de la primera serie por la segunda,
as:


=

=
+ + + + + =
0 0
3
3
0
2
2
0
1
0
0
... ) ( ) (
m
m
m
n
n
m
m
m
m
m
m
m
m
m
m
m
m
x b x a x b x a x b x a x b x a x b a x g x f

La expresin anterior se puede escribir en la forma:



=
+

=
+

=
+

=
+

=
+ + + + + =
0 0
3
3
0
2
2
0
1
1
0
0
... ) ( ) (
m
n m
m n
m
m
m
m
m
m
m
m
m
m
m
m
x b a x b a x b a x b a x b a x g x f

Un anlisis detallado de la expresin anterior nos permite decir que la serie
correspondiente al producto es de la forma:

=
= + + + + =
0
3
3
2
2 1 0
.... ) ( ) (
i
i
i
x c x c x c x c c x g x f
Dnde:


271

=

=
+ + =
+ =
=
i
j
j i j i
b a c
b a b a b a c
b a b a c
b a c
0
0 2 1 1 2 0 2
0 1 1 0 1
0 0 0
.
.

El intervalo de convergencia del producto es la interseccin de los intervalos de
convergencia individuales.

Ejemplo 5.6.

Encuentre la serie de Maclaurin de la funcin ) 2 ( ) ( x sen e x f
x
= , indicando el intervalo
de convergencia.

Solucin.
Partimos de las series de cada uno de los factores, as:

R I
x x x x
x
k
x
e
k
k
x
= + + + =

....;
! 5 ! 4 ! 3 ! 2
1
!
) (
5 4 3 2
0


( )
R I
x x x
x
k
x
x sen
k
k k
= + + =
+

=
+
....;
! 7
) 2 (
! 5
) 2 (
! 3
) 2 (
2
! 1 2
) 2 ( ) 1 (
) 2 (
7 5 3
0
1 2


Con base en lo presentado, resulta:

R I x x x x x x sen e
x
= + + =

....
60
19
3
1
2 2 ) 2 (
5 4 3 2


Divisin de series de potencias.

Para dividir dos series de potencias se usa el algoritmo de divisin de polinomios. El
proceso puede resultar bastante tedioso, pero no hay otra alternativa. En cuanto al
intervalo de convergencia, se debe garantizar que el denominador no se anule en el
mismo.

Ejemplo 5.7.

Encuentre la serie de Maclaurin de la funcin ) tan( ) ( x x f = , indicando el intervalo de
convergencia.

Solucin.
Puesto que la tangente es el cociente entre la funcin seno y la funcin coseno, se
concluye que el intervalo de convergencia de la serie de Maclaurin es:



272
} 2 / / { < = x R x I

El cociente indicado es:
...
! 6 ! 4 ! 2
1
...
! 7 ! 5 ! 3
) tan(
6 4 2
7 5 3
+ +
+ +
=
x x x
x x x
x
x

Efectuando la divisin, resulta: ....
315
17
15
2
3
1
) tan(
7 5 3
+ + + + = x x x x x

Ejemplo 5.8.

En un mismo grfico represente la funcin: ) tan(x y el polinomio de aproximacin de
grado siete en el intervalo: [ ] 1.5,1.5 y saque conclusiones.

Solucin.
Nos ayudamos con el paquete Mathcad, obteniendo la grfica de la figura 5.1


Figura 5.1.
La lnea slida corresponde a la funcin tangente, mientras que la otra corresponde al
polinomio de aproximacin. Puede verse que la convergencia es perfecta en el intervalo:
[-1,1].

EJERCICIOS 5.3.

Escriba La serie de Maclaurin para cada una de las siguientes funciones, indicando el
intervalo de convergencia:

1.
x
x sen
x f
+
=
1
) (
) ( 2. ) ( ) ( x senh x f =
3.
( )
2
1
) 2 cos(
) (
x
x
x f
+
= 4. |
.
|

\
|

+
=
x
x
x f
1
1
ln ) (
5. ) cot( ) ( x x x f = 6. ) ( tan ) (
1
x x f

=


273
7.
2
1
) cosh(
) (
x
x
x f

= 8.
2
1
) 5 3 ln(
) (
x
x
x f

+
=
9. 1 ) ( + = x x f 10.
1
1
) (
+
=
x
x f

5.4. SOLUCIN POR SERIES DE ECUACIONES DIFERENCIALES.

Consideremos una ecuacin diferencial lineal de segundo orden, as:

) ( ) ( ) ( ) ( ' ) ( ) ( ' ' x r x y x q x y x p x y = + +

De acuerdo con lo estudiado previamente, si: } , {
2 1
y y es un conjunto fundamental de
soluciones de la homognea y
p
y es una solucin particular de la no homognea, la
solucin general de la ecuacin diferencial viene dada por:

p
y y C y C x y + + =
2 2 1 1
) (

Teora general de la solucin por series.

Se considerar, en primera instancia, la ecuacin diferencial homognea, es decir, la
ecuacin diferencial:
0 ) ( ) ( ) ( ' ) ( ) ( ' ' = + + x y x q x y x p x y

Las siguientes definiciones nos orientarn para encontrar un conjunto fundamental de
soluciones de la ecuacin diferencial.

1. Funcin analtica.
Se dice ) (x f es una funcin analtica o funcin regular en un entorno del punto:
0
x s
admite un desarrollo en series de potencias en dicho entorno. Una condicin necesaria
para que la funcin sea analtica es que el siguiente lmite exista:

{ }
0
lim ( )
x x
f x

Las funciones elementales tratadas previamente: exponencial, seno y coseno, son
funciones analticas en los reales. La funcin: x x f = ) ( no es analtica en un entorno
de 0
0
= x ya que sus diferentes derivadas no estn definidas en dicho punto.
Cuando la funcin es el cociente de dos funciones analticas, la analiticidad de la
funcin est sujeta a la existencia del lmite previamente establecido. Esto significa que
una condicin suficiente, para que el cociente de dos funciones analticas en un
intervalo sea analtico, es que el lmite exista.
La funcin
x
x sen
x f
) (
) ( = , por ejemplo, es analtica en 0
0
= x ya que:

{ }
0
lim ( ) 1
x x
f x

=


274

2. Punto ordinario.
Se dice que
0
x es un punto ordinario de la ecuacin diferencial homognea s las
funciones: ) (x p y ) (x q son analticas en un entorno de dicho punto.
3. Punto singular.
Se dice que
0
x es un punto singular de la ecuacin diferencial homognea s una de las
funciones: ) (x p o ) (x q no es analtica en un entorno de dicho punto.
En general los puntos singulares o singularidades de la ecuacin diferencial son
nmeros complejos y se representan mediante cruces en dicho plano.
Ejemplo 5.9.
Determine las singularidades de las siguientes ecuaciones diferenciales:
1. ( ) 0 ' ) ( ' '
3
= + + xy y x sen y x x
2. ( ) 0 2 ' ' ' 8
3
= + + + y xy y x
3. ( ) 0 2 ' ' ' 10 2
2
= + + + + y xy y x x

Solucin.
1. A partir de la ecuacin se tiene que:

) 1 )( 1 (
1
) (
) 1 )( 1 (
) (
) (
x x
x q
x x x
x sen
x p
+
=
+
=

Por simple inspeccin, las singularidades son 1 = x .
2. En este caso, se tiene:

) 4 2 )( 2 (
2
) (
) 4 2 )( 2 (
) (
2 2
+ +
=
+ +
=
x x x
x q
x x x
x
x p

Por simple inspeccin se tiene que: 2 = x es una singularidad.
Aplicando la frmula cuadrtica, se encuentran otras dos singularidades, as:

3 1 j x =

3. El estudiante puede mostrar que las singularidades son: 3 1 j x =

Soluciones en un entorno de un punto ordinario.

Consideremos la ecuacin diferencial homognea:

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

S
0
x es un punto ordinario de la ecuacin diferencial y la singularidad ms cercana a
dicho punto es
s
x , la ecuacin admite soluciones de la forma de Taylor en un intervalo
I , dado por:


275
{ }
0 0
/ x x x x R x I
s
< =
As las cosas, la serie:

=
=
0
0
) ( ) (
k
k
k
x x c x y es solucin de la ecuacin diferencial y, en
consecuencia, la debe satisfacer idnticamente. Expandiendo la serie, se tiene:

... ) ( ) ( ... ) ( ) ( ) (
1
0 1 0
2
0 2 0 1 0
+ + + + + + =
+
+
N
N
N
N
x x c x x c x x c x x c c x y

De acuerdo con lo estudiado previamente, los coeficientes de la serie se determinan de
la siguiente manera:
!
) (
)....... ( ' ) (
0
) (
0 1 0 0
n
x y
c x y c x y c
n
n
= = =

Puesto que: ) (
0
x y y ) ( '
0
x y son las condiciones iniciales de la ecuacin diferencial, es
decir, son conocidas, las otras constantes se pueden obtener a partir de ellas, de la
siguiente manera:
Para hallar la constante:
! 2
) ( ' '
0
2
x y
c = se despeja la segunda derivada en la ecuacin
diferencial, as: ) ( ' ) ( ) ( ) ( ) ( ' ' x y x p x y x q x y = y se evala en
0
x . El resultado es:

! 2
) ( ) (
1 0 0 0
2
c x p c x q
c

=

En cuanto a la constante
! 3
) ( ' ' '
0
3
x y
c = , se deriva la segunda derivada, as:
) ( ' ' ) ( ) ( ' )] ( ) ( [ ) ( ) ( ' ) ( ' ' ' x y x p x y x p x q x y x q x y + = y se evala de nuevo en el punto.
El resultado es:
! 3
)] ( ) ( ) ( [ )] ( ) ( ) ( ' [
1 0
2
0 0 0 0 0 0
3
c x p x p x q c x q x p x q
c
+ + +
=

Procediendo de manera iterativa se determinan las dems constantes. Todas las
constantes dependen de las constantes arbitrarias
2 1
, c c . Lo anterior nos permite escribir
la solucin de la ecuacin diferencial en la forma:

( ) ( )
( ) ....
! 3
)] ( ) ( ) ( [ )] ( ) ( ) ( ' [
! 2
) ( ) (
) (
3
0
1 0
2
0 0 0 0 0 0
2
0
1 0 0 0
0 1 0
+
|
|
.
|

\
| + + +
+ |
.
|

\
|
+ + =
x x
c x p x p x q c x q x p x q
x x
c x p c x q
x x c c x y

La expresin anterior se puede expresar en la forma: ) ( ) ( ) (
2 1 1 0
x y c x y c x y + =
Dnde:
( ) ( )
( ) ( ) ( ) ..
! 3
) ( ) ( ) (
! 2
) (
) (
....
! 3
) ( ) ( ) ( '
! 2
) (
) (
3
0
0
2
0 0
2
0
0
0 1 2
3
0
0 0 0
2
0
0
0 1
+
|
|
.
|

\
| +
+ |
.
|

\
|
+ =
+ |
.
|

\
| +
+ |
.
|

\
|
+ =
x x
x p x p x q
x x
x p
x x c x y
x x
x q x p x q
x x
x q
c x y



276
Para que las dos funciones descritas conformen un conjunto fundamental de soluciones
de la homognea se requiere que el Wronskiano sea diferente de cero en cada punto del
intervalo de convergencia.
Recordando la frmula de Abel, se tiene:

=
dx x p
ke x W
) (
) (

Puesto que ) (x p es analtica en el intervalo de convergencia, el Wronskiano es
diferente de cero en el mismo, con lo cual: } , {
2 1
y y es un conjunto fundamental de
soluciones de la homognea.
El procedimiento descrito para resolver la ecuacin diferencial homognea puede
hacerse extensivo a la ecuacin diferencial no homognea, slo que el intervalo de
convergencia debe tener en cuenta a la funcin: ) (x r

Ejemplo 5.10.

Encuentre un conjunto fundamental de soluciones, en un entorno de 0
0
= x para la
siguiente ecuacin diferencial, indicando el intervalo de convergencia.

0 ) ( ) ( ' ' = x xy x y

Solucin.
De acuerdo con lo planteado previamente, 0
0
= x es un punto ordinario de la ecuacin
diferencial y dado que no hay singularidades, la ecuacin admite dos soluciones de la
forma de Maclaurin en el dominio de los reales, as:

... ) ( ) ( ... ) (
1
0 1 0
4
4
3
3
2
2 1 0
+ + + + + + + =
+
+
N
N
N
N
x x c x x c x c x c x c x c c x y

Tal como acabamos de ver,
1 0
, c c son constantes arbitrarias. Por otro lado, se tiene:

0 0 ) 0 ( ) ( ' ' 3 ) ( ) (
! 4
2
2 ) 0 ( ' 2 ) 0 ( ) ( ' 2 ) ( ' ' ) (
! 3
) 0 ( ) 0 ( ) ( ) ( ' ) (
0 0 ) 0 ( ' ' ) ( ) ( ' '
5
5 3 5
1
4 1
4 4
0
3 0
3 3
2
= = + =
= = = + =
= = = + =
= = =
c y D x y x y xD x y D
c
c c y y D x y x xy x y D
c
c c y y D x y x xy x y D
c y x xy x y

! 6
4
4 ) 0 ( 4 ) 0 ( ) ( 4 ) ( ) (
0
6 0
3 6 3 4 6
c
c c y D y D x y D x y xD x y D = = = + =
De manera similar puede mostrarse que
! 7
10
1
7
c
c = . Con base en los resultados, se tiene:

......
! 7
10
! 6
4
! 4
2
! 3
1
) (
7
1
6
0
4
1
3
0 1 0
+ + + + + + = x c x c x c x c x c c x y

El resultado puede escribirse en la forma:


277
|
.
|

\
|
+ + + + |
.
|

\
|
+ + + = ......
! 7
10
! 4
2
.....
! 6
4
! 3
1
1 ) (
7 4
1
6 3
0
x x x c x x c x y

Ejemplo 5.11.

Encuentre la solucin general en un entorno de: 0
0
= x de la siguiente ecuacin
diferencial, indicando el intervalo de validez.

( ) x x y x y x = + + ) ( ) ( ' ' 4
2


Solucin.
Las singularidades de la ecuacin diferencial son: 2 j x =
En consecuencia, el intervalo de convergencia de la solucin es:

{ } 2 / < = x R x I

Para resolver la ecuacin diferencial se parte de las constantes arbitrarias:
1 0
, c c y se
procede como en el ejemplo anterior, as:

( )
! 3 4
1
16
4 4
) 0 (
) 4 (
) ( 2 ) ( ' 4 4
) (
! 2 4 4 4
) 0 (
) 0 (
4
) (
) (
1
3
1 3
2 2
2 2
3
0
2
0 2
2
2

=
+
+
=

= =

=
+

=
c
c
c
y D
x
x xy x y x x
x y D
c
c
c y
y D
x
x y x
x y D


Como puede notarse, es bastante laborioso el proceso de derivacin sucesiva en este
caso. De todas formas, despus de hacer el trabajo, resulta:

! 5 ! 3 4
) 1 ( 7
4
) 0 ( 7
) 0 (
) 4 (
) ( 7 ) ( 6
) (
! 4 ! 2 4
3
! 2 4
3
4
) 0 ( 3
) 0 (
4
) ( 3 ) ( 4
) (
2
1
5
3
5
2
3 4
5
2
0
4
2
0
2
4
2
2
4


=

=
+

=

= =

=
+

=
c
c
y D
y D
x
x y D x y xD
x y D
c
c
c y D
y D
x
x y D x y xD
x y D


Para los trminos hallados, la solucin de la ecuacin diferencial es:

) ( ) ( ) ( ) (
2 1 1 0
x y x y c x y c x y
p
+ + =

En la expresin anterior, se tiene, adems de la solucin complementaria la solucin
particular.
...
! 5 ! 3 4
7
! 3 4
...
! 5 ! 3 4
7
! 3 4
) ( ...
! 4 ! 2 4
3
! 2 4
1 ) (
2
5 3
2
4 3
2
2
4 2
1
+

=
+

+

= +

+

=
x x
y
x x
x x y
x x
x y
p






278
Ejemplo 5.12.

Encuentre un conjunto fundamental de soluciones, en un entorno de 2
0
= x para la
siguiente ecuacin diferencial, indicando el intervalo de convergencia.

0 ) ( ) ( ' ) ( ' ' = x y x y x xy

Solucin.
De acuerdo con lo planteado previamente, 2
0
= x es un punto ordinario de la ecuacin
diferencial, mientras que: 0
0
= x es un punto singular de la misma.
Por tanto, la ecuacin admite dos soluciones de la forma de Taylor en el intervalo:

} 2 2 / { < = x R x I

( ) ( ) ( ) ... ) 2 ( ) 2 ( .. 2 2 2 ) (
1
1
3
3
2
2 1 0
+ + + + + + + =
+
+
N
N
N
N
x c x c x c x c x c c x y

Para facilitar el trabajo se hace el cambio de variable: 2 = x z y se efecta el
desarrollo en un entorno de 0
0
= z . Para la nueva variable, la ecuacin diferencial es:

( ) 0 ) ( ) ( ' ) ( ' ' 2 = + z y z y z y z

Tal como acabamos de ver,
1 0
, c c son constantes arbitrarias. Por otro lado, se tiene:

! 5 4 4
) 0 (
2
) ( 2 ) (
) (
! 4 4 2
) 0 ( ) 0 ( '
) 0 (
2
) ( ) ( '
) (
! 3 2 2
) 0 (
2
) ( '
) (
! 2 2 2
) 0 ( ' ) 0 (
) 0 (
2
) ( ' ) (
) (
0
5
0 5
4 2
5
1
4
3
4
3
4
1
3
1 3 3
1 0
2
2 2

= =
+

=
+

= = =

+
=
+
=
+
+
=
c
c
c
y D
z
z y D z y D
z y D
c
c
y D y
y D
z
z y D z y
z y D
c
c
c
y D
z y
z y D
c c
c
y y
y D
z
z y z y
z y D


Con base en los resultados, la solucin es:

|
|
.
|

\
|
+

+ +
|
|
.
|

\
|
+

+ =

+
+ + =
...
! 4 4 ! 3 2 ! 2 2
...
! 5 4 ! 2 2
1 ) (
! 5 4 ! 4 4 ! 3 2 ! 2 2
) (
4 3 2
1
5 2
0
5 0 4 1 3 1 2 1 0
1 0
z z z
z c
z z
c z y
z
c
z
c
z
c
z
c c
z c c z y


Retornando a la variable original, resulta:

|
|
.
|

\
|
+

+ +
|
|
.
|

\
|
+

+ = ...
! 4 4
) 2 (
! 3 2
) 2 (
! 2 2
) 2 (
2 ...
! 5 4
) 2 (
! 2 2
) 2 (
1 ) (
4 3 2
1
5 2
0
x x x
x c
x x
c x y



279
Mtodo de los coeficientes indeterminados.

De acuerdo con lo estudiado hasta el momento, es claro que puede resultar muy
engorroso el clculo de los coeficientes de la serie por el mtodo de la derivacin
sucesiva de la ecuacin diferencial. El mtodo de los coeficientes indeterminados nos
permite obviar ese inconveniente, veamos:
Dada la ecuacin diferencial:

) ( ) ( ) ( ) ( ' ) ( ) ( ' ' ) (
0 1 2
x f x y x a x y x a x y x a = + +

Se parte de suponer que la ecuacin diferencial admite una solucin de la forma de
Maclaurin, es decir, se resolver la ecuacin en un entorno de 0
0
= x , as:

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

Las dos primeras derivadas de la funcin viene dadas por:



=

= =
0
2
0
1
) 1 ( ) ( ' ' ) ( '
k
k
k
k
k
k
x c k k x y x kc x y

Sustituyendo idnticamente en la ecuacin diferencial, resulta:

) ( ) ( ) ( ) 1 ( ) (
0
0
0
1
1
0
2
2
x f x c x a x kc x a x c k k x a
k
k
k
k
k
k
k
k
k
+ +


=

Es bueno precisar que los coeficientes de la ecuacin diferencial y el trmino
independiente admiten desarrollos en series de Maclaurin. Preferentemente nos
ocuparemos de resolver ecuaciones diferenciales cuyos coeficientes sean polinmicos,
lo cual facilita el procedimiento.

Ejemplo 5.13.

Resuelva la ecuacin diferencial del ejemplo 5.10 por el mtodo de los coeficientes
indeterminados.

Solucin.
La ecuacin diferencial a resolver es 0 ) ( ) ( ' ' = x xy x y . Al sustituir las series
correspondientes a la funcin y su segunda derivada, resulta la identidad:

0 ) 1 (
0
1
0
2



=
+

k
k
k
k
k
k
x c x c k k

A continuacin se hacen los siguientes cambios de variable:
En la primera sumatoria: 2 = k n
En la primera sumatoria: 1 + = k n
As las cosas, la identidad anterior queda en la forma:


280
0 ) 1 )( 2 (
1
1
2
2
+ +


=

=
+
n
n
n
n
n
n
x c x c n n

Desarrollando los tres primeros trminos de la primera sumatoria, resulta:

| | 0 ) 2 )( 1 ( 2 0 0
1
1 2
0
2
1
1
2
0
+ + + + +

=
+

n
n
n n
x c c n n x c x c x c

A partir de la identidad se concluye que todos los coeficientes deben ser iguales a cero,
esto es:

| | ,... 3 , 2 , 1 ; 0 ) 2 )( 1 ( 0 2 0 0 0 0
1 2 2 1 0
= = + + = = =
+
n c c n n c c c
n n


De la expresin anterior se sigue que 0 0 0
2 1 0
= c c c . Por otro lado resulta una
ecuacin que permite hallar los dems coeficiente, conocida como ecuacin de
recurrencia y viene dada por:
,... 3 , 2 , 1
) 2 )( 1 (
1
2
=
+ +
=

+
n
n n
c
c
n
n


A partir de la ecuacin de recurrencia, se obtienen los coeficientes:

504 42 180 30
0
20 12 6
1 4
7
0 3
6
2
5
1
4
0
3
c c
c
c c
c
c
c
c
c
c
c = = = = = = = =

La solucin de la ecuacin diferencial es:

....
504 180 12 6
) (
7 1 6 0 4 1 3 0
1 0
+ + + + + + = x
c
x
c
x
c
x
c
x c c x y

Finalmente, la solucin queda en la forma:

|
.
|

\
|
+ + + + |
.
|

\
|
+ + + = ....
504
1
12
1
...
180
1
6
1
1 ) (
7 4
1
6 3
0
x x x c x x c x y

Ejemplo 5.14.

Encuentre la solucin general de la ecuacin diferencial: ) ( ) ( ) ( ' ' x sen x xy x y = + en un
entorno de 0
0
= x .

Solucin.
Al aplicar el mtodo, resulta:

....
! 7 ! 5 ! 3
) 1 (
7 5 3
0
1
0
2
+ + +


=
+

x x x
x x c x c k k
k
k
k
k
k
k


A continuacin se hacen los siguientes cambios de variable:


281
En la primera sumatoria: 2 = k n
En la primera sumatoria: 1 + = k n
As las cosas, la identidad anterior queda en la forma:

....
! 7 ! 5 ! 3
) 1 )( 2 (
7 5 3
1
1
2
2
+ + + + +


=

=
+
x x x
x x c x c n n
n
n
n
n
n
n


Desarrollando los tres primeros trminos de la primera sumatoria, resulta:

| | ....
! 7 ! 5 ! 3
) 2 )( 1 ( 2 0 0
7 5 3
1
1 2
0
2
1
1
2
0
+ + + + + + + +

=
+

x x x
x x c c n n x c x c x c
n
n
n n


A partir de la identidad se concluye que los tres primeros coeficientes deben ser iguales
a cero, esto es:
0 2 0 0 0 0
2 1 0
= = = c c c

Por otro lado se tiene que:
! 7
1
72 7
0 56 6
! 5
1
42 5
0 30 4
! 3
1
20 3
0 12 2
1 6 1
6 9
5 8
4 7
3 6
2 5
1 4
0 3

= + =
= + =
= + =
= + =

= + =
= + =
= + =
c c n
c c n
c c n
c c n
c c n
c c n
c c n

De lo anterior se sigue que:

504 5040
1
30 120
1
12 6
1
0 0 0
1
7
3
6 5
1
4
0
3 2 1 0
c
c
c
c c
c
c
c
c c c c +

= =

= =

De manera similar se determinan otros coeficientes. El resultado se puede escribir en la
forma:

.....
5040 180 120 6
.....
504 12
.....
180 6
1 ) (
7 6 5 3 7 4
1
6 3
0
+ + +
|
|
.
|

\
|
+ + +
|
|
.
|

\
|
+ + =
x x x x x x
x c
x x
c x y


Ejemplo 5.15.

Encuentre la solucin general de la siguiente ecuacin diferencial en un entorno de
0
0
= x .
2
) ( ) ( ' ' x x y e x y
x
= +



282
Solucin.
La ecuacin se puede expresar en la forma:

2
5 4 3 2
) ( ...
! 5 ! 4 ! 3 ! 2
1 ) ( ' ' x x y
x x x x
x x y =
|
|
.
|

\
|
+ + + + + + +

Puesto que admite soluciones de la forma de Maclaurin, se tiene:

2
0
5 4 3 2
0
2
...
! 5 ! 4 ! 3 ! 2
1 ) 1 ( x x c
x x x x
x x c k k
k
k
k
k
k
k

|
|
.
|

\
|
+ + + + + + +


=

Expandiendo algunos trminos, resulta:

2
0
4
0
3
0
2
0
1
0 0
2
..
! 4
1
! 3
1
! 2
1
) 1 ( x x c x c x c x c x c x c k k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
+ + + + + +


=
+

=
+

=
+

=
+

A continuacin se hacen los siguientes cambios de variable:
Primera sumatoria: 2 = k n
Segunda sumatoria: k n =
Tercera sumatoria: 1 + = k n
Cuarta sumatoria: 2 + = k n
As sucesivamente.
Con los cambios, resulta:

2
4
4
3
3
2
2
1
1
0 2
2
..
! 4
1
! 3
1
! 2
1
) 1 )( 2 ( x x c x c x c x c x c x c n n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
n
+ + + + + + + +


=

=
+

Desarrollando trmino a trmino e igualando los coeficientes, se obtiene:

720
2 9 2
0
24 6 2
30 4
120
2 3
0
6 2
20 3
12
1
1
2
12 2
6
0 6 1
2
0 2 0
0 0 0 1
0 0 0 2
1 0
6
0 1 2
3 4 6
1 0
5
0 1
2 3 5
1
4
2
1 2 4
1 0
3 0 1 3
0
2 0 2
1 1
0 0
c c
c
c c c
c c c n
c c
c
c c
c c c n
c
c
c
c c c n
c c
c c c c n
c
c c c n
c c n
c c n
+ +
= = + + + + + =

= = + + + + =

= = + + + =

= = + + =

= = + =
= =
= =


La solucin de la ecuacin es:



283
.....
36 12
.....
360 60 12 6
.....
80 40 6 2
1 ) (
6 4 6 5 4 3
1
6 5 3 2
0
+ +
|
|
.
|

\
|
+ +
|
|
.
|

\
|
+ + =
x x x x x x
x c
x x x x
c x y

Otra forma de resolver la ecuacin diferencial es la siguiente:


=

=
= = = =
n
k
k n
n
n
n
n
x
n
n
x
n
n
n
k
c
b x b y e
n
x
e x c y
0 0 0 0
! !


As las cosas, al sustituir idnticamente en la ecuacin diferencial resulta:

2
0 2
2
) 1 ( x x b x c n n
n
n
n
n
n
n
+


=

Haciendo los correspondientes cambios de variable se tiene:

2
0 0
2
) 1 )( 2 ( x x b x c m m
m
m
m
m
m
m
+ + +


=

=
+


Se obtiene la ecuacin de recurrencia:
2 ;
) 1 )( 2 (
!
0
2

+ +
=

=

+
m
m m
k
c
c
m
k
k m
m


Particularmente, para 2 = m , resulta:

12
2 /
12
!
0 1 2
2
0
2
4
c c c
k
c
c
k
k

= =

=

Desarrollando algunos trminos de la ecuacin de recurrencia se llega al resultado
obtenido anteriormente.

EJERCICIOS 5.4.

Resuelva, por los dos mtodos, cada una de las siguientes ecuaciones diferenciales en
un entorno del punto dado, indicando el intervalo de convergencia.

1. 0 ) ( ) ( ' ) ( ' '
0
= = x x x y x xy x y 2. 0 0 ) ( ) ( ' ) ( ' ' ) 1 (
0
= = x x y x xy x y x
3. 1 ) ( ) ( ' ) ( ' '
0
= = x x x y x xy x xy 4. 0 ) ( ) ( ) ( ' '
0
= = x x x y x sen x y
5. 0 0 ) ( 2 ) ( ' 2 ) ( ' ' ) 1 (
0
2
= = + x x y x xy x y x 6. 0 ) ( ) ( ) ( ' '
0
= =

x x sen x y e x y
x

7. 0 ) ( ) ( ' ' ) 2 (
0
= = + x x x xy x y x 8. 1 0 ) ( ) ( ' ) ( ' '
0
= = + x x xy x y x xy
9. 0 0 ) ( ) ( ' '
0 0
= = = x x x x y x y e
x
10. 0 ) ( ) ( ' ) ( ' '
0
2
= = + x x x y x xy x y





284
5.5. SOLUCIONES EN UN ENTORNO DE UN PUNTO SINGULAR.

Consideremos la ecuacin diferencial lineal homognea de segundo orden:

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

Supongamos que: R x
0
es un punto singular de la ecuacin diferencial, esto es, al
menos una de las funciones: ) ( ), ( x q x p no es analtica en un entorno de dicho punto. Lo
anterior significa que la ecuacin diferencial no admite, necesariamente, soluciones de
la forma de Taylor.

Puntos singulares regulares.

Se dice que
0
x es un punto singular regular de la ecuacin diferencial s las siguientes
funciones modificadas son analticas en un entorno de dicho punto:

( ) ) ( ) ( ) ( , ) ( ) (
2
0 0
x q x x x Q x p x x x P = =

Lo anterior significa que dichas funciones tienen desarrollos en series de Taylor en
algn entorno de dicho punto, as:

... ) ( ) ( ) ( ) ( ) ( ) (
... ) ( ) ( ) ( ) ( ) ( ) (
3
0 3
2
0 2 0 1 0
2
0
3
0 3
2
0 2 0 1 0 0
+ + + + = =
+ + + + = =
x x b x x b x x b b x q x x x Q
x x a x x a x x a a x p x x x P


La ecuacin diferencial modificada es:

0 ) ( ) ( ) ( ' ) ( ) ( ) ( ' ' ) (
0
2
0
= + + x y x Q x y x P x x x y x x

Como puede verse, la ecuacin modificada es muy similar a la ecuacin diferencial de
Euler. Precisamente, debido a la analoga, George Frobenius propuso como solucin de
la ecuacin diferencial una serie de la forma:



=
+

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



La serie es una modificacin de la serie de Taylor en la que es un nmero complejo.
Al sustituir en la ecuacin diferencial, se obtiene:

0 ) ( ) ( ) ( ) ( ) ( ) ( ) 1 )( (
0
0
0
0
0
0
+ + + + +


=
+

=
+

=
+
k
k
k
k
k
k
k
k
k
x x c x Q x x c k x P x x c k k



La identidad anterior se puede escribir en la forma:

| | 0 ) ( ) ( ) )( ( ) 1 )( (
0
0
+ + + + +

=
+
k
k
k
x x c x Q k x P k k





285
La expresin anterior se verifica para todo valor de k . Particularmente se cumple
cuando toma el valor cero, as:

| | 0 ) ( ) ( ) ( ) 1 (
0 0
+ +

x x c x Q x P

Puesto que el primer coeficiente debe ser diferente de cero, para obtener soluciones
diferentes de la trivial y dado que: ) (x P y ) (x Q son analticas en
0
x , resulta una
ecuacin conocida como ecuacin indicial que tiene dos soluciones para . La ecuacin
indicial es:
0 ) ( ) ( ) 1 (
0 0
= + + x Q x P

Realmente, la ecuacin indicial debe escribirse en la forma:

0 ) ( ) (
lim
) ( ) (
lim
) 1 (
2
0
0
0
0
=
|
|
.
|

\
|

+
|
|
.
|

\
|

+ x q x x
x x
x p x x
x x


A partir de la ecuacin indicial resultan dos soluciones para la ecuacin diferencial, as:



=

=
= =
0
0 0 2
0
0 0 1
) ( ) ( ) ( ) (
2 1
k
k
k
k
k
k
x x b x x y x x a x x y



Las dos soluciones obtenidas no forman, necesariamente, un conjunto fundamental de
soluciones. Evidentemente, s las races de la ecuacin indicial son iguales slo se
obtiene una solucin. La otra solucin puede obtenerse por reduccin de orden, aunque
se estudiar un mtodo alternativo ms adelante.
En cuanto al intervalo de convergencia de la solucin, s
1
x es la singularidad ms
prxima a
0
x , el intervalo de convergencia es:

{ }
1 0 0
/ x x x x R x < <

A continuacin se analizarn las soluciones a partir de las races de la ecuacin indicial.
Para simplificar el anlisis se supondr que 0
0
= x , es decir, las dos soluciones de la
ecuacin diferencial estn dadas por:



=

=
= =
0
2
0
1
2 1
k
k
k
k
k
k
x b x y x a x y



Naturaleza de las races de la ecuacin indicial.

Para el caso en que 0
0
= x es el punto alrededor del cual se va a resolver la ecuacin
diferencial, sta se puede escribir en la forma:

0 ) ( ) ( ) ( ' ) ( ) ( ' '
2
= + + x y x Q x y x xP x y x





286
Dnde:
...
! 2
) 0 ( ' '
) 0 ( ' ) 0 ( ) ( ...
! 2
) 0 ( ' '
) 0 ( ' ) 0 ( ) (
2 2
+ + + = + + + = x
Q
x Q Q x Q x
P
x P P x P
Puesto que se suponen soluciones de la forma


=
+

=
= =
0 0 k
k
k
k
k
k
x a x a x y

, al sustituir en
la ecuacin diferencial resulta la identidad:

0 ...
! 2
) 0 ( ' '
) 0 ( ' ) 0 (
) ( ...
! 2
) 0 ( ' '
) 0 ( ' ) 0 ( ) 1 )( (
0
2
0
2
0
|
.
|

\
|
+ + +
+ + |
.
|

\
|
+ + + + + +

=
+

=
+

=
+
k
k
k
k
k
k
k
k
k
x c x
Q
x Q Q
x c k x
P
x P P x c k k

Sacando como factor comn:

x y desarrollando la expresin anterior, se tiene:

| | | |
0 .....
! 2
) 0 ( ' ' ) 0 ( ' '
) 0 ( ' ) 0 ( ' ) ( ) 0 ( ) )( 0 ( ) 1 )( (
0
2
0
1
0
+
(

+
+ + + + + + + + +

=
+

=
+

=
k
k
k
k
k
k
k
k
k
x c
Q P
x c Q P k x c Q k P k k


Se hacen los siguientes cambios de variable:
En la primera sumatoria: k n =
En la segunda sumatoria: 1 + = k n
En la tercera sumatoria: 2 + = k n
Con base en los cambios, resulta:

| | | |
0 .....
! 2
) 0 ( ' ' ) 0 ( ' '
) 0 ( ' ) 0 ( ' ) 1 ( ) 0 ( ) )( 0 ( ) 1 )( (
2
2
1
1
0
+
(

+
+ + + + + + + + +

=
n
n
k
n
n
n
n
n
n
x c
Q P
x c Q P n x c Q n P n n


A continuacin se desarrollan los tres primeros trminos, as:

| | | |
0 .....
! 2
) 0 ( ' ' ) 0 ( ' '
)] 0 ( ' ) 1 )( 0 ( ' [ )] 0 ( ) 2 )( 0 ( ) 1 )( 2 [(
)] 0 ( ' ) 0 ( ' [ )] 0 ( ) 1 )( 0 ( ) 1 [( ) 0 ( ) 0 ( ) 1 (
2
0 1 2
0 1
0
0
+
(

+
+ + + + + + + + + +
+ + + + + + + + +
x c
Q P
c Q P c Q P
x c Q P c Q P x c Q P



Puesto que todos los coeficientes deben ser iguales a cero, se obtienen las siguientes
ecuaciones:



287
| |
| |
0
! 2
) 0 ( ' ' ) 0 ( ' '
)] 0 ( ' ) 1 )( 0 ( ' [ )] 0 ( ) 2 )( 0 ( ) 1 )( 2 [(
0 )] 0 ( ' ) 0 ( ' [ )] 0 ( ) 1 )( 0 ( ) 1 [(
0 ) 0 ( ) 0 ( ) 1 (
0 1 2
0 1
0
=
(

+
+ + + + + + + + +
= + + + + + +
= + +
c
Q P
c Q P c Q P
c Q P c Q P
c Q P

Definimos las funciones:

!
) 0 ( ) 0 (
) ( ) 0 ( ) 0 ( ) 1 ( ) (
) ( ) (
m
Q P
g Q P f
m m
m
+
= + + =

Con base en las definiciones anteriores, resulta una frmula de recurrencia, as:

... 5 , 4 , 3 , 2 , 1 ;
) (
) (
1
=
+
+
=

=

n
n f
c m n g
c
n
m
m n m
n

Puesto que estamos interesados en soluciones no triviales, se impone la condicin
0
0
c , con lo que resulta la ecuacin indicial 0 ) 0 ( ) 0 ( ) 1 ( ) ( = + + = Q P f ,
cuyas soluciones son:
2
) 0 ( 4 ) 1 ) 0 ( ( 1 ) 0 (
,
2
2 1
Q P P +
=

A partir de la ecuacin de recurrencia, se tiene:

) 0 ( ) )( 0 ( ) 1 )( (
) (
1
Q n P n n
c m n g
c
n
m
m n m
n
+ + + + +
+
=

=

Reemplazando la ecuacin indicial en la anterior, resulta:

( )

2 1 ) 0 (
) (
1
+ +
+
=

=

P n n
c m n g
c
n
m
m n m
n


Para los valores obtenidos de resolver la ecuacin indicial, resulta:
( ) ) 0 ( 4 ] 1 ) 0 ( [
) (
2
1
Q P n n
c m n g
c
n
m
m n m
n

+
=

=

Cuando las races son iguales el discriminante se anula y, en consecuencia, se tiene:

2
1
) (
n
c m n g
c
n
m
m n m
n

=

+
=




288
De la ecuacin anterior se sigue que:

....
4
) 1 ( ) ( ) (
) (
0
1 1 2
2 0 1 1
c
g g g
c c g c
+ +
= =



Lo anterior significa que slo se encuentra una solucin
Supongamos ahora que las races son diferentes y que el discriminante no es un nmero
natural. La ecuacin de recurrencia es:
( ) Discr n n
c m n g
c
n
m
m n m
n

+
=

=

1
) (


Como puede verse, el denominador nunca se anula y, en consecuencia, resultan dos
soluciones, una por cada valor de .
Supongamos ahora que las races son diferentes pero difieren en un entero, es decir, la
raz cuadrada del discriminante es un nmero natural: N, as:

( ) N n n
c m n g
c
n
m
m n m
n

+
=

=

1
) (


Como puede verse, el denominador no se anula para la mayor de las races, es decir, la
mayor de las races proporciona una solucin. Por otro lado, el denominador se anula
para N n = , caso en el cual se presentan dos posibilidades, as:
1. El numerador es diferente de cero. En este caso, el coeficiente:
N
c no se puede
determinar.
2. El numerador es cero. En este caso, el coeficiente:
N
c es una constante arbitraria y,
por tanto, resultan dos soluciones para la ecuacin diferencial. Los dems coeficientes
se obtienen a partir de la ecuacin de recurrencia que resulte de aplicar el mtodo.

Mtodo de Frobenius para resolver la ecuacin diferencial.

Dada la ecuacin diferencial 0 ) ( ) ( ) ( ' ) ( ) ( ' ' ) (
0 1 2
= + + x y x a x y x a x y x a , s 0
0
= x es un
punto singular regular de la ecuacin diferencial y
1
x es la singularidad ms prxima a
0
0
= x , la ecuacin diferencial admite, al menos, una solucin de la forma:

....] [
4
4
3
3
2
2 1 0
0
+ + + + + = =

=
+
x c x c x c x c c x x c y
k
k
k



Las soluciones son vlidas en el intervalo:

{ }
1
0 / x x R x I < < =

Para encontrar la solucin se procede conforme a lo presentado previamente.




289
Ejemplo 5.16.

Encuentre la solucin general de la siguiente ecuacin diferencial, indicando el intervalo
de convergencia:
0 ) ( ) ( ' ) ( ' ' = + + x xy x y x xy

Solucin.
Por simple inspeccin, se tiene que
2 2
) ( 1 ) ( 1 ) ( / 1 ) ( x x q x x xp x q x x p = = = = .
Con base en lo estudiado, el punto: 0
0
= x es la nica singularidad de la ecuacin
diferencial y, adems, es un punto singular regular. En consecuencia, la ecuacin
diferencial admite, al menos, una solucin de la forma de Frobenius en el intervalo
0 > x .
Para resolver la ecuacin diferencial partimos de las series correspondientes a la funcin
y sus dos primeras derivadas, as:



=
+

=
+

=
+
+ + = + = =
0
2
0
1
0
) 1 )( ( ' ' ) ( '
k
k
k
k
k
k
k
k
k
x c k k y x c k y x c y



Sustituyendo idnticamente en la ecuacin diferencial, resulta:

0 ) ( ) 1 )( (
0
1
0
1
0
1
+ + + + +


=
+ +

=
+

=
+
k
k
k
k
k
k
k
k
k
x c x c k x c k k



Sacando

x de factor comn y agrupando las dos primeras sumatorias, se tiene:

| | 0 ) ( ) 1 )( (
0
1
0
1
|
.
|

\
|
+ + + + +


=
+

k
k
k
k
k
k
x c x c k k k x

Puesto que 0

x , la expresin anterior se puede escribir en la forma:

0 ) (
0
1
0
1 2
+ +


=
+

k
k
k
k
k
k
x c x c k

Se hacen los cambios de variable:
En la primera sumatoria: 1 = k n
En la segunda sumatoria: 1 + = k n

Con los cambios, resulta:
0 ) 1 (
1
1
1
1
2
+ + +


=

=
+
n
n
n
n
n
n
x c x c n

Al desarrollar los dos primeros trminos de la primera sumatoria resulta:

| | 0 ) 1 ( ) 1 (
1
1 1
2 0
1
2 1
0
2
+ + + + + +

=
+
n
n
n n
x c c n x c x c



290
De la expresin anterior se concluye que, si 0
0
c , la ecuacin indicial es: 0
2
= y
por tanto las races son iguales a cero. Como puede verse 0
1
= c . La ecuacin de
recurrencia, para el valor hallado de viene dada por:

,.... 4 , 3 , 2 , 1
) 1 (
2
1
1
=
+
=

+
n
n
c
c
n
n

Asignando valores, resulta:

....
6 4 2
0
4 2 4
0
2
0 0
2 2 2
0
6 5
2 2
0
2
2
4 3
2
0
2 1 0

= =

= = = = =
c
c c
c c
c c
c
c c c

Se obtiene una solucin de la forma:

|
|
.
|

\
|
+

+ = ....
6 4 2 4 2 2
1 ) (
2 2 2
6
2 2
4
2
2
0
x x x
c x y

La otra solucin se puede determinar por el mtodo de reduccin de orden.

Ejemplo 5.17.

Encuentre la solucin general de la siguiente ecuacin diferencial, indicando el intervalo
de convergencia:
0 ) ( ) ( ' 2 ) ( ' ' = + + x xy x y x xy

Solucin.
Por simple inspeccin, se tiene que
2 2
) ( 2 ) ( 1 ) ( / 2 ) ( x x q x x xp x q x x p = = = = .
Con base en lo estudiado, el punto: 0
0
= x es la nica singularidad de la ecuacin
diferencial y, adems, es un punto singular regular. En consecuencia, la ecuacin
diferencial admite, al menos, una solucin de la forma de Frobenius en el intervalo
0 > x . Para resolver la ecuacin diferencial partimos de las series correspondientes a la
funcin y sus dos primeras derivadas, as:



=
+

=
+

=
+
+ + = + = =
0
2
0
1
0
) 1 )( ( ' ' ) ( '
k
k
k
k
k
k
k
k
k
x c k k y x c k y x c y



Sustituyendo idnticamente en la ecuacin diferencial, resulta:

0 ) ( 2 ) 1 )( (
0
1
0
1
0
1
+ + + + +


=
+ +

=
+

=
+
k
k
k
k
k
k
k
k
k
x c x c k x c k k



Sacando

x de factor comn y agrupando las dos primeras sumatorias, se tiene:

| | 0 ) ( 2 ) 1 )( (
0
1
0
1
|
.
|

\
|
+ + + + +


=
+

k
k
k
k
k
k
x c x c k k k x

291
Puesto que 0

x , la expresin anterior se puede escribir en la forma:

0 ) 1 )( (
0
1
0
1
+ + + +


=
+

k
k
k
k
k
k
x c x c k k

Se hacen los cambios de variable:
En la primera sumatoria: 1 = k n
En la segunda sumatoria: 1 + = k n

Con los cambios, resulta:

0 ) 2 )( 1 (
1
1
1
1
+ + + + +


=

=
+
n
n
n
n
n
n
x c x c n n

Al desarrollar los dos primeros trminos de la primera sumatoria resulta:

| | 0 ) 2 )( 1 ( ) 2 )( 1 ( ) 1 (
1
1 1
0
1
1
0
+ + + + + + + + + +

=
+
n
n
n n
x c c n n x c x c

De la expresin anterior se concluye que, si 0
0
c , la ecuacin indicial es: 0 ) 1 ( = +
y por tanto las races son 1 0
2 1
= = . Como puede verse, cuando se toma la menor
de las races resulta que 0
1
c . La ecuacin de recurrencia, para el valor tomado de
viene dada por:
,.... 4 , 3 , 2 , 1
) 1 (
1
1
=
+
=

+
n
n n
c
c
n
n

Asignando valores, resulta:

....
! 6 ! 5 20 ! 4 12 ! 6 ! 2
0 0
0
6
1 3
5
0 2
4
1
3
0
2 1 0
c
c
c c
c
c c
c
c
c
c
c c c = = = = = = =

Se obtiene la solucin:

(

|
|
.
|

\
|
+ + +
|
|
.
|

\
|
+ + =

....
! 7 ! 5 ! 3
....
! 6 ! 4 ! 2
1 ) (
7 5 3
1
6 4 2
0
1
x x x
x c
x x x
c x x y

Con base en lo estudiado previamente, se tiene:

0
) ( ) cos(
) (
1 0
> + = x
x
x sen
c
x
x
c x y

Como puede verse, la menor de las races de la ecuacin indicial nos proporciona dos
soluciones linealmente independientes.






292
Mtodo para calcular una segunda solucin.

a) Las races de la ecuacin indicial son iguales.
Cuando las races de la ecuacin indicial son iguales, la otra solucin se determina por
el mtodo de reduccin de orden, as:
dx
y
e
y y
dx x p
(
(

=

2
1
) (
1 2


La aplicacin de la frmula conlleva un trabajo operativo bastante arduo, sobre todo
cuando la solucin conocida no es una funcin elemental. A continuacin se muestra
una alternativa que facilita los clculos.
Se parte de la ecuacin diferencial modificada, as:

0 ) ( ) ( ) ( ' ) ( ) ( ' '
2
= + + x y x Q x y x xP x y x

| | 0 ) ( ) ( ) (
2 2
= + + x y x Q D x xP D x

Usando la notacin ) ( ) ( ) (
2 2
x Q D x xP D x D L + + = , resulta: 0 ) ( ) ( = x y D L

Se supone una solucin de la forma:

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

y se sustituye idnticamente
en la ecuacin diferencial, con lo que se obtiene:

| | | |
0 .....
! 2
) 0 ( ' ' ) 0 ( ' '
)] 0 ( ' ) 1 )( 0 ( ' [ )] 0 ( ) 2 )( 0 ( ) 1 )( 2 [(
)] 0 ( ' ) 0 ( ' [ )] 0 ( ) 1 )( 0 ( ) 1 [( ) 0 ( ) 0 ( ) 1 (
2
0 1 2
1
0 1 0
+
(

+
+ + + + + + + + + +
+ + + + + + + + +
+
+

x c
Q P
c Q P c Q P
x c Q P c Q P x c Q P

La expresin anterior se puede escribir en la forma:

0 ... ) ( ) (
.... ] ) ( ) 1 ( ) 2 ( [ ] ) ( ) 1 ( [ ) (
1
2
0 2 1 1 2
1
0 1 1 0
+
(

+ + + +
+ + + + + + + + +
+
=

+ +

n
n
m
m n m n
x c m n g c n f
x c g c g c f x c g c f x c f


Cuando las races de la ecuacin caracterstica son iguales, es decir
2 1
= , se tiene que
2
1
) ( ) ( = f . En este caso todos los coeficientes de la combinacin lineal son
iguales a cero, excepto el primero, con lo cual la ecuacin diferencial modificada es:

| |

x c x y x Q D x xP D x
0
2
1
2 2
) ( ) , ( ) ( ) ( = + +

Equivalentemente, se tiene:

x c x y D L
0
2
1
) ( ) , ( ) ( =



293
Derivando parcialmente con respecto a , se tiene:

| |

x c x x c x y D L
0 1
2
1 0
2
1
) ( 2 ) ln( ) ( ) ( ) , ( ) ( + =

La expresin anterior es equivalente a la siguiente:

| |

x c x x y D L
0 1
2
1
) ( 2 ) ln( ) ( ) , ( ) ( + =
(

Evaluando en el valor conocido para , resulta:

0 ) , ( ) (
1
=
=
(

x y D L

Lo anterior significa que la funcin:
1
) , (

x y tambin es solucin de la
ecuacin diferencial. Es importante precisar que: ) , ( x y viene dada por:

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



A partir de la expresin anterior resulta:

) ln( ) , ( ) ( ' ) , (
0
x x y x c x x y
k
k
k

+ =

=


En conclusin, las dos soluciones de la ecuacin diferencial son:

) , ( ) , (
1 2 1 1
x y y x y y

= =

En la prctica se supone que la segunda solucin es de la forma:

) ln(
1
0
2
x Cy x b x y
k
k
k
+ =

La constante: C se escoge convenientemente.

b) Las races de la ecuacin diferencial difieren en un entero.
Cuando las races difieren en un entero, la mayor de ellas proporciona una solucin.
La otra solucin puede determinarse por un procedimiento similar al desarrollado
previamente. Omitiendo los detalles, la segunda solucin presenta la forma:

) ln(
1
0
2
2
x Cy x b x y
k
k
k
+ =

294
Ejemplo 5.18.

Encuentre una segunda solucin para la ecuacin diferencial del ejemplo 5.16.

Solucin.
Se repite la ecuacin diferencial, as:

0 ) ( ) ( ' ) ( ' ' = + + x xy x y x xy

Tal como se procedi en el ejemplo, una de las soluciones es:

.....
6 4 2 4 2 2
1
2 2 2
6
2 2
4
2
2
1
+

+ =
x x x
y

En cuanto a la segunda solucin, se deriva dos veces y se sustituye en la ecuacin
diferencial, as:

=
+
(

+ +

=
+
(

+ = + =
0
2
1
1
2
1
0
1
1
1
2 1
0
2
) 1 ( ) ln( ' '
' 2
' '
) ln( ' ' ) ln(
k
k
k
k
k
k
k
k
k
x b k k x y
x
y
x
y
C y
x kb x y
x
y
C y x Cy x b x y



Al sustituir en la ecuacin diferencial, resulta:

0 ) ln(
) ln( ' ) 1 ( ) ln( ' ' ' 2
1
0
1
0
1
1
1
0
1
1 1
1
+
+ +
(

+ + +
(

+ +

=
+

x Cxy x b
x kb x y
x
y
C x b k k x x y y
x
y
C
k
k
k
k
k
k
k
k
k


La expresin anterior se puede escribir en le forma:

| | 0 ) 1 ( ' 2 ' ' ' ) ln(
0
1
0
1
0
1
1 1 1 1
+ + + + + +


=
+

k
k
k
k
k
k
k
k
k
x b x kb x b k k Cy xy y xy x C

Ahora, puesto que el primer trmino de la expresin anterior es idnticamente nulo, se
tiene:
' 2
1
0
1
0
1 2
Cy x b x b k
k
k
k
k
k
k
+


=
+

En la primera sumatoria se hace el cambio: 1 = k n
En la segunda sumatoria se hace el cambio: 1 + = k n
Con los cambios resulta:

|
|
.
|

\
|
+

+ + +


=

=
+
...
6 4 2 4 2 2
1 2 ) 1 (
2 2 2
6
2 2
4
2
2
1
1
1
1
2
x x x
dx
d
C x b x b n
n
n
n
n
n
n


Al expandir los dos primeros trminos de la primera sumatoria, se tiene:


295
| |
|
|
.
|

\
|
+

+ + + + +

=
+

...
6 4 2
6
4 2
4
2
2
0 2 ) 1 ( 0
2 2 2
5
2 2
3
2
1
1 1
2 0
1
1
0
x x x
C x b b n x b x b
n
n
n n


De la identidad anterior se sigue que 0 0
1 0
= b b . Por otro lado, si se hace 1 2 = C ,
resulta:
| |
|
|
.
|

\
|

+ +

=
+
...
6 4 2
6
4 2
4
2
2
) 1 (
2 2 2
5
2 2
3
2
1
1 1
2
x x x
x b b n
n
n
n n


A continuacin se determinan algunas de las constantes:

2304 27650
1
5
0 4
64 256
1
4 8
1
16
1
256
1
16 256
1
16
1
16 3
0 0 9 2
4 8
1
2
1
4 1
0
6
5
0 0 2
4 2 4
3 1 3
0
2 0 2
b
b n
b n
b b b
b b b n
b b b n
b
b b b n
= =
= =
+ = |
.
|

\
|
= = = + =
= = + =
= = + =


En consecuencia, la segunda solucin es:

...
2304 27650
1
64 256
1
4 8
1
) ln(
2
1
6 0 4 0 2 0
0 1 2
+ |
.
|

\
|
+ |
.
|

\
|
+ + |
.
|

\
|
+ + = x
b
x
b
x
b
b x y y

|
|
.
|

\
|
+ + + + + + = ...
2304 64 4
1 ...
27650
1
256
1
8
1
) ln(
2
1
6 4 2
0
6 4 2
1 2
x x x
b x x x x y y

Puesto que la serie que acompaa a la constante
0
b es la primera solucin, resulta:

...
27650
1
256
1
8
1
) ln(
2
1
6 4 2
1 2
+ + + = x x x x y y

Ejemplo 5.19.

Encuentre la solucin general de la siguiente ecuacin diferencial en un entorno de
0
0
= x , indicando el intervalo de convergencia.

( ) 0 ) ( 6 ) ( ' 2 ) ( ' '
2
= + x y x y x y x x

Solucin.
Por simple inspeccin, se tiene
) 1 (
6
) (
) 1 (
2
) (
x x
x q
x x
x p

= . Se sigue que:


296
x
x
x q x x Q
x
x xp x P

= =

= =
1
6
) ( ) (
1
2
) ( ) (
2


En consecuencia, 0
0
= x es un punto singular regular y la singularidad ms cercana es
1
1
= x . Por tanto, el intervalo de validez es: { } 1 0 / < < = x R x I

Para resolver la ecuacin diferencial se suponen soluciones de la forma de Frobenius,
as:

=
+
=
0 k
k
k
x c y



Siguiendo el procedimiento usual, resulta:

0 6
) ( 2 ) 1 )( ( ) 1 )( (
0
0
1
0 0
1
+
+ + + + +

=
+

=
+

=
+

=
+
k
k
k
k
k
k
k
k
k
k
k
k
x c
x c k x c k k x c k k

Agrupando en dos sumatorias y sacando

x , resulta:

| | 0 6 ) 1 )( ( ) 3 )( (
0 0
1
+ + + +


=

k
k
k
k
k
k
x c k k x c k k

La expresin anterior se puede escribir en la forma:

| | 0 ) 2 )( 3 ( ) 3 )( (
0 0
1
+ + + + +


=

k
k
k
k
k
k
x c k k x c k k

Haciendo los cambios de variable adecuados, se tiene:

| | 0 ) 2 )( 3 ( ) 2 )( 1 (
0 1
1
1
+ + + + + +


=

+
k
n
n
n
n
n
x c n n x c n n

La ecuacin indicial es 0 ) 3 ( ) ( = = f , mientras que la ecuacin de recurrencia
es:
,.... 2 , 1 , 0
) 2 )( 1 (
) 2 )( 3 (
1
=
+ + +
+ + +
=
+
n c
n n
n n
c
n n




De acuerdo con lo estudiado, la mayor de las races proporciona una solucin, as:

| | ....
2
2 1 0
3
0
3
1
+ + + = =

=
+
x c x c c x x c y
k
k
k


Dnde: 0 0 0 ,.... 2 , 1 , 0
) 1 )( 4 (
) 5 (
0
2 1 1 0
= = = =
+ +
+
=
+ n n n
c c c n c
n n
n n
c c



297
Con base en lo anterior, una solucin de la ecuacin diferencial es:
3
1
x y =

En cuanto a la menor de las races 0 = , la ecuacin de recurrencia es:

,.... 2 , 1 , 0
) 2 )( 1 (
) 2 )( 3 (
1
=
+
+
=
+
n c
n n
n n
c
n n


Como puede verse, la constante:
3
c no se puede determinar y por tanto es necesario
hallar la segunda solucin por otro mtodo, as:

a) Por reduccin de orden.

( )
dx
x x
x y
x x
x p dx
x
e
x y
dx x p
(

=
(

=

2 4
3
2
6
) (
3
2
1
1
) 1 (
2
) (

Despus de efectuar las operaciones, resulta:

x
x
x x
x
x
x y

+ |
.
|

\
|

=
1
3
3
1
1
ln 4
3
2 3
2


Dividiendo por cuatro y desarrollando en series de potencias, se tiene:

....
12
7
4
3
4
5
4
3
4
1
12
1
) ln(
6 5 4 2 3
2
+ + + + = x x x x x x x y

b) Usando el otro mtodo, con 0 = se tiene: x

) ln( ) ln(
3
0
2 1
0
2
x Cx x b y x Cy x b x y
k
k
k
k
k
k
+ = + =


=

Tomando las dos primeras derivadas, resulta:

| | | |


=

+ + = + + =
0
2
0
1 2 2
2
) 1 ( ) ln( 6 5 ' ' ) ln( 3 '
k
k
k
k
k
k
x b k k x x x C y x kb x x x C y

Al sustituir en la ecuacin diferencial, resulta:

| | 0 6 2 ) 1 ( ) 1 ( 5 3
0
1
0
1
0 0
1 3 2
+ +


=
+

k
k
k
k
k
k
k
k
k
k
k
k
x b x kb x b k k x b k k x x C

La expresin anterior se puede escribir en la forma:

| |
3 2
0 0
1
5 3 ) 2 )( 3 ( ) 3 ( x x C x b k k x b k k
k
k
k
k
k
k
+


=

298
Se hacen los cambios adecuados, se tiene:

| |
3 2
0 1
1
5 3 ) 2 )( 3 ( ) 2 )( 1 ( x x C x b n n x b n n
n
n
n
n
n
n
+ +


=

=
+

| | | |
3 2
0
1
1
0
5 3 ) 2 )( 3 ( ) 2 )( 1 ( 0 x x C x b n n b n n x b
n
n
n n
+ + +

=
+

De la identidad anterior se sigue que 0
0
b . Por otro lado, si se hace 1 = C , resulta:

| |
3 2
0
1
5 3 ) 2 )( 3 ( ) 2 )( 1 ( x x x b n n b n n
n
n
n n
+ + +

=
+


A continuacin se determinan algunas de las constantes:



En consecuencia, la segunda solucin es:

....
12
7
4
3
4
5
4
3
9 3 ) ln(
6 5 4 3 2
0 0 0
3
2
+ + + + + + + = x x x x x b x b b x x y

( ) ....
12
7
4
3
4
5
4
3
9 3 1 ) ln(
6 5 4 3 2
0
3
2
+ + + + + + + = x x x x x x b x x y

Observe que s: 3 / 1
0
= b se tiene la misma solucin hallada por el primer mtodo.

EJERCICIOS 5.5.

Encuentre un conjunto fundamental de soluciones para cada una de las siguientes
ecuaciones diferenciales, indicando el intervalo de validez.

1. 0 ) ( ) ( ' 2 ) ( ' ' = + x xy x y x xy 2. 0 ) ( ) ( ' ) ( ' ' 2 = + x xy x y x xy
3. 0 ) ( ) ( ' ) 1 ( ) ( ' ' = + x y x y x x xy 4. 0 ) ( 4 ) ( ' ) ( ' '
2
= + x y x x y x xy
5. ( ) 0 ) ( 4 ) ( ' ) ( ' '
2 2
= + + x y x x xy x y x 6. 0 ) ( 6 ) ( ' ) ( ' ' ) 2 (
2
= + x xy x y x y x x
7. 0 ) ( ) ( ' 2 ) ( ' ' ) 1 ( = + + x xy x y x y x x 8. 0 ) ( ) 1 4 ( ) ( ' 4 ) ( ' ' 4
2 2
= + + x y x x xy x y x
12
7
9
7
0 14 18 5
4
3
5
3
0 6 10 4
4
5
5 4 3
4
3
3 4 2
9 3 0 6 2 1
3 0 6 2 0
5 6 5 6
4 5 4 5
4 4
3 3
0 1 2 1 2
0 1 0 1
= = = =
= = = =
= = =
= = =
= = = + =
= = + =
b b b b n
b b b b n
b b n
b b n
b b b b b n
b b b b n


299
9. 0 ) ( ) ( ' ) ( ) ( ' '
2 2
= + + x y x y x x x y x 10. 0 ) ( ) ( ' ) 2 1 ( ) ( ' ' 2 = + x y x y x x xy
11. 0 ) ( 2 ) ( ' 2 ) ( ' ' ) 1 ( = + x y x y x y x x 12. 0 ) ( ) ( ' ) 2 ( ) ( ' ' = + + x y x y x x xy
13. 0 ) ( 4 ) ( ' ) ( ' '
3
= + x y x x y x xy 14. 0 ) ( ) ( ' ) ( ) ( ' ' 2
2 2
= + + x y x y x x x y x
15. 0 ) ( ) 2 ( ) ( ' ) 3 2 ( ) ( ' ' 2
2 2
= + + + x y x x y x x x y x

Mediante el cambio de variable x z / 1 = , encuentre la solucin general para las
siguientes ecuaciones diferenciales:

16. 0 ) ( 4 ) ( ' ) ( ' '
3
= + x y x x y x xy
17. 0 ) ( ) 1 2 ( ) ( ' 10 ) ( ' ' 4
2 3
= + + + x y x x y x x y x
18. 0 ) ( ) ( ' 2 ) ( ' '
3 4
= + + x y x y x x y x
19. 0 ) ( ) ( ' ) 1 ( 2 ) ( ' '
2 4
= + + + x y x y x x x y x
20. Suponga soluciones de la forma:

=
+
=
0 n
n
n
x c y

para resolver la ecuacin
diferencial: 0 ) ( 2 ) ( ' ) ( ' '
2
= x y x y x y x

5.6. ECUACIONES DIFERENCIALES NOTABLES.

En diversas aplicaciones de ingeniera y ciencias resultan ecuaciones diferenciales de
coeficientes variables que merecen un tratamiento especial. Cabe mencionar: la
ecuacin diferencial de Legendre, la ecuacin diferencial de Bessel y otras de no menos
importancia.

La ecuacin diferencial de Legendre.

La ecuacin diferencial de Legendre presenta la forma general:

= + + R p x y p p x xy x y x 0 ) ( ) 1 ( ) ( ' 2 ) ( ' ' ) 1 (

2


Puede verse que la ecuacin diferencial admite soluciones de la forma de Maclaurin en
el intervalo { } 1 1 / < < = x R x I . En efecto, si se suponen soluciones de la forma

=
=
0 k
k
k
x c y , resulta:
0 ) 1 ( 2 ) 1 ( ) 1 (
0 0 0 0
2
+ +


=

k
k
k
k
k
k
k
k
k
k
k
k
x c p p x kc x c k k x c k k

Agrupando trminos semejantes, se tiene:

| |
0 ) )( 1 ( ) 1 (
0 ) 1 ( ) 1 (
0 0
2
0
2
0
2
+ +
+ +

k
k
k
k
k
k
k
k
k
k
k
k
x c p k p k x c k k
x c p p k k x c k k


Se hacen los siguientes cambios de variable:
En la primera sumatoria: 2 = k n


300
En la segunda sumatoria: k n =
Con los cambios resulta:

0 ) )( 1 ( ) 1 )( 2 (
0 2
2
+ + + +


=

=
+
n
n
n
n
n
n
x c p n p n x c n n

De la identidad anterior se sigue que:

,... 2 , 1 , 0 ;
) 2 )( 1 (
) )( 1 (
0 0
2 1 0
=
+ +
+ +
=
+
n c
n n
p n p n
c c c
n n


Asignando algunos valores a n se tiene:

1 1 3
0 0 2
! 3
) 2 )( 1 (
3 2
) 2 )( 1 (
1
! 2
) 1 )( 0 (
2 1
) 1 )( 0 (
0
c
p p
c
p p
c n
c
p p
c
p p
c n
+
=

+
= =
+
=

+
= =

1 3 5
0 2 4
! 5
) 4 )( 2 )( 3 )( 1 (
4 5
) 4 )( 3 (
3
! 4
) 3 )( 1 )( 2 )( 0 (
3 4
) 3 )( 2 (
2
c
p p p p
c
p p
c n
c
p p p p
c
p p
c n
+ +
=

+
= =
+ +
=

+
= =


1 5 7
0 4 6
! 7
) 6 )( 4 )( 2 )( 5 )( 3 )( 1 (
6 7
) 6 )( 5 (
5
! 6
) 5 )( 3 )( 1 )( 4 )( 2 )( 0 (
5 6
) 5 )( 4 (
4
c
p p p p p p
c
p p
c n
c
p p p p p p
c
p p
c n
+ + +
=

+
= =
+ + +
=

+
= =


La solucin de la ecuacin diferencial es:

|
.
|

\
|
+
+ +
+
+
+
+ |
.
|

\
|
+
+ +
+
+
+ =
....
! 5
) 4 )( 2 )( 3 )( 1 (
! 3
) 2 )( 1 (
....
! 4
) 3 )( 1 )( 2 )( 0 (
! 2
) 1 )( 0 (
1 ) (
5 3
1
4 2
0
x
p p p p
x
p p
x c
x
p p p p
x
p p
c x y


Como era de esperarse, aparecen dos soluciones linealmente independientes.
Un caso de particular inters es aquel en el que el parmetro p es un entero no negativo,
es decir ,... 3 , 2 , 1 , 0 = = n n p . . En este caso la ecuacin diferencial de Legendre se
escribe en la forma:

,... 3 , 2 , 1 , 0 0 ) ( ) 1 ( ) ( ' 2 ) ( ' ' ) 1 (
2
= = + + n x y n n x xy x y x

Las dos soluciones de la ecuacin diferencial vienen dadas por:



301
....
! 5
) 4 )( 2 )( 3 )( 1 (
! 3
) 2 )( 1 (
) (
...
! 4
) 3 )( 1 )( 2 )( 0 (
! 2
) 1 )( 0 (
1 ) (
5 3
2
4 2
1
+
+ +
+
+
+ =
+
+ +
+
+
+ =
x
n n n n
x
n n
x x y
x
n n n n
x
n n
x y


Como puede verse, una de las soluciones es un polinomio de grado n , conocido como
polinomio de Legendre de grado n , mientras que la otra solucin es una serie infinita.
A continuacin se ilustran algunos casos particulares:

...
5
4
3 6 1
3
5
3
....
21
2
5 2
3 1 2
...
10 6
1 1
...
7 5 3
1 0
6
4 2
2
3
1
7 5 3
2
2
1
6 4
2
2 1
7 5 3
2 1
+ + + = = =
= = =
= = =
+ + = = =
x
x x y
x
x y n
x x x
x y x y n
x x
x y x y n
x x x
x y y n


Los polinomios normalizados de Legendre corresponden a normalizaciones de los
obtenidos previamente de tal manera que pasen por el punto ) 1 , 1 ( . La siguiente es una
tabla de los polinomios normalizados de Legendre:

1 ) ( 0
0
= = x P n
x x P n = = ) ( 1
1

) 1 3 (
2
1
) ( 2
2
2
= = x x P n
) 2 5 (
2
1
) ( 3
3
3
x x x P n = =
) 3 30 35 (
8
1
) ( 4
2 4
4
+ = = x x x P n
) 15 70 63 (
8
1
) ( 5
3 5
5
x x x x P n + = =
) 5 105 315 231 (
16
1
) ( 6
2 4 6
6
+ = = x x x x P n

La figura 5.2 ilustra la grfica de los polinomios de Legendre de grados: 1, 2 y 3.
Los polinomios de Legendre se pueden obtener a partir de la siguiente frmula,
conocida como frmula de Rodrigue.

n
n
n
n
n
x
dx
d
n
x P ) 1 (
! 2
1
) (
2
=

La siguiente frmula de recurrencia se puede usar para determinar los polinomios de
Legendre a partir de x x P y x P = = ) ( 1 ) (
1 0
.



302
,.... 4 , 3 , 2 , 1 ; ) (
1
) (
1
1 2
) (
1 1
=
+

+
+
=
+
n x P
n
n
x xP
n
n
x P
n n n


Puede demostrarse que:

1 2
) ( ) (
) (
1 1
+

=
+
n
x P x P
dx x P
n n
n



Figura 5.2.

Los polinomios de Legendre presentan ciertas propiedades, entre las que son dignas de
destacar, las siguientes:

1. Un polinomio de Legendre es estrictamente par o estrictamente impar.
2. Los polinomios pares pasan por los puntos: ) 1 , 1 ( y ) 1 , 1 (
3. Los polinomios impares pasan por los puntos: ) 1 , 1 ( y ) 1 , 1 (
4. Todas las races de los polinomios de grado mayor o igual que uno son reales y
estn en el intervalo: 1 1 < < x
5. Los polinomios son ortogonales en el intervalo: 1 1 < < x

La propiedad de ortogonalidad se plantea en los siguientes trminos:

=
+

n m si
n
n m si
dx x P x P
m n
1 2
2
0
) ( ) (
1
1


Los polinomios de Legendre se usan para interpolar funciones seccionalmente continuas
en un intervalo, es decir, funciones que no necesariamente se pueden representar en
series de Taylor.

Desarrollo de una funcin mediante polinomios de Legendre

Sabemos que para desarrollar una funcin mediante una serie de potencias se requiere
que dicha funcin sea continua y tenga todas sus derivadas continuas en un entorno de
cualquier punto de su dominio.


303
Lo anterior significa que una funcin seccionalmente continua no se puede expresar en
trminos de series de potencias de Taylor. Veremos a continuacin que una funcin
seccionalmente continua en el intervalo: 1 1 < < x se puede expresar en trminos de
los polinomios de Legendre.

) ( .... ) ( ) ( ) ( ) (
2 2 1 1 0 0
x P c x P c x P c x P c x f
n n
+ + + + =

Los coeficientes del desarrollo se determinan con base en la propiedad de
ortogonalidad, as: s se multiplica la funcin por ) (x P
m
tenemos:

) ( ) ( .... ) ( ) ( ) ( ) ( ) ( ) ( ) (
2 2 1 1 0 0
x P x P c x P c x P x P c x P x P c x P x f
m n n m m m
+ + + + =

Integrando en el intervalo y aplicando la propiedad de ortogonalidad, resulta:



=
1
1
1
1
) ( ) ( ) ( ) ( x P x P c dx x P x f
n n n m


Despejando, tenemos:

+
=
1
1
) ( ) (
2
1 2
dx x P x f
n
c
n n


Cuando la funcin no est definida en el intervalo 1 1 < < x sino en un intervalo
cualquiera, se puede hacer la siguiente conversin: Si ) (x f est definida en el intervalo
) , ( b a , tenemos b x a < < . Si hacemos el cambio de variable
2 2
a b
t
a b
x
+
+

= , la
nueva variable t estar en el intervalo ) 1 , 1 ( .

Ejemplo 5.20.

Considere la funcin:

>
< <
<
=
1 0
1 1
1 0
) (
x si
x si x
x si
x f

a) Represente grficamente la funcin en el intervalo
b) Exprese la funcin mediante un desarrollo de Legendre de orden cuatro
c) Compare la funcin de aproximacin con la funcin original y haga un estimativo
del error.

Solucin
Puesto que la funcin es par, su desarrollo de Legendre de orden cuatro es:

) ( ) ( ) (
4 4 2 2 0
x P c x P c c x L + + =

Los coeficientes se calculan con la ayuda de Mathcad, as:

187 . 0 625 . 0 5 . 0
3 2 0
= = = c c c


304
El polinomio de Legendre resultante es:

4 2
818125 . 0 63875 . 1 117375 . 0 ) ( x x x L + =

La figura 5.3 muestra la grfica comparada con la funcin original


Figura 5.3

La ecuacin diferencial de Hermite.

La ecuacin diferencial de Hermite presenta la forma general:

= + R p x py x xy x y 0 ) ( 2 ) ( ' 2 ) ( ' '

Por simple inspeccin se deduce que 0
0
= x es un punto ordinario de la ecuacin
diferencial y, en consecuencia, admite dos soluciones de la forma de Maclaurin, as:

=
=
0 k
k
k
x c y

Derivando dos veces y sustituyendo en la ecuacin, resulta:

0 2 2 ) 1 (
0 0 0
2
+


=

k
k
k
k
k
k
k
k
k
x kc p x kc x c k k

La identidad anterior se puede escribir en la forma:

( ) 0 2 ) 1 (
0 0
2



=

k
k
k
k
k
k
x c p k x c k k

De la expresin anterior se sigue que:



305
,... 3 , 2 , 1 , 0 ;
) 1 )( 2 (
) ( 2
0 0
2 1 0
=
+ +

=
+
n c
n n
p n
c c c
n n


Al evaluar algunos de los trminos de la serie, resultan dos soluciones que forman un
conjunto fundamental, as:

...
! 7
) 5 )( 3 )( 0 ( 2
! 5
) 3 )( 1 ( 2
! 3
) 1 ( 2
...
! 6
) 4 )( 2 )( 0 ( 2
! 4
) 2 )( 0 ( 2
! 2
) 0 ( 2
1
7
3
5
2
3
2
6
3
4
2
2
1
+

+

+

+ =
+

+

+

+ =
x
p p p
x
p p
x
p
x y
x
p p p
x
p p
x
p
y


Cuando ,... 3 , 2 , 1 , 0 = = n n p , la ecuacin diferencial es: 0 ) ( 2 ) ( ' 2 ) ( ' ' = + x ny x xy x y
En este caso una de las soluciones es un polinomio de grado: n conocido como
polinomio de Hermite, mientras que la otra es una serie infinita, as:

...
! 7
) 5 )( 3 )( 1 ( 2
! 5
) 3 )( 1 ( 2
! 3
) 1 ( 2
...
! 6
) 4 )( 2 )( 0 ( 2
! 4
) 2 )( 0 ( 2
! 2
) 0 ( 2
1
7
3
5
2
3
2
6
3
4
2
2
1
+

+

+

+ =
+

+

+

+ =
x
n n n
x
n n
x
n
x y
x
n n n
x
n n
x
n
y


A continuacin se muestran algunos casos particulares:

...
30 2
3 1
3
2
3
..
210 30 3
1 2
...
30 6
1 1
...
42 10 3
1 0
6 4
2
2
3
1
7 5 3
2
2
1
6 4
2
2 1
7 5 3
2 1
+ + = = =
+ = = =
= = =
+ + + + = = =
x x
x y
x
x y n
x x x
x y x y n
x x
x y x y n
x x x
x y y n


Los polinomios normalizados de Hermite son los siguientes:

120 720 480 64 ) (
120 160 32 ) ( 12 48 16 ) (
12 8 ) ( 2 4 ) ( 2 ) ( 1 ) (
2 4 6
6
3 5
5
2 4
4
3
3
2
2 1 0
+ =
+ = + =
= = = =
x x x x H
x x x x H x x x H
x x x H x x H x x H x H


Los polinomios de Hermite se pueden obtener directamente de la siguiente frmula,
conocida como frmula de Rodrigue.
2 2
) 1 ( ) (
x
n
n
x n
n
e
dx
d
e x H

=
A partir de los polinomios de Hermite x x H y x H 2 ) ( 1 ) (
1 0
= = , se pueden
determinar los otros polinomios de Hermite, mediante la siguiente frmula de
recurrencia:


306
) ( 2 ) ( 2 ) (
1 1
x nH x xH x H
n n n +
=

Los polinomios de Hermite son ortogonales con respecto a la funcin de peso
2
x
e

, as:

m n si n
m n si
dx x H x H e
n m n
x
! 2
0
) ( ) (
2


Las figuras 5.4 y 5.5 ilustran las grficas de los polinomios de Hermite de grados: 1,2, 3
y 4.

Figura 5.4 Figura 5.5

Puede verse que todas las races son reales.

Ejemplo 5.21.

Encuentre la solucin general de la ecuacin diferencial de Hermite de primer orden.

0 ) ( 4 ) ( ' 2 ) ( ' ' = + x y x xy x y

Solucin.
Tal como se acaba de ver, una solucin es x y =
1
. La segunda solucin se puede
determinar de dos maneras, as:
1. Haciendo uso de los resultados previos:

...
30 6
1
6 4
2
2
=
x x
x y

2. Por el mtodo de reduccin de orden.

(

=
(

=
(
(

=

dx
x
e
x dx
x
e
x dx
y
e
y y
x
xdx dx x p
2 2
2
2
1
) (
1 2
2


La serie correspondiente a
2
x
e es: .....
6 2
1
6 4
2
2
+ + + + =
x x
x e
x


Con base en lo anterior, la segunda solucin es:

dx
x x
x
x y
(

|
|
.
|

\
|
+ + + + = . ..
6 2
1
1
4 2
2
2



307
Efectuando las operaciones, resulta la misma solucin anterior con signo contrario.

La ecuacin diferencial de Chebyshev.

La forma general de la ecuacin diferencial de Chebyshev es la siguiente:

= + R p x y p x xy x y x 0 ) ( ) ( ' ) ( ' ' ) 1 (

2 2


Puesto que 0
0
= x es un punto ordinario de la ecuacin diferencial y dado que las
singularidades ms cercanas son 1 = x , se garantizan dos soluciones linealmente
independientes en el intervalo } 1 / { < = x R x I . Tal como se estudi previamente, la
ecuacin diferencial admite soluciones de la forma:

=
=
0 k
k
k
x c y
Sustituyendo idnticamente en la ecuacin diferencial se tiene:

0 ) 1 ( ) 1 (
0
2
0 0 0
2
+


=

k
k
k
k
k
k
k
k
k
k
k
k
x c p x kc x c k k x c k k

Agrupando las tres ltimas sumatorias se tiene:

0 ) ( ) 1 (
0
2 2
0
2



=

k
k
k
k
k
k
x c p k x c k k

Efectuando los cambios de variable adecuados resulta:

0 ) ( ) 1 )( 2 (
0
2 2
2
2
+ +


=

=
+
m
m
m
m
m
m
x c p m x c m m

De la expresin anterior se sigue que:

,... 3 , 2 , 1 , 0 ;
) 1 )( 2 (
0 0
2 2
2 1 0
=
+ +

=
+
m c
m m
p m
c c c
m m


As las cosas, la solucin de la ecuacin diferencial es:

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

+

+

+ + = x c
p p
x c
p p
x c
p
x c
p
x c c x y

En consecuencia, las dos soluciones son:

...
! 7
) 5 )( 3 )( 1 (
! 5
) 3 )( 1 (
! 3
1
...
! 6
) 4 )( 2 (
! 4
) 2 (
! 2
1
7
2 2 2 2 2 2
5
2 2 2 2
3
2 2
2
6
2 2 2 2 2
4
2 2 2
2
2
1
+

+

+

+ =
+

+

+

+ =
x
p p p
x
p p
x
p
x y
x
p p p
x
p p
x
p
y




308
Particularmente, cuando ,.. 2 , 1 , 0 = = n p , una de las soluciones es un polinomio de
grado n , as:
...
! 5
) 4 3 )( 4 1 (
! 3
) 4 1 (
8 8 1 4
...
! 6
) 3 4 )( 3 2 ( 1
! 4
) 3 2 ( 3
! 2
3
1
2
3
3
...
! 5
) 2 3 )( 2 1 (
! 3
) 2 1 (
2 1 2
...
! 6
) 1 4 )( 1 2 ( 1
! 4
) 1 2 ( 1
! 2
1
1 1
...
! 7
5 3 1
! 5
3 1
! 2
1
1 0
5
2 2 2 2
3
2 2
2
4 2
1
6
2 2 2 2 2
4
2 2 2
2
2
2
3
1
5
2 2 2 2
3
2 2
2
2
1
6
2 2 2 2 2
4
2 2 2
2
2
2 1
7
2 2 2
5
2 2
2
2
2 1
+

+

+ = + = =
+

+

+

+ = = =
+

+

+ = = =
+

+

+

+ = = =
+

+

+ = = =
x x x y x x y p
x x x y x x y p
x x x y x y p
x x x y x y p
x x x x y y p

La solucin polinmica recibe el nombre de polinomio de polinomio de Chebyshev de
grado n.
A continuacin se ilustran algunos de los polinomios normalizados de Chebyshev.

1 18 48 32 ) (
5 20 16 ) (
1 8 8 ) (
3 4 ) (
1 2 ) (
) (
1 ) (
2 4 6
6
3 5
5
2 4
4
3
3
2
2
1
0
+ =
+ =
+ =
=
=
=
=
x x x x C
x x x x C
x x x C
x x x C
x x C
x x C
x C


Los polinomios normalizados de Chebyshev se pueden determinar a partir de la
frmula:
| |
| |

>

1 ) ( cosh cosh
1 ) ( cos cos
) (
1
1
x si x n
x si x n
x C
n


La siguiente frmula de recurrencia permite hallar cualquier polinomio de Chebyshev a
partir de x x C y x C = = ) ( 1 ) (
1 0
.

,.... 3 , 2 , 1 ) ( ) ( 2 ) (
1 1
= =
+
n x C x xC x C
n n n


Los polinomios de Chebyshev son ortogonales en el intervalo: 1 1 < < x con respecto
a la funcin de peso
2 / 1 2
) 1 (

x , as:

= =
= =

=
(

3 , 2 , 1
2
0
0
1
) ( ) (
1
1
2
m n si
m n si
m n si
dx
x
x C x C
m n

309
Al igual que los polinomios de Legendre, los polinomios de Chebyshev se pueden usar
para desarrollar funciones seccionalmente continuas en el intervalo 1 1 < < x .
Precisamente, se usan a menudo en el diseo de filtros pasivos.
Los polinomios de Chebyshev presentan ciertas propiedades, entre las que son dignas de
destacar, las siguientes:
1. Un polinomio de Legendre es estrictamente par o estrictamente impar.
2. Los polinomios pares pasan por los puntos: ) 1 , 1 ( y ) 1 , 1 (
3. Los polinomios impares pasan por los puntos: ) 1 , 1 ( y ) 1 , 1 (
4. Todas las races de los polinomios de grado mayor o igual que uno son reales y estn
en el intervalo 1 1 < < x . Las figuras 5.6 y 5.7 ilustran las grficas de los polinomios
de Chebyshev de grados: 1, 2, 3 y 4.

Ejemplo 5.22.

Encuentre la solucin general de la ecuacin diferencial de Chebyshev de primer orden.

0 ) ( ) ( ' ) ( ' ' ) 1 (
2
= + x y x xy x y x
Solucin.
Con base en lo estudiado previamente, las dos soluciones de la ecuacin diferencial son:

...
! 6
) 1 4 )( 1 2 ( 1
! 4
) 1 2 ( 1
! 2
1
1
6
2 2 2 2 2
4
2 2 2
2
2
2 1
+

+

+

+ = = x x x y x y

La segunda solucin se puede determinar por el mtodo de reduccin de orden, as:

(
(

=
(
(

=
(
(

dx
x
e
x dx
x
e
x dx
y
e
y y
x
dx
x
x
dx x p
2
) 1 ln(
2
1
2
1
2
1
) (
1 2
2
2


dx
x x
x y
(

=
2 2
2
1
1


Despus de integrar el resultado es
2
2
1 x y = , cuya serie de Maclaurin es:

|
|
.
|

\
|
= ....
16 8 2
1
6 4 2
2
x x x
y

Se puede observar que la solucin obtenida corresponde a la halada previamente pero
con signo contrario.

La ecuacin diferencial de Laguerre.

La ecuacin diferencial de Laguerre presenta la forma general:

= + + R p py x y x x xy 0 ) ( ' ) 1 ( ) ( ' '

310
Como puede verse, el punto: 0
0
= x es un punto singular regular de la ecuacin
diferencial y, en consecuencia, admite al menos una solucin de la forma de Frobenius,
as

=
+
=
0 k
k
k
x c y

. Derivando dos veces y sustituyendo en la ecuacin diferencial, se
tiene:
0 ) ( ) ( ) 1 )( (
0 0 0
1
0
1
+ + + + + +


=
+

=
+

=
+

=
+
k
k
k
k
k
k
k
k
k
k
k
k
x pc x c k x c k x c k k



Agrupando sumatorias y sacando como factor comn

x , resulta:


Figura 5.6. Figura 5.7.

0 ) ( ) (
0 0
1 2
+ +


=

k
k
k
k
k
k
x c p k x c k

Procediendo a realizar los correspondientes cambios de variable, se tiene:

0 ) ( ) 1 (
0 1
1
2
+ + +


=

=
+
n
n
n
n
n
n
x c p n x c n

De la expresin anterior se sigue que:

| | 0 ) ( ) 1 (
0
1
2 1
0
2
+ + +

=
+

n
n
n n
x c p n c n x c

Para soluciones diferentes de la trivial se toma 0
0
c , con lo que resulta: 0
2 1
= =
y, por tanto, se tiene una solucin, as:

=
=
0
1
n
n
n
x c y
En la expresin anterior se tiene que: ,... 3 , 2 , 1 , 0 ;
) 1 (
0
2
1 0
=
+

=
+
n c
n
p n
c c
n n

Evaluando algunos trminos y haciendo 1
0
= c , resulta:

( ) ( ) ( ) ( )
...
! 4
) 3 )( 2 )( 1 (
! 3
) 2 )( 1 (
! 2
) 1 (
! 1
1
4
2
3
2
2
2 2 1
+

+

+

+

+ = x
p p p p
x
p p p
x
p p
x
p
y

La otra solucin se puede determinar por el procedimiento desarrollado en la seccin
anterior o por reduccin de orden.
Particularmente, cuando ,.. 3 , 2 , 1 , 0 = = n p ,


311
La solucin hallada es un polinomio de grado n, as:

( ) ( ) ( ) ( )
...
! 4
) 3 )( 2 )( 1 (
! 3
) 2 )( 1 (
! 2
) 1 (
! 1
1
4
2
3
2
2
2 2 1
+

+

+

+

+ = x
n n n n
x
n n n
x
n n
x
n
y

Algunos casos particulares son los siguientes polinomios conocidos como polinomios
de Laguerre.
4 3 2
1
3 2
1
2
1
1 1
24
1
3
2
3 4 1 4
6
1
2
3
3 1 3
2
1
2 1 2
1 1 1 0
x x x x y n
x x x y n x x y n
x y n y n
+ + = =
+ = = + = =
= = = =


A continuacin se presentan algunos polinomios normalizados de Laguerre.

24 96 72 16 ) (
6 18 9 ) ( 2 4 ) (
1 ) ( 1 ) (
2 3 4
4
2 3
3
2
2
1 0
+ + =
+ + = + =
+ = =
x x x x x L
x x x x L x x x L
x x L x L


Los polinomios de Laguerre se pueden derivar de la siguiente frmula, conocida como
frmula de Rodrigue.
x n
n
n
x
n
e x
dx
d
e x L

= ) (

La siguiente frmula de recurrencia sirve para determinar los diferentes polinomios de
Laguerre a partir de ) ( ) (
1 0
x L y x L .

,... 3 , 2 , 1 ) ( ) ( ) 1 2 ( ) (
1
2
1
= + =
+
n x L n x L x n x L
n n n


Figura 5.8. Figura 5.9.

Las figuras 5.8 y 5.9 ilustran las grficas de los polinomios de Laguerre de grados: 1,2,
3 y 4. Puede verificarse que, cualquiera que sea el grado, las todas las races son reales
positivas.
Los Polinomios normalizados de Laguerre son ortogonales en el intervalo: 0 > x con
respecto a la funcin de peso
x k
e x

, as:



312

( )

=

m n si
k n
n
m n si
dx x L x L e x
k
m
k
n
x k
)! (
!
0
) ( ) (
3
0


Ejemplo 5.23.

Usando el mtodo de reduccin de orden, determine la segunda solucin de la ecuacin
diferencial de Laguerre de primer orden.

0 ) ( ' ) 1 ( ) ( ' ' = + + y x y x x xy

Solucin.
La primera solucin es: 1
1
= x y

En cuanto a la segunda solucin, tenemos:

( )
( )
( )
(

=
(
(

=
(
(

dx
x x
e
x dx
x
e
x dx
y
e
y y
x
dx
x
x
dx x p
2 2
1
2
1
) (
1 2
) 1 (
1
1
1

Efectuando las operaciones resulta:

...
216000 2400 288 36
3
4
) ln( ) 1 (
6 5 4 3 2
2
+ + + + + + =
x x x x
x
x
x x y


La ecuacin diferencial de Bessel.

La ecuacin diferencial de Bessel presenta la forma general:

= + + R p x y p x x xy x y x 0 ) ( ) ( ) ( ' ) ( ' '

2 2 2


Por simple inspeccin se ve que 0
0
= x es un punto singular regular de la ecuacin
diferencial y, en consecuencia, se garantiza al menos una solucin de la forma:

=
+
=
n n
n
n
x c x y

) (

La solucin ser vlida en el intervalo: 0 > x

A sustituir idnticamente en la ecuacin diferencial resulta:

0 ) ( ) 1 )( (
2 2
+ + + + +


=
+

=
+ +

=
+

=
+
n n
n
n
n n
n
n
n n
n
n
n n
n
n
x c p x c x c n x c n n



Agrupando sumatorias y sacando como factor comn

x resulta:


313
| | 0 ) (
2 2 2
+ +


=
+

= n n
n
n
n n
n
n
x c x c p n

A continuacin se hacen los cambios de variable adecuados, con lo que se tiene:

| | 0 ) (
2
2
0
2 2
+ +


=

= k
k
k
k
k
k
x c x c p k

Equivalentemente se puede escribir:

0 ) )( (
2
2
0
+ + + +


=

= k
k
k
k
k
k
x c x c p k p k

De la expresin anterior resulta:

| | 0 ) )( ( ) 1 )( 1 ( ) )( (
2
2
1
1
0
0
+ + + + + + + + + +

=

k
k
k k
x c c p k p k x c p p x c p p

Para obtener soluciones no triviales se impone la condicin 0
0
c , con lo que resulta la
ecuacin indicial 0 ) )( ( = + p p , cuyas soluciones son p p = =
2 1
. De
acuerdo con lo estudiado en la seccin anterior, una de las soluciones es:

=
=
0
1
) (
k
k
k
p
x p c x y
Por otro lado se tiene:

,... 4 , 3 , 2 ;
) 2 ( 2 1
0
2
2
1
=
+
=
+
=

k c
p k k
c
c
p
c
k
k
k


De lo anterior se sigue que: .... 0 0 0
5 3 1
= = = c c c y, adicionalmente resulta:

0
6
4
2
4
6
0
4
2
3
2
4
0
2
0
2
) 3 )( 2 )( 1 ( ! 3 2
1
) 2 ( 3 2
1
) 2 6 ( 6
) 2 )( 1 ( ! 2 2
1
) 2 ( 2
1
) 2 4 ( 4
) 1 ( 2
1
) 2 2 ( 2
c
p p p
c
p p
c
c
c
p p
c
p p
c
c
c
p p
c
c
+ + +

=
+

=
+

=
+ +
=
+
=
+

=
+

=
+
=


Puede verse que el trmino genrico es:

0
2
2
) )...( 3 )( 2 )( 1 ( ! 2
) 1 (
c
k p p p p k
c
k
k
k
+ + + +

=

Con base en lo anterior, la primera solucin es:


314
|
|
.
|

\
|
+
+ + +

+ +
+
+
= ...
) 3 )( 2 )( 1 ( ! 3 2 ) 2 )( 1 ( ! 2 2 ) 1 ( ! 1 2
1
46
6
4
4
2
2
0 1
p p p
x
p p
x
p
x
x c y
p


La solucin se puede escribir de la siguiente manera:

=
+ +
+
=
0
2
2
0 1
) 1 ( ! 2
) 1 ( ) 1 (
k
k
k k
p
k p k
x p
x c y

En la expresin anterior se define la funcin gamma, as:

) 1 ( ) 1 )( 2 )...( 2 )( 1 )( ( ) 1 ( + + + + + + = + + p p p k p k p k p k p

Finalmente, s se hace
) 1 ( 2
1
0
+
=
p
c
p
, resulta:

p k
k
k
x
k p k
p
y
+

=
|
.
|

\
|
+ +
+
=

2
0
1
2 ) 1 ( !
) 1 ( ) 1 (


La serie encontrada recibe el nombre de funcin de Bessel de primera especie de orden
p y se denota como:
p k
k
k
p
x
k p k
x J
+

=
|
.
|

\
|
+ +

=

2
0
2 ) 1 ( !
) 1 (
) (

En cuanto a la segunda solucin, es decir, para p =
2
, se tiene:

,... 4 , 3 , 2 ;
) 2 ( 2 1
0
2
2
1
=

k c
p k k
c
c
p
c
k
k
k


Tal como puede verse, s: 2 / 1 = p la constante
1
c es diferente de cero y en
consecuencia resultan dos soluciones linealmente independientes. Para cualquier otro
valor p la constante
1
c es cero.
Analizando la ecuacin de recurrencia se concluye que s ,... 3 , 2 , 1 , 0 = p , es imposible
hallar una segunda solucin. En otro caso puede verse que una segunda solucin es:

p k
k
k
p
x
k p k
x J y

|
.
|

\
|
+ +

= =

2
0
2
2 ) 1 ( !
) 1 (
) (

En conclusin, dada la ecuacin diferencial de Bessel de orden p, s ... 4 , 3 , 2 , 1 , 0 p , la
solucin de la ecuacin es:
) ( ) ( ) (
2 1
x J C x J C x y
p p
+ =

Cuando ... 4 , 3 , 2 , 1 , 0 = = n p , la segunda solucin se puede determinar por el mtodo de
reduccin de orden, as:


315
,... 3 , 2 , 1 , 0
) (
) (
2 2
=
(

= n
x xJ
dx
x J y
n
n


Para efectos de hallar la segunda solucin se puede proceder segn lo estudiado en la
seccin anterior.
Cuando ,.. 3 , 2 , 1 , 0 = = n p , la funcin gamma se convierte en la funcin factorial, de tal
manera que ! ) 1 ( n n = + . En tal caso, se tiene:

n k
k
k
n
x
n k k
x J
+

=
|
.
|

\
|
+

=

2
0
2 )! ( !
) 1 (
) (

Las figuras 5.10 y 5.11 muestran las grficas de las funciones de Bessel de orden cero y
orden uno.

Las funciones de Bessel de la primera especie presentan algunas propiedades
interesantes, entre las que cabe mencionar las siguientes:

1. | | ) ( ) (
1
x J x x J x
dx
d
p
p
p
p

= 2. | | ) ( ) (
1
x J x x J x
dx
d
p
p
p
p
+

=
3. ) ( ) ( ) ( '
1
x pJ x xJ x xJ
p p p
=

4. ) ( ) ( ) ( '
1
x xJ x pJ x xJ
p p p +
=
5. ) ( ) ( ) ( ' 2
1 1
x J x J x J
p p p +
= 6. ) ( ) (
2
) (
1 1
x J x J
x
p
x J
p p p +
=

Figura 5.10. Figura 5.11.

La funcin gamma.

La funcin gamma es una generalizacin de la funcin factorial y se define de la
siguiente manera:
+

=

R p dx x e p
p x
0
1
) (

Cuando N p , el clculo de la funcin gamma se realiza usando tcnicas numricas y
usando la siguiente frmula de recurrencia:

) ( ) 1 ( p p p = +

Cuando N n p = , se tiene )! 1 ( ) ( = n n . Justamente, del resultado anterior se sigue
que: 1 ! 0 =




316
La funcin gamma se puede definir para valores negativos no enteros de p, as:

,... 3 , 2 , 1
) 1 (
) (
+
= p
p
p
p

Puede demostrarse que: = ) 2 / 1 (
La figura 5.12 muestra la grfica de la funcin gamma en el intervalo 0 4 p < . Puede
verse que se presentan asntotas en ,... 4 , 3 , 2 , 1 , 0 = p , mientras que la funcin es
continua para: 0 > n

Ejemplo 5.24.

Demuestre que:
,.... 3 , 2 , 1
2
)! 1 2 (
) 2 / 1 ( =

= + n
n
n
n


Solucin.
Se procede por induccin matemtica incompleta, as:

n
n
n
2
)! 1 2 (
) 2 / 3 (
.
.
2
7 5 3 1
) 2 / 1 (
2
1
2
3
2
5
2
7
) 2 / 9 ( ) 2 / 1 4 (
2
5 3 1
) 2 / 1 (
2
1
2
3
2
5
) 2 / 7 ( ) 2 / 1 3 (
2
3 1
) 2 / 1 (
2
1
2
3
) 2 / 5 ( ) 2 / 1 2 (
2
1
) 2 / 1 (
2
1
) 2 / 1 1 (
4
3
2

= +

= = = +

= = = +

= = = +
= = +


Ejemplo 5.25.

Demuestre la propiedad:
) ( ) 1 ( ) ( x J x J
n
n
n
=

Solucin.
Se parte de la funcin de Bessel de orden -n, as:

|
.
|

\
|

=
0
2
2 )! ( !
) 1 (
) (
k
n k
k
n
x
n k k
x J

A continuacin se hace el cambio de variable n k j = , con lo que resulta:



317

=
+
+

|
.
|

\
|
+

=
n j
n j
n j
n
x
j n j
x J
2
2 ! )! (
) 1 (
) (

La expresin anterior se puede escribir en la forma:



=
+

=
+
+

|
.
|

\
|
+

+ |
.
|

\
|
+

=
0
2
1
2
2 ! )! (
) 1 (
) 1 (
2 ! )! (
) 1 (
) (
j
n j
j
n
n j
n j
n j
n
x
j n j
x
j n j
x J

Teniendo en cuenta que el factorial de un nmero negativo tiende a , la primera
sumatoria tiende a cero y, en consecuencia queda demostrada la propiedad.

Ejemplo 5.26.

Demuestre la propiedad:
| | ) ( ) (
1
x J x x J x
dx
d
n
n
n
n

=

Solucin.
Se parte de la definicin de la funcin de Bessel de orden n, as:

| |
| |
| | ) (
2 )! 1 ( !
) 1 (
)! 1 ( ! 2
) 1 (
) (
)! 1 )( ( ! 2
) ( ) 1 (
)! 1 )( ( ! 2
) ( 2 ) 1 (
) (
)! ( ! 2
) 1 (
2 )! ( !
) 1 (
) (
1
1 2
0 0
1 2
1 2 2
0
1 2
1 2 2
0
2
1 2 2
0
2
) ( 2
2
0
x J x
x
n k k
x
n k k
x
x J x
dx
d
n k n k k
x n k
n k n k k
x n k
x J x
dx
d
n k k
x
dx
d x
n k k
x
dx
d
x J x
dx
d
n
n
n k
k
k
n
k
k
n k
n
n
k
k
n k
k
k
n k
n
n
k
k
n k k
n k
k
k
n
n
n

=

+

=

+
=
+

=
+
+

=
= |
.
|

\
|
+

=
+

+ +
+
=
+ +
+
=

+

=
(
(

|
.
|

\
|
+

=





Figura 5.12.

El resultado puede hacerse extensivo al caso de orden ,... 3 , 2 , 1 , 0 p , es decir, la
propiedad en forma general es:
| | ) ( ) (
1
x J x x J x
dx
d
p
p
n
p

=

De manera similar se puede demostrar la segunda propiedad.

Ejemplo 5.27.



318
Demuestre la propiedad: ) ( ) ( ) ( '
1
x pJ x xJ x xJ
p p p
=



Solucin.
Se parte de la primera propiedad, as:

| | ) ( ) ( ) ( ' ) (
1
1
x J x x J px x J x x J x
dx
d
p
p
p
p
p
p
n
p

= + =

Multiplicando por
p
x

se tiene:

) ( ) ( ) ( ' ) ( ) ( ) ( '
1 1
1
x pJ x xJ x xJ x J x J px x J
p p p p p p
= = +

De manera similar se demuestra la cuarta propiedad.

EJERCICIOS 5.6.

Encuentre la solucin general para las ecuaciones diferenciales 1-10

1. 0 ) ( 6 ) ( ' 2 ) ( ' ' ) 1 (
2
= + x y x xy x y x
2. 0 ) (
4
3
) ( ' 2 ) ( ' ' ) 1 (
2
= + x y x xy x y x
3. 0 ) ( 4 ) ( ' 2 ) ( ' ' = + x y x xy x y
4. 0 ) ( ) ( ' 2 ) ( ' ' = + x y x xy x y
5. 0 ) ( 4 ) ( ' ) ( ' ' ) 1 (
2
= + x y x xy x y x
6. 0 ) (
4
1
) ( ' ) ( ' ' ) 1 (
2
= + x y x xy x y x
7. 0 2 ) ( ' ) 1 ( ) ( ' ' = + + y x y x x xy
8. 0
2
1
) ( ' ) 1 ( ) ( ' ' = + + y x y x x xy
9. 0 ) ( ) 4 ( ) ( ' ) ( ' '
2 2
= + + x y x x xy x y x
10. 0 ) ( ) 25 . 0 ( ) ( ' ) ( ' '
2 2
= + + x y x x xy x y x

11. Use los polinomios normalizados de Legendre para aproximar la siguiente funcin
en el intervalo 1 1 x . Represente grficamente la funcin original en un mismo
grfico con la aproximacin.
x x f = 1 ) (

12. Demuestre las siguientes propiedades:

4. ) ( ) ( ) ( '
1
x xJ x pJ x xJ
p p p +
=
5. ) ( ) ( ) ( ' 2
1 1
x J x J x J
p p p +
=
6. ) ( ) (
2
) (
1 1
x J x J
x
p
x J
p p p +
=



319
13. Usando la propiedad de recurrencia del ejercicio anterior, exprese ) (
3
x J en trminos
de ) (
0
x J y ) (
1
x J .

14. Evale las siguientes integrales:

a.

dx x xJ ) (
0
b.

dx x J x ) (
1
2
c.

dx x J x ) (
1
4
d.

dx x xJ ) (
2
0


15. Considere la ecuacin diferencial 0 ) ( ) ( ) ( ' ) ( ' ' ) 1 (
2 2 2 2
= + + x y p x x xy x y x ,
conocida como ecuacin paramtrica de Bessel con parmetro . Demuestre que la
funcin: ) ( x J
n
es una solucin de la ecuacin diferencial:

16. Use el resultado del ejemplo 5.24 y la frmula de la funcin de Bessel para
demuestre que:

a. ) (
2
) (
2 / 1
x sen
x
x J

= b. ) cos(
2
) (
2 / 1
x
x
x J

17. Usando los resultados del ejercicio anterior y la propiedad 6, exprese ) (
2 / 3
x J y
) (
2 / 5
x J en trminos de ) (
2 / 1
x J y ) (
2 / 1
x J