Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
series de potencias
se P (x) e Q(x) sao funcoes analticas no ponto x0 . Caso contrario dizemos que x0 e um ponto
singular.
X
Teorema: Seja x0 um ponto ordinario da equacao (1), com P (x) = pn (x x0 )n e Q(x) =
n=0
X
qn (x x0 )n com raios de convergencia respectivamente R1 e R2 . Entao qualquer problema
n=0
de valor inicial para a equacao (1)
(
y 00 + P (x) y 0 + Q(x) y = 0
y(x0 ) = a0 , y 0 (x0 ) = a1
X
tem solucao unica y(x) = an (xx0 )n , que e analtica no ponto x0 e tem raio de convergencia
n=0
R min{R1 , R2 }.
(1 x2 )y 00 xy 0 + 2 y = 0 , = const.
x
Para colocar a equacao em forma normal, devemos dividir por 1x2 . Portanto P (x) = e
1 x2
2
Q(x) = . Logo 1 e 1 sao os unicos pontos singulares. Considerando x0 = 0 , o teorema
1 x2
X
nos diz que vamos encontrar solucoes da forma y(x) = an xn com raio de convergencia
n=0
R 1.
Polinomios de Legendre
Podemos usar qualquer outra letra no lugar da letra k, inclusive a letra n novamente. O 2o e
o terceiro somatorios podem ser comecados em n = 0 (fazendo isto entram mais duas parcelas
para a soma, mas sao ambas nulas). Feito isto, podemos reunir todos os termos em um unico
somatorio
X
(n + 2)(n + 1)an+2 (n(n + 1) p(p + 1) an xn = 0 .
n=0
Obtemos, da, a formula de recorrencia
(n + 2)(n + 1)an+2 (n(n + 1) p(p + 1) an = 0 , para n = 0, 1, 2, . . .
(n p) (n + p + 1) .
para n = 0, y1 =1
para n = 1, y2 =x
para n = 2, y1 = 1 3 x2
para n = 3, y2 = x 53 x3
35
para n = 4, y1 = 1 10 x2 + 3 x4 .
E facil ver que estes polinomios e seus multiplos sao as unicas solucoes polinomiais da equacao
de Legendre. Para padronizar uma maneira de escolher esses multiplos, multiplicamos por
constantes convenientes de modo a ter que o polinomio assume sempre o valor 1 para x = 1 .
Normalizados desta maneira, sao chamados de polinomios de Legendre e denotados por
Pn (x) . Assim,
P0 (x) = 1 e P1 (x) = x . (8)
Para n = 2 , y1 = 1 3x2 satisfaz y(1) = 2 . Logo,
1 3x2 3 1
P2 (x) = = x2 . (9)
2 2 2
5 3 2
Para n = 3 , y2 = x x satisfaz y2 (1) = e, portanto,
3 3
x 53 x3 5 3
P3 (x) = 2 = x3 x . (10)
3 2 2
Podemos encontrar outra solucao linearmente independente para a equacao de Legendre pelo
metodo DAlembert.
Para n = 0 , procuramos outra solucao na forma Q0 (x) = v(x) P0 (x) . E facil ver que v(x)
deve satisfazer
(1 x2 )v 00 2xv 0 = 0 ,
que, pondo z = v 0 , se reduz a equacao separavel de 1a ordem
dz 2xz
= ,
dx 1 x2
1 1 1 + x
para a qual encontramos a solucao z = . Segue que v = ln . Como estamos
1 x2 2 1 x
interessados em resolver a equacao no intervalo (1, 1) , podemos dispensar os modulos e es-
crever 1
1 1+x 1+x 2
Q0 (x) = ln = ln . (12)
2 1x 1x
3
Vemos que
lim Q0 (x) = + e lim Q0 (x) = .
x1 x1+
Como ja tnhamos, pelo teorema, que R 1 , conclumos entao que, para Q0 (x) , R = 1 .
OBS. Um fato verdadeiro, mas que nao vamos justificar aqui e que para outros valores de p ,
que nao os da forma p = n = 0, 1, 2, 3, . . . , a equacao de Legendre nao tem solucao limitada no
intervalo (1, 1) , alem da trivial.
Consequencia. As unicas possibilidades de obter solucoes nao triviais que sejam limitadas no
intervalo (1, 1) para equacao de Legendre
Como Pn (x) e o unico polinomio que satisfaz a equacao de Legendre e assume o valor 1 para
x = 1 , ficaria entao provado que R(x) = Pn (x) .
1
63x5 70x3 + 15x .
Exemplo: Use a formula de Rodrigues para mostrar que P5 (x) =
8
Solucao: Tomando n = 5 na formula de Rodrigues (16), comecamos aplicando o Binomio de
Newton
(x2 1)5 = x10 C51 x8 + C52 x6 C53 x4 + C54 x2 1
= x10 5x8 + 10x6 10x4 + 5x2 1 .
d5 2
5
x 1 = 30240x5 33600x3 + 7200x .
dx5
Demonstracao:
ou ainda, 0
(1 x2 )Pn0 (x) + n(n + 1)Pn (x) = 0 .
Multiplicando por Pm (x) e integrando, temos
Z 1 Z 1
d
(1 x2 )Pn0 (x) dx .
n(n + 1) Pn (x) Pm (x) dx = Pm (x)
1 1 dx
5
Integrando por partes, com u = Pm (x) e v = (1 x2 )Pn0 (x) , temos
Z 1 1 Z 1
n(n + 1) Pn (x) Pm (x) dx = (1 x2 ) Pn0 (x) Pm (x) + (1 x2 ) Pn0 (x) Pm
0
(x) dx ,
1 1 1
isto e, Z 1 Z 1
n(n + 1) Pn (x) Pm (x) dx = (1 x2 ) Pn0 (x) Pm
0
(x) dx .
1 1
Trocando os papeis de n e m (que equivale a comecar com a equacao de Pm (x) e multiplicar
por Pn (x) ), temos, analogamente, que
Z 1 Z 1
m(m + 1) Pn (x) Pm (x) dx = (1 x2 ) Pn0 (x) Pm
0
(x) dx .
1 1
Segue da que
Z 1 Z 1
n(n + 1) Pn (x) Pm (x) dx = m(m + 1) Pn (x) Pm (x) dx .
1 1
Portanto, Z 1
Pn (x) Pm (x) dx = 0 , se n 6= m .
1
Como em qualquer expansao em serie de funcoes ortogonais, os coeficientes sao dados por
hf, Pn i
n = , (19)
hPn , Pn i
onde Z 1 Z 1 2
hf, Pn i = f (x) Pn (x) dx e hPn , Pn i = Pn (x) dx. (20)
1 1
Precisamos obter o valor dessa ultima integral. Note que
Z 1 Z 1
2
hP0 , P0 i = P0 (x) dx = dx = 2
1 1
Z 1 Z 1
2 2
hP1 , P1 i = P1 (x) dx = x2 dx = (21)
1 1 3
Z 1 Z 1
2 1 2
hP2 , P2 i = P2 (x) dx = (3x2 1) dx =
1 4 1 5
Como f (x) e uma funcao par, 2n+1 = 0 , pois, sendo P2n+1 (x) mpar e f (x) par, segue que
Z 1
f (x)P2n+1 (x) e mpar e, portanto, f (x) P2n+1 (x) dx = 0 . Segue que (24) que 2n+1 = 0 ,
1
para todo n. Analogamente, de (24), segue que
2(2n) + 1 1
Z Z 1
2n = f (x) P2n (x) dx = (4n + 1) f (x) P2n (x) dx .
2 1 0
7
Nao daremos propriamente uma demonstracao deste fato. Apenas notamos que substituindo
u = t2 2xt na serie binomial correspondente a = 12
1 1 13 2 135 3
(1 + u) 2 = 1 u+ u u +
2 24 246
obtemos
1 2 13 2 135 2
G(x, t) = 1 (t 2xt) + (t 2xt)2 (t 2xt)3 +
2 24 246
1 3 4 15 6
= 1 (t2 2xt) + t 4xt3 + 4x2 t2 t 6 xt5 + 24x2 t4 8x3 t3 +
2 8 48
Agrupando os termos e colocando em evidencia as potencias de t obtemos
3 2 1 2 5 3 3 X
G(x, t) = 1 + xt + x t + x x t3 + = Pn (x) tn .
2 2 2 2
n=0
A funcao geradora encerra varias propriedades da famlia dos polinomios de Legendre. Muitas
outras famlias de polinomios ou funcoes que sao uteis nas aplicacoes da Matematica tambem
possuem a sua funcao geradora. Abaixo vamos mostrar como varias dessas propriedades podem
ser deduzidas a partir da funcao geradora. O mesmo tipo de raciocnio se aplica a outras famlias
de funcoes.
Propriedades
1. Formula de Recorrencia.
n + 1 Pn+1 (x) 2 n + 1 x Pn (x) + n Pn1 (x) = 0 , n = 1, 2, 3, . . . (31)
Multiplicando, obtemos
X
X
X
X
X
nPn (x)tn1 2 nxPn (x) tn + nxPn (x) tn+1 = xPn (x) tn Pn (x) tn+1 .
n=1 n=1 n=1 n=0 n=0
8
ou seja,
X
X
X
(n + 1)Pn+1 (x) tn 2 nxPn (x) tn + (n 1)xPn1 (x) tn
n=0 n=1 n=1
X
X
= x Pn (x) tn Pn1 (x) tn .
n=0 n=1
Obs: Conhecendo dois polinomios de Legendre consecutivos, a formula de recorrencia nos per-
mite calcular o proximo. Por exemplo, vimos acima que
1 3 1
P3 (x) = 5 x 3 x e P4 (x) = 35 x4 30 x2 + 3 .
2 8
Fazendo n = 4 na formula de recorrencia, vamos obter
1 1
P5 (x) = 9xP4 (x) 4P3 (x) = 63x5 70x3 + 15x .
5 8
Tendo agora as expressoes de P4 (x) e P5 (x) , usando novamente a formula de recorrencia,
podemos obter P6 (x) , e assim por diante. Este metodo e muito mais simpes do que utilizando
a formula de Rodrigues (16). Em particular, a recorrencia se presta para escrever um programa
de computador para calcular os polinomios de Legendre.
Vajamos agora a demonstracao para o caso geral. Esta propriedade foi importante para estabe-
lecer a expansao em serie de Fourier-Legendre (18).
Demonstracao:
1 X
Multiplicando a identidade = Pn (x) tn por si propria, obtemos
1 2xt + t2
n=0
1 1 1
=
1 2xt + t2 1 2xt + t2 1 2xt + t2
X
X
X
= Pn (x) tn Pm (x) tm = Pn (x) Pm (x) tn+m .
n=0 m=0 n,m=0
9
Usando a ortogonalidade dos Pn (x) , na soma acima sobram so as parcelas em que m = n e,
portanto,
Z 1 Z 1
1 X
2n
2
2
= t P n (x) dx .
1 1 2xt + t 1 n=0
1 t2 t3 t4 t2 t3 t4
1
= ln(1 + t) ln(1 t) = t + + + t + + + +
t t 2 3 4 2 3 4
t2 t4
X
2
= 2 1 + + + = t2 n .
3 5 2n + 1
n=0
3. Pn (1) = 1 (esta propriedade foi usada ja na propria definicao dos polinomios de Legendre.
O objetivo agora e ver, como ilustracao que ela poderia ser obtida alternativamente, como uma
consequencia da funcao geradora).
Portanto
X 1 1 X
Pn (1) tn = p = = tn .
(1 t)2 1t
n=0 n=0
Pn (1) = 1 .
4. Pn (x) = (1)n Pn (x) , isto e, se n for par, entao Pn (x) e funcao par (so envolve potencias de
x com expoente par) e analogamente para n mpar. Novamente, da maneira como os polinomios
de Legendre foram construdos, fica claro que esta propriedade e valida. O objetivo aqui e ver,
como exerccio, que a propriedade tambem poderia ser deduzida da funcao geradora.
Demonstracao:
1
A funcao geradora G(x, t) = satisfaz G(x, t) = G(x, t) . Logo,
1 2xt + t2
X
X
X
n n
Pn (x) t = Pn (x) (t) = (1)n Pn (x) tn .
n=0 n=0 n=0
10
5.
(1)n 1 3 5 . . . (2 n 1)
P2n (0) = e P2n+1 (0) = 0 . (34)
n! 2n
6.
1
1 3 5 . . . (2 n 3)
Z
P2n1 (x) dx = (1)n+1 , para n 2 (35)
0 n! 2n
e Z 1
P2n (x) dx = 0 , para n 1 . (36)
0
Demonstracao:
1 X
2
Integrando G(x, t) = 1 2xt + t2 = Pn (x) tn em relacao a x , temos
n=0
1 x=1
2
X Z 1 Z 1 1
2
1 2xt + t2
tn Pn (x) dx = 1 2xt + t2 dx =
t
n=0 0 0
x=0
1 1 1 1 1 4 1 13 6
= 1 + t2 2
(1 t) = t + t2 t + t
t 2 2! 22 3! 23
1 1 1 3 1 13 5
=1+ t t + t
2 2! 22 3! 23
11
Comparando os coeficientes de tn nos dois lados, obtem-se a conclusao.
de onde segue
n+1 (2 n 1)(2n + 1) n 1 3 5 . . . (2 n 3)
2n = (1) + 2n(1) ,
(n + 1)2 n! 2n
ou seja,
1 3 5 . . . (2 n 3)
2n = (1)n1 (4 n + 1) , para n 2 . (37)
(n + 1)! 2n+1
Temos que os valores de 0 e 2 nao estao includos da igualdade (37) e, portanto, precisam ser
calculados separadamente. Mas ja foi feito acima em (26) e (27). Obtemos, assim, a expansao
1 5 X 1 3 5 . . . (2 n 3)
f (x) = |x| = + P2 (x) + (1)n1 (4 n + 1) P2 n (x) , (38)
2 8 (n + 1)! 2n+1
n=2
para todo x [1, 1] . Note que a expansao (38) apresenta de modo generico os primeiros
termos da expansao obtida em (29).
12