Positivity, sums of squares and the multi-dimensional moment problem

Authors:
S. Kuhlmann and M. Marshall

Journal:
Trans. Amer. Math. Soc. **354** (2002), 4285-4301

MSC (2000):
Primary 14P10, 44A60

DOI:
https://doi.org/10.1090/S0002-9947-02-03075-1

Published electronically:
July 8, 2002

MathSciNet review:
1926876

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let be the basic closed semi-algebraic set in defined by some finite set of polynomials and , the preordering generated by . For compact, a polynomial in variables nonnegative on and real , we have that [15]. In particular, the -Moment Problem has a positive solution. In the present paper, we study the problem when is not compact. For , we show that the -Moment Problem has a positive solution if and only if is the natural description of (see Section 1). For , we show that the -Moment Problem fails if contains a cone of dimension 2. On the other hand, we show that if is a cylinder with compact base, then the following property holds:

This property is strictly weaker than the one given in [15], but in turn it implies a positive solution to the -Moment Problem. Using results of [9], we provide many (noncompact) examples in hypersurfaces for which () holds. Finally, we provide a list of 8 open problems.

**1.**C. Berg,*The multidimensional moment problem and semigroups*, Proc. of Symposia in Applied Math. 37 (1987), 110-124. MR**89k:44013****2.**C. Berg, J. Christensen, C. Jensen,*A remark on the multidimensional moment problem*, Math. Ann. 243 (1979), 163-169. MR**81e:44008****3.**C. Berg, J. Christensen, P. Ressel,*Harmonic analysis on semigroups: theory of positive definite and related functions*, Springer-Verlag, 1984. MR**86b:43001****4.**C. Berg, P. H. Maserick,*Polynomially positive definite sequences*, Math. Ann. 259 (1982), 487-495. MR**84k:44012****5.**E. K. Haviland,*On the momentum problem for distribution functions in more than one dimension*, Amer. J. Math. 57 (1935), 562-572.**6.**E. K. Haviland,*On the momentum problem for distribution functions in more than one dimension II*, Amer. J. Math. 58 (1936), 164-168.**7.**T. Jacobi, A. Prestel,*Distinguished representations of strictly positive polynomials*, J. reine angew. Math. 532 (2001), 223-235. MR**2001m:14080****8.**M. Marden,*The geometry of the zeros of a polynomial of a complex variable*, Math. Surveys 3, Amer. Math. Soc., Providence, RI, 1949. MR**11:101i****9.**M. Marshall,*Extending the archimedean Positivstellensatz to the non-compact case*, Canad. Math. Bull. 44 (2001), 223-230. MR**2002b:14073****10.**M. Marshall,*Positive polynomials and sums of squares*, Dottorato de Ricerca in Matematica, Dept. di Mat., Univ. Pisa, 2000.**11.**V. Powers, C. Scheiderer,*The moment problem for non-compact semialgebraic sets*, Advances in Geometry 1 (2001), 71-88. MR**2002c:14086****12.**V. Powers, C. Scheiderer,*Correction to the paper ``The moment problem for non-compact semialgebraic sets''*, to appear, Advances in Geometry.**13.**C. Scheiderer,*Sums of squares of regular functions on real algebraic varieties*, Transactions Amer. Math. Soc. 352 (1999), 1030-1069. MR**2000j:14090****14.**C. Scheiderer,*Sums of squares in coordinate rings of compact real varieties*, work in progress.**15.**K. Schmüdgen,*The**-moment problem for compact semi-algebraic sets*, Math. Ann. 289 (1991), 203-206. MR**92b:44011****16.**N. Schwartz,*Positive polynomials in the plane*, work in progress, September, 2001.**17.**T. Wörmann,*Short algebraic proofs of theorems of Schmüdgen and Pólya*, preprint.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
14P10,
44A60

Retrieve articles in all journals with MSC (2000): 14P10, 44A60

Additional Information

**S. Kuhlmann**

Affiliation:
Mathematical Sciences Group, Department of Computer Science, University of Saskatchewan, Saskatoon, SK Canada, S7N 5E6

Email:
skuhlman@math.usask.ca

**M. Marshall**

Affiliation:
Mathematical Sciences Group, Department of Computer Science, University of Saskatchewan, Saskatoon, SK Canada, S7N 5E6

Email:
marshall@math.usask.ca

DOI:
https://doi.org/10.1090/S0002-9947-02-03075-1

Received by editor(s):
October 3, 2000

Received by editor(s) in revised form:
March 21, 2002

Published electronically:
July 8, 2002

Additional Notes:
This research was supported in part by NSERC of Canada

Article copyright:
© Copyright 2002
American Mathematical Society