Maximal estimates on measure spaces for weak-type multipliers (Q1897235)

The authors give sufficient conditions for transferring from LCA groups to measure spaces the weak-type bounds of maximal operators associated with certain multipliers of weak type. More specifically, let \(G\) be an LCA group with Haar measure \(\lambda\) and dual group \(\widehat{ G}\) and let \((\Omega, \mu)\) be a measure space. Let \(u \to R_u\) be a strongly continuous representation of \(G\) into \(L^p(\mu)\), \(1 \leq p < \infty\), which is separation preserving on \(L^p(\mu)\) and such that for all \(u \in G\), \(|R_u f|_p \leq K_p |f|_p\) for all \(f \in L^p(\mu)\) and \(|R_u f|_\infty \leq K_\infty |f|_\infty\) for all \(f \in L^p(\mu) \cap L^\infty(\mu)\). For a bounded Borel measurable function \(\psi : \widehat{G} \to \mathbb{C}\) the authors define a corresponding bounded linear operator \({\mathcal T}^{(p)}_\psi : L^p(\mu) \to {\mathcal L} (\mu)\), where \({\mathcal L} (\mu)\) is the class of \(\mathbb{C}\)-valued measurable functions on \(\Omega\), using the representation \(R\) of \(G\) into \(L^p(\mu)\). Theorem. Let \(1 < p < \infty\) and \(p' = p/(p - 1)\). Let \(\{\psi(j)\}_{j \geq 1}\) be a sequence of continuous weak-type \((p,p)\)-multipliers for \(L^p(G)\). Then the corresponding operators \({\mathcal T}^{(p)}_{\psi(j)}\) exist on \(L^p(\mu)\) and satisfy \[ \mu\{\omega \in \Omega : \text{sup}_j |({\mathcal T}^{(p)}_{\psi(j)} f) (x) |>y \} \leq ((K_p K_\infty p')^2 N_p(\{\psi(j)\}) |f|_p/y)^p \] where \(N^p (\{\psi(j)\})\) represents the weak- type \((p,p)\) norm of the maximal operator defined on \(L^p(G)\) by the sequence \({\mathcal T}^{(p)}_{\psi(j)}\). A similar inequality (without the factor \((p')^2\)) is obtained for the case \(p = 1\), under the assumption that the \(\psi(j)\) are continuous functions on \(\widehat{G}\) that are strong \(L^1\)-multipliers. These results are used to prove that a homomorphism between two LCA topological groups transfers the weak-type bounds for maximal multiplier transforms, with suitable differences between the cases \(1 < p < \infty\) and \(p = 1\).