Editing Zeros and poles

{{short description|Concept in complex analysis}}
{{No footnotes|date=May 2025}}
{{Complex analysis sidebar}}

In [[complex analysis]] (a branch of mathematics), a '''pole''' is a certain type of [[singularity (mathematics)|singularity]] of a [[complex-valued function]] of a [[complex number|complex]] variable. It is the simplest type of non-[[removable singularity]] of such a function (see [[essential singularity]]). Technically, a point {{math|''z''<sub>0</sub>}} is a pole of a function {{mvar|f}} if it is a [[zero of a function|zero]] of the function {{math|1/''f''}} and {{math|1/''f''}} is [[holomorphic function|holomorphic]] (i.e. [[complex differentiable]]) in some [[neighbourhood (mathematics)|neighbourhood]] of {{math|''z''<sub>0</sub>}}.

A function {{mvar|f}} is [[meromorphic function|meromorphic]] in an [[open set]] {{mvar|U}} if for every point {{mvar|z}} of {{mvar|U}} there is a neighborhood of {{mvar|z}} in which at least one of {{mvar|f}} and {{math|1/''f''}} is holomorphic.

If {{mvar|f}} is meromorphic in {{mvar|U}}, then a zero of {{mvar|f}} is a pole of {{math|1/''f''}}, and a pole of {{mvar|f}} is a zero of {{math|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 [[multiplicity (mathematics)|multiplicities]] of its poles equals the sum of the multiplicities of its zeros.

== Definitions ==
A [[function of a complex variable]] {{mvar|z}} is [[Holomorphic function|holomorphic]] in an [[open set|open domain]] {{mvar|U}} if it is [[differentiable function|differentiable]] with respect to {{mvar|z}} at every point of {{mvar|U}}. Equivalently, it is holomorphic if it is [[analytic function|analytic]], that is, if its [[Taylor series]] exists at every point of {{mvar|U}}, and converges to the function in some [[neighbourhood (mathematics)|neighbourhood]] of the point. A function is [[meromorphic function|meromorphic]] in {{mvar|U}} if every point of {{mvar|U}} has a neighbourhood such that at least one of {{mvar|f}} and {{math|1/''f''}} is holomorphic in it.

A '''[[zero of a function|zero]]''' of a meromorphic function {{mvar|f}} is a complex number {{mvar|z}} such that {{math|1=''f''(''z'') = 0}}. A '''pole''' of {{mvar|f}} is a zero of {{math|1/''f''}}.

If {{mvar|f}} is a function that is meromorphic in a neighbourhood of a point <math>z_0</math> of the [[complex plane]], then there exists an integer {{mvar|n}} such that 
:<math>(z-z_0)^n f(z)</math>
is holomorphic and nonzero in a neighbourhood of <math>z_0</math> (this is a consequence of the analytic property).
If {{math|''n'' > 0}}, then <math>z_0</math> is a ''pole'' of '''order''' (or multiplicity) {{mvar|n}} of {{mvar|f}}. If {{math|''n'' < 0}}, then <math>z_0</math> is a zero of order <math>|n|</math> of {{mvar|f}}. ''Simple zero'' and ''simple pole'' are terms used for zeroes and poles of order <math>|n|=1.</math> ''Degree'' is sometimes used synonymously to order.

This characterization of zeros and poles implies that zeros and poles are [[isolated point|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 {{mvar|n}} and the symmetry between them, it is often useful to consider a pole of order {{mvar|n}} as a zero of order {{math|−''n''}} and a zero of order {{mvar|n}} as a pole of order {{math|−''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 {{math|1=''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 {{math|1=Re(''z'') = 1/2}}.

In a neighbourhood of a point <math>z_0,</math> a nonzero meromorphic function {{mvar|f}} is the sum of a [[Laurent series]] with at most finite ''principal part'' (the terms with negative index values):
:<math>f(z) = \sum_{k\geq -n} a_k (z - z_0)^k,</math>
where {{mvar|n}} is an integer, and <math>a_{-n}\neq 0.</math> Again, if {{math|''n'' > 0}} (the sum starts with <math>a_{-|n|} (z - z_0)^{-|n|}</math>, the principal part has {{mvar|n}} terms), one has a pole of order {{mvar|n}}, and if {{math|''n'' ≤ 0}} (the sum starts with <math>a_{|n|} (z - z_0)^{|n|}</math>, there is no principal part), one has a zero of order <math>|n|</math>.

==At infinity==
A function <math> z \mapsto f(z)</math> is ''meromorphic at infinity'' if it is meromorphic in some neighbourhood of infinity (that is outside some [[disk (mathematics)|disk]]), and there is an integer {{mvar|n}} such that 
:<math>\lim_{z\to \infty}\frac{f(z)}{z^n}</math>
exists and is a nonzero complex number.

In this case, the [[point at infinity]] is a pole of order {{mvar|n}} if {{math|''n'' > 0}}, and a zero of order <math>|n|</math> if {{math|''n'' < 0}}.

For example, a [[polynomial]] of degree {{mvar|n}} has a pole of degree {{mvar|n}} at infinity.

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

If {{mvar|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 ==

[[File:Pole-order9-infin.png|right|thumb|300px|A polynomial of degree 9 has a pole of order 9 at ∞, here plotted by [[domain coloring]] of the Riemann sphere.]]
* The function
::<math>f(z) = \frac{3}{z}</math>
: is meromorphic on the whole Riemann sphere. It has a pole of order 1 or simple pole at <math> z= 0,</math> and a simple zero at infinity.

* The function
:: <math>f(z) = \frac{z+2}{(z-5)^2(z+7)^3}</math>
: is meromorphic on the whole Riemann sphere. It has a pole of order 2 at <math> z=5,</math> and a pole of order 3 at <math> z = -7</math>. It has a simple zero at <math> z=-2,</math> and a quadruple zero at infinity.

* The function
:: <math>f(z) = \frac{z-4}{e^z-1}</math>
: is meromorphic in the whole complex plane, but not at infinity. It has poles of order 1 at <math> z=2\pi ni\text{ for } n\in\mathbb Z</math>. This can be seen by writing the [[Taylor series]] of <math> e^z</math> around the origin.

* The function
::<math>f(z) = z</math>
: 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 {{sectionlink|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 [[Atlas (topology)|chart]]s, which are analytic [[isomorphism]]s.

More precisely, let {{mvar|f}} be a function from a complex curve {{mvar|M}} to the complex numbers. This function is holomorphic (resp. meromorphic) in a neighbourhood of a point {{mvar|z}} of {{mvar|M}} if there is a chart <math>\phi</math> such that <math> f \circ \phi^{-1}</math> is holomorphic (resp. meromorphic) in a neighbourhood of <math>\phi(z).</math> Then, {{mvar|z}} is a pole or a zero of order {{mvar|n}} if the same is true for <math>\phi(z).</math>

If the curve is [[compact space|compact]], and the function {{mvar|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==
* [[Argument principle]]
* {{slink|Control theory#Stability}}
* [[Filter design]]
* [[Filter (signal processing)]]
* [[Gauss–Lucas theorem]]
* [[Hurwitz's theorem (complex analysis)]]
* [[Marden's theorem]]
* [[Nyquist stability criterion]]
* [[Pole–zero plot]]
* [[Residue (complex analysis)]]
* [[Rouché's theorem]]
* [[Sendov's conjecture]]

==References==
*{{cite book |last=Conway |first=John B. | author-link= John B. Conway |title=Functions of One Complex Variable I |year=1986 |publisher=Springer |isbn=0-387-90328-3}}
*{{cite book |last=Conway |first=John B. |title=Functions of One Complex Variable II |year=1995 |publisher=Springer |isbn=0-387-94460-5}}
*{{cite book| last= Henrici | first= Peter | author-link= Peter Henrici (mathematician) | title= Applied and Computational Complex Analysis 1 | year= 1974 | publisher= [[John Wiley & Sons]]}}

== External links ==
* {{MathWorld | urlname= Pole | title= Pole}}

[[Category:Complex analysis]]