Skip to content

Advertisement

Advances in Difference Equations

Advances in Difference Equations Cover Image
  • Research
  • Open Access

Periodic solutions for a kind of prescribed mean curvature Liénard equation with a singularity and a deviating argument

Advances in Difference Equations20152015:151

https://doi.org/10.1186/s13662-015-0474-y

©  Kong and Lu; licensee Springer. 2015

Received: 25 February 2015

Accepted: 14 April 2015

Published: 9 May 2015

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:
$$\biggl(\frac{u'(t)}{\sqrt{1+(u'(t))^{2}}}\biggr)'+f\bigl(u(t)\bigr)u'(t)+g \bigl( u(t-\sigma)\bigr)=e(t), $$
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.

Keywords

  • periodic solution
  • continuation theorem
  • prescribed mean curvature Liénard equation
  • deviating argument
  • singularity

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:
$$ x''(t)+f\bigl(x(t)\bigr)x'(t)+g \bigl(t,x(t)\bigr)=0, $$
(1.1)
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
$$\overline{g}(x)=\frac{1}{T} \int_{0}^{T} g(t,x)\, dt,\quad x>0. $$
Assume that
$$\varphi(t)=\lim_{x\rightarrow+\infty}\sup\frac{g(t,x)}{x} $$
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
$$g(t,x)\leq\bigl(\varphi(t)+\varepsilon\bigr)x+g_{\varepsilon}$$
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
$$ x''(t)+f\bigl(x(t)\bigr)x'(t)+g \bigl(t,x(t-\sigma)\bigr)=0, $$
(1.2)
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
$$-\biggl(\frac{u'}{\sqrt{1+u^{\prime2}}}\biggr)=f(t,u). $$
This equation, together with its N-dimensional counterpart
$$-\operatorname{div}\biggl(\frac{\nabla u}{\sqrt{1+|\nabla u|^{2}}}\biggr)=f(x,u), $$
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
$$ \biggl(\frac{u'(t)}{\sqrt{1+(u'(t))^{2}}}\biggr)'+f\bigl(u(t)\bigr)u'(t)+g \bigl(t,u\bigl(t-\tau (t)\bigr)\bigr)=e(t), $$
(1.3)
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
$$ \biggl(\frac{u'(t)}{\sqrt{1+(u'(t))^{2}}}\biggr)'+cu'(t)+f\bigl(u(t) \bigr)=p(t), $$
(1.4)
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:
$$ \biggl(\frac{u'(t)}{\sqrt{1+(u'(t))^{2}}}\biggr)'+f\bigl(u(t)\bigr) u'(t)+g\bigl(u(t-\sigma )\bigr)=e(t), $$
(1.5)
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
  1. (a)

    ImL is a closed subset of Y,

     
  2. (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
  1. (c)

    \({K_{p}(I-Q)N}(\overline{\Omega})\) is a relative compact set of X,

     
  2. (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. (1)

    \({Lx\neq\lambda Nx}\), \(\forall(x,\lambda)\in\partial\Omega\times (0,1)\);

     
  2. (2)

    \({QN}x\neq0\), \(\forall x\in \operatorname{Ker}L\cap\partial\Omega\);

     
  3. (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
$$ \left \{ \begin{array}{l} u'(t)=\phi(v(t))=\frac{v(t)}{\sqrt{1-v^{2}(t)}}, \\ v'(t)=-f(u(t))\phi(v(t))-g(u(t-\sigma))+e(t). \end{array} \right . $$
(2.1)
Obviously, if \((u(t),v(t))^{\top}\) is a solution of (2.1), then \(u(t)\) is a solution of (1.1).
Let
$$X=Y=\bigl\{ x:x(t)=\bigl(u(t),v(t)\bigr)^{\top}\in C^{1}\bigl( {R}, {R}^{2}\bigr),x(t)=x(t+T)\bigr\} , $$
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
$$L:D(L)\subset X\rightarrow Y,\qquad Lx=x'=\bigl(u'(t),v'(t) \bigr)^{\top}, $$
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:
$$Nx=\biggl(\frac{v(t)}{\sqrt{1-v^{2}(t)}},-f\bigl(u(t)\bigr)\frac{v(t)}{\sqrt {1-v^{2}(t)}}-g\bigl( u(t- \sigma)\bigr)+e(t)\biggr)^{\top}, $$
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
$${\operatorname{Ker}L}=\bigl\{ x|x\in X,x'=\bigl(u'(t),v'(t) \bigr)^{\top}=(0,0)^{\top}\bigr\} , $$
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
$$\begin{aligned}& P:X\rightarrow{ \operatorname{Ker}L},\qquad Px=\frac{1}{T} \int _{0}^{T}x(s)\, ds, \\& Q:Y\rightarrow{\operatorname{Im}Q},\qquad Qy=\frac{1}{T} \int _{0}^{T}y(s)\, ds. \end{aligned}$$
Let \({K_{p}=L|^{-1}_{\operatorname{Ker}L\cap D(L)}}\), then it is easy to see that
$$(K_{p}y) (t)= \int_{0}^{T}G_{k}(t,s)y(s) \, ds, $$
where
$$G_{k}(t)=\left \{ \begin{array}{l@{\quad}l} \frac{s-T}{T},&0\leq t\leq s ; \\ \frac{s}{T}, &s\leq t\leq T. \end{array} \right . $$
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. (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. (2)

    \(g(x)<0\) for all \(x\in(0,D_{1})\) and \(g(x)>0\) for all \(x>D_{2}\).

     
(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. (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. (2)

    \(\int_{0}^{1} g_{0}(x)\, dx=-\infty\).

     
(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,
$$\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, there exist positive constants \(A_{1}\), \(A_{2}\) and ρ, which are independent of λ such that
$$A_{1}< u(t)< A_{2},\qquad \| v\|_{0}<\rho<1, $$
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
$$ \left \{ \begin{array}{l} u'(t)=\lambda\phi(v(t))=\lambda\frac{v(t)}{\sqrt {1-v^{2}}(t)}, \\ v'(t)=-\lambda f(u(t))\phi(v(t))-\lambda g(u(t-\sigma))+\lambda e(t). \end{array} \right . $$
(3.1)
Integrating the second equation of (3.1) from 0 to T, we have
$$ \int_{0}^{T}g\bigl( u(t-\sigma)\bigr)\, dt=0. $$
(3.2)
Combining with (H1)(1), we can see that there exist positive constants \(D_{1}\), \(D_{2}\) and \(\tau\in[0,T]\) such that
$$ D_{1}\leq u(\tau)\leq D_{2}. $$
(3.3)
Therefore, we have
$$\begin{aligned} \| u\|_{0} =&\max_{t\in[0,T]}\bigl\vert u(t)\bigr\vert \\ \leq&\max_{t\in[0,T]}\biggl\vert u(\tau)+ \int _{\tau}^{t}u'(s)\, ds\biggr\vert \\ \leq& D_{2}+ \int_{0}^{T}\bigl\vert u'(s)\bigr\vert \, ds \\ \leq& D_{2}+\sqrt{T}\bigl\Vert u'\bigr\Vert _{2}. \end{aligned}$$
(3.4)
Multiplying the second equation of (3.1) by \(u'(t)\) and integrating on the interval \([0,T]\), we have
$$\begin{aligned} 0 =& \int_{0}^{T}v'(t)u'(t) \, dt \\ =& -\lambda \int_{0}^{T}f\bigl(u(t)\bigr) \bigl(u'(t)\bigr)^{2}\, dt-\lambda \int _{0}^{T}g\bigl( u(t-\sigma )\bigr)u'(t) \, dt+\lambda\int_{0}^{T} e(t)u'(t)\, dt \\ =&-\lambda \int_{0}^{T}f\bigl(u(t)\bigr) \bigl(u'(t)\bigr)^{2}\, dt-\lambda \int _{0}^{T}g\bigl( u(t-\sigma)\bigr)\, du(t-\sigma)+ \lambda\int_{0}^{T} e(t)u'(t)\, dt \\ =&-\lambda \int_{0}^{T}f\bigl(u(t)\bigr) \bigl(u'(t)\bigr)^{2}\, dt +\lambda\int _{0}^{T} e(t)u'(t)\, dt. \end{aligned}$$
It follows from (H3) that
$$ \gamma\int_{0}^{T}\bigl\vert u'(t) \bigr\vert ^{2}\, dt\leq \int_{0}^{T} \bigl\vert e(t)\bigr\vert \bigl\vert u'(t)\bigr\vert \, dt. $$
(3.5)
From the inequality above, we get
$$ \bigl\Vert u'\bigr\Vert _{2}\leq\frac{A}{\gamma}. $$
(3.6)
Substituting (3.6) into (3.4), we obtain
$$ \| u\|_{0}\leq D_{2}+ \frac{A\sqrt{T} }{\gamma}:=M_{1}. $$
(3.7)
Furthermore, from the second equation of (3.1), we can get
$$\begin{aligned} \int_{0}^{T}\bigl\vert v'(t)\bigr\vert \, dt \leq&\lambda\int_{0}^{T}\bigl\vert f \bigl(u(t)\bigr)\bigr\vert \bigl\vert u'(t)\bigr\vert \, dt \\ &{}+\lambda\int_{0}^{T}\bigl\vert g\bigl(u(t-\sigma) \bigr)\bigr\vert \, dt +\lambda\int_{0}^{T}\bigl\vert e(t)\bigr\vert \, dt. \end{aligned}$$
It follows from (H3) that
$$\begin{aligned} \int_{0}^{T}\bigl\vert v'(t)\bigr\vert \, dt \leq& c_{0}\int _{0}^{T}\bigl\vert u(t)\bigr\vert \bigl\vert u'(t)\bigr\vert \, dt+c_{1}\int_{0}^{T} \bigl\vert u'(t)\bigr\vert \, dt \\ &{}+ \int_{0}^{T} \bigl\vert g\bigl(u(t-\sigma)\bigr)\bigr\vert \, dt + \int_{0}^{T}\bigl\vert e(t)\bigr\vert \, dt \\ \leq& c_{0}\| u\|_{0}\sqrt{T}\bigl\Vert u' \bigr\Vert _{2}+c_{1}\sqrt{T}\bigl\Vert u' \bigr\Vert _{2} \\ &{}+\int_{0}^{T}\bigl\vert g\bigl(u(t-\sigma)\bigr)\bigr\vert \, dt + AT. \end{aligned}$$
(3.8)
Write
$$I_{+}=\bigl\{ t\in[0,T]:g\bigl( u(t-\sigma)\bigr)\geq0\bigr\} ; \qquad I_{-}=\bigl\{ t\in[0,T]:g\bigl( u(t-\sigma)\bigr)\leq0\bigr\} . $$
Then we can get from (3.2) and (H2)(1) that
$$\begin{aligned} \int_{0}^{T}\bigl\vert g \bigl(u(t-\sigma)\bigr)\bigr\vert \, dt =&\int_{I_{+}}g \bigl(u(t-\sigma)\bigr)\, dt-\int_{I_{-}}g\bigl(u(t-\sigma)\bigr) \, dt \\ =&2\int_{I_{+}}g\bigl(u(t-\sigma)\bigr)\, dt \\ \leq&2m_{0}\int_{0}^{T} u(t-\sigma)\, dt+2 \int_{0}^{T}m_{1}\, dt \\ \leq&2m_{0}T \| u\|_{0}+2Tm_{1}. \end{aligned}$$
(3.9)
Substituting (3.9) into (3.8) and combining with (3.6) and (3.7), we obtain
$$\begin{aligned} \int_{0}^{T}\bigl\vert v'(t)\bigr\vert \, dt \leq& c_{0}\| u\|_{0} \sqrt{T}\bigl\Vert u'\bigr\Vert _{2}+c_{1} \sqrt{T}\bigl\Vert u'\bigr\Vert _{2} \\ &{}+ 2m_{0}T \| u\|_{0} +2Tm_{1} + AT \\ \leq& \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). \end{aligned}$$
(3.10)
Integrating the first equation of (3.1) on the interval \([0,T]\), we have
$$\int_{0}^{T}\frac{v(t)}{\sqrt{1-v^{2}}(t)}\, dt=0. $$
Then we can see that there exists \(\eta\in[0,T]\) such that \(v(\eta )=0\). It implies that
$$\bigl\vert v(t)\bigr\vert =\biggl\vert \int_{\eta}^{t} v'(s)\, ds+v(\eta)\biggr\vert \leq\int_{0}^{T} \bigl\vert v'(s)\bigr\vert \, ds. $$
Combining with (3.10) gives
$$\begin{aligned} \bigl\vert v(t)\bigr\vert \leq&\int_{0}^{T} \bigl\vert v'(s)\bigr\vert \, ds \\ \leq&\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) \\ :=&\rho. \end{aligned}$$
(3.11)
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
$$ \| v\|_{0}=\max_{t\in[0,T]}\bigl\vert v(t)\bigr\vert \leq\rho< 1. $$
(3.12)
Then from (3.1) we can also have
$$ \bigl\Vert u'\bigr\Vert _{0}\leq\max _{t\in[0,T]}\frac{|v(t)|}{\sqrt{1-v^{2}}(t)}\leq\frac {\rho}{1-\rho^{2}}:=B. $$
(3.13)
On the other hand, from the second equation of (3.1) and by (H2), we can see that
$$ v'(t+\sigma)=-\lambda f\bigl(u(t+\sigma)\bigr)u'(t+ \sigma)-\lambda\bigl[g_{1}\bigl( u(t)\bigr)+g_{0}\bigl(u(t) \bigr)\bigr]+\lambda e(t+\sigma). $$
(3.14)
Multiplying both sides of Eq. (3.14) by \(u'(t)\), we have
$$\begin{aligned} v'(t+\sigma)u'(t) =&-\lambda f\bigl(u(t+ \sigma)\bigr)u'(t+\sigma)u'(t)-\lambda \bigl[g_{1}\bigl( u(t)\bigr)+g_{0}\bigl(u(t)\bigr)\bigr] u'(t) \\ &{} +\lambda e(t+\sigma)u'(t). \end{aligned}$$
(3.15)
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
$$\begin{aligned} \lambda\int_{u(\tau)}^{u(t)}g_{0}(u)\, du =& \lambda\int_{\tau }^{t}g_{0}\bigl(u(t) \bigr)u'(t)\, dt \\ =&- \int_{\tau}^{t}v'(t+ \sigma)u'(t)\, dt -\lambda \int_{\tau}^{t}f \bigl(u(t+\sigma)\bigr)u'(t+\sigma)u'(t)\, dt \\ &{} -\lambda\int_{\tau}^{t}g_{1} \bigl(u(t)\bigr)u'(t)\, dt+\lambda\int_{\tau}^{t} e(t +\sigma)u'(t)\, dt. \end{aligned}$$
Then from the inequality above, we get
$$\begin{aligned} \biggl\vert \int_{u(\tau)}^{u(t)}g_{0}(u) \, du\biggr\vert =&\biggl\vert \int_{\tau}^{t}g_{0} \bigl(u(t)\bigr)u'(t)\, dt\biggr\vert \\ \leq& \int_{0}^{T}\bigl\vert v'(t+\sigma)\bigr\vert \bigl\vert u'(t)\bigr\vert \, dt + \int_{0}^{T}\bigl\vert f\bigl(u(t+\sigma )\bigr)\bigr\vert \bigl\vert u'(t+\sigma)\bigr\vert \bigl\vert u'(t)\bigr\vert \, dt \\ &{} + \int_{0}^{T}\bigl\vert g_{1} \bigl(u(t)\bigr)\bigr\vert \bigl\vert u'(t)\bigr\vert \, dt+ \int_{0}^{T} \bigl\vert e(t +\sigma)\bigr\vert \bigl\vert u'(t)\bigr\vert \, dt. \end{aligned}$$
(3.16)
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
$$\begin{aligned}& \int_{0}^{T}\bigl\vert f \bigl(u(t+\sigma)\bigr)\bigr\vert \bigl\vert u'(t+\sigma)\bigr\vert \bigl\vert u'(t)\bigr\vert \, dt \\& \quad \leq F_{M_{1}}\biggl(\int_{0}^{T} \bigl\vert u'(t+\sigma)\bigr\vert ^{2}\, dt \biggr)^{\frac{1}{2}}\biggl(\int_{0}^{T} \bigl\vert u'(t )\bigr\vert ^{2}\, dt\biggr)^{\frac{1}{2}} \\& \quad = F_{M_{1}}\bigl\Vert u'\bigr\Vert ^{2}_{2} \end{aligned}$$
(3.17)
and
$$ \int_{0}^{T}\bigl\vert g_{1} \bigl(u(t)\bigr)\bigr\vert \bigl\vert u'(t)\bigr\vert \, dt\leq G_{M_{1}}\bigl\Vert u'\bigr\Vert _{0}T. $$
(3.18)
Substituting (3.17) and (3.18) into (3.16) and combining with (3.6) and (3.13), we obtain
$$\begin{aligned} \biggl\vert \int_{u(\tau)}^{u(t)}g_{0}(u)\, du\biggr\vert \leq&\bigl\Vert u'\bigr\Vert _{0} \int_{0}^{T}\bigl\vert v'(t+\sigma ) \bigr\vert \, dt+F_{M_{1}}\bigl\Vert u'\bigr\Vert ^{2}_{2} \\ &{}+G_{M_{1}}\bigl\Vert u'\bigr\Vert _{0}T +A\bigl\| u'\bigr\| _{2} \\ \leq&\rho B+\frac{ F_{M_{1}}A^{2}}{\gamma^{2}} +G_{M_{1}}BT+ \frac{A^{2}}{\gamma} \\ < &+\infty. \end{aligned}$$
According to (H2)(2), we can see that there exists a constant \(M_{2}>0\) such that, for \(t\in[\tau,T]\),
$$ u(t)\geq M_{2}. $$
(3.19)
For the case \(t\in[0,\tau]\), we can handle it similarly.
Let us define
$$0< A_{1}=\min\{D_{1},M_{2}\} $$
and
$$A_{2}=\max\{D_{2},M_{1}\}, $$
then by (3.3), (3.7) and (3.19) we can obtain
$$ A_{1}< u(t)< A_{2}. $$
(3.20)
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
$$\Omega=\biggl\{ x=(u,v)^{\top}\in X:A_{1}< u(t)< A_{2},\|v\|_{0}<\rho_{1}<\frac{\rho +1}{2}\biggr\} . $$
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.,
$$ \left \{ \begin{array}{l} \frac{1}{T}\int_{0}^{T}\frac{v(t)}{\sqrt {1-v^{2}(t)}}\, dt=0, \\ \frac{1}{T}\int_{0}^{T}[-f(u(t))\frac{v(t)}{\sqrt{1-v^{2}(t)}}-g( u(t-\sigma))+ e(t)]\, dt=0. \end{array} \right . $$
(3.21)
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
$$v=0< \rho. $$
From the second equation of (3.21), we have
$$\frac{1}{T}\int_{0}^{T}g\bigl(u(t-\sigma) \bigr)\, dt=0. $$
From (H1)(1) we can see that
$$A_{1}< D_{1} \leq u(t)\leq D_{2}<A_{2}. $$
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
$$z=Ax=A \begin{pmatrix} u \\ v \end{pmatrix} = \begin{pmatrix} u-\frac{A_{1}+A_{2}}{2} \\ v \end{pmatrix} , $$
then we have
$$x=z+ \begin{pmatrix} \frac{A_{1}+A_{2}}{2} \\ 0 \end{pmatrix} . $$
Define \({J:\operatorname{Im}Q\rightarrow \operatorname{Ker}L}\) is a linear isomorphism,
$${J}(u,v)= \begin{pmatrix} v \\ -u \end{pmatrix} $$
and define
$$H(\mu,x)=\mu A x+(1-\mu){ JQN}x,\quad \forall(x,\mu)\in\Omega\times[0,1]. $$
Then
$$ H(\mu,x)= \begin{pmatrix} \mu u-\frac{\mu(A_{1}+A_{2})}{2} \\ \mu v \end{pmatrix} +\frac{1-\mu}{T} \begin{pmatrix} \int_{0}^{T}[\frac{f(u)v }{\sqrt{1-v^{2}}}+g( u)]\, dt \\ \int_{0}^{T}\frac{v}{\sqrt{1-v^{2}}}\, dt \end{pmatrix} . $$
(3.22)
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
$$ H(\mu_{0},x_{0})= \begin{pmatrix} \mu_{0} u_{0}-\frac{\mu_{0}(A_{1}+A_{2})}{2}+(1-\mu_{0})f(u_{0})\frac {v_{0}}{\sqrt{1-v_{0}^{2}}}+(1-\mu_{0}) g(u_{0}) \\ \mu_{0} v_{0}+(1-\mu_{0})\frac {v_{0}}{\sqrt{1-v_{0}^{2}}} \end{pmatrix} . $$
(3.23)
Since \(H(\mu_{0},x_{0})=0\), then we can see that
$$\mu_{0} v_{0}+(1-\mu_{0})\frac{v_{0}}{\sqrt{1-v_{0}^{2}}}=0. $$
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
$$\begin{aligned} \begin{aligned}[b] &\mu_{0} u_{0}-\frac{\mu_{0}(A_{1}+A_{2})}{2}+(1- \mu_{0})f(u_{0})\frac{v_{0}}{\sqrt {1-v_{0}^{2}}}+(1-\mu_{0}) g (u_{0}) \\ &\quad =\mu_{0} u_{0}-\frac{\mu_{0}(A_{1}+A_{2})}{2} +(1- \mu_{0}) g (u_{0}) \\ &\quad < \mu_{0}\biggl(u_{0}-\frac{A_{1}+A_{2}}{2}\biggr)<0. \end{aligned} \end{aligned}$$
(3.24)
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
$$\begin{aligned}& \mu_{0} u_{0}-\frac{\mu_{0}(A_{1}+A_{2})}{2}+(1- \mu_{0})f(u_{0})\frac{v_{0}}{\sqrt {1-v_{0}^{2}}}+(1-\mu_{0}) g (u_{0}) \\& \quad =\mu_{0} u_{0}-\frac{\mu_{0}(A_{1}+A_{2})}{2} +(1- \mu_{0}) g (u_{0}) \\& \quad >\mu_{0}\biggl(u_{0}-\frac{A_{1}+A_{2}}{2}\biggr)>0. \end{aligned}$$
(3.25)
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
$$\begin{aligned} \operatorname{deg}({JQN},\Omega\cap{ \operatorname{Ker}L},0) =& \operatorname{deg}\bigl(H(0,x),\Omega\cap{ \operatorname{Ker}L},0\bigr) \\ =&\operatorname{deg}\bigl(H(1,x),\Omega\cap{ \operatorname{Ker}L},0\bigr) \\ =&\operatorname{deg}(Ax,\Omega\cap{ \operatorname{Ker}L},0) \\ =&\sum_{x\in A^{-1}(0)} \operatorname{sgn}\bigl\vert A'(x)\bigr\vert \\ =&1\neq0. \end{aligned}$$
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:
$$ \biggl(\frac{u'(t)}{\sqrt{1+(u'(t))^{2}}}\biggr)'+\biggl[\frac{u^{3}(t)}{3+u^{2}(t)}+9 \biggr]u'(t)+g\bigl( u(t)\bigr)=\frac{1}{32}\sin8t. $$
(4.1)
Corresponding to Theorem 3.1 and (1.5), we have
$$\begin{aligned}& f\bigl(u(t)\bigr)=\frac {u^{3}(t)}{3+u^{2}(t)}+9,\qquad g\bigl(u(t)\bigr)=g_{1} \bigl(u(t)\bigr)+g_{0}\bigl(u(t)\bigr)=\frac {1}{32}u(t)- \frac{1}{u(t)}, \\& e(t)=\frac{1}{32}\sin8t. \end{aligned}$$
Then we can have and choose
$$\begin{aligned}& T=\frac{\pi}{4},\qquad \gamma=8,\qquad c_{0}=\frac{1}{3}, \qquad c_{1}=9, \\& m_{0}=\frac{1}{32},\qquad m_{1}=\frac{1}{128},\qquad D_{1}=1,\qquad D_{2}=9 \end{aligned}$$
and
$$A:=\biggl( \int_{0}^{T}\bigl\vert e(t)\bigr\vert ^{2}\, dt\biggr)^{\frac{1}{2}}+\sup_{t\in [0,T]} \bigl\vert e(t)\bigr\vert < \frac{1}{16} <+\infty. $$
Then we can see that (H1)(1) and (H1)(2) hold. Meanwhile,
$$\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) \approx0.587< 1. $$
Hence, by applying Theorem 3.2, we can see that Eq. (4.1) has at least one positive T-periodic solution.

Declarations

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).

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.

Authors’ Affiliations

(1)
College of Mathematics and Statistics, Nanjing University of Information Science and Technology, Nanjing, China
(2)
Department of Mathematics, Anhui Normal University, Wuhu, China

References

  1. 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) View ArticleMATHMathSciNetGoogle Scholar
  2. Zhang, M: Periodic solutions of Liénard equations with singular forces of repulsive type. J. Math. Anal. Appl. 203, 254-269 (1996) View ArticleMATHMathSciNetGoogle Scholar
  3. 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) View ArticleMATHMathSciNetGoogle Scholar
  4. Jiang, D, Chu, J, Zhang, M: Multiplicity of positive periodic solutions to superlinear repulsive singular equations. J. Differ. Equ. 211, 282-302 (2005) View ArticleMATHMathSciNetGoogle Scholar
  5. Lazer, AC, Solimini, S: On periodic solutions of nonlinear differential equations with singularities. Proc. Am. Math. Soc. 88, 109-114 (1987) View ArticleMathSciNetMATHGoogle Scholar
  6. Li, X, Zhang, Z: Periodic solutions for second order differential equations with a singular nonlinearity. Nonlinear Anal. TMA 69, 3866-3876 (2008) View ArticleMATHMathSciNetGoogle Scholar
  7. Hakl, R, Torres, PJ, Zamora, M: Periodic solutions to singular second order differential equations: the repulsive case. Nonlinear Anal. TMA 74, 7078-7093 (2011) View ArticleMATHMathSciNetGoogle Scholar
  8. Wang, Z: Periodic solutions of the second order differential equations with singularities. Nonlinear Anal. TMA 58, 319-331 (2004) View ArticleMATHGoogle Scholar
  9. Wang, Z, Ma, T: Existence and multiplicity of periodic solutions of semilinear resonant Duffing equations with singularities. Nonlinearity 25, 279-307 (2012) View ArticleMATHMathSciNetGoogle Scholar
  10. Wang, Z: Periodic solutions of Liénard equation with a singularity and a deviating argument. Nonlinear Anal., Real World Appl. 16, 227-234 (2014) View ArticleMATHMathSciNetGoogle Scholar
  11. 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) View ArticleMATHMathSciNetGoogle Scholar
  12. 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) View ArticleMATHMathSciNetGoogle Scholar
  13. 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) View ArticleMATHMathSciNetGoogle Scholar
  14. 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) View ArticleMATHMathSciNetGoogle Scholar
  15. Pan, H: One-dimensional prescribed mean curvature equation with exponential nonlinearity. Nonlinear Anal. 70, 999-1010 (2009) View ArticleMATHMathSciNetGoogle Scholar
  16. Benevieria, P, do Ó, JM, de Medeiros, ES: Periodic solutions for nonlinear systems with mean curvature-like operators. Nonlinear Anal. 65, 1462-1475 (2006) View ArticleMathSciNetMATHGoogle Scholar
  17. Feng, M: Periodic solutions for prescribed mean curvature Liénard equation with a deviating argument. Nonlinear Anal., Real World Appl. 13, 1216-1223 (2012) View ArticleMATHMathSciNetGoogle Scholar
  18. Liang, Z, Lu, S: Homoclinic solutions for a kind of prescribed mean curvature Duffing-type equation. Adv. Differ. Equ. 2013, 279 (2013) MathSciNetGoogle Scholar
  19. Gaines, RE, Mawhin, JL: Coincidence Degree and Nonlinear Differential Equations. Springer, Berlin (1977) MATHGoogle Scholar

Copyright

© Kong and Lu; licensee Springer. 2015

Advertisement