Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

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 $K$ be the basic closed semi-algebraic set in $\mathbb{R}^n$ defined by some finite set of polynomials $S$ and $T$, the preordering generated by $S$. For $K$ compact, $f$ a polynomial in $n$ variables nonnegative on $K$ and real $\epsilon>0$, we have that $f+\epsilon\in T$ [15]. In particular, the $K$-Moment Problem has a positive solution. In the present paper, we study the problem when $K$ is not compact. For $n=1$, we show that the $K$-Moment Problem has a positive solution if and only if $S$ is the natural description of $K$ (see Section 1). For $n\ge 2$, we show that the $K$-Moment Problem fails if $K$ contains a cone of dimension 2. On the other hand, we show that if $K$is a cylinder with compact base, then the following property holds:

\begin{displaymath}(\ddagger)\quad\quad\forall f\in \mathbb{R}[X], f\ge 0 \text{... ...hat }\forall \text{ real } \epsilon>0, f+\epsilon q\in T.\quad \end{displaymath}

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


References [Enhancements On Off] (What's this?)

  • 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 $K$-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.

Similar Articles

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

American Mathematical Society