Journal of the American Mathematical Society

ISSN 1088-6834(online) ISSN 0894-0347(print)

 

 

Complex Brjuno functions


Authors: Stefano Marmi, Pierre Moussa and Jean-Christophe Yoccoz
Journal: J. Amer. Math. Soc. 14 (2001), 783-841
MSC (2000): Primary 37F50, 11A55, 32A40; Secondary 37F25, 46F15, 20G99
Published electronically: May 30, 2001
MathSciNet review: 1839917
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract:

The Brjuno function arises naturally in the study of analytic small divisors problems in one dimension. It belongs to $\hbox {BMO}({\mathbb{T}}^{1})$ and it is stable under Hölder perturbations. It is related to the size of Siegel disks by various rigorous and conjectural results.

In this work we show how to extend the Brjuno function to a holomorphic function on ${\mathbb{H}}/{\mathbb{Z}}$, the complex Brjuno function. This has an explicit expression in terms of a series of transformed dilogarithms under the action of the modular group. The extension is obtained using a complex analogue of the continued fraction expansion of a real number. Since our method is based on the use of hyperfunctions, it applies to less regular functions than the Brjuno function and it is quite general.

We prove that the harmonic conjugate of the Brjuno function is bounded. Its trace on ${\mathbb{R}}/{\mathbb{Z}}$ is continuous at all irrational points and has a jump of $\pi /q$ at each rational point $p/q\in {\mathbb{Q}}$.


References [Enhancements On Off] (What's this?)

  • [BG1] A. Berretti and G. Gentile, Scaling properties for the radius of convergence of a Lindstedt series: the standard map, J. Math. Pures Appl. (9) 78 (1999), no. 2, 159–176 (English, with English and French summaries). MR 1677673, 10.1016/S0021-7824(01)80007-6
  • [BG2] A. Berretti and G. Gentile, Bryuno function and the standard map, University of Roma (Italy), Preprint (1998).
  • [BPV] N. Buric, I. C. Percival, and F. Vivaldi, Critical function and modular smoothing, Nonlinearity 3 (1990), no. 1, 21–37. MR 1036435
  • [Br1] Transactions of the Moscow Mathematical Society for the year 1971 (Vol. 25), American Mathematical Society, Providence, R. I., 1973. Cover to cover translation of Trudy Moskov. Mat. Obšč. 25 (1971) prepared jointly by the American Mathematical Society and the London Mathematical Society. MR 0357008
  • [Br2] Transactions of the Moscow Mathematical Society for the year 1971 (Vol. 25), American Mathematical Society, Providence, R. I., 1973. Cover to cover translation of Trudy Moskov. Mat. Obšč. 25 (1971) prepared jointly by the American Mathematical Society and the London Mathematical Society. MR 0357008
  • [Da1] A. M. Davie, The critical function for the semistandard map, Nonlinearity 7 (1994), no. 1, 219–229. MR 1260138
  • [Da2] A. M. Davie, Renormalisation for analytic area-preserving maps, University of Edinburgh preprint (1995).
  • [Du] Peter L. Duren, Theory of 𝐻^{𝑝} spaces, Pure and Applied Mathematics, Vol. 38, Academic Press, New York-London, 1970. MR 0268655
  • [Ga] John B. Garnett, Bounded analytic functions, Pure and Applied Mathematics, vol. 96, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1981. MR 628971
  • [GCRF] José García-Cuerva and José L. Rubio de Francia, Weighted norm inequalities and related topics, North-Holland Mathematics Studies, vol. 116, North-Holland Publishing Co., Amsterdam, 1985. Notas de Matemática [Mathematical Notes], 104. MR 807149
  • [HW] G. H. Hardy and E. M. Wright, An introduction to the theory of numbers, 5th ed., The Clarendon Press, Oxford University Press, New York, 1979. MR 568909
  • [H] Lars Hörmander, The analysis of linear partial differential operators. I, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 256, Springer-Verlag, Berlin, 1983. Distribution theory and Fourier analysis. MR 717035
  • [Ja] Nathan Jacobson, Basic algebra. I, W. H. Freeman and Co., San Francisco, Calif., 1974. MR 0356989
    Nathan Jacobson, Basic algebra. II, W. H. Freeman and Co., San Francisco, Calif., 1980. MR 571884
  • [KH] Anatole Katok and Boris Hasselblatt, Introduction to the modern theory of dynamical systems, Encyclopedia of Mathematics and its Applications, vol. 54, Cambridge University Press, Cambridge, 1995. With a supplementary chapter by Katok and Leonardo Mendoza. MR 1326374
  • [Le] Leonard Lewin, Polylogarithms and associated functions, North-Holland Publishing Co., New York-Amsterdam, 1981. With a foreword by A. J. Van der Poorten. MR 618278
  • [Ma] Stefano Marmi, Critical functions for complex analytic maps, J. Phys. A 23 (1990), no. 15, 3447–3474. MR 1068237
  • [MMY] S. Marmi, P. Moussa, and J.-C. Yoccoz, The Brjuno functions and their regularity properties, Comm. Math. Phys. 186 (1997), no. 2, 265–293. MR 1462766, 10.1007/s002200050110
  • [O] Joseph Oesterlé, Polylogarithmes, Astérisque 216 (1993), Exp. No. 762, 3, 49–67 (French, with French summary). Séminaire Bourbaki, Vol. 1992/93. MR 1246392
  • [Ri] E. Risler, Linéarisation des perturbations holomorphes des rotations et applications, Mémoires Soc. Math. France 77 (1999). CMP 2000:17
  • [S] Carl Ludwig Siegel, Iteration of analytic functions, Ann. of Math. (2) 43 (1942), 607–612. MR 0007044
  • [Se] Jean-Pierre Serre, Cohomologie Galoisienne, Lecture Notes in Mathematics, Vol. 5, Springer-Verlag, Berlin-New York, 1973. Cours au Collège de France, Paris, 1962–1963; Avec des textes inédits de J. Tate et de Jean-Louis Verdier; Quatrième édition. MR 0404227
  • [St] Elias M. Stein, Singular integrals and differentiability properties of functions, Princeton Mathematical Series, No. 30, Princeton University Press, Princeton, N.J., 1970. MR 0290095
  • [Yo1] Jean-Christophe Yoccoz, Théorème de Siegel, nombres de Bruno et polynômes quadratiques, Astérisque 231 (1995), 3–88 (French). Petits diviseurs en dimension 1. MR 1367353
  • [Yo2] Jean-Christophe Yoccoz, An introduction to small divisors problems, From number theory to physics (Les Houches, 1989) Springer, Berlin, 1992, pp. 659–679. MR 1221113
  • [Yo3] J.-C. Yoccoz, Analytic linearisation of analytic circle diffeomorphisms, in preparation.

Similar Articles

Retrieve articles in Journal of the American Mathematical Society with MSC (2000): 37F50, 11A55, 32A40, 37F25, 46F15, 20G99

Retrieve articles in all journals with MSC (2000): 37F50, 11A55, 32A40, 37F25, 46F15, 20G99


Additional Information

Stefano Marmi
Affiliation: Dipartimento di Matematica e Informatica, Università di Udine, Via delle Scienze 206, Loc. Rizzi, I-33100 Udine, Italy
Address at time of publication: Scuola Normale Superiore, Classe di Scienze, Piazza dei Cavalieri 7, I-56126 Pisa, Italy
Email: marmi@dimi.uniud.it, marmi@sns.it

Pierre Moussa
Affiliation: Service de Physique Théorique, CEA/Saclay, 91191 Gif-Sur-Yvette, France
Email: moussa@spht.saclay.cea.fr

Jean-Christophe Yoccoz
Affiliation: Collège de France, 3 Rue d’Ulm, F-75005 Paris, France, and Université de Paris-Sud, Mathématiques, Batiment 425, F-91405 Orsay, France
Email: jean-c.yoccoz@college-de-france.fr

DOI: http://dx.doi.org/10.1090/S0894-0347-01-00371-X
Keywords: Small divisors, continued fractions, Bruno functions, complex boundary behaviour, renormalisation, hyperfunctions, modular group, dilogarithm
Received by editor(s): February 16, 2000
Published electronically: May 30, 2001
Additional Notes: This work began during a visit of the first author at the S.Ph.T.–CEA/Saclay and at the Department of Mathematics of Orsay during the academic year 1993–1994. This research has been supported by the CNR, CNRS, INFN, MURST and an EEC grant
Dedicated: This paper is dedicated to Michael R. Herman
Article copyright: © Copyright 2001 American Mathematical Society