# Polinômios de Legendre

Em matemática, os polinômios de Legendre são as soluções polinomiais da equação diferencial de Legendre:
    ${d \over dx}\left[(1-x^{2}){d \over dx}P_{n}(x)\right]+n(n+1)P_{n}(x)=0.$
para as quais $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:
    $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:
    $\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
    ${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 de Legendre:
| n | $P_{n}(x)\,$ |
| 0 | $1\,$ |
| 1 | $x\,$ |
| 2 | ${\begin{matrix}{\frac {1}{2}}\end{matrix}}(3x^{2}-1)\,$ |
| 3 | ${\begin{matrix}{\frac {1}{2}}\end{matrix}}(5x^{3}-3x)\,$ |
| 4 | ${\begin{matrix}{\frac {1}{8}}\end{matrix}}(35x^{4}-30x^{2}+3)\,$ |
| 5 | ${\begin{matrix}{\frac {1}{8}}\end{matrix}}(63x^{5}-70x^{3}+15x)\,$ |
| 6 | ${\begin{matrix}{\frac {1}{16}}\end{matrix}}(231x^{6}-315x^{4}+105x^{2}-5)\,$ |
| 7 | ${\begin{matrix}{\frac {1}{16}}\end{matrix}}(429x^{7}-693x^{5}+315x^{3}-35x)\,$ |
| 8 | ${\begin{matrix}{\frac {1}{128}}\end{matrix}}(6435x^{8}-12012x^{6}+6930x^{4}-1260x^{2}+35)\,$ |
| 9 | ${\begin{matrix}{\frac {1}{128}}\end{matrix}}(12155x^{9}-25740x^{7}+18018x^{5}-4620x^{3}+315x)\,$ |
| 10 | ${\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):
    $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
    ${\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 $r$ e $r'$ são os comprimentos dos vetores $\mathbf {x}$ e $\mathbf {x} ^{\prime }$ respectivamente e $\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 $\mathbf {x}$ enquanto esta carga está localizada no ponto $\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, $\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 ${\widehat {\mathbf {z} }}$ é o eixo de simetria e $\theta$ é o ângulo entre a posição do observador e o eixo ${\widehat {\mathbf {z} }}$, a solução para o potencial será
    $\Phi (r,\theta )=\sum _{\ell =0}^{\infty }\left[A_{\ell }r^{\ell }+B_{\ell }r^{-(\ell +1)}\right]P_{\ell }(\cos \theta ).$
$A_{\ell }$ e $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 ${\tilde {P_{n}}}(x)$ são definidos como sendo ortogonais no intervalo unitário [0,1]
    $\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
    ${\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 é:
    ${\tilde {P_{n}}}(x)=(n!)^{-1}{d^{n} \over dx^{n}}\left[(x^{2}-x)^{n}\right].\,$