Content deleted Content added
Line 10:
:<math>\varphi \colon G \to {\mathbb{R}} \cup \{ - \infty \}</math>
be an [[semi-continuity|upper semi-continuous function]]. Then, <math>\varphi </math> is called ''subharmonic'' if for any [[closed ball]] <math>\overline{B(x,r)}</math> of center <math>x</math> and radius <math>r</math> contained in <math>G</math> and every [[real number|real]]-valued [[continuous function]] <math>h</math> on <math>\overline{B(x,r)}</math> that is [[harmonic function|harmonic]] in <math>B(x,r)</math> and satisfies <math>\varphi(x) \leq h(x)</math> for all <math>x</math> on the [[boundary (topology)|boundary]] <math>\partial B(x,r)</math> of <math>B(x,r)</math> we have <math>\varphi(x) \leq h(x)</math> for all <math>x \in B(x,r).</math>
Note that by the above, the function which is identically −∞ is subharmonic, but some authors exclude this function by definition.
| |||