Uniqueness theorems for harmonic functions in half-spaces (Q1077591)

A theorem of Carlson for the holomorphic functions states: In the complex plane \({\mathbb{C}}\), let \(\Gamma =\{z\in {\mathbb{C}}:\) Re z\(>0\}\); let f be continuous in \({\bar \Gamma}\) and holomorphic in \(\Gamma\). If there exist positive real numbers \(\lambda\) and \(\mu\) such that \(\lim \sup e^{- \lambda | z|} | f(z)| <\infty\) (z\(\in \Gamma\), \(z\to {\mathcal A}\), point at infinity) and \(\lim \sup e^{\mu | z|} | f(z)| <\infty\) (z\(\in \partial \Gamma\), \(z\to {\mathcal A})\) then \(f\equiv 0\) in \({\bar \Gamma}\). In this paper, the author proves a similar result for harmonic functions in half-spaces of \({\mathbb{R}}^ n\). (See also the author's paper [Bull, Lond. Math. Soc. 9, 317-320 (1977; Zbl 0373.31003)] for the same conclusion with stronger hypothesis.) Let \(M=(x,y)\) be an arbitrary point of \({\mathbb{R}}^{n+1}\) (n\(\geq 1)\), \(x\in {\mathbb{R}}^ n\) and \(y\in {\mathbb{R}}\); \(D=\{M\in {\mathbb{R}}^{n+1}:\) \(y>0\}\); and for each positive number a, \(\Omega_ a=\{M\in {\mathbb{R}}^{n+1}:\) \(0<y<a\}\). The result proved here is as follows: If h is harmonic in D and if there exist positive real numbers a, \(\lambda\) and \(\mu\) such that \(\lim \sup e^{-\lambda | M|}| h(M)| <\infty\) (M\(\in D\), \(M\to {\mathcal A})\) and \(\lim \sup e^{\mu | M|}| h(M)| <\infty\) \((M\in \Omega_ a\), \(M\to {\mathcal A})\) then \(h\equiv 0\) in D. (Here the latter condition on \(\Omega_ a\) can be replaced by the same condition on \(\partial \Omega_ a\), provided \(a\lambda <\pi)\).