Accessibility, martin boundary and minimal thinness for Feller processes in metric measure spaces (Q1645286)

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\).