Potential theory Subharmonic functions Theorem
Riesz decomposition theorem
Builds on Subharmonic functionRiesz measure of a subharmonic functionHarmonic functionFundamental solution of the LaplacianOpen setSuperharmonic function
Statement
Let , let be an open set, and let be subharmonic on and not identically on any connected component. Let be the Riesz measure of , so in the sense of distributions. Let where is the area of the unit sphere in , so that . Let be an open set whose closure is compact and contained in . Then there is a harmonic function on such that
Remarks
Proof idea: the measure restricted to is finite, so is subharmonic on and on in the sense of distributions. Then on as a distribution, and Weyl's lemma makes equal, almost everywhere, to a harmonic function . Both and are subharmonic, and two subharmonic functions that agree almost everywhere agree everywhere, since each is the limit of its ball averages.
Example: for on , , so and . Let be a polynomial with leading coefficient and zeros listed with multiplicity. Then on all of , which has the same form, with the constant as harmonic part.
A global form holds on a domain with a Green function , normalised by . Let be a superharmonic function on that has a subharmonic minorant. Then is the sum of the Green potential of the measure and the greatest harmonic minorant of .
Going deeper
For a student
The theorem reduces many questions about subharmonic functions to questions about measures and their potentials. For with holomorphic it is the analytic form of factoring through its zeros, as in Jensen's formula and the Hadamard factorisation of entire functions. In the global form on Green domains, it identifies the positive superharmonic functions with zero greatest harmonic minorant, the potentials, with Green potentials of measures.
Reading path
To understand this page from the ground up, read these 18 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Euclidean space object
- Function concept
- Fundamental solution of the Laplacian concept
- Open set concept
- Riesz measure of a subharmonic function concept
- Subharmonic function concept
- Superharmonic function concept
- Total derivative concept
- Function of several variables concept
- Vector-valued function concept
- Differentiable function of several variables concept
- Partial derivative concept
- Vector field concept
- Gradient concept
- Divergence concept
- Laplacian concept
- Harmonic function concept
- Riesz decomposition theorem statement
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | CBZ20SS8RQ |
|---|---|
| URI | m2://CBZ20SS8RQ |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 31B05, 31A05 |
| Status | This copy of the site has no build data. Run m2 status CBZ20SS8RQ. |
| About | Subharmonic function, Riesz measure of a subharmonic function |
| Uses | Subharmonic function, Riesz measure of a subharmonic function, Harmonic function, Fundamental solution of the Laplacian, Open set, Superharmonic function |
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.