Generating Functions for New Families of Combinatorial Numbers and Polynomials: Approach to Poisson–Charlier Polynomials and Probability Distribution Function

Abstract

The aim of this paper is to construct generating functions for new families of combinatorial numbers and polynomials. By using these generating functions with their functional and differential equations, we not only investigate properties of these new families, but also derive many new identities, relations, derivative formulas, and combinatorial sums with the inclusion of binomials coefficients, falling factorial, the Stirling numbers, the Bell polynomials (i.e., exponential polynomials), the Poisson–Charlier polynomials, combinatorial numbers and polynomials, the Bersntein basis functions, and the probability distribution functions. Furthermore, by applying the p-adic integrals and Riemann integral, we obtain some combinatorial sums including the binomial coefficients, falling factorial, the Bernoulli numbers, the Euler numbers, the Stirling numbers, the Bell polynomials (i.e., exponential polynomials), and the Cauchy numbers (or the Bernoulli numbers of the second kind). Finally, we give some remarks and observations on our results related to some probability distributions such as the binomial distribution and the Poisson distribution.

1. Introduction

In recent years, generating functions and their applications on functional equations and differential equations has gained high attention in various areas. These techniques allow researchers to derive various identities and combinatorial sums that yield important special numbers and polynomials. In fact, the current trend is to combine the p-adic integrals with these techniques. In most of fields of mathematics and physics, different applications of generating functions are used as an important tool. For instance, a common research topic in quantum physics is to identify a generating function that could be a solution to a differential equation.

The motivation of this paper is to outline the advantages of techniques associated with generating functions. First, generating functions are presented for new families of combinatorial numbers and polynomials. Second, we derive new identities, relations, and formulas including the Bersntein basis functions, the Stirling numbers, the Bell polynomials (i.e., exponential polynomials), the Poisson–Charlier polynomials, the Daehee numbers and polynomials, the probability distribution functions, as well as combinatorial sums including the Bernoulli numbers, the Euler numbers, the Cauchy numbers (or the Bernoulli numbers of the second kind), and combinatorial numbers.

With the followings, we briefly introduce the notations, definitions, relations, and formulas are used throughout this paper:

As usual, let $\mathbb{N}$, $\mathbb{Z}$, ${\mathbb{N}}_0$, $\mathbb{Q}$, $\mathbb{R}$, and $\mathbb{C}$ denote the set of natural numbers, set of integers, set of nonnegative integers, set of rational numbers, set of real numbers, and set of complex numbers, respectively. Let $logz$ denote the principal branch of the multi-valued function $logz$ with the imaginary part $\mathrm{Im}(logz)$ constrained by the interval $(-\pi ,\pi ]$. We also assume that:

$$0^n=\left\{\begin{array}{cc}1,& \mathit{if}n=0\\ 0,& \mathit{if}n\in \mathbb{N}.\end{array}\right.$$

Moreover,

$$\left(\genfrac{}{}{0pt}{}{z}{v}\right)=\frac{z(z-1)\cdots (z-v+1)}{v!}=\frac{{\left(z\right)}_v}{v!}(v\in \mathbb{N},z\in \mathbb{C})$$

so that,

$$\left(\genfrac{}{}{0pt}{}{z}{0}\right)={\left(z\right)}_0=1$$

(cf. [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31]).

The Poisson–Charlier polynomials $C_n\left(x;a\right)$, which are members of the family of Sheffer-type sequences, are defined as below:

$$F_{pc}\left(t,x;a\right)=e^{-t}{\left(\frac{t}{a}+1\right)}^x=\sum _{n=0}^{\infty }{C}_n\left(x;a\right)\frac{t^n}{n!},$$

(1)

where,

$$C_n\left(x;a\right)=\sum _{j=0}^n{\left(-1\right)}^{n-j}\left(\genfrac{}{}{0pt}{}{n}{j}\right)\frac{{\left(x\right)}_j}{a^j},$$

(2)

(cf. [16], (p. 120, [18]), [24]).

Let $x\in \left[0,1\right]$ and let n and k be nonnegative integers. The Bernstein basis functions, $B_k^n\left(x\right)$, are defined by:

$$B_k^n\left(x\right)=\left(\genfrac{}{}{0pt}{}{n}{k}\right)x^k{(1-x)}^{n-k},\left(k=0,1,\cdots ,n\right)$$

(3)

so that,

$$\left(\genfrac{}{}{0pt}{}{n}{k}\right)=\frac{n!}{k!(n-k)!}$$

and its generating function is given by:

$$F_B(t,x;k)=\frac{{\left(xt\right)}^k{e}^{\left(1-x\right)t}}{k!}=\sum _{n=0}^{\infty }{B}_k^n\left(x\right)\frac{t^n}{n!},$$

(4)

where $t\in \mathbb{C}$ (cf. [1,15,20,26]).

The Stirling numbers of the first kind, $S_1\left(n,k\right)$, are defined by the following generating function:

$$F_{S_1}\left(t;k\right)=\frac{{\left(log\left(1+t\right)\right)}^k}{k!}=\sum _{n=k}^{\infty }{S}_1\left(n,k\right)\frac{t^n}{n!},\left(k\in {\mathbb{N}}_0\right)$$

(5)

so that,

$${\left(x\right)}_n=\sum _{k=0}^n{S}_1\left(n,k\right)x^k$$

(6)

(cf. [2,3,4,29,30]; see also the references cited therein).

The $\lambda$-Stirling numbers of the second kind, $S_2\left(n,k;\lambda \right)$, are defined with generating function given below (cf. [21,30]):

$$F_{S_2}(t;v;\lambda )=\frac{{\left(\lambda e^t-1\right)}^v}{v!}=\sum _{n=0}^{\infty }{S}_2\left(n,v;\lambda \right)\frac{t^n}{n!},(v\in {\mathbb{N}}_0).$$

(7)

Notice here that, when $\lambda =1$, this reduces to the Stirling numbers of the second kind, $S_2(n,v)$, whose generating function is given below:

$$F_{S_2}(t;v)=\frac{{\left(e^t-1\right)}^v}{v!}=\sum _{n=0}^{\infty }{S}_2(n,v)\frac{t^n}{n!},(v\in {\mathbb{N}}_0),$$

(8)

namely, $S_2(n,v)=S_2\left(n,v;1\right)$ (cf. [2,5,21,30]).

The Bell polynomials (i.e., exponential polynomials), $B{l}_n\left(x\right)$, is defined by:

$$B{l}_n\left(x\right)=\sum _{v=1}^n{S}_2\left(n,v\right)x^v$$

(9)

so that the generating function for the Bell polynomials is given by:

$$F_{Bell}\left(t,x\right)=e^{\left(e^t-1\right)x}=\sum _{n=0}^{\infty }B{l}_n\left(x\right)\frac{t^n}{n!}$$

(10)

(cf. [4,18]).

The numbers $Y_n^{\left(k\right)}\left(\lambda \right)$ and the polynomials $Y_n^{\left(k\right)}\left(x;\lambda \right)$ are defined by the following generating functions, respectively:

$$\mathcal{F}\left(t,k;\lambda \right)={\left(\frac{2}{\lambda \left(1+\lambda t\right)-1}\right)}^k=\sum _{n=0}^{\infty }{Y}_n^{\left(k\right)}\left(\lambda \right)\frac{t^n}{n!},$$

(11)

and,

$$\mathcal{F}\left(t,x,k;\lambda \right)=\mathcal{F}\left(t,k;\lambda \right){\left(1+\lambda t\right)}^x=\sum _{n=0}^{\infty }{Y}_n^{\left(k\right)}\left(x;\lambda \right)\frac{t^n}{n!},$$

(12)

where $k\in {\mathbb{N}}_0$ and $\lambda$ is real or complex number (cf. [14]).

Substituting $k=1$ into Equation (11), we have:

$$Y_n\left(\lambda \right)=Y_n^{\left(1\right)}\left(\lambda \right)$$

(cf. [23]).

Substituting $k=1$ and $\lambda =-1$ into Equation (11), we get the following well-known relation between the numbers $Y_n\left(\lambda \right)$ and the Changhee numbers of the first kind, $C{h}_n$:

$$C{h}_n={(-1)}^{n+1}{Y}_n(-1).$$

Thus we have,

$$C{h}_n=\frac{{\left(-1\right)}^{n}n!}{n+1}=\sum _{k=0}^n{S}_1(n,k)E_k$$

(13)

where the Changhee numbers of the first kind, $C{h}_n$ are defined means of the following generating function:

$$\frac{2}{t+1}=\sum _{n=0}^{\infty }C{h}_n\frac{t^n}{n!}$$

(14)

(cf. [9], see also [7]).

The Daehee polynomials, $D_n\left(x\right)$, is defined by the following generating functions (cf. [8]):

$$F_D\left(x,t\right)=\frac{log\left(1+t\right)}{t}{\left(1+t\right)}^x=\sum _{n=0}^{\infty }{D}_n\left(x\right)\frac{t^n}{n!}$$

(15)

which, for $x=0$, corresponds the generating functions of the Daehee number, $D_n=D_n\left(0\right)$, given by the following explicit formula:

$$D_n=\frac{{\left(-1\right)}^{n}n!}{n+1}.$$

(16)

The combinatorial numbers, $y_1\left(n,k;\lambda \right)$, are defined by the following generating function:

$$F_{y_1}\left(t,k;\lambda \right)=\frac{1}{k!}{\left(\lambda e^t+1\right)}^k=\sum _{n=0}^{\infty }{y}_1\left(n,k;\lambda \right)\frac{t^n}{n!}$$

(17)

where $k\in {\mathbb{N}}_0$ and $\lambda \in \mathbb{C}$ (cf. [22]).

Use the preceding generating function for the combinatorial numbers, $y_1\left(n,k;\lambda \right)$ to compute the following explicit formula:

$$y_1\left(n,k;\lambda \right)=\frac{1}{k!}\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right){\lambda }^j{j}^n$$

(18)

(cf. [22] (Theorem 1, Equation (9))).

Note that the following equality holds true:

$$y_1\left(n,k;\lambda \right)=\frac{1}{k!}{\left.\frac{d^n}{d{t}^n}{\left(\lambda e^t+1\right)}^k\right|}_{t=0}$$

(19)

(cf. [31] (p. 64)).

When $\lambda =1$, if we multiply the numbers $y_1\left(n,k;\lambda \right)$ by $k!$, then Equation (18) is reduced to the following combinatorial numbers (cf. [6,19,22]):

$$B(k,n)=\sum _{j=0}^k\left(\genfrac{}{}{0pt}{}{k}{j}\right)j^n$$

which satisfies the following differential equation:

$$B\left(k,n\right)={\left.\frac{d^n}{d{t}^n}{\left(e^t+1\right)}^k\right|}_{t=0}$$

(20)

(cf. [6], (Equation (2), p. 2 [22])).

The combinatorial numbers $B(n,k)$ have various kinds of combinatorial applications. For instance, Ross [19] (pp. 18–20, Exercises 10–12) gave the following applications for solutions of exercises 10–12:

From a group of n people, suppose that we want to choose a committee of k, $k\le n$, one of whom is to be designated as chairperson.

How many different selections are there in which the chairperson and the secretary are the same?

Ross [19] (p. 18, Exercise 12) gave the following answer: $B(1,n)=n{2}^{n-1}$.

By using the preceding idea summarized above, the following combinatorial identities are obtained:

$$\sum _{k=0}^n\left(\genfrac{}{}{0pt}{}{n}{k}\right)k=n{2}^{n-1}$$

$$\sum _{k=0}^n\left(\genfrac{}{}{0pt}{}{n}{k}\right)k^2=2^{n-2}n(n+1)$$

and,

$$\sum _{k=0}^n\left(\genfrac{}{}{0pt}{}{n}{k}\right)k^3=2^{n-3}{n}^2(n+3)$$

(cf. (pp. 18–20, Exercises 10–12 [19]), [22,25]). Observe that these numbers are also arised from Equation (20).

Next, we present the outline of the present paper: In Section 2, we construct generating functions for new families of combinatorial numbers and polynomials. By using these generating functions, we not only investigate properties of these new families, but also provide some new identities and relations with the inclusion of the Bersntein basis functions, combinatorial numbers, and the Stirling numbers. In Section 3, we obtain some derivative formulas and recurrence relations for these new families of combinatorial numbers and polynomials by using differential equations that are a result of these generating functions and their partial derivatives. In Section 4, by using functional equations of the generating functions, we derive some formulas and combinatorial sums including binomials coefficients, falling factorial, the Stirling numbers, the Bell polynomials (i.e., exponential polynomials), the Poisson–Charlier polynomials, combinatorial numbers and polynomials, and the Bersntein basis functions. In Section 5, by applying the p-adic integrals and Riemann integral to some new formulas derived by the authors of this paper, some combinatorial sums comprising the binomial coefficients, falling factorial, the Bernoulli numbers, the Euler numbers, the Stirling numbers, the Bell polynomials (i.e. exponential polynomials), and the Cauchy numbers (or the Bernoulli numbers of the second kind) are presented. In Section 6, we give some remarks and observations on our results related to some probability distributions such as the binomial distribution and the Poisson distribution. In Section 7, we conclude our findings.

2. New Families of the Combinatorial Numbers and Polynomials

In this section, we define new families of the combinatorial numbers and polynomials by the following generating functions, respectively:

$$\mathcal{G}\left(t,k;\lambda \right)=2^{-k}{\left(\lambda \left(1+\lambda t\right)-1\right)}^k=\sum _{n=0}^{\infty }{Y}_n^{\left(-k\right)}\left(\lambda \right)\frac{t^n}{n!}$$

(21)

and,

$$\mathcal{G}\left(t,x,k;\lambda \right)=\mathcal{G}\left(t,k;\lambda \right){\left(1+\lambda t\right)}^x=\sum _{n=0}^{\infty }{Q}_n\left(x;\lambda ,k\right)\frac{t^n}{n!}$$

(22)

where $k\in \mathbb{N}$ and $\lambda$ is a real or complex number.

Combining Equations (21) and (22), we get:

$$\sum _{n=0}^{\infty }{Q}_n\left(x;\lambda ,k\right)\frac{t^n}{n!}=\sum _{n=0}^{\infty }\sum _{j=0}^n\left(\genfrac{}{}{0pt}{}{n}{j}\right){\lambda }^{n-j}{Y}_j^{\left(-k\right)}\left(\lambda \right){\left(x\right)}_{n-j}\frac{t^n}{n!}.$$

(23)

Comparing coefficient of $\frac{t^n}{n!}$ on both sides of the above equation, we arrive at the following theorem:

Theorem 1.

$$Q_n\left(x;\lambda ,k\right)=\sum _{j=0}^n\left(\genfrac{}{}{0pt}{}{n}{j}\right){\lambda }^{n-j}{Y}_j^{\left(-k\right)}\left(\lambda \right){\left(x\right)}_{n-j}.$$

(24)

By the binomial theorem, we have:

$$\sum _{n=0}^{\infty }{Y}_n^{\left(-k\right)}\left(\lambda \right)\frac{t^n}{n!}=2^{-k}\sum _{n=0}^{\infty }\left(\genfrac{}{}{0pt}{}{k}{n}\right){\lambda }^{2n}{\left(\lambda -1\right)}^{k-n}{t}^n.$$

Comparing the coefficient of $t^n$ on both sides of the above equation, we arrive at the following theorem:

Theorem 2.

Let k and n be nonnegative integers. Then:

$$Y_n^{\left(-k\right)}\left(\lambda \right)=\left\{\begin{array}{cc}{2}^{-k}n!\left(\genfrac{}{}{0pt}{}{k}{n}\right){\lambda }^{2n}{\left(\lambda -1\right)}^{k-n}& \mathit{if}n\le k\\ 0& \mathit{if}n>k.\end{array}\right.$$

(25)

By Equation (25), a few values of the numbers $Y_n^{\left(-k\right)}\left(\lambda \right)$ are computed as follows:

$$\begin{array}{ccc}\hfill Y_0^{\left(-k\right)}\left(\lambda \right)& =& 2^{-k}{\left(\lambda -1\right)}^k,\hfill \\ \hfill Y_1^{\left(-k\right)}\left(\lambda \right)& =& 2^{-k}\left(\genfrac{}{}{0pt}{}{k}{1}\right){\lambda }^2{\left(\lambda -1\right)}^{k-1},\hfill \\ \hfill Y_2^{\left(-k\right)}\left(\lambda \right)& =& 2^{-k}2!\left(\genfrac{}{}{0pt}{}{k}{2}\right){\lambda }^4{\left(\lambda -1\right)}^{k-2},\hfill \\ & ⋮& \\ \hfill Y_j^{\left(-k\right)}\left(\lambda \right)& =& 2^{-k}j!\left(\genfrac{}{}{0pt}{}{k}{j}\right){\lambda }^{2j}{\left(\lambda -1\right)}^{k-j}\mathit{for}j\le k,\hfill \\ & ⋮& \\ \hfill Y_k^{\left(-k\right)}\left(\lambda \right)& =& 2^{-k}k!{\lambda }^{2k},\hfill \\ \hfill Y_j^{\left(-k\right)}\left(\lambda \right)& =& 0\mathit{for}j>k.\hfill \end{array}$$

By Equations (24) and (25), we also compute a few values of the polynomials $Q_n\left(x;\lambda ,k\right)$ as follows:

$$\begin{array}{ccc}\hfill Q_0\left(x;\lambda ,k\right)& =& 2^{-k}{\left(\lambda -1\right)}^k,\hfill \\ \hfill Q_1\left(x;\lambda ,k\right)& =& 2^{-k}{\left(\lambda -1\right)}^k\lambda x+2^{-k}k{\lambda }^2{\left(\lambda -1\right)}^{k-1},\hfill \\ \hfill Q_2\left(x;\lambda ,k\right)& =& 2^{-k}{\left(\lambda -1\right)}^k{\lambda }^2{x}^2+\left(-2^{-k}{\left(\lambda -1\right)}^k{\lambda }^2+2^{-k+1}k{\lambda }^3{\left(\lambda -1\right)}^{k-1}\right)x\hfill \\ \hfill & \hfill & +2^{-k}k\left(k-1\right){\lambda }^4{\left(\lambda -1\right)}^{k-1}.\hfill \end{array}$$

By Equation (3), we arrive at a computation formula, for the numbers $Y_n^{\left(-k\right)}\left(\lambda \right)$, in terms of the Bernstein basis functions by the following corollary:

Corollary 1.

Let n and k be nonnegative integers and $\lambda \in \left[0,1\right]$. Then,

$$Y_n^{\left(-k\right)}\left(\lambda \right)=\left\{\begin{array}{cc}{2}^{-k}n!{\left(-1\right)}^{k-n}{\lambda }^n{B}_n^k\left(\lambda \right)& \mathit{if}n\le k\\ 0& \mathit{if}n>k.\end{array}\right.$$

(26)

Replacing $1+\lambda t$ by $e^{log\left(1+\lambda t\right)}$ leads Equation (21) to be:

$$\sum _{n=0}^{\infty }{Y}_n^{\left(-k\right)}\left(\lambda \right)\frac{t^n}{n!}=\frac{{\left(-1\right)}^k}{2^k}{\left(-\lambda e^{log\left(1+\lambda t\right)}+1\right)}^k.$$

(27)

By combining Equation (17) with the above quation, we get:

$$\sum _{n=0}^{\infty }{Y}_n^{\left(-k\right)}\left(\lambda \right)\frac{t^n}{n!}=\frac{{\left(-1\right)}^{k}k!}{2^k}\sum _{m=0}^{\infty }{y}_1\left(m,k;-\lambda \right)\frac{{\left(log\left(1+\lambda t\right)\right)}^m}{m!}$$

(28)

which follows from Equation (5) that:

$$\sum _{n=0}^{\infty }{Y}_n^{\left(-k\right)}\left(\lambda \right)\frac{t^n}{n!}=\frac{{\left(-1\right)}^{k}k!}{2^k}\sum _{n=0}^{\infty }\sum _{m=0}^n{\lambda }^n{y}_1\left(m,k;-\lambda \right)S_1\left(n,m\right)\frac{t^n}{n!}.$$

(29)

Therefore, by comparing coefficient of $\frac{t^n}{n!}$ on both sides of the above equation, we arrive at the following theorem:

Theorem 3.

$$Y_n^{\left(-k\right)}\left(\lambda \right)=\frac{{\left(-1\right)}^{k}k!}{2^k}\sum _{m=0}^n{\lambda }^n{y}_1\left(m,k;-\lambda \right)S_1\left(n,m\right).$$

(30)

Combining Equations (25) with (30) yields the following corollary:

Corollary 2.

$$\sum _{m=0}^n{y}_1\left(m,k;-\lambda \right)S_1\left(n,m\right)=\left\{\begin{array}{cc}\frac{{\left(-1\right)}^k{\lambda }^n{\left(\lambda -1\right)}^{k-n}}{\left(k-n\right)!}& \mathit{if}n\le k\\ 0& \mathit{if}n>k.\end{array}\right.$$

(31)

If we also combine Equations (26) with (30), then we have the following result:

Corollary 3.

Let n and k nonnegative integer with $n\le k$. Then,

$$\sum _{m=0}^n{y}_1\left(m,k;-\lambda \right)S_1\left(n,m\right)={\left(-1\right)}^n\frac{n!}{k!}{B}_n^k\left(\lambda \right).$$

(32)

On the other hand, since the following equality holds true (cf. [13]):

$$S_2\left(n,k;\lambda \right)={\left(-1\right)}^k{y}_1\left(n,k;-\lambda \right),$$

(33)

Equation (31) leads the following corollary:

Corollary 4.

$$\sum _{m=0}^n{S}_2\left(m,k;\lambda \right)S_1\left(n,m\right)=\left\{\begin{array}{cc}\frac{{\lambda }^n{\left(\lambda -1\right)}^{k-n}}{\left(k-n\right)!}& \mathit{if}n\le k\\ 0& \mathit{if}n>k.\end{array}\right.$$

(34)

3. Derivative Formulas and Recurrence Relations Arising from Differential Equations of Generating Functions

In this section, by using differential equations involving the generating functions $\mathcal{G}\left(t,k;\lambda \right)$ and $\mathcal{G}\left(t,x,k;\lambda \right)$ and their partial derivatives with respect to the parameters t, $\lambda$, and x, we obtain some derivative formulas and recurrence relations for the numbers $Y_n^{\left(-k\right)}\left(\lambda \right)$ and the polynomials $Q_n\left(x;\lambda ,k\right)$.

Differentiating both sides of Equation (21) with respect to $\lambda$, we get the following partial derivative equation:

$$\frac{\partial }{\partial \lambda }\left\{\mathcal{G}\left(t,k;\lambda \right)\right\}=\frac{k}{2}\left(2\lambda t+1\right)\mathcal{G}\left(t,k-1;\lambda \right).$$

(35)

Also, if we differentiate both sides of Equation (21) with respect to t, then we get the following partial derivative equation:

$$\frac{\partial }{\partial t}\left\{\mathcal{G}\left(t,k;\lambda \right)\right\}=\frac{k{\lambda }^2}{2}\mathcal{G}\left(t,k-1;\lambda \right).$$

(36)

By combining Equation (35) with the RHS of Equation (21), we obtain:

$$\sum _{n=0}^{\infty }\frac{d}{d\lambda }\left\{Y_n^{\left(-k\right)}\left(\lambda \right)\right\}\frac{t^n}{n!}=\frac{k}{2}\sum _{n=0}^{\infty }\left(2n\lambda Y_{n-1}^{\left(-k+1\right)}\left(\lambda \right)+Y_n^{\left(-k+1\right)}\left(\lambda \right)\right)\frac{t^n}{n!}.$$

(37)

Comparing the coefficients of $\frac{t^n}{n!}$ on both sides of the above equation, we arrive at the following theorem:

Theorem 4.

Let $n\in \mathbb{N}$. Then, we have:

$$\frac{d}{d\lambda }\left\{Y_n^{\left(-k\right)}\left(\lambda \right)\right\}=\frac{k}{2}\left(2n\lambda Y_{n-1}^{\left(-k+1\right)}\left(\lambda \right)+Y_n^{\left(-k+1\right)}\left(\lambda \right)\right).$$

(38)

By combining Equation (36) with the RHS of Equation (21), we get:

$$\frac{\partial }{\partial t}\sum _{n=0}^{\infty }{Y}_n^{\left(-k\right)}\left(\lambda \right)\frac{t^n}{n!}=\frac{k{\lambda }^2}{2}\sum _{n=0}^{\infty }{Y}_n^{\left(-k+1\right)}\left(\lambda \right)\frac{t^n}{n!}.$$

(39)

which, by comparing the coefficients of $\frac{t^n}{n!}$ on both sides of the above equation, yields the following theorem:

Theorem 5.

Let $n\in {\mathbb{N}}_0$. Then, we have:

$$Y_{n+1}^{\left(-k\right)}\left(\lambda \right)=\frac{k{\lambda }^2}{2}{Y}_n^{\left(-k+1\right)}\left(\lambda \right).$$

(40)

Differentiating both sides of Equation (22) with respect to $\lambda$, we get the following partial derivative equation:

$$\frac{\partial }{\partial \lambda }\left\{\mathcal{G}\left(t,x,k;\lambda \right)\right\}=\frac{k}{2}\left(2\lambda t+1\right)\mathcal{G}\left(t,x,k-1;\lambda \right)+xt\mathcal{G}\left(t,x-1,k;\lambda \right).$$

(41)

Furthermore, if we differentiate both sides of the Equation (22) with respect to t, then we also get the following partial derivative equation:

$$\frac{\partial }{\partial t}\left\{\mathcal{G}\left(t,x,k;\lambda \right)\right\}=\frac{k{\lambda }^2}{2}\mathcal{G}\left(t,x,k-1;\lambda \right)+x\lambda \mathcal{G}\left(t,x-1,k;\lambda \right).$$

(42)

Additionally, when we differentiate both sides of Equation (22) with respect to x, we also get the following partial derivative equation:

$$\frac{\partial }{\partial x}\left\{\mathcal{G}\left(t,x,k;\lambda \right)\right\}=log\left(1+\lambda t\right)\mathcal{G}\left(t,x,k;\lambda \right).$$

(43)

By combining Equation (41) with the RHS of Equation (22), we get:

$$\sum _{n=0}^{\infty }\frac{\partial }{\partial \lambda }\left\{Q_n\left(x;\lambda ,k\right)\right\}\frac{t^n}{n!}=\frac{k}{2}\left(2\lambda t+1\right)\sum _{n=0}^{\infty }{Q}_n\left(x;\lambda ,k-1\right)\frac{t^n}{n!}+xt\sum _{n=0}^{\infty }{Q}_n\left(x-1;\lambda ,k\right)\frac{t^n}{n!}$$

which yields:

$$\begin{array}{ccc}\hfill \sum _{n=0}^{\infty }\frac{\partial }{\partial \lambda }\left\{Q_n\left(x;\lambda ,k\right)\right\}\frac{t^n}{n!}& =& \frac{k}{2}\sum _{n=0}^{\infty }\left(2n\lambda Q_{n-1}\left(x;\lambda ,k-1\right)+Q_n\left(x;\lambda ,k-1\right)\right)\frac{t^n}{n!}\hfill \\ \hfill & \hfill & +x\sum _{n=0}^{\infty }n{Q}_{n-1}\left(x-1;\lambda ,k\right)\frac{t^n}{n!}.\hfill \end{array}$$

Comparing the coefficients of $\frac{t^n}{n!}$ on both sides of the above equation, we arrive at the following theorem:

Theorem 6.

Let $n\in \mathbb{N}$. Then, we have:

$$\frac{\partial }{\partial \lambda }\left\{Q_n\left(x;\lambda ,k\right)\right\}=kn\lambda Q_{n-1}\left(x;\lambda ,k-1\right)+\frac{k}{2}{Q}_n\left(x;\lambda ,k-1\right)+xn{Q}_{n-1}\left(x-1;\lambda ,k\right).$$

(44)

By combining Equation (42) with the RHS of Equation (22), we get:

$$\frac{\partial }{\partial t}\sum _{n=0}^{\infty }{Q}_n\left(x;\lambda ,k\right)\frac{t^n}{n!}=\frac{k{\lambda }^2}{2}\sum _{n=0}^{\infty }{Q}_n\left(x;\lambda ,k-1\right)\frac{t^n}{n!}+x\lambda \sum _{n=0}^{\infty }{Q}_n\left(x-1;\lambda ,k\right)\frac{t^n}{n!}$$

which, by comparing the coefficients of $\frac{t^n}{n!}$ on both sides of the above equation, yields the following theorem:

Theorem 7.

Let $n\in {\mathbb{N}}_0$. Then, we have:

$$Q_{n+1}\left(x;\lambda ,k\right)=\frac{k{\lambda }^2}{2}{Q}_n\left(x;\lambda ,k-1\right)+x\lambda Q_n\left(x-1;\lambda ,k\right).$$

(45)

By combining Equation (43) with the RHS of Equation (22) and the Taylor series of the function $log\left(1+\lambda t\right)$, we get:

$$\sum _{n=0}^{\infty }\frac{\partial }{\partial x}\left\{Q_n\left(x;\lambda ,k\right)\right\}\frac{t^n}{n!}=\sum _{n=1}^{\infty }{\left(-1\right)}^{n-1}\frac{{\lambda }^n{t}^n}{n}\sum _{n=0}^{\infty }{Q}_n\left(x;\lambda ,k\right)\frac{t^n}{n!}.$$

Applying the Cauchy product rule to the above equation yields:

$$\sum _{n=0}^{\infty }\frac{\partial }{\partial x}\left\{Q_n\left(x;\lambda ,k\right)\right\}\frac{t^n}{n!}=t\sum _{n=0}^{\infty }\left(\sum _{j=0}^n{\left(-1\right)}^j\left(\genfrac{}{}{0pt}{}{n}{j}\right)\frac{j!{\lambda }^{j+1}}{j+1}{Q}_{n-j}\left(x;\lambda ,k\right)\right)\frac{t^n}{n!}.$$

Comparing the coefficients of $\frac{t^n}{n!}$ on both sides of the above equation, we arrive at the following theorem:

Theorem 8.

Let $n\in \mathbb{N}$. Then, we have:

$$\frac{\partial }{\partial x}\left\{Q_n\left(x;\lambda ,k\right)\right\}=n\sum _{j=0}^{n-1}{\left(-1\right)}^j\left(\genfrac{}{}{0pt}{}{n-1}{j}\right)\frac{j!{\lambda }^{j+1}}{j+1}{Q}_{n-1-j}\left(x;\lambda ,k\right).$$

(46)

Remark 1.

Substituting Equation (16) into Equation (46) yields the following formula including Daehee numbers:

$$\frac{\partial }{\partial x}\left\{Q_n\left(x;\lambda ,k\right)\right\}=n\sum _{j=0}^{n-1}\left(\genfrac{}{}{0pt}{}{n-1}{j}\right){\lambda }^{j+1}{D}_j{Q}_{n-1-j}\left(x;\lambda ,k\right).$$

(47)

By Equation (15), another form of the partial differential Equation (43) is given by:

$$\frac{\partial }{\partial x}\left\{\mathcal{G}\left(t,x,k;\lambda \right)\right\}=\lambda t\mathcal{G}\left(t,k;\lambda \right)F_D\left(x,\lambda t\right).$$

(48)

By combining Equation (48) with the RHS of the Equations (15) and (22), we get:

$$\sum _{n=0}^{\infty }\frac{\partial }{\partial x}\left\{Q_n\left(x;\lambda ,k\right)\right\}\frac{t^n}{n!}=\lambda t\sum _{n=0}^{\infty }{Y}_n^{\left(-k\right)}\left(\lambda \right)\frac{t^n}{n!}\sum _{n=0}^{\infty }{\lambda }^n{D}_n\left(x\right)\frac{t^n}{n!}.$$

Applying the Cauchy product rule to the above equation yields:

$$\sum _{n=0}^{\infty }\frac{\partial }{\partial x}\left\{Q_n\left(x;\lambda ,k\right)\right\}\frac{t^n}{n!}=\lambda t\sum _{n=0}^{\infty }\left(\sum _{j=0}^n{\lambda }^j\left(\genfrac{}{}{0pt}{}{n}{j}\right)Y_{n-j}^{\left(-k\right)}\left(\lambda \right)D_j\left(x\right)\right)\frac{t^n}{n!}.$$

Comparing the coefficients of $\frac{t^n}{n!}$ on both sides of the above equation, we arrive at the following theorem:

Theorem 9.

$$\frac{\partial }{\partial x}\left\{Q_n\left(x;\lambda ,k\right)\right\}=n\sum _{j=0}^{n-1}{\lambda }^{j+1}\left(\genfrac{}{}{0pt}{}{n-1}{j}\right)Y_{n-j}^{\left(-k\right)}\left(\lambda \right)D_j\left(x\right).$$

4. Some Identities and Relations Derived from Functional Equations of Generating Functions

In this section, by using functional equations of the aforementioned generating functions, we derive some formulas and combinatorial sums including binomials coefficients, falling factorial, the Stirling numbers, the Bell polynomials (i.e., exponential polynomials), the Poisson–Charlier polynomials, combinatorial numbers and polynomials, and the Bersntein basis functions.

Now, we set the following functional equation:

$$F_{pc}\left(t,x;a\right)=\mathcal{F}\left(t,x,k;\frac{1}{a}\right)\mathcal{F}\left(t,-k;\frac{1}{a}\right)e^{-t}.$$

(49)

Combining the above equation with the Equations (1), (11), and (12), we get:

$$\sum _{n=0}^{\infty }{C}_n\left(x;a\right)\frac{t^n}{n!}=\sum _{n=0}^{\infty }{Y}_n^{\left(k\right)}\left(x;\frac{1}{a}\right)\frac{t^n}{n!}\sum _{n=0}^{\infty }{Y}_n^{\left(-k\right)}\left(\frac{1}{a}\right)\frac{t^n}{n!}\sum _{n=0}^{\infty }{\left(-1\right)}^n\frac{t^n}{n!}.$$

(50)

Applying the Cauchy product rule to the above equation yields:

$$\sum _{n=0}^{\infty }{C}_n\left(x;a\right)\frac{t^n}{n!}=\sum _{n=0}^{\infty }\left(\sum _{l=0}^n\sum _{j=0}^l{\left(-1\right)}^{n-l}\left(\genfrac{}{}{0pt}{}{n}{l}\right)\left(\genfrac{}{}{0pt}{}{l}{j}\right)Y_j^{\left(k\right)}\left(x;\frac{1}{a}\right)Y_{l-j}^{\left(-k\right)}\left(\frac{1}{a}\right)\right)\frac{t^n}{n!}.$$

(51)

Therefore, by comparing the coefficient of $\frac{t^n}{n!}$ on both sides of the above equation, we arrive at the following theorem:

Theorem 10.

$$C_n\left(x;a\right)=\sum _{l=0}^n\sum _{j=0}^l{\left(-1\right)}^{n-l}\left(\genfrac{}{}{0pt}{}{n}{l}\right)\left(\genfrac{}{}{0pt}{}{l}{j}\right)Y_j^{\left(k\right)}\left(x;\frac{1}{a}\right)Y_{l-j}^{\left(-k\right)}\left(\frac{1}{a}\right).$$

(52)

Moreover, we also set the following functional equation:

$$F_B(t,-x;k)F_{pc}\left(t,x;a\right)=\frac{{\left(-1\right)}^k{\left(xt\right)}^k}{k!}{e}^{xt}{\left(\frac{t}{a}+1\right)}^x.$$

Combining the above equation with the Equations (1) and (4) yields:

$$\sum _{n=0}^{\infty }{B}_k^n(-x)\frac{t^n}{n!}\sum _{n=0}^{\infty }{C}_n\left(x;a\right)\frac{t^n}{n!}=\frac{{\left(-1\right)}^k{\left(xt\right)}^k}{k!}\sum _{n=0}^{\infty }\frac{{\left(xt\right)}^n}{n!}\sum _{n=0}^{\infty }\left(\genfrac{}{}{0pt}{}{x}{n}\right)\frac{t^n}{a^n}.$$

Applying the Cauchy product rule to the above equation yields:

$$\sum _{n=0}^{\infty }\left(\sum _{j=0}^n\left(\genfrac{}{}{0pt}{}{n}{j}\right)B_k^j(-x)C_{n-j}\left(x;a\right)\right)\frac{t^n}{n!}=\frac{{\left(-1\right)}^k{x}^k}{k!}\sum _{n=0}^{\infty }\left({\left(n\right)}_k\sum _{j=0}^{n-k}\left(\genfrac{}{}{0pt}{}{n-k}{j}\right)\frac{x^{n-k-j}{\left(x\right)}_j}{a^j}\right)\frac{t^n}{n!}.$$

Therefore, by comparing the coefficient of $\frac{t^n}{n!}$ on both sides of the above equation, we arrive at the following theorem:

Theorem 11.

$$\sum _{j=0}^n\left(\genfrac{}{}{0pt}{}{n}{j}\right)B_k^j(-x)C_{n-j}\left(x;a\right)=\frac{{\left(-1\right)}^k{\left(n\right)}_k}{k!}\sum _{j=0}^{n-k}\left(\genfrac{}{}{0pt}{}{n-k}{j}\right)\frac{x^{n-j}{\left(x\right)}_j}{a^j}.$$

(53)

Additionaly, we also have the following functional equation:

$$\frac{{\left(xt\right)}^k}{k!}{F}_{pc}\left(-t,x;a\right)e^{-xt}=F_B(t,x;k){\left(-\frac{t}{a}+1\right)}^x.$$

Combining the above equation with Equations (1) and (4) yields:

$$\frac{{\left(xt\right)}^k}{k!}\sum _{n=0}^{\infty }{\left(-1\right)}^n{C}_n\left(x;a\right)\frac{t^n}{n!}\sum _{n=0}^{\infty }{\left(-x\right)}^n\frac{t^n}{n!}=\sum _{n=0}^{\infty }{B}_k^n\left(x\right)\frac{t^n}{n!}\sum _{n=0}^{\infty }{\left(-1\right)}^n\left(\genfrac{}{}{0pt}{}{x}{n}\right)\frac{t^n}{a^n}.$$

Applying the Cauchy product rule to the above equation yields:

$$\begin{array}{c}\hfill \sum _{n=0}^{\infty }\left(\frac{{\left(-1\right)}^{n-k}{\left(n\right)}_k}{k!}\sum _{j=0}^{n-k}\left(\genfrac{}{}{0pt}{}{n-k}{j}\right)x^{n-j}{C}_j\left(x;a\right)\right)\frac{t^n}{n!}=\sum _{n=0}^{\infty }\left(\sum _{j=0}^n{\left(-1\right)}^j\left(\genfrac{}{}{0pt}{}{n}{j}\right)\frac{{\left(x\right)}_j{B}_k^{n-j}\left(x\right)}{a^j}\right)\frac{t^n}{n!}.\end{array}$$

Therefore, by comparing coefficient of $\frac{t^n}{n!}$, we arrive at the following theorem:

Theorem 12.

$$\frac{{\left(-1\right)}^{n-k}{\left(n\right)}_k}{k!}\sum _{j=0}^{n-k}\left(\genfrac{}{}{0pt}{}{n-k}{j}\right)x^{n-j}{C}_j\left(x;a\right)=\sum _{j=0}^n{\left(-1\right)}^j\left(\genfrac{}{}{0pt}{}{n}{j}\right)\frac{{\left(x\right)}_j{B}_k^{n-j}\left(x\right)}{a^j}.$$

(54)

By substituting $t\to a\left(e^t-1\right)$ into Equation (1), we also get the following functional equation:

$$F_{pc}\left(a\left(e^t-1\right),x;a\right)=e^{tx}{F}_{Bell}\left(t,-a\right).$$

(55)

By Equations (1) and (10), we thus get:

$$\sum _{n=0}^{\infty }{a}^n{C}_n\left(x;a\right)\frac{{\left(e^t-1\right)}^n}{n!}=\sum _{n=0}^{\infty }{x}^n\frac{t^n}{n!}\sum _{n=0}^{\infty }B{l}_n\left(-a\right)\frac{t^n}{n!}.$$

(56)

Applying the Cauchy product rule to the above equation and combining Equation (8) with the final equation yields:

$$\sum _{m=0}^{\infty }\sum _{n=0}^m{a}^n{C}_n\left(x;a\right)S_2(m,n)\frac{t^m}{m!}=\sum _{m=0}^{\infty }\left(\sum _{j=0}^m\left(\genfrac{}{}{0pt}{}{m}{j}\right)x^{m-j}B{l}_j\left(-a\right)\right)\frac{t^m}{m!}.$$

(57)

Therefore, by comparing the coefficient of $\frac{t^m}{m!}$, we arrive at the following theorem:

Theorem 13.

$$\sum _{n=0}^m{a}^n{C}_n\left(x;a\right)S_2(m,n)=\sum _{j=0}^m\left(\genfrac{}{}{0pt}{}{m}{j}\right)x^{m-j}B{l}_j\left(-a\right).$$

(58)

5. Some Identities and Relations Arising from the p-adic Integrals and Riemann Integral

In this section, by applying the p-adic integrals and Riemann integral to some of our results, we derive some combinatorial sums including the binomial coefficients, falling factorial, the Bernoulli numbers, the Euler numbers, the Stirling numbers, the Bell polynomials (i.e., exponential polynomials), and the Cauchy numbers (or the Bernoulli numbers of the second kind).

Let ${\mathbb{Z}}_p$ denote a set of p-adic integers. Let $f\left(x\right)$ be a uniformly differentiable function on ${\mathbb{Z}}_p$. The Volkenborn integral (or p-adic bosonic integral) of the function $f\left(x\right)$ is given by:

$${\int }_{{\mathbb{Z}}_p}f\left(x\right)d{\mu }_1\left(x\right)=\underset{N\to \infty }{lim}\frac{1}{p^N}\sum _{x=0}^{p^N-1}f\left(x\right),$$

(59)

where,

$${\mu }_1\left(x\right)={\mu }_1(x+p^N{\mathbb{Z}}_p)=\frac{1}{p^N}$$

(cf. [17]; see also [11,12]).

It is known that the bosonic p-adic integral of the function $f\left(x\right)=x^n$ gives the Bernoulli numbers as follows (cf. [11,17]):

$$B_n=\underset{{\mathbb{Z}}_p}{\int }{x}^{n}d{\mu }_1\left(x\right)$$

(60)

where $B_n$ denotes the Bernoulli numbers of the first kind defined by means of the following generating function:

$$\frac{t}{e^t-1}=\sum _{n=0}^{\infty }{B}_n\frac{t^n}{n!},\left(t<\left|2\pi \right|\right)$$

(61)

which arise in not only analytic number theory, but also other related areas (cf. [5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31]).

The fermionic p-adic integral of the function $f\left(x\right)$ is given by (cf. [12]):

$$\underset{{\mathbb{Z}}_p}{\int }f\left(x\right)d{\mu }_{-1}\left(x\right)=\underset{N\to \infty }{lim}\sum _{x=0}^{p^N-1}{\left(-1\right)}^{x}f\left(x\right)$$

(62)

where $p\ne 2$ and,

$${\mu }_{-1}\left(x\right)={\mu }_{-1}\left(x+p^N{\mathbb{Z}}_p\right)=\frac{{(-1)}^x}{p^N}$$

(cf. [10,12]).

The fermionic p-adic integral of the function $f\left(x\right)=x^n$ gives the Euler numbers as follows (cf. [11]):

$$E_n=\underset{{\mathbb{Z}}_p}{\int }{x}^{n}d{\mu }_{-1}\left(x\right),$$

(63)

where $E_n$ denotes the Euler numbers of the first kind defined by means of the following generating function:

$$\frac{2}{e^t+1}=\sum _{n=0}^{\infty }{E}_n\frac{t^n}{n!},\left(t<\left|\pi \right|\right)$$

(64)

(cf. [5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30]).

It is known that the following p-adic bosonic and fermionic integral representations for the Poisson–Charlier polynomials hold true (see [24] (Equations (33) and (35), pp. 944–945)):

$$\underset{{\mathbb{Z}}_p}{\int }{C}_n\left(x;a\right)d{\mu }_1\left(x\right)=\sum _{k=0}^n{\left(-1\right)}^n\left(\genfrac{}{}{0pt}{}{n}{k}\right)\frac{k!}{\left(k+1\right)a^k}$$

(65)

and,

$$\underset{{\mathbb{Z}}_p}{\int }{C}_n\left(x;a\right)d{\mu }_{-1}\left(x\right)=\sum _{k=0}^n{\left(-1\right)}^n\left(\genfrac{}{}{0pt}{}{n}{k}\right)\frac{k!}{{\left(2a\right)}^k}.$$

(66)

By applying the bosonic p-adic integral to Equation (58) and combining the final equation with Equations (60) and (65), we arrive at the following theorem:

Theorem 14.

$$\sum _{n=0}^m\sum _{k=0}^n{\left(-1\right)}^n\frac{{\left(n\right)}_k{a}^{n-k}{S}_2(m,n)}{k+1}=\sum _{j=0}^m\left(\genfrac{}{}{0pt}{}{m}{j}\right)B_{m-j}B{l}_j\left(-a\right).$$

(67)

By applying the fermionic p-adic integral to Equation (58) and combining the final equation with Equations (63) and (66), we also arrive at the following theorem:

Theorem 15.

$$\sum _{n=0}^m\sum _{k=0}^n{\left(-1\right)}^n\frac{{\left(n\right)}_k{a}^{n-k}{S}_2(m,n)}{2^k}=\sum _{j=0}^m\left(\genfrac{}{}{0pt}{}{m}{j}\right)E_{m-j}B{l}_j\left(-a\right).$$

(68)

Moreover, by integrating Equation (58) with respect to x from 0 to 1, we have:

$$\sum _{n=0}^m{a}^n{S}_2(m,n)\underset{0}{\overset{1}{\int }}{C}_n\left(x;a\right)dx=\sum _{j=0}^m\left(\genfrac{}{}{0pt}{}{m}{j}\right)B{l}_j\left(-a\right)\underset{0}{\overset{1}{\int }}{x}^{m-j}dx.$$

(69)

On the other hand, by integrating Equation (2) with respect to x from 0 to 1, we also have:

$$\underset{0}{\overset{1}{\int }}{C}_n\left(x;a\right)dx=\sum _{j=0}^n{\left(-1\right)}^{n-j}\left(\genfrac{}{}{0pt}{}{n}{j}\right)\frac{1}{a^j}\underset{0}{\overset{1}{\int }}{\left(x\right)}_{j}dx,$$

(70)

By making use of the following definition of the well-known Cauchy numbers (or the Bernoulli numbers of the second kind) $b_n\left(0\right)$ (cf. [4]):

$$b_n\left(0\right)=\underset{0}{\overset{1}{\int }}{\left(x\right)}_{n}dx,$$

(71)

Equation (70) yields:

$$\underset{0}{\overset{1}{\int }}{C}_n\left(x;a\right)dx=\sum _{j=0}^n{\left(-1\right)}^{n-j}\left(\genfrac{}{}{0pt}{}{n}{j}\right)\frac{b_j\left(0\right)}{a^j}.$$

(72)

Combining the above equation with Equation (69), we arrive at the following theorem:

Theorem 16.

$$\sum _{n=0}^m\sum _{j=0}^n{\left(-1\right)}^{n-j}\left(\genfrac{}{}{0pt}{}{n}{j}\right)a^{n-j}{S}_2(m,n)b_j\left(0\right)=\sum _{j=0}^m\left(\genfrac{}{}{0pt}{}{m}{j}\right)\frac{B{l}_j\left(-a\right)}{m-j+1}.$$

(73)

6. Applications in the Probability Distribution Function

In this section, we investigate some applications of the numbers $Y_n^{\left(-k\right)}\left(\lambda \right)$. Assume that $0<p\le 1$ and $n=0,1,2,\cdots ,k$. We set the following discrete probability distribution:

$$f\left(p;k,n\right)=\frac{{\left(-1\right)}^{k-n}{2}^k}{n!p^n}{Y}_n^{\left(-k\right)}\left(p\right)$$

(74)

where p is a probability of success, k is number of trials, n is number of successes in k trials, and $n=0,1,2,\cdots ,k$. Therefore, $f\left(p;k,n\right)$ is binomially distributed with parameters $(k,p)$.

Properties of Discrete Probability Distribution $f\left(p;k,n\right)$

Here, we give some properties of discrete probability distribution $f\left(p;k,n\right)$. We examine the properties of the probability distribution $f\left(p;k,n\right)$ with a random variable with parameters k, n, and p as follows:

For all k, n, p with $0\le n\le k$ and $0<p\le 1$, $0\le f\left(p;k,n\right)\le 1$. That is $f\left(p;k,n\right)\ge 0$.

The probability distribution function $f\left(p;k,n\right)$ satisfies that:

$$\sum _{n=0}^{\infty }f\left(p;k,n\right)=1.$$

Computing the distribution function $f\left(p;k,n\right)$. Suppose that X is a binomial with parameters $(k$, $p)$. To computing its distribution function:

$$P(X\le j)=\sum _{n=0}^{j}f\left(p;k,n\right),$$

where $j=0$, 1, …, k.

In order to compute its expected value and variance for random variable with parameters k and p:

$$E\left[X^v\right]=\sum _{n=0}^k{n}^{v}f\left(p;k,n\right)$$

(75)

Observe that the probability distribution function $f\left(p;k,n\right)$ is a modification of the binomial probability distribution function with parameters $(k,p)$. Substituting $v=1$ into Equation (75), $E\left[X\right]=$$kp$. Substituting $v=2$ into Equation (75), variance $E\left[X^2\right]-{\left(E\left[X\right]\right)}^2=kp\left(1-p\right)$.

If we take $k\to \infty$, then the distribution $f\left(p;k,n\right)$ goes to the Poisson distribution. On the other hand the Poisson–Charlier polynomials are orthogonal with respect to the Poisson distribution (cf. [18,24]).

7. Conclusions

Applications of generating functions are used in many areas, and we used them to study new families of combinatorial numbers and polynomials. We then studied properties of these new families, which yielded a handful of new identities and relations. Namely, these identities were related to numerous special numbers, special polynomials, and special functions such as the Bersntein basis functions, the Stirling numbers, the Bell polynomials (or exponential polynomials), the Poisson–Charlier polynomials, and the probability distribution functions. Furthermore, we should note that newly defined combinatorial numbers in this paper gave a different approach to the binomial (or Newton) distribution and the Poisson distribution, as well as combinatorial sums including the Bernoulli numbers, the Euler numbers, the Cauchy numbers (or the Bernoulli numbers of the second kind), and combinatorial numbers. This is why the results of this paper have the potential to be used in numerous areas such as mathematics, probability, physics, and in other associated areas.