Integral representation of holomorphic mappings on fully nuclear spaces (Q2465813)

Let \(E\) be a fully nuclear space with a basis \((e_n)\). Recall that a holomorphic function \(f:E \to \mathbb C\) is said to be of \(\eta\)-exponential type for some sequence \(\eta=(\eta_n)\) of non-negative numbers \(\eta_n\) if it satisfies an estimate \(| f(z)| \leq A\cdot e^{B\cdot \| z\| _\eta}\) for some constants \(A,B>0\) and all \(z \in E\), where \(\| z\| _\eta=\sum_n \eta_n\cdot | z_n| \). For those functions, the authors prove the following integral representation \[ f(z)=\int_{E_\beta'} e^{\langle z,w \rangle} \cdot (f \circ D)(w)\,d\mu_\gamma(w), \] where \(D\) is a densely defined diagonal operator from \(E'_\beta\) into \(E\) and \(\mu_\gamma\) is a Gaussian measure on \(E_\beta'\) with variance \(\gamma\), \(\eta/\gamma \in \ell_1\). This formula can be considered as an infinite version of the Cauchy integral formula. For Banach spaces, a similar result was obtained before by \textit{D. Pinasco} and \textit{I. Zalduendo} [J. Math. Anal. Appl. 308, No. 1, 159--174 (2005; Zbl 1086.46033)].