Abstract
In this paper, we study the existence and uniqueness of solutions for two classes of boundary value problems for impulsive Caputo type fractional Hahn difference equations, by using the Banach contraction mapping principle and the nonlinear alternative of Leray–Schauder. The obtained results are well illustrated by examples.
Similar content being viewed by others
1 Introduction and preliminaries
Our purpose of this paper is to establish the existence and uniqueness results for two impulsive fractional Hanh difference boundary value problems. More precisely, we consider the first boundary value problem of order \(\nu _{k}\), \(0<\nu _{k}\leq 1\),
and the second boundary value problem of order \(\nu _{k}\), \(1<\nu _{k} \leq 2\),
where \({_{t_{k}}^{c}}D_{q_{k},\omega _{k}}^{\nu _{k}}\) is the fractional quantum Hahn difference operator of Caputo type, \(0< q_{k}<1\), \(\omega _{k}\geq 0\), \(k=0,1,2,\ldots ,m\), \(f:J\times {\mathbb{R}} \to {\mathbb{R}}\), \(J=[0,T]\), \(\varphi , \varphi _{k}^{*}:{\mathbb{R}} \to {\mathbb{R}}\), \(k=1,2,\ldots , m\), are given functions, \(\Delta x(t_{k})=x(t_{k})-x(t_{k}^{-})\), \({_{t_{k}}}D_{q_{k},\omega _{k}}\) is the first order quantum Hahn difference operator on interval \(J_{k}\), \(k=0,1,2,\ldots , m\), and given constants \(\xi _{1},\xi _{2}, \xi _{3}, \eta _{1},\eta _{2}\in {\mathbb{R}}\).
The q-calculus appeared as a connection between mathematics and physics, especially, in elementary particle physics, which have used quantum numbers to present the discrete values of energy levels in atoms. In 1910, Jackson [1] introduced the notion of q-derivative as
provided that \(f'(0)\) exists. He also was the first to develop q-calculus and q-difference equations in a systematic way. The book by Kac and Cheung [2] covers many of the fundamental aspects of quantum calculus and also q-special functions. The q-calculus has many applications in mathematical areas such as orthogonal polynomials, basic hypergeometric functions, combinatorics, the calculus of variations, quantum mechanics, and the theory of relativity. Some recent results in quantum calculus can be found in [3,4,5,6,7,8,9] and the references cited therein.
Hahn [10] introduced his difference operator \(D_{q,\omega } \) as
provided that f is differentiable at \(\omega _{0}\), where \(q\in (0,1)\) and \(\omega \geq 0\) are fixed. Here f is defined on an interval \(I\subseteq {\mathbb{R}}\) containing \(\omega _{0}:=\omega /(1-q)\). The Hahn difference operator unifies (in the limit) the two most well known and used quantum difference operators: the Jackson q-difference derivative \(D_{q}\), where \(q\in (0,1)\), defined by (3), for \(\omega =0\), and the forward difference \(D_{\omega }\) for \(q\to 1\), defined by
where \(\omega >0\) is a fixed constant. The Hahn difference operator is a successful tool for constructing families of orthogonal polynomials and investigating some approximation problems (cf. [11,12,13,14]). For some recent results on the boundary value problems of Hahn difference equations we refer to [15,16,17,18,19] and references therein.
Let us emphasize that the definition (3) does not remain valid for impulse points \(t_{k}\), \(k\in \mathbb{Z}\), such that \(t_{k}\in (qt,t)\). For example, let \([0,T]\), \(T>4\) be a dense interval and \(t=2\) be an impulsive point, i.e., \(f(2^{+})\neq f(2^{-})\). Then we have \(D_{1/2}f(4^{+})\neq D_{1/2}f(4^{-})\), which implies that \(D_{1/2}f(4)\) does not exist. On the other hand, this situation does not arise for impulsive equations on q-time scales \(\{0,\ldots , q^{2}t,qt,t \}\), as the domains consist of isolated points covering the case of consecutive points of t and qt with impulsive points \(t_{k}\notin (qt,t)\). Due to this reason, the subject of impulsive quantum difference equations on dense domains could not be studied. In [20], the authors modified the classical quantum calculus on \([a,b]\) by defining
Observe that if \(t_{k}\), \(k=1,2,\ldots \) , are impulse points with \(f(t_{k}^{+})=f(t_{k})\), then, by setting \([a,b)=[t_{k}, t_{k+1})\), there is no impulse point in \([a,b)\). With the help of definition (6), a series of impulsive quantum initial and boundary value problems were studied. We refer the interested reader to the recent monograph [21] for details.
In [22], the authors defined a quantum shifting operator by
\(m,a\in \mathbb{R}\) with \(m\geq a\). Then the q-derivative of a function f on an interval \([a,b]\) in (6) can be rewritten as
Now, we consider the interval \([a,b]\subseteq {\mathbb{R}}\), the quantum numbers \(0< q<1\), \(\omega \geq 0\), and
with \(\theta \in [a,b]\). The Hahn difference operator was generalized recently in [23] to \(_{a}D_{q,\omega }\) defined by
provided that f is differentiable at θ.
Next, we introduce a new quantum Hahn shifting operator by
As a special case, if \(\omega =a=0\), then (11) is reduced to classical quantum shifting in [1]. If \(\omega =0\), then (11) is reduced to the q-shifting in (7) studied in [20], and if \(a=0\), then (11) is reduced to Hahn shifting as appeared in [10]. In addition, the iterated k-times of quantum shifting is defined by
with \({_{\theta }\varPhi _{q}^{0}(m)}=m\).
Proposition 1
The following relations hold:
-
(i)
\((1-q)(t-a)-\omega =(1-q)(t-\theta )=t-{_{\theta }\varPhi _{q}(t)}\);
-
(ii)
\({_{\theta }\varPhi _{q}(\theta )}=\theta \);
-
(iii)
\((1-q^{k})a+\omega [k]_{q}=(1-q^{k})\theta \), where \([k_{q}]=(1-q^{k})/(1-q)\), \(k=0,1,2,\ldots \) .
The next definition modifies the definition (10) (studied in [23]), taking into account Proposition 1(i)–(iii).
Definition 1
Let f be a function defined on \([a,b]\). The quantum Hahn difference operator is defined by
provided that f is differentiable at θ.
Definition 2
Assume \(f:[a,b]\rightarrow \mathbb{R}\) is a given function and consider two points \(c,d\in [a,b]\). The q, ω-quantum Hahn integral of f from c to d is defined by
where
for \(t\in [a,b]\), provided that the series converges at \(t=c\) and \(t=d\).
Let us define the θ-power function as
For example, \((n-m)_{\theta }^{(4)}=(n-m)(n-{_{\theta }}\varPhi _{q}(m))(n- {_{\theta }}\varPhi _{q}^{2}(m))(n-{_{\theta }}\varPhi _{q}^{3}(m))\). More generally, if \(\gamma \in {\mathbb{R}}\), then
with \({_{\theta }}\varPhi ^{\gamma }_{q}(m)=q^{\gamma }m+(1-q^{\gamma }) \theta \), \(\gamma \in {\mathbb{R}}\). For example,
Let us state the definitions of Riemann–Liouville type of fractional derivative and integral of quantum Hahn calculus and also Caputo type fractional derivative, which can be found in [24].
Definition 3
The fractional quantum Hahn difference of Riemann–Liouville type of order \(\nu \ge 0\) on an interval \([a, b]\) is defined by \(({_{a}}D_{q, \omega }^{0}f)(t)=f(t)\) and
where l is the smallest integer greater than or equal to ν.
Definition 4
Let \(\nu \geq 0\) and f be a function defined on \([a, b]\). The fractional quantum Hahn integral of Riemann–Liouville type is given by \(({_{a}}I_{q,\omega }^{0} f)(t)=f(t)\) and
Definition 5
The fractional quantum Hahn difference of Caputo type \(\nu \ge 0\) on an interval \([a, b]\) is defined by \(({_{a} ^{c}}D_{q,\omega }^{0}f)(t)=f(t)\) and
where l is the smallest integer greater than or equal to ν.
If \(\omega =0\), then \(\theta =a\) and the above fractional quantum Hahn calculus is reduced to fractional quantum calculus on the interval \([a,b]\) as appeared in [22].
Theorem 1
([24])
Let \(\alpha ,\beta \in {\mathbb{R}^{+}}\), \(\lambda \in (-1,\infty )\) and \(\theta \in [a,b]\). The following formulas hold:
-
(i)
\(({_{a}}I_{q,\omega }^{\alpha }(x-a)_{\theta }^{(\lambda )})(t)= \frac{\varGamma _{q}(\lambda +1)}{\varGamma _{q}(\alpha +\lambda +1)}(t-a)_{ \theta }^{(\alpha +\lambda )}\);
-
(ii)
\(({_{a}}D_{q,\omega }^{\alpha }(x-a)_{\theta }^{(\lambda )})(t)= \frac{\varGamma _{q}(\lambda +1)}{\varGamma _{q}(\lambda -\alpha +1)}(t-a)_{ \theta }^{(\lambda -\alpha )}\).
Theorem 2
([24])
Let \(f(t)\) be a function defined on an interval \([a,b]\), \(\beta , \nu \in {\mathbb{R}^{+}}\), \(\alpha \in (N-1,N)\) and \(\theta \in [a,b]\). Then, we have:
-
(i)
\(({_{a}}I_{q,\omega }^{\beta } {_{a}}I_{q,\omega }^{ \nu }f)(t)=({_{a}}I_{q,\omega }^{\nu } {_{a}}I_{q,\omega }^{\beta }f)(t)=( {_{a}}I_{q,\omega }^{\beta +\nu }f)(t)\);
-
(ii)
\(({_{a}}D_{q,\omega }^{\beta } {_{a}}I_{q,\omega } ^{\beta }f)(t)=({_{a}^{c}}D_{q,\omega }^{\beta } {_{a}}I_{q,\omega }^{\beta }f)=f(t)\);
-
(iii)
\(( {_{a}}I_{q,\omega }^{\alpha } {_{a}}D_{q,\omega } ^{\alpha }f)(t)=f(t)+c_{1}(t-a)_{\theta }^{(\alpha -1)}+c_{2}(t-a)_{ \theta }^{(\alpha -2)}+\cdots +c_{N}(t-a)_{\theta }^{(\alpha -N)}\);
-
(iv)
\(( {_{a}}I_{q,\omega }^{\alpha } {_{a}^{c}}D_{q, \omega }^{\alpha }f)(t)=f(t)+d_{0}+d_{1}(t-a)_{\theta }^{(1)}+d_{2}(t-a)_{ \theta }^{(2)}+\cdots +d_{N-1}(t-a)_{\theta }^{(N-1)}\), for some \(c_{i},d_{j}\in {\mathbb{R}}\), \(i=1,2,\ldots ,N\), \(j=0,1,\ldots , N-1\).
The rest of the paper is organized as follows: In Sect. 2.1 we prove the existence and uniqueness results for the the impulsive Hahn difference boundary value problem (1), while the corresponding results for the impulsive Hahn difference boundary value problem (2) are presented in Sect. 2.2. Examples illustrating the obtained results are presented in Sect. 3.
2 Impulsive fractional Hahn difference equations
To establish our results, we define intervals \(J_{k}=[t_{k}, t_{k+1})\), \(k=0,1,2,\ldots ,m-1\), \(J_{m}=[t_{m},T]\) and \(J=[0,T]\), with impulsive points \(0=t_{0}< t_{1}<\cdots <t_{k}<t_{k+1}<\cdots <t_{m}<t_{m+1}=T\). In addition, we define the space \(PC(J, \mathbb{R})=\{ x: J \rightarrow \mathbb{R}: x(t)\text{ is continuous everywhere except}\mbox{ }\text{for some } t_{k}\mbox{ at which }x(t_{k}^{+})\mbox{ and }x(t_{k}^{-})\mbox{ exist and } x(t_{k}^{+})=x(t_{k}), k=1,2,\ldots ,m\}\). Observe that \(PC(J, \mathbb{R})\) is a Banach space equipped with the norm \(\|x\|=\sup \{|x(t)| : t\in J\}\). From Sect. 1, we replace all parameters, a, q, ω and ν of fractional quantum Hahn calculus in Definitions 3–5 by \(t_{k}\), \(q_{k}\), \(\omega _{k}\) and \(\nu _{k}\), \(k=0,1,2,\ldots ,m\), respectively. Also we assume that
In the next subsections, the fractional quantum Hahn calculus is used to establish the existence and uniqueness results for the impulsive fractional Hahn difference boundary value problems (1) and (2).
2.1 Impulsive problem of fractional quantum Hahn difference equation of order \(0<\nu _{k} \leq 1\)
In this subsection, we investigate the impulsive Hahn difference boundary value problem (1).
The following lemma deals with the linear variant of problem (1) and gives a representation of the solution.
Lemma 1
Let \(\xi _{1}+\xi _{2}\ne 0\) and \(h\in C (J,{\mathbb{R}} )\) be a given function. Then, the function x is a solution of the impulsive Hahn difference boundary value problem
if and only if
for \(t\in J_{k}\), \(k=0,1,2,\ldots , m\), with \(\sum_{a}^{b}(\cdot )=0\), when \(b< a\).
Proof
Applying Theorem 2(iv), for \(t\in J_{0}\), we obtain
for some \(c_{0}\in {\mathbb{R}}\). In particular, when \(t=t_{1}^{-}\), it follows that
For \(t\in J_{1}\), using the same process, we have
The impulsive condition, \(x(t_{1})=x(t_{1}^{-})+\varphi _{1}(x(t_{1} ^{-}))\), yields
Repeating the above argument, for \(t\in J_{k}\), \(k=0,1,2,\ldots , m\), we get
with \(\sum_{a}^{b}(\cdot )=0\), when \(b< a\). Since \(x(0)=c_{0}\) and
with \(t_{m+1}^{-}=T\), we can compute, with boundary condition in (16), that
Substituting the constant \(c_{0}\) in the integral equation (18), we obtain the desired result in (17). The converse follows by direct computation. The proof is completed. □
In the following, for convenience we use the abbreviation
for \(k=0,1,2,\ldots , m\), and put
Now, we are in the position to establish the existence of a unique solution of problem (1) by using the Banach contraction mapping principle.
Theorem 3
Let \(f:J\times {\mathbb{R}}\to {\mathbb{R}}\) and \(\varphi _{k}:{\mathbb{R}} \to {\mathbb{R}}\), \(k=1,2,\ldots ,m\), be given functions satisfying
and
If
then problem (1) has a unique solution on J.
Proof
In view of Lemma 1, we transform the boundary value problem (1), into an operator equation \(x(t)=Ax(t)\), where \(A: PC(J,\mathbb{R})\rightarrow PC(J,\mathbb{R})\) is defined by
Also we define a set \(B_{r}\) by \(B_{r}=\{x\in PC(J, \mathbb{R}):\|x\| \leq r\}\) where \(r > \varLambda _{2}/(1 - \varLambda _{1})\). It should be shown that \(AB_{r}\subset B_{r}\). Setting \(\text{sup}_{t \in J} |f_{0}| = M\), \(\text{max}_{j} |\varphi _{j}(0)| = N\), where \(f_{0}=f(t,0)\), and using \(|f_{x}| \leq |f_{x}-f_{0}|+|f_{0}|\) and \(|\varphi _{j}(x)| \leq | \varphi _{j}(x) - \varphi _{j}(0)| + |\varphi _{j}(0)|\), \(j = 1,2,3, \dots ,m\), for any \(x \in B_{r}\), we have
This show that \(\|Ax\| \leq r\), which leads to \(AB_{r} \subset B_{r}\). Now, we will prove that the operator A is a contraction by using (21). For any \(x, y \in B_{r}\), we have
which yields \(\|Ax-Ay\|\leq \varLambda _{1}\|x-y\|\). From (21), we conclude that the operator A is a contraction on \(B_{r}\). By the Banach contraction mapping principle, therefore, the impulsive boundary value problem of fractional quantum Hahn difference equation (1) has a unique solution x on J such that \(\|x\|\leq r\). The proof is complete. □
Corollary 1
Let constants \(\xi _{1}\neq 0\) and \(\xi _{2}=0\) in (1), then we have the impulsive initial value problem
If the functions f and \(\varphi _{i}\), \(i=1,2,\ldots ,m\), satisfy (19) and (20), respectively, and if
then the impulsive initial value problem of fractional quantum Hahn difference equation (22) has a unique solution on J.
2.2 Impulsive problem of fractional quantum Hahn difference equation of order \(1<\nu _{k} \leq 2\)
Consider now the impulsive fractional Hahn difference boundary value problem (2).
Lemma 2
Let \(g\in C(J, {\mathbb{R}})\). Then, the function x is a solution of the impulsive Hahn difference boundary value problem
if and only if
for \(t\in J_{k}\), \(k=0,1,2,\ldots , m\), with \(\sum_{a}^{b}(\cdot )=0\), when \(b< a\) and
Proof
Taking the Riemann–Liouville fractional quantum Hahn integral of order \(\nu _{0}\) to the first equation in (23) and applying Theorem 2(iv), for \(t\in J_{0}\), we get
From the first condition, \(x(0) = \eta _{1}\), we have \(c_{0} = \eta _{1}\) and from (15) with \(k=1\), for \(t = t_{1}^{-}\), we obtain
with \((a-b)_{\theta }^{(1)}=(a-b)\), \(a,b\in {\mathbb{R}}\). In addition, we can formulate from (25) that
and then \({_{t_{0}}}D_{q_{0},\omega _{0}}x(t_{1}^{-})= c_{1} + ({_{t _{0}}}I_{q_{0},\omega _{0}}^{\nu _{0}-1} g)(t_{1}^{-})\).
For \(t \in [t_{1},t_{2}) = J_{1}\), we have
Since
and
then (27) can be written as
Repeating the above process, for \(t\in J_{k}\), we get
To compute \(c_{1}\), we have
which leads to
Therefore, the result in (24) holds when substituting the constant \(c_{1}\) in (28). The converse follows by direct computation. This competes the proof. □
To accomplish our goal, we define the operator \(G:PC(J,\mathbb{R}) \rightarrow PC(J,\mathbb{R})\) by
The Banach fixed point theorem and Leray–Schauder’s nonlinear alternative will be used to study the existence and uniqueness results for the impulsive Hahn difference boundary value problem (2). Now, we set
Theorem 4
Let f and \(\varphi _{k}\) be given functions satisfying (19) and (20), respectively, for all \(k=1,2,\ldots ,m\). Assume the \(\varphi _{k}^{*}:{\mathbb{R}}\to {\mathbb{R}}\) such that
If \(\varLambda _{5}<1\), then the impulsive fractional quantum Hahn difference boundary value problem (2) has a unique solution on J.
Proof
The existence of a unique solution for the problem (2) will be proved by considering an operator equation \(x=Gx\), where G is defined by (29). Consider the set \(B_{R}=\{x\in PC(J,\mathbb{R}):\|x\|\leq R\}\), where a positive constant R satisfies
and \(K=\max_{j}|\varphi _{j}^{*}(0)|\) and constants M, N are defined in the proof of Theorem 3. We claim that \(GB_{R}\subset B _{R}\). Since
and \(|f_{x}| \leq |f_{x}-f_{0}|+|f_{0}|\leq L_{1}R+M\), \(|\varphi _{j}(x)| \leq |\varphi _{j}(x) - \varphi _{j}(0)| + |\varphi _{j}(0)|\leq L_{2}R+N\), \(|\varphi _{j}^{*}(x)| \leq |\varphi _{j}^{*}(x) - \varphi _{j}^{*}(0)| + |\varphi _{j}^{*}(0)|\leq L_{3}R+K\), \(j = 1,2,3,\dots ,m\), for any \(x \in B_{R}\), we have
which yields \(\|Gx\|\leq R\). To prove the contraction property of operator G, for any \(x,y\in B_{R}\), we consider the inequalities
Then we get \(\|Gx-Gy\|\leq \varLambda _{5}\|x-y\|\) which implies that G is a contraction operator as \(\varLambda _{5}<1\). Therefore problem (2) has a unique solution x on J. □
Lemma 3
(Nonlinear alternative for single valued maps, [25])
Let E be a Banach space, C a closed, convex subset of E, U an open subset of C and \(0\in U\). Suppose that \(F:\overline{U}\to C\) is a continuous, compact (that is, \(F(\overline{U})\) is a relatively compact subset of C) map. Then either
-
(i)
F has a fixed point in U̅, or
-
(ii)
There is a \(u\in \partial U\) (the boundary of U in C) and \(\lambda \in (0,1)\) with \(u=\lambda F(u)\).
Theorem 5
Assume that the functions \(f: J\times {\mathbb{R}}\to {\mathbb{R}}\), \(\varphi _{k}\), \(\varphi _{k}^{*}: {\mathbb{R}}\to {\mathbb{R}}\), \(k=1,2,\ldots ,m\), are continuous. In addition, we suppose that:
- \((H_{1})\) :
-
There exist a continuous nondecreasing function \(\psi _{1} : [0,\infty ) \to (0,\infty )\) and a continuous function \(p: J\to \mathbb{R}^{+}\) such that
$$ \bigl\vert f(t,x) \bigr\vert \le p(t)\psi _{1}\bigl( \vert x \vert \bigr) \quad \textit{for each } (t,x) \in J \times {\mathbb{R}}. $$ - \((H_{2})\) :
-
There exist continuous nondecreasing functions \(\psi _{2}, \psi _{3}: [0,\infty ) \to (0,\infty )\) such that
$$ \bigl\vert \varphi _{k}(x) \bigr\vert \le \psi _{2} \bigl( \vert x \vert \bigr) \quad \textit{and}\quad \bigl\vert \varphi _{k}^{*} (x) \bigr\vert \le \psi _{3}\bigl( \vert x \vert \bigr), $$for all \(x \in \mathbb{R}\), \(k=1,2,\ldots , m\).
- \((H_{3})\) :
-
There exists a constant \(Q>0\) such that
$$ \frac{ Q}{\varLambda _{6}+p^{*}\psi _{1}(Q) \varLambda _{3}+ \psi _{2}(Q) m + \psi _{3}(Q) \varLambda _{4}}> 1, $$where \(p^{*}=\sup \{p(t): t\in J\}\).
Then the impulsive fractional quantum Hahn difference boundary value problem (2) has at least one solution on J.
Proof
Let us prove the theorem by applying Lemma 3. For a positive number ρ, we define the set \(B_{\rho } = \{x \in PC(J, \mathbb{R}): \|x\| \le \rho \}\). Clearly, \(B_{\rho }\) is a closed, convex subset of \(PC(J,\mathbb{R})\). Let \(\{x_{n}\}\) be a sequence converging to x. Then for \(t\in J\), we obtain
Hence the operator G is continuous which is one of assumptions in Lemma 3. In the next step, we will prove the compactness of operator G.
For \(t\in J\) and \(x\in B_{\rho }\), we have
Hence, we obtain \(\|Gx\|\leq K\), which means that the set \(GB_{\rho }\) is a uniformly bounded set. Next we let \(\tau _{1}, \tau _{2}\in J_{k}\) for some \(k\in \{0, 1,2,\ldots , m\}\) with \(\tau _{1}<\tau _{2}\), and let \(x\in B_{\rho }\). Then we see that
The right-hand side of the above inequality tends to zero as \(\tau _{1}\rightarrow \tau _{2}\) (independently of x). This shows that the set \(GB_{\rho }\) is an equicontinuous set. Therefore the set \(GB_{\rho }\) is relatively compact. From the above and Arzelá–Ascoli theorem, the operator G is completely continuous or compact. Hence one more of assumptions of Lemma 3 holds.
The result will follow from Lemma 3 if we can prove the boundedness of the set of all solutions to equations \(x=\lambda Gx\) for \(\lambda \in (0,1)\). Let x be a solution of problem (2). Then, for \(t\in J\), we recall the computations in proving that G is bounded. For \(\lambda \in (0,1)\), let \(x=\lambda Gx\). Then we have
which yields
By assumption \((H_{3})\), there exists a positive constant Q such that \(\|x\|\neq Q\). Let us define \(U=\{x\in B_{\rho }:\|x\|< Q\}\). It is obvious that \(G :\overline{U} \to PC(J,\mathbb{R})\) is continuous and completely continuous. Therefore, there is no \(x \in \partial U\) such that \(x=\lambda Gx\) for some \(\lambda \in (0,1)\). By Lemma 3, thus, we get the result that G has a fixed point \(x \in \overline{U}\) which is a solution of problem (2) on J. The proof is completed. □
3 Examples
In this section we give examples to illustrate the usefulness of our main results.
Example 1
Consider the following impulsive fractional quantum Hahn difference boundary value problem:
Here \(\nu _{k}=(k+2)/(k+3)<1\), \(q_{k}=(k+1)/(k+2)\), \(\omega _{k} = 1/ (k ^{2}+5k+6)\), \(k=0,1,2,3\), \(m=3\), \(T=4\), \(\xi _{1} = 1/2\), \(\xi _{2} = 2/3\), \(\xi _{3}=4/5\).
In addition, we observe that \(\theta _{k} = (1/(k+3))+k \in J_{k}\), \(k=0,1,2,3\). By using a mathematical program, we can find that
Setting
we compute that
Then we get \(\varLambda _{1} \approx 0.987879636333851<1\), by using \(L_{1}=1/17\) and \(L_{2}=1/19\). Hence, by Theorem 3, the impulsive fractional quantum Hahn difference boundary value problem (31) has a unique solution on \([0, 4]\).
Example 2
Consider the impulsive fractional quantum Hahn difference boundary value problem
Here \(\nu _{k}=(2k+3)/(k+2)\), \(1<\nu _{k}\le 2\), \(q_{k}=(k+3)/(k+5)\), \(\omega _{k} = 1/ (k+5)\), \(k=0,1,2,3\), \(m=3\), \(T=4\), \(\eta _{1} = 4/7\), \(\eta _{2} = 5/9\). We find that \(\theta _{k} = (1/2)+k \in J_{k}\), \(k=0,1,2,3\). By using a mathematical program, we obtain constants as
Setting
and choosing \(p(t)=(1/(t+10)^{2})\), \(\psi _{1}(u)=u+1\), \(\psi _{2}(u)=(1/10)u+2\) and \(\psi _{3}(u)= (1/100)u+3\), it follows that
for all \(u\in {\mathbb{R}}\), \(k=1,2,3\), which imply that conditions \((H_{1})\)–\((H_{2})\) hold. For \(p^{*}=(1/100)\), by direct computation, there exists a constant \(Q>562.8514177160808\) satisfying the inequality in \((H_{3})\). Applying Theorem 5, we deduce that the impulsive fractional quantum Hahn difference boundary value problem (32) has at least one solution on \([0,4]\).
References
Jackson, F.H.: q-Difference equations. Am. J. Math. 32, 305–314 (1910)
Kac, V., Cheung, P.: Quantum Calculus. Springer, New York (2002)
Annaby, M.H., Mansour, Z.S.: q-Fractional Calculus and Equations. Springer, Berlin (2012)
Jagerman, D.L.: Difference Equations with Applications to Queues. Dekker, New York (2000)
Aldowah, K.A., Malinowska, A.B., Torres, D.F.M.: The power quantum calculus and variational problems. Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 19, 93–116 (2012)
Birto da Cruz, A.M.C., Martins, N., Torres, D.F.M.: Symmetric differentiation on time scales. Appl. Math. Lett. 26(2), 264–269 (2013)
Cruz, B., Artur, M.C.: Symmetric Quantum Calculus. Ph.D. thesis, Aveiro University, Aveiro (2012)
Wu, G.C., Baleanu, D.: New applications of the variational iteration method from differential equations to q-fractional difference equations. Adv. Differ. Equ. 2013, 21 (2013)
Alvarez-Nodarse, R.: On characterization of classical polynomials. J. Comput. Appl. Math. 196, 320–337 (2006)
Hahn, W.: Über Orthogonalpolynomen, die q-Differenzengleichungen genügen. Math. Nachr. 2, 4–34 (1949)
Brikshavana, T., Sitthiwirattham, T.: On fractional Hahn calculus. Adv. Differ. Equ. 2017, 354 (2017)
Costas-Santos, R.S., Marcellan, F.: Second structure relation for q-semiclassical polynomials of the Hahn Tableau. J. Math. Anal. Appl. 329, 206–228 (2007)
Foupouagnigni, M.: Laguerre–Hahn orthogonal polynomials with respect to the Hahn operator: fourth-order difference equation for the rth associated and the Laguerre–Freud equations recurrence coefficients. Ph.D. Thesis, Université Nationale du Bénin, Bénin (1998)
Kwon, K.H., Lee, D.W., Park, S.B., Yoo, B.H.: Hahn class orthogonal polynomials. Kyungpook Math. J. 38, 259–281 (1998)
Sitthiwirattham, T.: Nonlocal three-point boundary value problems for nonlinear second-order Hahn difference equations with two different q, ω-derivatives. Adv. Differ. Equ. 2016, 116 (2016)
Sriphanomwan, U., Tariboon, J., Patanarapeeler, N., Ntouyas, S.K., Sitthiwirattham, T.: Nonlocal boundary value problems for second order nonlinear Hahn integro-difference equations with Hahn integral boundary conditions. Adv. Differ. Equ. 2017, 170 (2017)
Patanarapeelert, N., Brikshavana, T., Sitthiwirattham, T.: On nonlocal Dirichlet boundary value problems for sequential Caputo fractional Hahn integrodifference equations. Bound. Value Probl. 2018, 6 (2018)
Patanarapeelert, N., Sitthiwirattham, T.: On nonlocal Robin boundary value problems for Riemann–Liouville fractional Hahn integrodifference equation. Bound. Value Probl. 2018, 46 (2018)
Patanarapeelert, N., Sitthiwirattham, T.: Existence results for fractional Hahn difference and fractional Hahn integral boundary value problems. Discrete Dyn. Nat. Soc. 2017, Article ID 7895186 (2017)
Tariboon, J., Ntouyas, S.K.: Quantum calculus on finite intervals and applications to impulsive difference equations. Adv. Differ. Equ. 2013, 282 (2013)
Ahmad, B., Ntouyas, S.K., Tariboon, J.: Quantum Calculus: New Concepts, Impulsive IVPs and BVPs, Inequalities. Trends in Abstract and Applied Analysis, vol. 4. World Scientific, Singapore (2016)
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, 18 (2015)
Tariboon, J., Ntouyas, S.K., Sudsutad, W.: New concepts of Hahn calculus and impulsive Hahn difference equations. Adv. Differ. Equ. 2016, 255 (2016)
Wang, Y., Liu, Y., Hou, C.: New concepts of fractional Hahn’s q, ω-derivative of Riemann–Liouville type and Caputo type and applications. Adv. Differ. Equ. 2018, 292 (2018)
Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003)
Availability of data and materials
Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.
Funding
This research was funded by King Mongkut’s University of Technology North Bangkok. Contract no. KMUTNB-61-GOV-B-22.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this work. 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
Tariboon, J., Ntouyas, S.K. & Sutthasin, B. Impulsive fractional quantum Hahn difference boundary value problems. Adv Differ Equ 2019, 220 (2019). https://doi.org/10.1186/s13662-019-2156-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2156-7