Skip to main content

Theory and Modern Applications

Existence and uniqueness of solutions for a class of fractional nonlinear boundary value problems under mild assumptions

Abstract

We deal with the following Riemann–Liouville fractional nonlinear boundary value problem:

$$ \textstyle\begin{cases} \mathcal{D}^{\alpha }v(x)+f(x,v(x))=0, & 2< \alpha \leq 3, x\in (0,1), \\ v(0)=v^{\prime }(0)=v(1)=0. \end{cases} $$

Under mild assumptions, we prove the existence of a unique continuous solution v to this problem satisfying

$$ \bigl\vert v(x) \bigr\vert \leq cx^{\alpha -1}(1-x)\quad\text{for all }x \in [ 0,1]\text{ and some }c>0. $$

Our results improve those obtained by Zou and He (Appl. Math. Lett. 74:68–73, 2017).

1 Introduction

Fractional differential equations have attracted great attention due to their ability to model various phenomena in applied sciences. The so-called fractional differential equations are specified by generalizing the standard integer-order derivative to arbitrary order. For more interesting theoretical results and scientific applications of fractional differential equations, we refer to the monographs of Diethelm [2] and Kilbas et al. [3] and references therein.

The existence, uniqueness, and global behavior of solutions for boundary value problems of fractional differential equations have been considered in several recent papers (see, e.g., [1, 49] and references therein).

Zou and He [1] investigated the problem

$$ \textstyle\begin{cases} \mathcal{D}^{\alpha }v(x)+f(x,v(x))=0, & 2< \alpha \leq 3, x\in (0,1), \\ v(0)=v^{\prime }(0)=v(1)=0, \end{cases} $$
(1.1)

where \(\mathcal{D}^{\alpha }\) denotes the standard Riemann–Liouville fractional derivative, and f satisfies the following conditions:

  1. (H1)

    \(f\in C((0,1)\times \mathbb{R},\mathbb{R})\) and \(\int _{0}^{1} \vert f(x,0) \vert \,dx<\infty \);

  2. (H2)

    There exists \(q\in C((0,1),[0,\infty ))\) such that

    $$ \bigl\vert f(x,v)-f(x,w) \bigr\vert \leq q(x) \vert v-w \vert ,\quad \forall x\in (0,1), v,w\in \mathbb{R,} $$

    and

    $$ 0< \int _{0}^{1}q(x)\,dx< \infty. $$
    (1.2)

Let \(L>0\) be the minimum positive constant such that

$$ \int _{0}^{1}G_{\alpha }(x,y)q(y)y^{\alpha -1}(1-y) \,dy\leq Lx^{\alpha -1}(1-x), $$
(1.3)

where \(G_{\alpha }(x,y)\) is the Green’s function (given later in this paper) associated with problem (1.1). By using Banach’s contraction principle on some convenient Banach space they have obtained the following result.

Theorem 1.1

Under assumptions (H1)–(H2) and \(L<1\), problem (1.1) has a unique solution in \(C([0,1])\).

Motivated by this reault, we prove that the conclusion of Theorem 1.1 remains true under the following weaker assumptions:

  1. (A1)

    \(f\in C((0,1)\times \mathbb{R},\mathbb{R})\) and \(\int _{0}^{1}(1-x)^{\alpha -2} \vert f(x,0) \vert \,dx<\infty \);

  2. (A2)

    There exists \(q\in C((0,1),[0,\infty ))\) such that

    $$ \bigl\vert f(x,v)-f(x,w) \bigr\vert \leq q(x) \vert v-w \vert ,\quad\forall x\in (0,1), v,w\in \mathbb{R,} $$

    and

    $$ 0< M_{q,\alpha }:=\frac{1}{\Gamma (\alpha -1)} \int _{0}^{1}x^{\alpha -1}(1-x)^{ \alpha -1}q(x) \,dx< \infty. $$
    (1.4)

Remark 1.2

It is clear that conditions (H1)–(H2) imply (A1)–(A2).

Conversely, for \(\beta \in [ 1,\alpha -1)\), the function \(f(x,v):=(1-x)^{-\beta }(1+v)\) satisfies hypotheses (A1)–(A2) but not conditions (H1)–(H2). So assumptions (A1)–(A2) are weaker.

In this paper, for \(\alpha \in [ 2,3)\), we use the following notations:

\(h(x):=x^{\alpha -1}(1-x)\), \(x\in [ 0,1]\).

\(G_{\alpha }(x,y)\) denotes the Green’s function of the operator \(v\rightarrow -D^{\alpha }v\) with boundary conditions \(v(0)=v^{\prime }(0)=v(1)\).

\(E:= \{ a>0: \int _{0}^{1}G_{\alpha }(x,y)h(y)q(y)\,dy \leq ah(x), x\in [ 0,1] \} \) (we will see that \(E \neq \emptyset\)).

$$ \bullet M:=\inf E. $$
(1.5)

We will prove that M is a positive constant satisfying the following range estimation:

$$ M_{q,\alpha +1}\leq M\leq M_{q,\alpha }. $$
(1.6)

• For \(a\in \mathbb{R}\), \(a^{+}:=\max (a,0)\).

\(C_{h}([0,1]):=\{v\in C([0,1]):\text{ there is }\sigma >0\text{ such that }\vert v(x) \vert \leq \sigma h(x),x\in [ 0,1]\}\).

In the next remark, we list some properties of elements of \(C_{h}([0,1])\).

Remark 1.3

  1. (i)

    \(C_{h}([0,1])\) is a Banach space equipped with the following h-norm:

    $$ \Vert v \Vert _{h}:=\inf \bigl\{ \sigma >0: \bigl\vert v(x) \bigr\vert \leq \sigma h(x), x\in [ 0,1]\bigr\} = \underset{x\in (0,1)}{ \sup }\frac{ \vert v(x) \vert }{h(x)}. $$
    (1.7)
  2. (ii)

    \(v\in C_{h}([0,1])\) if and only if \(v=h\varphi \), where φ is a bounded continuous function in \((0,1)\).

Our main result is the following:

Theorem 1.4

Assume that (A1) and (A2) hold. If \(M<1\), then problem (1.1) has a unique solution v in \(C_{h}([0,1])\). In addition, for any \(v_{0}\in C_{h}([0,1])\), the iterative sequence \(v_{k}(x):=\int _{0}^{1}G_{\alpha }(x,y)f(y,v_{k-1}(y))\,dy\) converges to v with respect to the h-norm, and we have

$$ \Vert v_{k}-v \Vert _{h}\leq \frac{M^{k}}{1-M} \Vert v_{1}-v_{0} \Vert _{h}. $$
(1.8)

Our paper is organized as follows. In Sect. 2, we improve the estimates on Green’s function \(G_{\alpha }\) obtained in [1, Lemma 2.2]. This allows us to obtain the range estimation (1.6). Our main result is proved in Sect. 3. Some examples and approximations are given at the end.

2 Preliminaries

Definition 2.1

([3])

Let \(f: ( 0,\infty ) \rightarrow \mathbb{R} \) be a measurable function.

  1. (i)

    The Riemann–Liouville fractional integral of order \(\gamma >0 \) for f is defined as

    $$ I^{\gamma }f(x):=\frac{1}{\Gamma (\gamma )} \int _{0}^{x}(x-y)^{ \gamma -1}f(y)\,dy, $$

    where Γ is the Euler gamma function.

  2. (ii)

    The Riemann–Liouville fractional derivative of order \(\gamma >0\) for f is defined as

    $$ \mathcal{D}^{\gamma }f(x):= \frac{1}{\Gamma ( n-\gamma ) } \biggl( \frac{d}{dx} \biggr) ^{n} \int _{0}^{x} ( x-y ) ^{n-\gamma -1}f ( y ) \,dy, $$

    where \(n=[\gamma ]+1\), and \([\gamma ]\) is the integer part of γ.

By [10, Lemma 2.2] the Green’s function associated with problem (1.1) is given by

$$ G_{\alpha } ( x,y ) = \frac{1}{\Gamma ( \alpha ) }\textstyle\begin{cases} x^{\alpha -1} ( 1-y ) ^{\alpha -1}- ( x-y ) ^{ \alpha -1} & \text{for }0\leq y\leq x\leq 1, \\ x^{\alpha -1} ( 1-y ) ^{\alpha -1} & \text{for }0\leq x \leq y\leq 1.\end{cases} $$
(2.1)

Lemma 2.2

The Green’s function \(G_{\alpha } ( x,y ) \) has the following properties:

  1. (i)

    \(G_{\alpha }(x,y)\) is a nonnegative continuous function on \([ 0,1 ] \times [ 0,1 ] \).

  2. (ii)

    For all \(x,y\in [0,1]\), we have

    $$ H_{\alpha }(x,y)\leq G_{\alpha } ( x,y ) \leq ( \alpha -1 ) H_{\alpha }(x,y), $$
    (2.2)

    where \(H_{\alpha }(x,y):=\frac{1}{\Gamma (\alpha )}x^{\alpha -2}(1-y)^{ \alpha -2}\min (x,y)(1-\max (x,y))\).

Proof

It is obvious that (i) holds. Now we prove (ii). From (2.1), for all \(x,y\in (0,1)\), we have

$$\begin{aligned} \Gamma ( \alpha ) G_{\alpha } ( x,y ) &=x^{ \alpha -1} ( 1-y ) ^{\alpha -1}- \bigl( (x-y)^{+} \bigr) ^{ \alpha -1} \end{aligned}$$
(2.3)
$$\begin{aligned} &=x^{\alpha -1} ( 1-y ) ^{\alpha -1} \biggl(1- \biggl( \frac{(x-y)^{+}}{x(1-y)} \biggr) ^{\alpha -1} \biggr) . \end{aligned}$$
(2.4)

Since for \(\lambda >0\) and \(t\in [0,1]\),

$$ \min (1,\lambda ) (1-t)\leq 1-t^{\lambda }\leq \max (1,\lambda ) (1-t), $$

we deduce that

$$ 1-\frac{(x-y)^{+}}{x(1-y)} \leq 1- \biggl( \frac{(x-y)^{+}}{x(1-y)} \biggr) ^{\alpha -1} \leq ( \alpha -1 ) \biggl( 1- \frac{(x-y)^{+}}{x(1-y)} \biggr). $$

Using this fact and (2.4), we obtain

$$ x(1-y)-(x-y)^{+}\leq \frac{\Gamma ( \alpha ) G_{\alpha } ( x,y ) }{x^{\alpha -2} ( 1-y ) ^{\alpha -2}}\leq ( \alpha -1 ) \bigl(x(1-y)-(x-y)^{+}\bigr). $$

Hence estimates (2.2) follow from

$$ x(1-y)-(x-y)^{+}=\min (x,y) \bigl(1-\max (x,y)\bigr). $$

 □

Remark 2.3

In [1, Lemma 2.2], the authors stated that for all \(x,y\in [0,1]\),

  1. (i)

    \(x^{\alpha -1}(1-x)y(1-y)^{\alpha -1}\leq \Gamma (\alpha )G_{\alpha }(x,y) \leq ( \alpha -1 )y(1-y)^{\alpha -1}\),

  2. (ii)

    \(x^{\alpha -1}(1-x)y(1-y)^{\alpha -1}\leq \Gamma (\alpha )G_{\alpha }(x,y) \leq ( \alpha -1 )x^{\alpha -1}(1-x)\).

Note that since for all \(x,y\in [0,1]\),

$$ xy\leq \min (x,y)\quad \text{and}\quad (1-x) (1-y)\leq \bigl(1-\max (x,y)\bigr), $$

we get

$$ x^{\alpha -1}(1-x)y(1-y)^{\alpha -1}\leq \Gamma (\alpha )H_{\alpha }(x,y) \leq \min \bigl( x^{\alpha -1}(1-x),y(1-y)^{\alpha -1} \bigr). $$

Combining this fact with (2.2), we immediately obtain inequalities (i) and (ii).

Therefore estimates (2.2) improve those stated in [1, Lemma 2.2].

Lemma 2.4

Let \(q\in C((0,1),[0,\infty ))\) and assume that \(0< M_{q,\alpha }<\infty \). Then

$$ M_{q,\alpha +1}\leq M\leq M_{q,\alpha }, $$

where M is the constant defined by (1.5).

Proof

Let

$$ E= \biggl\{ a>0: \int _{0}^{1}G_{\alpha }(x,y)h(y)q(y)\,dy\leq ah(x), x\in [ 0,1] \biggr\} , $$

where \(h(x):=x^{\alpha -1}(1-x)\), \(x\in [ 0,1]\).

By (2.2) we obtain

$$\begin{aligned} &\int _{0}^{1}G_{\alpha }(x,y)h(y)q(y)\,dy \\ &\quad\leq \frac{1}{\Gamma (\alpha -1)}x^{\alpha -2} \int _{0}^{1}y^{\alpha -1}(1-y)^{\alpha -1}\min (x,y) \bigl(1- \max (x,y)\bigr)q(y)\,dy \\ &\quad\leq M_{q,\alpha }h(x). \end{aligned}$$

It follows that \(E\neq \emptyset \) and \(M\leq M_{q,\alpha }\), where \(M:=\inf E\).

On the other hand, using again (2.2) and that

\(\min (x,y)(1-\max (x,y))\geq xy(1-x)(1-y)\) for \(x,y\in [ 0,1]\), we deduce that for any \(a\in E\),

$$\begin{aligned} ah(x) &\geq \frac{1}{\Gamma (\alpha )}x^{\alpha -2} \int _{0}^{1}y^{ \alpha -1}(1-y)^{\alpha -1}\min (x,y) \bigl(1-\max (x,y)\bigr)q(y)\,dy \\ &\geq \frac{1}{\Gamma (\alpha )}x^{\alpha -2} \int _{0}^{1}y^{\alpha -1}(1-y)^{ \alpha -1}xy(1-x) (1-y)q(y)\,dy \\ &=h(x)M_{q,\alpha +1}. \end{aligned}$$

Hence for each \(a\in E\),

$$ a\geq M_{q,\alpha +1}. $$

Therefore \(M\geq M_{q,\alpha +1}\), that is, \(M\in [ M_{q,\alpha +1},M_{q,\alpha }]\). □

Remark 2.5

From Lemma 2.4 it is obvious that if \(M_{q,\alpha }<1\), then

\(M:=\inf E<1\). Note that the inequality \(M_{q,\alpha }<1\) can be verified for a large class of functions q, including the singular cases. For example, let

\(B(a,b):=\int _{0}^{1}t^{a-1}(1-t)^{b -1}\,dt\) for \(a>0\) and \(b>0\).

Then by using MATLAB we obtain

  1. (i)

    If \(q\in C((0,1))\) with \(q>0\) and \(\Vert q \Vert _{\infty }\leq 1\), then

    $$ M_{q,\alpha }\leq \frac{B(\alpha,\alpha )}{\Gamma (\alpha -1)}< 1. $$
  2. (ii)

    If \(q(x):=(1-x)^{-\frac{\alpha }{2}}\), then

    $$ M_{q,\alpha }=\frac{B(\alpha,\frac{\alpha }{2})}{\Gamma (\alpha -1)}< 1. $$
  3. (iii)

    If \(q(x):=x^{-\frac{\alpha }{3}}(1-x)^{-\frac{\alpha }{2}} \), then

    $$ M_{q,\alpha }= \frac{B(\frac{2\alpha }{3},\frac{\alpha }{2})}{\Gamma (\alpha -1)}< 1. $$

3 Existence and uniqueness

We need the following useful lemma.

Lemma 3.1

Let \(2<\alpha <3\), and let φ be a function such that \(x\rightarrow (1-x)^{\alpha -1}\varphi (x)\in C((0,1))\cap L^{1}((0,1))\). Then the unique continuous solution of the problem

$$ \textstyle\begin{cases} \mathcal{D}^{\alpha }v(x)=-\varphi (x), & x\in (0,1), \\ v(0)=v^{\prime }(0)=v(1)=0, \end{cases} $$
(3.1)

is given by

$$ V\varphi (x):= \int _{0}^{1}G_{\alpha }(x,y)\varphi (y)\,dy. $$

Proof

Let φ be a function such that \(x\rightarrow (1-x)^{\alpha -1}\varphi (x)\in C((0,1))\cap L^{1}((0,1))\). Since by Lemma 2.2, \(G_{\alpha }(x,y)\) belongs to \(C( [ 0,1 ] \times [ 0,1 ] )\) with

$$ 0\leq G_{\alpha }(x,y)\leq \frac{1}{\Gamma (\alpha -1)}(1-y)^{\alpha -1}, $$

we deduce by the dominated convergence theorem that \(V\varphi \in C([0,1])\)

and \(V\varphi (0)=V\varphi (1)=0\). Therefore \(I^{3-\alpha }(V \vert \varphi \vert )\) is bounded on \([0,1]\). By Fubini’s theorem we obtain

$$\begin{aligned} I^{3-\alpha }(V\varphi ) (x) &=\frac{1}{\Gamma (3-\alpha )}\int _{0}^{x}(x-y)^{2-\alpha }V\varphi (y)\,dy \\ &= \int _{0}^{1}K(x,r)\varphi (r)\,dr, \end{aligned}$$

where \(K(x,r):=\frac{1}{\Gamma (3-\alpha )}\int _{0}^{x}(x-y)^{2-\alpha }G_{\alpha }(y,r)\,dy\).

Simple calculation gives

$$ K(x,r)=\frac{1}{2}x^{2}(1-r)^{\alpha -1}-\frac{1}{2} \bigl((x-r)^{+}\bigr)^{2}. $$

Hence, for \(x\in (0,1)\), we have

$$ I^{3-\alpha }(V\varphi ) (x)=\frac{x^{2}}{2} \int _{0}^{1}(1-r)^{ \alpha -1}\varphi (r)\,dr- \frac{1}{2} \int _{0}^{x}(x-r)^{2}\varphi (r)\,dr. $$

This implies that

$$ \frac{d^{3}}{dx^{3}}\bigl(I^{3-\alpha }(V\varphi )\bigr) (x)=-\varphi (x). $$

Now, since for each \(y\in (0,1)\),

$$ \underset{x\rightarrow 0}{\lim }\frac{G_{\alpha }(x,y)}{x}=0 \quad\text{and}\quad 0 \leq \frac{G_{\alpha }(x,y)}{x}\leq \frac{1}{\Gamma (\alpha -1)}(1-y)^{\alpha -1}, $$

by the dominated convergence theorem we obtain \((V\varphi )^{\prime }(0)=0\).

To prove the uniqueness, let \(v,w\in C([0,1])\) be two solutions of problem (3.1) and set \(\theta:=v-w\). Then \(\theta \in C([0,1])\), and we have

$$ \textstyle\begin{cases} \mathcal{D}^{\alpha }\theta (x)=0, & x\in (0,1), \\ \theta (0)=\theta ^{\prime }(0)=\theta (1)=0. \end{cases} $$

By [3, Corollary 2.1] there exist \(c_{1},c_{2},c_{3}\in \mathbb{R}\) such that

$$ \theta (x)=c_{1}x^{\alpha -1}+c_{2}x^{\alpha -2}+c_{3}x^{\alpha -3}. $$

Applying the boundary conditions, we obtain \(c_{3}=c_{2}=c_{1}=0\), that is, \(v=w\). □

Remark 3.2

The conclusion of Lemma 3.1 remains true for \(\alpha =3\).

Proof of Theorem 1.4

Assume that (A1) and (A2) hold and \(M<1\), where M is given by (1.5). Let us prove that problem (1.1) has a unique solution v in \(C_{h}([0,1])\). In addition, for any \(v_{0}\in C_{h}([0,1])\), the iterative sequence \(v_{k}(x):=\int _{0}^{1}G_{\alpha }(x,y)f(y,v_{k-1}(y))\,dy\) converges to v with respect to the h-norm, and we have

$$ \Vert v_{k}-v \Vert _{h}\leq \frac{M^{k}}{1-M} \Vert v_{1}-v_{0} \Vert _{h}. $$

To this end, define the operator T by

$$ Tv(x)= \int _{0}^{1}G_{\alpha }(x,y)f\bigl(y,v(y)\bigr) \,dy, x \in [ 0,1], v\in C_{h}\bigl([0,1] \bigr). $$
(3.2)

We claim that T is a contraction operator from \((C_{h}([0,1]), \Vert \cdot \Vert _{h})\) into itself.

Let \(v\in C_{h}([0,1])\), and let \(\sigma >0\) be such that \(\vert v(x) \vert \leq \sigma h(x)\) for all \(x\in [ 0,1]\).

Since by Lemma 2.2(ii), \(0\leq G_{\alpha }(x,y)\leq \frac{1}{\Gamma (\alpha -1)}(1-y)^{ \alpha -2}\), it follows from \((A2)\) that

$$\begin{aligned} \bigl\vert G_{\alpha }(x,y)f\bigl(y,v(y)\bigr) \bigr\vert &\leq \frac{1}{\Gamma (\alpha -1)}(1-y)^{ \alpha -2} \bigl( \bigl\vert f\bigl(y,v(y) \bigr)-f(y,0) \bigr\vert + \bigl\vert f(y,0) \bigr\vert \bigr) \\ &\leq \frac{1}{\Gamma (\alpha -1)}(1-y)^{\alpha -2} \bigl( q(y) \bigl\vert v(y) \bigr\vert + \bigl\vert f(y,0) \bigr\vert \bigr) \\ &\leq \frac{1}{\Gamma (\alpha -1)}\bigl(\sigma y^{\alpha -1}(1-y)^{ \alpha -1}q(y)+(1-y)^{\alpha -2} \bigl\vert f(y,0) \bigr\vert \bigr). \end{aligned}$$

Since \(G_{\alpha }(x,y)\) is continuous on \([ 0,1 ] \times [ 0,1 ] \), by (A1)–(A2) and the dominated convergence theorem we deduce that \(Tv\in C([0,1])\).

Furthermore, from Lemma 2.2(ii) we have

$$ 0\leq G_{\alpha }(x,y)\leq \frac{1}{\Gamma (\alpha -1)}h(x) (1-y)^{ \alpha -2}. $$
(3.3)

Hence by using (3.3) and similar arguments as before we obtain

$$ \bigl\vert Tv(x) \bigr\vert \leq \biggl[ \sigma M_{q,\alpha }+ \frac{1}{\Gamma (\alpha -1)} \int _{0}^{1}(1-y)^{\alpha -2} \bigl\vert f(y,0) \bigr\vert \,dy \biggr]h(x), $$

and thus \(T(C_{h}([0,1]))\subset C_{h}([0,1])\).

Next, for any \(v,w\in C_{h}([0,1])\), by using \((A2)\) we obtain that for \(x\in [0,1]\),

$$\begin{aligned} \bigl\vert Tv(x)-Tw(x) \bigr\vert &\leq \int _{0}^{1}G_{ \alpha }(x,y) \bigl\vert f \bigl(y,v(y)\bigr)-f\bigl(y,w(y)\bigr) \bigr\vert \,dy \\ &\leq \int _{0}^{1}G_{\alpha }(x,y)q(y) \bigl\vert v(y)-w(y) \bigr\vert \,dy \\ &\leq \Vert v-w \Vert _{h} \int _{0}^{1}G_{ \alpha }(x,y)q(y)h(y)\,dy \\ &\leq M \Vert v-w \Vert _{h}h(x). \end{aligned}$$

Hence

$$ \Vert Tv-Tw \Vert _{h}\leq M \Vert v-w \Vert _{h}. $$

Since \(M<1\), T becomes a contraction operator in \(C_{h}([0,1])\). So there exists a unique \(v\in C_{h}([0,1])\) satisfying

$$ v(x)= \int _{0}^{1}G_{\alpha }(x,y)f\bigl(y,v(y)\bigr) \,dy,\quad x \in (0,1). $$
(3.4)

It remains to prove that v is a solution of problem (1.1). Indeed, it is clear that \(x\rightarrow (1-x)^{\alpha -1}f(x,v(x))\in C((0,1))\). Next, by using \((A2)\) and \(v\in C_{h}([0,1])\) we obtain

$$\begin{aligned} \bigl\vert (1-x)^{\alpha -1}f\bigl(x,v(x)\bigr) \bigr\vert &\leq (1-x)^{ \alpha -1}\bigl( \bigl\vert f\bigl(x,v(x)\bigr)-f(x,0) \bigr\vert + \bigl\vert f(x,0) \bigr\vert \bigr) \\ &\leq (1-x)^{\alpha -1}\bigl(q(x) \bigl\vert v(x) \bigr\vert + \bigl\vert f(x,0) \bigr\vert \bigr) \\ &\leq \sigma x^{\alpha -1}(1-x)^{\alpha -1}q(x)+(1-x)^{\alpha -2} \bigl\vert f(x,0) \bigr\vert . \end{aligned}$$

Therefore by (A1) and (A2) it follows that \(x\rightarrow (1-x)^{\alpha -1}f(x,v(x))\in L^{1}((0,1))\). Hence from Lemma 3.1 we derive that v is a solution of problem (1.1).

Finally, it is well known that for any \(v_{0}\in \) \(C_{h}([0,1])\), the iterative sequence

\(v_{k}(x):=\int _{0}^{1}G_{\alpha }(x,y)f(y,v_{k-1}(y))\,dy\) converges to v, and we have

$$ \Vert v_{k}-v \Vert _{h}\leq \frac{M^{k}}{1-M} \Vert v_{1}-v_{0} \Vert _{h}. $$

 □

Example 3.3

Let \(2<\alpha \leq 3\). Consider the problem

$$ \textstyle\begin{cases} \mathcal{D}^{\alpha }v(x)+q(x)\cos v=0, & x\in (0,1), \\ v(0)=v^{\prime }(0)=v(1)=0, \end{cases} $$
(3.5)

where \(q\in C((0,1))\) with \(q>0\) and \(\Vert q \Vert _{\infty }\leq 1\). Let \(f(x,v):=q(x)\cos v\) for \((x,v)\in (0,1)\times \mathbb{R}\). We have \(f\in C((0,1)\times \mathbb{R},\mathbb{R})\) and

$$ \int _{0}^{1}(1-x)^{\alpha -2} \bigl\vert f(x,0) \bigr\vert \,dx\leq \Vert q \Vert _{\infty } \int _{0}^{1}(1-x)^{ \alpha -2}\,dx< \infty. $$

So assumption (A1) is verified.

On the other hand, since \(v\rightarrow \cos v\) is a Lipschitz function, we obtain

$$ \bigl\vert f(x,v)-f(x,w) \bigr\vert \leq q(x) \vert v-w \vert , \quad x\in (0,1), v,w\in \mathbb{R}. $$

By Lemma 2.4 and Remark 2.5(i) we have

$$ 0< M\leq M_{q,\alpha }\leq \frac{ \Vert q \Vert _{\infty }}{\Gamma (\alpha -1)} \int _{0}^{1}x^{ \alpha -1}(1-x)^{\alpha -1} \,dx< 1. $$

Hence by Theorem 1.4 problem (3.5) has a unique solution \(v\in C_{h}([0,1])\).

Example 3.4

Let \(2<\alpha \leq 3\) and consider the singular problem

$$ \textstyle\begin{cases} \mathcal{D}^{\alpha }v(x)+(1-x)^{-\frac{\alpha }{2}}(1+\sin v)=0, & x \in (0,1), \\ v(0)=v^{\prime }(0)=v(1)=0. \end{cases} $$
(3.6)

In this case, we have \(f(x,v)=(1-x)^{-\frac{\alpha }{2}}(1+\sin v)\) for \((x,v)\in (0,1)\times \mathbb{R}\).

So \(f\in C((0,1)\times \mathbb{R},\mathbb{R})\) and \(\int _{0}^{1}(1-x)^{\alpha -2} \vert f(x,0) \vert \,dx=\int _{0}^{1}(1-x)^{\frac{\alpha }{2} -2}\,dx< \infty \), that is, assumption (A1) is satisfied.

On the other hand, we clearly have

$$ \bigl\vert f(x,v)-f(x,w) \bigr\vert \leq q(x) \vert v-w \vert ,\quad x\in (0,1), v,w\in \mathbb{R}, $$

where \(q(x):=(1-x)^{-\frac{\alpha }{2}}\).

From Lemma 2.4 and Remark 2.5(ii) we deduce that

$$ 0< M\leq M_{q,\alpha }=\frac{1}{\Gamma (\alpha -1)} \int _{0}^{1}x^{ \alpha -1}(1-x)^{\frac{\alpha }{2} -1} \,dx< 1. $$

Hence by Theorem 1.4 this problem has a unique solution \(v\in C_{h}([0,1])\). In particular, for \(\alpha =\frac{5}{2}\), the unique solution is approximated (see Fig. 1) by the iterative sequence \(v_{k}(x):=\int _{0}^{1}G_{\frac{5}{2}}(x,y)(1-y)^{-\frac{5}{4}}(1+ \sin (v_{k-1}(y)))\,dy\) with \(v_{0}(x)=x^{\frac{3}{2}}(1-x)\), \(x\in [ 0,1]\).

Figure 1
figure 1

The approximation of the solution of problem (3.6)

Example 3.5

Consider the problem

$$ \textstyle\begin{cases} \mathcal{D}^{\frac{5}{2}}v ( x ) +x^{-\frac{5}{6}}(1-x)^{- \frac{5}{4}}(1+v)=0,& x\in ( 0,1 ), \\ v(0)=v^{\prime }(0)=v(1)=0.\end{cases} $$
(3.7)

As in Example 3.4, we verify that assumptions (A1) and (A2) are satisfied. Therefore by Theorem 1.4 problem (3.7) has a unique solution \(v\in C_{h}([0,1])\), and the iterative sequence defined by \(v_{0}(x):=x^{\frac{3}{2}}(1-x)\), \(x\in [ 0,1]\), and

$$ v_{k}(x):= \int _{0}^{1}G_{\frac{5}{2}}(x,y)y^{- \frac{5}{6}}(1-y)^{-\frac{5}{4}} \bigl(1+v_{k-1}(y)\bigr)\,dy $$

converges to v (see Fig. 2).

Figure 2
figure 2

The approximation of the solution of problem (3.7)

Availability of data and materials

Not applicable.

References

  1. Zou, Y., He, G.: On the uniqueness of solutions for a class of fractional differential equations. Appl. Math. Lett. 74, 68–73 (2017)

    Article  MathSciNet  Google Scholar 

  2. Diethelm, K.: The Analysis of Fractional Differential Equations. Lecture Notes in Mathematics, vol. 2004. Springer, Berlin (2010)

    Book  Google Scholar 

  3. 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)

    Book  Google Scholar 

  4. Atangana, A., Akgül, A.: Analysis of new trends of fractional differential equations. In: Fractional Order Analysis, pp. 91–111. Wiley, USA (2020)

    Chapter  Google Scholar 

  5. Bai, Z.: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal. 72(2), 916–924 (2010)

    Article  MathSciNet  Google Scholar 

  6. Bai, Z., Zhang, S., Sun, S., Yin, C.: Monotone iterative method for fractional differential equations. Electron. J. Differ. Equ. 2016, 6 (2016)

    Article  MathSciNet  Google Scholar 

  7. Cui, Y.: Uniqueness of solution for boundary value problems for fractional differential equations. Appl. Math. Lett. 51, 48–54 (2016)

    Article  MathSciNet  Google Scholar 

  8. Liang, S., Zhang, J.: Positive solutions for boundary value problems of nonlinear fractional differential equation. Nonlinear Anal. 71(11), 5545–5550 (2009)

    Article  MathSciNet  Google Scholar 

  9. Zhang, X., Liu, L., Wu, Y.: The uniqueness of positive solution for a fractional order model of turbulent flow in a porous medium. Appl. Math. Lett. 37, 26–33 (2014)

    Article  MathSciNet  Google Scholar 

  10. Zhang, X., Liu, L., Wu, Y.: Multiple positive solutions of a singular fractional differential equation with negatively perturbed term. Math. Comput. Model. 55(3–4), 1263–1274 (2012)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors express their thanks to the referees for their valuable suggestions and comments, which improved the presentation.

Funding

The authors would like to extend their sincere appreciation to the Deanship of Scientific Research at King Saud University for its funding this Research group NO (RG-1435-043).

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Imed Bachar.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bachar, I., Mâagli, H. & Eltayeb, H. Existence and uniqueness of solutions for a class of fractional nonlinear boundary value problems under mild assumptions. Adv Differ Equ 2021, 22 (2021). https://doi.org/10.1186/s13662-020-03176-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-020-03176-w

MSC

Keywords