\(L^{p}\)-representable functions on Banach spaces (Q2642130)

\textit{L. Gross} [Proc. 5th Berkeley Symp. Math. Stat. Probab., Univ. Calif. 1965/66 2, Part 1, 31--42 (1967; Zbl 0187.40903)] showed that, given any separable Banach space \(E\), there is a Hilbert space \(H\) and a dense continuous inclusion \(i:H\to E\). Using Gaussian cylinder measures on \(H\), this allows the construction of a measure \(W\), known as the Wiener measure, on the Borel sets of \(E\). The author says that a holomorphic function \(f\) on a separable dual Banach space \(E'\) is \(L^p\)-representable if there is \(g\) in \(L^p(W)\) with \(f(z)=\int_Ee^{z(\gamma)}\overline{g(\gamma)}\,dW(\gamma)\) for all \(z\) in \(E'\). It is shown that if a holomorphic function \(f\) on \(E'\) is \(L^p\)-representable, then there is a holomorphic function of bounded type \(F\) on \(H\) with \(f(z)=F\circ I\circ i^*\), where \(I\) is the natural identification of \(H'\) with \(H\) and \(i^*\) is the transpose of \(i\) corrected to allow for the conjugate linearity of \(I\). \textit{O. V. Lopushansky} and \textit{A. V. Zagorodnyuk} [Ann. Pol. Math. 81, No. 2, 111--122 (2003; Zbl 1036.46030)] introduced \({\mathcal H}^2(B)\) as the \(\ell_2\)-sum of the spaces of Hilbert-Schmidt homogeneous polynomials on a Hilbert space \(H\). The author proves that a holomorphic function \(f\) on a separable dual space \(E'\) is \(L^2\)-representable if and only if \(F=\sum_{k=0}^\infty F_k\) with \(\sum_{k=0}^\infty\sqrt{k!}F_k\) converging in \({\mathcal H}^2(B)\). A holomorphic function \(f\) on \(E'\) is said to be \(\rho\)-representable if there is \(g\) in \(L^2(W)\) with \(f(z)=\int_Ee^{\rho z(\gamma)}\overline{g(\gamma)}\,dW(\gamma)\) for all \(z\) in \(E'\). It is shown that, for each \(p>1\), there is \(\rho_0(p)\) such that each \(L^p\)-representable function is \(\rho\)-representable for all \(\rho>\rho_0(p)\). Examples show that the converse of this result fails and that there are \(L^p\)-representable functions with \(1<p<2\) which are not \(L^2\)-representable. Finally, the author uses the Aron-Berner extension to characterize those holomorphic functions of bounded type on a Banach space \(E\) which have a representation of the form \(f(z)=\int_{E'}e^{z(\gamma)}\overline{g(\gamma)}\,dW(\gamma)\) for \(z\in E\) with \(f\) in \(L^p(W)\).