I am studying for a qualifying exam, and this contour integral is getting pretty messy:
I=∫π0cos(4θ)1+cos2(θ)dθ
I first notice that the integrand is an even function hence
I=12∫π−πcos(4θ)1+cos2(θ)dθ
Then make the substitutions cos(nθ)=einθ+e−inθ2, and z=eiθ to obtain:
I=12∫||z||=1z4+z−421+(z+z−12)2−izdz=−i∫||z||=1z8+1z3(z4+6z2+1)dz
Now, assuming this is right so far, this seems "straight-forward" in the sense that I know what to do. However, it gets ugly. I was hoping there might be a better method to evaluate this integral.
Thanks
Answer
Note that sin4θ is an odd function, so we can simplify to
I=12∫π−πe4iθ1+cos2θdθ=12i∫|z|=1z41+(z+z−12)2dzz=12i∫|z|=1z5z2+14(z2+1)2dz=−2i∫|z|=1z5z4+6z2+1dz.
That looks a little simpler to my untrained eye.
Then we need the zeros of the denominator, which are ±√−3±√8, where the inner square root shall be the positive, and the outer can be either square root. The zeros inside the unit disk are ζ±=±i√3−√8, both are simple, so
Res(z5z4+6z2+1;ζ±)=ζ5±4ζ3±+12ζ±=ζ4±4ζ2±+12=(√8−3)24(√8−3)+12=17−12√28√2,
both residues are the same, and
I=8π17−12√28√2=π17−12√2√2=π24+17√2,
if I haven't miscalculated.
No comments:
Post a Comment