Almost everywhere convergence of dyadic triangular-Fejér means of two-dimensional Walsh-Fourier series (Q2805333)

The authors consider the convergence of the dyadic triangular-Fejér means of two-dimensional Walsh-Fourier series, which are given by NEWLINE\[NEWLINE \dot \sigma_n^\triangle f(x^1,x^2) = \frac{1}{n} \sum_{i=1}^{n-1} S_{i,n\oplus i}f(x^1,x^2) NEWLINE\]NEWLINE where \(n\oplus i=\sum_{j=0}^\infty |n_j-i_j|\), \(n_j\) is the \(j\)'th digit of the binary expansion of \(n\), and \(S_{i,j}\) denotes the rectangular partial sums of the Walsh-Fourier series. It is proven that the operator \(\dot \sigma_n^\triangle\) is of weak type \((1,1)\); that is, NEWLINE\[NEWLINE \| \dot \sigma_n^\Delta f \|_{\mathrm{weak}-L_1} \lesssim \| f\|_1 NEWLINE\]NEWLINE for \(f \in L^1( G \times G)\), where \(G\) is the Walsh group. As a corollary, it is shown that the dyadic triangular-Fejér means of \(f \in L^1(G \times G)\) converge almost everywhere to \(f\).