Nonlocal operator

Last updated November 12, 2023

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.

Formal definition

Let $X$ be a topological space, $Y$ a set, $F(X)$ a function space containing functions with domain $X$ , and $G(Y)$ a function space containing functions with domain $Y$ . Two functions $u$ and $v$ in $F(X)$ are called equivalent at $x\in X$ if there exists a neighbourhood $N$ of $x$ such that $u(x')=v(x')$ for all $x'\in N$ . An operator $A:F(X)\to G(Y)$ is said to be local if for every $y\in Y$ there exists an $x\in X$ such that $Au(y)=Av(y)$ for all functions $u$ and $v$ in $F(X)$ which are equivalent at $x$ . A nonlocal operator is an operator which is not local.

For a local operator it is possible (in principle) to compute the value $Au(y)$ using only knowledge of the values of $u$ in an arbitrarily small neighbourhood of a point $x$ . For a nonlocal operator this is not possible.

Examples

Differential operators are examples of local operators^{[ citation needed ]}. A large class of (linear) nonlocal operators is given by the integral transforms, such as the Fourier transform and the Laplace transform. For an integral transform of the form

(Au)(y)=\int \limits _{X}u(x)\,K(x,y)\,dx,

where $K$ is some kernel function, it is necessary to know the values of $u$ almost everywhere on the support of $K(\cdot ,y)$ in order to compute the value of $Au$ at $y$ .

An example of a singular integral operator is the fractional Laplacian

(-\Delta )^{s}f(x)=c_{d,s}\int \limits _{\mathbb {R} ^{d}}{\frac {f(x)-f(y)}{|x-y|^{d+2s}}}\,dy.

The prefactor $c_{d,s}:={\frac {4^{s}\Gamma (d/2+s)}{\pi ^{d/2}|\Gamma (-s)|}}$ involves the Gamma function and serves as a normalizing factor. The fractional Laplacian plays a role in, for example, the study of nonlocal minimal surfaces.^[1]

Applications

Some examples of applications of nonlocal operators are:

Time series analysis using Fourier transformations
Analysis of dynamical systems using Laplace transformations
Image denoising using non-local means ^[2]
Modelling Gaussian blur or motion blur in images using convolution with a blurring kernel or point spread function

Related Research Articles

In mathematics, convolution is a mathematical operation on two functions that produces a third function that expresses how the shape of one is modified by the other. The term convolution refers to both the result function and to the process of computing it. It is defined as the integral of the product of the two functions after one is reflected about the y-axis and shifted. The choice of which function is reflected and shifted before the integral does not change the integral result. The integral is evaluated for all values of shift, producing the convolution function.

In mathematics, the Laplace transform, named after its discoverer Pierre-Simon Laplace, is an integral transform that converts a function of a real variable to a function of a complex variable $. The transform has many applications in science and engineering, mostly as a tool for solving linear differential equations. In particular, it transforms ordinary differential equations into algebraic equations and convolution into multiplication. For suitable functions f, the Laplace transform is defined by the integral$

In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties. This is often written as

<span class="mw-page-title-main">Fourier transform</span> Mathematical transform that expresses a function of time as a function of frequency

In physics, engineering and mathematics, the Fourier transform (FT) is an integral transform that converts a function into a form that describes the frequencies present in the original function. The output of the transform is a complex-valued function of frequency. The term Fourier transform refers to both this complex-valued function and the mathematical operation. When a distinction needs to be made the Fourier transform is sometimes called the frequency domain representation of the original function. The Fourier transform is analogous to decomposing the sound of a musical chord into the intensities of its constituent pitches.

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) .$

Fractional calculus is a branch of mathematical analysis that studies the several different possibilities of defining real number powers or complex number powers of the differentiation operator

In fractional calculus, an area of mathematical analysis, the differintegral is a combined differentiation/integration operator. Applied to a function ƒ, the q-differintegral of f, here denoted by

In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation that accepts a function and returns another function.

In mathematics, a Green's function is the impulse response of an inhomogeneous linear differential operator defined on a domain with specified initial conditions or boundary conditions.

In mathematics, the Mellin transform is an integral transform that may be regarded as the multiplicative version of the two-sided Laplace transform. This integral transform is closely connected to the theory of Dirichlet series, and is often used in number theory, mathematical statistics, and the theory of asymptotic expansions; it is closely related to the Laplace transform and the Fourier transform, and the theory of the gamma function and allied special functions.

In mathematics, an integral transform is a type of transform that maps a function from its original function space into another function space via integration, where some of the properties of the original function might be more easily characterized and manipulated than in the original function space. The transformed function can generally be mapped back to the original function space using the inverse transform.

In mathematics, the Riemann–Liouville integral associates with a real function $another function Iαf of the same kind for each value of the parameter α > 0. The integral is a manner of generalization of the repeated antiderivative of f in the sense that for positive integer values of α, Iαf is an iterated antiderivative of f of order α. The Riemann–Liouville integral is named for Bernhard Riemann and Joseph Liouville, the latter of whom was the first to consider the possibility of fractional calculus in 1832. The operator agrees with the Euler transform, after Leonhard Euler, when applied to analytic functions. It was generalized to arbitrary dimensions by Marcel Riesz, who introduced the Riesz potential.$

In mathematics, the discrete Laplace operator is an analog of the continuous Laplace operator, defined so that it has meaning on a graph or a discrete grid. For the case of a finite-dimensional graph, the discrete Laplace operator is more commonly called the Laplacian matrix.

In mathematics, and specifically in potential theory, the Poisson kernel is an integral kernel, used for solving the two-dimensional Laplace equation, given Dirichlet boundary conditions on the unit disk. The kernel can be understood as the derivative of the Green's function for the Laplace equation. It is named for Siméon Poisson.

In Hamiltonian mechanics, the linear canonical transformation (LCT) is a family of integral transforms that generalizes many classical transforms. It has 4 parameters and 1 constraint, so it is a 3-dimensional family, and can be visualized as the action of the special linear group SL₂(R) on the time–frequency plane (domain). As this defines the original function up to a sign, this translates into an action of its double cover on the original function space.

In mathematics, the Weierstrass transform of a function $f : R \to R$ , named after Karl Weierstrass, is a "smoothed" version of $f (x)$ obtained by averaging the values of $f$ , weighted with a Gaussian centered at x.

In the mathematical theory of harmonic analysis, the Riesz transforms are a family of generalizations of the Hilbert transform to Euclidean spaces of dimension d > 1. They are a type of singular integral operator, meaning that they are given by a convolution of one function with another function having a singularity at the origin. Specifically, the Riesz transforms of a complex-valued function ƒ on R^d are defined by

Clifford analysis, using Clifford algebras named after William Kingdon Clifford, is the study of Dirac operators, and Dirac type operators in analysis and geometry, together with their applications. Examples of Dirac type operators include, but are not limited to, the Hodge–Dirac operator, $on a Riemannian manifold, the Dirac operator in euclidean space and its inverse on and their conformal equivalents on the sphere, the Laplacian in euclidean n -space and the Atiyah-Singer-Dirac operator on a spin manifold, Rarita-Schwinger/Stein-Weiss type operators, conformal Laplacians, spinorial Laplacians and Dirac operators on Spin C manifolds, systems of Dirac operators, the Paneitz operator, Dirac operators on hyperbolic space, the hyperbolic Laplacian and Weinstein equations.$

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

In mathematics, the fractional Laplacian is an operator, which generalizes the notion of Laplacian spatial derivatives to fractional powers.

References

↑ Caffarelli, L.; Roquejoffre, J.-M.; Savin, O. (2010). "Nonlocal minimal surfaces". Communications on Pure and Applied Mathematics: n/a. arXiv: 0905.1183 . doi:10.1002/cpa.20331. S2CID 10480423.
↑ Buades, A.; Coll, B.; Morel, J.-M. (2005). A Non-Local Algorithm for Image Denoising. pp. 60–65. doi:10.1109/CVPR.2005.38. ISBN 9780769523729. S2CID 11206708.{{cite book}}: |work= ignored (help)

External links

Nonlocal equations wiki

This mathematical analysis–related article is a stub. You can help Wikipedia by expanding it.

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] Caffarelli, L.; Roquejoffre, J.-M.; Savin, O. (2010). "Nonlocal minimal surfaces". Communications on Pure and Applied Mathematics: n/a. arXiv: 0905.1183 . doi:10.1002/cpa.20331. S2CID 10480423.

[2] Buades, A.; Coll, B.; Morel, J.-M. (2005). A Non-Local Algorithm for Image Denoising. pp. 60–65. doi:10.1109/CVPR.2005.38. ISBN 9780769523729. S2CID 11206708.{{cite book}}: |work= ignored (help)

[1]

[2]