 Research
 Open Access
 Published:
About reducing integrodifferential equations with infinite limits of integration to systems of ordinary differential equations
Advances in Difference Equations volume 2013, Article number: 187 (2013)
Abstract
The purpose of this paper is to propose a method for studying integrodifferential equations with infinite limits of integration. The main idea of this method is to reduce integrodifferential equations to auxiliary systems of ordinary differential equations.
Results: a scheme of the reduction of integrodifferential equations with infinite limits of integration to these auxiliary systems is described and a formula for representation of bounded solutions, based on fundamental matrices of these systems, is obtained.
Conclusion: methods proposed in this paper could be a basis for the Floquet theory and studies of stability, bifurcations, parametric resonance and various boundary value problems. As examples, models of tumorimmune system interaction, hematopoiesis and planktonnutrient interaction are considered.
MSC:45J05, 45J15, 34A12, 34K05, 34K30, 47G20.
1 Introduction
Integrodifferential equations appeared very naturally in various applications (see, for example, [1–5]), which explains the interest in the theory of these equations (see, for example, [6, 7]). Various examples, in which the simple enough integrodifferential equation
by elementary operations can be reduced to a system of ordinary differential equations, are known. In this connection, let us refer, for example, to the monograph [8]. Note the idea of the chain trick used in various applications (see, for example, [9, 10]) and its developed form in the paper [11]. Independently, the idea of a reduction to systems of ordinary differential equations in the study of stability, which was, actually, the chain trick, was presented in [12]. Starting with this reduction, approaches to the study of stability and bifurcation of integrodifferential equations were proposed in the papers [13–16]. The approach developed in these papers allowed researchers to define a notion of periodic integrodifferential systems and to build the Floquet theory for integrodifferential equations on this basis in [17]. The first known results on estimates of distance between two adjacent zeros of oscillating solutions to a linearization of equation (1.1) and results connecting oscillation behavior and the exponential stability were obtained on this basis [17]. A parametric resonance in linear almost periodic systems was studied in [18], and the bifurcation of steady resonance modes for integrodifferential systems was investigated in [19]. Stabilization by control in a form of integrals of solutions was studied in [20]. The stability of partial functional differential equations on the basis of this reduction was studied in [21]. Constructive approach to a phase transition model was presented in [22]. A reduction to infinite dimensional systems was considered in [21, 23, 24]. In all these papers the limits of integration in integral terms were 0 and t, and this was very essential.
The main goal of this paper is to present a method reducing integro differential equations with infinite limits of integration
to systems of ordinary differential equations. In a future we are planning to develop the ideas of noted above papers for equation (1.2). As well as we know, there are no results of this type. Important motivation in the study of integrodifferential equation (1.2) can be found also in various applications of such equations in, for example, models of tumorimmune system interaction [9], hematopoiesis [10], stability and persistence in plankton models [25] which will be considered below.
Denote
Using these notations, we can write
or
It is possible to represent the vector $x\in {R}^{n}$ in the form $x=col\{y,z\}$, where $y\in {R}^{k}$, $z\in {R}^{nk}$. In many applications, system (1.4) can be represented in the form
The first equation in (1.7) depends on its integral part v on delay only (see (1.4)) and the second one is dependent on advance only. Note that the cases $k=n$ and $k=0$ can be also considered. If $k=n$, we get a system with distributed delay, and if $k=0$, the one with distributed advance. Note that a combination of distributed and concentrated deviations is also possible. Considering such systems, we do not discuss questions of existence of solutions and assume that solutions to these systems exist. Note that even for the Volterra equation, onepoint problem (1.1) with the condition $x({t}_{0})={x}_{0}$, ${t}_{0}>0$, can have more than one solution or not have solutions at all (see, for example, [26], Chapter 1, Section 9, pp. 7074).
For system (1.2) our method essentially uses the properties of linear nonhomogeneous systems of ODEs, possessing exponential dichotomy [27] or hyperbolicity [28]. It is known that such systems have (under corresponding conditions) unique bounded on the axis solution. Corresponding bibliography can be found in [28]. The case of autonomous systems was considered in [29, 30]. Below, in the next paragraph, we formulate, in convenient for us form, a result about the existence and structure of the solution for general nonautonomous linear systems of ODEs. This result is based on the theorem about reduction of hyperbolic systems to a block diagonal form [28].
2 Methods: about bounded solutions of linear nonhomogeneous systems
Consider
and the corresponding homogeneous system
where $x,w\in {R}^{n}$, P is an $n\times n$ matrix and g is an nvector function with continuous bounded elements.
We use the following definition introduced in [28].
Definition 2.1 We say that system (2.2) is hyperbolic if there exist constants $a>0$ and $\lambda >0$ and hyperplanes ${M}_{+}$ and ${M}_{}\text{:}dim{M}_{+}=k$, $dim{M}_{}=nk$ such that if for $t={t}_{0}$, $w({t}_{0})={w}_{0}\in {M}_{+}$, then the solution $w(t,{t}_{0},{w}_{0})$ satisfies the inequality
and if ${w}_{0}\in {M}_{}$, the inequality
Theorem 2.1 [28]
Let system (2.2) be hyperbolic. Then there exists an $n\times n$ matrix $U(t)$ with bounded elements such that its inverse matrix ${U}^{1}(t)$ also possesses bounded elements and the transform $w=U(t)\eta $ reduces system (2.2) to the form
where $\eta =col\{\xi ,\zeta \}$, $\xi \in {R}^{k}$, $\zeta \in {R}^{nk}$.
If we denote ${\mathrm{\Phi}}_{+}(t,s)={\varphi}_{+}(t){\varphi}_{+}^{1}(s)$, where ${\varphi}_{+}(t)$ is a fundamental matrix of the first system in (2.5), ${\mathrm{\Phi}}_{}(t,s)={\varphi}_{}(t){\varphi}_{}^{1}(s)$, where ${\varphi}_{}(t)$ is a fundamental matrix of the second system in (2.5), such that ${\mathrm{\Phi}}_{+}(s,s)={E}_{+}$, ${\mathrm{\Phi}}_{}(s,s)={E}_{}$, $dim{E}_{+}=k$, $dim{E}_{}=nk$, then
We present corresponding constructions, developed in [28] for the proof of this theorem, which will be used below in our paper.
Let
be a fundamental matrix of system (2.2), where ${w}_{i}(t)$ ($i=1,\dots ,n$) are linearly independent solutions of system (2.2), ${M}_{+}=span({w}_{1},\dots ,{w}_{k}(t))$, ${M}_{}=span({w}_{k+1},\dots ,{w}_{n}(t))$. Setting ${v}_{1}(t)={w}_{1}(t)$, ${u}_{1}(t)=\frac{{w}_{1}(t)}{\parallel {w}_{1}(t)\parallel}$, we define, for $m=2,3,\dots ,k$, the vectors
For $m=k+1$, we set ${v}_{k+1}(t)={w}_{k+1}(t)$, ${u}_{k+1}(t)=\frac{{w}_{k+1}(t)}{\parallel {w}_{k+1}(t)\parallel}$, and for $m=k+2,\dots ,n$, we define corresponding vectors according to scheme (2.9). The matrix
is bounded with its inverse matrix ${U}^{1}(t)$ and $\frac{dU}{dt}$. The vectors ${u}_{j}(t)$ are pairwise orthogonal and $\parallel {u}_{j}(t)\parallel =1$, $j=1,\dots ,n$. Let us set
It is clear from the construction of the matrix $U(t)$ that $S(t)$ is a block diagonal
Setting in (2.2) $w=U(t)\eta $, we get
where $Q(t)={U}^{1}(PU\frac{du}{dt}]={S}^{1}\frac{dS}{dt}$. It follows from (2.12) and (2.13) that $Q(t)=diag({Q}_{+}(t),{Q}_{}(t))$, where ${Q}_{+}(t)={S}_{+}\frac{d{S}_{+}}{dt}$, ${Q}_{}(t)={S}_{}\frac{d{S}_{}}{dt}$. Thus system (2.13) has the form
where $\eta =col(\xi ,\zeta )$.
Define the Cauchy matrices ${\mathrm{\Phi}}_{+}(t,s)$ and ${\mathrm{\Phi}}_{}(t,s)$ such that ${\mathrm{\Phi}}_{+}(t,t)={E}_{k}$, ${\mathrm{\Phi}}_{}(t,t)={E}_{nk}$, where ${E}_{j}$ is a unit $(j\times j)$matrix.
Let us prove the following assertion about the representation of bounded solutions to system (2.1).
Theorem 2.2 Let all elements of $P(t)$ and $g(t)$ in system (2.1) be continuous and bounded for $t\in (\mathrm{\infty},+\mathrm{\infty})$, and let system (2.2) be hyperbolic. Then system (2.1) has a unique bounded solution and this solution can be represented in the form
where
Proof Let us substitute
into system (2.1), then we get the system
for which the homogeneous system is of the form (2.13), (2.14).
Consider the matrix (2.16). It follows from the properties of the matrices ${\mathrm{\Phi}}_{+}(t)$, ${\mathrm{\Phi}}_{}(t)$ that equality (2.17) is fulfilled. It follows from hyperbolicity of system (2.14) that
It follows from (2.16) and (2.20) that the integral in (2.15) converges for bounded functions $h(t)$ every t. Computing the derivative of Green’s matrix, we get
Let us verify now that formula (2.15) defines the solution of equation (2.19). Representing $z(t)$ in the form
differentiating it and taking into account (2.21) and (2.17), we get
The obtained solution is unique. If we assume the existence of two bounded solutions ${z}_{1}$ and ${z}_{2}$, then ${z}_{1}{z}_{2}$ is a bounded on the axis solution of (2.2). From hyperbolicity, it follows that it is a zero solution. □
Corollary 2.1 If homogeneous system (2.2) is hyperbolic and $k=n$ ($k=0$), then nonhomogeneous system (2.1) has a unique bounded for $t\in (\mathrm{\infty},+\mathrm{\infty})$ solution, and this solution can be represented in the following form:
where $G(t,s)=\mathrm{\Phi}(t){\mathrm{\Phi}}^{1}(s)$, $\mathrm{\Phi}(t)$ is a fundamental matrix of system (2.2).
Remark 2.1 If the matrix $P(t)$ in (2.1) is a constant one, analogous results are obtained in [29, 30]. The existence of a unique bounded solution under the assumption of the exponential dichotomy on $(\mathrm{\infty},+\mathrm{\infty})$ for system (2.2) with bounded variable coefficients is known (see, [27], p.69, Proposition 2). Similar topics were also studied in [31].
3 Results: about reduction of integrodifferential equations to systems of ordinary differential equations
3.1 Reduction to the system of firstorder ordinary differential equations
Consider the system
where the kernel $K(t,s)$ is of the form
Series in (3.2) can be, for example, corresponding orthogonal expansions, series of exponents. One of the interesting cases is a finite sum in (3.2). We assume that all the matrices ${\mathrm{\Phi}}_{j}(t)$ are differentiable and invertible. We can write
Define the socalled multiplicative derivative [32]
the matrix
is the Cauchy matrix of the system
Let us set
where ${h}_{j}(s,x(s))={K}_{j}(s,s)g(s,x(s))$.
If the matrix ${G}_{j}(t,s)$, defined by (3.5), satisfies the inequality
(this is the analog of (2.6)) for $k=n$, then ${z}_{j}(t,{t}_{0})$ in formula (3.7), according to Corollary 2.1, can be considered as a solution of the onepoint problem
where
if we consider $x(t)$ as a known function bounded on $(\mathrm{\infty},{t}_{0}]$. Adding to equation (3.8) the socalled initial function (continuous and bounded on $(\mathrm{\infty},{t}_{0}]$)
we can consider representation (3.7) as a substitution, which leads us to the onepoint problem
where ${z}_{j}^{0}$ was defined above.
We have proven the following assertion.
Theorem 3.1 Let

(a)
matrices ${\mathrm{\Phi}}_{j}(t)$ in the kernels (3.2) be continuously differentiable and invertible for $t\in (\mathrm{\infty},+\mathrm{\infty})$, $j=1,2,\dots $ ,

(b)
systems (3.6) be of dimension ${n}_{j}$, where
$${P}_{j}(t)=\frac{d{\mathrm{\Phi}}_{j}(t)}{dt}{\mathrm{\Phi}}_{j}^{1}(t),$$
be hyperbolic for every j in the sense of Definition 2.1 (for $k=n$).
Then the bounded solution $x(t)\in {R}^{n}$ of system (3.1) with the kernel of the form (3.2) and the initial function (3.9) and the first component $x(t)\in {R}^{n}$ of the solution to the countable system
where $x\in {R}^{n}$, ${z}_{j}\in {R}^{n}$, ${h}_{j}(t,x)={K}_{j}(t,t)g(t,x)$,
coincide.
Remark 3.1 If (3.2) is a finite sum, then system (3.11) is finite dimensional.
Remark 3.2 The system of the form
can be found in various applications. It can be reduced by the change of variable $t\xi =s$ to system (3.1) with the kernel $K(t,s)=K(ts)$.
Remark 3.3 System (3.11) can be used for studying qualitative properties and for an approximate solution of system (3.1) of integrodifferential system (3.1). An important basis is the theory of countable systems [33–37]; see also the papers [24, 38–41].
Remark 3.4 Analogous result could be obtained for the system
in Section 5.
3.2 Reduction to the system of ordinary differential equations of high orders
Consider the nonhomogeneous linear equation of n th order
and the corresponding homogeneous equation
where all coefficients ${p}_{j}$ ($j=1,\dots ,n$) and f are essentially bounded on $(\mathrm{\infty},+\mathrm{\infty})$.
Let
be a fundamental system of solutions of equation (3.14). Using (3.15), we can construct the solution $z=\psi (t,{t}_{0})$ such that
The function $\psi (t,s)$ is called the Cauchy function of equation (3.13) [42, 43]. Consider the function
assuming that the integral converges. Let us verify that (3.17) is a solution of (3.13). Actually,
for $k=1,\dots ,n1$, and
It follows from (3.18), (3.19) and the equality $L[\psi (t,{t}_{0})]=0$ that
The obtained particular solution satisfies the initial conditions
Example 3.1 For the equation
we get
Example 3.2 For the equation
we get
Consider the system
where $x=col(u,y)$, $u\in {R}^{n1}$, $y\in {R}^{1}$, and assume that
where ${\psi}_{j}(t,s)$ ($j=1,2,\dots $) are the Cauchy functions of corresponding linear equations
Define
and set
where φ is considered as a known function. Assuming that the Cauchy functions imply convergence of integrals (3.29) for all j and that the function φ is bounded, we obtained that system (3.26) is reduced to the countable system
in the sense that the solution of (3.26) coincides with the component x of the solution vector of (3.31).
4 Results: examples of reduction of integrodifferential equations to systems of ordinary differential equations
Example 4.1 Model of tumorimmune system [9]
This system is an example of twodimensional system (3.26) with distributed delay of x. In [9] the following kernel
is used and the case $n=1$ is studied in detail. It is clear from Example 3.1 (see (3.24) and (3.25)) that the substitution
reduces system (4.1) with the kernel (4.2) to the system of ordinary differential equations
which can be written as a system of the order $n+2$. Note that for $n=1$, the last equation in system (4.4) is of the form ${z}^{\mathrm{\prime}}+z=\lambda x$.
Example 4.2 Model of hematopoiesis [10]. This model can be written in the form
The coefficients α, β and δ in (4.5) are positive ωperiodic functions, the kernel K satisfies the condition ${\int}_{0}^{\mathrm{\infty}}K(\tau )\phantom{\rule{0.2em}{0ex}}d\tau =1$. The change of variable $t\tau =s$ and then the substitution of the type (4.3) in the case of the kernel (4.2) reduces integrodifferential equation (4.5) to the system of ordinary differential equations
Consider now the case of both distributed and concentrated delays in the system
Let us describe the process of reduction, which is similar to the process described in the Section 3.1. The vector x is of the form $x=col(y,z)$. Denoting
we make the substitution (compare with (3.7))
Introduce the initial functions
Under the assumption of convergence of the integrals, substitution (4.8) reduces (4.7) to the system
with the initial conditions defined by (4.10).
Example 4.3 The model of the planktonnutrient interaction [25]
The initial functions
The description of all parameters can be found in the paper [25]. $U(N)$ is a known function. Concerning the function $U(N)$, it is assumed that
A particular case of $U(N)$ is
Concerning the kernel, it is assumed that $F(t)$ is a bounded nonnegative function such that ${\int}_{\mathrm{\infty}}^{+\mathrm{\infty}}F(t)\phantom{\rule{0.2em}{0ex}}dt=1$.
In [25] the properties of system (4.12) are considered in various particular cases of the kernel $F(t)$. The most general of them is the following:
It is clear from (4.2) for $n=1$ that
The substitution (4.3) for $n=1$ is of the form
and it reduces system (4.12) to the system
5 Results: systems with advanced argument
Using results of Section 2 and approach of Section 3 (Section 3.1), we describe reduction of the integrodifferential system
and the kernel
to a system of ordinary differential equations. Introducing the matrix ${G}_{j}(t,s)$ and the equation
by the formulas (3.3), (3.4) and (3.5), let us require that ${G}_{j}(t,s)$ ($j=1,2,\dots $) satisfy inequalities (2.6) under the assumption that $k=0$ in the condition of hyperbolicity.
Introduce the substitution
According to Corollary 2.1, we can consider (5.3) for $k=0$ as the solution of the onepoint problem for system (3.8), supposing $x(t)$ is a known function
As a result, we obtain an analog of Theorem 3.1 for equation (5.1) with the kernel (5.2).
Theorem 5.1 Let

(a)
matrices ${\mathrm{\Phi}}_{j}(t)$ in the kernels (5.2) be continuously differentiable and invertible for $t\in (\mathrm{\infty},+\mathrm{\infty})$, $j=1,2,\dots $ ,

(b)
systems (3.6) be of dimension ${n}_{j}$, where
$${P}_{j}(t)=\frac{d{\mathrm{\Phi}}_{j}(t)}{dt}{\mathrm{\Phi}}_{j}^{1}(t),$$
be hyperbolic for every j in the sense of Definition 2.1 (for $k=n$).
Then the bounded solution $x(t)\in {R}^{n}$ of system (5.1) with the kernel of the form (5.2) and the end function (5.4) and the first component $x(t)\in {R}^{n}$ of the solution to the system
where $x\in {R}^{n}$, ${z}_{j}\in {R}^{n}$, ${h}_{j}(t,x)={K}_{j}(t,t)g(t,x)$,
coincide.
6 Results: about systems with both delayed and advanced argument
Let us consider system (1.2) with distributed delay and advance. Denote $x=col(y,z)$ in such a form that system (1.2) can be written in the form
Using the technique of Sections 3 and 5, we introduce
where ${h}_{j}^{i}(t,x)={K}_{i}(t,t){g}_{j}(t,x)$, $i=1,2$, $j=1,2,\dots $ and denote ${P}_{j}^{1}(t)=\frac{d{\mathrm{\Phi}}_{j}}{dt}{\mathrm{\Phi}}_{j}^{1}(t)$, $j=1,2,\dots $ , ${P}_{r}^{2}(t)=\frac{d{\mathrm{\Phi}}_{r}}{dt}{\mathrm{\Phi}}_{r}^{1}(t)$, $r=1,2,\dots $ .
Requiring ${G}_{j}^{i}(t,s)$ satisfies inequality (2.6), the first for $k=n$ and the second for $k=0$, we obtain that solution $x=col(y,z)$ of system (6.1) satisfies also the following problem:
with conditions
7 Conclusions
The method described above allows us to reduce systems of integrodifferential systems with distributed delay and/or advance to systems of ordinary differential equations. For Volterra systems of the type (1.1), it was a basis for studying stability, bifurcation, Floquet theory, parametric resonance, stabilization and oscillation properties for integrodifferential equations with ordinary [13–18, 20] and partial [21, 22] derivatives. We could extend the main results of these works to integrodifferential equation (1.2).
Generally speaking, after the reduction, we get infinity dimensional systems of ordinary differential equations. For their analysis, the theory of countable differentiable systems could be used [33–37].
In the study of various biological systems, the linear chain trick method was used (see, for example, [9, 10]). It is clear (see Section 4) that our approach includes the linear trick method. Note also the use of Wtransform, which also allows researchers to reduce integrodifferential equations to systems of ordinary differential equations [11].
The proposed method allows us also to study generalized and impulsive systems. For example, in the case of discontinuous solutions described by Heaviside functions ${H}_{a}(t)$, we can use its connection with δfunction: ${H}_{a}(t)={\int}_{\mathrm{\infty}}^{t}{\delta}_{a}(\xi )\phantom{\rule{0.2em}{0ex}}d\xi $ and to get to a system of integrodifferential equations. Introducing the sequence, for example,
where $\lambda \to \mathrm{\infty}$, we can consider the obtained system of integrodifferential equations as an approximation of generalized equations. This allows us in corresponding cases to reduce the study of a generalized and impulsive system to the analysis of the sequence of integrodifferential equations, and consequently to the analysis of the corresponding sequence of systems of ordinary differential equations.
References
 1.
Drozdov AD, Kolmanovskii VB: Stability in Viscoelasticity. North Holland, Amsterdam; 1994.
 2.
Fabrizio M, Morro A SIAM Stud. Appl. Math. In Mathematical Problems in Linear Viscoelasticity. SIAM, Philadelphia; 1992.
 3.
Golden JM, Graham GAC: Boundary Value Problems in Linear Viscoelasticity. Springer, Berlin; 1988.
 4.
Gurtin ME, Pipkin AC: A general theory of heat conduction with finite wave speeds. Arch. Ration. Mech. Anal. 1968, 31: 113126. 10.1007/BF00281373
 5.
NovickCohen A: Conserved phasefield equations with memory. GAKUTO Internat. Ser. Math. Sci. Appl 5. In Curvature Flows and Related Topics. Edited by: Damlamian A, Spruck J, Visintin A. Gakkotosho, Tokyo; 1995:179197.
 6.
Corduneanu C: Integral Equations and Stability Feedback Systems. Academic Press, New York; 1973.
 7.
Corduneanu C: Integral Equations and Applications. Cambridge University Press, Cambridge; 1991.
 8.
Burton TA: Volterra Integral and Differential Equations. Academic Press, New York; 1983.
 9.
D’Onofrio A, Gatti F, Cerrai P, Freshi L: Delayinduced oscillatory dynamics of tumorimmune system interaction. Math. Comput. Model. 2010, 52: 572591.
 10.
Weng PX: Global attractive periodic solution in a model of hematopoiesis. Comput. Math. Appl. 2002, 44: 10191030. 10.1016/S08981221(02)002110
 11.
Ponosov A, Shindiapin A, Miguel J: The Wtransform links delay and ordinary differential equations. Funct. Differ. Equ. 2002, 9: 437470.
 12.
Domoshnitsky A: Exponential stability of convolution integrodifferential equations. Funct. Differ. Equ. 1998, 5: 445455.
 13.
Domoshnitsky A, Gotser Y: Hopf bifurcation of integrodifferential equations. Electron. J. Qual. Theory Differ. Equ. 2000, 3: 111.
 14.
Domoshnitsky A, Goltser Y: Approach to study of bifurcations and stability of integrodifferential equations. Math. Comput. Model. 2002, 36: 663678. 10.1016/S08957177(02)001668
 15.
Domoshnitsky A, Goltser Y: On stability and boundary value problems for integrodifferential equations. Nonlinear Anal., Theory Methods Appl. 2005, 63(57):e761e767. 10.1016/j.na.2005.01.015
 16.
Goltser Y, Domoshnitsky A: Bifurcation and stability of integrodifferential equations. Nonlinear Anal., Theory Methods Appl. 2001, 47: 953967. 10.1016/S0362546X(01)002371
 17.
Agarwal RP, Bohner M, Domoshnitsky A, Goltser Ya: Floquet theory and stability of nonlinear integrodifferential equations. Acta Math. Hung. 2005, 109(4):305330. 10.1007/s1047400502507
 18.
Goltser Y, Agronovich G: Normal form and parametric resonance in linear almost periodic systems. Funct. Differ. Equ. 2002, 9: 117134.
 19.
Goltser Y: On bifurcation of steady resonance modes for nonlinear integrodifferential equations. Differ. Equ. Dyn. Syst. 2006, 2: 239251.
 20.
Domoshnitsky A, Maghakyan A, Puzanov N: About stabilization by feedback control in integral form. Georgian Math. J. 2012. 10.1515/gmj20120033
 21.
Agarwal RP, Domoshnitsky A, Goltser Y: Stability of partial functional integrodifferential equations. J. Dyn. Control Syst. 2006, 12: 131. 10.1007/s104500069681x
 22.
Domoshnitsky A, Goltser Y: Constructive approach to phase transition model. Funct. Differ. Equ. 2000, 7: 269278.
 23.
Goltser Y, Litsyn L: Volterra integrodifferential systems of ordinary differential equations. Math. Comput. Model. 2005, 42: 221233. 10.1016/j.mcm.2004.01.014
 24.
Goltser Y, Litsyn L: Nonlinear Volterra IDE, infinite systems and normal form of ODE. Nonlinear Anal., Theory Methods Appl. 2008, 68: 15531569. 10.1016/j.na.2006.12.036
 25.
Shingui R: The effect of delays on stability and persistence in plankton models. Nonlinear Anal., Theory Methods Appl. 1995, 24: 575585. 10.1016/0362546X(95)93092I
 26.
Filatov AN: Averaging in Differential and IntegroDifferential Equations. FAN, Tashkent; 1971. (in Russian)
 27.
Coppel WA Lecture Notes in Mathematics 629. In Dichotomies in Stability Theory. Springer, Berlin; 1978.
 28.
Pliss VA: Integral Sets of Periodic Systems of Differential Equations. Nauka, Moscow; 1977.
 29.
Bibikov YN: Course of Ordinary Differential Equations. Vysshaya Shkola, Moscow; 1991.
 30.
Demidovich BP: Lectures on the Mathematical Theory of Stability. Nauka, Moscow; 1967.
 31.
Mitropolsky YA, Samoilenko AM, Kulik VL Stability and Control: Theory, Methods and Applications 14. In Dichotomies and Stability in Nonautonomous Linear Systems. Taylor & Francis, London; 2003.
 32.
Gantmacher FR: Theory of Matrices. Chelsea Publishing, New York; 1959.
 33.
Persidskii KP 2. In Selected Works. Nauka, AlmaAta; 1976.
 34.
Persidskii KP: On stability of solutions to a countable systems of differential equations. Izv. AS Kaz. SSR, Math. Mech. 1948, 2: 235.
 35.
Persidskii KP: Infinite systems of differential equations. Izv. AS Kaz. SSR, Math. Mech. 1956, 4(8):311.
 36.
Persidskii KP: Countable systems of differential equations and stability of their solutions. Izv. AS Kaz. SSR, Math. Mech. 1959, 7(11):5271.
 37.
Valeev KG, Zhautykov OA: Infinite Systems of Differential Equations. Nauka, AlmaAta; 1974.
 38.
Domoshnitsky A, Litsyn E: Positivity of the Green’s matrix of infinite system. Panam. Math. J. 2006, 16(2):2740.
 39.
Domoshnitsky A, Goltser Y: Positivity of solutions to boundary value problems for infinite functional differential systems. Math. Comput. Model. 2007, 45(1112):13951404. 10.1016/j.mcm.2006.09.024
 40.
Litsyn L: On the formula for general solution of infinite system of functional differential equations. Funct. Differ. Equ. 1994, 2: 111121.
 41.
Litsyn L: On the general theory of liner functional differential equations. Differ. Uravn. (Minsk) 1988, 24: 977986.
 42.
Goursat E: Cours d’analyse mathematique. GauthierVillars, Paris; 1925.
 43.
Stepanov, VV: Course of Differential Equations. Moscow (1958)
Acknowledgements
Authors thank the reviewers for their reports, which have essentially improved the paper.
Author information
Additional information
Competing interests
There are no competing interests.
Authors’ contributions
Results are obtained by both authors as a result of their many years of collaboration. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Received
Accepted
Published
DOI
Keywords
 integrodifferential equations
 fundamental matrix
 Cauchy matrix
 hyperbolic systems