Abstract
Recent research indicates the need for improved models of physical phenomena with multiple shocks. One of the newest methods is to use differential inclusions instead of differential equations. In this work, we intend to investigate the existence of solutions for an m-dimensional system of quantum differential inclusions. To ensure the existence of the solution of inclusions, researchers typically rely on the Arzela–Ascoli and Nadler’s fixed point theorems. However, we have taken a different approach and utilized the endpoint technique of the fixed point theory to guarantee the solution’s existence. This sets us apart from other researchers who have used different methods. For a better understanding of the issue and validation of the results, we presented numerical algorithms, tables, and some figures. The paper ends with an example.
Similar content being viewed by others
1 Introduction
It can be said that the study and extension of fractional calculus (FC) is pioneering the research in the field of nonlinear analysis in the 21st century. In other words, there is a general consensus among researchers to use fractional differential equations to model different natural and physical phenomena. Of course, this is not only due to the capabilities of fractional operators but also experimental data, and evidence confirms the capabilities of these operators in better interpretation of problems in engineering, biology, physics, etc. [1]. FC is a branch of mathematics in which derivative and integral operators are defined for arbitrary fractional orders. This fractional order causes the most significant feature of fractional operators, i.e., nonlocality. A detailed report on the properties of these operators can be found in the books of Podlubny and Kilbas [2, 3]. Viscosity, heat flow, and hereditary polarization in dielectrics are among the results of physicists’ approach to the issue of nonlocality [4]. However, other areas have different approaches to this issue. Mathematicians also focused on generalizing, expanding, and introducing new fractional operators for use in modeling various phenomena. The most famous of these are the Riemann–Liouville, Caputo, Hadamard, Caputo–Hadamard, q-Caputo, ψ-Caputo, Atangana–Baleanu (AB), and Hilfer operators. For the latest results of these collaborative efforts, see [5–17]. Regardless of the type of fractional operator used, it is a more powerful model that has higher interpretation accuracy and less error, so the use of computers and software packages in presenting models has been of interest to researchers. Therefore, it is momentous to work in a field where it is possible to use computer algorithms for complex calculations. In the sequel, we also provide this space with the help of quantum calculus and time scales.
In 1910, Frank Hilton Jackson laid the foundations of quantum calculus (QC) by introducing two new operators, q- and h-derivatives [18, 19]. In his definition of a derivative, he removed the concept of a limit, and this caused a discrete space to be prepared for the analysis of problems. The characteristics of these two operators have been investigated in detail by Kac and Cheung in [20]. The q-derivative was more popular than the other, and it did not take long for it to be noticed by researchers in the fields of mathematics and physics. In recent years, the quantum derivative operator has been used due to the simultaneous use of FC capabilities and the possibility of providing algorithms for calculations in fractional modeling. For example, the most recent results can be seen in [21–24].
It is clear that finding the solution and its exclusivity for inclusions is a fundamental issue, that is why the theoretical investigation and knowledge of the properties of multifunctions is momentous. Here the fixed point theory with the help of inequalities plays a significant role in finding the solutions. The most recent results related to the fixed point of set-valued mappings are: a fixed point theorem for set-valued quasicontractions in b-metric spaces [25], existence of fixed points of generalized contractive multivalued mappings of integral type [26], the generic existence and approximation of fixed points [27], existence principles for integral inclusions [28], endpoint of closed set-valued contractions [29], and endpoint properties of multifunctions [30]. Various researchers have studied initial and boundary value problems related to multifunctions. These multivalued problems (inclusions) are present in the mathematical modeling of diverse issues in economics, optimal control, and other fields [31–33]. The growing interest in fractional-order inclusion problems is apparent in recent works [34–39]. For the first time in 2013, Ahmad and Ntouyas raised the issue of quantum differential inclusion [40]. They examined the existence of solutions for nonlinear fractional q-difference inclusions as follows:
where \({}^{C}\mathcal{D}_{q}^{\eta}\) is the fractional q-derivative of the Caputo type, \(\mathcal{T}:[0,1]\times \mathbb{R}\to P(\mathbb{R})\) is a multifunction, \(P(\mathbb{R})\) is the family of all subsets of \(\mathbb{R}\mathbbm{,}\) and \(a_{i},b_{i},c_{i},r_{i}\in \mathbb{R}\ (i=1,2)\). A year later, Ahmed and his colleagues in [41] investigated the existence of solutions for fractional q-integro-difference inclusions with fractional q-integral boundary conditions as follows:
where \({}^{C}\mathcal{D}_{q}^{\beta}\) is the fractional q-derivative of the Caputo type and \(0<\beta \leq 1\), \(0<\gamma \leq 1\), \(0<\delta <1\), \(\mathcal{T},\mathcal{F}:[0,1]\times \mathbb{R}\to P(\mathbb{R})\) are multifunctions, \(a,b,A,B,\alpha,\sigma \in \mathbb{R}\), and
After the aforementioned works (i.e., [40, 41]), further studies were conducted on quantum inclusions. For example, in [42] a fractional hybrid q-difference inclusion was examined. In [43], α–ψ-contraction and solutions of a q-fractional differential inclusion were explored. The existence of analytical and numerical results for a fractional q-differential inclusion with double integral boundary conditions was studied in [44]. Additionally, a computational method for investigating a quantum integro-differential inclusion was explored in [45].
To the best of our knowledge, the endpoint property has not been used to investigate the existence of the solution for an m-dimensional inclusion system, and this is part of the novelty of our work. Therefore, considering the topics discussed above and getting motivation from previous works, we want here to examine the existence of a solution for the following fractional quantum integro-differential inclusion problem:
under double integral boundary conditions
where in our problem \(\kappa \in \mathcal{K}=[0,1]\), \({}^{C}\mathcal{D}_{q}^{\eta}\) is the Caputo quantum operator of fractional order \(1\leq \eta _{j}<2\), and \(\theta, \lambda, \sigma _{j}, \delta _{j}\in (0,1)\) are such that \(\mathcal{T}_{j}:\mathcal{K}\times \mathbb{R}^{4}\to \mathcal{P}( \mathbb{R})\), for \(j=1,\dots,m\), is a multifunction where \(\mathcal{P}(\mathbb{R})\) denotes the set of all subsets of real numbers. The dominant approach of researchers to guarantee the existence of the solution of inclusions is to use Arzela–Ascoli and Nadler’s fixed point theorems. But these two methods, in addition to being long and complicated, are based on the convexity of the inclusion in the problem. But in the endpoint method, we do not have the limitation of convexity, so we will reach the desired result with this method. Note that we will continue to do all our calculations on the time scales, namely \(TS_{\kappa _{0}}=\{\kappa _{0},\kappa _{0}q,\kappa _{0}q^{2}, \dots \}\cup \{0\}\), where \(\kappa _{0} \in \mathbb{R}\) and \(q\in (0,1)\).
2 Basic preliminaries
Definition 2.1
([18])
Assume that \(v,p \in \mathbb{R}\), \(n\in \mathbb{N}_{0}=\mathbb{N}\cup \{0\}\), then the quantum-analogue of v and power function \((v-p)^{n}\) are respectively defined as follows:
and
The above power function for any real number λ is expressed as follows:
It is obvious that if \(p=0\) then \(v^{(\lambda )}=v^{\lambda}\).
Definition 2.2
([19])
Let \(v\in \mathbb{R}-\{0,-1,-2, \dots \}\), then the quantum gamma function is formulated as follows:
Also, it is worth mentioning that \(\Gamma _{q}(v +1)=[v]_{q} \Gamma _{q} (v)\) holds true.
In the following, we present an Algorithm 1 for calculating the quantum gamma function, which we illustrated in Tables 1 and 2 for some values of q.
Definition 2.3
([46])
The quantum derivative of a continuous function \(\mathbf{z}(\kappa )\) is defined as follows:
in addition, \((\mathcal{D}_{q} \mathbf{z})(0) = \lim_{\kappa \to 0}(\mathcal{D}_{q} \mathbf{z})(\kappa )\). Furthermore, for all \(n\in \mathbb{N}\), the relation \((\mathcal{D}_{q}^{n} \mathbf{z})(\kappa )= \mathcal{D}_{q} ( \mathcal{D}_{q}^{n -1} \mathbf{z})(\kappa )\) holds true.
Definition 2.4
([46])
The Jackson integral of \(\mathbf{z}\in \mathcal{C}([0,a],\mathbb{R})\) is given as follows:
provided the right-hand side is absolutely convergent. Furthermore, for all \(n\in \mathbb{N}\), the relation \(\mathcal{I}^{n}_{q}\mathbf{z}(\kappa )=\mathcal{I}(\mathcal{I}^{n-1}_{q} \mathbf{z}(\kappa ))\) holds true.
Remark 2.5
([46])
For a continuous function z, the following relations hold true at \(\kappa =0\):
Definition 2.6
([47])
Suppose that \(\mathbf{z}(\kappa ):[0,\infty ]\to \mathbb{R}\) is a continuous function, then its fractional Riemann–Liouville quantum integral and its fractional Caputo quantum derivative are respectively expressed by
and
Lemma 2.7
([48])
Assume that \(n=[\eta ]+1\), then the following relation holds true:
which is deduced from the general solution for \({}^{C}\mathcal{D}_{q}^{\eta}\mathbf{z}(\kappa )=0\), expressed by
where \(t_{0}, \dots, t_{n-1}\in \mathbb{R}\).
Notation 2.8
Here, we introduce some symbols that are used in the topology of the used space. Let \((\mathcal{G},d_{\mathcal{G}})\) be a metric space, also suppose that \(\mathcal{P(\mathcal{G})}\) and \(2^{\mathcal{G}}\) represent the set of all subsets of \(\mathcal{G}\) and the set of all nonempty subsets of \(\mathcal{G}\), respectively. In the sequel, we use the symbols \(\mathcal{P}_{cl}(\mathcal{G})\), \(\mathcal{P}_{{b}d}(\mathcal{G})\), \(\mathcal{P}_{cx}(\mathcal{G})\), and \(\mathcal{P}_{ct}(\mathcal{G})\), respectively, to denote the classes of all closed, bounded, convex, and compact subsets of \(\mathcal{G}\).
Definition 2.9
([30])
A fixed point of a multifunction (set-valued map) such as \(\mathcal{E}:\mathcal{G}\to 2^{\mathcal{G}}\) is an element \(\kappa \in \mathcal{K}\) such that \(\kappa \in \mathcal{E}(\kappa )\). Moreover, if we have \(\mathcal{E}(\kappa )=\{\kappa \}\), then this element, namely κ, is called an endpoint of \(\mathcal{E}\).
Definition 2.10
([30])
Let \((\mathcal{G},d_{\mathcal{G}})\) be a metric space and \(\mathcal{E}:\mathcal{G}\to 2^{\mathcal{G}}\) a multifunction. Then \(\mathcal{E}\) has an approximative property if \(\inf_{\kappa \in \mathcal{G}}\sup_{r\in \mathcal{E}(\kappa )}\,\mathrm{d}_{ \mathcal{G}}(\kappa,r)=0\).
Definition 2.11
([49])
If \((\mathcal{G},d_{\mathcal{G}})\) is a metric space, then the Pompeiu–Hausdorff metric, namely \(\mathcal{HM}:2^{\mathcal{G}}\times 2^{\mathcal{G}}\to [0,\infty ]\), is defined as follows:
where \(\mathcal{HM}(\mathcal{Z},w)=\inf_{z\in \mathcal{Z}}\,\mathrm{d}_{\mathcal{G}}(z,w)\). Then \((\mathcal{P}_{bd,cl}(\mathcal{G}),\mathcal{HM})\) and \((\mathcal{P}_{cl}(\mathcal{G}),\mathcal{HM})\) represent a metric space and a generalized metric space, respectively.
Definition 2.12
([49])
Assume that \(\mathcal{V}=\mathcal{C}(\mathcal{K},\mathbb{R})\). Then define the space
equipped with the norm
for all \(j=1,\dots,m\). Therefore the product space \(\mathcal{G}=\mathcal{G}_{1}\times \cdots \times \mathcal{G}_{m}\), equipped with the norm \(\Vert (z_{1},\dots,z_{m})\Vert =\sum_{j=1}^{m} \Vert \mathbf{z} \Vert _{j}\), namely \((\mathcal{G},\Vert \cdot \Vert )\), is a Banach space.
Definition 2.13
Let \(\boldsymbol{w}\in \mathcal{G}\), then for all \(\kappa \in \mathcal{K}\), define the set of selection of \(\mathcal{S}^{*}\) as follows:
If \(\dim (\mathcal{G})<\infty \), then the above selection is nonempty, which is proved in [49].
In 2010, Amini–Harandi introduced the endpoint technique, which plays an essential role in proving our main result [30]. Now we will present it here.
Lemma 2.14
([30])
Suppose that \((\mathcal{G},d_{\mathcal{G}})\) is a complete metric space, also consider two maps Ψ and \(\mathcal{E}\) with the following properties:
-
\(\Psi:[0, \infty ) \to [0, \infty )\) is upper semicontinuous (usc), i.e., \(\forall \kappa >0\) we have \(\Psi (\kappa )<\kappa \) and \(\liminf_{\kappa \to \infty}(\kappa -\Psi (\kappa ))>0\).
-
\(\forall w,z \in \mathcal{G}\), for the set-valued map \(\mathcal{E}:\mathcal{G}\to \mathcal{P}_{cl,bd}(\mathcal{G})\), the inequality \(\mathcal{HM} (\mathcal{E}(w),\mathcal{E}(r) )\leq \Psi (d_{ \mathcal{G}}(w,r) )\) holds true.
Then the set-valued map \(\mathcal{E}\) has a unique endpoint iff \(\mathcal{E}\) has an approximative endpoint property.
3 Main results
Now we have provided the prerequisites necessary to express our main results, and only one lemma remains, which we prove here.
Lemma 3.1
The unique solution to the fractional q-differential problem \({}^{c}\mathcal{D}_{q}^{\eta}\mathbf{z}(\kappa )=g(\kappa )\) under boundary conditions (2) is expressed by
such that \(\eta \in [1,2)\), \(g(\kappa )\in \mathcal{V}\), and
Proof
In view of Lemma 2.7, the problem \({}^{C}\mathcal{D}_{q}^{\eta} \mathbf{z}(\kappa )=g(\kappa )\) has a unique solution which is given by
with \(t_{0},t_{1}\in \mathbb{R}\). To apply the boundary conditions, it is necessary to calculate the first-order derivative, namely \(\mathbf{z}'(\kappa )=t_{1}+\mathcal{I}^{\eta -1}_{q}g(\kappa )\). Now with regard to boundary conditions (2), we get \(\mathbf{z}(0)+\mathbf{z}'(0)+\mathcal{I}_{q}^{\delta}\mathbf{z}(0)=t_{0}+t_{1}\), and
By performing simple calculations, we obtain
and
Just for simplicity in computations, we set
Thus, the values of \(t_{0}\) and \(t_{1}\) will be as follows:
and
Placing coefficients \(t_{0}\) and \(t_{1}\) in equation (3) provides the desired result. □
In order to obtain the result in our inclusion problem, it is necessary to apply the following hypotheses:
- (\(\mathcal{A}_{1}\)):
-
The multifunction \(\mathcal{T}_{j}:\mathcal{K}\times \mathbb{R}^{4}\to P_{cp}( \mathbb{R})\) is integrable and bounded for all \(j=1,\dots,m\), therefore \(\mathcal{T}_{j}(\cdot,x,y,u,v):[0,1]\to \mathcal{P}_{cp}(\mathbb{R})\) is measurable.
- (\(\mathcal{A}_{2}\)):
-
For \(\Psi:[0,\infty )\to [0,\infty )\), which is nondecreasing and usc, i.e., \(\forall p>0\) we have \(\liminf_{p \to \infty}(p - \Psi (p))>0\) and \(\Psi (p)< p\).
- (\(\mathcal{A}_{3}\)):
-
For all \(\kappa \in \mathcal{K}\), \(j=1,\dots,m\) and \(s_{i},r_{i}\in \mathbb{R}\), with \(i=1,\dots,4\), there exist \(\boldsymbol{\Omega}_{j}\in \mathcal{C}(\mathcal{K},[0,\infty ))\), where
$$\begin{aligned} &\mathcal{HM} (\mathcal{T}_{j}(\kappa,s_{1},s_{2},s_{3},s_{4}), \mathcal{T}_{j}(\kappa,r_{1},r_{2},r_{3},r_{4} ) \\ &\quad\le \frac {1}{\boldsymbol{\mathfrak{A}_{1_{j}}}+\boldsymbol{\mathfrak{A}_{2_{j}}}+\boldsymbol{\mathfrak{A}_{3_{j}}}+\boldsymbol{\mathfrak{A}_{4_{j}}}} \boldsymbol{\Omega}_{j}(\kappa )\Psi \Biggl( \sum_{i=1}^{4} \vert s_{i}-r_{i} \vert \Biggr), \end{aligned}$$such that
$$\begin{aligned} \boldsymbol{\mathfrak{A}_{1_{j}}}={}& \Vert \boldsymbol{ \Omega}_{j} \Vert \biggl[\frac {1}{\Gamma _{q}(\eta _{j}+1)}+ \frac { \vert \mathbf{a} \vert \theta ^{\eta _{j}+1}}{ \vert \mathbf{b} \vert \Gamma _{q}(\eta _{j}+2)}+ \biggl\vert \frac {(\theta ^{2}-2)\lambda ^{\eta _{j}+1}}{2\mathbf{b}\Gamma _{q}(\eta _{j}+2)} \biggr\vert \\ &{}+ \biggl\vert \frac {2-\theta ^{2}}{2\mathbf{b}\Gamma _{q}(\eta _{j}+1)} \biggr\vert + \biggl\vert \frac {2-\theta ^{2}}{2\mathbf{b}\Gamma _{q}(\eta _{j}-\sigma _{j})} \biggr\vert + \biggl\vert \frac {2-\theta ^{2}}{2\mathbf{b}\Gamma _{q}(\eta _{j}-\sigma _{j}+1)} \biggr\vert \\ &{}+ \biggl\vert \frac {2-\theta ^{2}}{2\mathbf{b}\Gamma _{q}(\eta _{j})} \biggr\vert + \biggl\vert \frac {2\mathbf{b}+2\mathbf{a}(\theta -1)\theta ^{\eta _{j}+1}}{\mathbf{b}(2-\theta ^{2})\Gamma _{q}(\eta _{j}+2)} \biggr\vert + \biggl\vert \frac {(1-\theta )\lambda ^{\eta _{j}+1}}{\mathbf{b}\Gamma _{q}(\eta _{j}+2)} \biggr\vert \\ &{}+ \biggl\vert \frac {\theta -1}{\mathbf{b}\Gamma _{q}(\eta _{j}+1)} \biggr\vert + \biggl\vert \frac {\theta -1}{\mathbf{b}\Gamma _{q}(\eta _{j}-\sigma _{j}+1)} \biggr\vert + \biggl\vert \frac {\theta -1}{\mathbf{b}\Gamma _{q}(\eta _{j})} \biggr\vert \biggr], \\ \boldsymbol{\mathfrak{A}_{2_{j}}}={}& \Vert \boldsymbol{ \Omega}_{j} \Vert \biggl[\frac {1}{\Gamma _{q}(\eta _{j})}+ \biggl\vert \frac {2\mathbf{b}+2\mathbf{a}(\theta -1)\theta ^{\eta _{j}+1}}{\mathbf{b}(2-\theta ^{2})\Gamma _{q}(\eta _{j}+2)} \biggr\vert + \biggl\vert \frac {(1-\theta )\lambda ^{\eta _{j}+1}}{\mathbf{b}\Gamma _{q}(\eta _{j}+2)} \biggr\vert \\ &{}+ \biggl\vert \frac {\theta -1}{\mathbf{b}\Gamma _{q}(\eta _{j}+1)} \biggr\vert + \biggl\vert \frac {\theta -1}{\mathbf{b}\Gamma _{q}(\eta _{j}-\sigma _{j}+1)} \biggr\vert + \biggl\vert \frac {\theta -1}{\mathbf{b}\Gamma _{q}(\eta _{j})} \biggr\vert \biggr], \\ \boldsymbol{\mathfrak{A}_{3_{j}}}={}& \Vert \boldsymbol{ \Omega}_{j} \Vert \biggl[\frac {1}{\Gamma _{q}(\eta _{j}-\sigma _{j}+1)}+ \biggl\vert \frac {2\mathbf{b}+2\mathbf{a}(\theta -1)}{\mathbf{b}(2-\theta ^{2})\Gamma _{q}(\eta _{j}+2)\Gamma _{q}(2-\sigma _{j})} \biggr\vert \\ &{}+ \biggl\vert \frac {(1-\theta )}{\mathbf{b}\Gamma _{q}(\eta _{j}+2)\Gamma _{q}(2-\sigma _{j})} \biggr\vert + \biggl\vert \frac {\theta -1}{\mathbf{b}\Gamma _{q}(\eta _{j}+1)\Gamma _{q}(2-\sigma _{j})} \biggr\vert \\ &{}+ \biggl\vert \frac {\theta -1}{\mathbf{b}\Gamma _{q}(\eta _{j}-\sigma _{j}+1)\Gamma _{q}(2-\sigma _{j})} \biggr\vert + \biggl\vert \frac {\theta -1}{\mathbf{b}\Gamma _{q}(\eta _{j})\Gamma _{q}(2-\sigma _{j})} \biggr\vert \biggr], \\ \boldsymbol{\mathfrak{A}_{4_{j}}}={}& \Vert \boldsymbol{ \Omega}_{j} \Vert \biggl[\frac {1}{\Gamma _{q}(\eta _{j}+\delta _{j}+1)}+ \biggl\vert \frac {2\mathbf{b}+2\mathbf{a}(\theta -1)}{\mathbf{b}(2-\theta ^{2})\Gamma _{q}(\eta _{j}+2)\Gamma _{q}(2+\delta _{j})} \biggr\vert \\ &{}+ \biggl\vert \frac {(1-\theta )}{\mathbf{b}\Gamma _{q}(\eta _{j}+2)\Gamma _{q}(2+\delta _{j})} \biggr\vert + \biggl\vert \frac {\theta -1}{\mathbf{b}\Gamma _{q}(\eta _{j}+1)\Gamma _{q}(2+\delta _{j})} \biggr\vert \\ &{}+ \biggl\vert \frac {\theta -1}{\mathbf{b}\Gamma _{q}(\eta _{j}-\sigma _{j}+1)\Gamma _{q}(2+\delta _{j})} \biggr\vert + \biggl\vert \frac {\theta -1}{\mathbf{b}\Gamma _{q}(\eta _{j})\Gamma _{q}(2+\delta _{j})} \biggr\vert \biggr] \end{aligned}$$
Theorem 3.2
Let the hypotheses \(\mathcal{A}_{1}\)–\(\mathcal{A}_{3}\) hold true. If the set-valued map \(\mathcal{E}:\mathcal{G}\to 2^{\mathcal{G}}\) has the approximative endpoint property, then the quantum inclusion system mentioned in (1)–(2) has a solution.
Proof
To show that our problem (1)–(2) has a solution, we go to find the endpoint of \(\mathcal{E}:\mathcal{G}\to 2^{\mathcal{G}}\). This endpoint is the solution of our inclusion. We do this in two steps.
Step I. According to our assumptions, for all \((z_{1},\dots,z_{m})\in \mathcal{G,}\) the map \(\kappa \mapsto \mathcal{T}_{j} (\kappa,\mathbf{z}_{j}(\kappa ), \mathbf{z}_{j}'(\kappa ),{}^{C}\mathcal{D}_{q}^{\sigma _{j}}\mathbf{z}_{j}( \kappa ),\mathcal{I}_{q}^{\delta _{j}}\mathbf{z}_{j}(\kappa ) )\) is measurable and closed-valued. Therefore, such a map has a nonempty measurable selection, i.e., \(\mathcal{S}^{*}_{\mathcal{T}_{j},\mathbf{z}}\ne \phi \).
Define the operator \(\mathcal{E}:\mathcal{G}\to 2^{\mathcal{G}}\) by
which, for \(\mathfrak{g}\in \mathcal{S}^{*}_{\mathcal{T}_{j},(z_{1},\dots,z_{m})}\), reads as follows:
Now, assume that \(\{(z^{n}_{1},\dots,z^{n}_{m})\}_{n\geq 1}\) is a sequence in \(\mathcal{E}(z_{1},\dots,z_{m})\), which converges \((z^{n}_{1},\dots,z^{n}_{m})\to (z^{0}_{1},\dots,z^{0}_{m})\). Choose \((\mathfrak{g}^{n}_{1},\dots,\mathfrak{g}^{n}_{m})\in \mathcal{S}^{*}_{ \mathcal{T}_{1},(z^{n}_{1},\dots,z^{n}_{m})}\times \cdots \times \mathcal{S}^{*}_{\mathcal{T}_{m},(z^{n}_{1},\dots,z^{n}_{m})}\), which, for all \(\kappa \in \mathcal{K}\), \(j=1.\dots,m\), and \(n\geq 1 \), satisfies
The compactness of \(\mathcal{T}_{j}\) for all \(j=1,\dots,m\) implies that \(\{\mathfrak{g}^{n}_{j}\}_{n\geq 1}\) has a subsequence (denoted again by \(\{\mathfrak{g}^{n}_{j}\}_{n\geq 1}\)), which converges to some \(\mathfrak{g}^{0}_{j}\in \mathcal{L}^{1}([0,1],\mathbb{R})\). It is easy to check that \(\mathfrak{g}^{0}_{j} \in \mathcal{S}^{*}_{\mathcal{T}_{j},(z_{1}, \dots,z_{m})}\), and for all \(\kappa \in \mathcal{K}\), \(j=1,\dots,m\),
It can be concluded from this that, for all \(j=1,\dots,m\), we have \(z^{0}_{j}\in \mathcal{E}_{j}(z_{1},\dots,z_{m})\), so \(\mathcal{G}\) takes closed values. In addition, from the compactness of the value of \(\mathcal{T}_{j}\), it follows that \((z^{0}_{1},\dots,z^{0}_{m})\in \mathcal{E}(z_{1},\dots,z_{m})\) is bounded.
Step II. Our goal at this step is to establish the inequality \(\mathcal{HM} (\mathcal{E}(s),\mathcal{E}(r) )\leq \Psi ( \Vert s-r\Vert )\). To do this, let \((s_{1},\dots,s_{m}), (r_{1},\dots,r_{m})\in \mathcal{G}\), \((\hbar _{1},\dots,\hbar _{m})\in \mathcal{E}(r_{1},\dots,r_{m})\) be given. Then for all \(\kappa \in \mathcal{K}\) and \(j=1,\dots,m\), we can choose \((\mathfrak{g}_{1},\dots,\mathfrak{g}_{m})\in \mathcal{S}^{*}_{ \mathcal{T}_{1},(r_{1},\dots,r_{m})}\times \cdots \times \mathcal{S}^{*}_{ \mathcal{T}_{m},(r_{1},\dots,r_{m})}\) such that for all \(\kappa \in \mathcal{K}\), we can write
But, in view of hypothesis \(\mathcal{A}_{3}\), for all \(j=1,\dots,m\), we have
Hence, \(\exists \mathbf{x}_{j}\in \mathcal{T}_{j} (\kappa,\mathbf{z}_{j}( \kappa ),\mathbf{z}'_{j}(\kappa ),{}^{C}\mathcal{D}_{q}^{\sigma _{j}} \mathbf{z}_{j}(\kappa ),\mathcal{I}_{q}^{\delta _{j}}\mathbf{z}_{j}( \kappa ) )\), where \(\forall \kappa \in \mathcal{K}\) and \(j=1,\dots,m\),
Now, for all \(j=1,\dots,m\) define the map \(\mathcal{F}_{j}:\mathcal{K}\to \mathcal{P}(\mathbb{R})\) such that
If \(\frac {1}{\boldsymbol{\mathfrak{A}_{1_{j}}}+\boldsymbol{\mathfrak{A}_{2_{j}}}+\boldsymbol{\mathfrak{A}_{3_{j}}}+\boldsymbol{\mathfrak{A}_{4_{j}}}} \boldsymbol{\Omega_{j}}(\kappa )\Psi (\sum_{i=1}^{4} \vert s_{i}-r_{i}\vert )\) and \(\mathfrak{g}_{j}\) are measurable, then also the set-valued map \(\mathcal{F}_{j}(\cdot )\cap \mathcal{T}_{j} (\cdot,\mathbf{z}_{j}( \cdot ),\mathbf{z}'_{j}(\cdot ),{}^{C}\mathcal{D}_{q}^{\sigma _{j}} \mathbf{z}_{j}(\cdot ),\mathcal{I}_{q}^{\delta _{j}}\mathbf{z}_{j}( \cdot ) )\) is measurable.
Take \(\mathfrak{g}^{*}_{j}(\kappa )\in \mathcal{T}_{j} (\kappa, \mathbf{z}_{j}(\kappa ),\mathbf{z}'_{j}(\kappa ),{}^{C}\mathcal{D}_{q}^{ \sigma _{j}}\mathbf{z}_{j}(\kappa ),\mathcal{I}_{q}^{\delta _{j}} \mathbf{z}_{j}(\kappa ) )\), which for all \(\kappa \in \mathcal{K}\) and \(j=1,\dots,m\), we have
Subsequently, let \(\sup_{\kappa \in \mathcal{K}}\vert \boldsymbol{\Omega}(\kappa ) \vert =\Vert \boldsymbol{\Omega}\Vert \), therefore
and
Also, one can obtain
and
It can be inferred from the above relationships that
Thus, for all \((s_{1},\dots,s_{m}),(r_{1},\dots,r_{m})\in \mathcal{G}\), we have
Now, according to Lemma 2.14, and the endpoint property of \(\mathcal{E}\), there exists \(w^{*}\in \mathcal{G}\) such that \(\mathcal{E}(w^{*})=\{w^{*}\}\). Hence, \(w^{*}\) is a solution for the fractional q-inclusion system mentioned (1)–(2). □
4 Examples
Example 4.1
Consider the following fractional quantum integro-differential inclusion problem:
with boundary conditions
and
where \(\kappa \in \mathcal{K}=[0,1]\). Here, we put \(m=2\), \(\eta _{1}=\frac{11}{8}, \eta _{2}=\frac{7}{5}\), \(\sigma _{1}=\frac{7}{8}, \sigma _{2}=\frac{5}{8}\), \(\delta _{1}=\frac{3}{5}, \delta _{2}=\frac{2}{5}\), and multifunctions \(\mathcal{T}_{1},\mathcal{T}_{2}:\mathcal{K}\times \mathbb{R}^{4}\to 2^{ \mathbb{R}}\) are defined as follows:
and
We choose \(\boldsymbol{\Omega}_{j}:[0,1]\to [0,\infty )\) to be \(\boldsymbol{\Omega}_{1}(\kappa )=\frac{7}{40}\kappa \), \(\boldsymbol{\Omega}_{2}(\kappa )=\frac{7}{80}\kappa \) with \(\Vert \boldsymbol{\Omega}_{1}\Vert =\frac{7}{40}\), \(\|\boldsymbol{\Omega}_{2}\|=\frac{7}{80}\), and \(\Psi (\kappa )=\frac{\kappa}{31}\). Obviously, Ψ is nondecreasing and usc on \(\mathcal{K}\). Furthermore, \(\boldsymbol{\mathfrak{A}_{1_{j}},\mathfrak{A}_{2_{j}}}, \boldsymbol{\mathfrak{A}_{3_{j}}}, \boldsymbol{\mathfrak{A}_{4_{j}}}\), for \(j=1,2\), are calculated for \(q=0.13\), 0.25, 0.39, 0.58, 0.72, and 0.89 in Table 3. Also, the heatmap of data in Table 3 is presented in Fig. 1. Notice that, for convenience, we set \(\Xi _{j}=( \boldsymbol{\mathfrak{A}_{1_{j}}+\mathfrak{A}_{2_{j}}}+ \boldsymbol{\mathfrak{A}_{3_{j}}}+\boldsymbol{\mathfrak{A}_{4_{j}}})^{-1} \Vert \Omega _{j}\Vert \), for \(j=1,2\).
Now, it is easy to check that for \(j=1,2\),
and \(\inf_{w\in \mathcal{G}} (\sup_{z \in \mathcal{E}(z)}\Vert w-z \Vert )=0\). Now all the conditions of Theorem 3.2 are satisfied. Thanks to the endpoint property and Theorem 3.2, our problem formulated in (4.1) has a solution. To help illustrate this example, graphs of several functions are presented in Figs. 2 and 3.
5 Conclusion
Trying to provide models, which are more accurate and have less errors, using the capabilities of fractional calculus is one of the broad new research topics in mathematics, physics, biology, engineering, and economics. But now, many classical methods are no longer able to interpret complex phenomena. For example, multifunctions have recently been considered for modeling phenomena with frequent shocks. In this work, we also quantum analyzed the m-dimensional system of integro-differential inclusions with the help of a new technique in the fixed point theory, namely, we applied the endpoint property. The existing derivative operators in our problem are of q-Caputo type. Here, unlike previous research in the literature, for the first time, the endpoint technique was used to solve an m-dimensional system. Quantum calculus has provided the necessary prerequisites for using computers in our computations, and the effectiveness of our proposed method has been shown in the final example.
Data availability
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Hilfer, R.: Experimental evidence for fractional time evolution in glass forming materials. Chem. Phys. 284(1–2), 399–408 (2002). https://doi.org/10.1016/S0301-0104(02)00670-5
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Fabrizio, M., Giorgi, C., Pata, V.: A new approach to equations with memory. Arch. Ration. Mech. Anal. 198(1), 189–232 (2010). https://doi.org/10.1007/s00205-010-0300-3
Agarwal, R., Hristova, S., Regan, D.O.: Integral presentations of the solution of a boundary value problem for impulsive fractional integro-differential equations with Riemann–Liouville derivatives. AIMS Math. 7, 2973–2988 (2022). https://doi.org/10.3934/math.2022164
Nieto, J.J.: Fractional Euler numbers and generalized proportional fractional logistic differential equation. Fract. Calc. Appl. Anal. 25(3), 876–886 (2022). https://doi.org/10.1007/s13540-022-00044-0
George, R., Al-shammari, F., Ghaderi, M., Rezapour, S.: On the boundedness of the solution set for the ψ-Caputo fractional pantograph equation with a measure of non-compactness via simulation analysis. AIMS Math. 8(9), 20125–20142 (2023). https://doi.org/10.3934/math.20231025
Kirane, M., Abdeljabbar, A.: Nonexistence of global solutions of systems of time fractional differential equations posed on the Heisenberg group. Math. Methods Appl. Sci. 45(12), 7336–7345 (2022). https://doi.org/10.1002/mma.8243
Wongcharoen, A., Ntouyas, S.K., Wongsantisuk, P., Tariboon, J.: Existence results for a nonlocal coupled system of sequential fractional differential equations involving ψ-Hilfer fractional derivatives. Adv. Math. Phys. 2021, Article ID 5554619 (2021). https://doi.org/10.1155/2021/5554619
Agarwal, R.P., Assolami, A., Alsaedi, A., Ahmad, B.: Existence results and Ulam–Hyers stability for a fully coupled system of nonlinear sequential Hilfer fractional differential equations and integro-multistrip–multipoint boundary conditions. Qual. Theory Dyn. Syst. 21(4), 125 (2022). https://doi.org/10.1007/s12346-022-00650-6
Cen, Z., Liu, L.B., Huang, J.: A posteriori error estimation in maximum norm for a two-point boundary value problem with a Riemann–Liouville fractional derivative. Appl. Math. Lett. 102, Article ID 106086 (2020). https://doi.org/10.1016/j.aml.2019.106086
Heydarpour, Z., Parizi, M.N., Ghorbanian, R., Ghaderi, M., Rezapour, S.: A study on a special case of the Sturm–Liouville equation using the Mittag-Leffler function and a new type of contraction. AIMS Math. 7(10), 10665–10684 (2022). https://doi.org/10.3934/math.20221004
Iskenderoglu, G., Kaya, D.: Symmetry analysis of initial and boundary value problems for fractional differential equations in Caputo sense. Chaos Solitons Fractals 134(17–20), Article ID 109684 (2020). https://doi.org/10.1016/j.chaos.2020.109684
Ni, J., Chen, G., Dong, H.: Study on Hermite–Hadamard-type inequalities using a new generalized fractional integral operator. J. Inequal. Appl. 2023(1), Article ID 59 (2013). https://doi.org/10.1186/s13660-023-02969-3
Boutiara, A., Alzabut, J., Ghaderi, M., Rezapour, S.: On a coupled system of fractional \((p, q)\)-differential equation with Lipschitzian matrix in generalized metric space. AIMS Math. 8(1), 1566–1591 (2022). https://doi.org/10.3934/math.2023079
Zhu, P.: Stepanov-like doubly weighted pseudo almost automorphic mild solutions for fractional stochastic neutral functional differential equations. J. Inequal. Appl. 2023(1), Article ID 47 (2023). https://doi.org/10.1186/s13660-023-02946-w
George, R., Houas, M., Ghaderi, M., Rezapour, S., Elagan, S.K.: On a coupled system of pantograph problem with three sequential fractional derivatives by using positive contraction-type inequalities. Results Phys. 39, Article ID 105687 (2022). https://doi.org/10.1016/j.rinp.2022.105687
Jackson, F.H.: q-difference equation. Am. J. Math. 32(4), 305–314 (1910)
Jackson, F.H.: On q-definite integrals. Q. J. Pure Appl. Math. 41, 193–203 (1910)
Kac, V., Cheung, P.: Quantum Calculus. Springer, New York (2002)
El-Emam, F.Z.: Convolution conditions for two subclasses of analytic functions defined by Jackson q-difference operator. J. Egypt. Math. Soc. 7, 1–10 (2022). https://doi.org/10.1186/s42787-022-00141-2
Akca, H., Benbourenane, J., Eleuch, H.: The q-derivative and differential equation. J. Phys. Conf. Ser. 1411(1), Article ID 012002 (2019). https://doi.org/10.1088/1742-6596/1411/1/012002
Mahmood, S., Jabeen, M., Malik, S.N., Srivastava, H.M., Manzoor, R., Riaz, S.M.J.: Some coefficient inequalities of q-starlike functions associated with conic domain defined by q-derivative. J. Funct. Spaces 2018, Article ID 8492072 (2018). https://doi.org/10.1155/2018/8492072
Guo, F., Kang, S., Chen, F.: Existence and uniqueness results to positive solutions of integral boundary value problem for fractional q-derivatives. Adv. Differ. Equ. 2018, Article ID 379 (2018). https://doi.org/10.1186/s13662-018-1796-3
Aydi, H., Bota, M.F., Karapinar, E., Mitrović, S.: A fixed point theorem for set-valued quasi-contractions in b-metric spaces. Fixed Point Theory Appl. 2012, Article ID 88 (2012). https://doi.org/10.1186/1687-1812-2012-88
Ali, M.U., Kamaran, T., Karapinar, E.: An approach to existence of fixed points of generalized contractive multivalued mappings of integral type via admissible mapping. Abstr. Appl. Anal. 218(19), Article ID 385459 (2014). https://doi.org/10.5402/2011/385459
de Blasi, F.S., Myjak, J., Reich, S., Zaslavski, A.: Generic existence and approximation of fixed points for nonexpansive set-valued maps. Set-Valued Var. Anal. 17, 97–112 (2009). https://doi.org/10.1007/s11228-009-0104-5
O’Regan, D., Precup, R.: Fixed point theorems for set-valued maps and existence principles for integral inclusions. J. Math. Anal. Appl. 245(2), 594–612 (2009). https://doi.org/10.1006/jmaa.2000.6789
Wlodarczyk, K., Klim, D., Plebaniak, R.: Existence and uniqueness of endpoints of closed set-valued asymptotic contractions in metric spaces. J. Math. Anal. Appl. 328(1), 46–57 (2007). https://doi.org/10.1016/j.jmaa.2006.05.029
Amini-Harandi, A.: Endpoints of set-valued contractions in metric spaces. Nonlinear Anal., Theory Methods Appl. 72(1), 132–134 (2010). https://doi.org/10.1016/j.na.2009.06.074
Abbasbandy, S., Nieto, J.J., Alavi, M.: Tuning of reachable set in one dimensional fuzzy differential inclusions. Chaos Solitons Fractals 26(5), 1337–1341 (2005). https://doi.org/10.1016/j.chaos.2005.03.018
Frigon, M.: Systems of first order differential inclusions with maximal monotone terms. Nonlinear Anal., Theory Methods Appl. 66(9), 2064–2077 (2007). https://doi.org/10.1016/j.na.2006.03.002
Nieto, J.J., Rodríguez-López, R.: Euler polygonal method for metric dynamical systems. Inf. Sci. 177(20), 4256–4270 (2007). https://doi.org/10.1016/j.ins.2007.05.002
Henderson, J., Ouahab, A.: Fractional functional differential inclusions with finite delay. Nonlinear Anal., Theory Methods Appl. 70(5), 2091–2105 (2009). https://doi.org/10.1016/j.na.2008.02.111
Chang, Y., Nieto, J.J.: Some new existence results for fractional differential inclusions with boundary conditions. Math. Comput. Model. 49(3–4), 605–609 (2009). https://doi.org/10.1016/j.mcm.2008.03.014
Cernea, A.: On the existence of solutions for nonconvex fractional hyperbolic differential inclusions. Commun. Math. Anal. 9(1), 109–120 (2010)
Agarwal, R.P., Benchohra, M., Hamani, S.: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109, 973–1033 (2010). https://doi.org/10.1007/s10440-008-9356-6
Ahmad, B., Ntouyas, S.: Some existence results for boundary value problems of fractional differential inclusions with non-separated boundary conditions. Electron. J. Qual. Theory Differ. Equ. 71, Article ID 71 (2010)
Agarwal, R.P., Ahmad, B., Alsaedi, A., Shahzad, N.: Existence and dimension of the set of mild solutions to semilinear fractional differential inclusions. Adv. Differ. Equ. 2012, Article ID 74 (2012). https://doi.org/10.1186/1687-1847-2012-74
Ahmad, B., Ntouyas, S.K.: Existence of solutions for nonlinear fractional q-difference inclusions with nonlocal Robin (separated) conditions. Mediterr. J. Math. 10, 1333–1351 (2013)
Ahmad, B., Ntouyas, S.K., Alsaedi, A.: Existence of solutions for fractional q-integro-difference inclusions with fractional q-integral boundary conditions. Adv. Differ. Equ. 257, 1–18 (2014). https://doi.org/10.1186/1687-1847-2014-257
Samei, M.E., Ranjbar, G.K.: Some theorems of existence of solutions for fractional hybrid q-difference inclusion. J. Adv. Math. Stud. 12(1), 63–76 (2019)
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. 257, 1–40 (2020). https://doi.org/10.1186/1687-1847-2014-257
Shabibi, M., Samei, M.E., Ghaderi, M., Rezapour, S.: Some analytical and numerical results for a fractional q-differential inclusion problem with double integral boundary conditions. Adv. Differ. Equ. 2021, Article ID 466 (2021). https://doi.org/10.1186/s13662-021-03623-2
Rezapour, S., Thabet, S.T.M., Kedim, I., Vivas-Cortez, M., Ghaderi, M.: A computational method for investigating a quantum integro-differential inclusion with simulations and heatmaps. AIMS Math. 8(11), 27241–27267 (2023). https://doi.org/10.3934/math.20231394
Adams, C.R.: The general theory of a class of linear partial q-difference equations. Trans. Am. Math. Soc. 26(3), 283–312 (1924). https://doi.org/10.2307/1989141
Graef, J.R., Kong, L.: Positive solutions for a class of higher order boundary value problems with fractional q-derivatives. Trans. Am. Math. Soc. 218(19), 9682–9689 (2012). https://doi.org/10.1016/j.amc.2012.03.006
El-Shahed, M., Al-Askar, F.M.: Positive solutions for boundary value problem of nonlinear fractional q-difference equation. Int. Sch. Res. Not. 2011, Article ID 385459 (2011). https://doi.org/10.5402/2011/385459
Covitz, H., Nadler, S.B.: Multivalued contraction mappings in generalized metric spaces. Isr. J. Math. 8(1), 5–11 (1970). https://doi.org/10.1007/BF02771543
Acknowledgements
The authors were supported by Azarbaijan Shahid Madani University. The authors express their gratitude to the referees for their helpful suggestions which improved the final version of this paper.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
M.G. and S.R. dealt with conceptualization, supervision, methodology, investigation, writing-original draft, formal analysis, editing and preparing the figures and the table. The authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Ghaderi, M., Rezapour, S. On an m-dimensional system of quantum inclusions by a new computational approach and heatmap. J Inequal Appl 2024, 41 (2024). https://doi.org/10.1186/s13660-024-03125-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-024-03125-1