Hardy-Littlewood-type theorems for Fourier transforms in \(\mathbb{R}^d\) (Q2108021)

The goal of this paper is to obtain various Fourier inequalities in weighted \(L^p\)-spaces for \(1 < p < \infty\), involving Hardy-Cesáro and Hardy-Bellman operators. These results are also extended to the product of Hardy spaces for \(p \leq 1\). Let \(Q_N\) be the cube centered at the origin in \(\mathbb R^d\), with side length \(N\). For \(f \in L^p (\mathbb R^d)\) define \[ \mathcal{F}_Nf(\xi) = \int_{Q_N} f(x)~e^{-i \xi \cdot x}~dx. \] Define the Hardy-Cesáro and Hardy-Bellman type operators as follows: Let \(E\) consist of all \(d\)-tuples of \(0\) and \(1\). Define \[ \mathcal{H}_{\varepsilon_i, i}f (t) = \frac{1}{t_i}~\int_0^{t_i}~f(x_1, \dots, x_i, \dots x_d)~dx_i \] if \(\varepsilon_i = 0\) and \[ \mathcal{H}_{\varepsilon_i, i}f (t) = \int_{|t_i|}^\infty~f(x_1, \dots, \mathrm{sign}(t_i)x_i, \dots x_d)~\frac{dx_i}{x_i} \] if \(\varepsilon_i = 1\). For \(\varepsilon \in E\) set \(\mathcal{H}_\varepsilon = \mathcal{H}_{\varepsilon_d, d} \dots \mathcal{H}_{\varepsilon_1, 1} \). Let \(\ast = (j_1, j_2 \dots j_d)\) be a permutation of \((1, 2, \dots d)\). Let \(L^\ast_{p, q}\) denote the Lorentz space defined by the iterative non-increasing rearrangement \(f^{\ast j_1, \dots \ast j_d} = (((f^{\ast j_1})^{\ast j_2}) \dots )^{\ast j_d}\). Here is a sample of the inequalities proved. Theorem: Let \(1 < r \leq q < \infty\), \(0 \leq \alpha = \frac{1}{r^\prime} - \frac{1}{q} - \beta <\frac{1}{r^\prime}\). Let \(\ast = (j_1, \dots j_2)\) be a permutation of \((1, 2, \dots d)\). If a measurable function \(f\) is such that \[ \left ( \int_{\mathbb R^d}~((|x_1| \dots |x_d|)^\alpha~|f^{\ast j_1 \dots \ast j_d} )^r~dx \right )^{\frac{1}{r}} < \infty, \] then for any \(\varepsilon \in E\), \(t \in \mathbb R^d\) the limit \[ T_\varepsilon f(t) = \lim_{N \to \infty} \mathcal{H}_\varepsilon \mathcal{F}_Nf(t) \] exists. Also, for any \(\varepsilon \in E\), \[ \left ( \int_{\mathbb R^d}(( |t_1| \dots |t_d|)^\beta~|T_\varepsilon f(t)|)^q~dt \right )^{\frac{1}{q}} \leq C~\left ( \int_{\mathbb R^d} ((|x_1| \dots |x_d|)^\alpha |f^{\ast j_1 \dots \ast j_d}(x)|)^r~dx \right )^{\frac{1}{r}}. \]