miniatura|La part radial dels modes de vibració d'un tambor circular segueixen la funció de Bessel.
Les funcions de Bessel són les solucions canòniques de l'equació diferencial de Bessel:
que tenen com a punt singular regular i una singularitat essencial a . El paràmetre és un nombre donat que es pot considerar positiu sense cap pèrdua de generalitat.
Aplicacions de la funció de Bessel L'equació de Bessel sorgeix quan es busquen solucions separables a l'equació de Laplace i l'equació de Helmholtz en coordenades cilíndriques o esfèriques. Les funcions de Bessel són, per tant, especialment importants per molts problemes de propagació d'ones i potencials estàtics. En la resolució de problemes en sistemes de coordenades cilíndriques, s'obtenen funcions de Bessel d'ordre enter ( = n); en problemes esfèrics, se n'obtenen d'ordre semi-enter ( = n+1/2). Per exemple: Ones electromagnètiques en una guia d'ones cilíndriques Amplituds de pressió dels fluxos rotatacionals no viscosos La conducció tèrmica en un objecte cilíndric Modes de vibració d'una membrana acústica prima i circular (o annular) (com un tambor o un altre membranòfon) Problemes de difusió en enreixats Solucions de l'equació de Schrödinger radial (en coordenades esfèriques i cilíndriques) per una partícula lliure Solució de patrons de radiació acústica Fricció depenent de la freqüència en canoncades circulars Dinàmica de cossos flotants Resolució angular
Les funcions de Bessel també apareixen en altres problemes, com en el processament de senyal (per exemple, vegeu finestra de Kaiser o filtre de Bessel).
Definicions Com que es tracta d'una equació diferencial de segon ordre, hi ha d'haver dues solucions linealment independents. Depenent de les circumstàncies, tanmateix, són convenients formulacions diverses d'aquestes solucions. En la següent taula, es resumeixen les diferents variacions, i es descriuen en les seccions següents.
Tipus Primer tipus Segon tipus Funcions de Bessel Jα Yα Funcions de Bessel modificades Iα Kα Funcions de Hankel Hα(1) = Jα + iYα Hα(2) = Jα - iYα Funcions de Bessel esfèriques jn yn Funcions de Hankel esfèriques hn(1) = jn + iyn hn(2) = jn - iyn
Les funcions de Bessel de segon tipus i les funcions de Bessel esfèriques de segon tipus sovint s'anoten com a Nn i nn, respectivament, més que no tant Yn i yn.
Funcions de Bessel de primer tipus: Les funcions de Bessel de primer tipus, denotades com a Jα(x), són solucions de l'equació diferencial de Bessel que són finites a l'origen (x = 0) per valors d'α enters o positius, i divergeixen a mesura que x tendeix a 0 per valors d' α no enters. Es pot definir la funció a través de la seva expansió en sèrie al voltant de x = 0, que es pot trobar aplicant el mètode de Frobenius a l'equació de Bessel:
on Γ(z) és la funció gamma, una generalització canviada de la funció factorial per valors no enters. La funció de Bessel de primer tipus és una funció entera si és un enter, altrament és una funció multivaluada amb singularitat en el zero. La representació gràfica de les funcions de Bessel s'assemblen força funcions sinusoidals o cosinusoidals que decauen proporcionalment a 1/√x (vegin-se també les seves formes asimptòtiques més endavant), tot i que les seves arrels no són generalment periòdiques, excepte asimptòticament amb valors grans de x. (Les sèries mostren que −J1(x) és la derivada de J0(x), tal com −sin(x) és la derivada de cos(x); més generalment, la derivada de Jn(x) es pot expressar en termes de Jn±1(x) per les identitats que es mostren més endavant.)
miniatura|Representació gràfica de la funció de Bessel de primer tipus, J (x), per ordres d'enters = 0, 1, 2
Per valors de no enters, les funcions J (x) i J−(x) són linealment dependents, i són per tant les dues solucions de l'equació diferencial. D'altra banda, per d'ordre enter, la següent relació és vàlida (noti's que la funció gamma té pols simples per cadascun dels enters no positius):
Això significa que les dues solucions ja no són linealment independents. En aquest cas, la segona de les solucions linealment independent a la primera es troba com la funció de Bessel de segon tipus, com es comentarà més endavant.
Integrals de Bessel Una altra definició de la funció de Bessel, per valors enters de n, és possible mitjançant l'ús de la representació integral:
Una altra representació integral és:
Aquesta és l'aproximació que va fer Bessel, i a partir d'aquesta definció va derivar diverses propietats de la funció. La definició es pot estendre a ordres no enteres per una de les integrals de Schläfli, per :
Arfken & Weber, exercise 11.1.17.
Relació amb les sèries hipergeomètriques Les funcions de Bessel es poden expressa en termes de les sèries hipergeomètriques generalitzades com:
Aquesta expressió està relacionada al desenvolupament de les funcions de Bessel en termes de la funció de Bessel-Clifford.
Relació amb els polinomis de Laguerre En termes dels polinomis de Laguerre Lk i el paràmetre elegit arbitràriament t, la funció de Bessel es pot expressar com:Szegö, G. Orthogonal Polynomials, 4th ed. Providence, RI: Amer. Math. Soc., 1975.
Funcions de Bessel de segon tipus: Les funcions de Bessel de segon tipus, anotades com a Yα(x), i ocasionalment anotades com a Nα(x), són solucions de l'equació diferencial de Bessel que té una singularitat a l'origen (x = 0) i són multivaluades. De vegades se les anomena funcions de Weber, ja que van ser introduïdes per H. M. Weber (1873), o també funcions de Neumann en honor de Carl Neumann.
miniatura|Representació gràfica de la funció de Bessel de segon tipus, Yα(x), per ordres enters = 0, 1, 2.
Per valors d' no enters, Y(x) està relacionada amb J(x) com:
En el cas d'ordre enter , la funció es defineix prenent el límit quan no enter tendeix a ,
Hi ha també una fórmula integral corresponent (per Re() > 0),
Yα(x) és necessàriament una segona solució linealment indepdendent de l'equació de Bessel quan α és un enter. Però Yα(x) pot adoptar altres significats més enllà d'aquest. Es pot considerar un company 'natural' de Jα(x). Vegeu també el subapartat de les funcions de Hankel més endavant.
Quan és un enter, a més, com ho era similarment en el cas de funcions del primer tipus, la següent relació és vàlida:
Tant J (x) com Y (x) són funcions holomorfes de en el pla complex tallat al llarg de l'eix real negatiu. Quan és un enter, les funcions de Bessel són funcions enteres d'. Si es manté constant en un valor no zero, llavors les funcions de Bessel són funcions enteres d' .
Les funcions de Bessel del segon tipus quan és un enter és un exemple del segon tipus de solució en el teorema de Fuchs.
Funcions de Hankel:Hα(1), Hα(2) Una altra formulació important de les dues solucions linealment independents a l'equació de Bessel són les funció Hankel de primer i segon tipus, i , definides com:
on és la unitat imaginària. Aquestes combinacions lineals també són conegudes com a funcions de Bessel de tercer tipus; són dues solucions linealment independents de l'equació diferencial de Bessel. Duen el nom de Hermann Hankel.
La importància de les funcions de Hankel de primer i segon tipus rau més en llur desenvolupament teòric més que no en la seva aplicació. Aquestes formes de combinació lineal satisfan diverses propietats d'aspecte simple, com les fórmules asimptòtiques o les representacions integrals. Aquí, "simple" significa una aparença del factor de forma . Es pot entendre, doncs, que la funció de Bessel de segon tipus apareix de manera natural com la part imaginària de les funcions de Hankel.
Les funcions de Hankel de primer i segon tipus són usades per representar les solucions d'ones entrants i sortints d'una equació d'ones en simetries cilíndriques respectivament (o viceversa depenent de la convecció de signe de la freqüència).
Usant les relacions prèvies, es poden expressar com:
Si és un enter, s'ha de calcular el límit the limit. Les següents relacions són vàlides, tant si és enter com si no ho és:
En particular, si amb enter no negatiu, les relacions superiors impliquen directament que:
Això és útil en el desenvolupament de les funcions esfèriques de Bessel (veure més a baix).
Les funcions de Hankel admeten les següents representacions integrals per :
on els límits de les integrals indiquen que la integració és al llarg d'un contorn que es pot triar segons: de a 0 al llarg de l'eix real negatiu, de 0 a al llarg de l'eix imaginari, i de a al llarg d'un contorn paral·lel a l'eix real.
Funcions de Bessel modificades : , Les funcions de Bessel són vàlides fins i tot amb arguments complexos , i un cas especialment particular és quan l'argument és imaginari pur, és a dir, quan la part real de l'argument és zero. En aquest cas, les solucions de l'equació de Bessel reben el nom funcions de Bessel modificades (o també funcions hiperbòliques de Bessel) de primer i segon tipus i estan definides com:
quan no és un enter; quan és un enter, llavors s'utilitza el límit. Es tria que tinguin valors reals per arguments reals i positius . L'expansió en sèrie per és doncs similar a la de , però sense el factor alternant .
Si , poden ser expressades com a funcions de Hankel de primer tipus:
i si , es pot expressar com una funció de Hankel de segon tipus:
Es poden expressar les funcions primera i segona de Bessel en termes de les funcions modificades de Bessel (són vàlides si ):
i són les dues solucions linealment independents de lequació modificada de Bessel:
A diferència del cas de les funcions ordinàries de Bessel, que oscil·len com a funció d'un argument real, i són funcions exponencialment creixents i decreixents respectivament. Com en la funció de Bessel ordinària , la funció val zero a per i és finita a per . De forma anàloga, divergeix a amb una singularitat de tipus logarítmica.
| none|miniatura|Funcions de Bessel modificades del primer tipus, , per | none|miniatura|Funcions de Bessel modificades de segon tipus, , per
Dues fórmules integrals per les funcions de Bessel modificades són (per ):
En alguns càlculs de física, pot ser útil saber el valor de la següent relació:
Es pot demostrar mostrant la igualtat amb la definició integral de més amunt per . Això es fa integrant una corba tancada en el primer quadrant del pla complex.
Es poden representar les funcions de Bessel modificades i en termes de les integrals ràpidament convergents:. Derived from formulas sourced to I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products (Fizmatgiz, Moscow, 1963; Academic Press, New York, 1980).
Les funcions de Bessel modificades de segon tipus han rebut també els següents noms (actualment en desús): Funció de Basset per Alfred Barnard Basset Funció de Bessel modificada de tercer tipus Funció de Hankel modificada Funció de Macdonald per Hector Munro Macdonald
Funcions de Bessel esfèriques: , miniatura|Funcions de Bessel esfèriques de primer tipus, , per miniatura|Funcions de Bessel esfèriques de segon tipus, , per
Quan se soluciona l'equació de Helmholtz en coordenades esfèriques amb separació de variables, l'equació radial té la forma:
Les dues solucions linealment independents a aquest equació s'anomenen funcions de Bessel esfèriques i , i estan relacionades amb les funcions de Bessel ordinàries i segons:
també es denota o ; alguns autors anomenen aquestes funcions the funcions de Neumann esfèriques.
Les funcions de Bessel esfèriques també es poden escriure com a (fórmules de Rayleigh)
La primera funció de Bessel esfèrica també es coneix com la funció sinc (no normalitzada). Les primeres funcions de Bessel esfèriques són:
i:
Funcions generadores Les funcions esfèriques de Bessel tenen les funcions generadores:
Relacions diferencials En la següent expressió, és qualsevol de , , , per
Funcions de Hankel esfèriques:hn(1), hn(2) Les funcions esfèriques de Hankel es defineixen de forma anàloga a les no esfèriques: