Integral operator

from Wikipedia, the free encyclopedia

A linear integral operator is a mathematical object from functional analysis . This object is a linear operator that can be represented with a certain integral notation with an integral kernel.

definition

Be and open subsets and be a measurable function . A linear operator between the function spaces is called an integral operator if it is divided by

can be represented. The function is called integral kernel or kernel of for short . An obviously need some Regularitätsanforderungen be made so that the integral exists at all. These requirements depend on the domain of the integral operator. The integral kernels are often from the space of continuous functions or from the space of square-integrable functions . If it applies to an integral kernel and to all , then the integral kernel is called symmetrical.

Examples

Tensor product integral kernel

Let be two square integrable functions . The tensor product of these functions is defined as

where is the complex conjugation . The tensor product can be used as the integral kernel of the operator with

be used. This integral operator is well defined on.

Volterra operator

The integral operator

is defined for all functions, for example . It is called the Volterra operator and can be used to determine an antiderivative of . Its integral core is given by

There is a Hilbert-Schmidt operator .

Fredholm integral operator

Be a continuous function. Then an integral operator is through

for everyone and defined. This operator is continuous and maps between the function spaces. This integral operator is an example of a Fredholm integral operator and is its kernel, which is also called the Fredholm kernel. A general Fredholm integral operator is characterized by the fact that, in contrast to the Volterra operator, the integral limits are fixed and the integral operator is a linear compact operator .

Cauchy's integral formula

Cauchy's integral formula is defined as

where is a closed curve in around the point . If then a holomorphic function is the extension of the function to a larger area. But this integral operator is also used in the theory of partial differential equations to investigate non-holomorphic functions. The integral kernel of Cauchy's integral formula is .

Integral transformations

Traditionally, some integral operators are called integral transformations. For example, they play an important role in signal processing and serve to improve the handling and analysis of the information content of a signal . The integral kernel , which is a function of the target variable and the time variable, is essential for integral transformations . By multiplying the signal with the integral kernel and then integrating it over the base space in the time domain, the so-called image function is formed in the image area :

If the integral kernel fulfills the reciprocity condition, that is, there is an “inverse kernel” , the signal can be reconstructed from the image function . The group of self-reciprocal nuclei plays an essential role in practical application in the field of signal processing. A kernel is then self-reciprocal if:

with the complex conjugation of the integration core . An example of an integral transform with a self-reciprocal kernel is the Fourier transform .

Another important form in signal processing are the convolution kernels, which only depend on the difference or on. The transformation or inverse transformation can then be expressed with the convolution as:

An example of an integral transformation with a convolution kernel is the Hilbert transformation .

In the following table some known, invertible integral transformations with the corresponding integral kernel , integration range and "inverse integral kernel" are listed.

transformation symbol
Fourier transform
Hartley transformation
Mellin transformation
Two-sided Laplace transform
Laplace transform
Weierstrasse transformation
Abel transformation
Hilbert transformation ,
Hankel transformation
with Bessel function of the first kind and ν th order
Stieltjes transformation    

Integral transformations can be extended to higher dimensions , for example two-dimensional integral transformations play an essential role in image processing . When expanding to two dimensions, the functions of one variable are set to functions of two variables; the integral kernels are then functions with four variables. In the case of independent variables, the kernels can be factored and then put together as a product of two simple kernels.

Singular integral

Singular integrals are integral operators that have an integral kernel with singularity. That is, the integral kernel cannot be Lebesgue integrable on the diagonal. Therefore, the term integral has to be adapted for the integral kernels defined below.

Standard integral core

Be the diagonal in . Then a continuous function is called the standard kernel

with the following two properties:

The gradients are to be understood in the distributional sense .

Singular integral operator

Be a standard integral kernel. Then the operator is called

singular integral operator. The name comes from the fact that the operator has for a singularity. Because of this singularity, the integral does not generally converge absolutely. Therefore, the expression must be used as

be understood. This expression exists for everyone with .

Distributions as integral kernels

Also distributions can be used as integral kernels. A central sentence from this area is Schwartz's core sentence . This says that there is a linear operator for every distribution

there that for everyone and through

given is. The reverse direction also applies. There is a unique distribution for each operator so that applies. This distribution is called the Schwartz core, named after the mathematician Laurent Schwartz , who was the first to formulate the core sentence. However, these operators cannot be represented as integral operators with the Lebesgue integral . As the representation as an integral operator seemed desirable, Lars Hörmander introduced the term oscillating integral . With this new concept of integral the integral core can through

and then the operator is an integral operator of the shape

given, where the integrals are again oscillating integrals. The equal signs are to be understood in the sense of distributions, what

means.

Nonlinear integral operators

A nonlinear (Urysohn) integral operator has the form

with a suitable domain of definition of the core function K and integration domain Ω.

literature

  • MA Krasnoselski: Topological Methods in the Theory of nonlinear Integral Equations . Oxford 1964.
  • Dirk Werner : Functional Analysis . Springer-Verlag, Berlin 2007, ISBN 978-3-540-72533-6 .
  • Elias M. Stein: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals . Princeton University Press, 1993, ISBN 0-691-03216-5 .