Subspaces with equal closure

We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The key idea is to show, in considerable generality, that a module, which is generated over the polynomials or trigonometric functions by some set, necessarily has the same closure as the module which is generated by this same set, but now over the compactly supported smooth functions. The particular properties of the ambient space or generating set are to a large degree irrelevant. This translation -- which goes in fact beyond modules -- allows us, by what is now essentially a straightforward check of a few properties, to replace many classical results by more general and stronger statements of a hitherto unknown type. As a side result, we also obtain a new integral criterion for multidimensional measures to be determinate. At the technical level, we use quasi-analytic classes in several variables and we show that two well-known families of one-dimensional weights are essentially equal. The method can be formulated for Lie groups and this interpretation shows that many classical approximation theorems are "actually" theorems on the unitary dual of n-dimensional real space. Polynomials then correspond to the universal enveloping algebra.Comment: 61 pages, LaTeX 2e, no figures. Second and final version, with minor changes in presentation. Mathematically identical to the first version. Accepted by Constructive Approximatio

Free vector lattices over vector spaces

We show that free vector lattices over vector spaces can be realised in a natural fashion as vector lattices of real-valued functions. The argument is inspired by earlier work by Bleier, with some analysis in locally convex topological vector spaces added. Using this fact for free vector lattices over vector spaces, we can improve the well-known result that free vector lattices over non-empty sets can be realised as vector lattices of real-valued functions. For infinite sets, the underlying spaces for such realisations can be chosen to be much smaller than the usual ones.Comment: 8 page

Determinate multidimensional measures, the extended Carleman theorem and quasi-analytic weights

We prove in a direct fashion that a multidimensional probability measure is determinate if the higher dimensional analogue of Carleman's condition is satisfied. In that case, the polynomials, as well as certain proper subspaces of the trigonometric functions, are dense in the associated L_p spaces for all finite p. In particular these three statements hold if the reciprocal of a quasi-analytic weight has finite integral under the measure. We give practical examples of such weights, based on their classification. As in the one dimensional case, the results on determinacy of measures supported on R^n lead to sufficient conditions for determinacy of measures supported in a positive convex cone, i.e. the higher dimensional analogue of determinacy in the sense of Stieltjes.Comment: 20 pages, LaTeX 2e, no figures. Second and final version, with minor corrections and an additional section on Stieltjes determinacy in arbitrary dimension. Accepted by The Annals of Probabilit

Paley-Wiener theorems for the Dunkl transform

We conjecture a geometrical form of the Paley-Wiener theorem for the Dunkl transform and prove three instances thereof, one of which involves a limit transition from Opdam's results for the graded Hecke algebra. Furthermore, the connection between Dunkl operators and the Cartan motion group is established. It is shown how the algebra of radial parts of invariant differential operators can be described explicitly in terms of Dunkl operators, which implies that the generalized Bessel functions coincide with the spherical functions. In this context, the restriction of Dunkl's intertwining operator to the invariants can be interpreted in terms of the Abel transform. Using shift operators we also show that, for certain values of the multiplicities of the restricted roots, the Abel transform is essentially inverted by a differential operator.Comment: LaTeX, 26 pages, no figures. References updated and minor changes, mathematically identical to the first version. To appear in Trans. Amer. Math. So