A uniqueness theorem for harmonic functions on half-spaces

Abstract

An arbitrary point of the Euclidean space Rn+1, where n > 1, is denoted by (X, y), where X ∈ Rn and y ∈ R, and we denote the Euclidean norm on Rn by ∥·∥. If h is harmonic on the half-space Ω = {(X, y): y > 0}, then we define extended real-valued functions m and M as follows:and