It is shown that for a positive definite continuous function
f(
x) on \mathbb{R}
n the followings are equivalent:
(i)
f(
x) is quasaianalytic in some neighborhood of the origin.
(ii)
f(
x) can be expressed as an integral
f(
x)=∫
\mathbb{R}n eixξ dμ (ξ) for some positive Radon measure μ on \mathbb{R}
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.
(iii)
f(
x) is quasaianalytic everywhere in \mathbb{R}
n.
Moreover, an analogue for the analyticity is also given as a corollary.
View full abstract