# Residue (complex analysis)

Last updated

In mathematics, more specifically complex analysis, the residue is a complex number proportional to the contour integral of a meromorphic function along a path enclosing one of its singularities. (More generally, residues can be calculated for any function $f\colon \mathbb {C} \setminus \{a_{k}\}_{k}\rightarrow \mathbb {C}$ that is holomorphic except at the discrete points {ak}k, even if some of them are essential singularities.) Residues can be computed quite easily and, once known, allow the determination of general contour integrals via the residue theorem.

## Definition

The residue of a meromorphic function $f$ at an isolated singularity $a$ , often denoted $\operatorname {Res} (f,a)$ or $\operatorname {Res} _{a}(f)$ , is the unique value $R$ such that $f(z)-R/(z-a)$ has an analytic antiderivative in a punctured disk $0<\vert z-a\vert <\delta$ .

Alternatively, residues can be calculated by finding Laurent series expansions, and one can define the residue as the coefficient a−1 of a Laurent series.

The definition of a residue can be generalized to arbitrary Riemann surfaces. Suppose $\omega$ is a 1-form on a Riemann surface. Let $\omega$ be meromorphic at some point $x$ , so that we may write $\omega$ in local coordinates as $f(z)\;dz$ . Then, the residue of $\omega$ at $x$ is defined to be the residue of $f(z)$ at the point corresponding to $x$ .

## Examples

### Residue of a monomial

Computing the residue of a monomial

$\oint _{C}z^{k}\,dz$ makes most residue computations easy to do. Since path integral computations are homotopy invariant, we will let $C$ be the circle with radius $1$ . Then, using the change of coordinates $z\to e^{i\theta }$ we find that

$dz\to d(e^{i\theta })=ie^{i\theta }\,d\theta$ hence our integral now reads as

$\oint _{C}z^{k}dz=\int _{0}^{2\pi }ie^{i(k+1)\theta }\,d\theta ={\begin{cases}2\pi i&{\text{if }}k=-1,\\0&{\text{otherwise}}.\end{cases}}$ ### Application of monomial residue

As an example, consider the contour integral

$\oint _{C}{e^{z} \over z^{5}}\,dz$ where C is some simple closed curve about 0.

Let us evaluate this integral using a standard convergence result about integration by series. We can substitute the Taylor series for $e^{z}$ into the integrand. The integral then becomes

$\oint _{C}{1 \over z^{5}}\left(1+z+{z^{2} \over 2!}+{z^{3} \over 3!}+{z^{4} \over 4!}+{z^{5} \over 5!}+{z^{6} \over 6!}+\cdots \right)\,dz.$ Let us bring the 1/z5 factor into the series. The contour integral of the series then writes

{\begin{aligned}&\oint _{C}\left({1 \over z^{5}}+{z \over z^{5}}+{z^{2} \over 2!\;z^{5}}+{z^{3} \over 3!\;z^{5}}+{z^{4} \over 4!\;z^{5}}+{z^{5} \over 5!\;z^{5}}+{z^{6} \over 6!\;z^{5}}+\cdots \right)\,dz\\[4pt]={}&\oint _{C}\left({1 \over \;z^{5}}+{1 \over \;z^{4}}+{1 \over 2!\;z^{3}}+{1 \over 3!\;z^{2}}+{1 \over 4!\;z}+{1 \over \;5!}+{z \over 6!}+\cdots \right)\,dz.\end{aligned}} Since the series converges uniformly on the support of the integration path, we are allowed to exchange integration and summation. The series of the path integrals then collapses to a much simpler form because of the previous computation. So now the integral around C of every other term not in the form cz1 is zero, and the integral is reduced to

$\oint _{C}{1 \over 4!\;z}\,dz={1 \over 4!}\oint _{C}{1 \over z}\,dz={1 \over 4!}(2\pi i)={\pi i \over 12}.$ The value 1/4! is the residue of ez/z5 at z = 0, and is denoted

$\operatorname {Res} _{0}{e^{z} \over z^{5}},{\text{ or }}\operatorname {Res} _{z=0}{e^{z} \over z^{5}},{\text{ or }}\operatorname {Res} (f,0){\text{ for }}f={e^{z} \over z^{5}}.$ ## Calculating residues

Suppose a punctured disk D = {z : 0 < |zc| < R} in the complex plane is given and f is a holomorphic function defined (at least) on D. The residue Res(f, c) of f at c is the coefficient a1 of (zc)1 in the Laurent series expansion of f around c. Various methods exist for calculating this value, and the choice of which method to use depends on the function in question, and on the nature of the singularity.

According to the residue theorem, we have:

$\operatorname {Res} (f,c)={1 \over 2\pi i}\oint _{\gamma }f(z)\,dz$ where γ traces out a circle around c in a counterclockwise manner. We may choose the path γ to be a circle of radius ε around c, where ε is as small as we desire. This may be used for calculation in cases where the integral can be calculated directly, but it is usually the case that residues are used to simplify calculation of integrals, and not the other way around.

### Removable singularities

If the function f can be continued to a holomorphic function on the whole disk $|y-c| , then Res(f, c) = 0. The converse is not generally true.

### Simple poles

At a simple pole c, the residue of f is given by:

$\operatorname {Res} (f,c)=\lim _{z\to c}(z-c)f(z).$ It may be that the function f can be expressed as a quotient of two functions, $f(z)={\frac {g(z)}{h(z)}}$ , where g and h are holomorphic functions in a neighbourhood of c, with h(c) = 0 and h'(c)  0. In such a case, L'Hôpital's rule can be used to simplify the above formula to:

{\begin{aligned}\operatorname {Res} (f,c)&=\lim _{z\to c}(z-c)f(z)=\lim _{z\to c}{\frac {zg(z)-cg(z)}{h(z)}}\\[4pt]&=\lim _{z\to c}{\frac {g(z)+zg'(z)-cg'(z)}{h'(z)}}={\frac {g(c)}{h'(c)}}.\end{aligned}} ### Limit formula for higher-order poles

More generally, if c is a pole of order n, then the residue of f around z = c can be found by the formula:

$\operatorname {Res} (f,c)={\frac {1}{(n-1)!}}\lim _{z\to c}{\frac {d^{n-1}}{dz^{n-1}}}\left((z-c)^{n}f(z)\right).$ This formula can be very useful in determining the residues for low-order poles. For higher-order poles, the calculations can become unmanageable, and series expansion is usually easier. For essential singularities, no such simple formula exists, and residues must usually be taken directly from series expansions.

### Residue at infinity

In general, the residue at infinity is defined as:

$\operatorname {Res} (f(z),\infty )=-\operatorname {Res} \left({\frac {1}{z^{2}}}f\left({\frac {1}{z}}\right),0\right).$ If the following condition is met:

$\lim _{|z|\to \infty }f(z)=0,$ then the residue at infinity can be computed using the following formula:

$\operatorname {Res} (f,\infty )=-\lim _{|z|\to \infty }z\cdot f(z).$ $\lim _{|z|\to \infty }f(z)=c\neq 0,$ then the residue at infinity is

$\operatorname {Res} (f,\infty )=\lim _{|z|\to \infty }z^{2}\cdot f'(z).$ ### Series methods

If parts or all of a function can be expanded into a Taylor series or Laurent series, which may be possible if the parts or the whole of the function has a standard series expansion, then calculating the residue is significantly simpler than by other methods.

1. As a first example, consider calculating the residues at the singularities of the function
$f(z)={\sin z \over z^{2}-z}$ which may be used to calculate certain contour integrals. This function appears to have a singularity at z = 0, but if one factorizes the denominator and thus writes the function as

$f(z)={\sin z \over z(z-1)}$ it is apparent that the singularity at z = 0 is a removable singularity and then the residue at z = 0 is therefore 0.

The only other singularity is at z = 1. Recall the expression for the Taylor series for a function g(z) about z = a:

$g(z)=g(a)+g'(a)(z-a)+{g''(a)(z-a)^{2} \over 2!}+{g'''(a)(z-a)^{3} \over 3!}+\cdots$ So, for g(z) = sin z and a = 1 we have

$\sin z=\sin 1+(\cos 1)(z-1)+{-(\sin 1)(z-1)^{2} \over 2!}+{-(\cos 1)(z-1)^{3} \over 3!}+\cdots .$ and for g(z) = 1/z and a = 1 we have

${\frac {1}{z}}={\frac {1}{(z-1)+1}}=1-(z-1)+(z-1)^{2}-(z-1)^{3}+\cdots .$ Multiplying those two series and introducing 1/(z  1) gives us

${\frac {\sin z}{z(z-1)}}={\sin 1 \over z-1}+(\cos 1-\sin 1)+(z-1)\left(-{\frac {\sin 1}{2!}}-\cos 1+\sin 1\right)+\cdots .$ So the residue of f(z) at z = 1 is sin 1.
2. The next example shows that, computing a residue by series expansion, a major role is played by the Lagrange inversion theorem. Let
$u(z):=\sum _{k\geq 1}u_{k}z^{k}$ be an entire function, and let

$v(z):=\sum _{k\geq 1}v_{k}z^{k}$ with positive radius of convergence, and with $\textstyle v_{1}\neq 0$ . So $\textstyle v(z)$ has a local inverse $\textstyle V(z)$ at 0, and $\textstyle u(1/V(z))$ is meromorphic at 0. Then we have:

$\operatorname {Res} _{0}{\big (}u(1/V(z)){\big )}=\sum _{k=0}^{\infty }ku_{k}v_{k}.$ Indeed,

$\operatorname {Res} _{0}{\big (}u(1/V(z)){\big )}=\operatorname {Res} _{0}\left(\sum _{k\geq 1}u_{k}V(z)^{-k}\right)=\sum _{k\geq 1}u_{k}\operatorname {Res} _{0}{\big (}V(z)^{-k}{\big )}$ because the first series converges uniformly on any small circle around 0. Using the Lagrange inversion theorem

$\operatorname {Res} _{0}{\big (}V(z)^{-k}{\big )}=kv_{k},$ and we get the above expression. For example, if $u(z)=z+z^{2}$ and also $v(z)=z+z^{2}$ , then

$V(z)={\frac {2z}{1+{\sqrt {1+4z}}}}$ and

$u(1/V(z))={\frac {1+{\sqrt {1+4z}}}{2z}}+{\frac {1+2z+{\sqrt {1+4z}}}{2z^{2}}}.$ The first term contributes 1 to the residue, and the second term contributes 2 since it is asymptotic to $1/z^{2}+2/z$ .

Note that, with the corresponding stronger symmetric assumptions on $\textstyle u(z)$ and $\textstyle v(z)$ , it also follows

$\operatorname {Res} _{0}\left(u(1/V)\right)=\operatorname {Res} _{0}\left(v(1/U)\right),$ where $\textstyle U(z)$ is a local inverse of $\textstyle u(z)$ at 0.

## Related Research Articles In vector calculus, divergence is a vector operator that operates on a vector field, producing a scalar field giving the quantity of the vector field's source at each point. More technically, the divergence represents the volume density of the outward flux of a vector field from an infinitesimal volume around a given point. In mathematics, the gamma function is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except the non-positive integers. For any positive integer n,

In vector calculus and differential geometry, the generalized Stokes theorem, also called the Stokes–Cartan theorem, is a statement about the integration of differential forms on manifolds, which both simplifies and generalizes several theorems from vector calculus. It is a generalization of Isaac Newton's fundamental theorem of calculus that relates two-dimensional line integrals to three-dimensional surface integrals.

In probability theory, the central limit theorem (CLT) establishes that, in many situations, when independent random variables are added, their properly normalized sum tends toward a normal distribution even if the original variables themselves are not normally distributed. The theorem is a key concept in probability theory because it implies that probabilistic and statistical methods that work for normal distributions can be applicable to many problems involving other types of distributions. This theorem has seen many changes during the formal development of probability theory. Previous versions of the theorem date back to 1811, but in its modern general form, this fundamental result in probability theory was precisely stated as late as 1920, thereby serving as a bridge between classical and modern probability theory.

In mathematics, a power series is an infinite series of the form In mathematics, the Cauchy integral theorem in complex analysis, named after Augustin-Louis Cauchy, is an important statement about line integrals for holomorphic functions in the complex plane. Essentially, it says that if two different paths connect the same two points, and a function is holomorphic everywhere in between the two paths, then the two path integrals of the function will be the same. In mathematics, the Laurent series of a complex function f(z) is a representation of that function as a power series which includes terms of negative degree. It may be used to express complex functions in cases where a Taylor series expansion cannot be applied. The Laurent series was named after and first published by Pierre Alphonse Laurent in 1843. Karl Weierstrass may have discovered it first in a paper written in 1841, but it was not published until after his death. In mathematics, Cauchy's integral formula, named after Augustin-Louis Cauchy, is a central statement in complex analysis. It expresses the fact that a holomorphic function defined on a disk is completely determined by its values on the boundary of the disk, and it provides integral formulas for all derivatives of a holomorphic function. Cauchy's formula shows that, in complex analysis, "differentiation is equivalent to integration": complex differentiation, like integration, behaves well under uniform limits – a result that does not hold in real analysis. In complex analysis, a discipline within mathematics, the residue theorem, sometimes called Cauchy's residue theorem, is a powerful tool to evaluate line integrals of analytic functions over closed curves; it can often be used to compute real integrals and infinite series as well. It generalizes the Cauchy integral theorem and Cauchy's integral formula. From a geometrical perspective, it can be seen as a special case of the generalized Stokes' theorem.

In calculus, and more generally in mathematical analysis, integration by parts or partial integration is a process that finds the integral of a product of functions in terms of the integral of the product of their derivative and antiderivative. It is frequently used to transform the antiderivative of a product of functions into an antiderivative for which a solution can be more easily found. The rule can be thought of as an integral version of the product rule of differentiation. In mathematics, a Green's function is the impulse response of an inhomogeneous linear differential operator defined on a domain with specified initial conditions or boundary conditions.

In mathematics, the Cauchy principal value, named after Augustin Louis Cauchy, is a method for assigning values to certain improper integrals which would otherwise be undefined. In mathematics, the exponential integral Ei is a special function on the complex plane. It is defined as one particular definite integral of the ratio between an exponential function and its argument.

In the mathematical field of complex analysis, contour integration is a method of evaluating certain integrals along paths in the complex plane. In complex analysis, the argument principle relates the difference between the number of zeros and poles of a meromorphic function to a contour integral of the function's logarithmic derivative. In mathematics, a multiple integral is a definite integral of a function of several real variables, for instance, f(x, y) or f(x, y, z). Integrals of a function of two variables over a region in are called double integrals, and integrals of a function of three variables over a region in are called triple integrals. For multiple integrals of a single-variable function, see the Cauchy formula for repeated integration.

In complex analysis, Jordan's lemma is a result frequently used in conjunction with the residue theorem to evaluate contour integrals and improper integrals. It is named after the French mathematician Camille Jordan.

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.

In mathematics, a line integral is an integral where the function to be integrated is evaluated along a curve. The terms path integral, curve integral, and curvilinear integral are also used; contour integral is used as well, although that is typically reserved for line integrals in the complex plane.

In mathematics, infinite compositions of analytic functions (ICAF) offer alternative formulations of analytic continued fractions, series, products and other infinite expansions, and the theory evolving from such compositions may shed light on the convergence/divergence of these expansions. Some functions can actually be expanded directly as infinite compositions. In addition, it is possible to use ICAF to evaluate solutions of fixed point equations involving infinite expansions. Complex dynamics offers another venue for iteration of systems of functions rather than a single function. For infinite compositions of a single function see Iterated function. For compositions of a finite number of functions, useful in fractal theory, see Iterated function system.

• Ahlfors, Lars (1979). Complex Analysis. McGraw Hill.
• Marsden, Jerrold E.; Hoffman, Michael J. (1998). Basic Complex Analysis (3rd ed.). W. H. Freeman. ISBN   978-0-7167-2877-1.