Arxiv:2010.13645V4 [Math.NT] 11 Aug 2021 Ahmtclasc Faeiaaeia Ahmtclmont Mathematical American America of Assoc
Total Page:16
File Type:pdf, Size:1020Kb
Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 1 Asymptotics on a Class of Legendre Formulas Maiyu Diaz Abstract. Let f be a real-valued function of a single variable such that it is positive over the primes. In this article, we construct a factorial, n!f , associated to f, called the associated Legendre formula, or f-factorial, and show, subject to certain criteria, that n!f satisfies a weak Stirling approximation. As an application, we will give weak approximations to the Bhargava factorial over the set of primes and to a less well-known Legendre formula. 1. INTRODUCTION. The factorial function is a fundamental object of utmost im- portance, finding itself in various disciplines, including combinatorics, number theory, ring theory, and many others. Places where it arises include, but are not limited to, being a building block for binomial coefficients, being used to count the number of permutations of a collection of objects, and contributions to a major part of Taylor series expansions. The study of obtaining asymptotics to n! dates back to the 17th and 18th century, where, in particular, Abraham de Moivre showed that [5] n! Ke−nnn+1/2 ∼ for some constant K. Later, in the 18th century, James Stirling [8] was able to specify the constant: K = √2π. At the turn of the 21st century, Manjul Bhargava introduced a generalization of the factorial in [1]. Definition 1. Let S Z be arbitrary and fix a prime p. Construct a sequence ai i≥0, called a p-ordering of⊆S, of elements of S as follows: { } • Choose any element a0 S. • ∈ Choose an element a1 S that minimizes the highest power of p dividing a1 a0. • ∈ − In general, for each n 1, choose an element an S that minimizes the highest power of p dividing (a≥ a )(a a ) (a ∈a ). n − 0 n − 1 · · · n − n−1 If wp(a) denoes the highest power of p dividing a, then define v (S,p)= w ((a a )(a a ) (a a )). n p n − 0 n − 1 · · · n − n−1 arXiv:2010.13645v4 [math.NT] 11 Aug 2021 Then the Bhargava factorial over S, denoted n!S, is defined as n!S = vn(S,p). p Y The Bhargava factorial n!S, with S Z, satisfies four properties analogous to the factorial: ⊆ 1. For any nonnegative integers k and l, (k + l)!S is a multiple of k!Sl!S . 2. Let f be a primitive polynomial of degree k and let d(S,f) = gcd f(a) a S . Then d(S,f) divides k! . { | ∈ } S January 2014] ASYMPTOTICS ON LEGENDRE FORMULAS 1 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 2 3. Let a , a , . , a S be any n + 1 integers. Then the product 0 1 n ∈ (ai aj ) i<j − Y is a multiple of 0! 1! n! . S S · · · S 4. The number of polynomial functions from S to Z/nZ is given by n−1 n . gcd (n, k!S ) kY=0 Manjul Bhargava in [1] remarks the following: Question 31: What are analogues of Stirling’s formula for generalized factorials? In this article, we obtain weak asymptotic formulas for P, the set of primes, and a set S′, which we will define momentarily. Specifically, we prove the following theorems. Theorem 2. Let n!P denote the Bhargava factorial over the set of primes P. Then log(n + 1)!P = log n!+ Cn + o(n), where log p C = = 1.2269688 .... (p 1)2 p∈P X − Consider the sequence 1, 6, 360, 45360, 5443200, 359251200,... which can be found as sequence A202367 at www.oeis.org. While this sequence may not be obviously related to the Bhargava factorial, it is interesting to note that in [6], N. Mathur devised an algorithm to show that, for any sequence under spe- cific criteria, we can determine a set S Z associated with the sequence. From this, we can determine a set S′ associated with⊆ the sequence A202367; a quick computa- ′ tion of the first few terms of the set gives S = 2, 4, 16, 22,... , outputting n!S′ = 1, 1, 6, 360,... { } { } Theorem 3. Let n!S′ denote the Bhargava factorial over the set associated with the sequence A202367. Then log(n + 1)!S′ = log(2n)! + βn + o(n), where log p p β = 2 = 1.0676431 .... (p 1) (p 1)/2 p∈P − X − ⌈ − ⌉ 2 © THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 3 The proofs of Theorems 2 and 3 will be given in Section 4. Each of the Bhargava factorials discussed in [1] and in sequence A202367 yields a Legendre formula that can be expressed as n k≥0 f(p)pk pP , (1) p∈P Y for some real-valued map f—as such, in determining the asymptotics for the Bhargava factorials discussed, we will investigate (1). In Section 2, we will define the associated Legendre formula for a real-valued map, or alternatively for the f-factorial, and prove specific properties about them and make connections with the Bhargava factorial. In Section 3, we will prove, under certain criteria for f, an asymptotic formula for the f-factorial—a general result that will provide approximations for the Bhargava factorial over P and S′. Due to the lack of assumptions on f, we consider classes of functions f that can be approximated “well-enough” by linear maps, which we will explain further in this section. In Section 4, we will apply our results from the previous section to certain classes of Legendre formulas obtained from the Bhargava factorial, including over P and S′ discussed earlier, and compare them to their respective asymptotics. 2. PRELIMINARIES. Before we proceed, we let x denote the floor function of a ⌊ ⌋ real number x, log denote the natural logarithm, and N = Z+ = 1, 2, 3,... denote the natural numbers. { } Definition 4. Let f : R R such that f is positive over P. The associated Legendre formula for f, or the f-factorial→ , is defined as n k≥0 f(p)pk n!f(x) = pP . p∈P Y For short, we may write n!f instead. Example 5. Let f(x)= x be the identity map; by Legendre’s formula, we have n k≥0 pk+1 n!x = n!= pP , p∈P Y with the sequence n! = 1, 1, 2, 6, 24, 120,... { x}n≥0 { } Example 6. Let f(x) = log x; we have n k≥0 pk log p n!log x = pP , p∈P Y with the sequence n! = 1, 2, 840, 1862340480,... { log x}n≥0 { } While the above examples produce interesting and known examples of Legendre formulas, there are other examples for which n!f is not defined. January 2014] ASYMPTOTICS ON LEGENDRE FORMULAS 3 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 4 Example 7. Let f(x)= sin x ; we have | | n k≥0 pk| sin p| n!| sin x| = pP . p∈P Y However, since csc x 1, we have | |≥ n n!| sin x| p , ≥ P pY∈ where the product diverges for n 1. Thus, n! is not defined for all n. ≥ | sin x| Based on this, we find, whenever f tends to infinity along P, that its f-factorial n!f is a natural number. In particular, one of the interesting facts about n!f is its being a natural number is equivalent to the first exponential term being a natural number; in addition, n!f is a natural number whenever we consider the classes of functions f mentioned previously. Theorem 8. Let f : R R be positive over P. The following are equivalent: → n 1. The sum log p converges to log k for some natural number k. P f(p) Xp∈ 2. n!f is a natural number. To prove Theorem 8 we shall first establish the following lemma. Lemma 9. Let bk 0 denote a strictly decreasing sequence of nonnegative integers; then the sequence defined≥ by bk ak = p , (2) p∈P Y with a0 assumed to be finite, is a strictly decreasing sequence of natural numbers such that a = a = = 1 for some N. N N+1 · · · Proof. Since bk is strictly decreasing, we have ak is strictly decreasing; furthermore, since bk is a strictly decreasing sequence of nonnegative integers, by the pigeon-hole principle, there exists an N such bN = bN+1 = = 0. Consequently, we have aN = a = = 1, as desired. · · · N+1 · · · Before we proceed to prove Theorem 8, using Lemma 9, we note that n!f shares some properties with the Bhargava factorial. Specificially, one of the properties they share is that n!f , like the Bhargava factorial, satisfies a binomial coefficient formula. Corollary 10. For arbitrary nonnegative integers n, k, the f-factorial (n + k)!f is a multiple of n!f k!f . In addition, n!f and the Bhargava factorial both satisfy a comparison theorem; that is, in [1, Lemma 13], M. Bhargava noted that if T,S are two subsets of Z and n!T , n!S are their respective Bhargava factorials such that T S, then n!S n!T for every n 0.