least harmonic majorant of a family
The lower envelope of the family of all superharmonic majorants of the family of subharmonic functions on an open set of a Euclidean space , , i.e.
The least harmonic majorant is either a harmonic function or on . If the family consists of a single function which is subharmonic on a larger set , the concept of the best harmonic majorant — the solution of the generalized Dirichlet problem for with value on the boundary — may be employed. Always , and the following formula  is valid:
where is the measure which is associated with , , and is the (generalized) Green function of the Dirichlet problem for . The best and the least harmonic majorants coincide if and only if the set of all irregular points (cf. Irregular boundary point) of has -measure zero.
Correspondingly, if is a family of superharmonic functions on , the greatest harmonic minorant of the family is defined as the upper envelope of the family of all subharmonic minorants of ; here is the least harmonic majorant for .
The problem of harmonic majorants may also be posed in terms of the Cauchy problem for the Laplace equation. See Harmonic function.
|||O. Frostman, "Potentiel d'equilibre et capacité des ensembles avec quelques applications à la théorie des fonctions" Mett. Lunds Univ. Mat. Sem. , 3 (1935) pp. 1–118|
|||M. Brélot, "Eléments de la théorie classique du potentiel" , Sorbonne Univ. Centre Doc. Univ. , Paris (1959)|
In axiomatic potential theory (cf. Potential theory, abstract) the equality of the best and the least harmonic majorant is connected to the domination principle (cf. Domination), see [a1], Chapt. 9.
|[a1]||C. Constantinescu, A. Cornea, "Potential theory on harmonic spaces" , Springer (1972)|
Harmonic majorant. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Harmonic_majorant&oldid=15227