Partial Fractions in Complex Analysis

Get Partial Fractions in Complex Analysis essential facts below. View Videos or join the Partial Fractions in Complex Analysis discussion. Add Partial Fractions in Complex Analysis to your PopFlock.com topic list for future reference or share this resource on social media.
## Motivation

## Calculation

## Example

## Applications

### Infinite products

### Laurent series

## See also

## References

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Partial Fractions in Complex Analysis

In complex analysis, a **partial fraction expansion** is a way of writing a meromorphic function *f(z)* as an infinite sum of rational functions and polynomials. When *f(z)* is a rational function, this reduces to the usual method of partial fractions.

By using polynomial long division and the partial fraction technique from algebra, any rational function can be written as a sum of terms of the form *1 / (az + b) ^{k}* +

A proper rational function, i.e. one for which the degree of the denominator is greater than the degree of the numerator, has a partial fraction expansion with no polynomial terms. Similarly, a meromorphic function *f(z)* for which |*f(z)*| goes to 0 as *z* goes to infinity at least as quickly as |*1/z*|, has an expansion with no polynomial terms.

Let *f(z)* be a function meromorphic in the finite complex plane with poles at *λ _{1}*,

- The origin lies inside each curve
*Γ*_{k} - No curve passes through a pole of
*f* *Γ*lies inside_{k}*Γ*for all_{k+1}*k*- , where
*d(Γ*gives the distance from the curve to the origin_{k})

Suppose also that there exists an integer *p* such that

Writing PP(*f(z)*; *z = λ _{k}*) for the principal part of the Laurent expansion of

if *p = -1*, and if *p > -1*,

where the coefficients *c _{j,k}* are given by

λ_{0} should be set to 0, because even if *f(z)* itself does not have a pole at 0, the residues of *f(z)/z ^{j+1}* at

Note that in the case of λ_{0} = 0, we can use the Laurent expansion of *f(z)* about the origin to get

so that the polynomial terms contributed are exactly the regular part of the Laurent series up to *z ^{p}*.

For the other poles *λ _{k}* where

To avoid issues with convergence, the poles should be ordered so that if λ_{k} is inside Γ_{n}, then λ_{j} is also inside Γ_{n} for all *j* < *k*.

The simplest examples of meromorphic functions with an infinite number of poles are the non-entire trigonometric functions, so take the function tan(*z*). tan(*z*) is meromorphic with poles at *(n + 1/2)π*, *n* = 0, ±1, ±2, ... The contours *Γ _{k}* will be squares with vertices at

On the horizontal sides of *Γ _{k}*,

so

sinh(*x*) < cosh(*x*) for all real *x*, which yields

For *x* > 0, coth(*x*) is continuous, decreasing, and bounded below by 1, so it follows that on the horizontal sides of *Γ _{k}*, |tan(

With this bound on |tan(*z*)| we can see that

(The maximum of |1/*z*| on *Γ _{k}* occurs at the minimum of |

Therefore *p* = 0, and the partial fraction expansion of tan(*z*) looks like

The principal parts and residues are easy enough to calculate, as all the poles of tan(*z*) are simple and have residue -1:

We can ignore *λ _{0}* = 0, since both tan(

Because the partial fraction expansion often yields sums of *1/(a+bz)*, it can be useful in finding a way to write a function as an infinite product; integrating both sides gives a sum of logarithms, and exponentiating gives the desired product:

Applying some logarithm rules,

which finally gives

The partial fraction expansion for a function can also be used to find a Laurent series for it by simply replacing the rational functions in the sum with their Laurent series, which are often not difficult to write in closed form. This can also lead to interesting identities if a Laurent series is already known.

Recall that

We can expand the summand using a geometric series:

Substituting back,

which shows that the coefficients *a _{n}* in the Laurent (Taylor) series of

where *T _{n}* are the tangent numbers.

Conversely, we can compare this formula to the Taylor expansion for tan(*z*) about z = 0 to calculate the infinite sums:

- Markushevich, A.I.
*Theory of functions of a complex variable*. Trans. Richard A. Silverman. Vol. 2. Englewood Cliffs, N.J.: Prentice-Hall, 1965.

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Popular Products

Music Scenes

Popular Artists