# Uniqueness and Ulam–Hyers–Rassias stability results for sequential fractional pantograph q-differential equations

## Abstract

We study sequential fractional pantograph q-differential equations. We establish the uniqueness of solutions via Banach’s contraction mapping principle. Further, we define and study the Ulam–Hyers stability and Ulam–Hyers–Rassias stability of solutions. We also discuss an illustrative example.

## Introduction

Differential equations involving q-difference calculus have become a strong tool in modeling many problems in engineering, physics, and mathematics . Differential equations with fractional q-difference calculus have been studied by different researchers . Many interesting topics concerning fractional q-differential equations (FqDEs) are devoted to the existence and stability of the solutions. In recent years, several scholars have studied the existence, uniqueness, and different types of Ulam stability (US) of solutions of FqDEs; see, for example, . Recently, sequential fractional differential equations has been studied by many scholars .

In the current paper, we discuss the uniqueness and different types of US of solutions for pantograph equations. This equation appears in different fields of pure and applied mathematics such as probability, number theory, quantum mechanics, dynamical systems, etc. . The classical form of the pantograph differential equations (PDEs) is given by

$$\textstyle\begin{cases} \frac { {\mathrm {d}}w ( \mathfrak{s} )}{{\mathrm {d}} \mathfrak{s}} = A w ( \mathfrak{s} ) + B w ( \uptheta \mathfrak{s} ), \quad \mathfrak{s} \in \overline{\Omega}={}[ 0, T] , \uptheta \in \mathrm{J}:=(0,1), \\ {w ( 0 ) = w_{0}.}& \end{cases}$$

Several authors have studied the existence, uniqueness, and US of solutions for the above PDEs involving different fractional derivatives. In  the authors discussed the existence and uniqueness of PDEs of the form

$\left\{\begin{array}{c}{}^{C}\mathbb{D}^{\nu }w\left(\mathfrak{s}\right)=\phi \left(\mathfrak{s},w\left(\mathfrak{s}\right),w\left(\mathrm{\Theta }\mathfrak{s}\right)\right),\phantom{\rule{1em}{0ex}}\mathfrak{s}\in \stackrel{‾}{\mathrm{\Omega }},\mathrm{\Theta }\in \mathrm{J},\hfill \\ w\left(0\right)={w}_{0},\hfill \end{array}$

where ${}^{C}\mathbb{D}^{\nu }$ is the Caputo fractional derivative of order $$\nu \in \mathrm{J}$$. In  the authors studied the existence, uniqueness, and stability of the following fractional pantograph q-differential equation (FPqDE):

$\left\{\begin{array}{c}{}^{C}\mathbb{D}_{q}^{\nu }w\left(\mathfrak{s}\right)=\phi \left(\mathfrak{s},w\left(\mathfrak{s}\right),w\left(\mathrm{\Theta }\mathfrak{s}\right)\right),\phantom{\rule{1em}{0ex}}\mathfrak{s}\in \stackrel{‾}{\mathrm{\Omega }},\mathrm{\Theta }\in \mathrm{J},q\in \mathrm{J},\hfill \\ w\left(0\right)+\mathrm{ɸ}\left(w\right)={w}_{0},\hfill \end{array}$

where ${}^{C}\mathbb{D}_{q}^{\nu }$ is the Caputo fractional q-derivative of order $$\nu \in \mathrm{J}$$. Recently, in  the authors discussed the existence and uniqueness of sequential ψ-Hilfer FPDEs of the form

$\left({}^{H}{\mathbb{D}}_{{0}^{+}}^{\nu ,\sigma ,\mathrm{\psi }}+r\phantom{\rule{0.2em}{0ex}}{}^{H}{\mathbb{D}}_{{0}^{+}}^{\nu -1,\sigma ,\mathrm{\psi }}\right)w\left(\mathfrak{s}\right)=\phi \left(\mathfrak{s},w\left(\mathfrak{s}\right),w\left(\mathrm{\Theta }\mathfrak{s}\right)\right),\phantom{\rule{1em}{0ex}}\mathfrak{s}\in \stackrel{‾}{\mathrm{\Omega }},\mathrm{\Theta }\in \mathrm{J},r\in \mathbb{R},$

via conditions $$w ( 0 ) =0$$,

$\sum _{ȷ=1}^{\mathrm{p}}{}_{1}{\stackrel{˚}{\mathrm{\eta }}}_{ȷ}w\left({}_{1}{\stackrel{˚}{a}}_{ȷ}\right)+\sum _{ȷ=1}^{\mathrm{n}}{}_{2}{\stackrel{˚}{\mathrm{\eta }}}_{ȷ}{\mathbb{I}}_{{0}^{+}}^{{\sigma }_{ȷ},\mathrm{\psi }}w\left({}_{2}{\stackrel{˚}{a}}_{ȷ}\right)+\sum _{ȷ=1}^{\mathrm{m}}{}_{3}{\stackrel{˚}{\mathrm{\eta }}}_{ȷ}\phantom{\rule{0.2em}{0ex}}{}^{H}{\mathbb{D}}_{{0}^{+}}^{{\gamma }_{ȷ},\mathrm{\psi }}w\left({}_{3}{\stackrel{˚}{a}}_{ȷ}\right)=\mathrm{\Lambda },$

where $$\sigma _{\jmath} > 0$$, $$\jmath =1,\dots , \mathrm{n}$$, $${}_{k} \mathring{\upeta}_{\jmath}$$ ($$k =1,2,3$$), $$\Lambda \in \mathbb{R}$$, and ${}^{H}\mathbb{D}_{{0}^{+}}^{\gamma ,\sigma ,\mathrm{\psi }}$ are the ψ-Hilfer derivatives of order $$\gamma \in \{ \gamma _{\jmath},\nu \}$$, $$1<\gamma _{\jmath}< \nu \leq 2$$, $$0<\sigma \leq 1$$, ${\mathbb{I}}_{{0}^{+}}^{{\sigma }_{ȷ},\mathrm{\psi }}$ are the ψ-Riemann Liouville fractional integrals, and $$\varphi : \overline{\Omega} \times \mathbb{R}^{2} \to \mathbb{R}$$ is a continuous function.

In this work, we discuss the uniqueness and Ulam–Hyers–Rassias stability (UHRS) of solutions for the following sequential FPqDE:

$\left\{\begin{array}{c}\left[{}^{C}{\mathbb{D}}_{q}^{\nu }+r\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\sigma }\right]w\left(\mathfrak{s}\right)=\phi \left(\mathfrak{s},w\left(\mathfrak{s}\right),w\left(\mathrm{\Theta }\mathfrak{s}\right),{}^{C}{\mathbb{D}}_{q}^{\sigma }w\left(\mathrm{\Theta }\mathfrak{s}\right)\right),\phantom{\rule{1em}{0ex}}\mathfrak{s}\in \mathrm{\Omega },\hfill \\ w\left(0\right)=0,\hfill \\ {\lambda }_{1}w\left(T\right)={\lambda }_{2}w\left(\eta \right)+\mathrm{\Lambda },\hfill \\ {\lambda }_{1}{T}^{\nu -\sigma }\ne {\lambda }_{2}{\eta }^{\nu -\sigma },\hfill \end{array}$
(1)

where $$r\in \mathbb{R}^{+}$$, $$1 < \nu \leq 2, \sigma ,q$$, $$\uptheta \in \mathrm{J}$$, $$\eta \in \Omega , \Lambda , \lambda _{1}$$, $$\lambda _{2}\in \mathbb{R}$$, ${}^{C}\mathbb{D}_{q}^{\nu }$ and ${}^{C}\mathbb{D}_{q}^{\sigma }$ are the Caputo-type q-fractional derivatives, and $$\varphi :\Omega \times \mathbb{R}^{3}\rightarrow \mathbb{R}$$ is a given continuous function.

The outline of the paper is the following. In Sect. 2, we discuss the main definitions and lemmas by providing a necessary background of q-calculus, including the q-derivative and q-integral. In Sect. 3, we investigate the uniqueness for the FPqDE (1). In Sect. 5, we present an example to apply our outcomes.

## Preliminaries on fractional q-calculus

In this section, we present essential q-derivative and q-integral notions. For more background information, we refer to [12, 2224]. For a function w, the q–derivative is defined by

${\mathbb{D}}_{q}\left[w\right]\left(t\right)={\left(\frac{\mathrm{d}}{\mathrm{d}\mathfrak{s}}\right)}_{q}w\left(\mathfrak{s}\right)=\frac{w\left(\mathfrak{s}\right)-w\left(q\mathfrak{s}\right)}{\left(1-q\right)\mathfrak{s}}$
(2)

for $$\mathfrak{s} \in \mathbb{T} \setminus \{0\}$$, where $$\mathbb{T}= \mathbb{T}_{\mathrm{s}_{0}} = \{0 \} \cup \{ \mathrm{s} : \mathrm{s} = \mathrm{s}_{0} q^{\aleph } \}$$ for $$\aleph \in \mathbb{N}$$ and $$\mathrm{s}_{0} \in \mathbb{R}$$, and 

${\mathbb{D}}_{q}\left[w\right]\left(0\right)=\underset{\mathfrak{s}\to 0}{lim}{\mathbb{D}}_{q}\left[w\right]\left(t\right).$

Also, the higher-order q-derivatives of the function u are defined by

${\mathbb{D}}_{q}^{n}\left[w\right]\left(\mathfrak{s}\right)={\mathbb{D}}_{q}\left[{\mathbb{D}}_{q}^{n-1}\left[w\right]\right]\left(\mathfrak{s}\right)$

for $$n \geq 1$$, where ${\mathbb{D}}_{q}^{0}\left[u\right]\left(\mathfrak{s}\right)=w\left(\mathfrak{s}\right)$ . In fact,

${\mathbb{D}}_{q}^{n}\left[w\right]\left(\mathfrak{s}\right)=\frac{1}{{\mathfrak{s}}^{n}{\left(1-q\right)}^{n}}\sum _{k=0}^{n}\frac{{\left(1-{q}^{-n}\right)}_{q}^{\left(k\right)}}{{\left(1-q\right)}_{q}^{\left(k\right)}}{q}^{k}w\left(\mathfrak{s}{q}^{k}\right)$
(3)

for $$\mathfrak{s} \in \mathbb{T}\setminus \{0\}$$ . The operator ${}^{C}\mathbb{D}_{q}^{\nu }$, the fractional q-derivative in the sense of Caputo [2, 26], of the function w is defined by

$\left\{\begin{array}{c}{}^{C}\mathbb{D}_{q}^{\nu }w\left(\mathfrak{s}\right)={\mathbb{I}}_{q}^{n-\nu }{\mathbb{D}}_{q}^{n}w\left(\mathfrak{s}\right),\phantom{\rule{1em}{0ex}}\nu >0,\hfill \\ {}^{C}\mathbb{D}_{q}^{0}w\left(\mathfrak{s}\right)=w\left(\mathfrak{s}\right),\hfill \end{array}$

where $$n={}[ \nu ]$$. The fractional q-integral of the Riemann–Liouville type [2, 26] is given by

$\left\{\begin{array}{c}{\mathbb{I}}_{q}^{\nu }w\left(\mathfrak{s}\right)=\frac{1}{{\mathrm{\Gamma }}_{q}\left(\nu \right)}{\int }_{0}^{\mathfrak{s}}{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -1\right)}w\left(\stackrel{}{\iota }\right)\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota },\phantom{\rule{1em}{0ex}}\nu >0,\hfill \\ {\mathbb{I}}_{q}^{0}w\left(\mathfrak{s}\right)=w\left(\mathfrak{s}\right),\hfill \end{array}$

where $$\Gamma _{q} ( \nu ) = \frac{ ( 1- q )^{ ( \nu -1 )}}{ ( 1-q )^{\nu -1}}$$, $$\nu \in \mathbb{R} \backslash \{ 0,-1,-2,\dots \}$$, is called the q-gamma function and satisfies

$$\Gamma _{q} ( \nu +1 ) = [ \nu ]_{q}\Gamma _{q} ( \nu ),\qquad [\sigma ]_{q} = \frac{1-q^{\grave{a}}}{1-q},\quad \grave{a}\in \mathbb{R}.$$

We need the following lemmas [2, 26].

### Lemma 2.1

Let $$\nu ,\sigma \geq 0$$, and let φ be a function defined in $$\bar{\mathrm{J}}:=[0,1]$$. Then we have the following formulas:

${\mathbb{I}}_{q}^{\nu }{\mathbb{I}}_{q}^{\sigma }\phi \left(\mathfrak{s}\right)={\mathbb{I}}_{q}^{\nu +\sigma }\phi \left(\mathfrak{s}\right),\phantom{\rule{2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\mathbb{D}}{\mathbb{I}}_{q}^{\nu }\phi \left(\mathfrak{s}\right)=\phi \left(\mathfrak{s}\right).$

### Lemma 2.2

Let $$\nu >0$$. Then

${\mathbb{I}}_{q}^{\nu }\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\nu }\phi \left(\mathfrak{s}\right)=\phi \left(\mathfrak{s}\right)-\sum _{j=0}^{\left[\nu \right]-1}\frac{{\mathfrak{s}}^{j}}{{\mathrm{\Gamma }}_{q}\left(j+1\right)}{\mathbb{D}}_{q}^{j}\phi \left(0\right).$

### Lemma 2.3

For $$\sigma \in \mathbb{R}_{+}$$ and $$\epsilon >-1$$, we have

${\mathbb{I}}_{q}^{\nu }{\left(\mathfrak{s}-\stackrel{}{\iota }\right)}^{\left(ϵ\right)}=\frac{{\mathrm{\Gamma }}_{q}\left(ϵ+1\right)}{{\mathrm{\Gamma }}_{q}\left(\nu +ϵ+1\right)}{\left(\mathfrak{s}-\stackrel{}{\iota }\right)}^{\left(\nu +ϵ\right)}.$

Let us now define the space

$\mathcal{W}=\left\{w:w,{}^{C}{\mathbb{D}}_{q}^{\sigma }w\in C\left(\mathrm{\Omega },\mathbb{R}\right)\right\}$

equipped with the norm

${\parallel w\parallel }_{\mathcal{W}}=\parallel w\parallel +\parallel {}^{C}{\mathbb{D}}_{q}^{\sigma }w\parallel =\underset{\mathfrak{s}\in \mathrm{J}}{sup}|w\left(\mathfrak{s}\right)|+\underset{\mathfrak{s}\in \mathrm{J}}{sup}|{}^{C}{\mathbb{D}}_{q}^{\sigma }w\left(\mathfrak{s}\right)|.$

It is clear that $$(\mathcal{W}, \Vert w \Vert _{\mathcal{W}})$$ is a Banach space.

## Uniqueness results

We prove the following auxiliary lemma, which is pivotal to define the solution for Problem (1).

### Lemma 3.1

Let $$\lambda _{1} T^{\nu -\sigma } \neq \lambda _{2} \eta ^{\nu -\sigma}$$. For $$\uppsi \in C ( \Omega , \mathbb{R} )$$, the unique solution of the problem

$\left\{\begin{array}{c}\left[{\mathbb{D}}_{q}^{\nu }+r{\mathbb{D}}_{q}^{\sigma }\right]w\left(\mathfrak{s}\right)=\mathrm{\psi }\left(\mathfrak{s}\right),\phantom{\rule{1em}{0ex}}\mathfrak{s}\in \mathrm{J},\hfill \\ w\left(0\right)=0,\hfill \\ {\lambda }_{1}w\left(T\right)-{\lambda }_{2}w\left(\eta \right)=\mathrm{\Lambda },\phantom{\rule{1em}{0ex}}\mathrm{\Lambda }\in \mathbb{R},\hfill \end{array}$
(4)

where $$r>0$$, $$1< \nu \leq 2$$, $$0 < \sigma \leq 1$$ and $$\eta \in \Omega$$, is given by

\begin{aligned} w ( \mathfrak{s} ) & = \frac{1}{\Gamma _{q} ( \nu )} \int _{0}^{ \mathfrak{s}} ( \mathfrak{s} - q\grave{\iota} )^{ ( \nu -1 ) } \uppsi ( \grave{\iota} ) \, {\mathrm {d}}_{q}\grave{ \iota} \\ &\quad {} - \frac{r}{ \Gamma _{q} ( \nu - \sigma ) } \int _{0}^{ \mathfrak{s}} ( \mathfrak{s} - q\grave{\iota} )^{ ( \nu -\sigma -1 ) } w ( \mathfrak{s} )\, { \mathrm {d}}_{q}\grave{\iota} \\ &\quad {} + \frac{\mathfrak{s}^{\nu -\sigma }}{ \lambda _{1} T^{\nu -\sigma } - \lambda _{2} \eta ^{\nu -\sigma }} \biggl[ \frac{\lambda _{2}}{ \Gamma _{q} ( \nu ) } \int _{0}^{ \eta } ( \eta - q \grave{\iota} )^{ ( \nu -1 ) } \uppsi ( \grave{\iota} )\, {\mathrm {d}}_{q} \grave{ \iota} \\ &\quad {} - \frac{r\lambda _{2}}{ \Gamma _{q} ( \nu -\sigma ) } \int _{0}^{ \eta} ( \eta -q\grave{\iota} )^{ ( \nu -\sigma 1 ) } w ( \grave{\iota} )\, {\mathrm {d}}_{q} \grave{ \iota} \biggr] \\ &\quad {} - \frac{ \mathfrak{s}^{\nu -\sigma }}{ \lambda _{1} T^{\nu -\sigma } - \lambda _{2} \eta ^{\nu -\sigma} } \biggl[ \frac{\lambda _{1}}{ \Gamma _{q} ( \nu ) } \int _{0}^{T} ( T - q \grave{\iota} )^{ ( \nu -1 ) } \uppsi ( \grave{\iota} ) \, {\mathrm {d}}_{q}\grave{ \iota} \\ &\quad {} + \frac{r\lambda _{1}}{ \Gamma _{q} ( \nu -\sigma ) } \int _{0}^{T} ( T-q\grave{\iota} )^{ ( \nu -\sigma -1 ) } w ( \grave{\iota} ) \, {\mathrm {d}}_{q} \grave{ \iota} \biggr] \\ &\quad {} + \frac{\mathfrak{s}^{ \nu -\sigma}}{ \lambda _{1} T^{\nu -\sigma} - \lambda _{2} \eta ^{\nu -\sigma}} \Lambda . \end{aligned}
(5)

### Proof

We have

$\left[{}^{C}{\mathbb{D}}_{q}^{\nu }+r\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\sigma }\right]w\left(\mathfrak{s}\right)=\mathrm{\psi }\left(\mathfrak{s}\right).$
(6)

Now we write the linear sequential FDE (6) as

${}^{C}\mathbb{D}_{q}^{\sigma }\left[{}^{C}{\mathbb{D}}_{q}^{\nu -\sigma }+r\right]w\left(\mathfrak{s}\right)=\mathrm{\psi }\left(\mathfrak{s}\right).$
(7)

By taking the fractional q-integral of order σ for (7) we get

$w\left(\mathfrak{s}\right)={\mathbb{I}}_{q}^{\nu }\mathrm{\psi }\left(\mathfrak{s}\right)-r{\mathbb{I}}_{q}^{\nu -\sigma }w\left(\mathfrak{s}\right)+{a}_{0}\frac{{\mathfrak{s}}^{\nu -\sigma }}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}+{b}_{0},$
(8)

where $$a_{0}$$ and $$b_{0}$$ are arbitrary constants. By the boundary condition $$w ( 0 ) =0$$ we conclude that $$b_{0}=0$$. Using the boundary condition $$\lambda _{1} w ( T ) -\lambda _{2} w ( \eta ) = \Lambda$$, we obtain that

$\begin{array}{rl}{a}_{0}& =\frac{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}{{\lambda }_{1}{T}^{\nu -\sigma }-{\lambda }_{2}{\eta }^{\nu -\sigma }}\left[\mathrm{\Lambda }+{\lambda }_{2}{\mathbb{I}}_{q}^{\nu }\mathrm{\psi }\left(\eta \right)-r{\lambda }_{2}{\mathbb{I}}_{q}^{\nu -\sigma }w\left(\eta \right)\\ & \phantom{\rule{1em}{0ex}}-{\lambda }_{1}{\mathbb{I}}_{q}^{\nu }\mathrm{\psi }\left(T\right)+r{\lambda }_{1}{\mathbb{I}}_{q}^{\nu -\sigma }w\left(T\right)\right].\end{array}$

Substituting the values of $$a_{0}$$ and $$b_{0}$$ into (8), we obtain solution (5). This completes the proof. □

In view of Lemma 3.1, we can define the operator: $$\mathfrak{G}: \mathcal{W} \rightarrow \mathcal{W}$$ by

$\begin{array}{rl}\mathfrak{G}w\left(\mathfrak{s}\right)& =\frac{1}{{\mathrm{\Gamma }}_{q}\left(\nu \right)}{\int }_{0}^{\mathfrak{s}}{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -1\right)}\phi \left(\stackrel{}{\iota },w\left(\stackrel{}{\iota }\right),w\left(\mathrm{\Theta }\stackrel{}{\iota }\right),{}^{C}{\mathbb{D}}_{q}^{\sigma }w\left(\mathrm{\Theta }\stackrel{}{\iota }\right)\right)\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{1em}{0ex}}-\frac{r}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma \right)}{\int }_{0}^{\mathfrak{s}}{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -\sigma -1\right)}w\left(\stackrel{}{\iota }\right)\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{1em}{0ex}}+\frac{{\mathfrak{s}}^{\nu -\sigma }}{{\lambda }_{1}{T}^{\nu -\sigma }-{\lambda }_{2}{\eta }^{\nu -\sigma }}\left[\frac{{\lambda }_{2}}{{\mathrm{\Gamma }}_{q}\left(\nu \right)}\\ & \phantom{\rule{1em}{0ex}}×{\int }_{0}^{\eta }{\left(\eta -q\stackrel{}{\iota }\right)}^{\left(\nu -1\right)}\phi \left(\stackrel{}{\iota },w\left(\stackrel{}{\iota }\right),w\left(\mathrm{\Theta }\stackrel{}{\iota }\right),{}^{C}{\mathbb{D}}_{q}^{\sigma }w\left(\mathrm{\Theta }\stackrel{}{\iota }\right)\right)\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{1em}{0ex}}-\frac{r{\lambda }_{2}}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma \right)}{\int }_{0}^{\eta }{\left(\eta -q\stackrel{}{\iota }\right)}^{\left(\nu -\sigma -1\right)}w\left(\stackrel{}{\iota }\right)\stackrel{}{\iota }\right]\\ & \phantom{\rule{1em}{0ex}}-\frac{{\mathfrak{s}}^{\nu -\sigma }}{{\lambda }_{1}{T}^{\nu -\sigma }-{\lambda }_{2}{\eta }^{\nu -\sigma }}\left[\frac{{\lambda }_{1}}{{\mathrm{\Gamma }}_{q}\left(\nu \right)}\\ & \phantom{\rule{1em}{0ex}}×{\int }_{0}^{T}{\left(T-q\stackrel{}{\iota }\right)}^{\left(\nu -1\right)}\phi \left(\stackrel{}{\iota },w\left(\stackrel{}{\iota }\right),w\left(\mathrm{\Theta }\stackrel{}{\iota }\right),{}^{C}{\mathbb{D}}_{q}^{\sigma }w\left(\mathrm{\Theta }\stackrel{}{\iota }\right)\right)\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{1em}{0ex}}+\frac{r{\lambda }_{1}}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma \right)}{\int }_{0}^{T}{\left(T-q\stackrel{}{\iota }\right)}^{\left(\nu -\sigma -1\right)}w\left(\stackrel{}{\iota }\right)\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\right]\\ & \phantom{\rule{1em}{0ex}}+\frac{{\mathfrak{s}}^{\nu -\sigma }}{{\lambda }_{1}{T}^{\nu -\sigma }-{\lambda }_{2}{\eta }^{\nu -\sigma }}\mathrm{\Lambda }.\end{array}$
(9)

For convenience, we denote

\begin{aligned}& \nabla _{1} :=\frac{1}{\Gamma _{q} ( \nu +1 ) } \biggl[ T^{ \nu} + \frac{ T^{\nu -\sigma}}{ \vert \lambda _{1} T^{\nu -\sigma} - \lambda _{2} \eta ^{\nu -\sigma} \vert } \bigl( \vert \lambda _{2} \vert \eta ^{\nu }+ \vert \lambda _{1} \vert T^{\nu } \bigr) \biggr], \\& \begin{aligned} \nabla _{2} &:=\frac{r}{ \Gamma _{q} ( \nu -\sigma +1 ) } \biggl[ T^{\nu -\sigma } \\ &\quad {} + \frac{ T^{\nu -\sigma}}{ \vert \lambda _{1} T^{\nu -\sigma} - \lambda _{2}\eta ^{\nu -\sigma} \vert } \bigl( \vert \lambda _{2} \vert \eta ^{\nu -\sigma} + \vert \lambda _{1} \vert T^{\nu -\sigma} \bigr) \biggr], \\ \Pi _{1} &:= \frac{T^{\nu -\sigma}}{\Gamma _{q} ( \nu -\sigma +1 ) } + \frac{\Gamma _{q} ( \nu -\sigma +1 ) T^{\nu -2\sigma }}{ \vert \lambda _{1}T^{\nu -\sigma}-\lambda _{2}\eta ^{\nu -\sigma} \vert \Gamma _{q} ( \nu -2\sigma +1 )} \\ &\quad {} \times \biggl( \frac{ \vert \lambda _{2} \vert \eta ^{\nu }}{ \Gamma _{q} ( \nu +1 ) }+ \frac{ \vert \lambda _{1} \vert T^{\nu}}{\Gamma _{q} ( \nu +1 ) } \biggr), \end{aligned} \\& \begin{aligned} \Pi _{2} &: = \frac{rT^{\nu -2\sigma }}{\Gamma _{q} ( \nu -2\sigma +1 ) } + \frac{\Gamma _{q} ( \nu -\sigma +1 ) T^{\nu -2\sigma}}{ \vert \lambda _{1}T^{\nu -\sigma}-\lambda _{2}\eta ^{\nu -\sigma} \vert \Gamma _{q} ( \nu -2\sigma +1 ) } \\ &\quad {} \times \biggl( \frac{ \vert \lambda _{2} \vert \eta ^{\nu -\sigma}}{\Gamma _{q} ( \nu -\sigma +1 ) }+ \frac{ \vert \lambda _{1} \vert T^{\nu -\sigma}}{\Gamma _{q} ( \nu -\sigma +1 ) } \biggr), \end{aligned} \end{aligned}
(10)

Our first result is based on Banach’s fixed point theorem.

### Theorem 3.2

Let $$\varphi :\Omega \times \mathbb{R}^{3}\rightarrow \mathbb{R}$$ be continuous function satisfying the condition

1. (C1)

there exist nonnegative constants μ̆ such that for all $$\mathfrak{s}\in \Omega$$ and $$w_{i}, \acute{w}_{i}\in \mathbb{R}$$ ($$i=1,2,3$$),

$$\bigl\vert \varphi ( \mathfrak{s},w_{1},w_{2},w_{3} ) - \varphi ( \mathfrak{s},\acute{w}_{1},\acute{w}_{2}, \acute{w}_{3} ) \bigr\vert \leq \breve{\mu} \sum _{i=1}^{3} \vert w_{i}- \acute{w}_{i} \vert .$$

If

$$\breve{\mu} ( 2\nabla _{1} + \Pi _{1} ) + \nabla _{2} + \Pi _{2} < 1,$$
(11)

where $$\nabla _{i}$$, $$\Pi _{i}$$, $$i=1,2$$, are given by (10), then problem (1) has a unique solution on Ω.

### Proof

Let us fix $$\Delta =\sup_{\mathfrak{s}\in \bar{\mathrm{J}} }\varphi ( \mathfrak{s},0,0,0 )$$, choose

$$\frac{2 \Delta \nabla _{1}+2\nabla _{3}+\Delta \Pi _{1}+\Pi _{3}}{1- [ 2 ( \breve{\mu} \nabla _{1}+\nabla _{2} ) + ( \breve{\mu} \Pi _{1}+\Pi _{2} ) ] } \leq \ell ,$$

where $$B_{\ell} = \{ w \in \mathcal{W} : \Vert w \Vert _{\mathcal{W}} \leq \ell \}$$ and

\begin{aligned}& \nabla _{3}:= \frac{ \vert \Lambda \vert }{ \vert \lambda _{1}T^{\nu -\sigma } - \lambda _{2}\eta ^{\nu -\sigma} \vert }, \\& \Pi _{3} := \frac{\Gamma _{q} ( \nu -\sigma +1 ) T^{\nu -2\sigma } \vert \Lambda \vert }{ \vert \lambda _{1}T^{\nu -\sigma}-\lambda _{2}\eta ^{\nu -\sigma } \vert \Gamma _{q} ( \nu -2\sigma +1 )}. \end{aligned}

Let ${\phi }_{w}^{\ast }\left(\mathfrak{s}\right)=\phi \left(\mathfrak{s},w\left(\mathfrak{s}\right),w\left(\mathrm{\Theta }\mathfrak{s}\right),{}^{C}{\mathbb{D}}_{q}^{\sigma }w\left(\mathrm{\Theta }\mathfrak{s}\right)\right)$. Then we show that $$\mathfrak{G} B_{\ell} \subset B_{\ell}$$. For $$w\in B_{\ell}$$, we have

$\begin{array}{rl}|{\phi }_{w}^{\ast }\left(\mathfrak{s}\right)|& =|\phi \left(\mathfrak{s},w\left(\mathfrak{s}\right),w\left(\mathrm{\Theta }\mathfrak{s}\right),{}^{C}{\mathbb{D}}_{q}^{\sigma }w\left(\mathrm{\Theta }\mathfrak{s}\right)\right)|\\ & \le |\phi \left(\mathfrak{s},w\left(\mathfrak{s}\right),w\left(\mathrm{\Theta }\mathfrak{s}\right),{}^{C}{\mathbb{D}}_{q}^{\sigma }w\left(\mathrm{\Theta }\mathfrak{s}\right)\right)-\phi \left(\mathfrak{s},0,0,0\right)|+|\phi \left(\mathfrak{s},0,0,0\right)|\\ & \le \stackrel{˘}{\mu }\left(|w\left(\mathfrak{s}\right)|+|w\left(\eta \mathfrak{s}\right)|+|{}^{C}{\mathbb{D}}_{q}^{\sigma }w\left(\mathfrak{s}\right)|\right)+\mathrm{\Delta }\\ & \le \stackrel{˘}{\mu }\left(2\parallel w\parallel +\parallel {}^{C}{\mathbb{D}}_{q}^{\sigma }w\parallel \right)+\mathrm{\Delta }\\ & =2\stackrel{˘}{\mu }{\parallel w\parallel }_{\mathcal{W}}+\mathrm{\Delta }\le 2\stackrel{˘}{\mu }\ell +\mathrm{\Delta }.\end{array}$

Using this estimate, we get

\begin{aligned} \bigl\vert \mathfrak{G} w ( \mathfrak{s} ) \bigr\vert & \leq \frac{1}{\Gamma _{q} ( \nu ) } \int _{0}^{\mathfrak{s}} ( \mathfrak{s} -q \grave{\iota} )^{ ( \nu -1 ) } \bigl\vert \varphi _{w}^{ \ast} ( \grave{\iota} ) \bigr\vert \, {\mathrm {d}}_{q} \grave{\iota} \\ &\quad {} + \frac{k}{\Gamma _{q} ( \nu -\sigma ) } \int _{0}^{ \mathfrak{s}} ( \mathfrak{s} - q\grave{\iota} )^{ ( \nu -\sigma -1 ) } \bigl\vert w ( \grave{\iota} ) \bigr\vert \, \mathrm{d}_{q}s \\ &\quad {} + \frac{ \mathfrak{s}^{ \nu -\sigma}}{ \vert \lambda _{1} T^{\nu -\sigma} - \lambda _{2} \eta ^{\nu -\sigma} \vert } \biggl[ \frac{ \vert \lambda _{2} \vert }{ \Gamma _{q} (\nu ) } \int _{0}^{\eta} ( \eta - q \grave{\iota} )^{ ( \nu -1 ) } \bigl\vert \varphi _{w}^{\ast } ( \grave{\iota} ) \bigr\vert \, {\mathrm {d}}_{q}\grave{\iota} \\ &\quad {} + \frac{r \vert \lambda _{2} \vert }{\Gamma _{q} ( \nu -\sigma ) } \int _{0}^{\eta } ( \eta -q\grave{\iota} ) ^{ ( \nu -\sigma -1 ) } \bigl\vert w ( \grave{\iota} ) \bigr\vert \, {\mathrm {d}}_{q}\grave{\iota} \biggr] \\ &\quad {} + \frac{\mathfrak{s}^{\nu -\sigma}}{ \vert \lambda _{1} T^{\nu -\sigma}-\lambda _{2}\eta ^{\nu -\sigma} \vert } \biggl[ \frac{ \vert \lambda _{1} \vert }{\Gamma _{q} ( \nu ) } \int _{0}^{T} ( T - q \grave{\iota} )^{ ( \nu -1 ) } \bigl\vert \varphi _{w}^{\ast } ( \grave{\iota} ) \bigr\vert \, {\mathrm {d}}_{q}\grave{\iota} \\ &\quad {} + \frac{r \vert \lambda _{1} \vert }{ \Gamma _{q} ( \nu -\sigma ) } \int _{0}^{T} ( T - q\grave{\iota} )^{ ( \nu -\sigma -1 ) } \bigl\vert w ( \mathfrak{s} ) \bigr\vert \, {\mathrm {d}}_{q}\grave{\iota} \biggr] \\ &\quad {} + \frac{\mathfrak{s}^{\nu -\sigma} \vert \Lambda \vert }{ \vert \lambda _{1} T^{\nu -\sigma} - \lambda _{2} \eta ^{\nu -\sigma} \vert }, \end{aligned}

which implies that

\begin{aligned} \bigl\Vert \mathfrak{G} ( w ) \bigr\Vert &\leq \frac{ ( \breve{\mu} \ell + \Delta ) }{\Gamma _{q} ( \nu +1 ) } \biggl[ T^{\nu } \\ &\quad {} + \frac{T^{\nu -\sigma}}{ \vert \lambda _{1}T^{\nu -\sigma} - \lambda _{2} \eta ^{\nu -\sigma} \vert } \bigl( \vert \lambda _{2} \vert \eta ^{\nu } + \vert \lambda _{1} \vert T^{\nu} \bigr) \biggr] \\ &\quad {} + \frac{r}{ \Gamma _{q} ( \nu -\sigma +1 ) } \biggl[ T^{ \nu -\sigma} \\ &\quad {} + \frac{T^{\nu -\sigma}}{ \vert \lambda _{1} T^{\nu -\sigma} - \lambda _{2}\eta ^{\nu -\sigma } \vert } \bigl( \vert \lambda _{2} \vert \eta ^{\nu -\sigma} + \vert \lambda _{1} \vert T^{\nu -\sigma} \bigr) \biggr] \ell \\ &\quad {} + \frac{ \vert \Lambda \vert }{ \vert \lambda _{1} T^{\nu -\sigma} - \lambda _{2}\eta ^{\nu -\sigma} \vert } \\ &= ( \breve{\mu} \nabla _{1}+\nabla _{2} ) \ell + \Delta \nabla _{1}+\nabla _{3}. \end{aligned}

We also have

$\begin{array}{rl}|{}^{C}{\mathbb{D}}_{q}^{\nu }\mathfrak{G}w\left(\mathfrak{s}\right)|& \le \frac{1}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma \right)}{\int }_{0}^{\mathfrak{s}}{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -\sigma -1\right)}|{\phi }_{w}^{\ast }\left(\stackrel{}{\iota }\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{1em}{0ex}}+\frac{r}{{\mathrm{\Gamma }}_{q}\left(\nu -2\sigma \right)}{\int }_{0}^{\mathfrak{s}}{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -2\sigma -1\right)}|w\left(\stackrel{}{\iota }\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{1em}{0ex}}+\frac{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right){\mathfrak{s}}^{\nu -2\sigma }}{|{\lambda }_{1}{T}^{\nu -\sigma }-{\lambda }_{2}{\eta }^{\nu -\sigma }|{\mathrm{\Gamma }}_{q}\left(\nu -2\sigma +1\right)}\\ & \phantom{\rule{1em}{0ex}}×\left[\frac{|{\lambda }_{2}|}{{\mathrm{\Gamma }}_{q}\left(\nu \right)}{\int }_{0}^{\eta }{\left(\eta -q\stackrel{}{\iota }\right)}^{\left(\nu -1\right)}|{\phi }_{w}^{\ast }\left(\stackrel{}{\iota }\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{1em}{0ex}}+\frac{r|{\lambda }_{2}|}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma \right)}{\int }_{0}^{\eta }{\left(\eta -q\stackrel{}{\iota }\right)}^{\left(\nu -\sigma -1\right)}|w\left(\mathfrak{s}\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\right]\\ & \phantom{\rule{1em}{0ex}}+\frac{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right){\mathfrak{s}}^{\nu -2\sigma }}{|{\lambda }_{1}{T}^{\nu -\sigma }-{\lambda }_{2}{\eta }^{\nu -\sigma }|{\mathrm{\Gamma }}_{q}\left(\nu -2\sigma +1\right)}\\ & \phantom{\rule{1em}{0ex}}×\left[\frac{|{\lambda }_{1}|}{{\mathrm{\Gamma }}_{q}\left(\nu \right)}{\int }_{0}^{T}{\left(T-q\mathfrak{s}\right)}^{\left(\nu -1\right)}|{\phi }_{w}^{\ast }\left(\mathfrak{s}\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{1em}{0ex}}+\frac{r|{\lambda }_{1}|}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma \right)}{\int }_{0}^{T}{\left(T-q\stackrel{}{\iota }\right)}^{\left(\nu -\sigma -1\right)}|w\left(\stackrel{}{\iota }\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\right]\\ & \phantom{\rule{1em}{0ex}}+\frac{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right){\mathfrak{s}}^{\nu -2\sigma }|\mathrm{\Lambda }|}{|{\lambda }_{1}{T}^{\nu -\sigma }-{\lambda }_{2}{\eta }^{\nu -\sigma }|{\mathrm{\Gamma }}_{q}\left(\nu -2\sigma +1\right)}.\end{array}$

Thus we obtain

$\begin{array}{rl}\parallel {}^{C}{\mathbb{D}}_{q}^{\sigma }\mathfrak{G}\left(w\right)\parallel & \le \left(\stackrel{˘}{\mu }\ell +\mathrm{\Delta }\right)\left[\frac{{T}^{\nu -\sigma }}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}\\ & \phantom{\rule{1em}{0ex}}+\frac{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right){T}^{\nu -2\sigma }}{|{\lambda }_{1}{T}^{\nu -\sigma }-{\lambda }_{2}{\eta }^{\nu -\sigma }|{\mathrm{\Gamma }}_{q}\left(\nu -2\sigma +1\right)}\\ & \phantom{\rule{1em}{0ex}}×\left(\frac{|{\lambda }_{2}|{\eta }^{\nu }}{{\mathrm{\Gamma }}_{q}\left(\nu +1\right)}+\frac{|{\lambda }_{1}|{T}^{\nu }}{{\mathrm{\Gamma }}_{q}\left(\nu +1\right)}\right)\right]\\ & \phantom{\rule{1em}{0ex}}+r\left[\frac{{T}^{\nu -2\sigma }}{{\mathrm{\Gamma }}_{q}\left(\nu -2\sigma +1\right)}\\ & \phantom{\rule{1em}{0ex}}+\frac{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right){T}^{\nu -2\sigma }}{|{\lambda }_{1}{T}^{\nu -\sigma }-{\lambda }_{2}{\eta }^{\nu -\sigma }|{\mathrm{\Gamma }}_{q}\left(\nu -2\sigma +1\right)}\\ & \phantom{\rule{1em}{0ex}}×\left(\frac{|{\lambda }_{2}|{\eta }^{\nu -\sigma }}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}+\frac{|{\lambda }_{1}|{T}^{\nu -\sigma }}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}\right)\right]\ell \\ & \phantom{\rule{1em}{0ex}}+\frac{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right){T}^{\nu -2\sigma }|\mathrm{\Lambda }|}{|{\lambda }_{1}{T}^{\nu -\sigma }-{\lambda }_{2}{\eta }^{\nu -\sigma }|{\mathrm{\Gamma }}_{q}\left(\nu -2\sigma +1\right)}\\ & =\left(\stackrel{˘}{\mu }{\mathrm{\Pi }}_{1}+{\mathrm{\Pi }}_{2}\right)\ell +\mathrm{\Delta }{\mathrm{\Pi }}_{1}+{\mathrm{\Pi }}_{3}.\end{array}$

From the definition of $$\Vert \cdot \Vert _{\mathcal{W}}$$ we have

$\begin{array}{rl}{\parallel \mathfrak{G}\left(w\right)\parallel }_{\mathcal{W}}& =2\parallel \mathfrak{G}\left(w\right)\parallel +\parallel {}^{C}{\mathbb{D}}_{q}^{\sigma }\mathfrak{G}\left(w\right)\parallel \\ & \le \left[2\left(\stackrel{˘}{\mu }{\mathrm{\nabla }}_{1}+{\mathrm{\nabla }}_{2}\right)+\left(\stackrel{˘}{\mu }{\mathrm{\Pi }}_{1}+{\mathrm{\Pi }}_{2}\right)\right]\ell \\ & \phantom{\rule{1em}{0ex}}+2\mathrm{\Delta }{\mathrm{\nabla }}_{1}+2{\mathrm{\nabla }}_{3}+\mathrm{\Delta }{\mathrm{\Pi }}_{1}+{\mathrm{\Pi }}_{3}\\ & \le \ell ,\end{array}$

which implies that $$\mathfrak{G}B_{\ell}\subset B_{\ell}$$. For $$w,\acute{w}\in B_{\ell}$$ and for all $$\mathfrak{s}\in \Omega$$, we have

\begin{aligned} &\bigl\vert \mathfrak{G} w ( \mathfrak{s} ) -\mathfrak{G} \acute{w} ( \mathfrak{s} ) \bigr\vert \\ &\quad \leq \frac{1}{\Gamma _{q} ( \nu ) } \int _{0}^{ \mathfrak{s}} ( \mathfrak{s} - q \grave{\iota} ) ^{ ( \nu -1 ) } \bigl\vert \varphi _{w}^{\ast } ( \grave{\iota} ) -\varphi _{\acute{w}}^{\ast } ( \grave{\iota} ) \bigr\vert \, {\mathrm {d}}_{q}\grave{\iota} \\ &\qquad {} + \frac{r}{\Gamma _{q} ( \nu -\sigma ) } \int _{0}^{ \mathfrak{s}} ( \mathfrak{s} - q\grave{\iota} )^{ ( \nu -\sigma -1 ) } \bigl\vert w ( \grave{\iota} ) - \acute{w} ( \grave{\iota} ) \bigr\vert \, {\mathrm {d}}_{q} \grave{\iota} \\ &\qquad {} + \frac{\mathfrak{s}^{\nu -\sigma} }{ \vert \lambda _{1}T^{\nu -\sigma }-\lambda _{2} \eta ^{\nu -\sigma } \vert } \biggl[ \frac{ \vert \lambda _{2} \vert }{\Gamma _{q} ( \nu ) } \\ &\qquad {} \times \int _{0}^{\eta} ( \eta - q \grave{\iota} ) ^{ ( \nu -1 ) } \bigl\vert \varphi _{w}^{\ast } ( \grave{\iota} ) -\varphi _{\acute{w}}^{\ast } ( \grave{\iota} ) \bigr\vert \, {\mathrm {d}}_{q}\grave{\iota} \\ &\qquad {} + \frac{r \vert \lambda _{2} \vert }{\Gamma _{q} (\nu -\sigma ) } \int _{0}^{\eta } ( \eta -q \grave{\iota} ) ^{ (\nu - \sigma -1 ) } \bigl\vert w ( \grave{\iota} ) - \acute{w} ( \grave{\iota} ) \bigr\vert \, {\mathrm {d}}_{q} \grave{\iota} \biggr] \\ &\qquad {} + \frac{\mathfrak{s}^{\nu -\sigma}}{ \vert \lambda _{1} T^{\nu -\sigma}-\lambda _{2}\eta ^{\nu -\sigma} \vert } \biggl[ \frac{ \vert \lambda _{1} \vert }{\Gamma _{q} ( \nu ) } \\ &\qquad {} \times \int _{0}^{T} ( T- q \grave{\iota} )^{ ( \nu - 1 ) } \bigl\vert \varphi _{w}^{\ast } ( \grave{\iota} ) -\varphi _{\acute{w}}^{\ast } ( \grave{\iota} ) \bigr\vert \, {\mathrm {d}}_{q}\grave{\iota} \\ &\qquad {} + \frac{r \vert \lambda _{1} \vert }{\Gamma _{q} ( \nu -\sigma ) } \int _{0}^{T} ( T- q \grave{\iota} ) ^{ ( \nu -\sigma -1 ) } \bigl\vert w ( \grave{\iota} ) -\acute{w} ( \grave{\iota} ) \bigr\vert \, {\mathrm {d}}_{q}\grave{\iota} \biggr]. \end{aligned}

Using (C1), we get

$$\bigl\Vert \mathfrak{G} ( w ) -\mathfrak{G} ( \acute{w} ) \bigr\Vert \leq ( \breve{\mu} \nabla _{1}+ \nabla _{2} ) \Vert w- \acute{w} \Vert _{\mathcal{W}}.$$

We also have

$\begin{array}{rl}& |{}^{C}{\mathbb{D}}_{q}^{\sigma }\mathfrak{G}w\left(\mathfrak{s}\right)-{}^{C}{\mathbb{D}}_{q}^{\sigma }\mathfrak{G}\stackrel{´}{w}\left(\mathfrak{s}\right)|\\ & \phantom{\rule{1em}{0ex}}\le \frac{1}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma \right)}{\int }_{0}^{\mathfrak{s}}{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -\sigma -1\right)}|{\phi }_{w}^{\ast }\left(\mathfrak{s}\right)-{\phi }_{\stackrel{´}{w}}^{\ast }\left(\stackrel{}{\iota }\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{2em}{0ex}}+\frac{r}{{\mathrm{\Gamma }}_{q}\left(\nu -2\sigma \right)}{\int }_{0}^{t}{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -2\sigma -1\right)}|w\left(\stackrel{}{\iota }\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{2em}{0ex}}+\frac{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right){\mathfrak{s}}^{\nu -2\sigma }}{|{\lambda }_{1}{T}^{\nu -\sigma }-{\lambda }_{2}{\eta }^{\nu -\sigma }|{\mathrm{\Gamma }}_{q}\left(\nu -2\sigma +1\right)}\\ & \phantom{\rule{2em}{0ex}}×\left[\frac{|{\lambda }_{2}|}{{\mathrm{\Gamma }}_{q}\left(\nu \right)}{\int }_{0}^{\eta }{\left(\eta -q\stackrel{}{\iota }\right)}_{q}^{\left(\nu -1\right)}|{\phi }_{w}^{\ast }\left(\stackrel{}{\iota }\right)-{\phi }_{\stackrel{´}{w}}^{\ast }\left(\stackrel{}{\iota }\right)|\stackrel{}{\iota }\\ & \phantom{\rule{2em}{0ex}}+\frac{r|{\lambda }_{2}|}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma \right)}{\int }_{0}^{\eta }{\left(\eta -q\stackrel{}{\iota }\right)}^{\left(\nu -\sigma -1\right)}|w\left(\stackrel{}{\iota }\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\right]\\ & \phantom{\rule{2em}{0ex}}+\frac{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right){\mathfrak{s}}^{\nu -2\sigma }}{|{\lambda }_{1}{T}^{\nu -\sigma }-{\lambda }_{2}{\eta }^{\nu -\sigma }|{\mathrm{\Gamma }}_{q}\left(\nu -2\sigma +1\right)}\\ & \phantom{\rule{2em}{0ex}}×\left[\frac{|{\lambda }_{1}|}{{\mathrm{\Gamma }}_{q}\left(\nu \right)}{\int }_{0}^{T}{\left(T-q\stackrel{}{\iota }\right)}^{\left(\nu -1\right)}|{\phi }_{w}^{\ast }\left(\stackrel{}{\iota }\right)-{\phi }_{\stackrel{´}{w}}^{\ast }\left(\stackrel{}{\iota }\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{2em}{0ex}}+\frac{r|{\lambda }_{1}|}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma \right)}{\int }_{0}^{T}{\left(T-q\stackrel{}{\iota }\right)}^{\left(\nu -\sigma -1\right)}|w\left(\stackrel{}{\iota }\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\right].\end{array}$

By (C1) we can write

$\parallel {}^{C}{\mathbb{D}}_{q}^{\sigma }\mathfrak{G}\left(w\right)-{}^{C}{\mathbb{D}}_{q}^{\sigma }\mathfrak{G}\left(\stackrel{´}{w}\right)\parallel \le \left(\stackrel{˘}{\mu }{\mathrm{\Pi }}_{1}+{\mathrm{\Pi }}_{2}\right){\parallel w-\stackrel{´}{w}\parallel }_{\mathcal{W}}.$

Consequently, we obtain

$\begin{array}{rl}{\parallel \mathfrak{G}\left(w\right)-\mathfrak{G}\left(\stackrel{´}{w}\right)\parallel }_{\mathcal{W}}& =2\parallel \mathfrak{G}\left(w\right)-\mathfrak{G}\left(\stackrel{´}{w}\right)\parallel +\parallel {}^{C}{\mathbb{D}}_{q}^{\sigma }\mathfrak{G}\left(w\right)-{}^{C}{\mathbb{D}}_{q}^{\sigma }\mathfrak{G}\left(\stackrel{´}{w}\right)\parallel \\ & \le \left[\left(2{\mathrm{\nabla }}_{1}+{\mathrm{\Pi }}_{1}\right)\stackrel{˘}{\mu }+{\mathrm{\nabla }}_{2}+{\mathrm{\Pi }}_{2}\right]{\parallel w-\stackrel{´}{w}\parallel }_{\mathcal{W}}.\end{array}$

By (11) we see that $$\mathfrak{G}$$ is a contractive operator. Consequently, by the Banach fixed point theorem, $$\mathfrak{G}$$ has a fixed point, which is a solution of problem (1). This completes the proof. □

## Ulam–Hyers–Rassias stability results

We discuss the Ulam-type stability of the q-fractional problem (1). For $$\mathfrak{s}\in \Omega$$, we have the following q-fractional inequalities:

$\begin{array}{c}|\left[{}^{C}{\mathbb{D}}_{q}^{\nu }+r\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\sigma }\right]\stackrel{´}{w}\left(\mathfrak{s}\right)-{\phi }_{\stackrel{´}{w}}^{\ast }\left(\mathfrak{s}\right)|\le \stackrel{˚}{\mathrm{\eta }},\hfill \\ |\left[{}^{C}{\mathbb{D}}_{q}^{\nu }+r\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\sigma }\right]\stackrel{´}{w}\left(\mathfrak{s}\right)-{\phi }_{\stackrel{´}{w}}^{\ast }\left(\mathfrak{s}\right)|\le \mathrm{ɸ}\left(\mathfrak{s}\right),\hfill \end{array}$
(12)

and

$|\left[{}^{C}{\mathbb{D}}_{q}^{\nu }+r\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\sigma }\right]\stackrel{´}{w}\left(\mathfrak{s}\right)-{\phi }_{\stackrel{´}{w}}^{\ast }\left(\mathfrak{s}\right)|\le \stackrel{˚}{\mathrm{\eta }}\mathrm{ɸ}\left(\mathfrak{s}\right),$
(13)

where $$\mathring{\upeta}\in \mathbb{R}^{+}$$, and $$\upphi : \Omega \rightarrow \mathbb{R}_{+}$$ is a continuous function. We further define the UHS, GUHS, UHRS, and GUHS.

We say that problem (1) is

1. S1)

UHS if there is $$\omega _{\varphi}\in \mathbb{R}_{+}$$ such that for each $$\mathring{\upeta}>0$$ and each solution $$\acute{w} \in \mathcal{W}$$ of inequality (12), there exists a solution $$w\in \mathcal{W}$$ of problem (1) such that $$\Vert \acute{w} - w \Vert _{\mathcal{W}}\leq \omega _{ \varphi }\mathring{\upeta}$$;

2. S2)

GUHS if there is $$\chi _{\varphi } \in C(\mathbb{R}_{+}, \mathbb{R}_{+})$$, $$\chi _{ \varphi} (0 ) =0$$, such that for each solution $$\acute{w}\in \mathcal{W}$$ of inequality (12), there exists a solution $$w\in \mathcal{W}$$ of problem (1) such that $$\Vert \acute{w} - w \Vert _{\mathcal{W}}\leq \chi _{ \varphi }( \mathring{\upeta})$$;

3. S3)

UHRS with respect to $$\upphi \in C ( \Omega ,\mathbb{R}_{+} )$$ if there is $$\omega _{\varphi ,\upphi }>0$$ such that for each $$\mathring{\upeta} >0$$ and for each solution $$\acute{w}\in \mathcal{W}$$ of inequality (13), there exists a solution $$w\in \mathcal{W}$$ of problem (1) such that

$$\Vert \acute{w}-w \Vert _{\mathcal{W}}\leq \omega _{ \varphi ,\upphi } \mathring{\upeta} \upphi ( \mathfrak{s} ),\quad \mathfrak{s}\in \Omega ;$$
4. S4)

GUHRS with respect to $$\upphi \in C (\Omega ,\mathbb{R}_{+} )$$ if there is $$\omega _{\varphi ,\upphi }>0$$ such that for each solution $$\acute{w}\in \mathcal{W}$$ of inequality (12), there exists a solution $$w\in \mathcal{W}$$ of problem (1) such that

$$\Vert \acute{w}-w \Vert _{\mathcal{W}} \leq \omega _{ \varphi ,\upphi } \upphi ( \mathfrak{s} ),\quad \mathfrak{s}\in \Omega .$$

### Remark 4.1

A function $$\acute{w}\in W$$ is a solution of inequality (12) iff there is $$\hslash : \Omega \rightarrow \mathbb{R}$$ (which depends on ) such that $$\vert \hslash ( \mathfrak{s} ) \vert \leq \lambda$$ for all $$\mathfrak{s}\in \Omega$$ and

$\left[{}^{C}{\mathbb{D}}_{q}^{\nu }+r\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\sigma }\right]\stackrel{´}{w}\left(\mathfrak{s}\right)={\phi }_{\stackrel{´}{w}}^{\ast }\left(\mathfrak{s}\right)+\hslash \left(\mathfrak{s}\right),\phantom{\rule{1em}{0ex}}\mathfrak{s}\in \mathrm{\Omega }.$

### Theorem 4.1

Let $$\varphi :\Omega \times \mathbb{R}^{3}\rightarrow \mathbb{R}$$ be a continuous function satisfying condition (C1). If

$$\frac{\breve{\mu} }{\Gamma _{q} ( \nu +1 ) }+ \frac{r}{\Gamma _{q} ( \nu -\sigma +1 ) }< 1,$$
(14)

then problem (1) is UHS.

### Proof

Let $$\acute{w}\in \mathcal{W}$$ be a solution of inequality (12). Let us denote by $$w\in \mathcal{W}$$ the unique solution of the problem

$\left\{\begin{array}{c}\left[{}^{C}{\mathbb{D}}_{q}^{\nu }+r\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\sigma }\right]w\left(\mathfrak{s}\right)={\phi }_{\stackrel{´}{w}}^{\ast }\left(\mathfrak{s}\right),\phantom{\rule{1em}{0ex}}\mathfrak{s}\in \mathrm{\Omega },q\in \mathrm{J},\hfill \\ w\left(0\right)=\stackrel{´}{w}\left(0\right),\hfill \\ w\left(T\right)=\stackrel{´}{w}\left(T\right),\hfill \\ w\left(\eta \right)=\stackrel{´}{w}\left(\eta \right),\phantom{\rule{1em}{0ex}}\eta \in \mathrm{\Omega },\hfill \\ r>0,\phantom{\rule{1em}{0ex}}1<\nu \le 2,0<\sigma \le 1.\hfill \end{array}$

According to Lemma 3.1, we have

$w\left(\mathfrak{s}\right)={\mathbb{I}}_{q}^{\nu }{\mathrm{\psi }}_{w}\left(\mathfrak{s}\right)-r{\mathbb{I}}_{q}^{\nu -\sigma }w\left(\mathfrak{s}\right)+{a}_{0}\frac{{\mathfrak{s}}^{\nu -\sigma }}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}+{b}_{0},\phantom{\rule{1em}{0ex}}{a}_{0},{b}_{0}\in \mathbb{R},$

where $$\uppsi _{w} ( \mathfrak{s} ) =\varphi _{w}^{\ast } ( \mathfrak{s} )$$ for $$\mathfrak{s}\in \Omega$$. By integration of (12) we obtain

$\begin{array}{rl}& |\stackrel{´}{w}\left(\mathfrak{s}\right)-{\mathbb{I}}_{q}^{\nu }{\mathrm{\psi }}_{\stackrel{´}{w}}\left(\mathfrak{s}\right)+r{\mathbb{I}}_{q}^{\nu -\sigma }\stackrel{´}{w}\left(\mathfrak{s}\right)-{a}_{1}\frac{{\mathfrak{s}}^{\nu -\sigma }}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}-{b}_{1}|\\ & \phantom{\rule{1em}{0ex}}\le \frac{\stackrel{˚}{\mathrm{\eta }}{\mathfrak{s}}^{\nu }}{{\mathrm{\Gamma }}_{q}\left(\nu +1\right)}\le \frac{\stackrel{˚}{\mathrm{\eta }}{T}^{\nu }}{{\mathrm{\Gamma }}_{q}\left(\nu +1\right)}.\end{array}$
(15)

Then, for any $$\mathfrak{s}\in \bar{\mathrm{J}}$$, we have

$\begin{array}{rl}\stackrel{´}{w}\left(\mathfrak{s}\right)-w\left(\mathfrak{s}\right)& =\stackrel{´}{w}\left(\mathfrak{s}\right)-{\mathbb{I}}_{q}^{\nu }\left[{\mathrm{\psi }}_{w}\left(\mathfrak{s}\right)\right]+r{\mathbb{I}}_{q}^{\nu -\sigma }w\left(\mathfrak{s}\right)-{a}_{1}\frac{{\mathfrak{s}}^{\nu -\sigma }}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}-{b}_{1}\\ & \phantom{\rule{1em}{0ex}}+{\mathbb{I}}_{q}^{\nu }\left[{\mathrm{\psi }}_{\stackrel{´}{w}}\left(\mathfrak{s}\right)-{\mathrm{\psi }}_{w}\left(\mathfrak{s}\right)\right]-r{\mathbb{I}}_{q}^{\nu -\sigma }\left(\stackrel{´}{w}\left(\mathfrak{s}\right)-w\left(\mathfrak{s}\right)\right).\end{array}$

By (C1) and (15) we can write

$\begin{array}{rl}{\parallel \stackrel{´}{w}-w\parallel }_{\mathcal{W}}& \le |\stackrel{´}{w}\left(\mathfrak{s}\right)-{\mathbb{I}}_{q}^{\nu }\left[{\mathrm{\psi }}_{w}\left(\mathfrak{s}\right)\right]+r{\mathbb{I}}_{q}^{\nu -\sigma }w\left(\mathfrak{s}\right)-{a}_{1}\frac{{\mathfrak{s}}^{\nu -\sigma }}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}-{b}_{1}|\\ & \phantom{\rule{1em}{0ex}}+\frac{1}{{\mathrm{\Gamma }}_{q}\left(\nu \right)}{\int }_{0}^{\mathfrak{s}}{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -1\right)}|{\mathrm{\psi }}_{\stackrel{´}{w}}\left(\stackrel{}{\iota }\right)-{\mathrm{\psi }}_{w}\left(\stackrel{}{\iota }\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{1em}{0ex}}+\frac{r}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma \right)}{\int }_{0}^{\mathfrak{s}}{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -\sigma \right)}|\stackrel{´}{w}\left(\stackrel{}{\iota }\right)-w\left(\stackrel{}{\iota }\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \le \frac{\stackrel{˚}{\mathrm{\eta }}{T}^{\nu }}{{\mathrm{\Gamma }}_{q}\left(\nu +1\right)}+\frac{\stackrel{˘}{\mu }}{{\mathrm{\Gamma }}_{q}\left(\nu +1\right)}{\parallel \stackrel{´}{w}-w\parallel }_{\mathcal{W}}\\ & \phantom{\rule{1em}{0ex}}+\frac{r}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}{\parallel \stackrel{´}{w}-w\parallel }_{\mathcal{W}}.\end{array}$

This implies that

$$\Vert \acute{w}-w \Vert _{\mathcal{W}}\leq \frac{\mathring{\upeta} T^{\nu}}{\Gamma _{q} ( \nu +1 ) }+ \biggl( \frac{\breve{\mu} }{\Gamma _{q} ( \nu +1 ) } + \frac{r}{\Gamma _{q} ( \nu -\sigma +1 ) } \biggr) \Vert \acute{w}- w \Vert _{\mathcal{W}},$$

from which it follows that

$$\Vert \acute{w}- w \Vert _{\mathcal{W}} \biggl[ 1- \biggl( \frac{\breve{\mu} }{\Gamma _{q} ( \nu +1 ) } + \frac{r}{\Gamma _{q} ( \nu -\sigma +1 ) } \biggr) \biggr] \leq \frac{\mathring{\upeta} T^{\nu }}{\Gamma _{q} ( \nu +1 ) }.$$

Then

$$\Vert \acute{w}-w \Vert _{\mathcal{W}} \leq \frac{T^{\nu}}{\Gamma _{q} ( \nu +1 ) [ 1- ( \frac{\breve{\mu} }{\Gamma _{q} ( \nu +1 ) } + \frac{r}{\Gamma _{q} ( \nu -\sigma +1 ) } ) ] } \mathring{\upeta} :=\omega _{\varphi }\mathring{\upeta}.$$

Thus problem (1) is UHS. □

If we put $$\chi _{\varphi }= \omega _{\varphi }\mathring{\upeta}$$, $$\chi _{\varphi } ( 0 ) =0$$, then problem (1) is GUHS.

### Theorem 4.2

Let $$\varphi :\Omega \times \mathbb{R}^{3}\to \mathbb{R}$$ be a continuous function satisfying condition (C1), and let (14) hold. Suppose that there is $$\rho _{\upphi} >0$$ such that

$$\int _{0}^{\mathfrak{s}} \frac{ ( \mathfrak{s}- q \grave{\iota} )^{ ( \nu -1 ) }}{\Gamma _{q} ( \nu ) } \upphi ( \grave{\iota} )\, {\mathrm {d}}_{q}\grave{\iota} \leq \rho _{\upphi } \upphi (\mathfrak{s}),\quad \mathfrak{s}\in \Omega ,$$
(16)

where $$\upphi \in C(\Omega ,\mathbb{R}_{+})$$ is nondecreasing. Then problem (1) is UHRS.

### Proof

Let $$\acute{w}\in \mathcal{W}$$ is a solution of inequality (13). By Remark 4.1 we have

$\begin{array}{rl}& |\stackrel{´}{w}\left(\mathfrak{s}\right)-{\mathbb{I}}_{q}^{\nu }{\mathrm{\psi }}_{\stackrel{´}{w}}\left(\mathfrak{s}\right)+r{\mathbb{I}}_{q}^{\nu -\sigma }\stackrel{´}{w}\left(\mathfrak{s}\right)-\frac{{\mathfrak{s}}^{\nu -\sigma }{a}_{1}}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}-{b}_{1}|\\ & \phantom{\rule{1em}{0ex}}\le \stackrel{˚}{\mathrm{\eta }}{\int }_{0}^{\mathfrak{s}}\frac{{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -1\right)}}{{\mathrm{\Gamma }}_{q}\left(\nu \right)}\mathrm{ɸ}\left(\stackrel{}{\iota }\right)\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }.\end{array}$

Let $$w\in \mathcal{W}$$ be the unique solution of the problem

$\left\{\begin{array}{c}\left[{}^{C}{\mathbb{D}}_{q}^{\nu }+r\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\sigma }\right]w\left(\mathfrak{s}\right)={\phi }_{\stackrel{´}{w}}^{\ast }\left(\mathfrak{s}\right),\phantom{\rule{1em}{0ex}}\mathfrak{s}\in \mathrm{\Omega },q\in \mathrm{J},\hfill \\ w\left(0\right)=\stackrel{´}{w}\left(0\right),\hfill \\ w\left(T\right)=\stackrel{´}{w}\left(T\right),\hfill \\ w\left(\eta \right)=\stackrel{´}{w}\left(\eta \right),\phantom{\rule{1em}{0ex}}\eta \in \mathrm{\Omega },\hfill \\ r>0,\phantom{\rule{1em}{0ex}}1<\nu \le 2,0<\sigma \le 1.\hfill \end{array}$

So by Lemma 3.1 we have

$w\left(\mathfrak{s}\right)={\mathbb{I}}_{q}^{\nu }{\mathrm{\psi }}_{w}\left(\mathfrak{s}\right)+r{\mathbb{I}}_{q}^{\nu -\sigma }w\left(\mathfrak{s}\right)-{a}_{0}\frac{{\mathfrak{s}}^{\nu -\sigma }}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}-{b}_{0}.$

Then we get

$\begin{array}{rl}{\parallel \stackrel{´}{w}-w\parallel }_{\mathcal{W}}& \le |\stackrel{´}{w}\left(\mathfrak{s}\right)-{\mathbb{I}}_{q}^{\nu }{\mathrm{\psi }}_{\stackrel{´}{w}}\left(\mathfrak{s}\right)+r{\mathbb{I}}_{q}^{\nu -\sigma }\stackrel{´}{w}\left(\mathfrak{s}\right)-{a}_{1}\frac{{\mathfrak{s}}^{\nu -\sigma }}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma +1\right)}-{b}_{1}|\\ & \phantom{\rule{1em}{0ex}}+{\mathbb{I}}_{q}^{\nu }\left[|{\mathrm{\psi }}_{z}\left(\mathfrak{s}\right)-{\mathrm{\psi }}_{w}\left(\mathfrak{s}\right)|\right]+r{\mathbb{I}}^{\nu -\sigma }|\stackrel{´}{w}\left(\mathfrak{s}\right)-w\left(\mathfrak{s}\right)|,\\ & \le \stackrel{˚}{\mathrm{\eta }}{\int }_{0}^{\mathfrak{s}}\frac{{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -1\right)}}{{\mathrm{\Gamma }}_{q}\left(\nu \right)}\mathrm{ɸ}\left(\stackrel{}{\iota }\right)\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{1em}{0ex}}+\frac{1}{{\mathrm{\Gamma }}_{q}\left(\nu \right)}{\int }_{0}^{\mathfrak{s}}{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -1\right)}|{\mathrm{\psi }}_{\stackrel{´}{w}}\left(\stackrel{}{\iota }\right)-{\mathrm{\psi }}_{w}\left(\stackrel{}{\iota }\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{}{\iota }\\ & \phantom{\rule{1em}{0ex}}+\frac{r}{{\mathrm{\Gamma }}_{q}\left(\nu -\sigma \right)}{\int }_{0}^{\mathfrak{s}}{\left(\mathfrak{s}-q\stackrel{}{\iota }\right)}^{\left(\nu -\sigma -1\right)}|\left(\stackrel{´}{w}\left(\stackrel{}{\iota }\right)-w\left(\stackrel{}{\iota }\right)\right)|\phantom{\rule{0.2em}{0ex}}{\mathrm{d}}_{q}\stackrel{`}{\iota }.\end{array}$

From (C1) and (16) we can write

$$\Vert \acute{w}-w \Vert _{\mathcal{W}} \leq \mathring{\upeta} \rho _{\upphi } \upphi (\mathfrak{s}) + \biggl( \frac{\breve{\mu} }{\Gamma _{q} ( \nu +1 ) }+ \frac{r}{\Gamma _{q} ( \nu -\sigma +1 ) } \biggr) \Vert \acute{w}-w \Vert _{ \mathcal{W}}.$$

Indeed,

$$\Vert \acute{w}-w \Vert _{\mathcal{W}} \biggl[ 1- \biggl( \frac{\breve{\mu} }{\Gamma _{q} ( \nu +1 ) } + \frac{r}{ \Gamma _{q} ( \nu -\sigma +1 ) } \biggr) \biggr] \leq \mathring{ \upeta} \rho _{\upphi } \upphi (\mathfrak{s}).$$

Then

\begin{aligned} \Vert \acute{w}- w \Vert _{\mathcal{W}} & \leq \biggl[ \frac{\rho _{\upphi }}{ 1 - (\frac{\breve{\mu} }{\Gamma _{q} ( \nu + 1 ) } +\frac{r}{\Gamma _{q} (\nu -\sigma +1 ) } ) } \biggr] \mathring{\upeta} \upphi (\mathfrak{s}) \\ & = \omega _{\varphi ,\upphi } \mathring{\upeta} \upphi ( \mathfrak{s} ),\quad \mathfrak{s}\in \Omega . \end{aligned}

Hence problem (1) is stable in the UHR sense. □

## An illustrative example

### Example 5.1

Based on problem (1), we consider the following FqDE:

$\left\{\begin{array}{c}\left[{}^{C}{\mathbb{D}}_{q}^{\frac{7}{4}}+\frac{1}{50}\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\frac{4}{5}}\right]w\left(\mathfrak{s}\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\frac{2}{13}+\frac{{20}^{2}}{{63}^{2}{\pi }^{2}}arctan\left(3\pi w\left(\mathfrak{s}\right)\right)+\frac{1}{{15}^{2}\pi }sin\left(\mathfrak{s}\right)w\left(\frac{5}{6}\mathfrak{s}\right)\hfill \\ \phantom{\rule{2em}{0ex}}+\frac{1}{{15}^{2}\pi }\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}^{\frac{3}{4}}w\left(\frac{5}{6}\mathfrak{s}\right),\phantom{\rule{1em}{0ex}}\mathfrak{s}\in \stackrel{‾}{\mathrm{\Omega }}=\left[0,1\right],\hfill \\ w\left(0\right)=0,\hfill \\ \frac{1}{15}w\left(1\right)-\frac{6}{17}w\left(\frac{3}{4}\right)=\frac{\sqrt{7}}{8}.\hfill \end{array}$
(17)

and the q-fractional inequalities

$\begin{array}{c}|\left[{}^{C}{\mathbb{D}}_{q}^{\frac{7}{4}}+\frac{1}{11}\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\frac{4}{5}}\right]\stackrel{´}{w}\left(\mathfrak{s}\right)-\phi \left(\mathfrak{s},\stackrel{´}{w}\left(\mathfrak{s}\right),\stackrel{´}{w}\left(\frac{5}{6}\mathfrak{s}\right),{}^{C}{\mathbb{D}}_{q}^{\frac{4}{5}}\stackrel{´}{w}\left(\frac{5}{6}\mathfrak{s}\right)\right)|\le \stackrel{˚}{\mathrm{\eta }},\hfill \\ |\left[{}^{C}{\mathbb{D}}_{q}^{\frac{7}{4}}+\frac{1}{11}\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\frac{4}{5}}\right]\stackrel{´}{w}\left(\mathfrak{s}\right)-\phi \left(\mathfrak{s},\stackrel{´}{w}\left(\mathfrak{s}\right),\stackrel{´}{w}\left(\frac{5}{6}\mathfrak{s}\right),{}^{C}{\mathbb{D}}_{q}^{\frac{4}{5}}\stackrel{´}{w}\left(\frac{5}{6}\mathfrak{s}\right)\right)|\le \stackrel{˚}{\mathrm{\eta }}\mathrm{ɸ}\left(\mathfrak{s}\right)\hfill \end{array}$

for $$q\in \bar{\mathrm{J}}= [0,1]$$. It is clear that $$\nu = \frac{7}{4} \in (1, 2]$$, $$r=\frac{1}{50} \in \mathbb{R}^{+}$$, $$\sigma =\frac{4}{5}\in (0, 1]$$, $$\uptheta = \frac{5}{6} \in \bar{\mathrm{J}}$$, $$T=1$$, and

$\begin{array}{rl}& \phi \left(\mathfrak{s},w\left(\mathfrak{s}\right),w\left(\frac{5}{6}\mathfrak{s}\right),{}^{C}{\mathbb{D}}_{q}^{\frac{4}{5}}w\left(\frac{5}{6}\mathfrak{s}\right)\right)\\ & \phantom{\rule{1em}{0ex}}=\frac{2}{13}+\frac{{20}^{2}}{{63}^{2}{\pi }^{2}}arctan\left(3\pi w\left(\mathfrak{s}\right)\right)\\ & \phantom{\rule{2em}{0ex}}+\frac{1}{{15}^{2}\pi }sin\left(\mathfrak{s}\right)w\left(\frac{5}{6}\mathfrak{s}\right)+\frac{1}{{15}^{2}\pi }\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\frac{3}{4}}w\left(\frac{5}{6}\mathfrak{s}\right).\end{array}$

For any $$w_{i}, \acute{w}_{i}\in \mathbb{R}^{3}$$, $$i=1,2,3$$, and $$\mathfrak{s}\in \overline{\Omega}$$, we can write

$\begin{array}{rl}& |\phi \left(\mathfrak{s},{w}_{1},{w}_{2},{w}_{3}\right)-\phi \left(\mathfrak{s},{\stackrel{´}{w}}_{1},{\stackrel{´}{w}}_{2},{\stackrel{´}{w}}_{3}\right)|\\ & \phantom{\rule{1em}{0ex}}=|\frac{2}{13}+\frac{{20}^{2}}{{63}^{2}{\pi }^{2}}arctan\left(3\pi w\left(\mathfrak{s}\right)\right)\\ & \phantom{\rule{2em}{0ex}}+\frac{1}{{15}^{2}\pi }sin\left(\mathfrak{s}\right)w\left(\frac{5}{6}\mathfrak{s}\right)+\frac{1}{{15}^{2}\pi }\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\frac{3}{4}}w\left(\frac{5}{6}\mathfrak{s}\right)\\ & \phantom{\rule{2em}{0ex}}-\left(\frac{2}{13}+\frac{{20}^{2}}{{63}^{2}{\pi }^{2}}arctan\left(3\pi \stackrel{´}{w}\left(\mathfrak{s}\right)\right)\\ & \phantom{\rule{2em}{0ex}}+\frac{1}{{15}^{2}\pi }sin\left(\mathfrak{s}\right)\stackrel{´}{w}\left(\frac{5}{6}\mathfrak{s}\right)+\frac{1}{{15}^{2}\pi }\phantom{\rule{0.2em}{0ex}}{}^{C}{\mathbb{D}}_{q}^{\frac{3}{4}}\stackrel{´}{w}\left(\frac{5}{6}\mathfrak{s}\right)\right)|\\ & \phantom{\rule{1em}{0ex}}=\frac{{20}^{2}}{{63}^{2}{\pi }^{2}}|arctan\left(3\pi w\left(\mathfrak{s}\right)\right)-arctan\left(3\pi \stackrel{´}{w}\left(\mathfrak{s}\right)\right)|\\ & \phantom{\rule{2em}{0ex}}+\frac{1}{{15}^{2}\pi }|sin\left(\mathfrak{s}\right)w\left(\frac{5}{6}\mathfrak{s}\right)-sin\left(\mathfrak{s}\right)\stackrel{´}{w}\left(\frac{5}{6}\mathfrak{s}\right)|\\ & \phantom{\rule{2em}{0ex}}+\frac{1}{{15}^{2}\pi }|{}^{C}{\mathbb{D}}_{q}^{\frac{3}{4}}w\left(\frac{5}{6}\mathfrak{s}\right)-{}^{C}{\mathbb{D}}_{q}^{\frac{3}{4}}\stackrel{´}{w}\left(\frac{5}{6}\mathfrak{s}\right)|\\ & \phantom{\rule{1em}{0ex}}\le \frac{1}{{15}^{2}\pi }\sum _{i=1}^{3}|{w}_{i}-{\stackrel{´}{w}}_{i}|.\end{array}$

Hence condition (C1) holds with $$\breve{\mu} = \frac{1}{15^{2} \pi}$$. Now we discuss problem (17) for

$$q = \biggl\{ \frac{1}{7}, \frac{1}{2}, \frac{8}{9} \biggr\} .$$

By using equations (10), assuming that

\begin{aligned} &r = \frac{1}{50}\in \mathbb{R},\qquad \lambda _{1} = \frac{1}{15} \in \mathbb{R}, \qquad \lambda _{2} = \frac{6}{17} \in \mathbb{R}, \\ &\Lambda = \frac{\sqrt{7}}{8} \in \mathbb{R}, \qquad \eta =\frac{3}{4} \in \mathbb{R}\end{aligned}

in (17), and applying the MATLAB program (Algorithm 1), we have

\begin{aligned}& \begin{aligned} \nabla _{1} &=\frac{1}{\Gamma _{q} ( \nu +1 ) } \biggl[ T^{ \nu} + \frac{ T^{\nu -\sigma}}{ \vert \lambda _{1} T^{\nu -\sigma} - \lambda _{2} \eta ^{\nu -\sigma} \vert } \bigl( \vert \lambda _{2} \vert \eta ^{\nu }+ \vert \lambda _{1} \vert T^{\nu } \bigr) \biggr] \\ & =\frac{1}{\Gamma _{q} ( \frac{7}{4} +1 ) } \biggl[ 1 + \frac{ 1}{ \vert \frac{1}{15} - \frac{6}{17} (\frac{3}{4} )^{\frac{7}{4} -\frac{4}{5}} \vert } \biggl( \biggl\vert \frac{6}{17} \biggr\vert \biggl(\frac{3}{4} \biggr)^{\frac{7}{4}} + \biggl\vert \frac{1}{15} \biggr\vert \biggr) \biggr] \\ &\simeq \textstyle\begin{cases} 2.09415, & q= \frac{1}{7}, \\ 1.26217, & q= \frac{1}{2}, \\ 0.28702, & q= \frac{8}{9}, \end{cases}\displaystyle \end{aligned} \\& \begin{aligned} \nabla _{2} &=\frac{r}{ \Gamma _{q} ( \nu -\sigma +1 ) } \biggl[ T^{\nu -\sigma } + \frac{ T^{\nu -\sigma}}{ \vert \lambda _{1} T^{\nu -\sigma} - \lambda _{2}\eta ^{\nu -\sigma} \vert } \bigl( \vert \lambda _{2} \vert \eta ^{\nu -\sigma} + \vert \lambda _{1} \vert T^{\nu -\sigma} \bigr) \biggr] \\ & = \frac{\frac{1}{50}}{ \Gamma _{q} ( \frac{7}{4} -\frac{4}{5} +1 ) } \biggl[ 1 + \frac{1 }{ \vert \frac{1}{15} - \frac{6}{17} \times (\frac{3}{4} )^{\frac{7}{4} -\frac{4}{5}} \vert } \biggl( \biggl\vert \frac{6}{17} \biggr\vert \biggl(\frac{3}{4} \biggr)^{\frac{7}{4} -\frac{4}{5}} + \biggl\vert \frac{1}{15} \biggr\vert \biggr) \biggr] \\ &\simeq \textstyle\begin{cases} 0.04507, & q= \frac{1}{7}, \\ 0.02601, & q= \frac{1}{2}, \\ 0.00574, & q= \frac{8}{9}, \end{cases}\displaystyle \end{aligned} \\& \begin{aligned} \Pi _{1} &= \frac{T^{\nu -\sigma}}{\Gamma _{q} ( \nu -\sigma +1 ) } + \frac{\Gamma _{q} ( \nu -\sigma +1 ) T^{\nu -2\sigma }}{ \vert \lambda _{1}T^{\nu -\sigma}-\lambda _{2}\eta ^{\nu -\sigma} \vert \Gamma _{q} ( \nu -2\sigma +1 )} \\ &\quad {} \times \biggl( \frac{ \vert \lambda _{2} \vert \eta ^{\nu }}{ \Gamma _{q} ( \nu +1 ) }+ \frac{ \vert \lambda _{1} \vert T^{\nu}}{\Gamma _{q} ( \nu +1 ) } \biggr) \\ & = \frac{1}{\Gamma _{q} ( \frac{7}{4} -\frac{4}{5}+1 ) } + \frac{\Gamma _{q} ( \frac{7}{4} -\frac{4}{5} +1 ) }{ \vert \frac{1}{15} - \frac{6}{17} \times (\frac{3}{4} )^{\frac{7}{4} -\frac{4}{5}} \vert \Gamma _{q} ( \frac{7}{4} - 2\times \frac{4}{5} +1 )} \\ &\quad {} \times \biggl( \frac{ \vert \frac{6}{17} \vert (\frac{3}{4} )^{\frac{7}{4} }}{\Gamma _{q} ( \frac{7}{4} +1 ) } + \frac{ \vert \frac{1}{15} \vert }{\Gamma _{q} ( \frac{7}{4}+1 ) } \biggr) \\ & \simeq \textstyle\begin{cases} 1.21962, & q= \frac{1}{7}, \\ 0.64445, & q= \frac{1}{2}, \\ 0.13680, & q= \frac{8}{9}, \end{cases}\displaystyle \end{aligned} \\& \Pi _{2} = \frac{rT^{\nu -2\sigma }}{\Gamma _{q} ( \nu -2\sigma +1 ) } + \frac{\Gamma _{q} ( \nu -\sigma +1 ) T^{\nu -2\sigma}}{ \vert \lambda _{1}T^{\nu -\sigma}-\lambda _{2}\eta ^{\nu -\sigma} \vert \Gamma _{q} ( \nu -2\sigma +1 ) } \\ & \hphantom{\Pi _{2} ={}} {} \times \biggl( \frac{ \vert \lambda _{2} \vert \eta ^{\nu -\sigma}}{\Gamma _{q} ( \nu -\sigma +1 ) }+ \frac{ \vert \lambda _{1} \vert T^{\nu -\sigma}}{\Gamma _{q} ( \nu -\sigma +1 ) } \biggr) \\ & \hphantom{\Pi _{2} } = \frac{ \frac{1}{50}}{\Gamma _{q} ( \frac{7}{4} - \frac{8}{5} +1 ) } + \frac{\Gamma _{q} ( \frac{7}{4} - \frac{4}{5}+1 ) }{ \vert \frac{1}{15} - \frac{6}{17} \times ( \frac{3}{4} )^{ \frac{7}{4} - \frac{4}{5}} \vert \Gamma _{q} ( \frac{7}{4} - \frac{8}{5} +1 ) } \\ & \hphantom{\Pi _{2} ={}} \times \biggl( \frac{ \vert \frac{6}{17} \vert ( \frac{3}{4} )^{ \frac{7}{4} - \frac{4}{5}}}{ \Gamma _{q} ( \frac{7}{4} - \frac{4}{5} +1 ) } + \frac{ \vert \frac{1}{15} \vert }{ \Gamma _{q} ( \frac{7}{4} - \frac{4}{5}+1 )} \biggr) \\ & \hphantom{\Pi _{2} } \simeq \textstyle\begin{cases} 0.43588, & q= \frac{1}{7}, \\ 0.17436, & q= \frac{1}{2}, \\ 0.03143, & q= \frac{8}{9}. \end{cases}\displaystyle \end{aligned}

Tables 1, 2, and 3 show these results. Also, we can see a graphical representation of $$\nabla _{i}$$, $$\Pi _{i}$$ ($$i=1,2$$) and Σ in Figs. 1, 2, and 3. Using the given data, we find that

$$\Sigma = ( 2\nabla _{1}+\Pi _{1} ) \breve{\mu} + \nabla _{2}+ \Pi _{2} \simeq \begin{Bmatrix} 0.48860, & q= \frac{1}{7}, \\ 0.20485, & q= \frac{1}{2}, \\ 0.03817, & q= \frac{8}{9}, \end{Bmatrix} < 1,$$

Hence by Theorem 3.2 problem (17) has a unique solution. Also, from (14) we have

$$\breve{\Sigma} = \frac{ \breve{\mu} }{ \Gamma _{q} ( \nu +1 ) } + \frac{r}{\Gamma _{q} ( \nu -\sigma +1 ) } \simeq \begin{Bmatrix} 0.01818, & q= \frac{1}{7}, \\ 0.01052, & q= \frac{1}{2}, \\ 0.00233, & q= \frac{8}{9}, \end{Bmatrix} < 1.$$

Table 4 and Fig. 4 show these results and graphical representation of Σ̆ respectively. So by Theorem 4.1 problem (17) is UHS such that

\begin{aligned} \Vert \acute{w} - w \Vert _{\mathcal{W}} & \leq \frac{T^{\nu}}{\Gamma _{q} ( \nu +1 ) [ 1- ( \frac{\breve{\mu} }{\Gamma _{q} ( \nu +1 ) } + \frac{r}{\Gamma _{q} ( \nu -\sigma +1 ) } ) ] } \mathring{\upeta} \\ & = \frac{1}{\Gamma _{q} ( \frac{7}{4}+1 ) [ 1 - ( \frac{\breve{\mu} }{\Gamma _{q} ( \frac{7}{4} +1 ) } + \frac{\frac{1}{50}}{\Gamma _{q} ( \frac{7}{4} -\frac{4}{5} +1 ) } ) ] } \mathring{\upeta} \\ &=\omega _{\varphi }\mathring{\upeta}\simeq \textstyle\begin{cases} 0.89356 \mathring{\upeta}, & q= \frac{1}{7}, \\ 0.53439\mathring{\upeta}, & q= \frac{1}{2}, \\ 0.12046\mathring{\upeta}, & q= \frac{8}{9}. \end{cases}\displaystyle \end{aligned}

Let $$\upphi ( \mathfrak{s} ) = \mathfrak{s}^{2}$$. Then

\begin{aligned} \int _{0}^{\mathfrak{s}} \frac{ ( \mathfrak{s} - q\grave{\iota} )^{ ( \nu -1 ) }}{\Gamma _{q} ( \nu ) } \upphi ( \grave{\iota})\, {\mathrm {d}}_{q}\grave{\iota} &= \int _{0}^{ \mathfrak{s}} \frac{ ( \mathfrak{s} -q\grave{\iota} )^{ ( \frac{7}{4} - 1 ) }}{\Gamma _{q} ( \frac{7}{4} )} \grave{ \iota}^{2}\, {\mathrm {d}}_{q} \grave{\iota} \\ & \leq \textstyle\begin{cases} 0.88636, & q= \frac{1}{7}, \\ 0.64374, & q= \frac{1}{2}, \\ 0.46437, & q= \frac{8}{9} \end{cases}\displaystyle \\ & \leq \rho _{\upphi}\times \mathfrak{s}^{2} = \rho _{\upphi} \upphi ( \mathfrak{s} ). \end{aligned}

Thus condition (16) is satisfied with $$\upphi ( \mathfrak{s} ) =\mathfrak{s}^{2}$$ and

$$\rho _{\upphi}=0.88636, 0.64374, 0.46437$$

for $$q \in \{\frac{1}{7}, \frac{1}{2}, \frac{8}{9} \}$$, respectively. Table 5 shows these results. Also, we can see a graphical representation of

$$\int _{0}^{\mathfrak{s}} \frac{ ( \mathfrak{s} - q\grave{\iota} )^{ ( \nu -1 ) }}{\Gamma _{q} ( \nu ) } \upphi ( \grave{\iota})\, {\mathrm {d}}_{q}\grave{\iota}$$

for $$\mathfrak{s} \in \Omega$$ with step 0.1 in Fig. 5. From Theorem 4.2 it follows that problem (17) is UHRS such that

$$\Vert \acute{w}-w \Vert _{\mathcal{W}} \leq \omega _{ \varphi ,\upphi } \mathring{\upeta} \upphi ( \mathfrak{s} ),\quad \mathfrak{s}\in \Omega .$$

## Conclusion

In this research work, we have discussed the uniqueness and Ulam-type stability of solutions of sequential FPqDEs. We have established the uniqueness by applying Banach’s contraction mapping principle. Furthermore, studied the stability in the sense of UHS and UHRS. We have also provided an example to illustrate our results.

## Availability of data and materials

Data sharing not applicable to this paper as no datasets were generated or analyzed during the current study.

## References

1. Agarwal, R.P.: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 66, 365–370 (1965). https://doi.org/10.1017/S0305004100045060

2. Annaby, M.H., Mansour, Z.S.: q-Fractional Calculus and Equations. Springer, Cambridge (2012). https://doi.org/10.1007/978-3-642-30898-7

3. Adjabi, Y., Samei, M.E., Matar, M.M., Alzabut, J.: Langevin differential equation in frame of ordinary and Hadamard fractional derivatives under three point boundary conditions. AIMS Math. 6(3), 2796–2843 (2021)

4. Abdeljawad, T., Samei, M.E.: Applying quantum calculus for the existence of solution of q-integro-differential equations with three criteria. Discrete Contin. Dyn. Syst., Ser. S 14(10), 3351–3386 (2021)

5. Abdeljawad, T., Baleanu, D.: Caputo q-fractional initial value problems and a q-analogue Mittag-Leffler function. Commun. Nonlinear Sci. Numer. Simul. 16(12), 4682–4688 (2011). https://doi.org/10.1016/j.cnsns.2011.01.026

6. Rezapour, S., Samei, M.E.: On the existence of solutions for a multi-singular pointwise defined fractional q-integro-differential equation. Bound. Value Probl. 2020, 38 (2020). https://doi.org/10.1186/s13661-020-01342-3

7. Samei, M.E., Rezapour, S.: On a system of fractional q-differential inclusions via sum of two multi-term functions on a time scale. Bound. Value Probl. 2020, 135 (2020). https://doi.org/10.1186/s13661-020-01433-1

8. Rajković, P.M., Marinković, S.D., Stanković, M.S.: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1, 311–323 (2007)

9. Abbas, S., Benchohra, M., Laledj, N., Zhou, Y.: Existence and Ulam stability for implicit fractional q-difference equations. Adv. Differ. Equ. 2019, 48 (2019)

10. Kaabar, M.K.A., Kalvandi, V., Eghbali, N., Samei, M.E., Siri, Z., Martínez, F.: A generalized ML–Hyers–Ulam stability of quadratic fractional integral equation. Nonlinear Eng. 10, 414–427 (2021)

11. Etemad, S., Rezapour, S., Samei, M.E.: α-ψ-contractions and solutions of a q-fractional differential inclusion with three-point boundary value conditions via computational results. Adv. Differ. Equ. 2020, 218 (2020)

12. Ntouyas, S.K., Samei, M.E.: Existence and uniqueness of solutions for multi-term fractional q-integro-differential equations via quantum calculus. Adv. Differ. Equ. 2019, 475 (2019). https://doi.org/10.1186/s13662-019-2414-8

13. Ahmad, B., Ntouyas, S.K., Alsaedi, A.: Sequential fractional differential equations and inclusions with semi-periodic and nonlocal integro-multipoint boundary conditions. J. King Saud Univ., Sci. 31, 184–193 (2019)

14. Aqlan, M.H., Alsaedi, A., Ahmad, B., Nieto, J.J.: Existence theory for sequential fractional differential equations with anti-periodic type boundary conditions. Open Math. 14, 723–735 (2016)

15. Etemad, S., Rezapour, S., Samei, M.E.: On a fractional Caputo–Hadamard inclusion problem with sum boundary value conditions by using approximate endpoint property. Math. Methods Appl. Sci. 43(17), 9719–9734 (2020)

16. Alzabut, J., Selvam, A.G.M., El-Nabulsi, R.A., Dhakshinamoorthy, V., Samei, M.E.: Asymptotic stability of nonlinear discrete fractional pantograph equations with non-local initial conditions. Symmetry 13(3), 473 (2021). https://doi.org/10.1186/10.3390/sym13030473

17. Derfel, G.A., Iserles, A.: The pantograph equation in the complex plane. J. Math. Anal. Appl. 213, 117–132 (1997)

18. Mishra, S.K., Samei, M.E., Chakraborty, S.K., Ram, B.: On q-variant of Dai–Yuan conjugate gradient algorithm for unconstrained optimization problems. Nonlinear Dyn. 104, 2471–2496 (2021). https://doi.org/10.1007/s11071-021-06378-3

19. Balachandran, K., Kiruthika, S., Trujillo, J.J.: Existence of solutions of nonlinear fractional pantograph equations. Acta Math. Sci. 33, 1–9 (2013)

20. Devaraj, V., Kanagarajan, K., Sivasundaram, S.: Dynamics and stability of q-fractional order pantograph equations with nonlocal condition. J. Math. Stat. 14(1), 64–71 (2018)

21. Guida, K., Ibnelazyz, L., Hilal, K., Melliani, S.: Existence and uniqueness results for sequential ψ-Hilfer fractional pantograph differential equations with mixed nonlocal boundary conditions. AIMS Math. 6(8), 8239–8255 (2021)

22. Kac, V., Cheung, P.: Quantum Calculus. Universitext. Springer, New York (2002). https://doi.org/10.1007/978-1-4613-0071-7-1

23. Samei, M.E., Zanganeh, H., Aydogan, S.M.: Investigation of a class of the singular fractional integro-differential quantum equations with multi-step methods. J. Math. Ext. 17(1), 1–545 (2021)

24. Hajiseyedazizi, S.N., Samei, M.E., Alzabut, J., Chu, Y.: On multi-step methods for singular fractional q-integro-differential equations. Open Math. 19, 1378–1405 (2021). https://doi.org/10.1515/math-2021-0093

25. Adams, C.R.: The general theory of a class of linear partial q-difference equations. Trans. Am. Math. Soc. 26, 283–312 (1924)

26. Rajković, P.M., Marinković, S.D., Stanković, M.S.: On q-analogues of Caputo derivative and Mittag-Leffler function. Fract. Calc. Appl. Anal. 10, 359–373 (2007)

## Acknowledgements

The third author was supported by Bu-Ali Sina University.

Not applicable.

## Author information

Authors

### Contributions

MH: Actualization, methodology, formal analysis, validation, investigation, and initial draft. FM: Actualization, validation, methodology, formal analysis, investigation, and initial draft. MES: Actualization, methodology, formal analysis, validation, investigation, software, simulation, initial draft; he was the major contributor in writing the manuscript. MKAK: Actualization, methodology, formal analysis, validation, investigation, initial draft, supervision of the original draft, and editing. All authors read and approved the final manuscript.

### Corresponding authors

Correspondence to Mohammad Esmael Samei or Mohammed K. A. Kaabar.

## Ethics declarations

Not applicable.

Not applicable.

### Competing interests

The authors declare that they have no competing interests.

## Appendix

### Algorithm 1

(MATLAB lines for calculation $$\nabla _{i}$$, $$\Pi _{i}$$, and Σ, Σ̆ in Example 5.1)

## Rights and permissions 