Fixed points of multi-valued monotone operators and the solvability of a fractional integral inclusion

Abstract

Based on the characterizations of reproducing cones, some fixed point theorems for multi-valued increasing, decreasing, and mixed monotone operators are established. As an application, the solvability of a fractional integral inclusion is discussed.

1 Introduction

Single-valued monotone operators have been widely investigated. The results on the existence of fixed points for single-valued monotone operators are bounteous and successful and have found various applications to nonlinear integral equations and differential equations. For details, we can refer to [1â€“4] and the references therein.

It is well known that mixed monotone operators were introduced by Guo and Lakshmikantham [5] in 1987. Later, Bhaskar and Lakshmikantham [6] introduced the notation of coupled fixed point and proved some coupled fixed point results under certain conditions, in a complete metric space endowed with a partial order. Their study not only has important theoretical meaning but also wide applications in engineering, nuclear physics, biological chemistry technology, economics, etc. (see [5â€“13] and the references therein).

Very recently, Harjani, Lopez and Sadarangani [14] have established the existence results of coupled fixed point for mixed monotone operators and further obtained their applications to integral equations. Then in [15], Bu, Feng, and Li extended the study to mixed monotone ternary operators.

It is natural to extend these studies to the multi-valued case. In 1984, Nishniannidze [16] introduced the multi-valued monotone operators. Nguyen and Nguyen [17] investigated the fixed points for multi-valued increasing operators and then in [18], a fixed point theorem for a multi-valued increasing operator was established and applied to a discontinuous elliptic equation. Huang and Fang [19] extended the mixed monotone operators to the multi-valued case, the obtained result was applied to a class of integral inclusions. For some recent fixed point theorems for a multi-valued monotone operator, a mixed monotone operator, and their applications in differential equations and differential inclusions, we can refer to [19â€“25] and the references therein for details. All these papers need the existence of a lower or an upper solution to the operator inclusion.

Motivated by the above work, in this paper, we shall use the properties of reproducing cones to establish some fixed point theorems for multi-valued monotone and mixed monotone operators. Compared with the previous work, we remove the requirement of the existence of a lower or upper solution. When the operator is single-valued and mixed monotone, we get an existence and uniqueness result.

This paper is organized as follows: in Section 2, some basic knowledge and the properties of a reproducing cone are presented; then in Section 3, the existence of a fixed point for multi-valued monotone operators is established; in Section 4, coupled fixed point theorems are presented for single-valued and multi-valued mixed monotone operators. In the final section, as applications of our results, the solvability of a fractional integral inclusion is discussed.

2 Preliminaries

In this section, we recall some standard definitions and notations needed in the following section. For convenience of the reader, we suggest that one refers to [3, 26] for details.

At the beginning of this section, let us recall some concepts of the theory of cones in Banach spaces. These concepts play an important role in the remainder of this paper.

Let X be a Banach space, a closed convex set $$P\subset X$$ is called a cone, if $$x\in P$$ and $$x\neq0$$ implies $$\alpha x\in P$$ for $$\alpha\geq0$$ and $$\alpha x\notin P$$ for $$\alpha< 0$$. A cone defines a partial order in the Banach space X: we write $$x\leq y$$ or $$y\geq x$$ if $$y-x\in P$$. The relation enjoys the following properties: inequalities may be multiplied by a nonnegative numbers; inequalities of the same kind may be added by terms; one may pass to the limit in inequalities; $$x\leq y$$ and $$y\leq x$$ implies $$x=y$$. Denote $$-P=\{-x\mid x\in P\}$$, then âˆ’P is a cone too.

It is well known that if X be a partially ordered Banach space endowed with partial order â‰¤, then the subset $$P=\{x\in X\mid0\leq x\}$$ is a cone.

Definition 2.1

[26]

A cone P is called normal, if there is a $$K>0$$, such that $$0\leq x\leq y$$ implies $$\Vert x\Vert\leq K\Vert y\Vert$$ and K does not depend on x and y. Any such $$K=K(P)$$ is called a normal constant of P. A cone P is called reproducing, if each $$x\in X$$ admits a presentation $$x=u-v$$ ($$u,v\in P$$). The elements u, v are, of course, not unique.

For the details of cone theory, see [26] and references therein.

Lemma 2.2

[4]

Let X be a Banach space, $$P\subset X$$ be a cone. The following assertions are equivalent:

1. (1)

P is reproducing;

2. (2)

every pair $$x,y\in X$$ has a lower bound;

3. (3)

every pair $$x,y\in X$$ has an upper bound;

4. (4)

$$\forall x\in X$$, there exists $$u\geq0$$ such that $$x\leq u$$;

5. (5)

$$\forall x\in X$$, there exists $$u\leq0$$ such that $$x\geq u$$.

Definition 2.3

[20]

Let X be a topology space, â€˜â‰¤â€™ be a partial order endowed on X, let A, B be two nonempty subsets of X, the relations between A and B are defined as follows:

1. (1)

$$A\prec_{1}B$$ if for every $$a\in A$$, there exists $$b\in B$$ such that $$a\leq b$$;

2. (2)

$$A\prec_{2}B$$ if for every $$b\in B$$, there exists $$a\in A$$ such that $$a\leq b$$;

3. (3)

$$A\prec B$$ if $$A\prec_{1}B$$ and $$A\prec_{2}B$$.

Definition 2.4

Let $$(X,\leq)$$ be an ordered Banach space, the partial order â€˜â‰¤â€™ is induced by cone P.

1. (1)

A multi-valued operator $$T: X\rightarrow2^{X}\setminus\{\phi\}$$ is called increasing, if for $$\forall x,y\in X$$, $$x\leq y$$ implies $$T(x)\prec T(y)$$.

2. (2)

A multi-valued operator $$T: X\rightarrow2^{X}\setminus\{\phi\}$$ is called decreasing, if for $$\forall x,y\in X$$, $$x\leq y$$ implies $$T(y)\prec T(x)$$.

3. (3)

A multi-valued operator $$T: X\times X\rightarrow2^{X}\setminus \{\phi\}$$ is called mixed monotone, if for $$\forall x_{1},x_{2},y_{1},y_{2}\in X$$, $$x_{1}\leq x_{2}$$, $$y_{2}\leq y_{1}$$ implies $$T(x_{1},y_{1})\prec T(x_{2},y_{2})$$.

Definition 2.5

1. (1)

Let $$T:X\rightarrow2^{X}\setminus\{\phi\}$$ be a multi-valued operator, $$\overline{x}\in X$$ is called a fixed point of T, if $$\overline{x}\in T(\overline{x})$$.

2. (2)

Assume $$T : X\times X\rightarrow2^{X}\setminus\{\phi\}$$ is a multi-valued operator, $$(\overline{x},\overline{y})\in X\times X$$ is called a coupled fixed point of T, if $$\overline{x}\in T(\overline {x},\overline{y})$$ and $$\overline{y}\in T(\overline{y},\overline{x})$$.

3 Fixed points for multi-valued monotone operators

In this section, some fixed point theorems for multi-valued increasing and decreasing operators are proved in partial ordered Banach space.

Throughout this paper, we assume that X is a Banach space, P is a normal and reproducing cone in X and the partial order â€˜â‰¤â€™ is induced by the cone P.

Theorem 3.1

Suppose the multi-valued operator $$T : X\rightarrow2^{X}\setminus\{\phi\}$$ satisfies the following conditions:

1. (1)

For any $$x\in X$$, $$T(x)$$ is a nonempty and closed subset of X.

2. (2)

There exists a linear operator $$L:X\rightarrow X$$ with spectral radius $$r(L)<1$$, $$L(P)\subset P$$ such that, for any $$x,y\in X$$, $$x\leq y$$ implies:

1. (i)

for any $$u\in T(x)$$, there exists $$v\in T(y)$$ satisfying

$$0\leq v-u\leq L(y-x),$$
2. (ii)

for any $$v\in T(y)$$, there exists $$u\in T(x)$$ satisfying

$$0\leq v-u\leq L(y-x).$$

Then T has a fixed point in X.

Proof

The proof is given in three steps.

1. Step 1.

There exists $$x_{0}\in X$$, such that $$\{x_{0}\}\prec_{1} T(x_{0})$$.

In fact,

1. (1)

if $$\{0\}\prec_{1} T(0)$$, then $$x_{0}=0$$;

2. (2)

if $$\{0\}\prec_{1} T(0)$$ does not hold.

Let $$y_{0}\in T(0)$$. Since P is reproducing, by Lemma 2.2, there is $$v\in(-P)$$, such that $$v\leq y_{0}$$.

Due to the assumption $$r(L)<1$$, $$L(P)\subset P$$, we know that the equation

$$(I-L)x=-v$$

has a unique solution $$z_{0}\in P$$ by Banachâ€™s contraction theorem.

Let $$x_{0}=-z_{0}$$, by assumption (2)(ii), for $$y_{0}\in T(0)$$, there exists $$u_{0}\in T(x_{0})$$ such that

$$0\leq y_{0}-u_{0}\leq L(0-x_{0}),$$

hence,

$$u_{0}\geq y_{0}-L(z_{0}).$$

Noting that $$v\leq y_{0}$$ and $$(I-L)(z_{0})=-v$$, we have

$$u_{0}\geq y_{0}-L(z_{0})\geq v-L(z_{0})=-z_{0}=x_{0},$$

which implies $$\{x_{0}\}\prec_{1} T(x_{0})$$.

2. Step 2.

There exists an increasing and fundamental sequence $$\{ x_{n}\} \subset X$$.

In fact, let $$x_{1}=u_{0}$$, due to assumption (2)(i), there exists $$x_{2}\in T(x_{1})$$ such that

$$0\leq x_{2}-x_{1}\leq L(x_{1}-x_{0}).$$

Repeating the arguments above for the pair $$x_{1}$$, $$x_{2}$$ in place of $$x_{0}$$, $$x_{1}$$ and so on, we can find an increasing sequence $$\{x_{n}\}$$ satisfying

$$x_{n}\in T(x_{n-1}),\quad 0\leq x_{n+1}-x_{n} \leq L^{n}(x_{1}-x_{0}).$$

Since $$\lim_{n\rightarrow\infty}(\|L^{n}\|)^{\frac{1}{n}}=r(L)$$ and $$r(L)<1$$, we have $$\|L^{n}\|\leq q^{n}$$ for some $$q\in(0,1)$$ and for all sufficiently large n.

At this moment, we get

$$\|x_{n}-x_{n-1}\|\leq K\bigl\| L^{n}\bigr\| \cdot \|x_{1}-x_{0}\|\leq Kq^{n}\|x_{1}-x_{0} \|,$$

where K is the normal constant of cone P.

This implies $$\{x_{n}\}$$ is fundamental. Since X is complete, there exists a unique $$x^{*}\in X$$ such that $$x_{n}\rightarrow x^{*}$$.

3. Step 3.

$$x^{*}\in T(x^{*})$$.

Since $$x_{n-1}\leq x^{*}$$, $$x_{n}\in T(x_{n-1})$$, by assumption 2(i), there exists $$y_{n}\in T(x^{*})$$, such that

$$0\leq y_{n}-x_{n}\leq L\bigl(x^{*}-x_{n-1}\bigr).$$

Due to the fact that P is normal, we have

$$\|y_{n}-x_{n}\|\leq K\|L\|\cdot\bigl\| x^{*}-x_{n-1}\bigr\| ,$$

which implies

$$\lim_{n\rightarrow\infty}y_{n}=\lim_{n\rightarrow\infty}(y_{n}-x_{n})+ \lim_{n\rightarrow\infty}\bigl(x_{n}-x^{*}\bigr)+x^{*}=x^{*}.$$

Noting that $$T(x^{*})$$ is closed, we know $$x^{*}\in T(x^{*})$$.

This ends the proof.â€ƒâ–¡

Remark 3.2

1. 1.

In Theorem 3.1, the assumptions (2)(i) and (2)(ii) imply that $$T(x)\prec T(y)$$ for $$x\leq y$$, i.e. T is a multi-valued increasing operator.

2. 2.

It should be noticed that Theorem 3.1 cannot ensure the uniqueness of a fixed point. For example, let $$X=R$$, $$\|x\|=|x|$$, $$P=\{ x\in R\mid x\geq0\}$$, then X is a Banach space and P a normal and reproducing cone.

Define $$T:X\rightarrow 2^{X}\setminus\{\phi\}$$, $$L:X\rightarrow X$$ as follows:

\begin{aligned}& T(x)=\biggl\{ u\in X\Bigm| \frac{1}{2}x-\frac{1}{2}\leq u\leq \frac{1}{2}x+\frac {1}{2}\biggr\} ,\quad x\in X, \\& L(x)=\frac{1}{2}x. \end{aligned}

All conditions of Theorem 3.1 are satisfied. It is easy to verify that the fixed point set of T is the interval $$[-1,1]$$.

3. 3.

In the special case when T is single-valued, assumption (1) of Theorem 3.1 is naturally satisfied. Assumption (2) is simplified thus: there exists a linear operator $$L:X\rightarrow X$$ with spectral radius $$r(L)<1$$, $$L(P)\subset P$$ such that

$$T(y)-T(x)\leq L(y-x),\quad \forall x\leq y.$$

In this case, for the fixed point of T we have existence and uniqueness; see [4].

Remark 3.3

In Theorem 3.1, assumptions (1), (2) are sufficient, without one of them, the existence of a fixed point cannot be ensured. For example, let $$X=R$$, $$\|x\|=|x|$$, $$P=\{x\in R\mid x\geq0\}$$, then X is a Banach space and P a normal and reproducing cone.

1. 1.

Define $$T:X\rightarrow 2^{X}\setminus\{\phi\}$$, $$L:X\rightarrow X$$ as follows:

\begin{aligned}& T(x)= \textstyle\begin{cases} (-1,1),& x\leq-1\mbox{ or }x\geq1, \\ (-1,x)\cup(x,1),& -1< x< 1, \end{cases}\displaystyle \\& L(x)=\frac{1}{2}x. \end{aligned}

Then assumption (2)(i), (2)(ii) of Theorem 3.1 are satisfied. But $$T(x)$$ is not closed. It is obvious that T has no fixed point.

2. 2.

Define $$T:X\rightarrow 2^{X}\setminus\{\phi\}$$ as

$$T(x)=[x+1,\infty).$$

Then T satisfies assumptions (1) and (2)(ii), where $$L(x)=\lambda x$$ for any $$\lambda\in(0,1)$$. But T cannot satisfy assumption (2)(i). It is obvious that T has no fixed point.

3. 3.

Define $$T:X\rightarrow 2^{X}\setminus\{\phi\}$$ as

$$T(x)=(-\infty, x-1].$$

Then T satisfies assumptions (1) and (2)(i), where $$L(x)=\lambda x$$ for any $$\lambda\in(0,1)$$. But T cannot satisfy assumption (2)(ii). It is obvious that T has no fixed point.

In the following, we give a fixed point theorem for multi-valued decreasing operator.

Theorem 3.4

Suppose the multi-valued operator $$T : X\rightarrow2^{X}\setminus\{\phi\}$$ satisfies the following conditions:

1. (1)

For any $$x\in X$$, $$T(x)$$ is a nonempty and closed subset of X.

2. (2)

There exists a positive constant $$c\in(0,1)$$ such that, for any $$x,y\in X$$, $$x\leq y$$ implies:

1. (i)

for any $$u\in T(x)$$, there exists $$v\in T(y)$$ satisfying

$$-c(y-x)\leq v-u\leq0,$$
2. (ii)

for any $$v\in T(y)$$, there exists $$u\in T(x)$$ satisfying

$$-c(y-x)\leq v-u\leq0.$$

Then T has a fixed point in X.

Proof

Define a new mapping $$S:X\rightarrow2^{X}\setminus\{\phi\}$$ as follows:

$$S(x)=\biggl\{ w\in X\Bigm|w=\frac{c}{1+c}x+\frac{1}{1+c}u, u\in T(x)\biggr\} ,$$

i.e.

$$S(x)=\frac{c}{1+c}x+\frac{1}{1+c}T(x).$$

Then it is easy to verify that S satisfies:

1. (1)

For any $$x\in X$$, $$S(x)$$ is a nonempty and closed subset of X.

2. (2)

For any $$x,y\in X$$, $$x\leq y$$ implies:

1. (i)

for any $$u\in S(x)$$, there exists $$v\in S(y)$$ satisfying

$$0\leq v-u\leq\frac{c}{1+c}(y-x),$$
2. (ii)

for any $$v\in S(y)$$, there exists $$u\in S(x)$$ satisfying

$$0\leq v-u\leq\frac{c}{1+c}(y-x).$$

By Theorem 3.1, there exists $$x^{*}\in X$$ such that

$$x^{*}\in S\bigl(x^{*}\bigr)$$

i.e.

$$x^{*}\in\frac{c}{1+c}x^{*}+\frac{1}{1+c}T\bigl(x^{*}\bigr),$$

which implies

$$x^{*}\in T\bigl(x^{*}\bigr).$$

This ends the proof.â€ƒâ–¡

4 Coupled fixed points for mixed monotone operators

In this section, we shall establish the existence and uniqueness of coupled fixed point for single-valued mixed monotone operators, and then we extend the study to the multi-valued case.

To verify the main results, we need the following lemma.

Lemma 4.1

If $$(X,\|\cdot\|)$$ is a Banach space, P is a normal and reproducing cone in X, then

1. (1)

$$X \times X$$ is a Banach space with the norm $$\|(x,y)\|=\max \{\|x\|,\|y\|\}$$.

2. (2)

$$P\times(-P)$$ is a normal and reproducing cone in $$X \times X$$.

Proof

We only prove assertion (2). Noting that a partial order â‰² of $$X\times X$$ can be induced by $$P\times(-P)$$, we have

$$(x_{1},y_{1})\lesssim (x_{2},y_{2})\quad \Longleftrightarrow\quad x_{2}-x_{1}\in P, y_{2}-y_{1}\in(-P)\quad\Longleftrightarrow\quad x_{1}\leq x_{2}, y_{2}\leq y_{1}.$$
1. (i)

If $$(0,0)\lesssim(x_{1},y_{1})\lesssim (x_{2},y_{2})$$, then $$0\leq x_{1}\leq x_{2}$$, $$0\geq y_{1}\geq y_{2}$$, or equivalently, $$0\leq-y_{1}\leq-y_{2}$$. Since P is normal,

$$\|x_{1}\|\leq K\|x_{2}\|,\qquad \|y_{1}\|\leq K \|y_{2}\|,$$

where K is the normal constant of P.

Hence, we know

$$\bigl\| (x_{1},y_{1})\bigr\| =\max\bigl\{ \|x_{1}\|, \|y_{1}\|\bigr\} \leq K\max\bigl\{ \|x_{2}\|,\|y_{2}\|\bigr\} =K\bigl\| (x_{2},y_{2})\bigr\| ,$$

which implies $$P\times(-P)$$ is normal with normal constant K.

2. (ii)

For arbitrary $$(x,y)\in X \times X$$, since P is reproducing, there exist $$u_{1},v_{1},u_{2},v_{2}\in P$$, such that $$x=u_{1}-v_{1}$$, $$y=u_{2}-v_{2}$$, or equivalently, $$y=(-v_{2})-(-v_{1})$$. Then

$$(x,y)=(u_{1}, -v_{2})-(u_{2}, -v_{1})\in P\times(-P)-P\times(-P),$$

which implies $$P\times(-P)$$ is a reproducing cone in $$X \times X$$.

â€ƒâ–¡

Theorem 4.2

Suppose $$T:X\times X\rightarrow X$$ is a mixed monotone operator. Assume there exist two linear operators $$L,S:X\rightarrow X$$ with $$\|L\|+\|S\| <1$$, $$L(P)\subset P$$, $$S(P)\subset P$$ such that, for any $$x_{1}, x_{2}, y_{1}, y_{2}\in X$$, $$x_{1}\leq x_{2}$$, $$y_{2}\leq y_{1}$$

$$T(x_{2},y_{2})- T(x_{1},y_{1})\leq L(x_{2}-x_{1})+S(y_{1}-y_{2}).$$

Then T has a unique coupled fixed point $$(\overline{x},\overline{y})$$ in $$X\times X$$. Moreover, for every $$(x,y)\in X\times X$$,

$$\lim_{n\rightarrow\infty}T^{n}(x,y) = \overline{x},\qquad\lim _{n\rightarrow \infty}T^{n}(y,x) = \overline{y}.$$

Proof

Define a new mapping $$F:X\times X\rightarrow X\times X$$ as follows, for $$(x,y)\in X\times X$$:

$$F(x,y)=\bigl(T(x,y),T(y,x)\bigr).$$

Then T has a coupled fixed point if and only if F has a fixed point.

When T is mixed monotone, then $$\forall x_{1},x_{2},y_{1},y_{2}\in X$$,

$$x_{1}\leq x_{2}, y_{2}\leq y_{1}\quad \Rightarrow\quad T(x_{1},y_{1})\leq T(x_{2},y_{2}), T(y_{1},x_{1})\geq T(y_{2},x_{2}),$$

which means

$$(x_{1},y_{1})\lesssim (x_{2},y_{2})\quad \Rightarrow\quad F(x_{1},y_{1})\lesssim F(x_{2},y_{2})$$

i.e. F is increasing.

Furthermore, by assumption, for any $$x_{1}, x_{2}, y_{1}, y_{2}\in X$$, $$x_{1}\leq x_{2}$$, $$y_{2}\leq y_{1}$$

$$T(x_{2},y_{2})- T(x_{1},y_{1})\leq L(x_{2}-x_{1})+S(y_{1}-y_{2})=L(x_{2}-x_{1})-S(y_{2}-y_{1}),$$

then

$$T(y_{1},x_{1})-T(y_{2},x_{2})\leq L(y_{1}-y_{2})+S(x_{2}-x_{1}),$$

or equivalently,

$$T(y_{2},x_{2})-T(y_{1},x_{1}) \geq-L(y_{1}-y_{2})-S(x_{2}-x_{1})=-S(x_{2}-x_{1})+L(y_{2}-y_{1}),$$

which implies

$$F(x_{2},y_{2})-F(x_{1},y_{1})\lesssim \Phi\bigl[(x_{2},y_{2})-(x_{1},y_{1}) \bigr],\quad \forall (x_{1},y_{1})\lesssim (x_{2},y_{2}),$$

where $$\Phi:X\times X\rightarrow X\times X$$ is defined as

$$\Phi(x,y)=\bigl(L(x)-S(y),-S(x)+L(y)\bigr).$$

Note that

1. (1)

Î¦ is a linear operator and $$\Phi(P\times(-P))\subset P\times(-P)$$.

In fact, since L, S is linear, Î¦ is a linear operator on $$X\times X$$.

If $$(x,y)\in P\times(-P)$$, i.e. $$x\geq0$$, $$y\leq0$$, due to the positivity of L, S, we have $$L(x)\geq0$$, $$L(y)\leq0$$, $$S(x)\geq0$$, $$S(y)\leq0$$, then

$$L(x)-S(y)\geq0,\qquad -S(x)+L(y)\leq0$$

i.e.

$$\Phi(x,y)\in P\times(-P).$$
2. (2)

Î¦ is bounded and its operator norm $$\|\Phi\|\leq\|L\| +\|S\|<1$$.

In fact,

\begin{aligned} \|\Phi\|&= \sup_{(x,y)\in X\times X, \|(x,y)\|=1}\bigl\| \Phi(x,y )\bigr\| \\ &= \sup_{(x,y)\in X\times X, \|(x,y)\|=1}\max\bigl\{ \bigl\| L(x)-S(y)\bigr\| ,\bigl\| L(y)-S(x)\bigr\| \bigr\} \\ &\leq\sup_{(x,y)\in X\times X, \|(x,y)\|=1}\max\bigl\{ \bigl\| L(x)\bigr\| +\bigl\| S(y)\bigr\| ,\bigl\| L(y)\bigr\| +\bigl\| S(x)\bigr\| \bigr\} \\ &\leq \sup_{(x,y)\in X\times X, \max \{\|x\|,\|y\| \}=1}\max\bigl\{ \|L\| \|x\|+\|S\|\|y\|,\|L\|\|y\|+\|S\| \|x\| \bigr\} \\ &\leq \|L\|+\|S\|. \end{aligned}

Then, by [4] Theorem 3.2, F has a unique fixed point $$(\overline {x},\overline{y})\in X\times X$$. Moreover, for every $$(x,y)\in X\times X$$,

$$\lim_{n\rightarrow\infty}F^{n}(x,y) = (\overline{x},\overline{y}).$$

Hence, T has a unique coupled fixed point $$(\overline{x},\overline {y})$$ in $$X\times X$$. Moreover, for every $$(x,y)\in X\times X$$,

$$\lim_{n\rightarrow\infty}T^{n}(x,y) = \overline{x},\qquad\lim _{n\rightarrow \infty}T^{n}(y,x) = \overline{y}.$$

This ends the proof.â€ƒâ–¡

Remark 4.3

If, in addition, the positive linear operators L, S are commutative, i.e. $$LS=SL$$, then the requirement $$\|L\|+\|S\|<1$$ can be relaxed to $$r(L)+r(S)<1$$.

In this case, by mathematical induction, we have

$$\Phi^{2n}(x,y)=\bigl(\bigl(L^{2}+S^{2} \bigr)^{n}(x),\bigl(L^{2}+S^{2}\bigr)^{n}(y) \bigr),\quad \forall(x,y)\in X\times X,$$

then

\begin{aligned} \bigl\| \Phi^{2n}\bigr\| &= \sup_{(x,y)\in X\times X, \|(x,y)\|=1}\bigl\| \Phi(x,y)\bigr\| \\ &= \sup_{(x,y)\in X\times X, \|(x,y)\|=1}\max\bigl\{ \bigl\| \bigl(L^{2}+S^{2} \bigr)^{n}(x)\bigr\| ,\bigl\| \bigl(L^{2}+S^{2} \bigr)^{n}(y)\bigr\| \bigr\} \\ &\leq \bigl\| \bigl(L^{2}+S^{2}\bigr)^{n}\bigr\| . \end{aligned}

Hence, by Gelfandâ€™s formula

\begin{aligned} r(\Phi)&= \lim_{n\rightarrow\infty} {\bigl\| (\Phi)^{n}\bigr\| }^{\frac{1}{n}} \\ &= \lim_{n\rightarrow\infty} {\bigl\| (\Phi)^{2n}\bigr\| }^{\frac{1}{2n}} \\ &\leq \lim_{n\rightarrow\infty} {\bigl\| \bigl(L^{2}+S^{2} \bigr)^{n}\bigr\| }^{\frac{1}{2n}} \\ &=\sqrt{r\bigl(L^{2}+S^{2}\bigr)} \\ &\leq \sqrt{{r(L)}^{2}+{r(S)}^{2}} \\ &\leq r(L)+r(S) \\ &< 1. \end{aligned}

Then, by [4] Theorem 3.2, F has a unique fixed point $$(\overline {x},\overline{y})\in X\times X$$.

Now, we extend the study to the multi-valued case.

In the same manner as the proof of Theorem 3.1 and Theorem 4.2, we can verify the following coupled fixed point theorem for multi-valued mixed monotone operators.

Theorem 4.4

Suppose $$T:X\times X\rightarrow2^{X}\setminus\{\phi\}$$ is a multi-valued mixed monotone operator. Assume the following conditions are satisfied:

1. (1)

For any $$(x,y)\in X\times X$$, $$T(x,y)$$ is a nonempty and closed subset of X.

2. (2)

There exist two linear operators $$L,S:X\rightarrow X$$, $$\|L\| +\|S\|<1$$, $$L(P)\subset P$$, $$S(P)\subset P$$ such that, for any $$x_{1}, x_{2}, y_{1}, y_{2}\in X$$, $$x_{1}\leq x_{2}$$, $$y_{2}\leq y_{1}$$ imply:

1. (i)

for any $$u\in T(x_{1},y_{1})$$, there exists $$v\in T(x_{2},y_{2})$$

$$0\leq v-u \leq L(x_{2}-x_{1})+S(y_{1}-y_{2}),$$
2. (ii)

for any $$v\in T(x_{2},y_{2})$$, there exists $$u\in T(x_{1},y_{1})$$

$$0\leq v-u \leq L(x_{2}-x_{1})+S(y_{1}-y_{2}).$$

Then T has a coupled fixed point in $$X\times X$$.

5 Application to a fractional integral inclusion

Let $$(\Omega,\Sigma)$$ be a measurable space and X be a Banach space. We use the notations

\begin{aligned}& P_{f}(X)=\{A\subset X\mid A\mbox{ is nonempty and closed}\}, \\& P_{\mathrm{kc}}(X)=\{A\subset X\mid A\mbox{ is nonempty, compact and convex}\}. \end{aligned}

A multi-valued mapping $$F:\Omega\rightarrow P_{f}(X)$$ is said to be measurable if, for every $$x\in X$$,

$$\omega\rightarrow d\bigl(x,F(\omega)\bigr)=\inf_{z\in F(\omega)}\|x-z\|$$

is measurable.

Let $$X=C[0,1]$$. For $$x\in X$$, let $$\|x\|=\max_{t\in[0,1]}|x(t)|$$, $$P=\{ x\in X\mid x(t)\geq0, t\in[0,1]\}$$, then $$(X,\Vert\cdot\Vert)$$ is a Banach space and P is a normal and reproducing cone in X.

Let $$0<\alpha<1$$ be a constant. For $$x\in X$$, the Riemann-Liouville fractional integral operator $$I^{\alpha}$$ is defined as follows [27]:

$$I^{\alpha}x(t)=\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1}x(s)\,ds.$$

Let $$f:[0,1]\times R\rightarrow2^{R}\setminus\{\phi\}$$ be a multi-valued function. For each $$u\in X$$, define the set of selections of f by

$$S_{f,u}=\bigl\{ v\in I^{\alpha}:v(s)\in f\bigl(s,u(s)\bigr)\mbox{ a.e. }s\in[0,1]\bigr\} ,$$

where $$I^{\alpha}$$ stands for the collection of all Riemann-Liouville fractional integral functions, and further assume that $$S_{f,u}$$ is nonempty for each $$u\in x$$.

Now, let us consider the following fractional integral inclusion:

$$x(t)\in \int_{0}^{t}{(t-s)}^{\alpha-1}f\bigl(s,x(s) \bigr)\,ds,$$

where

$$\int_{0}^{t}{(t-s)}^{\alpha-1}f\bigl(s,x(s) \bigr)\,ds=\biggl\{ \int_{0}^{t}{(t-s)}^{\alpha -1}u(s)\,ds: u(s)\in S_{f,x}\biggr\} .$$

Theorem 5.1

Assume the following conditions hold:

1. (1)

$$f:[0,1]\times R\rightarrow2^{R}\setminus\{\phi\}$$ satisfies the following hypotheses:

1. (i)

$$f(t,x)$$ in $$P_{\mathrm{kc}}(R)$$ for $$(t,x)\in[0,1]\times R$$;

2. (ii)

for each $$u\in X$$, $$t\rightarrow f(t,u(t))$$ is measurable;

3. (iii)

for each $$t\in[0,1]$$ and $$u\in C[0,1]$$, $$\sup_{x\in f(\cdot,u(\cdot))}\|x\|\in L^{1}$$.

2. (2)

There exists a constant $$M>0$$ such that for any $$x,y\in X$$, $$x\leq y$$ implies:

1. (i)

for any $$u\in\int_{0}^{t}{(t-s)}^{\alpha-1}f(s,x(s))\,ds\cap C[0,1]$$, there exists $$v\in\int_{0}^{t}{(t-s)}^{\alpha-1}f(s,y(s))\,ds\cap C[0,1]$$ satisfying

$$0\leq v(t)-u(t)\leq \int_{0}^{t}{(t-s)}^{\alpha-1}M\bigl(y(s)-x(s) \bigr)\,ds,$$
2. (ii)

for any $$v\in\int_{0}^{t}{(t-s)}^{\alpha-1}f(s,y(s))\,ds\cap C[0,1]$$, there exists $$u\in\int_{0}^{t}{(t-s)}^{\alpha-1}f(s,x(s))\,ds\cap C[0,1]$$ satisfying

$$0\leq v(t)-u(t)\leq \int_{0}^{t}{(t-s)}^{\alpha-1}M\bigl(y(s)-x(s) \bigr)\,ds.$$

Then the fractional integral inclusion has a solution in $$C[0,1]$$.

To prove the solvability of fractional integral inclusion, we need the following lemma.

Lemma 5.2

$$I^{\alpha}$$ is a linear, positive operator from X to X. Moreover, the spectral radius $$r(I^{\alpha})=0$$.

Proof

The proof is given in two steps.

1. Step 1.

$$I^{\alpha}$$ maps X into X.

In fact, for arbitrary $$u\in X$$, assume $$t, t+h\in[0,1]$$.

When $$h>0$$

\begin{aligned} \bigl\vert I^{\alpha}u(t+h)-I^{\alpha}u(t)\bigr\vert ={}& \biggl\vert \frac{1}{\Gamma(\alpha )} \int_{0}^{t+h}(t+h-\tau)^{\alpha-1}u(\tau)\,d\tau \\ &{}- \frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-\tau)^{\alpha-1}u(\tau)\,d\tau \biggr\vert \\ \leq{}& \frac{\Vert u \Vert}{\Gamma(\alpha)}\biggl\vert \int _{0}^{t}\bigl[(t+h-\tau)^{\alpha-1}-(t- \tau)^{\alpha-1}\bigr]\,d\tau\biggr\vert \\ &{}+ \frac{\Vert u \Vert}{\Gamma(\alpha)}\biggl\vert \int _{0}^{t+h}(t+h-\tau)^{\alpha-1}\,d\tau\biggr\vert \\ ={}& \frac{\Vert u \Vert}{\Gamma(\alpha)}\biggl(\vert K_{1} \vert+\frac {h^{\alpha}}{\alpha} \biggr). \end{aligned}

For $$K_{1}$$, we have the following estimation:

$$|K_{1}|=\biggl| \int_{0}^{t}\bigl[(t+h-\tau)^{\alpha-1}-(t- \tau)^{\alpha-1}\bigr]\,d\tau \biggr|=h^{\alpha} \int_{0}^{\frac{t}{h}}\bigl[s^{\alpha-1}-(s+1)^{\alpha-1} \bigr]\,ds.$$

(1) If $$0\leq t\leq h$$,

$$|K_{1}|< h^{\alpha} \int_{0}^{1}\bigl[s^{\alpha-1}-(s+1)^{\alpha-1} \bigr]\,ds< h^{\alpha }\frac{h^{\alpha}}{\alpha}.$$

(2) If $$t>h$$, then

\begin{aligned} \vert K_{1} \vert&= \biggl\vert \frac{1}{\Gamma(\alpha)} \int_{0}^{t+h}(t+h-\tau )^{\alpha-1}u(\tau)\,d \tau- \frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-\tau )^{\alpha-1}u(\tau)\,d\tau \biggr\vert \\ &= h^{\alpha} \int_{0}^{1}\bigl[s^{\alpha-1}-(s+1)^{\alpha-1} \bigr]\,ds+h^{\alpha } \int_{1}^{\frac{t}{h}}\bigl[s^{\alpha-1}-(s+1)^{\alpha-1} \bigr]\,ds \\ &< \frac{h^{\alpha}}{\alpha}+(1-\alpha)h^{\alpha} \int_{1}^{\frac {t}{h}}s^{\alpha-2}\,ds \\ &< \frac{h^{\alpha}}{\alpha}+(1-\alpha)h^{\alpha} \int_{1}^{\infty }s^{\alpha-2}\,ds \\ &=\biggl(1+\frac{1}{\alpha}\biggr)h^{\alpha}. \end{aligned}

By (1), (2), we have

$$\lim_{h\rightarrow0}\bigl|I^{\alpha}u(t+h)-I^{\alpha}u(t)\bigr|=0.$$

In the same manner, we can prove $$\lim_{h\rightarrow0}|I^{\alpha }u(t+h)-I^{\alpha}u(t)|=0$$ for $$h<0$$.

Hence, $$I^{\alpha}u\in X$$. The linearity and positivity of $$I^{\alpha}$$ are obvious.

2. Step 2.

$$r(I^{\alpha})=0$$.

By the semi-group property of the Riemann-Liouville fractional integral operator, we have

$$\bigl(I^{\alpha}\bigr)^{n}u(t)=I^{n\alpha}u(t)= \frac{1}{\Gamma(n\alpha)} \int _{0}^{t}(t-\tau)^{n\alpha-1}u(\tau)\,d\tau,$$

hence

\begin{aligned} \bigl\| \bigl(I^{\alpha}\bigr)^{n}\bigr\| &= \sup_{\|u\|=1} \max_{0\leq t\leq1}\biggl\vert \frac {1}{\Gamma(n\alpha)} \int_{0}^{t}(t-\tau)^{n\alpha-1}u(\tau)\,d\tau \biggr\vert \\ &\leq \max_{0\leq t\leq1}\biggl\vert \frac{1}{\Gamma(n\alpha)} \int _{0}^{t}(t-\tau)^{n\alpha-1}\,d\tau\biggr\vert \\ &= \max_{0\leq t\leq1}\frac{1}{\Gamma(n\alpha)}\frac{1}{n\alpha }t^{n\alpha} \\ &\leq \frac{1}{\Gamma(n\alpha+1)}. \end{aligned}

Due to Stiringâ€™s formula,

$$\lim_{n\rightarrow\infty}\sqrt[n]{\Gamma(n\alpha+1)}=\lim _{n\rightarrow \infty}\sqrt[n]{\biggl(\frac{n\alpha}{e}\biggr)^{n\alpha} \sqrt{2n\pi\alpha }\bigl(1+o(1)\bigr)}=\lim_{n\rightarrow\infty}\biggl( \frac{n\alpha}{e}\biggr)^{\alpha}=\infty.$$

By Gelfandâ€™s formula,

$$r\bigl(I^{\alpha}\bigr)=\lim_{n\rightarrow\infty} {\bigl\| \bigl(I^{\alpha}\bigr)^{n}\bigr\| }^{\frac {1}{n}}\leq\lim _{n\rightarrow\infty} \biggl\vert \frac{1}{\sqrt[n]{\Gamma (n\alpha+1)}}\biggr\vert =0.$$

Then $$r(I^{\alpha})=0$$.

This ends the proof.â€ƒâ–¡

Proof of Theorem 5.1

Define a multi-valued mapping T from X to $$2^{X}\setminus\{\phi\}$$ as follows:

$$T(x) (t)= \int_{0}^{t}{(t-s)}^{\alpha-1}f\bigl(s,x(s) \bigr)\,ds,\quad x \in X.$$

From assumption (1) we know that T has nonempty values. Because of the RÃ¤dstrom embedding theorem [28], it is easy to show

$$T(x) (t)\in P_{\mathrm{kc}}(R),\quad t\in[0,1].$$

Then an application of Arzela and Ascoliâ€™s theorem shows that T has values in $$P_{\mathrm{kc}}(C[0,1])$$.

Assumption (2) means there exists a linear operator $$L:X\rightarrow X$$ such that, for any $$x,y\in X$$, $$x\leq y$$ implies:

1. (i)

for any $$u\in T(x)$$, there exists $$v\in T(y)$$ satisfying

$$0\leq v-u\leq L(y-x),$$
2. (ii)

for any $$v\in T(y)$$, there exists $$u\in T(x)$$ satisfying

$$0\leq v-u\leq L(y-x),$$

where $$L(x)(t)= M\int_{0}^{t}{(t-s)}^{\alpha-1}x(s)\,ds$$. By Lemma 5.2, $$r(L)=0$$ and $$L(P)\subset P$$. Due to Theorem 3.1, T has a fixed point in x, i.e., the fractional differential inclusion has a solution.

This ends the proof.â€ƒâ–¡

References

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

2. HeikkilÃ¤, S, Lakskmikantham, V: Monotone Iterative Techniques for Discontinuous Nonlinear Differential Equations. Dekker, New York (1994)

3. Guo, D: Partial Order Methods in Nonlinear Analysis. Shandong Science and Technology Press, Jinan (2000)

4. Feng, Y, Wang, H: Characterizations of reproducing cone and uniqueness of fixed point. Nonlinear Anal. 74, 5759-5765 (2011)

5. Guo, D, Lakskmikantham, V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 11, 623-632 (1987)

6. Bhaskar, TG, Lakskmikantham, V: Fixed point theory in partially ordered metric spaces and applications. Nonlinear Anal. 65, 1379-1393 (2006)

7. Guo, D: Existence and uniqueness of positive fixed point for mixed monotone operators with applications. Appl. Anal. 46, 91-100 (1992)

8. Zhang, Z: New fixed point theorems of mixed monotone operators and applications. J. Math. Anal. Appl. 204, 307-319 (1996)

9. Zhang, S, Ma, Y: Coupled fixed points for mixed monotone condensing operators and an existence theorem of the solution for a class of functional equations arising in dynamic programming. J. Math. Anal. Appl. 160, 468-479 (1991)

10. Sun, Y: A fixed point theorem for mixed monotone operator with applications. J. Math. Anal. Appl. 156, 240-252 (1991)

11. Lian, X, Li, Y: Fixed point theorems for a class of mixed monotone operators with applications. Nonlinear Anal. 67, 2752-2762 (2007)

12. Wu, Y, Liang, Z: Existence and uniqueness of fixed points for mixed monotone operators with applications. Nonlinear Anal. 65, 1913-1924 (2006)

13. Kukushikin, NS: A fixed point theorem for decreasing mappings. Econ. Lett. 46, 23-26 (1994)

14. Harjani, J, Lopez, B, Sadarangani, K: Fixed point theorems for mixed monotone operators and applications to integral equations. Nonlinear Anal. 74, 1749-1760 (2011)

15. Bu, C, Feng, Y, Li, H: Existence and uniqueness of fixed point for mixed monotone ternary operators. Fixed Point Theory Appl. 2014, 223 (2014)

16. Nishniannidz, ZG: Fixed points of monotonic multiple-valued operators. Bull. Georgian Acad. Sci. 114, 489-491 (1984)

17. Nguyen, BH, Nguyen, HK: Fixed point for multivalued increasing operators. J. Math. Anal. Appl. 250, 368-371 (2000)

18. Nguyen, BH: Fixed point of increasing multivalued operators and an application to the discontinuous elliptic equations. Nonlinear Anal. 51, 673-678 (2002)

19. Huang, N, Fang, Y: Fixed points for multi-valued mixed increasing operators in ordered Banach spaces with applications to integral inclusions. Z. Anal. Anwend. 22, 399-410 (2003)

20. Feng, Y, Liu, S: Fixed point theorems for multi-valued increasing operators in partial ordered spaces. Soochow J. Math. 30, 461-469 (2004)

21. Hong, S: Fixed points for mixed monotone multivalued operators in Banach space with applications. J. Math. Anal. Appl. 337, 333-342 (2008)

22. Hong, S: Fixed points of multivalued operators in ordered metric spaces with applications. Nonlinear Anal. 72, 3929-3942 (2010)

23. Hong, S, Qiu, Z: Fixed points of discontinuous multivalued operators in ordered spaces with applications. Fixed Point Theory Appl. 2010, Article ID 745769 (2010). doi:10.1155/2010/745769

24. Feng, Y, Tong, P: Existence and nonexistence of positive periodic solutions to a second order differential inclusion. Topol. Methods Nonlinear Anal. 42, 449-459 (2013)

25. Feng, Y, Mao, W, Qu, G: Fixed point theorems of multi-valued decreasing operators on cones. J. Nonlinear Sci. Appl. 8, 334-339 (2015)

26. Krasnosesâ€™kii, MA, Zabreiko, PP: Geometrical Methods of Nonlinear Analysis. Springer, Berlin (1984)

27. Diethelm, K: The Analysis of Fractional Differentiations: An Application-Oriented Exposition Using Differential Operators of Caputo Type. Springer, Berlin (2010)

28. Klein, E, Thompson, A: Theory of Correspondences. Wiley, New York (1984)

Acknowledgements

We are grateful to the anonymous referees for their helpful suggestions. This research is supported in part by the Doctoral Fund of Education Ministry of China (20134219120003) and the Key Program of Natural Science Foundation of China (71231007).

Author information

Authors

Corresponding author

Correspondence to Yuqiang Feng.

Competing interests

The authors declare that they have no competing interests.

Authorsâ€™ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

Reprints and permissions

Feng, Y., Wang, Y. Fixed points of multi-valued monotone operators and the solvability of a fractional integral inclusion. Fixed Point Theory Appl 2016, 64 (2016). https://doi.org/10.1186/s13663-016-0554-z