Schur-Szegő composition of entire functions (Q365135)

For complex polynomials \(A(z) =\sum_{k=0}^n {n\choose k}a_k z^k\) and \(B(z) =\sum_{k=0}^n {n\choose k} b_k z^k\) their Schur-Szegő composition is defined by \((A~^{\ast}_{n}~B)(x)= \sum_{k=0}^{n}{n \choose k} a_{k} b_{k} x^{k}.\) Recently the second author proved in [Funct. Anal. Appl. 43, No. 2, 147--150 (2009); translation from Funkts. Anal. Prilozh. 43, No. 2, 79--83 (2009; Zbl 1271.26006)] that if \(a_n=1\) and \(A(-1)=0\) then \(A\) can be written as \[ A=K_{a_1}~^{\ast}_{n}~\dots ~^{\ast}_{n}~K_{a_{n-1}}, \] where \(K_a(x):=(x+1)^{n-1}(x+a)\) and the numbers \(a_i\; (i=1,\dots,n-1),\) are uniquely determined. Motivated by this decomposition, the authors introduce the generalization of the Schur-Szegő composition for formal power series instead of polynomials. Let \(\varphi(z) = \sum_{k=0}^\infty a_k {{z^k}\over{k!}}\) and \(\psi(z) = \sum_{k=0}^\infty b_k {{z^k}\over{k!}}\) be formal power series. The authors define their Schur-Szegő composition by \((\varphi * \psi)(z) = \sum_{k=0}^\infty a_k b_k {{z^k}\over{k!}}.\) Using the analogy between the Schur-Szegő composition of polynomials and of power series the properties of this composition of entire functions of form \[ \kappa_a(z)=e^z(1+z/a)=\sum_{k=0}^{\infty}\left(1+{{k}\over{a}}\right) {{z^k}\over {k!}},\; (a\neq 0) \] is studied. It is shown that the finite Schur-Szegő composition \[ \kappa_{a_1}(z) * \kappa_{a_2}(z) *\dots * \kappa_{a_m}(z) \eqno{(1)} \] has the form \(P_m(z)e^z,\) where \(P_m\in {\mathbb C}[z]\) is a polynomial of degree \(m\) with all zeros real negative. The mapping between the elementary symmetric functions of the numbers \((a_1,a_2,\dots, a_m)\) and the properties of coefficients of \(P_m(z)\) is also investigated. It is shown that any function of the form \(e^z P_m(z),\) where \(P_m(0)=1\), can be represented as a composition of the form (1).