arXiv:1707.00092v1 [math.CA] 1 Jul 2017 fFuirsre o qaeitgal ucin ypoigteb the proving by (2 functions type square-integrable weak of for series Fourier of eeomn NFSE)udrgatnme 101.02-2014-51. number grant under (NAFOSTED) Development endby defined integral, pcsfr1 for spaces n16,RcadHn 2]gnrlzdteCreo hoe to theorem Carleson the generalized [22] Hunt Richard 1968, In alsnt h ihrdmninlsaeb tdigteboundedn the studying on by operator space type dimensional Carleson higher the to Carleson (b) (a) conditions: following the where (c) oegnrly la .SenadSehnWigr[6 osdrdt considered [36] Wainger Stephen and Stein M. Elias generally, More onens o h aia alsntp prtr endas defined operators type Carleson maximal the for boundedness n16,LnatCreo 6 salse h loteverywhere almost the established [6] Carleson Lennart 1966, In hsppri upre yVenmNtoa onainfrScience for Foundation National Vietnam by supported is paper This e od n phrases. and words Key 2010 S K PRTR NTEWIHE OET SPACES LORENTZ WEIGHTED THE ON OPERATORS K n R − ( GYNMN HOG A A UN,ADKE U DUNG HUU KIEU AND DUONG, VAN DAO CHUONG, MINH NGUYEN 1 K tx ahmtc ujc Classification. Subject Mathematics prtr ihsnua enl rpsdb nesnadJh on John and Andersen functions. by vector-valued with proposed spaces kernels Lorentz Carleson weighted singular maximal valued with vector for operators inequality weighted a establish we osoiiae yCalsFffra n the and Fefferman Charles by originated tors Abstract. ∈ ETRVLE AIA ALSNTYPE CARLESON MAXIMAL VALUED VECTOR A K = ) p sa prpit adro-ymn enlin Calder´on-Zygmund kernel appropriate an is C ( egt oet space. Lorentz weight, x n ′ +1 < p < ) t dσ − ( n R , K ( )o h prtr ocle h alsnoeao,wihis which operator, Carleson the so-called operator, the of 2) n x nti ae,b sn h dao ierzn aia opera- maximal linearizing of idea the using by paper, this In \{ ( ′ 0. = ) x S ∞ ,frall for ), 0 f } et n17 e joi 3]etne h hoe of theorem the extended Sj¨olin [32] Per 1970 in Next, . ( ); x C etrvle alsnoeao,mxmlfnto,singular function, maximal operator, Carleson Vector-valued sup = ) f ( L x α p sup = ) 1. > t ∈ ( R R n
Introduction α R o 1 for ) 0; Z ∈ n R e
− − Z 1 π iαy π rmr 22,4B5 eodr 42B99. Secondary 42B25; 42B20, Primary < p < e K − x iαy ( x − T T f − y ∞ ( ∗ y y ) ehdo Stein-Wainger, of method hc sdfie sfollows as defined is which , ) dy f (
y . ) dy R
n , hti,i satisfies it is, that , n Technology and convergence olw.We follows. oundedness type the s fthe of ess L p [ he − (1.1) (1.2) ,π π, L p - ] VECTOR VALUED MAXIMAL CARLESON OPERATOR 2
α n denote by Pλ(x) = λαx . It is the polynomial in R of fixed degree d 1≤|α|≤d with real coefficients λP:= (λα)1≤|α|≤d. Denote
iPλ(y) Tλ(f)(x)= e K(y)f(x − y)dy. (1.3) RZn
The maximal Carleson type operator associated with the family {Tλ} then is defined by ∗ T (f)(x) = sup Tλ(f)(x) , (1.4) λ where the supremum is taken over all the real coefficients λ of the polynomial
Pλ. The well-known result given by Stein and Wainger [36] is as follows.
α Theorem 1.1 (Theorem 2 in [36]). Assume that Pλ(x)= λαx and the 2≤|α|≤d kernel K satisfies the following conditions: P (i) K is a tempered distribution and agrees with a C1 function K(x) for x =06 ; (ii) K (the Fourier transform of K) in L∞(Rn); α −n−|α| (iii) |∂x K(x)| ≤ A|x| for 0 ≤|α| ≤ 1. Thenb the maximal Carleson type operator T ∗ is bounded on Lp(Rn) for 1 < p< ∞. The theory of weighted norm inequality for the Carleson type operator has been extensively studied by several authors (see, for example, [23, 29, 30] and references therein). Recently, Yong Ding and HongHai Liu [12] investigated the boundedness for maximal Carleson type operator T ∗ on the weighted Lebesgue Ω(x) with non-smoothness kernels. More precisely, the kernel K(x) = |x|n , where Ω is a measurable function on Rn\{0} and satisfies the following properties: Ω is a homogeneous function of degree zero; (1.5) Ω is an integrable function on Sn−1 with zero average; (1.6)
1 ω (δ) Ω satisfies an Lq-Dini function (1 < q ≤∞), namely, q < ∞, where δ Z0
ωq(δ) is the integral continuous modulus of Ω of degree q. (1.7) In [11, and references therein], Nguyen Minh Chuong also introduced some other Carleson type operarors and Bi-Carleson operators with well known in- teresting estimates. VECTOR VALUED MAXIMAL CARLESON OPERATOR 3
In 1981, K. Andersen and R. John [1] established the weighted norm in- equalities for vector-valued maximal functions and singular integrals on the space Lp(ℓr,ω). The class of kernels in this work has the following properties: A |K(x)| ≤ , K(x) ≤ A; (1.8) |x|n
|K(x − y) − K(x)| ≤ µ(|y| / |x |b)|x|− n, for all |x| ≥ 2 |y| ; (1.9) where A is a constant and µ is non-decreasing on the positive real half-line, µ(2t) ≤ Cµ(t) for all t> 0, and satisfies the following Dini condition 1 µ(t) dt < ∞. (1.10) t Z0 Note that if Ω is integrable function on Sn−1 with zero average, homogeneous of degree zero and satisfies the Dini condition 1 ω(δ) dδ < ∞, δ Z0 where ω(δ) = sup Ω(x) − Ω(y) : |x| = |y| =1, |x − y| ≤ δ , then the Calder´on-Zygmundn kernel K(x) = Ω(x) belongs to theo Andersen- |x|n John type kernel as was mentioned above, that is, it satisfies the conditions (1.8)-(1.10). The goal of this paper is to prove the boundedness of vector-valued maximal Carleson type operators with singular kernels proposed by Andersen and John on the weighted Lorentz spaces by using the idea of linearizing maximal opera- tors due to Charles Fefferman [14] and the T T ∗ method of Stein-Wainger given in [36] (more precisely, Kolmogorov-Seliverstov’s stopping-time argument).
2. Vector-valued maximal operators Before stating our results in this section, let us give some basic facts and no- tations which will be used throughout this paper. We denote by ω(x) a weight function, that is a nonnegative locally integrable function on Rn. Given a measurable set E, χE denotes its characteristic function, and ω(E) denotes the integral ω(x)dx. The letter C denotes a positive constant which is inde- E pendent of theR main parameters, but may be different from line to line. For f a measurable function on Rn, the distribution function of f associated with the measure ω(x)dx is defined as follows n df (α)= ω {x ∈ R : |f(x)| >α} . VECTOR VALUED MAXIMAL CARLESON OPERATOR 4
The decreasing rearrangement of f with respect to the measure ω(x)dx is the function f ∗ defined on [0, ∞) by ∗ f (t) = inf s> 0 : df (s) ≤ t . Definition 2.1 (Section 2 in [10]). Let 0 < p,q ≤∞ . The weighted Lorentz p,q Rn space Lω ( ) is defined as the set of all measurable functions f such that kfkLp,q(ω) < ∞, where
∞ 1/q q 1/p ∗ q dt p t f (t) t , if 0
For simplicity, instead of kfkLp,q(ω), we use kfkpq. It is useful to remark p,p Rn that when p = q, then Lω ( ) is just the usual weighted Lebesgue space. For more details about the weighted Lorentz space as well as its applications, we refer the interested readers to the works [21, 10, 7, 18]. n Let f~ = {fk} be a sequence of measurable functions on R . We denote
∞ 1/r r |f~(x)|r = |fk(x)| . ! Xk=1 p,q r Rn As usual, the vector-valued weighted Lorentz space Lω (ℓ , ) is defined as ~ the set of all sequences of measurable functions f = {fk} such that ~ ~ ~ f pq = f Lpq(ℓr,ω) = |f(x)|r pq < ∞. ~ We denote by S the linear space of sequences f = {fk} such that each fk(x) n is a simple function on R and fk(x) ≡ 0 for all sufficiently large k. It is p,q r Rn interesting to remark that S is dense in Lω (ℓ , ) for all 1 ≤ p,q,r < ∞, see [4, 17]. Next, we present some basic facts on the class of weight functions A(p, q). Let us be either 1
Lemma 2.3 (Lemma 4.4 in [10]). Let 1 T (f~) ′ ′ ≤ Ci f~ , i =0, 1, piqi piqi then we have ~ 1− θ θ ~ T (f) ′ ′ ≤ C0 C1 f , pθqθ pθqθ 1 1 1 1 1 1 1 1 1 1 1 1 where 0 <θ< 1, , ′ , , ′ = (1−θ) , ′ , , ′ +θ , ′ , , ′ pθ pθ qθ qθ p0 p0 q0 q0 p1 p1 q1 q1 ′ and qθ = qθ. VECTOR VALUED MAXIMAL CARLESON OPERATOR 6 Theorem 2.9. Suppose T is a linear operator from Lp0,1(ℓr,ω)+ Lp1,1(ℓr,ω) ′ ′ to Lp0,∞(ℓr,ω)+ Lp1,∞(ℓr,ω) satisfying T (f~) ≤ Ci f~ , i =0, 1, pi∞ pi1 with p0 =6 p1. Then we have T (f~) ≤ C1−θCθ f~ , pθr 0 1 pθr 1 1 − θ θ where 0 <θ< 1, 1 ≤ r ≤∞ and = + . pθ p0 p1 Let us recall that the Hardy-Littlewood maximal function is defined by 1 Mf(x) = sup |f(y)|dy, Q |Q| QZ where the supremum is taken over all cubes Q of Lebesgue measure |Q|, cen- tered at x with sides parallel to the coordinate axis. Denote M(f~) by {Mfk} for f~ = {fk}. By the definition of Lorentz spaces and Theorem 3.1 in [1] due to Andersen and John, the following lemma, which actually extends some mat- ters in [10] to the case of vector-valued functions, is easily given. The proof is trivial and is left to the reader. Lemma 2.10. Let 1 ~ p,∞ r ~ M(f)kL (ℓ ,ω) ≤ C f Lp,q(ℓr,ω), for all f~ ∈ Lp,q(ℓr,ω). Applying Lemma 2.10 and Theorem 2.7, we have the following result. Theorem 2.11. Let 1 < p,q,r < ∞ and ω ∈ A(p, q). Then, for every f~ ∈ Lp,q(ℓr,ω), ~ p,q r ~ M(f)kL (ℓ ,ω) ≤ C f Lp,q (ℓr,ω). Proof. The proof of the theorem is not difficult, but for convenience to the reader, we briefly give here. Indeed, by Lemma 2.3, there exists a real number p1 for 1 < p1 < p so that ω ∈ A(p1, q). With the notation q1 = min{p1, q}, we also have ω ∈ A(p1, q1) by Lemma 2.2. Similarly, choosing p2 >p, we also have ω ∈ A(p2, q1). Now, using Lemma 2.10 and Theorem 2.7 we immediately obtain the desired result. We also extend and research the object of the work [10] to vector-valued maximal functions. It seems to be difficult to work for the class of weights which are different from the Muckenhoupt weights. Applying some results of the work [10] and several techniques of K. Andersen and R. John [1] (more precisely, due to C. Fefferman and E. M. Stein [15]), we obtain the following VECTOR VALUED MAXIMAL CARLESON OPERATOR 7 result, which extends and strengthens some interesting results due to H. M. Chung et al. in [10]. Theorem 2.12. ~ ~ If 1 < p,r < ∞ and M f Lp,∞(ℓr,ω) ≤ C f Lp,1(ℓr,ω), for ~ p,1 r all f ∈ L (ℓ ,ω) then ω ∈ A(p, 1). Conversely, there are two cases as follows: (i) Let 1 A(q, 1) = Ap. q∈[(1,p) Thus, by the result of Theorem 3.1 in [1] and the property of Lorentz norms, we immediately obtain ~ ~ ~ p,1 r M f Lp,∞(ℓr,ω) . f Lp,1(ℓr,ω), for all f ∈ L (ℓ ,ω). ~ (ii) As usual, we can assume without loss of generality that f ∈ S. For α> 0, from the Calder´on-Zygmund decomposition [34], there exists a sequence of Qj , whose interiors are disjoint such that ∞ ~ f(x) r ≤ α, x∈ / Ω= Qj; (2.1) j=1 [ 1 α ≤ f~(x) dx ≤ 2nα, for all j ∈ Z+. (2.2) |Q | r j Z Qj ~ ~′ ~′′ ~′ ′ ′ Note that f = f + f , where f = fk , fk(x) = fk(x)χRn\Ω(x). Hence, it is easy to see that ~ ~′ ~′′ M f (x) r ≤ M f (x) r + M f (x) r. To obtain the desired result, it is sufficient to show that Rn ~′ −p ~ p ω x ∈ : M f (x) r >α ≤ Cr,p.α f Lp,1(ℓr,ω), (2.3) and n o Rn ~′′ −p ~ p ω x ∈ : M f (x) r >α ≤ Cr,p.α f Lp,1(ℓr,ω). (2.4) n o VECTOR VALUED MAXIMAL CARLESON OPERATOR 8 By assuming that ω ∈ A(p, 1) and r>p, and applying Lemma 2.2, we get ω ∈ Ar. Thus, by Theorem 3.1 in [1], we obtain Rn ~′ −r ~′ r ω x ∈ : M f (x) r >α ≤ Cr.α f Lr(ℓr,ω). (2.5) ~′ r Hence, by (2.1), the property of Lorentz norms and the inequality f (x) r ≤ r−p ~ p α |f(x)|r , we easily imply that the inequality (2.3) holds. To estimate the inequality (2.4), we need to define f = f k by 1 |f (y)|dy, x ∈ Q , j =1, 2, ..., |Qj | k j Q f k(x)= j ( 0, R otherwise. ∞ Here, we denote that Ω = Qj and Qj is the cube with the same center as j=1 Qj but with diameter (Qj)=2S n.diameter (Qj). Next, we have to estimate the following inequality −p ~ p ω Ω ≤ C.α f Lp,1(ℓr,ω). (2.6) By ω ∈ A(p, 1) and using Lemma 2.4, we have 1/p |Q | ω(Q ) j ≤ j , for all j ∈ Z+. |Qj| ω(Qj)! Z+ Therefore, ω Qj ≤ Cω Qj , for all j ∈ . Thus, using the inequality (2.2), H¨older’s inequality in Lorentz space and the definition of A(p, 1), we obtain p 1 ω Ω ≤ C. ω Q ≤ C.α−p ω Q f~(x) ω−1ωdx j j |Q | r j≥1 j≥1 j Z X X Qj −p −p ~ p −1 p ≤ C.α ω Qj Qj χQj f r Lp,1(ω). χQj w Lp′,∞(ω) j≥1 X −p ~ p ≤ C.α χQj f r Lp,1(ω). j≥1 X On the other hand, since the family of cubes Qj are disjoint, by Lemma 2.6, it implies that ~ p ~ p χQj f r Lp,1(ω) ≤ f Lp,1(ℓr,ω), j≥1 X which completes the proof of the inequality (2.6). As a consequence, we have −p ~ p ω Ω ≤ C.α f Lp,1(ℓr,ω). (2.7) VECTOR VALUED MAXIMAL CARLESON OPERATOR 9 Now, we consider the sequence f. We also obtain in a similar argument way to the proof of (2.5) that Rn −r r ω x ∈ : M f (x) r >α ≤ Cr.α f(x) rω(x)dx. (2.8) RZn From the definition of f, it is clear that supp |f|r ⊂ Ω, and using (2.2), we get f(x) ≤ 2nα. Therefore, by (2.7) and (2.8), it follows that r Rn −p ~ p ω x ∈ : M f (x) r >α ≤ C. ω(x)dx ≤ C.α f Lp,1(ℓr,ω). (2.9) Z Ω It is well known that Theorem 1 in [15], we have ′′ M fk (x) ≤ c.M f k (x), x/∈ Ω, and by (2.6), (2.9), we thus obtain the following inequality Rn ~′′ ~′′ ω x ∈ : M f (x) r >α ≤ ω Ω + ω x∈ / Ω: M f (x) r >α p n o ≤ C.α −p f~ n , o Lp,1(ℓr,ω) which completes the proof for the inequality (2.4). Finally, since S is dense in Lp,1(ℓr,ω), the proof of the theorem is finished. Let {Kk(x)} denote a sequence of singular convolution kernels satisfying the above conditions (1.8)-(1.10) with a uniform constant A and a fixed function µ not dependent of k. We define the singular integral operator Tk and maximal ∗ singular integral operator Tk , respectively, as follows Tk(f)(x)= p.v. Kk(y)f(x − y)dy, RZn ∗ Tk f(x) = sup Kk(y)f(x − y)dy . ε>0 |x−Zy|>ε ~ ~ ∗ ~ ∗ For f = {fk}, define T (f) = {Tk (fk)} and T (f) = {Tk (fk)}. Now, we will give the vector-valued weighted norm inequalites for T and T ∗ on the weighted Lorentz spaces, which generalise some well-known results in [1]. Theorem 2.13. Let 1 Theorem 2.14. Let 1 ∗ ~ 1/p δ/p ∗ ~ T f r Lp,∞(ω) ≤ 2Cr γ T f r Lp,∞(ω) 2 ~ 2 ~ + M |f|r + M f . γ Lp,∞(ω) γ r Lp,∞(ω) 1 /p δ/p 1 Now, choose γ = γ0, dependent of p,r, satisfying 1− 2 Cr γ 0 ≥ 2 . We then get 4 4 T ∗ f~ ≤ M f~ + M f~ . r Lp,∞(ω) r p,∞ r p,∞ γ0 L (ω) γ0 L (ω) Thus, by Theorem 2.12, the proof is completed. Obviously, Theorem 2.13 and Theorem 2.14 also allow us to obtain the following useful results. Corollary 2.15. Let 1 3. Vector-valued maximal Carleson type operator In this section, we will discuss the boundedness of vector-valued maximal Carleson type operator on the weighted Lorentz spaces. We also consider the sequence of convolution kernels {Kk(x)} as in Section 2 above. Let us denote α n by Pλ(x)= λαx the polynomial in R of fixed degree d (no linear terms) 2≤|α|≤d with real coefficientsP λ = (λα)2≤|α|≤d. The vector-valued maximal Carleson type operator is defined by ∗ ~ ∗ ∞ T f = {Tk (fk)}k=1 , (3.1) VECTOR VALUED MAXIMAL CARLESON OPERATOR 11 with ∗ iPλ(y) Tk (fk)(x) = sup |Tλ,k(fk)(x)| = sup e Kk(y)fk(x − y)dy , (3.2) λ λ RZn where the supremum is taken over all the real coefficients λ of the polynomial Pλ. Our main results in this paper are the following. Theorem 3.1. Let 1 The idea for the proof of Theorem 3.1 and Theorem 3.2 mainly follows the arguments of Stein and Wainger in [36] (see also in [12]), namely, it is based on the Kolmogorov-Seliverstov stopping-time argument as well as some van der Corput estimates for oscillatory integrals. However, the class of singular convolution kernels considered in this section is relatively general and some- what different from the kernels studied in [36], [12]. We also remark that the Stein-Weiss theorem on Lp interpolation with change of measure can not be extended to the Lorentz spaces, see in [16]. Thus, we need to give some new techniques for our arguments. Before proving Theorem 3.1 and Theorem 3.2, for the sake of the reader, we want to recall some well-known results due to Stein and Wainger in [36] and due to Stein and Weiss in [33]. Lemma 3.3 (Proposition 2.1 and Proposition 2.2 in [36]). Suppose that ϕ is a C1 function defined in the unit ball U = {x ∈ Rn : |x| ≤ 1}. Let P (x) = α 1≤α≤d λαx , and let V be any convex subet of U. Then, the following state- ments are true. (i)P There exists a positive constant C independent of P,ϕ,V such that eiP (x)ϕ(x)dx ≤ C|λ|−1/d sup (|ϕ(x)| + |∇ϕ(x)|) . x∈U VZ (ii) There exists a positive constant C independent of P such that |{x ∈ U : |P (x)| ≤ ε}| ≤ Cε1/d|λ|−1/d, for all ε> 0. VECTOR VALUED MAXIMAL CARLESON OPERATOR 12 n Let us denote B33/16 = {x ∈ R : |x| ≤ 33/16}. For any subset E of B33/16, −n we write (χE)a(x)= a χE(x/a). Given a positive real number ε, the maximal function Mε is defined as follows Mǫ(f)(x) = sup |f|∗ (χE)a(x), |E|≤ǫ a>0 where the supremum is taken over all subsets E of B33/16 of measure less than ε and all a> 0. Lemma 3.4 (Proposition 3.1 in [36]). There exists a positive constant C in- dependent of ε such that for all f ∈ L2(Rn), 1/2 kMǫ(f)kL2 ≤ cǫ kfkL2 . Next, let us recall the Stein-Weiss interpolation theorem with change of measure. Theorem 3.5 (Theorem 2.11 in [33]). Let 1 kT (f)k p ≤ Ckfk p , L θ (uθ ) L θ (vθ ) (pθ/p0)θ (pθ/p1)(1−θ) (pθ/p0)θ (pθ/p1)(1−θ) where 1/pθ = θ/p0+(1−θ)/p1, uθ = u0 u1 , vθ = v0 v1 , for any 0 <θ< 1. As a consequence of Theorem 3.5, we also have the analogous result for the vector - valued case as follows. Corollary 3.6. Let 1 < p0,p1,r0,r1 < ∞ and u0, v0,u1, v1 be weighted func- tions. Suppose that T is a sublinear operator satisfying ~ ~ T (f) p r ≤ Ci f p r , i =0, 1. L i (ℓ i ,ui) L i (ℓ i ,vi) Then, we have ~ 1−θ θ ~ T (f) p p ≤ C C f p p , L θ (ℓ θ ,uθ) 0 1 L θ (ℓ θ ,vθ) (pθ/p0)θ (p θ/p 1)(1−θ) (pθ/p0)θ (pθ/p1)(1−θ) where 1/pθ = θ/p0+(1 −θ) /p1, uθ = u0 u1 , vθ = v0 v1 , for any 0 <θ< 1. Now, we are in a position to give the proof of our main result. Firstly, we will solve Theorem 3.1 for the case p = q. Theorem 3.7. Let 1 The proof of Theorem 3.7. We can assume without loss of generality that f~ ∈ S. Next, it is a simple matter to see that ∗ Tk (fk)(x) = sup |Tλ,k(fk)(x)| ≤ sup |Tλ,k(fk)(x)| + |Tk(fk)(x)| . (3.6) λ λ6=0 n For a simple function fk and x ∈ R , there exists a sequence of measurable stopping-time functions λ(x, k)= {λα(x, k)} satisfying 1 Tλ(x,k),k(fk)(x) ≥ sup |Tλ,k(fk)(x)| . (3.7) 2 λ6=0 For convenience, we set ~ ∞ Tλ(x)(f)(x)= {Tλ(x,k),k(fk)(x)}k=1. From (3.6), (3.7) and Corollary 2.15, in order to prove the theorem, it is sufficient to show that there is a positive constant C, not dependent on λ(x, k), such that ~ ~ Tλ(·) f Lp(ℓr,ω) ≤ C f Lp(ℓr,ω). (3.8) In what follows, we follow some notations used in [12, 36]. As usual, we ∞ Rn choose a nonnegative bump function ψ ∈ C0 ( ) such that supp(ψ) ⊆ ∞ n {y ∈ R :1/4 < |y| ≤ 1} and ψj(y) = 1, for all y =6 0, where ψj(y) = j=−∞ 1 −j P |α| ψ(2 y). We write N(λ) = |λα| and ψj,λ(y) = ψj (N (λ) y). Then, 2≤|α|≤d the kernels Kk are decomposedP as follows 0 ∞ Kk(y)= ψj,λ(y)Kk(y)+ ψj,λ(y)Kk(y) j=−∞ j=1 X ∞ X (3.9) = K0,k(y)+ Kj,k(y). j=1 X Denote 0 iPλ(x,k)(y) Tλ(x,k),k(fk)(x)= e K0,k(y)fk(x − y)dy, RZn j iPλ(x,k)(y) Tλ(x,k),k(fk)(x)= e Kj,k(y)fk(x − y)dy, RZn 0 ~ 0 ∞ Tλ(x)(f)(x)= {Tλ(x,k),k(fk)(x)}k=1, j ~ j ∞ Tλ(x)(f)(x)= {Tλ(x,k),k(fk)(x)}k=1. By (3.9), we have ∞ ~ 0 ~ j ~ Tλ(·) f Lp(ℓr,ω) . Tλ(·) f Lp(ℓr,ω) + Tλ(·) f Lp(ℓr,ω). (3.10) j=1 X VECTOR VALUED MAXIMAL CARLESON OPERATOR 14 Here, we write a . b to mean that there is a positive constant C, independent of the main parameters, such that a ≤ Cb. The next arguments are divided into the following several steps. 0 • Step 1: The estimate of Tλ(·). By a similar argument as in [12], we have 0 iPλ(x,k)(y) T λ(x,k),k(fk)(x) ≤ e Kk(y)fk(x − y)dy |y|≤ Z 1 2N(λ(x,k)) + |Kk(y)||fk(x − y)|dy 1 Z 1 2N(λ(x,k)) ≤|y|≤ N(λ(x,k)) := I1 + I2. From condition (1.8) of the kernels Kk, it is not difficult to show that ∗ I1 . M(fk)(x)+ Tk(fk)(x) + Tk (fk)(x), and I2 . M(fk)(x). Applying the boundedness of the vector-valued maximal functions and maxi- mal singular integrals on the weighted Lorentz spaces in Section 2, there is a positive constant C independent of λ(·) such that 0 ~ ~ Tλ(·) f Lp(ℓr,ω) ≤ C f Lp(ℓr,ω), (3.11) holds under the given conditions of Theorem 3.7. j • Step 2: The estimate of Tλ(·). ∞ Rn We take another nonnegative bump function φ ∈ C0 ( ) such that φ L1 =1 and supp(φ) ⊆ y ∈ Rn : |y| ≤ 2−5 . Let us denote φ (x) = a−nφ(x/a), for a all a > 0. For some σ > 0 small enough, which will be taken later, we let 2j(1−σ) a1 = N(λ(x,k)) , and define Lj,λ(x,k)(y)= Kj,k ∗ φa1 (y), and Rj,λ(x,k)(y)= Kj,k(y) − Lj,λ(x,k)(y). ∞ Rn From the definition of Lj,λ(x,k), we have Lj,λ(x,k) ∈ C0 ( ). We now estimate the support of the function Lj,λ(x,k). Notice first that supp Lj,λ(x,k) ⊂ supp (φa1 ) + supp (Kj,k). VECTOR VALUED MAXIMAL CARLESON OPERATOR 15 −5 2j−2 2j Let u ∈ supp(φa1 ) ⊂ |y| ≤ 2 a1 and v ∈ supp(Kj,k) ⊂ N(λ(x,k)) ≤|y| ≤ N(λ(x,k)) . We have 2j(1+2−5) ku + vk≤kuk + kvk ≤ , N(λ(x, k)) and 2j−5(23 − 1) ku + vk≥kvk−kuk ≥ . N(λ(x, k)) From the above estimates, we can obtain the following interesting inequality, which is actually better than one given in [12], 7.2j 33.2j supp L ⊂ y ∈ Rn : ≤|y| ≤ . j,λ(x,k) 32N(λ(x, k)) 32N(λ(x, k)) Hence, we get 7.2j 33.2j supp R ⊂ y ∈ Rn : ≤|y| ≤ . j,λ(x,k) 32N(λ(x, k)) 32N(λ(x, k)) Tj Rj We also define two useful vector-valued operators λ(·) and λ(·) as follows Tj ~ Tj ∞ Rj ~ Rj ∞ λ(x) f (x)= λ(x,k)(fk)(x) k=1 and λ(x) f (x)= λ(x,k)(fk)(x) k=1, where Tj iPλ(x,k)(y) λ(x,k)(fk)(x)= e Lj,λ(x,k)(y)fk(x − y)dy, RZn Rj iPλ(x,k)(y) λ(x,k)(fk)(x)= e Rj,λ(x,k)(y)fk(x − y)dy. RZn From the decomposition of kernels Kj,k, it follows that j ~ Rj ~ Tj ~ Tλ(x)(f)(x) r . λ(x)(f)(x) r + λ(x)(f)(x) r. (3.12) Rj • Step 2.1: The estimate of λ(·). By a trivial calculation, we have Rj,λ(x,k)(y) ≤ |Kk(y)||ψj,λ(y) − ψj,λ(y − z)||φa1 (z)| dz RZn + |ψj,λ(y − z)||Kk(y) − Kk(y − z)||φa1 (z)| dz RZn = J1 + J2. VECTOR VALUED MAXIMAL CARLESON OPERATOR 16 Using the mean value theorem and the property of kernel (1.8), we obtain that Ak∇ψk ∞ J ≤ L 2−jN(λ(x, k)) |z||φ (z)| dz 1 |y|n a1 RZn −5(n+1) −jσ 1 ≤ A.2 .|B |.k∇ψk ∞ .kφk ∞ .2 n L L |y|n 1 . 2−jσ , |y|n n where |Bn| denotes the Lebesgue measure of the unit ball in R . Rn −5 Next, we observe that supp (φa1 ) ⊆ y ∈ : |y| ≤ 2 a1 . Therefore, we have the control −n J2 . (a1) Kk(y) − Kk(y − z) dz. Z−5 |z|≤2 a1 −5 Take y ∈ supp Rj,λ(x,k) . For |z| ≤ 2 a1, it can easily show that |y| > 2 |z|. Then, following the property of kernel (1.9), we have −n Kk(y) − Kk(y − z) ≤ µ |z| / |y| |y| . Hence, 1 J . (a )−n µ (|z| / |y|)dz. 2 1 |y|n −5 |z|≤2Z a1 −jσ−2 −jσ−2 1 Since |z| / |y| ≤ 2 and µ(t) is non-decreasing, we obtain J2 . µ 2 |y|n . Therefore, 1 R (y) . 2−jσ + µ 2−jσ−2 . j,λ(x,k) |y|n Rj By defining of the operator λ (·,k)(fk), we can show that Rj λ(x,k)(fk)(x) ≤ Rj,λ(x,k)(y) . |fk(x − y)| dy j Z j 7.2 ≤|y|≤ 33.2 32.N(λ(x,k)) 32.N(λ(x,k)) |f (x − y)| . 2−jσ + µ(2−jσ−2) k dy |y|n 7.2j Z 33.2j 32.N(λ(x,k)) ≤|y|≤ 32.N(λ(x,k)) −jσ −jσ−2 . 2 + µ 2 M(fk)(x). (3.13) From (3.13) and Theorem 2.11 together with assuming ω ∈ Ap, we obtain that Rj ~ −jσ −jσ−2 ~ λ(·) f Lp(ℓr,ω) . 2 + µ 2 f Lp(ℓr,ω). (3.14) Tj • Step 2.2: The estimate of λ(·). VECTOR VALUED MAXIMAL CARLESON OPERATOR 17 Although there is not the assumption of the homogeneous kernel as in [12], we may also give the boundedness of Lj,λ(x,k)(y) here, that is, jnσ −j n −j Lj,λ(x,k) (y) ≤ A.2 . 2 N(λ(x, k)) .ϑj 2 N(λ(x, k))y jnσ −j n (3.15) . 2 2 N(λ(x, k)) , |ψ(y − u)| jσ where ϑj(y)= n |φ(2 u)|du. Indeed, we have Rn |y − u| R 2jy 2jy L = K − z φ (z)dz j,λ(x,k) N(λ(x, k)) j,k N(λ(x, k)) a1 RZn j j −n −j 2 y 2 y z = a1 ψ 2 N(λ(x, k)) − z Kk − z φ dz N(λ(x, k)) N(λ(x, k)) a1 RZn j −n −j 2 −j z = a1 ψ y − 2 N(λ(x, k))z Kk y − 2 N(λ(x, k))z φ dz. N(λ(x, k)) a1 RZn −j jσ Set u =2 N(λ(x, k))z. It follows that z/a1 =2 u. Therefore, 2jy L j,λ(x,k) N(λ(x, k)) 2j ≤ a−n[2j/N(λ(x, k))]n ψ(y − u)K (y − u) φ(2jσu) du 1 k N(λ(x, k)) RZn A |ψ(y − u)| ≤ a−n[2j/N(λ(x, k))]n |φ(2jσu)|du 1 [2j/N(λ(x, k))]n |y − u|n RZn n |ψ(y − u)| = A.2jσn 2−j.N(λ(x, k)) |φ(2jσu)|du. (3.16) |y − u|n RZn From the inequality (3.16), to prove the inequality (3.15), it is sufficient to −j show that ϑj(2 N(λ(x, k))y) is upper bounded. But, this is not difficult, and its proof is left to the reader. We also have the following estimates Tj λ(x,k)(fk)(x) ≤ Lj,λ(x,k)(y) |fk(x − y)|dy j−5 Z j−5 7.2 ≤|y|≤ 33.2 N(λ(x,k)) N(λ(x,k)) jnσ −j n ≤ C.2 2 N(λ(x, k)) . |fk(x − y)|dy 7.2j−5 Z 33.2j−5 N(λ(x,k)) ≤|y|≤ N(λ(x,k)) jnσ ≤ C.2 .M(fk)(x). VECTOR VALUED MAXIMAL CARLESON OPERATOR 18 Consequently, we obtain that Tj ~ jnσ ~ λ(x) f (x) r . 2 M f (x) r. (3.17) • Step 2.2.1: The estimate of κj,r,k(x, z) (see (3.18) below). |α| N 2j N For j ∈ , we denote Aj,λ ◦ λ = N(λ) λα . For k ∈ ,r > 0, we 2≤|α|≤d set n Uj,r,k = x ∈ R : r ≤ Aj,λ(x,k) ◦ λ(x, k) < 2r , and λ iPλ(y) Φ (y)= e Lj,λ(y). λ λ −iPλ(−y) For simplicity of notation, we denote Φ (y) = Φ (−y) = e Lj,λ(−y). Tj,r,k Tj,r,k Tj Thus, the operator defined by (f)(x) = λ(x,k)(f)(x)χUj,r,k (x) is of the form as follows e Tj,r,k(f)(x)= Φλ(x,k)(y)f(x − y)dy χ (x). Uj,r,k RZn ∗ We quite look for the adjoint operator of Tj,r,k, denoted by Tj,r,k , satisfying j,r,k j,r,k ∗ T T (f)(x)= κj,r,k(x, z)f(z)dz, RZn where λ(x,k) λ(z,k) κj,r,k(x, z) = Φ ∗ Φ (x − z).χUj,r,k (x).χUj,r,k (z). (3.18) We choose x, z ∈ U and take h = N(λ(z,k)) . Below we will give the estimate j,r,k e N(λ(x,k)) of κj,r,k(x, z) by considering the following two cases. −j ◦ Case 1 : Assume that h ≤ 1. For Pλ(x,k)(y)= PAj,λ(x,k)◦λ(x,k) 2 N(λ(x, k))y , we have n Φλ(x,k) ∗ Φλ(z,k) 2ju/N(λ(z,k)) = 2−jN(λ(z,k)) × iP (y)−iP (−u+hy) Aj,λ(x,k) ◦λ(x,k) Aj,λ(z,k)◦λ(z,k ) × e e Lj,λ(x,k)(y)Lj,λ(z,k)(−u + hy)dy, RZn e e −j −n j where Lj,λ(·,k)(y)= 2 N(λ(·,k)) Lj,λ(·,k) 2 y/N(λ(·,k)) . By the informa- tion of L , we get j,λ e 7 33 L ∈ C∞(Rn) and supp L ⊆ ≤ y ≤ . j,λ(·,k) 0 j,λ(·,k) 32 32 e e VECTOR VALUED MAXIMAL CARLESON OPERATOR 19 33 We only need to give |u| ≤ 16 and define n G(y)= Lj,λ(x,k)(y)Lj,λ(z,k)(−u + hy), for all y ∈ R . ∞ Rn Therefore, we have G ∈ C0 ( ) and estimate as follows e e |∇G(y)| + |G(y)| . 22jnσ+jσ +22jnσ, for all y ∈ Rn. (3.19) jnσ jnσ Indeed, from (3.15), we get Lj,λ(x,k)(y) . 2 and Lj,λ(z,k)(−u+hy) . 2 . Thus, we obtain |G(y e)| . 22jnσ, for all y ∈ R ne. (3.20) By a trivial calculation, we have Gy (y)= Lj,λ(x,k) (y)Lj,λ(z,k)(−u + hy) i yi +Lj,λ(x,k)(y) Lj,λ(z,k) (−u + hy)h. e e ti (3.21) Next, we get e e −1 −j −n−1 j Lj,λ(x,k) (y)= a . 2 N(λ(x, k)) Kj,k ∗ (φt ) 2 y/N(λ(x, k)) . yi 1 i a1 By a similar manner way to the proof of the inequality (3.15), we have e K ∗ (φ ) (y) . 2jnσ 2−jN(λ(x, k)) n, for all y ∈ Rn. j,k ti a1 Therefore jnσ+jσ n Lj,λ(x,k) (y) . 2 , for all y ∈ R . (3.22) yi Thus, we also have e jnσ+jσ n Lj,λ(z,k) (−u + hy) . 2 , for all y ∈ R . (3.23) ti Hence, by (3.21), (3.22) and (3.23), we obtain that e 2jnσ+jσ Rn Gyi (y) . 2 , for all y ∈ , i =1, 2, ..., n. (3.24) From (3.20) and (3.24), the proof of (3.19) is completed. ⊲ Case 1.1 : 0 < h ≤ h0 < 1, here h0 is small positive number to be de- termined. We have PAj,λ(x,k)◦λ(x,k)(y) − PAj,λ(z,k)◦λ(z,k)(−u + hy) α = Aj,λ(x,k) ◦ λ(x, k) α + O h Aj,λ(z,k) ◦ λ(z,k) y 2≤|α|≤d X n (l) − h P (u).yl − PA ◦λ(z,k)(−u) Aj,λ(z,k)◦λ(z,k) j,λ(z,k) Xl=1 = Q1(y)+ Q2(y) − PAj,λ(z,k)◦λ(z,k)(−u). VECTOR VALUED MAXIMAL CARLESON OPERATOR 20 We observe that Q2 is terms of degree 1 in y in the phase PAj,λ(x,k)◦λ(x,k)(y) − PAj,λ(z,k)◦λ(z,k)(−u + hy), with (l) α−el P (u)= αl A ◦ λ(z,k) u . Aj,λ(z,k)◦λ(z,k) j,λ(z,k) α 2≤|α|≤d X Hence, we have Φλ(x,k) ∗ Φλ(z,k) 2ju/N(λ(z,k)) n −j i{Q1(y)+Q2(y)} (3.25) e = 2 N(λ(z,k )) e G(y)dy . |y|≤Z 33 32 By the part (i) of Lemma 3.3, there exists a positive constant C > 0 indepen- dent of Q1, Q2,G such that −1/d ei{Q1(y)+Q2(y)}G(y)dy ≤ C λ sup G(y) + ∇G(y) , y∈ t∈Rn:|t|≤ 33 |y|≤Z 33 32 32 where let |λ| = |λα|, with real coefficients λα of the polynomial function 1≤|α|≤d Q1(y)+ Q2(y). UsingP a similar argument as in [36], we also have h0 ∈ (0, 1) to r . |λ|. Thus, by (3.19), it implies that Φλ(x,k) ∗ Φλ(z,k) 2ju/N(λ(z,k)) −j n −1/d 2jnσ+jσ . 2 N(λ(z,k)) r 2 χB33/16 (u). e (3.26) ⊲ Case 1.2 : h0 < h ≤ 1. From (3.25), we get n Φλ(x,k) ∗ Φλ(z,k) 2ju/N(λ(z,k)) . 2−jN(λ(z,k)) sup G(y) . y∈ t∈Rn:|t|≤ 33 32 e Hence, by (3.19), we obtain that n Φλ(x,k) ∗ Φλ(z,k) 2ju/N(λ(z,k)) . 2−jN(λ(z,k)) 22jnσ+jσ. (3.27) For ρ> 0, denote e n j (l) E = u ∈ B32/16 : P (u) ≤ ρ . λ(z,k) Aj,λ(z,k)◦λ(z,k) ( l=1 ) X Thus, it is not difficult to show that Φλ(x,k) ∗ Φλ(z,k) 2ju/N(λ(z,k)) −j n −1/d 2jnσ+jσ (3.28) . 2 N (λ(z,k)) ρ 2 χB \Ej (u). e 33/16 λ(z,k) VECTOR VALUED MAXIMAL CARLESON OPERATOR 21 n j (l) We also denote E = u ∈ B32/16 : P (u) ≤ ρ . λ(z,k) Aj,λ(z,k)◦λ(z,k) l=1 n n n o (l) P α−el We know that eP (u)= αl Aj,λ(z,k) ◦ λ(z,k) u is a Aj,λ(z,k)◦λ(z,k) α l=1 l=1 2≤|α|≤d polynomial in RPn of degree ≤ d. Thus,P byP the part (ii) of Lemma 3.3, there exists a positve constant C such that n −1/d j 1/d Eλ(z,k) ≤ Cρ αl Aj,λ(z,k) ◦ λ(z,k) α , for all ρ> 0. l=1 2≤|α|≤d X X e n It is clear that αl Aj,λ(z,k) ◦ λ(z,k) α ≥ r. Therefore, by choos- l=1 2≤|α|≤d 1 P P−d 1/ 3 ing δ = 6d and ρ = (c) r , with c being appropriately small, we estimate j −4δ j j j −4δ Eλ(z,k) ≤ r . Since Eλ(z,k) ⊂ Eλ(z,k), we imply Eλ(z,k) ≤ r . From e (3.26), (3.27) and (3.28), withe any positive number r, we conclude that Φλ(x,k) ∗ Φλ(z,k) 2ju/N(λ(z,k)) . 2−jN(λ(z,k)) n.22jnσ+jσ× (3.29) −6δ −2δ j × r χB33/16 (u)+ r χB33/16 (u)+ χE (u) . e λ(z,k) ◦ Case 2 : If h> 1 and any positive number r, by a similar argument as above, we can also prove that Φλ(z,k) ∗ Φλ(x,k) 2ju/N(λ(x, k)) . 2−jN(λ(x, k)) n22jnσ+jσ× (3.30) −6δ −2δ j × r χB33/16 (u)+ r χB33/16 (u)+ χE (u) . e λ(x,k) Since the results in (3.29) and (3.30), for all r> 0, we conclude that −j n 2jnσ+jσ κj,r,k(x, z) . 2 N(λ(z,k)) 2 × −6δ −j r χB33/16 2 N(λ(z,k)).(x − z) −2δ −j × + r χB33/16 2 N(λ(z,k)).(x − z) −j + χEj 2 N(λ(z,k)).(x − z) λ(z,k) n + 2−jN(λ(x, k)) 22jnσ +jσ× (3.31) −6δ −j r χB33/16 2 N(λ(x, k)).(z − x) −2δ −j × + r χB33/16 2 N(λ(x, k)).(z − x) . −j +χEj 2 N(λ(x, k)).(z − x) λ(x,k) Here, we condition that 0 < r ≤ Aj,λ(x,k) ◦ λ(x, k) , Aj,λ(z,k) ◦ λ(z,k) < 2r and Ej , Ej ⊂ B satisfy Ej , Ej ≤ r−4δ and δ = 1 . λ(z,k) λ(x,k) 33/16 λ(z,k) λ(x,k) 6d VECTOR VALUED MAXIMAL CARLESON OPERATOR 22 Tj 2 2 • Step 2.2.2 : The boundedness of λ(·) on L (ℓ , dx). Thus, by (3.31), we have Tj,r,k Tj,r,k ∗(f),g n . r−6δ22jnσ+jσ |f(z)| 2−jN(λ(z,k)) |g(x)| dx dz Rn j |x−z|≤ 33.2 R 16R.N(λ(z,k)) n +r−2δ22jnσ+jσ |f(z)| 2−jN(λ(z,k)) |g(x)| dx dz Rn j |x−z|≤ 33.2 R 16R.N(λ(z,k)) 2jnσ+jσ −j n −j +2 |f(z)| 2 N(λ(z,k)) χ j 2 N(λ(z,k)).(x − z) |g(x)| dx dz Eλ(z,k) Rn Rn R R +r−6δ22jnσ+jσ |g(x)| 2−jN(λ(x, k)) n |f(z)| dz dx Rn j |z−x|≤ 33.2 R 16R.N(λ(x,k)) n +r−2δ22jnσ+jσ |g(x)| 2−jN(λ(x, k)) |f(z)| dz dx Rn j |z−x|≤ 33.2 R 16R.N(λ(x,k)) 2jnσ+jσ −j n −j +2 |g(x)| 2 N(λ(x, k)) χ j 2 N(λ(x, k)).(z − x) |f(z)| dz dx Eλ(x,k) Rn Rn 6 R R = Ii. i=1 ApplyingP the boundedness of the standard maximal function and Holder’s in- equality, we get −6δ 2jnσ+jσ I1,I4 . r 2 kfkL2 kgkL2 , and −2δ 2jnσ+jσ I2,I5 . r 2 kfkL2 kgkL2 . 2jnσ+jσ −2δ On the other hand, using Lemma 3.4, we have I3,I6 . 2 r kfkL2 kgkL2 . Therefore, Tj,r,k 2 2jnσ+jσ −6δ −2δ L2→L2 . 2 r + r . (3.32) N Rn j Next, for k ∈ , x ∈ , we imply N Aj,λ(x,k ) ◦ λ(x, k) =2 and exist c0 > 1 such that N(v) ≤ c0 |v| , for all v satisfying N(v) ≥ 1. A consequence of the above arguments is that ∞ n R j+ℓ = Uj, 2 /c0,k, ℓ[=0 j+ℓ where Uj, 2 /c0,k’s have disjoint. Thus, by (3.32), we estimate that Tj ~ . jnσ+jσ/2−jδ ~ λ(·) f L2(ℓ2,dx) 2 f L2(ℓ2,dx). (3.33) VECTOR VALUED MAXIMAL CARLESON OPERATOR 23 Tj • Step 2.2.3: Applying interpolation estimates of λ(·). 1 2 1 2 Let θ = 2 p − 1 + 2 ∈ (0, 1) for convenience. We have p − 1 < θ. It is clear that p(1 + θ) − 2 > 0, 2 − p(1 − θ) > 0. 2pθ We denote s = 2−p(1−θ) . From the above inequality, s is defined well and s> 1. Hence, by (3.17) and Theorem 2.11, we have Tj ~ jnσ ~ λ(·) f Ls(ℓ2,dx) . 2 f Ls(ℓ2,dx). (3.34) By the inequalities (3.33), (3.34) and using Theorem 2.8, it is not difficult to show that Tj ~ jnσ+j(1−θ)σ/2−jδ(1−θ) ~ λ(·) f Lp(ℓ2,dx) . 2 f Lp(ℓ2,dx). (3.35) On the other hand, by assuming ω ∈ A , there is an ε> 0 such that ω1+ε ∈ A . p p Using (3.17) and Theorem 2.11, one has Tj ~ jnσ ~ λ(·)(f) Lp(ℓ2,ω1+ε) . 2 f Lp(ℓ2,ω1+ε). (3.36) From the inequalities (3.35), (3.36) and applying Corollary 3.6 for θ = ε ∈ 1 1+ε (0, 1), we imply Tj ~ jnσ+j(1−θ)θ1.σ/2−jδ(1−θ)θ1 ~ λ(·) f Lp(ℓp,ω) . 2 f Lp(ℓp,ω). (3.37) Now, we choose 2r 2(p−r) m = r+1 and θ2 = (r+1)p−2r , if p > r, 1 m = r and θ2 = 2 , if p = r, 2(r−p) m =2r and θ2 = 2r−p , if p < r. 1 θ2 1−θ2 Therefore, we haveθ2 ∈ (0, 1), m > 1 and satisfy r = m + p . Thus, by (3.17) and Theorem 2.11 with ω ∈ Ap, we get Tj ~ jnσ ~ λ(·) f Lp(ℓm,ω) . 2 f Lp(ℓm,ω). (3.38) Then, by (3.37), (3.38) and Lemma 2.2 of paper [1], we have the following inequality Tj ~ jnσ+j(1−θ)θ1(1−θ2)σ/2−jδ(1−θ)θ1 (1−θ2) ~ λ(·) f Lp(ℓr,ω) . 2 f Lp(ℓr,ω). (3.39) δ(1 − θ)θ (1 − θ ) 1 We choose σ = min 1 2 , such that σ ∈ (0, 1). Let us 2n + (1 − θ)θ1(1 − θ2) 2 n o β1 = − nσ + (1 − θ)θ1(1 − θ2)σ/2 − δ(1 − θ)θ1(1 − θ2) be a positive real VECTOR VALUED MAXIMAL CARLESON OPERATOR 24 number for simple symbol. We will obtain the boundedness of the operators Tj p r λ(·) on L (ℓ ,ω) space, i.e, Tj ~ −jβ1 ~ λ(·) f Lp(ℓr,ω) . 2 f Lp(ℓr,ω). (3.40) From (3.14) and (3.40), we conclude that j ~ −jβ1 −jσ −jσ−2 ~ Tλ(·) f Lp(ℓr,ω) . 2 +2 + µ(2 ) f Lp(ℓr,ω). (3.41) • Step 3: The estimate of Tλ(·). Thus, by (3.10), (3.11) and (3.41), in order to prove Theorem 3.7, it is sufficient to show that ∞ µ(2−jσ−2) < ∞. j=1 X Indeed, we let ϕ ∈ (0, 1), where ϕ will be chosen later. It follows that 2−jσ−(1+ϕ) ∞ ∞ µ(t) µ(2−jσ−2) ≤ (1 − ϕ) ln 2 −1 dt. t j=1 j=1 −jσZ−2 X X 2 m 2−jσ−(1+ϕ) µ(t) N Let us denote that Sm = t dt. We choose n0 ∈ such that j=1 2−jσ−2 n > 1−σ and take ϕ = 1+P1 (1R − σ) ∈ (0, 1). Since ϕ> 1 − σ, we have 0 σ n0 2−mσ−2 < 2−mσ−(1+ϕ) < ... < 2−jσ−2 < 2−jσ−(1+ϕ) < ... < 2−σ−2 < 2−σ−(1+ϕ) < 1. Therefore, 1 µ(t) S ≤ dt. m t 2−mσZ −2 Hence, by (1.10), we estimate 1 ∞ µ(t) µ(2−jσ−2) . dt < ∞, t j=1 X Z0 which completes the proof of Theorem 3.7 for the case f~ ∈ S. Finally, since S is dense in Lp(ℓr,ω), we may also extend the result to the whole of the space Lp(ℓr,ω). The proof of Theorem 3.1. From Lemma 2.5, there exists a real number p0 ∈ (1,p) so that w ∈ Ap0 . Thus, by Theorem 3.7, we have T ∗ f~ ≤ C f~ , (3.42) Lp0 (ℓr,ω) 0 Lp0 (ℓr,ω) VECTOR VALUED MAXIMAL CARLESON OPERATOR 25 ~ p0 r for all f ∈ L (ℓ ,ω). By choosing p1 > p, we imply ω ∈ Ap1 . Thus, using Theorem 3.7 again, we aslo have T ∗ f~ ≤ C f~ , (3.43) Lp1 (ℓr,ω) 1 Lp1 (ℓr,ω) ~ p1 r for all f ∈ L (ℓ ,ω). From (3.42) and (3.43), applying Theorem 2.7, we finish the proof. Remark that, using Theorem 2.7 for the scalar-valued functions, we also have the Lp,q boundedness for the maximal Carleson type operator T ∗ in paper [12] as follows. ′ Theorem 3.8. Suppose that 1 < q ≤ ∞, 1 ≤ q The proof of Theorem 3.2. In step 2.2.3 of Theorem 3.7, we need not to apply Lemma 2.2 of paper [1]. By (3.35), we have Tj jnσ+j(1−θ)σ/2−jδ(1−θ) λ(·) f Lp(dx) . 2 f Lp(dx). (3.44) On the other hand, by assuming ω1+ε ∈ A , using (3.17) and Theorem 2.11 p for the scalar-valued case, we get Tj jnσ λ(·)(f) Lp(ω1+ε) . 2 f Lp(ω1+ε). (3.45) From the inequalities (3.44), (3.45) and applying Theorem 3.5 for θ = ε ∈ 1 1+ε (0, 1), we imply Tj jnσ+j(1−θ)θ1.σ/2−jδ(1−θ)θ1 λ(·) f Lp(ω) . 2 f Lp(ω). Therefore, we have Tj jnσ+j(1−θ)θ1.σ/2−jδ(1−θ)θ1 λ(·) f Lp,∞(ω) . 2 f Lp,1(ω). (3.46) δ(1 − θ)θ1 1 By choosing σ = min , and β1 = − nσ + (1 − θ)θ1σ/2 − 2n + (1 − θ)θ1 2 n o Tj p,1 δ(1 − θ)θ1 , we will have the boundedness of the operators λ(·) on L (ω) space, i.e, Tj −jβ1 λ(·) f Lp,∞(ω) . 2 f Lp,1(ω). It is the biggest difference between Theorem 3.7 and Theorem 3.2 in the proof. The other results are estimated in the same way as Theorem 3.7. Therefore, by Theorem 2.12, Theorem 2.14, Corollary 2.16 for the scalar-valued case and the density of S, we finish the proof of Theorem 3.2 for the whole of the space Lp,1(ω). VECTOR VALUED MAXIMAL CARLESON OPERATOR 26 References [1] Andersen, K. and John, R.,Weighted inequalities for vector-valued maximal functions and singular integrals, Studia Mathematica. 69 (1981), no. 1, 19-31. [2] Benedek, A., Calder´on, A. P. and Panzone, R.,Convolution operators on Banach space valued functions, Proc. Nat. Acad. Sci. USA. 48 (1962), no. 3, 356-365. [3] Bergh, J. and L¨ofstr¨om, J.,Interpolation spaces: an introduction ,Springer-Verlag Berlin Heidelberg New York, 1976. [4] , Blasco, O. and Gregori, P.,Lorentz spaces of vector-valued measures, J. London. Math. Soc. 67 (2003), no. 3, 739-751. [5] Bourgain, J.,Vector-valued Hausdorff-Young inequality and applications, Lecture Notes in Math. 1317 (1988), 239-249. [6] Carleson, L.,On convergence and growth of partial sums of Fourier series, Acta Math. 116 (1966), no. 1, 135-157. [7] Carro, M. J., Raposo, J. A. and Soria, J., Recent developments in the theory of Lorentz spaces and weighted inequalities, Memoirs of the American Mathematical Society, 2007. [8] Coifman, R. and Fefferman, C.,Weighted norm inequalities for maximal functions and singular integrals, Studia Mathematica.51 (1974), no. 3, 241-250. [9] Cordoba, A. and Fefferman, C.,A weighted norm inequality for singular integrals, Studia Mathematica. 57 (1976), no. 1, 97-101. [10] Chung, H. M., Hunt, R. A. and Kurtz, D. S.,The Hardy-Littlewood maximal function on L(p, q) spaces with weights, Indiana Univ. Math. J. 31 (1982), no. 1, 109-120. [11] Chuong, N. M.,Pseudodifferential operators and wavelets over real and p-adic fields, Springer (submitted to the Editor of Springer). [12] Ding, Y. and Liu, H.,Weighted Lp boundedness of Carleson type maximal operators, Proc. Amer. Math. Soc. 140 (2011), no. 8, 2739-2751. [13] Duoandikoetxea, J.,Fourier analysis, American Mathematical Society, Providence, RI, 2001. [14] Fefferman, C.,Pointwise convergence of Fourier series, Ann. of Math. 98 (1973), no. 3, 551-571. [15] Fefferman, C. and Stein, E. M.,Some maximal inequalities, Amer. J. Math. 93 (1971), no. 1, 107-115. [16] Ferreyra, E. V.,On a negative result concerning interpolation with change of measures for Lorentz spaces, Proc. Amer. Math. Soc.125 (1997), no. 5, 1413-1417. [17] Gretsky, N. E. and Uhl, J. J., Jr.,Bounded linear operators on Banach function spaces of vector-valued functions, Trans. Amer. Math. Soc. 167 (1972), 263-277. [18] Garcia-Cuerva, J., Kazarian, K. S., Kolyada, V. I. and Torrea, J. L.,Vector-valued Hausdorff-Young inequality and applications, Russian Math. Surveys. 53 (1998), no. 3, 435-513. [19] Grafakos, L.,Modern Fourier analysis, Springer, 2008. [20] Guo, S., Pierce, L. B., Roos, J. and Yung, P. L.,Polynomial Carleson operators along monomial curves in the plane, J. Geom. Anal. (2017), 1-36. [21] Hunt, R. A., On L(p, q) spaces, Enseignement Math. 12 (1966), no. 2, 249-276. [22] Hunt, R. A., On the convergence of Fourier series, Orthogonal Expansions and their Continuous Analogues (Proc. Conf., Edwardsville, Ill., 1967), Southern Illinois Univ. Press, Carbondale, Ill. (1968), 235-255. [23] Hunt, R. A. and Young, W. S.,A weighted norm inequality for Fourier series, Bull. Amer. Math. Soc. 80 (1974), no. 2, 274-277. VECTOR VALUED MAXIMAL CARLESON OPERATOR 27 [24] Kaneko, M. and Yano, S.,Weighted norm inequalities for singular integrals, J. Math. Soc. Japan. 27 (1975), no. 4, 570-588. [25] Lorentz, G. G.,Some new functional spaces, Ann. of Math. 51 (1950), no. 1, 37-55. [26] Lie, V., On the boundedness of the Carleson operator near L1,Rev. Mat. Iberoam. 29 (2013), no. 4, 1239-1262. [27] Lie, V.,The (weak-L2) boundedness of the quadratic Carleson operator, Geom. Funct. Anal. 19 (2009), no. 2, 457-497. [28] Muckenhoupt, B., Weighted norm inequalities for the Hardy maximal function, Trans. Amer. Math. Soc. 165 (1972), 207-226. [29] Prestini, E. and Sj¨olin, P., A Littlewood-Paley inequality for the Carleson operator ,J. Fourier Anal. Appl.6 (2000), no. 5, 457-466. [30] Plinio, F. D. and Lerner, A. K., On weighted norm inequalities for the Carleson and WalshCarleson operator, J. London. Math. Soc. 90 (2014), no. 2, 654-674. [31] Pierce, L. B. and Yung, P. L., A polynomial Carleson operator along the paraboloid, preprint arXiv:1505.03882 (2015). [32] Sj¨olin, P., Convergence almost everywhere of certain singular integrals and multiple Fourier series, Ark. Mat. 9 (1971), no. 1-2, 65-90. [33] Stein, E. M. and Weiss, G.,Interpolation of operators with change of measures, Trans. Amer. Math. Soc.87 (1958), 159-172. [34] Stein, E. M.,Singular integrals and differentiability properties of functions, Princeton University Press, 1970. [35] Stein, E. M.,Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals , Princeton University Press, 1993. [36] Stein, E. M. and Wainger, S., Oscillatory integrals related to Carleson’s theorem ,Math. Res. Lett. 8 (2001), 789-800. Institute of mathematics, Vietnamese Academy of Science and Technology, Hanoi, Vietnam. E-mail address: [email protected] Shool of Mathematics, Mientrung University of Civil Engineering, Phu Yen, Vietnam. E-mail address: [email protected] Shool of Mathematics, University of Transport and Communications- Cam- pus in Ho Chi Minh City, Vietnam. E-mail address: [email protected]