Discretization and Transference of Bisublinear Maximal Operators

We develop a general condition for automatically discretizing strong type bisublinear maximal estimates that arise in the context of the real line. In particular, this method applies directly to Michael Lacey’s strong type boundedness results for the bisublinear maximal Hilbert transform and for the bisublinear Hardy-Littlewood maximal operator, furnishing the counterpart of each of these two results (without changes to the range of exponents) for the sequence spaces $\ell^p ({\Bbb Z}).$ We then take up some transference applications of discretized maximal bisublinear operators to maximal estimates and almost everywhere convergence in Lebesgue spaces of abstract measures. We also broaden the scope of such applications, which are based on transference from ${\Bbb Z},$ by developing general methods for transplanting bisublinear maximal estimates from arbitrary locally compact abelian groups.