-
On Evans' and Choquet's theorems on polar sets
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
By classical results of G.C. Evans and G. Choquet on "good kernels $G$ in potential theory", for every polar $K_σ$-set $P$, there exists a finite measure $μ$ on $P$ such that $Gμ=\infty$ on $P$, and a set $P$ admits a finite measure $μ$ on $P$ such that $\{Gμ=\infty\}=P$ if and only if $P$ is a polar $G_δ$-set. A known application of Evans' theorem yields the solutions of the generalized Dirichlet…
▽ More
By classical results of G.C. Evans and G. Choquet on "good kernels $G$ in potential theory", for every polar $K_σ$-set $P$, there exists a finite measure $μ$ on $P$ such that $Gμ=\infty$ on $P$, and a set $P$ admits a finite measure $μ$ on $P$ such that $\{Gμ=\infty\}=P$ if and only if $P$ is a polar $G_δ$-set. A known application of Evans' theorem yields the solutions of the generalized Dirichlet problem for open sets by the Perron-Wiener-Brelot method using only harmonic upper and lower functions.
In this note it is shown that, by elementary "metric" considerations and without using any potential theory, such results can be obtained for general kernels $G$ satisfying a local triangle property. The particular case, $G(x,y)=|x-y|^{α-d}$ on $R^d$, $2<α<d$, solves a long-standing open problem.
△ Less
Submitted 19 February, 2020;
originally announced February 2020.
-
Nearly hyperharmonic functions are infima of excessive functions
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
Let $\mathfrak X$ be a Hunt process on a locally compact space $X$ such that the set $\mathcal E_{\mathfrak X}$ of its Borel measurable excessive functions separates points, every function in $\mathcal E_{\mathfrak X}$ is the supremum of its continuous minorants in $\mathcal E_{\mathfrak X}$ and there are strictly positive continuous functions $v,w\in\mathcal E_{\mathfrak X}$ such that $v/w$ vanis…
▽ More
Let $\mathfrak X$ be a Hunt process on a locally compact space $X$ such that the set $\mathcal E_{\mathfrak X}$ of its Borel measurable excessive functions separates points, every function in $\mathcal E_{\mathfrak X}$ is the supremum of its continuous minorants in $\mathcal E_{\mathfrak X}$ and there are strictly positive continuous functions $v,w\in\mathcal E_{\mathfrak X}$ such that $v/w$ vanishes at infinity.
A numerical function $u\ge 0$ on $X$ is said to be nearly hyperharmonic, if $\int^\ast u\circ X_{τ_V}\,dP^x\le u(x)$ for all $x\in X$ and relatively compact open neighborhoods $V$ of $x$, where $τ_V$ denotes the exit time of $V$. For every such function $u$, its lower semicontinous regularization $\hat u$ is excessive. The main purpose of the paper is to give a short, complete and understandable proof for the statement that every Borel measurable nearly hyperharmonic function on $X$ is the infimum of its majorants in $E_{\mathfrak X}$.
The major novelties of our approach are the following: 1. A quick reduction to the special case, where starting at $x\in X$ with $u(x)<\infty$ the expected number of times the process $\mathfrak X$ visits the set of points $y\in X$, where $\hat u(y):=\liminf_{z\to y} u(z)<u(y)$, is finite. 2. The statement that the integral $\int u\,dμ$ is the infimum of all integrals $\int w\,dμ$, $w\in E_{\mathfrak X}$ and $w\ge u$, not only for measures $μ$ satisfying $\int w\,dμ<\infty$ for some excessive majorant $w$ of $u$, but also for all finite measures.
At the end, the measurability assumption on $u$ is weakened considerably.
△ Less
Submitted 4 June, 2019; v1 submitted 23 September, 2018;
originally announced September 2018.
-
Semipolar sets and intrinsic Hausdorff measure
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
Given a "Green function" $G$ on a locally compact space $X$ with countable base, a Borel set $A$ in $X$ is called $G$-semipolar, if there is no measure $ν\ne 0$ supported by $A$ such that $Gν:=\int G(\cdot,y)\,dν(y)$ is a continuous real function on $X$. Introducing an intrinsic Hausdorff measure $m_G$ using $G$-balls $B(x,ρ):=\{y\in X\colon G(x,y)>1/ρ\}$, it is shown that every set $A$ in $X$ wit…
▽ More
Given a "Green function" $G$ on a locally compact space $X$ with countable base, a Borel set $A$ in $X$ is called $G$-semipolar, if there is no measure $ν\ne 0$ supported by $A$ such that $Gν:=\int G(\cdot,y)\,dν(y)$ is a continuous real function on $X$. Introducing an intrinsic Hausdorff measure $m_G$ using $G$-balls $B(x,ρ):=\{y\in X\colon G(x,y)>1/ρ\}$, it is shown that every set $A$ in $X$ with $m_G(A)<\infty$ is contained in a $G$-semipolar Borel set.
This is of interest, since $G$-semipolar sets are semipolar in the potential-theoretic sense (countable unions of totally thin sets, hit by a corresponding process at most countably many times) provided $G$ is really a Green function for a harmonic space or, more generally, a balayage space.
For classical potential theory and Riesz potentials on $R^n$ or, more generally, for Green functions on a metric measure space $(X,d,μ)$ (where balls are relatively compact) given by a continuous heat kernel $(x,y,t)\mapsto p_t(x,y)$ with upper and lower bounds of the form $t^{-α/β}Φ_j(d(x,y)t^{-1/β})$, $j=1,2$, the intrinsic Hausdorff measure is equivalent to an ordinary Hausdorff measure $m_{α-β}$.
It is shown that for the corresponding space-time situation on $X\times R$ (heat equation on $R^n \times R$ in the classical case of the Gauss-Weierstrass kernel) the intrinsic Hausdorff measure is equivalent to an anisotropic Hausdorff measure $m_{α,β}$ (with $α=n$ and $β=2$ for the heat equation). In particular, our result solves an open problem for the heat equation (which was the initial motivation for the paper).
△ Less
Submitted 24 November, 2017;
originally announced November 2017.
-
Nearly hyperharmonic functions and Jensen measures
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
Let $(X,\mathcal H)$ be a $\mathcal P$-harmonic space and assume for simplicity that constants are harmonic. Given a numerical function $\varphi$ on $X$ which is locally lower bounded, let \begin{equation*}
J_\varphi(x):=\sup\{\int^\ast \varphi\,dμ(x)\colon μ\in \mathcal J_x(X)\}, \qquad x\in X, \end{equation*} where $\mathcal J_x(X)$ denotes the set of all Jensen measures $μ$ for $x$, that is,…
▽ More
Let $(X,\mathcal H)$ be a $\mathcal P$-harmonic space and assume for simplicity that constants are harmonic. Given a numerical function $\varphi$ on $X$ which is locally lower bounded, let \begin{equation*}
J_\varphi(x):=\sup\{\int^\ast \varphi\,dμ(x)\colon μ\in \mathcal J_x(X)\}, \qquad x\in X, \end{equation*} where $\mathcal J_x(X)$ denotes the set of all Jensen measures $μ$ for $x$, that is, $μ$ is a compactly supported measure on $X$ satisfying $\int u\,dμ\le u(x)$ for every hyperharmonic function on $X$. The main purpose of the paper is to show that, assuming quasi-universal measurability of $\varphi$, the function $J_\varphi$ is the smallest nearly hyperharmonic function majorizing $\varphi$ and that $J_\varphi=\varphi \vee \hat J_\varphi$, where $\hat J_\varphi$ is the lower semicontinuous regularization of $J_\varphi$. So, in particular, $J_\varphi $ turns out to be at least "as measurable as" $\varphi$.
This improves recent results, where the axiom of polarity was assumed. The preparations about nearly hyperharmonic functions on balayage spaces are closely related to the study of strongly supermedian functions triggered by J.-F. Mertens more than forty years ago.
△ Less
Submitted 15 May, 2017;
originally announced May 2017.
-
Reduced functions and Jensen measures
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
Let $\varphi$ be a locally upper bounded Borel measurable function on a Greenian open set $Ω$ in $R^d$ and, for every $x\in Ω$, let $v_\varphi(x)$ denote the infimum of the integrals of $\varphi$ with respect to Jensen measures for $x$ on $Ω$. Twenty years ago, B.J. Cole and T.J. Ransford proved that $v_\varphi$ is the supremum of all subharmonic minorants of $\varphi$ on $X$ and that the sets…
▽ More
Let $\varphi$ be a locally upper bounded Borel measurable function on a Greenian open set $Ω$ in $R^d$ and, for every $x\in Ω$, let $v_\varphi(x)$ denote the infimum of the integrals of $\varphi$ with respect to Jensen measures for $x$ on $Ω$. Twenty years ago, B.J. Cole and T.J. Ransford proved that $v_\varphi$ is the supremum of all subharmonic minorants of $\varphi$ on $X$ and that the sets $\{v_\varphi<t\}$, $t\in R$, are analytic. In this paper, a different method leading to the inf-sup-result establishes at the same time that, in fact, $v_\varphi$ is the minimum of $\varphi$ and a subharmonic function, and hence Borel measurable. This is presented in the generality of harmonic spaces, where semipolar sets are polar, and the key are measurability results for reduced functions on balayage spaces which are of independent interest.
△ Less
Submitted 8 February, 2017; v1 submitted 5 November, 2016;
originally announced November 2016.
-
Scaling invariant Harnack inequalities in a general setting
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
In a setting, where only "exit measures" are given, as they are associated with an arbitrary right continuous strong Markov process on a separable metric space, we provide simple criteria for the validity of Harnack inequalities for positive harmonic functions. These inequalities are scaling invariant with respect to a metric on the state space which, having an associated Green function, may be ad…
▽ More
In a setting, where only "exit measures" are given, as they are associated with an arbitrary right continuous strong Markov process on a separable metric space, we provide simple criteria for the validity of Harnack inequalities for positive harmonic functions. These inequalities are scaling invariant with respect to a metric on the state space which, having an associated Green function, may be adapted to the special situation. In many cases, this also implies continuity of harmonic functions and Hölder continuity of bounded harmonic functions. The results apply to large classes of Lévy (and similar) processes.
△ Less
Submitted 13 July, 2016; v1 submitted 6 April, 2016;
originally announced April 2016.
-
Hunt's hypothesis (H) and the triangle property of the Green function
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
Let $X$ be a locally compact abelian group with countable base and let $\mathcal W$ be a convex cone of positive numerical functions on $X$ which is invariant under the group action and such that $(X,\mathcal W)$ is a balayage space or (equivalently, if $1\in \mathcal W$) such that $\mathcal W$ is the set of excessive functions of a Hunt process on $X$, $\mathcal W$ separates points, every functio…
▽ More
Let $X$ be a locally compact abelian group with countable base and let $\mathcal W$ be a convex cone of positive numerical functions on $X$ which is invariant under the group action and such that $(X,\mathcal W)$ is a balayage space or (equivalently, if $1\in \mathcal W$) such that $\mathcal W$ is the set of excessive functions of a Hunt process on $X$, $\mathcal W$ separates points, every function in $\mathcal W$ is the supremum of its continuous minorants in $\mathcal W$, and there exist strictly positive continuous $u,v\in \mathcal W$ such that $u/v\to 0$ at infinity.
Assuming that there is a Green function $G>0$ for $X$ which locally satisfies the triangle inequality $G(x,z)\wedge G(y,z)\le C G(x,y)$ (true for many Lévy processes), it is shown that Hunt's hypothesis (H) holds, that is, every semipolar set is polar.
△ Less
Submitted 11 November, 2014;
originally announced November 2014.
-
Harnack inequalities for Hunt processes with Green function
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
Let $(X,\mathcal W)$ be a balayage space, $1\in \mathcal W$, or - equivalently - let $\mathcal W$ be the set of excessive functions of a Hunt process on a locally compact space $X$ with countable base such that $\mathcal W$ separates points, every function in $\mathcal W$ is the supremum of its continuous minorants and there exist strictly positive continuous $u,v\in \mathcal W$ such that…
▽ More
Let $(X,\mathcal W)$ be a balayage space, $1\in \mathcal W$, or - equivalently - let $\mathcal W$ be the set of excessive functions of a Hunt process on a locally compact space $X$ with countable base such that $\mathcal W$ separates points, every function in $\mathcal W$ is the supremum of its continuous minorants and there exist strictly positive continuous $u,v\in \mathcal W$ such that $u/v\to 0$ at infinity. We suppose that there is a Green function $G>0$ for $X$, a metric $ρ$ on $X$ and a decreasing function $g\colon[0,\infty)\to (0,\infty]$ having the doubling property and a mild upper decay near $0$ such that $G\approx g\circρ$ (which is equivalent to a $3G$-inequality).
Then the corresponding capacity for balls of radius $r$ is bounded by a constant multiple of $1/g(r)$. Assuming that reverse inequalities hold as well and that jumps of the process, when starting at neighboring points, are related in a suitable way, it is proven that positive harmonic functions satisfy scaling invariant Harnack inequalities. Provided that the Ikeda-Watanabe formula holds, sufficient conditions for this relation are given. This shows that rather general Lévy processes are covered by this approach.
△ Less
Submitted 9 February, 2015; v1 submitted 12 October, 2014;
originally announced October 2014.
-
Unavoidable sets and harmonic measures living on small sets
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
Given a connected open set $U\ne\emptyset$ in $ R^d$, $d\ge 2$, a relatively closed set $A$ in $U$ is called \emph{unavoidable in $U$}, if Brownian motion, starting in $x\in U\setminus A$ and killed when leaving $U$, hits $A$ almost surely or, equivalently, if the harmonic measure for $x$ with respect to $U\setminus A$ has mass $1$ on $A$. First a new criterion for unavoidable sets is proven which…
▽ More
Given a connected open set $U\ne\emptyset$ in $ R^d$, $d\ge 2$, a relatively closed set $A$ in $U$ is called \emph{unavoidable in $U$}, if Brownian motion, starting in $x\in U\setminus A$ and killed when leaving $U$, hits $A$ almost surely or, equivalently, if the harmonic measure for $x$ with respect to $U\setminus A$ has mass $1$ on $A$. First a new criterion for unavoidable sets is proven which facilitates the construction of smaller and smaller unavoidable sets in $U$. Starting with an arbitrary champagne subdomain of $U$ (which is obtained omitting a locally finite union of pairwise disjoint closed balls $\overline B(z, r_z)$, $z\in Z$, satisfying $\sup_{z\in Z} r_z/\mbox{dist}(z,U^c)<1$), a combination of the criterion and the existence of small nonpolar compact sets of Cantor type yields a set $A$ on which harmonic measures for $U\setminus A$ are living and which has Hausdorff dimension $d-2$ and, if $d=2$, logarithmic Hausdorff dimension $1$.
This can be done as well for Riesz potentials (isotropic $α$-stable processes) on Euclidean space and for censored stable processes on $C^{1,1}$ open subsets. Finally, in the very general setting of a balayage space $(X,\mathcal W)$ on which the function $1$ is harmonic (which covers not only large classes of second order partial differential equations, but also non-local situations as, for example, given by Riesz potentials, isotropic unimodal Lévy processes or censored stable processes) a construction of champagne subsets $X\setminus A$ of $X$ with small unavoidable sets $A$ is given which generalizes (and partially improves) recent constructions in the classical case.
△ Less
Submitted 1 March, 2014; v1 submitted 23 June, 2013;
originally announced June 2013.
-
Champagne subdomains with unavoidable bubbles
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
A champagne subdomain of a connected open set $U\ne\emptyset$ in $R^d$, $d\ge 2$, is obtained omitting pairwise disjoint closed balls $\bar{B}(x,r_x)$, $x\in X$, the bubbles, where $X$ is an infinite, locally finite set in $U$. The union $A$ of these balls may be unavoidable, that is, Brownian motion, starting in $U\setminus A$ and killed when leaving $U$, may hit $A$ almost surely or, equivalentl…
▽ More
A champagne subdomain of a connected open set $U\ne\emptyset$ in $R^d$, $d\ge 2$, is obtained omitting pairwise disjoint closed balls $\bar{B}(x,r_x)$, $x\in X$, the bubbles, where $X$ is an infinite, locally finite set in $U$. The union $A$ of these balls may be unavoidable, that is, Brownian motion, starting in $U\setminus A$ and killed when leaving $U$, may hit $A$ almost surely or, equivalently, $A$ may have harmonic measure one for $U\setminus A$.
Recent publications by Gardiner/Ghergu ($d\ge 3$) and by Pres ($d=2$) give rather sharp answers to the question how small such a set $A$ may be, when $U$ is the unit ball.
In this paper, using a totally different approach, optimal results are obtained, results which hold as well for arbitrary connected open sets $U$.
△ Less
Submitted 31 July, 2012;
originally announced July 2012.
-
Champagne subregions with unavoidable bubbles
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
A champagne subregion of a connected open set $U\ne\emptyset$ in $R^d$, $d\ge 2$, is obtained omitting pairwise disjoint closed balls $\bar B(x, r_x)$, $x\in X$, the bubbles, where $X$ is a locally finite set in $U$. The union $A$ of these balls may be unavoidable, that is, Brownian motion, starting in $U\setminus A$ and killed when leaving $U$, may hit $A$ almost surely or, equivalently, $A$ may…
▽ More
A champagne subregion of a connected open set $U\ne\emptyset$ in $R^d$, $d\ge 2$, is obtained omitting pairwise disjoint closed balls $\bar B(x, r_x)$, $x\in X$, the bubbles, where $X$ is a locally finite set in $U$. The union $A$ of these balls may be unavoidable, that is, Brownian motion, starting in $U\setminus A$ and killed when leaving $U$, may hit $A$ almost surely or, equivalently, $A$ may have harmonic measure one for $U\setminus A$.
Recent publications by Gardiner/Ghergu ($d\ge 3$) and by Pres ($d=2$) give rather sharp answers to the question how small such a set $A$ may be, when $U$ is the unit ball.
In this paper, using a new criterion for unavoidable sets and a straightforward approach, much stronger results are obtained, results which hold as well for an arbitrary open set $U$.
△ Less
Submitted 17 June, 2012; v1 submitted 7 June, 2012;
originally announced June 2012.
-
Jensen measures in potential theory
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
It is shown that, for open sets in classical potential theory and - more generally - for elliptic harmonic spaces, the set of Jensen measures for a point is a simple union of closed faces of a compact convex set which has been thoroughly studied a long time ago. In particular, the set of extreme Jensen measures can be immediately identified. The results hold even without ellipticity (thus capturin…
▽ More
It is shown that, for open sets in classical potential theory and - more generally - for elliptic harmonic spaces, the set of Jensen measures for a point is a simple union of closed faces of a compact convex set which has been thoroughly studied a long time ago. In particular, the set of extreme Jensen measures can be immediately identified. The results hold even without ellipticity (thus capturing also many examples for the heat equation) provided a rather weak approximation property for superharmonic functions or a certain transience property holds.
△ Less
Submitted 8 July, 2010;
originally announced July 2010.
-
Convexity of limits of harmonic measures
Authors:
Wolfhard Hansen,
Ivan Netuka
Abstract:
It is shown that, given a point $x\in\mathbbm{R}^d$, $d\ge 2$, and open sets $U_1,...,U_k$ containing $x$, any convex combination of the harmonic measures for $x$ with respect to $U_n$, $1\le n\le k$, is the limit of a sequence of harmonic measures for $x$ with respect to open subsets $W_m$ of $U_1\cup... \cup U_k$ containing $x$. This answers a question raised in connection with Jensen measures…
▽ More
It is shown that, given a point $x\in\mathbbm{R}^d$, $d\ge 2$, and open sets $U_1,...,U_k$ containing $x$, any convex combination of the harmonic measures for $x$ with respect to $U_n$, $1\le n\le k$, is the limit of a sequence of harmonic measures for $x$ with respect to open subsets $W_m$ of $U_1\cup... \cup U_k$ containing $x$. This answers a question raised in connection with Jensen measures.
More generally, we prove that, for arbitrary measures on an open set $W$, the set of extremal representing measures, with respect to the cone of continuous potentials on $W$ or with respect to the cone of continuous functions on the closure of $W$ which are superharmonic $W$, is dense in the compact convex set of all representing measures. This is achieved approximating balayage on open sets by balayage on unions of balls which are pairwise disjoint and very small with respect to their mutual distances and then shrinking these balls in a suitable manner. The results are presented simultaneously for the classical case and for the theory of Riesz potentials. Finally, a characterization of all Jensen measures and of all extremal Jensen measures is given.
△ Less
Submitted 10 August, 2006;
originally announced August 2006.
