1 Introduction
In mathematics, special functions (or special polynomials) are known as ‘useful functions’. Because of their remarkable properties, special functions have been used for centuries. For instance, since they have numerous applications in astronomy, trigonometric functions have been studied for over a thousand years. Since then, the theory of special functions has been continuously developed with contributions by a host of mathematicians, including Euler, Legendre, Laplace, Gauss, Kummer, Eisenstein, Riemann, Ramanujan, and so on.
In the past years, the development of new special functions and of applications of special functions to new areas of mathematics have initiated a resurgence of interest in the p-adic analysis, q-analysis, analytic number theory, combinatorics, and so on. Moreover, in recent years, the various generalizations of the familiar special polynomials have been defined by using p-adic q-integral on \(\mathbb{Z} _{p}\) and p-adic fermionic q-deformed integrals on \(\mathbb{Z} _{p}\) introduced and investigated by Kim [1‐4]. Srivastava and Todorov [5] derived an interesting extension of a representation for the generalized Bernoulli numbers in order to obtain interesting special cases considered earlier by Gould [6]. For more on these issues, e.g., see [6‐21].
Anzeige
Let p be chosen as a fixed odd prime number. Throughout this paper, we make use of the following notations. \(\mathbb{Z}_{p}\) denotes the ring of integers, \(\mathbb{Q}_{p}\) denotes the field of p-adic numbers, and \(\mathbb{C}_{p}\) denotes the completion of the algebraic closure of \(\mathbb{Q}_{p}\). The p-adic norm \(\vert \cdot \vert _{p}\) is normalized by
$$ \vert p\vert _{p}=p^{-1}. $$
Let \(C ( \mathbb{Z} _{p} ) \) be the space of continuous functions on \(\mathbb{Z}_{p}\). For \(f\in C ( \mathbb{Z} _{p} ) \), the fermionic p-adic q-invariant integral on \(\mathbb {Z}_{p}\) is defined by Kim [1, 2], as follows:
$$ I_{-q} ( f ) =\int_{\mathbb{Z}_{p}}f ( x )\,d\mu _{-q} ( x ) =\lim_{n\rightarrow\infty}\sum _{x=0}^{p^{n}-1}f ( x ) \frac{ ( -q ) ^{x}}{ [ p^{n} ] _{-q}}. $$
(1.1)
It follows from (1.1) that
where \(f_{1} ( x ) :=f ( x+1 ) \). Obviously
$$ qI_{-q} ( f_{1} ) +I_{-q} ( f ) = [ 2 ] _{q}f ( 0 ), $$
(1.2)
$$ \lim_{q\rightarrow1}I_{-q} ( f ) =I_{-1} ( f ) =\lim _{n\rightarrow\infty}\sum_{x=0}^{p^{n}-1}f ( x ) ( -1 ) ^{x}\quad\textit{cf. } \mbox{[22, 23]}. $$
(1.3)
In [23], the Changhee polynomials are defined by substituting \(f ( x ) = ( 1+t ) ^{x}\) into (1.3) with the case \(\vert t\vert _{p}< p^{-\frac{1}{p-1}}\), as follows:
where \(( x ) _{n}\) is known as the Pochhammer symbol (or decreasing factorial) defined by
and here \(S_{1} ( n,k ) \) is the Stirling number of the first kind (see [23‐25]).
$$\begin{aligned} \int_{\mathbb{Z} _{p}} ( 1+t ) ^{x+y}\,d\mu_{-1} ( y ) =& \sum_{n=0}^{\infty} \biggl( \int _{\mathbb{Z} _{p}} ( x+y ) _{n}\,d\mu_{-1} ( y ) \biggr) \frac{t^{n}}{n!} \\ =&\sum_{n=0}^{\infty}Ch_{n} ( x ) \frac{t^{n}}{n!} \\ =&\frac{2}{2+t} ( 1+t ) ^{x}, \end{aligned}$$
(1.4)
$$\begin{aligned} ( x ) _{n} =&x ( x-1 ) \cdots ( x-n+1 ) \\ =&\sum_{k=0}^{n}S_{1} ( n,k ) x^{k} \end{aligned}$$
(1.5)
Anzeige
In [23], Kim et al. introduced using p-adic integral techniques the idea that the Changee numbers are closely related to the Euler numbers as follows:
where \(S_{2} ( n,m ) \) is the Stirling number of the second kind defined by the following generating series:
$$ E_{m}=\sum_{n=0}^{m}Ch_{n}S_{2} ( n,m ), $$
$$ \sum_{n=m}^{\infty}S_{2} ( n,m ) \frac{t^{n}}{n!}=\frac{ ( e^{t}-1 ) ^{m}}{m!}\quad\textit{cf. } \mbox{[23, 24]}. $$
(1.6)
In [15], Srivastava extended the Stirling numbers of the second kind to λ-Stirling numbers of the second kind as follows:
with, of course,
$$ \frac{ ( \lambda e^{t}-1 ) ^{m}}{m!}=\sum_{n=0}^{\infty} \mathcal{S} ( n,m;\lambda ) \frac{t^{n}}{n!} \quad\bigl( m\in \mathbb{N} ^{\ast}\mbox{ and }\lambda\in \mathbb{C} \bigr) $$
$$ \mathcal{S} ( n,m;1 ) :=S_{2} ( n,m ) . $$
In [2], the Euler polynomials of (real or complex) order α
(sometimes called the Euler polynomials of higher order) are introduced by the following generating function:
with, of course,
where \(E_{n} ( x ) \) and \(E_{n}^{ ( \alpha ) }\) are the nth Euler polynomials and the nth Euler numbers of order α.
$$ E_{n}^{ ( \alpha ) } ( x ) $$
$$ \biggl( \frac{2}{e^{t}+1} \biggr) ^{\alpha}e^{xt}=\sum _{n=0}^{\infty }E_{n}^{ ( \alpha ) } ( x ) \frac{t^{n}}{n!} \quad \bigl( \vert t\vert <\pi \bigr) $$
(1.7)
$$ E_{n}^{ ( 1 ) } ( x ) :=E_{n} ( x ) \quad\mbox{and}\quad E_{n}^{ ( \alpha ) } ( 0 ) :=E_{n}^{ ( \alpha )}, $$
Recently, Kim et al. have studied the various generalizations of Changhee polynomials cf. [24, 26, 27]. Our q-analogs of the Changhee numbers and polynomials in the present paper are different from Kim et al.’s q-analogs of the Changhee numbers and polynomials. In this paper, we introduce a q-analog of the Changhee polynomials and derive some new interesting identities.
2 On a q-analog of Changhee numbers and polynomials
Let us now consider the following p-adic q-integral representation in accordance with the Pochhammer symbol:
$$ \int_{\mathbb{Z}_{p}}q^{-y} ( x+y ) _{n}\,d\mu_{-q} ( y ) \quad \bigl( n\in\mathbb{Z}_{+}=\mathbb{N} \cup \{ 0 \} \bigr) . $$
(2.1)
From (2.1), we have
where \(t\in\mathbb{C}_{p}\) with \(\vert t\vert _{p}< p^{-\frac {1}{p-1}}\). Applying (1.2) to (2.2) gives
$$\begin{aligned} \sum_{n=0}^{\infty} \biggl( \int _{\mathbb{Z}_{p}}q^{-y} ( x+y ) _{n}\,d\mu_{-q} ( y ) \biggr) \frac{t^{n}}{n!} =&\int_{\mathbb {Z}_{p}}q^{-y} \Biggl( \sum_{n=0}^{\infty}\binom{x+y}{n}t^{n} \Biggr)\,d\mu _{-q} ( y ) \\ =&\int_{\mathbb{Z}_{p}}q^{-y} ( 1+t ) ^{x+y}\,d\mu_{-q} ( y ), \end{aligned}$$
(2.2)
$$ \int_{\mathbb{Z}_{p}}q^{-y} ( 1+t ) ^{x+y}\,d\mu_{-q} ( y ) =\frac{1+q}{1+ ( 1+t ) ^{-1}} ( 1+t ) ^{x-1}. $$
(2.3)
Let
$$ F_{q} ( x,t ) =\frac{1+q}{1+ ( 1+t ) ^{-1}} ( 1+t ) ^{x-1}. $$
Then
$$ \lim_{q\rightarrow1}F_{q} ( x,t ) =\frac{2}{2+t} ( 1+t ) ^{x}. $$
Notice that \(F_{q} ( x,t ) \) seems to be a new q-extension of the generating function for aforementioned Changhee polynomials of the first kind. Therefore, from (1.4) and (2.3), we obtain the following definition.
Definition 1
Let \(F_{q} ( x,t ) =\sum_{n=0}^{\infty }Ch_{n} ( x\mid q ) \frac{t^{n}}{n!}\), where \(Ch_{n} ( x\mid q ) \) is called a q-analog of the nth Changhee polynomials of the first kind. Then we have for \(n\geq0\)
Moreover,
$$ \sum_{n=0}^{\infty}Ch_{n} ( x\mid q ) \frac{t^{n}}{n!}=\frac {1+q}{1+ ( 1+t ) ^{-1}} ( 1+t ) ^{x-1}. $$
$$ Ch_{n} ( x\mid q ) =\int_{\mathbb{Z}_{p}}q^{-y} ( x+y ) _{n}\,d\mu_{-q} ( y ) . $$
In the case \(x=0\) in Definition 1, we have \(Ch_{n} ( 0\mid q ) :=Ch_{n} ( q ) \), which stands for the q-analog of the nth Changhee numbers of the first kind. It follows from (1.4) and Definition 1 that
$$ \frac{1+q}{2}Ch_{n} ( x ) =Ch_{n} ( x\mid q ) . $$
(2.4)
Equation (2.4) shows that our q-analog of the Changhee polynomials of the first kind is closely related to the Changhee polynomials. From (1.5) we have
where \(E_{k} ( q ) \) are the q-Euler polynomials derived from
$$ Ch_{n} ( q ) =\sum_{k=0}^{n}S_{1} ( n,k ) E_{k} ( q ), $$
(2.5)
$$ E_{k} ( q ) =\int_{\mathbb{Z}_{p}}q^{-y}y^{k}\,d\mu_{-q} ( y ) . $$
From (1.5), we have
where \(E_{k} ( x\mid q ) \) are the q-Euler polynomials introduced by
$$\begin{aligned} Ch_{n} ( x\mid q ) =&\int_{\mathbb{Z}_{p}}q^{-y} ( x+y ) _{n}\,d\mu_{-q} ( y ) \\ =&\sum_{k=0}^{n}S_{1} ( n,k ) E_{k} ( x\mid q ), \end{aligned}$$
(2.6)
$$ E_{k} ( x\mid q ) =\int_{\mathbb{Z}_{p}}q^{-y} ( x+y ) ^{k}\,d\mu_{-q} ( y ). $$
From Definition 1, we have
$$\begin{aligned} \frac{1+q}{qe^{t}+1} =&\sum_{n=0}^{\infty}Ch_{n} ( q ) \frac {1}{n!} \biggl( \frac{e^{t}}{q}-1 \biggr) ^{n} \\ =&\sum_{n=0}^{\infty}Ch_{n} ( q ) \frac{1}{n!}n!\sum_{m=n}^{\infty}S_{2} ( m,n ) \frac{ ( t-\log q ) ^{m}}{m!} \\ =&\sum_{m=0}^{\infty} \Biggl( \sum _{n=0}^{m}Ch_{n} ( q ) S_{2} ( m,n ) \Biggr) \frac{ ( t-\log q ) ^{m}}{m!}. \end{aligned}$$
(2.7)
It follows from (2.7) that
$$ \sum_{m=0}^{\infty} \biggl( \frac{1+q}{1+q^{2}}E_{m} \bigl( q^{2} \bigr) \biggr) \frac{t^{m}}{m!}=\sum_{m=0}^{\infty} \Biggl( \sum_{n=0}^{m}Ch_{n} ( q ) S_{2} ( m,n ) \Biggr) \frac {t^{m}}{m!}. $$
When we compare the coefficients \(\frac{t^{n}}{n!}\) of both sides of the above we have
$$ \frac{1+q}{1+q^{2}}E_{m} \bigl( q^{2} \bigr) =\sum _{n=0}^{m}Ch_{n} ( q ) S_{2} ( m,n ) . $$
Therefore, we obtain the following theorem.
Theorem 1
For
\(m\geq0\), we have
$$ \frac{1+q}{1+q^{2}}E_{m} \bigl( q^{2} \bigr) =\sum _{n=0}^{m}Ch_{n} ( q ) S_{2} ( m,n ) . $$
The increasing factorial sequence is known as
$$ x^{ ( n ) }=x ( x+1 ) ( x+2 ) \cdots ( x+n-1 ) \quad \bigl( n\in \mathbb{N} ^{\ast} \bigr) . $$
Let us define the q-analog of the Changhee numbers of the second kind as follows:
$$ \widehat{Ch}_{n} ( q ) =\int_{\mathbb{Z}_{p}}q^{-y} ( -y ) _{n}\,d\mu_{-q} ( y ) \quad \bigl( n\in \mathbb{N} ^{\ast} \bigr) . $$
(2.8)
It is easy to observe that
$$ x^{ ( n ) }= ( -1 ) ^{n} ( -x ) _{n}=\sum _{k=0}^{n}S_{1} ( n,k ) ( -1 ) ^{n-k}x^{k}. $$
(2.9)
By virtue of (2.8) and (2.9), it leads to
$$\begin{aligned} \widehat{Ch}_{n} ( q ) =&\int_{\mathbb{Z}_{p}}q^{-y} ( -y ) _{n}\,d\mu_{-q} ( y ) \\ =&\int_{\mathbb{Z}_{p}}q^{-y}y^{ ( n ) } ( -1 ) ^{n}\,d\mu _{-q} ( y ) \\ =&\sum_{k=0}^{n}S_{1} ( n,k ) ( -1 ) ^{k}E_{k} ( q ) . \end{aligned}$$
(2.10)
Thus, we state the following theorem.
Theorem 2
The following holds true:
$$ \widehat{Ch}_{n} ( q ) =\sum_{k=0}^{n}S_{1} ( n,k ) ( -1 ) ^{k}E_{k} ( q ) . $$
Let us now consider the generating function of the q-Changhee numbers of the second kind as follows:
in which \(\int_{\mathbb{Z}_{p}}q^{-y} ( 1+t ) ^{-y}\,d\mu _{-q} ( y ) \) equals
$$\begin{aligned} \sum_{n=0}^{\infty}\widehat{Ch}_{n} ( q ) \frac{t^{n}}{n!} =&\sum_{n=0}^{\infty} \biggl( \int_{\mathbb{Z}_{p}}q^{-y} ( -y ) _{n}\,d\mu_{-q} ( y ) \biggr) \frac{t^{n}}{n!} \\ =&\int_{\mathbb{Z}_{p}}q^{-y} \Biggl( \sum _{n=0}^{\infty}\binom{-y}{n}t^{n} \Biggr)\,d\mu_{-q} ( y ) \\ =&\int_{\mathbb{Z}_{p}}q^{-y} ( 1+t ) ^{-y}\,d\mu_{-q} ( y ) , \end{aligned}$$
(2.11)
$$ \frac{ ( 1+q ) }{1+ ( 1+t ) ^{-1}}. $$
(2.12)
Definition 2
For \(n\geq0\), we have
$$\begin{aligned} \sum_{n=0}^{\infty}\widehat{Ch}_{n} ( q ) \frac{t^{n}}{n!} =&\int_{\mathbb{Z}_{p}}q^{-y} ( 1+t ) ^{-y}\,d\mu_{-q} ( y )\\ =&\frac{ ( 1+q ) }{1+ ( 1+t ) ^{-1}}. \end{aligned}$$
Let us consider the q-Changhee polynomials of the second kind as follows:
$$ \frac{1+q}{2+t} ( 1+t ) ^{1-x}=\sum_{n=0}^{\infty} \widehat{Ch} _{n} ( x\mid q ) \frac{t^{n}}{n!}. $$
(2.13)
Combining (2.4) with (2.13) at the value \(x=1\), we have
$$ \widehat{Ch}_{n} ( 1\mid q ) =\frac{1+q}{2}Ch_{n}=Ch_{n} ( q ) . $$
It follows from (2.13) that
$$ \int_{\mathbb{Z}_{p}}q^{-y} ( 1+t ) ^{-x-y}\,d\mu_{-q} ( y ) =\sum_{n=0}^{\infty} \widehat{Ch}_{n} ( x\mid q ) \frac{t^{n}}{n!}. $$
(2.14)
From (2.14) gives
$$\begin{aligned} \widehat{Ch}_{n} ( x\mid q ) =&\int_{\mathbb {Z}_{p}}q^{-y} ( -x-y ) _{n}\,d\mu_{-q} ( y ) \\ =&\sum_{k=0}^{n} ( -1 ) ^{k}S_{1} ( n,k ) E_{k} ( x\mid q ) \quad ( n \geq0 ) . \end{aligned}$$
(2.15)
Then, by (2.15), we have the following theorem.
Theorem 3
The following holds true:
$$ \widehat{Ch}_{n} ( x\mid q ) =\sum_{k=0}^{n} ( -1 ) ^{k}S_{1} ( n,k ) E_{k} ( x\mid q ) \quad ( n\geq0 ) . $$
From (2.13) and (2.14), we have
$$\begin{aligned} q^{1-x} \biggl( \frac{1+q}{qe^{t}+1} \biggr) e^{ ( 1-x ) t} =&\sum _{n=0}^{\infty}\widehat{Ch}_{n} ( x\mid q ) \frac {1}{n!} \bigl( qe^{t}-1 \bigr) ^{n} \\ =&\sum_{n=0}^{\infty}\widehat{Ch}_{n} ( x\mid q ) \sum_{m=n}^{\infty}\mathcal{S} ( m,n;q ) \frac{t^{m}}{m!} \\ =&\sum_{m=0}^{\infty} \Biggl( \sum _{n=0}^{m}\widehat{Ch}_{n} ( x\mid q ) \mathcal{S} ( m,n;q ) \Biggr) \frac{t^{m}}{m!}. \end{aligned}$$
(2.16)
Further
$$\begin{aligned} q^{1-x}\int_{\mathbb{Z}_{p}}e^{ ( 1-x+y ) t}\,d\mu_{-q} ( y ) =&\sum_{n=0}^{\infty}\widehat{Ch}_{n} ( x\mid q ) \frac{ ( qe^{t}-1 ) ^{n}}{n!} \\ =&\sum_{m=0}^{\infty} \Biggl( \sum _{n=0}^{m}\widehat{Ch}_{n} ( x\mid q ) \mathcal{S} ( m,n;q ) \Biggr) \frac{t^{m}}{m!}. \end{aligned}$$
(2.17)
Theorem 4
The following equality holds true:
where
\(\mathcal{E}_{m} ( x\mid q ) \)
may be called the
mth
q-Euler polynomials
because
$$ q^{1-x}\mathcal{E}_{m} ( 1-x\mid q ) = ( -1 ) ^{n}q^{1-x}\mathcal{E}_{m} \bigl( x\mid q^{-1} \bigr) =\sum_{n=0}^{m} \widehat{Ch}_{n} ( x\mid q ) \mathcal{S} ( m,n;q ), $$
$$ \mathcal{E}_{m} ( x\mid q ) =\int_{\mathbb{Z}_{p}} ( x+y ) ^{m}\,d\mu_{-q} ( y ) $$
$$ \lim_{q\rightarrow1}\mathcal{E}_{m} ( x\mid q ) :=E_{m} ( x ) . $$
From Definition 1 and (2.15) we have
and
$$\begin{aligned} ( -1 ) ^{n}\frac{Ch_{n} ( q ) }{n!} =& ( -1 ) ^{n}\int _{\mathbb{Z}_{p}}q^{-y}\binom{y}{n}\,d\mu_{-q} ( y ) \\ =&\int_{\mathbb{Z}_{p}}q^{-y}\binom{-y+n-1}{n}\,d\mu_{-q} ( y ) \\ =&\sum_{m=0}^{n}\binom{n-1}{n-m}\int _{\mathbb{Z}_{p}}q^{-y}\binom {-y}{m}\,d\mu_{-q} ( y ) \\ =&\sum_{m=1}^{n}\binom{n-1}{m-1} \frac{\widehat{Ch}_{m} ( q ) }{m!} \end{aligned}$$
(2.18)
$$\begin{aligned} ( -1 ) ^{n}\frac{\widehat{Ch}_{n} ( q ) }{n!} =& ( -1 ) ^{n}\int _{\mathbb{Z}_{p}}q^{-y}\binom{-y}{n}\,d\mu_{-q} ( y ) \\ =&\int_{\mathbb{Z}_{p}}q^{-y}\binom{y+n-1}{n}\,d\mu_{-q} ( y ) \\ =&\sum_{m=0}^{n}\binom{n-1}{n-m}\int _{\mathbb{Z} _{p}}q^{-y}\binom{y}{m}\,d\mu_{-q} ( x ) \\ =&\sum_{m=1}^{n}\binom{n-1}{m-1} \frac{\widehat{Ch}_{m} ( q ) }{m!}. \end{aligned}$$
(2.19)
Therefore, we get the following theorem.
Theorem 5
The following holds:
and
$$ ( -1 ) ^{n}\frac{Ch_{n} ( q ) }{n!}=\sum_{m=1}^{n} \binom{n-1}{m-1}\frac{\widehat{Ch}_{m} ( q ) }{m!} $$
$$ ( -1 ) ^{n}\frac{\widehat{Ch}_{n} ( q ) }{n!}=\sum _{m=1}^{n}\binom{n-1}{m-1}\frac{\widehat{Ch}_{m} ( q ) }{m!}. $$
Acknowledgements
The authors are grateful to the comments of the referees, which have improved the quality of the paper substantially.
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.