Skip to main content

Theory and Modern Applications

Existence results for mixed Hadamard and Riemann-Liouville fractional integro-differential equations


In this paper, we prove existence and uniqueness results for a mixed initial value problem which contains Hadamard derivative and Riemann-Liouville fractional integrals by using standard fixed point theorems. Examples illustrating the results are also presented.

1 Introduction

Fractional differential equations involving Riemann-Liouville, Caputo and Hadamard type derivatives have been extensively studied by several researchers. The existing literature on the topic is quite enriched now and covers its theoretical aspects and wide range of applications. The tools of fractional calculus are effectively applied in modeling many engineering and scientific processes and phenomena. Examples include physics, chemistry, aerodynamics, electrodynamics of complex medium, polymer rheology, economics, control theory, signal and image processing, biophysics, blood flow phenomena, etc. [13]. For some recent developments on the topic, see [47] and the references therein.

Recently, Caputo and Fabrizio [8] introduced a new definition of fractional derivative without singular kernel. For details and applications of this concept, see [911].

The Hadamard fractional derivative, introduced by Hadamard in 1892 [12], differs from the Riemann-Liouville and Caputo derivatives in the sense that the kernel of the integral (in the definition of Hadamard derivative) contains a logarithmic function of arbitrary exponent. Details and properties of the Hadamard fractional derivative and integral can be found in [2, 1315]. For some recent works on the subject, we refer the reader to the works [1624].

In this paper, we consider a new class of mixed initial value problems involving Hadamard derivative and Riemann-Liouville fractional integrals given by

$$ \left \{ \textstyle\begin{array}{@{}l} D^{\alpha} (x(t)-\sum_{i=1}^{m}I^{\beta _{i}}h_{i}(t,x(t)) )=g(t,x(t),Kx(t)),\quad t\in J:=[1,T],\\ x(1)=0, \end{array}\displaystyle \right . $$

where \(D^{\alpha}\) denotes the Hadamard fractional derivative of order α, \(0<\alpha\leq1\), \(I^{\phi}\) is the Riemann-Liouville fractional integral of order \(\phi>0\), \(\phi\in\{\beta_{1},\beta_{2},\ldots,\beta_{m}\}\), \(g\in C(J\times \mathbb{R}^{2}, \mathbb{R})\), \(h_{i}\in C(J\times\mathbb{R}, \mathbb{R})\) with \(h(1,0)=0\), \(i=1,2,\ldots,m\), and \(Kx(t)=\int_{1}^{t}\varphi(t,s)x(s)\,ds\), \(\varphi(t,s)\in C(J^{2},\mathbb{R})\) with \(\varphi_{0}=\sup\{|\varphi(t,s)| ; (t,s)\in J\times J\}\).

Existence as well existence and uniqueness results are proved for the initial value problem (1.1) by using Krasnoselskii’s fixed point theorem, Banach’s fixed point theorem, and Leray-Schauder nonlinear alternative. We emphasize that the results obtained in the given setting are new and contribute significantly to the existing literature on Hadamard type fractional differential equations. The paper concludes with illustrative examples.

2 Preliminaries

In this section, we introduce some notations and definitions of fractional calculus [1, 2] and present a lemma needed for the proof of our main results.

Definition 2.1


The Hadamard derivative of fractional order q for a function \(g: [1, \infty) \to\mathbb{R}\) is defined as

$$D^{q} g(t)=\frac{1}{\Gamma(n-q)} \biggl(t\frac{d}{dt} \biggr)^{n}\int_{1}^{t} \biggl(\log \frac{t}{s} \biggr)^{n-q-1}\frac{g(s)}{s}\,ds, \quad n-1 < q < n, n=[q]+1, $$

where \([q]\) denotes the integer part of the real number q and \(\log(\cdot) =\log_{e} (\cdot)\).

Definition 2.2


The Hadamard fractional integral of order q for a function g is defined as

$$I^{q} g(t)=\frac{1}{\Gamma(q)}\int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{q-1}\frac{g(s)}{s}\,ds, \quad q>0, $$

provided the integral exists.

Definition 2.3

The Riemann-Liouville fractional integral of order \(p > 0\) of a continuous function \(f:(0,\infty)\rightarrow \mathbb{R}\) is defined by

$$I^{p} f(t)=\frac{1}{\Gamma(p)}\int_{1}^{t}(t-s)^{p-1}f(s) \,ds, $$

provided the right-hand side is point-wise defined on \((1,\infty)\).

The following lemma is obvious [2].

Lemma 2.1

Suppose that \(0<\alpha\leq1\), and functions g, \(h_{i}\), \(i=1,2,\ldots,m\) satisfy problem (1.1). Then the unique solution of the fractional integro-differential problem (1.1) is given by

$$ x(t)=\frac{1}{\Gamma(\alpha)}\int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha-1}g \bigl(s,x(s),Kx(s) \bigr) \frac{ds}{s}+\sum_{i=1}^{m}I^{\beta _{i}}h_{i} \bigl(t,x(t) \bigr), \quad t\in J. $$

Let \(E=C(J,\mathbb{R})\) be the space of continuous real-valued functions defined on \(J=[1,T]\) endowed with the norm \(\|x\|=\sup_{t\in J} |x(t)|\).

3 Main results

The first existence result for the problem (1.1) will be proved by using the Krasnoselskii’s fixed point theorem [25].

Lemma 3.1

(Krasnoselskii’s fixed point theorem) [25]

Let M be a closed, bounded, convex, and nonempty subset of a Banach space X. Let A, B be the operators such that (a) \(Ax+By\in M\) whenever \(x,y\in M\); (b) A is compact and continuous; (c) B is a contraction mapping. Then there exists \(z \in M\) such that \(z = Az+Bz\).

Theorem 3.1

Assume that


There exist a constant \(L_{0}>0\), such that

$$\bigl|h_{i} \bigl(t,x(t) \bigr)-h_{i} \bigl(t,y(t) \bigr)\bigr| \leq L_{0}\bigl|x(t)-y(t)\bigr|, \quad \textit{for } t\in J \textit{ and } x,y\in \mathbb{R}, i=1,2,\ldots, m. $$

\(|g(t, x, y)|\le\nu(t)+\mu(t)|y|\), \(\forall(t,x, y)\in J\times{\mathbb{R}}^{2}\), \(\nu,\mu\in C(J,{\mathbb{R}}^{+})\), and \(|h_{i}(t, x)|\le\theta_{i}(t)\), \(\forall(t,x)\in J\times{\mathbb{R}}\), \(\theta_{i}\in C(J,{\mathbb{R}}^{+})\), \(i=1,2, \ldots, m\).

Then the problem (1.1) has at least one solution on J provided that

$$L_{0}\sum_{i=1}^{m} \frac{(T-1)^{\beta_{i}}}{\Gamma(\beta_{i}+1)}< 1. $$


Setting \(\sup_{t\in J}|\nu(t)|=\|\nu\|\), \(\sup_{t\in J}|\mu(t)|=\|\mu\|\), \(\sup_{t\in J}|\theta_{i}(t)|=\|\theta_{i}\|\), \(i=1,2,\ldots, m\), we consider \(B_{R}=\{x\in C(J, {\mathbb{R}}): \|x\|\le R\}\), where

$$R\ge \Biggl(\sum_{i=1}^{m} \frac{(T-1)^{\beta_{i}}}{\Gamma(\beta _{i}+1)}\|\theta_{i}\|+\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} \|\nu\| \Biggr) \Big/ \biggl(1-\varphi_{0}\|\mu\| \biggl[\frac{\gamma}{\Gamma(\alpha)}+ \frac {(\log T)^{\alpha}}{\Gamma(\alpha+1)} \biggr] \biggr), $$

\(\gamma=T\int_{0}^{\log T}u^{\alpha-1}e^{-u}\,du\) and \(\varphi_{0}\|\mu\| [\frac{\gamma}{\Gamma(\alpha)}+\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} ]<1\).

We define the operators \(\mathcal{Q}:B_{R}\to E\) and \(\mathcal{T}: B_{R}\to E\) by

$$\begin{aligned}& \mathcal{Q}x(t)= \sum_{i=1}^{m} \frac{1}{\Gamma(\beta_{i})}\int_{1}^{t}(t-s)^{\beta _{i}-1}h_{i} \bigl(s,x(s) \bigr)\,ds,\quad t\in J, \end{aligned}$$
$$\begin{aligned}& \mathcal{T}x(t)= \frac{1}{\Gamma(\alpha)}\int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha -1}g \bigl(s,x(s),Kx(s) \bigr) \frac{ds}{s},\quad t\in J. \end{aligned}$$

For any \(x, y\in B_{R}\), we have

$$\begin{aligned} \bigl|\mathcal{Q}x(t)+\mathcal{T}y(t)\bigr| \leq& \sum_{i=1}^{m} \frac{1}{\Gamma(\beta_{i})}\int_{1}^{t}(t-s)^{\beta_{i}-1}\bigl|h_{i} \bigl(s,x(s) \bigr)\bigr|\,ds \\ &{}+\frac{1}{\Gamma(\alpha)} \int_{1}^{t} \biggl(\log \frac{t}{s} \biggr)^{\alpha-1}\bigl|g \bigl(s,x(s),Kx(s) \bigr)\bigr| \frac {ds}{s} \\ \leq& \sum_{i=1}^{m}\frac{1}{\Gamma(\beta_{i})} \int_{1}^{t}(t-s)^{\beta_{i}-1}\bigl| \theta_{i}(s)\bigr|\,ds \\ &{}+ \frac{1}{\Gamma(\alpha)}\int_{1}^{t} \biggl(\log \frac {t}{s} \biggr)^{\alpha-1} \bigl(\bigl|\nu(s)\bigr|+\bigl|\mu(s)\bigr|\bigl|Kx(s)\bigr| \bigr) \frac{ds}{s} \\ \leq& \sum_{i=1}^{m}\frac{(T-1)^{\beta_{i}}}{\Gamma(\beta_{i}+1)}\| \theta_{i}\|+\frac {(\log T)^{\alpha}}{\Gamma(\alpha+1)}\|\nu\|+\varphi_{0}\|\mu\|R \biggl[\frac{\gamma}{\Gamma(\alpha)}+\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} \biggr] \\ \le& R. \end{aligned}$$

Next we will show that \(\mathcal{T}\) is continuous and compact. The operator \(\mathcal{T}\) is obviously continuous. Also, \(\mathcal{T}\) is uniformly bounded on \(B_{R}\) as

$$\|\mathcal{T}x\|\leq \frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)}\|\nu\|+\|\mu\|\varphi_{0}R \biggl[\frac {\gamma}{\Gamma(\alpha)}+\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} \biggr]. $$

Let \(\tau_{1},\tau_{2}\in J\) with \(\tau_{1}<\tau_{2}\) and \(x\in B_{R}\). We define \(\sup_{(t,x_{i})\in J\times B_{R}\times B_{R}}|g(t,x,y)|=\bar{g}<\infty\). Then we have

$$\begin{aligned} \bigl|\mathcal{T}x(\tau_{2})-\mathcal{T}x(\tau_{1})\bigr| =& \biggl| \frac {1}{\Gamma(\alpha)}\int_{1}^{\tau_{2}} \biggl(\log \frac{\tau_{2}}{s} \biggr)^{\alpha-1}g \bigl(s,x(s),Kx(s) \bigr) \frac{ds}{s} \\ &{}-\frac{1}{\Gamma(\alpha)}\int_{1}^{\tau_{1}} \biggl(\log \frac{\tau _{2}}{s} \biggr)^{\alpha-1}g \bigl(s,x(s),Kx(s) \bigr) \frac{ds}{s} \biggr| \\ \le& \frac{\|\nu\|+\|\mu\|\varphi_{0}R(T-1)}{\Gamma(\alpha+1)} \bigl[(\log\tau _{1})^{\alpha}-(\log \tau_{2})^{\alpha} \bigr], \end{aligned}$$

which is independent of x and tends to zero as \(\tau_{2}-\tau_{1}\to 0\). Thus, \(\mathcal{T}\) is equicontinuous. So \(\mathcal{T}\) is relatively compact on \(B_{R}\). Hence, by the Arzelá-Ascoli theorem, \(\mathcal{T}\) is compact on \(B_{R}\).

Now we show that \({\mathcal{Q}}\) is a contraction mapping. Let \(x, y\in B_{R}\). Then, for \(t\in J\), we have

$$\begin{aligned} \bigl|{\mathcal{Q}}x(t)-{\mathcal{Q}}y(t)\bigr| \le& \sum_{i=1}^{m} \frac{1}{\Gamma(\beta_{i})}\int_{1}^{t}(t-s)^{\beta _{i}-1}\bigl|h_{i} \bigl(s,x(s) \bigr)-h_{i} \bigl(s,y(s) \bigr)\bigr|\,ds \\ \le& L_{0}\|x-y\|\sum_{i=1}^{m} \frac{1}{\Gamma(\beta_{i})}\int_{1}^{t}(t-s)^{\beta_{i}-1} \,ds \\ \le&L_{0}\|x-y\|\sum_{i=1}^{m} \frac{(T-1)^{\beta_{i}}}{\Gamma(\beta_{i}+1)}. \end{aligned}$$

Hence, by the given assumption, \(\mathcal{T}\) is a contraction mapping.

Thus all the assumptions of Krasnoselskii fixed point theorem are satisfied, which implies that the problem (1.1) has at least one solution on J. □

Theorem 3.2

Assume that \(h_{i}: [1,T]\times\mathbb{R} \to \mathbb{R}\), \(i=1,2,\ldots,m\), are continuous functions satisfying the condition (A1). In addition we assume that


\(|g(t,x,y)-g(t,\bar{x},\bar{y})| \le L_{1} |x-\bar {x}|+L_{2}|y-\bar{y}|\), \(\forall t \in J\), \(L_{1},L_{2}>0\), \(x,\bar{x},y,\bar{y}\in\mathbb{R}\).

Then the problem (1.1) has a unique solution if

$$\Lambda :=L_{0}\sum_{i=1}^{m} \frac{(T-1)^{\beta_{i}}}{\Gamma(\beta_{i}+1)}+L_{1}\frac {(\log T)^{\alpha}}{\Gamma(\alpha+1)}+L_{2} \varphi_{0} \biggl[\frac{\gamma}{\Gamma (\alpha)}+\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} \biggr]< 1. $$


Let us fix \(\sup_{t \in[1,T]}|g(t,0,0)|=N\), \(\sup_{t \in[1,T]}|h_{i}(t,0)|=K_{i}\), \(i=1,2,\ldots, m\) and choose \(r \ge\frac{M}{1-\Lambda}\), where \(M= \sum_{i=1}^{m}K_{i}\frac{(T-1)^{\beta_{i}}}{\Gamma(\beta_{i}+1)}+N\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)}\). Then we show that \(F B_{r} \subset B_{r}\), where \(B_{r}=\{x \in C(J, {\mathbb{R}}): \|x\|\le r \}\) with the operator \(F:C([1,T], {\mathbb{R}}) \to C([1,T], {\mathbb{R}})\) defined by

$$ (Fx) (t)=\frac{1}{\Gamma(\alpha)}\int_{1}^{t} \biggl(\log\frac{t}{s} \biggr)^{\alpha-1}g \bigl(s,x(s),Kx(s) \bigr) \frac{ds}{s}+\sum_{i=1}^{m}I^{\beta _{i}}h_{i} \bigl(t,x(t) \bigr), \quad t\in J. $$

For \(x \in B_{r}\), we have

$$\begin{aligned} &\bigl|(Fx) (t)\bigr| \\ &\quad \le \sup_{t\in[1,T]} \Biggl\{ \sum _{i=1}^{m}\frac {1}{\Gamma(\beta_{i})}\int_{1}^{t}(t-s)^{\beta_{i}-1}\bigl|h_{i} \bigl(s,x(s) \bigr)\bigr|\,ds \\ &\qquad{} +\frac{1}{\Gamma(\alpha)}\int_{1}^{t} \biggl( \log\frac{t}{s} \biggr)^{\alpha -1}\bigl|g \bigl(s,x(s),Kx(s) \bigr)\bigr| \frac{ds}{s} \Biggr\} \\ &\quad\le\sup_{t\in[1,T]} \Biggl\{ \sum _{i=1}^{m}\frac {1}{\Gamma(\beta_{i})}\int_{1}^{t}(t-s)^{\beta _{i}-1} \bigl(\bigl|h_{i} \bigl(s,x(s) \bigr)-h_{i}(s,0)\bigr|+\bigl|h_{i}(s,0)\bigr| \bigr)\,ds \\ &\qquad{} +\frac{1}{\Gamma(\alpha)}\int_{1}^{t} \biggl( \log\frac{t}{s} \biggr)^{\alpha -1} \bigl(\bigl|g \bigl(s,x(s),Kx(s) \bigr)-g(s,0,0)\bigr|+\bigl|g(s,0,0)\bigr| \bigr)\frac{ds}{s} \Biggr\} \\ &\quad\le \sum_{i=1}^{m} \frac{(T-1)^{\beta_{i}}}{\Gamma(\beta _{i}+1)}(L_{0}r+K_{i})+(L_{1}r+N) \frac{(\log T)^{\alpha}}{\Gamma(\alpha +1)}+L_{2}\varphi_{0}r \biggl[ \frac{\gamma}{\Gamma(\alpha)}+\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} \biggr] \\ &\quad= \Lambda r+M\le r, \end{aligned}$$

which implies that \(FB_{r}\subset B_{r}\).

Now, for \(x, y \in C([1,T], {\mathbb{R}})\) and for each \(t \in [1,T]\), we obtain

$$\begin{aligned} &\bigl|(Fx) (t)-(Fy) (t)\bigr| \\ &\quad\le \sup_{t\in[1,T]} \Biggl\{ \sum _{i=1}^{m}\frac {1}{\Gamma(\beta_{i})}\int_{1}^{t}(t-s)^{\beta _{i}-1}\bigl|h_{i} \bigl(s,x(s) \bigr)-h_{i} \bigl(s,y(s) \bigr)\bigr|\,ds \\ &\qquad{} +\frac{1}{\Gamma(\alpha)}\int_{1}^{t} \biggl( \log\frac{t}{s} \biggr)^{\alpha-1}\bigl|g \bigl(s,x(s),Kx(s) \bigr)-g \bigl(s,y(s),Ky(s) \bigr)\bigr| \frac{ds}{s} \Biggr\} \\ &\quad\le \Biggl\{ L_{0}\sum_{i=1}^{m} \frac{(T-1)^{\beta_{i}}}{\Gamma(\beta _{i}+1)}+L_{1}\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)}+L_{2} \varphi_{0} \biggl[\frac{\gamma}{\Gamma (\alpha)}+\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} \biggr] \Biggr\} \|x-y\|. \end{aligned}$$

Therefore \(\|Fx-Fy\|\le\Lambda\|x-y\|\), and as \(\Lambda< 1\), F is a contraction. Thus, the conclusion of the theorem follows by the contraction mapping principle (Banach fixed point theorem). □

Our final existence result is based on the Leray-Schauder nonlinear alternative [26].

Lemma 3.2

(Nonlinear alternative for single valued maps [26])

Let E be a Banach space, C a closed, convex subset of E, U an open subset of C and \(0\in U\). Suppose that \(F:\overline{U}\to C\) is a continuous, compact (that is, \(F(\overline{U})\) is a relatively compact subset of C) map. Then either

  1. (i)

    F has a fixed point in , or

  2. (ii)

    there is a \(u\in\partial U\) (the boundary of U in C) and \(\lambda\in(0,1)\) with \(u=\lambda F(u)\).

Theorem 3.3

Assume that \(g: [1,T]\times{\mathbb{R}}^{2} \to{\mathbb{R}}\) is a continuous function and the following conditions hold:


there exist functions \(p_{1},p_{2} \in C([1,T], {\mathbb{R}}^{+})\), and \(\psi: {\mathbb{R}}^{+}\to{ \mathbb{R}}^{+}\) nondecreasing such that \(|g(t,x,y)|\le p_{1} (t)\psi(|x|)+p_{2}(t)|y|\) for each \((t, x,y) \in [1,T] \times{\mathbb{R}}^{2}\);


there exist functions \(q_{i} \in C([1,T], {\mathbb{R}}^{+})\), and \(\Omega_{i}: {\mathbb{R}}^{+}\to{ \mathbb{R}}^{+}\) nondecreasing such that \(|h_{i}(t,x)|\le q_{i} (t)\Omega_{i}(|x|)\) for each \((t, x) \in[1,T] \times{\mathbb{R}}\), \(i=1,2,\ldots, m\);


there exists a number \(M_{0}>0\) such that

$$\frac{ (1-\|p_{2}\|\varphi_{0} [\frac{\gamma}{\Gamma(\alpha)}+\frac {(\log T)^{\alpha}}{\Gamma(\alpha+1)} ] )M_{0}}{ \sum_{i=1}^{m}\frac{(T-1)^{\beta_{i}}}{\Gamma(\beta_{i}+1)}\|q_{i}\|\Omega _{i}(M_{0})+\|p_{1}\|\psi(M_{0})\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)}}>1, $$


$$\|p_{2}\|\varphi_{0} \biggl[\frac{\gamma}{\Gamma(\alpha)}+ \frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} \biggr]< 1. $$

Then the boundary value problem (1.1) has at least one solution on \([1,T]\).


Consider the operator F defined by (3.3). It is easy to prove that F is continuous. Next, we show that F maps bounded sets into bounded sets in \(C([1,T], {\mathbb{R}})\). For a positive number ρ, let \(B_{\rho} = \{x \in C([1,T], \mathbb{R}): \|x\| \le \rho\}\) be a bounded set in \(C([1,T], {\mathbb{R}})\). Then, for each \(x \in B_{\rho}\), we have

$$\begin{aligned} \bigl|(Fx) (t)\bigr| \le& \sum_{i=1}^{m} \frac{1}{\Gamma(\beta_{i})}\int_{1}^{t}(t-s)^{\beta_{i}-1}\bigl|h_{i} \bigl(s,x(s) \bigr)\bigr|\,ds \\ &{} +\frac{1}{\Gamma(\alpha)}\int_{1}^{t} \biggl(\log \frac{t}{s} \biggr)^{\alpha -1}\bigl|g \bigl(s,x(s),Kx(s) \bigr)\bigr| \frac{ds}{s} \\ \le& \sum_{i=1}^{m}\frac{(T-1)^{\beta_{i}}}{\Gamma(\beta _{i}+1)} \|q_{i}\|\Omega_{i}(\rho)+\|p_{1}\|\psi(\rho) \frac{(\log T)^{\alpha }}{\Gamma(\alpha+1)} \\ &{}+\|p_{2}\|\varphi_{0}\rho \biggl[\frac{\gamma}{\Gamma(\alpha)}+ \frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} \biggr]. \end{aligned}$$


$$\|Fx\|\le \sum_{i=1}^{m}\frac{(T-1)^{\beta_{i}}}{\Gamma (\beta_{i}+1)} \|q_{i}\|\Omega_{i}(r)+\|p_{1}\|\psi(\rho) \frac{(\log T)^{\alpha }}{\Gamma(\alpha+1)}+\|p_{2}\|\varphi_{0}\rho \biggl[ \frac{\gamma}{\Gamma (\alpha)}+\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} \biggr]. $$

Now we show that F maps bounded sets into equicontinuous sets of \(C([1,T], \mathbb{R})\). Let \(t_{1}, t_{2} \in[1,T]\) with \(t_{1}< t_{2}\) and \(x \in B_{\rho}\), where \(B_{\rho}\) is a bounded set of \(C([1,T], \mathbb{R})\). Then we have

$$\begin{aligned} &\bigl|(Fx) (t_{2})-(Fx) (t_{1})\bigr| \\ &\quad\le \Biggl\vert \sum_{i=1}^{m} \frac{1}{\Gamma(\beta_{i})}\int_{1}^{t_{2}} (t_{2}-s)^{\beta_{1}-1} h_{i} \bigl(s,x(s) \bigr)\,ds- \sum_{i=1}^{m} \frac{1}{\Gamma(\beta _{i})}\int_{1}^{t_{1}} (t_{1}-s)^{\beta_{i}-1} h_{i} \bigl(s,x(s) \bigr)\,ds \Biggr\vert \\ &\qquad{}+ \biggl|\frac{1}{\Gamma(\alpha)}\int_{1}^{t_{2}} \biggl(\log \frac{t_{2}}{s} \biggr)^{\alpha-1}g \bigl(s,x(s),Kx(s) \bigr) \frac{ds}{s} \\ &\qquad{}-\frac{1}{\Gamma(\alpha)}\int_{1}^{t_{1}} \biggl( \log\frac{t_{1}}{s} \biggr)^{\alpha-1}g \bigl(s,x(s),Kx(s) \bigr) \frac{ds}{s} \biggr| \\ &\quad\le \sum_{i=1}^{m}\frac{\|q_{i}\|\Omega_{i}(\rho)}{\Gamma(\beta_{i})} \biggl\{ \int_{1}^{t_{1}} \bigl[(t_{2}-s)^{\beta_{i}-1}-(t_{1}-s)^{\beta_{i}-1} \bigr]\,ds+ \int_{t_{1}}^{t_{2}}(t_{2}-s)^{\beta-1} \,ds \biggr\} \\ &\qquad{}+\frac{\|p_{1}\|\psi(\rho)+\|p_{2}\|\varphi_{0}\rho(T-1)}{\Gamma(\alpha)} \biggl|\int_{1}^{t_{1}} \biggl[ \biggl(\log\frac{t_{2}}{s} \biggr)^{\alpha-1} - \biggl(\log \frac{t_{1}}{s} \biggr)^{\alpha-1} \biggr]\frac{1}{s}\,ds \\ &\qquad{}+\int_{t_{1}}^{t_{2}} \biggl(\log \frac{t_{2}}{s} \biggr)^{\alpha-1}\frac {1}{s}\,ds \biggr|. \end{aligned}$$

Obviously the right-hand side of the above inequality tends to zero independently of \(x \in B_{\rho}\) as \(t_{2}- t_{1} \to0\). Therefore it follows by the Arzelá-Ascoli theorem that \(F : C([1,T], {\mathbb{R}}) \to C([1,T], {\mathbb{R}})\) is completely continuous.

The result will follow from the Leray-Schauder nonlinear alternative once we have shown the boundedness of the set of all solutions to equations \(x=\lambda F x\) for \(\lambda\in[0,1]\).

Let x be a solution. Then, for \(t\in[1,T]\), following the computations used in proving that F is bounded, we obtain

$$\begin{aligned} \bigl|x(t)\bigr| \le& \sum_{i=1}^{m} \frac{(T-1)^{\beta_{i}}}{\Gamma(\beta_{i}+1)}\|q_{i}\|\Omega _{i}\bigl(\|x\|\bigr)+ \|p_{1}\|\psi\bigl(\|x\|\bigr)\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} \\ &{}+\|p_{2}\|\varphi_{0}\|x\| \biggl[\frac{\gamma}{\Gamma(\alpha)}+ \frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} \biggr]. \end{aligned}$$

Consequently, we get

$$\frac{ (1-\|p_{2}\|\varphi_{0} [\frac{\gamma}{\Gamma (\alpha)}+\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} ] )\|x\|}{ \sum_{i=1}^{m}\frac{(T-1)^{\beta_{i}}}{\Gamma(\beta_{i}+1)}\|q_{i}\|\Omega _{i}(\|x\|)+\|p_{1}\|\psi(\|x\|)\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)}}\le1. $$

In view of (A3), there exists \(M_{0}\) such that \(\|x\| \ne M_{0}\). Let us set

$$U = \bigl\{ x \in C \bigl([1,T], {\mathbb{R}} \bigr) : \|x\| < M_{0}+1 \bigr\} . $$

Note that the operator \(F:\overline{U} \to C([1,T], \mathbb{R})\) is continuous and completely continuous. From the choice of U, there is no \(x \in\partial U\) such that \(x =\lambda Fx\) for some \(\lambda\in(0,1)\). Hence, by the Leray-Schauder alternative, we deduce that F has a fixed point \(x \in\overline{U}\) which is a solution of the problem (1.1). □

4 Examples

In this section, we illustrate the existence results obtained in Section 3 with the aid of examples.

Example 4.1

Consider the following mixed Hadamard and Riemann-Liouville fractional integro-differential equation with initial condition:

$$ \textstyle\begin{cases} D^{\frac{1}{4}} (x(t)- \sum_{i=1}^{3} I^{\beta _{i}}h_{i}(t,x(t)) )\\ \quad= \frac{1}{2}+\frac{(\sqrt{t}+\log t)|x(t)|}{|x(t)|+3} +(1+\log t)\int_{1}^{t}\frac{\sin(\pi \log t)x(s)}{3(s^{2}+1)}\,ds, \quad t\in [1,e^{\frac{1}{2}} ],\\ x(1)=0. \end{cases} $$

Here \(\alpha=1/4\), \(\beta_{1}=2/5\), \(\beta_{2}=3/5\), \(\beta_{3}=4/5\), \(m=3\), \(T=e^{\frac{1}{2}}\), and

$$\begin{aligned} &h_{1}(t,x)=\frac{e^{-t}}{\sqrt{2}} \biggl(\frac{|x|}{1+|x|} \biggr), \qquad h_{2}(t,x)=\frac{1}{4t} \biggl(\frac{1}{|x|+3}+1 \biggr)|x|,\\ & h_{3}(t,x)=\frac{2(\log t)}{3}\sin|x|, \qquad g(t,x,y)=\frac{1}{2}+\frac{(\sqrt{t}+\log t)|x|}{|x|+3} +y(1+\log t), \\ &\varphi(t,s)= \frac{\sin(\pi\log t)}{3(s^{2}+1)}. \end{aligned}$$

With the given data, we find that \(\varphi_{0}=1/6\), \(|h_{i}(t,x)-h_{i}(t,y)|\leq(1/3)|x-y|\), \(i=1,2,3\), \(|g(t,x,y)|\leq (1/2)+2\sqrt{t}+(1+\log t)|y|\), which satisfy (A1) and (A2) with \(L_{0}=(1/3)\), \(\nu(t)=(1/2)+2\sqrt{t}\), and \(\mu(t)=1+\log t\). Further, \(\gamma=5.059974208\),

$$\begin{aligned}& L_{0}\sum_{i=1}^{m} \frac{(T-1)^{\beta_{i}}}{\Gamma(\beta _{i}+1)}=0.856880869< 1 \quad\mbox{and}\\& \varphi_{0}\|\mu \| \biggl[\frac{\gamma}{\Gamma(\alpha)}+\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} \biggr]=0.580837503< 1. \end{aligned}$$

Therefore, by Theorem 3.1, the problem (4.1) has at least one solution on \([1,e^{\frac{1}{2}}]\).

Example 4.2

Consider the initial value problem given by

$$ \textstyle\begin{cases} D^{\frac{1}{2}} (x(t)- \sum_{i=1}^{4} I^{\beta _{i}}h_{i}(t,x(t)) )\\ \quad= \frac{1}{10(1+t^{2})} (\frac {x^{2}(t)+10|x(t)|}{5+|x(t)|} ) +\frac{1}{6}\int_{1}^{t}\frac{e^{1-st}x(s)}{(1+t)(1+|\cos (\pi s/2)|)}\,ds+\frac{3}{4},\quad t\in[1,e],\\ x(1)=0. \end{cases} $$

Here \(\alpha=1/2\), \(\beta_{1}=1/2\), \(\beta_{2}=3/2\), \(\beta_{3}=5/2\), \(\beta_{4}=7/2\), \(m=4\), \(T=e\),, and

$$\begin{aligned} &h_{1}(t,x)=\frac{1}{20t} \biggl(\frac{1}{1+|x|}+1 \biggr)|x|, \qquad h_{2}(t,x)=\frac{2e^{-2t}}{3}\sin|x|,\\ & h_{3}(t,x)= \frac{1}{5(2+\ln t)}\tan^{-1}|x|, \qquad h_{4}(t,x)=\frac{1}{10} \biggl(\frac{|x|}{t+|x|} \biggr),\\ &g(t,x,y)=\frac{1}{10(1+t^{2})} \biggl(\frac{x^{2}+10|x|}{5+|x|} \biggr)+ \frac {1}{6}y+\frac{3}{4}, \\ &\varphi(t,s)=\frac{e^{1-st}}{(1+t)(1+|\cos(\pi s/2)|)}. \end{aligned}$$

Using the given values, we find that \(\varphi_{0}=1/2\), \(|h_{i}(t,x)-h_{i}(t,y)|\leq(1/10)|x-y|\), \(i=1,2,3,4\), \(|g(t,x,y)-g(t,\bar{x},\bar{y})|\leq (1/10)|x-\bar{x}|+(1/6)|y-\bar{y}|\), which satisfy (A1) and (A3) with \(L_{0}=(1/10)\), \(L_{1}=(1/10)\), and \(L_{2}=(1/6)\). Since \(\int_{0}^{1}u^{-1/2}e^{-u}\,du=\sqrt{\pi} \operatorname{erf}(1)\), where \(\operatorname{erf}(\cdot)\) is the Gauss error function, we have \(\gamma=4.06015694\). Hence, we obtain \(\Lambda=0.88873633<1\). Therefore, by Theorem 3.2, the problem (4.2) has a unique solution on \([1,e]\).

Example 4.3

Consider the following initial value problem of mixed Hadamard and Riemann-Liouville fractional integro-differential equations:

$$ \textstyle\begin{cases} D^{\frac{3}{4}} (x(t)- \sum_{i=1}^{5} I^{\beta _{i}}h_{i}(t,x(t)) )\\ \quad= \frac{1}{1+2t^{2}} (\frac{\log t}{3}x(t)+\frac{1}{2} ) +\frac{e^{1-t}}{3}\int_{1}^{t}\frac{1+|\sin\pi st|}{7+3st}x(s)\,ds,\quad t\in[1,e^{\frac {3}{2}}],\\ x(1)=0. \end{cases} $$

Here \(\alpha=3/4\), \(\beta_{1}=1/2\), \(\beta_{2}=3/4\), \(\beta_{3}=5/4\), \(\beta_{4}=3/2\), \(\beta_{5}=7/4\), \(m=5\), \(T=e^{\frac{3}{2}}\), and

$$\begin{aligned} &h_{i}(t,x)= \biggl(\frac{1}{i+2\log t} \biggr) \biggl( \frac{x}{24+i} \biggr),\quad i=1,2,3,4,5, \\ &g(t,x,y)=\frac{1}{1+2t^{2}} \biggl(\frac{\log t}{3}x+\frac{1}{2} \biggr)+\frac{y e^{1-t}}{3},\qquad \varphi(t,s)=\frac{1+|\sin\pi st|}{7+3st}. \end{aligned}$$

With the given data, it is found that \(\varphi_{0}=1/5\), \(|g(t,x,y)|\leq(1/(1+2t^{2}))((1/2)|x|+(1/2))+(e^{1-t}/3)|y|\), \(|h_{i}(t,x)|\leq(1/(i+2\log t))(|x|/(24+i))\), \(i=1,2,3,4,5\). Clearly the conditions (H1)-(H3) are satisfied with \(p_{1}(t)=1/(1+2t^{2})\), \(\psi(|x|)=(1/2)(|x|+1)\), \(p_{2}(t)=e^{1-t}/3\), \(q_{i}(t)=1/(i+2\log t)\), \(\Omega_{i}(|x|)=|x|/(24+i)\), \(i=1,2,3,4,5\). Moreover, \(\gamma=4.681329240\), \(\|p_{1}\|=1/3\), \(\|p_{2}\|=1/3\), \(\|q_{i}\|=1/i\), \(i=1,2,3,4,5\), \(\|p_{2}\|\varphi_{0} [\frac{\gamma}{\Gamma(\alpha)}+\frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} ]\approx0.3529974<1\). Hence there exists a positive number \(M_{0}>\widetilde{M}_{0} \approx 1.8885976\). Therefore, by Theorem 3.3, the problem (4.3) has at least one solution on \([1,e^{\frac{3}{2}}]\).


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

    MATH  Google Scholar 

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

    Book  MATH  Google Scholar 

  3. Sabatier, J, Agrawal, OP, Machado, JAT (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007)

    Google Scholar 

  4. Baleanu, D, Mustafa, OG, Agarwal, RP: An existence result for a superlinear fractional differential equation. Appl. Math. Lett. 23, 1129-1132 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  5. Nyamoradi, N, Baleanu, D, Agarwal, RP: Existence and uniqueness of positive solutions to fractional boundary value problems with nonlinear boundary conditions. Adv. Differ. Equ. 2013, Article ID 266 (2013)

    Article  MathSciNet  Google Scholar 

  6. Zhang, L, Ahmad, B, Wang, G: Successive iterations for positive extremal solutions of nonlinear fractional differential equations on a half line. Bull. Aust. Math. Soc. 91, 116-128 (2015)

    Article  MATH  MathSciNet  Google Scholar 

  7. Ahmad, B, Ntouyas, SK: Existence results for a coupled system of Caputo type sequential fractional differential equations with nonlocal integral boundary conditions. Appl. Math. Comput. 266, 615-622 (2015)

    Article  MathSciNet  Google Scholar 

  8. Caputo, M, Fabrizio, M: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1, 73-85 (2015)

    Google Scholar 

  9. Losada, J, Nieto, JJ: Properties of a new fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1, 87-92 (2015)

    Google Scholar 

  10. Atangana, A, Badr, STA: Analysis of the Keller-Segel model with a fractional derivative without singular kernel. Entropy 17, 4439-4453 (2015)

    Article  MathSciNet  Google Scholar 

  11. Atangana, A, Badr, STA: Extension of the RLC electrical circuit to fractional derivative without singular kernel. Adv. Mech. Eng. 7, 1-6 (2015)

    Article  Google Scholar 

  12. Hadamard, J: Essai sur l’étude des fonctions données par leur développement de Taylor. J. Mat. Pure Appl. Ser. (4) 8, 101-186 (1892)

  13. Butzer, PL, Kilbas, AA, Trujillo, JJ: Compositions of Hadamard-type fractional integration operators and the semigroup property. J. Math. Anal. Appl. 269, 387-400 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  14. Kilbas, AA: Hadamard-type fractional calculus. J. Korean Math. Soc. 38, 1191-1204 (2001)

    MATH  MathSciNet  Google Scholar 

  15. Kilbas, AA, Trujillo, JJ: Hadamard-type integrals as G-transforms. Integral Transforms Spec. Funct. 14, 413-427 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  16. Jarad, F, Abdeljawad, T, Baleanu, D: Caputo-type modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2012, Article ID 142 (2012)

    Article  Google Scholar 

  17. Gambo, YY, Jarad, F, Baleanu, D, Abdeljawad, T: On Caputo modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2014, Article ID 10 (2014)

    Article  MathSciNet  Google Scholar 

  18. Thiramanus, P, Ntouyas, SK, Tariboon, J: Existence and uniqueness results for Hadamard-type fractional differential equations with nonlocal fractional integral boundary conditions. Abstr. Appl. Anal. 2014, Article ID 902054 (2014)

    MathSciNet  Google Scholar 

  19. Tariboon, J, Ntouyas, SK, Sudsutad, W: Fractional integral problems for fractional differential equations via Caputo derivative. Adv. Differ. Equ. 2014, Article ID 181 (2014)

    Article  MathSciNet  Google Scholar 

  20. Ahmad, B, Ntouyas, SK: A fully Hadamard type integral boundary value problem of a coupled system of fractional differential equations. Fract. Calc. Appl. Anal. 17, 348-360 (2014)

    Article  MATH  MathSciNet  Google Scholar 

  21. Ahmad, B, Ntouyas, SK, Alsaedi, A: Existence theorems for nonlocal multi-valued Hadamard fractional integro-differential boundary value problems. J. Inequal. Appl. 2014, Article ID 454 (2014)

    Article  MathSciNet  Google Scholar 

  22. Wang, J, Zhang, Y: On the concept and existence of solutions for fractional impulsive systems with Hadamard derivatives. Appl. Math. Lett. 39, 85-90 (2015)

    Article  MathSciNet  Google Scholar 

  23. Yukunthorn, W, Ahmad, B, Ntouyas, SK, Tariboon, J: On Caputo-Hadamard type fractional impulsive hybrid systems with nonlinear fractional integral conditions. Nonlinear Anal. Hybrid Syst. (2015). doi:10.1016/j.nahs.2015.08.001

    Google Scholar 

  24. Ahmad, B, Ntouyas, SK, Tariboon, J: A study of mixed Hadamard and Riemann-Liouville fractional integro-differential inclusions via endpoint theory. Appl. Math. Lett. (2015). doi:10.1016/j.aml.2015.08.002

    Google Scholar 

  25. Krasnoselskii, MA: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123-127 (1955)

    MathSciNet  Google Scholar 

  26. Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2005)

    Google Scholar 

Download references


The paper was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University. The authors, therefore, acknowledge with thanks DSR technical and financial support.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Bashir Ahmad.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Each of the authors, BA, SKN, and JT contributed to each part of this work equally and read and approved the final version of the manuscript.

Rights and permissions

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ahmad, B., Ntouyas, S.K. & Tariboon, J. Existence results for mixed Hadamard and Riemann-Liouville fractional integro-differential equations. Adv Differ Equ 2015, 293 (2015).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: