A Method for Performing the Symmetric Anti-Difference Equations in Quantum Fractional Calculus

Abstract

In this paper, we develop theorems on finite and infinite summation formulas by utilizing the $\mathfrak{q}$ and $(\mathfrak{q},\mathfrak{h})$ anti-difference operators, and also we extend these core theorems to ${\mathfrak{q}}_{\left(\alpha \right)}$ and ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operators. Several integer order theorems based on $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operator have been published, which gave us the idea to derive the fractional order anti-difference equations for $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operators. In order to develop the fractional order anti-difference equations for $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operators, we construct a function known as the quantum geometric and alpha-quantum geometric function, which behaves as the class of geometric series. We can use this function to convert an infinite summation to a limited summation. Using this concept and by the gamma function, we derive the fractional order anti-difference equations for $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operators for polynomials, polynomial factorials, and logarithmic functions that provide solutions for symmetric difference operator. We provide appropriate examples to support our results. In addition, we extend these concepts to the $(\mathfrak{q},\mathfrak{h})$ and ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operators, and we derive several integer and fractional order theorems that give solutions for the mixed symmetric difference operator. Finally, we plot the diagrams to analyze the $(\mathfrak{q},\mathfrak{h})$ and ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operators for verification.

1. Introduction

The study of calculus without limits is nowadays known as quantum calculus. Jackson’s work [1] sheds light on the invention of q-calculus, often known as quantum calculus, while in 1908, Euler and Jacobi had already developed this type of calculus. The field of q-calculus emerged as a link between mathematics and physics. Numerous mathematical fields, including combinatorics, orthogonal polynomials, number theory, fundamental hyper-geometric functions, as well as other sciences, including mechanics, quantum theory, and the theory of relativity, make extensive use of it.

Most of the basic facts of quantum calculus are covered in the book by Kac and Cheung [2]. Quantum calculus is a branch within the mathematical topic of time scales calculus. The q-differential equations are typically defined on a time scale set $T_q$, where q is the scale index. Time scales offer a unifying framework for investigating the dynamic equations. The majority of the fundamental theory in the calculus of time scales was compiled in the text by Bohner and Peterson [3].

Though quantum calculus plays a major role in physics, engineers and mathematics also show interest in fractional q-difference equations and q-calculus. The main focus of developing q-difference equations is to characterize some unique physical processes and other areas. Some of the topics that have been developed and investigated in conjunction with the creation of the q-calculus theory include the q-Gamma, q-Laplace transform, q-Taylor expansion, q-Beta functions, q-integral transforms theory, q-Mittag Leffler functions, and others. Refer to the articles [4,5,6,7,8,9,10,11,12] for additional information on fractional and q-calculus equations with q-differentials. The study of fractional q-calculus is still in its early stages when compared to the classical fractional calculus.

In recent years, there has been some research on the uniqueness and existence of solutions to fractional q-calculus. In [13], the authors suggested a technique for solving several linear fractional q-differential equations that involves corresponding integer order equations. Abdeljawad et al. demonstrated the uniqueness of a nonlinear delay Caputo fractional q-difference system initial value problem in [14] by employing a new extended form of the discrete fractional q-Gronwall inequality, whereas the author provided the applications in [15,16]. By utilizing the Banach’s contraction mapping concept and by using the p-Laplacian operator, the authors of [17] showed that the Caputo q-fractional boundary value problem has a unique solution. [18] The contraction mapping principle was used by Ren et al. They also used traditional fixed point theorems to prove that numerous positive solutions exist under certain conditions. In [19], Zhang et al. provided the uniqueness and existence of solutions to the Caputo fractional q-differential equations, and also in [20] they considered the possibility of a singular solution in the q-integral space. The authors in [21] provided the applications of quantum calculus to impulsive difference equations on finite intervals. The applications of the q-calculus to the problem of a falling body in a resisting medium have been given in [22]. Later, the authors in [23] developed the $\mathfrak{q}$-symmetric derivative, which is defined as $(\mathfrak{u}\left(\mathfrak{qk}\right)-\mathfrak{u}\left({\mathfrak{q}}^{-\mathfrak{1}}\mathfrak{k}\right))/(\mathfrak{qk}-{\mathfrak{q}}^{-\mathfrak{1}}\mathfrak{k})$.

The q-differential operator is then extended to q-difference operator. The q-difference operator was proposed by the authors [24] in 2014 and is defined as $d_q\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}\left(\mathfrak{kq}\right)-\mathfrak{u}\left(\mathfrak{k}\right)$, and the oscillation of q difference equation was discussed in [25]. In [26], the authors suggested the $d_{{\mathfrak{q}}_{\left(\alpha \right)}}$ operator by defining $d_{q_{\left(\alpha \right)}}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}\left(\mathfrak{kq}\right)-\alpha \mathfrak{u}\left(\mathfrak{k}\right)$. In 2022, the authors in [27] developed the $\mathfrak{q}$-symmetric difference operator, that is ${\mathfrak{D}}_{\mathfrak{q}}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}\left(\mathfrak{kq}\right)-\mathfrak{u}\left({\mathfrak{kq}}^{-\mathfrak{1}}\right)$, which is the combination of forward and backward $\mathfrak{q}$-difference operator. Here, the authors developed the theorems for integer order using the q-difference operator that generates a solution for the q-symmetric difference operator. This motivates us to develop the fractional order theorems for q-symmetric difference operator. In addition, we have extended this q-symmetric difference operator to $(q,h)$-symmetric operator which is defined as ${\mathfrak{D}}_{\mathfrak{q}}^{\mathfrak{h}}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}(\mathfrak{kq}+\mathfrak{h})-\mathfrak{u}({\mathfrak{kq}}^{-\mathfrak{1}}-\mathfrak{h})$, and its alpha $(q,h)$-symmetric operator is defined as ${\mathfrak{D}}_{{\mathfrak{q}}_{\left(\alpha \right)}^{\mathfrak{h}}}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}(\mathfrak{kq}+\mathfrak{h})-\alpha \mathfrak{u}({\mathfrak{kq}}^{-\mathfrak{1}}-\mathfrak{h})$. Throughout this paper, we concentrate only on the development of fractional order $\mathfrak{q}$ and $(\mathfrak{q},\mathfrak{h})$ anti-difference equations, and we have extended these core theorems to ${\mathfrak{q}}_{\left(\alpha \right)}$ and ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ fractional anti-difference equations. Those findings will provide fractional order solution for the $(\mathfrak{q},\mathfrak{h})$ and ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ symmetric difference operator. Here, the findings are based only on the delta operator. One can do the same for the nabla operator.

This is how the paper is structured. The Introduction is the focus of Section 1. In Section 2, we discuss the preliminaries of $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operator. In Section 3, Section 4 and Section 5, we develop the integer and fractional order theorems for q, ${\mathfrak{q}}_{\left(\alpha \right)}$, $(\mathfrak{q},\mathfrak{h})$, and ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operators. The conclusion is covered in Section 6.

2. Preliminaries

In this section, we discuss the basic definitions of $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operators and their inverse operators. Here, for any $\mathfrak{a}\in \mathfrak{R}$, we define an infinite set ${\mathfrak{T}}_{\mathfrak{q}}=\{\mathfrak{a},{\mathfrak{aq}}^{\pm \mathfrak{1}},{\mathfrak{aq}}^{\pm \mathfrak{2}},\dots \}$ such that if $\mathfrak{k}\in {\mathfrak{T}}_{\mathfrak{q}}$, then ${\mathfrak{kq}}^{\pm \mathfrak{1}}\in {\mathfrak{T}}_{\mathfrak{q}}$, where $\mathfrak{0}\ne \mathfrak{k}\in \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$ and $\mathfrak{R}=(-\infty ,\infty )$.

Definition 1 

([25]). Let $\mathfrak{u}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$ and $\mathfrak{1}\ne \mathfrak{q}>\mathfrak{0}\in \mathfrak{R}$. The $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operator ($\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$-symmetric difference operator), denoted as $d_q$ and $d_{q_{\left(\alpha \right)}}$, on $\mathfrak{u}\left(\mathfrak{k}\right)$ are, respectively, defined as

$$d_q\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}\left(\mathfrak{kq}\right)-\mathfrak{u}\left(\mathfrak{k}\right),\mathfrak{k}\in {\mathfrak{T}}_{\mathfrak{q}}$$

(1)

and

$$d_{q_{\left(\alpha \right)}}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}\left(\mathfrak{kq}\right)-\alpha \mathfrak{u}\left(\mathfrak{k}\right),\mathfrak{0}\ne \alpha \in \mathfrak{R},\mathfrak{k}\in {\mathfrak{T}}_{\mathfrak{q}}.$$

(2)

Definition 2 

([25]). If there exists a function $\mathfrak{v}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$ such that $d_q\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{v}\left(\mathfrak{k}\right)$, then its inverse $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operator, denoted as $I_q$ and $I_{q_{\left(\alpha \right)}}$ are, respectively, defined as

$$\mathfrak{v}\left(\mathfrak{k}\right)=I_q\mathfrak{u}\left(\mathfrak{k}\right)+\mathfrak{c},I_q=d_q^{-1}$$

(3)

and

$$\mathfrak{v}\left(\mathfrak{k}\right)=I_{q_{\left(\alpha \right)}}\mathfrak{u}\left(\mathfrak{k}\right)+\mathfrak{c},I_{q_{\left(\alpha \right)}}=d_{q_{\left(\alpha \right)}}^{-1},$$

(4)

where $\mathfrak{c}$ is a constant.

Definition 3 

([27]). Let $\mathfrak{n}\in \mathfrak{N}$ and $\mathfrak{k},\mathfrak{q}$ be any real number. Then, the $\mathfrak{q}$-polynomial falling factorial function of ${\mathfrak{k}}_{\mathfrak{q}}^{\left(\mathfrak{n}\right)}$ is defined as

$${\mathfrak{k}}_{\mathfrak{q}}^{\left(\mathfrak{n}\right)}=\mathfrak{k}\left(\prod _{\mathfrak{r}=\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}(\mathfrak{k}-{\mathfrak{q}}^{\mathfrak{r}})\right).$$

(5)

Lemma 1 

([27]). The power rule for $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operator is as follows:

1. 

If $\mathfrak{n}\in \mathfrak{N}$ and $\mathfrak{q}\ne \mathfrak{1}$, then for $\mathfrak{k}\in \mathfrak{R}$,

$$d_q{\mathfrak{k}}_{\mathfrak{q}}^{\left(\mathfrak{n}\right)}=({\mathfrak{q}}^{\mathfrak{n}}-\mathfrak{1}){\mathfrak{k}}_{\mathfrak{q}}^{\left(\mathfrak{n}\right)}and{I}_q{\mathfrak{k}}_{\mathfrak{q}}^{\left(\mathfrak{n}\right)}={\mathfrak{k}}_{\mathfrak{q}}^{\left(\mathfrak{n}\right)}/({\mathfrak{q}}^{\mathfrak{n}}-\mathfrak{1})+\mathfrak{c}.$$

(6)

2. 

If $\mathfrak{n}\in \mathfrak{N}$, ${\mathfrak{q}}^{\mathfrak{n}}\ne \alpha$ and $\alpha \in \mathfrak{R}$, then for $\mathfrak{k}\in \mathfrak{R}$,

$$d_{q_{\left(\alpha \right)}}{\mathfrak{k}}_{\mathfrak{q}}^{\left(\mathfrak{n}\right)}=({\mathfrak{q}}^{\mathfrak{n}}-\alpha ){\mathfrak{k}}_{\mathfrak{q}}^{\left(\mathfrak{n}\right)}and{I}_{q_{\left(\alpha \right)}}{\mathfrak{k}}_{\mathfrak{q}}^{\left(\mathfrak{n}\right)}={\mathfrak{k}}_{\mathfrak{q}}^{\left(\mathfrak{n}\right)}/({\mathfrak{q}}^{\mathfrak{n}}-\alpha )+\mathfrak{c}.$$

(7)

Lemma 2 

([27]). Let $\mathfrak{u},\mathfrak{v}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$ and $\mathfrak{q}\ne \mathfrak{1}\in \mathfrak{R}$. The product rule of $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operator is, respectively, defined by

$$I_q\left\{\mathfrak{u}\left(\mathfrak{k}\right)\mathfrak{v}\left(\mathfrak{k}\right)\right\}=\mathfrak{u}\left(\mathfrak{k}\right)I_q\mathfrak{v}\left(\mathfrak{k}\right)-I_q\left\{I_q\mathfrak{v}\left(\mathfrak{kq}\right)d_q\mathfrak{u}\left(\mathfrak{k}\right)\right\}.$$

(8)

and

$$I_{q_{\left(\alpha \right)}}\left\{\mathfrak{u}\left(\mathfrak{k}\right)\mathfrak{v}\left(\mathfrak{k}\right)\right\}=\mathfrak{u}\left(\mathfrak{k}\right)I_{q_{\left(\alpha \right)}}\mathfrak{v}\left(\mathfrak{k}\right)-I_{q_{\left(\alpha \right)}}\left\{I_{q_{\left(\alpha \right)}}\mathfrak{v}\left(\mathfrak{kq}\right)d_q\mathfrak{u}\left(\mathfrak{k}\right)\right\},\alpha \in \mathfrak{R}.$$

(9)

 1 

([27]). Let $\mathfrak{k},\alpha \in \mathfrak{R}$ and $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$. Then,

$$I_q\left(\mathfrak{1}\right)=log\left(\mathfrak{k}\right)/log\left(\mathfrak{q}\right)\mathrm{and}{I}_{q_{\left(\alpha \right)}}\left(\mathfrak{1}\right)=\mathfrak{1}/(\mathfrak{1}-\alpha ).$$

(10)

Result 2 

([27]). If $\mathfrak{1}\ne \mathfrak{q}>\mathfrak{0}$ and $\alpha <\mathfrak{1}\in \mathfrak{R}$, then for $\mathfrak{k}\in (\mathfrak{0},\infty )$, we have

$$I_{q_{\left(\alpha \right)}}\mathfrak{log}\left(\mathfrak{k}\right)=(\mathfrak{log}\left(\mathfrak{k}\right)/(\mathfrak{1}-\alpha ))-(\mathfrak{log}\left(\mathfrak{q}\right)/{(\mathfrak{1}-\alpha )}^{\mathfrak{2}})$$

(11)

and

$$I_{q_{\left(\alpha \right)}}\mathfrak{log}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{n}})=\left(\mathfrak{log}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{n}})/(\mathfrak{1}-\alpha )\right)-(\mathfrak{log}\left(\mathfrak{q}\right)/{(\mathfrak{1}-\alpha )}^{\mathfrak{2}}),\mathfrak{n}\in \mathfrak{R}.$$

(12)

3. Fundamental Theorems for $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\mathbf{\alpha }\right)}$ Symmetric Difference Operator

In this section, we present some basic notions of polynomial factorial function and gamma function. Then, we use the $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operator and its inverse operators to derive fundamental theorems.

Definition 4 

([28]). Let $\mathfrak{k}\in \mathfrak{R}$ and $\mathfrak{n}\in \mathfrak{N}$. Then, the falling factorial function is defined as

$${\mathfrak{k}}^{\left(\mathfrak{n}\right)}=\prod _{\mathfrak{r}=\mathfrak{1}}^{\mathfrak{n}}(\mathfrak{k}-(\mathfrak{r}-\mathfrak{1})).$$

(13)

For $\mathfrak{0}<\nu \in \mathfrak{R}$ and $\mathfrak{k}\in \mathfrak{R}$, the generalized gamma function is

$${\mathfrak{k}}^{\left(\nu \right)}=\Gamma (\mathfrak{k}+\mathfrak{1})/\Gamma (\mathfrak{k}-\nu +\mathfrak{1}),$$

(14)

where $\mathfrak{k}+\mathfrak{1}$ and $\mathfrak{k}-\nu +\mathfrak{1}$ is non-equal to zero or a negative integer.

Lemma 3 

([29]). For the first $\mathfrak{n}$ natural numbers, the ${\mathfrak{x}}^{\mathfrak{th}}$ power polynomial factorial is

$$\sum _{\mathfrak{z}=\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{z}}^{\left(\mathfrak{x}\right)}={(\mathfrak{n}+\mathfrak{1})}^{(\mathfrak{x}+\mathfrak{1})}/(\mathfrak{x}+\mathfrak{1}),\mathfrak{n}\in \mathfrak{N}.$$

(15)

3.1. Fundamental Theorems for $\mathfrak{q}$ Operator

Using the $\mathfrak{q}$ symmetric difference operator, we develop a few theorems for integer order ($\mathfrak{x}$-th order) and fractional order ($\nu$-th order) sums.

Definition 5. 

Let $\mathfrak{s},\mathfrak{k}\in \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$ such that $\mathfrak{s}\in {\mathfrak{T}}_{\mathfrak{q}}$ and $\mathfrak{u}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$ be a function. Then, the quantum geometric function (or $\mathfrak{q}$-geometric function) is defined as

$$\sum _{\mathfrak{r}=\mathfrak{k}}^{\infty }\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}})={\displaystyle \frac{{\left[\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}})\right]}^{\mathfrak{2}}}{\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}})-\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{1}})}},$$

(16)

if ${\displaystyle \sum _{\mathfrak{r}=\mathfrak{k}}^{\infty }}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}})$ is convergent.

Lemma 4. 

If $\mathfrak{s},\mathfrak{t}\in \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, and ${\displaystyle \sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{j}})$ is convergent, then

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})={\displaystyle \frac{{\left[\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})\right]}^{\mathfrak{2}}}{\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})-\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}})}}$$

(17)

Proof. 

The proof completes by replacing $\mathfrak{k}$ by $\mathfrak{k}+\mathfrak{1}$ and $\mathfrak{r}$ by $\mathfrak{r}+\mathfrak{1}$ in Definition 5. □

Lemma 5. 

If $\mathfrak{x}\in \mathfrak{N}$ and assuming the conditions given in Lemma 4, then

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }{\displaystyle \frac{{(\mathfrak{r}+\mathfrak{x}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}}{(\mathfrak{x}-\mathfrak{1})!}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{x}})={\displaystyle \frac{(\mathfrak{x}-\mathfrak{1})![({(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}}){]}^{\mathfrak{2}}}{{(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}})-{(\mathfrak{k}+\mathfrak{x}+\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{2}})}}.$$

(18)

Proof. 

Equation (17) can be represented as

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }({(\mathfrak{r}+\mathfrak{0})}^{\left(\mathfrak{0}\right)}/\mathfrak{0}!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})={\displaystyle \frac{[({(\mathfrak{k}+\mathfrak{1})}^{\left(\mathfrak{0}\right)}/\mathfrak{0}!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}}){]}^{\mathfrak{2}}}{({(\mathfrak{k}+\mathfrak{1})}^{\left(\mathfrak{0}\right)}/\mathfrak{0}!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})-({(\mathfrak{k}+\mathfrak{2})}^{\left(\mathfrak{0}\right)}/\mathfrak{0}!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}})}}.$$

(19)

From (19), one can easily find the next term as

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }({(\mathfrak{r}+\mathfrak{1})}^{\left(\mathfrak{1}\right)}/\mathfrak{1}!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{2}})={\displaystyle \frac{(({(\mathfrak{k}+\mathfrak{2})}^{\left(\mathfrak{1}\right)}/\mathfrak{1}!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}}){]}^{\mathfrak{2}}}{({(\mathfrak{k}+\mathfrak{2})}^{\left(\mathfrak{1}\right)}/\mathfrak{1}!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}})-({(\mathfrak{k}+\mathfrak{3})}^{\left(\mathfrak{1}\right)}/\mathfrak{1}!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{4}})}}.$$

Similarly, we can find

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }{\displaystyle \frac{{(\mathfrak{r}+\mathfrak{x}-\mathfrak{2})}^{(\mathfrak{x}-\mathfrak{2})}}{(\mathfrak{x}-\mathfrak{2})!}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{x}-\mathfrak{1}})={\displaystyle \frac{(\mathfrak{x}-\mathfrak{2})![({(\mathfrak{k}+\mathfrak{x}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{2})}/(\mathfrak{x}-\mathfrak{2})!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}}){]}^{\mathfrak{2}}}{{(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{2})}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}})-{(\mathfrak{k}+\mathfrak{x})}^{\left(\mathfrak{1}\right)}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}})}}.$$

(20)

Hence, the proof completes by replacing $\mathfrak{x}$ by $\mathfrak{x}+\mathfrak{1}$ in Equation (20). □

Theorem 1. 

Let $\mathfrak{u},\mathfrak{v}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{N}$, $\mathfrak{s}\in \mathfrak{R}$ and $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$. Then, the anti-difference principle of $\mathfrak{q}$ difference operator is given by

$$I_q\mathfrak{u}\left(\mathfrak{k}\right){|}_{\mathfrak{k}=\mathfrak{s}}-{\displaystyle \frac{{\left[\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})\right]}^{\mathfrak{2}}}{\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})-\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}})}}=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}).$$

(21)

Proof. 

Since $I_q\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{v}\left(\mathfrak{k}\right)$, we can deduce that to $\mathfrak{u}\left(\mathfrak{k}\right)=d_q\mathfrak{v}\left(\mathfrak{k}\right)$. Therefore, $\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{v}\left(\mathfrak{kq}\right)-\mathfrak{v}\left(\mathfrak{k}\right)$ and

$$\mathfrak{v}\left(\mathfrak{kq}\right)=\mathfrak{u}\left(\mathfrak{k}\right)+\mathfrak{v}\left(\mathfrak{k}\right).$$

(22)

When $\mathfrak{k}$ is substituted for $(\mathfrak{k}/\mathfrak{q})$ in Equation (22), we obtain

$$\mathfrak{v}\left(\mathfrak{k}\right)=\mathfrak{u}(\mathfrak{k}/\mathfrak{q})+\mathfrak{v}(\mathfrak{k}/\mathfrak{q}).$$

(23)

Once again, by changing $\mathfrak{k}$ to $(\mathfrak{k}/\mathfrak{q})$ in Equation (23), we obtain

$$\mathfrak{v}(\mathfrak{k}/\mathfrak{q})=\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{v}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{2}}).$$

(24)

Substituting Equation (24) in Equation (23), we obtain

$$\mathfrak{v}\left(\mathfrak{k}\right)=\mathfrak{u}(\mathfrak{k}/\mathfrak{q})+\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{v}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{2}}).$$

(25)

Proceeding like this up to $\mathfrak{n}$ times, we obtain

$$\mathfrak{v}\left(\mathfrak{k}\right)=\sum _{\mathfrak{r}=\mathfrak{1}}^{\mathfrak{n}}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}})+\mathfrak{v}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{n}}).$$

Applying $\underset{\mathfrak{n}\to \infty }{lim}$ in the previous equation and assuming $\mathfrak{v}\left(\mathfrak{0}\right)=\mathfrak{u}\left(\mathfrak{0}\right)=\mathfrak{0}$, we obtain

$$\mathfrak{v}\left(\mathfrak{k}\right)=\mathfrak{u}(\mathfrak{k}/\mathfrak{q})+\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{3}})+\dots +\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})+\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{2}})+\dots$$

(26)

Replacing ${}^{\prime }{\mathfrak{k}}^{\prime }$ by ${}^{\prime }{\mathfrak{s}}^{\prime }$ and ${}^{\prime }{\mathfrak{r}}^{\prime }$ by ${}^{\prime }{\mathfrak{k}}^{\prime }$ in (26), we obtain

$$\mathfrak{v}\left(\mathfrak{s}\right)=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})+\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}).$$

(27)

From Equation (3), we arrive at

$$I_q\mathfrak{u}\left(\mathfrak{k}\right){|}_{\mathfrak{k}=\mathfrak{s}}-\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}).$$

Finally, the proof completes by substituting Equation (17) in the previous equation. □

Theorem 2. 

Let $\mathfrak{u},\mathfrak{v}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$, $\mathfrak{x}\in \mathfrak{N}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$ and $\mathfrak{s},\mathfrak{k}\in \mathfrak{R}$. Thus, for the $\mathfrak{q}$ difference operator, the higher order anti-difference principle is given by

$I_q^{\mathfrak{x}}\mathfrak{u}\left(\mathfrak{k}\right){|}_{\mathfrak{k}=\mathfrak{s}}-{\displaystyle \frac{(\mathfrak{x}-\mathfrak{1})![({(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}}){]}^{\mathfrak{2}}}{({(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}})-{(\mathfrak{k}+\mathfrak{x}+\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{2}}))}}$

$$=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}({(\mathfrak{r}+\mathfrak{x}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{x}}).$$

(28)

Proof. 

Theorem 1 provides the proof for $\mathfrak{x}=\mathfrak{1}$.

If we apply the $I_q$ operator on both sides of Equation (26), we obtain

$$I_q^2\mathfrak{u}\left(\mathfrak{k}\right)=I_q\mathfrak{u}(\mathfrak{k}/\mathfrak{q})+I_q\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{2}})+I_q\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{3}})+I_q\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{4}})+I_q\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{5}})+\dots$$

Replacing the right side of the aforementioned equation by (26), we obtain

$$I_q^2\mathfrak{u}\left(\mathfrak{k}\right)={\displaystyle \sum _{\mathfrak{r}=\mathfrak{2}}^{\infty }}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}})+{\displaystyle \sum _{\mathfrak{r}=\mathfrak{3}}^{\infty }}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}})+{\displaystyle \sum _{\mathfrak{r}=\mathfrak{4}}^{\infty }}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}})+{\displaystyle \sum _{\mathfrak{r}=\mathfrak{5}}^{\infty }}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}})+{\displaystyle \sum _{\mathfrak{r}=\mathfrak{6}}^{\infty }}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}})+\dots ,$$

which implies

$$I_q^2\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{2}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{3}})+\mathfrak{3}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{4}})+\dots +(\mathfrak{r}+\mathfrak{1})\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{2}})+\dots$$

(29)

Replacing ${}^{\prime }{\mathfrak{k}}^{\prime }$ by ${}^{\prime }{\mathfrak{s}}^{\prime }$ and ${}^{\prime }{\mathfrak{r}}^{\prime }$ by ${}^{\prime }{\mathfrak{k}}^{\prime }$ in Equation (29), we arrive at

$$I_q^2\mathfrak{u}\left(\mathfrak{k}\right){|}_{\mathfrak{k}=\mathfrak{s}}=\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{2}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{3}})+\mathfrak{3}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{4}})+\dots +(\mathfrak{k}+\mathfrak{1})\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})+\dots$$

Therefore,

$$I_q^2\mathfrak{u}\left(\mathfrak{k}\right){|}_{\mathfrak{k}=\mathfrak{s}}-\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }(\mathfrak{r}+\mathfrak{1})\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{2}})=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}(\mathfrak{r}+\mathfrak{1})\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{2}}).$$

Once again, by using the $I_q$ operator on both sides of the expression (29), we obtain

$$I_q^3\mathfrak{u}\left(\mathfrak{k}\right)=I_q\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{2}{I}_q\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{3}})+\mathfrak{3}{I}_q\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{4}})+\mathfrak{4}{I}_q\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{5}})+\mathfrak{5}{I}_q\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{6}})+\dots$$

Inserting Equation (26) in each term of the right side of the previous equation, we obtain

$$I_q^3\mathfrak{u}\left(\mathfrak{k}\right)={\displaystyle \sum _{\mathfrak{r}=\mathfrak{3}}^{\infty }}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}})+\mathfrak{2}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{4}}^{\infty }}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}})+\mathfrak{3}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{5}}^{\infty }}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}})+\mathfrak{4}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{6}}^{\infty }}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}})+\dots$$

The above equation will be written as

$$I_q^3\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{3}})+(\mathfrak{1}+\mathfrak{2})\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{4}})+(\mathfrak{1}+\mathfrak{2}+\mathfrak{3})\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{5}})+(\mathfrak{1}+\mathfrak{2}+\mathfrak{3}+\mathfrak{4})\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{6}})+\dots$$

By Lemma 3 for $\mathfrak{m}=\mathfrak{1}$, the above equation becomes

$$I_q^3\mathfrak{u}\left(\mathfrak{k}\right)=({\mathfrak{2}}^{\left(\mathfrak{2}\right)}/\mathfrak{2})\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{2}})+({\mathfrak{3}}^{\left(\mathfrak{2}\right)}/\mathfrak{2})\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{3}})+\dots +({(\mathfrak{r}+\mathfrak{2})}^{\left(\mathfrak{2}\right)}/\mathfrak{2})\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{3}})+\dots$$

(30)

Replacing ${}^{\prime }{\mathfrak{k}}^{\prime }$ by ${}^{\prime }{\mathfrak{s}}^{\prime }$ and ${}^{\prime }{\mathfrak{r}}^{\prime }$ by ${}^{\prime }{\mathfrak{k}}^{\prime }$ in Equation (30), we obtain

$$I_q^3\mathfrak{u}\left(\mathfrak{s}\right)-\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }({(\mathfrak{r}+\mathfrak{2})}^{\left(\mathfrak{2}\right)}/\mathfrak{2})\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{3}})=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}({(\mathfrak{r}+\mathfrak{2})}^{\left(\mathfrak{2}\right)}/\mathfrak{2})\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{3}}).$$

Similarly, the fourth inverse will be

$$I_q^4\mathfrak{u}\left(\mathfrak{s}\right)-{\displaystyle \sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }}({(\mathfrak{r}+\mathfrak{3})}^{\left(\mathfrak{3}\right)}/\mathfrak{3}!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{4}})={\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}}({(\mathfrak{r}+\mathfrak{3})}^{\left(\mathfrak{3}\right)}/\mathfrak{3}!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{4}}).$$

Following the similar manner, we obtain the general term as

$$I_q^{\mathfrak{x}}\mathfrak{u}\left(\mathfrak{s}\right)-\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }({(\mathfrak{r}+\mathfrak{x}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{x}})=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}({(\mathfrak{r}+\mathfrak{x}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{x}}).$$

Hence, by Lemma 5, we obtain (28). □

Example 1. 

Taking $u\left(k\right)=k_q^{\left(2\right)}$ and $\mathfrak{x}=3$ in Equation (28), we obtain

$I_q^3{k}_q^{\left(2\right)}{|}_{k=s}-{\displaystyle \frac{[({(k+3)}^{\left(2\right)}/2!){(s/q^{k+4})}_q^{\left(2\right)}{]}^2}{({(k+3)}^{\left(2\right)}/2!){(s/q^{k+4})}_q^{\left(2\right)}-({(k+4)}^{\left(2\right)}/2!){(s/q^{k+5})}_q^{\left(2\right)}}}$

$$=\sum _{r=0}^k({(r+2)}^{\left(2\right)}/2!){(s/q^{r+3})}_q^{\left(2\right)}.$$

(31)

Using Equation (1), we arrive at $I_q{k}_q^{\left(2\right)}=k_q^{\left(2\right)}(q^2-1)$. Then, it is easy to find

$$I_q{k}_q^{\left(2\right)}=k_q^{\left(2\right)}/(q^2-1).$$

Similarly, applying the $I_q$ operator on the function $k_q^{\left(2\right)}$ for x times, we obtain

$$I_q^{\mathfrak{x}}{k}_q^{\left(2\right)}=k_q^{\left(2\right)}/{(q^2-1)}^{\mathfrak{x}}.$$

Taking $s=8$, $k=3$, and $q=4$ in Equation (31), we arrive at

$$I_q^3{k}_4^{\left(2\right)}{|}_{k=8}=\left(\left(s\right)(s-4)\right)/{(4^2-1)}^3{|}_{s=8}=\left(\left(8\right)(8-4)\right)/{(16-1)}^3.$$

(32)

Next, the second term of Equation (31) becomes

$${\displaystyle \frac{[({\left(6\right)}^{\left(2\right)}/2!)(8/4^7)((8-4)/4^7){]}^2}{[({\left(6\right)}^{\left(2\right)}/2!)(8/4^7)((8-4)/4^7)]-[({\left(7\right)}^{\left(2\right)}/2!)(8/4^8)((8-4)/4^8)]}}.$$

(33)

The right side of Equation (31) becomes

$$\sum _{r=0}^7({(r+2)}^{\left(2\right)}/2!){(s/q^{r+3})}_q^{\left(2\right)}=32/{\left(4^3\right)}^2+96/{\left(4^4\right)}^2+192/{\left(4^5\right)}^2+320/{\left(4^6\right)}^2.$$

(34)

Hence, by substituting Equations (32)–(34) in Equation (31), we obtain the result.

The following Definition 6 is the generalized version for Definition 5.

Definition 6. 

Let $\mathfrak{s}\in \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{N}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$ and ${\displaystyle \sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }}(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1}))\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\nu })$ be convergent such that $\mathfrak{s}\in {\mathfrak{T}}_{\mathfrak{q}}$ and $\mathfrak{u}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$ be a function. Then, for $\nu >0$, the generalized quantum geometric function (or generalized $\mathfrak{q}$-geometric function) is defined as

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1}))\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\nu })={\displaystyle \frac{{\left[\mathcal{A}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}})\right]}^2}{\mathcal{A}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}})-\mathcal{B}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{2}})}},$$

(35)

where $\mathcal{A}=\Gamma (\mathfrak{k}+\nu +\mathfrak{1})/\Gamma (\mathfrak{k}+\mathfrak{2})\Gamma \left(\nu \right)$ and $\mathcal{B}=\Gamma (\mathfrak{k}+\nu +\mathfrak{2})/\Gamma (\mathfrak{k}+\mathfrak{3})\Gamma \left(\nu \right)$.

The following Theorem 3 is the generalized version for Theorem 2.

Theorem 3 

(Generalized $\mathfrak{q}$ difference equation). Let $\mathfrak{u},\mathfrak{v}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$, $\mathfrak{s},\nu \in \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{N}$ and $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$. Then, the ν-th order (or real order) anti-difference principle of $\mathfrak{q}$ difference operator is given by

$I_q^{\nu }\mathfrak{u}\left(\mathfrak{k}\right){|}_{\mathfrak{k}=\mathfrak{s}}-{\displaystyle \frac{\Gamma \left(\nu \right){\left[(\Gamma (\mathfrak{k}+\nu +\mathfrak{1})/\Gamma (\mathfrak{k}+\mathfrak{2})\Gamma \left(\nu \right))\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}})\right]}^2}{\Gamma (\mathfrak{k}+\nu +\mathfrak{1})/\Gamma (\mathfrak{k}+\mathfrak{2})\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}})-\Gamma (\mathfrak{k}+\nu +\mathfrak{2})/\Gamma (\mathfrak{k}+\mathfrak{3})\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{2}})}}$

$$=(\mathfrak{1}/\Gamma \left(\nu \right))\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1}))\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\nu }).$$

(36)

Proof. 

If Theorem 2 is extending to any real order ($\nu >0$), then we obtain

$I_q^{\nu }\mathfrak{u}\left(\mathfrak{k}\right){|}_{\mathfrak{k}=\mathfrak{s}}-{\displaystyle \frac{(\nu -1)![({(\mathfrak{k}+\nu )}^{(\nu -\mathfrak{1})}/(\nu -1)!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}}){]}^{\mathfrak{2}}}{{(\mathfrak{k}+\nu )}^{(\nu -\mathfrak{1})}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}})-{(\mathfrak{k}+\nu +\mathfrak{1})}^{(\nu -\mathfrak{1})}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{2}})}}$

$$=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}({(\mathfrak{r}+\nu -\mathfrak{1})}^{(\nu -\mathfrak{1})}/(\nu -\mathfrak{1})!)\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\nu }).$$

(37)

Since the polynomial factorial does not exists for non-integer values, by using Equation (14), we take ${(\mathfrak{k}+\nu )}^{(\nu -\mathfrak{1})}=(\Gamma (\mathfrak{k}+\nu +\mathfrak{1})/\Gamma (\mathfrak{k}+\mathfrak{2}))$, ${(\mathfrak{k}+\nu +\mathfrak{1})}^{(\nu -\mathfrak{1})}=\Gamma (\mathfrak{k}+\nu +\mathfrak{2})/\Gamma (\mathfrak{k}+\mathfrak{3}))$ and ${(\mathfrak{k}+\nu -\mathfrak{1})}^{(\nu -\mathfrak{1})}=\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1})$ in (37). Hence, the proof completes. □

Example 2. 

Taking $u\left(k\right)=k^2$ and $\nu =2.7$ in Equation (36), we obtain

$I_q^{2.7}{k}^2{|}_{k=s}-{\displaystyle \frac{\Gamma \left(\nu \right)[(\Gamma (k+\nu +1)/\Gamma (k+2)\Gamma \left(\nu \right)){(s/q^{k+3.7})}^2{]}^2}{\Gamma (k+\nu +1)/\Gamma (k+2){(s/q^{k+3.7})}^2-\Gamma (k+\nu +2)/\Gamma (k+3){(s/q^{k+4.7})}^2}}$

$$=(1/\Gamma \left(\nu \right))\sum _{r=0}^k(\Gamma (r+\nu )/\Gamma (r+1))u(s/q^{r+\nu }).$$

(38)

Using Equation (1) and then applying the $I_q$ operator on the function $k_q^2$ for $\mathfrak{x}$ times, we obtain

$$I_q^{\mathfrak{x}}{k}_q^2=k^2/{(q^2-1)}^{\mathfrak{x}}.$$

(39)

For any real $\nu >0$, Equation (39) becomes

$$I_q^{\nu }{k}^2=k^2/{(q^2-1)}^{\nu }.$$

Taking $s=8.1$, $k=6$ and $q=3.2$ in Equation (38), we arrive

$${\left(8.1\right)}^2/{(3.2^2-1)}^{2.7}-{\displaystyle \frac{\Gamma \left(2.7\right)[(\Gamma \left(9.7\right)/\Gamma \left(8\right)\Gamma \left(2.7\right)){(8.1/{\left(3.2\right)}^{9.7})}^2{]}^2}{(\Gamma \left(9.7\right)/\Gamma \left(8\right)){(8.1/{\left(3.2\right)}^{9.7})}^2-(\Gamma \left(10.7\right)/\Gamma \left(9\right)){(8.1/{\left(3.2\right)}^{10.7})}^2}}.$$

(40)

The right side of Equation (38) becomes

${\displaystyle \sum _{r=0}^7}({(r+2)}^{\left(2\right)}/2!){(8.1/{\left(3.2\right)}^{r+3})}_{3.2}^2=(1/\Gamma \left(2.7\right))[\Gamma \left(2.7\right){(8.1/{\left(3.2\right)}^{2.7})}^2+\Gamma \left(3.7\right)/{(8.1/{\left(3.2\right)}^{3.7})}^2$

$+(\Gamma \left(4.7\right)/2!)/{(8.1/{\left(3.2\right)}^{4.7})}^2+(\Gamma \left(5.7\right)/3!)/{(8.1/{\left(3.2\right)}^{5.7})}^2+(\Gamma \left(6.7\right)/4!)/{(8.1/{\left(3.2\right)}^{6.7})}^2$

$$+(\Gamma \left(7.7\right)/5!)/{(8.1/{\left(3.2\right)}^{7.7})}^2+(\Gamma \left(8.7\right)/6!)/{(8.1/{\left(3.2\right)}^{8.7})}^2].$$

(41)

Hence, substituting Equations (40) and (41) in Equation (38), we obtain the result.

3.2. Fundamental Theorems for ${\mathfrak{q}}_{\left(\alpha \right)}$ Operator

By utilizing the ${\mathfrak{q}}_{\left(\alpha \right)}$ symmetric difference operator, we developed theorems for integer order (or $\mathfrak{m}$-th order) and the fractional order ($\nu$-th order). Here, the difference operator ${\mathfrak{q}}_{\left(\alpha \right)}$ changes to the $\mathfrak{q}$-difference operator if $\alpha =1$.

Definition 7. 

Let $\mathfrak{s},\mathfrak{k}\in \mathfrak{R}$, $\alpha \in \mathfrak{R}>\mathfrak{0}$, $\mathfrak{q}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$ and if $\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }{\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{j}})$ be convergent such that $\mathfrak{s}\in {\mathfrak{T}}_{\mathfrak{q}}$ and $\mathfrak{u}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$ is a function. Then the alpha-quantum geometric function (or ${\mathfrak{q}}_{\left(\alpha \right)}$-geometric function) is defined as

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }{\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})={\displaystyle \frac{{\left[{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})\right]}^2}{{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})-{\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}})}}.$$

(42)

Lemma 6. 

Consider the conditions given in Definition 7. If $\mathfrak{x}\in \mathfrak{N}$, then

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }{\displaystyle \frac{{(\mathfrak{r}+\mathfrak{x}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}}{(\mathfrak{x}-\mathfrak{1})!}}{\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{x}})={\displaystyle \frac{(\mathfrak{x}-\mathfrak{1})![({(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!){\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}}){]}^2}{{(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}})-{(\mathfrak{k}+\mathfrak{x}+\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}{\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{2}})}}.$$

(43)

Proof. 

Equation (42) can be written as

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }({(\mathfrak{r}+\mathfrak{0})}^{\left(\mathfrak{0}\right)}/\mathfrak{0}!){\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})={\displaystyle \frac{(\mathfrak{0}!)[({(\mathfrak{k}+\mathfrak{1})}^{\left(\mathfrak{0}\right)}/\mathfrak{0}!){\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}}){]}^2}{{(\mathfrak{k}+\mathfrak{1})}^{\left(\mathfrak{0}\right)}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})-{(\mathfrak{k}+\mathfrak{2})}^{\left(\mathfrak{0}\right)}{\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}})}}.$$

(44)

From (44), one can easily find the next term as

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }({(\mathfrak{r}+\mathfrak{1})}^{\left(\mathfrak{1}\right)}/\mathfrak{1}!){\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{2}})={\displaystyle \frac{(\mathfrak{1}!)[({(\mathfrak{k}+\mathfrak{2})}^{\left(\mathfrak{1}\right)}/\mathfrak{1}!){\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}}){]}^2}{{(\mathfrak{k}+\mathfrak{2})}^{\left(\mathfrak{1}\right)}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}})-{(\mathfrak{k}+\mathfrak{3})}^{\left(\mathfrak{1}\right)}{\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{4}})}}.$$

Similarly, we can find

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }{\displaystyle \frac{{(\mathfrak{r}+\mathfrak{x}-\mathfrak{2})}^{(\mathfrak{x}-\mathfrak{2})}}{(\mathfrak{x}-\mathfrak{2})!}}{\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{x}-\mathfrak{1}})={\displaystyle \frac{(\mathfrak{x}-\mathfrak{2})![({(\mathfrak{k}+\mathfrak{x}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{2})}/(\mathfrak{x}-\mathfrak{2})!){\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}}){]}^2}{{(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{2})}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}-\mathfrak{1}})-{(\mathfrak{k}+\mathfrak{x})}^{\left(\mathfrak{1}\right)}{\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}})}}.$$

(45)

Hence, the proof completes by replacing $\mathfrak{x}$ by $\mathfrak{x}+\mathfrak{1}$ in Equation (45). □

Theorem 4. 

Let $\mathfrak{u},\mathfrak{v}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$, $\mathfrak{s},\alpha \in \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{N}$ and $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$. Then, the anti-difference principle of ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operator is defined as

$$I_{q_{\left(\alpha \right)}}\mathfrak{u}\left(\mathfrak{s}\right)-{\displaystyle \frac{{\left[{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})\right]}^2}{{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})-{\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}})}}=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}{\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}).$$

(46)

Proof. 

Since $I_{q_{\left(\alpha \right)}}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{v}\left(\mathfrak{k}\right)$, we have $\mathfrak{u}\left(\mathfrak{k}\right)=d_{q_{\left(\alpha \right)}}\mathfrak{v}\left(\mathfrak{k}\right)$.

Now, following the similar steps from Equation (22) to Equation (27) and using (2), we arrive at

$$I_{q_{\left(\alpha \right)}}\mathfrak{u}\left(\mathfrak{s}\right)-\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }{\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}{\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}).$$

Hence, the proof completes by inserting Equation (42) in the previous equation. □

Theorem 5. 

Let $\mathfrak{u},\mathfrak{v}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$, $\mathfrak{s},\alpha \in \mathfrak{R}$, $\mathfrak{x},\mathfrak{k}\in \mathfrak{N}$ and $\mathfrak{q}\in \mathfrak{R}-\left\{\mathfrak{0},\mathfrak{1}\right\}$. Then, the higher order ${\mathfrak{q}}_{\left(\alpha \right)}$ anti-difference principle is thus given by

$I_{q_{\left(\alpha \right)}}^{\mathfrak{x}}\mathfrak{u}\left(\mathfrak{s}\right)-{\displaystyle \frac{(\mathfrak{x}-\mathfrak{1})![({(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!){\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}}){]}^2}{{(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}})-{(\mathfrak{k}+\mathfrak{x}+\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}{\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{2}})}}$

$$=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}({(\mathfrak{r}+\mathfrak{x}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!){\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{x}}).$$

(47)

Proof. 

The proof is similar to Theorem 2 using Lemma 6 and Equation (2). □

Example 3. 

If $u\left(k\right)=log\left(k\right)$, then Equation (47) becomes

$I_{q_{\left(\alpha \right)}}^{\mathfrak{x}}log\left(s\right)-{\displaystyle \frac{(\mathfrak{x}-1)![({(k+\mathfrak{x})}^{(\mathfrak{x}-1)}/(\mathfrak{x}-1)!){\alpha }^{k+1}log(s/q^{k+\mathfrak{x}+1}){]}^2}{{(k+\mathfrak{x})}^{(\mathfrak{x}-1)}{\alpha }^{k+1}log(s/q^{k+\mathfrak{x}+1})-{(k+\mathfrak{x}+1)}^{(\mathfrak{x}-1)}{\alpha }^{k+2}log(s/q^{k+\mathfrak{x}+2})}}$

$$=\sum _{r=0}^k({(r+\mathfrak{x}-1)}^{(\mathfrak{x}-1)}/(\mathfrak{x}-1)!){\alpha }^{r}log(s/q^{r+\mathfrak{x}}).$$

(48)

From Equation (11), we obtain

$$I_{q_{\left(\alpha \right)}}log\left(k\right)=(log\left(k\right)/(1-\alpha ))-(log\left(q\right)/{(1-\alpha )}^2).$$

(49)

Now, applying the $I_{q_{\left(\alpha \right)}}$ operator on the function $log\left(k\right)$ for $\mathfrak{x}$ times in (49), we obtain

$$I_{q_{\left(\alpha \right)}}^{\mathfrak{x}}log\left(k\right)=(log\left(k\right)/{(1-\alpha )}^{\mathfrak{x}})-\mathfrak{x}(log\left(q\right)/{(1-\alpha )}^{\mathfrak{x}+1}).$$

(50)

Taking $\mathfrak{x}=2$, $s=7$, $k=3$, $q=5$ and $\alpha =0.05$ in Equation (48), we arrive at

$$(log\left(7\right)/{\left(0.05\right)}^2)-2(log\left(5\right)/{\left(0.05\right)}^3)-{\displaystyle \frac{[\left(5\right){\left(0.05\right)}^{4}log(7/5^6){]}^2}{(\left(5\right){\left(0.05\right)}^{4}log(7/5^6))-(\left(6\right){\left(0.05\right)}^{5}log(7/5^7))}}.$$

(51)

The right side of Equation (48) becomes

${\displaystyle \sum _{r=0}^3}{(r+1)}^{\left(1\right)}{\left(0.5\right)}^{r}log(s/q^{r+2})=log(7/5^2)+2\left(0.05\right)log(7/5^3)$

$$+3{\left(0.05\right)}^{2}log(7/5^4)+4{\left(0.05\right)}^{3}log(7/5^5).$$

(52)

Hence, substituting Equations (51) and (52) in Equation (48), we obtain the result.

The following Definition 8 is the generalized version for Definition 7.

Definition 8. 

Let $\mathfrak{s}\in \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{N}$, $\alpha \in \mathfrak{R}>\mathfrak{0}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$ and if ${\displaystyle \sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }}(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1})){\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\nu })$ is convergent such that $\mathfrak{s}\in {\mathfrak{T}}_{\mathfrak{q}}$ and $\mathfrak{u}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$ be a function. Then, for $\nu >0$, the generalized quantum geometric function (or generalized $\mathfrak{q}$-geometric function) is defined as

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1})){\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\nu })={\displaystyle \frac{{\left[\mathcal{A}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}})\right]}^2}{\mathcal{A}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}})-\mathcal{B}{\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{2}})}},$$

(53)

where $\mathcal{A}=\Gamma (\mathfrak{k}+\nu +\mathfrak{1})/\Gamma (\mathfrak{k}+\mathfrak{2})\Gamma \left(\nu \right)$ and $\mathcal{B}=\Gamma (\mathfrak{k}+\nu +\mathfrak{2})/\Gamma (\mathfrak{k}+\mathfrak{3})\Gamma \left(\nu \right)$.

The following Theorem 6 is the generalized version for Theorem 5.

Theorem 6. 

(Generalized ${\mathfrak{q}}_{\left(\alpha \right)}$ difference equation) Let $\mathfrak{u},\mathfrak{v}:{\mathfrak{T}}_{\mathfrak{q}}\to \mathfrak{R}$, $\nu ,\mathfrak{s},\alpha \in \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{N}$ and $\mathfrak{q}\in \mathfrak{R}-\left\{\mathfrak{0},\mathfrak{1}\right\}$, Then, the ν-th order (real order) anti-difference principle of ${\mathfrak{q}}_{\left(\alpha \right)}$ difference operator is given by

$I_{q_{\left(\alpha \right)}}^{\nu }\mathfrak{u}\left(\mathfrak{s}\right)-{\displaystyle \frac{(\Gamma \left(\nu \right)){\left[(\Gamma (\mathfrak{k}+\nu +\mathfrak{1})/\Gamma (\mathfrak{k}+2)\Gamma \left(\nu \right)){\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}})\right]}^2}{(\Gamma (\mathfrak{k}+\nu +\mathfrak{1})/\Gamma (\mathfrak{k}+\mathfrak{2})){\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}})-(\Gamma (\mathfrak{k}+\nu +\mathfrak{2})/\Gamma (\mathfrak{k}+\mathfrak{3})){\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{2}})}}$

$$=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1})\Gamma \left(\nu \right)){\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{s}/{\mathfrak{q}}^{\mathfrak{r}+\nu }).$$

(54)

Proof. 

The proof is similar to Theorem 3 using Equations (4) and (53). □

Example 4. 

Taking $u\left(k\right)=log\left(k\right)$ and $\nu =1.5$ in Equation (54), we obtain$I_{q_{\left(\alpha \right)}}^{1.5}logk{|}_{k=s}$

$-{\displaystyle \frac{(\Gamma \left(1.5\right)){\left[(\Gamma (k+2.5)/\Gamma (k+2)\Gamma \left(1.5\right)){\alpha }^{k+1}log(s/q^{k+2.5})\right]}^2}{(\Gamma (k+2.5)/\Gamma (k+2)\Gamma \left(1.5\right)){\alpha }^{k+1}log(s/q^{k+2.5})-(\Gamma (k+3.5)/\Gamma (k+3)){\alpha }^{k+2}log(s/q^{k+3.5})}}$

$$=\sum _{r=0}^k(\Gamma (r+1.5)/\Gamma (r+1)\Gamma \left(1.5\right)){\alpha }^{r}log(s/q^{r+1.5}).$$

(55)

Extending Equation (50) to any real number, Equation (50) becomes

$$I_{q_{\left(\alpha \right)}}^{\nu }log\left(k\right)=(log\left(k\right)/{(1-\alpha )}^{\nu })-\nu (log\left(q\right)/{(1-\alpha )}^{\nu +1}).$$

(56)

Taking $s=3.5$, $k=2$, $q=2.5$, and $\alpha =0.1$ in Equation (56), we arrive at

$$I_{q_{\left(\alpha \right)}}^{1.5}log\left(k\right){|}_{k=3.5}=(log\left(3.5\right)/{\left(0.9\right)}^{1.5})-\left(1.5\right)(log\left(2.5\right)/{\left(0.9\right)}^{2.5}).$$

(57)

Next, the second term of Equation (55) becomes

$${\displaystyle \frac{(\Gamma \left(1.5\right))[(\Gamma \left(4.5\right)/\Gamma \left(4\right)\Gamma \left(1.5\right)){\left(0.1\right)}^{3}log(3.5/{\left(2.5\right)}^{4.5}){]}^2}{(\Gamma \left(4.5\right)/\Gamma \left(4\right)){\left(0.1\right)}^{3}log(3.5/{\left(2.5\right)}^{4.5})-(\Gamma \left(5.5\right)/\Gamma \left(5\right)){\left(0.1\right)}^{4}log(3.5/{\left(2.5\right)}^{5.5})}}.$$

(58)

The right side of Equation (55) becomes

${\displaystyle \sum _{r=0}^2}(\Gamma (r+1.5)/\Gamma (r+1)\Gamma \left(1.5\right)){\left(0.1\right)}^{r}log(3.5/{\left(2.5\right)}^{r+1.5})=(1/\Gamma \left(1\right))log(3.5/{\left(2.5\right)}^{1.5})$

$$(1.5/\Gamma \left(2\right))\left(0.1\right)log(3.5/{\left(2.5\right)}^{2.5})+(\left(1.5\right)\left(2.5\right)/\Gamma \left(3\right)){\left(0.1\right)}^{2}log(3.5/{\left(2.5\right)}^{3.5}).$$

(59)

Hence, substituting Equations (57)–(59) in Equation (55), we obtain the result.

The integer and fractional order anti-difference equations developed in this section provides the solution for $\mathfrak{q}$ and ${\mathfrak{q}}_{\left(\alpha \right)}$ symmetric difference operators.

4. Mixed Symmetric Difference Operator

In this section, we derive some fundamental theorems using $(\mathfrak{q},\mathfrak{h})$ difference operator and its inverse operators. Here, we introduce the infinite set ${\mathcal{M}}_h^q=\{\mathfrak{k},\mathfrak{kq}+\mathfrak{h},{\mathfrak{kq}}^{\mathfrak{2}}+\mathfrak{2}\mathfrak{h},\dots \}$ satisfying the condition that for any $\mathfrak{k}\in {\mathcal{M}}_h^q$ implies ${\mathfrak{kq}}^{\pm \mathfrak{1}}\pm \mathfrak{h}\in {\mathcal{M}}_h^q$ for any fixed number $\mathfrak{0}\ne \mathfrak{k}\in \mathfrak{R}$. One can refer the $\mathfrak{h}$-difference operator in [30].

Definition 9. 

Let $\mathfrak{u}:{\mathcal{M}}_h^q\to \mathfrak{R}$ be a function. Then, the $(\mathfrak{q},\mathfrak{h})$ difference operator (mixed symmetric difference operator), denoted by $\underset{(q,h)}{\mathsf{\Delta }}$ is defined as

$$\underset{(q,h)}{\mathsf{\Delta }}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}(\mathfrak{kq}+\mathfrak{h})-\mathfrak{u}\left(\mathfrak{k}\right),\mathfrak{k}\in {\mathcal{M}}_h^q.$$

(60)

Definition 10. 

Let $\mathfrak{h},\mathfrak{q},\mathfrak{k}\in \mathfrak{R}$ and $\mathfrak{n}\in \mathfrak{N}$. The $(\mathfrak{q},\mathfrak{h})$ polynomial factorial function ${\mathfrak{k}}_{\mathfrak{q},\mathfrak{h}}^{\left(\mathfrak{n}\right)}$ is defined as

$${\mathfrak{k}}_{\mathfrak{q},\mathfrak{h}}^{\left(\mathfrak{n}\right)}=\mathfrak{k}\prod _{\mathfrak{r}=\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}(\mathfrak{k}-({\mathfrak{q}}^{\mathfrak{r}}+\mathfrak{rh})).$$

(61)

Lemma 7. 

If $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$ and $\mathfrak{0}\ne \mathfrak{h}\in \mathfrak{R}$. Then, the product rule of $(\mathfrak{q},\mathfrak{h})$ difference operator is obtained as

$$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\left\{\mathfrak{u}\left(\mathfrak{k}\right)\mathfrak{v}\left(\mathfrak{k}\right)\right\}=\mathfrak{u}\left(\mathfrak{k}\right)\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{v}\left(\mathfrak{k}\right)-\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\{\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{v}(\mathfrak{kq}+\mathfrak{h})\underset{(q,h)}{\mathsf{\Delta }}\mathfrak{u}\left(\mathfrak{k}\right)\}.$$

(62)

Proof. 

Applying the operator $\underset{(q,h)}{\mathsf{\Delta }}$ on the function $\mathfrak{u}\left(\mathfrak{k}\right)\mathfrak{v}\left(\mathfrak{k}\right)$ and then adding and subtracting the term $\mathfrak{u}\left(\mathfrak{k}\right)\mathfrak{w}(\mathfrak{kq}+\mathfrak{h})$, we obtain

$$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\left\{\mathfrak{u}\left(\mathfrak{k}\right)\mathfrak{v}\left(\mathfrak{k}\right)\right\}=\mathfrak{w}(\mathfrak{kq}+\mathfrak{h})\underset{(q,h)}{\mathsf{\Delta }}\mathfrak{u}\left(\mathfrak{k}\right)+\mathfrak{u}\left(\mathfrak{k}\right)\underset{(q,h)}{\mathsf{\Delta }}\mathfrak{w}\left(\mathfrak{k}\right)$$

Thus, the proof completes by taking $\underset{(q,h)}{\mathsf{\Delta }}\mathfrak{w}\left(\mathfrak{k}\right)=\mathfrak{v}\left(\mathfrak{k}\right)$ and $\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{v}\left(\mathfrak{k}\right)=\mathfrak{w}\left(\mathfrak{k}\right)$. □

Property 1. 

Some of the properties of $(\mathfrak{q},\mathfrak{h})$ difference operator are given below:

(i) 

If $\mathfrak{q}=\mathfrak{1}$, then (60) becomes $\mathfrak{h}$-difference operator.

(ii) 

If $\mathfrak{h}=\mathfrak{0}$, then (60) becomes $\mathfrak{q}$-difference operator.

(iii) 

If $\mathfrak{q}>\mathfrak{1}$ and $\mathfrak{h}>\mathfrak{0}$, then we say (60) as $(\mathfrak{q},\mathfrak{h})$-difference operator.

(iv) 

The solution does not exist if we take $\mathfrak{q}=\mathfrak{1}$ and $\mathfrak{h}=\mathfrak{0}$ simultaneously.

4.1. Integer Order Theorems

Here, we develop several theorems for integer order ($\mathfrak{x}$-th order) using the $(\mathfrak{q},\mathfrak{h})$ difference operator.

Theorem 7. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{R}$, $\mathfrak{n}\in \mathfrak{N}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$ and $\mathfrak{h}\ne \mathfrak{0}\in \mathfrak{R}$. Then, the anti-difference principle of $(\mathfrak{q},\mathfrak{h})$ operator is given by

$$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right).$$

(63)

Proof. 

Since $\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{v}\left(\mathfrak{k}\right)$, we have

$$\mathfrak{u}\left(\mathfrak{k}\right)=\underset{(q,h)}{\mathsf{\Delta }}\mathfrak{v}\left(\mathfrak{k}\right).$$

(64)

From Definition 9, Equation (64) becomes

$$\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{v}(\mathfrak{kq}+\mathfrak{h})-\mathfrak{v}\left(\mathfrak{k}\right).$$

The above equation can be represented as

$$\mathfrak{v}(\mathfrak{qk}+\mathfrak{h})=\mathfrak{u}\left(\mathfrak{k}\right)+\mathfrak{v}\left(\mathfrak{k}\right).$$

(65)

Replacing $\mathfrak{k}$ by $\mathfrak{k}/\mathfrak{q}$ in Equation (65), we obtain $\mathfrak{v}\left(\mathfrak{q}(\mathfrak{k}/\mathfrak{q})+\mathfrak{h}\right)=\mathfrak{u}(\mathfrak{k}/\mathfrak{q})+\mathfrak{v}(\mathfrak{k}/\mathfrak{q})$ which implies

$$\mathfrak{v}(\mathfrak{k}+\mathfrak{h})=\mathfrak{u}(\mathfrak{k}/\mathfrak{q})+\mathfrak{v}(\mathfrak{k}/\mathfrak{q}).$$

(66)

Replacing $\mathfrak{k}$ by $\mathfrak{k}-\mathfrak{h}$ in (66), we obtain $\mathfrak{v}(\mathfrak{k}-\mathfrak{h}+\mathfrak{h})=\mathfrak{u}\left(\right(\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\mathfrak{v}\left(\right(\mathfrak{k}-\mathfrak{h})/\mathfrak{q})$ which implies

$$\mathfrak{v}\left(\mathfrak{k}\right)=\mathfrak{u}\left(\right(\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\mathfrak{v}\left(\right(\mathfrak{k}-\mathfrak{h})/\mathfrak{q}).$$

(67)

Replacing $\mathfrak{k}$ by $(\mathfrak{k}-\mathfrak{h})/\mathfrak{q}$ in Equation (67), we arrive at

$$\mathfrak{v}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})=\mathfrak{u}\left(\left[\right((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})-\mathfrak{h}]/\mathfrak{q}\right)+\mathfrak{v}\left(\left[\right((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})-\mathfrak{h}]/\mathfrak{q}\right),$$

which gives $\mathfrak{v}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})=\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}-\mathfrak{qh})/{\mathfrak{q}}^{\mathfrak{2}}\right)+\mathfrak{v}\left((\mathfrak{k}-\mathfrak{h}-\mathfrak{qh})/{\mathfrak{q}}^{\mathfrak{2}}\right)$.

The aforementioned equation can be written as

$$\mathfrak{v}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})=\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{v}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}}).$$

(68)

Now, substituting Equation (68) in Equation (67), we obtain

$$\mathfrak{v}\left(\mathfrak{k}\right)=\mathfrak{u}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{v}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}}).$$

(69)

Again, replacing $\mathfrak{k}$ by $(\mathfrak{k}-\mathfrak{h}-\mathfrak{qh})/{\mathfrak{q}}^{\mathfrak{2}}$ in Equation (67), we obtain

$$\mathfrak{v}\left((\mathfrak{k}-\mathfrak{h}-\mathfrak{qh})/{\mathfrak{q}}^{\mathfrak{2}}\right)=\mathfrak{u}\left([((\mathfrak{k}-\mathfrak{h}-\mathfrak{qh})/{\mathfrak{q}}^{\mathfrak{2}})-\mathfrak{h}]/\mathfrak{q}\right)+\mathfrak{v}\left([((\mathfrak{k}-\mathfrak{h}-\mathfrak{qh})/{\mathfrak{q}}^{\mathfrak{2}})-\mathfrak{h}]/\mathfrak{q}\right),$$

which is the same as

$$\mathfrak{v}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/\mathfrak{q})=\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})+\mathfrak{v}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}}).$$

(70)

Substituting Equation (70) in Equation (69), we obtain

$$\mathfrak{v}\left(\mathfrak{k}\right)=\mathfrak{u}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})+\mathfrak{v}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}}).$$

(71)

Similarly, replacing $\mathfrak{k}$ by $(\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}}$ in Equation (67), we obtain

$$\mathfrak{v}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})=\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})+\mathfrak{v}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}}).$$

(72)

Substituting Equation (72) in Equation (71), we obtain

$$\mathfrak{v}\left(\mathfrak{k}\right)=\mathfrak{u}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})$$

$$+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})+\mathfrak{v}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}}).$$

(73)

Similarly, again replacing $\mathfrak{k}$ by $(\mathfrak{k}-\mathfrak{h}({\mathfrak{q}}^{\mathfrak{3}}+{\mathfrak{q}}^{\mathfrak{2}}+\mathfrak{q}+\mathfrak{1}))/{\mathfrak{q}}^{\mathfrak{4}}$ in Equation (67), and then substituting Equation (67) in Equation (73), we arrive at

$$\mathfrak{v}\left(\mathfrak{k}\right)=\mathfrak{u}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})$$

$$+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}}(+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{4}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{5}})+\mathfrak{v}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{4}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{5}}).$$

(74)

Proceeding in a similar manner for n times, we obtain the general term as

$$\mathfrak{v}\left(\mathfrak{k}\right)=\mathfrak{u}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}}(/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}}(/{\mathfrak{q}}^{\mathfrak{3}})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})$$

$$+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{4}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{5}})+\dots +\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}})+\mathfrak{v}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}}).$$

(75)

If $\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{v}\left(\mathfrak{k}\right)$, then (75) becomes

$$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}})=\mathfrak{u}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})$$

$$+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})+\dots +\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}}),$$

which completes the proof. □

Corollary 1. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{R}$, $\mathfrak{n}\in \mathfrak{N}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$ and if $\mathfrak{h}=\mathfrak{0}$, then Equation (63) becomes

$$\underset{(q,0)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{(q,0)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{n}})=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}).$$

(76)

Corollary 2. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{R}$, $\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, $\mathfrak{n}\in \mathfrak{N}$ and if $\mathfrak{q}=\mathfrak{1}$, then Equation (63) becomes

$$\underset{(1,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{(1,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}(\mathfrak{k}-\mathfrak{nh})=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}\mathfrak{u}(\mathfrak{k}-(\mathfrak{r}+\mathfrak{1})\mathfrak{h}).$$

(77)

Remark 1. 

The operators $\underset{(q,0)}{\overset{-1}{\mathsf{\Delta }}}$ and $\underset{(1,h)}{\overset{-1}{\mathsf{\Delta }}}$ are the first order q and h difference operators, respectively. That is, $\underset{(q,0)}{\overset{-1}{\mathsf{\Delta }}}=\underset{q}{\overset{-1}{\mathsf{\Delta }}}$ and $\underset{(1,h)}{\overset{-1}{\mathsf{\Delta }}}=\underset{h}{\overset{-1}{\mathsf{\Delta }}}$.

Theorem 8. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, $\mathfrak{h}\ne \mathfrak{0}\in \mathfrak{R}$, $\mathfrak{x},\mathfrak{n}\in \mathfrak{N}$ and $\mathfrak{k}\in \mathfrak{R}$. Then, the higher order ($\mathfrak{x}$-th order) of $(\mathfrak{q},\mathfrak{h})$ difference equation is given by

$$\underset{(q,h)}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\sum _{\mathfrak{d}=\mathfrak{0}}^{\mathfrak{x}-\mathfrak{1}}({\mathfrak{n}}^{\left(\mathfrak{d}\right)}/\mathfrak{d}!)\underset{(q,h)}{\overset{-(\mathfrak{x}-\mathfrak{d})}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}})=\sum _{\mathfrak{r}=\mathfrak{x}-\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}({\mathfrak{r}}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}).$$

(78)

Proof. 

Theorem 7 provides the proof for $\mathfrak{x}=\mathfrak{1}$.

When we apply $\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}$ to both sides of Equation (63), we obtain

$$\underset{(q,h)}{\overset{-2}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{(q,h)}{\overset{-2}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}})=\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\left[\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right)\right].$$

(79)

The right side of Equation (79) becomes

$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\left[{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right)\right]=\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}{\mathfrak{q}}^{\mathfrak{s}})/\mathfrak{q}\right)+\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{2}}\right)$

$+\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{3}}\right)+\dots +\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{n}}\right),$which gives

$$\begin{gathered} \underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\left[\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})\right]={\mathsf{\Delta }}_{(q,h)}^{-1}\mathfrak{u}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}}) \\ +\underset{(\mathfrak{q},\mathfrak{h})}{\overset{-\mathfrak{1}}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})+\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})+\dots +\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}}/{\mathfrak{q}}^{\mathfrak{n}}). \end{gathered}$$

(80)

Replacing $\mathfrak{k}$ by $(\mathfrak{k}-\mathfrak{h})/\mathfrak{q}$, $(\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}}$, $(\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}},\dots$ in Equation (75) and then substituting Equation (75) on the right side of Equation (80), we obtain

$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})=\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})$

$+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})+\dots +\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}})+\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}}).$

$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})=\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})$

$+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{4}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{5}})+\dots +\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}})+\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}}).$

$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})=\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{4}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{5}})$

$+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{5}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{6}})+\dots +\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}})+\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}}).$

Similarly, we can easily find the other terms such as

$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})$, $\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{4}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{5}})$, … and so on. Substituting all the above terms in the right side of Equation (80), we obtain

$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\left[{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})\right]=\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{2}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})$

$+\mathfrak{3}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})+\mathfrak{4}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{4}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{5}})+\dots$

$+(\mathfrak{n}-\mathfrak{1})\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}})+\mathfrak{n}\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}}).$

Now, inserting all the above equations in Equation (79), we obtain

${\mathsf{\Delta }}_{(q,h)}^{-2}\mathfrak{u}\left(\mathfrak{k}\right)-{\mathsf{\Delta }}_{(q,h)}^{-2}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)-\mathfrak{n}\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$

$=\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{2}}\right)+\mathfrak{2}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{3}}\right)+\dots +(\mathfrak{n}-\mathfrak{1})\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right),$ which is the same as

$$\begin{gathered} \underset{(q,h)}{\overset{-2}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{(q,h)}{\overset{-2}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)-\mathfrak{n}\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right) \\ =\sum _{\mathfrak{r}=\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}\mathfrak{ru}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right). \end{gathered}$$

(81)

Again, applying $\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}$ on both sides of Equation (81) and then inserting Equation (75) in the right side of Equation (81), we arrive at

$\underset{(q,h)}{\overset{-3}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{(q,h)}{\overset{-3}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)-\mathfrak{n}\underset{(q,h)}{\overset{-2}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$

$=\left(\sum _{\mathfrak{p}=\mathfrak{1}}\mathfrak{p}\right)\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{3}}\right)+\left({\displaystyle \sum _{\mathfrak{p}=\mathfrak{1}}^{\mathfrak{2}}}\mathfrak{p}\right)\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{3}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{4}}\right)$

$+\left({\displaystyle \sum _{\mathfrak{p}=\mathfrak{1}}^{\mathfrak{3}}}\mathfrak{p}\right)\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{4}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{5}}\right)+\dots +\left({\displaystyle \sum _{\mathfrak{p}=\mathfrak{1}}^{\mathfrak{n}-\mathfrak{2}}}\mathfrak{p}\right)\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$

$+\left({\displaystyle \sum _{\mathfrak{p}=\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}}\mathfrak{p}\right)\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$.

Putting $\mathfrak{x}=\mathfrak{1}$ in corollary 3 and then substituting in the above equation, it yields

$$\underset{(q,h)}{\overset{-3}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{(q,h)}{\overset{-3}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)-\mathfrak{n}\underset{(q,h)}{\overset{-2}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$$

$$-({\mathfrak{n}}^{\left(\mathfrak{2}\right)}/\mathfrak{2}!)\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)=\sum _{\mathfrak{r}=\mathfrak{2}}^{\mathfrak{n}-\mathfrak{1}}\left({\mathfrak{r}}^{\left(\mathfrak{2}\right)}/\mathfrak{2}!\right)\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right).$$

Similarly, the fourth inverse will be

$$\underset{(q,h)}{\overset{-4}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{(q,h)}{\overset{-4}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)-\mathfrak{n}\underset{(q,h)}{\overset{-3}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$$

$$=\sum _{\mathfrak{p}=\mathfrak{2}}({\mathfrak{p}}^{\left(\mathfrak{2}\right)}/\mathfrak{2})\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{3}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{4}}\right)+{\displaystyle \sum _{\mathfrak{p}=\mathfrak{2}}^{\mathfrak{3}}}({\mathfrak{p}}^{\left(\mathfrak{2}\right)}/\mathfrak{2})\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{4}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{5}}\right)$$

$$+{\displaystyle \sum _{\mathfrak{p}=\mathfrak{2}}^{\mathfrak{4}}}({\mathfrak{p}}^{\left(\mathfrak{2}\right)}/\mathfrak{2})\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{5}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{6}}\right)+\dots +{\displaystyle \sum _{\mathfrak{p}=\mathfrak{2}}^{\mathfrak{n}-\mathfrak{2}}}({\mathfrak{p}}^{\left(\mathfrak{2}\right)}/\mathfrak{2})\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$$

$$+{\displaystyle \sum _{\mathfrak{p}=\mathfrak{2}}^{\mathfrak{n}-\mathfrak{1}}}({\mathfrak{p}}^{\left(\mathfrak{2}\right)}/\mathfrak{2})\underset{(\mathfrak{q},\mathfrak{h})}{\overset{-\mathfrak{1}}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$$

Putting $\mathfrak{m}=\mathfrak{2}$ in Corollary 3 and then substituting in the above equation, we obtain

$$\underset{(q,h)}{\overset{-4}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{(q,h)}{\overset{-4}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)-\mathfrak{n}\underset{(q,h)}{\overset{-3}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$$

$$-({\mathfrak{n}}^{\left(\mathfrak{3}\right)}/\mathfrak{3}!)\underset{(q,h)}{\overset{-2}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)-({\mathfrak{n}}^{\left(\mathfrak{3}\right)}/\mathfrak{3}!)\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$$

$$=\sum _{\mathfrak{r}=\mathfrak{3}}^{\mathfrak{n}-\mathfrak{1}}({\mathfrak{r}}^{\left(\mathfrak{3}\right)}/\mathfrak{3}!)\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right).$$

Proceeding like this up to $\mathfrak{m}$ times, we obtain the general form as

$$\underset{(q,h)}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{(q,h)}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)-({\mathfrak{n}}^{\left(\mathfrak{1}\right)}/\mathfrak{1}!)\underset{(q,h)}{\overset{-(\mathfrak{x}-\mathfrak{1})}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$$

$$-({\mathfrak{n}}^{\left(\mathfrak{2}\right)}/\mathfrak{2}!)\underset{(q,h)}{\overset{-(\mathfrak{x}-\mathfrak{2})}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)-\dots -({\mathfrak{n}}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$$

$$=\sum _{\mathfrak{r}=\mathfrak{x}-\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}({\mathfrak{r}}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right),$$

which completes the proof. □

Corollary 3. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{k},\mathfrak{n}\in \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, $\mathfrak{x}\in \mathfrak{N}$ and if $\mathfrak{h}=\mathfrak{0}$, then Equation (78) becomes

$$\underset{(q,0)}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{x}-\mathfrak{1}}({\mathfrak{n}}^{\left(\mathfrak{d}\right)}/\mathfrak{d}!)\underset{(q,0)}{\overset{-(\mathfrak{x}-\mathfrak{d})}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{n}}\right)=\sum _{\mathfrak{r}=\mathfrak{x}-\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}({\mathfrak{r}}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}\left(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right).$$

(82)

Corollary 4. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{k},\mathfrak{n}\in \mathfrak{R}$, $\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, $\mathfrak{x}\in \mathfrak{N}$ and if $\mathfrak{q}=\mathfrak{1}$, then Equation (78) becomes

$$\underset{(1,h)}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\sum _{\mathfrak{d}=\mathfrak{0}}^{\mathfrak{x}-\mathfrak{1}}({\mathfrak{n}}^{\left(\mathfrak{d}\right)}/\mathfrak{d}!)\underset{(1,h)}{\overset{-(\mathfrak{x}-\mathfrak{d})}{\mathsf{\Delta }}}\mathfrak{u}(\mathfrak{k}-\mathfrak{nh})=\sum _{\mathfrak{r}=\mathfrak{x}-\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}({\mathfrak{r}}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}(\mathfrak{k}-(\mathfrak{r}+\mathfrak{1})\mathfrak{h}).$$

(83)

Corollary 5. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{h}\ne \mathfrak{0}\in \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, $\mathfrak{n},\mathfrak{x}\in \mathfrak{N}$ and $\mathfrak{k}\in \mathfrak{R}$. Then, the $\mathfrak{m}$-th order of $(\mathfrak{q},\mathfrak{h})$ difference equation is given by

$$\begin{gathered} \underset{(q,h)}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\sum _{\mathfrak{d}=\mathfrak{n}-\mathfrak{x}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{n}}^{(\mathfrak{r}-\mathfrak{n}+\mathfrak{x})}/(\mathfrak{r}-\mathfrak{n}+\mathfrak{x})!\underset{(q,h)}{\overset{-(\mathfrak{n}-\mathfrak{r})}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right) \\ =\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{x}}{(\mathfrak{x}+\mathfrak{r}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{x}+\mathfrak{r}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{x}+\mathfrak{r}}\right). \end{gathered}$$

(84)

Proof. 

The proof completes by replacing

${\displaystyle \sum _{\mathfrak{d}=\mathfrak{0}}^{\mathfrak{x}-\mathfrak{1}}}{\displaystyle \frac{{\mathfrak{n}}^{\left(\mathfrak{d}\right)}}{\mathfrak{d}!}}\underset{(q,h)}{\overset{-(\mathfrak{x}-\mathfrak{d})}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$ by ${\displaystyle \sum _{\mathfrak{d}=\mathfrak{n}-\mathfrak{x}}^{\mathfrak{n}-\mathfrak{1}}}{\displaystyle \frac{{\mathfrak{n}}^{(\mathfrak{r}-\mathfrak{n}+\mathfrak{x})}}{(\mathfrak{r}-\mathfrak{n}+\mathfrak{x})!}}{\mathsf{\Delta }}_{(q,h)}^{-(\mathfrak{n}-\mathfrak{r})}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$ and ${\displaystyle \sum _{\mathfrak{r}=\mathfrak{x}-\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}}{\displaystyle \frac{{\mathfrak{r}}^{(\mathfrak{x}-\mathfrak{1})}}{(\mathfrak{x}-\mathfrak{1})!}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right)$ by ${\displaystyle \sum _{\mathfrak{r}=\mathfrak{x}-\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}}{\displaystyle \frac{{\mathfrak{r}}^{(\mathfrak{x}-\mathfrak{1})}}{(\mathfrak{x}-\mathfrak{1})!}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right)$ in Equation (78). □

Theorem 9. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{x},\mathfrak{k}\in \mathfrak{N}$ and $\mathfrak{q},\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$. Then, the $\mathfrak{x}$-th order anti-difference principle of $(\mathfrak{q},\mathfrak{h})$ operator for infinite series is given by

$$\underset{(q,h)}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)=\sum _{\mathfrak{r}=\mathfrak{0}}^{\infty }({(\mathfrak{x}+\mathfrak{r}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{x}+\mathfrak{r}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{x}+\mathfrak{r}}\right).$$

(85)

Proof. 

Taking $\underset{\mathfrak{n}\to \infty }{lim}$ in Equation (78) and assuming $\underset{(q,h)}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{0}\right)=\mathfrak{0}$, we arrive at Equation (85). □

Corollary 6. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{s}\in \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{N}$, $\mathfrak{q},\mathfrak{h}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$ be a real number, and if the series ${\displaystyle \sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }}\mathfrak{u}((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})$ is convergent, then

$$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{s}\right)-\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }\mathfrak{u}((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right).$$

(86)

Proof. 

Taking $\underset{\mathfrak{n}\to \infty }{lim}$ in Equation (75) and assuming $v\left(0\right)=0=u\left(0\right)$, then

$$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})$$

$$+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{4}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{5}})+\dots \dots$$

$$+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{p}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{p}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})+\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{p}=\mathfrak{0}}^{\mathfrak{r}+\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{p}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{2}})+\dots$$

(87)

Replacing ${}^{\prime }{\mathfrak{k}}^{\prime }$ by ${}^{\prime }{\mathfrak{s}}^{\prime }$ and ${}^{\prime }{\mathfrak{r}}^{\prime }$ by ${}^{\prime }{\mathfrak{k}}^{\prime }$ in (87), we obtain

$$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{s}\right)=\mathfrak{u}((\mathfrak{s}-\mathfrak{h})/\mathfrak{q})+\mathfrak{u}((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})+\mathfrak{u}((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})$$

$$+\dots +\mathfrak{u}((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{1}})+\mathfrak{u}((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})+\dots ,$$

which is the same as

$$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{s}\right)=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right)+\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right).$$

(88)

Now, the proof completes by shifting the infinite series term of (88) to the left side. □

Definition 11. 

Let $\mathfrak{s},\mathfrak{k}\in \mathfrak{R}$, $\mathfrak{h}\in \mathfrak{R}>\mathfrak{0}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, and if ${\displaystyle \sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right)$ is convergent such that $\mathfrak{s}\in {\mathcal{M}}_h^q$ and $\mathfrak{u}:{\mathcal{M}}_h^q\to \mathfrak{R}$ be a function. Then the quantum geometric function (or $\mathfrak{q}$-geometric function) on $(\mathfrak{q},\mathfrak{h})$ operator is defined as

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right)={\displaystyle \frac{[\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}}\right){]}^{\mathfrak{2}}}{\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}}\right)-\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}}\right)}}.$$

(89)

The following Theorem 10 is the finite series formula for the $(\mathfrak{q},\mathfrak{h})$ difference operator derived from infinite series.

Theorem 10. 

Assuming the conditions given in Corollary 6, then the first order anti-difference principle of $(\mathfrak{q},\mathfrak{h})$ difference operator is given by

$$\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{s}\right)-{\displaystyle \frac{[\mathfrak{u}((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}}){]}^{\mathfrak{2}}}{\mathfrak{u}((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})-\mathfrak{u}((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}})}}$$

$$=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right).$$

(90)

Proof. 

The proof completes by substituting Equation (89) in (86). □

Theorem 11. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{s}\in \mathfrak{R}$, $\mathfrak{q},\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$ and $\mathfrak{x},\mathfrak{k}\in \mathfrak{N}$. Then, the higher order of $(\mathfrak{q},\mathfrak{h})$ difference operator is given by $\underset{(q,h)}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{s}\right)$

$$-{\displaystyle \frac{(\mathfrak{x}-\mathfrak{1})![({(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}}\right){]}^{\mathfrak{2}}}{{(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}}\right)-{(\mathfrak{k}+\mathfrak{x}+\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{2}}\right)}}$$

$$=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}({(\mathfrak{r}+\mathfrak{x}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{x}}\right).$$

(91)

Proof. 

From Equation (85), we have

$$\begin{gathered} {\mathsf{\Delta }}_{(q,h)}^{-\mathfrak{x}}\mathfrak{u}\left(\mathfrak{k}\right)={\displaystyle \frac{{(\mathfrak{x}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}}{(\mathfrak{x}-\mathfrak{1})!}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{x}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{x}}\right)+{\displaystyle \frac{{\mathfrak{x}}^{(\mathfrak{x}-\mathfrak{1})}}{(\mathfrak{x}-\mathfrak{1})!}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{x}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{x}+\mathfrak{1}}\right) \\ +\dots +{\displaystyle \frac{{(\mathfrak{x}-(\mathfrak{r}-\mathfrak{1}))}^{(\mathfrak{x}-\mathfrak{1})}}{(\mathfrak{x}-\mathfrak{1})!}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{x}-(\mathfrak{r}-\mathfrak{1})}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{x}+\mathfrak{r}}\right) \\ +{\displaystyle \frac{{(\mathfrak{x}-\mathfrak{r})}^{(\mathfrak{x}-\mathfrak{1})}}{(\mathfrak{x}-\mathfrak{1})!}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{x}-\mathfrak{r}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{x}+\mathfrak{r}+\mathfrak{1}}\right)+\dots \end{gathered}$$

Replacing ${}^{\prime }{\mathfrak{k}}^{\prime }$ by ${}^{\prime }{\mathfrak{s}}^{\prime }$ and ${}^{\prime }{\mathfrak{r}}^{\prime }$ by ${}^{\prime }{\mathfrak{k}}^{\prime }$, the above equation becomes

$$\underset{(q,h)}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{s}\right)=\sum _{\mathfrak{y}=\mathfrak{x}-\mathfrak{1}}^{\mathfrak{x}+\mathfrak{k}-\mathfrak{1}}{\displaystyle \frac{{\mathfrak{y}}^{(\mathfrak{x}-\mathfrak{1})}}{(\mathfrak{x}-\mathfrak{1})!}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{y}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{y}+\mathfrak{1}}\right)+\sum _{\mathfrak{y}=\mathfrak{x}+\mathfrak{k}}^{\infty }{\displaystyle \frac{{\mathfrak{y}}^{(\mathfrak{x}-\mathfrak{1})}}{(\mathfrak{x}-\mathfrak{1})!}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{y}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{y}+\mathfrak{1}}\right).$$

Interchanging the terms ${\displaystyle \sum _{\mathfrak{y}=\mathfrak{x}-\mathfrak{1}}^{\mathfrak{x}+\mathfrak{k}-\mathfrak{1}}}({\mathfrak{y}}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}(\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{y}}}{\mathfrak{q}}^{\mathfrak{j}})$ by ${\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}}({(\mathfrak{x}+\mathfrak{r}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}(\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{x}+\mathfrak{r}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}}/{\mathfrak{q}}^{\mathfrak{x}+\mathfrak{r}})$ and ${\displaystyle \sum _{\mathfrak{y}=\mathfrak{x}+\mathfrak{k}}^{\infty }}({\mathfrak{y}}^{(\mathfrak{x}-\mathfrak{1})}(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{y}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{y}+\mathfrak{1}}\right)$ by ${\displaystyle \sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }}({(\mathfrak{x}+\mathfrak{r}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}(\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{x}+\mathfrak{r}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}}/{\mathfrak{q}}^{\mathfrak{x}+\mathfrak{r}})$, and then using Equation (89) for $\mathfrak{x}$-th order, the above equation becomes

$$\sum _{\mathfrak{y}=\mathfrak{k}+\mathfrak{1}}^{\infty }({\mathfrak{y}}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{y}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{y}+\mathfrak{1}}\right)=$$

$${\displaystyle \frac{(\mathfrak{x}-\mathfrak{1})![({(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}}\right){]}^{\mathfrak{2}}}{{(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}}\right)-{(\mathfrak{k}+\mathfrak{x}+\mathfrak{1})}^{(\mathfrak{m}-\mathfrak{1})}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}}\right)}},$$

which completes the proof. □

4.2. Fractional order Theorems

In this section, we develop fractional order anti-difference principle from its integer order given in Definition 11, by which we derive fundamental theorems of quantum fractional calculus. For $\nu >0$, we obtain

$$\sum _{\mathfrak{r}=\infty }^{\mathfrak{k}+\mathfrak{1}}(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1}))\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\nu }\right)={\displaystyle \frac{\mathcal{A}\mathfrak{u}{\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\nu +1}\right)}^2}{\mathcal{A}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\nu +1}\right)-\mathcal{B}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\nu +2}\right)}},$$

(92)

where $\mathcal{A}=(\Gamma (\mathfrak{k}+\nu +\mathfrak{1})/\Gamma (\nu )\Gamma (\mathfrak{k}+\mathfrak{2}\left)\right)$ and $\mathcal{B}=(\Gamma (\mathfrak{k}+\nu +\mathfrak{2})/\Gamma (\nu )\Gamma (\mathfrak{k}+\mathfrak{3}\left)\right)$.

Theorem 12. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{h}\ne \mathfrak{0}\in \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, $\mathfrak{k},\nu \in \mathfrak{R}$ and $\mathfrak{n}\in \mathfrak{N}$. Then, the ν-th order of $(\mathfrak{q},\mathfrak{h})$ difference equation is given by

$$\underset{(q,h)}{\overset{-\nu }{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\sum _{\mathfrak{d}=\mathfrak{n}-\nu }^{\mathfrak{n}-\mathfrak{1}}(\Gamma (\mathfrak{n}+\mathfrak{1})/\Gamma (\mathfrak{2}\mathfrak{n}-\mathfrak{d}-\nu +\mathfrak{1})\Gamma (\mathfrak{d}-\mathfrak{n}+\nu -\mathfrak{1}))\underset{(q,h)}{\overset{-(\mathfrak{n}-\mathfrak{d})}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$$

$$=(\mathfrak{1}/\Gamma \left(\nu \right))\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\nu }(\Gamma (\nu +\mathfrak{r})/\Gamma (\mathfrak{r}+\mathfrak{1}))\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\nu +\mathfrak{r}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\nu +\mathfrak{r}}\right).$$

(93)

Proof. 

When generalizing the integer order to real order ($\mathfrak{m}>\mathfrak{0}\in \mathfrak{R}=\nu$) in Equation (84), we obtain

$$\underset{(q,h)}{\overset{-\nu }{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\sum _{\mathfrak{d}=\mathfrak{n}-\nu }^{\mathfrak{n}-\mathfrak{1}}{\displaystyle \frac{{\mathfrak{n}}^{(\mathfrak{r}-\mathfrak{n}+\nu )}}{(\mathfrak{r}-\mathfrak{n}+\nu )!}}\underset{(q,h)}{\overset{-(\mathfrak{n}-\mathfrak{r})}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$$

$$=\sum _{r=0}^{\mathfrak{n}-\nu }{\displaystyle \frac{{(\nu +\mathfrak{r}-\mathfrak{1})}^{(\nu -1)}}{(\nu -1)!}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\nu +\mathfrak{r}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\nu +\mathfrak{r}}\right).$$

Now, the proof completes by (14), that is, ${\mathfrak{n}}^{(\mathfrak{r}-\mathfrak{n}+\mathfrak{m})}=(\Gamma (\mathfrak{n}+\mathfrak{1})/\Gamma (\mathfrak{2}\mathfrak{n}-\mathfrak{d}-\nu +\mathfrak{1}))$ and ${(\mathfrak{m}+\mathfrak{r}-\mathfrak{1})}^{(\mathfrak{m}-\mathfrak{1})}=(\Gamma (\nu +\mathfrak{r})/\Gamma (\mathfrak{r}+\mathfrak{1}))$ in Equation (84). □

Theorem 13. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, $\mathfrak{k}\in \mathfrak{N}$ and $\mathfrak{s},\nu \in \mathfrak{R}$. Then, the ν-th order (fractional or real order) of $(\mathfrak{q},\mathfrak{h})$ difference equation is given by

$$\underset{(q,h)}{\overset{-\nu }{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{s}\right)-{\displaystyle \frac{\Gamma \left(\nu \right)[(\Gamma (\mathfrak{k}+\nu +\mathfrak{1})/\Gamma \left(\nu \right)\Gamma (\mathfrak{k}+\mathfrak{2}))\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}}\right){]}^{\mathfrak{2}}}{{\displaystyle \frac{\Gamma (\mathfrak{k}+\nu +\mathfrak{1})}{\Gamma (\mathfrak{k}+\mathfrak{2})}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\nu \mathfrak{1}}\right)-{\displaystyle \frac{\Gamma (\mathfrak{k}+\nu +\mathfrak{2})}{\Gamma (\mathfrak{k}+\mathfrak{3})}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{2}}\right)}}$$

$$=(\mathfrak{1}/\Gamma \left(\nu \right))\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1}))\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\nu }\right).$$

(94)

Proof. 

From Equation (14), we obtain ${(\mathfrak{k}+\nu )}^{(\nu -\mathfrak{1})}=(\Gamma (\mathfrak{k}+\nu +\mathfrak{1})/\Gamma (\mathfrak{k}+\mathfrak{2}))$ and ${(\mathfrak{k}+\nu +\mathfrak{1})}^{(\nu -\mathfrak{1})}=(\Gamma (\mathfrak{k}+\nu +\mathfrak{2})/\Gamma (\mathfrak{k}+\mathfrak{3}))$. Thus, by generalizing the integer order ($\mathfrak{m}$-th order) of Equations (89) and (91) to any real order (ν-th order), the proof is complete. □

Result 3. 

For finding the fractional difference equation in $(\mathfrak{q},\mathfrak{h})$ difference operator for infinite series, we should know about the behavior of ${\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{s}}}{\mathfrak{q}}^{\mathfrak{j}}$ series.

(1) 

If $\mathfrak{s}$ is odd and $\mathfrak{q}\in \mathfrak{R}$, then

$$\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{s}}{\mathfrak{q}}^{\mathfrak{j}}=\left(\mathfrak{1}+{\mathfrak{q}}^{\mathfrak{2}}+{\mathfrak{q}}^{\mathfrak{4}}+\dots +{\mathfrak{q}}^{\mathfrak{s}}\right)(\mathfrak{1}+\mathfrak{q})=\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{s}/\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{2}\mathfrak{j}}(\mathfrak{1}+\mathfrak{q}).$$

(95)

(2) 

If $\mathfrak{s}$ is even and $\mathfrak{q}\in \mathfrak{R}$, then

$$\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{s}}{\mathfrak{q}}^{\mathfrak{j}}=\left(\mathfrak{1}+{\mathfrak{q}}^{\mathfrak{2}}+{\mathfrak{q}}^{\mathfrak{4}}+\dots +{\mathfrak{q}}^{\mathfrak{s}}\right)(\mathfrak{1}+\mathfrak{q})=\sum _{\mathfrak{j}=\mathfrak{0}}^{(\mathfrak{s}-\mathfrak{2})/\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{2}\mathfrak{j}}(\mathfrak{1}+\mathfrak{q})+{\mathfrak{q}}^{\mathfrak{s}}.$$

(96)

Theorem 14. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\nu \in \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{R}$, $\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$ and $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$ such that $(\nu +\mathfrak{r}-\mathfrak{1})/\mathfrak{2}\in \mathfrak{N}$ and $(\nu +\mathfrak{r}-\mathfrak{3})/\mathfrak{2}\in \mathfrak{N}$. Then the ν-th order of $(\mathfrak{q},\mathfrak{h})$ difference operator for infinite series is given by

$$\underset{(q,h)}{\overset{-\nu }{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)=(\mathfrak{1}/\Gamma \left(\nu \right))\sum _{\mathfrak{r}=\mathfrak{0}}^{\infty }(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1}))\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{(\nu +\mathfrak{r}-\mathfrak{1})/\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{2}\mathfrak{r}}(\mathfrak{1}+\mathfrak{q}))/{\mathfrak{q}}^{\nu +\mathfrak{r}}\right).$$

(97)

and

$$\underset{(q,h)}{\overset{-\nu }{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)=(\mathfrak{1}/\Gamma \left(\nu \right))\sum _{\mathfrak{r}=\mathfrak{0}}^{\infty }(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1}))\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{(\nu +\mathfrak{r}-\mathfrak{3})/\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{2}\mathfrak{r}}(\mathfrak{1}+\mathfrak{q})+{\mathfrak{q}}^{\nu +\mathfrak{r}-\mathfrak{1}})/{\mathfrak{q}}^{\nu +\mathfrak{r}}\right).$$

(98)

Proof. 

The proof completes by generalizing Theorem 9 and Result 3 to any real order $(\nu \in \mathfrak{R})$ and by (14). □

5. Mixed Alpha Symmetric Difference Operator

In this section, we develop fundamental theorems using ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operator and its inverse operators. If we take $\alpha =\mathfrak{1}$, then the ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference equation will become $(\mathfrak{q},\mathfrak{h})$ difference equation.

5.1. Integer Order Theorems

Here, we develop certain theorems for integer order ($\mathfrak{m}$-th order) using the ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operator.

Definition 12. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$ be a function and $\alpha \in \mathfrak{R}$. Then, ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operator (mixed alpha symmetric operator) is defined as

$$\underset{{(q,h)}_{\alpha }}{\mathsf{\Delta }}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}(\mathfrak{kq}+\mathfrak{h})-\alpha \mathfrak{u}\left(\mathfrak{k}\right),\mathfrak{k}\in \mathfrak{R}.$$

(99)

Remark 2. 

If $\alpha =1$, then Equation (99) becomes $(\mathfrak{q},\mathfrak{h})$-difference operator.

Lemma 8. 

If $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, $\mathfrak{0}\ne \mathfrak{h}\in \mathfrak{R}$ and $\alpha \in \mathfrak{R}$. Then, the product rule of ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operator is obtained as

$$\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\left\{\mathfrak{u}\left(\mathfrak{k}\right)\mathfrak{v}\left(\mathfrak{k}\right)\right\}=\mathfrak{u}\left(\mathfrak{k}\right)\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{v}\left(\mathfrak{k}\right)-\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\{\underset{(q,h)}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{v}(\mathfrak{kq}+\mathfrak{h})\underset{(q,h)}{\mathsf{\Delta }}\mathfrak{u}\left(\mathfrak{k}\right)\}.$$

(100)

Proof. 

The proof is similar to Lemma 7 by using the $\underset{{(q,h)}_{\alpha }}{\mathsf{\Delta }}$ operator. □

Property 2. 

Some of the properties of ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operator is given below:

(i) 

If $\mathfrak{q}=\mathfrak{1}$, then (99) becomes $\mathfrak{h}\left(\alpha \right)$-difference operator.

(ii) 

If $\mathfrak{h}=\mathfrak{0}$, then (99) becomes ${\mathfrak{q}}_{\left(\alpha \right)}$-difference operator.

(iii) 

If $\mathfrak{q}>\mathfrak{1}$, $\mathfrak{h}>\mathfrak{0}$ and $\alpha \in \mathfrak{R}$, then we say (99) as ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$-difference operator.

(iv) 

The solution does not exist if we take $\mathfrak{q}=\mathfrak{1}$, $\mathfrak{h}=\mathfrak{0}$ and $\alpha =\mathfrak{1}$ simultaneously.

Theorem 15. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{k},\alpha \in \mathfrak{R}$, $\mathfrak{n}\in \mathfrak{N}$, $\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$ and $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$. Then, the anti-difference principle of ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operator is given by

$$\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}{\alpha }^{\mathfrak{n}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\alpha }^{\mathfrak{r}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right).$$

(101)

Proof. 

Following similar steps from (64) to (74) in Theorem 7 using Equation (99), we obtain the general form as

$$\mathfrak{v}\left(\mathfrak{k}\right)=\mathfrak{u}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\alpha \mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})+{\alpha }^{\mathfrak{2}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})+{\alpha }^{\mathfrak{3}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})$$

$$+{\alpha }^{\mathfrak{4}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{4}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{5}})+\dots +{\alpha }^{\mathfrak{n}-\mathfrak{1}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}})+{\alpha }^{\mathfrak{n}}\mathfrak{v}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}}).$$

(102)

If $\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{v}\left(\mathfrak{k}\right)$, then (102) becomes

$$\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-{\alpha }^{\mathfrak{n}}\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}})=\mathfrak{u}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\alpha \mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})$$

$$+{\alpha }^{\mathfrak{2}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})+{\alpha }^{\mathfrak{3}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})+{\alpha }^{\mathfrak{4}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{4}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{5}})$$

$$+\dots +{\alpha }^{\mathfrak{n}-\mathfrak{1}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{n}}),$$

which completes the proof. □

Corollary 7. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{k},\alpha \in \mathfrak{R}$, $\mathfrak{n}\in \mathfrak{N}$, $\mathfrak{q}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, and if $\mathfrak{h}=\mathfrak{0}$, then Equation (101) becomes

$$\underset{{(q,0)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{{(q,0)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}{\alpha }^{\mathfrak{n}}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{n}})=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}).$$

(103)

Corollary 8. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{k},\alpha \in \mathfrak{R}$, $\mathfrak{n}\in \mathfrak{N}$, $\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, and if $\mathfrak{q}=\mathfrak{1}$, then Equation (101) becomes

$$\underset{{(1,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\underset{{(1,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}{\alpha }^{\mathfrak{n}}\mathfrak{u}(\mathfrak{k}-\mathfrak{nh})=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\alpha }^{\mathfrak{r}}\mathfrak{u}(\mathfrak{k}-(\mathfrak{r}+\mathfrak{1})\mathfrak{h}).$$

(104)

Remark 3. 

The operators $\underset{{(q,0)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}$ and $\underset{{(1,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}$ are the first order $q_{\left(\alpha \right)}$ and $h\left(\alpha \right)$ difference operators, respectively. That is, $\underset{{(q,0)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}=\underset{q_{\left(\alpha \right)}}{\overset{-1}{\mathsf{\Delta }}}$ and $\underset{{(1,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}=\underset{h\left(\alpha \right)}{\overset{-1}{\mathsf{\Delta }}}$.

Theorem 16. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{k},\alpha \in \mathfrak{R}$, $\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, and $\mathfrak{n},\mathfrak{x}\in \mathfrak{N}$. Then, the higher order of ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operator is given by

$$\underset{{(q,h)}_{\alpha }}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\sum _{\mathfrak{d}=\mathfrak{0}}^{\mathfrak{x}-\mathfrak{1}}{\displaystyle \frac{{\mathfrak{n}}^{\left(\mathfrak{d}\right)}}{\mathfrak{d}!}}{\alpha }^{\mathfrak{n}-\mathfrak{d}}\underset{{(q,h)}_{\alpha }}{\overset{-(\mathfrak{x}-\mathfrak{d})}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)=\sum _{\mathfrak{r}=\mathfrak{x}-\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}{\displaystyle \frac{{\mathfrak{r}}^{(\mathfrak{x}-\mathfrak{1})}}{(\mathfrak{x}-\mathfrak{1})!}}{\alpha }^{\mathfrak{r}-(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{x}}\right).$$

(105)

Proof. 

The proof is similar to Theorem 8 by applying the $\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}$ operator repeatedly on both sides of Equation (101). □

Corollary 9. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{k},\alpha \in \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, $\mathfrak{x},\mathfrak{n}\in \mathfrak{N}$, and if $\mathfrak{h}=\mathfrak{0}$, then Equation (105) becomes

$$\underset{{(q,0)}_{\alpha }}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{x}-\mathfrak{1}}({\mathfrak{n}}^{\left(\mathfrak{d}\right)}/\mathfrak{d}!){\alpha }^{\mathfrak{n}-\mathfrak{d}}\underset{{(q,0)}_{\alpha }}{\overset{-(\mathfrak{x}-\mathfrak{d})}{\mathsf{\Delta }}}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{n}})=\sum _{\mathfrak{r}=\mathfrak{x}-\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}({\mathfrak{r}}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!){\alpha }^{\mathfrak{r}-(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}(\mathfrak{k}/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}).$$

(106)

Corollary 10. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{k},\alpha \in \mathfrak{R}$, $\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, $\mathfrak{x},\mathfrak{n}\in \mathfrak{N}$ and if $\mathfrak{q}=\mathfrak{1}$, then Equation (105) becomes

$$\underset{{(1,h)}_{\alpha }}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\sum _{\mathfrak{d}=\mathfrak{0}}^{\mathfrak{x}-\mathfrak{1}}({\mathfrak{n}}^{\left(\mathfrak{d}\right)}/\mathfrak{d}!){\alpha }^{\mathfrak{n}-\mathfrak{d}}\underset{{(1,h)}_{\alpha }}{\overset{-(\mathfrak{x}-\mathfrak{d})}{\mathsf{\Delta }}}\mathfrak{u}(\mathfrak{k}-\mathfrak{nh})=\sum _{\mathfrak{r}=\mathfrak{x}-\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}({\mathfrak{r}}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!){\alpha }^{\mathfrak{r}-(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}(\mathfrak{k}-(\mathfrak{r}+\mathfrak{1})\mathfrak{h}).$$

(107)

Corollary 11. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{h}\ne \mathfrak{0}\in \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, $\alpha ,\mathfrak{k}\in \mathfrak{R}$, and $\mathfrak{n},\mathfrak{x}\in \mathfrak{N}$. Then, the $\mathfrak{x}$-th order of ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference equation is given by

$$\underset{{(q,h)}_{\alpha }}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\sum _{\mathfrak{d}=\mathfrak{n}-\mathfrak{x}}^{\mathfrak{n}-\mathfrak{1}}({\mathfrak{n}}^{(\mathfrak{r}-\mathfrak{n}+\mathfrak{x})}{\alpha }^{\mathfrak{n}-\mathfrak{d}}/(\mathfrak{r}-\mathfrak{n}+\mathfrak{x})!)\underset{{(q,h)}_{\alpha }}{\overset{-(n-r)}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$$

$$=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{x}}({(\mathfrak{x}+\mathfrak{r}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!){\alpha }^{\mathfrak{r}-(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{x}+\mathfrak{r}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{x}+\mathfrak{r}}\right).$$

(108)

Proof. 

The proof completes by replacing ${\displaystyle \sum _{\mathfrak{d}=\mathfrak{0}}^{\mathfrak{x}-\mathfrak{1}}}({\mathfrak{n}}^{\left(\mathfrak{d}\right)}/\mathfrak{d}!){\alpha }^{\mathfrak{n}-\mathfrak{d}}{\mathsf{\Delta }}_{{(q,h)}_{\alpha }}^{-(\mathfrak{x}-\mathfrak{d})}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$ by ${\displaystyle \sum _{\mathfrak{d}=\mathfrak{n}-\mathfrak{x}}^{\mathfrak{n}-\mathfrak{1}}}({\mathfrak{n}}^{(\mathfrak{r}-\mathfrak{n}+\mathfrak{x})}/(\mathfrak{r}-\mathfrak{n}+\mathfrak{x})!){\alpha }^{\mathfrak{n}-\mathfrak{d}}{\mathsf{\Delta }}_{{(q,h)}_{\alpha }}^{-(\mathfrak{n}-\mathfrak{r})}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$ and

${\displaystyle \sum _{\mathfrak{r}=\mathfrak{x}-\mathfrak{1}}^{\mathfrak{n}-\mathfrak{1}}}({\mathfrak{r}}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!){\alpha }^{\mathfrak{r}-(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{r}}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right)$ by

${\displaystyle \sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{x}}}({(\mathfrak{x}+\mathfrak{r}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!){\alpha }^{\mathfrak{r}-(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{s}=\mathfrak{0}}^{\mathfrak{x}+\mathfrak{r}-\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\mathfrak{x}+\mathfrak{r}}\right)$ in Equation (105). □

Corollary 12. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, $\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, $\mathfrak{k}\in \mathfrak{N}$, and $\mathfrak{s},\alpha \in \mathfrak{R}$. If $\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }{\alpha }^{\mathfrak{r}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right)$ is convergent, then

$$\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{s}\right)-\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }{\alpha }^{\mathfrak{r}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right)=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}{\alpha }^{\mathfrak{r}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right).$$

(109)

Proof. 

Taking $\underset{\mathfrak{n}\to \infty }{lim}$ in Equation (102) and assuming $\mathfrak{v}\left(\mathfrak{0}\right)=\mathfrak{0}=\mathfrak{u}\left(\mathfrak{0}\right)$, then

$$\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)=\mathfrak{u}((\mathfrak{k}-\mathfrak{h})/\mathfrak{q})+\alpha \mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})+{\alpha }^{\mathfrak{2}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})$$

$$+{\alpha }^{\mathfrak{3}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{3}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{4}})+{\alpha }^{\mathfrak{4}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{4}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{5}})+\dots +{\alpha }^{\mathfrak{r}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{p}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{p}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}})$$

$$+{\alpha }^{\mathfrak{r}+\mathfrak{1}}\mathfrak{u}((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{p}=\mathfrak{0}}^{\mathfrak{r}+\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{p}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{2}})+\dots$$

(110)

Replacing ‘$\mathfrak{k}$’ by ‘$\mathfrak{s}$’ and ‘$\mathfrak{r}$’ by ‘$\mathfrak{k}$’ in (110), we obtain

$$\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{s}\right)=\mathfrak{u}((\mathfrak{s}-\mathfrak{h})/\mathfrak{q})+\alpha \mathfrak{u}((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{2}})+{\alpha }^{\mathfrak{2}}\mathfrak{u}((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{3}})$$

$$+\dots +{\alpha }^{\mathfrak{k}}\mathfrak{u}((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{1}})+{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{r}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}})+\dots ,$$

which completes the proof. □

Definition 13. 

Let $\mathfrak{s}\in \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{N}$, $\alpha ,\mathfrak{h}\in \mathfrak{R}>\mathfrak{0}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, and if${\displaystyle \sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }}{\alpha }^{\mathfrak{r}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right)$ is convergent such that $\mathfrak{s}\in {\mathcal{M}}_h^q$ and $\mathfrak{u}:{\mathcal{M}}_h^q\to \mathfrak{R}$ be a function. Then, the alpha-quantum geometric function (or $\mathfrak{q}$-alpha geometric function) on ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ operator is defined as

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }{\alpha }^{\mathfrak{r}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right)={\displaystyle \frac{[{\alpha }^{\mathfrak{k}+\mathfrak{1}}u\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}}\right){]}^2}{{\alpha }^{\mathfrak{k}+\mathfrak{1}}u\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}}\right)-{\alpha }^{\mathfrak{k}+\mathfrak{2}}u\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}}\right)}}.$$

(111)

Theorem 17. 

Consider the conditions given in Corollary 12 and Definition 13. Then,

$$\underset{{(q,h)}_{\alpha }}{\overset{-1}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{s}\right)-{\displaystyle \frac{[{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}}\right){]}^2}{{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{2}}\right)-{\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{3}}\right)}}$$

$$=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}{\alpha }^{\mathfrak{r}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{1}}\right).$$

(112)

Proof. 

The proof completes by substituting Equation (111) in (109). □

Theorem 18. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, $\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, $\mathfrak{x}\in \mathfrak{N}$, and $\mathfrak{k},\alpha \in \mathfrak{R}$. Then, the higher order anti-difference principle for the infinite series is given by

$$\underset{{(q,h)}_{\alpha }}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)=\sum _{\mathfrak{r}=\mathfrak{x}-\mathfrak{1}}^{\infty }({(\mathfrak{r}+\mathfrak{x}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!){\alpha }^{\mathfrak{r}-(\mathfrak{x}-\mathfrak{1})}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{y}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{x}}\right).$$

(113)

Proof. 

Taking $\underset{\mathfrak{n}\to \infty }{lim}$ in Equation (105) and assuming $\underset{{(q,h)}_{\alpha }}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}u\left(0\right)=0$, we arrive at Equation (113). □

Theorem 19. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\alpha ,\mathfrak{s}\in \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, $\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, and $\mathfrak{k},\mathfrak{x}\in \mathfrak{N}$. Then, the higher order of ${(q,h)}_{\alpha }$ difference operator is given by

$$\underset{{(q,h)}_{\alpha }}{\overset{-\mathfrak{x}}{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{s}\right)-{\displaystyle \frac{[\mathcal{A}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}}\right){]}^2}{\mathcal{A}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{1}}\right)-\mathcal{B}{\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\mathfrak{x}+\mathfrak{2}}\right)}}$$

$$=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}({(\mathfrak{r}+\mathfrak{x}-\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}{\alpha }^{\mathfrak{r}}/(\mathfrak{x}-\mathfrak{1})!)\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\mathfrak{x}}\right),$$

(114)

where $\mathcal{A}={(\mathfrak{k}+\mathfrak{x})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!$ and $\mathcal{B}={(\mathfrak{k}+\mathfrak{x}+\mathfrak{1})}^{(\mathfrak{x}-\mathfrak{1})}/(\mathfrak{x}-\mathfrak{1})!$.

Proof. 

Applying the proof of Theorem 11 in Equation (113), we obtain Equation (114). □

5.2. Generalized Theorems for ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ Difference Operators

In this section, we develop fractional order anti-difference theorems from its integer order given in Definition 13, from which we derive fundamental theorems of alpha quantum fractional calculus. For $\nu >0$, we obtain

$$\sum _{\mathfrak{r}=\mathfrak{k}+\mathfrak{1}}^{\infty }(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1})){\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\nu }\right)$$

$$={\displaystyle \frac{\mathcal{A}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}{\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}}\right)}^{\mathfrak{2}}}{\mathcal{A}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{1}}\right)-\mathcal{B}{\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\nu +\mathfrak{2}}\right)}},$$

(115)

where $\mathcal{A}=(\Gamma (\mathfrak{k}+\nu +\mathfrak{1})/\Gamma (\nu )\Gamma (\mathfrak{k}+\mathfrak{2}\left)\right)$ and $\mathcal{B}=(\Gamma (\mathfrak{k}+\nu +\mathfrak{2})/\Gamma (\nu )\Gamma (\mathfrak{k}+\mathfrak{3}\left)\right)$.

Theorem 20. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{h}\ne \mathfrak{0}\in \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, $\mathfrak{k},\nu ,\alpha \in \mathfrak{R}$, and $\mathfrak{n}\in \mathfrak{N}$. Then, the ν-th order of $(\mathfrak{q},\mathfrak{h})$ difference equation is given by

$$\underset{{(q,h)}_{\alpha }}{\overset{-\nu }{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)-\sum _{\mathfrak{d}=\mathfrak{n}-\nu }^{\mathfrak{n}-\mathfrak{1}}{\displaystyle \frac{\Gamma (\mathfrak{n}+\mathfrak{1}){\alpha }^{\mathfrak{n}-\mathfrak{d}}}{\Gamma (\mathfrak{2}\mathfrak{n}-\mathfrak{d}-\nu +\mathfrak{1})\Gamma (\mathfrak{d}-\mathfrak{n}+\nu -\mathfrak{1})}}\underset{{(q,h)}_{\alpha }}{\overset{-(\mathfrak{n}-\mathfrak{d})}{\mathsf{\Delta }}}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{n}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{n}}\right)$$

$$=(\mathfrak{1}/\Gamma \left(\nu \right))\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{n}-\nu }(\Gamma (\nu +\mathfrak{r})/\Gamma (\mathfrak{r}+\mathfrak{1})){\alpha }^{\mathfrak{r}-(\nu -\mathfrak{1})}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{\nu +\mathfrak{r}-\mathfrak{1}}{\mathfrak{q}}^{\mathfrak{s}})/{\mathfrak{q}}^{\nu +\mathfrak{r}}\right).$$

(116)

Proof. 

The proof follows from Corollary 11, Theorem 12 and by Equation (14) using the ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operator. □

Theorem 21. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\mathfrak{q}\in \mathfrak{R}-\{\mathfrak{0},\mathfrak{1}\}$, $\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$, $\alpha ,\mathfrak{s}\in \mathfrak{R}$, $\mathfrak{k}\in \mathfrak{N}$, and $\nu \in \mathfrak{R}$. Then, the ν-th order of ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operator is given by

$$\underset{{(q,h)}_{\alpha }}{\overset{-\nu }{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{s}\right)-{\displaystyle \frac{[\mathcal{A}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\nu +1}\right){]}^2}{\mathcal{A}{\alpha }^{\mathfrak{k}+\mathfrak{1}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{1}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\nu +1}\right)-\mathcal{B}{\alpha }^{\mathfrak{k}+\mathfrak{2}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}{\displaystyle \sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{k}+\mathfrak{2}}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{k}+\nu +2}\right)}}$$

$$=\sum _{\mathfrak{r}=\mathfrak{0}}^{\mathfrak{k}}(\Gamma (\mathfrak{r}+\nu )/\Gamma \left(\nu \right)\Gamma (\mathfrak{r}+\mathfrak{1})){\alpha }^{\mathfrak{r}}\mathfrak{u}\left((\mathfrak{s}-\mathfrak{h}\sum _{\mathfrak{j}=\mathfrak{0}}^{\mathfrak{r}}{\mathfrak{q}}^{\mathfrak{j}})/{\mathfrak{q}}^{\mathfrak{r}+\nu }\right),$$

(117)

where $\mathcal{A}=\Gamma (\mathfrak{k}+\nu +1)/\Gamma \left(\nu \right)\Gamma (\mathfrak{k}+\mathfrak{2})$ and $\mathcal{B}=\Gamma (\mathfrak{k}+\nu +2)/\Gamma \left(\nu \right)\Gamma (\mathfrak{k}+\mathfrak{3})$.

Proof. 

The proof follows from Theorem 19, Theorem 13, and by Equation (14). □

Theorem 22. 

Let $\mathfrak{u},\mathfrak{v}:{\mathcal{M}}_h^q\to \mathfrak{R}$, $\alpha ,\nu ,\mathfrak{k}\in \mathfrak{R}$ and $\mathfrak{q},\mathfrak{h}\in \mathfrak{R}-\left\{\mathfrak{0}\right\}$ such that $(\nu +\mathfrak{r}-\mathfrak{1})/\mathfrak{2}$ and $(\nu +\mathfrak{r}-\mathfrak{3})/\mathfrak{2}$ are natural numbers. Then, the ν-th of ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operator for infinite series is given by

$$\underset{(q,h)}{\overset{-\nu }{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)=(1/\Gamma \left(\nu \right))\sum _{\mathfrak{r}=\mathfrak{0}}^{\infty }(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1})){\alpha }^{\mathfrak{r}-\nu +1}u\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{(\nu +\mathfrak{r}-\mathfrak{1})/\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{2}\mathfrak{r}}(\mathfrak{1}+\mathfrak{q}))/{\mathfrak{q}}^{\nu +\mathfrak{r}}\right).$$

(118)

and

$$\underset{(q,h)}{\overset{-\nu }{\mathsf{\Delta }}}\mathfrak{u}\left(\mathfrak{k}\right)=(\mathfrak{1}/\Gamma \left(\nu \right))\sum _{\mathfrak{r}=\mathfrak{0}}^{\infty }(\Gamma (\mathfrak{r}+\nu )/\Gamma (\mathfrak{r}+\mathfrak{1})){\alpha }^{\mathfrak{r}-\nu +1}\mathfrak{u}\left((\mathfrak{k}-\mathfrak{h}\sum _{\mathfrak{s}=\mathfrak{0}}^{(\nu +\mathfrak{r}-\mathfrak{3})/\mathfrak{2}}{\mathfrak{q}}^{\mathfrak{2}\mathfrak{r}}(\mathfrak{1}+\mathfrak{q})+{\mathfrak{q}}^{\nu +\mathfrak{r}-\mathfrak{1}})/{\mathfrak{q}}^{\nu +\mathfrak{r}}\right).$$

(119)

Proof. 

The proof completes by generalizing Theorem 18 and Result 3 to any real order $(\nu \in \mathfrak{R})$ and by (14). □

The integer and fractional order $(\mathfrak{q},\mathfrak{h})$ and ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ anti-difference equation acts as the solution for mixed symmetric difference operator and mixed alpha symmetric difference operator. One can do the same for the nabla operator.

6. Results and Discussion

The value analysis of the difference operators $(\mathfrak{q},\mathfrak{h})$ and ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ will be looked at in this section.

Example 5. 

Fixing the values $s=8.3$ and $k=50$, then Figure 1 shows that for any $\nu >0\in R$, the values of the $(q,h)$ difference equation is dropping over time, indicating that it will converge. Figure 2 demonstrates that if the ν and α value increases, then the values of the ${(q,h)}_{\alpha }$ difference operator progressively increase and then eventually decrease, which says that it will converge.

Figure 1. Solution for Theorem 13 with $\nu$ values $0.2$, $1.3$, $2.7$, and $3.9$, where q and h vary from $-4$ to 4.

Figure 2. Solution for Theorem 21 with $\nu$ values $0.2$, $1.3$, $2.7$, and $3.9$, where q varies from 10 to 100, h varies from 5 to 10, and $\alpha$ varies from $1\times {10}^{-2}$ to $0.1$.

Example 5 gives the general solution for Theorems 13 and 21 for any real q and h values. As a result, we can easily predict the value stability for $(q,h)$ and ${(q,h)}_{\alpha }$ operators.

7. Conclusions

In this research work, we have developed several integer and fractional order anti-difference equations for both $\mathfrak{q}$ and $(\mathfrak{q},\mathfrak{h})$ operators and its alpha difference operators. In addition, we have derived fundamental theorems using ${\mathfrak{q}}_{\alpha }$ and ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ operators and their inverses for both integer and fractional order. Finally, our results are verified with numerical examples and discussed with graphs. This study will result in applications for transforming the infinite series difference equation to the finite series equation. The future work of this paper is finding the polynomials and polynomial factorial functions for the $(\mathfrak{q},\mathfrak{h})$ and ${(\mathfrak{q},\mathfrak{h})}_{\alpha }$ difference operator and its inverse operators. In addition, we will extend this paper to Fibonacci quantum fractional calculus.