Ngô Quốc Anh

May 20, 2010

Fractional Laplacian in R^N

Filed under: PDEs — Tags: — Ngô Quốc Anh @ 17:29

Half-Laplacian has been discussed in this entry using harmonic extension. Today, we derive a more general form, called fractional laplacian denoted by (-\Delta)^s, for a function f : \mathbb R^n \to \mathbb R where the parameter s is a real number between 0 and 1 and n \geqslant 3.

It is worth recalling the following fact known as Newtonian potential in theory of PDEs. The Newtonian potential u of a compactly supported integrable function f, i.e. f \in L_{loc}^1(\mathbb R^n), is defined as the convolution

\displaystyle u(x) = \Gamma * f(x) = \int_{\mathbb{R}^n} \Gamma(x-y)f(y)dy

where the Newtonian kernel \Gamma in dimension n is defined by

\displaystyle\Gamma(x) = \begin{cases} \frac{1}{2}\left| x \right| & n=1 \\ \frac{1}{2\pi} \log{ | x | } & n=2 \\ \frac{1}{n(2-n)\omega_n} | x | ^{2-n} & n>2. \end{cases} .

Here \omega_d is the volume of the unit in \mathbb R^n. Coefficients in \Gamma(x), denoted by \frac{1}{C_n}, are usually called normalization constants. The Newtonian potential u of f is a solution of the Poisson equation

\Delta u = f.

In case n \geqslant 3, u is actually the Riesz potential

\displaystyle u(x)=(I_2f)(x)=\frac{1}{C_{n,2}} \int_{\mathbb{R}^n}\frac{f(y)}{|x-y|^{n-2}}dy

with \alpha=2 where the Riesz potential is defined by

\displaystyle (I_{\alpha}f) (x)= \frac{1}{C_{n,\alpha}} \int_{{\mathbb{R}}^n} \frac{f(y)}{| x - y |^{n-\alpha}} dy

where C_{n,s} is some normalization constant given by

\displaystyle C_{n,s} = \pi^{n/2}2^s\frac{\Gamma\left(\frac{s}{2}\right)}{\Gamma\left(\frac{n-s}{2}\right)}.

Observe that at least formally the Riezs potentials I_\alpha verify the following rule

\displaystyle \Delta I_{\alpha+2} = -I_\alpha, \quad 0 \leqslant \alpha \leqslant n

which implies

\displaystyle \Delta^2 I_{\alpha+2} = -\Delta I_\alpha=I_{\alpha-2}, \quad 2 \leqslant \alpha \leqslant n-2.

Thus if we set \alpha to be 0 (in fact, this is impossible) we get

\displaystyle \Delta f = \Delta^2 u=\Delta^2 (I_2f)=I_{-2}f

which helps us to write down

\displaystyle \Delta f=\frac{1}{C_{n,2}} \int_{\mathbb{R}^n}\frac{f(y)}{|x-y|^{n+2}}dy.

Thus we wish to define the fractional Laplacian (-\Delta)^s as follows

\displaystyle (-\Delta )^s f(x) = \frac{1}{C_{n,s}} \int_{\mathbb{R}^n} \frac{-f(\xi)}{|x-\xi|^{n+2s}}d\xi.

The above fractional Laplacian is also often called the Riesz fractional derivative [here]. In a paper entitled “An Extension Problem Related to the Fractional Laplacian” due to Luis Caffarelli et al. [here] published in Comm. Partial Differential Equations in 2007, the fractional Laplacian can also be defined using

\displaystyle (-\Delta )^s f(x) = \frac{1}{C_{n,s}} \int_{\mathbb{R}^n} \frac{f(x)-f(\xi)}{|x-\xi|^{n+2s}}d\xi.

Let us now study the terminology of weak solution to the following semilinear elliptic equation in the whole space

\displaystyle (-\Delta)^\frac{\alpha}{2}u=u^\frac{n+\alpha}{n-\alpha}.

By a weak solution we mean a function u \in H^\frac{\alpha}{2}(\mathbb R^n) such that

\displaystyle\int_{\mathbb R^n} (-\Delta)^\frac{\alpha}{4}u (-\Delta)^\frac{\alpha}{4} \varphi dx = \int_{\mathbb R^n} u^\frac{n+\alpha}{n-\alpha} \varphi dx

for any positive test function \varphi in the distribution sense. I will back to this stuff once I finish introducing the fractional Laplacian via pseudo-differential operators.

See also: Half-Laplacian in \mathbb R^n

1 Comment »

  1. Nice introduction.
    Fractional Laplacians are also understood as infinitesimal generators of stable Levy processes and therefore applied to stochastic calculus. It can be defined through Fourier Transform as

    \displaystyle [(-\Delta)^{\frac{\alpha}{2}}u]^{\wedge} (\xi) = (2\pi |\xi|)^{\alpha}\widehat{u}(\xi)

    Lots of problems (critical problems, concave-convex, blow-up…) related with generalizations to Fractional Laplacians have been done (and much more are still open).

    Thanks again for that nice post!

    Comment by Urko — December 23, 2010 @ 16:40


RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Blog at WordPress.com.

%d bloggers like this: