Saturday, 31 May 2014

calculus - Contour Integral for Cosine and a rational function




I've been trying to figure out this integral via use of residues:



cos5xx4+1dx



The usual semicircle contour wont work for this guy as the integrated is unbounded.
My idea came from a book I was reading on contour integration, where we let



f(z)=e(5iz)2(z4+1)+e(5iz)2(z4+1)




And do the integral in the complex play as follows:



γ1=The contour taken to be the top half of the circle in the counter clockwise direction This contour uses the second term in f(z)



γ2=The contour taken from R to R on the real axis



γ3=The contour taken to be the bottom half of the circle in the clockwise direction This uses the first term in f(z).



In the end, the contours γ1 and γ3 are bounded and will tend to 0 as R goes to infinity, so that we're left with the two integrals that we want.




My issue now is that when computing residues..everything seems to be cancelling out and I'm getting 0. Should I take different contour? I'm really not sure what I did wrong.


Answer



I've given the skeleton of my work below. Fill in any missing pieces and check your answer against mine.



Using γ=[R,R]Rei[0,π] and the simple poles at 1+i2 and 1+i2 inside γ
cos(5x)x4+1dx=Re(γei5zz4+1dz)=Re(2πi([ei5z4z3]z=1+i2+[ei5z4z3]z=1+i2))=Re(π2ie5/2(1+i2ei5/21i2ei5/2))=πe5/2Im(1+i2ei5/2)=πe5/2Im(ei(5/2+π/4))=πe5/2sin(52+π4)
Mathematica 8 agrees numerically, but its closed form involves complex functions and looks nothing like what I have above.



No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...