Fractional hybrid differential equations with three-point boundary hybrid conditions

Abstract

In this paper, we study the existence of solutions for hybrid fractional differential equations involving fractional Caputo derivative of order $$1 < \alpha\leq 2$$. Our results rely on a hybrid fixed point theorem for a sum of three operators due to Dhage. An example is provided to illustrate the theory.

Introduction

Fractional calculus is a generalization of ordinary differentiation and integration to arbitrary noninteger order. Applications of fractional differential equations can be found in various fields of science and engineering. Indeed, there are numerous applications in viscoelasticity, electrochemistry, control, porous media, electromagnetism, and so on [23, 26, 28, 30]. Recent developments of fractional differential and integral equations are given in [1,2,3, 36,37,38,39,40].

Many authors have studied the existence of solutions of fractional boundary value problems under various boundary conditions and by different approaches. We refer the readers to the papers [4, 5, 7, 16, 17, 19, 22, 24, 29, 33] and references therein.

In recent years, hybrid fractional differential equations have achieved a great deal of interest and attention of several researchers. For some developments on the existence results for hybrid fractional differential equations, we refer to [6, 8,9,10,11,12,13,14,15, 20, 21, 25, 27, 31, 32, 34, 35] and es references therein.

This paper deals with the existence and uniqueness of solutions for boundary-value problem of the fractional differential equations

$$\textstyle\begin{cases} {{}^{\mathrm{c}}\!D}_{0^{+}}^{\alpha}[\frac{x(t)-f(t,x(t))}{g(t,x(t))} ]=h(t, x(t)),\quad 1< \alpha\leq2, t\in J=[0,T], \\ a_{1} [\frac{x(t)-f(t,x(t))}{g(t,x(t))} ]_{t=0}+b_{1} [\frac{x(t)-f(t,x(t))}{g(t,x(t))} ]_{t=T}=\lambda_{1}, \\ a_{2} {{}^{\mathrm{c}}\!D}_{0^{+}}^{\beta}[\frac {x(t)-f(t,x(t))}{g(t,x(t))} ]_{t=\eta}+b_{2} {{}^{\mathrm{c}}\! D}_{0^{+}}^{\beta}[\frac{x(t)-f(t,x(t))}{g(t,x(t))} ]_{t=T}=\lambda_{2}, \quad 0< \eta< T, \end{cases}$$
(1.1)

where $${{}^{\mathrm{c}}\!D}_{0^{+}}^{\alpha}$$ and $${{}^{\mathrm{c}}\!D}_{0^{+}}^{\beta}$$ denote the Caputo fractional derivatives of orders α and β, respectively, $$0<\beta \leq1$$, $$a_{i}$$, $$b_{i}$$, $$c_{i}$$, $$i=1,2$$, are real constants such that $$a_{1}+b_{1}\neq0$$, $$a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta }\neq0$$, $$g \in C (J\times\mathbb {R}, \mathbb {R} \setminus\{0\} )$$, and $$f, h \in C (J\times\mathbb {R}, \mathbb {R} )$$.

This paper can be considered as a generalization of [19]. For example, if we choose $$f(t, x(t)) = 0$$ and $$g(t, x(t)) = 1$$ as constant functions, then our problem (1.1) reduces to the boundary value problem

\begin{aligned} \textstyle\begin{cases} {{}^{\mathrm{c}}\!D}_{0^{+}}^{\alpha}x(t)=h(t, x(t)), \quad 1< \alpha\leq2, t\in J=[0,T], \\ a_{1}x(0)+b_{1}x(T)=\lambda_{1}, \\ a_{2} {{}^{\mathrm{c}}\!D}_{0^{+}}^{\beta}x(\eta)+b_{2} {{}^{\mathrm{c}}\!D}_{0^{+}}^{\beta}x(T)=\lambda_{2}, \quad 0< \eta< T. \end{cases}\displaystyle \end{aligned}
(1.2)

The paper is organized as follows. In Sect. 2, we introduce some notations, definitions. and lemmas. Then, in Sect. 3, we prove existence results for problems (1.1) by employing the hybrid fixed point theorem for three operators in a in Banach algebra due to Dhage. Finally, we illustrate the obtained results by an example.

Preliminaries

In this section, we recall some basic definitions of fractional calculus [23, 30] and present some auxiliary lemmas.

Definition 2.1

The Riemann–Liouville fractional integral of order $$\alpha>0$$ for a continuous function $$f:[0,\infty) \rightarrow\mathbb{R}$$ is defined as

$$I^{\alpha}_{0^{+}}f(t)=\frac{1}{\varGamma(\alpha)} \int _{0}^{t}(t-s)^{\alpha-1}f(s) \,\mathrm {d}s, \quad \alpha>0,$$

where Γ is the Euler gamma function.

Definition 2.2

Let $$\alpha> 0$$ and $$n = [\alpha] + 1$$. If $$f \in C^{n}([a, b])$$, then the Caputo fractional derivative of order α defined by

$${{}^{\mathrm{c}}\!}D_{0^{+}}^{\alpha}f(t)=\frac{1}{\varGamma(n-\alpha)} \int _{0}^{t}(t-s)^{n-\alpha-1}f^{(n)}(s) \,\mathrm {d}s$$

exists almost everywhere on $$[a, b]$$ ($$[\alpha]$$ is the integer part of α).

Lemma 2.3

Let $$\alpha>\beta>0$$ and $$f \in L^{1}([a, b])$$. Then for all $$t \in[a, b]$$, we have:

• $$I_{0^{+}}^{\alpha} I_{0^{+}}^{\beta}f(t)= I_{0^{+}}^{\alpha+\beta}f(t)$$,

• $${{}^{\mathrm{c}}\!}D_{0^{+}}^{\alpha}I_{0^{+}}^{\alpha}f(t)=f(t)$$,

• $${{}^{\mathrm{c}}\!}D_{0^{+}}^{\beta}I_{0^{+}}^{\alpha}f(t)=I_{0^{+}}^{\alpha- \beta}f(t)$$.

Lemma 2.4

Let $$\alpha>0$$. Then the differential equation

$$\bigl({{}^{\mathrm{c}}\!}D_{0^{+}}^{\alpha}f \bigr) (t)=0$$

has a solution

$$f(t)=\sum_{j=0}^{m-1}c_{j}t^{j}, \quad c_{j} \in\mathbb{R}, j=0,\ldots, m-1,$$

where $$m-1 <\alpha< m$$.

Lemma 2.5

Let $$\alpha>0$$. Then

$$I_{0^{+}}^{\alpha} \bigl({{}^{\mathrm{c}}}\!D_{0^{+}}^{\alpha}f(t) \bigr)=f(t)+\sum_{j=0}^{m-1}c_{j}t^{j}$$

for some $$c_{j}\in\mathbb {R}$$, $$j= 0, 1, 2,\ldots, m -1$$, where $$m = [\alpha] + 1$$.

Define the supremum norm $$\|\cdot\|$$ in $$E=C (J,\mathbb {R} )$$ by

$$\|x\|=\sup_{t\in J} { \bigl\vert x(t) \bigr\vert }$$

and the multiplication in E by

$$(xy) (t)=x(t)y(t).$$

Clearly, E is a Banach algebra with respect to the supremum norm and multiplication in it.

To prove the existence result for the nonlocal boundary value problem (1.1), we will use the following hybrid fixed point theorem for three operators in a Banach algebra E due to Dhage [18].

Lemma 2.6

Let S be a closed convex bounded nonempty subset of a Banach algebra E, and let $$A, C : E\longrightarrow E$$ and $$B :S \longrightarrow E$$ be three operators such that:

1. (a)

A and C are Lipschitzian with a Lipschitz constants δ and ρ, respectively;

2. (b)

B is compact and continuous;

3. (c)

$$x=AxBy +Cx\Rightarrow x \in S$$ for all $$y \in S$$,

4. (d)

$$\delta M+\rho<1$$, where $$M= \|B(S) \|$$.

Then the operator equation $$AxBx+Cx=x$$ has a solution in S.

Main results

In this section, we prove the existence results for the boundary value problems for hybrid differential equations with fractional order on the closed bounded interval $$J = [0, T]$$.

Lemma 3.1

Let h be continuous function on $$J:=[0,T]$$. Then the solution of the boundary value problem

$${{}^{\mathrm{c}}\!D}_{0^{+}}^{\alpha}\biggl[ \frac{x(t)-f(t,x(t))}{g(t,x(t))} \biggr]=h(t), \quad t \in J , 1< \alpha\leq2,$$
(3.1)

with boundary conditions

\begin{aligned} \begin{aligned} &a_{1} \biggl[\frac{x(t)-f(t,x(t))}{g(t,x(t))} \biggr]_{t=0}+b_{1} \biggl[\frac{x(t)-f(t,x(t))}{g(t,x(t))} \biggr]_{t=T}=\lambda_{1}, \\ &a_{2} {{}^{\mathrm{c}}\!D}_{0^{+}}^{\beta}\biggl[ \frac {x(t)-f(t,x(t))}{g(t,x(t))} \biggr]_{t=\eta}+b_{2} {{}^{\mathrm{c}}\! D}_{0^{+}}^{\beta}\biggl[\frac{x(t)-f(t,x(t))}{g(t,x(t))} \biggr]_{t=T}= \lambda_{2}, \quad 0< \eta< T, \end{aligned} \end{aligned}
(3.2)

satisfies the equation

\begin{aligned} x(t) =&g\bigl(t,x(t)\bigr) \biggl[I_{0^{+}}^{\alpha}h(t)- \frac {b_{1}}{a_{1}+b_{1}}I_{0^{+}}^{\alpha}h(T)+\frac{\lambda _{1}}{a_{1}+b_{1}} \\ &{}+\frac{ (b_{1}T-(a_{1}+b_{1})t )\varGamma (2-\beta) (a_{2}I_{0^{+}}^{\alpha-\beta}h(\eta)+b_{2}I_{0^{+}}^{\alpha -\beta}h(T)-\lambda_{2} )}{(a_{1}+b_{1})(a_{2}\eta^{1-\beta }+b_{2}T^{1-\beta})} \biggr]+f\bigl(t, x(t)\bigr). \end{aligned}
(3.3)

Proof

Applying the Riemann–Liouville fractional integral operator of order α to both sides of (3.1) and using Lemma 2.5, we have

$$\frac{x(t)-f(t,x(t))}{g(t,x(t))}=I_{0^{+}}^{\alpha}h(t) - c_{0}-c_{1}t, \quad c_{0}, c_{1}\in \mathbb{R}.$$
(3.4)

Consequently, the general solution of (3.1) is

$$x(t)=g\bigl(t,x(t)\bigr) \bigl(I_{0^{+}}^{\alpha}y(t) - c_{0}-c_{1}t\bigr)+f\bigl(t,x(t)\bigr) c_{0}, \quad c_{1}\in\mathbb{R}.$$
(3.5)

Applying the boundary conditions (3.2) in (3.4), we find that

\begin{aligned}& -a_{1}c_{0}+b_{1}\bigl(I_{0^{+}}^{\alpha}h(T) -c_{0}-c_{1}T\bigr)= \lambda_{1}, \\& a_{2}I_{0^{+}}^{\alpha-\beta}h(\eta)+b_{2}I_{0^{+}}^{\alpha-\beta }h(T)- \frac{a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta}}{\varGamma(2-\beta )}c_{1}= \lambda_{2}. \end{aligned}

Therefore we have

\begin{aligned}& c_{0} =-\frac{b_{1}T\varGamma(2-\beta) (a_{2}I_{0^{+}}^{\alpha-\beta }h(\eta)+b_{2}I_{0^{+}}^{\alpha-\beta}h(T)-\lambda_{2} )}{(a_{1}+b_{1})(a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta})}+\frac {b_{1}}{a_{1}+b_{1}}I_{0^{+}}^{\alpha}h(T)- \frac{\lambda_{1}}{a_{1}+b_{1}}, \\& c_{1}=\frac{\varGamma(2-\beta) (a_{2}I_{0^{+}}^{\alpha-\beta}h(\eta )+b_{2}I_{0^{+}}^{\alpha-\beta}h(T)-\lambda_{2} )}{a_{2}\eta^{1-\beta }+b_{2}T^{1-\beta}}. \end{aligned}

Substituting the values of $$c_{0}$$, $$c_{1}$$ into (3.5), we get (3.3). □

Now we list the following hypotheses.

1. (H1)

The functions $$g:J\times\mathbb {R} \longrightarrow \mathbb {R} \setminus\{0\}$$ and $$h, f: J\times\mathbb {R} \longrightarrow \mathbb {R}$$ are continuous.

2. (H2)

There exist two positive functions $$\phi_{0}$$, $$\phi_{1}$$ with bounds $$\|\phi_{0}\|$$ and $$\|\phi_{0}\|$$, respectively, such that

$$\bigl\vert f(t, x)-f(t,y) \bigr\vert \leq\phi_{0}(t)|x-y|$$
(3.6)

and

$$\bigl\vert g(t, x)-g(t,y) \bigr\vert \leq \phi_{1}(t)|x-y|,$$
(3.7)

for all $$(t,x, y) \in J\times\mathbb {R}\times\mathbb {R}$$.

3. (H3)

There exist a function $$p\in L^{\infty}(J,\mathbb{R_{+}})$$ and a continuous nondecreasing function $$\psi:[0, \infty) \longrightarrow (0, \infty)$$ such that

$$\bigl\vert h (t, x ) \bigr\vert \leq p(t)\psi\bigl( \vert x \vert \bigr)$$
(3.8)

for all $$t \in J$$ and $$x \in\mathbb {R}$$.

4. (H4)

There exists $$r > 0$$ such that

$$r\geq\frac{g_{0}\varLambda+f_{0}}{1-\|\phi_{0}\|\varLambda-\|\phi_{1}\|}$$
(3.9)

and

$$\|\phi_{0}\|\varLambda+\|\phi_{1}\|< 1,$$
(3.10)

where $$f_{0} = \sup_{t\in J }|f (t, 0)|$$, $$g_{0} = \sup_{t\in J }|g (t, 0)|$$, and

\begin{aligned} \varLambda =&\psi(r)\|p\| \biggl(\frac{T^{\alpha}}{\varGamma(\alpha +1)}+\frac{|b_{1}|T^{\alpha}}{|a_{1}+b_{1}|\varGamma(\alpha+1)} \\ &{}+\frac{ (|b_{1}|T+(|a_{1}|+|b_{1}|)T )\varGamma(2-\beta)}{|a_{1}+b_{1}||a_{2}\eta ^{1-\beta}+b_{2}T^{1-\beta}|\varGamma(\alpha-\beta+1)} \\ &{}\times \bigl( \bigl(|a_{2}|\eta^{\alpha-\beta}+|b_{2}|T^{\alpha-\beta } \bigr) +|\lambda_{2}| \bigr)+\frac{|\lambda_{1}|}{|a_{1}+b_{1}|} \biggr). \end{aligned}
(3.11)

Theorem 3.2

Assume that conditions (H1)(H4) hold. Then problem (1.1) has at least one solution defined on J.

Proof

Define the set

$$S= \bigl\{ x \in E: \Vert x \Vert _{E} \leq r \bigr\} .$$

Clearly, S is a closed convex bounded subset of the Banach space E. By Lemma 3.1 the boundary value problem (1.1) is equivalent to the equation

\begin{aligned} x(t) =&f\bigl(t,x(t)\bigr)+g\bigl(t,x(t)\bigr) \biggl[I_{0^{+}}^{\alpha}h \bigl(s,x(s)\bigr) (t) -\frac {b_{1}}{a_{1}+b_{1}}I_{0^{+}}^{\alpha}h \bigl(s,x(s)\bigr) (T) \\ &{}+\frac{\lambda _{1}}{a_{1}+b_{1}}+\frac{ (b_{1}T-(a_{1}+b_{1})t )\varGamma(2-\beta )}{(a_{1}+b_{1})(a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta})} \\ &{}\times\bigl(a_{2}I_{0^{+}}^{\alpha-\beta}h \bigl(s,x(s)\bigr) (\eta)+b_{2}I_{0^{+}}^{\alpha-\beta }h \bigl(s,x(s)\bigr) (T)-\lambda_{2} \bigr)\biggr],\quad t\in J. \end{aligned}
(3.12)

Define three operators $$A, C : E\longrightarrow E$$ and $$B :S \longrightarrow E$$ by

\begin{aligned}& Ax(t) =g\bigl(t,x(t)\bigr), \quad t \in J, \\& Bx(t) =I_{0^{+}}^{\alpha}h\bigl(s,x(s)\bigr) (t) - \frac {b_{1}}{a_{1}+b_{1}}I_{0^{+}}^{\alpha}h\bigl(s,x(s)\bigr) (T)+ \frac{ (b_{1}T-(a_{1}+b_{1})t )\varGamma(2-\beta)}{(a_{1}+b_{1})(a_{2}\eta^{1-\beta }+b_{2}T^{1-\beta})} \\& \hphantom{Bx(t) ={}}{} \times \bigl(a_{2}I_{0^{+}}^{\alpha-\beta}h \bigl(s,x(s)\bigr) (\eta )+b_{2}I_{0^{+}}^{\alpha-\beta}h \bigl(s,x(s)\bigr) (T)-\lambda_{2} \bigr)+\frac {\lambda_{1}}{a_{1}+b_{1}}, \quad t \in J, \end{aligned}

and

$$Cx(t) =f\bigl(t,x(t)\bigr), \quad t \in J.$$

Then the integral equation (3.12) can be written in the operator form as

$$x(t)=Ax(t)Bx(t) +Cx(t), \quad t \in J.$$

We will show that the operators A, B, and C satisfy all the conditions of Lemma 2.6. This will be achieved in the following series of steps.

Step 1: First, we show that A and C are Lipschitzian on E. Let $$x, y \in E$$. Then by (H2), for $$t \in J$$, we have

$$\bigl\vert Ax(t)-Ay(t) \bigr\vert = \bigl\vert g\bigl(t, x(t)\bigr)-g \bigl(t, y(t)\bigr) \bigr\vert \leq\phi_{0}(t) \bigl\vert x(t)-y(t) \bigr\vert$$

for all $$t\in J$$. Taking the supremum over t, we obtain

$$\|Ax-Ay\|\leq\|\phi_{0}\|\|x-y\|$$

for all $$x, y \in E$$. Therefore A is Lipschitzian on E with Lipschitz constant $$\|\phi_{0}\|$$.

Now, for $$C : E\longrightarrow E$$, $$x, y \in E$$, we have

$$\bigl\vert Cx(t)-Cy(t) \bigr\vert = \bigl\vert f\bigl(t, x(t)\bigr)-f \bigl(t, y(t)\bigr) \bigr\vert \leq\phi_{1}(t) \bigl\vert x(t)-y(t) \bigr\vert$$

for all $$t\in J$$. Taking the supremum over t, we obtain

$$\|Cx-Cy\|\leq\|\phi_{1}\|\|x-y\|.$$

Hence $$C : E\longrightarrow E$$ is Lipschitzian on E with Lipschitz constant $$\|\phi_{1}\|$$.

Step 2: We show that B is is a completely continuous operator from S into E. First, we show that B is continuous on S. Let $$\{x_{n}\}$$ be a sequence in S converging to a point $$x \in S$$. Then by the Lebesgue dominated convergence theorem we have

\begin{aligned} \lim_{n\to_{\infty}}Bx_{n}(t) =& \frac{1}{\varGamma(\alpha)}\lim _{n\to _{\infty}} \int_{0}^{t}(t- s)^{\alpha-1}h \bigl(s, x_{n}(s) \bigr)\,\mathrm {d}s \\ &{}-\frac{b_{1}}{(a_{1}+b_{1})\varGamma(\alpha)}\lim_{n\to_{\infty}} \int _{0}^{T}(T- s)^{\alpha-1}h \bigl(s, x_{n}(s) \bigr)\,\mathrm {d}s \\ &{}+\frac{ (b_{1}T-(a_{1}+b_{1})t )\varGamma(2-\beta )}{(a_{1}+b_{1})(a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta})\varGamma(\alpha-\beta )} \\ &{}\times\biggl(a_{2}\lim_{n\to_{\infty}} \int_{0}^{\eta}(\eta- s)^{\alpha -\beta-1}h \bigl(s, x_{n}(s) \bigr)\,\mathrm {d}s \\ &{}+b_{2}\lim_{n\to_{\infty}} \int_{0}^{T}(T- s)^{\alpha-\beta-1}h \bigl(s, x_{n}(s) \bigr)\,\mathrm {d}s-\lambda_{2} \biggr)+ \frac{\lambda_{1}}{a_{1}+b_{1}} \\ =& \frac{1}{\varGamma(\alpha)} \int_{0}^{t}(t- s)^{\alpha-1}\lim _{n\to_{\infty}}h \bigl(s, x_{n}(s) \bigr)\,\mathrm {d}s \\ &{}-\frac{b_{1}}{(a_{1}+b_{1})\varGamma(\alpha)} \int_{0}^{T}(T- s)^{\alpha -1}\lim _{n\to_{\infty}}h \bigl(s, x_{n}(s) \bigr)\,\mathrm {d}s \\ &{}+\frac{ (b_{1}T-(a_{1}+b_{1})t )\varGamma(2-\beta )}{(a_{1}+b_{1})(a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta})\varGamma(\alpha-\beta )} \\ &{}\times\biggl(a_{2} \int_{0}^{\eta}(\eta- s)^{\alpha-\beta-1}\lim _{n\to _{\infty}}h \bigl(s, x_{n}(s) \bigr)\,\mathrm {d}s \\ &{}+b_{2} \int_{0}^{T}(T- s)^{\alpha-\beta-1}\lim _{n\to_{\infty}}h \bigl(s, x_{n}(s) \bigr)\,\mathrm {d}s- \lambda_{2} \biggr)+\frac{\lambda_{1}}{a_{1}+b_{1}} \\ =&I_{0^{+}}^{\alpha}h \bigl(t,x(t) \bigr) -\frac {b_{1}}{a_{1}+b_{1}}I_{0^{+}}^{\alpha}h \bigl(T,x(T) \bigr) +\frac {\lambda_{1}}{a_{1}+b_{1}} \\ &{}+\frac{ (b_{1}T-(a_{1}+b_{1})t )\varGamma(2-\beta )}{(a_{1}+b_{1})(a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta})\varGamma(\alpha-\beta )} \\ &{}\times\bigl(a_{2}I_{0^{+}}^{\alpha-\beta}h \bigl(\eta,x(\eta) \bigr)+b_{2}I_{0^{+}}^{\alpha-\beta}h \bigl(T,x(T) \bigr)-\lambda_{2} \bigr) \\ =&Bx(t) \end{aligned}

for all $$t \in J$$. This shows that B is a continuous operator on S.

Next, we will prove that the set $$B(S)$$ is a uniformly bounded in S. For any $$x \in S$$, we have

\begin{aligned} \bigl\vert Bx(t) \bigr\vert \leq &\frac{1}{\varGamma(\alpha)} \int_{0}^{t}(t- s)^{\alpha -1} \bigl\vert h \bigl(s, x(s)\bigr) \bigr\vert \,\mathrm {d}s \\ &{}+\frac{|b_{1}|}{|a_{1}+b_{1}|\varGamma(\alpha)} \int_{0}^{T}(T- s)^{\alpha -1} \bigl\vert h \bigl(s, x(s) \bigr) \bigr\vert \,\mathrm {d}s \\ &{}+\frac{ (|b_{1}|T+(|a_{1}|+|b_{1}|)T )\varGamma(2-\beta )}{|a_{1}+b_{1}||a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta}|\varGamma(\alpha-\beta )} \biggl(|a_{2}| \int_{0}^{\eta}(\eta- s)^{\alpha-\beta-1} \bigl\vert h \bigl(s, x(s) \bigr) \bigr\vert \,\mathrm {d}s \\ &{}+|b_{2}| \int_{0}^{T}(T- s)^{\alpha-\beta-1} \bigl\vert h \bigl(s, x(s) \bigr) \bigr\vert \,\mathrm {d}s+|\lambda_{2}| \biggr)+ \frac{|\lambda_{1}|}{|a_{1}+b_{1}|}. \end{aligned}

Using (3.8), we can write

\begin{aligned} \bigl\vert Bx(t) \bigr\vert \leq &\frac{1}{\varGamma(\alpha)} \int_{0}^{t}(t- s)^{\alpha -1}\psi(r)p(s)\,\mathrm {d}s+ \frac{|b_{1}|}{|a_{1}+b_{1}|\varGamma(\alpha)} \int _{0}^{T}(T- s)^{\alpha-1}\psi(r)p(s)\,\mathrm {d}s \\ &{}+\frac{ (|b_{1}|T+(|a_{1}|+|b_{1}|)T )\varGamma(2-\beta )}{|a_{1}+b_{1}||a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta}|\varGamma(\alpha-\beta )} \biggl(|a_{2}| \int_{0}^{\eta}(\eta- s)^{\alpha-\beta-1}\psi (r)p(s) \,\mathrm {d}s \\ &{}+|b_{2}| \int_{0}^{T}(T- s)^{\alpha-\beta-1}\psi(r)p(s)\,\mathrm {d}s+|\lambda_{2}| \biggr)+\frac{|\lambda_{1}|}{|a_{1}+b_{1}|} \\ \leq & \psi(r)\|p\| \biggl(\frac{T^{\alpha}}{\varGamma(\alpha +1)}+\frac{|b_{1}|T^{\alpha}}{|a_{1}+b_{1}|\varGamma(\alpha+1)}\biggr) \\ &{}+\frac{ (|b_{1}|T+(|a_{1}|+|b_{1}|)T )\varGamma(2-\beta)}{|a_{1}+b_{1}||a_{2}\eta ^{1-\beta}+b_{2}T^{1-\beta}|\varGamma(\alpha-\beta+1)}\bigl(|a_{2}|\eta^{\alpha-\beta}+|b_{2}|T^{\alpha-\beta} \bigr) \\ &{} +\frac{ (|b_{1}|T+(|a_{1}|+|b_{1}|)T )\varGamma(2-\beta )}{|a_{1}+b_{1}||a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta}|\varGamma(\alpha-\beta +1)}|\lambda_{2}|+\frac{|\lambda_{1}|}{|a_{1}+b_{1}|}. \end{aligned}

Thus $$\|Bx \|\leq\varLambda$$ for all $$x \in S$$ with Λ given in (3.11). This shows that B is uniformly bounded on S.

Now, we will show that $$B(S)$$ is an equicontinuous set in E.

Let $$t_{1}, t_{2} \in J$$. Then for any $$x \in S$$, by (3.8) we get

\begin{aligned} \bigl\vert Bx(t_{2})-Bx(t_{1}) \bigr\vert \leq& \frac{\psi(r)\|p\|}{\varGamma(\alpha)} \int _{0}^{t_{1}} \bigl((t_{2}- s)^{\alpha-1}- (t_{1}- s)^{\alpha-1} \bigr)\,\mathrm {d}s \\ &{}+ \frac{\psi(r)\|p\|}{\varGamma(\alpha)} \int_{t_{1}}^{t_{2}} (t_{2}- s)^{\alpha-1} \,\mathrm {d}s+\frac{|\lambda _{2}|a_{1}+b_{1}||t_{1}-t_{2}|}{|a_{1}+b_{1}||a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta }|\varGamma(\alpha-\beta)} \\ &{}+\frac{|a_{1}+b_{1}| |t_{1}-t_{2}|\psi(r)\|p\|}{|a_{1}+b_{1}||a_{2}\eta^{1-\beta }+b_{2}T^{1-\beta}|\varGamma(\alpha-\beta)} \biggl(|a_{2}| \int_{0}^{\eta }(\eta- s)^{\alpha-\beta-1}\,\mathrm {d}s \\ &{}+|b_{2}| \int_{0}^{T}(T- s)^{\alpha-\beta-1}\,\mathrm {d}s \biggr). \end{aligned}
(3.13)

Obviously, the right-hand side of inequality (3.13) tends to zero independently of $$x \in S$$ as $$t_{2} \to t_{1}$$. As a consequence of the Ascoli–Arzelà theorem, B is a completely continuous operator on S.

Step 3: Hypothesis (c) of Lemma 2.6 is satisfied.

Let $$x \in E$$ and $$y \in S$$ be arbitrary elements such that $$x = AxBy + Cx$$. Then we have

\begin{aligned} \bigl\vert x(t) \bigr\vert \leq& \bigl\vert Ax(t) \bigr\vert \bigl\vert By(t) \bigr\vert + \bigl\vert Cx(t) \bigr\vert \\ \leq& \bigl\vert g\bigl(t, x(t)\bigr) \bigr\vert \biggl\{ \frac{1}{\varGamma(\alpha )} \int_{0}^{t}(t- s)^{\alpha-1} \bigl\vert h \bigl(s, y(s)\bigr) \bigr\vert \,\mathrm {d}s \\ &{}+\frac{|b_{1}|}{|a_{1}+b_{1}|\varGamma(\alpha)} \int_{0}^{T}(T- s)^{\alpha -1} \bigl\vert h \bigl(s, y(s)\bigr) \bigr\vert \,\mathrm {d}s \\ &{}+\frac{(|b_{1}|T+(|a_{1}|+|b_{1}|)T)\varGamma(2-\beta )}{|a_{1}+b_{1}||a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta}|\varGamma(\alpha-\beta )} \biggl(|a_{2}| \int_{0}^{\eta}(\eta- s)^{\alpha-\beta-1} \bigl\vert h \bigl(s, y(s)\bigr) \bigr\vert \,\mathrm {d}s \\ &{}+|b_{2}| \int_{0}^{T}(T- s)^{\alpha-\beta-1} \bigl\vert h \bigl(s, y(s) \bigr) \bigr\vert \,\mathrm {d}s+|\lambda_{2}| \biggr)+ \frac{|\lambda_{1}|}{|a_{1}+b_{1}|} \biggr\} + \bigl\vert f\bigl(t, x(t)\bigr) \bigr\vert \\ \leq& \bigl( \bigl\vert g\bigl(t, x(t)\bigr)-g(t, 0) \bigr\vert + \bigl\vert g(t, 0) \bigr\vert \bigr) \biggl\{ \frac{1}{\varGamma(\alpha)} \int_{0}^{t}(t- s)^{\alpha-1}\psi (r)p(s)\,\mathrm {d}s \\ &{}+\frac{|b_{1}|}{|a_{1}+b_{1}|\varGamma(\alpha)} \int_{0}^{T}(T- s)^{\alpha -1}\psi(r)p(s)\,\mathrm {d}s \\ &{}+\frac{(|b_{1}|T+(|a_{1}|+|b_{1}|)T)\varGamma(2-\beta )}{|a_{1}+b_{1}||a_{2}\eta^{1-\beta}+b_{2}T^{1-\beta}|\varGamma(\alpha-\beta )} \biggl(|a_{2}| \int_{0}^{\eta}(\eta- s)^{\alpha-\beta-1}\psi (r)p(s) \,\mathrm {d}s \\ &{}+|b_{2}| \int_{0}^{T}(T- s)^{\alpha-\beta-1}\psi(r)p(s)\,\mathrm {d}s+|\lambda_{2}| \biggr)+\frac{|\lambda_{1}|}{|a_{1}+b_{1}|} \biggr\} \\ &{} + \bigl\vert f\bigl(t, x(t)\bigr)-f(t, 0)) \bigr\vert + \bigl\vert f(t, 0) \bigr\vert \\ \leq&\bigl(\|\phi_{0}\| \bigl\vert x(t) \bigr\vert +g_{0}\bigr)\varLambda+\|\phi_{1}\| \bigl\vert x(t) \bigr\vert +f_{0}. \end{aligned}

Thus

$$\bigl\vert x(t) \bigr\vert \leq\frac{g_{0}\varLambda+f_{0}}{1-\|\phi_{0}\|\varLambda-\|\phi_{1}\|}.$$

Taking the supremum over t, we get

$$\|x\|\leq\frac{g_{0}\varLambda+f_{0}}{1-\|\phi_{0}\|\varLambda-\|\phi_{1}\| }\leq r.$$

Step 4: Finally, we show that $$\delta M + \rho< 1$$, that is, (d) of Lemma 2.6 holds.

Since

$$M=\|B(S)\|=\sup_{x\in S} \Bigl\{ \sup_{t\in J} \bigl\vert Bx(t) \bigr\vert \Bigr\} \leq \varLambda,$$

we have

$$\|\phi_{0}\|M+\|\phi_{1}\| \leq\|\phi_{0}\| \varLambda+\|\phi_{1}\|< 1$$

with $$\delta=\|\phi_{0}\|$$ and $$\rho= \|\phi_{1}\|$$ Thus all the conditions of Lemma 2.6 are satisfied, and hence the operator equation $$x =AxBx + Cx$$ has a solution in S. As a result, problem (1.1) has a solution on J. □

Example 3.3

Let us consider the following boundary value problem:

$$\textstyle\begin{cases} {{}^{\mathrm{c}}\!D}_{0^{+}}^{\frac{3}{2}} [\frac {x(t)-f(t,x(t))}{g(t,x(t))} ]=\frac{e^{-2t}}{\sqrt{(9+t)}}\sin x(t), \quad t\in J=[0,1], \\ {}[\frac{x(t)-f(t,x(t))}{g(t,x(t))} ]_{t=0}+ 2 [\frac {x(t)-f(t,x(t))}{g(t,x(t))} ]_{t=1}=\frac{1}{2}, \\ 3 \, {{}^{\mathrm{c}}\!D}_{0^{+}}^{\frac{1}{2}} [\frac {x(t)-f(t,x(t))}{g(t,x(t))} ]_{t=\frac{1}{2}}+0.25\, {{}^{\mathrm{c}}\! D}_{0^{+}}^{\frac{1}{2}} [\frac{x(t)-f(t,x(t))}{g(t,x(t))} ]_{t=1}=1. \end{cases}$$
(3.14)

We take

\begin{aligned}& \alpha=\frac{3}{2},\qquad \beta=\frac{1}{2},\qquad a_{1}=1,\qquad a_{2}=3,\qquad \lambda _{1}= \frac{1}{2}, \\& b_{1}=2,\qquad b_{2}=\frac{1}{4},\qquad \lambda_{2}=1,\qquad \eta=\frac {1}{2}, \qquad T=1, \\& f \bigl(t, x(t) \bigr)= \frac{t^{2}}{100} \biggl(\frac{1}{2}\bigl(x(t)+ \sqrt {x^{2}+1}\bigr)+e^{-t} \biggr), \\& g \bigl(t, x(t) \bigr)= \frac{\sqrt{\pi}e^{-2\pi t}\cos(\pi t)}{(7\pi +15e^{t})^{2}} \frac{x(t)}{1+x(t)}+ \frac{t}{10}, \\& h \bigl(t, x(t) \bigr)= \frac{e^{-2t}}{\sqrt{(9+t)}}\sin x(t). \end{aligned}

We can show that

\begin{aligned}& \bigl\vert f(t, x)-f(t, y) \bigr\vert \leq \frac{t^{2}}{100} \vert x-y \vert , \\& \bigl\vert g(t, x)-g(t, y) \bigr\vert \leq\frac{\sqrt{\pi}e^{-2\pi t}}{(7\pi+15e^{t})^{2}} \vert x-y \vert , \\& \bigl\vert h (t, x) \bigr\vert \leq p(t)\psi\bigl( \vert x \vert \bigr), \end{aligned}

where

$$\psi\bigl( \vert x \vert \bigr)= \vert x \vert , \qquad p(t)=e^{-2t}.$$

Hence we have

$$\phi_{0}(t)=\frac{t^{2}}{100}, \qquad \phi_{1}(t)= \frac{\sqrt{\pi}e^{-2\pi t}}{(7\pi+15e^{t})^{2}}.$$

Then

$$\|\phi_{0}\|=\frac{1}{100},\qquad \|\phi_{1}\|= \frac{\sqrt{\pi}}{(7\pi +15)^{2}}, \qquad \|p\|=1,$$

and

$$f_{0} = \sup_{t\in J } \bigl\vert f (t, 0) \bigr\vert =\frac{1}{100}, \qquad g_{0} = \sup_{t\in J } \bigl\vert g (t, 0) \bigr\vert =\frac{1}{10}.$$

Using the Matlab program, it follows by (3.9) and (3.10) that the constant r satisfies the inequality $$0.0146< r< 21.8589$$. As all the conditions of Theorem 3.2 are satisfied, problem (3.14) has at least one solution on J.

Concluding remarks

In this paper, we have provided some sufficient conditions guaranteeing the existence of solutions for a class of hybrid fractional differential equations involving fractional Caputo derivative of order $$1 < \alpha\leq 2$$. Our results rely on a hybrid fixed point theorem for a sum of three operators due to Dhage. Our results extend and complete those in the literature.

References

1. 1.

Abbas, S., Benchohra, M., Graef, J., Henderson, J.: Implicit Fractional Differential and Integral Equations: Existence and Stability. de Gruyter, Berlin (2018)

2. 2.

Abbas, S., Benchohra, M., N’Guérékata, G.M.: Topics in Fractional Differential Equations. Springer, New York (2012)

3. 3.

Abbas, S., Benchohra, M., N’Guérékata, G.M.: Advanced Fractional Differential and Integral Equations. Nova Science Publishers, New York (2015)

4. 4.

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

5. 5.

Ahmad, B., Ntouyas, S.K.: Fractional differential inclusions with fractional separated boundary conditions. Fract. Calc. Appl. Anal. 15(3), 362–382 (2012)

6. 6.

Ahmad, B., Ntouyas, S.K., Tariboon, J.: A nonlocal hybrid boundary value problem of Caputo fractional integro-differential equations. Acta Math. Sci. 36(6), 1631–1640 (2016)

7. 7.

Akman Yildiz, T., Khodabakhshi, N., Baleanu, D.: Analysis of mixed-order Caputo fractional system with nonlocal integral boundary condition. Turk. J. Math. 42, 1328–1337 (2018)

8. 8.

Aydogan, M.S., Baleanu, D., Mousalou, A., Rezapour, S.: On approximate solutions for two higher-order Caputo–Fabrizio fractional integro-differential equations. Adv. Differ. Equ. 2017, Article ID 221 (2017)

9. 9.

Aydogan, M.S., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018, Article ID 90 (2018)

10. 10.

Baleanu, D., Ghafarnezhad, K., Rezapour, S., Shabibi, M.: On the existence of solutions of a three steps crisis integro-differential equation. Adv. Differ. Equ. 2018, Article ID 135 (2018)

11. 11.

Baleanu, D., Jafari, H., Khan, H., Johnston, S.J.: Results for mild solution of fractional coupled hybrid boundary value problems. Open Math. 13, 601–608 (2015)

12. 12.

Baleanu, D., Khan, H., Jafari, H., Khan, R.A., Alipour, M.: On existence results for solutions of a coupled system of hybrid boundary value problems with hybrid conditions. Adv. Differ. Equ. 2015, Article ID 318 (2015)

13. 13.

Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017, Article ID 145 (2017)

14. 14.

Baleanu, D., Mousalou, A., Rezapour, S.: A new method for investigating approximate solutions of some fractional integro-differential equations involving the Caputo–Fabrizio derivative. Adv. Differ. Equ. 2017, Article ID 51 (2017)

15. 15.

Baleanu, D., Mousalou, A., Rezapour, S.: The extended fractional Caputo–Fabrizio derivative of order $$0\leq \sigma<1$$ on $$C_{\Bbb {R}}[0,1]$$ and the existence of solutions for two higher-order series-type differential equations. Adv. Differ. Equ. 2018, Article ID 255 (2018)

16. 16.

Benchohra, M., Hamani, S., Ntouyas, S.K.: Boundary value problems for differential equations with fractional order. Surv. Math. Appl. 3, 1–12 (2008)

17. 17.

Delbosco, D., Rodino, L.: Existence and uniqueness for a nonlinear fractional differential equation. J. Math. Anal. Appl. 204, 609–625 (1996)

18. 18.

Dhage, B.C.: A fixed point theorem in Banach algebras with applications to functional integral equations. Kyungpook Math. J. 44, 145–155 (2004)

19. 19.

Fu, X.: Existence results for fractional differential equations with three-point boundary conditions. Adv. Differ. Equ. 2013, Article ID 257 (2013)

20. 20.

Herzallah, A.E.M., Baleanu, D.: On fractional order hybrid differential equations. Abstr. Appl. Anal. 2014, Article ID 389386 (2014)

21. 21.

Hilal, K., Kajouni, A.: Boundary value problems for hybrid differential equations with fractional order. Adv. Differ. Equ. 2015, Article ID 183 (2015)

22. 22.

Houas, M., Dahmani, Z., Benbachir, M.: New results for a boundary value problem for differential equations of arbitrary order. Int. J. Mod. Math. Sci. 7(2), 195–211 (2013)

23. 23.

Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Sudies, vol. 204. Elsevier, Amsterdam (2006)

24. 24.

Liu, X., Liu, Z.: Existence results for fractional differential inclusions with multivalued term depending on lower-order derivative. Abstr. Appl. Anal. 2012, Article ID 423796 (2012). https://doi.org/10.1155/2012/423796

25. 25.

Mahmudov, N., Matar, M.: Existence of mild solutions for hybrid differential equations with arbitrary fractional order. TWMS J. Pure Appl. Math. 8(2), 160–169 (2017)

26. 26.

Miller, K.S., Ross, B.: An Introduction to Fractional Calculus and Fractional Differential Equations. Wiley, New YorK (1993)

27. 27.

Nouri, K., Baleanu, D., Torkzadeh, L.: Study on application of hybrid functions to fractional differential equations. Iran. J. Sci. Technol., Trans. A, Sci. 42(3), 1343–1350 (2018)

28. 28.

Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1993)

29. 29.

Sabri Thabet, T.M., Dhakne, M.B.: On boundary value problems of higher order abstract fractional integro-differential equations. Int. J. Nonlinear Anal. Appl. 7, 165–184 (2016)

30. 30.

Samko, G., Kilbas, A.A., Marichev, O.I.: Fractional Integral and Derivative: Theory and Applications. Gordon & Breach, Yverdon (1993)

31. 31.

Sitho, S., Ntouyas, S.K., Tariboon, J.: Existence results for hybrid fractional integro-differential equations. Bound. Value Probl. 2015, Article ID 113 (2015)

32. 32.

Sun, S., Zhao, Y., Han, Z., Lin, Y.: The existence of solutions for boundary value problem of fractional hybrid differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 4961–4967 (2012)

33. 33.

Ugurlu, E., Baleanu, D., Tas, K.: On the solutions of a fractional boundary value problem. Turk. J. Math. 42, 1307–1311 (2018)

34. 34.

Ullah, Z., Ali, A., Khan, R.A., Iqbal, M.: Existence results to a class of hybrid fractional differential equations. Matrix Sci. Math. 1(1), 13–17 (2018)

35. 35.

Zhao, Y., Wang, Y.: Existence of solutions to boundary value problem of a class of nonlinear fractional differential equations. Adv. Differ. Equ. 2014, Article ID 174 (2014)

36. 36.

Zhou, Y.: Attractivity for fractional differential equations in Banach space. Appl. Math. Lett. 75, 1–6 (2018)

37. 37.

Zhou, Y.: Attractivity for fractional evolution equations with almost sectorial operators. Fract. Calc. Appl. Anal. 21(3), 786–800 (2018)

38. 38.

Zhou, Y., Peng, L., Huang, Y.Q.: Duhamel’s formula for time-fractional Schrödinger equations. Math. Methods Appl. Sci. 41, 8345–8349 (2018)

39. 39.

Zhou, Y., Peng, L., Huang, Y.Q.: Existence and Hölder continuity of solutions for time-fractional Navier–Stokes equations. Math. Methods Appl. Sci. 41, 7830–7838 (2018)

40. 40.

Zhou, Y., Shangerganesh, L., Manimaran, J., Debbouche, A.: A class of time-fractional reaction–diffusion equation with nonlocal boundary condition. Math. Methods Appl. Sci. 41, 2987–2999 (2018)

Not applicable.

Funding

The work was supported by the National Natural Science Foundation of China (No. 11671339).

Author information

Authors

Contributions

All authors contributed equally to each part of this work. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Yong Zhou.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and Permissions

Derbazi, C., Hammouche, H., Benchohra, M. et al. Fractional hybrid differential equations with three-point boundary hybrid conditions. Adv Differ Equ 2019, 125 (2019). https://doi.org/10.1186/s13662-019-2067-7

• Accepted:

• Published:

• 34A08
• 34A12

Keywords

• Fractional differential equation
• Caputo fractional derivative
• Hybrid
• Fixed point theorem