- Source: Fractional Laplacian
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 and 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 proven by Kwaśnicki, M in.
Let
p
∈
[
1
,
∞
)
{\displaystyle p\in [1,\infty )}
,
X
:=
L
p
(
R
n
)
{\displaystyle {\mathcal {X}}:=L^{p}(\mathbb {R} ^{n})}
and
s
∈
(
0
,
1
)
{\displaystyle s\in (0,1)}
.
= Fourier Definition
=If we further restrict to
p
∈
[
1
,
2
]
{\displaystyle p\in [1,2]}
, we get
(
−
Δ
)
s
f
:=
F
ξ
−
1
(
|
ξ
|
2
s
F
(
f
)
)
{\displaystyle (-\Delta )^{s}f:={\mathcal {F}}_{\xi }^{-1}(|\xi |^{2s}{\mathcal {F}}(f))}
This definition uses the Fourier transform for
f
∈
L
p
(
R
n
)
{\displaystyle f\in L^{p}(\mathbb {R} ^{n})}
. This definition can also be broaden through the Bessel potential to all
p
∈
[
1
,
∞
)
{\displaystyle 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
X
{\displaystyle {\mathcal {X}}}
.
(
−
Δ
)
s
f
(
x
)
=
4
s
Γ
(
d
/
2
+
s
)
π
d
/
2
|
Γ
(
−
s
)
|
lim
r
→
0
+
∫
R
d
∖
B
r
(
x
)
f
(
x
)
−
f
(
y
)
|
x
−
y
|
d
+
2
s
d
y
{\displaystyle (-\Delta )^{s}f(x)={\frac {4^{s}\Gamma (d/2+s)}{\pi ^{d/2}|\Gamma (-s)|}}\lim _{r\to 0^{+}}\int \limits _{\mathbb {R} ^{d}\setminus B_{r}(x)}{{\frac {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
{
P
t
}
t
∈
[
0
,
∞
)
{\displaystyle \{P_{t}\}_{t\in [0,\infty )}}
, we can define the fractional Laplacian through its generator.
−
(
−
Δ
)
s
f
(
x
)
=
lim
t
→
0
+
P
t
f
−
f
t
{\displaystyle -(-\Delta )^{s}f(x)=\lim _{t\to 0^{+}}{\frac {P_{t}f-f}{t}}}
It is to note, that the generator is not the fractional Laplacian
(
−
Δ
)
s
{\displaystyle (-\Delta )^{s}}
but the negativ of it
−
(
−
Δ
)
s
{\displaystyle -(-\Delta )^{s}}
. The operator
P
t
:
X
→
X
{\displaystyle P_{t}:{\mathcal {X}}\to {\mathcal {X}}}
is defined by
P
t
f
:=
p
t
∗
f
{\displaystyle P_{t}f:=p_{t}*f}
,
where
∗
{\displaystyle *}
is the convolution of two functions and
p
t
:=
F
ξ
−
1
(
e
−
t
|
ξ
|
2
s
)
{\displaystyle p_{t}:={\mathcal {F}}_{\xi }^{-1}(e^{-t|\xi |^{2s}})}
.
See also
Fractional calculus
Nonlocal operator
Riemann-Liouville integral
References
External links
"Fractional Laplacian". Nonlocal Equations Wiki, Department of Mathematics, The University of Texas at Austin.
Kata Kunci Pencarian:
- Fractional Laplacian
- Laplace operator
- Fractional calculus
- Acoustic attenuation
- Nonlocal operator
- Fractional Brownian motion
- Fractional-order integrator
- Initialized fractional calculus
- Differintegral
- Zhi-Ming Ma
