arxiv: v2 [math.ca] 10 Dec 2015

Transcription

1 OSCILLATION ESTIMATES, SELF-IMPROVING RESULTS AND GOOD-λ INEUALITIES LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL arxv: v2 [math.ca] 1 Dec 215 Abstract. Our man result s an abstract good-λ nequalty that allows us to consder three self-mprovng propertes related to oscllaton estmates n a very general context. The novelty of our approach s that there s one prncple behnd these self-mprovng phenomena. Frst, we obtan hgher ntegrablty propertes for functons belongng to the so-called John-Nrenberg spaces. Second, and as a consequence of the prevous fact, we present very easy proofs of some of the selfmprovng propertes of the generalzed Poncaré nequaltes studed by. Franch, C. Pérez and R. Wheeden n [9], and by P. MacManus and C. Pérez n [21]. Fnally, we show that a weak Gurov-Reshetnyak condton mples hgher ntegrablty wth asymptotcally sharp estmates. We dscuss these questons both n Eucldean spaces wth cubes and n spaces of homogeneous type wth metrc balls. We develop new technques that apply to more general oscllatons than the standard mean oscllaton and to overlappng balls nstead of cubes. Contents 1. Motvaton: self-mprovng phenomena 2 Part 1. The Eucldean settng: cubes 4 2. The good-λ nequalty 4 3. Applcatons I: Classcal oscllatons John-Nrenberg spaces Franch-Pérez-Wheeden self-mprovement Gurov-Reshetnyak classes 9 4. Applcatons II: Generalzed oscllatons John-Nrenberg spaces for local oscllatons Franch-Pérez-Wheeden self-mprovement for local oscllatons Gurov-Reshetnyak classes for local oscllatons Proof of Theorem Date: July 9, 215. Revsed: December 1, Mathematcs Subject Classfcaton. 4225, Key words and phrases. Poncaré nequalty, doublng measure, John-Nrenberg nequalty, functons of bounded mean oscllaton, Calderón-Zygmund decomposton, good-λ nequalty, Gurov- Reshetnyak condton. The frst author s grateful for the hosptalty of ICMAT n Madrd, Span, where parts of ths research was conducted. The vst was supported by the Fnnsh Academy of Scence and Letters, Vlho, Yrjö and Kalle Väsälä foundaton. The second author was supported by the Academy of Fnland. The thrd author was supported by ICMAT Severo Ochoa project SEV He also acknowledges that the research leadng to these results has receved fundng from the European Research Councl under the European Unon s Seventh Framework Programme FP7/27-213)/ ERC agreement no HAPDEGMT. 1

2 2 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL Part 2. Spaces of homogeneous type The good λ-nequalty Applcatons John-Nrenberg spaces Franch-Pérez-Wheeden self-mprovement Weak Gurov-Reshetnyak condton Proof of Theorem References Motvaton: self-mprovng phenomena It s well-known that the Sobolev-Poncaré nequalty 1.1) fx) f dx l) fx) p dx encodes a self-mprovement n the local ntegrablty of f. Indeed, the prevous estmate s meanngful provded f L 1 loc Rn ) and f L p loc Rn ) and t mples ) 1/p ) 1/p 1.2) fx) f p dx l) fx) p dx wth p = pn/n p) for 1 p < n. If p n we obtan a smlar estmate for any p 1, ). Here f and the barred ntegral sgn both denote the ntegral average and l) stands for the sde length of a cube. Denotng the rght-hand sde of 1.1) by a), the nequalty may be rewrtten as 1.3) fx) f dx a). In general, we may study generalzed Poncaré nequaltes of the form 1.3) wth respect to an abstract functonal a actng on cubes. The nequalty 1.1) above s one of the most relevant examples, but nequaltes nvolvng controlled oscllaton appear frequently both n the Eucldean and non-eucldean settng. For nstance, the Sobolev-Poncaré nequalty has an analogue n metrc measure spaces defned n terms of the so-called upper gradents) whch has become a standard tool n the feld, see [15]. A unfed approach to the subject was frst developed n [9], n the context of spaces of homogeneous type. They ntroduced a dscrete summablty condton D p, whch n the settng takes the followng form. Gven a cube, an exponent p wth 1 < p <, and a functonal a : D ) [, ) here and elsewhere we wll wrte D ) to denote the famly of subcubes of we say that a Dp ), f there exsts a constant a such that for every D ), we have a ) p a p a) p, ) 1/p

3 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES 3 whenever { } D) s a parwse dsjont famly. It was shown n [9] that f 1.3) holds for all D ) wth a Dp ), then 1.4) f f L p,, a a) for every D ). In the prevous expresson we have used the followng notaton: gven a anach functon space X e.g., L p, L p,, etc.) and a cube, we wrte f X, = f X,dx/). Note that 1.4) and Kolmogorov s nequalty mply 1/q 1.5) fx) f dx) q a a) for every 1 q < p. Thus, we have agan a self-mprovement phenomenon: a pror weonlyhave f L 1 loc R)andaposteror wegetf Lq loc R)forevery 1 q < p. The results n [9] were extended and mproved n [2, 21] and we wll further generalze them. Another, apparently dfferent, self-mprovement takes place for the functons belongng to the John-Nrenberg spaces whch are defned as follows. Gven f L 1 ) and 1 < p <, we say that f JNp ) provded where f JN p ) : = sup f JN p, <, D ) f JN p, : = sup 1 ) p fx) f dx ) 1/p, andthesupremum stakenover allparwsedsjontsubfamles{ } ofd). These spaces frst appeared n the celebrated paper of F. John and L. Nrenberg [13] and the space MO can be seen as the lmt case of JN p as p, see also [7, 11, 1]. It was shown n [13] that the space JN p ) embeds nto L p, ), whch agan amounts to mprovement n the order of ntegrablty of f. We shall show that JN p spaces and generalzed Poncaré nequaltes are closely connected. In partcular, the embeddng JN p ) L p, ) easly mples some of the known self-mprovement results for generalzed Poncaré nequaltes, ncludng 1.4). The last example of self-mprovement that we consder s gven by the Gurov-Reshetnyak condton, frst ntroduced n the context of quasconformal mappngs, see [12, 14, 23]. For a non-negatve functon w L 1 ) called a weght), we wrte w GR ε 1.6) ), where < ε < 2, f wx) w dx εw for every D ). Ths condton mples that w L pε ) for some p ε > 1, see [1, 5, 6, 16, 17, 18, 19, 22, 23]. The man pont of nterest here s that p ε + as ε +. Whle 1.6) s of the form 1.3), the results n [9, 2, 21] do not provde any non-trval nformaton about the class GRε ). Ths s because a) = εw only satsfes D p wth p = 1 see [21, p. 3]). However, our approach apples to Gurov-Reshetnyak weghts as well.

4 4 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL The novelty of our approach s to show that there s one prncple behnd these selfmprovement phenomena: they all and much more) can be derved from a sngle abstract good-λ nequalty, whch s a refned local verson of the two-parameter good-λ nequaltes consdered [3]. In Part 1 we consder the and local) case, and the related good-λ nequalty s contaned n Theorem 2.1. Our frst set of applcatons see Secton 3) contans the examples of self-mprovng estmates ponted out above. We frst obtan an embeddng of the John-Nrenberg space nto the correspondng weak Lebesgue space. Second we show how ths embeddng easly gves some of the Franch-Pérez-Wheeden self-mprovements n [9, 21]. Fnally, we frame the Gurov-Reshetnyak condton nto our good-λ nequalty to obtan the asymptotc hgher ntegrablty. We would lke to emphasze that these applcatons are straghtforward once the good-λ result s avalable. Another mportant feature of our good-λ nequalty s that we can consder dfferent oscllatons, that s, fx) f may be replaced by fx) A fx), where A s a local operator. In Secton 4 we elaborate on ths and obtan self-mprovements for new John-Nrenberg, Franch-Pérez-Wheeden and Gurov-Reshetnyak condtons wrtten n terms of these local oscllatons. In Part 2 we consder the correspondng problems but n the settng of spaces of homogeneous type, that s, n metrc spaces endowed wth a doublng measure. We obtan a local good-λ nequalty see Secton 6), whch s appled to the self-mprovng propertes. We consder more general John-Nrenberg, Franch-Pérez-Wheeden and Gurov-Reshetnyak condtons whch are natural when workng wth the metrc balls. We would lke to emphasze that n contrast wth Part 1, where cubes can be ncely decomposed as a unon of non-overlappng cubes, n Part 2, coverngs are made wth balls. Ths creates both overlap and ncreases the support that s, nstead of workng n a gven ball we have to consder the dlated ball 1+γ)). Good-λ nequaltes typcally lead to weghted and unweghted estmates. In ths paper we wll only consder unweghted estmates for the sake of concseness. The correspondng weghted norm nequaltes wth Muckenhoupt weghts wll be treated elsewhere. Part 1. The Eucldean settng: cubes 2. The good-λ nequalty The man result n ths secton s an abstract local good-λ nequalty wrtten n terms of cubes. To set the stage, we fx a cube R n. We recall that D ) stands for the set of subcubes of. If D )\{ } we wrte for the parent of, that s, the unque D ) wth sde length l ) = 2l). Let M denote the local maxmal operator M fx) = sup fy) dy. x D )

5 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES 5 We are now ready to state our good-λ nequalty whch s a refned local verson of the two-parameter good-λ nequaltes consdered n [3]. The proof s postponed untl Secton 5. Theorem 2.1. Fx a cube R n and let F L 1 ). Assume that there are constants Θ 1 and δ < 2 1 such that for every D )\{ } there exst non-negatve functons H, G and a constant g satsfyng ) Fx) G x)+h x) for a.e. x, ) H L ) Θ Fx)dx, ) G x)dx δ Fx)dx+g. Defne G x) := sup g. x D ) Gven λ Fx)dx, for every K > Θ and < γ < 1 we have 2.2) {x : M Fx) > Kλ,G x) λγ} δ +γ {x : M Fx) > λ}. K Θ Let 1 < p < 1+ log1/2δ)) log2θ) notce that f δ = we can take any p > 1), then 2.3) F L p,, M F L p,, C p,θ,δ G L p,, +C p,θ,δ Fx)dx and 2.4) F L p, M F L p, C p,θ,δ G L p, +C p,θ,δ Fx)dx. Note that 2.3) and 2.4) are non-trval only f p > 1, that s why we only consder ths range. Assumng ths result we are gong to derve applcatons to the John-Nrenberg, Franch-Pérez-Wheeden and Gurov-Reshetnyak condtons. We have splt these n two sectons: one where we use classcal oscllatons see Secton 3) and another where we use some generalzed oscllatons see Secton 4). 3. Applcatons I: Classcal oscllatons As an applcaton of Theorem 2.1 we shall gve new transparent and smple proofs of three known results, see Corollares 3.3, 3.5 and 3.1 below.

6 6 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL 3.1. John-Nrenberg spaces. We frst recall the defnton of the John-Nrenberg space. Let 1 < p <. For a cube R n and f L 1 ), we denote 3.1) f JN p, := sup 1 ) p 1/p fx) f dx ) = sup ) fx) f dx χ, L p, where the suprema are taken over all parwse dsjont subfamles { } of D). Gven a cube R n, we say that f JNp ), f f L 1 ) and 3.2) f JN p ) : = sup f JN p, <. D ) The next result gves the embeddng JNp ) L p, ). Corollary 3.3. Gven 1 < p <, there exsts a constant C dependng only on p and n) such that for every cube R n and f L 1 ), we have 3.4) f f L p,, C f JN p,. Proof. Fx R n and assume that f L 1 ) satsfes f JN p, <. We shall apply Theorem 2.1 to the functon Fx) := fx) f. Snce f belongs to L 1 ), so does F. Take D )\{ } and wrte Note that Fx) = fx) f fx) f + f f =: G x)+h x). H L ) = f f fx) f dx 2 n Fx)dx, whch s assumpton ) n Theorem 2.1 wth Θ = 2 n. esdes, G x)dx = fx) f dx =: g, whch s assumpton ) n Theorem 2.1 wth δ =. Note that G x) = sup x D ) g = sup x D ) fx) f dx = M # fx), whch s the and localzed sharp maxmal functon. We can then apply Theorem 2.1 wth any p > 1 snce δ = ) and obtan f f L p,, G L p,, +F = M # f L p,, + fx) f dx 2 M # f L p,,. Ths s a well-known nequalty, and Theorem 2.1 s partly motvated by t. Once we have that, we obtan the desred embeddng by a standard stoppng-tme argument.

7 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES 7 Consder the dstrbuton set Ω λ = {x : M # fx) > λ} wth λ >. Frst consder the case λ λ := fx) f dx. Subdvde ally and stop whenever fx) f dx > λ. Ths defnes a famly of Calderón-Zygmund cubes { } D )\{ } whch are maxmal, and therefore parwse dsjont, wth respect to the stoppng crteron. y our choce of λ they are proper subcubes of. Notce that Ω λ =. Then, usng that s one of the stoppng cubes we have λ p Ω λ = λp = 1 snce { } D ) s a parwse dsjont famly. ) p fx) f dx f p JN p,, Consder now the case < λ λ and note that by defnton of the JNp we mmedately have λ p Ω λ λp ) p fx) f dx f p. JNp, norm Gatherng the two cases and takng the supremum n λ >, we conclude that M # f L p,, f JN p, and thus f f L p,, M # f L p,, f JN p,. In the prevous proof we have obtaned f f L p,, M # f L p,, f JN p, and one may ask whether we can reverse any of the prevous nequaltes. Snce 1 < p < we have that M s bounded on L p, ) and therefore M # f L p,, 2 M f f ) L p,, f f L p,,. On the other hand, n general the ncluson JNp ) L p, ) s strct. In R we take = [,1) and fx) = x 1/p χ x). It s straghtforward to see that f L p, ) but f / JNp ). For the detals we refer to [2].

8 8 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL 3.2. Franch-Pérez-Wheeden self-mprovement. Let us consder a functonal a : D ) [, ). For 1 < p < and D ) we set L a Dp, = 1 1/p a )χ a) sup 1 a ) p ) p, = sup L, a)χ p, where the suprema are taken over all parwse dsjont famles { } D). We say that a Dp ) provded a D p ) := sup a Dp, <. D ) We are gong to show that the followng self-mprovement result n [9] s a straghtforward consequence of Corollary 3.3. Corollary 3.5. Fx a cube R n. Let f L 1 ) be such that 3.6) fx) f dx a), for every D ). Here a s a functonal dependng possbly on f) as above. Let 1 < p <. If a Dp ), then for every D ), we have 3.7) f f L p,, a D p ) a). Proof. Fx D ) and observe that 3.6) mples f JN p, = sup 1 ) p 1/p fx) f dx ) { } D) ) 1/p 1 a ) p sup { } D) a Dp,a) a D p ) a). Ths and 3.4) mmedately gve f f L p,, f JN p, a Dp ) a). Remark 3.8. In [21] exponental self-mprovement results are obtaned as follows. Assumng that f satsfes 3.6) wth a quas-ncreasng.e., a 1 ) C a a 2 ) for 1 2 and 1, 2 D )), then f f expl, Ca), for every D ). As n the prevous proof we can easly obtan such an estmate from the classcal John-Nrenberg nequalty: f f expl, f MO ) = sup fx) f dx D) sup a ) C a a). D)

9 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES Gurov-Reshetnyak classes. Our last applcaton n classcal oscllatons s a new proof of the self-mprovement of the Gurov-Reshetnyak condton wth the expected asymptotcal behavor as ε +. Recall that gven w L 1 ) we say that w GRε ), where < ε < 2, f 3.9) wx) w dx εw, for every D ). Corollary 3.1. Fx a cube R n. If w GRε ) wth ε > small enough for nstance, < ε < 2 n+1) ), there exsts pε) > 1 such that for every 1 p < pε), 1/p 3.11) wx) w dx) p Cεw for every D ), and where C depends only n and p. Moreover, pε) as ε +. Therefore, w RHp ) for every 1 p < pε), that s, w satsfes the reverse Hölder nequalty 1/p 3.12) wx) dx) p wx) dx for every D ). Proof. Clearly, t s enough to obtan 3.11) for tself, snce GRε ) ) for every D ). We wsh to apply Theorem 2.1 to the functon GR ε Fx) := wx) w. For any D )\{ } we have Fx) = wx) w wx) w + w w =: G x)+h x). Note that H L ) = w w wx) w dx 2 n Fx)dx, whch gves ) n Theorem 2.1 wth Θ = 2 n. y 3.9) we obtan G x)dx = wx) w dx εw 2 n ε Fx)dx+εw, whch s ) n Theorem 2.1 wth δ = 2 n ε and g = εw and hence G εw, a constant functon. Assumng that < ε < 2 n+1).e., < δ < 2 1 ), set pε) = 1+ log1/2δ)) log2 Θ) = 1 logε 1 ) n+1 log2 Observe that pε) as ε +. If we now take 1 p < pε), 2.4) gves as desred 3.11): > 1. w w L p, M F L p, G L p, +F = εw + w w dx εw. To complete the proof we just observe that 3.11) and the trangle nequalty mmedately mply 3.12).

10 1 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL Remark An analogous argument gves a smlar self-mprovement for the weak Gurov-Reshetnyak condton wx) w dx εw for every D )\{ }, f ε s small enough. Recall that s the parent of. Ths weak condton wll be studed n a more general settng n Part II. 4. Applcatons II: Generalzed oscllatons Our next goal s to show that our good-λ nequalty allows us to consder other oscllatons as well. We show that the prevous applcatons can be translated nto a new context, where the classcal oscllaton f f s replaced by another oscllaton f satsfyng some condtons. In the present stuaton, and n vew of the local character of the good-λ nequalty, all operators wll be local. Ths should be compared wth [4], where non-local oscllatons are consdered. Defnton 4.1. Gven a cube R n we say that the famly := { } D ) s a local oscllaton f, after settng A := I, the followng condtons hold: a) For every D ), A s a lnear operator actng on functons n L 1 ). b) For every D ) we have A f L ) C fy) dy. c) For every 1, 2 D ) satsfyng 1 2 we have 1 A 2 f = a.e. n 1 equvalently, A 1 A 2 f = A 2 f a.e. n 1 ). Notce that a) and b) mply that A f)χ = A fχ )χ and that s why we say that the famly s local. Example 1. Set A f = f χ and = I A. Then := { } D ) s clearly a local oscllaton Example 2. As n [9], for a fxed m, we let P m be the space of real-valued polynomals of degree at most m whch s generated by the lnearly ndependent collecton of polynomals S m = {x α } α m where α = α 1,...,α n ) s a mult-ndex and x α = x α 1 1 x αn n. Let be the cube wth the center at the orgn and sde length 1 and endow P m wth the nner product f,g = fgdx = fgdx. Then P m,, ) s a fnte-dmensonal Hlbert space. Usng the Gram-Schmdt methods on S m we can fnd m = {ϕ α } α m, an orthonormal bass of P m,, ). Notce that snce the space P m s fnte-dmensonal, all norms on t are equvalent and therefore for every α wth α m, we have ϕ α L ) C m ϕ α L 2, = C m ϕ α,ϕ α = C m.

11 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES 11 Let be an arbtrary cube centered at x and whose sde length s l). We set ϕ αx) = ϕx x )/l)) for every x. It s straghtforward to show that m = {ϕ α} α m s an orthonormal bass of the fnte-dmensonal P m,, ) where the nner product s now f,g = fgdx. Also, t s trval to check that for every α wth α m, we have 4.2) ϕ α L ) = ϕ α L ) C m. We now set A fx) = f,ϕ α ϕ α x)χ x). α m We shall see that f = I A, then = { } D ) s a local oscllaton. Notce that 4.2) mples that A s a lnear operator, well-defned for every f L 1 ) and t satsfes A f L ) α m f,ϕ α ϕ α L ) α m ϕ α 2 L ) fy) dy C m fy) dy. We fnally check the tem c). We notce that A s a projecton from L 2 ) onto the collecton of polynomals of P m restrcted to. In partcular, f π P m then A π = πχ. Thus, f 1, 2 D ) wth 1 2, we have that A 2 f = π f χ 2 wth π f P m, and, for every x 1, A 1 A 2 fx) = A 1 π f χ 2 )x) = A 1 π f )x) = π f x)χ 1 x) = A 2 fx), whch s the desred property. We notce that f m =, then ϕ α 1 and A f = f χ, and we are back at Example John-Nrenberg spaces for local oscllatons. Let R n be a cube and be a local oscllaton. We say that f JN,p ), provded f L 1 ) and 4.3) where 4.4) f JN,p, := sup f JN,p ) : = sup f JN D ),p, <, 1 ) p 1/p fx) dx ) = sup ) fx) dx χ. L p, Here the suprema are taken over all parwse dsjont famles { } D). We show that JN,p ) L p, ) whenever 1 < p <.

12 12 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL Corollary 4.5. Let 1 < p <. Fx a cube R n and let be a local oscllaton. For every D ) and f L 1 ) we have 4.6) f L p,, C f JN,p,. Proof. We shall apply Theorem 2.1. Fx R n, f L 1 ) and assume that f JN,p, <. Note that drectly from the defnton fx) dx f JN,p, <. Thus Fx) := fx) L 1 ). For every D )\{ } we have Fx) = fx) fx) + A fx) A fx) =: G x)+h x). y Defnton 4.1 t follows that H L ) = A f A f L ) = A f A A f L ) = A f L ) C wx) dx 2 n C Fx)dx, whch s ) n Theorem 2.1 wth Θ = 2 n C. Moreover, G x)dx = fx) dx =: g whch s ) n Theorem 2.1 wth δ =. Note that G x) = sup g = sup fx) dx =: M # fx), x D ) x D ) whch s the and localzed sharp maxmal functon assocated wth the oscllaton. Theorem 2.1 wth any 1 < p <, snce δ = ) mples f L p,, G L p,, +F = M # f L p,, + fx) dx 2 M # f L p,,. To complete the proof, let λ λ := fx) dx, and consder the dstrbuton set Ω λ = {x : M # fx) > λ}. Subdvde ally and stop whenever 4.7) f dx > λ. Ths defnes a famly of Calderón-Zygmund cubes { } D ) whch are maxmal, and therefore parwse dsjont, wth respect to the stoppng crteron. y our choce

13 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES 13 of λ we have that { } D )\{ }. Notce that Ω λ =. Then, usng that satsfes 4.7) we have λ p Ω λ = λp 1 ) p fx) dx f p, JN,p, snce { } D ) s a parwse dsjont famly. On the other hand, f < λ < λ, by the defnton of the JN,p norm we mmedately have ) λ p Ω p λ λp fx) dx f p. JN,p, Collectng the two cases and takng the supremum n λ > we conclude that and thus M # f L p,, f JN,p, f L p,, M # f L p,, f JN,p,. Note that the prevous corollary mples that JN,p ) L p, ), because f L p,, f L p,, + A f L p,, f JN,p, + fx) dx < Franch-Pérez-Wheeden self-mprovement for local oscllatons. As before we mmedately obtan the followng consequence of Corollary 4.5. Corollary 4.8. Fx a cube R n and a local oscllaton. Let f L 1 ) be such that 4.9) fx) dx a) for every D ), where a : D ) [, ) s a functonal dependng probably on f). Let 1 < p <. If a Dp ), then, for every D ), 4.1) L p,, a D p ) a). Proof. Fx D ) and assume that a) < ; otherwse there s nothng to prove. We frst observe that 4.9) mples f JN,p, = sup 1 ) p 1/p fx) dx ) { } D) 1/p 1 a ) p ) a D p ) a) <. sup { } D) Ths and 4.6) mmedately gve the desred estmate f L p,, f JN,p, a Dp ) a).

14 14 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL 4.3. Gurov-Reshetnyak classes for local oscllatons. Fx a cube R n, a local oscllaton and let w L 1 ). We say that w GR,ε ), f 4.11) wx) dx = wx) A wx) dx ε A wx) dx for every D ). Let us observe that one could have defned GR,ε ) wth a rght hand term of the form εw. Ths would lead us to an equvalent defnton provded ε s small enough). Indeed, 4.11) and Defnton 4.1 mply that Conversely, f wx) dx ε A wx) dx εc w. w dx ε w wth < ε < 1/2, then wx) dx ε w dx 1 wx) dx+ε A wx) dx, 2 and the frst term n the last quantty can be absorbed to obtan 4.11) wth ε = 2ε. Corollary Fx a cube R n, a local oscllaton and w GR,ε ). If < ε < 1 s small enough for nstance, < ε < 2 n+2) C 1 ), there exsts pε) > 1 such that for every 1 p < pε), 1/p 4.13) wx) dx) p Cε A wx) dx for every D ). Moreover, pε) as ε +. Therefore w RHp ) for every 1 p < pε), that s, 4.14) for every D ). 1/p wx) dx) p wx) dx Proof. We frst observe that 4.13), the trangle nequalty and Defnton 4.1 mply 4.14): 1/p 1/p ) 1/p wx) dx) p wx) dx) p + A wx) p dx ) 1/p 1+Cε)C 1+Cε) A wx) p dx wx) dx. To obtan 4.13) we note that we can just prove t for for an arbtrary D ) we smply repeat the argument wth n place of ). We shall apply Theorem 2.1.

15 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES 15 y assumpton Fx) := wx) L 1 ). Let D )\{ } and, for every x, we wrte Fx) = wx) A wx) wx) + A wx) A wx) =: G x)+h x) Note that by Defnton 4.1 we have H L ) = A w A w L ) = A w A A w L ) = A w L ) C wx) dx 2 n C Fx)dx, whch s ) n Theorem 2.1 wth Θ = 2 n C. y 4.11) and Defnton 4.1 we obtan G x)dx = wx) dx ε A fx) dx εc fx) dx εc 2 n εc 2 n εc 2 n εc fx) dx+εc Fx)dx+εC 2 Fx)dx+εC 2 A fx) dx fx) dx Fx)dx+ε1+ε)C 2 whch s ) n Theorem 2.1 wth δ = 2 n εc and g = ε1+ε)c 2 A fx) dx. We have G ε1+ε)c 2 A fx) dx. Assumng that < ε < 2 n+1 C ) 1 that s, < δ < 2 1 ), set pε) = 1+ log1/2δ)) log2 Θ) fx) dx+εc 2 A fx) dx A fx) dx, = logε 1 ) log2 n+1 C ) > 1, and observe that pε) as ε +. If we now take 1 p < pε), 2.4) gves w L p, = F L p, G L p, +F = ε1+ε)c 2 A fx) dx+ wx) dx ε A fx) dx. Ths shows 4.13) wth n place of and the proof s complete. 5. Proof of Theorem 2.1 For each λ > we set Ω λ = {x : M Fx) > λ}. Fxed λ F, we subdvde ally and stop whenever F > λ. Ths defnes the famly of Calderón-Zygmund cubes { } D ) whch are maxmal, and therefore parwse

16 16 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL dsjont, wth respect to the property F > λ. y our choce of λ we have that { } D )\{ }. Notce that Ω λ =. Let K > Θ 1, < γ < 1 and set Note that E λ Ω λ and thus E λ = {x : M Fx) > Kλ,G x) λγ}. E λ = E λ Ω λ = E λ. We analyze each term ndvdually. We may assume that E λ otherwse there s nothng to prove). Thus there s x E λ. Note that for every x we have that M Fx) = M Fx) snce M Fx) > λ and, by the maxmalty of the Calderón-Zygmund cubes, F λ for any cube D ) wth. Then, for every x E λ, we can use ), ) and the maxmalty of the Calderón-Zygmund cubes to obtan Kλ < M Fx) = M Fx) M G x)+m H x) M G x)+θ F dx M G x)+θλ. The weak-type 1,1) estmate for M, ) and the fact that x E λ mply E λ {x : M G > K Θ)λ} 1 G x)dx K Θ)λ ) δ Fx)dx+g K Θ)λ δλ+g K Θ)λ x ) ) δ +γ K Θ. Summng on we readly obtan 2.2). We next show 2.3). Note frst that by 2.2) we have Ω Kλ E λ + {x : G x) > γλ} δ +γ K Θ Ω λ + {x : G x) > γλ} for every λ F. Thus, for every < λ <, 5.1) Ω Kλ δ +γ K Θ Ω λ + {x : G x) > γλ} + χ {<λ<f }λ). For every N, and 1 < p < 1+ log1/2δ)) log2 Θ) the prevous estmate leads to I N := sup λ p Ω λ <λ<n = Kp sup λ p Ω Kλ <λ<n/k 2Θ) pδ +γ Θ I N + 2Θ)p γ p G p L p,, +2Θ) p F ) p, where we have chosen K = 2Θ. Let us observe that our choce of p guarantees that 2Θ) p δ/θ < 1 and hence we can take γ small enough so that 2Θ) p δ +γ)/θ < 1. Ths and the fact that I N N p < allow us to absorb the frst term n the last estmate to obtan I N C Θ,δ,p G p L p,, +F ) p).

17 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES 17 Fnally we let N and use the Lebesgue dfferentaton theorem to obtan 2.3). To obtan the strong type estmates we proceed analogously. We use 5.1) to show that N I N := pλ p Ω λ dλ N/K λ = Kp pλ p Ω Kλ dλ λ 2Θ) pδ +γ Θ I N + 2Θ)p G γ p p L p, +2Θ) p F ) p, where agan K = 2Θ. From here 2.4) follows as before. Part 2. Spaces of homogeneous type 6. The good λ-nequalty In the sequel X = X,d,µ) s a metrc space endowed wth a metrc d and a orel regular doublng measure µ wth < µ) < for all balls. Actually, all of our results hold true n spaces of homogeneous type equpped wth a quas metrc see [8, 24]), but for smplcty of presentaton we concentrate on metrc spaces. A ball means an open ball whch comes wth a center and a postve fnte radus, that s, = x,r ) = {y X : dy,x ) < r }. The λ-dlate of s defned by λ := x,λr ) and the doublng condton means that µ2) cµ) for all balls n X. Ths mples that there exsts D > such that 6.1) for every wth r r. µ ) µ) c µ ) D r Gven a ball and a fxed small) η >, we wrte := 1 + η). Fx a ball = x,r ) and consder the followng famly of balls 6.2) := := { = x,r ) : x wth r ηr }. It should be observed that 6.3) and τ 1 mply and τ τ. Inthefollowngwe consder thehardy-lttlewoodmaxmal operatorm wthrespect to the bass, that s, M fx) := M fx) := sup f dµ, x wth the conventon that M fx) = f there s no ball n contanng the pont x. In partcular, M f vanshes outsde of. y the Lebesgue dfferentaton theorem we have f M f µ-a.e. n. r

18 18 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL Theorem 6.4. Fx a ball X and consder the famly = as before. Let F L 1 ) and assume that there are constants Θ 1, δ < 2 1 and τ 1 such that for every there exst non-negatve functons H, G and a constant g satsfyng ) Fx) G x)+h x) for µ-a.e. x, ) H L ) Θ Fx)dµx), ) τ G x)dµx) δ τ Fx)dµx)+g. Defne G x) := sup g x wth the conventon that G x) = f there s no ball n contanng the pont x. There s λ = λ τ,η,µ) such that f λ λ F dµ, K > max{θ,c µ 3 D } and < γ < 1, then 6.5) µ {x : M Fx) > Kλ,G x) γλ} ) δ +γ C µ K Θ µ {x : M Fx) > λ} ), where C µ 1 depends only on µ. { If δ < 1 Θ 2C µ mn 1, can take any p > 1), then c µ3 D } and 1 < p < log1/cµ δθ 1 )) log2 max{θ,c µ3 D }) 6.6) F L p,, M F L p,, G L p,, +F and 6.7) F L p, M F L p, G L p, +F. notce that f δ = we The proof of ths result s postponed untl Secton 8. In the followng secton we wll present some applcatons n the context of the John-Nrenberg, Franch-Pérez- Wheeden and Gurov-Reshetnyak condtons. These are not mere translatons of the ones consdered n Secton 3 to the settng of spaces of homogeneous type as we consder oscllatons n L wth 1 n the frst two applcatons and we allow some dlaton on the rght hand sdes of the Gurov-Reshetnyak condtons. 7. Applcatons 7.1. John-Nrenberg spaces. The Eucldean defnton of the John-Nrenberg spaces can be generalzed n a straghtforward way by replacng cubes by balls. In [2] a further generalzaton was consdered by allowng the famly of balls to have bounded overlap and the authors establshed the correspondng embeddng nto the weak-l p space.

19 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES 19 For our purposes we shall further generalze those defntons as follows. Gven a ball, < 1, τ 1 and p > 1, for each f L ) we wrte 1 ) ) p/ 1/p 7.1) f JN p,τ, := sup nf f c dµ µτ ), µ) c R where the supremum runs over all parwse dsjont famles {τ } wth τ for every. We say that f JN p,τ ) provded f L ) and f JN p,τ ) := sup f JN p,τ, <. Observe that forτ = = 1, the space concdes wth thecorrespondng metrc verson of the John-Nrenberg space consdered n Secton 3. We obtan the embeddng of the John-Nrenberg spaces as just defned nto the correspondng weak-l p spaces. Corollary 7.2. Gven 1 < p <, < 1 and τ 1, there exsts a constant C, dependng only on p, τ, η, and µ, such that for every ball X and f L τ ), we have 7.3) f f L p,, C f JN p,τ,τ. Proof. Fx a ball and assume that f JN p,τ,τ < wth f L τ ). For every τ, let c be the real number for whch f c dµ = nf c R f c dµ. That c exsts.e, that the nfmum s attaned) follows from the fact that any sequence approxmatng the nfmum whch s fnte snce f L )) s bounded. Then one can extract a convergent subsequence for whch domnated convergence theorem can be appled. Further detals are left to the nterested reader. We shall apply Theorem 6.4 wth F = f c L 1 ). Frst, we notce that for every Fx) fx) c + c c =: G x)+h x). y the mnmzng property of the constants c, we have H x) c dµ f c c dµ+ f dµ c 2 f c dµ = 2 F dµ 2c µ τ D Ths s assumpton ) n Theorem 6.4 wth Θ = 2c µ τ D. esdes, G dµ = f c dµ =: g, F dµ.

20 2 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL whchsassumpton)wthδ =. NotethatG sthesharptypemaxmalfuncton wth respect to the bass defned by G x) = sup g = sup f c dµ = sup nf f c dµ. x x c R x An applcaton of 6.6) wth the exponent p/ notce that δ = and p/ p > 1) gves f f L p,, 2 f c L p,, = 2 F L p/,, G L p/,, + f dµ c = G ) 1/ + nf f c dµ L p, ) c R G )1/ L p, ) + f JN p,τ,τ. To estmate G )1/ L p, ), take any x wth G x)1/ > λ. Then there s a ball x, x x wth ) 1/ f c x dµ > λ. x Now apply Vtal s coverng theorem to the balls {τ x } x to obtan a countable famly of parwse dsjont balls τ wth {x : G x)1/ > λ} 5τ. Observe that snce, we have τ τ see 6.3)). Therefore, µ{x : G x)1/ > λ} c µ 5 D µτ ) Consequently, c µ5 D λ p and the desred estmate 7.3) follows. ) p/ µτ ) f c dµ c µ5 D λ p f p µτ JNp,τ,τ ). G )1/ L p,, f JN p,τ,τ, 7.2. Franch-Pérez-Wheeden self-mprovement. Fx a ball and a functonal a : { : τ } [, ). Gven 1 < p < and τ we set a Dp, = 1 1/p a) sup 1 a ) p µ )), µ) where the supremum runs over all parwse dsjont famles { } wth. We say that a D p τ ) provded a Dpτ ) := sup τ a Dp, <.

21 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES 21 Our goal s to prove the followng result whch, n partcular, ncludes the man result of MacManus and Pérez [21, Theorem 1.2]. Corollary 7.4. Gven < 1 and τ 1, assume that for every τ 1/ 7.5) nf f c dµ) aτ). c R If a D p τ ), 1 < p <, then 7.6) f f L p, ) a Dpτ ) aτ ) whenever τ τ. Proof. Fx τ τ and note that by Corollary 7.2 f f L p,, f JN p,τ,τ. To compute the rght hand term let {τ } be a parwse dsjont famly so that τ τ. Then, by 7.5), we clearly have 1 ) p/ µτ ) nf f c dµ µτ ) 1 c R µτ ) aτ ) p µτ ) a p D p,τ aτ ) p a p D pτ ) aτ ) p. Takng the supremum over all such famles we easly obtan the desred estmate. Remark 7.7. Let us notce that the proof of the prevous s an easy consequence of the embeddng of the John-Nrenberg spaces nto the correspondng weak space along wth the defnton of the D p condton. Indeed the same argument yelds the followng: gven a ball and f L ) f 7.5) holds for every ball such that τ then a Dp, < mples that f JN p,τ ) and moreover f JN p,τ, a Dp, a ). We can optmze the prevous estmate by optmzng 7.5). Corollary 7.8. Fx a ball X and f L ). For every set 1/ a ) := nf f c dµ). c R τ 1 Then, f JN p,τ, < f and only f a Dp, < and n such a case f JN p,τ, = a Dp, a ). Proof. Suppose frst that f JN p,τ, <. Let { } be a parwse dsjont famly wth. Then f we wrte = τ 1 we have that {τ } s a parwse dsjont famly wth τ. Hence, a ) p µ ) = ) p/ nf f c dµ µτ ) f p c R JNp,τ, µ )

22 22 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL and ths readly mples that a Dp, a ) f JN p,τ,. Let us now consder the converse. Assume that a Dp, <. To show that f JN p,τ, < we take {τ } parwse dsjont famly wth τ. Then, ) p/ nf f c dµ µτ ) = a τ ) p µτ ) a p D c R p, a ) p µ ). Takng the supremum over all the possble famles we conclude that f JN p,τ, a Dp, a ) Weak Gurov-Reshetnyak condton. The Gurov-Reshetnyak class GR ε µ), < ε < 2, s defned as the collecton of weghts w L 1 loc X) satsfyng w w dµ εw for every ball X. It s known that w GR ε µ) mples w L p loc for 1 p < pε) wth pε) + as ε + [1, Theorem 3.1]. Our approach apples to GR ε µ), and more generally, ts weak varant 7.9) w w dµ εw τ, where τ 1 s a fxed parameter. As a new result n ths metrc settng we obtan the L p self-mprovement of 7.9) for small ε, that s, we show that a weak Gurov-Reshetnyak condton mples local hgher ntegrablty. Ths, whch follows from Theorem 6.4, extends the results n [1] as well as those of T. Iwanecz [18], who studed weak Gurov-Reshetnyak condtons n the Eucldean settng whch arse n the study of PDEs. Theorem 7.1. Fx a ball and let τ 1. Assume that w L 1 τ ) satsfes the local weak Gurov-Reshetnyak condton 7.11) w w dµ εw τ, for every wth τ τ. If ε > s a small enough dependng on µ and τ then there exsts pε) > 1 see 7.14) below) such that whenever 1 p < pε), we have 1/p 7.12) w w dµ) p εw τ for every wth τ τ, and hence w satsfes the followng weak reverse Hölder nequalty 1/p 7.13) w dµ) p wdµ for every wth τ τ. Moreover, pε) +, as ε +. τ

23 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES 23 Proof. Fx a ball satsfyng τ τ. We wsh to apply Theorem 6.4 on to the functon F := w w L 1 ). Let = and note that F w w + w w =: G +H. Condton ) on Theorem 6.4 clearly holds wth Θ = c µ τ D. For ) we frst observe that mples that τ τ τ see 6.3)). Hence we can use 7.11) and obtan G dµ = w w dµ εw τ ε F dµ+εw. τ Thus, ) of Theorem 6.4 holds wth δ = ε and g = εw. In ths case the maxmal functon G x) εw f x and G x) = otherwse. Therefore, we can nvoke Theorem 6.4 and n partcular 6.7) leads to the desred estmate 7.12): w w L p, = F L p, G L p, εw +F + dµ εw w w τ, where n the last estmate we have used 7.11) wth n place of note that by assumpton τ τ ). The prevous estmate holds f 1 < p < pε) where { 1, τ D. 3} 7.14) pε) = logc 1 µ c µτ D ε 1 ) log2c µ max{τ,3} D ) Note that pε) + as ε +. and < ε < 1 2C µ mn 8. Proof of Theorem 6.4 The proof of Theorem 6.4 combnes deas from the proof of Theorem 2.1 wth a Calderón-Zygmund type coverng n [21, Lemma 4.4]. We start wth two lemmas. In what follows we wll use F to denote the µ-average of F on. Lemma 8.1. Gven τ 1 we set 8.2) λ := 15τ) D c µ 1+ 1 η) D. Let F L 1 ). If = x,r ) cf. 6.2)) s such that F λ F, then r η 15τ r and, consequently, 15τ. Proof. Note that λ F F µ ) µ) c µ r r ) D ) D = c µ 1+η) D r. Ths and the defnton of λ gves as desred r η r 15τ whch mples 15τ by the defnton of the famly. Lemma 8.3. Let F L 1 ) and assume that Ω λ := {x : M Fx) > λ}. If λ λ F, where λ s gven n 8.2), there exsts a countable famly of parwse dsjont balls { } such that r

24 24 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL a) Ω λ 5, b) 15τ, c) F > λ and d) F σ λ whenever σ 2 and σ. Proof. For every x Ω λ, we set r x := sup { r : = x,r ), x and F > λ }. y assumpton, the set over whch the supremum s taken s non-empty. Moreover, by Lemma 8.1, we have r x η r 15τ. For each x Ω λ, we assocate a ball x wth x x such that F x > λ and r x /2 < r x r x. Applyng Vtal s coverng theorem, we get a famly of balls { } wth the desred propertes. Proof of Theorem 6.4. Let K 1 be a large constant to be chosen and take λ λ F. If Ω λ we can apply the coverng lemma to get the famly of balls { } satsfyng a) d) of Lemma 8.3. We begn by showng that 8.4) {x 5 : M Fx) > Kλ} = {x 5 : M Fχ 15 )x) > Kλ}. Snce the ncluson s clear, we take an arbtrary x 5 and assume that M Fx) > Kλ. Then there s a ball wth x such that 8.5) F dµ > Kλ. We wll be done after showng that 15 whch n turn follows fromthe fact that r 5r. In order to obtan the latter suppose otherwse that r > 5r. Then x,3r ) = σ where σ = 3r /r > 15. Note that r σ = 3r ηr by 8.5), the choce of λ and Lemma 8.1. Hence σ and we can use Lemma 8.3 and 6.1) to conclude that F dµ µσ ) µ) σ F dµ c µ 3 D λ Kλ, provded K c µ 3 D. Ths contradcts 8.5) and hence r 5r. Ths mples n turn that 15 and the proof of 8.4) s complete. We next consder where γ,1). Then, E λ := {x : M Fx) > Kλ,G x) γλ}, µe λ ) = µe λ Ω λ ) µe λ 5 ) = µ{x 5 : M Fχ 15 )x) > Kλ,G x) γλ}). In the prevous sum t s understood that we keep only the terms where E λ 5. In such a case, we pck x E λ 5. Recall that by Lemma 8.3 part b), 15τ

25 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES 25 and hence 15. Then usng our assumptons ) and ), and Lemma 8.3, for every x E λ 3, we have Kλ < M Fχ 15 )x) M H 15 χ 15 )x)+m G 15 χ 15 )x) Θ F dµ+m G 15 χ 15 )x) Θλ+M G 15 χ 15 )x). 15τ Takng K > Θ, we use the fact that M s of weak type 1,1), assumpton ) and Lemma 8.3 to obtan 6.5): µe λ ) µ{x 5 : M G 15 χ 15 )x) > K Θ)λ,G x) γλ}) µ15 ) K Θ)λ µ ) K Θ)λ G 15 dµ 15 δ 15τ F dµ+g 15 ), µ ) K Θ)λ δλ+g x )) δ +γ K Θ µω λ). We next obtan 6.6) and 6.7). Observe frst that 6.5) gves for every λ λ F : µω Kλ ) µe λ )+µ{x : G x) > γλ}) and hence, for all λ >, 8.6) C µ δ +γ K Θ µω λ)+µ{x : G x) > γλ}), µω Kλ ) µ ) C δ +γ µω λ ) µ K Θµ ) + µ{x : G x) > γλ}) +χ {<λ<λ }λ). F µ ) We now proceed as n the case. Choose K = 2 max{θ,c µ 3 D } and assume that 1 < p < log1/cµ δθ 1 )). Usng 8.6) t follows that logk I N := sup λ pµω λ) <λ N µ ) = Kp sup λ pµω Kλ) <λ N µ ) K K p δ +γ C µ Θ I N + Kp γ p G p +K p λ L p,, ) p. F Let us observe that our choce of p guarantees that K p δ C µ < 1 and hence we can Θ take γ small enough so that K p δ+γ C µ < 1. Ths and the fact that I Θ N N p < allow us to absorb the frst term n the last estmate to obtan I N C Θ,δ,τ,η,p G p L p,, +F ) p). Fnally, 6.6) follows by lettng N and usng that F M F µ-a.e. on as observed above. The proof of 6.7) follows the same deas already employed n the case and t s therefore omtted.

26 26 LAURI ERKOVITS, JUHA KINNUNEN, AND JOSÉ MARÍA MARTELL References [1] D. Aalto and L. erkovts. Asymptotcal stablty of Muckenhoupt weghts through Gurov- Reshetnyak classes. Trans. Amer. Math. Soc ), [2] D. Aalto, L. erkovts, O. E. Kansanen and H. Yue. John-Nrenberg lemmas for a doublng measure. Studa Math. 24 1) 211), [3] P. Auscher and J. M. Martell. Weghted norm nequaltes, off-dagonal estmates and ellptc operators. I. General operator theory and weghts. Adv. Math ) 27), [4] F. erncot and J.M. Martell. Self-mprovng propertes for abstract Poncaré type nequaltes. Trans. Amer. Math. Soc ) 215), [5]. ojarsk. Remarks on the stablty of reverse Hölder nequaltes and quas-conformal mappngs. Ann. Acad. Sc. Fenn. Ser. A I Math ), [6]. ojarsk. On Gurov-Reshetnyak classes. ounded Mean Oscllaton n complex analyss, Unversty of Joensuu, Publcatons n scences, no. 14, p , Joensuu, [7] S. Campanato. Su un teorema d nterpolazone d G. Stampaccha. Ann. Sc. Norm. Sup. Psa ) ), [8] R. Cofman and G. Wess. Analyse harmonque non-commutatves surcertans espaces homegènes. Sprnger-Verlag, Hedelberg, [9]. Franch, C. Pérez and R. L. Wheeden, Self-mprovng propertes of John-Nrenberg and Poncaré nequaltes on spaces of homogeneous type. J. Funct. Anal ) 1998), [1] M. Gaqunta and L. Martnazz. An Introducton to the Regularty Theory for Ellptc Systems, Harmonc Maps and Mnmal Graphs. Edzon della Normale, Psa, 25. [11] E. Gust. Drect methods n the calculus of varatons. World Scentfc Publshng Co. Inc., Rver Edge, NJ, 23. [12] L. G. Gurov. The stablty of Lorentz transformatons. Estmates for the dervatves. Russan) Dokl. Akad. Nauk SSSR ), [13] F. John and L. Nrenberg. On functons of bounded mean oscllaton. Comm. Pure Appl. Math ), [14] L. G. Gurov and Yu.G. Reshetnyak. A certan analogue of the concept of a functon wth bounded mean oscllaton. Russan) Sbrsk. Mat. Z ), [15] J. Henonen. Lectures on analyss on metrc spaces, Sprnger, 21. [16] D. V. Isangulova. The class of mappngs wth bounded specfc oscllaton, and ntegrablty of mappngs wth bounded dstorton on carnot groups. Sber. Math. J. 48 2) 27) [17] D. V. Isangulova. Local stablty of mappngs wth bounded dstorton on Hesenberg groups. Sber. Math. J. 48 6) 27) [18] T.Iwanec.OnL p -ntegrabltynpde sandquasregularmappngsforlargeexponents. Ann. Acad. Sc. Fenn. Ser. A I Math ), [19] A. A. Korenovskyy, A. K. Lerner and A. M. Stokolos. A note on the Gurov-Reshetnyak condton. Math. Res. Lett ) 22), [2] A. Lerner and C. Pérez. Self-mprovng propertes of generalzed Poncaré type nequaltes throught rearrangements. Math. Scand. 97 2) 25), [21] P. MacManus and C. Pérez. Generalzed Poncaré nequaltes: sharp self-mprovng propertes. Internat. Math. Res. Notces ), [22] Yu. G. Reshetnyak. Stablty estmates n Louvlle s theorem, and the Lp-ntegrablty of the dervatves of quas-conformal mappngs. Sberan Math. J ), [23] Yu. G. Reshetnyak. Stablty Theorems n Geometry and Analyss. Sprnger, [24] J.-O. Strömberg and A. Torchnsky. Weghted Hardy Spaces, vol of Lecture Notes n Mathematcs. Sprnger-Verlag, 1989.

27 OSCILLATION, SELF-IMPROVING AND GOOD-λ INEUALITIES 27 Laur erkovts, Unversty of Oulu, Department of Mathematcal Scences, P.O. ox 3, FI-914 Oulu, Fnland E-mal address: Juha Knnunen, Aalto Unversty, Department of Mathematcs, P.O. ox 111, FI- 76 Aalto, Fnland E-mal address: José María Martell, Insttuto de Cencas Matemátcas CSIC-UAM-UC3M-UCM, Consejo Superor de Investgacones Centífcas, C/ Ncolás Cabrera, 13-15, E-2849 Madrd, Span E-mal address: