meromorphic function
Let an agent define meromorphic functions and their properties, give examples and distinguish them from holomorphic and entire functions, relay key theorems and their role in number theory, and separate the concept from the algebraic geometry sense of regular function listed as an alias.
Research draft, second pass
A second pass drafted this model: the structure a model of this thing needs, and what is known about it in the world. The line under this one says how the second half was obtained - researched against sources, or recalled without web access, in which case nothing here was read anywhere and every claim is a lead to verify. Unreviewed either way.
written by Claude from model knowledge without web access - no source was read, every claim is a lead to verify
Researched by: Claude
Purpose and description
Let an agent define meromorphic functions and their properties, give examples and distinguish them from holomorphic and entire functions, relay key theorems and their role in number theory, and separate the concept from the algebraic geometry sense of regular function listed as an alias.
A function of a complex variable that is holomorphic on an open domain except at isolated points where it has poles, so that it can be written locally as a ratio of holomorphic functions; meromorphic functions include rational functions, the gamma and polygamma functions and L-functions such as the Riemann zeta, Dirichlet and Artin L-functions, and they are central to complex analysis, number theory and the study of Riemann surfaces.
What it is for: A central class of functions in complex analysis.
It can be define and characterise the class; give examples and counterexamples; relay key theorems; distinguish related notions.
Distinguishing features
Isolated poles only
Field of functions on a domain
Residues and Laurent expansions
Examples from number theory
What it looks like
Not a visible object; functions with poles, visualised by domain colouring.
How it is recognised
Holomorphic except at isolated poles
Locally a ratio of holomorphic functions
Holomorphic functions have no poles; essential singularities are excluded
Related models
is a kind of - in registry terms
is a generalisation of - allowing poles
includes - the simplest case
is related to - where the theory extends
In practice
Families and kinds
rational functions
the gamma function and polygamma functions
L-functions including Dirichlet and Artin L-functions and the Riemann zeta function
elliptic functions
meromorphic functions on Riemann surfaces
regular functions in algebraic geometry, a related but distinct notion listed as an alias
Standards and regulation
No regulation; standard definitions in complex analysis texts
Failure modes and hazards
Confusing poles with essential singularities
Confusing meromorphic with holomorphic or entire
Sense confusion with regular functions in algebraic geometry
Also called
Where this came from
wikidata · CC0 1.0
Drafted structure
Bundle to layer to finding to question, as the second pass will find it: 4 bundles · 8 layers · 8 findings · 16 questions.
Define What a meromorphic function is.
Definition.
Definition
Definition and examples.
Definition
Definition.
- What is a meromorphic function, and what are examples and counterexamples? definition
- Is the function meromorphic, holomorphic, entire or none? boundary
Poles
Poles and residues.
Poles
Poles.
- How are poles, orders and residues defined and computed? definition
- Which entry fits residue? action
Theory Theorems.
Theory.
Theorems
Key theorems.
Theorems
Theorems.
- What do the residue theorem, the argument principle and Mittag-Leffler theorem say? provenance
- Which references are standard? provenance
Surfaces
Riemann surfaces.
Surfaces
Surfaces.
- How do meromorphic functions behave on compact Riemann surfaces, and what does Riemann-Roch say? provenance
- Which entry fits Riemann-Roch theorem? action
Examples Important examples.
Application.
Special
Special functions.
Special
Special.
- Why are the gamma, polygamma and elliptic functions meromorphic, and where are their poles? provenance
- Which entry fits gamma function? action
L-functions
L-functions.
Lfunctions
Lfunctions.
- How do the Riemann zeta, Dirichlet and Artin L-functions extend meromorphically, and why does it matter in number theory? provenance
- Which entry fits L-function? action
Context History and teaching.
Context.
History
History.
History
History.
- How did the concept develop with Cauchy, Riemann and Weierstrass? provenance
- Which entry fits the history of complex analysis? action
Teach
Teaching.
Teach
Teaching.
- How are meromorphic functions taught, and which misconceptions arise? provenance
- Which sources are cited? provenance
What the second pass must settle
- Should L-functions be separate primary entries?
- How should reference texts be linked?
- The registry entry has merged aliases naming specific functions and a different notion; should they be split off?