- Research
- Open Access
- Published:
Powers under umbral composition and degeneration for Sheffer sequences
Advances in Difference Equations volume 2016, Article number: 66 (2016)
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
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))\),
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
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
for all \(m\in\mathbb{Z}_{>0}\). Then we see that
(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
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
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
then
Thus, from (3), we get the following result.
Theorem 2.2
For all \(n\geq k\geq0\) and \(\alpha,m\in\mathbb{Z}_{>0}\),
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
then
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}\),
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
with \(f(t)=\frac{e^{\lambda t}-1}{\lambda}\). Then, by (3), we obtain
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\),
Thus, for \(n\geq1\), \(0\leq m\leq n-1\), we observe that
Therefore,
Now, we get, for \(n\geq1\), \(r_{n}^{(2)}(x)=x(f(t)/f^{2}(t))^{n}x^{-1}r_{n}(x)\), which gives
By induction on m, we obtain the following result.
Theorem 3.1
For all \(m,n\geq1\),
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\),
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
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
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,
To proceed further, we observe the following: for \(0\leq m\leq n-1\),
Thus, by induction on m and (3), we can state the following formula.
Theorem 3.3
For all \(m, n\geq1\),
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\),
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
We recall that the degenerate Bernoulli polynomials \(\beta _{n,(r)}(\lambda,x)\) of order r are defined by the generating function
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
Thus, for \(0\leq m\leq n-1\), we have
By using similar arguments to (5), we obtain
Hence, by induction on m, we derive the following result.
Theorem 3.5
For all \(m, n\geq1\),
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\),
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
Thus, from (3), we get
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
(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\),
For \(0\leq m\leq n-1\), we observe that
Thus, by induction on m (similar to Theorem 3.1), one can obtain the following formula.
Theorem 3.7
For all \(m, n\geq1\),
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\),
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
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
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
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
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
where \(r_{n}(x)\sim(1,\log(1+\lambda t)/\lambda)=(1,\ell(t))\). On the other hand,
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,
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
Ruiz, JA: Riordan arrays from an umbral symbolic viewpoint. Bol. Soc. Port. Mat. 2012, 5-8 (2012)
Roman, S: The Umbral Calculus. Dover, New York (2005)
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)
Kim, DS, Kim, T: Higher-order degenerate Bernoulli polynomials. Preprint
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)
He, Y, Wang, SJ: New formulae of products of the Frobenius-Euler polynomials. Adv. Differ. Equ. 2014, 261 (2014)
Simsek, Y: Generating functions for q-Apostol type Frobenius-Euler numbers and polynomials. Axioms 1, 395-403 (2012)
Jeong, J, Rim, SH, Kim, BM: On finite times degenerate Cauchy numbers and polynomials. Adv. Differ. Equ. 2015, 321 (2015)
Carlitz, L: Degenerate Stirling, Bernoulli and Eulerian numbers. Util. Math. 15, 51-88 (1979)
Dolgy, DV, Kim, DS, Kim, T: On the Korobov polynomials of the first kind. Preprint
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
Corresponding author
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.
About this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0795-5
MSC
- 05A19
- 05A40
- 11B83
Keywords
- umbral composition
- degeneration; Sheffer sequence
- umbral calculus
- Bernoulli polynomials
- Korobov polynomials
- falling factorial polynomials
- Bell polynomials