Abstract
In this paper, we study the existence of periodic solutions to the following prescribed mean curvature Liénard equation with a singularity and a deviating argument:
where g has a strong singularity at \(x=0\) and satisfies a small force condition at \(x=\infty\). By applying Mawhin’s continuation theorem, we prove that the given equation has at least one positive T-periodic solution. We will also give an example to illustrate the application of our main results.
Similar content being viewed by others
1 Introduction
In recent years, there have been many papers about the existence of periodic solutions for the second order differential equations with a singularity, especially for the Liénard equations. And the existence of periodic solutions of the Liénard equations with a deviating argument has also been studied widely (see [1–12]). For example, in [2], Zhang studied the following Liénard equation with a singularity:
where \(f: {R}\rightarrow{R}\), \(g: {R}\times(0,+\infty)\rightarrow {R}\) is an \(L^{2}\)-Carathéodory function, \(g(t,x)\) is a T-periodic function in the first argument and can be singular at \(x=0\), i.e., \(g(t,x)\) can be unbounded as \(x\rightarrow0^{+}\). Equation (1.1) is of repulsive type (resp. attractive type) if \(g(t,x)\rightarrow-\infty\) (resp. \(g(t,x)\rightarrow+\infty\)) for \(x\rightarrow0^{+}\).
Let Eq. (1.1) be of repulsive type and set
Assume that
exists uniformly for a.e. \(t\in[0,T]\), i.e., for any \(\varepsilon>0\), there is \(g_{\varepsilon}\in L^{2}(0,T)\) such that
for all \(x>0\) and a.e. \(t\in[0,T]\). Assume that \(\varphi\in C( {R,R})\) and \(\varphi(t+T)=\varphi(t)\), \(t\in{R}\).
Theorem 1.1
Assume that the following conditions are satisfied:
- (h1):
-
(Balance condition) There exist constants \(0< D_{1}<D_{2}\) such that if x is a positive continuous T-periodic function satisfying
$$\int_{0}^{T} g\bigl(t,x(t)\bigr)\, dt=0, $$then
$$D_{1}\leq x(\tau)\leq D_{2}\quad \textit{for some } \tau \in[0,T]. $$ - (h2):
-
(Degree condition) \(\overline{g}(x)<0\) for all \(x\in(0,D_{1})\), and \(\overline{g}(x)>0\) for all \(x>D_{2}\).
- (h3):
-
(Decomposition condition) \(g(t,x)=g_{0}(x)+g_{1}(t,x)\), where \(g_{0}\in C((0,+\infty), {R})\) and \(g_{1}:[0,T]\times[0,+\infty)\rightarrow {R}\) is an \(L^{2}\)-Carathéodory function, i.e., \(g_{1}\) is measurable with respect to the first variable, continuous with respect to the second one, and for any \(b>0\) there is \(h_{b}\in L^{2}((0,T);[0,+\infty))\) such that \(|g_{1}(t,x)|\leq h_{b}(t)\) for a.e. \(t\in [0,T]\) and all \(x\in[0,b]\).
- (h4):
-
(Strong force condition at \(x=0\)) \(\int_{0}^{1} g_{0}(x)\, dx=-\infty\).
- (h5):
-
(Small force condition at \(x=\infty\))
$$\bigl\Vert \varphi^{+}\bigr\Vert _{1}< \frac{\sqrt{3}}{T} \quad \bigl(\varphi^{+}=\max\bigl\{ \varphi ^{+},0\bigr\} \bigr). $$
Then Eq. (1.1) has at least one positive T-periodic solution.
Moreover, we notice that in [10] Wang further studied the Liénard equation with a singularity and a deviating argument of the form
where \(0\leq\sigma< T\) is a constant, \(f: {R}\rightarrow {R}\), \(g: {R}\times(0,+\infty)\rightarrow{R}\) is an \(L^{2}\)-Carathéodory function, \(g(t,x)\) is a T-periodic function in the first argument and can be singular at \(x=0\), i.e., \(g(t,x)\) can be unbounded as \(x\rightarrow0^{+}\).
Theorem 1.2
Assume that the following conditions are satisfied:
- (h1):
-
(Balance condition) There exist constants \(0< D_{1}<D_{2}\) such that if x is a positive continuous T-periodic function satisfying
$$\int_{0}^{T} g\bigl(t,x(t)\bigr)\, dt=0, $$then
$$D_{1}\leq x(\tau)\leq D_{2}\quad \textit{for some } \tau \in[0,T]. $$ - (h2):
-
(Degree condition) \(\overline{g}(x)<0\) for all \(x\in(0,D_{1})\), and \(\overline{g}(x)>0\) for all \(x>D_{2}\).
- (h3):
-
(Decomposition condition) \(g(t,x)=g_{0}(x)+g_{1}(t,x)\), where \(g_{0}\in C((0,+\infty), {R})\) and \(g_{1}:[0,T]\times[0,+\infty )\rightarrow {R}\) is an \(L^{2}\)-Carathéodory function, i.e., \(g_{1}\) is measurable with respect to the first variable, continuous with respect to the second one, and for any \(b>0\) there is \(h_{b}\in L^{2}((0,T);[0,+\infty))\) such that \(|g_{1}(t,x)|\leq h_{b}(t)\) for a.e. \(t\in[0,T]\) and all \(x\in[0,b]\).
- (h4):
-
(Strong force condition at \(x=0\)) \(\int_{0}^{1} g_{0}(x)\, dx=-\infty\).
- (\(\mathrm{h}'_{5}\)):
-
(Small force condition at \(x=\infty\))
$$\| \varphi\|_{\infty}< \biggl(\frac{\sqrt{\pi}}{T}\biggr)^{2}. $$
Then Eq. (1.2) has at least one positive T-periodic solution.
Nowadays, the prescribed mean curvature \((\frac{u'(t)}{\sqrt {1+(u'(t))^{2}}})'\) of a function \(u(t)\) frequently appears in different geometry and physics (see [13–16]). For example, in [13], Obersnel studied the existence, regularity and stability properties of periodic solutions of a capillarity equation in the presence of lower and upper solutions
This equation, together with its N-dimensional counterpart
plays an important role in various physical and geometrical questions. And the existence of the periodic solutions and homoclinic solutions for the prescribed curvature mean equation also attracts many authors’ attention. In [17], Feng discussed the periodic solution for the prescribed mean curvature Liénard equation of the form
estimated a priori bounds by eliminating the nonlinear term \((\frac{u'(t)}{\sqrt{1+u'(t)^{2}}})'\), and established sufficient conditions on the existence of periodic solutions by using Mawhin’s continuation theorem. Moreover, Liang and Lu [18] studied the homoclinic solution for the prescribed mean curvature Duffing-type equation of the form
where \(f\in C^{1}(R,R)\), \(p\in C(R,R)\), \(c>0\) is a given constant.
However, to the best of our knowledge, the studying of periodic solutions for the prescribed mean curvature equation with a singularity is relatively infrequent, and the method of finding a priori bounds is different from the other prescribed mean curvature equations which have no singularities. So, it is worthwhile and interesting to explore this topic.
In this paper, we consider the following prescribed mean curvature Liénard equation with a singularity and a deviating argument:
where \(0\leq\sigma< T\), \(g: (0,+\infty)\rightarrow {R}\) is a continuous function and can be singular at \(u=0\), i.e., \(g(u)\) can be unbounded as \(u\rightarrow0^{+}\). \(e(t)\) is T-periodic with \(\int_{0}^{T} e(t)\, dt=0\). By applying Mawhin’s continuation theorem, we prove that Eq. (1.5) has at least one positive T-periodic solution. The interest is that the conditions imposed on f, g and the approaches to estimate a priori bounds of periodic solutions are not only different from (1.1) and (1.2) but also different from (1.3) and (1.4). At last, a numerical example demonstrates the validity of the method. To sum up, our results are essentially new.
The structure of the rest of this paper is as follows. In Section 2, we state some necessary definitions and lemmas. In Section 3, we prove the main result. Finally, we give an example of an application in Section 4.
2 Preliminary
In order to use Mawhin’s continuation theorem, we first recall it.
Let X and Y be two Banach spaces, a linear operator \(L: D(L)\subset X \rightarrow Y\) is said to be a Fredholm operator of index zero provided that
-
(a)
ImL is a closed subset of Y,
-
(b)
\(\operatorname{dim} {\operatorname{Ker}L}=\operatorname{codim} {\operatorname{Im}L}<\infty\).
Let X and Y be two Banach spaces, \(\Omega\subset X\) be an open and bounded set, and \(L: D(L)\subset X \rightarrow Y\) be a Fredholm operator of index zero. A continuous operator \(N:\Omega \subset X\rightarrow Y\) is said to be L-compact in \(\overline{\Omega}\) provided that
-
(c)
\({K_{p}(I-Q)N}(\overline{\Omega})\) is a relative compact set of X,
-
(d)
\({QN}(\overline{\Omega})\) is a bounded set of Y,
where we define \(X_{1}={\operatorname{Ker}L}\), \(Y_{2}={\operatorname{Im}L}\), then we have the decompositions \(X=X_{1}\oplus X_{2}\), \(Y=Y_{1}\oplus Y_{2}\). Let \(P:X\rightarrow X_{1}\), \(Q:Y\rightarrow Y_{1}\) be continuous linear projectors (meaning \(P^{2}=P\) and \(Q^{2}=Q\)), and \({K_{p}}=L|^{-1}_{{\operatorname{Ker}P}\cap D(L)}\).
Lemma 2.1
[19]
Let X and Y be two real Banach spaces, Ω be an open and bounded set of X, and \(L: D(L)\subset X \rightarrow Y\) be a Fredholm operator of index zero. The operator \(N:\overline{\Omega}\subset X\rightarrow Y\) is said to be L-compact in \(\overline{\Omega}\). In addition, if the following conditions hold:
-
(1)
\({Lx\neq\lambda Nx}\), \(\forall(x,\lambda)\in\partial\Omega\times (0,1)\);
-
(2)
\({QN}x\neq0\), \(\forall x\in \operatorname{Ker}L\cap\partial\Omega\);
-
(3)
\(\operatorname{deg}\{{JQN},\Omega\cap{\operatorname{Ker}L},0\}\neq0\), where \({J: \operatorname{Im}Q}\rightarrow{\operatorname{Ker}L}\) is a homeomorphism,
then \({Lx=Nx}\) has at least one solution in \(D(L)\cap\overline{\Omega}\).
In order to use Lemma 2.1, let us consider the problem
Obviously, if \((u(t),v(t))^{\top}\) is a solution of (2.1), then \(u(t)\) is a solution of (1.1).
Let
where the normal \(\|x\|=\max\{\|u\|_{0},\|v\|_{0}\}\), and \(\|u\|_{0}=\max_{t\in[0,T]}|u|\), \(\|v\|_{0}=\max_{t\in[0,T]}|v|\). It is obvious that X and Y are Banach spaces.
Now we define the operator
where \(D(L)=\{x|x=(u(t),v(t))^{\top}\in C^{1}( {R}, {R}^{2}),x(t)=x(t+T)\}\).
Let \(X_{0}=\{x=(u(t),v(t))^{\top}\in C^{1}( {R}, {R}\times (-1,1)),x(t)=x(t+T)\}\). Define a nonlinear operator \(N:\overline{\Omega }\subset(X\cap X_{0})\subset X\rightarrow Y\) as follows:
where \(\overline{\Omega}\subset X_{0}\subset X\) and Ω is an open and bounded set. Then problem (2.1) can be written as \({Lx=Nx}\) in \(\overline{\Omega}\).
We know
then \(\forall t\in {R}\) we have \(u'(t)=0\), \(v'(t)=0\). Obviously, \(u\in {R}\), \(v\in{R} \), thus \({\operatorname{Ker}L}= {R}^{2}\), and it is also easy to prove that \({\operatorname{Im}L}=\{y\in Y, \int_{0}^{T}y(s)\, ds=0\}\). Therefore, L is a Fredholm operator of index zero.
Let
Let \({K_{p}=L|^{-1}_{\operatorname{Ker}L\cap D(L)}}\), then it is easy to see that
where
For all \(\overline{\Omega}\) such that \(\overline{\Omega}\subset(X\cap X_{0})\subset X\), we have \({K_{p}(I-Q)N}(\overline{\Omega})\) is a relative compact set of X, \({QN}(\overline{\Omega})\) is a bounded set of Y, so the operator N is L-compact in \(\overline {\Omega}\).
For the sake of convenience, we list the following assumptions which will be used by us in studying the existence of periodic solutions to Eq. (1.5) in Section 3.
- (H1):
-
There exist positive constants \(D_{1}\) and \(D_{2}\) with \(D_{1}< D_{2}\) such that
-
(1)
for each positive continuous T-periodic function \(x(t)\) satisfying \(\int_{0}^{T} g( x(t))\, dt=0\), there exists a positive point \(\tau\in [0,T]\) such that \(D_{1}\leq x(\tau)\leq D_{2}\);
-
(2)
\(g(x)<0\) for all \(x\in(0,D_{1})\) and \(g(x)>0\) for all \(x>D_{2}\).
-
(1)
- (H2):
-
\(g(x(t))=g_{1}(x(t))+g_{0}(x(t))\), where \(g_{1}: (0,+\infty )\rightarrow {R}\) is a continuous function and
-
(1)
there exist positive constants \(m_{0}\) and \(m_{1}\) such that \(g(x)\leq m_{0}x+m_{1}\) for all x in \((0,+\infty)\);
-
(2)
\(\int_{0}^{1} g_{0}(x)\, dx=-\infty\).
-
(1)
- (H3):
-
There exist positive constants γ, \(c_{0}\), \(c_{1} \) such that \(\gamma< f(x)\leq c_{0}|x|+c_{1}\) for all x in \((0,+\infty)\).
Throughout this paper, define \(A:=( \int_{0}^{T}|e(t)|^{2}\, dt)^{\frac {1}{2}}+\sup_{t\in[0,T]}|e(t)|<+\infty\).
3 Existence of periodic solutions
Theorem 3.1
Suppose that conditions (H1)-(H3) hold and \(\sigma=kT\), where k is an integer. Also,
Then, there exist positive constants \(A_{1}\), \(A_{2}\) and ρ, which are independent of λ such that
where \(u(t)\) is any solution to the equation \(Lz = \lambda Nz\), \(\lambda\in (0, 1)\).
Proof
Let \(\Omega_{1}=\{z\in\overline{\Omega},{Lz=\lambda Nz},\lambda\in(0,1)\}\). If \(z\in\Omega_{1}\), we have
Integrating the second equation of (3.1) from 0 to T, we have
Combining with (H1)(1), we can see that there exist positive constants \(D_{1}\), \(D_{2}\) and \(\tau\in[0,T]\) such that
Therefore, we have
Multiplying the second equation of (3.1) by \(u'(t)\) and integrating on the interval \([0,T]\), we have
It follows from (H3) that
From the inequality above, we get
Substituting (3.6) into (3.4), we obtain
Furthermore, from the second equation of (3.1), we can get
It follows from (H3) that
Write
Then we can get from (3.2) and (H2)(1) that
Substituting (3.9) into (3.8) and combining with (3.6) and (3.7), we obtain
Integrating the first equation of (3.1) on the interval \([0,T]\), we have
Then we can see that there exists \(\eta\in[0,T]\) such that \(v(\eta )=0\). It implies that
Combining with (3.10) gives
Since \(\frac{A^{2}c_{0}T}{\gamma^{2}}+\frac{A\sqrt {T}(c_{0}D_{2}+c_{1}+2m_{0}T)}{\gamma}+T(2m_{0}D_{2}+2m_{1}+A)<1\), then we have
Then from (3.1) we can also have
On the other hand, from the second equation of (3.1) and by (H2), we can see that
Multiplying both sides of Eq. (3.14) by \(u'(t)\), we have
Let \(\tau\in[0,T]\) be as in (3.3). For any \(t\in[\tau,T]\), integrating Eq. (3.15) on the interval \([\tau,T]\), we have
Then from the inequality above, we get
Set \(F_{M_{1}}=\max_{|u|\leq M_{1}}|f(u)|\) and \(G_{M_{1}}=\max_{|u|\leq M_{1}}|g_{1}(u)|\), then we have
and
Substituting (3.17) and (3.18) into (3.16) and combining with (3.6) and (3.13), we obtain
According to (H2)(2), we can see that there exists a constant \(M_{2}>0\) such that, for \(t\in[\tau,T]\),
For the case \(t\in[0,\tau]\), we can handle it similarly.
Let us define
and
then by (3.3), (3.7) and (3.19) we can obtain
Therefore, from (3.12) and (3.20), we can see that the proof of Theorem 3.1 is now complete. □
Theorem 3.2
Assume that all the conditions in Theorem 3.1 hold, then Eq. (1.5) has at least one positive T-periodic solution.
Proof
Set
Then the condition (1) of Lemma 2.1 is satisfied.
Suppose that there exists \(x\in\partial\Omega\cap{\operatorname{Ker}L}\) such that \({QN}x=\frac{1}{T}\int_{0}^{T}{N}x(s)\, ds=(0,0)^{\top}\), i.e.,
Since \({\operatorname{Ker}L}= {R}^{2}\), and \(u\in {R}\), \(v\in {R}\) are constant, combining with the first equation of (3.21), we obtain
From the second equation of (3.21), we have
From (H1)(1) we can see that
It is in contradiction to \(x\in\partial\Omega\). So \(\forall x\in{\operatorname{Ker}L}\cap\partial\Omega\), we have \({QN}x\neq0\). Then the condition (2) of Lemma 2.1 is satisfied.
In the following, we prove that the condition (3) of Lemma 2.1 is also satisfied.
Let
then we have
Define \({J:\operatorname{Im}Q\rightarrow \operatorname{Ker}L}\) is a linear isomorphism,
and define
Then
Now we claim that \(H(\mu,x)\) is a homotopic mapping. Assume, by way of contradiction, that there exist \(\mu_{0}\in[0,1]\) and \(x_{0}= \bigl({\scriptsize\begin{matrix}u_{0} \cr v_{0}\end{matrix}} \bigr) \in\partial\Omega\) such that \(H(\mu_{0},x_{0})=0\).
Substituting \(\mu_{0}\) and \(x_{0}\) into (3.22), we have
Since \(H(\mu_{0},x_{0})=0\), then we can see that
Combining with \(\mu_{0}\in[0,1]\), we obtain \(v_{0}=0\). Thus \(u_{0}=A_{1}\mbox{ or } A_{2}\).
If \(u_{0}=A_{1}\), it follows from (H1)(2) that \(g (u_{0})<0\), then substituting \(v_{0}=0\) into (3.23), we have
If \(u_{0}=A_{2}\), it follows from (H1)(2) that \(g (u_{0})>0\), then substituting \(v_{0}=0\) into (3.23), we have
Combining with (3.24) and (3.25), we can see that \(H(\mu_{0},x_{0})\neq0\), which contradicts the assumption. Therefore \(H(\mu,x)\) is a homotopic mapping and \(x^{\top}H(\mu,x)\neq0\), \(\forall(x,\mu)\in(\partial\Omega \cap{ \operatorname{Ker}L})\times[0,1]\). Then
Thus, the condition (3) of Lemma 2.1 is also satisfied.
Therefore, by applying Lemma 2.1, we can conclude that Eq. (1.5) has at least one positive T-periodic solution. □
4 Example
As an application, we consider the following example:
Corresponding to Theorem 3.1 and (1.5), we have
Then we can have and choose
and
Then we can see that (H1)(1) and (H1)(2) hold. Meanwhile,
Hence, by applying Theorem 3.2, we can see that Eq. (4.1) has at least one positive T-periodic solution.
References
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)
Zhang, M: Periodic solutions of Liénard equations with singular forces of repulsive type. J. Math. Anal. Appl. 203, 254-269 (1996)
Torres, PJ: Existence of one-signed periodic solutions of some second order differential equations via a Krasnoselskii fixed point theorem. J. Differ. Equ. 190, 643-662 (2003)
Jiang, D, Chu, J, Zhang, M: Multiplicity of positive periodic solutions to superlinear repulsive singular equations. J. Differ. Equ. 211, 282-302 (2005)
Lazer, AC, Solimini, S: On periodic solutions of nonlinear differential equations with singularities. Proc. Am. Math. Soc. 88, 109-114 (1987)
Li, X, Zhang, Z: Periodic solutions for second order differential equations with a singular nonlinearity. Nonlinear Anal. TMA 69, 3866-3876 (2008)
Hakl, R, Torres, PJ, Zamora, M: Periodic solutions to singular second order differential equations: the repulsive case. Nonlinear Anal. TMA 74, 7078-7093 (2011)
Wang, Z: Periodic solutions of the second order differential equations with singularities. Nonlinear Anal. TMA 58, 319-331 (2004)
Wang, Z, Ma, T: Existence and multiplicity of periodic solutions of semilinear resonant Duffing equations with singularities. Nonlinearity 25, 279-307 (2012)
Wang, Z: Periodic solutions of Liénard equation with a singularity and a deviating argument. Nonlinear Anal., Real World Appl. 16, 227-234 (2014)
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)
Lu, S, Ge, W: Periodic solutions for a kind of Liénard equation with a deviating argument. J. Math. Anal. Appl. 289, 231-243 (2004)
Obersnel, F: Existence, regularity and stability properties of periodic solutions of a capillarity equation in the presence of lower and upper solutions. Nonlinear Anal., Real World Appl. 13, 2830-2852 (2012)
Bonheure, D, Habets, P, Obersnel, F, Omari, P: Classical and non-classical solutions of a prescribed curvature equation. J. Differ. Equ. 243, 208-237 (2007)
Pan, H: One-dimensional prescribed mean curvature equation with exponential nonlinearity. Nonlinear Anal. 70, 999-1010 (2009)
Benevieria, P, do Ó, JM, de Medeiros, ES: Periodic solutions for nonlinear systems with mean curvature-like operators. Nonlinear Anal. 65, 1462-1475 (2006)
Feng, M: Periodic solutions for prescribed mean curvature Liénard equation with a deviating argument. Nonlinear Anal., Real World Appl. 13, 1216-1223 (2012)
Liang, Z, Lu, S: Homoclinic solutions for a kind of prescribed mean curvature Duffing-type equation. Adv. Differ. Equ. 2013, 279 (2013)
Gaines, RE, Mawhin, JL: Coincidence Degree and Nonlinear Differential Equations. Springer, Berlin (1977)
Acknowledgements
The work was supported by the National Natural Science Foundation of China (Grant No. 11271197) and the Ministry of Education Key Project of Natural Science (207047).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors have equally contributed to obtaining new results in this article and also read and approved the final manuscript.
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
Lu, S., Kong, F. Periodic solutions for a kind of prescribed mean curvature Liénard equation with a singularity and a deviating argument. Adv Differ Equ 2015, 151 (2015). https://doi.org/10.1186/s13662-015-0474-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0474-y