Sminaire Delange-Pisot-Poitou.

Thorie des nombres

E RIC R EYSSAT

Travaux rcents de G. V. Cudnovskij
Sminaire Delange-Pisot-Poitou. Thorie des nombres, tome 18, no 2 (1976-1977),
exp. no 29, p. 1-7.
<http://www.numdam.org/item?id=SDPP_1976-1977__18_2_A10_0>

Sminaire Delange-Pisot-Poitou. Thorie des nombres

(Secrtariat mathmatique, Paris), 1976-1977, tous droits rservs.
Laccs aux archives de la collection Sminaire Delange-Pisot-Poitou. Thorie des nombres
implique laccord avec les conditions gnrales dutilisation (http://www.numdam.org/legal.php).
Toute utilisation commerciale ou impression systmatique est constitutive dune infraction
pnale. Toute copie ou impression de ce fichier doit contenir la prsente mention de copyright.

Article numris dans le cadre du programme

Numrisation de documents anciens mathmatiques
http://www.numdam.org/
Sminaire DELANGE-PISOT-POITOU 29-01
(Thorie des nombres)
18e anne, 1976/77, n 29, 7 p. 13 juin 1977

TRAVAUX RCENTS DE G. V. 010CUDNOVSKIJ

par Eric REYSSAT

Le but de cet expos prsenter une mthode, due G. V. CUDNOVSKIJ, permet-

est de
tant de raffiner les techniques classiques de transcendance..
Cette mthode est employe pour amliorer le rsultat suivant, dcoulant des tra-
vaux de E. G. STRAUS (Cf. [4]).
, ,
,
THEOREME 1. - Soient f une fonction entire dordre fini p , transcendante,
e t K un corps de nombres algbriques. Alors lensemble S~. des points de K en
lesquels toutes les drives de f sont des entiers rationnels est fini et de car-

dinal p[K:Q] .
Ce rsultat a t gnralis par T. SCHNEIDER au cas dune fonction mromorphe
[3].
ailleurs, le problme se posait de savoir si la majoration
Par p~K:;,,~ tait la
meilleure possible ou non. Il est clair quon ne peut obtenir une borne plus petite
que p comme le montre lexemple suivant :

f(z) = exp(P(z - est un nombre algbrique, et P est un polynme

coefficients entiers rationnels et dont les racines x. sont des entiers ration-
nels distincts ; lordre de f est le degr de P , et tous les points Qf +
x. 1
sont dans
SQ(03B1) .
La mthode de CUDNOVSKIJ lui a permis de montrer que ce meilleur rsultat possi-
ble est effectivement le bon :

THORME 2 Soit f une fonction mromorphe dans C , dordre

p , et transcendante. L ensemble des points algbriques en lesquels toutes
SQ
les drives de f sont des e ntiers rationnels est fini et de cardinal major ar
p.
Y

La preuve du thorme 2 donne ici est essentiellement celle de G. V. CUDNOVSKIJ,

lexception de la dernire partie (contradiction).
Lide essentielle de la mthode est de remplacer la classique fonction auxiliai-
re par un systme de fonctions vrifiant des relations de conjugaison, ce qui per-

met de remplacer les majorations triviales des conjugus de certains nombres alg-
briques par des majorations analytiques plus fines.
La dmonstration, par labsurde, comporte trois parties :
-
Construction du systme de fonctions auxiliaires.
-
Mise en vidence dun systme dingalits liant les ordres des zros des fonc-
tions.
-
Contradiction du systme prcdent.

1. Construction des fonctions auxiliaires.

Dans toute la suite, on suppose que les hypothses du thorme 2 sont vrifies,
et que contient points avec n > p . On note K
S~-~. n
... , wn une ex-

tension finie galoisienne de Q contenant les d son degr, G son groupe

w. ,
de Gai ois.

La construction des fonctions auxiliaires utilise la remarque suivante :

Soient deux nombres algbriques, point de et

h1 ~ 2 i~ un
S- 9
P un polynme dans Z~X , Y~ . Pour i = 1 , 2 , on note

On suppose quil existe un plongement g : Q(w , 03BB1 , 03BB2) C tel que

Alors, pour tout entier naturel k,

Dmonstration. - Il suffit de voir que les coefficients de P et les drives de

f au point w sont invari ants par g.

Pour utiliser ce on cherche alors construire une famille (03BBa)a~A cA

de
nombres algbriques vrifiant la proprit suivante :

Si a E A, i ~ ~1 ! n~ et g ~ G , il existe alors un lment a de A tel

que

Il semble donc naturel que les forment ensemble stable par les lments
~a un

de G , et par addition des termes du type t ,~l {~~ _ w..On choisit alors la famille

.~
La. relation ( ~. ~
est clairement vrifie. Plus prcisment, si on note (e 1.~~ la
d
base-. canonique de Znd
",,
alors

o
f. = e. - et g(a) est dfini par ses composantes
En particulier, on a les rgles de calcul videntes suivantes

Enfin, si on riote ~~ ( 9 alors = et 2 .

Le lemme suivant permet destimer la taille de certains nombres algbriques.

 LEMME 1.2. - Soient point de un nombre algbrique, t
w un
SQ , 03BB

un polynme dans Z[Xy Y] de hauteur H . On note

F~(z) =Q(z+~ f(z)) *
Alors, si~
le e~w, ~ ,
2 den(w+ ~) est un dnominateur de F~~(w) ,
telle que
30 il existe une constante
ci ne dpendant que de f , w~j~ ~

Dmonstration. - Les deux premires assertions sont videntes. La troisime rsul-

te de la formule de Cauchy applique r pour l L2 .
On fixe maintenant un entier N suffisament grand devant n ~ d , l/(n - p) ,
H(w.) , et on note L un paramtre suffisament grand devant N pour lgiti- .

la suite de la dmonstration. Les constantes dans la suite ne

mer ... , Cg
dpendent que de N et non de L. On note enfin

Il existe une c ons t ante et un polynme Ilon nul

c~

coefficients entiers rationnels, te l s que, si lon pose F~(z) =

P(z +
~ y f ( z ) )
pour a ~ alors

Dmonstration. - Il sagit dun systme linaire en les

~) . Le nombre

dquations est nL(2N + et le nombre dinconnues est (L1+1)(L2+1) L

Les coefficients ont un dnominateur commun

~1 --
et une maison Lj
c.
diaprs le lemme 1.2 appliqu aux polynmes X Y ~? " . Le lemme de Siegel donne le

rsultat.

Notation. - On notera 1ordre du zro de qui est donc 9 L

u. w.
pour ~a~ N . Remarquons que est fini puisque, P tant non nul et f
ui , a
transcendantey la fonction F
a
est non identiquement nulle, et mromorphe.
Les fonctions F
a
vrifient la proprit de conjugaison suivante :
 LEMME 1.4. - Pour a ~ Znd , g ~ G et le (l , n),

Dmonstration. - Il suffit dappliquer le lemme 1.1 qui montre que, pour

2. Proprits des fonctions auxiliaires et systme dingalits.

des drives peti-

Les fonctions
Pa ayant beaucoup de zros ont ncessairement
tes aux points w. , ce qui est prcis dans le lemme suivant.

LEMME 2.1. - Si N et i E (1 , n) , alors

Dmonstration. - On pose f --
g/h ,o g et h sont entires dordre p .

La fonction G - h L2 je est alors entire, et a au point w. un zro dtordre

s, a J
u ..

~~a
Soit
c 5>,~ 2 + max.
J J
I 9 alors

daprs le formule de Cauchy. On note R =

u1/pi,a ; le lemme de Schwarz montre que

et h sont dordre ,p , la majoration des coefficients de

Enfin, puisque g
P montre que

do le rsultat.

permettent de dduire du len-

Les proprits algbriques des fonctions P a nous

me prcdent le systme dingalits cherch.

LEMME 2.2. - Pour 1 , j e (L , n) et

-
g e G , on note t(1, j,g) = f . - f..
Jg lg

Soit E
= 1 2 (n -p)
d > 0 1 alors

Dmonstration. - Le nombre
.~ !! !!!... t....M..
F ~u. l a ~ w. ~
a 1
tant algbrique, il vrifie, daprs le
lemme 1.4y

lemme 2.1 chaque terme de cette somme, et en utilisant le lem-

En appliquant le
me 1.4, on obtient

daprs le lemme 1.2. Par suite, si L est assez grand,

Or, diaprs le lemme 1.4 employ avec j et

ce qui prouve le lemme.

3. Contradiction.
Posons Y =
dp + E , avec les notations du lemme 2.2. Le systme (S) scrit

avec les quatre conditions suivantes

En itrant ce systme ~l fois, on obtient

 Pour j e [1 , n] et b ~ Znd , notons C(li y i , j , a y b) le nombre de ter-

mes apparaissant formellement dans cette dernire somme.

u. -b
LB.S-IE 3.1. - C(M, i , j , a , b) =C(M , j , i , b , a) .
Dmonstration. - En effet, c(M , i , j , a , b) est le cardinal de lensemble

Inapplication (j. .~. ~ j~_~ ~ g~~

y ..* ~ ~2014~
~M-l ~ " ~ ~1 ~ ~1 ~ "
~1~
est une bijection de E(My i , j ~ a ~ b) sur i~ b, a) diaprs la condition

2 du systme (S), ce qui prouve le lemne.

COROLLAIRE. - e (l , n) ~ b e~ et N ~8M ~ alors

Dmonstration. - En effet, en appliquant deux fois le systme (S~) y on obtient

Y2M u1,0 YM C(N, 1, j, 0, b) 1, j, 0, b) c(M, j , l,b,0) u1,0.

Le rsultat dcoule alors du lemme prcdent.

Le systme (S) est impossible si N est assez grand.

Dmonstration. - Il suffit de montrer que si M est assez grand et N =

8M ,
alors le systme est impossible. Or, le nombre de termes du membre de droite
de
(S,,) est et le nombre dindices distincts (j, b) est major par
n(8M + diaprs la condition 3~ du systme (s). Il existe donc un indice

(j , b)e (l , n) tel que

Le corollaire prcdent montre alors que

ce qui est absurde pour M assez grand daprs la condition 1 du systme (S) .
Cette dernire contradiction prouve que lhypothse n > p est absurde, ce qui
achve la dmonstration du thorme 2.
 29-07

BIBLIOGRAPHIE

[1] BERTRAND (D.). - Equations diffrentielles algbriques et nombres transcen-

dants dans les domaines complexe et p-adique, Thse 3e cycle, Univ.
P. et M. Curie, Paris VI, 1975.

[2] (G. V.). - Arithmetical properties of values of analytical func-

CUDNOVSKIJ
tions (
paratre).
[3] SCHNEIDER (T.). - Einfhrung in die transzendenten Zahlen. - Berlin, Springer-
Verlag, 1957 (Grundlehren der mathematischen Wissenschaften, 81).
[4] STRAUS (E. G.). - On entire functions with algebraic derivatives at certain al-
gebraic points, Annals of Math., t. 52, 1950, p. 188-198.

[5] WALDSCHMIDT (M.). - Proprits arithmtiques de fonctions de plusieurs varia-

bles, II, Sminaire P. Le long ; Analyse, 16e anne, 1975/76 ( paratre).
(Texte reu le 23 juin 1977)
Eric REYSSAT

85 boulevard Brune
75014 PARIS