Open Access

Fractional boundary value problems with \(p(t)\)-Laplacian operator

Advances in Difference Equations20162016:118

Received: 29 November 2015

Accepted: 1 March 2016

Published: 28 April 2016


The purpose of this paper is to discuss boundary value problems of fractional differential equations with \(p(t)\)-Laplacian operator. Some new existence, uniqueness, and multiplicity results were acquired by employing some fixed point theorems. Moreover, some examples are supplied to verify our main results.


fractional differential equation boundary value problem \(p(t)\)-Laplacian operator cone


26A33 34A08 34B15

1 Introduction

Fractional differential equations have been applied in many research fields in recent years (see [14]). Leszczynski and Blaszczyk [2] studied the following fractional mathematical model, which can be used to describe the height of granular material decreasing over time in a silo:
$$ {}^{C} D_{T^{-}}^{\alpha} D_{a^{+}}^{\alpha}h^{*}(t)+ \beta h^{*}(t) =0,\quad t\in[0,T], $$
where \({}^{C} D_{T^{-}}^{\alpha}\) and \(D_{a^{+}}^{\alpha}\) are respectively the right Caputo and left Riemann-Liouville fractional derivatives of order \(\alpha\in(0,1)\). Moreover, many valuable results related to boundary value problems (BVPs) or initial problems for fractional differential equations have been achieved by some scholars (see [511]).
Bai and Lü [5] considered the fractional BVP
$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} D_{0^{+} }^{\alpha}x(t) = f(t,x(t)),\quad t \in(0,1),\\ x(0)=x(1)=0, \end{array}\displaystyle \right . \end{aligned}$$
and obtained the existence and multiplicity of positive solutions by taking advantage of methods in cone. Here, \(D_{0^{+}}^{\alpha}\) is the left Riemann-Liouville fractional derivative of order \(\alpha\in (1,2]\), and \(f: [ {0,1} ] \times\mathbb{R}^{2} \to\mathbb{R}\) is a continuous function.
Recently, many scholars have focused on fractional BVPs with p-Laplacian operator (see [1214]). Chen and Liu [13] dealt with the following BVP involving p-Laplacian operator:
$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} D_{0^{+} }^{\beta}\varphi_{p} (D_{0^{+} }^{\alpha}x(t)) = f(t,x(t)),\quad t \in[0,1],\\ x(0)=-x(1),\qquad D_{0^{+} }^{\alpha}x(0)=-D_{0^{+} }^{\alpha}x(1), \end{array}\displaystyle \right . \end{aligned}$$
where \(0 <\beta, \alpha \leq1\), \(1<\alpha+\beta\leq2\), \(D_{0^{+} }^{\alpha}\) is the Caputo fractional derivative, \(\varphi_{p} (\cdot) \) is the p-Laplacian operator, and \(f: [ {0,1} ] \times\mathbb{R}^{2} \to\mathbb{R}\) is a continuous function.
However, many papers focused on the existence and multiplicity of solutions for fractional BVPs. The uniqueness of solution for fractional BVPs with \(p(t)\)-Laplacian operator has not been yet investigated. Thus, we deal with the following fractional BVP with \(p(t)\)-Laplacian operator and obtain the uniqueness of its solution by the method in cone (see Theorem 3.2):
$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} D_{0^{+} }^{\beta}\varphi_{p(t)} (D_{0^{+} }^{\alpha}x(t)) +f(t,x(t))=0,\quad t \in[0,1], \\ x'(0)=x(1)=x''(0)=0,\qquad D_{0^{+} }^{\alpha}x(0)=0, \end{array}\displaystyle \right . \end{aligned}$$
where \(D_{0^{+} }^{\alpha}\) is the Caputo fractional derivative, \(2< \alpha<3\), \(0<\beta<1\), \(\varphi_{p(t)} (\cdot) \) is the \(p(t)\)-Laplacian operator with \(p(t)\in C^{1}[0,1]\) such that \(p(t)>1\). Moreover, f does not need to satisfy the Lipschitz condition, so the problem becomes more complicated. An iterative scheme is shown to approximate it.

Furthermore, we also discuss the existence and multiplicity of solutions for the BVP (1.3) (see Theorem 3.1 and Theorem 3.3). Noting that when \(p(t)=p\), it becomes the well-known p-Laplacian operator, our results extend and enrich some existing papers. For the problems of integer differential equations with \(p(t)\)-Laplacian or p-Laplacian operator, we refer the readers to [1519]).

2 Preliminaries

Let \(E=C[0,1]\) with norm \(\Vert x \Vert _{\infty}= \max_{t \in [0,1]} \vert {x(t)} \vert \), and P be a cone of E, where \(P=\{ x\in E| x(t)\geq0\}\). Moreover, we define the partial ordering ≤ with respect to P by \(x \leq y\) if only if \(y-x \in P\). For \(u_{0} \in P\) such that \(u_{0}> \theta\) (i.e., \(u_{0}(t)\) is unequal to zero identically), we denote
$$P_{u_{0}}=\bigl\{ x|x \in E, \exists\lambda(x)>0, \mu(x)>0\ \mathrm{s.t.}\ \lambda (x)u_{0}\leq x \leq\mu(x) u_{0}\bigr\} . $$

Lemma 2.1


For any \((t,x)\in[0,1]\times\mathbb {R}\), \(\varphi_{p(t)}(x)=|x|^{p(t)-2}x\) is a homeomorphism from \(\mathbb {R}\) to \(\mathbb{R}\) and strictly monotone increasing for any fixed t. Moreover, \(\varphi_{p(t)}^{-1}(\cdot)\) is continuous, sends bounded sets to bounded sets, and is defined by
$$\begin{aligned} \varphi_{p(t)}^{-1}(x)=|x|^{\frac{2-p(t)}{p(t)-1}}x \quad \textit{for } x\in \mathbb{R}\setminus\{0\},\qquad\varphi_{p(t)}^{-1}(0)=0\quad \textit{for } x=0. \end{aligned}$$

Definition 2.1


Let E be a Banach space. A cone \(P\subset E\) is called normal if there is a constant \(N >0\) such that \(\theta\leq x \leq y\) and \(\|x\|\leq N\|y\|\) for all \(x, y \in E\).

Lemma 2.2

([21, 22])

Let \(P\subset E\) be a normal cone. Suppose that \(A:P_{u_{0}}\to P_{u_{0}}\) is increasing and for any \(t\in(0,1)\), there exists \(\eta(t)>0\) such that
$$A(tx)\geq t\bigl(1+\eta(t)\bigr)Ax,\quad x\in P_{u_{0}}. $$
Then, A has a unique fixed point \(x^{*}\) if and only if there exist \(w_{0}, v_{0}\in P_{u_{0}}\) such that \(w_{0}\leq Aw_{0}\leq Av_{0}\leq v_{0}\). Moreover, for any \(x_{0}\in[w_{0},v_{0}]\), letting \(x_{n}=Ax_{n-1}\) (\(n=1,2,\ldots\)), we have \(x_{n}\to x^{*}\).

Define \(P(\theta,b,d) = \{ {x \in P|b \le\theta(x) \mbox{ and } \Vert x \Vert \le d} \}\) and \(P_{c} = \{ {x \in P|\Vert x \Vert \le c} \}\), where \(b,c,d>0\).

Lemma 2.3


Let P be a cone of Banach space E, and \(T:P_{c}\to P_{c}\) be a completely continuous map. Suppose that there exists a nonnegative continuous concave functional θ such that \(\theta(x)\leq\|x\|\) for \(x\in P\) and numbers \(0 < a < b < d \le c\) satisfying the following conditions:
  1. (i)

    \(\{ {x \in P(\theta,b,d)|\theta(x) > b} \} \ne \emptyset\) and \(\theta(Tx) > b\) for \(x \in P(\theta,b,d)\).

  2. (ii)

    \(\Vert {Tx} \Vert < a\) for \(x\in P_{a}\).

  3. (iii)

    \(\theta(Tx) > b\) for \(x \in P(\theta,b,c)\) with \(\Vert {Tx} \Vert > d\).

Then T has at least three fixed points \(x_{1}\), \(x_{2}\), \(x_{3} \) in \(P_{c}\).

Definition 2.2


The Riemann-Liouville fractional integral operator of order α of a function x is given by
$$\begin{aligned} I_{0^{+}}^{\alpha}x(t)=\frac{1}{\Gamma(\alpha)} \int_{0}^{t} (t-s)^{\alpha-1}x(s)\,ds, \end{aligned}$$
provided that the right-hand side are pointwise defined on \([0,1]\).

Definition 2.3


The Caputo fractional derivative of order α of a function x is given by
$$\begin{aligned} D_{0^{+}}^{\alpha}x(t)=I_{0^{+}}^{n-\alpha} \frac{d^{n}x(t)}{d t^{n}} =\frac{1}{\Gamma(n-\alpha)} \int_{0}^{t}(t-s)^{n-\alpha-1}x^{(n)}(s)\,ds, \end{aligned}$$
where \(n= [\alpha]+1\), provided that the right-hand side is pointwise defined on \([0,1]\).

Lemma 2.4


The general solution of the Caputo fractional differential equation
$$\begin{aligned} D_{0^{+}}^{\alpha}x(t)=0 \end{aligned}$$
is given by
$$\begin{aligned} x(t)=c_{0}+c_{1}t+c_{2}t^{2}+\cdots+c_{n-1}t^{n-1}, \end{aligned}$$
where \(c_{i}\in{\mathbb{R}}\), \(i=0,1,2,\ldots,n-1\), \(n= [\alpha]+1\).

Lemma 2.5


Assume that \(D_{0^{+}}^{\alpha}x(t)\in C[0,1]\). Then
$$\begin{aligned} I_{0^{+}}^{\alpha} D_{0^{+}}^{\alpha}x(t)=x(t)+c_{0}+c_{1}t+c_{2}t^{2}+\cdots+c_{n-1}t^{n-1}, \end{aligned}$$
where \(c_{i}=-\frac{x^{(i)}(0)}{i!}\), \(i=0,1,2,\ldots,n-1\), \(n= [\alpha]+1\).

Lemma 2.6

If \(y(t)\in C[0,1]\), then the unique solution of
$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} D_{0^{+} }^{\beta}\varphi_{p(t)} (D_{0^{+} }^{\alpha}x(t)) +y(t)=0,\quad t \in[0,1], \\ x'(0)=x(1)=x''(0)=0,\qquad D_{0^{+} }^{\alpha}x(0)=0, \end{array}\displaystyle \right . \end{aligned}$$
can be expressed as the integral
$$\begin{aligned} x(t)= \int^{1}_{0}G(t,s)\varphi_{p(s)}^{-1} \bigl(I_{0^{+} }^{\beta}y(s)\bigr)\,ds, \end{aligned}$$
$$\begin{aligned}& G(t,s) = \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{(1 - s)^{\alpha- 1}-(t - s)^{\alpha - 1}}{{\Gamma(\alpha)}},& 0 \le s \le t \le1,\\ \frac{ (1 - s)^{\alpha - 1}}{{\Gamma(\alpha)}}, & 0 \le t \le s \le1. \end{array}\displaystyle \right . \end{aligned}$$


Based on Lemma 2.5, we have
$$\varphi_{p(t)}\bigl(D_{0^{+} }^{\alpha}x(t)\bigr) = -I_{0^{+} }^{\beta}y(t)+c,\quad c\in \mathbb{R}. $$
Applying the operator \(\varphi^{-1} _{p(t)}\) to both sides of this equality, we have
$$D_{0^{+} }^{\alpha}x(t) =\varphi^{-1} _{p(t)} \bigl(-I_{0^{+} }^{\beta}y(t)+c\bigr). $$
Combining this with \(D_{0^{+} }^{\alpha}x(0)=0\), for fixed \(t=0\), we have \(\varphi^{-1} _{p(0)}(c)=0\). By Lemma 2.1 we have that \(c=0\) and
$$x(t) =-\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1} \varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}y(s) \bigr)\,ds+c_{1}+c_{2}t+c_{3}t^{2}, $$
where \(c_{i}\in\mathbb{R}\), \(i=1,2,3\). Since \(x'(0)=x(1)=x''(0)=0\), we get that
$$c_{1}=\frac{1}{\Gamma(\alpha)} \int_{0}^{1}(1-s)^{\alpha-1} \varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}y(s) \bigr)\,ds $$
and \(c_{2}=c_{3}=0\). Thus, we have
$$\begin{aligned} x(t)=-\frac{1}{\Gamma(\alpha)} \int_{0}^{t}(t-s)^{\alpha-1} \varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}y(s) \bigr)\,ds+\frac{1}{\Gamma(\alpha)} \int _{0}^{1}(1-s)^{\alpha-1} \varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}y(s) \bigr)\,ds. \end{aligned}$$
Therefore, (2.1) holds. The proof is complete. □

Lemma 2.7

\(G(t,s)\) satisfies the following conditions:

\(G(t,s)\in C([0,1]\times[0,1])\), \(G(t,s)\geq0\) for \(t, s \in [0,1]\).


\(\frac{1}{\Gamma(\alpha)}(1-t^{\alpha-1})(1 - s)^{\alpha- 1} \leq G(t,s)\leq\frac{1}{\Gamma(\alpha)}(1-t^{\alpha-1})\) for \(t, s \in[0,1]\).


Clearly, (D1) is satisfied. For \(s\leq t\) and \(2<\alpha<3\), we have
$$\begin{aligned} (1 - s)^{\alpha- 1}-(t - s)^{\alpha - 1} \geq& (1 - s)^{\alpha- 1}-(t - ts)^{\alpha - 1}\\ =& \bigl(1-t^{\alpha - 1}\bigr) (1 - s)^{\alpha- 1}. \end{aligned}$$
For given t, we have
$$\begin{aligned} \frac{\partial G(t,s)}{\partial s}=\frac{1}{\Gamma(\alpha -1)}\bigl((t-s)^{\alpha-2}-(1-s)^{\alpha-2} \bigr)\leq0. \end{aligned}$$
Thus, \(G(t,s)\leq\frac{1}{\Gamma(\alpha)}(1-t^{\alpha-1})\).
For \(t\leq s\), it is easy to get that
$$\begin{aligned}& (1 - s)^{\alpha - 1}\geq\bigl(1-t^{\alpha-1}\bigr) (1 - s)^{\alpha - 1},\\& (1 - s)^{\alpha - 1}\leq(1 - t)^{\alpha - 1}\leq1-t \leq 1-t^{\alpha-1}. \end{aligned}$$
Thus, (D2) is satisfied. □

3 Main result

Define the nonnegative continuous concave functional θ by
$$\theta({Ax}) =\min _{t \in[\tau,1-\tau]} Ax(t), \quad\tau \in\biggl(0,\frac{1}{2} \biggr), x\in P, $$
$$Ax(t)= \int^{1}_{0}G(t,s)\varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f\bigl(s,x(s)\bigr)\bigr)\,ds. $$
$$\begin{aligned}& \Lambda_{1}:=\biggl(\frac{1}{\Gamma(\alpha)} \int^{1}_{0}(1-s)^{\alpha -1} \varphi^{-1} _{p(s)}\biggl(\frac{1}{\Gamma(\beta+1)}s^{\beta} \biggr)\,ds\biggr)^{-1},\\& \Lambda_{2}:= \biggl(\frac{1-(1-\tau)^{\alpha-1}}{\Gamma(\alpha)} \int ^{1}_{0}(1 - s)^{\alpha- 1} \varphi^{-1} _{p(s)}\biggl(\frac{1}{\Gamma(\beta +1)}s^{\beta} \biggr)\,ds\biggr)^{-1}. \end{aligned}$$

Theorem 3.1

Assume that \(f:[0,1]\times[0,\infty)\to [0,\infty)\) is continuous and there exist numbers \(0< a< b< d=c\) satisfying the following conditions:

\(f(t,x)<\varphi_{p(t)}(\Lambda_{1} a)\) for \([0,1]\times[0,a]\).


\(f(t,x)>\varphi_{p(t)}(\Lambda_{2} b)\) for \([\tau,1-\tau ]\times[b,c]\).


\(f(t,x)\leq\varphi_{p(t)}(\Lambda_{1} c)\) for \([0,1]\times [0,c]\).

Then BVP (1.3) has three positive solutions.


To begin with, for \(u\in P_{c}\), we will prove that \(A:P_{c}\to P_{c}\). By \(I_{3}\) we have
$$\begin{aligned} \Vert {Ax} \Vert =&\max _{t \in [ {0,1} ]} \biggl| \int^{1}_{0}G(t,s)\varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f\bigl(s,x(s)\bigr)\bigr)\,ds\biggr| \\ \leq& \frac{1}{\Gamma(\alpha)} \int^{1}_{0}(1-s)^{\alpha-1}\varphi ^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f \bigl(s,x(s)\bigr)\bigr)\,ds \\ \leq& \Lambda_{1}c \frac{1}{\Gamma(\alpha)} \int^{1}_{0}(1-s)^{\alpha -1} \varphi^{-1} _{p(s)}\biggl(\frac{1}{\Gamma(\beta+1)}s^{\beta} \biggr)\,ds=c. \end{aligned}$$
Thus, \(AP_{c}\subset P_{c}\). It is easy to get that A is continuous by the continuity of f. Let Ω be any bounded open subset of \(P_{c}\). Since \(\varphi_{p(t)}^{-1}(\cdot)\) and f are continuous, there exists a constant \(B>0\) such that \(|\varphi^{-1} _{p(t)}(I_{0^{+} }^{\beta}f(t,x(t)))|\leq B\) on \([0,1]\times\overline{\Omega}\). Thus, we have
$$\begin{aligned} \Vert {Ax} \Vert =&\mathop{\max}\limits _{t \in [ {0,1} ]} |Ax|\leq\frac{1}{\Gamma(\alpha)} \int^{1}_{0}(1-s)^{\alpha-1}B\,ds= \frac {B}{\Gamma(\alpha+1)}. \end{aligned}$$
Thus, AΩ̅ is uniformly bounded. On the other hand, for all \(t_{1}, t_{2}\in[0,1]\) such that \(t_{1}\leq t_{2}\) and for all \(x\in\overline{\Omega}\), we have
$$\begin{aligned} \bigl\vert {Ax(t_{2} ) - Ax(t_{1} )} \bigr\vert =&\biggl| \int^{1}_{0}G(t_{2},s)\varphi ^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f \bigl(s,x(s)\bigr)\bigr)\,ds - \int ^{1}_{0}G(t_{1},s) \varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f \bigl(s,x(s)\bigr)\bigr)\,ds\biggr| \\ \leq& B \int_{0}^{1} {\bigl\vert {G(t_{2} ,s) - G(t_{1} ,s)} \bigr\vert \,ds} \\ \leq& \frac{B}{\Gamma(\alpha+1)}\bigl(t_{2}^{\alpha}-t_{1}^{\alpha} \bigr). \end{aligned}$$
Thus, we have
$$\bigl\vert {Ax(t_{2} ) - Ax(t_{1} )} \bigr\vert \to0\quad \mbox{uniformly as } t_{1}\to t_{2}. $$
Therefore, A is equicontinuous on Ω̅, so that \(A:P_{c}\to P_{c}\) is completely continuous by the Arzelà-Ascoli theorem. Similarly, by \(I_{1}\) we obtain that \(\|Ax\|< a\) for \(x\in P_{a}\). So, condition (ii) of Lemma 2.3 is satisfied. Let \(x_{0}(t) = \frac{{b + c}}{2}\). Clearly, \(\|x_{0}\|\leq c\) and \(\theta(x_{0})>b\). Thus,
$$\bigl\{ {x \in P(\theta,b,d)|\theta(x) > b} \bigr\} \ne\emptyset. $$
For \(x\in P(\theta,b,d)\), by (I2) we have \(b\leq x(t)\leq c\), \(t\in[\tau,1-\tau]\), and
$$\begin{aligned} \theta({Ax}) =&\mathop{\min}\limits _{t \in[\tau,1-\tau]} Ax(t) \\ \geq& \frac{1}{\Gamma(\alpha)} \mathop{\min}\limits _{t \in[\tau ,1-\tau]} \int^{1}_{0}\bigl(1-t^{\alpha-1}\bigr) (1 - s)^{\alpha- 1}\varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f\bigl(s,x(s)\bigr)\bigr)\,ds \\ >& b\Lambda_{2} \frac{1-(1-\tau)^{\alpha-1}}{\Gamma(\alpha)} \int ^{1}_{0}(1 - s)^{\alpha- 1} \varphi^{-1} _{p(s)}\biggl(\frac{1}{\Gamma(\beta +1)}s^{\beta} \biggr)\,ds=b. \end{aligned}$$
Thus, condition (i) of Lemma 2.3 holds. When \(d=c\), condition (i) implies (iii) in Lemma 2.2. Then BVP (1.3) has three positive solutions. □

Example 3.1

Consider the following BVP:
$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} D_{0^{+} }^{\frac{1}{2}} \varphi_{3} (D_{0^{+} }^{\frac{8}{3}} x(t)) +f(t,x(t))=0,\quad t \in[0,1], \\ x'(0)=x(1)=x''(0)=0,\qquad D_{0^{+} }^{\frac{8}{3}} x(0)=0. \end{array}\displaystyle \right . \end{aligned}$$
Choose \(\alpha=\frac{8}{3}\), \(\beta=\frac{1}{2}\), \(p(t)=3\), \(\tau=\frac {1}{4}\),
$$f\bigl(t,x(t)\bigr)= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} t+45x^{3}, & x\leq10,\\ t+\frac{9}{200}x^{3}+44{,}955,& x>10, \end{array}\displaystyle \right . $$
\(a=\frac{1}{4}\), \(b=10\), \(c=50\). By simple calculation we have
$$\Lambda_{1}=\frac{(\Gamma(\frac{3}{2}))^{\frac{1}{2}}\Gamma(\frac {47}{12})}{\Gamma(\frac{5}{4})}\approx5.29,\qquad \Lambda_{1}= \frac{(\Gamma (\frac{3}{2}))^{\frac{1}{2}}\Gamma(\frac{47}{12})}{\Gamma(\frac {5}{4})}\cdot\frac{\Gamma(\frac{8}{3})}{(1-(\frac{3}{4}))^{\frac {5}{3}}} \approx20.89. $$
So, we have

\(f(t,x(t))\leq1.71<1.75\approx\varphi_{3}(\Lambda_{1} a)\) for \([0,1]\times[0,\frac{1}{4}]\);


\(f(t,x(t))\geq45{,}000.25>43{,}639.21=\varphi_{3}(\Lambda_{2} b)\) for \([\frac{1}{4},\frac{3}{4}]\times[10,50]\);


\(f(t,x(t))\leq50{,}580<69{,}960.25=\varphi_{3}(\Lambda_{1} c)\) for \([0,1]\times[0,50]\).

Thus, Example 3.1 has three positive solutions.

Theorem 3.2

Assume that \(f:[0,1]\times[0,\infty)\to (0,\infty)\) is continuous and the following conditions hold:

\(f(t,x)\) is increasing in x.

There exists \(r\in(0,1)\) such that
$$f(t,rx)\geq r^{\frac{p(t)-1}{2}}f(t,x),\quad \textit{which implies } f\biggl(t, \frac {1}{r}x\biggr)\leq r^{-\frac{p(t)-1}{2}}f(t,x). $$
Then BVP (1.3) has a unique positive solution.


Let \(\Theta(t)=1-t^{\alpha-1}\), \(\lambda(x)=\frac {1}{\Gamma(\alpha)}\int^{1}_{0}(1 - s)^{\alpha- 1}\varphi^{-1} _{p(s)}(I_{0^{+} }^{\beta}f(s,x(s)))\,ds\), \(\mu(x)=\frac{1}{\Gamma(\alpha )}\int^{1}_{0}\varphi^{-1} _{p(s)} (I_{0^{+} }^{\beta}f(s,x(s)))\,ds\). For \(u\in P_{\Theta}\), we will prove that \(A:P_{\Theta}\to P_{\Theta}\). Indeed, by Lemma 2.7, we have
$$\begin{aligned}& Ax(t)\geq\Theta(t)\frac{1}{\Gamma(\alpha)} \int^{1}_{0}(1 - s)^{\alpha - 1} \varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f \bigl(s,x(s)\bigr)\bigr)\,ds,\\& Ax(t)\leq\Theta(t)\frac{1}{\Gamma(\alpha)} \int^{1}_{0}\varphi^{-1} _{p(s)} \bigl(I_{0^{+} }^{\beta}f\bigl(s,x(s)\bigr)\bigr)\,ds. \end{aligned}$$
Clearly, we have \(\lambda(x)\Theta(t)\leq Ax\leq\mu(x)\Theta(t)\). Thus, we that \(A:P_{\Theta}\to P_{\Theta}\), together with (I4) and the monotone increasing of \(\varphi^{-1} _{p(t)}(\cdot)\), yields that A is an increasing operator. In view of (I5), we have
$$\begin{aligned} A(rx) \geq& r^{\frac{1}{2}} \int^{1}_{0}G(t,s)\varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f\bigl(s,x(s)\bigr)\bigr)\,ds \\ =& r\bigl(1+r^{-\frac{1}{2}}-1\bigr) \int^{1}_{0}G(t,s)\varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f\bigl(s,x(s)\bigr)\bigr)\,ds. \end{aligned}$$
We have \(\eta(r):=r^{-\frac{1}{2}}-1>0\). Let
$$\begin{aligned}& b(t)= \int^{1}_{0}G(t,s)\varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f\bigl(s,\Theta(s)\bigr) \bigr)\,ds, \\& b_{1}=\min\biggl\{ 1,\frac{1}{\Gamma(\alpha)} \int ^{1}_{0}(1 - s)^{\alpha- 1} \varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f \bigl(s,\Theta(s)\bigr)\bigr)\,ds\biggr\} , \\& b_{2}=\max\biggl\{ 1,\frac{1}{\Gamma(\alpha)} \int ^{1}_{0}\varphi^{-1} _{p(s)} \bigl(I_{0^{+} }^{\beta}f\bigl(s,\Theta(s)\bigr)\bigr)\,ds\biggr\} . \end{aligned}$$
Thus, we have \(b_{1}\Theta(t)\leq b(t)\leq b_{2}\Theta(t)\). Let \(a_{1}=\min\{\frac{1}{2},b_{1}\}\), \(a_{2}>1\), \(w_{0}(t)=a_{1}b(t)\), \(v_{0}(t)=a_{2}b(t)\). Since A is an increasing operator, we have \(Aw_{0}\leq A v_{0}\). On one hand,
$$f(t,w_{0})=f\bigl(t,a_{1}b(t)\bigr)\geq f \bigl(t,a_{1}b_{1}\Theta(t)\bigr)\geq (a_{1}b_{1})^{\frac{p(t)-1}{2}}f \bigl(t,\Theta(t)\bigr). $$
For \(a_{1}\leq b_{1}\), we have \(a_{1}\leq(a_{1}b_{1})^{\frac{1}{2}}\). Therefore,
$$\begin{aligned} Aw_{0}(t) =& \int^{1}_{0}G(t,s) \int^{1}_{0}\varphi^{-1} _{p(s)} \bigl(I_{0^{+} }^{\beta}f\bigl(s,w_{0}(s)\bigr)\bigr)\,ds \\ \geq& (a_{1}b_{1})^{\frac{1}{2}} \int^{1}_{0}G(t,s)\varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f\bigl(s,\Theta(s)\bigr) \bigr)\,ds \\ \geq& a_{1} \int^{1}_{0}G(t,s)\varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f\bigl(s,\Theta(s)\bigr) \bigr)\,ds \\ =&w_{0}(t). \end{aligned}$$
On the other hand,
$$f(t,v_{0})=f\bigl(t,a_{2}b(t)\bigr)\leq f \bigl(t,a_{2}b_{2}\Theta(t)\bigr)\leq\biggl( \frac {1}{a_{2}b_{2}}\biggr)^{\frac{p(t)-1}{2}}f\bigl(t,\Theta(t)\bigr). $$
$$\begin{aligned} Av_{0}(t) =& \int^{1}_{0}G(t,s)\varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f\bigl(s,v_{0}(s) \bigr)\bigr)\,ds \\ \leq& \biggl(\frac{1}{a_{2}b_{2}}\biggr)^{\frac{1}{2}} \int^{1}_{0}G(t,s)\varphi ^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f\bigl(s,\Theta(s)\bigr) \bigr)\,ds \\ \leq& a_{2} \int^{1}_{0}G(t,s)\varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f\bigl(s,\Theta(s)\bigr) \bigr)\,ds \\ =&v_{0}(t). \end{aligned}$$
Thus, we have \(w_{0}\leq Aw_{0}\leq Av_{0}\leq v_{0}\). In view of Lemma 2.2, BVP (1.3) has a unique positive solution. Moreover, for any \(u_{0}\in[w_{0},v_{0}]\), letting \(u_{n}=Au_{n-1}\) (\(n=1,2,\ldots\)), we have \(u_{n}\to u^{*}\). □

Example 3.2

Consider the following BVP:
$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} D_{0^{+} }^{\frac{4}{5}} \varphi_{4t^{2}+9} (D_{0^{+} }^{\frac{12}{5}} x(t)) +x^{2}(t)\sin t=0,\quad t \in[0,1], \\ x'(0)=x(1)=x''(0)=0,\qquad D_{0^{+} }^{\frac{12}{5}} x(0)=0, \end{array}\displaystyle \right . \end{aligned}$$
where \(\alpha=\frac{12}{5}\), \(\beta=\frac{4}{5}\), \(p(t)=4t^{2}+9\), \(r=\frac{1}{2}\), \(f(t,x(t))=x^{2}(t)\sin t\). It is easy to verify that (I1) is satisfied. Moreover,
$$\biggl(\frac{1}{2}x\biggr)^{2}\sin t= \frac{1}{4}x^{2}\sin t\geq\biggl(\frac {1}{4} \biggr)^{t^{2}+2}x^{2}\sin t ,\qquad (2x)^{2} \sin t=4x^{2}\sin t\leq4^{t^{2}+2}x^{2} \sin t, $$
which yields that (I2) is satisfied. Thus, Example 3.2 has a unique positive solution.

In order to state Theorem 3.3, let \(P_{L}:=\min_{t\in[0,1]}p(t)\), \(P_{M}:=\max_{t\in[0,1]}p(t)\).

Theorem 3.3

Assume that \(f:[0,1]\times\mathbb{R}\to \mathbb{R}\) is continuous and the following conditions hold.
There exist constants \(l_{1},l_{2}>0\) such that
$$\bigl|f(t,x)\bigr|\leq l_{1}+l_{2}|x|^{r-1},\quad 1< r\leq P_{L}. $$

\(\frac{K 2^{\frac{1}{P_{L}-1}}}{\Gamma(\alpha)(\Gamma(\beta +1))^{\frac{1}{P_{M}-1}}}<1\), \(K=\max\{l_{2}^{\frac {1}{P_{L}-1}},l_{2}^{\frac{1}{P_{M}-1}}\}\).

Then BVP (1.3) has a solution.


In the same way as in the proof of Theorem 3.2, it is easy to prove that \(A:C[0,1]\to C[0,1]\) is completely continuous. Denote
$$V=\bigl\{ x\in X|x=\lambda Ax, \lambda\in(0,1)\bigr\} . $$
According to Schaefer’s fixed point theorem, we just need to prove that V is bounded. For \(x\in V\), we have
$$\begin{aligned} \bigl|I_{0^{+} }^{\beta}f\bigl(t,x(t)\bigr)\bigr| \leq&\frac{1}{\Gamma(\beta)} \int^{t}_{0}(t-s)^{\beta-1}\bigl|f\bigl(s, x(s) \bigr)\bigr|\,ds \\ \leq&\frac{1}{\Gamma(\beta)} \int^{1}_{0}(t-s)^{\beta -1} \bigl(l_{1}+l_{2}\bigl|x(s)\bigr|^{r-1}\bigr) \\ \leq&\frac{1}{\Gamma(\beta+1)}\bigl(l_{1}+l_{2}\|x \|_{\infty}^{r-1}\bigr). \end{aligned}$$
By the inequality \((x+y)^{p}\leq2^{p}(x^{p}+y^{p})\) for \(x,y,p>0\) we have
$$\begin{aligned} \bigl|x(t)\bigr| =&\lambda\bigl|Ax(t)\bigr| \\ \leq& \int^{1}_{0}G(t,s)\varphi^{-1} _{p(s)}\bigl(I_{0^{+} }^{\beta}f\bigl(s,x(s)\bigr)\bigr)\,ds \\ \leq& \frac{1}{\Gamma(\alpha)} \int^{1}_{0}(1-s)^{\alpha-1} \biggl( \frac {2^{\frac{1}{p(s)-1}}}{(\Gamma(\beta+1))^{\frac {1}{p(s)-1}}}\bigl(l_{1}^{\frac{1}{p(s)-1}}+l_{2}^{\frac{1}{p(s)-1}} \|x\| _{\infty}^{\frac{r-1}{p(s)-1}}\bigr)\biggr)\,ds. \end{aligned}$$
Since \(\frac{r-1}{p(t)-1}\in(0,1]\), by the inequality \(x^{\alpha}\leq x+1\) for \(x>0\) and \(\alpha\in(0,1]\), we have
$$\begin{aligned} \|x\|_{\infty} \leq&\frac{2^{\frac{1}{P_{L}-1}}}{\Gamma(\alpha)(\Gamma(\beta +1))^{\frac{1}{P_{M}-1}}} \int^{1}_{0}(1-s)^{\alpha-1} \bigl(l_{1}^{\frac {1}{p(s)-1}}+l_{2}^{\frac{1}{p(s)-1}}\bigl(\|x \|_{\infty}+1\bigr)\bigr)\,ds. \end{aligned}$$
By (I7) there exists a constant \(\mu>0\) such that \(\|x\|_{\infty }\leq\mu\). Thus, the operator has a fixed point, which implies that BVP (1.3) has a solution. □

Example 3.3

Consider the following BVP:
$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} D_{0^{+} }^{\frac{3}{4}} \varphi_{t^{2}+2} (D_{0^{+} }^{\frac{5}{2}} x(t)) +1+\frac{1}{4}x^{2}(t)=0,\quad t \in[0,1], \\ x'(0)=x(1)=x''(0)=0,\qquad D_{0^{+} }^{\frac{5}{2}} x(0)=0, \end{array}\displaystyle \right . \end{aligned}$$
where \(\alpha=\frac{5}{2}\), \(\beta=\frac{3}{4}\), \(p(t)=t^{2}+2\), \(r=2\), \(f(t,x(t))=1+\frac{1}{4}x^{2}(t)\), \(l_{1}=1\), \(l_{2}=\frac{1}{4}\). Clearly, (I6) holds. Moreover,
$$\frac{1}{\Gamma(\frac{5}{2})(\Gamma(\frac{7}{4}))^{\frac{1}{2}}}< 1, $$
which implies that (I7) is satisfied. Thus, BVP (3.3) has a solution.



The authors really appreciate the referee’s valuable suggestions and comments, which improved the former version of this paper. This research is supported by the National Natural Science Foundation of China (No. 11271364).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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.

Authors’ Affiliations

Department of Mathematics, China University of Mining and Technology


  1. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006) View ArticleMATHGoogle Scholar
  2. Leszczynski, J, Blaszczyk, T: Modeling the transition between stable and unstable operation while emptying a silo. Granul. Matter 13, 429-438 (2011) View ArticleGoogle Scholar
  3. Bai, J, Feng, X: Fractional-order anisotropic diffusion for image denoising. IEEE Trans. Image Process. 16, 2492-2502 (2007) MathSciNetView ArticleGoogle Scholar
  4. Magin, R: Fractional calculus models of complex dynamics in biological tissues. Comput. Math. Appl. 59, 1586-1593 (2010) MathSciNetView ArticleMATHGoogle Scholar
  5. Bai, Z, Lü, H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311, 495-505 (2005) MathSciNetView ArticleMATHGoogle Scholar
  6. Zhao, X, Chai, C, Ge, W: Positive solutions for fractional four-point boundary value problems. Commun. Nonlinear Sci. Numer. Simul. 16, 3665-3672 (2011) MathSciNetView ArticleMATHGoogle Scholar
  7. Zhou, H, Kou, C, Xie, F: Existence of solutions for fractional differential equations with multi-point boundary conditions at resonance on a half-line. Electron. J. Qual. Theory Differ. Equ. 2011, 27 (2011) MathSciNetView ArticleMATHGoogle Scholar
  8. Sun, J, Liu, Y, Liu, G: Existence of solutions for fractional differential systems with antiperiodic boundary conditions. Comput. Math. Appl. 64, 1557-1566 (2012) MathSciNetView ArticleMATHGoogle Scholar
  9. Jiang, W: The existence of solutions to boundary value problems of fractional differential equations at resonance. Nonlinear Anal. 74, 1987-1994 (2011) MathSciNetView ArticleMATHGoogle Scholar
  10. Hu, Z, Liu, W: Solvability for fractional order boundary value problem at resonance. Bound. Value Probl. 2011, 20 (2011) View ArticleMATHGoogle Scholar
  11. Ford, N, Xiao, J, Yan, Y: A finite element method for time fractional partial differential equations. Fract. Calc. Appl. Anal. 14, 454-474 (2011) MathSciNetMATHGoogle Scholar
  12. Hu, Z, Liu, W, Liu, J: Existence of solutions of fractional differential equation with p-Laplacian operator at resonance. Abstr. Appl. Anal. 2014, 809637 (2014) MathSciNetGoogle Scholar
  13. 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) MathSciNetView ArticleMATHGoogle Scholar
  14. Chai, G: Positive solutions for boundary value problem of fractional differential equation with p-Laplacian operator. Bound. Value Probl. 2012 18 (2012) MathSciNetView ArticleMATHGoogle Scholar
  15. Leibenson, L: General problem of the movement of a compressible fluid in a porous medium. Izv. Akad. Nauk Kirg. SSR, Geography and Geophysics 9, 7-10 (1983) (in Russian) MathSciNetGoogle Scholar
  16. Zhang, Q, Wang, Y, Qiu, Z: Existence of solutions and boundary asymptotic behavior of \(p(r)\)-Laplacian equation multi-point boundary value problems. Nonlinear Anal. 72, 2950-2973 (2010) MathSciNetView ArticleMATHGoogle Scholar
  17. Zhang, Q: Existence of solutions for weighted \(p(r)\)-Laplacian system boundary value problems. J. Math. Anal. Appl. 327, 127-141 (2007) MathSciNetView ArticleMATHGoogle Scholar
  18. Fan, X, Zhang, Q, Zhao, D: Eigenvalues of \(p(x)\)-Laplacian Dirichlet problem. J. Math. Anal. Appl. 302, 306-317 (2005) MathSciNetView ArticleMATHGoogle Scholar
  19. Ge, W: Boundary Value Problems for Ordinary Nonlinear Differential Equations. Science Press, Beijing (2007) Google Scholar
  20. Zeidler, E: Nonlinear Functional Analysis and Its Applications I: Fixed-Point Theorems. Springer, Berlin (1985) View ArticleMATHGoogle Scholar
  21. Wang, W, Liang, Z: Fixed point theorem of a class of nonlinear operators and applications. Acta Math. Sin. 48, 789-800 (2005) MathSciNetMATHGoogle Scholar
  22. Yang, L, Chen, H: Unique positive solutions for fractional differential equation boundary value problems. Appl. Math. Lett. 23, 1095-1098 (2010) MathSciNetView ArticleMATHGoogle Scholar
  23. Leggett, R, Williams, L: Multiple positive fixed points of nonlinear operators on ordered Banach spaces. Indiana Univ. Math. J. 28, 673-688 (1979) MathSciNetView ArticleMATHGoogle Scholar
  24. Mawhin, J: Topological degree and boundary value problems for nonlinear differential equations in topological methods for ordinary differential equations. Lect. Notes Math. 1537, 74-142 (1993) MathSciNetView ArticleMATHGoogle Scholar
  25. Kuang, J: Applied Inequalities. Shandong Science and Technology Press, Shandong (2004) Google Scholar


© Shen et al. 2016