Accessibility, martin boundary and minimal thinness for Feller processes in metric measure spaces (Q1645286)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Accessibility, martin boundary and minimal thinness for Feller processes in metric measure spaces |
scientific article |
Statements
Accessibility, martin boundary and minimal thinness for Feller processes in metric measure spaces (English)
0 references
28 June 2018
0 references
The authors study the Martin boundary at \(\infty\) for a Feller process \(X\) with values in a metric measure space \((\mathfrak X, d,m)\) and whose sample paths have jumps and no continuous part (so-called purely discontinuous Feller processes). The following assumptions are needed: {\parindent=0.7cm \begin{itemize}\item[(A)] \(X\) (seen as a Hunt process) has a strong dual \(\widehat X\) w.r.t.\ the measure \(m\) and \(X,\widehat X\) are both Feller and strong Feller. Moreover, the notions of polar and semi-polar sets coincide. \item[(C)] The Lévy systems of \(X\) resp.\ \(\widehat X\) are given by \(j(x,y)\,m(dy)\) and \(\widehat\jmath(x,y)\,m(dy)\), respectively, and \(j(x,y)=\widehat\jmath(y,x) > 0\). Moreover, the densities \(j\) and \(\widehat\jmath\) have controlled decay. \item[(F)] Fix \(z_0\in\mathfrak X\), \(R>0\). For any \(D\subset \overline B^c(z_0,r)\) and \(a\in (1,2)\), every nonnegative function \(f(x)\) on \(\mathfrak X\) which is regular harmonic on \(D\) and vanishes outside a certain set is comparable (from above and below) with the function \(P_D(x,z_0) \int_{B(z_0,2ar)} f(y)\,m(dy)\). Here, \(P_D(x,z_0)\) denotes the Poisson kernel. \end{itemize}} Condition (F) is implied by condition (D) of the paper [Trans. Am. Math. Soc. 367, No. 1, 477--517 (2015; Zbl 1309.60080)] by \textit{K. Bogdan} et al. Known examples to satisfy these conditions are certain classes of isotropic \(d\)-dimensional Lévy processes which are comparable to isotropic unimodal Lévy processes, and some subordinated Brownian motions. Let \(D\) be an unbounded domain such that \(\infty\) is for \(X\) accessible from \(D\). The main results of the present paper are as follows: {\parindent=0.7cm \begin{itemize}\item[--] there exists a unique Martin boundary point associated with \(\infty\); \item[--] under some boundedness assumptions on the Green kernels \(G_D,\widehat G_D\) of \(X^D\) (this is the process killed upon leaving \(D\)) and \(\widehat X^D\), the Martin kernel at infinity \(M_D(\bullet,\infty)\) is harmonic for the process \(X^D\); \item[--] if, in addition, for all \(y\in D\) the Green kernel of \(X^D\) satisfies \(\lim_{x\to\infty}G_D(x,y)=0\), then the Martin boundary point associated with \(\infty\) is minimal. \end{itemize}} As a consequence, it is possible to identify (by a homeomorphism) the Martin boundary \(\partial_M D\) of \(D\) with the one-point compactification of the topological boundary \(\partial D\) and there is a unique representation of \(X^D\)-harmonic functions using an integral over the Martin Kernel \(M_D(x,z)\) w.r.t.\ a measure \(\mu\) concentrated on the one-point compactification of \(\partial D\).
0 references
Martin boundary
0 references
Martin kernel
0 references
purely discontinuous process
0 references
Feller process
0 references
minimal thinness
0 references
probabilistic potential theory
0 references