Friday, April 21, 2017

Integration of inti0nftyfrac1cosxx2(x2+1),dx by means of complex analysis



Dear all: this time I have the integral 01cosxx2(x2+1)dx

and we must try to solve it using complex integration, residues, Cauchy's Theorem and the whole lot. (BTW, does anyone have any idea whether this integral can be solved without complex functions?)



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,π]}

we take the integral I:=γ1eizz2(z2+1)dz

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:|1eizz2(z2+1)|1+eRcosθR4R0




On (i),(iii) together and letting R we get 1cosxx2(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

z=ϵeiθ1eizz2(z2+1)dz=0π1eiϵeiθϵ2e2iθ(ϵ2e2iθ+1)ϵieiθdθ



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ϵ01eiϵeiθϵeiθ(ϵ2e2iθ+1)=i0π1eiϵeiθϵ2e2iθ(ϵ2e2iθ+1)ϵieiθdθϵ0π

applying L'Hospital, so the final result isπ(1e1)=IR,ϵ01cosxx2(x2+1)dxπ
from which we get the value of π2e for our integral, which is correct (at least according to Wolframalpha), yet...



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δ

to get an indefinite integral with upper limit equal to inj (ii) above and then use the dominated convergence theorem (or perhaps the monotone one).



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



01cosxx2(x2+1)dx



Since



1x2(x2+1)=1x21x2+1



You have




01cosxx201cosx1+x2dx



Now



01cosxx2=1cosxx|0+0sinxx=0sinxx=π2



So maybe now it is easier to tackle 01cosx1+x2dx

which gives



01cosx1+x2dx=0dx1+x20cosx1+x2dx=π20cosx1+x2dx




and thus



01cosxx2(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=s1s2(11+x21s2+x2)



L(s)=s1s2+0(11+x21s2+x2)dxL(s)=s1s2(π2+01s2+x2dx)L(s)=s1s2(π21sπ2)L(s)=π2s1s2s1s=π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

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...