Advanced Search

Let be a collection of bounded open sets in ℝⁿ such that, for any x ∈ ℝⁿ, there exists a set U ∈ of arbitrarily small diameter containing x. The collection is said to be a density basis provided that, given a measurable set A ⊂ ℝⁿ, for a.e. x ∈ ℝⁿ we have $li{m}_{k\to \infty }1/\left|R_k\right|{\int }_{R_k}{\chi }_A={\chi }_A\left(x\right)$ for any sequence $R_k$ of sets in containing x whose diameters tend to 0. The geometric maximal operator $M_{}$ associated to is defined on L¹(ℝⁿ) by $M_{}f\left(x\right)=su{p}_{x\in R\in }1/\left|R\right|{\int }_R\left|f\right|$. The halo function ϕ of is defined on (1,∞) by $\varphi \left(u\right)=sup1/\left|A\right||x\in ℝⁿ:M_{}{\chi }_A\left(x\right)>1/u|:0<|A|<\infty$ and on [0,1] by ϕ(u) = u. It is shown that the halo...

Let $U₁,...,U_d$ be a non-periodic collection of commuting measure preserving transformations on a probability space (Ω,Σ,μ). Also let Γ be a nonempty subset of $\mathbb{Z}{₊}^d$ and the associated collection of rectangular parallelepipeds in ${ℝ}^d$ with sides parallel to the axes and dimensions of the form $n₁\times \cdots \times n_d$ with $(n₁,...,n_d)\in \Gamma .$ The associated multiparameter geometric and ergodic maximal operators $M_{}$ and $M_{\Gamma }$ are defined respectively on $L¹\left({ℝ}^d\right)$ and L¹(Ω) by $M_{}g\left(x\right)=su{p}_{x\in R\in }1/\left|R\right|{\int }_R\left|g\left(y\right)\right|dy$ and $M_{\Gamma }f\left(\omega \right)=su{p}_{(n₁,...,n_d)\in \Gamma }1/n₁\cdots n_d{\sum }_{j₁=0}^{n₁-1}\cdots {\sum }_{j_d=0}^{n_d-1}\left|f\left(U{₁}^{j₁}\cdots U_d^{j_d}\omega \right)\right|$. Given a Young function Φ, it is shown that $M_{}$ satisfies the weak type estimate $|x\in {ℝ}^d:M_{}g\left(x\right)>\alpha |\le C_{}{\int }_{{ℝ}^d}\Phi (c_{}\left|g\right|/\alpha )$ for...

It is shown that if T is a sublinear translation invariant operator of restricted weak type (1,1) acting on L¹(𝕋), then T maps simple functions in L log L(𝕋) boundedly into L¹(𝕋).

Let $M_S$ denote the strong maximal operator. Let $M_x$ and $M_y$ denote the one-dimensional Hardy-Littlewood maximal operators in the horizontal and vertical directions in ℝ². A function h supported on the unit square Q = [0,1]×[0,1] is exhibited such that ${\int }_Q{M}_y{M}_{x}h<\infty$ but ${\int }_Q{M}_x{M}_{y}h=\infty$. It is shown that if f is a function supported on Q such that ${\int }_Q{M}_y{M}_{x}f<\infty$ but ${\int }_Q{M}_x{M}_{y}f=\infty$, then there exists a set A of finite measure in ℝ² such that ${\int }_A{M}_{S}f=\infty$.

A necessary and sufficient condition is given on the basis of a rare maximal function $M_l$ such that $M_{l}f\in L¹\left([0,1]\right)$ implies f ∈ L log L([0,1]).

It is shown that if two functions share the same uncentered (two-sided) ergodic maximal function, then they are equal almost everywhere.