Skip to main content

Advertisement

Boundary Value Problems
Boundary Value Problems Cover Image
We’d like to understand how you use our websites in order to improve them. Register your interest.
Download PDF

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

Boundary Value Problems volume 2015, Article number: 205 (2015) Cite this article

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.

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 [10–18] 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 [6–18], 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, 19–21]. 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.

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 [1–3])

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}. $$

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.

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

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 [25–27]. 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'')\).

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
figure1

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

Full size image

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

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

  2. 2.

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

  3. 3.

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

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

  5. 5.

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

  6. 6.

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

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

  8. 8.

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

  9. 9.

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

  10. 10.

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

  11. 11.

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

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

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

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

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

  16. 16.

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

  17. 17.

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

  18. 18.

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

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

  20. 20.

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

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

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

  23. 23.

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

  24. 24.

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

  25. 25.

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

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

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

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

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

Affiliations

  1. Department of Mathematics and Physics, North China Electric Power University, Beijing, 102206, People’s Republic of China
    • Yaling Zhou
    •  & XueMei Zhang
Authors
  1. Yaling Zhou
    View author publications
    You can also search for this author in
  2. XueMei Zhang
    View author publications
    You can also search for this author in

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

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

Keywords

  • fourth order p-Laplacian elasticity problems
  • transformation technique
  • positive solutions
  • estimate on the norm