Abstract
In this paper, we define the poly-Bernoulli polynomials of the second kind by using the polyexponential function and find some interesting identities of those polynomials. In addition, we define unipoly-Bernoulli polynomials of the second kind and study some properties of those polynomials.
1. Introduction
In the book Ars Conjectandi, Bernoulli introduced the Bernoulli number terms of the sum of powers of consecutive integers (see [1, 2]). In [3], Luo and Srivastava defined the Apostol-Bernoulli polynomials and obtained an explicit series representation for their polynomials involving the Gaussian hypergeometric function as well as an explicit series representation involving the Hurwitz function. Frappier defined a generalized Bernoulli polynomials by using the Bessel function of the first kind and found a generalization of a well-known Fourier series representation of Bernoulli polynomials in [4]. In [5], Natalini and Bernardini defined a new class of generalized Bernoulli polynomials and showed that if a differential equation with these polynomials is of order , then all the considered families of polynomials can be viewed as solutions of differential operators of infinite order. In [6], Kaneko defined the poly-Bernoulli polynomials and found an explicit formula and a duality theorem for those numbers. Khan et al. defined Laguerre-based Hermite-Bernoulli polynomials and derived summation formulas and related bilateral series associated with the newly introduced generating function in [7]. In [8], Jang and Kim defined type 2 degenerate Bernoulli polynomials and showed that these polynomials could be represented linear combinations of the Stirling numbers of the first and the second kinds, Bernoulli polynomials, and those numbers. Moreover, in [9], the degenerate type 2 poly-Bernoulli numbers and polynomials as degenerate versions of such numbers and polynomials were defined, and several explicit expressions and some identities for those numbers and polynomials were derived.
As is well known, Bernoulli polynomials of order are defined by the generating function to be (see [1, 5, 9, 10]).
In particular, if , are the ordinary Bernoulli polynomials. When , are called the Bernoulli numbers of order. In [1], the relationship between the Bernoulli numbers and zeta functions was studied, and in [2, 8, 10–12], generalized Bernoulli numbers were defined, and the properties of those numbers and polynomials were investigated.
The Bernoulli polynomials of the second kind (or the Cauchy polynomials) are defined by the generating function to be (see [13–15]).
When , are called the Bernoulli numbers of the second kind.
For a nonnegative integer , the Stirling numbers of the first kind are defined by (see [16–18]), where , . By the direct computation of (3), we derive the following: (see [16–19]).
For a given nonnegative integer , the Stirling numbers of the second kind are defined by (see [16–18]).
By (5), we obtain (see [16–19]).
In [17, 19], the authors defined the generalized Stirling numbers of the first and second kinds and generalized binomial coefficients and showed that degenerated special polynomials are represented by linear combinations of those numbers.
The polyexponential function was first studied by Hardy (see [11, 20]), and Kim and Kim defined polyexponential function as an inverse to the polylogarithm function (see [6, 11, 20, 21]), to be (see [21]).
By (7), we know that .
Recently, some authors applied the polyexponential functions and the polylogarithm functions to degenerate Bernoulli polynomials, type 2 poly-Apostol-Bernoulli polynomials, type 2 degenerate poly-Euler polynomials, and poly-Genocchi polynomials and found many interesting identities about those polynomials (see [11, 12, 20–26]).
In this paper, we define poly-Bernoulli polynomials of the second kind with the polyexponential function and derive some interesting identities between the Stirling numbers of the first kind or the second kind, Bernoulli numbers, Bernoulli numbers of the second kind, and those polynomials. In addition, we define unipoly-Bernoulli polynomials of the second kind and derive some interesting identities of those polynomials.
2. The Poly-Bernoulli Polynomials of the Second Kind
By the definition of the Bernoulli polynomials of the second kind and (7), we define the poly-Bernoulli polynomials of the second kind by the generating function to be
In particular, if , are called the poly-Bernoulli numbers of the second kind. By (8), we know that for each nonnegative integer , are the Bernoulli polynomials of the second kind.
Note that
Hence, by (10), we obtain the following theorem.
Theorem 1. For each , we have where is the -falling factorial.
By replacing by in (8), we get and by (6), we have
Therefore, by (12) and (13), we obtain the following theorem.
Theorem 2. For each nonnegative integer , we have
In particular, we have
Thus, by (16), we obtain the following theorem.
Theorem 3. For each and each nonnegative integer , we have
By (9) and Theorem 3, we get the following corollary.
Corollary 4. For each , we have
In Corollary 4, we have
Therefore, we obtain the following corollary.
Corollary 5. For each positive integer , we have
In [21], the authors showed that
From (21), we have (see [9, 11, 12, 19–21, 23, 25]).
By (22), we can derive the following equations:
It is well known that (see [9, 12, 23, 25]).
In particular, if we put in (23), then by (23) and (24), we have
Therefore, by (25), we obtain the following theorem.
Theorem 6. For a nonnegative integer , we have
3. The Unipoly-Bernoulli Polynomials of the Second Kind
Let be an arithmetic function which is a real or complex valued function defined on . In [21], Kim and Kim defined the unipoly function attached to polynomial by
In particular, if , then is an ordinary polylogarithm function.
Note that by (27), we get for . In addition, it is well known that (see [9, 11, 12, 19, 21, 23, 25]).
In the viewpoint of (8), we define the unipoly-Bernoulli polynomials of the second kind as
From (31), we derive the following equation: and thus, by (32), we obtain the following theorem.
Theorem 7. For each nonnegative integer , we have
If we put , then by (31), we get
Therefore, by (34), we obtain the following theorem.
Theorem 8. For a nonnegative integer , if , then we have
In the definition of unipoly-Bernoulli polynomials of the second kind, if , then we get
Hence, by (34), we obtain the following theorem.
Theorem 9. For each nonnegative integer and each integer , we have
In particular, we have
By replacing by in (31), we have and by (6), we get
By (39) and (40), we obtain the following theorem.
Theorem 10. For each nonnegative integer and each arithmetic function , we have
In particular, we have
4. Conclusion
The polyexponential function was first studied by Hardy. In [21], Kim and Kim modified that function which was again called the polyexponential functions as an inverse to the polylogarithm function. In addition, they defied the unipoly function, attached a arithmetic function , and found some interesting identities related to Bernoulli numbers, poly-Bernoulli polynomials, and the Stirling numbers of the first kind and second kind. The polyexponential function have been used to define some special polynomials by some researcher and found many interesting identities of those polynomials (see [11, 12, 20–26]).
In this paper, we defined the poly-Bernoulli polynomials of the second kind by using the polyexponential function and found some interesting identities.
In addition, we also define the unipoly-Bernoulli polynomials of the second kind and found some identities which were related to poly-Bernoulli polynomials of the second kind, Bernoulli polynomials, and the Stirling numbers of the first and second kind.
Data Availability
No data was used to support the findings of the study.
Conflicts of Interest
The authors declare that there are no conflicts of interest.
Acknowledgments
This work was supported by the Dong-A University research fund.