Related papers: Sharp inequalities for maximal operators on finite…

Let $G=(V,E)$ be a finite graph and $M_G$ be the centered Hardy-Littlewood maximal operator defined there. We find the optimal value $\bf{C}_{G,p}$ such that the inequality $$\text{Var}_{p}(M_{G}f)\leq {\textbf{C}}_{G,p}\text{Var}_{p}(f)$$…

We study the behavior of averages for functions defined on finite graphs $G$, in terms of the Hardy-Littlewood maximal operator $M_G$. We explore the relationship between the geometry of a graph and its maximal operator and prove that $M_G$…

Let $K_n=(V,E)$ be the complete graph with $n\geq 3$ vertices (here $V$ and $E$ denote the set of vertices and edges of $K_n$ respectively). We find the optimal value ${\bf{C}}_{n,p}$ such that the inequality $$\|f-m_f\|_p\le {\bf…

For $1<p<\infty$ and $M$ the centered Hardy-Littlewood maximal operator on $\mathbb{R}$, we consider whether there is some $\varepsilon=\varepsilon(p)>0$ such that $\|Mf\|_p\ge (1+\varepsilon)||f||_p$. We prove this for $1<p<2$. For $2\le…

We study sharp $p$-variational inequalities for the Hardy-Littlewood maximal operator on complete graphs, answering in the affirmative a question by Feng Liu and Qingying Xue. We also use computational assistance to find sharp constants in…

Let $1<p<\infty$. We prove that there exists an $\varepsilon_p>0$ such that for each $f\in L^p(\mathbb{R})$, the centered Hardy-Littlewood maximal operator $M$ on $\mathbb{R}$ satisfies the lower bound $\|Mf\|_{L^p(\mathbb{R})}\ge…

Let $G=(V,E)$ be a graph of density $p$ on $n$ vertices. Following Erd\H{o}s, \L uczak and Spencer, an $m$-vertex subgraph $H$ of $G$ is called {\em full} if $H$ has minimum degree at least $p(m - 1)$. Let $f(G)$ denote the order of a…

In this paper we study the $L^p$ boundedness of the centred and the uncentred Hardy--Littlewood maximal operators on the class $\Upsilon_{a,b}$, $2\leq a\leq b$, of trees with $(a,b)$-bounded geometry. We find the sharp range of $p$,…

For all $p>1$ and all centrally symmetric convex bodies $K\subset \mathbb{R}^d$ define $Mf$ as the centered maximal function associated to $K$. We show that when $d=1$ or $d=2$, we have $||Mf||_p\ge (1+\epsilon(p,K))||f||_p$. For $d\ge 3$,…

We study the boundedness problem for maximal operators $\mathbb{M}$ associated to averages along families of finite type curves in the plane, defined by $$\mathbb{M}f(x) \, := \, \sup_{1 \leq t \leq 2} \left|\int_{\mathbb{C}} f(x-ty) \,…

Let ${\frak M}^\alpha$ be the spherical maximal operators of complex order $\alpha$ on ${\mathbb R^n}$. In this article we show that when $n\geq 2$, suppose \begin{eqnarray*} \|{\frak M}^{\alpha} f \|_{L^p({\mathbb R^n})} \leq C\|f…

We study the $L^p$ mapping properties of the strong spherical maximal function, which is a multiparameter generalisation of Stein's spherical maximal function. We show that this operator is bounded on $L^p$ for $p > 2$ in all dimensions $n…

Let $0<\alpha<d$ and $1\leq p<d/\alpha$. We present a proof that for all $f\in W^{1,p}(\mathbb{R}^d)$ both the centered and the uncentered Hardy-Littlewood fractional maximal operator $\mathcal M_\alpha f$ are weakly differentiable and $…

We introduce and study the median maximal function \mathcal{M} f, defined in the same manner as the classical Hardy-Littlewood maximal function, only replacing integral averages of f by medians throughout the definition. This change has a…

We study the boundedness problem for maximal operators $\mathbb{M}_{\sigma}$ associated to flat plane curves with Mitigating factors, defined by $$\mathbb{M}_{\sigma}f(x) \, := \, \sup_{1 \leq t \leq 2} \left|\int_{0}^{1} f(x-t\Gamma(s)) \,…

We obtain sharp bounds for the modulus of continuity of the uncentered maximal function in terms of the modulus of continuity of the given function, via integral formulas. Some of the results deduced from these formulas are the following:…

For a family of graphs $\mathcal{F}$, a graph $G$ is $\mathcal{F}$-universal if $G$ contains every graph in $\mathcal{F}$ as a (not necessarily induced) subgraph. For the family of all graphs on $n$ vertices and of maximum degree at most…

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…

Let $M^{(u)}$, $H^{(u)}$ be the maximal operator and Hilbert transform along the parabola $(t, ut^2) $. For $U\subset(0,\infty)$ we consider $L^p$ estimates for the maximal functions $\sup_{u\in U}|M^{(u)} f|$ and $\sup_{u\in U}|H^{(u)}…

A $t$-spanner of a graph $G$ is a subgraph $H$ in which all distances are preserved up to a multiplicative $t$ factor. A classical result of Alth\"ofer et al. is that for every integer $k$ and every graph $G$, there is a $(2k-1)$-spanner of…