Skip to main content

Theory and Modern Applications

Extended central factorial polynomials of the second kind

Abstract

In this paper, we consider the extended central factorial polynomials and numbers of the second kind, and investigate some properties and identities for these polynomials and numbers. In addition, we give some relations between those polynomials and the extended central Bell polynomials. Finally, we present some applications of our results to moments of Poisson distributions.

1 Introduction

For \(n\geq 0\), the central factorial numbers of the second kind are defined by

$$ x^{n} = \sum_{k=0}^{n} T(n,k) x^{[k]},\quad n \geq 0,\mbox{ }(\text{see [1, 2, 20--22]}), $$
(1.1)

where \(x^{[k]} = x(x+\frac{k}{2}-1) (x+\frac{k}{2}-2) \cdots (x- \frac{k}{2}+1)\), \(k \geq 1\), \(x^{[0]}=1\).

By (1.1), we see that the generating function of the central factorial numbers of the second kind is given by

$$ \frac{1}{k!} \bigl(e^{\frac{t}{2}} - e^{-\frac{t}{2}} \bigr)^{k} = \sum_{n=k} ^{\infty }T(n,k) \frac{t^{n}}{n!}\quad (\text{see [1--4, 21]}). $$
(1.2)

Here the definition of \(T(n,k)\) is extended so that \(T(n,k)=0\) for \(n < k\). This agreement will be applied to all similar situations without further mention.

Then, by (1.2), we have

$$ T(n,k) = \frac{1}{k!}\sum_{j=0}^{k} \binom{k}{j} (-1)^{k-j} \biggl(j- \frac{k}{2} \biggr)^{n},\quad n,k \geq 0. $$
(1.3)

Let us recall that the Stirling polynomials of the second kind are defined by

$$ \frac{1}{k!} e^{xt} \bigl(e^{t} -1 \bigr)^{k} = \sum_{n=k}^{\infty }S_{2}(n,k | x) \frac{t^{n}}{n!}\quad (\text{see [10, 16, 17]}), $$
(1.4)

where k is a nonnegative integer.

When \(x=0\), \(S_{2}(n,k)=S_{2}(n, k | 0)\), \(n,k \geq 0\), are the Stirling numbers of the second kind given by

$$ x^{n} = \sum_{k=0}^{n} S_{2}(n,k) (x)_{k},\quad n \geq 0\mbox{ } (\text{see [12, 14, 15, 21]}), $$

where \((x)_{0} =1\), \((x)_{k} = x(x-1) \cdots (x-k+1)\), \(k \geq 1\).

From (1.4), we note that

$$ \begin{aligned}[b] S_{2} (n,k | x) & = \sum _{l=k}^{n} \binom{n}{l} S_{2}(l,k) x^{n-l} \\ & = \frac{1}{k!} \sum_{j=0}^{k} \binom{k}{j} (-1)^{k-j} (j+x)^{n},\quad n,k \geq 0. \end{aligned} $$
(1.5)

The Bell polynomials are given by the generating function

$$ e^{x(e^{t}-1)} = \sum_{n=0}^{\infty } \mathrm{Bel}_{n}(x) \frac{t^{n}}{n!} \quad (\text{see [5--11]}). $$
(1.6)

Then, from (1.4) and (1.6), we get

$$ \mathrm{Bel}_{n}(x) = \sum_{m=0}^{n} S_{2}(n,m) x^{m} \quad (\text{see [10]}). $$
(1.7)

In [17], the extended Stirling polynomials of the second kind are defined by

$$ \frac{1}{k!} e^{xt} \bigl(e^{t} -1+rt \bigr)^{k} = \sum_{n=k}^{\infty }S_{2,r}(n,k | x) \frac{t^{n}}{n!}, $$
(1.8)

where \(n,k \in \mathbb{N} \cup \{0\}\) and \(r \in \mathbb{R}\).

When \(x=0\), \(S_{2,r}(n,k)=S_{2,r}(n, k | 0)\), \(n,k \geq 0\), are called the extended Stirling numbers of the second kind. Note that \(S_{2,0}(n, k) = S_{2}(n,k)\) and \(S_{2,0}(n, k | x) = S_{2}(n,k | x)\).

From (1.4) and (1.8), we note that

$$ S_{2,r}(n,k) = \sum_{l=0}^{k} \binom{n}{l} r^{l} S_{2}(n-l,k-l),\quad n,k \geq 0 \mbox{ } (\text{see [17]}). $$
(1.9)

It is known that the extended Bell polynomials are defined by

$$ e^{x(e^{t}-1+rt)} = \sum_{n=0}^{\infty } \mathrm{Bel}_{n,r}(x) \frac{t^{n}}{n!} \quad (\text{see [13, 18, 19]}). $$
(1.10)

For \(x=1\), \(\mathrm{Bel}_{n,r}=\mathrm{Bel}_{n,r}(1)\) are called the extended Bell numbers.

Then, from (1.10), we get

$$ \mathrm{Bel}_{n,r}(x) = \sum _{m=0}^{n} x^{m} S_{2,r}(n,m)\quad (\text{see [17]}). $$
(1.11)

Recently, the central Bell polynomials were defined by Kim as

$$ \sum_{n=k}^{\infty } \mathrm{Bel}_{n}^{(c)}(x) \frac{t^{n}}{n!} = e^{ x (e^{ \frac{t}{2}} - e^{ -\frac{t}{2} } ) } \quad (\text{see [1--3]}). $$
(1.12)

For \(x=1\), \(\mathrm{Bel}_{n}^{(c)}=\mathrm{Bel}_{n}^{(c)}(1)\) are called the central Bell numbers.

Thus, by (1.12), we get

$$ \mathrm{Bel}_{n}^{(c)}(x) = \sum _{k=0}^{n} x^{k} T(n,k),\quad n \geq 0 \mbox{ } (\text{see [17]}). $$
(1.13)

The purpose of this paper is to consider the extended central factorial polynomials and numbers of the second kind, and investigate some properties and identities for these polynomials and numbers. In addition, we give some relations between those polynomials and the extended central Bell polynomials. Finally, we present some applications of our results to moments of Poisson distributions.

2 Extended central factorial polynomials of the second kind

Motivated by (1.8), we define the extended central factorial polynomials of the second kind by

$$ \frac{1}{k!} e^{xt} \bigl(e^{\frac{t}{2}} - e^{-\frac{t}{2}} +rt\bigr)^{k} = \sum_{n=k}^{\infty }T^{(r)}(n,k|x) \frac{t^{n}}{n!}, $$
(2.1)

where \(k \in \mathbb{N} \cup \{0\}\) and \(r \in \mathbb{R}\). When \(x=0\), \(T^{(r)}(n,k)=T^{(r)}(n,k|0)\), \(n,k \geq 0\), are called the extended central factorial numbers of the second kind. Note here that, when \(r=0\), \(T(n,k|x)=T^{(0)}(n,k|x)\) and \(T(n,k)=T^{(0)}(n,k)\) are respectively the central factorial polynomials of the second kind and the central factorial numbers of the second kind.

From (2.1), we note that

$$ \begin{aligned}[b] \sum_{n=k}^{\infty }T^{(r)}(n,k|x) \frac{t^{n}}{n!} & = \sum_{m=0} ^{\infty } \frac{1}{m!} x^{m} t^{m} \sum _{l=k}^{\infty }T^{(r)}(l,k) \frac{t ^{l}}{l!} \\ & = \sum_{n=k}^{\infty } \Biggl( \sum _{l=k}^{n} \binom{n}{l} T^{(r)}(l,k) x^{n-l} \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(2.2)

Therefore, by comparing the coefficients on both sides of (2.2), we obtain the following theorem.

Theorem 2.1

For \(n,k \geq 0\), we have

$$ T^{(r)}(n,k|x) = \sum_{l=k}^{n} \binom{n}{l} T^{(r)}(l,k) x^{n-l}. $$
(2.3)

From (2.1), we note that

$$ \begin{aligned}[b] \sum_{k=0}^{\infty } \frac{x^{k}}{k!} \bigl(e^{\frac{t}{2}} - e^{- \frac{t}{2}}+rt\bigr)^{k} & = \sum_{k=0}^{\infty }x^{k} \sum _{n=k}^{\infty }T^{(r)}(n,k) \frac{t^{n}}{n!} \\ & = \sum_{n=0}^{\infty } \Biggl( \sum _{k=0}^{n} x^{k} T^{(r)}(n,k) \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(2.4)

On the other hand,

$$ \begin{aligned}[b] \sum_{k=0}^{\infty } \frac{x^{k}}{k!} \bigl(e^{\frac{t}{2}} - e^{- \frac{t}{2}}+rt\bigr)^{k} & = e^{x (e^{\frac{t}{2}} - e^{-\frac{t}{2}}+rt)} = e^{x (e^{\frac{t}{2}} - e^{-\frac{t}{2}})} e^{xrt} \\ & = \sum_{k=0}^{\infty }\mathrm{Bel}_{k}^{(c)}(x) \frac{t^{k}}{k!}\sum_{m=0} ^{\infty }r^{m} x^{m} \frac{t^{m}}{m!} \\ & = \sum_{n=0}^{\infty } \Biggl( \sum _{k=0}^{n} \binom{n}{k} \mathrm{Bel}_{k} ^{(c)}(x) r^{n-k} x^{n-k} \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(2.5)

Now, we define the extended central Bell polynomials by

$$ e^{x (e^{\frac{t}{2}} - e^{-\frac{t}{2}}+rt)} = \sum_{n=0}^{\infty } \mathrm{Bel} _{n}^{(c,r)}(x) \frac{t^{n}}{n!}. $$
(2.6)

For \(x=1\), \(\mathrm{Bel}_{n}^{(c,r)}=\mathrm{Bel}_{n}^{(c,r)}(1)\) are called the extended central Bell numbers.

Therefore, by combining (2.4)–(2.6), we obtain the following theorem.

Theorem 2.2

For \(n \geq 0\), we have

$$ \begin{aligned}[b] \mathrm{Bel}_{n}^{(c,r)}(x) & = \sum_{k=0}^{n} x^{k} T^{(r)}(n,k) \\ & = \sum_{k=0}^{n} \binom{n}{k} \mathrm{Bel}_{k}^{(c)}(x) r^{n-k} x^{n-k}. \end{aligned} $$
(2.7)

In particular,

$$ \mathrm{Bel}_{n}^{(c,r)} = \sum _{k=0}^{n} \binom{n}{k} \mathrm{Bel}_{k}^{(c)} r^{n-k} = \sum_{k=0}^{n}T^{(r)}(n,k). $$
(2.8)

Remark

By (2.6), we get

$$\begin{aligned} \sum_{n=0}^{\infty } \mathrm{Bel}_{n}^{(c,r)}(x) \frac{t^{n}}{n!} & = e^{xt} e ^{x (e^{\frac{t}{2}} - e^{-\frac{t}{2}}+(r-1)t)} \\ & = \sum_{k=0}^{\infty }x^{k} \frac{1}{k!} e^{xt} \bigl(e^{ \frac{t}{2}} - e^{-\frac{t}{2}}+(r-1)t \bigr)^{k} \\ & = \sum_{k=0}^{\infty } \Biggl(\sum _{n=k}^{\infty }T^{(r-1)}(n,k | x) \frac{t ^{n}}{n!} \Biggr) x^{k} \\ & = \sum_{n=0}^{\infty } \Biggl(\sum _{k=0}^{n} x^{k} T^{(r-1)}(n,k | x) \Biggr) \frac{t^{n}}{n!}. \end{aligned}$$
(2.9)

Comparing the coefficients on both sides of (2.9), we get

$$ \mathrm{Bel}_{n}^{(c,r)}(x) = \sum _{k=0}^{n} x^{k} T^{(r-1)}(n,k | x),\quad n \geq 0. $$
(2.10)

In particular,

$$ \mathrm{Bel}_{n}^{(c,r)} =\sum _{k=0}^{n} T^{(r-1)}(n,k |1), $$
(2.11)

and, invoking (2.3),

$$ \mathrm{Bel}_{n}^{(c,1)}(x) = \sum _{k=0}^{n} T(n,k | x) x^{k} = \sum _{k=0}^{n} \sum_{l=k}^{n} \binom{n}{l} T(l,k) x^{n-l+k}. $$
(2.12)

Therefore, by (2.10)–(2.12), we obtain the following corollary.

Corollary 2.3

For \(n \geq 0\), we have

$$ \mathrm{Bel}_{n}^{(c,r)}(x) = \sum _{k=0}^{n} x^{k} T^{(r-1)}(n,k | x). $$

In particular,

$$ \mathrm{Bel}_{n}^{(c,r)} = \sum_{k=0}^{n} T^{(r-1)}(n,k |1) $$

and

$$ \mathrm{Bel}_{n}^{(c,1)}(x) = \sum _{k=0}^{n} \sum_{l=k}^{n} \binom{n}{l} T(l,k) x^{n-l+k}. $$

From (2.1), we note that

$$\begin{aligned} \sum_{n=0}^{\infty }T^{(r)}(n,k) \frac{t^{n}}{n!} & = \frac{1}{k!} \sum_{l=0}^{k} \binom{k}{l} r^{l} t^{l} \bigl(e^{\frac{t}{2}} - e^{- \frac{t}{2}}\bigr)^{k-l} \\ & = \sum_{l=0}^{k} \frac{r^{l}}{l!}t^{l} \frac{1}{(k-l)!}\bigl(e^{ \frac{t}{2}} - e^{-\frac{t}{2}}\bigr)^{k-l} \\ & = \sum_{l=0}^{k} \frac{r^{l}}{l!} t^{l} \sum_{n=k}^{\infty }T(n-l,k-l) \frac{t^{n-l}}{(n-l)!} \\ & = \sum_{n=k}^{\infty } \Biggl( \sum _{l=0}^{k} \binom{n}{l} r^{l} T(n-l,k-l) \Biggr) \frac{t^{n}}{n!}. \end{aligned}$$
(2.13)

By comparing the coefficients on both sides of (2.13), we obtain the following theorem.

Theorem 2.4

For \(n,k \geq 0\), we have

$$ T^{(r)}(n,k) = \sum_{l=0}^{k} \binom{n}{l} r^{l} T(n-l,k-l). $$
(2.14)

From (2.6), we note that

$$ \begin{aligned}[b] e^{(e^{\frac{t}{2}} - e^{-\frac{t}{2}} +rt)} & = e^{(e^{\frac{t}{2}} - e^{-\frac{t}{2}})} e^{rt} = \sum_{k=0}^{\infty } \mathrm{Bel}_{k}^{(c)} \frac{t ^{k}}{k!}\sum _{k=0}^{\infty }r^{l} \frac{t^{l}}{l!} \\ & = \sum_{n=0}^{\infty } \Biggl(\sum _{k=0}^{n} \binom{n}{k} r^{n-k} \mathrm{Bel} _{k}^{(c)} \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(2.15)

Therefore, by (2.14) and (2.8), we obtain the following theorem.

Theorem 2.5

For \(n \geq 0\), we have

$$ \mathrm{Bel}_{n}^{(c,r)} = \sum _{k=0}^{n} \sum_{l=0}^{k} \binom{n}{l} r^{l} T(n-l,k-l). $$
(2.16)

From (2.1), we have

$$ \begin{aligned}[b] \sum_{n=k}^{\infty }T(n,k|x) \frac{t^{n}}{n!} &= \frac{1}{k!} e^{(x- \frac{k}{2})t} \bigl(e^{t} -1\bigr)^{k} \\ & = \frac{1}{k!} \sum_{j=0}^{k} \binom{k}{j} (-1)^{k-j} e^{(j+x- \frac{k}{2})t} \\ & = \sum_{n=0}^{\infty } \Biggl( \frac{1}{k!} \sum_{j=0}^{k} \binom{k}{j} (-1)^{k-j}\biggl(j+x-\frac{k}{2} \biggr)^{n} \Biggr)\frac{t^{n}}{n!}. \end{aligned} $$
(2.17)

Therefore, by (2.17), we obtain the following theorem.

Theorem 2.6

For \(n \geq 0\), we have

$$ \begin{aligned}[b] \frac{1}{k!} \sum _{j=0}^{k} \binom{k}{j} (-1)^{k-j} \biggl(j+x-\frac{k}{2}\biggr)^{n} = \textstyle\begin{cases} T(n,k|x), &\textit{if } n \geq k, \\ 0, &\textit{if } n < k. \end{cases}\displaystyle \end{aligned} $$
(2.18)

Now, we observe that

$$ \begin{aligned}[b] e^{(e^{t}-1+rt)} & = e^{rt} e^{ e^{\frac{t}{2}} ( e^{\frac{t}{2}} - e ^{-\frac{t}{2}} ) } \\ & = \sum_{k=0}^{\infty }e^{(\frac{k}{2}+r)t} \frac{1}{k!} \bigl(e^{ \frac{t}{2}} - e^{-\frac{t}{2}}\bigr)^{k} \\ & = \sum_{k=0}^{\infty }\sum _{j=0}^{\infty } \biggl(\frac{k}{2}+r \biggr)^{j}\frac{t ^{j}}{j!}\sum_{m=k}^{\infty }T(m,k) \frac{t^{m}}{m!} \\ &=\sum_{k=0}^{\infty }\sum _{n=k}^{\infty }\sum_{m=k}^{n} \binom{n}{m}T(m,k) \biggl(\frac{k}{2}+r \biggr)^{n-m} \frac{t^{n}}{n!} \\ &=\sum_{n=0}^{\infty } \Biggl(\sum _{k=0}^{n}\sum_{m=k}^{n} \binom{n}{m}T(m,k) \biggl(\frac{k}{2}+r \biggr)^{n-m} \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(2.19)

Therefore, by (1.10) and (2.19), we obtain the following theorem.

Theorem 2.7

For \(n \geq 0\), we have

$$ \mathrm{Bel}_{n,r} = \sum_{k=0}^{n} \sum_{m=k}^{n}\binom{n}{m}T(m,k) \biggl( \frac{k}{2}+r \biggr)^{n-m}. $$
(2.20)

From (2.18), we note that

$$ \begin{aligned}[b] \sum_{n=0}^{\infty } \mathrm{Bel}_{n}^{(c,r)} \frac{t^{n}}{n!} & = e^{rt} e^{(e ^{\frac{t}{2}} - e^{-\frac{t}{2}})} = \sum_{k=0}^{\infty } \frac{1}{k!} e^{(r-\frac{k}{2})t} \bigl(e^{t} -1\bigr)^{k} \\ & = \sum_{k=0}^{\infty }\frac{1}{k!} \sum _{j=0}^{k} \binom{k}{j} (-1)^{k-j} e^{(j+r-\frac{k}{2})t} \\ & = \sum_{n=0}^{\infty }\sum _{k=0}^{\infty }\frac{1}{k!} \sum _{j=0} ^{k} \binom{k}{j} (-1)^{k-j} \biggl(j+r-\frac{k}{2}\biggr)^{n} \frac{t^{n}}{n!} \\ & = \sum_{k=0}^{\infty } \sum _{n=k}^{\infty }T(n,k|r) \frac{t^{n}}{n!} = \sum _{n=0}^{\infty } \sum_{k=0}^{n}T(n,k|r) \frac{t ^{n}}{n!}. \end{aligned} $$
(2.21)

Therefore, by comparing the coefficients on both sides of (2.21), we obtain the following theorem.

Theorem 2.8

For \(n \geq 0\), we have

$$ \mathrm{Bel}_{n}^{(c,r)} = \sum _{k=0}^{n} T(n, k | r). $$
(2.22)

From (1.2), we have

$$\begin{aligned} \sum_{n=0}^{\infty }T(n,k) \frac{t^{n}}{n!} & = \frac{1}{k!} \bigl(e^{ \frac{t}{2}} - e^{-\frac{t}{2}}+rt-rt\bigr)^{k} \\ & = \sum_{l=0}^{k} \frac{(-1)^{l} r^{l}}{l!} t^{l} \frac{1}{(k-l)!}\bigl(e ^{\frac{t}{2}} - e^{-\frac{t}{2}}+rt \bigr)^{k-l} \\ & = \sum_{l=0}^{k} \frac{(-1)^{l} r^{l}}{l!} t^{l} \sum_{n=k}^{ \infty }T^{(r)}(n-l, k-l) \frac{t^{n-l}}{(n-l)!} \\ & = \sum_{n=k}^{\infty } \Biggl(\sum _{l=0}^{k} \binom{n}{l} (-1)^{l} r ^{l} T^{(r)}(n-l, k-l) \Biggr) \frac{t^{n}}{n!}. \end{aligned}$$
(2.23)

Therefore, by comparing the coefficients on both sides of (2.23), we obtain the following theorem.

Theorem 2.9

For \(n,k \geq 0\), we have

$$ T(n,k) = \sum_{l=0}^{k} \binom{n}{l} (-1)^{l} r^{l} T^{(r)}(n-l, k-l). $$
(2.24)

Now, we observe that

$$ \begin{aligned}[b] \frac{1}{k!} \bigl(e^{\frac{t}{2}} - e^{-\frac{t}{2}}+rt\bigr)^{k} &= \frac{1}{k!} \sum_{l=0}^{k} \binom{k}{l} r^{l} t^{l} \bigl(e^{\frac{t}{2}} - e^{-\frac{t}{2}}\bigr)^{k-l} \\ & = \sum_{l=0}^{k} \frac{r^{l}}{l!} t^{l} \sum_{n=k}^{\infty }T(n-l, k-l) \frac{t^{n-l}}{(n-l)!} \\ & = \sum_{n=k}^{\infty } \Biggl(\sum _{l=0}^{k} \binom{n}{l} r^{l} T(n-l, k-l) \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(2.25)

Therefore, by (2.1) and (2.25), we obtain the following theorem.

Theorem 2.10

For \(n,k \geq 0\), we have

$$ T^{(r)}(n,k) = \sum_{l=0}^{k} \binom{n}{l} r^{l} T(n-l, k-l) . $$
(2.26)

Let \(m,k \in \mathbb{N} \cup \{ 0 \}\). Then we have

$$ \begin{aligned}[b] & \frac{1}{m!} \bigl(e^{\frac{t}{2}} - e^{-\frac{t}{2}}+rt\bigr)^{m} \frac{1}{k!} \bigl(e^{\frac{t}{2}} - e^{-\frac{t}{2}}+rt\bigr)^{k} \\ &\quad = \binom{m+k}{m} \frac{1}{(m+k)!} \bigl(e^{\frac{t}{2}} - e^{- \frac{t}{2}}+rt\bigr)^{m+k} \\ &\quad = \binom{m+k}{m} \sum_{n=m+k}^{\infty }T^{(r)}(n, m+k) \frac{t^{n}}{n!}. \end{aligned} $$
(2.27)

On the other hand,

$$ \begin{aligned}[b] &\frac{1}{m!} \bigl(e^{\frac{t}{2}} - e^{-\frac{t}{2}}+rt\bigr)^{m} \frac{1}{k!} \bigl(e^{\frac{t}{2}} - e^{-\frac{t}{2}}+rt\bigr)^{k} \\ &\quad = \sum_{l=m}^{\infty }T^{(r)}(l, m) \frac{t^{l}}{l!} \sum_{j=k} ^{\infty }T^{(r)}(j, k) \frac{t^{j}}{j!} \\ &\quad = \sum_{n=m+k}^{\infty } \Biggl(\sum _{l=m}^{n-k} \binom{n}{l} T^{(r)}(l, m) T^{(r)}(n-l, k) \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(2.28)

Therefore, by (2.27) and (2.28), we obtain the following theorem.

Theorem 2.11

For \(n \geq m+k\), with \(m,k \geq 0\), we have

$$ \binom{m+k}{m} T^{(r)}(n, m+k) = \sum _{l=m}^{n-k} \binom{n}{l} T^{(r)}(l, m) T^{(r)}(n-l, k) . $$
(2.29)

For \(m, k \geq 0\) with \(m \geq k\), by (2.1), we get

$$ \begin{aligned}[b] \sum_{n=m}^{\infty }T^{(r)}(n,m) \frac{t^{n}}{n!} &= \frac{1}{m!} \bigl(e ^{\frac{t}{2}} - e^{-\frac{t}{2}} +rt\bigr)^{m-k} \bigl(e^{\frac{t}{2}} - e^{- \frac{t}{2}} +rt \bigr)^{k} \\ & = \frac{k! (m-k)!}{m!} \frac{1}{(m-k)!} \bigl(e^{\frac{t}{2}} - e^{- \frac{t}{2}} +rt\bigr)^{m-k} \frac{1}{k!} \bigl(e^{\frac{t}{2}} - e^{- \frac{t}{2}} +rt\bigr)^{k} \\ & = \frac{1}{\binom{m}{k}}\sum_{l=m-k}^{\infty }T^{(r)}(l,m-k) \frac{t ^{l}}{l!}\sum_{j=k}^{\infty }T^{(r)}(j,k) \frac{t^{j}}{j!} \\ & = \frac{1}{\binom{m}{k}} \sum_{n=m}^{\infty } \Biggl( \sum_{l=m-k} ^{n-k} \binom{n}{l} T^{(r)}(l,m-k) T^{(r)}(n-l,k) \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(2.30)

By comparing the coefficients on both sides of (2.30), we obtain the following theorem.

Theorem 2.12

For \(n,m,k \geq 0\), with \(n \geq m \geq k\), we have

$$ \binom{m}{k} T^{(r)}(n, m) = \sum _{l=m-k}^{n-k} \binom{n}{l} T^{(r)}(l,m-k) T^{(r)}(n-l,k). $$
(2.31)

Next, we observe that

$$ \begin{aligned}[b] &\frac{1}{m!} \bigl(e^{\frac{t}{2}} - e^{-\frac{t}{2}}+rt\bigr)^{m} \frac{1}{k!} \bigl(e^{\frac{t}{2}} - e^{-\frac{t}{2}}+rt\bigr)^{k} \\ & \quad = \sum_{l=0}^{m} \frac{r^{l}}{l!} t^{l} \frac{1}{(m-l)!} \bigl(e^{ \frac{t}{2}} - e^{-\frac{t}{2}} \bigr)^{m-l} \sum_{j=0}^{k} \frac{r^{j}}{j!} t^{j} \frac{1}{(k-j)!} \bigl(e^{\frac{t}{2}} - e^{- \frac{t}{2}}\bigr)^{k-j} \\ &\quad = \sum_{n=m+k}^{\infty }\sum _{n_{1}=m}^{n-k} \sum_{l=0}^{m} \sum_{j=0}^{k} \binom{n_{1}}{l} \binom{n}{n_{1}} \binom{n-n_{1}}{j} r^{l+j} \\ & \qquad{} \times T(n_{1}-l, m-l) T(n- n_{1}- j, k-j) \frac{t^{n}}{n!}. \end{aligned} $$
(2.32)

Therefore, by (2.27) and (2.32), we obtain the following theorem.

Theorem 2.13

For \(n,m,k \geq 0\), with \(n \geq m+k\), we have

$$ \begin{aligned}[b] & \binom{m+k}{m} T^{(r)}(n, m+k) \\ & \quad = \sum_{n_{1}=m}^{n-k} \sum _{l=0}^{m} \sum_{j=0}^{k} \binom{n_{1}}{l} \binom{n}{n_{1}} \binom{n-n_{1}}{j} r^{l+j} T(n_{1}-l, m-l) T(n- n_{1}- j, k-j). \end{aligned} $$
(2.33)

Remark

From (2.33) with \(r=0\), we can derive the following equation:

$$ \binom{m+k}{m} T(n, m+k) = \sum_{l=m}^{n-k} \binom{n}{l} T(l, m) T(n- l, k), $$
(2.34)

where \(n,m,k \geq 0\) with \(n \geq m+k\).

3 Application

A random variable X, taking values \(0,1,2, \dots \) is said to be a Poisson random variable with parameter \(\lambda > 0\) if \(P(i) = P(X=i) = e^{-\lambda } \frac{\lambda ^{i}}{i!}\), \(i=0,1,2,\ldots \) . Then we have \(\sum_{i=0}^{\infty }P(i) = e^{-\lambda } \sum_{i=0}^{\infty }\frac{ \lambda ^{i}}{i!} = 1\). It is easy to show that the Bell polynomials \(\mathrm{Bel}_{n}(x)\), \(n \geq 0\), are connected with the moments of Poisson distribution as follows:

$$ E\bigl[x^{n}\bigr] = \mathrm{Bel}_{n}(\lambda ),\quad n \in \mathbb{N} \cup \{0\}, \lambda >0. $$

Let X be a Poisson random variable with parameter \(\lambda >0\). Then we note that

$$ \begin{aligned}[b] \sum_{n=0}^{\infty }E \bigl[(X+r \lambda )^{n}\bigr] \frac{t^{n}}{n!} & = e^{ \lambda e^{\frac{t}{2}}(e^{\frac{t}{2}} - e^{-\frac{t}{2}})} e^{ \lambda r t} \\ & = \sum_{m=0}^{\infty }\lambda ^{m} e^{\frac{mt}{2}} \frac{1}{m!}e ^{\lambda r t} \bigl(e^{\frac{t}{2}} - e^{-\frac{t}{2}}\bigr)^{m} \\ & = \sum_{m=0}^{\infty }\lambda ^{m} \sum_{n=m}^{\infty }\sum _{j=m} ^{n} \binom{n}{j} T(j, m | \lambda r) \biggl(\frac{m}{2}\biggr)^{n-j} \frac{t^{n}}{n!} \\ & = \sum_{n=0}^{\infty } \Biggl( \sum _{m=0}^{n} \sum_{j=m}^{n} \lambda ^{m} \binom{n}{j} T(j, m | \lambda r) \biggl( \frac{m}{2}\biggr)^{n-j} \Biggr) \frac{t ^{n}}{n!}. \end{aligned} $$
(3.1)

Thus, by (3.1), we get

$$ E\bigl[(X+r \lambda )^{n}\bigr] = \sum_{m=0}^{n} \sum_{j=m}^{n} \lambda ^{m} \binom{n}{j} T(j, m | \lambda r) \biggl(\frac{m}{2} \biggr)^{n-j}. $$

From (2.6), we can derive the following equation:

$$\begin{aligned} &\sum _{n=0}^{\infty }\mathrm{Bel}_{n}^{(c,r)}( \lambda ) \frac{t^{n}}{n!} \\ &\quad = e ^{\lambda (e^{-\frac{t}{2}}-1) (e^{t}-1)} e^{\lambda (e^{t} -1 +rt)} \\ &\quad = \Biggl(\sum_{k=0}^{\infty } \Biggl(\sum _{l=0}^{k} \sum_{j=0}^{l} \lambda ^{l} \binom{l}{j} (-1)^{l-j} S_{2} \biggl(k, l | -\frac{j}{2}\biggr) \Biggr) \frac{t ^{k}}{k!} \Biggr) \Biggl(\sum_{m=0}^{\infty }E\bigl[(X+r \lambda )^{m}\bigr] \frac{t ^{m}}{m!} \Biggr) \\ & \quad = \sum_{n=0}^{\infty } \Biggl( \sum _{k=0}^{n} \sum_{l=0}^{k} \sum_{j=0} ^{l} \lambda ^{l} \binom{l}{j} \binom{n}{k} (-1)^{l-j} S_{2}\biggl(k, l | - \frac{j}{2}\biggr) E\bigl[(X+r \lambda )^{n-k}\bigr] \Biggr) \frac{t^{n}}{n!}. \end{aligned}$$
(3.2)

Thus, we have

$$ \mathrm{Bel}_{n}^{(c,r)}(\lambda ) = \sum _{k=0}^{n} \sum_{l=0}^{k} \sum_{j=0} ^{l} \lambda ^{l} \binom{l}{j} \binom{n}{k} (-1)^{l-j} S_{2}\biggl(k, l | - \frac{j}{2}\biggr) E\bigl[(X+r \lambda )^{n-k}\bigr], $$

where X is the Poisson random variable with parameter \(\lambda >0\), and \(n \geq 0\).

4 Conclusions

T. Kim et al. have studied the central factorial polynomials and numbers of the second kind which are represented by some p-adic integrals on \(\mathbb{Z}_{p}\) and investigated some properties of these numbers and polynomials. In this paper, we introduced the extended central factorial numbers and polynomials by means of generating functions, which are useful, for example, in obtaining the moments of Poisson random variables. In addition, we gave some identities for the extended central Bell polynomials in terms of those numbers and polynomials. In more detail, in Sect. 2, we investigated some properties of the extended central factorial numbers and polynomials in connection with the extended central Bell numbers and polynomials, central factorial numbers and polynomials, and central factorial numbers and polynomials of the second kind in Theorems 2.1–2.13. Furthermore, in Sect. 3, we have applied our results to the moments of Poisson distribution.

References

  1. Butzer, P.L., Schmidt, M., Stark, E.L., Vogt, L.: Central factorial numbers; their main properties and some applications. Numer. Funct. Anal. Optim. 10(5–6), 419–488 (1989)

    Article  MathSciNet  Google Scholar 

  2. Carlitz, L., Riordan, J.: The divided central differences of zero. Can. J. Math. 15, 94–100 (1963)

    Article  MathSciNet  Google Scholar 

  3. Charalambides, Ch.A.: A central factorial numbers and related expansions. Fibonacci Q. 19(5), 451–456 (1981)

    MathSciNet  MATH  Google Scholar 

  4. Comtet, L.: Nombres de Stirling généraux et fonctions symétriques. C. R. Acad. Sci. Paris Sér. A–B 275, 747–750 (1972)

    MathSciNet  MATH  Google Scholar 

  5. Comtet, L.: Advanced Combinatorics: The Art of Finite and Infinite Expansions. Reidel, Dordrecht (1974) (translated from the French by J.W. Nienhuys)

    Book  Google Scholar 

  6. Dolgy, D.V., Kim, T.: Some explicit formulas of degenerate Stirling numbers associated with the degenerate special numbers and polynomials. Proc. Jangjeon Math. Soc. 21(2), 309–317 (2018)

    MathSciNet  MATH  Google Scholar 

  7. Dolgy, D.V., Kim, T., Kwon, H.-I., Seo, J.J.: Some identities for degenerate Euler numbers and polynomials arising from degenerate Bell polynomials. Proc. Jangjeon Math. Soc. 19(3), 457–464 (2016)

    MathSciNet  MATH  Google Scholar 

  8. Jang, G.-W., Kim, T., Kwon, H.-I.: On the extension of degenerate Stirling polynomials of the second kind and degenerate Bell polynomials. Adv. Stud. Contemp. Math. (Kyungshang) 28(2), 305–316 (2018)

    MATH  Google Scholar 

  9. Jordan, C.: Calculus of Finite Differences. Chelsea, New York (1960)

    MATH  Google Scholar 

  10. Kim, D.S., Kim, T.: Some identities of Bell polynomials. Sci. China Math. 58(10), 2095–2104 (2015)

    Article  MathSciNet  Google Scholar 

  11. Kim, D.S., Kim, T., Jang, G.-W.: Some identities of partially degenerate Touchard polynomials arising from differential equations. Adv. Stud. Contemp. Math. (Kyungshang) 27(2), 243–251 (2017)

    MATH  Google Scholar 

  12. Kim, T.: A note on ordered Bell numbers and polynomials. Adv. Stud. Contemp. Math. (Kyungshang) 27(2), 289–298 (2017)

    MathSciNet  MATH  Google Scholar 

  13. Kim, T.: A note on degenerate Stirling polynomials of the second kind. Proc. Jangjeon Math. Soc. 20(3), 319–331 (2017)

    MathSciNet  MATH  Google Scholar 

  14. Kim, T., Choi, J., Kim, Y.-H.: Some identities on the q-Bernstein polynomials, q-Stirling numbers and q-Bernoulli numbers. Adv. Stud. Contemp. Math. (Kyungshang) 20(3), 335–341 (2010)

    MathSciNet  MATH  Google Scholar 

  15. Kim, T., Jang, G.-W.: A note on degenerate gamma function and degenerate Stirling number of the second kind. Adv. Stud. Contemp. Math. (Kyungshang) 28(2), 207–214 (2018)

    MATH  Google Scholar 

  16. Kim, T., Kim, D.S.: On λ-Bell polynomials associated with umbral calculus. Russ. J. Math. Phys. 24(1), 69–78 (2017)

    Article  MathSciNet  Google Scholar 

  17. Kim, T., Kim, D.S.: A note on central Bell numbers and polynomials. (communicated)

  18. Kim, T., Kim, D.S., Jang, G.-W.: Extended Stirling polynomials of the second kind and extended Bell polynomials. Proc. Jangjeon Math. Soc. 20(3), 365–376 (2017)

    MathSciNet  MATH  Google Scholar 

  19. Kwaśniewski, A.K.: On ψ-umbral extensions of Stirling numbers and Dobinski-like formulas. Adv. Stud. Contemp. Math. (Kyungshang) 16(1), 73–100 (2006)

    MathSciNet  MATH  Google Scholar 

  20. Merca, M.: Connections between central factorial numbers and Bernoulli polynomials. Period. Math. Hung. 73(2), 259–264 (2016)

    Article  MathSciNet  Google Scholar 

  21. Roman, S.: The Umbral Calculus. Academic Press, New York (1984)

    MATH  Google Scholar 

  22. Zhang, W.P.: Some identities involving the Euler and central factorial numbers. Fibonacci Q. 36, 154–157 (1998)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to express their sincere gratitude to the editor and referees, who gave us valuable comments to improve this paper.

Funding

This work was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MEST) (No. 2017R1E1A1A03070882).

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.

Corresponding author

Correspondence to Jongkyum Kwon.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

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, T., Kim, D.S., Jang, GW. et al. Extended central factorial polynomials of the second kind. Adv Differ Equ 2019, 24 (2019). https://doi.org/10.1186/s13662-019-1963-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-1963-1

MSC

Keywords