
On Pointwise Estimates of Positive Definite Functions With Given Support
The following problem has been suggested by Paul Tur\' an. Let
$\Omega$ be a symmetric convex body in the Euclidean space $\mathbb R^d$
or in the torus $\TT^d$. Then, what is the largest possible value
of the integral of positive definite functions that are supported
in $\Omega$ and normalized with the value $1$ at the origin? From
this, Arestov, Berdysheva and Berens arrived at the analogous
pointwise extremal problem for intervals in $\RR$. That is, under
the same conditions and normalizations, the supremum of possible
function values at $z$ is to be found for any given point
$z\in\Omega$. However, it turns out that the problem for the real
line has already been solved by Boas and Kac, who gave several
proofs and also mentioned possible extensions to $\RR^d$ and to
nonconvex domains as well.
Here we present another approach to the problem, giving the
solution in $\RR^d$ and for several cases in~$\TT^d$. Actually, we
elaborate on the fact that the problem is essentially
onedimensional and investigate nonconvex open domains as well.
We show that the extremal problems are equivalent to some more
familiar ones concerning trigonometric polynomials, and thus find
the extremal values for a few cases. An analysis of the
relationship between the problem for $\RR^d$ and that for $\TT^d$
is given, showing that the former case is just the limiting case
of the latter. Thus the hierarchy of difficulty is established, so
that extremal problems for trigonometric polynomials gain renewed
recognition.
Keywords:Fourier transform, positive definite functions and measures, TurÃ¡n's extremal problem, convex symmetric domains, positive trigonometric polynomials, dual extremal problems Categories:42B10, 26D15, 42A82, 42A05 