1. Introduction
The q-calculus or quantum calculus is an old subject that was initially developed by Jackson [1]; basic definitions and properties of q-calculus can be found in [2]. The fractional q-calculus had its origin in the works by Al-Salam [3] and Agarwal [4]. But the definitions mentioned above about q-calculus can’t be applied to impulse points
, such that
. In [5], the authors defined the concepts of fractional q-calculus by defining a q-shifting operator
. Using the q-shifting operator, the fractional impulsive q-difference equation was defined. In paper [5] [6] [7], the authors discussed the existence of solutions for the fractional impulsive q-difference equation with Riemann-Liouville and Caputo fractional derivatives respectively. Some other results about q-difference equations can be found in papers [8] - [16] and the references cited therein. Dumitru Baleanu et al. discussed the stability of non-autonomous systems with the q-Caputo fractional derivatives in reference [17]. However, the existence and stability of solutions for the fractional impulsive q-difference have not been yet studied.
Motivated greatly by the above mentioned excellent works, in this paper we investigate the following fractional impulsive q-difference equation with q-integral boundary conditions:
(1)
where
is the fractional
-derivative of the Caputo type of order
on
,
,
,
,
,
,
,
.
denotes the Riemann-Liouville
-fractional integral of order
on
and
are three constants.
2. Preliminaries on q-Calculus and Lemmas
Here we recall some definitions and fundamental results on fractional q-integral and fractional q-derivative, for the full theory for which one is referred to [5] [6] [7].
For
, we define a q-shifting operator as
. The new power of q-shifting operator is defined as
,
,
,
. If
, then
.
The q-derivative of a function
on interval
is defined by
The q-integral of a function
defined on the interval
is given by
Some results about operator
and
can be found in references [5]. Let us define fractional q-derivative and q-integral on interval
and outline some of their properties [5] [6] [7].
Definition 1 [5] The fractional q-derivative of Riemann-Liouville type of order
on interval
is defined by
and
where l is the smallest integer greater than or equal to
.
Definition 2 [5] Let
and
be a function defined on
. The fractional q-integral of Riemann-Liouville type is given by
and
Lemma 1 [5] Let
and
be a continuous function on
. The Riemann-Liouville fractional q-integral has the following semi-group property
Lemma 2 [5] Let
be a q-integrable function on
. Then the following equality holds
Lemma 3 [5] Let
and p be a positive integer. Then for
the following equality holds
Definition 3 [7] The fractional q-derivative of Caputo type of order
on interval
is defined by
and
where
is the smallest integer greater than or equal to
.
Lemma 4 [7] Let
and n be the smallest integer great than or equal to
. Then for
the following equality holds
3. Main Results
In this section, we will give the main results of this paper.
Let
is continuous everywhere except for some
at which
and
exist, and
.
is a Banach space with the norm
First, for the sake of convenience, we introduce the following notations:
where
.
To obtain our main results, we need the following lemma.
Lemma 5 Let
and
. Then for any
, the solution of the following problem
(2)
is given by
(3)
Proof. Applying the operator
on both sides of the first equation of (2) for
and using Lemma 4, we have
Then we get for
that
(4)
For
, again taking the
to (4) and using the above process, we get
Applying the impulsive condition
, we get
By the same way, for
, we have
Repeating the above process for
, we get
(5)
From (5), we find that
From the boundary condition of (2), we get
(6)
Substituting (6) to (5), we obtain the solution (3). This completes the proof.
We define an operator
as follows:
(7)
Then, the existence of solutions of system (1) is equivalent to the problem of fixed point of operator
in (7).
Theorem 1 Let
and
be continuous functions. Assume that
and the following conditions are satisfied:
(H1) There exists a positive constant L such that
for each
and
.
(H2) There exists a function
such that
(H3)
.
Then problem (1) has a unique solution on J, where
and
Proof. The conclusion will follow once we have shown that the operator
defined (7) is a construction with respect to a suitable norm on
.
For any functions
, we have
By conditions (H1) and (H2), we get
which implies that
Thus the operator
is a contraction in view of the condition (H3). By Banach’s contraction mapping principle, the problem (1) has a unique solution on J. This completes the proof.
In the following, we study the Hyers-Ulam stability of impulsive fractional q-difference Equation (1). Let
and
be a continuous function. Consider the inequalities:
(8)
Now, we give out the definition of Hyers-Ulam stability of system (1).
Definition 4 System (1) is Hyers-Ulam stable with respect to system (8), if there exists
such that
for all
, where
is the solution of (8), and
of the solution for system (1).
Theorem 2 Assume
satisfy assumption (H2),
are continuous functions and satisfy assumption (H1) and the condition (H3) holds,
. Then the system (1) is Hyers-Ulam stable with respect to system (8).
Proof. Let
and
. Consider the system
(9)
Similarly to the system in Theorem 1, system (9) is equivalent to the following integral equation in Lemma 5.
(10)
Now, we define the operator
as following
(11)
where
(12)
Note that
Then the existence of a solution of (1) implies the existence of a solution to (9), it follows from Theorem 1 that
is a contraction. Thus there is a unique fixed point
of
, and respectively
of
.
Since
and
, we obtain
(13)
Then, we get
(14)
By condition (H3), we have
(15)
Let
, then
This completes the proof.
Remark 1 Note that (1) has a very general form, as special instances results from (1), when,
, (1) reduces to the antiperiodic boundary value problem of the impulsive fractional q-difference equation:
4. Example
Consider the following boundary value problem:
(16)
Corresponding to boundary value problem (1), one see that
,
,
,
,
,
. Through a simple calculation, we get
From Theorem 1, the problem (16) has a unique solution x on
. Furthermore, the solution x is Hyers-Ulam stable with respect to the following system
(17)
where
,
.
5. Conclusion
In this paper, we study the existence and Hyers-Ulam stability of solutions for impulsive fractional q-difference equation. We obtain some results as following: 1) Using the q-shifting operator, the results of existence of solutions for impulsive fractional q-difference equation with q-integral boundary conditions are obtained. 2) The Hyers-Ulam stability of the nonlinear impulsive fractional q-difference equations was obtained.
Funding
This research was supported by Science and Technology Foundation of Guizhou Province (Grant No. [2016] 7075), by the Project for Young Talents Growth of Guizhou Provincial Department of Education under (Grant No. Ky [2017] 133), and by the project of Guizhou Minzu University under (Grant No.16yjrcxm002).