Multipliers of double Fourier-Haar series (Q2043902)

This paper is concerned with multiplier transformations for Fourier-Haar series. In the one-dimensional setting, the Fourier-Haar series of a function \(f\in L^1([0,1])\) is given by \[ f(x) \sim \sum_{n=1}^\infty a_n(f) \chi_n(x), \] where \(\{a_n(f)\}_{n\geq 1}\) is the Fourier-Haar coefficient of \(f\) and \(\{ \chi_n \}_{n\geq 1}\) is the Haar system on \([0,1]\). Each sequence of complex numbers \(\{\lambda_n\}_{n\geq 1}\) defines the multiplier transformation \[ \Lambda f (x) = \sum_{n=1}^\infty \lambda_n a_n(f) \chi_n(x). \] The \(L^p\)-mapping property of \(\Lambda\) is classical and well-understood in the one dimensional setting. This paper proves Lorentz space estimates for Fourier-Haar multipliers, namely, a necessary and sufficient condition for \(\Lambda\) to be a bounded operator from \(L^{p,r}([0,1])\) to \(L^{q,s}([0,1])\). Such a result was available for \(1<p<q<\infty\) and \(1\leq r\leq s\leq \infty\) in [\textit{O. V. Lelond} et al., Sib. Mat. Zh. 46, No. 1, 130--138 (2005; Zbl 1130.42031)]. This paper extends the result to the case \(0<r\), \(s<\infty\). The result is derived as a special case of the main result which establishes a necessary and sufficient condition for double Fourier-Haar multipliers to be bounded from and to anisotropic Lorentz spaces, which may be of independent interest.