Question is to evaluate ∫∞−∞dx(x2+a2)2for a>0
Idea is to calculate this using complex analysis/residue theory/contour integration.
Approach is consider contour DR consisting of a semicircle in upper half plane of radius R with the line [−R,R]
(I am not familiar with idea how to draw figures in latex so, it would be better if some one can help me out if they are sure that they understood what i actually mean).
So, then, we have ∫∂DRdx(z2+a2)2=∫R−Rdx(x2+a2)2+∫TRdx(x2+a2)2
where ∂DR is boundary of contour DR and TR is contour except the line [−R,R].
Now, as DR is bounded domain, we can use residue theorem to find what is ∫∂DRdx(z2+a2)2
we have ∫∂DRdx(z2+a2)2=∫∂DRdx(z+ai)2(z−ai)2
=2πi.Residue at (ai)
=2πi.limx→aiddx1(z+ai)2
=2πilimx→ai−2(z+ai)3
=2πi−2(2ai)3
=2πi−2−8a3i
=π2a3
So, I have π2a3=∫R−Rdx(x2+a2)2+∫TRdx(x2+a2)2
i.e., ∫R−Rdx(x2+a2)2=π2a3−∫TRdx(x2+a2)2
as R→∞ we see that ∫TRdx(x2+a2)2→0
So,
∫∞−∞dx(x2+a2)2=π2a3
Now, I would be thankful if some one can help me what i have done is valid and I am afraid this should be the case always at least when considering ∫TRdxf(x) for f(x) a polynomial
What exactly i mean is we do not have to bother about any other extra conditions except residue theorem when considering ∫∞−∞dxf(x)
because in any case i am fixing a bound for ∫TRdxf(x) which goes to 0 as R→0
So, what i would like to say is ∫TRdxf(x) is actually seen as ∫∂DR where R is maximum magnitude of zeros of f(x) in upper half plane.
I am a bit afraid if i am missing some thing.
I would like someone to verify if my idea is true.
∫TRdxf(x)=2πi∑Res. at zeros of f(x)
If this is the case always then I would like to say
"In contrast to its name, Improper Integrals behave properly (conditions apply)"
Answer
It seems that the only problem you need to worry about is the integral over TR, otherwise the approach clearly works. If the polynomial has degree d=degf≥2, then you can write f(x)=a0xd+a1xd−1+⋯=Θ(xd), where by this notation I mean that there are constants r,C1,C2 such that if |x|>r then $C_1|x|^d< |f(x)|
This obviously tends to 0 with R→∞ so you can be sure this term can be omitted in the limit.
No comments:
Post a Comment