In mathematics, subharmonic and superharmonic functions are important classes of functions used extensively in partial differential equations, complex analysis and potential theory. Intuitively, subharmonic functions are related to convex functions of one variable as follows. If the graph of a convex function and a line intersect at two points, then the graph of the convex function is below the line between those points. In the same way, if the values of a subharmonic function are no larger than the values of a harmonic function on the boundary of a ball, then the values of the subharmonic function are no larger than the values of the harmonic function also inside the ball. Superharmonic functions can be defined by the same description, only replacing "no larger" with "no smaller". Alternatively, a superharmonic function is just the negative of a subharmonic function, and for this reason any property of subharmonic functions can be easily transferred to superharmonic functions.
Formal definition Formally, the definition can be stated as follows. Let G {\displaystyle G} be a subset of the Euclidean space R n {\displaystyle \mathbb {R} ^{n}} and let
φ : G → R ∪ { − ∞ } {\displaystyle \varphi \colon G\to \mathbb {R} \cup \{-\infty \}}
be an upper semi-continuous function. Then, φ {\displaystyle \varphi } is called subharmonic if for any closed ball B ( x , r ) ¯ {\displaystyle {\overline {B(x,r)}}} of center x {\displaystyle x} and radius r {\displaystyle r} contained in G {\displaystyle G} and every real-valued continuous function h {\displaystyle h} on B ( x , r ) ¯ {\displaystyle {\overline {B(x,r)}}} that is harmonic in B ( x , r ) {\displaystyle B(x,r)} and satisfies φ ( y ) ≤ h ( y ) {\displaystyle \varphi (y)\leq h(y)} for all y {\displaystyle y} on the boundary ∂ B ( x , r ) {\displaystyle \partial B(x,r)} of B ( x , r ) {\displaystyle B(x,r)} , we have φ ( y ) ≤ h ( y ) {\displaystyle \varphi (y)\leq h(y)} for all y ∈ B ( x , r ) . {\displaystyle y\in B(x,r).}
Note that by the above, the function which is identically −∞ is subharmonic, but some authors exclude this function by definition. A function u {\displaystyle u} is called superharmonic if − u {\displaystyle -u} is subharmonic.
Properties A function is harmonic if and only if it is both subharmonic and superharmonic. If ϕ {\displaystyle \phi } is C2 (twice continuously differentiable) on an open set G {\displaystyle G} in R n {\displaystyle \mathbb {R} ^{n}} , then ϕ {\displaystyle \phi } is subharmonic if and only if one has Δ ϕ ≥ 0 {\displaystyle \Delta \phi \geq 0} on G {\displaystyle G} , where Δ {\displaystyle \Delta } is the Laplacian. The maximum of a subharmonic function cannot be achieved in the interior of its domain unless the function is constant, which is called the maximum principle. However, the minimum of a subharmonic function can be achieved in the interior of its domain. Subharmonic functions make a convex cone, that is, a linear combination of subharmonic functions with positive coefficients is also subharmonic. The pointwise maximum of two subharmonic functions is subharmonic. If the pointwise maximum of a countable number of subharmonic functions is upper semi-continuous, then it is also subharmonic. The limit of a decreasing sequence of subharmonic functions is subharmonic (or identically equal to − ∞ {\displaystyle -\infty } ). Subharmonic functions are not necessarily continuous in the usual topology, however one can introduce the fine topology which makes them continuous.
Examples If f {\displaystyle f} is analytic then log | f | {\displaystyle \log |f|} is subharmonic. More examples can be constructed by using the properties listed above, by taking maxima, convex combinations and limits. In dimension 1, all subharmonic functions can be obtained in this way.
… excerpt ends here. Continue reading the full article.
