In this paper, we propose and justify the quadrature-differences method for the full linear singular integro-differential equations with the Cauchy kernel on the interval (–1,1). We consider equations of zero, positive and negative indices. It is shown that the method converges to an exact solution, and the error estimation depends on the sharpness of derivative approximations and on the smoothness of the coefficients and the right-hand side of the equation.
In [1,2,3,4], the quadrature-differences methods for the various classes of the periodic singular integro-differential equations with Hilbert kernels were justified. The convergence of the methods was proven and the error estimates were obtained. Here, we propose and justify the same method for the full linear singular integro-differential equations with the Cauchy kernel on the interval . Note that for the first order equations, this method was justified in .
It is known (see, e.g., [6,7]) that the theories of the singular integral equations in periodic (with the Hilbert kernel) and non-periodic (with the Cauchy kernel) cases differ greatly, due to the discontinuity of the contour in the latter case. Therefore, the calculation schemes and the justifications of the method in these cases have essential distinctions. Thus, if for the equations with Hilbert kernels, the same uniform grid is used both for the approximation of the derivatives and integrals and as collocation nodes, then, for the equations with the Cauchy kernel, we must use two different grids: the roots of the special polynomials. For the first class of equations, the problem is stated in Hölder space, and therefore, the usual technique of the compact approximation  for the justification is used. The rate of convergence grows with the growing of the smoothness of the coefficients and the right-hand side of the equation infinitely. For the second class of equations, the highest order derivative of the desired function has, in general, integrable singularities at the end points of the contour. Therefore, the problem is stated in the spaces of weighted quadratically integrable functions; the “second kind”  of theory of the approximation methods is used, and the rate of convergence is restricted by the order of smoothness of the desired function, coefficients and the right-hand side of the equation.
In the paper, equations of zero, positive and negative indices are considered. The convergence of the method is proven, and the rate of convergence is obtained.
2. Formulation of the Problem
Consider a linear singular integro-differential equation of the form:
with the initial conditions:
where is a desired unknown and are given continuous functions of their arguments, ; is a polynomial of some order, and singular integrals:
are to be interpreted as the Cauchy–Lebesgue principal value; and
are regular integrals.
First, we consider in detail a zero index equation and then point out the changes in the calculation scheme and justification for the cases of positive and negative indices.
3. Calculation Scheme
Let us define, following Muskhelishvili , the index and the canonical function of the Equation (1). To do this, denote some continuous and one-valued branch of the multi-valued function . Then, the canonical function of Equation (1) will be:
where and are the integers subject to the condition, . The integer is called the index of Equation (1), and the numbers, and , determine the class of possible solutions of the problems, (1) and (2) (see [7,9]).
Now, we will define two weight-functions:
and two sequences of polynomials and with the following properties:
where and are the senior coefficients of the polynomials, and , correspondingly, and is the Kronecker symbol. The existence of the polynomials satisfying (3), due to the positiveness and integrability of the weight-functions, and , was shown in . Moreover, it was shown there that each of the polynomials , has just n real simple roots on the interval . Identity (4), which plays the crucial role in the following account, was obtained by Elliott .
be the grids on [−1,1]. By:
we denote the union of the the grid (5) with the nodes:
Here, and are two nonnegative integers:
We will seek an approximate solution of Equation (1) as a vector:
of values of unknown function in the nodes of the grid (7). Derivatives and values of the unknown function in the nodes of the grids, (5) and (6), and for the initial condition in the point, , we will approximate by any numerical formulae:
which use only the nodes (7) and the components of the vector (8).
Singular integrals, are to be approximated by the quadratures. To do this, we will integrate polynomials:
To approximate regular integrals, we will integrate polynomials:
Coefficients of the quadrature Formulae (9) and (10) depend on the integrals, , which, according to the relations ( denotes the largest integer not exceeding ):
To approximate the regular integral, , we will integrate the polynomial:
also multiplied to the weight-function, ,
where are coefficients of the Gauss-type quadrature formula, and for , which are not the roots of the polynomial, , the following relationship is valid:
Substituting the numerical derivative formulae, the values of Quadratures (9)–(11), (13) and the right-hand side in the nodes of the grid (6) in Equation (1) and the numerical formulae for the point, , in the initial conditions (2), we will obtain the system of linear algebraic equations:
of the quadrature-differences method.
Let us denote by the set of functions that have on absolutely continuous -order derivatives and quadratically integrable with the weight-function m-order derivatives. Then, let us define the following spaces, :
with the norms:
- the set of -components vectors of the form (8) satisfying the conditions
- the set of -components vectors, , the set of -components vectors with the norms:
where operator is defined by the formulae:
Here, and further, the product of the vector and function is equal to the vector, the components of which are the products of vector components and function values in the same nodes and:
are Lagrange interpolative operators. We will need also the following operators:
Proof of Theorem 1.
Proof of Theorem 1 It is known (see, e.g., [6,7,9]) that if the right-hand side of Equation (1) belongs to or , then the m-order derivative of the solution of the problems, (1) and (2), has the form , where or correspondently, i.e., . Thus, we will consider the problems, (1) and (2), as operator equation:
Here, as is shown in [6,7,9,11], is a linear bounded operator, is a compact operator and is continuously invertible.
Let us consider η an arbitrary constant, which is not an eigenvalue of the problem:
and make a substitution:
in Equation (16). Due to the invertibility of the operator, :
being still equivalent to the original one. The equivalence here means that the solvability of one of them yields the solvability of another, and their solutions are joined by the relationships, (17) and (18).
Now, let us rewrite the system of Equations (14) and (15) as an operator equation:
and make a substitution:
The operator, , is invertible explicitly for all n, beginning from some (see, ) and:
where is the inverse to . The invertibility of for all n beginning from some follows from Conditions (B.1), (B.2) of Theorem 1 and the choice of η (see ). Moreover, for any ,
Therefore, by the substitution (21), we will get an equation:
For the second summand, using once more Equations (27), (22) and (24), and the boundedness of the operator, , we will have:
Finally, using Conditions (A.1), (A.4) of Theorem 1 and Estimation (25), we will obtain:
which means the approximation of the operator, B, by the sequence of the operators with respect to .
Let us assume, now, that the sequence , is bounded . As the functions, and , are polynomials and the derivatives of the functions, and are bounded in Z, then, according to the Riesz theorem , the functions:
form a compact sequence in Z, and thus, Condition (b) is valid. The validity of Condition (c) follows from Condition (A.5) of Theorem 1 and the equivalence of Equations (16) and (19).
Therefore, according to Theorem 6.1 , for all n, beginning from some , operators and, thus, operators are invertible, and their inverses are bounded collectively; and, the approximate solutions of the system of Equations (14) and (15) converge to the exact solution of Problems (1) and (2) with a rate:
Using once more the boundedness of the operators, , Estimation (24), Hölder inequality and the error estimate of the Gauss-type quadrature formula, we will find:
Thus, taking into account the smoothness of the functions in the right-hand side, Estimation (25) and the obvious inequality (here, C depends on γ and ), , we will obtain the requested estimation:
5. Equations of Non-Zero Indices
It is known  that for the unique solvability of Problems (1) and (2), in the case when , the equations:
should be added. Therefore, the equations:
should be added to the system of Equations (14) and (15). The justification of the method in this case is similar to the justification in the case, except the definitions of the spaces, X and , where Conditions (29) and (30) should be added.
Let forProblems (1), (2) and (29) and the calculation scheme, (5)–(15), (30), of the method satisfy Conditions (A.1)–(A.5), (B.1), (B.2) of Theorem 1. Then, for n large enough, the system of Equations (14), (15), (30) is uniquely solvable, and approximate solutionsconverge to the exact solution,, of Problems (1), (2), (29) with the error estimation:
The case, when , is more complicated, because the operator , and therefore, the operator, , in this case is, in general, non-invertible; and, Condition (A.5) of Theorem 1 will not be satisfied. We may assume, instead, only the solvability of the concrete equation with the fixed coefficients and the right-hand side. Moreover, the system of Equations (14) and (15) in this case will contain unknown variables, but consist of equations. Therefore, it will be overdetermined and, thus, in general, unsolvable. This means that the previously used proof cannot be applied here. Nevertheless, we may reduce this case to a general one by a simple technique first used by V.V. Ivanov  and later by many authors (see, e.g., [15,16,17]).
Instead of Equation (1), we will consider the equation:
containing in the left-hand side polynomial:
with the coefficients , which ought to be determined. Equations (1) and (31) are closely connected. Indeed, if is the solution of Problems (1) and (2), then the couple will be the solution of Problems (31) and (2). On the other hand, if Problems (1) and (2) will be solvable for only one fixed right-hand side, then corresponding Problems (31) and (2) will be solvable for any right-hand side, , because to satisfy the conditions of solvability (see [7,9]), one needs to find out only the coefficients: of the polynomial, , satisfying the equations:
and thus, the proof of Theorem 1 will be valid also for this case.
The system of Equations (14) and (15) also should be slightly changed. We will add the summands, : the values of the approximating polynomial
in the nodes of the grid (6) to the left-hand sides of the equations of System (14). In the operator form, the system of equations will take the following form:
Now, the number of the unknown variables is , so it is equal to the number of equations. These changes now allow us to use the proof, like the one of Theorem 1.
Let, for, Problems (1), (2) and the calculation scheme, (5)–(13), (32), of the method satisfy Conditions (A.1)–(A.4), (B.1), (B.2) of Theorem 1. Let us assume, also, that Problems (1) and (2) have a unique solution,. Then, for n, large enough, the system of Equation (32) is uniquely solvable, and the approximate solutions:converge to the exact solutionof Equation (31) with the error estimation:
The proof of Theorem 3 is, in general, similar to the proof of Theorem 1, so we will give it briefly, paying attention only to the major differences.
with —a vector of the values of the polynomial, , the coefficients of which can be found from the equations:
Now, we will use the substitution:
which allows us to reduce Equation (36) to the equivalent equation:
Besides, according to the proof of Theorem 1, we have to check that conditions (a)–(c) are satisfied. Condition (a) may be checked like the one in the proof of Theorem 1. In order to check (b), we had previously to calculate for the chosen , according to Formula (37) and, then, follow the proof of Theorem 1, taking instead of . The validity of Condition (c) follows from the invertibility of the operator, . Indeed, for the given right-hand side of Equation (35), we will obtain the right-hand side of Equation (33). Then, due to the invertibility of , we will find the couple and, via Equation (34), will obtain z.
The error estimation:
obtained just as in the proof of Theorem 1, finishes the proof in this case. ☐
Remark 1. Theorems 1–3 might be extended to the case of the mostly general boundary conditions :
where are given functions of the bounded variation and integrals are interpreted as Stieltjes ones. These boundary conditions might be approximated by any difference conditions:
satisfying for for any . Theorems 1–3 will remain valid, but the value of in the definition of should be substituted by the value of .
Remark 2. Condition (A.3) of Theorem 1 is only sufficient and, as is shown in [17,18,19], can be reduced.
Conflicts of Interest
The author declares no conflict of interest.
Fedotov, A.I. On convergence of quadrature-differences method for linear singular integrodifferential equations. Zh. Vychisl. Mat. i. Mat. Fiz.1989, 29, 1301–1307. (in Russian). [Google Scholar] [CrossRef]
Fedotov, A.I. On convergence of quadrature-differences method for one class of singular integro-differential equations. Izv. Vyssh. Uchebn. Zaved. Mat.1989, 8, 64–68. (in Russian). [Google Scholar]
Fedotov, A.I. On convergence of quadrature-differences method for linear singular integrodifferential equations with discontinuous coefficients. Zh. Vychisl. Mat. i. Mat. Fiz.1991, 31, 261–271. (in Russian). [Google Scholar]
Fedotov, A.I. On convergence of quadrature-differences method for nonlinear singular integrodifferential equations. Zh. Vychisl. Mat. i. Mat. Fiz.1991, 31, 781–787. (in Russian). [Google Scholar]
Fedotov, A.I. On convergence of quadrature-differences method for linear singular integro-differential equations on the interval. Arch. Math.2001, 37, 257–271. [Google Scholar]
Elliott, D. The Approximate Solution of Singular Integral Equations. In Solution Methods for Integral Equations, Theory and Applications, Math. Concepts Meth. Sci. Eng. 18; Goldberg, M.A., Ed.; Springer: New York, NY, USA, 1979; pp. 83–107. [Google Scholar]
Szegö, G. Orthogonal Polynomials. In AMS Colloquim Publications, 23; AMS: Providence, RI, USA, 1967. [Google Scholar]
Hvedelidze, B.V. Linear discontinuous boundary problems of the theory of functions and some their applications. Proc. Tbilisi Math. Inst. Georgian Acad. Sci.1956, 23, 3–158. (in Russian). [Google Scholar]
Natanson, I.P. Construction Theory of Functions; GosTechIzdat: Moscow, Soviet Union, 1959. (in Russian) [Google Scholar]
Kantorovič, L.V.; Akilov, G.P. Functional Analysis in Normed Spaces; Macmillan: New York, NY, USA, 1964. [Google Scholar]
Ivanov, V.V. The Theory of Approximate Methods and Their Application to the Numerical Solution of Singular Integral Equations; Noordhoff: Groningen, Holland, 1976. [Google Scholar]
Belotserkovski, S.M.; Lifanov, I.K. Numerical Methods for Singular Integral Equations; Nauka: Moscow, Soviet Union, 1985. (in Russian) [Google Scholar]
Karpenko, L.N. Approximate solution of a singular integral equations by means of Jacobi polynomials. J. Appl. Math. Mech.1966, 30, 668–675. [Google Scholar] [CrossRef]
Lifanov, I.K. The Method of the Singular Integral Equations and a Numerical Experiment in Mathematical Physics, Aerodynamics and the Theory of Elasticity and Waves Diffraction; Yanus: Moscow, Russia, 1995. (in Russian) [Google Scholar]
Afendikova, N.G.; Lifanov, I.K.; Matveev, A.F. On approximate solution of singular integral equations. Differ. Uravn.1987, 23, 1392–1402. (in Russian). [Google Scholar]
Matveev, A.F. On the construction of approximate solutions of singular integral equations of the second kind. Doklady Acad. Nauk1989, 307, 1046–1050. (in Russian). [Google Scholar]