Continuity Properties of Concave Functions in Potential Theory

Given a bounded open set

in

\mathbb{R}^d R d

, the space of all continuous real functions on

\overline U U ‾

which are harmonic on

U U

is denoted by

H(U) H ( U )

. Further, a lower bounded, Borel measurable numerical function

s s

on

\overline U U ‾

is said to be

H(U) H ( U )

-concave if

\int s\,d\mu\le s(x) ∫ s   d μ ≤ s ( x )

for every

\def\hk{H_0(K)}\def\ov{\overline}\def\real{\mathbb{R}}x\in\ov U x ∈ U ‾

and every measure

\mu μ

on

\overline U U ‾

satisfying

\int h\,d\mu= h(x) ∫ h   d μ = h ( x )

for all

h\in H(U) h ∈ H ( U )

. It is shown that every

H(U) H ( U )

-concave function is continuous on

U U

and, under additional assumptions on

U U

, several characterizations of

H(U) H ( U )

-concave functions are given. For compact sets

K K

in

\mathbb{R}^d R d

, continuity properties of

H_0(K) H 0 ( K )

-concave functions are studied, where

H_0(K) H 0 ( K )

is the space of all functions on

K K

which can be extended to be harmonic in some neighborhood of

K K

(depending on the given function). We prove that these functions are finely upper semicontinuous on the fine interior of

K K

, but not necessarily finely continuous there. Most of the results are established in the context of harmonic spaces, covering solutions of elliptic and parabolic second order partial differential equations. For example, it is shown that

H(U) H ( U )

-concave functions are always continuous on

U U

if and only if the underlying harmonic space has the Brelot convergence property.