Fractional Laplacian Explained

In mathematics, the fractional Laplacian is an operator, which generalizes the notion of Laplacian spatial derivatives to fractional powers. This operator is often used to generalise certain types of Partial differential equation, two examples are [1] and [2] which both take known PDEs containing the Laplacian and replacing it with the fractional version.

Definition

In literature the definition of the fractional Laplacian often varies, but most of the time those definitions are equivalent. The following is a short overview proofen by Kwaśnicki, M in.[3]

Let

p\in[1,infty)

,

l{X}:=Lp(\Rn)

and

s\in(0,1)

.

Fourier Definition

If we further restrict to

p\in[1,2]

, we get

(-\Delta)sf:=

-1
l{F}
\xi

(|\xi|2sl{F}(f))

This definition uses the Fourier transform for

f\inLp(\Rn)

. This definition can also be broaden through the Bessel potential to all

p\in[1,infty)

.

Singular Operator

The Laplacian can also be viewed as a singular integral operator which is defined as the following limit taken in

l{X}

.

(-\Delta)sf(x)=

4s\Gamma(d/2+s)
\pid/2|\Gamma(-s)|
\lim
r\to0+
\int\limits{
Rd\setminusBr(x)
f(x)-f(y)
|x-y|d+2s

dy}

Generator of C_0-semigroup

Using the fractional heat-semigroup which is the family of operators

\{Pt\}t

, we can define the fractional Laplacian through its generator.

-(-\Delta)sf(x)=

\lim
t\to0+
Ptf-f
t

It is to note, that the generator is not the fractional Laplacian

(-\Delta)s

but the negativ of it

-(-\Delta)s

. The operator

Pt:l{X}\tol{X}

is defined by

Ptf:=pt*f

,

where

*

is the convolution of two functions and

pt:=

-1
l{F}
\xi
-t|\xi|2s
(e

)

.

See also

External links

Notes and References

  1. Melcher . Christof . Sakellaris . Zisis N. . 2019-05-04 . Global dissipative half-harmonic flows into spheres: small data in critical Sobolev spaces . Communications in Partial Differential Equations . en . 44 . 5 . 397–415 . 1806.06818 . 10.1080/03605302.2018.1554675 . 0360-5302.
  2. Wettstein . Jerome D. . 2023 . Half-harmonic gradient flow: aspects of a non-local geometric PDE . Mathematics in Engineering . en . 5 . 3 . 1–38 . 2112.08846 . 10.3934/mine.2023058 . 2640-3501.
  3. Kwaśnicki . Mateusz . 2017 . Ten equivalent definitions of the fractional Laplace operator . Fractional Calculus and Applied Analysis . 20 . 1507.07356 . 10.1515/fca-2017-0002.