We introduce the higher-order type 2 Bernoulli numbers and polynomials of the second kind. In this paper, we investigate some identities and properties for them in connection with central factorial numbers of the second kind and the higher-order type 2 Bernoulli polynomials. We give some relations between the higher-order type 2 Bernoulli numbers of the second kind and their conjugates.
Bernoulli polynomials of the second kindhigher-order type 2 Bernoulli polynomials of the second kindhigher-order conjugate type 2 Bernoulli polynomials of the second kindIntroduction
For n≥0, the central factorials x[n] are given by [1–3]
x[0]=1,x[n]=x(x+n2-1)(x+n2-2)…(x-n2+1),(n≥1),
and the central factorial numbers of the second kind T(n,k) by
xn=∑k=0nT(n,k)x[k],(n≥0),(see [4–6]).
As is well known, the Bernoulli polynomials are defined by the generating function as
tet-1ext=∑n=0∞Bn(x)tnn!,(see [7, 8]).
When x = 0, Bn = Bn(0) are called the Bernoulli numbers. Whereas the cosecant polynomials are defined by
2tet-e-text=tsinhtext=∑n=0∞Dn(x)tnn!.
When x = 0, Dn = Dn(0) are called the cosecant numbers which have been already studied in p.458 of [9]. Here we observe that Dn(x)=2nBn(x+12),(n≥0). Also, we note that bn(x)=12Dn(x) is called the type 2 Bernoulli polynomials in [10]. Let n be a positive integer and let k be a nonnegative integer. As is well known, Bernoulli polynomials appear in the following expressions of the sums of powers of consecutive integers. That is
∑l=0n-1lk=Bk+1(n)-Bk+1(0)k+1.
On the other hand, in [11] it is noted that
∑l=0n-1(2l+1)k=12(k+1)(Dk+1(2n)-Dk+1).
Further, in [10] we considered a random variable cooked from random variables having Laplace distributions and showed its moment is closely connected with the type 2 Bernoulli numbers [10]. Yet another thing is that we obtained some symmetric identities involving type 2 Bernoulli polynomials and power sums of consecutive odd positive integers in (3) by means of Volkenborn p-adic integrals on ℤp.
It is known that the Euler polynomials are given by
2et+1ext=∑n=0∞En(x)tnn!.
When x = 0, En = En(0) are called the Euler numbers.
Whereas the type 2 Euler polynomials are defined by
sechtext=2et+e-text=∑n=0∞En*(x)tnn!.
When x = 0, En = En(0), (n≥0), are called the type 2 Euler numbers. We observe that En*(x)=2nEn(x+12).
Here we would like to mention that in the literature both Euler and type 2 Euler polynomials are called Euler polynomials. Sometimes this is very confusing. Let n be a positive integer. Then, according to the definition (4), all the even Euler numbers E2n = 0. Whereas, according to the definition (5), all the odd Euler numbers E2n+1*=0. To avoid a possible confusion, we call the polynomials in (5) the type 2 Euler polynomials, while reserving the term Euler polynomials for the ones in (4).
Let n be an odd positive integer. As is well known, Euler polynomials and numbers appear in the expressions of the alternating sums of powers of consecutive integers. That is
∑l=0n-1(-1)llk=Ek(n)+Ek2.
On the other hand, it is shown in [10] that
∑l=0n-1(-1)l(2l+1)k=Ek*(2n)+Ek*2.
Again, in [10] we considered a random variable constructed from random variables having Laplace distributions and showed its moment is closely connected with the type 2 Euler numbers [10]. Still another thing is that we deduced certain symmetric identities involving type 2 Euler polynomials and alternating power sums of consecutive odd positive integers in (6) by using fermionic p-adic integrals on ℤp.
As is well known, the Stirling numbers of the second kind are given by
1k!(et-1)k=∑n=k∞S2(n,k)tnn!,(k≥0),(see [2]),
and the Stirling numbers of the first kind by
1k!(log(1+t))k=∑n=k∞S1(n,k)tnn!,(see [2]).
From (6), we can derive
1k!(et2-e-t2)k=∑n=k∞T(n,k)tnn!,(k≥0),
the proof of which can be found in [2].
Thus, by (7), we get
T(n,k)=1k!∑l=0k(kl)(-1)k-l(l-k2)n,(k≥0).
It is well known that the Bernoulli polynomials of the second kind are defined by
Sometimes 1n!bn(x) are called Bernoulli polynomials of the second kind, whereas bn(x) are called Cauchy polynomials (see [2,11]). However, we will stick to our definition for the Bernoulli polynomials of the second kind.
When x = 0, bn = bn(0) are variously called Bernoulli numbers of the second kind, Gregory coefficients, reciprocal logarithmic numbers, and Cauchy numbers of the first kind (see [9,13–15]). Here we remark that
bn=Bn(n)(1),(n≥0),(see (11)),
where Bn(k)(x) are the Bernoulli polynomials of order k given by
(tet-1)kext=∑n=0∞Bn(k)(x)tnn!,k∈ℤ,(see [16, 17]).
In [9], Howard studied the polynomials αn(z)(λ) given by
(λt1-(1-t)λ)z=∑n=0∞αn(z)(λ)tnn!.
For any real number λ≠0,1, Korobov defined the degenerate Bernoulli polynomials of the second given by
λt(1+t)λ-1(1+t)x=∑n=0∞bn(x;λ)tnn!.
Then we see that limλ→0bn(x;λ)=bn(x). In fact, Korobov introduced what he called ‘special polynomials’ pn(x) given by bn(x;p)=n!pn(x), for any integer p with p≥2 (see [18]). Here we note that bn(x;λ) are also called the Korobov polynomials of the first kind and denoted by Kn(x;λ) (see [12]).
When x = 0, bn(λ)=bn(0;λ) are called the degenerate Bernoulli numbers of the second kind. It is immediate to see that bn(λ)=(-1)nαn(1)(λ) (see (10)). Further, in [19] Howard considered the degenerate Bernoulli numbers of the second kind which is denoted by αn(λ). Note also that bn(λ)=Kn(0;λ). In light of these considerations, bn(λ) may be variously called the degenerate Bernoulli numbers of the second, Howard numbers and Korobov numbers of the first kind (see [20]).
In the next section, we will introduce the higher-order type 2 Bernoulli numbers and polynomials of the second kind as variants of the usual higher-order Bernoulli numbers and polynomials of the second kind. We will study some properties and identities for them that are associated with central factorial numbers of the second kind and the higher-order type 2 Bernoulli polynomials. We will deduce some relations between the higher-order type 2 Bernoulli numbers of the second kind and their conjugates.
The Higher-Order Type 2 Bernoulli Numbers and Polynomials of the Second Kind
The Bernoulli polynomials of the second kind with order r are defined by the generating function
(tlog(1+t))r(1+t)x=∑n=0∞bn(r)(x)tnn!,r∈ℤ.
We note from [21–23] that
bn(r)(x)=Bn(n-r+1)(x+1),(n,r≥0).
From (9), we have
∫ 01(1+t)x+ydy=tlog(1+t)(1+t)x=∑n=0∞bn(x)tnn!,
and
∫ 01(1+t)x+ydy=∑n=0∞∫ 01(x+y)ndytnn!,
where (x)0 = 1, (x)n=x(x-1)…(x-n+1), (n≥1).
By (12) and (13), we get
∫ 01(x+y)ndy=bn(x),(n≥0).
We observe that
2∫ 01(1+t)2y-1+xdy=(1+t)-(1+t)-1 log(1+t)(1+t)x.
Now, we define the type 2 Bernoulli polynomials of the second kind by
(1+t)-(1+t)-12log(1+t)(1+t)x=∑n=0∞bn*(x)tnn!.
When x = 0, bn*=bn*(0) is called the type 2 Bernoulli numbers of the second kind.
We observe that
∫ 01(1+t)2y-1+xdy=∑n=0∞∫ 01(2y-1+x)ndytnn!.
Therefore, by (14)–(16), we obtain the following theorem:
Theorem 2.1. For n≥0, we have
∫ 01(2y-1+x)ndy=bn*(x).
In particular,
bn*=∑l=0nS1(n,l)12(l+1)(1+(-1)l),
and
bn*(1)=∑l=0n2lS1(n,l)1l+1.
We illustrate a few values of bn* in the following example.
Example 1: We observe first that bn*=∑1≤l≤n,levenS1(n,l)1l+1.
b1*=0,b2*=S1(2,2)13=13,b3*=S1(3,2)13=(-3)×13=-1,b4*=S1(4,2)13+S1(4,4)15=11×13+15=5815,b5*=S1(5,2)13+S1(5,4)15=(-50)×13+(-10)×15=-563,b6*=S1(6,2)13+S1(6,4)15+S1(6,6)17=274×13+85×15+17=11390105.
For α∈ℝ, let us define the type 2 Bernoulli polynomials of the second kind with order α by
Therefore, by (19) and (20), we obtain the following theorem:
Theorem 2.2. For n≥0 and k∈ℕ, we have
∑l=0nbl*(k)(x)S2(n,l)=∑l=0n(nl)(l+kl)T(l+k,k)2lxn-l.
In particular, we have
2nT(n+k,k)=(n+kn)∑l=0nbl*(k)S2(n,l),bn*(k)=∑l=0nS1(n,l)2lT(l+k,k)(l+kl).
We illustrate a few values of bn*(2) in the following example:
Example 2: Let n≥2 be any integer.
Then we have from (8) that T(n,2)=12!∑l=02(2l)(-1)2-l(l-1)n={1,ifneven,0,ifnodd.
Thus, for n≥1, we have bn*(2)=∑1≤l≤n,levenS1(n,l)2l(l+22).
b1*(2)=0,b2*(2)=S1(2,2)22(42)=46=23,b3*(2)=S1(3,2)22(42)=(-3)×46=-2,b4*(2)=S1(4,2)22(42)+S1(4,4)24(62)=11×46+1615=425,b5*(2)=S1(5,2)22(42)+S1(5,4)24(62)=(-50)×46+(-10)×1615=-44,b6*(2)=S1(6,2)22(42)+S1(6,4)24(62)+S1(6,6)26(82)=274×46+85×1615+6428=578821.
For α∈ℝ, we recall that the cosecant polynomials of order α are defined by
(2tet-e-t)αext=∑n=0∞Dn(α)(x)tnn!.
For k∈ℕ, let us take α=-k and replace t by log(1+t) in (21). Then we have
Therefore, by (29), we obtain the following theorem:
Theorem 2.5. For n, k∈ℕ, we have
(-1)n1n!b^n*(k)(k)=∑m=1n(n-1m-1)1m!bm*(k).
Remark. Likewise, for n, k∈ℕ, we have
(-1)n1n!bn*(k)(k)=∑m=1n(n-1m-1)1m!b^m*(k).
Conclusions
In Section 2, we introduced the higher-order type 2 Bernoulli numbers and polynomials of the second kind and the higher-order conjugate type 2 Bernoulli numbers of the second kind. In Theorems 2–4, we obtained some properties and identities for them that are associated with central factorial numbers of the second kind and higher-order cosecant polynomials and the Stirling numbers of the first kind. In Theorem 5, we derived the relation between the higher-order type 2 Bernoulli numbers of the second kind and their conjugates.
Many problems in science and engineering can be modeled by polynomial optimization which concerns optimizing a polynomial subject to polynomial equations and inequalities. Thanks to an adoption of tools from real algebraic geometry, semidefinite programming and the theory of moments, etc., there has been tremendous progress in this field. We hope that the polynomials newly introduced in the present paper or their possible multivariate versions will play some role in near future.
The authors thank to Jangjeon Institute for Mathematical Science for the support of this research.
Funding Statement: This work was supported by the National Research Foundation of Korea (NRF) Grant Funded by the Korea Government (No. 2020R1F1A1A01071564).
Conflicts of Interest: The authors declare that they have no conflicts of interest to report regarding the present study.
ReferencesKim, T., Kim, D. S. (2020). A note on central bell numbers and polynomials. ,27(1),76–81. DOI 10.1134/S1061920820010070.Roman, S. (1984). , vol. 111. New York: Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers].Riordan, J. (1968). . New York-London-Sydney: John Wiley & Sons, Inc.Butzer, P. L., Schmidt, M., Stark, E. L., Vogt, L. (1989). Central factorial numbers; their main properties and some applications. ,10(5–6),419–488. DOI 10.1080/01630568908816313.Howard, F. T. (1982). A theorem relating potential and bell polynomials. ,39(2),129–143. DOI 10.1016/0012-365X(82)90136-4.Nörlund, N. E. (1924). . Berlin: Bei Springer.Bell, E. T. (1935). General relations between Bernoulli, Euler, and allied polynomials. ,38(3),493–500. DOI 10.1090/S0002-9947-1935-1501824-4.Kim, T., Kim, D. S. (2020). Degenerate polyexponential functions and degenerate Bell polynomials. ,487(2),124017. DOI 10.1016/j.jmaa.2020.124017.Merlini, D., Sprugnoli, R., Verri, M. C. (2006). The Cauchy numbers. ,306(16),1906–1920. DOI 10.1016/j.disc.2006.03.065.Kim, D. S., Kim, H. Y., Kim, D., Kim, T. (2019). Identities of symmetry for type 2 Bernoulli and Euler polynomials. ,11(5),613. DOI 10.3390/sym11050613.Jordan, C. (1965). . Bronx, New York: Chelsea.Dolgy, D. V., Kim, D. S., Kim, T. (2017). On Korobov polynomials of the first kind. ,208(1),65–79. DOI 10.1070/SM8449.Blagouchine, I. V. (2018). Three notes on Ser’s and Hasse’s representations for the zeta-functions. ,18A,1–45.Kowalenko, V. (2009). Generalizing the reciprocal logarithm numbers by adapting the partition method for a power series expansion. ,106(3),369–420. DOI 10.1007/s10440-008-9304-5.Kowalenko, V. (2010). Properties and applications of the reciprocal logarithm numbers. ,109(2),413–437. DOI 10.1007/s10440-008-9325-0.Carlitz, L. (1952). A note on Bernoulli numbers and polynomials of higher order. ,3(4),608–613. DOI 10.1090/S0002-9939-1952-0051873-6.Kim, D. S., Kim, T. (2020). A note on a new type of degenerate Bernoulli numbers. ,27(2),227–235. DOI 10.1134/S1061920820020090.Korobov, N. M. (2001). On some properties of special polynomials. Proceedings of the IV International Conference “Modern Problems of Number Theory and its Applications”, vol. 1, pp. 40–49. Chebyshevski Sbornik.Howard, F. T. (1996). Explicit formulas for degenerate Bernoulli numbers. ,162(1–3),175–185. DOI 10.1016/0012-365X(95)00284-4.Araci, S. (2021). Degenerate poly-type 2-Bernoulli polynomials. ,9(1),1–8.Adelberg, A. (1992). On the degrees of irreducible factors of higher order Bernoulli polynomials. ,62(4),329–342. DOI 10.4064/aa-62-4-329-342.Adelberg, A. (1995). A finite difference approach to degenerate Bernoulli and Stirling polynomials. ,140(1–3),1–21. DOI 10.1016/0012-365X(93)E0188-A.Kim, T., Kim, D. S., Kwon, J., Lee, H. (2021). Representations of degenerate poly-Bernoulli polynomials. ,58,12.