0 x2 /( x4 +1)dx=π/(22)


By Georgina Horton on Monday, August 26, 2002 - 01:32 pm:
Hello. Can someone please show me how to prove the following using a suitable contour integral:

x2 /( x4 +1)dx=π/(22) with limits 0 and


By Andre Rzym on Tuesday, August 27, 2002 - 07:52 pm:
First of all, let's see where the poles/essential singularities are. If you think about the denominator, it will be zero when x2 =±i, so using partial fractions

x2 /( x4 +1)=1/2[1/( x2 +i)+1/( x2 -i)]

The two denominators on the rhs will be zero when

x=±-i; x=±i respectively, so we can expand again:

x2 /( x4 +1)=1/4[(1/α)1/(x-α)-1/(x+α)+(1/β)1/(x-β)-1/(x+β)]

where

α=-1/2+i/2

β=1/2+i/2

Now consider your integral but on a closed contour being a semicircle, centred on the origin, with the 'flat side' being on the real axis, and the curved side being above the real axis.

You need to convince yourself:

So

C x2 /( x4 +1)dx=2 0 x2 /( x4 +1)dx=2πi

where C is the semicircle contour (in the limit as its radius -> infinity) and is the sum of the residues, i.e.

=1/4α+1/4β=-i/22

So

0 x2 /( x4 +1)dx=πi.-i/22=π/22

Andre