arxiv: v3 [math.ca] 4 Oct 2013

Transcription

1 MIXED A - ESTIMATES WITH ONE SUPEMUM ANDEI K LENE AND KABE MOEN arxiv:22057v3 [mathca] 4 Oct 203 Abstract WeestablishseveralmixedA - boundsforcalderón- Zygmund oerators that only involve one suremum We address both cases when the art of the constant is measured using the exonential-logarithmic definition and using the Fujii-Wilson definition In articular, we answer a question of the first author and rovide an answer, u to a logarithmic factor, of a conjecture of Hytönen and Lacey Moreover, we give an examle to show that our bounds with the logarithmic factors can be arbitrarily smaller than the reviously known bounds (both one suremum and two surema) Introduction Hytönen s [2] recent solution of the A 2 conjecture, states that any Calderón-Zygmund oerator satisfies the following bound on weighted Lebesgue saces: () T L (w) [w] max(, ) A ecently inequality () has seen several imrovements These come in the form of the so-called mixed estimates The idea behind the mixed estimates is that one only needs the full strength of the A constant for art of the estimates, while the other art only requires something weaker The smaller quantities come in the form of A r constants for large r or constants Below we will attemt to describe these results First we require some terminology A weight will be a nonnegative locally integrable function Given a weight w, exonent < <, and cube, define the recursor to the A constant as ( )( A (w,) = w w ) = w()σ() 200 Mathematics Subject Classification 42B20, 42B25 Key words and hrases Shar weighted inequalities, Calderón-Zygmund oerators, A weights, weights The second author is artially suorted by the NSF under grant 20504

2 2 ANDEI K LENE AND KABE MOEN where σ = w When = we define the limiting quantity as ( ) A (w,) = w (inf w) = lima (w,) For = we will consider two constants The first constant is defined as a limit of the A (w,) constants: ( ) ( ) A ex (w,) = w ex logw = lim A (w,) For the second constant let (w,) = w() M(wχ ) where M is the Hardy-Littlewood maximal oerator (see Section 2) By Jensen s inequality we see that the quantities A (w,) decrease as increases Define the following constants: [w] A = sua (w,), [w] A ex = su A ex (w,), and [w] A = su (w,) We write w A if [w] A < and w if [w] A ex < or [w] < The constant [w] A ex was defined by Hruščev in [8] The constant [w] A wasdefined byfujii[7]andwilson[23, 24], who alsoshowed that both constants define the class Hytönen and Pérez [0] roved the quantitative uer bound (2) [w] A [w] A ex and rovided examles to show that [w] A ex can be exonentially larger than [w] A (see also Beznosova and eznikov [2]) While inequality (2) holds, it is not clear what the relationshi is between A ex (w,) and (w,) for a fixed cube Hereafter we will refer to constants that contain a quantity deending on A ex (w,) as exonential constants and constants deending on (w,) as simly constants Let us now define the mixed tye constants Given < and real numbers α, β define the mixed constants: [w] (A) α (A = su r) A β (w,) α A r (w,) β, r, and the exonential mixed constants: [w] (A) α (A ex ) = su β A (w,) α A ex (w,)β

3 MIXED ESTIMATES WITH ONE SUPEMUM 3 Inequalities involving constants of the form [w] (A) α (A r) β, [w] (A ) α () β, or [w] (A ) α (A ex ) β will be said to be one suremum estimates Whereas estimates containing roducts of searate constants such as [w] α A [w] β or [w] α A [w] β A ex will be referred to as two surema estimates The ioneer work on mixed constants involving was done by Hytönen and Pérez [0] For the Hardy-Littlewood maximal oerator they were able to rove two estimates The first, a one suremum estimate containing the exonential mixed constant Theorem A ([0]) If < < and w A then (3) M L (w) [σ] (A ) (A ex ) Second, they rove the following two surema estimate Theorem B ([0]) If < < and w A then (4) M L (w) [σ] A [σ] = ([w] A [σ] A ) Both of the inequalities (3) and (4) imrove Buckley s [3] well known bound M L (w) [σ] A = [w] A A natural question is whether inequality (4) can be relaced by a one suremum estimate In this vein we have our first result To state the following results we define the function Φ(t) = +log(t) Theorem Suose < < and w A, then (5) M L (w) Φ([σ] A ) [σ] (A ) (A ) We do not know whether or not the logarithmic factor in (5) is necessary, that is, we do not know how to remove the logarithmic factor or find an examle showing it is necessary For Calderón-Zygmund oerators much less is known about one suremum estimates Hytönen and Pérez roved a two surema estimate when = 2which was later extended to < <, first forthehilbert transform by Lacey [3], and then for general Calderón-Zygmund oerators by Lacey and Hytönen [9]

4 4 ANDEI K LENE AND KABE MOEN Theorem C ([9, 0, 3]) If < <, T is Calderón-Zygmund oerator, and w A, then (6) T L (w) [w] A ([w] +[σ] ) Meanwhile, the first author examined weighted estimates with one suremum, where the smaller art was an A r constant from [7] Theorem D ([6, 7]) If <,r <, T is a Calderón-Zygmund, and w A then (7) T L (w) [w] (A) (A r) +[σ] (A ) (A r) Notice that the right hand side of () can be written as [w] max(, ) A [w] A +[σ] A With this in mind it is easy to see that inequalities (6) and (7) both imrove (), while exlicit examles show that right hand sides of (6) and (7) are incomarable We emhasize that the bounds (6) and (7) differ twofold: the latter has one suremum constants and the smaller art of the mixed constant is an A r measurement for < r < Exlicit examination of the roof of (7) in [7] shows that one cannot take r = because of a factor of 2 r involved in the calculations The first author went on to ask if it was ossible to take r = in inequality (7) Our first result for Calderón-Zygmund oerators is a ositive answer to this question Theorem 2 If < < and T is a Calderón-Zygmund oerator then (8) T L (w) [w] (A) (A ex ) The astute reader will notice that taking r = in inequality (7) should yield the sum of two constants, whereas inequality (8) only has one constant However they are equivalent since for these articular exonents, [w] (A) (A ex ) = [σ] (A ) (A ex ) Hytönen and Lacey [9] went on to conjecture that one should be able to relace the right hand side of (6) with an estimate containing one suremum constants Conjecture 3 ([9]) If < <, T is a Calderón-Zygmund oerator, and w A then (9) T L (w) [w] (A ) () +[σ](a ) (A )

5 MIXED ESTIMATES WITH ONE SUPEMUM 5 We are able to give a artial answer to Conjecture 3 and the corresonding version containing the exonential However, our estimates contain an extra logarithmic factor In this vein, our first result is estimate containing the exonential mixed constants Theorem 4 Under the same hyothesis as Theorem 2 we have and T L, (w) Φ([w] A ) [w] (A ) (A ex T L (w) Φ([w] A ) [w] (A ) (A ex ) ) +Φ([σ] A ) [σ](a ) (A ex ) For the mixed constants we obtain a slightly worse ower on the logarithmic factor Theorem 5 Under the same hyothesis as Theorem 2 we have and T L, (w) Φ([w] A )[w] T L (w) Φ([w] A )([w] (A ) () (A ) () +[σ](a ) (A ) Again we do not know if the logarithmic factors in Theorems 4 or 5 are necessary Finally we end with one last estimate that while having two surema, is an imrovement over several known results In [9] the first author and Ombrosi conjecture that the following bound (0) T L (w) [w] Aq should hold for < q < < and w A q ( A ) Inequality (0) was roven by Duoandikoetxea in [6] by means of extraolation We make an observation that one may imrove this bound by using the weak-tye bound of Hytönen and Lacey [9] () T L, (w) [w] A [w] Theorem 6 If q < <, T is a Calderón-Zygmund oerator, and w A q then T L (w) [w] A q [w] We also note that Theorem 6 also imroves the A result from [0] T L (w) [w] A [w] )

6 6 ANDEI K LENE AND KABE MOEN We believe that Theorem 6 should hold for constants with one suremum, for examle, by relacing [w] A q [w] with [w](a q) (A ex ) or [w](a q) (A ) Our methods do not yield this result The organization of the aer will be as follows In Section 2 we will introduce the necessary material on Calderón-Zygmund oerators, dyadic grids, sarse families of cubes, and testing conditions In Section 3 we resent the roof of Theorem Section 4 contains the roofs of our main results for Calderón-Zygmund oerators, Theorems 2, 4, 5, and 6 Finally we end the manuscrit with some further examles, observations, and questions in Section 5 2 Preliminaries Given a measurable set E n, E will denote the Lebesgue measure of E We will simultaneously view weights as functions and measures, for examle, w(e) will denote the the weighted measure of E: w(e) = w The average of a function on a cube will be denoted E f = Finally, we will use the notation A B to indicate that there is a constant c, indeendent of the imortant arameters, such that A cb Wewill writea B when A B andb A All further notation will be standard or defined as needed 2 The main oerators The Hardy-Littlewood maximal oerator is given by Mf(x) = su f x We will also need the following variant, known as the geometric maximal oerator, ( ) M 0 f(x) = suex log f x Geometric maximal oerators have long been studied (see [4] and the references therein) For our urose we will use the fact that (for a roof see [0]) M 0 : L ( n ) L ( n ), f 0 < <

7 MIXED ESTIMATES WITH ONE SUPEMUM 7 A Calderón-Zygmund oerator is an L 2 ( n ) bounded oerator associated to a kernel K for functions with comact suort by the equality Tf(x) = K(x,y)f(y)dy x / su f, n where K satisfies the standard size and smoothness estimates: (a) K(x,y) x y n for x y, (b) K(x+h,y) K(x,y) + K(x,y+h) K(x,y) h δ x y n δ for some δ (0,] when x y 2 h One may also define the maximally truncated version: T f(x) = su K(x,y)f(y)dy ǫ>0 x y >ǫ We will use common notation for the oerator norms: and S L (w) = su Sf L (w) f L (w) = S L, (w) = su Sf L, (w) f L (w) = where S is a sub-linear oerator Occasionally we will wish to exlicitly state that the oerator acts between two different function saces, in which case we will write For examle S X Y = su Sf Y f X = S L (σ) L (w) = su Sf L (w) f L (σ) = 22 Dyadic grids and sarse families A dyadic grid, usually denoted D, is a collection of cubes in n with the following roerties: (a) the side-length of each cube satisfies l() = 2 k for some k Z; (b) given,p D, P {P,, }; (c) for a fixed k Z the set D k = { D : l() = 2 k } forms a artition of n Given a dyadic grid, D, we define the dyadic maximal oerator as M D f(x) = su f(y) dy D x

8 8 ANDEI K LENE AND KABE MOEN It is well known (see [0, 6]) that the Hardy-Littlewood maximal oerator is ointwise equivalent to the finite sum of dyadic maximal functions Secifically, there exists dyadic grids, D,,D N and a dimensional constant c n such that N (2) Mf(x) c n M Dk f(x), k= (the oosite inequality is trivial) Thus, when obtaining bounds for M it suffices to work with M D for general dyadic grid D Moreover, it is often useful to change the measure from Lebsegue measure to a weighted measure Secifically, given a weight w and a dyadic grid D, define the dyadic maximal function with resect to w by Mwf(x) D = su D w() x f w The maximal oerator M D w satisfies the L (w) bounds M D w L (w) (see [2] for a roof) Let D be a dyadic grid, D, and for each D define () = { : }, and () = { : } We say a collection S D is a sarse family or simly sarse if, S 2 For each S define S () ( E = \ S () ) Then {E } S is a airwise disjoint family that satisfies: 2 E Given a sarse family S, we define the sarse oerators M S f = ( ) f χ E S and T S f = S ( ) f χ

9 MIXED ESTIMATES WITH ONE SUPEMUM 9 The difference between the oerators M S and T S is that the characteristic functions in the definition of M S are over the airwise disjoint family {E } S Given a function f that is bounded with comact suort, by analyzing the level sets of M D f one can rove that there exists a sarse family S = S(f) such that (3) M D f M S f where the imlicit constants deend only on the dimension, not S or f The equivalence (3) can be traced back to Sawyer s characterization of two weight inequalities for the Hardy-Littlewood maximal oerator [22] It turns out that sarse oerators dominate Calderón-Zygmund oerators as well The following Theorem was roven by the first author Theorem E ([6],[8]) Suose T is a Calderón-Zygmund oerator, T is the maximally truncated version and X is any Banach function sace (see [, Chater ]) then T X c T su T S X S and T X c T su T S X S where the surema are over all sarse families of dyadic cubes By Theorem E we see that it suffices to work with a general dyadic grid D andsarseoeratort S toroveboundsforacalderón-zygmund oerators Moreover, any bound that holds for sarse oerators also holds for maximally truncated Calderón-Zygmund oerators, thus, all of our results are valid for T as well To rove bounds for T S we will use two weight testing conditions Given a sarse family S D and dyadic cube D, recall that and S() = { S : } T S() f = S() ( ) f χ For < < and a air of weights (u,σ) define the testing constant ( / [w,σ] T S = su Dσ() / (T S() σ) wdx) We will also need the dual testing constant, [σ,w] T S, formed by interchanging the roles of w with σ and with We have the following Theorem of Lacey, Sawyer, and Uriarte-Tuero

10 0 ANDEI K LENE AND KABE MOEN Theorem F ([5]) Suose < <, D is a dyadic grid, S is a sarse subset of D, and (w,σ) is a air of weights then the following equivalences hold T S ( σ) L (σ) L, (w) [σ,w] T S T S ( σ) L (σ) L (w) [w,σ] T S +[σ,w] T S Thus to rove Theorems 2, 4, and 5 we simly estimate the constant [σ,w] T S The following theorems for sarse oerators imly Theorems 2, 4, and 5 Theorem 2 If < <, S D is a sarse family of dyadic cubes, w A with σ = w, then [σ,w] T S [w] (A) (A ex ) Theorem 22 Under the same hyothesis as Theorem 2 we have [σ,w] T S Φ([w] A ) [w] (A ) (A ex ) Theorem 23 Under the same hyothesis as Theorem 2 we have [σ,w] T S Φ([w] A )[w](a ) (A ) We note that Theorems 2, 22, and 23 easily imly the corresonding weak tye bound in 2, 4, and 5 resectively, since T L, (w) = T( σ) L (σ) L, (w) su T S ( σ) L (σ) L (w) S D They also imly the strong tye bounds by symmetry Indeed, by interchanging the roles of w with σ and with we see that [w,σ] T S [σ] (A ) (A ex ), and [w,σ] T S Φ([σ] A ) [σ] (A ) (A ex ), [w,σ] T S Φ([σ] A )[σ] (A ) (A ) Φ([w] A )[σ] (A ) (A )

11 MIXED ESTIMATES WITH ONE SUPEMUM 3 Mixed estimates for the Hardy-Littlewood maximal oerator In this section we rove Theorem Our techniques will strongly arallel those for Calderón-Zygmund oerators Define the testing constant [u,σ] S = su M(χ σ) w σ() It was shown by the second author in [20] that (4) M L (w) [u,σ] S Proof of Theorem By combining (2), (3), and (4) we see that it suffices to estimate the quantity (5) M S (χ σ) wdx = ( σ() ) w ( ) E S() for a sarse family S D Note that we have used the disjointness of the family {E } S in the equality (5) For a Z define a = { S : 2 a < A (w,) 2 a } Then a is emty if a > log 2 [w] A or a < Set K = log 2 [w] A Then, K S() = a, and the sum in (5) is bounded by (6) S() a= ( σ() ) w ( ) K E w() a K 2 a σ() a a= a= ( σ() ) Let a max be the collection of maximal cubes in a, then σ() = σ(p) a a max P a P a max P a P a max σ(p) P E P M(χ σ)

12 2 ANDEI K LENE AND KABE MOEN Substituting this back into (6) we arrive at M S (χ σ) wdx K w() ( σ() ) a K 2 a σ() a a= a= K 2 a a= K a max a= a max [σ] (A ) [σ] (A ) [σ] (A ) M(χ σ)dx A (σ,) (σ,)σ() K (A ) a= a max (A ) (A ) (+K)σ() Φ([σ] A )σ() σ() 4 Mixed bounds for sarse oerators We now rove our main results for sarse oerators, Theorems 2, 22, and 23, which, as mentioned above, imly Theorems 2, 4, and 5 resectively In all of the estimates we aim to bound the testing constant [σ,w] T S = su (TS() w) σdx w() We begin with the roof of Theorem 2 because it requires different machinery than Theorems 22 and 23 Secifically, we are able to rove Theorem 2 without a corona decomosition, while our roofs of the other results require this tool Proof of Theorem 2 It suffices to show that for a dyadic grid D, sarse subset S, and fixed cube that ( ( ) w )χ σdx [w] w() S() (A ) (A ex )

13 MIXED ESTIMATES WITH ONE SUPEMUM 3 Multilyinganddividingbytheexressiondefining[w] (A) (A ex ), we have that the roblem reduces to showing ( S() σ() ( ex ( logw )) χ ) σ w() with the imlicit constant indeendent of w By duality this is equivalent to showing for g L (σ) = that ( (7) ex ( logw )) gσ w() / σ() S() We work with the sum in (7), by Hölder s inequality we have ( ex ( logw )) gσ σ() S() ( ( ) ( gσ ex ( logw )) ) σ() S() ( ex ( logw ) ) S() The second factor satisfies ( ex ( logw ) S() ) ( S() ( Meanwhile, observing that ( ex ( logw )) = ex ( logσ ) we see that the first multile satisfies ( ( ) ( gσ ex ( σ() S() ( ex ( ( S() M 0 ( (M D σ g) σ )) / ex ( logw ) ) E ) M 0 (wχ ) w() / logw )) ) log ( (Mσ D g) σ )) ) E

14 4 ANDEI K LENE AND KABE MOEN Since the M 0 is bounded on L ( n ) and Mσ D is bounded on L (σ) we see that this concludes the roof of our theorem To rove Theorems 22 and 23 we will use what by now has become a standard technique, a decomosition of dyadic oerators known as a corona decomosition Similar decomositions can be found in the works [5, 2, 0,, 3, 4] We rovide a detailed roof of our corona decomosition noting that sarse families of cubes simlify some of the calculations In order to state it we need to define a maximal function Suose is a family of dyadic cubes and a = {a } is a sequence indexed by the members of, define the maximal function M a = su a χ We have the following lemma Lemma 4 (Corona decomosition) Suose is a cube, is a collection of sarse cubes contained in, < <, ν is a Borel measure on, and a = {a } is a sequence of ositive constants that satisfy the following: (a) M a is finite almost everywhere on, (b) there exist constants c,c,r > 0 such that (8) c (a ) rν() C Then there exists a sub-collection of cubes, C, called the corona decomosition of, such that the following inequality holds: ( ) ( ) ( ) dν a χ C (a ) ν() c Proof LetC 0 denotethecollectionofallmaximalcubesinanddefine C k for k > inductively as follows: C k if and only if the following three criteria are satisfied () there exists P C k containing, (2) the inequality (9) a > 2 a P holds, (3) and is maximal with resect to inclusion in We note that when k >, C k could ossibly be emty Set C = k Ck By the maximality of the stoing cubes, given any there exists a smallest P C such that P ; we denote such P by Π() Notice that the oosite inequality to (9) must hold for and Π(), that is, a 2 a Π() C

15 MIXED ESTIMATES WITH ONE SUPEMUM 5 For P C let (P) = { : Π() = P} Given (P) we now fix the ratio between a and a P : for b = 0,,2, and P C let b (P) be all (P) such that (20) 2 b a P < a 2 b+ a P Then, χ = a P C b=0 b=0 b (P) 2 b P C For k 0 define the sets E k (P) = {x : k < and Ω k (P) = { x : We may further decomose the sum: b=0 2 b P C a P 2 b b=0 2 b b=0 b (P) a P b (P) b (P) χ k=0(k +) P C k=0(k +) P C By Minkowski s inequality we have ( ( ) dν ) a χ (2) ( 2 b (k +) b=0 k=0 a χ b (P) χ } χ k + } χ > k a P χ Ek (P) a P χ Ωk (P) ( ) dν ) a P χ Ωk (P) Fix x {M a < } Since M a is finite ae, there are at most finitely many stoing cubes that contain x Let P 0 P m be the stoing cubes such that x Ω k (P i ) P i By construction, we have a Pi < 2 i a P0, P C i =,,m

16 6 ANDEI K LENE AND KABE MOEN For such x we have ( ) ( m ) a P χ Ωk (P)(x) = a Pi < 2 (a P0 ) 2 P ) P C(a χ Ωk (P)(x) P C i=0 Thus we may move the ower > inside the innermost sum in (2) to arrive at the bound ( (22) 2 b (k +) (a P ) ν ( Ω k (P) )) b=0 k=0 P C Finally notice that for each k the set { Ω k (P) = x : b (P) } χ > k = j where for each { k j } j is a family of disjoint dyadic cubes in b (P) The cubes { k j } are defined as follows Let {0 j } j be the collection of all maximal cubes in b (P) and define { k+ j } j inductively as those cubes that are maximal with resect to inclusion in b (P) and contained in some k j By the sarsity condition we have that Ω k (P) 2 k Ω (P) For each k j, by combining (8) and (20), we have which imlies ν(ω k (P)) = j k j c k j ( 2 b a P ) r ν( k j ) C ( 2 b a P ) r k j ν( k j ) C( ) 2 b r a P k j = C ( ) ( 2 b r Ωk a P (P) 2 k b P ) r Ω C 2 (P) µ(p) ) r = 2 k C (2 b a P j 2 kc ν( j c ) 2 kc c ν(p) Substituting this inequality into the sum (22) we are able to sum in k to arrive at the desired bound j Proof of Theorem 22 FortherooffixacubeandrecallthatS() = { S : } We aim to show that ( ( ( ) ) w )χ σ Φ([w] A ) [w] (A) (A ex w() S() j j )

17 MIXED ESTIMATES WITH ONE SUPEMUM 7 We first freeze A constant Given a Z define { ( )( ) a := S() : 2 a < wdx σdx 2 a+} ie, a is all cubes in S() with A (w,) 2 a Notice that a is emty if a > log 2 [w] A or a < As in the roof of Theorem set K = log 2 [w] A Then we have S() ( ) w χ = K a= a ( ) w χ We now use Lemma 4 to erform a corona decomositions of the sets a with resect to the measure σ and sequence a = w, a We have that there exists subset collections C a of a such that ( ( ( ) ) K ( ( ) w )χ σ ) w σ() S() (K +) Φ([w] A ) ( K a= a= C a ( S() C a ( ( w ) ) w σ() ) ) σ() where in the second inequality we have used Hölder s inequality We now easily estimate the remaining sum S() ( ) w σ() [w] (A ) (A ex [w] [w] (A ) (A ex ) (A ) (A ex ) ) S() w() ex ( logw ) M 0 (wχ ) We now give a brief sketch of the roof of Theorem 23 Proof of Theorem 23 With the same notation and reasoning as in the roof of Theorem 22 we arrive at the estimate ( ( ( ) ) K ( ( ) w )χ σ ) w σ() S() a= C a

18 8 ANDEI K LENE AND KABE MOEN Let Cmax a be the collection of maximal cubes in Ca, then K ( ( ) ) K w σ() (2 a a= C a a= K (2 a a= K a= [w] (2 a w() C a C a max C a max P C a P (A ) () a= Φ([w] A )[w] ) w(p) ) P P M(χ w) K ( (A ) () C a max w() ) ) w() Finally we end with the short observation that roves Theorem 6 Proof of Theorem 6 Suose < q < < and let ǫ = q By inequality () we have and T L +ǫ, (w) [w] +ǫ T L ǫ, (w) [w] ǫ (+ǫ) A +ǫ [w] [w] +ǫ A q [w] ( ǫ) (+ǫ) ( ǫ) A ǫ [w] = [w] ǫ A q w By the Marcinkiewicz interolation theorem we have ( 2 ) / T θ T L (w) L ǫ ǫ, (w) T θ L +ǫ, (w) where (23) = θ ǫ + θ +ǫ Using the weak bounds for ǫ and +ǫ we have T L (w) L (w) ( q) / [w] θ +ǫ A q [w] θ (+ǫ) By the relationshi of θ the owers on [w] Aq are θ ǫ + θ +ǫ = [w] θ ǫ A q [w] θ ( ǫ)

19 MIXED ESTIMATES WITH ONE SUPEMUM 9 and the owers on [w] A are θ ( ǫ) + θ = (+ǫ) = 5 Further questions and examles In this Section we observe some facts about the mixed constants and note that our bounds in Theorem 4 can be significantly smaller than both of the bounds in Theorems C and 2 First we make some observations about the behavior of the one suremum constants If α > 0 the class of weights satisfying [w] (A) α (A ex ) β <, or [w] (A ) α () β <, is simly A, since max([w] α A,[w] β ) [w] (A) α () β [w]α+β A and similarly inequality holds with the exonential constant For the exonential class we also have a monotonic behavior in the constants: [w] (A) α (A ex ) [w] β (A ) α (A [w] r) β (A ) α (A s r < s) β We also have a monotonic behavior when the ower on the A art is 0 < α and the ower on the A ex art is α Observation 5 Suose 0 < α β and w A then [w] (A) α (A ex ) α [w] (A ) β (A ex ) β Moreover, for α < β the two quantities can be arbitrarily different Proof Indeed, for a fixed cube A (w,) α A ex (w,) α = A (w,) α A ex (w,) β A ex (w,)β α A (w,) β A ex (w,) β To see that [w] (A) α (A ex ) α can be arbitrarily smaller than than [w] (A) β (A ex ) consider the A β ower weight Then for any α > 0 w δ (x) = x ( )(n δ), 0 < δ < n [w] (A) α (A ex ) α δ α( ) which shows that the constants can be arbitrarily different as δ 0 + if α β

20 20 ANDEI K LENE AND KABE MOEN With this in mind, we may ut these estimates into a general frame work For the maximal function we have the following question uestion 52 If < < does the estimate hold? M L (w) [σ] (A ) () The inequality in uestion 52 is true if the art of the constant is relaced by exonential and Theorems shows that it holds u to a logarithmic factor For Calderón-Zygmund oerators we see that there is ossibly a whole range of mixed estimates We have the following questions uestion 53 Suose 0 α, < < and T is a Calderón- Zygmund oerator Do either of the following estimates hold: T L, (w) [w] (A) α(a ex ) α T L (w) [w] (A) α(a ex ) α +[σ] (A ) α (A ex ) α uestion 54 Suose 0 α, < < and T is a Calderón- Zygmund oerator Do either of the following estimate hold T L, (w) [w] (A) α () α T L (w) [w] (A) α () α +[σ] (A ) α(a ) α Theorem 2 shows that uestion 53 holds for α =, while Theorems 4 and 5 show, resectively, that the estimates in uestions 53 and 54 hold for α = 0 u to logarithmic factors Conjecture 3 corresonds to an affirmative answer to uestion 54 for α = 0 Moreover, by Observation 5 a ositive answer to uestion 53 for α = 0 imlies the corresonding estimates for α > 0 5 Examles Let us comare the following bounds of T L (w): (24) [w] A ([w] +[σ] ) (25) [w] (A) (A ex ) (26) ( log(e[w] A ) ) [w](a ) (A ex ) + ( log(e[σ] A ) ) [σ](a )?? (A ex ) The constant (24) is the bound from (6) While the constants (25) and (26) are the bounds from Theorems 2 and 4 resectively The

21 MIXED ESTIMATES WITH ONE SUPEMUM 2 quantity(25)canbesmallerthanthequantity (24)when 2,because it is smaller than the right hand side of (7), which in turn, was shown to be smaller than (24) in [7] Below we will give an examle to show that (26) can be arbitrarily smaller than both (24) and (25) Our examle is a modification of the one in [7] The examle in [7] is a combination of an A ower weight and an A ower weight with the A art sufficiently searated from the A art Our examle kees track of how far aart the A art is from the A art Consider the case > 2 (for the case < 2, interchange and ) For 0 < δ < and < α <, define 2 w δ (x) = x ( )( δ) x [,] x (δ α +) δ x [δ α,δ α +2] otherwise Now [w δ ] A δ ( ) by taking = [0,] and [w δ ] A δ by taking = [δ α,δ α +] Therefore, [w δ ] A ([w δ ] +[σ δ ] ) δ 2 On the other hand, since α <, we see that for small δ the constant 2 [w δ ] (A) (A ex ) attains it suremum on intervals containing [0,δ α + ] (the smallest interval that contains the singularities of both w δ and σ δ ) Thus we see that [w δ ] (A) (A ex ) δ 2( α) The constants [w δ ](A ) (A ex and [σ δ ) ](A either attain their ) (A ex ) suremum on an interval containing [0,δ α +] or small intervals containing 0 or δ α + Hence max ( ) [w δ ](A ) (A ex,[σ max((+ δ δ](a )( α),) ) Finally, ) (A ex ) log(e[w δ ] A ) log(e[σ δ ] A ) log(eδ ) In any case, because < α <, we have 2 max ( (+ )( α),) < 2( α) < 2 Letting δ 0 +, we see that (26) can be arbitrarily smaller than both (25) and (24)

22 22 ANDEI K LENE AND KABE MOEN eferences [] Colin Bennett and obert Sharley Interolation of oerators, volume 29 of Pure and Alied Mathematics Academic Press Inc, Boston, MA, 988 [2] Oleksandra Beznosova and Alexander eznikov Shar estimates involving and L log L constants and their alications to PDE 20 Prerint [3] Stehen M Buckley Estimates for oerator norms on weighted saces and reverse Jensen inequalities Trans Amer Math Soc, 340(): , 993 [4] David Cruz-Uribe and C J Neugebauer Weighted norm inequalities for the geometric maximal oerator Publ Mat, 42(): , 998 [5] David V Cruz-Uribe and Kabe Moen One and two weight norm inequalities for iesz otential oerators 202 To aear, Illinios J Math [6] Javier Duoandikoetxea Extraolation of weights revisited: new roofs and shar bounds J Funct Anal, 260(6):886 90, 20 [7] Nobuhiko Fujii Weighted bounded mean oscillation and singular integrals Math Jaon, 22(5): , 977/78 [8] Sergei V Hruščev A descrition of weights satisfying the condition of Muckenhout Proc Amer Math Soc, 90(2): , 984 [9] Tuomas Hytönen and Michael Lacey The A - inequality for general Calderón-Zygmund oerators 20 To aear, Indiana U Math J [0] Tuomas Hytönen and Carlos Pérez Shar weighted bounds involving 20 To aear, Anal and PDE [] Tuomas Hytönen, Carlos Pérez, Sergei Treil, and Alexander Volberg On A 2 conjecture and corona decomosition of weights 200 Prerint [2] Tuomas P Hytönen The shar weighted bound for general Calderón-Zygmund oerators Ann of Math (2), 75(3): , 202 [3] Michael Lacey The A - inequality for the Hilbert transform 20 To aear, Houston J Math [4] Michael T Lacey, Stefanie Petermichl, and Maria Carmen eguera Shar A 2 inequality for Haar shift oerators Math Ann, 348():27 4, 200 [5] Michael T Lacey, Eric T Sawyer, and Ignacio Uriarte-Tuero Two weight inequalities for discrete ositive oerators 200 Prerint [6] Andrei K Lerner On an estimate of Calderón-Zygmund oerators by dyadic ositive oerators To aear J Anal Math [7] Andrei K Lerner Mixed A A r inequalities for classical singular integrals and Littlewood-Paley oerators 202 To aear J Geom Anal [8] Andrei K Lerner A simle roof of the A 2 conjecture Int Math es Not, 202 doi:0093/imrn/rns45 [9] Andrei K Lerner and Sheldy Ombrosi An extraolation theorem with alications to weighted estimates for singular integrals J Funct Anal, 262(4): , 202 [20] Kabe Moen Shar one-weight and two-weight bounds for maximal oerators Studia Math, 94(2):63 80, 2009 [2] Kabe Moen Shar weighted bounds without testing or extraolation Arch Math, 99(5): , 202 [22] Eric T Sawyer A characterization of a two-weight norm inequality for maximal oerators Studia Math, 75():, 982 [23] J Michael Wilson Weighted inequalities for the dyadic square function without dyadic Duke Math J, 55():9 50, 987

23 MIXED ESTIMATES WITH ONE SUPEMUM 23 [24] Michael Wilson Weighted Littlewood-Paley theory and exonential-square integrability, volume 924 of Lecture Notes in Mathematics Sringer, Berlin, 2008 Deartment of Mathematics, Bar-Ilan University, amat Gan, Israel address: Deartment of Mathematics, University of Alabama, Tuscaloosa, AL address: