Professional Documents
Culture Documents
1. DEFINICIN.
Se definen los polinomios de Legendre por
y, como
resulta que
2. FUNCIN
La funcin
GENERADORA.
es llamada funcin
En efecto:
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-l(n - 1)! - tt
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!
+ 135
+ .....
(2n)!
(2n)!
, 2n n.n. ,x
(2n - 2)!
- 2n 1. ti '(
-
n-2
9)' 1)'.( n - ~ . x
n-4
+ .
+ 2n2!(n
Pn(x)
L Pn(1)tn
~O
00
= (1 - 2t + t2)-1/2 = 1_ t =
L i"
n~
00
de donde P,,(l) = 1 3
(5)
(6)
Se observa que
(1
+ 2xt + t2)-1/2 =
[1 - 2( -x)t
+ er1/2
= L Pn( -x)tn
n=O
00
00
+ (_t)2rl/2
= L Pn(x)( _t)n
n=O
(7)
La frmula (7) dice que Pn (x) es una funcin par si n es par y una funcin impar cuando ti es impar.
aw at
de donde se obtiene (1 - 2xt
+ t2)a + (t
aw
- x)w = O
+ (t
- x) L Pn(x)tn = O 11=0
00
=O
(71
+ 1)Pn+1(x)
- 2xnPn(x)
+ (n
- l)P"_l(:r)
4
+ P"-l(X)
- xPn(x)
(14) O
de Legendre.
INTEGRAL.
de Jo 1 + A cos Tomando
e
- 1
' 1- tx
A = _ tvx2
se tiene que
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,
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)
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
(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),
-1
P~(x)dx =
2n - 1 2n + 1
1 P~-l (x)dx
1
(n=2,3,
... )
-1
Aplicando repetidamente
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, .. )
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
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,)
f(x)
L C2n+lP2n+l(X)
n=O
00
(21 )
(n =
O, 1 , 2 , ... )
de la funcin
f(X)={
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
(n=1,2,)
Luego,
(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:
(22)
F(e)
(23)
r or2 (ru) +
fj2
sene
oe
o [
(1 - cos
e) sene oe =
OU]
o Selle ae
1
2 r 0 (TU)
01'2
+~
OX
[(1 -
x2)
ou]
OX
(24) (25)
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)
- 2xY/(x)]
--'--------------Luego:
= -
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
An
la eco (27) corresponde ciones particulares
n(n + 1)
(n
0,1,2,'
... )
(n=0,1,2,)
La eco (28)
r2 R"(r)
+ 2TR'(r)
- n(n
+ l)R(r) =
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
2n(n
+ 1)
11,('-, O) en una
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)
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)
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