Namespaces
Variants
Actions

Difference between revisions of "Abundant number"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 133 formulas out of 134 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
Line 1: Line 1:
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a1300701.png" /> denote the sum of the distinct divisors of an integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a1300702.png" /> (cf. [[Divisor|Divisor]]; [[Number of divisors|Number of divisors]]). The integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a1300703.png" /> is called abundant if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a1300704.png" />; deficient if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a1300705.png" />; and perfect if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a1300706.png" /> (cf. also [[Perfect number|Perfect number]]). Note that some authors call a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a1300707.png" /> abundant if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a1300708.png" />. Clearly, these numbers are in fact perfect or abundant (i.e.  "non-deficient" ) numbers.
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
  
In [[#References|[a5]]], L.E. Dickson gives details on the early history of abundant numbers. G. Nicomachus (about 100) separated the even numbers into abundant, deficient and perfect, and dwelled on the ethical importance of the three types. A.M.S. Boethius (around 500), in a Latin exposition of the arithmetic of Nicomachus, stated that perfect numbers are rare, while abundant ( "superfluous" ) and deficient ( "diminutos" ) numbers are found to an unlimited extent. N. Jordanus (around 1236) stated that every multiple of a perfect or abundant number is abundant. He attempted to prove the erroneous statement that all abundant numbers are even. C. Bovillus (around 1509) corrected this statement, by citing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a1300709.png" /> and its multiples. Bachet de Méziriac (around 1600) gave a proof that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007010.png" /> is perfect if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007011.png" /> is a [[Prime number|prime number]], and abundant if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007012.png" /> is composite. He remarked that the odd number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007013.png" /> is abundant. J. Broscius (around 1652) showed that there are only <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007014.png" /> abundant numbers between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007015.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007016.png" /> and all of them are even; the only odd abundant number less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007017.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007018.png" />. (The statement by E. Lucas (1891) that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007019.png" /> is the smallest odd abundant number is probably a misprint for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007020.png" />.) Ch. de Neuveglise (1700) proved that the products <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007021.png" /> of two consecutive numbers are abundant, and all multiplies of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007022.png" /> or an abundant number are abundant. J. Struve (1808) considered abundant numbers which are products <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007023.png" /> of three distinct prime numbers in ascending order; for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007024.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007026.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007027.png" />, and for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007028.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007029.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007030.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007031.png" /> is abundant for any prime number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007032.png" />. Of the numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007033.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007034.png" /> are abundant.
+
Out of 134 formulas, 133 were replaced by TEX code.-->
  
Dickson (1913, [[#References|[a6]]]) called a non-deficient number primitive abundant if it is not a multiple of a smaller non-deficient number. He proved that there are only a finite number of primitive non-deficient numbers having a given number of distinct odd prime factors and a given number of factors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007035.png" />.
+
{{TEX|semi-auto}}{{TEX|partial}}
 +
Let $\sigma ( n )$ denote the sum of the distinct divisors of an integer $n$ (cf. [[Divisor|Divisor]]; [[Number of divisors|Number of divisors]]). The integer $n$ is called abundant if $\sigma ( n ) &gt; 2 n$; deficient if $\sigma ( n ) &lt; 2 n$; and perfect if $\sigma ( n ) = 2 n$ (cf. also [[Perfect number|Perfect number]]). Note that some authors call a number $n$ abundant if $\sigma ( n ) \geq 2 n$. Clearly, these numbers are in fact perfect or abundant (i.e.  "non-deficient" ) numbers.
 +
 
 +
In [[#References|[a5]]], L.E. Dickson gives details on the early history of abundant numbers. G. Nicomachus (about 100) separated the even numbers into abundant, deficient and perfect, and dwelled on the ethical importance of the three types. A.M.S. Boethius (around 500), in a Latin exposition of the arithmetic of Nicomachus, stated that perfect numbers are rare, while abundant ( "superfluous" ) and deficient ( "diminutos" ) numbers are found to an unlimited extent. N. Jordanus (around 1236) stated that every multiple of a perfect or abundant number is abundant. He attempted to prove the erroneous statement that all abundant numbers are even. C. Bovillus (around 1509) corrected this statement, by citing $45045 = 5.79 .11 .13$ and its multiples. Bachet de Méziriac (around 1600) gave a proof that $2 ^ { n } p$ is perfect if $p = 2 ^ { n + 1 } - 1$ is a [[Prime number|prime number]], and abundant if $p$ is composite. He remarked that the odd number $945$ is abundant. J. Broscius (around 1652) showed that there are only $21$ abundant numbers between $10$ and $100$ and all of them are even; the only odd abundant number less than $1000$ is $945$. (The statement by E. Lucas (1891) that $3 ^ { 3 } .5 .79$ is the smallest odd abundant number is probably a misprint for $945 = 3 ^ { 3 } .5 .7$.) Ch. de Neuveglise (1700) proved that the products $3 \cdot 4 , \ldots , 8 \cdot 9$ of two consecutive numbers are abundant, and all multiplies of $6$ or an abundant number are abundant. J. Struve (1808) considered abundant numbers which are products <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007023.png"/> of three distinct prime numbers in ascending order; for $a = 2$, $b = 3$, $c = 5$ or $7$, and for $a = 2$, $b = 5$, $c = 7$, $abcd$ is abundant for any prime number $d &gt; c$. Of the numbers $\leq 1000$, $52$ are abundant.
 +
 
 +
Dickson (1913, [[#References|[a6]]]) called a non-deficient number primitive abundant if it is not a multiple of a smaller non-deficient number. He proved that there are only a finite number of primitive non-deficient numbers having a given number of distinct odd prime factors and a given number of factors $2$.
  
 
There is no odd abundant number with fewer than three distinct prime factors, the primitive ones with three are
 
There is no odd abundant number with fewer than three distinct prime factors, the primitive ones with three are
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007036.png" /></td> </tr></table>
+
\begin{equation*} 3 ^ { 3 } .5 .7,3 ^ { 2 } .5 ^ { 2 } .7,3 ^ { 2 } .5 .7 ^ { 2 } \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007037.png" /></td> </tr></table>
+
\begin{equation*} 3 ^ { 2 } \cdot 5 ^ { 2 } \cdot 11,\; 3 ^ { 5 } \cdot 5 ^ { 2 } \cdot 13,\; 3 ^ { 4 } \cdot 5 ^ { 2 } \cdot 13 ^ { 2 } ,\; 3 ^ { 3 } \cdot 5 ^ { 3 } \cdot 13 ^ { 2 }. \end{equation*}
  
He gave also a table of all even abundant numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007038.png" />. Dickson's result was a starting point for much further research. In 1949 and 1968, H.N. Shapiro ([[#References|[a20]]], [[#References|[a21]]]) proved the following result. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007039.png" /> be a rational number. A necessary and sufficient condition that there exist infinitely many primitive <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007041.png" />-abundant numbers (i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007042.png" /> but <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007043.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007044.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007045.png" />) with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007046.png" /> distinct prime factors is that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007047.png" /> has a representation
+
He gave also a table of all even abundant numbers $&lt; 6232$. Dickson's result was a starting point for much further research. In 1949 and 1968, H.N. Shapiro ([[#References|[a20]]], [[#References|[a21]]]) proved the following result. Let $\alpha$ be a rational number. A necessary and sufficient condition that there exist infinitely many primitive $\alpha$-abundant numbers (i.e. $\sigma ( n ) / n \geq \alpha$ but $\sigma ( d ) / d &lt; \alpha$ for all $d | n$, $d &lt; n$) with $k$ distinct prime factors is that $\alpha$ has a representation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007048.png" /></td> </tr></table>
+
\begin{equation*} \alpha = \frac { b \sigma ( a ) } { a \varphi ( b ) } \end{equation*}
  
with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007049.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007050.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007051.png" />. Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007052.png" /> is the Euler [[Totient function|totient function]] and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007053.png" /> denotes the number of distinct prime factors of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007054.png" />.
+
with $\operatorname { GCD } ( a , b ) = 1$, $b &gt; 1$, where $\omega ( a ) + \omega ( b ) &lt; k$. Here, $\varphi$ is the Euler [[Totient function|totient function]] and $\omega ( a )$ denotes the number of distinct prime factors of $a$.
  
 
In 1933, F. Behrend, H. Davenport and S. Chowla [[#References|[a4]]] showed that the density of non-deficient numbers exists and is positive. This result follows also from a theorem of P. Erdős [[#References|[a7]]] stating that the sum of reciprocals of primitive abundant numbers converges. Let
 
In 1933, F. Behrend, H. Davenport and S. Chowla [[#References|[a4]]] showed that the density of non-deficient numbers exists and is positive. This result follows also from a theorem of P. Erdős [[#References|[a7]]] stating that the sum of reciprocals of primitive abundant numbers converges. Let
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007055.png" /></td> </tr></table>
+
\begin{equation*} A _ { \alpha } ( x ) = \operatorname { card } \{ n \leq x \ \text{primitive} \ \alpha \ \square \ \text{abundant} \}  \end{equation*}
  
be the counting function of primitive <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007056.png" />-abundant numbers. Erdős proved that [[#References|[a10]]]
+
be the counting function of primitive $\alpha$-abundant numbers. Erdős proved that [[#References|[a10]]]
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007057.png" /></td> </tr></table>
+
\begin{equation*} A _ { \alpha } ( x ) = o \left( \frac { x } { \operatorname { log } x } \right) \end{equation*}
  
 
and that [[#References|[a8]]]
 
and that [[#References|[a8]]]
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007058.png" /></td> </tr></table>
+
\begin{equation*} x \operatorname { exp } ( - 8 ( \operatorname { log } x\operatorname { log } \operatorname { log } x ) ^ { 1 / 2 } ) &lt; A _ { 2 } ( x ) &lt; \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007059.png" /></td> </tr></table>
+
\begin{equation*} &lt; x \operatorname { exp } ( - \frac { 1 } { 25 } \left( \operatorname { log } x \operatorname { log } \operatorname { log } x ) ^ { 1 / 2 } \right). \end{equation*}
  
This was sharpened successively by A. Ivić [[#References|[a13]]], with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007060.png" /> in place of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007061.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007062.png" /> in place of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007063.png" />; and by M.R. Avidon [[#References|[a2]]], who considered <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007064.png" /> in place of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007065.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007066.png" /> in place of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007067.png" />.
+
This was sharpened successively by A. Ivić [[#References|[a13]]], with $- ( \sqrt { 6 } + \varepsilon )$ in place of $- 8$ and $- ( 1 / \sqrt { 12 } - \varepsilon )$ in place of $- 1 / 25$; and by M.R. Avidon [[#References|[a2]]], who considered $- ( \sqrt { 2 } + \varepsilon )$ in place of $- ( \sqrt { 6 } + \varepsilon )$, and $- ( 1 - \varepsilon )$ in place of $- ( 1 / \sqrt { 12 } - \varepsilon )$.
  
L. Alaoglu and Erdős [[#References|[a1]]] call a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007068.png" /> superabundant if
+
L. Alaoglu and Erdős [[#References|[a1]]] call a number $n$ superabundant if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007069.png" /></td> </tr></table>
+
\begin{equation*} \frac { \sigma ( n ) } { n } &gt; \frac { \sigma ( m ) } { m } \end{equation*}
  
for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007070.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007071.png" /> be the counting function of superabundant numbers. For two consecutive superabundant numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007072.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007073.png" /> they prove that
+
for all $1 \leq m &lt; n$. Let $Q ( x )$ be the counting function of superabundant numbers. For two consecutive superabundant numbers $n$, $n ^ { \prime }$ they prove that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007074.png" /></td> </tr></table>
+
\begin{equation*} \frac { n ^ { \prime } } { n } &lt; 1 + C \frac { ( \operatorname { log } \operatorname { log } n ) ^ { 2 } } { \operatorname { log } n } , C = \text { const } &gt; 0, \end{equation*}
  
and this was sharpened to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007075.png" /> for an infinity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007076.png" /> by J.-L. Nicolas [[#References|[a16]]]. Alaoglu and Erdős showed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007077.png" />, while Erdős and Nicolas [[#References|[a11]]] demonstrated that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007078.png" />. Alaoglu and Erdős [[#References|[a1]]] introduced also the notion of highly abundant number, a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007079.png" /> with the property that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007080.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007081.png" />. For the counting function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007082.png" /> of these numbers one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007083.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007084.png" /> and large <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007085.png" />; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007086.png" /> is highly abundant, then the largest prime factor of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007087.png" /> is less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007088.png" />.
+
and this was sharpened to $n ^ { \prime } / n \leq 1 + 1 / \sqrt { \operatorname { log } n }$ for an infinity of $n$ by J.-L. Nicolas [[#References|[a16]]]. Alaoglu and Erdős showed that $Q ( x ) \geq  C \operatorname { log } x \operatorname { log } \operatorname { log } x / ( \operatorname { log } \operatorname { log } \operatorname { log } x ) ^ { 2 }$, while Erdős and Nicolas [[#References|[a11]]] demonstrated that $\lim \inf _{x \rightarrow \infty}  \operatorname { log } Q ( x ) / \operatorname { log } \operatorname { log } x \geq 5 / 48$. Alaoglu and Erdős [[#References|[a1]]] introduced also the notion of highly abundant number, a number $n$ with the property that $\sigma ( n ) &gt; \sigma ( m )$ for all $m &lt; n$. For the counting function $H ( x )$ of these numbers one has $H ( x ) &gt; ( 1 - \varepsilon ) ( \operatorname { log } x ) ^ { 2 }$ for all $\varepsilon &gt; 0$ and large $x$; if $n$ is highly abundant, then the largest prime factor of $n$ is less than $C \log n ( \log \log n)^3$.
  
Erdős and Nicolas [[#References|[a11]]] call a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007089.png" /> cube-free superabundant if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007090.png" /> implies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007091.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007092.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007093.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007094.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007095.png" /> (with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007096.png" /> a prime number and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007097.png" /> a positive integer). They prove that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007098.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a13007099.png" /> are two consecutive cube-free superabundant numbers, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070100.png" />. A non-deficient number is called weird by S.J. Benkovski and Erdős [[#References|[a3]]] if it is not pseudo-perfect (cf. also [[Perfect number|Perfect number]]). They proved that the density of weird numbers is positive.
+
Erdős and Nicolas [[#References|[a11]]] call a number $n$ cube-free superabundant if $m &lt; n$ implies $\sigma ^ { 0 } ( m ) / m &lt; \sigma ^ { 0 } ( n ) / n$, where $\sigma ^ { 0 } ( p ^ { \alpha } ) = \sigma ( p ^ { \alpha } )$ for $\alpha \leq 2$ and $\sigma ^ { 0 } ( p ^ { \alpha } ) = 0$ for $\alpha \geq 3$ (with $p$ a prime number and $\alpha$ a positive integer). They prove that if $n ^ { 0 }$ and $n^{\prime 0 }$ are two consecutive cube-free superabundant numbers, then $\operatorname{limsup} n ^ { \prime 0 } / n ^ { 0 } \geq 2 ^ { 1 / 4 } \sim 1,19$. A non-deficient number is called weird by S.J. Benkovski and Erdős [[#References|[a3]]] if it is not pseudo-perfect (cf. also [[Perfect number|Perfect number]]). They proved that the density of weird numbers is positive.
  
V. Siva Rama Prasad and D.R. Reddy [[#References|[a23]]] say that a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070101.png" /> is primitive unitary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070103.png" />-abundant if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070104.png" /> but <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070105.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070106.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070107.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070108.png" />). Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070109.png" /> denotes the sum of unitary divisors of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070110.png" /> (for these functions, as well as related results, see also [[#References|[a15]]]). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070111.png" /> be the set of these numbers. Then
+
V. Siva Rama Prasad and D.R. Reddy [[#References|[a23]]] say that a number $n$ is primitive unitary $\alpha$-abundant if $\sigma ^ { * } ( n ) &gt; \alpha n$ but $\sigma ^ { * } ( d ) &lt; \alpha d$ for all $d | n$, $d &lt; n$ ($\alpha \geq 2$). Here, $\sigma ^ { * } ( n )$ denotes the sum of unitary divisors of $n$ (for these functions, as well as related results, see also [[#References|[a15]]]). Let $U _ { a }$ be the set of these numbers. Then
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070112.png" /></td> </tr></table>
+
\begin{equation*} \operatorname { limsup } _ { n \rightarrow \infty , n \in U _ { \alpha } } \frac { \sigma ^ { * } ( n ) } { n } = \alpha. \end{equation*}
  
 
==Miscellaneous results.==
 
==Miscellaneous results.==
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070113.png" />. A number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070114.png" /> is called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070116.png" />-non-deficient if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070117.png" />. By sharpening a result of O. Grün [[#References|[a12]]], H. Salié [[#References|[a18]]] proved that the least prime factor of every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070118.png" />-non-deficient number with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070119.png" /> prime factors is less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070120.png" />.
+
Let $\alpha \in \mathbf{R}$. A number $n$ is called $\alpha$-non-deficient if $\sigma ( n ) / n \geq \alpha$. By sharpening a result of O. Grün [[#References|[a12]]], H. Salié [[#References|[a18]]] proved that the least prime factor of every $\alpha$-non-deficient number with $m$ prime factors is less than $C(m\operatorname{log} n) ^{1 / \alpha}$.
  
Ch.R. Wall [[#References|[a24]]] proved that there exist infinitely many abundant integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070121.png" /> (with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070122.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070123.png" /> given). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070124.png" /> be fixed. Then there exist <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070125.png" /> consecutive abundant numbers. There exist infinitely many sequences of five consecutive deficient numbers. (See [[#References|[a25]]].) See [[#References|[a14]]] for a table of odd primitive abundant numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070126.png" /> with five distinct prime factors for which
+
Ch.R. Wall [[#References|[a24]]] proved that there exist infinitely many abundant integers $n \equiv a ( \operatorname { mod } b )$ (with $a$ and $b$ given). Let $k$ be fixed. Then there exist $k$ consecutive abundant numbers. There exist infinitely many sequences of five consecutive deficient numbers. (See [[#References|[a25]]].) See [[#References|[a14]]] for a table of odd primitive abundant numbers $n$ with five distinct prime factors for which
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070127.png" /></td> </tr></table>
+
\begin{equation*} 2 &lt; \frac { \sigma ( n ) } { n } &lt; 2 + \frac { 2 } { 10 ^ { 10 } }. \end{equation*}
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070128.png" />, the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070129.png" /> is abundant, see [[#References|[a22]]].
+
If $k \geq 8$, the number $n = 1.3 .5 ... ( 2 k - 1 )$ is abundant, see [[#References|[a22]]].
  
 
For others results on deficient, perfect, or related numbers, see [[#References|[a15]]], [[#References|[a8]]], [[#References|[a9]]], [[#References|[a19]]], [[#References|[a17]]].
 
For others results on deficient, perfect, or related numbers, see [[#References|[a15]]], [[#References|[a8]]], [[#References|[a9]]], [[#References|[a19]]], [[#References|[a17]]].
  
L. Moser [[#References|[a26]]] proved that every integer <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070130.png" /> can be expressed as the sum of two abundant numbers. Actually, this is valid for integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070131.png" />, see [[#References|[a27]]].
+
L. Moser [[#References|[a26]]] proved that every integer $&gt; 10 ^ { 5 }$ can be expressed as the sum of two abundant numbers. Actually, this is valid for integers $&gt; 20162$, see [[#References|[a27]]].
  
For a table of abundant numbers less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070132.png" />, see [[#References|[a28]]].
+
For a table of abundant numbers less than $10 ^ { 4 }$, see [[#References|[a28]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  L. Alaoglu,  P. Erdös,  "On highly composite and similar numbers"  ''Trans. Amer. Math. Soc.'' , '''56'''  (1944)  pp. 448–469</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M.R. Avidon,  "On the distribution of primitive abundant numbers"  ''Acta Arith.'' , '''77'''  (1996)  pp. 195–205</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  S.J. Benkovski,  P. Erdös,  "On weird and pseudoperfect numbers"  ''Math. Comput.'' , '''28'''  (1974)  pp. 617–623</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  H. Davenport,  "Über numeri abundantes"  ''Preuss. Akad. Wiss. Sitzungsber'' , '''26/29'''  (1933)  pp. 830–837</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  L.E. Dickson,  "History of the theory of numbers" , '''I (Divisibility and primality)''' , Chelsea  (1919)  (Reprint: AMS 1999)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  L.E. Dickson,  "Finiteness of odd perfect and primitive abundent numbers with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070133.png" /> distinct prime factors"  ''Amer. J. Math.'' , '''35'''  (1913)  pp. 413–422</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  P. Erdös,  "On the density of the abundant numbers"  ''J. London Math. Soc.'' , '''9'''  (1934)  pp. 278–282</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  P. Erdös,  "On primitive abundant numbers"  ''J. London Math. Soc.'' , '''9'''  (1935)  pp. 49–58</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  P. Erdös,  "Note on consecutive abundant numbers"  ''J. London Math. Soc.'' , '''13'''  (1938)  pp. 128–131</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  P. Erdös,  "Remarks on number theory I, On primitive <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070134.png" />-abundant numbers"  ''Acta Arith.'' , '''5'''  (1958)  pp. 25–33</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  P. Erdös,  J.-L. Nicolas,  "Répartition des nombres superabondantes"  ''Bull. Soc. Math. France'' , '''103'''  (1975)  pp. 65–90</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  O. Grün,  "Über ungerade vollkommene Zahlen"  ''Math. Z.'' , '''55'''  (1952)  pp. 353–354</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  A. Ivić,  "The distribution of primitive abundant numbers"  ''Studia Sci. Math. Hung.'' , '''20'''  (1985)  pp. 183–187</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  M. Kishore,  "Odd integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070135.png" /> with five distinct prime factors for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070136.png" />"  ''Math. Comput.'' , '''32'''  (1978)  pp. 303–309</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  D.S. Mitrinović,  J. Sándor,  "Handbook of number theory" , Kluwer Acad. Publ.  (1995)  (In coop. with B. Crstici)</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  J.-L. Nicolas,  "Ordre maximal d'un élément du groupe <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130070/a130070137.png" /> des permutations et `highly composite numbers'"  ''Bull. Soc. Math. France'' , '''97'''  (1969)  pp. 129–191</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  H.J.J. te Riele,  "A theoretical and computational study of generalized aliquot sequences"  ''Math. Centrum, Amsterdam''  (1975)</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  H. Salié,  "Über abundante Zahlen"  ''Math. Nachr.'' , '''9'''  (1953)  pp. 217–220</TD></TR><TR><TD valign="top">[a19]</TD> <TD valign="top">  J. Sándor,  "On a method of Galambos and Kátai concerning the frequency of deficient numbers"  ''Publ. Math. (Debrecen)'' , '''39'''  (1991)  pp. 155–157</TD></TR><TR><TD valign="top">[a20]</TD> <TD valign="top">  H.N. Shapiro,  "Note on a theorem of Dickson"  ''Bull. Amer. Math. Soc.'' , '''55'''  (1949)  pp. 450–452</TD></TR><TR><TD valign="top">[a21]</TD> <TD valign="top">  H.N. Shapiro,  "On primitive abundant numbers"  ''Commun. Pure Appl. Math.'' , '''21'''  (1968)  pp. 111–118</TD></TR><TR><TD valign="top">[a22]</TD> <TD valign="top">  W. Sierpinski,  "Teoria liczb" , '''II''' , Warsawa  (1959)</TD></TR><TR><TD valign="top">[a23]</TD> <TD valign="top">  V. Siva Rama Prasad,  D.R. Reddy,  "On primitive unitary abundant numbers"  ''Indian J. Pure Appl. Math.'' , '''21'''  (1990)  pp. 40–44</TD></TR><TR><TD valign="top">[a24]</TD> <TD valign="top">  Ch.R. Wall,  "Problem E3002"  ''Amer. Math. Monthly'' , '''90'''  (1983)  pp. 400  (Solution by N.J. Fine: 93 (1986), 814)</TD></TR><TR><TD valign="top">[a25]</TD> <TD valign="top">  Ch.R. Wall,  "Problem, 6356"  ''Amer. Math. Monthly'' , '''88'''  (1981)  pp. 623  (Solution by L.L. Foster: 90 (1983), 215-216)</TD></TR><TR><TD valign="top">[a26]</TD> <TD valign="top">  L. Moser,  "Problem E848"  ''Amer. Math. Monthly'' , '''56'''  (1949)  pp. 478</TD></TR><TR><TD valign="top">[a27]</TD> <TD valign="top">  E. Bach,  J. Shallit,  "Algorithmic number theory" , MIT  (1996)  pp. 334</TD></TR><TR><TD valign="top">[a28]</TD> <TD valign="top">  J.W.L. Glaiser,  "Number-Divisor Tables" , British Assoc. Math. Tables  (1940)</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  L. Alaoglu,  P. Erdös,  "On highly composite and similar numbers"  ''Trans. Amer. Math. Soc.'' , '''56'''  (1944)  pp. 448–469</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  M.R. Avidon,  "On the distribution of primitive abundant numbers"  ''Acta Arith.'' , '''77'''  (1996)  pp. 195–205</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  S.J. Benkovski,  P. Erdös,  "On weird and pseudoperfect numbers"  ''Math. Comput.'' , '''28'''  (1974)  pp. 617–623</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  H. Davenport,  "Über numeri abundantes"  ''Preuss. Akad. Wiss. Sitzungsber'' , '''26/29'''  (1933)  pp. 830–837</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  L.E. Dickson,  "History of the theory of numbers" , '''I (Divisibility and primality)''' , Chelsea  (1919)  (Reprint: AMS 1999)</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  L.E. Dickson,  "Finiteness of odd perfect and primitive abundent numbers with $n$ distinct prime factors"  ''Amer. J. Math.'' , '''35'''  (1913)  pp. 413–422</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  P. Erdös,  "On the density of the abundant numbers"  ''J. London Math. Soc.'' , '''9'''  (1934)  pp. 278–282</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  P. Erdös,  "On primitive abundant numbers"  ''J. London Math. Soc.'' , '''9'''  (1935)  pp. 49–58</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  P. Erdös,  "Note on consecutive abundant numbers"  ''J. London Math. Soc.'' , '''13'''  (1938)  pp. 128–131</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  P. Erdös,  "Remarks on number theory I, On primitive $\alpha$-abundant numbers" ''Acta Arith.'' , '''5'''  (1958)  pp. 25–33</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  P. Erdös,  J.-L. Nicolas,  "Répartition des nombres superabondantes"  ''Bull. Soc. Math. France'' , '''103'''  (1975)  pp. 65–90</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  O. Grün,  "Über ungerade vollkommene Zahlen"  ''Math. Z.'' , '''55'''  (1952)  pp. 353–354</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  A. Ivić,  "The distribution of primitive abundant numbers"  ''Studia Sci. Math. Hung.'' , '''20'''  (1985)  pp. 183–187</td></tr><tr><td valign="top">[a14]</td> <td valign="top">  M. Kishore,  "Odd integers $n$ with five distinct prime factors for which $2 - 10 ^ { - 12 } &lt; \sigma ( n ) / n &lt; 2 + 10 ^ { - 12 }$"  ''Math. Comput.'' , '''32'''  (1978)  pp. 303–309</td></tr><tr><td valign="top">[a15]</td> <td valign="top">  D.S. Mitrinović,  J. Sándor,  "Handbook of number theory" , Kluwer Acad. Publ.  (1995)  (In coop. with B. Crstici)</td></tr><tr><td valign="top">[a16]</td> <td valign="top">  J.-L. Nicolas,  "Ordre maximal d'un élément du groupe $S _ { n }$ des permutations et `highly composite numbers'"  ''Bull. Soc. Math. France'' , '''97'''  (1969)  pp. 129–191</td></tr><tr><td valign="top">[a17]</td> <td valign="top">  H.J.J. te Riele,  "A theoretical and computational study of generalized aliquot sequences"  ''Math. Centrum, Amsterdam''  (1975)</td></tr><tr><td valign="top">[a18]</td> <td valign="top">  H. Salié,  "Über abundante Zahlen"  ''Math. Nachr.'' , '''9'''  (1953)  pp. 217–220</td></tr><tr><td valign="top">[a19]</td> <td valign="top">  J. Sándor,  "On a method of Galambos and Kátai concerning the frequency of deficient numbers"  ''Publ. Math. (Debrecen)'' , '''39'''  (1991)  pp. 155–157</td></tr><tr><td valign="top">[a20]</td> <td valign="top">  H.N. Shapiro,  "Note on a theorem of Dickson"  ''Bull. Amer. Math. Soc.'' , '''55'''  (1949)  pp. 450–452</td></tr><tr><td valign="top">[a21]</td> <td valign="top">  H.N. Shapiro,  "On primitive abundant numbers"  ''Commun. Pure Appl. Math.'' , '''21'''  (1968)  pp. 111–118</td></tr><tr><td valign="top">[a22]</td> <td valign="top">  W. Sierpinski,  "Teoria liczb" , '''II''' , Warsawa  (1959)</td></tr><tr><td valign="top">[a23]</td> <td valign="top">  V. Siva Rama Prasad,  D.R. Reddy,  "On primitive unitary abundant numbers"  ''Indian J. Pure Appl. Math.'' , '''21'''  (1990)  pp. 40–44</td></tr><tr><td valign="top">[a24]</td> <td valign="top">  Ch.R. Wall,  "Problem E3002"  ''Amer. Math. Monthly'' , '''90'''  (1983)  pp. 400  (Solution by N.J. Fine: 93 (1986), 814)</td></tr><tr><td valign="top">[a25]</td> <td valign="top">  Ch.R. Wall,  "Problem, 6356"  ''Amer. Math. Monthly'' , '''88'''  (1981)  pp. 623  (Solution by L.L. Foster: 90 (1983), 215-216)</td></tr><tr><td valign="top">[a26]</td> <td valign="top">  L. Moser,  "Problem E848"  ''Amer. Math. Monthly'' , '''56'''  (1949)  pp. 478</td></tr><tr><td valign="top">[a27]</td> <td valign="top">  E. Bach,  J. Shallit,  "Algorithmic number theory" , MIT  (1996)  pp. 334</td></tr><tr><td valign="top">[a28]</td> <td valign="top">  J.W.L. Glaiser,  "Number-Divisor Tables" , British Assoc. Math. Tables  (1940)</td></tr></table>

Revision as of 16:56, 1 July 2020

Let $\sigma ( n )$ denote the sum of the distinct divisors of an integer $n$ (cf. Divisor; Number of divisors). The integer $n$ is called abundant if $\sigma ( n ) > 2 n$; deficient if $\sigma ( n ) < 2 n$; and perfect if $\sigma ( n ) = 2 n$ (cf. also Perfect number). Note that some authors call a number $n$ abundant if $\sigma ( n ) \geq 2 n$. Clearly, these numbers are in fact perfect or abundant (i.e. "non-deficient" ) numbers.

In [a5], L.E. Dickson gives details on the early history of abundant numbers. G. Nicomachus (about 100) separated the even numbers into abundant, deficient and perfect, and dwelled on the ethical importance of the three types. A.M.S. Boethius (around 500), in a Latin exposition of the arithmetic of Nicomachus, stated that perfect numbers are rare, while abundant ( "superfluous" ) and deficient ( "diminutos" ) numbers are found to an unlimited extent. N. Jordanus (around 1236) stated that every multiple of a perfect or abundant number is abundant. He attempted to prove the erroneous statement that all abundant numbers are even. C. Bovillus (around 1509) corrected this statement, by citing $45045 = 5.79 .11 .13$ and its multiples. Bachet de Méziriac (around 1600) gave a proof that $2 ^ { n } p$ is perfect if $p = 2 ^ { n + 1 } - 1$ is a prime number, and abundant if $p$ is composite. He remarked that the odd number $945$ is abundant. J. Broscius (around 1652) showed that there are only $21$ abundant numbers between $10$ and $100$ and all of them are even; the only odd abundant number less than $1000$ is $945$. (The statement by E. Lucas (1891) that $3 ^ { 3 } .5 .79$ is the smallest odd abundant number is probably a misprint for $945 = 3 ^ { 3 } .5 .7$.) Ch. de Neuveglise (1700) proved that the products $3 \cdot 4 , \ldots , 8 \cdot 9$ of two consecutive numbers are abundant, and all multiplies of $6$ or an abundant number are abundant. J. Struve (1808) considered abundant numbers which are products of three distinct prime numbers in ascending order; for $a = 2$, $b = 3$, $c = 5$ or $7$, and for $a = 2$, $b = 5$, $c = 7$, $abcd$ is abundant for any prime number $d > c$. Of the numbers $\leq 1000$, $52$ are abundant.

Dickson (1913, [a6]) called a non-deficient number primitive abundant if it is not a multiple of a smaller non-deficient number. He proved that there are only a finite number of primitive non-deficient numbers having a given number of distinct odd prime factors and a given number of factors $2$.

There is no odd abundant number with fewer than three distinct prime factors, the primitive ones with three are

\begin{equation*} 3 ^ { 3 } .5 .7,3 ^ { 2 } .5 ^ { 2 } .7,3 ^ { 2 } .5 .7 ^ { 2 } \end{equation*}

\begin{equation*} 3 ^ { 2 } \cdot 5 ^ { 2 } \cdot 11,\; 3 ^ { 5 } \cdot 5 ^ { 2 } \cdot 13,\; 3 ^ { 4 } \cdot 5 ^ { 2 } \cdot 13 ^ { 2 } ,\; 3 ^ { 3 } \cdot 5 ^ { 3 } \cdot 13 ^ { 2 }. \end{equation*}

He gave also a table of all even abundant numbers $< 6232$. Dickson's result was a starting point for much further research. In 1949 and 1968, H.N. Shapiro ([a20], [a21]) proved the following result. Let $\alpha$ be a rational number. A necessary and sufficient condition that there exist infinitely many primitive $\alpha$-abundant numbers (i.e. $\sigma ( n ) / n \geq \alpha$ but $\sigma ( d ) / d < \alpha$ for all $d | n$, $d < n$) with $k$ distinct prime factors is that $\alpha$ has a representation

\begin{equation*} \alpha = \frac { b \sigma ( a ) } { a \varphi ( b ) } \end{equation*}

with $\operatorname { GCD } ( a , b ) = 1$, $b > 1$, where $\omega ( a ) + \omega ( b ) < k$. Here, $\varphi$ is the Euler totient function and $\omega ( a )$ denotes the number of distinct prime factors of $a$.

In 1933, F. Behrend, H. Davenport and S. Chowla [a4] showed that the density of non-deficient numbers exists and is positive. This result follows also from a theorem of P. Erdős [a7] stating that the sum of reciprocals of primitive abundant numbers converges. Let

\begin{equation*} A _ { \alpha } ( x ) = \operatorname { card } \{ n \leq x \ \text{primitive} \ \alpha \ \square \ \text{abundant} \} \end{equation*}

be the counting function of primitive $\alpha$-abundant numbers. Erdős proved that [a10]

\begin{equation*} A _ { \alpha } ( x ) = o \left( \frac { x } { \operatorname { log } x } \right) \end{equation*}

and that [a8]

\begin{equation*} x \operatorname { exp } ( - 8 ( \operatorname { log } x\operatorname { log } \operatorname { log } x ) ^ { 1 / 2 } ) < A _ { 2 } ( x ) < \end{equation*}

\begin{equation*} < x \operatorname { exp } ( - \frac { 1 } { 25 } \left( \operatorname { log } x \operatorname { log } \operatorname { log } x ) ^ { 1 / 2 } \right). \end{equation*}

This was sharpened successively by A. Ivić [a13], with $- ( \sqrt { 6 } + \varepsilon )$ in place of $- 8$ and $- ( 1 / \sqrt { 12 } - \varepsilon )$ in place of $- 1 / 25$; and by M.R. Avidon [a2], who considered $- ( \sqrt { 2 } + \varepsilon )$ in place of $- ( \sqrt { 6 } + \varepsilon )$, and $- ( 1 - \varepsilon )$ in place of $- ( 1 / \sqrt { 12 } - \varepsilon )$.

L. Alaoglu and Erdős [a1] call a number $n$ superabundant if

\begin{equation*} \frac { \sigma ( n ) } { n } > \frac { \sigma ( m ) } { m } \end{equation*}

for all $1 \leq m < n$. Let $Q ( x )$ be the counting function of superabundant numbers. For two consecutive superabundant numbers $n$, $n ^ { \prime }$ they prove that

\begin{equation*} \frac { n ^ { \prime } } { n } < 1 + C \frac { ( \operatorname { log } \operatorname { log } n ) ^ { 2 } } { \operatorname { log } n } , C = \text { const } > 0, \end{equation*}

and this was sharpened to $n ^ { \prime } / n \leq 1 + 1 / \sqrt { \operatorname { log } n }$ for an infinity of $n$ by J.-L. Nicolas [a16]. Alaoglu and Erdős showed that $Q ( x ) \geq C \operatorname { log } x \operatorname { log } \operatorname { log } x / ( \operatorname { log } \operatorname { log } \operatorname { log } x ) ^ { 2 }$, while Erdős and Nicolas [a11] demonstrated that $\lim \inf _{x \rightarrow \infty} \operatorname { log } Q ( x ) / \operatorname { log } \operatorname { log } x \geq 5 / 48$. Alaoglu and Erdős [a1] introduced also the notion of highly abundant number, a number $n$ with the property that $\sigma ( n ) > \sigma ( m )$ for all $m < n$. For the counting function $H ( x )$ of these numbers one has $H ( x ) > ( 1 - \varepsilon ) ( \operatorname { log } x ) ^ { 2 }$ for all $\varepsilon > 0$ and large $x$; if $n$ is highly abundant, then the largest prime factor of $n$ is less than $C \log n ( \log \log n)^3$.

Erdős and Nicolas [a11] call a number $n$ cube-free superabundant if $m < n$ implies $\sigma ^ { 0 } ( m ) / m < \sigma ^ { 0 } ( n ) / n$, where $\sigma ^ { 0 } ( p ^ { \alpha } ) = \sigma ( p ^ { \alpha } )$ for $\alpha \leq 2$ and $\sigma ^ { 0 } ( p ^ { \alpha } ) = 0$ for $\alpha \geq 3$ (with $p$ a prime number and $\alpha$ a positive integer). They prove that if $n ^ { 0 }$ and $n^{\prime 0 }$ are two consecutive cube-free superabundant numbers, then $\operatorname{limsup} n ^ { \prime 0 } / n ^ { 0 } \geq 2 ^ { 1 / 4 } \sim 1,19$. A non-deficient number is called weird by S.J. Benkovski and Erdős [a3] if it is not pseudo-perfect (cf. also Perfect number). They proved that the density of weird numbers is positive.

V. Siva Rama Prasad and D.R. Reddy [a23] say that a number $n$ is primitive unitary $\alpha$-abundant if $\sigma ^ { * } ( n ) > \alpha n$ but $\sigma ^ { * } ( d ) < \alpha d$ for all $d | n$, $d < n$ ($\alpha \geq 2$). Here, $\sigma ^ { * } ( n )$ denotes the sum of unitary divisors of $n$ (for these functions, as well as related results, see also [a15]). Let $U _ { a }$ be the set of these numbers. Then

\begin{equation*} \operatorname { limsup } _ { n \rightarrow \infty , n \in U _ { \alpha } } \frac { \sigma ^ { * } ( n ) } { n } = \alpha. \end{equation*}

Miscellaneous results.

Let $\alpha \in \mathbf{R}$. A number $n$ is called $\alpha$-non-deficient if $\sigma ( n ) / n \geq \alpha$. By sharpening a result of O. Grün [a12], H. Salié [a18] proved that the least prime factor of every $\alpha$-non-deficient number with $m$ prime factors is less than $C(m\operatorname{log} n) ^{1 / \alpha}$.

Ch.R. Wall [a24] proved that there exist infinitely many abundant integers $n \equiv a ( \operatorname { mod } b )$ (with $a$ and $b$ given). Let $k$ be fixed. Then there exist $k$ consecutive abundant numbers. There exist infinitely many sequences of five consecutive deficient numbers. (See [a25].) See [a14] for a table of odd primitive abundant numbers $n$ with five distinct prime factors for which

\begin{equation*} 2 < \frac { \sigma ( n ) } { n } < 2 + \frac { 2 } { 10 ^ { 10 } }. \end{equation*}

If $k \geq 8$, the number $n = 1.3 .5 ... ( 2 k - 1 )$ is abundant, see [a22].

For others results on deficient, perfect, or related numbers, see [a15], [a8], [a9], [a19], [a17].

L. Moser [a26] proved that every integer $> 10 ^ { 5 }$ can be expressed as the sum of two abundant numbers. Actually, this is valid for integers $> 20162$, see [a27].

For a table of abundant numbers less than $10 ^ { 4 }$, see [a28].

References

[a1] L. Alaoglu, P. Erdös, "On highly composite and similar numbers" Trans. Amer. Math. Soc. , 56 (1944) pp. 448–469
[a2] M.R. Avidon, "On the distribution of primitive abundant numbers" Acta Arith. , 77 (1996) pp. 195–205
[a3] S.J. Benkovski, P. Erdös, "On weird and pseudoperfect numbers" Math. Comput. , 28 (1974) pp. 617–623
[a4] H. Davenport, "Über numeri abundantes" Preuss. Akad. Wiss. Sitzungsber , 26/29 (1933) pp. 830–837
[a5] L.E. Dickson, "History of the theory of numbers" , I (Divisibility and primality) , Chelsea (1919) (Reprint: AMS 1999)
[a6] L.E. Dickson, "Finiteness of odd perfect and primitive abundent numbers with $n$ distinct prime factors" Amer. J. Math. , 35 (1913) pp. 413–422
[a7] P. Erdös, "On the density of the abundant numbers" J. London Math. Soc. , 9 (1934) pp. 278–282
[a8] P. Erdös, "On primitive abundant numbers" J. London Math. Soc. , 9 (1935) pp. 49–58
[a9] P. Erdös, "Note on consecutive abundant numbers" J. London Math. Soc. , 13 (1938) pp. 128–131
[a10] P. Erdös, "Remarks on number theory I, On primitive $\alpha$-abundant numbers" Acta Arith. , 5 (1958) pp. 25–33
[a11] P. Erdös, J.-L. Nicolas, "Répartition des nombres superabondantes" Bull. Soc. Math. France , 103 (1975) pp. 65–90
[a12] O. Grün, "Über ungerade vollkommene Zahlen" Math. Z. , 55 (1952) pp. 353–354
[a13] A. Ivić, "The distribution of primitive abundant numbers" Studia Sci. Math. Hung. , 20 (1985) pp. 183–187
[a14] M. Kishore, "Odd integers $n$ with five distinct prime factors for which $2 - 10 ^ { - 12 } < \sigma ( n ) / n < 2 + 10 ^ { - 12 }$" Math. Comput. , 32 (1978) pp. 303–309
[a15] D.S. Mitrinović, J. Sándor, "Handbook of number theory" , Kluwer Acad. Publ. (1995) (In coop. with B. Crstici)
[a16] J.-L. Nicolas, "Ordre maximal d'un élément du groupe $S _ { n }$ des permutations et `highly composite numbers'" Bull. Soc. Math. France , 97 (1969) pp. 129–191
[a17] H.J.J. te Riele, "A theoretical and computational study of generalized aliquot sequences" Math. Centrum, Amsterdam (1975)
[a18] H. Salié, "Über abundante Zahlen" Math. Nachr. , 9 (1953) pp. 217–220
[a19] J. Sándor, "On a method of Galambos and Kátai concerning the frequency of deficient numbers" Publ. Math. (Debrecen) , 39 (1991) pp. 155–157
[a20] H.N. Shapiro, "Note on a theorem of Dickson" Bull. Amer. Math. Soc. , 55 (1949) pp. 450–452
[a21] H.N. Shapiro, "On primitive abundant numbers" Commun. Pure Appl. Math. , 21 (1968) pp. 111–118
[a22] W. Sierpinski, "Teoria liczb" , II , Warsawa (1959)
[a23] V. Siva Rama Prasad, D.R. Reddy, "On primitive unitary abundant numbers" Indian J. Pure Appl. Math. , 21 (1990) pp. 40–44
[a24] Ch.R. Wall, "Problem E3002" Amer. Math. Monthly , 90 (1983) pp. 400 (Solution by N.J. Fine: 93 (1986), 814)
[a25] Ch.R. Wall, "Problem, 6356" Amer. Math. Monthly , 88 (1981) pp. 623 (Solution by L.L. Foster: 90 (1983), 215-216)
[a26] L. Moser, "Problem E848" Amer. Math. Monthly , 56 (1949) pp. 478
[a27] E. Bach, J. Shallit, "Algorithmic number theory" , MIT (1996) pp. 334
[a28] J.W.L. Glaiser, "Number-Divisor Tables" , British Assoc. Math. Tables (1940)
How to Cite This Entry:
Abundant number. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Abundant_number&oldid=18512
This article was adapted from an original article by J. Sándor (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article