BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
J. Pérez Lázaro appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this note we describe some recent advances in the area of maximal function inequalities. We also study the behaviour of the centered Hardy-Littlewood maximal operator associated to certain families of doubling, radial decreasing measures, and acting on radial functions. In fact, we precisely determine when the weak type $(1,1)$ bounds are uniform in the dimension.
We show that the lowest constant appearing in the weak type (1,1) inequality satisfied by the centered Hardy-Littlewood maximal operator on radial integrable functions is 1.
As shown in [A1], the lowest constants appearing in the weak type (1,1) inequalities satisfied by the centered Hardy-Littlewood maximal operator associated to certain finite radial measures, grow exponentially fast with the dimension. Here we extend this result to a wider class of radial measures and to some values of p>1. Furthermore, we improve the previously known bounds for p=1. Roughly speaking, whenever p\in (1, 1.03], if μis defined by a radial, radially decreasing density satisfying some mild growth conditions, then the best constants c_{p,d,μ} in the weak type (p,p) inequalities satisfy c_{p,d,μ} \ge 1.005^d for all d sufficiently large. We also show that exponential increase of the best constants occurs for certain families of doubling measures, and for arbitrarily high values of p. [A1] Aldaz, J.M. Dimension dependency of the weak type (1,1) bounds for maximal functions associated to finite radial measures. Bull. Lond. Math. Soc. 39 (2007) 203-208. Also available at the Mathematics ArXiv.
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: The best constants for Lipschitz and Hölder functions on proper subintervals of $\mathbb{R}$ are $\operatorname{Lip}_α( Mf) \le (1 + α)^{-1}\operatorname{Lip}_α( f)$, $α\in (0,1]$. On $\mathbb{R}$, the best bound for Lipschitz functions is $ \operatorname{Lip} ( Mf) \le (\sqrt2 -1)\operatorname{Lip}( f).$ In higher dimensions, we determine the asymptotic behavior, as $d\to\infty$, of the norm of the maximal operator associated to cross-polytopes, euclidean balls and cubes, that is, $\ell_p$ balls for $p = 1, 2, \infty$. We do this for arbitrary moduli of continuity. In the specific case of Lipschitz and Hölder functions, the operator norm of the maximal operator is uniformly bounded by $2^{-α/q}$, where $q$ is the conjugate exponent of $p=1,2$, and as $d\to\infty$ the norms approach this bound. When $p=\infty$, best constants are the same as when $p = 1$.
We characterize the space $BV(I)$ of functions of bounded variation on an arbitrary interval $I\subset \mathbb{R}$, in terms of a uniform boundedness condition satisfied by the local uncentered maximal operator $M_R$ from $BV(I)$ into the Sobolev space $W^{1,1}(I)$. By restriction, the corresponding characterization holds for $W^{1,1}(I)$. We also show that if $U$ is open in $\mathbb{R}^d, d >1$, then boundedness from $BV(U)$ into $W^{1,1}(U)$ fails for the local directional maximal operator $M_T^{v}$, the local strong maximal operator $M_T^S$, and the iterated local directional maximal operator $M_T^{d}\circ ...\circ M_T^{1}$. Nevertheless, if $U$ satisfies a cone condition, then $M_T^S:BV(U)\to L^1(U)$ boundedly, and the same happens with $M_T^{v}$, $M_T^{d} \circ ...\circ M_T^{1}$, and $M_R$.
We prove that if $f:I\subset \Bbb R\to \Bbb R$ is of bounded variation, then the noncentered maximal function $Mf$ is absolutely continuous, and its derivative satisfies the sharp inequality $\|DMf\|_1\le |Df|(I)$. This allows us obtain, under less regularity, versions of classical inequalities involving derivatives.