POLINOMIOS DE LEGENDRE.

1. DEFINICIN.
Se definen los polinomios de Legendre por

la cual es llamada frmula de Rodrgues. De aqu, se obtiene

De acuerdo con el desarrollo binomial, se tiene que

por lo que, al sustituir en (1), queda

y, como

resulta que

2. FUNCIN
La funcin

GENERADORA.

es llamada funcin

generadora de los polinomios de Legendre, ya que

En efecto:

Usando la conocida frmula

queda

y como

se tiene que

(2~, - 1) tn(2.T - tt n=l 2 n. 1 13 135 ' 3 1 + --, t(2x - t) + -2-' t2(2x - t)2 + 3 , t (2x - t)3 2 1. 2 2. 2 3.
n

1+

"f 1 . 3 . 5 ...

+ 135
2 n!

.. (2n - 3) tn-1(2x _ tt-1

2n-l(n - 1)! - tt

1 . 3 . 5 ... (2n +-----' - 1)ntn(2x __ n

Llamando a.; (x) al coeficiente de t" ,se ver a continuacin que a., (x) =

Pn(x):
_1_3__5_ ~(2_n_, (2x)n _ 135 _. . ----=-1)

2nn!

.. (2n - 3) (n - 1) (2x)n-2 + 2n-l(n - 1)! 1!

_

+ 135

.. (217,- 5) (n - 2)(n - 3) (2xt-4 2n-2(n - 2)! 2!

+ .....

Usando la identidad 135 resulta que .. (2n - 1) = - n 2 n!

(2n)!

(2n)!
, 2n n.n. ,x

(2n - 2)!
- 2n 1. ti '(
-

n-2

9)' 1)'.( n - ~ . x
n-4

+ .

+ 2n2!(n
Pn(x)

(2n - 4)! - 2)!(n _ 4)!x

Tomando x = 1 en (4), se tiene

L Pn(1)tn
~O

00

= (1 - 2t + t2)-1/2 = 1_ t =

L i"
n~

00

de donde P,,(l) = 1 3

(5)

Similarmente, para x = -1 se obtiene

(6)
Se observa que

(1

+ 2xt + t2)-1/2 =

[1 - 2( -x)t

+ er1/2

= L Pn( -x)tn
n=O
00

00

[1 - 2x( -t) L(-ltPn(x)tn n=O

00

+ (_t)2rl/2

= L Pn(x)( _t)n
n=O

y, al comparar ambos resultados, se obtiene que

(7)
La frmula (7) dice que Pn (x) es una funcin par si n es par y una funcin impar cuando ti es impar.

3. FRMULAS DE RECURRENCIA. Derivando la funcin generadora w(x, t) respecto a t, se tiene

aw at
de donde se obtiene (1 - 2xt

+ t2)a + (t

aw

- x)w = O

En trminos de las series, queda (1 - 2xt + t2) L nPn(x)tn-1 n=O

00

+ (t

- x) L Pn(x)tn = O 11=0

00

=O

Igualando a cero el coeficiente de i"; se tiene

(71

+ 1)Pn+1(x)

- 2xnPn(x)

+ (n

- l)P"_l(:r)
4

+ P"-l(X)

- xPn(x)

(1- X2)y" - 2xy' [(1 - X2)y,],

la cual se conoce como ecuacin 5. REPRESENTACIN Es conocido que

+ n(n + l)y + n(n + l)y

(14) O

de Legendre.

INTEGRAL.

de Jo 1 + A cos Tomando

e
- 1
' 1- tx

A = _ tvx2
se tiene que

(1 - tx)de Jo 1 - t(x + vx2 - 1 cos e)

1r(1 - tx)

t'
Jo 1- t(x
Usando el resultado queda
l~z

de

+ VX2
=

-lcose)
CXJ

VI z

2xt

+ t2

n=O

zn

(1

1<

1) Y la funcin generadora,

Igualando los coeficientes de t", resulta

Pn(X)=:;Jo 1

r ( 2-1cose x+vx
6

)7l de

(15)

6. ORTOGONALIDAD.
De acuerdo con (14), se tiene que

Multiplicando en la primera ecuacin por Pm(x), en la segunda por Pn(x) y restando luego, queda

+(n - m)(n

+ m + l)Pm(x)Pn(x)

Integrando entre -1 y 1, se tiene que

Luego, si m

#- n
(16)

lo cual indica que el conjunto Pn (x) (n = O,1, 2, ... ) de polinomios de Legendre es ortogonal en el intervalo (-1, 1). 7

A continuacin se calcular la integral J2] P~(x)dx : Primeramente, se reemplaza n por n - 1 en la ecuacin (8) y se multiplica luego por (2n + 1) Pn(x). Si a la ecuacin que resulta se le resta (8) multiplicada por (2n - 1)Pn-1(x), se obtiene

n(2n+ 1)P~(x )+(n-1) -n(2n

Integrando queda

(2n+ 1)Pn-2(x )Pn(x) - (n+ 1) (2n-1 )Pn-l (x )Pn+l (x)- l)pLl(X) =O (n=2,3, ...)
de ortogonalidad (16),

en (-1, 1) Y aplicando la propiedad

-1

P~(x)dx =

2n - 1 2n + 1

1 P~-l (x)dx
1

(n=2,3,

... )

-1

Aplicando repetidamente

la frmula anterior, se observa que

1 P~ 2(x)dx (2n - 3) (2n - 5) 1 P~ 3(x)dx (2n + 1) (2n - 3)

(2n - 1) (2n - 3) (2n + 1) (2n - 1)
1 -1 1 -1 -

2n
de donde

+1
2

1 P;(x)dx
1 -1

1
1
1 2

P~(x)dx = 2 1 -1 n+

(n

2,3, .. )

Ntese que la expresin anterior es vlida tambin para n = O Y n = 1:

Po (x)dx = 2 = '). O + 1 -1 ~

1
2

PI2(x)dx = ~ = --3

')

-1

21

Luego, resulta

1
-1

P,~(x)dx

')

=--

2n

+1
8

(n=O,1,2,

.. )

(17)

7. SERIES DE FOURIER-LEGENDRE. Supngase que f (x) tiene un desarrollo convergente de la forma f(x)
=

L CnPn(x)
n=O

00

-1<::c<1

(18)
y

Multiplicando en (18) por Pm(x) (m fijo) e integrando entre -1 (suponiendo la integracin trmino a trmino de la serie), se tiene que

de donde, al aplicar la ortogonalidad (16), resulta que

e _ J21 f(x)Pn(x)dx
n -

J21 P;(x)dx
(n =

Cn
Teorema.

2n

+1
2

JI f(x)Pn(x)dx
-1

o , 1, 2, ...

(19)

Si f y f' son seccionalmente contnuas en el intevalo (-1, 1), la serie de Fourier-Legendre (18) con coeficientes (19) converge a f(x) en cualquier punto x donde f es contnua. Si x es lID punto de discontinuidad, la serie converge al valor ~[j(x+) + f(x- )]. Del comportamiento de Pn(x) establecido en la ecuacin (7), se deducen dos casos particulares de la serie de Fourier-Legendre: a) Si f es una funcin par, entonces C2n+1 = O, Y queda
00

f(x)

LC
n=O

2n 2n

P (X) (20)

(n=0,1,2,)

b) Cuando f es impar, C2n = OY se tiene

f(x)

L C2n+lP2n+l(X)
n=O

00

(21 )

(n =

O, 1 , 2 , ... )

Ejemplo. Hallar el desarrollo de Fourier-Legendre

de la funcin

f(X)={

O,-l<x<a 1, a < x < 1

Solucin.

f(x)

L CnPn(x)
n=O

00

2n

+
2

11

f(x)Pn(x)dx

C; = 2n

+
2

11
a

Pn(x)dx

-1

De acuerdo con (12), se tiene que

(n=1,2,)
Luego,

Puesto que Pn (1) = 1, queda

(n=1,2,)
y as

10

(n=1,2,"')
Para n = O:

Co

11 = 2

Po(x)dx
a

1 = 2

j'1 dx
a

1 -(1 - a) 2

Finalmente, resulta

f(x)

2(1 -

a) +

2 [Pn-1(a)
n=1

00

- Pn+1(a)] Pn(x)

8. TEMPERATURAS ESTACIONARIAS EN UNA ESFERA. Considrese el problema de determinar la temperatura u en el interior de una esfera de radio r = a, tal que u toma valores prescritos en la superficie de la espera y u es independiente de la coordenada cp. En este caso, el problema de contorno a resolver es el siguiente:

(O < r < a,O < e < K) u(a, e)

=

(22)

F(e)

(23)

Ahora, la eco (22) tambin puede escribirse como

r or2 (ru) +

fj2

sene

oe

o [

(1 - cos

e) sene oe =

OU]

De esta manera, haciendo

x

= cos e=}- = - --~x

o Selle ae
1

las ecs. (22) y (23) quedan

2 r 0 (TU)
01'2

+~

OX

[(1 -

x2)

ou]
OX

(O < r < a, -1 < x < 1)

(24) (25)

u(a, :1:) = f(x)

11

Se; determinar producto:

la solucin de este problema usando el clsico mtodo del

U(T, x) = R(T)Y(X)
Sustituyendo en (24), se tiene

(26)

02 r or2 [TR(T)Y(X)]

a + ox

[(1- x2)R(T)Y(X)]

=o

TY(X) [TR"(r)

+ 2R'(r)] + R(T)

[(1- x2)yl/(x) T2R"(r)

- 2xY/(x)]

--'--------------Luego:

(1- x2)YI/(x) - 2xY/(x) Y(x)

= -

R(T)

+ 2rR'(T) =

-A

(1 - x2)yl/(x)

- 2xY/(x)

+ AY (x)

=O

(27) (28)

T2 R"(r)

+ 2r R'(r)

- AR(T) = O

De acuerdo con la Seccin 4, si se toman los valores

An
la eco (27) corresponde ciones particulares

n(n + 1)

(n

0,1,2,'

... )

a una ecuacin de Legendre, la cual tiene las solu-

(n=0,1,2,)
La eco (28)

r2 R"(r)

+ 2TR'(r)

- n(n

+ l)R(r) =

es una ecuacin de tipo Cauchy, cuya solucin general es de la forma

12

PllF;StOque para r = O la temperatura u debe ser finita, se deduce C2 = r) y, aparte del factor constante, se tiene que

que

(71, = 0,1,2,)
As, se tiene que la sucesin de funciones

(71,=0,1,2,"')
satisface la ecuacin diferencial (24) y, de acuerdo con el principio de superposicin, la funcin

u(r, x) =
tambin la satisface. La condicin (25), u(a, x) = j(x),

2:: c; Pn(x)
00

(29)

n=

exige que
00

j(x)
de donde

2:: c; Pn(x)
n=

(71,=0,1,2,
Luego,

.)

u(r,x)
y, finalmente

= "2 ~

00

[(271, + 1)

[1j(X)Pn(X)dX]
1 1

)n Pn(X)

(30)

u(r,e)

=-2:: [(271,+1)!
1
00

2 n=

j(X)Pn(X)dX]

-1

!:.. a

)n Pn(cose)

(31)

13

EJERCICIOS
1. Demostrar:

a)

11 Pn(x)dx

=O

(n = 1,2",,)

b) P2n(O) = (_1)"1.

~: ~: ~..(.2.n~~ 1)

P2n+1(0) = O

d)

x Pn+l(X)Pn-l(X)dx -1

= (Zti

1)(2n + 1)( 2n + 3) estaciouarias

2n(n

+ 1)

2. Hallar la distribucin de tcmpcrauuas esfera slida de radio r = 1 si

u( 1

11,('-, O) en una

O) = { 1, O < e < f /2 O, f/2<0<f

Sol.

u(r,O)

= ~+~

f [P2n(0)
n==O

- P2n+2(0)]r2n+lP2n+l(COSO)

3. Hallar las temperaturas estacionarias en tilla esfera hueca (a ::; r ::;b) cuando u(a,e) = (cose) y u(b,e) = O (O < e < T) Sol. donde

u(r,e)

b2n+1 -r 2n+l = ~ C"b211+1 _ a2n+1

00

a)11+1
-;:

. Pn(cose)

+ e; = 2n 2 1

JI (X)
-1

P X ) dx
lI (

4. Si u(x, t) representa las temperaturas en una barra aislada no homognea -1 ::; x ::; 1 l. lo largo del eje de las :1.:, en In que la conductividad trmica es proporcional a 1 - 3;'2, la ecuacin de calor torna la forma

donde b > O. Los extremos x = 1 estn aislados porque all la conductividad se hace cero. Si u(x,O) = f(x) (-1 < x < 1), deducir la frmula de las temperaturas u(x, t). Sol.
1 u(x, t) = :2 ~00 [(2n + 1)

11
1

f(x)Pn(x)dx

e-n(n+l)bt Pn(X)

5. Cuando f(x) que

= x2 (-1 < x < 1) en el problema anterior, demostrar

e-6bt

u(x,t) = ~ +

(X2 _~)

15

BIBLIOGRAFA 1. N.N. Lebedev: SPECIAL FUNCTIO:'\S A~D THEIR APPLICATIONS. Dover Publications, Inc. 2. W.W. Bell: SPECIAL F"C\'CTIONS FOR SCIENTISTS AND ENGINEERS. D. Van Nostrand Company, Ltd. 3. R.V. Churchill: SERIES DE FOURIER y PROBLEMAS DE CONTOR:t\O. Me Graw-Hill.

16