101. The Division Algorithm in Sextic Truncated Moment Problems
- Author
-
Raúl E. Curto and Seonguk Yoo
- Subjects
Primary 47A57, 44A60, Secondary 15A45, 15-04, 47A20, 32A60 ,Algebra and Number Theory ,Degree (graph theory) ,010102 general mathematics ,Algebraic variety ,Moment matrix ,Positive-definite matrix ,Algebraic geometry ,Rank (differential topology) ,01 natural sciences ,Functional Analysis (math.FA) ,Mathematics - Functional Analysis ,Combinatorics ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,Variety (universal algebra) ,Analysis ,Mathematics ,Real number - 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.
- Published
- 2017
- Full Text
- View/download PDF