A uniqueness theorem for hyperharmonic functions (Q1070384)

For an open \(D\subset R^ N\) (N\(\geq 2)\) let Fr D stand for the boundary of D, where Fr D contains the Alexandroff point if D is unbounded. The following theorem is proved: Let \(\emptyset \neq D\subset R^ N\) be a domain and let \(E\subset Fr D\) be non-polar and open in Fr D. If u is a hyperharmonic function in D such that \(\lim_{x\to y}u(x)=\infty\) for \(y\in E\) then \(u\equiv \infty\) in D. A relevant theorem is also proved in case D is not a domain. Further it is shown that the condition E is open in Fr D can not be omitted.