No label defined (Q4431902)

We recall that the double Fourier transform \(\widehat f\) of a function \(f\in L^1(\mathbb{R}^2)\) is defined by \[ \widehat f(u, v):= {1\over 2\pi} \int \int_{\mathbb{R}^2} f(x,y)\, e^{-i(ux+ vy)}dx\,dy,\qquad (u,v)\in \mathbb{R}^2. \] The point \((0, 0)\) is said to be a strong Lebesgue point of \(f\) if it is a Lebesgue point of \(f\) in the usual sense and if the following two limit relations also hold: \[ \begin{aligned} \lim_{h\to 0} {1\over h} \int^h_0 \int_{\mathbb{R}}| f(x,y) &- f(0,y)|\,dx\,dy= 0,\\ \lim_{k\to 0} {1\over k} \int_{\mathbb{R}} \int^k_0| f(x,y) &- f(x,0)|\,dx\,dy= 0.\end{aligned} \] The following theorem is proved. Assume that \(f (x, y)\) is even in \(x\) and \(y\). If \(f\in L^1(\mathbb{R}^2)\) and \((0, 0)\) is a strong Lebesgue point of \(f\), then \(| u|\,| v|\widehat f(u, v)\) tends to \(0\) in the sense \((C; \alpha, 0)\) for all \(1<\alpha, \beta< \infty\). By the assumed evenness of \(f\), the limit relation \[ \lim_{\lambda,\mu\to \infty} {\pi\over 2\lambda\mu} \int^\lambda_0 \int^\mu_0 \Biggl(1- {u\over\lambda}\Biggr)^{\alpha- 1}\Biggl(1- {v\over\mu}\Biggr)^{\beta- 1} uv\widehat f(u,v)\,du\,dv= 0\tag{\(*\)} \] implies the conclusion of the theorem, and actually \((*)\) is proved in the paper under review. Analogous theorems in the odd-odd, even-odd and odd-even cases were proved earlier by the same author under same titles in [Bolyai Soc. Math. Stud. 5, 163--174 (1996; Zbl 0885.42007) and Anal. Math. 25, 3--14 (1999; Zbl 0971.42007)]. For the entire collection see [Zbl 1009.00014].