# Existence conditions for periodic solutions of second-order neutral delay differential equations with piecewise constant arguments

Mukhiddin I. Muminov
• Corresponding author
• Department of Mathematical Sciences, Faculty of Science, Universiti Teknologi, Malaysia, 81310 Johor Bahru, Johor, Malaysia
• Email
• Search for other articles:
and Ali H. M. Murid
• Department of Mathematical Sciences, Faculty of Science, Universiti Teknologi, Malaysia, 81310 Johor Bahru, Johor, Malaysia
• Search for other articles:

## Abstract

In this paper, we describe a method to solve the problem of finding periodic solutions for second-order neutral delay-differential equations with piecewise constant arguments of the form x″(t) + px″(t − 1) = qx([t]) + f(t), where [⋅] denotes the greatest integer function, p and q are nonzero real or complex constants, and f(t) is complex valued periodic function. The method reduces the problem to a system of algebraic equations. We give explicit formula for the solutions of the equation. We also give counter examples to some previous findings concerning uniqueness of solution.

## 1 Introduction

In the study of almost periodic differential equations, many useful methods have been developed in the classical references such as Hale and Lunel , Fink , Yoshizawa , and Hino et al. .

Differential equations with piecewise constant arguments are usually referred to as a hybrid system, and could model certain harmonic oscillators with almost periodic forcing. For some excellent works in this field we refer the reader to [5, 6] and references therein, and for a survey of work on differential equations with piecewise constant arguments we refer the reader to [7, 8].

A recently published paper  has studied the differential equation of the form

$x″(t)+px″(t−1)=qx(2[t+12])+f(t),$

where [⋅] denotes the greatest integer function, p and q are nonzero constants, and f(t) is a 2n-periodic continuous function. The 2n-periodic solvable problem (1) is reduced to the study a system of n + 1 linear equations. Furthermore, by applying the well-known properties of linear system in algebra, all existence conditions are described for 2n-periodic solutions that yields explicit formula for the solutions of (1).

In this paper we study certain functional differential equation of neutral delay type with piecewise constant arguments of the form

$x″(t)+px″(t−1)=qx([t])+f(t),$

where p and q are nonzero real or complex constants, f(t) is a complex valued n-periodic continuous function defined on R.

The papers [5, 6] have investigated the existence of almost periodic solutions of (2), when f is an almost periodic function, while Nth-order differential equation of neutral delay type are studied in [10, 11]. In these works some theorems for the existence and uniqueness of the almost periodic solutions have been obtained. However, there are some incorrectness of uniqueness results given in [5, 10, 11, 12].

In the present paper, by adapting the method in , we give all exact conditions for the uniqueness, infiniteness and emptiness of n-periodic solutions of (2), in the case when f is n-periodic. We give explicit formula for the exact solutions of the equation. For some functions f, we also show that equation (2) may have infinitely many 3-periodic solutions.

Throughout this paper, we use the notations R for the set of reals and Z for the set of integers.

## 2 Definition of periodic solution

A solution of (2) is defined in  as follows

Definition 2.1

A function x is called a solution of (2) if the following conditions are satisfied:

• x and xare continuous onR;
• the second-order derivative of x(t) exists everywhere, with possible exception at points t = n, nZ, where one-sided second-order derivatives of x(t) exist;
• x satisfies (2) on each interval (n, n + 1) with integer nZ.

Comments: The importance of the differentiability condition imposed on x is given in Definition 13 of , since we deal with second-order differential equations. This condition may admit uniqueness condition of periodic solution of (2), however it is a sufficient condition for the uniqueness condition (see Theorem 3.2 (ii) of this paper). Equation (2) may have infinite number of periodic continuous functions, satisfying (2) on each interval (n, n + 1) and may not have derivative at each point n, nZ (see Examples 1 and 2 below). Moreover, if we omit the continuity condition of x′ on R, then the uniqueness of periodic solution of (2) does not hold, and well-posedness of (2) is not true. In the definition of solution, the continuity condition of x′ on R is omitted in many works (see, for example, ,  and ) consequently, the uniqueness of pseudo periodic and hence almost periodic solution does not hold. We illustrate this in the following two examples.

Example 1

Let f(t) = −3π2 cos π t, p = 2, q = 4. Then the function

$x(t)=−15−2α+αt−43Q(t)+3−3cos⁡πt,t∈[0,2]$

satisfies (2) with the function Q defined on [0, 2] as

$Q(t)=−9t22,t∈[0,1),−92−9(t−1)+(27+3α)(t−1)22,t∈[1,2],$

where α is any number. One can easily check that x(t) is continuous on R. But x′(t) is discontinuous at kZ when α ≠ −6. If α = −6, x(t) is the exact solution of (2) (see Figures 1 and 2).

Example 2

Let f(t) = $1π2$ cos π t and p2 ≠ 1, 8 − 8 p + q ≠ 0. Then, by the definition of solution given in the papers ,  and , the 2-periodic functions

$xα(t)=x(0)+αt+q1−p2Q(t)+1−cos⁡πt1−p$

are solutions of the equation (2), where α is any number and the function Q defined on [0, 2] as

$Q(t)=(x(0)−px(1))t22fort∈[0,1),$

$Q(t)=Q(1−0)+(x(0)−px(1))(t−1)+(x(1)−px(0))(t−1)22fort∈[1,2),x(0)=2(−6q+18pq−4α+4p2α−qα+pqα)q(8−8p+q),x(1)=−2(18q−6pq−4α+4p2α+qα−pqα)(−8+8p−q)q.$

Note that x(0) = xα(2), which gives continuity of xα on R.

It has been claimed in the papers ,  and  that if ∣λi∣ ≠ 1, i = 1, 2, 3, then equation (2) has a unique solution, where λi, i = 1, 2, 3, are the eigenvalues of the matrix

$A=1+q2−p1pq10100.$

For the case, when p = $12,$q = 3, the matrix A has a form

$A=2112310100.$

One can easily check that the eigenvalues λi, i = 1, 2, 3 are reals and ∣λi∣ ≠ 1, i = 1, 2, 3. Moreover, the conditions of the Main results of these papers are satisfied. Example 2 shows incorrectness of the results Theorem 2.11 in , Theorem 3.3 in  and Theorem 1 in , which claim uniqueness of the almost periodic solutions of (2).

## 3 2 and 3-periodic solutions

In this section we give a method of finding periodic solutions of (2) and their existence conditions. Let f be n-periodic continuous function. We consider two cases n = 2 and n = 3 in this section before considering the general case n in Section 4.

The case n = 2. We seek a function x as a 2-periodic function that solves (2).

Equation (2) is equivalent to

$x″(t+1)+px″(t)=qx([t+1])+f(t+1).$

Since x″(t + 1) = x″(t − 1), this becomes

$x″(t−1)=−px″(t)+qx([t+1])+f(t+1).$

Substitute this into (2) and assuming p2 ≠ 1, we get

$x″(t)=q1−p2(x([t]−px([t+1]))+11−p2(f(t)−pf(t+1)).$

Integrating (6) twice on [0, t], t < 2, we obtain

$x(t)=x(0)+x′(0)t+q1−p2Q(t)+F2(t),$

where

$Q(t)=∫0t∫0t1(x([s])−px([s+1])dsdt1,F2(t)=11−p2∫0t∫0t1(f(s)−pf(s+1))dsdt1.$

The function Q on [0, 2) can be represented as

$Q(t)=(x(0)−px(1))t22fort∈[0,1)$

and

$Q(t)=∫01∫0t1X(s)dsdt1+∫1t∫01X(s)dsdt1+∫1t∫1t1X(s)dsdt1=Q(1−0)+(x(0)−px(1))(t−1)+(x(1)−px(0))(t−1)22fort∈[1,2),$

where X(s) = x([s]) − px([s + 1] and Q(a − 0) denotes a left limit of Q(t) at the point t = a.

This shows that the right-hand side of (7) contains only unknown numbers x(0), x(1) and x′(0). Since x and x′ are continuous and periodic, they should satisfy x(0) = x(2), x′(0) = x′(2). To find x(0), x(1) and x′(0) we apply (7) to get the system of equations

$x(1)=x(0)+x′(0)+q1−p2Q(1)+F2(1),x(2)=x(0)+2x′(0)+q1−p2Q(2)+F2(2),x′(0)=x′(0)+q1−p2Q′(2)+F2′(2).$

Taking into account

$Q(1)=12(x(0)−px(1)),Q(2)=32(x(0)−px(1))+12(x(1)−px(0)),$

the last system of equations yields

$(1+12q1−p2)x(0)−(1+12qp1−p2)x(1)+x′(0)=−F2(1),12q1−p2(3−p)x(0)+12q1−p2(1−3p)x(1)+2x′(0)=−F2(2),q1+px(0)+q1+px(1)=−F2′(2).$

The determinant D(p, q) of this system is

$D(p,q):=1+12q1−p2−1−12qp1−p2112q1−p2(3−p)12q1−p2(1−3p)2q1+pq1+p0=−4q1+p.$

Since D(p, q) ≠ 0, we get

Theorem 3.1

Let p2 − 1 ≠ 0 and f be 2-periodic continuous function. Then equation (2) has a unique 2-periodic solution having the form (7), where (x(0), x(1), x′(0)) is the unique solution of (9).

Example 3

We consider equation (2) with p = 3, q = 1 and 2-periodic function $f(t)=t,t∈[0,1),2−t,t∈[1,2].$ It can be shown from (8) that

$F2(t)=−124t2(−9+2t),t∈[0,1),18(−53+4t+13(−1+t)2(1+2t)),t∈[1,2],Q(t)=47t224,t∈[0,1),124(2−4t+49t2),t∈[1,2].$

Solving (9), we obtained $x(0)=−9748,x(1)=−9548,x′(0)=−1192.$ The graph of 2-periodic solution (7) is shown in Figure 3.

Example 4

Let p = 2i, q = 1 and f(t) = eiπt. For this case, it can be shown that the 2-periodic solution of equation (2) is

$x(t)=−150π2((10+20i)eiπt−(3−4i)(−1+t)t),t∈[0,1),−150π2((10+20i)eiπt+(3−4i)(2−3t+t2)),t∈[1,2].$

The case n = 3. Let a function x be a 3-periodic function. From (2) we have

$x″(t)+px″(t−1)=qx([t])+f(t),x″(t+1)+px″(t)=qx([t+1])+f(t+1),x″(t−1)+px″(t+1)=qx([t+2])+f(t+2).$

In the last equation we have used the fact that x″(t + 2) = x″(t − 1). The system of equations (10) of x″(t − 1), x″(t) and x″(t + 1) is solvable iff

$p100p110p=1+p3≠0.$

From this system of equations, assuming p3 ≠ −1, we get

$x″(t)=q1+p3(p2x([t+1])−px([t+2])+x([t]))+11+p3(p2f(t+1)−pf(t+2)+f(t)).$

Integrating (11) two times on [0, t], t < 3, we have

$x(t)=x(0)+x′(0)t+q1+p3Q3(t)+F3(t),$

where

$Q3(t)=∫0t∫0t1(p2x([s+1])−px([s+2])+x([s]))dsdt1,F3(t)=11+p3∫0t∫0t1(p2f(s+1)−pf(s+2)+f(s))dsdt1.$

The function Q3 on [0, 3) can be presented by

$Q3(t)=(p2x(1)−px(2)+x(0))t22fort∈[0,1),Q3(t)=∫01∫0t1Y(s)dsdt1+∫1t∫01Y(s)dsdt1+∫1t∫1t1Y(s)dsdt1=Q3(1−0)+(p2x(1)−px(2)+x(0))(t−1)+(p2x(2)−px(0)+x(1))(t−1)22fort∈[1,2),$

where Y(s) = p2x([s + 1]) − px([s + 2]) + x([s]),

$Q3(t)=∫02∫0t1Y(s)dsdt1+∫2t∫01Y(s)dsdt1+∫2t∫12Y(s)dsdt1+∫2t∫2t1Y(s)dsdt1=Q(2−0)+(p2x(1)−px(2)+x(0))(t−2)+(p2x(2)−px(0)+x(1))(t−2)+(p2x(0)−px(1)+x(2))(t−2)22fort∈[2,3).$

Hence the right-hand side of (12) contains only unknown variables x(0), x(1), x(2) and x′(0). Since x and x′ are continuous and periodic, they should satisfy

$x(0)=x(3),x′(0)=x′(3).$

Using these equations and (12) we have

$x(1)=x(0)+x′(0)+q1+p3Q3(1)+F3(1),x(2)=x(0)+2x′(0)+q1+p3Q3(2)+F3(2),x(3)=x(0)+3x′(0)+q1+p3Q3(3)+F3(3),x′(0)=x′(0)+q1+p3Q3′(3)+F3′(3).$

Note that

$Q3(1)=12(p2x(1)−px(2)+x(0)),Q3(2)=32(p2x(1)−px(2)+x(0))+12(p2x(2)−px(0)+x(1)),Q3(3)=52(p2x(1)−px(2)+x(0))+32(p2x(2)−px(0)+x(1))+12(p2x(0)−px(1)+x(2)),Q3′(3)=32(p2x(1)−px(2)+x(0))+12(p2x(2)−px(0)+x(1)).$

Therefore, we have

$(1+12q1+p3)x(0)+(12q1+p3−1)x(1)−12qp1+p3x(2)+x′(0)=−F2(1),(1+q1+p33−p2)x(0)+q1+p33p2+12x(1)+(q1+p3−3p+p22−1)x(2)+2x′(0)=−F2(2),q1+p35−3p+p22x(0)+q1+p35p2+3−p2x(1)+q1+p3−5p+3p2+12x(2)+3x′(0)=−F2(3),q1+p3(1−p+p2)x(0)+q1+p3(1−p+p2)x(1)+q1+p3(1−p+p2)x(2)=−F2′(3).$

Let D3(p, q) be the determinant of the matrix

$A=1+12q1+p312q1+p3−1−12qp1+p311+q1+p33−p2q1+p33p2+12q1+p3−3p+p22−12q1+p35−3p+p22q1+p35p2+3−p2q1+p3−5p+3p2+123q1+p3(1−p+p2)q1+p3(1−p+p2)q1+p3(1−p+p2)0.$

It can be shown that

$D3(p,q)=−q(36+36p2+6p(−6+q)+6q+q2)4(1+p3).$

Summarizing these results, we get

Theorem 3.2

Let p3 + 1 ≠ 0 and f be a 3-periodic continuous function.

• IfD3(p, q) ≠ 0, then equation (2) has a unique 3-periodic solution having the form (12), where (x(0), x(1), x(2), x′(0)) is the unique solution of (14).
• IfD3(p, q) = 0 andF3(1) = F3(2) = F3(3) = $F3′$(3) = 0, then equation (2) has infinite number of 3-periodic solutions having the form
$x(t)=α(x(0)+x′(0)t+q1+p3Q3(t))+F3(t),$
where (x(0), x(1), x(2), x′(0)) is an eigenvector ofAcorresponding to 0, α is any number.
• IfD3(p, q) = 0 and the rank[A] < rank[A, FT], F = (F3(1), F3(2), F3(3), $F3′$(3)), then equation (2) does not have any 3-periodic solution.

Remark 3.1

We emphasize again that in the definition of solution, it is important to have the continuity condition of its derivative. If we omit this condition, we must remove the equality x′(0) = x′(3) in (13). Let p = 1. Then the equation (13) is equivalent to 3 × 3 system

$−F2(1)−α=(1+12q2)x(0)+(12q2−1)x(1)−12q2x(2),−F2(2)−2α=(1+q222)x(0)+q242x(1)+(q2−12−1)x(2),−F2(3)−3α=q232x(0)+q272x(1)+q2−12x(2),$

where α is any number. Since the determinant D(q) of the system of equations (15) is

$D(q)=14q(9+3q+q24),$

(15) has a unique solution (x(0), x(1), x(2)) when D(q) ≠ 0. Therefore, for any continuous 3-periodic f and q with$q(9+3q+q24)≠0$the continuous function

$xα(t)=x(0)+αt+q2Q3(t)+F3(t)$

satisfies (2). In particular, the functions {xα} are well-defined for q and 3- periodic functions f satisfying the conditions of the Theorem 2.1 in , which claim on uniqueness of almost periodic solutions. This example shows that the Theorem 2.1 in  is incorrect.

We denote by 𝓛0 the class of continuous 3-periodic functions f with F3(1) = F3(2) = F3(3) = $F3′$(3) = 0, where

$F3(t)=11+p3∫0t∫0t1(p2f(s+1)−pf(s+2)+f(s))dsdt1.$

Remark 3.2

Theorem (3.2) (ii) shows that the differentiability of a solution of (2) does not ensure uniqueness of the 3-periodic and hence almost periodic solutions of this equation. We can observe the existence of infinite number of 3-periodic solutions for the case when f belongs to 𝓛0. Let f(t) = fk(t), fk(t) = cos 2kπt, k = 1, 2, … andp = 1, q = −6. Then$F3(t)=11+p21(2kπ)2(1−cos⁡2kπt)$and hencefk ∈ 𝓛0. The matrixAis represented by

$A=−12−52321−2−622−92−212323−3−3−30.$

One can cheek that, det(A) = D3(1, −6) = 0 and the number 0 is an eigenvalue ofAwith multiplicity 2. The corresponding eigenvectors are$x1=(−12,12,0,1),$x2 = (−2, 1, 1, 0). By Theorem 3.2 the functions

$x1(t)=(−12+t−3Q31(t))α+181(kπ)2(1−cos⁡2kπt),$

$x2(t)=(−2−3Q32(t))α+181(kπ)2(1−cos⁡2kπt),$

are 3-periodic solutions of (2), whereαis any nonzero constant,

$Q31(t)=0ast∈[0,1),(t−1)22ast∈[1,2),−32+t−(t−2)22ast∈[2,3],Q32(t)=−t2ast∈[0,1),1−2t+2(t−1)2ast∈[1,2),−5+2t−(t−2)2ast∈[2,3].$

## 4 n-periodic solutions

We next solve equation (2), where f is periodic with positive integer period n ≥ 3. It is clear that to seek a function x as a periodic function, we assume that x(t) = x(t + n).

It follows from (2) and periodicity of x(t) that

$(x(t)+px(t−1))″=qx([t])+f(t),(x(t+1)+px(t))″=qx([t+1])+f(t+1),………(x(t+n−2)+px(t+n−3))″=qx([t+n−2])+f(t+n−2),(x(t−1)+px(t+n−2))″=qx([t+n−1])+f(t+n−1).$

Assuming the right-hand sides of (18) are known, we consider this system of equations with respect to

$x″(t−1),x″(t),…,x″(t+n−1).$

It is solvable if and only if Δ(p) ≠ 0, where Δ(p) = det P and P is the n × n matrix

$P=p10…000p1…00⋮⋮⋮⋮…⋮000…p1100…0p.$

Observe that

$Δ(p)=detP=pn−(−1)n.$

Assuming pn ≠ (−1)n, we can find x″(t) from (18), i.e.,

$x″(t)=Δ(p;t)Δ(p),$

where Δ(p; t) = det Q and Q is the n × n matrix

$Q=pQ1(t)0…000Q2(t)1…00⋮⋮⋮⋮…⋮0Qn−1(t)0…p11Qn0…0p,$

$Qk(t)=qx([t+k−1])+f(t+k−1),k=1,2,…,n.$

Using the properties of determinant, we have

$detQ=Q1(t)010…000p1…00⋮⋮⋮⋮…⋮000…p1100…0p+Q2(t)p00…000p1…00⋮⋮⋮⋮…⋮000…p1100…0p+⋯+Qn−1(t)(−1)n−1p00…00010…00⋮⋮⋮⋮…⋮000…10100…0p+Qn(t)(−1)np00…00010…00⋮⋮⋮⋮…⋮000…10100…01=(−1)n+1Q1(t)+Q2(t)pn−1+⋯+(−1)n−1Qn−1(t)p2+(−1)nQn(t)p).$

Taking into Q1(t) = Qn+1(t), the equation (19) represents

$x″(t)=1Δ(p)∑k=1n(−1)k+1Qk+1(t)pn−k=qΔ(p)∑k=1n(−1)k+1x([t+k])pn−k+1Δ(p)∑k=1n(−1)k+1f(t+k)pn−k.$

Integrating (20) we get

$x(t)=x(0)+x′(0)t+qΔ(p)Q~n(t)+Fn(t),$

where

$Q~n(t)=∫0t∫0t1R(s)dsdt1,R(s)=∑k=1n(−1)k+1x([s+k])pn−k,Fn(t)=1Δ(p)∫0t∫0t1∑k=1n(−1)k+1f(s+k)pn−kdsdt1.$

We set

$X[s]=∑k=1n(−1)k+1x([s+k])pn−k.$

Then the function n on [0, n) can be represented by

$Q~n(t)=Xt22,t∈[0,1),Q~n(t)=∫01∫0t1R(s)dsdt1+∫1t∫01R(s)dsdt1+∫1t∫1t1R(s)dsdt1=Q~n(1−0)+X(t−1)+X(t−1)22,t∈[1,2),Q~n(t)=∫02∫0t1R(s)dsdt1+∫2t∫01R(s)dsdt1+∫2t∫12R(s)dsdt1+∫2t∫2t1R(s)dsdt1=Q~n(2−0)+(X+X)(t−2)+X(t−2)22,t∈[2,3),…………Q~n(t)=∫0n−1∫0t1R(s)dsdt1+∫n−1t∑l=1n−1∫l−1lR(s)dsdt1+∫n−1t∫n−1tR(s)dsdt1=Q~n(n−1−0)+∑l=1n−1X[l−1](t−n+1)+X[n−1](t−n+1)22,t∈[n−1,n).$

We remark that the functions n and Fn are twice differentiable on (n − 1, n) and there exist one-sided second derivatives at t = n − 1 and t = n.

The right-hand side of (21) contains only unknown numbers x(0), …, x(n − 1), x′(0). Using the periodicity conditions x and continuity x′ from (21) we have n + 1 system of equations

$x(1)=x(0)+x′(0)+qΔ(p)Qn(1)+Fn(1),…………x(n−1)=x(0)+(n−1)x′(0)+qΔ(p)Qn(n−1)+Fn(n−1),x(n)=x(0)+nx′(0)+qΔ(p)Qn(n)+Fn(n),x′(n)=x′(0)+qΔ(p)Qn′(n)+Fn′(n).$

The last system of equations can be written as

$x(1)=x(0)+x′(0)+12qΔ(p)X(0)+Fn(1),x(2)=x(0)+2x′(0)+qΔ(p)∑k=12(∑r=1k−1X(r−1)+12X(k−1))+Fn(2),………x(n−1)=x(0)+(n−1)x′(0)+qΔ(p)∑k=1n−1(∑r=1k−1X(r−1)+12X(k−1))+Fn(n−1),0=nx′(0)+qΔ(p)∑k=1n(∑r=1k−1X(r−1)+12X(k−1))+Fn(n),0=qΔ(p)∑l=1nX[l−1]+Fn′(n).$

Since

$∑k=1m(∑r=1k−1X(r−1)+12X(k−1))=∑k=0m−1(m−k−12)X(k),$

we have

$x(1)=x(0)+x′(0)+12qΔ(p)X(0)+Fn(1),x(2)=x(0)+2x′(0)+qΔ(p)∑k=01(2−k−12)X(k)+Fn(2),………x(n−1)=x(0)+(n−1)x′(0)+qΔ(p)∑k=0n−2(n−1−k−12)X(k)+Fn(n−1),0=nx′(0)+qΔ(p)∑k=0n−1(n−k−12)X(k)+Fn(n),0=qΔ(p)∑l=1nX[l−1]+Fn′(n).$

To evaluate the above summation, we apply the following lemma.

Lemma 4.1

For any positive integer numberl ≥ 2 the equality

$∑k=0l−1(l−k−12)X(k)=∑r=1nPlr(p)x(r)$

holds, where

$Plr(p)=∑k=0r−1(l−k−12)(−1)r−k+1pn−r+k+∑k=rl−1(l−k−12)(−1)n+r+1−kpk−r.$

Proof

Let $αlk=l−k−12.$

$Δ(p)q∑k=0l−1αlkX(k)=∑k=0l−1αlk∑r=1n(−1)r+1x(k+r)pn−r=∑k=0l−1αlk∑s=k+1k+n(−1)s−k+1x(s)pn−s+k=∑k=0l−1αlk(∑s=k+1n(−1)s−k+1x(s)pn−s+k+∑s=n+1k+n(−1)s−k+1x(s)pn−s+k)=∑k=0l−1αlk(∑s=k+1n(−1)s−k+1x(s)pn−s+k+∑r=1k(−1)r+n−k+1x(r+n)p−r+k)=∑k=0l−1αlk(∑r=1k(−1)r+n−k+1x(r)p−r+k+∑r=k+1n(−1)r−k+1x(r)pn−r+k)=αl0∑r=1n(−1)r+1x(r)pn−r+αl1(∑r=11(−1)r+nx(r)p1−r+∑r=2n(−1)rx(r)pn−r+1)+⋯+αl,l−1(∑r=1l−1(−1)r+n−l+2x(r)p−r+l−1+∑r=ln(−1)r−l+2x(r)pn−r+l−1)=(αl0pn−1+αl1(−1)1+np0+⋯+αl,l−1(−1)n−l+3pl−2)x(1)+⋯+(αl0(−1)lpn−l+1+αl1(−1)l−1pn−l+2+⋯+αl,l−2(−1)2pn−1+αl,l−1(−1)n+1p0)x(l−1)+(αl0(−1)l+1pn−l+αl1(−1)lpn−l+1+⋯+αl,l−1(−1)2pn−1)x(l)+⋯+(αl0(−1)n+1p0+αl1(−1)np+⋯+αl,l−1(−1)n−l+2pl−1)x(n)=∑r=1nx(r)(∑k=0r−1αlk(−1)r−k+1pn−r+k+∑k=rl−1αlk(−1)n+r+1−kpk−r).$

By Lemma 4.1, equation (24) can be written as

$x(1)=x(0)+x′(0)+qΔ(p)∑r=1nP1r(p)x(r)+Fn(1),x(2)=x(0)+2x′(0)+qΔ(p)∑r=1nP2r(p)x(r)+Fn(2),………x(n−1)=x(0)+(n−1)x′(0)+qΔ(p)∑r=1nPn−1,r(p)x(r)+Fn(n−1),0=nx′(0)+qΔ(p)∑r=1nPnr(p)x(r)+Fn(n),0=qΔ(p)∑r=1nP0(p)x(r)−Fn′(n),$

where

$P0(p)=∑k=1n(−1)k+1pn−k.$

We rewrite (25) as

$(1+qΔ(p)P1n(p))x(0)+(qΔ(p)P11(p)−1)x(1)+qΔ(p)∑r=2n−1P1r(p)x(r)+x′(0)=−F(1),(1+qΔ(p)P2n(p))x(0)+(qΔ(p)P22(p)−1)x(2)+qΔ(p)∑r≠2n−1P1r(p)x(r)+2x′(0)=−F(1),………(1+qΔ(p)Pn−1,n(p))x(0)+(qΔ(p)Pn−1,n−1(p)−1)x(n−1)+qΔ(p)∑r=1n−2P1r(p)x(r)+(n−1)x′(0)=−F(1),qΔ(p)Pnn(p)x(0)+qΔ(p)∑r=1n−1Pnr(p)x(r)+nx′(0)=−Fn(n),qΔ(p)P0(p)∑r=1nx(r)=−Fn′(n).$

We denote by Dn(p, q) the determinant of the equation (26). Then, Dn(p, q) is the determinant of the matrix

$D=1+qΔ(p)P1n(p)qΔ(p)P11(p)−1qΔ(p)P12(p)…qΔ(p)P1,n−1(p)11+qΔ(p)P2n(p)qΔ(p)P11(p)qΔ(p)P22(p)−1…qΔ(p)P2,n−1(p)2……………1+qΔ(p)Pn−1,n(p)qΔ(p)Pn−1,1(p)qΔ(p)Pn−1,2(p)…qΔ(p)Pn−1,n−1(p)−1n−1qΔ(p)Pnn(p)qΔ(p)Pn,1(p)qΔ(p)Pn,2(p)…qΔ(p)Pn,n−1(p)nqΔ(p)P0(p)qΔ(p)P0(p)qΔ(p)P0(p)…qΔ(p)P0(p)0$

Summarizing these results, we get the following main result of the paper.

Theorem 4.1

Letpn − (−1)n ≠ 0 andfben-periodic continuous function.

• IfDn(p, q) ≠ 0, then equation (2) has a uniquen-periodic solution having the form (21), where (x(0), …, x(n − 1), x′(0)) is the unique solution of (26).
• IfDn(p, q) = 0 andFn(1) = … = Fn(n) = $Fn′$(n) = 0, then equation (2) has infinite number ofn-periodic solutions having the form
$x(t)=α(x(0)+x′(0)t+qΔ(p)Q~n(t))+Fn(t),$
where (x(0), …, x(n − 1), x′(0)) is an eigenvector ofDcorresponding to 0, αis any number.
• ifDn(p, q) = 0 and rank[D] < rank[D, FT], F = (Fn(1), …, Fn(n), $Fn′$(n)), then equation (2) does not have anyn-periodic solution.

Example 5

Let p = 2i, q = 1 and f(t) = $cos⁡(πt)+isin⁡(π2t).$ It can be shown that the unique 4-periodic solution x of equation (2) has the form

$x(t)=−1π2(192550+4i1275)((8080i)+(131−188i)t−(147−20i)t2++(304−128i)cos⁡(π2t)+(42+36i)cos⁡(πt)−(64+152i)sin⁡(π2t))fort∈[0,1),x(t)=−1π2(192550+4i1275)((246+216i)−(201+460i)t+(19+156i)t2+(304−128i)cos⁡(π2t)+(42+36i)cos⁡(πt)−(64+152i)sin⁡(π2t))fort∈[1,2),x(t)=−1π2(192550+4i1275)((734−392i)−(689−148i)t+(141+4i)t2+(304−128i)cos⁡(π2t)+(42+36i)cos⁡(πt)−(64+152i)sin⁡(π2t))fort∈[2,3),x(t)=1π2(192550+4i1275)((652+2048i)−(235+1252i)t+(13+180i)t2−(304−128i)cos⁡(π2t)−(42+36i)cos⁡(πt)+(64+152i)sin⁡(π2t))fort∈[3,4].$

Acknowledgements

We thank the referee for valuable comments.

This work was supported by the Malaysian Ministry of Education through the Research Management Center (RMC), Universiti Teknologi Malaysia (FRGS, Votes: 5F235 and 5F198).

## References

• 

Jack K. Hale and Sjoerd M. Verduyn Lunel, Introduction to Functional Differential Equations, Springer, New York, 1993.

• 

Arlington M. Fink, Almost Periodic Differential Equation, Springer, Berlin, 1974.

• 

T. Yoshizawa, Stability Theory and the Existence of Periodic Solutions and Almost Periodic Solutions, Springer, New York, 1975.

• 

Yoshiyuki Hino, Toshiki Naito, Nguyen VanMinh, and Jong Son Shin, Almost Periodic Solutions of Differential Equations in Banach Spaces, Stability and Control: Theory, Method and Applications, vol. 15, Taylor & Francis, London, 2002.

• 

George Seifert, Second-order neutral delay-differential equations with piecewise constant time dependence, J. Math. Anal. Appl. 281 (2003), no. 1, 1–9.

• 

Rong Yuan, Pseudo-almost periodic solutions of second-order neutral delay differential equations with piecewise constant argument, Nonlinear Anal. 41 (2000), 871–890.

• 

Kenneth L. Cooke and Joseph Wiener, A survey of differential equations with piecewise continuous arguments, Delay Differential Equations and Dynamical Systems, Lecture Notes in Math., vol. 1475, Springer, Berlin, Heidelberg, 1991.

• 

Joseph Wiener, Generalized Solutions of Functional Differential Equations, World Scientific, Singapore, 1993.

• 

Mukhiddin I. Muminov, On the method of finding periodic solutions of second-order neutral differential equations with piecewise constant arguments, Adv. Difference Equ. (2017), 2017:336, .

• Crossref
• Export Citation
• 

Rong-Kun Zhuang, Existence of almost periodic solutions to n-th order neutral differential equation with piecewise constant arguments, Abstr. Appl. Anal. (2012), Article ID 186361, .

• Crossref
• Export Citation
• 

Rong-Kun Zhuang and Rong Yuan, Weighted pseudo almost periodic solutions of N-th order neutral differential equations with piecewise constant arguments, Acta Math. Sin. (Engl. Ser.) 30 (2014), no. 7, 1259–1272.

• 

Hong-Xu Li, Almost periodic solutions of second-order neutral delay-differential equations with piecewise constant argument, J. Math. Anal. Appl. 298 (2004), 693–709.

• 

Elhadi Ait Dads and Lahcen Lhachimi, New approach for the existence of pseudo almost periodic solutions for some second-order differential equation with piecewise constant argument, Nonlinear Anal. 64 (2006), no. 6, 1307–1324.

If the inline PDF is not rendering correctly, you can download the PDF file here.

• 

Jack K. Hale and Sjoerd M. Verduyn Lunel, Introduction to Functional Differential Equations, Springer, New York, 1993.

• 

Arlington M. Fink, Almost Periodic Differential Equation, Springer, Berlin, 1974.

• 

T. Yoshizawa, Stability Theory and the Existence of Periodic Solutions and Almost Periodic Solutions, Springer, New York, 1975.

• 

Yoshiyuki Hino, Toshiki Naito, Nguyen VanMinh, and Jong Son Shin, Almost Periodic Solutions of Differential Equations in Banach Spaces, Stability and Control: Theory, Method and Applications, vol. 15, Taylor & Francis, London, 2002.

• 

George Seifert, Second-order neutral delay-differential equations with piecewise constant time dependence, J. Math. Anal. Appl. 281 (2003), no. 1, 1–9.

• 

Rong Yuan, Pseudo-almost periodic solutions of second-order neutral delay differential equations with piecewise constant argument, Nonlinear Anal. 41 (2000), 871–890.

• 

Kenneth L. Cooke and Joseph Wiener, A survey of differential equations with piecewise continuous arguments, Delay Differential Equations and Dynamical Systems, Lecture Notes in Math., vol. 1475, Springer, Berlin, Heidelberg, 1991.

• 

Joseph Wiener, Generalized Solutions of Functional Differential Equations, World Scientific, Singapore, 1993.

• 

Mukhiddin I. Muminov, On the method of finding periodic solutions of second-order neutral differential equations with piecewise constant arguments, Adv. Difference Equ. (2017), 2017:336, .

• Crossref
• Export Citation
• 

Rong-Kun Zhuang, Existence of almost periodic solutions to n-th order neutral differential equation with piecewise constant arguments, Abstr. Appl. Anal. (2012), Article ID 186361, .

• Crossref
• Export Citation
• 

Rong-Kun Zhuang and Rong Yuan, Weighted pseudo almost periodic solutions of N-th order neutral differential equations with piecewise constant arguments, Acta Math. Sin. (Engl. Ser.) 30 (2014), no. 7, 1259–1272.

• 

Hong-Xu Li, Almost periodic solutions of second-order neutral delay-differential equations with piecewise constant argument, J. Math. Anal. Appl. 298 (2004), 693–709.

• 

Elhadi Ait Dads and Lahcen Lhachimi, New approach for the existence of pseudo almost periodic solutions for some second-order differential equation with piecewise constant argument, Nonlinear Anal. 64 (2006), no. 6, 1307–1324.

OPEN ACCESS

### Open Mathematics

Open Mathematics is a fully peer-reviewed, open access, electronic journal that publishes significant and original works in all areas of mathematics. The journal publishes both research papers and comprehensive and timely survey articles. Open Math aims at presenting high-impact and relevant research on topics across the full span of mathematics.

### Search   