Hooley's delta function

From HandWiki
Revision as of 17:46, 6 February 2024 by MedAI (talk | contribs) (linkage)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Hooley's delta function
Named afterChristopher Hooley
Publication year1979
Author of publicationPaul Erdős
First terms1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 3, 1, 2, 2, 2, 1
OEIS indexA226898
Short description: Mathematical function

In mathematics, Hooley's delta function ([math]\displaystyle{ \Delta(n) }[/math]), also called Erdős--Hooley delta-function, defines the maximum number of divisors of [math]\displaystyle{ n }[/math] in [math]\displaystyle{ [u, eu] }[/math] for all [math]\displaystyle{ u }[/math], where [math]\displaystyle{ e }[/math] is the Euler's number. The first few terms of this sequence are

[math]\displaystyle{ 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 1, 3, 1, 2, 2, 2, 1, 2, 1, 3, 2, 2, 1, 4 }[/math] (sequence A226898 in the OEIS).

History

The sequence was first introduced by Paul Erdős in 1974,[1] then studied by Christopher Hooley in 1979.[2]

In 2023, Dimitris Koukoulopoulos and Terence Tao proved that the sum of the first [math]\displaystyle{ n }[/math] terms, [math]\displaystyle{ \textstyle \sum_{k=1}^n \Delta(k) \ll n (\log \log n)^{11/4} }[/math], for [math]\displaystyle{ n \ge 100 }[/math].[3] In particular, the average order of [math]\displaystyle{ \Delta(n) }[/math] to [math]\displaystyle{ k }[/math] is [math]\displaystyle{ O((\log n)^k) }[/math] for any [math]\displaystyle{ k \gt 0 }[/math].[4]

Later in 2023 Kevin Ford, Koukoulopoulos, and Tao proved the lower bound [math]\displaystyle{ \textstyle \sum_{k=1}^n \Delta(k) \gg n (\log \log n)^{1+\eta-\epsilon} }[/math], where [math]\displaystyle{ \eta=0.3533227\ldots }[/math], fixed [math]\displaystyle{ \epsilon }[/math], and [math]\displaystyle{ n \ge 100 }[/math].[5]

Usage

This function measures the tendency of divisors of a number to cluster.

The growth of this sequence is limited by [math]\displaystyle{ \Delta(mn) \leq \Delta(n) d(m) }[/math] where [math]\displaystyle{ d(n) }[/math] is the number of divisors of [math]\displaystyle{ n }[/math].[6]

See also

References

  1. Erdös, Paul (1974). "On Abundant-Like Numbers". Canadian Mathematical Bulletin 17 (4): 599–602. doi:10.4153/CMB-1974-108-5. 
  2. Hooley, Christopher. "On a new technique and its applications to the theory of numbers". https://www.ams.org/journals/bull/1990-22-01/S0273-0979-1990-15871-9/S0273-0979-1990-15871-9.pdf. 
  3. Koukoulopoulos, D.; Tao, T. (2023). "An upper bound on the mean value of the Erdős-Hooley Delta function". arXiv:2306.08615 [math.NT].
  4. "O" stands for the Big O notation.
  5. Ford, Kevin; Koukoulopoulos, Dimitris; Tao, Terence (2023). "A lower bound on the mean value of the Erdős-Hooley Delta function". arXiv:2308.11987 [math.NT].
  6. Greathouse, Charles R.. "Sequence A226898 (Hooley's Delta function: maximum number of divisors of n in [u, eu for all u. (Here e is Euler's number 2.718... = A001113.))"]. OEIS Foundation. https://oeis.org/A226898.