On multiple Walsh-Fourier coefficients of functions of \(\varphi-\Lambda\) -bounded variation (Q2629206)

The authors give an estimate for the order of magnitude of multiple Walsh--Fourier coefficients of \(\phi-\bigwedge\) bounded variation functions. More precisely, let \(\mathbb L\) be the class of positive non-decreasing sequences \(\Lambda=\{\lambda_n\}_{n\geq 1}\), such that \({\displaystyle \sum_{n=1}^{\infty} \frac{1}{\lambda_n}}\) diverges. Let \(\phi\) be an increasing convex function defined on \(\mathbb R_+\) and satisfying property \(\Delta_2,\) that is \(\phi(2x) \leq d\, \phi(x),\,\, x\geq 0,\) for some \(d\geq 2.\) If \(I\times J=[a,b]\times [c,d]\) is a rectangle, then for a function defined on this rectangle, we let \(f(I\times J)= f(I,d)-f(I,c),\) where \(f(I,d)=f(b,d)-f(a,d).\) For \(\bigwedge=(\Lambda^1,\Lambda^2)\in \mathbb L\times \mathbb L,\) the previous function \(f\) is said to be of \(\phi-\bigwedge\) bounded variation if \[ \sup_{I,J} \left(\sum_j\sum_k \frac{\phi\left(|f(I_j\times I_k)|\right)}{\lambda_j^1 \lambda_k^2}\right)<\infty, \] where \(I_j, I_k\) are finite collections of non-overlapping subintervals of \(I\) and \(J,\) respectively. Finally, let \(\mathbb I=[0,1]\) and let \(\{\psi_n\}_{n\geq 1}\) be a complete orthonormal Walsh system defined on \(\mathbb I.\) The main result of this work is the following order of magnitude of the Walsh-Fourier coefficient of a function \(f\in \phi-\bigwedge\) \(BV(\mathbb I^2)\cap L^1(\mathbb I^2),\) \[ \widehat f(2^u, 2^v)=O\left(\phi^{-1}\left(\frac{1}{\sum_{j=1}^{2^u}\sum_{k=1}^{2^v}\frac{1}{\lambda_j^1\lambda_k^2}}\right)\right), \] where \({\displaystyle \widehat f(m,n)=\int_{\mathbb I^2} f(x,y) \psi_m(x)\psi_n(y) \, dx\, dy.}\) Moreover, the authors have extended the previous result to the case of \(N-\)variate functions \(f\) with \(N\geq 3.\)