Skip to main content

Theory and Modern Applications

Existence and nonexistence of positive solutions for nonlinear higher order BVP with fractional integral boundary conditions in Banach spaces

Abstract

By means of the fixed point theory for a strict set contraction operator, this paper investigates the existence, nonexistence, and multiplicity of positive solutions for a nonlinear higher order boundary value problem with four point fractional integral boundary conditions in Banach spaces. In addition, an example is worked out to illustrate the main results.

1 Introduction

Let \((E,\|\cdot\|)\) be a real Banach space and \(P\subset E\) be a cone of E. The goal of this paper is to study the existence, nonexistence, and multiplicity of positive solutions for the following higher order boundary value problem with fractional integral boundary conditions:

$$\begin{aligned}& \begin{aligned}[b] {}^{c}D^{\alpha}x(t)={}&\lambda_{1} a(t) f \bigl(t,x,x',\ldots,x^{(n-2)} \bigr) \\ &{}+\lambda_{2} b(t)g \bigl(t,x,x',\ldots,x^{(n-2)},Tx,Sx \bigr), \quad t\in(0,1), \end{aligned} \end{aligned}$$
(1.1)
$$\begin{aligned}& \begin{aligned} &x^{(i)}(0)=\theta, \quad 0\leq i \leq n-3, \\ &x^{(n-2)}(0)+x^{(n-1)}(0)=I^{\delta}x^{(n-2)}(\eta), \\ &x^{(n-2)}(1)+x^{(n-1)}(1)+I^{\delta}x^{(n-2)}(\mu)= \theta, \end{aligned} \end{aligned}$$
(1.2)

where θ is the zero element of E, \(\lambda_{1}\), \(\lambda_{2}\) are positive parameters, \(n-1<\alpha<n\) (\(n\in \mathbb{N}\) and \(n\geq3\)), \({}^{c}D^{\alpha}\) is the Caputo fractional derivative of order \(\alpha, \delta\geq3\), \(I^{\delta}\) is the Riemann-Liouville fractional integral of order δ, \(1/4<\mu\leq \eta<3/4\), \(f\in\mathcal{C}(J\times P^{n-1},P)\), \(g\in\mathcal {C}(J\times P^{n+1},P)\) (\(J=[0,1]\)), the coefficients \(a, b\in\mathcal {C}((0,1),\mathbb{R^{+}})\) may be singular at \(t =0\) or \(t=1\). Here,

$$ Tx(t)= \int_{0}^{t}K(t,s)x(s)\,ds, \qquad Sx(t)= \int_{0}^{1}H(t,s)x(s)\,ds, $$
(1.3)

in which \(K\in C[D,\mathbb{R}^{+}]\), \(D= \{(t,s)\in J\times J: t\geq s \}\), \(H\in C[ J\times J,\mathbb{R}^{+}]\).

Recently, there has been much attention on the fractional differential equations because of their applications in a variety of different areas of sciences including physics, chemistry, engineering etc. Thus, intensive study has been done to investigate the positive solutions for the nonlinear boundary value problems of fractional differential equations. For instance, in [1], Zhao et al. studied the following problem:

$$\begin{aligned}& D^{q}y(t)+r(t)f(y_{t})=0, \quad \forall t\in(0,1), q \in(n-1,n], \\& y^{(i)}(0)=\theta, \quad 0\leq i \leq n-3, \\& \alpha y^{(n-2)}(t)-\beta y^{(n-1)}(t)=\eta(t), \quad t\in[- \tau,0], \\& \gamma y^{(n-2)}(t)+\delta y^{(n-1)}(t)=\xi(t), \quad t\in[1,1+a]. \end{aligned}$$

Existence results of at least one or two positive solutions are established to the fractional functional differential equation by constructing a special cone and using the Krasnoselskii fixed point theorem.

In [2], Zhang considered the following boundary value problem for a fractional differential equation:

$$\begin{aligned}& D^{\alpha}u(t)+q(t)f \bigl(u,u',\ldots,u^{(n-2)} \bigr)=0, \quad t\in(0,1), \alpha\in(n-1,n], \\& u(0)=u'(0)=\cdots=u^{(n-2)}(0)=u^{(n-2)}(1)=0. \end{aligned}$$

The author obtained the existence of positive solutions by using the fixed point theorem for mixed monotone operator. For more details and examples, we refer the reader to [310] and the references therein.

On the other hand, the existence results of positive solutions for integer order differential equations have been studied extensively by several researchers (see [1116] and the references therein), but, as far as we know, only a few papers consider the BVP for higher order fractional differential equations in Banach spaces. (See [7, 17] and the references therein.) So, the aim of this paper is to fill this gap.

In this paper, we obtain the existence, multiplicity, and nonexistence of positive solutions for the BVP (1.1), (1.2) in Banach spaces. The argument is based upon the Kuratowski measure of noncompactness and fixed point theorem for strict set contraction operator. To our knowledge, the existence results, especially obtained for higher order fractional boundary value problems jointly with fractional integral boundary conditions are rarely seen when the nonlinear term takes values in an abstract space.

Let the real Banach space E endowed with the norm \(\|x\|\) be a partially ordered by a cone P of E, i.e., \(x\leq y\) if and only if \(y-x \in P\). Recall that P is said to be normal if there exists a constant \(N>0\) such that \(\theta\leq x\leq y\) implies \(\|x\| \leq N\|y\|\). (N is called the normal constant of P.) In the present paper, we always assume that P is normal in E and without loss of generality, we suppose that the normal constant \(N=1\).

The basic space using in this paper is \(C[J,E]\). Clearly, \(C[J,E]\) is a Banach space with the supremum norm \(\|x\|_{c}=\sup\|x(t)\| \) and \(Q= \{x\in C[J,E]:x(t)\geq\theta, t\in J \}\) is a cone of the Banach space \(C[J,E]\).

A function \(x\in C[J,E]\) whose α derivative exists on J is called a solution of (1.1), (1.2) if x obeys (1.1), (1.2). x is a positive solution of (1.1), (1.2) if, in addition, \(x(t)\geq\theta\) for \(t\in(0,1)\) and \(x(t)\not\equiv\theta\).

For convenience of the reader, we first state some basic definitions and lemmas which can be found in [4, 5, 1821].

Definition 1.1

([4, 5])

The Riemann-Liouville fractional integral of order \(\alpha\in\mathbb {R}^{+}\) for a continuous function \(h:(0,\infty)\rightarrow\mathbb{R}\) is defined by

$$\begin{aligned} I^{\alpha}h(t)=\frac{1}{\Gamma(\alpha)}\int_{0}^{t}(t-s)^{\alpha-1}h(s) \,ds, \end{aligned}$$
(1.4)

where \(\Gamma(\cdot)\) is the Euler Gamma function, provided that the integral exists.

Definition 1.2

([4, 5])

If \(h\in C^{n}[0,1]\), then the Caputo fractional derivative of order α is defined by

$$\begin{aligned} {}^{c}D^{\alpha}h(t)=\frac{1}{\Gamma(n-\alpha)}\int_{0}^{t}(t-s)^{n-\alpha-1}h^{(n)}(s) \,ds=I^{n-\alpha}h^{(n)}(t), \end{aligned}$$
(1.5)

where \(n-1<\alpha<n\), \(n=[\alpha]+1\) and \([\alpha]\) denotes the integer part of the real number α.

Remark 1.1

([4, 5])

If \(\alpha=n \in\mathbb{N}_{0}\), then the Caputo derivative coincides with a conventional nth order derivative of the function \(h(t)\).

Lemma 1.1

([4, 5])

If \(\alpha>\beta>0\), then for \(h(t)\in L(0,1)\), the equality

$$\begin{aligned} \bigl({}^{c}D^{\beta} I^{\alpha}h \bigr) (t)=I^{\alpha-\beta} h(t) \end{aligned}$$

is verified almost everywhere on \([0,1]\).

Lemma 1.2

([4, 5])

Let \(n=[\alpha]+1\) for \(\alpha\notin\mathbb{N}\) and \(n=\alpha\) for \(\alpha\in\mathbb{N}\). If \(y(t)\in C^{n}[0,1]\), then

$$\begin{aligned} \bigl(I^{\alpha} D^{\alpha}y \bigr) (t)=y(t)-\sum _{i=0}^{n-1}\frac {y^{(i)}(0)}{i!}t^{i}. \end{aligned}$$

Lemma 1.3

([4, 5])

Let \(\alpha>0\) and \(n=[\alpha]+1\) for \(\alpha\notin\mathbb{N}\) and \(n=\alpha\) for \(\alpha\in\mathbb{N}\). If \(h(t)\in C[0,1]\), then the homogeneous fractional differential equation

$$\begin{aligned} {}^{c}D^{\alpha}h(t)=0 \end{aligned}$$

has a solution

$$\begin{aligned} h(t)=c_{1}+c_{2}t+c_{3}t^{2}+ \cdots+c_{n} t^{n-1}, \end{aligned}$$

where \(c_{i}\in\mathbb{R}\) (\(i=1,2,\ldots,n\)).

Definition 1.3

([18, 19])

Let E be a real Banach space and S be a bounded subset of E. Let \(\alpha(S)=\inf \{\delta>0: S=\bigcup_{i=1}^{m} S_{i} \mbox{ with } \operatorname{diam}(S_{i})\leq\delta, i=1,2,\ldots,m \}\). Then \(\alpha(S)\) is called the Kuratowski measure of noncompactness.

In this paper, we use \(\alpha(\cdot)\) and \(\alpha_{C}(\cdot)\) to denote the Kuratowski measure of noncompactness of a bounded set in E and \(C[J,E]\), respectively. For details of the definition and the properties of the measure of noncompactness, we refer the reader to [1821] and the references therein.

Lemma 1.4

([18])

If \(H\subset C[I,E]\) is bounded and equicontinuous, then \(\alpha(H(t))\) is continuous on I and

$$\alpha_{C}(H) = \max_{t\in I}\alpha \bigl(H(t) \bigr),\quad \alpha \biggl( \biggl\{ \int_{I} x(t)\,dt : x\in H \biggr\} \biggr)\leq \int_{I}\alpha \bigl(H(t) \bigr)\,dt, $$

where \(I =[a,b]\), \(H(t) = \{x(t): x\in H \}\), \(t\in I\).

Definition 1.4

([19])

Let P be a cone of real Banach space E. If \(P^{*}= \{\psi\in E^{*}: \psi(x)\geq0, \forall x\in P \}\) then \(P^{*}\) is called a dual cone of cone P.

Throughout this paper, for any \(y_{1},y_{2},\ldots,y_{n+1}\in P\) and \(\psi\in P^{*}\) with \(\|\psi\|=1\), we define

$$\begin{aligned}& f^{\beta}=\lim_{ \sum_{i=1}^{n-1}\|y_{i}\| \rightarrow\beta}\sup\max_{t\in J} \frac{\|f(t,y_{1},y_{2},\ldots,y_{n-1})\| }{ \sum_{i=1}^{n-1}\|y_{i}\|}, \\& g^{\beta}=\lim_{ \sum_{i=1}^{n+1}\|y_{i}\|\rightarrow\beta}\sup\max_{t\in J} \frac{\|g(t,y_{1},y_{2},\ldots,y_{n+1})\|}{ \sum_{i=1}^{n+1}\| y_{i}\|}, \\& (\psi f)_{\beta}=\lim_{ \sum_{i=1}^{n-1}\|y_{i}\|\rightarrow \beta}\inf\min _{t\in J}\frac{\psi (f(t,y_{1},y_{2},\ldots,y_{n-1}))}{ \sum_{i=1}^{n-1}\|y_{i}\|}, \\& (\psi g)_{\beta}=\lim_{ \sum_{i=1}^{n+1}\|y_{i}\|\rightarrow \beta}\inf\min _{t\in J}\frac{\psi( g(t,y_{1},y_{2},\ldots,y_{n+1}))}{ \sum_{i=1}^{n+1}\|y_{i}\|}, \end{aligned}$$

where β is 0 or ∞.

Lemma 1.5

[19]

Let K be a cone in a Banach space E and \(K_{r,R}= \{x\in K:r\leq\|x\|\leq R \}\), \(R>r>0\). Assume that \(A:K_{r,R}\rightarrow K\) is a strict set contraction such that one of the following two conditions hold:

  1. (i)

    \(\|Ax\|\geq\|x\|\), \(\forall x\in K\), \(\|x\|=r\); \(\|Ax\|\leq\|x\|\), \(\forall x\in K\), \(\|x\|=R\).

  2. (ii)

    \(\|Ax\|\leq\|x\|\), \(\forall x\in K\), \(\|x\|=r\); \(\|Ax\|\geq\|x\|\), \(\forall x\in K\), \(\|x\|=R\).

Then A has a fixed point \(x\in K_{r,R}\) such that \(r\leq\| x\|\leq R\).

2 Several lemmas

It is convenient to list the following assumptions which are to be used throughout the paper:

(H1) \(f\in C(J\times P^{n-1},P)\), \(g\in C(J\times P^{n+1},P)\) and for any \(r>0\), \(f(t,u_{1},u_{2},\ldots,u_{n-1})\), \(g(t,u_{1},u_{2},\ldots,u_{n+1})\) are uniformly continuous on \(J\times P_{r}^{n-1}\) and \(J\times P_{r}^{n-1}\times P_{k^{*}r}\times P_{h^{*}r}\), respectively. Here, \(k^{*}\), \(h^{*}\), \(P_{r}\) are defined by

$$\begin{aligned} &k^{*}= \sup_{t\in[0,1]}\int _{0}^{1}K(t,s)\,ds,\qquad h^{*}= \sup _{t\in[0,1]}\int_{0}^{1}H(t,s)\,ds, \\ &P_{r}= \bigl\{ u\in P: \|u\|\leq r \bigr\} . \end{aligned}$$
(2.1)

(H2) \(a,b\in C((0,1),[0,\infty))\) may be singular at \(t=0\) or \(t=1\), \(a(t)\), \(b(t)\) do not vanish identically on any subinterval of \((0,1)\) with

$$\int_{0}^{1} \bigl(a(s)+b(s) \bigr)m(s)\,ds< + \infty, $$

where \(m(s)\) will be given in (2.30).

(H3) There exist nonnegative functions \(L_{j}(\cdot), M_{k}\in L[0,1]\) (\(j=1,2,\ldots,n-1\); \(k=1,2,\ldots, n+1\)) such that

$$\begin{aligned} &\alpha \bigl(f(t,D_{1},D_{2},\ldots,D_{n-1}) \bigr) \leq\sum_{j=1}^{n-1}L_{j}(t) \alpha(D_{j}), \\ &\alpha \bigl(g(t,D_{1},D_{2},\ldots,D_{n+1}) \bigr) \leq\sum_{k=1}^{n+1}M_{k}(t) \alpha (D_{k}), \quad\forall t\in J. \end{aligned}$$

Here \(D_{i}\subset P\) (\(i=1,2,\ldots,n+1\)) are bounded and

$$\begin{aligned}& \rho \int_{0}^{1}m(s) \bigl( \lambda_{1} a(s)L(s)+\lambda_{2} b(s)M(s) \bigr)\,ds< 1, \end{aligned}$$

where

$$\begin{aligned}& L(s)= \sum_{j=1}^{n-2}\frac {L_{j}(s)}{(n-2-j)!}+L_{n-1}(s), \end{aligned}$$
(2.2)
$$\begin{aligned}& M(s)= \sum_{k=1}^{n-2}\frac {M_{k}(s)}{(n-2-k)!}+M_{n-1}(s)+ \frac{k^{*}}{(n-3)!}M_{n}(s)+\frac {h^{*}}{(n-3)!}M_{n+1}(s), \end{aligned}$$
(2.3)

and \(k^{*}\) and \(h^{*}\) are given by (2.1).

In order to obtain the existence and nonexistence of positive solutions, we will consider the following auxiliary problem:

$$\begin{aligned}& \begin{aligned}[b] {}^{c}D^{\alpha-n+2}y(t)={}&\lambda_{1} a(t) f \bigl(t,I^{n-2}y,\ldots,I^{1}y,y \bigr) \\ &{}+ \lambda_{2} b(t) g \bigl(t,I^{n-2}y,\ldots,I^{1}y,y,T \bigl(I^{n-2}y \bigr),S \bigl(I^{n-2}y \bigr) \bigr), \quad t \in(0,1), \end{aligned} \end{aligned}$$
(2.4)
$$\begin{aligned}& \begin{aligned} &y(0)+y'(0)=I^{\delta} y(\eta), \\ &y(1)+y'(1)+I^{\delta}y(\mu)=\theta, \end{aligned} \end{aligned}$$
(2.5)

where

$$\begin{aligned} I^{j}(y) (t)=\frac{1}{\Gamma(j)}\int_{0}^{t}(t-s)^{j-1}y(s) \,ds \quad (j=1,2,\ldots,n-2). \end{aligned}$$

Lemma 2.1

The higher order fractional boundary value problem (1.1), (1.2) has a solution if and only if the nonlinear fractional boundary value problem (2.4), (2.5) has a solution.

Proof

Let x be a solution of the higher order fractional boundary value problem (1.1), (1.2) and \(y(t)={}^{c}D^{n-2}x(t)\). Then from the boundary value conditions (1.2) and the definition of the Caputo fractional derivative, we obtain

$$\begin{aligned}& y(t)=D^{n-2}x(t)=x^{(n-2)}(t), \\& I^{1}y(t)=I^{1}x^{(n-2)}(t)=\frac{1}{\Gamma(1)}\int _{0}^{t}x^{(n-2)}(s)\,ds=x^{(n-3)}(t), \\& I^{2}y(t)=I^{2}x^{(n-2)}(t)=\frac{1}{\Gamma(2)}\int _{0}^{t}(t-s)x^{(n-2)}(s) \,ds=x^{(n-4)}(t), \\& \vdots \\& I^{n-2}y(t)=I^{n-2}x^{(n-2)}(t)=\frac{1}{\Gamma(n-2)}\int _{0}^{t}(t-s)^{n-3}x^{(n-2)}(s) \,ds=x(t), \\& \begin{aligned}[b] {}^{c}D^{\alpha-n+2}y(t)&=\frac{1}{\Gamma(n-\alpha)}\int _{0}^{t}(t-s)^{n-\alpha-1}y''(s) \,ds \\ &=\frac{1}{\Gamma(n-\alpha)}\int_{0}^{t}(t-s)^{n-\alpha-1}x^{(n)}(s) \,ds \\ &={}^{c}D^{\alpha}x(t), \end{aligned} \end{aligned}$$

which imply that

$$\begin{aligned}& y(0)+y'(0)=I^{\delta} y(\eta), \\& y(1)+y'(1)+I^{\delta }y(\mu)=\theta. \end{aligned}$$

Hence, \(y(t)=x^{(n-2)}(t)\) is a solution of the fractional boundary value problem (2.4), (2.5).

Conversely, if y is a solution of the fractional boundary value problem (2.4), (2.5), and letting \(x(t)=I^{n-2}y(t)\), then it follows from the definition of the Caputo fractional derivative and the boundary value conditions (2.5) that

$$\begin{aligned}& x'(t)=D^{1}I^{n-2}y(t)= {}^{c}D^{1}I^{1}I^{n-3}y(t)=I^{n-3}y(t), \\& x''(t)=D^{2}x(t)={}^{c}D^{2}I^{n-2}y(t)={}^{c}D^{2}I^{2}I^{n-4}y(t)=I^{n-4}y(t), \\& \vdots \\& x^{(n-2)}(t)=D^{n-2}x(t)={}^{c}D^{n-2}I^{n-2}y(t)=y(t), \\& {}^{c}D^{\alpha}x(t)=I^{n-\alpha} \bigl(x^{(n)} \bigr) (t)=I^{n-\alpha } \bigl({I^{n-2}y \bigr)}^{(n)}(t)=I^{n-\alpha} \bigl(y'' \bigr) (t)={}^{c}D^{\alpha-n+2}y(t), \end{aligned}$$

which indicate that

$$\begin{aligned}& x^{(i)}(0)=\theta, \quad 0\leq i \leq n-3, \\& x^{(n-2)}(0)+x^{(n-1)}(0)=I^{\delta}x^{(n-2)}(\eta), \\& x^{(n-2)}(1)+x^{(n-1)}(1)+I^{\delta}x^{(n-2)}(\mu)= \theta. \end{aligned}$$

Finally, \(x(t)=I^{n-2}y(t)\) is a solution of the higher order fractional boundary value problem (1.1), (1.2). Therefore, the proof of Lemma 2.1 is completed. □

Lemma 2.2

For any \(h\in\mathcal{C}[(0,1),E]\) with \(\int_{0}^{1}(1-s)^{\alpha-n}h(s)\,ds<+\infty\), the following fractional boundary value problem:

$$\begin{aligned}& {}^{c}D^{\alpha-n+2}y(t)=h(t),\quad t\in(0,1), \end{aligned}$$
(2.6)
$$\begin{aligned}& \begin{aligned} &y(0)+y'(0)=\theta,\\ &y(1)+y'(1)=\theta \end{aligned} \end{aligned}$$
(2.7)

has a unique solution

$$\begin{aligned} y(t)= \int_{0}^{1}G(t,s)h(s)\,ds, \end{aligned}$$
(2.8)

where

$$\begin{aligned} G(t,s)= \left \{ \begin{array}{@{}l@{\quad}l} \frac{(1-s)^{\alpha -n+1}(1-t)+(t-s)^{\alpha-n+1}}{\Gamma(\alpha-n+2)}+ \frac {(1-s)^{\alpha-n}(1-t)}{\Gamma(\alpha-n+1)}, & s\leq t; \\ \frac{(1-s)^{\alpha-n+1}(1-t)}{\Gamma(\alpha -n+2)}+ \frac{(1-s)^{\alpha-n}(1-t)}{\Gamma(\alpha-n+1)},& t\leq s. \end{array} \right . \end{aligned}$$
(2.9)

Proof

Let \(y(t)\) be a solution of the boundary value problem (2.6), (2.7). Applying the operator \(I^{\alpha-n+2}\) to both sides of (2.6), by Lemma 1.2, we reduce (2.6) to an equivalent integral equation

$$\begin{aligned} y(t)=I^{\alpha-n+2}h(t)+c_{1}+c_{2}t. \end{aligned}$$
(2.10)

Thus, differentiating (2.10), we have

$$\begin{aligned} y'(t)=I^{\alpha-n+1}h(t)+c_{2}. \end{aligned}$$
(2.11)

By the boundary conditions of (2.7), we get

$$ \begin{aligned} &c_{1}=I^{\alpha-n+2}h(1)+I^{\alpha-n+1}h(1), \\ &c_{2}=-I^{\alpha-n+2}h(1)-I^{\alpha-n+1}h(1). \end{aligned} $$
(2.12)

Substituting these values into (2.10), we obtain

$$\begin{aligned} y(t)={}& \frac{1}{\Gamma(\alpha -n+2)}\int_{0}^{t}(t-s)^{\alpha-n+1}h(s) \,ds+(1-t) \bigl[I^{\alpha -n+2}h(1)+I^{\alpha-n+1}h(1) \bigr] \\ ={}& \frac{1}{\Gamma(\alpha -n+2)}\int_{0}^{t}(t-s)^{\alpha-n+1}h(s) \,ds \\ &{}+ \frac{1-t}{\Gamma(\alpha -n+2)}\int_{0}^{1}(1-s)^{\alpha-n+1}h(s) \,ds+ \frac {1-t}{\Gamma(\alpha-n+1)}\int_{0}^{1}(1-s)^{\alpha-n}h(s) \,ds \\ ={}& \int_{0}^{1}G(t,s)h(s)\,ds. \end{aligned}$$

Therefore, the proof of Lemma 2.2 is completed. □

Lemma 2.3

For any \(h\in\mathcal{C}[(0,1),E]\) with \(\int_{0}^{1}(1-s)^{\alpha-n}h(s)\,ds<+\infty\), the following fractional boundary value problem:

$$\begin{aligned}& {}^{c}D^{\alpha-n+2}y(t)=h(t), \quad t\in(0,1), \end{aligned}$$
(2.13)
$$\begin{aligned}& \begin{aligned} &y(0)+y'(0)=I^{\delta} y(\eta),\\ &y(1)+y'(1)+I^{\delta}y(\mu)=\theta, \end{aligned} \end{aligned}$$
(2.14)

has a unique solution

$$\begin{aligned} y(t)= \int_{0}^{1}H(t,s)h(s)\,ds, \end{aligned}$$
(2.15)

where

$$\begin{aligned}& \begin{aligned}[b] H(t,s)={}&G(t,s)+\frac{1}{\psi} \biggl[2 \biggl(1+ \frac{\mu^{\delta+1}}{\Gamma(\delta+2)} \biggr)-t \biggl(1+ \frac {\mu^{\delta}}{\Gamma(\delta+1)} \biggr) \biggr] I^{\delta}G(\eta,s) \\ &{}+\frac{1}{\psi} \biggl[1- \frac{2\eta^{\delta+1}}{\Gamma (\delta+2)}-t \biggl(1- \frac{\eta^{\delta}}{\Gamma(\delta +1)} \biggr) \biggr] I^{\delta}G(\mu,s), \quad t,s \in[0,1], \end{aligned} \end{aligned}$$
(2.16)
$$\begin{aligned}& \psi=2 \biggl(1-\frac{\eta^{\delta}}{\Gamma(\delta+1)} \biggr) \biggl(1+\frac{\mu ^{\delta+1}}{\Gamma(\delta+2)} \biggr)- \biggl(1+\frac{\mu^{\delta}}{\Gamma (\delta+1)} \biggr) \biggl(1-\frac{2\eta^{\delta+1}}{\Gamma(\delta+2)} \biggr). \end{aligned}$$
(2.17)

Here, \(I^{\delta}G(\eta,s)\) and \(I^{\delta}G(\mu,s)\) denote the Riemann-Liouville integral of \(G(t,s)\) with respect to \(t=\eta\) and \(t=\mu\), respectively.

Proof

Let

$$\begin{aligned} u(t)= \int_{0}^{1}G(t,s)h(s)\,ds. \end{aligned}$$
(2.18)

Then by Lemma 2.2, \(u(t)\) verifies

$$\begin{aligned}& {}^{c}D^{\alpha-n+2}u(t)=h(t), \quad t\in(0,1), \end{aligned}$$
(2.19)
$$\begin{aligned}& \begin{aligned} &u(0)+u'(0)=\theta,\\ &u(1)+u'(1)=\theta. \end{aligned} \end{aligned}$$
(2.20)

Suppose that \(y(t)\) is a solution of the boundary value problem (2.13), (2.14), and let

$$\begin{aligned} z(t)=y(t)-u(t), \quad t\in[0,1], \end{aligned}$$
(2.21)

then \(z(t)\) satisfies the following fractional boundary value problem:

$$\begin{aligned}& {}^{c}D^{\alpha-n+2}z(t)=\theta,\quad t\in(0,1), \end{aligned}$$
(2.22)
$$\begin{aligned}& \begin{aligned} &z(0)+z'(0)=I^{\delta} z(\eta)+I^{\delta} u(\eta),\\ &z(1)+z'(1)+I^{\delta}z(\mu)+I^{\delta} u(\mu)= \theta. \end{aligned} \end{aligned}$$
(2.23)

Thus, we deduce from Lemma 1.3 that

$$\begin{aligned} z(t)=c_{0}+c_{1}t, \quad t\in[0,1], c_{0},c_{1}\in\mathbb{R}. \end{aligned}$$
(2.24)

Replacing \(z(t)\) into (2.23), we get

$$ \begin{aligned} &c_{0}=\frac{1}{\psi} \biggl[2 I^{\delta} u(\eta) \biggl(1+\frac {\mu^{\delta+1}}{\Gamma(\delta+2)} \biggr)+I^{\delta} u(\mu) \biggl(1-\frac {2\eta^{\delta+1}}{\Gamma(\delta+2)} \biggr) \biggr], \\ &c_{1}=-\frac{1}{\psi} \biggl[ I^{\delta} u(\mu) \biggl(1- \frac{\eta^{\delta }}{\Gamma(\delta+1)} \biggr)+I^{\delta} u(\eta) \biggl(1+\frac{\mu^{\delta }}{\Gamma(\delta+1)} \biggr) \biggr], \end{aligned} $$
(2.25)

where

$$\begin{aligned} \psi=2 \biggl(1-\frac{\eta^{\delta}}{\Gamma(\delta+1)} \biggr) \biggl(1+ \frac{\mu ^{\delta+1}}{\Gamma(\delta+2)} \biggr)- \biggl(1+\frac{\mu^{\delta}}{\Gamma (\delta+1)} \biggr) \biggl(1- \frac{2\eta^{\delta+1}}{\Gamma(\delta+2)} \biggr). \end{aligned}$$
(2.26)

Finally, replacing (2.25) into (2.24), we have

$$\begin{aligned} z(t)={}&\frac{1}{\psi} \biggl[2 \biggl(1+\frac{\mu^{\delta +1}}{\Gamma(\delta+2)} \biggr)-t \biggl(1+\frac{\mu^{\delta}}{\Gamma(\delta +1)} \biggr) \biggr]I^{\delta} u(\eta) \\ &{}+\frac{1}{\psi} \biggl[1-\frac{2\eta^{\delta+1}}{\Gamma(\delta+2)}-t \biggl(1-\frac{\eta^{\delta}}{\Gamma(\delta+1)} \biggr) \biggr]I^{\delta} u(\mu). \end{aligned}$$
(2.27)

It follows from (2.21) and (2.27) that the integral equation (2.15) is satisfied. Therefore, the proof of Lemma 2.3 is completed. □

Remark 2.1

Note that \(\psi>0\) for \(\frac{1}{4}<\mu \leq\eta<\frac{3}{4}\) and \(\delta\geq3\), since we have

$$\begin{aligned} \psi={}&2 \biggl(1+ \frac{\eta ^{\delta}}{\Gamma(\delta+1)} \biggr) \biggl(1+\frac{\mu^{\delta+1}}{\Gamma (\delta+2)} \biggr)-\frac{4\eta^{\delta}}{\Gamma(\delta+1)} \biggl(1+\frac{\mu ^{\delta+1}}{\Gamma(\delta+2)} \biggr) \\ &{} - \biggl(1+ \frac{\mu^{\delta }}{\Gamma(\delta+1)} \biggr) \biggl(1-\frac{2\eta^{\delta+1}}{\Gamma(\delta +2)} \biggr) \\ \geq{}& \biggl(1+ \frac{\eta ^{\delta}}{\Gamma(\delta+1)} \biggr) \biggl(1+\frac{2\mu^{\delta+1}}{\Gamma (\delta+2)}+ \frac{2\eta^{\delta+1}}{\Gamma(\delta+2)} \biggr)-\frac{4\eta ^{\delta}}{\Gamma(\delta+1)} \biggl(1+\frac{\mu^{\delta+1}}{\Gamma(\delta +2)} \biggr) \\ ={}&1- \frac{3\eta^{\delta }}{\Gamma(\delta+1)}-\frac{2\eta^{\delta}\mu^{\delta+1}}{\Gamma(\delta +1)\Gamma(\delta+2)}+\frac{2\eta^{\delta+1}}{\Gamma(\delta+2)}+ \frac {2\eta^{2\delta+1}}{\Gamma(\delta+1)\Gamma(\delta+2)}+\frac{2\mu^{\delta +1}}{\Gamma(\delta+2)} \\ \geq{}&1- \frac{3\eta^{\delta }}{\Gamma(\delta+1)}+\frac{2\eta^{\delta+1}}{\Gamma(\delta+2)}+\frac {2\mu^{\delta+1}}{\Gamma(\delta+2)} \\ >{}& \frac{2\eta^{\delta +1}}{\Gamma(\delta+2)}+\frac{2\mu^{\delta+1}}{\Gamma(\delta+2)} \\ >{}& 0. \end{aligned}$$

Lemma 2.4

Let \(n-1<\alpha<n\). Then \(G(t,s)\) given by the expression (2.9) has the following properties:

  1. (i)

    \(G(t,s)\in\mathcal{C}([0,1]\times[0,1))\), \(G(t,s)>0\), \(t,s\in(0,1)\).

  2. (ii)

    There exists a positive function \(\varphi\in\mathcal {C}(0,1)\) such that

    $$\begin{aligned}& G(t,s)\leq m(s), \quad t\in[0,1], s\in(0,1), \end{aligned}$$
    (2.28)

    and

    $$\begin{aligned}& G(t,s)\geq \varphi(s) m(s), \quad t\in \biggl[\frac{1}{4}, \frac{3}{4} \biggr], s\in(0,1), \end{aligned}$$
    (2.29)

    where

    $$\begin{aligned} m(s)= \frac{2(1-s)^{\alpha-n+1}}{\Gamma(\alpha -n+2)} + \frac{(1-s)^{\alpha-n}}{\Gamma(\alpha-n+1)},\quad s \in[0,1). \end{aligned}$$
    (2.30)

Proof

From the definition of \(G(t,s)\), it is easy to see that (i) holds. Now, we will prove the inequalities of the Green’s function \(G(t,s)\).

Let us define the functions \(G_{1}(t,s)\) and \(G_{2}(t,s)\) as follows:

$$\begin{aligned}& G_{1}(t,s)= \frac{(1-s)^{\alpha-n+1}(1-t)+(t-s)^{\alpha -n+1}}{\Gamma(\alpha-n+2)}+ \frac{(1-s)^{\alpha -n}(1-t)}{\Gamma(\alpha-n+1)},\quad s\leq t; \\& G_{2}(t,s)= \frac{(1-s)^{\alpha-n+1}(1-t)}{\Gamma(\alpha -n+2)}+ \frac{(1-s)^{\alpha-n}(1-t)}{\Gamma(\alpha-n+1)}, \quad t\leq s, \end{aligned}$$

then \(G_{2}(t,s)\) is a nonincreasing function with respect to t. Thus, we get

$$\begin{aligned}& \max_{t\in[0,1]}G_{1}(t,s)\leq \frac{2(1-s)^{\alpha -n+1}}{\Gamma(\alpha-n+2)} + \frac{(1-s)^{\alpha-n}}{\Gamma (\alpha-n+1)}, \end{aligned}$$
(2.31)
$$\begin{aligned}& \min_{t\in[\frac{1}{4},\frac{3}{4}]}G_{1}(t,s)\geq \frac {1}{4} \biggl[ \frac{(1-s)^{\alpha-n+1}}{\Gamma(\alpha-n+2)} + \frac{(1-s)^{\alpha-n}}{\Gamma(\alpha-n+1)} \biggr], \end{aligned}$$
(2.32)

and

$$\begin{aligned}& \begin{aligned}[b] \max_{t\in[0,1]}G_{2}(t,s) &\leq \frac{(1-s)^{\alpha -n+1}}{\Gamma(\alpha-n+2)} + \frac{(1-s)^{\alpha-n}}{\Gamma (\alpha-n+1)} \\ &< \frac{2(1-s)^{\alpha-n+1}}{\Gamma(\alpha-n+2)} + \frac{(1-s)^{\alpha-n}}{\Gamma(\alpha-n+1)}, \end{aligned} \end{aligned}$$
(2.33)
$$\begin{aligned}& \min_{t\in[\frac{1}{4},\frac{3}{4}]}G_{2}(t,s)\geq \frac{1}{4} \biggl[ \frac{(1-s)^{\alpha-n+1}}{\Gamma(\alpha -n+2)} + \frac{(1-s)^{\alpha-n}}{\Gamma(\alpha-n+1)} \biggr]. \end{aligned}$$
(2.34)

It follows from (2.31)-(2.34) that

$$\begin{aligned}& \max_{t\in[0,1]}G(t,s) \leq m(s)= \frac{2(1-s)^{\alpha -n+1}}{\Gamma(\alpha-n+2)} + \frac{(1-s)^{\alpha-n}}{\Gamma (\alpha-n+1)} \end{aligned}$$

and

$$\begin{aligned}& \min_{t\in[\frac{1}{4},\frac{3}{4}]}G(t,s)\geq \frac{1}{4} \biggl[ \frac{(1-s)^{\alpha-n+1}}{\Gamma(\alpha -n+2)} + \frac{(1-s)^{\alpha-n}}{\Gamma(\alpha-n+1)} \biggr]. \end{aligned}$$

Hence, if we take

$$\begin{aligned}& \varphi(s) = \frac{(1-s)^{\alpha-n+1}+(\alpha -n+1)(1-s)^{\alpha-n}}{8(1-s)^{\alpha-n+1}+4(\alpha-n+1)(1-s)^{\alpha -n}}, \end{aligned}$$
(2.35)

then the property (ii) holds and it is evident that \(\varphi (s)\in\mathcal{C}[(0,1),(0,\infty)]\). The proof of Lemma 2.4 is completed. □

Remark 2.2

From the expression of the function \(\varphi(s)\), we know that \(\varphi (s)>\frac{1}{8}\).

Lemma 2.5

Let \(n-1<\alpha<n\). Then \(H(t,s)\) given by (2.16) has the following properties:

  1. (i)

    \(H(t,s)\in\mathcal{C}([0,1]\times[0,1))\), \(H(t,s)>0\), \(t,s\in(0,1)\).

  2. (ii)

    There exist nonnegative numbers ρ and γ such that

    $$\begin{aligned}& H(t,s)\leq\rho m(s),\quad \textit{for } t\in[0,1], s\in(0,1), \end{aligned}$$
    (2.36)

    and

    $$\begin{aligned}& H(t,s)\geq\gamma\varphi(s)m(s), \quad t\in \biggl[ \frac {1}{4},\frac{3}{4} \biggr], s\in(0,1), \end{aligned}$$
    (2.37)

    where

    $$ \begin{aligned} &\rho=1+ \frac{3\eta^{\delta}}{\psi\Gamma (\delta+1)}+ \frac{2(\eta^{2\delta+1}-\mu^{2\delta+1})}{\psi\Gamma(\delta +1)\Gamma(\delta+2)}, \\ &\gamma=1+\frac{1}{\psi\Gamma(\delta+1)} \biggl(\frac{3}{2}+\frac{2\mu^{\delta+1}}{\Gamma(\delta+2)}- \frac{2\eta ^{\delta+1}}{\Gamma(\delta+2)} \biggr) \biggl(\mu-\frac{1}{4} \biggr)^{\delta}. \end{aligned} $$
    (2.38)

Proof

From the definition of \(H(t,s)\), it is easy to see that property (i) is satisfied. Now, property (ii) will be verified. From (2.16) and (2.28) for \(t\in[0,1]\), \(s\in[0,1)\), we get

$$\begin{aligned} H(t,s)\leq{}& m(s)+\frac{2}{\psi} \biggl(1+ \frac {\mu^{\delta+1}}{\Gamma(\delta+2)} \biggr) \frac{1}{\Gamma(\delta)}\int_{0}^{\eta}(\eta- \tau)^{\delta-1} m(s)\,d\tau \\ &{}+ \frac{1}{\psi} \biggl(1- \frac{2\eta^{\delta+1}}{\Gamma (\delta+2)} \biggr)\frac{1}{\Gamma(\delta)} \int_{0}^{\mu}(\mu-\tau)^{\delta -1} m(s)\,d\tau \\ ={}&m(s) \biggl[1+\frac{1}{\psi\Gamma(\delta+1)} \biggl[2\eta^{\delta} \biggl(1+ \frac{\mu^{\delta+1}}{\Gamma(\delta+2)} \biggr)+\mu^{\delta } \biggl(1- \frac{2\eta^{\delta+1}}{\Gamma(\delta+2)} \biggr) \biggr] \biggr] \\ \leq{}& m(s) \biggl(1+\frac{3\eta^{\delta}}{\psi\Gamma(\delta+1)}+\frac {2(\eta^{2\delta+1}-\mu^{2\delta+1})}{\psi\Gamma(\delta+1)\Gamma(\delta +2)} \biggr). \end{aligned}$$

On the other hand, we can derive from (2.16) and (2.29) that

$$\begin{aligned} H(t,s)\geq{}& \varphi(s) m(s)+ \frac{1}{\psi} \biggl[ \biggl( \frac{5}{4}+\frac{2\mu^{\delta+1}}{\Gamma(\delta +2)}-\frac{3\mu^{\delta}}{4\Gamma(\delta+1)} \biggr)\frac{1}{\Gamma(\delta )} \int_{1/4}^{\eta}(\eta-\tau)^{\delta-1}G(\tau,s) \,d\tau \\ &{}+ \biggl( \frac{1}{4}-\frac{2\eta ^{\delta+1}}{\Gamma(\delta+2)}+\frac{3\eta^{\delta}}{4\Gamma(\delta +1)} \biggr) \frac{1}{\Gamma(\delta)}\int_{1/4}^{\mu}(\mu- \tau)^{\delta -1}G(\tau,s)\,d\tau \biggr] \\ \geq{}& \varphi(s) m(s) \biggl\{ 1+ \frac{1}{\psi\Gamma(\delta+1)} \biggl[ \biggl( \frac{5}{4}+\frac{2\mu^{\delta +1}}{\Gamma(\delta+2)}-\frac{3\mu^{\delta}}{4\Gamma(\delta+1)} \biggr) \biggl(\eta- \frac{1}{4} \biggr)^{\delta} \\ &{}+ \biggl( \frac{1}{4}-\frac {2\eta^{\delta+1}}{\Gamma(\delta+2)}+\frac{3\eta^{\delta}}{4\Gamma (\delta+1)} \biggr) \biggl(\mu-\frac{1}{4} \biggr)^{\delta} \biggr] \biggr\} \\ \geq{}& \varphi(s) m(s) \biggl[1+ \frac{1}{\psi\Gamma(\delta+1)} \biggl(\frac{3}{2}+ \frac{2\mu^{\delta +1}}{\Gamma(\delta+2)}-\frac{2\eta^{\delta+1}}{\Gamma(\delta+2)} \biggr) \biggl(\mu-\frac{1}{4} \biggr)^{\delta} \biggr]. \end{aligned}$$

Therefore, the proof of Lemma 2.5 is completed. □

Lemma 2.6

If there exists \(h\in Q\) such that \(y(t)=\int_{0}^{1}H(t,s)h(s)\,ds<+\infty\), then \(y(t)\geq\theta\), \(t\in J\), i.e., \(y\in Q\).

Proof

By means of Lemma 2.3 and Lemma 2.5, we have \(y(t)\geq\theta\), \(t\in J\). □

Remark 2.3

Define σ as follows:

$$\begin{aligned} \sigma=\frac{\gamma}{8}. \end{aligned}$$
(2.39)

If there exists \(h\in Q\) such that \(y(t)=\int_{0}^{1}H(t,s)h(s)\,ds<+\infty\), then by Remark 2.2 and Lemma 2.3, we get

$$\begin{aligned} \min_{t\in[\frac{1}{4},\frac{3}{4}]}y(t)&=\min_{t\in [\frac{1}{4},\frac{3}{4}]} \int_{0}^{1}H(t,s)h(s)\,ds \\ &\geq\sigma\int_{0}^{1}m(s)h(s)\,ds \\ &\geq\frac{\sigma}{\rho}\rho\int_{0}^{1}m(s)h(s) \,ds \\ &\geq\frac{\sigma}{\rho} \int_{0}^{1}H(s,s)h(s) \,ds \\ &= \frac{\sigma}{\rho} y(s), \quad s\in J. \end{aligned}$$
(2.40)

To establish the existence and nonexistence of positive solutions, we define a cone K by

$$\begin{aligned} K= \biggl\{ y\in Q: y(t)\geq\frac{\sigma}{\rho}y(s), t\in \biggl[ \frac{1}{4},\frac{3}{4} \biggr], s\in J \biggr\} , \end{aligned}$$

where ρ and σ are defined by (2.38) and (2.39), respectively.

In this paper, by means of Lemma 2.1, we will consider the boundary value problem (2.4), (2.5). Here, we define the operator

$$\begin{aligned} Ay(t)={}&\lambda_{1} \int_{0}^{1}H(t,s) a(s)f \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s) \bigr)\,ds \\ &{}+\lambda_{2} \int_{0}^{1}H(t,s) b(s)g \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s), \\ &{}T \bigl(I^{n-2}y(s) \bigr),S \bigl(I^{n-2}y(s) \bigr) \bigr)\,ds, \end{aligned}$$
(2.41)

where \(H(t,s)\) is given by (2.16).

Lemma 2.7

Assume that (H1)-(H3) are satisfied. Then, for any \(r>0\), the operator \(A:Q\cap B_{r} \rightarrow Q\) is a strict set contraction, where \(B_{r}= \{ y\in C[J,E]: \|y\|_{c}\leq r \}\).

Proof

Let \(y\in Q\cap B_{r}\), then from (H1), for any \(t\in[0,1]\) we obtain

$$\begin{aligned}& f_{r}(t)=\sup \bigl\{ \bigl\| f(t,u_{1},u_{2}, \ldots,u_{n-1} )\bigr\| : (u_{1},u_{2}, \ldots,u_{n-1})\in{P_{r}}^{n-1} \bigr\} < +\infty \end{aligned}$$

and

$$\begin{aligned} g_{r}(t)&=\sup \bigl\{ \bigl\| g(t,u_{1},u_{2}, \ldots,u_{n+1} )\bigr\| : (u_{1},u_{2}, \ldots,u_{n+1})\in{P_{r}}^{n-1}\times P_{k^{*}r}\times P_{h^{*}r} \bigr\} \\ &< +\infty. \end{aligned}$$

Using condition (H2), we have

$$\begin{aligned} \bigl\| Ay(t)\bigr\| \leq{}&\rho \biggl[\lambda_{1} \int _{0}^{1}m(s) a(s)\bigl\| f \bigl(s,I^{n-2}y(s), \ldots,I^{1}y(s),y(s) \bigr)\bigr\| \,ds \\ &{}+\lambda_{2} \int_{0}^{1}m(s) b(s) \bigl\| g \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s),T \bigl(I^{n-2}y(s) \bigr),S \bigl(I^{n-2}y(s) \bigr) \bigr)\bigr\| \,ds \biggr] \\ \leq{}& \rho \int_{0}^{1}m(s) \bigl[ \lambda_{1} a(s)f_{r}(s)+\lambda_{2} b(s)g_{r}(s) \bigr]\,ds< +\infty. \end{aligned}$$
(2.42)

Thus, \(A:Q\cap B_{r} \rightarrow Q\) is bounded. Next, we shall prove that A is continuous. Let \(y_{m}, y\in Q\cap B_{r}\) with \(\| y_{m}-y\|_{c} \rightarrow0\) as \(m\rightarrow\infty\). For any \(t_{1}, t_{2}\in J\), we have

$$ \bigl\| (Ay_{m}) (t_{1})-(Ay_{m}) (t_{2})\bigr\| \leq \int_{0}^{1}\bigl|H(t_{1},s)-H(t_{2},s)\bigr| \bigl[\lambda_{1} a(s)f_{r}(s)+\lambda_{2} b(s)g_{r}(s) \bigr]\,ds. $$
(2.43)

It follows from (H1), (2.42), and (2.43) that \(Ay_{m}\) is equicontinuous on J. On the other hand, for any \(t\in J\), we have \(\| y_{m}(t)-y(t)\|\rightarrow0\), \(\| I^{j}y_{m}(t)-I^{j}y(t)\|\rightarrow0\) (\(j=1,2,\ldots,n-2\)), \(\| S(I^{n-2})y_{m}(t)-S(I^{n-2})y(t)\|\rightarrow0\) and \(\| T(I^{n-2})y_{m}(t)-T(I^{n-2})y(t)\|\rightarrow0\), as \(m\rightarrow\infty\). Thus, by using the Lebesgue dominated convergence theorem and (2.42), we have

$$\begin{aligned} \bigl\| (Ay_{m}) (t)-(Ay) (t)\bigr\| \rightarrow0 \quad\mbox{as } m\rightarrow\infty, t\in J, \end{aligned}$$
(2.44)

so \((Ay_{m})(t)\) is relatively compact for every \(t\in J\). Therefore, we deduce from the Ascoli-Arzela theorem that \(\{ Ay_{m} \}\) is relatively compact in Q. Now, we will show that \(\| Ay_{m}-Ay\|_{c} \rightarrow0\) as \(m\rightarrow\infty\). If not, then there exists \(\epsilon>0\) and \(\{y_{m_{i}} \}\subset \{y_{m} \}\) such that

$$\begin{aligned} \|Ay_{m_{i}}-Ay\|>\epsilon \quad\mbox{for } i=1,2,\ldots. \end{aligned}$$
(2.45)

Because \(\{Ay_{m} \}\) is relatively compact in \(\|\cdot\| _{c}\), there exists a subsequence of \(\{Ay_{m} \}\) converging to some \(u\in C[J,P]\). Without loss of generality, we suppose that \(\{ Ay_{m_{i}} \}\) itself converges to u, which means that

$$\begin{aligned} \|Ay_{m_{i}}-u\|_{c} \rightarrow0 \quad\mbox{as } i\rightarrow\infty. \end{aligned}$$
(2.46)

By (2.44) and (2.46), we get \(u=Ay\). This relation contradicts (2.45). Hence, A is a continuous operator.

Finally, we will prove that \(A:Q\cap B_{r} \rightarrow Q\) is a strict set contraction, i.e., there exists \(l\in(0,1)\) such that

$$\begin{aligned} \alpha_{C}(AV)\leq l \alpha_{C}(V), \quad V\subset Q\cap B_{r}, \end{aligned}$$

where

$$\begin{aligned} l=\rho \int_{0}^{1}m(s) \bigl( \lambda_{1} a(s)L(s)+\lambda_{2} b(s)M(s) \bigr)\,ds< 1, \end{aligned}$$

and the functions \(L(s)\) and \(M(s)\) are defined in (2.2) and (2.3), respectively.

Assume that \(V\subset B_{r}\) is given arbitrarily, then from the above arguments, we know that \(\{Ay: y\in V \}\) are uniformly bounded and equicontinuous, so by Lemma 1.4 and (H2), we have

$$\begin{aligned} \alpha_{c}(AV)=\max_{t\in[0,1]}\alpha(AV) (t). \end{aligned}$$

For any \(y\in V\), let

$$\begin{aligned} (A_{n}y) (t)={}&\lambda_{1} \int _{1/n}^{1-1/n}H(t,s) a(s)f \bigl(s,I^{n-2}y(s), \ldots,I^{1}y(s),y(s) \bigr)\,ds \\ &{}+\lambda_{2} \int_{1/n}^{1-1/n}H(t,s) b(s)g \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s), \\ &{}T \bigl(I^{n-2}y(s) \bigr),S \bigl(I^{n-2}y(s) \bigr) \bigr)\,ds. \end{aligned}$$
(2.47)

By (2.42), it is easy to see that \((A_{n}y)(t)\rightarrow (Ay)(t)\) as \(n\rightarrow\infty\), \(y\in V\), \(t\in J\). This shows that

$$\begin{aligned} d_{H} \bigl((A_{n}V) (t), (AV) (t) \bigr) \rightarrow0, \quad\mbox{as } n \rightarrow \infty, \end{aligned}$$
(2.48)

where \(d_{H}(\cdot,\cdot)\) denotes the Hausdorff metric. Hence, by (2.48) and the property of the measure of noncompactness, we have

$$\begin{aligned} \alpha \bigl((A_{n}V) (t) \bigr)\rightarrow\alpha \bigl((AV) (t) \bigr), \quad\mbox{as } n \rightarrow\infty. \end{aligned}$$
(2.49)

Now, we estimate for each \(\alpha((A_{n}V)(t))\) and \(t\in J\). By means of (H3), we have

$$\begin{aligned} \alpha \bigl((A_{n} V) (t) \bigr)\leq{}&\alpha \biggl( \lambda _{1} \int_{1/n}^{1-1/n}H(t,s) a(s)f \bigl(s,I^{n-2}V(s),\ldots,I^{1}V(s),V(s) \bigr)\,ds \biggr) \\ &{}+\alpha \biggl(\lambda_{2}\int_{1/n}^{1-1/n}H(t,s) b(s)g \bigl(s,I^{n-2}V(s),\ldots,I^{1}V(s), \\ &{}V(s),T \bigl(I^{n-2}V(s) \bigr),S \bigl(I^{n-2}V(s) \bigr) \bigr)\,ds \biggr) \\ \leq{}&\lambda_{1}\rho \int_{1/n}^{1-1/n}m(s) a(s)\alpha \bigl(f \bigl(s,I^{n-2}V(s),\ldots,I^{1}V(s),V(s) \bigr) \bigr)\,ds \\ &{}+\lambda_{2}\rho \int_{1/n}^{1-1/n}m(s) b(s)\alpha\bigl(g \bigl(s,I^{n-2}V(s),\ldots,I^{1}V(s), \\ &{}V(s),T \bigl(I^{n-2}V(s) \bigr),S \bigl(I^{n-2}V(s) \bigr) \bigr)\bigr)\,ds \\ \leq{}&\rho \int_{1/n}^{1-1/n}m(s) \Biggl[ \lambda_{1}a(s) \Biggl( \sum_{k=1}^{n-2} \frac{L_{k}(s)}{(n-2-k)!} +L_{n-1}(s) \Biggr) \\ &{}+\lambda_{2} b(s) \Biggl( \sum_{k=1}^{n-2} \frac{M_{k}(s)}{(n-2-k)!}+M_{n-1}(s)+\frac{k^{*}}{(n-3)!}M_{n}(s) \\ &{}+ \frac {h^{*}}{(n-3)!}M_{n+1}(s) \Biggr) \Biggr]\,ds \alpha_{c}(V) \\ \leq{}&\rho \int_{0}^{1}m(s) \bigl( \lambda_{1} a(s)L(s)+\lambda_{2} b(s)M(s) \bigr)\,ds \alpha_{c}(V), \end{aligned}$$
(2.50)

where \(L(s)\) and \(M(s)\) are given by (2.2) and (2.3), respectively. By using (2.49) and (2.50), we have

$$\begin{aligned}& \alpha \bigl((AV) (t) \bigr)\leq\rho \int_{0}^{1}m(s) \bigl( \lambda_{1} a(s)L(s)+\lambda_{2} b(s)M(s) \bigr)\,ds \alpha_{c}(V), \end{aligned}$$

so, by Lemma 1.4, we can get

$$\begin{aligned}& \alpha_{c}(AV)\leq\rho \int_{0}^{1}m(s) \bigl( \lambda _{1} a(s)L(s)+\lambda_{2} b(s)M(s) \bigr)\,ds \alpha_{c}(V), \end{aligned}$$

where

$$\begin{aligned}& l=\rho \int_{0}^{1}m(s) \bigl( \lambda_{1} a(s)L(s)+\lambda_{2} b(s)M(s) \bigr)\,ds< 1. \end{aligned}$$

Thus, the operator \(A:Q\cap B_{r} \rightarrow Q\) is a strict set contraction. The proof of Lemma 2.7 is completed. □

Lemma 2.8

Assume that (H1)-(H3) are satisfied. Then \(A(K)\subset K\) and \(A:K_{r,R}\rightarrow K\) is a strict set contraction.

Proof

By Remark 2.3, it is obvious that the operator A leaves the cone K invariant; i.e., \(A:K\rightarrow K\). Besides, by \(K_{r,R}\subset K\), \(A(K_{r,R})\subset K\) holds. Thus, \(A:K_{r,R}\rightarrow K\). This and Lemma 2.7 complete the proof of Lemma 2.8. □

3 Main results

In this section, we give the existence, multiplicity, and nonexistence results of positive solutions for the BVP (1.1), (1.2).

For convenience, let us define

$$ \begin{aligned} &A= \frac{1}{\rho} \Biggl[\sum _{i=0}^{n-2}\frac {1}{i!} \int _{0}^{1}m(s) \bigl(a(s)+b(s) \bigr)\,ds+ \frac {k^{*}+h^{*}}{(n-3)!} \int_{0}^{1}m(s)b(s)\,ds \Biggr]^{-1}, \\ &B= \biggl[ \int_{1/4}^{3/4}m(s)a(s)\,ds \biggr]^{-1}, \qquad C= \biggl[ \int_{1/4}^{3/4}m(s)b(s) \,ds \biggr]^{-1}. \end{aligned} $$
(3.1)

Now, we assume the following condition on \(f(t,y_{1},\ldots,y_{n-1})\) and \(g(t,y_{1},\ldots,y_{n+1})\).

(H4) There exist constants \(0< r<R<+\infty\) such that for all \(t\in J\)

$$\begin{aligned}& \bigl\| f(t,y_{1},\ldots,y_{n-1})\bigr\| \leq \frac {A}{\lambda_{1}}\sum _{i=1}^{n-1}\|y_{i}\|,\quad y_{i}\in P\ (i=1,2,\ldots,n-1), 0 \leq\sum _{i=1}^{n-1}\|y_{i}\|\leq r, \\& \bigl\| g(t,y_{1},\ldots,y_{n+1})\bigr\| \leq \frac{A}{\lambda_{2}}\sum _{i=1}^{n+1}\|y_{i}\|, \quad y_{i}\in P\ (i=1,2,\ldots,n+1), 0 \leq\sum _{i=1}^{n+1}\|y_{i}\|\leq r, \\& \psi \bigl(f(t,y_{1},\ldots,y_{n-1}) \bigr)\geq \frac{\rho R B }{\lambda_{1} {\sigma}^{2}}, \quad y_{i}\in P\setminus\theta\ (i=1,2,\ldots,n-1), R \leq\sum_{i=1}^{n-1}\|y_{i}\|< + \infty, \end{aligned}$$

where ρ and σ are given by (2.38) and (2.39), respectively, and \(\psi\in P^{*}\) with \(\|\psi\|=1\).

Theorem 3.1

Suppose that (H1)-(H4) are satisfied and P is normal. Then the BVP (1.1), (1.2) has at least one positive solution \(y(t)\), \(t\in J\) such that

$$\begin{aligned}& \frac{\sigma}{\rho} \Biggl(\frac{k^{*}+h^{*}}{(n-3)!}+\sum _{i=0}^{n-2}\frac{1}{i!} \Biggr)^{-1}r \leq\bigl\| y(t)\bigr\| \leq\frac{\rho}{\sigma}R. \end{aligned}$$
(3.2)

Proof

Assume that the operator given by (2.41) is the cone preserving, strict set contraction. Choose

$$\begin{aligned}& r_{1}= \Biggl(\frac{k^{*}+h^{*}}{(n-3)!}+\sum _{i=0}^{n-2}\frac {1}{i!} \Biggr)^{-1}r. \end{aligned}$$
(3.3)

It is evident that \(r_{1}< r\). Let \(y\in K\) with \(\|y\|_{c}=r_{1}\), then by (H4), we have

$$\begin{aligned} \bigl\| Ay(t)\bigr\| \leq{}&\rho \biggl[\lambda_{1} \int_{0}^{1}m(s) a(s)\bigl\| f \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s) \bigr)\bigr\| \,ds \\ &{}+\lambda_{2} \int_{0}^{1}m(s) b(s) \bigl\| g \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s),T \bigl(I^{n-2}y(s) \bigr),S \bigl(I^{n-2}y(s) \bigr) \bigr)\bigr\| \,ds \biggr] \\ \leq{}&\rho A \Biggl[ \int_{0}^{1}m(s) \bigl(a(s)+b(s) \bigr) \Biggl[\sum_{i=1}^{n-2} \bigl\| I^{i}y(s)\bigr\| +\bigl\| y(s)\bigr\| \Biggr]\,ds \\ &{}+ \int_{0}^{1}m(s)b(s) \bigl[\bigl\| T \bigl(I^{n-2}y(s) \bigr)\bigr\| +\bigl\| S \bigl(I^{n-2}y(s) \bigr)\bigr\| \bigr] \,ds \Biggr] \\ \leq{}&\rho A\|y\|_{c} \Biggl[ \sum_{i=0}^{n-2} \frac{1}{i!} \int_{0}^{1}m(s) \bigl(a(s)+b(s) \bigr)\,ds+\frac{k^{*}+h^{*}}{(n-3)!} \int_{0}^{1}m(s)b(s) \,ds \Biggr] \\ ={}&\|y\|_{c}. \end{aligned}$$

If we choose \(\Omega_{1} = \{y\in K: \|y\| _{c}< r_{1} \}\), then we have

$$\begin{aligned} \|Ay\|_{c}\leq\|y\|_{c} \quad \mbox{for all } y\in K\cap\partial\Omega_{1}. \end{aligned}$$
(3.4)

Next, set \(\overline{R}= \frac{\rho}{\sigma}R\) and \(\Omega_{2} = \{y\in K: \|y\|_{c}<\overline{R} \}\). Then \(y\in K\) with \(\|y\|_{c} =\overline{R}\), \(t\in[\frac{1}{4},\frac{3}{4}]\), \(s\in [0,1]\) implies that

$$\begin{aligned}& y(t)\geq\frac{\sigma}{\rho}y(s), \end{aligned}$$

so we have

$$\begin{aligned}& \bigl\| y(t)\bigr\| \geq\frac{\sigma}{\rho}\overline{R}=R,\quad t\in \biggl[ \frac{1}{4},\frac{3}{4} \biggr], \end{aligned}$$

that is, \(\| \sum_{i=1}^{n-2}I^{i}y(s)\|+\|y(s)\| \geq R\) for all \(s \in[\frac{1}{4},\frac{3}{4}]\). Then, from condition (H4) again, we have

$$\begin{aligned} \bigl\| Ay(t)\bigr\| &\geq\psi(Ay) (t)\geq\lambda_{1} \int_{0}^{1}H(t,s) a(s)\psi \bigl(f \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s) \bigr) \bigr)\,ds \\ &\geq\lambda_{1} \sigma \int_{1/4}^{3/4}m(s) a(s)\psi \bigl(f \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s) \bigr) \bigr)\,ds \\ &\geq\frac{\rho RB}{\sigma} \int_{1/4}^{3/4}m(s)a(s)\,ds \\ &=\frac{\rho}{\sigma}R=\overline{R}=\|y\|_{c}. \end{aligned}$$

Thus, we have

$$\begin{aligned} \|Ay\|_{c}\geq\|y\|_{c} \quad\mbox{for all } y\in K\cap \partial\Omega_{2}. \end{aligned}$$
(3.5)

Lemma 1.5 together with (3.4) and (3.5) shows that there exists a fixed point \(y(t)\) in \(K\cap(\overline{\Omega}_{2}\setminus\Omega _{1})\) satisfying \(\frac{\sigma}{\rho} ( \frac{k^{*}+h^{*}}{(n-3)!}+ \sum_{i=0}^{n-2}\frac{1}{i!} )^{-1}r\leq\|y(t)\|\leq\frac{\rho}{\sigma}R\). This and Lemma 2.1 complete the proof of Theorem 3.1. □

Similarly, we can prove the following result.

Corollary 3.1

Suppose that (H1)-(H3) hold and P is normal. If \(f^{0}=0\), \(g^{0}=0\) and \((\psi f)_{\infty}=\infty\), then the BVP (1.1), (1.2) has at least one positive solution \(y(t)\), \(t\in J\) in P for \(r>0\) sufficiently small and \(R>0\) sufficiently large.

In the next theorem, we also assume the following condition on \(f(t,y_{1},\ldots,y_{n-1})\) and \(g(t,y_{1},\ldots,y_{n+1})\).

(H5) There exist constants \(0< r<R<+\infty\) such that for all \(t\in J\)

$$\begin{aligned}& \psi \bigl(f(t,y_{1},\ldots,y_{n-1}) \bigr)\geq \frac{\rho B \sum_{i=1}^{n-1}\|y_{i}\|}{\lambda_{1} {\sigma}^{2}},\quad y_{i}\in P\setminus\theta\ (i=1,2,\ldots,n-1), 0\leq \sum_{i=1}^{n-1}\|y_{i}\|\leq r, \\& \bigl\| f(t,y_{1},\ldots,y_{n-1})\bigr\| \leq \frac {A}{\lambda_{1}}\sum _{i=1}^{n-1}\|y_{i}\|,\quad y_{i}\in P\ (i=1,2,\ldots,n-1), R \leq\sum _{i=1}^{n-1}\|y_{i}\|< \infty, \\& \bigl\| g(t,y_{1},\ldots,y_{n+1})\bigr\| \leq \frac {A}{\lambda_{2}}\sum _{i=1}^{n+1}\|y_{i}\|,\quad y_{i}\in P\ (i=1,2,\ldots,n+1), R \leq\sum _{i=1}^{n+1}\|y_{i}\|< \infty, \end{aligned}$$

where ρ and σ are given by (2.38) and (2.39), respectively, and \(\psi\in P^{*}\) with \(\|\psi\|=1\).

Theorem 3.2

Suppose that (H1)-(H3) and (H5) are satisfied and P is normal. Then the BVP (1.1), (1.2) has at least one positive solution \(y(t)\), \(t\in J\), such that

$$\begin{aligned}& \frac{\sigma}{\rho} \Biggl(\sum_{i=0}^{n-2} \frac{1}{i!} \Biggr)^{-1}r\leq\bigl\| y(t)\bigr\| \leq R. \end{aligned}$$
(3.6)

Proof

Assume that the operator given by (2.41) is a cone preserving, strict set contraction. Choose

$$\begin{aligned}& r_{2}= \Biggl(\sum_{i=0}^{n-2} \frac{1}{i!} \Biggr)^{-1}r. \end{aligned}$$
(3.7)

Clearly, \(r_{2}< r\). Let \(y\in K\) with \(\|y\|_{C}=r_{2}\), then by (H5), we have

$$\begin{aligned} \bigl\| Ay(t)\bigr\| &\geq\psi \bigl((Ay) (t) \bigr)\geq\lambda_{1} \int _{0}^{1}H(t,s) a(s)\psi \bigl(f \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s) \bigr) \bigr)\,ds \\ &\geq\lambda_{1} \sigma \int_{1/4}^{3/4}m(s) a(s)\psi \bigl(f \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s) \bigr) \bigr)\,ds \\ &\geq\frac{B\rho}{\sigma} \int_{1/4}^{3/4}m(s)a(s) \Biggl[\sum_{i=1}^{n-2}\bigl\| I^{i}y(s) \bigr\| +\bigl\| y(s)\bigr\| \Biggr]\,ds \\ &\geq\frac{B\rho}{\sigma}\frac{\sigma}{\rho}\|y\|_{c} \int _{1/4}^{3/4}m(s)a(s)\,ds \\ &=\|y\|_{c}. \end{aligned}$$

Set \(\Omega_{1} = \{y\in K: \|y\|_{c}< r_{2} \}\), thus we have

$$\begin{aligned} \|Ay\|_{c}\geq\|y\|_{c} \quad\mbox{for all } y\in K\cap\partial\Omega_{1}. \end{aligned}$$
(3.8)

Finally, let \(y\in K\) with \(\|y\|_{c} =R\). Then from condition (H5), we get

$$\begin{aligned} \bigl\| Ay(t)\bigr\| \leq{}&\rho \biggl[\lambda_{1} \int_{0}^{1}m(s) a(s)\bigl\| f \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s) \bigr)\bigr\| \,ds \\ &{}+\lambda_{2} \int_{0}^{1}m(s) b(s) \bigl\| g \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s),T \bigl(I^{n-2}y(s) \bigr),S \bigl(I^{n-2}y(s) \bigr) \bigr)\bigr\| \,ds \biggr] \\ \leq{}&\rho A \Biggl[ \int_{0}^{1}m(s) \bigl(a(s)+b(s) \bigr) \Biggl[\sum_{i=1}^{n-2} \bigl\| I^{i}y(s)\bigr\| +\bigl\| y(s)\bigr\| \Biggr]\,ds \\ &{}+ \int_{0}^{1}m(s)b(s) \bigl[\bigl\| T \bigl(I^{n-2}y(s) \bigr)\bigr\| +\bigl\| S \bigl(I^{n-2}y(s) \bigr)\bigr\| \bigr] \,ds \Biggr] \\ \leq{}&\rho A\|y\|_{c} \Biggl[ \sum_{i=0}^{n-2} \frac{1}{i!} \int_{0}^{1}m(s) \bigl(a(s)+b(s) \bigr)\,ds+\frac{k^{*}+h^{*}}{(n-3)!} \int_{0}^{1}m(s)b(s) \,ds \Biggr] \\ ={}&\|y\|_{c}. \end{aligned}$$

Therefore, we have

$$\begin{aligned} \|Ay\|_{c}\leq\|y\|_{c} \quad\mbox{for all } y\in K\cap\partial \Omega_{2}, \end{aligned}$$
(3.9)

where \(\Omega_{2} = \{y\in K: \|y\|_{c}< R \}\). Lemma 1.5 together with (3.8) and (3.9) shows that there exists a fixed point \(y(t)\) in \(K\cap(\overline{\Omega}_{2}\setminus\Omega _{1})\) satisfying \(\frac{\sigma}{\rho} (\sum_{i=0}^{n-2}\frac {1}{i!})^{-1}r\leq\|y(t)\|\leq R\). This and Lemma 2.1 complete the proof of Theorem 3.2. □

Similarly, we can also prove the following results.

Corollary 3.2

Suppose that (H1)-(H3) hold and P is normal. If \(f^{\infty}=0\), \(g^{\infty}=0\) and \((\psi f)_{0}=\infty\), then the BVP (1.1)-(1.2) has at least one positive solution y in P for \(r>0\) sufficiently small and \(R>0\) sufficiently large.

Theorem 3.3

Suppose that (H1)-(H3) are satisfied, P is normal and the following two conditions hold:

(H6) There exist constants \(0< r<R<+\infty\) such that for all \(t\in J\)

$$\begin{aligned}& \psi \bigl(f(t,y_{1},\ldots,y_{n-1}) \bigr)\geq \frac{\rho B }{\lambda_{1} {\sigma}^{2}}\sum_{i=1}^{n-1} \|y_{i}\|, \quad y_{i}\in P\ (i=1,2,\ldots,n-1), \sum _{i=1}^{n-1}\|y_{i}\|\leq r, \\& \psi \bigl(g(t,y_{1},\ldots,y_{n+1}) \bigr)\geq \frac{\rho C \sum_{i=1}^{n+1}\|y_{i}\| }{\lambda_{2} {\sigma}^{2}}, \quad y_{i}\in P\ (i=1,2,\ldots,n+1), \sum _{i=1}^{n+1}\|y_{i}\|\geq R. \end{aligned}$$

(H7) There exists \(b>0\) such that

$$\begin{aligned}& \sup_{(t,y_{1},\ldots,y_{n-1})\in J\times P_{b}^{n-1}} \bigl\| f(t,y_{1},\ldots,y_{n-1})\bigr\| < \frac{b}{2\lambda_{1} \rho\int_{0}^{1}m(s)a(s)\,ds}, \\& \sup_{(t,y_{1},\ldots,y_{n-1})\in J\times P_{b}^{n-1}\times P_{k^{*}b}\times P_{h^{*}b} }\bigl\| g(t,y_{1},\ldots,y_{n+1})\bigr\| < \frac{b}{2\lambda_{2} \rho\int_{0}^{1}m(s)b(s)\,ds}, \end{aligned}$$

where ρ, σ, \(k^{*}\), and \(h^{*}\) are given by (2.38), (2.39), and (2.1), respectively, and \(\psi\in P^{*}\) with \(\|\psi\|=1\).

Then the BVP (1.1), (1.2) has at least two positive solutions.

Proof

Suppose that the operator given by (2.41) is a cone preserving, strict set contraction. Let

$$\begin{aligned}& r_{3}= \Biggl(\sum_{i=0}^{n-2} \frac{1}{i!} \Biggr)^{-1}r. \end{aligned}$$
(3.10)

Clearly, \(r_{3}< r\). Then for \(t\in J\), \(y\in K\) with \(\|y\| _{c}=r_{3}\), we have

$$\begin{aligned} \bigl\| Ay(t)\bigr\| &\geq\psi \bigl((Ay) (t) \bigr)\geq\lambda_{1} \int _{0}^{1}H(t,s) a(s)\psi \bigl(f \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s) \bigr) \bigr)\,ds \\ &\geq\lambda_{1} \sigma \int_{1/4}^{3/4}m(s) a(s)\psi \bigl(f \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s) \bigr) \bigr)\,ds \\ &\geq\frac{B\rho}{\sigma} \int_{1/4}^{3/4}m(s)a(s) \Biggl[\sum_{i=1}^{n-2}\bigl\| I^{i}y(s) \bigr\| +\bigl\| y(s)\bigr\| \Biggr]\,ds \\ &\geq\frac{B\rho}{\sigma}\frac{\sigma}{\rho}\|y\|_{c} \int _{1/4}^{3/4}m(s)a(s)\,ds \\ &=\|y\|_{c}. \end{aligned}$$

If we choose \(\Omega_{1} = \{y\in K: \|y\|_{c}< r_{3} \} \), then we have

$$\begin{aligned} \|Ay\|_{c}\geq\|y\|_{c} \quad\mbox{for all } y\in K\cap\partial\Omega_{1}. \end{aligned}$$
(3.11)

Further, set \(r_{4}=\max \{2r_{3}, \frac{\rho }{\sigma}R \}\) and \(\Omega_{2} = \{y\in K: \|y\|_{c}< r_{4} \}\). Then \(y\in K\) with \(\|y\|_{c} =r_{4}\), \(t\in[\frac{1}{4},\frac{3}{4}]\), \(s\in[0,1]\) implies that

$$\begin{aligned}& y(t)\geq\frac{\sigma}{\rho}y(s), \end{aligned}$$

so we have

$$\begin{aligned}& \bigl\| y(t)\bigr\| \geq\frac{\sigma}{\rho}r_{4}=R, \quad t\in \biggl[ \frac {1}{4},\frac{3}{4} \biggr], \end{aligned}$$

that is, \(\|T(I^{n-2}y(s))\|+\|S(I^{n-2}y(s))\|+\| \sum_{i=1}^{n-2}I^{i}y(s)\|+\|y(s)\|\geq R\) for all \(s \in [\frac{1}{4},\frac{3}{4}]\). Then, from condition (H6) again, we have

$$\begin{aligned} &\bigl\| Ay(t)\bigr\| \\ &\quad\geq\psi \bigl((Ay) (t) \bigr) \\ &\quad\geq\lambda_{2} \int_{0}^{1}H(t,s) b(s)\psi\bigl(g \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s),T \bigl(I^{n-2}y(s) \bigr),S \bigl(I^{n-2}y(s) \bigr) \bigr)\bigr)\,ds \\ &\quad\geq\lambda_{2} \sigma \int_{1/4}^{3/4}m(s) b(s)\psi \bigl(g \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s),T \bigl(I^{n-2}y(s) \bigr),S \bigl(I^{n-2}y(s) \bigr) \bigr)\bigr)\,ds \\ &\quad\geq \frac{\rho C}{\sigma} \int_{1/4}^{3/4}m(s)b(s) \Biggl[\bigl\| T \bigl(I^{n-2}y(s) \bigr)\bigr\| +\bigl\| S \bigl(I^{n-2}y(s) \bigr) \bigr\| +\biggl\| \sum_{i=1}^{n-2}I^{i}y(s) \biggr\| + \bigl\| y(s)\bigr\| \Biggr]\,ds \\ &\quad\geq \frac{\rho C}{\sigma}\frac {\sigma}{\rho}\|y\|_{c} \int _{1/4}^{3/4}m(s)b(s)\,ds \\ &\quad=\|y\|_{c}. \end{aligned}$$

Hence, we have

$$\begin{aligned} \|Ay\|_{c}\geq\|y\|_{c} \quad\mbox{for all } y\in K\cap \partial\Omega_{2}. \end{aligned}$$
(3.12)

Finally, let \(b\in K\) with \(\|y\|_{c}=b\), \(r_{3}< b<r_{4}\), then we get

$$\begin{aligned} &\bigl\| Ay(t)\bigr\| \\ &\quad\leq\rho \biggl[\lambda_{1} \int_{0}^{1}m(s) a(s)\bigl\| f \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s) \bigr)\bigr\| \,ds \\ &\qquad{}+\lambda_{2} \int_{0}^{1}m(s) b(s)\bigl\| g \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s),T \bigl(I^{n-2}y(s) \bigr),S \bigl(I^{n-2}y(s) \bigr) \bigr)\bigr\| \,ds \biggr] \\ &\quad\leq\rho \biggl[\lambda_{1} \sup_{(t,y_{1},\ldots,y_{n-1})\in J\times P_{b}^{n-1}} \bigl\| f(t,y_{1},\ldots,y_{n-1})\bigr\| \int_{0}^{1}m(s) a(s)\,ds \\ &\qquad{}+\lambda_{2}\sup_{(t,y_{1},\ldots,y_{n-1})\in J\times P_{b}^{n-1}\times P_{k^{*}b}\times P_{h^{*}b} }\bigl\| g(t,y_{1},\ldots,y_{n+1})\bigr\| \int_{0}^{1}m(s) b(s)\,ds \biggr] \\ &\quad< b. \end{aligned}$$

Therefore, we have

$$\begin{aligned} \|Ay\|_{c}< \|y\|_{c} \quad\mbox{for all } y\in K\cap \partial\Omega_{3}, \end{aligned}$$
(3.13)

where \(\Omega_{3}=\{y\in K:\|y\|_{c}< b\}\). Lemma 1.5 together with (3.11), (3.12), and (3.13) shows that there exist a fixed point \(y_{1}(t)\) in \(\overline{K}_{r_{3},b}\) and a fixed point \(y_{2}(t)\) in \(\overline{K}_{b,r_{4}}\). This and Lemma 2.1 complete the proof of Theorem 3.3. □

Now, we shall present the nonexistence results of positive solutions for the BVP (1.1), (1.2).

Theorem 3.4

Suppose that (H1)-(H3) hold, P is normal and

$$(\mathrm{i})\quad\lambda_{1} \psi \bigl(f(t,y_{1},y_{2}, \ldots,y_{n-1}) \bigr)> \frac{\rho B}{{\sigma}^{2}}\sum _{i=1}^{n-1}\|y_{i}\|, \quad \forall y_{i}\in P, \sum_{i=1}^{n-1} \|y_{i}\|>0, $$

or

$$(\mathrm{ii})\quad\lambda_{2} \psi \bigl(g(t,y_{1},y_{2}, \ldots,y_{n+1}) \bigr)> \frac{\rho C}{{\sigma}^{2}}\sum _{i=1}^{n+1}\|y_{i}\|, \quad \forall y_{i}\in P, \sum_{i=1}^{n+1} \|y_{i}\|>0, $$

then the BVP (1.1)-(1.2) has no positive solution.

Proof

Suppose that \(y(t)\) is a positive solution of the BVP (1.1)-(1.2). Then \(y\in K\), \(\|y\|_{c}>0\) for \(t\in J\) and

$$\begin{aligned} \|y\|_{c} &\geq\sigma\lambda_{1} \int_{1/4}^{3/4}m(s) a(s)\psi \bigl(f \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s) \bigr) \bigr)\,ds \\ &>\frac{\rho}{\sigma} B \int_{1/4}^{3/4}m(s)a(s) \Biggl[\sum_{i=1}^{n-2}\bigl\| I^{i}y(s) \bigr\| +\bigl\| y(s)\bigr\| \Biggr]\,ds \\ &\geq\frac{\rho}{\sigma} \frac{\sigma}{\rho}\|y\|_{c} B \int _{1/4}^{3/4}m(s)a(s)\,ds \\ &=\|y\|_{c}, \end{aligned}$$

which is a contradiction. Similarly, when (ii) holds, one can prove that the conclusion of Theorem 3.4 also is satisfied. This and Lemma 2.1 complete the proof. □

Theorem 3.5

Suppose that (H1)-(H3) hold, P is normal,

$$\bigl\| f(t,y_{1},y_{2},\ldots,y_{n-1})\bigr\| < \frac{A}{\lambda _{1}} \sum_{i=1}^{n-1} \|y_{i}\|, \quad \forall y_{i}\in P\ (i=1,2,\ldots,n-1), \sum _{i=1}^{n-1}\|y_{i}\|>0, $$

and

$$\bigl\| g(t,y_{1},y_{2},\ldots,y_{n+1})\bigr\| < \frac{A}{ \lambda _{2}} \sum_{i=1}^{n+1} \|y_{i}\|, \quad \forall y_{i}\in P\ (i=1,2,\ldots,n+1), \sum _{i=1}^{n+1}\|y_{i}\|>0, $$

then the BVP (1.1)-(1.2) has no positive solution.

Proof

Suppose to the contrary that \(y(t)\) is a positive solution of the BVP (1.1)-(1.2). Then \(y\in K\), \(\|y\| _{c}>0\) for \(t\in J\), and

$$\begin{aligned} \|y\|_{c}=&{}\sup_{t\in[0,1]} \bigl\| y(t)\bigr\| \\ \leq{}&\rho \biggl[\lambda_{1} \int_{0}^{1}m(s) a(s)\bigl\| f \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s) \bigr)\bigr\| \,ds \\ &{}+\lambda_{2} \int_{0}^{1}m(s) b(s) \bigl\| g \bigl(s,I^{n-2}y(s),\ldots,I^{1}y(s),y(s),T \bigl(I^{n-2}y(s) \bigr),S \bigl(I^{n-2}y(s) \bigr) \bigr)\bigr\| \,ds \biggr] \\ < {}& \rho A \Biggl[ \int_{0}^{1}m(s) \bigl(a(s)+b(s) \bigr) \Biggl[\sum_{i=1}^{n-2} \bigl\| I^{i}y(s)\bigr\| +\bigl\| y(s)\bigr\| \Biggr]\,ds \\ &{}+ \int_{0}^{1}m(s)b(s) \bigl[\bigl\| T \bigl(I^{n-2}y(s) \bigr)\bigr\| +\bigl\| S \bigl(I^{n-2}y(s) \bigr)\bigr\| \bigr] \,ds \Biggr] \\ \leq{}&\rho A\|y\|_{c} \Biggl[\sum_{i=0}^{n-2} \frac{1}{i!} \int_{0}^{1}m(s) \bigl(a(s)+b(s) \bigr)\,ds+\frac{k^{*}+h^{*}}{(n-3)!} \int_{0}^{1}m(s)b(s) \,ds \Biggr] \\ ={}&\|y\|_{c}, \end{aligned}$$

which is a contradiction. This and Lemma 2.1 complete the proof. □

4 An example

To demonstrate how our main results can be used in the application of our results, we give an example.

Example 4.1

Consider the following fractional boundary value problem of a finite system of scalar fractional differential equations:

$$\begin{aligned}& \begin{aligned}[b] {}^{c}D^{7/2}x_{n}(t)={}& \lambda_{1} \frac{2e^{-t}}{\sqrt {t}} \bigl(x_{n}+x'_{n}+x''_{n} \bigr)^{3}+\lambda_{2} \frac{e^{-2t}}{(1-t)^{1/3}} \biggl(x_{n}+x'_{n}+x''_{n} \\ &{}+ \int_{0}^{t}\sin(t+s)e^{-s}x_{n}(s) \,ds+ \int_{0}^{1}\cos(t-s)e^{-s}x_{n}(s) \,ds \biggr)^{2}, \\ &{} t\in(0,1), n=(1,2,\ldots,m), \end{aligned} \end{aligned}$$
(4.1)
$$\begin{aligned}& \begin{aligned} &x_{n}(0) =x'_{n}(0)=0, \\ &x''_{n}(0)+x'''_{n}(0)= \frac{8}{105\sqrt{\pi}}\int_{0}^{1/2} \biggl( \frac {1}{2}-s \biggr)^{7/2}x_{n}''(s)\,ds, \\ &x''_{n}(1)+x'''_{n}(1)+ \frac{8}{105\sqrt{\pi}}\int_{0}^{1/3} \biggl( \frac {1}{3}-s \biggr)^{7/2}x_{n}''(s) \,ds=0. \end{aligned} \end{aligned}$$
(4.2)

Conclusion

System (4.1), (4.2) has at least one positive solution.

Proof

Let the Banach space

$$E =\mathbb{R}^{m} = \bigl\{ x =(x_{1},x_{2}, \ldots,x_{m}): x_{n}\in\mathbb{R}, n=1,2,\ldots,m \bigr\} $$

with the norm \(\|x\| =\max_{1\leq n \leq m} |x_{n}|\) and \(P = \{x =(x_{1},x_{2},\ldots,x_{m}): x_{n}\geq0, n=1,2,\ldots,m \}\). Then P is a normal cone in E and problem (4.1), (4.2) can be taken into consideration as a BVP form (1.1), (1.2) in E. Here, \(\lambda_{1}, \lambda_{2}>0\) are real numbers, \(\alpha=\frac{7}{2}\), \(\delta=\frac{9}{2}\), \(\eta=\frac {1}{2}\), \(\mu=\frac{1}{3}\), \(a(t)=\frac{1}{\sqrt{t}}\), \(b(t)=\frac {1}{(1-t)^{1/3}}\), \(K(t,s)=\sin(t+s)e^{-s}\), \(H(t,s)=\cos(t-s)e^{-s}\), \(x=(x_{1},x_{2},\ldots,x_{m})\), \(f =(f_{1},f_{2},\ldots,f_{m})\), \(g =(g_{1}, g_{2},\ldots,g_{m})\), where

$$\begin{aligned}& f_{n}(t,u,v,w)=2e^{-t}(u_{n}+v_{n}+w_{n})^{3}, \\& g_{n}(t,u,v,w,z,\tau)=e^{-2t}(u_{n}+v_{n}+w_{n}+z_{n}+ \tau_{n})^{2}. \end{aligned}$$

Clearly, \(f\in\mathcal{C}[J\times P^{3}, P]\), \(g\in \mathcal{C}[J\times P^{5}, P]\) (\(J=[0,1]\)), and \(P^{*}=P\), thus we can choose \(\psi=(1,1,\ldots,1)\); then for any \(x\in P\) we get

$$\psi \bigl(f(t,u,v,w) \bigr)= \sum_{n=1}^{m}f_{n}(t,u,v,w). $$

Now, conditions (H1)-(H3) will be verified. It is easy to see that (H1) holds. Observe that, for any \(t\in(0,1)\) and \(r>0\), we have

$$f_{r}(t)\leq54e^{-t}r,\qquad g_{r}(t) \leq25e^{-2t}r. $$

Thus (H2) is satisfied. Furthermore, assumption (H3) is satisfied automatically since E is finite dimensional.

On the other hand,

$$\begin{aligned}& f^{0}= \lim_{(\|u\|+\|v\|+\|w\| +\|z\|)\rightarrow0}\sup\max_{t\in J} \frac{\|f(t,u,v,w)\| }{\|u\|+\|v\|+\|w\|}=0, \\& g^{0}= \lim_{(\|u\|+\|v\|+\|w\| +\|z\|+\|\tau\|)\rightarrow0}\sup\max_{t\in J} \frac{\| g(t,u,v,w,z,\tau)\|}{\|u\|+\|v\|+\|w\|+\|z\|+\|\tau\|}=0, \end{aligned}$$

and

$$\frac{\psi(f(t,u,v,w))}{\|u\|+\|v\|+\|w\|}\geq \frac{\|f(t,u,v,w)\|}{\|u\|+\|v\|+\|w\| }\rightarrow\infty \quad \bigl(\|u\|+\|v\|+ \|w\|\rightarrow\infty\bigr), $$

which means \((\psi f)_{\infty}=\infty\). Therefore, Corollary 3.1 shows that (4.1), (4.2) has a solution. □

References

  1. Zhao, Y, Chen, H, Huang, L: Existence of positive solutions for nonlinear fractional functional differential equation. Comput. Math. Appl. 64(10), 3456-3467 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  2. Zhang, S: Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput. Math. Appl. 59, 1300-1309 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  3. Guezane Lakouda, A, Khaldi, R: Solvability of a fractional boundary value problem with fractional integral condition. Nonlinear Anal. 75, 2692-2700 (2012)

    Article  MathSciNet  Google Scholar 

  4. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    Book  MATH  Google Scholar 

  5. Podlubny, I: Fractional Differential Equations. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  6. Zhang, S: Positive solutions for boundary value problems of nonlinear fractional differential equations. Electron. J. Differ. Equ. 2006, 36 (2006)

    Google Scholar 

  7. Zhao, Y, Yang, L, Chen, P: Positive solutions to boundary value problems of a high order fractional differential equation in a Banach space. Adv. Differ. Equ. 2013, 344 (2013)

    Article  Google Scholar 

  8. Zhou, WX, Chu, YD: Existence of solutions for fractional differential equations with multi-point boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 17, 1142-1148 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  9. Feng, M, Zhang, X, Ge, W: New existence results for higher-order nonlinear fractional differential equation with integral boundary condition. Bound. Value Probl. 2011, 720702 (2011)

    Article  MathSciNet  Google Scholar 

  10. Zhou, J, Feng, M: Green’s function for Sturm-Liouville-type boundary value problems of fractional order impulsive differential equations and its application. Bound. Value Probl. 2014, 69 (2014)

    Article  Google Scholar 

  11. Agarwal, RP, O’Regan, D, Wong, PJY: Positive Solutions of Differential, Difference and Integral Equations. Kluwer Academic, Boston (1999)

    Book  MATH  Google Scholar 

  12. Agarwal, RP, Wong, PJY: Existence of solutions for singular boundary value problems for higher order differential equations. Milan J. Math. 65, 249-264 (1995)

    MathSciNet  Google Scholar 

  13. Hao, X, Liu, L, Wu, Y, Xu, N: Multiple positive solutions for singular nth-order nonlocal boundary value problems in Banach spaces. Comput. Math. Appl. 61, 1880-1890 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  14. Wong, PJY, Agarwal, RP: Eigenvalues of boundary value problems for higher order differential equations. Math. Probl. Eng. 2, 401-434 (1996)

    Article  MATH  Google Scholar 

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

  16. Zhang, X, Feng, M, Ge, W: Existence and nonexistence of positive solutions for a class of nth order three-point boundary value problems in Banach spaces. Nonlinear Anal. 70, 584-597 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  17. Zhang, L, Bashir, A, Wang, G, Agarwal, RP: Nonlinear fractional integro-differential equations on unbounded domains in a Banach space. J. Comput. Appl. Math. 249, 51-56 (2013)

    Article  MATH  MathSciNet  Google Scholar 

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

    Book  MATH  Google Scholar 

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

    MATH  Google Scholar 

  20. Lakshmikantham, V, Leela, S: Nonlinear Differential Equations in Abstract Spaces. Pergamon, Oxford (1981)

    MATH  Google Scholar 

  21. Demling, K: Ordinary Differential Equations in Banach Spaces. Springer, Berlin (1977)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Fulya Yoruk Deren.

Additional information

Competing interests

The author declares that she has no competing interests.

Rights and permissions

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Yoruk Deren, F. Existence and nonexistence of positive solutions for nonlinear higher order BVP with fractional integral boundary conditions in Banach spaces. Adv Differ Equ 2015, 72 (2015). https://doi.org/10.1186/s13662-015-0419-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-015-0419-5

MSC

Keywords