Fredholm operator

from Wikipedia, the free encyclopedia

In functional analysis , a branch of mathematics , the class of Fredholm operators (according to EI Fredholm ) is a certain class of linear operators that can be "almost" inverted. Each Fredholm operator is assigned an integer, this is called the Fredholm index , analytical index or index for short .

definition

A bounded linear operator between two Banach spaces and is called the Fredholm operator, or in short: " is Fredholm", if

  • has finite dimension and
  • has finite codimension in .

Here is the core of , i.e. the set, and is the image of , i.e. the subset .

The number

is called the Fredholm index of .

properties

Image is a closed subspace

The image of a Fredholm operator is a closed subspace.

structure

If a Fredholm operator, then the finite-dimensional subspace has a closed complementary space in , i.e. i.e., it applies . The restriction of is then obviously a bijective operator, the inverse of which is also bounded according to the theorem of the continuous inverse . The operator is thus continuously invertible "except for a finite number of dimensions". It can be used to prove many of the following properties.

composition

The composition of two Fredholm operators and is again a Fredholm operator and applies to the index

.

Dual operator

Let be the operator dual to the Fredholm operator . Then and . Hence it is also a Fredholm operator and holds for its index .

Atkinson's theorem

According to Atkinson's theorem , an operator is a Fredholm operator if and only if there are operators and compact operators such that and holds, that is, if modulo compact operators are invertible. In particular, a bounded operator is a Fredholm operator if and only if its class is invertible in Calkin algebra .

Compact disruption

For every Fredholm operator and every compact operator there is also a Fredholm operator with the same Fredholm index as . Hence the index of a Fredholm operator is said to be invariant under compact perturbations. In particular, every compact perturbation of identity , i.e. every operator of the form for a compact operator, is a Fredholm operator with index 0.

Properties of the Fredholm Index

The set of Fredholm operators between the Banach spaces and is open in the set of restricted operators . On each connected component of the index is constant: for all . In fact, the mapping is bijective. This immediately results in the following properties of the index:

  • The index mapping is continuous.
  • The index is invariant under small perturbations, that is, there is so for all of the following applies: .
  • The index is a homotopy-invariant number .: is continuous, then and have the same index.

Fredholm index surjectivity

The Fredholm index, as a mapping of the set of Fredholm operators into the set of integers, is surjective .

Punctured Neighborhood Theorem

If a Fredholm operator is, then according to the Punctured Neighborhood Theorem there is a , so that for everyone with

  1. and

applies. In particular, is a Fredholm operator. Since the Fredholm index is continuous, it follows . The Punctured Neighborhood Theorem was proven by Israel Gohberg .

Elliptic operators

Every uniformly elliptic differential operator is a Fredholm operator.

Be and an area with a Lipschitz border . Then the weak elliptic differential operator with homogeneous Neumann boundary conditions is defined by

for a Fredholm operator.

Examples

Shift operator

Integral operator

A classic example of a Fredholm operator is the operator

,

where the identity operator and is a compact operator . On the Banach space of continuous functions or on that of square-integrable functions , the operator is of the form

,

where the integral kernel is a continuous or square-integrable function. This Fredholm operator has the index 0. In the Fredholm theory , equations of the type are examined. The Fredholm alternative as a central result of the Fredholm theory gives an answer to the conditions under which equations of this type can be solved.

Laplace operator

The Laplace operator

defined on the Sobolev space of the twice weakly differentiable quadratic integrable functions is a continuous elliptic operator. Therefore he is also a Fredholm operator. Since he is also self adjoint , he has the Fredholm index 0.

Considering the Laplace operator in the distributional sense on , he is not a continuous operator and thus no Fredholm operator with respect to the above definition. In terms of unbounded operators, as will be explained later in the article, it is still a Fredholm operator.

Elliptic operator on a manifold

The circle (as thought) can be understood as a one-dimensional closed manifold . A continuous elliptic differential operator of the first order on the smooth functions from the circle into the complex numbers is through

given for a complex constant . The kernel of is the space spanned by the terms of the form , if , and 0 in the other cases. The core of the adjoint operator is a similar space, only it is replaced by its complex-conjugate. The Fredholm operator thus has the index 0. This example shows that the kernel and kernel of an elliptic operator can jump discontinuously if the elliptic operator is varied so that the above-mentioned terms are included. Since the jumps in the dimensions of the core and the coke are the same, their difference, the index, changes continuously .

Unlimited Fredholm operators

So far in this article, Fredholm operators have only been considered as special constrained operators. For example, in the index theory of elliptic operators over non-compact spaces, it makes sense to extend the definition of the Fredholm operator to include unrestricted operators. Except for the required closeness of the operator, the definition is identical to that in the restricted case:

Be and two Banach spaces and a subspace of . An (unbounded) operator is called a Fredholm operator, if

  • completed is,
  • the dimension of the core is finite,
  • the codimension of in is finite.

Some authors also demand that the domain be close to , which is obviously completely independent of the actual Fredholm property. As in the case of bounded operators, the Fredholm index is through

Are defined.

If the domain of a closed operator is given the so-called graph norm , then it is a Banach space and , considered as an operator from to , a bounded operator. Consequently, an unbounded Fredholm operator can always be reduced to a bounded Fredholm operator. Accordingly, many properties from above also hold for unbounded Fredholm operators. So the concatenation of unbounded Fredholm operators is again a Fredholm operator, for which the above index formula applies; Atkinson's theorem also holds, and the Fredholm index of unbounded Fredholm operators is also invariant under compact perturbations and locally constant (the word "local" here refers to the so-called gap metric). Finally, the Punctured Neighborhood Theorem also holds for unbounded Fredholm operators. However, there is no connection to the Calkin algebra for unlimited Fredholm operators.

See also

literature

Individual evidence

  1. Vladimir Müller: Spectral Theory of Linear Operators: and Spectral Systems in Banach Algebras . Birkhäuser, Basel 2007, ISBN 978-3-7643-8265-0 , p. 159 .
  2. Vladimir Müller: Spectral Theory of Linear Operators: and Spectral Systems in Banach Algebras . Birkhäuser, Basel 2007, ISBN 978-3-7643-8265-0 , p. 156 .
  3. Masoud Khalkhali: Basic Noncommutative Geometry . 2nd Edition. EMS, 2013, ISBN 978-3-03719-128-6 , pp. 201 .
  4. Jürgen Appell, Martin Väth : Elements of functional analysis . Springer / Vieweg, 2005, ISBN 3-322-80243-4 , pp. 164-165 .
  5. Vladimir Müller: Spectral Theory of Linear Operators: and Spectral Systems in Banach Algebras . Birkhäuser, Basel 2007, ISBN 978-3-7643-8265-0 , p. 171, 293-294 .
  6. Vladimir Müller: Spectral Theory of Linear Operators: and Spectral Systems in Banach Algebras . Birkhäuser, Basel 2007, ISBN 978-3-7643-8265-0 , p. 231 .
  7. ^ Martin Schechter: Fredholm Operators and the Essential Spectrum . (on-line)