Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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