Extensions of Meyers-Ziemer results

Abstract

Letp∈(1, +∞) ands ∈ (0, +∞) be two real numbers, and letHps(ℝn) denote the Sobolev space defined with Bessel potentials. We give a classA of operators, such thatBs,p-almost all points ℝn are Lebesgue points ofT(f), for allf ∈Hps(ℝn) and allT ∈A (Bs,p denotes the Bessel capacity); this extends the result of Bagby and Ziemer (cf. [2], [15]) and Bojarski-Hajlasz [4], valid wheneverT is the identity operator. Furthermore, we describe an interesting special subclassC ofA (C contains the Hardy-Littlewood maximal operator, Littlewood-Paley square functions and the absolute value operatorT: f→|f|) such that, for everyf ∈Hps(ℝn) and everyT ∈C, T(f) is quasiuniformly continuous in ℝn; this yields an improvement of the Meyers result [10] which asserts that everyf ∈Hps(ℝn) is quasicontinuous. However,T (f) does not belong, in general, toHps(ℝn) wheneverT ∈C ands≥1+1/p (cf. Bourdaud-Kateb [5] or Korry [7]).