Noetherian operator
A linear operator (with closed range) that is simultaneously -normal and
-normal (see Normally-solvable operator). In other words, a Noetherian operator
is a normally-solvable operator of finite
-characteristic (
,
). The index
(cf. Index of an operator) of a Noetherian operator
is also finite. The simplest example of a Noetherian operator is a linear operator acting from
to
. It is named after F. Noether [1], in whose work the theory of Noetherian operators is developed parallel to the theory of singular integral equations. Linear operators generated by general boundary value problems for elliptic equations are frequently Noetherian.
In practice, as a rule one succeeds to verify the validity of the following propositions (Noether's theorems):
1) the equation has either no non-trivial solutions or a finite number
of linearly independent solutions; and
2) the inhomogeneous equation is either solvable for any right-hand side
, or for its solvability it is necessary and sufficient that
,
, where
is a complete system of linearly independent solutions of the associated homogeneous equation, or it is formally adjoint to the homogeneous problem.
From 1) and 2) it follows that is a Noetherian operator.
The property of being Noetherian is stable: If is a Noetherian operator and
is a linear operator of sufficiently small norm or is completely continuous, then
is also Noetherian, and
.
Suppose that , where
is the space of linear operators from
to
, is Noetherian. Then there is the direct decomposition
![]() |
where is the null space of
,
is the range of
and
. The general solution of the equation
,
, is of the form
, where
,
on
(the restriction of
) and
is arbitrary. If
is Noetherian with
-characteristic
, then
is Noetherian with
-characteristic
.
References
[1] | F. Noether, "Ueber eine Klasse singulärer Integralgleichungen" Math. Ann. , 82 (1921) pp. 42–63 |
[2] | S.G. Krein, "Linear differential equations in Banach space" , Transl. Math. Monogr. , 29 , Amer. Math. Soc. (1971) (Translated from Russian) |
[3] | M.M. Vainberg, V.A. Trenogin, "Theory of branching of solutions of non-linear equations" , Noordhoff (1974) (Translated from Russian) |
Comments
In the Western literature a Noetherian operator is usually called a Fredholm operator. The index of such an operator is the number . The product of two Noetherian operators
and
is again a Noetherian operator, and
. In the first concrete applications (see Noether's paper [1]) the index was calculated as a winding number associated with a certain continuous function. The computation of the index for different classes of operators is an important problem in modern mathematics (see e.g. [a1]).
References
[a1] | R.S. Palais, "Seminar on the Atiyah–Singer index theorem" , Princeton Univ. Press (1965) |
[a2] | I.C. [I.Ts. Gokhberg] Gohberg, M.G. Krein, "The basic propositions on defect numbers, root numbers and indices of linear operators" Transl. Amer. Math. Soc. (2) , 13 (1960) pp. 185–264 Uspekhi Mat. Nauk , 12 (1957) pp. 43–118 |
[a3] | I. [I.Ts. Gokhberg] Gohberg, N. Krupnik, "Einführung in die Theorie der eindimensionalen singulären Integraloperatoren" , Birkhäuser (1979) (Translated from Russian) |
[a4] | S. Goldberg, "Unbounded linear operators" , McGraw-Hill (1966) |
[a5] | T. Kato, "Perturbation theory for nullity, deficiency and other quantities of linear operators" J. d'Anal. Math. , 6 (1958) pp. 261–322 |
[a6] | S.G. Krein, "Linear equations in Banach spaces" , Birkhäuser (1982) (Translated from Russian) |
Noetherian operator. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Noetherian_operator&oldid=14851