Abstract

We present a new approach based on the formulation of the integrodifferential quadrature method (hereafter called IDQ) to handle Volterra's and Fredholm's equations. This approach is constructed and tested with some realistic numerical examples using the basic computational aspects.

1. Introduction

In the present work, we present a formulation of a new numerical approach which is based on the generalized integrodifferential quadrature method and applied to weakly singular Volterra and Fredholm integrodifferential equations in the linear case. This method studies the situation in which the unknown function is identified as the Lagrange polynomial and the interpolating points of the Tchebychev type are used. The accuracy and efficiency of solving integrodifferential equations are still an ongoing research in numerical analysis. Several different methods have also been modeled for the solutions of linear and nonlinear problem [1–27].

The central argument for the interest of the type of this problem comes naturally from its wide applications almost in any branches of science and engineering described by systems of ODEs and PDEs [28–38] which in some situations can be transformed into a set of integral equations. Much attention has been devoted to the investigation of new mathematical models and numerical approaches to evaluate the solutions of the integral equations.

New calculations are performed for the construction of the solution by a suitable choice of the interpolating points using the unified integrodifferential quadrature method. Based on this fact, this technique is a very promising and powerful methodology in successfully locating best solutions of the problem. Our main purpose is to develop a general numerical schema for the integrodifferential equations that is universally applicable.

The contents of this paper are organized as follows. In Section 2, a formulation adapted to the problem of construction of the solution of the one-dimensional weakly singular integrodifferential equation by using a summary limited to some aspects of the unified integrodifferential quadrature method is qualitatively presented. Section 3 exposes some essential examples for the construction of the unknown solution. The comments and conclusion are given in Section 4.

2. Unified Integrodifferential Quadrature Method

The description of generalized integrodifferential quadrature method is summarized as follows: the starting point of the weakly singular integrodifferential equation is written as π‘™ξ“π‘˜=1π›Ύπ‘˜π‘‘(π‘₯)π‘˜π‘“(π‘₯)𝑑π‘₯π‘˜,=𝛼(π‘₯)𝑓(π‘₯)+𝛽(π‘₯)+πœ†π‘Š(π‘₯,𝑧),π‘Žβ‰€π‘₯≀𝑇(1) where π‘Š(π‘₯,𝑧) is given by ξ€œπ‘Š(π‘₯,𝑧)β‰‘π‘§π‘Ž(π‘₯βˆ’π‘ )βˆ’πœˆπΎ(π‘₯,𝑠)𝑓(𝑠)𝑑𝑠,(2) and we set ξ‚»π‘Š(π‘₯,𝑧)=π‘Š(π‘₯,π‘₯),forVolterratype,π‘Š(π‘₯,𝑇),forFredholmtype,(3) with prescribed boundary condition 𝑓(π‘Ž)=π‘“π‘Ž.

πœ† and 𝜈 are parameters with 0<𝜈<1. 𝛼(π‘₯),𝛽(π‘₯), and π›Ύπ‘˜(π‘₯)(π‘˜=0,…,π‘š) are given functions, and 𝐾(π‘₯,𝑠) is a regular kernel of the integrodifferential equation. It is assumed that the function involved in (1) is sufficiently regular. The above equations, for 𝜈=0, become regular integrodifferential equations.

In order to avoid the singularity, (1) is integrated by part and with little effort; we obtain 1π‘Š(π‘₯,𝑧)=ξ€Ί(πœˆβˆ’1)(π‘₯βˆ’π‘§)1βˆ’πœˆπΎ(π‘₯,𝑧)𝑓(𝑧)βˆ’(π‘₯βˆ’π‘Ž)1βˆ’πœˆξ€»βˆ’1𝐾(π‘₯,π‘Ž)𝑓(π‘Ž)(ξ€œπœˆβˆ’1)π‘§π‘Ž(π‘₯βˆ’π‘ )1βˆ’πœˆπ‘‘[]𝐾(π‘₯,𝑠)𝑓(𝑠)𝑑𝑠𝑑𝑠.(4) Now the relation (1) becomes π‘™ξ“π‘˜=1π›Ύπ‘˜π‘‘(π‘₯)π‘˜π‘“(π‘₯)𝑑π‘₯π‘˜=𝛼(π‘₯)𝑓(π‘₯)+π›½πœˆ+πœ†(π‘₯,𝑧)ξ€œ(1βˆ’πœˆ)π‘§π‘Ž(π‘₯βˆ’π‘ )1βˆ’πœˆπ‘‘[]𝐾(π‘₯,𝑠)𝑓(𝑠)𝑑𝑠𝑑𝑠,(5) where π›½πœˆ(π‘₯,𝑧)=𝛽(π‘₯)+(πœ†/(πœˆβˆ’1))((π‘₯βˆ’π‘§)1βˆ’πœˆπΎ(π‘₯,𝑧)𝑓(𝑧)βˆ’(π‘₯βˆ’π‘Ž)1βˆ’πœˆπΎ(π‘₯,π‘Ž)𝑓(π‘Ž)), and 𝑧=π‘₯ and 𝑧=𝑇 for Volterra type and Fredholm type, respectively.

At this stage, we introduce the quadrature aspect of solutions: the derivatives and integral in expression (6) are approximated byπ‘‘π‘˜π‘“ξ€·π‘₯π‘šξ€Έπ‘‘π‘₯π‘˜=𝑁𝑗=0π·π‘˜π‘šπ‘—π‘“ξ€·π‘₯𝑗,(6)ξ€œπ‘₯π‘šπ‘Žξ€·π‘₯π‘šξ€Έβˆ’π‘ 1βˆ’πœˆπ‘‘ξ€ΊπΎξ€·π‘₯π‘šξ€Έπ‘“ξ€»,𝑠(𝑠)𝑑𝑠𝑑𝑠=𝑁𝑗=0πΌπ‘šπ‘—π‘“ξ€·π‘₯𝑗,forVolterratype,(7)ξ€œπ‘‡π‘Žξ€·π‘₯π‘šξ€Έβˆ’π‘ 1βˆ’πœˆπ‘‘ξ€ΊπΎξ€·π‘₯π‘šξ€Έξ€»,𝑠𝑓(𝑠)𝑑𝑠𝑑𝑠=𝑁𝑗=0π½π‘šπ‘—π‘“ξ€·π‘₯𝑗,forFredholmtype,(8) where {π‘₯π‘˜}π‘π‘˜=0 are interpolating points, taken as the points of Tchebychev of the form π‘₯𝑗=(1/2)𝑇[1βˆ’cos((2𝑗+1)/(2𝑁+2)πœ‹)], 0≀𝑗≀𝑁. 𝐷𝑖𝑗 and πΌπ‘šπ‘— are the weighting coefficients linked with Lagrange interpolated polynomials 𝑃𝑁,𝑗(π‘₯) and are explicitly given by π·π‘˜π‘šπ‘—=π‘‘π‘˜π‘ƒπ‘,𝑗π‘₯π‘šξ€Έπ‘‘π‘₯π‘˜,(9)πΌπ‘šπ‘—=ξ€œπ‘₯π‘š0ξ€·π‘₯π‘šξ€Έβˆ’π‘ 1βˆ’πœˆπ‘‘ξ€ΊπΎξ€·π‘₯π‘šξ€Έπ‘ƒ,𝑠𝑁,𝑗(𝑠)𝐽𝑑𝑠𝑑𝑠,π‘šπ‘—=ξ€œπ‘‡0ξ€·π‘₯π‘šξ€Έβˆ’π‘ 1βˆ’πœˆπ‘‘ξ€ΊπΎξ€·π‘₯π‘šξ€Έπ‘ƒ,𝑠𝑁,𝑗(𝑠)𝑑𝑠𝑑𝑠.(10)

With little effort the original problems (1) can be converted to an algebraic system and take, respectively, the following compact forms: 𝛼π‘₯π‘šξ€Έπ‘“ξ€·π‘₯π‘šξ€Έ+π›½πœˆξ€·π‘₯π‘š,π‘₯π‘šξ€Έ=𝑁𝑗=0π‘ˆπΌπ‘šπ‘—π‘“ξ€·π‘₯𝑗,π‘š=0,…,𝑁,(11) for Volterra type, and 𝛼π‘₯π‘šξ€Έπ‘“ξ€·π‘₯π‘šξ€Έ+π›½πœˆξ€·π‘₯π‘šξ€Έ=,𝑇𝑁𝑗=0π‘ˆπ½π‘šπ‘—π‘“ξ€·π‘₯𝑗,π‘š=0,…,𝑁,(12) for Fredholm type, where π‘ˆπΌπ‘šπ‘—=π‘™ξ“π‘˜=0π›Ύπ‘˜ξ€·π‘₯π‘šξ€Έπ·π‘˜π‘šπ‘—βˆ’πœ†πΌ(1βˆ’πœˆ)π‘šπ‘—,(13)π‘ˆπ½π‘šπ‘—=π‘™ξ“π‘˜=0π›Ύπ‘˜ξ€·π‘₯π‘šξ€Έπ·π‘˜π‘šπ‘—βˆ’πœ†π½(1βˆ’πœˆ)π‘šπ‘—.(14)

The relations (12) and (13) are real systems of 𝑀×𝑀 equations in the 𝑀×𝑀 unknown real coefficients π‘ˆπΌπ‘šπ‘— and π‘ˆπ½π‘šπ‘—, respectively, where 𝑀=𝑁+1. In order to avoid unnecessary calculation and to optimize the computational aspect, it is therefore more convenient to get the desired coefficients 𝐷𝑖𝑖, 𝐼𝑖𝑖, and 𝐽𝑖𝑖 in the following forms: π·π‘˜π‘–π‘–=βˆ’π‘ξ“π‘—=0,π‘—β‰ π‘–π·π‘˜π‘–π‘—,for𝑖=0,…,𝑁,π‘˜=1,…,𝑙,(15)𝐼𝑖𝑖=ξ€œπ‘₯π‘–π‘Žξ€·π‘₯π‘–ξ€Έβˆ’π‘ 1βˆ’πœˆξ€·π‘₯𝑑𝐾𝑖,π‘ π‘‘π‘ π‘‘π‘ βˆ’π‘ξ“π‘—=0,𝑗≠𝑖𝐼𝑖𝑗,for𝑖=0,…,𝑁,(16)𝐽𝑖𝑖=ξ€œπ‘‡π‘Žξ€·π‘₯π‘–ξ€Έβˆ’π‘ 1βˆ’πœˆξ€·π‘₯𝑑𝐾𝑖,π‘ π‘‘π‘ π‘‘π‘ βˆ’π‘ξ“π‘—=0,𝑗≠𝑖𝐽𝑖𝑗,for𝑖=0,…,𝑁.(17)

Now the expressions (14), (15), (16), (17), and (18) provide the charmingly practical formulae for the weighting coefficients. Once the function values at all grid points are obtained, it is then easy to determine the function values in the overall domain in terms of polynomial approximation, such that 𝑓(π‘₯)=𝑁𝑗=0𝑓π‘₯𝑗𝑃𝑁,𝑗(π‘₯).(18)

The practical part of this study is examined in the following section.

3. Worked Examples

We shall consider the solution of some crack situations in order to show the application and the effectiveness of the method described in Section 2. Four examples are considered for this purpose.

We write (1) in the form 𝛼𝑝𝑓𝑝+π›½πœˆ,𝑝𝑝=𝑁𝑗=0π‘ˆπΌπ‘π‘—π‘“π‘—,𝑝=0,…,𝑁,(19)𝛼𝑝𝑓𝑝+π›½πœˆ,𝑝𝑇=𝑁𝑗=0π‘ˆπ½π‘π‘—π‘“π‘—,𝑝=0,…,𝑁,(20) where 𝑓𝑗 and 𝛼𝑖 stand for the values of 𝑓(π‘₯𝑖) and 𝛼(π‘₯𝑖), respectively. π›½πœˆ,𝑝𝑝 and π›½πœˆ,𝑝𝑇 denote the values of π›½πœˆ(π‘₯𝑝,π‘₯𝑝) and π›½πœˆ(π‘₯𝑝,𝑇), respectively.

Evaluating (20) and (21) at π‘₯𝑝, the linear systems of algebraic equations follow, respectively, ξ€ΊπΌπ΄βˆ’π‘ˆ1𝐹=𝐡1,(21)ξ€ΊπΌπ΄βˆ’π‘ˆ2𝐹=𝐡2,(22) where the vectors 𝐹 and 𝐡1(𝐡2) have components 𝑓𝑝 and π›½πœˆ,𝑝𝑝(π›½πœˆ,𝑝𝑇), respectively, π‘ˆ1(π‘ˆ2) is a matrix with the elements π‘ˆ1,𝑖𝑗=π‘ˆπΌπ‘–π‘—(π‘ˆ2,𝑖𝑗=π‘ˆπ½π‘–π‘—), and the components of π‘ˆπΌ and π‘ˆπΌ are given by (14) and (15) together with (16), (17), and (18). The equations (20) and (21) are explicit prescriptions that give the solutions in 𝑂((𝑁+1)2) operations.

The accuracy of solutions can be checked by using the error tolerance 𝐸(π‘₯𝑖)=|𝑓(π‘₯𝑖)βˆ’π‘“exact(π‘₯𝑖)|=10βˆ’π‘—, where β€œπ‘—β€ is a positive integer. We continue evaluating the solution until the above relation was satisfied.

In order to verify the efficiency of the method developed in the previous section, the following examples have been selected to provide a comparison with previously published work.

3.1. Example  1

In this example we use Volterra’s integrodifferential equation [39] given by 𝑑𝑓(π‘₯)ξ€œπ‘‘π‘₯=𝑓(π‘₯)+𝛽(π‘₯)βˆ’π‘₯0(π‘₯βˆ’π‘ )βˆ’1/2𝑓(𝑠)𝑑𝑠,0≀π‘₯≀1,𝑓(0)=0,(23) where βˆšπ›½(π‘₯)=(3/2)√π‘₯+π‘₯π‘₯+(3πœ‹/8)π‘₯2, from the governing equation (1) and (24) subject to 𝐾(π‘₯,𝑠)=1, we deduce the following: 𝑙=1,𝛾1(π‘₯)=1,𝛼(π‘₯)=1,πœ†=βˆ’1,𝜈=1/2,π‘Ž=0,𝑇=1, and 𝑓0=0. The exact solution is 𝑓(π‘₯)=π‘₯3/2.

Illustrated in Figure 1 is the basic application of the problem (24). The numerical result displayed in Figure 1 is qualitatively in good agreement with the exact solution in which the error tolerance, TOLV=10βˆ’5.

3.2. Example  2

We consider the numerical solution of the following Volterra’s integrodifferential equation [40]: 𝑑2𝑓(π‘₯)𝑑π‘₯2ξ€œ=𝑓(π‘₯)+𝛽(π‘₯)+π‘₯0π‘₯𝑠𝑓(𝑠)𝑑𝑠,0≀π‘₯≀1,𝑓(0)=1,(24) where 𝛽(π‘₯)=βˆ’π‘₯(π‘₯+1)+π‘₯(1βˆ’π‘₯)exp(π‘₯)+2βˆ’π‘₯5/4, and from this equation we deduce the following: 𝑙=2,𝛾1(π‘₯)=0,𝛾2(π‘₯)=1,𝛼(π‘₯)=1,πœ†=1,𝜈=0,π‘Ž=0,𝑇=1,𝑓0=1, and the kernel 𝐾(π‘₯,𝑠)=π‘₯𝑠.

The above equation has the exact solution 𝑓(π‘₯)=π‘₯2+exp(π‘₯).

The result is displayed in Figure 2, where the error tolerance, TOLV=10βˆ’6. With this tolerance and for the number of the interpolation points 𝑁=10, the results under consideration are very satisfactory.

3.3. Example  3

Consider the Fredholm integrodifferential equation [41]: 𝑑2𝑓(π‘₯)𝑑π‘₯2+π‘₯𝑑𝑓(π‘₯)ξ€œπ‘‘π‘₯=π‘₯𝑓(π‘₯)+𝛽(π‘₯)+1βˆ’1π‘’βˆ’π‘ 1sin(π‘₯)𝑓(𝑠)𝑑𝑠,βˆ’1≀π‘₯≀1,𝑓(βˆ’1)=𝑒,(25) where 𝛽(π‘₯)=exp(π‘₯)βˆ’2sin(π‘₯), and from this equation we deduce the following: 𝑙=2,𝛾1(π‘₯)=π‘₯, 𝛾2(π‘₯)=1, 𝛼(π‘₯)=π‘₯, πœ†=1, 𝜈=0, π‘Ž=βˆ’1, 𝑇=1, π‘“βˆ’1=1/𝑒, and the kernel 𝐾(π‘₯,𝑠)=π‘’βˆ’π‘ sin(π‘₯). The exact solution has the form 𝑓(π‘₯)=exp(π‘₯).

In Figure 3, the number of interpolation points is taken equal to 𝑁=10 to solve this problem with TOLV=10βˆ’8. We see from this Figure that the method provides accurate results in the full range, where the error tolerance, TOLV=10βˆ’6.

3.4. Example  4

We apply the mentioned technique to solve the fifth-order Fredholm integrodifferential equation [42]: 𝑑5𝑓(π‘₯)𝑑π‘₯5βˆ’π‘₯2𝑑3𝑓(π‘₯)𝑑π‘₯3βˆ’π‘‘π‘“(π‘₯)ξ€œπ‘‘π‘₯=π‘₯𝑓(π‘₯)+𝛽(π‘₯)+1βˆ’1𝑓(𝑠)𝑑𝑠,βˆ’1≀π‘₯≀1,𝑓(βˆ’1)=βˆ’sin(1),(26) where 𝛽(π‘₯)=π‘₯2cos(π‘₯)βˆ’π‘₯sin(π‘₯), and from this equation we deduce the following: 𝑙=5,𝛾1(π‘₯)=βˆ’1,𝛾2(π‘₯)=𝛾4(π‘₯)=0,𝛾3(π‘₯)=βˆ’π‘₯2,𝛾5(π‘₯)=1,𝛼(π‘₯)=π‘₯,πœ†=1,𝜈=0,π‘Ž=βˆ’1,𝑇=1,π‘“βˆ’1=βˆ’sin(1), and the kernel 𝐾(π‘₯,𝑠)=1. The exact solution has the form 𝑓(π‘₯)=sin(π‘₯). Figure 4 presents computer simulations of this example, that is generated using the number of interpolating points 𝑁=8. The result is compared with the exact solution. From Figure 4, we see that the agreement between the numerical result of the present method and the exact result is very good, with an error tolerance TOLV=10βˆ’6.

4. Comments and Conclusions

This paper has introduced a new formulation that uses the unified integrodifferential quadrature method to handle some integrodifferential equations. The main advantage of Lagrange polynomial is that the weighting coefficients that have to be computed do not depend on the 𝑓(π‘₯𝑖) and it is independent on the manner the discrete points are ordered.

The preliminary results, obtained through the use of this method, show that the resulting solutions are quite good for all examples which have been selected here as a testbed. We can note that similar patterns of convergence are seen for all four examples with a common tolerance TOLV=10βˆ’6.

This method seems to be a powerful alternative and consequently gives very accurate solutions to the problems under consideration. It would be interesting to generalize this method to the nonlinear case. This matter deserves a further work.

Acknowledgments

The authors gratefully acknowledge helpful conversations with Professor W. Cramer. This work was sponsored in part by the M.E.R.S (MinistΓ¨re de l’Enseignement et de la Recherche Scientifique): under contract no. D01420060012.