Funció de Bessel

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 $y(x)$ de l'equació diferencial de Bessel:

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

que tenen com a punt singular regular $x=0$ i una singularitat essencial a $x=\mathrm{\infty }$. El paràmetre $\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 (Plantilla:Mvar = n); en problemes esfèrics, se n'obtenen d'ordre semi-enter (Plantilla:Mvar = 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.

Funcions de Bessel de primer tipus: Plantilla:Mvar_{Plantilla:Mvar}

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:Plantilla:Sfn

$J_{\alpha }(x)=\sum _{m=0}^{\mathrm{\infty }}\frac{(-1{)}^m}{m!\mathrm{\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 Plantilla:Mvar é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 _{Plantilla:Mvar}(x), per ordres d'enters Plantilla:Mvar = 0, 1, 2

Per valors de Plantilla:Mvar no enters, les funcions J _{Plantilla:Mvar}(x) i J_{−Plantilla:Mvar}(x) són linealment dependents, i són per tant les dues solucions de l'equació diferencial. D'altra banda, per Plantilla:Mvar 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):Plantilla:Sfn

$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:

$J_n(x)=\frac{1}{\pi }\underset{0}{\overset{\pi }{\int }}\cos (n\tau -x\sin (\tau ))d\tau .$

Una altra representació integral és:

$J_n(x)=\frac{1}{2\pi }\underset{-\pi }{\overset{\pi }{\int }}{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 $\mathrm{\Re }(x)>0$:

$J_{\alpha }(x)=\frac{1}{\pi }\underset{0}{\overset{\pi }{\int }}\cos (\alpha \tau -x\sin \tau )d\tau -\frac{\sin (\alpha \pi )}{\pi }\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x\sinh (t)-\alpha t}dt.$ Plantilla:Sfn

Relació amb les sèries hipergeomètriques

Les funcions de Bessel es poden expressa en termes de les sèries hipergeomètriques generalitzades com:Plantilla:Sfn

$J_{\alpha }(x)=\frac{(\frac{x}{2}{)}^{\alpha }}{\mathrm{\Gamma }(\alpha +1)}{}_0{F}_1(\alpha +1;-\frac{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:

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

Funcions de Bessel de segon tipus: Plantilla:Mvar_{Plantilla:Mvar}

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.

Representació gràfica de la funció de Bessel de segon tipus, Y_α(x), per ordres enters Plantilla:Mvar = 0, 1, 2.

Per valors d'Plantilla:Mvar no enters, Y_{Plantilla:Mvar}(x) està relacionada amb J_{Plantilla:Mvar}(x) com:

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

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

$Y_n(x)=\underset{\alpha \to n}{\lim }{Y}_{\alpha }(x).$

Hi ha també una fórmula integral corresponent (per Re(Plantilla:Mvar) > 0),Plantilla:Sfn

$Y_n(x)=\frac{1}{\pi }\underset{0}{\overset{\pi }{\int }}\sin (x\sin \theta -n\theta )d\theta -\frac{1}{\pi }\underset{0}{\overset{\mathrm{\infty }}{\int }}[e^{nt}+(-1{)}^n{e}^{-nt}]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 Plantilla:Mvar é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:

$Y_{-n}(x)=(-1{)}^n{Y}_n(x).$

Tant J _{Plantilla:Mvar}(x) com Y _{Plantilla:Mvar}(x) són funcions holomorfes de Plantilla:Mvar en el pla complex tallat al llarg de l'eix real negatiu. Quan Plantilla:Mvar és un enter, les funcions de Bessel Plantilla:Mvar són funcions enteres d'Plantilla:Mvar. Si Plantilla:Mvar es manté constant en un valor no zero, llavors les funcions de Bessel són funcions enteres d' Plantilla:Mvar.

Les funcions de Bessel del segon tipus quan Plantilla:Mvar é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, Plantilla:Math i Plantilla:Math, definides com:Plantilla:Sfn

$\begin{array}{cc}{H}_{\alpha }^{(1)}(x)& =J_{\alpha }(x)+i{Y}_{\alpha }(x),\\ H_{\alpha }^{(2)}(x)& =J_{\alpha }(x)-i{Y}_{\alpha }(x),\end{array}$

on Plantilla:Mvar é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 Plantilla:Math. 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:

$\begin{array}{cc}{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{array}$

Si Plantilla:Mvar és un enter, s'ha de calcular el límit the limit. Les següents relacions són vàlides, tant si Plantilla:Mvar és enter com si no ho és:Plantilla:Sfn

$\begin{array}{cc}{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{array}$

En particular, si Plantilla:Math amb Plantilla:Mvar enter no negatiu, les relacions superiors impliquen directament que:

$\begin{array}{cc}{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{array}$

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 Plantilla:Math:Plantilla:Sfn

$\begin{array}{cc}{H}_{\alpha }^{(1)}(x)& =\frac{1}{\pi i}\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }+i\pi }{\int }}{e}^{x\sinh t-\alpha t}dt,\\ H_{\alpha }^{(2)}(x)& =-\frac{1}{\pi i}\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }-i\pi }{\int }}{e}^{x\sinh t-\alpha t}dt,\end{array}$

on els límits de les integrals indiquen que la integració és al llarg d'un contorn que es pot triar segons: de Plantilla:Math a 0 al llarg de l'eix real negatiu, de 0 a Plantilla:Math al llarg de l'eix imaginari, i de Plantilla:Math a Plantilla:Math al llarg d'un contorn paral·lel a l'eix real.Plantilla:Sfn

Funcions de Bessel modificades : Plantilla:Mvar_{Plantilla:Mvar}, Plantilla:Mvar_{Plantilla:Mvar}

Les funcions de Bessel són vàlides fins i tot amb arguments complexos Plantilla:Mvar, 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:Plantilla:Sfn

$\begin{array}{cc}{I}_{\alpha }(x)& =i^{-\alpha }{J}_{\alpha }(ix)=\sum _{m=0}^{\mathrm{\infty }}\frac{1}{m!\mathrm{\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{array}$

quan Plantilla:Mvar no és un enter; quan Plantilla:Mvar és un enter, llavors s'utilitza el límit. Es tria que tinguin valors reals per arguments reals i positius Plantilla:Mvar. L'expansió en sèrie per Plantilla:Math és doncs similar a la de Plantilla:Math, però sense el factor alternant Plantilla:Math.

Si Plantilla:Math, Plantilla:Math poden ser expressades com a funcions de Hankel de primer tipus:

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

i si Plantilla:Math, es pot expressar com una funció de Hankel de segon tipus:

$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 Plantilla:Math):Plantilla:Sfn

$\begin{array}{cc}{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{array}$

Plantilla:Math i Plantilla:Math són les dues solucions linealment independents de lPlantilla:'equació modificada de Bessel:Plantilla:Sfn

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

A diferència del cas de les funcions ordinàries de Bessel, que oscil·len com a funció d'un argument real, Plantilla:Mvar i Plantilla:Mvar són funcions exponencialment creixents i decreixents respectivament. Com en la funció de Bessel ordinària Plantilla:Mvar, la funció Plantilla:Mvar val zero a Plantilla:Math per Plantilla:Math i és finita a Plantilla:Math per Plantilla:Math. De forma anàloga, Plantilla:Mvar divergeix a Plantilla:Math amb una singularitat de tipus logarítmica.

Funcions de Bessel modificades del primer tipus, Plantilla:Math, per Plantilla:Math

Funcions de Bessel modificades de segon tipus, Plantilla:Math, per Plantilla:Math

Dues fórmules integrals per les funcions de Bessel modificades són (per Plantilla:Math):Plantilla:Sfn

$\begin{array}{cc}{I}_{\alpha }(x)& =\frac{1}{\pi }\underset{0}{\overset{\pi }{\int }}{e}^{x\cos \theta }\cos \alpha \theta d\theta -\frac{\sin \alpha \pi }{\pi }\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x\cosh t-\alpha t}dt,\\ K_{\alpha }(x)& =\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-x\cosh t}\cosh \alpha tdt.\end{array}$

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

$2K_0(\omega )=\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\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 Plantilla:Math. Això es fa integrant una corba tancada en el primer quadrant del pla complex.

Es poden representar les funcions de Bessel modificades Plantilla:Math i Plantilla:Math en termes de les integrals ràpidament convergents:

$\begin{array}{cc}{K}_{1/3}(\xi )& =\sqrt{3}\underset{0}{\overset{\mathrm{\infty }}{\int }}\exp (-\xi (1+\frac{4x^2}{3})\sqrt{1+\frac{x^2}{3}})dx,\\ K_{2/3}(\xi )& =\frac{1}{\sqrt{3}}\underset{0}{\overset{\mathrm{\infty }}{\int }}\frac{3+2x^2}{\sqrt{1+\frac{x^2}{3}}}\exp (-\xi (1+\frac{4x^2}{3})\sqrt{1+\frac{x^2}{3}})dx.\end{array}$

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: Plantilla:Mvar_{Plantilla:Mvar}, Plantilla:Mvar_{Plantilla:Mvar}

Funcions de Bessel esfèriques de primer tipus, Plantilla:Math, per Plantilla:Math

Funcions de Bessel esfèriques de segon tipus, Plantilla:Math, per Plantilla:Math

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

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

Les dues solucions linealment independents a aquest equació s'anomenen funcions de Bessel esfèriques Plantilla:Mvar i Plantilla:Mvar, i estan relacionades amb les funcions de Bessel ordinàries Plantilla:Mvar i Plantilla:Mvar segons:Plantilla:Sfn

$\begin{array}{cc}{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{array}$

Plantilla:Mvar també es denota Plantilla:Mvar o Plantilla:Mvar; 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)Plantilla:Sfn

$\begin{array}{cc}{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{array}$

La primera funció de Bessel esfèrica Plantilla:Math també es coneix com la funció sinc (no normalitzada). Les primeres funcions de Bessel esfèriques són:Plantilla:Sfn

$\begin{array}{cc}{j}_0(x)& =\frac{\sin x}{x}.\\ j_1(x)& =\frac{\sin x}{x^2}-\frac{\cos x}{x},\\ j_2(x)& =(\frac{3}{x^2}-1)\frac{\sin x}{x}-\frac{3\cos x}{x^2},\\ j_3(x)& =(\frac{15}{x^3}-\frac{6}{x})\frac{\sin x}{x}-(\frac{15}{x^2}-1)\frac{\cos x}{x}\end{array}$

i:Plantilla:Sfn

$\begin{array}{cccc}{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)& & =(-\frac{3}{x^2}+1)\frac{\cos x}{x}-\frac{3\sin x}{x^2},\\ y_3(x)& =j_{-4}(x)& & =(-\frac{15}{x^3}+\frac{6}{x})\frac{\cos x}{x}-(\frac{15}{x^2}-1)\frac{\sin x}{x}.\end{array}$

Funcions generadores

Les funcions esfèriques de Bessel tenen les funcions generadores:Plantilla:Sfn

$\begin{array}{cc}\frac{1}{z}\cos \left(\sqrt{z^2-2zt}\right)& =\sum _{n=0}^{\mathrm{\infty }}\frac{t^n}{n!}{j}_{n-1}(z),\\ \frac{1}{z}\sin \left(\sqrt{z^2+2zt}\right)& =\sum _{n=0}^{\mathrm{\infty }}\frac{(-t{)}^n}{n!}{y}_{n-1}(z).\end{array}$

Relacions diferencials

En la següent expressió, Plantilla:Mvar és qualsevol de Plantilla:Mvar, Plantilla:Mvar, Plantilla:Math, Plantilla:Math per Plantilla:MathPlantilla:Sfn

$\begin{array}{cc}{\left(\frac{1}{z}\frac{d}{dz}\right)}^m(z^{n+1}{f}_n(z))& =z^{n-m+1}{f}_{n-m}(z),\\ {\left(\frac{1}{z}\frac{d}{dz}\right)}^m(z^{-n}{f}_n(z))& =(-1{)}^m{z}^{-n-m}{f}_{n+m}(z).\end{array}$

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:

$h_n^{(1)}(x)=j_n(x)+i{y}_n(x)$

$h_n^{(2)}(x)=j_n(x)-i{y}_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é:

$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 $h_n^{(2)}$ és la funció complexa conjugada d'aquesta (per a $x$ real). D'aquesta fórmula es poden deduir les formes tancades de les funcions esfèriques de Bessel ordinàries, per exemple, $j_0(x)=\sin (x)/x$ i $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:

$S_n(x)=x{j}_n(x)=\sqrt{\pi x/2}{J}_{n+1/2}(x)$

$C_n(x)=-x{y}_n(x)=-\sqrt{\pi x/2}{Y}_{n+1/2}(x)$

${\xi }_n(x)=x{h}_n^{(1)}(x)=\sqrt{\pi x/2}{H}_{n+1/2}^{(1)}(x)=S_n(x)-i{C}_n(x)$

${\zeta }_n(x)=x{h}_n^{(2)}(x)=\sqrt{\pi x/2}{H}_{n+1/2}^{(2)}(x)=S_n(x)+i{C}_n(x)$

Aquestes funcions satisfan la següent equació diferencial:

$x^2\frac{d^{2}y}{d{x}^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).

Segons Debye (1909) s'utilitza de vegades la notació ${\psi }_n,{\chi }_n$ en lloc de $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:

$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:

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

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

Bibliografia

• Plantilla:Ref-llibre
• Plantilla:Ref-llibre