Hardy-Littlewood-type theorems for Fourier transforms in R^d

DOI10.1016/J.JFA.2022.109776MaRDI QIDQ2108021zbMATH OpenOpenAlexFDO

Authors M. I. Dyachenko, E. D. Nursultanov, Ferenc Weisz, Sergey Tikhonov

Publication date 19 December 2022

Published in Journal of Functional Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/2205.02504

zbMATH Keywords

Fourier transform Hardy-Bellman operators Hardy-Cesàro operators Hardy-Littlewood theorem product Hardy spaces

Mathematics Subject Classification ID

Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type (42B10) Maximal functions, Littlewood-Paley theory (42B25) (H^p)-spaces (42B30) Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30)

Review text

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}}. \]

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Hardy-Littlewood-type theorems for Fourier transforms in \(\mathbb{R}^d\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2108021)