Abstract
We extend previous results about Putinar’s Positivstellensatz for cylinders of type S × ℝ to sets of type S × ℝr in some special cases, taking into account r and the degree of the polynomial with respect to the variables moving in ℝr (this is to say, in the non-bounded directions). These special cases are in correspondence with the ones where the equality between the cone of non-negative polynomials and the cone of sums of squares holds. Degree bounds are provided.
Acknowledgement
We are very grateful to Michel Coste for suggesting to us these extensions of our results from [9]
Funding: The authors were partially supported by the Argentinian grants UBACYT 20020190100116BA and PIP 11220130100527CO CONICET.
Communicated by: D. Plaumann
References
[1] J. Bochnak, M. Coste, M.-F. Roy, M.-F. Roy, Real algebraic geometry. Springer 1998. MR1659509 Zbl 0912.1402310.1007/978-3-662-03718-8Search in Google Scholar
[2] M. D. Choi, T. Y. Lam, B. Reznick, Real zeros of positive semidefinite forms. I. Math. Z. 171 (1980), 1–26. MR566480 Zbl 0415.1001810.1007/BF01215051Search in Google Scholar
[3] E. de Klerk, M. Laurent, Error bounds for some semidefinite programming approaches to polynomial minimization on the hypercube. SIAM J. Optim. 20 (2010), 3104–3120. MR2735946 Zbl 1229.9027910.1137/100790835Search in Google Scholar
[4] D. Djoković, Hermitian matrices over polynomial rings. J. Algebra43 (1976), 359–374. MR437565 Zbl 0343.1500610.1016/0021-8693(76)90119-8Search in Google Scholar
[5] P. Escorcielo, D. Perrucci, A version of Putinar’s Positivstellensatz for cylinders. J. Pure Appl. Algebra224 (2020), 106448, 16 pages. MR4101482 Zbl 1465.1200310.1016/j.jpaa.2020.106448Search in Google Scholar
[6] S. Kuhlmann, M. Marshall, Positivity, sums of squares and the multi-dimensional moment problem. Trans. Amer. Math. Soc. 354 (2002), 4285–4301. MR1926876 Zbl 1012.1401910.1090/S0002-9947-02-03075-1Search in Google Scholar
[7] S. Kuhlmann, M. Marshall, N. Schwartz, Positivity, sums of squares and the multi-dimensional moment problem. II. Adv. Geom. 5 (2005), 583–606. MR2174483 Zbl 1095.1405510.1515/advg.2005.5.4.583Search in Google Scholar
[8] V. Magron, Error bounds for polynomial optimization over the hypercube using Putinar type representations. Optim. Lett. 9 (2015), 887–895. MR3348589 Zbl 1342.9012610.1007/s11590-014-0797-8Search in Google Scholar
[9] M. Marshall, Positive polynomials and sums of squares, volume 146 of Mathematical Surveys and Monographs. Amer. Math. Soc. 2008. MR2383959 Zbl 1169.1300110.1090/surv/146Search in Google Scholar
[10] M. Marshall, Polynomials non-negative on a strip. Proc. Amer. Math. Soc. 138 (2010), 1559–1567. MR2587439 Zbl 1189.1406510.1090/S0002-9939-09-10016-3Search in Google Scholar
[11] J. Nie, M. Schweighofer, On the complexity of Putinar’s Positivstellensatz. J. Complexity23 (2007), 135–150. MR2297019 Zbl 1143.1302810.1016/j.jco.2006.07.002Search in Google Scholar
[12] V. Powers, Positive polynomials and the moment problem for cylinders with compact cross-section. J. Pure Appl. Algebra188 (2004), 217–226. MR2030815 Zbl 1035.1402210.1016/j.jpaa.2003.10.009Search in Google Scholar
[13] V. Powers, B. Reznick, A new bound for Pólya’s theorem with applications to polynomials positive on polyhedra. J. Pure Appl. Algebra164 (2001), 221–229. MR1854339 Zbl 1075.1452310.1016/S0022-4049(00)00155-9Search in Google Scholar
[14] M. Putinar, Positive polynomials on compact semi-algebraic sets. Indiana Univ. Math. J. 42 (1993), 969–984. MR1254128 Zbl 0796.1200210.1512/iumj.1993.42.42045Search in Google Scholar
[15] K. Schmüdgen, The K-moment problem for compact semi-algebraic sets. Math. Ann. 289 (1991), 203–206. MR1092173 Zbl 0744.4400810.1007/978-3-319-64546-9_12Search in Google Scholar
[16] M. Schweighofer, On the complexity of Schmüdgen’s Positivstellensatz. J. Complexity20 (2004), 529–543. MR2068157 Zbl 1161.6848010.1016/j.jco.2004.01.005Search in Google Scholar
© 2022 Walter de Gruyter GmbH, Berlin/Boston