Skip to main content

Theory and Modern Applications

Degenerate poly-Bell polynomials and numbers

Abstract

Numerous mathematicians have studied ‘poly’ as one of the generalizations to special polynomials, such as Bernoulli, Euler, Cauchy, and Genocchi polynomials. In relation to this, in this paper, we introduce the degenerate poly-Bell polynomials emanating from the degenerate polyexponential functions which are called the poly-Bell polynomials when \(\lambda \rightarrow 0\). Specifically, we demonstrate that they are reduced to the degenerate Bell polynomials if \(k = 1\). We also provide explicit representations and combinatorial identities for these polynomials, including Dobinski-like formulas, recurrence relationships, etc.

1 Introduction

Although various mathematicians studied ‘poly’ as one of the generalizations of Bernoulli, Euler, Genocchi, and Cauchy polynomials [1, 4, 68, 11, 14, 16, 18, 20], the ‘poly’ for Bell polynomials has not been studied so far. Furthermore, in recent years, a lot of research has been conducted on various degenerate versions of many special polynomials and numbers, accumulating in a renewed interest for mathematicians various special polynomials and numbers [3, 9, 11, 12, 1418]. For instance, Kim and Kim [8] reappraised the polyexponential functions in relation to polylogarithm functions, expanding upon the research which was first conducted by Hardy [5].

With this in mind, in this paper, we define the degenerate poly-Bell polynomials through their degenerate polyexponential functions, reducing them to the degenerate Bell polynomials if \(k = 1\). Hence, we define the poly-Bell polynomials when \(\lambda \rightarrow 0\), providing explicit expressions and identities involving those polynomials.

In recent years, much research has been done for various degenerate versions of many special polynomials and numbers. Moreover, various special polynomials and numbers regained interest of mathematicians, and quite a few results have been discovered [3, 9, 11, 12, 1418]. The polyexponential functions were reconsidered by Kim [8] in view of an inverse to the polylogarithm functions which were first studied by Hardy [5]. In this paper, we define the degenerate poly-Bell polynomials by means of the degenerate polyexponential functions, and they are reduced to the degenerate Bell polynomials if \(k = 1\). In particular, when \(\lambda \rightarrow 0\), we call them the poly-Bell polynomials. We also provide explicit representations and combinatorial identities for these polynomials, including Dobinski-like formulas, recurrence relationships, etc.

The Bell polynomials \(B_{n}(x)=\sum_{k=0}^{n} S_{2}(n,k)x^{n}\) are natural extensions of the Bell numbers which are a number of ways to partition a set with n elements into nonempty subsets. It is well known that the generating function of the Bell polynomials is given by

$$ e^{x(e^{t}-1)}=\sum_{n=0}^{\infty } \operatorname{Bel}_{n}(x) \frac{t^{n}}{n!} \quad (\text{see [3, 11, 15, 19]}). $$

For \(\lambda \in \mathbb{R}\), the degenerate exponential function is defined by

$$ e_{\lambda }^{x}(t) = (1+\lambda t)^{\frac{x}{\lambda }}\quad \text{and}\quad e_{\lambda }(t) = \sum _{n=0}^{\infty }(1)_{n, \lambda } \frac{t^{n}}{n!} \quad (\text{see [3, 7, 9, 11, 12, 14--18]}), $$
(1)

where \((x)_{0,\lambda }=1\) and \((x)_{n,\lambda }=x(x-\lambda )(x-2\lambda )\cdots (x-(n-1)\lambda )\).

The fully degenerate Bell polynomials are given by

$$ e_{\lambda }\bigl(x \bigl(e_{\lambda }(t) -1\bigr)\bigr) = \sum_{n=0}^{\infty } \operatorname{bel}_{n, \lambda }(x)\frac{t^{n}}{n!}\quad (\text{see [3]}). $$
(2)

When \(\lambda \rightarrow 0\), \(\operatorname{bel}_{n,\lambda }(x)=\operatorname{bel}_{n}(x)\).

Carlitz considered the degenerate Bernoulli polynomials which are given by

$$ \frac{t}{e_{\lambda }(t)-1}e_{\lambda }^{x}(t)= \sum_{n=0}^{ \infty }\beta _{n,\lambda }(x) \frac{t^{n}}{n!} \quad (\text{see [2]}). $$
(3)

When \(x=0\), \(\beta _{n,\lambda }=\beta _{n,\lambda }(0)\) are called the degenerate Bernoulli numbers.

The degenerate Genocchi polynomials are given by

$$ \frac{2t}{e_{\lambda }(t)+1}e_{\lambda }^{x}(t)= \sum_{n=0}^{ \infty }\mathcal{G}_{n,\lambda }(x) \frac{t^{n}}{n!} \quad (\text{see [12, 16]}). $$
(4)

When \(x=0\), \(\mathcal{G}_{n,\lambda }=\mathcal{G}_{n,\lambda }(0)\) are called the degenerate Genocchi numbers.

Kim and Kim introduced the modified polyexponential function as

$$ \operatorname{Ei}_{k}(x)= \sum_{n=1}^{\infty } \frac{x^{n}}{(n-1)!n^{k}}\quad (k \in \mathbb{Z})\ (\text{see [8]}). $$
(5)

By (5), we see that \(\operatorname{Ei}_{1}(x) = e^{x} - 1\).

The degenerate polyexponential function is given by

$$ \operatorname{Ei}_{k,\lambda }(x)= \sum_{n=1}^{\infty } \frac{(1)_{n,\lambda }x^{n}}{(n-1)!n^{k}}\quad (k \in \mathbb{Z})\ (\text{see [11, 17]}). $$
(6)

We note that \(\operatorname{Ei}_{1,\lambda }(x) = e_{\lambda }(x) - 1\).

The degenerate poly-Bernoulli polynomials are defined by

$$ \frac{\operatorname{Ei}_{k,\lambda }(\log _{\lambda }(1+t))}{e_{\lambda }(t)-1} e_{\lambda }^{x}(t) =\sum_{n=0}^{\infty } \beta _{n,\lambda }^{(k)} (x) \frac{t^{n}}{n!}\quad (\text{see [14, 17]}). $$
(7)

When \(x=0\), \(\beta _{n,\lambda }^{(k)}=\beta _{n,\lambda }^{(k)}(0)\) are called the degenerate poly-Bernoulli numbers.

Since \(\operatorname{Ei}_{1,\lambda }(\log _{\lambda }(1+t))=t\), \(\beta _{n,\lambda }^{(1)} (x)\) are the degenerate Bernoulli polynomials.

The degenerate poly-Genocchi polynomials are given by

$$ \frac{2 \operatorname{Ei}_{k,\lambda }(\log _{\lambda }(1+t))}{e_{\lambda }(t)+1} e_{\lambda }^{x}(t) =\sum_{n=0}^{\infty } \mathcal{G}_{n,\lambda }^{(k)} (x) \frac{t^{n}}{n!}\quad (\text{see [16]}), $$
(8)

and \(\mathcal{G}_{0,\lambda }^{(k)}(x)=0\). When \(x=0\), \(\mathcal{G}_{n,\lambda }^{(k)}=\mathcal{G}_{n,\lambda }^{(k)}(0)\) are called the degenerate poly-Genocchi numbers.

When \(k=1\), \(\mathcal{G}_{n,\lambda }^{(1)} (x)\) are the degenerate Genocchi polynomials.

In [9], the degenerate Stirling numbers of the second kind are defined by

$$ (x)_{n,\lambda }=\sum _{l=0}^{n}S_{2,\lambda }(n,l) (x)_{l}\quad (n\ge 0). $$
(9)

As an inversion formula of (9), the degenerate Stirling numbers of the first kind are defined by

$$ (x)_{n}=\sum _{l=0}^{n}S_{1,\lambda }(n,l) (x)_{l,\lambda } \quad (n\ge 0)\ (\text{see [11, 15]}). $$
(10)

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

$$ \frac{1}{k!} \bigl(e_{\lambda }(t)-1 \bigr)^{k}=\sum _{n=k}^{ \infty }S_{2,l}(n,k) \frac{t^{n}}{n!} \quad(\text{see [11, 15]}) $$
(11)

and

$$ \frac{1}{k!} \bigl(\log _{\lambda }(1+t) \bigr)^{k}=\sum_{n=k}^{ \infty }S_{1,\lambda }(n,k) \frac{t^{n}}{n!}\quad (\text{see [11, 17]}), $$
(12)

where

$$ \log _{\lambda }(t)= \frac{1}{\lambda }\bigl(t^{\lambda }-1\bigr)\quad (\text{see [17]}) $$
(13)

is the compositional inverse of \(e_{\lambda }(t)\) satisfying \(\log _{\lambda } (e_{\lambda }(t) )=e_{\lambda } (\log _{ \lambda }(t) )=t\).

2 Degenerate poly-Bell polynomials and numbers

In this section, we define the degenerate poly-Bell polynomials by using of the degenerate polyexponential functions and give explicit expressions and identities involving these polynomials.

We define the degenerate poly-Bell polynomials \(\operatorname{bel}_{n,\lambda } ^{(k)}(x)\), which arise from the degenerate polyexponential functions to be

$$ 1+ \operatorname{Ei}_{k,\lambda } \bigl(x\bigl(e_{\lambda }(t)-1\bigr)\bigr) = \sum _{n=0}^{\infty }\operatorname{bel}_{n,\lambda } ^{(k)}(x)\frac{t^{n}}{n!} $$
(14)

and \(\operatorname{bel}_{0,\lambda }^{(k)}(x)=1\).

When \(x=1 \), \(\operatorname{bel}_{n,\lambda } ^{(k)} = \operatorname{bel}_{n,\lambda } ^{(k)}(1)\) are called the degenerate poly-Bell numbers.

When \(k=1\), from (6), we note that

$$ \begin{aligned} 1+ \operatorname{Ei}_{1,\lambda } \bigl(x\bigl(e_{\lambda }(t)-1\bigr)\bigr) &= 1+ \sum _{n=1}^{\infty }\frac{(1)_{n,\lambda }(x(e_{\lambda }(t)-1))^{n}}{(n-1)!n} \\ &=\sum_{n=0}^{\infty } \frac{(1)_{n,\lambda }(x(e_{\lambda }(t)-1))^{n}}{n!} \\ &=e_{\lambda }\bigl(x\bigl(e_{\lambda }(t)-1\bigr)\bigr) = \sum _{n=0}^{\infty }\operatorname{bel}_{n,\lambda }(x) \frac{t^{n}}{n!}. \end{aligned} $$
(15)

Combining with (14) and (15), we have

$$ \operatorname{bel}^{(1)}_{n,\lambda }(x)= \operatorname{bel}_{n,\lambda }(x). $$

When \(\lambda \rightarrow 0\), \(\operatorname{bel}_{n}^{(k)}(x) \) are called the poly-Bell polynomials.

Theorem 1

For \(k \in \mathbb{Z}\) and \(n\geq 1\), we have

$$ \operatorname{bel}^{(k)}_{n,\lambda }(x)= \sum_{l=1}^{n} \frac{(1)_{l,\lambda }}{l^{k-1}}S_{2}(n,l)x^{l}. $$

Proof

From (6) and (11), we observe that

$$ \begin{aligned} \operatorname{Ei}_{k,\lambda } \bigl(x\bigl(e_{\lambda }(t)-1\bigr)\bigr) &=\sum _{l=1}^{\infty } \frac{(1)_{l,\lambda }x^{l}}{l^{k-1}} \frac{1}{l!}\bigl(e_{\lambda }(t)-1\bigr)^{l} \\ &=\sum_{l=1}^{\infty }\frac{(1)_{l,\lambda }x^{l}}{l^{k-1}} \sum_{n=l}^{ \infty }S_{2,\lambda }(n,l) \frac{t^{n}}{n!} \\ &=\sum_{n=1}^{\infty } \Biggl(\sum _{l=1}^{n} \frac{(1)_{l,\lambda }}{l^{k-1}}S_{2,\lambda }(n,l)x^{l} \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(16)

Combining with (14) and (16), we have the desired result. □

Theorem 2

For \(k \in \mathbb{Z}\) and \(n\geq 1\), we have

$$ \sum_{m=1}^{n} \operatorname{bel}^{(k)}_{m,\lambda }(x)S_{1,\lambda }(n,m)= \frac{(1)_{m,\lambda }x^{m}}{n^{k-1}}. $$
(17)

In particular, when \(x=1\),

$$ \sum_{m=1}^{n} \operatorname{bel}^{(k)}_{m,\lambda } S_{1,\lambda }(n,m)= \frac{(1)_{m,\lambda }}{n^{k-1}}. $$

Proof

By replacing t with \(\log _{\lambda }(1+t)\) in (14), the left-hand side is

$$ 1+ \operatorname{Ei}_{k,\lambda }(xt) = 1+ \sum_{n=1}^{\infty } \frac{(1)_{n,\lambda }(xt)^{n}}{(n-1)!n^{k}} = 1+\sum_{n=1}^{\infty } \frac{(1)_{n,\lambda }x^{n}}{n^{k-1}}\frac{t^{n}}{n!}. $$
(18)

On the other hand, from (12), the right-hand side is

$$ \begin{aligned} \sum_{m=0}^{\infty } \operatorname{bel}_{m,\lambda }^{(k)}(x) \frac{(\log _{\lambda }(1+t))^{m}}{m!} &=1+ \sum_{m=1}^{\infty }\operatorname{bel}_{m, \lambda }^{(k)}(x) \sum_{n=m}^{\infty }S_{1,\lambda }(n,m) \frac{t^{n}}{n!} \\ &=1+ \sum_{n=1}^{\infty } \Biggl(\sum _{m=1}^{n} \operatorname{bel}_{m,\lambda }^{(k)}(x) S_{1,\lambda }(n,m) \Biggr)\frac{t^{n}}{n!}. \end{aligned} $$
(19)

Combining with coefficients of (18) and (19), we get what we want. □

Theorem 3

(Dobinski-like formulas)

For \(k \in \mathbb{Z}\) and \(n\geq 1\), we have

$$ \operatorname{bel}_{n,\lambda }^{(k)}(x)= \sum_{h=1}^{\infty }\sum _{m=0}^{h} \binom{m}{h} \frac{(-1)^{h-m}(1)_{h,\lambda }(m)_{n,\lambda }}{(h-1)!h^{k}}. $$

Proof

From (1) and (6), we observe that

$$ \begin{aligned} \sum_{n=1}^{\infty } \operatorname{bel}_{n,\lambda }^{(k)}(x) \frac{t^{n}}{n!} &= \sum_{h=1}^{\infty } \frac{(1)_{h,\lambda }x^{h}}{(h-1)!h^{k}} \bigl(e_{\lambda }(t)-1\bigr)^{h} \\ &=\sum_{h=1}^{\infty }\frac{(1)_{h,\lambda }x^{h}}{(h-1)!h^{k}} \sum_{m=0}^{h} \binom{h}{m}(-1)^{h-m}e_{\lambda }^{m}(t) \\ &=\sum_{h=1}^{\infty }\frac{(1)_{h,\lambda }x^{h}}{(h-1)!h^{k}} \sum_{m=0}^{h} \binom{h}{m}(-1)^{h-m} \sum_{n=0}^{\infty }(m)_{n,\lambda } \frac{t^{n}}{n!} \\ &=\sum_{n=0}^{\infty } \Biggl(\sum _{h=1}^{\infty }\sum_{m=0}^{h} \binom{h}{m} \frac{(-1)^{h-m}(1)_{h,\lambda }(m)_{n,\lambda }}{(h-1)!h^{k}} \Biggr) \frac{t^{n}}{n!} \\ &=\sum_{h=1}^{\infty }\sum _{m=0}^{h} \binom{h}{m} \frac{(-1)^{h-m}(1)_{h,\lambda }}{(h-1)!h^{k}} \\ &\quad {}+\sum_{n=1}^{\infty } \Biggl(\sum_{h=1}^{\infty }\sum _{m=0}^{h} \binom{h}{m} \frac{(-1)^{h-m}(1)_{h,\lambda }(m)_{n,\lambda }}{(h-1)!h^{k}} \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(20)

By comparing with coefficients on both sides of (20), we get

$$ \begin{aligned} &\sum_{h=1}^{\infty } \sum_{m=0}^{h} \binom{h}{m} \frac{(-1)^{h-m}(1)_{h,\lambda }}{(h-1)!h^{k}}=0 \quad \text{and} \\ &\operatorname{bel}_{n,\lambda }^{(k)}(x)=\sum _{h=1}^{\infty }\sum_{m=0}^{h} \binom{m}{h} \frac{(-1)^{h-m}(1)_{h,\lambda }(m)_{n,\lambda }}{(h-1)!h^{k}}\quad (n \geq 1). \end{aligned} $$

 □

Theorem 4

For \(k \in \mathbb{Z}\) and \(n\geq 1\), we have

$$ \sum_{m=0}^{n-1} \binom{n}{m}(1)_{n-m,\lambda }\operatorname{bel}_{m+1, \lambda }^{(k)}(x)= \sum_{m=1}^{n}\binom{n}{m} (1- \lambda )_{n-m, \lambda }\operatorname{bel}_{m,\lambda }^{(k-1)}(x). $$

Proof

Differentiating with respect to t in (14), the left-hand side of (14) is

$$ \begin{aligned} \frac{\partial }{\partial t} \operatorname{Ei}_{k,\lambda }\bigl(x\bigl(e_{\lambda }(t)-1\bigr) \bigr)&= \frac{\partial }{\partial t}\sum_{n=1}^{\infty } \frac{x^{n}(e_{\lambda }(t)-1)^{n}}{(n-1)!n^{k}} \\ &=\frac{e_{\lambda }^{1-\lambda }(t)}{e_{\lambda }(t)-1}\sum_{n=1}^{ \infty } \frac{x^{n}(e_{\lambda }(t)-1)^{n}}{(n-1)!n^{k-1}} \\ &=\frac{e_{\lambda }^{1-\lambda }(t)}{e_{\lambda }(t)-1}\operatorname{Ei}_{k-1,\lambda }\bigl(x \bigl(e_{\lambda }(t)-1\bigr)\bigr) \\ &=\frac{e_{\lambda }^{1-\lambda }(t)}{e_{\lambda }(t)-1} \sum _{n=1}^{\infty }\operatorname{bel}_{n,\lambda }^{(k-1)}(x) \frac{t^{n}}{n!} . \end{aligned} $$
(21)

On the other hand, the right-hand side of (14) is

$$ \frac{\partial }{\partial t} \Biggl(\sum _{n=0}^{\infty }\operatorname{bel}_{n, \lambda }^{(k)}(x) \frac{t^{n}}{n!} \Biggr)=\sum_{n=1}^{\infty } \operatorname{bel}_{n, \lambda }^{(k)}(x)\frac{t^{n-1}}{(n-1)!} =\sum _{n=0}^{\infty }\operatorname{bel}_{n+1, \lambda }^{(k)}(x) \frac{t^{n}}{n!}. $$
(22)

Combining with (21) and (22), we get

$$ \bigl(e_{\lambda }(t)-1\bigr) \sum_{m=0}^{\infty }\operatorname{bel}_{m+1,\lambda }^{(k)}(x) \frac{t^{m}}{m!} =e_{\lambda }^{1-\lambda }(t)\sum _{m=1}^{\infty }\operatorname{bel}_{m, \lambda }^{(k-1)}(x) \frac{t^{m}}{m!} . $$
(23)

From (23), we have

$$ \sum_{j=1}^{\infty }(1)_{j,\lambda } \frac{t^{j}}{j!}\sum_{m=0}^{\infty } \operatorname{bel}_{m+1,\lambda }^{(k)}(x)\frac{t^{m}}{m!} =\sum _{i=0}^{\infty }(1-\lambda )_{i,\lambda } \frac{t^{i}}{i!}\sum_{m=1}^{\infty } \operatorname{bel}_{m, \lambda }^{(k-1)}(x)\frac{t^{m}}{m!} . $$
(24)

From (24), we get

$$ \sum_{n=1}^{\infty } \sum_{m=0}^{n-1} \binom{n}{m}(1)_{n-m, \lambda } \operatorname{bel}_{m+1,\lambda }^{(k)}(x)\frac{t^{n}}{n!} =\sum _{n=1}^{\infty }\sum _{m=1}^{n}\binom{n}{m} (1-\lambda )_{n-m,\lambda }\operatorname{bel}_{m, \lambda }^{(k-1)}(x) \frac{t^{n}}{n!} . $$
(25)

By comparing with coefficients on both sides of (25), we have

$$ \sum_{m=0}^{n-1} \binom{n}{m}(1)_{n-m,\lambda }\operatorname{bel}_{m+1, \lambda }^{(k)}(x)= \sum_{m=1}^{n}\binom{n}{m} (1- \lambda )_{n-m, \lambda }\operatorname{bel}_{m,\lambda }^{(k-1)}(x). $$
(26)

 □

Theorem 5

For \(k \in \mathbb{Z}\) and \(n\geq 1\), we have

$$ \operatorname{bel}_{n,\lambda }^{(k)}(x) = \sum_{j=1}^{n} \sum _{h=1}^{j} \sum_{m=1}^{h} \frac{(1)_{m,\lambda }}{m^{k-1}}S_{1,\lambda }(h,m) S_{2, \lambda }(n,j) S_{2,\lambda }(j,h)x^{j}. $$

Proof

From (6) and (12), we observe that

$$ \begin{aligned} \operatorname{Ei}_{k,\lambda } \bigl(\log _{\lambda }(1+t)\bigr) &= \sum_{m=1}^{\infty } \frac{(1)_{m,\lambda }(\log _{\lambda }(1+t))^{m}}{(m-1)!m^{k}} \\ &= \sum_{m=1}^{\infty }\frac{(1)_{m,\lambda }}{m^{k-1}} \frac{(\log _{\lambda }(1+t))^{m}}{m!}=\sum_{n=1}^{\infty } \Biggl(\sum_{m=1} ^{n} \frac{(1)_{m,\lambda }S_{1,\lambda }(n,m)}{m^{k-1}} \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(27)

By replacing t with \(e_{\lambda }(x(e_{\lambda }(t)-1))-1\) in (27), we get

$$ \begin{aligned} \operatorname{Ei}_{k,\lambda } \bigl(x\bigl(e_{\lambda }(t)-1\bigr)\bigr) &= \sum _{h=1} ^{\infty } \Biggl(\sum _{m=1}^{h} \frac{(1)_{m,\lambda }S_{1,\lambda }(h,m)}{m^{k-1}} \Biggr) \frac{1}{h!}\bigl(e_{\lambda }\bigl(x\bigl(e_{\lambda }(t)-1 \bigr)\bigr)-1\bigr)^{h} \\ &=\sum_{h=1} ^{\infty } \Biggl(\sum _{m=1}^{h} \frac{(1)_{m,\lambda }S_{1,\lambda }(h,m)}{m^{k-1}} \Biggr)\sum _{j=h}^{\infty }S_{2,\lambda }(j,h)x^{j} \sum_{n=j}^{\infty }S_{2,\lambda }(n,j) \frac{t^{n}}{n!} \\ &=\sum_{n=1} ^{\infty } \Biggl(\sum _{j=1}^{n} \sum_{h=1}^{j} \sum_{m=1}^{h} \frac{(1)_{m,\lambda }}{m^{k-1}}S_{1,\lambda }(h,m) S_{2,\lambda }(n,j) S_{2, \lambda }(j,h)x^{j} \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(28)

Combining with (14) and (28), we get what we want. □

For the next theorem, we observe that

$$ \begin{aligned} \sum_{n=0}^{\infty } \beta _{n,\lambda }^{(k)}(x) \frac{t^{n}}{n!} &= \frac{\operatorname{Ei}_{k,\lambda } (\log _{\lambda }(1+t))}{e_{\lambda }(t)-1}e_{\lambda }^{x}(t) \\ &=\sum_{m=0} ^{\infty }\beta _{m,\lambda }^{(k)} \frac{t^{m}}{m!} \sum _{l=0} ^{\infty }(x)_{l,\lambda } \frac{t^{l}}{l!}= \sum_{n=0} ^{\infty } \Biggl( \sum_{m=0} ^{n} \binom{n}{m} (x)_{n-m,\lambda } \beta _{m,\lambda }^{(k)} \Biggr)\frac{t^{n}}{n!}. \end{aligned} $$
(29)

By comparing with coefficients on both sides of (29), we get

$$ \beta _{n,\lambda }^{(k)}(x) = \sum_{m=0}^{n} \binom{n}{m}(x)_{n-m,\lambda } \beta _{m,\lambda }^{(k)}. $$
(30)

Theorem 6

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

$$ \operatorname{bel}_{n,\lambda }^{(k)}(x) = \sum_{d=1}^{n} \sum _{h=1}^{d} \bigl(\beta _{h,\lambda }^{(k)}(1)- \beta _{h,\lambda }^{(k)} \bigr)S_{2, \lambda }(n,d) S_{2,\lambda }(d,h) x^{d}, $$

where \(\beta _{n,\lambda }^{(k)}\) are the degenerate poly-Bernoulli numbers.

Proof

From (1), (7), and (30), we observe that

$$ \begin{aligned} \operatorname{Ei}_{k,\lambda } \bigl(\log _{\lambda }(1+t)\bigr) &= \bigl(e_{\lambda }(t)-1\bigr) \Biggl( \sum_{j=0} ^{\infty }\beta _{j,\lambda }^{(k)} \frac{t^{j}}{j!} \Biggr) \\ &= \Biggl(\sum_{m=0} ^{\infty } \frac{(1)_{m,\lambda }}{m!}t^{m}-1 \Biggr)\sum _{j=0} ^{\infty }\beta _{j,\lambda }^{(k)} \frac{t^{j}}{j!} \\ &= \sum_{n=0} ^{\infty } \Biggl(\sum _{m=0} ^{n} \binom{n}{m}(1)_{n-m, \lambda } \beta _{m,\lambda }^{(k)}-\beta _{n,\lambda }^{(k)} \Biggr) \frac{t^{n}}{n!} \\ &=\sum_{n=1}^{\infty } \bigl(\beta _{n,\lambda }^{(k)}(1)- \beta _{n,\lambda }^{(k)} \bigr)\frac{t^{n}}{n!}. \end{aligned} $$
(31)

By replacing t with \(e_{\lambda }(x(e_{\lambda }(t)-1))-1\) in (31), we get

$$ \begin{aligned} \operatorname{Ei}_{k,\lambda } \bigl(x\bigl(e_{\lambda }(t)-1\bigr)\bigr) &= \sum _{h=1} ^{\infty } \bigl(\beta _{h,\lambda }^{(k)}(1)- \beta _{h,\lambda }^{(k)} \bigr)\frac{(e_{\lambda }(x(e_{\lambda }(t)-1))-1)^{h}}{h!} \\ &=\sum_{h=1} ^{\infty } \bigl(\beta _{h,\lambda }^{(k)}(1)-\beta _{h, \lambda }^{(k)} \bigr)\sum_{d=h}^{\infty }S_{2,\lambda }(d,h) \frac{1}{d!}\bigl(x\bigl(e_{\lambda }(t)-1\bigr) \bigr)^{d} \\ &=\sum_{d=1} ^{\infty }\sum _{h=1}^{d} \bigl(\beta _{h,\lambda }^{(k)}(1)- \beta _{h,\lambda }^{(k)} \bigr) S_{2,\lambda }(d,h)x^{d} \sum_{n=d}^{\infty }S_{2,\lambda }(n,d) \frac{t^{n}}{n!} \\ &=\sum_{n=1} ^{\infty } \Biggl(\sum _{d=1}^{n} \sum_{h=1}^{d} \bigl( \beta _{h,\lambda }^{(k)}(1)-\beta _{h,\lambda }^{(k)} \bigr) S_{2, \lambda }(n,d)S_{2,\lambda }(d,h)x^{d} \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(32)

From (14) and (32), we get the desired result. □

Theorem 7

For \(k \in \mathbb{Z}\) and \(n\geq 1\), we have

$$ \operatorname{bel}_{n,\lambda }^{(k)}(x) = \sum_{j=1}^{n} \sum _{h=1}^{j} \sum_{m=1}^{h} \binom{n}{m}(1)_{m,\lambda }\beta _{h-m,\lambda }^{(k)} S_{2, \lambda }(n,j) S_{2,\lambda }(j,h)x^{j}, $$

where \(\beta _{n,\lambda }^{(k)}\) are the degenerate poly-Bernoulli numbers.

Proof

From (1) and (7), we observe that

$$ \begin{aligned} \operatorname{Ei}_{k,\lambda } \bigl(\log _{\lambda }(1+t)\bigr) &= (e_{\lambda }-1) \Biggl( \sum _{j=0} ^{\infty }\beta _{j,\lambda }^{(k)} \frac{t^{j}}{j!} \Biggr) \\ &=\sum_{m=1} ^{\infty }(1)_{m,\lambda } \frac{t^{m}}{m!}\sum_{j=0} ^{\infty }\beta _{j,\lambda }^{(k)} \frac{t^{j}}{j!}= \sum _{n=1} ^{\infty } \Biggl(\sum _{m=1} ^{n} \binom{n}{m}(1)_{m,\lambda } \beta _{n-m, \lambda }^{(k)} \Biggr)\frac{t^{n}}{n!}. \end{aligned} $$
(33)

By replacing t with \(e_{\lambda }(x(e_{\lambda }(t)-1))-1\) in (33), from (11), we get

$$ \begin{aligned} \operatorname{Ei}_{k,\lambda } \bigl(x\bigl(e_{\lambda }(t)-1\bigr)\bigr) &= \sum _{h=1} ^{\infty } \Biggl(\sum _{m=1}^{h} \binom{n}{m}(1)_{m,\lambda } \beta _{h-m, \lambda }^{(k)} \Biggr)\frac{1}{h!} \bigl(e_{\lambda }\bigl(x\bigl(e_{\lambda }(t)-1\bigr)\bigr)-1 \bigr)^{h} \\ &=\sum_{h=1} ^{\infty } \Biggl(\sum _{m=1}^{h}\binom{n}{m} (1)_{m, \lambda }\beta _{h-m,\lambda }^{(k)} \Biggr)\sum _{j=h}^{\infty }S_{2, \lambda }(j,h)x^{j} \sum_{n=j}^{\infty }S_{2,\lambda }(n,j) \frac{t^{n}}{n!} \\ &=\sum_{n=1} ^{\infty } \Biggl(\sum _{j=1}^{n} \sum_{h=1}^{j} \sum_{m=1}^{h} \binom{n}{m}(1)_{m,\lambda } \beta _{h-m,\lambda }^{(k)} S_{2,\lambda }(n,j) S_{2,\lambda }(j,h)x^{j} \Biggr) \frac{t^{n}}{n!}. \end{aligned} $$
(34)

Combining with (14) and (34), we get the desired result. □

Theorem 8

For \(k \in \mathbb{Z}\) and \(n\geq 1\), we have

$$ \operatorname{bel}_{n,\lambda }^{(k)}(x) = \frac{1}{2} \sum_{j=1} ^{n} \sum_{h=1} ^{j} \Biggl(\sum _{i=1} ^{h} \binom{h}{i}(1)_{i,\lambda } \mathcal{G}_{h-i,\lambda }^{(k)}+2\mathcal{G}_{h,\lambda }^{(k)} \Biggr) S_{2, \lambda }(j,h) S_{2,\lambda }(n,j)x^{j}, $$

where \(\mathcal{G}_{n,\lambda }^{(k)}\) are the degenerate poly-Genocchi numbers.

Proof

From (1) and (8), we have

$$ \begin{aligned} 2 \operatorname{Ei}_{k,\lambda } \bigl(\log _{\lambda }(1+t)\bigr) &= \bigl(e_{\lambda }(t)+1\bigr) \Biggl( \sum_{m=0} ^{\infty } \mathcal{G}_{m,\lambda }^{(k)} \frac{t^{m}}{m!} \Biggr) \\ &= \Biggl(\sum_{i=1} ^{\infty }(1)_{i,\lambda } \frac{t^{i}}{i!} \Biggr) \Biggl(\sum_{m=0} ^{\infty }\mathcal{G}_{m,\lambda }^{(k)} \frac{t^{m}}{m!} \Biggr)+2\sum_{m=0}^{\infty } \mathcal{G}_{m,\lambda }^{(k)} \frac{t^{m}}{m!} \\ &= \sum_{h=1} ^{\infty } \Biggl(\sum _{i=1} ^{h} \binom{h}{i}(1)_{i, \lambda } \mathcal{G}_{h-i,\lambda }^{(k)}+2\mathcal{G}_{h,\lambda }^{(k)} \Biggr)\frac{t^{h}}{h!}. \end{aligned} $$
(35)

By replacing t with \(e_{\lambda }(x(e_{\lambda }(t)-1))-1\) in (35), we get

$$ \begin{aligned} &2 \operatorname{Ei}_{k,\lambda } \bigl(x\bigl(e_{\lambda }(t)-1\bigr)\bigr) \\ &\quad = \sum_{h=1} ^{\infty } \Biggl(\sum _{i=1} ^{h} \binom{h}{i}(1)_{i, \lambda } \mathcal{G}_{h-i,\lambda }^{(k)}+2\mathcal{G}_{h,\lambda }^{(k)} \Biggr)\frac{(e_{\lambda }(x(e_{\lambda }(t)-1))-1)^{h}}{h!} \\ &\quad = \sum_{h=1} ^{\infty } \Biggl(\sum _{i=1} ^{h} \binom{h}{i}(1)_{i, \lambda } \mathcal{G}_{h-i,\lambda }^{(k)}+2\mathcal{G}_{h,\lambda }^{(k)} \Biggr)\sum_{j=h}^{\infty }S_{2,\lambda }(j,h)x^{j} \sum_{n=j}^{\infty }S_{2, \lambda }(n,j) \frac{t^{n}}{n!} \\ &\quad =\sum_{n=1} ^{\infty }\sum _{j=1} ^{n} \sum_{h=1} ^{j} \Biggl(\sum_{i=1} ^{h} \binom{h}{i}(1)_{i,\lambda }\mathcal{G}_{h-i,\lambda }^{(k)}+2 \mathcal{G}_{h,\lambda }^{(k)} \Biggr) S_{2,\lambda }(j,h) S_{2,\lambda }(n,j)x^{j} \frac{t^{n}}{n!}. \end{aligned} $$
(36)

From (14) and (36), we get what we want. □

3 Further remarks

Remark 1

For \(\lambda \in (0,1)\), let \(X_{\lambda }\) be the degenerate Poisson random variable with parameter \(\alpha >0\) if the probability mass function of X is given by

$$ P_{\lambda }(j)=P \{X_{\lambda }=j\}=e_{\lambda }^{-1}(\alpha ) \frac{\alpha ^{j}(1)_{j,\lambda }}{j!}\quad \text{(see [9, 13])}, $$
(37)

where \(j=0,1,2,3,\ldots \) . It is easy to show that

$$ \sum_{j=0}^{\infty }P_{\lambda }(j)=e_{\lambda }^{-1}( \alpha ) \sum_{j=1}^{\infty } \frac{\alpha ^{j}}{j!}(1)_{j,\lambda } = e_{\lambda }^{-1}( \alpha )e_{\lambda }(\alpha )=1 \quad \text{(see [9, 13])}. $$
(38)

Let \(f(x)\) be a real variable function on \(X_{\lambda }\).

From (17) of Theorem 2, we observe that

$$ \begin{aligned} E[X_{\lambda }] &= \sum _{j=0}^{\infty }jP_{\lambda }(j) = e_{\lambda }^{-1}(\alpha )\sum_{j=0}^{\infty } \frac{1}{(j-1)!}(1)_{j, \lambda }\alpha ^{j} \\ &=e_{\lambda }^{-1}(\alpha )\sum_{j=0}^{\infty } \frac{1}{(j-1)!}j^{k-1} \sum_{h=0}^{j} S_{1,\lambda }(j,h)\operatorname{bel}_{h,\lambda }^{(k)}(\alpha ) \\ &=e_{\lambda }^{-1}(\alpha )\sum_{j=0}^{\infty } \sum_{h=0}^{j} \frac{j^{k-1}}{(j-1)!} S_{1,\lambda }(j,h)\operatorname{bel}_{h,\lambda }^{(k)}( \alpha ). \end{aligned} $$
(39)

In addition, for \(n \in \mathbb{N}\), we also obtain the moments of \(X_{\lambda }\) as follows:

$$ \begin{aligned} E\bigl[X^{n}_{\lambda } \bigr] &= \sum_{j=0}^{\infty }j^{n} P_{\lambda }(j) = e_{\lambda }^{-1}(\alpha )\sum _{j=0}^{\infty }\frac{j^{n-1}}{(j-1)!}(1)_{j, \lambda } \alpha ^{j} \\ &=e_{\lambda }^{-1}(\alpha )\sum_{j=0}^{\infty } \frac{j^{n-1}}{(j-1)!}j^{k-1} \sum_{h=0}^{j} S_{1,\lambda }(j,h)\operatorname{bel}_{h,\lambda }^{(k)}(\alpha ) \\ &=e_{\lambda }^{-1}(\alpha )\sum_{j=0}^{\infty } \sum_{h=0}^{j} \frac{j^{n+k-2}}{(j-1)!} S_{1,\lambda }(j,h)\operatorname{bel}_{h,\lambda }^{(k)}( \alpha ). \end{aligned} $$
(40)

Thus, we have the following theorem.

Theorem 9

For \(\lambda \in (0,1)\), let \(X_{\lambda }\) be the degenerate Poisson random variable with parameter \(\alpha >0\) if the probability mass function of X. Then the expectation and the moments of \(X_{\lambda }\) are

$$ \begin{aligned} &E[X_{\lambda }]=e_{\lambda }^{-1}( \alpha )\sum_{j=0}^{\infty }\sum _{h=0}^{j} \frac{j^{k-1}}{(j-1)!} S_{1,\lambda }(j,h)\operatorname{bel}_{h, \lambda }^{(k)}(\alpha ), \\ &E\bigl[X^{n}_{\lambda }\bigr]=e_{\lambda }^{-1}( \alpha )\sum_{j=0}^{\infty }\sum _{h=0}^{j} \frac{j^{n+k-2}}{(j-1)!} S_{1,\lambda }(j,h)\operatorname{bel}_{h,\lambda }^{(k)}( \alpha ), \end{aligned} $$

respectively, where \(\operatorname{bel}_{h,\lambda }^{(k)}(\alpha )\) are the degenerate poly-Bell polynomials.

Remark 2

Kim and Lee introduced a new type of the degenerate Bell polynomials defined by

$$ e_{\lambda }\bigl(x \bigl(e^{t} -1\bigr)\bigr) = \sum_{n=0}^{\infty } \operatorname{Bel}_{n, \lambda }(x)\frac{t^{n}}{n!} \quad \text{(see [10])}. $$
(41)

When \(\lim_{\lambda \rightarrow 0}e_{\lambda }(x(e^{\lambda }-1)) = \exp (x(e^{t}-1))= \sum_{n=0}^{\infty }\operatorname{bel}_{n}(x)\frac{t^{n}}{n!}\).

We can also consider a new type of degenerate poly-Bell polynomials by

$$ 1+ \operatorname{Ei}_{k,\lambda } \bigl(x\bigl(e^{t}-1\bigr)\bigr) = \sum_{n=0}^{\infty } \operatorname{Bel}_{n, \lambda } ^{(k)}(x)\frac{t^{n}}{n!} $$
(42)

and \(\operatorname{Bel}_{0,\lambda }^{(k)}(x)=1\).

When \(x=1 \), \(\operatorname{Bel}_{n,\lambda } ^{(k)} = \operatorname{Bel}_{n,\lambda } ^{(k)}(1)\) are called the degenerate poly-Bell numbers.

When \(k=1\), from (42), we note that

$$ \begin{aligned} 1+ \operatorname{Ei}_{1,\lambda } \bigl(x\bigl(e^{t}-1\bigr)\bigr) &= 1+ \sum _{n=1}^{\infty }\frac{(1)_{n,\lambda }(x(e^{t}-1))^{n}}{(n-1)!n} \\ &=\sum_{n=0}^{\infty }\frac{(1)_{n,\lambda }(x(e^{t}-1))^{n}}{(n-1)!n} \\ &=e_{\lambda }\bigl(x\bigl(e^{t}-1\bigr)\bigr) = \sum _{n=0}^{\infty }\operatorname{Bel}_{n,\lambda }(x) \frac{t^{n}}{n!}. \end{aligned} $$
(43)

From (41) and (43), we have

$$ \operatorname{Bel}^{(1)}_{n,\lambda }(x)= \operatorname{Bel}_{n,\lambda }(x). $$

When \(\lambda \rightarrow 0\), \(\operatorname{Bel}_{n}^{(k)}(x) \) are called a new type of the poly-Bell polynomials.

We can obtain similar results in the same way.

4 Conclusion

To summarize, in this paper, \(\lambda \rightarrow 0\) is defined as poly-Bell polynomials by introducing the degenerate poly-Bell polynomials through a degenerate polyexponential function and reducing it to a degenerate Bell polynomial for \(k = 1\). We derived Dobinski-like formula in Theorem 3, recurrence relation in Theorem 4, and combinatorial identities for these polynomials. As for Theorem 1, the explicit formula demonstrated the relationship with Stirling numbers of the second kind according to k. To conclude, there are various methods for studying special polynomials and numbers, including: generating functions, combinatorial methods, umbral calculus, differential equations, and probability theory. We are now interested in continuing our research into the application of ‘poly’ versions of certain special polynomials and numbers in the fields of physics, science, and engineering as well as mathematics.

Availability of data and materials

Not applicable.

References

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

    Article  MathSciNet  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  3. Dolgy, D.V., Kim, D.S., Kim, T., Kwon, J.: On fully degenerate Bell numbers and polynomials. Filomat 34(2), 507–514 (2020)

    Article  MathSciNet  Google Scholar 

  4. Duran, U., Acikgoz, M., Araci, S.: Construction of the type 2 poly-Frobenius–Genocchi polynomials with their certain applications. Adv. Differ. Equ. 2020, Paper No. 432 (2020)

    Article  MathSciNet  Google Scholar 

  5. Hardy, G.H.: On a class a functions. Proc. Lond. Math. Soc. (2) 3, 441–460 (1905)

    Article  Google Scholar 

  6. Khan, W., Ali, R., Alzobydi, K.A.H., Ahmed, N.: A new family of degenerate poly-Genocchi polynomials with its certain properties. J. Funct. Spaces, 2021, Article ID 6660517 (2021)

    MathSciNet  Google Scholar 

  7. Khan, W.A.: A note on degenerate Hermite poly-Bernoulli numbers and polynomials. J. Class. Anal. 8(1), 65–76 (2016)

    Article  MathSciNet  Google Scholar 

  8. Kim, D.S., Kim, T.: A note on polyexponential and unipoly functions. Russ. J. Math. Phys. 26(1), 40–49 (2019)

    Article  MathSciNet  Google Scholar 

  9. Kim, D.S., Kim, T.: Degenerate binomial and degenerate Poisson random variables (2020). arXiv:2008.03769v1

  10. Kim, H.K., Lee, D.S.: Degenerate s-extended complete and incomplete Lah–Bell polynomials. https://doi.org/10.13140/RG.2.2.35635.35367

  11. Kim, T., Kim, D.S.: Degenerate polyexponential functions and degenerate Bell polynomials. J. Math. Anal. Appl. 487(2), 124017 (2020)

    Article  MathSciNet  Google Scholar 

  12. Kim, T., Kim, D.S., Dolgy, D.V., Kwon, J.: Some identities on degenerate Genocchi and Euler numbers. Informatica 31(4), 42–51 (2020)

    Google Scholar 

  13. Kim, T., Kim, D.S., Jang, L.-C., Kim, H.Y.: A note on discrete degenerate random variables. Proc. Jangjeon Math. Soc. 23(1), 125–135 (2020)

    MathSciNet  Google Scholar 

  14. Kim, T., Kim, D.S., Kim, H.Y., Jang, L.C.: Degenerate poly-Bernoulli numbers and polynomials. Informatica 31(3), 1–7 (2020)

    MathSciNet  Google Scholar 

  15. Kim, T., Kim, D.S., Kim, H.Y., Kwon, J.: Degenerate Stirling polynomials of the second kind and some applications. Symmetry 11(8), Article ID 1046 (2019)

    Article  Google Scholar 

  16. Kim, T., Kim, D.S., Kwon, J.K., Kim, H.Y.: A note on degenerate Genocchi and poly-Genocchi numbers and polynomials. J. Inequal. Appl. 2020, Paper No. 110 (2020)

    Article  MathSciNet  Google Scholar 

  17. Kim, T., Kim, D.S., Kwon, J.K., Lee, H.S.: Degenerate polyexponential functions and type 2 degenerate poly-Bernoulli numbers and polynomials. Adv. Differ. Equ. 2020, Paper No. 168 (2020)

    Article  MathSciNet  Google Scholar 

  18. Kim, T., Kim, D.S., Lee, H., Kwon, J.: Degenerate binomial coefficients and degenerate hypergeometric functions. Adv. Differ. Equ. 2020, Paper No. 115 (2020)

    Article  MathSciNet  Google Scholar 

  19. Privault, N.: Generalized Bell polynomials and the combinatorics of Poisson central moments. Electron. J. Comb. 18(1), 54 (2011). https://doi.org/10.37236/541

    Article  MathSciNet  MATH  Google Scholar 

  20. Yun, S.J., Park, J.W.: A note on the poly-Bernoulli polynomials of the second kind. J. Funct. Spaces 2020, Article ID 5309879 (2020)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

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

Funding

This work was supported by the Basic Science Research Program, the National Research Foundation of Korea (NRF-2021R1F1A1050151).

Author information

Authors and Affiliations

Authors

Contributions

TK and HKK conceived the framework for the whole paper; HKK wrote the whole paper; TK and HKK checked the results of the paper and completed the revision of the article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Hye Kyung 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

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kim, T., Kim, H.K. Degenerate poly-Bell polynomials and numbers. Adv Differ Equ 2021, 361 (2021). https://doi.org/10.1186/s13662-021-03522-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-021-03522-6

MSC

Keywords