Polinomi de Neumann

En matemàtiques, un polinomi de Neumann, introduït per Carl Neumann per al cas especial $\alpha =0$, és un polinomi en 1/z s'utilitza per desenvolupar funcions en termes de funcions de Bessel.

Els primers polinomis són

$O_0^{(\alpha )}(t)=\frac{1}{t},$

$O_1^{(\alpha )}(t)=2\frac{\alpha +1}{t^2},$

$O_2^{(\alpha )}(t)=\frac{2+\alpha }{t}+4\frac{(2+\alpha )(1+\alpha )}{t^3},$

$O_3^{(\alpha )}(t)=2\frac{(1+\alpha )(3+\alpha )}{t^2}+8\frac{(1+\alpha )(2+\alpha )(3+\alpha )}{t^4},$

$O_4^{(\alpha )}(t)=\frac{(1+\alpha )(4+\alpha )}{2t}+4\frac{(1+\alpha )(2+\alpha )(4+\alpha )}{t^3}+16\frac{(1+\alpha )(2+\alpha )(3+\alpha )(4+\alpha )}{t^5}.$

Una forma general del polinomi és

$O_n^{(\alpha )}(t)=\frac{\alpha +n}{2\alpha }\sum _{k=0}^{\lfloor n/2\rfloor }(-1{)}^{n-k}\frac{(n-k)!}{k!}(\genfrac{}{}{0ex}{}{-\alpha }{n-k}){\left(\frac{2}{t}\right)}^{n+1-2k},$

i tenen la funció generatriu

$\frac{{\left(\frac{z}{2}\right)}^{\alpha }}{\mathrm{\Gamma }(\alpha +1)}\frac{1}{t-z}=\sum _{n=0}{O}_n^{(\alpha )}(t)J_{\alpha +n}(z),$

on J són funcions de Bessel.

Per a desenvolupar una funció f en la forma

$f(z)=\sum _{n=0}{a}_n{J}_{\alpha +n}(z)$

per a $|z|<c$, fem

$a_n=\frac{1}{2\pi i}{\oint }_{|z|=c^{\prime }}\frac{\mathrm{\Gamma }(\alpha +1)}{{\left(\frac{z}{2}\right)}^{\alpha }}f(z)O_n^{(\alpha )}(z)dz,$

on $c^{\prime }<c$ i c és la distància de la singularitat més propera de $z^{-\alpha }f(z)$ de $z=0$.

Exemples

Un exemple és el desenvolupament

${\left(\frac{1}{2}z\right)}^s=\mathrm{\Gamma }(s)\cdot \sum _{k=0}(-1{)}^k{J}_{s+2k}(z)(s+2k)(\genfrac{}{}{0ex}{}{-s}{k}),$

o més general, la fórmula Sonine

$e^{i\gamma z}=\mathrm{\Gamma }(s)\cdot \sum _{k=0}{i}^k{C}_k^{(s)}(\gamma )(s+k)\frac{J_{s+k}(z)}{{\left(\frac{z}{2}\right)}^s}.$

on $C_k^{(s)}$és el polinomi de Gegenbauer. Llavors,

$\frac{{\left(\frac{z}{2}\right)}^{2k}}{(2k-1)!}{J}_s(z)=\sum _{i=k}(-1{)}^{i-k}(\genfrac{}{}{0ex}{}{i+k-1}{2k-1})(\genfrac{}{}{0ex}{}{i+k+s-1}{2k-1})(s+2i)J_{s+2i}(z),$

$\sum _{n=0}{t}^n{J}_{s+n}(z)=\frac{e^{\frac{tz}{2}}}{t^s}\sum _{j=0}\frac{{(-\frac{z}{2t})}^j}{j!}\frac{\gamma (j+s,\frac{tz}{2})}{\mathrm{\Gamma }(j+s)}=\underset{0}{\overset{\mathrm{\infty }}{\int }}{e}^{-\frac{z{x}^2}{2t}}\frac{zx}{t}\frac{J_s(z\sqrt{1-x^2})}{{\sqrt{1-x^2}}^s}dx,$

la funció hipergeomètrica confluent

$M(a,s,z)=\mathrm{\Gamma }(s)\sum _{k=0}^{\mathrm{\infty }}{(-\frac{1}{t})}^k{L}_k^{(-a-k)}(t)\frac{J_{s+k-1}\left(2\sqrt{tz}\right)}{(\sqrt{tz}{)}^{s-k-1}},$

i en particular

$\frac{J_s(2z)}{z^s}=\frac{4^s\mathrm{\Gamma }(s+\frac{1}{2})}{\sqrt{\pi }}{e}^{2iz}\sum _{k=0}{L}_k^{(-s-1/2-k)}\left(\frac{it}{4}\right)(4iz{)}^k\frac{J_{2s+k}\left(2\sqrt{tz}\right)}{{\sqrt{tz}}^{2s+k}},$

la fórmula de canvi d'índex

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

el desenvolupament de Taylor (fórmula d'addició)

$\frac{J_s\left(\sqrt{z^2-2uz}\right)}{{\left(\sqrt{z^2-2uz}\right)}^{\pm s}}=\sum _{k=0}\frac{(\pm u{)}^k}{k!}\frac{J_{s\pm k}(z)}{z^{\pm s}},$

(cf.) i el desenvolupament de la integral de la funció de Bessel,

$\int J_s(z)dz=2\sum _{k=0}{J}_{s+2k+1}(z),$

són del mateix tipus.

Vegeu també

• Funció de Bessel
• Polinomi de Bessel
• Polinomi de Lommel
• Sèries de Fourier–Bessel
• Transformació de Hankel