FACTOID # 110: Around 80% of all livejournal users are from the United States of America.
 
 Home   Encyclopedia   Statistics   Countries A-Z   Flags   Maps   Education   Forum   FAQ   About 
 
WHAT'S NEW
RECENT ARTICLES
More Recent Articles »
 

SEARCH ALL

FACTS & STATISTICS    Advanced view

Search encyclopedia, statistics and forums:

 

 

(* = Graphable)

 

 


Encyclopedia > Residue (complex analysis)

In complex analysis, the residue is a complex number which describes the behavior of line integrals of a meromorphic function around a singularity. Residues can be computed quite easily and, once known, allow the determination of more complicated path integrals via the residue theorem. Complex analysis is the branch of mathematics investigating functions of complex numbers, and is of enormous practical use in many branches of mathematics, including applied mathematics. ... In mathematics, a complex number is a number of the form where a and b are real numbers, and i is the imaginary unit, with the property i 2 = −1. ... This article is about path integrals in the general mathematical sense, and not the path integral formulation of physics which was studied by Richard Feynman. ... In complex analysis, a meromorphic function on an open subset D of the complex plane is a function that is holomorphic on all D except a set of isolated points, which are poles for the function. ... In mathematics, a singularity is in general a point at which a given mathematical object is not defined, or a point of an exceptional set where it fails to be well-behaved in some particular way, such as differentiability. ... The residue theorem in complex analysis is a powerful tool to evaluate path integrals of meromorphic functions over closed curves and can often be used to compute real integrals as well. ...

Contents

Motivation

As an example, consider the contour integral

oint_C {e^z over z^5},dz

where C is some Jordan curve about 0. In topology, the Jordan curve theorem states that every non-self-intersecting loop in the plane divides the plane into an inside and an outside. It was proved by Oswald Veblen in 1905. ...


Let us evaluate this integral without using standard integral theorems that may be available to us. Now, the Taylor series for ez is well-known, and we substitute this series into the integrand. The integral then becomes As the degree of the Taylor series rises, it approaches the correct function. ...

oint_C {1 over z^5}left(1+z+{z^2 over 2!} + {z^3over 3!} + {z^4 over 4!} + {z^5 over 5!} + {z^6 over 6!} + cdotsright),dz.

Let us bring the 1/z5 term into the series, and so, we obtain

oint_C left({1 over z^5}+{z over z^5}+{z^2 over 2!;z^5} + {z^3over 3!;z^5} + {z^4 over 4!;z^5} + {z^5 over 5!;z^5} + {z^6 over 6!;z^5} + cdotsright),dz =
oint_C left({1 over;z^5}+{1 over;z^4}+{1 over 2!;z^3} + {1over 3!;z^2} + {1 over 4!;z} + {1over;5!} + {z over 6!} + cdotsright),dz.

The integral now collapses to a much simpler form. Recall that

oint_C {1 over z^a} ,dz=0,quad a in mathbb{Z},mbox{ for }a ne 1.

So now the integral around C of every other term not in the form cz−1 becomes 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!}(2pi i) = {pi i over 12}.

The value 1/4! is known as the residue of ez/z5 at z = 0, and is notated as

mathrm{Res}_0 {e^z over z^5}, mathrm{or} mathrm{Res}_{z=0} {e^z over z^5}, mathrm{or} mathrm{Res}(f,0).

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 a−1 of (zc)−1 in the Laurent series expansion of f around c. At a simple pole, the residue is given by: An annulus An annulus (from Latin anulus, little ring) is a ring-shaped geometric figure, or more generally, a term used to name a ring-shaped object. ... Holomorphic functions are the central object of study of complex analysis; they are functions defined on an open subset of the complex number plane C with values in C that are complex-differentiable at every point. ... A Laurent series is defined with respect to a particular point c and a path of integration γ. The path of integration must lie in an annulus (shown here in red) inside of which f(z) is holomorphic. ... In complex analysis, a pole of a function is a certain type of simple singularity that behaves like the singularity of f(z) = 1/zn at z = 0; a pole of a function f is a point a such that f(z) approaches infinity as z approaches a. ...

operatorname{Res}(f,c)=lim_{zto c}(z-c)f(z).

According to the integral formula given in the Laurent series article we have: A Laurent series is defined with respect to a particular point c and a path of integration γ. The path of integration must lie in an annulus (shown here in red) inside of which f(z) is holomorphic. ...

operatorname{Res}(f,c) = {1 over 2pi i} int_gamma f(z),dz

where γ traces out a circle around c in a counterclockwise manner. We may choose the path γ to be a circle in radius ε around c where ε is as small as we desire.


The residue of a function f(z)=g(z)/h(z) at a simple pole c, where g and h are holomorphic functions in a neighborhood of c with h(c) = 0 and g(c) ≠ 0 is given by In complex analysis, a pole of a function is a certain type of simple singularity that behaves like the singularity of f(z) = 1/zn at z = 0; a pole of a function f is a point a such that f(z) approaches infinity as z approaches a. ...

operatorname{Res}(f,c) = frac{g(c)}{h'(c)}.

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

mathrm{Res}(f,c) = frac{1}{(n-1)!} cdot lim_{z to c} left(frac{d}{dz}right)^{n-1}left( f(z)cdot (z-c)^{n} right).

If the function f can be continued to a holomorphic function on the whole disk { z : |zc| < R }, then Res(f, c) = 0. The converse is not generally true.


Due to its simplicity, the latter formula is more than useful in the computation of residues at first order poles.


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, calculating the residue is significantly simpler than by other methods. As the degree of the Taylor series rises, it approaches the correct function. ... A Laurent series is defined with respect to a particular point c and a path of integration γ. The path of integration must lie in an annulus (shown here in red) inside of which f(z) is holomorphic. ...


As an 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 thus the residue at z = 0 is therefore 0. In complex analysis, a removable singularity of a function is a point at which the function is not defined (a singularity) but at which the function can be defined without creating any problems. ...


The only other singularity is at z = 1. Recall

g(z) = g(a) + g'(a)(z-a) + {g''(a)(z-a)^2 over 2!} + {g'''(a)(z-a)^3 over 3!}+ cdots

about z = a, 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.

Introducing 1/(z − 1) gives us

{sin{z} over z-1} = {sin{1} over z-1} + {cos{1}(z-1) over z-1}+{-sin{1}(z-1)^2 over 2!(z-1)} + {-cos{1}(z-1)^3 over 3!(z-1)}+cdots.

So the residue of f(z) at z = 1 is sin 1.


See also

The residue theorem in complex analysis is a powerful tool to evaluate path integrals of meromorphic functions over closed curves and can often be used to compute real integrals as well. ... In mathematics, Cauchys integral formula, named after Augustin Louis Cauchy, is a central statement in complex analysis. ... In mathematics, the Cauchy integral theorem in complex analysis, named after Augustin Louis Cauchy, is an important statement about path integrals for holomorphic functions in the complex plane. ... In complex analysis, the evaluation of integrals of real-valued functions along intervals on the real line, is not readily found with certain integrands and methods involving only real variables. ... In complex analysis, Moreras theorem states that if the integral of a continuous complex-valued function f of a complex variable along every simple closed curve within an open set is zero, that is, if for C any simple closed curve, then f is differentiable at every point in...

External links


  Results from FactBites:
 
Complex analysis - definition of Complex analysis - Labor Law Talk Dictionary (671 words)
Complex analysis is the branch of mathematics investigating holomorphic functions, i.e.
There is also a very rich theory of complex analysis in more than one complex dimension where the analytic properties such as power series expansion still remain true whereas most of the geometric properties of holomorphic functions in one complex dimension (such as conformality) are no longer true.
Complex analysis is one of the classical branches in mathematics with its roots in the 19th century and some even before.
  More results at FactBites »


 

COMMENTARY     


Share your thoughts, questions and commentary here
Your name
Your comments
Please enter the 5-letter protection code

Want to know more?
Search encyclopedia, statistics and forums:

 


Lesson Plans | Student Area | Student FAQ | Reviews | Press Releases |  Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms.