Thursday, September 19, 2019

integration - Difficult trigonometric integral. [Solved]



It was originally asked here. This was also asked here.




I have faced some difficulties to do the following integral:




I=2π0dϕπ0dθ sinθ0dr r23x2y2cos(ursinθcosϕ)cos2θ(y2cosϕ+x2sin2ϕ)sin2θ+x2y2cos2θer22,




where x, y, and u are real positive constants. I tried at least two ways to solve this integral:





  • First attempt:



I began to solve the r integral first. By using Mathematica, then



I=2π0dϕπ0dθ sinθ3x2y2(1u2sin2θcos2ϕ)cos2θ(y2cosϕ+x2sin2ϕ)sin2θ+x2y2cos2θeu22sin2θcos2ϕ.



After that, I looked for a solution for ϕ integral. My best attempt was:



Iϕ(x,y,u,θ)=2B[B(12)F1(12,1,;1;ν,a2)aB(12)F1(32,1,;2;ν,a2)],




where B=x2sin2θ+x2y2cos2θ, a=u2sin2θ, and ν=x2y2x2+x2y2cot2θ. In this way, the final results it's something like that:



I=π0dθ 3x2y2sinθcos2θ Iϕ(x,y,u,θ)..



Eq. (3) cannot be further simplied in general and is the nal result.








  • Second attempt:



To avoid the hypergeometric function F1, I tried to start with the ϕ integral. In this case, my initial problem is an integral something like that:



2π0dϕcos(Acosϕ)a2cos2ϕ+b2sin2ϕ.



This integral (4) can be solved by series (see Vincent's answer and Jack's answer). However those solutions, at least for me, has not a closed form. This is my final step on this second attempt :(







What is the point? It turns out that someone has managed to solve the integral (1), at least the integral in r and ϕ. The final resuls found by this person was:




IG=12πx y(1x2)3/21x20dkk2exp(u22x2k2(1x2)(1k2))1k21k21y21x2,




where, I belive, k=1x2cosθ. As you can see in this following code performed in Mathematica



IG[x_, y_, u_] := 

Sqrt[Pi/2] NIntegrate[(12 Pi x y)/(1 - x^2)^(3/2)
(v^2 Exp[-(u^2 x^2 v^2)/(2 (1 - x^2) (1 - v^2))])/(Sqrt[1 - v^2] Sqrt[1 - v^2 (1 - y^2)/(1 - x^2)]), {v, 0, Sqrt[1 - x^2]}]
IG[.3, .4, 1]
** 4.53251 **

I[x_, y_, u_] :=
NIntegrate[(r^2 Sin[a] Cos[
u r Sin[a] Cos[b]] 3 x^2 y^2 Cos[a]^2 Exp[-r^2/
2])/((y^2 Cos[b]^2 + x^2 Sin[b]^2) Sin[a]^2 +
x^2 y^2 Cos[a]^2), {r, 0, Infinity}, {a, 0, Pi}, {b, 0, 2 Pi}]

I[.3, .4, 1]
** 4.53251 **


the integrals I and IG are equals. Indeed, since that they emerge from the same physical problem.



So, my question is: what are the steps applied for that integral I gives the integral IG?







Edit



Since my question was not solved yet, I think it is because it is a tough question, I will show a particular case of the integral I, letting u=0. I hope with this help you help me.



In this case, the r integral in (1) is trivial and the integral takes the form:



IP=2π0dϕπ0dθ sinθ3x2y2cos2θ(y2cosϕ+x2sin2ϕ)sin2θ+x2y2cos2θ.



The ϕ integral can be integrated with the help of Eq. 3.642.1 in Gradstein and Ryzhik's tables of integrals. Thereby, the IP takes the for:




IP=3xyπ0dθsinθcos2θ1+(x21)cos2θ1+(y21)cos2θ.



Now the change of variable k=1x2cosθ bring expression (6) to the form



IP=(const)x y(1x2)3/21x20dkk21k21k21y21x2.



Did you notice how IG and IP are similar? Do you think a similar approach can be applied to my original problem? Please, let me know.



Edit 2




The integral (1) is also evaluated in Appendix A.4 of this thesis. However, there he used cylindrical symmetry.



Edit: ended



My bounty ended, and unfortunately, I don't have enough reputation to offer another one. My question was not solved. Perhaps to solve that it is necessary to make some physical consideration. Anyway, I thanks to all who helped me. If I can solve this, I put the solution here.











I've solved this problem applying the Schwinger proper-time substitution: 1q2=0dξ eq2ξ



Answer



Here is an outline of the approach I have taken to solve this integral.



First rewrite the integral (1) in Cartesian variables:



I=d3v 3x2y2v2zy2v2x+x2v2y+x2y2v2zcos(uvx)exp(v2x2v2y2v2z2).




Now use the following substitution



1y2v2x+x2v2y+x2y2v2z=0dτ e(y2v2x+x2v2y+x2y2v2z)τ,



such that



I=0dτd3v 3x2y2v2zcos(uvx)ev2x(τy2+1/2)v2y(τx2+1/2)v2z(τx2y2+1/2).



The (vx,vy,vz) integrals can be evaluated with the help of Mathematica. The results gives




d3v 3x2y2v2zcos(uvx)eαv2xβv2yγv2z=3π3/22x2y2exp(u24y21τ+1/2y2)(τ+1/2x2y2)3/2(τ+1/2x2)1/2(τ+1/2y2)1/2.



Thereby,



I=3 constx2y2 const0dτexp(u24y21τ+1/2y2)(τ+1/2x2y2)3/2(τ+1/2x2)1/2(τ+1/2y2)1/2.



Now, performing the substitution τ=1x22x2y2k212x2y2 gives us




I=(const) 3x y(1x2)3/21x20dkk2exp(u22x2k2(1x2)(1k2))1k21k21y21x2,





which is the desired integral unless of a constant. ;)


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...