Skip to main content

Theory and Modern Applications

Multiple periodic solutions for a class of second-order neutral functional differential equations

Abstract

In this paper we consider a class of second-order neutral functional differential equations. Under certain conditions, we establish the existence of multiple periodic solutions by means of \(Z_{2}\) group index theory and variational methods. The main result is also illustrated with an example.

1 Introduction

In this paper we consider a class of second-order neutral functional differential equations described by

$$ \textstyle\begin{cases} (p(t)u'(t-s\tau))'-q(t)u(t-s\tau)+\lambda f(t,u(t),u(t-\tau ),\ldots,u(t-2s\tau))=0,\\ u(0)-u(2k\tau)=u'(0)-u'(2k\tau)=0, \end{cases} $$
(1.1)

where \(p\in C^{1}([0,\tau],\mathbb{R}^{+}), q\in C([0,\tau],\mathbb {R}^{+}) \) and they are Ï„-periodic. \(f\in C(\mathbb {R}^{2(s+1)},\mathbb{R})\), \(\lambda\in\mathbb{R}\), and \(\tau>0\). k and s are given positive integers with \(k>s\). A function \(u\in C^{1}(\mathbb{R},\mathbb{R})\) is a solution of system (1.1) if the function u satisfies (1.1).

The necessity to study delay differential equations is due to the fact that these equations are useful mathematical tools in modeling many real processes and phenomena studied in economics, biology, electronics, optimal control, mechanics, medicine, etc. [1, 2].

In recent years many researchers have focused on the existence of periodic solutions of delay differential equations; see, for example, [3–5]. Several available approaches to tackle the existence of periodic solutions for delay differential equations include the dual Lyapunov method, the Fourier analysis method, fixed point theory, and the coincidence degree theory [6–9]. Recently, some researchers have studied the existence of periodic solutions for delay differential equations via variational methods [10–12].

When \(p(t)=q(t)=1\) and \(s=1\), system (1.1) reduces to the following equation:

$$\begin{aligned} \textstyle\begin{cases} u''(t-\tau)-u(t-\tau)+\lambda f(t,u(t),u(t-\tau), u(t-2\tau ))=0,\\ u(0)-u(2k\tau)=u'(0)-u'(2k\tau)=0. \end{cases}\displaystyle \end{aligned}$$

In [12], Shu and Xu obtained the following result.

Theorem A

Assume that the following conditions are satisfied.

(H1):

\(\frac{\partial f(t,u_{1},u_{2},u_{3})}{\partial t} \neq0\).

(H2):

There exists a function \(F(t,u_{1},u_{2})\in C^{1}(\mathbb {R}^{3},\mathbb{R})\) such that

$$\begin{aligned} \frac{\partial F(t,u_{1},u_{2})}{\partial u_{2}}+\frac {\partial F(t,u_{2},u_{3})}{\partial u_{2}}=f(t,u_{1},u_{2},u_{3}). \end{aligned}$$
(H3):

\(F(t,u_{1},u_{2})\) is Ï„-periodic in t.

(H4):

F satisfies \(F(t,-u_{1},-u_{2})= F(t,u_{1},u_{2})\) and \(f(t,-u_{1},-u_{2},-u_{3})= -f(t,u_{1},u_{2},u_{3})\).

(H5):

\(F(t,u_{1},u_{2})=0\) if and only if \((u_{1},u_{2})=0, \forall t\in [0,\tau] \).

(H6):

\(\lim_{\vert u\vert \rightarrow0}\frac{F(t,u_{1},u_{2})}{\vert u\vert ^{2}}=1\), where \(\vert u\vert =(\vert u_{1}\vert ^{2}+\vert u_{2}\vert ^{2})^{\frac{1}{2}},t\in[0,\tau]\).

(H7):

There exists a constant \(\alpha>0\) such that when \(\vert u_{1}\vert ^{2}+\vert u_{2}\vert ^{2}>\alpha^{2}\), \(F(t,u_{1},u_{2})<0, t\in[0,\tau]\).

Moreover, if there exists an integer \(m>0\) such that λ satisfies

$$ \lambda>\frac{m^{2}(\pi^{2}+k^{2}\tau^{2})}{4 k\tau^{2}}, $$
(1.2)

then the system

$$ \textstyle\begin{cases} u''(t-\tau)-u(t-\tau)+\lambda f(t,u(t),u(t-\tau),u(t-2\tau ))=0,\\\ u(0)-u(2k\tau)=u'(0)-u'(2k\tau)=0, \end{cases} $$
(1.3)

possesses at least 2m non-zero solutions with the period \(2k\tau\).

Remark 1.1

Based on our analysis, (1.2) should be replaced by

$$\begin{aligned} \lambda>\frac{m^{2}(\pi^{2}+k^{2}\tau^{2})}{4 k^{2}\tau^{2}}. \end{aligned}$$

Compared to system (1.3), the neutral functional differential system (1.1) admits four control parameters \(p, q, \lambda, s\). We aim to derive conditions in terms of these four control parameters for the existence and multiplicity of periodic solutions of a class of second-order neutral functional differential equation (1.1).

Our approach is based on the \(Z_{2}\) group index theory and some techniques of mathematical analysis. We remark that the \(Z_{2}\) group index theory and the variational method have also been employed to prove the existence of multiple periodic solutions of mixed type differential equations in [12]. When (1.1) reduces to the special case, see system (1.3), we obtain a more accurate result (see Remark 1.1). Moreover, our result generalizes the existence result obtained in [12] as the equation considered in [12] is a special case of our system (1.1) with \(p(t)=q(t)=s=1\).

To prove our main result, we first make the following assumptions.

(H1):

\(\frac{\partial f(t,u_{1},u_{2},\ldots,u_{2s+1})}{\partial t} \neq0\).

(H2):

There exists a function \(F(t,u_{1},u_{2},\ldots,u_{s+1})\in C^{1}(\mathbb{R}^{s+2},\mathbb{R})\) such that

$$\begin{aligned} &\frac{\partial F(t,u_{1},u_{2},\ldots,u_{s+1})}{\partial u_{s+1}}+\frac{\partial F(t,u_{2},\ldots,u_{s+1}, u_{s+2})}{\partial u_{s+1}} \\ &\quad{}+\cdots+\frac{\partial F(t,u_{s+1},u_{s+2},\ldots ,u_{2s+1})}{\partial u_{s+1}}=f(t,u_{1},u_{2}, \ldots,u_{2s+1}). \end{aligned}$$
(H3):

\(F(t,u_{1},u_{2},\ldots,u_{s+1})\) is Ï„-periodic in t.

(H4):

F satisfies

$$\begin{aligned} F(t,-u_{1},-u_{2},\ldots,-u_{s+1})= F(t,u_{1},u_{2},\ldots,u_{s+1}) \end{aligned}$$

and

$$\begin{aligned} f(t,-u_{1},-u_{2},\ldots,-u_{2s+1})= -f(t,u_{1},u_{2},\ldots ,u_{2s+1}). \end{aligned}$$
(H5):

\(F(t,u_{1},u_{2},\ldots,u_{s+1})=0\) if and only if \((u_{1},u_{2},\ldots,u_{s+1})=0, \forall t\in[0,\tau] \).

(H6):

\(\lim_{\vert u\vert \rightarrow0}\frac{F(t,u_{1},u_{2},\ldots ,u_{s+1})}{\vert u\vert ^{2}}=1\), where \(\vert u\vert =(\vert u_{1}\vert ^{2}+\cdots+\vert u_{s+1}\vert ^{2})^{\frac {1}{2}},t\in[0,\tau]\).

(H7):

There exists a constant \(\alpha>0\) such that \(F(t,u_{1},u_{2},\ldots,u_{s+1})<0\) for \(t\in[0,\tau]\) when \(\vert u_{1}\vert ^{2}+\cdots+\vert u_{s+1}\vert ^{2}>\alpha^{2}\).

Note that system (1.1) is equivalent to the following system:

$$\begin{aligned} & \bigl(p(t)u'(t-s\tau) \bigr)'-q(t)u(t-s\tau)+\lambda \bigl( F'_{s+1} \bigl(t,u(t),u(t-\tau),\ldots,u(t-s\tau)\bigr) \\ &\quad{}+\cdots+F'_{1}\bigl(t,u(t-s\tau),u\bigl(t-(s+1) \tau\bigr),\ldots,u(t-2s\tau )\bigr) \bigr)=0. \end{aligned}$$
(1.4)

The rest of this paper is organized as follows. In Section 2, we present some preliminaries, which will be used to prove our main results. In Section 3 we state and prove our main results. Finally, we provide one example to illustrate the applicability of our results.

2 Some preliminaries

Let

$$\begin{aligned} H^{1}_{2k\tau}= \bigl\{ u:\mathbb{R}\rightarrow\mathbb{R}| u, u'\in L^{2} \bigl( \bigl([0,2k\tau] \bigr),\mathbb{R} \bigr), u(0)=u(2k\tau),u'(0)=u'(2k\tau) \bigr\} . \end{aligned}$$

Then \(H^{1}_{2k\tau}\) is a separable and reflexive Banach space and the inner product

$$\begin{aligned} (u,v)= \int_{0}^{2k\tau} \bigl(p(t)u'(t)v'(t)+q(t)u(t)v(t) \bigr)\,dt, \end{aligned}$$

induces the norm

$$\begin{aligned} \Vert u\Vert _{H^{1}_{2k\tau}}= \biggl( \int_{0}^{2k\tau } \bigl(p(t) \bigl\vert u'(t) \bigr\vert ^{2}+q(t) \bigl\vert u(t) \bigr\vert ^{2} \bigr)\,dt \biggr)^{\frac{1}{2}}. \end{aligned}$$

We introduce the following notations. Denote

$$\begin{aligned} &F'_{s+1}(t,u_{1},u_{2}, \ldots,u_{s+1})=\frac{\partial F(t,u_{1},u_{2},\ldots,u_{s+1})}{\partial u_{s+1}}, \\ &F'_{s}(t,u_{2},\ldots,u_{s+1}, u_{s+2})=\frac{\partial F(t,u_{2},\ldots ,u_{s+1}, u_{s+2})}{\partial u_{s+1}}, \\ &\cdots \\ &F'_{1}(t,u_{s+1},u_{s+2}, \ldots,u_{2s+1})=\frac{\partial F(t,u_{s+1},u_{s+2},\ldots,u_{2s+1})}{\partial u_{s+1}}. \end{aligned}$$

Define a functional φ as

$$\begin{aligned} \varphi(u)={}&\frac{1}{2} \int_{0}^{2k\tau} \bigl(p(t) \bigl\vert u'(t) \bigr\vert ^{2}+q(t) \bigl\vert u(t) \bigr\vert ^{2} \bigr)\,dt \\ &{}-\lambda \int_{0}^{2k\tau }F \bigl(t,u(t),\ldots,u(t-s\tau) \bigr) \,dt,\quad u\in H^{1}_{2k\tau}. \end{aligned}$$
(2.1)

Then φ is Fréchet differentiable at any \(u\in H^{1}_{2k\tau }\). For any \(v\in H^{1}_{2k\tau}\), by a simple calculation, we have

$$\begin{aligned} \varphi'(u) (v) = {}& \int_{0}^{2k\tau} \bigl(p(t)u'(t)v'(t)+q(t)u(t)v(t) \bigr)\,dt-\lambda \int_{0}^{2k\tau} \bigl(F'_{1} \bigl(t,u(t),\ldots,u(t-s\tau)\bigr)v(t) \\ &{}+F'_{2}\bigl(t,u(t),u(t-\tau),\ldots,u(t-s\tau) \bigr)v(t-\tau) \\ &{}+\cdots \\ &{}+F'_{s+1}\bigl(t,u(t),u(t-\tau),\ldots,u(t-s\tau) \bigr)v(t-s\tau ) \bigr)\,dt. \end{aligned}$$

From (H3), \(p(t)\in C^{1}([0,\tau],\mathbb{R}^{+}) \), \(q(t)\in C([0,\tau ],\mathbb{R}^{+})\), and their periodicity, we have

$$\begin{aligned} \varphi'(u) (v) = {}& \int_{0}^{2k\tau} \bigl(-\bigl(p(t)u'(t) \bigr)'+q(t)u(t) \bigr)v(t)\,dt-\lambda \int_{0}^{2k\tau} \bigl(F'_{1} \bigl(t,u(t),\ldots,u(t-s\tau)\bigr)v(t) \\ &{}+F'_{2}\bigl(t,u(t+\tau),u(t),\ldots,u\bigl(t-(s-1) \tau\bigr)\bigr)v(t) \\ &{}+\cdots \\ &{}+F'_{s+1}\bigl(t,u(t+s\tau),u\bigl(t+(s-1)\tau\bigr), \ldots ,u(t)\bigr)v(t) \bigr)\,dt \\ = {}& \int_{0}^{2k\tau} \bigl(-\bigl(p(t)u'(t) \bigr)'+q(t)u(t)-\lambda \bigl(F'_{1} \bigl(t,u(t),\ldots ,u(t-s\tau)\bigr) \\ &{}+F'_{2}\bigl(t,u(t+\tau),u(t),\ldots,u\bigl(t-(s-1) \tau\bigr)\bigr) \\ &{}+\cdots \\ &{}+F'_{s+1}\bigl(t,u(t+s\tau),u\bigl(t+(s-1)\tau\bigr), \ldots ,u(t)\bigr) \bigr) \bigr)v(t)\,dt. \end{aligned}$$

Therefore, the corresponding Euler equation of functional φ is

$$\begin{aligned} &\bigl(p(t)u'(t)\bigr)'-q(t)u(t)+ \lambda \bigl(F'_{1}\bigl(t,u(t),\ldots,u(t-s\tau)\bigr) \\ &\quad{}+F'_{2}\bigl(t,u(t+\tau),u(t),\ldots,u \bigl(t-(s-1)\tau\bigr)\bigr) \\ &\quad{}+\cdots \\ &\quad{}+F'_{s+1}\bigl(t,u(t+s\tau),u\bigl(t+(s-1)\tau \bigr),\ldots ,u(t)\bigr) \bigr)=0. \end{aligned}$$
(2.2)

Note that system (1.4) is equivalent of system (2.2). Hence, critical points of the functional φ are classical \(2k\tau\)-periodic solutions of system (1.1).

Definition 2.1

[13]. Let E be a real reflexive Banach space, and

$$\begin{aligned} \Sigma= \bigl\{ A|A \subset E\setminus\{0\}\mbox{ is closed, symmetric set} \bigr\} . \end{aligned}$$

Define \(\gamma: \Sigma\rightarrow\mathbb{Z}^{+}\cup\{+\infty\}\) as follows:

$$ \gamma(A)= \textstyle\begin{cases} \min\{ n\in\mathbb{Z}^{+}: \mbox{there exists an odd continuous map }\\ \quad\varphi: A \rightarrow\mathbb{R}^{n}\setminus\{0\} \};\\ 0, \quad\mbox{if }A=\emptyset;\\ +\infty, \quad\mbox{if there is no odd continuous map } \varphi: A \rightarrow\mathbb{R}^{n}\setminus\{0\}\\ \quad\mbox{for any }{n\in \mathbb{Z}^{+}}. \end{cases} $$
(2.3)

Then we say γ is the genus of Σ.

Denote \(i_{1}(\varphi)=\lim_{a\rightarrow-0}\gamma(\varphi_{a})\) and \(i_{2}(\varphi)=\lim_{a\rightarrow-\infty}\gamma(\varphi _{a})\) where \(\varphi_{a}=\{u\in E|\varphi(u)\leq a\}\).

Lemma 2.2

[14]

Let E be a real Banach space, \(\varphi\in C^{1}(E,\mathbb{R})\) with φ even functional and satisfying the Palais-Smale (PS) condition. Suppose \(\varphi(0)=0\) and

  1. (i)

    if there exist an m-dimensional subspace X of E and a constant \(r>0\) such that

    $$ \sup_{u\in X\cap B_{r}}\varphi(u)< 0, $$
    (2.4)

    where \(B_{r}\) is an open ball of radius r in E centered at 0, then we have \(i_{1}(\varphi)\geq m\);

  2. (ii)

    if there exists a j-dimensional subspace V of E such that

    $$ \inf_{u\in V^{\bot}}\varphi(u)>-\infty, $$
    (2.5)

    then we have \(i_{2}(\varphi)\leq j\).

Moreover, if \(m\geq j\), then φ possesses at least \(2(m-j)\) distinct critical points.

3 Main result

In this section, we state and prove our main result. Set \(P=\max_{t\in[0,\tau]}p(t)\), \(Q=\max_{t\in[0,\tau]}q(t)\).

Theorem 3.1

Assume that (H1)-(H7) are satisfied. If there exists an integer \(m>0\) such that λ satisfies

$$ \lambda>\frac{m^{2}(P\pi^{2}+Qk^{2}\tau^{2})}{2(s+1)k^{2}\tau^{2}}, $$
(3.1)

then system (1.1) admits at least 2m non-zero solutions with the period \(2k\tau\).

Proof

We apply Lemma 2.2 to finish the proof. Under the assumptions (H4), it is easy to see that if function u is a solution of the system (1.1), then the function −u is also a solution of the system (1.1). Therefore, the solutions of the system (1.1) are a set which is symmetric with respect to the origin in \(H^{1}_{2k\tau}\). It follows directly from (2.1) and (H5) that φ is even in u and \(\varphi(0)=0\). The rest of the proof is divided into three steps.

Step 1: We show that the functional φ satisfies the assumption (ii) of Lemma 2.2.

It follows from (H7) that there exists a constant \(M>0\) such that

$$ \max_{t\in\mathbb{R}} F\bigl(t, u(t), \ldots,u(t-s\tau)\bigr)\leq\max_{(t,u_{1},u_{2},\ldots,u_{s+1})\in\Omega} F(t, u_{1}, \ldots,u_{s+1}) \leq M, $$
(3.2)

where \(\Omega=[0,\tau]\times[-\alpha,\alpha]\times[-\alpha ,\alpha]\times\cdots\times[-\alpha,\alpha]\). Combining (2.1) and (3.2), we get

$$\begin{aligned} \varphi(u) ={}& \frac{1}{2}\Vert u\Vert ^{2}_{H^{1}_{2k\tau}}-\lambda \int _{0}^{2k\tau}F\bigl(t,u(t),\ldots,u(t-s\tau)\bigr) \,dt \\ \geq{}& \frac{1}{2}\Vert u\Vert ^{2}_{H^{1}_{2k\tau}}-2 \lambda M k\tau >-\infty, \end{aligned}$$
(3.3)

which implies that φ is bounded from below. By the condition (ii) of Lemma 2.2, we have \(i_{2}(\varphi)=0\).

Step 2: We show that the functional φ satisfies PS condition.

For any given sequence \(\{u_{n}\}\in H^{1}_{2k\tau}\) such that \(\{\varphi (u_{n})\}\) is bounded and \(\lim_{n\rightarrow\infty}\varphi'(u_{n})=0\), there exists a constant \(C_{1}\) such that

$$\begin{aligned} \bigl\vert \varphi(u_{n}) \bigr\vert \leq C_{1},\qquad \bigl\Vert \varphi'(u_{n}) \bigr\Vert _{(H^{1}_{2k\tau })^{*}} \leq C_{1}, \quad \forall n\in\mathbb{N}, \end{aligned}$$

where \((H^{1}_{2k\tau})^{*}\) is the dual space of \(H_{2k\tau}^{1}\).

Therefore, we have

$$\begin{aligned} \frac{1}{2}\Vert u\Vert ^{2}_{H^{1}_{2k\tau}} \leq C_{1}+2\lambda M k\tau. \end{aligned}$$

It follows that \(\Vert u_{n}\Vert _{H_{2k\tau}^{1}}\) is bounded.

Since \(H_{2k\tau}^{1}\) is a reflexive Banach space, we can pick \(\{u_{n}\} \) be a weakly convergent sequence to u in \(H_{2k\tau}^{1}\) and \(\{u_{n}\} \) converges uniformly to u in \(C[0,2k\tau]\). So, we have

$$\begin{aligned} \begin{aligned} & \int_{0}^{2k\tau} \bigl(F'_{1} \bigl(t,u_{n}(t),\ldots,u_{n}(t-s\tau )\bigr)-F'_{1} \bigl(t,u(t),\ldots,u(t-s\tau)\bigr) \bigr) \bigl(u_{n}(t)-u(t)\bigr) \,dt\rightarrow 0, \\ & \int_{0}^{2k\tau} \bigl(F'_{2} \bigl(t,u_{n}(t),\ldots,u_{n}(t-s\tau )\bigr)-F'_{2} \bigl(t,u(t),\ldots,u(t-s\tau)\bigr) \bigr) \\ &\quad{}\times\bigl(u_{n}(t-\tau)-u(t-\tau )\bigr)\,dt\rightarrow0, \\ &\cdots \\ & \int_{0}^{2k\tau} \bigl(F'_{s+1} \bigl(t,u_{n}(t),\ldots,u_{n}(t-s\tau )\bigr)-F'_{s+1} \bigl(t,u(t),u(t-\tau),\ldots,u(t-s\tau)\bigr) \bigr) \\ &\quad{}\times\bigl(u_{n}(t-s\tau)-u(t-s\tau)\bigr)\,dt\rightarrow0, \\ &u_{n}(t)- u(t)\rightarrow0 \quad\mbox{as }n\rightarrow\infty, t\in[0,2k \tau]. \end{aligned} \end{aligned}$$
(3.4)

Therefore, by (3.4), we have \(\Vert u_{n}-u\Vert _{H_{2k\tau}^{1}}\to0\). Hence the functional φ satisfies the PS condition.

Step 3: We show that the functional φ satisfies the assumption (i) of Lemma 2.2.

Let \(\beta_{j}(t)=\frac{k\tau}{j\pi}\sin\frac{j\pi}{\kappa \tau}t,j=1,2,\ldots,m\). By calculation, we obtain

$$\begin{aligned} \int_{0}^{2k\tau}\bigl\vert \beta_{j}(t) \bigr\vert ^{2}\,dt= \biggl(\frac{k\tau}{j\pi }\biggr)^{2}k \tau \end{aligned}$$

and

$$\begin{aligned} \int_{0}^{2k\tau}\bigl\vert \beta'_{j}(t)\bigr\vert ^{2}\,dt= k\tau. \end{aligned}$$

Define the m-dimensional linear subspace as follows:

$$\begin{aligned} E_{m}=\operatorname{span}\bigl\{ \beta_{1}(t),\beta_{2}(t),\ldots,\beta_{m}(t)\bigr\} . \end{aligned}$$

It is clear to see that \(E_{m}\) is a symmetric set. Take \(r>0\), when \(u(t)\in E_{m}\cap S_{r}\), where \(S_{r}\) denotes the boundary of \(B_{r}\), \(u(t)\) has an expansion \(u(t)=\sum_{j=1}^{m}b_{j}\beta_{j}(t)\), and

$$\begin{aligned} r^{2}&=\bigl\Vert u(t)\bigr\Vert ^{2}_{H^{1}_{2k\tau}}= \int_{0}^{2k\tau }\bigl(p(t)\bigl\vert u'(t)\bigr\vert ^{2}+q(t)\bigl\vert u(t)\bigr\vert ^{2}\bigr)\,dt \\ &\leq k\tau\sum_{j=1}^{m} b^{2}_{j} \biggl(P +\frac{ Q k^{2}\tau ^{2}}{j^{2}\pi^{2}} \biggr). \end{aligned}$$
(3.5)

By (H6), for given ε with \(0<\varepsilon<\frac{\lambda m^{2}}{2(s+1) k^{2} \tau^{2}} (\frac{2(s+1) k^{2} \tau^{2}}{m^{2}}-\frac {P\pi^{2}+Q k^{2}\tau^{2}}{\lambda} )\), there exists \(\delta>0\) such that when \((\vert u(t)\vert ^{2}+\cdots+\vert u(t-s\tau)\vert ^{2})^{\frac {1}{2}}<\delta\), we have

$$ \lambda F\bigl(t, u(t),\ldots,u(t-s\tau)\bigr)>( \lambda-\varepsilon ) \bigl(\bigl\vert u(t)\bigr\vert ^{2}+\cdots+ \bigl\vert u(t-s\tau)\bigr\vert ^{2}\bigr). $$
(3.6)

Combining (2.1), (3.5), and (3.6), when \(u(t)\in E_{m}\cap S_{r}\), we have

$$\begin{aligned} \varphi(u)&= \frac{1}{2} \int_{0}^{2k\tau} \bigl(p(t)\bigl\vert u'(t)\bigr\vert ^{2}+q(t)\bigl\vert u(t)\bigr\vert ^{2} \bigr)\,dt-\lambda \int_{0}^{2k\tau }F\bigl(t,u(t),\ldots,u(t-s\tau)\bigr) \,dt \\ &\leq \frac{1}{2}\Vert u\Vert ^{2}_{H^{1}_{2k\tau}}-( \lambda-\varepsilon ) \int_{0}^{2k\tau}\bigl(\bigl\vert u(t)\bigr\vert ^{2}+\cdots+\bigl\vert u(t-s\tau)\bigr\vert ^{2}\bigr) \,dt \\ &\leq \frac{k\tau}{2}\sum_{j=1}^{m} b^{2}_{j} \biggl(P +\frac{ Q k^{2}\tau^{2}}{j^{2}\pi^{2}} \biggr)- \frac{(\lambda-\varepsilon )(s+1)k^{2}\tau^{2}}{m^{2}\pi^{2}}k\tau\sum_{j=1}^{m} b^{2}_{j} \\ &\leq \frac{k\tau}{2\pi^{2}} \sum_{j=1}^{m} b^{2}_{j} \biggl(P\pi ^{2}+Qk^{2} \tau^{2}-\frac{2(\lambda-\varepsilon)(s+1)k^{2}\tau ^{2}}{m^{2}} \biggr) \\ &= \frac{\lambda k\tau}{2\pi^{2}} \sum_{j=1}^{m} b^{2}_{j} \biggl(\frac {P\pi^{2}+Qk^{2}\tau^{2}}{\lambda}-\frac{2(s+1)k^{2}\tau ^{2}}{m^{2}}+ \varepsilon\frac{2(s+1)k^{2}\tau^{2}}{\lambda m^{2}} \biggr) \\ &< 0. \end{aligned}$$

Therefore \(i_{1}(\varphi)\geq m\). Consequently, system (1.1) admits at least 2m non-zero \(2k\tau\)-periodic solutions. □

Next we provide an example to illustrate the applicability of our result.

Example 3.2

Consider (1.1) with \(s=2\), \(p(t)=q(t)=(2+\sin\frac{2\pi t}{\tau})\),

$$\begin{aligned} &f\bigl(t,u(t),\ldots,u(t-4\tau)\bigr)\\ &\quad=6u(t-2\tau)-4\biggl(2+\cos \frac{2\pi t}{\tau}\biggr)u(t-2\tau) \\ &\qquad{}\times\bigl(u^{2}(t)+2u^{2}(t-\tau)+3u^{2}(t-2 \tau)+2u^{2}(t-3\tau)+u^{2}(t-4\tau)\bigr) \end{aligned}$$

and

$$\begin{aligned} F(t,u_{1},u_{2},u_{3})=u_{1}^{2}+u_{2}^{2}+u_{3}^{2}- \biggl(2+\cos\frac{2\pi t}{\tau } \biggr) \bigl(u_{1}^{2}+u_{2}^{2}+u_{3}^{2} \bigr)^{2}. \end{aligned}$$

It is easy to verify that \(f, F\) satisfy the assumptions of Theorem 3.1. Therefore system (1.1) admits at least 2m non-zero solutions with the period \(2k\tau\). Note \(u=0\) is also a solution of system (1.1).

References

  1. Hale, JK: Theory of Functional Differential Equations. Springer, New York (1977)

    Book  MATH  Google Scholar 

  2. Kuang, Y: Delay Differential Equations with Applications in Population Dynamics. Academic Press, New York (1993)

    MATH  Google Scholar 

  3. Olach, R: Positive periodic solutions of delay differential equations. Appl. Math. Lett. 26, 1141-1145 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  4. Yu, JS, Xiao, HF: Multiple periodic solutions with minimal period 4 of the delay differential equation \(\dot{x}=-f(t,x(t-1))\). J. Differ. Equ. 254, 2158-2172 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  5. Sella, E: Periodic solutions for some nonlinear differential equations of neutral type. Nonlinear Anal. 17, 139-151 (1991)

    Article  MathSciNet  Google Scholar 

  6. Yang, BX, Ma, RY, Gao, CH: Positive periodic solutions of delayed differential equations. Appl. Math. Comput. 218, 4538-4545 (2011)

    MathSciNet  MATH  Google Scholar 

  7. Li, XM, Yuan, XP: Quasi-periodic solutions for perturbed autonomous delay differential equations. J. Differ. Equ. 252, 3752-3796 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  8. Wu, K, Wu, X: Multiplicity results of periodic solutions for a class of first order delay differential equations. J. Math. Anal. Appl. 390, 427-438 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  9. Wu, J, Wang, ZC: Two periodic solutions of second-order neutral functional differential equations. J. Math. Anal. Appl. 329, 677-689 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  10. Xiao, HF: Multiplicity and minimality of periodic solutions to delay differential system. Electron. J. Differ. Equ. 39, 1 (2014)

    MathSciNet  Google Scholar 

  11. Shu, XB, Xu, YT, Huang, LH: Infinite periodic solutions to a class of second-order Sturm-Liouville neutral differential equations. Nonlinear Anal. 68, 905-911 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  12. Shu, XB, Xu, YT: Multiple periodic solutions to a class of second-order functional differential equations of mixed type. Acta Math. Appl. Sin. 5, 821-831 (2006)

    MathSciNet  Google Scholar 

  13. Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Springer, Berlin (1989)

    Book  MATH  Google Scholar 

  14. Chang, KC: Critical Point Theory and Its Applications. Shanghai scientific and Technical Publishers, Shanghai (1986)

    MATH  Google Scholar 

Download references

Acknowledgements

This work was partially supported by Hunan Provincial Natural Science Foundation of China (No: 2016JJ6122), National Natural Science Foundation of P.R. China (No: 11661037 and 11471109), and Jishou University Doctor Science Foundation (No: jsdxxcfxbskyxm201504).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jingli Xie.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Both authors made an equal contribution.

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

Luo, Z., Xie, J. Multiple periodic solutions for a class of second-order neutral functional differential equations. Adv Differ Equ 2017, 23 (2017). https://doi.org/10.1186/s13662-016-1064-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-016-1064-3

Keywords