Polinômios de Legendre

Em matemática, os polinômios de Legendre são as soluções polinomiais da equação diferencial de Legendre:

${\displaystyle {d \over dx}\left[(1-x^{2}){d \over dx}P_{n}(x)\right]+n(n+1)P_{n}(x)=0.}$

para as quais ${\displaystyle P_{n}(x=1)=1}$.

Eles recebem esse nome em homenagem a Adrien-Marie Legendre. Esta equação diferencial ordinária é frequentemente encontrada na física e em outros campos técnicos. Em particular, ele surge na resolução da equação de Laplace (e equações diferenciais parciais) em coordenadas esféricas.

A equação diferencial de Legendre pode ser resolvida utilizando o método de série de potências usual. A equação possui um ponto singular regular em x= ± 1 então, em geral, uma solução com séries em relação a origem somente convergirá se |x| < 1. Quando n é um inteiro, a solução P_n(x) que é regular em x=1 é também regular em x=-1, e a série para esta solução é finita (i.e. é um polinômio).

Esta solução para n = 0, 1, 2,... (com a normalização P_n(1)=1) forma uma sequência polinomial de polinômios ortogonais chamados polinômios de Legendre. Cada polinômio de Legendre P_n(x) é um polinômio de n-ésimo grau. Isto pode ser expresso utilizando a fórmula de Rodrigues:

${\displaystyle P_{n}(x)={1 \over 2^{n}n!}{d^{n} \over dx^{n}}\left[(x^{2}-1)^{n}\right].}$

Propriedade de ortogonalidade

Uma importante propriedade dos polinômios de Legendre é a sua ortogonalidade com respeito ao produto interno L^2 no intervalo −1 ≤ x ≤ 1:

${\displaystyle \int _{-1}^{1}P_{m}(x)P_{n}(x)\,dx={2 \over {2n+1}}\delta _{mn}}$

(onde δ_mn denota o delta de Kronecker, igual a 1 se m = n e a 0 caso contrário). De facto, uma derivação alternativa dos polinômios de Legendre podem ser obtidas utilizando processo de Gram-Schmidt nos polinômios {1, x, x², ...} com respeito ao produto interno citado. O motivo dessa propriedade de ortogonalidade é que a equação diferencial de Legendre pode ser vista como um problema de Sturm-Liouville

${\displaystyle {d \over dx}\left[(1-x^{2}){d \over dx}P(x)\right]=-\lambda P(x),}$

onde os autovalores λ correspondem a n(n+1).

Exemplos dos polinômios de Legendre

Estes são os primeiros polinômios[1] de Legendre:

n	${\displaystyle P_{n}(x)\,}$
0	${\displaystyle 1\,}$
1	${\displaystyle x\,}$
2	${\displaystyle {\begin{matrix}{\frac {1}{2}}\end{matrix}}(3x^{2}-1)\,}$
3	${\displaystyle {\begin{matrix}{\frac {1}{2}}\end{matrix}}(5x^{3}-3x)\,}$
4	${\displaystyle {\begin{matrix}{\frac {1}{8}}\end{matrix}}(35x^{4}-30x^{2}+3)\,}$
5	${\displaystyle {\begin{matrix}{\frac {1}{8}}\end{matrix}}(63x^{5}-70x^{3}+15x)\,}$
6	${\displaystyle {\begin{matrix}{\frac {1}{16}}\end{matrix}}(231x^{6}-315x^{4}+105x^{2}-5)\,}$
7	${\displaystyle {\begin{matrix}{\frac {1}{16}}\end{matrix}}(429x^{7}-693x^{5}+315x^{3}-35x)\,}$
8	${\displaystyle {\begin{matrix}{\frac {1}{128}}\end{matrix}}(6435x^{8}-12012x^{6}+6930x^{4}-1260x^{2}+35)\,}$
9	${\displaystyle {\begin{matrix}{\frac {1}{128}}\end{matrix}}(12155x^{9}-25740x^{7}+18018x^{5}-4620x^{3}+315x)\,}$
10	${\displaystyle {\begin{matrix}{\frac {1}{256}}\end{matrix}}(46189x^{10}-109395x^{8}+90090x^{6}-30030x^{4}+3465x^{2}-63)\,}$

Genericamente, tem-se (no caso de n ímpar, arredonda-se n/2 para baixo):

${\displaystyle P_{n}(x)={1 \over 2^{n}n!}\sum _{k=0}^{n \over 2}\left[(-1)^{k}{n! \over k!(n-k)!}{(2n-2k)! \over (n-2k)!}x^{n-2k}\right].}$

Os gráficos desses polinômios (até n = 5) são apresentados abaixo:

Aplicação dos polinômios de Legendre na física

Os polinômios de Legendre são úteis para expandir funções do tipo

${\displaystyle {\frac {1}{\left|\mathbf {x} -\mathbf {x} ^{\prime }\right|}}={\frac {1}{\sqrt {r^{2}+r^{\prime 2}-2rr'\cos \gamma }}}=\sum _{\ell =0}^{\infty }{\frac {r^{\prime \ell }}{r^{\ell +1}}}P_{\ell }(\cos \gamma )}$

onde ${\displaystyle r}$ e ${\displaystyle r'}$ são os comprimentos dos vetores ${\displaystyle \mathbf {x} }$ e ${\displaystyle \mathbf {x} ^{\prime }}$ respectivamente e ${\displaystyle \gamma }$ é o ângulo entre esses dois vetores.

Esta expressão é usada, por exemplo, para obter o potencial de uma carga pontual sentida em um ponto ${\displaystyle \mathbf {x} }$ enquanto esta carga está localizada no ponto ${\displaystyle \mathbf {x} '}$. A expansão utilizando polinômios de Legendre pode ser útil quando se integra essa expressão sobre uma distribuição contínua de carga.

Os polinômios de Legendre ocorrem na solução da equação de Laplace do potencial elétrico, ${\displaystyle \nabla ^{2}\Phi (\mathbf {x} )=0}$, em uma região do espaço sem cargas, utilizando o método de separação de variáveis, onde as condições de contornos possuem simetria axial (sem dependência com o ângulo azimutal). Onde ${\displaystyle {\widehat {\mathbf {z} }}}$ é o eixo de simetria e ${\displaystyle \theta }$ é o ângulo entre a posição do observador e o eixo ${\displaystyle {\widehat {\mathbf {z} }}}$, a solução para o potencial será

${\displaystyle \Phi (r,\theta )=\sum _{\ell =0}^{\infty }\left[A_{\ell }r^{\ell }+B_{\ell }r^{-(\ell +1)}\right]P_{\ell }(\cos \theta ).}$

${\displaystyle A_{\ell }}$ e ${\displaystyle B_{\ell }}$ são determinados de acordo com as condições de contorno de cada problema.

Translação dos polinômios de Legendre

A translação dos polinômios de Legendre ${\displaystyle {\tilde {P_{n}}}(x)}$ são definidos como sendo ortogonais no intervalo unitário [0,1]

${\displaystyle \int _{0}^{1}{\tilde {P_{m}}}(x){\tilde {P_{n}}}(x)\,dx={1 \over {2n+1}}\delta _{mn}.}$

Uma expressão explícita para estes polinômios é dada por

${\displaystyle {\tilde {P_{n}}}(x)=(-1)^{n}\sum _{k=0}^{n}{n \choose k}{n+k \choose k}(-x)^{k}.}$

O análogo a fórmula de Rodrigues para a translação dos polinômios de Legendre é:

${\displaystyle {\tilde {P_{n}}}(x)=(n!)^{-1}{d^{n} \over dx^{n}}\left[(x^{2}-x)^{n}\right].\,}$

Ligações externas

• Eric W. Weisstein, Legendre Polynomial no MathWorld.
• «Wolfram MathWorld entry on Legendre polynomials» 
• «Module for Legendre Polynomials by John H. Mathews» 

Referências

1. «Faça exemplos de qualquer grau com O Monitor». omonitor.io. Consultado em 23 de março de 2016