{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T12:06:55Z","timestamp":1770638815857,"version":"3.49.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,11,17]],"date-time":"2017-11-17T00:00:00Z","timestamp":1510876800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,11,17]],"date-time":"2017-11-17T00:00:00Z","timestamp":1510876800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000121","name":"Division of Mathematical Sciences","doi-asserted-by":"publisher","award":["1515161"],"award-info":[{"award-number":["1515161"]}],"id":[{"id":"10.13039\/100000121","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Nonlinear Sci"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1007\/s00332-017-9421-2","type":"journal-article","created":{"date-parts":[[2017,11,17]],"date-time":"2017-11-17T13:39:35Z","timestamp":1510925975000},"page":"621-651","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":31,"title":["Bounding Averages Rigorously Using Semidefinite\u00a0Programming: Mean Moments of the Lorenz System"],"prefix":"10.1007","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3109-0830","authenticated-orcid":false,"given":"David","family":"Goluskin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,17]]},"reference":[{"key":"9421_CR1","doi-asserted-by":"crossref","unstructured":"Boyd, S., Vandenberghe, L.: Convex Optimization. Cambridge University Press, Cambridge (2004)","DOI":"10.1017\/CBO9780511804441"},{"key":"9421_CR2","doi-asserted-by":"publisher","first-page":"20130350","DOI":"10.1098\/rsta.2013.0350","volume":"372","author":"SI Chernyshenko","year":"2014","unstructured":"Chernyshenko, S.I., Goulart, P., Huang, D., Papachristodoulou, A.: Polynomial sum of squares in fluid dynamics: a review with a look ahead. Philos. Trans. R. Soc. A 372, 20130350 (2014)","journal-title":"Philos. Trans. R. Soc. A"},{"key":"9421_CR3","volume-title":"Chaos: Classical and Quantum, ChaosBook.org","author":"P Cvitanovi\u0107","year":"2016","unstructured":"Cvitanovi\u0107, P., Artuso, R., Mainieri, R., Tanner, G., Vattay, G.: Chaos: Classical and Quantum, ChaosBook.org. Niels Bohr Institute, K\u00f8benhavn (2016)"},{"issue":"3","key":"9421_CR4","first-page":"255","volume":"10","author":"CR Doering","year":"1995","unstructured":"Doering, C.R., Gibbon, J.D.: On the shape and dimension of the Lorenz attractor. Dyn. Stab. Syst. 10(3), 255\u2013268 (1995)","journal-title":"Dyn. Stab. Syst."},{"key":"9421_CR5","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BF01316970","volume":"93","author":"B Eckhardt","year":"1994","unstructured":"Eckhardt, B., Ott, G.: Periodic orbit analysis of the Lorenz attractor. Z. Phys. B 93, 259\u2013266 (1994)","journal-title":"Z. Phys. B"},{"key":"9421_CR6","doi-asserted-by":"publisher","first-page":"1962","DOI":"10.1137\/15M1053347","volume":"15","author":"G Fantuzzi","year":"2016","unstructured":"Fantuzzi, G., Goluskin, D., Huang, D., Chernyshenko, S.I.: Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization. SIAM J. Appl. Dyn. Syst. 15, 1962\u20131988 (2016)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"9421_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.jpaa.2003.12.011","volume":"192","author":"K Gatermann","year":"2004","unstructured":"Gatermann, K., Parrilo, P.A.: Symmetry groups, semidefinite programs, and sums of squares. J. Pure Appl. Algebra 192, 95\u2013128 (2004)","journal-title":"J. Pure Appl. Algebra"},{"key":"9421_CR8","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1109\/TAC.2013.2283095","volume":"59","author":"D Henrion","year":"2014","unstructured":"Henrion, D., Korda, M.: Convex computation of the region of attraction of polynomial control systems. IEEE Trans. Automat. Contr. 59, 297\u2013312 (2014)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"9421_CR9","doi-asserted-by":"publisher","first-page":"2512","DOI":"10.1137\/15M1036543","volume":"26","author":"D Henrion","year":"2016","unstructured":"Henrion, D., Naldi, S., Safey El Din, M.: Exact algorithms for linear matrix inequalities. SIAM J. Optim. 26, 2512\u20132539 (2016)","journal-title":"SIAM J. Optim."},{"key":"9421_CR10","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/BF01443605","volume":"32","author":"D Hilbert","year":"1888","unstructured":"Hilbert, D.: Ueber die Darstellung definiter Formen als Summe von Formenquadraten. Math. Ann. 32, 342\u2013350 (1888)","journal-title":"Math. Ann."},{"key":"9421_CR11","unstructured":"Jansson, C.: VSDP: a MATLAB software package for verified semidefinite programming. Technical report, Hamburg University of Technology (2006)"},{"key":"9421_CR12","doi-asserted-by":"publisher","first-page":"197","DOI":"10.3934\/dcds.2006.15.197","volume":"15","author":"O Jenkinson","year":"2006","unstructured":"Jenkinson, O.: Ergodic optimization. Discrete Contin. Dyn. Syst. 15, 197\u2013224 (2006)","journal-title":"Discrete Contin. Dyn. Syst."},{"key":"9421_CR13","doi-asserted-by":"crossref","unstructured":"Kaltofen, E., Li, B., Yang, Z., Zhi, L.: Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. In: Proceedings of the Twenty-First International Symposium Symbolic Algebraic Computation (2008)","DOI":"10.1145\/1390768.1390792"},{"key":"9421_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jsc.2011.08.002","volume":"47","author":"EL Kaltofen","year":"2012","unstructured":"Kaltofen, E.L., Li, B., Yang, Z., Zhi, L.: Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. J. Symb. Comput. 47, 1\u201315 (2012)","journal-title":"J. Symb. Comput."},{"key":"9421_CR15","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/BF01009519","volume":"20","author":"E Knobloch","year":"1979","unstructured":"Knobloch, E.: On the statistical dynamics of the Lorenz model. J. Stat. Phys. 20, 695\u2013709 (1979)","journal-title":"J. Stat. Phys."},{"key":"9421_CR16","doi-asserted-by":"crossref","unstructured":"L\u00f6fberg, J.: YALMIP: a toolbox for modeling and optimization in MATLAB. In: IEEE International Conference on Computed Aided Control System and Design, Taipei, Taiwan, pp. 284\u2013289 (2004)","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"9421_CR17","doi-asserted-by":"publisher","first-page":"1007","DOI":"10.1109\/TAC.2009.2017144","volume":"54","author":"J L\u00f6fberg","year":"2009","unstructured":"L\u00f6fberg, J.: Pre- and post-processing sum-of-squares programs in practice. IEEE Trans. Automat. Contr. 54, 1007\u20131011 (2009)","journal-title":"IEEE Trans. Automat. Contr."},{"key":"9421_CR18","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1175\/1520-0469(1963)020<0130:DNF>2.0.CO;2","volume":"20","author":"EN Lorenz","year":"1963","unstructured":"Lorenz, E.N.: Deterministic nonperiodic flow. J. Atmos. Sci. 20, 130\u2013141 (1963)","journal-title":"J. Atmos. Sci."},{"issue":"6","key":"9421_CR19","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/BF01020800","volume":"15","author":"M L\u00fccke","year":"1976","unstructured":"L\u00fccke, M.: Statistical dynamics of the Lorenz model. J. Stat. Phys. 15(6), 455\u2013475 (1976)","journal-title":"J. Stat. Phys."},{"key":"9421_CR20","first-page":"125","volume":"6","author":"WVR Malkus","year":"1972","unstructured":"Malkus, W.V.R.: Non-periodic convection at high and low Prandtl number. M\u00e9m. Soc. R. Sci. Li\u00e8ge Collect. IV 6, 125\u2013128 (1972)","journal-title":"M\u00e9m. Soc. R. Sci. Li\u00e8ge Collect. IV"},{"key":"9421_CR21","doi-asserted-by":"crossref","unstructured":"Monniaux, D., Corbineau, P.: On the generation of Positivstellensatz witnesses in degenerate cases. In: Proceedings of the Interactive Theorem Proving, pp. 249\u2013264. Springer (2011)","DOI":"10.1007\/978-3-642-22863-6_19"},{"key":"9421_CR22","unstructured":"MOSEK ApS: The MOSEK optimization toolbox for MATLAB manual. Version 7.1 (Revision 54) (2015)"},{"key":"9421_CR23","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF02592948","volume":"39","author":"KG Murty","year":"1987","unstructured":"Murty, K.G., Kabadi, S.N.: Some NP-complete problems in quadratic and nonlinear programming. Math. Program. 39, 117\u2013129 (1987)","journal-title":"Math. Program."},{"key":"9421_CR24","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/s10107-008-0253-6","volume":"122","author":"J Nie","year":"2010","unstructured":"Nie, J., Ranestad, K., Sturmfels, B.: The algebraic degree of semidefinite programming. Math. Program. Ser. A 122, 379\u2013405 (2010)","journal-title":"Math. Program. Ser. A"},{"key":"9421_CR25","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s10107-003-0387-5","volume":"96","author":"PA Parrilo","year":"2003","unstructured":"Parrilo, P.A.: Semidefinite programming relaxations for semialgebraic problems. Math. Program. Ser. B 96, 293\u2013320 (2003)","journal-title":"Math. Program. Ser. B"},{"key":"9421_CR26","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/10997703_11","volume-title":"Posit. Polynomials Control","author":"PA Parrilo","year":"2005","unstructured":"Parrilo, P.A.: Exploiting algebraic structure in sum of squares programs. In: Henrion, D., Garulli, A. (eds.) Posit. Polynomials Control, pp. 181\u2013194. Springer, Berlin (2005)"},{"key":"9421_CR27","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/j.tcs.2008.09.025","volume":"409","author":"H Peyrl","year":"2008","unstructured":"Peyrl, H., Parrilo, P.A.: Computing sum of squares decompositions with rational coefficients. Theor. Comput. Sci. 409, 269\u2013281 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"9421_CR28","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0022-4049(97)83827-3","volume":"127","author":"V Powers","year":"1998","unstructured":"Powers, V., W\u00f6rmann, T.: An algorithm for sums of squares of real polynomials. J. Pure Appl. Algebr. 127, 99\u2013104 (1998)","journal-title":"J. Pure Appl. Algebr."},{"key":"9421_CR29","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"SM Rump","year":"1999","unstructured":"Rump, S.M.: INTLAB\u2014Interval Laboratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77\u2013104. Kluwer Academic Publishers, Berlin (1999)"},{"key":"9421_CR30","doi-asserted-by":"publisher","first-page":"2876","DOI":"10.1137\/090772459","volume":"20","author":"M Safey El Din","year":"2010","unstructured":"Safey El Din, M., Zhi, L.: Computing rational points in convex semi-algebraic sets and sos decompositions. SIAM J. Optim. 20, 2876\u20132889 (2010)","journal-title":"SIAM J. Optim."},{"key":"9421_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5767-7","volume-title":"The Lorenz Equations: Bifurcations, Chaos, and Strange Attractors","author":"C Sparrow","year":"1982","unstructured":"Sparrow, C.: The Lorenz Equations: Bifurcations, Chaos, and Strange Attractors. Springer, Berlin (1982)"},{"key":"9421_CR32","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/S0375-9601(01)00109-8","volume":"281","author":"P Swinnerton-Dyer","year":"2001","unstructured":"Swinnerton-Dyer, P.: Bounds for trajectories of the Lorenz equations: an illustration of how to choose Lyapunov functions. Phys. Lett. A 281, 161\u2013167 (2001)","journal-title":"Phys. Lett. A"},{"key":"9421_CR33","doi-asserted-by":"crossref","unstructured":"Tobasco, I., Goluskin, D., Doering, C.R.: Optimal bounds and extremal trajectories for time averages in dynamical systems. arXiv:1705.07096v2 (2017)","DOI":"10.1016\/j.physleta.2017.12.023"},{"issue":"328","key":"9421_CR34","first-page":"1197","volume":"I","author":"W Tucker","year":"1999","unstructured":"Tucker, W.: The Lorenz attractor exists. C. R. Acad. Sci. S\u00e9r. I(328), 1197\u20131202 (1999)","journal-title":"C. R. Acad. Sci. S\u00e9r."},{"key":"9421_CR35","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s10107-002-0347-5","volume":"95","author":"RH T\u00fct\u00fcnc\u00fc","year":"2003","unstructured":"T\u00fct\u00fcnc\u00fc, R.H., Toh, K.C., Todd, M.J.: Solving semidefinite-quadratic-linear programs using SDPT3. Math. Program. 95, 189\u2013217 (2003)","journal-title":"Math. Program."},{"key":"9421_CR36","doi-asserted-by":"publisher","first-page":"1035","DOI":"10.1088\/0951-7715\/16\/3\/314","volume":"16","author":"D Viswanath","year":"2003","unstructured":"Viswanath, D.: Symbolic dynamics and periodic orbits of the Lorenz attractor. Nonlinearity 16, 1035\u20131056 (2003)","journal-title":"Nonlinearity"},{"key":"9421_CR37","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.physd.2003.10.006","volume":"190","author":"D Viswanath","year":"2004","unstructured":"Viswanath, D.: The fractal property of the Lorenz attractor. Phys. D Nonlinear Phenom. 190, 115\u2013128 (2004)","journal-title":"Phys. D Nonlinear Phenom."},{"key":"9421_CR38","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1080\/00029890.2004.11920108","volume":"111","author":"X Wang","year":"2004","unstructured":"Wang, X.: A simple proof of Descartes\u2019s rule of signs. Am. Math. Mon. 111, 525\u2013526 (2004)","journal-title":"Am. Math. Mon."},{"key":"9421_CR39","first-page":"146137","volume":"2013","author":"M Wu","year":"2013","unstructured":"Wu, M., Yang, Z., Lin, W.: Exact asymptotic stability analysis and region-of-attraction estimation for nonlinear systems. Abstr. Appl. Anal. 2013, 146137 (2013)","journal-title":"Abstr. Appl. Anal."}],"container-title":["Journal of Nonlinear Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00332-017-9421-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00332-017-9421-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00332-017-9421-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T04:16:13Z","timestamp":1750997773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00332-017-9421-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,17]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,4]]}},"alternative-id":["9421"],"URL":"https:\/\/doi.org\/10.1007\/s00332-017-9421-2","relation":{},"ISSN":["0938-8974","1432-1467"],"issn-type":[{"value":"0938-8974","type":"print"},{"value":"1432-1467","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,17]]},"assertion":[{"value":"11 November 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 October 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 November 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}