A mean value theorem for harmonic functions on a domain in Hilbert space (Q788151)

The author proves that the value at a point \(x\in H\) of a harmonic function whose domain is an open set in a real separable Hilbert space H is equal to its mean value (with respect to a suitable measure) on a ball centered at x; the principal tool is an integral representation of the author [Vestn. Mosk. Univ., Ser. I 1981, No.6, 44-47 (1981; Zbl 0472.31006)] for such functions. As a corollary he proves that a bounded harmonic function defined everywhere on H is necessarily constant.