An equation containing the unknown function under the integral sign. Integral equations can be divided into two main classes: linear and non-linear integral equations (cf. also Linear integral equation; Non-linear integral equation).
Linear integral equations have the form
where , , are given functions, being called the coefficient, the kernel (cf. Kernel of an integral operator) and the free term (or right-hand side) of the integral equation, is a bounded or unbounded domain in a one- or higher-dimensional Euclidean space, are points of this space, is the volume element, and is the unknown function. It is required to determine such that (1) holds for all (or almost all, if the integral is taken in the sense of Lebesgue) in . In (1), if , are matrices and , are vector functions, then (1) is called a system of linear integral equations. If , then the integral equation is said to be homogeneous, otherwise it is called inhomogeneous.
There are three distinct types of linear integral equations, depending on the coefficient . If for all , then (1) is called an equation of the first kind; if for all , an equation of the second kind; and if vanishes on some non-empty proper subset of , an equation of the third kind.
For simplicity, only integral equations in the one-dimensional case will be considered, when is a finite interval . In this case, linear equations of the first and second kind can be represented in the following form:
respectively. The constant is called the parameter of the integral equation. Equations of the second kind are most frequently encountered in mathematical physics. If is a Fredholm kernel, that is, if the integral operator in equations (2), (3) is completely continuous (also called compact, see Completely-continuous operator), then the integral equation (2) (respectively, (3)) is called a Fredholm equation of the first (second) kind. An important example of a Fredholm equation is one in which the kernel satisfies the condition
while the right-hand side and the unknown function are square-integrable functions.
is called the homogeneous integral equation corresponding to the inhomogeneous integral equation (3). The homogeneous integral equation corresponding to equation (2) is similarly defined. A homogeneous integral equation always has the solution , called the zero (or trivial) solution. The values of the parameter for which (5) has a non-zero solution are called the characteristic (or fundamental or eigen) values (or numbers) of the kernel or of the integral equation (5), while the non-zero solution is called a characteristic (fundamental, eigen) function of or of the integral equation (5), belonging (or corresponding) to the given eigen value . If is not an eigen value, then it is called a regular value (number).
The complex kernel is called Hermitian if
where the bar denotes complex conjugation. In the case of a real kernel, (6) has the form . Such a kernel is called symmetric.
A Fredholm kernel need not have eigen values (for example, in the case of a Volterra kernel, see below). If the kernel is symmetric and does not vanish almost-everywhere, then it has at least one eigen value and all its eigen values are real.
If the kernel vanishes for (a so-called Volterra kernel), then equations (2) and (3) take the form
These equations are called Volterra equations of the first and second kind, respectively (cf. Volterra equation). Special cases of integral equations began to appear in the first half of the 19th century. Integral equations became the object of special attention of mathematicians after the solution of the Dirichlet problem for the Laplace equation had been reduced to the study of a linear integral equation of the second kind. The construction of a general theory of linear integral equations was begun at the end of the 19th century. The founders of this theory are considered to be V. Volterra (1896), E. Fredholm (1903, ), D. Hilbert (1912, ), and E. Schmidt (1907, ). Even before these investigations, the method of successive approximation for the construction of a solution of an integral equation was proposed (cf. also Sequential approximation, method of). This method was initially applied to the solution of non-linear equations of Volterra type (in modern terminology) in connection with studies of ordinary differential equations in the work of J. Liouville (1838), L. Fuchs (1870), G. Peano (1888), and others; as well as by C. Neumann (1877) in constructing a solution of an integral equation of the second kind. The general form of the method of successive approximation is due to E. Picard (1893).
In studying the equation of a vibrating membrane H. Poincaré (1896) hit upon the idea of introducing a variable numerical parameter in equation (3). He then conjectured (by analogy with the case of a vibrating membrane) that the solution of (3) is a meromorphic function of . This conjecture was proved by Fredholm (1900–1903). The work of Fredholm was preceded by investigations of Volterra (1896–1897), who studied integral equations of the form (7), (8). He proved that if the kernel and the right-hand side are continuous, then for any finite value of , (8) has precisely one continuous solution, which can be constructed by the method of successive approximation. Equation (3) was studied by Fredholm under the assumption that its kernel, its right-hand side and the unknown solution are continuous functions on the square and the interval , respectively. Following Volterra, Fredholm replaced the integral in (3) by a Riemann integral sum and considered the integral equation (3) as a limiting case of a finite system of linear algebraic equations (see Fredholm equation). By means of a formal limit transition Fredholm obtained a formula giving the solution to (3); he proved that this formula is a solution of (3) with the exception of a finite or countable set of values of the parameter , and proved theorems on the solvability of (3). Fredholm's theory for equation (3) was extended to the case of a system of integral equations and also to the case of a kernel with weak singularity (see Integral operator). The solution of a system reduces to that of a single equation, the kernel of which has lines of discontinuity parallel to coordinate axes.
Hilbert (1904) showed that the Fredholm theorems can be proved by a rigorous application of the process of limit transition and constructed a general theory of linear equations on the basis of the theory of linear and bilinear forms in an infinite number of variables. Schmidt
gave a simpler and somewhat more general version of the investigations of Hilbert. He constructed a theory of linear integral equations with real symmetric kernel (cf. Integral equation with symmetric kernel) independently of the Fredholm theory by representing the kernel as the sum of a degenerate and a "small" kernel. T. Carleman achieved a substantial weakening of the restrictions imposed on the data and the unknown elements in the theory of integral equations of the second kind for the case of real symmetric kernels. He extended the method of Fredholm (see ) to the case when the kernel of (3) satisfies condition (4). In papers of F. Riesz (1918) and J. Schauder (1930), Fredholm's theorems were generalized to a certain class of linear operator equations in Banach spaces.
The basic method for studying integral equations of the first kind is the so-called regularization method (see also Ill-posed problems). Integral equations of the third kind were the object of special investigations by H. Bateman (1907), Picard (1910), G. Fubini (1912), and Ch. Platrier (1912).
If a linear integral equation is not a Fredholm equation, then it is called a singular equation (cf. Singular integral equation). Hilbert's general theory of quadratic forms in an infinite number of variables provides the possibility in this case also of obtaining a number of important results. For certain specific classes of singular integral equations, special methods for solving them have been developed, taking into account the characteristic properties of these equations. For example, for singular integral equations and integral equations of convolution type (cf. Integral equation of convolution type), Fredholm's theorem that two transposed homogeneous integral equations have the same number of linearly independent solutions, is false.
In parallel with linear equations, non-linear integral equations have also been studied. In them, the unknown function can enter with power , , as, for example, in the equation
It can also enter in a more general way, for example in the equation
|||I.I. Privalov, "Integral equations" , Moscow-Leningrad (1937) (In Russian)|
|||S.G. Mikhlin, "Linear integral equations" , Hindushtan Publ. Comp. , Delhi (1960) (Translated from Russian)|
|||F.G. Tricomi, "Integral equations" , Interscience (1957)|
|||V.I. Smirnov, "A course of higher mathematics" , 4 , Addison-Wesley (1964) pp. Chapt. 1 (Translated from Russian)|
|||E. Fredholm, "Sur une classe des équations fonctionnelles" Acta Math. , 27 (1903) pp. 365–390|
|||D. Hilbert, "Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen" , Chelsea, reprint (1953)|
|[7a]||E. Schmidt, "Zur Theorie der linearen und nichtlinearen Integralgleichungen. 1. Entwicklung willküriger Funktionen nach Systeme vorgeschriebener" Math. Ann. , 63 (1907) pp. 433–476|
|[7b]||E. Schmidt, "Zur Theorie der linearen und nichtlinearen Integralgleichungen. 2. Auflösung der allgemeiner linearer Integralgleichung" Math. Ann. , 64 (1908) pp. 162–174|
|[7c]||E. Schmidt, "Zur Theorie der linearen und nichtlinearen Integralgleichungen. 3. Ueber die Auflösung der nichtlinearen Integralgleichung und die Verzweigung ihrer Lösungen" Math. Ann. , 65 (1908) pp. 370–399|
|||T. Carleman, "Zur Theorie der linearen Integralgleichungen" Math. Z. , 9 (1921) pp. 196–217|
|[a1]||R.S. Anderssen, "The application and numerical solution of integral equations" , Sijthoff & Noordhoff (1980)|
|[a2]||D.L. Colton, R. Kress, "Integral equation methods in scattering theory" , Wiley (1983)|
|[a3]||S. Fenyö, H.W. Stolle, "Theorie und Praxis der linearen Integralgleichungen" , 1–4 , Birkhäuser (1982–1984)|
|[a4]||C.W. Groetsch, "The theory of Tikhonov regularization for Fredholm equations of the first kind" , Pitman (1984)|
|[a5]||H. Hochstadt, "Integral equations" , Wiley (1973)|
|[a6]||F. Smithies, "Integral equations" , Cambridge Univ. Press (1959)|
|[a7]||H. Widom, "Lectures on integral equations" , Amer. Book Comp. (1969)|
|[a8]||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 (1975) (Translated from Russian)|
|[a9]||I.C. Gohberg, S. Goldberg, "Basic operator theory" , Birkhäuser (1981)|
|[a10]||K. Jörgens, "Lineare Integraloperatoren" , Teubner (1970)|
|[a11]||S. Prössdorf, "Einige Klassen singulärer Gleichungen" , Akademie Verlag (1974)|
Integral equation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integral_equation&oldid=16255