1.
Introduction
The generalization and fulfillment of fractional operators and their use in differential equations and Boundary Value Problem(BVP) have led to the development of advanced fractional modeling. The non-locality of fractional operators has caused them to be used by researchers in different fields of science to model natural and physical phenomena. For example, we can mention the significant presence of fractional calculus in engineering [1,2,3,4], thermodynamics [5,6,7,8], physics [9,10,11,12], and bio-mathematics [13,14,15]. In 2002, Hilfer showed in an important research report that based on laboratory evidence, ordinary calculus is associated with errors in modeling and describing phenomena [16]. Of course, it is worth mentioning that the approach of researchers of different sciences to this property of non-locality has not been the same. For example, physicists used it to model viscosity and heat flow, etc., while mathematicians tried to generalize and present new fractional operators [17]. Today, researchers commonly use famous fractional operators such as Caputo and ψ-Caputo [18,19,20,21,22], Caputo-Fabrizio [23], Hadamard [24], Hilfer [25,26,27], ψ−Hilfer [28,29], Riemann-Liouville [30], and Atangana-Baleanu [31,32,33,34] in their studies. Recently, George et al. showed in new research that one should be careful in using the ψ-Caputo operator to solve the pantograph equation because there is a possibility that there is no solution when using this operator [35]. On the other hand, the prominent role of computer and software packages in the numerical methods of investigating complex equations and modeling cannot be ignored, which requires a discrete space. In this work, we also provide this space with the help of quantum calculus and time scale.
The history of quantum calculus dates back to the works of the British mathematician Frank Hilton Jackson. In 1910, he gave a new definition of the derivative, by which the basic principles of quantum calculus were founded [36,37]. Jackson introduced two types of operators: q-derivative and h-derivative. Fractional q-derivative has both the advantages of fractional calculus and due to the discreteness of the space, it provides the possibility of using the computer in solving and simulating complex equations. For the same reason, in the last decade, q-derivative has received a lot of attention from researchers and many articles have been published in this field. For example: q-serirs studied in [38], q-Starlike function reviewed in [39], application of q-derivative in differential equations presented in [40], and the existense of positive solutions for boundary value problem by fractional q-derivative investigated in [41,42,43,44]. Set-valued mappings, known as multifunctions, have unique features that make them useful in modeling physical phenomena. In 2007, Wlodarczyk et al. studied existence and uniqueness of endpoint of closed set-valued contractions in metric spaces [45]. Wardowski in 2009, investigated the existence of fixed point and endpoint of multifunction in cone metric space [46]. A year later, Amini-Harandi presented an interesting property for multifunction, which plays the main role in this article [47]. Here, we will explore the existence of a solution for a fractional q-integrodifferential inclusion using fractional and quantum calculus and multifunctions.
In 2012, Ahmed and his colleagues investigated the existence and uniqueness of a solution for the following q-difference equations
where qN:={qn:n∈N}∪{0}, K=[0,K]∩qN such that K∈qN is a fixed constant, and g∈C(K×R,R) [48]. In 2012, Agarwal et al. investigated the existence and dimension of the set of mild solutions to following inclusion problem
where A is a sectorial operator (SO), CDη is Caputo derivative of fraction order η, and B:[0,K]×Rn→P(Rn), f:C([0,K],Rn)→Rn [49]. In 2013, Zhao et al. studied BVP of fractional q-derivative equation as follows
such that η∈(1,2], ν∈(0,2], α∈(0,1), B:[0,1]×R+→R+, and Dηq is the q-derivative of Riemann-Liouville type of order η [50].
Based on previous research, we want here to examine the existence of a solution for the following fractional quantum integrodifferential inclusion problem
under new sum and product boundary conditions
where S=j=m∑j=1νj, P=j=m∏j=1uj, νj,uj∈R, and α∈(0,1). In our problem CDηq is Caputo quantum operator of fractional order 1≤η<2, and σ,θ,λ∈(0,1), such that T:K×R4→P(R), is multifunction where P(R) set of all subsets of real numbers. Note that we will continue to do all our calculations on the time scale, namely TSκ0={κ0,κ0q,κ0q2,...}∪{0}, where κ0∈R, and q∈(0,1).
2.
Preliminaries
Definition 2.1. [36] Assume that v,p∈R, n∈N0=N∪{0}, then the q-analogue of v and power function (v−p)(n) defined as follows, respectively
and
Definition 2.2. [37] Let v∈R−{0,−1,−2,…}, then the quantum gamma function formulated as follows
also, it is worth mentioning that Γq(v+1)=[v]qΓq(v) holds true.
In the following, we present an algorithm for calculating the quantum gamma function. Moreover, we computed for some values of q in Tables 1 and 2. Also, the heatmaps of data in Tables 1 and 2 are presented in Figures 1 and 2.
Definition 2.3. [51] The quantum derivative of a continuous function as w(κ) is as follows
in addition, (Dqw)(0)=limκ→0(Dqw)(κ). Furthermore, for all n∈N, the relation (Dnqw)(κ)=Dq(Dn−1qw)(κ) holds true.
Definition 2.4. [52] Suppose that w(κ):[0,∞]→R, be a continuous function, then its fractional Riemann-Liouville quantum integral and its fractional Caputo quantum derivative are expressed respectively by
and
Lemma 2.5. [53] Assume that n=[η]+1, then the following relation holds true
which is deduced from it, the general solution for CDηqw(κ)=0, expressed by
where ℓ0,…,ℓn−1∈R.
Notation 2.6. Here, we introduce symbols used in the topology of the space. Consider (G,dG) be a metric space, also suppose that P(G) and 2G represent the set of all subsets of G and the set of all non-empty subsets of G, respectively. In the sequel, we mean the symbols Pcl(G), Pbd(G), Pcx(G) and Pct(G) respectively as the class of all closed, bounded, convex and compact subsets of G, respectively.
Definition 2.7. [47] A fixed point of a multifunction E:G→2G is an element κ∈K, such that κ∈E(κ). As well as, if we have E(κ)={κ}, then this element, namely κ, is called an end point of E.
Definition 2.8. [47] Let (G,dG) be a metric space and E:G→2G is a multifunction, then E, has an approximate property if infκ∈Gsupr∈E(κ)dG(κ,r)=0.
Definition 2.9. [54] If (G,dG) is a metric space, then the Pompeiu-Hausdorff meter, namely HM:2G×2G→[0.∞], is defined as follows
where HM(W,z)=infw∈WdG(w.z). Then (Pbd,cl(G),HM), and (Pcl(G),HM) represent a metric space and a generalized metric space, respectively.
Definition 2.10. [54] Assume that V=C(K,R), then define the space
equipped with the norm
Now (G,‖.‖) is a Banach space.
Definition 2.11. Let w∈G, then for all κ∈K, define the set of selection of S∗ as follows
If dim(G)<∞, then the above selection is nonempty which is proved in [54].
In 2010, Amini-Harandi introduced the end-point technique, which is crucial in proving Theorem 3.2. Now we will express it here.
Lemma 2.12. [47] Suppose that (G,dG) is a complete metric space, also consider two map Ψ and E with the following properties
● Ψ:[0,∞)→[0,∞) is upper semi continuous (USC), which ∀κ>0 we have Ψ(κ)<κ, and lim infκ→∞(κ−Ψ(κ))>0.
● ∀w,z∈G, for the set-valued map E:G→Pcl,bd(G), the inequality HM(E(w),E(z))≤Ψ(dG(w,z)) holds true.
Then the set-valued map E, has a unique endpoint iff E has an approximate end-point 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 for the fractional q-differential problem cDηqw(κ)=g(κ) under boundary condition (1.2) expressed by
Such that η∈[1,2), g(κ)∈V, and M=(1+PΓq(2−σ)−λ22), N=(1−θ)M+(λ−1)(S−θ22).
Proof. In view of Lemma 2.5, the problem CDηqw(κ)=g(κ), has a unique solution which acquired by
which ℓ0,ℓ1∈R. To apply the boundary conditions, it is necessary to calculate the first order derivative, namely w′(κ)=ℓ1+Iη−1qg(κ). Now with regard to boundary condition (1.2), we get
and
If for simplicity in computation we set
Then, the values of ℓ0 and ℓ1 will be as follows:
and
Placing coefficients ℓ0 and ℓ1 in Eq (3.1) provides the desired result. □
In order to obtain the result in our inclusion problem, it is necessary to apply the following hypotheses.
A1) Since T:K×R4→Pct(R) is integrable and bounded, therefore T(.,a,b,c,d):[0,1]→Pct(R) is measurable.
A2) For Ψ:[0,∞)→[0,∞), which is nondecreasing and (USC), ∀p>0 we have lim infp→∞(p−Ψ(p))>0 and Ψ(p)<p.
A3) For all κ∈K, and wj,zj∈R, j=1,2,3,4, there exist Ω∈C(K,[0,∞)), where
such that
Theorem 3.2. Let hypotheses A1−A4 are holds true. If the set-valued map E:G→2G, has the approximate endpoint property, then the inclusion q-integro-differential problem mentioned in (1.1) and (1.2) has a solution.
Proof. To show that our problems (1.1) and (1.2) has a solution, we go to find the end point of the operator E:G→2G which for g∈S∗T,w read as follows:
This end point is the solution of our inclusion. We do this in two steps.
Step I. we shall show for all ℏ∈G, E(ℏ)⊂G which E(ℏ) is closed. According to, for all ℏ∈G the map κ↦T(κ,w(κ),w′(κ),CDσqw(κ),∫κ0w(p)dp), is measurable and closed value map. Therefore, such a map has a non-empty measurable selection, namely S∗T,w≠ϕ. Now assume that {tn}n≥1 be a sequence in E(ℏ), which tn→t. Choose gn∈S∗T,w, which for all κ∈K and n≥1
Compactness of T, implies that gn has a subsequence(show this again with gn), which converges to some g∈L1[0,1]. It is easy to check that g∈S∗T,w, and for all κ∈K
It can be concluded from this t∈E(ℏ), thus G is closed values. In addition, from the compactness of the value of T, it follows that ∈E(ℏ) is bounded.
Step II. Our goal at this step is to establish the inequality HM(E(w),E(z))≤Ψ(‖w−z‖) holds true. To do this, let w,z∈G, ℏ1∈E(z), and choose g1∈S∗T,w such that for almost κ∈K, we can write
But, in view of hypothesis A3
hence, ∃s∈T(κ,w(κ),w′(κ),CDσqw(κ),∫κ0w(v)dv), where ∀κ∈K:
Now consider the map F:K→P(R), such that
Forasmuch as 1X1+X2+X3+X4Ω(κ)Ψ(4∑j=1|wj−zj|), and g1 are measurable, so the set-valued map F(.)∩T(.,w(.),w′(.),CDσqw(.),∫.0w(v)dv) is measurable.
Take g2(κ)∈T(κ,w(κ),w′(κ),CDσqw(κ),∫κ0w(v)dv), which for all κ∈K, we have
Now, ∀κ∈K, assume that g2∈E(ℏ), with
Subsequently, let supκ∈K|Ω(κ)|=‖Ω‖, therefore
and
Also, one can write
and
It can be inferred from the above relationships that
Thus, for all w, z\in \mathcal{G} , we have
Now, according to Lemma 2.12, and the endpoint property of \mathcal{E} , \exists w^{*}\in \mathcal{G} , where \mathcal{E}(w^{*}) = \{w^{*}\} . Hence, w^{*} is a solution for the fractional q-inclusion problem mentioned in (1.1) and (1.2). □
4.
Examples
Example 4.1. Consider the following fractional quantum integro-differential inclusion problem
with the following boundary conditions:
where \kappa \in \mathcal{K} = [0, 1] . Here, we put: \eta = {\frac{8}{5}} , \sigma = \frac{7}{20} , \theta = \frac{4}{9} , \lambda = \frac{5}{12} , \mathcal{S} = \sum\limits_{j = 1}^{4}\nu_{j} = 1.7 with \nu_{1} = \frac{3}{10} , \nu_{2} = \frac{1}{4} , \nu_{3} = \frac{2}{5} , \nu_{4} = \frac{3}{4} , and \mathcal{P} = \prod\limits_{j = 1}^{j = 4}u_{j} = \frac{16}{625} with u_{j} = \frac{2}{5} . We choose \boldsymbol{\Omega}:[0, 1]\to[0, \infty) by \boldsymbol{\Omega}(\kappa) = \frac{11}{49}\kappa , \Vert\boldsymbol{\Omega}\Vert = \frac{11}{49} , and \Psi(\kappa) = \frac{\kappa}{19} . Obviously \Psi is non-decreasing and (USC) on \mathcal{K} .
Consider the set-valued map \mathcal{T}:\mathcal{K}\times\mathbb{R}^{4}\to\mathcal{P}_{ct}(\mathbb{R}) as follows:
Nevertheless, the values of \mathfrak{X}_{1}, \mathfrak{X}_{2}, \mathfrak{X}_{3}, \mathfrak{X}_{4} are calculated for q = 0.2 , 0.35 , 0.45 , 0.69 , 0.83 and 0.98 in Table 3. Also, the heatmap of the data in Table 3 is presented in Figure 3. Noticte that for convenience, we set the value of \Theta coefficient equal to (\mathfrak{X}_{1}+\mathfrak{X}_{2}+\mathfrak{X}_{3}+\mathfrak{X}_{4})^{-1}\Vert\boldsymbol{\Omega}\Vert .
Now, it is easy to examine that
and \inf\limits_{w\in \mathcal{G}}\big(\sup\limits_{z \in\mathcal{E}(z)}\Vert w-z\Vert\big) = 0 . Now all the conditions of Theorem 3.2 are satisfied. Thanks to endpoint property and Theorem 3.2, our problem which formulated in (4.1) and (4.2) has a solution. Also the graphs of some functions presented in Figures 4 and 5.
Example 4.2. Consider the following fractional quantum integro-differential inclusion problem
with the following boundary conditions:
where \kappa \in \mathcal{K} = [0, 1] . Here, we put: \eta = {\frac{5}{4}} , \sigma = \frac{3}{5} , \theta = \frac{2}{5} , \lambda = \frac{3}{8} , \mathcal{S} = \sum\limits_{j = 1}^{4}\nu_{j} = 2.4125 with \nu_{1} = \frac{7}{10} , \nu_{2} = \frac{9}{8} , \nu_{3} = \frac{2}{5} , \nu_{4} = \frac{3}{16} , and \mathcal{P} = \prod\limits_{j = 1}^{j = 4}u_{j} = \frac{1}{81} with u_{j} = \frac{1}{3} . We choose \boldsymbol{\Omega}:[0, 1]\to[0, \infty) by \boldsymbol{\Omega}(\kappa) = \frac{8}{67}\kappa , \Vert\boldsymbol{\Omega}\Vert = \frac{8}{67} , and \Psi(\kappa) = \frac{\kappa}{23} . Obviously \Psi is non-decreasing and (USC) on \mathcal{K} .
Consider the set-valued map \mathcal{T}:\mathcal{K}\times\mathbb{R}^{4}\to\mathcal{P}_{ct}(\mathbb{R}) as follows:
Nevertheless, the values of \mathfrak{X}_{1}, \mathfrak{X}_{2}, \mathfrak{X}_{3}, \mathfrak{X}_{4} are calculated for q = 0.2 , 0.35 , 0.59 , 0.77 , 0.89 and 0.95 in Table 4. Also, the heatmap of the data in Table 4 is presented in Figure 6. Noticte that for convenience, we set the value of \Theta coefficient equal to (\mathfrak{X}_{1}+\mathfrak{X}_{2}+\mathfrak{X}_{3}+\mathfrak{X}_{4})^{-1}\Vert\boldsymbol{\Omega}\Vert .
Now, it is easy to examine that
and \inf\limits_{w\in \mathcal{G}}\big(\sup\limits_{z \in\mathcal{E}(z)}\Vert w-z\Vert\big) = 0 . Now all the conditions of Theorem 3.2 are satisfied. Thanks to endpoint property and Theorem 3.2, our problem which formulated in (4.3) and (4.4) has a solution. Also the graphs of some functions presented in Figures 7–9.
5.
Conclusions
In this paper, we study the numerical and analytical solutions for an integrodifferential inclusion problem by fractional Caputo q -derivative. We proposed an algorithm for computing the gamma function of quantum numbers. This enabled us to solve numerical problems using computers. The problem addressed and the numerical techniques used are more general than previous research. For the first time, we utilized heatmaps to simplify the interpretation of quantum values. Researchers can use our method to investigate other inclusions.
Use of AI tools declaration
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
Acknowledgments
This study is supported via funding from Prince Sattam bin Abdulaziz University project number (PSAU/2023/R/1445).
Pontificia Universidad Católica del Ecuador, Proyecto Título: "Algunos resultados Cualitativos sobre Ecuaciones diferenciales fraccionales y desigualdades integrales" Cod UIO2022.
The authors express their gratitude dear unknown referees for their helpful suggestions which improved final version of this paper.
Conflict of interest
The authors declare that they have no competing interest.