Necessary and sufficient conditions for integral representations of Wightman functionals at Schwinger points

Given a set of Wightman functions one would like to associate to it a field on Euclidean space admitting a simultaneous diagonalization. We investigate when this can be done in such a way that the Schwinger functions are the expectation values of this commutative field with a bounded metric operator commuting with the field. This requires as a tool the characterization of those linear functionals on the symmetric tensor algebra over a space of test functions which can be represented by complex measures on the corresponding space of distributions.