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 GENERADORA.
La funcin

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+ "f 1 . 3 . 5 ...
(2~, - 1) tn(2.T - tt
n
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.
+ + 135 .. (2n - 3) tn-1(2x _ tt-1 +
2n-l(n - 1)!
1 . 3 . 5 ... (2n - 1) n
+-----' __ nt (2x - tt + .
n 2 n!
Llamando a.; (x) al coeficiente de t" ,se ver a continuacin que a., (x) =
Pn(x):

_.. ~(2_n_,
_1_3__5_ (2x)n _ 135
----=-1) .. (2n - 3) (n - 1) (2x)n-2 +
2nn! 2n-l(n - 1)! 1!
+ 135 .. (217,- 5) (n - 2)(n - 3) (2xt-4 _ + .....
2n-2(n - 2)! 2!

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

(2n)! n (2n - 2)! n-2

, ,x
2n n.n. - 2n 1.'( ti - 9)'. x
1)'.( n - ~ +
(2n - 4)! n-4
+ 2n2!(n - 2)!(n _ 4)!x - + .
Pn(x)

Tomando x = 1 en (4), se tiene

00 1 00

L Pn(1)tn = (1 - 2t + t2)-1/2 = 1_ t = L i"

~O n~

de donde

P,,(l) = 1 (5)

3
 Similarmente, para x = -1 se obtiene

(6)
Se observa que
00

(1 + 2xt + t2)-1/2 = [1 - 2( -x)t + er1/2 = L Pn( -x)tn

n=O

00

[1 - 2x( -t) + (_t)2rl/2 = L Pn(x)( _t)n

n=O
00

L(-ltPn(x)tn
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
aw
+ t2)a + (t - x)w = O

En trminos de las series, queda

00 00

(1 - 2xt + t2) L nPn(x)tn-1 + (t - x) L Pn(x)tn = O

n=O 11=0

Igualando a cero el coeficiente de i"; se tiene

(71 + 1)Pn+1(x) - 2xnPn(x) + (n - l)P"_l(:r) + P"-l(X) - xPn(x) =O

4
 (1- X2)y" - 2xy' + n(n + l)y O
(14)
[(1 - X2)y,], + n(n + l)y O

la cual se conoce como ecuacin de Legendre.

5. REPRESENTACIN INTEGRAL.
Es conocido que

r de
Jo 1 + A cos e
Tomando
A = _ tvx2 - 1
1- tx '
se tiene que

r (1 - tx)de 1r(1 - tx)

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

t' de
Jo 1- t(x + VX2 -lcose) VI - 2xt + t2
CXJ

Usando el resultado l~z = zn (1 z 1< 1) Y la funcin generadora,

n=O
queda

Igualando los coeficientes de t", resulta

Pn(X)=:;Jo 1 r (x+vx2-1cose )7l de (15)

6
 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) = O

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 Le-
gendre 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 multi-
plica 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) (2n+ 1)Pn-2(x )Pn(x) - (n+ 1) (2n-1 )Pn-l (x )Pn+l (x)-

-n(2n - l)pLl(X) =O (n=2,3, ...)

Integrando en (-1, 1) Y aplicando la propiedad de ortogonalidad (16),

queda

1 1
P~(x)dx =
2n - 1 1 P~-l (x)dx
1
(n=2,3, ... )
-1 2n + 1 -1

Aplicando repetidamente la frmula anterior, se observa que

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

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

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

2n
3
+1
1 P;(x)dx
-1
1

de donde
1 2
1-1
P~(x)dx = 2
n+
1 (n = 2,3, .. )

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

2 1 ') 2
1 1
1 2
Po (x)dx = 2 = '). O 1 PI2(x)dx = ~ = ---
-1 ~ + -1 3 21 + 1
Luego, resulta
2
1
1 ')
P,~(x)dx =-- (n=O,1,2, .. ) (17)
-1 2n +1
8
 7. SERIES DE FOURIER-LEGENDRE.
Supngase que f (x) tiene un desarrollo convergente de la forma
00

f(x) = L CnPn(x) -1<::c<1 (18)

n=O

Multiplicando en (18) por Pm(x) (m fijo) e integrando entre -1 y 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

Cn =
2n +1
2
JI f(x)Pn(x)dx
-1
(n = o , 1, 2, ... ) (19)

Teorema. 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 P (X)
2n 2n
n=O
(20)

(n=0,1,2,)

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

9
 00

f(x) - L C2n+lP2n+l(X)
n=O
(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.
00

f(x) L CnPn(x)
n=O

2n +
2
111

-1
f(x)Pn(x)dx C; = 2n
2
+ 11 a
1
Pn(x)dx

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
1
Po(x)dx = -1 j'1 dx = 1 - a)
-(1
2 a 2 a 2
Finalmente, resulta
1 1 00

f(x) = 2(1 - a) + 2 [Pn-1(a) - Pn+1(a)] Pn(x)

n=1

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) (22)

u(a, e) = F(e) (23)

Ahora, la eco (22) tambin puede escribirse como

fj2 1 o [ 2 1 OU]
r or2 (ru) + sene oe (1 - cos e) sene oe = O

De esta manera, haciendo

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

o 1 o
~x Selle ae

las ecs. (22) y (23) quedan

2
r 0 (TU)
01'2
+~
OX
[(1 - x2) ou]
OX
= O (O < r < a, -1 < x < 1) (24)

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

11
 Se; determinar la solucin de este problema usando el clsico mtodo del
producto:

U(T, x) = R(T)Y(X) (26)

Sustituyendo en (24), se tiene

02 a I
r or2 [TR(T)Y(X)] + ox [(1- x2)R(T)Y(X)] =o

TY(X) [TR"(r) + 2R'(r)] + R(T) [(1- x2)yl/(x) - 2xY/(x)] = o

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

--'--------------- = -
T2R"(r) + 2rR'(T) = -A
Y(x) R(T)

Luego:

(1 - x2)yl/(x) - 2xY/(x) + AY (x) =O (27)

T2 R"(r) + 2r R'(r) - AR(T) = O (28)

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

An = n(n + 1) (n = 0,1,2,' ... )

la eco (27) corresponde a una ecuacin de Legendre, la cual tiene las solu-
ciones particulares

(n=0,1,2,)

La eco (28)

r2 R"(r) + 2TR'(r) - n(n + l)R(r) = O

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 que
C2 = r) y, aparte del factor constante, se tiene 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 super-

posicin, la funcin

2:: c; Pn(x)
00

u(r, x) = (29)
n=

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

2:: c; Pn(x)
00

j(x) =
n=

de donde

(71,=0,1,2, .)

Luego,

u(r,x)
1
= "2 ~
00
[(271, + 1) [1j(X)Pn(X)dX]
1 (
~
)n Pn(X) (30)

y, finalmente

u(r,e) =-2:: [(271,+1)!

1 00 1
j(X)Pn(X)dX]
(
!:..
)n Pn(cose) (31)
2 n= -1 a

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

I 2 2n(n + 1)
d) J -1
x Pn+l(X)Pn-l(X)dx = (Zti - 1)(2n + 1)( 2n + 3)

2. Hallar la distribucin de tcmpcrauuas estaciouarias 11,('-, O) en una

esfera slida de radio r = 1 si

u( 1 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)

b2n+1 -r 2n+l
00 ( a)11+1 .
Sol. u(r,e) = ~ C"b211+1 _ a2n+1 -;: Pn(cose)

donde

e; = 2n 2+ 1 JI (X)
-1 P X ) dx
lI (

4. Si u(x, t) representa las temperaturas en una barra aislada no ho-

mognea -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. u(x, t) = :21 ~00 [(2n + 1) 11

1
f(x)Pn(x)dx ]
e-n(n+l)bt Pn(X)

5. Cuando f(x) = x2 (-1 < x < 1) en el problema anterior, demostrar

que

u(x,t) = ~ + (X2 _~) e-6bt

15
 BIBLIOGRAFA

1. N.N. Lebedev: SPECIAL FUNCTIO:'\S A~D THEIR APPLICA-

TIONS. Dover Publications, Inc.
2. W.W. Bell: SPECIAL F"C\'CTIONS FOR SCIENTISTS AND ENGI-
NEERS. D. Van Nostrand Company, Ltd.
3. R.V. Churchill: SERIES DE FOURIER y PROBLEMAS DE CON-
TOR:t\O. Me Graw-Hill.

16