An integral equation of the form
— a Fredholm equation of the first kind, or one of the form
— a Fredholm equation of the second kind, if the integral operator
is completely continuous in some function space . It is assumed that the free term and the function belong to . An important example of a Fredholm equation is one in which the kernel satisfies the condition
The numerical parameter and the functions , and can take either real or complex values. For Fredholm equations of the first kind see Integral equation with symmetric kernel; Fredholm equation, numerical methods and Ill-posed problems. Below Fredholm equations of the second kind only are considered.
The method of successive approximation to solutions of Fredholm equations of the second kind.
This was the first method that was proposed for solving equation (1). To state this method, suppose that (1) is written in the form
Assume that satisfies the condition (3), and that . Let the initial approximation to the desired solution be ; if the -th approximation has been constructed, then
in this case
where denotes the -th iterated kernel of . The function (5) is a partial sum of the series
which is called the Neumann (or Liouville–Neumann) series. If , then (6) converges in the quadratic mean to a solution of (1), and this solution is unique (see, for example, ). If there is a positive constant such that
then (6) converges absolutely and uniformly. Generally speaking, (6) diverges if . Indeed, this is the case if has an eigen value. But if has no eigen values (as, for example, in the case of a Volterra kernel), then (6) converges for every value of .
Fredholm's method for solving a Fredholm equation of the second kind.
The method of successive approximation enables one to construct solutions of (1), generally speaking, only for small values of . A method that makes it possible to solve (1) for any value of was first proposed by E.I. Fredholm (1903). Under the assumption that is continuous on the square , and that the free term and the desired solution are continuous on , the following is a brief description of the gist of this method.
Divide the interval into equal parts of length . If the integral in (1) would be replaced by a Riemann sum, the exact equation (1) would be replaced by the approximation
Set successively in (7) to determine the approximate values of the unknown function at the points , thus obtaining the linear algebraic system
where , , . Whether the system (8) has a solution or not depends on the value of the determinant
which is a polynomial in . If is not one of the roots of this polynomial, then (8) has a solution. Solving this system and substituting the resulting values in (7), an approximate solution of (1) is obtained:
where and are polynomials in . The method presented is one of the possible versions for constructing an approximate solution of the Fredholm equation (1) (see ).
One might expect that in the limit, as in such a way that the Riemann sum (7) tends to the integral in (1), the limit of the right-hand side of (9) becomes an exact solution of (1). Using formal limit transitions in analogous expressions, Fredholm established a formula that should represent a solution of (1):
To calculate and , instead of the formulas (14) and (15) one can make use of the following recurrence relations:
The series (12) and (13) are called Fredholm series. The function is called the Fredholm determinant of ; is called the first Fredholm minor for ; and the function (11) is called the resolvent (or solving kernel or reciprocal kernel) of (or of equation (1)).
The justification of the limit transitions mentioned above, which lead to (10), was carried out by D. Hilbert (see Integral equation). Fredholm, having constructed the series (12) and (13), then proved directly and rigorously that they converge for all finite values of and that (13), moreover, converges uniformly with respect to and on . The establishment of a connection between and enabled him to prove the following proposition: If , then equation (1) has one and only one solution, which is expressed by formula (10).
If follows from this proposition that a value of that is not a root of the Fredholm determinant is a regular value for the homogeneous equation associated with (1):
that is, in this case the equation has only the zero solution. If is a root of the equation , then is a pole of the resolvent (11) of equation (1h) and an eigen value of this latter equation. In order to construct by the Fredholm method the eigen functions belonging to this eigen value, one introduces the concept of the -th minor of . Let
Then the -th minor for is the series
which becomes equal to for . The series (16) is absolutely convergent for all finite values of and converges uniformly with respect to , satisfying the conditions , , . Suppose now that is an eigen value of ; , since . Let be the multiplicity of the root of the equation . There is a natural number such that all minors of of orders less than are identically equal to zero, while the minor of order is different from zero. There is some collection of values , such that
The number is called the rank (or multiplicity) of the eigen value . The functions
are linearly independent solutions of (1h).
Suppose that has eigen functions . These functions are called a complete system of eigen functions of (1h) (or of the kernel ) belonging to if any other eigen function belonging to this eigen value is a linear combination of .
If is an eigen value of the homogeneous equation (1h) of multiplicity , then it is also an eigen value of multiplicity for the transposed equation to (1h):
where a complete system of eigen functions for (1h) is defined by the formulas (17), and for (1ht) by similar formulas constructed for the transposed kernel .
If is an eigen value of of multiplicity , then equation (1) has a solution if and only if the following conditions are satisfied:
where constitute a complete system of eigen functions of (1ht). If the conditions (18) are satisfied, then all solutions of (1) are determined by the formula
where are arbitrary constants, is a complete system of eigen functions of (1h), and the function is defined by the equation
A continuous kernel has at most a countable set of eigen values, which can only have the limit point .
The propositions stated above for the equation (1) are called the Fredholm theorems. Fredholm extended these theorems to the case of a system of such equations, and also to the case of one class of kernels with a weak singularity (see Integral operator).
The Fredholm alternative follows by combining the Fredholm theorems.
In the Fredholm theorems one often considers, instead of the transposed equation (1ht), the adjoint equation to (1):
In this case the conditions (18) are replaced by the conditions
The Fredholm method described above was generalized by T. Carleman  (see also , ) to the case when , and in (1) are assumed to be square-integrable. Under these assumptions the results of Fredholm stated above are valid.
In addition to the method of successive approximation and the Fredholm method for solving Fredholm equations, E. Schmidt, influenced by research of Hilbert, developed a method based on the construction, independent of the Fredholm theory, of a theory of equations (1) with a real symmetric kernel.
The research of Hilbert and Schmidt prepared the ground for an abstract account of the Fredholm theory. Hilbert turned his attention to the fact that the Fredholm theory basically depends on the property of so-called complete continuity (compactness) of the integral transform with kernel . Hilbert formulated this property for bilinear forms. F. Riesz (see ) showed that the main results of the Fredholm theory remain valid if the integral operator in (1) is replaced by an arbitrary completely-continuous operator acting on a complete function space. The research of Riesz was supplemented by J. Schauder (see ) by means of introducing the concept of an adjoint operator in a Banach space, which made it possible to give a conclusive abstract formulation of the analogues of the Fredholm theorems in Banach spaces. These theorems are often called the Riesz–Schauder theorems. The operator appearing in the statements of these theorems given below is assumed to act on a Banach space ; denotes the Banach space dual to , and the adjoint operator.
The homogeneous equation
and its adjoint equation
have only the zero solution or the same number of linearly independent solutions , .
For a solution of the inhomogeneous equation
to exist, it is necessary and sufficient that , ; if these conditions are satisfied and if is any solution of (21), then its general solution has the form
where the are arbitrary constants.
For each value of , the disc contains at most a finite number of eigen values of , that is, values of for which the equation has non-zero solutions.
These theorems make it possible to prove the Fredholm theorems for an equation (1) in the case of a variety of concrete classes of integral operators (2), for example if the given and desired functions are square-integrable.
Instead of the interval as domain of integration one can consider some bounded or unbounded measurable set in a space of any number of dimensions. Instead of the ordinary integral one can take the Lebesgue–Stieltjes integral relative to a non-negative measure.
|||V.I. Smirnov, "A course of higher mathematics" , 4 , Addison-Wesley (1964) pp. Chapt. 1 (Translated from Russian)|
|||E. Goursat, "Cours d'analyse mathématique" , 3 , Gauthier-Villars (1923) pp. Chapt. 2|
|||I.G. Petrovskii, "Lectures on the theory of integral equations" , Graylock (1957) (Translated from Russian)|
|||W.V. Lovitt, "Linear integral equations" , Dover, reprint (1950)|
|||S.G. Mikhlin, "Linear integral equations" , Hindushtan Publ. Comp. , Delhi (1960) (Translated from Russian)|
|||L.V. Kantorovich, V.I. Krylov, "Approximate methods of higher analysis" , Noordhoff (1958) (Translated from Russian)|
|||S.G. Mikhlin, Dokl. Akad. Nauk SSSR , 42 : 9 (1944) pp. 387–390|
|||F. Riesz, "Ueber lineare Funktionalgleichungen" Acta Math. , 41 (1918) pp. 71–98|
|||T. Carleman, "Zur Theorie der linearen Integralgleichungen" Math. Z. , 9 (1921) pp. 196–217|
|||J. Schauder, Studia Math. , 2 (1930) pp. 183–196|
|||F. Smithies, "The Fredholm theory of integral equations" Duke Math. J. , 8 (1941) pp. 107–130|
See also Noetherian integral equation.
For "m-th iterated kernel" see Iterated kernel.
If , then (6) converges uniformly with respect to on bounded sets. A result about pointwise convergence of (6) for can be found in [a4]. Additional references for the topics treated in the article are [a1], [a2], [a5].
Fredholm equations of the first kind.
Such Fredholm equations,
are ill-posed (see Ill-posed problems). The notion of solution one usually uses is the notion of the best approximate solution defined by
where denotes the -norm; is the "Moore–Penrose generalized inverseMoore–Penrose generalized inverse" (see [a3]). The domain of definition equals , which is a dense, but usually proper subset of the image space, since, if is compact, is closed if and only if , i.e. has a degenerate kernel. Here, denotes the range of . If is non-closed, then is unbounded, i.e. the solution of (a2), even if it exists, depends discontinuously on . For numerical methods for Fredholm equations of the first kind see Regularization method and Fredholm equation, numerical methods.
|[a1]||H. Hochstadt, "Integral equations" , Wiley (1973)|
|[a2]||K. Jörgens, "Lineare Integraloperatoren" , Teubner (1970)|
|[a3]||M.Z. Nashed (ed.) , Genealized inverses and applications , Acad. Press (1976)|
|[a4]||N. Suzuki, "On the convergence of Neumann series in Banach space" Math. Ann. , 220 (1976) pp. 143–146|
|[a5]||H. Widom, "Lectures on integral equations" , Amer. Book Comp. (1969)|
|[a6]||I.C. Gohberg, S. Goldberg, "Basic operator theory" , Birkhäuser (1981)|
|[a7]||P.P. Zabreiko (ed.) A.I. Koshelev (ed.) M.A. Krasnoselskii (ed.) S.G. Mikhlin (ed.) L.S. Rakovshchik (ed.) V.Ya. Stet'senko (ed.) T.O. Shaposhnikova (ed.) R.S. Anderssen (ed.) , Integral equations - a reference text , Noordhoff (1958) (Translated from Russian)|
Fredholm equation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fredholm_equation&oldid=18191