Abstract
This paper is devoted to an investigation of a kind of p-Laplacian generalized Liénard equations with singularities of attractive and repulsive type, where the nonlinear term g has a singularity at the origin. The novelty of the present article is that we show that singularities of attractive and repulsive type enable the achievement of a new existence criterion of a positive periodic solution through an application of the Manásevich–Mawhin theorem on continuity of the topological degree, recent results in the literature are generalized and significantly improved. Finally, some examples are given to show applications of the theorems.
Similar content being viewed by others
1 Introduction
In this paper, we consider the following p-Laplacian generalized Liénard equation with singularity:
where \(p\geq 2\), \(\phi_{p}(x)=\vert x \vert ^{p-2}x\) for \(x\neq 0\) and \(\phi_{p}(0)=0\), \(f:\mathbb{R}\times \mathbb{R}\to \mathbb{R}\) is a continuous function and it is T-periodic about t, \(e\in C( \mathbb{R},\mathbb{R})\) is a T-periodic function, \(g(t,x)=g_{1}(t,x)+g _{0}(x)\), \(g_{1}:\mathbb{R}\times \mathbb{R}\to \mathbb{R}\) is a continuous function and it is T-periodic about t, \(g_{0}: (0,+ \infty )\to \mathbb{R}\) is a continuous function and has a singularity at the origin, i.e.,
It is said that (1.1) is singularity of attractive type (resp. repulsive type) if \(g_{0}(x)\rightarrow +\infty \) (resp. \(g_{0}(x) \rightarrow -\infty \)) as \(x\rightarrow 0^{+}\).
The Liénard equation [10],
appears as a simplified model in many domains in science and engineering. It was intensively studied during the first half of the 20th century as it can be used to model oscillating circuits or simple pendulums. For example, the Van der Pol oscillator
is a Liénard equation.
From then on, there has appeared some good amount of work on periodic solutions for Liénard equations and the references cited therein. Some classical tools have been used to study the Liénard equation in the literature, including topological degree methods [12, 17], Mawhin’s coincidence degree theorem [1, 3, 4, 11], Massera’s theorem [21], the Manásevich–Mawhin theorem on continuity of the topological degree [23, 26], Schauder’s fixed point theorem [20], generalized polar coordinates [22], and the Poincaré map [27].
At the same time, the study of periodic solution of the Liénard equation with singularity can be traced back to 1996. Zhang in [29] discussed the following singular Liénard equation:
where the nonlinear term g has a singularity of repulsive type. The author showed that Eq. (1.3) has at least one periodic solution by applications of coincidence degree theory. Zhang’s work has attracted the attention of many scholars in differential equations and they have contributed to the research of Liénard equation with singularity of repulsive type (see, e.g., [2, 5, 6, 8, 9, 13,14,15,16, 19, 24, 25, 28, 30]). For example, Jebelean and Mawhin [6] in 2004 investigated the following quasi-linear equation of p-Laplacian type:
where the nonlinear term g satisfied a slightly stronger singularity, i.e.,
The authors proven that the above problem has at least one positive periodic solution through a basic application of the Manásevich–Mawhin theorem on continuity of the topological degree. Afterwards, using the Manásevich–Mawhin theorem on continuity of the topological degree again, Lu et al. [15] in 2017 obtained the existence of a positive periodic solution of the following equation with singularity of repulsive type:
All the aforementioned results concern Liénard equations and Liénard equations with singularity of repulsive type. Naturally, a new question arises: how does a generalized Liénard equation work on singularities of attractive and repulsive type? Besides the practical interests, the topic has obvious intrinsic theoretical significance. To answer this question, in this paper, we try to fill this gap and establish the existence of positive periodic solutions of Eq. (1.1) with singularities of attractive and repulsive type. Applying the Manásevich–Mawhin theorem on continuity of the topological degree, we obtain the following conclusions.
Theorem 1.1
Suppose the following conditions hold:
- \((H_{1})\) :
-
There exist constants \(0< d_{1}< d_{2}\) such that \(g(t,x)-e(t)<0\) for \((t,x)\in [0,T]\times (0,d_{1})\) and \(g(t,x)-e(t)>0\) for \((t,x)\in [0,T]\times (d_{2},+\infty )\).
- \((H_{2})\) :
-
There exist positive constants m and n such that
$$ \bigl\vert f(t,x) \bigr\vert \leq m\vert x \vert ^{p-2}+n,\quad \textit{for all } (t,x)\in [0,T]\times \mathbb{R}. $$ - \((H_{3})\) :
-
There exist positive constants a and b such that
$$ g(t,x)\leq a x^{p-1}+b, \quad \textit{for all } (t,x)\in [0,T]\times (0,+\infty ). $$ - \((H_{4})\) :
-
(Repulsive condition) \(\lim_{x\to 0^{+}}\int^{1}_{x}g_{0}(s)\,ds=-\infty \).
- \((H_{5})\) :
-
There exists a constant \(\alpha >0\) such that \(\inf_{x\in \mathbb{R}}\vert f(t,x) \vert \geq \alpha >0\).
Then Eq. (1.1) has a positive T-periodic solution if the one of the following conditions is satisfied:
-
(1)
\(p=2\) and \(\frac{aT^{2}}{2}+(m+n)T<1\);
-
(2)
\(p>2\) and \(\frac{1}{2^{p-2}}(\frac{aT}{2}+m)T^{\frac{p}{q}}<1\), here \(q=\frac{p}{p-1}\).
Remark 1.2
It is worth mentioning that the friction term \(f(x)x'(t)\) in Eqs. (1.3), (1.4) and (1.5) satisfy \(\int^{T}_{0}f(x(t))x'(t)\,dt=0\), which is crucial to estimate a priori bounds of a positive periodic solution for these equations. However, in this paper, the friction term \(f(t,x)x'\) may not satisfy \(\int^{T}_{0}f(t,x(t))x'(t)\,dt=0\). For example, let
Obviously,
This implies that our methods to estimate a priori bounds of positive periodic solution for Eq. (1.1) are more complex than Eqs. (1.3), (1.4) and (1.5).
Remark 1.3
From [6, 15, 29], the condition imposed on the external force \(e(t)\) is \(\int^{T}_{0}e(t)\,dt=0\). But this is unnecessary. For example, let the external force \(e(t)=e^{\cos^{2} 4t}\). Obviously, \(\int^{T}_{0}e^{\cos^{2} 4t}\,dt\neq 0\). Therefore, our result is more general.
Remark 1.4
If Eq. (1.1) satisfies singularity of attractive type, i.e., \(\lim_{x\to 0^{+}}\int^{1}_{x}g_{0}(s)\,ds=+\infty \). Obviously, attractive condition and \((H_{1})\), \((H_{3})\) are in contradiction. Therefore, the above method is no long applicable to the proof of the existence of a positive periodic solution for Eq. (1.1) with singularity of attractive type. Next, we give other conditions to prove the existence of a positive periodic solution for Eq. (1.1) with singularity of attractive type.
Theorem 1.5
Assume that conditions \((H_{2})\) and \((H_{5})\) hold. Furthermore, suppose the following conditions hold:
- \((H_{6})\) :
-
There exist constants \(0< d_{3}< d_{4}\) such that \(g(t,x)-e(t)>0\) for \((t,x)\in [0,T]\times (0,d_{3})\) and \(g(t,x)-e(t)<0\) for \((t,x)\in [0,T]\times (d_{4},+\infty )\).
- \((H_{7})\) :
-
(Attractive condition) \(\lim_{x\to 0^{+}}\int^{1} _{x}g_{0}(s)\,ds=+\infty \).
- \((H_{8})\) :
-
There exist positive constants β and γ such that
$$ -g(t,x)\leq \beta x^{p-1}+\gamma ,\quad \textit{for all } (t,x)\in [0,T]\times (0,+\infty ). $$(1.6)
Then Eq. (1.1) has a positive T-periodic solution if one of the following conditions is satisfied:
-
(1)
\(p=2\) and \(\frac{\beta T^{2}}{2}+(m+n)T<1\);
-
(2)
\(p>2\) and \(\frac{1}{2^{p-2}}(\frac{\beta T}{2}+m)T^{\frac{p}{q}}<1\).
Besides, if the friction term \(f(t,x(t))=f(x(t))\), then Eq. (1.1) is rewritten as
Note, if \(p=2\) and the external force \(e(t)\equiv 0\), the quasi-linear operator \(x\mapsto (\phi_{p}(x'))'\) reduces to the linear operator \(x\mapsto x''\), then (1.7) is of the differential equation form (1.3). Applying the Manásevich–Mawhin theorem on continuity of the topological degree, we obtain the following conclusions.
Theorem 1.6
Assume that conditions \((H_{1})\), \((H_{3})\) and \((H_{4})\) hold. Then Eq. (1.7) has positive T-periodic solution if \(\frac{a}{2^{p-1}}T^{1+\frac{p}{q}}<1\).
Remark 1.7
If the external force \(\int^{T}_{0}e(t)\,dt=0\), the result in [24, 29] is included in Theorem 1.6.
Theorem 1.8
Assume that conditions \((H_{6})\), \((H_{7})\) and \((H_{8})\) hold. Then Eq. (1.7) has a positive T-periodic solution if \(\frac{a}{2^{p-1}}T^{1+\frac{p}{q}}<1\).
If the nonlinear term \(g(t,x(t))=g(x(t))\), then Eq. (1.1) is rewritten as
Applying the Manásevich–Mawhin theorem on continuity of the topological degree, we obtain the following conclusions.
Theorem 1.9
Assume that condition \((H_{5})\) holds. Furthermore, suppose the following conditions hold:
- \((H_{1}^{*})\) :
-
There exist constants \(0< d_{1}^{*}< d_{2}^{*}\) such that \(g(x)-e(t)<0\) for \(x\in (0,d_{1}^{*})\) and \(g(x)-e(t)>0\) for \(x\in (d_{2}^{*},+\infty )\).
- \((H_{4}^{*})\) :
-
(Repulsive condition) \(\lim_{x\to 0^{+}}\int^{1} _{x}g(s)\,ds=-\infty \).
Then Eq. (1.8) has a positive T-periodic solution.
Remark 1.10
If the friction term \(f(t,x)\equiv f(x)\) and the external force \(\int^{T}_{0}e(t)\,dt=0\), Theorem 4.1 in [25] is included in Theorem 1.9.
Theorem 1.11
Assume that condition \((H_{5})\) holds. Suppose the following conditions hold:
- \((H_{6}^{*})\) :
-
There exist constants \(0< d_{3}^{*}< d_{4}^{*}\) such that \(g(x)-e(t)>0\) for \(x\in (0,d_{3}^{*})\) and \(g(x)-e(t)<0\) for \(x\in (d_{4}^{*},+\infty )\).
- \((H_{7}^{*})\) :
-
(Attractive condition) \(\lim_{x\to 0^{+}}\int ^{1}_{x}g(s)\,ds=+\infty \).
Then Eq. (1.8) has a positive T-periodic solution.
Remark 1.12
We would like to emphasize that the nonlinear term g satisfies the conditions and the work on estimating a priori bounds of positive periodic solutions for Eq. (1.8) is different [25]. In Theorem 3.1 in [25], the nonlinear term g satisfies condition \((H_{3})\), i.e., the semi-linearity condition. In this paper, for the nonlinear term g it has not been required that condition \((H_{3})\) holds, i.e., g may be under a sub-linearity condition, a semi-linearity condition or a super-linearity condition. So, we extend and improve the results in [25].
2 Periodic solution of Eq. (1.1) with singularities of attractive and repulsive type
Firstly, we embed (1.1) into the following equation family with a parameter \(\lambda \in (0,1]\):
By applications of Theorem 3.1 in [18], we obtain the following result.
Lemma 2.1
Assume that there exist positive constants \(E_{1}\), \(E_{2}\), \(E_{3}\) and \(E_{1}< E_{2}\) such that the following conditions hold:
-
(1)
We have for each possible periodic solution x to Eq. (2.1) that \(E_{1}< x(t)< E_{2}\), for all \(t\in [0,T]\) and \(\Vert x' \Vert < E_{3}\), here \(\Vert x' \Vert :=\max_{t\in [0,T]}\vert x'(t) \vert \).
-
(2)
Each possible solution C to the equation
$$ g(t,C)-\frac{1}{T} \int^{T}_{0} e(t)\,dt=0 $$satisfies \(E_{1}< C< E_{2}\).
-
(3)
We have
$$ \biggl( g(t,E_{1})-\frac{1}{T} \int^{T}_{0} e(t)\,dt \biggr) \biggl( g(t,E_{2})- \frac{1}{T} \int^{T}_{0} e(t)\,dt \biggr) < 0. $$Then Eq. (1.1) has at least one T-periodic solution.
2.1 Proof of Theorem 1.1
Proof of Theorem 1.1
Firstly, we claim that there exists a point \(\xi \in [0,T]\) such that
In view of \(\int^{T}_{0}x'(t)\,dt=0\), we know that there exist two points \(t_{1},~t_{2}\in [0,T]\) such that
Hence, we have
Let \(t_{3}\), \(t_{4}\in [0,T]\) be, respectively, a global maximum and minimum point of \(\phi_{p}(x'(t))\); clearly, we deduce
From condition \((H_{5})\), we can see that the friction term f will not change sign for \((t,x)\in [0,T]\times (0,+\infty )\). Without loss of generality, suppose \(f(t,x)>0\) for \((t,x)\in [0,T]\times (0,+\infty )\) and upon substitution of Eq. (2.3) into Eq. (2.1), we obtain
Since \(\phi_{p}(x'(t_{3}))=\vert x'(t_{3}) \vert ^{p-2}x'(t_{3})\geq 0\), we know \(x'(t_{3})\geq 0\). So we get
From condition \((H_{1})\), we know that
Similarly, from Eq. (2.4), we see that
and again by condition \((H_{1})\),
\(x(t)\) is a continuous function in \((0,+\infty )\), from Eqs. (2.5) and (2.6), we get Eq. (2.2). Then we have
Multiplying both sides of Eq. (2.1) by \(x(t)\) and integrating over the interval \([0,T]\), it is clear that
Substituting \(\int^{T}_{0}(\phi_{p}(x'(t)))'x(t)\,dt=-\int^{T}_{0}\vert x'(t) \vert ^{p}\,dt\) into Eq. (2.8), we arrive at
From condition \((H_{2})\), Eq. (2.9) and the Hölder inequality, we can observe that
where \(\Vert e \Vert := ( \int^{T}_{0}\vert e(t) \vert ^{2}\,dt ) ^{\frac{1}{2}}\).
Integrating over the interval \([0,T]\) for Eq. (2.1), we conclude that
From Eq. (2.11), conditions \((H_{2})\) and \((H_{3})\), we have
where \(g^{+}(t,x):=\max \{0,g(t,x)\}\). Substituting Eqs. (2.12) and (2.7) into (2.10), we deduce
Next, we introduce classical elementary inequality (see (3.10) in [7]), there exists a \(\delta (p)>0\) which is dependent on p only,
Then we consider the following two cases:
Case 1. If \(\frac{2d_{2}}{\int^{T}_{0}\vert x_{1}'(t) \vert \,dt}>\delta (p)\), then it is obvious that
From Eq. (2.7), we deduce
Case 2. If \(\frac{2d_{2}}{\int^{T}_{0}\vert x_{1}'(t) \vert \,dt}\leq \delta (p)\), from Eq. (2.14), we obtain
and
Substituting Eqs. (2.17) and (2.18) into (2.13), we have
where \(N_{1}:=2d_{2}(n+bT+T^{\frac{1}{2}})\). Applying the Hölder inequality, it is easy to verify that
Case (I). If \(p>2\) and \(\frac{1}{2^{p-2}}(\frac{aT}{2}+m)T^{ \frac{p}{q}}<1\), it is easy to see that there exists a positive \(M_{1}'\) (independent of λ) such that
Substituting Eq. (2.20) into (2.7), and using the Hölder inequality, we see that
Take \(M:=\max \{M_{1}'',M_{1}'''\}\), we arrive at
In view of \(x(0)=x(T)\), there exists a point \(t_{0}\in [0,T]\) such that \(x'(t_{0})=0\), while \(\phi_{p}(0)=0\). Therefore, from Eqs. (2.12), (2.20), (2.21) and condition \((H_{2})\), we have
Besides, we claim that there exists a positive constant \(M_{2}>M_{2}'+1\) such that, for all \(t\in \mathbb{R}\)
In fact, if \(x'\) is not bounded, there exists a positive constant \(M_{2}''\) such that
Then we can get
which is a contradiction. So Eq. (2.23) holds.
Case (II). If \(p=2\) and \(\frac{aT^{2}}{2}+(m+n)T<1\), it is easy to see that there exists a positive \(M_{1}'\) (independent of λ) such that
Similarly, we get \(\Vert x \Vert \leq M_{1}\), \(\Vert x' \Vert \leq M_{2}\).
On the other hand, it follows from Eq. (2.1) and \(g(t,x)=g _{0}(x)+g_{1}(t,x)\) that
Let \(t\in [0,\xi ]\) be as in Eq. (2.7), for any \(\xi \leq t \leq T\). From Eqs. (2.7) and (2.23), we conclude that
Next, we will show that for any \(t\in [\xi ,T]\), there exists a constant \(D_{1}\in (0,d_{1})\), such that each positive periodic solution of (1.1) satisfies
In fact, multiplying both sides of Eq. (2.24) by \(x'(t)\) and integrating on \([\xi ,t]\), we get
Furthermore, we get
By Eqs. (2.1), (2.22) and (2.23), we arrive at
Moreover, from Eq. (2.25), we deduce
where \(\Vert g_{M_{1}} \Vert :=\max_{0< x\leq M_{1}}\vert g_{1}(t,x) \vert \in L ^{2}(0,T)\). Form these inequalities we can derive from equation (2.25) that
In view of the repulsive condition \((H_{4})\) and \(x(\xi )\geq d_{1}\), there exists \(D_{1}\in (0,d_{1})\) such that
Thus, there exists a point \(\eta \in [\xi ,T]\) such that \(x(\eta ) \leq D_{1}\), then
which contradicts Eq. (2.26). Therefore, we can obtain that
Similarly, we can consider \(t\in [0,\xi ]\).
Let \(E_{1}<\min \{D_{1},M_{3}\}\), \(E_{2}>\max \{d_{2}, M_{1}\}\), \(E_{3}>M_{2}\) are constants, from Eqs. (2.7), (2.21) and (2.23), we see that periodic solution x to Eq. (2.1) satisfies
Then condition (1) of Lemma 2.1 is satisfied. For a possible solution C in the equation
satisfies \(E_{1}< C<E_{2}\). Therefore, condition (2) of Lemma 2.1 holds. Finally, we consider that condition (3) of Lemma 2.1 is also satisfied. In fact, from \((H_{1})\), we have
and
So condition (3) is also satisfied. Applying Lemma 2.1, we see that Eq. (1.1) has at least one positive periodic solution. □
2.2 Proof of Theorem 1.5
Proof of Theorem 1.5
Let \(\underline{t}\), t̅, respectively, the global minimum and maximum points \(x(t)\) on \([0,T]\); then \(x'(\underline{t})=0\) and \(x'(\overline{t})=0\), and we claim that
In fact, if Eq. (2.27) does not hold, then \((\phi_{p}(x'( \overline{t})))'>0\) and there exists \(\varepsilon >0\) such that \((\phi_{p}(x'(t)))'>0\) for \(t\in (\overline{t}-\varepsilon , \overline{t}+\varepsilon )\). Therefore \(\phi_{p}(x'(t))\) is strictly increasing for \(t\in (\overline{t}-\varepsilon ,\overline{t}+\varepsilon )\). Then we know that \(x'(t)\) is strictly increasing for \(t\in ( \overline{t}-\varepsilon ,\overline{t}+\varepsilon )\). This contradicts the definition of t̅. Thus, equation (2.27) is true. From Eqs. (2.1) and (2.27), we get
Similarly, we deduce
By condition \((H_{6})\), Eqs. (2.28) and (2.29), we see that
In view of x being a continuous function, we see that there exists a point \(\xi^{*}\in (0,T)\) such that
From Eq. (2.7), we have
We follow the same strategy and notation as in the proof of Theorem 1.1. From Eqs. (2.11), (2.12), condition \((H_{2})\) and \((H_{8})\), we obtain
where \(g^{-}(t,x):=\min \{g(t,x),0\}\). The remaining part of the proof is the same as that of Theorem 1.1. □
3 Periodic solution of Eq. (1.7) with singularities of attractive and repulsive type
3.1 Proof of Theorem 1.6
Proof of Theorem 1.6
Consider the homotopic equation
We follow the same strategy and notation as in the proof of Theorem 1.1. From Eq. (2.7), we have
since \(\int^{T}_{0}f(x(t))x'(t)x(t)\,dt=0\). Substituting \(\int^{T}_{0}( \phi_{p}(x'(t)))'x(t)\,dt=-\int^{T}_{0}\vert x'(t) \vert ^{p}\,dt\) into equation (3.2), we get
Integrating over the interval \([0,T]\) for Eq. (3.1), we obtain
From Eq. (3.4) and condition \((H_{3})\), we see that
Substituting Eqs. (3.5) into (3.3), and from Eq. (2.19), we conclude that
Since \(\frac{2aT^{1+\frac{p}{q}}}{2^{p-2}}<1\), it is easy to see that there exists a positive \(M_{1}'\) (independent of λ) such that
The remaining part of the proof is the same as that of Theorem 1.1. □
3.2 Proof of Theorem 1.8
Proof of Theorem 1.8
We follow the same strategy and notation as in the proof of Theorem 1.5 and 1.6. We only consider \(\int^{T}_{0}\vert g(t,x(t)) \vert \,dt\).
From Eqs. (2.31), (3.4) and condition \((H_{8})\), we have
The remaining part of the proof is the same as that of Theorem 1.1. □
4 Periodic solution of Eq. (1.8) with singularities of attractive and repulsive type
4.1 Proof of Theorem 1.9
Proof of Theorem 1.9
Consider the homotopic equation
We follow the same strategy and notation as in the proof of Theorem 1.1. From Eq. (2.7), we deduce
Multiplying both sides of Eq. (4.1) by \(x'(t)\) and integration over the interval \([0,T]\), we get
Since \(\int^{T}_{0}(\phi_{p}(x'(t)))'x'(t)\,dt=0\) and \(\int^{T}_{0}g(x(t))x'(t)\,dt=0\), we obtain
From Eq. (4.3), we have
From condition \((H_{5})\), we see that
Substituting Eqs. (4.5) into (4.4), and using the Hölder inequality, we arrive at
It is easy to see that there exists a positive constant \(M_{1}'\) (independent of λ) such that
From Eq. (2.21), it is obvious that
Integrating both sides of Eq. (4.1) over \([0,T]\), it is clear that
From Eq. (4.6), we have
Case (I). If \(\overline{e}:=\frac{1}{T}\int^{T}_{0}e(t)\,dt\leq 0\), from (4.7), we get
Since \(g^{+}(x(t))-e(t)\geq 0\), from condition \((H_{1}^{*})\), we know \(x(t)\geq d_{2}^{*}\). Then we deduce
where \(\Vert g^{+}_{M_{1}} \Vert :=\max_{d_{2}^{*}\leq x\leq M_{1}}g ^{+}(x)\). From Eqs. (2.22) and (4.8), we have
where \(f_{M_{1}}:=\max_{0< x(t)\leq M_{1}}\vert f(t,x(t)) \vert \), \(\Vert f_{M_{1}} \Vert _{2}:= ( \int^{T}_{0}\vert f(t,x(t)) \vert ^{2}\,dt ) ^{\frac{1}{2}}\).
Case (II). If \(\overline{e}>0\), from (4.7), we have
Since \(g^{+}(x(t))\geq 0\), from condition \((H_{1}^{*})\), we know that there exists a positive constant \(d_{2}^{**}\) such that \(x(t)\geq d _{2}^{**}\). Therefore, we have
where \(\Vert g^{+}_{M} \Vert :=\max_{d_{2}^{**}\leq x\leq M_{1}}g^{+}(x)\). Similarly, we can get \(\vert \phi_{p}(x'(t)) \vert \leq M_{2}'\).
The remaining part of the proof is the same as that of Theorem 1.1. □
4.2 Proof of Theorem 1.11
Proof of Theorem 1.11
We follow the same strategy and notation as in the proof of Theorem 1.5 and 1.6. We can get
From Eq. (4.6), we deduce
Case (I). If \(\overline{e}:=\frac{1}{T}\int^{T}_{0}e(t)\,dt\geq 0\), from Eq. (4.10), we have
Since \(g^{-}(x(t))-e(t)\leq 0\), from condition \((H_{6}^{*})\), we know \(x(t)\geq d_{4}^{*}\). Then we get
where \(\Vert g^{-}_{M_{1}} \Vert :=\max_{d_{4}^{*}\leq x\leq M_{1}}(-g ^{-}(x))\). From Eqs. (2.22) and (4.11), we see that
Case (II). If \(\overline{e}<0\), from Eq. (4.10), we arrive at
Since \(g^{-}(x(t))\leq 0\), from condition \((H_{6}^{*})\), we know that there exists a positive constant \(d_{4}^{**}\) such that \(x(t)\geq d _{4}^{**}\). Therefore, we conclude that
where \(\Vert g^{-}_{M} \Vert :=\max_{d_{4}^{**}\leq x\leq M_{1}}(-g^{-}(x))\). Similarly, we can get \(\vert \phi_{p}(x'(t)) \vert \leq M_{2}'\). □
5 Examples
Example 5.1
Consider the following p-Laplacian generalized Liénard equation with singularity of attractive type:
where \(p=4\), κ is a constant and \(\kappa \geq 1\).
Comparing Eq. (5.1) to (1.1), it is easy to see that \(f(t,x)=\frac{1}{\pi }(\cos^{2} 4t+3)x^{2}+1\), \(g(t,x)=-\frac{1}{3\pi ^{2}}(\sin 8t+2)x^{3}+\frac{1}{x^{\kappa }}\), \(e(t)=e^{\cos^{2} 4t}\), \(T=\frac{\pi }{4}\). Obviously, there exist constants \(d_{3}=0.1\) and \(d_{4}=1\) such that \((H_{6})\) holds. \(1\leq \vert f(t,x) \vert \leq \frac{4}{ \pi }x^{2}+1\), \(\alpha =1\), \(m=\frac{4}{\pi }\), \(n=1\), then conditions \((H_{2})\) and \((H_{5})\) hold. \(-g(t,x)\leq \frac{1}{\pi^{2}}x^{3}+1\), \(\beta =\frac{1}{\pi^{2}}\), \(\gamma =1\). \(\lim_{x\to 0^{+}}\int ^{1}_{x}g_{0}(s)\,ds=\lim_{x\to 0^{+}}\int^{1}_{x}\frac{-1}{s ^{\kappa }}\,ds=+\infty \), thus, conditions \((H_{7})\) and \((H_{8})\) hold. Next, it is verified that
Therefore, by Theorem 1.5, we know that Eq. (5.1) has at least one positive \(\frac{\pi }{4}\)-periodic solution.
Example 5.2
Consider the following Liénard equation with singularity of repulsive type:
where \(p=2\), κ is a constant and \(\kappa \geq 1\).
Comparing Eq. (5.2) to (1.7), it is easy to see that \(f(x)=6x^{10}(t)\), \(g(t,x)=\frac{1}{6\pi }(\sin^{2} 2t+5)x-\frac{1}{x ^{\kappa }}\), \(e(t)=e^{\cos^{2} 2t}\), \(T=\frac{\pi }{2}\). Obviously, there exist constants \(d_{1}=0.1\) and \(d_{2}=1\) such that \((H_{1})\) holds. \(g(t,x)\leq \frac{1}{\pi }x+1\), \(a=\frac{1}{\pi }\), \(b=1\). \(\lim_{x\to 0^{+}}\int^{1}_{x}g_{0}(s)\,ds=\lim_{x\to 0^{+}} \int^{1}_{x}\frac{1}{s^{\kappa }}\,ds=-\infty \), thus, conditions \((H_{3})\) and \((H_{4})\) hold. Next, it is verified that
Therefore, by Theorem 1.6, we know that Eq. (5.2) has at least one positive \(\frac{\pi }{2}\)-periodic solution.
Example 5.3
Consider the following p-Laplacian generalized Liénard equation with singularity of repulsive type:
where \(p=10\), μ is a constant and \(\mu \geq 1\), n is a integer.
Comparing Eqs. (5.3) to (1.8), it is easy to see that \(f(t,x)=(\cos t+2)x^{6}+3\), \(g(x)=\sum_{i=1}^{n}x^{2i}(t)-\frac{1}{x ^{\mu }}\), \(e(t)=e^{\cos t}\), \(T=2\pi \). Obviously, there exist constants \(d_{1}^{*}=0.1\) and \(d_{2}^{*}=1\) such that \((H_{1}^{*})\) holds. \(\vert f(t,x) \vert \geq 3\), \(\alpha =3\), then condition \((H_{2})\) holds. Next, we prove that condition \((H_{4}^{*})\) holds. In fact,
Therefore, by Theorem 1.9, we know that Eq. (5.3) has at least one positive 2π-periodic solution.
6 Conclusions
In this article we introduce the existence of periodic solution for p-Laplacian generalized Liénard equation with singularity of attractive and repulsive type. Due to the friction term \(f(t,x)x'(t)\) may not satisfy \(\int^{T}_{0}f(t,x(t))x'(t)\,dt=0\). This implies that the work on estimating a priori bounds of periodic solutions for generalized Liénard Eq. (1.1) is more difficult than the corresponding work on Liénard equation in [6, 15, 24, 25, 29]. Secondly, attractive conditions \((H_{7})\) and \((H_{8})\) are contradicted with the repulsive conditions \((H_{3})\) and \((H_{4})\), the methods of [6, 15, 24, 25, 29] are no longer applicable to the proof of periodic solution for Eq. (1.1) with singularity of attractive singularity. In this paper, using the Manásevich–Mawhin theorem on continuity of the topological degree and conditions (\(H_{1}\))–(\(H_{5}\)), we prove the existence of a periodic solution for equation (1.1) with singularity of repulsive type; by conditions \((H_{2})\), (\(H_{5}\)) (\(H_{6}\))–(\(H_{8}\)), we obtain the existence of a periodic solution for Eq. (1.1) with singularity of attractive type. Moreover, we investigate the existence of a periodic solution for Eqs. (1.7) and (1.8) with singularities of attractive and repulsive type.
References
Cheng, Z., Ren, J.: Existence of periodic solution for fourth-order Liénard type p-Laplacian generalized neutral differential equation with variable parameter. J. Appl. Anal. Comput. 5, 704–720 (2015)
Cheng, Z., Ren, J.: Periodic solution for second order damped differential equations with attractive-repulsive singularities. Rocky Mt. J. Math. 48, 753–768 (2018)
Cheung, W., Ren, J.: Periodic solutions for p-Laplacian Liénard equation with a deviating argument. Nonlinear Anal. 59, 107–120 (2004)
Cheung, W., Ren, J.: On the existence of periodic solutions for p-Laplacian generalized Liénard equation. Nonlinear Anal. 60, 65–75 (2005)
Hakl, R., Zamora, M.: Periodic solution to second-order indefinite singular equations. J. Differ. Equ. 263, 451–469 (2017). https://doi.org/10.1016/j.jde.2017.02.044
Jebelean, P., Mawhin, J.: Periodic solutions of forced dissipative p-Liénard equations with singularities. Vietnam J. Math. 32, 97–103 (2004)
Kong, F., Lu, S.: Existence of positive periodic solution of fourth-order singular p-Laplacian neutral functional differential equations. Filomat 31, 5855–5868 (2017)
Kong, F., Lu, S., Liang, Z.: Periodic solution to second-order indefinite singular equations. Electron. J. Differ. Equ. 2015, 242 (2015)
Li, S., Liao, F., Xing, W.: Periodic solutions for Liénard differential equations with singularities. Electron. J. Differ. Equ. 2015, 151 (2015)
Liénard, A.: Etude des oscillations entretenues. Rev. Gén. l’Électr. 23, 901–912, 946–954 (1928)
Liu, B., Huang, L.: Existence and uniqueness of periodic solutions for a kind of Liénard equation with a deviating argument. Appl. Math. Lett. 21, 56–62 (2008)
Liu, W., Feng, Z.: Periodic solutions for p-Laplacian systems of Liénard-type. Commun. Pure Appl. Anal. 10, 1393–1400 (2011)
Lu, S., Guo, Y., Chen, L.: Periodic solutions for Liénard equation with an indefinite singularity. Nonlinear Anal., Real World Appl. 45, 542–556 (2019)
Lu, S., Jia, X.: Homoclinic solutions for a second-order singular differential equation. J. Fixed Point Theory Appl. 20, Article ID 101 (2018). https://doi.org/10.1007/s11784-018-0575-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)
Lu, S., Zhong, T., Chen, L.: Periodic solutions for p-Laplacian Rayleigh equations with singularities. Bound. Value Probl. 2016, 96 (2016)
Ma, T., Wang, Z.: Periodic solutions of Liénard equations with resonant isochronous potentials. Discrete Contin. Dyn. Syst. 33, 1563–1581 (2013)
Manásevich, R., Mawhin, J.: Periodic solutions for nonlinear systems with p-Laplacian-like operator. J. Differ. Equ. 145, 367–393 (1998). https://doi.org/10.1006/jdeq.1998.3425
Mawhin, J.: Periodic solutions for quasilinear complex-valued differential systems involving singular ϕ-Laplacians. Rend. Ist. Mat. Univ. Trieste 44, 75–87 (2012)
Torres, P.: Nondegeneracy of the periodically forced Liénard differential equation with p-Laplacian. Commun. Contemp. Math. 13, 283–292 (2011)
Villari, G.: An improvement of Massera’s theorem for the existence and uniqueness of a periodic solution for the Liénard equation. Rend. Ist. Mat. Univ. Trieste 44, 187–195 (2012)
Wang, Y., Cheng, S., Ge, W.: Periodic solutions of generalized Liénard equations with a p-Laplacian-like operator. Bull. Braz. Math. Soc. 39, 21–43 (2008)
Wang, Y., Dai, X., Xia, X.: On the existence of a unique periodic solution to a Liénard type p-Laplacian non-autonomous equation. Nonlinear Anal. TMA 71, 275–280 (2009)
Wang, Z.: Periodic solutions of Liénard equation with a singularity and a deviating argument. Nonlinear Anal., Real World Appl. 16, 227–234 (2014)
Xin, Y., Cheng, Z.: Study on a kind of p-Laplacian Liénard equation with attractive and repulsive singularities. J. Inequal. Appl. 2017, 180 (2017)
Xin, Y., Han, X., Cheng, Z.: Existence and uniqueness of positive periodic solution for p-Laplacian Liénard equation. Bound. Value Probl. 2014, 244 (2014)
Yang, L., Zeng, X.: The period function of Liénard systems. Proc. R. Soc. Edinb., Sect. A 143, 205–221 (2013)
Zamora, M.: On a periodically forced Liénard differential equation with singular p-Laplacian. Bull. Math. Soc. Sci. Math. Roum. 57, 327–336 (2014)
Zhang, M.: Periodic solutions of Liénard equations with singular forces of repulsive type. J. Math. Anal. Appl. 203, 254–269 (1996)
Zhang, Z., Yuan, R.: Existence of positive periodic solutions for the Liénard differential equations with weakly repulsive singularity. Acta Appl. Math. 111, 171–178 (2010)
Acknowledgements
YX and HML are grateful to anonymous referees for their constructive comments and suggestions, which have greatly improved this paper.
Availability of data and materials
Not applicable.
Funding
This work was supported by Education Department of Henan Province project (16B110006) and Henan Polytechnic University Outstanding Youth Fund (J2016-03).
Author information
Authors and Affiliations
Contributions
YX and HML contributed equally and significantly in writing this article. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
YX and HML contributed to each part of this study equally and declare that they have no competing interests.
Competing interests
YX and HML declare that they have no competing interests.
Consent for publication
YX and HML read and approved the final version of the manuscript.
Additional information
Abbreviation
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Xin, Y., Liu, H. Singularities of attractive and repulsive type for p-Laplacian generalized Liénard equation. Adv Differ Equ 2018, 471 (2018). https://doi.org/10.1186/s13662-018-1921-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1921-3