Hinweis.

Betrachte die Abbildung

$ \mbox{$\displaystyle
f:\overline{\mathbb{H}}\cup\{\infty\}\;\to\;\overline{\mathbb{E}}\;,\;\; f(z)\;:=\; \frac{z-\text{i}}{z+\text{i}}
$}$
und die Funktion
$ \mbox{$\displaystyle
h:\partial\mathbb{E}\;\to\;\mathbb{R}\;,\;\; h(z)\;:=\; g(f^{-1}(z))\;.
$}$
Dann gibt es genau eine stetige Funktion $ \mbox{$\hat{u}:\overline{\mathbb{E}}\to\mathbb{R}$}$ mit

Um die Poissonsche Integralformel für $ \mbox{$\hat{u}$}$ in eine Formel für $ \mbox{$u$}$ umzuformen, sind folgende Identitäten sinnvoll.