On a positive harmonic function in a half-plane. (Q2594320)

Ist der Realteil \(u(z)\) von \(f(z)\) in der rechten Halbebene harmonisch und positiv, so gibt es bekanntlich ein \(c\geqq 0\), welches in jedem Winkelraum \(|\arg z|\leqq\varphi_0<\dfrac\pi2\) Grenzwert von \(\dfrac{f(z)}z\) und von \(f'(z)\) ist, wenn \(z\to\infty\). Außerdem genügt \(u(z)\) der Darstellung \[ u(z)=\frac x\pi\int\limits_{-\infty}^\infty \frac{d\theta(s)}{|z-is|^2}+cx\qquad (x=\Re z>0). \] Verf. bringt hierfür einen neuen Beweis und untersucht zugleich die wachsende Funktion \(\theta(s)\) sowie das Integral \(m(r)=\int\limits_{-\frac12\pi}^{\frac12\pi} u(re^{i\varphi})\cos\varphi d\varphi\) und dessen Differenzierbarkeit. Er findet ein wachsendes \(\chi(s)\) mit \[ \frac{m(r)}r=\int\limits_r^\infty \frac{\chi(s)}{s^3}ds+c\frac\pi2 \] und schließt daraus \(\lim\limits_{r\to\infty}\dfrac{m(r)}{r}=c\dfrac\pi2\). Beim Beweise des Satzkomplexes geht er von der Poissonschen Integraldarstellung von \(u(z)\) aus, wobei der Integrationskreis die imaginäre Achse im Nullpunkt berührt. Eine geeignete Spaltung des Integrationsweges, dessen Radius unbegrenzt wächst, führt zum Ziel. (Vgl. auch \textit{A. Dinghas}, S.-B. Preuß. Akad. Wiss., phys.-math. Kl. 1938, 32-48; Math. Z. 46 (1940), 559-570; F. d. M. \(64_{\text I}\), 301; 66, 449.).