Tuesday, 22 December 2015

sequences and series - Infinite summation formula for modified Bessel functions of first kind

I was trying to find a closed form for the integral
4π/20tI0(2κcost)dt,
where



Iα(z):=iαJα(iz)=m=0(z2)2m+αm!Γ(m+1+α)=12πππeiατ+zsinτdτ
are the modified Bessel functions. This integral popped up when I was trying to find the average difference of two points on a circle, where these points are assumed to be drawn independently from a von Mises distribution. It was noted by Robert Israel that this integral can be reduced to



π0tI0(2κcos(t/2))dt=π22I0(κ)24r=0I2r+1(κ)2(2r+1)2.
So I was wondering, if we can further simplify this expression, or to stated more clearly:





Is there a closed formula for the following sum of modified Bessel functions of the first kind?
r=0I2r+1(κ)2(2r+1)2







A lot of remarkable identities in terms of infinite sums of Bessel functions are known. E.g. Abramowitz and Stegun list in §9.6.33ff. a few of them, like:



1=I0(z)+2r=1(1)rI2r(z)ez=I0(z)+2r=1Ir(z)coshz=I0(z)+2r=1I2r(z)
WolframResearch lists another bunch of infinite series identities.
Also, Neumann's addition theorem seems to work wonders <1> <2> <3>.






Regarding the integral itself, Gradshteyn and Ryzhik mention in 6.519.1 that

π/20J2r(2κcost)=π2J2r(κ),
where Jr(x)=irIr(ix). So there might be a chance to expect something along this line.






Going back to the original problem "What is the expected value of a distribution Δ with the following density function"



fΔ(t):=I0(2κcost2)πI20(κ),
a straightforward integration leads to the integral mentioned above. Using some probability theory voodoo we can make use of the fact that




E[Δ]=iφΔ(0)=i[ddωF(fΔ)(ω)]|ω=0=i[ddωeitωfΔ(t)dt]|ω=0



where φΔ is the characteristic function of fΔ and F the (properly scaled) Fourier transform. Now with φ(ω)=¯φ(ω), we could further rewrite




E[Δ]=iφΔ(0)=lim



to (by plugging in the integral representation of I_0) obtain



\mathbb{E}[\Delta] = \frac{\pi}{2} - \frac{4}{\pi I_0^2(\kappa)} \sum_{r=0}^\infty \left( \frac{I_{2r+1}(\kappa)^2}{2r+1} \right)^2 = \frac{1}{\pi^2 I_0^2{\kappa}} \cdot \lim_{\omega \rightarrow 0} \int_0^{\pi/2} \int_{-\pi}^{\pi} \frac{\sin(t\omega)}{\omega} e^{2\kappa\cos{t}\sin{\tau}} d\tau \, dt \; ,




but this will essentially lead to the same integral we started with. The promising part about this approach is that the Fourier transform pops up, which might leave some room for the harmonic analysis people among you to do your magic.

No comments:

Post a Comment

real analysis - How to find lim_{hrightarrow 0}frac{sin(ha)}{h}

How to find \lim_{h\rightarrow 0}\frac{\sin(ha)}{h} without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...