An irrational number ${\displaystyle \alpha }$  is called a Brjuno number when the infinite sum

${\displaystyle B(\alpha )=\sum _{n=0}^{\infty }{\frac {\log q_{n+1}}{q_{n}}}}$ 

converges to a finite number.

Here:

• ${\displaystyle q_{n}}$  is the denominator of the nth convergent ${\displaystyle {\tfrac {p_{n}}{q_{n}}}}$  of the continued fraction expansion of ${\displaystyle \alpha }$ .
• ${\displaystyle B}$  is a Brjuno function

The Brjuno numbers are important in the one–dimensional analytic small divisors problems. Bruno improved the diophantine condition in Siegel's Theorem, showed that germs of holomorphic functions with linear part ${\displaystyle e^{2\pi i\alpha }}$  are linearizable if ${\displaystyle \alpha }$  is a Brjuno number. Jean-Christophe Yoccoz (1995) showed in 1987 that this condition is also necessary, and for quadratic polynomials is necessary and sufficient.

Intuitively, these numbers do not have many large "jumps" in the sequence of convergents, in which the denominator of the (n + 1)th convergent is exponentially larger than that of the nth convergent. Thus, in contrast to the Liouville numbers, they do not have unusually accurate diophantine approximations by rational numbers.

Brjuno sum edit

The Brjuno sum or Brjuno function ${\displaystyle B}$  is

${\displaystyle B(\alpha )=\sum _{n=0}^{\infty }{\frac {\log q_{n+1}}{q_{n}}}}$ 

where:

• ${\displaystyle q_{n}}$  is the denominator of the nth convergent ${\displaystyle {\tfrac {p_{n}}{q_{n}}}}$  of the continued fraction expansion of ${\displaystyle \alpha }$ .

Real variant edit

The real Brjuno function ${\displaystyle B(\alpha )}$  is defined for irrational numbers ${\displaystyle \alpha }$  ^[1]

${\displaystyle B:\mathbb {R} \setminus \mathbb {Q} \to \mathbb {R} \cup \{+\infty \}}$ 

and satisfies

${\displaystyle {\begin{aligned}B(\alpha )&=B(\alpha +1)\\B(\alpha )&=-\log \alpha +\alpha B(1/\alpha )\end{aligned}}}$ 

for all irrational ${\displaystyle \alpha }$  between 0 and 1.

Yoccoz's variant edit

Yoccoz's variant of the Brjuno sum defined as follows:^[2]

${\displaystyle Y(\alpha )=\sum _{n=0}^{\infty }\alpha _{0}\cdots \alpha _{n-1}\log {\frac {1}{\alpha _{n}}},}$ 

where:

• ${\displaystyle \alpha }$  is irrational real number: ${\displaystyle \alpha \in \mathbb {R} \setminus \mathbb {Q} }$ 
• ${\displaystyle \alpha _{0}}$  is the fractional part of ${\displaystyle \alpha }$ 
• ${\displaystyle \alpha _{n+1}}$  is the fractional part of ${\displaystyle {\frac {1}{\alpha _{n}}}}$ 

This sum converges if and only if the Brjuno sum does, and in fact their difference is bounded by a universal constant.

• Transcendental number

• Brjuno, Alexander D. (1971), "Analytic form of differential equations. I, II", Trudy Moskovskogo Matematičeskogo Obščestva, 25: 119–262, ISSN 0134-8663, MR 0377192
• Lee, Eileen F. (Spring 1999), "The structure and topology of the Brjuno numbers" (PDF), Proceedings of the 1999 Topology and Dynamics Conference (Salt Lake City, UT), Topology Proceedings, vol. 24, pp. 189–201, MR 1802686
• Marmi, Stefano; Moussa, Pierre; Yoccoz, Jean-Christophe (2001), "Complex Brjuno functions", Journal of the American Mathematical Society, 14 (4): 783–841, doi:10.1090/S0894-0347-01-00371-X, ISSN 0894-0347, MR 1839917
• Yoccoz, Jean-Christophe (1995), "Théorème de Siegel, nombres de Bruno et polynômes quadratiques", Petits diviseurs en dimension 1, Astérisque, vol. 231, pp. 3–88, MR 1367353