Neutral Operator and Neutral Differential Equation

Abstract

In this paper, we discuss the properties of the neutral operator (𝐴𝑥)(𝑡)=𝑥(𝑡)−𝑐𝑥(𝑡−𝛿(𝑡)), and by applying coincidence degree theory and fixed point index theory, we obtain sufficient conditions for the existence, multiplicity, and nonexistence of (positive) periodic solutions to two kinds of second-order differential equations with the prescribed neutral operator.

1. Introduction

In [1], Zhang discussed the properties of the neutral operator (𝐴₁𝑥)(𝑡)=𝑥(t)−𝑐𝑥(𝑡−𝛿), which became an effective tool for the research on differential equations with this prescribed neutral operator, see, for example, [2–5]. Lu and Ge [6] investigated an extension of 𝐴₁, namely, the neutral operator 𝐴₂𝑥(𝑡)=𝑥(𝑡)−∑^𝑛_𝑖=1𝑐_𝑖𝑥(𝑡−𝛿_𝑖) and obtained the existence of periodic solutions for a corresponding neutral differential equation.

In this paper, we consider the neutral operator (𝐴𝑥)(𝑡)=𝑥(𝑡)−𝑐𝑥(𝑡−𝛿(𝑡)), where 𝑐 is constant and |𝑐|≠1, 𝛿∈𝐶¹(ℝ,ℝ), and 𝛿 is an 𝜔-periodic function for some 𝜔>0. Although 𝐴 is a natural generalization of the operator 𝐴₁, the class of neutral differential equation with 𝐴 typically possesses a more complicated nonlinearity than neutral differential equation with 𝐴₁ or 𝐴₂. For example, the neutral operators 𝐴₁ and 𝐴₂ are homogeneous in the following sense (𝐴_𝑖𝑥)^′(𝑡)=(𝐴_𝑖𝑥^′)(𝑡) for 𝑖=1,2, whereas the neutral operator 𝐴 in general is inhomogeneous. As a consequence many of the new results for differential equations with the neutral operator 𝐴 will not be a direct extension of known theorems for neutral differential equations.

The paper is organized as follows: in Section 2, we first analyze qualitative properties of the neutral operator 𝐴 which will be helpful for further studies of differential equations with this neutral operator; in Section 3, by Mawhin's continuation theorem, we obtain the existence of periodic solutions for a second-order Rayleigh-type neutral differential equation; in Section 4, by an application of the fixed point index theorem we obtain sufficient conditions for the existence, multiplicity, and nonexistence of positive periodic solutions to second-order neutral differential equation. Several examples are also given to illustrate our results. Our results improve and extend the results in [1, 2, 4, 7].

2. Analysis of the Generalized Neutral Operator

Let 𝐶_𝜔={𝑥∈𝐶(ℝ,ℝ)∶𝑥(𝑡+𝜔)=𝑥(𝑡),𝑡∈ℝ} with norm ‖𝑥‖=max_{𝑡∈[0,𝜔]}|𝑥(𝑡)|. Then (𝐶_𝜔,‖⋅‖) is a Banach space. A cone 𝐾 in 𝐶_𝜔 is defined by 𝐾={𝑥∈𝐶_𝜔∶𝑥(𝑡)≥𝛼‖𝑥‖,forall𝑡∈ℝ}, where 𝛼 is a fixed positive number with 𝛼<1. Moreover, define operators 𝐴,𝐵∶𝐶_𝜔→𝐶_𝜔 by (𝐴𝑥)(𝑡)=𝑥(𝑡)−𝑐𝑥(𝑡−𝛿(𝑡)),(𝐵𝑥)(𝑡)=𝑐𝑥(𝑡−𝛿(𝑡)). (2.1)

Lemma 2.1. If |𝑐|≠1, then the operator 𝐴 has a continuous inverse 𝐴⁻¹ on 𝐶_𝜔, satisfying
(1)𝐴⁻¹𝑓(𝑡)=𝑓(𝑡)+^∞_𝑗=1𝑐^𝑗𝑓𝑠−^𝑗−1_𝑖=1𝛿𝐷_𝑖,for|𝑐|<1,∀𝑓∈𝐶_𝜔,−𝑓(𝑡+𝛿(𝑡))𝑐−^∞_𝑗=11/𝑐^𝑗+1𝑓𝑠+𝛿(𝑡)+^𝑗−1_𝑖=1𝛿𝐷_𝑖,for|𝑐|>1,∀𝑓∈𝐶_𝜔. (2.2)(2)|(𝐴⁻¹𝑓)(𝑡)|≤‖𝑓‖/|1−|𝑐‖,forall𝑓∈𝐶_𝜔. (3)∫^𝜔₀|(𝐴⁻¹𝑓)(𝑡)|𝑑𝑡≤1/|1−|𝑐||∫^𝜔₀|𝑓(𝑡)|𝑑𝑡,forall𝑓∈𝐶_𝜔.

Proof. We have the following cases
Case 1 (|𝑐|<1). Let 𝑡−𝛿(𝑡)=𝑠 and 𝐷_𝑗=𝑠−∑^𝑗−1_𝑖=1𝛿(𝐷_𝑖), 𝑗=1,2,…. Therefore, 𝐵^𝑗𝑥(𝑡)=𝑐^𝑗𝑥𝑠−^𝑗−1_𝑖=1𝛿𝐷_𝑖,_∞𝑗=0𝐵^𝑗𝑓(𝑡)=𝑓(𝑡)+^∞_𝑗=1𝑐^𝑗𝑓𝑠−^𝑗−1_𝑖=1𝛿𝐷_𝑖. (2.3) Since 𝐴=𝐼−𝐵, we get from ‖𝐵‖≤|𝑐|<1 that 𝐴 has a continuous inverse 𝐴⁻¹∶𝐶_𝜔→𝐶_𝜔 with 𝐴⁻¹=(𝐼−𝐵)⁻¹=𝐼+^∞_𝑗=1𝐵^𝑗=^∞_𝑗=0𝐵^𝑗, (2.4) where 𝐵⁰=𝐼. Then 𝐴⁻¹𝑓(𝑡)=^∞_𝑗=0𝐵^𝑗𝑓(𝑡)=^∞_𝑗=0𝑐^𝑗𝑓𝑠−^𝑗−1_𝑖=1𝛿𝐷_𝑖, (2.5) and consequently 𝐴⁻¹𝑓(𝑡)=^∞_𝑗=0𝐵^𝑗𝑓(𝑡)=^∞_𝑗=0𝑐^𝑗𝑓𝑠−^𝑗−1_𝑖=1𝛿𝐷_𝑖≤𝑓1−|𝑐|. (2.6) Moreover, ^𝜔₀𝐴⁻¹𝑓(𝑡)𝑑𝑡=^𝜔₀^∞_𝑗=0𝐵^𝑗𝑓𝑡)≤(𝑑𝑡_{∞𝑗=0𝜔0}𝐵^𝑗𝑓(𝑡=)𝑑𝑡_{∞𝑗=0𝜔0}𝑐^𝑗𝑓𝑠−^𝑗−1_𝑖=1𝛿𝐷_𝑖≤1𝑑𝑡1−|𝑐|^𝜔₀𝑓(𝑡)𝑑𝑡. (2.7)
Case 2 (|𝑐|>1). Let 𝐸∶𝐶_𝜔⟶𝐶_𝜔,(𝑡)(𝑡)−1𝐸𝑥)(=𝑥𝑐𝑥((𝑡,𝐵𝑡+𝛿))₁∶𝐶_𝜔⟶𝐶_𝜔,𝐵₁𝑥(𝑡)=1𝑐𝑥(𝑡+𝛿(𝑡)). (2.8) By definition of the linear operator 𝐵₁, we have 𝐵^𝑗₁𝑓(𝑡)=1𝑐^𝑗𝑓𝑠+^𝑗−1_𝑖=1𝛿𝐷_𝑖, (2.9) where 𝐷_𝑖 is defined as in Case 1. Summing over 𝑗 yields ^∞_𝑗=0𝐵^𝑗₁𝑓(𝑡)=𝑓(𝑡)+^∞_𝑗=11𝑐^𝑗𝑓𝑠+^𝑗−1_𝑖=1𝛿𝐷_𝑖. (2.10) Since ‖𝐵₁‖<1, we obtain that the operator 𝐸 has a bounded inverse 𝐸⁻¹, 𝐸⁻¹∶𝐶_𝜔⟶𝐶_𝜔,𝐸⁻¹=𝐼−𝐵₁⁻¹=𝐼+_𝑗=1𝐵^𝑗₁, (2.11) and forall𝑓∈𝐶_𝜔 we get 𝐸⁻¹𝑓(𝑡)=𝑓(𝑡)+^∞_𝑗=1𝐵^𝑗₁𝑓(𝑡). (2.12) On the other hand, from (𝐴𝑥)(𝑡)=𝑥(𝑡)−𝑐𝑥(𝑡−𝛿(𝑡)), we have (𝑡)(𝑡)((𝑡𝑥((𝑡−1𝐴𝑥)(=𝑥−𝑐𝑥𝑡−𝛿))=−𝑐𝑡−𝛿))𝑐𝑥(𝑡), (2.13) that is, (𝐴𝑥)(𝑡)=−𝑐(𝐸𝑥)(𝑡−𝛿(𝑡)). (2.14) Let 𝑓∈𝐶_𝜔 be arbitrary. We are looking for 𝑥 such that (𝐴𝑥)(𝑡)=𝑓(𝑡). (2.15) that is, −𝑐(𝐸𝑥)(𝑡−𝛿(𝑡))=𝑓(𝑡). (2.16) Therefore, (𝑡)𝑓((𝑡𝐸𝑥)(=−𝑡+𝛿))𝑐=∶𝑓₁(𝑡), (2.17) and hence 𝑥(𝑡)=𝐸⁻¹𝑓₁(𝑡)=𝑓₁(𝑡)+^∞_𝑗=1𝐵^𝑗₁𝑓₁(𝑡)𝑓((𝑡=−𝑡+𝛿))𝑐−^∞_𝑗=1𝐵^𝑗₁𝑓(𝑡+𝛿(𝑡))𝑐, (2.18) proving that 𝐴⁻¹ exists and satisfies 𝐴⁻¹𝑓𝑡)𝑓((𝑡(=−𝑡+𝛿))𝑐−^∞_𝑗=1𝐵^𝑗₁𝑓(𝑡+𝛿(𝑡))𝑐𝑓((𝑡=−𝑡+𝛿))𝑐−^∞_𝑗=11𝑐^𝑗+1𝑓𝑠+𝛿(𝑡)+^𝑗−1_𝑖=1𝛿𝐷_𝑖,𝐴⁻¹𝑓𝑡=−𝑓((𝑡()𝑡+𝛿))𝑐−^∞_𝑗=11𝑐^𝑗+1𝑓𝑠+𝛿(𝑡)+^𝑗−1_𝑖=1𝛿𝐷_𝑖≤𝑓|𝑐|.−1 (2.19) Statements (1) and (2) are proved. From the above proof, (3) can easily be deduced.

Lemma 2.2. If 𝑐<0 and |𝑐|<𝛼, one has for 𝑦∈𝐾 that 𝛼−|𝑐|1−𝑐²𝑦≤𝐴⁻¹𝑦(𝑡)≤1|𝑐|𝑦.1− (2.20)

Proof. Since 𝑐<0 and |𝑐|<𝛼<1, by Lemma 2.1, we have for 𝑦∈𝐾 that 𝐴⁻¹𝑦(𝑡)=𝑦(𝑡)+^∞_𝑗=1𝑐^𝑗𝑦𝑠−^𝑗−1_𝑖=1𝛿𝐷_𝑖=𝑦(𝑡)+_𝑗≥1even𝑐^𝑗𝑦𝑠−^𝑗−1_𝑖=1𝛿𝐷_𝑖−_𝑗≥1odd|𝑐|^𝑗𝑦𝑠−^𝑗−1_𝑖=1𝛿𝐷_𝑖≥𝛼𝑦+𝛼_𝑗≥1even𝑐^𝑗𝑦−𝑦_𝑗≥1odd|𝑐|^𝑗=𝛼1−𝑐²𝑦−|𝑐|1−𝑐²𝑦=𝛼−|𝑐|1−𝑐²𝑦. (2.21)

Lemma 2.3. If 𝑐>0 and 𝑐<1 then for 𝑦∈𝐾 one has 𝛼𝑦≤𝐴1−𝑐⁻¹𝑦(𝑡)≤1𝑦.1−𝑐 (2.22)

Proof. Since 𝑐>0 and 𝑐<1, 𝛼<1, by Lemma 2.1, we have for 𝑦∈𝐾 that 𝐴⁻¹𝑦(𝑡)=𝑦(𝑡)+_𝑗≥1𝑐^𝑗𝑦𝑠−^𝑗−1_𝑖=1𝛿𝐷_𝑖≥𝛼𝑦+𝛼𝑦_𝑗≥1𝑐^𝑗=𝛼𝑦.1−𝑐 (2.23)

3. Periodic Solutions for Neutral Differential Equation

In this section, we consider the second-order neutral differential equation(𝑥(𝑡)−𝑐𝑥(𝑡−𝛿(𝑡)))^′′=𝑓𝑡,𝑥^′(𝑡)+𝑔(𝑡,𝑥(𝑡−𝜏(𝑡)))+𝑒(𝑡), (3.1) where 𝜏,𝑒∈𝐶_𝜔 and ∫^𝜔₀𝑒(𝑡)𝑑𝑡=0; 𝑓 and 𝑔 are continuous functions defined on ℝ² and periodic in 𝑡 with 𝑓(𝑡,⋅)=𝑓(𝑡+𝜔,⋅),𝑔(𝑡,⋅)=𝑔(𝑡+𝜔,⋅), 𝑓(𝑡,0)=0, 𝑓(𝑡,𝑢)≥0, or 𝑓(𝑡,𝑢)≤0 for all (𝑡,𝑢)∈ℝ².

We first recall Mawhin's continuation theorem which our study is based upon. Let 𝑋 and 𝑌 be real Banach spaces and 𝐿∶𝐷(𝐿)⊂𝑋→𝑌 a Fredholm operator with index zero, where 𝐷(𝐿) denotes the domain of 𝐿. This means that Im𝐿 is closed in 𝑌 and dimKer𝐿=dim(𝑌/Im𝐿)<+∞. Consider supplementary subspaces 𝑋₁, 𝑌₁, of 𝑋, 𝑌 respectively, such that 𝑋=Ker𝐿⊕𝑋₁, 𝑌=Im𝐿⊕𝑌₁, and let 𝑃₁∶𝑋→Ker𝐿 and 𝑄₁∶𝑌→𝑌₁ denote the natural projections. Clearly, Ker𝐿∩(𝐷(𝐿)∩𝑋₁)={0}, thus the restriction 𝐿_𝑃1∶=𝐿|_{𝐷(𝐿)∩𝑋1} is invertible. Let 𝐿_𝑃⁻¹₁ denote the inverse of 𝐿_𝑃1.

Let Ω be an open bounded subset of 𝑋 with 𝐷(𝐿)∩Ω≠∅. A map 𝑁∶Ω→𝑌 is said to be 𝐿-compact in Ω if 𝑄₁𝑁(Ω) is bounded and the operator 𝐿_𝑃⁻¹₁(𝐼−𝑄₁)𝑁∶Ω→𝑋 is compact.

Lemma 3.1 (Gaines and Mawhin [8]). Suppose that 𝑋 and 𝑌 are two Banach spaces and 𝐿∶𝐷(𝐿)⊂𝑋→𝑌 is a Fredholm operator with index zero. Furthermore, Ω⊂𝑋 is an open bounded set, and 𝑁∶Ω→𝑌 is 𝐿-compact on Ω. Assume that the following conditions hold:
(1)𝐿𝑥≠𝜆𝑁𝑥,forall𝑥∈𝜕Ω∩𝐷(𝐿),𝜆∈(0,1);(2)𝑁𝑥∉Im𝐿,forall𝑥∈𝜕Ω∩Ker𝐿;(3)deg{𝐽𝑄₁𝑁,Ω∩Ker𝐿,0}≠0, where 𝐽∶Im𝑄₁→Ker𝐿 is an isomorphism.
Then the equation 𝐿𝑥=𝑁𝑥 has a solution in Ω∩𝐷(𝐿).

In order to use Mawhin's continuation theorem to study the existence of 𝜔-periodic solutions for (3.1), we rewrite (3.1) in the following form:𝐴𝑥₁^′(𝑡)=𝑥₂(𝑡),𝑥^′₂(𝑡)=𝑓𝑡,𝑥^′₁(𝑡)+𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))+𝑒(𝑡). (3.2) Clearly, if 𝑥(𝑡)=(𝑥₁(𝑡),𝑥₂(𝑡))^⊤ is an 𝜔-periodic solution to (3.2), then 𝑥₁(𝑡) must be an 𝜔-periodic solution to (3.1). Thus, the problem of finding an 𝜔-periodic solution for (3.1) reduces to finding one for (3.2).

Recall that 𝐶_𝜔={𝜙∈𝐶(ℝ,ℝ)∶𝜙(𝑡+𝜔)≡𝜙(𝑡)} with norm ‖𝜙‖=max_{𝑡∈[0,𝜔]}|𝜙(𝑡)|. Define 𝑋=𝑌=𝐶_𝜔×𝐶_𝜔={𝑥=(𝑥₁(⋅),𝑥₂(⋅))∈𝐶(ℝ,ℝ²)∶𝑥(𝑡)=𝑥(𝑡+𝜔),𝑡∈ℝ} with norm ‖𝑥‖=max{‖𝑥₁‖,‖𝑥₂‖}. Clearly, 𝑋 and 𝑌 are Banach spaces. Moreover, define 𝐿∶𝐷(𝐿)=𝑥∈𝐶¹ℝ,ℝ²∶𝑥(𝑡+𝜔)=𝑥(𝑡),𝑡∈ℝ⊂𝑋⟶𝑌 (3.3) by (𝐿𝑥)(𝑡)=𝐴𝑥₁^′(𝑡)𝑥^′₂(𝑡) (3.4) and 𝑁∶𝑋→𝑌 by(𝑡)=𝑥𝑁𝑥)(²(𝑡)𝑓𝑡,𝑥^′₁(𝑡)+𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))+𝑒(𝑡). (3.5) Then (3.2) can be converted to the abstract equation 𝐿𝑥=𝑁𝑥. From the definition of 𝐿, one can easily see that Ker𝐿≅ℝ²,Im𝐿=𝑦∈𝑌∶^𝜔₀𝑦₁(𝑠)𝑦₂(𝑠)00𝑑𝑠=. (3.6) So 𝐿 is a Fredholm operator with index zero. Let 𝑃₁∶𝑋→Ker𝐿 and 𝑄₁∶𝑌→Im𝑄₁⊂ℝ² be defined by 𝑃₁𝑥=𝐴𝑥₁(0)𝑥₂(0);𝑄₁1𝑦=𝜔^𝜔₀𝑦₁(𝑠)𝑦₂(𝑠)𝑑𝑠, (3.7) then Im𝑃₁=Ker𝐿, Ker𝑄₁=Im𝐿. Setting 𝐿_𝑃1=𝐿|_{D(𝐿)∩Ker𝑃1} and 𝐿_𝑃⁻¹₁∶ Im𝐿→𝐷(𝐿) denotes the inverse of 𝐿_𝑃1, then 𝐿_𝑃⁻¹₁𝑦𝑡)=𝐴(⁻¹𝐹𝑦₁(𝑡)𝐹𝑦₂𝑡),(𝐹𝑦₁(𝑡)=^𝑡₀𝑦₁(𝑠)𝑑𝑠,𝐹𝑦₂(𝑡)=^𝑡₀𝑦₂(𝑠)𝑑𝑠. (3.8) From (3.5) and (3.8), it is clear that 𝑄₁𝑁 and 𝐿_𝑃⁻¹₁(𝐼−𝑄₁)𝑁 are continuous and 𝑄₁𝑁(Ω) is bounded, and then 𝐿_𝑃⁻¹₁(𝐼−𝑄₁)𝑁(Ω) is compact for any open bounded Ω⊂𝑋 which means 𝑁 is 𝐿-compact on Ω.

Now we give our main results on periodic solutions for (3.1).

Theorem 3.2. Suppose there exist positive constants 𝐾₁,𝐷,𝑀,𝑏 with 𝑀>‖𝑒‖ such that:
(H₁)|𝑓(𝑡,𝑢)|≤𝐾₁|𝑢|+𝑏, for (𝑡,𝑢)∈ℝ×ℝ;
(H₂) sgn𝑥⋅𝑔(𝑡,𝑥)>‖𝑒‖, for |𝑥|>𝐷;
(H₃)𝑔(𝑡,𝑥)≥−𝑀, for 𝑥≤−𝐷 and 𝑡∈ℝ.
Then (3.1) has at least one solution with period 𝜔 if 0<𝜔^1/2(1+|𝑐|)^1/22𝐾₁/(|1−|𝑐||−|𝑐|𝛿₁)<1, where 𝛿₁=max_{𝑡∈[0,𝜔]}|𝛿′(𝑡)|.

Proof. By construction (3.2) has an 𝜔-periodic solution if and only if the following operator equation 𝐿𝑥=𝑁𝑥 (3.9) has an 𝜔-periodic solution. From (3.8), we see that 𝑁 is 𝐿-compact on Ω, where Ω is any open, bounded subset of 𝐶_𝜔. For 𝜆∈(0,1] define Ω₁=𝑥∈𝐶_𝜔∶𝐿𝑥=𝜆𝑁𝑥. (3.10) Then 𝑥=(𝑥₁,𝑥₂)^⊤∈Ω₁ satisfies 𝐴𝑥₁^′(𝑡)=𝜆𝑥₂(𝑡),𝑥^′₂(𝑡)=𝜆𝑓𝑡,𝑥^′₁(𝑡)+𝜆𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))+𝜆𝑒(𝑡). (3.11) We first claim that there is a constant 𝜉∈ℝ such that 𝑥₁(𝜉)≤𝐷. (3.12) In view of ∫^𝜔₀(𝐴𝑥₁)^′(𝑡)𝑑𝑡=0, we know that there exist two constants 𝑡₁,𝑡₂∈[0,𝜔] such that (𝐴𝑥₁)^′(𝑡₁)≥0,(𝐴𝑥₁)^′(𝑡₂)≤0. From the first equation of (3.11), we have 𝑥₂(𝑡)=(1/𝜆)(𝐴𝑥₁)^′(𝑡), so 𝑥₂𝑡₁=1𝜆𝐴𝑥₁^′𝑡₁𝑥≥0,₂𝑡₂=1𝜆𝐴𝑥₁^′𝑡₂≤0. (3.13) Let 𝑡₃,𝑡₄∈[0,𝜔] be, respectively, a global maximum and minimum point of 𝑥₂(𝑡). Clearly, we have 𝑥₂𝑡₃≥0,𝑥^′₂𝑡₃𝑥=0,₂𝑡₄≤0,𝑥^′₂𝑡₄=0. (3.14) Since 𝑓(𝑡,𝑥^′₁)≥0 or 𝑓(𝑡,𝑥^′₁)≤0, w.l.o.g., suppose 𝑓(𝑡,𝑥^′₁)≥0, for (𝑡,𝑥^′₁)∈[0,𝜔]×ℝ. Then −𝑔𝑡₃,𝑥₁𝑡₃−𝜏𝑡₃−𝑒𝑡₃=𝑓𝑡,𝑥^′₁𝑡₃𝑔𝑡≥0,₃,𝑥₁𝑡₃−𝜏𝑡₃≤−𝑒𝑡₃≤‖𝑒‖. (3.15) From (𝐻₂) we see that 𝑥₁𝑡₃−𝜏𝑡₃<𝐷. (3.16) Similarly, we have 𝑔𝑡₄,𝑥₁𝑡₄−𝜏𝑡₄≥−𝑒𝑡₄≥−‖𝑒‖, (3.17) and again by (𝐻₂), 𝑥₁𝑡₄−𝜏𝑡₄<−𝐷. (3.18)
Case 1. If 𝑥₁(𝑡₃−𝜏(𝑡₃))∈(−𝐷,𝐷), define 𝜉=𝑡₃−𝜏(𝑡₃), obviously |𝑥₁(𝜉)|≤𝐷.
Case 2. If 𝑥₁(𝑡₃−𝜏(𝑡₃))<−𝐷, from (3.18) and the fact that 𝑥 is a continuous function in ℝ, there exists a constant 𝜉 between 𝑥₁(𝑡₃−𝜏(𝑡₃)) and 𝑥₁(𝑡₄−𝜏(𝑡₄)) such that |𝑥₁(𝜉)|=𝐷. This proves (3.12).
Choose an integer 𝑘 and a constant 𝑡₅∈[0,𝜔] such that 𝜉=𝜔𝑘+𝑡₅, then |𝑥₁(𝜉)|=|𝑥₁(𝑡₅)|≤𝐷. Hence 𝑥₁(𝑡)≤𝐷+^𝜔₀𝑥^′₁(𝑠)𝑑𝑠. (3.19) Substituting 𝑥₂(𝑡)=(1/𝜆)(𝐴𝑥₁)^′(𝑡) into the second equation of (3.11) yields 1𝜆𝐴𝑥₁(𝑡)^′′=𝜆𝑓𝑡,𝑥^′₁(𝑡)+𝜆𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))+𝜆𝑒(𝑡), (3.20) that is, 𝐴𝑥₁(𝑡)^′′=𝜆²𝑓𝑡,𝑥^′₁(𝑡)+𝜆²𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))+𝜆²𝑒(𝑡). (3.21) Integrating both sides of (3.21) over [0,𝜔], we have ^𝜔₀𝑓𝑡,𝑥^′₁(𝑡)+𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝑑𝑡=0. (3.22) On the other hand, multiplying both sides of (3.21) by (𝐴𝑥₁)(𝑡) and integrating over [0,𝜔], we get ^𝜔₀𝐴𝑥₁(𝑡)^′′𝐴𝑥₁(𝑡)𝑑𝑡=−^𝜔₀𝐴𝑥₁^′(𝑡)²𝑑𝑡=−𝜆^2𝜔₀𝑓𝑡,𝑥^′₁(𝑡)𝐴𝑥₁(𝑡)𝑑𝑡−𝜆^2𝜔₀𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝐴𝑥₁(𝑡)𝑑𝑡−𝜆^2𝜔₀𝑒(𝑡)𝐴𝑥₁(𝑡)𝑑𝑡. (3.23) Using (𝐻₁), we have ^𝜔₀𝐴𝑥₁^′(𝑡)²𝑑𝑡≤^𝜔₀𝑓𝑡,𝑥^′₁(𝑡)𝑥₁(𝑡)−𝑐𝑥₁(𝑡−𝛿(𝑡))𝑑𝑡+^𝜔₀𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝑥₁(𝑡)−𝑐𝑥₁((𝑡+𝑡−𝛿))𝑑𝑡_𝜔0|𝑒(𝑡)|𝑥₁(𝑡)−𝑐𝑥₁((𝑡≤(|𝑐𝑥𝑡−𝛿))𝑑𝑡1+|)₁𝐾₁^𝜔₀𝑥^′₁(𝑡)𝑑𝑡+𝑏𝜔+^𝜔₀𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝑑𝑡+𝜔‖𝑒‖. (3.24) Besides, we can assert that there exists some positive constant 𝑁₁ such that ^𝜔₀𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝑑𝑡≤2𝜔𝑁₁+𝜔𝑏+𝐾₁^𝜔₀𝑥^′₁(𝑡)𝑑𝑡. (3.25) In fact, in view of condition (𝐻₁) and (3.22) we have ^𝜔₀𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))−𝐾₁𝑥^′₁(𝑡)−𝑏𝑑𝑡≤^𝜔₀𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))−𝑓𝑡,𝑥^′₁(𝑡)𝑑𝑡≤^𝜔₀𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))+𝑓𝑡,𝑥^′₁(𝑡)𝑑𝑡=0. (3.26) Define 𝐸₁=𝑡∈[0,𝜔]∶𝑥₁((𝑡;𝐸𝑡−𝜏))>𝐷₂=𝑡∈[0,𝜔]∶𝑥₁(𝑡−𝜏(𝑡))≤𝐷∪𝑡∈[0,𝜔]∶𝑥₁(𝑡−𝜏(𝑡))<−𝐷. (3.27) With these sets we get _𝐸2𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝑑𝑡≤𝜔max𝑀,sup_{[],𝑥𝑡∈0,𝜔1((𝑡𝑡−𝜏))≤𝐷}𝑔𝑡,𝑥₁._𝐸1𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))−𝐾₁𝑥^′₁(𝑡=)−𝑏𝑑𝑡_𝐸1𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))−𝐾₁𝑥^′₁(𝑡)−𝑏𝑑𝑡≤−_𝐸2𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))−𝐾₁𝑥^′₁(𝑡)−𝑏𝑑𝑡≤_𝐸2𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))+𝐾₁𝑥^′₁(𝑡)+𝑏𝑑𝑡, (3.28) which yields _𝐸1𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝑑𝑡≤_𝐸2𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝑑𝑡+_{𝐸1∪𝐸2}𝐾₁𝑥^′₁(𝑡=)+𝑏𝑑𝑡_𝐸2𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝑑𝑡+𝜔𝑏+𝐾₁^𝜔₀𝑥^′₁(𝑡)𝑑𝑡. (3.29) That is, ^𝜔₀𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝑑𝑡=_𝐸1𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝑑𝑡+_𝐸2𝑔𝑥₁(𝑡−𝜏(𝑡))𝑑𝑡≤2_𝐸2𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝑑𝑡+𝜔𝑏+𝐾₁^𝜔₀𝑥^′₁(𝑡)𝑑𝑡≤2𝜔max𝑀,sup_{[],𝑥𝑡∈0,𝜔1((𝑡𝑡−𝜏))<𝐷}𝑔𝑡,𝑥₁+𝜔𝑏+𝐾₁^𝜔₀𝑥^′₁(𝑡)𝑑𝑡=2𝜔𝐷₁+𝜔𝑏+𝐾₁^𝜔₀𝑥^′₁(𝑡)𝑑𝑡, (3.30) where 𝑁₁=max{𝑀,sup_{𝑡∈[0,𝜔],|𝑥1(𝑡−𝜏(𝑡))|<𝐷}|𝑔(𝑡,𝑥₁)|}, proving (3.25).
Substituting (3.25) into (3.24) and recalling (3.19), we get ^𝜔₀𝐴𝑥₁^′(𝑡)²𝑑𝑡≤(1+|𝑐|)𝑥₁₀2𝐾₁^𝜔₀𝑥^′₁(𝑡)𝑑𝑡+2𝜔𝑏+2𝜔𝑁₁+𝜔max_{[]𝑡∈0,𝜔}|𝑒(𝑡=(|𝑐)|1+|)2𝐾₁𝑥₁₀^𝜔₀𝑥^′₁(𝑡)𝑑𝑡+2𝜔𝑏𝑥₁₀+2𝜔𝑁₁𝑥₁₀+𝜔𝑥₁₀max_{[]𝑡∈0,𝜔}|𝑒(𝑡≤(|𝑐)|1+|)2𝐾₁𝐷+^𝜔₀𝑥^′₁(𝑡)𝑑𝑡^𝜔₀𝑥^′₁(𝑡+)𝑑𝑡2𝜔𝑏+2𝜔𝑁₁+𝜔max_{[]𝑡∈0,𝜔}|𝑒(𝑡)|𝐷+^𝜔₀𝑥^′₁(𝑡=(|𝑐)𝑑𝑡1+|)2𝐾₁𝐷^𝜔₀𝑥^′₁(𝑡)𝑑𝑡+2𝐾₁^𝜔₀𝑥^′₁(𝑡)𝑑𝑡²+𝑁₂^𝜔₀𝑥^′₁(𝑡)𝑑𝑡+𝑁₂𝐷=2𝐾₁(1+|𝑐|)^𝜔₀𝑥^′₁(𝑡)𝑑𝑡²+(1+|𝑐|)𝑁₂+2𝐾₁𝐷^𝜔₀𝑥^′₁(𝑡)𝑑𝑡+(1+|𝑐|)𝑁₂𝐷, (3.31) where 𝑁₂=2𝜔𝑏+2𝜔𝑁₁+𝜔‖𝑒‖. Since (𝐴𝑥)(𝑡)=𝑥(𝑡)−𝑐𝑥(𝑡−𝛿(𝑡)), we have 𝐴𝑥₁^′(𝑡)=𝑥₁(𝑡)−𝑐𝑥₁(𝑡−𝛿(𝑡))^′=𝑥^′₁(𝑡)−𝑐𝑥^′₁(𝑡−𝛿(𝑡))+𝑐𝑥^′₁(𝑡−𝛿(𝑡))𝛿^′(𝑡)=𝐴𝑥^′₁(𝑡)+𝑐𝑥^′₁(𝑡−𝛿(𝑡))𝛿^′(𝑡),𝐴𝑥^′₁(𝑡)=𝐴𝑥₁^′(𝑡)−𝑐𝑥^′₁(𝑡−𝛿(𝑡))𝛿^′(𝑡). (3.32) By applying Lemma 2.1, we have ^𝜔₀𝑥^′₁(𝑡)𝑑𝑡=^𝜔₀𝐴⁻¹𝐴𝑥^′₁(𝑡≤∫)𝑑𝑡_𝜔0𝐴𝑥^′₁(𝑡)𝑑𝑡||𝑐=∫1−||_𝜔0𝐴𝑥₁^′(𝑡)−𝑐𝑥^′₁(𝑡−𝛿(𝑡))𝛿^′(𝑡)𝑑𝑡||𝑐≤∫1−||_𝜔0𝐴𝑥^′₁(𝑡)𝑑𝑡+|𝑐|𝛿₁∫^𝜔₀𝑥^′₁(𝑡)𝑑𝑡||𝑐,1−|| (3.33) where 𝛿₁=max_{𝑡∈[0,𝜔]}|𝛿′(𝑡)|. Since 0<𝜔^1/2(1+|𝑐|)^1/22𝐾₁/(|1−|𝑐||−|𝑐|𝛿₁), then |1−|𝑐||−|𝑐|𝛿₁>0, so we get ^𝜔₀𝑥^′₁(𝑡∫)𝑑𝑡≤^𝜔0𝐴𝑥₁^′(𝑡)𝑑𝑡|1−|𝑐||−|𝑐|𝛿₁≤𝜔^1/2∫^𝜔₀𝐴𝑥₁^′(𝑡)²𝑑𝑡^1/2|1−|𝑐||−|𝑐|𝛿₁. (3.34) Applying the inequality (𝑎+𝑏)^𝑘≤𝑎^𝑘+𝑏^𝑘 for 𝑎,𝑏>0, 0<𝑘<1, it follows from (3.31) and (3.34) that ^𝜔₀𝑥^′₁(𝑡≤𝜔)𝑑𝑡_1/2|1−|𝑐||−|𝑐|𝛿₁(1+|𝑐|)^1/22𝐾₁^𝜔₀𝑥^′₁(𝑡)𝑑𝑡+(1+|𝑐|)^1/2𝜔₀𝑥^′₁(𝑡)𝑑𝑡^1/2×𝑁₂+2𝐾₁𝐷^1/2+(1+|𝑐|)^1/2𝑁₂𝐷^1/2. (3.35) Since 𝜔^1/2(1+|𝑐|)^1/22𝐾₁/(|1−|𝑐||−|𝑐|𝛿₁)<1, it is easy to see that there exists a constant 𝑀₁>0 (independent of 𝜆) such that ^𝜔₀𝑥^′₁(𝑡)𝑑𝑡≤𝑀₁. (3.36) It follows from (3.19) that ‖𝑥₁‖≤𝐷+^𝜔₀𝑥^′₁(𝑡)𝑑𝑡≤𝐷+𝑀₁∶=𝑀₂. (3.37)
By the first equation of (3.11) we have ∫^𝜔₀𝑥₂(𝑡)𝑑𝑡=∫^𝜔₀(𝐴𝑥₁)′(𝑡)𝑑𝑡=0, which implies that there is a constant 𝑡₁∈[0,𝜔] such that 𝑥₂(𝑡₁)=0, hence ‖𝑥₂‖≤∫^𝜔₀|𝑥^′₂(𝑡)|𝑑𝑡. By the second equation of (3.11) we obtain 𝑥^′₂(𝑡)=𝜆𝑓𝑡,𝑥^′₁(𝑡)+𝜆𝑔𝑥₁(𝑡−𝜏(𝑡))+𝜆𝑒(𝑡). (3.38) So, from (𝐻₁) and (3.25), we have 𝑥₂₀≤^𝜔₀𝑓𝑡,𝑥^′₁(𝑡)𝑑𝑡+^𝜔₀𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))𝑑𝑡+^𝜔₀|𝑒(𝑡)|𝑑𝑡≤2𝐾₁𝑀₁+2𝜔𝑏+2𝜔𝑁₁+𝜔‖𝑒‖∶=𝑀₃. (3.39) Let 𝑀₄=𝑀²₂+𝑀²₃+1,Ω={𝑥=(𝑥₁,𝑥₂)^⊤∶‖𝑥₁‖<𝑀₄,‖𝑥₂‖<𝑀₄}, then forall𝑥∈𝜕Ω∩Ker𝐿𝑄₁1𝑁𝑥=𝜔^𝜔₀𝑥₂(𝑡)𝑓𝑡,𝑥^′₁(𝑡)+𝑔𝑡,𝑥₁(𝑡−𝜏(𝑡))+𝑒(𝑡)𝑑𝑡. (3.40) If 𝑄₁𝑁𝑥=0, then 𝑥₂(𝑡)=0,𝑥₁=𝑀₄ or −𝑀₄. But if 𝑥₁(𝑡)=𝑀₄, we know 0=^𝜔₀𝑔𝑀₄𝑑𝑡, (3.41) that is, 𝑔(𝑀₄)=0. From assumption (𝐻₂), we know 𝑀₄≤𝐷, which yields a contradiction, one can argue similarly if 𝑥₁=−𝑀₄. We also have 𝑄₁𝑁𝑥≠0, that is, forall𝑥∈𝜕Ω∩Ker𝐿,𝑥∉Im𝐿, so conditions (1) and (2) of Lemma 3.1 are both satisfied. Define the isomorphism 𝐽∶Im𝑄₁→Ker𝐿 as follows: 𝐽𝑥₁,𝑥₂^⊤=𝑥₂,𝑥₁^⊤. (3.42) Let 𝐻(𝜇,𝑥)=𝜇𝑥+(1−𝜇)𝐽𝑄₁𝑁𝑥,(𝜇,𝑥)∈[0,1]×Ω, then, forall(𝜇,𝑥)∈(0,1)×(𝜕Ω∩Ker𝐿), 𝐻𝜇,𝑥=𝜇𝑥₁(𝑡)+1−𝜇𝜔^𝜔₀𝑓𝑡,𝑥^′₁(𝑡)+𝑔𝑡,𝑥₁((𝑡(𝑡𝑥𝑡−𝜏))+𝑒)𝑑𝑡𝜇+1−𝜇₂(𝑡). (3.43) We have ∫^𝜔₀𝑒(𝑡)𝑑𝑡=0. So, we can get 𝐻𝜇,𝑥=𝜇𝑥₁(𝑡)+1−𝜇𝜔^𝜔₀𝑓𝑡,𝑥^′₁(𝑡)+𝑔𝑡,𝑥₁((𝑡𝑥𝑡−𝜏))𝑑𝑡𝜇+1−𝜇₂(𝑡),∀𝜇,𝑥∈(0,1)×(𝜕Ω∩Ker𝐿). (3.44) From (𝐻₂), it is obvious that 𝑥^⊤𝐻(𝜇,𝑥)>0, forall(𝜇,𝑥)∈(0,1)×(𝜕Ω∩Ker𝐿). Hence deg𝐽𝑄₁{𝐻()}{𝐻()}{}𝑁,Ω∩Ker𝐿,0=deg0,𝑥,Ω∩Ker𝐿,0=deg1,𝑥,Ω∩Ker𝐿,0=deg𝐼,Ω∩Ker𝐿,0≠0. (3.45) So condition (3) of Lemma 3.1 is satisfied. By applying Lemma 3.1, we conclude that equation 𝐿𝑥=𝑁𝑥 has a solution 𝑥=(𝑥₁,𝑥₂)^⊤ on Ω∩𝐷(𝐿), that is, (3.1) has an 𝜔-periodic solution 𝑥₁(𝑡).

By using a similar argument, we can obtain the following theorem.

Theorem 3.3. Suppose there exist positive constants 𝐾₁,𝐷,𝑀,𝑏 with 𝑀>‖𝑒‖ such that:
(H₁)|𝑓(𝑡,𝑢)|≤𝐾₁|𝑢|+𝑏, for (𝑡,𝑢)∈ℝ×ℝ;(H₂) sgn𝑥⋅𝑔(𝑡,𝑥)>‖𝑒‖, for |𝑥|>𝐷,(H₃)𝑔(𝑡,𝑥)≤𝑀, for 𝑥≥𝐷 and 𝑡∈ℝ,
then (3.1) has at least one solution with period 𝜔 if 0<𝜔(1+|𝑐|)^1/22𝐾₁/(|1−|𝑐||−|𝑐|𝛿₁)<1.

Remark 3.4. If ∫^𝜔₀𝑒(𝑡)𝑑𝑡≠0 and 𝑓(𝑡,0)≠0, the problem of existence of 𝜔-periodic solutions to (3.1) can be converted to the existence of 𝜔-periodic solutions to (𝑥(𝑡)−𝑐𝑥(𝑡−𝛿(𝑡)))^′′=𝑓₁𝑡,𝑥^′(𝑡)+𝑔₁(𝑡,𝑥(𝑡−𝜏(𝑡)))+𝑒₁(𝑡), (3.46) where 𝑓₁(𝑡,𝑥)=𝑓(𝑡,𝑥)−𝑓(𝑡,0),𝑔₁(𝑡,𝑥)=𝑔(𝑡,𝑥)+(1/𝜔)∫^𝜔₀𝑒(𝑡)𝑑𝑡+𝑓(𝑡,0), and 𝑒₁(𝑡)=𝑒(𝑡)−(1/𝜔)∫^𝜔₀𝑒(𝑡)𝑑𝑡. Clearly, ∫^𝜔₀𝑒₁(𝑡)𝑑𝑡=0 and 𝑓₁(𝑡,0)=0, and (3.46) can be discussed by using Theorem 3.2 (or Theorem 3.3).

4. Positive Periodic Solutions for Neutral Equations

Consider the following second-order neutral functional differential equation:(𝑥(𝑡)−𝑐𝑥(𝑡−𝛿(𝑡)))^′′=−𝑎(𝑡)𝑥(𝑡)+𝜆𝑏(𝑡)𝑓(𝑥(𝑡−𝜏(𝑡))), (4.1) where 𝜆 is a positive parameter; 𝑓∈𝐶(ℝ,[0,∞)), and 𝑓(𝑥)>0 for 𝑥>0; 𝑎∈𝐶(ℝ,(0,∞)) with max{𝑎(𝑡)∶𝑡∈[0,𝜔]}<(𝜋/𝜔)², 𝑏∈𝐶(ℝ,(0,∞)), 𝜏∈𝐶(ℝ,ℝ), 𝑎(𝑡), 𝑏(𝑡), and 𝜏(𝑡) are 𝜔-periodic functions.

Define the Banach space 𝑋 as in Section 2, and let 𝐶⁺_𝜔={𝑥∈𝐶(ℝ,(0,∞))∶𝑥(𝑡+𝜔)=𝑥(𝑡)}. Denote 𝑀=max{𝑎(𝑡)∶𝑡∈[0,𝜔]},𝑚=min{𝑎(𝑡)∶𝑡∈[0,𝜔]},𝛽=√1𝑀,𝐿=2𝛽sin𝛽𝜔/2,𝑙=cos𝛽𝜔/2()𝑘2𝛽sin𝛽𝜔/2,𝑘=𝑙𝑀+𝑚+𝐿𝑀,₁=𝑘−𝑘²−4𝐿𝑙𝑀𝑚𝑙[(𝑐2𝐿𝑀,𝛼=𝑚−𝑀+𝑚)||](|𝑐.𝐿𝑀1−|) (4.2) It is easy to see that 𝑀,𝑚,𝛽,𝐿,𝑙,𝑘,𝑘₁>0.

Now we consider (4.1). First let 𝑓₀=lim_𝑥→0𝑓(𝑥)𝑥,𝑓_∞=lim_𝑥→∞𝑓(𝑥)𝑥,𝑓₀=lim_𝑥→0𝑓(𝑥)𝑥,𝑓_∞=lim_𝑥→∞𝑓(𝑥)𝑥, (4.3) and denote 𝑖₀=numberof0'sin𝑓₀,𝑓_∞,𝑖₀=numberof0'sin𝑓₀,𝑓_∞;𝑖_∞=numberof∞'sin𝑓₀,𝑓_∞,𝑖_∞=numberof∞'sin𝑓₀,𝑓_∞. (4.4) It is clear that 𝑖₀,𝑖₀,𝑖_∞,𝑖_∞∈{0,1,2}. We will show that (4.1) has 𝑖₀ or 𝑖_∞ positive 𝑤-periodic solutions for sufficiently large or small 𝜆, respectively.

In the following we discuss (4.1) in two cases, namely, the case where 𝑐<0 and 𝑐>−min{𝑘₁,𝑚/(𝑀+𝑚)} (note that 𝑐>−𝑚/(𝑀+𝑚) implies 𝛼>0; 𝑐>−𝑘₁ implies |𝑐|<𝛼) and the case where 𝑐>0 and 𝑐<𝑚𝑖𝑛{𝑚/(𝑀+𝑚),(𝐿𝑀−𝑙𝑚)/((𝐿−𝑙)𝑀−𝑙𝑚)} (note that 𝑐<𝑚/(𝑀+𝑚) implies 𝛼>0; 𝑐<(𝐿𝑀−𝑙𝑚)/((𝐿−𝑙)𝑀−𝑙𝑚) implies 𝛼<1). Obviously, we have |𝑐|<1 which makes Lemma 2.1 applicable for both cases and also Lemmas 2.2 or 2.3, respectively.

Let 𝐾={𝑥∈𝑋∶𝑥(𝑡)≥𝛼‖𝑥‖} denote the cone in 𝑋 as defined in Section 2, where 𝛼 is just as defined above. We also use 𝐾_𝑟={𝑥∈𝐾∶‖𝑥‖<𝑟} and 𝜕𝐾_𝑟={𝑥∈𝐾∶‖𝑥‖=𝑟}.

Let 𝑦(𝑡)=(𝐴𝑥)(𝑡), then from Lemma 2.1 we have 𝑥(𝑡)=(𝐴⁻¹𝑦)(𝑡). Hence (4.1) can be transformed into𝑦^′′(𝑡)+𝑎(𝑡)𝐴⁻¹𝑦(𝑡)=𝜆𝑏(𝑡)𝑓𝐴⁻¹𝑦(𝑡−𝜏(𝑡)), (4.5) which can be further rewritten as𝑦^′′(𝑡)+𝑎(𝑡)𝑦(𝑡)−𝑎(𝑡)𝐻𝑦(𝑡)=𝜆𝑏(𝑡)𝑓𝐴⁻¹𝑦(𝑡−𝜏(𝑡)), (4.6) where 𝐻(𝑦(𝑡))=𝑦(𝑡)−(𝐴⁻¹𝑦)(𝑡)=−𝑐(𝐴⁻¹𝑦)(𝑡−𝛿(𝑡)).

Now we discuss the two cases separately.

4.1. Case  I

Assume 𝑐<0 and 𝑐>−min{𝑘₁,𝑚/(𝑀+𝑚)}.

Lemma 4.1 (see [7]). The equation 𝑦^′′(𝑡)+𝑀𝑦(𝑡)=ℎ(𝑡),ℎ∈𝐶⁺_𝜔, (4.7) has a unique 𝜔-periodic solution 𝑦(𝑡)=_𝑡^𝑡+𝜔𝐺(𝑡,𝑠)ℎ(𝑠)𝑑𝑠, (4.8) where 𝐺()=))𝑡,𝑠cos𝛽((𝜔/2+𝑡−𝑠[].2𝛽sin𝛽𝜔/2,𝑠∈𝑡,𝑡+𝜔 (4.9)

Lemma 4.2 (see [7]). One has∫_𝑡^𝑡+𝜔𝐺(𝑡,𝑠)𝑑𝑠=1/𝑀. Furthermore, if max{𝑎(𝑡)∶𝑡∈[0,𝜔]}<(𝜋/𝜔)², then 0<𝑙≤𝐺(𝑡,𝑠)≤𝐿 for all 𝑡∈[0,𝜔] and 𝑠∈[𝑡,𝑡+𝜔].

Now we consider𝑦^′′(𝑡)+𝑎(𝑡)𝑦(𝑡)−𝑎(𝑡)𝐻𝑦(𝑡)=ℎ(𝑡),ℎ∈𝐶⁺_𝜔, (4.10) and define operators 𝑇,𝐻∶𝑋→𝑋 by (𝑇ℎ)(𝑡)=_𝑡^𝑡+𝜔𝐺(𝑡,𝑠)ℎ(𝑠)𝑑𝑠,𝐻𝑦(𝑡)=𝑀−𝑎(𝑡)𝑦(𝑡)+𝑎(𝑡)𝐻𝑦(𝑡). (4.11) Clearly 𝑇,𝐻 are completely continuous (𝑇ℎ)(𝑡)>0 for ℎ(𝑡)>0 and ‖𝐻‖≤(𝑀−𝑚+𝑀(|𝑐|/(1−|𝑐|))).

By Lemma 4.1, the solution of (4.10) can be written in the form𝑦(𝑡)=(𝑇ℎ)(𝑡)+𝑇𝐻𝑦(𝑡). (4.12) In view of 𝑐<0 and 𝑐