Sunteți pe pagina 1din 10

Le rayon de Bohr d'une srie entire en une ou plusieurs

variables
Herv Carrieu, tienne Fieux, Patrice Lassre et Frdric Rodriguez
Herv Carrieu : Lyce Camille Gurin, 86000 Poitiers, herve.carrieu@ac-poitiers.fr -
tienne Fieux & Patrice Lassre : Laboratoire de Mathmatiques E. Picard, UMR CNRS 5580,
Universit Paul Sabatier, 118 route de Narbonne, 31062 Toulouse, fieux@picard.ups-
tlse.fr & lassere@picard.ups-tlse.fr - Frdric Rodriguez : Laboratoire du CERS, UMR
CNRS 5177, Universit Toulouse II, 5 alles Antonio Machado, 31058 TOULOUSE Cedex 9,
frederic.rodriguez@univ-tlse2.fr
Rsum:
Le thorme de Bohr affirme que, pour toute srie entire de rayon de convergence suprieur ou
gal 1, si sur le disque unit, alors pour La
valeur , optimale pour ce rsultat, porte le nom de rayon de Bohr. Aprs avoir dmontr ce
rsultat ainsi que divers raffinements, nous tudions le problme de son extension au cas
pluricomplexe.

1 LE THORME DE BOHR EN UNE VARIABLE
2 VARIATIONS SUR LE THORME DE BOHR
3 LE PASSAGE PLUSIEURS VARIABLES
Bibliographie

1 LE THORME DE BOHR EN UNE VARIABLE
En 1914, G. H. Hardy prsente aux Proceedings de la London Mathematical Society l'tonnant
rsultat suivant du mathmaticien Harald Bohr
1
:

Thorme 1 Thorme de Bohr : Soit une srie entire de rayon de
convergence suprieur ou gal vrifiant



( dsigne le disque ouvert de centre l'origine et de rayon ). En outre, la constante
est optimale.
En fait, Bohr ne prouve ce thorme qu'avec la constante et l'nonc dans son tat final
bnficie des contributions successives de M. Riesz, I. Schur et F. W. Wiener et c'est celle de
Page 1sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=79&Type=enonce&Num=0&Mode=...
Wiener
2
qui est prsente dans cet article. La constante optimale , associe au disque unit
dans , est appele rayon de Bohr ; il s'agit du rayon de Bohr en une dimension et nous verrons
dans la troisime partie de cette note des extensions en dimensions suprieures de cette notion.
La dmonstration repose sur les
Ingalits de Carathodory : Si possde un rayon de convergence
suprieur ou gal et si , alors


Preuve : Par convergence uniforme sur de , on a pour et
:


et par suite, si :


o la seconde galit rsulte de la normale convergence de la srie
sur combine l'orthogonalit de la famille dans . La partie relle
de tant positive sur , on a pour tout


d'o le rsultat en faisant tendre vers 1.
Page 2sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=79&Type=enonce&Num=0&Mode=...
On peut prsent conclure :
Preuve du thorme de Bohr :
Quitte considrer la place de , on peut supposer que . Puisque
, la fonction dveloppable en srie entire sur le
disque unit vrifie



et l'on peut lui appliquer les ingalits de Carathodory



soit, pour



Il reste tablir que la constante est optimale. Pour cela, si il est bien connu
que la fonction est une bijection dveloppable en srie entire du disque unit
sur lui-mme et un petit calcul nous donne






Il ne reste plus qu' faire tendre vers par valeurs infrieures pour s'assurer que la valeur
est bien optimale.

Notes
... Bohr
1


chacun son rayon ! On ne le confondra pas avec son frre, le clbre atomiste Niels
Page 3sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=79&Type=enonce&Num=0&Mode=...
Bohr, prix Nobel de Physique et qui l'on doit notamment la notion de rayon de Bohr d'un
atome. Pour la petite histoire, Harald Bohr (1887-1951) a aussi particip aux J eux
Olympiques de 1908 de Londres au sein de l'quipe danoise de football, mdaille
d'argent ; auteur d'un but en quarts de finale, il a galement son palmars un historique
inscrit au livre des records et tabli aux dpens ... de l'quipe de France ! L'aura de
son frre quelque peu clips la qualit de ses travaux mathmatiques et on pourra
consulter Boas R.P. The football player and the infinite series. (Notices. Amer. Math. Soc.
144(11), (1997), pp.1430-1435) pour une prsentation de ce mathmaticien et de ses
principaux rsultats. En particulier, les lecteurs se rappelleront sa caractrisation (avec
Mollerup) de la fonction Gamma via la Log-convexit (voir A. Chambert-Loir & S.
Fermigier Exercices de mathmatiques pour l'agrgation : Analyse 2, Masson (1995),
exercice 16-5, page 53.). Dernire anecdote, c'est Harald Bohr qui remet en 1950 la
mdaille Fields Laurent Schwartz, lors du Congrs Mondial de Copenhague.
... Wiener
2


Harald P. Boas and Dimitry Khavinson, Vita: Friedrich Wilhelm Wiener, Mathematical
Intelligencer 22 (2000), no.2, 73-75.

2 VARIATIONS SUR LE THORME DE BOHR
Sous rserve d'hypothses supplmentaires pour , on peut encore amliorer la constante .
Commenons par une version du thorme de Bohr o l'hypothse ne porte que sur la partie
relle.
Thorme
3
: Soit une srie entire de rayon de convergence suprieur ou
gal vrifiant



alors



Preuve : Posons ,
et ; on a pour



D'aprs les formules
Page 4sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=79&Type=enonce&Num=0&Mode=...



soit, en multipliant ces galits par pour tout


le terme de gauche tant rel ainsi que les intgrandes, la seconde intgrale est ncessairement
nulle


Mais pour , ce qui permet
d'enlever la valeur absolue dans la dernire intgrale et, une intgration terme terme
(convergence normale) ne faisant intervenir que le terme constant de la srie, il reste



pour tout et vrifiant et .
On termine la dmonstration en choisissant et en faisant tendre vers par valeurs
infrieures.
Remarques
Quitte faire une rotation, on retrouve le thorme de Bohr.
Il faut souligner la grande simplicit de cette dmonstration qui peut tout fait faire l'objet
d'un problme niveau bac+2. Plus subtil est l'endroit o on utilise l'hypothse : elle
(1)
(2)
Page 5sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=79&Type=enonce&Num=0&Mode=...
intervient au moment o on crit galit qui n'est rien
d'autre que la formule pour dmontre dans le premier paragraphe. Mais cette
formule n'est vraie en gnral que pour sauf si ...
Moyennant de lgres modifications, on peut montrer que la constante optimale est
suprieure ou gale 1/2 sous l'hypothse supplmentaire .
Soit une srie entire de rayon de convergence suprieur ou gal
vrifiant et , alors



Il est facile de voir que l'on peut accrotre la constante optimale lorsque l'on considre des
sries particulires. Plus prcisment, lorsque la srie vrifie



la constante optimale, suprieure ou gale la premire racine positive de l'quation
, sera le terme gnral d'une suite croissante de limite 1 (dont les deux
premiers termes sont donns par et ).
Cette version du thorme de Bohr peut sembler surprenante car seule une contrainte sur
la partie relle permet de contrler toute la fonction sur le disque alors qu'on
sait par ailleurs qu'il existe un biholomorphisme (via le thorme de Riemann) du disque
unit sur la bande . Bien que on aura toujours
et mme puisque l'on peut imposer
. Le lecteur intress pourra visualiser ces rsultats l'aide d'un
logiciel de mathmatiques standard.

Notes
...Th\'eor\`eme
3


M. Tomic Sur un thorme de Bohr, Math.Scand. 11 (1962) 103-106

Page 6sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=79&Type=enonce&Num=0&Mode=...
3 LE PASSAGE PLUSIEURS VARIABLES
Au dbut du vingtime sicle, la thorie des fonctions de plusieurs variables complexes en tait
ses balbutiements et il a fallu attendre ces dernires annes, plus particulirement avec les
travaux de Boas
4
, Khavinson
5
et Aizenberg
6
, pour avoir des rsultats qui tendent au cas de
plusieurs variables la notion de rayon de Bohr.
Le domaine de convergence d'une srie entire
En une ou plusieurs variables, les fonctions holomorphes sont les fonctions localement
dveloppables en srie entire. Il est donc naturel de s'intresser au domaine de convergence de
ces sries (par domaine de convergence, nous entendons l'intrieur de l'ensemble des points o
la srie converge). Alors qu'en une variable ces domaines sont des disques ouverts, on voit
apparatre en plusieurs variables une classe plus riche d'objets gomtriques ([Ran1], [Chab]).
titre d'exemple, considrons les sries entires :



La premire a pour domaine de convergence
7
le bidisque
, la deuxime admet
pour domaine de convergence (non born) et la troisime
converge sur la bande verticale ; graphiquement :

Fig 1: Les domaines de convergence de , et
Il n'est pas difficile de vrifier qu'en plusieurs variables (sans perdre de gnralit, on se placera
dans le cas de deux variables ( ) et on centrera les sries en l'origine), le domaine de
convergence d'une srie entire vrifie toujours pour tout la proprit
suivante :



Un domaine possdant cette proprit est appel domaine de Reinhardt complet. En une
variable, les domaines de Reinhardt complets concident avec les disques et on sait que tout
disque est le domaine de convergence d'une srie entire. En plusieurs variables, il reste vrai
qu'une fonction holomorphe sur un domaine de Reinhardt complet s'y dveloppe en srie entire
Page 7sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=79&Type=enonce&Num=0&Mode=...
mais la situation se complique pour la rciproque : un domaine de Reinhardt complet n'est pas
forcment le domaine de convergence d'une srie entire. De fait, si est un
point du domaine de convergence d'une srie deux variables, on vrifie facilement que pour
tout , est aussi dans . Autrement dit, toute fonction
holomorphe sur un domaine de Reinhardt complet admet un dveloppement en srie entire
jusqu' son enveloppe logarithmiquement convexe . Ainsi, les domaines de convergence
possdent une proprit gomtrique supplmentaire (triviale en dimension 1) : ils sont
logarithmiquement convexes, i.e.



En rsum, les domaines de convergence de sries entires en plusieurs variables sont des
domaines de Reinhardt complets logarithmiquement convexes. Outre les exemples de tels
domaines vus prcdemment (FIG. 1), on peut encore bien entendu citer la boule
; on notera cependant qu'il n'est pas facile de
trouver une srie dont elle sera le rayon de convergence ([Ran2]). D'un autre ct, la runion de
deux bidisques est un domaine de Reinhardt complet mais pas forcment logarithmiquement
convexe :

Fig 2: : exemple d'un domaine de Reinhardt complet non
logarithmiquement convexe
Le rayon de Bohr
Ainsi, par analogie avec le cas d'une variable, pour tout domaine de Reinhardt complet
logarithmiquement convexe , on dfinit son rayon de Bohr comme le plus grand
rel positif tel que :


avec les notations classiques pour : ,
. Avec cette dfinition le thorme de Bohr en une
Page 8sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=79&Type=enonce&Num=0&Mode=...
variable s'crit tout simplement . La surprise est que le rayon de Bohr
dpend du choix initial de et parfois tend vers zro avec la dimension . C'est, par exemple,
le cas pour le polydisque , Boas & Khavinson ayant
montr :


alors que pour l'hypercne , Aizenberg a montr :


Et pour la boule euclidienne : , le rayon vaut .
Il n'est pas ici question de fournir une dmonstration, le lecteur intress se rfrera aux articles
cits, pour la plupart d'un niveau assez accessible. Pour terminer, on notera que la thorie des
oprateurs offre un autre angle d'attaque pour l'tude du rayon de Bohr multidimensionnel. Cette
approche a dj apport
8
un certain nombre de rsultats intressants qui feront l'objet d'un travail
ultrieur.

Notes
... Boas
4


Boas R.P., Bohr's power series theorem in several variables, J . Korean Math. Soc. 37(2),
(2000), pp.321-337.
... Khavinson
5


Boas R.P. & Khavinson D. Bohr's power series theorem in several variables, Proc. Amer.
Math. Soc. 125(10), (1997), pp.2975-2979
... Aizenberg
6


Aizenberg L., Multidimensional analogues of Bohr's theorem on power series, Proc.
Amer. Math. Soc., 128(2000), no. 4, 1147-1155 ainsi que (avec Aytuna A. et Djakov P.)
An abstract approach to Bohr's phenomenon., Proc. Amer. Math. Soc. 128(2000), no. 9,
pp. 2611-2619.
... convergence
7


On notera que converge galement sur la droite complexe , d'o l'importance
de ne considrer que les points intrieurs.
... apport\'e
8


Paulsen V. I., Popescu G., Singh D., On Bohr's inequality, Proc. London Math. Soc. (3) 85
(2002) 493-512.

Bibliographie
Bo Bohr H. A theorem concerning power series, Proc. London Math. Soc. 13(2), (1914), pp.1-
Page 9sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=79&Type=enonce&Num=0&Mode=...
5.
Chab Chabat B. Introduction l'Analyse Complexe, T.2 Fonctions de plusieurs variables, MIR,
(1990).
Ran1 Range R. M., Holomorphic Functions and Integral Representations in Several Complex
Variables, Graduate Text in Mathematics 108, Springer Verlag, 1986.
Ran2 Range R.M., Complex Analysis : A Brief Tour into Higher Dimensions, Am. Math.
Monthly, 110(2003), 89-108.
Rud Rudin W. Analyse Relle et Complexe, Dunod (1998).

Page 10sur 10 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=79&Type=enonce&Num=0&Mode=...

S-ar putea să vă placă și