---
title: 'Fractional Laplacians: Definitions, Analysis & Applications'
url: https://www.emergentmind.com/topics/fractional-laplacians
type: topic
---

# Fractional Laplacians: Definitions, Analysis & Applications

The fractional Laplacian $(-\Delta)^s$, for real $s>0$, is a canonical nonlocal operator of central importance in analysis, probability, partial differential equations, mathematical physics, numerical methods, and geometry. Its rigorous definition, analytic properties, distinct variants, and nonlocal boundary phenomena have far-reaching implications for theory and applications.

## 1. Definitions and Core Variants

The fractional Laplacian is primarily defined on $\mathbb{R}^n$ via three principal formulations, which are equivalent in the whole-space setting:

- **Fourier Multipliers**: For $u\in S(\mathbb{R}^n)$,
  \[
  \mathcal{F}[(-\Delta)^s u](\xi) = |\xi|^{2s}\, \mathcal{F}[u](\xi).
  \]
- **Singular Integral (Riesz) Form**:
  \[
  (-\Delta)^s u(x) = C_{n,s}\, \mathrm{P.V.} \int_{\mathbb{R}^n} \frac{u(x) - u(y)}{|x-y|^{n+2s}}\, dy,
  \]
  where $C_{n,s} = 2^{2s} s\,\frac{\Gamma(s+\frac{n}{2})}{\pi^{n/2} \Gamma(1-s)}$ for $0 < s < 1$.
- **Spectral (Functional Calculus) Definition**: On a domain $\Omega\subset \mathbb{R}^n$, using eigenpairs $\{\lambda_j,\varphi_j\}$ of $-\Delta$ with specified boundary condition,
  \[
  (-\Delta|_\Omega)^s u = \sum_{j} \lambda_j^s\, \langle u, \varphi_j \rangle\, \varphi_j.
  \]
  The operator domain is determined by the $H^s$-based expansion.

On bounded domains, the above general framework differentiates into several inequivalent "fractional Laplacians" due to the treatment of boundary conditions and operator domains [1801.09767][2108.12924][1308.3606]:

| Operator Type                        | Definition/Domain                                                   | Associated Process/Boundary      |
|--------------------------------------|---------------------------------------------------------------------|----------------------------------|
| **Restricted (integral/Dirichlet)**  | Riesz form, $u=0$ on $\mathbb{R}^n\setminus\Omega$                 | Killed Lévy flight (absorbing)   |
| **Spectral (Dirichlet/Neumann)**     | Spectral calculus on $-\Delta$ with local BCs on $\partial\Omega$   | Subordinate killed Brownian      |
| **Regional/Censored**                | Riesz integral restricted to $\Omega\times\Omega$                  | Reflected/censored process       |
| **Negative-order/dynamic**           | Extension/dual variational methods                                  | Potential theory, inverse flows  |

In non-Euclidean settings, further generalizations include the Laplace–Beltrami setting, graph (discrete) Laplacians, and Laplacians on smooth bundles [2208.00454][2502.04187][1912.07288].

## 2. Functional Analytical and Probabilistic Structure

Fractional Laplacians are self-adjoint, nonlocal, and generate Dirichlet forms of the type
\[
\mathcal{E}_s[u,u] = C_{n,s} \iint_{\mathbb{R}^n\times\mathbb{R}^n} \frac{(u(x)-u(y))^2}{|x-y|^{n+2s}} dx\,dy.
\]
On compact domains, the form domain and the corresponding function spaces differ depending on the variant: for the restricted case, $u\in H^s(\mathbb{R}^n)$ supported in $\overline{\Omega}$; for the spectral case, $u$ in the appropriate $H^s(\Omega)$ space respecting the boundary conditions [2108.12924][1308.3606].

Stochastically, the restricted Laplacian arises as generator of a killed symmetric $2s$-stable process, whereas the spectral Laplacian comes from subordinating a stopped Brownian motion [1802.09853][1603.06364][1801.09767]. The regional variant is governed by censored (or reflected-and-killed) stable processes, giving rise to invariant measures distinct from the restricted case [2103.12891][1802.09853]. The distinction is due to the non-commutativity of stopping and subordination in stochastic process construction.

## 3. Boundary Behavior, Comparison, and Extension Principles

Boundary handling is central to understanding the analytic and probabilistic behavior of fractional Laplacians [2108.12924][1308.3606][1408.3568]. 

- **Boundary singularities**: In the restricted (integral/Riesz) case, solutions near $\partial\Omega$ exhibit singularities of the form $u(x)\sim d(x,\partial\Omega)^s$ for $0 < s < 1$, whereas spectral solutions are smoother up to the boundary.
- **Comparison of Operators**: On convex domains and for $0 < s < 1$, the spectral operator is strictly greater than the restricted one on non-negative functions: for $u \geq 0$, $(-\Delta)_{\text{spec}}^s u > (-\Delta)_{\text{int}}^s u$ (in the distributional sense) [2108.12924][1308.3606][2108.05416].
- **Extension Problems**: The Caffarelli–Silvestre extension and its duals (Stinga–Torrea) realize the (positive or negative order) fractional Laplacian as a Dirichlet-to-Neumann (resp. Neumann-to-Dirichlet) map for a weighted elliptic PDE in one higher dimension [1408.3568]. This connection is leveraged both analytically and numerically.

## 4. Spectral Properties, Weyl Laws, and Explicit Solutions

Spectral theory for fractional Laplacians on bounded domains is rich and subtle:

- **Spectra and Eigenfunctions**: Both restricted and spectral Laplacians have purely discrete spectra on bounded domains. The eigenvalues differ quantitatively, leading to different dynamics under equations such as the fractional heat equation [1603.06364][1103.3387].
- **Weyl Asymptotics**: Two-term asymptotic expansions have been established for eigenvalue counting functions, extending classical Weyl laws to nonlocal operators. The second term captures boundary corrections and is relevant for heat kernel expansions and probabilistic exit times [1603.06364].
- **Explicit Solutions and Harmonic Functions**: Closed-form expressions for the fractional Laplacian of special functions—polynomials, Hermite/Laguerre functions, Zernike-type polynomials—are available [2311.10896][1103.3387][2005.09514]. Harmonic and torsion functions for the operator can be constructed explicitly on balls and ellipsoids, with notable applications in constructing counterexamples to the weak maximum principle and benchmarking numerical schemes [2005.09514][2311.10896].

## 5. Numerical Schemes and Computational Considerations

Numerical analysis for fractional Laplacians is nontrivial due to the operator's nonlocality and singular kernel. Contemporary approaches include:

- **Finite Difference Discretizations**: Grünwald–Letnikov, spectral, regularized central difference, and quadrature-difference schemes each provide a discretization with differing accuracy and nonlocality. Full infinite stencils arise, and the kernel decays algebraically as $|k|^{-1-\alpha}$ [1611.00164].
- **FEM/SEM and Matrix Approaches**: For the spectral variant, spectral element or finite element methods can leverage the operator's diagonal structure in eigenbasis, with extension problems (as in Caffarelli–Silvestre) handled by tensorized or hierarchic methods [2103.12891][1801.09767].
- **Monte Carlo Methods**: Walk-on-spheres algorithms are effective for the Riesz (restricted) operator, particularly for high-dimensional or complex geometries [1801.09767].
- **Preconditioners**: Robust multilevel (BPX-type) preconditioners have been constructed for the integral, spectral, and regional Laplacians, yielding condition number bounds independent of the mesh refinement and the fractional power $s$ [2103.12891].
- **Frame/Spectral Bases**: Development of explicit spectral/fame bases adapted to the operator enables efficient matrix representations and rapid convergence for smooth data [2311.10896].

## 6. Applications, Extensions, and Open Directions

Fractional Laplacians appear in a diverse array of applications:

- **Anomalous Diffusion, Fluid Dynamics, Image Processing**: Equations involving $(-\Delta)^s$ model nonlocal diffusion, turbulent transport, interface motion, and anomalous dissipation [1502.01635][1801.09767].
- **Random Walks and Networks**: Fractional graph Laplacians underlie nonlocal dynamics on networks and have direct interpretations via random walks with long jumps, superdiffusion, and consensus protocols in multi-agent systems [1912.07288].
- **Geometry and Inverse Problems**: Fractional Laplace–Beltrami operators, and their noncommutative/fibered analogues (fractional connection Laplacians), connect to geometric and analytic inverse problems—global data from fractional source-to-solution maps determine geometry, bundles, and connections [2208.00454][2502.04187].
- **Nonhomogeneous and Generalized Operators**: Inhomogeneous media lead to generalized fractional Laplacians, with divergence structure involving nonconstant coefficients via Riesz potentials [2304.12419].
- **Quantum Metrics and Noncommutative Geometry**: Quantum Monge–Kantorovič metrics based on commutators with fractional Laplacians provide a link to the noncommutative geometry of fractals, group $C^*$-algebras, and quantum groups [2502.04187].

Open problems highlighted in recent literature include a full characterization of inequalities and extremal functions for spectral forms under modulus, explicit control of boundary layers for all operator types, further development of fast and stable high-dimensional discretizations, and extensions to operators on general metric-measure spaces and noncommutative algebras [2108.12924][2502.04187].

## 7. Tabular Comparison of Representative Fractional Laplacians

| Operator Name             | Kernel/Domain                                                | Boundary          | Stochastic Process                |
|--------------------------|--------------------------------------------------------------|-------------------|-----------------------------------|
| Riesz (integral)         | $C_{n,s}\,\mathrm{P.V.}\int_{\mathbb{R}^n} \frac{u(x)-u(y)}{|x-y|^{n+2s}}dy$ (whole space) | Requires $u$ outside $\Omega$ (volume constraint) | Symmetric $\alpha$-stable process                |
| Restricted Dirichlet     | Riesz as above, with $u=0$ outside $\Omega$                 | Nonlocal Dirichlet| Killed Lévy flight                |
| Spectral Dirichlet       | Spectral expansion in Dirichlet eigenbasis                   | Local Dirichlet   | Subordinate killed Brownian motion |
| Regional (censored)      | Riesz kernel restricted to $\Omega\times\Omega$              | "Nonlocal Neumann"/no explicit BC | Reflected/censored process         |

## References

- [1308.3606] Musina, Nazarov, "On fractional Laplacians"
- [2103.12891] BPX preconditioners for fractional Laplacians
- [2108.12924] Nazarov, "Variety of fractional Laplacians"
- [1801.09767] G. Acosta et al., "What Is the Fractional Laplacian?"
- [1603.06364] Ivrii, "Spectral Asymptotics for Fractional Laplacians"
- [1103.3387] Dyda, "Fractional calculus for power functions"
- [1611.00164] Huang, Oberman, "Finite difference methods for fractional Laplacians"
- [1802.09853] Kaleta, Lörinczi, "Fractional Laplacians and Levy flights in bounded domains"
- [2005.09514] Abatangelo et al., "Fractional Laplacians on ellipsoids"
- [2311.10896] Gutleb, Papadopoulos, "Explicit fractional Laplacians and Riesz potentials"
- [1912.07288] Estrada et al., "Nonlocal network dynamics via fractional graph Laplacians"
- [2208.00454] Chien, "An inverse problem for fractional connection Laplacians"
- [2502.04187] Gerontogiannis, Mesland, "Ideal quantum metrics from fractional Laplacians"
- [2304.12419] Borthwick, Nistor, Zeng, "A generalized fractional Laplacian"
- [1502.01635] Córdoba, Martínez "A pointwise inequality for fractional laplacians"

Source: https://www.emergentmind.com/topics/fractional-laplacians