Functions of a complex variable Definition
Parabolic and hyperbolic Riemann surfaces
Builds on Riemann surfaceHarmonic functions on Riemann surfacesSubharmonic functionLiouville's theorem for planar harmonic functionsPolar setGreen's function for the LaplacianUniversal cover
Definition
Let be a connected Riemann surface. A function on is subharmonic if it is a subharmonic function in every holomorphic chart, as for harmonic functions on Riemann surfaces.
- is hyperbolic if there is a nonconstant subharmonic function on with on .
- is parabolic if is not compact and not hyperbolic.
Remarks
Equivalently, is hyperbolic if and only if it has a Green's function. This is the smallest positive harmonic function on with a logarithmic pole at . A compact Riemann surface is never hyperbolic, because a subharmonic function on it attains its maximum and is therefore constant; such surfaces are sometimes called elliptic. Example: the unit disc is hyperbolic, since is subharmonic, nonconstant and negative on . Non-example: the plane is not hyperbolic. By the subharmonic form of Liouville's theorem, a subharmonic function on that is bounded above is constant. As is not compact, it is parabolic. A domain is hyperbolic if and only if its boundary is not a polar set. Its Green's function is then the classical Green's function of . This notion differs from the one in the uniformization theorem, which classifies by its universal cover. For example, has the disc as universal cover, but it is parabolic, because a subharmonic function bounded above extends across the two punctures to all of .
Reading path
To understand this page from the ground up, read these 92 pages in order. The foundations come first.
- Complex numbers object
- Euclidean space object
- Function concept
- Green's function for the Laplacian concept
- Harmonic conjugate concept
- Harmonic functions on Riemann surfaces concept
- Holomorphic function concept
- Infimum concept
- Polar set concept
- Real numbers object
- Riemann surface concept
- Set bounded above definition
- Simply connected domain concept
- Subharmonic function concept
- Supremum concept
- Unit disc object
- Universal cover concept
- Complex exponential definition
- Contour integral definition
- Power series in the complex plane definition
- Real and imaginary parts definition
- Fréchet derivative definition
- Total derivative concept
- Function of several variables concept
- Vector-valued function concept
- Jordan measure definition
- Supremum definition
- Circle integral definition
- Disc of convergence definition
- Limit of a function of several variables concept
- Vector field concept
- Differentiable function of several variables concept
- Iterated integral definition
- Partial derivative concept
- Completeness axiom statement
- Estimation lemma statement
- Continuity in R^n definition
- Differentiable function of several variables definition
- Partial derivative definition
- Divergence concept
- Gradient concept
- Existence of square roots of nonnegative reals statement
- Differentiable on an open set definition
- Gradient definition
- Higher partial derivatives definition
- Double integral definition
- Jacobian matrix definition
- Laplacian concept
- Square root definition
- Iterated derivative definition
- Fubini's theorem statement
- Modulus of a complex number definition
- Triple integral definition
- Harmonic function concept
- C^k function characterised by continuous derivatives statement
- Complex differentiability definition
- Poisson kernel definition
- Holomorphic function definition
- Cauchy–Riemann equations statement
- Parametrised curve definition
- Vector field definition
- Harnack's inequality statement
- Cauchy's integral formula statement
- Entire function definition
- Goursat's theorem statement
- Power series are holomorphic in the disc of convergence statement
- Parametrised surface definition
- Closed curve definition
- Rectifiable curve definition
- Divergence definition
- Holomorphic functions are analytic statement
- Holomorphic functions on a disc have primitives statement
- Tangent plane and normal vector of a surface definition
- Line integral of a vector field definition
- Holomorphic functions are infinitely differentiable statement
- Green's theorem statement
- Surface area definition
- Local existence of harmonic conjugates statement
- Cauchy's integral formula for derivatives statement
- The real part of a holomorphic function is harmonic statement
- Surface integral definition
- Divergence theorem on a rectangle in the plane statement
- Cauchy's estimates statement
- Mean value property statement
- Orientable surface definition
- Liouville's theorem statement
- Flux through a surface definition
- Divergence theorem statement
- Gradient estimates for harmonic functions statement
- Liouville's theorem for harmonic functions statement
- Liouville's theorem for planar harmonic functions statement
- Parabolic and hyperbolic Riemann surfaces definition
Further reading
About this page
| Tag | WWVK5WF6WY |
|---|---|
| URI | m2://WWVK5WF6WY |
| Kind | definition |
| Writing | W0 stub |
| MSC | 30F20, 30F15, 31C12 |
| Defines | Parabolic and hyperbolic Riemann surfaces |
| Uses | Riemann surface, Harmonic functions on Riemann surfaces, Subharmonic function, Liouville's theorem for planar harmonic functions, Polar set, Green's function for the Laplacian, Universal cover |
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.