SOLUCIN DE ECUACIONES DIFERENCIALES ORDINARIAS DE SEGUNDO ORDEN POR EL MTODO DE FROBENIUS

Resolver la ecuacin de Legendre: x2) y 00 2xy 0 + sy = 0

(1

Donde s representa la constante de separacin. Propongamos ahora una solucin del tipo siguiente:
1 X

y=

a xk+

=0

Si tomamos ahora las derivadas y substituimos nos queda:

y0 = y 00 =

1 X 1 X

a (k + )xk+ a (k + )(k +

=0

1)xk+

=0

Substituyendo queda:

(1 x2 )

1 X

a (k + )(k +

1)xk+

2x

=0

1 X

a (k + )xk+

+s

=0

1 X

a xk+ = 0

=0

Desarrollando

1 X

a (k + )(k +
1 X

1)x

k+

=0

1 X

a (k + )(k +

1)xk+

=0 1 X

a (k + )xk+ + s

a xk+ = 0

=0

=0

Agrupando

1 X

a (k+ )(k+

1)xk+

=0

1 X

a [(k + )(k +

1) + 2(k + ) + s] xk+ = 0

=0

Para poder agrupar el primer trmino con el segundo trmino, es necesario que los exponentes de la variable x sean los mismos. Esto se logra haciendo un cambio de variable ! + 2 y entonces la expresin queda como sigue:
1 X = 1 X

a
2

+2 (k+

+2)(k+ +1)x

k+

a [(k + )(k +

1) + 2(k + )

s] xk+ = 0

=0

Para poder agrupar tambin es necesario que la variable muda ( ) vare entre los mismos lmites por lo que tendremos que desarrollar los dos primeros trminos de la serie que est en primer lugar y luego s podremos agrupar:

a0 (k)(k

1)x0 + a1 (k + 1)(k)x1 +
1 X

1 X

+2 (k

+ 2)(k +

+ 1)xk+

=0

a [(k + )(k +

1) + 2(k + )

s] xk+ = 0

=0

de donde: 1)x0 + a1 (k + 1)(k)x1

a0 (k)(k

1 X

[a

+2 (k

+ 2)(k +

+ 1)

a [(k + )(k +

1) + 2(k + )

s]] xk+ = 0

=0

Si queremos que esto sea cierto PARA TODOS LOS VALORES DE x en el dominio, entonces lo nico que puede suceder es que todos los coecientes sean independientemente iguales a cero, lo que implica lo siguiente:

a0 (k)(k 1) = 0 ) k = 0 k = 1 ya que se supone que a0 6= 0 a1 (k + 1)(k) = 0 ) a1 = 0 k = 0 k = 1

[a

+2 (k

+ 2)(k +

+ 1)

a [(k + )(k +

1) + 2(k + )

s]] = 0

Sabemos que la solucin de esta ecuacion diferencial nos debe dar 2 funciones linealmente independientes, entonces si escogemos a1 = 0 y los dos valores de k que se obtienen de la primera condicin, quizs podamos as obtener las dos soluciones independientes. Tomemos primeramente k = 0 entonces la tercera condicin se convierte en:

[a

+2 (

+ 2)( + 1)

a [( )(

1) + 2( )

s]] = 0

Lo que implica que: a [ ( + 1) s] a [( )( 1) + 2( ) + s] = ( + 1)( + 2) ( + 1)( + 2)

+2

Lo que nos da la relacin de recurrencia: a [ ( + 1) s] ( + 1)( + 2)

+2

Ntese que toma valores comenzando en el 0 y creciendo de uno en uno, o sea toma valores dentro de los nmeros naturales. Si nosotros escogemos el valor de s de modo que sea igual a l(l + 1) donde l es un entero, entonces cuando llegue a tomar el valor de l los coecientes de la serie, a partir de ese punto, sern todos iguales a cero y la solucin a nuestra ecuacion diferencial se convertir en un polinomio. Los polinomios tienen la gran ventaja sobre las series que PARA CUALQUIER VALOR DE x LOS POLINOMIOS SIEMPRE CONVERGEN. Por lo tanto la ecuacin de Legendre con soluciones polinomiales la podemos escribir de la siguiente forma:

(1 x2) y 00 2xy 0 +l(l+1)y = 0 donde l es un entero positivo y la solucin ser un polinomio Pl (x) 3

Es claro que el nmero de trminos del polinomio ser igual a l + 1 ya que tiene que variar entre = 0 y = l. Desarrollemos los primeros cuatro polinomios para los cuales la relacin de recurrencia est dada por (para k = 0): a [ ( + 1) l(l + 1)] ( + 1)( + 2)

+2

P0 (x) = a0 Para P1 (x) necesitamos que l = 1 y tendremos 2 trminos, a0 x0 y a1 x1 , pero a1 = 0 entonces

P1 (x) = P0 (x) = a0 Para P2 (x) necesitamos que l = 2 y tendremos 3 trminos, a0 x0 , a1 x1 y a2 x2 , pero a1 = 0 entonces a0 ( 6) a0 [0(0 + 1) 2(2 + 1)] = = (0 + 1)(0 + 2) 2 P2 (x) = a0 (1 3x2 )

a2 =

3a0

Para P3 (x) necesitamos que l = 3 y tendremos 4 trminos, a0 x0 , a1 x1 , a2 x2 y a3 x3 pero a1 = 0 y a3 = 0 entonces a0 ( 12) a0 [0(0 + 1) 3(3 + 1)] = = (0 + 1)(0 + 2) 2 P3 (x) = a0 (1 6x2 )

a2 =

6a0

Que es de la misma forma que P2 (x) de modo que para este valor de k (k = 0) slo nos interesarn las soluciones con ndices pares. Para P4 (x) necesitamos que l = 4 y tendremos 5 trminos, a0 x0 , a1 x1 , a2 x2 , a3 x3 y a4 x4 pero los ndices impares son todos iguales a cero

a2 =

a0 [0(0 + 1) 4(4 + 1)] a0 ( 20) = = (0 + 1)(0 + 2) 2 a2 ( 14) a2 [2(2 + 1) 4(4 + 1)] = = a4 = (2 + 1)(2 + 2) 12 P4 (x) = a0 (1

10a0 7 a2 = 6 35 4 x ) 3 7 70 35 ( 10a0 ) = a0 = a0 6 6 3

10x2 +

P5 (x) en esta modalidad no nos interesa, pasemos a P6 (x) Para P6 (x) necesitamos que l = 6 y tendremos 7 trminos, a0 x0 , a1 x1 , a2 x2 , a3 x3 , a4 x4 , a5 x5 y a6 x6 pero los ndices impares son todos iguales a cero

a0 ( 42) a0 [0(0 + 1) 6(6 + 1)] = = (0 + 1)(0 + 2) 2 a2 [2(2 + 1) 6(6 + 1)] a2 ( 36) a4 = = = (2 + 1)(2 + 2) 12 a4 ( 22) a4 [4(4 + 1) 6(6 + 1)] a6 = = = (4 + 1)(4 + 2) 30 a2 = P6 (x) = a0 (1 Por lo que para a0 = 1:

21a0 3a2 = 11 a2 = 15 3( 21a0 ) = 63a0 11 (63a0 ) = 15 693 a0 15

21x2 + 63x4

693 6 x ) 15

P0 (x) = 1 P2 (x) = 1 P4 (x) = 1 P6 (x) = 1 3x2 10x2 + 35 4 x 3 693 6 x 15

21x2 + 63x4

y=1

y 2.0

1.5

1.0

0.5

0.0 -2.0

-1.5

-1.0

-0.5

0.0

0.5

1.0

1.5

2.0

Grca del polinomio P0 (x) de Legendre y = (1 3x2 )

-2

-4

-6

-8

-10 -2.0 -1.5 -1.0 -0.5 0.0 0.5 1.0 1.5 2.0

Grca del polinomio P2 (x) de Legendre y = (1 10x2 +

35 4 3 x )

y
2

-1 -1.0 -0.8 -0.6 -0.4 -0.2 0.0 0.2 0.4 0.6 0.8

1.0

Grca del polinomio P4 (x) de Legendre y = (1 21x + 63x4

2 693 6 15 x )

-1

-2

-3 -1.0 -0.8 -0.6 -0.4 -0.2 0.0 0.2 0.4 0.6 0.8

1.0

Grca del polinomio P6 (x) de Legendre

Tomemos ahora el caso para k = 1 entonces la tercera condicin 7

[a

+2 (k

+ 2)(k +

+ 1)

a [(k + )(k +

1) + 2(k + )

s]] = 0

se convierte en:

[a

+2 (

+ 3)( + 2)

a [( + 1)( ) + 2(1 + )

s]] = 0

Lo que implica que:

+2

a [( + 1)( + 2) s] a [( + 1)( ) + 2( + 1) + s] = ( + 2)( + 3) ( + 2)( + 3)

Lo que nos da la relacin de recurrencia:

+2

a [( + 1)( + 2) s] ( + 2)( + 3) ! 1 entonces la relacin de recur-

Si hacemos un cambio de variable rencia queda como: a

+1

[ ( + 1) s] ( + 1)( + 2)
1

que es la misma relacin de recurrencia anterior, entonces podemos nuevamente escoger la constante de separacin s como s = l(l + 1) de modo que tambin en este caso se generen polinomios. Como ahora k = 1 entonces la solucin es de la forma:

y=x

1 X

a x para la relacin de recurrencia a

+2

=0

a [( + 1)( + 2) (l + 1)(l + 2)] ( + 2)( + 3)

recordar que en este caso a1 = 0

Al igual que en el caso anterior los nicos polinomios que nos van a interesar sern los de orden par ( = par) pero es ahora importante notar que estos polinomios van a generar exponentes impares. Desarrollemos los primeros cuatro polinomios para los cuales la relacin de recurrencia est dada por (para k = 1): a [( + 1)( + 2) (l + 1)(l + 2)] ( + 2)( + 3) P1 (x) = a0 x Para P3 (x) necesitamos que l = 2 y tendremos 3 trminos, a0 x1 , a1 x2 y a2 x3 a0 [ 10] a0 [(0 + 1)(0 + 2) (2 + 1)(2 + 2)] = = (0 + 2)(0 + 3) 6 5 3 x ) 3 5 a0 3

+2

a2 =

P3 (x) = a0 (x

Para P5 (x) necesitamos que l = 4 y tendremos 5 trminos, a0 x1 , a1 x2 , a2 x3 , a3 x4 y a4 x5 a0 [(0 + 1)(0 + 2) (4 + 1)(4 + 2)] a0 [ 28] = = (0 + 2)(0 + 3) 6 14 a0 3

a2 =

a4 =

a2 [(2 + 1)(2 + 2) (4 + 1)(4 + 2)] a2 [ 18] = = (2 + 2)(2 + 3) 20 14 3 21 5 x + x ) 3 5

9 a2 = 10

9 10

14 21 a0 = a0 3 5

P5 (x) = a0 (x

Para P7 (x) necesitamos que l = 6 y tendremos 7 trminos, a0 x1 , a1 x2 , a2 x3 , a3 x4 , a4 x5 , a5 x6 y a6 x7 a0 [(0 + 1)(0 + 2) (6 + 1)(6 + 2)] a0 [ 54] = = (0 + 2)(0 + 3) 6 9

a2 =

9a0

a4 =

a2 [(2 + 1)(2 + 2) (6 + 1)(6 + 2)] a2 [ 44] = = (2 + 2)(2 + 3) 20

11 a2 = 5

11 99 [ 9a0 ] = a0 5 5

a6 =

a4 [(4 + 1)(4 + 2) (6 + 1)(6 + 2)] a4 [ 26] = = a4 (4 + 2)(4 + 3) 42 99 5 x 5 1287 7 x ) 105

13 = 21

13 21

99 a0 = 5

1287 a0 105

P7 (x) = a0 (x Por lo que para a0 = 1

9x3 +

P1 (x) = x P3 (x) = x P5 (x) = x P7 (x) = x y=x 5 3 x 3 14 3 21 5 x + x 3 5 99 5 1287 7 9x3 + x x 5 105

1.0

0.5

0.0

-0.5

-1.0 -1.0

-0.8

-0.6

-0.4

-0.2

0.0

0.2

0.4

0.6

0.8

1.0

Grca del polinomio P1 (x) de Legendre 10

y=x

5 3 3x

0.6 0.4 0.2 0.0 -0.2 -0.4 -0.6 -1.0 -0.8 -0.6 -0.4 -0.2 0.0 0.2 0.4 0.6 0.8

1.0

Grca del polinomio P3 (x) de Legendre y=x

14 3 3 x

21 5 5 x

0.5 0.4 0.3 0.2 0.1 0.0 -0.1 -0.2 -0.3 -0.4 -0.5 -1.0 -0.8 -0.6 -0.4 -0.2 0.0 0.2 0.4 0.6 0.8

1.0

Grca del polinomio P5 (x) de Legendre y=x 9x3 +

99 5 5 x 1287 7 105 x

11

0.4 0.3 0.2 0.1 0.0 -0.1 -0.2 -0.3 -0.4 -1.0 -0.8 -0.6 -0.4 -0.2 0.0 0.2 0.4 0.6 0.8

1.0

Grca del polinomio P7 (x) de Legendre

y=1 y=1 y=1 y=1 3x2 10x2 + 35 4 x 3 693 6 x 15

21x2 + 63x4

y=x y=x y=x y=x 5 3 x 3 14 3 21 5 x + x 3 5 99 5 1287 7 3 9x + x x 5 105

y=1

12

y
2

-1

-2

-3 -1.0 -0.8 -0.6 -0.4 -0.2 0.0 0.2 0.4 0.6 0.8

1.0

Grca de los polinomios P0 (x) a P7 (x) de Legendre

13