1. Quando e por que a equação de Legendre surgiu neste capítulo? E a equação de Bessel?

Passo 1

Você perguntou duas coisas claras: “Quando e por que a equação de Legendre surgiu neste capítulo?” e “Quando e por que a equação de Bessel surgiu neste capítulo?”. As informações implícitas são: o capítulo trata de resolver equações diferenciais parciais por separação de variáveis (por exemplo Laplace ou Helmholtz) em coordenadas apropriadas; precisamos explicar em que etapa do procedimento cada equação aparece e por que elas são naturais naquele contexto.

Passo 2

Primeiro vamos lembrar a ideia geral da separação de variáveis, sem matemática pesada: quando uma equação em várias variáveis (por exemplo a equação de Laplace \nabla^2 u=0 ou a de Helmholtz \nabla^2 u + k^2 u=0) tem simetria (esfera, cilindro, plano), é conveniente mudar para coordenadas que respeitem essa simetria. Ao assumir uma solução que é produto de funções, cada dependência (ângulo, raio, etc.) fica descrita por uma equação ordinária (ODE). Essas ODEs são justamente onde aparecem as equações de Legendre e de Bessel. Vou mostrar isso passo a passo para cada uma.

Passo 3

Como e por que surge a equação de Legendre — derivação direta (contexto: coordenadas esféricas e parte angular).
Começamos com a equação de Laplace em coordenadas esféricas (r,\theta,\varphi). A expressão do laplaciano em coordenadas esféricas é
\nabla^2 u = \frac{1}{r^2}\frac{\partial}{\partial r}\!\left(r^2\frac{\partial u}{\partial r}\right) +\frac{1}{r^2\sin\theta}\frac{\partial}{\partial \theta}\!\left(\sin\theta\frac{\partial u}{\partial \theta}\right) +\frac{1}{r^2\sin^2\theta}\frac{\partial^2 u}{\partial \varphi^2}.
Suponha que procuramos soluções por separação, isto é, assumimos
u(r,\theta,\varphi)=R(r)\,\Theta(\theta)\,\Phi(\varphi).
Substituindo na equação de Laplace \nabla^2 u=0 e dividindo por R\Theta\Phi e multiplicando por r^2 obtém-se uma soma de termos que dependem isoladamente de r, de \theta e de \varphi. Podemos então separar constantes de separação. Primeiro separamos a dependência azimutal: tomando
\frac{1}{\Phi}\frac{d^2\Phi}{d\varphi^2}=-m^2,
obtemos a equação
\Phi(\varphi)=A\cos(m\varphi)+B\sin(m\varphi),
onde m é inteiro por condição de periodicidade em \varphi. A parte angular restante em \theta fica
\frac{1}{\sin\theta}\frac{d}{d\theta}\!\left(\sin\theta\frac{d\Theta}{d\theta}\right) +\left(\lambda-\frac{m^2}{\sin^2\theta}\right)\Theta=0,
onde \lambda é outra constante de separação (vinda da separação do termo radial). Esta é a equação dos harmônicos esféricos angulares. No caso m=0 essa equação se reduz a
\frac{1}{\sin\theta}\frac{d}{d\theta}\!\left(\sin\theta\frac{d\Theta}{d\theta}\right)+\lambda\Theta=0.
Fazendo a mudança de variável x=\cos\theta (então -1\le x\le 1), e escrevendo y(x)=\Theta(\theta), a equação acima transforma-se na forma padrão da equação de Legendre:
\frac{d}{dx}\!\left[(1-x^2)\frac{dy}{dx}\right] + \lambda y = 0,
ou, expandindo,
(1-x^2)y'' - 2x y' + \lambda y = 0.
Demandando soluções regulares (não-singulares) em x=\pm1 e ortogonais em [-1,1], obtemos que \lambda deve ser da forma \lambda = l(l+1) com l=0,1,2,\dots. Então as soluções regulares são os polinômios de Legendre P_l(x).
Resumo da razão: a equação de Legendre aparece porque, ao separar variáveis em coordenadas esféricas, o problema angular reduz-se a uma ODE dependente apenas de \theta que, com a mudança x=\cos\theta, é exatamente a equação de Legendre. A necessidade física/matemática de soluções regulares nos polos força os autovalores \lambda=l(l+1) e gera os polinômios de Legendre e, quando m\neq0, as funções associadas P_l^m(x) que entram nos harmônicos esféricos.

Passo 4

Aula rápida e prática sobre a equação de Legendre e como reconhecer/usar no exame
O que significa cada coisa na equação padrão
(1-x^2)y'' - 2x y' + \lambda y = 0?
  • x é tipicamente \cos\theta (o cosseno do ângulo polar).
  • y(x) é a parte angular da solução.
  • \lambda é a constante de separação — as condições de regularidade transformam \lambda em l(l+1).
Propriedades úteis para prova:
  • Para \lambda=l(l+1) com l\in\{0,1,2,\dots\} existem soluções polinomiais P_l(x) (os polinômios de Legendre).
  • Ortogonalidade:
\int_{-1}^{1} P_l(x) P_{l'}(x)\,dx = 0 \quad \text{se } l\ne l'.
  • Alguns polinômios iniciais: P_0(x)=1, P_1(x)=x, P_2(x)=\tfrac{1}{2}(3x^2-1). Esses são fáceis de decorar e úteis para checar cálculos rápidos.
  • Quando m\neq 0 aparece a equação associada (equação de Legendre associada) e suas soluções P_l^m(x) entram nos harmônicos esféricos Y_l^m(\theta,\varphi).
Um exemplo concreto (para treinar): se ao separar vem a equação com \lambda = 2, então l(l+1)=2 implica l=1. A função angular é P_1(x)=x=\cos\theta.

Passo 5

Como e por que surge a equação de Bessel — derivação direta (contexto: coordenadas polares/cilíndricas e parte radial)
Considere agora coordenadas polares (r,\theta) no plano ou coordenadas cilíndricas (r,\theta,z). O laplaciano em coordenadas polares é
\nabla^2 u = \frac{1}{r}\frac{\partial}{\partial r}\!\left(r\frac{\partial u}{\partial r}\right) + \frac{1}{r^2}\frac{\partial^2 u}{\partial \theta^2}.
Se a equação PDE for a de Helmholtz \nabla^2 u + k^2 u = 0 e tentarmos separação u(r,\theta)=R(r)\Theta(\theta), substituindo e dividindo por R\Theta obtemos:
\frac{r}{R}\frac{d}{dr}\!\left(r\frac{dR}{dr}\right) + k^2 r^2 = -\frac{1}{\Theta}\frac{d^2\Theta}{d\theta^2} = n^2,
onde n^2 é a constante de separação (novamente n inteiro por periodicidade em \theta). A equação angular é
\frac{d^2\Theta}{d\theta^2} + n^2\Theta = 0,
e a equação radial resultante é
r^2 \frac{d^2R}{dr^2} + r\frac{dR}{dr} + \big(k^2 r^2 - n^2\big) R = 0.
Essa equação é a equação de Bessel de ordem n. A forma padrão da equação de Bessel é
r^2 R'' + r R' + (r^2 \alpha^2 - \nu^2)R = 0,
onde aqui \nu=n e \alpha=k. As soluções regulares no centro r=0 são as funções de Bessel de primeira espécie J_n(kr); há também soluções singulares Y_n(kr) (segunda espécie).
Resumo da razão: a equação de Bessel aparece porque, ao separar variáveis em coordenadas polares/cilíndricas para problemas com simetria circular/cilíndrica, a parte radial satisfaz exatamente a equação de Bessel. As condições de regularidade em r=0 e condições de contorno (por ex. R(a)=0) determinam os modos e os autovalores (zeross de J_n).

Passo 6

Aula rápida e prática sobre a equação de Bessel e como reconhecer/usar no exame
O que significa cada coisa na equação
r^2 R'' + r R' + (k^2 r^2 - n^2)R = 0?
  • r é a coordenada radial.
  • n é o número de modo angular (inteiro, vem da periodicidade em \theta).
  • k é parâmetro (por exemplo constante de separação ligada à frequência ou ao comprimento de onda).
  • Soluções importantes: J_n(kr) (regular em r=0) e Y_n(kr) (singular em r=0). Para problemas físicos com origem incluída escolhemos J_n.
Propriedades úteis para prova:
  • Pequenas \!r expansão: J_n(r)\sim \dfrac{1}{n!}\left(\dfrac{r}{2}\right)^n para r\to0 (isso explica a regularidade).
  • Zeros de J_n determinam autovalores em problemas com contorno radial (ex.: membrana circular com borda fixa).
  • Ortogonalidade: funções J_n(\alpha_{n,m} r) com pesos em r têm propriedades de ortogonalidade úteis.
  • Recorrência: J_{n-1}(x) - J_{n+1}(x) = 2 J_n'(x) etc., que ajudam a manipular derivadas sem derivar tudo do zero.
Um exemplo concreto: no problema da vibração de uma membrana circular com raio a, a condição R(a)=0 J_n(k a)=0, logo k deve ser um zero de J_n; esses valores determinam as frequências normais.

Passo 7

Relação entre as duas equações e variações (perguntas que costumam aparecer em provas)
  • Legendre aparece tipicamente na parte angular em coordenadas esféricas (harmônicos esféricos). Bessel aparece tipicamente na parte radial em coordenadas polares/cilíndricas. Essa é a regra prática: esfera → Legendre/spherical harmonics; cilindro/círculo → Bessel.
  • Existe também a versão radial em coordenadas esféricas para a equação de Helmholtz que leva às chamadas funções de Bessel esféricas j_l(kr) e y_l(kr), relacionadas com as Bessel “normais” por transformações — ou seja, Bessel também aparece em problemas esféricos quando tratamos a parte radial do Helmholtz.
  • A razão profunda: ambas são equações de Sturm–Liouville (problemas de autovalores) com condições naturais de ortogonalidade. Legendre controla modos angulares em [-1,1] com peso 1; Bessel controla modos radiais em [0,a] com peso r.

Passo 8

Dicas rápidas de prova (como identificar na hora)
  • Se o enunciado fala em coordenadas esféricas, harmônicos esféricos, ângulo polar \theta ou expansão em \cos\theta, pense em Legendre.
  • Se aparece uma equação radial com termos r^2 R'' + r R' + (\text{const}\cdot r^2 - n^2)R=0 ou problema em um disco/cilindro, pense em Bessel.
  • Lembre-se: periodicidade angular implica índices inteiros ( m,n\in\mathbb{Z}), condições de regularidade em polos ou na origem fixam quais soluções (polinômios, J_n, etc.) são aceitáveis.
  • Decorar formas básicas P_0,P_1,P_2 e J_0 série inicial e o fato J_n(0)=0 para n>0 ajuda muito em checagens rápidas.

Resposta

A equação de Legendre surgiu quando, ao separar variáveis em coordenadas esféricas para a parte angular da equação (ex.: Laplace/Helmholtz), a equação para \Theta(\theta) transformou-se, via x=\cos\theta, na forma
(1-x^2)y''-2xy'+\lambda y=0,
e a exigência de soluções regulares em x=\pm1 leva aos autovalores \lambda=l(l+1) e às soluções polinomiais P_l(x) (polinômios de Legendre); por isso Legendre aparece naturalmente como o problema angular em geometria esférica.
A equação de Bessel surgiu quando, ao separar variáveis em coordenadas polares ou cilíndricas (ou na parte radial do Helmholtz), a equação radial ficou na forma
r^2 R'' + r R' + (k^2 r^2 - n^2)R = 0,
que é a equação de Bessel; suas soluções J_n(kr) (regulares em r=0) e Y_n(kr) (singulares) são as funções que descrevem os modos radiais em problemas com simetria circular/cilíndrica.

Exercícios relacionados