Zeros and poles

Last updated

In complex analysis (a branch of mathematics), a pole is a certain type of singularity of a complex-valued function of a complex variable. It is the simplest type of non-removable singularity of such a function (see essential singularity). Technically, a point z0 is a pole of a function f if it is a zero of the function 1/f and 1/f is holomorphic (i.e. complex differentiable) in some neighbourhood of z0.

Contents

A function f is meromorphic in an open set U if for every point z of U there is a neighborhood of z in which at least one of f and 1/f is holomorphic.

If f is meromorphic in U, then a zero of f is a pole of 1/f, and a pole of f is a zero of 1/f. This induces a duality between zeros and poles, that is fundamental for the study of meromorphic functions. For example, if a function is meromorphic on the whole complex plane plus the point at infinity, then the sum of the multiplicities of its poles equals the sum of the multiplicities of its zeros.

Definitions

A function of a complex variable z is holomorphic in an open domain U if it is differentiable with respect to z at every point of U. Equivalently, it is holomorphic if it is analytic, that is, if its Taylor series exists at every point of U, and converges to the function in some neighbourhood of the point. A function is meromorphic in U if every point of U has a neighbourhood such that at least one of f and 1/f is holomorphic in it.

A zero of a meromorphic function f is a complex number z such that f(z) = 0. A pole of f is a zero of 1/f.

If f is a function that is meromorphic in a neighbourhood of a point of the complex plane, then there exists an integer n such that

is holomorphic and nonzero in a neighbourhood of (this is a consequence of the analytic property). If n > 0, then is a pole of order (or multiplicity) n of f. If n < 0, then is a zero of order of f. Simple zero and simple pole are terms used for zeroes and poles of order Degree is sometimes used synonymously to order.

This characterization of zeros and poles implies that zeros and poles are isolated, that is, every zero or pole has a neighbourhood that does not contain any other zero and pole.

Because of the order of zeros and poles being defined as a non-negative number n and the symmetry between them, it is often useful to consider a pole of order n as a zero of order n and a zero of order n as a pole of order n. In this case a point that is neither a pole nor a zero is viewed as a pole (or zero) of order 0.

A meromorphic function may have infinitely many zeros and poles. This is the case for the gamma function (see the image in the infobox), which is meromorphic in the whole complex plane, and has a simple pole at every non-positive integer. The Riemann zeta function is also meromorphic in the whole complex plane, with a single pole of order 1 at z = 1. Its zeros in the left halfplane are all the negative even integers, and the Riemann hypothesis is the conjecture that all other zeros are along Re(z) = 1/2.

In a neighbourhood of a point a nonzero meromorphic function f is the sum of a Laurent series with at most finite principal part (the terms with negative index values):

where n is an integer, and Again, if n > 0 (the sum starts with , the principal part has n terms), one has a pole of order n, and if n ≤ 0 (the sum starts with , there is no principal part), one has a zero of order .

At infinity

A function is meromorphic at infinity if it is meromorphic in some neighbourhood of infinity (that is outside some disk), and there is an integer n such that

exists and is a nonzero complex number.

In this case, the point at infinity is a pole of order n if n > 0, and a zero of order if n < 0.

For example, a polynomial of degree n has a pole of degree n at infinity.

The complex plane extended by a point at infinity is called the Riemann sphere.

If f is a function that is meromorphic on the whole Riemann sphere, then it has a finite number of zeros and poles, and the sum of the orders of its poles equals the sum of the orders of its zeros.

Every rational function is meromorphic on the whole Riemann sphere, and, in this case, the sum of orders of the zeros or of the poles is the maximum of the degrees of the numerator and the denominator.

Examples

A polynomial of degree 9 has a pole of order 9 at [?], here plotted by domain coloring of the Riemann sphere. Pole-order9-infin.png
A polynomial of degree 9 has a pole of order 9 at ∞, here plotted by domain coloring of the Riemann sphere.
is meromorphic on the whole Riemann sphere. It has a pole of order 1 or simple pole at and a simple zero at infinity.
is meromorphic on the whole Riemann sphere. It has a pole of order 2 at and a pole of order 3 at . It has a simple zero at and a quadruple zero at infinity.
is meromorphic in the whole complex plane, but not at infinity. It has poles of order 1 at . This can be seen by writing the Taylor series of around the origin.
has a single pole at infinity of order 1, and a single zero at the origin.

All above examples except for the third are rational functions. For a general discussion of zeros and poles of such functions, see Pole–zero plot § Continuous-time systems.

Function on a curve

The concept of zeros and poles extends naturally to functions on a complex curve, that is complex analytic manifold of dimension one (over the complex numbers). The simplest examples of such curves are the complex plane and the Riemann surface. This extension is done by transferring structures and properties through charts, which are analytic isomorphisms.

More precisely, let f be a function from a complex curve M to the complex numbers. This function is holomorphic (resp. meromorphic) in a neighbourhood of a point z of M if there is a chart such that is holomorphic (resp. meromorphic) in a neighbourhood of Then, z is a pole or a zero of order n if the same is true for

If the curve is compact, and the function f is meromorphic on the whole curve, then the number of zeros and poles is finite, and the sum of the orders of the poles equals the sum of the orders of the zeros. This is one of the basic facts that are involved in Riemann–Roch theorem.

See also

Related Research Articles

<span class="mw-page-title-main">Complex analysis</span> Branch of mathematics studying functions of a complex variable

Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic geometry, number theory, analytic combinatorics, and applied mathematics, as well as in physics, including the branches of hydrodynamics, thermodynamics, quantum mechanics, and twistor theory. By extension, use of complex analysis also has applications in engineering fields such as nuclear, aerospace, mechanical and electrical engineering.

In complex analysis, an entire function, also called an integral function, is a complex-valued function that is holomorphic on the whole complex plane. Typical examples of entire functions are polynomials and the exponential function, and any finite sums, products and compositions of these, such as the trigonometric functions sine and cosine and their hyperbolic counterparts sinh and cosh, as well as derivatives and integrals of entire functions such as the error function. If an entire function has a root at , then , taking the limit value at , is an entire function. On the other hand, the natural logarithm, the reciprocal function, and the square root are all not entire functions, nor can they be continued analytically to an entire function.

<span class="mw-page-title-main">Holomorphic function</span> Complex-differentiable (mathematical) function

In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space Cn. The existence of a complex derivative in a neighbourhood is a very strong condition: it implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series. Holomorphic functions are the central objects of study in complex analysis.

In complex analysis, a branch of mathematics, the Casorati–Weierstrass theorem describes the behaviour of holomorphic functions near their essential singularities. It is named for Karl Theodor Wilhelm Weierstrass and Felice Casorati. In Russian literature it is called Sokhotski's theorem.

<span class="mw-page-title-main">Residue (complex analysis)</span> Attribute of a mathematical function

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. Residues can be computed quite easily and, once known, allow the determination of general contour integrals via the residue theorem.

<span class="mw-page-title-main">Residue theorem</span> Concept of complex analysis

In complex analysis, 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. The residue theorem should not be confused with special cases of the generalized Stokes' theorem; however, the latter can be used as an ingredient of its proof.

<span class="mw-page-title-main">Meromorphic function</span> Class of mathematical function

In the mathematical field of complex analysis, a meromorphic function on an open subset D of the complex plane is a function that is holomorphic on all of Dexcept for a set of isolated points, which are poles of the function. The term comes from the Greek meros, meaning "part".

<span class="mw-page-title-main">Essential singularity</span> Location around which a function displays irregular behavior

In complex analysis, an essential singularity of a function is a "severe" singularity near which the function exhibits striking behavior.

<span class="mw-page-title-main">Riemann surface</span> One-dimensional complex manifold

In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versions of the complex plane: locally near every point they look like patches of the complex plane, but the global topology can be quite different. For example, they can look like a sphere or a torus or several sheets glued together.

In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

<span class="mw-page-title-main">Complex plane</span> Geometric representation of the complex numbers

In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the horizontal x-axis, called the real axis, is formed by the real numbers, and the vertical y-axis, called the imaginary axis, is formed by the imaginary numbers.

The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It relates the complex analysis of a connected compact Riemann surface with the surface's purely topological genus g, in a way that can be carried over into purely algebraic settings.

In mathematics, a modular form is a (complex) analytic function on the upper half-plane, , that satisfies:

<span class="mw-page-title-main">Isolated singularity</span> Has no other singularities close to it

In complex analysis, a branch of mathematics, an isolated singularity is one that has no other singularities close to it. In other words, a complex number z0 is an isolated singularity of a function f if there exists an open disk D centered at z0 such that f is holomorphic on D \ {z0}, that is, on the set obtained from D by taking z0 out.

In the mathematical field of complex analysis, Nevanlinna theory is part of the theory of meromorphic functions. It was devised in 1925, by Rolf Nevanlinna. Hermann Weyl called it "one of the few great mathematical events of (the twentieth) century." The theory describes the asymptotic distribution of solutions of the equation f(z) = a, as a varies. A fundamental tool is the Nevanlinna characteristic T(r, f) which measures the rate of growth of a meromorphic function.

In the mathematical field of complex analysis, a branch point of a multivalued function is a point such that if the function is -valued at that point, all of its neighborhoods contain a point that has more than values. Multi-valued functions are rigorously studied using Riemann surfaces, and the formal definition of branch points employs this concept.

In complex analysis, Picard's great theorem and Picard's little theorem are related theorems about the range of an analytic function. They are named after Émile Picard.

In mathematics, with special application to complex analysis, a normal family is a pre-compact subset of the space of continuous functions. Informally, this means that the functions in the family are not widely spread out, but rather stick together in a somewhat "clustered" manner. Note that a compact family of continuous functions is automatically a normal family. Sometimes, if each function in a normal family F satisfies a particular property , then the property also holds for each limit point of the set F.

<span class="mw-page-title-main">Riemann sphere</span> Model of the extended complex plane plus a point at infinity

In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane : the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers plus a value for infinity. With the Riemann model, the point is near to very large numbers, just as the point is near to very small numbers.

In mathematics, a planar Riemann surface is a Riemann surface sharing the topological properties of a connected open subset of the Riemann sphere. They are characterized by the topological property that the complement of every closed Jordan curve in the Riemann surface has two connected components. An equivalent characterization is the differential geometric property that every closed differential 1-form of compact support is exact. Every simply connected Riemann surface is planar. The class of planar Riemann surfaces was studied by Koebe who proved in 1910, as a generalization of the uniformization theorem, that every such surface is conformally equivalent to either the Riemann sphere or the complex plane with slits parallel to the real axis removed.

References