Cheng et al. Boundary Value Problems (2018) 2018:20 https://doi.org/10.1186/s13661-018-0938-6
RESEARCH
Open Access
Periodic solution for p-Laplacian Rayleigh equation with attractive singularity and time-dependent deviating argument Zhibo Cheng1,2* , Zhonghua Bi1 and Shaowen Yao1* *
Correspondence:
[email protected];
[email protected] 1 School of Mathematics and Information Science, Henan Polytechnic University, Jiaozuo, China 2 Department of Mathematics, Sichuan University, Chengdu, China
Abstract In this paper, we consider a p-Laplacian singular Rayleigh equation with time-dependent deviating argument
(ϕp (x (t))) + f (t, x (t)) + g(t, x(t – σ (t))) = e(t), where g has an attractive singularity at x = 0. Using the Manásevich–Mawhin continuation theorem, we prove that the equation has at least one T-periodic solution. MSC: 34K13; 34C25 Keywords: Rayleigh equation; Periodic solution; Attractive singularity; p-Laplacian; Time-dependent deviating argument
1 Introduction In the past years, researchers paid much attention to investigating the problem of periodic solutions for second-order equations with singularities (see [1–16]). Among those studies, the study of properties of repulsive singularities can be traced back to 1996. Zhang [1] discussed the existence of positive periodic solutions of the following Liénard equation with singularity: x (t) + f x(t) x (t) + g t, x(t) = 0,
(1.1)
where g(t, x(t)) may be unbounded as x → 0+ . Equation (1.1) is of repulsive type (resp. attractive type) if g(t, x(t)) → –∞ (resp. g(t, x(t)) → +∞) as x → 0+ . Using Mawhin’s continuation theorem, the author proved that Eq. (1.1) has at least one T-periodic solution. Zhang’s work has attracted much attention of many specialists in differential equations. In 2014, Wang [2] investigated the existence of positive periodic solutions of the following Liénard equation with singularity and deviating argument: x (t) + f x(t) x (t) + g t, x(t – σ ) = 0,
(1.2)
© The Author(s) 2018. 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.
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 2 of 14
where g satisfies the same conditions as in Eq. (1.1), and σ is a constant such that 0 ≤ σ < T. In 2017, Lu [3] considered the existence of positive periodic solutions of the following Liénard equation with singularity: x (t) + f x(t) x (t) – g x(t) + ϕ(t)x(t) = h(t), where g(x) is singular at x = 0, and ϕ and h are T-periodic functions. The authors found a new method for estimating a lower a priori bounds of the periodic solutions to the given equation. Besides, many articles have been published about Liénard equation with repulsive singularity (see [4–13]). Recently, some good deal of works have been performed on the existence of periodic solutions of Rayleigh equations with singularity (see [14–16]). Wang and Ma [16] in 2015 studied the Rayleigh equation with repulsive singularity x (t) + f t, x (t) + g x(t) = p(t), where g has a repulsive singularity at the origin. The authors obtained that the given equation has at least one 2π -periodic solution. All the aforementioned results are related to equations with repulsive singularity or equations with time-independent deviating argument. Naturally, a new question arises: how the Rayleigh equation with attractive singularity works on time-dependent deviating argument? Besides practical interests, the topic has obvious intrinsic theoretical significance. To answer this question, in this paper, applying the Manásevich–Mawhin continuation theorem, we consider the existence of positive periodic solutions for the following Rayleigh equation with attractive singularity and time-dependent deviating argument: ϕp x (t) + f t, x (t) + g t, x t – σ (t) = e(t),
(1.3)
where ϕp : R → R is given by ϕp (s) = |s|p–2 s with constant p > 1, f ∈ C(R × R, R), T e ∈ C(R, R), f (t, x (t)) and e(t) are T-periodic with respect to variable t, 0 e(t) dt = 0, g(t, x) = g0 (x) + g1 (t, x) with g0 ∈ C((0, ∞); R) and an L2 -Carathéodory function g1 , g0 has an attractive singularity at x = 0, that is,
1
g0 (x) dx = +∞,
(1.4)
0
and σ ∈ C 1 (R, R) is a T-periodic function such that σ (t) < 1. Obviously, the attractiv1 ity condition limx→0+ x g0 (s) ds = +∞ contradicts the repulsive singularity. Therefore, the methods of [1, 2, 16] are no longer applicable to prove the existence of periodic solutions for Eq. (1.3) with attractive singularity. So we need to find a new method to get over it. In this paper, we give a new condition for g(t, x) in Eq. (1.3) with attractive singularity, namely, –g(t, x) ≤ axp–1 + b, where a, b are positive constants. Therefore, by estimating a priori bounds of periodic solutions and the Manásevich–Mawhin continuation theorem we prove that Eq. (1.3) has at least one T-periodic solution.
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 3 of 14
2 Periodic solution for Eq. (1.3) We consider the T-periodic boundary value problem ϕp x (t) = f˜ t, x(t), x (t) ,
(2.1)
where f˜ : [0, T] × R × R → R is assumed to be Carathéodory. Lemma 2.1 (Manásevich–Mawhin [17]) Let be an open bounded set in CT1 := {x ∈ C 1 (R, R) : x(t + T) – x(t) ≡ 0}. Suppose that: (i) For each λ ∈ (0, 1), the problem ϕp x (t) = λf˜ t, x(t), x (t) ,
x(0) = x(T),
x (0) = x (T),
has no solution on ∂. (ii) The equation 1 F(a) := T
T
f˜ (t, a, 0) dt = 0
0
has no solution on ∂ ∩ R. (iii) The Brouwer degree deg{F, ∩ R, 0} = 0. ¯ Then the periodic boundary value problem (2.1) has at least one T-periodic solution on . Next, applying the Manśevich–Mawhin continuation theorem, we prove the following theorems. Define
x := max x(t), t∈[0,T]
x := max x (t). t∈[0,T]
Theorem 2.1 Assume that the following conditions are satisfied: (H1 ) f (t, 0) = 0, and there exists a constant K > 0 such that |f (t, u)| ≤ K for (t, u) ∈ R × R. (H2 ) There exists positive constants D1 and D2 with 0 < D2 < D1 such that g(t, x) < –K for (t, x) ∈ R × (D1 , +∞) and g(t, x) > K for (t, x) ∈ R × (0, D2 ). (H3 ) There exist positive constants a and b such that –g(t, x) ≤ axp–1 + b for (t, x) ∈ R × (0, +∞). Then Eq. (1.3) has at least one solution with period T if 2aT p < 1. Proof Consider the equation ϕp x (t) + λf t, x (t) + λg t, x t – σ (t) = λe(t).
(2.2)
Firstly, we will claim that the set of all T-periodic solution of Eq. (2.2) is bounded. Let x ∈ CT := {x ∈ C(R, R) : x(t + T) – x(t) ≡ 0} be an arbitrary T-periodic solution of Eq. (2.2).
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 4 of 14
Integrating both sides of Eq. (2.2) over [0, T], we have
ϕp x (t) dt + λ
T
0
Since
T
f t, x (t) dt + λ
0
T
T
T
g t, x t – σ (t) dt = λ
0
(ϕp (x (t))) dt = 0 and
0
T 0
T
e(t) dt. 0
e(t) dt = 0, we have
f t, x (t) + g t, x t – σ (t) dt = 0.
(2.3)
0
From Eq. (2.3) and condition (H1 ) we have
T
–KT <
g t, x t – σ (t) dt < KT.
0
Then by condition (H2 ) we know that there exist two points ξ1 , η1 ∈ [0, T] such that x(ξ1 ) ≤ D1 , x η1 – σ (η1 ) > D2 . 1
Since x ≤ x(ξ1 ) + T q ( 1
T
1
|x (t)|p dt) p , we have
0
x (t)p dt
T
x ≤ D1 + T q
p1 .
(2.4)
0
Multiplying both sides of Eq. (2.2) by x(t) and integrating over the interval [0, T], we get
T
ϕp x (t) x(t) dt + λ
0
T
f t, x (t) x(t) dt + λ
0
T
g t, x t – σ (t) x(t) dt
0
T
=λ
(2.5)
e(t)x(t) dt. 0
Substituting
T 0
(ϕp (x (t))) x(t) dt = –
T
x (t)p dt = –λ
–
0
T
T 0
|x (t)|p dt into Eq. (2.5), we have
f t, x (t) x(t) dt – λ
0
T
g t, x t – σ (t) x(t) dt
0
T
+λ
e(t)x(t) dt. 0
Thus we have 0
x (t)p dt ≤ λ
T
0
f t, x (t) x(t) dt + λ
T
+λ
T
g t, x t – σ (t) x(t) dt
0 T
e(t)x(t) dt
0
T
g t, x t – σ (t) dt + x
≤ KT x + x
0
0
T
e(t) dt.
(2.6)
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 5 of 14
From Eq. (2.3) and condition (H3 ) we have
T
g t, x t – σ (t) dt
0
g + t, x t – σ (t) dt –
= g(t,x(t–σ (t)))>0
g – t, x t – σ (t) dt +
= –2 g(t,x(t–σ (t)))≤0
axp–1 (t) + b dt +
T
≤2
g – t, x t – σ (t) dt
g(t,x(t–σ (t)))≤0
0
T
f t, x (t) dt
0 T
f t, x (t) dt
0
≤ 2aT x p–1 + 2bT + KT,
(2.7)
where g – := min{g(t, x(t – σ (t))), 0}. Substituting Eq. (2.7) into Eq. (2.6), we have
T
x (t)p dt ≤ 2aT x p + x 2KT + 2bT + e T .
(2.8)
0
Substituting Eq. (2.4) into Eq. (2.8), we get
1 x (t)p dt ≤ 2aT D1 + T q
T
0
T
x (t)p dt
p1 p
0
1 + 2bT + e T + 2KT D1 + T q
T
x (t)p dt
p1
0
p ≤ 2aT T q
p–1 x (t)p dt + (1 + p)D1 T q
T
0
p–1 p
0
+ 2bT + e T + 2KT D1 1 + 2bT + e T + 2KT T q
x (t)p dt
T
x (t)p dt
T
p1
0
= 2aT
p+q q
T
p+q–1 x (t)p dt + 2aT q (1 + p)D1
0
x (t)p dt
p–1 p
0
+ 2bT + e T + 2KT D1 1 + 2bT + e T + 2KT T q
T
T
x (t)p dt
p1 ,
(2.9)
0
since (1 + x)p ≤ 1 + (1 + p)x for x ∈ [0, δ], where δ is a given positive constant depending only on p > 0. Thus we have 1 q D1 + T
T
x (t)p dt
p1 p
0
≤T
p q
0
p–1 x (t)p dt + (1 + p)D1 T q
T
0
x (t)p dt
T
p–1 p .
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 6 of 14
p+q
Since p1 + q1 = 1, we get 2aT q = 2aT p < 1. It is easy to see that there exists a constant M1 > 0 (independent of λ) such that
T
x (t)p dt ≤ M . 1
0
(2.10)
From Eq. (2.4) and Eq. (2.10) we have 1
x (t)p dt
T
x ≤ D1 + T q
p1
0
1 1 ≤ D1 + T q M1 p := M1 .
(2.11)
Since x(t) is T-periodic, there exists a point t0 ∈ (0, T) such that x (t0 ) = 0, whereas ϕp (0) = 0. Hence, from Eq. (2.7) and Eq. (2.11) we have that t ϕp x (t) = ϕ x (s) ds p t0
≤λ
T
f t, x (t) dt + λ
0
≤ 2KT
T
g t, x t – σ (t) dt + λ
0 p–1 + 2aTM1
+ 2bT
+ T e := M2 .
T
e(t) dt
0
(2.12)
Next, we claim that there exists a positive constant M2 > M2 + 1 such that, for all t ∈ R, we have x ≤ M2 .
(2.13)
In fact, if x (t) is not bounded, then there exists a positive constant M2 such that x > M2 for some x (t) ∈ R, and therefore we have ϕp (x ) = x p–1 ≥ (M2 )p–1 , a contradiction, and so Eq. (2.13) holds. From Eq. (2.3) and Eq. (2.13) we know that there is a point t1 ∈ [0, T] such that x(t1 – σ (t1 )) ≥ γ1 . Let η1 = t1 , where η1 is as in Eq. (2.3). Then we have x η1 – σ (η1 ) ≥ γ1 , where γ1 < M1 is a positive constant independent of λ ∈ (0, 1]. Meanwhile, we show that for any t ∈ [0, T], there exits a constant γ1 ∈ (0, γ1 ) such that each positive T-periodic solution of Eq. (1.3) satisfies x t – σ (t) > γ1 . On the other hand, we consider the interval [η1 , t] ⊂ [0, T] and x(η1 – σ (η1 )) > D2 . Multiplying both sides of Eq. (2.2) by x (t – σ (t))(1 – σ (t)) and integrating on [η1 , t], we get
t
ϕp x (s) x s – σ (s) 1 – σ (s) ds
η1
t
+λ η1
f s, x (s) x s – σ (s) 1 – σ (s) ds
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 7 of 14
g0 x s – σ (s) x s – σ (s) 1 – σ (s) ds
t
+λ η1
g1 s, x s – σ (s) x s – σ (s) 1 – σ (s) ds
t
+λ
η1 t
=λ
e(s)x s – σ (s) 1 – σ (s) ds.
η1
Furthermore, we have λ
x(t–σ (t)) x(η1 –σ (η1 ))
g0 (v) dv
t = λ g0 x s – σ (s) x s – σ (s) 1 – σ (s) ds η1 t ≤ ϕp x (s) x s – σ (s) 1 – σ (s) ds η1
t + λ f s, x (s) x s – σ (s) 1 – σ (s) ds η1 t + λ g1 s, x s – σ (s) x s – σ (s) 1 – σ (s) ds η1
t + λ e(s)x s – σ (s) 1 – σ (s) ds. η1
By Eq.(2.2) and condition (H1 ) we obtain t ϕp x (s) x s – σ (s) 1 – σ (s) ds η1
ϕp x (s) x s – σ (s) 1 – σ (s) ds
t
≤
η1
≤
1 + σ01
≤λ
x λ
1 + σ01
T
–f s, x (s) – g s, x s, s – σ (s) + e(s) ds
0
M2 2KT + 2aT(M1 )p–1 + 2bT + e T ,
where σ01 := maxt∈[0,T] (–σ (t)). Meanwhile, we have t λ f s, x (s) x s – σ (s) 1 – σ (s) ds ≤ λ 1 + σ01 M2 KT, η1 t λ g1 s, x s – σ (s) x s – σ (s) 1 – σ (s) ds ≤ λ 1 + σ01 M2 g1M1 T, η1
where g1M1 := max0
(2.14)
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 8 of 14
From these inequalities and Eq. (2.14) we derive
x(t–σ (t)) x(η1 –σ (η1 ))
g0 (v) dv ≤ 1 + σ01 M2 3KT + 2aT(M1 )p–1 + 2bT + 2 e T + g1M1 T := M3 .
(2.15)
In view of the attractive condition (1.4) and x(η1 – σ (η1 )) ≥ γ1 , there exists γ1 ∈ (0, γ1 ) such γ that γ 1 g0 (v) dv > M3 . Thus, if there is a point η1∗ ∈ [η1 , t] such that x(η1∗ – σ (η1∗ )) ≤ γ1 , then 1
x(η1 –σ (η1 )) x(η1∗ –σ (η1∗ ))
g0 (v) dv ≥
γ1
γ1
g0 (v) dv > M3 ,
which contradicts Eq. (2.15). Therefore, we obtain that x(t – σ (t)) > γ1 for all t ∈ [0, T]. In the case t ∈ [0, η1 ] (i.e., x(t – σ (t)) ∈ [–σ (0), η1 – σ (η1 )]), we can handle similarly. Define
= x ∈ CT1 (R, R)|E1 ≤ x(t) ≤ E2 , x ≤ M2 , ∀t ∈ [0, T] , where 0 < E1 < min(D2 , γ1 ), E2 > max(M1 , D1 ). We know that Eq. (2.2) has no solution on ∂ as λ ∈ (0, 1), and when x(t) ∈ ∂ ∩ R, x(t) = E2 or x(t) = E1 . From Eq. (2.4) we know that E2 > D1 and E1 < D2 . So, from condition (ii) of Lemma 2.1 we see that 1 T
T
g(t, E2 ) dt < 0 0
and 1 T
T
g(t, E1 ) dt > 0. 0
Obviously, we get
T 1 g(t, x) dt, ∩ R, 0 deg{F, ∩ R, 0} = deg T 0 = deg{x, ∩ R, 0} = 0, and so condition (iii) of Lemma 2.1 is satisfied. In view of Theorem 2.1, Eq. (1.3) has at least one T-periodic solution. Theorem 2.2 Suppose that condition (H3 ) holds. Assume that the following conditions are satisfied: (H4 ) f (t, 0) = 0, and there exist positive constants m, n such that 0 ≤ f (t, u) ≤ m|u|p–1 + n for (t, u) ∈ R × R. (H5 ) There exist constants D3 and D4 with 0 < D4 < D3 such that g(t, x) < – e for (t, x) ∈ R × (D3 , +∞) and g(t, x) > e for (t, x) ∈ R × (0, D4 ). Then Eq. (1.3) has at least one solution with period T if 2mT + 2aT p < 1.
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 9 of 14
Proof Consider the homotopic equation ϕp x (t) + λf t, x (t) + λg t, x t – σ (t) = λe(t).
(2.16)
We follow the same strategy and notation as in the proof of Theorem 2.1. Let t ∗ and t∗ be the global maximum point and global minimum point. Since x(t) is T-periodic, we get T that x (t ∗ ) = 0 and x (t∗ ) = 0. From 0 (ϕp (x (t))) dt = 0 we obtain ∗ ≤0 ϕp x t
ϕp x (t∗ ) ≥ 0.
and
In fact, if (ϕp (x (t∗ ))) ≥ 0 does not hold, then there exists a constant ε > 0 such that (ϕp (x (t∗ ))) < 0 for all t ∈ (t∗ – ε, t∗ + ε). Therefore, ϕp (x (t∗ )) is strictly decreasing for (t∗ – ε, t∗ + ε), and we know that x (t) is strictly decreasing for (t∗ – ε, t∗ + ε). This contradicts the definition of t∗ . Thus, we obtain that (ϕp (x (t∗ ))) ≥ 0 is true. From f (t, 0) = 0 and Eq. (2.16) we have g t∗ , x t∗ – σ (t∗ ) – e(t∗ ) ≤ 0. Then, from condition (H5 ) we get that there exists a point η2 ∈ [0, T] such that x η2 – σ (η2 ) ≥ D4 . Similarly, we have g t ∗ , x t ∗ – σ t ∗ – e t ∗ ≥ 0. Then we get that there exists a point ξ2 ∈ [0, T] such that x(ξ2 ) ≤ D3 . 1
Therefore, from x ≤ x(ξ2 ) + T q (
x ≤ D3 + T
1 q
T
T
x (t)p dt
0
1
|x (t)|p dt) p we get
p1 .
(2.17)
0
From Eq. (2.3) and from conditions (H3 ) and (H4 ) we obtain
T
g t, x t – σ (t) dt
0
g + t, x t – σ (t) dt –
= g(t,x(t–σ (t)))>0
g t, x t – σ (t) dt +
= –2
g(t,x(t–σ (t)))≤0 T
≤2
g – t, x t – σ (t) dt
g(t,x(t–σ (t)))≤0 –
axp–1 + b dt +
T
f t, x (t) dt
0
0
T
f t, x (t) dt
0
T
x (t)p–1 dt + nT.
≤ 2aT x p–1 + 2bT + m 0
(2.18)
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 10 of 14
Then from the Hölder inequality, Eq. (2.6), and Eq. (2.18) we get
T
x (t)p dt ≤ 2aT x p + 2 x m
0
T
x (t)p–1 dt + x 2nT + 2bT + e T
0 1 p
≤ 2aT x + 2 x mT p
T
x (t)p dt
p–1 p
0
+ x 2nT + 2bT + e T .
(2.19)
Substituting Eq. (2.17) into Eq. (2.19), we have 1 x (t)p dt ≤ 2aT D3 + T q
x (t)p dt
T
0
T
p1 p
0
1 + D3 + T q
T
x (t)p dt
p1
2nT + 2bT + e T
0
1 q + 2 D3 + T ≤ 2mT + 2aT p
T
x (t)p dt
p1 1 p mT
0
T
x (t)p dt
p–1 p
0
T
x (t)p dt
0 p+q–1 1 + 2mD3 T p + 2a(1 + p)D3 T q
T
x (t)p dt
p–1 p
0
1 + 2bT + 2nT + e T T q
x (t)p dt
T
p1
0
+ 2bT + 2nT + e T D3 .
Since 2mT + 2aT p < 1, it is easy to see that there exists a constant N1 > 0 (independent of λ) such that
T 0
x (t)p dt ≤ N , 1
(2.20)
and hence from Eq. (2.20) we have 1
T
x (t)p dt
x ≤ D3 + T q
p1
0
1 1 ≤ D3 + T q N1 p := N1 .
By condition (H4 ) and Eq. (2.12) there exists a constant N2 > 0such that t ϕp x (t) = ϕp x (s) ds t0
≤λ
T
f t, x (t) dt + λ
0
≤ 2mT
T
g t, x t – σ (t) dt + λ
0 1 p
p–1 p
N1
T
e(t) dt
0 p–1
+ 2nT + 2aTN1
+ 2bT + T e := N2 .
(2.21)
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 11 of 14
Thus, we obtain that there exists a constant N2 > 0 such that, for all t ∈ R, x ≤ N2 .
(2.22)
From Eq. (2.3) and Eq. (2.22) we know that there is a point t2 ∈ [0, T] such that x(t2 – σ (t2 )) ≥ γ2 . Letting η2 = t2 , we have x η2 – σ (η2 ) ≥ γ2 , where γ2 < N1 is a positive constant independent of λ ∈ (0, 1]. Meanwhile, we show that, for any t ∈ [0, T], there exits a constant γ2 ∈ (0, γ2 ) such that each positive T-periodic solution of Eq. (1.3) satisfies x t – σ (t) > γ2 . On the other hand, by Eq. (2.2) and condition (H4 ) we obtain t ϕ x s – σ (s) 1 – σ (s) x (s) ds p η2
t
ϕp x (s) x s – σ (s) 1 – σ (s) ds
≤
η2
≤ 1 + σ01 x λ
T
–f s, x (s) – g s, x s, s – σ (s) + e(s) ds
0
p–1 1 ≤ λ 1 + σ0 N2 2mT p N1 p + 2nT + 2aT(N1 )p–1 + 2bT + e T .
1
Meanwhile, we have t p–1 1 λ f s, x (s) x s – σ (s) 1 – σ (s) ds ≤ λ 1 + σ01 N2 mT p N1 p + nT , η2 t λ g1 s, x s – σ (s) x s – σ (s) 1 – σ (s) ds ≤ λ 1 + σ01 N2 g1N1 T, η2
where g1N1 := max0
From those inequalities and Eq. (2.14) we derive
p–1 1 g0 (v) dv ≤ 1 + σ01 N2 3mT p N1 p + 3nT + 2aT(N1 )p–1 x(η2 –σ (η2 )) + 2bT + 2 e T + g1N1 T := N3 . x(t–σ (t))
(2.23)
In view of the attractive condition (1.4) and x(η2 – σ (η2 )) ≥ γ2 , there exists γ2 ∈ (0, γ2 ) γ such that γ 2 g0 (v) dv > N3 . Thus, if there is a point η2∗ ∈ [η2 , t] such that x(η2∗ – σ (η2∗ )) ≤ γ2 , 2
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 12 of 14
then
g0 (v) dv ≥
x(η2 –σ (η2 )) x(η2∗ –σ (η2∗ ))
γ2
γ2
g0 (v) dv > N3 ,
which contradicts Eq. (2.23). Therefore we obtain that x(t – σ (t)) > γ2 for all t ∈ [0, T]. In the case t ∈ [0, η2 ] (i.e., x(t – σ (t)) ∈ [–σ (0), η2 – σ (η2 )]), we can handle similarly. This proves the claim, and the rest of the proof of the theorem is identical to that of Theorem 2.1. Example 2.1 Consider the following p-Laplacian singular Rayleigh equation with attractive singularity and time-dependent deviating argument: ϕp x (t) + cos2 (8t) sin x (t) – +
1 xμ (t
–
cos(8t) ) 11
cos(8t) 1 5 1 cos2 (4t) + x t– 2 2 11
= sin(8t),
(2.24)
where p = 6, and μ ≥ 1 is a constant. Comparing Eq. (2.24) to Eq. (1.3), it is easy to see that f (t, x (t)) = cos2 (8t) sin(x (t)), so there exists K = 1 such that |f (t, x (t))| ≤ 1, and it is obvious that condition (H1 ) holds; g(t, x(t – σ (t))) = –(( 12 cos2 (4t) + 12 )x5 (t – cos(8t) )) + μ 1cos(8t) , σ (t) = cos(8t) , σ (t) = – 8 sin(8t) < 11 11 11 x (t– 11 )
1, T = π4 . Since p1 + q1 = 1, we have q = 65 . Consider g(t, x(t – σ (t))) = –(( 12 cos2 (4t) + 12 )x5 (t – 1 cos(8t) )) + μ 1cos(8t) . Then we have 0 x1μ dx = +∞ and –g(t, x(t – σ (t))) ≤ x5 (t – cos(8t) ) + 1, 11 11 x (t– 11 )
where a = b = 1. So condition (H3 ) is satisfied. Next, we consider the condition 2aT p = 2 × 1 ×
6 π ≈ 0.4694. 4
Therefore, by Theorem 2.1 we get that Eq. (2.24) has at least one positive solution.
π -periodic 4
Example 2.2 Consider the following p-Laplacian singular Rayleigh equation with attractive singularity and time-dependent deviating argument: 7 1 ϕp x (t) + sin(12t) + 1 x (t) – 7π +
1 xμ (t
–
sin(12t) ) 18
sin(12t) 1 2 1 7 sin (6t) + x t– 5 5 18
= cos(12t),
(2.25)
where p = 8, and μ ≥ 1 is a constant. 1 Comparing Eq. (2.25) to Eq. (1.3), it is easy to see that f (t, u) = 7π (sin(12t) + 1)u7 , so we 2 and n = 1, so that condition (H4 ) holds; g(t, x(t – σ (t))) = –(( 15 sin2 (6t) + can choose m = 7π sin(12t) 1 7 1 )x (t – 18 )) + μ sin(12t) , σ (t) = sin(12t) , σ (t) = 2 cos(12t) < 1, T = π6 . Since p1 + q1 = 1, we 5 18 3 x (t–
18
)
) + 1, where a = have q = 87 ; –g(t, x(t – σ (t))) ≤ 25 x7 (t – sin(12t) 18
2 5
and b = 1. So, condition (H3 )
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 13 of 14
is satisfied. Next, we consider the condition 8 8 π π 4 π 2 2 2 × = × ≈ 0.1. +2× + 2aT + 2mT = 2 × × 5 6 7π 6 5 6 21 p
Therefore, by Theorem 2.2 we see that Eq.(2.25) has at least one positive solution.
π -periodic 6
3 Conclusions In Summary, by Theorems 2.1 and 2.2 we have certified that Eq. (1.3) has at least one T-periodic solution. Comparing Theorem 2.1 to Theorem 2.2, the condition |f (t, u)| ≤ a|u|p–1 + b in Theorem 2.2 is weaker than the condition |f (t, u)| ≤ K in Theorem 2.1. Moreover, in view of the mathematical points, the results satisfying conditions of attractive singularity and time-dependent deviating argument are valuable to understand the periodic solutions for Rayleigh equations. Acknowledgements ZBC, ZHB, and SWY would like to thank the referee for invaluable comments and insightful suggestions. Research is supported by National Natural Science Foundation of China (No. 11501170), China Postdoctoral Science Foundation funded project (No. 2016M590886), Fundamental Research Funds for the Universities of Henan Province (NSFRF140142), Henan Polytechnic University Outstanding Youth Fund (J2015-02), and Henan Polytechnic University Doctor Fund (B2013-055). Competing interests The authors declare that they have no competing interests. Authors’ contributions ZBC, ZHB, and SWY worked together in the derivation of the mathematical results. All authors read and approved the final manuscript.
Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Received: 15 November 2017 Accepted: 31 January 2018 References 1. Zhang, M.: Periodic solutions of Liénard equation singular forces of repulsive type. J. Math. Anal. Appl. 203, 254–269 (1996) 2. Wang, Z.: Periodic solutions of Liénard equation with a singularity and a deviating argument. Nonlinear Anal., Real World Appl. 16(1), 227–234 (2014) 3. Lu, S.: A new result on the existence of periodic solutions for Liénard equation with a singularity of repulsive type. J. Inequal. Appl. 2017, 37 (2017) 4. Cheng, Z., Ren, J.: Periodic and subharmonic solutions for Duffing equation with a singularity. Discrete Contin. Dyn. Syst. 32, 1557–1574 (2012) 5. Chu, J., Torres, P.J., Zhang, M.: Periodic solutions of second order non-autonomous singular dynamical systems. J. Differ. Equ. 239, 196–212 (2007) 6. Fonda, A., Manásevich, R., Zanolin, F.: Subharmonic solutions for some second-order differential equations with singularities. SIAM J. Math. Anal. 24, 1294–1311 (1993) 7. Hakl, R., Torres, P., Zamora, M.: Periodic solution of singular second order differential equations: upper and lower functions. Nonlinear Anal. 74, 7078–7093 (2011) 8. Li, X., Zhang, J.: Periodic solutions for second-order differential equations with a singular nonlinearity. Nonlinear Anal. 69, 3866–3876 (2008) 9. Lu, S., Wang, Y., Guo, Y.: Existence of periodic solutions of a Liénard equation with a singularity of repulsive type. Bound. Value Probl. 2017, 95 (2017) 10. Martins, R.: Existence of periodic solutions for second-order differential equations with singularities and the strong force condition. J. Math. Anal. Appl. 317, 1–13 (2006) 11. Torres, P.: Weak singularities may help periodic solutions to exist. J. Differ. Equ. 232, 277–284 (2007) 12. Wang, Z.H., Ma, T.T.: Existence and multiplicity of periodic solutions of semilinear resonant Duffing equations with singularities. Nonlinearity 25, 279–307 (2012) 13. Xin, Y., Cheng, Z.: Positive periodic solution of p-Laplacian Liénard type differential equation with singularity and deviating argument. Adv. Differ. Equ. 2016, 41 (2016) 14. Chen, L., Lu, S.: A new result on the existence of periodic solutions for Rayleigh equations with a singularity of repulsive type. Adv. Differ. Equ. 2017, 106 (2017)
Cheng et al. Boundary Value Problems (2018) 2018:20
Page 14 of 14
15. Lu, S., Zhang, T., Chen, L.: Periodic solutions for p-Laplacian Rayleigh equations with singularities. Bound. Value Probl. 2016, 96 (2016) 16. Wang, Z., Ma, T.: Periodic solutions of Rayleigh equations with singularities. Bound. Value Probl. 2015, 154 (2015) 17. Manásevich, R., Mawhin, J.: Periodic solutions for nonlinear systems with p-Laplacian-like operators. J. Differ. Equ. 145, 367–393 (1998)