07.07.2015 Views

Weighted Norm Inequalities for the Local Sharp Maximal Function

Weighted Norm Inequalities for the Local Sharp Maximal Function

Weighted Norm Inequalities for the Local Sharp Maximal Function

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Weighted</strong> <strong>Norm</strong> <strong>Inequalities</strong> <strong>for</strong> <strong>the</strong> <strong>Local</strong> <strong>Sharp</strong> <strong>Maximal</strong> <strong>Function</strong> 469Corollary 1.<strong>Inequalities</strong> (2.1) and (2.3) are sharp in <strong>the</strong> sense that M [p]+1 ω cannot be replacedby M [p] ω.To prove Proposition 1, we follow a counterexample due to J.M. Wilson [16]. Letn = 1 and T be <strong>the</strong> Hilbert trans<strong>for</strong>m H . Take ω = χ (0,1) and f = (log x) −1 χ (e,e N ) .Simple computations show that |Hf |≥c log N on (0, 1),M k ω(x) ≍(log(2 +|x|))k−12 +|x|,andThere<strong>for</strong>e,while(M r f(x)≤ c1log(2 +|x|) χ {|x|≤e N } + eN/rN∫R |Hf |p ωdx ≥ c(log N) p ,)1|x| 1/r χ {|x|≥e N } .∫∫ e NR (M rf ) p M [p] dxωdx ≤ c0 (log(2 + x)) p−[p]+1 (2 + x)∫+ c eNp/r ∞(log x) [p]−1N p e N x 1+p/r dx≤ c(log N + 1/N p−[p]+1 ) ≤ c log N,which contradicts (2.7) <strong>for</strong> large N.In conclusion we observe that (2.5) allows us to obtain a sufficient condition on a pairof weights (ω, v) <strong>for</strong> which T is bounded from L p v to L p ω, that is,∫∫R |Tf|p ωdx ≤n R |f |p vdx. (2.8)nIndeed, applying <strong>the</strong> well-known Sawyer’s S p condition [11] to (2.5), we get that <strong>the</strong>condition∫ ( ( )) ∫pM v 1−p′ χ Q (Mω/ω) p ωdx ≤ c v 1−p′ dx <strong>for</strong> all Q ⊂ R nQQis sufficient <strong>for</strong> (2.8) (see also [3, 15] <strong>for</strong> different results in this direction).3. Two LemmasHere we present two important properties of <strong>the</strong> local sharp maximal function. Recallfirst some well-known definitions.The non-increasing rearrangement of a measurable function f is defined byf ∗ (t) = sup|E|=t x∈Einf |f(x)| (0

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!