Funció de Bessel

Les funcions de Bessel són les solucions canòniques ${\displaystyle y(x)}$ de l'equació diferencial de Bessel:^[1]

${\displaystyle x^{2}{\frac {d^{2}y}{dx^{2}}}+x{\frac {dy}{dx}}+(x^{2}-\nu ^{2})y=0}$

La part radial dels modes de vibració d'un tambor circular segueixen la funció de Bessel.

que tenen com a punt singular regular ${\displaystyle x=0}$ i una singularitat essencial a ${\displaystyle x=\infty }$. El paràmetre ${\displaystyle \nu }$ é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 N_n i n_n, respectivament, més que no tant Y_n i y_n.^[2][3]

Funcions de Bessel de primer tipus: J_α

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:^[4]

${\displaystyle J_{\alpha }(x)=\sum _{m=0}^{\infty }{\frac {(-1)^{m}}{m!\,\Gamma (m+\alpha +1)}}{\left({\frac {x}{2}}\right)}^{2m+\alpha }}$

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 −J₁(x) és la derivada de J₀(x), tal com −sin(x) és la derivada de cos(x); més generalment, la derivada de J_n(x) es pot expressar en termes de J_n±1(x) per les identitats que es mostren més endavant.)

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):^[5]

${\displaystyle J_{-n}(x)=(-1)^{n}J_{n}(x).\,}$

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:^[6]

${\displaystyle J_{n}(x)={\frac {1}{\pi }}\int _{0}^{\pi }\cos(n\tau -x\sin(\tau ))\,d\tau .}$

Una altra representació integral és:^[6]

${\displaystyle J_{n}(x)={\frac {1}{2\pi }}\int _{-\pi }^{\pi }e^{i(n\tau -x\sin(\tau ))}\,d\tau .}$

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 ${\displaystyle \Re (x)>0}$:^[6]

${\displaystyle J_{\alpha }(x)={\frac {1}{\pi }}\int _{0}^{\pi }\cos(\alpha \tau -x\sin \tau )\,d\tau -{\frac {\sin(\alpha \pi )}{\pi }}\int _{0}^{\infty }e^{-x\sinh(t)-\alpha t}\,dt.}$ ^{[7][8][9][10]}

Relació amb les sèries hipergeomètriques

Les funcions de Bessel es poden expressa en termes de les sèries hipergeomètriques generalitzades com:^[11]

${\displaystyle J_{\alpha }(x)={\frac {({\frac {x}{2}})^{\alpha }}{\Gamma (\alpha +1)}}\;_{0}F_{1}(\alpha +1;-{\tfrac {x^{2}}{4}}).}$

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 L_k i el paràmetre elegit arbitràriament t, la funció de Bessel es pot expressar com:^[12]

${\displaystyle {\frac {J_{\alpha }(x)}{\left({\frac {x}{2}}\right)^{\alpha }}}={\frac {e^{-t}}{\Gamma (\alpha +1)}}\sum _{k=0}^{\infty }{\frac {L_{k}^{(\alpha )}\left({\frac {x^{2}}{4t}}\right)}{k+\alpha \choose k}}{\frac {t^{k}}{k!}}.}$

Funcions de Bessel de segon tipus: Y_α

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.^[13]

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:

${\displaystyle Y_{\alpha }(x)={\frac {J_{\alpha }(x)\cos(\alpha \pi )-J_{-\alpha }(x)}{\sin(\alpha \pi )}}.}$

En el cas d'ordre enter n, la funció es defineix prenent el límit quan α no enter tendeix a n,

${\displaystyle Y_{n}(x)=\lim _{\alpha \to n}Y_{\alpha }(x).}$

Hi ha també una fórmula integral corresponent (per Re(x) > 0),^[14]

${\displaystyle Y_{n}(x)={\frac {1}{\pi }}\int _{0}^{\pi }\sin(x\sin \theta -n\theta )\,d\theta -{\frac {1}{\pi }}\int _{0}^{\infty }\left[e^{nt}+(-1)^{n}e^{-nt}\right]e^{-x\sinh t}\,dt.}$

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:

${\displaystyle Y_{-n}(x)=(-1)^{n}Y_{n}(x).\,}$

Tant J _α(x) com Y _α(x) són funcions holomorfes de x en el pla complex tallat al llarg de l'eix real negatiu. Quan α és un enter, les funcions de Bessel J són funcions enteres d'x. Si x 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_α⁽¹⁾, H_α⁽²⁾

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, H(1)
α(x) i H(2)
α(x), definides com:^[15][16]

${\displaystyle {\begin{aligned}H_{\alpha }^{(1)}(x)&=J_{\alpha }(x)+iY_{\alpha }(x),\\H_{\alpha }^{(2)}(x)&=J_{\alpha }(x)-iY_{\alpha }(x),\end{aligned}}}$

on i é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 e^i f(x). 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:

${\displaystyle {\begin{aligned}H_{\alpha }^{(1)}(x)&={\frac {J_{-\alpha }(x)-e^{-\alpha \pi i}J_{\alpha }(x)}{i\sin \alpha \pi }},\\H_{\alpha }^{(2)}(x)&={\frac {J_{-\alpha }(x)-e^{\alpha \pi i}J_{\alpha }(x)}{-i\sin \alpha \pi }}.\end{aligned}}}$

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:^[17]

${\displaystyle {\begin{aligned}H_{-\alpha }^{(1)}(x)&=e^{\alpha \pi i}H_{\alpha }^{(1)}(x),\\H_{-\alpha }^{(2)}(x)&=e^{-\alpha \pi i}H_{\alpha }^{(2)}(x).\end{aligned}}}$

En particular, si α = m + 1/2 amb m enter no negatiu, les relacions superiors impliquen directament que:

${\displaystyle {\begin{aligned}J_{-(m+{\frac {1}{2}})}(x)&=(-1)^{m+1}Y_{m+{\frac {1}{2}}}(x),\\Y_{-(m+{\frac {1}{2}})}(x)&=(-1)^{m}J_{m+{\frac {1}{2}}}(x).\end{aligned}}}$

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 Re(x) > 0:^[18]

${\displaystyle {\begin{aligned}H_{\alpha }^{(1)}(x)&={\frac {1}{\pi i}}\int _{-\infty }^{+\infty +i\pi }e^{x\sinh t-\alpha t}\,dt,\\H_{\alpha }^{(2)}(x)&=-{\frac {1}{\pi i}}\int _{-\infty }^{+\infty -i\pi }e^{x\sinh t-\alpha t}\,dt,\end{aligned}}}$

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 ±iπ al llarg de l'eix imaginari, i de ±iπ a +∞ ± iπ al llarg d'un contorn paral·lel a l'eix real.^[14]

Funcions de Bessel modificades : I_α, K_α

Les funcions de Bessel són vàlides fins i tot amb arguments complexos x, 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:^[19]

${\displaystyle {\begin{aligned}I_{\alpha }(x)&=i^{-\alpha }J_{\alpha }(ix)=\sum _{m=0}^{\infty }{\frac {1}{m!\,\Gamma (m+\alpha +1)}}\left({\frac {x}{2}}\right)^{2m+\alpha },\\K_{\alpha }(x)&={\frac {\pi }{2}}{\frac {I_{-\alpha }(x)-I_{\alpha }(x)}{\sin \alpha \pi }},\end{aligned}}}$

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 x. L'expansió en sèrie per I_α(x) és doncs similar a la de J_α(x), però sense el factor alternant (−1)^m.

Si −π < arg x ≤ π/2, K_α(x) poden ser expressades com a funcions de Hankel de primer tipus:

${\displaystyle K_{\alpha }(x)={\frac {\pi }{2}}i^{\alpha +1}H_{\alpha }^{(1)}(ix),}$

i si −π/2 < arg x ≤ π, es pot expressar com una funció de Hankel de segon tipus:

${\displaystyle K_{\alpha }(x)={\frac {\pi }{2}}(-i)^{\alpha +1}H_{\alpha }^{(2)}(-ix).}$

Es poden expressar les funcions primera i segona de Bessel en termes de les funcions modificades de Bessel (són vàlides si −π < arg z ≤ π/2):^[20]

${\displaystyle {\begin{aligned}J_{\alpha }(iz)&=e^{\frac {\alpha i\pi }{2}}I_{\alpha }(z),\\Y_{\alpha }(iz)&=e^{\frac {(\alpha +1)i\pi }{2}}I_{\alpha }(z)-{\frac {2}{\pi }}e^{-{\frac {\alpha i\pi }{2}}}K_{\alpha }(z).\end{aligned}}}$

I_α(x) i K_α(x) són les dues solucions linealment independents de l'equació modificada de Bessel:^[21]

${\displaystyle x^{2}{\frac {d^{2}y}{dx^{2}}}+x{\frac {dy}{dx}}-\left(x^{2}+\alpha ^{2}\right)y=0.}$

A diferència del cas de les funcions ordinàries de Bessel, que oscil·len com a funció d'un argument real, I_α i K_α són funcions exponencialment creixents i decreixents respectivament. Com en la funció de Bessel ordinària J_α, la funció I_α val zero a x = 0 per α > 0 i és finita a x = 0 per α = 0. De forma anàloga, K_α divergeix a x = 0 amb una singularitat de tipus logarítmica.^[22]

Funcions de Bessel modificades del primer tipus, Iα(x), per α = 0, 1, 2, 3

Funcions de Bessel modificades de segon tipus, Kα(x), per α = 0, 1, 2, 3

Dues fórmules integrals per les funcions de Bessel modificades són (per Re(x) > 0):^[23]

${\displaystyle {\begin{aligned}I_{\alpha }(x)&={\frac {1}{\pi }}\int _{0}^{\pi }e^{x\cos \theta }\cos \alpha \theta \,d\theta -{\frac {\sin \alpha \pi }{\pi }}\int _{0}^{\infty }e^{-x\cosh t-\alpha t}\,dt,\\K_{\alpha }(x)&=\int _{0}^{\infty }e^{-x\cosh t}\cosh \alpha t\,dt.\end{aligned}}}$

En alguns càlculs de física, pot ser útil saber el valor de la següent relació:

${\displaystyle 2\,K_{0}(\omega )=\int _{-\infty }^{\infty }{\frac {e^{i\omega t}}{\sqrt {t^{2}+1}}}\,dt.}$

Es pot demostrar mostrant la igualtat amb la definició integral de més amunt per K₀. Això es fa integrant una corba tancada en el primer quadrant del pla complex.

Es poden representar les funcions de Bessel modificades K_1/3 i K_2/3 en termes de les integrals ràpidament convergents:^[24]

${\displaystyle {\begin{aligned}K_{1/3}(\xi )&={\sqrt {3}}\int _{0}^{\infty }\exp \left(-\xi \left(1+{\frac {4x^{2}}{3}}\right){\sqrt {1+{\frac {x^{2}}{3}}}}\right)\,dx,\\K_{2/3}(\xi )&={\frac {1}{\sqrt {3}}}\int _{0}^{\infty }{\frac {3+2x^{2}}{\sqrt {1+{\frac {x^{2}}{3}}}}}\exp \left(-\xi \left(1+{\frac {4x^{2}}{3}}\right){\sqrt {1+{\frac {x^{2}}{3}}}}\right)\,dx.\end{aligned}}}$

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^[25]
• Funció de Macdonald per Hector Munro Macdonald

Funcions de Bessel esfèriques: j_n, y_n

Funcions de Bessel esfèriques de primer tipus, j_n(x), per n = 0, 1, 2

Funcions de Bessel esfèriques de segon tipus, y_n(x), per n = 0, 1, 2

Quan se soluciona l'equació de Helmholtz en coordenades esfèriques amb separació de variables, l'equació radial té la forma:

${\displaystyle x^{2}{\frac {d^{2}y}{dx^{2}}}+2x{\frac {dy}{dx}}+\left(x^{2}-n(n+1)\right)y=0.}$

Les dues solucions linealment independents a aquest equació s'anomenen funcions de Bessel esfèriques j_n i y_n, i estan relacionades amb les funcions de Bessel ordinàries J_n i Y_n segons:^[26]

${\displaystyle {\begin{aligned}j_{n}(x)&={\sqrt {\frac {\pi }{2x}}}J_{n+{\frac {1}{2}}}(x),\\y_{n}(x)&={\sqrt {\frac {\pi }{2x}}}Y_{n+{\frac {1}{2}}}(x)=(-1)^{n+1}{\sqrt {\frac {\pi }{2x}}}J_{-n-{\frac {1}{2}}}(x).\end{aligned}}}$

y_n també es denota n_n o η_n; 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)^[27]

${\displaystyle {\begin{aligned}j_{n}(x)&=(-x)^{n}\left({\frac {1}{x}}{\frac {d}{dx}}\right)^{n}\,{\frac {\sin x}{x}},\\y_{n}(x)&=-(-x)^{n}\left({\frac {1}{x}}{\frac {d}{dx}}\right)^{n}\,{\frac {\cos x}{x}}.\end{aligned}}}$

La primera funció de Bessel esfèrica j₀(x) també es coneix com la funció sinc (no normalitzada). Les primeres funcions de Bessel esfèriques són:^[28]

${\displaystyle {\begin{aligned}j_{0}(x)&={\frac {\sin x}{x}}.\\j_{1}(x)&={\frac {\sin x}{x^{2}}}-{\frac {\cos x}{x}},\\j_{2}(x)&=\left({\frac {3}{x^{2}}}-1\right){\frac {\sin x}{x}}-{\frac {3\cos x}{x^{2}}},\\j_{3}(x)&=\left({\frac {15}{x^{3}}}-{\frac {6}{x}}\right){\frac {\sin x}{x}}-\left({\frac {15}{x^{2}}}-1\right){\frac {\cos x}{x}}\end{aligned}}}$

i:^[29]

${\displaystyle {\begin{aligned}y_{0}(x)&=-j_{-1}(x)&&=-{\frac {\cos x}{x}},\\y_{1}(x)&=j_{-2}(x)&&=-{\frac {\cos x}{x^{2}}}-{\frac {\sin x}{x}},\\y_{2}(x)&=-j_{-3}(x)&&=\left(-{\frac {3}{x^{2}}}+1\right){\frac {\cos x}{x}}-{\frac {3\sin x}{x^{2}}},\\y_{3}(x)&=j_{-4}(x)&&=\left(-{\frac {15}{x^{3}}}+{\frac {6}{x}}\right){\frac {\cos x}{x}}-\left({\frac {15}{x^{2}}}-1\right){\frac {\sin x}{x}}.\end{aligned}}}$

Funcions generadores

Les funcions esfèriques de Bessel tenen les funcions generadores:^[30]

${\displaystyle {\begin{aligned}{\frac {1}{z}}\cos \left({\sqrt {z^{2}-2zt}}\right)&=\sum _{n=0}^{\infty }{\frac {t^{n}}{n!}}j_{n-1}(z),\\{\frac {1}{z}}\sin \left({\sqrt {z^{2}+2zt}}\right)&=\sum _{n=0}^{\infty }{\frac {(-t)^{n}}{n!}}y_{n-1}(z).\end{aligned}}}$

Relacions diferencials

En la següent expressió, f_n és qualsevol de j_n, y_n, h(1)
n, h(2)
n per n = 0, ±1, ±2, ...^[31]

${\displaystyle {\begin{aligned}\left({\frac {1}{z}}{\frac {d}{dz}}\right)^{m}{\big (}z^{n+1}f_{n}(z){\big )}&=z^{n-m+1}f_{n-m}(z),\\\left({\frac {1}{z}}{\frac {d}{dz}}\right)^{m}{\big (}z^{-n}f_{n}(z){\big )}&=(-1)^{m}z^{-n-m}f_{n+m}(z).\end{aligned}}}$

Funcions de Hankel esfèriques:h_n⁽¹⁾, h_n⁽²⁾

Les funcions esfèriques de Hankel es defineixen de forma anàloga a les no esfèriques:

${\displaystyle h_{n}^{(1)}(x)=j_{n}(x)+iy_{n}(x)}$

${\displaystyle h_{n}^{(2)}(x)=j_{n}(x)-iy_{n}(x).}$

De fet, això implica que existeixen expressions tancades de les funcions de Bessel d'ordre semienter en terme de funcions trigonomètriques i, per tant, també de les funcions esfèriques de Bessel. D'això es dedueix que, per n enter no negatiu es té:

${\displaystyle h_{n}^{(1)}(x)=(-i)^{n+1}{\frac {e^{ix}}{x}}\sum _{m=0}^{n}{\frac {i^{m}}{m!(2x)^{m}}}{\frac {(n+m)!}{(n-m)!}}}$

i ${\displaystyle h_{n}^{(2)}}$ és la funció complexa conjugada d'aquesta (per a ${\displaystyle x}$ real). D'aquesta fórmula es poden deduir les formes tancades de les funcions esfèriques de Bessel ordinàries, per exemple, ${\displaystyle j_{0}(x)=\sin(x)/x}$ i ${\displaystyle y_{0}(x)=-\cos(x)/x}$, i en general per a qualsevol argument n.

Funcions de Riccati-Bessel: S_n, C_n, ξ_n, ζ_n

Les funcions de Riccati-Bessel són una petita modificació de les funció de Bessel esfèriques:

${\displaystyle S_{n}(x)=xj_{n}(x)={\sqrt {\pi x/2}}J_{n+1/2}(x)}$

${\displaystyle C_{n}(x)=-xy_{n}(x)=-{\sqrt {\pi x/2}}Y_{n+1/2}(x)}$

${\displaystyle \xi _{n}(x)=xh_{n}^{(1)}(x)={\sqrt {\pi x/2}}\,H_{n+1/2}^{(1)}(x)=S_{n}(x)-iC_{n}(x)}$

${\displaystyle \zeta _{n}(x)=xh_{n}^{(2)}(x)={\sqrt {\pi x/2}}H_{n+1/2}^{(2)}(x)=S_{n}(x)+iC_{n}(x)}$

Aquestes funcions satisfan la següent equació diferencial:

${\displaystyle x^{2}{\frac {d^{2}y}{dx^{2}}}+[x^{2}-n(n+1)]y=0}$

Aquesta equació difeencial i les seves solucions, les equacions de Riccati-Bessel, s'usen per resoldre el problema de la dispersió d'ones electromagnètiques per una esfera, un problema conegut com a difusió de Mie, per la publicació per primer cop d'aquests resultat per Mie, l'any 1908. Vegeu, per exemple, Du (2004).^[32]

Segons Debye (1909) s'utilitza de vegades la notació ${\displaystyle \psi _{n},\chi _{n}}$ en lloc de ${\displaystyle S_{n},C_{n}}$.

Funció de Bessel per a ν enter

El cas especial més habitual i important és aquell en què ν és un nombre enter; llavors ν es coneix com l'ordre de la funció de Bessel. Les funcions de Bessel de primer ordre són les solucions de l'equació diferencial de Bessel que són finites a l'origen per a enters ν no negatius i divergeixen quan x s'aproxima a zero per a ν negatius no enters. La solució general és:

${\displaystyle y(x)=c_{1}J_{\nu }(x)+c_{2}J_{-\nu }(x)\,}$

on J es defineix mitjançant la seva sèrie de Taylor al voltant de zero:

${\displaystyle J_{\nu }(x)=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{n!\,\,\Gamma (\nu +n+1)}}\left({\frac {x}{2}}\right)^{\nu +2n}}$

i ${\displaystyle \Gamma }$ és la funció gamma.

Referències

1. E. Boyce, William; C. DiPrima, Richard. Elementary Differential Equation and Boundary Value Problem (en anglès). 10a. JohnWiley & Sons, Inc, 2012, p. 296. ISBN 978-0-470-45831-0.
2. Weisstein, Eric W., «Spherical Bessel Function of the Second Kind» a MathWorld (en anglès).
3. Weisstein, Eric W., «Bessel Function of the Second Kind» a MathWorld (en anglès).
4. Abramowitz, Stegun, p. 360 (9.1.10). Arxivat a la Wayback Machine.
5. Abramowitz, Stegun, p. 358 (9.1.5). Arxivat a la Wayback Machine.
6. Temme, Nico M. Special functions : an introduction to the classical functions of mathematical physics. 2. print. Nova York: Wiley, 1996, p. 228–231. ISBN 0471113131.
7. Watson, p. 176.
8. Gerlach, Ulrich. «Properties of Hankel and Bessel Functions» (en anglès), 2007. Arxivat de l'original el 23 de setembre 2010. [Consulta: 31 gener 2023].
9. Lund, Mette. «Integral representations of the Bessel function» (en anglès), 2000. Arxivat de l'original el 3 d’octubre 2022. [Consulta: 31 gener 2023].
10. Arfken & Weber, exercise 11.1.17.
11. Abramowitz, Stegun, p. 362 (9.1.69). Arxivat a la Wayback Machine.
12. Szegö, G. Orthogonal Polynomials, 4th ed. Providence, RI: Amer. Math. Soc., 1975.
13. «Bessel Functions of the First and Second Kind» (PDF) (en anglès). [Consulta: 16 juliol 2024].
14. Watson, p. 178.
15. Abramowitz, Stegun, p. 358 (9.1.3, 9.1.4). Arxivat a la Wayback Machine.
16. Greenberg, Michael D. Advanced Engineering Mathematics (en anglès). 2a. Upper Saddle River, Nova Jersey: Prentice Hall, 1998, p. 236. ISBN 0-13-321431-1.
17. Abramowitz, Stegun, p. 358 (9.1.6). Arxivat a la Wayback Machine.
18. Abramowitz, Stegun, p. 360 (9.1.25). Arxivat a la Wayback Machine.
19. Abramowitz, Stegun, p. 375 (9.6.2, 9.6.10, 9.6.11). Arxivat a la Wayback Machine.
20. Abramowitz, Stegun, p. 375 (9.6.3, 9.6.5). Arxivat a la Wayback Machine.
21. Abramowitz, Stegun, p. 374 (9.6.1). Arxivat a la Wayback Machine.
22. Greiner, Walter; Reinhardt, Joachim. Quantum Electrodynamics. Springer, 2009, p. 72. ISBN 978-3-540-87561-1.
23. Watson, p. 181.
24. Khokonov, M. Kh. «Cascade Processes of Energy Loss by Emission of Hard Photons». Journal of Experimental and Theoretical Physics, 99, 4, 2004, pàg. 690–707. DOI: 10.1134/1.1826160.. 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).
25. Teichroew, D. «The Mixture of Normal Distributions with Different Variances». The Annals of Mathematical Statistics, 28, 2, 1957, pàg. 510–512. DOI: 10.1214/aoms/1177706981.
26. Abramowitz, Stegun, p. 437 (10.1.1). Arxivat a la Wayback Machine.
27. Abramowitz, Stegun, p. 439 (10.1.25, 10.1.26). Arxivat a la Wayback Machine.
28. Abramowitz, Stegun, p. 438 (10.1.11). Arxivat a la Wayback Machine.
29. Abramowitz, Stegun, p. 438 (10.1.12). Arxivat a la Wayback Machine.
30. Abramowitz, Stegun, p. 439 (10.1.39). Arxivat a la Wayback Machine.
31. Abramowitz, Stegun, p. 439 (10.1.23, 10.1.24). Arxivat a la Wayback Machine.
32. Hong Du «Mie-scattering calculation». Applied Optics, 43, 9, 2004, pàg. 1951–6.

Bibliografia

• Abramowitz, Milton; Stegun, Irene A. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. New York: Dover, 1965. ISBN 978-0-486-61272-0.
• Watson, George N. A Treatise on the Theory of Bessel Functions, Second Edition. Cambridge University Press, 1995. ISBN 0-521-48391-3.