# Explicit iteration and unbounded solutions for fractional q–difference equations with boundary conditions on an infinite interval

## Abstract

In this work, a proposed system of fractional boundary value problems is investigated concerning its unbounded solutions’ existence for a class of nonlinear fractional q-difference equations in the context of the Riemann–Liouville fractional q-derivative on an infinite interval. The system’s solution is formulated with the help of Green’s function. A compactness criterion is established in a special space. All the obtained results of uniqueness and existence are investigated with the help of fixed-point theorems. Some essential examples are illustrated to support our main outcomes.

## 1 Introduction

Fractional differential equations are much better than integer ones with respect to their nature in the descriptions of phenomena and processes of several scientific and engineering phenomena. Various studies of fractional differential equations have been recently conducted in the context of fractional-order derivatives such as the Riemann–Liouville fractional derivative and the Caputo fractional derivative.

Fractional calculus and q-calculus in general, and fractional differential equations in particular, are well established in current research works. Fractional calculus belongs to a large portion of mathematical analysis. The notion of q-difference equations goes back to 1910, where it was introduced by Jackson [1]. In the past decades, the subject has attracted many authors, and q-difference equations have appeared as a promising research field, on both applied and theoretical levels (see [27]). For more details on this subject, refer to [820].

Recently, fractional boundary value problems on both bounded and unbounded domains have been extensively investigated (see [2129]). On the one hand, a large number of research works on fractional calculus are dedicated to the fractional differential equations’ solvability on a finite interval. On the other hand, fractional boundary value problems on an infinite interval have been rarely studied (see [3038]). Arara et al. [30] investigated the bounded solutions’ existence for fractional differential equations in the sense of the Caputo fractional derivative on the unbounded domain expressed as:

\begin{aligned} \textstyle\begin{cases} {}^{c}{ \mathbb{D}}_{0}^{\varsigma } \wp (\mathfrak{t})=\mathfrak{w}( \mathfrak{t}, \wp (\mathfrak{t})),\quad \mathfrak{t} \geq 0, \\ \wp (0) = \wp _{0}, \\ \wp \text{ is bounded on } \jmath:=[0, \infty ), \end{cases}\displaystyle \end{aligned}

where $$\varsigma \in (1,2), {}^{c} { \mathbbm{ }\mathbb{D}}_{0^{+}}^{\varsigma }$$ is the Caputo fractional derivative of order $$\varsigma, \wp _{0} \in \mathbb{R}$$, and $$\mathfrak{w}: \jmath \times \mathbb{R} \rightarrow \mathbb{R}$$ is continuous. From a combined Schauder fixed-point theorem with a diagonalization method, Su [31] discussed the solutions’ existence for the following fractional boundary value problem:

\begin{aligned} \textstyle\begin{cases} { \mathbbm{ }\mathbb{D}}_{0^{+}}^{\varsigma } \wp (\mathfrak{t}) = \mathfrak{w}( \mathfrak{t}, \wp (\mathfrak{t})), \quad \mathfrak{t} \in \jmath, \\ \wp (0)=0, \qquad { \mathbb{D}}_{0^{+}}^{\varsigma - 1} \wp (\infty ) = \wp _{\infty }, \end{cases}\displaystyle \end{aligned}

where $$1<\varsigma \leq 2$$, $$\mathfrak{w} \in \mathcal{C}(\jmath \times \mathbb{E}, \mathbb{E}), \wp _{\infty } \in \mathbb{E}$$, $${ \mathbbm{ }\mathbb{D}}_{0^{+}}^{\varsigma }$$ and $${ \mathbb{D}}_{0^{+}}^{\varsigma -1}$$ are Riemann–Liouville fractional derivatives. The applied technique relies on the Kuratowski measure properties of noncompactness and the Darbo fixed-point theorem on infinite intervals in Banach space. Zhao et al. [32] proved the positive solutions’ existence for the following fractional differential equation:

\begin{aligned} \textstyle\begin{cases} { \mathbbm{ }\mathbb{D}}_{0+}^{\varsigma } \wp (\mathfrak{t}) + \mathfrak{w}( \mathfrak{t}, \wp (\mathfrak{t}))=0, \quad \mathfrak{t} \in \jmath, \\ \wp (0)=0,\qquad \lim_{\mathfrak{t} \to +\infty } { \mathbb{D}}_{0+}^{\varsigma -1} \wp (\mathfrak{t}) = \beta \wp (\nu ), \end{cases}\displaystyle \end{aligned}

via the Leray–Schauder nonlinear alternative theorem, where $$1<\varsigma \leq 2$$, $$\mathfrak{w} \in \mathcal{C}(\jmath \times \mathbb{R}, \jmath ), 0 \leq \nu < \infty$$ and $${ \mathbb{D}}_{0+}^{\varsigma }$$ is the usual Riemann–Liouville fractional derivative. Zhao et al. [2] investigated the fractional multipoint boundary value problem:

\begin{aligned} \textstyle\begin{cases} { \mathbb{D}}_{0^{+}}^{\varsigma } \wp (\mathfrak{t}) + \mathfrak{w}( \mathfrak{t}, \wp (\mathfrak{t}))=0, \quad \mathfrak{t}\in \jmath, \\ \wp (0)=0, \qquad { \mathbb{D}}_{0^{+}}^{\varsigma -1} \wp ( + \infty ) = \sum_{i=1}^{m} \varsigma _{i} \wp (\nu _{i} ), \end{cases}\displaystyle \end{aligned}

where $$1<\varsigma \leq 2, 0<\nu _{1}<\nu _{2}< \cdots < \nu _{m}<\infty$$, $${ \mathbb{D}}_{0^{+}}^{\varsigma }$$ is a usual Riemann–Liouville fractional derivative. Three positive solutions’ existence was proven via the Leggett–Williams fixed-point theorem. Rezapour et al. investigated the multisingular fractional integrodifferential pointwise equation

\begin{aligned} \textstyle\begin{cases} { \mathbb{D}}_{\mathrm{q}}^{\varsigma } \wp (\mathfrak{t}) = \mathfrak{w} (\mathfrak{t}, \wp (\mathfrak{t}), \wp '( \mathfrak{t}), { \mathbb{D}}^{\gamma _{1} } \wp (\mathfrak{t}), { \mathbb{I}}^{\gamma _{1} } \wp (\mathfrak{t}) ), \quad (\forall \mathfrak{t} \in [0,1]), \\ \wp '(0) = \wp (a), \qquad \wp (1) = \int _{0}^{b} \wp ( \xi ) {\,\mathrm{d}}\xi, \end{cases}\displaystyle \end{aligned}
(1)

$$\wp ^{(j)} (0) = 0 j = 2, \dots, [\sigma ]-1$$, where $$\wp \in C^{1}([0,1])$$, $$\gamma _{1}, \gamma _{2} \in [2,\infty ), a, b \in (0,1)$$, $${ \mathbb{D}}^{\varsigma }$$ is the Caputo fractional q-derivative of ord ς, and $$\mathfrak{w}:[0,1]\times \mathbb{R}^{4} \to \mathbb{R}$$ is a function such that $$\mathfrak{w}(\mathfrak{t},\cdot,\cdot,\cdot,\cdot)$$ is singular at some points $$\mathfrak{t}\in [0,1]$$ [6]. The authors in [24] applied the Leray–Schauder nonlinear alternative theorem and Leggett–Williams fixed-point theorem to prove the positive solutions’ existence to the following fractional differential equation:

$$\textstyle\begin{cases} ({ \mathbb{D}}_{\mathrm{q}}^{\varsigma } \wp )( \mathfrak{t}) + \mathfrak{w}(\mathfrak{t}, \wp (\mathfrak{t})) =0, \quad t \in \jmath, \\ \wp (0)=0, \qquad { \mathbb{D}}_{\mathrm{q}}^{ \varsigma -1} \wp (+\infty ) = \sum_{i=1}^{m} a_{i} \wp (\nu _{i} ), \end{cases}$$

where $$0<\mathrm{q}<1, 1<\varsigma <2$$,

\begin{aligned} 0 \leq \sum_{i=1}^{m} a_{i} \nu _{i}^{\varsigma - 1}< \Gamma _{ \mathrm{q}}(\varsigma ), \end{aligned}

$${ \mathbbm{ }\mathbb{D}}_{\mathrm{q}}^{\varsigma }$$ is a Riemann–Liouville fractional q-derivative. $$\mathfrak{w}: (\jmath, \mathbb{R}) \to \jmath$$ is a continuous function. Zhao et al. [32] applied the Altman fixed-point theorem to study the solutions’ existence to the following fractional differential equation:

\begin{aligned} \textstyle\begin{cases} \mathbb{D}^{\varsigma } \wp (\mathfrak{t}) + \mathfrak{w}(\mathfrak{t}, \wp (\mathfrak{t}), \mathcal{T} \wp (\mathfrak{t}))=0, \quad 3< \varsigma \leq 4, \\ \wp (0) = \wp ^{\prime }(0) = \wp ^{\prime \prime }(0)=0,& \\ { \mathbbm{ }\mathbb{D}}^{\varsigma -1} \wp (\infty )=\nu { \mathbbm{ }\mathbb{I}}^{ \zeta } \wp (\upeta ), \quad \zeta >0, \end{cases}\displaystyle \end{aligned}
(2)

where $$\mathfrak{t} \in \jmath, \mathfrak{w} \in \mathcal{C} [\jmath \times \mathbb{R}^{2}, \mathbb{R}], \nu \in \mathbb{R}, \upeta \in \jmath$$, $${ \mathbb{D}}^{\varsigma }$$ is the Riemann–Liouville fractional derivative of order ς, $${ \mathbb{I}}^{\zeta }$$ is the Riemann–Liouville fractional integral of order ζ and

\begin{aligned} \mathcal{T} \wp (\mathfrak{t}) = \int _{0}^{\mathfrak{t}} \mathbb{G}( \mathfrak{t}, \mathfrak{ \xi }) \wp (\xi ) \,\mathrm{d}\xi, \end{aligned}

with $$\mathbb{G}(\mathfrak{t}, \mathfrak{s}) \in \mathcal{C}[\mathcal{E}, \mathbb{R}], \mathcal{E} = \{ (\mathfrak{t}, \mathfrak{s}) \in \mathbb{R}^{2}: 0 \leq \mathfrak{s} \leq \mathfrak{t} \}$$. In [38], Matar et al. considered the FDE

\begin{aligned} \textstyle\begin{cases} \frac{{\mathrm{d}}}{{\mathrm{d}}\mathfrak{t}} ( \varphi _{p} ( {{}^{C} \mathbb{D}}^{\varsigma _{1}, \rho } \wp (\mathfrak{t}) ) ) = \mathfrak{w} (\mathfrak{t}, \wp (\mathfrak{t}), {{}^{C} \mathbb{D}}^{\varsigma _{2}, \rho } \wp (\mathfrak{t}) ),\quad (\forall \mathfrak{t} \in [0,1]), \\ \wp (0) +\mu \wp (1) =\mathfrak{v}_{1} (\wp (0), \wp (1)), \quad (\mu \neq 1), \\ \wp '(1) =\mathfrak{v}_{2} (\wp (0), \wp (1)), \end{cases}\displaystyle \end{aligned}
(3)

here $${{}^{C} \mathbb{D}}^{\varsigma _{1}, \rho }$$ and $${{}^{C} \mathbb{D}}^{\varsigma _{2}, \rho } \wp (\mathfrak{t})$$ are the generalized Caputo fractional derivative of order $$1 < \sigma _{1}<2$$ and $$0 < \sigma _{2}<1$$, respectively, $$\rho >1$$, $$\varphi _{p} (p >1)$$ is a p-Laplacian operator and the nonlinear functions $$\mathfrak{w}: [0,1]\times \mathbb{R}^{2} \to \mathbb{R}$$ and $$\mathfrak{v}_{1}, \mathfrak{v}_{2}: \mathbb{R}^{2} \to \mathbb{R}$$ are given continuous functions.

The solutions’ existence for the following boundary value problem of nonlinear fractional q-difference equations on an infinite interval are investigated in this work:

\begin{aligned} \textstyle\begin{cases} { \mathbb{D}}_{\mathrm{q}}^{\varsigma } \wp (\mathfrak{t}) + \mathfrak{w}( \mathfrak{t}, \wp (\mathfrak{t}) ) = 0, \quad 3< \varsigma \leq 4, \\ \wp (0)=\wp ^{\prime }(0) = \wp ^{\prime \prime }(0)=0,& \\ { \mathbb{D}}_{\mathrm{q}}^{\varsigma -1} \wp ( \infty ) = \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \wp ({}_{1}\upeta _{i}) + \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \mathbb{D}_{\mathrm{q}}^{\nu } \wp ({}_{2}\upeta _{i}),\quad\nu >0, \end{cases}\displaystyle \end{aligned}
(4)

where $$\mathfrak{t} \in \jmath$$, $$\mathfrak{w} \in \mathcal{C}(\jmath \times \mathbb{R}, \mathbb{R})$$, $$0< {}_{1}\upeta _{i}, {}_{2}\upeta _{i} < +\infty$$, $$i=1, \dots, m$$, $${ \mathbb{D} }_{\mathrm{q}}^{(.)}$$ is the Riemann–Liouville fractional q-derivative with $$0 < \mathrm{q} < 1$$, $${}_{1}\mathrm{a}_{i}$$, $${}_{2}\mathrm{a}_{i}>0$$ such that

\begin{aligned} \Biggl\{ \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} {}_{1}\upeta _{i}^{ \varsigma -1} + \frac{\Gamma _{\mathrm{q}}( \varsigma )}{\Gamma _{\mathrm{q}}(\varsigma - \nu )} \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma - \nu -1} \Biggr\} \leq \Gamma _{\mathrm{q}}(\varsigma ), \end{aligned}

and $$\mathfrak{w}:(\jmath, \mathbb{R}) \rightarrow \mathbb{R}$$ is a continuous function.

A variable’s range is studied in this research work on the unbounded domain. A modified compactness criterion is utilized to investigate the studied compact operator $$\mathfrak{H}$$ due to the failure of the Arzelá–Ascoli theorem in space $$\mathcal{C}_{\infty }$$. With the help of the Banach fixed-point theorem, the Leray–Schauder nonlinear alternative theorem, and the Schauder fixed-point theorem, the investigated system’s uniqueness and existence are proven.

The remainder of this article is organized as follows: the main definitions and lemmas are discussed in Sect. 2 to offer a guide for proving our results by providing a necessary background with some properties to formulate a Green’s function that is suitable for the investigated problem on an unbounded domain. In Sect. 3, the solution’s existence and uniqueness are investigated for the boundary value problem (4). In Sect. 4, two examples are presented to apply our outcomes.

## 2 Preliminaries

Essential q-derivative and q-integral notions are presented in this section. For more background information, refer to [4, 11, 12, 33, 39, 40]. Consider the real number v and put $$[\mathrm{v}]_{\mathrm{q}} = (1- \mathrm{q}^{\mathrm{v}})(1- \mathrm{q})^{-1}$$. The q-analog of the power $$(\mathrm{v} - \acute{\mathrm{v}})^{\imath }$$ is $$(\mathrm{v}-\acute{\mathrm{v}})^{(0)}=1$$,

\begin{aligned} (\mathrm{v} -\acute{\mathrm{v}})^{(\imath )} = \prod _{\kappa = 0}^{ \imath -1} \bigl(\mathrm{v}-\acute{\mathrm{v}} \mathrm{q}^{\kappa } \bigr),\quad (\mathrm{v},\acute{\mathrm{v}} \in {\mathbb{R}}, \imath \in {\mathbb{N}}). \end{aligned}

Generally, $$\forall \mathrm{v}, \acute{\mathrm{v}}$$ and $$\varsigma \in { \mathbb{R}}$$,

\begin{aligned} (\mathrm{v}- \acute{\mathrm{v}})^{(\varsigma )}=\mathrm{v}^{\varsigma } \prod _{\kappa =0}^{\infty } \biggl( \frac{\mathrm{v} - \acute{\mathrm{v}} \mathrm{q}^{\kappa }}{\mathrm{v} - \acute{\mathrm{v}}\mathrm{q}^{\kappa + \varsigma }} \biggr). \end{aligned}

The q-gamma function is expressed as $$\Gamma _{\mathrm{q}}(\varsigma ) =(1- \mathrm{q})^{ (\varsigma -1)} (1- \mathrm{q})^{1-\varsigma }$$, for $$\varsigma \in {\mathbb{R}} - \{\ldots,-2,-1,0\}$$ [39]. The q-gamma function satisfies $$(\Gamma _{\mathrm{q}}(1+\varsigma ) = [\varsigma ]_{\mathrm{q}} \Gamma _{\mathrm{q}}(\varsigma ))$$. For any $$\varsigma, \nu >0$$, the q-beta function is expressed as

\begin{aligned} \mathbb{B}_{\mathrm{q}}(\varsigma, \nu ) = \int _{0}^{1} \xi ^{( \varsigma - 1)}( 1 -\mathrm{q} \xi )^{(\nu -1)} \,\mathrm{d}_{ \mathrm{q}} \xi,\quad \mathrm{q} \in (0,1), \end{aligned}

where the q-beta function’s expression in terms of the q-gamma function is ([39])

\begin{aligned} \mathbb{B}_{\mathrm{q}}(\varsigma, \nu ) = \frac{\Gamma _{\mathrm{q}}(\varsigma ) \Gamma _{\mathrm{q}}(\nu )}{\Gamma _{\mathrm{q}}( \varsigma +\nu )}. \end{aligned}

The q-derivative of order $$\imath \in {\mathbb{N}}$$, of a function is expressed as $$\mathbb{D}_{\mathrm{q}}^{0} \wp (\mathfrak{t}) =\wp (\mathfrak{t})$$,

\begin{aligned} \mathbb{D}_{\mathrm{q}} \wp (\mathfrak{t}): = \mathbb{D}_{\mathrm{q}}^{1} \wp (\mathfrak{t}) = \frac{\wp (\mathfrak{t}) - \wp (\mathrm{q}\mathfrak{t}) }{(1-\mathrm{q})\mathfrak{t}},\quad (\mathfrak{t}\neq 0), \end{aligned}

$$\mathbb{D}_{\mathrm{q}} \wp (0) = \lim_{\mathfrak{t} \to 0 } \mathbb{D}_{\mathrm{q}} \wp (\mathfrak{t})$$, and $$\mathbb{D}_{\mathrm{q}}^{\imath } \wp (\mathfrak{t}) = \mathbb{D}_{ \mathrm{q}} \mathbb{D}_{\mathrm{q}}^{\imath - 1} \wp (\mathfrak{t}), \forall \mathfrak{t}\in \jmath$$ [39]. Set

\begin{aligned} \jmath _{\mathfrak{t}}: = \bigl\{ \mathfrak{t} \mathrm{q}^{\imath }: \imath \in \mathbb{N} \bigr\} \cup \{0\}. \end{aligned}

The q-integral of a function $$\wp:\jmath _{\mathfrak{t}} \to \mathbb{R}$$ is written as

\begin{aligned} \mathbb{I}_{\mathrm{q}} \wp (\mathfrak{t}) = \int _{0}^{\mathfrak{t}} \wp (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi = \sum_{\kappa =0}^{\infty } \mathfrak{t} ( 1- \mathrm{q} ) {\mathrm{q}}^{\kappa } \wp \bigl( \mathfrak{t} \mathrm{q}^{\kappa }\bigr), \end{aligned}

iff the series converges [39]. Obviously, $$\mathbb{D}_{\mathrm{q}} \mathbb{I}_{\mathrm{q}} \wp (\mathfrak{t}) = \wp (\mathfrak{t})$$. Suppose that is continuous at 0, then $$\mathbb{I}_{\mathrm{q}} \mathbb{D}_{\mathrm{q}} \wp (\mathfrak{t}) = \wp (\mathfrak{t}) -\wp (0)$$ [39]. The fractional q-integral of the Riemann–Liouville type of order $$\alpha \geq 0$$, of a function $$\wp: \mathbb{I} \to { \mathbb{R}}$$ is expressed as $$\mathbb{I}_{\mathrm{q}}^{0} \wp (\mathfrak{t}) = \wp (\mathfrak{t})$$, and $$\forall \mathfrak{t}\in \mathbb{I}$$, [9]

\begin{aligned} \mathbb{I}_{\mathrm{q}}^{\varsigma } \wp (\mathfrak{t}) = \int _{0}^{ \mathfrak{t}} \frac{(\mathfrak{t} - \mathrm{q}\xi )^{(\varsigma - 1)} }{ \Gamma _{\mathrm{q}}(\varsigma )} \wp (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi. \end{aligned}

### Lemma 2.1

([4])

Assume that $$\varsigma,\nu \geq 0$$, and is a function defined on $$[0,1]$$. Then, the following hold $$\mathbb{I}_{\mathrm{q}}^{\varsigma } \mathbb{I}_{\mathrm{q}}^{\nu } \wp (\mathfrak{t}) = \mathbb{I}_{\mathrm{q}}^{\varsigma + \nu } \wp ( \mathfrak{t}) = \mathbb{I}_{\mathrm{q}}^{\nu } \mathbb{I}_{\mathrm{q}}^{ \varsigma } \wp (\mathfrak{t})$$, and

\begin{aligned} \mathbb{I}_{\mathrm{q}}^{\varsigma } \mathfrak{t}^{\nu } = \frac{\Gamma _{\mathrm{q}} ( \nu +1)}{ \Gamma _{\mathrm{q}}( \varsigma +\nu +1)} \mathfrak{t}^{\varsigma +\nu },\quad \forall \nu \in (-1, \infty ), \varsigma \in \jmath, \mathfrak{t}>0. \end{aligned}

In particular, if $$\wp \equiv 1$$, then $$\mathbb{I}_{\mathrm{q}}^{\varsigma } 1 (\mathfrak{t}) = \frac{1}{ \Gamma _{\mathrm{q}} ( 1+\varsigma )} \mathfrak{t}^{( \varsigma )}, \forall \mathfrak{t}>0$$.

### Definition 2.2

([40])

The fractional q-derivative of the Riemann–Liouville type of order $$\varsigma \geq 0$$, of a function $$\wp: \jmath \to {\mathbb{R}}$$ is defined by $$\mathbb{D}_{\mathrm{q}}^{0} \wp (\mathfrak{t}) = \wp (\mathfrak{t})$$, and

\begin{aligned} \mathbb{D}_{\mathrm{q}}^{\varsigma } \wp (\mathfrak{t}) = \mathbb{D}_{ \mathrm{q}}^{[\varsigma ]} \mathbb{I}_{ \mathrm{q}}^{[\varsigma ] - \varsigma } \wp (\mathfrak{t}) = \frac{1}{\Gamma _{\mathrm{q}}(\imath - \varsigma )} \int _{0}^{ \mathfrak{t}} \frac{ \wp (\xi )}{(\mathfrak{t} -\mathrm{q} \xi )^{\varsigma - \imath +1}} \, \mathrm{d}_{\mathrm{q}}\xi, \end{aligned}

where $$\imath = [\varsigma ]$$ is the integer part of ς.

### Lemma 2.3

([12])

Assume that $$\varsigma >0$$ and $$\imath \in \mathbb{N}$$. Then, an equality holds as follows:

\begin{aligned} \mathbb{I}^{\varsigma }_{\mathrm{q}} \mathbb{D}^{\imath }_{\mathrm{q}} \wp (\mathfrak{t}) = \mathbb{D}^{\imath }_{ \mathrm{q}} \mathbb{I}^{ \varsigma }_{\mathrm{q}} \wp (\mathfrak{t}) - \sum ^{\varsigma - 1}_{ \kappa =0} \frac{\mathfrak{t}^{\varsigma -\imath +\kappa }}{ \Gamma _{\mathrm{q}}(\varsigma +\kappa - \imath +1)}\bigl( \mathbb{D}^{\kappa }_{\mathrm{q}} \wp \bigr) (0). \end{aligned}

Obviously, we have:

\begin{aligned} \mathbb{D}_{\mathrm{q}}^{\varsigma } \mathfrak{t}^{\nu -1} = \frac{\Gamma _{\mathrm{q}}(\nu )}{ \Gamma _{\mathrm{q}}(\nu - \varsigma )} \mathfrak{t}^{\nu -\varsigma -1}. \end{aligned}
(5)

### Lemma 2.4

([11])

Assume that $$\jmath _{0}$$ and ȷ are intervals involving $$0\in \jmath _{0} \subseteq \jmath$$. Assume that $$\wp _{\imath }, (\imath \in \mathbb{N})$$ and are functions defined in ȷ $$\lim_{\imath \to \infty } \wp _{\imath }(\mathfrak{t}) = \wp ( \mathfrak{t}), (\forall \mathfrak{t} \in \jmath )$$, and $$\wp _{\imath }$$ tends uniformly to on $$\jmath _{0}$$. Then,

\begin{aligned} \lim_{\imath \to \infty } \int _{0}^{ \mathrm{v}} \wp _{\imath }(\xi ) \, \mathrm{d}_{ \mathrm{q}} \xi = \int _{0}^{\mathrm{v}} \wp (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi\quad (\forall \mathrm{v} \in \jmath ). \end{aligned}

The following results are important in the remainder of the paper, where we give the exact expression of the Green’s function associated with the system (4).

### Lemma 2.5

A given function: $$\hslash \in \mathcal{C} (\mathbb{R}^{+} )$$ is assumed. Then, the boundary value problem:

\begin{aligned} { \mathbb{D}}_{\mathrm{q}}^{\varsigma } \wp (\mathfrak{t}) + \hslash ( \mathfrak{t})=0,\quad \mathfrak{t} \in \jmath, \end{aligned}
(6)

via boundary conditions

\begin{aligned} \textstyle\begin{cases} \wp (0) = \wp '(0) = \wp ''(0) =0, \\ { \mathbb{D}}_{\mathrm{q}}^{\varsigma -1} \wp (+ \infty ) = \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \wp ({}_{1} \upeta _{i} ) + \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} { \mathbb{D}}_{\mathrm{q}}^{\nu } \wp ({}_{2}\upeta _{i} ) \end{cases}\displaystyle \end{aligned}
(7)

has a unique solution

\begin{aligned} \wp (\mathfrak{t}) ={}& \int _{0}^{\infty } {}_{1} \mathbb{G}_{ \mathrm{q}}(\mathfrak{t}, \xi ) \hslash (\xi ) \, \mathrm{d}_{ \mathrm{q}} \xi \\ & {}+ \frac{\mathfrak{t}^{\varsigma -1}}{ \Lambda } \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \int _{0}^{\infty } {}_{2} \mathbb{G}_{ \mathrm{q}} ({}_{1}\upeta _{i}, \xi )\hslash (\xi ) \mathrm{ d}_{\mathrm{q}} \xi \\ & {}+ \frac{\mathfrak{t}^{\varsigma -1}}{ \Lambda } \sum_{i=1}^{m} {}_{2} \mathrm{a}_{i} \int _{0}^{\infty } {}_{2} \mathbb{G}_{\mathrm{q}} ({}_{2}\upeta _{i}, \xi ) \hslash (s) \mathrm{ d}_{ \mathrm{q}} \xi, \end{aligned}
(8)

with Λ defined by

\begin{aligned} \Lambda = \Biggl\{ \Gamma _{\mathrm{q}}(\varsigma ) - \Biggl( \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1} + \frac{\Gamma _{\mathrm{q}}( \varsigma )}{\Gamma _{\mathrm{q}}(\varsigma - \nu )} \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma - \nu -1} \Biggr) \Biggr\} , \end{aligned}
(9)

where

\begin{aligned} {}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \mathfrak{s}) = \textstyle\begin{cases} \frac{\mathfrak{t}^{\varsigma - 1} - (\mathfrak{t} - \mathrm{q} \mathfrak{s})^{(\varsigma -1)}}{ \Gamma _{\mathrm{q}}(\varsigma )}, & \mathfrak{s} \leq \mathfrak{t}, \\ \frac{\mathfrak{t}^{\varsigma -1}}{\Gamma _{q}(\varsigma )}, & \mathfrak{t} \leq \mathfrak{s}, \end{cases}\displaystyle \end{aligned}

and

\begin{aligned} {}_{2}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \mathfrak{s}) = \textstyle\begin{cases} \frac{\mathfrak{t}^{\varsigma - \nu -1}-(\mathfrak{t}- \mathrm{q} \mathfrak{s})^{(\varsigma -\nu -1)}}{ \Gamma _{\mathrm{q}}(\varsigma -\nu )}, & \mathfrak{s} \leq \mathfrak{t}, \\ \frac{\mathfrak{t}^{\varsigma - \nu -1}}{\Gamma _{\mathrm{q}}(\varsigma - \nu )}, & \mathfrak{t} \leq \mathfrak{s}, \end{cases}\displaystyle \end{aligned}

$$\forall \mathfrak{t}, \mathfrak{s} \in \jmath$$ is the Green’s function of boundary value problem (6) and (7).

### Proof

By integrating both sides of (6)

\begin{aligned} { \mathbbm{ }\mathbb{I}}_{\mathrm{q}}^{\varsigma } { \mathbb{D}}_{\mathrm{q}}^{ \varsigma } \wp (\mathfrak{t}) = -{ \mathbbm{ }\mathbb{I}}_{\mathrm{q}}^{ \varsigma } \hslash ( \mathfrak{t}). \end{aligned}

The Definition 2.2 and Lemma 2.3, imply that

\begin{aligned} \wp (\mathfrak{t}) = - \frac{1}{\Gamma _{\mathrm{q}}(\varsigma )} \int _{0}^{ \mathfrak{t}} (\mathfrak{t}- \mathrm{q} \xi )^{(\varsigma -1)} \hslash (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi + c_{1} \mathfrak{t}^{ \varsigma -1} + c_{2} \mathfrak{t}^{\varsigma -2} + c_{3} \mathfrak{t}^{\varsigma -3} + c_{4} \mathfrak{t}^{\varsigma -4}. \end{aligned}

The boundary conditions implies that $$\wp (0) = \wp '(0) = \wp ''(0) = 0$$, thus,

\begin{aligned} c_{2} = c_{3} = c_{4}=0, \end{aligned}

hence,

\begin{aligned} \wp (\mathfrak{t}) = -\frac{1}{ \Gamma _{\mathrm{q}}(\varsigma )} \int _{0}^{ \mathfrak{t}}(\mathfrak{t}-\mathrm{q}\xi )^{(\varsigma -1)} \hslash ( \xi ) \,\mathrm{d}_{\mathrm{q}} \xi + c_{1} \mathfrak{t}^{\varsigma -1}. \end{aligned}
(10)

We obtain:

\begin{aligned} \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} \wp ({}_{1}\upeta _{i} ) ={}& c_{1} \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1} \upeta _{i}^{\varsigma -1} \\ & {}- \frac{1}{ \Gamma _{\mathrm{q}}(\varsigma )} \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} \int _{0}^{{}_{1}\upeta _{i}} ({}_{1}\upeta _{i} - \mathrm{q} \xi )^{(\varsigma -1)} \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi. \end{aligned}

By differentiating both sides of (10) along with (5), we obtain

\begin{aligned} \sum_{i=1}^{m} {}_{2} \mathrm{a}_{i} { \mathbbm{ }\mathbb{D}}_{\mathrm{q}}^{ \nu } \wp ({}_{2}\upeta _{i} ) ={}& c_{1} \sum _{i=1}^{m}{}_{2} \mathrm{a}_{i} \frac{ \Gamma (\varsigma )}{ \Gamma (\varsigma - \nu )} {}_{2}\upeta _{i}^{ \varsigma - \nu -1} \\ &{} - \frac{1}{\Gamma _{\mathrm{q}}( \varsigma -\nu )} \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{0}^{{}_{2}\upeta _{i}} ( {}_{2} \upeta _{i} - \mathrm{q} \xi )^{(\varsigma -1)} \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi, \end{aligned}

and $$\mathbb{D}_{\mathrm{q}}^{\varsigma -1} \wp (\mathfrak{t}) = - { \mathbbm{ }\mathbb{I}}_{\mathrm{q}} \hslash (\mathfrak{t}) + c_{1} \Gamma _{\mathrm{q}}( \varsigma )$$. Therefore,

\begin{aligned} { \mathbbm{ }\mathbb{D}}_{\mathrm{q}}^{\varsigma -1} \wp ( \infty ) = - \int _{0}^{+ \infty } \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi +c_{1} \Gamma _{\mathrm{q}}(\varsigma ). \end{aligned}

By the second condition of (7)

\begin{aligned} - \int _{0}^{+\infty } \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi + c_{1} \Gamma _{\mathrm{q}}( \varsigma ) ={}& c_{1} \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1} \\ &{} - \frac{1}{ \Gamma _{\mathrm{q}}( \varsigma )} \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} \int _{0}^{{}_{1}\upeta _{i}} ({}_{1}\upeta _{i} - \mathrm{q} \xi )^{(\varsigma -1)} \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ &{} + c_{1} \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \frac{\Gamma (\varsigma )}{\Gamma (\varsigma -\nu )} {}_{2} \upeta _{i}^{ \varsigma -\nu -1} \\ & {}- \frac{1}{\Gamma _{\mathrm{q}}( \varsigma -\nu )} \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{0}^{{}_{2}\upeta _{i}} ({}_{2} \upeta _{i}-\mathrm{q} \xi )^{(\varsigma -1)} \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi. \end{aligned}
(11)

Moreover, equation (11) implies that

\begin{aligned} c_{1} ={}& \frac{1}{\Lambda } \int _{0}^{+\infty } \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi -\frac{1}{ \Lambda } \sum _{i=1}^{m} {}_{1} \mathrm{a}_{i} \int _{0}^{{}_{1}\upeta _{i}} \frac{ ({}_{1}\upeta _{i} - \mathrm{q} \xi )^{(\varsigma -1)}}{\Gamma _{\mathrm{q}}(\varsigma )} \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ & {}- \frac{1}{\Lambda } \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{0}^{{}_{2} \upeta _{i}} \frac{ ({}_{2}\upeta _{i} -\mathrm{ q} \xi )^{ (\varsigma -\nu -1)}}{ \Gamma _{\mathrm{q}}(\varsigma -\nu )} \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi, \end{aligned}
(12)

where Λ is given by (9). Consequently, the unique solution of problem (6) and (7) is given by the following formula

\begin{aligned} \wp (\mathfrak{t}) ={}& \frac{\mathfrak{t}^{\varsigma -1}}{\Lambda } \int _{0}^{+\infty } \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ & {}- \frac{\mathfrak{t}^{\varsigma -1}}{ \Lambda } \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \int _{0}^{{}_{1}\upeta _{i}} \frac{ ({}_{1}\upeta _{i} - \mathrm{q} \xi )^{(\varsigma -1)}}{ \Gamma _{\mathrm{q}}(\varsigma )} \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ &{} - \frac{\mathfrak{t}^{ \varsigma -1}}{\Lambda } \sum_{i=1}^{m}{}_{2} \mathrm{a}_{i} \int _{0}^{\eta _{i}} \frac{ ({}_{2}\upeta _{i}- \mathrm{q} \xi )^{ (\varsigma - \nu -1)}}{ \Gamma _{\mathrm{q}}(\varsigma -\nu )} \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ &{} - \frac{1}{\Gamma _{\mathrm{q}}(\varsigma )} \int _{0}^{ \mathfrak{t}}( \mathfrak{t} -\mathrm{q} \xi )^{(\varsigma -1)} \hslash (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi, \\ ={}& \frac{\mathfrak{t}^{ \varsigma -1} \Gamma _{\mathrm{q}}(\varsigma )}{\Lambda } \int _{0}^{+\infty } \frac{\hslash (\xi )}{ \Gamma _{\mathrm{q}}( \varsigma )} \, \mathrm{d}_{\mathrm{q}} \xi \\ &{} - \frac{\mathfrak{t}^{ \varsigma -1}}{\Lambda } \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \int _{0}^{{}_{1}\upeta _{i}} \frac{ ( {}_{1}\upeta _{i}- \mathrm{q} \xi )^{ (\varsigma -1)}}{ \Gamma _{\mathrm{q}}(\varsigma )} \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ &{} - \frac{\mathfrak{t}^{\varsigma -1}}{\Lambda } \sum_{i=1}^{m} {}_{2} \mathrm{a}_{i} \int _{0}^{{}_{2}\upeta _{i} } \frac{ ({}_{2}\upeta _{i} - \mathrm{q} \xi )^{ (\varsigma -\nu -1)}}{ \Gamma _{\mathrm{q}}(\varsigma -\nu )} \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ & {}- \frac{1}{\Gamma _{\mathrm{q}}(\varsigma )} \int _{0}^{ \mathfrak{t}}( \mathfrak{t} - \mathrm{q}\xi )^{(\varsigma -1)} \hslash (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi, \\ ={}& \frac{1}{ \Gamma _{\mathrm{q}}(\varsigma ) - \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i} - \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \frac{ \Gamma (\varsigma )}{ \Gamma (\varsigma -\nu )} {}_{2}\upeta _{i}^{\varsigma - \nu -1}} \Biggl[ \Biggl( \Gamma _{\mathrm{q}}(\varsigma ) \\ &{} - \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} {}_{1}\upeta _{i}+ \sum _{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i} - \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \frac{\Gamma (\varsigma )}{ \Gamma (\varsigma -\nu )} {}_{2} \upeta _{i}^{ \varsigma -\nu -1} \\ &{} + \sum_{i=1}^{m} {}_{2} \mathrm{a}_{i} \frac{\Gamma ( \varsigma )}{\Gamma ( \varsigma -\nu )} {}_{2}\upeta _{i}^{ \varsigma -\nu -1} \Biggr) \Biggr] \frac{ \mathfrak{t}^{\varsigma -1}}{ \Gamma _{\mathrm{q}}(\varsigma )} \int _{0}^{+\infty } \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ &{} - \frac{\mathfrak{t}^{\varsigma -1}}{\Lambda } \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} \int _{0}^{{}_{1}\upeta _{i}} \frac{ ({}_{1}\upeta _{i}-\mathrm{q} \xi )^{(\varsigma -1)}}{\Gamma _{\mathrm{q}}(\varsigma )} \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ &{} -\frac{\mathfrak{t}^{\varsigma -1}}{\Lambda } \sum_{i=1}^{m} {}_{2} \mathrm{a}_{i} \int _{0}^{{}_{2}\upeta _{i}} \frac{ ({}_{2}\upeta _{i} - \mathrm{q} \xi )^{ (\varsigma -\nu -1)}}{ \Gamma _{\mathrm{q}}( \varsigma -\nu )} \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ & {}-\frac{1}{\Gamma _{\mathrm{q}}(\varsigma )} \int _{0}^{ \mathfrak{t}} ( \mathfrak{t} - \mathrm{q}\xi )^{(\varsigma -1)} \hslash (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi, \\ ={}&\frac{1}{\Gamma _{\mathrm{q}}(\varsigma )} \int _{0}^{\mathfrak{t}} \bigl(\mathfrak{t}^{\varsigma -1} - ( \mathfrak{t} - \mathrm{q} \xi )^{(\varsigma -1)} \bigr)\hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ & {}+ \frac{1}{\Gamma _{\mathrm{q}}(\varsigma )} \int _{ \mathfrak{t}}^{+\infty } \mathfrak{t}^{\varsigma -1} \hslash ( \xi ) \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} - \frac{\mathfrak{t}^{ \varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma )} \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \int _{0}^{{}_{1}\upeta _{i}} \bigl( {}_{1}\upeta _{i}^{\varsigma -1} - ({}_{1}\upeta _{i} - \mathrm{q} \xi )^{(\varsigma -1)} \bigr) \hslash (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} + \frac{\mathfrak{t}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma )} \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \int _{{}_{1}\upeta _{i}}^{ \infty } {}_{1}\upeta _{i}^{\varsigma -1} \hslash (\xi ) \,\mathrm{d}_{\mathrm{q}}\xi \\ & {}- \frac{\mathfrak{t}^{ \varsigma -1}}{ \Lambda \Gamma _{\mathrm{q}}( \varsigma -\nu )} \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{0}^{{}_{2}\upeta _{i} } \bigl( {}_{2}\upeta _{i}^{\varsigma -\nu -1} - ({}_{2}\upeta _{i} - \mathrm{q} \xi )^{(\varsigma -\nu -1)} \bigr) \hslash (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi \\ & {}+ \frac{ \mathfrak{t}^{\varsigma -1}}{ \Lambda \Gamma _{\mathrm{q}}(\varsigma -\nu )} \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{{}_{2}\upeta _{i}}^{ \infty } {}_{2}\upeta _{i}^{\varsigma -\nu -1} \hslash (\xi ) \,\mathrm{d}_{\mathrm{q}}\xi, \\ ={}& \int _{0}^{\infty } {}_{1} \mathbb{G}_{\mathrm{q}}(\mathfrak{t},\xi ) \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi - \frac{\mathfrak{t}^{\varsigma -1}}{ \Lambda } \sum _{i=1}^{m} {}_{1} \mathrm{a}_{i} \int _{0}^{\infty } {}_{2} \mathbb{G}_{\mathrm{q}}({}_{1} \upeta _{i}, \xi ) \hslash (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} - \frac{\mathfrak{t}^{ \varsigma -1}}{\Lambda }\sum_{i=1}^{m} {}_{2} \mathrm{a}_{i} \int _{0}^{\infty } {}_{2} \mathbb{G}_{\mathrm{q}}( {}_{2} \upeta _{i}, \xi ) \hslash (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi, \\ ={}& \int _{0}^{\infty } {}_{1} \mathbb{G}_{\mathrm{q}}( \mathfrak{t}, \xi ) \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}}\xi. \end{aligned}

The proof is completed. □

Let us now mention some Green’s function’s properties that are essential to our study.

### Lemma 2.6

Suppose that $${}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \mathfrak{s} )$$ and $${}_{2}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \mathfrak{s} )$$ are the Green’s functions of the linear system (6) and (7) provided in Lemma 2.5. Then, we obtain:

1. (A1)

$${}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \mathfrak{s})$$ is a continuous function for $$(\mathfrak{t}, \mathfrak{s})\in \jmath ^{2}$$;

2. (A2)

$${}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \mathfrak{s}) \geq 0$$ and $${}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \mathfrak{s}) \leq {}_{1} \mathbb{G}_{\mathrm{q}}(\mathrm{q} \mathfrak{s}, \mathfrak{s})$$, $$\forall \mathfrak{t}, \mathfrak{s}\in \jmath$$.

3. (A3)

for $$(\mathfrak{t}, \mathfrak{s}) \in \jmath ^{2}$$,

\begin{aligned} \frac{{}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t},\mathfrak{s})}{ 1 + \mathfrak{t}^{\varsigma -1}} \leq \frac{1}{ \Gamma _{\mathrm{q}}(\varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}( \varsigma )} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma - \nu -1}}{\Lambda \Gamma _{\mathrm{q}}( \varsigma -\nu )}. \end{aligned}

### Proof

Clearly, (A1) and (A2) hold. Obviously, $${}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \mathfrak{s}) \geq 0$$, for $$\mathfrak{t},\mathfrak{s} \in \jmath$$. The monotonicity of $${}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t},\mathfrak{s})$$ indicates

\begin{aligned} \sup_{\mathfrak{t} \in \jmath } {}_{1} \mathbb{G}_{\mathrm{q}}( \mathfrak{t},\mathfrak{s}) = {}_{1} \mathbb{G}_{\mathrm{q}}(\mathrm{q} \mathfrak{s},\mathfrak{s}) = \frac{(\mathrm{q} \mathfrak{s})^{ \varsigma -1}}{ \Gamma _{\mathrm{q}}( \varsigma )},\quad \forall \mathfrak{s} \in \jmath. \end{aligned}
(13)

To prove (A3), for $$(\mathfrak{t}\mathrm{q}, \mathfrak{t}) \in \jmath ^{2}$$, we obtain

\begin{aligned} \frac{{}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t},\mathfrak{s})}{1+ \mathfrak{t}^{ \varsigma -1}} ={}& \frac{{}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \mathfrak{s})}{ 1 + \mathfrak{t}^{\varsigma -1}} + \frac{\mathfrak{t}^{\varsigma -1}}{ \Lambda } \sum _{i=1}^{m} {}_{1} \mathrm{a}_{i} \frac{ {}_{1}\mathbb{G}_{\mathrm{q}}({}_{1}\upeta _{i},\mathfrak{s}) }{ 1 + \mathfrak{t}^{\varsigma -1}} \\ & {}+ \frac{\mathfrak{t}^{\varsigma -1}}{ \Lambda } \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \frac{ {}_{1}\mathbb{G}_{\mathrm{q}}( {}_{2}\upeta _{i},\mathfrak{s})}{ 1 +\mathfrak{t}^{\varsigma -1}} \\ \leq{}& \biggl( \frac{1}{\Gamma _{\mathrm{q}}( \varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{ \Lambda \Gamma _{\mathrm{q}}(\varsigma )} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma -\nu )} \biggr)=: \nabla. \end{aligned}

The proof of Lemma 2.6 is completed. □

## 3 Main results

First, we define the norm space

\begin{aligned} \mathcal{C}_{\infty }(\jmath, \mathbb{R}) = \biggl\{ \wp \in \mathcal{C}( \jmath, \mathbb{R}): \lim_{\mathfrak{t} \to + \infty } \frac{\wp (\mathfrak{t})}{ 1 + \mathfrak{t}^{\varsigma -1}} \text{ exists } \biggr\} , \end{aligned}

equipped with the norm

\begin{aligned} \Vert \wp \Vert = \sup_{\mathfrak{t} \in \jmath } \frac{ \vert \wp (\mathfrak{t}) \vert }{ 1 + \mathfrak{t}^{\varsigma -1}}. \end{aligned}

The space $$\mathcal{C}_{\infty }$$ is a Banach space [7]. A map $$\wp (\mathfrak{t}) \in \mathcal{C}(\jmath, \mathbb{R})$$ with its q-derivative of Riemann–Liouville of order ς that exists on ȷ is named as a solution of (6) if (7) is satisfied. For $$\wp \in \mathcal{C}_{\infty }$$, let an operator $$\mathfrak{H}$$ be expressed as:

\begin{aligned} \mathfrak{H} \wp (\mathfrak{t}) ={}& \int _{0}^{\infty } {}_{1} \mathbb{G}_{\mathrm{q}}(\mathfrak{t},\xi ) \hslash (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ & {}- \frac{\mathfrak{t}^{\varsigma -1}}{\Lambda } \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} \int _{0}^{\infty } {}_{2} \mathbb{G}_{\mathrm{q}}({}_{1} \upeta _{i},\xi ) \hslash (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} -\frac{\mathfrak{t}^{\varsigma -1}}{ \Lambda } \sum_{i=1}^{m} {}_{2} \mathrm{a}_{i} \int _{0}^{\infty } {}_{2} \mathbb{G}_{\mathrm{q}}({}_{2} \upeta _{i},\xi ) \hslash (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi. \end{aligned}
(14)

Clearly, we have a continuous, $$\wp \in \mathcal{C}_{\infty }(\jmath, \mathbb{R})$$, then is the problem (4) solution if $$\wp (\mathfrak{t}) = \mathfrak{H} \wp (\mathfrak{t})$$ for any $$\mathfrak{t} \in \mathbb{R}$$. The operator $$\mathfrak{H}$$ compactness is shown by proving that $$\mathfrak{H}$$ has a fixed point on $$\mathcal{C}_{\infty }(\jmath, \mathbb{R})$$.

### Remark 3.1

Note that to apply the Arzelá–Ascoli theorem in basic space $$\mathcal{C}_{\infty }$$, we need to establish the following modified compactness criterion to show that $$\mathfrak{H}$$ is compact.

Let us introduce the following hypotheses for convenience:

1. (A4)

for each $$\mathrm{q} \in (0,1)$$,

\begin{aligned} 0\leq \Biggl\{ \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{ \varsigma -1}+\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \frac{ \Gamma (\varsigma )}{\Gamma (\varsigma -\nu )} {}_{2} \upeta _{i}^{\varsigma -\nu -1} \Biggr\} < \Gamma _{\mathrm{q}}( \varsigma ). \end{aligned}
2. (A5)

Let

\begin{aligned} \mathfrak{w}_{*}(\mathfrak{t}, \wp ) = \mathfrak{w} \bigl( \mathfrak{t}, \bigl(1+ \mathfrak{t}^{\varsigma -1} \bigr) \wp \bigr), \end{aligned}

and $$|\mathfrak{w}_{*}(\mathfrak{t}, \wp )| \leq \uppsi (\mathfrak{t}) \mathfrak{p}(|\wp |)$$, on ȷ with nondecreasing function $$\mathfrak{p} \in \mathcal{C}(\jmath, \mathbb{R})$$ and $$\uppsi \in \mathcal{C}(\jmath )$$,

\begin{aligned} \int _{0}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi < + \infty. \end{aligned}
3. (A6)

is a constant γ, for any $$\xi \in \jmath, \wp, \acute{\wp } \in \mathbb{R}$$

\begin{aligned} \bigl\vert \mathfrak{w}_{*} \bigl(\xi, \acute{\wp }(\xi ) \bigr) - \mathfrak{w}_{*} \bigl(\xi, \wp (\xi ) \bigr) \bigr\vert \leq \gamma \vert \acute{\wp } - \wp \vert . \end{aligned}

### Lemma 3.1

([7])

Consider the two sets $$\Upsilon = \{ \wp \in \mathcal{C}_{\infty }: \|\wp \| < \mu \} (\mu >0)$$, and

\begin{aligned} \hat{\Upsilon } = \biggl\{ \frac{\wp (\mathfrak{t})}{ 1 + \mathfrak{t}^{\varsigma - 1} }: \wp \in \Upsilon \biggr\} . \end{aligned}

If ϒ̂ is equicontinuous on any compact intervals of ȷ and equiconvergent at ∞, then ϒ is relatively compact on $$\mathcal{C}_{\infty }$$

### Remark 3.2

ϒ̂ is termed equiconvergent at ∞ iff, for any given positive number ϵ, $$\mathrm{N} = \mathrm{N}_{\epsilon }>0$$,

\begin{aligned} \biggl\vert \frac{\wp ( \mathfrak{t} )}{ 1 + \mathfrak{t}^{\varsigma -1}} - \frac{\wp (\acute{\mathfrak{t}} )}{ 1 +\acute{\mathfrak{t}}^{\varsigma -1}} \biggr\vert < \varepsilon\quad \forall \wp \in \hat{\Upsilon }, \mathfrak{t},\acute{\mathfrak{t}} \geq \mathrm{N}. \end{aligned}

### Lemma 3.2

A cone $$\mathbb{P} \subset \mathcal{C}_{\infty }$$ is defined by

\begin{aligned} \mathbb{P} = \bigl\{ \wp \in \mathcal{C}_{\infty }: \wp ( \mathfrak{t}) \geq 0, \mathfrak{t} \in \jmath \bigr\} . \end{aligned}

If (A4) and (A5) hold, then $$\mathfrak{H}: \mathbb{P} \to \mathbb{P}$$ is completely continuous.

### Proof

This proof consists of 3 essential steps.

STEP A: Let us prove that $$\mathfrak{H}: \mathbb{P} \to \mathbb{P}$$ is continuous. From the continuity and nonnegativity of $${}_{1}\mathcal{G}_{\mathrm{q}}$$ and $$\mathfrak{w}$$, we obtain $$\mathfrak{H} \wp (\mathfrak{t}) \geq 0$$ for $$\mathfrak{t} \in \jmath$$. For each $$\wp \in \mathbb{P}$$, by (A4), we obtain:

\begin{aligned} \int _{0}^{\infty } \mathfrak{w}\bigl(\xi, \wp (\xi ) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \leq \mathfrak{p}(\mu ) \int _{0}^{\infty } \uppsi ( \xi ) \, \mathrm{d}_{\mathrm{q}} \xi < \infty, \end{aligned}

and

\begin{aligned} \lim_{\mathfrak{t} \to +\infty } \frac{ (\mathfrak{H} \wp )(\mathfrak{t})}{ 1 + \mathfrak{t}^{\varsigma -1}} ={}& \int _{0}^{\infty } {}_{1} \mathbb{G}_{\mathrm{q}}(\mathfrak{t},\xi ) \mathfrak{w}\bigl(\xi, \wp (\xi ) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} - \frac{\mathfrak{t}^{ \varsigma -1}}{ \Lambda } \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \int _{0}^{\infty } {}_{2} \mathbb{G}_{\mathrm{q}}({}_{1} \upeta _{i},\xi ) \mathfrak{w}\bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} -\frac{\mathfrak{t}^{\varsigma -1}}{\Lambda } \sum_{i=1}^{m} {}_{2} \mathrm{a}_{i} \int _{0}^{\infty } {}_{2} \mathbb{G}_{\mathrm{q}}( {}_{2} \upeta _{i},\xi ) \mathfrak{w}\bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi. \end{aligned}

Thus,

\begin{aligned} \lim_{\mathfrak{t} \to +\infty } \frac{ (\mathfrak{H} \wp )(\mathfrak{t})}{ 1 + \mathfrak{t}^{\varsigma -1}}, \end{aligned}

exists. Thus, $$\mathfrak{H}( \mathbb{P}) \subset \mathbb{P}$$. Let $$\wp _{1}(\mathfrak{t}) = \frac{\wp (\mathfrak{t})}{ 1 + \mathfrak{t}^{\varsigma -1}}$$ and

\begin{aligned} {\wp _{n}}_{1} (\mathfrak{t}) = \frac{\wp _{n}(\mathfrak{t})}{ 1 + \mathfrak{t}^{\varsigma -1}}. \end{aligned}

Then by (A4),

\begin{aligned} \mathfrak{w}\bigl( \xi, \wp (\xi )\bigr) = \mathfrak{w}_{*} \biggl( \xi, \frac{\wp _{n}(\xi )}{ 1 + \xi ^{\varsigma -1}} \biggr) = \mathfrak{w}_{*}\bigl(\xi, \wp _{1}(\xi )\bigr). \end{aligned}

Taking $$\wp _{n} \to \wp$$ as $$n \to +\infty$$ in $$\mathcal{C}_{\infty }$$, by (A5), we obtain:

\begin{aligned} \bigl\vert \mathfrak{w} \bigl(\mathfrak{t}, \wp _{n}(\mathfrak{t}) \bigr) - \mathfrak{w}\bigl(\mathfrak{t}, \wp (\mathfrak{t})\bigr) \bigr\vert &= \biggl\vert \mathfrak{w}_{*} \biggl(\mathfrak{t}, \frac{\wp _{n}(\mathfrak{t})}{ 1 + \mathfrak{t}^{\varsigma -1}} \biggr) - \mathfrak{w}_{*} \biggl(\mathfrak{t}, \frac{ \wp (\mathfrak{t})}{ 1 + \mathfrak{t}^{ \varsigma -1}} \biggr) \biggr\vert \\ & = \bigl\vert \mathfrak{w}_{*} \bigl(\mathfrak{t}, {\wp _{1}}_{n}( \mathfrak{t}) \bigr) - \mathfrak{w}_{*} \bigl(\mathfrak{t}, \wp _{1}( \mathfrak{t}) \bigr) \bigr\vert \\ & \leq \gamma \bigl\vert {\wp _{1}}_{n}(\mathfrak{t}) - \wp _{1}( \mathfrak{t}) \bigr\vert \to 0\quad \text{uniformly on } \jmath. \end{aligned}

$$\operatorname{So} \mathfrak{w} (\mathfrak{t}, \wp _{n}( \mathfrak{t}) ) \to \mathfrak{w}(\mathfrak{t}, \wp ( \mathfrak{t}))$$ uniformly on ȷ. By Lemma 2.4, we obtain

\begin{aligned} \lim_{n \to \infty } \int _{0}^{\infty } \mathfrak{w} \bigl(\xi, \wp _{n}( \xi ) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi = \int _{0}^{\infty } \mathfrak{w}\bigl(\xi, \wp (\xi ) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi. \end{aligned}
(15)

Hence, combining (15), we obtain

\begin{aligned} &\biggl\vert \frac{ \mathfrak{H} \wp _{n}(\mathfrak{t})}{ 1 + ^{\varsigma -1}} - \frac{\mathfrak{H} \wp ( \mathfrak{t})}{1 + \mathfrak{t}^{\varsigma -1}} \biggr\vert \\ &\quad = \Biggl\vert \int _{0}^{\infty } \frac{{}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \xi )}{ 1 + \mathfrak{t}^{\varsigma -1}} \bigl( \mathfrak{w}\bigl(\xi, \wp _{n}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp ( \xi )\bigr) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &\qquad{} + \frac{\mathfrak{t}^{\varsigma -1}}{\Lambda } \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} \int _{0}^{\infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}} ({}_{1}\upeta _{i}, \xi )}{1+\mathfrak{t}^{ \varsigma -1}} \bigl(\mathfrak{w} \bigl(\xi, \wp _{n}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp ( \xi ) \bigr) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ & \qquad{} +\frac{\mathfrak{t}^{\varsigma -1}}{\Lambda } \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{0}^{\infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}}( {}_{2}\upeta _{i}, \xi )}{ 1 + \mathfrak{t}^{\varsigma -1}} \bigl(\mathfrak{w} \bigl( \xi, \wp _{n}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp ( \xi ) \bigr) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \Biggr\vert \\ & \quad\leq \biggl\vert \int _{0}^{\infty } \frac{{}_{1}\mathbb{G}_{\mathrm{q}}( \mathfrak{t},\xi )}{1+ \mathfrak{t}^{\varsigma -1}} \bigl(\mathfrak{w} \bigl(\xi, \wp _{n}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp ( \xi ) \bigr) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \biggr\vert \\ & \qquad{}+ \Biggl\vert \frac{\mathfrak{t}^{\varsigma -1}}{\Lambda } \sum_{i=1}^{m}{}_{1} \mathrm{a}_{i} \int _{0}^{\infty } \frac{{}_{2}\mathbb{G}_{\mathrm{q}}({}_{1}\upeta _{i}, \xi )}{1 + \mathfrak{t}^{\varsigma -1}} \bigl(\mathfrak{w} \bigl(\xi, \wp _{n}(\xi )\bigr)- \mathfrak{w}\bigl(\xi, \wp ( \xi ) \bigr) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \Biggr\vert \\ & \qquad{}+ \Biggl\vert \frac{\mathfrak{t}^{\varsigma -1}}{\Lambda } \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{0}^{\infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}}( {}_{2}\upeta _{i},\xi )}{1+ \mathfrak{t}^{\varsigma -1}} \bigl(\mathfrak{w} \bigl(\xi, \wp _{n}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp ( \xi ) \bigr) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \Biggr\vert \\ &\quad\leq \frac{1}{\Gamma _{\mathrm{q}}(\varsigma )} \biggl\vert \int _{0}^{ \infty } \bigl( \mathfrak{w}\bigl(\xi, \wp _{n}(\xi )\bigr) - \mathfrak{w}\bigl( \xi, \wp (\xi )\bigr) \bigr) \, \mathrm{d}_{\mathrm{q}} \xi \biggr\vert \\ & \qquad{}+ \biggl\vert \frac{ \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{ \Lambda \Gamma _{\mathrm{q}}( \varsigma )} \int _{0}^{\infty } \bigl( \mathfrak{w}\bigl(\xi, \wp _{n}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp (\xi )\bigr) \bigr) \, \mathrm{d}_{\mathrm{q}} \xi \biggr\vert \\ &\qquad{} + \biggl\vert \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma -\nu )} \int _{0}^{\infty } \bigl(\mathfrak{w}\bigl(\xi, \wp _{n}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp (\xi )\bigr) \bigr) \, \mathrm{d}_{\mathrm{q}} \xi \biggr\vert . \end{aligned}

Hence,

\begin{aligned} \Vert \mathfrak{H} \wp _{n} - \mathfrak{H} \wp \Vert =\sup _{ \mathfrak{t} \in \jmath } \biggl\vert \frac{\mathfrak{H} \wp _{n}(\mathfrak{t}) - \mathfrak{H} \wp (\mathfrak{t})}{ 1 + \mathfrak{t}^{ \varsigma -1}} \biggr\vert \to 0, \end{aligned}

as $$n \to \infty$$. So, $$\mathfrak{H}$$ is continuous.

STEP B: We show that $$\mathfrak{H}$$ is uniformly bounded. For this case, let $$\mathbb{Q}$$ be any bounded subset of $$\mathbb{P}$$, i.e., $$\mu >0, \|\wp \| \leq \mu$$ for any $$\wp \in \mathbb{Q}$$. It is enough to prove that $$\mathfrak{H}(\wp )$$ is bounded in $$\mathbb{P}$$. For $$\wp \in \mathbb{Q}$$, we obtain:

\begin{aligned} \Vert \mathfrak{H} \wp \Vert ={}& \sup_{\mathfrak{t} \in \jmath } \Biggl( \int _{0}^{ \infty } \frac{ {}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \xi )}{ 1 + \mathfrak{t}^{\varsigma -1}} \mathfrak{w}\bigl( \mathfrak{t}, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ & {}+ \frac{\mathfrak{t}^{ \varsigma -1}}{ \Lambda } \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} \int _{0}^{\infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}} (\xi _{i}, \xi )}{ 1 + \mathfrak{t}^{\varsigma -1}} \mathfrak{w}\bigl( \mathfrak{t}, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} + \frac{\mathfrak{t}^{\varsigma -1}}{ \Lambda } \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{0}^{\infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}}( {}_{2}\upeta _{i}, \xi )}{ 1 + \mathfrak{t}^{\varsigma -1}} \mathfrak{w}\bigl( \mathfrak{t}, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \Biggr) \\ \leq{}& \frac{1}{\Gamma _{\mathrm{q}}(\varsigma )} \int _{0}^{\infty } \bigl\vert \mathfrak{w}\bigl( \mathfrak{t}, \wp (\xi )\bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} + \frac{ \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{ \Lambda \Gamma _{\mathrm{q}}(\varsigma )} \int _{0}^{\infty } \bigl\vert \mathfrak{w}\bigl( \mathfrak{t}, \wp (\xi )\bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{ \varsigma - \nu -1}}{ \Lambda \Gamma _{\mathrm{q}}( \varsigma -\nu )} \int _{0}^{\infty } \mathfrak{w}\bigl(\mathfrak{t}, \wp ( \xi )\bigr) \,\mathrm{d}_{\mathrm{q}}\xi \\ = {}&\biggl(\frac{1}{ \Gamma _{\mathrm{q}}(\varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma )} \\ &{} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{ \Lambda \Gamma _{\mathrm{q}}( \varsigma -\nu )} \biggr) \int _{0}^{\infty } \biggl\vert \mathfrak{w} \biggl( \xi, \frac{\wp (\xi ) (1 + \xi ^{\varsigma -1} )}{ 1 +\xi ^{ \varsigma -1}} \biggr) \biggr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ = {}&\biggl(\frac{1}{ \Gamma _{\mathrm{q}}(\varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{ \Lambda \Gamma _{\mathrm{q}}(\varsigma )} \\ & {} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{ \Lambda \Gamma _{\mathrm{q}}( \varsigma -\nu )} \biggr) \int _{0}^{\infty } \biggl\vert \mathfrak{w} \biggl( \xi, \frac{\wp (\xi )}{ 1+ \xi ^{\varsigma -1}} \biggr) \biggr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ \leq{}& \mathfrak{p}(\mu ) \nabla \int _{0}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi < \infty. \end{aligned}

Hence, $$\mathfrak{H} (\mathbb{Q})$$ is uniformly bounded. Now, we show that $$\mathfrak{H} (\mathbb{Q})$$ is equicontinuous on any compact interval. First, for each given $$\overline{s}>0, \mathfrak{t}_{1}, \mathfrak{t}_{2} \in [0, \overline{s}]$$, and $$\wp \in \mathbb{P}$$, and $$\mathfrak{t}_{2} > \mathfrak{t}_{1}$$, we deduce:

\begin{aligned} \biggl\vert \frac{\mathfrak{H} \wp (\mathfrak{t}_{2} )}{ 1 + \mathfrak{t}_{2}^{ \varsigma -1}} - \frac{\mathfrak{H} \wp (\mathfrak{t}_{1} )}{ 1 + \mathfrak{t}_{1}^{ \varsigma - 1}} \biggr\vert \leq{}& \biggl\vert \int _{0}^{\infty } \frac{ {}_{1}\mathbb{G}_{\mathrm{q}} (\mathfrak{t}_{2}, \xi )}{ 1 + \mathfrak{t}_{2}^{ \varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} - \int _{0}^{\infty } \frac{ {}_{1}\mathbb{G}_{\mathrm{q}} (\mathfrak{t}_{1}, \xi )}{ 1 +\mathfrak{t}_{1}^{ \varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \biggr\vert \\ &{} + \Biggl\vert \biggl( \frac{ \mathfrak{t}_{2}^{\varsigma -1}}{1 + \mathfrak{t}_{2}^{ \varsigma -1}} - \frac{\mathfrak{t}_{1}^{\varsigma -1}}{1+\mathfrak{t}_{1}^{ \varsigma -1}} \biggr) \\ & {}\times \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} \int _{0}^{ \infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}} ({}_{1}\upeta _{i}, \xi )}{\Lambda } \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \Biggr\vert \\ & {}+ \Biggl\vert \biggl( \frac{ \mathfrak{t}_{2}^{ \varsigma -1}}{ 1 +\mathfrak{t}_{2}^{\varsigma -1}} - \frac{\mathfrak{t}_{1}^{ \varsigma -1}}{ 1 +\mathfrak{t}_{1}^{\varsigma -1}} \biggr) \\ &{} \times \sum_{i=1}^{m} {}_{2} \mathrm{a}_{i} \int _{0}^{ \infty } \frac{{}_{2}\mathbb{G}_{\mathrm{q}} ({}_{2}\upeta _{i}, \xi )}{\Lambda } \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \Biggr\vert \\ \leq{}& \biggl\vert \int _{0}^{\infty } \frac{ {}_{1}\mathbb{G}_{\mathrm{q}} (\mathfrak{t}_{2}, \xi )}{ 1 + \mathfrak{t}_{2}^{ \varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ & {}- \int _{0}^{\infty } \frac{ {}_{1}\mathbb{G}_{\mathrm{q}} (\mathfrak{t}_{1}, \xi )}{1 + \mathfrak{t}_{2}^{\varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \biggr\vert \\ &{} + \biggl\vert \int _{0}^{\infty } \frac{ {}_{1}\mathbb{G}_{\mathrm{q}} (\mathfrak{t}_{1}, \xi )}{ 1 + \mathfrak{t}_{2}^{\varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} - \int _{0}^{\infty } \frac{{}_{1}\mathbb{G}_{\mathrm{q}} ( \mathfrak{t}_{1}, \xi )}{1 + \mathfrak{t}_{1}^{\varsigma -1}} \mathfrak{w} \bigl( \xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \biggr\vert \\ &{} + \Biggl\vert \biggl( \frac{ \mathfrak{t}_{2}^{ \varsigma -1}}{ 1 + \mathfrak{t}_{2}^{ \varsigma -1}} - \frac{\mathfrak{t}_{1}^{ \varsigma -1}}{ 1 +\mathfrak{t}_{1}^{ \varsigma -1}} \biggr) \\ &{} \times \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} \int _{0}^{\infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}} ( {}_{1}\upeta _{i}, \xi )}{\Gamma _{\mathrm{q}}(\varsigma ) - \Lambda } \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \Biggr\vert \\ & {}+ \Biggl\vert \biggl( \frac{ \mathfrak{t}_{2}^{ \varsigma -1}}{ 1+ \mathfrak{t}_{2}^{ \varsigma -1}} - \frac{\mathfrak{t}_{1}^{ \varsigma -1}}{1 + \mathfrak{t}_{1}^{ \varsigma -1}} \biggr) \\ &{} \times \sum_{i=1}^{m} {}_{2} \mathrm{a}_{i} \int _{0}^{ \infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}} ( {}_{2}\upeta _{i}, \xi )}{\Lambda } \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \Biggr\vert . \end{aligned}

On the other hand, for all $$\wp \in \mathbb{Q}$$, $$\mathfrak{t}_{1} \to \mathfrak{t}_{2}$$, we obtain

\begin{aligned} &\int _{0}^{\infty } \frac{ {}_{1}\mathbb{G}_{\mathrm{q}} (\mathfrak{t}_{2}, \xi ) - {}_{1}\mathbb{G}_{\mathrm{q}} (\mathfrak{t}_{1}, \xi )}{ 1 +\mathfrak{t}_{2}^{ \varsigma -1}} \bigl\vert \mathfrak{w}\bigl( \xi, \wp (\xi )\bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ & \quad\leq \int _{0}^{\mathfrak{t}_{1}} \biggl\vert \frac{ (\mathfrak{t}_{2}^{ \varsigma -1} - \mathfrak{t}_{1}^{ \varsigma -1} ) - ( (\mathfrak{t}_{2} - \mathrm{q} \xi )^{ (\varsigma -1)} - (\mathfrak{t}_{1} - \mathrm{q} \xi )^{(\varsigma -1)} )}{ \Gamma _{\mathrm{q}}( \varsigma ) ( 1 +\mathfrak{t}_{2}^{ \varsigma -1} )} \biggr\vert \mathfrak{w}\bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ & \qquad{}+ \int _{\mathfrak{t}_{1}}^{\mathfrak{t}_{2}} \biggl\vert \frac{\mathfrak{t}_{2}^{\varsigma -1} - \mathfrak{t}_{1}^{\varsigma -1} - (\mathfrak{t}_{2} - \mathrm{q} \xi )^{ (\varsigma -1)}}{ \Gamma _{\mathrm{q}}( \varsigma ) ( 1 + \mathfrak{t}_{2}^{\varsigma -1} )} \biggr\vert \mathfrak{w}\bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ & \qquad{}+ \int _{ \mathfrak{t}_{2}}^{ \infty } \biggl\vert \frac{ \mathfrak{t}_{2}^{ \varsigma -1} - \mathfrak{t}_{1}^{\varsigma -1}}{ \Gamma _{\mathrm{q}}( \varsigma ) ( 1 +\mathfrak{t}_{2}^{\varsigma -1} )} \biggr\vert \mathfrak{w}\bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &\quad \leq \int _{0}^{\mathfrak{t}_{1}} \frac{ (\mathfrak{t}_{2}^{ \varsigma -1} -\mathfrak{t}_{1}^{ \varsigma -1} ) + ( (\mathfrak{t}_{2}-\mathrm{q} \xi )^{( \varsigma -1)} - (\mathfrak{t}_{1} - \mathrm{q} )^{(\varsigma -1)} )}{\Gamma _{\mathrm{q}}( \varsigma ) ( 1 +\mathfrak{t}_{2}^{\varsigma -1} )} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &\qquad{} + \frac{ 3 \overline{s}^{ \varsigma - 1}}{ \Gamma _{\mathrm{q}}( \varsigma ) (1 + \mathfrak{t}_{2}^{ \varsigma -1} )} \int _{ \mathfrak{t}_{1}}^{ \mathfrak{t}_{2}} \mathfrak{w}\bigl(\xi, \wp ( \xi ) \bigr) \,\mathrm{d}_{\mathrm{q}}\xi \\ &\qquad{} + \frac{\mathfrak{t}_{2}^{ \varsigma -1} - \mathfrak{t}_{1}^{\varsigma -1}}{ \Gamma _{\mathrm{q}}( \varsigma ) ( 1 +\mathfrak{t}_{2}^{ \varsigma -1} )} \int _{\mathfrak{t}_{2}}^{\infty } \mathfrak{w}\bigl(\xi, \wp (\xi ) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &\quad \leq \mathfrak{p}(\mu ) \int _{0}^{\mathfrak{t}_{1}} \frac{ (\mathfrak{t}_{2}^{ \varsigma -1} - \mathfrak{t}_{1}^{\varsigma -1} ) + ( ( \mathfrak{t}_{2}-\mathrm{q} \xi )^{(\varsigma -1)} - ( \mathfrak{t}_{1} - \mathrm{q}\xi )^{ (\varsigma -1)} )}{ \Gamma _{\mathrm{q}}( \varsigma ) ( 1 +\mathfrak{t}_{2}^{ \varsigma -1} )} \uppsi (\xi ) \, \mathrm{d}_{\mathrm{q}} \xi \\ &\qquad{} +\mathfrak{p}(\mu ) \frac{3 \overline{s}^{ \varsigma -1}}{\Gamma _{\mathrm{q}}(\varsigma ) (1 + \mathfrak{t}_{2}^{ \varsigma -1} )} \int _{\mathfrak{t}_{1}}^{\mathfrak{t}_{2}} \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi \\ &\qquad{} + \mathfrak{p}(\mu ) \frac{ \mathfrak{t}_{2}^{ \varsigma -1} - \mathfrak{t}_{1}^{ \varsigma -1}}{ \Gamma _{\mathrm{q}}(\varsigma ) ( 1 +\mathfrak{t}_{2}^{\varsigma -1} )} \int _{\mathfrak{t}_{2}}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi \to 0. \end{aligned}
(16)

Similar to (16), for all $$\wp \in \mathbb{Q}$$, $$\mathfrak{t}_{1} \to \mathfrak{t}_{2}$$, we obtain

\begin{aligned} & \biggl\vert \int _{0}^{\infty } \frac{ {}_{1}\mathbb{G}_{\mathrm{q}} ( \mathfrak{t}_{1}, \xi )}{1 + \mathfrak{t}_{2}^{\sigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi - \int _{0}^{ \infty } \frac{{}_{1}\mathbb{G}_{\mathrm{q}} (\mathfrak{t}_{1}, \xi )}{ 1 +\mathfrak{t}_{1}^{ \varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \biggr\vert \\ &\quad \leq \int _{0}^{\infty } \frac{ {}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \xi ) \vert ( 1 +\mathfrak{t}_{1}^{ \varsigma -1} ) - (1 + \mathfrak{t}_{2}^{ \varsigma -1} ) \vert }{ ( 1 +\mathfrak{t}_{1}^{ \varsigma -1} ) ( 1 +\mathfrak{t}_{2}^{ \varsigma -1} )} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &\quad \leq \frac{ \vert \mathfrak{t}_{2}^{ \varsigma -1} - \mathfrak{t}_{1}^{ \varsigma -1} \vert }{ ( 1 +\mathfrak{t}_{2}^{\varsigma -1} )} \int _{0}^{\infty } \frac{{}_{1}\mathbb{G}_{\mathrm{q}} (\mathfrak{t}_{1}, \xi )}{ 1+ \mathfrak{t}_{1}^{ \varsigma -1} \mathfrak{w}(\xi, \wp (\xi )) \,\mathrm{d}_{\mathrm{q}} \xi } \\ &\quad \leq \frac{ \vert \mathfrak{t}_{2}^{ \varsigma -1} - \mathfrak{t}_{1}^{ \varsigma -1} \vert }{ ( 1 + \mathfrak{t}_{2}^{ \varsigma -1} )} \int _{0}^{\infty } \frac{1}{ \Gamma _{\mathrm{q}}(\varsigma )} \mathfrak{p}(\mu ) \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi \\ &\qquad{} + \mathfrak{p}(\mu ) \frac{ \vert \mathfrak{t}_{2}^{\varsigma -1} - \mathfrak{t}_{1}^{\varsigma -1} \vert }{ \Gamma _{\mathrm{q}}(\varsigma ) ( 1 + \mathfrak{t}_{2}^{ \varsigma -1} )} \int _{0}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi \to 0, \end{aligned}

and

\begin{aligned} &\Biggl\vert \biggl( \frac{ \mathfrak{t}_{2}^{ \varsigma -1}}{1+ \mathfrak{t}_{2}^{\varsigma -1}} - \frac{ \mathfrak{t}_{1}^{\varsigma -1}}{1 + \mathfrak{t}_{1}^{\varsigma -1}} \biggr) \Biggl( \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \int _{0}^{ \infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}} ( {}_{1}\upeta _{i}, \xi ) }{ \Lambda } \mathfrak{w} \bigl( \xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &\qquad{} + \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{0}^{ \infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}} ({}_{2}\upeta _{i}, \xi )}{\Lambda } \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \Biggr) \Biggr\vert \\ & \quad\leq \frac{ \vert \mathfrak{t}_{2}^{ \varsigma -1} - \mathfrak{t}_{1}^{ \varsigma -1} \vert }{ ( 1 +\mathfrak{t}_{2}^{ \varsigma -1} ) (1+\mathfrak{t}_{1}^{ \varsigma -1} )} \int _{0}^{\infty } \biggl( \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{ \varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma )} \\ &\qquad{} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma - \nu -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma -\nu )} \biggr) \mathfrak{w}\bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ & \quad\leq \frac{ \vert \mathfrak{t}_{2}^{ \varsigma -1} - \mathfrak{t}_{1}^{ \varsigma -1} \vert }{ (1 + \mathfrak{t}_{2}^{ \varsigma -1} ) (1 + \mathfrak{t}_{1}^{ \varsigma -1} )} \frac{\mathfrak{p}(\mu )}{ \Lambda } \biggl( \frac{ \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{ \Gamma _{\mathrm{q}}(\varsigma )} \\ &\qquad{} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma - \nu -1}}{ \Gamma _{\mathrm{q}}(\varsigma - \nu )} \biggr) \int _{0}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi \to 0. \end{aligned}

Hence, $$\mathfrak{H}(\mathbb{Q})$$ is equicontinuous on any compact intervals of ȷ.

STEP C: Let us prove that $$\mathfrak{H}$$ is equiconvergent at ∞. For any $$\wp \in \mathbb{Q}$$, by (A5)

\begin{aligned} \int _{0}^{\infty } \mathfrak{w}\bigl(\xi, \wp (\xi ) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \leq \mathfrak{p}(\mu ) \int _{0}^{\infty } \uppsi ( \xi ) \, \mathrm{d}_{\mathrm{q}} \xi < \infty, \end{aligned}
(17)

we have

\begin{aligned} \lim_{ \mathfrak{t} \to \infty } \biggl\vert \frac{\mathfrak{H} \wp }{ 1 + \mathfrak{t}^{\varsigma -1}} \biggr\vert ={}& \lim_{\mathfrak{t} \to \infty } \Biggl\vert \int _{0}^{\infty } \frac{{}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \xi )}{ 1 +\mathfrak{t}^{\varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} + \frac{\mathfrak{t}^{ \varsigma -1}}{\Lambda } \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \int _{0}^{\infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}} ({}_{1}\upeta _{i}, \xi )}{1 + \mathfrak{t}^{\varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ & {}+ \frac{ \mathfrak{t}^{\varsigma -1}}{ \Lambda } \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{0}^{\infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}}({}_{2}\upeta _{i}, \xi )}{ 1 +\mathfrak{t}^{\varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \Biggr\vert \\ \leq {}&\biggl( \frac{1}{\Gamma _{\mathrm{q}}( \varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}( \varsigma )} \\ & {} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma -\nu )} \biggr) \int _{0}^{\infty } \biggl\vert \mathfrak{w} \biggl( \xi, \frac{\wp (\xi ) (1+\xi ^{\varsigma -1} )}{ 1 +\xi ^{\varsigma -1}} \biggr) \biggr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ \leq {}&\biggl(\frac{1}{\Gamma _{\mathrm{q}}(\varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}( \varsigma )} \\ &{} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{\Lambda \Gamma _{\mathrm{q}}( \varsigma -\nu )} \biggr) \int _{0}^{\infty } \biggl\vert \mathfrak{w}_{\ast } \biggl(\xi, \frac{\wp (\xi )}{1+ \xi ^{\varsigma -1}} \biggr) \biggr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ \leq{}& \mathfrak{p}(\mu )\nabla \int _{0}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi < \infty. \end{aligned}

Thus, we obtain

\begin{aligned} \lim_{\mathfrak{t} \to + \infty } \biggl\vert \frac{ \mathfrak{H} \wp (\mathfrak{t})}{ 1 + \mathfrak{t}^{\varsigma -1}} \biggr\vert \to 0. \end{aligned}

Hence, $$\mathfrak{H}:\mathbb{P} \to \mathbb{P}$$ is equiconvergent at infinity. Thus, the operator $$\mathfrak{H}$$ is completely continuous. The proof is completed. □

In the next subsections, the boundary value problem’s (4) existence and uniqueness are shown via the Banach fixed-point theorem, the Schauder fixed-point theorem, and the Leray–Schauder nonlinear alternative theorem.

### Theorem 3.3

Suppose that $$\exists \mu >0$$, and functions $$\mathfrak{p}$$ and ψ satisfy:

\begin{aligned} \mu > \nabla \mathfrak{p}( \mu ) \int _{0}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi, \end{aligned}
(18)

and conditions (A5) and (A6) hold. Then, the boundary value problem (4) has an unbounded solution $$\wp (\mathfrak{t})$$ such that

\begin{aligned} 0 \leq \frac{ \wp ( \mathfrak{t})}{ 1 + \mathfrak{t}^{\varsigma -1}} \leq \mu \quad(\mathfrak{t} \in \jmath ). \end{aligned}

### Proof

Let

\begin{aligned} \Upsilon = \bigl\{ \wp \in \mathbb{P}: \Vert \wp \Vert \leq \mu \bigr\} , \end{aligned}

we have $$\wp \neq \lambda \mathfrak{H}\wp$$ for $$\wp \in \partial \Upsilon$$ and $$\lambda \in (0,1)$$. If $$\wp \in \partial \Upsilon$$ with $$\wp =\lambda \mathfrak{H}\wp$$, then for $$\lambda \in (0,1)$$, we obtain

\begin{aligned} \Vert \wp \Vert ={}& \sup_{\mathfrak{t} \in \jmath } \biggl\vert \frac{\lambda \mathfrak{H} \wp (\mathfrak{t})}{ 1 + \mathfrak{t}^{ \varsigma -1}} \biggr\vert \leq \sup_{\mathfrak{t} \in \jmath } \biggl\vert \frac{ \mathfrak{t} \wp (\mathfrak{t})}{ 1 + \mathfrak{t}^{\varsigma -1}} \biggr\vert \\ \leq{}& \sup_{\mathfrak{t} \in \jmath } \Biggl( \int _{0}^{\infty } \frac{ {}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \xi )}{ 1 +\mathfrak{t}^{\varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} + \frac{\mathfrak{t}^{\varsigma -1}}{ \Lambda } \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} \int _{0}^{\infty } \frac{{}_{2}\mathbb{G}_{\mathrm{q}} ( {}_{1}\upeta _{i}, \xi )}{ 1 +\mathfrak{t}^{ \varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ & {} + \frac{\mathfrak{t}^{ \varsigma -1}}{ \Lambda } \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{0}^{\infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}}({}_{2}\upeta _{i},\xi )}{ 1 + \mathfrak{t}^{\varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \Biggr) \\ \leq {}&\frac{1}{ \Gamma _{\mathrm{q}}(\varsigma )} \int _{0}^{\infty } \bigl\vert \mathfrak{w}\bigl(\xi, \wp (\xi )\bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ & {}+ \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{ \Lambda \Gamma _{\mathrm{q}}(\varsigma )} \int _{0}^{\infty } \bigl\vert \mathfrak{w}\bigl(\xi, \wp (\xi )\bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma -\nu )} \int _{0}^{\infty } \mathfrak{w}\bigl(\xi, \wp (\xi ) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ ={}& \biggl(\frac{1}{ \Gamma _{\mathrm{q}}(\varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma )} \\ &{} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{\Lambda \Gamma _{\mathrm{q}}( \varsigma -\nu )} \biggr) \int _{0}^{\infty } \biggl\vert \mathfrak{w} \biggl( \xi, \frac{\wp (\xi ) (1 + \xi ^{\varsigma -1} )}{ 1 +\xi ^{\varsigma -1}} \biggr) \biggr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ ={}& \biggl(\frac{1}{ \Gamma _{\mathrm{q}}( \varsigma )}+ \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}( \varsigma )} \\ & {} + \frac{\sum_{i=1}^{m} {}_{1}\upeta _{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{ \Lambda \Gamma _{\mathrm{q}}( \varsigma -\nu )} \biggr) \int _{0}^{\infty } \biggl\vert \mathfrak{w}_{*} \biggl(\xi, \frac{\wp (\xi )}{1+ \xi ^{\varsigma -1}} \biggr) \biggr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ \leq{}& \mathfrak{p}(\mu ) \nabla \int _{0}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi < \infty. \end{aligned}

Hence, for $$\wp \in \partial \Upsilon$$, we find

\begin{aligned} \mu \leq \mathfrak{p}(\mu ) \nabla \int _{0}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi, \end{aligned}

which contradicts (18). By the fixed-point theorem of Schauder, the problem (4) has an unbounded solution $$\wp =\wp (\mathfrak{t})$$,

\begin{aligned} 0 \leq \wp (\mathfrak{t}) \leq \mu \bigl( 1 + \mathfrak{t}^{ \varsigma - 1} \bigr),\quad \forall \mathfrak{t} \in \jmath. \end{aligned}

The proof is completed. □

### Theorem 3.4

From (A4), the boundary value problem (4) has at least 1 solution on $$\mathfrak{t}\in \jmath$$.

### Proof

Assume that an operator $$\mathfrak{H}$$ is defined in (14). By testing to see that all Schauder fixed-point theorem’s axioms on $$\mathcal{C}_{\infty }$$ are satisfied. $$\mathfrak{w}$$ and $${}_{1}\mathbb{G}_{\mathrm{q}}$$, $${}_{2}\mathbb{G}_{\mathrm{q}}$$ are given continuous functions indicating that the operator $$\mathfrak{H}$$ is continuous. The remainder of the Theorem 3.4 proof is divided as follows:

STEP A: Let

\begin{aligned} \Upsilon = \bigl\{ \wp \in \mathcal{C}_{\infty }: \Vert \wp \Vert \leqslant \mu \bigr\} , \end{aligned}

closed ball. Then, we prove that $$\mathfrak{H}: \Upsilon \to \Upsilon$$. We select

\begin{aligned} \mu \geqslant \mathfrak{p}(\mu )\nabla \int _{0}^{\infty } \uppsi ( \xi ) \, \mathrm{d}_{\mathrm{q}} \xi. \end{aligned}

For any $$\wp \in \mathcal{C}_{\infty }$$, we prove that $$\mathfrak{H} \Upsilon \subset \Upsilon$$. Hence, for $$\mathfrak{t} \in \jmath$$, we obtain:

\begin{aligned} \biggl\vert \frac{\mathfrak{H} \wp ( \mathfrak{t})}{ 1 + \mathfrak{t}^{\varsigma -1}} \biggr\vert \leq{}& \sup_{\mathfrak{t} \in \jmath } \Biggl( \int _{0}^{ \infty } \frac{{}_{1}\mathbb{G}_{\mathrm{q}}( \mathfrak{t}, \xi )}{ 1 +\mathfrak{t}^{\varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ & {} +\frac{\mathfrak{t}^{\varsigma - 1}}{ \Lambda } \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \int _{0}^{\infty } \frac{ {}_{1}\mathbb{G}_{\mathrm{q}} ( {}_{1}\upeta _{i}, \xi )}{ 1 + \mathfrak{t}^{\varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi ) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} + \frac{ \mathfrak{t}^{\varsigma -1}}{ \Lambda } \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{0}^{\infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}}({}_{2}\upeta _{i},\xi )}{ 1+ \mathfrak{t}^{\varsigma -1}} \mathfrak{w} \bigl(\xi, \wp (\xi )\bigr) \,\mathrm{d}_{\mathrm{q}} \xi \Biggr) \\ \leq{}& \frac{1}{ \Gamma _{\mathrm{q}}( \varsigma )} \int _{0}^{\infty } \bigl\vert \mathfrak{w}\bigl(\xi, \wp (\xi )\bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{ \varsigma -1}}{ \Lambda \Gamma _{\mathrm{q}}( \varsigma )} \int _{0}^{\infty } \bigl\vert \mathfrak{w}\bigl(\xi, \wp (\xi )\bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ &{} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{ \Lambda \Gamma _{\mathrm{q}}(\varsigma -\nu )} \int _{0}^{\infty } \mathfrak{w}\bigl(\xi, \wp (\xi ) \bigr) \,\mathrm{d}_{\mathrm{q}} \xi \\ ={}& \biggl(\frac{1}{\Gamma _{\mathrm{q}}( \varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma )} \\ & {} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{ \Lambda \Gamma _{\mathrm{q}}(\varsigma -\nu )} \biggr) \int _{0}^{\infty } \biggl\vert \mathfrak{w} \biggl( \xi, \frac{\wp (\xi ) ( 1 + \xi ^{\varsigma -1} )}{ 1 +\xi ^{\varsigma -1}} \biggr) \biggr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ = {}&\biggl(\frac{1}{\Gamma _{\mathrm{q}}( \varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{ \Lambda \Gamma _{\mathrm{q}}(\varsigma )} \\ & {} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma -\nu )} \biggr) \int _{0}^{\infty } \biggl\vert \mathfrak{w}_{\ast } \biggl(\xi, \frac{\wp (\xi )}{ 1+ \xi ^{\varsigma -1}} \biggr) \biggr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ \leq{}& \mathfrak{p}(\mu ) \nabla \int _{0}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi < \infty. \end{aligned}

As a result, $$\|\mathfrak{H} \wp \|_{\mathcal{C}_{\infty }} \leqslant \mu$$, which indicates that $$\mathfrak{H} \Upsilon \subset \Upsilon$$, i.e., the operator $$\mathfrak{H} \operatorname{maps} \Upsilon$$ into ϒ.

STEP B: From Lemma (3.2), we need to prove that $$\mathfrak{H}$$ is continuous and completely continuous on $$\mathcal{C}_{\infty }$$. Thus, by the Schauder fixed-point theorem, the operator $$\mathfrak{H}$$ has a fixed point in $$\mathcal{C}_{\infty }$$ which is a solution of problem (4). □

### Theorem 3.5

Let (A5) and a hypothesis hold (A6), is a positive function $$\varrho (\mathfrak{t})$$ with

\begin{aligned} \varrho ^{\ast }= \int _{0}^{ \infty } \bigl( 1 + \xi ^{\varsigma -1} \bigr) \varrho (\xi ) \,\mathrm{d} \xi < \infty \end{aligned}

and

\begin{aligned} \bigl\vert \mathfrak{w}(\mathfrak{t}, \wp ) - \mathfrak{w}(\mathfrak{t}, \acute{\wp }) \bigr\vert \leqslant \varrho (\mathfrak{t}) \vert \wp - \acute{ \wp } \vert , \quad\forall, \mathfrak{t} \in \jmath, \wp, \acute{\wp } \in \mathbb{R}. \end{aligned}

Then, the boundary value problem (4) has a unique solution: $$\wp (\mathfrak{t})$$ in $$\mathcal{C}_{\infty }$$. Moreover, is a monotone iterative sequence $$\{\wp _{n}(\mathfrak{t})\}$$ such that $$\wp _{n}(\mathfrak{t}) \to \wp (\mathfrak{t})$$ as $$n \to \infty$$, which is uniform on any unbounded subdomain of $$\mathfrak{t} \in \wp$$, where

\begin{aligned} \wp _{n}(\mathfrak{t}) = \int _{0}^{\infty } {}_{1} \mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \xi ) \mathfrak{w} \bigl(\xi, \wp _{n-1} ( \xi ) \bigr) \mathrm{ d} \xi. \end{aligned}

Furthermore, is an error estimate for the following:

\begin{aligned} \Vert \wp _{n} -\wp \Vert _{\infty } \leqslant \frac{ \theta ^{n}}{ 1 -\theta } \Vert \wp _{1} - \wp _{0} \Vert _{ \infty } \quad (n=1,2, \ldots ), \end{aligned}
(19)

and

\begin{aligned} \theta = \biggl(\frac{1}{\Gamma _{\mathrm{q}}(\varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma )} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma - \nu -1}}{ \Lambda \Gamma _{\mathrm{q}}( \varsigma - \nu )} \biggr) \varrho ^{\ast }< 1. \end{aligned}
(20)

### Proof

By considering an operator $$\mathfrak{H}$$ defined by the equation (14). Assume that $$\wp _{1}, \wp _{2} \in \mathcal{C}_{\infty }$$. For $$\mathfrak{t} \in \jmath$$, we have

\begin{aligned} &\biggl\vert \frac{1}{ 1 +\mathfrak{t}^{ \varsigma -1}} \bigl(\mathfrak{H} \wp _{1}( \mathfrak{t}) - \mathfrak{H} \wp _{2} (\mathfrak{t}) \bigr) \biggr\vert \\ &\quad \leq \sup_{\mathfrak{t} \in \jmath } \Biggl( \int _{0}^{\infty } \frac{{}_{1}\mathbb{G}_{\mathrm{q}} (\mathfrak{t}, \xi )}{ 1 +\mathfrak{t}^{\varsigma -1}} \bigl\vert \mathfrak{w}\bigl(\xi, \wp _{1}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp _{2}( \xi )\bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ & \qquad{}+ \frac{t^{\varsigma -1}}{\Lambda } \sum_{i=1}^{m} {}_{1} \mathrm{a}_{i} \int _{0}^{ \infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}} ({}_{1}\upeta _{i}, \xi )}{1+\mathfrak{t}^{ \varsigma -1}} \bigl\vert \mathfrak{w}\bigl(\xi, \wp _{1}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp _{2}( \xi )\bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ & \qquad{}+ \frac{\mathfrak{t}^{ \varsigma -1}}{ \Lambda }\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \int _{0}^{\infty } \frac{ {}_{2}\mathbb{G}_{\mathrm{q}} ( {}_{2}\upeta _{i}, \xi )}{ 1 + \mathfrak{t}^{\varsigma -1}} \bigl\vert \mathfrak{w}\bigl(\xi, \wp _{1}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp _{2}( \xi )\bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \Biggr) \\ &\quad\leq \frac{1}{\Gamma _{\mathrm{q}}( \varsigma )} \int _{0}^{ \infty } \bigl\vert \mathfrak{w}\bigl(\xi, \wp _{1}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp _{2}( \xi )\bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ &\qquad{} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{ \Lambda \Gamma _{\mathrm{q}}(\varsigma )} \int _{0}^{\infty } \bigl\vert \mathfrak{w}\bigl(\xi, \wp _{1}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp _{2}(\xi ) \bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ &\qquad{} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma - \nu -1}}{ \Lambda \Gamma _{\mathrm{q}}( \varsigma -\nu )} \int _{0}^{\infty } \bigl\vert \mathfrak{w}\bigl(\xi, \wp _{1}(\xi )\bigr) - \mathfrak{w}\bigl(\xi, \wp _{2}(\xi ) \bigr) \bigr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ &\quad\leq \biggl( \frac{1}{ \Gamma _{\mathrm{q}}( \varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma )} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma -\nu )} \biggr) \\ & \qquad{}\times \int _{0}^{\infty } \biggl\vert \mathfrak{w} \biggl( \xi, \frac{\wp _{1}(\xi ) ( 1 + \xi ^{\varsigma -1} )}{ 1 +\xi ^{\varsigma -1}} \biggr) \\ & \qquad{} - \mathfrak{w} \biggl(\xi, \frac{\wp _{2}(\xi ) (1 + \xi ^{ \varsigma -1} )}{ 1 +\xi ^{ \varsigma -1}} \biggr) \biggr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ &\quad\leq \biggl( \frac{1}{\Gamma _{\mathrm{q}}( \varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}( \varsigma )} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{\Lambda \Gamma _{\mathrm{q}}( \varsigma-\nu )} \biggr) \\ & \qquad{}\times \int _{0}^{\infty } \biggl\vert \mathfrak{w}_{\ast } \biggl(\xi, \frac{\wp _{1}(\xi )}{1 + \xi ^{\varsigma -1}} \biggr) - \mathfrak{w}_{\ast } \biggl(\xi, \frac{\wp _{2}(\xi )}{1 + \xi ^{\varsigma -1}} \biggr) \biggr\vert \,\mathrm{d}_{\mathrm{q}} \xi \\ &\quad\leq \biggl( \frac{1}{\Gamma _{\mathrm{q}}(\varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma )} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma -\nu )} \biggr) \\ & \qquad{}\times \biggl( \int _{0}^{\infty } \bigl[ \bigl(1 + \xi ^{ \varsigma -1} \bigr) \varrho (\xi ) \bigr] \,\mathrm{d}\xi \biggr) \Vert \wp _{1} - \wp _{2} \Vert _{\infty }. \end{aligned}

Consequently,

\begin{aligned} &\bigl\vert (\mathfrak{H} \wp _{1} ) (\mathfrak{t}) - (\mathfrak{H} \wp _{2} ) ( \mathfrak{t}) \bigr\vert \\ & \quad\leq \biggl( \frac{1}{ \Gamma _{\mathrm{q}}( \varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}(\varsigma )} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{\varsigma -\nu -1}}{\Lambda \Gamma _{\mathrm{q}}( \varsigma -\nu )} \biggr) \varrho ^{\ast } \Vert \wp - \acute{\wp } \Vert _{\infty } \\ &\quad = \theta \Vert \wp _{1}-\wp _{2} \Vert _{\infty }. \end{aligned}

Thus, we collect that

\begin{aligned} \Vert \mathfrak{H} \wp _{1} - \mathfrak{H} \wp _{2} \Vert _{ \infty } \leqslant \theta \Vert \wp _{1} - \wp _{2} \Vert _{ \infty }, \quad\forall \wp _{1}, \wp _{2} \in \mathcal{C}_{\infty }. \end{aligned}
(21)

As $$\theta <1$$, then the Banach fixed-point theorem ensures that $$\mathfrak{H}$$ has a unique fixed point in $$\mathcal{C}_{\infty }$$. Hence, the problem (4) has a unique solution $$\wp \in \mathcal{C}_{\infty }$$. Furthermore, for each $$\wp _{0}\in \mathcal{C}_{\infty }$$, $$\Vert \wp _{n} - \wp \Vert _{ \infty } \to 0$$ as $$n \to \infty$$, where $$\wp _{n}= \mathfrak{H} \wp _{n-1}$$ ($$n=1,2 \ldots$$). From (21), we find

\begin{aligned} \Vert \wp _{n} - \wp _{n-1} \Vert _{\infty } \leqslant \theta ^{n-1} \Vert \wp _{1} - \wp _{0} \Vert _{\infty }, \end{aligned}

and

\begin{aligned} \Vert \wp _{n} - \wp _{j} \Vert _{ \infty } \leqslant {}&\Vert \wp _{n} - \wp _{n-1} \Vert _{\infty } + \Vert \wp _{n-1} - \wp _{n-2} \Vert _{\infty } \\ & {}+ \cdots + \Vert \wp _{j+1} - \wp _{j} \Vert _{\infty } \\ ={}& \frac{\theta ^{n} (1 - \theta ^{n-j} )}{1-\theta } \Vert \wp _{1} - \wp _{0} \Vert _{\infty }. \end{aligned}
(22)

By supposing that $$n \to \infty$$ on both sides of (22), we can estimate

\begin{aligned} \Vert \wp _{n} - \wp \Vert _{\infty } \leqslant \frac{ \theta ^{n}}{1- \theta } \Vert \wp _{1} -\wp _{0} \Vert _{ \infty }. \end{aligned}

Hence equation (19) holds, and this theorem’s proof is completed. □

## 4 Applications via numerical results

### Example 4.1

By taking

\begin{aligned} \varsigma = \frac{7}{2} \in (3, 4],\qquad \nu = \frac{9}{5}>0, \end{aligned}

and $$q=\{\frac{1}{8}, \frac{1}{2},\frac{10}{13} \}$$, let us have the following boundary value problem for nonlinear fractional q-difference equations on an unbounded domain:

\begin{aligned} \textstyle\begin{cases} \mathbb{D}_{\mathrm{q}}^{\frac{7}{2}} \wp (\mathfrak{t}) = \frac{ \ln (1+\mathfrak{t})}{ ( 1 +\mathfrak{t}^{2} )^{2} } + \frac{e^{-3t} }{1 +\mathfrak{t}^{2} } \sin ( 3\mathfrak{t}^{2} + \vert \wp (\mathfrak{t} ) \vert ), \quad \mathfrak{t} \in \jmath, \\ \wp (0) = \wp ^{\prime }(0) = \wp ^{\prime \prime }(0)=0, \\ \mathbb{D}_{\mathrm{q}}^{\frac{5}{2}} \wp ( \infty ) = \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \wp ({}_{1}\upeta _{i}) + \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \mathbb{D}_{\mathrm{q}}^{2} \wp ({}_{2}\upeta _{i}), \end{cases}\displaystyle \end{aligned}
(23)

where

\begin{aligned} \mathfrak{w}(\mathfrak{t}, \wp ) = \frac{\ln (1+\mathfrak{t})}{ (1 + \mathfrak{t}^{2} )^{2}} + \frac{e^{-3\mathfrak{t}}}{ (1 + \mathfrak{t}^{2} )} \sin \bigl( 3 \mathfrak{t}^{2} + \bigl\vert \wp (\mathfrak{t}) \bigr\vert \bigr), \end{aligned}

and $${}_{1}\mathrm{a}_{i}, {}_{2}\mathrm{a}_{i}, {}_{1}\upeta _{i}, {}_{2} \upeta _{i}$$ satisfy

\begin{aligned} 0 & \leq {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\frac{5}{2}} + {}_{2} \mathrm{a}_{i} {}_{2}\upeta _{i}^{\frac{1}{2}} \\ & = 1 \times \frac{1}{4} + 1 \times \frac{2}{3} =0.9166 < \Gamma _{ \mathrm{q}}(\varsigma ) = \textstyle\begin{cases} 1.2076, & \mathrm{q}= \frac{1}{8}, \\ 2.3814, & \mathrm{q}= \frac{1}{2}, \\ 5.5035, & \mathrm{q}= \frac{10}{13}, \end{cases}\displaystyle \end{aligned}

whenever, we take

\begin{aligned} {}_{1}\upeta _{i} = \frac{1}{4},\qquad {}_{2}\upeta _{i} = \frac{2}{3},\qquad {}_{1} \mathrm{a}_{i} = {}_{2}\mathrm{a}_{i}=1. \end{aligned}

We can see the results of Λ and θ in Tables 1 and 2. These results are plotted in Fig. 1. Then (A4) holds. Secondly, we obtain

\begin{aligned} \bigl\vert \mathfrak{w}(\mathfrak{t}, \wp ) - \mathfrak{w}(\mathfrak{t}, \acute{\wp }) \bigr\vert & = \frac{e^{-3\mathfrak{t}} \vert \wp - \acute{\wp } \vert }{ 5 ( 1 + \mathfrak{t}^{2\cdot 5} )}. \end{aligned}

By taking $$\varrho (\mathfrak{t}) = \frac{e^{-\mathfrak{t}}}{ 5 ( 1 +\mathfrak{t}^{2} )}$$, we directly obtain:

\begin{aligned} \varrho ^{\ast }= \int _{0}^{+\infty } \varrho (\xi ) \bigl( 1 + \xi ^{ \varsigma -1} \bigr) \,\mathrm{d} \xi = \frac{1}{5} < + \infty. \end{aligned}

We shall check that condition (20) is satisfied. By using the MATLAB program Additional file 1, Algorithm 1) according to Eq. (14), we find

\begin{aligned} \theta & = \theta _{0} \varrho ^{\ast }\simeq \begin{Bmatrix} 0.4744, & \mathrm{q}= \frac{1}{8}, \\ 0.1357, & \mathrm{q}= \frac{1}{2}, \\ 0.0465, & \mathrm{q}= \frac{10}{13}, \end{Bmatrix} < 1 , \end{aligned}

where

\begin{aligned} \theta _{0}= \frac{1}{ \Gamma _{\mathrm{q}}( \varsigma )} + \frac{\sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} {}_{1}\upeta _{i}^{\varsigma -1}}{\Lambda \Gamma _{\mathrm{q}}( \varsigma )} + \frac{\sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} {}_{2}\upeta _{i}^{ \varsigma -\nu -1}}{\Lambda \Gamma _{\mathrm{q}}( \varsigma -\nu )}. \end{aligned}

Tables 1 and 2 show the results. Also, We can see a graphical representation of θ in Fig. 1. Thus, from Theorem 3.5, the boundary value problem (23) has a unique solution.

### Example 4.2

By taking

\begin{aligned} \varsigma =\frac{17}{5} \in (3,4], \qquad\nu = \frac{25}{9}>0, \end{aligned}

and

\begin{aligned} q =\biggl\{ \frac{1}{7}, \frac{1}{2}, \frac{8}{9}\biggr\} , \end{aligned}

let us have the following boundary value problem for nonlinear fractional q-difference equations on an unbounded domain:

\begin{aligned} \textstyle\begin{cases} \mathbb{D}_{\mathrm{q}}^{ \frac{17}{5}} \wp (\mathfrak{t}) = \frac{ e^{-2\mathfrak{t}} \vert \wp (\mathfrak{t}) \vert }{7 ( 1 + \sqrt[12]{\mathfrak{t}^{5}} )},\quad \mathfrak{t} \in \jmath, \\ \wp (0) = \wp ^{\prime }(0) = \wp ^{\prime \prime }(0) = 0, \\ \mathbb{D}_{\mathrm{q}}^{\frac{12}{5}} \wp ( \infty ) = \sum_{i=1}^{m} {}_{1}\mathrm{a}_{i} \wp ({}_{1}\upeta _{i}) + \sum_{i=1}^{m} {}_{2}\mathrm{a}_{i} \mathbb{D}_{\mathrm{q}}^{\frac{25}{9}} \wp ({}_{2} \upeta _{i}), \end{cases}\displaystyle \end{aligned}
(24)

where

\begin{aligned} &\mathfrak{w}(\mathfrak{t}, \wp ) = \frac{ e^{-2\mathfrak{t}} \vert \wp (\mathfrak{t}) \vert }{ 7 ( 1 + \sqrt[12]{\mathfrak{t}^{5}} ) }, \\ &\mathfrak{w}_{\ast }(\mathfrak{t}, \wp ) = \mathfrak{w} \bigl( \mathfrak{t}, \bigl(1+\mathfrak{t}^{\varsigma -1} \bigr)\wp \bigr) = \frac{ e^{-2\mathfrak{t}} \vert ( 1 + \mathfrak{t}^{\varsigma -1} ) \wp (\mathfrak{t}) \vert }{ 7 ( 1 + \sqrt[12]{\mathfrak{t}^{5}} ) }= \frac{1}{7} \bigl\vert \wp (\mathfrak{t}) \bigr\vert e^{-2\mathfrak{t}}. \end{aligned}

Choose $$\mathfrak{p}(\wp ) = |\wp (\mathfrak{t})|$$, $$\uppsi (\mathfrak{t}) = e^{-2\mathfrak{t}}$$. For example, if we take

\begin{aligned} &{}_{1}\mathrm{a}_{1} = 1,\qquad {}_{1} \mathrm{a}_{2}=1.5, \qquad{}_{2} \mathrm{a}_{1}=1,\qquad {}_{2}\mathrm{a}_{2}=0.75,\\ &{}_{1}\upeta _{1} =\frac{4}{5},\qquad {}_{1} \upeta _{2}= \frac{2}{3},\qquad {}_{2}\upeta _{1} = \frac{1}{3},\qquad {}_{2}\upeta _{2} = \frac{7}{8}, \end{aligned}

we have

\begin{aligned} \bigl\vert \mathfrak{w}_{\ast }(\mathfrak{t}, \wp ) - \mathfrak{w}\ast ( \mathfrak{t}, \acute{\wp }) \bigr\vert & = \frac{1}{7} e^{-2\mathfrak{t}} \vert \wp - \acute{\wp } \vert \leq \frac{e^{-2\mathfrak{t}}}{2} \vert \wp - \acute{\wp } \vert , \end{aligned}

and

\begin{aligned} 0 & \leq \Biggl\{ \sum_{i=1}^{m} a_{i}\xi _{i}^{\varsigma -1}+\sum _{i=1}^{m}b_{i} \xi _{i}^{\varsigma -\nu -1} \frac{\Gamma _{\mathrm{q}}(\varsigma )}{\Gamma _{\mathrm{q}}(\varsigma -\nu )} \Biggr\} \leq \Gamma _{\mathrm{q}}(\varsigma ) \\ & = \textstyle\begin{cases} -1.4396, &\mathrm{q}=\frac{1}{7}, \\ -0.0476, &\mathrm{q}=\frac{1}{2}, \\ -2.4611, &\mathrm{q}=\frac{8}{9}. \end{cases}\displaystyle \end{aligned}

Tables 3, 4 and 5 show the results. Also, We can see a graphical representation of

$$\nabla \mathfrak{p}( \mu ) \int _{0}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi,$$

in Fig. 2 whenever $$\mathrm{q}=\{\frac{1}{7}, \frac{1}{2}, \frac{8}{9}\}$$. Also, $${}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \mathfrak{s})$$ is a continuous function for $$(\mathfrak{t}, \mathfrak{s})\in [1, \infty )\times [1,\infty )$$ and

\begin{aligned} \bigl\vert \mathfrak{w}_{\ast }(\mathfrak{t}, \wp ) \bigr\vert \leq \uppsi (\mathfrak{t}) \mathfrak{p}\bigl( \vert \wp \vert \bigr), \end{aligned}

on $$\jmath \times \mathbb{R}$$ with $$\mathfrak{p} \in C(\jmath, \mathbb{R})$$ nondecreasing and

\begin{aligned} \int _{0}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi < + \infty. \end{aligned}

Furthermore,

\begin{aligned} \mathfrak{p}(\mu ) \int _{0}^{\infty } \uppsi (\xi ) \,\mathrm{d}_{\mathrm{q}} \xi & = \begin{Bmatrix} 0.0044, &\mathrm{q}=\frac{1}{7}, \\ 0.0077, &\mathrm{q}=\frac{1}{2}, \\ 0.0001, &\mathrm{q}=\frac{8}{9}. \end{Bmatrix} < \mu =0.1. \end{aligned}

Thus, from Theorem 3.3 we conclude that problem (24) has at least one positive solution $$\wp (\mathfrak{t})$$, for $$\mathfrak{t} \in \jmath$$,

\begin{aligned} 0 \leq \frac{\wp (\mathfrak{t})}{ 1 +\mathfrak{t}^{\frac{12}{5}}} \leq \mu. \end{aligned}

## 5 Conclusion

A fractional boundary value problem system has been proposed and studied in terms of its unbounded solutions’ existence for a class of nonlinear fractional q-difference equations via the Riemann–Liouville fractional q-derivative on an infinite interval. The system’s solution has been formulated using Green’s function. In addition, a compactness criterion has been obtained in special space. Fixed-point theorems have been utilized to obtain all our results in this work. Illustrative examples have been provided at the end of our study.

## Availability of data and materials

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

## References

1. Jackson, F.: On q-definite integrals. Q. J. Pure Appl. Math. 41, 193–203 (1910)

2. Zhao, X.K., Zhao, D., Ge, W.: Solvability for fractional multi-point boundary value problems on half-line. Ann. Differ. Equ. 27(3), 395–400 (2011)

3. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

4. Rajkovic, P.M., Marinkovic, S.D., Stankovic, M.S.: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1, 311–323 (2007)

5. Alzabut, J., Mohammadaliee, B., Samei, M.E.: Solutions of two fractional q-integro–differential equations under sum and integral boundary value conditions on a time scale. Adv. Differ. Equ. 2020, Article ID 304 (2020)

6. Rezapour, S., Samei, M.E.: On the existence of solutions for a multi-singular point-wise defined fractional q-integro-differential equation. Bound. Value Probl. 2020, Article ID 38 (2020)

7. Su, X., Zhang, S.: Unbounded solutions to a boundary value problem of fractional order on the half-line. Comput. Math. Appl. 61, 1079–1087 (2011)

8. Agarwal, R.P., Ahmad, B., Alsaedi, A., Al-Hutami, H.: Existence theory for q-antiperiodic boundary value problems of sequential q-fractional integro-differential equations. Abstr. Appl. Anal. 2014, Article ID 207547 (2014)

9. Agarwal, R.P.: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philol. Soc. 66, 365–370 (1969)

10. Al-Salam, W.A.: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 15, 135–140 (1966)

11. Annaby, M.H., Mansour, Z.S.: q-Fractional Calculus and Equations. Lecture Notes in Mathematics, vol. 2056. Springer, Berlin (2012)

12. Ferreira, R.A.C.: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 70, 1 (2010)

13. Etemad, S., Ntouyas, S.K., Ahmad, B.: Existence theory for a fractional q-integro-difference equation with q-integral boundary conditions of different orders. Mathematics 7, 659 (2019)

14. Wang, G., Ahmad, B., Zhang, L.: A coupled system of nonlinear fractional differential equations with multipoint fractional boundary conditions on an unbounded domain, hindawi publishing corporation. Abstr. Appl. Anal. 2012, Article ID 248709 (2012)

15. Zhang, L., Ahmad, B., Wang, G., Agarwal, R.P., Al-Yami, M., Shammakh, W.: Nonlocal integrodifferential boundary value problem for nonlinear fractional differential equations on an unbounded domain. Abstr. Appl. Anal. 2013, Article ID 813903 (2013)

16. Mason, T.E.: On properties of the solution of linear q-difference equations with entire function coefficients. Am. J. Math. 37, 439–444 (1915)

17. Trjitzinsky, W.J.: Analytic theory of linear q-difference equations. Acta Math. 61, 1–38 (1933)

18. Alizadeh, S., Baleanu, D., Rezapour, S.: Analyzing transient response of the parallel rcl circuit by using the Caputo–Fabrizio fractional derivative. Adv. Differ. Equ. 2020, Article ID 55 (2020)

19. 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, Article ID 135 (2020)

20. Balanu, D., Mohammadi, H., Rezapour, S.: Analysis of the model of hiv-1 infection of $$cd4^{+}$$ t-cell with a new approach of fractional derivative. Adv. Differ. Equ. 2020, Article ID 71 (2020)

21. Ahmad, B., Ntouyas, S., Purnaras, I.K.: Existence results for nonlocal boundary value problems of nonlinear fractional q-difference equations. Adv. Differ. Equ. 2012, Article ID 140 (2012)

22. Ahmad, B., Nieto, J.J., Alsaedi, A., Al-Hutami, H.: Boundary value problems of nonlinear fractional q-difference (integral) equations with two fractional orders and four-point nonlocal integral boundary conditions. Filomat 28(8), 1719–1736 (2014)

23. Almeida, R., Martínez, N.: Existence results for fractional q-difference equations of order $$\alpha \in] 2, 3[$$ with three-point boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 19, 1675–1685 (2014)

24. Ma, K., Li, X., Sun, S.: Boundary value problems of fractional q-difference equations on the half-line. Bound. Value Probl. 2019, Article ID 46 (2019)

25. Zhou, W.X., Liu, H.Z.: Existence solutions for boundary value problem of nonlinear fractional q-difference equations. Adv. Differ. Equ. 2013, Article ID 113 (2013)

26. 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, Article ID 218 (2020)

27. Baleanu, D., Etemad, S., Pourrazi, S., Rezapour, S.: On the new fractional hybrid boundary value problems with three-point integral hybrid conditions. Adv. Differ. Equ. 2019, Article ID 473 (2019)

28. Baleanu, D., Hedayati, V., Rezapour, S., Mohamed Al Qurashi, M.: On two fractional differential inclusions. SpringerPlus 5(1), 882 (2016)

29. Baleanu, D., Etemad, S., Rezapour, S.: On a fractional hybrid integro-differential equation with mixed hybrid integral boundary value conditions by using three operators. Alex. Eng. J. 59(5), 3019–3027 (2020)

30. Arara, A., Benchohra, M., Hamidia, N., Nieto, J.J.: Fractional order differential equations on an unbounded domain. Nonlinear Anal. 72, 580–586 (2010)

31. Su, X.: Solutions to boundary value problem of fractional order on unbounded domains in a Banach space. Nonlinear Anal. 74, 2844–2852 (2011)

32. Zhao, X.K., Ge, W.G.: Unbounded solutions for a fractional boundary value problem on the infinite interval. Acta Appl. Math. 109, 495–505 (2010)

33. 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, Article ID 475 (2019)

34. Samei, M.E., Hedayati, V., Rezapour, S.: Existence results for a fraction hybrid differential inclusion with Caputo–Hadamard type fractional derivative. Adv. Differ. Equ. 2019, Article ID 163 (2019). https://doi.org/10.1186/s13662-019-2090-8

35. 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)

36. Etemad, S.T.M.T., Etemad, S., Rezapour, S.: On a coupled Caputo conformable system of pantograph problems. Turk. J. Math. 45(1), 496–519 (2020)

37. Mohammadi, H., Kumar, S., Rezapour, S., Etemad, S.: A theoretical study of the Caputo–Fabrizio fractional modeling for hearing loss due to Mumps virus with optimal control. Chaos Solitons Fractals 144, Article ID 110668 (2021)

38. Matar, M.M., Abbas, M.I., Alzabut, J., Kaabar, M.K.A., Etemad, S., Rezapour, S.: Investigation of the p-Laplacian nonperiodic nonlinear boundary value problem via generalized Caputo fractional derivatives. Adv. Differ. Equ. 2021, Article ID 68 (2021)

39. Kac, V., Cheung, P.: Quantum Calculus. Springer, New York (2002)

40. Rajkovic, P.M., Marinkovic, S.D., Stankovic, M.S.: On q-analogues of Caputo derivative and Mittag-Leffler function. Fract. Calc. Appl. Anal. 10, 359–373 (2007)

## Acknowledgements

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

Not applicable.

## Author information

Authors

### Contributions

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

### Corresponding authors

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

## Ethics declarations

Not applicable.

Not applicable.

### Competing interests

The authors declare that they have no competing interests.

## Supplementary Information

Below is the link to the electronic supplementary material.

## Rights and permissions

Reprints and permissions

Boutiara, A., Benbachir, M., Kaabar, M.K.A. et al. Explicit iteration and unbounded solutions for fractional q–difference equations with boundary conditions on an infinite interval. J Inequal Appl 2022, 29 (2022). https://doi.org/10.1186/s13660-022-02764-6