Truncated Bernoulli-Carlitz and truncated Cauchy-Carlitz numbers
Takao Komatsu

TL;DR
This paper introduces truncated Bernoulli-Carlitz and Cauchy-Carlitz numbers as new analogues and extensions of existing special numbers, expressed explicitly via incomplete Stirling-Carlitz numbers.
Contribution
It defines and explores properties of these new truncated numbers, extending the theory of Bernoulli and Cauchy numbers in the Carlitz setting.
Findings
Explicit formulas in terms of incomplete Stirling-Carlitz numbers
Extensions of classical Bernoulli and Cauchy numbers
New analogues for hypergeometric Bernoulli and Cauchy numbers
Abstract
In this paper, we define the truncated Bernoulli-Carlitz numbers and the truncated Cauchy-Carlitz numbers as analogues of hypergeometric Bernoulli numbers and hypergeometric Cauchy numbers, and as extensions of Bernoulli-Carlitz numbers and the Cauchy-Carlitz numbers. These numbers can be expressed explicitly in terms of incomplete Stirling-Carlitz numbers.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Truncated Bernoulli-Carlitz and truncated Cauchy-Carlitz numbers
Takao Komatsu
School of Mathematics and Statistics
Wuhan University
Wuhan 430072 China
The research of Takao Komatsu was supported in part by the grant of Wuhan University and by the grant of Hubei Provincial Experts Program.
( MR Subject Classifications: Primary 11R58; Secondary 11T55, 11B68, 11B73, 11B75, 05A15, 05A19. )
Abstract
In this paper, we define the truncated Bernoulli-Carlitz numbers and the truncated Cauchy-Carlitz numbers as analogues of hypergeometric Bernoulli numbers and hypergeometric Cauchy numbers, and as extensions of Bernoulli-Carlitz numbers and the Cauchy-Carlitz numbers. These numbers can be expressed explicitly in terms of incomplete Stirling-Carlitz numbers.
Keywords: Bernoulli-Carlitz numbers, Cauchy-Carlitz numbers, Stirling-Carlitz numbers, incomplete Stirling numbers.
1 Introduction
For , hypergeometric Bernoulli numbers ([10, 11, 13]) are defined by the generating function
[TABLE]
where
[TABLE]
is the confluent hypergeometric function with () and . When , are classical Bernoulli numbers defined by
[TABLE]
In addition, hypergeometric Cauchy numbers (see [16]) are defined by
[TABLE]
where
[TABLE]
is the Gauss hypergeometric function. When , are classical Cauchy numbers defined by
[TABLE]
On the other hand, L. Carlitz ([1]) introduced analogues of Bernoulli numbers for the rational function (finite) field , which are called Bernoulli-Carlitz numbers now. Bernoulli-Carlitz numbers have been studied since then (e.g., see [2, 3, 5, 12, 21]). According to the notations by Goss [6], Bernoulli-Carlitz numbers are defined by
[TABLE]
Here, are the Carlitz exponential defined by
[TABLE]
where () with , and . The Carlitz factorial is defined by
[TABLE]
for a non-negative integer with -ary expansion:
[TABLE]
As analogues of the classical Cauchy numbers , Cauchy-Carlitz numbers ([14]) are introduced as
[TABLE]
Here, is the Carlitz logarithm defined by
[TABLE]
where () with .
In [14], Bernoulli-Carlitz numbers and Cauchy-Carlitz numbers are expressed explicitly by using the Stirling-Carlitz numbers of the second kind and of the first kind, respectively. These properties are the extensions that Bernoulli numbers and Cauchy numbers are expressed explicitly by using the Stirling numbers of the second kind and of the first kind, respectively.
In this paper, we define the truncated Bernoulli-Carlitz numbers and the truncated Cauchy-Carlitz numbers as analogues of hypergeometric Bernoulli numbers and hypergeometric Cauchy numbers, and as extensions of Bernoulli-Carlitz numbers and the Cauchy-Carlitz numbers. These numbers can be expressed explicitly in terms of incomplete Stirling-Carlitz numbers.
2 Preliminaries
For , define the truncated Bernoulli-Carlitz numbers and the truncated Cauchy-Carlitz numbers by
[TABLE]
and
[TABLE]
respectively. When , and are the original Bernoulli-Carlitz numbers and Cauchy-Carlitz numbers, respectively. As the concept of these definitions in (9) and (10 ) in function fields are the same as (1) and (2) in complex numbers, the numbers and could be called the hypergeometric Bernoulli-Carlitz numbers and the hypergeometric Cauchy-Carlitz numbers, respectively. However, the generating functions of (9) and (10 ) are not related to the existing Carlitz hypergeometric functions (e.g., see [15, 24]).
3 Hasse-Teichmüller derivatives
Let be a field (of any characterstic), be the field of Laurent series in , and be the ring of formal power series. The Hasse-Teichmüller derivative of order is defined by
[TABLE]
for , where is an integer and for any .
The Hasse-Teichmüller derivatives satisfy the product rule [23], the quotient rule [7] and the chain rule [9]. One of the product rules can be described as follows.
Lemma 1**.**
For () with and for , we have
[TABLE]
The quotient rules can be described as follows.
Lemma 2**.**
For and , we have
[TABLE]
By using the Hasse-Teichmüller derivative of order , we shall obtain some explicit expressions of the hypergeometric Bernoulli-Carlitz numbers and hypergeometric Cauchy numbers , respectively.
Theorem 1**.**
For ,
[TABLE]
Remark. It is clear that if or . When , we have
[TABLE]
which is Theorem 4.2 in [12].
Proof.
Put
[TABLE]
Note that
[TABLE]
Hence, by using Lemma 2 (11), we have
[TABLE]
∎
Examples. Let and . Then if . When , consider the set
[TABLE]
Then , and is empty when because . Hence, we obtain
[TABLE]
When , consider the set
[TABLE]
Then, (, ) are empty because . By , we have
[TABLE]
When , consider the set
[TABLE]
Since is empty for and and and , we have
[TABLE]
In fact,
[TABLE]
We can express the hypergeometric Bernoulli-Carlitz numbers in terms of the binomial coefficients too. By using Lemma 2 (12) instead of Lemma 2 (11) in the proof of Theorem 1, we obtain the following:
Proposition 1**.**
For ,
[TABLE]
Remark. When , we have
[TABLE]
which is Proposition 4.4 in [12].
Example. Let and . When , consider the set
[TABLE]
Since , , , , , we have
[TABLE]
Next, we shall give an explicit formula for hypergeometric Cauchy-Carlitz numbers.
Theorem 2**.**
For ,
[TABLE]
Remark. It is clear that if or . When , we have
[TABLE]
which is Theorem 3 in [14].
Proof.
Put
[TABLE]
Note that
[TABLE]
Hence, by using Lemma 2 (11), we have
[TABLE]
∎
Example. Let and . Then if . When , consider the set
[TABLE]
Then , and is empty when and . Hence, we obtain
[TABLE]
In fact,
[TABLE]
We can express the hypergeometric Cauchy numbers in terms of the binomial coefficients too. In fact, by using Lemma 2 (12) instead of Lemma 2 (11) in the proof of Theorem 2, we obtain the following:
Proposition 2**.**
For ,
[TABLE]
4 Incomplete Stirling-Carlitz numbers
In [14], as analogues of the Stirling numbers of the first kind defined by
[TABLE]
the Stirling-Carlitz numbers of the first kind were introduced by
[TABLE]
As analogues of the Stirling numbers of the second kind defined by
[TABLE]
the Stirling-Carlitz numbers of the second kind were introduced by
[TABLE]
By the definition (14), we have
[TABLE]
and
[TABLE]
On the other hand, in [4, 17, 18, 19], so-called incomplete Stirling numbers of the fist kind and of the second kind were introduced as some generalizations of the classical Stirling numbers of the fist kind and of the second kind. One of the incomplete Stirling numbers is restricted Stirling number, and another is associated Stirling number. Associated Stirling numbers of the second kind are given by
[TABLE]
where
[TABLE]
When , is the classical Stirling numbers of the second kind. Restricted Stirling numbers of the second kind are given by
[TABLE]
When , is the classical Stirling numbers of the second kind.
Associated Stirling numbers of the first kind are given by
[TABLE]
where
[TABLE]
When , is the classical Stirling numbers of the first kind. Restricted Stirling numbers of the first kind are given by
[TABLE]
When , is the classical Stirling numbers of the first kind.
Now, we introduce associated Stirling-Carlitz numbers and restricted Stirling-Carlitz numbers. The partial sum of the Carlitz exponential is denoted by
[TABLE]
The associated Stirling-Carlitz numbers of the second kind are defined by
[TABLE]
The restricted Stirling-Carlitz numbers of the second kind are defined by
[TABLE]
When in (22) or in (23), is the original Stirling-Carlitz number of the second kind. The partial sum of the Carlitz logarithm is denoted by
[TABLE]
The associated Stirling-Carlitz numbers of the first kind are defined by
[TABLE]
The restricted Stirling-Carlitz numbers of the first kind are defined by
[TABLE]
When in (24) or in (25), is the original Stirling-Carlitz number of the first kind.
Due to associated Stirling-Carlitz numbers of the second kind in (22), we can obtain a more explicit expression of hypergeometric Bernoulli-Carlitz numbers, expressed in Theorem 1 or Proposition 1.
Theorem 3**.**
For and , we have
[TABLE]
Proof.
From (22), we have
[TABLE]
Notice that
[TABLE]
Applying Lemma 1 with
[TABLE]
we get
[TABLE]
Together with Proposition 1, we can get the desired result. ∎
Example. Let , and . Comparing the coefficient of on both sides of
[TABLE]
for , we have
[TABLE]
Hence,
[TABLE]
Bernoulli-Carlitz numbers can be expressed in term of the Stirling-Carlitz numbers of the second kind:
[TABLE]
([14, Theorem 2]). When , Theorem 3 is reduced to a different expression of Bernolli-Carlitz numbers in terms of the Stirling-Carlitz numbers of the second kind.
Corollary 1**.**
For , we have
[TABLE]
Remark. This is an analogue of
[TABLE]
which is a simple formula appeared in [8, 22].
Similarly, due to associated Stirling-Carlitz numbers of the first kind in (24), we can obtain a more explicit expression of hypergeometric Cauchy-Carlitz numbers, expressed in Theorem 2 or Proposition 2.
Theorem 4**.**
For and , we have
[TABLE]
Proof.
From (24), we have
[TABLE]
Notice that
[TABLE]
Applying Lemma 1 with
[TABLE]
we get
[TABLE]
Together with Proposition 2, we can get the desired result. ∎
Example. Let , and . Comparing the coefficient of on both sides of
[TABLE]
for , we have
[TABLE]
and for , we have
[TABLE]
Therefore,
[TABLE]
Cauchy-Carlitz numbers can be expressed in term of the Stirling-Carlitz numbers of the first kind:
[TABLE]
([14, Theorem 1]). When , Theorem 4 is reduced to a different expression of Cauchy-Carlitz numbers in terms of the Stirling-Carlitz numbers of the first kind.
Corollary 2**.**
For , we have
[TABLE]
Remark. This is an analogue of
[TABLE]
which is Proposition 2 in [14].
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] L. Carlitz, On certain functions connected with polynomials in a Galois field , Duke Math. J. 1 (1935), 137–168.
- 2[2] L. Carlitz, An analogue of the von Staudt-Clausen theorem , Duke Math. J. 3 (1937), 503–517.
- 3[3] L. Carlitz, An analogue of the Staudt-Clausen theorem , Duke Math. J. 7 (1940), 62–67.
- 4[4] C. A. Charalambides, Enumerative Combinatorics (Discrete Mathematics and Its Applications) , Chapman and Hall/CRC, 2002.
- 5[5] E.-U. Gekeler, Some new identities for Bernoulli-Carlitz numbers , J. Number Theory 33 (1989), 209–219.
- 6[6] D. Goss, Basic structures of function field arithmetic , Springer Berlin, Heidelberg, New York, 1998.
- 7[7] R. Gottfert, H. Niederreiter, Hasse-Teichmüller derivatives and products of linear recurring sequences , Finite Fields: Theory, Applications, and Algorithms (Las Vegas, NV, 1993), Contemporary Mathematics, vol. 168, American Mathematical Society, Providence, RI, 1994, pp.117–125.
- 8[8] H. W. Gould, Explicit formulas for Bernoulli numbers , Amer. Math. Monthly 79 (1972), 44–51.
