Complex Brjuno functions

Abstract

The Brjuno function arises naturally in the study of analytic small divisors problems in one dimension. It belongs to BMO ( T 1 ) \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 H / Z {\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 R / Z {\mathbb {R}}/{\mathbb {Z}} is continuous at all irrational points and has a jump of π / q \pi /q at each rational point p / q ∈ Q p/q\in {\mathbb {Q}} .