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. (The terminology comes from the Ancient Greek meros (μέρος), meaning part, as opposed to holos (ὅλος), meaning whole.)
Every meromorphic function on D can be expressed as the ratio between two holomorphic functions (with the denominator not constant 0) defined on D: any pole must coincide with a zero of the denominator.
Intuitively then, a meromorphic function is a ratio of two well-behaved (holomorphic) functions. Such a function will still be well-behaved, except possibly at the points where the denominator of the fraction is zero. (If the denominator has a zero at z and the numerator does not, then the value of the function will be infinite; if both parts have a zero at z, then one must compare the multiplicities of these zeros.)
From an algebraic point of view, if D is connected, then the set of meromorphic functions is the field of fractions of the integral domain of the set of holomorphic functions. This is analogous to the relationship between , the rational numbers, and , the integers.
Additionally, in group theory of the 1930s, a meromorphic function (or simply a meromorph) was a function from a group G into itself which preserves the product on the group. The image of this function was called an automorphism of G. (Similarly, a homomorphic function (or homomorph) was a function between groups which preserved the product while a homomorphism was the image of a homomorph.) This terminology has been replaced with use of endomorphism for the function itself with no special name given to the image of the function and thus meromorph no longer has an implied meaning within group theory.
- All rational functions such as
- are meromorphic on the whole complex plane.
- The functions
- as well as the gamma function and the Riemann zeta function are meromorphic on the whole complex plane.
- The function
- f(z) = e1 / z
- is defined in the whole complex plane except for the origin, 0. However, 0 is not a pole of this function, rather an essential singularity. Thus, this function is not meromorphic in the whole complex plane. However, it is meromorphic (even holomorphic) on .
- The complex logarithm function
- f(z) = ln(z)
- is not meromorphic on the whole complex plane, as it cannot be defined on the whole complex plane less an isolated set of points.
- The function
- is not meromorphic in the whole plane, since the point z = 0 is an accumulation point of poles and is thus not an isolated singularity. The function
- is not meromorphic either, as it has an essential singularity at 0.
Since the poles of a meromorphic function are isolated, there are at most countably many. The set of poles can be infinite, as exemplified by the function
By using analytic continuation to eliminate removable singularities, meromorphic functions can be added, subtracted, multiplied, and the quotient f / g can be formed unless g(z) = 0 on a connected component of D. Thus, if D is connected, the meromorphic functions form a field, in fact a field extension of the complex numbers.
Meromorphic functions on Riemann surfaces
On a Riemann surface every point admits an open neighborhood which is homeomorphic to an open subset of the complex plane. Thereby the notion of a meromorphic function can be defined for every Riemann surface.
When D is the entire Riemann sphere, the field of meromorphic functions is simply the field of rational functions in one variable over the complex field, since one can prove that any meromorphic function on the sphere is rational. (This is a special case of the so-called GAGA principle.)
For every Riemann surface, a meromorphic function is the same as a holomorphic function that maps to the Riemann sphere and which is not constant ∞. The poles correspond to those complex numbers which are mapped to ∞.
On a non-compact Riemann surface every meromorphic function can be realized as a quotient of two (globally defined) holomorphic functions. In contrast, on a compact Riemann surface every holomorphic function is constant, while there always exist non-constant meromorphic functions.
In several complex variables, a meromorphic function is defined to be locally a quotient of two holomorphic functions. For example, f(z1,z2) = z1 / z2 is a meromorphic function on the two-dimensional complex affine space. Here it is no longer true that every meromorphic function can be regarded as holomorphic function with values in the Riemann sphere: There is a set of "indeterminacy" of codimension two (in the given example this set consists of the origin (0,0)).
- ^ Zassenhaus pp. 29, 41
- Lang, Serge (1999), Complex analysis (4th ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-98592-3
- Zassenhaus, Hans (1937), Lehrbuch der Gruppentheorie (1st ed.), Leipzig, Berlin: Verlag und Druck von B.G.Teubner
Wikimedia Foundation. 2010.
Look at other dictionaries:
meromorphic function — |merə|mȯrfik , |mȯ(ə)f noun Etymology: meromorphic from mer (III) + morphic : a function of a complex variable that is regular in a region except for a finite number of points at which it has infinity for limit … Useful english dictionary
Function field of an algebraic variety — In algebraic geometry, the function field of an algebraic variety V consists of objects which are interpreted as rational functions on V . In complex algebraic geometry these are meromorphic functions and their higher dimensional analogues; in… … Wikipedia
meromorphic — [mer΄ō môr′fik] adj. [< Gr meros, part (see MERIT) + MORPHIC] Math. designating or of a function of a complex variable that is regular in a given domain except for a finite number of poles … English World dictionary
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
meromorphic — adjective Date: circa 1890 relating to or being a function of a complex variable that is analytic everywhere in a region except for singularities at each of which infinity is the limit and each of which is contained in a neighborhood where the… … New Collegiate Dictionary
meromorphic — /mer euh mawr fik/, adj. Math. of or pertaining to a function that is analytic, except for poles, in a given domain. [‡1885 90; MERO + MORPHIC] * * * … Universalium
meromorphic — adjective (Of a function) which is a ratio of two holomorphic functions … Wiktionary
meromorphic — /mer euh mawr fik/, adj. Math. of or pertaining to a function that is analytic, except for poles, in a given domain. [‡1885 90; MERO + MORPHIC] … Useful english dictionary
Doubly periodic function — In mathematics, a doubly periodic function is a function defined at all points on the complex plane and having two periods , which are complex numbers u and v that are linearly independent as vectors over the field of real numbers. That u and v… … Wikipedia
Gamma function — For the gamma function of ordinals, see Veblen function. The gamma function along part of the real axis In mathematics, the gamma function (represented by the capital Greek letter Γ) is an extension of the factorial function, with its… … Wikipedia