Multipliers of Dirichlet series and monomial series expansions of holomorphic functions in infinitely many variables (Q2396240): Difference between revisions

Given a bounded holomorphic function \(f\) on the unit ball of \(\ell_\infty\) and an \(m\)-homogeneous polynomial \(P\) on \(\ell_\infty\), the authors use \(\sum_{ \alpha\in {\mathbb N}_o^{({\mathbb N})}}c_\alpha(f)z^\alpha\) to denote the monomial series expansion of \(f\) and \(\sum_{|\alpha|=m}c_\alpha(P)z^\alpha\) to denote the monomial series expansion of \(P\). The sets \(\operatorname{mon}{\mathcal H}_\infty(B_{\ell_\infty})\) and \(\operatorname{mon}{\mathcal P}(^m{\ell_\infty})\) are defined as \[ \operatorname{mon}{\mathcal H}_\infty(B_{\ell_\infty})=\left\{z\in B_{\ell_\infty}:f(z)= \sum_{\alpha\in {\mathbb N}_o^{({\mathbb N})}}c_\alpha(f)z^\alpha \text{ for all }f \text{ in }{\mathcal H}_\infty(B_{\ell_\infty})\right\} \] and \[ \operatorname{mon}{\mathcal P}(^m{\ell_\infty})=\left\{z\in {\ell_\infty}:P(z)=\sum_{|\alpha| =m}c_\alpha(P)z^\alpha \text{ for all }P \text{ in }{\mathcal P}(^n{\ell_\infty}) \right\}. \] They show that \(\operatorname{mon}{\mathcal P}(^m{\ell_\infty})\) is equal to the Marcinkiewicz sequence space \(\ell_{{2m\over m-1},\infty}\) while \(\operatorname{mon}{\mathcal H}_\infty(B_{\ell_ \infty})\) contains the set of all \((z_j)_j\) such that \(\limsup_{n\to\infty}{1\over \log n}\sum_{j=1}^n z_j^*<1\) and is contained in the set of all \((z_j)_j\) such that \(\limsup_{n\to\infty}{1\over\log n}\sum_{j=1}^n z_j^*\leq 1\). For \(1\leq p\leq \infty\), the authors use \({\mathcal H}_p({\mathbb T}^\infty)\) to denote those functions in \(L_p({\mathbb T}^\infty)\) such that \(\hat f(\alpha):=\int_{{\mathbb T} ^\infty}f(w)w^{-\alpha}\,dm(w)=0\) for all \(\alpha\) in \({\mathbb Z}^{({\mathbb N})}\setminus {\mathbb N}_0^{({\mathbb N})}\). The set \(\operatorname{mon}{\mathcal H}_p({\mathbb T}^\infty)\) is then defined as all points \(z\) in \({\mathbb C}^{\mathbb N}\) such that \(\sum_{\alpha\in {\mathbb N} _o^{({\mathbb N})}}|\hat{f}(\alpha)z^\alpha|<\infty\) for all \(f\) in \({\mathcal H}_p({\mathbb T}^ \infty)\). It is shown that \(\operatorname{mon}{\mathcal H}_\infty({\mathbb T}^\infty)\) is equal to \(\operatorname{mon}{\mathcal H}_\infty(B_{\ell_\infty})\) while for \(1\leq p<\infty\), \(\operatorname{mon} {\mathcal H}_p({\mathbb T}^\infty)=\ell_2\cap B_{\ell_\infty}\). Using the Bohr transform, the authors define the spaces of \({\mathcal H}_p\)-Dirichlet series. A sequence of complex numbers \((b_n)_n\) is a multiplier for a space \({\mathcal E}\) of Dirichlet series if \(\sum_{n=1}^\infty|a_nb_n |<\infty\) for all \(\sum_{n=1}a_nn^{-s}\) in \({\mathcal E}\). Using their description of \(\operatorname{mon}{\mathcal H}_\infty(B_{\ell_\infty})\), the authors are able to give a complete characterisation of the completely multiplicative (\(b_{nm}=b_nb_m\) for all \(n, m\)) multipliers of spaces of \({\mathcal H}_p\)-Dirichlet series.