# About reducing integro-differential equations with infinite limits of integration to systems of ordinary differential equations

- Yakov Goltser
^{1}and - Alexander Domoshnitsky
^{1}Email author

**2013**:187

https://doi.org/10.1186/1687-1847-2013-187

© Goltser and Domoshnitsky; licensee Springer 2013

**Received: **21 January 2013

**Accepted: **30 May 2013

**Published: **26 June 2013

## Abstract

The purpose of this paper is to propose a method for studying integro-differential equations with infinite limits of integration. The main idea of this method is to reduce integro-differential equations to auxiliary systems of ordinary differential equations.

**Results:** a scheme of the reduction of integro-differential 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 tumor-immune system interaction, hematopoiesis and plankton-nutrient interaction are considered.

**MSC:**45J05, 45J15, 34A12, 34K05, 34K30, 47G20.

## Keywords

## 1 Introduction

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 integro-differential equations were proposed in the papers [13–16]. The approach developed in these papers allowed researchers to define a notion of periodic integro-differential systems and to build the Floquet theory for integro-differential 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 integro-differential 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.

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 integro-differential equation (1.2) can be found also in various applications of such equations in, for example, models of tumor-immune system interaction [9], hematopoiesis [10], stability and persistence in plankton models [25] which will be considered below.

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, one-point 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. 70-74).

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 non-autonomous 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

where $x,w\in {R}^{n}$, *P* is an $n\times n$ matrix and *g* is an *n*-vector 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}_{-}=n-k$ 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

**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}^{n-k}$.

*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}_{-}=n-k$,

*then*

We present corresponding constructions, developed in [28] for the proof of this theorem, which will be used below in our paper.

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}_{n-k}$, 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

for which the homogeneous system is of the form (2.13), (2.14).

*t*. Computing the derivative of Green’s matrix, 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 integro-differential equations to systems of ordinary differential equations

### 3.1 Reduction to the system of first-order ordinary differential equations

where ${h}_{j}(s,x(s))={K}_{j}(s,s)g(s,x(s))$.

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(t-s)$.

**Remark 3.3** System (3.11) can be used for studying qualitative properties and for an approximate solution of system (3.1) of integro-differential 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

*n*th order

where all coefficients ${p}_{j}$ ($j=1,\dots ,n$) and *f* are essentially bounded on $(-\mathrm{\infty},+\mathrm{\infty})$.

**Example 3.1**For the equation

**Example 3.2**For the equation

*φ*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 integro-differential equations to systems of ordinary differential equations

**Example 4.1**Model of tumor-immune system [9]

*x*. In [9] the following kernel

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

*α*,

*β*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 integro-differential equation (4.5) to the system of ordinary differential equations

*x*is of the form $x=col(y,z)$. Denoting

with the initial conditions defined by (4.10).

**Example 4.3**The model of the plankton-nutrient interaction [25]

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$.

## 5 Results: systems with advanced argument

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.

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

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 $ .

## 7 Conclusions

The method described above allows us to reduce systems of integro-differential 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 integro-differential equations with ordinary [13–18, 20] and partial [21, 22] derivatives. We could extend the main results of these works to integro-differential 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 *W*-transform, which also allows researchers to reduce integro-differential equations to systems of ordinary differential equations [11].

*δ*-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 integro-differential equations. Introducing the sequence, for example,

where $\lambda \to \mathrm{\infty}$, we can consider the obtained system of integro-differential 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 integro-differential equations, and consequently to the analysis of the corresponding sequence of systems of ordinary differential equations.

## Declarations

### Acknowledgements

Authors thank the reviewers for their reports, which have essentially improved the paper.

## Authors’ Affiliations

## References

- Drozdov AD, Kolmanovskii VB:
*Stability in Viscoelasticity*. North Holland, Amsterdam; 1994.Google Scholar - Fabrizio M, Morro A SIAM Stud. Appl. Math. In
*Mathematical Problems in Linear Viscoelasticity*. SIAM, Philadelphia; 1992.View ArticleGoogle Scholar - Golden JM, Graham GAC:
*Boundary Value Problems in Linear Viscoelasticity*. Springer, Berlin; 1988.View ArticleGoogle Scholar - Gurtin ME, Pipkin AC: A general theory of heat conduction with finite wave speeds.
*Arch. Ration. Mech. Anal.*1968, 31: 113-126. 10.1007/BF00281373MathSciNetView ArticleGoogle Scholar - Novick-Cohen A: Conserved phase-field 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:179-197.Google Scholar - Corduneanu C:
*Integral Equations and Stability Feedback Systems*. Academic Press, New York; 1973.Google Scholar - Corduneanu C:
*Integral Equations and Applications*. Cambridge University Press, Cambridge; 1991.View ArticleGoogle Scholar - Burton TA:
*Volterra Integral and Differential Equations*. Academic Press, New York; 1983.Google Scholar - D’Onofrio A, Gatti F, Cerrai P, Freshi L: Delay-induced oscillatory dynamics of tumor-immune system interaction.
*Math. Comput. Model.*2010, 52: 572-591.View ArticleGoogle Scholar - Weng P-X: Global attractive periodic solution in a model of hematopoiesis.
*Comput. Math. Appl.*2002, 44: 1019-1030. 10.1016/S0898-1221(02)00211-0MathSciNetView ArticleGoogle Scholar - Ponosov A, Shindiapin A, Miguel J: The W-transform links delay and ordinary differential equations.
*Funct. Differ. Equ.*2002, 9: 437-470.MathSciNetGoogle Scholar - Domoshnitsky A: Exponential stability of convolution integro-differential equations.
*Funct. Differ. Equ.*1998, 5: 445-455.Google Scholar - Domoshnitsky A, Gotser Y: Hopf bifurcation of integro-differential equations.
*Electron. J. Qual. Theory Differ. Equ.*2000, 3: 1-11.Google Scholar - Domoshnitsky A, Goltser Y: Approach to study of bifurcations and stability of integro-differential equations.
*Math. Comput. Model.*2002, 36: 663-678. 10.1016/S0895-7177(02)00166-8MathSciNetView ArticleGoogle Scholar - Domoshnitsky A, Goltser Y: On stability and boundary value problems for integro-differential equations.
*Nonlinear Anal., Theory Methods Appl.*2005, 63(5-7):e761-e767. 10.1016/j.na.2005.01.015View ArticleGoogle Scholar - Goltser Y, Domoshnitsky A: Bifurcation and stability of integro-differential equations.
*Nonlinear Anal., Theory Methods Appl.*2001, 47: 953-967. 10.1016/S0362-546X(01)00237-1MathSciNetView ArticleGoogle Scholar - Agarwal RP, Bohner M, Domoshnitsky A, Goltser Ya: Floquet theory and stability of nonlinear integro-differential equations.
*Acta Math. Hung.*2005, 109(4):305-330. 10.1007/s10474-005-0250-7MathSciNetView ArticleGoogle Scholar - Goltser Y, Agronovich G: Normal form and parametric resonance in linear almost periodic systems.
*Funct. Differ. Equ.*2002, 9: 117-134.MathSciNetGoogle Scholar - Goltser Y: On bifurcation of steady resonance modes for nonlinear integro-differential equations.
*Differ. Equ. Dyn. Syst.*2006, 2: 239-251.MathSciNetGoogle Scholar - Domoshnitsky A, Maghakyan A, Puzanov N: About stabilization by feedback control in integral form.
*Georgian Math. J.*2012. 10.1515/gmj-2012-0033Google Scholar - Agarwal RP, Domoshnitsky A, Goltser Y: Stability of partial functional integro-differential equations.
*J. Dyn. Control Syst.*2006, 12: 1-31. 10.1007/s10450-006-9681-xMathSciNetView ArticleGoogle Scholar - Domoshnitsky A, Goltser Y: Constructive approach to phase transition model.
*Funct. Differ. Equ.*2000, 7: 269-278.MathSciNetGoogle Scholar - Goltser Y, Litsyn L: Volterra integro-differential systems of ordinary differential equations.
*Math. Comput. Model.*2005, 42: 221-233. 10.1016/j.mcm.2004.01.014MathSciNetView ArticleGoogle Scholar - Goltser Y, Litsyn L: Non-linear Volterra IDE, infinite systems and normal form of ODE.
*Nonlinear Anal., Theory Methods Appl.*2008, 68: 1553-1569. 10.1016/j.na.2006.12.036MathSciNetView ArticleGoogle Scholar - Shingui R: The effect of delays on stability and persistence in plankton models.
*Nonlinear Anal., Theory Methods Appl.*1995, 24: 575-585. 10.1016/0362-546X(95)93092-IView ArticleGoogle Scholar - Filatov AN:
*Averaging in Differential and Integro-Differential Equations*. FAN, Tashkent; 1971. (in Russian)Google Scholar - Coppel WA Lecture Notes in Mathematics 629. In
*Dichotomies in Stability Theory*. Springer, Berlin; 1978.Google Scholar - Pliss VA:
*Integral Sets of Periodic Systems of Differential Equations*. Nauka, Moscow; 1977.Google Scholar - Bibikov YN:
*Course of Ordinary Differential Equations*. Vysshaya Shkola, Moscow; 1991.Google Scholar - Demidovich BP:
*Lectures on the Mathematical Theory of Stability*. Nauka, Moscow; 1967.Google Scholar - 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.Google Scholar - Gantmacher FR:
*Theory of Matrices*. Chelsea Publishing, New York; 1959.Google Scholar - Persidskii KP 2. In
*Selected Works*. Nauka, Alma-Ata; 1976.Google Scholar - Persidskii KP: On stability of solutions to a countable systems of differential equations.
*Izv. AS Kaz. SSR, Math. Mech.*1948, 2: 2-35.Google Scholar - Persidskii KP: Infinite systems of differential equations.
*Izv. AS Kaz. SSR, Math. Mech.*1956, 4(8):3-11.Google Scholar - Persidskii KP: Countable systems of differential equations and stability of their solutions.
*Izv. AS Kaz. SSR, Math. Mech.*1959, 7(11):52-71.Google Scholar - Valeev KG, Zhautykov OA:
*Infinite Systems of Differential Equations*. Nauka, Alma-Ata; 1974.Google Scholar - Domoshnitsky A, Litsyn E: Positivity of the Green’s matrix of infinite system.
*Panam. Math. J.*2006, 16(2):27-40.MathSciNetGoogle Scholar - Domoshnitsky A, Goltser Y: Positivity of solutions to boundary value problems for infinite functional differential systems.
*Math. Comput. Model.*2007, 45(11-12):1395-1404. 10.1016/j.mcm.2006.09.024MathSciNetView ArticleGoogle Scholar - Litsyn L: On the formula for general solution of infinite system of functional differential equations.
*Funct. Differ. Equ.*1994, 2: 111-121.MathSciNetGoogle Scholar - Litsyn L: On the general theory of liner functional differential equations.
*Differ. Uravn. (Minsk)*1988, 24: 977-986.MathSciNetGoogle Scholar - Goursat E:
*Cours d’analyse mathematique*. Gauthier-Villars, Paris; 1925.Google Scholar - Stepanov, VV: Course of Differential Equations. Moscow (1958)Google 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 cited.