Open Access
This article is

- freely available
- re-usable

*Mathematics*
**2014**,
*2*(1),
53-67;
https://doi.org/10.3390/math2010053

Article

Convergence of the Quadrature-Differences Method for Singular Integro-Differential Equations on the Interval

N.I.Lobachevskii Institute of Mathematics and Mechanics, Kazan Federal University, Kremliovskaya 35, Kazan 420008, Russian Federation

Received: 22 December 2013; in revised form: 20 February 2014 / Accepted: 21 February 2014 / Published: 4 March 2014

## Abstract

**:**

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.

Keywords:

singular integro-differential equations; quadrature-differences method## 1. Introduction

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 $(-1,1)$. Note that for the first order equations, this method was justified in [5].

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 [8] 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” [8] 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 $x(t)$ is a desired unknown and ${a}_{\nu}(t),{b}_{\nu}(t),{h}_{\nu}(t,\tau ),\phantom{\rule{4pt}{0ex}}\nu =0,1,...,m,\phantom{\rule{4pt}{0ex}}f(t)$ are given continuous functions of their arguments, $t,\tau \in [-1,1]$; ${b}_{m}(t)$ is a polynomial of some order, ${n}_{0}\ge 0$ and singular integrals:
are to be interpreted as the Cauchy–Lebesgue principal value; and
are regular integrals.

$$\sum _{\nu =0}^{m}({a}_{\nu}(t){x}^{(\nu )}(t)+{b}_{\nu}(t)(S{x}^{(\nu )})(t)+(T{h}_{\nu}{x}^{(\nu )})(t))=f(t),\phantom{\rule{1.em}{0ex}}-1<t<1,\phantom{\rule{1.em}{0ex}}m\ge 1$$

$${x}^{(\nu )}({\xi}_{0})=0,\phantom{\rule{1.em}{0ex}}\nu =0,1,...,m-1,\phantom{\rule{1.em}{0ex}}-1\le {\xi}_{0}\le 1$$

$$(S{x}^{(\nu )})(t)=\frac{1}{\pi}{\int}_{-1}^{1}\frac{{x}^{(\nu )}(\tau )d\tau}{\tau -t},\phantom{\rule{2.em}{0ex}}\nu =0,1,...,m$$

$$(T{h}_{\nu}{x}^{(\nu )})(t)=\frac{1}{\pi}{\int}_{-1}^{1}{h}_{\nu}(t,\tau ){x}^{(\nu )}(\tau )d\tau ,\phantom{\rule{1.em}{0ex}}\nu =0,1,...,m$$

First, we consider in detail a zero index equation $(\kappa =0)$ and then point out the changes in the calculation scheme and justification for the cases of positive $(\kappa >0)$ and negative $(\kappa <0)$ indices.

## 3. Calculation Scheme

Let us define, following Muskhelishvili [7], the index and the canonical function of the Equation (1). To do this, denote $\theta (t)={\pi}^{-1}arg({a}_{m}(t)+i{b}_{m}(t)),\phantom{\rule{1.em}{0ex}}t\in [-1,1],$ some continuous and one-valued branch of the multi-valued function ${\pi}^{-1}arg({a}_{m}(t)+i{b}_{m}(t))$. Then, the canonical function of Equation (1) will be:
where ${\gamma}_{1}={\lambda}_{1}-\theta (1),\phantom{\rule{1.em}{0ex}}{\gamma}_{2}={\lambda}_{2}+\theta (-1)$ and ${\lambda}_{1},\phantom{\rule{4pt}{0ex}}{\lambda}_{2}$ are the integers subject to the condition, ${\gamma}_{1},{\gamma}_{2}\in (-1,1)$. The integer $\kappa =-({\lambda}_{1}+{\lambda}_{2})$ is called the index of Equation (1), and the numbers, ${\gamma}_{1}$ and ${\gamma}_{2}$, determine the class of possible solutions of the problems, (1) and (2) (see [7,9]).

$$Z(t)={(1-t)}^{{\gamma}_{1}}{(1+t)}^{{\gamma}_{2}}exp(-{\int}_{-1}^{1}\frac{\theta (\tau )d\tau}{\tau -t}),\phantom{\rule{1.em}{0ex}}t\in (-1,1)$$

Now, we will define two weight-functions:
and two sequences of polynomials ${\{{\varphi}_{n}(t)\}}_{n=o}^{\infty}$ and ${\{{\psi}_{n}(t)\}}_{n=o}^{\infty}$ with the following properties:
where ${\alpha}_{n+1}>0$ and ${\beta}_{n+1-\kappa}>0$ are the senior coefficients of the polynomials, ${\varphi}_{n+1}(t)$ and ${\psi}_{n+1-\kappa}(t)$, correspondingly, and ${\delta}_{k,l}$ is the Kronecker symbol. The existence of the polynomials satisfying (3), due to the positiveness and integrability of the weight-functions, $\rho (t)$ and $\overline{\rho}(t)$, was shown in [10]. Moreover, it was shown there that each of the polynomials ${\{{\varphi}_{n}(t)\}}_{n=o}^{\infty}$, ${\{{\psi}_{n}(t)\}}_{n=o}^{\infty}$ has just n real simple roots on the interval $(-1,1)$. Identity (4), which plays the crucial role in the following account, was obtained by Elliott [6].

$$\rho (t)=Z(t){({a}_{m}^{2}(t)+{b}_{m}^{2}(t))}^{-1/2}\phantom{\rule{4pt}{0ex}}\mathrm{and}\phantom{\rule{4pt}{0ex}}\overline{\rho}(t)={Z}^{-1}(t){({a}_{m}^{2}(t)+{b}_{m}^{2}(t))}^{-1/2},\phantom{\rule{4pt}{0ex}}{({a}_{m}^{2}(t)+{b}_{m}^{2}(t))}^{1/2}>0$$

$${\int}_{-1}^{1}\rho (\tau ){\varphi}_{k}(\tau ){\varphi}_{l}(\tau )d\tau ={\sigma}_{k}{\delta}_{k,l},\phantom{\rule{4pt}{0ex}}k\ge l,\phantom{\rule{4pt}{0ex}}{\int}_{-1}^{1}\overline{\rho}(\tau ){\psi}_{k}(\tau ){\psi}_{l}(\tau )d\tau ={\zeta}_{k}{\delta}_{k,l},\phantom{\rule{4pt}{0ex}}k\ge l$$

$${a}_{m}(t)\rho (t){\varphi}_{n+1}(t)+{b}_{m}(t)(S\rho {\varphi}_{n+1})(t)={(-1)}^{\kappa}(({\sigma}_{n+1}{\beta}_{n+1-\kappa})/({\zeta}_{n+1-\kappa}{\alpha}_{n+1})){\psi}_{n+1-\kappa}(t),\phantom{\rule{4pt}{0ex}}n\ge max\{{n}_{0},\kappa \}$$

Let:
be the grids on [−1,1]. By:
we denote the union of the the grid (5) with the nodes:
Here, ${m}_{1}$ and ${m}_{2}$ 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, ${\xi}_{0}$, we will approximate by any numerical formulae:
which use only the nodes (7) and the components of the vector (8).

$$\{{\tau}_{k}\mid {\varphi}_{n+1}({\tau}_{k})=0,\phantom{\rule{4pt}{0ex}}k=0,1,...,n\}$$

$$\{{t}_{j}\mid {\psi}_{n+1-\kappa}({t}_{j})=0,\phantom{\rule{4pt}{0ex}}j=0,1,...,n-\kappa \}$$

$$\{{\tau}_{k}\mid k=-{m}_{1},-{m}_{1}+1,...,n+{m}_{2}\}$$

$${\tau}_{k}=-1+({\tau}_{0}+1)(k+{m}_{1})/({m}_{2}+1),\phantom{\rule{4pt}{0ex}}k=-{m}_{1},-{m}_{1}+1,...,-1$$

$${\tau}_{k}=1+(1-{\tau}_{n})(k-n-{m}_{2})/({m}_{2}+1),\phantom{\rule{4pt}{0ex}}k=n+1,n+2,...,n+{m}_{2}$$

$${m}_{1}={m}_{2}=m/2\phantom{\rule{1.em}{0ex}}\mathrm{for\; even}\phantom{\rule{1.em}{0ex}}m$$

$${m}_{1}=(m+1)/2,\phantom{\rule{1.em}{0ex}}{m}_{2}=(m-1)/2\phantom{\rule{1.em}{0ex}}\mathrm{for\; odd}\phantom{\rule{1.em}{0ex}}m$$

$${\mathbf{x}}_{n}=({x}_{-{m}_{1}},...,{x}_{n+{m}_{2}})$$

$${x}^{(m)}({\tau}_{k})\sim {[{D}_{n}^{(m)}{\mathbf{x}}_{n}]}_{{\tau}_{k}},\phantom{\rule{4pt}{0ex}}k=0,1,...,n$$

$${x}^{(\nu )}({t}_{j})\sim {[{D}_{n}^{(\nu )}{\mathbf{x}}_{n}]}_{{t}_{j}},\phantom{\rule{4pt}{0ex}}j=0,1,...,n-\kappa $$

$${x}^{(\nu )}({\xi}_{0})\sim {[{D}_{n}^{(\nu )}{\mathbf{x}}_{n}]}_{{\xi}_{o}},\phantom{\rule{4pt}{0ex}}\nu =0,1,...,m-1$$

Singular integrals, $(S{x}^{(\nu )})(t),\phantom{\rule{4pt}{0ex}}\nu =0,1,...,m-1,$ are to be approximated by the quadratures. To do this, we will integrate polynomials:

$$({Q}_{n-\kappa}{D}_{n}^{(\nu )}{\mathbf{x}}_{n})(\tau )=\sum _{j=0}^{n-\kappa}{[{D}_{n}^{(\nu )}{\mathbf{x}}_{n}]}_{{t}_{j}}{l}_{j}(\tau ),\phantom{\rule{4pt}{0ex}}\nu =0,1,...,m-1$$

$${l}_{j}(\tau )=\frac{{\psi}_{n+1-\kappa}(\tau )}{(\tau -{t}_{j}){\psi}_{n+1-\kappa}^{\prime}({t}_{j})},\phantom{\rule{4pt}{0ex}}j=0,1,...,n-\kappa $$

$$(S{Q}_{n-\kappa}{D}_{n}^{(\nu )}{\mathbf{x}}_{n})(t)=\sum _{j=0}^{n-\kappa}{[{D}_{n}^{(\nu )}{\mathbf{x}}_{n}]}_{{t}_{j}}({\mathit{Sl}}_{j})(t),\phantom{\rule{4pt}{0ex}}\nu =0,1,...,m-1$$

$$(S{l}_{j})(t)=\frac{(S{\psi}_{n+1-\kappa})(t)-(S{\psi}_{n+1-\kappa})({t}_{j})}{(t-{t}_{j}){\psi}_{n+1-\kappa}^{\prime}({t}_{j})},\phantom{\rule{4pt}{0ex}}j=0,1,...,n-\kappa $$

To approximate regular integrals, $(T{h}_{\nu}{x}^{(\nu )})(t),\phantom{\rule{4pt}{0ex}}\nu =0,1,...,m-1,$ we will integrate polynomials:
Coefficients of the quadrature Formulae (9) and (10) depend on the integrals, $(S{\psi}_{n+1-\kappa})(t)$, which, according to the relations ($[\frac{k-1}{2}]$ denotes the largest integer not exceeding $\frac{k-1}{2}$):
could be calculated explicitly for all fixed n.

$$({Q}_{n-\kappa}{h}_{\nu}{D}_{n}^{(\nu )}{\mathbf{x}}_{n})(t,\tau )=\sum _{j=0}^{n-\kappa}{[{D}_{n}^{(\nu )}{\mathbf{x}}_{n}]}_{{t}_{j}}{h}_{\nu}(t,{t}_{j}){l}_{j}(\tau ),\phantom{\rule{4pt}{0ex}}\nu =0,1,...,m-1$$

$$(T{Q}_{n-\kappa}{h}_{\nu}{D}_{n}^{(\nu )}{\mathbf{x}}_{n})(t)=\sum _{j=0}^{n-\kappa}{[{D}_{n}^{(\nu )}{\mathbf{x}}_{n}]}_{{t}_{j}}{h}_{\nu}(t,{t}_{j}){\mathit{Tl}}_{j},\phantom{\rule{4pt}{0ex}}\nu =0,1,...,m-1$$

$$T{l}_{j}=(S{\psi}_{n+1-\kappa})({t}_{j})/{\psi}_{n+1-\kappa}^{\prime}({t}_{j}),\phantom{\rule{4pt}{0ex}}j=0,1,...,n-\kappa $$

$$(S1)(t)=\frac{1}{\pi}ln\left|\frac{1-t}{1+t}\right|$$

$$(S{\tau}^{k})(t)=\frac{{t}^{k}}{\pi}ln\left|\frac{1-t}{1+t}\right|+\frac{2}{\pi}\sum _{j=0}^{\left[\frac{k-1}{2}\right]}\frac{{t}^{k-(2j+1)}}{2j+1},\phantom{\rule{1.em}{0ex}}k=1,2,...\phantom{\rule{4pt}{0ex}}$$

To approximate the dominant part of Equation (1):
we will apply the operator, U, to the polynomial:
multiplied to the weight-function, $\rho (\tau )$,
where, using Equation (4),
To approximate the regular integral, $(T{h}_{m}{x}^{(m)})(t)$, we will integrate the polynomial:
also multiplied to the weight-function, $\rho (\tau )$,
where $T\rho {\overline{l}}_{k},\phantom{\rule{4pt}{0ex}}k=0,1,...n,$ are coefficients of the Gauss-type quadrature formula, and for ${\tau}_{k}$, which are not the roots of the polynomial, ${b}_{m}(t)$, the following relationship is valid:

$$(U{x}^{(m)})(t)={a}_{m}(t){x}^{(m)}(t)+{b}_{m}(t)(S{x}^{(m)})(t)$$

$$({P}_{n}{\rho}^{-1}{D}_{n}^{(m)}{\mathbf{x}}_{n})(\tau )=\sum _{k=0}^{n}{\rho}^{-1}({\tau}_{k}){[{D}_{n}^{(m)}{\mathbf{x}}_{n}]}_{{\tau}_{k}}{\overline{l}}_{k}(\tau )$$

$${\overline{l}}_{k}(\tau )=\frac{{\varphi}_{n+1}(\tau )}{(\tau -{\tau}_{k}){\varphi}_{n+1}^{\prime}({\tau}_{k})},\phantom{\rule{4pt}{0ex}}k=0,1,...,n$$

$$(U\rho {P}_{n}{\rho}^{-1}{D}_{n}^{(m)}{\mathbf{x}}_{n})(t)=\sum _{k=0}^{n}{\rho}^{-1}({\tau}_{k}){[{D}_{n}^{(m)}{\mathbf{x}}_{n}]}_{{\tau}_{k}}(U\rho {\overline{l}}_{k})(t)$$

$$(U\rho {\overline{l}}_{k})(t)={(-1)}^{\kappa}\frac{{\sigma}_{n+1}{\beta}_{n+1-\kappa}({\psi}_{n+1-\kappa}(t)-{\psi}_{n+1-\kappa}({\tau}_{k}))}{{\zeta}_{n+1-\kappa}{\alpha}_{n+1}(t-{\tau}_{k}){\varphi}_{n+1}^{\prime}({\tau}_{k})},\phantom{\rule{1.em}{0ex}}k=0,1,...,n$$

$$({P}_{n}{\rho}^{-1}{h}_{m}{D}_{n}^{(m)}{\mathbf{x}}_{n})(t,\tau )=\sum _{k=o}^{n}{\rho}^{-1}({\tau}_{k}){[{D}_{n}^{(m)}{\mathbf{x}}_{n}]}_{{\tau}_{k}}{h}_{m}(t,{\tau}_{k}){\overline{l}}_{k}(\tau )$$

$$(T\rho {P}_{n}{\rho}^{-1}{h}_{m}{D}_{n}^{(m)}{\mathbf{x}}_{n})(t)=\sum _{k=o}^{n}{\rho}^{-1}({\tau}_{k}){[{D}_{n}^{(m)}{\mathbf{x}}_{n}]}_{{\tau}_{k}}{h}_{m}(t,{\tau}_{k})T\rho {\overline{l}}_{k}$$

$$T\rho {\overline{l}}_{k}={(-1)}^{\kappa}\frac{{\displaystyle {\sigma}_{n+1}{\beta}_{n+1-\kappa}{\psi}_{n+1-\kappa}({\tau}_{k})}}{{\displaystyle {\zeta}_{n+1-\kappa}{\alpha}_{n+1}{b}_{m}({\tau}_{k}){\varphi}_{n+1}^{\prime}({\tau}_{k})}}$$

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, ${\xi}_{0}$, in the initial conditions (2), we will obtain the system of linear algebraic equations:
of the quadrature-differences method.

$$\sum _{k=0}^{n}{\rho}^{-1}({\tau}_{k}){[{D}_{n}^{(m)}{\mathbf{x}}_{n}]}_{{\tau}_{k}}(U\rho {\overline{l}}_{k})({t}_{i})+\sum _{\nu =0}^{m-1}({a}_{\nu}({t}_{i}){[{D}_{n}^{(\nu )}{\mathbf{x}}_{n}]}_{{t}_{i}}+$$

$$+{b}_{\nu}({t}_{i})\sum _{j=0}^{n-\kappa}{[{D}_{n}^{(\nu )}{\mathbf{x}}_{n}]}_{{t}_{j}}({\mathit{Sl}}_{j})({t}_{i})+\sum _{j=0}^{n-\kappa}{[{D}_{n}^{(\nu )}{\mathbf{x}}_{n}]}_{{t}_{j}}{h}_{\nu}({t}_{i},{t}_{j}){\mathit{Tl}}_{j})+$$

$$+\sum _{k=0}^{n}{\rho}^{-1}({\tau}_{k}){[{D}_{n}^{(m)}{\mathbf{x}}_{n}]}_{{\tau}_{k}}{h}_{m}({t}_{i},{\tau}_{k})T\rho {\overline{l}}_{k}=f({t}_{i}),\phantom{\rule{1.em}{0ex}}i=0,1,...,n-\kappa $$

$${[{D}_{n}^{(\nu )}{\mathbf{x}}_{n}]}_{{\xi}_{0}}=0,\phantom{\rule{1.em}{0ex}}\nu =0,1,...,m-1$$

## 4. Justification

Let us denote by ${W}_{2,\rho}^{m}\phantom{\rule{4pt}{0ex}}({W}_{2,\rho}^{0}={L}_{2,\rho})$ the set of functions that have on $[-1,1]$ absolutely continuous $(m-1)$-order derivatives and quadratically integrable with the weight-function $\rho (\tau )$ m-order derivatives. Then, let us define the following spaces, $X,{X}_{n};\phantom{\rule{4pt}{0ex}}Y,{Y}_{n};\phantom{\rule{4pt}{0ex}}Z,{Z}_{n-\kappa}$:
with the norms:
${X}_{n}=\{{\mathbf{x}}_{n}\}$ - the set of $n+m+1$-components vectors of the form (8) satisfying the conditions
${Y}_{n}=\{{\mathbf{y}}_{n}\}$ - the set of $n+1$-components vectors, ${Z}_{n-\kappa}=\{{\mathbf{z}}_{n-\kappa}\}$, the set of $n+1-\kappa $-components vectors with the norms:
where operator ${\overline{D}}_{n}^{(m)}:{X}_{n}\to {Y}_{n}$ 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:

$$X=\{x\in {W}_{2,{\rho}^{-1}}^{m}\mid {x}^{(\nu )}({\xi}_{0})=0,\phantom{\rule{4pt}{0ex}}\nu =0,1,...,m-1\},\phantom{\rule{4pt}{0ex}}Y={L}_{2,{\rho}^{-1}},\phantom{\rule{4pt}{0ex}}Z={L}_{2,\overline{\rho}}$$

$${\parallel x\parallel}_{X}={\left\{{\int}_{-1}^{1}{\rho}^{-1}(\tau )\mid {x}^{(m)}(\tau ){\mid}^{2}d\tau \right\}}^{1/2},\phantom{\rule{4pt}{0ex}}x\in X$$

$${\parallel y\parallel}_{Y}={\left\{{\int}_{-1}^{1}{\rho}^{-1}(\tau )\mid y(\tau ){\mid}^{2}d\tau \right\}}^{1/2},\phantom{\rule{4pt}{0ex}}y\in Y$$

$${\parallel z\parallel}_{Z}={\left\{{\int}_{-1}^{1}\overline{\rho}(\tau )\mid z(\tau ){\mid}^{2}d\tau \right\}}^{1/2},\phantom{\rule{4pt}{0ex}}z\in Z$$

$${[{D}_{n}^{(\nu )}{\mathbf{x}}_{n}]}_{{\xi}_{0}}=0,\phantom{\rule{1.em}{0ex}}\nu =0,1,...,m-1$$

$$\parallel {\mathbf{x}}_{n}{\parallel}_{{X}_{n}}={\left\{{\int}_{-1}^{1}\rho (\tau )\mid \phantom{\rule{4pt}{0ex}}({P}_{n}{\rho}^{-1}{\overline{D}}_{n}^{(m)}{\mathbf{x}}_{n})(\tau ){\mid}^{2}d\tau \right\}}^{1/2},\phantom{\rule{4pt}{0ex}}{\mathbf{x}}_{n}\in {X}_{n}$$

$$\parallel {\mathbf{y}}_{n}{\parallel}_{{Y}_{n}}={\left\{{\int}_{-1}^{1}\rho (\tau )\mid \phantom{\rule{4pt}{0ex}}({P}_{n}{\rho}^{-1}{\mathbf{y}}_{n})(\tau ){\mid}^{2}d\tau \right\}}^{1/2},\phantom{\rule{4pt}{0ex}}{\mathbf{y}}_{n}\in {Y}_{n}$$

$$\parallel {\mathbf{z}}_{n-\kappa}{\parallel}_{{Z}_{n-\kappa}}={\left\{{\int}_{-1}^{1}\overline{\rho}(\tau )\mid ({Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa})(\tau ){\mid}^{2}d\tau \right\}}^{1/2},\phantom{\rule{4pt}{0ex}}{\mathbf{z}}_{n-\kappa}\in {Z}_{n-\kappa}$$

$${\overline{D}}_{n}^{(0)}{\mathbf{x}}_{n}={\mathbf{x}}_{n},\phantom{\rule{4pt}{0ex}}{\overline{D}}_{n}{\mathbf{x}}_{n}={\overline{D}}_{n}^{(1)}{\mathbf{x}}_{n},\phantom{\rule{4pt}{0ex}}{[{\overline{D}}_{n}^{(1)}{\mathbf{x}}_{n}]}_{{\tau}_{k}}=\frac{{\displaystyle {\mathbf{x}}_{k}-{\mathbf{x}}_{k-1}}}{{\displaystyle {\tau}_{k}-{\tau}_{k-1}}},\phantom{\rule{1.em}{0ex}}k=0,1,...,n$$

$${[{\overline{D}}_{n}^{(\nu )}{\mathbf{x}}_{n}]}_{{\tau}_{k}}=\left\{\begin{array}{c}{[{\overline{D}}_{n}{\overline{D}}_{n}^{(\nu -1)}{\mathbf{x}}_{n}]}_{{\tau}_{k+1}},\phantom{\rule{4pt}{0ex}}k=-{m}_{1}+\frac{\nu}{2},...,n+{m}_{2}-\frac{\nu}{2},\phantom{\rule{4pt}{0ex}}\nu \phantom{\rule{4pt}{0ex}}-\mathrm{even}\hfill \\ \\ {\overline{D}}_{n}{\overline{D}}_{n}^{(\nu -1)}{\mathbf{x}}_{n}{]}_{{\tau}_{k}},\phantom{\rule{4pt}{0ex}}k=-{m}_{1}+\frac{\nu +1}{2},...,n+{m}_{2}-\frac{\nu -1}{2},\phantom{\rule{4pt}{0ex}}\nu \phantom{\rule{4pt}{0ex}}-\mathrm{odd}\hfill \end{array}\right.$$

$$\nu =1,2,...,m.$$

$$({P}_{n}{\mathbf{y}}_{n})(\tau )=\sum _{k=0}^{n}{[{\mathbf{y}}_{n}]}_{{\tau}_{k}}{\overline{l}}_{k}(\tau ),\phantom{\rule{4pt}{0ex}}{\overline{l}}_{k}(\tau )=\frac{{\varphi}_{n+1}(\tau )}{(\tau -{\tau}_{k}){\varphi}_{n+1}^{\prime}({\tau}_{k})},\phantom{\rule{1.em}{0ex}}k=0,1,...,n$$

$$({Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa})(t)=\sum _{j=0}^{n-\kappa}{[{\mathbf{z}}_{n-\kappa}]}_{{t}_{j}}{l}_{j}(t),\phantom{\rule{4pt}{0ex}}{l}_{j}(t)=\frac{{\psi}_{n+1-\kappa}(t)}{(t-{t}_{j}){\psi}_{n+1-\kappa}^{\prime}({t}_{j})},\phantom{\rule{1.em}{0ex}}j=0,1,...,n-\kappa $$

$${p}_{n}^{m}:\phantom{\rule{4pt}{0ex}}X\to {X}_{n},\phantom{\rule{4pt}{0ex}}{p}_{n}^{m}x=(x({\tau}_{-{m}_{1}}),x({\tau}_{-{m}_{1}+1}),...,x({\tau}_{n+{m}_{2}}))$$

$${p}_{n}:\phantom{\rule{4pt}{0ex}}Y\to {Y}_{n},\phantom{\rule{4pt}{0ex}}{p}_{n}y=(y({\tau}_{0}),y({\tau}_{1}),...,y({\tau}_{n}))$$

$${q}_{n-\kappa}:\phantom{\rule{4pt}{0ex}}Z\to {Z}_{n-\kappa},\phantom{\rule{4pt}{0ex}}{q}_{n-\kappa}z=(z({t}_{0}),z({t}_{1}),...,z({t}_{n-\kappa}))$$

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 ${H}_{\mu}$ or ${L}_{2,\overline{\rho}}$, then the m-order derivative of the solution of the problems, (1) and (2), has the form ${x}^{*(m)}(t)=\rho (t)\omega (t)$, where $\omega (t)\in {H}_{\mu}$ or $\omega (t)\in {L}_{2,\rho}$ correspondently, i.e., ${x}^{*}(t)\in {W}_{2,{\rho}^{-1}}^{m}$. Thus, we will consider the problems, (1) and (2), as operator equation:
where:
Here, as is shown in [6,7,9,11], $K:X\to Z$ is a linear bounded operator, $V:X\to Z$ is a compact operator and $U:Y\to Z$ is continuously invertible.

$$Kx\equiv U{D}^{(m)}x+Vx=f,\phantom{\rule{4pt}{0ex}}K:X\to Z$$

$$Uy={a}_{m}y+{b}_{m}Sy,\phantom{\rule{4pt}{0ex}}U:Y\to Z,\phantom{\rule{1.em}{0ex}}Vx=\sum _{\nu =0}^{m}{A}_{\nu}{D}^{(\nu )}x,\phantom{\rule{4pt}{0ex}}V:X\to Z$$

$${A}_{\nu}{D}^{(\nu )}x={a}_{\nu}{D}^{(\nu )}x+{b}_{\nu}S{D}^{(\nu )}x+T{h}_{\nu}{D}^{(\nu )}x,\phantom{\rule{1.em}{0ex}}\nu =0,1,...,m-1$$

$${A}_{m}{D}^{(m)}x=T{h}_{m}{D}^{(m)}x,\phantom{\rule{4pt}{0ex}}{D}^{(\nu )}x={x}^{(\nu )},\phantom{\rule{1.em}{0ex}}\nu =0,1,...,m-1$$

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, $U:Y\to Z$:
where $G:Y\to X$ is the inverse to the operator:
Equation (16) will take the form:
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).

$${D}^{(m)}x+\eta \rho x=0,\phantom{\rule{4pt}{0ex}}{x}^{(\nu )}({\xi}_{0})=0,\phantom{\rule{4pt}{0ex}}\nu =0,1,...,m-1$$

$$z=U({D}^{(m)}x+\eta \rho x)$$

$$x=G{U}^{-1}z,\phantom{\rule{1.em}{0ex}}{D}^{(m)}x={U}^{-1}z-\eta \rho G{U}^{-1}z$$

$$Fx={D}^{(m)}x+\eta \rho x,\phantom{\rule{1.em}{0ex}}F:X\to Y$$

$$Bz\equiv z+VG{U}^{-1}z-\eta U\rho G{U}^{-1}z=f,\phantom{\rule{4pt}{0ex}}B:Z\to Z$$

Now, let us rewrite the system of Equations (14) and (15) as an operator equation:
where:
and make a substitution:
where:
The operator, ${U}_{n-\kappa}:{Y}_{n}\to {Z}_{n-\kappa}$, is invertible explicitly for all n, beginning from some ${n}_{1},\phantom{\rule{4pt}{0ex}}{n}_{1}\ge max\{{n}_{0},\kappa \}$ (see, [6]) and:
where ${G}_{n}:\phantom{\rule{4pt}{0ex}}{Y}_{n}\to {X}_{n}$ is the inverse to ${F}_{n}$. The invertibility of ${F}_{n}$ for all n beginning from some ${n}_{2},\phantom{\rule{4pt}{0ex}}{n}_{2}\ge {n}_{1}$ follows from Conditions (B.1), (B.2) of Theorem 1 and the choice of η (see [8]). Moreover, for any $y(t)=\rho (t)\omega (t),\phantom{\rule{4pt}{0ex}}\omega (t)\in {H}_{\mu}$,
Therefore, by the substitution (21), we will get an equation:
which is equivalent to Equation (20).

$${K}_{n-\kappa}{\mathbf{x}}_{n}\equiv {U}_{n-\kappa}{D}_{n}^{(m)}{\mathbf{x}}_{n}+{V}_{n-\kappa}{\mathbf{x}}_{n}={\mathbf{f}}_{n-\kappa},\phantom{\rule{1.em}{0ex}}{K}_{n-\kappa}:{X}_{n}\to {Z}_{n-\kappa}$$

$${U}_{n-\kappa}{\mathbf{y}}_{n}={q}_{n-\kappa}U\rho {P}_{n}{\rho}^{-1}{\mathbf{y}}_{n},\phantom{\rule{1.em}{0ex}}{U}_{n-\kappa}:{Y}_{n}\to {Z}_{n-\kappa}$$

$${V}_{n-\kappa}{\mathbf{x}}_{n}={q}_{n-\kappa}\sum _{\nu =0}^{m}{A}_{\nu n}{D}_{n}^{(\nu )}{\mathbf{x}}_{n},\phantom{\rule{1.em}{0ex}}{V}_{n-\kappa}:{X}_{n}\to {Z}_{n-\kappa}$$

$${A}_{\nu n}{D}_{n}^{(\nu )}{\mathbf{x}}_{n}={a}_{\nu}{Q}_{n-\kappa}{D}_{n}^{(\nu )}{\mathbf{x}}_{n}+{b}_{\nu}{\mathit{SQ}}_{n-\kappa}{D}_{n}^{(\nu )}{\mathbf{x}}_{n}+{\mathit{TQ}}_{n-\kappa}{h}_{\nu}{D}_{n}^{(\nu )}{\mathbf{x}}_{n},\phantom{\rule{1.em}{0ex}}\nu =0,1,...,m-1$$

$${A}_{mn}{D}_{n}^{(m)}{\mathbf{x}}_{n}=T\rho {P}_{n}{\rho}^{-1}{h}_{m}{D}_{n}^{(m)}{\mathbf{x}}_{n},\phantom{\rule{4pt}{0ex}}{\mathbf{f}}_{n-\kappa}={q}_{n-\kappa}f$$

$${\mathbf{z}}_{n-\kappa}={U}_{n-\kappa}{F}_{n}{\mathbf{x}}_{n}$$

$${[{F}_{n}{\mathbf{x}}_{n}]}_{{\tau}_{k}}={[{D}_{n}^{(m)}{\mathbf{x}}_{n}]}_{{\tau}_{k}}+\eta \rho ({\tau}_{k}){[{\mathbf{x}}_{n}]}_{{\tau}_{k}},\phantom{\rule{4pt}{0ex}}k=0,1,...,n,\phantom{\rule{1.em}{0ex}}{F}_{n}:{X}_{n}\to {Y}_{n}$$

$${\mathbf{x}}_{n}={G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa},\phantom{\rule{1.em}{0ex}}{D}_{n}^{(m)}{\mathbf{x}}_{n}={U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}-\eta \rho {G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}$$

$$\parallel {p}_{n}^{m}Gy-{G}_{n}{p}_{n}{y\parallel}_{{X}_{n}}\le C\phantom{\rule{4pt}{0ex}}{\epsilon}_{n}(Gy)$$

$${B}_{n-\kappa}{\mathbf{z}}_{n-\kappa}\equiv {\mathbf{z}}_{n-\kappa}+{V}_{n-\kappa}{G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}-\eta {U}_{n-\kappa}\rho {G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}={f}_{n-\kappa}$$

$${B}_{n-\kappa}:{Z}_{n-\kappa}\to {Z}_{n-\kappa}$$

Now, to prove the unique solvability of Equation (23), we have to establish, according to Theorem 6.1 [8], the following:

(a) $\parallel {Q}_{n-\kappa}{f}_{n-\kappa}{-f\parallel}_{Z}\to 0$ for $n\to \infty $;

(b) the sequence of operators $({B}_{n-\kappa})$ approximates operator B compactly;

(c) $B:Z\to Z$ is invertible.

The validity of (a) follows immediately from the estimations [12]:
where ${E}_{n-\kappa}(f)$ is the best uniform approximation of the function, $f(t)$, by the polynomials of order not higher than $n-\kappa $ on $[-1,1]$.

$$\parallel {Q}_{n-\kappa}{\mathbf{f}}_{n-\kappa}{-f\parallel}_{Z}\le {\mathrm{CE}}_{n-\kappa}(f)$$

$${E}_{n-\kappa}(f)\le C{(n-\kappa )}^{-\mu},\phantom{\rule{1.em}{0ex}}f(t)\in {H}_{\mu},\phantom{\rule{1.em}{0ex}}n>\kappa $$

To check (b), we will show first that the sequence $({B}_{n-\kappa})$ approximates the operator, B, with respect to ${Q}_{n-\kappa}$. For arbitrary ${\mathbf{z}}_{n-\kappa}\in {Z}_{n-\kappa}$, we will write:
and estimate each summand of the right-hand side independently.

$$\parallel {Q}_{n-\kappa}{B}_{n-\kappa}{\mathbf{z}}_{n-\kappa}-{\mathit{BQ}}_{n-\kappa}{\mathbf{z}}_{n-\kappa}{\parallel}_{Z}\le \parallel {Q}_{n-\kappa}{V}_{n-\kappa}{G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}-$$

$$-VG{U}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa}{\parallel}_{Z}+\mid \eta \mid {\parallel {Q}_{n-\kappa}{U}_{n-\kappa}\rho {G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}-U\rho {\mathit{GU}}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa}\parallel}_{Z}$$

To estimate the first summand, we will use the partial uniform best approximation, ${E}_{n}^{\tau}(h)$ $({E}_{n}^{t}(h))$, of the function, $h(t,\tau )$, by the variable, $\tau \phantom{\rule{4pt}{0ex}}(t)$:
Here, inside the norm symbol, we take first the best approximation by the variable, $\tau \phantom{\rule{4pt}{0ex}}(t)$, and then take the norm by the other variable. Using the boundedness of the operator, $S:Z\to Z$ [11], the equivalence:
and Estimations (24) and (22), we will obtain:

$${E}_{n}^{\tau}(h)=\parallel {E}_{n}{(h)\parallel}_{Z},\phantom{\rule{4pt}{0ex}}({E}_{n}^{t}(h)=\parallel {E}_{n}(h){\parallel}_{Z})$$

$${U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}={p}_{n}{U}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa}$$

$$\parallel {Q}_{n-\kappa}{V}_{n-\kappa}{G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}-{\mathit{VGU}}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa}{\parallel}_{Z}\le $$

$$\le C({\epsilon}_{n}(G{U}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa})+{E}_{n}^{\tau}({\rho}^{-1}{h}_{m}{D}^{(m)}{\mathit{GU}}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa})+{E}_{n-\kappa}^{t}({h}_{m})+$$

$$+\sum _{\nu =0}^{m-1}({E}_{n-\kappa}({a}_{\nu}{D}^{(\nu )}G{U}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa})+{E}_{n-\kappa}({b}_{\nu}{\mathit{SQ}}_{n-\kappa}{D}_{n}^{(\nu )}{G}_{n}{p}_{n}{U}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa})+$$

$$+{E}_{n-\kappa}({D}^{(\nu )}G{U}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa})+{E}_{n-\kappa}^{\tau}({h}_{\nu}{D}^{(\nu )}{\mathit{GU}}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa})+{E}_{n-\kappa}^{t}({h}_{\nu})))$$

For the second summand, using once more Equations (27), (22) and (24), and the boundedness of the operator, $U:Y\to Z$, we will have:

$$\mid \eta \mid \parallel {Q}_{n-\kappa}{U}_{n-\kappa}\rho {G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}-U\rho {\mathit{GU}}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa}{\parallel}_{Z}\le $$

$$\le C({\epsilon}_{n}(G{U}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa})+{E}_{n}({\mathit{GU}}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa}))$$

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 $({B}_{n-\kappa})$ with respect to ${Q}_{n-\kappa}$.

$$\parallel {Q}_{n-\kappa}{B}_{n-\kappa}{\mathbf{z}}_{n-\kappa}-{\mathit{BQ}}_{n-\kappa}{\mathbf{z}}_{n-\kappa}{\parallel}_{Z}\le $$

$$\le C({\epsilon}_{n}(G{U}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa})+{(n-\kappa )}^{-\gamma}),\phantom{\rule{4pt}{0ex}}\gamma =min\{\mu ,1+{\gamma}_{1},1+{\gamma}_{2}\}$$

Let us assume, now, that the sequence $({\mathbf{z}}_{n-\kappa}),\phantom{\rule{4pt}{0ex}}{\mathbf{z}}_{n-\kappa}\in {Z}_{n-\kappa}$, is bounded $\parallel {\mathbf{z}}_{n-\kappa}{\parallel}_{{Z}_{n-\kappa}}\le 1$. As the functions, ${Q}_{n-\kappa}{V}_{n-\kappa}{G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}$ and $\eta {Q}_{n-\kappa}{U}_{n-\kappa}\rho {G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}$, are polynomials and the derivatives of the functions, $VG{U}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa}$ and $\eta U\rho G{U}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa}$ are bounded in Z, then, according to the Riesz theorem [13], 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).

$${Q}_{n-\kappa}{B}_{n-\kappa}{\mathbf{z}}_{n-\kappa}-{\mathit{BQ}}_{n-\kappa}{\mathbf{z}}_{n-\kappa}={Q}_{n-\kappa}{V}_{n-\kappa}{G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}-$$

$$-\eta {Q}_{n-\kappa}{U}_{n-\kappa}\rho {G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}-{\mathit{VGU}}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa}+\eta U\rho {\mathit{GU}}^{-1}{Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa}$$

Therefore, according to Theorem 6.1 [8], for all n, beginning from some ${n}_{3},\phantom{\rule{4pt}{0ex}}{n}_{3}\ge {n}_{2}$, operators ${B}_{n-\kappa}:{Z}_{n-\kappa}\to {Z}_{n-\kappa}$ and, thus, operators ${K}_{n-\kappa}:{X}_{n}\to {Z}_{n-\kappa}$ are invertible, and their inverses are bounded collectively; and, the approximate solutions ${\mathbf{x}}_{n}^{*}={G}_{n}{U}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}^{*}$ of the system of Equations (14) and (15) converge to the exact solution ${x}^{*}=G{U}^{-1}{z}^{*}$ of Problems (1) and (2) with a rate:
Using once more the boundedness of the operators, $U:Y\to Z,\phantom{\rule{4pt}{0ex}}S:Z\to Z$, 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 ${n}_{3}$), ${(n-\kappa )}^{-\gamma}\le C{n}^{-\gamma}$, we will obtain the requested estimation:

$$\parallel {\mathbf{x}}_{n}^{*}-{p}_{n}^{m}{\mathbf{x}}^{*}{\parallel}_{{X}_{n}}\le C{\parallel {q}_{n-\kappa}{\mathit{Kx}}^{*}-{K}_{n-\kappa}{p}_{n}^{m}{\mathbf{x}}^{*}\parallel}_{{Z}_{n-\kappa}}\le $$

$$\le C(\parallel {q}_{n-\kappa}U{D}^{(m)}{x}^{*}-{U}_{n-\kappa}{D}_{n}^{(m)}{p}_{n}^{m}{x}^{*}{\parallel}_{{Z}_{n-\kappa}}+\sum _{\nu =0}^{m-1}(\parallel {q}_{n-\kappa}({a}_{\nu}{D}^{(\nu )}{x}^{*}-{a}_{\nu}{Q}_{n-\kappa}{D}_{n}^{(\nu )}{p}_{n}^{m}{x}^{*}){\parallel}_{{Z}_{n-\kappa}}+$$

$$+\parallel {q}_{n-\kappa}({b}_{\nu}S{D}^{(\nu )}{x}^{*}-{b}_{\nu}S{Q}_{n-\kappa}{D}_{n}^{(\nu )}{p}_{n}^{m}{x}^{*}){\parallel}_{{Z}_{n-\kappa}}+\parallel {q}_{n-\kappa}(T{h}_{\nu}{D}^{(\nu )}{x}^{*}-T{Q}_{n-\kappa}{h}_{\nu}{D}_{n}^{(\nu )}{p}_{n}^{m}{x}^{*}){\parallel}_{{Z}_{n-\kappa}})+$$

$$+\parallel {q}_{n-\kappa}(T{h}_{m}{D}^{(m)}{x}^{*}-T\rho {P}_{n}{\rho}^{-1}{h}_{m}{D}_{n}^{(m)}{p}_{n}^{m}{x}^{*}){\parallel}_{{Z}_{n-\kappa}})$$

$$\parallel {q}_{n-\kappa}U{D}^{(m)}{x}^{*}-{U}_{n-\kappa}{D}_{n}^{(m)}{p}_{n}^{m}{x}^{*}{\parallel}_{{Z}_{n-\kappa}}\le C({E}_{n-\kappa}(U{D}^{(m)}{x}^{*})+{E}_{n}({\rho}^{-1}{D}^{(m)}{x}^{*})+{\epsilon}_{n}({x}^{*})),$$

$$\parallel {q}_{n-\kappa}({a}_{\nu}{D}^{(\nu )}{x}^{*}-{a}_{\nu}{Q}_{n-\kappa}{D}_{n}^{(\nu )}{p}_{n}^{m}{x}^{*}){\parallel}_{{Z}_{n-\kappa}}\le C{\epsilon}_{n}({x}^{*})$$

$$\parallel {q}_{n-\kappa}({b}_{\nu}S{D}^{(\nu )}{x}^{*}-{b}_{\nu}S{Q}_{n-\kappa}{D}_{n}^{(\nu )}{p}_{n}^{m}{x}^{*}){\parallel}_{{Z}_{n-\kappa}}\le C({E}_{n-\kappa}({b}_{\nu}S{D}^{(\nu )}{x}^{*})+{E}_{n-\kappa}({D}^{(\nu )}{x}^{*})+$$

$$+{\epsilon}_{n}({x}^{*})+{E}_{n-\kappa}({b}_{\nu}S{Q}_{n-\kappa}{D}_{n}^{(\nu )}{p}_{n}^{m}{x}^{*}))$$

$$\parallel {q}_{n-\kappa}(T{h}_{\nu}{D}^{(\nu )}{x}^{*}-T{Q}_{n-\kappa}{h}_{\nu}{D}_{n}^{(\nu )}{p}_{n}^{m}{x}^{*}){\parallel}_{{Z}_{n-\kappa}}\le C({E}_{n-\kappa}^{t}({h}_{\nu})+$$

$$+{E}_{n-\kappa}^{\tau}({h}_{\nu})+{\epsilon}_{n}({x}^{*})),\phantom{\rule{1.em}{0ex}}\nu =0,1,...m-1$$

$$\parallel {q}_{n-\kappa}(T{h}_{m}{D}^{(m)}{x}^{*}-T\rho {P}_{n}{\rho}^{-1}{h}_{m}{D}_{n}^{(m)}{p}_{n}^{m}{x}^{*}){\parallel}_{{Z}_{n-\kappa}}\le C({E}_{n-\kappa}^{t}({h}_{m})+{E}_{n}^{\tau}({\rho}^{-1}{h}_{m}{D}^{(m)}{x}^{*})+{\epsilon}_{n}({x}^{*}))$$

$$\parallel {\mathbf{x}}_{n}^{*}-{p}_{n}^{m}{x}^{*}{\parallel}_{{X}_{n}}\le C({n}^{-\gamma}+{\epsilon}_{n}({x}^{*})),\phantom{\rule{4pt}{0ex}}\gamma =min\{\mu ,1+{\gamma}_{1},1+{\gamma}_{2}\}$$

## 5. Equations of Non-Zero Indices

It is known [7] that for the unique solvability of Problems (1) and (2), in the case when $\kappa >0$, 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 $\kappa =0$ case, except the definitions of the spaces, X and ${X}_{n}$, where Conditions (29) and (30) should be added.

$${\int}_{-1}^{1}{\tau}^{j}{x}^{(m)}(\tau )d\tau =0,\phantom{\rule{1.em}{0ex}}j=0,1,...,\kappa -1$$

$$\sum _{k=0}^{n}{\rho}^{-1}({\tau}_{k}){[{D}_{n}^{(m)}{\mathbf{x}}_{n}]}_{{\tau}_{k}}{\int}_{-1}^{1}{\tau}^{j}\rho (\tau ){\overline{l}}_{k}(\tau )d\tau =0,\phantom{\rule{1.em}{0ex}}j=0,1,...,\kappa -1$$

**Theorem 1.**

Let for $\kappa >0$ Problems (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 solutions ${\mathbf{x}}_{n}^{*}$ converge to the exact solution, ${x}^{*}(\tau )\in X$, of Problems (1), (2), (29) with the error estimation:

$$\parallel {\mathbf{x}}_{n}^{*}-{p}_{n}^{m}{x}^{*}{\parallel}_{{X}_{n}}\le C({n}^{-\gamma}+{\epsilon}_{n}({x}^{*}))$$

The case, when $\kappa <0$, is more complicated, because the operator $U:Y\to Z$, and therefore, the operator, $K:X\to Z$, 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 $n+m+1$ unknown variables, but consist of $n+m+1-\kappa $ 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 [14] 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 ${\chi}_{j},\phantom{\rule{4pt}{0ex}}j=1,...,-\kappa $, which ought to be determined. Equations (1) and (31) are closely connected. Indeed, if ${x}^{*}(\tau )$ is the solution of Problems (1) and (2), then the couple $({x}^{*},w),\phantom{\rule{4pt}{0ex}}w(t)\equiv 0$ 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, $f(t)\in Z$, because to satisfy the conditions of solvability (see [7,9]), one needs to find out only the coefficients: ${\chi}_{j},\phantom{\rule{1.em}{0ex}}j=1,...,-\kappa $ of the polynomial, $w(t)$, satisfying the equations:
and thus, the proof of Theorem 1 will be valid also for this case.

$$U{D}^{(m)}x+Vx+w=f$$

$$w(t)=\sum _{j=1}^{-\kappa}{\chi}_{j}{t}^{j-1}$$

$${\int}_{-1}^{1}\overline{\rho}(t){t}^{j-1}(f(t)-(Vx)(t)-w(t))dt=0,\phantom{\rule{1.em}{0ex}}j=1,...,-\kappa $$

The system of Equations (14) and (15) also should be slightly changed. We will add the summands, ${w}_{n}({t}_{j}),\phantom{\rule{4pt}{0ex}}j=0,1,...,n-\kappa $: 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 $n+m+1-\kappa $, so it is equal to the number of equations. These changes now allow us to use the proof, like the one of Theorem 1.

$${w}_{n}(t)=\sum _{j=1}^{-\kappa}{\chi}_{jn}{t}^{j-1}$$

$${U}_{n-\kappa}{D}_{n}^{(m)}{\mathbf{x}}_{n}+{V}_{n-\kappa}{\mathbf{x}}_{n}+{\mathbf{w}}_{n-\kappa}={\mathbf{f}}_{n-\kappa},\phantom{\rule{1.em}{0ex}}{\mathbf{w}}_{n-\kappa}=({w}_{n}({t}_{0}),...,{w}_{n}({t}_{n-\kappa}))$$

**Theorem 2.**

Let, for $\kappa <0$, 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, ${x}^{*}(t)$. Then, for n, large enough, the system of Equation (32) is uniquely solvable, and the approximate solutions: ${\overline{\mathbf{x}}}_{n}^{*}=({\mathbf{x}}_{n}^{*},{\chi}_{1n}^{*},...,{\chi}_{-\kappa n}^{*})$ converge to the exact solution ${\overline{x}}^{*}=({x}^{*},0)$ of Equation (31) with the error estimation:

$$\parallel {\overline{\mathbf{x}}}_{n}^{*}-{\overline{p}}_{n}^{m}{\overline{x}}^{*}{\parallel}_{{\overline{X}}_{n}}={\parallel {\mathbf{x}}_{n}^{*}-{p}_{n}^{m}{x}^{*}\parallel}_{{X}_{n}}+\underset{1\le j\le -\kappa}{max}\mid {\chi}_{jn}\mid \le C({n}^{-\gamma}+{\epsilon}_{n}({x}^{*}))$$

$${\overline{p}}_{n}^{m}{\overline{x}}^{*}=({p}_{n}^{m}{x}^{*},{\chi}_{1}^{*},...,{\chi}_{-\kappa}^{*}),\phantom{\rule{4pt}{0ex}}{\overline{X}}_{n}={X}_{n}\times {R}_{-\kappa},\phantom{\rule{4pt}{0ex}}\parallel {\overline{\mathbf{x}}}_{n}{\parallel}_{{\overline{X}}_{n}}={\parallel {\mathbf{x}}_{n}\parallel}_{{X}_{n}}+\underset{1\le j\le -\kappa}{max}\mid {\chi}_{\mathbf{jn}}\mid $$

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.

Proof of Theorem 3.

Let us rewrite Equation (31) in operator form:
where:
The operator, $\overline{U}$, is invertible and:
where $w(t)$ is a polynomial, the coefficients of which can be found from the equations:
Thus, the substitution:
allows us to reduce Equation (33) to the equivalent equation:

$$\overline{K}\overline{x}\equiv \overline{U}({D}^{(m)}x,w)+Vx=f,\phantom{\rule{4pt}{0ex}}\overline{K}:\overline{X}\to Z$$

$$\overline{X}=\{\overline{x}\mid \overline{x}=(x,w),x\in X\},\phantom{\rule{4pt}{0ex}}\parallel \overline{x}{\parallel}_{\overline{X}}={\parallel x\parallel}_{X}+\underset{1\le j\le -\kappa}{max}\mid {\chi}_{j}\mid $$

$$\overline{Y}=\{\overline{y}\mid \overline{y}=(y,w),y\in Y\},\phantom{\rule{4pt}{0ex}}\parallel \overline{y}{\parallel}_{\overline{Y}}={\parallel y\parallel}_{Y}+\underset{1\le j\le -\kappa}{max}\mid {\chi}_{j}\mid $$

$$\overline{U}(y,w)=Uy+w,\phantom{\rule{4pt}{0ex}}\overline{U}:\overline{Y}\to Z$$

$${\overline{U}}^{-1}z=({U}^{-1}(z-w),w)$$

$${\int}_{-1}^{1}\overline{\rho}(t){t}^{j-1}(z(t)-w(t))dt=0,\phantom{\rule{4pt}{0ex}}j=1,...,-\kappa $$

$$z=\overline{U}({D}^{(m)}x+\eta \rho x,w)$$

$$\overline{B}z\equiv z+VG{\overline{U}}^{-1}z-\eta U\rho G{\overline{U}}^{-1}z=f,\phantom{\rule{4pt}{0ex}}\overline{B}:Z\to Z$$

Let us rewrite Equation (32) in the same way:
where:
with ${\mathbf{w}}_{n-\kappa}=({w}_{n}({t}_{0}),...,{w}_{n}({t}_{n-\kappa}))$—a vector of the values of the polynomial, ${w}_{n}(t)$, 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:

$${\overline{K}}_{n-\kappa}{\overline{\mathbf{x}}}_{n}\equiv {\overline{U}}_{n-\kappa}({D}_{n}^{(m)}{\mathbf{x}}_{n},{\mathbf{w}}_{n-\kappa})+{V}_{n-\kappa}{\mathbf{x}}_{n}={\mathbf{f}}_{n-\kappa},\phantom{\rule{4pt}{0ex}}{\overline{K}}_{n-\kappa}:{\overline{X}}_{n}\to {Z}_{n-\kappa}$$

$${\overline{X}}_{n}={X}_{n}\times {R}_{-\kappa},\phantom{\rule{4pt}{0ex}}\parallel {\overline{\mathbf{x}}}_{n}{\parallel}_{{\overline{X}}_{n}}={\parallel {\mathbf{x}}_{n}\parallel}_{{X}_{n}}+\underset{1\le j\le -\kappa}{max}\mid {\chi}_{\mathbf{jn}}\mid $$

$${\overline{Y}}_{n}={Y}_{n}\times {R}_{-\kappa},\phantom{\rule{4pt}{0ex}}\parallel {\overline{\mathbf{y}}}_{n}{\parallel}_{{\overline{Y}}_{n}}={\parallel {\mathbf{y}}_{n}\parallel}_{{Y}_{n}}+\underset{1\le j\le -\kappa}{max}\mid {\chi}_{\mathbf{jn}}\mid $$

$${\overline{U}}_{n-\kappa}({\mathbf{y}}_{n},{\mathbf{w}}_{n-\kappa})={U}_{n-\kappa}{\mathbf{y}}_{n}+{\mathbf{w}}_{n-\kappa},\phantom{\rule{1.em}{0ex}}{\overline{U}}_{n-\kappa}:{\overline{Y}}_{n}\to {Z}_{n-\kappa}$$

$${\int}_{-1}^{1}\overline{\rho}(t){t}^{j-1}(({Q}_{n-\kappa}{\mathbf{z}}_{n-\kappa})(t)-{w}_{n}(t))\mathrm{dt}=0,\phantom{\rule{1.em}{0ex}}j=1,...,-\kappa $$

$${\mathbf{z}}_{n-\kappa}={\overline{U}}_{n-\kappa}({D}_{n}^{(m)}{\mathbf{x}}_{n}+\eta \rho {\mathbf{x}}_{n},{\mathbf{w}}_{n-\kappa})$$

$${\overline{B}}_{n-\kappa}{\mathbf{z}}_{n-\kappa}\equiv {\mathbf{z}}_{n-\kappa}+{V}_{n-\kappa}{G}_{n}{\overline{U}}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}-\eta {U}_{n-\kappa}\rho {G}_{n}{\overline{U}}_{n-\kappa}^{-1}{\mathbf{z}}_{n-\kappa}={\mathbf{f}}_{n-\kappa},\phantom{\rule{4pt}{0ex}}{\overline{B}}_{n-\kappa}:{Z}_{n-\kappa}\to {Z}_{n-\kappa}$$

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 ${\mathbf{w}}_{n-\kappa}$ for the chosen ${\mathbf{z}}_{n-\kappa}$, according to Formula (37) and, then, follow the proof of Theorem 1, taking ${\mathbf{z}}_{n-\kappa}-{\mathbf{w}}_{n-\kappa}$ instead of ${\mathbf{z}}_{n-\kappa}$. The validity of Condition (c) follows from the invertibility of the operator, $\overline{K}$. 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 $\overline{K}$, we will find the couple $(x,w)$ 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. ☐

$$\parallel {\overline{\mathbf{x}}}_{n}^{*}-{\overline{p}}_{n}^{m}{\overline{x}}^{*}{\parallel}_{{\overline{X}}_{n}}=\parallel {\mathbf{x}}_{n}^{*}-{p}_{n}^{m}{x}^{*}{\parallel}_{{X}_{n}}+\underset{1\le j\le -\kappa}{max}\mid {\chi}_{jn}\mid \le C{\parallel {q}_{n-\kappa}\overline{K}{\overline{x}}^{*}-{\overline{K}}_{n-\kappa}{\overline{p}}_{n}^{m}{\overline{x}}^{*}\parallel}_{{Z}_{n-\kappa}}=$$

$$=C\parallel {q}_{n-\kappa}K{x}^{*}-{K}_{n-\kappa}{p}_{n}^{m}{x}^{*}{\parallel}_{{Z}_{n-\kappa}}\le C({n}^{-\gamma}+{\epsilon}_{n}({x}^{*}))$$

**Remark 1.**Theorems 1–3 might be extended to the case of the mostly general boundary conditions [8]:

$${u}_{\nu}(x)\equiv \sum _{i=0}^{m-1}{\int}_{-1}^{1}{x}^{(i)}(\tau )d{\zeta}_{i\nu}(\tau )=0,\phantom{\rule{1.em}{0ex}}\nu =0,1,...,m-1$$

$${u}_{\nu n}({\mathbf{x}}_{n})=0,\phantom{\rule{1.em}{0ex}}\nu =0,1,...,m-1$$

## Conflicts of Interest

The author declares no conflict of interest.

## References

- 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]
- Muskhelishvili, N.I. Singular Integral Equations; Noordhoff: Groningen, Holland, 1953. [Google Scholar]
- Vainikko, G.M. The Compact Approximation of the Operators and the Approximate Solution of the Equations; Tartu University Press: Tartu, Soviet Union, 1970. (in Russian) [Google Scholar]
- Gakhov, F.D. Boundary Value Problems; Pergamon Press: Oxford, UK, 1966. [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. Nauk
**1989**, 307, 1046–1050. (in Russian). [Google Scholar]

© 2014 by the author; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/).