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.
Similar content being viewed by others
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 [2–7]). For more details on this subject, refer to [8–20].
Recently, fractional boundary value problems on both bounded and unbounded domains have been extensively investigated (see [21–29]). 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 [30–38]). 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:
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:
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:
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:
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
\(\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:
where \(0<\mathrm{q}<1, 1<\varsigma <2\),
\({ \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:
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
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
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:
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
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\),
Generally, \(\forall \mathrm{v}, \acute{\mathrm{v}}\) and \(\varsigma \in { \mathbb{R}}\),
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
where the q-beta function’s expression in terms of the q-gamma function is ([39])
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})\),
\(\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
The q-integral of a function \(\wp:\jmath _{\mathfrak{t}} \to \mathbb{R}\) is written as
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]
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
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
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:
Obviously, we have:
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,
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:
via boundary conditions
has a unique solution
with Λ defined by
where
and
\(\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)
The Definition 2.2 and Lemma 2.3, imply that
The boundary conditions implies that \(\wp (0) = \wp '(0) = \wp ''(0) = 0\), thus,
hence,
We obtain:
By differentiating both sides of (10) along with (5), we obtain
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,
By the second condition of (7)
Moreover, equation (11) implies that
where Λ is given by (9). Consequently, the unique solution of problem (6) and (7) is given by the following formula
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:
-
(A1)
\({}_{1}\mathbb{G}_{\mathrm{q}}(\mathfrak{t}, \mathfrak{s})\) is a continuous function for \((\mathfrak{t}, \mathfrak{s})\in \jmath ^{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 \).
-
(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
To prove (A3), for \((\mathfrak{t}\mathrm{q}, \mathfrak{t}) \in \jmath ^{2}\), we obtain
The proof of Lemma 2.6 is completed. □
3 Main results
First, we define the norm space
equipped with the norm
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:
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:
-
(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}$$ -
(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}$$ -
(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
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\),
Lemma 3.2
A cone \(\mathbb{P} \subset \mathcal{C}_{\infty }\) is defined by
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:
and
Thus,
exists. Thus, \(\mathfrak{H}( \mathbb{P}) \subset \mathbb{P}\). Let \(\wp _{1}(\mathfrak{t}) = \frac{\wp (\mathfrak{t})}{ 1 + \mathfrak{t}^{\varsigma -1}}\) and
Then by (A4),
Taking \(\wp _{n} \to \wp \) as \(n \to +\infty \) in \(\mathcal{C}_{\infty }\), by (A5), we obtain:
\(\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
Hence, combining (15), we obtain
Hence,
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:
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:
On the other hand, for all \(\wp \in \mathbb{Q}\), \(\mathfrak{t}_{1} \to \mathfrak{t}_{2}\), we obtain
Similar to (16), for all \(\wp \in \mathbb{Q}\), \(\mathfrak{t}_{1} \to \mathfrak{t}_{2}\), we obtain
and
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)
we have
Thus, we obtain
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.
3.1 Existence via the Leray–Schauder nonlinear alternative theorem
Theorem 3.3
Suppose that \(\exists \mu >0\), and functions \(\mathfrak{p}\) and ψ satisfy:
and conditions (A5) and (A6) hold. Then, the boundary value problem (4) has an unbounded solution \(\wp (\mathfrak{t})\) such that
Proof
Let
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
Hence, for \(\wp \in \partial \Upsilon \), we find
which contradicts (18). By the fixed-point theorem of Schauder, the problem (4) has an unbounded solution \(\wp =\wp (\mathfrak{t})\),
The proof is completed. □
3.2 Existence via the Schauder FpThm
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
closed ball. Then, we prove that \(\mathfrak{H}: \Upsilon \to \Upsilon \). We select
For any \(\wp \in \mathcal{C}_{\infty }\), we prove that \(\mathfrak{H} \Upsilon \subset \Upsilon \). Hence, for \(\mathfrak{t} \in \jmath \), we obtain:
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). □
3.3 Existence and uniqueness results via the Banach FpThm
Theorem 3.5
Let (A5) and a hypothesis hold (A6), ∃ is a positive function \(\varrho (\mathfrak{t})\) with
and
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
Furthermore, ∃ is an error estimate for the following:
and
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
Consequently,
Thus, we collect that
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
and
By supposing that \(n \to \infty \) on both sides of (22), we can estimate
Hence equation (19) holds, and this theorem’s proof is completed. □
4 Applications via numerical results
Example 4.1
By taking
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:
where
and \({}_{1}\mathrm{a}_{i}, {}_{2}\mathrm{a}_{i}, {}_{1}\upeta _{i}, {}_{2} \upeta _{i}\) satisfy
whenever, we take
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
By taking \(\varrho (\mathfrak{t}) = \frac{e^{-\mathfrak{t}}}{ 5 ( 1 +\mathfrak{t}^{2} )}\), we directly obtain:
We shall check that condition (20) is satisfied. By using the MATLAB program Additional file 1, Algorithm 1) according to Eq. (14), we find
where
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
and
let us have the following boundary value problem for nonlinear fractional q-difference equations on an unbounded domain:
where
Choose \(\mathfrak{p}(\wp ) = |\wp (\mathfrak{t})|\), \(\uppsi (\mathfrak{t}) = e^{-2\mathfrak{t}}\). For example, if we take
we have
and
Tables 3, 4 and 5 show the results. Also, We can see a graphical representation of
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
on \(\jmath \times \mathbb{R}\) with \(\mathfrak{p} \in C(\jmath, \mathbb{R})\) nondecreasing and
Furthermore,
Thus, from Theorem 3.3 we conclude that problem (24) has at least one positive solution \(\wp (\mathfrak{t})\), for \(\mathfrak{t} \in \jmath \),
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
Jackson, F.: On q-definite integrals. Q. J. Pure Appl. Math. 41, 193–203 (1910)
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)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Rajkovic, P.M., Marinkovic, S.D., Stankovic, M.S.: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1, 311–323 (2007)
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)
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)
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)
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)
Agarwal, R.P.: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philol. Soc. 66, 365–370 (1969)
Al-Salam, W.A.: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 15, 135–140 (1966)
Annaby, M.H., Mansour, Z.S.: q-Fractional Calculus and Equations. Lecture Notes in Mathematics, vol. 2056. Springer, Berlin (2012)
Ferreira, R.A.C.: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 70, 1 (2010)
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)
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)
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)
Mason, T.E.: On properties of the solution of linear q-difference equations with entire function coefficients. Am. J. Math. 37, 439–444 (1915)
Trjitzinsky, W.J.: Analytic theory of linear q-difference equations. Acta Math. 61, 1–38 (1933)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Baleanu, D., Hedayati, V., Rezapour, S., Mohamed Al Qurashi, M.: On two fractional differential inclusions. SpringerPlus 5(1), 882 (2016)
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)
Arara, A., Benchohra, M., Hamidia, N., Nieto, J.J.: Fractional order differential equations on an unbounded domain. Nonlinear Anal. 72, 580–586 (2010)
Su, X.: Solutions to boundary value problem of fractional order on unbounded domains in a Banach space. Nonlinear Anal. 74, 2844–2852 (2011)
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)
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)
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
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)
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)
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)
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)
Kac, V., Cheung, P.: Quantum Calculus. Springer, New York (2002)
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.
Funding
Not applicable.
Author information
Authors and Affiliations
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
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
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
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02764-6