 # Meromorphic Function, Elliptic: Simple Definition, Examples

Share on

## What is a Meromorphic Function?

A meromorphic function is the ratio of two analytic functions which are analytic except for isolated singularities, called “poles.” The word meromorphic comes from the Greek words meros (“part”) and morphe (“form” or “appearance”).

A “pole” is where the function is undefined, or approaches infinity. Like their real valued function counterparts, analytic functions will have poles when the denominator in the function equals zero (as long as the numerator is not also zero). When graphed, the poles create vertical asymptotes.

## Examples of Meromorphic Functions The gamma function is meromorphic in the whole complex plane. Image: Geek3|Wikimedia Commons

 Function Meromorphicity Region 1 / z everywhere except z = 0 1 / (1 + z2) Everywhere except z = ±1 1 + z + z2 Everywhere

## Meromorphic Asymptotes

As stated above, what makes a meromorphic function unique is that it contains singularities that tend to infinity. If you’re having trouble visualizing this, you can think of a “pole” in terms of asymptotes. A pole (zero) will create a vertical asymptote on a graph; The asymptotes of a meromorphic function are defined as the absolute value of z goes to infinity along a specified path, the function value tends to that asymptote. In notation, that’s:

As |z| →, f(z) → a.

## Meromorphic Behavior

While the term “meromorphic function” applies only to complex-valued functions, rational functions can show “meromorphic” behavior (i.e. there’s a place where a pole/zero creates an asymptote). A rational function is the division of two polynomials; Every rational function will have a pole and a vertical asymptote when there is division by zero.

## A more precise definition

meromophic functions are a broad class of complex functions that are also analytic functions everywhere except for singularities that have the following characteristics:

1. The limit at each singularity is infinity,
2. The singularity is surrounded by a neighborhood where the function is analytic, with the exception of the singularity itself.

This can be defined in notation as follows (Elajolet and Sedgewick, 2009):

“A function h(z), defined in Ω is meromorphic at z0 in Ω if and only if in a neighborhood of z0 ≠ z0 it can be represented as f(z)/g(z), where f(z) and g(z) are analytic at z0.”

Or, stated more simply:

## Derivatives of Meromorphic Functions

It follows then, that if the function is basically a set of neighborhoods with sprinkled asymptotes, the derivative can be found for one neighborhood at a time, assuming the values are finite (with the exception of at most one singularity).

## What is an Elliptic Function?

Elliptic functions are meromorphic functions and doubly periodic.

• A meromorphic function is the ratio of two analytic functions which are analytic except for isolated singularities, called “poles.”
• A doubly periodic function has two periods (ω1 and ω2), such that
f(z + ω1) = f (z + ω1) = f(z)
The fundamental pair of periods (demoted by omega, ω) span a parallelogram in the complex plane.

The ratio of the two periods, A/B cannot be purely real. Otherwise, the function is singly periodic (if the ratio is rational) and constant (if the ratio is irrational).

## Fundamental Parallelograms of Elliptic Functions A fundamental parallelogram.

The building blocks of elliptic functions are period parallelograms. With a real-valued periodic function, a period, or interval, repeats. With an elliptic function, a parallelogram repeats.

The fundamental period parallelogram of an elliptic function has vertices 0, 2ω1, 2ω1 + 2ω2, and 2ω2, where ω1 and ω2 are the function’s smallest periods. If you translate the fundamental parallelogram by integer multiples of periods ω1 and ω2, you get a period parallelogram.

## Properties of Elliptic Functions

Elliptic functions obey the following properties. A “cell” is a period parallelogram where the function is not multi-valued:

• There are a finite number of poles in a cell; A cell with no poles is a constant.
• There are a finite number of roots in a cell.
• The sum of residues in any cell equals zero.
• The number of zeros (the order) equals the number of poles in f(z).

## Types of Elliptic Functions

Elliptic functions are classified as either Jacobi or Weierstrass. The most popular of the twelve Jacobian elliptic functions are:

• Sine amplitude elliptic function — sn(x, k),
• Cosine amplitude elliptic function — cn(x, k),
• Delta amplitude elliptic function — dn(x, k).

## References

Cima, J. & Schober, G. On Spaces of Meromorphic Functions. Rocky Mountain Journal of Mathematics. Volume 9, Number 3. Summer 1979. Retrieved December 8, 2019 from: https://projecteuclid.org/download/pdf_1/euclid.rmjm/1250129198
Elajolet, P. & Sedgwick, R. (2009). Analytic Combinatorics. Cambridge University Press.
Jacobi, C. G. J. Fundamentia Nova Theoriae Functionum Ellipticarum. Regiomonti, Sumtibus fratrum Borntraeger, 1829.
Ludmark, H. Complex Analysis. Retrieved December 20, 2019 from: http://users.mai.liu.se/hanlu09/complex/elliptic/
Smith, K. (2013). Elementary Functions.