Skip to main content

New existence theory of positive solutions to fourth order p-Laplacian elasticity problems

Abstract

Using a new technique for dealing with the bending term of the fourth order p-Laplacian elasticity problems, several new and more general results are obtained for the existence of at least single, twin or triple positive solutions. It is interesting to point out that estimates on the norms of these solutions will also be provided.

1 Introduction

It is well known that many nonlinear problems can be reduced to the search for solutions of various differential equations. Fixed point methods are often used for proving the existence of such solutions. An overview of such results can be found in Guo et al. [1], in Guo and Lakshmikantham [2], and in Demling [3].

At the same time, we notice that some new techniques via appropriate transformation are proved to be very effective in studying the solvability of differential equations. Such techniques have attracted the attention of Zhang et al. [4] and Wong [5], etc. In [4], Zhang et al. considered the existence of positive solutions of the following problems:

$$ \left \{ \textstyle\begin{array}{@{}l} x^{(n)}(t)+f(t,x(t),x'(t),\ldots,x^{(n-2)}(t))=\theta, \quad t\in J, t\neq t_{k}, k=1,2,\ldots,m, \\ \Delta x^{(n-1)}|_{t=t_{k}}=-I_{k}(x^{(n-2)}(t_{k})), \quad k=1,2,\dots ,m, \\ x^{(i)}(0)=\theta,\quad i=0,1,\ldots,n-3,\\ x^{(n-2)}(0)=x^{(n-2)}(1)=\int_{0}^{1}g(t)x^{(n-2)}(t)\,dt, \end{array}\displaystyle \right . $$
(1.1)

where \(J=[0,1]\).

First, by means of the linear transformation

$$x^{(n-2)}(t)=y(t), $$

the authors converted (1.1) into

$$\left \{ \textstyle\begin{array}{@{}l} x^{(n-2)}(t)=y(t), \quad t\in J,\\ x^{(i)}(0)=\theta, \quad i=1,2,\ldots,n-3, \end{array}\displaystyle \right . $$

and

$$ \left \{ \textstyle\begin{array}{@{}l} -y''(t)=f(t,x(t),x'(t),\ldots,x^{(n-2)}(t)), \quad t\in J, t\neq t_{k},\\ \Delta y'|_{t=t_{k}}=-I_{k}(y(t_{k})), \quad k=1,2,\dots,m,\\ y(0)=y(1)=\int_{0}^{1}g(t)y(t)\,dt. \end{array}\displaystyle \right . $$
(1.2)

Then it follows from Lemma 2.3 in [4] that they converted the results obtained for problem (1.2) to the counterpart for problem (1.2).

In [5], Wong transformed the following problems:

$$ \left \{ \textstyle\begin{array}{@{}l} (-1)^{m}y^{(2m+1)}(t)=F(t,y(t),y^{\prime}(t)), \quad 0< t< 1, \\ y(0)=0,\qquad y^{(2k-1)}(0)=y^{(2k-1)}(1)=0,\quad 0\leq k\leq m \end{array}\displaystyle \right . $$
(1.3)

into

$$\left \{ \textstyle\begin{array}{@{}l} y^{\prime}(t)=x(t),\quad t\in J,\\ y(0)=0, \end{array}\displaystyle \right . $$

and

$$ \left \{ \textstyle\begin{array}{@{}l} (-1)^{m}x^{(2m)}(t)=F(t,y(t),y^{\prime}(t)), \quad 0< t< 1, \\ x^{(2k-2)}(0)=x^{(2k-2)}(1)=0, \quad 1\leq k\leq m \end{array}\displaystyle \right . $$
(1.4)

by using

$$y^{\prime}(t)=x(t). $$

So the existence of a solution of the complementary Lidstone boundary value problem (1.3) follows from the existence of a solution of the Lidstone boundary value problem (1.4). From the proof of the main results of [5], we notice that the above paper requires F to satisfy some assumptions of monotonicity which are essential for the technique used.

Being directly inspired by [4, 5], in the present paper, by using a transformation technique and a fixed point method, we shall investigate the existence and multiplicity of positive solutions for the fourth order p-Laplacian elasticity problems

$$ \left \{ \textstyle\begin{array}{@{}l} (\phi_{p}(y^{\prime\prime}(t)))^{\prime\prime}=F(t,y(t),y^{\prime\prime}(t)), \quad 0< t< 1, \\ ay(0)-by^{\prime}(0)=\int_{0}^{1}g(s)y(s)\,ds,\\ ay(1)+by^{\prime}(1)=\int_{0}^{1}g(s)y(s)\,ds,\\ \phi_{p}(y^{\prime\prime}(0))=\phi_{p}(y^{\prime\prime}(1))=\int_{0}^{1}h(s)\phi_{p}(y^{\prime\prime}(s))\,ds, \end{array}\displaystyle \right . $$
(1.5)

where \(a, b>0\), \(\phi_{p}(t)=|t|^{p-2}t\), \(p>1\), \(\phi_{q}=\phi _{p}^{-1}\), \(\frac{1}{p}+\frac{1}{q}=1\), \(F:[0,1]\times R\times R\rightarrow R\) is continuous.

Problem (1.5) occurs in beam theory; see [6, 7], for example for a beam with small deformation; a beam of a material which satisfies a nonlinear power-like stress and strain law; a beam with two-sided links which satisfies a nonlinear power-like elasticity law. If \(p=2\), \(g=0\) and \(h=0\), in mechanics, problem (1.5) is called the cantilever beam equation [8, 9]. The equation describes the deflection of an elastic beam fixed at the right and freed at the left.

Most research papers on fourth order elasticity problems consider nonlinear terms that as regards F in (1.5) involve y only, and derivative-dependent nonlinearities are seldom tackled; see [1018] to name a few. Besides achieving new results, the presence of the derivative \(y^{\prime\prime}\) in the nonlinear term F requires a special technique to tackle the problem.

The main features of this paper are as follows. First, compared with [618], besides achieving new results, estimates on the norms of these solutions will also be provided. Second, we transform problem (1.5) into a differential systems without bending term, i.e., the technique to deal with bending term is completely different from that of [7, 1921]. Finally, it is pointed out that we do not need any monotone assumption on F, which is weaker than the corresponding assumptions on F in [5].

The rest of the paper is organized as follows: In Section 2, we first present some definitions and lemmas which are needed throughout this paper and then state several fixed point results: Krasnosel’skii’s fixed point theorem in a cone, a new fixed point theorem due to Avery and Henderson and Leggett-Williams’ fixed point theorem. In Section 3, we use Krasnosel’skii’s fixed point theorem to obtain the existence of at least one or two positive solutions of problem (1.5). Section 4 will further discuss the existence of twin positive solutions of problem (1.5). Two new results will be presented by new fixed point theorem due to Avery and Henderson. Section 5 is due to develop existence criteria for (at least) three positive solutions of problem (1.5). In particular, our results in these sections are new when \(p=2\) (the semilinear case). Finally, in Section 6, an example is included to verify the theoretical results. To the best of the authors’ knowledge, it is the first paper where the transformation technique and fixed point method are applied to the fourth order p-Laplacian elasticity problems.

2 Preliminaries

To establish the existence of positive solutions of problem (1.5), let us list the following assumptions, which will hold throughout this paper:

(H1):

\(F\in C([0,1]\times[0,+\infty)\times(-\infty,0],[0,+\infty ))\);

(H2):

\(g,h\in L^{1}[0,1]\) are nonnegative, \(\mu\in[0,a)\), \(\nu\in [0,1)\), where

$$\mu= \int_{0}^{1}g(s)\,ds, \qquad\nu= \int_{0}^{1}h(s)\,ds. $$

We shall reduce elasticity problem (1.5) to a system without the bending term. To this goal, first, by means of the transformation

$$\phi_{p} \bigl(y^{\prime\prime}(t) \bigr)=-x(t). $$

It follows from (1.5) that Lemma 2.1 holds.

Lemma 2.1

(See [22])

Assume that (H2) holds. Then for any \(x\in C[0,1]\), the boundary value problem

$$ \left \{ \textstyle\begin{array}{@{}l} -y^{\prime\prime}(t)=\phi_{q}(x(t)), \quad 0< t< 1, \\ ay(0)-by^{\prime}(0)=\int_{0}^{1}g(s)y(s)\,ds,\\ ay(1)+by^{\prime}(1)=\int_{0}^{1}g(s)y(s)\,ds, \end{array}\displaystyle \right . $$
(2.1)

has a unique solution y given by

$$ y(t)= \int_{0}^{1}H_{1}(t,s)\phi_{q} \bigl(x(s) \bigr)\,ds, $$
(2.2)

where

$$\begin{aligned}& H_{1}(t,s)=G_{1}(t,s)+\frac{1}{a-\mu} \int_{0}^{1}G_{1}(s,v)g(v)\,dv, \end{aligned}$$
(2.3)
$$\begin{aligned}& G_{1}(t,s)=\frac{1}{d} \left \{ \textstyle\begin{array}{@{}l@{\quad}l} (b+as)(b+a(1-t)), & 0\leq s\leq t\leq1,\\ (b+at)(b+a(1-s)), & 0\leq t\leq s\leq1, \end{array}\displaystyle \right . \\& d=a(a+2b). \end{aligned}$$
(2.4)

Taking into account (2.1) and (2.2), problem (1.5) reduces to the following problem:

$$ \left \{ \textstyle\begin{array}{@{}l} x^{\prime\prime}(t)=-F(t,\int_{0}^{1}H_{1}(t,s)\phi_{q}(x(s))\,ds,-\phi _{q}(x(t))), \quad 0< t< 1, \\ x(0)=x(1)=\int_{0}^{1}h(s)x(s)\,ds. \end{array}\displaystyle \right . $$
(2.5)

Lemma 2.2

(See [22])

Assume that (H1)-(H2) hold. Then the boundary value problem (2.5) has a unique solution x given by

$$ x(t)= \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int_{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau ) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds, $$
(2.6)

where

$$\begin{aligned}& H_{2}(t,s)=G_{2}(t,s)+\frac{1}{1-\nu} \int_{0}^{1}G_{2}(s,v)h(v)\,dv, \end{aligned}$$
(2.7)
$$\begin{aligned}& G_{2}(t,s)= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} s(1-t), & 0\leq s\leq t\leq1,\\ t(1-s), & 0\leq t\leq s\leq1. \end{array}\displaystyle \right . \end{aligned}$$
(2.8)

If problem (2.5) has a solution \(x^{*}\), then by (2.2), problem (1.5) has a solution given by

$$y^{*}(t)= \int_{0}^{1}H_{1}(t,s)\phi_{q} \bigl(x^{*}(s) \bigr)\,ds. $$

So the existence of a solution of problem (1.5) follows from the existence of a solution of problem (2.5).

Lemma 2.3

(See [22])

Let (H2) hold. Then we have the following results:

$$\begin{aligned}& G_{1}(t,s)>0, \qquad H_{1}(t,s)>0, \quad \forall t,s \in[0,1], \end{aligned}$$
(2.9)
$$\begin{aligned}& \frac{b^{2}}{d}\leq G_{1}(t,s)\leq G_{1}(s,s)\leq \frac{(a+b)^{2}}{d},\quad \forall t,s\in[0,1], \end{aligned}$$
(2.10)
$$\begin{aligned}& \rho_{1}\leq H_{1}(t,s)\leq H_{1}(s,s)\leq \rho_{2},\quad \forall t,s\in [0,1], \end{aligned}$$
(2.11)

where

$$\rho_{1}=\frac{b^{2}\gamma_{1}}{a+2b}, \qquad \rho_{2}= \frac{\gamma _{1}(a+b)^{2}}{a+2b}, \qquad\gamma_{1}=\frac{1}{a-\mu}. $$

Lemma 2.4

(See [22])

Let (H2) hold. Then we obtain the following results:

$$\begin{aligned}& G_{2}(t,s)\geq0, \qquad H_{2}(t,s)\geq0, \quad \forall t,s \in [0,1], \end{aligned}$$
(2.12)
$$\begin{aligned}& G_{2}(t,s)> 0, \qquad H_{2}(t,s)> 0, \quad \forall t,s \in(0,1), \end{aligned}$$
(2.13)
$$\begin{aligned}& G_{2}(t,t)G_{2}(s,s)\leq G_{2}(t,s)\leq G_{2}(s,s)\leq\frac{1}{4}, \quad \forall t,s \in[0,1], \end{aligned}$$
(2.14)
$$\begin{aligned}& \rho G_{2}(s,s)\leq H_{2}(t,s)\leq\gamma_{2}G_{2}(s,s) \leq\frac {1}{4}\gamma_{2}, \quad \forall t,s \in[0,1], \end{aligned}$$
(2.15)

where

$$\rho=\frac{\int_{0}^{1}G_{2}(\tau,\tau)h(\tau)\,d\tau}{1-\nu}, \qquad \gamma _{2}=\frac{1}{1-\nu}. $$

It is clear from (2.2) that \(\|y^{*}\|\leq\rho_{2}\phi_{q}(\|x^{*}\|)\), moreover, if \(x^{*}\) is positive, so is \(y^{*}\).

Let \(J=[0,1]\), \(E=C[0,1]\). It is well known that E is a real Banach space with the norm \(\|\cdot\|\) defined by \(\|x\|=\max_{t\in J}|x(t)|\).

Define an operator \(T:E\rightarrow E\) as follows:

$$ (Tx) (t)= \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int_{0}^{1}H_{1}(s,\tau)\phi _{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds. $$
(2.16)

Let K be a cone in E which is defined as

$$ K= \bigl\{ x\in E:x(t)\geq0, \mbox{and } x(t)\geq\delta\|x\| \mbox{ for }t\in J \bigr\} , $$
(2.17)

where

$$\delta=\frac{\rho}{\gamma_{2}}. $$

Lemma 2.5

Let (H1)-(H2) hold. Then we have \(T(K)\subset K\), and \(T:K\rightarrow K\) is completely continuous.

Proof

In view of condition (2.15), we see that

$$\begin{aligned} \|Tx\|&=\max_{t\in J} \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &\leq \int_{0}^{1}\gamma_{2}G_{2}(s,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds. \end{aligned}$$

Moreover, it follows from (2.15) that

$$\begin{aligned} (Tx) (t)&= \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int_{0}^{1}H_{1}(s,\tau)\phi _{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &\geq \int_{0}^{1}\rho G_{2}(s,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &\geq\delta\|Tx\|. \end{aligned}$$

This proves that \(T(K)\subset K\).

Next by standard methods and the Ascoli-Arzela theorem one can prove that \(T: K\rightarrow K\) is completely continuous. So this is omitted. □

In the rest of this section, we state several fixed point theorems which we needed later.

Lemma 2.6

(See [13])

Let P be a cone of real Banach space E, and \(\Omega_{1}\) and \(\Omega_{2}\) be two bounded open sets in E such that \(0\in\Omega_{1}\) and \(\bar{\Omega}_{1}\subset\Omega_{2}\). Let operator \(A:P\cap(\bar{\Omega}_{2}\setminus\Omega_{1})\rightarrow P\) be completely continuous. Suppose that one of the two conditions

  1. (i)

    \(\|Ax\|\leq\|x\|\), \(\forall x\in P\cap\partial\Omega_{1}\) and \(\|Ax\| \geq\|x\|\), \(\forall x\in P\cap\partial\Omega_{2}\),

  2. (ii)

    \(\|Ax\|\geq\|x\|\), \(\forall x\in P\cap\partial\Omega_{1}\) and \(\|Ax\| \leq\|x\|\), \(\forall x\in P\cap\partial\Omega_{2}\)

is satisfied. Then A has at least one fixed point in \(P\cap(\bar{\Omega}_{2}\setminus\Omega_{1})\).

Remark 2.1

To make clear what \(\bar{\Omega}_{2}\), \(\partial\Omega _{2}\), \(\partial\Omega_{1}\), and \(\Omega_{2}\backslash\bar{\Omega}_{1}\) mean, we give typical examples of \(\Omega_{1}\) and \(\Omega_{2}\), e.g.,

$$\Omega_{1}= \bigl\{ x\in C[a,b]: \|x\|_{\infty}< r \bigr\} ,\qquad \Omega_{2}= \bigl\{ x\in C[a,b]: \|x\|_{\infty}< R \bigr\} $$

with \(0< r< R\), where \(\|x\|_{\infty}=\sup_{t\in J}|x(t)|\).

Given a nonnegative continuous functional ψ on a cone P of a real Banach space, we define, for each \(r>0\), the set

$$P(\psi,r)= \bigl\{ u\in P:\psi(u)< r \bigr\} . $$

Lemma 2.7

(See [23])

Let P be a cone in a real Banach space. Let α and γ be increasing nonnegative continuous functional on P, and let θ be a nonnegative continuous functional on P with \(\theta(0)=0\) such that, for some \(c>0\) and \(H>0\),

$$\gamma(x)\leq\theta(x)\leq\alpha(x) \quad\textit{and}\quad \|x\|\leq H\gamma(x) $$

for all \(x\in\overline{P(\gamma,c)}\). Suppose there exists a completely continuous operator \(A:\overline{P(\gamma,c)}\rightarrow P\) and \(0< r_{1}< r_{2}< c\) such that

$$\theta(\lambda x)\leq\lambda\theta(x) \quad\textit{for }0\leq\lambda\leq1 \textit{ and }x\in\partial P(\theta,r_{2}), $$

and

  1. (i)

    \(\gamma(Ax)>c\) for all \(x\in\partial P(\gamma,c)\);

  2. (ii)

    \(\theta(Ax)< r_{2}\) for all \(x\in\partial P(\theta,r_{2})\);

  3. (iii)

    \(P(\alpha,r_{1})\neq{\emptyset}\) and \(\alpha(Ax)>r_{1}\) for \(x\in\partial P(\alpha,r_{1})\).

Then A has at least two positive solutions \(x_{1}\) and \(x_{2}\) belonging to \(\overline{P(\gamma,c)}\) satisfying

$$r_{1}< \alpha(x_{1}), \quad \textit{with } \theta(x_{1})< r_{2}, \quad\textit{and}\quad r_{2}< \theta(x_{2}) \quad\textit{with } \gamma(x_{2})< c. $$

Let \(0< r_{1}< r_{2}\) be given and let β be a nonnegative continuous concave functional on the cone K. Define the convex sets \(K_{r_{1}}\), \(K(\beta,r_{1},r_{2})\) by

$$\begin{aligned}& K_{r_{1}}=\bigl\{ x\in K:\|x\|< r_{1}\bigr\} , \\& K(\beta,r_{1},r_{2})= \bigl\{ x\in K: r_{1}\leq \beta(x), \|x\|\leq r_{2} \bigr\} . \end{aligned}$$

Finally we state the Leggett-Williams fixed point theorem [24].

Lemma 2.8

(See [24])

Let K be a cone in a real Banach space E, \(A:\bar{K}_{c}\rightarrow\bar{K}_{c}\) be completely continuous and β be a nonnegative continuous concave functional on K with \(\beta(x)\leq\|x\|\) for all \(x\in K_{r_{1}}\). Suppose there exist \(0< d < r_{1} < r_{2} \leq c\) such that

  1. (i)

    \(\{x\in K(\beta,r_{1},r_{2}): \beta(x)>r_{1}\} \neq{\emptyset}\) and \(\beta(Ax)>r_{1}\) for \(x\in K(\beta,r_{1},r_{2})\);

  2. (ii)

    \(\|Ax\|< d\) for \(\|x\|\leq d\);

  3. (iii)

    \(\beta(Ax)>r_{1}\) for \(x\in K(\beta,r_{1},c)\) with \(\|Ax\| >r_{2}\).

Then A has at least three positive solutions \(x_{1}\), \(x_{2}\), \(x_{3}\) satisfying

$$\|x_{1}\|< d,\qquad r_{1}< \beta(x_{2}),\qquad \|x_{3}\|>d \quad\textit{and}\quad \beta(x_{3})< r_{1}. $$

3 Single or twin solutions of problem (1.5)

In this section, we apply Lemma 2.6 to establish the existence of positive solutions for problem (1.5). We begin by introducing the following conditions on \(F(t,u,v)\):

(H3):

There exist two positive constants r, R with \((\rho _{2}+1)\phi_{q}(r)<(\rho_{1}+1)\phi_{q}(\delta R)\) such that

$$\begin{aligned}& F(t,u,v)\leq\frac{1}{\eta}r,\quad \forall t\in J, |u|+|v|\leq( \rho_{2}+1)\phi_{q}(r), \end{aligned}$$
(3.1)
$$\begin{aligned}& F(t,u,v)\geq\frac{1}{\rho\beta\delta} R,\quad \forall t\in J, |u|+|v|\geq( \rho_{1}+1)\phi_{q}(\delta R), \end{aligned}$$
(3.2)

where

$$\eta=\frac{1}{4}\gamma_{2}, \qquad \sigma=\rho_{1} \delta^{q-1} , \qquad \beta = \int_{0}^{1}s(1-s)\,ds=\frac{1}{6}. $$

Theorem 3.1

Assume that (H1)-(H3) hold. Then we have the following conclusions:

  1. (i)

    Problem (2.5) has (at least) one positive solution \(x\in K\) such that

    $$ \delta r\leq x(t)\leq\frac{1}{\delta} R, \quad t\in J. $$
    (3.3)
  2. (ii)

    Problem (1.5) has (at least) one positive solution y such that

    $$ \left \{ \textstyle\begin{array}{@{}l} y(t)=\int_{0}^{1}H_{1}(t,s)\phi_{q}(x(s))\,ds,\quad t\in J;\\ \|y\|\leq\rho_{2}\phi_{q}(\|x\|);\\ y(t)\geq\sigma\phi_{q}(\|x\|), \quad t\in J. \end{array}\displaystyle \right . $$
    (3.4)

We further have

$$ \sigma\phi_{q}(r)\leq y(t) \leq\rho_{2}\phi_{q} \biggl(\frac{1}{\delta}R \biggr), \quad t\in J. $$
(3.5)

Proof

Let T be the cone preserving, completely continuous operator that was defined by (2.16).

Let \(x\in K\) with \(\|x\|=r\). Then \(0\leq\phi_{q}(x(t))\leq\phi _{q}(r)\), \(t\in J\), and

$$0\leq \int_{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau\leq\rho_{2} \phi_{q}(r). $$

And hence for \(x\in K\) with \(\|x\|=r\), we have

$$\biggl| \int_{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau\biggr|+\bigl|{-}\phi_{q} \bigl(x(t) \bigr)\bigr|\leq (\rho_{2}+1)\phi_{q}(r). $$

Then it follows from (3.1) that

$$\begin{aligned} \|Tx\|&=\max_{t\in J} \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &\leq\eta\frac{1}{\eta}r=r. \end{aligned}$$
(3.6)

Now if we let \(\Omega_{1}=\{x\in K:\|x\|< r\}\), then (3.6) shows that

$$ \|Tx\|\leq\|x\|, \quad x\in\partial\Omega_{1}. $$
(3.7)

Further, let

$$ R_{1}=\frac{1}{\delta}R, $$
(3.8)

and

$$\Omega_{2}=\bigl\{ x\in K:\|x\|< R_{1}\bigr\} . $$

Then \(x\in K\) and \(\|x\|=R_{1}\) implies

$$x(t)\geq\delta x(s),\quad t,s\in J, $$

that is,

$$x(t)\geq\delta R_{1}=R, \quad t\in J. $$

Hence, \(\phi_{q}(x(t))\geq\phi_{q}(R)\) for all \(t\in J\), and

$$\begin{aligned} \int_{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau\geq\rho_{1} \int _{0}^{1}\phi_{q} \bigl(x(\tau) \bigr)\,d\tau \geq\rho _{1}\phi_{q}\bigl(\delta\|x\|\bigr). \end{aligned}$$

So

$$\biggl|\int_{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau\biggr|+\bigl|{-}\phi_{q} \bigl(x(t) \bigr)\bigr|\geq (\rho_{1}+1)\phi_{q}(\delta R). $$

Using condition (3.2), it follows from \(x\in K\) and \(\|x\|=R_{1}\) that

$$\begin{aligned} \|Tx\|&=\max_{t\in J} \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &\geq\rho\beta\frac{1}{\rho\beta\delta}R=\frac{R}{\delta}=R_{1}, \end{aligned}$$

that is, \(x\in\partial\Omega_{2}\) implies

$$ \|Tx\|\geq \|x\|. $$
(3.9)

It follows from Lemma 2.6 that problem (2.5) has (at least) one positive solution \(x\in\bar{\Omega}_{2}\setminus\Omega_{1}\) satisfying (3.3).

It is observed from (2.2) that problem (1.5) has (at least) one positive solution y such that

$$y= \int_{0}^{1}H_{1}(t,s)\phi_{q} \bigl(x(s) \bigr)\,ds, \quad t\in J \mbox{ and } \|y\| \leq\rho_{2} \phi_{q}\bigl(\|x\|\bigr). $$

Moreover, since \(x\in K\), we get for \(t\in J\),

$$\begin{aligned} y(t)&= \int_{0}^{1}H_{1}(t,s)\phi_{q} \bigl(x(s) \bigr)\,ds \\ & \geq\rho_{1} \int_{0}^{1}\phi_{q} \bigl(x(s) \bigr)\,ds \\ & \geq\rho_{1}\phi_{q}\bigl(\delta\|x\|\bigr) \\ & =\sigma\phi_{q}\bigl(\|x\|\bigr). \end{aligned}$$

Then we get (3.4).

Further, it follows from (3.3) and (3.4) that (3.5) holds. □

In Theorem 3.2 we assume the following condition on \(F(t,u,v)\):

(H4):

There exist two positive constants r, R with \((\rho _{2}+1)\phi_{q}(r)< R\) such that:

$$\begin{aligned}& F(t,u,v)\geq\frac{1}{\rho_{1}\phi_{p}(\rho_{1}+1)\beta\delta}\phi_{p} \bigl(|u|+|v|\bigr),\quad \forall t\in J, |u|+|v|\leq(\rho_{2}+1)\phi_{q}(r), \end{aligned}$$
(3.10)
$$\begin{aligned}& F(t,u,v)\leq\frac{1}{2\eta\phi_{p}(\rho_{2}+1)} \phi_{p}\bigl(|u|+|v|\bigr),\quad \forall t\in J, |u|+|v|\geq R, \end{aligned}$$
(3.11)

and we write

$$ M=\max_{\forall t\in J, |u|+|v|\leq R}F(t,u,v). $$
(3.12)

Theorem 3.2

Assume that (H1)-(H2) and (H4) hold. Then we have the following conclusions:

  1. (i)

    Problem (2.5) has (at least) one positive solution \(x\in K\) such that

    $$ \delta r\leq x(t)\leq\max \biggl\{ 2\eta M, \phi_{p} \biggl( \frac{R}{\phi _{q}(\delta)(\rho_{1}+1)} \biggr) \biggr\} , \quad t\in J. $$
    (3.13)
  2. (ii)

    Problem (1.5) has (at least) one positive solution y such that (3.4) holds. We further have

    $$ \sigma\delta\phi_{q}(r)\leq y(t) \leq\max \biggl\{ \rho_{2} \phi _{q}(2\eta M), \frac{\rho_{2}R}{\phi_{q}(\delta)(\rho_{1}+1)} \biggr\} ,\quad t\in J. $$
    (3.14)

Proof

Let \(x\in K\) with \(\|x\|=r\). Then \(0\leq\phi _{q}(x(t))\leq\phi_{q}(r)\), \(t\in J\), and

$$0\leq \int_{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau\leq\rho_{2} \phi_{q}(r). $$

And hence for \(x\in K\) with \(\|x\|=r\), we have

$$0\leq\biggl| \int_{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau\biggr|+\bigl|{-}\phi _{q} \bigl(x(t) \bigr)\bigr|\leq(\rho_{2}+1)\phi_{q}(\delta r), $$

and it follows from condition (3.10) that

$$\begin{aligned} \|Tx\|&=\max_{t\in J} \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &\geq\rho_{1}\beta\frac{1}{\rho_{1}\beta\delta\phi _{p}(\rho_{1}+1)}\phi_{p} \bigl[( \rho_{1}+1)\phi_{q}(\delta r) \bigr]=r, \end{aligned}$$
(3.15)

that is, \(x\in\partial\Omega_{1}\) implies that

$$ \|Tx\|\geq\|x\|. $$
(3.16)

From (3.11) and (3.12), we have

$$ F(t,u,v)\leq M+\frac{1}{2\eta\phi_{p}(\rho_{2}+1)} \phi_{p}\bigl(|u|+|v|\bigr),\quad (t,u,v)\in J\times [0,\infty)\times(-\infty, 0 ]. $$
(3.17)

Further, let

$$ R_{2}>\max \biggl\{ 2\eta M, \phi_{p} \biggl( \frac{R}{\phi_{q}(\delta)(\rho _{1}+1)} \biggr) \biggr\} $$
(3.18)

and

$$\Omega_{3}=\bigl\{ x\in K:\|x\|< R_{2}\bigr\} . $$

Noticing that for \(x\in\partial\Omega_{3}\) we have

$$R< (\rho_{1}+1)\phi_{q}(\delta R_{2})\leq \biggl|\int_{0}^{1}H_{1}(s,\tau)\phi _{q} \bigl(x(\tau) \bigr)\,d\tau\biggr|+\bigl| {-}\phi_{q} \bigl(x(t) \bigr)\bigr|. $$

Thus, for \(x\in\partial\Omega_{3}\), it follows from (3.17) that

$$\begin{aligned} \|Tx\|&=\max_{t\in J} \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &\leq\eta \int_{0}^{1} \biggl(M+\frac{1}{2\eta\phi_{p}(\rho _{2}+1)} \phi_{p} \bigl((\rho_{2}+1)\phi_{q}(R_{2}) \bigr) \biggr)\,ds \\ & =\eta M+\frac{1}{2}R_{2} \\ & < R_{2}, \end{aligned}$$

that is, \(x\in\partial\Omega_{3}\) implies

$$ \|Tx\|< \|x\|. $$
(3.19)

It now follows from Lemma 2.6 that problem (2.5) has (at least) one positive solution \(x\in\bar{\Omega}_{3}\setminus\Omega_{1}\) satisfying (3.13).

It follows from (2.2) that problem (1.5) has (at least) one positive solution y. Similar to the proof of (3.5), one can show that y satisfies (3.14). □

Theorem 3.3

Assume that (H1)-(H2), (3.2) of (H3) and (3.10) of (H4) hold. In addition, let f satisfies the following condition:

(H5):

Let l, \(\zeta_{i} \) (\(i=1,2\)) and L satisfy

$$0< l< \delta\zeta_{1}< \zeta_{1}< \delta\zeta_{2}< \zeta_{2}< L< \infty. $$

If

$$\max_{\forall t\in J, \phi_{q}(\delta\zeta_{i})\leq|u|+|v|\leq (\rho_{2}+1)\phi_{q}(\zeta_{i})}F(t,u,v)< \frac{1}{\eta}\zeta_{i}, \quad i=1,2, $$

then we have the following conclusions:

  1. (i)

    Problem (2.5) has (at least) two positive solutions \(x_{1},x_{2}\in K\) such that

    $$ \delta l\leq x_{1}(t)\leq\zeta_{1}< \delta \zeta_{2}\leq x_{2}(t)\leq L,\quad t\in J. $$
    (3.20)
  2. (ii)

    Problem (1.5) has (at least) two positive solutions \(y_{1}\), \(y_{2}\) such that, for \(i=1,2\),

    $$ \left \{ \textstyle\begin{array}{@{}l} y_{i}(t)=\int_{0}^{1}H_{1}(t,s)\phi_{q}(x_{i}(s))\,ds, \quad t\in J;\\ \|y_{i}\|\leq\rho_{2}\phi_{q}(\|x_{i}\|);\\ y_{i}(t)\geq\sigma\phi_{q}(\|x_{i}\|), \quad t\in J. \end{array}\displaystyle \right . $$
    (3.21)

We further have

$$ \left \{ \textstyle\begin{array}{@{}l} y_{1}(t)> \sigma\phi_{q}(l), \quad t\in J;\\ \|y_{2}\|\leq\rho_{2}\phi_{q}(L). \end{array}\displaystyle \right . $$
(3.22)

Proof

If (3.10) of (H4) holds, similar to the proof of (3.16), we can prove that

$$ \|Tx\|\geq\|x\|,\quad x\in K, \|x\|=l. $$
(3.23)

If (3.2) of (H3) holds, similar to the proof of (3.9), we have

$$ \|Tx\|\geq\|x\|,\quad x\in K, \|x\|=L. $$
(3.24)

Finally, we show that

$$ \|Tx\|< \|x\|,\quad x\in K, \|x\|=\zeta_{i}, i=1,2. $$
(3.25)

In fact, for \(x\in K\) with \(\|x\|=\zeta_{i}\) (\(i=1,2\)) then we have

$$x(t)\leq\|x\|= \zeta_{i},\quad i=1,2, $$

and

$$\rho_{1}\phi_{q}(\delta\zeta_{i})\leq \int_{0}^{1}H_{1}(s,\tau)\phi _{q} \bigl(x(\tau) \bigr)\,d\tau\leq\rho_{2} \phi_{q}(\zeta_{i}),\quad i=1,2. $$

Therefore,

$$\begin{aligned} &\phi_{q}(\delta\zeta_{i})< (\rho_{1}+1) \phi_{q}(\delta\zeta_{i})\leq \biggl| \int_{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau\biggr|+\bigl|{-}\phi_{q} \bigl(x(s) \bigr)\bigr|\leq (\rho_{2}+1)\phi_{q}(\zeta_{i}),\\ &\quad i=1,2, \end{aligned}$$

and hence it follows from (H5) that

$$\begin{aligned} \|Tx\|&=\max_{t\in J} \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &< \eta\frac{1}{\eta}\zeta_{i}=\zeta_{i},\quad i=1,2, \end{aligned}$$

which shows that (3.25) holds.

Applying Lemma 2.6 to (3.23), (3.24) and (3.25) shows that problem (2.5) has (at least) two positive solutions \(x_{1}\), \(x_{2}\) with \(x_{1}\in K_{l,\zeta_{1}}=\{x \in K, l \leq\|x\| \leq\zeta_{1} \}\), \(x_{2}\in K_{\zeta_{2},L}=\{x \in K, \zeta_{2}\leq\|x\| \leq L \}\). Hence, since for \(x_{i}\in K\) we have \(x_{i}(t)\geq \delta\|x_{i}\|\), \(t \in J\), \(i=1,2\), it follows that (3.20) holds.

Similar to the proof of (3.4) and (3.5), one can show that (3.21) and (3.22) hold. □

In Theorem 3.4 we assume the following condition on \(F(t,u,v)\):

(H6):

There exist two constants r, R with \(0< r< \delta R\) such that

$$\begin{aligned}& F(t,u,v)\leq\frac{1}{\eta}r, \quad \forall(t,u,v)\in J\times \bigl[\rho _{1}\phi_{q}(\delta r),\rho_{2} \phi_{q}(r) \bigr]\times \bigl[-\phi_{q}(r),-\phi _{q}(\delta r) \bigr]; \\& F(t,u,v)\geq\frac{1}{\rho\beta}R, \quad \forall(t,u,v)\in J\times \bigl[ \rho_{1}\phi_{q}(\delta R),\rho_{2} \phi_{q}(R) \bigr]\times \bigl[-\phi _{q}(R),- \phi_{q}(\delta R) \bigr]. \end{aligned}$$

Theorem 3.4

Assume that (H1)-(H2) and (H6) hold. Then we have the following conclusions:

  1. (i)

    Problem (2.5) has (at least) one positive solution \(x\in K\) such that

    $$ \delta r\leq x(t)\leq R,\quad t\in J. $$
    (3.26)
  2. (ii)

    Problem (1.5) has (at least) one positive solution y such that (3.4) holds. We further have

    $$ \sigma\phi_{q}(r)\leq y(t) \leq\rho_{2} \phi_{q}(R), \quad t\in J. $$
    (3.27)

Proof

For \(x\in K\) with \(\|x\|=r\), we have \(x(s)\in[\delta r,r]\), and

$$\begin{aligned}& \int_{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau\in \bigl[\rho_{1}\phi _{q}(\delta r),\rho_{2}\phi_{q}(r) \bigr],\\& - \phi_{q} \bigl(x(s) \bigr)\in \bigl[-\phi _{q}(r),- \phi_{q}(\delta r) \bigr], \quad\forall s\in J. \end{aligned}$$

Then, for \(t\in J\), we have

$$\begin{aligned} (Tx) (t)&= \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int_{0}^{1}H_{1}(s,\tau)\phi _{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ & \leq \int_{0}^{1}\gamma_{2}G_{2}(s,s)\,ds \cdot\frac {1}{\eta}r \\ & =r, \end{aligned}$$

i.e. \(x\in\partial\Omega_{1}\) implies

$$ \|Tx\|\leq\|x\|. $$
(3.28)

On the other hand, for \(x\in K\) with \(\|x\|=R\), we have \(x\in[\delta R,R]\), and \(\phi_{q}(x)\in[-\phi_{q}(R), -\phi_{q}(\delta R)]\), \(\int _{0}^{1}H_{1}(s,\tau)\phi_{q}(x(\tau))\,d\tau\in[\rho_{1}\phi_{q}(\delta R),\rho_{2}\phi_{q}(R)]\), \(\forall s\in J\). Then, for \(t\in J\), we have

$$\begin{aligned} (Tx) (t)&= \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int_{0}^{1}H_{1}(s,\tau)\phi _{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ & \geq \int_{0}^{1}\rho G_{2}(s,s)\,ds\cdot \frac {6}{\rho}R \\ & =R, \end{aligned}$$

i.e. \(x\in\partial\Omega_{2}\) implies

$$ \|Tx\|\geq\|x\|. $$
(3.29)

Applying Lemma 2.6 to (3.28) and (3.29) shows that T has a fixed point \(x\in K\cap(\bar{\Omega}_{2}\backslash\Omega_{1})\) with (3.26). It is observed from (2.2) that problem (1.5) has one solution y such that

$$y(t)= \int_{0}^{1}H_{1}(t,s)\phi_{q} \bigl(x(s) \bigr)\,ds, \quad \mbox{and}\quad y(t)\in \bigl[\sigma \phi_{q}( r),\rho_{2}\phi_{q}(R) \bigr],\quad t \in J. $$

 □

We remark that the condition (H6) in Theorem 3.4 can be replaced by the following condition:

(H7):

There exist two constants r, R with \(0< r<\delta R\) such that

$$\begin{aligned}& F(t,u,v)\geq\frac{1}{\rho\beta}r, \quad \forall(t,u,v)\in J\times \bigl[ \rho_{1}\phi_{q}(\delta r),\rho_{2} \phi_{q}(r) \bigr]\times \bigl[-\phi_{q}(r),\phi _{q}(\delta r) \bigr]; \\& F(t,u,v)\leq\frac{1}{\eta}R, \quad \forall(t,u,v)\in J\times \bigl[\rho _{1}\phi_{q}(\delta R),\rho_{2} \phi_{q}(R) \bigr]\times \bigl[-\phi_{q}(R),\phi _{q}(\delta R) \bigr]. \end{aligned}$$

Corollary 3.1

If the condition (H6) in Theorem  3.4 is replaced by (H7), respectively, then the conclusions of Theorem  3.4 also hold.

4 Further results on twin solutions

In the previous section, we have obtained some results on the existence of at least two positive solutions for problem (1.5). In this section, we will further discuss the existence of two positive solutions for problem (1.5) in the more general case.

For \(x\in K\), we define the nonnegative increasing continuous functionals θ, \(\theta_{1}\) and \(\theta_{2}\) by

$$\begin{aligned}& \theta(x)=\min_{t\in J}x(t), \\& \theta_{1}(x)=\max_{t\in[0,\frac{1}{2}]}x(t), \end{aligned}$$

and

$$\theta_{2}(x)=\max_{t\in J}x(t). $$

It is easy to see that, for each \(x\in K\),

$$ \theta(x)\leq\theta_{1}(x)\leq\theta_{2}(x). $$
(4.1)

In addition, for each \(x\in K\), \(\theta(x)=x(1)\geq\delta\|x\|\), which implies that

$$ \|x\|\leq\frac{1}{\delta}\theta(x)\quad \mbox{for all }x\in K. $$
(4.2)

Finally, we also note that

$$\theta_{1}(\lambda x)=\lambda\theta_{1}(x) \quad\mbox{for }0 \leq\lambda\leq1 \mbox{ and }x\in\partial K(\theta_{1},r), $$

where \(r>0\).

For notational convenience, we denote

$$N=\rho\beta, \qquad N_{1}=\eta. $$

We now present the results in this section.

Theorem 4.1

Suppose that there exist constants \(0< a< b< c\) such that

$$0< a< \frac{N}{N_{1}}b< \frac{\delta N}{ N_{1}}c. $$

Assume F satisfies the following conditions:

(C1):

\(F(t,u,v)>\frac{c}{N}\) for \((t,u,v)\in J\times[\rho _{1}\phi_{q}(c),\rho_{2}\phi_{q}(\frac{c}{\delta})]\times[-\phi _{q}(\frac{c}{\delta}),-\phi_{q}(c)]\);

(C2):

\(F(t,u,v)<\frac{b}{N_{1}}\) for \((t,u,v)\in J\times[0,\rho _{2}\phi_{q}(\frac{b}{\delta})]\times[-\phi_{q}(\frac{b}{\delta}),0]\);

(C3):

\(F(t,u,v)>\frac{a}{N} for (t,u,v)\in J\times[\rho _{1}\phi_{q}(\delta a),\rho_{2}\phi_{q}(a)]\times[-\phi_{q}(a),-\phi _{q}(\delta a)]\).

Then we have the following conclusions:

  1. (i)

    Problem (2.5) has at least two positive solutions \(x_{1}\) and \(x_{2}\) such that

    $$ a< \theta_{2}(x_{1}), \quad \textit{with } \theta_{1}(x_{1})< b, \quad\textit{and}\quad b< \theta_{1}(x_{2}) \quad \textit{with } \theta(x_{2})< c. $$
    (4.3)
  2. (ii)

    Problem (1.5) has (at least) two positive solutions \(y_{1}\) and \(y_{2}\) such that for \(i=1,2\)

    $$ \left \{ \textstyle\begin{array}{@{}l} y_{i}(t)=\int_{0}^{1}H_{1}(t,s)\phi_{q}(x_{i}(s))\,ds, \quad t\in J;\\ \|y_{i}\|\leq\rho_{2}\phi_{q}(\|x_{i}\|);\\ y_{i}(t)\geq\sigma\phi_{q}(\|x_{i}\|), \quad t\in J. \end{array}\displaystyle \right . $$
    (4.4)

We further have

$$ \left \{ \textstyle\begin{array}{@{}l} \|y_{1}\|>\sigma\phi_{q}(a);\\ y_{2}(t)< \rho_{2}\phi_{q}(\|x\|_{2}),\quad t\in J. \end{array}\displaystyle \right . $$
(4.5)

Proof

By the definition of operator T and its properties, it suffices to show that the conditions of Lemma 2.7 hold with respect to T.

We first show that if \(x\in\partial K(\theta,c)\), then \(\theta(Tx)>c\).

In fact, if \(x\in\partial K(\theta,c)\), then \(\theta(x)=\min_{t\in J}x(t)=x(1)=c\). Since \(x\in K\), one can get \(x(t)\geq c\) for \(t\in J\). Noticing (4.2), we have

$$c\leq x(t)\leq\frac{1}{\delta}c, \quad t\in J, $$

which shows that

$$\rho_{1}\phi_{q}(c)\leq \int_{0}^{1}H_{1}(t,s)\phi_{q} \bigl(x(s) \bigr)\,ds\leq\rho _{2}\phi_{q} \biggl( \frac{1}{\delta}c \biggr), \qquad -\phi_{q} \biggl( \frac{1}{\delta}c \biggr)\leq-\phi_{q} \bigl(x(s) \bigr)\leq- \phi_{q}(c). $$

As a consequence of (C1)

$$F(t,u,v)>\frac{c}{N} \quad\mbox{for }t\in J. $$

Also, \(Tx\in K\), and hence we get

$$\begin{aligned} \theta(Tx)&=\min_{t\in J}(Tx) (t)=(Tx) (0) \\ &=\min_{t\in J} \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr),-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &>\rho\beta\frac{c}{N} \\ &=c. \end{aligned}$$

Next, we verify that \(\theta_{1}(Tx)< b\) for \(x\in\partial K(\theta_{1},b)\).

So, let us choose \(x\in\partial K(\theta_{1},b)\), then

$$\theta_{1}(x)=\max_{t\in[0,\frac{1}{2}]}x(t)=b. $$

This implies that \(0\leq x(t)\leq b\) for \(t\in[0,\frac{1}{2}]\), and, since \(x\in K\), we also have

$$x(t)\leq\|x\|\leq\frac{1}{\delta}\theta(x)\leq\frac{1}{\delta}\theta _{1}(x)=\frac{1}{\delta}b, $$

which implies that

$$0\leq x(t)\leq\frac{1}{\delta}b,\quad t\in J, $$

and then

$$0\leq \int_{0}^{1}H_{1}(t,s) \phi_{q}(s)\,ds\leq\rho_{2}\phi_{q} \biggl( \frac {1}{\delta}b \biggr), \qquad -\phi_{q} \biggl( \frac{1}{\delta}b \biggr)\leq-\phi_{q} \bigl(x(s) \bigr)\leq0. $$

It follows from (C2) that

$$F(t,u,v)< \frac{b}{N_{1}} \quad\mbox{for }(t,u,v)\in J\times \biggl[0, \rho_{2}\phi _{q} \biggl(\frac{b}{\delta} \biggr) \biggr] \times \biggl[-\phi_{q} \biggl(\frac{b}{\delta} \biggr),0 \biggr]. $$

Noticing \(Tx\in K\), we obtain

$$\begin{aligned} (Tx) (t)&= \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int_{0}^{1}H_{1}(s,\tau)\phi _{q} \bigl(x(\tau) \bigr),-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &< \eta\frac{b}{N_{1}} \\ &=b. \end{aligned}$$

Finally, we prove that \(K(\theta_{2},a)\neq{\emptyset}\) and \(\theta_{2}(Tx)>a\) for all \(x\in\partial K(\theta_{2},a)\).

In fact, the constant \(\frac{a}{3}\in K(\theta_{2},a)\). Moreover, for \(x\in\partial K(\theta_{2},a)\), we have

$$\theta_{2}(x)=\max_{t\in J}x(t)=a, $$

which implies that

$$\delta a\leq x(t)\leq a,\quad t\in J, $$

and then

$$\rho_{1}\phi_{q} \biggl(\frac{1}{\delta}a \biggr)\leq \int_{0}^{1}H_{1}(t,s)\phi _{q}(s)\,ds\leq\rho_{2}\phi_{q}(a), \qquad - \phi_{q}(a)\leq-\phi_{q} \bigl(x(s) \bigr)\leq- \phi_{q} \biggl(\frac{1}{\delta} a \biggr). $$

Using assumption (C3), we have

$$F(t,u,v)>\frac{a}{N} \quad\mbox{for }(t,u,v)\in J\times \bigl[\rho_{1} \phi_{q}(\delta a),\rho_{2}\phi_{q}(a) \bigr] \times \bigl[-\phi_{q}(a),-\phi_{q}(\delta a) \bigr]. $$

As before \(Tx\in K\), and so

$$\begin{aligned} \theta_{2}(Tx)&=\max_{t\in J}(Tx) (t) \\ &=\max_{t\in J} \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr),-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &>\rho\eta\frac{a}{N} \\ &=a. \end{aligned}$$

Thus, by Lemma 2.7, there exist at least two fixed points of T which are positive solutions \(x_{1}\) and \(x_{2}\), belonging to \(\overline{K(\theta,c)}\), of problem (2.5) such that

$$a< \theta_{2}(x_{1}), \quad \mbox{with } \theta_{1}(x_{1})< b, \quad \mbox{and}\quad b< \theta_{1}(x_{2}) \quad\mbox{with } \theta(x_{2})< c. $$

Noticing the definition of θ and \(\theta_{2}\), one can show that (4.4) and (4.5) hold. □

5 Triple positive solutions

In this section, we shall study the existence of three positive solutions of problem (1.5). Let σ, N and \(N_{1}\) be defined in Theorem 3.1 and Theorem 4.1, respectively.

Theorem 5.1

Assume that (H1)-(H2) hold. Suppose that there exist positive constants \(\omega_{1}\), \(\omega_{2}\), \(\omega_{3}\) with

$$0< \omega_{1}< \phi_{p} \biggl(\frac{\rho_{1}}{\rho_{2}} \biggr) \delta \omega_{2}< \omega _{2}< \frac{\omega_{2}}{\delta}\leq \omega_{3} $$

such that the following hold:

(A1):

\(F(t,u,v)\leq\frac{1}{N_{1}}\omega_{3}\) for \((t,u,v)\in J\times[0,\rho_{2}\phi_{q}(\omega_{3})]\times[-\phi _{q}(\omega_{3}),0]\);

(A2):

\(F(t,u,v)> \frac{1}{N}\omega_{2}\) for \((t,u,v)\in J\times[\rho_{1}\phi_{q}(\omega_{2}),\rho_{2}\phi_{q}(\frac{1}{\delta }\omega_{2})]\times[-\phi_{q}(\frac{1}{\delta}\omega_{2}),-\phi _{q}(\omega_{2})]\);

(A3):

\(F(t,u,v)< \frac{1}{N_{1}}\omega_{1}\) for \((t,u,v)\in J\times[0,\rho_{2}\phi_{q}(\omega_{1})]\times[-\phi _{q}(\omega_{1}),0]\).

Then we have the following conclusions:

  1. (i)

    Problem (2.5) has (at least) three positive solutions \(x_{1},x_{2},x_{3}\in K\) such that

    $$ \left \{ \textstyle\begin{array}{@{}l} \|x_{1}\|< \omega_{1}; \\ x_{2}(t)>\omega_{2}, \quad t\in J;\\ \|x_{3}\|>\omega_{1} \textit{ and }\min_{t\in J}x_{3}(t)< \omega_{2}. \end{array}\displaystyle \right . $$
    (5.1)
  2. (ii)

    Problem (1.5) has (at least) three positive solutions \(y_{1}\), \(y_{2}\), \(y_{3}\) such that, for \(i=1,2,3\),

    $$ \left \{ \textstyle\begin{array}{@{}l} y_{i}(t)=\int_{0}^{1}H_{1}(t,s)\phi_{q}(x_{i}(s))\,ds, \quad t\in J;\\ \|y_{i}\|\leq\rho_{2}\phi_{q}(\|x_{i}\|);\\ y_{i}(t)\geq\rho_{1}\phi_{q}(\delta\|x_{i}\|), \quad t\in J. \end{array}\displaystyle \right . $$
    (5.2)

We further have

$$ \left \{ \textstyle\begin{array}{@{}l} \|y_{1}\|< \rho_{2}\phi_{q}(\omega_{1});\\ y_{2}(t)>\rho_{1}\phi_{q}(\omega_{2}), \quad t\in J;\\ \|y_{3}\|>\sigma\phi_{q}(\omega_{1}). \end{array}\displaystyle \right . $$
(5.3)

Proof

Let \(x\in\bar{K}_{\omega_{3}}\), so \(0\leq\phi _{q}(x(s))\leq\phi_{q}(\omega_{3})\), \(s\in J\), and \(0\leq\int _{0}^{1}H_{1}(s,\tau)\phi_{q}(x(\tau))\,d\tau\leq\rho_{2}\phi_{q}(\omega _{3})\). By (A1), we see that

$$\begin{aligned} \|Tx\|&=\max_{t\in J} \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &\leq\eta\cdot\frac{1}{N_{1}}\omega_{3}=\omega_{3}. \end{aligned}$$

This proves that \(T:\bar{K}(\omega_{3})\rightarrow\bar{K}(\omega_{3})\).

For convenience, we denote \(\omega_{4}=\frac{\omega_{2}}{\delta}\). Let \(\psi: K\rightarrow[0,+\infty)\) be defined by

$$\psi(x)=\min_{t\in J}x(t). $$

Clearly, ψ is a nonnegative continuous concave functional on K and \(\psi(x)\leq\|x\|\) for all \(x\in K\).

Now we need to show that condition (i) of Lemma 2.8 is satisfied. It is obvious that

$$x(t)=\frac{1}{2}(\omega_{2}+\omega_{4})\in \bigl\{ x \in K(\psi,\omega _{2},\omega_{4}):\psi(x)> \omega_{2} \bigr\} . $$

Then

$$\bigl\{ x\in K(\psi,\omega_{2},\omega_{4}):\psi(x)> \omega_{2} \bigr\} \neq{\emptyset}. $$

Next, let \(x\in K(\psi,\omega_{2},\omega_{4})\). Then for \(s\in J\), we have \(\omega_{2}\leq x(s)\leq\omega_{4}\), and

$$\int_{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau\in \bigl[\rho_{1}\phi _{q}(\omega_{2}), \rho_{2}\phi_{q}( \omega_{4}) \bigr]. $$

Using condition (A2), it follows that

$$\begin{aligned} \psi(Tx)&=\min_{t\in J} \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &\geq\rho \int_{0}^{1}G_{2}(s,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &>\rho\beta\cdot\frac{1}{N}\omega_{2} \\ & =\omega_{2}. \end{aligned}$$

Therefore, we have shown that \(\psi(Tx)>\omega_{2}\) for all \(x\in K(\psi ,\omega_{2},\omega_{4})\).

Next, we shall show that condition (ii) of Lemma 2.8 holds. Take \(x\in\bar{K}(\omega_{1})\) with \(\|x\|<\omega_{1}\). Then for \(s\in J\), we have \(x(s)\in[0,\omega_{1}]\) and

$$\int_{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau\in \bigl[0,\rho_{2}\phi _{q}(\omega_{1}) \bigr]. $$

By condition (A3), we have

$$\begin{aligned} \|Tx\|&=\max_{t\in J} \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds < \eta\cdot\frac{1}{N_{1}}\omega_{1}=\omega_{1}. \end{aligned}$$

Hence, we have proved that \(\|Tx\|<\omega_{1}\) for all \(x\in\bar{K}(\omega_{1})\).

Finally, we need to prove that condition (iii) of Lemma 2.8 is satisfied. Let \(x\in K(\psi,\omega_{2},\omega_{3})\) with \(\|Tx\|>\omega _{4}\). Then it follows from (2.16) that

$$\begin{aligned} \psi(Tx)&=\min_{t\in J} \int_{0}^{1}H_{2}(t,s)F \biggl(s, \int _{0}^{1}H_{1}(s,\tau) \phi_{q} \bigl(x(\tau) \bigr)\,d\tau,-\phi_{q} \bigl(x(s) \bigr) \biggr)\,ds \\ &\geq\delta\|Tx\| \\ &>\delta\omega_{4}=\omega_{2}. \end{aligned}$$

So, we have proved that \(\psi(Tx)>\omega_{2}\) for all \(x\in K(\psi ,\omega_{2},\omega_{3})\) with \(\|Tx\|>\omega_{4}\).

It now follows from Lemma 2.8 that problem (2.5) has (at least) three positive solutions \(x_{1}, x_{2}, x_{3}\in\bar{K}(\omega_{3})\) satisfying (5.1).

It is observed from (2.2) that problem (1.5) has (at least) three positive solutions \(y_{1}\), \(y_{2}\), \(y_{3}\) such that, for \(i=1,2,3\),

$$y_{i}(t)= \int_{0}^{1}H_{1}(t,s)\phi_{q} \bigl(x_{i}(s) \bigr)\,ds, \quad t\in J \mbox{ and } \|y_{i}\| \leq\rho_{2}\phi_{q}\bigl(\|x_{i}\|\bigr). $$

Moreover, since \(x_{i}\in K\), we get for \(t\in J\),

$$\begin{aligned} y_{i}(t)&= \int_{0}^{1}H_{1}(t,s)\phi_{q} \bigl(x_{i}(s) \bigr)\,ds \\ &\geq\rho_{1} \int_{0}^{1}\phi_{q} \bigl(x_{i}(s) \bigr)\,ds \\ &\geq\sigma\phi_{q}\bigl(\|x_{i}\|\bigr). \end{aligned}$$

Then we get (5.2).

Further, since \(x_{2}(t)>\omega_{2}\) for \(t\in J\), we have, for \(t\in J\),

$$\begin{aligned} y_{2}(t)&= \int_{0}^{1}H_{1}(t,s)\phi_{q} \bigl(x_{2}(s) \bigr)\,ds \\ &\geq\rho_{1} \int_{0}^{1}\phi_{q} \bigl(x_{2}(s) \bigr)\,ds \\ &\geq\rho_{1}\phi_{q}(\omega_{2}). \end{aligned}$$

Hence, we get (5.3). □

Remark 5.1

Leggett-Williams’ fixed point theorem is a valid tool to show the existence of multiple positive solutions for various boundary value problems where the nonlinear terms F is of the form \(F(t,y)\); see for example [2527]. If F is of the form \(F(t,y,y'')\), then it is very difficult to obtain the existence result of three positive solutions; see [20, 21] to name a few. In [28], using the five functionals fixed point theorem (which is a generalization of the Leggett-Williams’ fixed point theorem), Avery et al. showed the existence of at least three positive solutions in the case that F is the form of \(F(y,-y'')\).

6 Example

To illustrate how our main results can be used in practice, we present an example.

Let \(a=1\), \(b=\frac{1}{2}\) and \(g(t)=h(t)=\frac{1}{2}\). Consider the following fourth order p-Laplacian elasticity problem:

$$ \left \{ \textstyle\begin{array}{@{}l} (\phi_{p}(y^{\prime\prime}(t)))^{\prime\prime}=F(t,y(t),y^{\prime\prime}(t)), \quad 0< t< 1, \\ ay(0)-by^{\prime}(0)=\int_{0}^{1}g(s)y(s)\,ds,\\ ay(1)+by^{\prime}(1)=\int_{0}^{1}g(s)y(s)\,ds,\\ \phi_{p}(y^{\prime\prime}(0))=\phi_{p}(y^{\prime\prime}(1)) =\int_{0}^{1}h(s)\phi_{p}(y^{\prime\prime}(s))\,ds, \end{array}\displaystyle \right . $$
(6.1)

and the nonlinear term F given by

$$F(t,u,v)= \left \{ \textstyle\begin{array}{@{}l} \frac{1}{2}(t^{2}+1)\frac{1}{5N_{1}}\omega_{1}=: a_{1}(t), \quad t\in J,(u,v)\in D_{1},\\ \frac{1}{5}(\frac{\omega_{3}}{N_{1}}+\frac{\omega_{2}}{N})=: a_{2}, \quad t\in J,(u,v)\in D_{2}\cup D_{3}\cup D_{4},\\ a_{1}(t)\cdot\frac{\rho_{1}\phi_{q}(\omega_{2})-u}{\rho_{1}\phi _{q}(\omega_{2})-\rho_{2}\phi_{q}(\omega_{1})}+a_{2}\cdot\frac{u-\rho _{2}\phi_{q}(\omega_{1})}{\rho_{1}\phi_{q}(\omega_{2})-\rho_{2}\phi _{q}(\omega_{1})}=: a_{5}(t,u), \quad t\in J,(u,v)\in D_{5},\\ a_{1}(t)\cdot\frac{\phi_{q}(\omega_{2})+v}{\phi_{q}(\omega_{2})-\phi _{q}(\omega_{1})}+a_{2}\cdot\frac{\phi_{q}(\omega_{1})+v}{\phi _{q}(\omega_{1})-\phi_{q}(\omega_{2})}=: a_{6}(t,v), \quad t\in J,(u,v)\in D_{6},\\ a_{7}(t,u,v),\quad t\in J,(u,v)\in D_{7}, \end{array}\displaystyle \right . $$

where

$$\begin{aligned} a_{7}(t,u,v):={}& \frac{a_{2}}{2}\cdot \biggl[\frac{\phi_{q}(\omega_{1})+v}{\phi _{q}(\omega_{1})-\phi_{q}(\omega_{2})}+ \frac{u-\rho_{2}\phi_{q}(\omega _{1})}{\rho_{1}\phi_{q}(\omega_{2})-\rho_{2}\phi_{q}(\omega_{1})} \biggr]\\ &{}+ \frac{a_{5}(t,u)}{2}\cdot\frac{\phi_{q}(\omega_{2})+v}{\phi_{q}(\omega _{2})-\phi_{q}(\omega_{1})} + \frac{a_{6}(t,v)}{2}\cdot\frac{\rho _{1}\phi_{q}(\omega_{2})-u}{\rho_{1}\phi_{q}(\omega_{2})-\rho_{2}\phi _{q}(\omega_{1})}, \end{aligned}$$

and the sets \(D_{i} \) (\(i=1,2,\ldots,7\)) are defined by

$$\begin{aligned}& D_{1}= \bigl\{ (u,v):(u,v)\in \bigl[0,\rho_{2} \phi_{q}(\omega_{1}) \bigr]\times \bigl[-\phi _{q}( \omega_{1}),0 \bigr] \bigr\} , \\& D_{2}= \bigl\{ (u,v):(u,v)\in \bigl[\rho_{1} \phi_{q}(\omega_{2}),+\infty\bigr)\times \bigl(-\infty,- \phi_{q}(\omega_{2}) \bigr] \bigr\} , \\& D_{3}= \bigl\{ (u,v):(u,v)\in \bigl[0,\rho_{1} \phi_{q}(\omega_{2}) \bigr]\times \bigl(-\infty ,- \phi_{q}(\omega_{2})\bigr] \bigr\} , \\& D_{4}= \bigl\{ (u,v):(u,v)\in\bigl[\rho_{1}\phi_{q}( \omega_{2}),+\infty \bigr)\times \bigl[-\phi_{q}( \omega_{2}),0 \bigr] \bigr\} , \\& D_{5}= \bigl\{ (u,v):(u,v)\in \bigl[\rho_{2} \phi_{q}(\omega_{1}),\rho_{1}\phi _{q}( \omega_{2}) \bigr]\times \bigl[-\phi_{q}( \omega_{1}),0 \bigr] \bigr\} , \\& D_{6}= \bigl\{ (u,v):(u,v)\in \bigl[0,\rho_{2} \phi_{q}(\omega_{1}) \bigr]\times \bigl[-\phi _{q}( \omega_{2}),-\phi_{q}( \omega_{1}) \bigr] \bigr\} , \\& D_{7}= \bigl\{ (u,v):(u,v)\in \bigl[\rho_{2} \phi_{q}(\omega_{1}),\rho_{1}\phi _{q}( \omega_{2}) \bigr]\times \bigl[-\phi_{q}( \omega_{2}),- \phi_{q}(\omega_{1}) \bigr] \bigr\} , \end{aligned}$$

and \(N=\rho\beta\), \(N_{1}=\eta\). For details, see Figure 1.

Figure 1
figure 1

The relationship of \(\pmb{D_{i}}\) , \(\pmb{i=1,2,3,4,5,6,7}\) .

By calculation we obtain

$$\begin{aligned}& \mu= \int_{0}^{1}g(s)\,ds=\frac{1}{2},\qquad \nu= \int_{0}^{1}h(s)\,ds=\frac{1}{2}, \\& \gamma_{1}=\frac{1}{a-\mu}=2, \qquad\gamma_{2}= \frac{1}{1-\nu}=2, \\& \rho=\frac{\int_{0}^{1}G_{2}(s,s)h(s)\,ds}{1-\nu}=\frac{1}{6}, \qquad\eta=\frac {1}{4} \gamma_{2}=\frac{1}{2}, \\& \rho_{1}=\frac{b^{2}\gamma_{1}}{a+2b}=\frac{1}{4}, \qquad \rho_{2}=\frac {(a+b)^{2}\gamma_{1}}{a+2b}=\frac{9}{4}. \end{aligned}$$

Therefore, it follows from the definitions F, g and, h that (H1)-(H2) hold.

Choosing \(\omega_{1}=\phi_{p}(\frac{\delta\rho_{1}}{2\rho_{2}})\omega_{2}\), \(\omega_{3}=\frac{5N_{1}}{N}\omega_{2}\), then \(\omega_{i}\) (\(i=1,2,3\)) satisfy

$$0< \omega_{1}< \phi_{p} \biggl(\frac{\rho_{1}}{\rho_{2}} \biggr) \omega_{2}< \omega _{2}< \frac{\omega_{2}}{\delta}\leq \omega_{3}. $$

Then, for \(t\in J\), \((u,v)\in D_{1}\), we have

$$ F(t,u,v)=a_{1}(t)\leq\frac{\omega_{1}}{5N_{1}}< \frac{\omega _{3}}{5N_{1}}< \frac{\omega_{3}}{N_{1}}. $$
(6.2)

For \(t\in J\), \((u,v)\in D_{2}\cup D_{3}\cup D_{4}\), we have

$$ \begin{aligned} &F(t,u,v)=a_{2}=\frac{1}{5} \biggl( \frac{\omega_{3}}{N_{1}}+\frac{\omega_{2}}{N} \biggr) =\frac{1}{5} \biggl( \frac{5\omega_{2}}{N}+\frac{\omega_{2}}{N} \biggr)>\frac{\omega _{2}}{N}, \\ &F(t,u,v)=a_{2}=\frac{1}{5} \biggl(\frac{\omega_{3}}{N_{1}}+ \frac{\omega_{2}}{N} \biggr) =\frac{1}{5} \biggl(\frac{\omega_{3}}{N_{1}}+ \frac{\omega_{3}}{5N_{1}} \biggr)=\frac {6}{25 N_{1}}\omega_{3}< \frac{1}{N_{1}}\omega_{3}. \end{aligned} $$
(6.3)

For \(t\in J\), \((u,v)\in D_{5}\), we have

$$ F(t,u,v)=a_{5}(u)\leq a_{1}(t)+a_{2}< \frac{\omega_{3}}{5N_{1}}+\frac {6}{25}\cdot\frac{\omega_{3}}{N_{1}}=\frac{11}{25} \cdot\frac{\omega _{3}}{N_{1}} < \frac{\omega_{3}}{N_{1}}. $$
(6.4)

For \(t\in J\), \((u,v)\in D_{6}\), we have

$$ F(t,u,v)=a_{6}(v)\leq a_{1}(t)+a_{2}< \frac{\omega_{3}}{N_{1}}. $$
(6.5)

For \(t\in J\), \((u,v)\in D_{7}\), we have

$$ F(t,u,v)=a_{7}(u,v)\leq a_{1}(t)+2a_{2}< \frac{\omega_{3}}{5N_{1}}+2\cdot \frac{6}{25} \frac{\omega_{3}}{N_{1}} = \frac{17}{25}\frac{\omega _{3}}{N_{1}}< \frac{\omega_{3}}{N_{1}}. $$
(6.6)

We shall check the conditions of Theorem 5.1. First, condition (A3) is obviously satisfied by (6.2). Next, from (6.3)-(6.6), it follows that

$$F(t,u,v)< \frac{\omega_{3}}{N_{1}}, \quad t\in J,(u,v)\in \bigl[0,\rho _{2} \phi_{q}(\omega_{3}) \bigr]\times \bigl[- \phi_{q}( \omega_{3}),0 \bigr]. $$

Hence, condition (A1) holds. Finally, by (6.3), we see that

$$\begin{aligned} &F(t,u,v)=a_{2}>\frac{\omega_{2}}{N},\\ &\quad t\in J, (u,v)\in \biggl[ \rho_{1}\phi _{q}(\delta\omega_{2}), \rho_{2}\phi_{q} \biggl(\frac{1}{\delta}\omega _{2} \biggr) \biggr]\times \biggl[-\phi_{q} \biggl( \frac{1}{\delta}\omega_{2} \biggr),-\phi_{q}(\omega _{2}) \biggr]\subset D_{2}. \end{aligned}$$

Condition (A2) is satisfied.

It follows from Theorem 5.1 that problem (6.1) has (at least) three positive solutions \(y_{1}\), \(y_{2}\), \(y_{3}\) such that

$$\left \{ \textstyle\begin{array}{@{}l} \|y_{1}\|< \rho_{2}\phi_{q}(\omega_{1});\\ y_{2}(t)> \rho_{1}\phi_{q}(\omega_{2}),\quad t\in J;\\ \|y_{3}\|>\sigma\phi_{q}(\omega_{1}). \end{array}\displaystyle \right . $$

 □

References

  1. Guo, D, Lakshmikantham, V, Liu, X: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht (1996)

    Book  MATH  Google Scholar 

  2. Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988)

    MATH  Google Scholar 

  3. Deimling, K: Nonlinear Functional Analysis. Springer, Berlin (1985)

    Book  MATH  Google Scholar 

  4. Zhang, X, Yang, X, Ge, W: Positive solutions of nth-order impulsive boundary value problems with integral boundary conditions in Banach spaces. Nonlinear Anal. 71, 5930-5945 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  5. Wong, PJY: Triple solutions of complementary Lidstone boundary value problems via fixed point theorems. Bound. Value Probl. 2014, 125 (2014)

    Article  Google Scholar 

  6. Bernis, F: Compactness of the support in convex and non-convex fourth order elasticity problems. Nonlinear Anal. 6, 1221-1243 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  7. Bai, Z, Huang, B, Ge, W: The iterative solutions for some fourth-order p-Laplace equation boundary value problems. Appl. Math. Lett. 19, 8-14 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  8. Gupta, CP: Existence and uniqueness theorems for a bending of an elastic beam equation. Appl. Anal. 26, 289-304 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  9. Agarwal, RP: Boundary Value Problems for Higher Order Differential Equations. World Scientific, Singapore (1986)

    Book  MATH  Google Scholar 

  10. Graef, JR, Yang, B: Existence and nonexistence of positive solutions of fourth order nonlinear boundary value problems. Appl. Anal. 74, 201-214 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  11. Yao, Q: Monotonically iterative method of nonlinear cantilever beam equations. Appl. Math. Comput. 205, 432-437 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  12. Cabada, A, Cid, J, Sanchez, L: Positivity and lower and upper solutions for fourth order boundary value problems. Nonlinear Anal. 67, 1599-1612 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  13. Yang, L, Chen, H, Yang, X: The multiplicity of solutions for fourth-order equations generated from a boundary condition. Appl. Math. Lett. 24, 1599-1603 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  14. Li, S, Zhang, Q: Existence and uniqueness of monotone positive solutions for an elastic beam equation with nonlinear boundary conditions. Comput. Math. Appl. 63, 1355-1360 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  15. Cabada, A, Tersian, S: Multiplicity of solutions of a two point boundary value problem for a fourth-order equation. Appl. Math. Comput. 219, 5261-5267 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  16. Ma, T: Positive solutions for a beam equation on a nonlinear elastic foundation. Math. Comput. Model. 39, 1195-1201 (2004)

    Article  MATH  Google Scholar 

  17. Bonanno, G, Bella, B: A boundary value problem for fourth-order elastic beam equations. J. Math. Anal. Appl. 343, 1166-1176 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  18. Sun, J, Wang, X: Monotone positive solutions for an elastic beam equation with nonlinear boundary conditions. Math. Probl. Eng. 2011, 609189 (2011)

    Google Scholar 

  19. Ma, R, Zhang, J, Fu, S: The method of lower and upper solutions for fourth-order two-point boundary value problems. J. Math. Anal. Appl. 215, 415-422 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  20. Li, Y: On the existence of positive solutions for the bending elastic beam equations. Appl. Math. Comput. 189, 821-827 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  21. Zhang, X, Ge, W: Positive solutions for a class of boundary-value problems with integral boundary conditions. Comput. Math. Appl. 58, 203-215 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  22. Zhang, X, Feng, M: Positive solutions for classes of multi-parameter fourth-order impulsive differential equations with one-dimensional singular p-Laplacian. Bound. Value Probl. 2014, 122 (2014)

    Article  Google Scholar 

  23. Avery, R, Henderson, J: Two positive fixed points of nonlinear operator on ordered Banach spaces. Commun. Appl. Nonlinear Anal. 8, 27-36 (2001)

    MATH  MathSciNet  Google Scholar 

  24. Leggett, R, Williams, L: Multiple positive fixed points of nonlinear operators on ordered Banach spaces. Indiana Univ. Math. J. 28, 673-688 (1979)

    Article  MATH  MathSciNet  Google Scholar 

  25. Avery, R: Existence of multiple positive solutions to a conjugate boundary value problem. Math. Sci. Res. Hot-Line 2, 1-6 (1998)

    MATH  MathSciNet  Google Scholar 

  26. Sun, H, Li, W: Existence theory for positive solutions to one-dimensional p-Laplacian boundary value problems on time scales. J. Differ. Equ. 240, 217-248 (2007)

    Article  MATH  Google Scholar 

  27. Zhou, J, Feng, M: Triple positive solutions for a second order m-point boundary value problem with a delayed argument. Bound. Value Probl. 2015, 1 (2015)

    Article  Google Scholar 

  28. Avery, R, Davis, J, Henderson, J: Three symmetric positive solutions for Lidstone problems by a generalization of the Leggett-Williams theorem. Electron. J. Differ. Equ. 2000, 40 (2000)

    MathSciNet  Google Scholar 

Download references

Acknowledgements

This work is sponsored by the project NSFC (11301178) and the Fundamental Research Funds for the Central Universities (2014ZZD10, 2014MS58). The authors are grateful to the anonymous referees for their constructive comments and suggestions, which have greatly improved this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to XueMei Zhang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All results belong to YZ and XZ. All authors 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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhou, Y., Zhang, X. New existence theory of positive solutions to fourth order p-Laplacian elasticity problems. Bound Value Probl 2015, 205 (2015). https://doi.org/10.1186/s13661-015-0470-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-015-0470-x

Keywords