The full infinite dimensional moment problem on semi-algebraic sets of generalized functions

Abstract

We consider a generic basic semi-algebraic subset $\mathcal{S}$ of the space of generalized functions, that is a set given by (not necessarily countably many) polynomial constraints. We derive necessary and sufficient conditions for an infinite sequence of generalized functions to be realizable on $\mathcal{S}$, namely to be the moment sequence of a finite measure concentrated on $\mathcal{S}$. Our approach combines the classical results about the moment problem on nuclear spaces with the techniques recently developed to treat the moment problem on basic semi-algebraic sets of ${\mathbb{R}}^d$. In this way, we determine realizability conditions that can be more easily verified than the well-known Haviland type conditions. Our result completely characterizes the support of the realizing measure in terms of its moments. As concrete examples of semi-algebraic sets of generalized functions, we consider the set of all Radon measures and the set of all the measures having bounded Radon-Nikodym density w.r.t. the Lebesgue measure.

29 pages, Journal of Functional Analysis, 2014

References in corpus (1)

• On a spectral representation for correlation measures in configuration space analysis

Cited by in corpus (12)

• The full moment problem on subsets of probabilities and point configurations
• Infinite dimensional moment problem: open questions and applications
• Moment problem in infinitely many variables
• An intrinsic characterization of moment functionals in the compact case
• Moment problem for symmetric algebras of locally convex spaces
• Translation invariant realizability problem on the $d-$dimensional lattice: an explicit construction
• The singular bivariate quartic tracial moment problem
• Moment problem for algebras generated by a nuclear space
• On the determinacy of the moment problem for symmetric algebras of a locally convex space
• Projective limits techniques for the infinite dimensional moment problem
• Infinite-dimensional moment-SOS hierarchy for nonlinear partial differential equations
• Solving moment and polynomial optimization problems on Sobolev spaces