Superharmonic potential
Builds on Superharmonic functionLeast harmonic majorantHarmonic functionOpen setRiesz decomposition theoremMean value property
Definition
Let and let be a connected open set. A potential on is a function on such that:
- is superharmonic on .
- on .
- The greatest harmonic minorant of is ; equivalently, every harmonic function on with satisfies .
Remarks
Since , the function is a harmonic minorant, so the greatest harmonic minorant exists; it is , where is the least harmonic majorant of . Let have a Green function . Then the Riesz decomposition theorem shows that the potentials are exactly the functions . Here runs over the positive measures for which this function is not identically . Every nonnegative superharmonic function is uniquely the sum of a potential and a nonnegative harmonic function.
Example: for let on , with . It is superharmonic and positive. Let be harmonic with , and fix . By the mean value property, is the mean of over the sphere , which is at most the mean of there, namely . Letting gives , so is a potential.
Non-example: on a bounded domain the constant is superharmonic and nonnegative, but is a harmonic minorant with , so clause 3 fails.
Reading path
To understand this page from the ground up, read these 43 pages in order. The foundations come first.
- Complex numbers object
- Euclidean space object
- Function concept
- Fundamental solution of the Laplacian concept
- Least harmonic majorant concept
- Open set concept
- Real numbers object
- Riesz measure of a subharmonic function concept
- Set bounded above definition
- Subharmonic function concept
- Superharmonic function concept
- Complex exponential definition
- Contour integral definition
- Power series in the complex plane definition
- Real and imaginary parts definition
- Total derivative concept
- Function of several variables concept
- Vector-valued function concept
- Supremum definition
- Circle integral definition
- Disc of convergence definition
- Vector field concept
- Differentiable function of several variables concept
- Partial derivative concept
- Completeness axiom statement
- Divergence concept
- Gradient concept
- Existence of square roots of nonnegative reals statement
- Laplacian concept
- Square root definition
- Harmonic function concept
- Modulus of a complex number definition
- Complex differentiability definition
- Riesz decomposition theorem statement
- Holomorphic function definition
- Cauchy–Riemann equations statement
- Cauchy's integral formula statement
- Power series are holomorphic in the disc of convergence statement
- Holomorphic functions are analytic statement
- Holomorphic functions are infinitely differentiable statement
- The real part of a holomorphic function is harmonic statement
- Mean value property statement
- Superharmonic potential definition
Further reading
About this page
| Tag | EQ23YX9CFG |
|---|---|
| URI | m2://EQ23YX9CFG |
| Kind | definition |
| Writing | W0 stub |
| MSC | 31B05, 31B15 |
| Defines | Superharmonic potential |
| Uses | Superharmonic function, Least harmonic majorant, Harmonic function, Open set, Riesz decomposition theorem, Mean value property |
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.