On a uniqueness theorem of E. B. Vul

We recall a uniqueness theorem of E. B. Vul pertaining to a version of the cosine transform originating in spectral theory. Then we point out an application to the Bernstein approximation problem with non-symmetric weights: a theorem of Volberg is proved by elementary means.


Introduction
A cosine transform and a uniqueness theorem The goal of this note is to draw attention to a uniqueness theorem for an integral transform originating in the spectral theory of Sturm-Liouville operators, and to point out an application in approximation theory.
Let σ : R → R be a function of bounded variation such that where (for λ < 0) cos(x √ λ) = ch(x √ −λ). The transform C (and its variants) appeared in the works of Povzner [24] and Krein [14], who showed that a continuous even function f : [−2a, 2a] → R defines an Hermitian-positive kernel K f (x, y) = f (x − y) + f (x + y) on L 2 (0, a) if and only if it has a representation f = Cσ with an increasing σ.

If p satisfies
∞ p(s) and σ is a function of bounded variation such that and Cσ ≡ 0, then σ ≡ const.
Remark 1.1. In [32], this result is stated under an additional assumption however, this requirement can be omitted with no essential modifications in the proof (which we reproduce in Section 4).
The uniqueness theorems of Levitan, Meiman, and Vul have found numerous applications. Already Krein [15] used the result of [19] to provide sufficient conditions for the self-adjointness of onedimensional second order differential operators in terms of the tails of (some) spectral measure. In [18], Levitan showed that Theorem 1 implies the following sufficient condition, due to Sears [25] for the self-adjointness of the Schrödinger operator L = −∆ + q on R d : The earlier result of [19] recovers the weaker sufficient condition q(x) ≥ −Ax 2 − B due to Titchmarsh [29]. Uniqueness results related to Theorem 1 have been also used in other branches of spectral theory, for example, in the study of the spectral edges of random band matrices [27].
In this note, we present an application to the Bernstein approximation problem with nonsymmetric weights, and also use the opportunity to make the proof of Vul accessible in English.
Bernstein's approximation problem The setting is as follows: given a lower semicontinuous function W : R → [1, ∞] such that 1/W (λ) = O(λ −∞ ), one inquires whether polynomials are dense in the space Equivalently, consider the space By a Hahn-Banach argument, polynomials are dense in C 0 (1/W ) if and only if Q W is quasianalytic in the sense of Hadamard, i.e. a function f ∈ Q W that has a zero of infinite order has to vanish identically.
We recall some of the classical results on the Bernstein approximation problem, and refer to the surveys [1] and [21] and the book [13] for more details. Hall [11] and Izumi and Kawata [12] proved that the condition is necessary for the completeness of polynomials in C 0 (1/W ). Carleson showed [8] that in general, (6) is not sufficient. However [12,8], if a weight W (λ) satisfying (6) is even, and the function s → log W (e s ) is convex, then polynomials are dense in C 0 (1/W ), and consequently also in C 0 (1/W ) for anyW ≥ W . Still, there are weightsW for which polynomials are dense and yet no such minorant W ≤W exists. Several necessary and sufficient conditions for completeness were derived, particularly, by Akhiezer-Bernstein, Pollard, Mergelyan (see [1,21]), de Branges [6], and more recently by Poltoratski [23], yet these are not always easily verifiable. Now we turn to the case when W has different rates of growth at ±∞. In the extreme case W (λ) ≡ +∞ for λ < 0, it follows from the result of Hall and Izumi-Kawata (for example, using is necessary for the completeness of polynomials in C 0 (1/W ). Consequently, if W is an arbitrary weight, it is necessary for the completeness of polynomials in C 0 (1/W ) that the pair of conditions be satisfied by either W (λ) or W (−λ). In [31], Volberg showed, answering a question asked by Mergelyan and by Ehrenpreis (cf. [10, Problem 13.8]), that the conditions are sufficient for completeness, provided that W is regular in the following sense: Another proof of this result was given by Borichev [5]. 1 The proof in [31] is based on a construction of an auxiliary analytic function and delicate estimates of the harmonic measure, whereas that of [5] is based on the method of quasianalytic (or almost holomorphic) extension, put forth by Dyn ′ kin [9]. The result of [31] was significantly generalised by M. Sodin [26], who relied on a theorem of de Branges [6]. It is shown in [26] that if and W satisfies the regularity assumption then polynomials are also dense in C 0 (1/W ). Here (9 ′ ) means that polynomials are dense for any weight differing from W/½ [0,∞) at a finite number of points; this condition is necessary, and thus can not be further relaxed. The regularity condition (11 ′ ) is somewhat restrictive, however, it is shown in [26] that some regularity has to be imposed: there exists a weight W satisfying (9) and (10) such that the functions s → log W (±e s ) are convex and still polynomials are not dense in C 0 (1/W ).
Here we prove (9) and (10) hold. If the functions s → log W (e s ) and s → log W (−s 2 ) are convex on [s 0 , ∞), then polynomials are dense in C 0 (1/W ).
Equivalently, the class Q W is quasianalytic; a fortiori, a non-zero f ∈ Q W can not vanish on a set of positive measure.
Our condition on W | R + is much more stringent than the optimal condition (9 ′ ) of [26] (although less stringent than (11)). On the other hand, the regularity assumptions on W | R − are weaker than (11 ′ ).
More importantly, the proof of Theorem 2 is relatively elementary. It is based on the following well-known construction, similar to the one used to relate the Stieltjes moment problem to the Hamburger one. Let where σ : R → R is a function of bounded variation such that Observing that we see that if f has a zero of infinite order at x = 0, then so does φ f . In the recent note [28], we presented an application of the map f → φ f to a problem of analytic quasianalyticity, which corresponds to the case when σ is supported on R + . Here we use this map and the Denjoy-Carleman theorem to reduce Theorem 2 to Theorem 1. We note that both the Denjoy-Carleman theorem and Theorem 1 can be proved (see [16, §14.3] and Section 4 below, respectively) using but the Carleman theorem from complex analysis, and the latter is a direct consequence of the formula for the harmonic measure in the half-plane.
Several corollaries The following corollaries are derived from Theorem 2 by relatively standard methods. The proofs are sketched in Section 3.  Finally, we deduce a variant of a result of Volberg from [30]. Corollary 1.4. Let W be as in Theorem 2, and let ν ≥ 0 be a measure on R such that j=1 be a sequence of points in the upper half-plane such that z j → 0 and Then the linear span of Here the regularity assumptions on W (λ) are somewhat weaker than in [30] (where a condition of the form (11 ′ ) and its counterpart at +∞ are imposed), and the assumption of non-tangential convergence |b j | ≥ ǫ|a j | is relaxed to (13).

Proof of Theorem 2
Assume that f ∈ Q W has a zero of infinite order, say, at x = 0: f (k) (0) = 0 for all k ≥ 0. Then φ f of (12) also satisfies φ Let us show that To this end, set where q(s) = log W (e s ). From the convexity of q, we deduce (following Ostrowski [22]) that the condition (9) implies (and is equivalent to) Now, from (10) we have that log W (−λ) ≥ (x + 1) √ λ for sufficiently large λ ≥ λ 0 (x), therefore where on the last step we used (16) and the Cauchy condensation test. According to the Denjoy-Carleman theorem [7], [16, §14.3], the class of functions admitting an estimate (14) with M k satisfying (15) is quasianalytic in the sense of Hadamard, whence φ f ≡ 0. Now we appeal to Theorem 1. Let p(s) be the largest convex minorant of p 0 (s) = log W (−s 2 ), s ≥ 0. The functions p and p 0 coincide for large s, therefore ∞ p(s) We have: Adjusting the constants, we can assume that p is non-decreasing. Therefore Theorem 1 applies and we obtain σ ≡ const and f ≡ 0.

Proof of Corollaries
Proof of Corollary 1.2. Observe that W 1 (λ) = W (λ) also satisfies the conditions of Theorem 2, and that for any u ∈ C 0 (1/W 1 ) Any function L 2 (µ) can be approximated by functions in C 0 (1/W ), and, by Theorem 2, these in turn can be approximated by polynomials.
We mention again that a general reduction of the problem of completeness in L 2 (1/W ) to that in C 0 (1/W ) was found by Bakan in [3,4].
Proof of Corollary 1.3. Pick a measure µ 1 ≥ µ be a measure which is not discrete and still satisfies W (λ)dµ 1 (λ) < ∞ (for example, one can add to µ a small continuous component near the origin). By corollary 1.2, polynomials are dense in L 2 (µ 1 ). By a theorem of M. Riesz [2, Theorem 2.3.3], µ 1 is N-extreme. Further [2, §3.4.1], an N-extreme measure is either moment-determinate or discrete (or both). Our µ 1 is not discrete, hence it is moment-determinate, and hence so is µ.
Proof of Corollary 1.4. The condition (13) implies that Consider the domain Then is not dense in L 2 (ν), let u(t) ∈ E ⊥ \ {0}, and set Then g(z j ) = 0 for j = 1, 2, · · · . Further, (19) implies that g and its derivatives are uniformly bounded in Ω: hence g has a zero of infinite order at z = 0, i.e.