Skip to main content

The solution for a class of sum operator equation and its application to fractional differential equation boundary value problems

Abstract

In this paper we study a class of sum operator equation \(Ax+Bx+C(x,x)=x\) on ordered Banach spaces, where A is an increasing operator, B is a decreasing operator, and C is a mixed monotone operator. The existence and uniqueness of its positive solution are obtained by using the properties of cone and fixed point theorems for mixed monotone operators. As an application, we utilize the obtained results to study the existence and uniqueness of positive solutions for nonlinear fractional differential equation boundary value problems.

1 Introduction

Over the past several decades, nonlinear functional analysis has been an active area of research in mechanics, elasticity, fluid dynamics, and so on. As an important branch of nonlinear functional analysis, the nonlinear operator theorem and its application in nonlinear differential equations have attracted much attention (see [1–7]). It is well known that the existence and uniqueness of positive solutions to nonlinear operator equations are very important in theory and applications. Many authors have studied this problem; for a small sample of such work, we refer the reader to [8–16].

Reference [14] has successively considered the sum operator equation \(Mx+Qx+Nx=x\) on ordered Banach spaces, where M is an increasing, α-concave operator, Q is an increasing sub-homogeneous operator, and N is a homogeneous operator. The existence and uniqueness of its positive solutions are obtained by using the properties of cones and a fixed point theorem for increasing general β-concave operators.

In [15], the sum operator equation \(A(x,x)+Bx=x\) has been considered. A is a mixed monotone operator and B is an increasing α-concave (or sub-homogeneous) operator. By using the properties of cones and a fixed point theorem for mixed monotone operators, respectively, the author established the existence and uniqueness of positive solutions for the operator equation.

In most of the literature, people pay more attention to the study of the increasing and mixed-monotone operators. However, studying the decreasing operator is equality important. So inspired by [14] and [15], we study the following sum operator equations on ordered Banach spaces in this paper:

$$ Ax+Bx+C(x,x)=x, $$
(1.1)

where A is an increasing α-concave (or sub-homogeneous) operator, B is a decreasing operator, C is a mixed monotone operator. By using the properties of cones and the fixed point theorem for mixed monotone operator, the existence and uniqueness of the positive solution are obtained. Our research methods are different from those in the related literature. As an application, we utilize the obtained results to study the existence and uniqueness of positive solutions for nonlinear fractional differential equation boundary value problems. Our results extend and improve the related conclusions in the literature. Besides, it provides a new way to study the differential equations. To the best of our knowledge, the fixed point results on the operator equation (1.1) with α-concave (or sub-homogeneous) increasing, decreasing and mixed monotone operators are still very few. So it is worthwhile to investigate the operator equation (1.1).

The content of this paper is organized as follows. In Section 2, we present some definitions, lemmas and basic results that will be used in the proofs of our theorems. In Section 3, we consider the existence and uniqueness of positive solutions for the operator equation (1.1). In Section 4, we utilize the results obtained in Section 3 to study the existence and uniqueness of positive solutions for nonlinear fractional differential equation boundary value problems.

2 Preliminaries

For convenience of the reader, we present here some definitions, lemmas, and basic results that will be used in the proofs of our theorems.

Suppose that \((E,\|\cdot\|)\) is a real Banach space which is partially ordered by a cone \(P\subset E\), i.e., \(x\leq y\) if and only if \(y-x\in P\). If \(x\leq y\) and \(x\neq y\), then we denote \(x< y\) or \(y>x\). By θ we denote the zero element of E. Recall that a non-empty closed convex set \(P\subset E\) is a cone if it satisfies (i) \(x\in P\), \(\lambda\geq0\Rightarrow\lambda x\in P\); (ii) \(x\in P\), \(-x\in P \Rightarrow x=\theta\).

Putting \(\mathring{P}=\{x\in P \mid x \text{ is an interior point of } P\}\), a cone P is said to be solid if PÌŠ is nonempty. Moreover, P is called normal if there exists a constant \(N>0\) such that, for all \(x,y\in E\), \(\theta\leq x\leq y\) implies \(\|x\|\leq N\|y\|\). In this case, N is called the normality constant of P. If \(x_{1}, x_{2}\in E\), the set \([x_{1},x_{2}]=\{x\in E\mid x_{1}\leq x\leq x_{2}\} \) is called the order interval between \(x_{1}\) and \(x_{2}\). We say that an operator \(A: E\rightarrow E\) is increasing (decreasing) if \(x\leq y\) implies \(Ax\leq Ay\) (\(Ax\geq Ay\)).

For all \(x,y\in E\), the notation \(x\sim y\) means that there exist \(\lambda>0\) and \(\mu>0\) such that \(\lambda x\leq y\leq\mu x\). Clearly, ∼ is an equivalence relation. Given \(h>\theta\) (i.d., \(h\geq\theta \) and \(h\neq\theta\)), we denote by \(P_{h}\) the set \(P_{h}=\{x\in E\mid x\sim h\}\). It is easy to see that \(P_{h}\subset P\).

Definition 2.1

([17])

An operator \(A:P\rightarrow P\) is said to be sub-homogeneous if it is satisfies

$$ A(tx)\geq t Ax, \quad \forall t \in(0,1),x\in P. $$
(2.1)

Definition 2.2

([17])

Let \(D=P\) or \(D=\mathring{P}\) and α be a real number with \(0\leq\alpha<1\). An operator \(A:D\rightarrow D\) is said to be α-concave if it satisfies

$$ A(tx)\geq t^{\alpha} Ax,\quad \forall t \in(0,1),x\in D. $$
(2.2)

Definition 2.3

([17])

\(A:P\times P\rightarrow P\) is said to be a mixed monotone operator if \(A(x,y)\) is increasing in x and decreasing in y, i.e., \(u_{i},v_{i}\ (i=1,2)\in P\), \(u_{1}\leq u_{2}\), \(v_{1}\geq v_{2}\) imply \(A(u_{1},v_{1})\leq A(u_{2},v_{2})\). An element \(x\in P\) is called a fixed point of A if \(A(x,x)=x\).

Lemma 2.4

(See Lemma 2.1 and Theorem 2.1 in [12])

Let P be a normal cone in E. Assume that \(T:P\times P\rightarrow P\) is a mixed monotone operator and satisfies

(A1):

there exists \(h\in P\) with \(h\neq\theta\) such that \(T(h,h)\in P_{h}\);

(A2):

for any \(u,v\in P\) and \(t\in(0,1)\), there exists \(\varphi(t)\in(t,1]\) such that \(T(tu,t^{-1}v)\geq\varphi(t)T(u,v)\).

Then

  1. (1)

    \(T:P_{h}\times P_{h}\rightarrow P_{h}\);

  2. (2)

    there exist \(u_{0},v_{0}\in P_{h}\) and \(r\in(0,1)\) such that \(rv_{0}\leq u_{0}< v_{0}\), \(u_{0}\leq T(u_{0},v_{0})\leq T(v_{0},u_{0})\leq v_{0} \);

  3. (3)

    T has a unique fixed point \(x^{\ast}\) in \(P_{h}\);

  4. (4)

    for any initial values \(x_{0},y_{0}\in P_{h}\), constructing successively the sequences

    $$ x_{n}=T(x_{n-1},y_{n-1}) , \qquad y_{n}=T(y_{n-1},x_{n-1}),\quad n=1,2,\ldots, $$

    we have \(x_{n}\rightarrow x^{\ast}\) and \(y_{n}\rightarrow x^{\ast}\) as \(n\rightarrow\infty\).

3 Main results

In this section we consider the existence and uniqueness of positive solutions for the operator equation \(Ax+Bx+C(x,x)=x\). We assume that E is a real Banach space with a partial order introduced by a normal cone P of E. Take \(h\in E\), \(h>\theta\), \(P_{h}\) is given as in the preliminaries.

Theorem 3.1

Let \(\alpha\in(0,1)\). Suppose that \(A: P\rightarrow P\) is an increasing sub-homogeneous operator, \(B: P\rightarrow P\) is a decreasing operator, \(C: P\times P\rightarrow P\) is a mixed monotone operator, and that they satisfy the following conditions:

$$ B\bigl(t^{-1}y\bigr)\geq tBy, \qquad C \bigl(tx,t^{-1}y\bigr)\geq t^{\alpha}C(x,y), \quad \forall t\in (0,1), x,y\in P. $$
(3.1)

Assume that

(H1):

there is \(h_{0}\in P_{h}\) such that \(Ah_{0}\in P_{h}\), \(Bh_{0}\in P_{h}\), \(C(h_{0},h_{0})\in P_{h}\);

(H2):

there exists a constant \(\delta>0\) such that \(C(x,y)\geq\delta(Ax+By)\), \(\forall x,y\in P\).

Then

  1. (1)

    \(A: P_{h}\rightarrow P_{h}\), \(B: P_{h}\rightarrow P_{h}\), \(C: P_{h}\times P_{h}\rightarrow P_{h}\);

  2. (2)

    there exist \(u_{0},v_{0}\in P_{h}\) and \(r\in(0,1)\) such that

    $$ rv_{0}\leq u_{0}< v_{0} , \qquad u_{0}\leq Au_{0}+Bv_{0}+C(u_{0},v_{0}) \leq Av_{0}+Bu_{0}+C(v_{0},u_{0})\leq v_{0} ; $$
  3. (3)

    the operator equation \(Ax+Bx+C(x,x)=x\) has a unique solution \(x^{\ast}\) in \(P_{h}\);

  4. (4)

    for any initial values \(x_{0},y_{0}\in P_{h}\), constructing successively the sequences

    $$\begin{aligned}& x_{n}=Ax_{n-1}+By_{n-1}+C(x_{n-1},y_{n-1}) , \\& y_{n}=Ay_{n-1}+Bx_{n-1}+C(y_{n-1},x_{n-1}) , \quad n=1,2,\ldots , \end{aligned}$$

    we have \(x_{n}\rightarrow x^{\ast}\) and \(y_{n}\rightarrow y^{\ast}\) as \(n\rightarrow\infty\).

Proof

From Definition 2.1 and (3.1), we have

$$ \begin{aligned} &A\bigl(t^{-1}x\bigr)\leq\frac{1}{t}Ax, \qquad B(ty)\leq\frac{1}{t}By, \\ &C\bigl(t^{-1}x,ty\bigr)\leq\frac{1}{t^{\alpha}}C(x,y) \quad \text{for } t\in(0,1), x,y \in P. \end{aligned} $$
(3.2)

First step: we will demonstrate \(A: P_{h}\rightarrow P_{h}\), \(B: P_{h}\rightarrow P_{h}\), \(C: P_{h}\times P_{h}\rightarrow P_{h}\).

Since \(Ah_{0}\in P_{h}\), \(Bh_{0}\in P_{h}\), \(C(h_{0},h_{0})\in P_{h}\) there exist constants \(\lambda_{1}, \lambda_{2}, \lambda_{3}, \nu _{1},\nu_{2},\nu_{3}>0\), such that

$$ \lambda_{1}h\leq Ah_{0}\leq \nu_{1}h,\qquad \lambda_{2}h\leq Bh_{0}\leq \nu _{2}h, \qquad \lambda_{3}h\leq C(h_{0},h_{0})\leq \nu_{3}h. $$

From \(h_{0}\in P_{h}\), there exists a constant \(t_{0}\in(0,1)\) such that

$$ t_{0}h\leq h_{0}\leq\frac{1}{t_{0}}h. $$

Combine (2.1), (3.2) with the increasing property of operator A and the decreasing property of operator B, we have

$$\begin{aligned}& Ah\leq A \biggl(\frac{1}{t_{0}}h_{0} \biggr)\leq \frac{1}{t_{0}}Ah_{0}\leq \frac{1}{t_{0}}\nu_{1}h,\qquad Ah \geq A(t_{0}h_{0})\geq t_{0}Ah_{0} \geq t_{0}\lambda_{1}h, \\& Bh\leq B(t_{0}h_{0})\leq\frac{1}{t_{0}}Bh_{0} \leq\frac{1}{t_{0}}\nu_{2}h,\qquad Bh \geq B \biggl( \frac{1}{t_{0}}h_{0} \biggr)\geq t_{0}Bh_{0} \geq t_{0}\lambda_{2}h. \end{aligned}$$

For any \(x\in P_{h}\), we can choose a sufficiently small number \(\mu\in (0,1)\) such that

$$ \mu h\leq x\leq\frac{1}{\mu}h. $$

Then

$$\begin{aligned}& Ax\leq A \biggl(\frac{1}{\mu}h \biggr)\leq\frac{1}{\mu}\cdot \frac {1}{t_{0}}\nu_{1}h,\qquad Ax\geq A(\mu h)\geq \mu t_{0}\lambda_{1}h, \\& Bx\leq B(\mu h)\leq\frac{1}{\mu}\cdot\frac{1}{t_{0}}\nu_{2}h, \qquad Bx\geq B \biggl(\frac{1}{\mu} h \biggr)\geq \mu t_{0} \lambda_{2}h. \end{aligned}$$

Evidently, \(\frac{1}{\mu t_{0}}\nu_{1},\frac{1}{\mu t_{0}}\nu_{2}, \mu t_{0}\lambda_{1}, \mu t_{0}\lambda_{2}>0\). Thus \(Ax\in P_{h}\), \(Bx\in P_{h}\); that is, \(A: P_{h}\rightarrow P_{h}\), \(B: P_{h}\rightarrow P_{h}\). Also from (3.1), (3.2), and the properties of mixed monotone operator C, we have

$$\begin{aligned}& C(h,h)\leq C \biggl(\frac{1}{t_{0}}h_{0},t_{0}h_{0} \biggr)\leq\frac {1}{t_{0}^{\alpha}}C(h_{0},h_{0})\leq \frac{\nu_{3}}{t_{0}^{\alpha}}h, \\& C(h,h)\geq C \biggl(t_{0}h_{0},\frac{1}{t_{0}}h_{0} \biggr)\geq t_{0}^{\alpha}C(h_{0},h_{0}) \geq t_{0}^{\alpha}\lambda_{3}h. \end{aligned}$$

Noting that \(\frac{\nu_{3}}{t_{0}^{\alpha}}, t_{0}^{\alpha}\lambda _{3}>0\), we can get \(C(h,h)\in P_{h}\). An application of Lemma 2.4 implies that \(C: P_{h}\times P_{h}\rightarrow P_{h}\). So the conclusion (1) is true.

The second step is to demonstrate the conclusions (2)-(4) are correct.

Now we define an operator \(T=A+B+C\) by \(T(x,y)=Ax+By+C(x,y)\) for \(A(x,y)=Ax\), \(B(x,y)=By\). Then \(T:P\times P\rightarrow P\) is a mixed monotone operator and \(T(h,h)\in P_{h}\). In the following, we show that there exists \(\varphi(t)\in(t,1]\) with respect to \(t\in(0,1)\) such that

$$ T\bigl(tx,t^{-1}y\bigr)\geq\varphi(t)T(x,y),\quad \forall x,y\in P. $$

From (H2), we have

$$ C(x,y)\geq\frac{Ax+By+C(x,y)}{1+\delta^{-1}}=\frac{T(x,y)}{1+\delta ^{-1}},\quad \forall x,y\in P. $$

Also from (2.1), (3.1), we can obtain

$$\begin{aligned} T\bigl(tx,t^{-1}y\bigr) -tT(x,y) =&A(tx)+B\bigl(t^{-1}y \bigr)+C\bigl(tx,t^{-1}y\bigr)-tAx-tBy-tC(x,y) \\ \geq&\bigl(t^{\alpha}-t\bigr)C(x,y) \geq\frac{t^{\alpha}-t}{1+\delta ^{-1}}T(x,y),\quad \forall x,y\in P, t\in(0,1). \end{aligned}$$

Consequently, for any \(x,y\in P\), \(t\in(0,1)\),

$$ T\bigl(tx,t^{-1}y\bigr)\geq tT(x,y)+\frac{t^{\alpha}-t}{1+\delta ^{-1}}T(x,y)=\biggl(t+ \frac{t^{\alpha}-t}{1+\delta^{-1}}\biggr)T(x,y). $$

Let

$$ \varphi(t)=t+\frac{t^{\alpha}-t}{1+\delta^{-1}},\quad t\in(0,1). $$

Then \(\varphi(t)\in(t,1]\) and \(T(tx,t^{-1}y)\geq\varphi(t)T(x,y)\) for any \(t\in(0,1)\) and \(x,y\in P\). Hence the condition (A2) in Lemma 2.4 is satisfied. An application of Lemma 2.4 implies: (c1) there exist \(u_{0},v_{0}\in P_{h}\) and \(r\in(0,1)\) such that \(rv_{0}\leq u_{0}< v_{0}\), \(u_{0}\leq T(u_{0},v_{0})\leq T(v_{0},u_{0})\leq v_{0}\); (c2) the operator T has a unique fixed point \(x^{\ast}\) in \(P_{h}\); (c3) for any initial values \(x_{0},y_{0}\in P_{h}\), constructing successively the sequences

$$ x_{n}=T(x_{n-1},y_{n-1}) , \qquad y_{n}=T(y_{n-1},x_{n-1}) , \quad n=1,2,\ldots , $$

we have \(x_{n}\rightarrow x^{\ast}\) and \(y_{n}\rightarrow x^{\ast}\) as \(n\rightarrow\infty\). That is, the conclusions (2)-(4) hold. □

From the proof of Theorem 3.1, we can easily prove the following conclusion.

Corollary 3.2

Let \(\alpha\in(0,1)\). Suppose that \(A: P_{h}\rightarrow P_{h}\) is an increasing sub-homogeneous operator, \(B: P_{h}\rightarrow P_{h}\) is a decreasing operator, \(C: P_{h}\times P_{h}\rightarrow P_{h}\) is a mixed monotone operator, assume that (3.1) and (H2) hold. Then the conclusions (2)-(4) of Theorem  3.1 hold.

Corollary 3.3

Let \(\alpha\in(0,1)\). Suppose that \(A: P\rightarrow P\) is an increasing sub-homogeneous operator, \(C: P \times P \rightarrow P \) is a mixed monotone operator and satisfies \(C(tx,t^{-1}y)\geq t^{\alpha}C(x,y)\), \(\forall t\in(0,1)\), \(x,y\in P\). Assume that

(H3):

there is \(h_{0}\in P_{h}\) such that \(Ah_{0}\in P_{h}\), \(C(h_{0},h_{0})\in P_{h}\);

(H4):

there exists a constant \(\delta>0\) such that \(C(x,y)\geq\delta Ax\), \(\forall x,y\in P\).

Then

  1. (1)

    \(A: P_{h}\rightarrow P_{h}\), \(C: P_{h}\times P_{h}\rightarrow P_{h}\);

  2. (2)

    there exist \(u_{0},v_{0}\in P_{h}\) and \(r\in(0,1)\) such that

    $$ rv_{0}\leq u_{0}< v_{0} , \qquad u_{0}\leq Au_{0}+C(u_{0},v_{0})\leq Av_{0}+C(v_{0},u_{0})\leq v_{0} ; $$
  3. (3)

    the operator equation \(Ax+C(x,x)=x\) has a unique solution \(x^{\ast }\) in \(P_{h}\);

  4. (4)

    for any initial values \(x_{0},y_{0}\in P_{h}\), constructing successively the sequences

    $$ x_{n}=Ax_{n-1}+C(x_{n-1},y_{n-1}) ,\qquad y_{n}=Ay_{n-1}+C(y_{n-1},x_{n-1}) ,\quad n=1,2,\ldots , $$

    we have \(x_{n}\rightarrow x^{\ast}\) and \(y_{n}\rightarrow y^{\ast}\) as \(n\rightarrow\infty\).

Corollary 3.4

Let \(\alpha\in(0,1)\). Suppose that \(B: P\rightarrow P\) is a decreasing operator, \(C: P \times P \rightarrow P \) is a mixed monotone operator and satisfy (3.1). Assume that

(H5):

there is \(h_{0}\in P_{h}\) such that \(Bh_{0}\in P_{h}\), \(C(h_{0},h_{0})\in P_{h}\);

(H6):

there exists a constant \(\delta>0\) such that \(C(x,y)\geq\delta By\), \(\forall x,y\in P\).

Then

  1. (1)

    \(B: P_{h}\rightarrow P_{h}\), \(C: P_{h}\times P_{h}\rightarrow P_{h}\);

  2. (2)

    there exist \(u_{0},v_{0}\in P_{h}\) and \(r\in(0,1)\) such that

    $$ rv_{0}\leq u_{0}< v_{0} , \qquad u_{0}\leq Bv_{0}+C(u_{0},v_{0})\leq Bu_{0}+C(v_{0},u_{0})\leq v_{0} ; $$
  3. (3)

    the operator equation \(Bx+C(x,x)=x\) has a unique solution \(x^{\ast }\) in \(P_{h}\);

  4. (4)

    for any initial values \(x_{0},y_{0}\in P_{h}\), constructing successively the sequences

    $$ x_{n}=By_{n-1}+C(x_{n-1},y_{n-1}) ,\qquad y_{n}=Bx_{n-1}+C(y_{n-1},x_{n-1}) , \quad n=1,2,\ldots , $$

    we have \(x_{n}\rightarrow x^{\ast}\) and \(y_{n}\rightarrow y^{\ast}\) as \(n\rightarrow\infty\).

Corollary 3.5

Let \(\alpha\in(0,1)\). Suppose that \(C: P \times P \rightarrow P \) is a mixed monotone operator, and satisfies \(C(tx,t^{-1}y)\geq t^{\alpha }C(x,y)\), \(\forall t\in(0,1)\), \(x,y\in P\). Assume that there is \(h_{1}>\theta\), such that \(C(h_{1},h_{1})\in P_{h}\) hold. Then

  1. (1)

    there exist \(u_{0},v_{0}\in P_{h}\) and \(r\in(0,1)\) such that

    $$ rv_{0}\leq u_{0}< v_{0} ,\qquad u_{0} \leq C(u_{0},v_{0})\leq C(v_{0},u_{0}) \leq v_{0} ; $$
  2. (2)

    the operator equation \(C(x,x)=x\) has a unique solution \(x^{\ast}\) in \(P_{h}\);

  3. (3)

    for any initial values \(x_{0},y_{0}\in P_{h}\), constructing successively the sequences

    $$ x_{n}=C(x_{n-1},y_{n-1}) , \qquad y_{n}=C(y_{n-1},x_{n-1}) , \quad n=1,2,\ldots, $$

    we have \(x_{n}\rightarrow x^{\ast}\) and \(y_{n}\rightarrow y^{\ast}\) as \(n\rightarrow\infty\).

Remark 3.6

Corollaries 3.3, 3.4, 3.5 which have been studied in [12, 15, 16] are special cases of Theorem 3.1. In this sense, our results extend and supplement the results in [12, 15, 16].

Theorem 3.7

Let \(\alpha\in(0,1)\). Suppose that \(A: P\rightarrow P\) is an increasing sub-homogeneous operator, \(B: P\rightarrow P\) is a decreasing operator, \(C: P\times P\rightarrow P\) is a mixed monotone operator, and satisfy

$$ B\bigl(t^{-1}y\bigr)\geq t^{\alpha}By,\qquad C \bigl(tx,t^{-1}y\bigr)\geq tC(x,y),\quad \forall t\in (0,1), x,y\in P. $$
(3.3)

Assume that

(\(\mathrm{H}_{1}'\)):

there is \(h_{0}\in P_{h}\) such that \(Ah_{0}\in P_{h}\), \(Bh_{0}\in P_{h}\), \(C(h_{0},h_{0})\in P_{h}\);

(\(\mathrm{H}_{2}'\)):

there exists a constant \(\delta>0\) such that \(Ax+C(x,y)\leq\delta By\), \(\forall x,y\in P\).

Then the conclusions (1)-(4) of Theorem  3.1 hold.

Proof

According to Definition 2.1 and (3.3), we obtain

$$ \begin{aligned} &A\bigl(t^{-1}x\bigr)\leq\frac{1}{t}Ax, \qquad B(ty)\leq\frac{1}{t^{\alpha}}By, \\ &C\bigl(t^{-1}x,ty\bigr)\leq\frac{1}{t}C(x,y)\quad \text{for } t \in(0,1), x,y \in P. \end{aligned} $$
(3.4)

Similarly to the proof of Theorem 3.1, we have \(A: P_{h}\rightarrow P_{h}\), \(B: P_{h}\rightarrow P_{h}\), \(C: P_{h}\times P_{h}\rightarrow P_{h}\).

In the following, we will prove the conclusions (2)-(4) are true. Define an operator \(T=A+B+C\) by \(T(x,y)=Ax+By+C(x,y)\). Then \(T:P\times P\rightarrow P\) is a mixed monotone operator and \(T(h,h)\in P_{h}\). Next, we show that there exists \(\varphi(t)\in(t,1]\) with respect to \(t\in(0,1)\) such that

$$ T\bigl(tx,t^{-1}y\bigr)\geq\varphi(t)T(x,y),\quad \forall x,y\in P. $$

From (\(\mathrm{H}_{2}'\)), we have

$$ By\geq\frac{Ax+By+C(x,y)}{1+\delta}=\frac{T(x,y)}{1+\delta}, \quad \forall x,y\in P. $$

Also from (2.1), (3.3), we have

$$\begin{aligned} T\bigl(tx,t^{-1}y\bigr)-tT(x,y) =&A(tx)+B\bigl(t^{-1}y\bigr)+C \bigl(tx,t^{-1}y\bigr)-tAx-tBy-tC(x,y) \\ \geq&\bigl(t^{\alpha}-t\bigr)By \geq\frac{t^{\alpha}-t}{1+\delta}T(x,y), \quad \forall x,y\in P, t\in(0,1). \end{aligned}$$

Consequently, for any \(x,y\in P\), \(t\in(0,1)\),

$$ T\bigl(tx,t^{-1}y\bigr)\geq tT(x,y)+\frac{t^{\alpha}-t}{1+\delta}T(x,y)=\biggl(t+ \frac {t^{\alpha}-t}{1+\delta}\biggr)T(x,y). $$

Let

$$ \varphi(t)=t+\frac{t^{\alpha}-t}{1+\delta},\quad t\in(0,1). $$

Then \(\varphi(t)\in(t,1]\) and \(T(tx,t^{-1}y)\geq\varphi(t)T(x,y)\) for any \(t\in(0,1)\) and \(x,y\in P\). Hence the condition (A2) in Lemma 2.4 is satisfied. As an application of Lemma 2.4, we can get the conclusions (2)-(4). □

Theorem 3.8

Let \(\alpha\in(0,1)\). Suppose that \(A: P\rightarrow P\) is an increasing α-concave operator, \(B: P\rightarrow P\) is a decreasing operator, \(C: P\times P\rightarrow P\) is a mixed monotone operator, and they satisfy

$$ B\bigl(t^{-1}y\bigr)\geq tBy,\qquad C \bigl(tx,t^{-1}y\bigr)\geq tC(x,y), \quad \forall t\in(0,1), x,y\in P. $$
(3.5)

Assume that

(\(\mathrm{H}_{1}''\)):

there is \(h_{0}\in P_{h}\) such that \(Ah_{0}\in P_{h}\), \(Bh_{0}\in P_{h}\), \(C(h_{0},h_{0})\in P_{h}\);

(\(\mathrm{H}_{2}''\)):

there exists a constant \(\delta>0\) such that \(By+C(x,y)\leq\delta Ax\), \(\forall x,y\in P\).

Then the conclusions (1)-(4) of Theorem  3.1 hold.

Proof

By Definition 2.2 and (3.5), we have

$$ \begin{aligned} &A\bigl(t^{-1}x\bigr)\leq\frac{1}{t^{\alpha}}Ax, \qquad B(ty)\leq\frac{1}{t}By, \\ &C\bigl(t^{-1}x,ty\bigr)\leq\frac{1}{t}C(x,y)\quad \text{for } t \in(0,1), x,y \in P. \end{aligned} $$
(3.6)

Similarly to the proof of Theorem 3.1, we have \(A: P_{h}\rightarrow P_{h}\), \(B: P_{h}\rightarrow P_{h}\), \(C: P_{h}\times P_{h}\rightarrow P_{h}\).

Now we define an operator \(T=A+B+C\) by \(T(x,y)=Ax+By+C(x,y)\) for \(A(x,y)=Ax\), \(B(x,y)=By\). Then \(T:P\times P\rightarrow P\) is a mixed monotone operator and \(T(h,h)\in P_{h}\). In the following, we show that there exists \(\varphi(t)\in(t,1]\) with respect to \(t\in(0,1)\) such that

$$ T\bigl(tx,t^{-1}y\bigr)\geq\varphi(t)T(x,y), \quad \forall x,y\in P. $$

By (\(\mathrm{H}_{2}''\)), we can obtain

$$ Ax\geq\frac{Ax+By+C(x,y)}{1+\delta}=\frac{T(x,y)}{1+\delta},\quad \forall x,y\in P. $$

Also from (2.2), (3.5), we have

$$\begin{aligned} T\bigl(tx,t^{-1}y\bigr)-tT(x,y) =&A(tx)+B\bigl(t^{-1}y\bigr)+C \bigl(tx,t^{-1}y\bigr)-tAx-tBy-tC(x,y) \\ \geq&\bigl(t^{\alpha}-t\bigr)Ax \geq\frac{t^{\alpha}-t}{1+\delta}T(x,y),\quad \forall x,y\in P, t\in(0,1). \end{aligned}$$

So, for any \(x,y\in P\), \(t\in(0,1)\),

$$ T\bigl(tx,t^{-1}y\bigr)\geq tT(x,y)+\frac{t^{\alpha}-t}{1+\delta}T(x,y)=\biggl(t+ \frac {t^{\alpha}-t}{1+\delta}\biggr)T(x,y). $$

Let

$$ \varphi(t)=t+\frac{t^{\alpha}-t}{1+\delta},\quad t\in(0,1). $$

Then \(\varphi(t)\in(t,1]\) and \(T(tx,t^{-1}y)\geq\varphi(t)T(x,y)\) for any \(t\in(0,1)\) and \(x,y\in P\). Hence the condition (A2) in Lemma 2.4 is satisfied. An application of Lemma 2.4, we see the conclusions (2)-(4) hold. □

4 Applications

Fractional differential equations arise in many field, such as physics, mechanics, chemistry, engineering and biological sciences, etc. In recent years, many authors have investigated the existence of positive solutions for nonlinear fractional differential equation boundary value problems (see [18–21]). However, there are few papers concerned with the uniqueness of positive solutions. In this section, we only apply the results in Section 3 to study nonlinear fractional differential equation boundary value problems. We study the existence and uniqueness of positive solutions for the following nonlinear fractional differential equation boundary value problem:

$$ \textstyle\begin{cases} -D^{\nu}_{0^{+}}u(t)=f(t,u(t),u(t))+g(t,u(t))+q(t,u(t)), \quad 0< t< 1, 3< \nu \leq4, \\ u(0)=u'(0)=u''(0)=u''(1)=0. \end{cases} $$
(4.1)

Here \(D^{\alpha}_{0^{+}}\) is the Riemann-Liouville fractional derivative of order \(\nu>0\), defined by

$$ D^{\nu}_{0^{+}}u(t)=\frac{1}{\Gamma(n-\nu)}\biggl(\frac{d}{dt} \biggr)^{n}\int^{t}_{0}(t- \tau)^{n-\nu-1}u(\tau)\, d\tau, $$

where \(n=[\nu]+1\). \([\nu]\) denotes the integer part of the number ν; see [22]. \(f(t,u,v):[0,1]\times[0,+\infty)\times[0,+\infty )\rightarrow[0,+\infty)\) is continuous, and \(g(t,u), q(t,v):[0,1]\times[0,+\infty)\rightarrow[0,+\infty)\) are continuous.

In our considerations we will work in the Banach apace \(E=C[0,1]=\{ x:[0,1] \rightarrow\mathbb{R} \text{ is continuous}\}\) with the standard norm \(\|x\|=\sup\{|x(t)|:t\in[0,1]\}\). Notice that this space can be equipped with a partial order given by

$$ x,y\in C[0,1],\quad x\leq y \quad \Leftrightarrow\quad x(t) \leq y(t) \quad \text{for all } t\in[0,1]. $$

Set \(P=\{x\in C[0,1]\mid x(t)\geq0,t\in[0,1]\}\), the standard cone. It is clear that P is a normal cone in \(C[0,1]\) and the normality constant is 1.

Definition 4.1

([23])

The integral

$$ I^{\nu}_{0^{+}}f(x)=\frac{1}{\Gamma(\nu)}\int^{x}_{0} \frac {f(t)}{(x-t)^{1-\nu}}\, dt,\quad x>0, $$

where \(\nu>0\), is called the Riemann-Liouville fractional integral of order ν and \(\Gamma(\nu)\) is the Euler gamma function defined by

$$ \Gamma(\nu)=\int_{0}^{+\infty}t^{\nu-1}e^{-t} \, dt,\quad \nu>0. $$

Lemma 4.2

([19, 24])

Let \(\nu>0\) and \(u\in C(0,1)\cap L(0,1)\). The fractional differential equation

$$ D^{\nu}_{0^{+}}u(t)=0 $$

has

$$ u(t)=c_{1}t^{\nu-1}+c_{2}t^{\nu-2}+ \cdots+c_{n}t^{\nu-n},\quad c_{i}\in R, i=0,1, \ldots,n, n=[\nu]+1, $$

as unique solution.

Lemma 4.3

([19, 24])

Assume that \(u\in C(0,1)\cap L(0,1)\) with a fractional derivative of order \(\nu>0\) that belongs to \(C(0,1)\cap L(0,1)\). Then

$$ I^{\nu}_{0^{+}}D^{\nu}_{0^{+}}u(t)=u(t)+c_{1}t^{\nu-1}+c_{2}t^{\nu -2}+ \cdots+c_{n}t^{\nu-n} $$

for some \(c_{i}\in R\), \(i=0,1,\ldots,n\), \(n=[\nu]+1\).

Lemma 4.4

If \(f(t,u(t),u(t))+g(t,u(t))+q(t,u(t))\geq0\), then the fractional boundary value problem (4.1) has a unique positive solution

$$ u(t)=\int_{0}^{1}G(t,s)\bigl[f\bigl(s,u(s),u(s) \bigr)+g\bigl(s,u(s)\bigr)+q\bigl(s,u(s)\bigr)\bigr]\, ds, $$

where

$$ G(t,s)=\frac{1}{\Gamma(\nu)} \textstyle\begin{cases} t^{\nu-1}(1-s)^{\nu-3}-(t-s)^{\nu-1}, &0\leq s\leq t\leq1, \\ t^{\nu-1}(1-s)^{\nu-3}, &0\leq t\leq s\leq1. \end{cases} $$
(4.2)

Proof

Lemma 4.3 and Definition 4.1 imply that

$$\begin{aligned} u(t) =&c_{1}t^{\nu-1}+c_{2}t^{\nu-2}+c_{3}t^{\nu-3}+c_{4}t^{\nu-4} \\ &{}-\int_{0}^{t}\frac{(t-s)^{\nu-1}}{\Gamma(\nu )}\bigl[f \bigl(s,u(s),u(s)\bigr)+g\bigl(s,u(s)\bigr)+q\bigl(s,u(s)\bigr)\bigr]\, ds. \end{aligned}$$

From (4.1), we know that \(c_{2}=c_{3}=c_{4}=0\) and

$$ c_{1}=\frac{1}{\Gamma(\nu)}\int_{0}^{t}(1-s)^{\nu -3} \bigl[f\bigl(s,u(s),u(s)\bigr)+g\bigl(s,u(s)\bigr)+q\bigl(s,u(s)\bigr)\bigr]\, ds. $$

Then the unique solution of (4.1) is given by

$$\begin{aligned} \begin{aligned} u(t)={}&\int_{0}^{1}\frac{t^{\nu-1}(1-s)^{\nu-3}}{\Gamma(\nu )}\bigl[f \bigl(s,u(s),u(s)\bigr)+g\bigl(s,u(s)\bigr)+q\bigl(s,u(s)\bigr)\bigr]\, ds \\ &{}-\int_{0}^{t}\frac{(t-s)^{\nu-1}}{\Gamma(\nu )}\bigl[f \bigl(s,u(s),u(s)\bigr)+g\bigl(s,u(s)\bigr)+q\bigl(s,u(s)\bigr)\bigr]\, ds \\ ={}&\int_{0}^{1}G(t,s)\bigl[f\bigl(s,u(s),u(s) \bigr)+g\bigl(s,u(s)\bigr)+q\bigl(s,u(s)\bigr)\bigr]\, ds. \end{aligned} \end{aligned}$$

This completes the proof of Lemma 4.4. □

Lemma 4.5

Let \(3<\nu\leq4\). Then the function \(G(t,s)\) defined by (4.2) satisfies the following conditions:

  1. (1)

    \(G(t,s)\geq0\), \((t,s)\in[0,1]\times[0,1]\);

  2. (2)

    \(\frac{1}{\Gamma(\nu)}s(2-s)(1-s)^{\nu-3}t^{\nu-1}\leq G(t,s)\leq \frac{1}{\Gamma(\nu)}(1-s)^{\nu-3}t^{\nu-1}\) for \(t,s\in[0,1]\).

Proof

For the condition (1), when \(0\leq t\leq s\leq1\) it is obvious that

$$ G(t,s)=\frac{ t^{\nu-1}(1-s)^{\nu-3}}{\Gamma(\nu)}\geq0. $$

In the case \(0\leq s\leq t\leq1\) (\(s\neq1\)), we have

$$\begin{aligned} G(t,s)&=\frac{1}{\Gamma(\nu)} \biggl[\frac{t^{\nu-1}(1-s)^{\nu -1}}{(1-s)^{2}}-(t-s)^{\nu-1} \biggr] \\ &\geq\frac{1}{\Gamma(\nu)} \bigl[t^{\nu-1}(1-s)^{\nu-1}-(t-s)^{\nu -1} \bigr] \\ &=\frac{1}{\Gamma(\nu)} \bigl[(t-ts)^{\nu-1}-(t-s)^{\nu-1} \bigr] \geq0. \end{aligned}$$

Moreover, as \(G(t,1)=0\), then we conclude that \(G(t,s)\geq0\) for all \((t,s)\in[0,1]\times[0,1]\). So the condition (1) is true.

For the condition (2), first we prove the left inequality. If \(0\leq s\leq t\leq1\), then we have \(0\leq t-s\leq t-ts=(1-s)t\), and thus

$$ (t-s)^{\nu-1}\leq(1-s)^{\nu-1}t^{\nu-1}. $$

Hence,

$$\begin{aligned} G(t,s) =&\frac{1}{\Gamma(\nu)}\bigl[(1-s)^{\nu-3}t^{\nu-1}-(t-s)^{\nu-1} \bigr]\geq \frac{1}{\Gamma(\nu)}\bigl[(1-s)^{\nu-3}t^{\nu-1}-(1-s)^{\nu-1}t^{\nu-1} \bigr] \\ =&\frac{1}{\Gamma(\nu)}\bigl[(1-s)^{\nu-3}-(1-s)^{\nu-1} \bigr]t^{\nu-1}=\frac {1}{\Gamma(\nu)}s(2-s) (1-s)^{\nu-3}t^{\nu-1}. \end{aligned}$$

If \(0\leq t\leq s\leq1\), then we have

$$ G(t,s)=\frac{1}{\Gamma(\nu)}(1-s)^{\nu-3}t^{\nu-1}\geq \frac{1}{\Gamma (\nu)}s(2-s) (1-s)^{\nu-3}t^{\nu-1}. $$

So the left inequality holds. Evidently, the right inequality also holds. The proof is completed. □

Theorem 4.6

Let \(3<\nu\leq4\). Assume that

(L1):

\(f: [0,1]\times[0,+\infty)\times[0,+\infty)\rightarrow [0,+\infty)\) is continuous, and \(g, q: [0,1]\times[0,+\infty )\rightarrow[0,+\infty)\) are continuous with \(g(t,0)\not\equiv0\), \(q(t,1)\not\equiv0\), and \(f(t,0,1)\not\equiv0\);

(L2):

\(f(t,u,v)\) is increasing in \(u\in[0,+\infty)\) for fixed \(t\in[0,1]\) and \(v\in[0,+\infty)\), decreasing in \(v\in[0,+\infty)\) for fixed \(t\in[0,1]\) and \(u\in[0,+\infty)\), and \(g(t,u)\) is increasing in \(u\in[0,+\infty)\) for fixed \(t\in[0,1]\), and \(q(t,v)\) is decreasing in \(v\in[0,+\infty)\) for fixed \(t\in[0,1]\);

(L3):

\(g(t,\lambda u)\geq\lambda g(t,u)\) for \(\lambda\in(0,1)\), \(t\in[0,1]\), \(u\in[0,+\infty)\), and \(q(t,\lambda^{-1}v)\geq\lambda q(t,v)\) for \(\lambda\in(0,1)\), \(t\in[0,1]\), \(v\in[0,+\infty)\), and there exists a constant \(\alpha\in(0,1)\) such that \(f(t,\lambda u,\lambda ^{-1} v)\geq\lambda^{\alpha}f(t,u,v)\), \(\forall t\in[0,1]\), \(\lambda\in (0,1)\), \(u,v\in[0,+\infty)\);

(L4):

there exists a constant \(\delta>0\) such that \(f(t,u,v)\geq \delta(g(t,u)+q(t,v))\), \(t\in[0,1]\), \(u,v\geq0\).

Then

  1. (1)

    there exists \(u_{0},v_{0}\in P_{h}\) and \(r\in(0,1)\) such that \(rv_{0}\leq u_{0}< v_{0}\) and

    $$ \textstyle\begin{cases} u_{0}(t)\leq\int_{0}^{1}G(t,s)[f(s,u_{0}(s),v_{0}(s))+g(s,u_{0}(s))+q(s,v_{0}(s))]\, ds,\quad t\in[0,1], \\ v_{0}(t)\geq\int_{0}^{1}G(t,s)[f(s,v_{0}(s),u_{0}(s))+g(s,v_{0}(s))+q(s,u_{0}(s))]\, ds,\quad t\in[0,1], \end{cases} $$

    where \(h(t)=t^{\nu-1}\), \(t\in[0,1]\);

  2. (2)

    the problem (4.1) has a unique positive solution \(u^{\ast}\) in \(P_{h}\);

  3. (3)

    for any \(x_{0},y_{0}\in P_{h}\), constructing successively the sequences

    $$ \textstyle\begin{cases} x_{n+1}(t)= \int_{0}^{1}G(t,s)[f(s,x_{n}(s),y_{n}(s))+g(s,x_{n}(s))+q(s,y_{n}(s))]\, ds,\quad n=0,1,2,\ldots, \\ y_{n+1}(t)= \int_{0}^{1}G(t,s)[f(s,y_{n}(s),x_{n}(s))+g(s,y_{n}(s))+q(s,x_{n}(s))]\, ds,\quad n=0,1,2,\ldots, \end{cases} $$

    we have \(\|x_{n}-u^{\ast}\|\rightarrow0\) and \(\|y_{n}-u^{\ast }\|\rightarrow0\) as \(n\rightarrow\infty\).

Proof

To begin with, from Lemma 4.4, problem (4.1) has an integral formation given by

$$ u(t)=\int_{0}^{1}G(t,s)\bigl[f\bigl(s,u(s),u(s) \bigr)+g\bigl(s,u(s)\bigr)+q\bigl(s,u(s)\bigr)\bigr]\, ds. $$

Define three operators \(A:P\rightarrow E\); \(B:P\rightarrow E\); \(C:P\rightarrow E\) by

$$\begin{aligned}& (Au) (t)=\int_{0}^{1}G(t,s)g\bigl(s,u(s)\bigr) \,ds,\qquad (Bv) (t)=\int_{0}^{1}G(t,s)q \bigl(s,v(s)\bigr)\,ds, \\& C(u,v) (t)=\int_{0}^{1}G(t,s)f\bigl(s,u(s),v(s) \bigr)\,ds. \end{aligned}$$

It is easy to prove that u is the solution of problem (4.1) if and only if \(u=Au+Bu+C(u,u)\). From (L1), we know that \(A:P\rightarrow P\), \(B:P\rightarrow P\), \(C:P\times P\rightarrow P\). In the sequel, we check that A, B, C satisfy all the assumptions of Theorem 3.1.

First, we prove that C is a mixed monotone operator, A is increasing and B is decreasing.

In fact, for \(u_{i},v_{i}\in P\), \(i=1,2\) with \(u_{1}\geq u_{2}\), \(v_{1}\leq v_{2}\), we know that \(u_{1}(t)\geq u_{2}(t)\), \(v_{1}(t)\leq v_{2}(t)\), \(t\in[0,1]\), and by (L2) and Lemma 4.5

$$\begin{aligned} C(u_{1},v_{1}) (t) =&\int_{0}^{1}G(t,s)f \bigl(s,u_{1}(s),v_{1}(s)\bigr)\,ds \\ \geq&\int _{0}^{1}G(t,s)f\bigl(s,u_{2}(s),v_{2}(s) \bigr)\,ds=C(u_{2},v_{2}) (t). \end{aligned}$$

That is, \(C(u_{1},v_{1})\geq C(u_{2},v_{2})\). Similarly, it follows from (L2) and Lemma 4.5 that A is increasing and B is decreasing.

Second, we show that B, C satisfies the condition (3.1) and A is sub-homogeneous operator.

For any \(\lambda\in(0,1)\) and \(u,v \in P\), by (L3) we have

$$\begin{aligned}& B\bigl(\lambda^{-1}v\bigr) (t)=\int_{0}^{1}G(t,s)q \bigl(s,\lambda^{-1}v(s)\bigr)\,ds \\& \hphantom{B\bigl(\lambda^{-1}v\bigr) (t)}\geq\lambda\int_{0}^{1}G(t,s)q \bigl(t,v(s)\bigr)\,ds =\lambda Bv(t), \\& C\bigl(\lambda u,\lambda^{-1}v\bigr) (t)=\int_{0}^{1}G(t,s)f \bigl(s,\lambda u(s),\lambda^{-1}v(s)\bigr)\,ds \\& \hphantom{C\bigl(\lambda u,\lambda^{-1}v\bigr) (t)}\geq\lambda^{\alpha} \int_{0}^{1}G(t,s)f\bigl(s,u(s),v(s)\bigr)\,ds= \lambda^{\alpha }C(u,v) (t), \end{aligned}$$

that is, \(B(\lambda^{-1}v)\geq\lambda Bv\) for \(\lambda\in(0,1)\), \(u \in P\), \(C(\lambda u,\lambda^{-1}v)\geq\lambda^{\alpha}C(u,v)\) for \(\lambda\in(0,1)\), \(u,v \in P\).

So, the operators B, C satisfy (3.1). Also, for any \(\lambda\in(0,1)\), \(u\in P\), from (L3) we know that

$$ A(\lambda u) (t)=\int_{0}^{1}G(t,s)g\bigl(s, \lambda u(s)\bigr)\,ds\geq\lambda\int_{0}^{1}G(t,s)g \bigl(s,u(s)\bigr)\,ds=\lambda Au(t), $$

that is, \(A(\lambda u)\geq\lambda Au\) for \(\lambda\in(0,1)\), \(u\in P\). So, the operator A is sub-homogeneous.

Third, we show that \(Ah\in P_{h}\), \(Bh\in P_{h}\), and \(C(h,h)\in P_{h}\).

In fact, from (L1), (L2) and Lemma 4.5, for any \(t\in[0,1]\), we have

$$\begin{aligned}& C(h,h) (t) =\int_{0}^{1}G(t,s)f\bigl(s,h(s),h(s) \bigr)\,ds=\int_{0}^{1}G(t,s)f \bigl(s,s^{\nu-1},s^{\nu-1}\bigr)\,ds \\& \hphantom{C(h,h)(t)} \geq\frac{1}{\Gamma(\nu)}h(t)\int_{0}^{1}s(2-s) (1-s)^{\nu-3}f(s,0,1)\,ds, \\& C(h,h) (t) =\int_{0}^{1}G(t,s)f\bigl(s,h(s),h(s) \bigr)\,ds=\int_{0}^{1}G(t,s)f \bigl(s,s^{\nu-1},s^{\nu-1}\bigr)\,ds \\& \hphantom{C(h,h)(t)} \leq\frac{1}{\Gamma(\nu)}h(t)\int_{0}^{1}(1-s)^{\nu-3}f(s,1,0) \,ds, \end{aligned}$$

from (L2), (L4), we have

$$ f(s,1,0)\geq f(s,0,1)\geq0. $$

Since \(f(t,0,1)\not\equiv0\), we get

$$ \int_{0}^{1}f(s,1,0)\,ds\geq\int _{0}^{1}f(s,0,1)\,ds> 0, $$

and in consequence

$$\begin{aligned}& l_{1}=\frac{1}{\Gamma(\nu)}\int_{0}^{1}s(2-s) (1-s)^{\nu-3}f(s,0,1)\,ds>0, \\& l_{2}=\frac{1}{\Gamma(\nu)}\int_{0}^{1}(1-s)^{\nu-3}f(s,1,0) \,ds>0. \end{aligned}$$

So, \(l_{1}h(t)\leq C(h,h)(t)\leq l_{2}h(t)\), \(t\in[0,1]\), and hence we have \(C(h,h)\in P_{h}\). Similarly,

$$\begin{aligned}& \frac{1}{\Gamma(\nu)}h(t)\int_{0}^{1}s(2-s) (1-s)^{\nu-3}g(s,0)\,ds\leq Ah(t)\leq\frac{1}{\Gamma(\nu)}h(t)\int _{0}^{1}(1-s)^{\nu-3}g(s,1)\,ds, \\& \frac{1}{\Gamma(\nu)}h(t)\int_{0}^{1}s(2-s) (1-s)^{\nu-3}q(s,1)\,ds\leq Bh(t)\leq\frac{1}{\Gamma(\nu)}h(t)\int _{0}^{1}(1-s)^{\nu-3}q(s,0)\,ds, \end{aligned}$$

from \(g(t,0)\not\equiv0\), \(q(t,1)\not\equiv0\), we easily prove \(Ah\in P_{h}\), \(Bh\in P_{h}\). Hence the condition (H1) of Theorem 3.1 is satisfied.

Lastly, we show the condition (H2) of Theorem 3.1 is satisfied.

For \(u,v\in P\) and any \(t\in[0,1]\). From (L4)

$$\begin{aligned} C(u,v) (t)&=\int_{0}^{1}G(t,s)f\bigl(s,u(s),v(s) \bigr)\,ds \\ &\geq\delta\int_{0}^{1}G(t,s) \bigl(g \bigl(s,u(s)\bigr)+q\bigl(s,v(s)\bigr)\bigr)\,ds \\ &=\delta \biggl[\int_{0}^{1}G(t,s)g\bigl(s,u(s) \bigr)\,ds+\int_{0}^{1}G(t,s)q\bigl(s,v(s)\bigr) \,ds \biggr] \\ &=\delta \bigl[(Au) (t)+(Bv) (t) \bigr], \end{aligned}$$

then we get \(C(u,v)\geq\delta(Au+Bv)\) for \(u,v\in P\).

So the condition of Theorem 4.6 follows from Theorem 3.1. □

By using Theorem 3.7, we can easily prove the following conclusion.

Theorem 4.7

Let \(3<\nu\leq4\). Assume that (L1) and (L2) hold and satisfy the following conditions:

(L5):

\(f(t,\lambda u,\lambda^{-1} v)\geq\lambda f(t,u,v)\), \(\forall t\in[0,1]\), \(\lambda\in(0,1)\), \(u,v\in[0,+\infty)\) and \(g(t,\lambda u)\geq\lambda g(t,u)\) for \(\lambda\in(0,1)\), \(t\in[0,1]\), \(u\in[0,+\infty)\), and there exists a constant \(\alpha\in(0,1)\) such that \(q(t,\lambda^{-1}v)\geq\lambda^{\alpha} q(t,v)\) for \(\lambda\in (0,1)\), \(t\in[0,1]\), \(v\in[0,+\infty)\);

(L6):

there exists a constant \(\delta>0\) such that \(g(t,u)+f(t,u,v)\leq\delta q(t,v)\), \(t\in[0,1]\), \(u,v \geq0\).

Then the conclusions (1)-(3) of Theorem  4.6 hold.

By using Theorem 3.8, we can easily prove the following conclusion.

Theorem 4.8

Let \(3<\nu\leq4\). Assume that (L1) and (L2) hold and satisfy the following conditions:

(L7):

\(f(t,\lambda u,\lambda^{-1} v)\geq\lambda f(t,u,v)\), \(\forall t\in[0,1]\), \(\lambda\in(0,1)\), \(u,v\in[0,+\infty)\) and there exists a constant \(\alpha\in(0,1)\) such that \(g(t,\lambda u)\geq \lambda^{\alpha} g(t,u)\) for \(\lambda\in(0,1)\), \(t\in[0,1]\), \(u\in [0,+\infty)\), and \(q(t,\lambda^{-1}v)\geq\lambda q(t,v)\) for \(\lambda \in(0,1)\), \(t\in[0,1]\), \(v\in[0,+\infty)\);

(L8):

there exists a constant \(\delta>0\) such that \(q(t,v)+f(t,u,v)\leq\delta g(t,u)\), \(t\in[0,1]\), \(u,v\geq0\).

Then the conclusions (1)-(3) of Theorem  4.6 hold.

Example 4.9

Consider the following problem:

$$ \textstyle\begin{cases} -D^{\frac{10}{3}}_{0^{+}}u(t)=u^{\frac{1}{3}}(t)+u^{-\frac {1}{3}}(t)+u^{-1}(t)+\frac{u(t)}{1+u(t)}m(t)+a(t)+b,\quad 0< t< 1, \\ u(0)=u'(0)=u''(0)=u''(1)=0, \end{cases} $$
(4.3)

where \(b>0\) is a constant, \(a,m: [0,1]\rightarrow[0,+\infty]\) are continuous with \(m\neq0\).

In this example, we have \(\nu=\frac{10}{3}\). Take \(0< c< b\) and let

$$\begin{aligned}& f(t,x,y)=x^{\frac{1}{3}}+y^{-\frac{1}{3}}+a(t)+c,\qquad g(t,x)= \frac{x}{1+x}m(t)+b-c,\qquad q(t,y)=\frac{1}{y}+a(t)+c, \\& \alpha=\frac{1}{3},\qquad m_{\mathrm{max}}=\max\bigl\{ m(t):t\in[0,1]\bigr\} , \qquad a_{\mathrm {max}}=\max\bigl\{ a(t):t\in[0,1]\bigr\} . \end{aligned}$$

Obviously, \(m_{\mathrm{max}}>0\), \(a_{\mathrm{max}}>0\). \(f:[0,1] \times [0,+\infty]\times[0,+\infty]\rightarrow[0,+\infty]\), and \(g, q:[0,1]\times[0,+\infty]\rightarrow[0,+\infty]\) are continuous. \(f(t,x,y)\) is increasing in \(x\in[0,+\infty)\) for fixed \(t\in[0,1]\) and \(y\in[0,+\infty)\), decreasing in \(y\in[0,+\infty)\) for fixed \(t\in [0,1]\) and \(x\in[0,+\infty)\), and \(g(t,x)\) is increasing in \(x\in [0,+\infty)\) for fixed \(t\in[0,1]\), and \(q(t,y)\) is decreasing in \(y\in [0,+\infty)\) for fixed \(t\in[0,1]\). \(g(t,0)=b-c>0\), \(q(t,1)=1+a(t)+c>0\), \(f(t,0,1)=1+a(t)+c>0\). Besides, for \(\lambda\in (0,1)\), \(t\in[0,1]\), \(x\in[0,+\infty)\), \(y \in[0,+\infty)\), we have

$$\begin{aligned}& f\bigl(t,\lambda x,\lambda^{-1} y\bigr)=(\lambda x)^{\frac{1}{3}}+ \bigl(\lambda^{-1} y\bigr)^{-\frac{1}{3}}+a(t)+c \geq \lambda^{\frac{1}{3}}\bigl(x^{\frac {1}{3}}+y^{-\frac{1}{3}}+a(t)+c\bigr)= \lambda^{\alpha}f(t,x,y), \\& g(t,\lambda x)=\frac{\lambda x}{1+\lambda x}m(t)+b-c\geq\frac{\lambda x}{1+x}m(t)+ \lambda(b-c)=\lambda g(t,x), \\& q\bigl(t,\lambda^{-1}y\bigr)=\bigl(\lambda^{-1}y \bigr)^{-1}+a(t)+c\geq\lambda \bigl(y^{-1}+a(t)+c\bigr)=\lambda q(t,y). \end{aligned}$$

Moreover, if we take \(\delta\in (0,\frac{c}{m_{\mathrm {max}}+b+a_{\mathrm{max}}} ]\), then we obtain

$$\begin{aligned} f(t,x,y)&=x^{\frac{1}{3}}+y^{-\frac{1}{3}}+a(t)+c\geq c+y^{-1}= \frac {c}{m_{\mathrm{max}}+b+a_{\mathrm{max}}}(m_{\mathrm{max}}+b+a_{\mathrm {max}})+y^{-1} \\ &\geq\delta \biggl[\frac{x}{1+x}m(t)+b-c+a(t)+c+\frac{1}{y} \biggr]= \delta\bigl[g(t,x)+q(t,y)\bigr]. \end{aligned}$$

Hence all the conditions of Theorem 4.6 are satisfied. An application of Theorem 4.6 implies that problem (4.3) has a unique positive solution in \(P_{h}\), where \(h(t)=t^{\nu-1}=t^{\frac{7}{3}}\), \(t\in [0,1]\).

References

  1. Agarwal, RP, O’Regan, D: A multiplicity result for second order impulsive differential equations via the Leggett Williams fixed point theorem. Appl. Math. Comput. 161, 433-439 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  2. Alves, E, Ma, TF, Pelicer, ML: Monotone positive solutions for a fourth order equation with nonlinear boundary conditions. Nonlinear Anal. 71, 3834-3841 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  3. Avery, RI, Henderson, J: Three symmetric positive solutions for a second order boundary value problem. Appl. Math. Lett. 13, 1-7 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  4. Karaca, IY: Nonlinear triple-point problems with change of sign. Comput. Math. Appl. 55, 691-703 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  5. Yang, B: Positive solutions for the beam equation under certain boundary value problems. Electron. J. Differ. Equ. 2005, 78 (2005)

    Google Scholar 

  6. Yao, QL: Positive solutions for eigenvalue problems of fourth-order elastic beam equations. Appl. Math. Lett. 17, 237-243 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  7. Zhang, XP: Existence and iteration of monotone positive solutions for an elastic beam with a corner. Nonlinear Anal., Real World Appl. 10, 2097-2103 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  8. Berzig, M, Samet, B: Positive fixed points for a class of nonlinear operators and applications. Positivity 17, 235-255 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  9. Amann, H: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM Rev. 18, 620-709 (1976)

    Article  MATH  MathSciNet  Google Scholar 

  10. Avery, RI, Peterson, AC: Three positive fixed points of nonlinear operators on ordered Banach spaces. Comput. Math. Appl. 42, 313-322 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  11. Chen, YZ: Stability of positive fixed points of nonlinear operators. Positivity 6, 47-57 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  12. Zhai, CB, Zhang, LL: New fixed point theorems for mixed monotone operators and local existence-uniqueness of positive solutions for nonlinear boundary value problems. J. Math. Anal. Appl. 382, 594-614 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  13. Li, K, Liang, J, Xiao, TJ: A fixed point theorem for convex and decreasing operators. Nonlinear Anal. 63, 209-216 (2005)

    Article  Google Scholar 

  14. Zhai, CB, Anderson, DR: A sum operator equation and applications to nonlinear elastic beam equations and Lane-Emden-Fowler equations. J. Math. Anal. Appl. 375, 388-400 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  15. Zhai, CB, Hao, MR: Fixed point theorems for mixed monotone operators with perturbation and applications to fractional differential equation boundary value problems. Nonlinear Anal. 75, 2542-2551 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  16. Yang, C, Zhai, CB, Hao, MR: Uniqueness of positive solutions for several classes of sum operator equations and applications. J. Inequal. Appl. 2014, 58 (2014)

    Article  MathSciNet  Google Scholar 

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

    Book  MATH  Google Scholar 

  18. Jleli, M, Samet, B: Existence of positive solutions to an arbitrary order fractional differential equation via a mixed monotone operator method. Nonlinear Anal. 20, 367-376 (2015)

    MathSciNet  Google Scholar 

  19. Bai, ZB, Lü, HS: Positive solutions for boundary value problem of nonlinear fractional equation. J. Math. Anal. Appl. 311, 495-505 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  20. Zhang, XG, Liu, LS, Wu, YH, Lu, YN: The iterative solutions of nonlinear fractional differential equations. Appl. Math. Comput. 219, 4680-4691 (2013)

    Article  MathSciNet  Google Scholar 

  21. Zhang, XG, Han, YF: Existence and uniqueness of positive solutions for higher order nonlocal fractional differential equations. Appl. Math. Lett. 25, 555-560 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  22. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Yverdon (1993)

    MATH  Google Scholar 

  23. Podlubny, I: Fractional Differential Equations. Mathematics in Science and Engineering. Academic Press, New York (1999)

    MATH  Google Scholar 

  24. Kilbas, AA, Srivastava, HH, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

Download references

Acknowledgements

The research was partially supported by the National Natural Science Foundation of China (No. 61250011) and (No. 61473180) and State Key Laboratory of Explosion Science and Technology (Beijing Institute of Technology) Open-end Funds.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Lingling Zhang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

HW participated in the design of the study and drafted the manuscript. LZ carried out the theoretical studies and helped to draft the manuscript. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wang, H., Zhang, L. The solution for a class of sum operator equation and its application to fractional differential equation boundary value problems. Bound Value Probl 2015, 203 (2015). https://doi.org/10.1186/s13661-015-0467-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-015-0467-5

Keywords