Skip to main content

Theory and Modern Applications

Certain fractional q-symmetric integrals and q-symmetric derivatives and their application

Abstract

The q-symmetric analogs of Cauchy’s formulas for multiple integrals are obtained. We introduce the concepts of the fractional q-symmetric integrals and fractional q-symmetric derivatives and discuss some of their properties. By using some properties of q-symmetric fractional integrals and fractional difference operators, we study a boundary value problem with nonlocal boundary conditions.

1 Introduction

The q-quantum calculus is an old subject that was first developed by Jackson [1, 2]. It plays an important role in several fields of physics, such as cosmic strings and black holes [3], conformal quantum mechanics [4], nuclear and high energy physics [5], and so on. As a survey of this calculus we refer to [6]. Starting from the q-analog of cauchy formula [7], Al-Salam started the fitting of the concept of q-fractional calculus. After that he [8, 9] and Agarwal [10] continued by studying certain q-fractional integrals and derivatives. Recently, perhaps due to the explosion in research within the fractional calculus setting, new developments in this theory of fractional q-difference calculus were made, specifically, q-analogs of the integral and differential fractional operators properties such as the q-Laplace transform, and q-Taylor’s formula [11, 12]. More recently, the authors in [13, 14] studied the problems of q-fractional initial value and approximation solutions by means of the generalized type of the q-Mittag-Leffler function introduced. Baleanu and Agarwal [15] established some inequalities involving the Saigo fractional q-integral operator in the theory of quantum calculus. There are also many papers dealing with the existence of solutions for q-fractional boundary value problems (see, e.g., [1623]).

The q-symmetric quantum calculus has proven to be useful in several fields, in particular in quantum mechanics [24]. As noticed in [25], consistently with the q-deformed theory, the standard q-symmetric integral must be generalized to the basic integral defined. However, to the best of the authors’ knowledge there are no results available in the literature introducing basic definitions for fractional q-symmetric integrals and fractional q-symmetric derivatives. The basic theory of q-symmetric quantum calculus needs to be explored. The object of this paper is to define a fractional q-symmetric operator corresponding to the q-symmetric analog of \(\int_{0}^{x}f(\tau)\,\widetilde{d}_{q}\tau\). Besides this we shall investigate the fundamental properties of this operator. A study of these fractional q-symmetric operators is expected to be of great importance in the development of the q-function theory, which plays an important role in combinatory analysis.

2 The q-symmetric analogs of Cauchy’s formulas

For a real parameter \(q\in\mathbb{R}^{+}\backslash\{1\}\), we introduce a q-real number \(\overline{[a]}_{q}\) by

$$\overline{[a]}_{q}=\frac{1-q^{2a}}{1-q^{2}} \quad (a\in\mathbb{R}). $$

For a nonnegative integer n, let

$$\overline{[0]}_{q}!=1,\qquad\overline{[n]}_{q}!= \overline{[n]}_{q}\overline {[n-1]}_{q}\cdots \overline{[1]}_{q}. $$

Also, the q-symmetric analog of the power \((a-b)^{k}\) is

$$\overline{(a-b)}^{(0)}=1,\qquad\overline{(a-b)}^{(k)}=\prod _{i=0}^{k-1}\bigl(a-bq^{2i+1}\bigr) \quad (k \in \mathbb{N}, a,b\in\mathbb{R}). $$

Their natural expansions to reals are

$$ \overline{(a-b)}^{(\alpha)} =a^{\alpha}\frac{\prod_{i=0}^{\infty}(1-\frac{b}{a}q^{2i+1})}{\prod_{i=0}^{\infty}(1-\frac{b}{a}q^{2(i+\alpha)+1})} \quad ( \alpha\in \mathbb{R},a\neq0). $$
(2.1)

The q-symmetric gamma function is defined by

$$\begin{aligned} \widetilde{\Gamma}_{q}(x)&=\frac{\prod_{i=0}^{\infty}(1-q^{2i+2})}{\prod_{i=0}^{\infty}(1-q^{2(i+x-1)+2})}\bigl(1-q^{2} \bigr)^{1-x} \\ &=\overline{(1-q)}^{(x-1)}\bigl(1-q^{2}\bigr)^{1-x} \quad\bigl(x\in\mathbb{R}\backslash \{0,-1,-2,\ldots\}\bigr). \end{aligned}$$
(2.2)

Obviously,

$$\widetilde{\Gamma}_{q}(1)=\overline{(1-q)}^{(0)} \bigl(1-q^{2}\bigr)^{0}=1,\qquad\widetilde { \Gamma}_{q}(x+1)=\overline{[x]}_{q}\widetilde{ \Gamma}_{q}(x). $$

The basic q-symmetric integrals are defined through the relations

$$\begin{aligned} &(\widetilde{I}_{q,0}f) (t)= \int^{x}_{0}f(t)\,\widetilde{d}_{q}t=x \bigl(1-q^{2}\bigr)\sum_{k=0}^{\infty}q^{2k}f\bigl(xq^{2k+1}\bigr), \\ &(\widetilde{I}_{q,a}f) (t)= \int^{x}_{a}f(t)\,\widetilde{d}_{q}t= \int ^{x}_{0}f(t)\,\widetilde{d}_{q}t- \int^{a}_{0}f(t)\,\widetilde{d}_{q}t. \end{aligned}$$
(2.3)

The q-symmetric derivative of a function \(f(x)\) is defined as

$$ (\widetilde{D}_{q}f) (x)=\frac{f(qx)-f(q^{-1}x)}{x(q-q^{-1})},\qquad ( \widetilde{D}_{q}f) (0):=f'(0), $$
(2.4)

and the q-symmetric derivatives of higher order as

$$ \bigl(\widetilde{D}^{0}_{q}f\bigr) (x)=f(x), \qquad \bigl( \widetilde{D}^{n}_{q}f\bigr) (x)=\bigl(\widetilde {D}_{q}\widetilde{D}^{n-1}_{q}f\bigr) (x),\quad n\in\mathbb{N^{+}}. $$

As for q-symmetric derivatives, we can define an operator \(\widetilde {I}^{n}_{q}\) by

$$ \bigl(\widetilde{I}^{0}_{q,a}f\bigr) (x)=f(x),\qquad \bigl(I^{n}_{q,a}f\bigr) (x) =\bigl(\widetilde{I}_{q,a} \widetilde{I}^{n-1}_{q,a}f\bigr) (x),\quad n\in \mathbb{N^{+}}. $$
(2.5)

For operators defined in this manner, the following is valid:

$$ (\widetilde{D}_{q}\widetilde{I}_{q,0})f(x)=f(x), \qquad( \widetilde {I}_{q,0}\widetilde{D}_{q}f) (x)=f(x)-f(0). $$
(2.6)

The formula for q-symmetric integration by parts is

$$ \int_{a}^{b}u(qx) (\widetilde{D}_{q}v) (x)\,\widetilde{d}_{q}x=\bigl[u(x)v(x)\bigr]\big|_{a}^{b}- \int _{a}^{b}v\bigl(q^{-1}x\bigr) ( \widetilde{D}_{q}u) (x)\,\widetilde{d}_{q}x. $$

Using (2.1) and (2.4), we may obtain the very useful examples of the q-symmetric derivatives of the next functions:

$$\begin{aligned} &{}_{x}\widetilde{D}_{q}\overline{(x-a)}^{(\alpha)}= \overline{[\alpha ]}_{q}\overline{\bigl(q^{-1}x-a \bigr)}^{(\alpha-1)}, \end{aligned}$$
(2.7)
$$\begin{aligned} &{}_{x}\widetilde{D}_{q}\overline{ \bigl(a-q^{-1}x\bigr)}^{(\alpha)}=-\overline{[\alpha ]}_{q}\overline{(a-x)}^{(\alpha-1)}. \end{aligned}$$
(2.8)

Next, we consider the form of the multiple q-symmetric integration as follows:

$$ \bigl(\widetilde{I}_{q}^{n}f\bigr) (x)= \int^{x}_{0}\,\widetilde{d}_{q}t \int ^{t}_{0}\,\widetilde{d}_{q}t_{n-1} \int^{t_{n-1}}_{0}\,\widetilde{d}_{q}t_{n-2} \cdots \int^{t_{2}}_{0}\,\widetilde{d}_{q}t_{1}. $$
(2.9)

Theorem 1

The form of the multiple q-symmetric integration (2.9) is equality to

$$ \bigl(\widetilde{I}_{q,0}^{n}f\bigr) (x)= \frac{1}{\overline {[n-1]}_{q}!}q^{\binom{n}{2}} \int^{x}_{0}\overline{(x-\tau)}^{(n-1)}f \bigl(q^{n-1}\tau\bigr)\,\widetilde{ d}_{q}\tau, $$
(2.10)

where

$$ \binom{n}{k} =\frac{\Gamma(n+1)}{\Gamma(k+1)\Gamma(n-k+1)}. $$

Proof

We prove (2.10) by using mathematical induction.

If \(n=1\), \((\widetilde{I}^{1}_{q,0}f)(x)=\int^{x}_{0}f(\tau)\,\widetilde{d}_{q}\tau\).

If \(n=2\), we have

$$\begin{aligned} \bigl(\widetilde{I}^{2}_{q,0}f\bigr) (x) =& \int^{x}_{0} \int^{s}_{0}f(\tau)\,\widetilde{d}_{q} \tau \,\widetilde{d}_{q}s \\ =&x\bigl(1-q^{2}\bigr)\sum_{k=0}^{\infty}q^{2k} \int_{0}^{q^{2k+1}x}f(\tau)\,\widetilde{d}_{q} \tau \\ =&\bigl(x\bigl(1-q^{2}\bigr)\bigr)^{2}\sum _{k=0}^{\infty}\sum_{m=0}^{\infty}q^{2k}q^{2k+2m+1}f\bigl(q^{2k+2m+2}x\bigr) \\ =&\bigl(x\bigl(1-q^{2}\bigr)\bigr)^{2}\sum _{k=0}^{\infty}\sum_{m=k}^{\infty}q^{2k}q^{2m+1}f\bigl(q^{2m+2}x\bigr) \\ =&\bigl(x\bigl(1-q^{2}\bigr)\bigr)^{2}\sum _{m=0}^{\infty}\sum_{k=0}^{m} q^{2k}q^{2m+1}f\bigl(q^{2m+2}x\bigr) \\ =&\bigl(x\bigl(1-q^{2}\bigr)\bigr)^{2}\sum _{m=0}^{\infty}\frac{1-q^{2m+2}}{1-q^{2}}q^{2m+1}f \bigl(q^{2m+2}x\bigr) \\ =&x\bigl(1-q^{2}\bigr)\sum_{m=0}^{\infty}\bigl(x-q^{2m+2}x\bigr)q^{2m+1}f\bigl(q^{2m+2}x\bigr) \\ =& \int_{0}^{qx}(x-\tau)f(\tau)\,\widetilde{d}_{q} \tau \\ =&q \int_{0}^{x}\overline{(x-\tau)}^{(1)}f(q \tau)\,\widetilde{d}_{q}\tau. \end{aligned}$$

We see that (2.10) holds.

Next, suppose that Theorem 1 holds for \(n=k\). We consider the case \(n=k+1\).

By (2.5), we have

$$\begin{aligned} \bigl(\widetilde{I}^{k+1}_{q,0}f\bigr) (x) =& \widetilde{I}_{q,0} \biggl(\frac {1}{\overline{[k-1]}_{q}!}q^{\binom{k}{2}} \int^{x}_{0}\overline{(x-\tau)}^{(k-1)}f \bigl(q^{k-1}\tau\bigr)\,\widetilde{d}_{q}\tau \biggr) \\ =&\frac{1}{\overline{[k-1]}_{q}!}q^{\binom{k}{2}} \int^{x}_{0} \int^{s}_{0}\overline{(s-\tau)}^{(k-1)}f \bigl(q^{k-1}\tau\bigr)\,\widetilde {d}_{q}\tau\, \widetilde{d}_{q}s \\ =&\frac{1}{\overline{[k-1]}_{q}!}q^{\binom{k}{2}} x\bigl(1-q^{2}\bigr)\sum _{m=0}^{\infty}q^{2m} \int_{0}^{q^{2m+1}x}\overline{\bigl(q^{2m+1}x-\tau \bigr)}^{(k-1)}f\bigl(q^{k-1}\tau\bigr)\,\widetilde{ d}_{q}\tau \\ =&\frac{1}{\overline{[k-1]}_{q}!}q^{\binom{k}{2}} \bigl(1-q^{2} \bigr)^{2}x^{k+1}\sum_{m=0}^{\infty}\sum_{l=m}^{\infty}q^{2l}q^{2m+1} \overline {\bigl(q^{2m+1}-q^{2l+2}\bigr)}^{(k-1)}f \bigl(q^{k-1}q^{2l+2}x\bigr) \\ =&\frac{1}{\overline{[k-1]}_{q}!}q^{\binom{k}{2}} \bigl(1-q^{2} \bigr)^{2}x^{k+1}\sum_{l=0}^{\infty}q^{2l}f\bigl(q^{2l+k+1}x\bigr)\sum_{m=0}^{l}q^{2m+1} \overline{\bigl(q^{2m+1}-q^{2l+2}\bigr)}^{(k-1)}. \end{aligned}$$

On the other hand

$$\begin{aligned} \bigl(\widetilde{I}^{k+1}_{q,0}f\bigr) (x) =& \frac{1}{\overline{[k]}_{q}!} q^{\binom{k+1}{2}} \int^{x}_{0}\overline{(x-\tau)}^{(k)}f \bigl(q^{k}\tau\bigr)\,\widetilde{ d}_{q}\tau \\ =&\frac{1}{\overline{[k]}_{q}!}q^{\binom{k+1}{2}} x\bigl(1-q^{2}\bigr)\sum _{l=0}^{\infty}q^{2l}\overline{ \bigl(x-xq^{2l+1}\bigr)}^{(k)}f\bigl(q^{2l+k+1}x\bigr) \\ =&\frac{1}{\overline{[k]}_{q}!}q^{\binom{k+1}{2}} x^{k+1}\bigl(1-q^{2} \bigr)\sum_{l=0}^{\infty}q^{2l} \overline{\bigl(1-q^{2l+1}\bigr)}^{(k)}f\bigl(q^{2l+k+1}x \bigr). \end{aligned}$$

Since

$$\begin{aligned} &\bigl(1-q^{2}\bigr)q^{-k}\overline{[k]}_{q}\sum _{m=0}^{l} q^{2m+1}\overline{ \bigl(q^{2m+1}-q^{2l+2}\bigr)}^{(k-1)} \\ &\quad=\bigl(1-q^{2}\bigr)q^{-k}\overline{[k]}_{q} \bigl(q\overline {\bigl(q-q^{2l+2}\bigr)}^{(k-1)}+q^{3} \overline{\bigl(q^{3}-q^{2l+2}\bigr)}^{(k-1)}+\cdots\\ &\qquad{}+ q^{2l+1}\overline{\bigl(q^{2l+1}-q^{2l+2} \bigr)}^{(k-1)} \bigr) \\ &\quad=\bigl(1-q^{2}\bigr)\overline{[k]}_{q} \bigl( \overline {\bigl(1-q^{2l+1}\bigr)}^{(k-1)}+q^{2k} \overline{\bigl(1-q^{2l-1}\bigr)}^{(k-1)}+\cdots+ q^{2lk}{ \overline{(1-q)}}^{(k-1)} \bigr) \\ &\quad=\bigl(1-q^{2}\bigr)\overline{[k]}_{q} \bigl(q^{2lk}{\overline {(1-q)}}^{(k-1)}+q^{2(l-1)k} \overline{\bigl(1-q^{3}\bigr)}^{(k-1)} +\cdots\\ &\qquad{}+q^{2k} \overline{\bigl(1-q^{2l-1}\bigr)}^{(k-1)}+\overline { \bigl(1-q^{2l+1}\bigr)}^{(k-1)} \bigr) \\ &\quad=\bigl(1-q^{2}\bigr)\overline{[k]}_{q} \Biggl(q^{2(l-1)k}\Biggl[q^{2k}\prod_{i=0}^{k-2} \bigl(1-q^{2i+2}\bigr)+\prod_{i=0}^{k-2} \bigl(1-q^{2i+4}\bigr)\Biggr]+q^{2(l-2)k}\overline{\bigl(1-q^{5} \bigr)}^{(k-1)} +\cdots\\ &\qquad{}+\overline{\bigl(1-q^{2l+1} \bigr)}^{(k-1)} \Biggr) \\ &\quad=\bigl(1-q^{2}\bigr)\overline{[k]}_{q} \Biggl(q^{2(l-1)k}\bigl(1-q^{2k+2}\bigr)\prod _{i=0}^{k-3}\bigl(1-q^{2i+4} \bigr)+q^{2(l-2)k}{\overline{\bigl(1-q^{5}\bigr)}}^{(k-1)} +\cdots\\ &\qquad{}+\overline{\bigl(1-q^{2l+1}\bigr)}^{(k-1)} \Biggr) \\ &\quad=\bigl(1-q^{2}\bigr)\overline{[k]}_{q} \Biggl(q^{2(l-2)k}\Biggl[\bigl(1-q^{2k+2}\bigr)\prod _{i=0}^{k-3}\bigl(1-q^{2i+4}\bigr)+\prod _{i=0}^{k-2}\bigl(1-q^{2i+6}\bigr) \Biggr] \\ &\qquad{}+q^{2(l-3)k}\overline{\bigl(1-q^{7} \bigr)}^{(k-1)} +\cdots+\overline{\bigl(1-q^{2l+1} \bigr)}^{(k-1)} \Biggr) \\ &\quad=\bigl(1-q^{2}\bigr)\overline{[k]}_{q} \Biggl(q^{2(l-2)k}\bigl(1-q^{2k+4}\bigr) \bigl(1-q^{2k+2} \bigr)\prod_{i=0}^{k-4}\bigl(1-q^{2i+6} \bigr) \\ &\qquad{}+q^{2(l-3)k}\overline{\bigl(1-q^{7} \bigr)}^{(k-1)} +\cdots+\overline{\bigl(1-q^{2l+1} \bigr)}^{(k-1)} \Biggr) \\ &\quad=\cdots \\ &\quad=\bigl(1-q^{2}\bigr)\overline{[k]}_{q} \bigl(1-q^{2l+2}\bigr) \bigl(1-q^{2l+4}\bigr)\cdots \bigl(1-q^{2k-2}\bigr) \bigl(1-q^{2k+2}\bigr)\cdots \bigl(1-q^{2l+2k}\bigr) \\ &\quad=\overline{\bigl(1-q^{2l+1}\bigr)}^{(k)}. \end{aligned}$$

We may see that (2.10) holds when \(n=k+1\). □

3 The \(\widetilde{I}_{q,0}^{\alpha}\) operator

We now introduce the fractional q-symmetric integral operator,

$$ \bigl(\widetilde{I}_{q,0}^{\alpha}f\bigr) (x)= \frac{1}{\widetilde{\Gamma}_{q}(\alpha)}q^{\binom{\alpha}{2}} \int^{x}_{0}\overline{(x-\tau)}^{(\alpha-1)}f \bigl(q^{\alpha-1}\tau\bigr)\,\widetilde{ d}_{q}\tau \quad \bigl( \alpha\in\mathbb{R^{+}}\bigr), $$
(3.1)

where

$$\binom{\alpha}{k} =\frac{\Gamma(\alpha+1)}{\Gamma(k+1)\Gamma(\alpha-k+1)} \quad (k\in\mathbb{N}). $$

To prove the semigroup property of the fractional q-symmetric integral, we need Lemma 1.

Lemma 1

[12]

For \(\mu,\alpha,\beta\in\mathbb{R}^{+}\), the following identity is valid:

$$\sum_{n=0}^{\infty}\frac{(1-\mu q^{1-n})^{(\alpha-1)}(1-\mu q^{1+n})^{(\beta-1)}}{(1- q)^{(\alpha-1)}(1- q)^{(\beta-1)}}q^{\alpha n}= \frac{(1-\mu q)^{(\alpha+\beta-1)}}{(1-q)^{(\alpha+\beta-1)}}, $$

where

$$(a-b)^{(\alpha)}=a^{\alpha}\frac{\prod_{i=0}^{\infty}(1-\frac {b}{a}q^{i})}{\prod_{i=0}^{\infty}(1-\frac{b}{a}q^{\alpha+i})}\quad (a,b\in \mathbb{R},a\neq0). $$

Theorem 2

Let \(\alpha,\beta\in\mathbb{R}^{+}\). The fractional q-symmetric integration has the following semigroup property:

$$\bigl(\widetilde{I}_{q,0}^{\alpha}\widetilde{I}_{q,0}^{\beta }f \bigr) (x)=\bigl(\widetilde{I}_{q,0}^{\alpha+\beta}f\bigr) (x). $$

Proof

By (3.1) and (2.3), we have

$$\begin{aligned} \bigl(\widetilde{I}_{q,0}^{\alpha}\widetilde{I}_{q,0}^{\beta}f \bigr) (x) =&\widetilde{I}_{q,0}^{\alpha} \biggl( \frac{q^{\binom{\beta}{2}}}{ \widetilde{\Gamma}_{q}(\beta)} \int^{x}_{0}\overline{(x-\tau )}^{(\beta-1)}f \bigl(q^{\beta-1}\tau\bigr) \,\widetilde{d}_{q}\tau \biggr) \\ =&\frac{q^{\binom{\alpha}{2}+\binom{\beta}{2}}}{ \widetilde{\Gamma}_{q}(\alpha)\widetilde{\Gamma}_{q}(\beta)} \int^{x}_{0}\overline{(x-s)}^{(\alpha-1)} \int^{q^{\alpha-1}s}_{0}\overline{\bigl(q^{\alpha-1}s-\tau \bigr)}^{(\beta-1)} f\bigl(q^{\beta-1}\tau\bigr)\,\widetilde{d}_{q} \tau\,\widetilde{d}_{q}s \\ =&\frac{q^{\binom{\alpha}{2}+\binom{\beta}{2}}}{ \widetilde{\Gamma}_{q}(\alpha)\widetilde{\Gamma}_{q}(\beta)} x\bigl(1-q^{2}\bigr)\sum _{k=0}^{\infty}q^{2k}\overline{ \bigl(x-q^{2k+1}x\bigr)}^{(\alpha-1)}\\ &{}\times \int^{q^{\alpha+2k}x}_{0}\overline{\bigl(q^{2k+\alpha}x-\tau \bigr)}^{(\beta -1)}f\bigl(q^{\beta-1}\tau\bigr) \,\widetilde{d}_{q} \tau \\ =&\frac{q^{\binom{\alpha}{2} +\binom{\beta}{2}}}{\widetilde{\Gamma}_{q}(\alpha) \widetilde{\Gamma}_{q}(\beta)} \bigl(1-q^{2}\bigr)^{2}x^{\alpha+\beta} \\ &{}\times \sum_{k=0}^{\infty}\Biggl(\sum _{m=0}^{\infty}q^{2k} q^{2k+2m} q^{\alpha\beta} \Biggr) q^{2m}\overline{ \bigl(q^{2k}-q^{2k+2m+1}\bigr)}^{(\beta-1)}\overline { \bigl(1-q^{2k+1}\bigr)}^{(\alpha-1)}\\ &{}\times f\bigl(q^{\alpha+\beta+2k+2m}x\bigr) \\ =&\frac{q^{\binom{\alpha}{2} +\binom{\beta}{2} +\alpha\beta}}{\widetilde{\Gamma}_{q}(\alpha)\widetilde{\Gamma }_{q}(\beta)} \bigl(1-q^{2}\bigr)^{2}x^{\alpha+\beta} \\ &{}\times \sum_{k=0}^{\infty}\sum _{m=k}^{\infty}q^{2k} q^{2m} \overline{\bigl(q^{2k}-q^{2m+1}x\bigr)}^{(\beta-1)}\overline {\bigl(1-q^{2k+1}\bigr)}^{(\alpha-1)}f\bigl(q^{\alpha+\beta+2m}x\bigr) \\ =&\frac{q^{\binom{\alpha+\beta}{2}}}{ \widetilde{\Gamma}_{q}(\alpha)\widetilde{\Gamma}_{q}(\beta)} \bigl(1-q^{2}\bigr)^{2}x^{\alpha+\beta} \\ &{}\times \sum_{m=0}^{\infty}\Biggl(\sum _{k=0}^{m} q^{2k} \overline{ \bigl(q^{2k}-q^{2m+1}\bigr)}^{(\beta-1)}\overline{ \bigl(1-q^{2k+1}\bigr)}^{(\alpha -1)}\Biggr)q^{2m}f \bigl(q^{\alpha+\beta+2m}x\bigr) \\ =&\frac{q^{\binom{\alpha+\beta}{2}}}{ \widetilde{\Gamma}_{q}(\alpha)\widetilde{\Gamma}_{q}(\beta)} \bigl(1-q^{2}\bigr)^{2}x^{\alpha+\beta} \\ &{}\times \sum_{m=0}^{\infty}\Biggl(\sum _{k=0}^{m} q^{2k\beta} \overline{ \bigl(1-q^{2m-2k+1}\bigr)}^{(\beta-1)}\overline{\bigl(1-q^{2k+1} \bigr)}^{(\alpha -1)}\Biggr)q^{2m}f\bigl(q^{\alpha+\beta+2m}x\bigr). \end{aligned}$$

Next, we denote \(q^{2}=\overline{q}\), then

$$\begin{aligned} \overline{\bigl(1-q^{2m-2k+1}\bigr)}^{(\beta-1)} =&\frac{\prod_{i=0}^{\infty}(1-q^{2m-2k+1}q^{2i+1})}{\prod_{i=0}^{\infty}(1-q^{2m-2k+1}q^{2(i+\beta-1)+1})} \\ =&\frac{\prod_{i=0}^{\infty}(1-\overline{q}^{m-k+i+1})}{\prod_{i=0}^{\infty}(1-\overline{q}^{m-k+i+\beta})} \\ =&\bigl(1-\overline{q}^{m-k+1}\bigr)^{(\beta-1)} \end{aligned}$$

and

$$\begin{aligned} \widetilde{\Gamma}_{q}(\alpha) =&\overline {(1-q)}^{(\alpha-1)} \bigl(1-q^{2}\bigr)^{1-\alpha} \\ =&\bigl(1-q^{2}\bigr)^{1-\alpha}\frac{\prod_{i=0}^{\infty}(1-q^{2i+2})}{\prod_{i=0}^{\infty}(1-q^{2(i+\alpha-1)+2})} \\ =&(1-\overline{q})^{1-\alpha}\frac{\prod_{i=0}^{\infty}(1-\overline {q}^{i+1})}{\prod_{i=0}^{\infty}(1-\overline{q}^{i+\alpha)}} \\ =&(1-\overline{q})^{1-\alpha}(1-\overline{q})^{(\alpha-1)}. \end{aligned}$$

Using Lemma 1, we obtain

$$\begin{aligned} &\sum_{k=0}^{m} q^{2k\beta} \overline{\bigl(1-q^{2m-2k+1}\bigr)}^{(\beta -1)}\overline{ \bigl(1-q^{2k+1}\bigr)}^{(\alpha-1)} \\ &\quad=\sum_{k=0}^{\infty}q^{2k\beta} \overline{\bigl(1-q^{2m-2k+1}\bigr)}^{(\beta -1)}\overline{ \bigl(1-q^{2k+1}\bigr)}^{(\alpha-1)} \\ &\quad=\sum_{k=0}^{\infty}\overline{q}^{k\beta}\bigl(1-\overline{q}^{m-k+1} \bigr)^{(\beta-1)}\bigl(1-\overline {q}^{k+1}\bigr)^{(\alpha-1)} \\ &\quad=(1-\overline{q})^{(\alpha-1)}(1-\overline{q})^{(\beta-1)}\sum _{k=0}^{\infty}\frac{ \overline{q}^{k\beta}(1-\overline{q}^{m-k+1})^{(\beta-1)}(1-\overline {q}^{k+1})^{(\alpha-1)}}{(1-\overline{q})^{(\alpha-1)}(1-\overline {q})^{(\beta-1)}} \\ &\quad=(1-\overline{q})^{(\alpha-1)}(1-\overline{q})^{(\beta-1)} \frac{ (1-\overline{q}^{m+1})^{(\alpha+\beta-1)}}{(1-\overline{q})^{(\alpha +\beta-1)}}. \end{aligned}$$

Thus

$$\begin{aligned} \bigl(\widetilde{I}_{q,0}^{\alpha}\widetilde{I}_{q,0}^{\beta}f \bigr) (x) =&\frac{q^{\binom{\alpha+\beta}{2}}}{ \widetilde{\Gamma}_{q}(\alpha)\widetilde{\Gamma}_{q}(\beta)} \bigl(1-q^{2}\bigr)^{2}x^{\alpha+\beta} \\ &{}\times \sum_{m=0}^{\infty}q^{2m} (1-\overline{q})^{(\beta-1)}(1-\overline{q})^{(\alpha-1)} \frac{ (1-\overline{q}^{m+1})^{(\alpha+\beta-1)}}{(1-\overline{q})^{(\alpha +\beta-1)}}f\bigl(q^{\alpha+\beta+2m}x\bigr) \\ =&\frac{q^{\binom{\alpha+ \beta}{2}}}{\widetilde{\Gamma}_{q}(\alpha+\beta)} \bigl(1-q^{2}\bigr)x^{\alpha+\beta}\sum _{m=0}^{\infty}q^{2m} \bigl(1- \overline{q}^{m+1}\bigr)^{(\alpha+\beta-1)}f\bigl(q^{\alpha+\beta+2m}x\bigr) \\ =&\frac{q^{\binom{\alpha+\beta}{2}}}{\widetilde{\Gamma}_{q}(\alpha+\beta)} x\bigl(1-q^{2}\bigr)\sum _{m=0}^{\infty}q^{2m} \bigl(x- \overline{q}^{m+1}x\bigr)^{(\alpha+\beta-1)}f\bigl(q^{\alpha+\beta+2m}x\bigr) \\ =&\frac{q^{\binom{\alpha+\beta}{2}}}{\widetilde{\Gamma}_{q}(\alpha+\beta)} \int_{0}^{x}\overline{(x-\tau)}^{(\alpha+\beta-1)}f \bigl(q^{\alpha+\beta-1}\tau \bigr)\,\widetilde{d}_{q}\tau \\ =&\bigl(\widetilde{I}_{q,0}^{\alpha+\beta}f\bigr) (x). \end{aligned}$$

 □

Theorem 3

For \(\alpha\in\mathbb{R}^{+}\), the following identity is valid:

$$ \bigl(\widetilde{I}_{q,0}^{\alpha}f\bigr) (x) =\bigl( \widetilde{I}_{q,0}^{\alpha+1}\widetilde{D}_{q} f\bigr) (x)+\frac{f(0)}{\widetilde{\Gamma}_{q}(\alpha+1)} q^{\binom{\alpha}{2}}x^{\alpha}. $$

Proof

Using the q-symmetric integration by parts and (2.8), we obtain

$$\begin{aligned} \bigl(\widetilde{I}_{q,0}^{\alpha}f\bigr) (x) =& \frac{1}{\widetilde{\Gamma}_{q}(\alpha)}q^{\binom{\alpha}{2}} \int^{x}_{0}\overline{(x-\tau)}^{(\alpha-1)}f \bigl(q^{\alpha-1}\tau\bigr)\,\widetilde{ d}_{q}\tau \\ =&\frac{1}{\widetilde{\Gamma}_{q}(\alpha) \overline{[\alpha]}_{q}}q^{\binom{\alpha}{2}} \biggl(- \int^{x}_{0}f\bigl(q^{\alpha-1}\tau\bigr)\, \widetilde{ d}_{q}\overline{\bigl(x-q^{-1}\tau \bigr)}^{(\alpha)} \biggr) \\ =&\frac{1}{\widetilde{\Gamma}_{q}(\alpha+1)}q^{\binom{\alpha}{2}} \biggl(-\overline{\bigl(x-q^{-1} \tau\bigr)}^{(\alpha)}f\bigl(q^{\alpha}\tau\bigr)\big|_{0}^{x}+ \int^{x}_{0}q^{\alpha}\overline{(x- \tau)}^{(\alpha)}\widetilde {D}_{q}f\bigl(q^{\alpha}\tau \bigr) \,\widetilde{d}_{q}\tau \biggr) \\ =&\frac{1}{\widetilde{\Gamma}_{q}(\alpha+1)}q^{\binom{\alpha}{2}} \biggl(-\overline{\bigl(x-q^{-1}x \bigr)}^{(\alpha)}f\bigl(q^{\alpha}x\bigr)\\ &{}+x^{\alpha}f(0)+ \int^{x}_{0}q^{\alpha}\overline{(x- \tau)}^{(\alpha)}\widetilde {D}_{q}f\bigl(q^{\alpha}\tau \bigr) \,\widetilde{d}_{q}\tau \biggr) \\ =&\bigl(\widetilde{I}_{q,0}^{\alpha+1}\widetilde{D}_{q} f\bigr) (x)+\frac{f(0)}{\widetilde{\Gamma}_{q}(\alpha+1)}q^{\binom{\alpha}{2}}x^{\alpha}. \end{aligned}$$

 □

4 The fractional q-symmetric derivative of Riemann-Liouville type

We define the fractional q-symmetric derivative of Riemann-Liouville type of a function \(f(x)\) by

$$ \bigl(\widetilde{D}^{\alpha}_{q,0}f\bigr) (x)= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} (\widetilde{I}_{q,0}^{-\alpha}f)(x),&\alpha< 0, \\ f(x),& \alpha=0, \\ (D^{[\alpha]}_{q}\widetilde{I}_{q,0}^{[\alpha]-\alpha}f)(x),& \alpha>0. \end{array}\displaystyle \right . $$
(4.1)

Here \([\alpha]\) denotes the smallest integer greater than or equal to α.

Theorem 4

For \(\alpha\in\mathbb{R}\setminus \mathbb{N}_{0}\), the following is valid:

$$\bigl(\widetilde{D}_{q}\widetilde{D}_{q,0}^{\alpha}f\bigr) (x)=\bigl(\widetilde {D}_{q,0}^{\alpha+1} f\bigr) (x). $$

Proof

We consider three cases. For \(\alpha\leq-1\), according to Theorem 3 and (2.6), we have

$$\begin{aligned} \bigl(\widetilde{D}_{q}\widetilde{D}^{\alpha}_{q,0}f\bigr) (x) =&\bigl(\widetilde{D}_{q} \widetilde{I}^{-\alpha}_{q,0}f\bigr) (x) \\ =&\bigl(\widetilde{D}_{q}\widetilde{I}^{1-\alpha-1}_{q,0}f \bigr) (x) \\ =&\bigl(\widetilde{I}^{-(\alpha+1)}_{q,0}f\bigr) (x) \\ =&\bigl(\widetilde{D}^{(\alpha+1)}_{q,0}f\bigr) (x). \end{aligned}$$

In the case \(-1<\alpha<0\), we obtain

$$\bigl(\widetilde{D}_{q}\widetilde{D}^{\alpha}_{q,0}f \bigr) (x) =\bigl(\widetilde{D}_{q}\widetilde{I}^{-\alpha}_{q,0}f \bigr) (x)=\bigl(\widetilde {D}_{q}\widetilde{I}^{1-(\alpha+1)}_{q,0}f \bigr) (x) =\bigl(\widetilde{D}^{\alpha+1}_{q,0}f\bigr) (x). $$

For \(\alpha>0\), we get

$$\bigl(\widetilde{D}_{q}\widetilde{D}^{\alpha}_{q,0}f \bigr) (x) =\bigl(\widetilde{D}_{q}\widetilde{D}^{[\alpha]}_{q} \widetilde{I}^{[\alpha ]-\alpha}_{q,0}f\bigr) (x) =\bigl( \widetilde{D}^{1+\alpha}_{q,0}f\bigr) (x). $$

 □

Theorem 5

For \(\alpha\in\mathbb{R}\setminus\mathbb{N}_{0}\), the following is valid:

$$\bigl(\widetilde{D}_{q}\widetilde{D}_{q,0}^{\alpha}f\bigr) (x)=\bigl(\widetilde {D}_{q,0}^{\alpha}\widetilde{D}_{q} f\bigr) (x)+\frac{f(0)}{\widetilde{\Gamma }_{q}(-\alpha)}q^{\binom{-(\alpha+1)}{2}} x^{-\alpha-1}. $$

Proof

Let us consider two cases. For \(\alpha<0\),

$$\begin{aligned} \bigl(\widetilde{D}_{q}\widetilde{D}_{q,0}^{\alpha}f\bigr) (x) =&\bigl(\widetilde{D}_{q}\widetilde{I}_{q,0}^{-\alpha}f \bigr) (x) \\ =&\widetilde{D}_{q}\widetilde{I}_{q,0}^{-\alpha} \bigl[(\widetilde {I}_{q,0}\widetilde{D}_{q}f) (x)+f(0) \bigr] \\ =&\bigl(\widetilde{D}_{q}\widetilde{I}_{q,0}^{-\alpha} \widetilde {I}_{q,0}\widetilde{D}_{q}f\bigr) (x)+f(0) \bigl( \widetilde{D}_{q}\widetilde {I}_{q,0}^{-\alpha}1\bigr) \\ =&\bigl(\widetilde{D}_{q}\widetilde{I}_{q,0}^{-\alpha+1} \widetilde {D}_{q}f\bigr) (x)+f(0)q^{\binom{-\alpha}{2}} \frac{1}{\widetilde{\Gamma}_{q}(-\alpha)\overline{[-\alpha ]}_{q}} \widetilde{D}_{q}x^{-\alpha} \\ =&\bigl(\widetilde{D}^{\alpha}_{q,0}\widetilde {D}_{q}f\bigr) (x)+f(0)q^{\binom{-\alpha}{2}} q^{-(\alpha+1)} \frac{1}{\widetilde{\Gamma}_{q}(-\alpha)}x^{-\alpha -1} \\ =&\bigl(\widetilde{D}^{\alpha}_{q,0}\widetilde{D}_{q}f \bigr) (x)+f(0) q^{\binom{-(\alpha+1)}{2}} \frac{1}{\widetilde{\Gamma}_{q}(-\alpha)}x^{-\alpha-1}. \end{aligned}$$

If \(\alpha>0\), there exists \(l\in\mathbb{N}_{0}\), such that \(\alpha\in(l,l+1)\). Then applying a similar procedure, we get

$$\begin{aligned} \bigl(\widetilde{D}_{q}\widetilde{D}_{q,0}^{\alpha}f\bigr) (x) =&\widetilde {D}_{q}\widetilde{D}^{l+1}_{q} \widetilde{I}_{q,0}^{l+1-\alpha}f) (x) \\ =&\widetilde{D}^{l+2}_{q}\widetilde{I}_{q,0}^{l+1-\alpha} \bigl[(\widetilde {I}_{q,0}\widetilde{D}_{q}f) (x)+f(0) \bigr] \\ =&\bigl(\widetilde{D}^{l+2}_{q}\widetilde{I}_{q,0}^{l+2-\alpha}\widetilde{D}_{q}f\bigr) (x) +f(0)\frac{q^{\binom{l+1-\alpha}{2}}}{ \widetilde{\Gamma}_{q}(l+1-\alpha)} \biggl(\widetilde {D}^{l+2}_{q} \int_{0}^{x}\overline{(x-\tau)}^{(l-\alpha)}\, \widetilde{d}_{q}\tau \biggr) \\ =&\bigl(\widetilde{D}^{l+2}_{q}\widetilde{I}_{q,0}^{l+2-\alpha} \widetilde{D}_{q}f\bigr) (x) +f(0)\frac{q^{\binom{l+1-\alpha}{2}}}{ \widetilde{\Gamma}_{q}(l+2-\alpha)} \bigl(\widetilde {D}^{l+2}_{q}x^{l+1-\alpha} \bigr) \\ =&\bigl(\widetilde{D}^{\alpha}_{q,0}\widetilde{D}_{q}f \bigr) (x)+f(0) q^{\binom{-(\alpha+1)}{2}} \frac{1}{\widetilde{\Gamma}_{q}(-\alpha)}x^{-\alpha-1}. \end{aligned}$$

 □

Theorem 6

For \(\alpha\in\mathbb{R}\setminus\mathbb{N}_{0}\), the following is valid:

$$\bigl(\widetilde{D}_{q,0}^{\alpha}\widetilde{I}_{q,0}^{\alpha}f \bigr) (x)=f(x). $$

Proof

$$\bigl(\widetilde{D}_{q,0}^{\alpha}\widetilde{I}_{q,0}^{\alpha}f \bigr) (x) =\bigl(\widetilde{D}_{q}^{[\alpha]} \widetilde{I}_{q,0}^{[\alpha]-\alpha }\widetilde{I}_{q,0}^{\alpha}f \bigr) (x) =\bigl(\widetilde{D}_{q}^{[\alpha]} \widetilde{I}_{q,0}^{[\alpha ]}f\bigr) (x)=f(x). $$

 □

Theorem 7

Let \(\alpha\in(0,1)\). Then

$$\bigl(\widetilde{I}_{q,0}^{\alpha}\widetilde{D}_{q,0}^{\alpha}f \bigr) (x) =f(x)+Kx^{\alpha-1}. $$

Proof

Let \(A(x)=(\widetilde{I}_{q,0}^{\alpha}\widetilde{D}_{q,0}^{\alpha}f)(x)-f(x)\).

Apply \(\widetilde{D}_{q,0}^{\alpha}\) to both sides of the above expression, and using Theorem 6, we get

$$\bigl(\widetilde{D}_{q,0}^{\alpha}\bigr)A(x)=\bigl( \widetilde{D}_{q,0}^{\alpha }\widetilde{I}_{q,0}^{\alpha} \widetilde{D}_{q,0}^{\alpha }f\bigr) (x)-\bigl( \widetilde{D}_{q,0}^{\alpha}f\bigr) (x) =\bigl( \widetilde{D}_{q,0}^{\alpha}f\bigr) (x)-\bigl( \widetilde{D}_{q,0}^{\alpha}f\bigr) (x)=0. $$

On the other hand,

$$\begin{aligned} & \int_{0}^{x}\overline{(x-\tau)}^{(-\alpha)} \bigl(q^{-\alpha }\tau\bigr)^{\alpha-1}\,\widetilde{d}_{q} \tau \\ &\quad=x\bigl(1-q^{2}\bigr)\sum_{m=0}^{\infty}q^{2m}\overline{\bigl(x-q^{2m+1}x\bigr)}^{(-\alpha)} \bigl(q^{-\alpha}q^{2m+1}x\bigr)^{\alpha -1} \\ &\quad=\bigl(1-q^{2}\bigr)\sum_{m=0}^{\infty}q^{2m}\overline{\bigl(1-q^{2m+1}\bigr)}^{(-\alpha)} \bigl(q^{-\alpha}q^{2m+1}\bigr)^{\alpha-1}. \end{aligned}$$

Using the above form and according to (3.1), (4.1), we obtain

$$\widetilde{D}_{q,0}^{\alpha}x^{\alpha-1}= \widetilde{D}_{q}\widetilde {I}_{q,0}^{1-\alpha}x^{\alpha-1} =\widetilde{D}_{q}q^{\binom{1-\alpha}{2}} \frac{1}{\widetilde{\Gamma}_{q}(1-\alpha)} \int_{0}^{x}\overline {(x-\tau)}^{(-\alpha)} \bigl(q^{-\alpha}\tau\bigr)^{\alpha-1}\,\widetilde{d}_{q} \tau=0. $$

Hence \(A(x)=Kx^{\alpha-1}\). □

Theorem 8

Let \(\alpha\in(N-1,N]\). Then for some constants \(c_{i}\in\mathbb{R},i=1,2,\ldots,N\), the following equality holds:

$$ \bigl(\widetilde{I}_{q,0}^{\alpha}\widetilde{D}_{q,0}^{\alpha}f \bigr) (x) =f(x)+c_{1}x^{\alpha-1}+c_{2}x^{\alpha-2}+ \cdots+c_{N}x^{\alpha-N}. $$
(4.2)

Proof

By Theorem 3 and Theorem 7, we have

$$\begin{aligned} \bigl(\widetilde{I}_{q,0}^{\alpha}\widetilde{D}_{q,0}^{\alpha}f\bigr) (x) =&\bigl(\widetilde{I}_{q,0}^{\alpha} \widetilde{D}_{q}^{N}\widetilde {I}_{q,0}^{N-\alpha}f \bigr) (x) \\ =&\bigl(\widetilde{I}_{q,0}^{\alpha-1}\widetilde{D}_{q}^{N-1} \widetilde {I}_{q,0}^{N-\alpha}f\bigr) (x)-q^{\binom{\alpha-1}{2}} \frac{\widetilde{D}_{q}^{N-1}\widetilde{I}_{q,0}^{N-\alpha }f(0)}{\widetilde{\Gamma}_{q}(\alpha)}x^{\alpha-1} \\ =&\bigl(\widetilde{I}_{q,0}^{\alpha-2}\widetilde{D}_{q}^{N-2} \widetilde {I}_{q,0}^{N-\alpha}f\bigr) (x) -q^{\binom{\alpha-2}{2}} \frac{\widetilde{D}_{q}^{N-2}\widetilde{I}_{q,0}^{N-\alpha }f(0)}{\widetilde{\Gamma}_{q}(\alpha-1)}x^{\alpha-2} \\ &{}-q^{\binom{\alpha-1}{2}} \frac{\widetilde{D}_{q}^{N-1}\widetilde{I}_{q,0}^{N-\alpha }f(0)}{\widetilde{\Gamma}_{q}(\alpha)}x^{\alpha-1} \\ =&\cdots \\ =&\bigl(\widetilde{I}_{q,0}^{\alpha-N+1}\widetilde{D}_{q,0}^{\alpha -N+1}f \bigr) (x)-q^{\binom{\alpha-N+1}{2}} \frac{\widetilde{D}_{q}\widetilde{I}^{N-\alpha}_{q,0}f(0)}{\widetilde {\Gamma}_{q}(\alpha-N+2)}x^{\alpha-N+1}-\cdots \\ &{}-q^{\binom{\alpha-1}{2}} \frac{\widetilde{D}_{q}^{N-1}\widetilde{I}_{q,0}^{N-\alpha }f(0)}{\widetilde{\Gamma}_{q}(\alpha)}x^{\alpha-1} \\ =&f(x)+c_{1}x^{\alpha-1}+c_{2}x^{\alpha-2}+ \cdots+c_{N}x^{\alpha-N}. \end{aligned}$$

 □

5 The fractional q-symmetric derivative of Caputo type

If we change the order of operators, we can introduce another type of fractional q-derivative.

The fractional q-symmetric derivative of Caputo type is

$$ \bigl({}^{c}\widetilde{D}^{\alpha}_{q,0}f\bigr) (x)= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} (\widetilde{I}_{q,0}^{-\alpha}f)(x),&\alpha< 0, \\ f(x),& \alpha=0, \\ (\widetilde{I}_{q,0}^{[\alpha]-\alpha}D^{[\alpha]}_{q}f)(x),& \alpha>0. \end{array}\displaystyle \right . $$
(5.1)

Here \([\alpha]\) denotes the smallest integer greater than or equal to α.

Theorem 9

For \(\alpha\in\mathbb{R}\setminus\mathbb{N}_{0}\), and \(x>0\), the following is valid:

$$ \bigl({}^{c}\widetilde{D}_{q,0}^{\alpha+1}f\bigr) (x)- \bigl({}^{c}\widetilde{D}_{q,0}^{\alpha}\widetilde{D}_{q}f\bigr) (x)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l} \frac{f(0)}{\widetilde{\Gamma}_{q}(-\alpha)}q^{\binom{-(\alpha+1)}{2} }x^{-\alpha-1}, & \alpha\leq-1,\\ 0, &\alpha>-1. \end{array}\displaystyle \right . $$
(5.2)

Proof

Clearly, (5.2) holds for \(\alpha=-1\). Next, we will consider three cases.

(i) \(\alpha<-1\), according to (5.1), (2.8), and (2.6), we have

$$\begin{aligned} \bigl({}^{c}\widetilde{D}_{q,0}^{\alpha+1}f\bigr) (x) =& \bigl(\widetilde{I}_{q,0}^{-\alpha-1}f\bigr) (x) \\ =&\widetilde{I}_{q,0}^{-\alpha-1}\bigl(\widetilde{I}_{q,0} \widetilde {D}_{q}f(x)+f(0)\bigr) \\ =&\bigl(\widetilde{I}_{q,0}^{-\alpha}\widetilde{D}_{q}f \bigr) (x)+\frac{f(0)}{\widetilde{\Gamma }_{q}(-\alpha)}q^{\binom{-(\alpha+1)}{2}}x^{-\alpha-1} \\ =&\bigl({}^{c}\widetilde{D}^{\alpha}_{q,0}\widetilde{D}_{q}f\bigr) (x)+\frac{f(0)}{\widetilde{\Gamma}_{q}(-\alpha)} q^{\binom{-(\alpha+1)}{2}}x^{-\alpha-1}. \end{aligned}$$

(ii) \(-1<\alpha\leq0\), we obtain

$$\bigl({}^{c}\widetilde{D}_{q,0}^{\alpha+1}f\bigr) (x)= \bigl(\widetilde{I}_{q,0}^{1-(\alpha+1)}\widetilde{D}_{q}f \bigr) (x)=\bigl(\widetilde{I}_{q,0}^{-\alpha}\widetilde{D}_{q}f\bigr) (x)=\bigl({}^{c}\widetilde{D}_{q,0}^{\alpha}\widetilde{D}_{q}f\bigr) (x). $$

(iii) \(\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

$$\bigl({}^{c}\widetilde{D}_{q,0}^{\alpha+1}f\bigr) (x)= \bigl(\widetilde{I}_{q,0}^{1-\varepsilon}\widetilde{D}^{n+2}_{q}f \bigr) (x)=\bigl(\widetilde{I}_{q,0}^{1-\varepsilon}\widetilde{D}^{n+1}_{q}\widetilde{D}_{q}f\bigr) (x)= \bigl({}^{c}\widetilde{D}_{q,0}^{\alpha}\widetilde{D}_{q}f\bigr) (x). $$

 □

Theorem 10

For \(\alpha\in\mathbb{R}\setminus\mathbb{N}_{0}\), and \(x>0\), the following is valid:

$$ \bigl(\widetilde{D}_{q} {}^{c}\widetilde{D}_{q,0}^{\alpha}f\bigr) (x)-\bigl({}^{c}\widetilde{D}_{q,0}^{\alpha+1}f\bigr) (x) =\left \{ \textstyle\begin{array}{@{}l@{\quad}l} 0,&\alpha\leq-1, \\ \frac{\widetilde{D}_{q}^{[\alpha]}f(0)}{\widetilde{\Gamma}_{q}([\alpha ]-\alpha)}q^{\binom{[\alpha]-(\alpha+1)}{2} }x^{-\alpha-1},& \alpha>-1. \end{array}\displaystyle \right . $$
(5.3)

Proof

We will consider two cases.

(i) \(\alpha<0\), using Theorem 3, (5.1), (2.6), and (2.8), we obtain

$$\begin{aligned} \bigl(\widetilde{D}_{q}{}^{c}\widetilde{D}_{q,0}^{\alpha}f\bigr) (x) &=\bigl(\widetilde{D}_{q} \widetilde{I}_{q,0}^{-\alpha}f\bigr) (x)\\ &=\bigl(\widetilde{D}_{q}\widetilde{I}_{q,0}^{-\alpha+1}\widetilde{D}_{q}f\bigr) (x)+\frac{f(0)}{\widetilde{\Gamma} _{q}(-\alpha+1)}q^{\binom{-\alpha}{2}} \widetilde{D}_{q}\bigl(x^{-\alpha}\bigr) \\ & =\bigl({}^{c}\widetilde{D}^{\alpha}_{q,0}\widetilde{D}_{q}f\bigr) (x)+\frac {f(0)}{\widetilde{\Gamma} _{q}( - \alpha+1 )}q^{\binom{-\alpha}{2}} q^{1+\alpha}\overline{[-\alpha]}_{q}x^{-\alpha-1} \\ & =\bigl({}^{c}\widetilde{D}^{\alpha}_{q,0}\widetilde{D}_{q}f\bigr) (x)+\frac {f(0)}{\widetilde{\Gamma} _{q}( - \alpha)}q^{\binom{-(\alpha+1)}{2}} x^{-\alpha-1}. \end{aligned}$$

By Theorem 9, the required equalities are valid both for \(\alpha\leq-1\) and \(-1<\alpha<0\).

(ii) \(\alpha>0\), we assume \(\alpha=n+\varepsilon, n\in\mathbb{N}_{0}, 0<\varepsilon<1\), then \(\alpha+1\in(n+1,n+2)\), by Theorem 3, (5.1), (2.6), and (2.8), we obtain

$$\begin{aligned} \bigl(\widetilde{D}_{q}{}^{c}\widetilde{D}_{q,0}^{\alpha}f\bigr) (x)& =\bigl(\widetilde{D}_{q} \widetilde{I}_{q,0}^{1-\varepsilon}\widetilde{D}^{n+1}_{q}f \bigr) (x) \\ &=\bigl(\widetilde{D}_{q}\widetilde{I}_{q,0}^{2-\varepsilon} \widetilde{D}^{n+2}_{q}f\bigr) (x)+\frac{\widetilde{D}^{n+1}_{q}f(0)}{\widetilde{\Gamma}_{q}(2-\varepsilon)}q^{\binom{1-\varepsilon}{2}} \widetilde{D}_{q}\bigl(x^{1-\varepsilon}\bigr) \\ &=\bigl({}^{c}\widetilde{D}^{\alpha+1}_{q,0}f\bigr) (x)+ \frac{\widetilde{D}^{n+1}_{q}f(0)}{\widetilde{\Gamma}_{q}(2-\varepsilon)}q^{\binom{1-\varepsilon}{2}} q^{\varepsilon}\overline{[1- \varepsilon]}_{q}x^{-\varepsilon} \\ &=\bigl({}^{c}\widetilde{D}^{\alpha+1}_{q,0}f\bigr) (x)+ \frac{\widetilde{D}^{n+1}_{q}f(0)}{\widetilde{\Gamma}_{q}(n+1-\alpha)}q^{\binom{n-\alpha}{2}} x^{n-\alpha}. \end{aligned}$$

 □

Theorem 11

Let \(\alpha\in(N-1,N]\). Then for some constants \(c_{i}\in\mathbb{R},i=0,1,\ldots,N-1\), the following equality holds:

$$\bigl(\widetilde{I}_{q,0}^{\alpha} {}^{c} \widetilde{D}_{q,0}^{\alpha}f\bigr) (x) =f(x)+c_{0}+c_{1}x+c_{2}x^{2}+ \cdots+c_{N-1}x^{N-1}. $$

Proof

By (5.1), (2.6), and (2.7), we have

$$\begin{aligned} \bigl(\widetilde{I}_{q,0}^{\alpha} {}^{c}\widetilde {D}_{q,0}^{\alpha}f\bigr) (x) =&\bigl(\widetilde{I}_{q,0}^{\alpha} \widetilde{I}_{q,0}^{N-\alpha}\widetilde {D}_{q}^{N}f \bigr) (x) \\ =&\bigl(\widetilde{I}_{q,0}^{N}\widetilde{D}_{q}^{N}f \bigr) (x) \\ =&\widetilde{I}_{q,0}^{N-1} \bigl(\bigl( \widetilde{D}_{q}^{N-1}f\bigr) (x)-\bigl(\widetilde {D}_{q}^{N-1}f\bigr) (0) \bigr) \\ =&\bigl(\widetilde{I}_{q,0}^{N-1}\widetilde{D}_{q}^{N-1}f \bigr) (x)-\frac{q^{\binom{N-1}{2}} (\widetilde{D}^{N-1}_{q}f)(0)}{\overline{[N-1]}_{q}!}x^{N-1} \\ =&\bigl(\widetilde{I}_{q,0}^{N-2}\widetilde {D}_{q}^{N-2}f\bigr) (x)-\frac{q^{\binom{N-2}{2}} (\widetilde{D}^{N-2}_{q}f)(0)}{\overline{[N-2]}_{q}!}x^{N-2}- \frac {q^{\binom{N-1}{2}} (\widetilde{D}^{N-1}_{q}f)(0)}{\overline{[N-1]}_{q}!}x^{N-1} \\ =&\cdots \\ =&f(x)-\sum_{k=0}^{N-1} \frac{q^{\binom{k}{2}} (\widetilde{D}^{k}_{q}f)(0)}{\overline{[k]}_{q}!}x^{k}. \end{aligned}$$

 □

6 The application

In this section, we deal with the following nonlocal q-symmetric integral boundary value problem of nonlinear fractional q-symmetric derivatives equations:

$$\begin{aligned}& \bigl(\widetilde{D}_{q,0}^{\alpha}u\bigr) (t)+f \bigl(q^{-\alpha}t,u\bigl(q^{-\alpha}t\bigr)\bigr)=0,\quad t\in \bigl(0,q^{\alpha}\bigr), \end{aligned}$$
(6.1)
$$\begin{aligned}& u(0)=0,\qquad u(1)=\mu\bigl(\widetilde{I}_{q,0}^{\beta}u \bigr) (\eta), \end{aligned}$$
(6.2)

where \(q\in(0,1), 1<\alpha\leq2, 0<\beta\leq2, 0<\eta<1\), and \(\mu>0\) is a parameter, \(\widetilde{D}_{q,0}^{\alpha}\) is the q-symmetric derivative of Riemann-Liouville type of order α, \(f:[0,1]\times \mathbb{R}^{+}\longrightarrow\mathbb{R}^{+}\) is continuous.

We give the corresponding Green’s function of the boundary value problem and its properties. By using the Krasnoselskii fix point theorem, an existence result of positive solutions to the above boundary value problem is enunciated.

For convenience, we need some preliminaries.

Let \(q^{2}=\overline{q}\), then by (2.2), we have

$$\begin{aligned} \widetilde{\Gamma}_{q}(x)&=\frac{\prod_{i=0}^{\infty}(1-q^{2i+2})}{\prod_{i=0}^{\infty}(1-q^{2(i+x-1)+2})}\bigl(1-q^{2} \bigr)^{1-x} \\ &=(1-\overline{q})^{(x-1)}(1-\overline{q})^{1-x}= \Gamma_{\overline{q}}(x)\quad \bigl(x\in\mathbb{R}\backslash\{0,-1,-2,\ldots\} \bigr). \end{aligned}$$
(6.3)

The basic q-integrals are defined by

$$\begin{aligned} &(I_{q,0}f) (t)= \int^{x}_{0}f(t)\,d_{q}t=x(1-q)\sum _{k=0}^{\infty}q^{k}f \bigl(xq^{k}\bigr),\\ &(I_{q,a}f) (t)= \int^{x}_{a}f(t)\,d_{q}t= \int^{x}_{0}f(t)\,d_{q}t- \int^{a}_{0}f(t)\,d_{q}t. \end{aligned}$$
(6.4)

Definition 1

([23] (q-Beta function))

For any \(x,y>0\), \(B_{q}(x,y)=\int_{0}^{1}t^{(x-1)}(1-qt)^{(y-1)}\,d_{q}t\). Recall that

$$B_{q}(x,y)=\frac{\Gamma_{q}(x)\Gamma_{q}(y)}{\Gamma_{q}(x+y)}. $$

Therefore,

$$ B_{\overline{q}}(x,y)=\frac{\Gamma_{\overline{q}}(x)\Gamma_{\overline {q}}(y)}{\Gamma_{\overline{q}}(x+y)} =\frac{\widetilde{\Gamma}_{q}(x)\widetilde{\Gamma}_{q}(y)}{\widetilde{\Gamma }_{q}(x+y)}. $$
(6.5)

Lemma 2

For \(\lambda\in(-1,\infty)\), the following is valid:

$$\begin{aligned} (\mathrm{i})&\quad\widetilde{I}^{\alpha}_{q,0}x^{\lambda}= \frac{\widetilde{\Gamma }_{q}(\lambda+1)}{\widetilde{\Gamma}_{q}(\lambda+\alpha+1)}q^{\binom{\alpha}{2} +\lambda\alpha}x^{\lambda+\alpha}\quad \bigl(\alpha\in \mathbb{R}^{+}\bigr), \\ (\mathrm{ii})&\quad\widetilde{D}^{\alpha}_{q,0}x^{\lambda}= \frac{\widetilde{\Gamma }_{q}(\lambda+1)}{\widetilde{\Gamma}_{q}(\lambda-\alpha+1)}q^{\binom{-\alpha}{2} -\lambda\alpha}x^{\lambda-\alpha} \quad \bigl(\alpha\in\mathbb {R}^{+},\lambda-\alpha+1\neq0\bigr). \end{aligned}$$

Proof

(i) For \(\lambda\neq0\), according to (3.1), we have

$$\begin{aligned} \widetilde{I}_{q,0}^{\alpha}x^{\lambda}&= \frac{1}{\widetilde{\Gamma}_{q}(\alpha)}q^{\binom{\alpha}{2}} \int^{x}_{0}\overline{(x-\tau)}^{(\alpha-1)} \bigl(q^{\alpha-1}\tau\bigr)^{\lambda}\,\widetilde{ d}_{q} \tau \\ &=\frac{1}{\widetilde{\Gamma}_{q}(\alpha)}q^{\binom{\alpha}{2}} x^{\alpha+\lambda}q^{\lambda(\alpha-1)} \int^{x}_{0}\overline{\biggl(1-\frac{\tau }{x} \biggr)}^{(\alpha-1)}\biggl(\frac{\tau}{x}\biggr)^{\lambda}\, \widetilde{ d}_{q}\biggl(\frac{\tau}{x}\biggr) \\ &=\frac{1}{\widetilde{\Gamma}_{q}(\alpha)}q^{\binom{\alpha}{2}} x^{\alpha+\lambda}q^{\lambda(\alpha-1)} \int^{1}_{0}\overline{(1-s)}^{(\alpha -1)}s^{\lambda}\,\widetilde{ d}_{q}s. \end{aligned}$$

Let \(q^{2}=\overline{q}\), by (2.3), (6.3), (6.4), and Definition 1, we get

$$\begin{aligned} \int^{1}_{0}\overline{(1-s)}^{(\alpha-1)}s^{\lambda}\,\widetilde{d}_{q}s &=\bigl(1-q^{2}\bigr)\sum _{k=0}^{\infty}q^{2k}\overline{ \bigl(1-q^{2k+1}\bigr)}^{(\alpha-1)}q^{\lambda(2k+1)} \\ &=q^{\lambda}\bigl(1-q^{2}\bigr)\sum _{k=0}^{\infty}q^{2k}\prod _{i=0}^{\infty}\frac{1-q^{2(k+i+1)}}{1-q^{2(k+i+\alpha )}}q^{2\lambda k} \\ &=\overline{q}^{\frac{\lambda}{2}}(1-\overline{q})\sum_{k=0}^{\infty}\overline{q}^{k}\prod_{i=0}^{\infty}\frac{1-\overline {q}^{k+i+1}}{1-\overline{q}^{k+i+\alpha}}\overline{q}^{\lambda k} \\ &=\overline{q}^{\frac{\lambda}{2}}(1-\overline{q})\sum_{k=0}^{\infty}\overline{q}^{k}{\bigl(1-\overline{q}^{k+1} \bigr)}^{(\alpha-1)}\overline {q}^{\lambda k} \\ &=\overline{q}^{\frac{\lambda}{2}} \int^{1}_{0}{(1-\overline{q}x)}^{(\alpha -1)}x^{\lambda}\,d_{\overline{q}}x \\ &=\overline{q}^{\frac{\lambda}{2}}B_{\overline{q}}(\lambda+1,\alpha) \\ &=q^{\lambda}\frac{\widetilde{\Gamma}_{q}(\alpha)\widetilde{\Gamma }_{q}(\lambda+1)}{\widetilde{\Gamma}_{q}(\lambda+\alpha+1)}. \end{aligned}$$

Hence, we obtain the required formula for \(\widetilde{I}^{\alpha }_{q,0}x^{(\lambda)}\) when \(\lambda\neq0\).

If \(\lambda= 0\), then using (2.8), we have

$$\begin{aligned} \bigl(\widetilde{I}_{q,0}^{\alpha}\mathbf{1}\bigr) (x)&= \frac{1}{\widetilde{\Gamma }_{q}(\alpha)}q^{\binom{\alpha}{2}} \int^{x}_{0}\overline{(x-\tau)}^{(\alpha-1)}\, \widetilde{d}_{q}\tau \\ &=\frac{1}{\widetilde{\Gamma}_{q}(\alpha)}q^{\binom{\alpha}{2}} \int^{x}_{0}\frac{\widetilde{D}_{q}\overline{(x-q^{-1}\tau)}^{(\alpha )}}{-\overline{[\alpha]}_{q}}\,\widetilde{d}_{q} \tau \\ &=\frac{-1}{\widetilde{\Gamma}_{q}(\alpha+1)}q^{\binom{\alpha}{2}} \int^{x}_{0}\widetilde{D}_{q}\overline{ \bigl(x-q^{-1}\tau\bigr)}^{(\alpha)}\,\widetilde {d}_{q} \tau \\ &=\frac{1}{\widetilde{\Gamma}_{q}(\alpha+1)}q^{\binom{\alpha}{2}} x^{\alpha}. \end{aligned}$$

(ii) By (i) and (4.1) and (2.7), we get

$$\begin{aligned} \widetilde{D}_{q,0}^{\alpha}\bigl(x^{\lambda}\bigr) =& \widetilde{D}_{q}^{[\alpha ]}\widetilde{I}_{q,0}^{[\alpha]-\alpha} \bigl(x^{\lambda}\bigr) \\ =&\widetilde{D}_{q}^{[\alpha]}\biggl(\frac{\widetilde{\Gamma}_{q}(\lambda +1)}{\widetilde{\Gamma}_{q}(\lambda+[\alpha]-\alpha+1)}q^{\binom{[\alpha]-\alpha}{2}} q^{\lambda([\alpha]-\alpha)} x^{\lambda+[\alpha]-\alpha}\biggr) \\ =&\frac{\widetilde{\Gamma}_{q}(\lambda+1)}{\widetilde{\Gamma}_{q}(\lambda +[\alpha]-\alpha+1)}q^{\binom{[\alpha]-\alpha}{2}} q^{\lambda([\alpha]-\alpha)}\widetilde{D}_{q}^{[\alpha]} \bigl(x^{\lambda +[\alpha]-\alpha}\bigr) \\ =&\frac{\widetilde{\Gamma}_{q}(\lambda+1)}{\widetilde{\Gamma}_{q}(\lambda +[\alpha]-\alpha+1)}q^{\binom{[\alpha]-\alpha}{2}} q^{\lambda([\alpha]-\alpha)}q^{-\binom{[\alpha]+1}{2} -[\alpha](\lambda-\alpha-1)}\\ &{}\times\frac{\widetilde{\Gamma}_{q}(\lambda +[\alpha]-\alpha+1)}{\widetilde{\Gamma}_{q}(\lambda-\alpha+1)}x^{\lambda -\alpha} \\ =&\frac{\widetilde{\Gamma}_{q}(\lambda+1)}{\widetilde{\Gamma}_{q}(\lambda -\alpha+1)}q^{\binom{-\alpha}{2}-\lambda\alpha}x^{\lambda-\alpha}. \end{aligned}$$

 □

Lemma 3

Let \(M=\widetilde{\Gamma}_{q}(\alpha+\beta)-\mu\eta^{\alpha+\beta-1} q^{\binom{\beta}{2}+(\alpha-1)\beta}\widetilde{\Gamma}_{q}(\alpha)>0\). Then, for a given \(y\in C[0,1]\), the unique solution of the boundary value problem

$$ \bigl(\widetilde{D}_{q,0}^{\alpha}u\bigr) (t)+y \bigl(q^{-\alpha}t\bigr)=0,\quad t\in\bigl(0,q^{\alpha}\bigr),1< \alpha\leq2, $$
(6.6)

subject to the boundary condition

$$ u(0)=0,\qquad u(1)=\mu\widetilde{ I}^{\beta}_{q,0}u(\eta),\quad 0< \beta\leq2,0< \eta< 1, $$
(6.7)

is given by

$$ u(t)= \int_{0}^{1}G(t,s)y\bigl(q^{-1}s\bigr)\, \widetilde{d}_{q}s, \quad t\in[0,1], $$
(6.8)

where

$$\begin{aligned}& G(t,s)=g(t,s)+\frac{\mu t^{\alpha-1}}{M}H(\eta,s), \end{aligned}$$
(6.9)
$$\begin{aligned}& g(t,s)=\frac{1}{\widetilde{\Gamma}_{q}(\alpha)}q^{\binom{\alpha}{2}} \left \{ \textstyle\begin{array}{@{}l@{\quad}l} t^{\alpha-1}\overline{(1-s)}^{(\alpha-1)}-\overline{(t-s)}^{(\alpha -1)}, & 0\leq s\leq t\leq1, \\ t^{\alpha-1}\overline{(1-s)}^{(\alpha-1)}, &0\leq t< s\leq1, \end{array}\displaystyle \right . \end{aligned}$$
(6.10)
$$\begin{aligned}& H(\eta,s)=\eta^{\alpha+\beta-1}q^{\binom{\alpha+\beta}{2}-\beta} \left \{ \textstyle\begin{array}{@{}l@{\quad}l} \overline{(1-s)}^{(\alpha-1)}-\overline{(1-\eta^{-1}q^{-\beta }s)}^{(\alpha+\beta-1)}, & 0\leq s\leq\eta q^{\beta}, \\ \overline{(1-s)}^{(\alpha-1)}, &\eta q^{\beta}< s\leq 1. \end{array}\displaystyle \right . \end{aligned}$$
(6.11)

Proof

In view of Theorem 8, we have

$$ u(t)=c_{1}t^{\alpha-1}+c_{2}t^{\alpha-2}- \frac{1}{\widetilde{\Gamma }_{q}(\alpha)}q^{\binom{\alpha}{2}} \int_{0}^{t}\overline{(t-s)}^{(\alpha-1)}y \bigl(q^{-1}s\bigr)\,\widetilde {d}_{q}s, \quad t \in[0,1], $$
(6.12)

for some constant \(c_{1},c_{2}\in\mathbb{R}\). Since \(u(0)=0\), we have \(c_{2}=0\).

Using Lemma 2, Theorem 2, we have

$$\begin{aligned} \bigl(I_{q,0}^{\beta}u\bigr) (t) =&c_{1}I_{q,0}^{\beta}t^{\alpha-1}- \bigl(I_{q,0}^{\alpha +\beta}y\bigr) \bigl(q^{-\alpha}t\bigr) \\ =&c_{1}\frac{\widetilde{\Gamma}_{q}(\alpha)}{\widetilde{\Gamma}_{q}(\alpha +\beta)}q^{\binom{\beta}{2} +(\alpha-1)\beta}t^{\alpha+\beta-1} \\ &{}-\frac{1}{\widetilde{\Gamma}_{q}(\alpha+\beta)}q^{\binom{\alpha+\beta}{2}} \int_{0}^{t}\overline{(t-s)}^{(\alpha+\beta-1)}y \bigl(q^{\beta -1}s\bigr)\,\widetilde{d}_{q}s. \end{aligned}$$

From the boundary condition \(u(1)=\mu\widetilde{I}_{q,0}^{\beta}u(\eta)\), we get

$$\begin{aligned} c_{1} =&\frac{\widetilde{\Gamma}_{q}(\alpha+\beta)}{M} \biggl(\frac{1}{\widetilde{\Gamma}_{q}(\alpha)}q^{\binom{\alpha}{2}} \int_{0}^{1}\overline{(1-s)}^{(\alpha-1)}y \bigl(q^{-1}s\bigr)\,\widetilde{d}_{q}s \\ &{}-\frac{\mu}{\widetilde{\Gamma}_{q}(\alpha+\beta)}q^{\binom{\alpha+\beta}{2}} \int_{0}^{\eta}\overline{(\eta-s)}^{(\alpha+\beta-1)}y \bigl(q^{\beta -1}s\bigr)\,\widetilde{d}_{q}s \biggr). \end{aligned}$$

Hence

$$\begin{aligned}[b] u(t) ={}&\frac{t^{\alpha-1}\widetilde{\Gamma}_{q}(\alpha+\beta)}{M} \biggl(\frac{1}{\widetilde{\Gamma}_{q}(\alpha)}q^{\binom{\alpha}{2}} \int_{0}^{1}\overline{(1-s)}^{(\alpha-1)}y \bigl(q^{-1}s\bigr)\,\widetilde{d}_{q}s \\ &{}-\frac{\mu}{\widetilde{\Gamma}_{q}(\alpha+\beta)}q^{\binom{\alpha+\beta}{2}} \int_{0}^{\eta}\overline{(\eta-s)}^{(\alpha+\beta-1)}y \bigl(q^{\beta -1}s\bigr)\,\widetilde{d}_{q}s \biggr) \\ &{}-\frac{1}{\widetilde{\Gamma}_{q}(\alpha)}q^{\binom{\alpha}{2}} \int_{0}^{t}\overline{(t-s)}^{(\alpha-1)}y \bigl(q^{-1}s\bigr)\,\widetilde{d}_{q}s \\ ={}&\frac{t^{\alpha-1}}{\widetilde{\Gamma}_{q}(\alpha)}q^{\binom{\alpha}{2}} \int_{0}^{1}\overline{(1-s)}^{(\alpha-1)}y \bigl(q^{-1}s\bigr)\,\widetilde{d}_{q}s \\ &{}-\frac{1}{\widetilde{\Gamma}_{q}(\alpha)}q^{\binom{\alpha}{2}} \int_{0}^{t}\overline{(t-s)}^{(\alpha-1)}y \bigl(q^{-1}s\bigr)\,\widetilde {d}_{q}s \\ &{}+\frac{\mu t^{\alpha-1}\eta^{\alpha+\beta-1}q^{\binom{\alpha+\beta}{2}-\beta}}{M} \int_{0}^{1}\overline{(1-s)}^{(\alpha-1)}y \bigl(q^{-1}s\bigr)\,\widetilde{d}_{q}s \\ &{}-\frac{\mu t^{\alpha-1}}{M}q^{\binom{\alpha+\beta}{2}} \int_{0}^{\eta}\overline{(\eta-s)}^{(\alpha+\beta-1)}y \bigl(q^{\beta -1}s\bigr)\,\widetilde{d}_{q}s \\ ={}& \int_{0}^{1}g(t,s)y\bigl(q^{-1}s\bigr)\, \widetilde{d}_{q}s+\frac{\mu t^{\alpha -1}}{M} \int_{0}^{1}H(\eta,s)y\bigl(q^{-1}s\bigr)\, \widetilde{d}_{q}s \\ ={}& \int_{0}^{1}G(t,s)y\bigl(q^{-1}s\bigr)\, \widetilde{d}_{q}s. \end{aligned} $$

 □

According to the property of being non-increasing of \(\overline {(t-s)}^{(\alpha)}\) on s, we may easily obtain Lemma 4 and Lemma 5 as follows.

Lemma 4

The functions \(g(t,s)\) and \(H(\eta,s)\) satisfy the following properties:

  1. (i)

    \(g(t,s)\geq0, g(t,s)\leq g(s,s), 0\leq t,s\leq1\).

  2. (ii)

    \(H(\eta,s)\geq0,0\leq s\leq1\).

Lemma 5

The function \(G(t,s)\) satisfies the following properties:

  1. (i)

    G is a continuous function and \(G(t,s)\geq 0,(t,s)\in[0,1]\times[0,1]\).

  2. (ii)

    There exists a positive function \(\rho\in C((0,1),(0,+\infty))\) such that \(\max_{0\leq t\leq1}G(t,s)\leq g(s,s)+\frac{\mu}{M}H(\eta,s)=:\rho(s), s\in(0,1)\).

Lemma 6

(Krasnoselskii)

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

$$\| Tu\|\geq\| u\|,\quad u\in P\cap\partial\Omega_{1}, \quad\textit{and}\quad\| Tu\|\leq \| u\|,\quad u\in P\cap\partial\Omega_{2}. $$

Then T has at least one fixed point in \(P\cap(\overline{\Omega}_{2}\setminus\Omega_{1})\).

Let \(X=C[0,1]\) be a Banach space endowed with norm \(\| u\|_{X}=\max_{0\leq t\leq1}|u(t)|\). Define the cone \(P\subset\{u\in X: u(t)\geq0,0\leq t\leq1\}\).

Define the operator \(T: P\longrightarrow X\) as follows:

$$ (Tu) (t)= \int_{0}^{1}G(t,s)f\bigl(q^{-1}s,u \bigl(q^{-1}s\bigr)\bigr)\,\widetilde {d}_{q}s. $$
(6.13)

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 12

Let \(f(t,u)\) be a nonnegative continuous function on \([0,1]\times\mathbb{R}^{+}\). In addition, we assume that:

(H1):

There exists a positive constant \(r_{1}\) such that

$$f(t,u)\geq\kappa r_{1},\quad \textit{for } (t,u)\in[\tau_{1}, \tau_{2}]\times[0,r_{1}], $$

where \(\tau_{1}=q^{m_{3}},\tau_{2}=q^{m_{4}}\) with \(m_{3},m_{4}\in\mathbb{N}_{0},m_{3}>m_{4}>0\), and

$$\kappa\geq\biggl(q^{-1} \int_{q\tau_{1}}^{q\tau _{2}}\biggl(g(s,s)+\frac{\mu s^{\alpha-1}}{M}H(\eta,s)\biggr)\,\widetilde{d}_{q}s \biggr)^{-1}. $$
(H2):

There exists a positive constant \(r_{2}\) with \(r_{2}>r_{1}\) such that

$$f(t,u)\leq L r_{2}, \quad\textit{for } (t,u)\in[0,1] \times[0,r_{2}], $$

where

$$L= \biggl( \int_{0}^{1}\biggl(\frac{q^{\binom{\alpha}{2}} \overline{(1-s)}^{(\alpha-1)}}{\widetilde{\Gamma }_{q}(\alpha)}+ \frac{\mu}{M}H(\eta,s)\biggr)\,\widetilde{d}_{q}s \biggr)^{-1}. $$

Then the boundary value problem (6.1), (6.2) has at least one positive solution \(u_{0}\) satisfying \(0< r_{1}\leq\| u_{0}\|_{X}\leq r_{2}\).

Proof

By Lemma 4, we obtain \(\max_{0\leq t\leq1}g(t,s)=g(s,s)\). Let \(\Omega_{1}=\{u\in X:\| u\|_{X}< r_{1}\}\). For any \(u\in X\cap\partial\Omega_{1}\), according to (H1), we have

$$\begin{aligned} \|Tu\|_{X} =&\max_{0\leq t\leq1} \biggl( \int_{0}^{1}g(t,s)f\bigl(q^{-1}s,u \bigl(q^{ -1}s\bigr)\bigr)\,\widetilde{d}_{q}s\\ &{}+ \int_{0}^{1}\frac{\mu t^{\alpha-1}}{M}H(\eta,s)f \bigl(q^{-1}s,u\bigl(q^{-1}s\bigr)\bigr)\,\widetilde {d}_{q}s \biggr) \\ \geq& \int_{0}^{1}\biggl[g( s,s)+\frac{\mu(s)^{\alpha-1} }{M}H(\eta,s)\biggr]f\bigl(q^{-1}s,u\bigl(q^{-1}s\bigr)\bigr)\, \widetilde{d}_{q}s \\ =&\bigl(1-q^{2}\bigr)\sum_{k=0}^{\infty}q^{2k}\biggl[g\bigl(q^{2k+1},q^{2k+1}\bigr)+ \frac{\mu(q^{2k+1})^{\alpha-1}}{M}H\bigl(\eta ,q^{2k+1}\bigr)\biggr]f\bigl(q^{2k},u \bigl(q^{2k}\bigr)\bigr) \\ =& \int_{0}^{1}\biggl[g(qs,qs)+ \frac{\mu(sq)^{\alpha-1} }{M}H(\eta,qs)\biggr]f\bigl(s,u (s)\bigr)\,d_{q^{2}}s \\ \geq& \kappa r_{1} \int_{\tau_{1}}^{\tau_{2}}\biggl[g(q s,qs)+\frac{\mu(qs)^{\alpha-1} }{M}H(\eta,qs)\biggr]\,d_{q^{2}}s \\ =&q^{-1}\kappa r_{1} \int_{q\tau_{1}}^{q\tau_{2}}\biggl[g(s,s)+\frac{\mu s^{\alpha-1}}{M}H( \eta,s)\biggr]\,d_{q^{2}}s \\ =&r_{1}=\| u\|_{X}. \end{aligned}$$

Let \(\Omega_{2}=\{u\in X:\| u\|_{X}< r_{2}\}\). For any \(u\in X\cap\partial\Omega_{2}\), by (H2), we have

$$\begin{aligned} \| Tu\|_{X} =&\max_{0\leq t\leq1} \int_{0}^{1}G(t,s)f\bigl(q^{-1}s,u \bigl(q^{-1}s\bigr)\bigr)\,\widetilde {d}_{q}s \\ \leq&Lr_{2} \int_{0}^{1}\rho(s)\,\widetilde{d}_{q}s \\ \leq&\| u\|_{X}=r_{2}. \end{aligned}$$

Now, an application of Lemma 6 concludes the proof. □

It is hoped that our work will provide motivation for further results for fractional q-symmetric quantum calculus.

References

  1. Jackson, FH: On q-functions and a certain difference operator. Trans. R. Soc. Edinb. 46, 253-281 (1908)

    Article  Google Scholar 

  2. Jackson, FH: On q-definite integrals. Q. J. Pure Appl. Math. 41, 193-203 (1910)

    MATH  Google Scholar 

  3. Strominger, A: Information in black hole radiation. Phys. Rev. Lett. 71, 3743-3746 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  4. Youm, D: q-Deformed conformal quantum mechanics. Phys. Rev. D 62, 095009 (2000)

    Article  Google Scholar 

  5. Lavagno, A, Swamy, PN: q-Deformed structures and nonextensive statistics: a comparative study. Physica A 305(1-2), 310-315 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  6. Ernst, T: The History of q-calculus and New Method. (Licentiate Thesis), U.U.D.M. Report (2000) http://math.uu.se/thomas/Lics.pdf

  7. Al-Salam, WA: q-Analogues of Cauchy’s formula. Proc. Am. Math. Soc. 17, 182-184 (1952-1953)

  8. Al-Salam, WA, Verma, A: A fractional Leibniz q-formula. Pac. J. Math. 60, 1-9 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  9. Al-Salam, WA: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 15, 135-140 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  10. Agrawal, RP: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 66, 365-370 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  11. Atici, FM, Eloe, PW: Fractional q-calculus on a time scale. J. Nonlinear Math. Phys. 14(3), 333-344 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  12. Rajković, PM, Marinković, SD, Stanković, MS: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1(1), 311-323 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  13. Abdeljawad, T, Benli, B, Baleanu, D: A generalized q-Mittag-Leffler function by q-Caputo fractional linear equations. Abstr. Appl. Anal. 2012, 546062 (2012)

    MathSciNet  MATH  Google Scholar 

  14. Abdeljawad, T, Baleanu, D: Caputo q-fractional initial value problems and a q-analogue Mittag-Leffler function. Commun. Nonlinear Sci. Numer. Simul. 16, 4682-4688 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  15. Baleanu, D, Agarwal, P: Certain inequalities involving the fractional q-integral operators. Abstr. Appl. Anal. 2014, 371274 (2014)

    MathSciNet  Google Scholar 

  16. Zhang, L, Baleanu, D, Wang, G: Nonlocal boundary value problem for nonlinear impulsive \(q(k)\)-integrodifference equation. Abstr. Appl. Anal. 2014, 478185 (2014)

    MathSciNet  Google Scholar 

  17. Ferreira, RAC: Positive solutions for a class of boundary value problems with fractional q-differences. Comput. Math. Appl. 61(2), 367-373 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  18. Ferreira, RAC: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010, 70 (2010)

    MathSciNet  MATH  Google Scholar 

  19. El-Shahed, M, Al-Askar, FM: Positive solutions for boundary value problem of nonlinear fractional q-difference equation. ISRN Math. Anal. 2011, 385459 (2011)

    MathSciNet  MATH  Google Scholar 

  20. Ahmad, B, Alsaedi, A, Ntouyas, SK: A study of second-order q-difference equations with boundary conditions. Adv. Differ. Equ. 2012, 35 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  21. Ahmad, B, Nieto, JJ: On nonlocal boundary value problems of nonlinear q-difference equations. Adv. Differ. Equ. 2012, 81 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  22. Zhou, W-X, Liu, H-Z: Existence solutions for boundary value problem of nonlinear fractional q-difference equations. Adv. Differ. Equ. 2013, 113 (2013)

    Article  MathSciNet  Google Scholar 

  23. Ahmad, B, Nieto, JJ, Alsaedi, A, Al-Hutami, H: Existence of solutions for nonlinear fractional q-difference integral equations with two fractional orders and nonlocal four-point boundary conditions. J. Franklin Inst. 351, 2890-2909 (2014)

    Article  MathSciNet  Google Scholar 

  24. Lavagno, A: Basic-deformed quantum mechanics. Rep. Math. Phys. 64, 79-88 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  25. Brito Da Cruz, AMC, Martins, N: The q-symmetric variational calculus. Comput. Math. Appl. 64, 2241-2250 (2012)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referee for invaluable comments and insightful suggestions. This work was supported by NSFC project (No. 11161049, 11361066).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Chengmin Hou.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

CH, MS and YJ worked together in the derivation of the mathematical results. All authors read and approved the final manuscript.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Sun, M., Jin, Y. & Hou, C. Certain fractional q-symmetric integrals and q-symmetric derivatives and their application. Adv Differ Equ 2016, 222 (2016). https://doi.org/10.1186/s13662-016-0947-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-016-0947-7

MSC

Keywords