Vctor D.

Rojas Cerna FIEE-UNI

2001 - 1
166
SOLUCIN EN SERIE DE POTENCIA DE UNA EDOL DE ORDEN 2


Indudablemente hay ecuaciones diferenciales de orden 2 (o cualquier orden) las
cuales admiten una solucin pero que por los mtodos clsicos vistos no podemos
acceder a la solucin. Inclusive las de primer orden por ejemplo, supongamos que
deseamos hallar la solucin al siguiente problema de Cauchy:
0
2
) 0 ( y y
y t y
=
+ = '

) (t y y =


y t y x f + =
2
) , ( es continua y 1 =
y
f tambin es continua en cualquier dominio
rectangular { } d y a y t R s s = / ) , ( que contenga al (0,y
0
) obviamente.
Podemos ver que se trata de una EDOLDPO cuya solucin por integracin es
complicada pero podemos asumir que admite una solucin serial o tambin
buscando en factor integrante. Pensemos en que deseamos usar series lo cual
admiten que en dominio de convergencia que comienza al (0,y
0
) podemos durar
serie y as obtener la solucin.

n
n
n
t a y
0 >
=

1
0
2 1
1
1
>

>

+ = =
n
n
n
n
n
n
t a t t na y


sustituyendo:
n
n
n
n
n
n
t a t t na
0
2 1
1 >

>
=


uniformizando el ndice de sumacin

2
0
1
0
) 1 ( t t a t a n
n
n
n
n
n
n
= +
>
+
>


2
1
0
) ) 1 (( t t a a n
n
n n
n
= +
+
>


( )
0 1 0 1
0 1 0 a a a a = = +

( )
( ) ( )
0 2 3
0 1 2 1 2
6
1
3
1
1
3
1
0 1 2
2
1
2
1
0 1 1
a a a a a
a a a a a
n n
+ = + = = +
= = = + +

Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
167

( )
2 2 ) 2 ( ) (
) 0 (
2 2 ) 2 ( ) (
2 2 ...)
! 3
1
! 2
1
1 )( 2 ( ) (
2 , 0 1
2
0
0 0 0
2
0
2 3 2
0
2
+ =
= =
+ =
+ + + + + =
> = +
+
t t e y t y
y a y y
t t e a t y
t t t t t a t y
n a a n
t
t
n n


Ecuaciones diferenciales lineales de orden 2

Son las de mayor interes, consideremos inicialmente la ecuacin

) 1 ( ) ( ) ( ' ) ( " ) ( x f y x R y x Q y x p = + +

una EDOLCCVNH, donde P(x
0
)=x
0,
P(x) una funcin continua en
0
x , entonces
podemos dar algunas pautas fundamentakes.
Cuando P,Q,R son polinomios en x, si P(x
0
)=0 , x
0
se llama un punto ordinario, en
caso P(x
0
)= 0 se denomina a x
0
un punto singular, para (1).
En general consideremos la EDOLCCVH:

) 2 ( 0 ) ( ' ) ( " ) ( = + + y x R y x Q y x p
donde
) (
) (
) (
) (
x P
x R
x P
x Q
. son funciones analticas en x
0
, es decir ambas admiten un
desarrollo en serie de Taylor en potencias de x-x
0
.
Propiedad.
La ecuacin (2) admite una serie de potencias alrededor de x
0
(es decir
potencias de x-x
0
) como solucin de ella, siempre que x
0
sea un punto ordinario.
PROBLEMA MODELO.

Veamos el caso ms simple, es decir resolvamos la ecuacin

| | 0 ) 4 4 ) 1 (
2 2
= + y xD D x

vemos que las funciones
2 2
1
4
1
4
x x
x

son analticas en x=0, el cual es un punto

ordinario..
Admitamos que esta admite una solucin serial (desarrollo en serie).

n
n
n
x a y
0 >
=
, los a
n
son coeficiente de la seria de potencias por hallar.

Sustituyendo en la EDOL dada.

Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
168
( ) ( ) 0 4 4 1 1
0
1
1
2
2
2
= +
>

>

>

n
n
n
n
n
n
n
n
n
x a x na x x a n n x


Uniformizando el ndice de sumacin, para simplificacin

0 4 4 ) 1 ( ) 1 (
0 1 2
2
2
= +
> > >

>
n
n
n
n
n
n
n
n
n
n
n
n
x a x na x a n n x a n n


Todos los ndices se uniformizan que empiecen de 0

( )( )
| |
2 , ) 4 )( 1 ( ) 1 )( 2 ( ; 0 4 4 6 ; 0 4 2
0 4 4 ) 1 ( ) 1 )( 2 ( ) 4 4 6 ( ) 4 2 (
0 4 4 ) 1 ( 1 2
2 1 1 3 0 2
2
2
1 1 3 0 2
0 1 2
2
0
> + = + + = + = +
= + + + + + + +
= + + + +
+
+
>
> > >
+
>
n a n n a n n a a a a a
x a na a n n a n n x a a a a a
x a x na x a n n x a n n
n n
n
n n n n
n
n
n
n
n
n
n
n
n
n
n
n
n


como
N n a a
n
e = =
+
, 0 , 0
1 2 2

Cuando n es par se tiene:
2 ,
) 2 )( 1 (
) 4 )( 1 (
2
>
+ +
+
=
+
n a
n n
n n
a
n n

0
a constante contraria

0 4 6 0 2 4
5
4
5
4
;
2
1
a a a a a a = = = =
a
1
= arbitrario
a
3
= 0 = a
2n+1
, 1 > n

Queda para el lector, resolver la EDDF de orden 2.


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

Anlogamente pedimos resolver la ecuacin:


) 1 ......( 8 4 ' 4 " ) 1 (
2
= + y xy y x

Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
169

x=0 es un punto ordinario para (1), admitamos que ella admite una solucin tipo
serie de potencias

n
n
n
x a y
0 >
=


Tenamos la solucin para el caso homogneo; ahora igualmente a 8



| |
n n a a a a a
a a a
a a a a a a a
n a
n n
n n
a a a a
x a n n a n n x a a a
n
n n
n
n n
n
e = = = = =
= =
= = = = =
>
+ +
+ +
= A = A = +
= + + + + + + +
+
+
+
>
, 0 ... 0
75
64
75
112
15
14
5
4
5
8
30
24
2
2
1
, 2 4
2 ,
) 2 )( 1 (
) 4 )( 1 (
0 6 8 4 2
8 ) 4 )( 1 ( ) 1 )( 2 ( 6 ) 4 2 (
1 2 9 7 5 3
0 6 8
0 4 6 2 4 0 2
2 3 0 2
2
0
3 0 2


luego la solucin tendra la forma:

...
75
64
75
112
)
5
4
5
8
) 20 4 (
8
0
4
0 1 0
+ |
.
|

\
|
+ |
.
|

\
|
+ + + = x a x x a a y

O sea tenemos la solucin general considerando
2 ...)
75
112
5
8
2 4 ( ) ( )
75
64
5
4
2 1 (
:
8 6 4 2
1
8 6 4 2
0
1 2 0 1
+ + + + + + + =
= . =
x x x x x a x x x x a y
a c a c


las soluciones independientes las hemos obtenido sustituyendo, en la ecuacin
mientras que la ltima es la solucin particular.


Otro caso seria resolver.

!
, 4 ' 4 " ) 1 (
0
2
n
x
e e y xy y x
n
n
x x
>
= = + +


Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
170
tenemos ahora


0 0 2 4 0 2
1 0
2 3 0 2
24
7
24
1
2
2
1
16
12
1
)
2
1
6 (
12
1
, 2
2
1
. .,
2 ,
!
1
) 4 )( 1 ( ) 2 )( 1 ( 1 6 1 4 2
a a a a a a
arbitrario a arbitrario a
n
n
a n n a n n a a a
n n
= + = + = =
> = + + + . = . = +
+


Soluciones independientes
Solucin particular:


Tambin podemos resolver la ecuacin
en cuyos casos tendramos que usar productos de series, obviamente es ms
complicado, pero se puede acceder a la solucin en ciertos casos.
Es de inters primordial, resolver un problema de Cauchy, es decir una ecuacin
con condiciones iniciales cuyo nmero depende del orden de la ecuacin.
Generalmente cuando hablamos la solucin de un EDOL mediante series, es
necesario mencionar el dominio de averiguar la convergencia de la solucin lo cual
implica algunas veces resolver EDD como ya lo apreciamos en el genero
propuesto los criterios iniciales para ver la convergencia son:
DAlambert, Cociente, Raz, Rabee.
Esta teora se aplica tambin e EDOLCCV recordando como en el caso clsico.
Veamos el siguiente ejemplo:

Resolvamos la EDOLCCV hallando una solucin serial

- x=0 es un punto ordinario, luego la EDOLCCV admite una solucin tipo
serie de potencias.
- Admitamos que es una solucin


0 6
30
24
720
169
a a =
|
.
|

\
|
+ + + + = 000
8
1
6
1
) ( ...)
4
5
2 1 (
5 3
1
6 4 2
0
x x x a x x x a y
x x x x , ...
5
4
2 1
6 4 2
+
...
8
1
6
1
5 3
+ + = x x y
p
0
/ //
= + + y y e y
x
0
//
= xy y
1 ) 0 ( = y 0 ) 0 (
/
= y
0 ) 0 (
//
= y
n
n
n
x a y
0 >
=
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
171

- sustituyendo :

- uniformizando los ndices:

Desarrollando:


Tenemos que:

Empezamos por hallar la primera solucin


as tenemos una primera solucin, al tomar


Por tanto esta serie converge en todo R.

* Ahora obtengamos una segunda solucin que sea L.I.con
a
1
arbitrario
0 ) 2 )( 3 )( 4 (
1
0
1
4
= + + +
+
>
+
+
>
n
n
n
n
n
B n
x a x a n n n
( ) 0 ) ) 2 )( 3 )( 4 ( ) 1 )( 2 )( 3 (
1
4
0
3
= + + + +
+
+
>
n
n n
n
x a a n n n a
0 ,
) 2 )( 3 )( 4 (
1
0
4 3
>
+ + +
= . =
+
n a
n n n
a a
n n
0 0 12
0 0 8 0 4
! 12
9 . 5 . 1
12 . 11 . 10 . 8 . 7 . 6 . 4 . 3 . 2
1
! 8
5 . 1
8 . 7 . 6 . 4 . 3 . 2
1
,
. 4 . 3 . 2
1
a a a
a a a a a
arbitrario a
n
= =
= = =
1
0
= a
n
n
x
n
n
x
4
1
1
)! 4 (
) 3 4 ....( 9 . 5 . 1
1 ) (

+ =
>
|
) (
2
x | ) (
1
x |
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
172


en general:


Luego una segunda solucin LI con es




* Por ltimo hallemos una tercera solucin L.I con |
1
. |
2
.
arbitrario a
2



As se tendr



Luego la 3 solucin con a
2
=1
2 10 14
2 6 10
2 2 2 6
)! 2 4 (
) 1 4 ....( 11 . 7 . 3
2
14 . 13 . 12
1
2
! 10
1 . 3
10 . 9 . 8 . 7 . 6 . 5 . 4 . 3 . 2 . 1
7 . 3
2
10 . 9 . 8
1
! 6
3
2
6 . 5 . 4 . 3 . 2 . 1
3
2
6 . 5 . 4
1
a
n
n
a a
a a a a a
a a a a
+

= =
= = =
= = =
2 4
1
2
3
) 2 4 (
) 1 4 ....( 11 . 7 . 3
) (
+
> +

+ =
n
n
x
n
n
x x |
1 1 9 13
1 1 5 9
1 1 1 5
! 13
10 . 6 . 2
13 .... 9 . 8 . 7 . 6 . 5 . 4 . 3 . 2 . 1
10 . 6 . 2
13 . 12 . 11
1
! 9
6 . 2
9 . 8 . 7 . 6 . 5 . 4 . 2 . 3 . 1
6 . 2
9 . 8 . 7
1
! 5
2
5 . 4 . 3 . 2 . 1
2
5 . 4 . 3
1
a a a a
a a a a
a a a a
= = =
= = =
= = =
1 1 4
)! 1 4 (
) 2 4 ...( 10 . 6 . 2
a
n
n
a
n
+

=
+
1 ,
)! 1 4 (
) 2 4 ...( 10 . 6 . 2
) (
1
1 4
1
1
2
=
+

+ =
+
>

a x
n
n
x x
n
n
|
) (
1
x |
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
173


Esta serie converge en todo R.
La solucin ser:

Esta solucion general converge en todo R.,
Por las condiciones iniciales:




Luego la solucin ser:

Es simple ver que dicha serie converge en todo R




2 4
1
2
3
)! 2 4 (
) 1 4 ....( 11 . 7 . 3
) (
+
>
+

+ =
n
n
x
n
n
x x |
n
n
x
n
n
x
4
1
)! 4 (
) 3 4 ...( 9 . 5 . 1
1 ) (

+ =
>
|
) ( ) ( ) ( ) (
3 3 2 2 1 1
x c x c x c x | | | | + + =
0 0 ) 2 ( ) 0 ( 0 ) 0 (
) ( ) ( ) ( ) ( , ) (
) ( ) ( , , )
0 0 ) 0 ( ) 1 ( ) 0 ( 0 ) 0 (
) 0 ( ) 0 ( ) 0 ( ) 0 (
1 ) 0 ( ) 0 ( 2 ) 0 1 ( 1 ) 0 (
3 3
11 11
11
3 3
11
1
11
3 3
11
1
11
3 3
2 3 2 1
1
1
3 3
1
2 2 1 1
1 3 1
= = + =
+ = + =
+ =
= = + + =
+ + = '
= + + + =
c c
x c x x c x c x
x c x c x
c c c c
c c c
c c c c
| |
| | | |
| | |
|
| | | |
|
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
174
ECUACION DE LEGENDRE

La EDOLCCV:
( ) 1 0 ) 1 ( ' 2 ' ' ) 1 (
2
= + + y xy y x o o
donde o es una constante, se llama ecuacin de Legendre. Veamos que:
- Mostremos que si la escribiramos en la forma:
0 ) ( ' ) ( ' '
2 1
= + + y x a y x a y
entonces ) ( ) (
2 1
x a x a . son funciones analticas en x=0 (o sea, tienen un
desarrollo en forma de serie de potencias de x) cuando 1 < x
Visualizacin:
La ecuacin puede escribirse de la forma:
0
1
) 1 (
'
1
2
' '
2 2
=

+
+ |
.
|

\
|

+ y
x
y
x
x
y
o o

Tenemos:
2
2
2
1
1
) 1 (
) (
1
2
) (
x
x a
x
x
x a

+
= .

=
o o

Si 1 < x , tenemos (apelando a nuestros conocimientos de series) que la serie
geomtrica

>0
2
n
n
x converge para 1 < x , y adems:
2
0
2
0
2
1
1
) (
x
x x
n
n
n
n

= =

> >
, pues
la razn
2
x r = satisface ( ) 1 ... 1 < < x pues r , as converge dicha serie para dichos
valores de x.

Por tanto: ( )
2
0
2
1
2
2
x
x
x x
n
n

>
es convergente; luego ) (
2
x a es converge y
admite un desarrollo en serie de potencias en x (alrededor de x=0)
As:

>
+
=
0
1 2
1
2 ) (
n
n
x x a y, anlogamente:

>
+
+ =

=
0
1 2
2
2
) 1 (
1
) 1 (
) (
n
n
x
x
x a o o
o o
, la cual
tambin es convergente.
- Calculamos las solucines linealmente independientes cuando 1 < x


Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
175
1. Consideramos la ecuacin

0

1
'
1
" = + y
x
y
x
y
para x > 0

a) Demuestre que tiene una solucin de la forma x
r
, donde r es una
constante.

Solucin

Tenemos la ecuacin : x y + y y = 0

y= x
r
es una solucin, por tanto: y= rx
r-1
. y=r(r-1) x
r-2


Sustituyendo:

x
r
(r (r-1) +r-1) = 0

Como x >0, tendremos que, reR

Por lo tanto tendremos: x
r
>0 r-1 = 0 1 , 1 0 1 =
z
x r
Luego: y = x . y = x
-1
son soluciones de dicha ecuacin

b) Encuentre dos soluciones linealmente independientes para x>0 y
demuestre que son linealmente independiente.

Demostracin
|
1
(x)= x.|
2
(x)=x
-1
son soluciones de ella, por la parte (a)
Veamos que son L.I.

0
1
0 ) ( ) (
2 1 2 2 1 1
= + = +
x
x x x o o | o | o DERIVANDO:

0

1
) 1 (
2 1
=
x
o o

Evaluando en x = 1 ambas ecuacin : 0
2 1
= + o o
0
2 1
= o o

Resolviendo el sistema: 0
2 1
= o o (pues 0 , 0
2
1 1
1 1
> = =

x
x


Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
176
Visualizacin

Tenemos que x=0 es un punto ordinario de dicha ecuacin; 1 = x son los
nicos puntos singulares, luego la serie que obtengamos ser convergente para
un radio de convergencia R=1 (distancia del punto ordinario al punto singular ms
cercano).
As admitamos una solucin e la forma:

>
=
0 n
n
n
x a y

>

>

= . =
2
2
1
1
) 1 ( ' ' '
n
n
n
n
n
n
x a n n y x na y
Sustituyendo en la EDOL dada:
0 ) 1 ( 2 ) 1 ( ) 1 (
2 1 0
2 2
= + +

> > >

n n n
n
n
n
n
n
n
x a x na x a n n x o o
0 ) 1 ( 2 ) 1 ( ) 1 (
2 1 0 2
2
= + +

> > > >

n n n
n
n
n
n
n
n
n
n
n
x a x na x a n n x a n n o o
0 ) 1 ( 2 ) 1 ( ) 1 )( 2 (
2 1 0 2
2
= + + + +

> > > >
+
n n n
n
n
n
n
n
n
n
n
n
x a x na x a n n x a n n o o
Desarrollando y expresndola adecuadamente:
( ) ( ) | | { }

>
+
= + + + + + + + + +
2
2 1 3 0 2
0 ) 1 ( 2 ) 1 ( ) 1 )( 2 ( ) 1 ( 2 6 ) 1 ( 2
n
n
n n
x a n n n a n n x a a a a o o o o o o
Es decir, debemos tener:
n n
a
n n
n n
a a a a a
) 1 )( 2 (
) )( 1 (
6
) 1 )( 2 (
2
) 1 (
2 1 3 0 2
+ +
+
= .
+
= .
+
=
+
o o o o o o

Vemos que:
1 > n
0 2
)! 2 (
) 2 2 ( ) 4 )( 2 )( 1 2 ( ) 5 )( 3 )( 1 (
) 1 ( a
n
n n
a
n
n
+ + + + +
=
o o o o o o o


1 2 1 2
)! 1 2 (
) 1 2 ( ) 3 )( 1 )( 2 ( ) 6 )( 4 )( 2 (
) 1 (
+ +
+
+ + + + +
=
n
n
n
a
n
n n
a
o o o o o o o

) ( ) ( ) (
2 1 1 0
x a x a x u + u = u es la solucin general de la ecuacin de Legendre,
donde tenemos que:
( )

>
= +
+ + + + +
= u
1
0
2
1
1 1
)! 2 (
) 2 2 ( ) 4 )( 2 )( 1 2 ( ) 5 )( 3 )( 1 (
) 1 ( ) (
n
n n
a x
n
n n
x
o o o o o o o

Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
177
( )

>
+
= +
+
+ + + + +
= u
1
1
1 2
2
1
)! 1 2 (
) 1 2 ( ) 3 )( 1 )( 2 ( ) 6 )( 4 )( 2 (
) 1 ( ) (
n
n n
a x x
n
n n
x
o o o o o o o

Polinomios de Legendre
Nos interesa ver las soluciones cuando N ne = o ; asi n es par o impar, con
lo cual una de las soluciones resulta ser un polinomio. Adems por conveniencia
podemos tomarlos con la propiedad de que sean ortogonales en <-1,1> as mismo
que la suma de sus coeficientes sea 1, lo cual es factible escogiendo un valor para
las constantes a
0
a
1
segn n sea par o impar., estos polinomios se conocen
como los POLINOMIOS DE LEGENDRE.
- Si n es par
En este caso la solucin ) ( ) (
1
x P x
n
= u es un polinomio de grado n, que es
conocido como un POLINOMIO DE LEGENDRE.
- Si n es impar
Con la segunda serie ella se convierte en un polinomio.
As, si consideramos una constante de manera que dichos polinomios sean
tales que la suma de sus coeficientes sea 1, es decir dichos polinomios evaluados
en 1, debe ser 1, as se tendr los siguientes polinomios:
1 ) (
0
= x P x x P = ) (
1

2
1
2
3
) (
2
2
= x x P
2 3
3
2
3
2
5
) ( x x x P =
4 . 2
3 . 1
4 . 2
5 . 3
2
4 . 2
7 . 5
) (
2 4
4
+ = x x x P
x x x x P
4 . 2
5 . 3
4 . 2
7 . 5
2
4 . 2
9 . 7
) (
3 5
5
+ =

6 . 4 . 2
5 . 3 . 1
6 . 4 . 2
7 . 5 . 3
3
6 . 4 . 2
9 . 7 . 3
3
6 . 4 . 2
11 . 9 . 7
) (
2 4 6
6
+ = x x x x P
x x x x x P
6 . 4 . 2
7 . 5 . 3
6 . 4 . 2
9 . 7 . 5
3
6 . 4 . 2
11 . 9 . 7
3
6 . 4 . 2
13 . 11 . 9
) (
3 5 7
7
+ =
Frmula de Rodrguez.
Para { } 0 eN n , podemos obtener los polinomios de Legendre, ellos estn
dados por:
( ) ( )
n
n
n
n
n
x
dx
d
n
x P 1
) ! ( 2
1
) (
2
=
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
178
Esta propiedad se demuestra utilizando el Teorema del Binomio,
evidentemente son cuestiones calculsticas.
Tambin comentamos que si conozco una solucin de una ecuacin de
orden 2, entonces, por el mtodo de reduccin del orden, podemos acceder a la
solucin de ecuaciones de la forma:
) ( ) 1 ( ' 2 ' ' ) 1 (
2
x f y n n xy y x = + +
Evidentemente es cmodo cuando f(x) es un polinomio.

Ecuaciones Reducibles a Legendre.
Algunas ecuaciones diferenciales, que no son de Legendre se pueden
transformar en una de ellas mediante algn cambio de variable. Veamos algunos
ejemplos.
1. 0 120 ' 4 ' ' ) 4 1 (
2
= + y xy y x
El cambio de variable natural es: 2x=t
' 2 2 . ' y
dt
dy
dx
dt
dt
dy
dx
dy
y = = = = ) (t y y =
( ) ' ' 4 ' 2 ' ' y y
dx
d
y = =
Sustituyendo en la EDOL dada:
0 120 ' 8 ' ' ) 1 ( 4
2
= + y y y t 0 30 ' 2 ' ' ) 1 (
2
= + y y y t
Ecuacin de Legendre ( ) 5 = o
La solucin ser:
)
15
63
3
14
( ) (
5 3
t t t K t + = u ; )
480
63
24
14
2
( ) (
5 3
x x
x
K t + = u
Obviamente, esta solucin es: ) ( ) (
5 1
x AP x = u , A es una constante.
2. ( ) ( ) 0 6 ' 1 ' ' 1
2 2
= + +

y y e y e
x x

Cambio de variable: t=e
x

) (t yLn y =

) (t y y =

' ' ' ' ' ' '
2
y e y e y y e y
x x x
+ = =
.
' ' ' ' ' ' ' '
2
y t y t y y t y + = . =

Sustituyendo en la EDOL dada:
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
179
( )( ) ( ) 0 6 ' 1 ' ' ' 1
2 2 2
= + +

y y t t y t y t t
( ) ( ) ( ) { } 0 6 ' 1 1 ' ' 1
2 2 2
= + + +

y y t t t t y t
( ) 0 ) 1 2 ( 2 ' 2 ' ' 1
2
= + + y y t y t .....Ecuacin de Legendre con 2 = o , as una
solucin ser:
) ( ) (
2
t P t = u
( ) ( ) 1 3
2
1
) (
2
2
= = u
x x
e e P x
3. ( ) 0 20 ' ' ' = + + y y ctgx y
Cambio de variable: t = cosh
) (t y y =
) ( ' ' senx y y = . ' ' ' cos ' '
2
y x sen y x y + =
( ) 0 20 ' ) ( ' cos ' ' 20 ' ' '
2
= + + = + + y y senx ctgx y x y x sen y y ctgx y

Resolvemos:
( ) 0 ) 1 4 ( 4 ' 2 ' ' 1
2
= + + y y t y t .....Ecuacin de Legendre 4 = o
Nos piden una solucin, entonces podemos dar una solucin polinmica

) (cos ) (
) ( ) (
4
4
x P x
t P t
= u
= u

Segn la formula de Rodrguez tenemos:
( ) ( )
x x
x
dx
d
x
cos
4
2
4
4
4
1
) ! 4 ( 2
1
) (

= u

ORTOGONALIDAD.
Lo cual significa que ellos son ortogonales e el espacio vectorial de las funciones
| | R f 1 , 1 : , por ende. formarn una base para este espacio vectorial. Esto trae
como consecuencia que todo | | R f 1 , 1 : se puede expresar mediante la serie
de Legendre:

>
=
0
) ( ) (
n
n
x P A x f .
Primero veamos la formula de Rodrguez y luego lo afirmado.

Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
180

Podemos apreciar que ( )
n
n
n
x
dx
d
x 1 ) (
2
+ = u satisface la EDDL
Tomemos: ( )
n
x x u 1 ) (
2
=
( ) ( ) ( ) ( ) x x n x u x x x n x u
n n
2 1 ) ( ' 1 2 1 ) ( '
2 2
1
2
= =


( ) | | ( ) | | 0 ) ( 2 ) ( ' 1 ) ( 2 ) ( ' 1
2 2
= = x u nx x u x x u nx x u x
Ahora derivamos n+1 veces:
( ) | | | | | | 0 ) ( ' 2 ) ( 2 ) ( ' ' 2 ) ( ' ' 1
2
= + x u nx x u n x u x x u x
( ) | | | | 0 ) ( 2 ) ( ' ) 1 ( 2 ) ( ' ' 1
2
= + x u n x u x n x u x
( ) | | | | | | | | 0 ) ( ' 2 ) ( ' ' ) 1 ( 2 ) ( ' ) 1 ( 2 ) ( ' ' ' 2 ) ( ' ' ' 1
2
= + x u n x u x n x u n x u x x u x
Luego de haber derivado n+1 veces tenemos:
( )
( ) ( ) ( ) ( )
0 ) ( ) 1 ( 2 ) ( 2 ) ( ) 1 ( ) ( ) 1 ( 2 ) ( 1
) ( 1 1 2 2
= + + + + +
+ + +
x u n n x nxu x nu n x xu n x u x
n n n n n

( ) 0 ) ( ) 1 ( ) ( ' 2 ) ( ' ' 1
2
= u + + u u x n n x x x x
( ) ( )
n
n
n
x
dx
d
x 1 ) (
2
= u . ( ) ( )
n
n
n
n
n
n
x
dx
d
n
x D n 1
! 2
1
) ( ! 2 ) 1 (
2
= = u
Lgicamente:
| | | |
) (
) (
2
) 1 )( 1 ( ) 1 ( ) (
n
n
x x x x + = = u
| |
n
n
n
x x ) 1 ( ) 1 (
) (
+ = +trminos que contienen a (x-1) como
factor
n
x n x ) 1 ( ! ) ( + = u +trminos que contienen a (x-1) como factor
n
n ) 2 ( ! ) 1 ( = u
As, el polinomio: ( ) ( )
n
n
n
n n
n
x
dx
d
n
x
n
x P 1
! 2
1
) (
! 2
1
) (
2
= u =
PROPIEDAD. Si m n = , entonces
}

=
1
1
0 ) ( ) ( dx x P x P
m n
.
Tomemos P
n
y P
m
dos polinomios de Legendre de grados n y m
respectivamente.
Tenemos: ( ) 0 ) ( ) 1 ( ) ( ' 2 ) ( ' ' 1
2
= + + x P n n x xP x P x
n n n

Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
181
( ) 0 ) ( ) 1 ( ) ( ' 2 ) ( ' ' 1
2
= + + x P m m x xP x P x
m m m


( ) | |
( ) | |

+ =
+ =
) ( ) 1 ( ) ( ' 1
) ( ) 1 ( ) ( ' 1
/
2
/
2
x P m m x P x
x P n n x P x
m m
n n


( ) | |
( ) | |

+ =
+ =
) ( ) ( ) 1 ( ) ( ' 1
) ( ) ( ) 1 ( ) ( ' 1
/
2
/
2
x P x P m m x P x P
x P x P n n x P x P
n m m n
m n n m


( ) | | ( ) | | | | { ) ( ) ( ) 1 ( ) 1 ( ) ( ' 1 ) ( ) ( ' 1 ) (
/
2
/
2
x P x P n n m m x P x x P x P x x P
n m m n n m
+ + =

Integrando de 1 a 1 se tiene:
( ) { } | | ) ( ) ( ) 1 ( ( ) 1 ( ) ( ) ( ' ) ( ' ) ( ) 1 (
/
2
x P x P n n m m x P x P x P x P x
n m n m n m
+ + =
( ) { } | | dx x P x P n n m m dx x P x P x P x P x
n m n m n m
} }

+ + =
1
1
1
1
/
2
) ( ) ( ) 1 ( ( ) 1 ( ) ( ) ( ' ) ( ' ) ( ) 1 (

| | | | dx x P x P n n m m x P x P x P x P x
m n n m n m
}

+ + =
1
1
1
1
2
) ( ) ( ) 1 ( ) 1 ( ) ( ) ( ' ) ( ' ) ( ) . 1 (
}

=
1
1
0 ) ( ) ( dx x P x P
n m
n m=
As obtenemos lo afirmado.
Propiedad .
}

+
=
1
1
2
)! 1 2 (
2
) (
n
dx x P
n
Apreciacin
Tiene una importancia vital, cuando resolvamos EDPL, saber expresar una
funcin f(x) en trminos de funciones polinmicas o polinomios de Legendre.
Ejemplo: Se puede confirmar que:
dx x P x P x P dx x P x ) ( ) (
5
3
) (
5
2
) (
5
1
1
1
1
1 3 5
3
} }

|
.
|

\
|
+ =
} }

+ =
1
1
1
1
5 1 5 3
) ( ) (
5
3
) ( ) (
5
2
dx x P x P x P x P = 0
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
182

Propiedad
( )

>

= +
0
2
1
2
) ( 2 1
k
k
k
t x P t xt

Ejercicios:
1. Verifique que la funcin: 1
1
1
2
) ( |
.
|

\
|

+
=
x
x
Ln
x
x h , 1 < x es una
solucin de la EDL para 1 = o . Luego, exprese Q(x) como un
combinacin lineal de las soluciones bsicas Q
1
(x) y Q
2
(x)
2. Halle la solucin de: ( ) 8 ' 2 ' ' 1
2
= xy y x
3. Halle la solucin de: ( ) x y xy y x = + 30 ' 2 ' ' 1
2

4. Halle la solucin de: ( ) ) ( 12 ' 2 ' ' 1
5
2
x P y xy y x = +
5. Calcule: ( )
}

1
1
6
5
) ( dx x x x P
6. Calcule:
}

1
1
7 5
) ( ) ( dx x P x xP

Mtodo de Frobenius
Sea 0 ) ( ' ) ( ' ' ) ( = + + y x R y x Q y x P uan EDOL cuya solucin es la que deseamos
hallar. Supongamos que 0 ) 0 ( = P o sea que x=0 que es el mas grato es un punto
singular, esto implica que la solucin ya no puede admitir una solucin tipo serie
de Taylor.
Pero resolvamos la ecuacin dada equivale a resolver la EDOL
0 ) ( ' ) ( ' ' = + + y x R y x Q y

=
=
) (
) (
) (
) (
) (
) (
x P
x R
x R
x R
x Q
x Q

Si 0 ) (
0
= x P y existen los lmite:
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
183
0
0
( ) ( ) Lim x x Q x m
x x
=

.
0
0
( ) ( ) Lim x x R x k
x x
=

0
x x = se dice que es un punto singular regular.
Lo cual equivale a decir que estas nuevas funciones coeficientes son
analticas en
0
x x = .
Ecuacin Indicial
Es la obtenida al igualar el coeficiente de menor exponente de x, al sustituir la
solucin tipo serie de Frobenius, dada por: ( 1) 0 r r mr k + + =
Puede una ecuacin lineal tener un solo punto singular, que a su vez es un
punto singular regular.
Razonando
Recordemos que la ecuacin diferencial lineal:
0 ) ( ' ) ( ' ' ) ( = + + y x R y x Q y x P
Se dice que x=a es un punto singular si 0 ) ( = a P ; generalmente
) ( ) ( ), ( x R x Q x P . son polinomios (lo mas frecuente). En realidad
) ( ) ( ), ( x R x Q x P . son analticas alrededor a un a x = . Ahora, si existe adems:
a x
x P
x Q
a x Lim

) (
) (
) (
.
a x
x P
x R
a x Lim

) (
) (
) (
2

se dice que x=a es un punto singular regular.
Luego la ecuacin: 0 ' 2 ' '
2
= + + y x y xy admite a x=0 como un punto singular, y
es el nico punto singular, para x x P = ) ( y se cumplo 0 ) 0 ( = P
Adems como:
-
0
2

|
.
|

\
|
x
x
x Lim
=
0
2
x
Lim
= 2
-
0
2
2

|
|
.
|

\
|
x
x
x
x Lim
=
( )
0
3
x
x Lim
= 0
As x=0 es tambin un punto singular regular.
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
184

* -

>
=
0 n
n
n
x a y ? solucin de la EDOL 0 ' ' = y xy
x x P = ) ( 0 ) 0 ( = P
x=0 es un punto singular.

1 1
1 1 0
( )( 1) 2( 1) 2 0
n r n r n r
n n n
n n n
n r n r a x n r a x a x
+ + +
+ +
> > >
+ + + + + + =




( )
0 0 1
1
1 2 ( )( 1) 2 2( 1) 0
r n r
n n
n
r r a ra x n r n r a n r a x
+

>
+ + + + + + ( = (

Ecuacin indicial o determinante
Ecuacin a resolver: 0 2 ) 1 ( = r r pues a
0
=0
2 , 1 0 2
2
= = r r r
Primera solucin: 1 = r

0
a arbitrario y | |
1
) 2 ( 2 2 ) 2 )( 1 (

=
n n
a n a n n ; 1 > n

0
a arbitrario y
1
) 2 ( 2 ) 3 (

=
n n
a n a n n ; 1 > n

0 1
a a = , 0
2
= a ,
2 2
) 2 3 ( 2 ) 0 ( 3 a a = , o sea 0=0; esto se interpreta como
que
3
a es arbitrario. As tenemos las dos soluciones:
) 1 ( ) (
1
x x x = u

... hemos tomado 1
0
= a
Segunda solucin: 2 = r
La otra solucin sera cuando 2 = r , ( ) ( )
1
2
1 2 3

+ =
n n
a n a n n

0
a arbitrario,
0 1
a a =
( )
0 1 2
5
3
6
10
1
a a a = =
0 2 3
15
4
18
8
a a a = =


0 3 4
21
2
28
10
a a a = =

|
.
|

\
|
+ + = u ...
21
3
15
4
5
3
1 ) (
4 3 2 2
2
x x x x x x
o expresado en otra forma multiplicada por
6
1
:
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
185

>
+
+
= u
0
2
2
)! 3 (
) 1 ( 2 ) 1 (
) (
n
n
n n
x
n
n
x x ; u = u
6
1

La solucin general es:
) ( ) ( 2
2 1 1
x c x c y u + u =
Casos: R r r e .
2 1

1) Z r r r r e . =
2 1 2 1

2) Z r r r r e . =
2 1 2 1

3)
2 1
r r =

Caso 2: Z r r r r e . =
2 1 2 1

Veamos el siguiente ejemplo:
0 ' ' ' 2 = + y y xy
x=0 es un punto singular regular, por lo tanto hay una solucin tipo
Frobenius:

>
+
=
0 n
r n
n
x a y
0 ) ( ) 1 )( ( 2
0 0
1
0
1
= + + + +

>
+
>
+
>
+
n
r n
n
n
r n
n
n
r n
n
x a x a r n x a r n r n
0 ) ( ) 1 )( ( 2
1
1
1
0
1
0
1
= + + + +

>
+

>
+
>
+
n
r n
n
n
r n
n
n
r n
n
x a x a r n x a r n r n
0 ) ( ) 1 )( ( 2
1
1
1
0
1
= + + + +

>
+

>
+
n
r n
n
n
r n
n
x a x a r n r n r n
0 ) 1 2 2 )( ( ) 1 2 (
1
1
1 0
= + + +

>
+

n
r n
n n
x a a r n r n a r r
Ec. indicial
Races: 0,
1 0
) 1 2 2 )( (
1
0

+ +
= . =
n n
a
r n r n
a a ; 1 > n
Existen dos soluciones tipo Frobenius
1 solucin: r=0
0
a arbitrario .
1
) 1 2 (
1

=
n n
a
n n
a ; 1 > n
0 1
a a =
0 1 2
6
1
6
1
a a a = =
0 2 3
90
1
15
1
a a a = =
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
186
|
.
|

\
|
+ + + + = u ...
90
1
6
1
1 ) (
3 2 0
1
x x x x x
2 solucin: r=1/2
0
a arbitrario .
1
) 1 2 (
1

+
=
n n
a
n n
a ; 1 > n
0 1
3
1
a a =
0 1 2
30
1
10
1
a a a = =
0 2 3
630
1
21
1
a a a = =
|
.
|

\
|
+ + + + = u ...
630
1
30
1
3
1
1 ) (
3 2
2
x x x x x
La solucin general es:
) ( ) ( ) (
2 2 1 1
x c x c x u + u = u
Ambas soluciones seriales bsicas convergen en todo R (notar que hay un
nico punto singular que es x=0)
Caso 3:
consideremos la ecuacin 0 ) ( ' ) ( ' '
2
= + + y x b xy x a y x , donde 0 = x es un punto
singular regular, as existe al menos una solucin tipo Frobenius; ) ( ) ( x b x a . son
funciones analticas (tienen desarrollo en series de potencias) las cuales sopn
convergentes para 0 > . < r r x . Si
2 1
r r . son raices idnticas de la ecuacin
indicial, entonces las soluciones bsicas son:
) ( ) (
1
1
x x x
r
+ = u , ) (x + admite desarrollo en series de potencias
( ) ) ( ) ( ) (
1 2
1
x x Ln e x x x
r
u + + = u , ) (x + analtica y admite desarrollo en series
de
potencias
Resolvamos:
0 ' ' ' = + + xy y xy
x=0 es un punto singular regular.
0 ) ( ) 1 )( (
0
1
0
1
0
1
= + + + + +

>
+ +
>
+
>
+
n
r n
n
n
r n
n
n
r n
n
x a x a r n x a r n r n
0 ) (
0
1
0
1 2
= + +

>
+ +
>
+
n
r n
n
n
r n
n
x a x a r n
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
187
0 ) 2 (
0
1
2
1
2
2
= + + +

>
+ +
>
+ +
+
n
r n
n
n
r n
n
x a x a r n
0 ) 2 ( ) 1 (
0
1
2
2
1
1 2
= + + + + + +

>
+ +
+

n
r n
n n
r r
x a a r n x a r ax r
Condicin: r=0, 0 ecuacin indicial: 0 , 0 0
2
= = r r
Raices iguales, entonces solamente admite una solucin tipo Frobenius
Hallemos la solucin en trminos de r:
) (r y y =
Como 0
1
= a , entonces 0 ... ...
1 2 5 3
= = = = =
+ n
a a a

0
a arbitrario

0
2
2
) 2 (
1
a
r
a
+
=
0
2 2
2
2
4
) 4 ( ) 2 (
1
) 4 (
1
a
r r
a
r
a
+ +
=
+
=

0
2 2 2
4
2
6
) 6 ( ) 4 ( ) 2 (
1
) 6 (
1
a
r r r
a
r
a
+ + +
=
+
=

|
|
.
|

\
|
+
+ + +

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

Se tiene que:
1 2
0
' ' '

= + +
r
x r a y x y y x , las soluciones son:

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

\
|
+ + + + + + u = u ... ) 1 (
6 4 2
) 1 (
4 2 2
) ( ) (
3
1
2
1
2 2 2
6
2
1
2 2
4
2
2
1 2
x x x
x Lnx x
Como solamente hay un solo punto singular, la serie converge en todo R-{0}
Comentario:
aunque como se manifest anteriormente, conocida una solucin ) (
1
x u , la
otra ) (
2
x u la podemos hallar usando reduccin de orden.

Principales ecuaciones:
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
188

Chebyshev : 0 ' ' ' ) 1 (
2 2
= + y xy y x o , o constante
Hermite : 0 2 ' 2 ' ' = + y xy y o , o constante
Bessel : 0 ) ( ' ' '
2 2 2
= + + y x xy y x o , o>0 constante
Gauss : | | 0 ' ) 1 ( ' ' ) 1 (
2
= + + + y y x y x o| | o
Airy : 0 ' ' = +xy y


Resumiendo


Funcin Gamma .

(1) Generalidades: Integral de Euler
}

= I
0
1
) ( du u e p
p u
, p>1 (inicialmente)
1 ) 1 (
0
= = I
}

du e
u


(2) ) ( ) 1 ( p p p I = + I , p>1
Demostracion


} }

+
= = + I
R
p u
R
p u
du u e lim du u e p
0 0
1 ) 1 (
) 1 (
du pu e u e lim p
p
R
u
R
p u
R
) 1 (
0
0
) 1 (


}
+ = + I
( )
}

+ = + I
R
p u
R
p R
R
du u e p lim R e lim p
0
1
0
) 1 (

}

= + I
0
1
) 1 ( du u e p p
p u

) ( ) 1 ( p p p I = + I ; p>0
(3) neN , I(n+1)=n!

Visualizacion
Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
189
Vimos que:
}

= = I
0
1 1
1 ) 1 ( du u e
u

1 ) 1 ( 1 ) 1 1 ( ) 2 ( = I = + I = I

! 2 1 . 2 ) 2 ( 2 ) 1 2 ( ) 3 ( = = I = + I = I

! 3 1 . 2 . 3 ) 3 ( 3 ) 1 3 ( ) 4 ( = = I = + I = I
Por induccion vimos que: I(n+1)=n! , neN U {0}

(4) Recordemos una integral de Euler que da la funcion Beta por MA-123
recordemos que:


( )
}

= B
1
0
1 1
1 ) , ( du u u n m
n m

dicha integral converge, cuando m,n>0

(5) B(m,n)=B(n,m) (conmutabilidad)

Visualizacion

( )
}

= B
1
0
1 1
1 ) , ( du u u n m
n m

Cambio de variable: o=1-u do=-du

( ) ) , ( 1 ) , (
1
0
1 1
m n d n m
n m
B = = B
}

o o o , n,m>0
(6) Se a>1 . b>0 entonces ) 1 , 1 (
1
) , ( + B

= B b a
b
a
b a
Visualizacion

( ) ( ) ( )
} }

= = B

1
0
2
1
0
1
1
0
1 1
1
1
1
1
1 ) , ( du u u
b
a
u u
b
a
du u u b a
b a b a a b


integrando por partes: o=u
a-1
. do=(1-u)
b-1
du

do=(a-1)u
a-2
du .
b
u
b
) 1 (
=

( ) ) 1 , 1 (
1
1
1
0 ) , (
1
0
1 ) 1 ( 1 ) 1 (
+ B

+ = B
}
+
b a
b
a
du u u
b
a
b a
b a

Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
190

(7) a>0 , B(a,1)=1/a

Visualizacion

( )
a
du u du u u a
a a
1
1 ) 1 , (
1
0
1
1
0
1 1 1
= = = B
} }



(8) Si pe9-Z
-
, podemos extender la definicion de la funcion Gamma,
amparandonos en que:

Sabemos que t = I ) 2 / 1 (
I(-1/2) podemos calcularlo asi:

t 2 )
2
1
( )
2
1
(
2
1
) 1
2
1
( )
2
1
( = I I = + I = I

t t
3
4
) 2 (
3
2
)
2
3
( )
2
3
(
2
3
) 1
2
3
( )
2
1
( = = I I = + I = I


(9)
}
+ + =
+ +
2
0
1 2 1 2
) 1 , 1 (
2
1
sen cos
t
0 0 0 n m B d
n n


Hagamos u=sen
2
u du=2 senu cosu du

0 0 = = u u

1
2
= = u
t
u

( ) ( )
}
=
2
0
2 2
sen cos sen cos
t
u u u u d I
n m



}
+ + = =
1
0
) 1 , 1 (
2
1
) 1 (
2
1
n m B du u u I
n m


(10) Calculamos que:
2
0
2 t
=
}

du e
u


Vctor D. Rojas Cerna FIEE-UNI
2001 - 1
191

|
|
.
|

\
|
|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
= =
} } } } }

dy e dx e dy e du e I du e I
y x y
p
u
p
p
u
p
1
0
1
0
1
0 0
2
0
2 2 2 2 2



} }
+
=
p p
y x
p
dxdy e I
0 0
) ( 2
2 2


dxdy e I dxdy e
R
y x
p
R
y x
}} }}
+ +
s s
2
2 2
1
2 2
) ( 2 ) (