Boundary Harnack principle and gradient estimates for fractional Laplacian perturbed by non-local operators

Abstract: Suppose

d g e 2

and

. We consider the non-local operator

m a t h c a l L^{b} = D e l t a^{a l p h a / 2} + m a t h c a l S^{b}

, where

mathcal{S}^{b}f(x):=lim_{varepsilon o 0}mathcal{A}(d,-�eta)int_{|z|>varepsilon}left(f(x+z)-f(x) ight)frac{b(x,z)}{|z|^{d+�eta}},dy.

Here

b (x, z)

is a bounded measurable function on

m a t h b b R^{d} i m e s m a t h b b R^{d}

that is symmetric in

z

, and

is a normalizing constant so that when

b (x, z) e q u i v 1

,

m a t h c a l S^{b}

becomes the fractional Laplacian

. In other words,

mathcal{L}^{b}f(x):=lim_{varepsilon o 0}mathcal{A}(d,-�eta)int_{|z|>varepsilon}left(f(x+z)-f(x) ight) j^b(x, z),dz,

where

. It is recently established in Chen and Wang [arXiv:1312.7594 [math.PR]] that, when

j^{b} (x, z) g e q 0

on

m a t h b b R^{d} i m e s m a t h b b R^{d}

, there is a conservative Feller process

X^{b}

having

m a t h c a l L^{b}

as its infinitesimal generator. In this paper we establish, under certain conditions on

b

, a uniform boundary Harnack principle for harmonic functions of

X^{b}

(or equivalently, of

m a t h c a l L^{b}

) in any

k a p p a

-fat open set. We further establish uniform gradient estimates for non-negative harmonic functions of

X^{b}

in open sets.

Recommendations

Cites Work

Cited In (3)

This page was built for publication: Boundary Harnack principle and gradient estimates for fractional Laplacian perturbed by non-local operators