Skip to content


  • Research
  • Open Access

Solvability of a q-fractional integral equation arising in the study of an epidemic model

Advances in Difference Equations20172017:21

  • Received: 8 September 2016
  • Accepted: 4 January 2017
  • Published:


We study the solvability of a functional equation involving q-fractional integrals. Such an equation arises in the study of the spread of an infectious disease that does not induce permanent immunity. Our method is based on the noncompactness measure argument in a Banach algebra and an extension of Darbo’s fixed point theorem.


  • epidemic model
  • q-calculus
  • fractional order
  • measure of noncompactness


  • 62P10
  • 26A33
  • 45G10

1 Introduction

In this paper, we deal with the solvability of the q-fractional integral equation
$$ x(t)=\prod_{i=1}^{N} \biggl(f_{i}(t)+ \frac{g_{i}(t,x(t))}{\Gamma_{q}(\alpha _{i})} \int_{0}^{t} (t-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s \biggr),\quad t\in I, $$
where \(I=[0,1]\), \(q\in(0,1)\), \(\alpha_{i}>1\), \(f_{i}: I\to\mathbb{R}\), and \(g_{i},u_{i}: I\times\mathbb{R}\to\mathbb{R}\) (\(i=1,\ldots,N\)).

For \(N=1\), \(q=1\), and \(\alpha_{1}=1\), equation (1.1) arises in the study of the spread of an infectious disease that does not induce permanent immunity (see [13]).

Equation (1.1) can be written as
$$x(t)=\prod_{i=1}^{N} \bigl(f_{i}(t)+g_{i} \bigl(t,x(t)\bigr) I_{q}^{\alpha_{i}} u_{i}\bigl(\cdot ,x( \cdot)\bigr) (t) \bigr), \quad t\in I, $$
where \(I_{q}^{\alpha_{i}}\) is the q-fractional integral of order \(\alpha _{i}\) defined by [4]
$$I_{q}^{\alpha_{i}}h (t)=\frac{1}{\Gamma_{q}(\alpha_{i})} \int_{0}^{t} (t-qs)^{(\alpha _{i}-1)}h(s) \,d_{q}s, \quad t\in I. $$

Via noncompactness measure argument in a Banach algebra, we provide sufficient conditions for the existence of at least one solution to equation (1.1). We also give an example in order to illustrate our existence result.

The concept of noncompactness measure was used by many authors in order to study the solvability of various classes of integral equations (see [515] and references therein). Very recently, Jleli, Mursaleen, and Samet [16] studied the solvability of a functional equation involving the q-fractional integral equation
$$x(t)=F \biggl(t,x\bigl(a(t)\bigr),\frac{f(t,x(t))}{\Gamma_{q}(\alpha)} \int_{0}^{t} (t-qs)^{(\alpha-1)}u\bigl(s,x(s)\bigr) \,d_{q}s \biggr), \quad t\in[0,1]. $$
Using the noncompactness measure tool, the authors obtained an existence result for such an equation. To the best of our knowledge, [16] is the only work dealing with the solvability of a q-fractional integral equation with noncompactness measure. In this paper, we use a different approach in order to establish our existence result. We first establish a fixed point theorem in a Banach algebra via a measure of noncompactness satisfying condition \((m)\). Next, via the obtained fixed point result, we prove that, under certain conditions, equation (1.1) has at least one solution.

2 Preliminaries on quantum calculus

The concept of quantum calculus was introduced by Jackson [17, 18]. This subject is rich in history and has many applications (see [1926]). In this section, we recall some basic facts on quantum calculus and present additional properties that will be used later. For more details, we refer to [21].

Let \(q\in[0,\infty)\backslash\{1\}\). For \(x\in\mathbb{R}\), we define the q-real number \([x]_{q}\) by
$$[x]_{q}=\frac{1-q^{x}}{1-q}. $$
The q-factorial of x is defined by
$$(x,q)_{0}=1,\qquad (x,q)_{k}=\prod_{i=0}^{k-1} \bigl(1-xq^{i}\bigr),\quad k=1,2,\ldots ,\infty. $$
For \((a,b) \in\mathbb{R}^{2}\), the q-analog of \((a - b)^{k}\) is defined by
$$(a-b)^{(0)}=1,\qquad (a-b)^{(k)}=\prod_{i=0}^{k-1} \bigl(a-q^{i}b\bigr),\quad k=1,2,\ldots . $$
For \(\beta\in\mathbb{R}\), \((a,b)\in\mathbb{R}^{2}\), and \(a\geq0\),
$$(a-b)^{(\beta)}=a^{\beta}\prod_{i=0}^{\infty} \frac{a-bq^{i}}{a-bq^{\beta+i}}. $$
Note that, for \(b=0\), we have
$$a^{(\beta)}=a^{\beta}. $$

Lemma 2.1


If \(\beta>0\) and \(0\leq a\leq b\leq t\), then
$$(t-b)^{(\beta)}\leq(t-a)^{(\beta)}. $$
The q-gamma function is given by
$$\Gamma_{q}(x)=\frac{(1-q)^{(x-1)}}{(1-q)^{x-1}},\quad x\notin\{ 0,-1,-2,\ldots\}. $$
We have the following property:
$$\Gamma_{q}(x + 1) = [x]_{q}\Gamma_{q}(x). $$
Let \(f:[0,T]\to\mathbb{R}\) be a given function (\(T>0\)). We define the q-integral of the function f by
$$I_{q}f(t)= \int_{0}^{t} f(s) \,d_{q}s=t(1-q)\sum _{n=0}^{\infty}f\bigl(tq^{n} \bigr)q^{n}, \quad t\in[0,T]. $$
If \(\eta\in[0,T]\), then
$$\int_{\eta}^{T} f(s) \,d_{q}s= \int_{0}^{T} f(s) \,d_{q}s- \int_{0}^{\eta}f(s) \,d_{q}s. $$

Lemma 2.2

Let \(f: [0,1]\to\mathbb{R}\) be a continuous function. Then
$$\biggl\vert \int_{0}^{t} f(s) \,d_{q}s\biggr\vert \leq \int_{0}^{t} \bigl|f(s)\bigr| \,d_{q}s,\quad t\in[0,1]. $$

Remark 2.3

If \(0\leq t_{1} \leq t_{2} \leq1\) and \(f: [0,1]\to\mathbb{R}\) is a continuous function, then the inequality
$$\biggl\vert \int_{t_{1}}^{t_{2}} f(s) \,d_{q}s\biggr\vert \leq \int_{t_{1}}^{t_{2}} \bigl|f(s)\bigr| \,d_{q}s $$
is not satisfied in general. As a counterexample, we refer to [21], p.12.
Let \(f: [0, 1] \to\mathbb{R}\) be a given function. The fractional q-integral of order \(\alpha\geq0\) of the function f is given by \(I_{q}^{0}f(t)= f(t)\) and
$$I_{q}^{\alpha}f(t)=\frac{1}{\Gamma_{q}(\alpha)} \int_{0}^{t} (t-qs)^{(\alpha-1)} f(s) \,dq_{s},\quad t\in[0,1], \alpha>0. $$
Note that, for \(\alpha=1\), we have
$$I_{q}^{1} f(t)=I_{q}f(t),\quad t\in[0,1]. $$
For \(f\equiv1\),
$$I_{q}^{\alpha}1(t)=\frac{1}{\Gamma_{q}(\alpha+1)} t^{\alpha},\quad t \in[0,1]. $$

3 A fixed point theorem in a Banach algebra via a measure of noncompactness satisfying condition (m)

In this section, we recall the axiomatic approach of noncompactness measure introduced by Banas and Goebel [10]. Next, we establish a fixed point theorem in a Banach algebra via a measure of noncompactness satisfying condition (m). This fixed point result plays an important rule in the proof of our existence result.

Let \((E,\cdot)\) be a Banach Algebra over \(\mathbb{R}\) with respect to a certain norm \(\|\cdot\|_{E}\). We denote by \(0_{E}\) the zero vector of E. For \(x\in E\) and \(r>0\), we denote by \(B(x,r)\) the open ball in E of center x and radius r, that is,
$$B(x,r)=\bigl\{ y\in E: \|x-y\|_{E}< r\bigr\} . $$
We denote by \(\mathcal{P}(E)\) the set of all nonempty subsets of E. If \(M\in\mathcal{P}(E)\), then the symbol denotes the closure of M. The symbol \(\operatorname{Conv}(M)\) stands for the convex hull of M. For \((M,N)\in \mathcal{P}(E)\times\mathcal{P}(E)\) and \(\alpha\in\mathbb{R}\), we denote
$$M+N=\bigl\{ x+y: (x,y)\in M\times N\bigr\} $$
$$\alpha M=\{\alpha x: x\in M\}. $$
We denote by \(\mathcal{P}_{b}(E)\) the set of all nonempty bounded subsets of E. For \(M\in\mathcal{P}_{b}(E)\), we denote by \(\|M\|\) the norm of M, that is,
$$\|M\|=\sup\bigl\{ \|x\|_{E}: x\in M\bigr\} . $$
We denote by \(\mathcal{P}_{rc}(E)\) the set of all relatively compact subsets of E. For \(M,N\in\mathcal{P}(E)\), we denote by MN the product set
$$MN=\bigl\{ x\cdot y: (x,y)\in M\times N\bigr\} . $$

In what follows, we recall the axiomatic approach of a measure of noncompactness introduced by Banas and Goebel [10].

Definition 3.1

Let \(\mu: \mathcal{P}_{b}(E)\to[0,\infty)\) be a given mapping. We say that μ is a measure of noncompactness in E if it satisfies the following axioms:
  1. (A1)

    The family \(\operatorname{ker}\mu=\mu^{-1}(\{0\})\) is a subset of \(\mathcal{P}_{rc}(E)\).

  2. (A2)

    \((M,N)\in\mathcal{P}_{b}(E)\times\mathcal{P}_{b}(E), M\subset N \implies\mu(M) \leq\mu(N)\).

  3. (A3)

    \(\mu (\overline{M} )=\mu(M)\), \(M\in\mathcal{P}_{b}(E)\).

  4. (A4)

    \(\mu (\operatorname{Conv}(M) )=\mu(M)\), \(M\in\mathcal{P}_{b}(E)\).

  5. (A5)

    \(\mu (\lambda M+ ( 1-\lambda ) N ) \leq \lambda\mu(M)+ ( 1-\lambda ) \mu(N)\) for \(\lambda\in [ 0,1 ]\) and \((M,N)\in\mathcal{P}_{b}(E)\times\mathcal{P}_{b}(E)\).

  6. (A6)

    If \(\{M_{n} \}\) is a sequence of closed sets from \(\mathcal{P}_{b}(E)\) such that \(M_{n+1}\subset M_{n}\) for \(n=1,2,\ldots \) and if \(\lim_{n\to\infty} \mu(M_{n})=0\), then the intersection set \(M_{\infty}= \bigcap_{n=1}^{\infty}M_{n}\) is nonempty.


Now, let us recall the following important result, which is called Drabo’s fixed point theorem [10, 28].

Lemma 3.2

Let D be a nonempty, bounded, closed, and convex subset of E, and let \(T: D \to D\) be a continuous mapping. Suppose that there exists a constant \(k\in(0,1)\) such that
$$\mu(TM)\leq k \mu(M) $$
for any nonempty subset M of D, where μ is a measure of noncompactness in E. Then T has at least one fixed point in D.

The following concept was introduced by Banas and Olszowy [13].

Definition 3.3

Let μ be a measure of noncompactness in E. We say that μ satisfies condition (m) if
$$\mu(MN)\leq\|M\|\mu(N)+\|N\|\mu(M), \quad(M,N)\in\mathcal {P}_{b}(E)\times \mathcal{P}_{b}(E). $$

Lemma 3.4

Let μ be a measure of noncompactness in E satisfying condition (m). Let \(\{M_{i}\}_{i=1,\ldots,q}\) be a finite sequence in \(\mathcal{P}_{b}(E)\), \(q\geq2\). Then
$$ \mu \Biggl(\prod_{i=1}^{q} M_{i} \Biggr)\leq\sum_{i=1}^{q} \prod_{j=1,j\neq i}^{q} \|M_{j}\| \mu(M_{i}). $$


We shall use the induction principle. For \(q=2\), (3.1) follows immediately from Definition 3.3. Suppose now that (3.1) is satisfied for some \(q\geq2\). We have to prove that
$$ \mu \Biggl(\prod_{i=1}^{q+1} M_{i} \Biggr)\leq\sum_{i=1}^{q+1} \prod_{j=1,j\neq i}^{q+1} \|M_{j}\| \mu(M_{i}). $$
Using (3.1) and Definition 3.3, we have
$$\begin{aligned} \mu \Biggl(\prod_{i=1}^{q+1} M_{i} \Biggr) =&\mu \Biggl( \Biggl(\prod_{i=1}^{q} M_{i} \Biggr) M_{q+1} \Biggr) \\ \leq& \mu \Biggl(\prod_{i=1}^{q} M_{i} \Biggr) \|M_{q+1}\|+ \mu(M_{q+1}) \Biggl\Vert \prod_{i=1}^{q} M_{i}\Biggr\Vert \\ \leq& \mu \Biggl(\prod_{i=1}^{q} M_{i} \Biggr) \|M_{q+1}\|+ \mu(M_{q+1}) \prod _{j=1}^{q} \|M_{j}\| \\ \leq& \sum_{i=1}^{q} \prod _{j=1,j\neq i}^{q} \|M_{j}\| \mu(M_{i}) \|M_{q+1}\|+ \mu(M_{q+1}) \prod_{j=1}^{q} \|M_{j}\| \\ =& \sum_{i=1}^{q} \prod _{j=1,j\neq i}^{q+1} \|M_{j}\| \mu(M_{i}) \|M_{q+1}\|+ \mu(M_{q+1}) \prod_{j=1}^{q} \|M_{j}\| \\ =& \sum_{i=1}^{q+1} \prod _{j=1,j\neq i}^{q+1} \|M_{j}\| \mu(M_{i}). \end{aligned}$$
Thus, we proved (3.2). Finally, (3.1) follows by the induction principle. □
Now, we deal with the fixed point problem
$$\begin{aligned} \left \{ \textstyle\begin{array}{@{}l} \mbox{Find } x\in D \mbox{ such that}\\ x= \prod_{i=1}^{N} T_{i}x, \end{array}\displaystyle \right . \end{aligned}$$
where \(D\in\mathcal{P}(E)\) and \(T_{i}: D\to E\), \(i=1,\ldots,N\), \(N\geq 1\), are given operators.

We have the following fixed point result.

Theorem 3.5

Assume that D is nonempty, bounded, closed, and convex subset of the Banach algebra E. Assume also that the following conditions are satisfied:
  1. (i)

    \(T_{i}\) is continuous, \(i=1,\ldots,N\).

  2. (ii)

    \(T_{i}D\) is bounded, \(i=1,\ldots,N\).

  3. (iii)

    \(TD \subset D\), where \(Tx= \prod_{i=1}^{N} T_{i}x\).

  4. (iv)
    There exists a finite sequence \(\{k_{i}\}_{i=1}^{q} \subset (0,\infty)\) such that
    $$\mu(T_{i}M)\leq k_{i} \mu(M),\quad i=1,\ldots,N, $$
    for any nonempty subset M of D, where μ is a measure of noncompactness in E satisfying condition (m).
  5. (v)

    \(\sum_{i=1}^{q} k_{i}\prod_{j=1,j\neq i}^{q} \|T_{j}D\|<1\).

Then problem (3.3) has at least one solution in D.


Let M be nonempty subset of D. Using Lemma 3.4 and the considered assumptions, we obtain
$$\begin{aligned} \mu(TM) =& \mu \Biggl(\prod_{i=1}^{N} T_{i}M \Biggr) \leq \sum_{i=1}^{N} \prod _{j=1,j\neq i}^{N}\|T_{j}M\| \mu(T_{i}M) \\ \leq& \sum_{i=1}^{N} k_{i}\prod _{j=1,j\neq i}^{N} \|T_{j}M\| \mu(M) \leq \Biggl(\sum_{i=1}^{N} k_{i}\prod_{j=1,j\neq i}^{N} \|T_{j}D\| \Biggr) \mu(M). \end{aligned}$$
Thus, we have proved that
$$\mu(TM)\leq k \mu(M) $$
for every nonempty subset M of D, where
$$k=\sum_{i=1}^{N} k_{i}\prod _{j=1,j\neq i}^{N} \|T_{j}D\|< 1. $$
The result follows by Lemma 3.2. □

Remark 3.6

For \(N=2\), Theorem 3.5 reduces to a fixed point theorem established in [13].

Remark 3.7

For \(N=1\), Theorem 3.5 reduces to Lemma 3.2.

4 Main result

In this section, we state and prove our main result concerning the existence of solutions to equation (1.1).

Let \(E=C(I;\mathbb{R})\) be the Banach space of all real-valued continuous functions in I equipped with the norm
$$\|u\|_{E}=\max\bigl\{ \bigl|u(t)\bigr|: t\in I\bigr\} ,\quad u\in E. $$
Clearly, E is a Banach algebra with respect to the operation defined by
$$(u\cdot v) (t)=u(t)v(t),\quad t\in I, (u,v)\in E\times E. $$
Let \(M\in\mathcal{P}_{b}(E)\). For \(x\in M\) and \(\varepsilon> 0\), set
$$\begin{aligned}& \omega(x,\varepsilon)=\sup\bigl\{ \bigl|x(t)-x(s)\bigr|: t,s\in I, |t-s|\leq \varepsilon \bigr\} ,\\& \omega(M,\varepsilon)=\sup\bigl\{ \omega(x,\varepsilon): x\in M\bigr\} . \end{aligned}$$
It was proved in [10] that the mapping \(\mu: \mathcal{P}_{b}(E)\to [0,\infty)\) defined by
$$ \mu(M)=\lim_{\varepsilon\to0^{+}} \omega(M,\varepsilon),\quad M\in \mathcal{P}_{b}(E), $$
is a measure of noncompactness in E. Moreover, μ satisfies condition (m) (see [13]).
Equation (1.1) can be written as
$$ x=Tx=\prod_{i=1}^{N} T_{i}x, $$
where fo,r \(i=1,\ldots,N\),
$$(T_{i}x) (t)=f_{i}(t)+ \frac{g_{i}(t,x(t))}{\Gamma_{q}(\alpha_{i})} \int_{0}^{t} (t-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s,\quad t\in I. $$
We consider the following assumption:
  1. (A1)

    For \(i=1,\ldots,N\), the functions \(f_{i}: I\to\mathbb{R}\) and \(g_{i}, u_{i}:I\times\mathbb{R}\to\mathbb{R}\) are continuous.


Lemma 4.1

For every \(i=1,\ldots,N\), the operator \(T_{i}: E\to E\) is well defined.


Fix \(i\in\{1,\ldots,N\}\). We have just to prove that the operator
$$ (S_{i}x) (t)= \int_{0}^{t} (t-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s,\quad t\in I, $$
maps E into it self. To do this, let us fix \(x\in E\). For all \(t\in I\), we have
$$\begin{aligned}[b] (S_{i}x) (t)&= t(1-q)\sum_{n=0}^{\infty}q^{n} \bigl(t-q^{n+1}t\bigr)^{(\alpha_{i}-1)} u_{i} \bigl(tq^{n},x\bigl(tq^{n}\bigr)\bigr)\\ &= t^{\alpha_{i}}(1-q) \sum_{n=0}^{\infty}q^{n} \bigl(1-q^{n+1}\bigr)^{(\alpha_{i}-1)} u_{i} \bigl(tq^{n},x\bigl(tq^{n}\bigr)\bigr). \end{aligned} $$
Since \(q^{n+1}\in(0,1)\), by Lemma 2.1 we have
$$\bigl(1-q^{n+1}\bigr)^{(\alpha_{i}-1)} \leq(1-0)^{(\alpha_{i}-1)} =1. $$
Therefore, the continuity of \(u_{i}\) and the Weierstrass convergence theorem give us the desired result. □
We suppose also that the following assumptions are satisfied:
  1. (A2)
    For all \(i=1,\ldots,N\), there exist constants \(C_{i}>0\) and \(d_{i}>0\) such that
    $$\bigl|g_{i}(t,x)-g_{i}(t,y)\bigr|\leq C_{i} |x-y|^{d_{i}},\quad (t,x,y)\in I\times I\times\mathbb{R}. $$
  2. (A3)
    For all \(i=1,\ldots,N\), there exist a constant \(e_{i}>0\) and a nondecreasing continuous function \(\varphi_{i}:[0,\infty)\to[0,\infty )\) such that
    $$\bigl|u_{i}(t,x)-u_{i}(t,y)\bigr|\leq\varphi_{i} \bigl(|x-y|^{e_{i}}\bigr), \quad(t,x,y)\in I\times I\times\mathbb{R}. $$
  3. (A4)
    For all \(i=1,\ldots,N\), we have
    $$u_{i}(t,0)=0,\quad t\in I. $$
  4. (A5)
    There exists \(r>0\) such that
    $$\|f_{i}\|_{E}+\frac{ (C_{i} r^{d_{i}}+g_{i}^{*} )\varphi_{i}(r^{e_{i}})}{\Gamma _{q}(\alpha_{i}+1)}\leq r^{1/N}, $$
    $$g_{i}^{*}=\max\bigl\{ \bigl|g_{i}(t,0)\bigr|: t\in I\bigr\} . $$

Lemma 4.2

Under Assumptions (A1)-(A5), for all \(i=1,\ldots,N\), we have
$$T_{i}\overline{B(0_{E},r)}\subset\overline{B \bigl(0_{E},r^{1/N}\bigr)}. $$


Let \(i\in\{1,\ldots,N\}\) be fixed, and let \(x\in\overline{B(0_{E},r)}\). For all \(t\in I\), we have
$$\begin{aligned} \bigl|(T_{i}x) (t)\bigr| \leq& \bigl|f_{i}(t)\bigr|+ \frac{|g_{i}(t,x(t))|}{\Gamma_{q}(\alpha _{i})} \int_{0}^{t} (t-qs)^{(\alpha_{i}-1)}\bigl|u_{i} \bigl(s,x(s)\bigr)\bigr| \,d_{q}s \\ \leq& \|f_{i}\|_{E}+\frac{|g_{i}(t,x(t))|}{\Gamma_{q}(\alpha_{i})} \int_{0}^{t} (t-qs)^{(\alpha_{i}-1)}\bigl|u_{i} \bigl(s,x(s)\bigr)\bigr| \,d_{q}s \\ \leq& \|f_{i}\|_{E}+\frac{|g_{i}(t,x(t))-g_{i}(t,0)|+|g_{i}(t,0)|}{\Gamma _{q}(\alpha_{i})} \int_{0}^{t} (t-qs)^{(\alpha_{i}-1)}\bigl|u_{i} \bigl(s,x(s)\bigr)\bigr| \,d_{q}s. \end{aligned}$$
Using Assumption (A2), we obtain
$$\bigl|g_{i}\bigl(t,x(t)\bigr)-g_{i}(t,0)\bigr|+\bigl|g_{i}(t,0)\bigr| \leq C_{i} r^{d_{i}}+g_{i}^{*}, $$
By Assumptions (A3) and (A4) we have
$$\bigl|u_{i}\bigl(s,x(s)\bigr)\bigr|= \bigl|u_{i}\bigl(s,x(s) \bigr)-u_{i}(s,0)\bigr|\leq\varphi_{i}\bigl(r^{e_{i}}\bigr). $$
Therefore, we obtain
$$\begin{aligned} \bigl|(T_{i}x) (t)\bigr| \leq& \|f_{i}\|_{E}+ \frac{ (C_{i} r^{d_{i}}+g_{i}^{*} )\varphi _{i}(r^{e_{i}})}{\Gamma_{q}(\alpha_{i})} \int_{0}^{t} (t-qs)^{(\alpha_{i}-1)} \,d_{q}s \\ =& \|f_{i}\|_{E}+\frac{ (C_{i} r^{d_{i}}+g_{i}^{*} )\varphi _{i}(r^{e_{i}})}{\Gamma_{q}(\alpha_{i}+1)}t^{\alpha_{i}} \\ \leq& \|f_{i}\|_{E}+\frac{ (C_{i} r^{d_{i}}+g_{i}^{*} )\varphi _{i}(r^{e_{i}})}{\Gamma_{q}(\alpha_{i}+1)}. \end{aligned}$$
By Assumption (A5) we get
$$\|T_{i}x\|_{E}\leq r^{1/N}, $$
which proves the desired result. □

Lemma 4.3

Under Assumptions (A1)-(A5), for all \(i=1,\ldots,N\),
$$T_{i}: \overline{B(0_{E},r)}\to\overline{B \bigl(0_{E},r^{1/N}\bigr)} $$
is continuous.


Under the considered assumptions, we have just to prove that, for all \(i=1,\ldots,N\), the operator \(S_{i}: \overline{B(0_{E},r)}\to E\) defined by (4.3) is continuous. To do this, let us fix \(i\in\{1,\ldots,N\}\) and \(\varepsilon>0\) such that \(\|x-y\|_{E}\leq\varepsilon\), \((x,y)\in\overline{B(0_{E},r)}\times \overline{B(0_{E},r)}\). For all \(t\in I\), we have
$$\begin{aligned} \bigl|(S_{i}x) (t)-(S_{i}y) (t)\bigr| =& \biggl\vert \int_{0}^{t} (t-qs)^{(\alpha_{i}-1)} \bigl(u_{i}\bigl(s,x(s)\bigr)-u_{i}\bigl(s,y(s)\bigr) \bigr) \,d_{q}s\biggr\vert \\ \leq& \int_{0}^{t} (t-qs)^{(\alpha_{i}-1)} \bigl\vert u_{i}\bigl(s,x(s)\bigr)-u_{i}\bigl(s,y(s)\bigr)\bigr\vert \,d_{q}s \\ \leq& \frac{u^{i}_{r}(\varepsilon)t^{\alpha_{i}}}{[\alpha_{i}]_{q}} \\ \leq& \frac{u^{i}_{r}(\varepsilon)}{[\alpha_{i}]_{q}}, \end{aligned}$$
$$u^{i}_{r}(\varepsilon)=\sup \bigl\{ \bigl|u_{i}(t,x)-u_{i}(t,y)\bigr|: t\in I, x,y\in [-r,r], |x-y|\leq\varepsilon \bigr\} . $$
$$\|S_{i}x-S_{i}y\|_{E}\leq\frac{u^{i}_{r}(\varepsilon)}{[\alpha_{i}]_{q}}. $$
Passing to the limit as \(\varepsilon\to0\) and using the uniform continuity of \(u_{i}\) on the compact set \(I\times[-r,r]\), we obtain
$$\lim_{\varepsilon\to0} \frac{u^{i}_{r}(\varepsilon)}{[\alpha_{i}]_{q}}=0, $$
which yields the desired result. □
Next, we need the following additional assumption:
  1. (A6)
    For all \(i=1,\ldots,N\), there exists a constant \(\lambda _{i}>0\) such that
    $$t^{d_{i}}+\varphi_{i}\bigl(t^{e_{i}}\bigr)\leq \lambda_{i} t, \quad t\geq0. $$

Lemma 4.4

Under assumptions (A1)-(A6), for all \(i=1,\ldots,N\), we have
$$\mu(T_{i}M)\leq k_{i} \mu(M) $$
for every nonempty subset M of \(\overline{B(0_{E},r)}\), where
$$k_{i}=\lambda_{i} \max \biggl\{ \frac{C_{i}\varphi_{i}(r^{e_{i}})}{\Gamma_{q}(\alpha _{i}+1)}, \frac{(C_{i} r^{d_{i}}+g_{i}^{*}) }{\Gamma_{q}(\alpha_{i})} \biggr\} . $$


Fix \(i\in\{1,\ldots,N\}\). Let M be a nonempty subset of \(\overline {B(0_{E},r)}\), \(\varepsilon>0\), and \(x\in M\). Let \((t_{1},t_{2})\in I\times I\) be such that \(|t_{1}-t_{2}|\leq\varepsilon\). Without loss of the generality, we may assume that \(t_{1}\geq t_{2}\). Therefore, we have
$$\begin{aligned} &\bigl|(T_{i}x) (t_{1})-(T_{i}x) (t_{2})\bigr| \\ &\quad\leq\bigl|f_{i}(t_{1})-f_{i}(t_{2})\bigr| +\biggl\vert \frac{g_{i}(t_{1},x(t_{1}))}{\Gamma_{q}(\alpha_{i})} \int_{0}^{t_{1}} (t_{1}-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s \\ &\qquad{}-\frac{g_{i}(t_{2},x(t_{2}))}{\Gamma_{q}(\alpha_{i})} \int_{0}^{t_{2}} (t_{2}-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s\biggr\vert \\ &\quad\leq\omega(f_{i},\varepsilon)+ \biggl\vert \frac{g_{i}(t_{1},x(t_{1}))}{\Gamma_{q}(\alpha_{i})} \int_{0}^{t_{1}} (t_{1}-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s \\ &\qquad{}-\frac{g_{i}(t_{2},x(t_{2}))}{\Gamma_{q}(\alpha_{i})} \int_{0}^{t_{1}} (t_{1}-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s\biggr\vert \\ &\qquad{}+\biggl\vert \frac{g_{i}(t_{2},x(t_{2}))}{\Gamma_{q}(\alpha_{i})} \int_{0}^{t_{1}} (t_{1}-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s \\ &\qquad{}-\frac{g_{i}(t_{2},x(t_{2}))}{\Gamma_{q}(\alpha_{i})} \int_{0}^{t_{2}} (t_{2}-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s\biggr\vert \\ &\quad\leq\omega(f_{i},\varepsilon) + \frac{|g_{i}(t_{1},x(t_{1}))-g_{i}(t_{2},x(t_{2}))|}{\Gamma_{q}(\alpha_{i})} \int _{0}^{t_{1}} (t_{1}-qs)^{(\alpha_{i}-1)}\bigl|u_{i} \bigl(s,x(s)\bigr)\bigr| \,d_{q}s\\ &\qquad{}+\frac{|g_{i}(t_{2},x(t_{2}))|}{\Gamma_{q}(\alpha_{i})}\biggl\vert \int_{0}^{t_{1}} (t_{1}-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s- \int_{0}^{t_{2}} (t_{2}-qs)^{(\alpha _{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s\biggr\vert \\ &\quad:=\omega(f_{i},\varepsilon)+(I)+(II), \end{aligned}$$
$$\omega(f_{i},\varepsilon)=\sup\bigl\{ \bigl|f_{i}(t)-f_{i}(s)\bigr|: t,s\in I, |t-s|\leq \varepsilon\bigr\} . $$
Now, let us estimate \((I)\) and \((II)\).
• Estimate of \((I)\). We have
$$\frac{1}{\Gamma_{q}(\alpha_{i})} \int_{0}^{t_{1}} (t_{1}-qs)^{(\alpha _{i}-1)}\bigl|u_{i} \bigl(s,x(s)\bigr)\bigr| \,d_{q}s\leq \frac{\varphi_{i}(r^{e_{i}})}{\Gamma_{q}(\alpha_{i}+1)}. $$
On the other hand,
$$\begin{aligned} \bigl|g_{i}\bigl(t_{1},x(t_{1})\bigr)-g_{i} \bigl(t_{2},x(t_{2})\bigr)\bigr| \leq& \bigl|g_{i} \bigl(t_{1},x(t_{1})\bigr)-g_{i} \bigl(t_{1},x(t_{2})\bigr)\bigr|+\bigl|g_{i} \bigl(t_{1},x(t_{2})\bigr)-g_{i} \bigl(t_{2},x(t_{2})\bigr)\bigr| \\ \leq& C_{i} \bigl|x(t_{1})-x(t_{2})\bigr|^{d_{i}} + \omega(g_{i},\varepsilon) \\ \leq& C_{i}\omega(x,\varepsilon)^{d_{i}}+\omega(g_{i}, \varepsilon), \end{aligned}$$
$$\omega(g_{i},\varepsilon)=\sup\bigl\{ \bigl|g_{i}(t,x)-g_{i}(s,x)\bigr|: t,s\in I, |t-s|\leq\varepsilon, x\in[-r,r]\bigr\} . $$
$$ (I)\leq\frac{ (C_{i}\omega(x,\varepsilon)^{d_{i}}+\omega (g_{i},\varepsilon) )\varphi_{i}(r^{e_{i}})}{\Gamma_{q}(\alpha_{i}+1)}. $$
• Estimate of \((II)\). First, observe that
$$\bigl|g_{i}\bigl(t_{2},x(t_{2})\bigr)\bigr| \leq\bigl|g_{i}\bigl(t_{2},x(t_{2})\bigr)-g_{i}(t_{2},0)\bigr|+g_{i}^{*}. $$
Therefore, by Assumption (A2),
$$\bigl|g_{i}\bigl(t_{2},x(t_{2})\bigr)\bigr|\leq C_{i} r^{d_{i}}+g_{i}^{*}. $$
Next, we have
$$\begin{aligned} &\biggl\vert \int_{0}^{t_{1}} (t_{1}-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s- \int _{0}^{t_{2}} (t_{2}-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s\biggr\vert \\ &\quad= (1-q) \sum_{n=0}^{\infty}q^{n} \bigl(1-q^{n+1}\bigr)^{(\alpha_{i}-1)} \bigl| t_{1}^{\alpha _{i}}u_{i} \bigl(q^{n}t_{1},x\bigl(q^{n}t_{1}\bigr) \bigr)-t_{2}^{\alpha_{i}}u_{i}\bigl(q^{n}t_{2},x \bigl(q^{n}t_{2}\bigr)\bigr)\bigr|. \end{aligned}$$
On the other hand,
$$\begin{aligned} &\bigl|t_{1}^{\alpha_{i}}u_{i}\bigl(q^{n}t_{1},x \bigl(q^{n}t_{1}\bigr)\bigr)-t_{2}^{\alpha _{i}}u_{i} \bigl(q^{n}t_{2},x\bigl(q^{n}t_{2}\bigr) \bigr)\bigr| \\ &\quad \leq t_{1}^{\alpha_{i}}\bigl|u_{i}\bigl(q^{n}t_{1},x \bigl(q^{n}t_{1}\bigr)\bigr)-u_{i} \bigl(q^{n}t_{1},x\bigl(q^{n}t_{2}\bigr) \bigr)\bigr| \\ &\qquad{}+\bigl|t_{1}^{\alpha_{i}}u_{i}\bigl(q^{n}t_{1},x \bigl(q^{n}t_{2}\bigr)\bigr)-t_{2}^{\alpha _{i}}u_{i} \bigl(q^{n}t_{2},x\bigl(q^{n}t_{2}\bigr) \bigr)\bigr| \\ &\leq\varphi_{i}\bigl(\bigl|x\bigl(q^{n}t_{1}\bigr)-x \bigl(q^{n}t_{2}\bigr)\bigr|^{e_{i}}\bigr)+A_{i}( \varepsilon) \\ &\leq\varphi_{i}\bigl(\omega(x,\varepsilon)^{e_{i}} \bigr)+A_{i}(\varepsilon), \end{aligned}$$
$$\begin{aligned} &A_{i}(\varepsilon)= \sup \bigl\{ \bigl|H(\tau,s,x)-H\bigl(\tau',s',x\bigr)\bigr|: \tau,s,\tau',s'\in I, \bigl|\tau -\tau'\bigr|\leq \varepsilon, \bigl|s-s'\bigr|\leq\varepsilon, x\in[-r,r] \bigr\} \end{aligned}$$
$$H(\tau,s,x)=\tau^{\alpha_{i}} u_{i}(s,x),\quad (\tau,s,x)\in I\times I \times\mathbb{R}. $$
As a consequence, we get
$$\begin{aligned} &\biggl\vert \int_{0}^{t_{1}} (t_{1}-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s- \int _{0}^{t_{2}} (t_{2}-qs)^{(\alpha_{i}-1)}u_{i} \bigl(s,x(s)\bigr) \,d_{q}s\biggr\vert \\ &\quad \leq \varphi_{i}\bigl(\omega(x,\varepsilon)^{e_{i}} \bigr)+A_{i}(\varepsilon). \end{aligned}$$
$$ (II)\leq\frac{(C_{i} r^{d_{i}}+g_{i}^{*}) (\varphi_{i}(\omega(x,\varepsilon )^{e_{i}})+A_{i}(\varepsilon))}{\Gamma_{q}(\alpha_{i})}. $$
Now, combining (4.4) with (4.5), we get
$$\omega(T_{i}x,\varepsilon)\leq\omega(f_{i},\varepsilon)+ \frac{ (C_{i}\omega(x,\varepsilon)^{d_{i}}+\omega(g_{i},\varepsilon) )\varphi _{i}(r^{e_{i}})}{\Gamma_{q}(\alpha_{i}+1)}+\frac{(C_{i} r^{d_{i}}+g_{i}^{*}) (\varphi _{i}(\omega(x,\varepsilon)^{e_{i}})+A_{i}(\varepsilon))}{\Gamma_{q}(\alpha_{i})}. $$
$$\begin{aligned} \omega(T_{i}M,\varepsilon)\leq{}&\omega(f_{i},\varepsilon)+ \frac{ (C_{i}\omega(M,\varepsilon)^{d_{i}}+\omega(g_{i},\varepsilon) )\varphi _{i}(r^{e_{i}})}{\Gamma_{q}(\alpha_{i}+1)}\\ &{}+\frac{(C_{i} r^{d_{i}}+g_{i}^{*}) (\varphi _{i}(\omega(M,\varepsilon)^{e_{i}})+A_{i}(\varepsilon))}{\Gamma_{q}(\alpha_{i})}. \end{aligned}$$
Passing to the limit as \(\varepsilon\to0\), we obtain
$$\mu(T_{i}M)\leq\frac{C_{i}\mu(M)^{d_{i}}\varphi_{i}(r^{e_{i}})}{\Gamma_{q}(\alpha _{i}+1)}+\frac{(C_{i} r^{d_{i}}+g_{i}^{*}) \varphi_{i}(\mu(M)^{e_{i}})}{\Gamma _{q}(\alpha_{i})}. $$
$$\mu(T_{i}M)\leq\max \biggl\{ \frac{C_{i}\varphi_{i}(r^{e_{i}})}{\Gamma_{q}(\alpha _{i}+1)}, \frac{(C_{i} r^{d_{i}}+g_{i}^{*}) }{\Gamma_{q}(\alpha_{i})} \biggr\} \bigl(\mu(M)^{d_{i}}+\varphi_{i}\bigl( \mu(M)^{e_{i}}\bigr) \bigr). $$
By Assumption (A6) we obtain
$$\mu(T_{i}M)\leq\lambda_{i} \max \biggl\{ \frac{C_{i}\varphi_{i}(r^{e_{i}})}{\Gamma _{q}(\alpha_{i}+1)}, \frac{(C_{i} r^{d_{i}}+g_{i}^{*}) }{\Gamma_{q}(\alpha_{i})} \biggr\} \mu(M), $$
which proves the desired result. □

Now, we are able to state and prove our main result.

Theorem 4.5

Suppose that Assumptions (A1)-(A6) are satisfied. If
$$ r^{\frac{N-1}{N}} \sum_{i=1}^{N} \lambda_{i} \max \biggl\{ \frac{C_{i}\varphi _{i}(r^{e_{i}})}{\Gamma_{q}(\alpha_{i}+1)}, \frac{(C_{i} r^{d_{i}}+g_{i}^{*}) }{\Gamma _{q}(\alpha_{i})} \biggr\} < 1, $$
then equation (1.1) has at least one solution \(x^{*}\in\overline{B(0_{E},r)}\).


Observe that \(x\in\overline{B(0_{E},r)}\) is a solution to equation (1.1) if and only if x is a solution to (3.3), where \(D=\overline {B(0_{E},r)}\), and T is given by (4.2). In order to prove our existence result, we have to check that all the assumptions of Theorem 3.5 are satisfied. By Lemma 4.3, for all \(i=1,\ldots,N\), \(T_{i}:\overline{B(0_{E},r)}\to E\) is a continuous operator. By Lemma 4.2, for all \(i=1,\ldots,N\), \(T_{i}\overline{B(0_{E},r)}\) is bounded. Moreover, for all \(x\in\overline{B(0_{E},r)}\), we have
$$\|Tx\|_{E}=\Biggl\Vert \prod_{i=1}^{N} T_{i}x\Biggr\Vert _{E}\leq\prod _{i=1}^{N} \|T_{i}x\| _{E}\leq \prod_{i=1}^{N} r^{1/N}=r. $$
Therefore, \(T \overline{B(0_{E},r)}\subset\overline{B(0_{E},r)}\). By Lemma 4.4 condition (iv) of Theorem 3.5 is satisfied with
$$k_{i}=\lambda_{i} \max \biggl\{ \frac{C_{i}\varphi_{i}(r^{e_{i}})}{\Gamma_{q}(\alpha _{i}+1)}, \frac{(C_{i} r^{d_{i}}+g_{i}^{*}) }{\Gamma_{q}(\alpha_{i})} \biggr\} ,\quad i=1,\ldots,N. $$
On the other hand, from Lemma 4.2 and (4.6) we have
$$\sum_{i=1}^{q} k_{i}\prod _{j=1,j\neq i}^{q} \bigl\| T_{j} \overline{B(0_{E},r)}\bigr\| \leq r^{\frac{N-1}{N}} \sum _{i=1}^{N} \lambda_{i} \max \biggl\{ \frac{C_{i}\varphi _{i}(r^{e_{i}})}{\Gamma_{q}(\alpha_{i}+1)}, \frac{(C_{i} r^{d_{i}}+g_{i}^{*}) }{\Gamma _{q}(\alpha_{i})} \biggr\} < 1. $$
Therefore, all conditions of Theorem 3.5 are satisfied, and the desired result follows. □

We end the paper with the following illustrative example.


Consider the functional equation
$$ x(t)=\frac{t}{32}+ \biggl[\frac{3}{2} \biggr]_{\frac{1}{2}} \biggl(\frac {t}{2}+\frac{x(t)}{4} \biggr) \int_{0}^{t} (t-s/2)^{(1/2)}\frac {x(s)}{(2+s^{2})} \,d_{q}s,\quad t\in[0,1]. $$
Equation (4.7) is a a particular case of equation (1.1) with
$$\begin{aligned}& N=1,\qquad q=\frac{1}{2}, \qquad\alpha_{1}=\frac{3}{2},\qquad f_{1}(t)=\frac{t}{32},\\& g_{1}(t,x)= \biggl( \frac{t}{2}+\frac{x}{4} \biggr)\Gamma_{\frac{1}{2}} \biggl( \frac{5}{2} \biggr),\qquad u_{1}(t,x)=\frac{x}{2+t^{2}}. \end{aligned}$$
Obviously, the functions \(f_{1}:[0,1]\to\mathbb{R}\) and \(g_{1},u_{1}: [0,1]\times\mathbb{R}\to\mathbb{R}\) are continuous. Then Assumption (A1) of Theorem 4.5 is satisfied. For all \((t,x,y)\in[0,1]\times\mathbb{R}\times\mathbb{R}\), we have
$$\bigl|g_{1}(t,x)-g_{1}(t,y)\bigr| \leq\frac{\Gamma_{\frac{1}{2}} (\frac {5}{2} )}{4} |x-y|. $$
Therefore, Assumption (A2) is satisfied with
$$C_{1}=\frac{\Gamma_{\frac{1}{2}} (\frac{5}{2} )}{4},\qquad d_{1}=1. $$
For all \((t,x,y)\in[0,1]\times\mathbb{R}\times\mathbb{R}\), we have
$$\bigl|u_{1}(t,x)-u_{1}(t,y)\bigr| \leq\frac{1}{2} |x-y|. $$
Moreover, \(u_{1}(t,0)=0\) for all \(t\in[0,1]\). Therefore, Assumptions (A3) and (A4) are satisfied with
$$\varphi_{1}(t)=\frac{t}{2},\qquad e_{1}=1. $$
Note that, in this case, we have
$$\|f_{1}\|_{E}=\frac{1}{32},\qquad g_{1}^{*}= \frac{\Gamma_{\frac{1}{2}} (\frac {5}{2} )}{2}. $$
It is not difficult to check that Assumption (A5) is satisfied for every \(r\geq\frac{1}{20}\). For every \(t\geq0\), we have
$$t^{d_{1}}+\varphi\bigl(t^{e_{1}}\bigr)=\frac{3}{2} t. $$
Then Assumption (A6) is satisfied with \(\lambda_{1}=\frac{3}{2}\). Moreover, for \(r=\frac{1}{20}\), we have
$$\lambda_{1} \max \biggl\{ \frac{C_{1}\varphi_{1}(r^{e_{1}})}{\Gamma_{q}(\alpha _{1}+1)}, \frac{(C_{1} r^{d_{1}}+g_{1}^{*}) }{\Gamma_{q}(\alpha_{1})} \biggr\} =0.99391166196< 1. $$
By Theorem 4.5 we deduce that equation (4.7) admits at least one solution \(x^{*}\in\overline{B (0_{E},\frac{1}{20} )}\).



The second author extends his appreciation to Distinguished Scientist Fellowship Program (DSFP) at King Saud University (Saudi Arabia).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

Department of Mathematics, College of Science, King Saud University, P.O. Box 2455, Riyadh, 11451, Saudi Arabia


  1. Brestovanska, E: Qualitative behaviour of an integral equation related to some epidemic model. Demonstr. Math. 36(3), 603-609 (2003) MathSciNetMATHGoogle Scholar
  2. Gripenberg, G: On some epidemic models. Q. Appl. Math. 39, 317-327 (1981) MathSciNetView ArticleMATHGoogle Scholar
  3. Olaru, IM: Generalization of an integral equation related to some epidemic models. Carpath. J. Math. 26, 92-96 (2010) MathSciNetMATHGoogle Scholar
  4. Agarwal, RP: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 66, 365-370 (1969) MathSciNetView ArticleMATHGoogle Scholar
  5. Aghajani, A, Allahyari, R, Mursaleen, M: A generalization of Darbo’s theorem with application to the solvability of systems of integral equations. J. Comput. Appl. Math. 260, 68-77 (2014) MathSciNetView ArticleMATHGoogle Scholar
  6. Aghajani, A, Banas, J, Jalilian, Y: Existence of solutions for a class of nonlinear Volterra singular integral equations. Comput. Math. Appl. 62, 1215-1227 (2011) MathSciNetView ArticleMATHGoogle Scholar
  7. Aghajani, A, Mursaleen, M, Shole Haghighi, A: Fixed point theorems for Meir-Keeler condensing operators via measure of noncompactness. Acta Math. Sci. 35(3), 552-566 (2015) MathSciNetView ArticleMATHGoogle Scholar
  8. Aghajani, A, Pourhadi, E, Trujillo, JJ: Application of measure of noncompactness to a Cauchy problem for fractional differential equations in Banach spaces. Fract. Calc. Appl. Anal. 16(4), 962-977 (2013) MathSciNetView ArticleMATHGoogle Scholar
  9. Banas, J, Caballero, J, Rocha, J, Sadarangani, K: Monotonic solutions of a class of quadratic integral equations of Volterra type. Comput. Math. Appl. 49, 943-952 (2005) MathSciNetView ArticleMATHGoogle Scholar
  10. Banas, J, Goebel, K: Measures of Noncompactness in Banach Spaces. Lect. Notes Pure Appl. Math., vol. 60. Dekker, New York (1980) MATHGoogle Scholar
  11. Banas, J, Martinon, A: Monotonic solutions of a quadratic integral equation of Volterra type. Comput. Math. Appl. 47, 271-279 (2004) MathSciNetView ArticleMATHGoogle Scholar
  12. Banas, J, Mursaleen, M: Sequence Spaces and Measures of Noncompactness with Applications to Differential and Integral Equations. Springer, New Dehli (2014) MATHGoogle Scholar
  13. Banas, J, Olszowy, L: On a class of measures of non-compactness in Banach algebras and their application to nonlinear integral equations. Z. Anal. Anwend. 28, 475-498 (2009) View ArticleMATHGoogle Scholar
  14. Banaś, J, O’Regan, D: On existence and local attractivity of solutions of a quadratic integral equation of fractional order. J. Math. Anal. Appl. 345, 573-582 (2008) MathSciNetView ArticleMATHGoogle Scholar
  15. Darwish, MA, Sadarangani, K: On a quadratic integral equation with supremum involving Erdélyi-Kober fractional order. Math. Nachr. 288(5-6), 566-576 (2015) MathSciNetView ArticleMATHGoogle Scholar
  16. Jleli, M, Mursaleen, M, Samet, B: Q-Integral equations of fractional orders. Electron. J. Differ. Equ. 2016, 17 (2016) MathSciNetView ArticleMATHGoogle Scholar
  17. Jackson, FH: On q-functions and a certain difference operator. Trans. R. Soc. Edinb. 46, 253-281 (1908) View ArticleGoogle Scholar
  18. Jackson, FH: On q-definite integrals. Q. J. Pure Appl. Math. 41, 193-203 (1910) MATHGoogle Scholar
  19. Abdeljawad, T, Baleanu, D: Caputo q-fractional initial value problems and a q-analogue Mittag-Leffler function. Commun. Nonlinear Sci. Numer. Simul. 16, 4682-4688 (2011) MathSciNetView ArticleMATHGoogle Scholar
  20. Ahmad, B, Nieto, J: Basic theory of nonlinear third-order q-difference equations and inclusions. Math. Model. Anal. 18(1), 122-135 (2013) MathSciNetView ArticleMATHGoogle Scholar
  21. Annaby, MH, Mansour, ZS: q-Fractional Calculus and Equations. Lecture Notes in Mathematics, vol. 2056. Springer, Berlin (2012) MATHGoogle Scholar
  22. Atici, FM, Eloe, PW: Fractional q-calculus on a time scale. J. Nonlinear Math. Phys. 14(3), 333-344 (2007) MathSciNetView ArticleMATHGoogle Scholar
  23. Ernst, T: The History of q-Calculus and a New Method. U. U. D. M. Report 2000:16, Department of Mathematics, Uppsala University (2000) Google Scholar
  24. Jarad, F, Abdeljawad, T, Baleanu, D: Stability of q-fractional non-autonomous systems. Nonlinear Anal., Real World Appl. 14(1), 780-784 (2013) MathSciNetView ArticleMATHGoogle Scholar
  25. Kac, V, Cheung, P: Quantum Calculus. Springer Science & Business Media (2002) View ArticleMATHGoogle Scholar
  26. Wu, GC, Baleanu, D: New applications of the variational iteration method-from differential equations to q-fractional difference equations. Adv. Differ. Equ. 2013, 21 (2013) MathSciNetView ArticleGoogle Scholar
  27. Ferreira, R: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010, 70 (2010) MathSciNetMATHGoogle Scholar
  28. Darbo, G: Punti uniti in transformazioni a condomino non compatto. Rend. Semin. Mat. Univ. Padova 24, 84-92 (1955) MathSciNetMATHGoogle Scholar