Skip to main content

# Existence of solutions for a mixed fractional boundary value problem

## Abstract

In this paper, we prove the existence of solutions for a boundary value problem involving both left Riemann-Liouville and right Caputo-type fractional derivatives. For this, we convert the posed problem to a sum of two integral operators, then we apply Krasnoselskii’s fixed point theorem to conclude the existence of nontrivial solutions.

## Introduction

The study of differential equations with forward and backward fractional derivatives is interesting since they can model some physical phenomena such as the fractional oscillator equations and the fractional Euler-Lagrange equations. Recently, a linear boundary value problem involving both the right Caputo and the left Riemann-Liouville fractional derivatives have been studied by many authors . Blaszczyk and Ciesielski  solved numerically a class of fractional Euler-Lagrange equations by transforming them into integral equations. Guezane-Lakoud, Khaldi and Torres  used an upper and lower solutions method combined with the monotonicity of the right Caputo derivative to prove the existence of solutions for a nonlinear fractional oscillator equation and the unbounded solutions were studied in  by Guezane-Lakoud and Kılıçman.

The aim of this work is to study of existence of solutions for a nonlinear boundary value problem involving both the right Caputo and the left Riemann-Liouville fractional derivatives:

\begin{aligned}& -^{C}D_{1^{-}}^{\alpha }D_{0^{+}}^{\beta }u ( t ) +f \bigl( t,u ( t ) \bigr) =0, \quad 0< t< 1, \end{aligned}
(1)
\begin{aligned}& u ( 0 ) =u^{\prime } ( 0 ) =u ( 1 ) =0, \end{aligned}
(2)

where $$0<\alpha \leq 1$$, $$1<\beta \leq 2$$, $${}^{C}D_{1^{-}}^{\alpha }$$ denotes the right Caputo derivative, $$D_{0^{+}}^{\beta }$$ denotes the left Riemann-Liouville, u is the unknown function and f: $$[ 0,1 ] \times {R}\rightarrow {R}$$ satisfies some conditions that will be specified later. For this end, we transform problem (1)-(2) to an integral equation that we write as a sum of a contraction and a completely continuous operator; then we use Krasnoselskii’s fixed point theorem to prove the existence of nontrivial solutions.

Note that, according to boundary conditions (2), the Caputo derivatives $${}^{C}D_{0^{+}}^{\beta }$$ and $${}^{C}D_{1^{-}}^{\alpha }$$ coincide respectively with the Riemann-Liouville derivatives $$D_{0^{+}}^{\beta }$$ and $$D_{1^{-}}^{\alpha }$$. So, equation (1) is reduced to the one containing only Caputo derivatives or only Riemann-Liouville derivatives, i.e.,

$$-^{C}D_{1^{-}}^{\alpha C}D_{0^{+}}^{\beta }u ( t ) +f \bigl( t,u ( t ) \bigr) =0,\quad 0< t< 1,$$

or

$$-D_{1^{-}}^{\alpha }D_{0^{+}}^{\beta }u ( t ) +f \bigl( t,u ( t ) \bigr) =0,\quad 0< t< 1.$$

Note that this study can be extended to a similar boundary value problem as follows:

\begin{aligned}& {}^{C}D_{0^{+}}^{\alpha C}D_{1^{-}}^{\beta }u ( t ) +f \bigl( t,u(t) \bigr) =0, \\& u ( 1 ) =u^{\prime } ( 1 ) =u ( 0 ) =0, \end{aligned}

see Remark 2.7.

Let us mention some interesting papers where fractional boundary value problems have been studied by different methods such as the upper and lower solutions method, fixed point theorems, successive approximations method, Mawhin coincidence degree theory and many more; see, for example, [8, 1117].

We recall some essential definitions on fractional calculus, we refer the reader to [15, 18, 19] for more details.

Let $$p>0$$, then the left and right Riemann-Liouville fractional integral of a function g are defined, respectively, by

\begin{aligned}& I_{0^{+}}^{p}g(t) =\frac{1}{\Gamma ( p ) } \int_{0}^{t}\frac{g(s) }{(t-s)^{1-p}}\,ds, \\& I_{1^{-}}^{p}g(t) =\frac{1}{\Gamma ( p ) } \int_{t}^{1}\frac{g(s)}{(s-t)^{1-p}}\,ds. \end{aligned}

The left Riemann-Liouville fractional derivative and the right Caputo fractional derivative of order $$p>0$$, of a function g are, respectively,

\begin{aligned}& D_{0^{+}}^{p}g(t) =\frac{d^{n}}{dt^{n}} \bigl( I_{0^{+}}^{n-p}g \bigr) (t), \\& {}^{C}D_{1^{-}}^{p}g(t) = ( -1 ) ^{n}I_{1^{-}}^{n-p}g^{ ( n ) }(t), \end{aligned}

where $$n-1< p< n$$. For the properties of Riemann-Liouville and Caputo fractional derivatives, we mention the following.

Let $$n-1< p< n$$ and $$f\in L_{1} [ 0,1 ]$$. Then

1. (1)

$$I_{0^{+}}^{pC}D_{0^{+}}^{p}f ( t ) =f ( t ) -\sum_{k=0}^{n-1}\frac{f^{ ( k ) } ( 0 ) }{k!}t^{k}$$;

2. (2)

$$I_{1^{-}}^{pC}D_{1^{-}}^{p}f ( t ) =f ( t ) -\sum_{k=0}^{n-1}\frac{ ( -1 ) ^{k}f^{ ( k ) } ( 1 ) }{k!} ( 1-t ) ^{k}$$.

Next, we state Krasnoselskii’s fixed point theorem that can be found with its proof in .

### Theorem 1.1

Krasnoselskii

Let M be a closed bounded convex nonempty subset of a Banach space E. Suppose that A and B map M into E such that

1. (i)

A is completely continuous,

2. (ii)

B is a contraction mapping,

3. (iii)

$$x,y\in M$$ implies $$Ax+By\in M$$.

Then there exists $$z\in M$$ with $$z=Az+Bz$$.

## Existence of nontrivial solutions

We begin by solving the following linear problem:

\begin{aligned}& -^{C}D_{1^{-}}^{\alpha }D_{0^{+}}^{\beta }u ( t ) +y ( t ) =0,\quad 0< t< 1, \end{aligned}
(3)
\begin{aligned}& u ( 0 ) =u^{\prime } ( 0 ) =u ( 1 ) =0. \end{aligned}
(4)

### Lemma 2.1

Assume that $$y\in L_{1} [ 0,1 ]$$, then u is a solution to the linear boundary value problem (3)-(4) if and only if u satisfies the integral equation

$$u ( t ) = \int_{0}^{1}G(t,r)y ( r ) \,dr-t^{\beta } \int_{0}^{1}g(r)y ( r ) \,dr,$$
(5)

where

\begin{aligned}& G(t,r) =\frac{1}{\Gamma ( \alpha ) \Gamma ( \beta ) }\textstyle\begin{cases} \int_{0}^{r} ( t-s ) ^{\beta -1} ( r-s ) ^{\alpha -1}\,ds, & 0\leq r\leq t\leq 1, \\ \int_{0}^{t} ( t-s ) ^{\beta -1} ( r-s ) ^{\alpha -1}\,ds, & 0\leq t\leq r\leq 1. \end{cases}\displaystyle \\ & g ( r ) =\frac{1}{\Gamma ( \alpha ) \Gamma ( \beta ) } \int_{0}^{r} ( 1-s ) ^{\beta -1} ( r-s ) ^{\alpha -1}\,ds. \end{aligned}
(6)

### Proof

Firstly, we apply the right-hand side fractional integral $$I_{1^{-}}^{\alpha }$$ to equation (3), then the fractional integral $$I_{0^{+}}^{\beta }$$ to the resultant equation and take into account that $$D_{0^{+}}^{\beta }u ( t ) ={}^{C}D_{0^{+}}^{\beta }u ( t )$$ and the properties of Caputo fractional derivatives. We get

$$u ( t ) =I_{0^{+}}^{\beta }I_{1^{-}}^{\alpha }y ( t ) +\frac{c_{0}t^{\beta }}{\Gamma ( \beta +1 ) }+u ( 0 ) +u^{\prime } ( 0 ) t.$$
(7)

Using the boundary conditions $$u ( 0 ) =u^{\prime } ( 0 ) =0$$, then $$u ( 1 ) =0$$, we get

$$c_{0}=-\Gamma ( \beta +1 ) I_{0^{+}}^{\beta }I_{1^{-}}^{\alpha }y ( t ) \vert_{t=1}.$$

Substituting $$c_{0}$$ in (7) yields

\begin{aligned} u ( t ) =&I_{0^{+}}^{\beta }I_{1^{-}}^{\alpha }y ( t ) -t^{\beta } \bigl( I_{0^{+}}^{\beta }I_{1^{-}}^{\alpha }y ( t ) \vert _{t=1} \bigr) \\ =&\frac{1}{\Gamma ( \alpha ) \Gamma ( \beta ) }\int_{0}^{t} ( t-s ) ^{\beta -1} \biggl( \int_{s}^{1} ( r-s ) ^{\alpha -1}y ( r ) \,dr \biggr) \,ds \\ &{}-\frac{t^{\beta }}{\Gamma ( \alpha ) \Gamma ( \beta ) } \int_{0}^{1} ( 1-s ) ^{\beta -1} \biggl( \int_{s}^{1} ( r-s ) ^{\alpha -1}y ( r ) \,dr \biggr) \,ds. \end{aligned}

Finally, by using the Fubini theorem, we get

\begin{aligned} u ( t ) =&\frac{1}{\Gamma ( \alpha ) \Gamma ( \beta ) } \int_{0}^{t} \biggl( \int_{0}^{r} ( t-s ) ^{\beta -1} ( r-s ) ^{\alpha -1}\,ds \biggr) y ( r ) \,dr \\ &{}+\frac{1}{\Gamma ( \alpha ) \Gamma ( \beta ) }\int_{t}^{1} \biggl( \int_{0}^{t} ( t-s ) ^{\beta -1} ( r-s ) ^{\alpha -1}\,ds \biggr) y ( r ) \,dr \\ &{}-\frac{t^{\beta }}{\Gamma ( \alpha ) \Gamma ( \beta ) } \int_{0}^{1} \biggl( \int_{0}^{r} ( 1-s ) ^{\beta -1} ( r-s ) ^{\alpha -1}\,ds \biggr) y ( r ) \,dr, \end{aligned}

this achieves the proof. □

In the next lemma, we give the properties of the functions G and g.

### Lemma 2.2

The functions G and g satisfy the following properties:

1. (1)

The functions $$G ( t,r )$$ and $$g ( r )$$ are nonnegative.

2. (2)

$$G(t,r)\leq \frac{1}{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }$$ and $$g(r)\leq \frac{1}{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }$$ for all $$r,t\in [ 0,1 ]$$.

### Proof

It is obvious that $$G(t,r)\geq 0$$. Set

$$g_{1}(t,r)= \int_{0}^{r} ( t-s ) ^{\beta -1} ( r-s ) ^{\alpha -1}\,ds,\quad 0\leq r\leq t\leq 1,$$

and

$$g_{2}(t,r)= \int_{0}^{t} ( t-s ) ^{\beta -1} ( r-s ) ^{\alpha -1}\,ds,\quad 0\leq t\leq r\leq 1.$$

Then

\begin{aligned}& g_{1}(t,r) \leq \int_{0}^{r} ( r-s ) ^{\alpha -1}\,ds= \frac{r^{\alpha }}{\alpha }\leq \frac{1}{\alpha },\quad 0\leq r\leq t\leq 1. \\& g_{2}(t,r) \leq \int_{0}^{t} ( t-s ) ^{\beta +\alpha -2}\,ds= \frac{t^{\beta +\alpha -1}}{\beta +\alpha -1}\leq \frac{1}{\alpha },\quad 0\leq t\leq r\leq 1. \end{aligned}

Consequently, $$G(t,r)\leq \frac{1}{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }$$ for all $$r,t\in [ 0,1 ]$$. Similarly, we prove that $$g(r)\leq \frac{1}{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }$$ for all $$r\in [ 0,1 ]$$. The proof is complete.

Define the Banach space $$E=C ( [ 0,1 ] ,\mathbb{R} )$$ and the operators A and B on E by

\begin{aligned}& Au ( t ) = \int_{0}^{1}G(t,r)f \bigl( r,u(r) \bigr) \,dr, \\& Bu ( t ) =-t^{\beta } \int_{0}^{1}g(r)f \bigl( r,u(r) \bigr) \,dr. \end{aligned}

Obviously, problem (1)-(2) has a solution if and only if $$A+B$$ has a fixed point, i.e.,

$$Au ( t ) +Bu ( t ) =u ( t ) ,\quad t\in [ 0,1 ] .$$

To prove this end, we make the following hypothesis:

(H) The function $$f (\cdot,0 )$$ is continuous and not identically null on $$[ 0,1 ]$$, and there exists a nonnegative function $$k\in L_{1} ( [ 0,1 ] ,\mathbb{R}_{+} )$$ such that

\begin{aligned}& \bigl\vert f ( t,x ) -f ( t,y ) \bigr\vert \leq k ( t ) \vert x-y \vert ,\quad 0\leq t\leq 1,x,y\in R, \\ & \Vert k \Vert _{L_{1}} < \frac{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }{2}. \end{aligned}

Let

$$M= \bigl\{ u\in E, \Vert u \Vert \leq R \bigr\} ,$$

where R is chosen such that

$$R\geq \frac{2L}{\Gamma ( \alpha +1 ) \Gamma ( \beta ) -2 \Vert k \Vert _{L_{1}}},$$
(8)

with $$L=\max \{ \vert f ( t,0 ) \vert ,0\leq t\leq 1 \}$$. Clearly, M is a nonempty, bounded and convex subset of the Banach space E. □

### Theorem 2.3

Under the hypothesis (H), problem (1)-(2) has nontrivial solutions in M.

To prove Theorem 4, we have to prove that all the assumptions of Krasnoselskii’s fixed point theorem are satisfied, for this we need the following lemmas.

### Lemma 2.4

Under the hypothesis (H), the mapping A is completely continuous on M.

### Proof

The proof will be done in three steps.

Step 1. The mapping A is continuous on M. Consider the sequence $$( u_{n} ) _{n}\in M$$ such that $$u_{n}\rightarrow u$$ in M, then from Lemma 3 and the hypothesis (H) we get

\begin{aligned} \bigl\vert Au_{n} ( t ) -Au ( t ) \bigr\vert \leq & \int_{0}^{1}G(t,r) \bigl\vert f \bigl( r,u_{n}(r) \bigr) -f \bigl( r,u(r) \bigr) \bigr\vert \,dr \\ \leq &\frac{ \Vert k \Vert _{L_{1}} \Vert u_{n}-u \Vert }{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }\leq \frac{ \Vert u_{n}-u \Vert }{2}. \end{aligned}

Consequently, $$\Vert Au_{n}-Au \Vert \rightarrow 0$$, when n tends to ∞.

Step 2. $$( Au )$$ is uniformly bounded on M. Let $$u\in M$$, then by condition (H) it yields

\begin{aligned} \bigl\vert Au ( t ) \bigr\vert \leq & \int_{0}^{1}G(t,r) \bigl\vert f \bigl( r,u(r) \bigr) \bigr\vert \,dr \\ \leq & \int_{0}^{1}G(t,r) \bigl[ \bigl\vert f \bigl( r,u(r) \bigr) -f ( r,0 ) \bigr\vert + \bigl\vert f ( r,0 ) \bigr\vert \bigr] \,dr \\ \leq & \frac{ \Vert k \Vert _{L_{1}} \Vert u \Vert }{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }+\frac{L}{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }\leq \frac{R \Vert k \Vert _{L_{1}}+L}{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }. \end{aligned}
(9)

Step 3. $$( Au )$$ is equicontinuous on M. We have, for $$u\in M$$, $$0\leq t_{1}< t_{2}\leq 1$$,

\begin{aligned} \bigl\vert Au ( t_{1} ) -Au ( t_{2} ) \bigr\vert \leq & \int_{0}^{t_{1}} \bigl\vert G(t_{1},r)-G(t_{2},r) \bigr\vert \bigl\vert f \bigl( r,u(r) \bigr) \bigr\vert \,dr \\ &{}+ \int_{t_{1}}^{t_{2}} \bigl\vert G(t_{1},r)-G(t_{2},r) \bigr\vert \bigl\vert f \bigl( r,u(r) \bigr) \bigr\vert \,dr \\ &{}+ \int_{t_{2}}^{1} \bigl\vert G(t_{1},r)-G(t_{2},r) \bigr\vert \bigl\vert f \bigl( r,u(r) \bigr) \bigr\vert \,dr \\ \leq &\frac{ ( R \Vert k \Vert _{L_{1}}+L ) }{\Gamma ( \alpha ) \Gamma ( \beta ) } \biggl( \int_{0}^{t_{1}} \biggl( \int_{0}^{r} \bigl( ( t_{2}-s ) ^{\beta -1}- ( t_{1}-s ) ^{\beta -1} \bigr) ( r-s ) ^{\alpha -1}\,ds \biggr) \,dr \\ &{}+ \biggl( \int_{t_{1}}^{1} \int_{0}^{t_{1}} \bigl( ( t_{2}-s ) ^{\beta -1}- ( t_{1}-s ) ^{\beta -1} \bigr) ( r-s ) ^{\alpha -1}\,ds \biggr) \,dr \\ &{}+ \int_{t_{1}}^{t_{2}} \biggl( \int_{t_{1}}^{r} ( t_{2}-s ) ^{\beta -1} ( r-s ) ^{\alpha -1}\,ds \biggr) \,dr \\ & {}+ \int_{t_{2}}^{1} \biggl( \int_{t_{1}}^{t_{2}} ( t_{2}-s ) ^{\beta -1} ( r-s ) ^{\alpha -1}\,ds \biggr) \,dr \biggr) \\ \leq &\frac{ ( R \Vert k \Vert _{L_{1}}+L ) }{\Gamma ( \alpha ) \Gamma ( \beta ) } \biggl[ ( \beta -1 ) ( t_{2}-t_{1} ) \biggl( \frac{1- ( 1-t_{1} ) ^{\alpha +1}}{\alpha ( \alpha +1 ) } \biggr) \\ & {}+ \biggl( \frac{ ( 1-t_{1} ) ^{\alpha +1}- ( 1-t_{2} ) ^{\alpha +1}}{\alpha ( \alpha +1 ) } \biggr) \biggr]. \end{aligned}

So, $$\vert Au ( t_{1} ) -Au ( t_{2} ) \vert$$ tends to zero when $$t_{1}\rightarrow t_{2}$$, thus $$( Au )$$ is equicontinuous. Finally, by Arzela-Ascoli’s theorem, it follows that A is a completely continuous mapping on M. The proof is complete. □

### Lemma 2.5

Under the hypothesis (H), the mapping B is a contraction on M.

### Proof

Let $$u,v\in M$$, then

\begin{aligned} \bigl\vert Bu ( t ) -Bv ( t ) \bigr\vert \leq & \int_{0}^{1}g(r) \bigl\vert f \bigl( r,u(r) \bigr) -f \bigl( r,v(r) \bigr) \bigr\vert \,dr \\ \leq &\frac{ \Vert k \Vert _{L_{1}} \Vert u-v \Vert }{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }\leq \frac{ \Vert u-v \Vert }{2}, \end{aligned}

thus B is a contraction on M. The proof is complete. □

### Lemma 2.6

Under the hypothesis (H), $$Au+Bv\in M$$ for all $$u,v\in M$$.

### Proof

From (8) and (9), we get

$$\bigl\vert Au ( t ) \bigr\vert \leq \frac{ ( R \Vert k \Vert _{L_{1}}+L ) }{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }\leq \frac{R}{2},\quad u\in M.$$

Proceeding as in Step 2 of the proof of Lemma 2.5, we get

$$\bigl\vert Bv ( t ) \bigr\vert \leq \frac{ ( R \Vert k \Vert _{L_{1}}+L ) }{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }\leq \frac{R}{2},\quad v\in M,$$

thus

$$\Vert Au+Bv \Vert \leq \Vert Au \Vert + \Vert Bv \Vert \leq R,$$

so, $$Au+Bv\in M$$. The proof is complete. □

### Proof of Theorem 4

Since the mapping A is completely continuous by Lemma 2.5, the mapping B is a contraction by Lemma 2.6 and $$Au+Bv\in M$$ for all $$u,v\in M$$ by Lemma 2.6. Then all the hypotheses of Theorem 1 are satisfied. Thus there exists a nontrivial solution $$u^{\ast }\in M$$ for problem (1)-(2) such that $$u^{\ast }=Au^{\ast }+Bu^{\ast }$$. The proof is complete. □

### Remark 2.7

The present study can be extended to similar problems. For example, we can prove the existence of solutions for the following boundary value problem:

\begin{aligned}& {}^{C}D_{0^{+}}^{\alpha C}D_{1^{-}}^{\beta }u ( t ) +f \bigl( t,u(t) \bigr) =0, \end{aligned}
(10)
\begin{aligned}& u ( 1 ) =u^{\prime } ( 1 ) =u ( 0 ) =0. \end{aligned}
(11)

In fact, let Q be the reflection operator $$( Qf ) ( t ) =f ( 1-t )$$. Since $$( QQu ) ( t ) =u ( t )$$, $${}^{C}D_{1^{-}}^{\beta }Q=Q^{C}D_{0^{+}}^{\beta }$$ and $${}^{C}D_{0^{+}}^{\alpha }Q=Q^{C}D_{1^{-}}^{\alpha }$$ (see ), then the boundary value problem (10)-(11) is equivalent to the following one:

\begin{aligned}& Q^{C}D_{1^{-}}^{\alpha C}D_{0^{+}}^{\beta }Qu ( t ) +f \bigl( t,QQu(t) \bigr) =0, \\& u ( 1 ) =u^{\prime } ( 1 ) =u ( 0 ) =0. \end{aligned}

Set $$v(t)=Qu(t)$$, then applying the operator Q, the boundary value problem (10)-(11) becomes

\begin{aligned}& -^{C}D_{1^{-}}^{\alpha C}D_{0^{+}}^{\beta }v ( t ) +F \bigl( t,v(t) \bigr) =0, \\& v ( 0 ) =v^{\prime } ( 0 ) =v ( 1 ) =0, \end{aligned}

where $$F ( t,x ) =-f ( ( 1-t ) ,x )$$. Thus both f and F satisfy condition (H). Thanks to Theorem 4, we conclude that problem (10)-(11) has a nontrivial solution.

### Example 2.8

If we consider problem (1)-(2) with $$\alpha =\frac{1}{2}$$, $$\beta =\frac{3}{2}$$ and

$$f ( t,x ) =\frac{\sin t^{2}}{3} \biggl( x-\frac{t}{2 ( 1+x^{2} ) } \biggr),$$

then it has a solution $$u^{\ast }$$ such that $$\Vert u^{\ast } \Vert \leq 1$$. Indeed, the hypothesis (H) holds:

\begin{aligned} \bigl\vert f ( t,x ) -f ( t,y ) \bigr\vert =&\frac{\sin t^{2}}{3} \biggl\vert x-y-\frac{t}{2} \biggl( \frac{1}{1+x^{2}}-\frac{1}{1+y^{2}} \biggr) \biggr\vert \\ =&\frac{\sin t^{2}}{3} \vert x-y \vert \biggl\vert 1+\frac{t}{2} \biggl( \frac{x+y}{ ( 1+x^{2} ) ( 1+y^{2} ) } \biggr) \biggr\vert \\ \leq &\frac{1}{2}\sin t^{2} \vert x-y \vert =k ( t ) \vert x-y \vert ,\quad 0\leq t\leq 1,x,y\in R. \end{aligned}

Moreover, we have

$$\Vert k \Vert _{L_{1}}= \int_{0}^{1}\frac{1}{2}\sin t^{2} \,dt=0.155 13< 0.392 70=\frac{\Gamma ( \alpha +1 ) \Gamma ( \beta ) }{2}.$$

Since

$$L=\sup \bigl\{ \bigl\vert f ( t,0 ) \bigr\vert ,0\leq t\leq 1 \bigr\} = \frac{\sin 1}{6}=0.140 25$$

and

$$\frac{2L}{\Gamma ( \alpha +1 ) \Gamma ( \beta ) -2 \Vert k \Vert _{L_{1}}}=0.754 64,$$

then R can be chosen as $$R=1\geq 0.754 64$$. Thus, by Theorem 4, this problem has a nontrivial solution

$$u^{\ast }\in M= \bigl\{ u\in E, \Vert u \Vert \leq 1 \bigr\} .$$

## References

1. 1.

Agrawal, OP: Fractional variational calculus and transversality condition. J. Phys. A, Math. Gen. 39, 10375-10384 (2006)

2. 2.

Atanackovic, TM, Stankovic, B: On a differential equation with left and right fractional derivatives. Fract. Calc. Appl. Anal. 10(2), 139-150 (2007)

3. 3.

Błaszczyk, T, Ciesielski, M: Numerical solution of fractional Sturm-Liouville equation in integral form. Fract. Calc. Appl. Anal. 17(2), 307-320 (2014)

4. 4.

Blaszczyk, T, Ciesielski, M: Fractional oscillator equation - transformation into integral equation and numerical solution. Appl. Math. Comput. 257, 428-435 (2015)

5. 5.

Blaszczyk, T: A numerical solution of a fractional oscillator equation in a non-resisting medium with natural boundary conditions. Rom. Rep. Phys. 67(2), 350-358 (2015)

6. 6.

Blaszczyk, T, Ciesielski, M: Numerical solution of Euler-Lagrange equation with Caputo derivatives. Adv. Appl. Math. Mech. 9(1), 173-185 (2017)

7. 7.

Guezane-Lakoud, A, Khaldi, R, Torres, DFM: On a fractional oscillator equation with natural boundary conditions. https://arxiv.org/pdf/1701.08962. To appear in Prog. Frac. Diff. Appl.

8. 8.

Guezane Lakoud, A, Khaldi, R, Kılıçman, A: Solvability of a boundary value problem at resonance, SpringerPlus 5, Article ID 1504 (2016)

9. 9.

Khaldi, R, Guezane-Lakoud, A: Higher order fractional boundary value problems for mixed type derivatives. J. Nonlinear Funct. Anal. 2017, Article ID 30 (2017)

10. 10.

Guezane-Lakoud, A, Kılıçman, A: Unbounded solution for a fractional boundary value problem. Adv. Differ. Equ. 2014, Article ID 154 (2014)

11. 11.

Agarwal, RP, Bohner, M, Li, W-T: Nonoscillation and Oscillation Theory for Functional Differential Equations. CRC Press, Boca Raton (2004)

12. 12.

Ahmad, B: Nonlinear fractional differential equations with anti-periodic type fractional boundary conditions. Differ. Equ. Dyn. Syst. 21(4), 387-401 (2013)

13. 13.

Franco, D, Nieto, JJ, O’Regan, D: Upper and lower solutions for first order problems with nonlinear boundary conditions. Extr. Math. 18, 153-160 (2003)

14. 14.

Khaldi, R, Guezane-Lakoud, A: Upper and lower solutions method for higher order boundary value problems. Prog. Fract. Differ. Appl. 3(1), 53-57 (2017)

15. 15.

Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies. Elsevier Science, Amsterdam (2006)

16. 16.

Ntouyas, SK, Tariboon, J, Sudsutad, W: Boundary value problems for Riemann-Liouville fractional differential inclusions with nonlocal Hadamard fractional integral conditions. Mediterr. J. Math. 13(3), 939-954 (2016)

17. 17.

Zhang, L, Ahmad, B, Wang, G: The existence of an extremal solution to a nonlinear system with the right-handed Riemann-Liouville fractional derivative. Appl. Math. Lett. 31, 1-6 (2014)

18. 18.

Podlubny, I: Fractional Differential Equation. Academic Press, Sain Diego (1999)

19. 19.

Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon and Breach, Yverdon (1993)

20. 20.

Smart, DR: Fixed Point Theorems. Cambridge Tracts in Mathematics, vol. 66. Cambridge University Press, London (1974)

Download references

## Acknowledgements

The authors are grateful to the anonymous referees for their valuable comments and especially grateful to the editor Prof. Bashir Ahmad for his comments and suggestions that improved this paper.

The third author is very grateful to Universiti Putra Malaysia for providing conducive environment and partial support to carry out this study.

## Author information

Authors

### Corresponding author

Correspondence to Adem Kılıçman.

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally, further read and approved the final manuscript.

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

Reprints and Permissions 