Functions of a complex variable Entire and meromorphic functions Theorem
First main theorem of Nevanlinna theory
Builds on Meromorphic functionNevanlinna characteristicNevanlinna theoryJensen's formula
Statement
Let be a meromorphic function on that is not constant, and let . For , let and be the proximity function and the counting function of at the value , as in Nevanlinna theory. Let be the Nevanlinna characteristic of . Then where the bounded term depends on and but not on . More precisely, if and is not a pole of , then
Remarks
Apply Jensen's formula to . In Nevanlinna's notation it reads , and . The inequalities and its symmetric form show that and differ by at most . For example, for and there are no solutions of , so , and .
Going deeper
For a student
The first main theorem is a reformulation of Jensen's formula, and it is easy compared with the second main theorem. It gives the upper bound , which says that no value is taken too often. It also justifies the definition of the defect , which lies between and . The second main theorem gives the much deeper lower bound for most values.
Reading path
To understand this page from the ground up, read these 42 pages in order. The foundations come first.
- Blaschke product concept
- Complex numbers object
- Euclidean space object
- Function concept
- Nevanlinna characteristic concept
- Nevanlinna theory concept
- Real numbers object
- Set bounded above definition
- Real and imaginary parts definition
- Fréchet derivative definition
- Function of several variables concept
- Vector-valued function concept
- Supremum definition
- Limit of a function of several variables concept
- Partial derivative concept
- Completeness axiom statement
- Continuity in R^n definition
- Differentiable function of several variables definition
- Partial derivative definition
- Existence of square roots of nonnegative reals statement
- Differentiable on an open set definition
- Jacobian matrix definition
- Gradient definition
- Higher partial derivatives definition
- Square root definition
- Iterated derivative definition
- Modulus of a complex number definition
- Hessian matrix definition
- Complex differentiability definition
- C^k function characterised by continuous derivatives statement
- Holomorphic function definition
- Vector field definition
- Isolated singularity definition
- Zero of a holomorphic function definition
- Divergence definition
- Pole definition
- Laplacian definition
- Meromorphic function definition
- Laplacian as a sum of second partial derivatives statement
- Harmonic function definition
- Jensen's formula statement
- First main theorem of Nevanlinna theory statement
Further reading
About this page
| Tag | QJWCFAK4AK |
|---|---|
| URI | m2://QJWCFAK4AK |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 30D35 |
| Status | This copy of the site has no build data. Run m2 status QJWCFAK4AK. |
| About | Nevanlinna theory, Nevanlinna characteristic |
| Uses | Meromorphic function, Nevanlinna characteristic, Nevanlinna theory, Jensen's formula |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.