eine in einer offenen Menge D ⊂ ℂ definierte Funktion v mit folgenden Eigenschaften:

(1) Es gilt −∞ ≤ v(z) < ∞ für alle z ∈ D.

(2) Es ist v eine in D oberhalb stetige Funktion.

(3) Für jedes z₀ ∈ D und jede abgeschlossene Kreisscheibe \(\overline{{B}_{r}({z}_{0})}\subset D\) mit Mittelpunkt z₀ und Radius r > 0 gilt \begin{eqnarray}v({z}_{0})\le \frac{1}{2\pi}\displaystyle \underset{0}{\overset{2\pi}{\int}}v({z}_{0}+r{e}^{it})\,dt.\end{eqnarray}

Einige Anmerkungen: Wegen v(z) < ∞ für alle z ∈ D und der Eigenschaft (2) folgt stets \begin{eqnarray}\displaystyle \underset{0}{\overset{2\pi}{\int}}v({z}_{0}+r{e}^{it})\,dt\lt \infty.\end{eqnarray}

Allerdings kann dieses Integral den Wert −∞ annehmen, in diesem Fall ist dann auch v(z₀) =−∞. Ist U eine Zusammenhangskomponente von D, so ist entweder v(z) = −∞ für alle z ∈ U, oder die Menge {z ∈ U : v(z) = −∞ besitzt keine inneren Punkte. Insbesondere ist die Funktion v_∞ mit v_∞ (z) := −∞ für alle z ∈ D eine in D subharmonische Funktion. Die Definition ist in der Literatur nicht einheitlich. Manchmal wird die Stetigkeit von v in D gefordert, was den Fall v(z) = −∞ ausschließt.

Erste einfache Beispiele subharmonischer Funktionen erhält man wie folgt. Offensichtlich ist jede in Dharmonische Funktion subharmonisch in D. Genauer gilt: Eine in D stetige Funktion ist harmonisch in D genau dann, wenn sie gleichzeitig subharmonisch und superharmonisch in D ist. Ist f eine in Dholomorphe Funktion, so ist v := log |f| subharmonisch in D. Insbesondere ist die Funktion v mit v(z) := log |z| subharmonisch in ℂ.

Zur Formulierung äquivalenter Definitionen für subharmonische Funktionen ist folgende Bezeichnung hilfreich. Für eine kompakte Menge K ⊂ ℂ bezeichne C_h(K) die Menge aller stetigen Funktionen u : K → ℝ, die in K^&ogr; harmonisch sind, wobei K^&ogr; die Menge der inneren Punkte von K ist. Eine Funktion v : D → [−∞, ∞) erfüllt das Maximumprinzip in D, falls für jede kompakte Menge K ⊂ D und jede Funktion u ∈ C_h(K) mit v(ζ) ≤ u(ζ) für alle ζ ∈ ∂K bereits gilt v(z) ≤ u(z) für alle z ∈ K. Damit gilt folgender Satz.

Es sei v : D → [−∞, ∞) eine oberhalb stetige Funktion. Dann sind folgende Aussagen äquivalent:

(i) v ist subharmonisch in D.

(ii) v erfüllt das Maximumprinzip in D.

(iii) Für jede abgeschlossene Kreisscheibe B ⊂ D und jede Funktion u ∈ C_h(B) mit v(ζ) ≤ u(ζ) für alleζ ∈ ∂B gilt v(z) ≤ u(z) für allez ∈ B.

(iv) Fürjede abgeschlossene Kreisscheibe \(B=\overline{{B}_{r}({z}_{0})}\subset D\)gilt\begin{eqnarray}v({z}_{0})\le \frac{1}{\pi {r}^{2}}\displaystyle \int \displaystyle \mathop{\int}\limits_{B}v(x+iy)\,dxdy.\end{eqnarray}

Grundlegende Eigenschaften subharmonischer Funktionen:

(a) Sind v₁, v₂ subharmonische Funktionen in D und a, b > 0, so sind av₁ + bv₂ und max {v₁, v₂} subharmonische Funktionen in D.

(b) Es sei 𝒱 eine Familie subharmonischer Funktionen in D, die nach oben lokal gleichmäßig beschränkt in D ist, d. h. zu jeder kompakten Menge K ⊂ D gibt es eine nur von K abhängige Konstante m ∈ ℝ mit v(z) ≤ m für alle z ∈ K und alle v ∈ 𝒱. Weiter seien v₀ und v^∗₀ in D definiert durch v₀(z) :=sup {v(z) : v ∈ 𝒱} und v^∗₀ (z) := lim sup_w→zv₀(w). Dann ist v^∗₀ subharmonisch in D. Ist v₀ oberhalb stetig, so gilt v₀ = v^∗₀.

(c) Es sei 𝒱 eine Familie subharmonischer Funktionen in D derart, daß es zu je zwei Funktionen v₁, v₂ ∈ 𝒱 ein v₃ ∈ 𝒱 gibt mit v₃(z) ≤ min {v₁(z), v₂(z)} für alle z∈ D. Weiter sei v₀ in D definiert durch v₀(z) := inf {v(z) : v ∈ 𝒱}. Dann ist v₀ subharmonisch in D. Ist insbesondere (v_n) eine Folge subharmonischer Funktionen in D mit v_n (z) ≥ v_n+1 (z) für alle z ∈ D und n ∈ ℕ, so ist lim_n→∞v_n eine subharmonische Funktion in D.

(d) Es sei (v_n) eine Folge positiver subharmonischer Funktionen in D derart, daß \(v:=\mathop{\sum ^{n}_{n=1}} {v}_{n}\) oberhalb stetig in D ist. Weiter sei U eine Zusammenhangskomponente von D. Dann gilt entweder v(z) = ∞ für alle z ∈ U, oder v ist subharmonisch in U.

(e) Es sei (v_n) eine Folge negativer subharmonischer Funktionen in D. Dann ist \(v:=\mathop{\sum ^{n}_{n=1}} {v}_{n}\) subharmonisch in D.

(f) Es sei v eine subharmonische Funktion in D Dann gilt v(z) = lim sup_w→zv(w) für jedes z ∈ D.

(g) Es sei v eine subharmonische Funktion in D, a := inf_z∈Dv(z) und b := sup_z∈Dv(z). Weiter sei ϕ: [a, b] → [−∞, ∞) eine monoton wachsende, konvexe Funktion. Dann ist ϕ &ogr; v subharmonisch in D

(h) Es sei v eine subharmonische Funktion in D und U eine offene Teilmenge von D. Weiter sei u eine oberhalb stetige Funktion in D, die subharmonisch in U ist mit u(z) ≥ v(z) für z ∈ U und u(z) = v(z) für z ∈ D \ U. Dann ist u subharmonisch in D.

(i) Es sei v eine subharmonische Funktion in ℂ. Dann existiert eine Folge (v_n) stetiger, subharmonischer Funktionen in ℂ mit v_n(z) ≥ v_n+1 (z) für alle z ∈ ℂ und n ∈ ℕ sowie lim_n→∞v_n(z) = v(z) für alle z ∈ ℂ.

Aus den Eigenschaften (a) und (g) erhält man weitere Beispiele subharmonischer Funktionen. Ist nämlich f eine holomorphe Funktion in D, so ist log⁺ | f | subharmonisch in D, wobei log⁺x := log x für x > 1 und log⁺x := 0 für 0 ≤ x ≤ 1. Weiter ist | f |^p für jedes p > 0 subharmonisch in D. Insbesondere sind die durch v₁(z) := log⁺ |z| und v₂(z) := |z|^p definierten Funktionen subharmonisch in ℂ.

Zweimal stetig differenzierbare subharmonische Funktionen können wie folgt charakterisiert werden.

Es sei v : D → ℝ zweimal stetig differenzierbar in D. Dann ist v subharmonisch in D genau dann, wenn Δv(z) ≥ 0 für allez ∈ D, wobei. der Laplace-Operator ist.

Eine zweimal stetig differenzierbare Funktion v in D nennt man eine streng subharmonische Funktion in D, falls.v(z) > 0 für alle z ∈ D.

Subharmonische Funktionen spielen eine wichtige Rolle bei Perronschen Familien und beim Perronschen Prinzip.

Weiter ist der Begriff der harmonischen Majorante von Interesse. Dazu sei v eine subharmonische Funktion in D, und zu jeder Zusammenhangskomponente U von D gebe es einen Punkt z_U ∈ U mit v(z_U) > −∞. Eine harmonische Majorante von v ist eine harmonische Funktion u in D mit u(z) ≥ v(z) für alle z ∈ D. Falls eine solche Funktion u existiert (was im allgemeinen nicht der Fall sein muß), so gibt es auch eine kleinste harmonische Majorante u₀ von v, d. h. es gilt u₀(z) ≥ v(z) für alle z ∈ D und für jede weitere harmonische Majorante u von v gilt u(z) ≥ u₀(z) für alle z ∈ D. Ist z. B. D = G ein beschränktes, einfach zusammenhängendes Gebiet und \(v:\overline{G}\to [-\infty, \infty)\) eine oberhalb stetige Funktion, die in G subharmonisch ist, so besitzt v eine kleinste harmonische Majorante.

Für subharmonische Funktionen v in ℂ sind noch die Begriffe Ordnung einer subharmonischen Funktion und Typ einer subharmonischen Funktion erklärt. Dazu sei für r > 0 \begin{eqnarray}M(r,v):=\mathop{\sup}\limits_{|z|=r}v(z).\end{eqnarray}

Es ist M(r, v) eine monoton wachsende Funktion von r. Ist v nicht nach oben beschränkt, so heißt \begin{eqnarray}\varrho =\varrho (v):=\mathop{\mathrm{lim}\sup}\limits_{r\to \infty}\frac{\mathrm{log}M(r,v)}{\mathrm{log}\,r}\end{eqnarray}

die Ordnung von v. Es gilt 0 ≤ ϱ ≤ ∞. Falls v nach oben beschränkt ist, so setzt man ϱ(v) := 0. Ist 0 < ϱ< ∞, so heißt \begin{eqnarray}\tau =\tau (v):=\mathop{\mathrm{lim}\sup}\limits_{r\to \infty}\frac{M(r,v)}{{r}^{\varrho}}\end{eqnarray}

der Typ von v (zur Ordnung ϱ). Man nennt v vom Minimaltyp, Mitteltyp oder Maximaltyp, je nachdem, ob τ = 0, 0 < τ< ∞ oder τ = ∞.

Für eine ganze Funktionf ist v := log | f| subharmonisch in ℂ. Ist z. B. f(z) = z, so ist v(z) = log |z|. Man erhält M(r, v) = log r und daher ϱ(v) = 0. Für f(z) = e^z ist |e^z| = e Re z, also v(z) = Re z, M(r, v) = r und daher ϱ(v) = 1 und τ(v) = 1.

Setzt man für eine in ℂ subharmonische Funktion v und r > 0 \begin{eqnarray}T(r,v):=\frac{1}{2\pi}\displaystyle \underset{0}{\overset{2\pi}{\int}}{v}^{+}(r{e}^{it})\,dt,\end{eqnarray}

wobei v⁺ (z) := max {v(z), 0}, so ist T(r, v) eine monoton wachsende Funktion von r. Ersetzt man in der Definition der Ordnung M(r, v) durch T(r, v), so erhält man den gleichen Wert für ϱ(v). Es ist sogar möglich, eine Nevanlinna-Theorie für subharmonische Funktionen in C zu entwickeln.

Subharmonische Funktionen können in analoger Weise auch in offenen Mengen D ⊂ ℝⁿ definiert werden.