Dear all: this time I have the integral ∫∞01−cosxx2(x2+1)dx
What I did_: Letting γ be the integration path containing the segments (i)the real interval[−R,−ϵ](ii)the "little" half circle{z|z=ϵeiθ,θ∈[0,π]}(iii) the real interval[ϵ,R](iv) and the "big" half circle{z|z=Reiθ,θ∈[0,π]}
As the only pole of this function within γ is the simple one z=i (for $\,\epsilon<1
We now pass to evaluate the above integral on each segment of γ described above:on(iv)it is easy:|1−eizz2(z2+1)|≤1+e−RcosθR4→R→∞0
On (i),(iii) together and letting R→∞ we get ∫∞−∞1−cosxx2(x2+1)dx , which isn't a problem as the integrand function is even.
So here comes the problem: on (ii) we have:z=ϵeiθ⟹dz=ϵieiθdθ,0≤θ≤πbut going from left to right, so
Now, the only thing I could came up with to evaluate the above integral when ϵ→0 is to get the limit into the integral, getting limϵ→01−eiϵeiθϵeiθ(ϵ2e2iθ+1)=−i⟹∫0π1−eiϵeiθϵ2e2iθ(ϵ2e2iθ+1)ϵieiθdθ→ϵ→0−π
How can I justify the introduction of the limit into the integral?? The only way that seems to me possible (if at all) is to substitute ϵ→1δ
My question is two fold: Is the substitution just described what can put me out of my misery in this case? , and: Is it possible to justify the passage of the limit into the integral without making the substitution and, thus, without resourcing to an indefinite integral with infinite upper limit?
Thank you to anyone investing he/his time just to read this question, and of course any ideas, corrections will be deeply appreciated.
Answer
∫∞01−cosxx2(x2+1)dx
Since
1x2(x2+1)=1x2−1x2+1
You have
∫∞01−cosxx2−∫∞01−cosx1+x2dx
Now
∫∞01−cosxx2=−1−cosxx|∞0+∫∞0sinxx=∫∞0sinxx=π2
So maybe now it is easier to tackle ∫∞01−cosx1+x2dx
∫∞01−cosx1+x2dx=∫∞0dx1+x2−∫∞0cosx1+x2dx=π2−∫∞0cosx1+x2dx
and thus
∫∞01−cosxx2(x2+1)dx=∫∞0cosx1+x2dx
EDIT
Since the last solution is not very satisfactory, as it has been discussed, I'll supply this solution:
Define
F(φ)=+∞∫0cosφx1+x2dx
Clearly the integral is absolutely convergent.
Thus, use the Laplace Transform, to obtain:
L(s)=+∞∫0sx2+s211+x2dx
We evaluate this integral:
sx2+s211+x2=s1−s2(11+x2−1s2+x2)
L(s)=s1−s2+∞∫0(11+x2−1s2+x2)dxL(s)=s1−s2(π2−+∞∫01s2+x2dx)L(s)=s1−s2(π2−1sπ2)L(s)=π2s1−s2s−1s=π211+s
Taking the inverse transform, we arrive at
F(φ)=π2e−φ
This is clearly for φ>0, thus the evenness of the function forces
F(φ)=π2e−|φ|
and the result follows:
F(1)=∞∫0cosx1+x2dx=π2e
No comments:
Post a Comment