Abstract and Applied Analysis

Volume 2013 (2013), Article ID 526350, 7 pages

http://dx.doi.org/10.1155/2013/526350

## Infinitely Many Periodic Solutions to Delay Differential Equations via Critical Point Theory

^{1}School of Mathematical Sciences, Capital Normal University, Beijing 100048, China^{2}School of Mathematical Sciences, Peking University, Beijing 100048, China^{3}School of Mathematical Sciences, South China Normal University, Guangzhou 510631, China

Received 9 June 2013; Revised 8 November 2013; Accepted 14 November 2013

Academic Editor: Yuriy Rogovchenko

Copyright © 2013 Xiaosheng Zhang and Duo Wang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

By the critical point theory, infinitely many 4*σ*-periodic solutions are obtained for the system of delay differential equations , where and . It is shown that all the periodic solutions derived here are brought about by the time delay.

#### 1. Introduction

This paper is concerned with the existence of periodic solutions to the system of delay differential equations where and .

Delay differential equations have widely been applied to describe the dynamics phenomena in both natural and manmade processes such as chemistry, physics, engineering, and economics. The existence of the periodic solutions for delay differential equations has been extensively investigated by using various methods, including fixed point theorems [1–5], Hopf bifurcation theorems [6–8], variational methods [9–14], the methods of differential inequalities [15–21], and other effective approaches (e.g., see [22–24]). In [25–31], the minimal periods of the periodic solutions to Lipschitzian differential equations are estimated through the Lipschitz constants (see Remark 4).

The use of variational methods in the study of -periodic solutions of system (1) having a variational structure was introduced in 2005 by Guo and Yu [9]. Assume that is odd in ; that is, , for all ;there exists such that , for all , where denotes the gradient of .

In [9], the authors obtained the multiplicity results for periodic solutions to (1) in the case that is asymptotically linear. Later, the existence of the periodic solution of (1) was investigated by using Morse theory and Galerkin methods [10]. For the other relative investigations, we refer the reader to [11–14].

Many practical problems, such as nonlinear population growth models and control systems working with potentially explosive chemical reactions, can be transformed into the form of (1). For example, by the change of variables , the following generalized food-limited population model is transformed equivalently into (1) with , , and , where and are positive numbers. When , . It is known from [24] that, with the slope increasing and tending to infinity, the number of the periodic solutions of (2) increases and tends to infinity. Naturally, one would conjecture that when , (2) possesses infinitely many periodic solutions, since in this case .

Motivated by the above observation, in this paper, we study the existence of infinitely many periodic solutions to the system (1) under the assumptions , , andthere are , and such that(i), for all ;(ii), for all , where , .

Here and subsequently, , denote the inner product and the standard norm in , respectively, and the bold face represents the coordinate origin of . The main result of this paper is stated as follows.

Theorem 1. *Assume that hold. Then (1) possesses a sequence of nonconstant -periodic solutions satisfying as .*

*Example 2. *When , it is easy to check that satisfies with ; then (2) has a sequence of nonconstant -periodic solutions satisfying as .

*Remark 3. *Let us compare the result here with that in the case of ordinary differential equations (ODE). Without the time delay, (1) reduces to the following system of ODE
Let be the solution of (3) satisfying the initial condition . Then the derivative of the Lyapunov function along reads
From ()-(i), we see that for , which implies that there is no any periodic orbit of (3) across ; that is, the trivial solution is an isolated periodic solution. However, by the above theorem, with the time delay, the system (1) possesses infinitely many periodic solutions in any neighborhood of the origin.

*Remark 4. *Consider the following system of th order functional differential equations:
where satisfies the Lipschitz condition and is a measurable function. The lower bounds for the periods of the periodic solutions to (5) and their special forms are estimated in [25–31]. From this perspective, Theorem 1 complements the information in the case of non-Lipschitzian differential equations. For the unique solvability of the periodic problems on functional differential equations, we refer the reader to [1, 15–21].

The remainder of this paper is divided into two parts. In the next section, we state the preliminaries on the variational structure for (1). In the final section, the proof of Theorem 1 will be given via the -genus theory, together with an approximating argument.

#### 2. Preliminaries

Let denote the set of -tuples of -periodic functions which are square integrable. If , it has a Fourier expansion where and the series converges in the space . For with its expansion (6), set , where Then , equipped with the norm , is a Sobolev space.

On the other hand, for with its expansion (6), set Then possesses another norm which is equivalent to . In the following, we always employ as the norm of . The associated inner product with is denoted by .

Now set Then is a closed subspace of and the Fourier expansion of reduces to Thus with being expanded as we have

For , we call a weak derivative of and denote it by if Further, for with its expansion (10), define Then it is easy to check that for . Therefore extends to all of as a continuous quadratic form. This extension will still be denoted by .

Let and satisfy for some . Define and , . The following lemma is derived from [9, Lemma 2.2].

Lemma 5 (see [9]). *Let and satisfy (15). Then and
**
where
**
Moreover, the existence of 2-periodic solutions for
**
satisfying is equivalent to the existence of critical points of functional .*

Let be the orthonormal basis of . For , set For , define where the closure is of sense. Set ; then . In the rest of this paper, this decomposition will always be referred to when a point is written as , where .

*Remark 6. *In view of (12), (14), and (18), we see that
and that

The following lemma is derived from [32, Lemma 2.1].

Lemma 7 (see [32]). *For each there is such that
**
for all with , the orthogonal complement in , where (and below) denotes the usual -norm.*

#### 3. Proof of Theorem 1

Without loss of generality we assume that since, under the change of variables , (1) can be transformed into the system where still satisfies with being replaced by .

Let be such that for , for , and for . Define by where .

Let be such that . By we get where (and below) 's stand for positive constants.

Lemma 8. *Let be defined by (25); then , , and
*

*Proof. *From (25), it is easy to see that . Now we start to prove (28). Let be such a constant that for . For , , set ; then . Define , . Then, by (26),
which implies that ; that is,
It follows that for , which, combining with (25), leads to the inequality on the left hand of (28) with being chosen adequately.

Again, for , , set and define , . Then by the first inequality in (27),
Thus , which leads to , where . In the same way, from the second inequality in (27), we can arrive at for , where the constant only depends on and . With , the inequalities on the right hand of (28) hold. Thus we get (28), which implies that for and that . The proof is complete.

Now we consider the functional

Lemma 9. * satisfies condition; that is, every sequence such that is bounded and as has a convergent subsequence.*

* Proof. *By Lemma 5, for , is defined by
To verify that satisfies condition, we suppose and as . Note that, for large , . Thus for large and , from (32) and (33),
Noticing that , we see from (25) that, for all ,
which, combining with (26) and (34), implies

Next for large , taking and in
and using (23), (27), and (28) and the Hölder inequality (, ), we get
where the last inequality holds since is compactly embedded in for . It follows from (36) that
Similarly, (40) works with being replaced by . Combining these inequalities shows
which implies that is bounded in .

Let be defined by (16). By [33, Proposition B.37], is precompact in . Moreover, from (23) and (33),
It follows that has a convergent subsequence. The proof is complete.

Lemma 10. *For each , there are , , and such that *(a)*, for all and , where ;*(b)*.*

* Proof. *Noticing that and that , we have, for ,
where is a positive constant depending on . It follows by (28) that, for ,
which implies (a) by setting and .

Let . By (28) and Lemma 7,
where . Noticing , one can see that as and (b) follows. The proof is complete.

In the following, let denote the family of closed (in ) subsets of symmetric with respect to the origin, and the -genus map (see [33]). For , set and define

Lemma 11. *For all , is a critical value of and
*

*Proof. *We first prove that (49) holds. For each , let be chosen as that in Lemma 10; then it follows by Lemma 10(a) that . Denote ; then and . Since , we have

On the other hand, for every , by the property of genus, , which, from Lemma 10(b), leads to for every . Thus and (49) holds.

By and (25), is even with respect to , which implies that is even. We claim that is a critical point of . Otherwise, there exists , such that there is no any critical point in the interval . By the definition of , there exists , such that
For , denote . Use a positive rather than a negative gradient flow [33, Remark A.17], we get such that is odd and
Since , we have ; that is,

On the other hand, by the property of genus, we know that , which, by the definition of , leads to
This contradiction implies that is a critical value of . The proof is complete.

Now we are in a position to give the following proof.

*Proof of Theorem 1. *In view of Lemma 11, let be such that
Then by condition, along a subsequence as , such that
which implies that is nonzero. Moreover, by Lemma 5,

We claim that, for sufficiently large , solves (1). In fact, from (26) and (56)
By (27), (58), and Hölder inequality
Similarly, the above inequality works with replaced by . These inequalities yield
Since as , it follows that

Furthermore, from (27) and (57), we have
It follows from (58) that as . Recalling (61), we get
which implies that as . Thus for sufficiently large, and therefor . It follow from (57) that, for sufficiently large, solves (1). In addition, by (1) and (i), the only constant solution of (1) is the trivial solution. Then (56) yields that is nonconstant and the proof of Theorem 1 is complete.

#### Acknowledgments

The authors are grateful to the referees’ careful reviewing and helpful comments. The work was supported by BJJW (KZ201310028031 and KM2014).

#### References

- X.-L. Liu and W.-T. Li, “Existence and uniqueness of positive periodic solutions of functional differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 293, no. 1, pp. 28–39, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Padhi and S. Srivastava, “Existence of three periodic solutions for a nonlinear first order functional differential equation,”
*Journal of the Franklin Institute*, vol. 346, no. 8, pp. 818–829, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - R. Ma, R. Chen, and T. Chen, “Existence of positive periodic solutions of nonlinear first-order delayed differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 384, no. 2, pp. 527–535, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. Olach, “Positive periodic solutions of delay differential equations,”
*Applied Mathematics Letters*, vol. 26, pp. 1141–1145, 2013. View at Google Scholar - P. Amster and L. Idels, “Periodic solutions in general scalar non-autonomous models with delays,”
*Nonlinear Differential Equations and Applications*, vol. 20, no. 5, pp. 1577–1596, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - F. Giannakopoulos and A. Zapp, “Local and global Hopf bifurcation in a scalar delay differential equation,”
*Journal of Mathematical Analysis and Applications*, vol. 237, no. 2, pp. 425–450, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Song and J. Wei, “Local Hopf bifurcation and global periodic solutions in a delayed predator-prey system,”
*Journal of Mathematical Analysis and Applications*, vol. 301, no. 1, pp. 1–21, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Yuan and Y. Song, “Stability and Hopf bifurcations in a delayed Leslie-Gower predator-prey system,”
*Journal of Mathematical Analysis and Applications*, vol. 355, no. 1, pp. 82–100, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Guo and J. Yu, “Multiplicity results for periodic solutions to delay differential equations via critical point theory,”
*Journal of Differential Equations*, vol. 218, no. 1, pp. 15–35, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Zhang and Q. Meng, “Nontrivial periodic solutions for delay differential systems via Morse theory,”
*Nonlinear Analysis: Theory, Methods & Applications A*, vol. 74, no. 5, pp. 1960–1968, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. Wu and X. Wu, “Existence of periodic solutions for a class of first order delay differential equations dealing with vectors,”
*Nonlinear Analysis: Theory, Methods & Applications A*, vol. 72, no. 12, pp. 4518–4529, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Guo and Z. Guo, “Existence of multiple periodic solutions for a class of second-order delay differential equations,”
*Nonlinear Analysis: Real World Applications*, vol. 10, no. 5, pp. 3285–3297, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Li, Z. Liu, and X. He, “Periodic solutions of some differential delay equations created by Hamiltonian systems,”
*Bulletin of the Australian Mathematical Society*, vol. 60, no. 3, pp. 377–390, 1999. View at Publisher · View at Google Scholar · View at MathSciNet - Y.-T. Xu and Z.-M. Guo, “Applications of a ${Z}_{p}$ index theory to periodic solutions for a class of functional differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 257, no. 1, pp. 189–205, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. Hakl, A. Lomtatidze, and J. Sremr, “On a boundary-value problem of periodic type for first-order linear functional differential equations,”
*Nonlinear Oscillations*, vol. 5, no. 3, pp. 408–425, 2002. View at Google Scholar - R. Hakl, A. Lomtatidze, and J. Sremr,
*Some Boundary Value Problems for First Order Scalar Functional Dierential Equations*, vol. 10 of*Mathematica, Faculty of Science of the Masaryk University in Brno*, Masaryk University, Brno, Czech Republic, 2002. - A. Domoshnitsky, “Maximum principles and nonoscillation intervals for first order Volterra functional differential equations,”
*Dynamics of Continuous, Discrete & Impulsive Systems A*, vol. 15, no. 6, pp. 769–814, 2008. View at Google Scholar · View at MathSciNet - I. Kiguradze and B. Puza, “On boundary value problems for systems of linear functional-differential equations,”
*Czechoslovak Mathematical Journal*, vol. 47, no. 2, pp. 341–373, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - I. Kiguradze and B. Puza,
*Boundary Value Problems for Systems of Linear Functional Differential Equations*, FOLIA, Brno, Czech Republic, 2002. View at MathSciNet - A. Domoshnitsky, R. Hakl, and J. Šremr, “Component-wise positivity of solutions to periodic boundary problem for linear functional differential system,”
*Journal of Inequalities and Applications*, vol. 2012, article 112, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. P. Agarwal, L. Berezansky, E. Braverman, and A. Domoshnitsky,
*Non-Oscillation Theory of Functional Differential Equations with Applications*, Springer, New York, NY, USA, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - J. R. Graef and L. Kong, “Existence of multiple periodic solutions for first order functional differential equations,”
*Mathematical and Computer Modelling*, vol. 54, no. 11-12, pp. 2962–2968, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - O. Diekmann, S. A. van Gils, S. M. V. Lunel, and H.-O. Walther,
*Delay-Equations: Functional Complex and Nonlinear Analysis*, Springer, New York, NY, USA, 1995. View at Publisher · View at Google Scholar · View at MathSciNet - W. Ge, “Existence of exactly $n+1$ simple 4-periodic solutions of the differential delay equation $\dot{x}(t)=-f(x(t-1))$,”
*Acta Mathematica Sinica*, vol. 10, no. 1, pp. 80–87, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. A. Yorke, “Periods of periodic solutions and the Lipschitz constant,”
*Proceedings of the American Mathematical Society*, vol. 22, pp. 509–512, 1969. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Mawhin and W. Walter, “A general symmetry principle and some implications,”
*Journal of Mathematical Analysis and Applications*, vol. 186, no. 3, pp. 778–798, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. A. Zevin and M. A. Pinsky, “Minimal periods of periodic solutions of some Lipschitzian differential equations,”
*Applied Mathematics Letters*, vol. 22, no. 10, pp. 1562–1566, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - E. Bravyi, “About minimal periods of solutions of functional differential equations of the high orders,”
*Izvestiya VUZov, Mathematics*, vol. 12, pp. 72–77, 2013. View at Google Scholar - A. Lasota and J. A. Yorke, “Bounds for periodic solutions of differential equations in Banach spaces,”
*Journal of Differential Equations*, vol. 10, pp. 83–91, 1971. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Y. Li, “Bounds for the periods of periodic solutions of differential delay equations,”
*Journal of Mathematical Analysis and Applications*, vol. 49, pp. 124–129, 1975. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Medved, “On minimal periods of functional-differential equations and difference inclusions,”
*Annales Polonici Mathematici*, vol. 3, pp. 263–270, 1991. View at Google Scholar · View at MathSciNet - Y. Ding and C. Lee, “Periodic solutions of Hamiltonian systems,”
*SIAM Journal on Mathematical Analysis*, vol. 32, no. 3, pp. 555–571, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. H. Rabinowitz,
*Minimax Methods in Critical Point Theory with Applications to Differential Equations*, vol. 65 of*CBMS*, American Mathematical Society, 1986. View at MathSciNet