Lower bounds for quasianalytic functions, I. How to control smooth functions

Abstract

Let F be a class of functions with the uniqueness property: if f ∈ F vanishes on a set E of positive measure, then f is the zero function. In many instances, we would like to have a quantitative version of this property, e.g. the estimate from below for the norm of the restriction operator f → f | E or, equivalently, a lower bound for |f | outside a small exceptional set. Such estimates are well-known and useful for polynomials, complex-and real-analytic functions, exponential polynomials. In this work we prove similar results for the Denjoy-Carleman and the Bernstein classes of quasianalytic functions.In the first part, we consider quasianalytically smooth functions. This part relies upon Bang's approach and includes the proofs of relevant results of Bang. In the second part, which is to be published separately, we deal with classes of functions characterized by exponentially fast approximation by polynomials whose degrees belong to a given very lacunar sequence.The proofs are based on the elementary calculus technique.

On the Borel mapping in the quasianalytic setting

“…We reproduce the proof of the latter for the convenience of the reader and for the sake of completeness (cf. also [13]). …”

Solutions of quasianalytic equations

“…Nazarov, Sodin and Volberg [23] showed, in fact, that there is a quasianalytic Denjoy-Carleman class Q M , and a function f ∈ Q M ([0, 1)) which admits no extension to a function in Q M ′ ((−δ, 1)), for any quasianalytic Q M ′ and δ > 0.…”

Lower bounds for quasianalytic functions, II The Bernstein quasianalytic functions.

“…One can extract a quantitative estimate from his proof which however is essentially weaker than Theorem A above and Theorem B from the part I [12] of this work.…”