Abstract
In this study, an effective numerical technique has been introduced for finding the solutions of the first-order integro-differential equations including neutral terms with variable delays. The problem has been defined by using the neutral integro-differential equations with initial value. Then, an alternative numerical method has been introduced for solving these type of problems. The method is expressed by fundamental matrices, Laguerre polynomials with their matrix forms. Besides, the solution has been obtained by using the collocation points with regard to the reduced system of algebraic equations and Laguerre series.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
Delay differential equations in neutral type and integro-differential equations are of an attractive interest in many applications in science and engineering. In applied mathematics, they have an increasing enthusiasm by their implementation in dynamical systems, electrodynamics and mechanics as well. In recent years, numerical treatment of the neutral type integro-differential equations has been arised [1]. These type of equations occur in mechanics, physics, technical problems such as progress for showing cutting and infeed grinding. Besides, they describe some procedures in chemistry and physics for reactors. Moreover, some well-known biological processes growth, death and birth are determined by neutral type equations. In ecological phenomena, some models with respect to the neutral type integro-differential equations are used for evolution equations of single species [2]. Furthermore, many applications of these types of equations exist in medicine. For instance, sugar quantity in blood is modeled by using them; immunology, epidemiology, cancer chemotherapy may explain different aspects of human body interaction with diseases. As another example, in Fig. 1 model of pressure regulation of model of arterial blood is represented by the formulation of functional differential equations. In this figure, arterial vessels are shown by A and B. These arterial vessels have connections to each other, blood flow from A to B has a rate which is shown by Q, R represents peripheral resistance, and the heart productivity is denoted by \({Q}_{\mathrm{h}}\). The incoming liquid rate is \({Q}_{\mathrm{in}}\) while the outcoming rate is \({Q}_{\mathrm{out}}\) [3]. Furthermore, epidemic of the human immunodeficiency virus (HIV) is modeled by the system of functional integro-differential equations. Besides, fishing process, river pollution control can be described and these examples are ecological applications in the ecology field.
Neutral type delay integro-differential equations under the initial condition are of numerical solutions which have been reached by many authors. Such problems have difficulties in motivation but also often appear at numerical investigations. Functional integro-differential equations including Volterra type integrals have been searched with regard to numerical analysis aspect by Brunner [4]. Collocation methods have been applied for solving Volterra functional integral equations including non-vanishing delays [5]. Besides, in the literature, continuous spline collocation methods [6], Lagrange interpolation and Chebyshev interpolation [7], Adams–Moulton method [8], backward substitution method [9], continuous Runge–Kutta method [10,11,12], Spectral method [13] have been implemented in order to find the solutions of neutral type integro-differential equations including variable delays.
In this work, the following first-order integro-differential equation including neutral terms and variable delays is considered as
under the initial condition
where \({P}_{0}\left(t\right), {P}_{1}\left(t\right), u\left(t\right), v\left(t\right), g(t)\) and the delay term \(\tau (t)\) are defined as continuous functions for \(\infty > b > t \ge 0\). Here the aim is about finding a numerical solution \(y_{N} (t)\) by using the truncated Laguerre series of given problem (1)–(2):
where \(a_{n} ,\,n = 0,1,...,N\) are unknown coefficients; \(L_{n} (t)\) are the Laguerre polynomials for \(n = 0,1,...,N\) and defined as
Numerical method
In this section, the numerical method based on Laguerre polynomials is introduced. The main advantage of the method lies in its straightforwardness since it has no aim for discretization as a reliable tool. On the other hand, Laguerre polynomials give powerful solutions, especially on the positive interval since its applications in several fields with these types of properties.
Fundamental relations
In here, the matrix forms of Eq. (1) are composed. First of all, it is organized as
where
Then, the matrix form of the numerical solution (3) is considered as
where
here \({\mathbf{L}}(t)\) is defined as in the matrix form:
where
Thus, the connection between \({\mathbf{X}}(t)\) and \({\mathbf{X^{\prime}}}(t)\) is defined as
in which
Therefore, the matrix relations (7) and (8) are used and \({\mathbf{L^{\prime}}}(t)\) is defined as follows
is obtained in which \({\mathbf{C}}\) is described as
Thus, from (6), (7), and (10) [14]:
By replacing \(t \to t - \tau (t)\) into (11) and by using (9), we obtain
where
Diversely, the kernel function \(K(t,s)\) is obtained by using the Taylor series as
Then, its matrix form is written as
By means of the relations (9) and (13), the integral part of Eq. (1) has a matrix form as
where
and
Similarly, from (11), the initial condition in Eq. (2) has the matrix form as
Therefore, we obtain the matrix forms of \(D_{1} ,\,D_{2} ,\,D_{3}\) and \(I\) in Eq. (5), from (6), (12), (11), and (14), respectively, as
So that, Eq. (1) can be represented by the following matrix equation as
Method of solution
In this section, the collocation points are defined by
Thus, the collocation points (17) are substituted into Eq. (16) and the fundamental matrix is obtained asor
where
Briefly,
Here we have the augmented matrix form of Eq. (18). Besides, we consider the initial condition which is given in Eq. (2). Its matrix form is defined in Eq. (15). By putting the row from (15) in place of the last row of (19),
Then, we construct the new augmented matrix as
In Eq. (20), if \({\text{rank}}\left[ {{\tilde{\mathbf{W}}}} \right] = {\text{rank}}\left[ {{\tilde{\mathbf{W}}};{\tilde{\mathbf{G}}}} \right] = N + 1\), then the coefficients matrix \({\mathbf{A}}\) is uniquely determined with the help of Gauss Elimination procedure [15,16,17,18,19,20,21,22]. Then, by using Eq. (3), the problem (1)–(2) is solved numerically and its numerical solution is obtained as in the form
Analysis of the method
In this section, some properties of the method are introduced. The stability of the collocation methods has been investigated previously by Brunner et al. [23, 24]. Besides, the stability of the related problem has been also considered by some authors [25, 26]. However, existence and uniqueness theorems and convergence of the method are given as follows.
Convergence of the method
Definition 1
Let \(y_{N} (t)\) be the approximate solution of the problem (1)–(2) which has an exact solution as \(y(t)\). Then, the collocation method is said to be convergent if an only if
where \(h\) is the step size and \(h \to 0,\,\,N \to \infty\) [27,28,29,30,31].
Definition 2
If the largest number is p for the finite constant C, then the method is of order p such that [27,28,29,30,31]
where \(h\) is the step size and \(h \to 0,\,\,N \to \infty\) [27,28,29].
Theorem 1
Consider the first-order integro-differential equation including neutral terms and variable delays in Eq. (1) under the initial condition (2). Then,
-
i.
\(g(t)\) is continuous in \(0 \le t \le b\),
-
ii.
\(K(t,s)\) is a continuous function for \(0 \le t \le b\) and \(\left\| y \right\| < \infty\),
-
iii.
\(K(t,s)\) satisfies a Lipschitz condition as follows
$$ \left\| {K(t,s)y_{1} - K(t,s)y_{2} } \right\| \le L\left\| {y_{1} - y_{2} } \right\| $$(23)
for all \(0 \le t,s \le b\). Then, the problem (1)–(2) has a unique solution [27,28,29,30,31].
Theorem 2
Consider that \(g(t) \in C[I \times {\mathbb{R}}^{N} ,{\mathbb{R}}^{N} ]\), \(K(t,s) \in C[I \times I \times {\mathbb{R}}^{N} ,{\mathbb{R}}^{N} ]\) and \(K(t,s) \in C[I \times I \times {\mathbb{R}}^{N} ,{\mathbb{R}}^{N} ]\) for \(\int\limits_{t - u(t)}^{t - v(t)} {\left| {K(t,s)y(s)} \right|ds} \le N\) for \(0 \le t,s \le b\), \(y \in \Omega = \left\{ {\phi \in C[I,{\mathbb{R}}^{N} ]:\phi_{0} (0) = t_{0} \,{\text{and}}\,\left| {\phi (x) - \lambda_{0} \,} \right| \le b} \right\}\). Then, our initial value problem (IVP) (1)-(2) has at least one solution [27,28,29,30].
Existence and uniqueness
Theorem 3
Consider the first-order integro-differential equation including neutral terms and variable delays in Eq. (1) under the initial condition (2). Assume that \(g(t)\) and \(K(t,s)\) are continuous functions which satisfy the Lipschitz conditions. Then,
for every \(\left| {t - t_{0} } \right| \le a\) and \(\left| {s - t_{0} } \right| \le a\) for any initial value \(t_{0}\) and the positive constant \(a > 0\), \(\left\| {y_{1} } \right\| < \infty\) and \(\left\| {y_{2} } \right\| < \infty\). Then, the IVP has a unique solution.
Proof
Accuracy
In this section, the accuracy of the approximate solution is investigated. As an important factor for the numerical methods in the literature, the approximate solutions are corrected with regard to the residual error correction procedure. On the other hand, a brief error analysis is given in order to reach the approximation for the problem (1)–(2).
Residual correction
In here, the residual correction is given in order to improve the solutions and for the comprehensive error analysis for the approximate solution of the problem (1)–(2) [17, 18, 32,33,34,35,36,37].
Now, let us consider the error function as \(e_{N} (t) = y(t) - y_{N} (t)\). Then, we construct an error problem in the form
Subsequently, the numerical method is applied on the error problem in Eq. (26) and we have the approximate solution for the error function in the form as follows
Thus, the corrected approximate solution is obtained as
Error analysis
In this section, we investigate the absolute error function \(E_{N} (t)\) for \(t = t_{p} \in \left[ {a,b} \right],\,\,\,p = 0,1,2,...\).
and the accuracy of the numerical solutions is checked. Specifically, if \(E_{N} (t_{q} ) \le 10^{{ - k_{q} }}\) (\(k_{q}\) any positive integer) is small enough, then the approximation has its reliability.
Algorithm
In here, the present method is shown by its algorithm. The steps are explained clearly in order to see the implementation of the computer programming part of the work.
Step 0 | Input initial data: \(P_{0} (t)\), \(P_{1} (t)\), \(u(t)\), \(v(t)\) and \(\tau (t)\) |
Step 1 | Set \(m \le N\) for \(m \in {\mathbb{N}}\) |
Step 2 | Construct the matrices such as \({\mathbf{L}}(t),\,\,{\mathbf{B}},\,{\mathbf{H}}\) |
Step 3 | Replace in the fundamental equation |
Step 4 | Put the collocation points, \(t_{i} = \frac{b}{N}i,\quad i = 0,1, \ldots ,N\) into the fundamental equation in S3 |
Step 5 | Calculate \(\left[ {{\mathbf{W}};{\mathbf{G}}} \right]\) |
Step 6 | Compute the matrix for the initial condition |
Step 7 | Substitute the outcome from S6 into the matrix in S5 and get \(\left[ {{\tilde{\mathbf{W}}};{\tilde{\mathbf{G}}}} \right]\) |
Step 8 | Determine the system in S7. Output: \(y_{N} (t)\) |
Step 9 | Accuracy check:\(E_{N} (t)\) |
Step 10 | If \(E_{N} (t_{q} ) \cong 0\). Stop |
Step 11 | Else back S1 |
Numerical experiments
Numerical experiments section gives us an idea about the method and its applicability, validity and reliability. The applications of this method have been implemented by using some numerical illustrations. Here Maple and MATLAB computer programs are used for the calculation algorithm and plotting.
Example 1
Firstly, the first-order Volterra integro-differential equation including neutral term and variable delay.
under the initial condition
Hereby approximate solution of (30)–(31) is found by using the algorithm of the present method for N = 4.
The collocation points (17) are set for N = 4 on the interval [0,1] which are as follows.
Then, Eq. (1) has its fundamental matrix equation as
\(\left\{ {{\mathbf{LC}} + {\mathbf{P}}_{1} {\mathbf{XT}}_{\tau } {\mathbf{BH}} - {\mathbf{P}}_{0} {\mathbf{L}} - {\mathbf{XKQH}}} \right\}{\mathbf{A}} = {\mathbf{G}}\)
where
So, the augumented matrix is found as
Now, the initial condition is defined in (31) has the matrix form as
So that the new augmented matrix is constructed as
By following the procedure, the system is solved, and then, \(a_{n}\) Laguerre coefficients are found as follows
Consequently, these calculated coefficients are established and they are replaced in Eq. (32). Then, the exact solution of (30)–(31) is acquired as
Example 2
As a second example, the first-order Volterra integro-differential equation including neutral term and delay is considered [37]
and the initial condition
corresponding to the exact solution \(y_{{{\text{exact}}}} (t) = e^{t}\). Correspondingly, the problem (34)-(35) is solved by the similar approach which is followed in Example 1. In Table 1, absolute errors for different N truncation values are demonstrated for their comparison. Herein this error comparison with different numerical methods: Laguerre collocation method (LCM) for \(M=10\) and \(N=9\) and mixed spline/spectral method (MSSM) with \(h=0.2\) in Table 2 and in Fig. 1. From these comparisons, we can see apparently that more suitable and efficient results are obtained for the smaller when we have increasing N value.
Example 3
Consider the first-order Volterra integro-differential equation including neutral term and delay from Eq. (1) with \(P_{1} (t) = v(t) = g(t) = 0\), \(K(t,s) = u(t) = 1\) and including a delay term \(y(t - 1)\) together with \(P_{0} (t) = 1\). Moreover, the initial condition is given as \(y(0) = 1\) and the exact solution is \(y_{exact} (t) = e^{t}\). Then, the absolute errors for different N truncation values are demonstrated for their comparison in Table 3 and Fig. 2. Besides, we can see the numerical solutions with regard to Laguerre approach and exact solution of the problem in Fig. 3. From these comparisons, we can see apparently that more suitable and efficient results are obtained for the smaller when we have increasing N value. Subsequently, there are improved results with related to the Sect. 4.1. Residual correction helps for a better approximation and give smaller values for the error function which is shown in Table 4.
Conclusion
In this study, a powerful numerical technique to determine the numerical solutions of first-order integro-differential equations including neutral terms and variable delays is proposed. The technique affords approximate solutions of the problem which are mainly close enough to the exact solutions with respect to \(N\). Accuracy and applicability of the method have been proved by the visible results at the tables and the figures. The main advantages of this technique are including but not limited to straightforward coding, its apparent algorithm and accessible matrix calculations. Moreover, the error analysis including the residual correction supports the results with the additional error problem solution which is explained and applied in an example.
As a future outlook, this numerical study and the technique can be extended to other models with related to Volterra integro-differential equations including retarded term. However, some modifications are required [38].
References
Bellen, A., Zennaro, M.: Numerical Methods for Delay Differential Equations. Oxford University Press (2013)
Kolmanovskii, V., Myshkis, A.: Applied Theory of Functional Differential Equations. Springer, Dordrecht (1992)
Godin, E.A., Kolmanovskii, V.B., Stengold, ESh.: Hypertension Disease as a Result of Altered Stress-Strained Vascular State. Nauka, Moscow (1990).. ((In Russian))
Brunner, H.: The numerical analysis of functional integral and integro-differential equations of Volterra type. Acta Numer. 13, 55 (2004)
Ming, W., Huang, C.: Collocation methods for Volterra functional integral equations with non-vanishing delays. Appl. Math. Comput. 296(2017), 198–214 (2017)
Rawashdeh, E.A.: Numerical treatment of neutral fractional Volterra integro-differential equations with infinite delay. Italian J. Pure Appl. Math. 37(2017), 89–96 (2017)
Rashed, M.T.: Numerical solution of functional differential integral and integro-differential equations. Appl. Math. Comput. 156(2004), 485–492 (2004)
Jackiewicz, Z.: The numerical solution of Volterra functional differential equations of neutral type. SIAM J. Numer. Anal. 18(4), 615–626 (1981)
Reutskiy, SYu.: The backward substitution method for multipoint problems with linear Volterra-Fredholm integro-differential equations of the neutral type. J. Comput. Appl. Math. 296(2016), 724–738 (2016)
Liu, Y.: Numerical solution of implicit neutral functional differential equations. SIAM J. Numer. Anal. 36(2), 516–528 (1999)
Enright, W.H., Hu, M.: Continuous Runge–Kutta methods for neutral Volterra integro-differential equations with delay. Appl. Numer. Math. 24(2–3), 175–190 (1997)
Koto, T.: Stability of Runge–Kutta methods for delay integro-differential equations. J. Comput. Appl. Math. 145(2), 483–492 (2002)
Sedaghat, S., Ordokhani, Y., Dehghan, M.: On spectral method for Volterra functional integro-differential equations of neutral type. Numer. Funct. Anal. Optim. 35(2), 223–239 (2014)
Gürbüz, B., Sezer, M.: Modified Laguerre collocation method for solving 1-dimensional parabolic convection-diffusion problems. Math. Methods Appl. Sci. 41(18), 8481–8487 (2018)
Özel, M., Tarakçı, M., Sezer, M.: A numerical approach for a nonhomogeneous differential equation with variable delays. Math. Sci. 12(2), 145–155 (2018)
Yüzbaşı, Ş: Laguerre approach for solving pantograph-type Volterra integro-differential equations. Appl. Math. Comput. 232, 1183–1199 (2014)
Gürbüz, B., Sezer, M.: An hybrid numerical algorithm with error estimation for a class of functional integro-differential equations. Gazi Univ. J. Sci. 29(2), 419–434 (2016)
Gürbüz, B., Sezer, M., Güler, C.: Laguerre collocation method for solving Fredholm integro-differential equations with functional arguments. J. Appl. Math. 2014, 1–12 (2014)
Gürbüz, B., Sezer, M.: Modified operational matrix method for second-order nonlinear ordinary differential equations with quadratic and cubic terms. Int. J. Optim. Control Theor. Appl. (IJOCTA) 10(2), 218–225 (2020)
Gürbüz, B.: A novel method for solving a class of functional differential equations. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi 22(1), 66–79 (2020)
Gürbüz, B., Sezer, M.: Laguerre matrix-collocation method to solve systems of pantograph type delay differential equations. In: International Conference on Computational Mathematics and Engineering Sciences. Springer, Cham, pp. 121–132 (2019)
Gökmen, E., Gürbüz, B., Sezer, M.: A numerical technique for solving functional integro-differential equations having variable bounds. Comput. Appl. Math. 37(5), 5609–5623 (2018)
Brunner, H., Liang, H.: Stability of collocation methods for delay differential equations with vanishing delays. BIT Numer. Math. 50(4), 693–711 (2010)
Brunner, H.: The numerical solution of weakly singular Volterra functional integro-differential equations with variable delays. Commun. Pure Appl. Anal. 5(2), 261 (2006)
Zhao, J.J., Xu, Y., Liu, M.Z.: Stability analysis of numerical methods for linear neutral Volterra delay-integro-differential system. Appl. Math. Comput. 167(2), 1062–1079 (2005)
Rihan, F.A., Doha, E.H., Hassan, M.I., Kamel, N.M.: Numerical treatments for Volterra delay integro-differential equations. Comput. Methods Appl. Math. 9(3), 292–318 (2009)
Jhinga, A., Patade, J., Daftardar-Gejji, V.: Solving Volterra Integro-Differential Equations involving Delay: A New Higher Order Numerical Method. arXiv preprint (2020).
Patade, J., Bhalekar, S.: A novel numerical method for solving Volterra integro-differential equations. Int. J. Appl. Comput. Math. 6(1), 1–19 (2020)
Linz, P.: A method for solving nonlinear Volterra integral equations of the second kind. Math. Comput. 23(107), 595–599 (1969)
Lakshmikantham, V., Rao, M.R.M.: Theory of Integro-Differential Equations. Gordon and Breach Science Publishers, Amsterdam (1995)
Wang, K., Wang, Q.: Taylor collocation method and convergence analysis for the Volterra-Fredholm integral equations. J. Comput. Appl. Math. 260, 294–300 (2014)
Oliveira, F.A.: Collocation and residual correction. Numer. Math. 36(1), 27–31 (1980)
Dahm, J.P., Fidkowski, K.: Error estimation and adaptation in hybridized discontinuous Galerkin methods. In: 52nd Aerospace Sciences Meeting, p. 0078 (2014)
Ainsworth, M., Oden, J.T.: A unified approach to a posteriori error estimation using element residual methods. Numer. Math. 65(1), 23–50 (1993)
Braess, D., Schöberl, J.: Equilibrated residual error estimator for edge elements. Math. Comput. 77(262), 651–672 (2008)
Braess, D., Pillwein, V., Schöberl, J.: Equilibrated residual error estimates are p-robust. Comput. Methods Appl. Mech. Eng. 198(13–14), 1189–1197 (2009)
El-Hawary, H.M., El-Shami, K.A.: Numerical solution of Volterra delay-integro-differential equations via spline/spectral methods. Int. J. Differ. Equ. Appl. 12(3) (2013)
Hashemizadeh, E., Ebadi, M.A.: A numerical solution by alternative Legendre polynomials on a model for novel coronavirus (COVID-19). Adv. Diff. Equ. 2020(1), 1–12 (2020)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gürbüz, B. A numerical scheme for the solution of neutral integro-differential equations including variable delay. Math Sci 16, 13–21 (2022). https://doi.org/10.1007/s40096-021-00388-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-021-00388-3