- Research
- Open Access
- Published:
Positive solution for singular fractional differential equations involving derivatives
Advances in Difference Equations volume 2016, Article number: 139 (2016)
Abstract
By using the fixed point theorem for the mixed monotone operator, the existence of unique positive solutions for singular nonlocal boundary value problems of fractional differential equations is established. An example is provided to illustrate the main results.
1 Introduction
The purpose of this paper is to establish the uniqueness of a positive solution to the following higher order fractional differential equation:
where \(n\geq3\), \(n\in N\), \(n-i-1<\alpha-\mu_{i}<n-i\) for \(i=1,2,\ldots,n-2\), and \(\mu-\mu_{n-2}>0\), \({\alpha-\mu>1}\), \(a_{j}\in[0,+\infty)\), \(0<\xi_{1}<\xi_{2}<\cdots<\xi_{p-2}<1\), \(0<\sum_{j=1}^{p-2}a_{j} \xi_{j}^{\alpha-\mu-1}<1\), \(D_{0^{+}}^{\alpha}\) is the standard Riemann-Liouville derivative, \(f: [0,1]\times (0,+\infty)^{n-1} \rightarrow[0,+\infty)\) is continuous, \(q: (0,1)\rightarrow[0,+\infty)\) is continuous, \(f(t,x_{1},x_{2},\ldots,x_{n-1})\) may be singular at \(x_{1}=0\), \(x_{2}=0\), …, \(x_{n-1}=0\), and \(q(t)\) may be singular at \(t=0\) and/or \(t=1\).
Recently, one has found numerous applications of fractional differential equations in viscoelasticity, electrochemistry, control, porous media, and electromagnetics; see [1–14] and the references therein. Particularly, the theory of boundary value problems (BVPs) for nonlinear fractional differential equations has received great attention, but many aspects of the theory still need to be explored.
In [6], Rehman and Khan studied the following multi-point boundary value problems for fractional differential equations:
where \(1<\alpha\leq2\), \(0<\beta<1\), \(0<\xi_{i}<1\) (\(i=1,2,\ldots,m-2\)), \(\zeta_{i}\geq0\), with \(\sum_{i=1}^{m-2}\zeta_{i}\xi_{i}^{\alpha-\beta-1}<1\), \(D_{t}^{\alpha} \) represents the standard Riemann-Liouville fractional derivative. The nonlinear function \(f:[0,1]\times R\times R \rightarrow R\) is continuous and satisfies certain growth conditions. The existence and uniqueness of nontrivial solutions for BVP (1.2) are established by using the Schauder fixed point theorem and the Banach contraction mapping principle. In [7], Zhang investigated the existence of positive solutions of the following equation by a fixed point theorem for the mixed monotone operator:
where \(f(u_{1},u_{2},\ldots,u_{n-1})\) may be singular at \(u_{1}=0\), \(u_{2}=0\), …, \(u_{n-1}=0\), \(q(t)\) may be singular at \(t=0\), \(D_{0^{+}}^{\alpha}\) is the Riemann-Liouville fractional derivative of order α. Xu and Fei [8] considered the properties of the Green’s function for the nonlinear fractional differential equation three-point boundary value problem
where \(1<\alpha\leq2\), \(0<\beta\leq1\), \(0\leq a\leq1\), \(0<\xi<1\), \(\alpha-\beta-1\geq0\), \(D_{0^{+}}^{\alpha}\) is the standard Riemann-Liouville derivative, \(f: (0,1)\times(0,+\infty)\rightarrow (0,+\infty)\) satisfies the Caratheodory conditions. The authors obtained some multiple positive solutions by means of the Schauder fixed point theorem.
In [11], Zhang, Liu and Wu investigated the following singular eigenvalue problem for a higher order fractional differential equation:
where \(D^{\alpha}\) is the standard Riemann-Liouville derivative. The eigenvalue interval for the existence of positive solutions is obtained by the Schauder fixed point theorem and the upper and lower solutions method.
Motivated by the work mentioned above, we consider the fractional order singular nonlocal BVP (1.1). In this paper, we establish the existence of a unique positive solution for BVP (1.1). The main tool used in the proofs of the existence results is a fixed point theorem for the mixed monotone operator. The present paper has the following features. First of all, the nonlinear f involves fractional derivatives of an unknown function. Second, BVP (1.1) possesses a singularity, that is, \(f(t,x_{1},\ldots,x_{n-1})\) may be singular at \(x_{1}=0\), \(x_{2}=0\), …, \(x_{n-1}=0\), \(q(t)\) may be singular at \(t=0\) and/or \(t=1\). Third, the nonlocal boundary conditions involving fractional derivatives of the unknown function are more general cases, which include two-point, three-point, multi-point, and some nonlocal problems as special cases.
The rest of the paper is organized as follows. In Section 2, we present some preliminaries and lemmas on fractional calculus theory, and then give the associated Green’s function and develop some properties of the Green’s function. In Section 3, we establish an existence result of a unique positive solution of BVP (1.1) under certain assumptions for the functions f and q. An example is given to illustrate the main result in Section 4.
2 Preliminaries and lemmas
Definition 2.1
The Riemann-Liouville fractional integral of order \(\alpha> 0\) of a function \(u: (0,+\infty)\rightarrow R\) is given by
provided the right-hand side is pointwise defined on \((0,+\infty)\).
Definition 2.2
The Riemann-Liouville fractional derivative of order \(\alpha> 0\) of a continuous function \(u: (0,+\infty)\rightarrow R\) is given by
where n is the smallest integer not less than α, provided the right-hand side is pointwise defined on \((0,+\infty)\).
Lemma 2.1
-
(1)
If \(x\in L^{1}(0,1)\), \(\rho>\sigma>0\), and \(n\in N\), then
$$\begin{aligned}& I_{0^{+}}^{\rho}I_{0^{+}}^{\sigma}x(t)=I_{0^{+}}^{\rho+\sigma}x(t), \qquad D_{0^{+}}^{\sigma}I_{0^{+}}^{\rho}x(t)=I_{0^{+}}^{\rho-\sigma}x(t), \\& D_{0^{+}}^{\sigma}I_{0^{+}}^{\sigma}x(t)=x(t),\qquad \biggl( \frac{d}{dt} \biggr)^{n} \bigl( D_{0^{+}}^{\sigma}x(t) \bigr)= D_{0^{+}}^{n+\sigma}x(t). \end{aligned}$$ -
(2)
If \(\nu>0\), \(\sigma>0\), then
$$D_{0^{+}}^{\nu}t^{\sigma-1}=\frac{\Gamma(\sigma)}{\Gamma(\sigma -\nu)}t^{\sigma-\nu-1}. $$
Lemma 2.2
([4])
Let \(\alpha>0\). Then the following equality holds for \(u\in L^{1}(0,1)\) and \(D_{0^{+}}^{\alpha}u \in L^{1}(0,1)\):
where \(c_{i}\in R\), \(i=1,2,3,\ldots,n\), here \(n-1 <{\alpha} \leq n\).
Let
Obviously, for \(t, s\in[0,1]\), we have
Proceeding as for the proof of Lemma 2.3 in [11], we have the following lemma.
Lemma 2.3
If \(h(t)\in L^{1}[0,1]\), then the boundary value problem
has a unique solution
where
is the Green’s function of the boundary value problem (2.2).
Lemma 2.4
The function \(K(t,s)\) has the following properties:
-
(1)
\(K(t,s)>0\), for \(t,s\in(0,1)\);
-
(2)
\(t^{\alpha-\mu_{n-2}-1}\mathcal {G}(s)\leq K(t,s)\leq Bt^{\alpha-\mu_{n-2}-1}\), for \(t,s\in(0,1)\), where
$$\mathcal {G}(s)=\frac{\sum_{j=1}^{p-2}a_{j} k_{2}(\xi_{j},s)}{1-\sum_{j=1}^{p-2}a_{j}\xi_{j}^{\alpha-\mu-1}}, \qquad B=\frac{1+\sum_{j=1}^{p-2}a_{j}(1-\xi_{j}^{\alpha-\mu-1})}{\Gamma (\alpha-\mu_{n-2})(1-\sum_{j=1}^{p-2}a_{j}\xi_{j}^{\alpha-\mu-1})}. $$
Proof
It is obvious that (1) holds. In the following, we will prove (2). First, from (2.3) we have
On the other hand, it follows from (2.1) that
This completes the proof. □
For the convenience of expression in the rest of the paper, we let \(\mu_{0}=0\). Now let us consider the following modified problems of BVP (1.1):
By similar arguments to [11], we obtain the following lemma.
Lemma 2.5
Let \(x(t)=I_{0^{+}}^{\mu_{n-2}-\mu_{0}}u(t)\), \(u(t)\in C[0,1]\). Then we can transform (1.1) into (2.4). Moreover, if \(u \in C([0,1],(0,+\infty))\) is a positive solution of problem (2.4), then the function \(x(t)=I_{0^{+}}^{\mu_{n-2}-\mu_{0}}u(t)\) is a positive solution of BVP (1.1).
In order to obtain the uniqueness of a positive solution to BVP (1.1), we will consider the uniqueness of a positive solution to the following modified problem:
where \(t\in(0,1)\), \(m\in\{2,3,\ldots\}\). Assume that \(f: [0,1]\times(0,+\infty)^{n-1}\rightarrow[0,+\infty)\) is continuous, then u is a solution of system (2.5) if and only if u is a solution of the following nonlinear integral equation:
Let P be a normal cone of a Banach space E, and \(e\in P\) with \(\Vert e\Vert \leq1\), \(e\neq\theta\) (θ is a zero element of E). Define \(Q_{e}=\{x\in P\vert \mbox{there exist constants } m, M > 0 \textrm{ such that }m e\leq x \leq M e\}\). Now we give the following definition and theorem (see [15]).
Definition 2.3
Let D be a subset of Banach space E. Let operator \(A: D\times D\rightarrow E\). A is said to be mixed monotone if \(A(x,y)\) is nondecreasing in x and nonincreasing in y, i.e., \(x_{1}\leq x_{2}\) (\(x_{1}, x_{2}\in D\)) implies \(A(x_{1},y)\leq A(x_{2},y)\) for any \(y\in D\), and \(y_{1}\leq y_{2}\) (\(y_{1}, y_{2}\in D\)) implies \(A(x,y_{1})\geq A(x,y_{2})\) for any \(x\in D\). The element \(x^{*}\in D\) is called a fixed point of A if \(A(x^{*},x^{*})=x^{*}\).
Lemma 2.6
Suppose that \(A: Q_{e}\times Q_{e}\rightarrow Q_{e}\) is a mixed monotone operator and there exists a constant σ, \(0<\sigma<1\), such that
Then A has a unique fixed point \(x^{*}\in Q_{e}\).
3 Main results
For convenience in the presentation, we now present some assumptions to be used in the rest of the paper.
- \((\mathbf {H}_{1})\) :
-
\(f(t,x_{1},\ldots,x_{n-1})=\phi(t,x_{1},\ldots ,x_{n-1})+\psi(t,x_{1},\ldots,x_{n-1})\), where \(\phi:[0,1]\times[0,+\infty)^{n-1}\rightarrow[0,+\infty)\) and \(\psi:[0,1]\times(0,+\infty)^{n-1}\rightarrow[0,+\infty)\) are continuous, and for any fixed \(t\in[0,1]\), \(\phi(t,x_{1},\ldots,x_{n-1})\) is nondecreasing and \(\psi(t,x_{1},\ldots,x_{n-1})\) is nonincreasing in \(x_{i}>0\) (\(i=1,2,\ldots,n-1\)), respectively.
- \((\mathbf {H}_{2})\) :
-
There exists \(\sigma\in(0,1)\) such that, for \(x_{i}>0\), \(i=1,2,\ldots,n-1\), and for any \(t\in[0,1]\) and \(c\in(0,1)\),
$$\begin{aligned}& \phi(t,cx_{1},\ldots,cx_{n-1})\geq c^{\sigma} \phi(t,x_{1},\ldots,x_{n-1}), \\& \psi \bigl(t,c^{-1}x_{1},\ldots,c^{-1}x_{n-1} \bigr)\geq c^{\sigma}\psi (t,x_{1},\ldots,x_{n-1}). \end{aligned}$$ - \((\mathbf {H}_{3})\) :
-
\(\phi(t,1,1,\ldots,1)\not\equiv0\), \(\psi (t,1,1,\ldots,1)\not\equiv0\),
$$0< \int_{0}^{1}q(s)\phi(s,1,1,\ldots,1)\,ds< +\infty, \qquad \int_{0}^{1}s^{-\sigma(\alpha-1)}q(s)\psi(s,1,1, \ldots,1)\,ds< +\infty. $$
Remark 3.1
By \((\mathbf {H}_{2})\), for \(c\geq1\), we have
Let \(e(t)=t^{\alpha-\mu_{n-2}-1}\), \(t\in[0,1]\), it is clear that \(e\neq\theta\), \(\Vert e\Vert =1\). We here define a normal cone of \(C[0,1]\) by
and we also define
where
Remark 3.2
By Definition 2.1, for \(t\in(0,1)\), \(i=0,1,2,\ldots,n-3\), we have
Theorem 3.1
Assume that conditions \((\mathbf {H}_{1})\)-\((\mathbf {H}_{3})\) hold. Then BVP (1.1) has a unique positive solution \(x(t)\), which satisfies
Proof
We first consider the existence of a positive solution to problem (2.5). From the discussion in Section 2, we only need to consider the existence of a positive solution to the integral equation (2.6). For this purpose, we define the operator \(T: Q_{e}\times Q_{e}\rightarrow P\) by
Now we prove that \(T: Q_{e}\times Q_{e}\rightarrow Q_{e}\). First, we will prove \(T: Q_{e}\times Q_{e}\rightarrow P \) is well defined. For any \(u\in Q_{e}\), \(v\in Q_{e}\), we have \(I^{i}u(t)+\frac{1}{m}>0\), \(I^{i}v(t)+\frac{1}{m}>0\) (\(i={\mu_{n-2}-\mu_{0}}, {\mu_{n-2}-\mu_{1}},\ldots, \mu_{n-2}-\mu_{n-3}\)), \(u(t)+\frac{1}{m}>0\) and \(v(t)+\frac{1}{m}>0\) for all \(t\in[0,1]\). By \((\mathbf {H}_{1})\), \((\mathbf {H}_{2})\), and Remark 3.2, for \(t\in[0,1]\) we have
and
Since \(\eta M^{-1}t^{\alpha-1}+\frac{1}{m}\in(0,1)\), we also have
and
It follows from (3.2), (3.3), \((\mathbf {H}_{3})\), and Lemma 2.4 that
and
which imply that
Hence, \(T: Q_{e}\times Q_{e}\rightarrow P\) is well defined.
By (3.6) and (3.7), we see that
From (3.4), (3.5), \((\mathbf {H}_{3})\), and Lemma 2.4, it follows that
and
which imply that
Hence, by (3.8) and (3.11), \(T(u,v)\in Q_{e} \). Therefore, \(T: Q_{e}\times Q_{e}\rightarrow Q_{e}\).
Next, we shall show that \(T: Q_{e}\times Q_{e}\rightarrow Q_{e}\) is a mixed monotone operator. In fact, if \(u_{1}\leq u_{2}\) (\(u_{1}, u_{2}\in Q_{e}\)), from the monotonicity of \(I^{(i)}\) (\(i>0\)) and ϕ, we obtain
which implies that
That is, \(T(u,v)\) is nondecreasing in u for any \(v\in Q_{e}\). Similarly, if \(v_{1}\geq v_{2}\) (\(v_{1},v_{2}\in Q_{e}\)), from the monotonicity of \(I^{(i)}\) (\(i>0\)) and ψ, we deduce that
which implies that
That is, \(T(u,v)\) is nonincreasing in v for any \(u\in Q_{e}\). Hence, \(T: Q_{e}\times Q_{e}\rightarrow Q_{e}\) is a mixed monotone operator.
Finally, we prove that \(T(cu,c^{-1}v)(t)\geq c^{\sigma}T(u,v)(t)\) for \(c\in(0,1)\), \(t\in [0,1]\). In fact, for \({u,v\in Q_{e}}\), \(c\in(0,1)\), from \((\mathbf {H}_{2})\), we have
and
which imply that
Thus, Lemma 2.6 ensures that there exists a unique positive solution \(u_{m}^{*}\in Q_{e}\) such that \(T(u_{m}^{*},u_{m}^{*})=u_{m}^{*}\). Consequently, problem (2.5) has a unique positive solution for every \({m\in\{2,3,\ldots\}}\).
Since \(u_{m}^{*}\in C([0,1],[0,+\infty))\), it implies that \(\phi (s, I^{\mu_{n-2}-\mu_{0}}u_{m}^{*}+\frac{1}{m}, \ldots, u_{m}^{*}+\frac{1}{m} )\) and \(\psi (s,I^{\mu_{n-2}-\mu_{0}}u_{m}^{*}+\frac{1}{m},I^{\mu _{n-2}-\mu_{1}}u_{m}^{*}+\frac{1}{m},\ldots,u_{m}^{*}+\frac {1}{m} )\) are continuous. Also, \(u_{m}^{*}\) has uniform lower and upper bounds from \(u_{m}^{*}\in Q_{e}\). Hence, in order to pass the solution \(u_{m}^{*}\) of (2.5) to that of (2.4), we need the fact that \(\{u_{m}^{*}\}_{m\geq2}\) is an equicontinuous family on \([0,1]\). In fact, by the Arzela-Ascoli theorem and the Lebesgue dominated convergence theorem, we can complete the proof. Since this process is easy and standard, here we omit the details. Let \(u^{*}=\lim_{m\rightarrow+\infty}u_{m}^{*}\), then, by Lemma 2.5, \(x(t)=I^{\mu_{n-2}-\mu_{0}}u^{*}(t)\) is the unique positive solution of BVP (1.1), and
□
4 An example
Example 4.1
Consider the following singular boundary value problem:
where
Then the singular BVP (4.1) has a unique positive solution.
Proof
Let \(\alpha=\frac{5}{2}\), \(\mu_{1}=\frac {9}{8}\), \(\mu=\frac{11}{8}\), \(p=3\), then \(\sum_{j=1}^{p-2}a_{j} \xi_{j}^{\alpha-\mu-1}=\frac{\sqrt{2}}{2}(\frac{1}{2})^{\frac {1}{8}}\approx 0.0027<1\). Let \(f(t, x_{1}, x_{2})=\phi(t, x_{1}, x_{2})+\psi(t, x_{1}, x_{2})\), where
Then, for any \((t, x_{1}, x_{2})\in[0,1]\times(0,\infty)^{2}\) and \(0< c<1\),
and
Noting \(\sigma=\frac{1}{6}\), \(\phi(t,1,1)=t^{2}+2t\), \(\psi(t,1,1)=t^{\frac{1}{2}}+1\), we have
and
Hence, the assumptions \((\mathbf {H}_{1})\)-\((\mathbf {H}_{3})\) of Theorem 3.1 hold. Then Theorem 3.1 implies that BVP (4.1) has a unique positive solution. □
References
Diethelm, K, Freed, AD: On the solutions of nonlinear fractional order differential equations used in the modelling of viscoplasticity. In: Keil, F, Mackens, W, Voss, H, Werthers, J (eds.) Scientific Computing in Chemical Engineering II - Computational Fluid Dynamics, Reaction Engineering and Molecular Properties, pp. 217-224. Springer, Heidelberg (1999)
Gaul, L, Klein, P, Kemple, S: Damping description involving fractional operators. Mech. Syst. Signal Process. 5, 81-88 (1991)
Glockle, WG, Nonnenmacher, TF: A fractional calculus approach of self-similar protein dynamics. Biophys. J. 68, 46-53 (1995)
Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Podlubny, I: Fractional Differential Equations. Academic Press, London (1999)
Rehman, M, Khan, RA: Existence and uniqueness of solutions for multi-point boundary value problems for fractional differential equations. Appl. Math. Lett. 23, 1038-1044 (2010)
Zhang, S: Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput. Math. Appl. 59, 1300-1309 (2010)
Xu, X, Fei, X: The positive properties of Green’s function for three point boundary value problems of nonlinear fractional differential equations and its applications. Commun. Nonlinear Sci. Numer. Simul. 17, 1555-1565 (2012)
Zhang, X, Liu, L, Wu, Y: The uniqueness of positive solution for a singular fractional differential system involving derivatives. Commun. Nonlinear Sci. Numer. Simul. 18, 1400-1409 (2013)
Zhang, X, Han, Y: Existence and uniqueness of positive solutions for higher order nonlocal fractional differential equations. Appl. Math. Lett. 25, 555-560 (2012)
Zhang, X, Liu, L, Wu, Y: The eigenvalue problem for a singular higher order fractional differential equation involving fractional derivatives. Appl. Math. Comput. 218, 8526-8536 (2012)
Zhang, X, Liu, L, Wiwatanapataphee, B, Wu, Y: The eigenvalue for a class of singular p-Laplacian fractional differential equations involving the Riemann-Stieltjes integral boundary condition. Appl. Math. Comput. 235, 412-422 (2014)
Jia, M, Liu, X: Multiplicity of solutions for integral boundary value problems of fractional differential equations with upper and lower solutions. Appl. Math. Comput. 232, 313-323 (2014)
Wang, Y, Liu, L, Zhang, X, Wu, Y: Positive solutions of an abstract fractional semipositone differential system model for bioprocesses of HIV infection. Appl. Math. Comput. 258, 312-324 (2015)
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988)
Acknowledgements
The author would like to thank the referees for their pertinent comments and valuable suggestions. This work was supported by the National Natural Science Foundation of China (11501318, 11371221), the Specialized Research Fund for the Doctoral Program of Higher Education of China (20123705120004) and the Natural Science Foundation of Shandong Province of China (ZR2015AM022, ZR2013AQ014).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that there are no competing interests.
Author’s contributions
The author declares that he carried out all the work in this manuscript and 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
Hao, X. Positive solution for singular fractional differential equations involving derivatives. Adv Differ Equ 2016, 139 (2016). https://doi.org/10.1186/s13662-016-0865-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0865-8
MSC
- 34A08
- 34B18
Keywords
- singular nonlocal BVP
- positive solution
- fractional differential equation
- mixed monotone operator