In 1924 S. Bernstein  asked for conditions on a uniformly bounded on Borel function (weight) which imply the denseness of algebraic polynomials in the seminormed space defined as the linear set equipped with the seminorm . In 1998 A. Borichev and M. Sodin  completely solved this problem for all those weights for which is dense in but there exists a positive integer such that is not dense in . In the present paper we establish that if is dense in for all then for arbitrary there exists a weight such that is dense in for every and for all .
Smoothing of weights …] Smoothing of weights in the Bernstein approximation problem Andrew Bakan]Andrew Bakan Jürgen Prestin]Jürgen Prestin
Primary 41A10, 46E30; Secondary 32A15, 32A60
Let be the linear space of all continuous real-valued functions on , the set of all uniformly bounded on Borel functions which have an unbounded support and satisfy as for all . Denote by the set of all algebraic polynomials with real coefficients and by the family of all real-valued infinitely continuously differentiable functions on .
For the seminormed space consists of the linear set of all with and the semi-norm , where .
We recall the definition of the so-called upper Baire function of as (see [15, p. 129]). If is locally bounded from above, then is an upper semi-continuous function and , . It is easy to verify that for arbitrary , and we have
This means that the seminormed spaces and coincide identically and, in particular, is dense in iff it is dense in . Thus, it is possible to assume everywhere below that where denotes the family of all those which are upper semi-continuous on , i.e., for all .
In 1924 S. Bernstein  asked for conditions on to be in . This problem is known as Bernstein’s approximation problem. Various results towards a final solution of Bernstein”s approximation problem have been obtained independently by L. Carleson (1951), H. Pollard (1953), S. N. Mergelyan (1958) and L. de Branges (1959) (see also the surveys of P. Koosis , A. Poltoratski  and M. Sodin ).
Let be an entire function, be the set of all its zeros, and , where . We say that is of minimal exponential type if . Denote by the family of all entire functions of minimal exponential type which are real on the real axis (in short: real) and have only real simple zeros.
Theorem A (L. de Branges, 1959 ).
Let . Then is not dense in if and only if there exists an entire function such that and
In 1958 S. Mergelyan  proved that if algebraic polynomials are dense in but are not dense in for some positive integer , then has countable support and the number of points in the set is as . Motivated by this result, A. Borichev and M. Sodin in 1998  divided Bernstein’s approximation problem into two parts.
Let . It is said that algebraic polynomials are regularly dense in if they are dense in for all .
Algebraic polynomials are called to be singularly dense in if they are dense in but not in for a certain .
Similarly to (1.1), we denote
It is obvious that and are two non-intersecting classes of weights and
where the symbol denotes the union of two non-intersecting sets.
Thus, the finding of conditions on a given weight to be in or in divides Bernstein’s approximation problem into two independent parts: regular and singular, respectively. A complete solution of the singular part was given by A. Borichev and M. Sodin  in 1998.
Let . Algebraic polynomials are singularly dense in if and only if is discrete and there exist an entire function and a nonnegative integer such that
for arbitrary transcendental entire functions of minimal exponential type such that and is transcendental.
The regular part of Bernstein’s approximation problem is still open but the following important result holds.
Theorem C (M. Sodin, 1996 ).
If , then for every .
The following statement about perturbations of zeros of an entire function was proved in [2, Lemma 5, p. 237] (2005).
For an arbitrary entire function with zeros there exists a constant and a sequence of real positive numbers such that for any sequence of real numbers satisfying
one can find an entire function such that and
Let and denote the set of its zeros. Assume that
Then, for arbitrary there exist constants such that for any set of real numbers satisfying
one can find an entire function such that and
Let and . Then,
In view of [10, Example 1, p. 8], the function
To prove , let , , , and let us choose an infinite sequence such that . Since for every we have , (1.7) and (1.5) yield , . Thus, if is infinite, then . Otherwise, it suffices to consider the case in which and therefore , by virtue of (1.7) and the upper semi-continuity of . This completes the proof of (see [16, Theorem 2, p.150]).
Assume that . Then, for some we have and by Theorem A there exists an entire function such that
It follows from that and therefore (1.2) holds for .
By Theorem C,
Applying Lemma 1 for , we find such that , , and then we find an entire function with zeros , where
from which it follows that
We are now ready to prove our main result.
For arbitrary and there exists such that and for all .
Since the statement of the theorem for implies its validity for all , we can assume without loss of generality that .
For arbitrary satisfying
let us introduce
where , and . For example, we may take . Obviously,
and therefore the weight
belongs to .
Let be arbitrary and let satisfy . Then, by (1.12) we have and the inequalities and imply . Thus, for every ,
Let , and be defined as in (1.5). Then there exists a weight such that and for all .
Theorem 1 allows to assume without loss of generality that each weight in the regular part of Bernstein’s approximation problem is continuous and positive on the whole real axis. It also allows to apply for this part of the problem the sufficient conditions for the denseness of algebraic polynomials in obtained earlier under this assumption (see [17, p.869], [14, p.80]). On the other hand, Lemma 2 makes it possible to replace any weight by the greater step function
such that algebraic polynomials are regularly dense in if and only if they are regularly dense in . Here, is equal to if , if and if .
Notice also that Theorem 1 can be efficiently applied to a representation of the so-called -regular measures for . Recall (see [6, p.250]) that a non-negative Borel measure on is called -regular if all its moments , , are finite and algebraic polynomials are dense in for every . Here, for arbitrary non-negative Borel measures , on and , we write or if for arbitrary Borel subset of . According to [3, Lemma 4, p.203], if is -regular, then there exists a finite non-negative Borel measure on and such that (the converse is evident). Taking for this the weight from Theorem 1, we obtain where is also a non-negative finite Borel measure on as follows from and for all . Thus, the following assertion holds.
Let and a measure is -regular. Then, for every , there exists a finite non-negative Borel measure on and a weight such that for all and .
2 Auxiliary Results
Let the real numbers , , and satisfy
The conditions (2.1) imply , and therefore . Thus, and , i.e. . Finally,
which completes the proof. ∎
Let , and be an entire function satisfying
Let , and be an entire function from the class satisfying
Then, for arbitrary the inequality