On the simplicial cone of superharmonic functions in a resolutive compactification of a harmonic space (Q792511)

Let X be a \({\mathcal P}\)-harmonic space of Constantinescu-Cornea with countable base and \(X^*\) be a resolutive compactification of X. Let, further, \({\mathcal S}\) be the convex cone of continuous functions on \(X^*\) which are superharmonic on X, and let, for every \(x\in X^*\), \({\mathcal M}_ x\) be the set of positive Borel measures \(\mu\) on \(\Delta =X^*\backslash X\) such that \(\mu\) (s)\(\leq s(x)\) for every \(s\in {\mathcal S}\). We assume that \({\mathcal S}\) contains a strictly positive function. - We say that \(X^*\) is simplicial if \({\mathcal M}_ x\) has the unique minimal measure for every \(x\in X^*\) and that \(X^*\) is of type (WD) if for every \(s\in {\mathcal S}\) there is an upper directed family \(\{h_{\iota}\}\) of functions continuous and affine on \(X^*\) such that \(\sup_{\iota}h_{\iota}(x)=\lim \inf_{a\to x}H_ s(a)\) on the harmonic boundary of X. - Summarizing the main results: (1) not all resolutive compactifications are simplicial, (2) when \({\mathcal S}\) separates points of \(\Delta\), then \(X^*\) is simplicial if and only if \({\mathcal S}\) is geometrically simplicial, (3) every semi-regular compactification is of type (WD) and the latter is simplicial if \({\mathcal S}\) contains strictly negative functions. - In the latter of the paper, some results on the Choquet boundary are considered. Here we quote one of the theorems: the Keldych operator \({\mathcal L}\) (i.e., \({\mathcal L}\) is a positive linear mapping of \({\mathbb{C}}(\Delta)\) into the space of harmonic functions on X such that \({\mathcal L}(s)\leq s\) for every \(s\in {\mathcal S})\) is unique (it is then the Dirichlet solution \(H_ f)\) if and only if \(\Delta \backslash Ch_{{\mathcal S}}X^*\) is negligible.