Evaluating Definite Integrals of Type 1
We will now begin to apply some of results we have recently looked at regarding residues of functions at points to solve definite integrals of real-valued functions that would otherwise be difficult to compute. There are three main types of definite integrals we can solve and the pages involving the results are listed below:
- Evaluating Definite Integrals of Type 1.
Theorem 1 (Evaluation of Definite Integrals of Type 1): Let $R(\cos \theta, \sin \theta)$ be a rational function in $\theta$ that contains no poles on the unit circle. Then $\displaystyle{\int_{0}^{2\pi i} R(\cos \theta, \sin \theta) \: d \theta = \int_{\mid z \mid = 1} f(z) \: dz}$ where $\displaystyle{f(z) = \frac{1}{iz} R \left ( \frac{1}{z} \left [ z + \frac{1}{z} \right ] , \frac{1}{2i} \left [ z - \frac{1}{z} \right ] \right ) \: dz}$. |
The formula for $f(z)$ can be difficult to remember so we will demonstrate a process to derive it.
Suppose that $x = \cos \theta$ and $y = \sin \theta$. Then $(x, y)$ is a point on the unit circle as $\theta$ ranges from $0$ to $2\pi$. Note that if $z = x + yi$ and $\mid z \mid = 1$ ($z$ is on the unit circle) then we know that $z \cdot \overline{z} = 1$. Therefore $\overline{z} = \frac{1}{z}$. Then:
(1)And also $\frac{dz}{d\theta} = \frac{d}{d \theta} (\cos \theta + i \sin \theta) = -\sin \theta + i \cos \theta$. Therefore
(3)And:
(4)By the change of variables we have that:
(5)By The Residue Theorem, the rightmost integral is simply equal to $2\pi i$ multiplied by the sum of the residues of the singularities inside the unit circle, i.e., in $D(0, 1)$.
Example 1
Evaluate the integral $\displaystyle{\int_0^{2\pi} \frac{1}{5 + 3\cos \theta} \: d \theta}$.
We make the following substitutions in the integral above:
(6)To get:
(7)The function inside the integral has singularities at $\displaystyle{z = -\frac{1}{3}}$ and at $z = -3$. The only of such singularity that occurs inside the unit circle is $\displaystyle{z = -\frac{1}{3}}$ (which is a pole of order $1$), and so by applying the residue theorem and the theorem from The Residue of an Analytic Function at a Pole Singularity page:
(8)