Multivariate moment problems : geometry and indeterminateness

Putinar, Mihai; Scheiderer, Claus

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, Série 5, Tome 5 (2006) no. 2, pp. 137-157.

The most accurate determinateness criteria for the multivariate moment problem require the density of polynomials in a weighted Lebesgue space of a generic representing measure. We propose a relaxation of such a criterion to the approximation of a single function, and based on this condition we analyze the impact of the geometry of the support on the uniqueness of the representing measure. In particular we show that a multivariate moment sequence is determinate if its support has dimension one and is virtually compact; a generalization to higher dimensions is also given. Among the one-dimensional sets which are not virtually compact, we show that at least a large subclass supports indeterminate moment sequences. Moreover, we prove that the determinateness of a moment sequence is implied by the same condition (in general easier to verify) of the push-forward sequence via finite morphisms.

[1] N. I. Akhiezer, “The Classical Moment Problem”, Oliver and Boyd, Edinburgh and London, 1965.

[2] H. Bauer, “Probability Theory”, De Gruyter, Berlin, 1996. | MR | Zbl

[3] S. Bochner, “Harmonic Analysis and the Theory of Probability”, Univ. California Press, Berkeley, 1955. | MR | Zbl

[4] N. Bourbaki, “Algebra I”, Chapters 1-3. “Elements of Mathematics”, Springer, Berlin, 1989. | MR | Zbl

[5] J. Cimpric, S. Kuhlmann and C. Scheiderer, Work in progress on $G$-invariant moment problems.

[6] A. Devinatz, Two parameter moment problems, Duke Math. J. 24 (1957), 481-498. | MR | Zbl

[7] B. Fuglede, The multidimensional moment problem, Expo. Math. 1 (1983), 47-65. | MR | Zbl

[8] H. Hamburger, Beiträge zur Konvergenztheorie der Stieltjesschen Kettenbrüche, Math. Z. 4 (1919), 186-222. | JFM | MR

[9] H. Hamburger, Über die Konvergenz eines mit einer Potenzreihe assoziierten Kettenbruchs, Math. Ann. 20 (1920), 31-46. | JFM | MR

[10] E. K. Haviland, On the momentum problem for distribution functions in more than one dimension, II, Amer. J. Math. 58 (1936), 164-168. | JFM | MR

[11] G. M. Henkin and A. A. Shananin, Bernstein theorems and Radon transform. Application to the theory of production functions, In: “Mathematical Problems of Tomography”, Transl. Math. Monogr. 81, Amer. Math. Soc., Providence, RI, 1990, 189-223. | MR | Zbl

[12] A. G. Kostyučenko and B. S. Mityagin, Positive-definite functionals on nuclear spaces, Trudy Moskov Mat. Obsc. (in Russian) 9 (1960), 283-316; English translation, I. M. Gelfand and S. G. Gindikin (eds.), in Amer. Math. Soc. Transl. (ser. 2) 93 (1970), 1-43. | MR | Zbl

[13] E. Nelson, Analytic vectors, Ann. of Math. 70 (1959), 572-615. | MR | Zbl

[14] A. E. Nussbaum, A commutativity theorem for unbounded operators in Hilbert space, Trans. Amer. Math. Soc. 140 (1969), 485-491. | MR | Zbl

[15] O. Perron, “Die Lehre von den Kettenbrüchen”, Zweite verbesserte Auflage. Chelsea Publ. Comp. (reprint), New York, 1950. | MR | Zbl

[16] L. C. Petersen, On the relation between the multidimensional moment problem and the one-dimensional moment problem, Math. Scand. 51 (1982), 361-366. | MR | Zbl

[17] C. Procesi and G. Schwarz, Inequalities defining orbit spaces, Invent. math. 81 (1985), 539-554. | MR | Zbl

[18] M. Riesz, Sur le problème des moments. Troisième Note, Ark. Mat. Astr. Fys. 17 (1923), 1-52. | JFM

[19] C. Scheiderer, Sums of squares on real algebraic curves, Math. Z. 245 (2003), 725-760. | MR | Zbl

[20] K. Schmüdgen, On determinacy notions for the two dimensional moment problem, Ark. Math. 29 (1991), 277-284. | Zbl

[21] J. A. Shohat and J. D. Tamarkin, “The Problem of Moments”, Amer. Math. Soc., Providence, R.I., 1943. | MR | Zbl