Skip to main content

Some identities of Lah–Bell polynomials

Abstract

Recently, the nth Lah–Bell number was defined as the number of ways a set of n elements can be partitioned into nonempty linearly ordered subsets for any nonnegative integer n. Further, as natural extensions of the Lah–Bell numbers, Lah–Bell polynomials are defined. We study Lah–Bell polynomials with and without the help of umbral calculus. Notably, we use three different formulas in order to express various known families of polynomials such as higher-order Bernoulli polynomials and poly-Bernoulli polynomials in terms of the Lah–Bell polynomials. In addition, we obtain several properties of Lah–Bell polynomials.

Introduction

The Stirling number of the second kind \(S_{2}(n,k)\) is the number of ways to partition a set with n elements into k nonempty subsets. Thus \(B_{n}=\sum_{k=0}^{n}S_{2}(n,k)\), which is known as the nth Bell number, is the number of ways to partition a set with n elements into nonempty subsets. Further, the Bell polynomials \(B_{n}(x)\) are natural extensions of the Bell numbers.

The Lah number \(L(n,k)\) counts the number of ways a set of n elements can be partitioned into k nonempty linearly ordered subsets. So \(B_{n}^{L}=\sum_{k=0}^{n}L(n,k)\), which was recently defined as the nth Lah–Bell number (see [8]), counts the number of ways a set of n elements can be partitioned into nonempty linearly ordered subsets. In addition, the Lah–Bell polynomials \(B_{n}^{L}(x)\) are also defined as natural extensions of the Lah–Bell numbers.

The aim of this paper is to study some properties of Lah–Bell polynomials with and without the help of umbral calculus. In particular, we represent several known families of polynomials in terms of the Lah–Bell polynomials, and vice versa. This has been done by using three different means, namely by using a formula derived from the definition of Sheffer polynomials (see Theorem 1), the transfer formula (see (29)), and the general formula expressing one Sheffer polynomial in terms of other Sheffer polynomial (see (12)). In more detail, we express Bernoulli polynomials, powers of x, poly-Bernoulli polynomials, and higher-order Bernoulli polynomials in terms of the Lah–Bell polynomials. In addition, we represent the Lah–Bell polynomials in terms of powers of x and of falling factorials. In addition, we obtain several properties of Lah–Bell polynomials. For the rest of this section, we recall some necessary facts that are needed throughout this paper and briefly review basic facts about umbral calculus. For more details on umbral calculus, we refer the reader to [13].

We recall from [8] that Lah–Bell polynomials \(B_{n}^{L}(x)\) are given by

$$ e^{x (\frac{1}{1-t}-1 )}=\sum_{n=0}^{\infty }B_{n}^{L}(x) \frac{t^{n}}{n!}, $$
(1)

and the Lah–Bell numbers are given by \(B_{n}^{L}=B_{n}^{L}(1)\).

For \(r\in \mathbb{N}\), the higher-order Bernoulli polynomials are given by

$$ \biggl(\frac{t}{e^{t}-1} \biggr)^{r}e^{xt}=\sum _{n=0}^{\infty }B_{n}^{(r)}(x) \frac{t^{n}}{n!} \quad(\text{see [1, 3, 4, 13]}). $$
(2)

We note that \(B_{n}^{(r)}=B_{n}^{(r)}(0)\)\((n\ge 0)\) are called the higher-order Bernoulli numbers.

For \(k\in \mathbb{Z}\), the polylogarithm function is defined by

$$ \mathrm{Li}_{k}(x)=\sum_{n=1}^{\infty } \frac{x^{n}}{n^{k}}\quad (\text{see [10]}). $$
(3)

Bayad and Hamahata [2] considered the poly-Bernoulli polynomials (of index k) given by

$$ \frac{\mathrm{Li}_{k}(1-e^{-t})}{e^{t} -1}e^{xt}=\sum_{n=0}^{\infty } \beta _{n}^{(k)}(x)\frac{t^{n}}{n!}. $$
(4)

For \(x=0\), \(\beta _{n}^{(k)}=\beta _{n}^{(k)}(0)\) are called the poly-Bernoulli numbers (of index k) (see [7]). More precisely, the nth poly-Bernoulli polynomials of index k are defined as \(\beta _{n}^{(k)}(x+1)\) in [2] and the nth poly-Bernoulli numbers of index k are defined as \(\beta _{n}^{(k)}(1)\) in [7].

From (1), we note that

$$\begin{aligned} e^{(x+y) (\frac{1}{1-t}-1 )} &= e^{x (\frac{1}{1-t}-1 )} \cdot e^{y (\frac{1}{1-t}-1 )} \\ &= \sum_{l=0}^{\infty }B_{l}^{L}(x) \frac{t^{l}}{l!}\sum_{m=0}^{ \infty }B_{m}^{L}(y) \frac{t^{m}}{m!} \\ &= \sum_{n=0}^{\infty } \Biggl(\sum _{l=0}^{n}\binom{n}{l}B_{l}^{L}(x)B_{n-l}^{L}(y) \Biggr)\frac{t^{n}}{n!}. \end{aligned}$$
(5)

By (1) and (5), we get

$$B_{n}^{L}(x+y)=\sum_{l=0}^{n} \binom{n}{l}B_{l}^{L}(x)B_{n-l}^{L}(y)\quad (n\ge 0)\ (\text{see [8]}). $$

Let \(\mathbb{C}\) be the field of complex numbers, and let \(\mathcal{F}\) be the set of all power series in the variable t over \(\mathbb{C}\) given by

$$ \mathcal{F}= \Biggl\{ f(t)=\sum_{k=0}^{\infty }a_{k} \frac{t^{k}}{k!} \bigg| a_{k}\in \mathbb{C} \Biggr\} . $$
(6)

Let \(\mathbb{P}=\mathbb{C}[x]\), and let \(\mathbb{P}^{*}\) be the vector space of all linear functionals on \(\mathbb{P}\).

For \(f(t)=\sum_{k=0}^{\infty }a_{k}\frac{t^{k}}{k!}\in \mathcal{F}\), we define the linear functional on \(\mathbb{P}\) by

$$ \bigl\langle f(t)|x^{n}\bigr\rangle =a_{n}, \quad\text{for all $n \ge 0$}\ (\text{see [5, 6, 8--13]}). $$
(7)

Thus, by (7), we get

$$ \bigl\langle t^{k}|x^{n}\bigr\rangle =n!\delta _{n,k} \quad (n,k\ge 0)\ (\text{see [5, 6, 8--13]}), $$
(8)

where \(\delta _{n,k}\) is the Kronecker’s symbol.

By (7) and (8), we easily get \(\langle e^{yt}|x^{n}\rangle =y^{n}\), and so \(\langle e^{yt}|P(x)\rangle =P(y)\). The order \(o(f(t))\) of a power series \(f(t)(\ne 0)\) is the smallest integer k for which the coefficient of \(t^{k}\) does not vanish. If \(f(t)\) is a series with \(o(f(t))=1\), then \(f(t)\) is called a delta series.

If \(f(t)\) is a series with \(o(f(t))=0\), then \(f(t)\) is called an invertible series. For \(f(t),g(t)\in \mathcal{F}\) with \(o(f(t))=1\), \(o(g(t))=0\), there exists a unique sequence \(s_{n}(x)\) of polynomials such that

$$ \bigl\langle g(t)f(t)^{k}|s_{n}(x)\bigr\rangle =n!\delta _{n,k}\quad (n,k\ge 0)\ (\text{see [13]}). $$
(9)

The sequence \(s_{n}(x)\) is called the Sheffer sequence for the pair \((g(t),f(t))\), which is denoted 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(\overline{f}(t))}e^{x\overline{f}(t)}=\sum_{n=0}^{\infty } \frac{s_{n}(x)}{n!}t^{n}\quad (\text{see [11, 13]}), $$
(10)

for all \(x\in \mathbb{C}\) where \(\overline{f}(t)\) is the compositional inverse of \(f(t)\) such that \(f(\overline{f}(t))=\overline{f}(f(t))=t\).

Let \(s_{n}(x)\sim (g(t),f(t))\) and \(r_{n}(x)\sim (h(t),g(t))\)\((n\ge 0)\). Then we have

$$ s_{n}(x)=\sum_{m=0}^{n}A_{n,m}r_{m}(x)\quad (n\ge 0), $$
(11)

where

$$ A_{n,m}=\frac{1}{m!} \biggl\langle \frac{h(\overline{f}(t))}{g(\overline{f}(t))} \bigl(l \bigl(\overline{f}(t)\bigr) \bigr)^{m} | x^{n} \biggr\rangle \quad (\text{see [13]}). $$
(12)

Some identities of Lah–Bell polynomials

Here we represent several known families of polynomials in terms of the Lah–Bell polynomials, and vice versa. This will be done by using three different means, namely by using a formula derived from the definition of Sheffer polynomials (see Theorem 1), the transfer formula (see (29)), and the general formula expressing one Sheffer polynomial in terms of other Sheffer polynomial (see (12)).

From (1) and (10), we note that

$$ B_{n}^{L}(x)\sim \biggl(1,1-\frac{1}{1+t} \biggr), $$
(13)

and

$$\begin{aligned} \sum_{n=0}^{\infty }B_{n}^{L}(x) \frac{t^{n}}{n!} &= e^{x ( \frac{1}{1-t}-1 )} = \sum_{l=0}^{\infty } \frac{x^{l}}{l!} \biggl( \frac{1}{1-t}-1 \biggr)^{l} \\ &= \sum_{l=0}^{\infty }x^{l}\sum _{n=l}^{\infty }L(n,l) \frac{t^{n}}{n!} = \sum _{n=0}^{\infty } \Biggl(\sum _{l=0}^{n}x^{l}L(n,l) \Biggr) \frac{t^{n}}{n!}, \end{aligned}$$
(14)

where \(L(n,l)=\frac{n!}{l!}\binom{n-1}{l-1}\) are the Lah numbers given by

$$ \frac{1}{l!} \biggl(\frac{1}{1-t} -1 \biggr)^{l}=\frac{1}{l!} \biggl( \frac{t}{1-t} \biggr)^{l}=\sum_{n=l}^{\infty }L(n,l) \frac{t^{n}}{n!}. $$
(15)

Here the generating function of the Lah numbers in (15) can be easily derived either from power series expansion of the left-hand side of (15) or from the identity

$$ \exp \biggl(\frac{ut}{1-t} \biggr)=\sum_{n=0}^{\infty } \sum_{l=0}^{n}L(n,l) \frac{u^{l} t^{n}}{n!}, $$
(16)

which is stated on [4, p. 156]. It is not difficult to show that

$$\begin{aligned} e^{x (\frac{1}{1-t}-1 )} &= e^{-x}e^{\frac{x}{1-t}} = e^{-x} \sum _{n=0}^{\infty }x^{l} \frac{1}{l!}(1-t)^{-l} \\ &= e^{-x}\sum_{l=0}^{\infty } \frac{x^{l}}{l!}\sum_{k=0}^{\infty } \frac{\langle l\rangle _{k}}{k!}t^{k} \\ &= \sum_{k=0}^{\infty } \Biggl(e^{-x} \sum_{l=0}^{\infty } \frac{x^{l}}{l!}\langle l \rangle _{k} \Biggr)\frac{t^{k}}{k!}, \end{aligned}$$
(17)

where \(\langle x\rangle _{0}=1\), \(\langle x\rangle _{n}=x(x+1)\cdots (x+n-1)\), \(n\ge 1\).

Thus, we have

$$ B_{k}^{L}(x)=e^{-x}\sum _{l=0}^{\infty } \frac{\langle l\rangle _{k}}{l!}x^{l}\quad (k\ge 0)\ (\text{see [8]}). $$
(18)

For \(n\in \mathbb{N}\), by (18), we get

$$\begin{aligned} x\sum_{k=1}^{n}\binom{n-1}{k-1}B_{k-1}^{L}(x) &= x\sum_{k=1}^{n} \binom{n-1}{k-1}e^{-x} \sum_{l=0}^{\infty }\frac{x^{l}}{l!}\langle l \rangle _{k-1} \\ &= xe^{-x}\sum_{l=0}^{\infty } \frac{x^{l}}{l!}\sum_{k=0}^{n-1} \binom{n-1}{k}\langle l\rangle _{k}. \end{aligned}$$
(19)

Let

$$\mathbb{P}_{n}= \bigl\{ P(x)\in \mathbb{C}[x] | \deg P(x)\le n \bigr\} \quad(n\ge 0). $$

Then \(\mathbb{P}_{n}\) is an \((n+1)\)-dimensional vector space over \(\mathbb{C}\). For \(P(x)\in \mathbb{P}_{n}\), with \(P(x)=\sum_{m=0}^{n}A_{m}B_{m}^{L}(x)\), we have

$$\begin{aligned} \biggl\langle \biggl(\frac{t}{1+t} \biggr)^{m} \bigg| P(x) \biggr\rangle &= \sum_{l=0}^{n}A_{l} \biggl\langle \biggl(\frac{t}{1+t} \biggr)^{m}\bigg| B_{l}^{L}(x) \biggr\rangle \\ &= \sum_{l=0}^{n}A_{l}l!\delta _{m,l} = m!A_{m}. \end{aligned}$$
(20)

By (20), we have

$$A_{m}=\frac{1}{m!} \biggl\langle \biggl(\frac{t}{1+t} \biggr)^{m} \bigg| P(x) \biggr\rangle \quad (n\ge 0). $$

Therefore, we obtain the following theorem.

Theorem 1

For \(P(x)\in \mathbb{P}_{n}\), we have

$$P(x)=\sum_{m=0}^{n}A_{m}B_{m}^{L}(x)\quad (n\ge 0), $$

where

$$A_{m}=\frac{1}{m!} \biggl\langle \biggl(\frac{t}{1+t} \biggr)^{m} \bigg| P(x) \biggr\rangle . $$

When \(r=1\) in (2), \(B_{n}(x)=B_{n}^{(1)}(x)\)\((n\ge 0)\) are called the ordinary Bernoulli polynomials. Let us take \(x=0\). Then \(B_{n}=B_{n}(0)\)\((n\ge 0)\) are called the ordinary Bernoulli numbers.

From (2), we note that

$$ B_{n}(x)=\sum_{l=0}^{n} \binom{n}{l}B_{n-l}x^{l}\in \mathbb{P}_{n}. $$
(21)

For \(P(x)=B_{n}(x)\in \mathbb{P}_{n}\), we have

$$ B_{n}(x)=\sum_{m=0}^{n}A_{m}B_{m}^{L}(x) \quad(n\ge 0), $$
(22)

where

$$ A_{m}=\frac{1}{m!} \biggl\langle \biggl(\frac{t}{1+t} \biggr)^{m} \bigg| B_{n}(x) \biggr\rangle . $$
(23)

From (8), we easily note that

$$ \bigl\langle t^{k} | P(x)\bigr\rangle =P^{(k)}(0), \quad\text{where } P^{(k)}(0)= \frac{d^{k}}{dx^{k}}P(x)\bigg|_{x=0}\ ( \text{see [9, 11, 13]}). $$
(24)

By (23), we get

$$\begin{aligned} \frac{1}{m!} \biggl\langle \biggl(\frac{t}{1+t} \biggr)^{m} \bigg| B_{n}(x) \biggr\rangle &= \frac{1}{m!}\sum _{l=0}^{m}\binom{m}{l}(-1)^{l} \biggl\langle \biggl(\frac{1}{1+t} \biggr)^{l} \bigg| B_{n}(x) \biggr\rangle \\ &= \frac{1}{m!}\sum_{l=0}^{m} \binom{m}{l}(-1)^{l}\sum_{k=0}^{n} \binom{l+k-1}{k}(-1)^{k}\bigl\langle t^{k} | B_{n}(x)\bigr\rangle \\ &= \frac{1}{m!}\sum_{l=0}^{m}\sum _{k=0}^{m}\binom{m}{l} \binom{l+k-1}{k}(-1)^{l+k}k!\binom{n}{k}B_{n-k}. \end{aligned}$$
(25)

Therefore, by (22), (23), and (25), we obtain the following theorem.

Theorem 2

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

$$B_{n}(x)=\sum_{m=0}^{n} \Biggl( \sum_{k=0}^{n}\sum _{l=0}^{m} \frac{k!}{m!}\binom{m}{l} \binom{l+k-1}{k}\binom{n}{k}(-1)^{l+k}B_{n-k} \Biggr)B_{n}^{L}(x). $$

Let us take \(P(x)=x^{n}\in \mathbb{P}_{n}\). Then, by Theorem 1, we have

$$ x^{n}=\sum_{k=0}^{n}A_{k}B_{k}^{L}(x), $$
(26)

where

$$\begin{aligned} A_{k} &= \frac{1}{k!} \biggl\langle \biggl(\frac{t}{1+t} \biggr)^{k} \bigg| x^{n} \biggr\rangle = \frac{1}{k!}\sum _{l=0}^{k}\binom{k}{l}(-1)^{l} \biggl\langle \biggl(\frac{1}{1+t} \biggr)^{l} \bigg| x^{n} \biggr\rangle \\ &= \frac{1}{k!}\sum_{l=0}^{k} \binom{k}{l}(-1)^{l}\sum_{m=0}^{n} \binom{l+m-1}{m}(-1)^{m}\bigl\langle t^{m}|x^{n} \bigr\rangle \\ &= \frac{1}{k!}\sum_{l=0}^{k} \binom{k}{l}(-1)^{l+n}\binom{l+n-1}{n}n! \end{aligned}$$
(27)

Therefore, by (26) and (27), we obtain the following theorem.

Theorem 3

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

$$x^{n}=\sum_{k=0}^{n} \Biggl\{ \frac{n!}{k!}\sum_{l=0}^{k} \binom{k}{l}(-1)^{l+n} \binom{l+n-1}{n} \Biggr\} B_{k}^{L}(x). $$

For each nonnegative integer k, the differential operator \(t^{k}\) on \(\mathbb{P}\) is defined by

$$ t^{k}x^{n}= \textstyle\begin{cases} (n)_{k}x^{n-k} & \text{if $k\le n$,} \\ 0 & \text{if $k>n$.} \end{cases} $$
(28)

Here \((x)_{k}\) is the falling factorial given by \((x)_{0}=1, (x)_{k}=x(x-1)\cdots (x-k+1), k \ge 1\).

Extending this linearly, any power series

$$f(t)=\sum_{k=0}^{\infty }\frac{a_{k}}{k!}t^{k} \in \mathcal{F} $$

gives a differential operator on \(\mathbb{P}\) defined by

$$ f(t)x^{n}=\sum_{k=0}^{n} \binom{n}{k}a_{k}x^{n-k}\quad (n\ge 0). $$

For \(p_{n}(x)\sim (1,f(t)), q_{n}(x)\sim (1,g(t))\), we have the transfer formula given by

$$ q_{n}(x)=x \biggl(\frac{f(t)}{g(t)} \biggr)^{n}x^{-1}p_{n}(x)\quad (n\ge 0)\ (\text{see [13]}). $$
(29)

We consider the following two Sheffer sequences:

$$ B_{n}^{L}(x)\sim \biggl(1,\frac{t}{1+t} \biggr),\quad x^{n}\sim (1,t)\ (n\ge 0). $$
(30)

From (28), (29), and (30), we note that

$$\begin{aligned} B_{n}^{L}(x) &= x \biggl(\frac{1}{1+t} \biggr)^{n}x^{-1}x^{n} = x \sum _{l=0}^{\infty }\binom{n+l-1}{l}(-1)^{l}t^{l}x^{n-1} \\ &= x\sum_{l=0}^{n-1}\binom{n+l-1}{l}(-1)^{l} \binom{n-1}{l}l!x^{n-1-l} \\ &= \sum_{l=0}^{n-1}\binom{n+l-1}{l} \binom{n-1}{l}l!(-1)^{l}x^{n-l}. \end{aligned}$$
(31)

Therefore, we obtain the following theorem.

Theorem 4

For \(n\in \mathbb{N}\), we have

$$B_{n}^{L}(x) = \sum_{l=0}^{n-1} \binom{n+l-1}{l}\binom{n-1}{l}l!(-1)^{l}x^{n-l} $$

Let us consider the following two Sheffer sequences:

$$ B_{n}^{L}(x)\sim \biggl(1,\frac{t}{1+t} \biggr) $$
(32)

and

$$ \beta _{n}^{(k)}(x)\sim \biggl( \frac{e^{t}-1}{\mathrm{Li}_{k}(1-e^{-t})},t \biggr). $$
(33)

From (11) and (12), we note that

$$ \beta _{n}^{(k)}(x)=\sum_{m=0}^{n}A_{n,m}B_{m}^{L}(x), $$
(34)

where

$$\begin{aligned} A_{n,m} &= \frac{1}{m!} \biggl\langle \frac{\mathrm{Li}_{k}(1-e^{-t})}{e^{t}-1} \biggl( \frac{t}{1+t} \biggr)^{m}\bigg| x^{n} \biggr\rangle \\ &= \frac{1}{m!}\sum_{l=0}^{m}\sum _{j=0}^{n}\binom{m}{l} \binom{j+l-1}{j}(-1)^{l+j} \biggl\langle \frac{\mathrm{Li}_{k}(1-e^{-t})}{e^{t}-1}t^{j} \bigg| x^{n} \biggr\rangle \\ &= \frac{1}{m!}\sum_{l=0}^{m}\sum _{j=0}^{n}\binom{m}{l} \binom{j+l-1}{j}(-1)^{l+j}\binom{n}{j}j! \biggl\langle \frac{\mathrm{Li}_{k}(1-e^{-t})}{e^{t}-1} \bigg| x^{n-j} \biggr\rangle \\ &= \frac{1}{m!}\sum_{l=0}^{m}\sum _{j=0}^{n}\binom{m}{l} \binom{j+l-1}{j}(-1)^{l+j}\binom{n}{j}j! \beta _{n-j}^{(k)}. \end{aligned}$$
(35)

Therefore, by (34) and (35), we obtain the following theorem.

Theorem 5

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

$$\beta _{n}^{(k)}(x)=\sum_{m=0}^{n} \Biggl\{ \frac{1}{m!}\sum_{l=0}^{m} \sum_{j=0}^{n}\binom{m}{l} \binom{j+l-1}{j}(-1)^{l+j}\binom{n}{j}j! \beta _{n-j}^{(k)} \Biggr\} B_{m}^{L}(x). $$

For the following two Sheffer sequences:

$$B_{n}^{L}(x)\sim \biggl(1,\frac{t}{1+t} \biggr),\quad (x)_{n}\sim \bigl(1,e^{t}-1\bigr)\ (n\ge 0), $$

we have

$$ B_{n}^{L}(x)=\sum_{m=0}^{n}A_{n,m}(x)_{m}, $$
(36)

where

$$\begin{aligned} A_{n,m} &= \frac{1}{m!} \bigl\langle \bigl(e^{ (\frac{1}{1-t}-1 )}-1 \bigr)^{m} | x^{n} \bigr\rangle \\ &= \frac{1}{m!}\sum_{l=0}^{m} \binom{m}{l}(-1)^{m-l} \bigl\langle e^{l (\frac{1}{1-t}-1 )} | x^{n} \bigr\rangle \\ &= \frac{1}{m!}\sum_{l=0}^{m} \binom{m}{l}(-1)^{m-l}B_{n}^{L}(l). \end{aligned}$$
(37)

Therefore, by (36) and (37), we obtain the following theorem.

Theorem 6

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

$$\begin{aligned} B_{n}^{L}(x) &= \sum_{m=0}^{n} \Biggl\{ \frac{1}{m!}\sum_{l=0}^{m} \binom{m}{l}(-1)^{m-l}B_{n}^{L}(l) \Biggr\} (x)_{m} \\ &= \sum_{m=0}^{n}\binom{x}{m}\sum _{l=0}^{m}\binom{m}{l}(-1)^{m-l}B_{n}^{L}(l). \end{aligned}$$

Finally, we consider the following two Sheffer sequences:

$$B_{n}^{L}(x)\sim \biggl(1,\frac{t}{1+t} \biggr),\qquad B_{n}^{(r)}(x) \sim \biggl( \biggl(\frac{e^{t}-1}{t} \biggr)^{r},t \biggr)\quad (r\in \mathbb{N}). $$

From (11) and (12), we have

$$ B_{n}^{(r)}(x)=\sum_{m=0}^{n}A_{n,m}B_{m}^{L}(x), $$
(38)

where

$$\begin{aligned} A_{n,m} &= \frac{1}{m!} \biggl\langle \biggl(\frac{t}{e^{t}-1} \biggr)^{r} \biggl(\frac{t}{1+t} \biggr)^{m} \bigg| x^{n} \biggr\rangle \\ &= \frac{1}{m!}\sum_{l=0}^{m} \binom{m}{l}(-1)^{l} \biggl\langle \biggl(\frac{t}{e^{t}-1} \biggr)^{r} \biggl(\frac{1}{1+t} \biggr)^{l} \bigg| x^{n} \biggr\rangle \\ &= \frac{1}{m!}\sum_{l=0}^{m} \binom{m}{l}(-1)^{l}\sum_{j=0}^{n} \binom{l+j-1}{j}(-1)^{j} \biggl\langle \biggl(\frac{t}{e^{t}-1} \biggr)^{r}t^{j} \bigg| x^{n} \biggr\rangle \\ &= \frac{1}{m!}\sum_{l=0}^{m} \sum _{j=0}^{n}\binom{m}{l} \binom{l+j-1}{j}\binom{n}{j}j!(-1)^{l+j} \biggl\langle \biggl( \frac{t}{e^{t}-1} \biggr)^{r} \bigg| x^{n-j} \biggr\rangle \\ &= \frac{1}{m!}\sum_{l=0}^{m} \sum _{j=0}^{n}\binom{m}{l} \binom{l+j-1}{j}\binom{n}{j}j!(-1)^{l+j}B_{n-j}^{(r)}. \end{aligned}$$
(39)

Therefore, by (38) and (39), we obtain the following theorem.

Theorem 7

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

$$B_{n}^{(r)}=\sum_{m=0}^{n} \frac{1}{m!} \Biggl\{ \sum_{l=0}^{m} \sum_{j=0}^{n} \binom{m}{l} \binom{l+j-1}{j}\binom{n}{j}j!(-1)^{l+j}B_{n-j}^{(r)} \Biggr\} B_{m}^{L}(x). $$

Conclusion

The Lah number \(L(n,k)\) counts the number of ways a set of n elements can be partitioned into k nonempty linearly ordered subsets. Then \(B_{n}^{L}=\sum_{k=0}^{n}L(n,k)\), which was recently defined as the nth Lah–Bell number, counts the number of ways a set of n elements can be partitioned into nonempty linearly ordered subsets. In addition, the Lah–Bell polynomials \(B_{n}^{L}(x)\) are also defined as natural extensions of the Lah–Bell numbers.

In this paper, we studied some properties of Lah–Bell polynomials with and without the help of umbral calculus. Among other things, we represented several known families of polynomials in terms of the Lah–Bell polynomials, and vice versa, by using three different means, namely by using a formula derived from the definition of Sheffer polynomials (see Theorem 1), the transfer formula (see (29)), and the general formula expressing one Sheffer polynomial in terms of other Sheffer polynomial (see (12)). In more detail, we expressed Bernoulli polynomials, powers of x, poly-Bernoulli polynomials, and higher-order Bernoulli polynomials in terms of the Lah–Bell polynomials. In addition, we represented the Lah–Bell polynomials in terms of powers of x and of falling factorials. In addition, we obtained several properties of Lah–Bell polynomials.

It is one of our future projects to continue exploring some special numbers and polynomials, and also their degenerate versions, as well as to find their applications in physics, science and engineering, as well as in mathematics.

References

  1. 1.

    Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. National Bureau of Standards Applied Mathematics Series, vol. 55 (1964). Washington, DC

    MATH  Google Scholar 

  2. 2.

    Bayad, A., Hamahata, Y.: Polylogarithms and poly-Bernoulli polynomials. Kyshu J. Math. 65, 15–24 (2011)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Carlitz, L.: Arithmetic properties of the Bell polynomials. J. Math. Anal. Appl. 15, 33–52 (1966)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Comtet, L.: Advanced Combinatorics. The Art of Finite and Infinite Expansions, Revised and enlarged edn. Reidel, Dordrecht (1974)

  5. 5.

    Dere, R., Simsek, Y.: Applications of umbral algebra to some special polynomials. Adv. Stud. Contemp. Math. (Kyungshang) 22(3), 433–438 (2012)

    MathSciNet  MATH  Google Scholar 

  6. 6.

    Ernst, T.: Examples of a q-umbral calculus. Adv. Stud. Contemp. Math. (Kyungshang) 16(1), 1–22 (2008)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Kanako, M.: Poly-Bernoulli numbers. J. Théor. Nombres 9, 221–228 (1997)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Kim, D.S., Kim, T.: Lah–Bell numbers and polynomials. Proc. Jangjeon Math. Soc. 23, 4 (2020, in press). arXiv:2007.13291

    Google Scholar 

  9. 9.

    Kim, D.S., Kim, T.: Some identities of Bernoulli and Euler polynomials arising from umbral calculus. Adv. Stud. Contemp. Math. (Kyungshang) 23(1), 159–171 (2013)

    MathSciNet  MATH  Google Scholar 

  10. 10.

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

    MathSciNet  Article  Google Scholar 

  11. 11.

    Kim, D.S., Kim, T.: Degenerate Sheffer sequences and λ-Sheffer sequences. J. Math. Anal. Appl. (2020, to appear). Available at https://www.sciencedirect.com/science/article/pii/S0022247X20306831

  12. 12.

    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 

  13. 13.

    Roman, S.: The Umbral Calculus. Pure and Applied Mathematics, vol. 111. Academic Press, New York (1984)

    MATH  Google Scholar 

Download references

Acknowledgements

The authors thank Jangjeon Institute for Mathematical Science for the support of this research.

Availability of data and materials

Not applicable.

Funding

This research was funded by the National Natural Science Foundation of China (No. 11871317, 11926325, 11926321).

Author information

Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to Taekyun Kim.

Ethics declarations

Ethics approval and consent to participate

All authors reveal that there is no ethical problem in the production of this paper.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

All authors want to publish this paper in this journal.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Ma, Y., Kim, D.S., Kim, T. et al. Some identities of Lah–Bell polynomials. Adv Differ Equ 2020, 510 (2020). https://doi.org/10.1186/s13662-020-02966-6

Download citation

MSC

  • 05A40
  • 11B68
  • 11B83

Keywords

  • Lah–Bell polynomials
  • Higher-order Bernoulli polynomials
  • Poly-Bernoulli polynomials
  • Umbral calculus