The moment problem on curves with bumps

The power moments of a positive measure on the real line or the circle are characterized by the non-negativity of an infinite matrix, Hankel, respectively Toeplitz, attached to the data. Except some fortunate configurations, in higher dimensions there are no non-negativity criteria for the power moments of a measure to be supported by a prescribed closed set. We combine two well studied fortunate situations, specifically a class of curves in two dimensions classified by Scheiderer and Plaumann, and compact, basic semi-algebraic sets, with the aim at enlarging the realm of geometric shapes on which the power moment problem is accessible and solvable by non-negativity certificates.


Introduction
Throughout the present note R[x 1 , . . . , x d ] denotes the ring of polynomials with real coefficients in d indeterminates. We adopt the standard notation Recalling some basic notions of real algebraic geometry is also in order. Specifically, for a finite subset R = {r 1 , . . . , r k } ⊆ R[x 1 , . . . , x d ], we let Q R stand for the quadratic module generated by R: Also, K Q := {x ∈ R d : r j (x) ≥ 0 for j = 1, . . . , k} is the common non-negativity set of elements of Q = Q R . In general a quadratic module is a subset of the polynomial algebra closed under addition and multiplication by sums of squares, see [7].
Given a multisequence s = (s γ ) γ ∈N d 0 and a closed set K ⊆ R d , the full K -moment problem on R d entails determining whether or not there exists a positive Borel measure μ on R d such that If conditions (1.1) and (1.2) are satisfied, then we say that s has a K -representing measure.
It is clear that the Riesz-Haviland functional L s is non-negative on the quadratic module Q, whenever the moment problem with s has a K Q -representing measure, where Whether the converse is true is one of the central questions of multivariate moment problem theory, see [7,11] for ample details. In this direction we recall a useful terminology. A quadratic module Q is said to satisfy the strong moment property (SMP) if every Q-positive functional L : R[x 1 , . . . , x d ] → R is a moment functional with the additional requirement that the measure is supported on K Q , i.e., there exists a positive Borel measure μ supported by K Q such that When dropping the requirement supp(μ) ⊆ K Q in the (SMP), we simply say that Q possesses the moment property (MP). A quadratic module Q is called archimedean if there exists a positive constant C with the property C − |x| 2 ∈ Q. In this case K Q is compact and, by an observation of the second author, the module Q has property (SMP), see again [7,11] for details. A classical theorem due to Hamburger (see [2][3][4] and [11] for a contemporary treatment) asserts that on the real line every positive definite sequence has the strong moment property. In equivalent terms, the non-negativity of the infinite Hankel matrix (s k+n ) ∞ k,n=0 is necessary and sufficient for (s n ) ∞ n=0 to be the power moment sequence of a positive measure on R. Two dimensions are special, notably for allowing to extend similar sufficient positivity conditions for the solvability of the moment problem along codimension-one unbounded varieties, that is real algebraic curves. Note that if q ∈ R[x 1 , x 2 ] is non-zero, than V(q) is a curve, or a set of real points.
One step further, we are seeking only reduced principal ideals, that is we enforce that a polynomial f vanishes on V(q) if and only if f ∈ (q). This happens if the factorization of q into irreducible factors is square free and each factor changes sign in R 2 . See [1] for a proof and the natural framework for such a real Nullstellensatz. In this scenario we simply say that (q) is a real ideal. The main results of [8] and [6] may be combined to produce the following theorem.
if and only if the following conditions hold:

the union of all irreducible components of V(q)
that do not admit any non-constant bounded polynomial functions) are non-singular and rational. (iv) The configuration of all irreducible components of V(q) contains no loops.
In particular, the above result implies that the quadratic module (q) + 2 has the strong moment property [6,8]. It is also worth mentioning that [5] has discovered finitely generated preorderings in R[x 1 , x 2 ] which satisfy the strong moment property. The above result is in sharp contrast to higher dimensional situations, where in general not every positive definite functional along a variety is represented by integration against a positive measure (see, [9] for details).

Main result
We consider the union of a curve which satisfies conditions (i)-(iv) in Theorem 1.1 with a side (to become clear in an instant) of a truly compact semi-algebraic set with the aim at providing positivity certificates for the moment problem to be solvable on that prescribed support.
Proof of Theorem 2. 1 We denote in short x = (x 1 , x 2 ). Let L ∈ R[x] be a non-trivial linear functional which is non-negative on 2 + q Q. We want to prove that L is represented by integration against a positive measure supported by V(q) ∪ [K Q ∩ {q ≥ 0}]. Since L is non-zero, the Cauchy-Schwarz inequality implies L(1) > 0. Below we will use repeatedly the observation that there are elements f ∈ R[x] with the property L( f ) > 0.
The functional h → L(qh) is non-negative for h ∈ Q and Q is an archimedean quadratic module, so there exists a positive Borel measure ν supported by K Q , such that: [7,11].
We claim that the measure ν does not carry mass on the set {q ≤ 0}, i.e., The positivity of the functional L on squares yields On the other hand, The non-negativity set K Q is compact, therefore continuous functions on K Q can be uniformly approximated by polynomials. Moreover, continuous functions on K Q are dense in L 2 (ν). That is where f ∈ R[x] and ψ ∈ L 2 (ν). If we let χ = 1 V(I)∩K Q denote the characteristic function of V(I) ∩ K Q and ψ = χ, then (2.3) becomes Choosing next ψ to be the characteristic function of a compact subset of the open set {q < 0}, we find from (2.3): In particular, for every characteristic function of a compact subset of {q < 0}. This proves (2.1).
Next we choose ψ in (2.3) of the form ψ = f q φ, where φ = φ 2 is the characteristic function of a compact subset of {q > 0}. We find be a positive definite bisequence and let Q = Q(r 1 , . . . , r k ) ⊆ R[x 1 , x 2 ] be an archimedean quadratic module. If there exists q ∈ R[x 1 , x 2 ] such that (q) is a non-trivial, real principal ideal of R[x 1 , x 2 ] whose zero set satisfies conditions (i)-(iv) of Theorem 1.1 and q r j (E)s is positive definite for j = 1, . . . , k, then s has a representing measure μ with Proof Let L s : R[x 1 , x 2 ] → R denote the Riesz-Haviland functional with respect to s. Then, since s is positive definite and we have a suitable q ∈ R[x 1 , x 2 ] such that (2.7) is in force, we have Thus, the desired conclusion follows immediately from Theorem 2.1.
We add a few remarks on Theorem 2.1 and its proof.

Remark 2.3 (a)
If the quadratic module in the statement of the theorem is finitely generated Q = Q(r 1 , . . . , r k ), then the enhanced quadratic module which is shown to carry (SMP) is Q(q, qr 1 , . . . , qr k ). Notice that the latter may not be archimedean, although Q is. (b) Changing the generator of the principal ideal (q) will alter the outcome of the statement, for instance −q instead of q in the enhanced quadratic module will flip the "bumps" on the other side of the curve V(q). (c) In the case that Q is a preordering of R[x 1 , x 2 ], then Theorem 2.1 follows immediately from Schmüdgen's fibre theorem [10]. Indeed, we note that, since K Q is compact, q is a bounded polynomial on V(q) ∪ [K Q ∩ {q > 0}] and the preordering Q λ ⊆ R[x 1 , x 2 ] given by where (q − λ) denotes the ideal generated by the polynomial q(x 1 , x 2 ) − λ and satisfies the (SMP). The preordering Q 0 satisfies the (SMP) by Theorem 2.1 and Q λ with λ > 0 satisfies the (SMP) since K Q λ is compact.
The statement of Theorem 2.1 and Corollary 2.2 can be generalized to any number of variables, keeping (q) a real ideal with its zero set hypersurface possessing the (SMP), i.e., the quadratic module 2 + (q) ⊆ R[x 1 , . . . , x d ] has the strong moment property. This is the case for instance of a compact zero set V(q). Indeed, if V(q) is compact, then 2 + (q) is a quadratic module with (SMP) [11]. We will now provide a statement of the aforementioned generalization of Theorem 2.1. Proof The proof can be carried out in much the same way as the proof of Theorem 2.1 with the caveat that one will have to rely on the quadratic module 2 + (q) satisfying the (SMP) to obtain a measure supported on V(q) for the functional .

Corollary 2.4 Let
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.