On properties of certain special funciton (Q2709477)

The author studies the function \(\phi _{q}(t)=f_{q}(t/(1-q))\) in which \(f_{q} \) is a solution of the functional equation \(f_{q}(1+z(q-1))f_{q}(z)\) normalized to \(f_{q}(0)=1\). Here \(q=\exp (2\pi i\theta)\) for some irrational \(\theta \). The first issue to resolve is that of finding the radius of the largest disk centered at zero on which \(f\) has a convergent power series. \ The author approaches this problem as follows. Let \(\theta =1/(a_{1}+1/(a_{2}+1/(a_{3}+\dots))).\) Then one writes \(\theta =\theta [a_{1},a_{2},\dots ]\) determined by the sequence of natural numbers in the continued fraction. One then recursively defines \( q_{m}=a_{m-1}q_{m-1}+q_{m-2}\) where \(q_{0}=0\) and \(q_{1}=1\). The author shows that the radius of convergence of \(\phi _{q}\) is one if and only if \(\lim_{m\rightarrow \infty }a_{m}^{1/q_{m}}=1\). Furthermore the author shows that the latter condition applies to almost every \(\theta \in [0,1)\) in the sense of Lebesgue measure. The author also proves several representation formulae for \(\phi _{q}\), for example, that \(\phi _{q}(z)=\exp (\sum_{n=1}^{\infty }z^{n}/[n(1-q^{n}))\) on \(|z|<1\), and estimates the growth of \(\phi _{q}\) as \(|z|\rightarrow 1\) in terms of the defining sequence \([a_{i}]\).