Green functions, the fine topology and restoring coverings
There are several equivalent ways to define continuous harmonic functions on a compact set in . One may let be the unform closures of all functions in which are restrictions of harmonic functions on a neighborhood of , or take as the subspace of consisting of functions which are finely harmonic on the fine interior of . In \cite{DG74} it was shown that these definitions are equivalent. Using a localization result of \cite{BH78} one sees that a function if and only if it is continuous and finely harmonic on on every fine connected component of the fine interior of . Such collection of sets are usually called {\it restoring}. Another equivalent definition of was introduced in \cite{P97} using the notion of Jensen measures which leads another restoring collection of sets. The main goal of this paper is to reconcile the results in \cite{DG74} and \cite{P97}. To study these spaces, two notions of Green functions have previously been introduced. One by \cite{P97} as the limit of Green functions on domains where the domains are decreasing to , and alternatively following \cite{F72, F75} one has the fine Green function on the fine interior of . Our Theorem \ref{T:green_equiv} shows that these are equivalent notions. In Section \ref{S:Jensen} a careful study of the set of Jensen measures on , leads to an interesting extension result (Corollary \ref{C:extend}) for superharmonic functions. This has a number of applications. In particular we show that the two restoring coverings are the same. We are also able to extend some results of \cite{GL83} and \cite{P97} to higher dimensions.