Skip to main content

Theory and Modern Applications

Powers under umbral composition and degeneration for Sheffer sequences

Abstract

In this paper we study the powers under umbral composition and degeneration for Sheffer sequences, where we presented several applications related to Bernoulli polynomials, Frobenius-Euler polynomials, falling factorial polynomials and Bell polynomials and their degeneration cases.

1 Introduction

The aim of this paper is to use umbral calculus and to study powers under umbral composition and degeneration for Sheffer sequences. Umbral calculus (see [1, 2]) has been used in numerous problems of applied mathematics, theoretical physics, approximation theory, and several diverse areas of mathematics. In this paper, umbral calculus is considered for some special Sheffer polynomials (to be defined in next section) such as Bell polynomials, Bernoulli polynomials, Frobenius-Euler polynomials, Korobov polynomials, degenerate Bernoulli polynomials, and falling factorial polynomials.

The order \(O(f(t))\) of the non-zero power series \(f(t)\) is the smallest integer k for which the coefficient of \(t^{k}\) does not vanish. A series \(g(t)\) with \(O(g(t))=0\) is called an invertible series and a series \(f(t)\) with \(O(f(t))=1\) is called a delta series.

Let \(g(t)\) be an invertible series and let \(f(t)\) be a delta series. Then there exists a unique sequence \(s_{n}(x)\) of polynomials such that \(\langle g(t)f(t)^{k}|s_{n}(x)\rangle=n!\delta_{n,k}\), for \(n,k\geq0\) (see [2]). The sequence \(s_{n}(x)\) is called the Sheffer sequence for the Sheffer pair \((g(t),f(t))\), which is indicated by \(s_{n}(x)\sim (g(t),f(t))\). It is well known that \(s_{n}(x)\sim(g(t),f(t))\) if and only if

$$\frac{1}{g(\bar{f}(t))}e^{x\bar{f}(t)}=\sum_{n\geq0}s_{n}(x) \frac{t^{n}}{n!}, $$

where \(\bar{f}(t)\) is the compositional inverse of \(f(t)\) determined by \(f(\bar{f}(t))=\bar{f}(f(t))=t\).

For each nonnegative integer m, the mth power of an invertible series \(g(t)\) will be indicated by \((g(t))^{m}\), while the compositional powers of a delta series \(f(t)\) will be denoted by \(f^{m}(t)=f\circ f\circ \cdots\circ f(t)\). For \(p_{n}(x)\) and \(q_{n}(x)=\sum_{k=0}^{n}q_{n,k}t^{k}\), the umbral composition of \(q_{n}(x)\) with \(p_{n}(x)\), denoted by \(q_{n}\circ p_{n}(x)\), is defined by \(q_{n}\circ p_{n}(x)=\sum_{k=0}^{n} q_{n,k}p_{k}(x)\). The main goal of this paper is to study the powers under umbral composition and degeneration for Sheffer sequences. Moreover, we present several applications related to Bernoulli polynomials, Frobenius-Euler polynomials, falling factorial polynomials and Bell polynomials and their degeneration cases (for definitions, see below). For instance, see Corollaries 3.2, 3.4, 3.6, and 3.8.

2 Preliminaries: powers under umbral composition and degeneration for Sheffer sequences

We start by stating the following theorem, which is given as Theorem 3.5.5 in Roman’s book [2].

Theorem 2.1

The set of Sheffer sequences is a group under operation of umbral composition. If \(s_{n}(x)\sim(g(t),f(t))\) and \(r_{n}(x)\sim(h(t),\ell(t))\), then \(r_{n}(x)\circ s_{n}(x)\sim(g(t)h(f(t)),\ell(f(t)))\). The identity under umbral composition is \(x^{n}\sim(1,t)\), and the inverse of the sequence \(s_{n}(x)\sim(g(t),f(t))\) is the Sheffer sequence for \((g(\bar {f}(t))^{-1},\bar{f}(t))\).

As a corollary, we see that, if \(s_{n}(x)\sim(g(t),f(t))\) and \(r_{n}(x)\sim (1,\ell(t))\), then the generating function for \(r_{n}\circ s_{n}(x)\) is obtained from that for \(s_{n}(x)\) by substituting \(\bar{\ell}(t)\) for t. As \(r_{n}\circ s_{n}(x)\sim(g(t),\ell(f(t)))\), and the compositional inverse of \(\ell(f(t))\) is \(\bar{f}(\bar{\ell}(t))\),

$$\begin{aligned} g\bigl(\bar{f}\bigl(\bar{\ell}(t)\bigr)\bigr)^{-1}e^{x\bar{f}(\bar{\ell}(t))}= \sum_{n\geq 0}r_{n}\circ s_{n}(x) \frac{t^{n}}{n!}. \end{aligned}$$
(1)

From the definition of umbral composition, we see that the mth power under umbral composition of \(r_{n}(x)\sim(h(t),\ell(t))\) is given by

$$\begin{aligned} r_{n}^{(m)}(x)\sim \Biggl(\prod _{i=1}^{m-1}h\bigl(\ell^{i}(t)\bigr), \ell^{m}(t) \Biggr), \end{aligned}$$
(2)

for \(m\in\mathbb{Z}_{>0}\). In particular, for the Appel sequence \(r_{n}(x)\sim(h(t),t)\), we have \(r_{n}^{(m)}(x)\sim((h(t))^{m},t)\); for the associated sequence \(r_{n}(x)\sim(1,\ell(t))\), we have \(r_{n}^{(m)}(x)\sim (1,\ell^{m}(t))\).

For \(n\geq0\), we write \(r_{n}(x)=\sum_{k=0}^{n} r_{n,k}x^{k}=\sum_{k\geq 0}r_{n,k}x^{k}\), where we agree that \(r_{i,j}=0\) for all \(i< j\). In general, we write

$$r_{n}^{(m)}(x)=\sum_{k-0}^{n}r_{n,k}^{(m)}x^{k}= \sum_{k\geq0}r_{n,k}^{(m)}x^{k}, $$

for all \(m\in\mathbb{Z}_{>0}\). Then we see that

$$\begin{aligned} &r^{(m)}_{n,k}=\sum_{\ell_{1},\ldots,\ell_{m-1}=0}^{n}r_{n,\ell_{1}}r_{\ell _{1},\ell_{2}} \cdots r_{\ell_{m-1},k},\quad m\geq2,\\ &r_{n,k}^{(1)}=r_{n,k} \end{aligned}$$
(3)

(from now on, the sum in (3) is understood as \(r_{n,k}\) for \(m=1\)). From (2), the generating function for \(r_{n}^{(m)}(x)\) is given by

$$\sum_{n\geq0}r_{n}^{(m)}(x) \frac{t^{n}}{n!}=\frac{1}{\prod_{i=0}^{m-1}h(\ell ^{i}(\bar{\ell}^{m}(t)))}e^{x\bar{\ell}^{m}(t)} = \frac{1}{\prod_{i=0}^{m-1}h(\bar{\ell}^{m-i}(t))}e^{x\bar{\ell}^{m}(t)}. $$

Let \(R=R_{h(t),\ell(t)}\) be the lower triangular matrix of infinite size where rows and columns are indexed by nonnegative integers and the nth row consists of the coefficients of \(r_{n}(x)\), namely \(r_{n,0},\ldots,r_{n,n},0,0,\ldots\) . Then, as was noted in [3], from (3) we see that \(r_{n,k}^{(m)}\) is the \((n,k)\)-entry of \(R^{m}\).

Let \(r_{n}(x)=\sum_{k=0}^{n} r_{n,k}x^{k}\sim(h(t),t)\). Thus, by (2), we have

$$r_{n}^{(m)}(x)=\sum_{k=0}^{n}r_{n,k}^{(m)}x^{k} \sim\bigl(\bigl(h(t)\bigr)^{m},t\bigr). $$

Observe here that the notation \(r_{n}^{(m)}(x)\) for the mth power of \(r_{n}(x)\) under umbral composition agrees with that for mth order polynomial of \(r_{n}(x)\).

Now let us give two examples. At first, let \(\alpha>0\). Let us first consider the Bernoulli polynomials \(B_{n}^{(\alpha)}(x)\) of order α (see [4]). So, if

$$\begin{aligned} r_{n}(x)&=B_{n}^{(\alpha)}(x)=\sum _{k=0}^{n}\binom{n}{k}B_{n-k}^{(\alpha )}x^{k} \sim \biggl( \biggl(\frac{e^{t}-1}{t} \biggr)^{\alpha},t \biggr), \end{aligned}$$

then

$$\begin{aligned} r_{n}^{(m)}(x)&=B_{n}^{(\alpha m)}(x)=\sum _{k=0}^{n}\binom {n}{k}B_{n-k}^{(\alpha m)}x^{k} \sim \biggl( \biggl(\frac{e^{t}-1}{t} \biggr)^{\alpha m},t \biggr). \end{aligned}$$

Thus, from (3), we get the following result.

Theorem 2.2

For all \(n\geq k\geq0\) and \(\alpha,m\in\mathbb{Z}_{>0}\),

$$\binom{n}{k}B_{n-k}^{(\alpha m)}= \sum _{\ell_{1},\ldots,\ell_{m-1}=0}^{n}\binom{n}{\ell_{1}}\binom{\ell_{1}}{\ell _{2}}\cdots \binom{\ell_{m-1}}{k} B_{n-\ell_{1}}^{(\alpha)}B^{(\alpha)}_{\ell_{1}-\ell_{2}} \cdots B^{(\alpha )}_{\ell_{m-1}-k}. $$

As a second example, let us take the Frobenius-Euler polynomials \(H_{n}^{(\alpha)}(x|\lambda)\) of order α, \(1\neq\lambda\in\mathbb {C}\) (see [5–7]). So, if

$$\begin{aligned} r_{n}(x)=H_{n}^{(\alpha)}(x|\lambda)=\sum _{k=0}^{n}\binom {n}{k}H_{n,k}^{(\alpha)}( \lambda)x^{k}\sim \biggl( \biggl(\frac{e^{t}-\lambda }{1-\lambda} \biggr)^{\alpha},t \biggr), \end{aligned}$$

then

$$\begin{aligned} r_{n}^{(m)}(x)=H_{n}^{(\alpha m)}(x|\lambda)=\sum _{k=0}^{n}\binom {n}{k}H_{n,k}^{(\alpha m)}( \lambda)x^{k}\sim \biggl( \biggl(\frac{e^{t}-\lambda }{1-\lambda} \biggr)^{\alpha m},t \biggr). \end{aligned}$$

Thus, again from (3), we obtain the following result.

Theorem 2.3

For all \(n\geq k\geq0\) and \(\alpha,m\in\mathbb{Z}_{>0}\),

$$\binom{n}{k}H_{n-k}^{(\alpha m)}= \sum _{\ell_{1},\ldots,\ell_{m-1}=0}^{n}\binom{n}{\ell_{1}}\binom{\ell_{1}}{\ell _{2}}\cdots \binom{\ell_{m-1}}{k} H_{n-\ell_{1}}^{(\alpha)}(\lambda)H^{(\alpha)}_{\ell_{1}-\ell_{2}}( \lambda )\cdots H^{(\alpha)}_{\ell_{m-1}-k}(\lambda). $$

3 Powers under umbral composition applied to associated sequences

In this section, we study the powers under umbral composition applied to associated sequences. Throughout this section, let \(r_{n}(x)=\sum_{k=0}^{n} r_{n,k}x^{k}\sim(1,f(t))\) and \(r_{n}^{(m)}(x)=\sum_{k=0}^{n}r_{n,k}^{(m)}x^{k}\sim(1,f^{m}(t))\).

3.1 Generalized falling factorial polynomials

As a first interesting case, let us consider the generalized falling factorial polynomials \((x|\lambda)_{n}=x(x-\lambda)\cdots(x-(n-1)\lambda)\), for \(n\geq1\), and \((x|\lambda)_{0}=1\) (see [4]). So

$$r_{n}(x)=(x|\lambda)_{n}=\sum_{k=0}^{n} \lambda^{n-k}S_{1}(n,k)x^{k}\sim\bigl(1,f(t)\bigr) $$

with \(f(t)=\frac{e^{\lambda t}-1}{\lambda}\). Then, by (3), we obtain

$$\begin{aligned} r_{n,k}^{(m)}&=\sum_{\ell_{1},\ldots,\ell_{m-1}=0}^{n} \lambda^{n-\ell _{1}}S_{1}(n,\ell_{1})\lambda^{\ell_{1}-\ell_{2}}S_{1}( \ell_{1},\ell_{2}) \cdots\lambda^{\ell_{m-1}-k}S_{1}( \ell_{m-1},k) \\ &=\lambda^{n-k}\sum_{\ell_{1},\ldots,\ell_{m-1}=0}^{n}S_{1}(n, \ell_{1})S_{1}(\ell _{1},\ell_{2}) \cdots S_{1}(\ell_{m-1},k). \end{aligned}$$
(4)

To proceed, we recall the transfer formula (see [2]): for \(p_{n}(x)\sim(1,f(t))\) and \(q_{n}(x)\sim(1,\ell(t))\), we have \(q_{n}(x)=x(f(t)/\ell(t))^{n}x^{-1}p_{n}(x)\), for all \(n\geq1\). As \(x^{n}\sim(1,t)\), we have, for \(n\geq1\),

$$\begin{aligned} r_{n}(x)&=x \biggl(\frac{\lambda t}{e^{\lambda t}-1} \biggr)^{n}x^{-1}x^{n}=x \sum_{k\geq0}\beta_{k}^{(n)} \frac{\lambda^{k}}{k!}t^{k}x^{n-1}\\ &=x\sum_{k=0}^{n-1}\binom{n-1}{k} \lambda^{k}\beta_{k}^{(n)}x^{n-1-k}=x\sum _{k=0}^{n-1}\binom{n-1}{k} \lambda^{n-1-k}\beta_{n-1-k}^{(n)}x^{k} \\ &=\sum_{k=1}^{n}\binom{n-1}{k-1} \lambda^{n-k}\beta_{n-k}^{(n)}x^{k}. \end{aligned}$$

Thus, for \(n\geq1\), \(0\leq m\leq n-1\), we observe that

$$\bigl(f(t)\bigr)^{m}x^{-1}r_{n}(x)=\bigl(f(t) \bigr)^{m}\bigl(t/f(t)\bigr)^{n}x^{n-1}=\bigl(t/f(t) \bigr)^{n-m}t^{m}x^{n-1}. $$

Therefore,

$$\bigl(f(t)\bigr)^{m}x^{-1}r_{n}(x)=\sum _{\ell=0}^{n-1-m}\frac{(n-1)_{\ell+m}}{\ell !}\lambda^{\ell}B_{\ell}^{(n-m)}x^{n-1-\ell-m}. $$

Now, we get, for \(n\geq1\), \(r_{n}^{(2)}(x)=x(f(t)/f^{2}(t))^{n}x^{-1}r_{n}(x)\), which gives

$$\begin{aligned} r_{n}^{(2)}(x)&=x\sum_{k_{2}=0}^{n-1} B_{k_{2}}^{(n)}\frac{\lambda ^{k_{2}}}{k_{2}!}\bigl(f(t)\bigr)^{k_{2}}x^{-1}r_{n}(x) \\ &=\sum_{k_{2}=0}^{n-1}\sum _{k_{1}=0}^{n-1-k_{2}}\binom {n-1}{k_{1},k_{2},n-1-k_{1}-k_{2}}\lambda ^{k_{1}+k_{2}}B_{k_{2}}^{(n)}B_{k_{1}}^{(n-k_{2})}x^{n-k_{1}-k_{2}} \\ &=\sum_{k=1}^{n} \biggl(\sum _{k_{1}+k_{2}=n-k}\binom{n-1}{k_{1},k_{2},k-1}\lambda ^{n-k}B_{k_{2}}^{(n)}B_{k_{1}}^{(n-k_{1})} \biggr)x^{k}. \end{aligned}$$
(5)

By induction on m, we obtain the following result.

Theorem 3.1

For all \(m,n\geq1\),

$$\begin{aligned} r_{n}^{(m)}(x)=\sum_{k=1}^{n} \Biggl(\sum_{k_{1}+\cdots+k_{m}=n-k}\binom {n-1}{k_{1},\ldots,k_{m},k-1} \lambda^{n-k} \prod_{j=1}^{m}B_{k_{j}}^{(n-\sum_{i=j+1}^{m}k_{i})} \Biggr)x^{k}. \end{aligned}$$

Note that by combining the two expressions (see (4) and Theorem 3.1) for \(r_{n}^{(m)}(x)\), we obtain the same result as obtained in [8], Theorem 4:

Corollary 3.2

For all \(1\leq k\leq n\) and \(m\geq1\),

$$\begin{aligned} &\sum_{\ell_{1},\ldots,\ell_{m-1}=0}^{n}S_{1}(n, \ell_{1})S_{1}(\ell_{1},\ell_{2}) \cdots S_{1}(\ell_{m-1},k) \\ & =\sum_{k_{1}+\cdots+k_{m}=n-k}\binom{n-1}{k_{1},\ldots,k_{m},k-1} B_{k_{m}}^{(n)}B_{k_{m-1}}^{(n-k_{m})} \cdots B_{k_{1}}^{(n-k_{m}-\cdots-k_{2})}. \end{aligned}$$

Note that for \(m=1\), the above corollary reduces to \(S_{1}(n,k)=\binom {n-1}{k-1}B_{n-k}^{(n)}\).

3.2 Degenerate Bell polynomials

Now, let us take the associated sequence \(r_{n}(x)\) to \(f(t)=\frac{(1+t)^{\lambda}-1}{\lambda}\). So \(r_{n}(x)=\sum_{k=0}^{n}S_{2}(n, k|\lambda)x^{k}\sim(1,f(t))\) and \(r_{n}^{(m)}(x)=\sum_{k=0}^{n}r_{n,k}^{(m)}x^{k}\sim(1,f^{m}(t))\). Here, \(S_{2}(n,k|\lambda)\) are the degenerate Stirling numbers of the second kind obtained by \(\frac{1}{k!}((1+\lambda t)^{1/\lambda}-1)^{k} =\sum_{n\geq k}S_{2}(n,k|\lambda)\frac{t^{n}}{n!}\) (see [9]). Indeed, as \(\bar{f}(t)=(1+\lambda t)^{1/\lambda}-1\), we get

$$\begin{aligned} \sum_{n\geq0}r_{n}(x)\frac{t^{n}}{n!}&=e^{x((1+\lambda t)^{1/\lambda}-1)} =\sum_{k\geq0}\bigl((1+\lambda t)^{1/\lambda}-1 \bigr)^{k}\frac{x^{k}}{k!} \\ &=\sum_{n\geq0} \Biggl(\sum _{k=0}^{n}S_{2}(n,k|\lambda)x^{k} \Biggr)\frac{t^{n}}{n!}. \end{aligned}$$

Thus, \(r_{n}(x)=\sum_{k=0}^{n}S_{2}(n,k|\lambda)x^{k}\). As \(\lambda\rightarrow0 \), \(r_{n}(x)\) tends to the Bell polynomial \(Bel_{n}(x)=\sum_{k=0}^{n}S_{2}(n,k)x^{k}\). Hence they may be called the degenerate Bell polynomials. From (3), we obtain

$$\begin{aligned} r_{n,k}^{(m)}&=\sum_{\ell_{1},\ldots,\ell_{m-1}=0}^{n}S_{2}(n, \ell_{1}|\lambda )S_{2}(\ell_{1}, \ell_{2}|\lambda) \cdots S_{2}(\ell_{m-1},k| \lambda). \end{aligned}$$
(6)

On the other hand, from the transfer formula, we get, for \(n\geq1\), \(r_{n}(x)=x(\lambda t/((1+t)^{\lambda}-1))^{n}x^{-1}x^{n}\).

Recall that the Korobov polynomials \(K_{n,(r)}(\lambda,x)\) of order r (see [10]) are given by generating function \((\lambda t/((1+t)^{\lambda}-1))^{r}(1+t)^{n}=\sum_{n\geq0}K_{n,(r)}(\lambda ,x)\frac{t^{n}}{n!}\). For \(x=0\), \(K_{n,(r)}(\lambda)=K_{n,(r)}(\lambda ,0)\) are called the Korobov numbers of order r. Note that \(K_{n,(r)}(\lambda,x)\) should be distinguished from \(K_{n}^{(r)}(\lambda ,x)\), which denotes the rth power under umbral composition of \(K_{n}(\lambda,x)\). Thus,

$$\begin{aligned} r_{n}(x)&=x\sum_{k\geq0}K_{k,(n)}( \lambda)\frac{t^{k}}{k!}x^{n-1} =\sum_{k=1}^{n} \binom{n-1}{k-1}K_{n-k,(n)}(\lambda)x^{k}. \end{aligned}$$

To proceed further, we observe the following: for \(0\leq m\leq n-1\),

$$\begin{aligned} f(t)^{m}x^{-1}r_{n}(x)&=f(t)^{m} \bigl(t/f(t)\bigr)^{n}x^{n-1}=\bigl(t/f(t)\bigr)^{n-m}t^{m}x^{n-1} \\ &=(n-1)_{m}\bigl(\lambda t/\bigl((1+t)^{\lambda}-1\bigr) \bigr)^{n-m}x^{n-1-m} \\ &=(n-1)_{m}\sum_{\ell\geq0}K_{\ell,(n-m)}( \lambda)\frac{t^{\ell}}{\ell !}x^{n-1-m} \\ &=\sum_{\ell=0}^{n-1-m}\frac{(n-1)_{\ell+m}}{\ell!}K_{\ell ,(n-m)}( \lambda)x^{n-1-\ell-m}. \end{aligned}$$

Thus, by induction on m and (3), we can state the following formula.

Theorem 3.3

For all \(m, n\geq1\),

$$r_{n}^{(m)}(x)=\sum_{k=1}^{n} \Biggl(\sum_{k_{1}+\cdots+k_{m}=n-k}\binom {n-1}{k_{1},\ldots,k_{m},k-1}\prod _{j=1}^{m}K_{k_{j},(n-\sum _{i=j+1}^{m}k_{i})}(\lambda) \Biggr)x^{k}. $$

Combining the two expressions for \(r_{n}^{(m)}(x)\) (see (6) and Theorem 3.3), we obtain the following corollary.

Corollary 3.4

For all \(1\leq k\leq n\) and \(m\geq1\),

$$\begin{aligned} &\sum_{\ell_{1},\ldots,\ell_{m-1}=0}^{n}S_{2}(n, \ell_{1}|\lambda)S_{2}(\ell_{1},\ell _{2}|\lambda)\cdots S_{2}(\ell_{m-1},k|\lambda)\\ &\quad =\sum_{k_{1}+\cdots+k_{m}=n-k}\binom{n-1}{k_{1},\ldots ,k_{m},k-1}\prod _{j=1}^{m}K_{k_{j},(n-\sum_{i=j+1}^{m}k_{i})}(\lambda). \end{aligned}$$

Note that the above corollary with \(m=1\) shows that \(S_{2}(n,\ell _{1}|\lambda)=\binom{n-1}{k-1}K_{n-k,(n)}(\lambda)\).

3.3 Degenerate falling factorial polynomials

As for third example, let us consider the associated sequence \(r_{n}(x)\) to \(f(t)=(1+\lambda t)^{1/\lambda}-1\). So, \(r_{n}(x)=\sum_{k=0}^{n} S_{1}(n,k|\lambda)x^{k}\sim(1,f(t))\) and \(r_{n}^{(m)}(x)=\sum_{k=0}^{n} r_{n,k}^{(m)}x^{k}\sim(1,f^{m}(t))\). Here, \(S_{1}(n,k|\lambda)\) are the degenerate Stirling numbers of the first kind (see [4, 9]) given by \(\frac{1}{k!}((1+t)^{\lambda}-1)^{k}/\lambda^{k}=\sum_{n\geq k}S_{1}(n,k|\lambda )\frac{t^{n}}{n!}\). \(r_{n}(x)\) may be called the degenerate falling factorial polynomials, since, as \(\lambda\rightarrow0\), \(r_{n}(x)\) tends to the falling factorial polynomial \((x)_{n}=\sum_{k=0}^{n} S_{1}(n,k)x^{k}\). From (3), we obtain

$$\begin{aligned} &r_{n,k}^{(m)}=\sum _{\ell_{1},\ldots,\ell_{m-1}=0}^{n}S_{1}(n,\ell_{1}| \lambda )S_{1}(\ell_{1},\ell_{2}|\lambda)\cdots S_{1}(\ell_{m-1},k|\lambda). \end{aligned}$$
(7)

We recall that the degenerate Bernoulli polynomials \(\beta _{n,(r)}(\lambda,x)\) of order r are defined by the generating function

$$t^{r}/\bigl((1+\lambda t)^{1/\lambda}-1\bigr)^{r}(1+ \lambda t)^{x/\lambda}=\sum_{n\geq 0} \beta_{n,(r)}(\lambda,x)\frac{t^{n}}{n!}. $$

For \(x=0\), \(\beta_{n,(r)}(\lambda)=\beta_{n,(r)}(\lambda,0)\) are called the degenerate Bernoulli numbers of order r. Here, \(\beta _{n,(r)}(\lambda,x)\) should not be confused with \(\beta ^{(r)}_{n}(\lambda,x)\), which denotes the rth power under umbral composition of \(\beta_{n}(\lambda,x)\). So, by these definitions, for \(n\geq1\), we have

$$\begin{aligned} r_{n}(x)&=x\frac{t^{n}}{((1+\lambda t)^{1/\lambda}-1)^{n}}x^{n-1}=x\sum _{k\geq 0}\beta_{k,(n)}(\lambda)\frac{t^{k}}{k!}x^{n-1} \\ &=\sum_{k=1}^{n}\binom{n-1}{k-1} \beta_{n-k,(n)}(\lambda)x^{k}. \end{aligned}$$

Thus, for \(0\leq m\leq n-1\), we have

$$\begin{aligned} f(t)^{m}x^{-1}r_{n}(x)&=\bigl(t/f(t) \bigr)^{n-m}t^{m}x^{n-1} \\ &=(n-1)_{m}\frac{t^{n-m}}{((1+\lambda t)^{1/\lambda}-1)^{n-m}}x^{n-1-m} \\ &=\sum_{\ell=0}^{n-1-m}\frac{(n-1)_{\ell+m}}{\ell!} \beta_{\ell ,(n-m)}(\lambda)x^{n-1-\ell-m}. \end{aligned}$$

By using similar arguments to (5), we obtain

$$\begin{aligned} r_{n}^{(2)}(x)&=x\bigl(f(t)/f^{2}(t) \bigr)^{n}x^{-1}r_{n}(x) \\ &=\sum_{k=1}^{n} \biggl(\sum _{k_{+}k_{2}=n-k}\binom{n-1}{k_{1},k_{2},k-1}\beta _{k_{2},(n)}(\lambda) \beta_{k_{1},(n-k_{2})}(\lambda) \biggr)x^{k}. \end{aligned}$$

Hence, by induction on m, we derive the following result.

Theorem 3.5

For all \(m, n\geq1\),

$$r_{n}^{(m)}(x)=\sum_{k=1}^{n} \Biggl(\sum_{k_{1}+\cdots+k_{m}=n-k}\binom {n-1}{k_{1},\ldots,k_{m},k-1}\prod _{j=1}^{m}\beta_{k_{j},(n-\sum _{i=j+1}^{m}k_{i})}(\lambda) \Biggr)x^{k}. $$

Combining the two expressions for \(r_{n}^{(m)}(x)\) (see (7) and Theorem 3.5), we obtain the following corollary.

Corollary 3.6

For all \(1\leq k\leq n\) and \(m\geq1\),

$$\begin{aligned} &\sum_{\ell_{1},\ldots,\ell_{m-1}=0}^{n}S_{1}(n, \ell_{1}|\lambda)S_{1}(\ell_{1},\ell _{2}|\lambda)\cdots S_{1}(\ell_{m-1},k|\lambda)\\ &\quad =\sum_{k_{1}+\cdots+k_{m}=n-k}\binom{n-1}{k_{1},\ldots ,k_{m},k-1}\prod _{j=1}^{m}\beta_{k_{j},(n-\sum_{i=j+1}^{m}k_{i})}(\lambda). \end{aligned}$$

Note that the above corollary with \(m=1\) shows that \(S_{1}(n,k|\lambda )=\binom{n-1}{k-1}\beta_{n-k,(n)}(\lambda)\).

3.4 Generalized Bell polynomials

One more example is Bell polynomials, also called the exponential polynomials, which are given by the generating function \(e^{x(e^{t}-1)}=\sum_{n\geq0}Bel_{n}(x)\frac {t^{n}}{n!}\) (see [4]). Let \(r_{n}(x)=\lambda^{n}Bel_{n}(x/\lambda) =\sum_{k=0}^{n}\lambda^{n-k}S_{n}(n,k)x^{k}\sim(1,f(t))\) with \(f(t)=\frac {1}{\lambda}\log(1+\lambda t)\). Thus, \(\bar{f}(t)=\frac{e^{\lambda t}-1}{\lambda}\), which implies

$$\begin{aligned} \sum_{n\geq0}r_{n}(x)\frac{t^{n}}{n!}&=e^{\frac{x}{\lambda}(e^{\lambda t}-1)}= \sum_{n\geq0}\lambda^{n}Bel_{n}(x/ \lambda)\frac{t^{n}}{n!} \\ &=\sum_{n\geq0} \Biggl(\sum _{k=0}^{n}\lambda^{n-k}S_{2}(n,k)x^{k} \Biggr)\frac{t^{n}}{n!}. \end{aligned}$$

Thus, from (3), we get

$$\begin{aligned} r_{n,k}^{(m)}=\lambda^{n-k}\sum _{\ell_{1},\ldots,\ell_{m-1}=0}^{n} S_{2}(n, \ell_{1})S_{2}(\ell_{1},\ell_{2})\cdots S_{2}(\ell_{m-1},k). \end{aligned}$$
(8)

To proceed we recall that the Bernoulli polynomials of the second kind \(b_{n,(r)}(x)\) of order r are given by the generating function

$$\bigl(t/\log(1+t)\bigr)^{r}(1+t)^{x}=\sum _{n\geq0}b_{n,(r)}(x)\frac{t^{n}}{n!} $$

(see [4]). For \(x=0\), \(b_{n,(r)}=b_{n,(r)}(0)\) are the Bernoulli numbers of the second kind of order r. Here, \(b_{n,(r)}(x)\) should be distinguished from \(b_{n}^{(r)}(x)\), which denotes the rth power under umbral composition of \(b_{n}(x)\). So, for \(n\geq1\),

$$\begin{aligned} r_{n}(x)&=x \biggl(\frac{\lambda t}{\log(1+\lambda t)} \biggr)^{n}x^{n-1} =x\sum_{k\geq0}b_{k,(n)}\frac{\lambda^{k}t^{k}}{k!}x^{n-1} \\ &=\sum_{k=1}^{n}\binom{n-1}{k-1} \lambda^{n-k}b_{n-k,(n)}x^{k}. \end{aligned}$$

For \(0\leq m\leq n-1\), we observe that

$$f(t)^{m}x^{-1}r_{n}(x)=\bigl(t/f(t) \bigr)^{n-m}t^{m}x^{n-1}=\sum _{\ell=0}^{n-1-m}\frac {(n-1)_{\ell+m}}{\ell!}\lambda^{\ell}b_{\ell,(n-m)}x^{n-1-\ell-m}. $$

Thus, by induction on m (similar to Theorem 3.1), one can obtain the following formula.

Theorem 3.7

For all \(m, n\geq1\),

$$r_{n}^{(m)}(x)=\sum_{k=1}^{n} \Biggl(\sum_{k_{1}+\cdots+k_{m}=n-k}\lambda ^{n-k} \binom{n-1}{k_{1},\ldots,k_{m},k-1}\prod_{j=1}^{m}b_{k_{j},(n-\sum _{i=j+1}^{m}k_{i})} \Biggr)x^{k}. $$

Combining the two expressions for \(r_{n}^{(m)}(x)\) (see (8) and Theorem 3.7), we obtain the following corollary.

Corollary 3.8

For all \(1\leq k\leq n\) and \(m\geq1\),

$$\begin{aligned} &\sum_{\ell_{1},\ldots,\ell_{m-1}=0}^{n}S_{2}(n, \ell_{1})S_{2}(\ell_{1},\ell _{2})\cdots S_{2}(\ell_{m-1},k)\\ &\quad =\sum_{k_{1}+\cdots+k_{m}=n-k}\binom{n-1}{k_{1},\ldots ,k_{m},k-1}\prod _{j=1}^{m}b_{k_{j},(n-\sum_{i=j+1}^{m}k_{i})}. \end{aligned}$$

Note that the above corollary with \(m=1\) shows that \(S_{2}(n,k)=\binom {n-1}{k-1}b_{n-k,(n)}\).

4 Degenerations of Sheffer sequences

Let \(s_{n}(x)\sim(g(t),f(t))\) and \(r_{n}(x)\sim(1,\ell(t))\). Then \(g(\bar{f}(t))^{-1}e^{x\bar{f}(t)}=\sum_{n\geq0}s_{n}(x)\frac{t^{n}}{n!}\). In view of Theorem 2.1 and (1), we have

$$\begin{aligned} g\bigl(\bar{f}\bigl(\bar{\ell}^{m}(t)\bigr)\bigr)^{-1}e^{x\bar{f}(\bar{\ell}^{m}(t))}= \sum_{n\geq0}r_{n}^{(m)}\circ s_{n}(x)\frac{t^{n}}{n!}. \end{aligned}$$

In other words, the generating function for \(r_{n}^{(m)}\circ s_{n}(x)\) is obtained from that of \(s_{n}(x)\) by replacing t by \(\bar{\ell}(t)\) exactly m times. In particular, for \(\ell(t)=\frac{1}{\lambda}(e^{\lambda t}-1)\) (resp. \(\ell(t)=\frac{1}{\lambda}\log(1+\lambda t)\)), \(r_{n}^{(m)}\circ s_{n}(x)\) will be called the mth degeneration of \(s_{n}(x)\) by \(\bar{\ell }(t)=\frac{1}{\lambda}\log(1+\lambda t)\) (resp. \(\ell(t)=\frac {1}{\lambda}(e^{\lambda t}-1)\)).

The research in this section was motivated by the following example (see [8]) \(b_{n}(x)\sim(t/(e^{t}-1),e^{t}-1)=(g(t),f(t))\) and \(r_{n}(x)=(x|\lambda)_{n}\sim(1,(e^{\lambda t}-1)/\lambda)=(1,\ell(t))\). Note here that \(b_{n}(x)\) is the Bernoulli polynomial of the second kind whose generating function is given by

$$\begin{aligned} \frac{t}{\log(1+t)}(1+t)^{x}=\sum _{n\geq0}b_{n}(x)\frac{t^{n}}{n!}. \end{aligned}$$
(9)

From this consideration, we see that the generating function of \(r_{n}^{(m)}\circ b_{n}(x)\), the mth degeneration of \(b_{n}(x)\) by \(\bar {\ell}(t)=\frac{1}{\lambda}\log(1+\lambda t)\), is obtained from \(b_{n}(x)\) in (9) by replacing t by \(\frac{1}{\lambda}\log (1+\lambda t)\) exactly m times. The polynomial \(r_{n}^{(m)}\circ b_{n}(x)\) is denoted by \(c_{n,\lambda}^{(m)}(x)\) in [8] and is given by

$$c_{n,\lambda}^{(m)}(x)=\sum_{k=0}^{n} \lambda^{n-k} \Biggl(\sum_{\ell _{1},\ldots,\ell_{m-1}=0}^{n}S_{1}(n, \ell_{1}) S_{1}(\ell_{1},\ell_{2}) \cdots S_{1}(\ell_{m-1},k) \Biggr)b_{k}(x). $$

This agrees with the result in [8].

In general, the mth degeneration of \(s_{n}(x)\sim(g(t),f(t))\) by \(\bar {\ell}(t)=\frac{1}{\lambda}\log(1+\lambda t)\) is given by

$$r_{n}^{(m)}\circ s_{n}(x)=\sum _{k=0}^{n}\lambda^{n-k} \Biggl(\sum _{\ell_{1},\ldots ,\ell_{m-1}=0}^{n}S_{1}(n,\ell_{1}) S_{1}(\ell_{1},\ell_{2})\cdots S_{1}( \ell_{m-1},k) \Biggr)s_{k}(x), $$

where \(r_{n}(x)\sim(1,(e^{\lambda t}-1)/\lambda)=(1,\ell(t))\).

Also, the mth degeneration of \(s_{n}(x)\sim(g(t),f(t))\) by \(\bar{\ell }(t)=\frac{1}{\lambda}(e^{\lambda t}-1)\) is given by

$$r_{n}^{(m)}\circ s_{n}(x)=\sum _{k=0}^{n}\lambda^{n-k} \Biggl(\sum _{\ell_{1},\ldots ,\ell_{m-1}=0}^{n}S_{2}(n,\ell_{1}) S_{2}(\ell_{1},\ell_{2})\cdots S_{2}( \ell_{m-1},k) \Biggr)s_{k}(x), $$

where \(r_{n}(x)\sim(1,\log(1+\lambda t)/\lambda)=(1,\ell(t))\). On the other hand,

$$r_{n}^{(m)}\circ s_{n}(x)=\sum _{k=0}^{n} \Biggl(\sum_{\ell_{1},\ldots,\ell _{m-1}=0}^{n}S_{2}(n, \ell_{1}|\lambda) S_{2}(\ell_{1}, \ell_{2}|\lambda)\cdots S_{2}(\ell_{m-1},k|\lambda) \Biggr)s_{k}(x) $$

are polynomials whose generating function is obtained from that of \(s_{n}(x)\sim(g(t),f(t))\) by replacing t by \(\bar{\ell}(t)=(1+\lambda t)^{1/\lambda}-1\) exactly m times (here \(r_{n}(x)\sim(1,\ell (t))=(1,((1+t)^{\lambda}-1)/\lambda)\)).

In addition,

$$r_{n}^{(m)}\circ s_{n}(x)=\sum _{k=0}^{n} \Biggl(\sum_{\ell_{1},\ldots,\ell _{m-1}=0}^{n}S_{1}(n, \ell_{1}|\lambda) S_{1}(\ell_{1}, \ell_{2}|\lambda)\cdots S_{1}(\ell_{m-1},k|\lambda) \Biggr)s_{k}(x) $$

are the polynomials whose generating function is obtained from that of \(s_{n}(x)\sim(g(t),f(t))\) by replacing t by \(\bar{\ell }(t)=((1+t)^{\lambda}-1)/\lambda\) exactly m times (here \(r_{n}(x)\sim (1,\ell(t))=(1,(1+\lambda t)^{1/\lambda}-1)\)).

References

  1. Ruiz, JA: Riordan arrays from an umbral symbolic viewpoint. Bol. Soc. Port. Mat. 2012, 5-8 (2012)

    MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  3. Kim, DS, Kim, T, Ryoo, CS: Sheffer sequences for the powers of Sheffer pairs under umbral composition. Adv. Stud. Contemp. Math. 23(2), 275-285 (2013)

    MathSciNet  MATH  Google Scholar 

  4. Kim, DS, Kim, T: Higher-order degenerate Bernoulli polynomials. Preprint

  5. 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)

    MathSciNet  MATH  Google Scholar 

  6. He, Y, Wang, SJ: New formulae of products of the Frobenius-Euler polynomials. Adv. Differ. Equ. 2014, 261 (2014)

    Article  Google Scholar 

  7. Simsek, Y: Generating functions for q-Apostol type Frobenius-Euler numbers and polynomials. Axioms 1, 395-403 (2012)

    Article  MATH  Google Scholar 

  8. Jeong, J, Rim, SH, Kim, BM: On finite times degenerate Cauchy numbers and polynomials. Adv. Differ. Equ. 2015, 321 (2015)

    Article  MathSciNet  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  10. Dolgy, DV, Kim, DS, Kim, T: On the Korobov polynomials of the first kind. Preprint

Download references

Acknowledgements

The authors express their sincere gratitude to the two anonymous referees for the careful reading of the original manuscript and useful comments that helped to improve the presentation of the paper.

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 to this work. All authors read and approved the final manuscript.

Dae San Kim, Taekyun Kim, Hyuck In Kwon and Toufik Mansour contributed equally to this work.

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

Kim, D.S., Kim, T., Kwon, H.I. et al. Powers under umbral composition and degeneration for Sheffer sequences. Adv Differ Equ 2016, 66 (2016). https://doi.org/10.1186/s13662-016-0795-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-016-0795-5

MSC

Keywords