Calculadora de Bessel

A função de Bessel de primeira espécie aparece em problemas de ondas, membranas circulares, bandas laterais de modulação em frequência e fluxo de calor num cilindro. Estudantes, engenheiros e autores de prova precisam de J_n(x) para uma ordem inteira e um argumento real sem instalar uma biblioteca completa de funções especiais. Esta capacidade avalia esse valor com a série de potências clássica, usando uma recorrência termo a termo para que fatoriais isolados nunca transbordem. Você envia uma ordem inteira não negativa e um x real finito; recebe o valor da função junto com a fórmula da série e uma expressão compacta como J_0(1).

O que é J_n(x) e como a série de potências é somada

A função de Bessel de primeira espécie de ordem inteira n, escrita J_n(x), é uma solução canônica da equação diferencial de Bessel: x ao quadrado vezes y segunda mais x vezes y linha mais (x ao quadrado menos n ao quadrado) vezes y igual a zero.

Para cada inteiro n não negativo ela é uma função inteira do argumento real x: par em x quando n é par, ímpar em x quando n é ímpar, e oscila em |x| grande com uma amplitude que decai devagar como a raiz de dois sobre pi vezes x.

A série de potências de livro usada aqui afirma que J_n(x) é a soma infinita sobre k de menos um elevado a k, dividido por k fatorial vezes (k mais n) fatorial, vezes (x sobre dois) elevado a dois k mais n. O primeiro termo é (x sobre dois) elevado a n sobre n fatorial, e cada termo seguinte é o anterior multiplicado por menos (x sobre dois) ao quadrado sobre (k mais um) vezes (k mais n mais um).

Construir os termos por essa razão nunca materializa um fatorial isolado, então o transbordamento intermediário é evitado dentro dos limites publicados de ordem e de |x|. Em x igual a zero a série colapsa para um quando n é zero e para zero quando n é um inteiro positivo, coincidindo com as identidades J_0(0) igual a um e J_n(0) igual a zero para n maior que zero.

Ordens negativas ficam fora deste avaliador de primeira espécie com ordem inteira: a tarefa falha a validação em vez de aplicar a identidade de reflexão J de menos n igual a menos um elevado a n vezes J_n, de modo que o contrato público permanece uma única ordem não negativa. A mesma recorrência é a que um estudante escreve à mão para os primeiros termos de J_0(x) ou J_1(x), o que torna fácil conferir o resultado numérico com uma expansão de livro.

Onde as funções de Bessel aparecem

Guias de onda, modos próprios de um tambor circular, bandas laterais de modulação em frequência e integrais de difração de Kirchhoff avaliam J_n num argumento real. Salas de aula usam uma calculadora da função de Bessel para o aluno conferir J_0(1), J_1(2) ou J_2(5) sem abrir uma sessão de álgebra computacional. Geradores de prova precisam de um oráculo determinístico que recuse uma ordem negativa em vez de aplicar em silêncio uma fórmula de reflexão que o programa ainda não apresentou.

Cadernos de processamento de sinal que expandem uma modulação de fase periódica em bandas laterais de Bessel podem chamar esta rota parse em vez de empacotar uma biblioteca de funções especiais em cada worker de borda. Laboratórios de fluxo de calor e de membranas que comparam círculos nodais medidos com zeros de J_0 ainda precisam do valor da função num x próximo para esboçar o perfil, e este extremo cobre essa avaliação.

Mantenha order e |x| dentro dos limites publicados para a série de potências permanecer bem condicionada em dupla precisão; para argumentos enormes prefira um desenvolvimento assintótico de uma biblioteca dedicada. Fixe o campo value arredondado nos testes para um ajuste posterior do teto do laço não mudar em silêncio o contrato público. Páginas irmãs cobrem outras funções elementares; esta é específica para quem pesquisa uma calculadora da função de Bessel de primeira espécie.