Friday, March 8, 2019

complex analysis - Improper integrals are "not totally Improper"



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=RRdx(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(zai)2



=2πi.Residue at (ai)



=2πi.limxaiddx1(z+ai)2



=2πilimxai2(z+ai)3




=2πi2(2ai)3



=2πi28a3i



=π2a3



So, I have π2a3=RRdx(x2+a2)2+TRdx(x2+a2)2



i.e., RRdx(x2+a2)2=π2a3TRdx(x2+a2)2




as R we see that TRdx(x2+a2)20



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 R0



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πiRes. 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=degf2, then you can write f(x)=a0xd+a1xd1+=Θ(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)||TRdxf(x)|length of TRmaximum of |f(x)|πRC1Rd=πC11Rd1.


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

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