An analogy of the Carleson-Hunt theorem with respect to Vilenkin systems (Q2146298)

Let \(\mathbb{N}_+\) be the set of the positive integers and let \(m=(m_0,m_1, \dots)\) be a sequence of positive integers not less than two. Let us consider an additive group of integers of modulo \(m_k\) which is denoted by \(\mathcal{Z}_{m_k}=\{0,1,\dots, m_k-1\}\). Then the group \(G_m\) is defined as the complete direct product of the groups \(\mathcal{Z}_{m_i}\) with the product of the discrets topologies of \(\mathcal{Z}_{m_j}'s\). The direct product \(\mu\) of the measures \(\mu_k(\{j\})=1/m_k\) with \(j\in \mathcal{Z}_{m_k}\) is the Haar measure on \(G_m\), where \(\mu(G_m)=1\). The elements of \(G_m\) are given by \(x=(x_0,x_1,\dots)\) with \(x_j\in \mathcal{Z}_{m_j}\). So, the Vilenkin system \(\psi=(\psi_n)_{n\in\mathbb{N}}\) on \(G_m\) is defined as \(\psi_n(x)=\prod_{k=0}^\infty r_k^{n_k}(x)\), \(n\in\mathbb{N}\), where \(r_k\) is the generalized Rademacher function and the quasi-norms of the spaces \(L_p(G_m)\), \(0<p<\infty\) are defined by \(\|f\|_p=\int_{G_m}|f|^p d\mu\). In this context and similarly to the classical theory, the authors introduce Fourier coefficients, partial sums of the Fourier series, and Dirichlet kernels with respect to the Vilenkin system as, \[ \hat{f}(n)= \int_{G_m}f\bar{\psi}_n d\mu, \quad S_n=\sum_{k=0}^{n-1}\hat{f}(k)\psi_k, \quad \text{and} \quad D_n=\sum_{k=0}^{n-1}\psi_k. \] Then, using the theory of martingales they obtain the following result. Theorem 1. Let \(f\in L_p(G_m)\), where \(1<p<\infty\). Then \[ \|S^\ast f\|_p\leq C_p\|f\|_p, \] where \(S^\ast f=\operatorname{Sup}_{n\in\mathbb{N}}|S_nf|\). Using the density of the Vilenkin polynomials in \(L_p(G_m)\) and the above theorem the authors obtain: Theorem 2. Let \(f\in L_p(G_m)\), where \(1<p<\infty\). Then \(\|S_nf-f\|_p\to 0\), as \(n\to\infty\). Finally, a version of the Carleson-Hunt theorem is given. Theorem 3. Let \(f\in L_p(G_m)\), where \(p>1\). Then \(S_nf\to f\) a.e, as \(n\to\infty\). However, they obtain that there is a function \(f\in L_1(G_m)\) whose Vilenkin-Fourier series diverges everywhere.