TEN EQUIVALENT DEFINITIONS OF THE FRACTIONAL LAPLACE OPERATOR

This article discusses several definitions of the fractional Laplace operator L = -(-Delta)(alpha/2) in R-d, also known as the Riesz fractional derivative operator; here alpha is an element of (0, 2) and d >= 1. This is a core example of a non-local pseudo-differential operator, appearing in various areas of theoretical and applied mathematics. As an operator on Lebesgue spaces L-p (with p is an element of [1, infinity)), on the space C-0 of continuous functions vanishing at infinity and on the space C-bu of bounded uniformly continuous functions, L can be defined, among others, as a singular integral operator, as the generator of an appropriate semigroup of operators, by Bochner's subordination, or using harmonic extensions. It is relatively easy to see that all these definitions agree on the space of appropriately smooth functions. We collect and extend known results in order to prove that in fact all these definitions are completely equivalent: on each of the above function spaces, the corresponding operators have a common domain and they coincide on that common domain.