Skip to main content

Theory and Modern Applications

Existence of periodic solutions for differential equations with multiple delays under dichotomy condition

Abstract

Using Krasnoselskii’s fixed point theorem and dichotomy theory, we prove the existence of periodic solutions for differential equations with multiple delays of the form \(x'(t)+ cx'(t-\tau) = A(t)x(t) +f(t, x(t-\alpha_{1}(t)),\ldots, x(t-\alpha_{m}(t)))\), where the parameter \(c \ll1\) is a small perturbation for a delayed forced term. Moreover, we discuss the convergence of these solutions to a solution of the unperturbed problem as \(c \rightarrow0\).

1 Introduction

Delay differential equations are of interest in many areas of applications, such as population dynamics, drug administration, automatic control, laser optics, neural networks, economics and others (see for example [15]). There are significant theoretical researches on delay differential equation addressing many aspects of the dynamics, for example, stability of equilibria, existence of periodic solutions, complicated behavior, and chaos. Several methods were developed to obtain periodic solutions of autonomous delay differential equations, both for equations with time-invariant delay and with state-dependent delay. For references, see [68].

One of the main tools that has been extensively used when studying bounded solutions of differential equations is the concept of exponential dichotomy of the associated linear system

$$ x'(t) = A(t) x(t). $$
(1.1)

Several results on the existence and uniqueness of bounded solutions, periodic solutions and almost periodic solutions of both linear and nonlinear differential equations are obtained under the assumption that the associated homogeneous linear equation (1.1) has an exponential dichotomy (see, for example, [911] and references therein). However, there are similar results on the existence and uniqueness of bounded solutions under a more general condition such as the \((h,k)\)-dichotomy or the integrable dichotomy [12, 13]. In [13], the existence and uniqueness of periodic solutions of an integro-differential equations with bounded and unbounded delays were proved under the integrable dichotomy condition on system (1.1).

For the second order differential equation of motion

$$mx''(t) +bx'(t) +kx(t) = 0, $$

it has been studied that a time lag thats could result in the force represented by the term \(cx'(t - \tau)\) so that the equation becomes

$$mx''(t) +bx'(t) +cx'(t - \tau) + kx(t) = 0 $$

(see [14], p.236). Motivated by this, we will consider the first order linear system (1.1) with a small delayed forced term \(cx'(t-\tau)\). Our aim is to establish the existence of periodic solutions under periodic perturbation and multiple variable lags. More precisely, we consider the differential system (1.1) with periodic coefficients under the integrable dichotomy condition and a periodic nonlinear perturbation with several delays,

$$f\bigl(t, x\bigl(t-\alpha_{1}(t)\bigr),\ldots, x\bigl(t- \alpha_{m}(t)\bigr)\bigr), $$

together with a small delayed forced term \(cx'(t-\tau)\), which results in the following system:

$$ x'(t)+cx'(t-\tau) = A(t) x(t)+f\bigl(t, x\bigl(t-\alpha_{1}(t)\bigr),\ldots, x\bigl(t-\alpha_{m}(t) \bigr)\bigr), $$
(1.2)

where we consider the parameter \(c \ll1\) as a small perturbation. A similar problem was considered in [15] under an exponential-typed condition on the corresponding linear system. Our new result on the existence of periodic solutions of (1.2) is based on a more general condition of an integrable dichotomy and Krasnoselskii’s fixed point theorem.

It should also be noted that there are recent works in [16] and [17] on the existence of periodic solutions of similar systems of differential equations with multiple delays of the form

$$x'(t) = Ax(t) +\sum_{j=1}^{k} B_{j} x(t-j) + \sum_{j=1}^{k} C_{j} x'(t-j) +f(t) $$

and

$$x'(t) = Ax(t) +Bx(t-1) +Cx'(t-1) + F \bigl(t,x(t),x(t-1),\ldots,x(t-k)\bigr), $$

respectively. In those works, the periodic solutions are constructed as an infinite series \(x(t)= \sum_{i=0}^{\infty} x_{i}(t)\) of solutions of system of delay equations. In our work, the coefficients \(A(t)\) in system (1.2) is non-autonomous and the delay term \(x(t- \alpha _{i}(t))\) is more general. Moreover, we apply a different approach to obtain the existence of periodic solutions.

The paper is organized as follows. In the next section, some preliminary results on integrable dichotomy based on the result of [13], and the frameworks of our problem are introduced. Section 3 is devoted to establishing some criteria for the existence of periodic solutions of system (1.2). Finally, in Section 4, we discuss the convergence of these solutions to a solution of unperturbed problem as \(c \rightarrow0\).

2 Preliminaries and frameworks

The concept of an exponential dichotomy has been extensively used when studying bounded solutions of differential equations. Several results on the existence and uniqueness of bounded solutions, periodic solutions and almost periodic solutions of both linear and nonlinear differential equations are obtained under the assumption that the associated homogeneous linear equation satisfies the exponential dichotomy condition. However, there are similar results on the existence and uniqueness of bounded solutions under more general conditions such as the \((h,k)\)-dichotomy, integrable dichotomy, and integrable \((h,k)\)-dichotomy.

2.1 Periodic solutions for linear differential systems

Consider a linear differential system of the form (1.1), where \(A(t)\) is a continuous \(N \times N\) matrix function. Denote by \(\Phi(t)\) the fundamental matrix solution of system (1.1), that is, \(\Phi(t)\) is a solution matrix of (1.1) with \(\Phi(0)=I\). Let P be a projection matrix. We define a Green matrix \(G=G_{P}\) associated with P by

$$ G(t,s) = \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \Phi(t) P\Phi^{-1}(s) & \mbox{for } t \geq s,\\ -\Phi(t) (I-P) \Phi^{-1} (s) & \mbox{for } t < s. \end{array}\displaystyle \displaystyle \right . $$
(2.1)

We take the following definitions from [13].

Definition 2.1

We say that the linear differential system (1.1) has an integrable dichotomy if there exist a projection matrix P and a positive constant μ such that the associated Green matrix \(G= G_{P}\) satisfies

$$ \sup_{ t \in\mathbb{R}} \int_{-\infty}^{\infty} \bigl\| G(t,s)\bigr\| \,ds = \mu. $$
(2.2)

A special case of an integrable dichotomy includes the following class of integrable \((h,k)\)- dichotomies.

Definition 2.2

Let \(h, k : \mathbb{R} \rightarrow\mathbb{R}^{+}\) be two positive continuous functions. We say that the linear differential system (1.1) has an \((h,k)\)-dichotomy if there exist a projection matrix P and a positive constant c such that the associated Green matrix \(G= G_{P}\) satisfies

$$\bigl\| G(t,s)\bigr\| \leq g_{h,k} (t,s), $$

for all \(t,s \in\mathbb{R}\) where

$$ g_{h,k}(t,s) = \left \{ \textstyle\begin{array}{@{}l@{\quad}l} c \frac{h(t)}{h(s)}& \mbox{for } t \geq s,\\ c \frac{k(s)}{k(t)} & \mbox{for } t \leq s. \end{array}\displaystyle \right . $$
(2.3)

In addition, if there exists \(\mu_{h,k} >0\) such that

$$\sup_{ t \in\mathbb{R}} \int_{-\infty}^{\infty} g_{h,k}(t,s)\,ds = \mu_{h,k} $$

then we say that the linear differential system (1.1) has an integrable \((h,k)\)-dichotomy.

Remark

If the differential system (1.1) has an integrable \((h,k)\)-dichotomy with projection P, then (1.1) has an integrable dichotomy for which \(\Phi(t)P\Phi^{-1}(t)\) is bounded.

We review the following result about bounded solutions of linear differential system (1.1).

Proposition 2.1

([13])

Suppose that a linear differential system (1.1) has an integrable dichotomy. Then \(x(t) = 0\) is the unique bounded solution of (1.1).

Under an integrable dichotomy condition for system (1.1), we consider the solution of the corresponding non-homogeneous linear system

$$ x'(t) = A(t)x(t)+f(t). $$
(2.4)

We denote by \(BC(\mathbb{R}, \mathbb{R}^{N})\) the set of all bounded and continuous functions defined on \(\mathbb{R}\) to \(\mathbb{R}^{N}\).

Theorem 2.1

([13])

Suppose that the homogeneous system (1.1) has an integrable dichotomy. If f is a function in \(BC(\mathbb{R}, \mathbb{R}^{N})\), then system (2.4) has a unique bounded solution \(x \in BC(\mathbb{R}, \mathbb{R}^{N})\). Moreover, we have

$$ x(t)= \int_{-\infty}^{\infty} G(t,s) f(s)\,ds. $$
(2.5)

In addition, if the differential operator \(A(t)\) and the non-homogeneous term \(f(t)\) are T-periodic, we can obtain periodic solutions of (2.4).

Proposition 2.2

([13])

Suppose that the homogeneous system (1.1) has an integrable dichotomy for which \(\Phi(t)P\Phi^{-1}(t)\) is bounded. If \(A(t+T) =A(t)\), then \(\Phi(t)P\Phi^{-1}(t)\) is also T-periodic.

Theorem 2.2

([13])

Suppose that the homogeneous system (1.1) has an integrable dichotomy for which \(\Phi(t)P\Phi^{-1}(t)\) is bounded. If \(A(t+T) =A(t)\) and \(f \in BC(\mathbb{R}, \mathbb{R}^{N}) \) is T-periodic, then (2.4) has a unique periodic solution satisfying (2.5).

2.2 Frameworks

In this paper, we will investigate the existence of a periodic solution of a delay differential equation of the form (1.2), where τ and c are constants with \(|c|\ll1\) sufficiently small perturbation and \(\alpha_{i}(t)\), \(i=1,2,\ldots,m\), are real continuous functions on \(\mathbb{R}\) with period \(T>0\).

Denote

$$BC^{1}\bigl(\mathbb{R}, \mathbb{R}^{N}\bigr) = \bigl\{ u : \mathbb{R} \rightarrow\mathbb{R}^{N} \mid u, u' \mbox{ are bounded and continuous} \bigr\} . $$

It is easily seen that \(BC^{1}(\mathbb{R}, \mathbb{R}^{N})\) is a Banach space when equipped with the norm

$$\|u\| = \|u\|_{\infty} + \bigl\| u'\bigr\| _{\infty}, $$

where \(\|u\|_{\infty} = \sup_{t \in\mathbb{R}} |u(t)|\) and \(\|u'\|_{\infty} = \sup_{t \in\mathbb{R}} |u'(t)|\).

Let \(u \in BC^{1}(\mathbb{R}, \mathbb{R}^{N})\) be a T-periodic function. Consider the linear periodic systems (1.1) and the corresponding non-homogeneous system

$$ x'(t) = A(t) x(t) + f\bigl(t, u\bigl(t- \alpha_{1}(t)\bigr),\ldots, u\bigl(t-\alpha_{m}(t)\bigr) \bigr) -c u'(t -\tau). $$
(2.6)

We assume the following conditions.

Assumption 1

We assume that \(A(t)\) is an \(N \times N\) real continuous matrix function defined on \(\mathbb{R}\) and T-periodic, that is, \(A(t+T) = A(t)\) for all \(t \in\mathbb{R}\).

Note that by the periodicity and continuity of \(A(t)\), we have

$$ L:= \sup_{t \in\mathbb{R}} \bigl\| A(t)\bigr\| < \infty. $$
(2.7)

Assumption 2

System (1.1) has an integrable dichotomy for which \(\Phi(t)P\Phi^{-1}(t)\) is bounded.

Here, \(\Phi(t)\) is the fundamental matrix solution of (1.1). Hence, the associated Green matrix \(G (t,s)\) given by (2.1) satisfies (2.2) for some positive constant μ.

In addition, we impose the following condition on f.

Assumption 3

We assume that \(f(t,u_{1},\ldots,u_{k})\) is a real continuous vector function defined on \(\mathbb{R} \times\mathbb{R}^{N} \times\cdots\times\mathbb{R}^{N}\) such that

  1. (i)

    \(f(t+T,u_{1},\ldots,u_{m}) =f(t,u_{1},\ldots,u_{m})\) for all \((t,u_{1},\ldots,u_{m}) \in\mathbb{R} \times\mathbb{R}^{N} \times\cdots\times \mathbb{R}^{N}\).

  2. (ii)

    There exists a positive constant \(r < \frac {1}{m(1+L\mu+\mu)}\) such that

    $$\bigl|f(t,u_{1},\ldots,u_{m}) -f(t,v_{1}, \ldots,v_{m}) \bigr| < r \bigl(|u_{1}-v_{1}|+|u_{2}-v_{2}|+ \cdots+|u_{m}-v_{m}| \bigr), $$

    for every \(u_{1}, u_{2},\ldots, u_{m},v_{1},v_{2},\ldots,v_{m} \in\mathbb{R}^{N}\) and \(t\in \mathbb{R}\),

where the constants L and μ are given by (2.7) and (2.2), respectively.

We prove the existence of a periodic solution of (1.2) under an integrable dichotomy condition.

By Theorem 2.2, system (2.6) has a unique periodic solution satisfying the integral equation

$$ x(t) = \int_{-\infty}^{\infty} G(t,s) \bigl[ f\bigl(s, u \bigl(s-\alpha_{1}(s)\bigr),\ldots, u\bigl(s-\alpha_{m}(s) \bigr)\bigr) -c u'(s -\tau) \bigr]\,ds. $$
(2.8)

3 Existence of periodic solutions

In this section, we prove our main result on the existence of periodic solutions to system (1.2).

Theorem 3.1

Suppose that Assumptions 1, 2, and 3 are satisfied. For every \(|c| \ll1\) sufficiently small, there exists at least a T-periodic solution of system (1.2).

To establish the existence result, we will apply Krasnoselskii’s fixed point theorem [18] as stated below.

Theorem 3.2

Let K be a bounded nonempty closed and convex subset of a Banach space X. Suppose that \(\Gamma_{1}\) and \(\Gamma_{2}\) are maps on K into X such that

  1. (i)

    \(\Gamma_{1} x + \Gamma_{2} y \in K\) for all \(x,y \in K\);

  2. (ii)

    \(\Gamma_{1}\) is a contraction on K;

  3. (iii)

    \(\Gamma_{2}\) is completely continuous on K.

Then there exists \(x^{*} \in K\) such that \(\Gamma_{1} x^{*} + \Gamma_{2} x^{*} = x^{*}\).

For \(u \in BC^{1}(\mathbb{R}, \mathbb{R}^{N})\), we define the operators V and W by

$$ (V u) (t) := -c u(t - \tau) $$
(3.1)

and

$$ (W u) (t) :=\int_{-\infty}^{\infty} G(t,s) \bigl[ f\bigl(s, u\bigl(s-\alpha_{1}(s)\bigr),\ldots, u\bigl(s- \alpha_{m}(s)\bigr)\bigr) -c u'(s -\tau) \bigr]\,ds + c u(t - \tau). $$
(3.2)

Lemma 3.1

The operators V and W defined above are operators from \(BC^{1}(\mathbb{R}, \mathbb{R}^{N})\) into itself, that is, \(V,W: BC^{1}(\mathbb{R}, \mathbb{R}^{N}) \rightarrow BC^{1}(\mathbb{R}, \mathbb{R}^{N})\).

Proof

The statement is clear for V. By Assumption 1, we see that

$$ \sup_{t \in[0,T]} \bigl\| A(t)\bigr\| :=L < \infty. $$
(3.3)

Denoted by \(\nu:= \sup_{t \in[0,T]} |f(t,0,\ldots,0)|\). Let \(u \in BC^{1}(\mathbb{R}, \mathbb{R}^{N})\) be arbitrary, we have from Assumption 3

$$\begin{aligned} &\bigl|f\bigl(t, u\bigl(t-\alpha_{1}(t)\bigr), \ldots, u\bigl(t-\alpha_{m}(t)\bigr)\bigr)\bigr| \\ & \quad\leq\bigl|f\bigl(t, u\bigl(t-\alpha_{1}(t)\bigr),\ldots, u\bigl(t- \alpha_{m}(t)\bigr)\bigr)-f(t,0,\ldots,0)\bigr| +\bigl|f(t,0,\ldots,0)\bigr| \\ &\quad \leq r \bigl( \bigl|u\bigl(t-\alpha_{1}(t)\bigr)\bigr|+ \cdots+ \bigl|u\bigl(t- \alpha_{m}(t)\bigr)\bigr|\bigr) + \bigl|f(t,0,\ldots,0)\bigr| \\ &\quad \leq rm \|u\| + \sup_{t \in[0,T]} \bigl|f(t,0,\ldots,0)\bigr| \\ &\quad \leq rm \|u\| + \nu \end{aligned}$$
(3.4)

for all \(t \in\mathbb{R}\). It follows that

$$\begin{aligned} \bigl|(W u) (t)\bigr| \leq{}&\int_{-\infty}^{\infty} \bigl\vert G(t,s) \bigl[ f\bigl(s, u\bigl(s-\alpha_{1}(s)\bigr), \ldots, u\bigl(s-\alpha_{m}(s)\bigr)\bigr) -c u'(s -\tau) \bigr] \bigr\vert \,ds \\ &{}+ |c| \bigl|u(t - \tau)\bigr| \\ \leq{}&\mu\bigl(rm \|u\| + \nu\bigr)+ \mu|c| \bigl\| u'\bigr\| _{\infty} + |c| \|u\|_{\infty} \\ \leq{}&\mu \bigl(rm \|u\| + \nu\bigr)+\mu|c| \|u\| + |c| \|u\| \end{aligned}$$

for all \(t \in\mathbb{R}\). Hence, \(\|Wu\|_{\infty} \leq\mu(r m \|u\| + \nu)+\mu|c| \|u\| + |c| \|u\|\). In addition,

$$\begin{aligned} (W u)'(t) ={}& \frac{d}{dt} \biggl(\int_{-\infty}^{\infty} G(t,s) \bigl[ f\bigl(s, u\bigl(s-\alpha_{1}(s)\bigr),\ldots, u\bigl(s- \alpha_{m}(s)\bigr)\bigr) -c u'(s -\tau) \bigr]\,ds \biggr) \\ &{}+ c u'(t-\tau) \\ ={}& A(t) \int_{-\infty}^{\infty} G(t,s) \bigl[ f\bigl(s, u \bigl(s-\alpha_{1}(s)\bigr),\ldots, u\bigl(s-\alpha_{m}(s) \bigr)\bigr) -c u'(s -\tau) \bigr]\,ds \\ &{} + f\bigl(t, u\bigl(t-\alpha_{1}(t)\bigr),\ldots, u\bigl(t- \alpha_{m}(t)\bigr)\bigr) -c u'(t -\tau) + c u'(t-\tau) \\ ={}& A(t) \int_{-\infty}^{\infty} G(t,s) \bigl[ f\bigl(s, u \bigl(s-\alpha_{1}(s)\bigr),\ldots, u\bigl(s-\alpha_{m}(s) \bigr)\bigr) -c u'(s -\tau) \bigr]\,ds \\ &{} + f\bigl(t, u\bigl(t-\alpha_{1}(t)\bigr),\ldots, u\bigl(t- \alpha_{m}(t)\bigr)\bigr). \end{aligned}$$
(3.5)

Thus,

$$\begin{aligned} \bigl|(W u)'(t)\bigr| \leq{}&\bigl\| A(t)\bigr\| \biggl\vert \int_{-\infty}^{\infty} G(t,s) \bigl[ f\bigl(s, u\bigl(s- \alpha_{1}(s)\bigr),\ldots, u\bigl(s-\alpha_{m}(s)\bigr) \bigr) -c u'(s -\tau) \bigr]\,ds \biggr\vert \\ &{} +\bigl\vert f\bigl(t, u\bigl(t-\alpha_{1}(t)\bigr),\ldots, u \bigl(t-\alpha_{m}(t)\bigr)\bigr) \bigr\vert \\ \leq{}& L \mu \bigl[\bigl(r m \|u\| + \nu\bigr) +|c| \|u\| \bigr] + r m \| u\| + \nu \end{aligned}$$

for all \(t \in\mathbb{R}\). Hence,

$$\bigl\| (Wu)'\bigr\| _{\infty} \leq L \mu \bigl[ \bigl(r m \|u\| + \nu\bigr)+ |c| \|u\| \bigr] + r m \|u\| + \nu. $$

Consequently, we have

$$\begin{aligned} \|Wu\| \leq{}&\mu\bigl(r m \|u\| + \nu\bigr)+ \mu|c| \|u\| + |c| \|u\| \\ &{} + L \mu \bigl[ \bigl(r m \|u\| + \nu\bigr)+ |c| \|u\| \bigr] + r m \|u\| + \nu \\ ={}& (L+1)\mu \bigl[ \bigl(r m \|u\| + \nu\bigr)+ |c| \|u\| \bigr] + \bigl(|c|+rm\bigr)\|u\| + \nu< \infty. \end{aligned}$$
(3.6)

The lemma follows. □

It is clear that if \(V+W\) has a fixed point, then the fixed point is a periodic solution of (1.2). Hence, we will turn to the problem of establishing a fixed point of the operator \(V+W\).

Let \(M > 0\) be a positive constant. Denote

$$K_{M} = \bigl\{ u \in BC^{1}\bigl(\mathbb{R}, \mathbb{R}^{N}\bigr) : \|u\| \leq M \mbox{ and } u(t+T) = u(t) \mbox{ for all } t \in\mathbb{R} \bigr\} $$

and

$$B_{M} = \bigl\{ u \in BC^{1}\bigl(\mathbb{R}, \mathbb{R}^{N}\bigr) : \|u\| < M \mbox{ and } u(t+T) = u(t) \mbox{ for all } t \in\mathbb{R} \bigr\} . $$

Clearly, the set \(K_{M}\) is a bounded nonempty closed and convex subset of \(BC^{1}(\mathbb{R}, \mathbb{R}^{N})\).

Lemma 3.2

The operator \(V: BC^{1}(\mathbb{R}, \mathbb{R}^{N}) \rightarrow BC^{1}(\mathbb{R}, \mathbb{R}^{N})\) defined by (3.1) is a contraction.

Proof

The result is clear since \(\|Vu\| = |c| \|u\|\) for \(u \in BC^{1}(\mathbb{R}, \mathbb{R}^{N})\) and \(|c| < 1\). □

Lemma 3.3

There exists \(M>0\) such that, for any \(v,w \in K_{M}\), we have \(Vv + Ww \in K_{M}\) whenever \(|c| \ll1\) is sufficiently small.

Proof

Let \(v,w \in K_{M}\). Then \(\|v\|, \|w\| \leq M\). By (3.6), we have

$$\begin{aligned} \| Vv +Ww \| &\leq|c| M +(L+1)\mu \bigl[ \bigl(r m M + \nu\bigr)+ |c| M \bigr] + \bigl(|c|+rm\bigr)M + \nu \\ & = \bigl[ |c| + (L+1) \mu r m + (L+1) \mu|c| + |c|+rm \bigr]M +(L+1)\mu\nu+ \nu \\ & = \bigl[ 2|c| +rm + (L+1) \mu_{h,k} \bigl(r m + |c|\bigr) \bigr]M +(L+1) \mu_{h,k}\nu+ \nu \\ &= \biggl[ 2|c| +rm + (L+1) \mu\bigl(r m + |c|\bigr) + \frac{(L+1)\mu\nu+ \nu }{M} \biggr]M \\ &\leq \biggl[ \bigl(2|c| +rm\bigr) \bigl(1+ (L+1) \mu \bigr) + \frac{(L+1)\mu\nu + \nu}{M} \biggr]M \\ &= \biggl[ 2|c| \bigl(1+ (L+1) \mu \bigr) +rm \bigl(1+ (L+1) \mu \bigr) + \frac{(L+1)\mu\nu+ \nu}{M} \biggr]M . \end{aligned}$$
(3.7)

By Assumption 3, we have

$$ rm \bigl(1+ (L+1) \mu \bigr) < \frac{m (1+ (L+1) \mu )}{ m(1+L\mu+ \mu)} = 1. $$
(3.8)

We can choose \(|c| \ll1\) sufficiently small so that

$$ 2|c| \bigl(1+ (L+1) \mu \bigr) + rm \bigl(1+ (L+1) \mu \bigr)< 1. $$
(3.9)

In addition, since \(\frac{(L+1)\mu\nu+ \nu}{M} \rightarrow0\) as \(M \rightarrow\infty\), we can choose \(M>0\) sufficiently large so that

$$ \frac{(L+1)\mu\nu+ \nu}{M} < 1 - 2|c| \bigl(1+ (L+1) \mu \bigr) - rm \bigl(1+ (L+1) \mu \bigr). $$
(3.10)

It follows from (3.7), (3.9), and (3.10) that

$$\| Vv +Ww \| < M, $$

for all \(v, w \in K_{M}\). □

We next prove that W is a completely continuous operator on \(K_{M}\), which is a consequence of the following lemma.

Lemma 3.4

The set \(W (B_{M})\) is relatively compact in \(BC^{1}(\mathbb{R}, \mathbb{R}^{N})\).

Proof

Since \(W(B_{M}) \subset K_{M}\), we see that \(\{Wu: u \in B_{M} \}\) is bounded in \(BC^{1}(\mathbb{R}, \mathbb{R}^{N})\). In particular, we have

$$\| Wu \|_{\infty} < M $$

and

$$\bigl\| (Wu)' \bigr\| _{\infty} < M $$

for all \(u \in B_{M}\). Therefore, \(\{Wu: u \in B_{M} \}\) is equicontinuous. Let \(u_{n}\) be arbitrary sequence in \(B_{M}\). It follows from the Arzela-Ascoli theorem that there is a subsequence, denoted again by \(u_{n}\), such that

$$\| W u_{n} - v \|_{\infty} \rightarrow0 $$

as \(n \rightarrow\infty\) with the limit \(v \in BC(\mathbb{R}, \mathbb{R}^{N})\). Moreover, for any \(u \in B_{M}\), we have from (3.5)

$$\begin{aligned} (Wu)'(t)={} & A(t) \int _{-\infty}^{\infty} G(t,s) \bigl[ f\bigl(s, u\bigl(s- \alpha_{1}(s)\bigr),\ldots, u\bigl(s-\alpha_{m}(s)\bigr) \bigr) -c u'(s -\tau) \bigr]\,ds \\ &{} + f\bigl(t, u\bigl(t-\alpha_{1}(t)\bigr),\ldots, u\bigl(t- \alpha_{m}(t)\bigr)\bigr) \\ ={}& A(t) \bigl[(Vu) (t) + (Wu) (t)\bigr] + f\bigl(t, u\bigl(t- \alpha_{1}(t)\bigr),\ldots, u\bigl(t-\alpha_{m}(t)\bigr) \bigr). \end{aligned}$$

Notice that \(A(t)\) is uniformly continuous on \([0,T]\) and \(f(t,u_{1},\ldots,u_{m})\) is uniformly continuous on \([0,T] \times\{x \in\mathbb{R}^{N} : |x| \leq M \} \times\cdots \times\{x \in\mathbb{R}^{N} : |x| \leq M \}\). In addition, the families \(\{ u \in B_{M}\}\), \(\{ Vu : u \in B_{M} \}\), and \(\{ Wu : u \in B_{M} \}\) are equicontinuous. Therefore, \(\{ (Wu)' : u \in B_{M} \}\) is equicontinuous. It follows from the Arzela-Ascoli theorem that there is a further subsequence \(u_{n_{k}}\) such that

$$\bigl\| (W u_{n_{k}} )' - w \bigr\| _{\infty} \rightarrow0 $$

as \(k \rightarrow\infty\) with the limit \(w \in BC(\mathbb{R}, \mathbb{R}^{N})\). Since the convergence \(W u_{n_{k}} \rightarrow v\) and the convergence \((W u_{n_{k}})' \rightarrow w\) are uniform, we have \(w =v'\) and thus \(W u_{n_{k}} \rightarrow v\) in \(BC^{1}(\mathbb{R}, \mathbb{R}^{N})\). This shows that W is relatively compact. □

It follows from the above lemmas and Krasnoselskii’s fixed point theorem (Theorem 3.2) that there exists a T-periodic solution of (1.2). Hence, we have proved Theorem 3.1.

Remark

We give the following remarks on our main result.

  1. (1)

    The result in Theorem 3.1 can be applied to the case when \(c=0\), however, we indeed obtain a unique periodic solution (see Lemma 4.1).

  2. (2)

    We may consider an alternative approach to establish the existence of periodic solutions of (1.2) by using the transformation \(y(t) = x(t) + c x(t - \tau)\). Hence, system (1.2) can be written as

    $$y'(t) = A(t)y(t) + g(t), $$

    where \(g(t) := f(t, x(t - \alpha_{1}(t)),\ldots,x(t-\alpha_{m}(t))) -A(t) c x(t- \tau)\). By Theorem 2.1, we know that the solution of the above system satisfies the integral equation

    $$y(t) = \int_{-\infty}^{\infty} G(t,s) g(s)\,ds. $$

    Hence, the problem is reduced to showing the existence of periodic solution of the following delay integral equation

    $$x(t) = -c x(t- \tau) \int_{-\infty}^{\infty} G(t,s) \bigl[f \bigl(s, x\bigl(s - \alpha _{1}(s)\bigr),\ldots,x\bigl(s- \alpha_{m}(s)\bigr)\bigr) -A(s) c x(s- \tau)\bigr]\,ds. $$

4 Continuity of periodic solutions in a neighborhood of \(c=0\)

In this section, we show that periodic solutions for the systems with periodic perturbation (1.2) converge to a solution of the following unperturbed system:

$$ x'(t) = A(t)x(t) + f\bigl(t, x\bigl(t- \alpha_{1}(t)\bigr),\ldots, x\bigl(t-\alpha_{m}(t)\bigr) \bigr) $$
(4.1)

when \(c \rightarrow0\).

Lemma 4.1

Suppose that Assumptions 1, 2, and 3 are satisfied. Then the T-periodic solution of (4.1) exists and is unique.

Proof

Since a solution of (1.2) is a fixed point of S defined by

$$(S u) (t):=\int_{-\infty}^{\infty} G(t,s) \bigl[ f\bigl(s, u \bigl(s-\alpha_{1}(s)\bigr),\ldots, u\bigl(s-\alpha_{m}(s) \bigr)\bigr) \bigr]\,ds. $$

By our assumptions, the map S is a contraction since

$$\begin{aligned} &\bigl|(Su) (t) - (Sv) (t)\bigr|\\ &\quad = \biggl\vert \int_{-\infty}^{\infty} G(t,s) \bigl[ f\bigl(s, u\bigl(s-\alpha_{1}(s)\bigr),\ldots, u\bigl(s- \alpha_{m}(s)\bigr)\bigr)\\ &\qquad{}-f\bigl(s, v\bigl(s-\alpha _{1}(s) \bigr),\ldots, v\bigl(s-\alpha_{m}(s)\bigr)\bigr) \bigr]\,ds \biggr\vert \\ & \quad \leq rm \|u-v\|_{\infty} \int_{-\infty}^{\infty} \bigl\| G(t,s) \bigr\| \,ds \\ & \quad \leq r m \mu\|u-v\|_{\infty} \\ & \quad < \frac{1}{m(1+L\mu+\mu)} m \mu\|u-v\|_{\infty} \\ &\quad < \|u-v\|_{\infty}, \end{aligned}$$

for all T-periodic function u, v. By the contraction mapping theorem, (4.1) has a unique T-periodic solution. □

Theorem 4.1

Suppose that Assumptions 1, 2, and 3 are satisfied. For \(|c| \ll1\) sufficiently small, a sequence of T-periodic solutions \(u_{c}\) of system (1.2) converges to the T-periodic solution of system (4.1) as \(c \rightarrow0\).

Proof

From the proof of Theorem 3.1, we see that periodic solutions \(u_{c} \in BC^{1}(\mathbb{R}, \mathbb{R}^{N})\) of system (1.2) are uniformly bounded and equicontinuous. By the Arzela-Ascoli theorem, we can extract a subsequence \(u_{c_{n}}\) that converges uniformly to u. Since \(u_{c_{n}}\) is a fixed point of \(V+W\), we have

$$u_{c_{n}} (t) =\int_{-\infty}^{\infty} G(t,s) \bigl[ f\bigl(s, u_{c_{n}}\bigl(s-\alpha_{1}(s)\bigr),\ldots, u_{c_{n}}\bigl(s-\alpha_{m}(s)\bigr)\bigr) -c_{n} u_{c_{n}}'(s -\tau) \bigr]\,ds. $$

As f is continuous, we obtain from the dominated convergence theorem

$$u (t) =\int_{-\infty}^{\infty} G(t,s) \bigl[ f\bigl(s, u \bigl(s-\alpha_{1}(s)\bigr),\ldots, u\bigl(s-\alpha_{m}(s) \bigr)\bigr) \bigr]\,ds. $$

So the limit u is a T-periodic solution of (4.1). Since the T-periodic solution of (4.1) is unique, we conclude that the whole sequence \(u_{c}\) converges to the solution u of (4.1) as \(c \rightarrow0\). □

References

  1. Kuang, Y: Delay Differential Equations: With Applications in Population Dynamics. Mathematics in Science and Engineering, vol. 191. Academic Press, London (1993)

    MATH  Google Scholar 

  2. Hadeler, KP: Delay equations in biology. In: Peitgen, H-O, Walther, H-O (eds.) Functional Differential Equations and Approximation of Fixed Points. Lecture Notes in Mathematics, vol. 730, pp. 136-156. Springer, Berlin (1979)

    Chapter  Google Scholar 

  3. Mallet-Paret, J, Nussbaum, RD: A differential-delay equation arising in optics and physiology. SIAM J. Math. Anal. 20(2), 249-292 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  4. Liz, E, Rost, G: On the global attractor of delay differential equations with unimodal feedback. Discrete Contin. Dyn. Syst. 24(4), 1215-1224 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  5. Madan, RN: Chua’s Circuit: A Paradigm for Chaos. World Scientific Series on Nonlinear Science. World Scientific, London (1993)

    MATH  Google Scholar 

  6. Diekmann, O, Gils, SAV, Lunel, SMV, Walther, H-O: Delay Equations: Functional-, Complex-, and Nonlinear Analysis. Applied Mathematical Sciences. Springer, New York (1995)

    Book  MATH  Google Scholar 

  7. Hale, JK, Verduyn Lunel, SM: Introduction to Functional Differential Equations. Applied Mathematical Sciences. Springer, New York (1993)

    Book  Google Scholar 

  8. Walther, HO: Dynamics of delay differential equations. In: Arino, O, Hbid, ML, Dads, EA (eds.) Delay Differential Equations and Applications. NATO Science Series, vol. 205, pp. 411-476. Springer, Berlin (2006)

    Chapter  Google Scholar 

  9. Baroun, M, Boulite, S, Diagana, T, Maniar, L: Almost periodic solutions to some semilinear non-autonomous thermoelastic plate equations. J. Math. Anal. Appl. 349(1), 74-84 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  10. Leiva, H, Sivoli, Z: Existence, stability and smoothness of a bounded solution for nonlinear time-varying thermoelastic plate equations. J. Math. Anal. Appl. 285(1), 191-211 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  11. Castillo, S, Pinto, M: Existence and stability of almost periodic solutions to differential equations with piecewise constant arguments. Electron. J. Differ. Equ. 2015, 58 (2015)

    Article  MathSciNet  Google Scholar 

  12. Pinto, M: Dichotomies and asymptotic formulas for the solutions of differential equations. J. Math. Anal. Appl. 195(1), 16-31 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  13. Pinto, M: Dichotomy and existence of periodic solutions of quasilinear functional differential equations. Nonlinear Anal., Theory Methods Appl. 72, 1227-1234 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  14. Driver, RD: Ordinary and Delay Differential Equations. Applied Mathematical Sciences, vol. 20. Springer, New York (1977)

    Google Scholar 

  15. Guo, C-J, Wang, G-Q, Cheng, S-S: Periodic solutions for a neutral functional differential equation with multiple variable lags. Arch. Math. 42(1), 1-10 (2006)

    MathSciNet  MATH  Google Scholar 

  16. Stević, S, Diblík, J, Šmarda, Z: On periodic and solutions converging to zero of some systems of differential-difference equations. Appl. Math. Comput. 227, 43-49 (2014)

    Article  MathSciNet  Google Scholar 

  17. Diblík, J, Iričanin, B, Stević, S, Šmarda, Z: Note on the existence of periodic solutions of a class of systems of differential-difference equations. Appl. Math. Comput. 232, 922-928 (2014)

    Article  MathSciNet  Google Scholar 

  18. Burton, TA: A fixed-point theorem of Krasnoselskii. Appl. Math. Lett. 11(1), 85-88 (1998)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This project was supported by KMUTT Research Fund 2014 and the Theoretical and Computational Science Center (TaCS). We would like to thank anonymous referees and editor for valuable comments and suggestions to improve this work.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Parinya Sa Ngiamsunthorn.

Additional information

Competing interests

The author declares that he has no competing interests.

Author’s contributions

The author is solely contributed in this article. The author read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Sa Ngiamsunthorn, P. Existence of periodic solutions for differential equations with multiple delays under dichotomy condition. Adv Differ Equ 2015, 259 (2015). https://doi.org/10.1186/s13662-015-0598-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-015-0598-0

MSC

Keywords