How do you compute something like
So far you have no method for doing this.
The trick (which is called partial fraction decomposition),
is to write
 |
(5.10) |
The integral on the right is then
easy to do (the answer involves
's).
But how on earth do you right the rational function
on the left hand side as a sum of the nice terms
of the right hand side? Doing this is called
``partial fraction decomposition'', and it is
a fundamental idea in mathematics. It relies on
our ability to factor polynomials and saolve linear
equations. As a first hint, notice that
so the denominators in the decomposition correspond to
the factors of the denominator.
Before describing the secret behind (5.4.1), we'll
discuss some background about how polynomials and rational functions
work.
Theorem 5.4.1 (Fundamental Theorem of Algebra)
If
is a polynomial,
then there are complex numbers
such that
Example 5.4.2
For example,
And
If
is a polynomial, the roots
of
correspond to the factors of
. Thus if
then
for each
(and nowhere else).
Definition 5.4.3 (Multiplicity of Zero)
The
multiplicity of a zero 
of

is the number
of times that

appears as a factor of

.
For example, if
,
then
is a zero with multiplicity
,
is a zero with multiplicity
, and
is a ``zero
multiplicity 0''.
Definition 5.4.4 (Rational Function)
A
rational function is a quotient
where

and

are polynomials.
For example,
 |
(5.11) |
is a rational function.
Definition 5.4.5 (Pole)
A
pole of a rational function

is a complex number

such that

is unbounded as

.
For example, for (5.4.2) the poles
are at
,
, and
. They have
multiplicity
,
, and
, respectively.
William Stein
2006-03-15