Sets of determination for harmonic functions in an NTA domain (Q1817369)

Let \(D\) be an NTA domain in \(\mathbb{R}^N\) \((N\geq 2)\). Then the Martin compactification of \(D\) is homeomorphic to \(\overline D\) and all boundary points are minimal. Thus any positive harmonic function \(h\) on \(D\) can be uniquely represented as \(K\mu_h = \int K(\cdot,y) d\mu_h(y)\), where \(\mu_h\) is a measure on \(\partial D\) and \(K(\cdot, \cdot)\) is the Martin kernel on \(D\times \partial D\). Let \(E\subseteq D\), let \(y\in \partial D\) and let \(\delta_y\) denote the unit measure on \(\{y\}\). Further, if \(0< \rho <1\), let \(E_\rho = \cup_{x \in E} B(x,\rho \text{dist} (x,\partial D))\), where \(B(x,r)\) denotes the open ball in \(\mathbb{R}^N\) of centre \(x\) and radius \(r\). Theorem 1 states that there is a measure \(\mu\) on \(\partial D\) satisfying \(\mu(\{y\}) =0\) and \(K\delta_y \leq K\mu\) on \(E\), if and only if \(E_\rho\) is minimally thin at \(y\) for some (or all) \(\rho\in (0,1)\). Next, let \(\nu\) be a measure on \(\partial D\) and let \({\mathcal H}_+\) denote the collection of all positive harmonic functions on \(D\). Theorem 2 asserts, in particular, that \(\inf_EH/K \nu= \inf_DH/K \nu\) for all \(H\in {\mathcal H}_+\) if and only if for \(\nu\)-almost every \(y\) in \(\partial D\) the set \(E_\rho\) is not minimally thin at \(y\). Let \({\mathcal H} = \{h_1- h_2: h_1,h_2 \in {\mathcal H}_+\}\). A corollary to Theorem 3 states that the following conditions are equivalent: (a) \(\sup_Eh = \sup_Dh\) for all \(h\in {\mathcal H}\); (b) \(E_\rho\) is not minimally thin at any \(y\in\partial D\); (c) for every continuous function \(f: \partial D\to (0,+ \infty)\) there exists a sequence \((\lambda_j)\) in \((0,+\infty)\) and a sequence \((x_j)\) in \(E\) such that \(f= \sum_j \lambda_j K(x_j, \cdot)\) on \(\partial D\). These, and some further results, generalize work of \textit{W. K. Hayman} and \textit{T. J. Lyons} [J. Lond. Math. Soc., II. Ser. 42, 292-308 (1990; Zbl 0675.30040)], the reviewer [Trans. Am. Math. Soc. 338, 233-243 (1993; Zbl 0780.31002)] and other authors. It is an open question whether one can extend such results to a general Martin space.