Sunday, 6 August 2017

integration - Integral computation of intp0imathrmdtsin(acost/2)mathrmsinh(bsint/2)



I'm having trouble computing an integral.




I=10dx2x(1x)(xcosh(t1xτ)+1x sinh(t1xτ))(1cos(yx2uτ))



I tried several changes of variable, such as x=cos2(θ2):



I=π0dθsin(θ)(cos2(θ)1A1+1cosh(tτsin(θ/2))A2+sinθ2 sinh(tτsin(θ/2))A3)(1cos(y2uτcos(θ/2)))



The first term A1 is computable, result is something with cosintegral, and is not a problem. One can consider dA3dy and one gets:
dA3dy=14uτπ0dθ sinh(tτsin(θ/2))sin(y2uτcos(θ/2))



The A2 term can be transform in something very similar:
d2A3dtdy=14uτ2π0dθ sinh(tτsin(θ/2))sin(y2uτcos(θ/2))_this one



Has anyone any idea how to compute such an integral ? I tried looking in the handbook for mathematical functions, and found that integral representation of Kelvin functions are almost the same as my integral. I am looking for any special (or not) function that may allow me to have an analytic expression of the latter integral.


Answer



One way to get an expression for the integral, although not in closed form, is to use the Jacobi-Anger expansion:

eizcos(θ)=n=inJn(z)einθ
to expand the integrand in terms of Bessel functions of the first kind (Jn). In so doing, it can be shown that:
sinh(tsin(θ2)τ)sin(ycos(θ2)2uτ)=n=(k=i(1)kJ2k+1(y2uτ)J2n+1(itτ)sin((2n+1)θ2)cos((2k+1)θ2))

which can be written:
i2n=(k=(1)kJ2k+1(y2uτ)(J2k1+2n(itτ)+J2k+1+2n(itτ))sin(nθ))
and thus:




π0sinh(tsin(1/2θ)τ)sin(ycos(1/2θ)2uτ)dθ=n=(k=i(1)kJ2k+1(y2uτ)(J2k+1+4n(itτ)+J2k+3+4n(itτ))2n+1)




It may not look too pretty but the series often converges very rapidly and it may simplify further. Convolutions of Bessel functions are sometimes known as generalised Bessel functions although this may be a stretch in terms of analytic functions.



Update




This way is probably neater and simpler. Note that:



sinh(tsin(θ2)τ)sin(ycos(θ2)2uτ)=i2(cos(xsin(θ2+ϕ))cos(xsin(θ2ϕ)))
ϕ=iarctanh(y2tu)C,x=it2τ4y2t2u2C




where standard product-to-sum trig identities were used and then the two trig functions inside, each with the same argument, are written as one scaled and shifted trig function.



Then starting from (1) you can prove:



i2[cos(xsin(θ2+ϕ))cos(xsin(θ2ϕ))]=in=Jn(x)sin(nθ2)sin(nϕ)



integrate and simplify to get:





π0i2[cos(xsin(θ2+ϕ))cos(xsin(θ2ϕ))]dθ=4in=1J4n2(x)sin((4n2)ϕ)2n1




which checks out for all numerical values I have tried so far. Note that the integrals on the left individually look like Bessel functions (J0) but for the ϕ shift.



No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...