RUS  ENG
Full version
JOURNALS // Trudy Instituta Matematiki i Mekhaniki UrO RAN // Archive

Trudy Inst. Mat. i Mekh. UrO RAN, 2018 Volume 24, Number 3, Pages 27–33 (Mi timm1547)

Plancherel-Polya inequality for entire functions of exponential type in $L^2(\mathbb{R}^n)$

E. V. Berestova

Ural Federal University named after the First President of Russia B. N. Yeltsin, Ekaterinburg

Abstract: Let $\mathfrak{M}_{\sigma,n}^p$, $p>0$, be a set of entire functions $f$ of $n$ complex variables with exponential type $\sigma=(\sigma_1,\ldots,\sigma_n)$, $\sigma_k>0$, such that their restrictions to $\mathbb{R}^n$ belong to $L^p(\mathbb{R}^n)$. In 1937 Plancherel and Polya showed that $\sum_{k \in \mathbb{Z}^n}|f(k)|^p \le c_p(\sigma, n) \|f\|^p_{L^p(\mathbb{R}^n)}$ for $f\in \mathfrak{M}_{\sigma,n}^p$, where $c_p(\sigma, n)$ is a finite constant. We study the Plancherel-Polya inequality for $p=2$. If $0<\sigma_k\le \pi$, then, by the Whittaker-Kotelnikov-Shannon theorem and its generalization to the multidimensional case established by Plancherel and Polya, we have $c_2(\sigma, n)=1$ and any function $f\in \mathfrak{M}_{\sigma,n}^2$ is extremal. In the general case, we prove that $c_2(\sigma, n)=\prod_{k = 1}^{n}\left\lceil~\sigma_k/\pi \right\rceil~$ and describe the class of extremal functions. We also write the dual problem $\big|\sum_{k \in \mathbb{Z}^n} (g\ast g)(k)\big| \le d_2(\sigma,n) \|g\|_2^2$, $g \in ~L^2\left(\Omega\right)$, prove that $c_2(\sigma,n)=d_2(\sigma,n)$, and describe the class of extremal functions.

Keywords: Plancherel-Polya inequality, Paley-Wiener space, entire function of exponential type, Fourier transform.

UDC: 517.53

MSC: 30D10, 30D15, 42A99

Received: 23.06.2018

DOI: 10.21538/0134-4889-2018-24-3-27-33



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024