Fractional Laplacian: Difference between revisions

From nonlocal pde
Jump to navigation Jump to search
imported>Luis
No edit summary
imported>Luis
No edit summary
Line 27: Line 27:


=== As a generator of a [[Levy process]] ===
=== As a generator of a [[Levy process]] ===
The operator is the generator of a special Levy process called the $\alpha$-stable.
The operator can be defined as the generator of $\alpha$-stable Levy processes. In other words, if $X_t$ is an $\alpha$-stable process starting at zero and $f$ is a smooth function, then
\[ (-\Delta)^s f(x) = \lim_{h \to 0^+} \frac 1 {h} \mathbb E [f(x) - f(x+X_h)]. \]
 
This definition is important for applications to probability.

Revision as of 01:35, 8 June 2011

The fractional Laplacian $(-\Delta)^s$ is a classical operator which can be defined in several equivalent ways.

It is the most typical elliptic operator of order $2s$.

Definitions

As a pseudo-differential operator

The fractional Laplacian is the pseudo-differential operator with symbol $|\xi|^{2s}$. In other words, the following formula holds \[ \widehat{(-\Delta)^s f}(\xi) = |\xi|^{2s} \hat f(\xi).\] for any function (or tempered distribution) for which the right hand side makes sense.

This formula is the simplest to understand and it is useful for problems in the whole space. On the other hand, it is hard to obtain local estimates from it.

From functional calculus

Since the operator $-\Delta$ is a self-adjoint positive definite operator in a dense subset $D$ of $L^2(\R^n)$, one can define $F(-\Delta)$ for any continuous function $F:\R^+ \to \R$. In particular, this serves as a more or less abstract definition of $(-\Delta)^s$.

This definition is not as useful for practical applications, since it does not provide any explicit formula.

As a singular integral

If $f$ is regular enough and $s \in (0,1)$, $(-\Delta)^s f(x)$ can be computed by the formula \[ (-\Delta)^s f(x) = c_{n,s} \int_{\R^n} \frac{f(x) - f(y)} {|x-y|^{n+2s}} \mathrm d y .\]

Where $c_{n,s}$ is a constant depending on dimension and $s$.

This formula is the most useful to study local properties of equations involving the fractional Laplacian and regularity for critical semilinear problems.

As a generator of a Levy process

The operator can be defined as the generator of $\alpha$-stable Levy processes. In other words, if $X_t$ is an $\alpha$-stable process starting at zero and $f$ is a smooth function, then \[ (-\Delta)^s f(x) = \lim_{h \to 0^+} \frac 1 {h} \mathbb E [f(x) - f(x+X_h)]. \]

This definition is important for applications to probability.