The Cesàro operator on the Banach algebra of \(L(\mathbb{R}^2)\) multipliers. III: Even-odd case (Q1897825)

[See also the review of Part I in Zbl 0881.42008 and the preceding review of Part II.] Let \(\lambda\) be a locally integrable function on \(\mathbb{R}^2\). As usual, we define the Cesàro mean of \(\lambda\) by \[ \sigma\lambda(u, v):={1\over uv} \int^u_0 \int^v_0 \lambda(x,y) dx dy,\quad u,v\neq 0. \] If \(\lambda\) is continuous on \(\mathbb{R}^2\), then we define additionally \[ \sigma\lambda(u, 0):={1\over u} \int^u_0 \lambda(x,0)dx,\;u\neq 0,\;\sigma\lambda(0,v):={1\over v} \int^v_0 \lambda(0,y)dy,\;v\neq 0,\;\sigma\lambda(0,0):= \lambda(0,0); \] in which case \(\sigma\lambda\) is also continuous on \(\mathbb{R}^2\). The main results of the present paper are summarized in Theorems 1, 2 and Corollary 1 below. Theorem 1. If \(\lambda(x,y)\) is a multiplier for \(L(\mathbb{R}^2)\), even in \(x\) and odd in \(y\), then (i) \(\sigma\lambda\) is also a multiplier for \(L(\mathbb{R}^2)\), (ii) \(\sigma\lambda\in L^{\wedge}(\mathbb{R}^2)\) if and only if \[ \mu(\{(0, y): y\in E\})= 0,\quad E\subseteq \mathbb{R}_+, \] where \(\mu\) is the finite Borel measure on \(\mathbb{R}^2\) associated with \(\lambda\) by \[ \lambda(x,y)= \int \int_{\mathbb{R}^2} e^{-i(x\xi+ y\eta)}d\mu(\xi, \eta),\quad (x,y)\in \mathbb{R}^2.\tag{\(*\)} \] Theorem 2. Let \(\lambda(x,y)\) be a multiplier for \(L(\mathbb{R}^2)\), even in \(x\) and odd in \(y\), and let \[ f(x,y):= \int^\infty_x \int^\infty_y {d\mu(\xi,\eta)\over \xi\eta}, \] \[ f(x,-y)= -f(- x,y)= f(-x,-y):= -f(x,y),\quad (x,y)\in \mathbb{R}^2_+, \] where \(\mu\) is the finite Borel measure on \(\mathbb{R}^2\) associated with \(\lambda\) by \((*)\). Then \[ \int \int_{\mathbb{R}^2_+} \Biggl|\pi H_1f(x, y)- {2\over x} \int^{x/2}_0 \int^\infty_y {d\mu(\xi,\eta)\over \eta}\Biggr| dx dy\leq C\|\mu\|, \] \[ \int \int_{\mathbb{R}^2_+} | H_2f(x,y)| dx dy\leq C\|\mu\|, \] and \[ \begin{multlined}\int \int_{\mathbb{R}^2_+} \Biggl|\pi^2 H_1 H_2f(x,y)- {2\over x} \int^{x/2}_0 \int^\infty_{y/2} \ln\Biggl({y\over| y-\eta|}\Biggr) {d\mu(\xi,\eta)\over \eta}-\\ -{2\over x} \int^{x/2}_0 \int^{y/2}_0 \ln\Biggl({y^2\over y^2- \eta^2}\Biggr) {d\mu(\xi,\eta)\over \eta}\Biggr| dx dy\leq C\|\mu\|,\end{multlined} \] where \(\|\mu\|\) denotes the total variation of the measure \(\mu\) over \(\mathbb{R}^2_+\) and \(H_1\), \(H_2\) are Hilbert transforms. Corollary 1. If \(\lambda(x,y)\) is a multiplier for \(L(\mathbb{R}^2)\), even in \(x\) and odd in \(y\), then \(\sigma\lambda\in \widehat{\mathcal H}(\mathbb{R}\times \mathbb{R})\) if and only if \[ {1\over x} \int^x_0 \int_{\mathbb{R}_+} d\mu(\xi,\eta)\in L(\mathbb{R}_+)\quad (\text{in }x). \]