Estimates of maximal functions measuring local smoothness

1999

Letη be a nondecreasing function on (0, 1] such thatη(t)/t decreases andη(+0)=0. Letf ∈L(I n ) (I≡[0,1]. Set $${\mathcal{N}}_\eta f(x) = \sup \frac{1}{{\left| Q \right|\eta (\left| Q \right|^{1/n} )}} \smallint _Q \left| {f(t) - f(x)} \right|dt,$$ , where the supremum is taken over all cubes containing the pointx. Forη=t α (0<α≤1) this definition was given by A.Calderon. In the paper we prove estimates of the maximal functions $${\mathcal{N}}_\eta f$$ , along with some embedding theorems. In particular, we prove the following Sobolev type inequality: if $$1 \leqslant p< q< \infty , \theta \equiv n(1/p - 1/q)< 1, and \eta (t) \leqslant t^\theta \sigma (t),$$ , then $$\parallel {\mathcal{N}}_…