Skip to main content

Periodic solutions for a singular damped differential equation

Abstract

Based on a variational approach, we prove that a second-order singular damped differential equation has at least one periodic solution when some reasonable assumptions are satisfied.

1 Introduction

The purpose of this paper is to study the existence of T-periodic solutions for second-order singular damped differential equation

$$ u''(t)+q(t)u'(t)+f\bigl(u(t) \bigr)=g(t), $$
(1.1)

where \(q, g\in C(\mathbb{R}/{T\mathbb{Z},\mathbb{R}})\) with \(\int_{0}^{T} q(t)\,dt=0\), and the nonlinearity \(f\in C((0,\infty),\mathbb{R})\) admits a repulsive singularity at \(u=0\), which means that

$$\lim_{u\rightarrow0^{+}} f(u)=-\infty. $$

Second-order singular differential equations have attracted many researchers’ attention because of the wide applications in applied sciences. For example, they can describe the dynamics of particles under the action of Newtonian-type forces caused by compressed gases [1]. If \(q(t)\equiv0\), then Eq. (1.1) reduces to the following singular differential equation:

$$ u''(t)+f\bigl(u(t)\bigr)=g(t). $$
(1.2)

The existence of periodic solutions for Eq. (1.2) has attracted the attention of many researchers, and some classical tools have been used in the literature, including the method of upper and lower solutions [2, 3], degree theory [4], some fixed point theorems in cones for completely continuous operators [5, 6], Schauder’s fixed point theorem [7], a nonlinear Leray-Schauder alternative principle [7, 8] and variational methods [911].

Recently, Eq. (1.1) has also been investigated by several authors; see, for instance, [12, 13] (application of Leray-Schauder alternative principle) and [14] (using Schauder’s fixed point theorem). In general cases, it is very difficult or impossible to apply variational methods to Eq. (1.1) when \(\int_{0}^{T}q(t)\,dt>0\). In this paper, we consider the case \(\int_{0}^{T}q(t)\,dt=0\) and under some reasonable assumptions, we establish the corresponding variational framework of T-periodic solutions for Eq. (1.1) on an appropriate Sobolev space and give a new criterion to guarantee the existence of at least one nontrivial T-periodic solution of Eq. (1.1) using a variant of the mountain pass theorem. We refer the reader to [1517] for the details about variational methods.

In order to state our main result, we need the following assumptions:

  1. (H1)

    \(q, g\in C(\mathbb{R}/{T\mathbb{Z}})\) with \(\int_{0}^{T} q(t)\,dt=0\);

  2. (H2)

    \(f\in C((0,\infty),\mathbb{R})\) has a repulsive singularity at \(u=0\), i.e.,

    $$\lim_{u\rightarrow0^{+}}f(u)=-\infty; $$
  3. (H3)

    \(\lim_{u\rightarrow0^{+}}F(u)=+\infty\), where \(F(u)= \int_{1}^{u} f(s)\,ds\);

  4. (H4)

    \(M=\sup\{f(s): 0< s<+\infty\}\) is bounded;

  5. (H5)

    \(\lim_{u\rightarrow+\infty} (F(u)- \bar{g} u) =+\infty\), where \(\bar{g}\) is defined by

    $$\bar{g}\stackrel{\mathrm{def}}{=} \frac{1}{\int_{0}^{T} \exp (\int_{0}^{t}q(s)\,ds )\,dt}\int_{0}^{T} g(t)\exp \biggl(\int_{0}^{T}q(s)\,ds \biggr)\,dt. $$

Theorem 1.1

Assume that (H1)-(H5) are satisfied. Then Eq. (1.1) has at least one nontrivial T-periodic solution.

The existence of T-periodic solutions for the following singular damped differential equation

$$ u''(t)+q(t)u'(t)+p(t)u(t)+f\bigl(u(t) \bigr)=g(t) $$
(1.3)

was discussed in [1214] by using the Leray-Schauder alternative principle or Schauder’s fixed point theorem. However, all of them required that the Green function associated to the linear equation problem

$$\left \{ \begin{array}{@{}l} u''(t)+q(t)u'(t)+p(t)u(t)=0, \\ u(0)=u(T),\qquad u'(0)=u'(T) \end{array} \right . $$

is positive for all \((t,s)\in[0,T]\times[0,T]\). For example, in [13] and [14] it is supposed that

$$ \int_{0}^{T} q(t)\,dt>0. $$
(1.4)

In [12], two criteria to make the Green function positive were given. In particular, one criterion was proved when \(\int_{0}^{T} q(t)\,dt=0\) and

$$ \int_{0}^{T} p(t) e^{\int_{0}^{t} q(s)\,ds}\,dt>0. $$
(1.5)

Note that in Theorem 1.1, conditions (1.4) and (1.5) do not hold because \(p(t)\equiv0\) and \(\int_{0}^{T} q(t)\,dt=0\) in our case.

From (H1), it is obvious that

$$ e^{-\|q\|_{L^{1}}}\leq e^{Q(t)}\leq e^{\|q\|_{L^{1}}}, $$
(1.6)

where \(Q(t)= \int_{0}^{t} q(s)\,ds\). In addition, it is easy to find the functions \(f(u)\) and \(g(t)\) which satisfy assumptions (H2)-(H5). For example, if we take

$$ f(u)=-\frac{e}{u^{\gamma}}, $$
(1.7)

where \(e>0\) and \(\gamma\geq1\) are constants and choose \(g\in C(\mathbb{R}/{T\mathbb{Z}},\mathbb{R})\) such that

$$ \int_{0}^{T} g(t)\,dt<0, $$
(1.8)

then (H2)-(H5) are satisfied.

Remark 1

If we take \(q(t)\equiv0\) in (1.1) and \(e=1\) in (1.7), then (1.1) reduces to the following repulsive-type equation:

$$ u''(t)-\frac{1}{u^{\gamma}(t)}=g(t). $$
(1.9)

It was proved in [18] that Eq. (1.9) (with \(\gamma\geq1\)) has a positive T-periodic solution if and only if (1.8) holds. One open problem is whether we can obtain the sufficient and necessary conditions to guarantee the existence of positive T-periodic solutions for the following special form of Eq. (1.1) with \(\gamma\geq1\):

$$u''(t)+q(t)u'(t)-\frac{1}{u^{\gamma}(t)}=g(t). $$

The remaining part of this paper is organized as follows. Some preliminaries are presented in Section 2. In Section 3, the proof of Theorem 1.1 is given.

2 Preliminary results

In this section, we present some auxiliary results, which will be used in the proof of our main result. First, we define the truncation function \(f_{\lambda}: \mathbb{R}\rightarrow \mathbb{R}\), \(0<\lambda<1\), by

$$f_{\lambda}(u)= \left \{ \begin{array}{@{}l@{\quad}l} f(u), & u\geq\lambda, \\ f(\lambda), & u<\lambda. \end{array} \right . $$

Note that condition (H2) implies that \(f_{\lambda}\) is continuous with respect to \(u\in \mathbb{R}\).

In what follows, for \(\lambda\in(0,1)\), we consider the following modified equation:

$$ u''(t)+q(t)u'(t)+f_{\lambda} \bigl(u(t)\bigr)=g(t). $$
(2.1)

Let

$$Q(t)=\int_{0}^{t} q(s)\,ds \quad\mbox{and}\quad F_{\lambda}(u)= \int_{1}^{u} f_{\lambda}(s)\,ds. $$

Then the problem of the existence of T-periodic solutions for Eq. (2.1) has a variational structure with corresponding functional \(\Phi_{\lambda}\) given by

$$ \Phi_{\lambda}(u)=\int_{0}^{T}e^{Q(t)} \biggl[\frac{1}{2}u'(t)^{2}-F_{\lambda}\bigl(u(t)\bigr)+g(t)u(t) \biggr]\,dt, $$
(2.2)

and defined on the Hilbert space

$$H_{T}^{1}=\bigl\{ u:[0,T]\rightarrow \mathbb{R}\mbox{ is absolutely continuous}; u(0)=u(T), u'\in L^{2}\bigl([0,T];\mathbb{R}\bigr) \bigr\} , $$

equipped with the norm

$$\|u\|= \biggl(\int_{0}^{T}u(t)^{2}\,dt+ \int_{0}^{T}u'(t)^{2}\,dt \biggr)^{\frac{1}{2}} $$

for \(u\in H_{T}^{1}\).

Lemma 2.1

[15, Proposition 1.3] (Wirtinger’s inequality)

If \(u\in H_{T}^{1}\) and \(\int_{0}^{T} u(t)\,dt=0\), then

$$\int_{0}^{T}u(t)^{2}\,dt\leq \frac{T^{2}}{4\pi^{2}}\int_{0}^{T} \dot{u}(t)^{2}\,dt. $$

Under the conditions of Theorem 1.1, similar to [19, Theorems 2.1 and 2.2], it is easy to verify that \(\Phi _{\lambda}\) is continuously differentiable, weakly lower semicontinuous on \(H_{T}^{1}\) and

$$ \Phi_{\lambda}'(u)v=\int_{0}^{T}e^{Q(t)} \bigl[u'(t) v'(t)-f_{\lambda}\bigl(u(t) \bigr)v(t)+g(t)v(t) \bigr]\,dt. $$
(2.3)

Moreover, critical points of \(\Phi_{\lambda}\) on \(H_{T}^{1}\) are T-periodic solutions of Eq. (2.1).

In order to obtain the existence of T-periodic solutions of Eq. (2.1), the following version of the mountain pass theorem will be used in our argument.

Lemma 2.2

[15, Theorem 4.10]

Let X be a Banach space, and let \(\varphi\in C^{1}(X,\mathbb{R})\). Assume that there exist \(x_{0}, x_{1}\in X\) and a bounded open neighborhood Ω of \(x_{0}\) such that \(x_{1} \in X\backslash\overline{\Omega}\) and

$$\max\bigl\{ \varphi(x_{0}),\varphi(x_{1})\bigr\} <\inf _{x\in\partial\Omega} \varphi(u). $$

Let

$$\Gamma=\bigl\{ h\in C\bigl([0,1],X\bigr): h(0)=x_{0}, h(1)=x_{1}\bigr\} $$

and

$$c=\inf_{h\in\Gamma}\max_{s\in[0,1]}\varphi\bigl(h(s) \bigr). $$

If φ satisfies the (PS)-condition (that is, a sequence \(\{u_{n}\}\) in X satisfying \(\varphi(u_{n})\) is bounded and \(\varphi'(u_{n})\rightarrow0\) as \(n\rightarrow+\infty\) has a convergent subsequence), then c is a critical value of φ and \(c>\max\{\varphi(x_{0}),\varphi (x_{1})\}\).

3 Proof of Theorem 1.1

In this section, we give the proof of Theorem 1.1.

Proof

The proof will be divided into four steps.

Step 1. \(\Phi_{\lambda}\) satisfies the (PS)-condition.

Let \(\{u_{n}\}_{n\in \mathbb{N}}\) be a sequence in \(H_{T}^{1}\) such that \(\{\Phi _{\lambda}'(u_{n})\}_{n\in \mathbb{N}}\) is bounded and \(\Phi_{\lambda }'(u_{n})\rightarrow0\) as \(n\rightarrow+\infty\). Then there exist a constant \(c_{1}>0\) and a sequence \(\{\epsilon_{n}\} _{n\in \mathbb{N}}\subset \mathbb{R}^{+}\) with \(\epsilon_{n}\rightarrow0\) as \(n\rightarrow +\infty\) such that, for all n,

$$ \biggl|\int_{0}^{T} e^{Q(t)} \biggl[\frac{1}{2}u_{n}'(t)^{2}-F_{\lambda} \bigl(u_{n}(t)\bigr)+g(t) u_{n}(t) \biggr]\,dt \biggr|\leq c_{1}, $$
(3.1)

and for every \(v\in H_{T}^{1}\),

$$ \biggl|\int_{0}^{T}e^{Q(t)} \bigl[u_{n}'(t)v'(t)-f_{\lambda} \bigl(u_{n}(t)\bigr)v(t)+g(t)v(t) \bigr]\,dt \biggr|\leq\epsilon_{n} \|v\|_{H_{T}^{1}}. $$
(3.2)

Using a standard argument, it is sufficient to show that \(\{u_{n}\}_{n\in \mathbb{N}}\) is bounded in \(H_{T}^{1}\), and this will be enough to derive the (PS)-condition.

Taking \(v(t)\equiv-1\) in (3.2), we obtain that

$$\biggl|\int_{0}^{T}e^{Q(t)} \bigl[f_{\lambda}\bigl(u_{n}(t)\bigr)-g(t)\bigr]\,dt \biggr|\leq \epsilon _{n} \sqrt{T}. $$

So that

$$ \begin{aligned}[b] \biggl|\int_{0}^{T}e^{Q(t)}f_{\lambda} \bigl(u_{n}(t)\bigr)\,dt \biggr|&\leq\epsilon_{n} \sqrt{T}+ \biggl|\int _{0}^{T}e^{Q(t)}g(t)\,dt \biggr|\\ &\leq\epsilon_{n} \sqrt{T}+e^{\|q\|_{L^{1}}}\int_{0}^{T}\bigl|g(t)\bigr|\,dt\\ &= \epsilon_{n} \sqrt{T}+e^{\|q\|_{L^{1}}}\|g\|_{L^{1}}:=c_{2}. \end{aligned} $$
(3.3)

Let

$$I_{1,n}=\bigl\{ t\in[0,T]: f_{\lambda}\bigl(u_{n}(t) \bigr)\geq0\bigr\} , $$

and

$$I_{2,n}=\bigl\{ t\in[0,T]: f_{\lambda}\bigl(u_{n}(t) \bigr)<0\bigr\} . $$

It follows from (3.3) that

$$\biggl|\int_{I_{2,n}} e^{Q(t)}f_{\lambda} \bigl(u_{n}(t)\bigr)\,dt \biggr|\leq c_{2}+\int_{I_{1,n}}e^{Q(t)}f_{\lambda} \bigl(u_{n}(t)\bigr)\,dt\leq c_{2}+T M e^{\|q\|_{L^{1}}}, $$

where M is defined in (H4). Hence, there exists \(c_{3}>0\) such that

$$ \int_{0}^{T}e^{Q(t)}\bigl|f_{\lambda} \bigl(u_{n}(t)\bigr)\bigr|\,dt\leq c_{3} \quad\mbox{for all } n. $$
(3.4)

On the other hand, if we take, in (3.2), \(v(t)\equiv w_{n}(t):=u_{n}(t)-\bar{u}_{n}\), where \(\bar{u}_{n}\) is the average of \(u_{n}\) over the interval \([0,T]\), we get (taking into account (3.4))

$$\begin{aligned}[b] c_{4}\|w_{n}\|_{H_{T}^{1}}& \geq \biggl|\int_{0}^{T}e^{Q(t)} \biggl[ \frac{1}{2}w_{n}'(t)^{2}-f_{\lambda} \bigl(u_{n}(t)\bigr)w_{n}(t)+g(t)w_{n}(t) \biggr]\,dt \biggr| \\ &\geq\frac{e^{-\|q\|_{L^{1}}}}{2} \bigl\| w_{n}'\bigr\| _{L^{2}}^{2}- \bigl(c_{3}+e^{\|q\| _{L^{1}}}\| g\|_{L^{1}}\bigr) \|w_{n}\|_{L^{\infty}} \\ &\geq\frac{e^{-\|q\|_{L^{1}}}}{2} \bigl\| w_{n}'\bigr\| _{L^{2}}^{2}-c_{5} \|w_{n}\|_{H_{T}^{1}}. \end{aligned} $$

Using the Poincaré-Wirtinger inequality for zero mean functions in the Sobolev space \(H_{T}^{1}\), we know that there exists \(c_{6}>0\) such that

$$ \bigl\| u_{n}'\bigr\| _{L^{2}}\leq \|w_{n}\|_{H_{T}^{1}}\leq c_{6}. $$
(3.5)

Now suppose that

$$\|u_{n}\|_{H_{T}^{1}}\rightarrow+\infty \quad\mbox{as } n\rightarrow + \infty. $$

Since (3.5) holds, we have, passing to a subsequence if necessary, that either

$$\begin{aligned}& m_{n}=\min u_{n}\rightarrow- \infty \quad\mbox{as } n\rightarrow +\infty, \quad\mbox{or}\\& M_{n}=\max u_{n}\rightarrow+\infty \quad\mbox{as } n\rightarrow +\infty. \end{aligned}$$

(i) Assume that the second possibility occurs. We have

$$\begin{aligned}[b] &\int_{0}^{T} e^{Q(t)}\bigl[F_{\lambda}\bigl(u_{n}(t) \bigr)-g(t)u_{n}(t)\bigr]\,dt\\ &\quad=\int_{0}^{T} e^{Q(t)} \biggl[ \biggl( \int_{1}^{u_{n}(t)}f_{\lambda }(s)\,ds \biggr)-g(t)u_{n}(t) \biggr]\,dt\\ &\quad=\int_{0}^{T} e^{Q(t)} \biggl[ \biggl( \int_{1}^{M_{n}}f_{\lambda}(s)\,ds-\int _{u_{n}(t)}^{M_{n}}f_{\lambda}(s)\,ds \biggr)-g(t)u_{n}(t) \biggr]\,dt\\ &\quad=\int_{0}^{T}e^{Q(t)} \bigl[F_{\lambda}(M_{n})-M_{n} g(t)\bigr]\,dt-\int _{0}^{T} \biggl[\int_{u_{n}(t)}^{M_{n}} e^{Q(t)}\bigl(f_{\lambda}(s)-g(t)\bigr)\,ds \biggr]\,dt\\ &\quad\geq\int_{0}^{T}e^{Q(t)} \bigl[F_{\lambda}(M_{n})-M_{n} g(t) \bigr]\,dt-e^{\|q\| _{L^{1}}}\| M-g\|_{L^{1}}\|M_{n}-u_{n} \|_{C}. \end{aligned} $$

Thus, using the Sobolev and Poincaré inequalities to \(M_{n}-u_{n}(\cdot )\), we have, from (3.5),

$$\begin{aligned}[b] \int_{0}^{T} e^{Q(t)} \bigl[F_{\lambda}(M_{n})-M_{n} g(t) \bigr]\,dt\leq{}& \int_{0}^{T} e^{Q(t)} \bigl[F_{\lambda}\bigl(u_{n}(t)\bigr)-g(t)u_{n}(t) \bigr]\,dt\\ &{}+e^{\|q\|_{L^{1}}}\|M-g\|_{L^{1}}\|M_{n}-u_{n} \|_{C}\\ \leq{}& \int_{0}^{T} e^{Q(t)} \bigl[F_{\lambda}\bigl(u_{n}(t)\bigr)-g(t)u_{n}(t) \bigr]\,dt\\ &{}+e^{\|q\|_{L^{1}}}\|M-g\|_{L^{1}}\sqrt{T} c_{6}. \end{aligned} $$

In view of (3.1), we see that

$$\int_{0}^{T} e^{Q(t)} \bigl[F_{\lambda}(M_{n})-M_{n} g(t)\bigr]\,dt $$

is bounded, which contradicts (H5).

(ii) Assume that the first possibility occurs, i.e., \(m_{n}\rightarrow-\infty\) as \(n\rightarrow+\infty\). We replace \(M_{n}\) by \(-m_{n}\) in the preceding arguments, and we also get a contradiction.

Therefore, \(\Phi_{\lambda}\) satisfies the (PS) condition. This completes the proof of the claim.

Step 2. In what follows, let

$$\Omega=\bigl\{ u\in H_{T}^{1}: \min u>1\bigr\} , $$

and

$$\partial\Omega=\bigl\{ u\in H_{T}^{1}: u(t)\geq1 \mbox{ for all } t\in [0,T], \exists t_{u}\in(0,T) \mbox{ such that } u(t_{u})=1\bigr\} . $$

We show that there exists \(m>0\) such that \(\inf_{u\in \partial\Omega}\Phi_{\lambda}(u)\geq-m\) whenever \(\lambda\in(0,1)\).

For any \(u\in\partial\Omega\), we have \(\min u=u(t_{u})=1\) for some \(t_{u}\). By (2.2), we obtain that

$$\begin{aligned}[b] \Phi_{\lambda}(u)={}&\int_{t_{u}}^{t_{u}+T}e^{Q(t)} \biggl[\frac {1}{2}u'(t)^{2}-F_{\lambda} \bigl(u(t)\bigr)+g(t)u(t) \biggr]\,dt\\ \geq{}& \int_{t_{u}}^{t_{u}+T}\frac{1}{2}e^{Q(t)}u'(t)^{2}\,dt- \biggl[\int_{t_{u}}^{t_{u}+T}e^{Q(t)}\bigl(M-g(t) \bigr) \bigl(u(t)-1\bigr)\,dt\\ &{}-\int_{t_{u}}^{t_{u}+T}e^{Q(t)}g(t)\,dt \biggr]. \end{aligned} $$

The Hölder inequality and the fact that \(u'(t)=(u(\cdot)-1)'(t)\) imply that

$$\begin{aligned}[b] \Phi_{\lambda}(u)\geq{}& \frac{e^{-\|q\|_{L^{1}}}}{2}\bigl\| \bigl(u(\cdot)-1\bigr)'\bigr\| _{L^{2}}^{2}-e^{\|q\|_{L^{1}}} \|M-g\|_{L^{2}}\bigl\| \bigl(u(\cdot)-1\bigr)\bigr\| _{L^{2}} \\ &{}-e^{\|q\|_{L^{1}}}\|g\|_{L^{1}}. \end{aligned} $$

Applying the Poincaré inequality to \(u(\cdot)-1\), we get

$$\Phi_{\lambda}(u)\geq\frac{e^{-\|q\|_{L^{1}}}}{2}\bigl\| u'\bigr\| _{L^{2}}^{2}-T^{\frac {3}{2}}e^{\|q\|_{L^{1}}}\|M-g \|_{L^{2}}\bigl\| u'\bigr\| _{L^{2}}-e^{\|q\|_{L^{1}}}\|g \|_{L^{1}}. $$

The above inequality shows that

$$\Phi_{\lambda}(u)\rightarrow+\infty \quad\mbox{as } \bigl\| u'\bigr\| _{L^{2}}\rightarrow+\infty. $$

Since \(\min u=1\), we have that \(\|u(\cdot)-1\|_{H_{T}^{1}}\rightarrow +\infty\) is equivalent to \(\|u'\|_{L^{2}}\rightarrow+\infty\). Hence

$$\Phi_{\lambda}(u)\rightarrow+\infty \quad\mbox{as } \|u\| _{H_{T}^{1}} \rightarrow+\infty, u\in\partial\Omega, $$

which yields that \(\Phi_{\lambda}\) is coercive. Thus it has a minimizing sequence. The weak lower semicontinuity of \(\Phi_{\lambda}\) implies that

$$\inf_{u\in\partial\Omega} \Phi_{\lambda}(u)>-\infty. $$

It follows that there exists \(m>0\) such that \(\inf_{u\in \partial\Omega}\Phi_{\lambda}(u)\geq-m\) for all \(\lambda\in(0,1)\).

Step 3. We show that there exists \(\lambda_{0}\in(0,1)\) with the property that, for every \(\lambda\in(0,\lambda_{0})\), any solution u of Eq. (2.1) satisfying \(\Phi_{\lambda}(u)\geq-m\) is such that \(\min u\geq\lambda_{0}\), and hence u is a solution of Eq. (1.1).

On the contrary, assume that there are sequences \(\{\lambda_{n}\}_{n\in \mathbb{N}}\) and \(\{u_{n}\}_{n\in \mathbb{N}}\) such that

  1. (i)

    \(\lambda_{n}\leq\frac{1}{n}\);

  2. (ii)

    \(u_{n}\) is a solution of Eq. (2.1) with \(\lambda =\lambda_{n}\);

  3. (iii)

    \(\Phi_{\lambda_{n}}(u_{n})\geq-m\);

  4. (iv)

    \(\min u_{n}<\frac{1}{n}\).

Since

$$ \int_{0}^{T}e^{Q(t)} \bigl[f_{\lambda_{n}}\bigl(u_{n}(t)\bigr)-g(t)\bigr]\,dt=0, $$
(3.6)

we have

$$\bigl\| e^{Q(\cdot)}f_{\lambda_{n}}\bigl(u_{n}(\cdot)\bigr) \bigr\| _{L^{1}}\leq c_{7} \quad\mbox{for some constant } c_{7}>0. $$

On the other hand, since \(u_{n}(0)=u_{n}(T)\), there exists \(\tau_{n} \in (0,T)\) such that

$$u_{n}'(\tau_{n})=0. $$

Therefore, we obtain that

$$e^{Q(t)}u_{n}'(t)-e^{Q(\tau_{n})}u_{n}'( \tau_{n})=\int_{\tau_{n}}^{t} e^{Q(s)} \bigl[f_{\lambda}\bigl(u_{n}(s)\bigr)-g(s)\bigr]\,ds, $$

which, from (3.6), yields that

$$ \bigl\| u_{n}'\bigr\| _{L^{\infty}}\leq c_{8} \quad\mbox{for some constant } c_{8}>0. $$
(3.7)

Since \(\Phi_{\lambda_{n}}(u_{n})>-m\), it follows that there exist two constants \(R_{1}\) and \(R_{2}\) with \(0< R_{1}<R_{2}\) such that

$$\max\bigl\{ u_{n}(t): t\in[0,T]\bigr\} \in[R_{1},R_{2}]. $$

If not, \(u_{n}\) would tend uniformly to 0 or +∞. In both cases, in view of (H3), (H5) and (3.7), we have

$$\Phi_{\lambda_{n}}(u_{n})\rightarrow-\infty \quad\mbox{as } n\rightarrow+ \infty, $$

which contradicts the fact that \(\Phi_{\lambda_{n}}(u_{n})\geq-m\).

Let \(\tau_{n}^{1}\), \(\tau_{n}^{2}\) be such that, for n large enough,

$$u_{n}\bigl(\tau_{n}^{1}\bigr)= \frac{1}{n}< R_{1}=u_{n}\bigl(\tau_{n}^{2} \bigr). $$

Multiplying Eq. (2.1) by \(u_{n}'\) and integrating the resulting equation on \([\tau_{n}^{1},\tau_{n}^{2}]\) (or \([\tau_{n}^{2},\tau_{n}^{1}]\)), we get

$$\begin{aligned}[b] J&:=\int_{\tau_{n}^{1}}^{\tau_{n}^{2}}u_{n}''(t)u_{n}'(t)\,dt+ \int_{\tau _{n}^{1}}^{\tau _{n}^{2}} q(t) u_{n}'(t)^{2}\,dt+ \int_{\tau_{n}^{1}}^{\tau_{n}^{2}} f_{\lambda _{n}}\bigl(u_{n}(t) \bigr)u_{n}'(t)\,dt\\ &=\int_{\tau_{n}^{1}}^{\tau_{n}^{2}} g(t) u_{n}'(t)\,dt. \end{aligned} $$

It is clear that

$$J=J_{1}+\frac{1}{2}\bigl[u_{n}^{\prime 2} \bigl(\tau_{n}^{1}\bigr)-u_{n}^{\prime 2} \bigl(\tau_{n}^{2}\bigr)\bigr]+\int_{\tau _{n}^{1}}^{\tau_{n}^{2}} q(t) u_{n}^{\prime 2}(t)\,dt, $$

where

$$J_{1}=\int_{\tau_{n}^{1}}^{\tau_{n}^{2}} f_{\lambda_{n}} \bigl(u_{n}(t)\bigr)u_{n}'(t)\,dt. $$

Since q is bounded, g is integrable and \(\|u_{n}'\|_{L^{\infty}}\leq c_{8}\) (see (3.7)), it follows that J is bounded, and consequently, \(J_{1}\) is bounded. On the other hand, we have

$$f_{\lambda_{n}}\bigl(u_{n}(t)\bigr)u_{n}'(t)= \frac{d}{dt}\bigl[F_{\lambda_{n}}\bigl(u_{n}(t)\bigr)\bigr], $$

which yields that

$$J_{1}=F_{\lambda_{n}}(R_{1})-F_{\lambda_{n}}\biggl( \frac{1}{n}\biggr). $$

However, due to (H3), it follows that \(J_{1}\) is unbounded. This is a contradiction.

Step 4. We prove that \(\Phi_{\lambda}\) has a mountain pass geometry for \(\lambda\leq\lambda_{0}\).

Fix \(\lambda\in(0,\lambda_{0}]\) such that \(f(\lambda)<0\). It is possible because of (H2). Therefore, we have

$$\begin{aligned}[b] F_{\lambda}(0)&=\int_{1}^{0} f_{\lambda}(s)\,ds=-\int_{0}^{1} f_{\lambda }(s)\,ds \\ &=-\int_{0}^{\lambda} f_{\lambda}(s)\,ds-\int _{\lambda}^{1} f_{\lambda }(s)\,ds \\ &=-\int_{0}^{\lambda} f(\lambda)\,ds-\int _{\lambda}^{1}f_{\lambda }(s)\,ds \\ &=-\lambda f(\lambda)-\int_{\lambda}^{1} f_{\lambda}(s)\,ds. \end{aligned} $$

This implies that

$$F_{\lambda}(0)>-\int_{\lambda}^{1} f_{\lambda}(s)\,ds=\int_{1}^{\lambda} f_{\lambda}(s)\,ds=F_{\lambda}(\lambda). $$

Hence

$$ \begin{aligned}[b] \Phi_{\lambda}(0)&=-\int _{0}^{T}e^{Q(t)}F_{\lambda}(0)\,dt+\int_{0}^{T}e^{Q(t)}g(t)0\,dt\\ &\leq-\int_{0}^{T} e^{Q(t)}F_{\lambda}( \lambda)\,dt. \end{aligned} $$
(3.8)

By (H3), choose \(\lambda\in(0,\lambda_{0}]\) such that

$$F_{\lambda}(\lambda)>\frac{m}{T} e^{\|q\|_{L^{1}}} \quad\mbox{for all } t \in[0,T]. $$

It follows from (3.8) that \(\Phi_{\lambda}(0)<-m\).

Also, using (H5), we can find R large enough such that \(R>1\) and

$$-\int_{0}^{T}e^{Q(t)} \bigl[F_{\lambda}(R)-g(t)R\bigr]\,dt<-m, $$

which implies that

$$\Phi_{\lambda}(R)<-m. $$

Since Ω is a neighborhood of R, \(0\notin\Omega\) and

$$\max\bigl\{ \Phi_{\lambda}(0),\Phi_{\lambda}(R)\bigr\} <\inf _{u\in\partial \Omega }\Phi_{\lambda}(u). $$

Step 1 and Step 4 imply that \(\Phi_{\lambda}\) has a critical point \(u_{\lambda}\) such that

$$\Phi_{\lambda}(u_{\lambda})=\inf_{\eta\in\Gamma}\max _{0\leq s\leq 1}\Phi_{\lambda}\bigl(\eta(s)\bigr)\geq\inf _{u\in\partial\Omega}\Phi _{\lambda}(u), $$

where \(\Gamma=\{\eta\in C([0,1],H_{T}^{1}):\eta(0)=0, \eta(1)=R\}\).

Since \(\inf_{u\in\partial\Omega}\Phi_{\lambda }(u)\geq -m\), it follows from Step 3 that \(u_{\lambda}\) is a solution of Eq. (1.1). Now the proof is finished. □

References

  1. Mawhin, J: Topological degree and boundary value problems for nonlinear differential equations. In: Furi, M, Zecca, P (eds.) Topological Methods for Ordinary Differential Equations. Lecture Notes in Mathematics, vol. 1537, pp. 74-142. Springer, New York (1993)

    Chapter  Google Scholar 

  2. Bonheure, D, De Coster, C: Forced singular oscillators and the method of lower and upper solutions. Topol. Methods Nonlinear Anal. 22, 297-317 (2003)

    MATH  MathSciNet  Google Scholar 

  3. Rachunková, I, Tvrdý, M, Vrkoč, I: Existence of nonnegative and nonpositive solutions for second order periodic boundary value problems. J. Differ. Equ. 176, 445-469 (2001)

    Article  MATH  Google Scholar 

  4. Zhang, MR: Periodic solutions of damped differential systems with repulsive singular forces. Proc. Am. Math. Soc. 127, 401-407 (1999)

    Article  MATH  Google Scholar 

  5. Franco, D, Webb, JRL: Collisionless orbits of singular and nonsingular dynamical systems. Discrete Contin. Dyn. Syst. 15, 747-757 (2006)

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  Google Scholar 

  7. Chu, JF, Torres, PJ: Applications of Schauder’s fixed point theorem to singular differential equations. Bull. Lond. Math. Soc. 39, 653-660 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  8. Jiang, DQ, Chu, JF, Zhang, MR: Multiplicity of positive periodic solutions to superlinear repulsive singular equations. J. Differ. Equ. 211, 282-302 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  9. Boucherif, A, Daoudi-Merzagui, N: Periodic solutions of singular nonautonomous second differential equations. Nonlinear Differ. Equ. Appl. 15, 147-158 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  10. Daoudi-Merzagui, N, Derrab, F, Boucherif, A: Subharmonic solutions of nonautonomous second order differential equations with singular nonlinearities. Abstr. Appl. Anal. 2012, Article ID 903281 (2012)

    Article  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  12. Chu, JF, Fan, N, Torres, PJ: Periodic solutions for second order singular damped differential equations. J. Math. Anal. Appl. 388, 665-675 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  13. Chen, ZB, Ren, JL: Studies on a damped differential equation with repulsive singularity. Math. Methods Appl. Sci. 36, 983-992 (2013)

    Article  MathSciNet  Google Scholar 

  14. Li, X, Zhang, ZH: Periodic solutions for damped differential equations with a weak repulsive singularity. Nonlinear Anal. 70, 2395-2399 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  15. Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Springer, New York (1989)

    Book  MATH  Google Scholar 

  16. Rabinowitz, PH: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Reg. Conf. Ser. in. Math., vol. 65. Am. Math. Soc., Providence (1986)

    Google Scholar 

  17. Schechter, M: Linking Methods in Critical Point Theory. Birkhäuser, Boston (1999)

    Book  MATH  Google Scholar 

  18. Lazer, AC, Solimini, S: On periodic solutions of nonlinear differential equations with singularities. Proc. Am. Math. Soc. 99, 109-114 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  19. Wu, X, Chen, SX, Teng, KM: On variational methods for a class of damped vibration problems. Nonlinear Anal. 68, 1432-1441 (2008)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the anonymous referee for his/her valuable comments, which have improved the correctness and presentation of the manuscript. This work is supported by the National Natural Science Foundation of China (Grant No. 11101304).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ziheng Zhang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All the authors contributed equally and significantly in writing this article. All the authors read and approved the final manuscript.

Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, J., Li, S. & Zhang, Z. Periodic solutions for a singular damped differential equation. Bound Value Probl 2015, 5 (2015). https://doi.org/10.1186/s13661-014-0269-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-014-0269-1

MSC

Keywords