An algebraic structure for Faber polynomials (Q989056)

Let \(\Sigma= \big\{f(z): f(z)+ z+\sum^\infty_{n=0} a_n z^{-n},|z|> 1\big\}\). The Faber polynomials \(F_n(t)\) associated to \(f\) are defined by the relation \[ {f'(z)\over f(z)- t}= \sum^\infty_{n=0} F_n(t)z^{-(n+1)}. \] It is known that they appear in various problems concerning univalent functions. With each \(f\in\Sigma\) one can associate sequences \((F_n)\) and \((F^{(k)}_n)\), \(F^{(k)}_n= \big[n(n-1)\cdots(n- k+ 1)\big]^{-1}(F_n)^{(k)}\). Let \({\mathcal F}\), \({\mathcal F}^{(k)}\) denote the sets of all sequences \((F_n)\) and \((F^{(k)}_n)\), respectively. Making use of ideas concerning the Riordan group [\textit{L. W. Shapiro}, \textit{S. Getu}, \textit{W.-J. Woan} and \textit{L. C. Woodson}, Discrete Appl. Math. 34, No. 1--3, 229--239 (1991; Zbl 0754.05010)], the authors define a binary operation \(*\) on \({\mathcal F}\), and prove that \([{\mathcal F},*]\) is a group which is isomorphic to the hitting time subgroup of the Riordan group. A similar statement is valid for the group \(({\mathcal F}^{(k)},*)\). The authors also study the relations between Faber, Lucas, and Sheffer polynomials.