Wiener's problem for positive definite functions

DOI10.1007/S00209-017-1978-9MaRDI QIDQ1668436zbMATH OpenOpenAlexFDO

Authors Dmitry Gorbachev, Sergey Tikhonov

Publication date 28 August 2018

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1604.01302

Delsarte's problem Hlawka's inequality linear programming bound problem positive definite function Turán's problem Wiener's problem

Mathematics Subject Classification ID

Inequalities for sums, series and integrals (26D15) Positive definite functions in one variable harmonic analysis (42A82) Fourier series and coefficients in several variables (42B05)

Abstract: We study the sharp constant

W_{n} (D)

in Wiener's inequality for positive definite functions [ int_{mathbb{T}^{n}}|f|^{2},dxle W_{n}(D)|D|^{-1}int_{D}|f|^{2},dx,quad Dsubset mathbb{T}^{n}. ] N. Wiener proved that

W_{1} ([- d e l t a, d e l t a]) < i n f t y

,

d e l t a i n (0, 1 / 2)

. E. Hlawka showed that

W_{n} (D) l e 2^{n}

, where

D

is an origin-symmetric convex body. We sharpen Hlawka's estimates for

D

being the ball

B^{n}

and the cube

I^{n}

. In particular, we prove that

W_{n} (B^{n}) l e 2^{(0.401 l d o t s + o (1)) n}

. We also obtain a lower bound of

W_{n} (D)

. Moreover, for a cube

D = f r a c 1 q I^{n}

with

q = 3, 4, l d o t s,

we obtain that

W_{n} (D) = 2^{n}

. Our proofs are based on the interrelation between Wiener's problem and the problems of Tur'an and Delsarte.

Review text

Let \(n \in \mathbb{N}\) and \(\mathbb{T}^n=\mathbb{R}^n / \mathbb{Z}^n.\) The authors study the sharp constant \(W_n(D)\) in Wiener's inequality for positive definite functions \[ \int_{\mathbb{T}^n} |f|^2dx \leq W_n(D) |D|^{-1} \int_{D} |f|^2 dx, \] where \(D \subset \mathbb{T}^n\) is an origin-symmetric convex body and \(|D|\) is its volume. In 1981, \textit{E. Hlawka} [Comment. Math. Helv. 56, 66--82 (1981; Zbl 0459.10021)] showed that \(W_n(D) \leq 2^n.\) In the paper Hlawka's estimates for \(D\) being the ball \(\delta B^n=\{x \in \mathbb{R}^n: |x| \leq \delta\}\) and the cube \(\delta I^n=[-\delta, \delta]^n\) are sharpened. More precisely the following estimates are obtained: if \(\delta \in (0, 1/2),\) then \(W_n(\delta B^n) \leq 2^{(0.401\ldots +o(1))n}\), and \(W_n(\delta I^n) \leq 2^n(1-\theta(\delta))^n,\) where \(0 \leq \theta (\delta)<1\) is continuous on \((0, 1/2),\) and, \(\theta(\delta)=O(\delta^2)\) as \( \delta \to 0.\) Moreover, the authors prove that \(W_n(D)=2^n\) if \(D=\frac{1}{q} I^n\) with \(q=3, 4, \ldots.\) The proofs of these estimates are based on the interrelation between Wiener's problem and Turán's and Delsarte's problems.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Wiener's problem for positive definite functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1668436)