The following are applications of 3. Theorem 2.4.1 - Residue Theorem

APPLICATION 1
Suppose we want to compute the real integral

R(x)dx

Where R(x)=P(x)Q(x) such that Q(x) has no zeros on the real line, and deg(Q)deg(P)+2 (Guarantees absolute convergence of the integral). Then we use semicircles with radius r, which correspond to integrals 1;; rrR(x)dx to see that:

R(x)dx=2πiw,Q(w)=0,im(w)>0Resz=wR(z)=2πiw,Q(w)=0,im(w)<0Resz=wR(z)

In particular, notice that as a corollary, we see that the sum of the residues is 0.

Example

Compute the integrals dxx2+1 and dx(x2+1)2 using the above formula

APPLICATION 2:
Suppose R(x) is defined the same as above. This time we want to compute the integral:

R(x)cos(x)dx

The trick here is to compute

γR(z)eizdz

And then take the real part of the integral, where now our γ is a rectangle along the real axis with height r.

Example

Compute the integral cos(bx)x2+a2dx

Our computations yield:

R(x)cos(x)dx=Re(2πizk sing of R(z)Resz=zkR(z)eiz)

APPLICATION 3:
Suppose that R(x,y) is a rational function such that R(sin(t),cos(t)) has no singularities on the interval [0,2π]. We would like to compute:

02πR(cos(t),sin(t))dt

We first make the transformation γ(t)=eit so we are left with the integral:

|z|=1R(z+z12,zz12i)dziz

We now compute the integral using the residue theorem and we get:

=2πizk poles of integrand with |zk|<1Resz=zkR(z+z12,zz12i)
Example

Compute the integral 02πdx3+4cos(x)

APPLICATION 4:
Now suppose that 0<s<1, and let R(x) be a rational function with deg(Q)deg(P)+2. Furthermore suppose that R(x) has no poles on (0,) (These conditions are for nice behavior around 0). We are now interested in computing:

0xsR(x)dx

The idea is to use pac-man to eat the positive real axis. After some computations, we get the following formula:

=2πi1e2πissing zk0 of R(z)Resz=zkzsR(z)
Example

Compute the following integral 0xsx2+xdx.

Danger

One might be tempted to say that e2πis=1 for any value of s by exponent rules, but these exponent rules don't hold generally for all complex numbers! Consider the complex formula for eiz, and try raising everything to some power.

Powered by Forestry.md