On Sequential Fractional q -Hahn Integrodifference Equations

: In this paper, we prove existence and uniqueness results for a fractional sequential fractional q -Hahn integrodifference equation with nonlocal mixed fractional q and fractional Hahn integral boundary condition, which is a new idea that studies q and Hahn calculus simultaneously.

A Hahn difference operator D q,ω arose from the forward difference operator and the Jackson q-difference operator was introduced by Hahn [24] in 1949. Then, the right inverse of D q,ω presented in terms of Jackson q-integral and Nörlund sum was proposed by Aldwoah [25,26] in 2009. The Hahn difference operator can be used in studied of families of orthogonal polynomials and approximation problems (see [27][28][29]). More research works about Hahn difference calculus can be found in [30][31][32][33][34][35][36][37][38][39].
The fractional Hahn difference operators was introduced by Brikshavana and Sitthiwirattham [40] in 2017, and Wang et al. [41] in 2018. The extension of this operator has been used in the study of existence results of solution of boundary value problems [42][43][44][45], a generalization of Minkowski's inequality [46], and impulsive fractional quantum Hahn operator [47,48].
From the literature, we have found that the study of fractional q-difference and fractional Hahn difference operators simultaneously have not been studied. Therefore, in this article, we devote ourselves to study the boundary value problem for equations that contain both fractional q-difference and Hahn difference operators. Our problem is a nonlocal mixed fractional q and Hahn integral boundary value problem for sequential fractional q-Hahn integrodifference equation of the form This paper is organized as follows. In Section 2, we provide some definitions and lemmas for q-difference and Hahn difference operators. In Section 3, we prove the existence and uniqueness of a solution to problem (1) by using the Banach fixed point theorem. In the last section, we give an example to illustrate our results.

Preliminaries
In this section, we recall the notations, definitions, and lemmas for q and Hahn difference calculus. For q ∈ (0, 1), ω > 0, we define The q-analogue of the power function (a − b) n q with n ∈ N 0 is given by The q, ω-analogue of the power function (a − b) n q,ω with n ∈ N 0 is given by For α ∈ R, the power function is given by We let the notations, a α q = a α , (a − ω 0 ) α q,ω = (a − ω 0 ) α , and (0) α q = (ω 0 ) α q,ω = 0 for α > 0.
The q-gamma and q-beta functions are defined by respectively. For k ∈ N, the q-analogue and q, ω-analogue of forward jump operator are defined by respectively. The q-analogue and q, ω-analogue of backward jump operator are defined by respectively.

Definition 1.
For q ∈ (0, 1), the q-differnce of a real function f is defined by Let f be a function defined on the interval [0, T]. q-integral is defined by where the infinite series is convergent.

Definition 2.
For q ∈ (0, 1), ω > 0 and f defined on an interval I ⊆ R which contains ω 0 := ω 1−q , the Hahn difference of f is defined by We note that, for each s ∈ [a, b] q,ω , the sequence σ k q,ω (s) is uniformly convergent to ω 0 . Definition 3. Let I be any closed interval of R that contains a, b and ω 0 . Letting f : I → R be a given function, q, ω-integral of f from a to b is defined by x ∈ I, and the series converges at x = a and x = b where the sum of the right-hand side is called the Jackson-Nörlund sum.
Note that the actual domain of function f is defined on [a, b] q,ω ⊂ I. The following fractional q integral, fractional Hahn integral, fractional q difference, and fractional Hahn difference of Riemann-Liouville type are defined.
Definition 4. Let f be defined on [0, T] and α ≥ 0, the fractional q-integral of the Riemann-Liouville type is defined by Definition 5. Let f be defined on [ω 0 , T] q,ω and α, ω > 0, q ∈ (0, 1), and the fractional Hahn integral, is defined by Definition 6. Let f be defined on [0, T] and α ≥ 0, the fractional q-derivative of the Riemann-Liouville type of order α, is defined by where N is the smallest integer that is greater than or equal to α.
Definition 7. Let f be defined on [ω 0 , T] q,ω and α, ω > 0, q ∈ (0, 1), the fractional Hahn difference of the Riemann-Liouville type of order α is defined by where N is the smallest integer that is greater than or equal to α.

Existence Results
In this section, the existence and uniqueness result for the mixed q-Hahn problem (1) is studied. Let C = C ([ω 0 , T], R) be a Banach space of all function u with the norm defined by x − σ q (s) α−1 q F s, u(s), Ψ θ q u(s), Υ φ q,ω u(s) d q s d q,ω x d q r, and the constants A η , A T , B η , B T , Ω are defined by (6)-(10), respectively. The problem (1) has solution if and only if the operator F has fixed point. We show the proof in the following theorem.
In addition, suppose that the following conditions hold: (H 1 ) There exist constants 1 , 2 , 3 > 0 such that for each t ∈ [0, T] and u, v ∈ R, Then, problem (1) has a unique solution.
Proof. Firstly, we verify F map bounded sets into bounded sets in B L = {u ∈ C : u C ≤ L}.
and the notation S(t, Similary, From (27) and (28), we find that Therefore, we obtain F u C ≤ L,which implies that F B L ⊂ B L . Next, we aim to prove that F is contraction. Let the notation for each t ∈ [0, T] and u, v ∈ C. From (18), we find that Similary, from (19), we have Next, we find that By (H 2 ), we can conclude that F is a contraction. From Banach fixed point theorem, F has a fixed point. Therefore, problem (1) has a unique solution.

Conclusions
We have proved existence and uniqueness results of the sequential fractional q-Hahn integrodifference equation with nonlocal mixed fractional q and fractional Hahn integral boundary condition (1) by using the Banach fixed point theorem, and the existence of at least a solution by Schauder's fixed point theorem. Our problem contains both fractional q-difference and fractional Hahn difference operators, which is a new idea.