Abstract
In this paper, we give the definitions of \(q,\omega \)-exponential function and \(q,\omega \)-gamma function. New concepts of fractional Hahn’s \(q,\omega \)-derivative of Riemann–Liouville type and Caputo type are introduced, meanwhile we discuss some properties. As applications of the new concepts, we give the existence result of positive solutions for boundary value problem of fractional \(q,\omega \)-derivatives equations. We also definite certain \(q,\omega \)-Mittag-Leffler function by solving the initial value problem of fractional \(q,\omega \)-equations.
Similar content being viewed by others
1 Introduction
The quantum calculus began with Jackson in the early twentieth century. The q-calculus appeared as a connection between mathematics and physics. It has a lot of applications in different mathematical areas such as number theory, combinatorics, and other sciences quantum theory. The book by Kac and Cheung [1] covers many of the fundamental aspects of quantum calculus. In recent years, the topic of q-calculus has attracted the attention of several researchers and a variety of new results can be found in papers [2–6].
The fractional q-calculus has developed into a popular mathematical modeling tool for many real world phenomena. Early developments for fractional q-calculus can be found in the work of Al-Salam [7] and Agarwal [8]. Moreover, the author in [9] generalizes the notions of fractional q-integral and q-derivative by introducing variable lower limit of integration.
Quantum difference operators have also been receiving an increasing interest due to their applications. In [10], Hahn introduced the quantum difference operator \(D_{q,\omega }\), where \(q\in\,]0,1[\) and \(\omega >0\) are fixed. The Hahn operator unifies the two most well-known quantum difference operators: the Jackson q-difference derivative \(D_{q}\), where \(q\in\,]0,1[\); and the forward difference \(\triangle_{\omega }\), where \(\omega >0\). Hahn’s difference operator has been applied successfully in the construction of families of orthogonal polynomials as well as in approximation problems. The right inverse of Hahn’s difference operator was introduced by Aldwoah [11] who defined the right inverse of \(D_{q,\omega }\) in terms of both the Jackson q-integral containing the right inverse of \(D_{q}\) and the Nörlund sum involving the right inverse of \(\triangle_{\omega }\). Malinowska and Torres [12] introduced the Hahn quantum variational calculus, while Malinowska and Martins [13] studied the generalized transversality conditions for the Hahn quantum variational calculus. In [14], some concepts of fractional quantum calculus were introduced in terms of a q-shifting operator \({}_{a}\!\Phi_{q}(m)=qm+(1-q)a\). As a research motivation, we redefine the fractional Hahn \(q,\omega \)-calculus with a q-shifting operator on the interval \([a,b]\).
In this paper, we recall some basic concepts on fractional q-calculus, which will be used in the later section. After preliminaries, in the third section the definitions of \(q,\omega \)-exponential function and \(q,\omega \)-gamma function are presented. In the fourth section we discuss some properties of \(q,\omega \)-calculus. After giving the basic properties, the fractional Hahn \(q,\omega \)-derivative of Riemann–Liouville type is introduced in the fifth section. Then we change the order of operators, we give the fractional \(q,\omega \)-derivative of Caputo type in the sixth section. And then, we consider boundary value problems of fractional \(q,\omega \)-derivative equations. We give the corresponding Green’s function of the boundary value problem and its properties. By using Krasnoselskii’s fixed point theorem, an existence result of positive solutions to the boundary value problem is enunciated. Finally, we define a certain \(q,\omega \)-Mittag-Leffler function by solving the initial value problem of fractional \(q,\omega \)-equations.
Let \(q\in\,]0,1[\) and \(\omega \in\,]0,+\infty [\) be given. Define \(\omega_{0}=\frac{\omega }{1-q}\). Throughout the paper, we assume I to be an interval of \(\mathbb{R}\) containing \(\omega_{0}\).
Definition 1.1
(Hahn’s difference operator [10])
Let \(f: I\rightarrow \mathbb{R}\). Hahn’s difference operator is defined by
provided that f is differentiable at \(\omega_{0}\).
Definition 1.2
([12])
Let I be a closed interval of \(\mathbb{R}\) such that \(\omega_{0}\), \(a,b\in I\). For \(f : I\rightarrow \mathbb{R}\), we define the \(q,\omega \)-integral of f from a to b by
where
with \([k]_{q,\omega }:=\frac{\omega (1-q^{k})}{1-q}\) for \(k\in\mathbb{N}_{0}=\mathbb{N}\cup \{0\}\), provided that the series converges at \(x=a\) and \(x=b\). In this case, f is called \(q,\omega \)-integrable on \([a,b]\). We say that f is \(q,\omega \)-integrable over I iff it is \(q,\omega \)-integrable over \([a,b]\) for all \(a,b\in I\).
Lemma 1.3
([12])
Assume \(f : I\rightarrow \mathbb{R}\) to be continuous at \(\omega_{0}\). Define
Then F is continuous at \(\omega_{0}\). Furthermore, \(D_{q,w}F(x)\) exists for every \(x\in I\) and \(D_{q,w}F(x)=f(x)\). Conversely,
for all \(a,b\in I\).
Lemma 1.4
([12])
If \(f,g : I\rightarrow \mathbb{R}\) are continuous at \(\omega_{0}\), then
for all \(a,b\in I\). This is the integration by parts formula of the Jackson–Nörlund integral.
2 Preliminary
To make this paper self-contained, below we recall some known facts on fractional q-calculus. The presentation here can be found in, for example, [14].
For \(q\in\,]0,1[\), define
The q-analog of the power function \((n-m)^{k}\) with \(k\in \mathbb{N}_{0}:= \{0,1,2,\ldots \}\) is
More generally, if \(\gamma \in \mathbb{R}\), then
Note if \(m=0\), then \(n^{(\gamma )}=n^{\gamma }\). We also use \(0^{(\gamma )}=0\) for \(\gamma >0\). The q-gamma function is defined by
Obviously, \(\Gamma_{q}(t+1)=[t]_{q}\Gamma_{q}(t)\).
Lemma 2.1
([9])
For \(\mu , \alpha , \beta \in \mathbb{R}^{+}\), the following identity is valid:
3 The \(q,\omega \)-exponential function and the \(q,\omega \)-gamma function
Let us define a q-shifting operator as
For any positive integer k, we have
We also define the new power of q-shifting operator as
More generally, if \(\gamma \in \mathbb{R}\), then
with \({}_{a}\!\Phi_{q}^{\gamma }(m)=q^{\gamma }m+(1-q^{\gamma })a\), \(\gamma \in \mathbb{R}\).
For any \(\gamma ,n\in \mathbb{R}\), we have
Using Definition 1.1 and (7), we may obtain the very useful examples of the \(q,\omega \)-derivatives of the following functions:
Definition 3.1
The \(q,\omega \)-exponential function is defined as
Note that \(e_{q,\omega }(1)=0\) and
We are now in a position to give the integral representation of the \(q,\omega \)-gamma function.
Let \(\alpha \in \mathbb{R}\backslash \{0,-1,-2,\ldots \}\). Definite the \(q,\omega \)-gamma function by
Lemma 3.2
For \(\alpha \in \mathbb{R}\),
For any positive integer k,
Proof
By Lemma 1.4 and Definition 3.1, we can get
and
□
Remark 3.3
In [15], authors introduced the q-gamma function as
where \(e_{q}(t)=\prod_{n=0}^{\infty }(1-q^{n}t)\).
To see that \(\Gamma_{q,\omega }(\alpha )=\Gamma_{q}(\alpha )\), in fact
4 Concepts of fractional Hahn’s quantum integration
In the section, we recall some basic concepts of fractional Hahn’s quantum integration.
Definition 4.1
([14])
Let \(\nu \geq 0\) and f be a function defined on \([c,b]\). The fractional q-integral of Riemann–Liouville type is given by \(({}_{c}I_{q}^{0}f)(t)=h(t)\) and
Lemma 4.2
([14])
Let \(\alpha , \beta \in \mathbb{R}^{+}\), and f be a continuous function on \([c,b]\), \(c\geq 0\). The Riemann–Liouville fractional q-integral has the following semi-group property:
Remark \(c=\omega_{0}\), we have
and
Definition 4.3
([16])
Let \(\nu \geq 0\) and f be a function defined on \([a,b]\). Hahn’s fractional integration of Riemann–Liouville type is given by \(({}_{a}I_{q}^{0}f)(t)=f(t)\) and
Lemma 4.4
For \(\alpha , \beta \in \mathbb{R}^{+}\), the following is valid:
Proof
Using (2), we have
since
for \(0\leq k\leq n-1\).
Then, according to the definition of \(q,\omega \)-integral, it follows
□
Theorem 4.5
Let \(\alpha ,\beta \in \mathbb{R}^{+}\). Hahn’s fractional integration has the following semi-group property:
Proof
By previous Lemma 4.4, we have
Using Lemma 4.2, we conclude that
Furthermore, we can write
Wherefrom it follows
with
By using formulas (5) and (7), we get
Putting \(\mu =q^{k}\frac{a-\omega_{0}}{x-\omega_{0}}\) into Lemma 2.1, we see that \(c_{j}=0\) for all \(j\in \mathbb{N}\), which completes the proof. □
Lemma 4.6
For \(\alpha \in \mathbb{R}^{+}\), \(\lambda \in (-1,\infty )\), the following is valid:
Proof
For \(\lambda \neq 0\), according to Definition 4.3, we have
Also, the following is valid:
Therefrom, using Lemma 2.1, we get
Using (5), we obtain the required formula (13).
Particularly, for \(\lambda =0\), since the \(q,\omega \)-derivative over the variable t is
and using Lemma 1.3, we have
□
5 The fractional \(q,\omega \)-derivative of Riemann–Liouville type
We define the fractional \(q,\omega \)-derivative of Riemann–Liouville type by
where \(\lceil \alpha \rceil \) denotes the smallest integer greater or equal to α.
Theorem 5.1
For \(\alpha \in \mathbb{R}^{+}\), \(\lambda \in (-1,\infty )\), the following is valid:
Proof
For \(\lambda \neq 0\), according to (15) and Lemma 4.6, we have
□
Lemma 5.2
For \(\alpha \in \mathbb{R}\setminus \mathbb{N}_{0}\), the following is valid:
Proof
We will consider three cases. For \(\alpha \leq -1\), according to Theorem 4.5, we have
In the case \(-1<\alpha <0\), i.e., \(0<\alpha +1<1\), we obtain
For \(\alpha >0\), we get
□
Theorem 5.3
For \(\alpha \in \mathbb{R}\setminus \mathbb{N}_{0}\), the following is valid:
Proof
We will use Lemma 1.3, Theorem 4.5, and Lemma 4.6 to prove the statement. Let us consider two cases. If \(\alpha <0\), then
If \(\alpha >0\), there exists \(l\in \mathbb{N}_{0}\) such that \(\alpha \in (l,l+1)\). Then, applying a similar procedure, we get
□
Lemma 5.4
Let \(f(x)\) be a function defined on an interval \((\omega_{0},b)\) and \(\alpha \in \mathbb{R}^{+}\). Then the following is valid:
Proof
For \(\alpha >0\), we have
□
Lemma 5.5
Let \(\alpha \in (0,1)\), then
where \(K(a)\) does not depend on x.
Proof
Let \(A(x)=({}_{a}I_{q,\omega }^{\alpha }{{}_{a}D_{q,\omega }^{\alpha }}f)(x)-f(x)\). Applying \({}_{a}D_{q,\omega }^{\alpha }\) to both sides of the above expression and using Lemma 5.4, we get
On the other hand, according to Lemma 4.6, we obtain
Hence, we conclude that \(A(x)\) is a function of the form
□
Theorem 5.6
Let \(\alpha \in (N-1,N]\). Then, for some constants \(c_{i}\in \mathbb{R},i=1,2,\ldots ,N\), the following equality holds:
Proof
By Lemma 5.5, we have
□
Lemma 5.7
Proof
Using (2) and Definition 1.1, we have
□
Theorem 5.8
If \(f(t)\) is defined and finite, then for \(\nu >0\) with \(N-1<\nu \leq N\),
Proof
Using Definition 4.3 and Lemma 5.7, we have
□
6 The fractional \(q,\omega \)-derivative of Caputo type
If we change the order of operators, we can introduce another type of fractional \(q,\omega \)-derivative.
The fractional \(q,\omega \)-derivative of Caputo type is
where \(\lceil \alpha \rceil \) denotes the smallest integer greater or equal to α.
Theorem 6.1
For \(\alpha \in \mathbb{R}\setminus \mathbb{N}_{0}\) and \(\omega_{0}< a< x< b\), the following is valid:
Proof
Clearly, (18) holds for \(\alpha =-1\). Next, we will consider three cases.
Case 1. \(\alpha <-1\), according to (17) and (3), we have
Case 2. \(-1<\alpha \leq 0\), we obtain
Case 3. \(\alpha >0\), we assume \(\alpha =n+\varepsilon \), \(n\in \mathbb{N}_{0}\), \(0<\varepsilon <1\), then \(\alpha +1\in (n+1,n+2)\), so we obtain
□
Theorem 6.2
For \(\alpha \in \mathbb{R}\setminus \mathbb{N}_{0}\) and \(\omega_{0}< a< x< b\), the following is valid:
Proof
We will consider two cases.
Case 1. \(\alpha <0\), using Lemma 1.3, Lemma 4.6, and (17), we obtain
By Theorem 5.1, the required equalities are valid both for \(\alpha\leq -1\) and \(-1<\alpha <0\).
Case 2. \(\alpha >0\), we assume \(\alpha =n+\varepsilon \), \(n\in \mathbb{N}_{0}\), \(0<\varepsilon <1\), then \(\alpha +1\in (n+1,n+2)\), by Lemma 1.3, Lemma 4.6, and (17), we obtain
□
Theorem 6.3
Let \(\alpha \in (N-1,N]\). Then, for some constants \(c_{i}\in \mathbb{R},i=1,2,\ldots ,N-1\), the following equality holds:
Proof
By (17) and Lemma 1.3, Lemma 4.6, we have
□
7 The application
In this section, we deal with the nonlocal \(q,\omega \)-integral boundary value problem of nonlinear fractional \(q,\omega \)-derivative equations:
where \(q\in (0,1)\), \(1<\alpha \leq 2\), \(0<\beta \leq 2\), \(0<\eta <1\), and \(\mu >0\) is a parameter, \({}_{a}D_{q,\omega }^{\alpha }\) is the Riemann–Liouville \(q,\omega \)-derivative of Hahn quantum operator type of order α, \(f:[a,b]\times \mathbb{R}^{+}\longrightarrow \mathbb{R}^{+}\) is continuous.
Lemma 7.1
Let \(M=\Gamma_{q}(\alpha +\beta )(b-a)_{\omega_{0}}^{(\alpha -1)}- \mu \Gamma_{q}(\alpha )(\eta -a)_{\omega_{0}}^{(\alpha +\beta -1)}>0\). Then, for given \(y\in C[a,b]\), the unique solution of the boundary value problem
subject to the boundary condition
is given by
where
Proof
In view of Theorem 5.6,
where \(c_{1}, c_{2}\) does not depend on t, \(t\in [a,b]\). Since \(u(a)=0\), we have \(c_{2}=0\). From the boundary condition \(u(b)=\mu ({}_{a}I _{q,\omega }^{\beta }u)(\eta )\), we get
Hence
□
Lemma 7.2
The functions \(g(t, {}_{\omega_{0}}\!\Phi_{q}(s))\) and \(H(\eta ,{}_{\omega _{0}}\!\Phi_{q}(s))\) satisfy the following properties:
-
(a)
\(g(t, {}_{\omega_{0}}\!\Phi_{q}(s))\geq 0\), \(g(t,{}_{\omega_{0}}\!\Phi_{q}(s))\leq g({}_{\omega_{0}}\!\Phi_{q}(s),{}_{\omega_{0}}\!\Phi_{q}(s))\), \(a\leq t, {}_{\omega_{0}}\!\Phi_{q}(s)\leq b\).
-
(b)
\(H(\eta , {}_{\omega_{0}}\!\Phi_{q}(s))\geq 0\), \(a\leq {}_{\omega_{0}}\!\Phi_{q}(s),\eta \leq b\).
Proof
Let
We can easily get \(g_{2}(t, {}_{\omega_{0}}\!\Phi_{q}(s))\geq 0\), according to property (7), we have
Since
we may see that function \(\frac{(b-{}_{\omega_{0}}\!\Phi_{q}^{i+1}(s))}{(b-{}_{ \omega_{0}}\!\Phi_{q}^{i+\alpha }(s))}\frac{(t-{}_{\omega_{0}}\!\Phi_{q} ^{i+\alpha }(s))}{(t-{}_{\omega_{0}}\!\Phi_{q}^{i+1}(s))}\) on s is non-decreasing. Thus, we can get
so \(g_{1}(t,{}_{\omega_{0}}\!\Phi_{q}(s))\geq 0\), we can get \(g(t,{}_{ \omega_{0}}\!\Phi_{q}(s))\geq 0\). Clearly \(g(t,{}_{\omega_{0}}\!\Phi_{q}(s)) \leq g({}_{\omega_{0}}\!\Phi_{q}(s),{}_{\omega_{0}}\!\Phi_{q}(s))\) and \(H(\eta , {}_{\omega_{0}}\!\Phi_{q}(s))\geq 0\) holds trivially. □
According to the property of being non-increasing of \((t-{}_{\omega_{0}}\!\Phi_{q}(s))_{\omega_{0}}^{(\alpha -1)}\) on s and Lemma 7.2, we may easily obtain Lemma 7.3 as follows.
Lemma 7.3
The function \(G(t,{}_{\omega_{0}}\!\Phi_{q}(s))\) satisfies the following properties:
-
(a)
G is a continuous function and \(G(t,{}_{\omega_{0}}\!\Phi_{q}(s))\geq 0\), \((t,{}_{\omega_{0}}\!\Phi_{q}(s))\in [a,b]\times [a,b]\).
-
(b)
There exists a positive function \(\rho \in C(a,b)\), \((a,+\infty )\) such that \(\max_{a\leq t\leq b} G(t,{}_{\omega_{0}}\!\Phi_{q}(s))\leq g({}_{\omega_{0}}\!\Phi_{q}(s),{}_{\omega_{0}}\!\Phi_{q}(s)) +\frac{\mu }{M}H(\eta , _{\omega_{0}}\!\Phi_{q}(s))=:\rho ({}_{\omega_{0}}\!\Phi_{q}(s))\), \({}_{\omega_{0}}\!\Phi_{q}(s), s \in (a,b)\).
Lemma 7.4
(Krasnoselskii [12])
Let \(\mathbb{E}\) be a Banach space, and let \(P\subset \mathbb{E}\) be a cone. Assume \(\Omega_{1},\Omega_{2}\) are open subsets of \(\mathbb{E}\) with \(\theta \in \Omega_{1}\subset \overline{\Omega }_{1}\subset \Omega_{2}\), and let \(T:P\cap (\overline{\Omega } _{2}\setminus \Omega_{1})\longrightarrow P\) be a completely continuous operator such that
Then T has at least one fixed point in \(P\cap (\overline{\Omega } _{2}\setminus \Omega_{1})\).
Let \(X=C[a,b]\) be a Banach space endowed with the norm \(\Vert u \Vert _{X}=\max_{a\leq t\leq b}|u(t)| \). Define the cone \(P\subset \{u\in X:u(t)\geq 0,a\leq t\leq b\}\).
Define the operator \(T:P\longrightarrow X\) as follows:
It follows from the non-negativeness and continuity of G and f that the operator \(T:P\longrightarrow X\) satisfies \(T(P)\subset P\) and is completely continuous.
Theorem 7.5
Let \(f(t,u)\) be a nonnegative continuous function on \([a,b]\times \mathbb{R}^{+}\). In addition, we assume that:
- \((H_{1})\) :
-
There exists a positive constant \(r_{1}\) such that
$$\begin{aligned} f(t,u)\geq \kappa r_{1},\quad \textit{for }(t,u)\in [\tau_{1},\tau_{2}]\times [a,r _{1}], \end{aligned}$$where \(a\leq \tau_{1}\leq \tau_{2}\leq b\) and
$$\begin{aligned} \kappa \geq \biggl[ \int_{\tau_{1}}^{\tau_{2}} \biggl(g\bigl({}_{\omega_{0}}\!\Phi_{q}(s),{}_{\omega_{0}}\!\Phi_{q}(s)\bigr)+ \frac{\mu (s-a)_{\omega_{0}} ^{(\alpha -1)}}{M}H\bigl(\eta ,{}_{\omega_{0}}\!\Phi_{q}(s)\bigr) \biggr)\,{d_{q, \omega }s} \biggr]^{-1}. \end{aligned}$$ - \((H_{2})\) :
-
There exists a positive constant \(r_{2}\) with \(r_{2}>r_{1}\) such that
$$\begin{aligned} f(t,u)\leq Lr_{2},\quad \textit{for } (t,u)\in [a,b]\times [a,r_{2}], \end{aligned}$$where
$$\begin{aligned} L= \biggl[ \int_{a}^{b} \biggl(\frac{(b-{}_{\omega_{0}}\!\Phi_{q}(s))_{\omega _{0}}^{(\alpha -1)}}{\Gamma_{q}(\alpha )(b-a)_{\omega_{0}}^{(\alpha -1)}} + \frac{\mu }{M}H\bigl(\eta ,{}_{\omega_{0}}\!\Phi_{q}(s)\bigr) \biggr)\,{d_{q,\omega }s} \biggr]^{-1}. \end{aligned}$$
Then the boundary value problem (20), (21) has at least one positive solution \(u_{0}\) satisfying \(a\leq r_{1}\leq \Vert u_{0} \Vert _{X} \leq r_{2}\).
Proof
By Lemma 7.2, we obtain \(\max_{a\leq t\leq b} g(t, {}_{\omega_{0}}\!\Phi_{q}(s))= g({}_{\omega_{0}}\!\Phi_{q}(s),{}_{\omega_{0}}\!\Phi_{q}(s))\). Let \(\Omega_{1}=\{u\in X:\Vert u \Vert _{X}< r _{1}\}\). For any \(u\in P\cap \partial \Omega_{1}\), according to \((H_{1})\), we have
Let \(\Omega_{2}=\{u\in X:\Vert u \Vert _{X}< r_{2}\}\). For any \(u\in P\cap \partial \Omega_{2}\), by \((H_{2})\), we have
Now, an application of Lemma 7.4 concludes the proof. □
8 Mittag-Leffler function
Example 8.1
Let \(0<\alpha \leq 1\) and consider the fractional \(q,\omega \)-difference equation
If we apply \({}_{a}I_{q,\omega }^{\alpha }\) on the equation, we see that
where \(g(t)=f({}_{\omega_{0}}\!\Phi_{q}^{-1}(t))\).
To obtain an explicit clear solution, we apply the method of successive approximation. Set \(y_{0}(t)=a_{0}\) and
For \(m=1\), we have
If we proceed inductively and let \(m\rightarrow \infty \), we obtain the solution
Definition 8.2
For \(z,z_{0}\in \mathbb{C}\), the Mittag-Leffler function for fractional \(q,\omega \)-difference equation is defined by
When \(\beta =1\), we simply use \(E_{\alpha }(\lambda ,z-z_{0})=E_{ \alpha ,1}(\lambda ,z-z_{0})\).
According to Definition 8.2 above, the solution of the fractional \(q,\omega \)-difference equation in Example 8.1 is expressed by
9 Conclusion
The paper [16] focuses on essentials of fractional calculus on a special discrete time scale forming the background for the so-called \((q,h)\)-calculus, which can be reduced to the quantum calculus (the case \(h=0\)) or to the difference calculus (the case \(q=h=1\)). From this point, in this article, we give a more general extension. The fractional \(q,\omega \)-calculus is defined in the set of real numbers. The main advantage of our results is that the corresponding properties can deal with the fractional \(q,\omega \)-calculus equation, the existence result of the solutions is solved, which is important in physical systems. We trust that the field here initiated will prove to be fruitful for further research.
References
Kac, V., Cheung, P.: Quantum Calculus. Springer, New York (2002)
Bangerezako, G.: Variational q-calculus. J. Math. Anal. Appl. 289(2), 650–665 (2004)
Bangerezako, G.: Variational calculus on q-nonuniform lattices. J. Math. Anal. Appl. 306(1), 161–179 (2005)
Cresson, J., Frederico, G.S.F., Torres, D.F.M.: Constants of motion for non-differentiable quantum variational problems. Topol. Methods Nonlinear Anal. 33(2), 217–231 (2009)
Annaby, M.H., Mansour, Z.S.: q-Fractional Calculus and Equations. Lecture Notes in Mathematics, vol. 2056. Springer, Berlin (2012). https://doi.org/10.1007/978-3-642-30898-7
El-Shahed, M., Hassan, H.A.: Positive solutions of q-difference equation. Proc. Am. Math. Soc. 138(5), 1733–1738 (2010)
Al-Salam, W.A.: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 15, 135–140 (1966)
Agarwal, R.P.: Certain fractional q-integrals and q-derivatives. Math. Proc. Camb. Philos. Soc. 66, 365–370 (1969)
Rajković, P.M., Marinković, S.D., Stanković, M.S.: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1(1), 311–323 (2007). https://doi.org/10.2298/AADM0701311R
Hahn, W.: Über orthogonalpolynome, die q-differenzenlgleichungen genügen. Math. Nachr. 2, 4–34 (1949)
Aldwoah, K.A.: Generalized time scales and associated difference equations. Ph.D. Thesis, Cairo University (2009)
Malinowska, A.B., Torres, D.F.M.: The Hahn quantum variational calculus. J. Optim. Theory Appl. 147, 419–442 (2010)
Malinowska, A.B., Martins, N.: Generalized transversality conditions for the Hahn quantum variational calculus. Optimization 62(3), 323–344 (2013)
Tariboon, J., Ntouyas, S.K., Agarwal, P.: New concepts of fractional quantum calculus and applications to impulsive fractional q-difference equations. Adv. Differ. Equ. 2015, Article ID 18 (2015). https://doi.org/10.1186/s13662-014-0348-8
Atici, F.M., Eloe, P.W.: Fractional q-calculus on a time scale. J. Nonlinear Math. Phys. 14, 341–352 (2007)
Čremák, J., Nechvátal, L.: On \((q, h)\)-analogue of fractional calculus. J. Nonlinear Math. Phys. 17(1), 51–68 (2010). https://doi.org/10.1142/S1402925110000593
Acknowledgements
The authors would like to thank the referee for invaluable comments and insightful suggestions.
Funding
This work is supported by the Natural Science Foundation of China (No. 11161049).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wang, Y., Liu, Y. & Hou, C. New concepts of fractional Hahn’s \(q,\omega \)-derivative of Riemann–Liouville type and Caputo type and applications. Adv Differ Equ 2018, 292 (2018). https://doi.org/10.1186/s13662-018-1753-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1753-1