EMPILEMENTS DE CERCLES

ET APPROXIMATIONS CONFORMES
Yves COLIN DE VERDI
`
ERE *
Institut Universitaire de France
Institut Fourier
Laboratoire de Mathematiques
F-38402 Saint Martin dH`eres Cedex (France)
Frederic MATH

EUS
Ecole Normale Superieure de Lyon
Departement de Mathematiques
46, Allee dItalie
F-69364 Lyon (France)
Abstract. The variational approach previously developed by the rst author to build nite
circle packing immersions enables us to give a method to approximate conformal immersions
of compact regions of the plane, with piecewise ane maps dened thanks to circle packings.
In the case of the complex exponential, there is an exact formula for the radii, and this
gives a new interpretation of the famous Doyle spirals.
Resume. Lapproche variationnelle, developpee anterieurement par le premier auteur pour
construire des empilements de cercles immerges nis, fournit une methode dapproximation
des immersions conformes dun compact du plan au moyen dapplications anes par morceaux
denies `a laide dempilements de cercles.
Dans le cas de lexponentielle complexe, on dispose dune formule exacte pour les rayons,
ce qui donne une nouvelle interpretation des spirales de Doyle.
M.S.C. Subject Classication Index (1991) : 11F72, 11R39, 22E55.
*GADGET
c _ Seminaires & Congr`es 1, SMF 1996
TABLE DES MATI
`
ERES
I. INTRODUCTION 255
II.

ENONC

E DU TH

EOR
`
EME DAPPROXIMATION 256
III. UN EXEMPLE : LA FONCTION EXPONENTIELLE 260
IV. SCH

EMA DE LA PREUVE 261

V. D

EFORMATIONS DEMPILEMENTS DE CERCLES 261

VI. CONVERGENCE DES RAYONS 265
VII. FIN DE LA PREUVE DU TH

EOR
`
EME PRINCIPAL 270
BIBLIOGRAPHIE 271
S

EMINAIRES & CONGR

`
ES 1
I. INTRODUCTION
Repondant `a une question posee par W. Thurston en 1985 (voir [Th]), Burt
Rodin et Dennis Sullivan ([R-S]) ont montre comment les empilements de cercles
permettaient de construire des approximations quasi-conformes de luniformisation
de Riemann dun ouvert simplement connexe borne de C. Leur methode repose sur
un resultat de rigidite, la rigidite de lempilement hexagonal standard (voir [R-S]).
Kenneth Stephenson a considerablement generalise le resultat de Rodin et
Sullivan : la combinatoire des empilements utilises ainsi que les rayons des cercles
sont variables (voir [St] et [H-R]). Il obtient egalement une approximation du module
de la derivee de lapplication uniformisante. Il utilise des methodes probabilistes qui
mettent en jeu des marches aleatoires. Il prouve en particulier une version discr`ete
de linegalite de Harnack grace au theor`eme de recurrence de Poly`a.
Dans [CV], le premier auteur propose une construction dempilements de cer-
cles reposant sur la resolution dun probl`eme de Dirichlet discret. Ce point de vue
fournit une methode dapproximation des fonctions holomorphes dont la derivee ne
sannule pas (voir II). La convergence repose sur lapproche variationnelle developpee
dans [CV] o` u les empilements de cercles sont realises comme points critiques dune
certaine fonctionnelle (voir VI). Les calculs sont notablement alleges par lexistence
dun exemple, la fonction exponentielle, pour lequel les rayons des cercles des em-
pilements associes sont explicitement connus (voir III). Cet exemple a ete decouvert
experimentalement `a la suite de calculs sur ordinateur realises par le premier auteur
et Laurent Guillope. Il avait ete observe, il y a quelques annees, par P. Doyle (voir
[C-R]).
SOCI

ET

E MATH

EMATIQUE DE FRANCE 1996

256 Y. COLIN DE VERDIERE F. MATHEUS
II.

ENONC

E DU TH

EOR
`
EME DAPPROXIMATION
Rappelons la denition dun empilement de cercles. Soit T une triangulation
(nie ou innie) dun disque topologique et S lensemble des sommets de T . Soit
r = (r
s
)
sS
(R

+
)
S
. On munit chaque triangle de T de la metrique euclidienne qui
au cote ss

aecte la longueur r
s
+ r
s
. On obtient ainsi une variete riemannienne
plate `a singularites coniques, notee T
r
(voir [Tr]). Soit s un sommet dun triangle T
de T . Si (s, T) designe langle en s dans le triangle T et si s est un sommet interieur,
alors la courbure en s est
K
s
(r) = 2

sT
(s, T) .
La famille de cercles ( = C
s
, s S, o` u C
s
est le cercle de T
r
de centre s,
de rayon r
s
, poss`ede la propriete suivante : les cercles C
s
et C
s
sont tangents si et
seulement si larete ss

appartient au 1-squelette T
1
de la triangulation T .
Si pour tout sommet interieur s, on a K
s
(r) = 0, alors la variete T
r
est immergee
isometriquement dans R
2
(mais non plongee a priori). On dit alors que ( est un
empilement de cercles de combinatoire T
1
.
Soit U un ouvert de C contenant lhexagone unite H et soit f une fonction denie
sur U, holomorphe, dont la derivee ne sannule pas. On note T
N
(pour un entier
N 1) la triangulation de H par des triangles equilateraux de cote
1
N
, S
N
lensemble
des sommets de T
N
et H
N
lempilement constitue de cercles de rayon
1
2N
et dont les
centres sont les sommets de T
N
. La gure page 223 represente H, T
N
et H
N
pour
N = 3. On observe que la combinatoire de H
N
nest autre que T
1
N
.
On construit un nouvel empilement, note

H
N
de la facon suivante. Il doit verier
les deux conditions i) et ii) ci-dessous :
i) la combinatoire de

H
N
est T
1
N
;
S

EMINAIRES & CONGR

`
ES 1
EMPILEMENTS DE CERCLES ET APPROXIMATIONS CONFORMES 257
ii) les rayons des cercles du bord de

H
N
sont donnes par :
1
2N
[f

(z
1
)[, . . . ,
1
2N
[f

(z
6N
)[, o` u z
1
, . . . , z
6N
designent les centres des cercles de H
N
situes sur H.
Dapr`es le premier theor`eme du 4 de [CV], il existe un empilement de cercles
veriant les conditions i) et ii) ci-dessus, et cet empilement est unique `a isometrie
pr`es.
Notons C
s
N
le cercle de H
N
centre en s
S
N
et

C
s
N
le cercle de

H
N
correspondant `a C
s
N
.
Lempilement

H
N
sera parfaitement determine
si lon exige quil satisfasse la condition suiv-
ante, dite de normalisation :
iii) le cercle

C
0
N
est centre en f(0), et
le cercle

C
1/N
N
est centre sur la demi-droite
f(0) +R
+

(0).
Fig. 1 : H, T
3
et H
3
Dans toute la suite,

H
N
designera lunique empilement de cercles du plan satis-
faisant aux conditions i), ii) et iii) ci-dessus.
On construit maintenant une application f
N
denie sur H de la facon suivante :
limage par f
N
du centre de tout cercle C de H
N
est le centre du cercle
correspondant

C de

H
N
;
on prolonge f
N
`a chaque triangle de T
N
en une application ane.
On notera que lempilement

H
N
est immerge mais non necessairement plonge,
de sorte que lapplication f
N
nest pas a priori injective.
Enn, si z H, on note s
N
(z) un sommet dun triangle de T
N
contenant z,
et r
N
(z) le rayon du cercle de

H
N
correspondant au cercle de H
N
de centre s
N
(z).
Les fonctions f
N
etant anes par morceaux, elles ne sont pas `a proprement parler
dierentiables ; elles ont cependant des derivees directionnelles, ce qui permet de leur
attribuer une dierentielle f

N
(z) qui est une application lineaire par morceaux de
C dans C, homog`ene de degre 1. Sa norme ponctuelle est la borne superieure des
normes des vecteurs tangents unitaires en z. On peut aussi parler de la convergence
SOCI

ET

E MATH

EMATIQUE DE FRANCE 1996

258 Y. COLIN DE VERDIERE F. MATHEUS
C
1
, cest-`a-dire de la convergence uniforme des f
N
et de la restriction des f

N
aux
vecteurs unitaires. Les relations usuelles entre fonctions et derivees (par exemple,
formules des accroissements nis) sont satisfaites. On a le
Theor`eme. La suite des fonctions (f
N
)
N1
converge au sens C
1
sur H vers f.
De plus, on a lequivalent r
N
(z) =
|f

(z)|
2N
+ O
_
1
N
2
_
quand N +, uniformement
sur H.
Remarque. Soit K un compact de C, connexe, simplement connexe, `a bord C
1
et dont linterieur contient 0. Soit f une fonction holomorphe denie sur un voisinage
de K et dont la derivee ne sannule pas.
Soit T
N
(C) la triangulation de C par des triangles equilateraux de cote
1
N
, dont
lensemble des sommets contient 0 et
1
N
. Soit T
N
(K) la sous-triangulation de T
N
(C)
constituee des triangles de T
N
(C) qui rencontrent K. Si N est assez grand, T
N
(K)
est une triangulation dun disque topologique.
Dans ce qui prec`ede et ce qui suit, en particulier dans lenonce du theor`eme, on
peut remplacer H et T
N
respectivement par K et T
N
(K), ainsi que sommets de T
N
sur H par sommets fronti`eres de T
N
(K).
Fig. 2 : approximation de sh(1, 5 z) avec N = 8
Avant de prouver ce theor`eme, examinons un exemple.
S

EMINAIRES & CONGR

`
ES 1
EMPILEMENTS DE CERCLES ET APPROXIMATIONS CONFORMES 259
Fig. 3 : approximation de e
2,8z
avec N = 12.
A
0
C
0
A
1
C
1
A
2
C
2
A
3
C
3
A
4
C
4
A
5
C
5
A
6 C
6
Fig. 4 : autour dun cercle de rayon 1,
six cercles de rayons respectifs
2
, ,

,
1

2
,
1

.
SOCI

ET

E MATH

EMATIQUE DE FRANCE 1996

260 Y. COLIN DE VERDIERE F. MATHEUS
III. UN EXEMPLE : LA FONCTION EXPONENTIELLE
On suppose que f(z) = exp(az) (a C). Le fait davoir alors une formule
explicite pour les rayons est remarquable.
Proposition. Si r
s
N
designe le rayon du cercle de

H
N
correspondant au cercle de
H
N
centre en s, alors r
s
N
=
1
2N
[ae
as
[.
Prouvons cette proposition. Il sut de voir que les rayons des cercles de

H
1
sont
donnes par :
1
2
[a[ (pour le cercle central) et
1
2

ae
ak

, 1 k 6, pour les cercles

peripheriques ( = exp
i
3
). On pose = exp(
1
2
Re(a)) et = exp
_

3
2
Im(a)). Il
sagit de demontrer le fait suivant.
Fait. Il existe un empilement de cercle dont la combinatoire est representee sur la
gure ci-apr`es et dont les rayons sont 1 pour le cercle central, et
2
, ,

,
1

2
,
1

pour les cercles peripheriques.

Dans le plan euclidien, on consid`ere un cercle C
0
de rayon 1, un cercle C
1
de
rayon et tangent exterieurement `a C
0
, un cercle C
2
(resp. C
3
, C
4
, C
5
) de rayon

(resp.
1

2
,
1

) et tangent exterieurement `a C
0
et C
1
(resp. C
0
et C
2
, C
0
et C
3
,
C
0
et C
4
) et un cercle C
6
tangent exterieurement `a C
0
, C
1
et C
5
. On montre que C
6
a pour rayon
2
.
Notons A
0
, . . . , A
6
les centres respectifs des sept cercles C
0
, . . . , C
6
. Les cotes du
triangle A
0
A
1
A
2
ont pour longueurs 1+, +

+1. Ceux du triangle A

0
A
3
A
4
ont pour longueurs
1

+1, 1+
1

2
,
1

2
+
1

. Il existe donc une similitude directe S

1
de
rapport qui envoie le triplet (A
0
, A
3
, A
4
) sur (A
1
, A
2
, A
0
). De meme, on observe
quil existe une similitude directe S
2
de rapport

qui envoie le triplet (A

0
, A
2
, A
3
) sur
(A
5
, A
0
, A
4
). Comme S
1
S
2
(A
3
) = S
2
S
1
(A
3
) = A
0
, la translation S
1
S
2
S
1
1
S
1
2
est lidentite, donc S
1
et S
2
commutent. De plus, S
1
(C
5
) est un cercle de rayon
2
tangent exterieurement `a S
1
(C
4
) = C
0
et S
1
(C
0
) = C
1
, tandis que S
2
(C
1
) est un
cercle de rayon
2
tangent exterieurement `a S
2
(C
2
) = C
0
et S
2
(C
0
) = C
5
. Comme
S

EMINAIRES & CONGR

`
ES 1
EMPILEMENTS DE CERCLES ET APPROXIMATIONS CONFORMES 261
S
1
(C
5
) = S
1
S
2
(C
0
) = S
2
S
1
(C
0
) = S
2
(C
1
), on en deduit que le cercle tangent
exterieurement `a C
1
, C
0
, C
5
, `a savoir C
6
, a pour rayon
2
. Ceci prouve la proposition.
Remarque. Notons H(, ) lorbite du cercle C
0
sous laction du groupe abelien
de transformations anes engendre par S
1
et S
2
, et le centre commun aux deux
similitudes S
1
et S
2
. H(, ) est un empilement de cercles non injectif recouvrant
R
2
. Il poss`ede un releve

H(, ) qui est un empilement bijectif de

R
2

(le revetement universel de R

2
) combinatoirement equivalent `a lempilement
hexagonal standard, car S
1
et S
2
commutent.
IV. SCH

EMA DE LA PREUVE
Dans la section suivante, on realise

H
N
comme le temps 1 dune deformation de
lempilement H
N
.
Dans la section VI, on utilise lapproche variationnelle developpee dans [CV] pour
obtenir lequivalent r
N
(z) =
|f

(z)|
2N
+ O(
1
N
2
). Lidee est la suivante : sachant que la
collection des rayons des cercles de

H
N
est point critique dune certaine fonctionnelle
F, on evalue la derivee de F en la collection
_
1
2N
[f

(s)[ , s sommet de T
N
_
: si cette
derivee est petite, si la derivee seconde de F est grande, on a le resultat. Cest ici que
lutilisation de la fonction exponentielle permet deviter trop de calculs.
Les estimations de la section VI permettent dans la section VII dutiliser le
theor`eme dAscoli pour conclure.
V. D

EFORMATIONS DEMPILEMENTS DE CERCLES

On va construire une famille continue dempilements de cercles H
t
N

t[0,1]
, telle
que

H
0
N
soit isometrique `a H
N
et telle que

H
1
N
=

H
N
, et on va etudier la facon dont
varient en fonction de t les rayons des cercles de

H
t
N
. On pose u
s
N
= log r
s
N
.
Lempilement

H
t
N
est deni par les trois conditions suivantes :
SOCI

ET

E MATH

EMATIQUE DE FRANCE 1996

262 Y. COLIN DE VERDIERE F. MATHEUS
i) la combinatoire de

H
t
N
est T
1
N
ii) le rayon du k-i`eme cercle du bord de

H
t
N
, note r
z
k
N
(t) (1 k 6N), est donne
par
log r
z
k
N
(t) = u
z
k
N
(t) = (1 t) log
1
2N
+t log
[f

(z
k
)[
2N
,
o` u (z
1
, . . . , z
6N
) designe la suite des centres des cercles de H
N
situes sur le bord H
de H.
iii) la condition de normalisation est la meme que pour

H
N
.
Il est bien clair que

H
1
N
=

H
N
. Dautre part

H
0
N
= f(0) +
f

(0)
|f

(0)|
H
N
est
isometrique `a H
N
.
On va maintenant interpreter la famille
_
d
dt
u
s
N
(t)
_
sS
N
comme solution dun
probl`eme de Dirichlet discret.
On note B
N
lensemble des sommets du bord de T
N
et I
N
lensemble des sommets
interieurs : on a S
N
= B
N

I
N
. On note u
B
N
= (u
s
N
)
sB
N
R
B
N
(resp. u
I
N
=
(u
s
N
)
sI
N
R
I
N
) une famille de reels indexee par B
N
(resp. I
N
).
Dans [CV], le premier auteur construit une fonctionnelle F : R
B
N
R
I
N
R
qui poss`ede la propriete suivante : si d
I
F designe la dierentielle partielle de F par
rapport aux variables indexees par I
N
, alors on a d
I
F(u
B
N
, u
I
N
) = 0 si et seulement si la
collection des rayons (e
u
s
N
)
sS
N
denit un empilement de cercles de combinatoire T
N
.
Explicitons la derivee d
I
F. Pour ce faire, `a tout vecteur u
N
= (u
s
N
)
sS
N
, on
associe la metrique euclidienne `a singularites coniques g
u
N
sur H obtenue en recollant
les triangles T de la triangulation T
N
munis de la metrique euclidienne qui donne au
cote ss

la longueur e
u
s
N
+ e
u
s

N
. Si s I
N
est un sommet dun triangle T T
N
, on
note
T
(s) langle en s dans le triangle T et K
s
(u
N
) = 2

sT

T
(s). On a alors
d
I
F(u
N
) =

sI
N
K
s
(u
N
)du
s
N
.
Dans le cas present, pour tout t [0, 1], la collection de rayons (e
u
s
N
(t)
)
sS
N
denit un empilement de cercles de combinatoire T
N
, de sorte que lon a
d
I
F[u
B
N
(t), u
I
N
(t)] = 0 .
S

EMINAIRES & CONGR

`
ES 1
EMPILEMENTS DE CERCLES ET APPROXIMATIONS CONFORMES 263
Par derivation, il vient
d
II
F
_
u
B
N
(t) u
I
N
(t)

u
I
N
(t) +d
IB
F
_
u
B
N
(t) u
I
N
(t)

u
B
N
(t) = 0 ,
do` u
t [0, 1],

sI
N
_

s

S
N
d
c
(s

,s)1
K
s
[u
N
(t)]
u
s

N
u
s

N
(t)
_
du
s
N
= 0
(d
c
designe la distance combinatoire dans le graphe T
N
).
Soit b : B
N
R une fonction numerique. A toute fonction R
I
N
prolongee
par b sur B
N
on associe la fonction
N,t
b
=
b
R
I
N
denie par

b
(s) =

d
c
(s

,s)1
K
s
[u
N
(t)]
u
s

N
(s

) .
Les relations suivantes (o` u lon note s

s pour s

voisin de s)

d
c
(s

,s)1
K
s
(u
N
)
u
s

N
=
K
s
u
s
N
+

s
K
s
u
s

N
= 0 ;
K
s
u
s
N
> 0 ,
K
s
u
s

N
< 0 si s

s ;
K
s
u
s

N
=
K
s

u
s
N
si s

s ,
assurent que loperateur
0
est un laplacien discret sur I
N
, cest-`a-dire un endomor-
phisme symetrique deni positif de R
I
N
.
En resume, le vecteur u
N
(t) = u
s
N
(t)
sS
N
est la solution du probl`eme de
Dirichlet
_

N,t
b
u
N
(t) = 0
u
s
N
(t) = b(s) = log [f

(s)[ si s B
N
.
Notons A =min
zH
log [f

(z)[ et B =max
zH
log [f

(z)[. Linegalite A u
s
N
(t) B est
vraie pour tout sommet s B
N
. Dapr`es le principe du maximum (version discr`ete)
elle est aussi vraie pour tout sommet interieur. On en deduit que, pour tout s S
N
,
A u
s
N
(1) u
s
N
(0) B, do` u, pour tout s S
N
, e
A
2Nr
s
N
e
B
:
Proposition. Il existe deux constantes et ne dependant que de f, telles que
pour tout N, pour tout sommet s S
N
, on ait 0 <
1
N
r
s
N

1
N
.
SOCI

ET

E MATH

EMATIQUE DE FRANCE 1996

264 Y. COLIN DE VERDIERE F. MATHEUS
Cette proposition sera amelioree dans la section suivante o` u lon donnera la limite
de Nr
s
N
. Une consequence est que pour tout N, pour tous sommets s, s

S
N
, on
a

r
s

N
r
s
N

, de sorte que les angles des triangles de

T
N
sont minores par une
constante > 0 independante de N, de sorte que chaque application f
N
envoie des
triangles equilateraux sur des triangles dont la distorsion est uniformement bornee,
do` u
Corollaire 1. Il existe K (ne dependant que de f) tel que, pour tout N, f
N
est
K-quasi-conforme.
Citons enn une autre consequence de la proposition.
Corollaire 2. Il existe deux constantes C et D (ne dependant que de f) telles
que
N, s I
N
, 0 < C
K
s
u
s
N
D et s I
N
, s

S
N
, s

s, 0 < C
K
s
u
s

N
D .
Remarque. La version discr`ete du principe du maximum donne une nouvelle
demonstration du lemme de Schwarz-Pick discret (voir [St]). Soit T une triangulation
dun disque topologique, S (resp. B, I) lensemble des sommets de T (resp. sommets
fronti`eres, sommets interieurs). Soient r = (r
s
)
sS
et r

= (r

s
)
sS
(R

+
)
s
, et T
r
,
T
r
les varietes riemanniennes plates `a singularites coniques denies `a partir de T , r
et r

au debut de la section II.

La triangulation T poss`ede deux realisations geodesiques, dans T
r
et dans T
r
.
On note : T
r
T
r
lhomeomorphisme ane par morceaux qui envoie de mani`ere
ane chaque triangle de T
r
sur son correspondant dans T
r
.
On note enn c
s
(resp. c

s
) le cercle de T
r
(resp. T
r
) de centre s de rayon r
s
(resp. r

s
). On suppose que les familles de cercles ( = c
s
, s S et (

= c

s
, s S
sont des empilements de cercles au sens deni dans la section II.
On a la
Proposition (lemme de Schwarz-Pick discret). Si r
s
r

s
pour tout sommet
fronti`ere s. Alors
S

EMINAIRES & CONGR

`
ES 1
EMPILEMENTS DE CERCLES ET APPROXIMATIONS CONFORMES 265
i) r
s
r

s
pour tout sommet interieur s ;
ii) lapplication : T
r
T
r
augmente les distances.
Preuve. On realise la variete T
r
comme le temps 1 dune deformation T
r
(t),
t [0, 1] de la variete T
r
comme ci-avant. En particulier, les rayons fronti`eres
de T
r
(t) sont denis par
u
s
(t) = log r
s
(t) = (1 t) log r
s
+t log r

s
.
Pour tout t, il existe un laplacien discret
t
sur T (au sens de la section V) tel
que
_

t
u(t) = 0
u
s
(t) = log
r

s
r
s
si s B .
Si u
s
(t) 0 pour s B, alors cette inegalite est vraie pour tout sommet interieur
dapr`es le principe du maximum, donc log
r

s
r
s
= u
s
(1) u
s
(0) 0 pour s I, ce qui
prouve i). Lassertion ii) en resulte aussitot.
VI. CONVERGENCE DES RAYONS
Soit z H. Pour tout N, il existe un triangle T
N
T
N
tel que z T
N
.
Notons s
N
= s
N
(z) lun des sommets de T
N
. Le but de cette section est detablir la
proposition suivante
Proposition 1. Si r
N
(z) designe le rayon du cercle de

H
N
correspondant au cercle
de H
N
centre en s
N
(z). Alors on a uniformement sur H r
N
(z) =
|f

(z)|
2N
+0(
1
N
2
) quand
N +.
Le probl`eme est le suivant : on veut mesurer lecart de 2Nr
N
/[f

(z)[ `a 1, cest-
`a-dire lecart entre log r
N
et log
1
2N
[f

(z)[. On sait que la famille log r

s
N
; s S
N

est point critique dune certaine fonctionnelle F, de sorte que si la derivee de F en

log
1
2N
[f

(s)[
sS
N
est petite, et si la derivee seconde de F est grande, on aura le
resultat cherche.
SOCI

ET

E MATH

EMATIQUE DE FRANCE 1996

266 Y. COLIN DE VERDIERE F. MATHEUS
1. Majoration de la courbure.
Soit z
0
H, et, pour 1 k 6, v
k
= z
0
+
k
o` u = exp(i

3
). On note

k
langle en [f

(z
0
)[ dans le triangle euclidien dont les cotes ont pour longueurs
[f

(z
0
)[ + [f

(v
k
)[, [f

(v
k
)[ + [f

(v
k1
)[ et [f

(v
k1
)[ + [f

(z
0
)[. On introduit enn la
courbure K() denie par
K() = 2
6

k=1

k
.
On a le
Lemme 1. K() = O(
4
) lorsque 0.
Preuve du lemme 1. On a cos
k
= 1 2
_
1 +

(z
0
)
f

(v
k1
)

_
1

_
1 +

(z
0
)
f

(v
k
)

_
1
. Pour
proche de 0,
f

(z
0
)
f

(v
k
)
est proche de 1 et donc la fonction

(z
0
)
f

(v
k
)

est C

au voisinage
de 0. Comme cos
k
est alors proche de
1
2
, on en deduit que
k
depend de mani`ere
C

de au voisinage de 0, ainsi que K(). Il sut donc de verier que les termes
dordre 3 dans le developpement de Taylor de K() en 0 sont nuls.
On peut supposer que z
0
= 0 et que f

(z
0
) = 1. On a donc f

(z) = 1 +

+
n=1
a
n
z
n
. Comme la courbure depend de et de f, on note 2

6
k=1

k
=
K(, f) = K(, a
1
, a
2
, . . . , ). Le developpement limite de K(, f) au voisinage de 0
secrit
K(, f) = K
1
+
2
K
2
+ +
n
K
n
+O(
n+1
)
o` u K
i
= K
i
(a
1
, . . . , a
i
) est un polynome reel en Re(a
1
), Im(a
1
), . . . , Re(a
i
), Im(a
i
).
Soit t un reel > 0 et g la fonction denie par g(z) =
1
t
f(tz) : g

(z) = 1 +

+
n=1
a
n
t
n

z
n
= f

(tz), do` u
K(, ta
1
, t
2
a
2
, . . . , ) = K(, g) = K(t, f) =
= tK
1
(a
1
) +t
2

2
K
2
(a
1
, a
2
) + +t
n

n
K
n
(a
1
, . . . , a
n
) +O(
n+1
)
et donc K
i
(ta
1
, . . . , t
i
a
i
) = t
i
K
i
(a
1
, . . . , a
i
).
Comme lhexagone de sommets 1, , . . . ,
5
est symetrique par rapport `a 0, on
a K(, f) = K(, f

) = K(, f) o` u f

designe la fonction f

(z) = f(z), ce qui

S

EMINAIRES & CONGR

`
ES 1
EMPILEMENTS DE CERCLES ET APPROXIMATIONS CONFORMES 267
implique que les termes dordre impair dans le developpement de K(, f) sont nuls,
et donc que
K(, f) =
2
K
2
(a
1
, a
2
) +O(
4
) .
Le polynome K
2
secrit K
2
(a
1
, a
2
) =

d
k=0
P
k
(a
1
) a
2
, o` u P
k
(a
1
) a
2
est un polynome
reel homog`ene de degre k en Re(a
2
), Im(a
2
), dont les coecients sont des polynomes
en Re(a
1
), Im(a
1
). La relation K
2
(ta
1
, t
2
a
2
) = t
2
K
2
(a
1
, a
2
) secrit
d

k=0
t
2k
P
k
(ta
1
) a
2
=
d

k=0
t
2
P
k
(a
1
) a
2
.
Pour k 2, on a t > 0, P
k
(a
1
) a
2
= t
2(k1)
P
k
(ta
1
) a
2
, donc P
k
(a
1
) a
2
= 0. Pour
k = 1, on a P
1
(ta
1
) = P
1
(a
1
), donc P
1
(a
1
) est une forme lineaire independante de a
1
,
notee L. Pour k = 0, on a P
0
(ta
1
) = t
2
P
0
(a
1
), donc P
0
est une forme quadratique,
notee Q. Finalement, K
2
secrit K
2
(a
1
, a
2
) = Q(a
1
) +L(a
2
).
Notons h lapplication h(z) = f(z). Linvariance de lhexagone par rotation
dangle

3
implique K(, h) = K(, f), donc K(, a
1
,
2
a
2
, . . . , ) = K(, a
1
, a
2
, . . . , ).
On en deduit dune part que L(
2
a
2
) = L(a
2
), cest-`a-dire que L = 0, et dautre part
que Q(a
1
) = Q(a
1
), cest-`a-dire quil existe une constante c (ne dependant pas de
f) telle que Q(a
1
) = c[a
1
[
2
= K
2
(a
1
, a
2
). Or, pour la fonction F(z) =
1
a
1
e
a
1
z
, on a
0 = K(, F) = K(, a
1
,
a
2
1
2!
, . . . , ), donc c = 0 et donc K(, f) = O(
4
). Ceci prouve le
lemme 1.
Remarque. Les arguments developpes ci-dessus permettent de determiner le coe-
cient de
4
.
Le point de depart est le fait suivant.
Fait. Il existe une forme lineaire L sur R
2
, un polynome `a quatre variables M
homog`ene de degre 1 en les deux premi`eres, de degre 1 en les deux autres, un polynome
`a quatre variables P homog`ene de degre 2 en les deux premi`eres, de degre 1 en les
deux autres, une forme quadratique Q sur R
2
, et un polynome R `a deux variables
homog`ene de degre 4 tels que
K
4
(a
1
, a
2
, a
3
, a
4
) = L(a
4
) +M(a
1
, a
3
) +P(a
1
, a
2
) +Q(a
2
) +R(a
1
) .
SOCI

ET

E MATH

EMATIQUE DE FRANCE 1996

268 Y. COLIN DE VERDIERE F. MATHEUS
En eet, comme precedemment, il sut decrire K
4
sous la forme K
4
(a
1
, a
2
, a
3
, a
4
) =

d
k=0
P
k
(a
1
, a
2
, a
3
) a
4
et dexploiter lidentite K
4
(ta
1
, t
2
a
2
, t
3
a
3
, t
4
a
4
) =
t
4
K
4
(a
1
, a
2
, a
3
, a
4
). On en deduit que P
k
est nul pour k 2, que P
1
(a
1
, a
2
, a
3
)
est une forme lineaire L independante de (a
1
, a
2
, a
3
), et que P
0
(ta
1
, t
2
a
2
, t
3
a
3
) =
t
4
P
0
(a
1
, a
2
, a
3
) ; on ecrit alors `a nouveau P
0
sous la forme P
0
(a
1
, a
2
, a
3
) =

d
k=0
Q
k
(a
1
, a
2
) a
3
. Le reste est laisse au lecteur.
Linvariance de lhexagone par rotation implique L(
4
a
4
) = L(a
4
), et donc L = 0.
Elle implique aussi M(a
1
, a
3
) = M(a
1
,
3
a
3
) = M(
2
a
1
,
6
a
3
) = M(
2
a
1
, a
3
), donc
la forme lineaire a
1
M(a
1
, a
3
) est invariante par multiplication par
2
, donc nulle,
et ce quel que soit a
3
, do` u M(a
1
, a
3
) = 0. De meme, P(a
1
,
2
a
2
) = P(a
1
, a
2
), de
sorte quil existe deux constantes c
1
et c
2
independantes de f telles que
P(a
1
, a
2
) = c
1
Re(a
2
1
a
2
) +c
2
Im(a
2
1
a
2
) .
Enn, R(a
1
) = R(a
1
) et Q(
2
a
2
) = Q(a
2
), donc il existe deux autres constantes c
3
et c
4
telles que R(a
1
) = c
3
[a
1
[
4
et Q(a
2
) = c
4
[a
2
[
2
. Finalement, K
4
est de la forme
K
4
(a
1
, a
2
, a
3
, a
4
) = c
1
Re(a
2
1
a
2
) +c
2
Im(a
2
1
a
2
) +c
3
[a
1
[
4
+c
4
[a
2
[
2
.
Comme dans la preuve du lemme, on consid`ere la fonction F donnee par F(z) =
1
a
1
e
a
1
z
: F

(z) = e
a
1
z
= 1 +a
1
z +
a
2
1
2
z
2
+. . . et K(, F) = 0, donc c
1
|a
1
|
4
2
+c
3
[a
1
[
4
+
c
4
[
a
2
1
2
[
2
= 0, donc c
4
= 2c
1
4c
3
. Comme a
1
= f

(0) et a
2
=
f

(0)
2
, on obtient
K(, f) =
_
(Re f

(0)
2
f

(0) [f

(0)[
2
) +Imf

(0)
2
f

(0)
+([f

(0)[
4
[f

(0)[
2
)

4
+O(
6
) ,
les constantes , et ne dependant pas de f.
Avec les notations de la section V, on a le
Corollaire 1. Si u
N
=
_
log
1
2N
[f

(s)[ s S
N
_
, alors K
s
( u
N
) = O
_
1
N
4
_
quand
N +, pour s I
N
.
Compte tenu du fait que CardI
N
= O(N
2
), on en deduit que |d
I
F( u
N
)|
2
=
_

sI
N
K
s
( u
N
)
2
= O
_
1
N
3
_
. En notant u
N
= log r
s
N
, s S
N
, et sachant que
d
I
F( u
N
) = 0 et que u
s
N
= u
s
N
, s B
N
, il vient
|
N
( u
N
u
N
)|
2
= |d
II
F( u
N
) ( u
N
u
N
)|
2
|d
I
F( u
N
) d
I
F( u
N
)|
2
= O
_
1
N
3
_
.
S

EMINAIRES & CONGR

`
ES 1
EMPILEMENTS DE CERCLES ET APPROXIMATIONS CONFORMES 269
2. Minoration de la premi`ere valeur propre dun laplacien discret.
Il reste donc `a evaluer |
1
N
|
2
. On rappelle que
N
est lapplication de R
I
N
dans
lui-meme qui `a toute fonction R
I
N
, prolongee par 0 sur B
N
, associe la fonction

N
denie par s I
N
,
N
(s) =

s

S
N
d
c
(s

,s)1
K
s
[ u
N
]
u
s

N
(s

).
Lapplication
N
est un endomorphisme symetrique deni positif de R
I
N
. On
note 0 <
(N)
1

(N)
2

(N)
n
ses valeurs propres. On a
(N)
n
= |
N
|
2
,
1

(N)
1
= |
1
N
|
2
et
(N)
1
= min
_

N
[)/||
2
, R
I
N
, ,= 0
_
. On a le
Lemme 2. Il existe une constante c ne dependant que de f telle que
(N)
1

c
N
2
.
Du lemme 2 il resulte que | u
N
u
N
|
2
|
1
N
|
2
|
N
( u
N
u
N
)|
2
=
O(N
2

1
N
3
) = O(
1
N
) ; il existe donc une constante M (ne dependant que de f)
telle que
_

sI
N
[ u
s
N
u
s
N
[
2

M
N
. On en deduit que [ u
s
N
u
s
N
[
M
N
, et donc que
r
s
N
=
|f

(s)|
2N
+O(
1
N
2
), la majoration etant uniforme sur H.
Preuve du lemme 2. Lidee est de comparer
N
au laplacien discret `a coecients
constants sur un reseau periodique contenant S
N
pour lequel les valeurs propres sont
connues explicitement.
Soit

N
le laplacien discret `a coecients constants sur R
I
N
deni pour R
I
N
,
par

N
(s) = (s)
1
6

s
(s

) (avec toujours la convention = 0 sur B

N
). On
a

N
[) =

sI
N

N
(s) (s) =
1
2

s
K
s
u
s

N
_
(s) (s

)
_
2
et

N
[) =
1
12

s
_
(s) (s

)
_
2
.
Le corollaire 2 de la section V fournit une constante c telle que
K
s
u
s

N
c > 0 si
s

s, de sorte que
N
[) 6c

N
[), do` u
(N)
1
6c

(N)
1
, en notant

(N)
1
la
premi`ere valeur propre de

N
.
Pour minorer la premi`ere valeur propre

N
1
du laplacien de Dirichlet dordre N
dans lhexagone unite, on peut dabord la minorer par le principe du minimax par
celle du meme probl`eme pour le plus petit triangle equilateral contenant lhexagone
SOCI

ET

E MATH

EMATIQUE DE FRANCE 1996

270 Y. COLIN DE VERDIERE F. MATHEUS
H. Le groupe engendre par les symetries par rapport aux cotes de ce triangle
contient un reseau L dindice 6 par rapport `a . Les fonctions nulles au bord du
triangle equilateral se prolongent en des fonctions impaires par rapport aux symetries
qui engendrent qui sont donc periodiques par rapport `a L. On peut ainsi minorer

N
1
par la premi`ere valeur propre non nulle pour les fonctions L-periodiques qui se
calcule explicitement, une base de fonctions propres etant donnee par les restrictions
dexponentielles complexes. On en deduit la minoration du lemme 2.
VII. FIN DE LA PREUVE DU TH

EOR
`
EME PRINCIPAL
La n de la preuve resulte des 3 lemmes suivants.
Lemme 1. Si UH est lensemble des vecteurs unitaires tangents `a H, la suite des
f

N
: UH T(C) est equicontinue.
Lemme 2. Pour tout z et tout N 1, il existe une similitude directe s
N
(z) de
rapport [f

(z)[ telle que

|f

N
(z) s
N
(z)| = O(
1
N
) ,
uniformement en z.
Lemme 3. Quand N , (f
N
(0), f

N
(0)) tend vers (f(0), f

(0)).
Preuve du lemme 1. Ce lemme resulte du fait que les f

N
(z) sont constantes `a
linterieur des triangles de T
N
et ont un saut de O(1/N) aux fronti`eres de ceux-ci
(proposition 1 de VI). Si [z z

[ , on a d
N
c
(z, z

) = O(N) et donc
|f

N
(z) f

N
(z

)| = O(
1
N
.N) ,
ce qui prouve lequicontinuite.
Preuve du lemme 2. Ce lemme resulte de la proposition 1 de VI, en particulier de
lestimation sur les rayons r
N
(z).
S

EMINAIRES & CONGR

`
ES 1
BIBLIOGRAPHIE 271
Preuve du lemme 3. Ce lemme resulte de la condition de normalisation (iii) imposee
aux f
N
et du lemme 2.
Fin de la preuve du theor`eme. Des lemmes 1 et 3 et du theor`eme dAscoli, il suit que
la suite des f
N
est relativement compacte pour la topologie C
1
. Soit donc (f
N
k
) une
sous-suite convergente pour la topologie C
1
vers une application F. Du lemme 2, il
resulte que F est holomorphe avec, pour tout z,
[F

(z)[ = [f

(z)[ ,
et du lemme 3 que
(F(0), F

(0)) = (f(0), f

(0)) .
On en deduit F = f. Donc f est le seul point daccumulation de la suite (f
N
), ce qui
sut pour conclure.
BIBLIOGRAPHIE
[C-R] I. Carter, B. Rodin, An inverse problem for circle packing and conformal
mapping, Trans. Amer. Math. Soc. 334 (1992), 861875.
[CV] Y. Colin de Verdi`ere, Un principe variationnel pour les empilements de
cercles, Inventiones Math. 104 (1991), 655669.
[H-R] Z.X. He, B. Rodin, Convergence of Circle Packings of Finite Valence to
Riemann Mapping, Commun. Anal. Geom. 1 (1993), 3141.
[M] F. MATH

EUS, Empilements de cercles et representations conformes : une nou-

velle preuve du theor`eme de Rodin-Sullivan , `a paratre dans LEnseignement
Mathematique.
[R-S] B. Rodin, D. Sullivan, The Convergence of Circle Packings to the Riemann
Mapping, J. Dierential Geom. 26 (1987), 349360.
[St 1] K. Stephenson, Circle packings in the approximation of conformal mappings,
Bull. Amer. Math. Soc. (Research Announcements) 23 (1990), 407415.
SOCI

ET

E MATH

EMATIQUE DE FRANCE 1996

272 Y. COLIN DE VERDIERE F. MATHEUS
[St 2] K. Stephenson, Thurstons Conjecture on Circle Packings in the Non Hexag-
onal Case, Preprint, Univ. Tennessee (Knoxville), (1991).
[Th] W. Thurston, The nite Riemann Mapping Theorem, Invited talk, An inter-
national Symposium at Purdue University on the occasion of the proof of the
Bieberbach Conjecture (March 1985).
[Tr] M. Troyanov, Les surfaces euclidiennes `a singularites coniques, Ens. Math.
32 (1986), 7994.
S

EMINAIRES & CONGR

`
ES 1