# Boundedness properties of maximal operators on Lorentz spaces

## TL;DR

This paper characterizes the boundedness regions of the centered Hardy--Littlewood maximal operator on Lorentz spaces over metric measure spaces, revealing their geometric structure and constructing spaces with prescribed boundedness properties.

## Contribution

It provides a complete description of the shape of the boundedness region for the maximal operator on Lorentz spaces and constructs spaces realizing these shapes.

## Key findings

- The boundary of the boundedness region is either empty or has a specific concave, non-decreasing form.
- For each such boundary shape, a corresponding metric measure space can be constructed.
- The boundedness conditions are characterized by inequalities involving the Lorentz space parameters.

## Abstract

We study mapping properties of the centered Hardy--Littlewood maximal operator $\mathcal{M}$ acting on Lorentz spaces. Given $p \in (1,\infty)$ and a metric measure space $\mathfrak{X}$ we let $\Omega^p_{\rm HL}(\mathfrak{X}) \subset [0,1]^2$ be the set of all pairs $(\frac{1}{q},\frac{1}{r})$ such that $\mathcal{M}$ is bounded from $L^{p,q}(\mathfrak{X})$ to $L^{p,r}(\mathfrak{X})$. For each fixed $p$ all possible shapes of $\Omega^p_{\rm HL}(\mathfrak{X})$ are characterized. Namely, we show that the boundary of $\Omega^p_{\rm HL}(\mathfrak{X})$ either is empty or takes the form $$\{ \delta \} \times [0, \lim_{u \rightarrow \delta} F(u)] \ \cup \ \{(u, F(u)) : u \in (\delta, 1] \},$$ where $\delta \in [0,1]$ and $F \colon [\delta, 1] \rightarrow [0,1]$ is concave, non-decreasing, and satisfying $F(u) \leq u$. Conversely, for each such $F$ we find $\mathfrak{X}$ such that $\mathcal{M}$ is bounded from $L^{p,q}(\mathfrak{X})$ to $L^{p,r}(\mathfrak{X})$ if and only if the point $(\frac{1}{q}, \frac{1}{r})$ lies on or under the graph of $F$, that is, $\frac{1}{q} \geq \delta$ and $\frac{1}{r} \leq F\big(\frac{1}{q}\big)$.