POLINOMIOS DE LEGENDRE.

1. DEFINICIN.
Sedefinen los polinomios deLegendre por
lacual es llamada frmula de Rodrgues. Deaqu, seobtiene
Deacuerdo con el desarrollo binomial, setiene que
por loque, 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
setiene que
2
1+"f 1. 3. 5... (2~,- 1)tn(2.T - tt
n=l 2
n
n .
1 13 135 '
1+--, t(2x - t) +-2-' t2(2x - t)2 + 3 , t
3
(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)
+-----'__nt
n
(2x - tt + .
2
n
n!
Llamando a.; (x) al coeficiente de t" ,sever a continuacin que a., (x) =
Pn(x):
_1_3__5_ _.. ~(2_n_, ----=-1) (2x)n _ 135 .. (2n - 3) (n - 1) (2x)n-2 +
2
n
n! 2n-l(n - 1)! 1!
+135 .. (217,- 5) (n - 2)(n - 3) (2xt-4 _ +.....
2n-2(n - 2)! 2!
Usando laidentidad
(2n)!
135 .. (2n - 1) =-
2
n
n!
resulta que
(2n)! n (2n - 2)! n-2
n , ,x - n '( )' ( 9)' x +
2 n.n. 2 1. ti - 1 . n - ~ .
(2n - 4)! n-4
+2n2!(n - 2)!(n _ 4)!x - + .
Pn(x)
Tomando x =1en (4), setiene
00 1 00
LP
n
(1)t
n
=(1- 2t +t
2
)-1/2 =1_t =Li"
~O n~
dedonde

P,,(l) =1 (5)
3
(6)
Similarmente, para x =-1 seobtiene
Seobserva que
00
(1 +2xt +t
2
)-1/2 =[1- 2( -x)t +er
1
/
2
=L P
n
( -x)t
n
n=O
00
[1- 2x( -t) +(_t)2rl/2 =L Pn(x)( _t)n
n=O
00
L(-ltPn(x)t
n
n=O
y, al comparar ambos resultados, seobtiene que
(7)
Lafrmula (7) dicequePn (x) esuna funcinpar si n espar yuna funcin
impar cuando ti esimpar.
3. FRMULAS DE RECURRENCIA.
Derivando lafuncin generadora w(x, t) respecto at, setiene
a w
at
dedonde seobtiene
a w
(1 - 2xt +t
2
)a +(t - x)w =O
En trminos delas series, queda
00 00
(1 - 2xt +t
2
) L nPn(x)t
n
-
1
+(t - x) L Pn(x)t
n
=O
n=O 11=0

Igualando acero el coeficiente dei"; setiene

(71 +1)P
n
+
1
(x) - 2xnP
n
(x) +(n - l)P"_l(:r) +P"-l(X) - xPn(x) =O
4
(14)
(1- X2)y" - 2xy' +n(n +l)y O
[(1 - X2)y,], +n(n +l)y O
la cual seconoce como ecuacin de Legendre.
5. REPRESENTACIN INTEGRAL.
Es conocido que
r de
Jo 1+A cose
Tomando
A =_ tvx2 - 1
1- tx '
setiene que
r (1- tx)de
Jo 1- t(x +vx2 - 1cose )
1r(1 - tx)
t' de
Jo 1- t(x +VX2 - lcose) V I - 2xt +t
2
CXJ
Usando el resultado l~z =zn (1 z 1< 1) Y la funcin generadora,
n=O
queda
I gualando los coeficientes de t", resulta

1r( )7 l
Pn(X)=:;Jo x+vx
2
-1cose de
(15)
6
6. ORTOGONALIDAD.
De acuerdo con (14), se tiene que
y
Multiplicando en laprimera ecuacin por Pm(x), en lasegunda por Pn(x)
y restando luego, queda
+(n - m) (n +m+l)Pm(x)Pn(x) =O
I ntegrando entre -1y 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
1
1 2n - 11
1
P~(x)dx = P~-l (x)dx
-1 2n +1 -1
(n=2,3, ... )
A continuacin se calcular la integral J 2 ] P~(x)dx :
Primeramente, se reemplaza n por n - 1en 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)P
n
-
1
(x), se obtiene
n(2n+ 1)P~(x )+(n-1) (2n+ 1)P
n
-
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
Aplicando repetidamente la frmula anterior, se observa que
(2n - 1) (2n - 3) 1
1
P~ 2(x)dx
(2n +1) (2n - 1) -1 -
(2n - 3) (2n - 5) 1
1
P~ 3(x)dx
(2n +1) (2n - 3) -1 -
3 1
1
P;(x)dx
2n +1 -1
de donde
1
1 2
P~(x)dx =2 1
-1 n+
(n =2,3, .. )
Ntese que la expresin anterior es vlida tambin para n =OY n =1:
1
1 2 2
Po (x)dx =2 ='). O 1
-1 ~ +
1
1 ') 2
PI2(x)dx =~=---
-1 3 21+1
Luego, resulta

1
1 ') 2
P,~(x)dx =--
-1 2n +1
(n=O,1,2, .. ) (17)
8
f(x) =LCnPn(x)
n=O
-1<::c<1 (18)
7. SERIES DE FOURIER-LEGENDRE.
Supngase que f (x ) tiene un desarrollo convergente de la forma
00
Multiplicando en (18) por Pm(x) (m fijo) e integrando entre -1 y 1
(suponiendo la integracin trmino atrmino de la serie), setiene que
de donde, al aplicar la ortogonalidad (16), resulta que
e _J21 f(x)Pn(x)dx
n- J21 P;(x)dx
2n +1J I
C
n
= f(x)Pn(x)dx
2 -1
(n =o 12 ... ) , , , (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 C
2n
+
1
=O,Y queda
00
f(x) LC
2n
P
2n
(X)
n=O
(20)
(n=0,1,2,)

b) Cuando f es impar, C
2n
=OY setiene
9
(21)
00
f(x) - LC2n+lP2n+l(X)
n=O
(
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) LCnPn(x)
n=O
2n +11
1
f(x)Pn(x)dx
2 -1
2n +11
1
C; = Pn(x)dx
2 a
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:
11
1
1j ' 1 1
C
o
=- Po(x)dx =- dx =-(1-a)
2 a 2 a 2
Finalmente, resulta
1 100
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 dedeterminar latemperatura u enel interior de
una esfera de radio r =a, tal que u toma valores prescritos en la superficie
de la espera y u es independiente dela coordenada c p .
En este caso, el problema de contorno aresolver esel siguiente:
(O <r <a , O <e <K ) (22)
u(a, e) =F(e)
Ahora, la eco (22) tambin puede escribirse como
(23)
fj2 1 o [ 2 1 O U ]
r o r
2
(r u ) +seneo e (1- cos e) seneo e =O
Deesta manera, haciendo
o 1 o
x =cose =}- =- ---
~ x Selleae
las ecs. (22) y (23) quedan
r 0
2
(T U ) +~ [ (1 - x2) o u ] =O
01 ' 2 O X O X
(O<r <a, -1 <x <1) (24)

u(a, :1:) =f(x) (25)
11
U (T, x) =R(T)Y(X)
Sustituyendo en (24), se tiene
(26)
Se; determinar la solucin de este problema usando el clsico mtodo del
producto:
0
2
a I
r o r
2
[TR(T)Y(X)] +o x [(1-x
2
)R(T)Y(X)] =o
TY(X) [TR"(r ) +2R' (r )] +R(T) [(1-x
2
)yl/(x) - 2xY/(x)] =o
(1 - x
2
)YI/(x) - 2xY/(x) T
2
R"(r ) +2r R' (T)
--'--------------- =- =-A
Y(x) R(T)
Luego:
(1 - x
2
)yl/(x) - 2xY/(x) +AY (x) =O (27)
T
2
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)
r
2
R"(r ) +2TR' (r ) - n(n +l)R(r ) =O
es una ecuacin de tipo Cauchy, cuya solucin general es de la forma

12
(7 1,=0,1,2,"')
PllF;StOque para r =Ola temperatura u debe ser finita, se deduce que
C
2
=r) y, aparte del factor constante, se tiene que
(7 1, =0,1,2,)
As, se tiene que la sucesin de funciones
satisface la ecuacin diferencial (24) y, de acuerdo con el principio de super-
posicin, la funcin
00
u(r, x) =2:: c ;Pn(x)
n=
(29)
tambin la satisface.
La condicin (25), u(a, x) =j(x), exige que
00
j(x) =2:: c ;Pn(x)
n=
de donde
(7 1,=0,1,2, . )
Luego,
100 1 ( )n
u(r,x) =" 2 ~ [(27 1, +1) [ 1j(X)Pn(X)dX] ~ Pn(X)
y, finalmente
(30)
100 1 ( )n
u(r,e ) =-2:: [(27 1,+1)! j(X)Pn(X)dX] ! : . . Pn(c ose )
2 n= -1 a
(31)

13
a ) 1
1
P n ( x ) d x =O
b) P 2 n ( O ) =(_1 )"1 . ~: ~: ~..(.2.n~~1 ) P2 n +1(0) =O
( n =1 ,2",,)
EJERCICIOS
1 . Demostrar:
J
I 2 2 n ( n +1)
d ) x P n + l ( X ) P n - l ( X ) d x =( )( )( )
-1 Zti - 1 2 n +1 2 n +3
2. Hallar la distribucin de tcmpcrauuas estaciouarias 1 1 ,('- , 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[ P
2 n
( 0 ) - P 2 n + 2 ( 0 ) ] r2 n + l P 2 n + l ( C O S O )
n==O
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 )
00 b
2 n
+
1
2n+l ( ) 11+ 1 .
-r a
Sol. u ( r, e ) =~ C "b
2 11
+
1
_ a
2 n
+
1
-;: P n ( c o s e )
donde
2 n +1J I
e ; = 2 -1( X ) P lI ( X ) d x
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) .
1 00 [ 1 ]
Sol. u ( x , t) =:2~ ( 2 n +1) 1 1 f( x ) P n ( x ) d x e -
n
( n + l ) b t P n ( X )
5. Cuando f( x ) =x
2
(- 1 <x <1 ) en el problema anterior, demostrar
que
u ( x , t) =~+( X 2 _ ~ ) e -
6b t
1 5
BIBLIOGRAFA
1. N.N. Lebedev: SPECIAL FUNCTIO :'\S A~D THEIR APPLICA-
TIO NS. Dover Publications, Inc.
2. W.W. Bell: SPECIAL F"C\'CTIO NS FO R SCIENTISTS AND ENGI-
NEERS. D. Van Nostrand Company, Ltd.
3. R.V. Churchill: SERIES DE FO URIER yPRO BLEMAS DE CO N-
TO R:t\O . Me Graw- Hill.

16