Skip to main content

Degenerate poly-Cauchy polynomials with a q parameter

Abstract

In this paper, the degenerate poly-Cauchy polynomials with a q parameter of the first and the second kind are introduced and their properties are studied. For these polynomials, some explicit formulas, recurrence relations, and connections with a few previously known families of polynomials are established.

Introduction

Throughout the paper assume that \(n,k\in\mathbb{Z}\) and \(0\neq q\in \mathbb{R}\). The poly-Cauchy polynomials with a q parameter of the first kind \(C_{n,q}^{(k)}(x)\) and of the second kind \(\widehat {C}_{n,q}^{(k)}(x)\) are, respectively, defined by

$$\begin{aligned} &\operatorname{Lif}_{k}\bigl(\log(1+qt)/q\bigr) (1+qt)^{x/q}= \sum_{n\geq0}C_{n,q}^{(k)}(x) \frac{t^{n}}{n!},\\ &\operatorname{Lif}_{k}\bigl(-\log(1+qt)/q\bigr) (1+qt)^{-x/q}= \sum_{n\geq0}\widehat {C}_{n,q}^{(k)}(x) \frac{t^{n}}{n!}, \end{aligned}$$

for all \(k\in\mathbb{Z}\), where

$$\begin{aligned} \operatorname{Lif}_{k}(x)=\sum_{m\geq0} \frac{x^{m}}{m!(m+1)^{k}} \end{aligned}$$
(1.1)

is the polylogarithm factorial function; see [1]. When \(x=0\), \(C_{n,q}^{(k)}=C_{n,q}^{(k)}(0)\), and \(\widehat {C}_{n,q}^{(k)}=\widehat{C}_{n,q}^{(k)}(0)\) are, respectively, called the poly-Cauchy numbers with a q parameter of the first kind and of the second kind. Note that \(\operatorname{Lif}_{1}(x)=\frac{e^{x}-1}{x}\).

Here the degenerate versions are introduced for the poly-Cauchy polynomials with a q parameter.

Definition 1.1

The degenerate poly-Cauchy polynomials with a q parameter of the first kind \(C_{n,q}^{(k)}(\lambda,x)\) and of the second kind \(\widehat {C}_{n,q}^{(k)}(\lambda,x)\) are, respectively, given by

$$\begin{aligned} &\operatorname{Lif}_{k} \biggl(\frac{(1+qt)^{\lambda}-1}{q\lambda} \biggr) (1+qt)^{\frac {x}{q}}=\sum_{n\geq0}C_{n,q}^{(k)}( \lambda,x)\frac{t^{n}}{n!}, \end{aligned}$$
(1.2)
$$\begin{aligned} &\operatorname{Lif}_{k} \biggl(-\frac{(1+qt)^{\lambda}-1}{q\lambda} \biggr) (1+t)^{-\frac {x}{q}}=\sum_{n\geq0}\widehat{C}_{n,q}^{(k)}( \lambda,x)\frac {t^{n}}{n!}. \end{aligned}$$
(1.3)

For \(q=1\), \(C_{n,1}^{(k)}(\lambda,x)=C_{n}^{(k)}(\lambda,x)\) and \(\widehat{C}_{n,1}^{(k)}(\lambda,x)=\widehat{C}_{n}^{(k)}(\lambda,x)\) are the degenerate poly-Cauchy polynomials of the first kind and of the second kind, respectively, which are studied in [2]. When \(x=0\), \(C_{n,q}^{(k)}(\lambda,0)\) and \(\widehat {C}_{n,q}^{(k)}(\lambda,0)\) are, respectively, called the degenerate poly-Cauchy numbers with a q parameter of the first kind and of the second kind.

In [3, 4], Carlitz introduced certain degenerate versions of Bernoulli and Euler polynomials. Almost half a century later these Carlitz degenerate Bernoulli polynomials were rediscovered under the name of Korobov polynomials of the second kind by Ustinov [5], while the degenerate version of the Bernoulli polynomials of the second kind were named the Korobov polynomials [6, 7]. It is remarkable that in recent years various degenerate versions of many important polynomials regained the attention of some researchers and many interesting results of them were obtained [2, 813]. Thus these have become an active area of research.

As was shown in the paper of Carlitz [3, 4], these degenerate versions have potential importance in number theory and combinatorics. For example, the authors have made some progress about symmetric identities involving the higher-order degenerate Euler and q-Euler polynomials by using the fermionic p-adic integrals. In a forthcoming paper, an investigation will be carried out as to some further results about the degenerate poly-Cauchy polynomials with a q parameter which are of arithmetic and combinatorial nature.

The aim of this paper is to use umbral calculus techniques (see [14, 15]) in order to derive some properties, recurrence relations, and identities for the degenerate poly-Cauchy polynomials with a q parameter of the first kind and of the second kind.

From (1.2) and (1.3), one can see that \(C_{n,q}^{(k)}(\lambda,x)\) is the Sheffer sequence for the pair \(g(t)=\frac{1}{\operatorname{Lif}_{k} (\frac{e^{q\lambda t}-1}{q\lambda} )}\), \(f(t)=\frac{e^{qt}-1}{q}\), and that \(\widehat{C}_{n,q}^{(k)}(\lambda ,x)\) is the Sheffer sequence for the pair \(g(t)=\frac{1}{\operatorname{Lif}_{k} (-\frac{e^{-q\lambda t}-1}{q\lambda} )}\), \(f(t)=\frac {e^{-qt}-1}{q}\). Thus,

$$\begin{aligned} C_{n,q}^{(k)}(\lambda,x)\sim \biggl(\frac{1}{\operatorname{Lif}_{k} (\frac{e^{q\lambda t}-1}{q\lambda} )}, \frac{e^{qt}-1}{q} \biggr),\qquad \widehat {C}_{n,q}^{(k)}( \lambda,x)\sim \biggl(\frac{1}{\operatorname{Lif}_{k} (-\frac {e^{-q\lambda t}-1}{q\lambda} )},\frac{e^{-qt}-1}{q} \biggr). \end{aligned}$$
(1.4)

Umbral calculus has been used in numerous problems of mathematics and applied mathematics; for example, see [2, 1628] and references therein.

Explicit expressions

Let us start by presenting several explicit formulas for the degenerate poly-Cauchy polynomials with a q parameter, namely \(C_{n,q}^{(k)}(\lambda,x)\) and \(\widehat{C}_{n,q}^{(k)}(\lambda,x)\). To do so, recall here that Stirling numbers \(S_{1}(n,k)\) of the first kind can be defined by means of exponential generating functions as

$$\begin{aligned} \sum_{\ell\geq j}S_{1}(\ell,j) \frac{t^{\ell}}{\ell}=\frac{1}{j!}\log ^{j}(1+t), \end{aligned}$$
(2.1)

the Stirling numbers \(S_{2}(n,k)\) of the second kind can be defined by the exponential generating functions as

$$\begin{aligned} \sum_{n\geq k}S_{2}(n,k)\frac{x^{n}}{n!}= \frac{(e^{t}-1)^{k}}{k!}, \end{aligned}$$
(2.2)

and can be defined by means of ordinary generating functions as

$$\begin{aligned} (x|q)_{n}=q^{n}(x/q)_{n}=\sum _{m=0}^{n}S_{1}(n,m)q^{n-m}x^{m} \sim\biggl(1,\frac{e^{qt}-1}{q}\biggr), \end{aligned}$$
(2.3)

where \((x)_{n}=x(x-1)(x-2)\cdots(x-n+1)\) with \((x)_{0}=1\).

Theorem 2.1

For all \(n\geq0\),

$$\begin{aligned} &C_{n,q}^{(k)}(\lambda,x) =\sum_{j=0}^{n} \Biggl(\sum_{\ell=j}^{n}\sum _{m=0}^{\ell-j}\frac{\binom{\ell }{j}}{(m+1)^{k}}S_{1}(n, \ell)S_{2}(\ell-j,m)q^{n-m-j} \lambda^{\ell-j-m} \Biggr)x^{j}, \\ &\widehat{C}_{n,q}^{(k)}(\lambda,x) =\sum _{j=0}^{n} \Biggl(\sum_{\ell=j}^{n} \sum_{m=0}^{\ell-j}(-1)^{m-j} \frac {\binom{\ell}{j}}{(m+1)^{k}}S_{1}(n,\ell)S_{2}(\ell-j,m)q^{n-m-j} \lambda^{\ell-j-m} \Biggr)x^{j}. \end{aligned}$$

Proof

By (1.4), one can see that

$$\begin{aligned} \frac{1}{\operatorname{Lif}_{k} (\frac{e^{q\lambda t}-1}{q\lambda} )}C_{n,q}^{(k)}(\lambda,x) \sim\biggl(1, \frac{e^{qt}-1}{q}\biggr). \end{aligned}$$
(2.4)

Thus, by (2.3) and (2.2), one obtains

$$\begin{aligned} C_{n,q}^{(k)}(\lambda,x)&=\operatorname{Lif}_{k} \biggl(\frac{e^{q\lambda t}-1}{q\lambda } \biggr) (x|q)_{n}=\sum _{m=0}^{n}S_{1}(n,m)q^{n-m} \operatorname{Lif}_{k} \biggl(\frac{e^{q\lambda t}-1}{q\lambda} \biggr)x^{m} \\ &=\sum_{m=0}^{n}\sum _{\ell=0}^{m}S_{1}(n,m)q^{n-m} \frac{(e^{q\lambda t}-1)^{\ell}}{\ell!(\ell+1)^{k}\lambda^{\ell}q^{\ell}}x^{m} \\ &=\sum_{m=0}^{n}\sum _{\ell=0}^{m}\sum_{j=\ell}^{m}S_{1}(n,m)S_{2}(j, \ell )q^{n-m}\frac{\lambda^{j}q^{j}}{j!(\ell+1)^{k}\lambda^{\ell}q^{\ell}}t^{j}x^{m} \\ &=\sum_{m=0}^{n}\sum _{\ell=0}^{m}\sum_{j=\ell}^{m} \binom {m}{j}S_{1}(n,m)S_{2}(j,\ell)q^{n-m} \frac{\lambda^{j}q^{j}}{(\ell+1)^{k}\lambda ^{\ell}q^{\ell}}x^{m-j} \\ &=\sum_{\ell=0}^{n}\sum _{m=0}^{\ell}\sum_{j=0}^{\ell-m} \binom{\ell }{j}S_{1}(n,\ell)S_{2}(\ell-j,m)q^{n-m-j} \lambda^{\ell-j-m}\frac{x^{j}}{(m+1)^{k}} \\ &=\sum_{j=0}^{n} \Biggl(\sum _{\ell=j}^{n}\sum_{m=0}^{\ell-j} \frac{\binom{\ell }{j}}{(m+1)^{k}}S_{1}(n,\ell)S_{2}(\ell-j,m)q^{n-m-j} \lambda^{\ell-j-m} \Biggr)x^{j}, \end{aligned}$$

which completes the proof of the first formula.

The second formula follows by similar arguments from the facts that

$$\begin{aligned} \frac{1}{\operatorname{Lif}_{k} (-\frac{e^{-q\lambda t}-1}{q\lambda} )} \widehat {C}_{n,q}^{(k)}(\lambda,x)\sim \biggl(1,\frac{e^{-qt}-1}{q}\biggr) \end{aligned}$$
(2.5)

and \((-x|q)_{n}=\sum_{m=0}^{n}(-1)^{m}S_{1}(n,m)q^{n-m}x^{m}\sim(1,\frac{e^{-qt}-1}{q})\). □

Theorem 2.2

For all \(n\geq0\),

$$\begin{aligned} &C_{n,q}^{(k)}(\lambda,x) =\sum_{j=0}^{n} \Biggl(\sum_{\ell=j}^{n}\sum _{m=0}^{\ell-j}\binom{\ell }{j}S_{1}(n, \ell)S_{2}(\ell-j,m)q^{n-m-j} C_{m,q}^{(k)}( \lambda,0) \Biggr)x^{j}, \\ &\widehat{C}_{n,q}^{(k)}(\lambda,x) =\sum _{j=0}^{n} \Biggl(\sum_{\ell=j}^{n} \sum_{m=0}^{\ell-j}(-1)^{j} \binom{\ell }{j}S_{1}(n,\ell)S_{2}(\ell-j,m)q^{n-m-j} \widehat{C}_{m,q}^{(k)}(\lambda,0) \Biggr)x^{j}. \end{aligned}$$

Proof

By (2.4) and (2.3), one has \(C_{n,q}^{(k)}(\lambda,x)=\sum_{\ell=0}^{n}S_{1} (n,\ell)q^{n-\ell}\operatorname{Lif}_{k} (\frac{e^{q\lambda t}-1}{q\lambda} )x^{\ell}\). By (1.1), one obtains

$$\begin{aligned} C_{n,q}^{(k)}(\lambda,x) &=\sum_{\ell=0}^{n}S_{1}(n, \ell)q^{n-\ell}\operatorname{Lif}_{k} \biggl(\frac{(1+qs)^{\lambda}-1}{q\lambda} \biggr)\bigg|_{s=\frac{e^{qt}-1}{q}}x^{\ell}\\ &=\sum_{\ell=0}^{n}\sum _{m=0}^{\ell}S_{1}(n,\ell)q^{n-\ell }C_{m,q}^{(k)}( \lambda,0)\frac{ (\frac{e^{qt}-1}{q} )^{m}}{m!}x^{\ell}. \end{aligned}$$

Thus, by (2.2), one gets

$$\begin{aligned} C_{n,q}^{(k)}(\lambda,x) &=\sum_{\ell=0}^{n} \sum_{m=0}^{\ell}\sum _{j=m}^{\ell}S_{1}(n,\ell )S_{2}(j,m)q^{n-\ell}C_{m,q}^{(k)}(\lambda,0) \frac{q^{j-m}}{j!}t^{j}x^{\ell}\\ &=\sum_{\ell=0}^{n}\sum _{m=0}^{\ell}\sum_{j=m}^{\ell}\binom{\ell}{j} S_{1}(n,\ell)S_{2}(j,m)q^{n-\ell+j-m}C_{m,q}^{(k)}( \lambda,0)x^{\ell-j} \\ &=\sum_{\ell=0}^{n}\sum _{m=0}^{\ell}\sum_{j=0}^{\ell-m} \binom{\ell}{j} S_{1}(n,\ell)S_{2}(\ell-j,m)q^{n-j-m}C_{m,q}^{(k)}( \lambda,0)x^{j} \\ &=\sum_{j=0}^{n} \Biggl(\sum _{\ell=j}^{n}\sum_{m=0}^{\ell-j} \binom{\ell}{j} S_{1}(n,\ell)S_{2}(\ell-j,m)q^{n-m-j}C_{m,q}^{(k)}( \lambda,0) \Biggr)x^{j}, \end{aligned}$$

which completes the proof of the first formula.

For the second formula, one uses (2.5) to obtain

$$\widehat{C}_{n,q}^{(k)}(\lambda,x)=\sum _{\ell=0}^{n}(-1)^{\ell}S_{1}(n,\ell )q^{n-\ell}\operatorname{Lif}_{k} \biggl(-\frac{e^{-q\lambda t}-1}{q\lambda} \biggr)x^{\ell}. $$

Along the lines of the proof of the first formula, one derives

$$\begin{aligned} \widehat{C}_{n,q}^{(k)}(\lambda,x) &=\sum _{\ell=0}^{n}\sum_{m=0}^{\ell}\sum_{j=m}^{\ell}(-1)^{\ell+j} S_{1}(n,\ell )S_{2}(j,m)q^{n-\ell} \widehat{C}_{m,q}^{(k)}(\lambda,0)\frac {q^{j-m}}{j!}t^{j}x^{\ell}\\ &=\sum_{\ell=0}^{n}\sum _{m=0}^{\ell}\sum_{j=m}^{\ell}(-1)^{\ell+j} \binom{\ell }{j} S_{1}(n,\ell)S_{2}(j,m)q^{n-\ell+j-m} \widehat{C}_{m,q}^{(k)}(\lambda ,0)x^{\ell-j} \\ &=\sum_{\ell=0}^{n}\sum _{m=0}^{\ell}\sum_{j=0}^{\ell-m}(-1)^{j} \binom{\ell }{j} S_{1}(n,\ell)S_{2}(\ell-j,m)q^{n-j-m} \widehat{C}_{m,q}^{(k)}(\lambda ,0)x^{j} \\ &=\sum_{j=0}^{n} \Biggl(\sum _{\ell=j}^{n}\sum_{m=0}^{\ell-j}(-1)^{j} \binom{\ell }{j} S_{1}(n,\ell)S_{2}(\ell-j,m)q^{n-m-j} \widehat{C}_{m,q}^{(k)}(\lambda ,0) \Biggr)x^{j}, \end{aligned}$$

as required. □

Next, the transfer formula will be invoked. To do this, one observes that for any power series \(g(t)=\sum_{m\geq0}b_{m}\frac{t^{m}}{m!}\), \(n\geq0\), \(a\neq0\), and \(p(x)=g(t)x^{n}\), \(g(at)x^{n}=a^{n}p(x/a)\). Recall that the Bernoulli polynomials \(B_{n}^{(s)}(x)\) of order s (see [29, 30]) are defined by the generating function \((\frac{t}{e^{t}-1} )^{s} e^{xt}=\sum_{n\geq 0}B_{n}^{(s)}(x)\frac{t^{n}}{n!}\), or equivalently,

$$\begin{aligned} B_{n}^{(s)}(x)\sim \biggl( \biggl(\frac{e^{t}-1}{t} \biggr)^{s},t \biggr). \end{aligned}$$
(2.6)

Theorem 2.3

For all \(n\geq1\),

$$\begin{aligned} &C_{n,q}^{(k)}(\lambda,x) =\sum_{j=0}^{n} \Biggl(\sum_{\ell=0}^{n-j}\sum _{m=0}^{n-j-\ell}\binom {n-1}{\ell}\binom{n-\ell}{j}S_{2}(n- \ell-j,m) \lambda^{n-\ell-j-m}q^{n-j-m}\frac{B_{\ell}^{(n)}}{(m+1)^{k}} \Biggr)x^{j}, \\ &\widehat{C}_{n,q}^{(k)}(\lambda,x) =\sum _{j=0}^{n} \Biggl(\sum_{\ell=0}^{n-j} \sum_{m=0}^{n-j-\ell }(-1)^{m-j} \binom{n-1}{\ell}\binom{n-\ell}{j}S_{2}(n-\ell-j,m)\\ &\hphantom{\widehat{C}_{n,q}^{(k)}(\lambda,x) =}{}\times\lambda^{n-\ell-j-m}q^{n-j-m}\frac{B_{\ell}^{(n)}}{(m+1)^{k}} \Biggr)x^{j}. \end{aligned}$$

Proof

By (2.4) and the fact that \(x^{n}\sim(1,t)\), one obtains

$$\frac{1}{\operatorname{Lif}_{k} (\frac{e^{q\lambda t}-1}{q\lambda} )}C_{n,q}^{(k)}(\lambda,x) =x \biggl( \frac{qt}{e^{qt}-1} \biggr)^{n}x^{-1}x^{n}= x \biggl( \frac{qt}{e^{qt}-1} \biggr)^{n}x^{n-1}. $$

By (2.6), one gets

$$\frac{1}{\operatorname{Lif}_{k} (\frac{e^{q\lambda t}-1}{q\lambda} )}C_{n,q}^{(k)}(\lambda,x) =x\sum _{\ell=0}^{n-1}B_{\ell}^{(n)} \frac{q^{\ell}}{\ell!}t^{\ell}x^{n-1} =\sum _{\ell=0}^{n-1}\binom{n-1}{\ell}B_{\ell}^{(n)}q^{\ell}x^{n-\ell}. $$

Thus, by (1.1) and (2.2), one has

$$\begin{aligned} C_{n,q}^{(k)}(\lambda,x) ={}&\sum_{\ell=0}^{n-1} \binom{n-1}{\ell}B_{\ell}^{(n)}q^{\ell}\operatorname{Lif}_{k} \biggl(\frac{e^{q\lambda t}-1}{q\lambda} \biggr) x^{n-\ell} \\ ={}&\sum_{\ell=0}^{n-1}\sum _{m=0}^{n-\ell}\sum_{j=m}^{n-\ell} \binom {n-1}{\ell}\binom{n-\ell}{j}S_{2}(j,m)B_{\ell}^{(n)}q^{\ell}\frac{(q\lambda )^{j}}{(m+1)^{k}(q\lambda)^{m}}x^{n-\ell-j} \\ ={}&\sum_{\ell=0}^{n}\sum _{m=0}^{n-\ell}\sum_{j=0}^{n-\ell-m} \binom{n-1}{\ell}\binom{n-\ell }{j}S_{2}(n-\ell-j,m)B_{\ell}^{(n)}q^{\ell}\frac{(q\lambda)^{n-\ell -j}}{(m+1)^{k}(q\lambda)^{m}}x^{j} \\ ={}&\sum_{j=0}^{n} \Biggl(\sum _{\ell =0}^{n-j}\sum_{m=0}^{n-j-\ell} \binom{n-1}{\ell}\binom{n-\ell }{j}S_{2}(n-\ell-j,m) \\ &{}\times\lambda^{n-\ell-j-m}q^{n-j-m}\frac{B_{\ell}^{(n)}}{(m+1)^{k}} \Biggr)x^{j}, \end{aligned}$$
(2.7)

which completes the proof of the first formula.

By using similar arguments to the above proof, using (2.5) instead (2.4), one derives the second formula. □

Theorem 2.4

For all \(n\geq1\),

$$\begin{aligned} &C_{n,q}^{(k)}(\lambda,x) =\sum_{j=0}^{n} \Biggl(\sum_{\ell=0}^{n-j}\sum _{m=0}^{n-j-\ell}\binom {n-1}{\ell}\binom{n-\ell}{j}S_{2}(n- \ell-j,m) q^{n-m-j} B_{\ell}^{(n)}C_{m,q}^{(k)}( \lambda,0) \Biggr)x^{j}, \\ &\widehat{C}_{n,q}^{(k)}(\lambda,x) =\sum _{j=0}^{n} \Biggl(\sum_{\ell=0}^{n-j} \sum_{m=0}^{n-j-\ell}(-1)^{j} \binom {n-1}{\ell}\binom{n-\ell}{j}S_{2}(n-\ell-j,m) q^{n-m-j} B_{\ell}^{(n)}\widehat{C}_{m,q}^{(k)}( \lambda,0) \Biggr)x^{j}. \end{aligned}$$

Proof

By using similar arguments to the proof of Theorem 2.2 together with (2.7) (or with the analog of (2.7) in the case of \(\widehat{C}_{n,q}^{(k)}(\lambda,x)\)), one obtains

$$\begin{aligned} C_{n,q}^{(k)}(\lambda,x) &=\sum_{\ell=0}^{n} \sum_{m=0}^{n-\ell}\sum _{j=0}^{n-\ell-m}\binom {n-1}{\ell}\binom{n-\ell}{j}B_{\ell}^{(n)}S_{2}(n- \ell-j,m) q^{n-m-j} C_{m,q}^{(k)}(\lambda,0)x^{j} \\ &=\sum_{j=0}^{n} \Biggl(\sum _{\ell=0}^{n-j}\sum_{m=0}^{n-j-\ell} \binom {n-1}{\ell}\binom{n-\ell}{j}S_{2}(n-\ell-j,m) q^{n-m-j} B_{\ell}^{(n)}C_{m,q}^{(k)}(\lambda,0) \Biggr)x^{j} \end{aligned}$$

and

$$\begin{aligned} \widehat{C}_{n,q}^{(k)}(\lambda,x) &=\sum _{\ell=0}^{n}\sum_{m=0}^{n-\ell} \sum_{j=0}^{n-\ell-m}(-1)^{j} \binom {n-1}{\ell}\binom{n-\ell}{j}B_{\ell}^{(n)}S_{2}(n- \ell-j,m) q^{n-m-j}\widehat{C}_{m,q}^{(k)}( \lambda,0)x^{j} \\ &=\sum_{j=0}^{n} \Biggl(\sum _{\ell=0}^{n-j}\sum_{m=0}^{n-j-\ell}(-1)^{j} \binom {n-1}{\ell}\binom{n-\ell}{j}S_{2}(n-\ell-j,m) q^{n-m-j} B_{\ell}^{(n)}\widehat{C}_{m,q}^{(k)}( \lambda,0) \Biggr)x^{j}, \end{aligned}$$

which completes the proof. □

Before proceeding recall here that the Bernoulli polynomials \(b_{n}(x)\) (see [31]) of the second kind are defined by

$$\frac{t}{\log(1+t)}(1+t)^{x}=\sum_{n\geq0}C_{n}^{(1)}(x) \frac{x^{n}}{n!}=\sum_{n\geq0}b_{n}(x) \frac{x^{n}}{n!}. $$

When \(x=0\), \(b_{n}=b_{n}(0)\) are called Bernoulli numbers of the second kind. With a q parameter, one has

$$\frac{q((1+qt)^{\frac{1}{q}}-1)}{\log(1+qt)} (1+t)^{x} =\sum_{n\geq0}C_{n,q}^{(1)}(x) \frac{t^{n}}{n!}=\sum_{n\geq 0}C_{n,q}(x) \frac{t^{n}}{n!}. $$

When \(x=0\), we write \(C_{n,q}=C_{n,q}(0)\). Also, it is well known (see [32]) that, for \(k\geq1\),

$$\begin{aligned} &\operatorname{Lif}_{k} \biggl(\frac{\log(1+qt)}{q} \biggr) \\ &\quad=\frac{q}{\log(1+qt)} \underbrace{\int_{0}^{t} \frac{q}{(1+qt)\log (1+qt)}\cdots \int_{0}^{t} \frac{q}{(1+qt)\log(1+qt)}}_{(k-1)\ \mathrm{times}} \bigl((1+qt)^{\frac{1}{q}}-1\bigr)\,dt\cdots\,dt. \end{aligned}$$

By induction on k, one has

$$\operatorname{Lif}_{k} \biggl(\frac{\log(1+qt)}{q} \biggr)=\sum _{j_{1},\ldots,j_{k}\geq 0}t^{j_{1}+\cdots+j_{k}} \frac{b_{j_{k}}q^{j_{k}}}{j_{k}!}\frac{C_{j_{1},q}(-q)}{j_{1}!(j_{1}+1)} \prod_{i=2}^{k-1}\frac{b_{j_{i}}(-1)q^{j_{i}}}{j_{i}!(j_{1}+\cdots+j_{i}+1)}, $$

for all \(k\geq2\), and

$$\operatorname{Lif}_{1} \biggl(\frac{\log(1+qt)}{q} \biggr)=\sum _{j_{1}\geq0}C_{j_{1},q}\frac {t^{j_{1}}}{j_{1}!}. $$

Thus, by changing variables, one obtains

$$\begin{aligned} &\operatorname{Lif}_{k} \biggl(\frac{(1+qt)^{\lambda}-1}{q\lambda} \biggr) \\ &\quad=\sum_{j_{1},\ldots,j_{k}\geq0} \biggl(\frac{e^{\frac{(1+qt)^{\lambda}-1}{\lambda}}-1}{q} \biggr)^{j_{1}+\cdots+j_{k}} \frac{b_{j_{k}}q^{j_{k}}}{j_{k}!} \frac{C_{j_{1},q}(-q)}{j_{1}!(j_{1}+1)} \prod _{i=2}^{k-1}\frac{b_{j_{i}}(-1)q^{j_{i}}}{j_{i}!(j_{1}+\cdots +j_{i}+1)}, \end{aligned}$$
(2.8)

for all \(k\geq2\), and

$$\begin{aligned} \operatorname{Lif}_{1} \biggl(\frac{(1+qt)^{\lambda}-1}{q\lambda} \biggr)=\sum _{j_{1}\geq 0}C_{j_{1},q}\frac{(e^{\frac{(1+qt)^{\lambda}-1}{\lambda }}-1)^{j_{1}}}{j_{1}!q^{j_{1}}}. \end{aligned}$$
(2.9)

Theorem 2.5

Let \(n\geq0\). Then

$$\begin{aligned} C_{n,q}^{(k)}(\lambda,x)={}&\sum_{j_{1}+\cdots+j_{k}\leq n} \sum_{\ell =j_{1}+\cdots+j_{k}}^{n}\sum _{m=0}^{\ell}(-1)^{\ell-m}\frac{\binom{\ell }{m}}{\ell!\lambda^{\ell}} \frac{(j_{1}+\cdots+j_{k})!}{q^{j_{1}+\cdots+j_{k}}}\frac {c_{j_{1},q}(-q)}{j_{1}!(j_{1}+1)}\frac{b_{j_{k}}q^{j_{k}}}{j_{k}!}\\ &{}\times S_{2}(\ell,j_{1}+ \cdots+j_{k}) (x+\lambda qm|q)_{n}\prod _{i=2}^{k-1}\frac{b_{j_{i}}(-1)q^{j_{i}}}{j_{i}!(j_{1}+\cdots+j_{i}+1)}, \end{aligned}$$

for all \(k\geq2\), and

$$\begin{aligned} C_{n,q}^{(1)}(\lambda,x) &=\sum_{j_{1}=0}^{n} \sum_{\ell=j_{1}}^{n}\sum _{m=0}^{\ell}(-1)^{\ell-m}\frac {\binom{\ell}{m}}{\ell!\lambda^{\ell}} \frac{C_{j_{1},q}}{q^{j_{1}}}S_{2}(\ell,j_{1}) (x+\lambda qm|q)_{n}. \end{aligned}$$

Proof

By (1.2), one has \(C_{n,q}^{(k)}(\lambda,y)= \langle \operatorname{Lif}_{k} (\frac{(1+qt)^{\lambda }-1}{q\lambda} )(1+qt)^{\frac{y}{q}}|x^{n} \rangle\). Thus by (2.8), one gets

$$\begin{aligned} C_{n,q}^{(k)}(\lambda,y)={}&\sum_{j_{1}+\cdots+j_{k}\leq n} \frac{c_{j_{1},q}(-q)}{q^{j_{1}+\cdots+j_{k}}j_{1}!(j_{1}+1)}\frac {b_{j_{k}}q^{j_{k}}}{j_{k}!} \\ &{}\times\prod_{i=2}^{k-1}\frac{b_{j_{i}}(-1)q^{j_{i}}}{j_{i}!(j_{1}+\cdots+j_{i}+1)} \bigl\langle \bigl(e^{\frac{(1+qt)^{\lambda}-1}{\lambda}}-1 \bigr)^{j_{1}+\cdots+j_{k}}(1+qt)^{\frac{y}{q}}|x^{n} \bigr\rangle , \end{aligned}$$

which, by (2.2), implies

$$\begin{aligned} &C_{n,q}^{(k)}(\lambda,y) \\ &\quad=\sum_{j_{1}+\cdots+j_{k}\leq n} \frac{c_{j_{1},q}(-q)}{q^{j_{1}+\cdots+j_{k}}j_{1}!(j_{1}+1)}\frac {b_{j_{k}}q^{j_{k}}}{j_{k}!} \prod_{i=2}^{k-1}\frac {b_{j_{i}}(-1)q^{j_{i}}}{j_{i}!(j_{1}+\cdots+j_{i}+1)} \\ &\qquad{}\times(j_{1}+\cdots+j_{k})!\sum _{\ell=j_{1}+\cdots +j_{k}}^{n}\frac{S_{2}(\ell,j_{1}+\cdots+j_{k})}{\ell!\lambda^{\ell}} \bigl\langle \bigl((1+qt)^{\lambda}-1\bigr)^{\ell}(1+qt)^{\frac{y}{q}}|x^{n} \bigr\rangle \\ &\quad=\sum_{j_{1}+\cdots+j_{k}\leq n} \frac{c_{j_{1},q}(-q)}{q^{j_{1}+\cdots+j_{k}}j_{1}!(j_{1}+1)}\frac {b_{j_{k}}q^{j_{k}}}{j_{k}!} \prod_{i=2}^{k-1}\frac {b_{j_{i}}(-1)q^{j_{i}}}{j_{i}!(j_{1}+\cdots+j_{i}+1)} \\ &\qquad{}\times(j_{1}+\cdots+j_{k})!\sum _{\ell=j_{1}+\cdots +j_{k}}^{n}\sum_{m=0}^{\ell}\binom{\ell}{m}(-1)^{\ell-m}\frac{S_{2}(\ell,j_{1}+\cdots+j_{k})}{\ell!\lambda ^{\ell}} \bigl\langle (1+qt)^{\frac{y}{q}+\lambda m}|x^{n} \bigr\rangle . \end{aligned}$$

By using the fact that \(\langle(1+qt)^{\frac{y}{q}+\lambda m}|x^{n} \rangle=(y+\lambda qm|q)_{n}\), the proof is completed for the case \(k\geq2\).

For \(k=1\), by (1.2), one obtains

$$\begin{aligned} C_{n,q}^{(1)}(\lambda,y) &= \biggl\langle \operatorname{Lif}_{1} \biggl(\frac{(1+qt)^{\lambda}-1}{q\lambda} \biggr) (1+qt)^{\frac{y}{q}}\Big|x^{n} \biggr\rangle =\sum _{j_{1}=0}^{n}\frac {C_{j_{1},q}}{j_{1}!q^{j_{1}}} \bigl\langle \bigl(e^{\frac{(1+qt)^{\lambda}-1}{\lambda }}-1\bigr)^{j_{1}}(1+qt)^{\frac{y}{q}}|x^{n} \bigr\rangle , \end{aligned}$$

which, by (2.2), implies

$$\begin{aligned} C_{n,q}^{(1)}(\lambda,x) &=\sum_{j_{1}=0}^{n} \sum_{\ell=j_{1}}^{m}\frac{C_{j_{1},q}S_{2}(\ell ,j_{1})}{q^{j_{1}}\lambda^{\ell}\ell!} \bigl\langle \bigl((1+qt)^{\lambda}-1\bigr)^{\ell }(1+qt)^{\frac{y}{q}}|x^{n} \bigr\rangle \\ &=\sum_{j_{1}=0}^{n}\sum _{\ell=j_{1}}^{m}\sum_{m=0}^{\ell}\binom{\ell }{m}(-1)^{\ell-m}\frac{C_{j_{1},q}S_{2}(\ell,j_{1})}{q^{j_{1}}\lambda^{\ell}\ell !} \bigl\langle (1+qt)^{\frac{y}{q}+\lambda m}|x^{n} \bigr\rangle . \end{aligned}$$

By using the fact that \(\langle(1+qt)^{\frac{y}{q}+\lambda m}|x^{n} \rangle=(y+\lambda qm|q)_{n}\), the proof is completed for the case \(k=1\). □

By similar arguments to the proof of Theorem 2.5 for the degenerate poly-Cauchy polynomials with a q parameter of the first kind, one has the following result.

Theorem 2.6

Let \(n\geq0\). Then

$$\begin{aligned} \widehat{C}_{n,q}^{(k)}(\lambda,x)={}&\sum _{j_{1}+\cdots+j_{k}\leq n}\sum_{\ell=j_{1}+\cdots+j_{k}}^{n}\sum _{m=0}^{\ell}(-1)^{\ell-m} \frac{\binom{\ell }{m}}{\ell!(-\lambda)^{\ell}} \frac{(j_{1}+\cdots+j_{k})!}{q^{j_{1}+\cdots+j_{k}}}\frac {c_{j_{1},q}(-q)}{j_{1}!(j_{1}+1)}\frac{b_{j_{k}}q^{j_{k}}}{j_{k}!}\\ &\qquad{}\times S_{2}(\ell,j_{1}+ \cdots+j_{k}) (\lambda qm-x|q)_{n}\prod _{i=2}^{k-1}\frac{b_{j_{i}}(-1)q^{j_{i}}}{j_{i}!(j_{1}+\cdots+j_{i}+1)}, \end{aligned}$$

for all \(k\geq2\), and

$$\begin{aligned} \widehat{C}_{n,q}^{(1)}(\lambda,x) &=\sum _{j_{1}=0}^{n}\sum_{\ell=j_{1}}^{n} \sum_{m=0}^{\ell}(-1)^{\ell-m} \frac {\binom{\ell}{m}}{\ell!(-\lambda)^{\ell}} \frac{C_{j_{1},q}}{q^{j_{1}}}S_{2}(\ell,j_{1}) ( \lambda qm-x|q)_{n}. \end{aligned}$$

Recurrences

Note that the sequences of polynomials \(C_{n,q}^{(k)}(\lambda,x)\) and \(\widehat{C}_{n,q}^{(k)}(\lambda,x)\) are Sheffer sequences. Thus they satisfy the Sheffer identity

$$\begin{aligned} &C_{n,q}^{(k)}(\lambda,x+y)=\sum_{j=0}^{n} \binom {n}{j}C_{j,q}^{(k)}(\lambda,x) (y|q)_{n-j}, \\ &\widehat{C}_{n,q}^{(k)}(\lambda,x+y)=\sum _{j=0}^{n}\binom{n}{j}\widehat {C}_{j,q}^{(k)}(\lambda,x) (-y|q)_{n-j}. \end{aligned}$$

Next, one shows several recurrences for the sequence of poly-Cauchy polynomials with a q parameter of the first kind and of the second kind.

Theorem 3.1

For all \(n\geq1\),

$$\begin{aligned} C_{n,q}^{(k)}(\lambda,x+q)=C_{n,q}^{(k)}( \lambda ,x)+nqC_{n-1,q}^{(k)}(\lambda,x),\quad \widehat{C}_{n,q}^{(k)}(\lambda,x-q)=\widehat{C}_{n,q}^{(k)}( \lambda ,x)+nq\widehat{C}_{n-1,q}^{(k)}(\lambda,x). \end{aligned}$$

Proof

Note that \(f(t)S_{n}(x)=nS_{n-1}(x)\) for any \(S_{n}(x)\sim(g(t),f(t))\) (see [14, 15]). Hence, by (1.4), one has

$$\begin{aligned} \frac{e^{qt}-1}{q}C_{n,q}^{(k)}(\lambda,x)=nC_{n-1,q}^{(k)}( \lambda ,x),\quad \frac{e^{-qt}-1}{q}\widehat{C}_{n,q}^{(k)}( \lambda,x)=n\widehat {C}_{n-1,q}^{(k)}(\lambda,x), \end{aligned}$$

which implies

$$\begin{aligned} C_{n,q}^{(k)}(\lambda,x+q)=C_{n,q}^{(k)}( \lambda ,x)+nqC_{n-1,q}^{(k)}(\lambda,x),\quad \widehat{C}_{n,q}^{(k)}(\lambda,x-q)=\widehat{C}_{n,q}^{(k)}( \lambda ,x)+nq\widehat{C}_{n-1,q}^{(k)}(\lambda,x), \end{aligned}$$

as required. □

Theorem 3.2

For \(n\geq0\),

$$\begin{aligned}& \begin{aligned}[b] C_{n+1;q}^{(k)}(\lambda,x)={}&xC_{n,q}^{(k)}( \lambda,x-q)-\sum_{m=0}^{n}\sum _{\ell=0}^{m+1}\sum_{j=0}^{m+1-\ell} \frac{\binom {m+1}{j}}{m+1}\lambda^{j}q^{n-\ell+1} S_{1}(n,m)\\ &{}\times S_{2}(m+1-j, \ell)d_{\ell,q}^{(k)}(\lambda)B_{j} \biggl( \frac {x+(\lambda-1)q}{q\lambda} \biggr), \end{aligned}\\& \begin{aligned}[b] \widehat{C}_{n+1;q}^{(k)}(\lambda,x)={}&{-}x\widehat{C}_{n,q}^{(k)}( \lambda ,x+q)-\sum_{m=0}^{n}\sum _{\ell=0}^{m+1}\sum_{j=0}^{m+1-\ell} \frac{\binom {m+1}{j}}{m+1}\lambda^{j}q^{n-\ell+1} S_{1}(n,m)\\ &{}\times S_{2}(m+1-j, \ell)\widehat{d}_{\ell,q}^{(k)}(\lambda)B_{j} \biggl( \frac {-x+(\lambda-1)q}{q\lambda} \biggr), \end{aligned} \end{aligned}$$

where \(d_{\ell,q}^{(k)}(\lambda)=C_{\ell,q}^{(k)}(\lambda,0)-C_{\ell ,q}^{(k-1)}(\lambda,0)\) and \(\widehat{d}_{\ell,q}^{(k)}(\lambda)=\widehat{C}_{\ell,q}^{(k)}(\lambda ,0)-\widehat{C}_{\ell,q}^{(k-1)}(\lambda,0)\).

Proof

Recall that

$$\begin{aligned} \bigl(\operatorname{Lif}_{k}(x)\bigr)'= \frac{\operatorname{Lif}_{k-1}(x)-\operatorname{Lif}_{k}(x)}{x}, \end{aligned}$$
(3.1)

and \(S_{n+1}(x)=(x-\frac{g'(t)}{g(t)})\frac{1}{f'(t)}S_{n}(x)\) for any \(S_{n}(x)\sim(g(t),f(t))\) (see [14, 15]). Thus, in the case of (1.4), one obtains

$$C_{n+1;q}^{(k)}(\lambda,x)=xC_{n,q}^{(k)}( \lambda,x-q)-e^{-qt}\frac {g'(t)}{g(t)}C_{n,q}^{(k)}( \lambda,x), $$

where \(g(t)=\frac{1}{\operatorname{Lif}_{k} (\frac{e^{q\lambda t}-1}{q\lambda} )}\). Note that \(\frac{g'(t)}{g(t)}=(\log(g(t)))'=- (\log \operatorname{Lif}_{k} (\frac {e^{q\lambda t}-1}{q\lambda} ) )'\), which leads to

$$\frac{g'(t)}{g(t)}=\frac{-1}{\operatorname{Lif}_{k} (\frac{e^{q\lambda t}-1}{q\lambda } )} \biggl(\operatorname{Lif}_{k-1} \biggl(\frac{e^{q\lambda t}-1}{q\lambda} \biggr)-\operatorname{Lif}_{k} \biggl( \frac{e^{q\lambda t}-1}{q\lambda} \biggr) \biggr)\frac{\lambda qe^{\lambda qt}}{e^{\lambda qt}-1}. $$

Thus,

$$\begin{aligned} e^{-qt}\frac{g'(t)}{g(t)}C_{n;q}^{(k)}(\lambda,x)= \frac{1}{t} (A_{k}-A_{k-1} )\frac{1}{\operatorname{Lif}_{k} (\frac{e^{q\lambda t}-1}{q\lambda } )}C_{n,q}^{(k)}( \lambda,x), \end{aligned}$$

where \(A_{k}-A_{k-1}=\frac{\lambda qte^{(\lambda-1) qt}}{e^{\lambda qt}-1}\operatorname{Lif}_{k} (\frac{e^{q\lambda t}-1}{q\lambda} )-\frac {\lambda qte^{(\lambda-1)qt}}{e^{\lambda qt}-1}\operatorname{Lif}_{k-1} (\frac {e^{q\lambda t}-1}{q\lambda} )\) has order at least one (the order of a non-zero power series \(f(t)\) is the smallest integer k for which the coefficient of \(t^{k}\) in \(f(t)\) does not vanish). So, by the fact that \(\frac{1}{\operatorname{Lif}_{k} (\frac{e^{q\lambda t}-1}{q\lambda} )}C_{n,q}^{(k)}(\lambda,x) =(x|q)_{n}=\sum_{m=0}^{n}S_{1}(n,m)q^{n-m}x^{n}\) (see (2.3)), one has

$$\begin{aligned} e^{-qt}\frac{g'(t)}{g(t)}C_{n;q}^{(k)}(\lambda,x) &= \sum_{m=0}^{n}S_{1}(n,m)q^{n-m} \frac{1}{t} (A_{k}-A_{k-1} )x^{m} \\ &=\sum_{m=0}^{n}\frac{S_{1}(n,m)}{m+1}q^{n-m} (A_{k}-A_{k-1} )x^{m+1}. \end{aligned}$$

On the other hand, by (2.2), one gets

$$\begin{aligned} A_{k}x^{m+1} &=\frac{\lambda qte^{(\lambda-1) qt}}{e^{\lambda qt}-1}\operatorname{Lif}_{k} \biggl(\frac{(1+qs)^{\lambda}-1}{q\lambda} \biggr)\bigg|_{s=\frac {e^{qt}-1}{q}}x^{m+1} \\ &=\frac{\lambda qte^{(\lambda-1) qt}}{e^{\lambda qt}-1}\sum_{\ell =0}^{m+1}C_{\ell,q}^{(k)}( \lambda,0)\frac{(e^{qt}-1)^{\ell}}{\ell!q^{\ell}}x^{m+1} \\ &=\frac{\lambda qte^{(\lambda-1) qt}}{e^{\lambda qt}-1}\sum_{\ell =0}^{m+1}\sum _{j=\ell}^{m+1}C_{\ell,q}^{(k)}( \lambda,0)S_{2}(j,\ell )q^{-\ell}\frac{(qt)^{j}}{j!}x^{m+1} \\ &=\sum_{\ell=0}^{m+1}\sum _{j=\ell}^{m+1}C_{\ell,q}^{(k)}(\lambda ,0)S_{2}(j,\ell)q^{j-\ell}\binom{m+1}{j} \frac{\lambda qte^{(\lambda-1) qt}}{e^{\lambda qt}-1}x^{m+1-j} \\ &=\sum_{\ell=0}^{m+1}\sum _{j=\ell}^{m+1}C_{\ell,q}^{(k)}(\lambda ,0)S_{2}(j,\ell)q^{j-\ell}\binom{m+1}{j} (\lambda q)^{m+1-j}B_{m+1-j} \biggl(\frac{x+(\lambda-1)q}{q\lambda} \biggr) \\ &=\sum_{\ell=0}^{m+1}\sum _{j=0}^{m+1-\ell}\binom{m+1}{j}\lambda ^{j}q^{m-\ell+1}C_{\ell,q}^{(k)}( \lambda,0)S_{2}(m+1-j,\ell) B_{j} \biggl(\frac{x+(\lambda-1)q}{q\lambda} \biggr). \end{aligned}$$

Hence,

$$\begin{aligned} C_{n+1;q}^{(k)}(\lambda,x)={}&xC_{n,q}^{(k)}( \lambda,x-q)-\sum_{m=0}^{n}\sum _{\ell=0}^{m+1}\sum_{j=0}^{m+1-\ell} \frac{\binom {m+1}{j}}{m+1}\lambda^{j}q^{n-\ell+1} S_{1}(n,m)\\ &{}\times S_{2}(m+1-j, \ell)d_{\ell,q}^{(k)}(\lambda)B_{j} \biggl( \frac {x+(\lambda-1)q}{q\lambda} \biggr), \end{aligned}$$

where \(d_{\ell,q}^{(k)}(\lambda)=C_{\ell,q}^{(k)}(\lambda,0)-C_{\ell ,q}^{(k-1)}(\lambda,0)\), which completes the proof of the first recurrence.

By applying the above proof to the case of poly-Cauchy polynomials with a q parameter of the second kind together with using (1.4) for \(\widehat{C}_{n,q}^{(k)}(\lambda,x)\) instead of \(C_{n,q}^{(k)}(\lambda,x)\), one can obtain the second recurrence. □

In the next result one finds the expressions for \(\frac {d}{dx}C_{n,q}^{(k)}(\lambda,x)\) and \(\frac{d}{dx}\widehat {C}_{n,q}^{(k)}(\lambda,x)\).

Theorem 3.3

For all \(n\geq0\),

$$\frac{d}{dx}C_{n,q}^{(k)}(\lambda,x)=n!\sum _{\ell=0}^{n-1}\frac {(-q)^{n-1-\ell}}{(n-\ell)\ell!}C_{\ell,q}^{(k)}( \lambda,x),\quad \frac {d}{dx}\widehat{C}_{n,q}^{(k)}( \lambda,x)=-n!\sum_{\ell=0}^{n-1} \frac {(-q)^{n-1-\ell}}{(n-\ell)\ell!}\widehat{C}_{\ell,q}^{(k)}(\lambda,x). $$

Proof

It is well known that \(\frac{d}{dx}S_{n}(x)=\sum_{\ell=0}^{n-1}\binom {n}{\ell} \langle\bar{f}(t)|x^{n-\ell} \rangle S_{\ell}(x)\), where \(S_{n}(x)\sim(g(t),f(t))\) and \(\bar{f}(t)\) is the compositional inverse of \(f(t)\) (see [14, 15]). In the present cases, see (1.4), one has either \(\bar{f}(t)=\frac{1}{q}\log(1+qt)\) or \(\bar{f}(t)=-\frac{1}{q}\log(1+qt)\). Note that \(\langle\frac{1}{q}\log(1+qt)|x^{n-\ell} \rangle =(-q)^{n-1-\ell}(n-1-\ell)!\). Thus, \(\frac{d}{dx}C_{n,q}^{(k)}(\lambda,x)=n!\sum_{\ell=0}^{n-1}\frac {(-q)^{n-1-\ell}}{(n-\ell)\ell!}C_{\ell,q}^{(k)}(\lambda,x)\) and \(\frac{d}{dx}\widehat{C}_{n,q}^{(k)}(\lambda,x)=-n!\sum_{\ell =0}^{n-1}\frac{(-q)^{n-1-\ell}}{(n-\ell)\ell!}\widehat{C}_{\ell ,q}^{(k)}(\lambda,x)\), as required. □

In the next theorem one uses the Korobov numbers. Recall that the Korobov numbers \(K_{n}(\lambda)\) of the first kind are given by \(\sum_{n\geq0}K_{n}(\lambda)\frac{t^{n}}{n!}=\frac{\lambda t}{(1+t)^{\lambda}-1}\) (see [6, 7]).

Theorem 3.4

For all \(n\geq1\),

$$\begin{aligned}& \begin{aligned}[b] C_{n,q}^{(k)}(\lambda,x)={}&xC_{n-1,q}^{(k)}( \lambda,x-q)\\ &{}+\frac{1}{n}\sum_{m=0}^{n}q^{n-m} \binom{n}{m}K_{n-m}(\lambda) \bigl( C_{m,q}^{(k-1)} \bigl(\lambda,x+(\lambda-1)q\bigr)-C_{m,q}^{(k)}\bigl( \lambda,x+(\lambda -1)q\bigr) \bigr), \end{aligned}\\& \begin{aligned}[b] \widehat{C}_{n,q}^{(k)}(\lambda,x)={}&{-}x\widehat{C}_{n-1,q}^{(k)}( \lambda ,x+q)\\ &{}+\frac{1}{n}\sum_{m=0}^{n}q^{n-m} \binom{n}{m}K_{n-m}(\lambda) \bigl( \widehat{C}_{m,q}^{(k-1)} \bigl(\lambda,x-(\lambda-1)q\bigr)-C_{m,q}^{(k)}\bigl(\lambda ,x-(\lambda-1)q\bigr) \bigr). \end{aligned} \end{aligned}$$

Proof

Here only the proof of the first recurrence will be provided. Let \(L_{k}=\operatorname{Lif}_{k} (\frac{(1+qt)^{\lambda}-1}{q\lambda} )\). By (1.2), we have \(C_{n,q}^{(k)}(\lambda,y)= \langle L_{k}(1+qt)^{\frac {y}{q}}|x^{n} \rangle=A+B\), where \(A= \langle L_{k}\frac{d}{dt}(1+qt)^{\frac{y}{q}}|x^{n-1} \rangle \) and \(B= \langle\frac{d}{dt}L_{k}(1+qt)^{\frac{y}{q}}|x^{n-1} \rangle\). The term A is given by \(A=y \langle L_{k}(1+qt)^{\frac{y-q}{q}}|x^{n-1} \rangle =yC_{n-1,q}^{(k)}(\lambda,y-q)\). By (3.1), the term B is given by

$$\begin{aligned} B&= \biggl\langle \frac{\lambda qt}{(1+qt)^{\lambda}-1}(1+qt)^{\frac {y+(\lambda-1)q}{q}} \frac{L_{k-1}-L_{k}}{t}\Big|x^{n-1} \biggr\rangle \\ &=\frac{1}{n} \biggl\langle \frac{\lambda qt}{(1+qt)^{\lambda}-1}(1+qt)^{\frac{y+(\lambda-1)q}{q}} (L_{k-1}-L_{k})\Big|x^{n} \biggr\rangle . \end{aligned}$$

Note that the order of \(L_{k-1}-L_{k}\) is at least one. Thus,

$$\begin{aligned} B&=\frac{1}{n} \biggl\langle \frac{\lambda qt}{(1+qt)^{\lambda}-1}(1+qt)^{\frac{y+(\lambda-1)q}{q}}L_{k-1}\Big|x^{n} \biggr\rangle -\frac{1}{n} \biggl\langle \frac{\lambda qt}{(1+qt)^{\lambda}-1}(1+qt)^{\frac{y+(\lambda-1)q}{q}}L_{k}\Big|x^{n} \biggr\rangle \\ &=\frac{1}{n} \Biggl\langle \frac{\lambda qt}{(1+qt)^{\lambda}-1}\sum _{m=0}^{n} \bigl(C_{m,q}^{(k-1)} \bigl(\lambda,y+(\lambda-1)q\bigr) -C_{m,q}^{(k)}\bigl( \lambda,y+(\lambda-1)q\bigr) \bigr)\frac{t^{m}}{m!}\Big|x^{n} \Biggr\rangle \\ &=\frac{1}{n}\sum_{m=0}^{n} \binom{n}{m} \bigl( C_{m,q}^{(k-1)}\bigl(\lambda,y+( \lambda-1)q\bigr) -C_{m,q}^{(k)}\bigl(\lambda,y+(\lambda-1)q \bigr) \bigr) \biggl\langle \frac{\lambda qt}{(1+qt)^{\lambda}-1}\Big|x^{n-m} \biggr\rangle . \end{aligned}$$

Thus, by expressing the Korobov numbers of the first kind, one obtains

$$\begin{aligned} B&=\frac{1}{n}\sum_{m=0}^{n} \binom{n}{m} \bigl( C_{m,q}^{(k-1)}\bigl(\lambda,y+( \lambda-1)q\bigr)-C_{m,q}^{(k)}\bigl(\lambda,y+(\lambda -1)q \bigr) \bigr) K_{n-m}(\lambda)q^{n-m}. \end{aligned}$$

Hence,

$$\begin{aligned} C_{n,q}^{(k)}(\lambda,y)={}&yC_{n-1,q}^{(k)}( \lambda,y-q)\\ &{}+\frac{1}{n}\sum_{m=0}^{n}q^{n-m} \binom{n}{m}K_{n-m}(\lambda) \bigl( C_{m,q}^{(k-1)} \bigl(\lambda,y+(\lambda-1)q\bigr)-C_{m,q}^{(k)}\bigl( \lambda,y+(\lambda -1)q\bigr) \bigr), \end{aligned}$$

as required. □

Connections with families of polynomials

Now, a few examples are presented on the connections with known families of polynomials. To do that, one uses the following fact from [14, 15]: For \(s_{n}(x)\sim(g(t),f(t))\) and \(r_{n}(x)\sim(h(t),\ell(t))\), let \(s_{n}(x)=\sum_{k=0}^{n} c_{n,k}r_{k}(x)\). Then we have

$$\begin{aligned} c_{n,k}=\frac{1}{k!} \biggl\langle \frac{h(\bar{f}(t))}{g(\bar{f}(t))}\bigl(\ell \bigl(\bar{f}(t)\bigr)\bigr)^{k}\Big|x^{n} \biggr\rangle . \end{aligned}$$
(4.1)

Let us start with the connection to Bernoulli polynomials \(B_{n}^{(s)}(x)\) of order s. In the next result, one expresses the degenerate poly-Cauchy polynomials with a q parameter in terms of Bernoulli polynomials of order s.

As analogs of (1.2) and (1.3), one defines the numbers \(\mathbb{C}_{n,q}^{(s)}\) and \(\widehat{\mathbb{C}}_{n,q}^{(s)}\) as \((\frac{q((1+qt)^{\frac{1}{q}}-1)}{\log(1+qt)} )^{s}=\sum_{m\geq 0}\mathbb{C}_{n,q}^{(s)}\frac{t^{n}}{n!}\) and \((\frac{q(1-(1+qt)^{-\frac{1}{q}})}{\log(1+qt)} )^{s} =\sum_{m\geq0}\widehat{\mathbb{C}}_{n,q}^{(s)}\frac{t^{n}}{n!}\).

Theorem 4.1

For all \(n\geq0\),

$$\begin{aligned} &C_{n,q}^{(k)}(\lambda,x)=\sum_{m=0}^{n} \Biggl(\sum_{\ell=m}^{n}\sum _{j=0}^{n-\ell}\binom{n}{\ell}\binom{n-\ell}{j}q^{\ell-m} S_{1}(\ell ,m)C_{j,q}^{(k)}(\lambda,0) \mathbb{C}_{n-\ell-j,q}^{(s)} \Biggr)B_{m}^{(s)}(x), \\ &\widehat{C}_{n,q}^{(k)}(\lambda,x)=\sum _{m=0}^{n} \Biggl( (-1 )^{m}\sum _{\ell=m}^{n}\sum_{j=0}^{n-\ell} \binom{n}{\ell}\binom{n-\ell }{j}q^{\ell-m} S_{1}(\ell,m) \widehat{C}_{j,q}^{(k)}(\lambda,0)\widehat { \mathbb{C}}_{n-\ell-j,q}^{(s)} \Biggr)B_{m}^{(s)}(x). \end{aligned}$$

Proof

Due to the similarity between the degenerate poly-Cauchy polynomials with a q parameter of the first kind and of the second kind, only the proof details of the first identity will be provided, where the proof details of the second one are omitted. Let \(C_{n,q}^{(k)}(\lambda,x)=\sum_{m=0}^{n}c_{n,m}B_{m}^{(s)}(x)\). Then by (1.4), (4.1) and (2.6), one obtains

$$\begin{aligned} c_{n,m}&=\frac{1}{m!} \biggl\langle \biggl(\frac{q((1+qt)^{\frac {1}{q}}-1)}{\log(1+qt)} \biggr)^{s} \operatorname{Lif}_{k} \biggl(\frac{(1+qt)^{\lambda}-1}{q\lambda} \biggr)\Big|\biggl(\frac{1}{q}\log (1+qt)\biggr)^{m}x^{n} \biggr\rangle , \end{aligned}$$

which, by (2.1) and (1.2), implies

$$\begin{aligned} c_{n,m} &=\frac{1}{q^{m}}\sum_{\ell=m}^{n} \binom{n}{\ell}q^{\ell}S_{1}(\ell,m) \biggl\langle \biggl( \frac{q((1+qt)^{\frac{1}{q}}-1)}{\log(1+qt)} \biggr)^{s}\Big|\operatorname{Lif}_{k} \biggl( \frac{(1+qt)^{\lambda}-1}{q\lambda} \biggr)x^{n-\ell} \biggr\rangle \\ &=\frac{1}{q^{m}}\sum_{\ell=m}^{n} \binom{n}{\ell}q^{\ell}S_{1}(\ell,m) \Biggl\langle \biggl( \frac{q((1+qt)^{\frac{1}{q}}-1)}{\log(1+qt)} \biggr)^{s}\Big|\sum_{j=0}^{n-\ell}C_{j,q}^{(k)}( \lambda,0)\frac{t^{j}}{j!}x^{n-\ell} \Biggr\rangle \\ &=\frac{1}{q^{m}}\sum_{\ell=m}^{n}\sum _{j=0}^{n-\ell}\binom{n}{\ell} \binom {n-\ell}{j}q^{\ell}S_{1}(\ell,m)C_{j,q}^{(k)}( \lambda,0) \biggl\langle \biggl(\frac{q((1+qt)^{\frac{1}{q}}-1)}{\log(1+qt)} \biggr)^{s}\Big|x^{n-\ell -j} \biggr\rangle , \end{aligned}$$

which implies \(c_{n,m} =\sum_{\ell=m}^{n}\sum_{j=0}^{n-\ell}\binom{n}{\ell}\binom{n-\ell }{j}q^{\ell-m} S_{1}(\ell,m)C_{j,q}^{(k)}(\lambda,0)\mathbb{C}_{n-\ell -j,q}^{(s)}\), as required. □

Using similar techniques to the proof of the previous theorem, one can express the degenerate poly-Cauchy polynomials in terms of other families, for instance, Frobenius-Euler polynomials (the proof is left to the interested reader). Note that the Frobenius-Euler polynomials \(H_{n}^{(s)}(x|\mu)\) of order s are defined by the generating function \((\frac{1-\mu}{e^{t}-\mu} )^{s} e^{xt}=\sum_{n\geq 0}H_{n}^{(s)}(x|\mu)\frac{t^{n}}{n!}\) (\(\mu\neq1\)), or equivalently, \(H_{n}^{(s)}(x|\mu)\sim ( (\frac{e^{t}-\mu}{1-\mu} )^{s},t )\) (see [29, 30, 33, 34]).

Theorem 4.2

For all \(n\geq0\),

$$\begin{aligned}& \begin{aligned}[b] C_{n,q}^{(k)}(\lambda,x)={}&\sum_{m=0}^{n} \Biggl(\frac{\mu^{s}}{(1-\mu)^{s}}\sum_{\ell=m}^{n} \sum_{j=0}^{n-\ell}\sum _{i=0}^{s} \frac{\binom{n}{\ell}\binom{n-\ell}{j}\binom{s}{i}q^{\ell-m}}{(-\mu )^{i}}S_{1}( \ell,m) (i|q)_{n-\ell-j}C_{j,q}^{(k)}(\lambda,0) \Biggr)\\ &{}\times H_{m}^{(s)}(x|\mu), \end{aligned}\\& \begin{aligned}[b] \widehat{C}_{n,q}^{(k)}(\lambda,x)={}& \sum _{m=0}^{n} \Biggl(\frac{\mu^{s}}{(\mu -1)^{s}}\sum _{\ell=m}^{n}\sum_{j=0}^{n-\ell} \sum_{i=0}^{s} \frac{(-1)^{m}\binom{n}{\ell}\binom{n-\ell}{j}\binom{s}{i}q^{\ell -m}}{(-\mu)^{i}}\\ &{}\times S_{1}( \ell,m) (-i|q)_{n-\ell-j}\widehat {C}_{j,q}^{(k)}(\lambda,0) \Biggr) H_{m}^{(s)}(x|\mu). \end{aligned} \end{aligned}$$

As another example, one can express our degenerate poly-Cauchy polynomials in terms of the rising factorials \((x|q)^{(m)}=x(x+q)\cdots (x+(m-1)q)\), as follows. Using the fact that \((x|q)^{(n)}\sim(1,\frac {1-e^{-qt}}{q})\) with (1.2), (1.3), and (4.1), one obtains the following result.

Theorem 4.3

For all \(n\geq0\),

$$\begin{aligned} &C_{n,q}^{(k)}(\lambda,x)=\sum_{m=0}^{n} \binom {n}{m}C_{n-m,q}^{(k)}(\lambda,-qm) (x|q)^{(m)},\\ &\widehat {C}_{n,q}^{(k)}(\lambda,x)=\sum _{m=0}^{n}(-1)^{m} \binom{n}{m}\widehat {C}_{n-m,q}^{(k)}(\lambda,0) (x|q)^{(m)}. \end{aligned}$$

References

  1. Komatsu, T: Poly-Cauchy numbers with a q-parameter. Ramanujan J. 31, 353-371 (2013)

    MATH  MathSciNet  Article  Google Scholar 

  2. Dolgy, DV, Kim, DS, Kim, T, Mansour, T: Degenerate poly-Cauchy polynomials. Appl. Math. Comput. 269, 637-646 (2015)

    MathSciNet  Article  Google Scholar 

  3. Carlitz, L: A degenerate Staudt-Clausen theorem. Arch. Math. 7, 28-33 (1956)

    MATH  Article  Google Scholar 

  4. Carlitz, L: Degenerate Stirling, Bernoulli and Eulerian numbers. Util. Math. 15, 51-88 (1979)

    MATH  Google Scholar 

  5. Ustinov, AV: Korobov polynomials and umbral analysis. Chebyshevskiĭ Sb. 4(4(8)), 137-152 (2003)

    MATH  MathSciNet  Google Scholar 

  6. Korobov, NM: Special polynomials and their applications. Diophantine approximations. Math. Notes 2, 77-89 (1996)

    MathSciNet  Google Scholar 

  7. Korobov, NM: On some properties of special polynomials. In: Proceedings of the IV International Conference ‘Modern Problems of Number Theory and Its Applications’, Tula, 2001, vol. 1, pp. 40-49 (2001) (in Russian)

    Google Scholar 

  8. Kim, DS, Kim, T: Some identities of degenerate Euler polynomials arising from p-adic fermionic integrals on \(\mathbb{Z}_{p}\). Integral Transforms Spec. Funct. 26(4), 295-302 (2015)

    MATH  MathSciNet  Article  Google Scholar 

  9. Kim, DS, Kim, T: A note on degenerate poly-Bernoulli numbers and polynomials. Adv. Differ. Equ. 2015, 258 (2015)

    Article  Google Scholar 

  10. Kim, DS, Kim, T: Some identities of degenerate special polynomials. Open Math. 13, 380-389 (2015)

    MathSciNet  Article  Google Scholar 

  11. Kim, DS, Kim, T, Dolgy, DV: A note on degenerate Bernoulli numbers and polynomials associated with p-adic invariant integral on \(\mathbb{Z}_{p}\). Appl. Math. Comput. 259, 198-204 (2015)

    MathSciNet  Article  Google Scholar 

  12. Kim, DS, Kim, T, Dolgy, DV: Degenerate q-Euler polynomials. Adv. Differ. Equ. 2015, 246 (2015)

    Article  Google Scholar 

  13. Kim, DS, Kim, T, Kwon, HI, Mansour, T: Degenerate poly-Bernoulli polynomials with umbral calculus viewpoint. J. Inequal. Appl. 2015, 228 (2015)

    MathSciNet  Article  Google Scholar 

  14. Roman, S: More on the umbral calculus, with emphasis on the q-umbral calculus. J. Math. Anal. Appl. 107, 222-254 (1985)

    MATH  MathSciNet  Article  Google Scholar 

  15. Roman, S: The Umbral Calculus. Dover, New York (2005)

    Google Scholar 

  16. Agapito, J: Riordan arrays from an umbral symbolic viewpoint. Bol. Soc. Port. Mat. 5-8 (2012) (special issue)

  17. Araci, S: Novel identities involving Genocchi numbers and polynomials arising from applications of umbral calculus. Appl. Math. Comput. 233, 599-607 (2014)

    MathSciNet  Article  Google Scholar 

  18. Biedenharn, LC, Gustafson, RA, Lohe, MA, Louck, JD, Milne, SC: Special functions and group theory in theoretical physics. In: Special Functions: Group Theoretical Aspects and Applications. Math. Appl., pp. 129-162. Reidel, Dordrecht (1984)

    Chapter  Google Scholar 

  19. Di Bucchianico, A, Loeb, D: A selected survey of umbral calculus. Electron. J. Comb. 2, DS3 (2000)

    Google Scholar 

  20. Dattoli, G, Levi, D, Winternitz, P: Heisenberg algebra, umbral calculus and orthogonal polynomials. J. Math. Phys. 49(5), 053509 (2008)

    MathSciNet  Article  Google Scholar 

  21. Sen, E: Theorems on Apostol-Euler polynomials of higher order arising from Euler basis. Adv. Stud. Contemp. Math. (Kyungshang) 23(2), 337-345, 433-438 (2013)

    MATH  MathSciNet  Google Scholar 

  22. Kim, DS, Kim, T: Higher-order Cauchy of the first kind and poly-Cauchy of the first kind mixed type polynomials. Adv. Stud. Contemp. Math. (Kyungshang) 23(4), 621-636 (2013)

    MATH  MathSciNet  Google Scholar 

  23. Araci, S, Acikgoz, M, Kilicman, A: Extended p-adic q-invariant integrals on \(\Bbb{Z}_{p}\) associated with applications of umbral calculus. Adv. Differ. Equ. 2013, 96 (2013)

    MathSciNet  Article  Google Scholar 

  24. Qi, F, Wang, T: Umbral calculus and invariant sequences. Ars Comb. 101, 257-264 (2011)

    Google Scholar 

  25. Kim, T, Mansour, T: Umbral calculus associated with Frobenius-type Eulerian polynomials. Russ. J. Math. Phys. 21(4), 484-493 (2014)

    MathSciNet  Article  Google Scholar 

  26. Wilson, BG, Rogers, FG: Umbral calculus and the theory of multispecies nonideal gases. Physica A 139, 359-386 (1986)

    MATH  MathSciNet  Article  Google Scholar 

  27. Kim, DS, Kim, T: Poly-Cauchy numbers and polynomials of the second kind with umbral calculus viewpoint. Adv. Differ. Equ. 2014, 36 (2014)

    Article  Google Scholar 

  28. Gasper, G, Rahman, M: Basic Hypergeometric Series. With a foreword by Richard Askey. Encyclopedia of Mathematics and Its Applications, vol. 35. Cambridge University Press, Cambridge (1990)

    MATH  Google Scholar 

  29. Bayad, A, Kim, T: Identities involving values of Bernstein, q-Bernoulli, and q-Euler polynomials. Russ. J. Math. Phys. 18(2), 133-143 (2011)

    MATH  MathSciNet  Article  Google Scholar 

  30. Ding, D, Yang, J: Some identities related to the Apostol-Euler and Apostol-Bernoulli polynomials. Adv. Stud. Contemp. Math. 20(1), 7-21 (2010)

    MATH  MathSciNet  Google Scholar 

  31. Kim, DS, Kim, T: A note on poly-Bernoulli and higher-order poly-Bernoulli polynomials. Russ. J. Math. Phys. 22, 26-33 (2015)

    MathSciNet  Article  Google Scholar 

  32. Kim, DS, Kim, T, Lee, S-H, Rim, S-H: Umbral calculus and Euler polynomials. Ars Comb. 112, 293-306 (2013)

    MATH  MathSciNet  Google Scholar 

  33. Araci, S, Acikgoz, M: A note on the Frobenius-Euler numbers and polynomials associated with Bernstein polynomials. Adv. Stud. Contemp. Math. 22(3), 399-406 (2012)

    MATH  MathSciNet  Google Scholar 

  34. Kim, T: Identities involving Laguerre polynomials derived from umbral calculus. Russ. J. Math. Phys. 21(1), 36-45 (2014)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The second author was appointed as a chair professor at Tianjin polytechnic University by Tianjin city in China from August 2015 to August 2019. We would like to express our gratitude to Professor Toufik Mansour for his comments and improvements. Our thanks also go to the referees for their comments and suggestions, which improved the present paper greatly. The work reported in this paper was conducted during the sabbatical year of Kwangwoon University in 2014.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Taekyun Kim.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally and significantly in writing this article. 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

Verify currency and authenticity via CrossMark

Cite this article

Kim, D.S., Kim, T. & Dolgy, D.V. Degenerate poly-Cauchy polynomials with a q parameter. J Inequal Appl 2015, 364 (2015). https://doi.org/10.1186/s13660-015-0891-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-015-0891-1

MSC

  • 05A19
  • 05A40
  • 11B83

Keywords

  • degenerate poly-Cauchy polynomials with a q parameter
  • umbral calculus