arxiv: v2 [math.ca] 5 Jul 2014

Transcription

1 MAXIMAL FUNCTION AND CARLESON MEASURES IN BÉKOLLÉ-BONAMI WEIGTS CARNOT D. KENFACK AND BENOÎT F. SEBA arxiv: v2 [math.ca] 5 Jul 204 Abstract. Let ω be a Békollé-Bonami weight. We give a complete characterization of the positive measures µ such that ) q/p M ωfz) q dµz) C fz) p ωz)dvz) and µ{z : Mfz) > λ}) C ) q/p fz) p ωz)dvz) λ q where M ω is the weighted ardy-littlewood maximal function on the upper-half plane, and p,q <.. Introduction Let be the upper-half plane, that is the set {z = x + iy C : x R, and y > 0}. Given ω a nonnegative locally integrable function on i.e a weight), and p <, we denote by L p ω), the set of functions f defined on such that f p p,ω := fz) p ωz)dvz) < with dv being the Lebesgue measure on. D Given a weight ω, and < p <, we say ω is in the Békollé-Bonami class B p, if ) p [ω] Bp := sup ωz)dvz) ωz) dvz)) p <, I R, I interval := {z = x + iy C : x I and 0 < y < I }, = dvz), pp = p+p. This is the exact range of weights ω for which the orthogonal projection P from L 2,dVz)) to its closed subspace consisting of analytic functions is bounded on L p ω) see [2, 3, 8, 20]). Let < p <, and ω B p. We provide in this note a full characterization of positive measures µ on such that the following Carleson-type embedding ) q/p ) M ω fz) q dµz) C fz) p ωz)dvz) 2000 Mathematics Subject Classification. Primary: 47B38 Secondary: 3020,42A6,42C40. Key words and phrases. Békollé-Bonami weight, Carleson-type embedding, Dyadic grid, Maximal function, Upper-half plane.

2 2 CARNOT D. KENFACK AND BENOÎT F. SEBA holds when p q < and when p > q, where M ω is the weighted ardy- Littlewood maximal function, M ω fz) := sup fz) ωz)dvz), I interval in R, z ω ω = ω ) = ωz)dvz). We also characterize those positive measures µ on such that 2) µ{z : Mfz) > λ}) C λ q fz) p ωz)dvz) ) q/p where M is the unweighted ardy-littlewood maximal function M = M ω with ωz) = for all z ). Before stating our main results, let us see how the above questions are related to some others in complex analysis. We recall that the Bergman space A p ω) is the subspace of L p ω) consisting of holomorphic functions on. The usual Bergman spaces in the unit disc of C or the unit ball of C n correspond to the weights ωz) = z 2 ) α daz), α >. A positive measure on is called a q-carleson measure for A p ω) if there is a constant C > 0 such that for any f A p ω), q/p 3) fz) q dµz) C fz) ωz)dvz)) p. Carleson measures are very useful in the study of many other questions in complex and harmonic analysis: Toeplitz operators, Cesàro-type integrals, embeddings between different analytic function spaces, etc... Carleson measures for Bergman spaces with standard weights ωz) = z 2 ) α daz) in the unit disc and the unit ball of C n, α > have been studied in [4, 0, 5, 6, 7, 2]. The case of Bergman spaces of the unit disc of C with Békollé-Bonami weights has been handled in [5, 9]. Let us suppose that ω B p. Applying the mean value property one obtains that there is a constant C > 0 such that for any f A p ω), and for any z, if I is the unique interval such that is centered at z, then fz) C ω ) fw) ωw)dv w). Itfollows that any measuresatisfying ) is aq-carleson measurefor A p ω). Our first main result is the following. TEOREM.. Let < p q <, and ω a weight on. Assume that ω B p. Then the following assertions are equivalent. ) There exists a constant C > 0 such that for any f L p ω), /q 4) M ω fz) dµz)) q C f p,ω. 2) There is a constant C 2 such that for any interval I R, 5) µ ) C 2 ω )) q p. Our next result provides estimations with loss.

3 MAXIMAL FUNCTION AND CARLESON MEASURES 3 TEOREM.2. Let < q < p <, and ω a weight on. Assume that ω B p. Then 4) holds if and only if the function 6) K µ z) := sup I R, I interval, z µ ) ω ) belongs to L s ω) where s = p p q. Our last result provides weak-type estimates. TEOREM.3. Let p,q <, and ω a weight on. Then the following assertions are equivalent. a) There is a constant C > 0 such that for any f L p ω), and any λ > 0, 7) µ{z : Mfz) > λ}) C λ q fz) p ωz)dvz) ) q/p b) There is a constant C 2 > 0 such that for any interval I R, ) q/p 8) q/p z)dvz) µ ) C ω p ) /p where ω p z)dvz) is understood as inf QI ω) when p =. c) There exists a constant C 3 > 0 such that for any locally integrable function f and any interval I R, ) q ) q/p 9) fz) dvz) µ ) C 3 fz) p ωz)dvz). A special case of Theorem.3 appears when µ is a continuous measure with respect to the Lebesgue measure dv in this sense that dµz) = σz)dvz), this provides a weak-type two-weight norm inequality for the maximal function. To prove the sufficient part in the three theorems above, we will observe that the matter can be reduced to the case of the dyadic maximal function. We then useanidea that comes fromreal harmonicanalysis see for example [6, 7, 9]) and consists of discretizing integrals using appropriate level sets and in our case, the nice properties of the upper-halfs of Carleson boxes when they are supported by dyadic intervals. For the proof of the necessity in Theorem.2, let us observe that when comes to estimations with loss for the case of the usual Carleson measures for analytic functions, one needs atomic decomposition of functions in the Bergman spaces to apply a method developed by D. Luecking [5]. We do not see how this can be extended here and instead, we show that one can restrict to the dyadic case, and use boundedness of the maximal functions and a duality argument. We note that a duality argument has been used for the same-type of question for weighted ardy spaces in [8]. Given twopositive quantities AandB, thenotation A B resp. B A) will mean that thereis an universal constant C > 0 such that A CB resp. B CA).

4 4 CARNOT D. KENFACK AND BENOÎT F. SEBA 2. Useful observations and results Given an interval I R, the upper-half of the Carleson box associated to I is the subset T I defined by T I := {z = x+iy C : x I, and I 2 < y < I }. Note that T I. We observe the following weighted inequality. LEMMA 2.. Let < p <. Assume that ω belongs to the Békollé-Bonami class B p. Then there is a constant C > 0 such that for any interval I R, ω ) C[ω] Bp ωt I ). Proof. Using ölder s inequality and the definition of Békollé-Bonami weight, we obtain T I p ) ) p/p p p ωz)dvz) ω p /p z)dvz) T I T I ) ) p/p p ωz)dvz) ω p /p z)dvz) T I [ω] Bp ωt I ) ω ). Thus ω ) [ω] Bp QI T I ) pωti ) [ω] Bp ωt I ). We will also need the following lemma. LEMMA 2.2. Let p,q < and suppose that ω is a weight, and µ a positive measure on. Then the following assertions are equivalent. i) There exists a constant C > 0 such that for any interval I R, 0) q/p ω p z)dvz) ) /p ) q/p µ ) C where ω p z)dvz) is understood as inf QI ω) when p =. ii) There exists a constant C 2 > 0 such that for any locally integrable function f and any interval I R, ) q ) q/p ) fz) dvz) µ ) C 2 fz) p ωz)dvz). Proof. That ii) i) follows by testing ii) with fz) = χ QI z)ω p z) if p >. For p =, take fz) = χ S z) where S a subset of. One obtains that ) µ ) ωs) q q C 2. S As this happens for any subset S of, it follows that for any z, which implies 0) for p =. µ ) q C 2ωz)) q

5 MAXIMAL FUNCTION AND CARLESON MEASURES 5 Let us check that i) ii). Applying ölder s inequality in case p > ) to the right hand side of ), we obtain ) q fz) dvz) µ ) ) q/p ) q/p Q q ω p /p z)dvz) µ ) fz) p ωz)dvz) I ) q/p C fz) p ωz)dvz). For p =, we easily obtain ) q fz) dvz) µ ) inf ω) q ) q q fz) ωz)dvz) µ ) ) q C fz) ωz)dv z). The proof is complete. Next, we consider the following system of dyadic grids, D β := {2 j [0,)+m+ ) j β ) : m Z, j Z}, for β {0,/3}. For more on this system of dyadic grids and its applications, we refer to [,, 2, 3, 4, 8, 20]. When β = 0, we use the notation D = D 0 that we call thestandard dyadic grid of R. When I is a dyadic interval, we denote by I and I + its left half and its right half respectively. We make the following observation which is surely known. LEMMA 2.3. Any interval I of R can be covered by at most two adjacent dyadic intervals I and I 2 in the same dyadic grid such that I < I = I 2 2 I. Proof. Without loss of generality, we can supposethat I = [a,b). For x R, we denote by [x] the unique integer such that [x] x < [x]+. If I D, then there is nothing to say. If I =, then the dyadic interval [k,k + ) where k = [a] covers I. Let us supposein general that I is not dyadic. Let j be the uniqueinteger such that 2) 2 j b a = I < 2 j+, and define the set E a,b := {l Z : a < l2 j b}. Then E a,b is not empty. To see this, take k = [a2 j ], then k + )2 j b since if not, we will have [a,b) [k2 j,k +)2 j ) and consequently, I = b a < [k2 j,k +)2 j ) = 2 j which contradicts 2). Let k 0 := max{k : k E a,b }. Then we necessarily have k 0 2)2 j a since if not, I = b a > k 0 2 j a > 2 j+ and this contradicts 2). As from the definition of k 0 we have b k 0 + )2 j, it comes that if k 0 )2 j a, then the union [k 0 )2 j,k 0 2 j ) [k 0 2 j,k 0 + )2 j )

6 6 CARNOT D. KENFACK AND BENOÎT F. SEBA covers I, and taking I and I 2 such that I + = [k 0 )2 j,k 0 2 j ) and I 2 = [k 0 2 j,k 0 + )2 j ) we get the lemma. If k 0 )2 j > a, then I I I 2 where I = [l 0 )2 j+,l 0 2 j+ ), I 2 = [l 0 2 j+,l 0 +)2 j+ ) with k 0 = 2l 0 if k 0 is even or k 0 = 2l 0 + otherwise. The proof is complete. 3. Proof of the results Let us start with some observations. Recall that given, its upper-half is the set T I := {x+iy : x I, and I 2 < y < I }. It is clear that the family {T I } I D where D is a dyadic grid in R provides a tiling of. Next we recall with [8] that given an interval I R, there is a dyadic interval K D β for some β {0,/3} such that I K and K 6 I. It follows in particular that Q K 36. Also, proceeding as in the proof of Lemma 2. one obtains that ωq K ) [ω] Bp ω ). It follows that ω ) fz) ωz)dvz) ωq K ) Q K fz) ωz)dvz) and consequently that for any locally integrable function f, 3) M ω fz) M β d,ω fz), z β {0,/3} where M β d,ω is defined as M ω but with the supremum taken only over dyadic intervals of the dyadic grid D β. When ω, we use the notation M β d, and if moreover, β = 0, we just write M d. In the sequel, we will be proving anything only for the case β = 0 which is enough and in this case, we write everything without the superscript β = Proof of Theorem.. First suppose that 4) holds and observe that for any interval I R, M ω χ QI z) for any z. It follows that ) /q µ )) /q M ω χ QI z)) q dµz) C χ QI p,ω = ω )) /p which provides that for any interval I R, µ ) C ω )) q/p. That is 5) holds. To prove that ii) i), it is enough by the observations made at the beginning of this section to prove the following. LEMMA 3.. Let < p q <. Assume that ω is a weight in the class B p such that 5) holds. Then there is a positive constant C such that for any f L p ω), /q 4) M d,ω fz) dµz)) q C f p,ω.

7 MAXIMAL FUNCTION AND CARLESON MEASURES 7 Proof. Let a 2. To each integer k, we associate the set Ω k := {z : a k < M d,ω fz) a k+ }. We observe that Ω k j=, where is a dyadic cube maximal with respect to the inclusion) such that fz) ωz)dvz) > a k. ω ) It follows using Lemma 2. that M d,ω fz)) q dµz) = k a q k The proof of the lemma is complete. Ω k M d,ω fz)) q dµz) a kq µω k ) a q a kq µ ) a q ) q fz) ωz)dvz) µq ω ) ) I a q ) q fz) ωz)dvz) ωq ω ) I ))q p a q ) q p p fz) ωz)dvz) ωq ω ) ) I a q ) q p p fz) ωz)daz) [ω] BpωT ω ) ) I ) p fz) ωz)dvz) ωw)dvw) T I ω ) q p M d,ω fz)) p dvz) T I )q fz) p p ωz)dvz) Proof of Theorem.2. Let us start by proving the following lemma. LEMMA 3.2. Let q < p <, and let ω be a weight in the class B p. Assume that µ is a positive measure on such that the function K µ defined by 6) belongs to L s ω), s = p p q. Then there is a constant C > 0 such that for any f L p ω), 4) holds. q/p

8 8 CARNOT D. KENFACK AND BENOÎT F. SEBA Proof. We proceed as in the proof of Lemma 3., using the same notations. Using ölder s inequality and Lemma 2., we obtain d,ω fz)) M q dµz) = M d,ω fz)) q dµz) k Ω k a q a kq µω k ) k a q a kq µ ) where and A = a q ) q fz) ωz)dvz) µq ω ) ) I = a q ) q µqi fz) ωz)dvz) ) ω ) ω ) ω ) A q/p B /s ) p fz) ωz)daz) ωq ω ) ) I ) µqi ) s ωq ). I B = ω ) From the proof of Lemma 3., we already know how to estimate A. Let us estimate B. B := ) µqi ) s ωq ω ) ) I ) µqi ) s ωt ) I ω ) ) µqi ) s ωz)dvz) T I ω ) K µ z)) s ωz)dvz) T I K µ z)) s ωz)dvz) = K µ s s,ω. The proof of the lemma is complete. We can now prove the theorem Proof of Theorem.2. The proof of the sufficiency follows from Lemma 3.2 and the observations made at the beginning of this section. Let us prove the necessity. For this we do the following observations: first, that condition 4)

9 MAXIMAL FUNCTION AND CARLESON MEASURES 9 implies that there exists a constant C > 0 such that for any f L p ω), ) qdµz) 5) M β d,ω fz) C f q p,ω. Second, writing K β d,µ z) := sup µ ) I D β,z ω ), it is easy to see that for any z, K µ z) β {0, 3 } K β d,µ z). Thus to prove that K µ L s ω) if 4) holds, it is enough to prove that 5) implies that K β d,µ Ls ω ). We do this for the standard dyadic grid, i.e for β = 0. For z, we write Q z = z I z D) for the smallest Carleson box containing z, and consider the following weighted box kernel K d,ω z 0,z) := ωq z0 ) χ Q z0 z). For f a locally integrable function, we define K d,ω fz 0 ) = K d,ω z 0,z)fz)ωz)dV z) = Finally, we define a function g on by gz) := K d,ω ξ,z)dµξ) = fz)ωz)dvz). ωq z0 ) Q z0 χ Qξ z) ωq ξ ) dµξ). For any dyadic) Carleson box, I D, writing Q for, we obtain ) gz)ωz)dv z) = K d,ω w,z)dµw) ωz)dvz) ωq) Q ωq) Q χ Qw z)χ Q z) = ωz)dvz)dµw) ωq) ωq w ) χ Qw Qz) ωz)dvz)dµw) Q ωq) ωq w ) dµw) = µq) ωq) ωq) Thus for any z, M d,ω gz) Q µ ) sup I D, z ω ) := K d,µz). ence if the function g belongs to L s ω ), then K d,µ s,ω M d,ω g s,ω g s,ω. To finish the proof, we only need to check that g L s ω) whenever 5) holds.

10 0 CARNOT D. KENFACK AND BENOÎT F. SEBA Let us start by observing the following inequality between K d,ω f and M d,ω f. Let z 0 be fixed in. For any ξ Q z0, we have K d,ω fz 0 ) := fz)ωz)dvz) M d,ω fξ). ωq z0 ) Q z0 Thus 6) K d,ω fz) /q M d,ω M d,ω f) /q) z), for any z. Now, for any f L p/q ω ), using 6), 5) and the boundedness of the maximal function, we obtain ) gz)fz)ωz)dv z) = K d,ω ξ,z)dµξ) fz)ωz)dvz) ) = K d,ω ξ,z)fz)ωz)dv z) dµξ) = K d,µ fξ)dµξ) K d,µ fξ) dµξ) = K d,µ fξ) /q ) q dµξ) M d,ω M d,ω f) /q) ξ)) qdµξ) M d,ω fz)) p/q ωz)dvz) q/p fz) ωz)dvz)) p/q. ) q/p Thus there is a constant C > 0 such that g s,ω := sup gz)fz)ωz)dv z) C. The proof is complete. f L p/q ω ), f p/q,ω 3.3. Proof of Theorem.3. We start by the following lemma which tells usthatwewillonlyneedtorestricttolevelsetsinvolvingthedyadicmaximal function. LEMMA 3.3. Let f be a locally integrable function. Then for any λ > 0, 7) {z : Mfz) > λ} {z D : M d fz) > λ 68 }. Proof. Let us put and A := {z : Mfz) > λ} B := {z : M d fz) > λ 68 }.

11 MAXIMAL FUNCTION AND CARLESON MEASURES Recall that there is a family {j } j N0 of maximal with respect to the inclusion) disjoint dyadic Carleson boxes i.e I j D) such that 4λ 68 f dv > λ j j 68 so that B = j N0 j. Let z A and suppose that z / B. We know that there is an interval I not necessarily dyadic) such that z and 8) f dv > λ. Recall with Lemma 2.3 that I can be covered by at most two adjacent dyadic intervals J and J 2 in this order) such that I < J = J 2 2 I so that Q J Q J2. Of course, z belongs only to one and only one) of the associated boxes Q J and Q J2. Let us suppose that z Q J. Then necessarily, Q J is not contained in B since if so, z would belong to B and this would contradict our hypothesis on z. Thus Q J B = or Q J j for somej andin bothcases, becauseof themaximality of thei j s, wededuce that f dv λ Q J Q J 68. For the other interval J 2, we have the following possibilities J 2 = I j for some j J 2 I j for some j J 2 I j for some j J 2 B =. If J 2 I j for some j or J 2 B =, then because of the maximality of the I j s, f dv λ Q J2 Q J2 68. If J 2 = I j for some j, then of course, f dv 4λ Q J2 Q J2 68. It remains to consider the case where J 2 I j for some j. If J 2 I j, then we can have J 2 = Ij J 2 Ij J 2 I j + whereij and I j + denote the left and right halfs of I j respectively. If J 2 Ij or J 2 I j +, then J I j, and this necessarily implies that J I j. Thus z Q J j B which contradicts the hypothesis z / B. Thus the only possible case is J 2 = Ij which leads to the estimate Q J2 Q J2 f dv 4 j j f dv 6λ 68.

12 2 CARNOT D. KENFACK AND BENOÎT F. SEBA Thus from all the above analysis, we obtain f dv = f dv + Q J Q J 4 λ λ 68 Q J ) = λ Q J2 f dv Q J f dv + Q J2 ) Q J2 f dv ) which clearly contradicts 8). The proof is complete. We can now prove Theorem.3. Proof of Theorem.3. Let us note that by Lemma 2.2, b) c). Let us prove that a) b). Let f be a locally integrable function and I an interval. Fix λ such that 0 < λ < f dv. Then {z : Mχ QI f) > λ)}. It follows from the latter and 7) that µ ) C λ q fz) p ωz)dvz)) q/p. As this happens for all λ > 0, it follows in particular that ) q ) q/p µ ) f dvz) C fz) p ωz)dvz). Next suppose that 9) holds. We observe with Lemma 3.3 that to obtain 7), we only have to prove the following 9) µ {z D : M d fz) > λ68 ) } C λ q f q p,ω. We recall that {z : M d fz) > λ 68 } = j N 0 j where the I j s are maximal dyadic intervals with respect to the inclusion and such that f dv > λ j j 68. Our hypothesis provides in particular that q µj ) Q ) q/p I j f p ωdv. j f dv j

13 MAXIMAL FUNCTION AND CARLESON MEASURES 3 Thus µ {z D : M d fz) > λ68 ) } The proof is complete. = j j = 68 λ µj ) j j f dv ) q j ) 68 q λ j ) 68 q λ 68 λ ) q f q p,ω. q f p ωdv j ) q/p f p ωdv j f p ωdv j q/p fz) p ωz)dvz) Taking dµz) = σz)dvz), we obtain the following corollary. ) q/p ) q/p COROLLARY 3.4. Let p,q <, and ω,σ two weights on. Then the following assertions are equivalent. a) There is a constant C > 0 such that for any f L p ω), and any λ > 0, 20) σ{z : Mfz) > λ}) C λ q fz) p ωz)dvz) b) There is a constant C 2 > 0 such that for any interval I R, 2) /q /p ω p where ω p z)dvz) p =. ) /p z)dvz) ) /p References ) q/p ) /q σz)dvz) C is understood as inf QI ω) when [] A. Aleman, S. Pott and M. C. Reguera, Sarason conjecture on Bergman space. Available at [2] D. Békollé, Inégalités à poids pour le project de Bergman dans la boule unité de C n. Studia Math. 7 98/82), no. 3, French). [3] D. Békollé, A. Bonami, Inégalités à poids pour le noyau de Bergman. C. R. Acad. Sci. Paris Sér. A-B ), no. 8, A775-A778 French, with English summary). [4] J. A. Cima and W. Wogen, A Carleson measure theorem for the Bergman space on the unit ball of C n. Indiana Univ. Math. J ), no. 4, [5] O. Constantin, Carleson embeddings and some classes of operators on weighted Bergman spaces. J. Math. Anal. Appl ) [6] Cruz-Uribe, D., New proofs of two-weight norm inequalities for the maximal operator. Georgian Math. J, 7 ):

14 4 CARNOT D. KENFACK AND BENOÎT F. SEBA [7] J. Garcia-Cuerva, J. L. Rubio De Francia, Weighted norm inequalities and related topics. North olland Math. Stud. 6, North olland, Amsterdam 985. [8] D. Gu, Two-weight norm inequality and Carleson measure in weighted ardy spaces. Canad. J. Math. 44 6) 992) [9] D. Gu, A Carleson measure theorem for weighted Bergman spaces. Complex Variables Theory Appl. 2 2) 993) [0] W. astings, A Carleson measure theorem for Bergman spaces. Proc. Amer. Math. Soc ), [] T. ytönen, M. T. Lacey, C. Pérez, Non-probabilistic proof of the A 2 theorem, and sharp weighted bounds for the q-variation of singular integrals. Available at [2] T. ytönen, Carlos Pérez, Sharp weighted bounds involving A. Available at [3] A. Lerner, A simpler proof of the A2 Conjecture. Available at [4] Lerner, A. K., Ombrosi, S., Pérez, C., Torres, R.., Trujillo-González, R., New maximal functions and multiple weights for the multilinear Calderón-Zygmund theory. Adv. Math., 220: , [5] D. Luecking, Embedding theorems for spaces of analytic functions via Khinchines inequality. Michigan Math. J. 40 2) 993) [6] D. Luecking, Forward and reverse Carleson inequalities for functions in Bergman spaces and their derivatives. Amer. J. Math. 07 ) 985) 85-. [7] V. L. Oleinik, B. S. Pavlov, Embedding theorems for weighted classes of harmonic and analytic functions. J. Soviet Math ), Translation in: Zap. Nauchn. Sem. LOMI Steklov 22 97). [8] S. Pott and M. C. Reguera, Sharp Békollé estimates for the Bergman projection. Available at [9] Sawyer, E., A characterization of two-weight norm inequality for maximal operators. Studia Math. 75: -, 982. [20] B. F. Sehba, Remarks on Toeplitz products on some domains. Available at [2] D. Stegenga, Multipliers of the Dirichlet space. Illinois J. Math. 24 ) 980), Carnot D. Kenfack, Département de mathématiques, Faculté des Sciences, Université de Yaoundé I, BP.82 Yaoundé, Cameroun address: dondjiocarnot@yahoo.fr Benoît F. Sehba, address: bsehba@gmail.com