- 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
ou a de Helmholtz
) 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
. A expressão do laplaciano em coordenadas esféricas é
Suponha que procuramos soluções por separação, isto é, assumimos
Substituindo na equação de Laplace
e dividindo por
e multiplicando por
obtém-se uma soma de termos que dependem isoladamente de
, de
e de
. Podemos então separar constantes de separação. Primeiro separamos a dependência azimutal: tomando
obtemos a equação
onde
é inteiro por condição de periodicidade em
. A parte angular restante em
fica
onde
é outra constante de separação (vinda da separação do termo radial). Esta é a equação dos harmônicos esféricos angulares. No caso
essa equação se reduz a
Fazendo a mudança de variável
(então
), e escrevendo
, a equação acima transforma-se na forma padrão da equação de Legendre:
ou, expandindo,
Demandando soluções regulares (não-singulares) em
e ortogonais em
, obtemos que
deve ser da forma
com
. Então as soluções regulares são os polinômios de Legendre
.
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
que, com a mudança
, é exatamente a equação de Legendre. A necessidade física/matemática de soluções regulares nos polos força os autovalores
e gera os polinômios de Legendre e, quando
, as funções associadas
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
-
é tipicamente (o cosseno do ângulo polar). -
é a parte angular da solução. -
é a constante de separação — as condições de regularidade transformam em .
Propriedades úteis para prova:
- Para
com existem soluções polinomiais (os polinômios de Legendre). - Ortogonalidade:
- Alguns polinômios iniciais:
, , . Esses são fáceis de decorar e úteis para checar cálculos rápidos. - Quando
aparece a equação associada (equação de Legendre associada) e suas soluções entram nos harmônicos esféricos .
Um exemplo concreto (para treinar): se ao separar vem a equação com
, então
implica
. A função angular é
.
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
no plano ou coordenadas cilíndricas
. O laplaciano em coordenadas polares é
Se a equação PDE for a de Helmholtz
e tentarmos separação
, substituindo e dividindo por
obtemos:
onde
é a constante de separação (novamente
inteiro por periodicidade em
). A equação angular é
e a equação radial resultante é
Essa equação é a equação de Bessel de ordem
. A forma padrão da equação de Bessel é
onde aqui
e
. As soluções regulares no centro
são as funções de Bessel de primeira espécie
; há também soluções singulares
(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
e condições de contorno (por ex.
) determinam os modos e os autovalores (zeross de
).
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
-
é a coordenada radial. -
é o número de modo angular (inteiro, vem da periodicidade em ). -
é parâmetro (por exemplo constante de separação ligada à frequência ou ao comprimento de onda). - Soluções importantes:
(regular em ) e (singular em ). Para problemas físicos com origem incluída escolhemos .
Propriedades úteis para prova:
- Pequenas
expansão: para (isso explica a regularidade). - Zeros de
determinam autovalores em problemas com contorno radial (ex.: membrana circular com borda fixa). - Ortogonalidade: funções
com pesos em têm propriedades de ortogonalidade úteis. - Recorrência:
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 condição
dá
, logo
deve ser um zero de
; 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
e , 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
com peso 1; Bessel controla modos radiais em com peso .
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
ou expansão em , pense em Legendre. - Se aparece uma equação radial com termos
ou problema em um disco/cilindro, pense em Bessel. - Lembre-se: periodicidade angular implica índices inteiros (
), condições de regularidade em polos ou na origem fixam quais soluções (polinômios, , etc.) são aceitáveis. - Decorar formas básicas
e série inicial e o fato para 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
transformou-se, via
, na forma
e a exigência de soluções regulares em
leva aos autovalores
e às soluções polinomiais
(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
que é a equação de Bessel; suas soluções
(regulares em
) e
(singulares) são as funções que descrevem os modos radiais em problemas com simetria circular/cilíndrica.