# Retracted Article: Jacobi spectral solution for integral algebraic equations of index 1

- Jingjun Zhao
^{1}Email author and - Shiying Wang
^{1}

**2014**:156

https://doi.org/10.1186/1029-242X-2014-156

© Zhao and Wang; licensee Springer. 2014

**Received: **6 January 2014

**Accepted: **22 April 2014

**Published: **6 May 2014

## Abstract

This paper is concerned with obtaining the approximate solution of a class of semi-explicit integral algebraic equations (IAEs) of index 1. A Jacobi collocation method is proposed for the IAEs of index 1. A rigorous analysis of the error bound in weighted ${L}^{2}$-norm is also provided, which theoretically justifies the spectral rate of convergence while the kernels and the source functions are sufficiently smooth. The results of several numerical experiments are presented which support the theoretical results.

**MSC:**65R20, 45F15.

### Keywords

integral algebraic equations Jacobi collocation method system of Volterra equations index of IAEs error analysis## 1 Introduction

where ${K}_{ij}(\cdot ,\cdot )$, $i,j=1,2$ are ${d}_{i}\times {d}_{j}$ matrices, ${f}_{1}$, ${f}_{2}$ are given ${d}_{1}$, ${d}_{2}$ dimensional vector functions, and $(y(t),z(t))$ is a solution to be determined. Here, we assume that the data functions ${f}_{i}$, ${K}_{ij}$ ($i,j=1,2$) are sufficiently smooth such that ${f}_{2}(0)=0$ and $|det({K}_{22}(t,t))|\ge {k}_{0}>0$ for all $t\in I$. The existence and uniqueness results for the solution of the system (1.1) have been discussed in [1].

which has been introduced in [1], where $det(A(t))=0$, $Rank(A)\ge 1$. An initial investigation of these equations indicates that they have properties very similar to differential algebraic equations (DAEs). In analogy with the theory of DAEs (see, *e.g.*, [2]), Kauthen [3] in 2000 has called the system (1.1) the semi-explicit IAEs of index 1.

Coupled systems of integral algebraic equations (IAEs) consisting of the first and second kind Volterra integral equations (VIEs) arise in many mathematical modeling processes, *e.g.*, the controlled heat equation which represents a boundary reaction in diffusion of chemicals [4], the two dimensional biharmonic equation in a semi-infinite strip [5, 6], dynamic processes in chemical reactors [7], and the deformed Pohlmeyer equation [8]. Also a good source of information (including numerous additional references) on applications of IAEs system is the monograph by Brunner [1].

As far as we know, there have been a few works available in the literature which has considered the theory of IAEs system. The existence and uniqueness results of continuous solution to linear IAEs system have been investigated by Chistyakov [9]. Gear in [10] defined the index notion of IAEs system by considering the effect of perturbation of the equations on the solutions. He has also introduced the index reduction procedure for IAEs system in [10]. Bulatov and Chistyakov [11] gave the existence and uniqueness conditions of the solution for IAEs systems with convolution kernels and defined the index notion in analogy to Gear’s approach. Further details of their investigation may be found in [12, 13]. Kauthen in [3] analyzed the spline collocation method and its convergence properties for the semi-explicit IAEs system (1.1). Brunner [1] defined the index-1 tractability for the IAEs system (1.1) and he also investigated the existence of a unique solution for this type of systems. Recently, the authors in [4] have defined the index-2 tractability for a class of IAEs and presented the Jacobi collocation method including the matrix-vector multiplication representation of the equation and its convergence analysis. The authors in [14] proposed the Legendre collocation method for IAEs of index 1 and obtained the posteriori error estimation.

It is well known that the classical Jacobi polynomials have been used extensively in mathematical analysis and practical applications, and play an important role in the analysis and implementation of the spectral methods. The main purpose of this work is to use the Jacobi collocation method to numerically solve the IAEs (1.1). We will provide *a posteriori* error estimate in the weighted ${L}^{2}$-norm which theoretically justifies the spectral rate of convergence. To do so, we use some well-known results of the approximation theory from [15–17] including the Jacobi polynomials, the Gronwall inequality and the Lebesgue constant for the Lagrange interpolation polynomials.

This paper is organized as follows. In Section 2, we carry out the Jacobi collocation approach for the IAEs system (1.1). *A posteriori* error estimation of the method in the weighted ${L}^{2}$-norm as a main result of the paper is given in Section 3. Some numerical experiments are reported in Section 4 to verify the theoretical results obtained in Section 3. The final section contains conclusions and remarks.

## 2 The Jacobi collocation method

This section is devoted to applying the Jacobi collocation method to numerically solve the IAEs system (1.1). We first use some variable transformations to change the equation into a new system of integral equations defined on the standard interval $[-1,1]$, so that the Jacobi orthogonal polynomial theory can be applied conveniently. For simplicity, we will consider the IAEs system (1.1) with ${d}_{1}={d}_{2}=1$.

where the quadrature points ${\tau}_{l}$ are the Jacobi Gauss quadrature points, *i.e.*, the zeros of ${J}_{N+1}^{\alpha ,\beta}(x)$, the normalization constant ${\gamma}_{k}$ and the weights ${\omega}_{l}$ are given in [[18], p.231].

Now, the unknown coefficients ${\stackrel{\u02c6}{y}}_{k}$ and ${\stackrel{\u02c6}{z}}_{k}$, $k=0,1,\dots ,N$ are obtained by solving the linear system (2.8) and finally the approximate solutions ${\stackrel{\u02c6}{y}}_{N}(\eta )$ and ${\stackrel{\u02c6}{z}}_{N}(\eta )$ will be computed by substituting these coefficients into (2.5). Because the matrix of the coefficients of the linear system (2.8) is non-symmetric, when *N* is large, we can use some basic iterative methods to solve it, such as the generalized minimal residual (GMRES) method (see [[19], pp.48-60]), which is popular for solving non-symmetric linear systems.

## 3 Error estimation

In this section, we present *a posteriori* error estimate for the proposed scheme in the weighted ${L}^{2}$-norm. Firstly, we recall some preliminaries and useful lemmas from [15].

Let ${\mathrm{P}}_{N}$ be the space of all polynomials of degree not exceeding *N*, and $\mathrm{\Lambda}=(-1,1)$. From [15], the inverse inequality concerning differentiability of the algebraic polynomials on the interval can be expressed in terms of ${L}^{p}$-norm.

**Lemma 3.1** (see [15])

*Let*$\phi \in {\mathrm{P}}_{N}$,

*then for any integer*$r\ge 1$, $2\le p\le \mathrm{\infty}$,

*there exists a positive constant*

*C*

*independent of*

*N*

*such that*

**Lemma 3.2** (see [15])

*Let*$u\in {H}^{m}(\mathrm{\Lambda})$, ${I}_{N}u={\sum}_{k=0}^{N}{\stackrel{\u02c6}{u}}_{k}{J}_{k}$

*is the truncated orthogonal Jacobi series of*

*u*.

*The truncation error*$u-{I}_{N}u$

*can be estimated as follows*:

The following main theorem reveals the convergence results of the presented scheme in the weighted ${L}^{2}$-norm.

**Theorem 3.1**

*Consider the system of integral algebraic equation*(2.2)

*where*$\stackrel{\u02c6}{y},\stackrel{\u02c6}{z}\in {H}^{m}(\mathrm{\Lambda})$

*and the data functions*${\stackrel{\u02c6}{f}}_{i}$, ${\stackrel{\u02c6}{K}}_{ij}$, $i,j=1,2$,

*are sufficiently smooth and*$|{\stackrel{\u02c6}{K}}_{22}(\tau ,\tau )|\ge {k}_{0}>0$

*for all*$\tau \in \mathrm{\Lambda}$.

*Let*$({\stackrel{\u02c6}{y}}_{N},{\stackrel{\u02c6}{z}}_{N})$

*be the Jacobi collocation approximation of*$(\stackrel{\u02c6}{y},\stackrel{\u02c6}{z})$

*which is defined by*(2.5).

*Then the following estimates hold*:

*if* *N* *is sufficiently large*, *where* ${\mathrm{\Omega}}_{ij}={max}_{0\le n\le N}|{K}_{ij}({\tau}_{n},\eta ){|}_{{H}^{m,N}(\mathrm{\Lambda})}$ ($i,j=1,2$), $\gamma =max(\alpha ,\beta )$.

*Proof*Similar to the idea in [14], we let

*e.g.*, [[20], Lemma 3.4]) on (3.10), we have

Here $F={A}^{-1}B$.

Finally, combining the above estimates and (3.11), the desired error estimates (3.6) and (3.7) are obtained. □

## 4 Numerical experiments

In this section, we consider some numerical examples in order to illustrate the validity of the proposed Jacobi collocation method. These problems are solved using the Jacobi collocation method for $\alpha =1/2$, $\beta =1/3$. All the computations were performed using software *Matlab*®. To examine the accuracy of the results, ${L}_{{\omega}^{\alpha ,\beta}}^{2}(-1,1)$ errors are employed to verify the efficiency of the method. To find the numerical convergence order in the numerical examples, we assume that ${E}_{N}=C{(\frac{1}{N})}^{p}$, where ${E}_{N}$ denotes the ${L}_{{\omega}^{\alpha ,\beta}}^{2}(-1,1)$ errors between the numerical and exact solution of the system and *C* denotes some positive constant. Thus, the convergence order *p* can be computed by $p=\frac{{log}_{2}({E}_{N/2})}{{log}_{2}({E}_{N})}$.

**Example 4.1**Consider the following linear system of IAEs of index 1:

${\mathit{L}}_{{\mathit{\omega}}^{\mathit{\alpha}\mathbf{,}\mathit{\beta}}}^{\mathbf{2}}\mathbf{(}\mathbf{-}\mathbf{1}\mathbf{,}\mathbf{1}\mathbf{)}$
**errors for Example 4.1**

N | ${\mathbf{\parallel}{\stackrel{\u02c6}{\mathit{y}}}_{\mathit{N}}\mathbf{-}\stackrel{\u02c6}{\mathit{y}}\mathbf{\parallel}}_{{\mathit{L}}_{{\mathit{\omega}}^{\mathit{\alpha}\mathbf{,}\mathit{\beta}}}^{\mathbf{2}}\mathbf{(}\mathbf{-}\mathbf{1}\mathbf{,}\mathbf{1}\mathbf{)}}$ | ${\mathbf{\parallel}{\stackrel{\u02c6}{\mathit{z}}}_{\mathit{N}}\mathbf{-}\stackrel{\u02c6}{\mathit{z}}\mathbf{\parallel}}_{{\mathit{L}}_{{\mathit{\omega}}^{\mathit{\alpha}\mathbf{,}\mathit{\beta}}}^{\mathbf{2}}\mathbf{(}\mathbf{-}\mathbf{1}\mathbf{,}\mathbf{1}\mathbf{)}}$ |
---|---|---|

4 | 2.11 × 10 | 4.29 × 10 |

8 | 3.68 × 10 | 3.04 × 10 |

16 | 6.22 × 10 | 2.03 × 10 |

32 | 1.03 × 10 | 1.31 × 10 |

64 | 1.62 × 10 | 8.17 × 10 |

**Convergence orders for Example 4.1**

N | $\stackrel{\u02c6}{\mathit{y}}$ | $\stackrel{\u02c6}{\mathit{z}}$ |
---|---|---|

8 | 5.84 | 3.82 |

16 | 5.89 | 3.90 |

32 | 5.92 | 3.95 |

64 | 5.99 | 4.00 |

**Example 4.2**Consider the following linear system of IAEs of index 1:

${\mathit{L}}_{{\mathit{\omega}}^{\mathit{\alpha}\mathbf{,}\mathit{\beta}}}^{\mathbf{2}}\mathbf{(}\mathbf{-}\mathbf{1}\mathbf{,}\mathbf{1}\mathbf{)}$
**errors for Example 4.2**

N | ${\mathbf{\parallel}{\stackrel{\u02c6}{\mathit{y}}}_{\mathit{N}}\mathbf{-}\stackrel{\u02c6}{\mathit{y}}\mathbf{\parallel}}_{{\mathit{L}}_{{\mathit{\omega}}^{\mathit{\alpha}\mathbf{,}\mathit{\beta}}}^{\mathbf{2}}\mathbf{(}\mathbf{-}\mathbf{1}\mathbf{,}\mathbf{1}\mathbf{)}}$ | ${\mathbf{\parallel}{\stackrel{\u02c6}{\mathit{z}}}_{\mathit{N}}\mathbf{-}\stackrel{\u02c6}{\mathit{z}}\mathbf{\parallel}}_{{\mathit{L}}_{{\mathit{\omega}}^{\mathit{\alpha}\mathbf{,}\mathit{\beta}}}^{\mathbf{2}}\mathbf{(}\mathbf{-}\mathbf{1}\mathbf{,}\mathbf{1}\mathbf{)}}$ |
---|---|---|

4 | 2.31 × 10 | 5.29 × 10 |

8 | 8.17 × 10 | 6.70 × 10 |

16 | 2.68 × 10 | 8.46 × 10 |

32 | 8.51 × 10 | 1.01 × 10 |

64 | 2.66 × 10 | 1.25 × 10 |

**Convergence orders for Example 4.2**

N | $\stackrel{\u02c6}{\mathit{y}}$ | $\stackrel{\u02c6}{\mathit{z}}$ |
---|---|---|

8 | 4.82 | 2.98 |

16 | 4.93 | 2.99 |

32 | 4.98 | 3.07 |

64 | 5.00 | 3.01 |

It can be seen from Tables 1 and 3 that the errors decay exponentially and the rates of convergence for $\stackrel{\u02c6}{y}$ are larger than those for $\stackrel{\u02c6}{z}$. Tables 2 and 4 also shows that the orders of convergence for $\stackrel{\u02c6}{y}$ are higher than those for $\stackrel{\u02c6}{z}$. In fact, it is noted that the differences of the convergence orders for $\stackrel{\u02c6}{y}$ and $\stackrel{\u02c6}{z}$ are about 2 from Tables 2 and 4. Although the exact solutions of Examples 4.1 and 4.2 are infinitely differentiable functions, it can be implied, from Theorem 3.1, that a conservative estimate of the numerical convergence order for system (1.1) is only 1. However, from numerical experiments, the numerical convergence order is much higher than 1.

**Example 4.3**Consider the following linear system of IAEs:

*u*,

*v*,

*w*be the approximations of the exact solutions ${x}_{1}$, ${x}_{2}$, ${x}_{3}$, respectively. The errors and orders of convergence for the proposed method with several values of

*N*are reported in Tables 5 and 6. The results show that the methods are convergent with a good accuracy.

${\mathit{L}}_{{\mathit{\omega}}^{\mathit{\alpha}\mathbf{,}\mathit{\beta}}}^{\mathbf{2}}\mathbf{(}\mathbf{-}\mathbf{1}\mathbf{,}\mathbf{1}\mathbf{)}$
**errors for Example 4.3**

N | ${\mathbf{\parallel}{\stackrel{\u02c6}{\mathit{x}}}_{\mathbf{1}}\mathbf{-}\stackrel{\u02c6}{\mathit{u}}\mathbf{\parallel}}_{{\mathit{L}}_{{\mathit{\omega}}^{\mathit{\alpha}\mathbf{,}\mathit{\beta}}}^{\mathbf{2}}\mathbf{(}\mathbf{-}\mathbf{1}\mathbf{,}\mathbf{1}\mathbf{)}}$ | ${\mathbf{\parallel}{\stackrel{\u02c6}{\mathit{x}}}_{\mathbf{2}}\mathbf{-}\stackrel{\u02c6}{\mathit{v}}\mathbf{\parallel}}_{{\mathit{L}}_{{\mathit{\omega}}^{\mathit{\alpha}\mathbf{,}\mathit{\beta}}}^{\mathbf{2}}\mathbf{(}\mathbf{-}\mathbf{1}\mathbf{,}\mathbf{1}\mathbf{)}}$ | ${\mathbf{\parallel}{\stackrel{\u02c6}{\mathit{x}}}_{\mathbf{3}}\mathbf{-}\stackrel{\u02c6}{\mathit{w}}\mathbf{\parallel}}_{{\mathit{L}}_{{\mathit{\omega}}^{\mathit{\alpha}\mathbf{,}\mathit{\beta}}}^{\mathbf{2}}\mathbf{(}\mathbf{-}\mathbf{1}\mathbf{,}\mathbf{1}\mathbf{)}}$ |
---|---|---|---|

4 | 1.78 × 10 | 1.06 × 10 | 2.17 × 10 |

8 | 5.90 × 10 | 3.41 × 10 | 2.83 × 10 |

16 | 1.83 × 10 | 1.07 × 10 | 3.56 × 10 |

32 | 5.99 × 10 | 3.34 × 10 | 4.35 × 10 |

**Convergence orders for Example 4.3**

N | ${\stackrel{\u02c6}{\mathit{x}}}_{\mathbf{1}}$ | ${\stackrel{\u02c6}{\mathit{x}}}_{\mathbf{2}}$ | ${\stackrel{\u02c6}{\mathit{x}}}_{\mathbf{3}}$ |
---|---|---|---|

8 | 4.92 | 4.96 | 2.94 |

16 | 5.01 | 4.99 | 2.99 |

32 | 5.01 | 5.00 | 3.03 |

## 5 Conclusions

This paper studies the Jacobi collocation method for the semi-explicit IAEs system of index 1. The scheme consists of finding an explicit expression for the integral terms of the equations associated with the Jacobi collocation method. *A posteriori* error estimation of the method in the weighted ${L}^{2}$-norm was obtained. With the availability of this methodology, it will now be possible to investigate the approximate solution of other classes of IAEs systems. Although our convergence theory does not cover the nonlinear case, it contains some complications and restrictions for establishing a convergent result similar to Theorem 3.1 which will be the subject of our future work.

## Notes

## Declarations

### Acknowledgements

This work is supported by the National Natural Science Foundation of China (11101109, 11271102), the Natural Science Foundation of Hei-long-jiang Province of China (A201107) and SRF for ROCS, SEM. The authors would like to acknowledge two anonymous referees for their careful reading of the manuscript and constructive comments.

## Authors’ Affiliations

## References

- Brunner H:
*Collocation Methods for Volterra Integral and Related Functional Equations*. Cambridge University Press, Cambridge; 2004.View ArticleMATHGoogle Scholar - Hairer E, Wanner G:
*Solving Ordinary Differential Equations II. Stiff and Differential-Algebraic Problems*. Springer, New York; 1996.View ArticleMATHGoogle Scholar - Kauthen JP:
**The numerical solution of integral-algebraic equations of index 1 by polynomial spline collocation methods.***Math. Comput.*2000,**236:**1503–1514.MathSciNetView ArticleMATHGoogle Scholar - Hadizadeh M, Ghoreishi F, Pishbin S:
**Jacobi spectral solution for integral-algebraic equations of index-2.***Appl. Numer. Math.*2011,**61:**131–148. 10.1016/j.apnum.2010.08.009MathSciNetView ArticleMATHGoogle Scholar - Cannon JR:
*The One Dimensional Heat Equation*. Cambridge University Press, Cambridge; 1984.View ArticleMATHGoogle Scholar - Gomilko AM:
**A Dirichlet problem for the biharmonic equation in a semi-infinite strip.***J. Eng. Math.*2003,**46:**253–268. 10.1023/A:1025065714786MathSciNetView ArticleMATHGoogle Scholar - Kafarov VV, Mayorga B, Dallos C:
**Mathematical method for analysis of dynamic processes in chemical reactors.***Chem. Eng. Sci.*1999,**54:**4669–4678. 10.1016/S0009-2509(99)00277-8View ArticleGoogle Scholar - Zenchuk AI:
**Combination of inverse spectral transform method and method of characteristics: deformed Pohlmeyer equation.***J. Nonlinear Math. Phys.*2008,**15:**437–448. 10.2991/jnmp.2008.15.s3.42MathSciNetView ArticleGoogle Scholar - Chistyakov VF:
**On singular systems of ordinary differential equations and their analogues.**In*Lyapunov Functions and Their Applications*. Nauka, Novosibirsk; 1986:231–240. (Russian)Google Scholar - Gear CW:
**Differential-algebraic equations, indices, and integral-algebraic equations.***SIAM J. Numer. Anal.*1990,**27:**1527–1534. 10.1137/0727089MathSciNetView ArticleMATHGoogle Scholar - Bulatov, MV, Chistyakov, VF: The properties of differential-algebraic systems and their integral analogs. Department of Mathematics and Statistics, Memorial University of Newfoundlande (1997)Google Scholar
- Bulatov MV, Chistyakov VF:
**Numerical methods of investigation and solution for integral algebraic equations.***Sci-CADE09*2009, 25–29.Google Scholar - Bulatov MV:
**Regularization of singular system of Volterra integral equations.***Comput. Math. Math. Phys.*2002,**42:**315–320.MathSciNetGoogle Scholar - Pishbin S, Ghoreishi F, Hadizadeh M:
**A posteriori error estimation for the Legendre collocation method applied to integral-algebraic Volterra equations.***Electron. Trans. Numer. Anal.*2011,**38:**327–346.MathSciNetMATHGoogle Scholar - Canuto C, Hussaini MY, Quarteroni A, Zang TA:
*Spectral Methods: Fundamentals in Single Domains*. Springer, New York; 2006.MATHGoogle Scholar - Hesthaven JS, Gottlieb S, Gottlieb D:
*Spectral Methods for Time-Dependent Problems*. Cambridge University Press, Cambridge; 2007.View ArticleMATHGoogle Scholar - Qu CK, Wong R:
**Szego’s conjecture on Lebesgue constants for Legendre series.***Pac. J. Math.*1988,**135:**157–188. 10.2140/pjm.1988.135.157MathSciNetView ArticleMATHGoogle Scholar - Guo B, Wang L:
**Jacobi interpolation approximations and their applications to singular differential equations.***Adv. Comput. Math.*2001,**14:**227–276. 10.1023/A:1016681018268MathSciNetView ArticleMATHGoogle Scholar - Shen J, Tang T:
*Spectral and High-Order Methods with Applications*. Science Press, Beijing; 2006.MATHGoogle Scholar - Tang T, Xu X, Cheng J:
**On spectral methods for Volterra integral equations and the convergence analysis.***J. Comput. Math.*2008,**26:**825–837.MathSciNetMATHGoogle Scholar - Chen Y, Tang T:
**Convergence analysis of the Jacobi spectral collocation methods for Volterra integral equations with a weakly singular kernel.***Math. Comput.*2010,**79:**147–167. 10.1090/S0025-5718-09-02269-8MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.