Abstract
In this paper, we prove the existence and uniqueness of solutions for a singular fractional differential equation boundary value problem with p-Laplacian operator. The main results of this paper are obtained by constructing the monotone iterative sequences of upper and lower solutions and applying the comparison result. Finally, we also provide an illustrative example in support of the existence theorem. Our results generalize some related results in the literature.
Similar content being viewed by others
1 Introduction
The fractional calculus and its varied applications in many fields of science and engineering have gained much attention and developed rapidly in recent decades. Fractional differential equations have been used in the mathematical modeling of process in physics, chemistry, aerodynamics, polymer rheology, fluid flow phenomena, wave propagation, signal theory, electrical circuits, control theory and viscoelastic materials etc. For details, see [1–7] and the references therein.
Many research papers have appeared concerning the existence of solutions for the initial or boundary value problems of fractional differential equations; see [8–19]. We notice that recently a kind of general boundary value conditions, nonlinear boundary value conditions, were investigated in [10, 11]. Moreover, some papers considered recently fractional boundary value problems with p-Laplacian [12–14, 20, 21], and the upper and lower method and the monotone iterative technique are used in [12–14].
By means of the monotone iterative method and lower and upper solutions, Jankowski [11] considered the following fractional differential equations with nonlinear boundary conditions:
where , and \(D_{T}^{q}u\) is the right-handed Riemann–Liouville fractional derivative of u with \(0< q< 1, \overline{u}(a)=(T-t)^{1-q}u(t)|_{t=a},a=0,T \). One obtained the existence results of a unique solution of the nonlinear fractional differential equations with initial condition at the point T, and got the existence results of a related linear fractional differential problems in terms of the Mittag-Leffler function and the method of successive approximations. On the base of the conclusions, sufficient conditions which guarantee that the problem has extremal solutions were given.
Ding et al. [12] generalized the above problem to the following fractional boundary value problem with p-Laplacian via the upper and lower method and the monotone iterative method:
where \(0<\alpha, \beta \le 1,1<\alpha +\beta \le 2\), \(D_{0^{+}}^{ \alpha }\) is the Riemann–Liouville fractional derivative of order α, \(\phi _{p}(t)=|t|^{p-2}t, p>1\) is the p-Laplacian operator, and \(\tilde{u}(1)=t^{1-\alpha }u(t)|_{t=1}\). The existence and uniqueness of extremal solutions are investigated by constructing two well-defined monotone iterative sequences of upper and lower solutions.
Motivated by the above work, in this paper, we investigate the existence and uniqueness of extremal solution for a singular fractional differential equation with p-Laplacian and subjects to more general nonlinear boundary conditions
where \(0<\alpha, \beta \le 1, 1<\alpha +\beta \le 2,r=\frac{1- \beta }{p-1}\), \(D_{0^{+}}^{\alpha }\) is the Riemann–Liouville fractional derivative of order α, \(\phi _{p}(t)=|t|^{p-2}t\ (p>1)\) is the p-Laplacian operator, , and \(\overline{D_{0^{+}}^{\alpha }u}(c)=t^{r}D^{\alpha }_{0^{+}}u(t)|_{t=c}, c=0,T\).
In problem (1.1), the boundary value conditions \(g(x,y)=0,h(x,y)=0\) are a class of general conditions. When \(h(x,y)=x\) the problem (1.1) become the problem in [12]. The conditions can cover anti-periodic [22] or other nonlinear boundary conditions. Moreover, the function u and its derivatives may have singularities at both 0 and T. Therefore the problem (1.1) can generalize those problems in [12–14]. Thus our conclusions can be more extensive. We here not only obtain the existence and uniqueness of extremal solutions but also the iterative sequences which converge to the solutions.
For some related results on boundary value problem with p-Laplacian, obtained by means of the monotone iterative method, the monotone type conditions for nonlinear terms f with respect to the functions u or their derivatives are usually required. In this paper, we only consider the functions \(f+M\phi _{p}(D_{0^{+}}^{\alpha }u(t))\) not f to be enslaved to the monotone type conditions.
The paper is organized as follows. In Sect. 2, we provide some preliminaries, the existence result for linear fractional problems with initial value conditions and a comparison result. In Sect. 3, the existence and uniqueness theorems of extremal solutions are established by constructing two well-defined monotone iterative sequences of upper-lower solutions. Finally, as applications of the theoretical results, an example is given to illustrate the existence result.
2 Preliminaries
Let \(J=[0,T]\) be a closed interval on the real axis . It is well known that \(C[0,T]\) is a Banach space of continuous functions from \([0,T]\) into with the norm \(\|u\|_{C}=\max_{t\in [0,T]}|u(t)|\). Denote \(C_{\lambda }[0,T]\) by
where \(\lambda \in [0,1)\). Then \(C_{\lambda }[0,T]\) is also a Banach space with the norm \(\|u\|_{C_{\lambda }}=\|t^{\lambda }u\|_{C}\). It is clear that \(C[0,T]:=C_{0}[0,T]\subset C_{\lambda }[0,T]\subset C_{ \delta }[0,T]\) for \(0\le \lambda \le \delta <1\) and \(C_{\lambda }[0,T] \subset L[0,T]\) (\(L[0,T]\) is a space of Lebesgue integrable real functions defined on \([0,T]\)). Define \(C_{r}^{\alpha }[0,T]\) by
where \(0<\alpha, \beta \le 1, r=\frac{1-\beta }{p-1}, p>1 \) and \(p+\beta >2\). It is a Banach space with the norm \(\|u\|_{C_{r}^{ \alpha }}=\|u\|_{C_{1-\alpha }}+\|D_{0^{+}}^{\alpha }u\|_{C_{r}}\) (see Lemma 2.2 in [14]).
We introduce some useful definitions and fundamental facts of fractional calculus theory; for more details, see [1, 2].
Definition 2.1
([1])
The Riemann–Liouville fractional integral \(I^{\alpha }_{0^{+}}\) is given by
and the fractional derivative \(D^{\alpha }_{0^{+}}\) is defined by
where , provided the integrals exist.
Lemma 2.1
([1])
Assume that we have the function\(u\in C(0,T]\cap L(0,T]\)with a fractional derivative of order\(\alpha \ (0<\alpha \le 1)\)that belongs to\(C(0,T]\cap L(0,T]\). Then
Lemma 2.2
([12, Lemma 2.1])
Assume that\(0<\beta \leq 1\), , , \(u(t)\in C_{1-\beta }[0,T]\)and\(h(t)\in C_{1-\beta }[0,T]\). Then the linear fractional initial value problem
has the following solution of integral representation:
where\(E_{\beta,\beta }(x)=\sum_{k=0}^{\infty }\frac{x^{k}}{ \varGamma (k\beta +\beta )}\)is the Mittag-Leffler function. It is continuous and nonnegative [1, 8].
Lemma 2.3
Suppose that\(0<\alpha, \beta \leq 1\), Mis a constant, , \(u(t)\in C_{r}^{\alpha }[0,T]\)and\(\eta (t)\in C_{1-\beta }[0,T]\). Then the following linear fractional initial value problem:
has a unique solution with the integral form
where\(\phi _{q}\)is the inverse function of\(\phi _{p}\).
Proof
Let \(v(t)=\phi _{p}(D^{\alpha }_{0^{+}}u(t))\), then we have \(\phi _{p}(t^{r}D^{\alpha }_{0^{+}}u(t))=t^{1-\beta }v(t), 0< t \leq T\). Thus the problem (2.1) is converted to the following fractional initial value problem:
From Lemma 2.2, we find
and \(v(t)\in C_{1-\beta }[0,T]\), thus
For \(v(t)\in C(0,T]\cap L(0,T]\), we have \(D_{0^{+}}^{\alpha }u(t) \in C_{r}[0,T]\subset C(0,T]\cap L(0,T]\). Lemma 2.1 yields
By virtue of \(\tilde{u}(0)=k_{0}\), we get \(c=k_{0}\) and
Conversely, it is obvious that \(u(t)\in C_{1-\alpha }[0,T]\) and \(\tilde{u}(0)=k_{0}\). Noting that \(D_{0^{+}}^{\alpha }t^{\alpha -1}=0\), \(D_{0^{+}}^{\alpha }I^{\alpha }u=u\), \(\forall u\in C(0,T]\cap L(0,T]\) and differentiating (2.5) with order α, we arrive at (2.4). Since \(\eta (t)\in C_{1-\beta }[0,T]\), it is clear that \(\phi _{p}(D_{0^{+}}^{\alpha }u(t))\in C_{1-\beta }[0,T]\), and \(D_{0^{+}}^{\alpha }u(t)\in C_{r}[0,T]\). Using \(\phi _{p}\) to (2.4) and then multiply by \(t^{1-\beta }\), we get
and \(t^{r}D_{0^{+}}^{\alpha }u(t)|_{t=0}=h_{0}\). Differentiating the above equation with order β, from Lemma 2.2, we find
This completes the proof. □
Lemma 2.4
(Comparison result)
If\(u(t)\in C_{r}^{\alpha }[0,T]\)and satisfies
whereMis a constant, then\(D^{\alpha }_{0^{+}}u(t)\ge 0\)and\(u(t)\ge 0\)for\(t\in (0,T]\).
Proof
Let \(w(t)=\phi _{p}(D^{\alpha }_{0^{+}}u(t))\), then \(w(t)\in C_{1-\beta }[0,T]\) and satisfies
hence \(w(t)\ge 0\) for \(t\in (0,T]\), by Lemma 2.2. Since \(\phi _{p}(x)\) is nondecreasing, \(u(t)\) satisfies
Therefore we get \(u(t)\ge 0\), \(t\in (0,T]\) from Lemma 2.1. This lemma is complete. □
3 Main results and an example
We introduce the definition of a pair of lower and upper solutions for using the monotone iterative method.
Definition 3.1
A function \(u(t)\in C_{r}^{\alpha }[0,T]\) is called a lower solution of problem (1.1) if it satisfies
A function \(v(t)\in C_{r}^{\alpha }[0,T]\) is called an upper solution of problem (1.1) if it satisfies
We need the following assumptions for our main results.
- \((H_{1})\):
Assume that \(u_{0}, v_{0}\in C_{r}^{\alpha }[0,T]\) are lower and upper solutions of the problem (1.1), respectively, and \(u_{0}(t)\le v_{0}(t), t\in (0,T]\).
- \((H_{2})\):
There exists a constant M such that
$$ f\bigl(t,u(t),D_{0^{+}}^{\alpha }u(t)\bigr)-f \bigl(t,v(t),D_{0^{+}}^{\alpha }v(t)\bigr) \le M \bigl[\phi _{p}\bigl(D_{0^{+}}^{\alpha }v(t)\bigr)-\phi _{p}\bigl(D_{0^{+}}^{ \alpha }u(t)\bigr) \bigr] $$for \(u_{0}(t)\le u(t)\le v(t)\le v_{0}(t), D_{0^{+}}^{\alpha }u_{0}(t) \le D_{0^{+}}^{\alpha }u(t)\le D_{0^{+}}^{\alpha }v(t)\le D_{0^{+}} ^{\alpha }v_{0}(t), t\in (0,T]\).
- \((H_{3})\):
There exist constants \(\lambda _{1}>0, \lambda _{2} \ge 0\) such that
$$ g(x_{1},y_{1})-g(x_{2},y_{2}) \le \lambda _{1}(x_{2}-x_{1})-\lambda _{2}(y _{2}-y_{1}) $$for \(\tilde{u}_{0}(0)\le x_{1}\le x_{2}\le \tilde{v}_{0}(0)\) and \(\tilde{u}_{0}(T)\le y_{1}\le y_{2}\le \tilde{v}_{0}(T)\).
- \((H_{4})\):
There exist constants \(\mu _{1}>0, \mu _{2} \ge 0\) such that
$$ h(x_{1},y_{1})-h(x_{2},y_{2}) \le \mu _{1}(x_{2}-x_{1})-\mu _{2}(y_{2}-y _{1}) $$for \(\overline{D_{0^{+}}^{\alpha }u_{0}}(0)\le x_{1}\le x_{2}\le \overline{D _{0^{+}}^{\alpha }v_{0}}(0)\) and \(\overline{D_{0^{+}}^{\alpha }u_{0}}(T) \le y_{1}\le y_{2}\le \overline{D_{0^{+}}^{\alpha }v_{0}}(T)\).
Theorem 3.1
Assume thatand\((H_{1})\)–\((H_{4})\)hold. Then there exist sequences\(\{u_{n}(t)\}, \{v_{n}(t)\}\subset C_{r}^{\alpha }[0,T]\)such that\(\lim_{n\to \infty }u_{n}=x, \lim_{n\to \infty }v_{n}=y\)on\((0,T]\)and\(x, y\)are minimal and maximal solutions on the interval\([u_{0},v_{0}]\)of the problem (1.1), respectively, where
That is, for any solution\(u\in [u_{0},v_{0}]\),
and
Proof
Let \(F(u(t)):=f(t,u(t),D_{0^{+}}^{\alpha }u(t))\). For \(n=1,2,\ldots \) , we define
and
From \(u_{0}, v_{0}\in C_{r}^{\alpha }[0,T]\), we have \(D_{0^{+}}^{ \alpha }u_{0}(t), D_{0^{+}}^{\alpha }v_{0}(t)\in C_{r}[0,T]\) and \(F(u_{0}(t))+\phi _{p}(D_{0^{+}}^{\alpha }u_{0}(t)), F(v_{0}(t))+\phi _{p}(D_{0^{+}}^{\alpha }v_{0}(t))\in C_{1-\beta }[0,T]\). In view of Lemma 2.3, the functions \(u_{1}, v_{1}\) are well defined in the space \(C_{r}^{\alpha }[0,T]\). By induction, we can infer that \(u_{n}, v_{n}\) are well defined in the space \(C_{r}^{\alpha }[0,T]\).
Firstly, we prove that \(u_{0}(t)\le u_{1}(t)\le v_{1}(t)\le v_{0}(t)\) and \(D_{0^{+}}^{\alpha }u_{0}(t)\le D_{0^{+}}^{\alpha }u_{1}(t)\le D _{0^{+}}^{\alpha }v_{1}(t)\le D_{0^{+}}^{\alpha }v_{0}(t)\) for \(t\in (0,T]\).
Let \(\delta (t):=\phi _{p}(D_{0^{+}}^{\alpha }u_{1}(t))-\phi _{p}(D_{0^{+}} ^{\alpha }u_{0}(t))\). The definition of \(u_{1}\) and the assumption that \(u_{0}\) is a lower solution imply
and \(\tilde{u}_{1}(0)-\tilde{u}_{0}(0)=\frac{1}{\lambda _{1}}g( \tilde{u}_{0}(0), \tilde{u}_{0}(T))\ge 0\), \(t^{r}D_{0^{+}}^{\alpha }u _{1}(0)-t^{r}D_{0^{+}}^{\alpha }u_{0}(0)=\frac{1}{\mu _{1}}h(t^{r}D _{0^{+}}^{\alpha }u_{0}(0), t^{r}D_{0^{+}}^{\alpha }u_{0}(T))\ge 0\), thus we have \(D_{0^{+}}^{\alpha }u_{0}(t)\le D_{0^{+}}^{\alpha }u_{1}(t)\) and \(u_{1}(t)\ge u_{0}(t), t \in (0,T]\) by Lemma 2.4.
Using a similar method, we can show that \(v_{1}(t)\le v_{0}(t)\) and \(D_{0^{+}}^{\alpha }v_{1}(t)\le D_{0^{+}}^{\alpha }v_{0}(t)\) for all \(t\in (0,T]\). Now, we put \(\xi (t)=\phi _{p}(D_{0^{+}}^{\alpha }v_{1}(t))- \phi _{p}(D_{0^{+}}^{\alpha }u_{1}(t))\). From (3.3), (3.4) and \((H_{2})\), we have
We find, by \((H_{3})\) and \((H_{1})\),
Similarly,
It follows from (3.5)–(3.7) and Lemma 2.4 that \(D_{0^{+}}^{\alpha }v_{1}(t)\ge D_{0^{+}}^{\alpha }u_{1}(t)\) and \(v_{1}(t)\ge u_{1}(t), t\in (0,T]\).
Next, we show that \(u_{1}, v_{1}\) are lower and upper solutions of problem (1.1), respectively.
From (3.3) and conditions \((H_{2})\)–\((H_{4})\), we have
and
Since \(\tilde{u}_{1}(T)\ge \tilde{u}_{0}(T), t^{r}D_{0^{+}}^{ \alpha }u_{1}(T)\geq t^{r}D_{0^{+}}^{\alpha }u_{0}(T)\), the above inequality implies
This proves that \(u_{1}\) is a lower solution of the problem (1.1). Similarly, we can prove that \(v_{1}\) is an upper solution of (1.1).
Using mathematical induction, we know that
for \(t\in (0,T]\) and \(n=1,2,3,\ldots \) .
The sequences \(\{t^{1-\alpha }u_{n}\}\) and \(\{t^{r}D_{0^{+}}^{\alpha }u_{n}\}\) are uniformly bounded and equi-continuous [14]. Similarly, we can prove that the sequences \(\{t^{1-\alpha }v_{n}\}\) and \(\{t^{r}D_{0^{+}}^{\alpha }v_{n}\}\) are uniformly bounded and equi-continuous. The Arzela–Ascoli theorem guarantees that \(\{t^{1-\alpha }u_{n}\}\) and \(\{t^{1-\alpha }v_{n}\}\) converge to \(t^{1-\alpha }x(t)\) and \(t^{1-\alpha }y(t)\) uniformly on \([0,T]\), respectively; \(\{t^{r}D_{0^{+}}^{\alpha }u_{n}\}\) and \(\{t^{r}D_{0^{+}} ^{\alpha }v_{n}\}\) converge to \(\{t^{r}D_{0^{+}}^{\alpha }x(t)\}\) and \(\{t^{r}D_{0^{+}}^{\alpha }y(t)\}\) uniformly on \([0,T]\), respectively. Therefore \(\|u_{n}-x\|_{C_{r}^{\alpha }}\rightarrow 0, \|v_{n}-y\| _{C_{r}^{\alpha }}\rightarrow 0\ (n\rightarrow \infty )\).
By the integral representation (2.2) for the linear fractional problem, the solution \(u_{n}(t)\) of problem (3.3) can be expressed as
where \(k_{n-1}=\widetilde{u}_{n-1}(0)+\frac{1}{\lambda }g( \widetilde{u}_{n-1}(0),\widetilde{u}_{n-1}(T))\), \(\eta _{n-1}(s)=F(u _{n-1}(s))+M\phi _{p}(D^{\alpha }_{0^{+}}u_{n-1}(s))\) and \(h_{n-1}=\overline{D _{0^{+}}^{\alpha }u_{n-1}}(0)+\frac{1}{\mu _{1}}h(\overline{D_{0^{+}} ^{\alpha }u_{n-1}}(0),\overline{D_{0^{+}}^{\alpha }u_{n-1}}(T))\).
By the assumption of f and applying the dominated convergence theorem, \(x(t)\) satisfies the following integral equation:
where \(h_{0} =\overline{D_{0^{+}}^{\alpha }x}(0), \eta (s)=F(x(s))+M \phi _{p}(D^{\alpha }_{0^{+}}x(s))\). By Lemma 2.3, we know \(x(t)\) is a solution of problem (1.1). In the same way as above, we can prove that \(y(t)\) is also a solution of problem (1.1), and satisfies \(u_{0}\le x\le y\le v_{0}\) on \((0,T]\).
To prove that \(x(t), y(t)\) are extremal solutions of (1.1), let \(u\in [u_{0},v_{0}]\) be any solution of the problem (1.1). We suppose that \(u_{n}\le u \le v_{n}, t \in (0,T]\) for some n. Let \(\zeta (t)=\phi _{p}(D_{0^{+}} ^{\alpha }u(t))-\phi _{p}(D_{0^{+}}^{\alpha }u_{n+1}(t)), \varrho (t)= \phi _{p}(D_{0^{+}}^{\alpha }v_{n+1}(t))-\phi _{p}(D_{0^{+}}^{\alpha }u(t))\). Then, by condition \((H_{2})\), we see that
and
In addition, by condition \((H_{3})\), we have
and
By condition \((H_{4})\), we have
and
Therefore, \(D_{0^{+}}^{\alpha }u_{n+1}(t)\le D_{0^{+}}^{\alpha }u(t) \le D_{0^{+}}^{\alpha }v_{n+1}(t)\) and \(u_{n+1}(t)\le u(t)\le v_{n+1}(t), t\in (0,T]\), furthermore, by induction \(x(t)\le u(t)\le y(t), D _{0^{+}}^{\alpha }x\le D_{0^{+}}^{\alpha }u\le D_{0^{+}}^{\alpha }y\) on \((0,T]\) by taking \(n\to \infty \). The proof is complete. □
Theorem 3.2
The assumptions in Theorem 3.1hold and there exists a constantNsuch that
for\(u_{0}(t)\le u(t)\le v(t)\le v_{0}(t), D_{0^{+}}^{\alpha }u_{0}(t) \le D_{0^{+}}^{\alpha }u(t)\le D_{0^{+}}^{\alpha }v(t)\le D_{0^{+}} ^{\alpha }v_{0}(t), t\in (0,T]\), and\(\widetilde{u}_{0}(0)= \widetilde{v}_{0}(0)\), \(\overline{D_{0^{+}}^{\alpha }u_{0}}(0)=\overline{D _{0^{+}}^{\alpha }v_{0}}(0)\). Then problem (1.1) has a unique solution in the order interval\([u_{0}, v_{0}]\).
Proof
From Theorem 3.1, we know \(x(t)\) and \(y(t)\) are extremal solutions and \(x(t)\le y(t), t\in (0,T]\). It is sufficient to prove \(x(t)\ge y(t), t\in (0,T]\).
In fact, by (3.8) and \(\overline{D_{0^{+}}^{\alpha }u_{0}}(0)=\overline{D _{0^{+}}^{\alpha }v_{0}}(0)\), we know \(\overline{D_{0^{+}}^{\alpha }x}(0)=\overline{D_{0^{+}}^{\alpha }y}(0)\). Let \(w(t)=\phi _{p}(D_{0^{+}}^{\alpha }x(t))-\phi _{p}(D_{0^{+}}^{ \alpha }y(t)), t\in (0,T]\), we have, from (3.9),
Then \(w(t)\ge 0, t\in (0,T]\), i.e. \(D_{0^{+}}^{\alpha }x(t)\ge D_{0^{+}} ^{\alpha }y(t), t\in (0,T]\). And also by (3.8) and \(\widetilde{u}_{0}(0)=\widetilde{v}_{0}(0)\), we have \(\widetilde{x}(0)= \widetilde{y}(0)\), Lemma 2.4 implies \(x(t)\ge y(t), t\in (0,T]\). Thus, we obtain \(x(t)=y(t)\). The problem (1.1) has a unique solution. The proof is complete. □
Finally, we present an example to illustrate Theorem 3.1.
Example 3.1
Consider the following fractional periodic boundary value problem:
where \(\alpha =1/2, \beta =2/3, p=3, T=1\), \(f(t,u,D_{0^{+}}^{ \alpha }u)=t^{1/2}(1-t)-2[D_{0^{+}}^{\alpha }u(t)]^{2}+u(t)\), \(g(x,y)=x (\frac{\varGamma (5/6)}{2\varGamma (4/3)}-y )\), and \(h(x,y)=( \frac{1}{2}+x)(1-y)\).
Set
It is easily verified that \(D_{0^{+}}^{1/2}u_{0}(t)\equiv 0, D_{0^{+}} ^{1/2}v_{0}(t)=t^{-1/6}\) for \(t\in (0,1]\) and
Therefore,
These show that \(u_{0}\) is a lower solution of (3.10). We have
These show that \(v_{0}\) is an upper solution of (3.10), and \(u_{0}(t)\le v_{0}(t)\) on \([0,1]\).
For \(u_{0} \le u\le v\le v_{0}\), we have \(\phi _{3}(D_{0^{+}}^{1/2}v)- \phi _{3}(D_{0^{+}}^{1/2}u)=(D_{0^{+}}^{1/2}v)^{2}-(D_{0^{+}}^{1/2}u)^{2}\) and
Thus, \(f(t,u, D_{0^{+}}^{1/2}u)-f(t,v, D_{0^{+}}^{1/2}v)\le 2[\phi _{3}(D_{0^{+}}^{1/2}v)-\phi _{3}(D_{0^{+}}^{1/2}u)]\).
In addition, \(\frac{\partial g(x,y)}{\partial x}= \frac{\varGamma (5/6)}{2 \varGamma (4/3)}-y\geq -\frac{\varGamma (5/6)}{2\varGamma (4/3)}, \frac{ \partial g(x,y)}{\partial y}=-x\) for \(\widetilde{u}_{0}(0)\le x\le \widetilde{v}_{0}(0), y\in [\widetilde{u}_{0}(1), \widetilde{v}_{0}(1)]=[0,\frac{ \varGamma (5/6)}{\varGamma (4/3)}]\). Therefore, \(g(u_{1},v_{1})-g(u_{2},v _{2})\le \frac{\varGamma (5/6)}{2\varGamma (4/3)}(u_{2}-u_{1})\) for \(\widetilde{u}_{0}(0)\le u_{1}\le u_{2}\le \widetilde{v}_{0}(0), \widetilde{u}_{0}(1)\le v_{1}\le v_{2}\le \widetilde{v}_{0}(1)\). In the same way, \(h(u_{1},v_{1})-h(u_{2},v_{2})\le \frac{1}{2}(u_{2}-u_{1})\), for \(t^{1/6}D_{0^{+}}^{1/2}u_{0}(t)|_{t=0}\le u_{1}\le u_{2}\le t^{1/6}D _{0^{+}}^{1/2}v_{0}(t)|_{t=0}\), \(t^{1/6}D_{0^{+}}^{1/2}u_{0}(t)|_{t=1} \le v_{1}\le v_{2}\le t^{1/6}D_{0^{+}}^{1/2}v_{0}(t)|_{t=1}\).
Hence, conditions \((H_{1})\)–\((H_{4})\) are satisfied. There exist two monotone iterative sequences \(\{u_{k}\}\) and \(\{v_{k}\}\), which converge uniformly to the minimal and maximal solutions of problem (3.10) in \([u_{0},v_{0}]\) by Theorem 3.1.
References
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Podlubny, I.: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, New York (1999)
Diethelm, K.: The Analysis of Fractional Differential Equation. Springer, Heidelberg (2010)
Abbas, S., Banerjee, M., Momani, S.: Dynamical analysis of fractional-order modified logistic model. Comput. Math. Appl. 62, 1098–1104 (2011)
Liu, J., Xu, M.: Higher-order fractional constitutive equations of viscoelastic materials involving three different parameters and their relaxation and creep functions. Mech. Time-Depend. Mater. 10, 263–279 (2006)
Magin, R.: Fractional calculus models of complex dynamics in biological tissues. Comput. Math. Appl. 59, 1586–1593 (2010)
Bai, J., Feng, X.: Fractional-order anisotropic diffusion for image denoising. IEEE Trans. Image Process. 16(10), 2492–2502 (2007)
Wei, Z., Li, Q., Che, J.: Initial value problems for fractional differential equations involving Riemann–Liouville sequential fractional derivative. J. Math. Anal. Appl. 367, 260–272 (2010)
Ahmad, B., Sivasundaram, S.: On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order. Appl. Math. Comput. 217, 480–487 (2010)
Zhang, S., Su, X.: The existence of a solution for a fractional differential equation with nonlinear boundary conditions considered using upper and lower solutions in reverse order. Comput. Math. Appl. 62, 1269–1274 (2011)
Jankowski, T.: Boundary problems for fractional differential equations. Appl. Math. Lett. 28, 14–19 (2014)
Ding, Y., Wei, Z., Xu, J., O’Regan, D.: Extremal solutions for nonlinear fractional boundary value problems with p-Laplacian. J. Comput. Appl. Math. 288, 151–158 (2015)
Ding, Y., Wei, Z.: On the extremal solution for a nonlinear boundary value problems of fractional p-Laplacian differential equation. Filomat 30(14), 3771–3778 (2016)
Ding, Y., Yang, J., Zhang, X.: Extremal solutions for singular fractional p-Laplacian differential equations with nonlinear boundary conditions. Adv. Differ. Equ. 2016, 201 (2016)
Hao, X., Zhang, L., Liu, L.: Positive solutions of higher order fractional integral boundary value problem with a parameter. Nonlinear Anal., Model. Control 24(2), 210–223 (2019)
Hao, X., Zhang, L.: Positive solutions of a fractional thermostat model with a parameter. Symmetry 11(1), 122 (2019). https://doi.org/10.3390/sym11010122
Hao, X., Sun, H., Liu, L.: Positive solutions for semipositone fractional integral boundary value problem on the half-line. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113(4), 3055–3067 (2019)
Zhang, X., Zhong, Q.: Uniqueness of solution for higher-order fractional differential equations with conjugate type integral conditions. Fract. Calc. Appl. Anal. 20(6), 1471–1484 (2017)
Cui, Y., Ma, W., Sun, Q., Xinwei, S.: New uniqueness results for boundary value problem of fractional differential equation. Nonlinear Anal., Model. Control 23(1), 31–39 (2018)
Yan, F., Zuo, M., Hao, X.: Positive solution for a fractional singular boundary value problem with p-Laplacian operator. Bound. Value Probl. 2018, 51 (2018)
Hao, X., Wang, H., Liu, L.: Positive solutions for a system of nonlinear fractional nonlocal boundary value problems with parameters and p-Laplacian operator. Bound. Value Probl. 2017(2017), 182 (2017)
Chen, T., Liu, W.: An anti-periodic boundary value problem for the fractional differential equation with a p-Laplacian operator. Appl. Math. Lett. 25, 1671–1675 (2012)
Acknowledgements
The authors thank the anonymous referees for helpful comments and suggestions.
Funding
This paper is supported by the Doctoral Fund of Shandong Jianzhu University (XNBS1534).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Liu, Z., Ding, Y., Liu, C. et al. Existence and uniqueness of solutions for singular fractional differential equation boundary value problem with p-Laplacian. Adv Differ Equ 2020, 83 (2020). https://doi.org/10.1186/s13662-019-2482-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2482-9