Quasianalyticity of Positive Definite Continuous Functions

Abstract

It is shown that for a positive definite continuous function f(x) on ℝ\_n\_ the followings are equivalent: f(x) is quasianalytic in some neighborhood of the origin. f(x) can be expressed as an integral f(x) = ∫ℝ\_n\_ eizξ dμ(ξ) for some positive Radon measure μ on ℝ\_n\_ such that ∫ exp M (L|ξ|) dμ(ξ) is finite for some L > 0 where the function M(t) is a weight function corresponding to the quasaianalyticity. f(x) is quasianalytic in ℝ\_n\_ Moreover, an analogue for the analyticity is also given as a corollary.