An extremum problem for periodic functions supported in a ball (Q5951052)

Suppose that \(n\in{\mathbb N}\), \({\mathbb T}^n=[-1/2,1/2)^n\), \(D\subset[-1,1]^n\) is a centrally symmetric body, \(0<h\leq 1/2\), and \(hD\subset{\mathbb T}^n\) is a homothety of \(D\). \(K^n(hD)\) denotes the class of continuous even functions \(f: {\mathbb T}^n\to{\mathbb R}\) satisfying the conditions: 1) \(f(x)=\sum_{\nu\in{\mathbb Z}^n}\widehat f_\nu e^{2\pi i\nu x}\), where \(\widehat f_\nu=\int_{{\mathbb T}^n}f(x)e^{-2\pi i\nu x} dx\) are the Fourier coefficients of \(f\); 2) \(\widehat f_\nu\geq 0\) for all \(\nu\in{\mathbb Z}^n\); 3) \(f(0)=\sum_{\nu\in{\mathbb Z}^n}\widehat f_\nu=1\); 4) \(\text{supp} f\subset hD\). The problem is to find an asymptotic expansion for the variable \[ A_n(hD)=\sup_{f\in K^n(hD)}\widehat f_0. \] The problem of estimating \(A_1([-h,h])\) was formulated by P. Turán in connection with some applications to number theory. The solution of this problem [see \textit{S. B. Stechkin}, ``An extremum problem for trigonometric series with nonnegative coefficients'', in: Selected Works. Mathematics. (Izbrannye trudy. Matematika). (Russian). Moskva: Nauka. Fizmatlit. 384 p. (1998; Zbl 0923.41002)] is: \[ A_1([-h,h])=h+O(h^2),\quad h\to 0. \] The solutions for the \(n\)-dimensional cube and for the rhombus in \({\mathbb R}^2\): \[ \{x=(x_1,x_2)\in{\mathbb R}^2: |x_1|+|x_1|\leq 1\} \] were obtained by \textit{N. N. Andreev} [``Extremal problem for periodic functions with small support'' (Russian, English). Mosc. Univ. Math. Bull. 52, No. 1, 29-32 (1997); translation from Vestn. Mosk. Univ., Ser. I 1997, No. 1, 29-32 (1997; Zbl 0913.42009)]. The present article contains an asymptotic expansion for \(A_n(hB^n)\), where \(B^n=\{x\in{\mathbb R}^n:|x|\leq 1\}\) is the unit ball in \({\mathbb R}^n\). Namely, the following statement holds true: \textbf{Theorem.} The following estimate holds: \[ A_n(hB^n)= {\pi^{n/2}\over{2^n\Gamma(n/2+1)}}h^n+O(h^{n+2}),\quad h\to 0. \] The periodization of the convolution \[ {(\chi_{1/2B^n}*\chi_{1/2B^n})(h^{-1}x) \over{\text{vol} ({1\over 2}B^n)}} \] is an asymptotically extremal function. Here \(\chi_E\) denotes the characteristic function of the set \(E\), \(\text{vol} ({1\over 2}B^n)= \pi^{n/2}2^{-n}/\Gamma(n/2+1)\) is the volume of the ball \({1\over 2}B^n\). The author also obtains an asymptotic estimation for an arbitrary \(D\): \[ A_n(hD)=M_n(D)h^n+O(h^{n+2}),\quad h\to 0. \] In particular, the following asymptotic expansion holds: \[ A_n\left(\left[-h,h\right]^n\right)=h^n+O\left(h^{n+2}\right),\quad h\to 0, \] which is a somewhat more refined version of the results obtained by S.~B.~Stechkin and N.~N.~Andreev.