 Research Article
 Open Access
 Published:
Existence results for fractional differential inclusions arising from real estate asset securitization and HIV models
Advances in Difference Equations volume 2013, Article number: 216 (2013)
Abstract
This paper studies a new class of boundary value problems of nonlinear differential inclusions with RiemannLiouville integral boundary conditions arising from real estate asset securitization and HIV models. Some new existence results are obtained by using standard fixed point theorems when the righthand side of the inclusion has convex as well as nonconvex values. Some illustrative examples are also discussed.
MSC:34A60, 34A08.
1 Introduction
In this paper, we study the following boundary value problem:
where {D}^{\alpha} is the standard RiemannLiouville fractional derivative of order 2<\alpha \le 3, 0<\beta <1, \alpha \beta >2, F:[0,1]\times \mathbb{R}\times \mathbb{R}\to \mathcal{P}(\mathbb{R}) is a multivalued map, \mathcal{P}(\mathbb{R}) is the family of all subsets of ℝ, {\int}_{0}^{1}{D}^{\beta}x(s)\phantom{\rule{0.2em}{0ex}}dA(s) denotes the RiemannStieltjes integral, and A is a function of bounded variation.
The subject of fractional differential equations has evolved as an interesting and important field of research in view of its numerous applications in physics, mechanics, chemistry, engineering (like traffic, transportation, logistics etc.), and so forth [1–3]. The tools of fractional calculus have played a key role in improving the mathematical modeling of many real world processes based on classical calculus. The nonlocal characteristic of a fractional order differential operator distinguishes it from a classical integerorder differential operator. In fact, differential equations of arbitrary order are capable of describing memory and hereditary properties of some important and useful materials and processes. For some recent development on the topic, see [4–19] and the references cited therein.
On the other hand, the nonlocal condition given by a RiemannStieltjes integral is due to Webb and Infante in [20] and gives a unified approach to many BVPs. Since {\int}_{0}^{1}{D}^{\beta}x(s)\phantom{\rule{0.2em}{0ex}}dA(s) covers a multipoint BVP and an integral BVP as special cases, the fractional differential equations with the RiemannStieltjes integral condition were extensively studied by many authors, see [21, 22].
The problems of type (1.1) are referred to as semipositone problems that arise naturally in chemical reactor theory in the literature [23]. Recently, by SWOT analysis method, one has found that many mathematical models arising from real estate asset securitization can be interpreted by fractionalorder differential or difference equations under suitable initial conditions or boundary conditions. The existence and uniqueness of solution of the fractionalorder mechanical model are important and useful. Especially, by examining the numerical simulation and analysis of solution, one can undertake macroscopical analysis and comparative research into advantages and disadvantages of real estate securitization process and find that there may exist problems and risks with real estate asset securitization, and then one can put forward optimizing the views on traditional risk control process. In recent years, fractionalorder models have been proved to be more accurate than integer order models, i.e., there are more degrees of freedom in the fractionalorder models. Tao and Qian [24] discussed the existence and uniqueness of positive solutions for the following differential equation with nonlocal RiemannStieltjes integral condition arising from the real estate asset securitization:
Mathematical models have been proven valuable in understanding the dynamics of HIV infection [25–27]. Recently Perelson [28] introduced fractional order into a model of HIV infection. Motivated by these HIV models, Yang [29] considered the existence of nontrivial solution for the fractional differential system
where λ is a parameter, 1<\gamma <\alpha \le 2, 1<\alpha \beta <\gamma, 0<\beta <1 and A, B are functions of bounded variation.
In the present paper, we are motivated by some recent papers [18, 24, 29], which considered problem (1.1) with F being singlevalued and provided results on the existence and nonexistence of positive solutions. Here we extend the results to cover the multivalued case.
We establish existence results for problem (1.1), when the righthand side is convex as well as nonconvex valued. The first result relies on the nonlinear alternative of LeraySchauder type. In the second result, we shall combine the nonlinear alternative of LeraySchauder type for singlevalued maps with a selection theorem due to Bressan and Colombo for lower semicontinuous multivalued maps with nonempty closed and decomposable values; while in the third result, we shall use the fixed point theorem for contraction multivalued maps due to Covitz and Nadler.
The paper is organized as follows. In Section 2 we recall some preliminary facts that we need in the sequel, and in Section 3 we prove our main results. Examples illustrating the obtained results are presented in Section 4.
2 Preliminaries
In this section, we introduce notations, definitions and preliminary facts that will be used in the remainder of this paper.
Let C([0,1]) denote a Banach space of continuous functions from [0,1] into ℝ with the norm \parallel x\parallel ={sup}_{t\in [0,1]}x(t). Let {L}^{1}([0,1],\mathbb{R}) be the Banach space of measurable functions x:[0,1]\to \mathbb{R} which are Lebesgue integrable and normed by {\parallel x\parallel}_{{L}^{1}}={\int}_{0}^{1}x(t)\phantom{\rule{0.2em}{0ex}}dt.
For a normed space (X,\parallel \cdot \parallel ), let
Let A,B\in {\mathcal{P}}_{cl}(X). The PompeiuHausdorff distance of A, B is defined by
where d(A,b)={inf}_{a\in A}d(a;b) and d(a,B)={inf}_{b\in B}d(a;b).
A multivalued map G:X\to \mathcal{P}(X):

(i)
is convex (closed) valued if G(x) is convex (closed) for all x\in X;

(ii)
is bounded on bounded sets if G(\mathbb{B})={\bigcup}_{x\in \mathbb{B}}G(x) is bounded in X for all \mathbb{B}\in {\mathcal{P}}_{b}(X) (i.e., {sup}_{x\in \mathbb{B}}\{sup\{y:y\in G(x)\}\}<\mathrm{\infty});

(iii)
is called upper semicontinuous (u.s.c.) on X if, for each {x}_{0}\in X, the set G({x}_{0}) is a nonempty closed subset of X, and if, for each open set N of X containing G({x}_{0}), there exists an open neighborhood {\mathcal{N}}_{0} of {x}_{0} such that G({\mathcal{N}}_{0})\subseteq N;

(iv)
G is lower semicontinuous (l.s.c.) if the set \{y\in X:G(y)\cap B\ne \mathrm{\varnothing}\} is open for any open set B in E;

(v)
is said to be completely continuous if G(\mathbb{B}) is relatively compact for every \mathbb{B}\in {\mathcal{P}}_{b}(X);

(vi)
is said to be measurable if, for every y\in \mathbb{R}, the function
t\mapsto d(y,G(t))=inf\{yz:z\in G(t)\}
is measurable;

(vii)
has a fixed point if there is x\in X such that x\in G(x). The fixed point set of the multivalued operator G will be denoted by FixG.
Definition 2.1 A multivalued operator N:X\to {\mathcal{P}}_{cl}(X) is called:

(a)
γLipschitz if and only if there exists \gamma >0 such that
{H}_{d}(N(x),N(y))\le \gamma d(x,y)\phantom{\rule{1em}{0ex}}\text{for each}x,y\in X; 
(b)
a contraction if and only if it is γLipschitz with \gamma <1.
Definition 2.2 A multivalued map F:[0,1]\times \mathbb{R}\to \mathcal{P}(\mathbb{R}) is said to be Carathéodory if

(i)
t\mapsto F(t,x) is measurable for each x\in \mathbb{R};

(ii)
x\mapsto F(t,x) is upper semicontinuous for almost all t\in [0,1].
Further, a Carathéodory function F is called {L}^{1}Carathéodory if

(iii)
for each \alpha >0, there exists {\phi}_{\alpha}\in {L}^{1}([0,1],{\mathbb{R}}^{+}) such that
\parallel F(t,x)\parallel =sup\{v:v\in F(t,x)\}\le {\phi}_{\alpha}(t)
for all \parallel x\parallel \le \alpha and for a.e. t\in [0,1].
For each x\in C([0,1],\mathbb{R}), define the set of selections of F by
We define the graph of G to be the set Gr(G)=\{(x,y)\in X\times Y,y\in G(x)\} and recall two useful results regarding closed graphs and uppersemicontinuity.
Lemma 2.3 [[30], Proposition 1.2]
If G:X\to {\mathcal{P}}_{cl}(Y) is u.s.c., then Gr(G) is a closed subset of X\times Y; i.e., for every sequence {\{{x}_{n}\}}_{n\in \mathbb{N}}\subset X and {\{{y}_{n}\}}_{n\in \mathbb{N}}\subset Y, if when n\to \mathrm{\infty}, {x}_{n}\to {x}_{\ast}, {y}_{n}\to {y}_{\ast} and {y}_{n}\in G({x}_{n}), then {y}_{\ast}\in G({x}_{\ast}). Conversely, if G is completely continuous and has a closed graph, then it is upper semicontinuous.
Lemma 2.4 [31]
Let X be a Banach space. Let F:[0,T]\times \mathbb{R}\to {\mathcal{P}}_{cp,c}(X) be an {L}^{1}Carathéodory multivalued map and let Θ be a linear continuous mapping from {L}^{1}([0,1],X) to C([0,1],X). Then the operator
is a closed graph operator in C([0,1],X)\times C([0,1],X).
Let us recall some basic definitions of fractional calculus [1, 2].
Definition 2.5 The RiemannLiouville derivative of fractional order q is defined as
provided the integral exists, where [q] denotes the integer part of the real number q.
Definition 2.6 The RiemannLiouville fractional integral of order q is defined as
provided the integral exists.
Lemma 2.7 [2]
For q>0, the general solution of the fractional differential equation {D}_{0+}^{q}x(t)=0 is given by
where {c}_{i}\in \mathbb{R}, i=1,2,\dots ,n (n=[q]+1).
Lemma 2.8 [2]

(1)
If x\in {L}^{1}(0,1), \nu >\sigma >0, then
{I}^{\nu}{I}^{\sigma}x(t)={I}^{\nu +\sigma}x(t),\phantom{\rule{2em}{0ex}}{D}^{\sigma}{I}^{\sigma}x(t)={I}^{\nu \sigma}x(t),\phantom{\rule{2em}{0ex}}{D}^{\sigma}{I}^{\sigma}x(t)=x(t).(2.1) 
(2)
If \nu >0, \sigma >0, then
{D}^{\nu}{t}^{\sigma 1}=\frac{\mathrm{\Gamma}(\sigma )}{\mathrm{\Gamma}(\sigma \nu )}{t}^{\sigma \nu 1}.(2.2)
In view of Lemma 2.7, it follows that
for some {c}_{i}\in \mathbb{R}, i=1,2,\dots ,n (n=[q]+1).
Let x(t)={I}^{\beta}y(t), y(t)\in C[0,1]. By standard discussion, one can easily reduce BVP (1.1) to the following modified problem:
and BVP (2.4) is equivalent to BVP (1.1).
Lemma 2.9 [19]
Given y\in {L}^{1}([0,1],\mathbb{R}), then the unique solution of the problem
is given by
where G(t,s) is the Green function of BVP (2.5) and is given by
Lemma 2.10 For any t,s\in [0,1], G(t,s) satisfies
By Lemma 2.9, the unique solution of the problem
is {t}^{\alpha \beta 1}. Let
and define
as in [19], we can get that the Green function for BVP (2.4) is given by
Throughout the paper we always assume that the following holds.
({\mathrm{H}}_{0}) A is an increasing function of bounded variation such that \mathcal{G}(s)\ge 0 for s\in [0,1] and 0\le \mathcal{C}<1, where is defined by (2.9).
Lemma 2.11 [21]
Let 1<\alpha \beta \le 2. Assume that ({\mathrm{H}}_{0}) holds. Then H(t,s) satisfies
We end this section by recalling two wellknown fixed point theorems which will be used in the sequel, the nonlinear alternative of LeraySchauder for multivalued maps and Covitz and Nadler fixed point theorem.
Lemma 2.12 (Nonlinear alternative for Kakutani maps) [32]
Let E be a Banach space, let C be a closed convex subset of E, U be an open subset of C and 0\in U. Suppose that F:\overline{U}\to {\mathcal{P}}_{c,cv}(C) is an upper semicontinuous compact map. Then either

(i)
F has a fixed point in \overline{U}, or

(ii)
there is a u\in \partial U and \lambda \in (0,1) with u\in \lambda F(u).
Lemma 2.13 [33]
Let (X,d) be a complete metric space. If N:X\to {\mathcal{P}}_{cl}(X) is a contraction, then FixN\ne \mathrm{\varnothing}.
3 Existence results
Now we are in a position to present our main results. The methods used to prove the existence results are standard; however, their exposition in the framework of problem (1.1) is new.
3.1 Convex case
Theorem 3.1 Assume that ({\mathrm{H}}_{0}) holds. In addition we assume that:
({\mathrm{H}}_{1}) F:[0,1]\times \mathbb{R}\times \mathbb{R}\to \mathcal{P}(\mathbb{R}) is Carathéodory and has nonempty compact and convex values;
({\mathrm{H}}_{2}) there exist two continuous nondecreasing functions {\psi}_{i}:[0,\mathrm{\infty})\to (0,\mathrm{\infty}), i=1,2, and a function p\in {L}^{1}([0,1],{\mathbb{R}}^{+}) such that
for each (t,x,y)\in [0,1]\times \mathbb{R}\times \mathbb{R};
({\mathrm{H}}_{3}) there exists a constant M>0 such that
Then boundary value problem (1.1) has at least one solution on [0,1].
Proof Define the operator {\mathrm{\Omega}}_{F}:C([0,1],\mathbb{R})\to \mathcal{P}(C([0,1],\mathbb{R})) by
We will show that {\mathrm{\Omega}}_{F} satisfies the assumptions of the nonlinear alternative of LeraySchauder type. The proof consists of several steps. As the first step, we show that {\mathrm{\Omega}}_{F} is convex for each x\in C([0,1],\mathbb{R}). This step is obvious since {S}_{F,x,y} is convex (F has convex values), and therefore we omit the proof.
In the second step, we show that {\mathrm{\Omega}}_{F} maps bounded sets (balls) into bounded sets in C([0,1],\mathbb{R}). For a positive number ρ, let {B}_{\rho}=\{x\in C([0,1],\mathbb{R}):\parallel x\parallel \le \rho \} be a bounded ball in C([0,1],\mathbb{R}). Then, for each h\in {\mathrm{\Omega}}_{F}(x), x\in {B}_{\rho}, there exists v\in {S}_{F,x,y} such that
Then for t\in [0,1], and notice that
we have
Thus,
Now we show that {\mathrm{\Omega}}_{F} maps bounded sets into equicontinuous sets of C([0,1],\mathbb{R}). Let {t}^{\prime},{t}^{\u2033}\in [0,1] with {t}^{\prime}<{t}^{\u2033} and y\in {B}_{\rho}. For each h\in {\mathrm{\Omega}}_{F}(y), we obtain
Obviously the righthand side of the above inequality tends to zero independently of y\in {B}_{\rho} as {t}^{\u2033}{t}^{\prime}\to 0. As {\mathrm{\Omega}}_{F} satisfies the above three assumptions, it follows by the ArzeláAscoli theorem that {\mathrm{\Omega}}_{F}:C([0,1],\mathbb{R})\to \mathcal{P}(C([0,1],\mathbb{R})) is completely continuous.
In our next step, we show that {\mathrm{\Omega}}_{F} has a closed graph. Let {y}_{n}\to {y}_{\ast}, {h}_{n}\in {\mathrm{\Omega}}_{F}({y}_{n}) and {h}_{n}\to {h}_{\ast}. Then we need to show that {h}_{\ast}\in {\mathrm{\Omega}}_{F}({y}_{\ast}). Associated with {h}_{n}\in {\mathrm{\Omega}}_{F}({y}_{n}), there exists {v}_{n}\in {S}_{F,{y}_{n}} such that for each t\in [0,1],
Thus it suffices to show that there exists {v}_{\ast}\in {S}_{F,{y}_{\ast}} such that for each t\in [0,1],
Let us consider the linear operator \mathrm{\Theta}:{L}^{1}([0,1],\mathbb{R})\to C([0,1],\mathbb{R}) given by
Observe that
Thus, it follows by Lemma 2.4 that \mathrm{\Theta}\circ {S}_{F} is a closed graph operator. Further, we have {h}_{n}(t)\in \mathrm{\Theta}({S}_{F,{y}_{n}}). Since {y}_{n}\to {y}_{\ast}, therefore, we have
for some {v}_{\ast}\in {S}_{F,{y}_{\ast}}.
Finally, we show that there exists an open set U\subseteq C([0,1],\mathbb{R}) with y\notin {\mathrm{\Omega}}_{F}(y) for any \lambda \in (0,1) and all y\in \partial U. Let \lambda \in (0,1) and y\in \lambda {\mathrm{\Omega}}_{F}(y). Then there exists v\in {L}^{1}([0,1],\mathbb{R}) with v\in {S}_{F,y} such that, for t\in [0,1], we have
and, using the computations of the second step above, we have
Consequently, we have
In view of ({\mathrm{H}}_{3}), there exists M such that \parallel y\parallel \ne M. Let us set
Note that the operator {\mathrm{\Omega}}_{F}:\overline{U}\to \mathcal{P}(C([0,1],\mathbb{R})) is upper semicontinuous and completely continuous. From the choice of U, there is no y\in \partial U such that y\in \lambda {\mathrm{\Omega}}_{F}(y) for some \lambda \in (0,1). Consequently, by the nonlinear alternative of LeraySchauder type (Lemma 2.12), we deduce that {\mathrm{\Omega}}_{F} has a fixed point y\in \overline{U}, which is a solution of problem (1.1). This completes the proof. □
3.2 Nonconvex case
In this subsection, we study the case when F is not necessarily convexvalued.
Definition 3.2 Let A be a subset of [0,1]\times \mathbb{R}. A is \mathcal{L}\otimes \mathcal{B} measurable if A belongs to the σalgebra generated by all sets of the form \mathcal{J}\times \mathcal{D}, where is Lebesgue measurable in [0,1] and is Borel measurable in ℝ.
Definition 3.3 A subset of {L}^{1}([0,1],\mathbb{R}) is decomposable if, for all u,v\in \mathcal{A} and measurable \mathcal{J}\subset [0,1]=J, the function u{\chi}_{\mathcal{J}}+v{\chi}_{J\mathcal{J}}\in \mathcal{A}, where {\chi}_{\mathcal{J}} stands for the characteristic function of .
Theorem 3.4 Assume that ({\mathrm{H}}_{0}), ({\mathrm{H}}_{2}), ({\mathrm{H}}_{3}) and the following condition holds:
({\mathrm{H}}_{4}) F:[0,1]\times \mathbb{R}\times \mathbb{R}\to \mathcal{P}(\mathbb{R}) is a nonempty compactvalued multivalued map such that

(a)
(t,x,y)\mapsto F(t,x,y) is \mathcal{L}\otimes \mathcal{B}\otimes \mathcal{B} measurable,

(b)
(x,y)\mapsto F(t,x,y) is lower semicontinuous for each t\in [0,1].
Then boundary value problem (1.1) has at least one solution on [0,1].
Proof It follows from ({\mathrm{H}}_{2}), ({\mathrm{H}}_{4}) and Lemma 4.1 of [34] that F is of l.s.c. type. Then, from the selection theorem due to Bressan and Colombo [35] for lower semicontinuous maps with decomposable values, there exists a continuous function f:A{C}^{2}([0,1],\mathbb{R})\to {L}^{1}([0,1],\mathbb{R}) such that f(x)\in \mathcal{F}(x) for all x\in C([0,1],\mathbb{R}).
Consider the problem
Observe that if x\in A{C}^{2}([0,1],\mathbb{R}) is a solution of (3.1), then x is a solution to problem (1.1). In order to transform problem (3.1) into a fixed point problem, we define the operator {\overline{\mathrm{\Omega}}}_{F} as
It can easily be shown that {\overline{\mathrm{\Omega}}}_{F} is continuous and completely continuous and satisfies all the conditions of the nonlinear alternative of LeraySchauder type for singlevalued maps [32]. The remaining part of the proof is similar to that of Theorem 3.1. So we omit it. This completes the proof. □
Now we prove our second existence result for problem (1.1) with a nonconvexvalued righthand side by applying a fixed point theorem for a multivalued map due to Covitz and Nadler [33].
Theorem 3.5 Assume that the following conditions hold:
({\mathrm{H}}_{5}) F:[0,1]\times \mathbb{R}\times \mathbb{R}\to {\mathcal{P}}_{cp}(\mathbb{R}) is such that F(\cdot ,x,y):[0,1]\to {\mathcal{P}}_{cp}(\mathbb{R}) is measurable for each x\in \mathbb{R};
({\mathrm{H}}_{6}) {H}_{d}(F(t,x,y),F(t,\overline{x},\overline{y}))\le m(t)(x\overline{x}+y\overline{y}) for almost all t\in [0,1] and x,\overline{x},y,\overline{y}\in \mathbb{R} with m\in {L}^{1}([0,1],{\mathbb{R}}^{+}) and d(0,F(t,0,0))\le m(t) for almost all t\in [0,1].
Then boundary value problem (1.1) has at least one solution on [0,1] if
Proof We transform boundary value problem (1.1) into a fixed point problem. Define the operator {\mathrm{\Omega}}_{F}:C([0,1],\mathbb{R})\to \mathcal{P}(C([0,1],\mathbb{R})) by
We show that the operator {\mathrm{\Omega}}_{F} satisfies the assumptions of Lemma 2.13. The proof will be given in two steps.
Step 1. {\mathrm{\Omega}}_{F}(x) is nonempty and closed for every v\in {S}_{F,x}. Note that since the setvalued map F(\cdot ,x(\cdot ),y(\cdot )) is measurable with the measurable selection theorem (e.g., [[36], Theorem III.6]), it admits a measurable selection v:I\to \mathbb{R}. Moreover, by the assumption ({\mathrm{H}}_{5}), we have
i.e., v\in {L}^{1}([0,1],\mathbb{R}) and hence F is integrably bounded. Therefore, {S}_{F,y}\ne \mathrm{\varnothing}.
To show that {\mathrm{\Omega}}_{F}(x)\in {\mathcal{P}}_{cl}((C[0,1],\mathbb{R})) for each x\in C([0,1],\mathbb{R}), let {\{{u}_{n}\}}_{n\ge 0}\in {\mathrm{\Omega}}_{F}(x) be such that {u}_{n}\to u (n\to \mathrm{\infty}) in C([0,1],\mathbb{R}). Then u\in C([0,1],\mathbb{R}) and there exists {v}_{n}\in {S}_{F,{x}_{n}} such that, for each t\in [0,1],
As F has compact values, we pass onto a subsequence (if necessary) to obtain that {v}_{n} converges to v in {L}^{1}([0,1],\mathbb{R}). Thus, v\in {S}_{F,y} and for each t\in [0,1], we have
Hence, u\in {\mathrm{\Omega}}_{F}(x).
Step 2. The multivalued map {\mathrm{\Omega}}_{F}(x) is a contraction. We show that there exists \delta <1 such that
Let x,\overline{x}\in A{C}^{1}([0,1],\mathbb{R}) and {h}_{1}\in {\mathrm{\Omega}}_{F}(x). Then there exists {v}_{1}(t)\in F(t,y(t)) such that, for each t\in [0,1],
By ({\mathrm{H}}_{6}), we have
So, there exists w(t)\in F(t,\overline{x}(t),\overline{y}(t)) such that
Define U:[0,1]\to \mathcal{P}(\mathbb{R}) by
Since the multivalued operator U(t)\cap F(t,\overline{x}(t),\overline{y}(t)) is measurable (Proposition III.4 in [36]), there exists a function {v}_{2}(t) which is a measurable selection for U. So, {v}_{2}(t)\in F(t,\overline{x}(t),\overline{y}(t)) and for each t\in [0,1], we have {v}_{1}(t){v}_{2}(t)\le m(t)(x(t)\overline{x}(t)+y(t)\overline{y}(t)).
For each t\in [0,1], let us define
Thus,
Hence,
Analogously, interchanging the roles of x and \overline{x}, we obtain
Since {\mathrm{\Omega}}_{F} is a contraction, it follows by Lemma 2.13 that {\mathrm{\Omega}}_{F} has a fixed point x which is a solution of (1.1). This completes the proof. □
4 Examples
In this section, we give two examples to show the applicability of our results.
Example 4.1 Consider the following fractional boundary value problem:
where
and F:[0,1]\times \mathbb{R}\times \mathbb{R}\to \mathcal{P}(\mathbb{R}) is a multivalued map given by
Thus BVP (4.1) becomes the fourpoint BVP
We have
and
Thus {\mathcal{G}}_{A}(s)\ge 0, 0\le \mathcal{C}<1 and A(s) is increasing, so ({\mathrm{H}}_{0}) holds.
Moreover,
It is clear that F is convex, compactvalued and is of Carathéodory type. Let p(t)=1 and {\psi}_{1}(x)=3, {\psi}_{2}(y)=10, we get for t\in [0,1], x,y\in \mathbb{R}
and hence ({\mathrm{H}}_{2}) holds.
Using the above values in the condition ({\mathrm{H}}_{3})
we find that
Clearly, all the conditions of Theorem 3.1 are satisfied. Hence the conclusion of Theorem 3.1 applies to problem (4.1).
Example 4.2 Consider the following fractional boundary value problem:
where A(t) as in Example 4.1 and
and {\ell}_{1},{\ell}_{2}\in {L}^{1}([0,1],{\mathbb{R}}^{+}).
Then we have
Let m(t)=\frac{1}{{(4+t)}^{2}}+\frac{1}{32}. Then
and
Hence all the assumptions of Theorem 3.5 are satisfied and by the conclusion of it, BVP (4.3) has at least one solution on [0,1].
Authors’ information
Sotiris K Ntouyas is a member of Nonlinear Analysis and Applied Mathematics (NAAM)  Research Group at King Abdulaziz University, Jeddah, Saudi Arabia.
References
 1.
Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.
 2.
Kilbas AA, Srivastava HM, Trujillo JJ NorthHolland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.
 3.
Baleanu D, Diethelm K, Scalas E, Trujillo JJ Series on Complexity, Nonlinearity and Chaos. In Fractional Calculus Models and Numerical Methods. World Scientific, Boston; 2012.
 4.
Agarwal RP, Andrade B, Cuevas C: Weighted pseudoalmost periodic solutions of a class of semilinear fractional differential equations. Nonlinear Anal., Real World Appl. 2010, 11: 35323554. 10.1016/j.nonrwa.2010.01.002
 5.
Ahmad B, Nieto JJ: Existence results for nonlinear boundary value problems of fractional integrodifferential equations with integral boundary conditions. Bound. Value Probl. 2009., 2009: Article ID 708576
 6.
Ahmad B, Ntouyas SK: Fractional differential inclusions with fractional separated boundary conditions. Fract. Calc. Appl. Anal. 2012, 15: 362382.
 7.
Ahmad B, Ntouyas SK, Alsaedi A: A nonlocal threepoint inclusion problem of Langevin equation with two different fractional orders. Adv. Differ. Equ. 2012., 2012: Article ID 54
 8.
Ahmad B, Ntouyas SK: Existence results for higher order fractional differential inclusions with multistrip fractional integral boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2013., 2013: Article ID 20
 9.
Ahmad B, Ntouyas SK, Alsaedi A: On fractional differential inclusions with antiperiodic type integral boundary conditions. Bound. Value Probl. 2013., 2013: Article ID 82
 10.
Ahmad B, Ntouyas SK, Alsaedi A: A study of nonlinear fractional differential equations of arbitrary order with RiemannLiouville type multistrip boundary conditions. Math. Probl. Eng. 2013., 2013: Article ID 320415
 11.
Bai ZB: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal. 2010, 72: 916924. 10.1016/j.na.2009.07.033
 12.
Balachandran K, Trujillo JJ: The nonlocal Cauchy problem for nonlinear fractional integrodifferential equations in Banach spaces. Nonlinear Anal. 2010, 72: 45874593. 10.1016/j.na.2010.02.035
 13.
Baleanu D, Mustafa OG: On the global existence of solutions to a class of fractional differential equations. Comput. Math. Appl. 2010, 59: 18351841. 10.1016/j.camwa.2009.08.028
 14.
Baleanu D, Mustafa OG, O’Regan D: A Nagumolike uniqueness theorem for fractional differential equations. J. Phys. A, Math. Theor. 2011., 44(39): Article ID 392003
 15.
ElShahed M, Shammakh WM: Multiple positive solutions for nonlinear fractional eigenvalue problem with non local conditions. Fract. Calc. Appl. Anal. 2012, 3: 113.
 16.
Nyamoradi N, Baleanu D, Agarwal RP: On a multipoint boundary value problem for a fractional order differential inclusion on an interval. Adv. Math. Phys. 2013., 2013: Article ID 823961
 17.
Razminia A, Baleanu D, Majd VJ: Conditional optimization problems: fractional order case. J. Optim. Theory Appl. 2013, 156: 4555. 10.1007/s1095701202116
 18.
Wang W, Huang L: Existence of positive solution for semipositone fractional differential equations involving RiemannStieltjes integral conditions. Abstr. Appl. Anal. 2012., 2012: Article ID 723507
 19.
Zhang X, Liu L: Positive solutions of superlinear semipositone singular Dirichlet boundary value problems. J. Math. Anal. Appl. 2006, 316: 525537. 10.1016/j.jmaa.2005.04.081
 20.
Webb JRL, Infante G: Positive solutions of nonlocal boundary value problems involving integral conditions. NoDEA Nonlinear Differ. Equ. Appl. 2008, 15: 4567. 10.1007/s0003000740677
 21.
Wang Y, Liu L, Wu Y: Positive solutions for a nonlocal fractional differential equation. Nonlinear Anal. 2011, 74: 35993605. 10.1016/j.na.2011.02.043
 22.
Zhang X, Han Y: Existence and uniqueness of positive solutions for higher order nonlocal fractional differential equations. Appl. Math. Lett. 2012, 25: 555560. 10.1016/j.aml.2011.09.058
 23.
Aris R: Introduction to the Analysis of Chemical Reactors. Prentice Hall, Englewood Cliffs; 1965.
 24.
Tao H, Fu M, Qian R: Positive solutions for fractional differential equations from real estate asset securitization via new fixed point theorem. Abstr. Appl. Anal. 2012., 2012: Article ID 842358
 25.
Merdan M, Khan T: Homotopy perturbation method for solving viral dynamical model. Fen Bilimleri Dergisi 2010, 31: 6577.
 26.
Petrovic L, Spasic D, Atanackovic TM: On a mathematical model of a human root dentin. Dent. Mater. 2005, 21: 125128. 10.1016/j.dental.2004.01.004
 27.
Tuckwell C, Frederic Y: On the behavior of solutions in viral dynamical models. Biosystems 2004, 73: 157161. 10.1016/j.biosystems.2003.11.004
 28.
Perelson A: Modeling the interaction of the immune system with HIV. Lecture Notes in Biomathematics 83. In Mathematical and Statistical Approaches to AIDS Epidemiology. Edited by: CastilloChavez C. Springer, New York; 1989:350.
 29.
Yang G: Nontrivial solution of fractional differential system involving RiemannStieltjes integral condition. Abstr. Appl. Anal. 2012., 2012: Article ID 719192
 30.
Deimling K: Multivalued Differential Equations. de Gruyter, Berlin; 1992.
 31.
Lasota A, Opial Z: An application of the KakutaniKy Fan theorem in the theory of ordinary differential equations. Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 1965, 13: 781786.
 32.
Granas A, Dugundji J: Fixed Point Theory. Springer, New York; 2005.
 33.
Covitz H, Nadler SB Jr.: Multivalued contraction mappings in generalized metric spaces. Isr. J. Math. 1970, 8: 511. 10.1007/BF02771543
 34.
Frigon M: Théorèmes d’existence de solutions d’inclusions différentielles. NATO ASI Series C 472. In Topological Methods in Differential Equations and Inclusions. Edited by: Granas A, Frigon M. Kluwer Academic, Dordrecht; 1995:5187.
 35.
Bressan A, Colombo G: Extensions and selections of maps with decomposable values. Stud. Math. 1988, 90: 6986.
 36.
Castaing C, Valadier M Lecture Notes in Mathematics 580. In Convex Analysis and Measurable Multifunctions. Springer, Berlin; 1977.
Acknowledgements
The authors thank the reviewers for their useful comments. This paper was partially supported by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Each of the authors, BA and SKN, contributed to each part of this work equally and read and approved the final version of the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Ahmad, B., Ntouyas, S.K. Existence results for fractional differential inclusions arising from real estate asset securitization and HIV models. Adv Differ Equ 2013, 216 (2013). https://doi.org/10.1186/168718472013216
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472013216
Keywords
 fractional differential inclusions
 integral boundary conditions
 fixed point theorems