Convergence of linear combinations of iterates of an inner function (Q2122112)

Let \(\mathbb D\) denote the unit disc in \(\mathbb C\). Any inner function \(f\) on \(\mathbb D\) induces a map from \(\partial\mathbb D\) into itself defined at almost every \(\zeta\in\partial\mathbb D\) by \(f(\zeta) = \lim_{r\to 1} f(r\zeta)\). For \(n\in \mathbb N\) let \(f^n\) denote the \(n\)-th iterate of \(f\). The main purpose of the paper is to study convergence of linear combinations of the iterates \(f^n\). One of the main results of the paper is the following theorem: Let \(f\) be an inner function with \(f(0)=0\) which is not a rotation and let \(\{a_n\}\) be a sequence of complex numbers. Then the series \(\sum a_nf^n(\zeta)\) converges at almost every \(\zeta\in\partial\mathbb D\) if and only if \(\sum|a_n|^2 <\infty\). The proof of this result is based on the following BMOA type estimate. Theorem 1.2. Let \(f\) be an inner function with \(f(0)=0\) which is not a rotation. Then there exists a constant \(C=C(f)>0\) such that for any positive integer \(N\), any set \(\{a_n : n=1,..., N\}\) of complex numbers and any \(z\in\mathbb D\) we have \[ \int_{\partial\mathbb D} \left\vert \sum_{n=1}^M a_n (f^n(\zeta)-f^n(z)) \right\vert^2 P(z,\zeta) dm(\zeta) \le C\sum_{n=1}^N |a_n|^2 (1-|f^n(z)|^2). \] In the above \(P\) denotes the Poisson kernel on \(\mathbb D\times\partial\mathbb D\). As a Corollary, under the above hypothesis on \(f\), if \(\sum |a_n|^2 <\infty\), then \(F=\sum a_n f^n\in \mathrm{BMOA}(\mathbb D)\) and for almost every \(\zeta\in\partial\mathbb D\), \(\lim_{r\to 1} F(r\zeta) = \sum_{n=1}^\infty a_n f^n(\zeta)\). Finally, the author describes the sequences \(\{a_n\}\) such that \(F\) belongs to other classical function spaces, such as the disc algebra and the Dirichlet class.