 Research
 Open access
 Published:
Properties of positive solutions for the operator equation \(Ax=\lambda x\) and applications to fractional differential equations with integral boundary conditions
Advances in Difference Equations volume 2015, Article number: 366 (2015)
Abstract
In this article we present a new fixed point theorem for a class of generalized concave operators and we establish some properties of positive solutions for the operator equation \(Ax=\lambda x\). Based on them, the existence and uniqueness of positive solutions for a class of fractional differential equations with integral boundary conditions is proved. Moreover, we present some properties of positive solutions to the boundary value problem dependent on the parameter.
1 Introduction
Owing to various applications of integral boundary value problems in applied fields such as blood flow problems, chemical engineering, thermoelasticity, underground water flow, and population dynamics, the existence of solutions for fractional differential equations with integral boundary conditions has been extensively studied in recent years (see [1–12] and the references therein). In these papers, most of the authors have investigated the existence and multiplicity of positive solutions. For example, by means of the monotone iteration method, Sun and Zhao [7] investigated the existence of positive solutions for a class of RiemannLiouville fractional differential equations with integral boundary conditions. Zhao et al. [8] used Krasnosel’skii’s fixed point theorem to obtain the existence and nonexistence of positive solutions for a fractional differential equation with integral boundary conditions. In [9], by using the properties of the Green function, a \(u_{0}\)bounded function, and fixed point index theory, the authors obtained the existence of positive solutions for a class of nonlinear fractional differential equations with integral boundary conditions and a parameter. But the uniqueness of positive solutions is not treated in [7–9]. As far as we know, there are few papers reported on the integral boundary conditions of fractional differential equations with a parameter. In particular, there are no clear explanations of the relation between positive solutions and the parameter. The reason is that many methods used in the literature are independent of the parameters. So we need some properties of positive solutions for the operator equation
where A is a generalized concave operator and \(\lambda>0\) is an eigenvalue. In this article, we first state and prove a new fixed point theorem for a class of generalized concave operators. Further, we establish some properties of positive solutions for the operator equation (1.1). Here we do not assume the existence of upperlower solutions for the operator A, which is usually done in the literature (for example, see [13, 14]). As applications, we utilize the main results for (1.1) to the following fractional differential equation with integral boundary conditions:
where \(2<\alpha\leq3\), \(0<\beta<\alpha\), \(\lambda>0\) is a parameter. \(D^{\alpha}_{0^{+}}\) is the RiemannLiouville fractional derivative of order α, which is defined as follows:
here Γ denotes the Euler gamma function and \([\alpha]\) denotes the integer part of number α provided that the right side is pointwise defined on \((0,+\infty)\); see [15]. We establish the existence and uniqueness of positive solutions for problem (1.2) with any given parameter. Moreover, we present some properties of positive solutions for problem (1.2) dependent on the parameter.
2 Properties of positive solutions for the operator equation \(Ax=\lambda x\)
For the discussion of this section, we first list some basic notations, concepts in ordered Banach spaces. For the convenience of the reader, we refer to [13, 14, 16] for details.
Let \((E,\\cdot\)\) be a real Banach space which is partially ordered by a cone \(P \subset E\), i.e., \(x \leq y\) if and only if \(yx \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. A nonempty closed convex set \(P \subset E\) is a cone if it satisfies (i) \(x \in P\), \(r \geq0 \Rightarrow rx \in P\); (ii) \(x \in P\), \(x \in P \Rightarrow x=\theta\).
P is called normal if there is 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 the infimum of such constants, it is called the normality constant of P. We say that an operator \(A:E \rightarrow E\) is increasing if \(x \leq y\) implies \(Ax \leq 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.e., \(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\).
Lemma 2.1
(see Theorem 2.1 in [16])
Let P be a normal cone in a real Banach space E and \(h>\theta\). Assume that:
 (D_{1}):

\(A:P\rightarrow P\) is increasing and \(Ah+x_{0}\in P_{h}\) with \(x_{0}\in P\);
 (D_{2}):

for \(x\in P\) and \(t\in(0,1)\), there exists \(\varphi(t)\in(t,1)\) such that \(A(tx)\geq\varphi(t)Ax\).
Then the operator equation \(x=Ax+x_{0}\) has a unique solution in \(P_{h}\).
Now we consider the operator equation
Theorem 2.1
Let P be a normal cone in a real Banach space E, \(h>\theta\), and let \(A:P\rightarrow P\) be an increasing operator, satisfying:

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

(ii)
for any \(x\in P\) and \(t\in(0,1)\), there exists \(\varphi(t)\in (t,1)\) such that \(A(tx)\geq\varphi(t)Ax\).
Then:

(1)
the operator equation (2.1) has a unique solution \(x^{*}\) in \(P_{h}\);

(2)
for any initial value \(x_{0}\in P_{h}\), constructing successively the sequence \(x_{n}=Ax_{n1}\), \(n=1,2,\ldots\) , we have \(x_{n}\rightarrow x^{*}\) as \(n\rightarrow\infty\).
Remark 2.1
We say an operator A is generalized concave if it satisfies the condition (ii) in Theorem 2.1; see [16].
Proof of Theorem 2.1
From the condition (ii), \(Ax=A(t\cdot\frac{1}{t}x)\geq\varphi(t)A(\frac{1}{t}x)\), \(t\in(0,1)\). Thus we have
Since \(Ah_{0}\in P_{h}\), there exist constants \(\lambda_{1},\lambda_{2}>0\) such that \(\lambda_{1} h\leq Ah_{0}\leq\lambda_{2} h\). Also 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\). Then from (2.2) and the monotonicity of operator A, we have
Note that \(\lambda_{1} \varphi(t_{0}), \frac{\lambda_{2}}{\varphi(t_{0})}>0\), we can get \(Ah\in P_{h}\).
Now we show that \(A: P_{h} \rightarrow P_{h}\). For any \(x\in P_{h}\), we can choose a sufficiently small number \(t_{1}\in(0,1)\) such that \(t_{1}h\leq x\leq\frac{1}{t_{1}}h\). Then
It follows from \(Ah\in P_{h}\) that \(Ax\in P_{h}\). That is, \(A: P_{h} \rightarrow P_{h}\). Letting \(x_{0}=\theta\) in Lemma 2.1, we can easily get the conclusion (1).
Next we construct successively the sequence \(x_{n}=Ax_{n1}\), \(n=1,2,\ldots \) for any initial value \(x_{0}\in P_{h}\). Since \(x_{0}\in P_{h}\) and \(Ax_{0}\in P_{h}\), we can choose a sufficiently small number \(t_{2}\in(0,1)\) such that \(t_{2}x_{0}\leq Ax_{0}\leq\frac{1}{t_{2}}x_{0}\). Note that \(t_{2}<\varphi(t_{2})< 1\), we can take a positive integer k such that \((\frac{\varphi(t_{2})}{t_{2}} )^{k}\geq\frac{1}{t_{2}}\). Put \(u_{0}=t_{2}^{k}x_{0}\), \(v_{0}=\frac{1}{t_{2}^{k}}x_{0}\). Then \(u_{0}, v_{0}\in P_{h}\) and \(u_{0}\leq x_{0}\leq v_{0}\). Take any \(r\in(0,t_{2}^{2k}]\), then \(r\in(0,1)\) and \(u_{0}\geq rv_{0}\). By the monotonicity of A, we have \(Au_{0}\leq Ax_{0}\leq Av_{0}\). From the condition (ii),
From (2.2), we get
Thus we have \(u_{0}\leq Au_{0}\leq Av_{0}\leq v_{0}\). Let \(u_{n}=Au_{n1}\), \(v_{n}=Av_{n1}\), \(n=1,2,\ldots\) . Evidently, \(u_{1}\leq x_{1}\leq v_{1}\). In a general way, we obtain \(u_{n}\leq x_{n}\leq v_{n}\), \(n=1,2,\ldots\) and then
Because \(u_{0}\geq rv_{0}\), we have \(u_{n}\geq u_{0}\geq rv_{0}\geq rv_{n}\), \(n=1,2,\ldots\) . Let
Thus we have \(u_{n}\geq r_{n}v_{n}\), \(n=1,2,\ldots\) and then
So \(r_{n+1}\geq r_{n}\), i.e., \(\{r_{n}\}\) is increasing with \(\{r_{n}\}\subset (0,1]\). Suppose \(r_{n}\rightarrow r^{*}\) as \(n\rightarrow\infty\), then \(r^{*}=1\). Otherwise, \(0< r^{*}<1\). Note that \(r_{n}\leq r^{*}\). We obtain
By the definition of \(r_{n}, r_{n+1}\geq\frac{r_{n}}{r^{*}}\cdot\varphi(t^{*})\). Let \(n\rightarrow\infty \), we get \(r^{*}\geq\varphi(r^{*})>r^{*}\), which is a contradiction. Thus, \(\lim_{n\rightarrow\infty}r_{n}=1\). For any natural number p, we have
Since P is normal, we have
where N is the normality constant. So \(\{u_{n}\}\) and \(\{v_{n}\}\) are Cauchy sequences in complete space E, and there exist \(u^{*}\), \(v^{*}\) such that \(u_{n}\rightarrow u^{*}\), \(v_{n}\rightarrow v^{*}\) as \(n\rightarrow\infty\). It is easy to see that \(u_{n}\leq u^{*}\leq v^{*}\leq v_{n}\) with \(u^{*}, v^{*}\in P_{h}\) and \(\theta\leq v^{*}u^{*}\leq v_{n}u_{n}\leq(1r_{n})v_{0}\). Further, \(\v^{*}u^{*}\\leq N(1t_{n})\v_{0}\\rightarrow0\) (\(n\rightarrow \infty\)), and thus \(u^{*}=v^{*}\). It follows from conclusion (1) that \(u^{*}=v^{*}=x^{*}\) and then \(u_{n}\rightarrow x^{*}\), \(v_{n}\rightarrow x^{*}\) as \(n\rightarrow\infty\). Thus, from the normality of P, \(x_{n}\rightarrow x^{*}\) as \(n\rightarrow\infty\). □
Next we state and prove some properties of positive solutions for the operator equation (1.1).
Theorem 2.2
Assume that all the conditions of Theorem 2.1 hold. Let \(x_{\lambda}\) (\(\lambda>0\)) denote the unique solution of operator equation (1.1). Then we have the following conclusions:

(i)
\(x_{\lambda}\) is strictly decreasing in λ, that is, \(0<\lambda_{1}<\lambda_{2}\) implies \(x_{\lambda_{1}}>x_{\lambda_{2}}\);

(ii)
if there exists \(\gamma\in(0,1)\) such that \(\varphi(t)\geq t^{\gamma}\) 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\);

(iii)
\(\lim_{\lambda\rightarrow\infty}\x_{\lambda}\=0\), \(\lim_{\lambda\rightarrow0^{+}}\x_{\lambda}\=\infty\).
Proof
Fix \(\lambda>0\) and by Theorem 2.1, \(\frac{1}{\lambda}A: P_{h}\rightarrow P_{h}\) is increasing and satisfies
So it follows from Theorem 2.1 that \(\frac{1}{\lambda}A\) has a unique fixed point \(x_{\lambda}\) in \(P_{h}\). That is, \(Ax_{\lambda}=\lambda x_{\lambda}\).
(i) Suppose \(0<\lambda_{1}<\lambda_{2}\) and let \(t_{0}=\sup\{t>0\mid x_{\lambda _{1}}\geq tx_{\lambda_{2}}\}\), then we have \(0< t_{0}<\infty\), \(x_{\lambda_{1}}\geq t_{0} x_{\lambda_{2}}\). Next we prove \(t_{0}\geq1\). In fact, if \(0< t_{0}<1\), then
Note that \(\frac{\lambda_{2}}{\lambda_{1}}\varphi(t_{0})>t_{0}\), which contradicts the definition of \(t_{0}\). Hence \(t_{0}\geq1\) and \(x_{\lambda_{1}}\geq x_{\lambda_{2}}\),
(ii) For given \(\lambda_{0}>0\), we know by (2.3),
On the other hand, let \(t_{\lambda}=\sup\{t>0\mid x_{\lambda}\geq tx_{\lambda_{0}}\}\) (\(\lambda>\lambda _{0}\)), then we have \(0< t_{\lambda}<1\), \(x_{\lambda}\geq t_{\lambda} x_{\lambda_{0}}\), for \(\lambda>\lambda_{0}\). Thus \(\lambda x_{\lambda}=Ax_{\lambda}\geq A(t_{\lambda}x_{\lambda_{0}})\geq \varphi(t_{\lambda})Ax_{\lambda_{0}}=\varphi(t_{\lambda})\lambda_{0} x_{\lambda_{0}}\). By the definition of \(t_{\lambda}\) and the condition (ii), we know \(t_{\lambda}\geq\frac{\lambda_{0}}{\lambda}\varphi(t_{\lambda})\geq\frac {\lambda_{0}}{\lambda}(t_{\lambda})^{\gamma}\), which in turn yields \(t_{\lambda}\geq(\frac{\lambda_{0}}{\lambda})^{\frac{1}{1\gamma}}\), \(\forall \lambda>\lambda_{0}\). Consequently,
By (2.4), (2.5), and the normality of the cone P,
where N is the normality constant. Let \(\lambda\rightarrow \lambda_{0}+0\), we have \(\ x_{\lambda_{0}}x_{\lambda}\\rightarrow0\). Similarly, let \(\lambda\rightarrow \lambda_{0}0\), we also have \(\x_{\lambda }x_{\lambda_{0}}\\rightarrow0\). So the conclusion (ii) holds.
(iii) Let \(\lambda_{1}=1\), \(\lambda_{2}=\lambda\) in (2.3), we have \(x_{1}\geq \lambda x_{\lambda}\), \(\forall \lambda>1\). Thus, we can easily obtain \(\x_{\lambda}\\leq\frac{N}{\lambda}\x_{1}\\), where N is the normal constant. Let \(\lambda\rightarrow \infty\), then \(\x_{\lambda}\\rightarrow0\). Similarly, let \(\lambda _{1}=\lambda\), \(\lambda_{2}=1 \) in (2.3), then \(x_{\lambda}\geq\frac{1}{\lambda}x_{1}\), \(\forall 0<\lambda<1\). Thus \(\ x_{\lambda}\\geq\frac{1}{N\lambda}\x_{1}\\), where N is the normality constant. Let \(\lambda\rightarrow0+0\), we have \(\ x_{\lambda}\\rightarrow\infty\). □
Remark 2.2
(1) We do not suppose the condition of upperlower solutions which is common in many known results and is difficult to verify. Moreover, we give the iterative forms. The existence of a unique positive solution is proved only in the case where the cone P is normal and the operators A is generalized concave.
(2) The eigenvalue problem for generalized concave operators has not been studied in the literature, so Theorem 2.2 complements the eigenvalue results for generalized concave operators.
3 Properties of positive solutions for problem (1.2)
When \(\lambda=1\) in (1.2), Cabada and Hamdi [10] established the existence of one positive solution for problem (1.2) under sublinear case or superlinear case. The method used there is by GuoKrasnosel’skii fixed point theorem. Different from the main result and the method, we will apply Theorem 2.2 and present some properties of positive solutions for problem (1.2) dependent on the parameter, and the method is also different from those in previous works.
Lemma 3.1
(see [10])
Let \(2<\alpha\leq3\) and \(\alpha\neq\beta\). Assume \(y\in C[0,1]\), then the following fractional differential equation with integral boundary conditions:
has a unique solution \(u\in C^{1}[0,1]\), given by the expression
where
Lemma 3.2
Let \(2<\alpha\leq3\) and \(0<\beta<\alpha\). The function \(G(t,s)\) defined by (3.2) has the following properties:
Proof
Evidently, the right inequality holds. So we only need to prove the left inequality. If \(0\leq s\leq t\leq1\), then we have \(0\leq ts\leq tts=(1s)t\), and thus
Since \(\alpha\beta>0\), we obtain
When \(0 \leq t \leq s \leq1\), from \(\alpha\beta>0\), we have
So the left inequality also holds. □
In the following considerations we will work in the Banach space \(C[0,1]\), the space of all continuous functions on \([0,1]\) with the standard norm \(\x\ = \sup\{x(t):t\in[0,1]\}\). Evidently, this space can be equipped with a partial order given by
Set \(P=\{x\in C[0,1]\mid x(t)\geq0, t\in[0,1]\}\), the standard cone. We know that P is a normal cone in \(C[0,1]\) and the normality constant is 1.
Theorem 3.1
Assume that:
 (H_{1}):

\(f:[0,1]\times[0,+\infty)\rightarrow[0,+\infty)\) is continuous with \(f(t,0)\not\equiv0\);
 (H_{2}):

\(f(t,x)\) is increasing in x for each \(t\in[0,1]\);
 (H_{3}):

for any \(r\in(0,1)\), there exists \(\varphi(r)\in(r,1)\) such that
$$f(t,r x)\geq\varphi(r)f(t,x), \quad \forall t\in[0,1], x\in[0,+\infty). $$
Then the following conclusions hold:

(1)
For any given \(\lambda>0\), problem (1.2) has a unique positive solution \(u^{*}_{\lambda}\) in \(P_{h}\), where \(h(t)=t^{\alpha1}\), \(t\in[0,1]\). Moreover, for any initial value \(u_{0}\in P_{h}\), constructing successively the sequence
$$u_{n}(t)=\lambda \int^{1}_{0}G(t,s)f\bigl(s,u_{n1}(s)\bigr) \, ds,\quad n=1,2,\ldots, $$we have \(u_{n}(t)\rightarrow u^{*}_{\lambda}(t)\) as \(n\rightarrow+\infty\), where \(G(t,s)\) is given as in Lemma 3.1.

(2)
\(u^{*}_{\lambda}\) is strictly increasing in λ, that is, \(0<\lambda_{1}<\lambda_{2}\) implies \(u^{*}_{\lambda_{1}}< u^{*}_{\lambda_{2}}\).

(3)
If there exists \(\gamma\in(0,1)\) such that \(\varphi(t)\geq t^{\gamma}\) for \(t\in(0,1)\), then \(u^{*}_{\lambda}\) is continuous in λ, that is, \(\lambda\rightarrow\lambda_{0}\) (\(\lambda_{0}>0\)) implies \(\u^{*}_{\lambda }u^{*}_{\lambda_{0}}\\rightarrow0\).

(4)
\(\lim_{\lambda\rightarrow0^{+}}\u^{*}_{\lambda}\=0\), \(\lim_{\lambda\rightarrow+\infty}\u^{*}_{\lambda}\=+\infty\).
Proof
For any \(u\in P\), we define an operator A by
where \(G(t,s)\) is given as in Lemma 3.1. From Lemma 3.1, \(u(t)\) is the solution of problem (1.2) if and only if \(u(t)=\lambda Au(t)\). Noting that \(f(t,x)\geq0\) and \(G(t,s)\geq0\), it is easy to check that \(A:P\rightarrow P\). From (H_{1}), (H_{2}), we can easily prove that \(A:P\rightarrow P\) is increasing. In the sequel we check that A satisfies all assumptions of Theorem 2.1.
First of all, we show that A satisfies the second condition of Theorem 2.1. From (H_{3}), for any \(r\in(0,1)\) and \(u\in P\), we obtain
Hence, \(A(r u)\geq\varphi(r)Au\), \(\forall u\in P\), \(r\in(0,1)\).
Next we show that the first condition of Theorem 2.1 also holds. That is, take \(h_{0}=h\), we prove \(Ah\in P_{h}\). On one hand, it follows from (H_{2}) and Lemma 3.2 that
On the other hand, also from (H_{2}) and Lemma 3.2, we obtain
Let
Since \(\alpha\beta>0\), f is continuous and \(f(t,0)\not\equiv0\), we can get \(0< r_{1}\leq r_{2}\). Consequently,
So we have \(r_{1} h\leq Ah\leq r_{2} h\). Hence \(Ah\in P_{h}\). Therefore, by Theorem 2.2, there exists a unique \(u^{*}_{\lambda}\in P_{h}\) such that \(A(u^{*}_{\lambda},u^{*}_{\lambda})=\frac{1}{\lambda}u^{*}_{\lambda}\). That is, \(u^{*}_{\lambda}=\lambda A(u^{*}_{\lambda},u^{*}_{\lambda})\), and then
It is easy to check that \(u^{*}_{\lambda}\) is a unique positive solution of problem (1.2) for given \(\lambda>0\). From Theorem 2.2, \(u^{*}_{\lambda}\) is strictly increasing in λ, that is, \(0<\lambda_{1}<\lambda_{2}\) implies \(u^{*}_{\lambda_{1}}\leq u^{*}_{\lambda_{2}}\), \(u^{*}_{\lambda_{1}}\neq u^{*}_{\lambda_{2}}\). Further, \(\lim_{\lambda\rightarrow0^{+}}\ u^{*}_{\lambda}\=0\), \(\lim_{\lambda\rightarrow\infty}\ u^{*}_{\lambda}\=\infty\). Moreover, if there exists \(\gamma\in(0,1)\) such that \(\varphi(t)\geq t^{\gamma}\) for \(t\in(0,1)\), Theorem 2.2 means that \(u^{*}_{\lambda}\) is continuous in λ, that is, \(\lambda\rightarrow\lambda_{0}\) (\(\lambda_{0}>0\)) implies \(\ u^{*}_{\lambda}u^{*}_{\lambda_{0}}\\rightarrow0\).
Let \(A_{\lambda}=\lambda A\), then \(A_{\lambda}\) also satisfies all the conditions of Theorem 2.1. By Theorem 2.1, for any initial value \(u_{0}\in P_{h}\), constructing successively the sequence \(u_{n}=A_{\lambda}u_{n1}\), \(n=1,2,\ldots\) , we have \(u_{n}\rightarrow u^{*}_{\lambda}\) as \(n\rightarrow\infty\). That is,
and \(u_{n}(t)\rightarrow u^{*}_{\lambda}(t)\) as \(n\rightarrow+\infty\). □
In Theorem 3.1, let \(\lambda=1\), we can easily obtain the following conclusions.
Corollary 3.2
Assume (H_{1})(H_{3}) hold. Then the following RiemannLiouville fractional differential equation with integral boundary conditions
where \(2<\alpha\leq3\), \(0<\beta<\alpha\), has a unique positive solution \(u^{*}\) in \(P_{h}\), where \(h(t)=t^{\alpha1}\), \(t\in[0,1]\). Moreover, for any initial value \(u_{0}\in P_{h}\), constructing successively the sequence
we have \(u_{n}(t)\rightarrow u^{*}(t)\) as \(n\rightarrow+\infty\), where \(G(t,s)\) is given as in Lemma 3.1.
Remark 3.1
Comparing Theorem 3.1 and Corollary 3.2 with many main results in the literature, here we present an alternative approach to the study of similar problems under different conditions. Our results cannot only guarantee the existence of a unique positive solution for any given parameter, but they also help to construct an iterative scheme for approximating it. Moreover, we can show that the positive solution with respect to the parameter has some definite properties. So our results are seldom seen in the literature.
Remark 3.2
(1) We can see that there is a large number of functions which satisfy the conditions of Theorem 3.1 or Corollary 3.2. For example, let \(f(t,x)=a(t)[x^{\frac{1}{3}}+b]\), where \(a:[0,1]\rightarrow[0,+\infty)\) is continuous with \(a(t)\not\equiv0\), \(b>0\). Take \(\varphi(r)=r^{\frac{1}{3}}\). Also let \(f(t,x)=g(t)+x^{\frac{1}{2}}+x^{\frac{1}{3}}+\cdots+x^{\frac{1}{n}}+b\), where \(g:[0,1]\rightarrow [0,+\infty)\) is continuous, \(n\geq2\), \(b>0\). Take \(\varphi(r)=r^{\frac{1}{2}}\). We can easily prove that (H_{1})(H_{3}) in Theorem 3.1 hold.
(2) If the Green functions satisfy some properties similar to Lemma 3.2, then Theorems 2.1 and 2.2 can be applied to many fractional differential equations boundary value problems.
References
Ahmad, B, Sivasundaram, S: Existence of solutions for impulsive integral boundary value problems of fractional order. Nonlinear Anal. Hybrid Syst. 4, 134141 (2010)
Feng, M, Zhang, X, Ge, W: New existence results for higherorder nonlinear fractional differential equation with integral boundary conditions. Bound. Value Probl. 2011, Article ID 720702 (2011)
Salem, HAH: Fractional order boundary value problem with integral boundary conditions involving Pettis integral. Acta Math. Sci., Ser. B, Engl. Ed. 31(2), 661672 (2011)
Cabada, A, Wang, G: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 389, 403411 (2012)
Caballero, J, Cabrera, I, Sadarangani, K: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. Abstr. Appl. Anal. 2012, Article ID 303545 (2012)
Li, S, Zhang, X, Wu, Y, Caccetta, L: Extremal solutions for pLaplacian differential systems via iterative computation. Appl. Math. Lett. 26, 11511158 (2013)
Sun, Y, Zhao, M: Positive solutions for a class of fractional differential equations with integral boundary conditions. Appl. Math. Lett. 34, 1721 (2014)
Zhao, X, Chai, C, Ge, W: Existence and nonexistence results for a class of fractional boundary value problems. J. Appl. Math. Comput. 41, 1731 (2013)
Zhang, X, Wang, L, Sun, Q: Existence of positive solutions for a class of nonlinear fractional differential equations with integral boundary conditions and a parameter. Appl. Math. Comput. 226, 708718 (2014)
Cabada, A, Hamdi, Z: Nonlinear fractional differential equations with integral boundary value conditions. Appl. Math. Comput. 228, 251257 (2014)
Jiang, M, Zhong, S: Successively iterative method for fractional differential equations with integral boundary conditions. Appl. Math. Lett. 38, 9499 (2014)
Zhang, X, Wang, L, Sun, Q: Existence of positive solutions for a class of nonlinear fractional differential equations with integral boundary conditions and a parameter. Appl. Math. Comput. 226, 708718 (2014)
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988)
Krasnoselskii, MA: Positive Solutions of Operator Equations. Noordhoff, Groningen (1964)
Podlubny, I: Fractional Differential Equations. Mathematics in Science and Engineering. Academic Press, New York (1999)
Zhai, C, Yang, C, Zhang, X: Positive solutions for nonlinear operator equations and several classes of applications. Math. Z. 266, 4363 (2010)
Acknowledgements
The research was supported by the Youth Science Foundation of China (11201272) and Shanxi Province Science Foundation (2015011005), 131 Talents Project of Shanxi Province (2015).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors declare that the study was realized in collaboration with the same responsibilities. 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
Zhai, C., Wang, F. Properties of positive solutions for the operator equation \(Ax=\lambda x\) and applications to fractional differential equations with integral boundary conditions. Adv Differ Equ 2015, 366 (2015). https://doi.org/10.1186/s1366201507043
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201507043