Fractional Laplacian

Last updated April 10, 2024

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 )$ , ${\mathcal {X}}:=L^{p}(\mathbb {R} ^{n})$ and $s\in (0,1)$ .

Fourier Definition

If we further restrict to $p\in [1,2]$ , we get

(-\Delta )^{s}f:={\mathcal {F}}_{\xi }^{-1}(|\xi |^{2s}{\mathcal {F}}(f))

This definition uses the Fourier transform for $f\in L^{p}(\mathbb {R} ^{n})$ . 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 ${\mathcal {X}}$ .

(-\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\in [0,\infty )}$ , we can define the fractional Laplacian through its generator.

$-(-\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 $(-\Delta )^{s}$ but the negativ of it $-(-\Delta )^{s}$ . The operator $P_{t}:{\mathcal {X}}\to {\mathcal {X}}$ is defined by

$P_{t}f:=p_{t}*f$ ,

where $*$ is the convolution of two functions and $p_{t}:={\mathcal {F}}_{\xi }^{-1}(e^{-t|\xi |^{2s}})$ .

Related Research Articles

In mathematical analysis, the Dirac delta function, also known as the unit impulse, is a generalized function on the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line is equal to one. Since there is no function having this property, to model the delta "function" rigorously involves the use of limits or, as is common in mathematics, measure theory and the theory of distributions.

<span class="mw-page-title-main">Fokker–Planck equation</span> Partial differential equation

In statistical mechanics and information theory, the Fokker–Planck equation is a partial differential equation that describes the time evolution of the probability density function of the velocity of a particle under the influence of drag forces and random forces, as in Brownian motion. The equation can be generalized to other observables as well. The Fokker-Planck equation has multiple applications in information theory, graph theory, data science, finance, economics etc.

In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols $, (where is the nabla operator), or . In a Cartesian coordinate system, the Laplacian is given by the sum of second partial derivatives of the function with respect to each independent variable. In other coordinate systems, such as cylindrical and spherical coordinates, the Laplacian also has a useful form. Informally, the Laplacian Δ f (p) of a function f at a point p measures by how much the average value of f over small spheres or balls centered at p deviates from f (p) .$

In mathematics, the Fourier inversion theorem says that for many types of functions it is possible to recover a function from its Fourier transform. Intuitively it may be viewed as the statement that if we know all frequency and phase information about a wave then we may reconstruct the original wave precisely.

In mathematics, the Radon transform is the integral transform which takes a function f defined on the plane to a function Rf defined on the (two-dimensional) space of lines in the plane, whose value at a particular line is equal to the line integral of the function over that line. The transform was introduced in 1917 by Johann Radon, who also provided a formula for the inverse transform. Radon further included formulas for the transform in three dimensions, in which the integral is taken over planes. It was later generalized to higher-dimensional Euclidean spaces and more broadly in the context of integral geometry. The complex analogue of the Radon transform is known as the Penrose transform. The Radon transform is widely applicable to tomography, the creation of an image from the projection data associated with cross-sectional scans of an object.

In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus, which has particularly broad scope. Thus for instance if T is an operator, applying the squaring function s → s² to T yields the operator T². Using the functional calculus for larger classes of functions, we can for example define rigorously the "square root" of the (negative) Laplacian operator $-Δ$ or the exponential

In mathematics, a Dirac comb is a periodic function with the formula

In system analysis, among other fields of study, a linear time-invariant (LTI) system is a system that produces an output signal from any input signal subject to the constraints of linearity and time-invariance; these terms are briefly defined below. These properties apply (exactly or approximately) to many important physical systems, in which case the response $y (t)$ of the system to an arbitrary input $x (t)$ can be found directly using convolution: $y (t) = (x * h)(t)$ where $h (t)$ is called the system's impulse response and ∗ represents convolution (not to be confused with multiplication). What's more, there are systematic methods for solving any such system (determining $h (t)$ ), whereas systems not meeting both properties are generally more difficult (or impossible) to solve analytically. A good example of an LTI system is any electrical circuit consisting of resistors, capacitors, inductors and linear amplifiers.

In differential geometry, the Laplace–Beltrami operator is a generalization of the Laplace operator to functions defined on submanifolds in Euclidean space and, even more generally, on Riemannian and pseudo-Riemannian manifolds. It is named after Pierre-Simon Laplace and Eugenio Beltrami.

In mathematical analysis an oscillatory integral is a type of distribution. Oscillatory integrals make rigorous many arguments that, on a naive level, appear to use divergent integrals. It is possible to represent approximate solution operators for many differential equations as oscillatory integrals.

In mathematics, and more specifically in partial differential equations, Duhamel's principle is a general method for obtaining solutions to inhomogeneous linear evolution equations like the heat equation, wave equation, and vibrating plate equation. It is named after Jean-Marie Duhamel who first applied the principle to the inhomogeneous heat equation that models, for instance, the distribution of heat in a thin plate which is heated from beneath. For linear evolution equations without spatial dependency, such as a harmonic oscillator, Duhamel's principle reduces to the method of variation of parameters technique for solving linear inhomogeneous ordinary differential equations. It is also an indispensable tool in the study of nonlinear partial differential equations such as the Navier–Stokes equations and nonlinear Schrödinger equation where one treats the nonlinearity as an inhomogeneity.

An $- superprocess,, within mathematics probability theory is a stochastic process on that is usually constructed as a special limit of near-critical branching diffusions.$

In mathematics — specifically, in stochastic analysis — the infinitesimal generator of a Feller process is a Fourier multiplier operator that encodes a great deal of information about the process.

<span class="mw-page-title-main">Peridynamics</span>

Peridynamics is a non-local formulation of continuum mechanics that is oriented toward deformations with discontinuities, especially fractures. Originally, bond-based peridynamic has been introduced, wherein, internal interaction forces between a material point and all the other ones with which it can interact, are modeled as a central forces field. This type of force fields can be imagined as a mesh of bonds connecting each point of the body with every other interacting point within a certain distance which depends on material property, called peridynamic horizon. Later, to overcome bond-based framework limitations for the material Poisson’s ratio, state-base peridynamics, has been formulated. Its characteristic feature is that the force exchanged between a point and another one is influenced by the deformation state of all other bonds relative to its interaction zone.

In mathematics, Maass forms or Maass wave forms are studied in the theory of automorphic forms. Maass forms are complex-valued smooth functions of the upper half plane, which transform in a similar way under the operation of a discrete subgroup $of as modular forms. They are eigenforms of the hyperbolic Laplace operator defined on and satisfy certain growth conditions at the cusps of a fundamental domain of . In contrast to modular forms, Maass forms need not be holomorphic. They were studied first by Hans Maass in 1949.$

In mathematics, the Bessel potential is a potential similar to the Riesz potential but with better decay properties at infinity.

The Leray projection, named after Jean Leray, is a linear operator used in the theory of partial differential equations, specifically in the fields of fluid dynamics. Informally, it can be seen as the projection on the divergence-free vector fields. It is used in particular to eliminate both the pressure term and the divergence-free term in the Stokes equations and Navier–Stokes equations.

In mathematics, calculus on finite weighted graphs is a discrete calculus for functions whose domain is the vertex set of a graph with a finite number of vertices and weights associated to the edges. This involves formulating discrete operators on graphs which are analogous to differential operators in calculus, such as graph Laplacians as discrete versions of the Laplacian, and using these operators to formulate differential equations, difference equations, or variational models on graphs which can be interpreted as discrete versions of partial differential equations or continuum variational models. Such equations and models are important tools to mathematically model, analyze, and process discrete information in many different research fields, e.g., image processing, machine learning, and network analysis.

In mathematics, a nonlocal operator is a mapping which maps functions on a topological space to functions, in such a way that the value of the output function at a given point cannot be determined solely from the values of the input function in any neighbourhood of any point. An example of a nonlocal operator is the Fourier transform.

In physics and mathematics, the Klein–Kramers equation or sometimes referred as Kramers–Chandrasekhar equation is a partial differential equation that describes the probability density function $f$ of a Brownian particle in phase space $(r, p)$ . It is a special case of the Fokker–Planck equation.

References

↑ 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. 44 (5): 397–415. arXiv: 1806.06818 . doi:10.1080/03605302.2018.1554675. ISSN 0360-5302.
↑ Wettstein, Jerome D. (2023). "Half-harmonic gradient flow: aspects of a non-local geometric PDE". Mathematics in Engineering. 5 (3): 1–38. arXiv: 2112.08846 . doi:10.3934/mine.2023058. ISSN 2640-3501.
↑ Kwaśnicki, Mateusz (2017). "Ten equivalent definitions of the fractional Laplace operator". Fractional Calculus and Applied Analysis. 20. arXiv: 1507.07356 . doi:10.1515/fca-2017-0002.

External links

"Fractional Laplacian". Nonlocal Equations Wiki, Department of Mathematics, The University of Texas at Austin.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[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. 44 (5): 397–415. arXiv: 1806.06818 . doi:10.1080/03605302.2018.1554675. ISSN 0360-5302.

[2] Wettstein, Jerome D. (2023). "Half-harmonic gradient flow: aspects of a non-local geometric PDE". Mathematics in Engineering. 5 (3): 1–38. arXiv: 2112.08846 . doi:10.3934/mine.2023058. ISSN 2640-3501.

[:0-3] Kwaśnicki, Mateusz (2017). "Ten equivalent definitions of the fractional Laplace operator". Fractional Calculus and Applied Analysis. 20. arXiv: 1507.07356 . doi:10.1515/fca-2017-0002.

[1]

[2]

[3]