Arxiv:2103.16124V2 [Math.NT] 4 Apr 2021 (1.1) N Xrsinfrterltdnmeso Ihrodrapl Po Appell Order Them Higher of of One Numbers Obtained
Total Page:16
File Type:pdf, Size:1020Kb
GENERALIZED HYPERGEOMETRIC BERNOULLI NUMBERS KALYAN CHAKRABORTY AND TAKAO KOMATSU Abstract. We introduce generalized hypergeometric Bernoulli numbers for Dirichlet characters. We study their properties, including relations, expressions and determinants. At the end in Appendix we derive first few expressions of these numbers. 1. Introduction Let 1F1(a; b; z) denote the confluent hypergeometric function defined by ∞ (a)(n) zn 1F1(a; b; z)= (b)(n) n! Xn=0 with the rising factorial (x)(n) = x(x + 1) . (x + n − 1) (n ≥ 1) and (x)(0) = 1. Also for N ≥ 1, hypergeometric Bernoulli numbers BN,n ([2, 6, 7, 8, 9, 13, 18]) are given by ∞ 1 tN /N! tn (1.1) = = BN,n F (1; N + 1; t) t N−1 n n! 1 1 e − n=0 t /n! n=0 X with B1,n = Bn, the classical Bernoulli numbers,P defined by ∞ t tn = B . et − 1 n n! n=0 X In [10] a result of Kamano on a multiple binomial sum is generalized, higher order hyper- geometric Bernoulli polynomials are defined, and its differential equation and recursion formulas are studied among other properties. It is well-known that some of the known properties of the Bernoulli numbers can be obtained from fundamental relationships be- tween complete and elementary symmetric functions. In [11] two new closed form rep- resentations for the Apostol-Bernoulli polynomials are derived as natural generalizations arXiv:2103.16124v2 [math.NT] 4 Apr 2021 of those of the Bernoulli polynomials. In [17] an infinite family of relationships between complete and elementary symmetric functions is introduced. From these relationships, the author deduces connections between some lacunary recurrence relations with gaps of length 2r for the Bernoulli numbers and the integer partitions into at most r − 1 parts. In [20] new bounds for the ratio of two adjacent even-indexed Bernoulli numbers are ob- tained, solving Qi’s conjecture on the related topic, getting a tighter lower bound for this ratio is obtained, and moreover, some conjectures on related topics are proposed. In [14], hypergeometric Cauchy numbers are defined and studied as analog of the hyper- geometric Bernoulli numbers. This concept is further generalized in [15] by introducing the general hypergeometric Cauchy polynomials. In [16], the classical Euler numbers are generalized to define the higher order hypergeometric Euler numbers. Recently, in [12], by using the Hasse-Teichm¨uller derivatives, two explicit expressions for the related numbers of higher order Appell polynomials are obtained. One of them presents a determinant expression for the related numbers of higher order Appell polynomials, which involves 2020 Mathematics Subject Classification. Primary 11B68; Secondary 11B37, 33C15. Key words and phrases. Bernoulli numbers; hypergeometric Bernoulli numbers; hypergeometric func- tions; Dirichlet characters. 1 2 KALYANCHAKRABORTYANDTAKAOKOMATSU several determinant expressions of special numbers, such as the higher order generalized hypergeometric Bernoulli and Cauchy numbers In this paper, we introduce generalized hypergeometric Bernoulli numbers for Dirichlet characters. Let χ be a Dirichlet character with conductor f and N be a positive integer. We define the generalized hypergeometric Bernoulli numbers BN,n,χ by f ∞ χ(a) tN eat/N! tn (1.2) n = BN,n,χ (|t| < 2π/f) . ft N−1 (ft) n! a=1 e − n=0 X n=0 n! X One recovers the classical generalizedP Bernoulli number (see, e.g., [1, 3, 4, 19]) Bn,χ := B1,n,χ, which are simply Bernoulli numbers twisted by a Dirichlet character. As seen in [3, Chapter 4], generalized Bernoulli numbers and Bernoulli polynomials are related. A closed form expression for sums of products of any number of generalized Bernoulli numbers is given in [4] and shortened recurrence relations for generalized Bernoulli numbers and polynomials attached to a primitive Dirichlet character is being studied in [1]. 2. Basic properties We begin with some basic expressions of generalized hypergeometric Bernoulli numbers. Proposition 1. Let χ = 1 be the trivial character of conductor 1. For any N ≥ 1 and n ≥ 0, put N(n) :=min{N − 1,n}. Then we have N(n) n BN,n−m if n 6= N, m mX=0 B 1 = N,n, N−1 N 1+ B if n = N. m N,N−m m=0 X Especially, for N = 1, we have Bn if n 6= 1, B1,n,1 = 1/2 if n = 1. Proof. By the definition of generalized hypergeometric Bernoulli numbers, we have ∞ tn tN et/N! BN,n,1 = n! t N−1 tn e − n=0 Xn=0 n! P n n tN /N!(et − N−1 t )+ tN /N! N−1 t = n=0 n! n=0 n! t N−1 tn Pe − n=0 n! P P N−1 ∞ tN tn tn = + × B N! n! N,n n! nX=0 nX=0 N−1 ∞ tN tm+n = + B N! N,n m!n! m=0 n=0 X X GENERALIZED HYPERGEOMETRIC BERNOULLI NUMBERS 3 N−1 ℓ ∞ N−1 tN tℓ tℓ = + B + B N! N,ℓ−m m!(ℓ − m)! N,ℓ−m m!(ℓ − m)! Xℓ=0 mX=0 ℓX=N mX=0 N−1 ℓ N−1 ℓ tℓ N tN = B + 1+ B m N,ℓ−m ℓ! m N,N−m N! m=0 m=0 ! Xℓ=0 X X ∞ N−1 ℓ tℓ + B , m N,ℓ−m ℓ! ℓ=XN+1 mX=0 and we get the assertion. Howard [8, 9] defined the hypergeometric Bernoulli polynomials BN,n(x) ∈ Q[x] by ∞ tN ext/N! tn (2.1) = BN,n(x) . t N−1 tn n! e − n=0 n! nX=0 Note that Bn(x) := B1,n(x) be theP classical Bernoulli polynomial and BN,n(0) = BN,n. For classical case, the following relation between the generalized Bernoulli numbers and the Bernoulli polynomials is well-known [19, Proposition 4.1]: f a B = f n−1 χ(a)B . n,χ n f a=1 X The following proposition is a generalization of the above classical case. Proposition 2. Let χ be a Dirichlet character of conductor f. For any N ≥ 1 and n ≥ 0, f a B = f n−N χ(a)B . N,n,χ N,n f Xa=1 Proof. By the definition (of hypergeometric Bernoulli polynomial), we have, ∞ a (ft)n (ft)N ea/f×ft/N! BN,n = n . f n! ft N−1 (ft) n=0 e − X n=0 n! Now multiplying by χ(a) and taking a sum on a fromP 1 to f, we have ∞ f n f N at n a t N χ(a)t e /N! f χ(a)BN,n = f n f n! eft − N−1 (ft) nX=0 Xa=1 Xa=1 n=0 n! P ∞ tn = f N B . N,n,χ n! n=0 X Therefore, f a B = f n−N χ(a)B N,n,χ N,n f a=1 X for any n ≥ 0. Consequently, we can express the generalized hypergeometric Bernoulli numbers in terms of hypergeometric Bernoulli numbers 4 KALYANCHAKRABORTYANDTAKAOKOMATSU Corollary 1. For any integers N ≥ 1 and n ≥ 0, f n n B = χ(a) B an−kf k−N . N,n,χ k N,k a=1 X Xk=0 Proof. Since ∞ tn tN ext/N! BN,n(x) = n! t N−1 tn n=0 e − n=0 n! X ∞ ∞ P tn tm = B xm N,n n! m! n=0 ! m=0 ! ∞Xn X n tn = B xn−k , k N,k n! n=0 X Xk=0 comparing the coefficients on both sides, we get n n B (x)= B xn−k. N,n k N,k Xk=0 By Proposition 2 with x = a/f, we obtain the desired result. 3. Fundamental properties of the generalized hypergeometric Bernoulli polynomials We also define the generalized hypergeometric Bernoulli polynomials BN,n,χ by f ∞ χ(a) tN e(x+a)t/N! tn (3.1) n = BN,n,χ(x) (|t| < 2π/f) . ft N−1 (ft) n! a=1 e − n=0 X n=0 n! X When N = 1 in (3.1), Bn,χP(x) := B1,n,χ(x) is the classical generalized Bernoulli polyno- mial. When χ = 1, BN,n(x) := BN,n,1(x) is the hypergeometric Bernoulli polynomial in (2.1). Proposition 3. Let χ = 1 be the trivial character of conductor 1. For any N ≥ 1 and n ≥ 0, we have n n B (x) if 0 ≤ n ≤ N − 1, i N,n−i i=0 X BN,n,1(x)= N−1 n n xn−N + B (x) if n ≥ N. N i N,n−i i=0 X Especially, for N = 1, we have 1 if n = 0, 1 B1,n, (x)= n−1 (nx + Bn(x) if n ≥ 1. Proof. By the definition in (3.1), we have ∞ tn tN e(x+1)t/N! BN,n,1(x) = n! t N−1 tn e − n=0 nX=0 n! N−1 tn N−1 tn tN /N! et − Pext + tN /N!ext = n=0 n! n=0 n! t N−1 tn P e − n=0 n! P P GENERALIZED HYPERGEOMETRIC BERNOULLI NUMBERS 5 N N−1 n ∞ n t xt t t = e + BN,n(x) N! n!! n!! nX=0 nX=0 ∞ ∞ min{n,N−1} xn n tn = tN+n + B (x) N!n! i N,n−i n! n=0 n=0 X X Xi=0 ∞ N−1 n n tn n tn = xn−N + B (x) N n! i N,n−i n! nX=N nX=0 Xi=0 ∞ N−1 n tn + B (x) .