Abstract
In this paper we develop various new fixed point theorems for a class of operator equations with three general mixed monotone operators,namely \(A(x,x)+B(x,x) +C(x,x)=x\) on ordered Banach spaces, where A, B, C are the mixed monotone operators. A is such that for any \(t\in(0,1)\), there exists \(\varphi(t)\in(t,1]\) such that for all \(x,y\in P\), \(A(tx,t^{-1}y)\geq\varphi(t)A(x,y)\); B is hypo-homogeneous, i.e. B satisfies that for any \(t\in(0,1)\), \(x,y\in P\), \(B(tx,t^{-1}y)\geq tB(x,y)\); C is concave-convex, i.e. C satisfies that for fixed y, \(C(\cdot,y):P\rightarrow P\) is concave; for fixed x, \(C(x,\cdot)\): \(P\rightarrow P\) is convex. Also we study the solution of the nonlinear eigenvalue equation \(A(x,x)+B(x,x)+C(x,x)=\lambda x\) and discuss its dependency to the parameter. Our work extends many existing results in the field of study. As an application, we utilize the results obtained in this paper for the operator equation to study the existence and uniqueness of positive solutions for a class of nonlinear fractional differential equations with integral boundary conditions.
Similar content being viewed by others
1 Introduction
Mixed monotone operators are an important class of operators which are used intensively in engineering, nuclear physics, biology, chemistry, technology, etc. They were first introduced by Guo and Lakshmikantham in [1]. Thereafter, many authors have investigated this kind of operators in Banach spaces and obtained a lot of interesting and important results (see [2–10]).
In [11], Chen discussed the conditions which guarantee the existence of an asymptotically attractive fixed point for \(T=A+H:P\rightarrow P\), where P is a cone of a Banach space E. \(A, H:P\rightarrow P\) are two monotone operators in E and there exist \(\eta>0\) and \(\alpha\in(0,1)\) such that
and
where \(\alpha\in(\eta,1)\). If there is an \(x_{0}\in P\) such that \(Ax_{0}\in C_{x_{0}}\) and \(Hx_{0}\in C_{x_{0}}\), then there exists \(\lambda:(\eta, 1)\times C_{x_{0}}\rightarrow(\alpha,1)\) such that \(T(tx)\geq t^{\lambda(t,x)}Tx\), \(t\in(\eta,1)\), \(x\in P\). Furthermore, if \(\lambda_{m}(t)=\sup _{x\in C_{x_{0}}} \lambda(t,x)<1\), then there exists \(x_{*}\in C_{x_{0}}\) such that \(\lim _{n\rightarrow\infty} T^{n}x_{0}=x_{*}\) and \(Tx_{*}=x_{*}\).
In [12], Zhang used the partial order theory to study mixed monotone operators which have different types of concave-convex properties (for example: \(A(x,y)\) is concave in x, and (-α)-convex in y). The author also assumes that there exist \(u_{0}, v_{0}\in\overset{\circ}{P}\), \(\varepsilon>0\), \(\varepsilon\geq\alpha\) such that \(0\ll u_{0}\leq v_{0}\), \(u_{0}\leq A(u_{0},v_{0})\), \(A(v_{0},u_{0})\leq v_{0}\); and \(A(\theta,v_{0})\geq\varepsilon A(v_{0},u_{0})\)), and he establishes the existence and uniqueness of a fixed point without assuming the operator to be compact or continuous.
In [13], Zhai and Hao considered the existence and uniqueness of positive solutions to the operator equation \(A(x,x)+Bx=x\) on ordered Banach spaces, where A is a mixed monotone operator, B is an increasing sub-homogeneous operator or α-concave operator, and assume that:
-
(1)
there is \(h_{0}\in P_{h}\) such that \(A(h_{0},h_{0})\in P_{h}\), \(Bh_{0}\in P_{h}\);
-
(2)
there exists a constant \(\delta_{0}>0\), such that \(A(x,y)\geq\delta_{0}B(x,y)\), \(\forall x,y \in P\).
In [14], Zhai and Anderson studied an operator equation \(Ax+Bx+Cx=x\) on ordered Banach spaces, where A is an increasing α-concave operator, B is an increasing sub-homogeneous operator and C is a homogeneous operator and satisfy:
-
(1)
there is \(h>\theta\) such that \(Ah\in P_{h}\), \(Bh\in P_{h}\), \(Ch\in P_{h}\);
-
(2)
there exist constants \(\delta_{1}, \delta_{2}>0\), such that \(Ax\geq\delta_{1}Bx+\delta_{2}Cx\), \(\forall x \in P\).
The existence and uniqueness of positive solutions of the operator equation is obtained by using the properties of cones and a fixed point theorem for increasing general β-concave operators.
Motivated by the above work, this paper studies the existence and uniqueness of positive solutions to the following operator equation on ordered Banach spaces:
where \(A, B,C:P\times P\rightarrow P\) are mixed monotone operators and satisfy the following conditions, respectively:
-
(1)
for any \(t\in(0,1)\), there exists \(\varphi(t)\in(t,1]\) such that
$$A\bigl(tx,t^{-1}y\bigr)\geq\varphi(t)A(x,y),\quad \forall x,y\in P; $$ -
(2)
for any \(t\in(0,1)\),
$$B\bigl(tx,t^{-1}y\bigr)\geq tB(x,y),\quad \forall x,y\in P; $$ -
(3)
for any fixed y, \(C(\cdot,y):P\rightarrow P\) is concave; for any fixed x, \(C(x,\cdot):P\rightarrow P\) is convex.
Also we study the solution of the nonlinear eigenvalue equation \(A(x,x)+B(x,x)+C(x,x)=\lambda x\) and discuss its properties. As an application, we utilize the results obtained for the operator equations to study the existence and uniqueness of positive solutions for a class of nonlinear fractional differential equations with integral boundary conditions.
To our knowledge, so far no fixed point results have been achieved for the operator of equation (1.1) with the operators A, B, C satisfying the above listed conditions (1), (2), and (3). Our work presented in this paper has various new features. First,by using the properties of cones, we obtain some existence and uniqueness results of positive solutions for the operator of equation (1.1) without the need of assuming the operators to be continuous or compact, which extends the corresponding results in [11–23]. Most importantly our work is about the sum of three classes of mixed monotone operators. We also discusses the solution of the nonlinear eigenvalue equation \(A(x,x)+B(x,x)+C(x,x)=\lambda x\) and investigate its dependency to the parameter. To demonstrate the applicability of our abstract results, we give, in the last section of the paper, some applications to nonlinear fractional differential equations with integral boundary conditions, and also, we give some specific examples.
2 Preliminaries and lemmas
For convenience in the discussion of the following sections, we briefly present here some definitions, notations and known results. For more details, we refer the reader to [1, 16, 19, 24–26] and the references therein.
Suppose that \((E,\|\cdot\|)\) is a Banach space and θ is the zero element of E. Recall that a non-empty closed convex set \(P\subset E\) is a cone if it satisfies (1) \(x\in P\), \(\lambda \geq 0 \Rightarrow \lambda x \in P\); (2) \(x\in P\), \(-x\in P \Rightarrow x=\theta\). The Banach space E can be 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\).
A cone P is said to be solid if its interior \(\overset{\circ}{P}\) is non-empty. If \(x-y\in\overset{\circ}{P}\), then we denote \(x\gg y\). 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 \|\), where the smallest 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 \) (\(Ay \leq Ax\)). An operator \(A:P\rightarrow P\) is said to be α-concave if there exists \(\alpha\in(0,1)\) such that for all \(t\in(0,1)\), \(x\in P\), \(A(tx)\geq t^{\alpha}Ax\).
For \(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 > 0\), we denote by \(P_{h}\) the set \(P_{h}= \{x\in P \mid x \sim h\}\). It is easy to see that \(P_{h}\subset P\). If P is a solid cone, take any \(h\in\overset{\circ}{P}\), then \(P_{h}=\overset{\circ}{P}\). For \(x,y\in P_{h}\), we can define
Definition 2.1
\(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\).
Definition 2.2
[22]
\(A:D(A)\subset E\rightarrow E\) is said to be convex if for any \(x, y\in D(A)\) with \(x\leq y\) and every \(t\in(0,1)\), we have \(A(tx+(1-t)y)\leq tAx+(1-t)Ay\). A is said to be concave if −A is convex.
3 Main results
In this section we consider the existence and uniqueness of positive solutions for the operator of equation (1.1). Throughout the paper, 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 introduction.
Theorem 3.1
Let P be a normal cone in E. Assume that \(A, B, C:P\times P\rightarrow P\) are three mixed monotone operators and satisfy the following conditions:
-
(1)
for any \(t\in(0,1)\), there exists \(\varphi(t)\in(t,1]\) such that
$$ A\bigl(tx,t^{-1}y\bigr)\geq\varphi(t)A(x,y), \quad\forall x,y\in P; $$(3.1) -
(2)
for any \(t\in(0,1)\), \(x,y\in P\),
$$ B\bigl(tx,t^{-1}y\bigr)\geq tB(x,y); $$(3.2) -
(3)
for any fixed \(y\in P\), \(C(\cdot,y):P\rightarrow P\) is concave; for any fixed \(x\in P\), \(C(x,\cdot):P\rightarrow P\) is convex;
-
(4)
there is \(h\in P\), \(h>\theta\) such that \(A(h,h)\in P_{h}\), \(B(h,h)\in P_{h}\), and \(C(h,h)\in P_{h}\);
-
(5)
there exists \(\frac{1}{2}\leq c\leq1\), such that \(C(\theta,lh)\geq cC(lh,\theta)\), for any \(l\geq1\);
-
(6)
there exists a constant \(\delta_{0}>0\), such that \(B(x,y)+C(x,y)\leq\delta_{0}A(x,y)\), \(\forall x,y \in P_{h}\).
Then the operator of equation (1.1) has a unique positive solution \(x^{\ast}\) in P, which satisfies \(\mu h\leq x^{\ast}\leq\lambda h\), where \(\lambda >0\), \(\mu>0\) are two real numbers. And for any initial values \(x_{0},y_{0}\in P_{h}\), by constructing successively the sequences as follows:
we have \(x_{n}\rightarrow x^{\ast}\) and \(y_{n}\rightarrow x^{\ast}\) in E, as \(n\rightarrow\infty\).
Proof
From (3.1) and (3.2), for any \(t\in(0,1)\), we have
and
Since \(A(h,h)\in P_{h}\), \(B(h,h)\in P_{h}\), \(C(h,h)\in P_{h}\), there exist constants \(a_{i}>0\), \(b_{i}>0 \) (\(i=1,2,3\)) such that
First of all, we show \(A:P_{h}\times P_{h}\rightarrow P_{h}\). For any \(x,y\in P_{h}\), we can choose two sufficiently small numbers \(\alpha_{1},\alpha_{2}\in(0,1)\) such that
Let \(\alpha=\min\{\alpha_{1},\alpha_{2}\}\), then \(\alpha\in(0,1)\), by (3.1), (3.3), and (3.4), we have
Evidently, \(\frac{1}{\varphi(\alpha)}b_{1}, \varphi(\alpha)a_{1}>0\). Thus \(A(x,y)\in P_{h}\); that is, \(A:P_{h}\times P_{h}\rightarrow P_{h}\).
Second, we show \(B:P_{h}\times P_{h}\rightarrow P_{h}\). For any \(x,y\in P_{h}\), we can choose two sufficiently small numbers \(\beta_{1},\beta_{2}\in(0,1)\) such that
Let \(\beta=\min\{\beta_{1},\beta_{2}\}\), then \(\beta\in(0,1)\), by (3.2), (3.3), and (3.4), we have
Evidently, \(\frac{1}{\beta}b_{2}, \beta a_{2} >0\). Thus \(B(x,y)\in P_{h}\); that is, \(B:P_{h}\times P_{h}\rightarrow P_{h}\).
Thirdly, we show \(C:P_{h}\times P_{h}\rightarrow P_{h}\). For any \(t\in(0,1)\), \(x,y\in P_{h}\), we have
thus
Also, we can find a sufficiently large l such that \(x, y, t^{-1}y\leq lh\) and satisfies (5), so from (5), (3.5), and the concavity and convexity as well as the monotone property of operator C, we have
That is,
And then it is obvious that
Since \(x,y\in P_{h}\), we can choose two sufficiently small numbers \(\gamma_{1},\gamma_{2}\in(0,1)\) such that
Let \(\gamma=\min\{\gamma_{1},\gamma_{2}\}\), then \(\gamma\in(0,1)\), by (3.4), (3.6), and (3.7), we have
Evidently, \(\frac{1}{\gamma}b_{3}, \gamma a_{3} >0\). Thus \(C(x,y)\in P_{h}\); that is, \(C:P_{h}\times P_{h}\rightarrow P_{h}\).
Now we define an operator \(T=A+B+C: P_{h}\times P_{h}\rightarrow P_{h}\) by
Then \(T:P_{h}\times P_{h}\rightarrow P_{h}\) is a mixed monotone operator and \(T(h,h)\in P_{h}\).
In the following, we show that for any \(x,y\in P_{h}\), \(t\in(0,1)\), there exists \(\psi(t,x,y)\in (t,1]\) such that \(T(tx,t^{-1}y)\geq\psi(t,x,y)T(x,y)\). From (3.1), (3.2), and (3.6), for any \(t\in(0,1)\) and \(x,y\in P_{h}\), we have
For any \(x, y\in P_{h}\), since \(A, B, C:P_{h}\times P_{h}\rightarrow P_{h}\), we have \(A(x,y)\in P_{h}\), \(B(x,y)\in P_{h}\), \(C(x,y)\in P_{h}\), and thus we get \(B(x,y)+C(x,y)\sim A(x,y)\). Denote
Then from (6) we have \(F(x,y)\leq\delta_{0}\). For any \(t\in(0,1)\), \(x,y\in P_{h}\), consider
It is clear that g is continuous and strictly decreasing with respect to s. Since
and
there exists a unique \(\psi(t,x,y)\in (\frac{\delta_{0}t+\varphi(t)}{\delta_{0}+1},\varphi (t) )\) such that
Solving for \(F(x,y)\) in the above inequality leads to
From (2.1) we get \(M(x/y)=\inf\{\lambda\in R:x\leq\lambda y\}\). So from the definitions of \(F(x,y)\) and \(M(x/y)\), we can get
This inequality can be rewritten as
Hence
That is, for any \(x,y\in P_{h}\) and \(t\in(0,1)\), there exists \(\psi(t,x,y)\in (\frac{\delta_{0}t+\varphi(t)}{\delta_{0}+1},\varphi(t) )\subseteq(t,1]\) such that
Since \(T(h,h)\in P_{h}\), we can choose a sufficiently small number \(s_{0}\in(0,1)\) such that
Noting that \(s_{0}<\psi(s_{0},x,y)\leq1\), we can get \(1<\frac{\psi(s_{0},x,y)}{s_{0}}\leq\frac{1}{s_{0}}\). By the Archimedes principle, we can take a positive integer k such that
that is,
Put \(u_{0}=s_{0}^{k}h\), \(v_{0}=s_{0}^{-k}h\). Evidently, \(u_{0},v_{0}\in P_{h}\) and \(u_{0}=s_{0}^{2k}v_{0}< v_{0}\). Take any \(r\in(0,s_{0}^{2k}]\), then \(r\in(0,1)\) and \(u_{0}\geq rv_{0}\). By the mixed monotone properties of T, we have \(T(u_{0},v_{0})\leq T(v_{0},u_{0})\). Further, by combining condition (3.8) with (3.9) and (3.10), we have
From (3.8), we can get, for all \(t\in(0,1)\), \(x,y\in P\), \(T(t^{-1}x,ty)\leq\frac{1}{\psi(t,x,y)}T(x,y)\). So
Thus we have
For \(u_{0}\), \(v_{0}\), construct successively the sequences as follows:
Evidently, \(u_{1}\leq v_{1}\). By the mixed monotone properties of T, we obtain \(u_{n}\leq v_{n} \) (\(n=1,2,\ldots \)) and
Noting that \(u_{0}\geq rv_{0}\), we can get \(u_{n}\geq u_{0}\geq rv_{0}\geq rv_{n} \) (\(n=1,2,\ldots \)). Let
Then we have
and then by (3.11) we have
Therefore, \(t_{n+1}\geq t_{n}\), i.e., \(\{t_{n}\}\) is increasing with \(\{t_{n}\}\subset(0,1]\). Suppose \(t_{n}\rightarrow t^{*}\) as \(n\rightarrow\infty\), then \(t^{*}=1\). Otherwise, \(0< t^{*}<1\). Since \(t_{n}\leq t^{*}\) and \(\psi(t,x,y)>t\), by the mixed monotone properties of T and (3.8) as well as (3.12), we have
By the definition of \(t_{n}\), we have \(t_{n+1}\geq \frac{t_{n}}{t^{\ast}}\psi(t^{\ast},v_{n},u_{n})\), that is, \(\psi(t^{\ast},v_{n},u_{n})\leq\frac{t^{\ast}}{t_{n}}t_{n+1}\). So we get
Since \(\lim_{n\rightarrow\infty} \frac{t^{\ast}}{t_{n}}t_{n+1}=t^{\ast}\), we get \(t^{\ast}<\frac{\delta_{0}t^{\ast}+\varphi(t^{\ast})}{\delta_{0}+1}\leq t^{\ast}\), which is a contradiction. Thus, \(\lim_{n\rightarrow\infty} t_{n}=1\). For any natural number p we have
Since the cone P is normal, we have
where N is the normality constant of P. So we can claim that \(\{u_{n}\}\) and \(\{v_{n}\}\) are Cauchy sequences. Because E is complete, there exist \(u^{\ast}\), \(v^{\ast}\) such that \(u_{n}\rightarrow u^{\ast}\), \(v_{n}\rightarrow v^{\ast}\) as \(n\rightarrow\infty\). By (3.11), we know that \(u_{n}\leq u^{\ast}\leq v^{\ast}\leq v_{n}\) with \(u^{\ast}, v^{\ast}\in P_{h}\), and
Further, by the normality of cone P, we have
and thus \(u^{\ast}=v^{\ast}\). Let \(x^{\ast}:= u^{\ast}=v^{\ast}\) and then by the mixed monotone properties of T, we obtain
Let \(n\rightarrow\infty\), then we get \(x^{\ast}=T(x^{\ast},x^{\ast})\). That is, \(x^{\ast}\) is a fixed point of T in \(P_{h}\).
In the following, we prove that \(x^{\ast}\) is the unique fixed point of T in \(P_{h}\). In fact, suppose x̅ is another fixed point of T in \(P_{h}\) and \(\overline{x}\neq x^{\ast}\). Since \(x^{\ast},\overline{x}\in P_{h}\), there exist positive numbers \({\mu}_{1},{\mu}_{2},{\lambda}_{1},{\lambda}_{2}>0\) such that
Then we obtain
Let
Evidently, \(0< e_{1}\leq1\), \(e_{1}x^{\ast}\leq\overline{x}\leq\frac{1}{e_{1}}x^{\ast}\). Next we prove \(e_{1}=1\). If \(0< e_{1}<1\), then by the mixed monotone properties of T and (3.8), we would get
Since \(\psi(e_{1},x^{\ast},x^{\ast})>e_{1}\), this contradicts the definition of \(e_{1}\), so we get \(e_{1}=1\). Thus \(\overline{x}= x^{\ast}\). Therefore, A has a unique fixed point \(x^{\ast}\) in \(P_{h}\).
Now we construct successively the sequences
for any initial points \(x_{0},y_{0}\in P_{h}\). Since \(x_{0},y_{0}\in P_{h}\), we can choose small numbers \(e_{2},e_{3}\in(0,1)\) such that
Let \(e_{\ast}=\min\{e_{2},e_{3}\}\). Then \(e_{\ast}\in(0,1)\) and
Since \(e_{\ast}<\psi(e_{\ast},x,y)\leq1\), we can get \(1<\frac{\psi(e_{\ast},x,y)}{e_{\ast}}\leq\frac{1}{e_{\ast}}\). By the Archimedes principle, we can choose a sufficiently large positive integer m such that
Put \(\overline{u}_{0}=e_{\ast}^{m}h\), \(\overline{v}_{0}=\frac{1}{e_{\ast}^{m}}h\). It is easy to see that \(\overline{u}_{0},\overline{v}_{0}\in P_{h}\), and \(\overline{u}_{0}< x_{0},y_{0}<\overline{v}_{0}\). Let
Similarly, it follows that there exists \(y^{*}\in P_{h}\) such that
By the uniqueness of the fixed points of the operator T in \(P_{h}\), we get \(x^{\ast}=y^{\ast}\). And by induction, \(\overline{u}_{n}\leq x_{n}\), \(y_{n}\leq\overline{v}_{n} \) (\(n=1,2,\ldots \)). Since the cone P is normal, we have \(\lim_{n\rightarrow\infty} x_{n}=\lim_{n\rightarrow\infty} y_{n}=x^{\ast}\). □
Remark 3.1
Theorem 3.1 is a fixed point theorem for the sum of three classes of mixed monotone operators, which extends the results in [11–14].
Taking \(B, C=\theta\) in Theorem 3.1, we get the following corollary.
Corollary 3.1
Let P be a normal cone in E. Assume that \(T:P\times P\rightarrow P\) is a mixed monotone operator and satisfies the following conditions:
- (A1):
-
There exists \(h\in P\) with \(h>\theta\) such that \(T(h,h) \in P_{h}\).
- (A2):
-
For any \(t\in(0,1)\), there exists \(\varphi(t)\in (t,1]\) such that
$$T\bigl(tx,t^{-1}y\bigr)\geq\varphi(t)T(x,y), \quad \forall x,y\in P. $$
Then the operator \(T(x,x)=x\) has a unique solution \(x^{\ast}\) in P, which satisfies \(\mu h\leq x^{\ast}\leq\lambda h\), where \(\lambda >0\), \(\mu>0\) are two real numbers. Moreover, for any initial values \(x_{0},y_{0}\in P_{h}\), by constructing successively the sequences as follows:
we have \(x_{n}\rightarrow x^{\ast}\) and \(y_{n}\rightarrow x^{\ast}\) in E, as \(n\rightarrow\infty\).
Proof
Since X is a uniformly convex Banach space and A is bounded, we see that \(A_{0}\) is non-empty and \(\{(PT)^{n}(x)\}\) is bounded for any \(x\in A_{0}\). By Theorem 3.1, T has at least one best proximity point. □
Remark 3.2
Under the conditions (A1), (A2), this corollary not only guarantees the existence of upper-lower solutions for the operator T and the existence of a unique fixed point, but also it constructs successively some sequences for approximating the fixed point.
Taking \(A, B=\theta\) and \(\frac{1}{2}< c\leq1\) in Theorem 3.1, from the proof of Theorem 3.1 we get the following corollary.
Corollary 3.2
Let P be a normal cone in E. Assume that \(C:P\times P\rightarrow P\) is a mixed monotone operator and satisfies the following conditions:
-
(1)
for any fixed \(y\in P\), \(C(\cdot,y):P\rightarrow P\) is concave; for any fixed \(x\in P\), \(C(x,\cdot):P\rightarrow P\) is convex;
-
(2)
there is \(h\in P\), \(h>\theta\) such that \(C(h,h)\in P_{h}\);
-
(3)
there exists \(\frac{1}{2}< c\leq1\), such that \(C(\theta,lh)\geq cC(lh,\theta)\), \(l\geq1\).
Then the operator \(C(x,x)=x\) has a unique solution \(x^{\ast}\) in P, which satisfies \(\mu h\leq x^{\ast}\leq\lambda h\), where \(\lambda >0\), \(\mu>0\) are two real numbers. Furthermore, for any initial values \(x_{0},y_{0}\in P_{h}\), by constructing successively the sequences as follows:
we have \(x_{n}\rightarrow x^{\ast}\) and \(y_{n}\rightarrow x^{\ast}\) in E, as \(n\rightarrow\infty\).
Remark 3.3
In the above corollary we do not need to require the operator C to satisfy \(0< C(\theta,v)\leq v\), which extends the result in [12].
Taking \(\varphi(t)=t^{\alpha}\), \(\alpha\in(0,1)\), we get the following corollary, which generalizes and improves Theorem 2.1 in [21].
Corollary 3.3
Let P be a normal cone in E, \(\alpha\in(0,1)\). Assume that \(A, B, C:P\times P\rightarrow P\) are three mixed monotone operators and satisfy the following conditions:
-
(1)
for any \(t\in(0,1)\), \(x,y\in P\), we have \(A(tx,t^{-1}y)\geq t^{\alpha}A(x,y)\);
-
(2)
for any \(t\in(0,1)\), \(x,y\in P\), we have \(B(tx,t^{-1}y)\geq tB(x,y)\);
-
(3)
for any fixed \(y\in P\), \(C(\cdot,y):P\rightarrow P\) is concave; for any fixed \(x\in P\), \(C(x,\cdot):P\rightarrow P\) is convex;
-
(4)
there is \(h\in P\), \(h>\theta\) such that \(A(h,h)\in P_{h}\), \(B(h,h)\in P_{h}\), and \(C(h,h)\in P_{h}\);
-
(5)
there exists \(\frac{1}{2}\leq c\leq1\), such that \(C(\theta,lh)\geq cC(lh,\theta)\), for any \(l\geq1\);
-
(6)
there exists a constant \(\delta_{0}>0\), such that \(B(x,y)+C(x,y)\leq\delta_{0}A(x,y)\), \(\forall x,y \in P_{h}\).
Then the operator equation (1.1) has a unique solution \(x^{\ast}\) in P, which satisfies \(\mu h\leq x^{\ast}\leq\lambda h\), where \(\lambda >0\), \(\mu>0\) are two real numbers. Furthermore, for any initial values \(x_{0},y_{0}\in P_{h}\), by constructing successively the sequences as follows:
we have \(x_{n}\rightarrow x^{\ast}\) and \(y_{n}\rightarrow x^{\ast}\) as \(n\rightarrow\infty\).
Corollary 3.4
Let P be a normal cone in E. Let \(h>0\) and \(A, B, C:P_{h}\times P_{h}\rightarrow P_{h}\) are three mixed monotone operators and satisfy the following conditions:
-
(1)
for any \(t\in(0,1)\), there exists \(\varphi(t)\in(t,1]\) such that
$$A\bigl(tx,t^{-1}y\bigr)\geq\varphi(t)A(x,y), \quad \forall x,y \in P_{h}; $$ -
(2)
for any \(t\in(0,1)\), \(x,y \in P_{h}\), \(B(tx,t^{-1}y)\geq tB(x,y)\);
-
(3)
for any fixed \(y\in P_{h}\), \(C(\cdot,y):P_{h}\rightarrow P_{h}\) is concave; for any fixed \(x\in P_{h}\), \(C(x,\cdot):P_{h}\rightarrow P_{h}\) is convex;
-
(4)
there exists \(\frac{1}{2}\leq c\leq1\), such that \(C(\theta,lh)\geq cC(lh,\theta)\), \(l\geq1\);
-
(5)
there exists a constant \(\delta_{0}>0\), such that \(B(x,y)+C(x,y)\leq\delta_{0}A(x,y)\), \(\forall x,y \in P_{h}\).
Then the operator of equation (1.1) has a unique solution \(x^{\ast}\) in P, which satisfies \(\mu h\leq x^{\ast}\leq\lambda h\), where \(\lambda >0\), \(\mu>0\) are two real numbers. And for any initial values \(x_{0},y_{0}\in P_{h}\), by constructing successively the sequences as follows:
we have \(x_{n}\rightarrow x^{\ast}\) and \(y_{n}\rightarrow x^{\ast}\) as \(n\rightarrow\infty\).
Remark 3.4
If P is a solid cone, \(h\in\overset{\circ }{P}\). If we suppose that the operators \(A, B, C:P_{h}\times P_{h}\rightarrow P_{h}\) or \(A, B, C:\overset{\circ}{P}\times\overset{\circ}{P}\rightarrow \overset{\circ}{P}\), then \(A(h,h)\in P_{h}\), \(B(h,h)\in P_{h}\), and \(C(h,h)\in P_{h}\) are automatically satisfied in Corollary 3.4.
Theorem 3.2
Let P be a normal cone in E. \(A, B, C:P\times P\rightarrow P\) are three mixed monotone operators and satisfy the following conditions:
-
(1)
for any \(t\in(0,1)\), there exists \(\varphi(t)\in(t,1]\) such that
$$A\bigl(tx,t^{-1}y\bigr)\geq\varphi(t)A(x,y), \quad\forall x,y\in P; $$ -
(2)
for any \(t\in(0,1)\), \(x,y\in P\), \(B(tx,t^{-1}y)\geq tB(x,y)\);
-
(3)
for any fixed \(y\in P\), \(A(\cdot,y):P\rightarrow P\) is concave; for any fixed \(x\in P\), \(A(x,\cdot):P\rightarrow P\) is convex;
-
(4)
there is \(h\in P\), \(h>\theta\) such that \(A(h,h)\in P_{h}\), \(B(h,h)\in P_{h}\), and \(C(h,h)\in P_{h}\);
-
(5)
there exists \(\frac{1}{2}\leq c\leq1\), such that \(C(\theta,lh)\geq cC(lh,\theta)\), \(l\geq1\);
-
(6)
there exists a constant \(\delta_{0}>0\), such that \(B(x,y)+C(x,y)\leq\delta_{0}A(x,y)\), \(\forall x,y \in P_{h}\).
Then for any given \(\lambda>0\), the operator equation
has a unique solution \(x_{\lambda}\) in P, which satisfies \(\mu h\leq x_{\lambda}\leq\lambda h\), where \(\lambda >0\), \(\mu>0\) are two real numbers. Furthermore, we have the following conclusions:
-
(R1)
if \(\varphi(t)>t^{\frac{1}{2}}(\delta_{0}+1)-\delta_{0}t\) for \(t\in(0,1)\), then \(x_{\lambda}\) is strictly decreasing in λ, that is, \(0<\lambda_{1}<\lambda_{2}\) implies \(x_{\lambda_{1}}> x_{\lambda_{2}}\);
-
(R2)
if there exists \(\beta\in(0,1)\) such that \(\varphi(t)\geq t^{\beta}(\delta_{0}+1)-\delta_{0}t\) for \(t\in(0,1)\), then \(x_{\lambda}\) is continuous in λ, that is, \(\lambda\rightarrow\lambda_{0} \) (\(\lambda_{0}>0\)) implies \(\| x_{\lambda}-x_{\lambda_{0}}\|\rightarrow0\);
-
(R3)
if there exists \(\beta\in(0,\frac{1}{2})\) such that \(\varphi(t)\geq t^{\beta}(\delta_{0}+1)-\delta_{0}t\) for \(t\in (0,1)\), then \(\lim_{\lambda\rightarrow\infty} \| x_{\lambda}\|=0\), \(\lim_{\lambda\rightarrow0^{+}} \| x_{\lambda}\|=\infty\).
Proof
For fixed \(\lambda>0\), by Theorem 3.1, \(\frac{1}{\lambda}T: P_{h}\times P_{h}\rightarrow P_{h}\) is mixed monotone and satisfies
for any \(x,y\in P_{h}\), \(t\in(0,1)\). So it follows from Theorem 3.1 that \(\frac{1}{\lambda}T\) has a unique fixed point \(x_{\lambda}\) in \(P_{h}\). That is, \(T(x_{\lambda},x_{\lambda})=\lambda x_{\lambda}\). For convenience of proof, we let
Then \(\alpha(t,x,y)\in[0,1)\) and \(\psi(t,x,y)=t^{\alpha(t,x,y)}\). Thus \(T(tx,t^{-1}y)\geq t^{\alpha(t,x,y)}T(x,y)\), for any \(x,y\in P_{h}\), \(t\in(0,1)\).
(1) Proof of (R1). Suppose \(0<\lambda_{1}<\lambda_{2}\) and let
then we have \(0< t_{0}<1\) and
By the mixed monotone properties of T,
Further
Noting that \(\lambda_{1}^{-1}\lambda_{2}t_{0}^{\alpha (t_{0},x_{\lambda _{2}},x_{\lambda_{2}} )}>t_{0}\), from the definition of \(t_{0}\) and (3.14), we get
which in turn yields
Hence
Noting that \(\varphi(t_{0})>t_{0}^{\frac{1}{2}}(\delta_{0}+1)-\delta_{0}t_{0}\), we have \(\psi (t_{0},x,y )>\frac{\varphi(t_{0})+\delta_{0}t_{0}}{\delta _{0}+1}>t_{0}^{\frac{1}{2}}\), and thus we have \(\alpha (t_{0},x,y )<\frac{1}{2}\) and consequently,
Thus, \(x_{\lambda_{1}}> x_{\lambda_{2}}\).
(2) Proof of (R2). Since \(\varphi(t)\geq t^{\beta}(\delta_{0}+1)-\delta_{0}t\) for \(t\in(0,1)\), we have \(\psi(t,x,y)>\frac{\varphi(t_{0})+\delta_{0}t_{0}}{\delta_{0}+1}\geq t^{\beta}\) for \(t\in(0,1)\), and thus we get \(\alpha(t,x,y)\leq\beta\) for \(t\in(0,1)\). By (3.13) and (3.15), we have
Further
Consequently, from the normality of cone P and (3.17), we get
where N is the normality constant. Let \(\lambda_{1}\rightarrow\lambda_{2}^{-}\), we have \(\|x_{\lambda_{1}}-x_{\lambda_{2}}\|\rightarrow0\). Similarly, let \(\lambda_{2}\rightarrow\lambda_{1}^{+}\), from (3.18) we can also prove \(\| x_{\lambda_{2}}-x_{\lambda_{1}}\|\rightarrow0\). So the conclusion (R2) holds.
(3) Proof of (R3). Since \(\varphi(t)\geq t^{\beta}(\delta_{0}+1)-\delta_{0}t\) for \(t\in(0,1)\), we have \(\psi(t,x,y)>\frac{\varphi(t_{0})+\delta_{0}t_{0}}{\delta_{0}+1}\geq t^{\beta}\) for \(t\in(0,1)\), and thus we have \(\alpha(t,x,y)\leq\beta<\frac{1}{2}\) for \(t\in(0,1)\). Let \(\lambda_{1}=1\), \(\lambda_{2}=\lambda\) in (3.16), then we have
Thus we can easily obtain
where N is the normality constant. Let \(\lambda\rightarrow\infty\), then \(\| x_{\lambda}\|\rightarrow0\). Similarly, let \(\lambda_{1}=\lambda\), \(\lambda_{2}=1\) in (3.16), then
Thus
where N is the normality constant. Let \(\lambda\rightarrow0^{+}\), then we have \(\| x_{\lambda}\|\rightarrow\infty\). □
4 Applications
Many problems in various areas, such as differential equations, integral equations, boundary value problems and nonlinear matrix equations, can be converted to the operator equation (1.1). We refer the reader to [27–34] and the references therein. In this section, we apply the results in Section 3 to study a class of nonlinear fractional differential equations with integral boundary conditions. We focus on the existence and uniqueness of positive solutions for the following nonlinear fractional differential equations with integral boundary conditions:
where \(3<\alpha\leq4\), \(0<\eta<1\), and \(D^{\alpha}_{0+}\) is the Riemann-Liouville fractional derivative of order \(\alpha>0\), defined by
In the following, for the sake of convenience, set \(E=C[0,1]\), the Banach space of continuous functions on \([0,1]\) with the norm \(\|y\|=\max\{|y(t)|:t\in[0,1]\}\). \(P=\{y\in C[0,1] \mid y(t)\geq0, t\in[0,1]\}\). It is clear that P is a normal cone of which the normality constant is 1. The Green function of problem (4.1) is as follows:
where \(p(s)=1-\frac{\eta^{\alpha}}{\alpha}(1-s)\). Obviously, \(G(t,s)\) is continuous on \([0,1]\times[0,1]\).
Lemma 4.1
[35]
Let \(3<\alpha\leq4\). Then the Green function \(G(t,s)\) defined by (4.2) has the following properties:
-
(1)
\(G(t,s)\geq0\), \((t,s)\in[0,1]\times[0,1]\);
-
(2)
\(\frac{\eta^{\alpha}}{\Gamma(\alpha)(\alpha-\eta^{\alpha })}s(1-s)^{\alpha-1}h(t)\leq G(t,s)\leq \frac{(\alpha-1)(\alpha-\eta^{\alpha})+4\eta^{\alpha-1}}{\Gamma(\alpha )(\alpha-\eta^{\alpha})}(1-s)^{\alpha-1}h(t)\), \(t,s\in[0,1]\), where \(h(t)=t^{\alpha-1}\).
Theorem 4.2
Assume that the following conditions (H1)-(H5) hold:
- (H1):
-
\(f, g, k: [0,1]\times[0,+\infty)\times[0,+\infty)\rightarrow[0,+\infty)\) are continuous, with \(f(t,0,1)\not\equiv0\), \(g(t,0,1)\not\equiv0\), \(k(t,0,1)\not\equiv0\), \(t\in[0,1]\);
- (H2):
-
for any fixed \(t\in[0,1]\) and \(v\in[0,+\infty)\), \(f(t,u,v)\), \(g(t,u,v)\), \(k(t,u,v)\) are increasing in \(u\in[0,+\infty)\); for any fixed \(t\in[0,1]\) and \(u\in[0,+\infty)\), \(f(t,u,v)\), \(g(t,u,v)\), \(k(t,u,v)\) are decreasing in \(v\in[0,+\infty)\);
- (H3):
-
for \(\lambda\in(0,1)\), \(t\in[0,1]\), \(u,v\in[0,+\infty)\), \(g(t,\lambda u,\lambda^{-1}v)\geq\lambda g(t,u,v)\); for any \(\lambda\in(0,1)\), \(t\in[0,1]\), \(u,v\in[0,+\infty)\), there exists \(\varphi(\lambda)\in(\lambda,1]\) such that \(f(t,\lambda u,\lambda^{-1}v)\geq\varphi(\lambda) f(t,u,v)\); and for fixed \(t\in[0,1]\), \(v\in[0,+\infty)\), \(k(t,\cdot,v)\) is concave; for fixed \(t\in[0,1]\), \(u\in[0,+\infty)\), \(k(t,u,\cdot)\) is convex;
- (H4):
-
there exists \(\frac{1}{2}\leq c\leq1\) such that \(k(s,\theta,lh(t))\geq ck(s,lh(t),\theta)\), \(l\geq1\);
- (H5):
-
there exists a constant \(\delta_{0}>0\), such that \(g(t,u,v)+k(t,u,v)\leq\delta_{0}f(t,u,v)\), \(\forall t\in[0,1]\), \(u,v\in[0,+\infty)\).
Then the problem (4.1) has a unique positive solution \(u^{\ast}\) in P, which satisfies \(\mu t^{\alpha-1}\leq u^{\ast}(t)\leq\lambda t^{\alpha-1}\), where \(\lambda>0\), \(\mu>0\) are two real numbers, \(t\in [0,1]\). Furthermore for any \(x_{0},y_{0}\in P_{h}\), by constructing successively the sequences
we have \(x_{n}(t)\rightrightarrows u^{\ast}\), \(t\in[0,1]\) and \(y_{n}(t)\rightrightarrows u^{\ast}(t)\), \(t\in[0,1]\).
Proof
From [29], the problem (4.1) has an integral formulation given by
where G(t,s) is given as in (4.2).
Define three operators \(A, B, C:P\times P\rightarrow E\) by
It is easy to prove that u is the solution of the problem (4.1) if and only if \(u=A(u,u)+B(u,u)+C(u,u)\). From (H1), we know that \(A, B, C:P\times P\rightarrow P\). Further, it follows from (H2) that A, B, C are mixed monotone. For any \(\lambda\in(0,1)\) and \(u,v\in P\), by (H3) we obtain
That is, \(A(\lambda u,\lambda^{-1}v)\geq\varphi(\lambda)A(u,v)\) for \(\lambda\in(0,1)\), \(u,v\in P\). So the operator A satisfies (3.1). Also, for any \(\lambda\in(0,1)\) and \(u,v\in P\), from (H3) we know that
That is, \(B(\lambda u,\lambda^{-1}v)\geq\lambda B(u,v)\) for \(\lambda\in(0,1)\), \(u,v\in P\). So the operator A satisfies (3.2).
Now we prove that for fixed \(v\in[0,+\infty)\), \(C(t,\cdot ,v):P\rightarrow P\) is concave; for fixed \(u\in[0,+\infty)\), \(C(t,u,\cdot):P\rightarrow P\) is convex. For fixed \(t\in(0,1)\), \(v\in[0,+\infty)\), for any \(a\in(0,1)\), \(u_{1},u_{2}\in P\),
so for fixed \(v\in[0,+\infty)\), \(C(t,\cdot,v):P\rightarrow P\) is concave; for fixed \(t\in(0,1)\), \(u\in[0,+\infty)\), for any \(a\in(0,1)\), \(v_{1},v_{2}\in P\),
so for fixed \(u\in[0,+\infty)\), \(C(t,u,\cdot):P\rightarrow P\) is convex.
Then we show that \(A(h,h)\in P_{h}\), \(B(h,h)\in P_{h}\), and \(C(h,h)\in P_{h}\). In fact, from (4.2) and Lemma 4.1
From (H2), we have
so
and consequently \(A(h,h)\in P_{h}\). Similarly,
from \(g (t,0,1 )\not\equiv0\), we have \(B(h,h)\in P_{h}\).
from \(k (t,0,1 )\not\equiv0\), we have \(C(h,h)\in P_{h}\). Hence the condition (4) of Theorem 3.1 is satisfied.
In the following we show that the condition (6) of Theorem 3.1 is satisfied. From (H4), there exists \(\frac{1}{2}\leq c\leq1\) such that
For \(u,v\in P\), from (H5),
Then we get \(B(u,v)+C(u,v)\leq\delta_{0}A(u,v)\), \(u,v\in P\). So the conclusions of Theorem 4.2 follow from Theorem 3.1. □
Example 4.1
Consider the boundary value problem
Consider the functions \(f, g, k:[0,1]\times[0,+\infty)\times[0,+\infty)\rightarrow[0,+\infty)\), defined by
Then (4.3) is equivalent to
Let us check that all the required conditions of Theorem 4.2 are satisfied.
(1) Clearly, the functions \(f, g, k:[0,1]\times[0,+\infty)\times[0,+\infty)\rightarrow[0,+\infty)\) are continuous with \(f(t,0,1)\not\equiv0\), \(g(t,0,1)\not\equiv0\), \(k(t,0,1)\not\equiv0\).
(2) We observe easily that for fixed \(t\in[0,1]\) and \(y\in[0,+\infty)\), \(f(t,x,y)\), \(g(t,x,y)\), \(k(t,x,y)\) are increasing in \(x\in[0,+\infty)\); for fixed \(t\in[0,1]\) and \(x\in[0,+\infty)\), \(f(t,x,y)\), \(g(t,x,y)\), \(k(t,x,y)\) are decreasing in \(y\in[0,+\infty)\).
(3) For all \(\lambda\in(0,1)\), \(t\in[0,1]\), and \(x\geq0\), \(y\geq0\), taking \(\varphi(\lambda)=\lambda^{\frac{1}{2}}\in(\lambda,1)\), we have
For all \(\lambda\in(0,1)\), \(t\in[0,1]\), and \(x\geq0\), \(y\geq0\), we have
It is easy to prove that
So for fixed \(t\in(0,1)\), \(y\in[0,+\infty)\), \(k(t,\cdot,y)\) is concave; for fixed \(t\in(0,1)\), \(x\in[0,+\infty)\), \(k(t,x,\cdot)\) is convex.
(4) For all \(s\in(0,1)\), \(y\in[0,+\infty)\), taking \(c=\frac{8}{15}\), it is easy to prove
(5) Taking \(\delta_{0}=3\), then
Thus we proved that all the hypotheses of Theorem 4.2 are satisfied. Then we deduce that (4.3) has one and only one positive solution \(x^{\ast}\in P_{h}\), where \(h(t)=t^{\frac{5}{2}}\), \(t\in[0,1]\).
References
Guo, D, Lakskmikantham, V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 11(5), 623-632 (1987)
Lakskmikantham, V, Ćirić, L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 70, 4341-4349 (2009)
Li, K, Liang, J, Xiao, T: New existence and uniqueness theorems of positive fixed points for mixed monotone operators with perturbation. J. Math. Anal. Appl. 328, 753-766 (2007)
Nussbaum, R: Iterated nonlinear maps and Hilbert’s projective metric. Mem. Am. Math. Soc. 75, 391 (1988)
Podulubny, I: Fractional Differential Equations. Mathematics in Science and Engineering. Academic Press, New York (1999)
Sun, Y: A fixed point theorem for mixed monotone operator with applications. J. Math. Anal. Appl. 156, 240-252 (1991)
Wu, Y, Li, G: On the fixed point existence and uniqueness theorems of mixed monotone operators and applications. Acta Math. Sin. 46(1), 161-166 (2003) (in Chinese)
Wu, Y, Liang, Z: Existence and uniqueness of fixed points for mixed monotone operators with applications. Nonlinear Anal. 65, 1913-1924 (2006)
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-497 (1991)
Zhang, Z, Wang, K: On fixed point theorems of mixed monotone operators and applications. Nonlinear Anal. 70, 3279-3284 (2009)
Chen, Y: The existence of a fixed point for the sum of two monotone operators. Positivity 12, 643-652 (2008)
Zhang, Z: Fixed point theorems of mixed monotone operators and its applications. Acta Math. Sin. 41, 1121-1126 (1998)
Zhai, C, Hao, M: Fixed point theorems for mixed monotone operators with perturbation and applications to fractional differential equation boundary value problems. Nonlinear Anal. 75, 2542-2551 (2012)
Zhai, C, 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)
Chen, Y: Thompson’s metric and mixed monotone operators. J. Math. Anal. Appl. 177, 31-37 (1993)
Guo, D: Fixed points of mixed monotone operators with application. Appl. Anal. 34, 215-224 (1988)
Hilger, S: Analysis on measure chains - a unified approach to continuous and discrete calculus. Results Math. 18, 18-56 (1990)
Lian, X, Li, Y: Fixed point theorems for a class of mixed monotone operators with applications. Nonlinear Anal. 67, 2752-2762 (2007)
Liang, Z, Zhang, L, Li, S: Fixed point theorems for a class of mixed monotone operators. Z. Anal. Anwend. 22(3), 529-542 (2003)
Wang, W, Liu, X, Cheng, S: Fixed points for mixed monotone operators and applications. Nonlinear Stud. 14(2), 189-204 (2007)
Zhai, C, Zhang, L: 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)
Zhang, Z: New fixed point theorems of mixed monotone operators and applications. J. Math. Anal. Appl. 204, 307-319 (1996)
Zhao, Z: Existence and uniqueness of fixed points for some mixed monotone operators. Nonlinear Anal. 73, 1481-1490 (2010)
Deimling, K: Nonlinear Functional Analysis. Springer, Berlin (1985)
Guo, D, Lakskmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988)
Lei, P, Lin, X, Jiang, D: Existence and uniqueness of positive solutions for singular nonlinear elliptic boundary value problems. Nonlinear Anal. 69, 2773-2779 (2008)
El-Sayed, AMA: Nonlinear functional differential equations of arbitrary orders. Nonlinear Anal. 33, 181-186 (1998)
Harjiani, J, López, B, Sadarangani, K: Fixed point theorems for mixed monotone operators and applications to integral equations. Nonlinear Anal. 74, 1749-1760 (2001)
Jiang, M, Zhong, S: Successively iterative method for fractional differential equations with integral boundary conditions. Appl. Math. Lett. 38, 94-99 (2014)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Lin, X, Jiang, D, Li, X: Existence and uniqueness of solutions for singular fourth-order boundary value problems. Comput. Appl. Math. 196, 155-161 (2006)
Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Samko, SG, Kilbas, AA, Marichev, OI: Fractional integral and derivatives. In: Theory and Applications. Gordon & Breach, Yverdon (1993)
Yuan, C, Jiang, D, Zhang, Y: Existence and uniqueness of solutions for singular higher order continuous and discrete boundary value problems. Bound. Value Probl. 2008, 123823 (2008)
Xu, X, Jiang, D, Yuan, C: Multiple positive solutions for boundary value problem of nonlinear fractional differential equation. Nonlinear Anal. 71, 4676-4688 (2009)
Acknowledgements
The authors were supported financially by the National Natural Science Foundation of China (11371221, 11571296), the Specialized Research Foundation for the Doctoral Program of Higher Education of China (20123705110001), and the Program for Scientific Research Innovation Team in Colleges and Universities of Shandong Province.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Authors’ contributions
All authors contributed equally and significantly in writing this article. 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.
About this article
Cite this article
Zhang, X., Liu, L. & Wu, Y. Fixed point theorems for the sum of three classes of mixed monotone operators and applications. Fixed Point Theory Appl 2016, 49 (2016). https://doi.org/10.1186/s13663-016-0533-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-016-0533-4