Singular integral equation

An equation containing the unknown function under the integral sign of an improper integral in the sense of Cauchy (cf. Cauchy integral). Depending on the dimension of the manifold over which the integrals are taken, one distinguishes one-dimensional and multi-dimensional singular integral equations. In comparison with the theory of Fredholm equations (cf. Fredholm equation), the theory of singular integral equations is more complex. For example, the theories of one-dimensional and multi-dimensional singular integral equations, both in the formulation of definitive results and in the methods used to establish them, differ significantly from one another. In the one-dimensional case, the theory is more fully developed, and its results are formulated more simply than the corresponding results in the multi-dimensional case. In what follows, main attention will be given to the one-dimensional case.

An important class of one-dimensional singular integral equations are those with a Cauchy kernel:

 (1)

where , , , are known functions, is a Fredholm kernel (see Integral operator), is the desired function, is a planar curve, and the improper integral is to be understood as a Cauchy principal value, i.e.

where , being the arc on such that and are both of length .

The operator defined by the left-hand side of (1) is called a singular operator (or sometimes a general singular operator):

 (2)

where is the identity operator, is a singular integral operator (sometimes called a singular integral operator with Cauchy kernel), i.e.

and is the integral operator with kernel .

The operator is called the characteristic part of the singular operator , or the characteristic singular operator, and the equation

 (3)

is called a characteristic singular integral equation, the functions and being the coefficients of the corresponding operator or equation.

The equation

is called the adjoint of equation (1), and the operator ( being the integral operator with kernel ) is called the adjoint of . In particular, is the adjoint of .

The operators , , , , or their corresponding equations, are said to be of normal type if the functions

do not vanish anywhere on . In this case one also says that the coefficients of the operator or equation satisfy the normality condition.

Let , , be the class of functions defined on and satisfying the condition

for all . If belongs to for some admissible value and knowledge of the numerical value of is not required, then one writes , or even if it is clear from the context which contour is meant.

The set is called a Hölder class of functions, and if one says that satisfies a Hölder condition or that is an -function.

Let be a complex-valued continuous function that does not vanish on an oriented closed simple smooth contour , and let

 (4)

where denotes the increment of the function between brackets after a single circuit of in the positive direction. The integer is called the index of the function , .

Solution of the characteristic singular integral equation and its adjoint.

Let be a simple, closed, oriented, smooth contour on which the positive direction is chosen in such a way that it bounds a finite domain on the left, let the coordinate origin lie in this domain, let , and let and satisfy the normality condition. Further, let be defined by (4), with

 (5)

Then the following assertions hold.

1) If , then the equation (3) is solvable in for any right-hand side , and all its -solutions are given by the formula (see [1], [2])

 (6)

where

and is an arbitrary polynomial of degree (). If , then equation (3) is solvable in if and only if satisfies the condition

When these conditions hold, (3) has a unique -solution, given by the formula (6) with .

2) The singular integral equation adjoint to (3),

 (7)

is solvable in for any if , and all its -solutions are given by the formula

 (8)

But if , equation (7) is solvable if and only if satisfies the conditions:

and if these conditions hold, the solution is given by (8) with .

Noether's theorems. Let and be the numbers of linearly independent solutions of the homogeneous equations and , respectively. Then the difference is called the index of the operator or of the equation :

Theorem 1.

The homogeneous singular integral equations and have a finite number of linearly independent solutions.

Theorem 2.

Necessary and sufficient conditions for the solvability of the non-homogeneous equation (3) are:

where is a complete set of linearly independent solutions of the adjoint homogeneous equation .

Theorem 3.

The index of (cf. Index of an operator) is equal to the index of the function defined by equation (5), i.e.

 (9)

These theorems remain valid in the case of the general singular integral equation (1), that is, in these theorems , can be replaced by , , respectively. It is only necessary to bear in mind that, in the case of general singular integral equations, and are both non-zero in general, in contrast to the case of characteristic singular integral equations, when one of them must be zero.

Theorems 1–3 are called after F. Noether, who first proved them [9] in the case of a one-dimensional singular integral equation with Hilbert kernel:

 (10)

These theorems are analogous to the Fredholm theorems (see Fredholm equation) and differ from them only in that the numbers of linearly independent solutions of the homogeneous equation and its adjoint are in general distinct, that is, whereas the index of a Fredholm equation is always equal to zero, a singular integral equation can have non-zero index.

Like the Noether theorems, the formulas (6) and (8) remain valid in the case when consists of a finite number of smooth mutually-disjoint closed contours. In this case the symbol in (4) denotes the sum of the increments of the function between brackets after a circuit of each of the contours .

The case when is a finite union of smooth mutually-disjoint open contours requires special consideration. If is an -function inside any closed part of every not containing the end points, and if close to either end it can be written in the form , , where is an -function in a neighbourhood of containing , then one says that belongs to the class . If , and in one looks for solutions of the equations (3), (7), then one can define and in such a way that (6) and (8) remain valid. Furthermore, if one defines in a corresponding way subclasses of in which one looks for solutions of a given singular integral equation and its adjoint, then the Noether theorems also remain valid (see [1]).

The above results can be extended in various ways. It can be shown (see [1]) that under certain conditions they also remain valid in the case of a piecewise-smooth contour (that is, when is the union of a finite number of smooth open arcs, which are mutually-disjoint except for their end points). Singular integral equations can also be studied in the Lebesgue function spaces and , where and is a certain weight (see [4][7]). [4][6] contain results which directly extend those stated above.

Let be a simple rectifiable contour with equation , , where is the arc-length on starting from some fixed point and is the length of . One says that a function defined on is almost-everywhere finite, measurable, integrable, etc., if the function has the corresponding property on the interval . The Lebesgue integral of on is defined by

Let denote the set of measurable functions on such that is integrable on . The function class , , becomes a Banach space if one introduces the norm by

If in equations (3), (7) the equalities hold almost-everywhere, with continuous coefficients and satisfying the normality condition and , , then 1) and 2) remain valid upon replacing by , . Furthermore, if the solutions of , where has the form (2), are sought in , , and the solutions of its homogeneous adjoint are sought in , where , then the Noether theorems also remain valid and may be any completely-continuous operator on .

When is a finite union of open contours, or if is closed but the coefficients of the singular integral equation are not continuous, then solutions of the equations can often be found in weighted function spaces , (). Under specific conditions on the weight function , results analogous to the above are valid.

The regularization problem.

One of the basic problems in the theory of singular integral equations is the regularization problem, that is, the problem of reducing a singular integral equation to a Fredholm equation.

Let and be Banach spaces, which may coincide, and let be a bounded linear operator. A bounded operator is called a left regularizer of if , where , are the identity and a completely-continuous operator on , respectively. If the equations and are equivalent for each , then is called a left equivalent regularizer of . A bounded operator is called a right regularizer of if , where , are the identity and a completely-continuous operator on , respectively. If the equations and are simultaneously solvable or unsolvable as ranges over , and in the case of solvability the relation holds between their solutions, then is called a right equivalent regularizer of . If is simultaneously a left and right regularizer of , then it is called a two-sided regularizer, or simply a regularizer of . One says that admits left, right, two-sided, equivalent, regularization if it has a left, right, two-sided, or equivalent regularizer, respectively.

Let be the operator defined by (2), where is a closed simple smooth contour, and are -functions (or continuous functions) satisfying the normality condition and is a completely-continuous operator on , . Then has an uncountable set of regularizers on , e.g. one of which is the operator

For to admit left equivalent regularization, it is necessary and sufficient that its index is non-negative [7]. One can take to be an equivalent left regularizer. If , then admits right equivalent regularization, which can be realized using (see [1]).

Systems of singular integral equations.

If in (1) , and are square matrices of order , regarded as matrices of linear transformations of an unknown vector , and is a known vector, then (1) is called a system of singular integral equations. It is said to be of normal type if the matrices and are non-singular on , that is, and for all .

The Noether theorems remain valid for a system of singular integral equations in the class (see [1], [3]), and can be extended to the case of Lebesgue function spaces (see [4], [5]). In contrast to the case of a single equation, a characteristic system of singular integral equations cannot, in general, be solved by quadratures, although there is a formula similar to (9) for the index (see [1]):

For a system of singular integral equations, regularization problems (see [3]) are similar to those for a single equation.

There have been several investigations of both one singular integral equation and a system of such equations when the normality condition is violated (see [11] and the bibliography contained therein).

Multi-dimensional singular integral equations.

These are equations of the form

 (11)

where is a domain in the Euclidean space , . may be bounded or unbounded, and can, in particular cases, coincide with ; and are points of , , , is the volume element in , and is a completely-continuous operator on the Banach function space in which the solution is sought. Further, and are given functions and the improper singular integral is understood in the principle value sense, that is,

 (12)

Here is called the pole, the characteristic and the density of the singular integral (12). As a rule, the limit in (12) does not exist when the following condition is violated:

 (13)

where is the unit sphere with centre at the origin. Thus it is assumed that (13) always holds.

In the theory of multi-dimensional singular integral equations, an important role is played by the notion of a symbol (cf. Symbol of an operator). It is defined in terms of the functions and , and from a given symbol the original singular operator can be recovered up to a completely-continuous term. Composition of singular operators corresponds to multiplication of their symbols. It has been shown [7] that under certain restrictions (11) admits a regularization in the space , , if and only if the absolute value of its symbol has a positive lower bound, and in this case the Fredholm theorems hold.

Historical survey.

The study of one-dimensional singular integral equations originated in the works of D. Hilbert and H. Poincaré at almost the same time as the formulation of the theory of Fredholm equations (cf. Fredholm equation). A special case, a singular integral equation with Cauchy kernel, was considered much earlier in the doctoral thesis of Yu.V. Sokhotskii, published in St. Petersburg in 1873; however, this research remained unnoticed.

Basic results on the formulation of a general theory of the equations (1) and (10) were obtained at the beginning of the 1920s by Noether [9] and T. Carleman [10]. Noether first introduced the concept of an index and proved the theorems 1–3 above by applying the method of left regularization. This method was first described (in various special cases) by Poincaré and Hilbert, but its general form is due to Noether. A crucial point in the realization of the above method involves the application of a permutation (composition) formula for repeated singular integrals in the Cauchy principal value sense (the Poincaré–Bertrand formula). For certain special classes of equations (3), Carleman had the basic idea behind a method for reducing this equation to the following boundary value problem in the theory of analytic functions (the linear conjugacy problem, see [1] and Riemann–Hilbert problem (analytic functions)):

and found a way of constructing an explicit solution. Carleman and I.N. Vekua found a method of regularizing equation (1) involving a solution of the characteristic equation (3).

The great significance, both theoretical and practical, of singular integral equations became especially apparent towards the end of the 1930s in connection with the solution of certain very important problems in the mechanics of a solid medium (the theory of elasticity, hydro- and aeromechanics, and others) and theoretical physics. The theory of one-dimensional singular integral equations was significantly advanced in the 1940s and reached a final form (in a definite sense) in the works of Soviet mathematicians. A presentation of this theory in Hölder classes of functions is to be found in a monograph of one of its creators, N.I. Muskhelishvili (see [1]). This monograph also stimulated scientific investigations in certain other directions, for example in the theory of singular integral equations not satisfying the Hausdorff normality condition, singular integral equations with non-diagonal singularities (with displacements), Wiener–Hopf equations, multi-dimensional singular integral equations, etc.

The earliest studies of multi-dimensional singular integral equations were carried out in 1928 by F. Tricomi, who established a permutation formula for two-dimensional singular integrals and applied it to the solution of a class of singular integral equations. In this direction, the fundamental work was done in 1934 by G. Giraud, who proved the validity of the Fredholm theorems for certain classes of multi-dimensional singular integral equations on Lyapunov manifolds.

References

 [1] N.I. Muskhelishvili, "Singular integral equations" , Wolters-Noordhoff (1972) (Translated from Russian) MR0355494 Zbl 0488.45002 Zbl 0174.16202 Zbl 0174.16201 Zbl 0103.07502 Zbl 0108.29203 Zbl 0051.33203 Zbl 0041.22601 [2] F.D. Gakhov, "Boundary value problems" , Pergamon (1966) (Translated from Russian) MR0198152 Zbl 0141.08001 [3] N.P. Vekua, "Systems of singular integral equations and some boundary value problems" , Moscow (1970) (In Russian) [4] B.V. Khvedelidze, "Linear discontinuous boundary problems in the theory of functions, singular integral equations and some applications" Trudy Tbilis. Mat. Inst. Akad. Nauk. GruzSSR , 23 (1956) pp. 3–158 (In Russian) Zbl 0083.30002 [5] I.I. Danilyuk, "Nonregular boundary value problems on the plane" , Moscow (1975) (In Russian) [6] I. [I.Ts. Gokhberg] Gohberg, N. Krupnik, "Einführung in die Theorie der eindimensionalen singulären Integraloperatoren" , Birkhäuser (1979) (Translated from Russian) MR0545507 Zbl 0413.47040 [7] S.G. Mikhlin, "Multidimensional singular integrals and integral equations" , Pergamon (1965) (Translated from Russian) MR0185399 Zbl 0129.07701 [8] A.V. Bitsadze, "Boundary value problems for second-order elliptic equations" , North-Holland (1968) (Translated from Russian) MR0226183 Zbl 0167.09401 [9] F. Noether, "Ueber eine Klasse singulärer Integralgleichungen" Math. Ann. , 82 (1921) pp. 42–63 Zbl 47.0369.02 [10] T. Carleman, "Sur le résolution des certaines équations intégrales" Arkiv. Mat. Astron. Fys. , 16 : 26 (1922) pp. 1–19 [11] S. Prössdorf, "Einige Klassen singulärer Gleichungen" , Birkhäuser (1974) MR0499984 Zbl 0302.45009 Zbl 0302.45008