On the Dirichlet kernels with respect to certain special representative product systems (Q317637)

Let \(m=(m_0,m_1,m_2,\ldots)\) be a sequence of positive integers such that \(m+k\geq 2\) for all \(k\in\mathbb{N}.\) Denote by \(G_k\) a finite group (not necessarily abelian) of order \(m_k\) with discrete topology and measure \(\mu_k\) defined as \[ \mu(\{j\}):=\frac{1}{m_k},\;j\in G_k,\;k\in\mathbb{N}. \] Let \(G\) be the complete direct product of the groups \(G_k\) with the product topology and the product measure. Then \(G\) becomes a compact totally disconnected group. Let \(\Sigma_k\) denote the dual object of the group \(G_k.\) If \(\sigma\in\Sigma_k,\) let \(U_\sigma\) be a fixed irreducible unitary representation of \(G_k\) unitarily equivalent to \(\sigma.\) Let \(d_\sigma\) represent the dimension of the representation \(\sigma\) and let \(\xi_1,\xi_2,\ldots,\xi_{d_{\sigma}}\) be a fixed (but arbitrary) orthonormal basis for the representation space. The functions \(u_{ij}^\sigma,\) defined by \[ u_{ij}^\sigma(x):=\langle\sigma(x)\xi_i,\xi_j\rangle,\;1\leq i,j\leq d_\sigma,\;x\in G_k, \] are called the coordinate functions with respect to \(U_\sigma\) and \(\{\xi_1,\xi_2,\ldots,\xi_{d_{\sigma}}\}.\) Thus for each \(\sigma\in\Sigma_k,\) we get \(d_\sigma^2\) coordinate functions and \(m_k\) is the total number of coordinate functions for the entire dual object of \(G_k\) in total. Let \(\{\varphi_k^s:1\leq s\leq m_k\}\) be a system of normalized coordinate functions of the group \(G_k\). Let \(\psi\) be the product system of the \(\varphi_k\)'s, namely \(\psi_n(x):=\underset{n\in\mathbb{N}}{\Pi}\varphi_k^{n_k}(x_k),\;x\in G,\;n\in\mathbb{N}.\) Then \(\psi\) is called the representative product system. With respect to this product system and \(f\in L^2(G),\) let \(\hat{f}\) denote the Fourier coefficient of \(f.\) The Dirichlet kernels are defined by the formulas \[ D_n(y,x):=\sum\limits_{k=0}^{n-1}\psi_k(y)\overline{\psi_k(x)}. \] It is well known that Dirichlet kernels play a major role in the study of the convergence of the Fourier series. Let \(D_n=\underset{x,y\in G}{\sup}|D_n(y,x)|,\;n\in\mathbb{N}.\) In a previous article [Publ. Math. 80, No. 3--4, 503--513 (2012; Zbl 1289.42079)], the author shows that the sequence \(\{D_n\}\) is monotonically increasing. In order to study the convergence of the Fourier series, a study of the estimates of the sequence \(\{\frac{D_n}{n}\}\) is very important. The article under review studies this quotient for a special case when all the \(G_k\)'s are the same. The main theorem gives an upper bound for the quotient \(\{\frac{D_n}{n}\}.\) This upper bound is then used to produce a numerical bound for the special case when \(G_k=S_3\) for all \(k\in\mathbb{N},\) where \(S_3\) denotes the permutation group of three elements. In fact, this bound is for a specific system given by \textit{R. Toledo} in [``On the maximal value of dirichlet kernels with respect to representative product systems'', Suppl. Rend. Circ. Mat. Palermo, II. Ser. 82, 431--447 (2010)]. On the other hand, the author also gives a much better estimation in Corollary 3. More specifically, he proves that \[ 1.92303<\underset{n\in\mathbb{N}}{\sup}\frac{D_n}{n}<1.92309. \] The proof of this depends on a computer program. The author concludes the paper with a conjecture. The conjecture says that \[ \underset{n\in\mathbb{N}}{\sup}\frac{D_n}{n}=\frac{25}{13}. \]