BZPEER

preprint2023arXiv

Positive harmonically bounded solutions for semi-linear equations

For open sets $U$ in some space $X$ , we are interested in positive solutions to semi-linear equations $Lu=φ(\cdot,u)μ$ on $U$ . Here $L$ may be an elliptic or parabolic operator of second order (generator of a diffusion process) or an integro-differential operator (generator of a jump process), $μ$ is a positive measure on $U$ and $φ$ is an arbitrary measurable real function on $U\times \mathbb{R}^+$ such that the functions $t\mapsto φ(x,t)$ , $x\in U$ , are continuous, increasing and vanish at $t=0$ . More precisely, given a measurable function $h\ge 0$ on $X$ which is $L$ -harmonic on $U$ , that is, continuous real on $U$ with $Lh=0$ on $U$ , we give necessary and sufficient conditions for the existence of positive solutions $u$ such that $u=h$ on $X\setminus U$ and $u$ has the same ``boundary behavior'' as $h$ on $U$ (Problem 1) or, alternatively, $u\le h$ on $U$ , but $u\not\equiv 0$ on $U$ (Problem 2). We show that these problems are equivalent to problems of the existence of positive solutions to certain integral equations $u+Kφ(\cdot,u)=g$ on $U$ , $K$ being a potential kernel. We solve them in the general setting of balayage spaces $(X,\mathcal{W})$ which, in probabilistic terms, corresponds to the setting of transient Hunt processes with strong Feller resolvent.

preprint2022arXiv

Compactness of integral operators and uniform integrability on measure spaces

Let $(E,\mathcal E,μ)$ be a measure space and $G\colon E\times E\to [0,\infty]$ be measurable. Moreover, let $\mathcal F\!_{ui}$ denote the set of all $q\in\mathcal E^+$ (measurable numerical functions $q\ge 0$ on $E$ ) such that $\{G(x,\cdot)q\colon x\in E\}$ is uniformly integrable, and let $\mathcal F\!_{co}$ denote the set of all $q\in\mathcal E^+$ such that the mapping $f\mapsto G(fq) :=\int G(\cdot,y) f(y) q(y)\,dμ(y)$ is a compact operator on the space $\mathcal E_b$ of bounded measurable functions on $E$ (equipped with the sup-norm). It is shown that $\mathcal F\!_{ui}=\mathcal F\!_{co}$ provided both $\mathcal F\!_{ui}$ and $\mathcal F\!_{co}$ contain strictly positive functions.

preprint2020arXiv

On Evans' and Choquet's theorems on polar sets

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.

preprint2016arXiv

Darning and gluing of diffusions

We introduce darning of compact sets (darning and gluing of finite unions of compact sets), which are not thin at any of their points, in a potential-theoretic framework which may be described, analytically, in terms of harmonic kernels/harmonic functions or, probabilistically, in terms of a diffusion. This is accomplished without leaving our kind of setting so that the procedure can be iterated without any problem. It applies to darning and gluing of compacts in Euclidean spaces (manifolds) of different dimensions, which is of interest pertaining to recent studies on heat kernels.

preprint2016arXiv

Intrinsic Hölder continuity of harmonic functions

In a setting, where only exit measures are given, as they are associated with a right continuous strong Markov process on a separable metric space, we provide simple criteria for scaling invariant Hölder continuity of bounded harmonic functions with respect to a distance function which, in applications, may be adapted to the special situation. In particular, already a very weak scaling property ensures that Harnack inequalities imply Hölder continuity. Our approach covers recent results by M. Kassmann and A. Mimica as well as cases, where a Green function leads to an intrinsic metric.

preprint2016arXiv

Scaling invariant Harnack inequalities in a general setting

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.

preprint2015arXiv

Harnack inequalities for Hunt processes with Green function

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.

preprint2015arXiv

Hölder continuity of harmonic functions for Hunt processes with Green function

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 such that $G\approx g\circρ$ and the capacity of balls of radius $r$ is approximately $1/g(r)$ . It is shown that bounded harmonic functions are Hölder continuous, if the constant function $1$ is harmonic and jumps out of balls admit a polynomial estimate. The latter is proven if scaling invariant Harnack inequalities hold.

preprint2015arXiv

Liouville property, Wiener's test and unavoidable sets for Hunt processes

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 such that $G\approx g\circρ$ . Assuming that the constant function $1$ is harmonic and balls are relatively compact, is is shown that every positive harmonic function is constant (Liouville property) and that Wiener's test at infinity shows, if a given set $A$ in $X$ is unavoidable, that is, if the process hits $A$ with probability one, wherever it starts. An application yields that locally finite unions of pairwise disjoint balls $B(z,r_z)$ , $z\in Z$ , which have a certain separation property with respect to a suitable measure $λ$ on $X$ are unavoidable if and only if, for some/any point $x_0\in X$ , the series $\sum_{z\in Z} g(ρ(x_0,z))/g(r_z)$ diverges. The results generalize and, exploiting a zero-one law for hitting probabilities, simplify recent work by S. Gardiner and M. Ghergu, A. Mimica and Z. Vondra\v cek, and the author.

preprint2014arXiv

Hunt's hypothesis (H) and the triangle property of the Green function

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.

preprint2014arXiv

Unavoidable collections of balls for processes with isotropic unimodal Green function

Let us suppose that we have a right continuous Markov semigroup on $R^d$ , $d\ge 1$ , such that its potential kernel is given by convolution with a function $G_0=g(|\cdot|)$ , where $g$ is decreasing, has a mild lower decay property at zero, and a very weak decay property at infinity. This captures not only the Brownian semigroup (classical potential theory) and isotropic $α$ -stable semigroups (Riesz potentials), but also more general isotropic Lévy processes, where the characteristic function has a certain lower scaling property, and various geometric stable processes. There always exists a corresponding Hunt process. A subset $A$ of $R^d$ is called unavoidable, if the process hits $A$ with probability $1$ , wherever it starts. It is known that, for any locally finite union of pairwise disjoint balls $B(z,r_z)$ , $z\in Z$ , which is unavoidable, $\sum_{z\in Z} g(|z|)/g(r_z)=\infty$ . The converse is proven assuming, in addition, that, for some $\varepsilon>0$ , $|z-z'|\ge \varepsilon |z| (g(|z|)/g(r_z))^{1/d}$ , whenever $z,z'\in Z$ , $z\ne z'$ . It also holds, if the balls are regularly located, that is, if their centers keep some minimal mutual distance, each ball of a certain size intersects $Z$ , and $r_z=g(ϕ(|z|))$ , where $ϕ$ is a decreasing function. The results generalize and, exploiting a zero-one law, simplify recent work by A. Mimica and Z. Vondracek.

preprint2012arXiv

Champagne subdomains with unavoidable bubbles

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$ .

preprint2012arXiv

Champagne subregions with unavoidable bubbles

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$ .

preprint2012arXiv

Localization and Schrödinger perturbations of kernels

We study iterations of integral kernels satisfying a transience-type condition and we prove exponential estimates analogous to Gronwall\rq{}s inequality. As a consequence we obtain estimates of Schrödinger perturbations of integral kernels, including Markovian semigroups.

preprint2010arXiv

Jensen measures in potential theory

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.

preprint2009arXiv

One-radius results for supermedian functions on $\Bbb R^d$ , $d\le 2$

A classical result states that every lower bounded superharmonic function on $\Bbb R^2$ is constant. In this paper the following (stronger) one-circle version is proven. If $f\colon \Bbb R^2\to (-\infty,\infty]$ is lower semicontinuous, $\liminf_{|x|\to\infty} f(x)/\ln|x|\ge 0$ , and, for every $x\in\Bbb R^2$ , $1/(2π) \int_0^{2π} f(x+r(x)e^{it}) dt\le f(x)$ , where $r\colon \Bbb R^2\to (0,\infty)$ is continuous, $\sup_{x\in\Bbb R^2} (r(x)-|x|)<\infty$ , and $\inf_{x\in\Bbb R^2} (r(x)-|x|)=-\infty$ , then $f$ is constant. Moreover, it is shown that, with respect to the assumption $r\le c|\cdot|+M$ on $\Bbb R^d$ , there is a striking difference between the restricted volume mean property for the cases $d=1$ and $d=2$ .

Wolfhard Hansen

Research overview

Is this your work?

16 publications

Positive harmonically bounded solutions for semi-linear equations

Compactness of integral operators and uniform integrability on measure spaces

On Evans' and Choquet's theorems on polar sets

Darning and gluing of diffusions

Intrinsic Hölder continuity of harmonic functions

Scaling invariant Harnack inequalities in a general setting

Harnack inequalities for Hunt processes with Green function

Hölder continuity of harmonic functions for Hunt processes with Green function

Liouville property, Wiener's test and unavoidable sets for Hunt processes

Hunt's hypothesis (H) and the triangle property of the Green function

Unavoidable collections of balls for processes with isotropic unimodal Green function

Champagne subdomains with unavoidable bubbles

Champagne subregions with unavoidable bubbles

Localization and Schrödinger perturbations of kernels

Jensen measures in potential theory

One-radius results for supermedian functions on $\Bbb R^d$ , $d\le 2$

See the researcher in context

Building this map preview

Wolfhard Hansen

Research overview

Is this your work?

16 publications

Positive harmonically bounded solutions for semi-linear equations

Compactness of integral operators and uniform integrability on measure spaces

On Evans' and Choquet's theorems on polar sets

Darning and gluing of diffusions

Intrinsic Hölder continuity of harmonic functions

Scaling invariant Harnack inequalities in a general setting

Harnack inequalities for Hunt processes with Green function

Hölder continuity of harmonic functions for Hunt processes with Green function

Liouville property, Wiener's test and unavoidable sets for Hunt processes

Hunt's hypothesis (H) and the triangle property of the Green function

Unavoidable collections of balls for processes with isotropic unimodal Green function

Champagne subdomains with unavoidable bubbles

Champagne subregions with unavoidable bubbles

Localization and Schrödinger perturbations of kernels

Jensen measures in potential theory

One-radius results for supermedian functions on Rd\Bbb R^dRd, d≤2d\le 2d≤2

See the researcher in context

Building this map preview

One-radius results for supermedian functions on $\Bbb R^d$ , $d\le 2$