Weak and strong limit values (Q363193)

Let \(M=\{\mu_j\}\) be a family of Borel measures on a compact metric space, converging weakly to a measure \(\mu\), and let \(\phi=\{\phi_j\}\) be a family of Borel functions. If the measures \(\phi_j\mu_j\) converge weakly to a measure \(\phi_\star\mu\) (which is the case, for example, when \(\phi_j\) are uniformly bounded in \(L^p(\mu_j)\) for some \(p>1\)), then the function \(\phi_\star\) is called the \textit{weak limit values} of \(\phi\). If, in addition, there exists a \(\mu\)-measurable function \(\phi^\star\) on the support \(K_0\) of \(\mu\) such that for any \(a<b\) and \(\epsilon, \delta>0\) there is an open neighborhood \(O\) of \(\{x\in K_0: a\leq \phi^\star(x)<b\}\) such that \[ \mu_j(\{\phi_j<a-\epsilon\}\cap O)+\mu_j(\{\phi_j>b+\epsilon\}\cap O)<\delta, \] then the function \(\phi^\star\) is called the \textit{strong limit values} of \(\phi\). Conditions for the existence of \(\phi^\star\) and the equality \(\phi^\star=\phi_\star\) are obtained. This is applied to the main object of the paper: harmonic and subharmonic functions on a general regular domain \(D\). Let \(D\) be exhausted by domains \(D_r\), \(r<0\), and let \(\mu\) and \(\mu_r\) denote the corresponding harmonic measures (with respect to some \(x_0\in D\)). The space \(S^p(D)\) is the space of continuous subharmonic functions \(u\) on \(D\) such that \[ \limsup_{r\to 0-}\int|u|^p\,d\mu_r<\infty. \] It is proved that for every \(\phi\in L^p(\partial D,\mu)\) there is a harmonic function \(h_\phi\in S^p(D)\) that has strong limit values with respect to any \(M=\{\mu_{r_j}\}\) for any sequence \(r_j\to 0\), equal to \(\phi\); moreover, \(h_\phi\) is the Poisson integral of \(\phi\). Further, it is proved that a function \(u\in S^p(D)\) has the Riesz-Jensen representation \[ u(x)=\int\phi(y)P(x,y)\,d\mu(y) +\int G(x,y)\Delta u(y) \] iff it has boundary values equal to \(\phi\). Finally, the Lelong-Jensen formula for plurisubharmonic functions continuous on \(\overline D\), due to Demailly, is extended to functions from the corresponding class \(PS^p(D)\), \(p>1\), with boundary values \(u^\star\). Such functions are shown to have boundary values in the case of \(D\) with \(C^2\) boundary and for \(D\) equal to a polydisk.