Estimates of the asymptotic Nikolskii constants for spherical polynomials (Q2041066)

Let \(\mathbb S^d=\{x\in\mathbb R^{d+1}: |x|=1\}\) denote the unit sphere of \(\mathbb R^{d+1},\) equipped with the surface Lebesgue measure \(d\sigma\) normalized by \(\int_{\mathbb S^d}d\sigma(x)=1,\) and let \(\Pi_n^d\) denote the space of all spherical polynomials of degree at most \(n\) in \(\mathbb S^d.\) In this paper, the authors estimate the asymptotic Nikolskii constant for spherical polynomials \[ \mathcal L^{*}(d):=\lim_{n\to\infty}\frac{1}{\dim \Pi_n^d} \sup_{f\in \Pi_n^d} \frac{||f||_{L^{\infty}(\mathbb S^d)}}{||f||_{L^{1}(\mathbb S^d)}}. \] The main results are given in\\ Theorem~1.2. For \(d\in\mathbb N\) \[ 2^{-d}\leq \mathcal L^{*}(d)\leq {_{1}F_2}\left (\frac{d}{2};\frac{d}{2}+1, \frac{d}{2}+1;-\frac{\beta_d^2}{4}\right ) =\frac{\int_0^{\beta_d}j_{d/2}(t)t^{d-1}dt}{\int_0^{\beta_d}t^{d-1}dt} \] where \({_{1}F_2}\) denotes the usual hypergeometric function, \(j_{d/2}\) is the normalized Bessel function, and \(\beta_d=q_{d/2,1}\) is the smallest positive zero of the Bessel function \(J_{d/2}\) of the first kind.\\ Corollary 1.1. For \(d\geq 2\) \[ 2^{-d}\leq \mathcal L^{*}(d)\leq (\sqrt{2/e})^{d(1+\epsilon_d)}, \] where \(\sqrt{2/e}= 0.857 ...,\) and \(\epsilon_d=O(d^{-2/3})\) as \(d\to\infty.\) Moreover, they establish a close connection between the upper estimate in Theorem 1.2 and the following extremal problem \[ \mathcal I_\alpha:=\inf_{a_k} ||j_{\alpha+1}(t)-\sum_{k=1}^\infty a_kj_\alpha\left (q_{\alpha+1,k}t/q_{\alpha+1,1}\right )||_{L^{\infty}(\mathbb S^d)}, \] with the infimum being taken over all sequences \(\{a_k\}_{k=1}^\infty\subset \mathbb R\) such that the infinite series converges absolutely a.e. on \(\mathbb R_{+}.\)