B ULLETIN DE LA S. M. F.

PAUL E RDÖSJ EAN -L OUIS N ICOLAS
Répartition des nombres superabondants
Bulletin de la S. M. F., tome 103 (1975), p. 65-90.
<http://www.numdam.org/item?id=BSMF_1975__103__65_0>© Bulletin de la S. M. F., 1975, tous droits réservés.
L’accès aux archives de la revue « Bulletin de la S. M. F. » (http://smf.
emath.fr/Publications/Bulletin/Presentation.html), implique l’accord avec
les conditions générales d’utilisation (http://www.numdam.org/legal.php).
Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichierdoit contenir la présente mention de copyright.

Article numérisé dans le cadre du programme
Numérisation de documents anciens mathématiques
http://www.numdam.org/

Bull. Soc. math. France,
103, 1975, p. 65-90.

RÉPARTITION DES NOMBRES SUPERABONDANTSPARPAUL ERDÔS ET JEAN-LOUIS NICOLAS[Budapest], [Limoges]

RÉSUMÉ. — Soit <j (n) la somme des diviseurs de n. On dit que n est superabondantsi, pour tout m < n, on a or (m)[m < a (n)/n. Si l'on appelle Q (X) le nombre de nombres
superabondants inférieurs à X, on démontre que, pour tout c < 5/48, Q (X) > (log X)1^0
pour X > Xo (c). On donne également quelques résultats et conjectures sur des sujets
voisins.
SUMMARY.—AH integer n is called superabundant if or (n)ln > a (m) /m for every m < n(a (n) dénotes thé sum of divisors of w). Dénote by Q (X) thé number of superabundants
not exceeding X Thé authors proove that for every c < 5/48, Q (X) > (iogX)1'^"
if X > Xo (c). Several related results are proved and unsolved problems are stated.
1. Introduction
S. RAMANUJAN [14] a défini et étudié les nombres hautement
composés. [Soit d(n) le nombre de diviseurs de n, n est hautement
composé si (m < n) ==> (d(m) < d(n)).~\ En particulier, il a étudié
Qh.c.OO = nombre de nombres hautement composés ^ X, et montré
que,_gh.c.OO ,lllll^oo———————=+00.

logX

P. ERDÔS a montré [5] que le quotient n'fn de deux nombres hautement
composés consécutifs assez grands vérifie— ^ 1 + ———n(ïognYavec

c > 0,

ce qui entraîne
ûh.c. (X) ^ (logZ)14-'

pour X assez grand.

BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE

5

66

P. ERDÔS ET J.-L. NICOLAS

J.-L. NICOLAS a montré [12] que Q^,(X) ^ (logX)0', c' étant une
constante calculable mais assez grande.
D'autre part, P. ERDÔS et L. ALAOGLU ont défini, dans [4], les nombres
superabondants.
DÉFINITION. — On dit que n est superabondant si,.
(m<n) =>

/a(m) ^(n)\——<-^-,\ mn )où a (n) est la somme des diviseurs de n.
On sait que a est une fonction multiplicative, et queo(p'l)=(p^l-l)/(p-l)

pour p premier et a ^ 1 (cf. [7], chap. XVI). P. ERDÔS et L. ALAOGLU
ont en particulier démontré le résultat suivant.
PROPOSITION 1. — Si la décomposition en facteurs premiers d'un nombre
superabondant est n == 2a2 3"3 . . . q^ ... p^, on a
(1)^2 > ^2 > • • • > ^q > ' ' ' > a?-

On a également a^ = 1 sauf si n = 4 ou n = 36, et q^ ^ {p log/?)/log q
lorsque q, et donc n, tendent vers l'infini, p étant le plus grand nombre premier
divisant n. On a enfin, lorsque n —> oo,(2)p^logn.

D'autre part, J.-L. NICOLAS ([11], p. 182) a montré que si n et n' sontdeux nombres superabondants consécutifs, on avait, pour une infinitéde n :
1^1+
n ^^/lognNous nous proposons de démontrer le théorème suivant.
THÉORÈME 1. — Soit Q (X) le nombre de nombres superabondants ^ X;
si c < 5/48, on a Q (X) ^ (log^)14"0 pour X assez grand.
La méthode de démonstration du théorème 1 ne permet pas (on le prouvera avec le théorème 2) de montrer que le quotient n ' / n de deux nombres
TOME 103 —— 1975 —— ? 1

RÉPARTITION DES NOMBRES SUPERABONDANTS

67

superabondants consécutifs assez grands vérifie(3)»;<1+^-.
n(log ny

Nous allons d'abord rappeler les propriétés? des nombres colossalement
abondants, qui sont des nombres superabondants privilégiés faciles àcalculer (§2). Au paragraphe 3, on étudiera les propriétés des nombres
superabondants compris entre deux nombres colossalement abondants
consécutifs. Au paragraphe 4, on montrera, dans le lemme 4, que, pourpresque tous les nombres N colossalement abondants, l'inégalité (3) est
vérifiée pour n voisin de N, ce qui démontrera le théorème 1.
On utilisera constamment le lemme suivant dû à HOHEISEL, INGHAM
et HUXLEY.
LEMME 1. — Soit n(x) le nombre de nombres premiers ^ x; il existe
T < 1 tel que
x 4- x^x
YT
K(x+x')-n(x)^————— - — — - ^ ^ _ .

^ogÇx+x^)

logx

logx

Le meilleur résultat actuel est dû à HUXLEY [8] : l'équivalence précédente est vraie pour T > 7/12.
NOTATIONS. - Pour deux fonctions/^) et g (x), la relation/^) ^> g (x)signifie que g (x) == 0 (/(x)).
Remarques. — Soit/une fonction additive. On définit n comme «/-hautement abondant » si (m < n) ==> (f(m) <f(n)). Dans l'article [4] (p. 466,
n° 9), il est dit que « si f(n) ^ c log n, alors les nombres /-hautement
abondants ont pour densité O». Cela n'est pas vrai si l'on choisitf(p) = logp et/Q^) = 0 pour k ^ 2. Les nombres/-hautement abondants
sont les nombres non divisibles par un carré, dont la densité est 6/n2 (cf. [7],chap. XVIII). Cela n'est pas vrai non plus si l'on choisit/(/z) = log npour n impair, et f(n) = 0 pour n pair.
MAUCLAIRE a remarqué, que l'on pouvait déduire immédiatement duthéorème 12 de P. ERDÔS ([6], p. 18), le résultat suivant :Si, pour tout c, on aV

1

Z^/(p)î&clogp-= °0»
P
BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE

68

P. ERDÔS ET J.-L. NICOLAS(c'est-à-dire si / est suffisamment différente de la fonction c log n), alors
les nombres /-hautement abondants ont pour densité 0.
Dans le même article, la table numérique des nombres « o-hautement
abondants» (p. 467) doit être modifiée pour 1800 ^ n ^ 2340 parn1800......
1920......
1980......
2100......
2160......
2340......

facteurs de n

a(n)

23
27
22
22
24
22

6045
6120
6552
6944
7440
7644

32
3
32
3
33
32

52
5
5 11
52 7
5
5 13

2. Nombres colossalement abondants
DÉFINITION. — On dit que N est colossalement abondant, s'il existes > 0, tel que la fonction a(n)/nl+s atteigne son maximum en N.
Remarque. — Cette définition est légèrement différente de celle de [4](p. 455).
Si N est colossalement abondant, on a, pour tout n,
w

oW

o(N_)

14 6

JV 1 4 - 8

n -PROPOSITION 2. — Pour tout e > 0, il existe au moins un nombre colossalement abondant associé à £, que Fon note N^. D'autre part, tout nombrecolossalement abondant est superabondant.
Démonstration. — On sait que— a(n)
yhm ———-— = e7,
n log log n
où y est la constante d'Euler (cf. [7], chap. XVIII). Pour £ fixé, la fonctiona (/0//Z14'6 tend vers zéro à l'infini, et a donc un maximum absolu qu'elle
atteint en un ou plusieurs points N. Un tel nombre est colossalement
abondant.
D'autre part, en utilisant (4), il vient(n<N) =>(^^(^ < C T WV\et N est superabondant.
TOME 103 — 1975 — ?1

n

N \N}

N

)

RÉPARTITION DES NOMBRES SUPERABONDANTS69PROPOSITION 3. — Soit N un nombre colossalement abondant associé à s.
On définît, pour p premier et a entier ^ 1 :^,, _ log(l+(l/(^+p c { - l + ... +?)))_ log^1-!)/^4-1-?))
logp
logp

•r Y ^? a/ — ——————————;————————————— — ———————;———————————— ,^ 7?OMr a = 0, F (p, 0) = +00. ^tor5' si p est premier et divise N avec
l'exposant a ^ 0, on a(5)

F(p,a)^£^F(p,a+l).

Démonstration. — Si a > 0, on applique l'inégalité (4) avec TÎ = N p .
Il vient :(6)^^Y^pCT(N)V ^/D'autre part,a(Np)^a(^^^l^ /
a(N)
aC^)
p^ 1 -! 'V

1yp-^+.-.+py

En comparant (6) et (7), on obtient s ^ F Q ? , a + l ) . L'inégalitéF(^, a) ^ s est évidente si a = 0. Si a ^ 1, on la démontre en appliquant (4) avec n = Nfp.
DÉFINITIONS. — On pose, pour p premier,^={F(p,oc);oc^l},
E = Uppremier^p = {Si, ^ • . - , S,, . . . }.

Pour tout T| > 0, il n'y a qu'un nombre fini d'éléments de E supérieurs
à T|, et l'on peut ranger les éléments de E en une suite décroissante£1 > £2 > • • • > ^ > • • • •On pose SQ = +00.
Pour s > 0, on définit x == x^ y = x^ x^, pour k ^ 2, comme fonctions
de s, par/log(l+(l/x))_lr (x, 1J ~ ———————- — s,
f8)

'

gx

) pr(Xfe,/c;—————————————=( x k\- log (1 +(1/(^+__^))) g.
\log^feBULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE^P. ERDÔS ET J.-L. NICOLAS

Ces définitions ont un sens, car, pour k ^ 1, la fonction t ^ F ( t , k )est décroissante pour tout ^ 1, et décroît de +00 à 0. On a de plus,
pour /: fixé, lorsque s -. 0 (cf. démonstration du lemme 2) :(9)

x.-Vfoc;

PROPOSITION 4 :(a) 5ï s ff: E, la fonction a (n)/n1+s atteint son maximum en un seul point N
dont la décomposition en facteurs premiers est(10)

N^rLP^

avec^(O^r 10 ^^" 8 - 1 ^^-^-!

L

logp

_|

OM, si Von préfère,(11)

I ^(s) = ^ 5f x^+i < p < xj,(^o^(e)=0avec

k^1

5f j ? > x = x i .

(è) ^o^ i ^ 1; ^o^ ^î^ s e)e,-i, 8,(, ^ ^ cw^û^ ^ ^a/ (^r ^nition) à N^. Z^ nombres N^ sont tous distincts.
(c) Si les ensembles Ep sont disjoints deux à deux, l'ensemble des nombres
colossalement abondants est égal à l'ensemble des nombres N,, 1 ^ i :La fonction o-Oz)//?14'61 atteint son maximum aux deux points N, et A^.+i.
(d) Si les ensembles Ep ne sont pas disjoints, pour chaque £;e E n Ey,
la fonction a^)//?14"^ atteint son maximum en quatre points : N,, qN,,
r N, et Ni+1 = qr N,. Les nombres q N, et r N, sont colossalement abondants.
Démonstration :(a) Soit p un nombre premier fixé. Comme s ^ E, alors s ^ Ep et, commela suite F ( p , k) est strictement décroissante en k, il existe a unique, déterminé par la proposition 3 :(12).o^"-W(.--l)).^^,^
logp

En résolvant en a les inégalités (12), on trouve la formule (10), en désignant
par [x\ la partie entière de x.
TOME 103 — 1975 — ?1

RÉPARTITION DES NOMBRES SUPERABONDANTS

71

Si Xfc+i < P < x^ en tenant compte de (8) et (12), on a
F(^+i, a) > F ( p , a) > F^+i, fe+1)= s = F(x,, /c) > F(p, a+1) > F(Xk, a+1),
ce qui démontre (11).
(b) Les raisonnements précédents ne changent pas lorsque s varie entre
deux valeurs consécutives de l'ensemble E.
(ç) Choisissons s = e; = F(q, P). Pour p ^ q, sff:Ep, et l'exposantde p est déterminé par (11) ou (12). D'après la proposition 3, l'exposantde q peut être choisi égal à P ou P— 1. Dans le premier cas on trouve A^+i,dans le second N^ et la fonction aÇr^/n1'^61 atteint son maximum en ces
deux points.
(d) Soit s = F{p, a) e E. Alors s est irrationnel. Si l'on avait s = a/b,
a et b entiers, on aurait p" = (l+(l/(^ a +... +P)))11 avec p" entier et(l+(l/Cp a +...+;?))) b non entier. D'après le théorème de Gel'fondSchneider (cf. [9], chap. 2), £ est même transcendant.
Du théorème 1 de LANG (cf. [10], et aussi [9], chap. 2), on déduit que,sip, q, r sont des nombres premiers distincts et sip6, q6, r6 sont algébriques,alors s doit être rationnel. Mais si £ e Ep, p6 est rationnel, et on conclut
que Ep n ^ n E, = 0.
S'il existe deux ensembles Eq et Ey non disjoints (ce qui est peu vraisemblable), et si l'on choisit£,=Fto,P)=F(r,y)e£,n£,,pour7? 7^ q et p ^ r, l'exposant de p est déterminé par (11) ou (12). L'exposant de q peut être P ou P — l , celui de r, y ou y—1, d'après la proposition 3, ce qui donne les quatre possibilités annoncées.
TABLES NUMÉRIQUES. — Le tableau 1 donne les valeurs de F (p, a).
Les valeurs non indiquées sont inférieures à 10"5. Les colonnes« exposant = i » indiquent l'exposant de p dans Ng. Ainsi, pour £ = 0,005,
pour p = 7, on a0,00129 < £ < 0,0910,
donc l'exposant de 7 dans TVg est 2.
BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE

72

P. ERDÔS ET J.-L. NICOLAS

TABLEAU I
Exposants = C3

]1

1
Î

23

A\

a.............

a== 1

a=2

a == 3a=4

a=5

2..................
3..................
5..................
7..................
11..................
13..................
17..................

0,58496
0,26286
0,11328
0,068 62
0,03629
0,028 890.020 17

0,22239
0,07286
0,020 37
0,009 10
0,003 15
0,002 140.001 15

0,099 54
0,02305
0,00400
0,001 290.000290,000 160.000070 , 04.7\n l ^1
j1
0,007 55
0,000790,00018
0,000030,00001

0,023 08
0,00250
0,000160,00003p

TABLEAU II
Exposants
k^l

k=2

k=3

Â:=4

k=5

2....
3....
5....
7....
11....
13....
17....

3,29
6,72
16,8
31,4
73,4
100,9
168,8

5,44
15,38
60,50
153.9
554,9
897,2
1951,4

9,08
36,3
230,4
812,8
4580,68743,524842,7

15,36
88,57
920,5
4531,540080,390404,7335898,5k=9

k== 10142,43919,7255,410507,9Exposants =67

À: ==6

A:=7^ = 2 . . 26,3
^ = = 3 . . 221,7

567.6

45,7

| Â:== 880,2
1 480,4

Le tableau II donne dans sa Â:-ième colonne des valeurs de x en fonction
de Xk (x et ^ étant définis par (8)), lorsque Xj, est un nombre premier.
Elle est obtenue à partir du tableau 1 par l'application v^1 siv(x) = F(x, 1) = log(l+(l/x))/logx.
TOME 103 —— 1975 —— N° 1

RÉPARTITION DES NOMBRES SUPERABONDANTS

73

L'ordre de ses termes est donc inversé par rapport à celui dela table 1. Elle permet de trouver les nombres colossalement abondants
de plus grand facteur premier p donné. Pour avoir p = 97, on doitchoisir 97 ^ x ^ 101 = nombre premier suivant 97, et l'on trouve
2 8 .3 5 .5 3 .7 2 .11 2 .13.17...97

pour x < 100,9,2 8 .3 5 .5 3 .7 2 .11 2 .13 2 .17...97

pour x > 100,9.

et

Le tableau III donne la suite des nombres colossalement abondants.
On trouvera dans [4] une table des nombres superabondants.
TABLEAU III

6l

^

£2 ==
83 =
S4

=

65 ==
SA
==
~6
67

=

Sg

==

£9

=

£io ==
£
1
1

=

£l2 =

£13 =
£14 =

0,58496
0,26286
0,22239
0,11328
0,099 54
0,07286
0,06862
0,04731
0,03629
0,02889
0,023 08
0,023 05
0,02037
0,020 17

1
2
2 3
4 3
4 3 5
8 3 5
8 9 5
8 9 5 716 9 5 7
16 9 5 7
16 9 5 7
32 9 5 732 27 5 732 27 25 7
32 27 25 7

11
11
11
11
11
11

13
13
13
13
13

17

o(n)

a (n)ln

1
3
12
28
168
360
1 170
9 360
19 344232 128
3 249 792
6 604 416
20321 280
104 993 280
1 889 879 040

1
1,5
2
2,333
2,8
3
3,25
3,7143
3,8381
4,18704,5091
4,58184,6993
4,85595,1416

3. Étude des nombres superabondants compris entre deux nombres
colossalement abondants consécutifs
PROPOSITION 5. — Soit N un nombre colossalement abondant associé à e.
On définit x et x^ par (8). Soient p le plus grand facteur premier de N, et P
le nombre premier suivant p. Soit n un nombre superabondant compris
entre N et NP, et soit \ le plus grand nombre premier divisant n avec
BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE

74

P. ERDÔS ET J.-L. NICOLAS

F exposant k. On a
(13)^)-7T(^) = O^X,) = 0(^2),

c^ gMf entraîne, d'après le lemme 1, 7?oMr T > 7/12,(14)^=^+0%).

Démonstration. — La démonstration est la même que celle de la proposition 4 de [12] (p. 120) : Pour un entier M quelconque, on définit le« bénéfice » de M, par rapport à N et à s, par,,,,, M , a(M)/M
bén M = slog— —log——-—,N
G(N)INet par (4), on a bén M ^ 0. Ensuite, on montre que, pour un nombre superabondant n compris entre N et NP, on ab é n n = o(1-}.

W
Enfin on montre que, si n (X^—TT (x^) était trop grand, bén n serait trop
grand, et on n'aurait pas bén n = 0 (l/x).
Remarquons que le nombre colossalement abondant suivant N est ^ NP
et donc, pour tout nombre superabondant n, il existe au moins un N colossalement abondant tel que N ^ n < NP.
4. Démonstration du théorème 1
La démonstration du théorème 1 repose sur trois lemmes.
LEMME 2. — (lemme technique) :(a) II existe une seule fonction y (x) vérifiant y S? 1 pour x ^ 1 et définie
par la relation implicite(15).^^W+d/^+^^logd+d/x))^^^^ ——^\0gylogX(é) Quand x —> oo, on a ^ ^ ^/2 ^ et aussi.1^
log2 +———————+o[l o g 2 ( 4 + 3 1 o g 2 ) / ———1 \\ .
(16) y Ç^x ) = ^v/A~^i
2 x [ 1-——V
21ogx
8(logx)2
Viogx)2;;
TOME 103 — 1975 — ?1

RÉPARTITION DES NOMBRES SUPERABONDANTS

75(c) La fonction 9 (x), définie par
9 (x) = logj;(x) = loë(l+(l/(^+j0))
logx
logx

(17)

est décroissante pour x > 1. On a, pour x—»oo,
(18)

-log2
9'(x)~——- ë —2
2x(logx)(19)

9 ( x ) = l + 1 ^-J^^f-J-A
2 2 logx 2(logx)2\(logx)2/

LEMME 3. — (lemme d'approximation diophantienné). — Soient a > 0
et P > 0, tels que 2 a+ p < 1. Pour Xy assez grand, il y a plus de Xo/(3 log Xy)
nombres premiers p entre Xy/2 et Xy vérifiant(20)

3r/seQ,s < x^etxl^\Q(p)-^\^-L,

XQ

S

SXo

où 6 (p) est défini par (17).
LEMME 4. — Soit p un nombre premier vérifiant le lemme 3 avec
P > (l+ï)/2. Soient ^ - (log (1 +(l/p))/logp et N = N^ le nombre colossalement abondant associé à s (donc le plus grand facteur premier de N
est p ) et soit P le nombre premier suivant p. Soient n et n' deux nombres
superabondants consécutifs vérifiant N ^ n ^ NP. Il existe une constantec > 0 telle que(21)

1"^H-—.
,..
/1^~-\Cn(log n)0

Démonstration du lemme 2 :(a) Pour y > 1, la fonction u ( y ) est strictement décroissante, commequotient d'une fonction décroissante par une fonction croissante. Elleadmet donc une fonction réciproque u~1, définie sur )0, +oo(. Commeu(y) = v (x), on ay^u-^vÇx)).

(b) Quand x -—> oo, on a iim y (x) = +00, v (x) ^ l / ( x log x) etu ( y ) - l/(^log^).
On doit donc avoir(22)/ log y ^ x logx,

BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE

76

P. ERDÔS ET J.-L. NICOLAS

ce qui entraîne log (y2 log y ) ^ log (x log x), soit log y ^ 1/2 log je,et (22) donne alors ^ ^ ^/2 x
Pour trouver un développement limité de y, définissons Ç (x) par larelation^logÇ =.?clogx.
On a, pour x —> oo, Ç (x) ^ ^/2~;c et^.logd+d/^+O)), 1logÇÇ'IogÇ
=

1

xïogx

/ 1 ^
^^logÇ/11+of^=p(x)+ofV[x^logx) w{x^logx)

On a donc(23)« (Q - u (y) = 0 (————}.
\x-"~ïogx/On a d'autre part(24)

u (0 - » (y) = (Ç -j0 «' (Ç) avec Ç entre Ç et y,et(25) »- (r) - ~[(2y +lmy2+ y +1)(y +1)) log y2+log(1+(lKy2+ y)))]y(^ëy)

2f^/ —• ___3
y log yComme y ~ Ç ~ ^/2 x, (23) et (24) donnent(26)^(x)=Ç(x)+0(l).

Le^développement limité de Ç (x) s'obtient par itération :Ç(x)==^/2x (l+o(l)),
logÇ = -logx+- log2+o(l),Ç = J^,10^ = V2x/(l+(log2/logx)+o(l/logx))
V logÇ
=72.fl-l^g^+of-^-)VY
21ogx\ïogx}}TOME 103 —— 1975 —— ?1

RÉPARTITION DES NOMBRES SUPERABONDANTS

77

En itérant à nouveau, et en utilisant (26), on obtient (16).
(c) On a(27)

6' (x) = ^^g^^/^-^^g^x^(logx)2_(lKx+l))-((2y+l)l(y+l)(y2 +y+l))|M'(30|^(logx)2

la valeur de u' ( y ) est donnée par (25), et le dénominateur de 9' (x) est
équivalent à (2 x (log x)2)/^2 log y) - 2 log x. Le numérateur vaut
1 _
2y+lx+1 (^+1)0^+^+1),wr)-^<,(4)x Yx 2 / ^2 vyy=Vz 2 -2^+o^J-^=r 21 ^s 2 +of-J—^
A^;

Yx 3 7 2 ^y^ogx\x(logx)2)9

en tenant compte de (16). Cela démontre (18).
Il reste à montrer que 9' (x) < 0 pour x > 1. Par (27), on doit montrer•^ > (y2 (j+^O/C^+l), c'est-à-dire, comme u est une fonction décroissante, que^.»^(^)

c'est-à-direlog(l+((2y+ï)ly\y+2)) _ logO-Kl/O^+jO)) ^ glog(^((y+2)/(2^+l))log^
Posons(POO = log(l-^4^+-)log3.-log(l+——-)log^2^+2V\r(y+2)/\

r+j'/\ 2^+17

En décomposant le dernier logarithme, et en regroupant les termesen ïogy, il vientl<poo = log(fiy±\log(l+-l-\-iogj.iogfi+—V
V y+2 )
\ y +y)\ (y+1) }2

BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE

3

78

P. ERDÔS ET J.-L. NICOLAS

Quand ^ e ( l , +ooG 1+1/(^+^) e)l, 3/2) et, par la concavité de lafonction logarithme sur l'intervalle (1, 3/2], on a
210
logfl4-———^
^^9
^

V

y ^y)

y^y

y^y

avec a = 0,405 qui est une valeur approchée par défaut de log 3/2.
En utilisant les inégalités valables pour tout u > -1,-^-^log(l+M)^M,
1+u
on obtientlog2^^^+2 2j.+let

1ngfl+_^1ë^0^1)3^+1)3'

ce qui donne, pour (p(y), la minoration valable pour ^ > 1,(28)

çM^f^-y^-J^^.L-^,)
3
3 w^.^lA;^/ (j'+i) ^+l) • 'avec <|/ O/) = 2 a (0-1) (^+1)2)^^ (2y+ l))-log .»/. En posant y = l+t,
il vient^jo^^^-2^!2^ -iog(i+o.
((+1)(2(+3)ëv/

En dérivant, on trouve^'(1+0=P(0_2(t+l) (2t+3)2'

avec

P(t)=4a( 4 +(20a-4)( 3 +(42a-16)^ 2 +(48a-21)(+(24a-9).
Comme a = 0,405, on aP(ï) = 1,62 î4 +4,1 (^ 1,0112-1,56 î+0,72.
Le trinôme 1,01 t2-!^ t+0,72 a un discriminant négatif, donc P ( t )est positif pour / > 0. On en déduit que <)/ (y) est croissante pour y ^ 1
et, comme ^ (1) = 0, que i|/ 0) est positive pour y ^ 1, et donc aussi (p (y)par (28), ce qui achève la démonstration.
TOME 103 —— 1975 —— ?1

RÉPARTITION DES NOMBRES SUPERABONDANTS

79

Démonstration du lemme 3. — D'après un lemme de Dirichlet (cf. [13],chap. 5, ou [7], chap. 11), étant donnés un réel î; quelconque et un nombre
A > 1, il existe une fraction r / s , avec s ^ A telle que [ ^—(r/s) [ ^ 1/s A.
Posant ici Ç = 9 Çp) et A = x^ on obtient9(p)SXn

D'après le lemme 2, la fonction 9 (x) est décroissante. Pour chaquefraction r / s comprise entre 9 (oo) = 1/2 et 9 (1) = (log 3/2)/(log 2) = 0,585...,il existe une seule valeur x^s telle que 9 (Xy^) = rjs. Soit P' > P tel que
2 a + P ' < 1. Pour chaque fraction r / s telle que ^ ^ ^ et telle que
XQ/2 ^ x^s ^ -^o? on retire, autour de x^^ une zone x—x^
En dehors de cette zone, on aurae^-^s ^

X———Xy^

^

Y^
^0

Y^
^ ^0

9'(Ç)| ' XoQogXo) 2 "^c-^ s <x§',
Dans chaque zone x—x^s\<^? il y a au plus x^+1 nombres
premiers, et comme s ^ x^, il y a au plus x^ zones. On retire donc
0 (^a+p') nombres premiers. Comme 2 a + P ' < 1, il reste donc plus
de XQ/(3 log Xo) nombres premiers pour lesquels (20) est vérifié.
Démonstration du lemme 4. — Soient p^ et q^ les plus grands nombres
premiers divisant n avec les exposants 1 et 2. Désignons les nombres
premiers successifs entourant p^ et q^ par• • . > P3 > Pi < Pi < PI <PI < PS .. .
. . . < ^3 < ^2 < ^1 < 6l < 02 < 03 . . •On applique la proposition 5 avec ^i = p^ À^ = q^ et x = p (par (8)) :(29)p^x+O^x),et, à cause de (8) et (15),(30)

q, = x^+ O(^) = j^+ 0(V}0.

Si l'on choisit /- < x^ftogx, on aura, d'après le lemme 1,(31)

Pr-Pi+OÇp\)=x+OÇx^

BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE

80

P. ERDÔS ET J.-L. NICOLAS

etp,=x+0(x^De même, si l'on choisit s < y ^ / l o g y , on aura^=^+W)

etQs=y+OW.
k ,Avec la proposition 5, et comme par (9) Xjç /-^/^ ^ / k x , on voit que, pourr < xVlog x et 5' < y^/iogy, les nombres premiers q^ ... q^ vont diviser navec l'exposant 2, les nombres gi . . . Qs,pi ' - - Pr avec l'exposant 1.
On prend pour r et s les valeurs fournies par le lemme 3. CommeP > (l+ï)/2, on a a < (1-P)/2 < (l-ï)/4, et comme T > 1/3, il s'ensuitque^
S ^X^Q==>

5 < ———.

logy

Si r/5' > 6 (p), on considèren, = n Pr..^^i ... ^(32)

Si r/5- < 9 (^), on considérerait de même n^ = n ((Qi ... Qs)/(Pi ' ' • A-))î
les raisonnements seraient tout à fait semblables. On va montrer que(33)^i)^).
«in

On a1
CT("i)_<ï(")T-rr /"1,. l\rT (^^--^-^^^P.^^^l+d/^+.J_CT(n)(l+d/^n (i+a/^+j'w,-r,/l+(l/P,)\,-r,(l+Q/^+y)))

Y i+(i/^)7(i+(i/(^+gi)))etlog^-log^^+S^
^1
n
avec
^ = .logfl+1)-.logfl+-J-) = ,logfl+IVr-10^) ^4,

\

•»/

\

TOME 103 — 1975 — ?1y +y/\ x/\s logx/

xïRÉPARTITION DES NOMBRES SUPERABONDANTS

81

compte tenu de (15) et de (20), car x = p;^..,.^)-,,^)--B.,^-o(^)
en utilisant le théorème des accroissements finis, (31) et la relation r < s.
On a de mêmeSz = D=tlogfl+ ———) -logfl+ ———\ =o(s)r}=
3 o(\ y+y)\ q'+qj

\y )

s

\

\x^'2)'Les sommes ^ et S^ sont négatives, et S^+S^ = 0 (.y/C^3-^/2). CommeP > (l+t)/2, on a •S'i+5'2+5'3 > 0, ce qui démontre (33).
Majorons maintenant n^n,nl=pl_lL-xr(Y\r (^U^ (y\\n ^...^"/^^TM^^J}

On alog'^^+Ss+Sfi,»
avec

S, = riogx-slogj. = slog^f-'-10^') ^ !0^,\s logx/x^^ =K^ log^ = E^ logfl +p^) = of^) = of^_\
x
V
^ )
\xJ
\x^)'
S6=-^,log^)=-^.logfl-^Y^=of^=of-^_^
2
ly)

\

^ /

\x^' )'

ce qui donne(34)log^ = ofi0^.') + ûf-^U = 0^^
[ ^ )[x^2) ^J9

pour tout c < min (a, ((1 -r)/2)-a). En choisissant a légèrement inférieurà (1-T)/4, et p légèrement supérieur à (l+r)/2, on peut prendre, pour c,toute valeur inférieure à (l-ï)/4 = 5/48.
BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE

fi

82

P. ERDÔS ET J.-L. NICOLAS

Maintenant, par (33), on a (^(n^/n^ > (a(n))/n; d'après la définition
des nombres superabondants, cela entraîne n < n' s$ n^, donc, par (34),que^"-o(±\
n\xo/Comme par (2) et (29), on alogn- pi ^ p=x<xo,
on obtient (21), ce qui démontre le lemme 4.
Démonstration du théorème 1. — Soient X assez grand, et NQ le nombrecolossalement abondant précédent X. Soient SQ associé à No, et XQ défini
par (8). Soient po le plus grand facteur premier de No, et Pô le nombre
premier suivant po. On a
JVo^<M)Po,par (11) :PO^XQ< Pô,et par (2) :po^ Po~logNo.
On a donc(35)

Xo-logNo-logZ.

On conserve les notations du lemme 4. Si p vérifie le lemme 3, on aQÇNP^QÇN^ÇlogNy^x^,
et
QW > 6W)) ^ Epvérifiant le lemme 3 [ô(NP)- <2(N)] ^———c^ ^o.

31ogxoOn en déduit par (35) :ew^c»^_.
loglogZ

Comme cette inégalité est vraie pour tout c < (l—ï)/4, on a aussi,
pour tout c < (l--ï)/4 et X assez grand,
QWXIogZ)^
ce qui démontre le théorème 1.
TOME 103 —— 1975 —— N° 1

RÉPARTITION DES NOMBRES SUPERABONDANTS

83

5. Nombres sans cube superabondants
DÉFINITION. - Soit a* (n) la fonction multiplicative qui vauta* O») = aO") si a ^ 2, et cr* (^a) = 0 si a ^ 3. On dit que n est un
nombre .swz5' cube superabondant si^^(36)m < n =>

cr*(m) a*(n)——-/ < ——-^
mn

Cette définition est équivalente à la suivante. Soit ^ l'ensemble desnombres entiers non divisibles par un cube. On dit que n est un nombre« sans cube superabondant », si n e ^ et si m e ^,m<n =>

a (m) a(n)——-<——Z.
mn

Les propriétés de ces nombres sont très voisines de celles des nombres
superabondants. Si n* est un nombre sans cube superabondant, ets'écrit n^ == n^, on a (cf. proposition 1) :2 ^ OC^ ^ 03 ^ . . . ^ OCp.

Un tel nombre dépend donc de deux nombres premiers, q (le plus grandtel que oc^ = 2) et ^ (le plus grand diviseur premier).
On définit sans difficultés les nombres « sans cube colossalement
abondants ». Pour e > 0, il existe N\ en lequel la fonction (a* (n))/(nl+ïi)
est maximale. Si T est l'application de N —^ '€, définie parnni^-snp"110^2^
on a N^ = T(Ay. Mais il n'est pas vrai que « n superabondant » => « T(n)sans cube superabondants». Enfin, la proposition 5 s'adapte aisément
aux nombres sans cube superabondants. On pose :g* (X) = card { TÎ* s$ X, n^ sans cube superabondant}.
La démonstration du théorème 1 est valable, puisqu'on ne considère
que les nombres divisant le nombre superabondant n avec un exposantégal à 1 ou 2. On a doncôW^logX)1-1-.
BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE

84

P. ERDÔS ET J.-L. NICOLASTHÉORÈME 2. — Soient n* et n'^ deux nombres sans cube superabondants
consécutifs, on alim"*^!^,^.
nDémonstration. — Soit a entier ^ 6. Il existe, d'après le lemme 2, un
nombre réel x tel que
(37)

9(x)=

logy

a+1

logx

la

On choisit s = (log(l+(l/x)))/log;c, et 7V^ un nombre sans cube colossalement abondant associé à s On désigne les nombres premiers successifs
entourant x et y (définis par (15)) par... p3 < p2 < j?i ^ x < Pi < ?2 < PS • . . ,. . . q3 < <?2 < ^i ^ Y < Qi < 62 < fis • • • •On a

N=N,*=2 2 3...^^ele2...pl,T'I-^^.,2^2

et les nombres sans cube superabondant 72* vérifiant N ^ n* < N x sontde la formen^NQl-^-QS

oun;=Npl——pr,Pi • . . Pr

^1 • • • ^r étant déterminé en fonction de s par la condition N ^ n^ < N x. On a,d'autre part, ^ = (9 (^) par la proposition 5.
Si s ^ 2 a, on a, avec (37),^ol5^- 3;s-2fl1 };2fl 1- ^N ' ^ x^- x^x1'-0-1d'où il vient^r-a ^ ys-2a ^ ^et r-a > 0 c'est-à-dire r > a+1, ce qui entraîne que p ^ p z , ...,A,+i
ne divisent pas n^ Considérons
//-, jPi • • • Pû+in, = n,^r.^aTOME 103 — 1975 — ?1

RÉPARTITION DES NOMBRES SUPERABONDANTS

85

On a, par (37),(38)

n^<n^==n,yeta*(n;)_a*(n,)^^/

11l\^a /

1\^r'"^" "^ ''^y^i+d/ce^+ô.))/d'où l'on tire, par (37) et (15) :(39)<^«) ^ <^) (l+qW)^ 1 _ a*(^)<^ (I+O/O^+JO)) 20n,

Si s > 2 a, on voit, par (36), (38) et (39), que n^ n'est pas sans cube superabondant. On démontre la même chose pour n^ et il y a donc entre N
et N x au plus 4 a nombres sans cube superabondants. En comparant (37)et (19), on alogxa^ ——,
log2
ce qui démontre le théorème 2.
6. Quelques conjectures
II semble difficile de démontrer que l'on a, pour tout n superabondant(avec n' == nombre superabondant suivant n),nf
1. + ————.
—<1n(lognySi le lemme 4 ne s'applique pas, on peut essayer d'utiliser les nombres
premiers autour de x^ ~ ^/3 x, mais il est difficile de voir si cela suffità résoudre la question.
Il semble un peu plus facile de montrer que Q (X) ^ (log X)0'.
On peut s'intéresser aux nombres M^ où la fonction (a (n))/(n (log n)^)atteint son maximum. Les nombres M^ sont superabondants, mais il est
difficile de les étudier, car la fonction log n n'est pas multiplicative. Il serait
intéressant de savoir si les M^ sont colossalement abondants.
BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE86

P. ERDÔS ET J.-L. NICOLAS

Les nombres superabondants, et les nombres hautement composés, sontdes nombres qui ont beaucoup de diviseurs. On peut définir d'autres
fonctions pour estimer si un nombre a beaucoup de diviseurs :1° Soit dn le plus petit diviseur de n pour lequel on a(40)

Lqn^^n.

On pose/Qî) = n/d^ Si n est déficient (c'est-à-dire si or (n) < 1 n), on ad^ = n et f(n) = 1. On peut montrer que, pour s > 0 et n > rio (s), on a/(nKexpQ+e)10^10^,
log4n
et qu'il y a une infinité de n vérifiant/(^expQ-s)10^10^.
log4U

Pour démontrer ces formules, on remarque que l'on a^ d | w . d ^ / ( « ) — ^ l»ace qui entraîne
-L/(n)^d<nX^(^)—^ l?

aoù J^ est l'ensemble des nombres qui ont mêmes facteurs premiers que n,
et % sa fonction caractéristique. On évalue cette dernière somme à l'aide
du résultat de DE BRUIJN [1] : T| étant donné, pour x > XQ (r|), le nombre
d'entiers d ^ x, composés de nombres premiers s$ x1^, est compris
entre x/Çkl)1-^ et x/Çkl)1^, ceci pour k = k(x) < ^/log x.
2° Soitg(n)= max - (L,|^^).
Kw^n mOnag(n) ^ G (n)/n, avec égalité si n est une puissance de nombre premier.
Quel est l'ensemble des n pour lesquels g(n) = a (n)/^ II semble quecet ensemble ait pour densité 0, et que l'on ait lim 1/A'^i g(n) = oo.
Il est même probable que l'on ait lim g (n)/n = oo pour presque
tout n (cf. [16]).
TOME 103 —— 1975 —— N° 1

RÉPARTITION DES NOMBRES SUPERABONDANTS

87

On peut introduire la fonction A (n), une des valeurs de m pour laquellele maximum est réalisé :g(n)= TT——CL^A». d^A (n) d)-

A 00

On a lim A (n) = + oo, mais, pour tout c > 0, lim A (n)/^ = 0. Probablement, la densité des entiers vérifiant A (n) < rf est une fonction de a.
La fonction g est supermultiplicative :((ni, n^) = 1) => (g(ni ^2) > ^(^1)^(^2))Pour obtenir de grandes valeurs de g (n\ il faut choisir des nombres nayant beaucoup de diviseurs entre m/2 et m. On a en effet :-g(n)^maxi^^-(^i^/2<^m^)^002
m

Soit à (n) le nombre de diviseurs de n. Pour un certain m, il y a au moins(rf 00 log 2)/log n diviseurs de n entre w/2 et w, et cela montre que

^

ww
2

.

logn

Soit n = 2, 3, ..., pk le produit des /: premiers nombres premiers. On saitque k ~ log n/log log TÎ. Si rf est un diviseur de n, log d est la somme de kvariables aléatoires prenant les valeurs 0 ou log/?»; d'après le théorème
central limite des probabilités, il y a plus de c^ d (n) diviseurs de n dansl'intervalle/~»1^,C2 V log n log logn•\/ nf e

9/„ ^-2 Viogn log logn

\ "' ^

9et, en reprenant le raisonnement précédent, on en déduit que
gW^^00
log n log log n

D'autre part, le théorème de Sperner dit (cf. [15], et [3], tome 2, p. 114) :dans un ensemble à n éléments, si des parties A^ ...,^(fc sont telles
BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE^P. ERDÔS ET J.-L. NICOLAS

qu'aucune d'entre elles n'en contient une autre, leur nombre h vérifie :h<U^]} Le nombre maximal de diviseurs de n = 2, 3, .. .,^ compris
entre m/2 et w est donc majoré par f ^ -2 A cela montre que

VIA/ .!/

gÇnKc^n)/10^".
V lognLe théorème de SPERNER a été généralisé par DE BRUIJN [2], si" = PÏ1?? ' ' ' . P Ï la P^s grande famille de diviseurs de n, tels qu'aucun
d'entre eux n'en divise un autre, est obtenu en considérant les nombresn?=i^O^p^a,

etE^,P,=^E^,an.

3° Soit h(n)=^^^d. On a h (n) ^ (d (n)/2) ^/n, et on peutmontrer que h (n) = o (^ (n) ^/n) avec le théorème de SPERNER ou sagénéralisation. Pour tout s > 0, on a, pour n = 2, 3, .. .,7^ assez grand •———-> ^(1 -e) (logn/log logra)^/n "Montrons un résultat un peu faible :Soit^? un nombre premier assez grand, et soit^ = p, p^ p^ ..., p^ = q
les nombres premiers suivante. On choisit k = O173^ log^]. On a, d'après
le lemme l,q ^ p+p\ ce qui entraîne ^ - pk. On pose : n = p ^ p ^ ... p^
11 y a2 ( k ) façons d5écrire n = uv,u < v,uetv ayant chacun À; facteurs
premiers, et l'on a toujours
Mj^ 1' ^ T ^ ~ pour p assez grand.

^n

^

2

On a
, , . . \(îk\Jn

..

^^UT-

"p -

d'où
p-(logn) 3 ,

fe^

logn
ôloglogn

et h (n) ^ 2^/3 - £ ) W^ ^ pour 72 assez grand.
TOME 103 —— 1975 —— N° 1

RÉPARTITION DES NOMBRES SUPERABONDANTS

89

L'étude des grandes valeurs def(n), g (n), h (n) nous amène à considérer
les nombres /, g ou h hautement abondants (voir Introduction). On peutespérer montrer qu'à partir d'un certain rang, ces nombres sont divisibles
par n'importe quelle puissance de nombres premiers, mais il semble difficile d'en dire plus.
On peut étudier les nombres pour lesquels l'inégalité (40) est une égalité,
c'est-à-dire les nombres n tels qu'il existe m avec,

E. \n^d^md=n

ou encore

yn

1

(jCn)

,

Edin.d^ -=-^--1.
dnLorsque m' = 1, on trouve les nombres parfaits (a(n)=2n).
Les autres nombres de ce type inférieurs à 106 sont, avec entre
parenthèses la valeur correspondante de G (n)jn, 24(5/2); 2016(13/4);
8 190 (16/5);
42 336 (85/28);
45 864 (85/28);
392 448 (37/12)
et714 240 (143/40).
BIBLIOGRAPHIE[1] BRUIJN (N. G. De). — On thé number of positive integers ^ x and free of prime
factors > y, Indag. Math., t. 13, 1951, p. 50-60.
[2] BRUIJN (N. G. De), TENGBERGEN (C. Van E.) and KRUYSWIJK (D.). — On thé set
ofdivisors of a number, Nieuw Arch.f. Wisk., Ser. 2, t. 23, 1949-1951, p. 191-193.
[3] COMTET (L.). Analyse combinatoire, Volumes 1 et 2. — Paris, Presses Universitaires
de France, 1970 (Collection SUP. « Le mathématicien », 4 et 5).
[4] ERDÔS (P.) and ALAOGLU (L.). — On highiy composite and similar numbers, Trans.
Amer. math. Soc., t. 56, 1944, p. 448-469.
[5] ERDÔS (P.). — On highiy composite numbers, J. of London math. Soc., t. 19, 1944,
p. 130-134.
[6] ERDÔS (P.). — On thé distribution function of additive functions, Annals of Math.,t. 47, 1946, p. 1-20.
[7] HARDY (G. H.) and WRIGHT (E. M.). — An introduction to thé theory of numbers,
4th édition. — Oxford, Thé Clarendon Press, 1960.
[8] HUXLEY (M. N.). Thé distribution of prime numbers. Large sieves and zéro density
theorems. — Oxford, at thé Clarendon Press, 1972 (Oxford mathematical
Monographs).
[9] LANG (S.). -- Introduction to transcental numbers. — New York, Addison-Wesley,
1966 (Addison-Wesley Séries in Mathematîcs).
[10] LANG (S.). — Nombres transcendants. Séminaire Bourbaki, 18e année, 1965-1966,
n° 305. 8 p.
[11] NICOLAS (J.-L.). — Ordre maximal d'un élément du groupe Sn des permutationset « highiy composite numbers », Bull. Soc. math. France, t. 97, 1969, p. 129-191(Thèse Se. math., Paris, 1968).
BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE

90

P. ERDÔS ET J.-L. NICOLAS[12] NICOLAS (J.-L.). — Répartition des nombres hautement composés de Ramanujan,
Canad. J. of Math., t. 23, 1971, p. 116-130.
[13] RADEMACHER (H.). — Lectures on elementary number theory. — New York, Blaisdell
Publishing Company, 1964.
[14] RAMANUJAN (S.). — Highiy composite numbers, Proc. London math. Soc., Séries 2,
t. 14, 1915, p. 347-409; and ^Collected papers", p. 78-128. — Cambridge, at
thé University Press, 1927.
[15] SPERNER (E.). — Ein Satz iiber Untermengen einer endiichen Menge, Math. Z.,
t. 27, 1928, p. 544-548.
[16] Problèmes et solutions, Can. math. Bull., t. 16, 1973, p. 463.
(Texte reçu le 21 janvier 1974.)

Paul ERDÔS,,Magyar Tudomanyos Akademia,
Matematikai Kutato Intezete,
Réaltanoda u. 13-15,
Budapest V (Hongrie)etJean-Louis NICOLAS,
Département de Mathématiques,
U. E. R. des Sciences de Limoges,
123, rue Albert-Thomas,
87100 Limoges.

TOME 103 — 1975 — N° 1