Abstract
For a degree 2n finite sequence of real numbers \(\beta \equiv \beta ^{(2n)}= \{ \beta _{00},\beta _{10},\) \(\beta _{01},\ldots , \beta _{2n,0}, \beta _{2n-1,1},\ldots , \beta _{1,2n-1},\beta _{0,2n} \}\) to have a representing measure \(\mu \), it is necessary for the associated moment matrix \(\mathcal {M}(n)\) to be positive semidefinite, and for the algebraic variety associated to \(\beta \), \(\mathcal {V}_{\beta } \equiv \mathcal {V}(\mathcal {M}(n))\), to satisfy \({\text {rank}} \mathcal {M}(n)\le {\text {card}} \mathcal {V}_{\beta }\) as well as the following consistency condition: if a polynomial \(p(x,y)\equiv \sum _{ij}a_{ij}x^{i}y^j\) of degree at most 2n vanishes on \(\mathcal {V}_{\beta }\), then the Riesz functional \(\Lambda (p) \equiv p(\beta ):=\sum _{ij}a_{ij}\beta _{ij}=0\). Positive semidefiniteness, recursiveness, and the variety condition of a moment matrix are necessary and sufficient conditions to solve the quadratic (\(n=1\)) and quartic (\(n=2\)) moment problems. Also, positive semidefiniteness, combined with consistency, is a sufficient condition in the case of extremal moment problems, i.e., when the rank of the moment matrix (denoted by r) and the cardinality of the associated algebraic variety (denoted by v) are equal. For extremal sextic moment problems, verifying consistency amounts to having good representation theorems for sextic polynomials in two variables vanishing on the algebraic variety of the moment sequence. We obtain such representation theorems using the Division Algorithm from algebraic geometry. As a consequence, we are able to complete the analysis of extremal sextic moment problems.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
References
Cox, D., Little, J., O’Shea, D.: Ideals, Varieties and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 2nd edn. Springer, New York (1992)
Curto, R., Fialkow, L.: Solution of the Truncated Complex Moment Problem with Flat Data. Memoirs American Mathematical Society 119, no. 568, Providence, x + 52 pp (1996)
Curto, R., Fialkow, L.: Flat Extensions of Positive Moment Matrices: Recursively Generated Relations. Memoirs American Mathematical Society 136, no. 648, Providence, x + 56 pp (1998)
Curto, R., Fialkow, L.: Solution of the singular quartic moment problem. J. Oper. Theory 48, 315–354 (2002)
Curto, R., Fialkow, L.: Truncated \(K\)-moment problems in several variables. J. Oper. Theory 54, 189–226 (2005)
Curto, R., Fialkow, L., Möller, H.M.: The extremal truncated moment problem. Integral Equ. Oper. Theory 60, 177–200 (2008)
Curto, R., Yoo, S.: Cubic column relations in truncated moment problems. J. Funct. Anal. 266, 1611–1626 (2014)
Fialkow, L.: Truncated multivariable moment problems with finite variety. J. Oper. Theory 60, 343–377 (2008)
Fialkow, L.: Solution of the truncated moment problem with variety \(y=x^3\). Trans. Am. Math. Soc. 363, 3133–3165 (2011)
Stochel, J.: Moment functions on real algebraic sets. Ark. Mat. 30, 133–148 (1992)
Wolfram Research, Inc., Mathematica, Version 9.0, Champaign, IL, (2013)
Yoo, S.: Extremal Sextic Truncated Moment Problems. Ph.D. Dissertation, University of Iowa, Iowa City (2011)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Curto, R.E., Yoo, S. The Division Algorithm in Sextic Truncated Moment Problems. Integr. Equ. Oper. Theory 87, 515–528 (2017). https://doi.org/10.1007/s00020-017-2347-0
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00020-017-2347-0