Skip to main content

Advertisement

We’d like to understand how you use our websites in order to improve them. Register your interest.

Periodic solutions for second order damped boundary value problem with nonnegative Green’s functions

Abstract

In this article, we study the existence of positive periodic solutions of second order damped boundary value problem \(u'' + p(t)u'+q(t)u = g(t,u,u')\), \(u(0) = u(T )\), \(u'(0) = u'(T )\). The main tools are the nonlinear alternative principle of Leray–Schauder and Schauder’s fixed point theorem. We emphasize that the damped term and nonnegative Green’s functions are the key points. We also apply the results to examples for testing. Some recent results in the literature are improved and generalized.

Introduction

The main purpose of the article is to research the existence of positive T-periodic solutions for the nonlinear damped boundary value problem

$$ u'' + p(t)u'+q(t)u = g\bigl(t,u,u'\bigr), \qquad u(0) = u(T), \qquad u'(0) = u'(T ), $$
(1.1)

where \(p, q\in \mathbb{C}(\mathbb{R}/T\mathbb{Z},\mathbb{R})\), \(g\in \mathbb{C}((\mathbb{R}/T\mathbb{Z})\times(0, \infty)\times \mathbb{R}, \mathbb{R})\).

When \(p(t)=0\) and the nonlinearity excludes the derivative term, (1.1) becomes the following boundary value problem:

$$ u''+q(t)u = g(t,u), \qquad u(0) = u(T ), \qquad u'(0) = u'(T ), $$
(1.2)

which has been widely studied in many literatures during the previous two decades. See, for example, [9, 21, 27] for the regular cases and [1, 10, 22, 31, 32, 34] for the singular cases. Usually, variational methods or topological methods have been widely applied in the research. Particularly, the nonlinear alternative principle of Leray–Schauder [5, 11, 20], cone fixed point theorems [3, 6, 12, 16, 29], Schauder’s fixed point theorem [10, 15, 30], degree theory [14, 32, 33], and the method of upper and lower solutions [18, 27] are several classical tools.

However, it has not attracted much attention to the research of damped boundary value problem (1.1) due to the difficulty of damped term and the derivative dependence in the nonlinearity. Several existence results can be found in [5, 23] for scalar linear differential equation and [8, 33] for system, the stability result of differential equation (1.1) can be found in [4]. Some other results about damped problem can be found in [13, 26, 28].

In the article, we research the existence of positive T-periodic solutions of (1.1) using a nonlinear alternative of Leray–Schauder and Schauder’s fixed point theorem, which have been used in [7, 10, 11, 20] when the nonlinearity excludes the derivative term. In order to overcome technical difficulty, we choose the right function space and the associated norm which are required to deal with the derivative dependence in the nonlinearity. Furthermore, we obtain two different existence results of T-periodic solutions of problem (1.1) when the nonlinearity is dependent on the derivative. These new results generalize some recent results in [10, 11, 20, 29, 33] in several aspects.

In the above mentioned articles, when some fixed point theorems or the nonlinear alternative principle of Leray–Schauder in cones are applied to study the existence of periodic solutions of boundary value problem (1.1) or (1.2), one main assumption is very important, that is: the associated Green’s function \(G(t,s)\) for the linear boundary value problem

$$ u'' + q(t)u = 0, \qquad u(0) = u(T ), \qquad u'(0) = u'(T) $$
(1.3)

or

$$ u'' + p(t)u'+ q(t)u = 0, \qquad u(0) = u(T ), \qquad u'(0) = u'(T) $$
(1.4)

is positive, which implies that equations (1.3) or (1.4) satisfy the strict anti-maximum principle.

However, in this paper, we loosen the assumption condition and consider the following case:

\((H_{1})\):

For all \((t,s)\in[0,T]\times[0,T]\), the corresponding Green’s function \(G(t, s)\) of (1.4) is nonnegative.

The main motivation of this article is from the recent papers [17, 24], in which the second order systems have been studied in the case where the associated nonnegative Green’s functions may have zeros. Especially, we observe that even when the Green’s function vanishes, the following fact also holds:

$$ \delta=\min_{0\leq s\leq T} \int_{0}^{T} G(t, s)\,dt > 0. $$

Based on this fact, Graef, Kong, and Wang constructed the following cone in [17]:

$$ K = \biggl\{ u\in X : u(t)\geq0 \text{ and } \int_{0}^{T} u(t)\,dt\geq\frac{\delta}{M} \Vert u \Vert \biggr\} . $$
(1.5)

Using the above cone, they proved that the equation

$$ u'' + q(t)u = g(t)f(u) $$

had at least a nontrivial T-periodic solution for the superlinear or sublinear case in [17]. Liao [24] used it to establish that the scalar problem (1.2) had at least two positive T-periodic solutions under some conditions.

In this paper, we also use the cone defined in [17] to study the existence and multiplicity of nontrivial T-periodic solutions for the damped boundary value problem (1.1). The main tools are the nonlinear alternative principle of Leray–Schauder and Schauder’s fixed point theorem. We emphasize that there are two new technical difficulties. One is that the corresponding nonnegative Green’s function of nonlinear system of (1.1) may have zeros, the other is that the nonlinearity of system (1.1) includes the derivation term.

To test the new result, we apply it to an example. We obtain new existence results of positive T-periodic solutions for the following boundary value problem:

$$\begin{aligned}& \begin{aligned} &u'' + p(t)u'+q(t)u = \bigl(h(t)+k(t) \bigl\vert u' \bigr\vert ^{\alpha}\bigr) \bigl(\bigl(a(t)u^{\beta}+\nu b(t)u ^{\gamma}\bigr)+e(t)\bigr), \\ &u(0) = u(T ),\qquad u'(0) = u'(T ), \end{aligned} \end{aligned}$$
(1.6)

where \(p, q, h, k, a, b, e \in \mathbb{C}(\mathbb{R}/T\mathbb{Z},\mathbb{R})\), α, β, γ, and ν are positive parameters. The equation of (1.6) unifies many of the special characters of examples: damping term, depending on the derivative, and so on. So it is usually considered for academic purposes to illustrate how our way is applicable to complication problem. The damping term often appears in many of physics models.

The rest of the article is organized as follows. In the next section, we give two known results concerning the sign of Green’s function of the corresponding linear damped boundary value problem (1.4). There are two classes of functions p, q which can guarantee that the Green’s function of (1.4) is nonnegative.

In Sect. 3, we establish and prove one existence result for problem (1.1) if the Green’s function of (1.4) is nonnegative. We also give application of the new results to (1.6). We have generalized those results in [24] and improved those in [5].

In Sect. 4, by applying Schauder’s fixed point theorem, we establish another different existence result of (1.1).

Preliminaries and notation

For a given function \(p\in L^{1}[0,T]\), let \(p_{*}\) and \(p^{*}\) be the essential infimum and supremum if they exist. The usual \(L^{p}\)-norm is denoted by \(\|\cdot\|_{p}\). If \(\frac{1}{p}+\frac{1}{\tilde{p}}=1\), we call the conjugate exponent of p. We define the set \(\tilde{\mathbb{C}}(\mathbb{R}/T\mathbb{Z},\mathbb{R}):=\{p(t) \in \mathbb{C}(\mathbb{R}/T\mathbb{Z},\mathbb{R}):\bar{p} =\frac{1}{T}\int^{T}_{0}p(s)\,ds= 0\}\). Given \(\psi\in L^{1}[0,T]\) if \(\psi\geq0\) for all \(t\in[0,T]\) and it is positive in a set of positive measures, we write as \(\psi \succ0\).

Let \(G(t, s)\) be the Green’s function of problem (1.4). We say that the unique T-periodic solution of (1.4) is nonresonant when it is the trivial one. Therefore, as a consequence of Fredholm’s alternative, the nonhomogeneous equation

$$ u'' + p(t)u' +q(t)u =e(t) $$
(2.1)

has a unique T-periodic solution denoted by

$$ u(t)= \int_{0}^{T}G(t, s)e(s)\,ds, $$

where \(p, q, e \in \mathbb{C}(\mathbb{R}/T\mathbb{Z},\mathbb{R})\).

Definition 2.1

For any \(e \in \mathbb{C}(\mathbb{R}/T\mathbb{Z},\mathbb{R})\), if (2.1) has a unique T-periodic solution \(x_{e}\) which satisfies \(x_{e}>0\) for all t if \(e \succ0\), we say that equation (1.4) satisfies the anti-maximum principle.

Theorem 2.2

Suppose that equation (1.4) satisfies the anti-maximum principle. Then the corresponding Green’s function\(G(t, s)\)of (1.4) is nonnegative for all\((t, s)\in[0, T]\times[0, T ]\).

Proof

The proof process is similar to the proof of [36, Theorem 4.1], for the case \(p(t)\equiv0\). □

In Sects. 3 and 4, we suppose that hypothesis \((H_{1})\) is satisfied, which means that equation (1.4) satisfies the anti-maximum principle.

In order to guarantee that \((H_{1})\) is satisfied, we present two known results.

Firstly, Hakl and Torres have given an explicit criterion to prove that (1.4) satisfies the anti-maximum principle in [19] for the general case \(p,q \in \mathbb{C}(\mathbb{R}/T\mathbb{Z},\mathbb{R})\). To describe these simply, let us write the functions

$$ \sigma(p) (t) = \exp\biggl( \int_{0}^{t}p(s)\,ds\biggr) $$

and

$$ \sigma_{1}(p) (t) =\sigma(p) (T) \int_{0}^{t}\sigma(p) (s)\,ds+ \int_{t} ^{T}\sigma(p) (s)\,ds. $$

Theorem 2.3

([19])

Suppose that\(q\neq0\)and

$$\begin{aligned}& \int_{0}^{T}q(s)\sigma(p) (s) \sigma_{1}(-p) (s)\,ds\geq0, \end{aligned}$$
(2.2)
$$\begin{aligned}& \sup_{0\leq t\leq T} \biggl\{ \int_{t}^{t+T}\sigma(-p) (s)\,ds \int _{t}^{t+T}\bigl[q(s)\bigr]_{+} \sigma(p) (s)\,ds \biggr\} \leq4, \end{aligned}$$
(2.3)

where\([q(s)]_{+} = \max\{q(s), 0\}\). Then equation (1.4) satisfies the anti-maximum principle.

Remark 2.4

According to Theorem 2.2, under the condition of Theorem 2.3, the corresponding Green’s function G(t, s) of (1.4) is nonnegative for all \((t, s)\in[0, T]\times[0, T ]\).

Secondly, if \(\int_{0}^{T}q(s)\sigma(p)(s)\,ds> 0\) and \(\bar{p} =0\), Cabada and Cid in [2] established another criterion. Before describing these, some preliminaries are listed. Given an exponent \(q\in[1,\infty]\), let \(\mathbf{M}(q)\) be the best constant in the Sobolev inequality

$$ C \Vert u \Vert _{q,[0,1]} \le \bigl\Vert u' \bigr\Vert _{2,[0,1]} \quad \text{for all } u\in H_{0}^{1}(0,1). $$

The explicit formula for \(\mathbf{M}(q)\) is known. See [35]. That is,

$$ \textbf{M}(q)=\textstyle\begin{cases} (\frac{2\pi}{q} )^{1/2} (\frac{2}{2+q} )^{1/2-1/q} \frac{\varGamma(\frac{1}{q})}{\varGamma(\frac{1}{2}+\frac{1}{q})} & \text{if } 1\leq q< \infty, \\ 2 & \text{if } q=\infty, \end{cases} $$

where \(\varGamma(\cdot)\) is the gamma function of Euler. Especially, \(\mathbf{M}(1)= \sqrt{12}\), \(\mathbf{M}(2)=\pi\).

Theorem 2.5

([2])

Suppose that\(\bar{p}=0\), \(\int_{0}^{T}q(s) \sigma(p)(s)> 0\). Furthermore, we assume that there exists\(p\in[1,\infty]\)such that

$$ \bigl(B(T)\bigr)^{1+1/q} \Vert Q_{+} \Vert _{p,T}\leq\mathbf{M}^{2}(2q), $$

where

$$ B(T )= \int_{0}^{T}\sigma(-p) (s)\,ds $$

and

$$ Q_{+}(t) =\bigl[q(t)\bigr]_{+}\bigl(\sigma(p) (t) \bigr)^{2-1/p}. $$

Then the associated Green’s function G(t, s) of (1.4) is nonnegative.

Under hypothesis \((H_{1})\), we usually denote

$$\begin{aligned} M=\max_{0\leq s,t\leq T}G(t,s), \qquad w(t)= \int_{0}^{T}G(t,s)\,ds. \end{aligned}$$

The following nonlinear alternative principle of Leray–Schauder is the main tool for us to prove the first existence result, which can be seen in [25].

Theorem 2.6

Assume thatΩis a relatively compact subset of a convex setKin a normed spaceX. Let\(T :\bar{\varOmega}\rightarrow K\)be a compact map with\(0\in\varOmega\). Then one of the following two conclusions holds:

  1. (I)

    Thas at least one fixed point inΩ̄.

  2. (II)

    There exist\(x\in\partial\varOmega\)and\(0 < \lambda< 1\)such that\(x = \lambda Tx\).

Existence result (I)

We establish the first existence result of (1.1) using nonlinear alternative principle of Leray–Schauder in this section. Here we use cone (1.5) even if the Green’s function is nonnegative. We also have that the following fact holds:

$$ \delta=\min_{0\leq s\leq T} \int_{0}^{T} G(t, s)\,dt > 0. $$

Theorem 3.1

Assume that (1.4) satisfies\((H_{1})\)and\(\bar{p} =0\),

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

Furthermore, we suppose that there exists a positive constantrsuch that, for all\((t,u,v)\in[0,T]\times(0,r]\times \mathbb{R}\):

\(( H_{2})\):

There exists a continuous function\(\psi\succ0\)satisfying\(g(t,u,v)\geq\psi(t)\).

\((H_{3})\):

There exist nonnegative continuous and nondecreasing functions\(h(\cdot)\)in\((0,r]\)and\(\rho(\cdot)\)in\((0,\infty)\)such that

$$ 0\leq g(t,u,v)\leq h(u)\rho\bigl( \vert v \vert \bigr) . $$
\((H_{4})\):
$$ h(r)M\omega^{*}T\rho(Nr)< \delta r, $$
where

$$ N=\frac{2\int^{T}_{0}q(t)\sigma(p)(t)\,dt}{\min_{0\leq t\leq T}\sigma (p)(t)} . $$
(3.2)

Then the damped boundary value problem (1.1) has at least a positiveT-periodic solution u with\(0<\|u\|< r\).

Proof

We will apply Theorem (2.6). To do this, we first consider the family of equations

$$ u''+p(t)u'+q(t)u= \lambda g\bigl(t,u,u'\bigr), $$
(3.3)

where \(\lambda\in[0,1]\). Note that a T-periodic solution of (3.3) is just a fixed point of the operator equation

$$ u(t)=\lambda(\mathrm{A} u) (t), $$
(3.4)

where A is defined by

$$(\mathrm{A}u) (t)= \int^{T}_{0}G(t,s)g\bigl(s,u(s),u'(s) \bigr)\,ds, $$

it is a continuous and completely continuous operator.

We claim that, for any \(\lambda\in[0,1]\), equation (3.4) has no fixed point u with \(u\in\partial\varOmega\), where

$$\varOmega=\bigl\{ u\in X: \Vert u \Vert < r\bigr\} , $$

and \(X=\mathbb{C}(\mathbb{R}/T\mathbb{Z},\mathbb{R})\) is a Banach space by taking the norm \(\|u\| =\max_{t\in[0,T]}|u(t)|\) for \(u\in X\). Obviously, Ω is an open subset in X with \(0\in \varOmega\).

Otherwise, assume that there exists \(\lambda\in[0,1]\) such that equation (3.4) has a fixed point u with \(\|u\|=r\). Notice that

$$\begin{aligned} \int^{T}_{0}u(t)\,dt = & \lambda \int^{T}_{0} \int ^{T}_{0}G(t,s)g\bigl(s,u(s),u'(s) \bigr)\,ds\,dt \\ = & \lambda \int^{T}_{0}g\bigl(s,u(s),u'(s) \bigr) \int^{T}_{0}G(t,s)\,dt\,ds \\ \ge& \lambda\delta \int^{T}_{0}g\bigl(s,u(s),u'(s) \bigr)\,ds \\ = & \frac{\delta}{M}M\lambda \int^{T}_{0}g\bigl(s,u(s),u'(s) \bigr)\,ds \\ \ge& \frac{\delta}{M}\max_{t\in[0,T]} \biggl\{ \lambda \int ^{T}_{0}G(t,s)g\bigl(s,u(s),u'(s) \bigr)\,ds \biggr\} \\ = & \frac{\delta}{M} \Vert u \Vert . \end{aligned}$$

Hence, for all t, we obtain

$$\begin{aligned} \int^{T}_{0}u(t)\,dt \ge& \frac{\delta}{M} \Vert u \Vert =\frac{\delta }{M}r. \end{aligned}$$

Next multiplying by an integral factor \(\sigma(p)(t)\) for equation (3.3), we obtain that equations (3.3) are equivalent to

$$ \bigl(\sigma(p) (t)u'\bigr)'+q(t) \sigma(p) (t)u =\sigma(p) (t) \bigl(\lambda g\bigl(t,u(t),u'(t) \bigr)\bigr) $$
(3.5)

for any T-periodic solution \(u(t)\).

Integrating (3.5) from 0 to T, using the period boundary conditions and \(\bar{p}=0\), we have

$$\int^{T}_{0}q(t)\sigma(p) (t)u(t)\,dt = \int^{T}_{0}\sigma (p) (t) \bigl(\lambda g \bigl(t,u(t),u'(t)\bigr)\bigr). $$

Furthermore, using \(u(0)=u(T)\), we obtain that there exist some \(t_{0}\in[0, T]\) satisfying \(u'(t_{0}) = 0 \). Therefore

$$\begin{aligned} \bigl\vert \sigma(p) (t)u'(t) \bigr\vert = & \biggl\vert \int^{t}_{t_{0}}\bigl(\sigma (p) (s)u'(s)\bigr)'\,ds \biggr\vert \\ = & \biggl\vert \int^{t}_{t_{0}}\sigma(p) (s) \bigl(\lambda g \bigl(t,u(s),u'(s)\bigr)-q(s)u(s)\bigr)\,ds \biggr\vert \\ \le& \int^{T}_{0}\sigma(p) (s) \bigl(\lambda g \bigl(t,u(s),u'(s)\bigr)+q(s)u(s)\bigr)\,ds \\ = & 2 \int^{T}_{0}q(s)\sigma(p) (s)u(s)\,ds \\ \le& 2r \int^{T}_{0}q(s)\sigma(p) (s)\,ds, \end{aligned}$$

where assumption (3.1) is used. Therefore,

$$\Bigl(\min_{0\leq t\leq T}\sigma(p) (t)\Bigr) \bigl\vert u'(t) \bigr\vert \leq2r \int ^{T}_{0}q(s)\sigma(p) (s)\,ds. $$

So we have that

$$ \bigl\vert u'(t) \bigr\vert \leq \frac{2r\int^{T}_{0}q(t)\sigma(p)(t)\,dt}{\min_{0\leq t\leq T}\sigma(p)(t)}= Nr. $$
(3.6)

Thus due to condition \((H_{3})\), for all \(t\in[0,T]\), we have

$$\begin{aligned} \int^{T}_{0}u(t)\,dt = & \lambda \int^{T}_{0} \int ^{T}_{0}G(t,s)g\bigl(s,u(s),u'(s) \bigr)\,ds\,dt \\ \le& \int^{T}_{0} \int^{T}_{0}G(t,s)g\bigl(s,u(s),u'(s) \bigr)\,ds\,dt \\ \le& \int^{T}_{0} \int^{T}_{0}G(t,s)h\bigl(u(s)\bigr)\rho\bigl( \bigl\vert u'(s) \bigr\vert \bigr)\,ds\,dt \\ \le& \int^{T}_{0} \int^{T}_{0}G(t,s)h(r)\rho(Nr)\,ds\,dt \\ \le& \omega^{*}T h(r)\rho(Nr). \end{aligned}$$

Therefore,

$$\frac{\delta}{M}r\leq\omega^{*}T h(r)\rho(Nr). $$

This is a contradiction to condition \((H_{4})\). By applying Theorem(2.6), we get that \(u = \mathrm{A} u\) has a fixed point u in Ω, i.e., the damped boundary value problem (1.1) has one T-periodic solution u with \(\|u\|< r\).

Finally, by condition \((H_{2})\), we have that

$$\begin{aligned} \int^{T}_{0}u(t)\,dt = & \int^{T}_{0} \int ^{T}_{0}G(t,s)g\bigl(s,u(s),u'(s) \bigr)\,ds\,dt \\ \ge& \int^{T}_{0} \int^{T}_{0}G(t,s)\psi(s)\,ds\,dt \\ = & \int^{T}_{0}\psi(s) \int^{T}_{0}G(t,s)\,dt\,ds \\ \ge& \delta \int^{T}_{0}\psi(s)\,ds>0, \end{aligned}$$

which means that u is one positive T-periodic solution of the damped boundary value problem (1.1). □

In what follows, we give an application of the first existence Theorem 3.1.

Example 3.2

Suppose that (1.4) satisfies \((H_{1})\), consider the damped boundary value problem

$$ \begin{aligned} &u'' + p(t)u'+q(t)u = \bigl(1+ \bigl\vert u' \bigr\vert ^{\alpha}\bigr) \bigl(u^{\beta}+\nu u^{\gamma}+e(t) \bigr), \\ &u(0) = u(T), \qquad u'(0) = u'(T ), \end{aligned} $$
(3.7)

where \(p\in\tilde{\mathbb{C}}(\mathbb{R}/T\mathbb{Z},\mathbb{R})\), \(q, e\in \mathbb{C}(\mathbb{R}/T\mathbb{Z},\mathbb{R})\), \(e\succ0\), \(\alpha>0\), \(0<\beta<1\), \(\gamma>\beta\), and \(\nu>0\) is a parameter. Then

  1. (i)

    for each \(\nu>0\), (3.7) has at least a nontrivial T-periodic solution if \(\alpha+\gamma<1\);

  2. (ii)

    for each \(0< \nu< \nu_{1}\), (3.7) has at least a nontrivial T-periodic solution if \(\alpha+\gamma\ge1> \alpha+\beta\), where \(\nu_{1}\) is some constant.

Proof

In order to apply Theorem 3.1, we let

$$\psi(t)=e(t),\qquad h(u)=u^{\beta}+\nu u^{\gamma}+e^{*}, \qquad \rho (u)=1+ \vert u \vert ^{\alpha}, $$

where \(e^{*}=\max_{t} e(t)\). Since \(e\succ0\), \((H_{2})\) is satisfied. Clearly, \(\rho(x)\), \(h(x)\) are nondecreasing in \(x\in \mathbb{R}_{+}\) for \(0 < \beta< \gamma\). Then \((H_{3})\) is satisfied. Moreover, existence condition \((H_{4})\) is equivalent to

$$\nu< \frac{\delta r- L^{\alpha}MT\omega^{*}r^{\alpha+\beta }-MT\omega^{*}r^{\beta}-L^{\alpha}MT\omega^{*}e^{*}r^{\alpha }-MT\omega^{*}e^{*}}{L^{\alpha}MT\omega^{*}r^{\alpha+\gamma }+MT\omega^{*}r^{\gamma}} $$

for some \(r>0\). Therefore, the damped boundary value problem (3.7) has at least a nontrivial T-periodic solution for

$$0< \nu< \nu_{1}:= \sup_{r>0} \frac{\delta r- L^{\alpha}MT\omega ^{*}r^{\alpha+\beta}-MT\omega^{*}r^{\beta}-L^{\alpha}MT\omega ^{*}e^{*}r^{\alpha}-MT\omega^{*}e^{*}}{L^{\alpha}MT\omega ^{*}r^{\alpha+\gamma}+MT\omega^{*}r^{\gamma}}. $$

We notice that if \(\alpha+\gamma<1\), \(\nu_{1}=\infty\); if \(\alpha+\gamma\geq1> \alpha+\beta\), \(\nu_{1} < \infty\). Thus the desired results (i) and (ii) are obtained. □

Existence result (II)

By using Schauder’s fixed point theorem, we establish the second existence result for (1.1) in this section.

Theorem 4.1

Consider the damped boundary value problem (1.1). Assume that\((H_{1})\)is satisfied for (1.4), \(p \in\tilde{\mathbb{C}}(\mathbb{R}/T\mathbb{Z})\)and (3.1) is satisfied. Furthermore, we suppose that the following conditions hold:

\((H_{5})\):

For each\(S>0\), there exists a continuous function\(\phi_{S}\succ0\), which satisfies\(g(t,u,v)\geq\phi_{S}(t)\)for all\((t,u,v)\in[0,T]\times(0,S]\times \mathbb{R}\).

\((H_{6})\):

There exist nonnegative continuous functions\(h(\cdot)\), \(l(\cdot)\), and\(\rho(\cdot)\), which satisfy

$$ 0\leq g(t,u,v)\leq l(t)h(u)\rho\bigl( \vert v \vert \bigr) \quad \textit{for all } (t,u,v)\in[0,T]\times(0,\infty)\times \mathbb{R}, $$

and\(h(\cdot)\)and\(\rho(\cdot)\)are nondecreasing in\((0,\infty)\).

\((H_{7})\):

There exists a constant\(R>0\)which satisfies\(R>\varPhi_{R*}=r>0\)and

$$ R\geq h(R)L^{*}\rho(NR), $$

where N is the same constant as in (3.2) and

$$\begin{aligned}& \varPhi_{R}(t)= \int_{0}^{T} G(t,s)\phi_{R}(s)\,ds, \\& L(t)= \int_{0}^{T} G(t,s)l(s)\,ds. \end{aligned}$$
Then the damped boundary value problem (1.1) has at least a positiveT-periodic solution u with\(r\leq\|u\|\leq R\).

Proof

Let \(\mathbb{C}_{T}\) denote the set of all continuous T-periodic functions. Define a completely continuous map \(\mathrm{A}:\mathbb{C}_{T}\rightarrow \mathbb{C}_{T}\):

$$\begin{aligned} (\mathrm{A}u) (t) = & \int_{0}^{T} G(t,s)g\bigl(s,u(s),u'(s) \bigr)\,ds. \end{aligned}$$
(4.1)

Then a periodic solution of the damped boundary value problem (1.1) is just a fixed point of A.

Denote R to be the positive constant which satisfies \((H_{7})\). Define the set

$${\mathcal{D}} = \bigl\{ u\in \mathbb{C}_{T}:r\leq u(t)\leq R \mbox{ for all } t\in[0, T]\bigr\} . $$

Clearly, \(\mathcal{D}\) is a convex closed set. Furthermore, on the one hand, for each \(x\in\mathcal{D}\) and for all \(t\in[0, T]\), due to condition \((H_{5})\) and the nonnegative \(G(t, s)\) for all \((t, s)\in [0, T] \times[0, T]\), we obtain

$$(\mathrm{A}u) (t) \geq \int_{0}^{T} G(t,s)\phi_{R}(s)\,ds \geq\varPhi _{R*}= r > 0. $$

On the other hand, using the similar deduction in Sect. 3, the following inequality can be obtained:

$$\bigl\vert u'(t) \bigr\vert \leq N R, $$

where N is the constant in (3.2). Therefore, by conditions \((H_{6})\) and \((H_{7})\), we obtain that

$$\begin{aligned} (\mathrm{A}u) (t) \le& \int_{0}^{T} G(t,s)l(s)h\bigl(x(s)\bigr) \rho \bigl( \bigl\vert u'(s) \bigr\vert \bigr)\,ds \\ \le& h(R)L^{*}\rho(N R)\leq R. \end{aligned}$$

In conclusion, \(\mathrm{A}(\mathcal{D})\subset\mathcal{D}\). To apply Schauder’s fixed point theorem, the damped boundary value problem (1.1) has at least a positive T-periodic solution u with \(r\leq\|u\|\leq R\). □

In what follows, we also give an example for an application of the second existence Theorem 4.1.

Example 4.2

Suppose that (1.4) satisfies \((H_{1})\). We consider the damped boundary value problem (3.7) again, where \(p\in\tilde{\mathbb{C}}(\mathbb{R}/T\mathbb{Z},\mathbb{R})\), \(q, e\in \mathbb{C}(\mathbb{R}/T\mathbb{Z},\mathbb{R})\), \(e\succ0\), \(\alpha>0\), \(0<\beta<1\), \(\gamma>\beta\), and ν is a positive parameter. Then

  1. (i)

    if \(\alpha+\gamma<1\), (3.7) has at least one nontrivial T-periodic solution for each \(\nu>0\);

  2. (ii)

    if \(\alpha+\gamma\ge1> \alpha+\beta\), (3.7) has at least one nontrivial T-periodic solution for each \(0< \nu< \nu_{2}\), where \(\nu_{2}\) is some positive constant.

Proof

We take

$$\phi(t)=e(t), \qquad h(u)=u^{\beta}+\nu u^{\gamma}+e^{*}, \qquad l(t)=1, \qquad \rho(u)=1+ \vert u \vert ^{\alpha}. $$

Clearly, \((H_{5})\) is satisfied due to \(e\succ0\). Moreover, since \(0 < \beta< \gamma\), it is easy to verify that \(h(\cdot)\), \(\rho (\cdot)\), and \(l(\cdot)\) are nondecreasing in \((0,+\infty)\). So \((H_{6})\) is satisfied. Now condition \((H_{7})\) becomes

$$\nu\leq\frac{R-\omega^{*}R^{\beta}-R^{\alpha+\beta}\omega ^{*}L^{\alpha}-R^{\alpha}\omega^{*}L^{\alpha}e^{*}-e^{*}\omega^{*}}{ \omega^{*}R^{\gamma}+\omega^{*}R^{\alpha+\gamma}L^{\alpha}} $$

for some \(R>0\). Therefore, by applying Theorem 4.1, the damped boundary value problem (3.7) has at least one nontrivial T-periodic solution for

$$0< \nu< \nu_{2}:= \sup_{R>0} \frac{R-\omega^{*}R^{\beta}-R^{\alpha +\beta}\omega^{*}L^{\alpha}-R^{\alpha}\omega^{*}L^{\alpha }e^{*}-e^{*}\omega^{*}}{ \omega^{*}R^{\gamma}+\omega^{*}R^{\alpha+\gamma}L^{\alpha}}. $$

Notice that if \(\alpha+\gamma<1\), \(\nu_{2}=\infty\); if \(\alpha +\gamma\geq1>\alpha+\beta\), \(\nu_{2} < \infty\). So the desired results (i) and (ii) are obtained. □

References

  1. 1.

    Bravo, J.L., Torres, P.J.: Periodic solutions of a singular equation with indefinite weight. Adv. Nonlinear Stud. 10, 927–938 (2010)

  2. 2.

    Cabada, A., Cid, J.A.: On the sign of the Green’s function associated to Hill’s equation with an indefinite potential. Appl. Math. Comput. 205, 303–308 (2008)

  3. 3.

    Chu, J., Chen, H., O’Regan, D.: Positive periodic solutions and eigenvalue intervals for systems of second order differential equations. Math. Nachr. 281, 1549–1556 (2008)

  4. 4.

    Chu, J., Ding, J., Jiang, Y.: Lyapunov stability of elliptic periodic solutions of nonlinear damped equations. J. Math. Anal. Appl. 396, 294–301 (2012)

  5. 5.

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

  6. 6.

    Chu, J., Franco, D.: Non-collision periodic solutions of second order singular dynamical systems. J. Math. Anal. Appl. 344, 898–905 (2008)

  7. 7.

    Chu, J., Li, M.: Positive periodic solutions of Hill’s equations with singular nonlinear perturbations. Nonlinear Anal. 69, 276–286 (2008)

  8. 8.

    Chu, J., Li, S., Zhu, H.: Nontrivial periodic solutions of second order singular damped dynamical systems. Rocky Mt. J. Math. 45, 457–474 (2015)

  9. 9.

    Chu, J., Lin, X., Jiang, D., O’Regan, D., Agarwal, R.P.: Multiplicity of positive periodic solutions to second order differential equations. Bull. Aust. Math. Soc. 73, 175–182 (2006)

  10. 10.

    Chu, J., Torres, P.J.: Applications of Schauder’s fixed point theorem to singular differential equations. Bull. Lond. Math. Soc. 39, 653–660 (2007)

  11. 11.

    Chu, J., Torres, P.J., Zhang, M.: Periodic solutions of second order non-autonomous singular dynamical systems. J. Differ. Equ. 239, 196–212 (2007)

  12. 12.

    Chu, J., Zhang, Z.: Periodic solutions of second order superlinear singular dynamical systems. Acta Appl. Math. 111, 179–187 (2010)

  13. 13.

    Fonda, A., Garrione, M., Gidoni, P.: Periodic perturbations of Hamiltonian systems. Adv. Nonlinear Anal. 5(4), 367–382 (2016)

  14. 14.

    Fonda, A., Toader, R.: Periodic orbits of radially symmetric Keplerian-like systems: a topological degree approach. J. Differ. Equ. 244, 3235–3264 (2008)

  15. 15.

    Franco, D., Torres, P.J.: Periodic solutions of singular systems without the strong force condition. Proc. Am. Math. Soc. 136, 1229–1236 (2008)

  16. 16.

    Franco, D., Webb, J.R.L.: Collisionless orbits of singular and nonsingular dynamical systems. Discrete Contin. Dyn. Syst. 15, 747–757 (2006)

  17. 17.

    Graef, J.R., Kong, L., Wang, H.: A periodic boundary value problem with vanishing Green’s function. Appl. Math. Lett. 21, 176–180 (2008)

  18. 18.

    Hakl, R., Torres, P.J., Zamora, M.: Periodic solutions of singular second order differential equations: upper and lower functions. Nonlinear Anal. 74, 7078–7093 (2011)

  19. 19.

    Halk, R., Torres, P.J.: Maximum and antimaximum principles for a second order differential operator with variable coefficients of indefinite sign. Appl. Math. Comput. 217, 7599–7611 (2011)

  20. 20.

    Jiang, D., Chu, J., Zhang, M.: Multiplicity of positive periodic solutions to superlinear repulsive singular equations. J. Differ. Equ. 211, 282–302 (2005)

  21. 21.

    Jiang, Y.X.: Periodic solutions of second-order non-autonomous dynamical systems with vanishing Green’s functions. Electron. J. Differ. Equ. 2019, 47 (2019)

  22. 22.

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

  23. 23.

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

  24. 24.

    Liao, F.-F.: Periodic solutions of second order differential equations with vanishing Green’s functions. Electron. J. Qual. Theory Differ. Equ. 2017, 55 (2017)

  25. 25.

    O’Regan, D.: Existence Theory for Nonlinear Ordinary Differential Equations. Kluwer Academic, Dordrecht (1997)

  26. 26.

    Peng, Z., Lv, H., Chen, G.: Damped vibration problems with sign-changing nonlinearities: infinitely many periodic solutions. Bound. Value Probl. 2017, 141 (2017)

  27. 27.

    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)

  28. 28.

    Rzepnicki, L.: The basis property of eigenfunctions in the problem of a nonhomogeneous damped string. Opusc. Math. 37(1), 141–165 (2017)

  29. 29.

    Torres, P.J.: 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)

  30. 30.

    Torres, P.J.: Weak singularities may help periodic solutions to exist. J. Differ. Equ. 232, 277–284 (2007)

  31. 31.

    Torres, P.J.: Existence and stability of periodic solutions for second order semilinear differential equations with a singular nonlinearity. Proc. R. Soc. Edinb., Sect. A 137, 195–201 (2007)

  32. 32.

    Yan, P., Zhang, M.: Higher order nonresonance for differential equations with singularities. Math. Methods Appl. Sci. 26, 1067–1074 (2003)

  33. 33.

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

  34. 34.

    Zhang, M.: Periodic solutions of equations of Ermakov–Pinney type. Adv. Nonlinear Stud. 6, 57–67 (2006)

  35. 35.

    Zhang, M.: Sobolev inequalities and ellipticity of planar linear Hamiltonian systems. Adv. Nonlinear Stud. 8, 633–654 (2008)

  36. 36.

    Zhang, M.: Optimal conditions for maximum and antimaximum principles of the periodic solution problem. Bound. Value Probl. 2010, Article ID 410986 (2010)

Download references

Acknowledgements

The author would like to express her thanks to Professor Jifeng Chu for his valuable suggestions and useful discussions. The author would also like to give her great thanks to the anonymous referee for his/her valuable suggestions and comments.

Availability of data and materials

Not applicable.

Funding

This work was supported by the Fundamental Research Funds for the Central Universities (No. 2017B17314, No. 2019B44914) and the National Natural Science Foundation of China (No. 11771207).

Author information

Affiliations

Authors

Contributions

The author read and approved the final manuscript.

Corresponding author

Correspondence to Yongxin Jiang.

Ethics declarations

Competing interests

The author declares that she has no competing interests regarding the publication of this paper.

Additional information

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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Jiang, Y. Periodic solutions for second order damped boundary value problem with nonnegative Green’s functions. Bound Value Probl 2019, 189 (2019). https://doi.org/10.1186/s13661-019-01302-6

Download citation

MSC

  • 34B15
  • 34B16
  • 34D20

Keywords

  • Second order damped boundary value problem
  • Nonnegative Green’s function
  • Positive periodic solutions
  • Schauder’s fixed point theorem
  • Leray–Schauder alternative principle