Abstract:We obtain a uniform boundary Harnack principle (BHP) on any open sets for a large class of non-local operators on metric measure spaces under a jump measure comparability and tail estimate condition, and an upper bound condition on the distribution function for the exit times from balls. These conditions are satisfied by any non-local operator $\mathcal{L}$ that admits a two-sided mixed stable-like heat kernel bounds when the underlying metric measure spaces have volume doubling and reverse volume doubling properties. The results of this paper are new even for non-local operators on Euclidean spaces. In particular, our results give not only the scale invariant but also uniform BHP for the first time for non-local operators on Euclidean spaces of both divergence form and non-divergence form with measurable coefficients.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the establishment of the Uniform Boundary Harnack Principle (BHP) for non - local operators on arbitrary open sets in metric measure spaces. Specifically, the author aims to prove that for a large class of non - local operators, under the conditions of jump measure comparability, tail estimate conditions, and the upper bound condition of the sphere exit time distribution function, the Uniform Boundary Harnack Principle on arbitrary open sets can be obtained.
### Main problem description
1. **Background and motivation**:
- The Boundary Harnack Principle (BHP) is a fundamental problem in analysis and probability theory. When it holds, it has a profound impact on the research of free boundary problems, Martin boundaries, Fatou theorems, and Green function estimates.
- Previous research has mainly focused on local operators or specific types of non - local operators, and there is still a lack of a unified Boundary Harnack Principle for more general non - local operators, especially those in divergence and non - divergence forms with measurable coefficients.
2. **Main contributions of the paper**:
- The author has for the first time proved that for a large class of non - local operators (including symmetric and non - symmetric operators), under certain conditions, a scale - invariant and uniform Boundary Harnack Principle can be obtained on arbitrary open sets.
- These results are applicable not only to Euclidean spaces but also to more general metric measure spaces.
### Key formulas and conditions
- **Jump measure comparability condition (Jc)**:
\[
J(x,dz) \leq C_1 \left( \frac{1 + d(y,z)}{d(x,z)} \right)^\theta J(y,dz) \quad \text{if } d(x,y) < \bar{r}
\]
\[
J(x,B(y,s)) \leq C_2 J(x,B(x,r)^c) \quad \text{if } d(x,y) > s + C_3 r
\]
- **Jump measure tail estimate condition (Jt)**:
\[
\frac{C_4}{\varphi(r)} \leq J(x,B(x,r)^c) \leq \frac{C_5}{\varphi(r)} \quad \text{for every } x \in X, 0 < r < \bar{r}
\]
- **Exit time estimate condition (EP)**:
\[
\mathbb{P}^x(\tau_{B(x,r)} < t) \leq \frac{C t}{\varphi(r)} \quad \text{for every } t > 0, x \in X, r \in (0, r_0)
\]
Through these conditions, the author is able to prove that non - local operators satisfy the Uniform Boundary Harnack Principle on arbitrary open sets, thus providing a new theoretical basis for the research of non - local operators.