Abstract and Applied Analysis
Volume 2010 (2010), Article ID 978137, 14 pages
doi:10.1155/2010/978137
Research Article

Variational Approaches for the Existence of Multiple Periodic Solutions of Differential Delay Equations

Rong Cheng1 and Jianhua Hu2

1College of Mathematics and Physics, Nanjing University of Information Science and Technology, Nanjing 210044, China
2College of Science, University of Shanghai for Science and Technology, Shanghai 200093, China

Received 30 March 2009; Revised 15 December 2009; Accepted 11 January 2010

Academic Editor: John Mallet-Paret

Copyright © 2010 Rong Cheng and Jianhua Hu. 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

The existence of multiple periodic solutions of the following differential delay equation 𝑥 ( 𝑡 ) = − 𝑓 ( 𝑥 ( 𝑡 − 𝑟 ) ) is established by applying variational approaches directly, where 𝑥 ∈ ℝ , 𝑓 ∈ 𝐶 ( ℝ , ℝ ) and 𝑟 > 0 is a given constant. This means that we do not need to use Kaplan and Yorke's reduction technique to reduce the existence problem of the above equation to an existence problem for a related coupled system. Such a reduction method introduced first by Kaplan and Yorke in (1974) is often employed in previous papers to study the existence of periodic solutions for the above equation and its similar ones by variational approaches.

1. Introduction

We are concerned in this paper with the search for 4 𝑟 -periodic solutions ( 𝑟 > 0 ) of a class of differential delay equations with the following form

𝑥 ′ ( 𝑡 ) = − 𝑓 ( 𝑥 ( 𝑡 − 𝑟 ) ) , ( 1 . 1 ) where 𝑥 ∈ ℝ , 𝑓 ∈ 𝐶 ( ℝ , ℝ ) , and 𝑟 > 0 is a given constant. Equation (1.1) occurs in variety of applications and describes many interesting types of phenomena. Taking 𝑓 ( 𝑥 ) = − 𝛿 + s i n 𝑥 , then (1.1) with the form

𝑥 ′ ( 𝑡 ) = 𝛿 − s i n ( 𝑥 ( 𝑡 − 𝑟 ) ) , 𝑡 ≥ 0 , 𝛿 ≥ 0 , 𝑟 ≥ 0 ( 1 . 2 ) arises in the study of phase-locked loops which are widely used in communication systems [1]. Furthermore, many equations occurring in other fields of applications can be changed to the form of (1.1) by changing variables. For example, letting 𝑥 ( 𝑡 ) = 𝑒 𝑢 ( 𝑡 ) − 1 , then the equation

𝑥 ′ ( 𝑡 ) = 𝛼 𝑥 ( 𝑡 − 1 ) ( 1 + 𝑥 ( 𝑡 ) ) ( 1 . 3 ) can be changed to the form of (1.1). Equation (1.3) was first proposed by Cunningham [2] as a nonlinear population growth model. Later Wright in [3] mentioned it as arising in the application of probability methods to the theory of asymptotic prime number density. For applications of (1.3) and its similar ones on ecology, one may see [4].

Because of extensive applications, (1.1) and (1.3) have been studied by many authors through various methods [1–3, 5–23]. In 1962, Jones in his paper of [13] considered (1.3) and obtained the existence of periodic solutions of (1.3) by applying fixed point theory. Nussbaum [14] also used fixed point theory [24] for the truncated cones of Krasnosel’skii to give an existence result on periodic solutions.

Besides various fixed point theorems, the global Hopf bifurcation theorem for differential delay equations introduced by Chow and Mallet-Paret [25], qualitative theory of ordinary differential equations, some well-known results on the existence of closed orbits for Hamiltonian vector fields, coincidence degree theory introduced by Mawhin [26, 27], and the Poincaré-Bendixson theorem are proved to be very useful tools in searching for periodic solutions of differential delay (1.1) and (1.3).

A different approach for establishing the existence of periodic solutions for the differential delay (1.1) was introduced by Kaplan and Yorke in their paper in [7]. Employing the method, they could reduce the search for periodic solutions of (1.1) to the problem of seeking periodic solutions for a related system of ordinary differential equations, which is called the coupled system to (1.1). Following the reduction idea of Kaplan and Yorke, Li and He [17, 18] were able to translate (1.1) with more than one delay to a coupled Hamiltonian system. Then they used variational approaches to study the coupled Hamiltonian system and obtained some existence results of multiple periodic solutions of the equations. This proves that variational approaches [28, 29] also are very powerful tools to study periodic solutions of (1.1), (1.3), and their similar ones.

Recently, Guo and Yu [19] do not use Kaplan and Yorke’s reduction technique and apply variational methods directly to study the existence of multiple periodic solutions of (1.1) with 𝑥 and 𝑓 being vectors in ℝ 𝑛 . That is to say they do not reduce the existence problem of (1.1) to an existence problem of a related coupled Hamiltonian system. By applying the pseudo-index introduced by Benci in [30], they obtained a sufficient condition on the existence and multiplicity of periodic solutions for (1.1). To the author’s knowledge, this is the first time in which the existence of periodic solutions of (1.1) is studied by variational methods directly.

Let us say some words about the two methods. The advantage of direct variational method is that the function 𝑓 could be a vector in ℝ 𝑛 while 𝑓 is only being a scalar in Kaplan and Yorke’s reduction method. But Kaplan and Yorke’s reduction method can deal with (1.1) with more than two delays while direct variational method used by Guo and Yu only admits one delay in (1.1).

Motivated by the work of Guo and Yu, in this paper we will also use variational approaches directly to study the existence of periodic solutions of (1.1). But our arguments are quite different from theirs. Throughout this paper, we make the following assumptions.

( 𝐻 1 ) 𝑓 ( 𝑥 ) ∈ 𝐶 ( ℝ , ℝ ) , and for any 𝑥 ∈ ℝ , 𝑓 ( 𝑥 ) + 𝑓 ( − 𝑥 ) = 0 , that is, 𝑓 ( 𝑥 ) is odd.( 𝐻 2 ) 𝑓 ( 𝑥 ) satisfies

l i m 𝑥 → 0 𝑓 ( 𝑥 ) 𝑥 = − 𝛼 0 ∈ ℝ , l i m 𝑥 → ∞ 𝑓 ( 𝑥 ) 𝑥 = − 𝛼 ∞ ∈ ℝ . ( 1 . 4 ) In order to state our main result, we need the following definition.

Definition 1.1. For each 𝛼 ∈ ℝ , define 𝜇 ( 𝛼 ) = ∞ 𝑚 = 1 𝜎 − ( − 1 ) 𝑚 𝜋 ( 2 𝑟 2 𝑚 − 1 ) − 𝛼 − 𝜎 − ( ( − 1 ) 𝑚 ) , 𝜈 ( 𝛼 ) = ∞ 𝑚 = 1 𝜎 0 ( − 1 ) 𝑚 𝜋 , 2 𝑟 ( 2 𝑚 − 1 ) − 𝛼 ( 1 . 5 ) where the two functions 𝜎 − ( 𝑡 ) and 𝜎 0 ( 𝑡 ) are given by 𝜎 − 𝜎 ( 𝑡 ) = 1 , 𝑡 < 0 , 0 , 𝑡 ≥ 0 , 0 ( 𝑡 ) = 1 , 𝑡 = 0 , 0 , 𝑡 ≠ 0 . ( 1 . 6 )

It is easy to see that 𝜇 ( 𝛼 ) and 𝜈 ( 𝛼 ) are well defined. Let 𝜇 0 = 𝜇 ( 𝛼 0 ) , 𝜇 ∞ = 𝜇 ( 𝛼 ∞ ) , 𝜈 0 = 𝜈 ( 𝛼 0 ) , and 𝜈 ∞ = 𝜈 ( 𝛼 ∞ ) . Then our main result states as follows.

Theorem 1.2. Suppose that 𝑓 satisfies ( 𝐻 1 ) and ( 𝐻 2 ) . Then the following conclusions are true. ( i ) If 𝛼 ∞ ∉ ( 𝜋 / 2 𝑟 ) ( 2 ℤ − 1 ) , then (1.1) possesses at least m a x { 𝜇 0 − 𝜇 ∞ , 𝜇 ∞ − 𝜇 0 − 𝜈 0 } nontrivial geometrically different 4 𝑟 -periodic solutions. ( i i ) If 𝛼 ∞ ∈ ( 𝜋 / 2 𝑟 ) ( 2 ℤ − 1 ) , | 𝑓 ( 𝑥 ) + 𝛼 ∞ 𝑥 | is bounded, and ∫ 𝑥 0 𝑓 ( 𝑦 ) 𝑑 𝑦 + ( 1 / 2 ) 𝛼 ∞ 𝑥 2 converges to − ∞ as | 𝑥 | → ∞ , then the conclusion of ( i ) also holds.

Remark 1.3. We say that two solutions of (1.1) are geometrically different if one cannot be obtained by time rescaling of the other. We will use [31, Theorem 2 . 4 ] to prove the main result.

2. Variational Functional on Hilbert Space

In this section, we will construct a variational functional of (1.1) defined on a suitable Hilbert space such that finding 4 𝑟 -periodic solutions of (1.1) is equivalent to seeking critical points of the functional.

We work in the Hilbert space 𝐻 = 𝐻 1 / 2 , 2 ( 𝑆 1 , ℝ ) which consists of those functions 𝑥 ∈ 𝐿 2 ( 𝑆 1 , ℝ ) having weak derivative 𝑥 ′ ∈ 𝐿 2 ( 𝑆 1 , ℝ ) . The simplest way to introduce this space seems as follows. Each function 𝑥 ∈ 𝐿 2 ( 𝑆 1 , ℝ ) has the following Fourier expansion:

𝑥 ( 𝑡 ) = 𝑎 0 + + ∞ 𝑚 = 1 𝑎 𝑚 𝜋 c o s 2 𝑟 𝑚 𝑡 + 𝑏 𝑚 𝜋 s i n , 2 𝑟 𝑚 𝑡 ( 2 . 1 ) where 𝑎 𝑚 , 𝑏 𝑚 ∈ ℝ . 𝐻 is the set of those functions satisfying

‖ 𝑥 ‖ 2 = 4 𝑟 𝑎 2 0 + 2 𝑟 + ∞ 𝑚 = 1 𝑚 𝑎 2 𝑚 + 𝑏 2 𝑚 < + ∞ . ( 2 . 2 ) With this norm ‖ ⋅ ‖ , 𝐻 is a Hilbert space with the following inner product:

⟨ 𝑥 , 𝑦 ⟩ = 4 𝑟 𝑎 0 𝑎 0 + 2 𝑟 ∞ 𝑚 = 1 𝑚 𝑎 𝑚 𝑎 𝑚 + 𝑏 𝑚 𝑏 𝑚 , ( 2 . 3 ) where 𝑦 = 𝑎 0 + ∑ + ∞ 𝑚 = 1 ( 𝑎 𝑚 c o s ( 𝜋 / 2 𝑟 ) 𝑚 𝑡 + 𝑏 𝑚 s i n ( 𝜋 / 2 𝑟 ) 𝑚 𝑡 ) .

For each 𝑥 ∈ 𝐻 , we define a functional 𝐼 ∶ 𝐻 → ℝ by

𝐼 ( 𝑥 ) = 0 4 𝑟 1 2 𝑥 ′ ( 𝑡 + 𝑟 ) 𝑥 ( 𝑡 ) 𝑑 𝑡 + 0 4 𝑟 𝐹 ( 𝑥 ( 𝑡 ) ) 𝑑 𝑡 , ( 2 . 4 ) where ∫ 𝐹 ( 𝑥 ) = 𝑥 0 𝑓 ( 𝑦 ) 𝑑 𝑦 .

By Riesz representation theorem, 𝐻 identifies its dual space 𝐻 ∗ . Then we define an operator 𝐽 ∶ 𝐻 → 𝐻 ∗ = 𝐻 by extending the bilinear form

⟨ 𝐽 𝑥 , 𝑦 ⟩ = 0 4 𝑟 𝑥 ( 𝑡 + 𝑟 ) 𝑦 ( 𝑡 ) 𝑑 𝑡 , ∀ 𝑥 , 𝑦 ∈ 𝐻 . ( 2 . 5 ) In fact, define a map 𝐿 ∶ 𝐻 × 𝐻 → 𝐻 by 𝐿 ( 𝑥 , 𝑦 ) = ⟨ 𝐽 𝑥 , 𝑦 ⟩ . Then 𝐿 is linear in 𝑥 and 𝑦 , respectively, and there exists a positive number 𝑀 > 0 such that

‖ 𝐿 ( 𝑥 , 𝑦 ) ‖ ≤ 𝑀 ‖ 𝑥 ‖ ‖ 𝑦 ‖ . ( 2 . 6 ) Thus 𝐿 is a bilinear form from 𝐻 × 𝐻 → 𝐻 . So 𝐽 is a bounded linear operator on 𝐻 and k e r 𝐽 = ℝ .

For any 𝑥 ∈ 𝐻 , define a mapping 𝐾 ∶ 𝐻 → ℝ as

𝐾 ( 𝑥 ) = 0 4 𝑟 𝐹 ( 𝑥 ( 𝑡 ) ) 𝑑 𝑡 . ( 2 . 7 ) Then the functional 𝐼 can be rewritten as

1 𝐼 ( 𝑥 ) = 2 ⟨ 𝐽 𝑥 , 𝑥 ⟩ + 𝐾 ( 𝑥 ) , ∀ 𝑥 ∈ 𝐻 . ( 2 . 8 ) According to a standard argument in [30], one has, for any 𝑥 , 𝑦 ∈ 𝐻 ,

𝐼 = ( 𝑥 ) , 𝑦 0 4 𝑟 1 2 ( 𝑥 ′ ( 𝑡 + 𝑟 ) − 𝑥 ′ ( 𝑡 − 𝑟 ) ) 𝑦 ( 𝑡 ) 𝑑 𝑡 + 0 4 𝑟 𝑓 ( 𝑥 ( 𝑡 ) ) 𝑦 ( 𝑡 ) 𝑑 𝑡 . ( 2 . 9 ) Moreover 𝐾 ′ ∶ 𝐻 → 𝐻 is a compact operator defined by

𝐾 = ( 𝑥 ) , 𝑦 0 4 𝑟 𝑓 ( 𝑥 ( 𝑡 ) ) 𝑦 ( 𝑡 ) 𝑑 𝑡 . ( 2 . 1 0 ) Our aim is to reduce the existence of periodic solutions of (1.1) to the existence of critical points of 𝐼 . For this we introduce a shift operator Γ ∶ 𝐻 → 𝐻 defined by

Γ 𝑥 ( 𝑡 ) = 𝑥 ( 𝑡 + 𝑟 ) . ( 2 . 1 1 ) It is easy to compute that Γ is bounded and linear. Moreover Γ is isometric, that is, ‖ Γ 𝑥 ‖ = ‖ 𝑥 ‖ and Γ 4 = 𝑖 𝑑 , where 𝑖 𝑑 denotes the identity mapping on 𝐻 .

Write

𝐸 = 𝑥 ∈ 𝐻 ∶ Γ 2 . 𝑥 ( 𝑡 ) = − 𝑥 ( 𝑡 ) ( 2 . 1 2 ) By a direct computation, solutions of the Euler equation of 𝐼 in 𝐸 are exactly solutions of (1.1).

Lemma 2.1. As a closed subspace of 𝐻 , 𝐸 has the following property: 𝐸 = 𝑥 ( 𝑡 ) = + ∞ 𝑚 = 1 𝑎 2 𝑚 − 1 𝜋 c o s 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 + 𝑏 2 𝑚 − 1 𝜋 s i n . 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 ( 2 . 1 3 )

Proof. It is easy to see that 𝐸 is a closed subspace of 𝐻 . For any 𝑥 ( 𝑡 ) = 𝑎 0 + ∑ + ∞ 𝑚 = 1 ( 𝑎 𝑚 c o s ( 𝜋 / 2 𝑟 ) 𝑚 𝑡 + 𝑏 𝑚 s i n ( 𝜋 / 2 𝑟 ) 𝑚 𝑡 ) ∈ 𝐸 , Γ 2 𝑥 = − 𝑥 implies that 𝑥 ( 𝑡 + 2 𝑟 ) = − 𝑥 ( 𝑡 ) . Then one has 𝑎 0 = − 𝑎 0 , 𝑎 𝑚 = ( − 1 ) 𝑚 + 1 𝑎 𝑚 , 𝑏 𝑚 = ( − 1 ) 𝑚 + 1 𝑏 𝑚 , ( 2 . 1 4 ) that is, 𝑎 𝑚 = 𝑏 𝑚 = 0 f o r e v e n 𝑚 . ( 2 . 1 5 ) Thus, for any 𝑥 ( 𝑡 ) ∈ 𝐸 , 𝑥 ( 𝑡 ) = + ∞ 𝑚 = 1 𝑎 2 𝑚 − 1 𝜋 c o s 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 + 𝑏 2 𝑚 − 1 𝜋 s i n . 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 ( 2 . 1 6 ) Hence we get the conclusion.

If we restrict 𝐽 on 𝐸 , a direct check shows that 𝐽 over 𝐸 is self-adjoint. For any 𝑥 ∈ 𝐸 , let ∑ 𝐽 𝑥 ( 𝑡 ) = + ∞ 𝑚 = 1 ( 𝑎 𝐽 2 𝑚 − 1 c o s ( 𝜋 / 2 𝑟 ) ( 2 𝑚 − 1 ) 𝑡 + 𝑏 𝐽 2 𝑚 − 1 s i n ( 𝜋 / 2 𝑟 ) ( 2 𝑚 − 1 ) 𝑡 ) . Let ∑ 𝑦 = + ∞ 𝑚 = 1 ( 𝑎 2 𝑚 c o s ( 𝜋 / 2 𝑟 ) ( 2 𝑚 − 1 ) 𝑡 + 𝑏 2 𝑚 − 1 s i n ( 𝜋 / 2 𝑟 ) ( 2 𝑚 − 1 ) 𝑡 ) . Then

𝑥 ′ ( 𝑡 + 𝑟 ) = + ∞ 𝑚 = 1 ( − 1 ) 𝑚 𝜋 𝑎 2 𝑟 ( 2 𝑚 − 1 ) 2 𝑚 − 1 𝜋 c o s 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 + 𝑏 2 𝑚 − 1 𝜋 s i n , 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 0 4 𝑟 𝑥 ′ ( 𝑡 + 𝑟 ) 𝑦 ( 𝑡 ) 𝑑 𝑡 = ( − 1 ) 𝑚 𝜋 ( 2 𝑚 − 1 ) 𝑎 2 𝑚 − 1 𝑎 2 𝑚 − 1 + 𝜋 ( 2 𝑚 − 1 ) 𝑏 2 𝑚 − 1 𝑏 2 𝑚 − 1 . ( 2 . 1 7 ) According to the definition of the inner product in 𝐸 , we have

𝑎 𝐽 2 𝑚 − 1 = ( − 1 ) 𝑚 𝜋 𝑎 2 𝑟 2 𝑚 − 1 , 𝑏 𝐽 2 𝑚 − 1 = ( − 1 ) 𝑚 𝜋 𝑏 2 𝑟 2 𝑚 − 1 , ( 2 . 1 8 ) that is,

𝐽 𝑥 ( 𝑡 ) = + ∞ 𝑚 = 1 ( − 1 ) 𝑚 𝜋 𝑎 2 𝑟 2 𝑚 − 1 𝜋 c o s 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 + 𝑏 2 𝑚 − 1 𝜋 s i n . 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 ( 2 . 1 9 )

Let 𝐼 | 𝐸 denote the restriction of 𝐼 on 𝐸 . Then we have the following lemma.

Lemma 2.2. Critical points of 𝐼 | 𝐸 over 𝐸 are critical points of 𝐼 on 𝐻 .

Proof. Note that any 𝑥 ∈ 𝐸 is 4 𝑟 periodic and 𝑓 is odd. It is enough for us to prove that ⟨ 𝐼 ′ ( 𝑥 ) , 𝑦 ⟩ = 0 for any 𝑦 ∈ 𝐻 and 𝑥 being a critical point of 𝐼 in 𝐸 .
For any 𝑦 ∈ 𝐻 , we have
Γ 2 𝐼 = Γ ( 𝑥 ) , 𝑦 2 + Γ 𝐽 𝑥 , 𝑦 2 𝐾 = ( 𝑥 ) , 𝑦 𝐽 𝑥 , Γ − 2 𝑦 + 𝐾 ( 𝑥 ) , Γ − 2 𝑦 = 0 4 𝑟 𝑥 ′ ( 𝑡 + 𝑟 ) 𝑦 ( 𝑡 − 2 𝑟 ) 𝑑 𝑡 + 0 4 𝑟 𝑓 ( 𝑥 ( 𝑡 ) ) 𝑦 ( 𝑡 − 2 𝑟 ) 𝑑 𝑡 = − 0 4 𝑟 𝑥 ′ ( 𝑡 + 𝑟 ) 𝑦 ( 𝑡 ) 𝑑 𝑡 − 0 4 𝑟 = 𝑓 ( 𝑥 ( 𝑡 ) ) 𝑦 ( 𝑡 ) 𝑑 𝑡 − 𝐼 . ( 𝑥 ) , 𝑦 ( 2 . 2 0 ) This yields Γ 2 𝐼 ′ ( 𝑥 ) = − 𝐼 ′ ( 𝑥 ) , that is, 𝐼 ′ ( 𝑥 ) ∈ 𝐸 .
Suppose that 𝑥 ( 𝑡 ) is a critical point of 𝐼 in 𝐸 . We only need to show that ⟨ 𝐼 ′ ( 𝑥 ) , 𝑦 ⟩ = 0 for any 𝑦 ∈ 𝐻 . Writing 𝑦 = 𝑦 1 ⊕ 𝑦 2 with 𝑦 1 ∈ 𝐸 , 𝑦 2 ∈ 𝐸 ⟂ and noting that 𝐼 ′ ( 𝑥 ) ∈ 𝐸 , one has
𝐼 = 𝐼 ( 𝑥 ) , 𝑦 ( 𝑥 ) , 𝑦 1 + 𝐼 ( 𝑥 ) , 𝑦 2 = 0 + 0 = 0 . ( 2 . 2 1 ) The proof is complete.

Remark 2.3. By Lemma 2.2, we only need to consider 𝐼 | 𝐸 . Therefore in the following 𝐼 will be assumed on 𝐸 .

For any 𝛼 ∈ ℝ , we define an operator 𝐿 𝛼 ∶ 𝐻 → 𝐻 by

⟨ 𝐿 𝛼 𝑥 , 𝑦 ⟩ = 0 4 𝑟 𝛼 𝑥 ( 𝑡 ) 𝑦 ( 𝑡 ) 𝑑 𝑡 . ( 2 . 2 2 )

It is not difficult to see that 𝐿 is a bounded self-adjoint linear mapping on 𝐸 . Furthermore, for any 𝑥 ( 𝑡 ) ∈ 𝐸 , let 𝐿 𝛼 ∑ 𝑥 ( 𝑡 ) = + ∞ 𝑚 = 1 ( 𝑎 𝐿 𝛼 2 𝑚 − 1 c o s ( 𝜋 / 2 𝑟 ) ( 2 𝑚 − 1 ) 𝑡 + 𝑏 𝐿 𝛼 2 𝑚 − 1 s i n ( 𝜋 / 2 𝑟 ) ( 2 𝑚 − 1 ) 𝑡 ) . Let ∑ 𝑦 = + ∞ 𝑚 = 1 ( 𝑎 2 𝑚 − 1 c o s ( 𝜋 / 2 𝑟 ) ( 2 𝑚 − 1 ) 𝑡 + 𝑏 2 𝑚 − 1 s i n ( 𝜋 / 2 𝑟 ) ( 2 𝑚 − 1 ) 𝑡 ) . Then

0 4 𝑟 𝛼 𝑥 ( 𝑡 ) 𝑦 ( 𝑡 ) 𝑑 𝑡 = 2 𝑟 𝛼 𝑎 2 𝑚 − 1 𝑎 2 𝑚 − 1 + 2 𝑟 𝛼 𝑏 2 𝑚 − 1 𝑏 2 𝑚 − 1 . ( 2 . 2 3 ) Similar to (2.19), we have

𝑎 𝐿 𝛼 2 𝑚 − 1 = 𝛼 𝑎 2 𝑚 − 1 2 𝑚 − 1 , 𝑏 𝐿 𝛼 2 𝑚 − 1 = 𝛼 𝑏 2 𝑚 − 1 2 𝑚 − 1 , ( 2 . 2 4 ) that is,

𝐿 𝛼 𝑥 ( 𝑡 ) = + ∞ 𝑚 = 1 𝛼 𝑎 2 𝑚 − 1 2 𝑚 − 1 𝜋 c o s 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 + 𝑏 2 𝑚 − 1 𝜋 s i n . 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 ( 2 . 2 5 )

Set

𝐸 ( 𝑚 ) = 𝑥 ∈ 𝐸 ∶ 𝑥 ( 𝑡 ) = 𝑎 2 𝑚 − 1 𝜋 c o s 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 + 𝑏 2 𝑚 − 1 𝜋 s i n , 𝐸 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 𝑛 = 𝐸 ( 1 ) ⊕ 𝐸 ( 2 ) ⊕ ⋯ ⊕ 𝐸 ( 𝑛 ) . ( 2 . 2 6 ) Let 𝑃 𝑛 be the orthogonal projection from 𝐸 to 𝐸 𝑛 , then one has

𝑃 𝑛 𝑥 ( 𝑡 ) = 𝑛 𝑚 = 1 𝑎 2 𝑚 − 1 𝜋 c o s 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 + 𝑏 2 𝑚 − 1 𝜋 s i n . 2 𝑟 ( 2 𝑚 − 1 ) 𝑡 ( 2 . 2 7 ) Denote by 𝑀 + ( 𝐽 − 𝐿 𝛼 ) , 𝑀 − ( 𝐽 − 𝐿 𝛼 ) , and 𝑀 0 ( 𝐽 − 𝐿 𝛼 ) the positive definite, the negative definite, and the null subspace of the self-adjoint operator 𝐽 − 𝐿 𝛼 , respectively. Then we have the following lemma.

Lemma 2.4. For 𝑚 ≥ 1 , let 𝜆 𝑚 = ( − 1 ) 𝑚 ( 𝜋 / 2 𝑟 ) ( 2 𝑚 − 1 ) − 𝛼 . Then the following conclusions hold: 𝑀 + 𝐽 − 𝐿 𝛼 = ∞ 𝑚 = 1 , 𝜆 𝑚 > 0 𝑀 𝐸 ( 𝑚 ) , − 𝐽 − 𝐿 𝛼 = ∞ 𝑚 = 1 , 𝜆 𝑚 < 0 𝑀 𝐸 ( 𝑚 ) , 0 𝐽 − 𝐿 𝛼 = ∞ 𝑚 = 1 , 𝜆 𝑚 = 0 𝐸 ( 𝑚 ) . ( 2 . 2 8 ) Moreover for 𝑚 large enough, d i m 𝑀 − 𝑃 𝑚 𝐽 − 𝐿 𝛼 𝑃 𝑚 = 2 𝜇 ( 𝛼 ) + 2 𝑚 𝑗 = 1 𝜎 − ( − 1 ) 𝑗 , d i m 𝑀 0 𝑃 𝑚 𝐽 − 𝐿 𝛼 𝑃 𝑚 = 2 𝜈 ( 𝛼 ) . ( 2 . 2 9 )

Proof. For 𝑥 𝑚 = 𝑎 2 𝑚 − 1 c o s ( 𝜋 / 2 𝑟 ) ( 2 𝑚 − 1 ) 𝑡 + 𝑏 2 𝑚 − 1 s i n ( 𝜋 / 2 𝑟 ) ( 2 𝑚 − 1 ) 𝑡 , consider the following eigenvalue problem: 𝐽 − 𝐿 𝛼 𝑥 𝑚 = 𝜆 𝑥 𝑚 . ( 2 . 3 0 ) From (2.19) and (2.25), one has ( − 1 ) 𝑚 𝜋 − 𝛼 2 𝑟 𝑎 2 𝑚 − 1 2 𝑚 − 1 = 𝜆 𝑎 2 𝑚 − 1 , ( − 1 ) 𝑚 𝜋 − 𝛼 2 𝑟 𝑏 2 𝑚 − 1 2 𝑚 − 1 = 𝜆 𝑏 2 𝑚 − 1 . ( 2 . 3 1 ) The above two equalities show that 𝐽 − 𝐿 𝛼 is positive definite, negative definite, and null on 𝐸 ( 𝑚 ) if and only if 𝜆 𝑚 = ( − 1 ) 𝑚 ( 𝜋 / 2 𝑟 ) ( 2 𝑚 − 1 ) − 𝛼 is positive, negative, and zero, respectively.
By Definition 1.1 and for 𝑚 large enough,
d i m 𝑀 − 𝑃 𝑚 𝐽 − 𝐿 𝛼 𝑃 𝑚 = 2 𝑚 𝑗 = 1 𝜎 − ( − 1 ) 𝑚 𝜋 2 𝑟 ( 2 𝑚 − 1 ) − 𝛼 = 2 𝑚 𝑗 = 1 𝜎 − ( − 1 ) 𝑚 𝜋 2 𝑟 ( 2 𝑚 − 1 ) − 𝛼 − 2 𝑚 𝑗 = 1 𝜎 − ( − 1 ) 𝑗 + 2 𝑚 𝑗 = 1 𝜎 − ( − 1 ) 𝑗 = 2 𝜇 ( 𝛼 ) + 2 𝑚 𝑗 = 1 𝜎 − ( − 1 ) 𝑗 . ( 2 . 3 2 ) The last equality of Lemma 2.4 is obvious. The proof is complete.

3. Proof of the Main Result

In this section, we will use [31, Theorem 2 . 4 ] to prove our main result. To state the theorem, we need the following notation and definition. For 𝜃 ∈ 𝑆 1 and 𝑥 ∈ 𝐸 , define an action 𝑇 on 𝐸 by

𝑇 ( 𝜃 ) 𝑥 ( 𝑡 ) = 𝑥 ( 𝑡 + 𝜃 ) . ( 3 . 1 ) A direct computation shows that

𝑆 𝐹 𝑖 𝑥 1 = 𝑥 ∈ 𝐸 ∶ 𝑇 ( 𝜃 ) ( 𝑥 ) = 𝑥 , ∀ 𝜃 ∈ 𝑆 1 = { 0 } . ( 3 . 2 )

Definition 3.1. 𝐼 satisfies ( 𝑃 𝑆 ) 𝑐 condition on 𝐸 if every sequence { 𝑥 𝑚 } ⊂ 𝐸 with 𝐼 ( 𝑥 𝑚 ) → 𝑐 and 𝐼 ′ ( 𝑥 𝑚 ) → 0 possesses a convergent subsequence.

Write 𝐿 0 = 𝐿 𝛼 0 and 𝐿 ∞ = 𝐿 𝛼 ∞ . Then [31, Theorem 2 . 4 ] applied to 𝐼 on 𝐸 can be stated as follows.

Lemma 3.2. Suppose that there exist two closed 𝑆 1 -invariant linear subspace of 𝐸 , 𝑉 and, 𝑊 and a positive number 𝑠 > 0 such that (1) ( 𝑉 + 𝑊 ) is closed and of finite codimension in 𝐸 ,(2) 𝐿 ( 𝑊 ) ⊆ 𝑊 with 𝐴 = 𝐽 − 𝐿 0 or 𝐴 = 𝐽 − 𝐿 ∞ ,(3) there exists 𝛽 0 ∈ ℝ such that i n f 𝑥 ∈ 𝑉 𝐼 ( 𝑥 ) ≥ 𝛽 0 , ( 3 . 3 ) (4) there exists 𝛽 ∞ ∈ ℝ such that 𝐼 ( 𝑥 ) ≤ 𝛽 ∞ < 𝐼 ( 0 ) , ∀ 𝑥 ∈ 𝑊 ∩ 𝐵 𝑠 = { 𝑥 ∈ 𝑊 ∶ ‖ 𝑥 ‖ = 𝑠 } , ( 3 . 4 ) (5) 𝐼 satisfies ( 𝑃 𝑆 ) 𝑐 condition for 𝛽 0 ≤ 𝑐 ≤ 𝛽 ∞ .
Then 𝐼 possesses at least ( 1 / 2 ) [ d i m ( 𝑉 ∩ 𝑊 ) − c o d i m ( 𝑉 + 𝑊 ) ] geometrically distinct critical orbits in 𝐼 − 1 ( [ 𝛽 0 , 𝛽 ∞ ] ) .

Lemma 3.3. Assume that ( 𝐻 1 ) , ( 𝐻 2 ) , and the assumptions of (i) or (ii) of Theorem 1.2 hold. Then 𝐼 satisfies ( 𝑃 𝑆 ) 𝑐 condition on 𝐸 .

Proof. We first show that { 𝑥 𝑚 } ⊂ 𝐸 is bounded. Assume that { 𝑥 𝑚 } is not bounded. By passing to a subsequence, if necessary, we may assume that ‖ 𝑥 𝑚 ‖ → ∞ as 𝑚 → ∞ .
Case (i). Suppose that 𝛼 ∞ ∉ ( 𝜋 / 2 𝑟 ) ( 2 ℤ − 1 ) . Then by Definition 1.1, 𝜈 ∞ = 0 , which yields 𝑀 0 ( 𝐽 − 𝐿 ∞ ) = 0 . Thus 𝐽 − 𝐿 ∞ has bounded inverse, that is, ∃ 𝜅 > 0 such that
‖ ‖ 𝐽 − 𝐿 ∞ − 1 ‖ ‖ ≤ 1 𝜅 . ( 3 . 5 )
For any 𝑥 ∈ 𝐸 , define
𝐼 0 1 ( 𝑥 ) = 𝐾 ( 𝑥 ) + 2 ⟨ 𝐿 0 𝑥 , 𝑥 ⟩ , 𝐼 ∞ 1 ( 𝑥 ) = 𝐾 ( 𝑥 ) + 2 ⟨ 𝐿 ∞ 𝑥 , 𝑥 ⟩ . ( 3 . 6 ) Then 𝐼 ( 𝑥 ) can be written as 1 𝐼 ( 𝑥 ) = 2 𝐽 − 𝐿 0 𝑥 , 𝑥 + 𝐼 0 1 ( 𝑥 ) , o r 𝐼 ( 𝑥 ) = 2 𝐽 − 𝐿 ∞ 𝑥 , 𝑥 + 𝐼 ∞ ( 𝑥 ) . ( 3 . 7 ) By condition ( 𝐻 2 ) , we have ‖ ‖ 𝐼 ∞ ‖ ‖ ( 𝑥 ) ‖ 𝑥 ‖ ⟶ 0 , a s ‖ 𝑥 ‖ ⟶ ∞ . ( 3 . 8 ) This means that for any 0 < 𝛾 < 𝜅 there exists 𝛿 > 0 such that ‖ ‖ 𝐼 ∞ ‖ ‖ ( 𝑥 ) ≤ 𝛾 ‖ 𝑥 ‖ , a s ‖ 𝑥 ‖ ≥ 𝛿 . ( 3 . 9 )
Note that ( 𝐽 − 𝐿 ∞ ) 𝑥 𝑚 − 𝐼 ′ ( 𝑥 𝑚 ) = − 𝐼 ∞ ( 𝑥 𝑚 ) . We have
‖ ‖ 𝑥 𝑚 ‖ ‖ − ‖ ‖ 𝐽 − 𝐿 ∞ − 1 𝑥 𝐼 ′ 𝑚 ‖ ‖ ≤ ‖ ‖ 𝑥 𝑚 − 𝐽 − 𝐿 ∞ − 1 𝑥 𝐼 ′ 𝑚 ‖ ‖ = ‖ ‖ 𝐽 − 𝐿 ∞ − 1 𝐽 − 𝐿 ∞ 𝑥 𝑚 𝑥 − 𝐼 ′ 𝑚 ‖ ‖ ≤ ‖ ‖ 𝐽 − 𝐿 ∞ − 1 ‖ ‖ ‖ ‖ 𝐼 ∞ 𝑥 𝑚 ‖ ‖ ≤ 1 𝜅 𝛾 ‖ ‖ 𝑥 𝑚 ‖ ‖ . ( 3 . 1 0 ) Then by the above estimates, ‖ ‖ 𝑥 𝑚 ‖ ‖ ≤ 𝜅 ‖ ‖ 𝜅 − 𝛾 𝐽 − 𝐿 ∞ − 1 ‖ ‖ ‖ ‖ 𝑥 𝐼 ′ 𝑚 ‖ ‖ ≤ 𝜅 1 𝜅 − 𝛾 𝜅 ‖ ‖ 𝑥 𝐼 ′ 𝑚 ‖ ‖ ⟶ 0 , a s 𝑚 ⟶ ∞ . ( 3 . 1 1 ) This contradicts ‖ 𝑥 𝑚 ‖ → ∞ as 𝑚 → ∞ . Hence ‖ 𝑥 𝑚 ‖ is bounded.
Now we show that ‖ 𝑥 𝑚 ‖ has a convergent subsequence. Notice that 𝑃 0 ∶ 𝐸 → k e r 𝐽 = ℝ is of finite rank and 𝐾 ′ ∶ 𝐻 → 𝐻 is compact. Therefore we may suppose that
𝐾 𝑥 𝑚 ⟶ 𝑦 , 𝑃 0 𝑥 𝑚 ⟶ 𝑧 i n 𝐸 a s 𝑚 ⟶ ∞ . ( 3 . 1 2 ) Since 𝐽 + 𝑃 0 has continuous inverse ( 𝐽 + 𝑃 0 ) − 1 , it follows from 𝐽 + 𝑃 0 𝑥 𝑚 𝑥 = 𝐼 ′ 𝑚 𝑥 − 𝐾 ′ 𝑚 + 𝑃 0 𝑥 𝑚 ( 3 . 1 3 ) that 𝑥 𝑚 = 𝐽 + 𝑃 0 − 1 𝑥 𝐼 ′ 𝑚 𝑥 − 𝐾 ′ 𝑚 + 𝑃 0 𝑥 𝑚 ⟶ 𝐽 + 𝑃 0 − 1 ( 𝑧 − 𝑦 ) a s 𝑚 ⟶ ∞ . ( 3 . 1 4 ) Thus { 𝑥 𝑚 } has a convergent subsequence.
Case (ii). Assume that { 𝑥 𝑚 } is not bounded. Since | 𝑓 ( 𝑥 ) + 𝛼 ∞ 𝑥 | is bounded, there exists a constant 𝐶 > 0 such that
‖ ‖ 𝐼 ∞ ‖ ‖ ( 𝑥 ) < 𝐶 , ∀ 𝑥 ∈ 𝐸 . ( 3 . 1 5 ) Observe that ( 𝐽 − 𝐿 ∞ ) 𝑥 = 𝐼 ′ ( 𝑥 ) − 𝐼 ∞ ( 𝑥 ) and 𝐼 ′ ( 𝑥 𝑚 ) → 0 as 𝑚 → ∞ , ‖ ‖ 𝐽 − 𝐿 ∞ 𝑥 𝑚 ‖ ‖ ≤ ‖ ‖ 𝑥 𝐼 ′ 𝑚 ‖ ‖ + ‖ ‖ 𝐼 ∞ 𝑥 𝑚 ‖ ‖ ≤ 𝐶 + 1 a s 𝑚 ⟶ ∞ . ( 3 . 1 6 ) Since ‖ 𝑥 𝑚 ‖ → ∞ and 𝐹 ( 𝑥 𝑚 ) + ( 1 / 2 ) 𝛼 ∞ 𝑥 2 𝑚 converges to − ∞ as 𝑚 → ∞ , 𝐼 ∞ 𝑥 𝑚 𝑥 = 𝐼 𝑚 − 1 2 𝐽 − 𝐿 ∞ 𝑥 𝑚 , 𝑥 𝑚 𝑥 > 𝐼 𝑚 − 𝐶 + 1 2 ‖ ‖ 𝑥 𝑚 ‖ ‖ . ( 3 . 1 7 ) Let 𝑚 → ∞ , then (3.17) implies − ∞ > − ∞ . This is a contradiction. Therefore { 𝑥 𝑚 } is bounded. With the same discussion as that of Case (i), we can prove that { 𝑥 𝑚 } has a convergent subsequence. The proof is complete.

Now we are ready to prove our main result.

Proof of Theorem 1.2. Since 𝑥 ( 𝑡 ) ∈ 𝐸 is periodic and 𝐹 ( 𝑥 ( 𝑡 ) ) is independent of 𝑡 , 𝐼 is 𝑆 1 -invariant and 𝐼 ′ is 𝑆 1 -equivariant according to the action 𝑇 on 𝑆 1 .
Case (i). Assume first 𝜇 0 − 𝜇 ∞ > 0 . Take two subspaces 𝑉 and 𝑊 as
𝑉 = 𝑀 + 𝐽 − 𝐿 ∞ ⊕ 𝑀 0 𝐽 − 𝐿 ∞ , 𝑊 = 𝑀 − 𝐽 − 𝐿 0 . ( 3 . 1 8 ) Since inner product is continuous and c o d i m ( 𝑉 + 𝑊 ) = 0 , the assumption (1) of Lemma 3.2 holds. Let 𝐴 = 𝐽 − 𝐿 0 . We can check easily that 𝐴 ( 𝑊 ) ⊆ 𝑊 . By Lemma 3.3, 𝐼 satisfies ( 𝑃 𝑆 ) 𝑐 condition. Thus the assumptions (2) and (5) of Lemma 3.2 hold.
By the proof of Lemma 3.3, 𝑀 0 ( 𝐽 − 𝐿 ∞ ) = 0 . For 𝑥 ∈ 𝑉 = 𝑀 + ( 𝐽 − 𝐿 ∞ ) , there is a suitable constant 𝑐 1 > 0 such that
𝐽 − 𝐿 ∞ 𝑥 , 𝑥 ≥ 𝑐 1 ‖ 𝑥 ‖ 2 . ( 3 . 1 9 ) Then by (3.8), for any 𝑥 ∈ 𝑉 , 1 𝐼 ( 𝑥 ) = 2 𝐽 − 𝐿 ∞ 𝑥 , 𝑥 + 𝐼 ∞ 1 ( 𝑥 ) ≥ 2 𝑐 1 ‖ 𝑥 ‖ 2 − 𝑐 2 ‖ 𝑥 ‖ , ( 3 . 2 0 ) where 𝐼 ∞ ( 𝑥 ) is defined in (3.6). Hence there exists 𝛽 0 < 0 such that the assumption (3) of Lemma 3.2 holds.
By ( 𝐻 2 ) , we have
𝐼 0 ‖ ‖ 𝐼 ( 0 ) = 0 , 0 ‖ ‖ ( 𝑥 ) ‖ 𝑥 ‖ ⟶ 0 a s ‖ 𝑥 ‖ ⟶ 0 , ( 3 . 2 1 ) where 𝐼 0 ( 𝑥 ) is defined in (3.6). For any 𝑥 ∈ 𝑊 , we can choose a suitable constant 𝑐 3 > 0 such that 𝐽 − 𝐿 0 𝑥 , 𝑥 ≤ − 𝑐 3 ‖ 𝑥 ‖ 2 . ( 3 . 2 2 ) Then for any 𝑥 ∈ 𝑊 ∩ 𝐵 𝑠 , 1 𝐼 ( 𝑥 ) = 2 𝐽 − 𝐿 0 𝑥 , 𝑥 + 𝐼 0 1 ( 𝑥 ) ≤ − 2 𝑐 3 ‖ 𝑥 ‖ 2 + 𝑐 4 1 ‖ 𝑥 ‖ = − 2 𝑐 3 𝑟 2 + 𝑐 4 𝑟 . ( 3 . 2 3 ) Choose 𝑟 such that − ( 1 / 2 ) 𝑐 3 𝑟 + 𝑐 4 < 0 and take 𝛽 ∞ = m a x { 𝛽 0 , − ( 1 / 2 ) 𝑐 1 𝑟 2 + 𝑐 2 𝑟 } . Then the assumption (4) of Lemma 3.2 holds.
Therefore by Lemma 3.2, 𝐼 possesses at least
1 ♯ = 2 [ ] d i m ( 𝑉 ∩ 𝑊 ) − c o d i m ( 𝑉 + 𝑊 ) ( 3 . 2 4 ) geometrically different critical orbits in 𝐼 − 1 ( [ 𝛽 0 , 𝛽 ∞ ] ) .
From Lemma 2.4 and Definition 1.1, we can show that for 𝑚 large enough
1 ♯ = 2 d i m 𝑀 − 𝑃 𝑚 𝐽 − 𝐿 0 𝑃 𝑚 − d i m 𝑀 − 𝑃 𝑚 𝐽 − 𝐿 ∞ 𝑃 𝑚 = 1 2 𝛼 2 𝜇 0 𝛼 − 2 𝜇 ∞ = 𝜇 0 − 𝜇 ∞ . ( 3 . 2 5 )
Secondly, if 𝜇 ∞ − 𝜇 0 − 𝜈 0 > 0 , then we replace 𝐼 by − 𝐼 and set
𝑉 = 𝑀 − 𝐽 − 𝐿 ∞ , 𝑊 = 𝑀 + 𝐽 − 𝐿 0 . ( 3 . 2 6 ) With a similar argument to the case 𝜇 0 − 𝜇 ∞ > 0 , we can show that − 𝐼 satisfies the assumptions (1)–(5) of Lemma 3.2. Then − 𝐼 has at least ♯ = ( 1 / 2 ) [ d i m ( 𝑉 ∩ 𝑊 ) − c o d i m ( 𝑉 + 𝑊 ) ] geometrically different critical orbits in 𝐼 − 1 ( [ 𝛽 0 , 𝛽 ∞ ] ) . By Lemma 2.4, Definition 1.1, and for 𝑚 large enough, 1 ♯ = 2 d i m 𝑀 − 𝑃 𝑚 𝐽 − 𝐿 ∞ 𝑃 𝑚 𝑀 − d i m − 𝑃 𝑚 𝐽 − 𝐿 0 𝑃 𝑚 ⊕ 𝑀 0 𝑃 𝑚 𝐽 − 𝐿 0 𝑃 𝑚 = 1 2 𝛼 2 𝜇 ∞ − 𝛼 2 𝜇 0 𝛼 + 2 𝜈 0 = 𝜇 ∞ − 𝜇 0 − 𝜈 0 . ( 3 . 2 7 )
Case (ii). Assume that 𝜇 0 − 𝜇 ∞ > 0 . We take the same subspaces 𝑉 and 𝑊 as in Case (i). By a similar discussion, we can prove that the assumptions of (1), (2), and (4) of Lemma 3.2 hold. By Lemma 3.3, 𝐼 satisfies ( 𝑃 𝑆 ) 𝑐 condition on 𝐸 .
By condition (ii) of Theorem 1.2, 𝐼 ∞ ( 𝑥 ) is bounded, that is, ∃ 𝑐 5 > 0 such that
‖ ‖ 𝐼 ∞ ‖ ‖ ( 𝑥 ) ≤ 𝑐 5 , ∀ 𝑥 ∈ 𝐸 . ( 3 . 2 8 ) Moreover 𝐼 ∞ ( 𝑥 0 ) → − ∞ as 𝑥 0 ∈ 𝑀 0 ( 𝐽 − 𝐿 ∞ ) with ‖ 𝑥 0 ‖ → + ∞ .
Write 𝑥 = 𝑥 + + 𝑥 0 ∈ 𝑉 , where 𝑥 + ∈ 𝑀 + ( 𝐽 − 𝐿 ∞ ) . We have
1 𝐼 ( 𝑥 ) = 2 𝐽 − 𝐿 ∞ 𝑥 + , 𝑥 + + 𝐼 ∞ 𝑥 + + 𝑥 0 > 1 2 𝑐 6 ‖ ‖ 𝑥 + ‖ ‖ 2 + 𝑐 5 ‖ 𝑥 ‖ + 𝐼 ∞ 𝑥 0 . ( 3 . 2 9 ) Thus the assumption (3) of Lemma 3.2 holds. Then by Lemma 3.2 and the proof of Case (i), 𝐼 possesses at least 𝜇 0 − 𝜇 ∞ geometrically different critical orbits in 𝐼 − 1 ( [ 𝛽 0 , 𝛽 ∞ ] ) . The subsequent proof is similar to that of Case (i). We omit the details. The proof is complete.

References

  1. T. Furumochi, “Existence of periodic solutions of one-dimensional differential-delay equations,” The Tôhoku Mathematical Journal. Second Series, vol. 30, no. 1, pp. 13–35, 1978. View at Zentralblatt MATH · View at MathSciNet
  2. W. J. Cunningham, “A nonlinear differential-difference equation of growth,” The Proceedings of the National Academy of Sciences, vol. 40, no. 4, pp. 708–713, 1954. View at Zentralblatt MATH · View at MathSciNet
  3. E. M. Wright, “A non-linear difference-differential equation,” Journal für die Reine und Angewandte Mathematik, vol. 194, no. 1, pp. 66–87, 1955. View at Zentralblatt MATH · View at MathSciNet
  4. R. May, Stablity and Complexity in Model Ecosystems, vol. 9, Princeton University Press, Princeton, NJ, USA, 1973.
  5. S. N. Chow and H. O. Walther, “Characteristic multipliers and stability of symmetric periodic solutions of x˙=g(x(t−1)),” Transactions of the American Mathematical Society, vol. 307, no. 1, pp. 127–142, 1988. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  6. A. V. M. Herz, “Solutions of x˙=−g(x(t−1)) approach the Kaplan-Yorke orbits for odd sigmoid g,” Journal of Differential Equations, vol. 118, no. 1, pp. 36–53, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. J. L. Kaplan and J. A. Yorke, “Ordinary differential equations which yield periodic solutions of differential delay equations,” Journal of Mathematical Analysis and Applications, vol. 48, no. 2, pp. 317–324, 1974. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. J. L. Kaplan and J. A. Yorke, “On the stability of a periodic solution of a differential delay equation,” SIAM Journal on Mathematical Analysis, vol. 6, no. 2, pp. 268–282, 1975. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. J. A. Yorke, “Asymptotic stability for one dimensional differential-delay equations,” Journal of Differential Equations, vol. 7, no. 1, pp. 189–202, 1970. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  10. S. Chapin, “Periodic solutions of differential-delay equations with more than one delay,” The Rocky Mountain Journal of Mathematics, vol. 17, no. 3, pp. 555–572, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  11. H. O. Walther, “Homoclinic solution and chaos in x˙(t)=f(x(t−1)),” Nonlinear Analysis: Theory, Methods & Applications, vol. 5, no. 7, pp. 775–788, 1981. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  12. H. O. Walther, “Density of slowly oscillating solutions of x˙(t)=−f(x(t−1)),” Journal of Mathematical Analysis and Applications, vol. 79, no. 1, pp. 127–140, 1981. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  13. G. S. Jones, “The existence of periodic solutions of f′(x)=−αf(x(t−1)){1+f(x)},” Journal of Mathematical Analysis and Applications, vol. 5, no. 3, pp. 435–450, 1962. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. R. D. Nussbaum, “Periodic solutions of special differential equations: an example in nonlinear functional analysis,” Proceedings of the Royal Society of Edinburgh. Section A, vol. 81, no. 1-2, pp. 131–151, 1978. View at Zentralblatt MATH · View at MathSciNet
  15. R. D. Nussbaum, “A Hopf global bifurcation theorem for retarded functional differential equations,” Transactions of the American Mathematical Society, vol. 238, no. 1, pp. 139–164, 1978. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. R. D. Nussbaum, “Uniqueness and nonuniqueness for periodic solutions of x′(t)=−g(x(t−1)),” Journal of Differential Equations, vol. 34, no. 1, pp. 25–54, 1979. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  17. J. Li, X.-Z. He, and Z. Liu, “Hamiltonian symmetric groups and multiple periodic solutions of differential delay equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 35, no. 4, pp. 457–474, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  18. J. Li and X.-Z. He, “Multiple periodic solutions of differential delay equations created by asymptotically linear Hamiltonian systems,” Nonlinear Analysis: Theory, Methods & Applications, vol. 31, no. 1-2, pp. 45–54, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  19. 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
  20. J. Llibre and A.-A. Tarţa, “Periodic solutions of delay equations with three delays via bi-Hamiltonian systems,” Nonlinear Analysis: Theory, Methods & Applications, vol. 64, no. 11, pp. 2433–2441, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  21. S. Jekel and C. Johnston, “A Hamiltonian with periodic orbits having several delays,” Journal of Differential Equations, vol. 222, no. 2, pp. 425–438, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  22. M. A. Han, “Bifurcations of periodic solutions of delay differential equations,” Journal of Differential Equations, vol. 189, no. 2, pp. 396–411, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  23. P. Dormayer, “The stability of special symmetric solutions of x˙(t)=αf(x(t−1)) with small amplitudes,” Nonlinear Analysis: Theory, Methods & Applications, vol. 14, no. 8, pp. 701–715, 1990. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  24. F. E. Browder, “A further generalization of the Schauder fixed point theorem,” Duke Mathematical Journal, vol. 32, pp. 575–578, 1965. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  25. S. N. Chow and J. Mallet-Paret, “The Fuller index and global Hopf bifurcation,” Journal of Differential Equations, vol. 29, no. 1, pp. 66–85, 1978. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  26. J. Mawhin, “Periodic solutions of nonlinear functional differential equations,” Journal of Differential Equations, vol. 10, no. 2, pp. 240–261, 1971. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  27. J. Mawhin, “Equivalence theorems for nonlinear operator equations and coincidence degree theory for some mappings in locally convex topological vector spaces,” Journal of Differential Equations, vol. 12, no. 3, pp. 610–636, 1972. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  28. P. H. Rabinowitz, Minimax Methods in Critical Point Theory with Applications to Differential Equations, vol. 65 of CBMS Regional Conference Series in Mathematics, American Mathematical Society, Washington, DC, USA, 1986. View at MathSciNet
  29. J. Mawhin and M. Willem, Critical Point Theory and Hamiltonian Systems, vol. 74 of Applied Mathematical Sciences, Springer, New York, NY, USA, 1989. View at MathSciNet
  30. V. Benci, “On critical point theory for indefinite functionals in the presence of symmetries,” Transactions of the American Mathematical Society, vol. 274, no. 2, pp. 533–572, 1982. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  31. L. O. Fannio, “Multiple periodic solutions of Hamiltonian systems with strong resonance at infinity,” Discrete and Continuous Dynamical Systems, vol. 3, no. 2, pp. 251–264, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet