Contents:
Meromorphic Function Definition
What is an Elliptic Function?
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
Function | Meromorphicity Region |
1 / z | everywhere except z = 0 |
1 / (1 + z^{2}) | Everywhere except z = ±1 |
1 + z + z^{2} | 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:
- The limit at each singularity is infinity,
- 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 z_{0} in Ω if and only if in a neighborhood of z_{0} ≠ z_{0} it can be represented as f(z)/g(z), where f(z) and g(z) are analytic at z_{0}.”
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
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.
Learn more about Meromorphic Function: Nine Introductions in Complex Analysis. In North-Holland Mathematics Studies, 2008.
Elliptic Function. Retrieved December 20, 2019 from: https://archive.lib.msu.edu/crcmath/math/math/e/e093.htm
Tkachev, V. Introductory course. Retrieved December 20, 2019 from: http://users.mai.liu.se/vlatk48/teaching/lect2-agm.pdf
Stephanie Glen. "Meromorphic Function, Elliptic: Simple Definition, Examples" From CalculusHowTo.com: Calculus for the rest of us! https://www.calculushowto.com/meromorphic-function-definition/
Need help with a homework or test question? With Chegg Study, you can get step-by-step solutions to your questions from an expert in the field. Your first 30 minutes with a Chegg tutor is free!