arxiv: v2 [math.ca] 12 Feb 2012

Transcription

1 WEIGHTED BOUNDS FOR VARIATIONAL WALSH-FOURIER SERIES YEN DO AND MICHAEL LACEY arxiv:2.744v2 [math.ca] 2 Feb 202 Abstract. For < p < and a weight w A p and a function in L p ([0,],w) we show that variational sums with sufficiently large exponents of its Walsh Fourier series are bounded in L p (w). This strengthens a result of Hunt Young and is a weighted extension of a variation norm Carleson theorem of Oberlin Seeger Tao Thiele Wright. The proof uses phase plane analysis and a weighted extension of a variational inequality of Lépingle.. Introduction Let f be a measurable function on [0,]. The Walsh Fourier series sum of f given by f,w k W k (x), k 0 is a dyadic analogue of the Fourier series. We shall recall the definition of the Walsh system of functions (W k ) k 0 in Section 2. It is standard that boundedness in L p of the maximal Walsh-Fourier sum Sf(x) := sup (S n f)(x) S n f(x) := f,w k W k (x), n 0 k n leads to a.e.convergence of the Walsh Fourier series of functions in L p. For < p <, this result holds, and is the Carleson theorem [2] on the pointwise convergence of Fourier series. Also see Hunt [6], for < p < 2, and Sjölin [22] for the Walsh case. We areconcerned with weighted estimates. For < p < recall that a positive a.e.weight w is in A p if the following bound holds uniformly over (dyadic) intervals: [w] Ap := sup I [ w(x)dx I I I I w(x) /(p ) dx] p <. In this paper we prove the following theorems. Below, S n f is assumed 0 for n < 0. Research supported in part by grant NSF-DMS Research supported in part by grant nsf-dms and a grant from the Simons Foundation (# to Michael Lacey).

2 2 YEN DO AND MICHAEL LACEY Theorem.. Let < p < and w A p. Then there is an R = R(p,[w] Ap ) < such that for all r (R, ] we have (.) [ M ] /r sup S Nj f S Nj f r L C f L p (w) M,N 0 < <N p M (w) j= for some constant C depending only on w, p, r. The simpler endpoint case r = of Theorem. is the Walsh-Fourier analogue of a theorem of Hunt and Young [7] (cf. [5] for extensions to more generalized settings). For r <, the estimate (.) gives more quantitative information about the convergence rate of Walsh Fourier series. Theorem. is a consequence of the following more general theorem: Theorem.2. Let < p < and w A q for some q [,p). Then for r (2q, ] such that /r < /q /p, it holds that (.2) sup M,N 0 < <N M ( M S Nj f S Nj f r ) /r L p (w) C f L p (w) j= for some constant C depending only on w, p, q, r. To see how Theorem.2 implies Theorem., take < p < and w A p. Note that the A p condition is an open condition, so for some ǫ > 0, there holds w A p ǫ (see for instance [3]), and then apply Theorem.2 for q = p ǫ. The Fourier case of Theorem.2, corresponding to w A, is a theorem of Oberlin Seeger Tao-Thiele-Wright [9] (cf. [8]). Using this result, one can see that the conclusion of Theorem. must depend upon w A p. Suppose that there is a fixed 0 < r < and < p <, for which (.) holds for all w A p. Using Rubio de Francia s extrapolation theorem, we see that this same inequality would have to hold for w being Lebesgue measure and all < p <. This contradicts the (Fourier) examples that are in [8, Section 2]. The proof of Theorem.2 uses two main ingredients: adaptation of phase plane analysis to weighted settings, and a weighted extension of a classical variational inequality of Lépingle (Lemma 6.). The approach used in this paper is a weighted extension of the approach in [8, 9], and in particular it is different from the elegant approach of Hunt Young [7], who use a good-λ argument to upgrade the boundedness of the Carleson operator (the Fourier analogue of S) in the setting of Lebesgue measure to the settings of A p weights. A naive adaptation of the good-λ approach does not apply to the variational estimates for Carleson s operator. We became interested in new approaches towards boundedness of Walsh Fourier series in weighted settings while investigating questions related to weighted bounds for multilinear oscillatory operators, such as the bilinear Hilbert transform (whose boundedness in the Lebesgue setting is well-known from the work of Lacey and Thiele [9, 0]). To the knowledge of the authors, there hasn t been any adaptation of the Hunt Young approach to the setting of

3 WEIGHTED BOUNDS FOR VARIATIONAL WALSH-FOURIER SERIES 3 multilinear oscillatory operators. Standard approaches towards multilinear oscillatory operators (started with Lacey Thiele [0] and further developed by Muscalu Tao Thiele [4 7]) require detailed analysis on the phase plane, and this motivates us to consider a weighted adaptation of the time-frequency analysis framework. In this paper, we only consider analysis on the Walsh phase plane, which is certainly easier than the Fourier case, although there are qualitative similarities between the two phase planes. Extension of the argument in this paper to the Fourier setting is a nontrivial task. In the weighted setting, there is a lack of L 2 orthogonality for Walsh packets, therefore some changes are needed in the way one proves the so-called size lemma. In fact, we will use a sharp function estimate similar to an argument of Rubio de Francia in [2], one can view this as a substitute for the good-λ argument of Hunt Young in the phase-plane. Our proof of Theorem.2 requires a weighted extension of the Lépingle inequality for variation norms and this is proved in Lemma Walsh functions and Walsh packets We recall standard properties of Walsh functions and Walsh packets below. A good reference is [23]. The Walsh functions W 0 (x),w (x),... are supported in [0,] and can be defined recursively by W 0 (x) = [0,), and for even and odd integers, W 2n (x) = W n (2x) [0, 2 ) +W n(2x ) [ 2,) n W 2n+ (x) = W n (2x) [0, 2 ) W n(2x ) [ 2,) n 0. A dyadic rectangle in R + R +, with area one, is referred to as a tile. The Walsh packet associated with a tile p = [2 j m,2 j (m+)) [2 j n,2 j (n+)) I p ω p is an L 2 normalized function supported in the spatial interval I p := [2 j m,2 j (m+)) and is defined by φ p (x) = 2 j/2 W n (2 j x m). For two tiles p and p 2 such that p p 2, we say that p < p 2 if I p I p2. This clearly implies ω p ω p2, furthermore there is a close connection between the partial order and orthogonality. Two tiles p and p 2 are not ordered under < if and only if the tiles do not intersect in the plane if and only if φ p,φ p2 = 0. Adyadic rectangle of area 2 is referred to as a bitile. We will denote these as capital letters, like P. There is an analog of the partial order < on tiles for bitiles, and we will use the same notation for it. A bitile P can be divided into two tiles having separate frequency intervals, a lower tile denoted by P and an upper tile by P 2. We say that P and P 2 are siblings. The following property of Walsh packets is standard and has been used implicitly in various work on analysis of the Walsh phase plane (cf. [6, 7]). We formulate this property below and sketch a proof for the convenience of the reader, and since we will use it several times. We would like to point out that Xiaochun Li [2] has some unpublished results about weighted estimates for the bilinear Hilbert transform.

4 4 YEN DO AND MICHAEL LACEY Lemma 2.. Suppose that two tiles p and p are siblings and q is another tile such that p < q. Let I be the common time interval of p and p. Then there exist two constants c p,q and c p,q such that φ p (x) = c p,q I (x)φ q (x) φ p (x) = c p,q I /2 h I (x)φ q (x) where h I is the Haar function associated with the dyadic interval I. Note that one can easily compute the absolute values of c p,q and c p,q: c p,q = c p,q = I q /2 I /2. Sketch of proof. Forthefirst property, by induction one canassume I q = 2 I p, in which case it follows from the recursive definition of W n (cf. [23]). For the second property, note also that by definition W 2n+ (x) = W 2n (x)h [0,) (x), so after appropriate scaling and modulation, it is clear that there is some constant α {,} such that φ p (x) = α I /2 h I (x)φ p (x). 3. Discretization For any collection P of bitiles and any r [, ), let ( M C r,p f(x) := sup ) /r. P φ P (x) {Nj ω P, N j ω P2 } M,N 0 < <N M P P f,φ r j= A symmetric variant of C r,p can be obtained by using the limiting conditions {N j ω P,N j ω P } in the above expression. In the rest of the paper we ll always assume that r < and r > 2q, and q >. These assumptions are without loss of generality. Via a standard argument (cf. [23]), Theorem.2 follows from the following theorem and its symmetric variant (whose proof is completely analogous). Theorem 3.. There is a constant C = C(w,p,qr) > 0 such that for any collection P of bitiles we have (3.) C r,p f L p (w) C f L p (w) for all p (q, ) such that /r > /q /p. By duality (cf. [8]), it suffices to show (3.) for the following linearized variant of C r,p (we ll omit the dependence on r for simplicity): (C P f)(x) = M(x) j= f,φ P φ P (x) {Nj (x) ω P, N j (x) ω P2 }a j (x), P P

5 WEIGHTED BOUNDS FOR VARIATIONAL WALSH-FOURIER SERIES 5 M(x) j= a j (x) r =. In the following, we denote a P (x) = M(x) j= a j(x) {Nj (x) ω P, N j (x) ω P2 }. Let B P (f,g) := P P f,φ P φ P a P, gw. Also, denote w(g) := w(x)dx for any set G. We say that K G is a major subset of G G if w(k) > w(g)/2 and we say it has full measure if w(k) = w(g). We ll show that Proposition 3.. Let F and G be two sets with w(f), w(g) <. Then there exists F and G, major subsets of F and G respectively such that: (i) at least one of them has full measure, and (ii) for any f F and g G and any collection of bitiles P we have (3.2) B P (f,g) Cw(F) /p w(g) /p for all p (q, ) such that /r > /q /p. Via restricted weak-type interpolation, the above proposition implies B P (f,g) C f L p (w) g L p (w) p > q where C depends only on p,q,r,w and there is no restriction on f or g, and this in turn implies Theorem 3.. It remains to show Proposition Decomposition of P To prove Proposition 3., as is now standard, P will be decomposed into more refined subcollections, so that the bilinear sum B associated with each such subcollection can be estimated more effectively. For this purpose, two standard measurements, size and density, are associated with each collection. In this section we formulate our weighted adaptations of these notions. To formulate size, we first recall the definition of trees. Definition 4. (Tree). Let P T be a bitile. A tree T with tree top P T is a finite collection of bitiles such that P < P T for any P T. Writing P T = I T ω T, we will refer to I T as the top interval of T. A tree is called - overlapping if the lower tile P of every P T is less than the lower tile of the tree top. Similarly, a tree is 2-overlapping if every upper tile P 2 is less than the upper tile of the tree top. Clearly any tree can be decomposed into two trees, one of each type. [ In the following, let S T f(x) := P T f,φ P 2 I /2. P I P ]

6 6 YEN DO AND MICHAEL LACEY Definition 4.2 (Size). The size of a collection of bitiles P is the best constant C such that: for any 2-overlapping tree T P we have S T f Cw(I T ) 2. L 2 (w) We will denote the size of P by size(p). It is clear that for w one recovers the standard definition of size (cf. [9,7]). Definition 4.3 (Density). The density of a collection P of bitiles is ( ) /r density(p) := sup sup g(x) r a k (x) r w(x)dx. P PQ>P w(i Q ) I Q k:n k (x) ω Q Since g G. it is clear that the density of any collection is bounded above by. 4.. Size bounds. In this section, we show the following bound, which is a variant of [7, Lemma 4.5]. Lemma 4.4. If w is in A q then ( w(ip F) ) /q. (4.) size(p) C sup P P w(i P ) The proof of Lemma 4.4 relies on the following BMO characterization of size, which is a variant of [7, Lemma 4.2]. Lemma 4.5. For any collection P of bitiles and any < p < we have (4.2) sup T P w(i T ) /p S Tf L p (w) p sup T P the suprema are over 2-overlapping trees. w(i T ) S Tf L, (w) Proof. Since S T f is supported in I T, the right hand side in (4.2) is clearly bounded above by the left hand side. For the other direction, one can freely assume that P is finite. Denote the left hand side of (4.2) by σ, which is now finite. Let T P be a 2-overlapping tree such that (4.3) S T f L p (w) σ 2 w(i T) p. We will show that the L, (w) norm of S T f, tested at height λ σ, dominates w(i T )σ. For any dyadic interval I, by definition of σ we have ( f,φ P 2 p/2 I P L σ I P ) p w(i). (w) P T,I P I Note that the integrand on the left hand side is supported in I. Now, fix λ > 0 and let T := {P T : I P {S T f > λ}}.

7 WEIGHTED BOUNDS FOR VARIATIONAL WALSH-FOURIER SERIES 7 By dividing {S T f > λ} into maximal dyadic components and applying the last estimate for each such interval, after summing we obtain (4.4) (S Tf) p L (w) σ p w({s T f > λ}) On the other hand, it is not hard to see that S T\ Tf λ. Indeed, one only needs to show that for any maximal dyadic component I of {S T f > λ} and any x I we have S T\ Tf(x) λ. Let J be the dyadic parent of I. By definition of T, one can write S T\ Tf(x) = S TJ f(x), T J := {P T : J I P }. Clearly S TJ f is constant on J and J has nontrivial intersection with {S T f λ}. Therefore S TJ f(x) = inf y J S T J f(y) inf y J S Tf(y) λ. Since S T f is supported inside I T, using (4.3) and (4.4) and the above L bound, we have σ p w(i T ) 2 p (S T f) p L (w) Cλ p w(i T )+Cσ p w({s T f > λ}). Letting λ = σ/c for some large C, we obtain the desired estimate: for some c > 0, cσw(i T ) λw({s T f > λ}) S T f L, (w). Proof of Lemma 4.4 using Lemma 4.5. By Lemma 4.5, it suffices to show ( S T (f) L q (w) Cw(I T ) /q w(ip F) ) /q sup P T w(i P ) for each 2-overlapping tree T. One can assume that T contains its top element, in which case we will show: S T (f) L q (w) Cw(I T F) /q. Let (ǫ P ) P T be a random sequence of and, then it suffices to show the following uniform estimate (over ǫ): T ǫ f L q (w) C f L q (w) T ǫ f := ǫ P f,φ P φ P. P T By the 2-overlapping property of T, by Lemma 2., we can rewrite T ǫ as (T ǫ f)(x) = I T ǫ P fφ PT,h IP h IP (x)φ PT (x) P T where φ PT is the Walsh packet associated to the upper tile of the top of the tree. Therefore the desired bound for T ǫ follows from standard properties of the martingale transform (cf. [24]).

8 8 YEN DO AND MICHAEL LACEY 4.2. Tree selection by size. The decomposition of the collection P is done via selection of trees of comparable size and density. The following Lemma allows for selection of trees based on size. Recall that < q <, and w A q. Lemma 4.6. Let P be a collection of bitiles with σ = size(p) <. Then there exists a subcollection P P with size(p ) < σ/2 such that P\P can be written as a union of trees, P\P = T TT, with w(i T ) Cσ 2q w(f). T T The constant C depends upon q and [w] Aq. This proof, especially the appeal to the sharp function below, is much easier to complete in the Walsh setting. We note that the usual approach (cf. [0]) relies on some orthogonality of the packets in L 2, and this is not necessarily true for non-lebesgue weights w. Our proof strategy for Lemma 4.6 is derived from Rubio de Francia s argument [2]. Proof. By the standard selection algorithm (cf. [0] or [7] which is closer to the dyadic setting of this paper), one can find a collection of trees T such that the following conditions hold. Each T T contains a 2-overlapping tree T 2 such that S T2 f L 2 (w) σ 2 ω(i T) 2 T T size(p\ T) < σ/2. T T Furthermore, the selection algorithm ensures that the tiles in the collection D := {P : P T T T 2} are pairwise disjoint tiles in the phase plane. It remains to bound the sum over T T of w(i T ) s. Using Hölder s inequality, we have therefore S T2 f L 2q (w) σ 2 ω(i T) 2q w(i T ) Cσ 2q (S T2 f) 2q L (w) T T T T Cσ 2q ( ) q (S T2 f) 2 L (w) T T = Cσ 2q ( p D f,φ p 2 ) I /2 p 2q. I p L 2q (w) Let S D f denote the square sum inside the last L 2q norm. We will show (4.5) (S D f) CM 2 f

9 WEIGHTED BOUNDS FOR VARIATIONAL WALSH-FOURIER SERIES 9 where the left hand side is the dyadic sharp maximal function of S D f, and ( /2. M 2 f(x) := sup f(x) dx) 2 I:x I I Since q > and w A q, (4.5) implies the desired estimate: S D f 2q L 2q (w) C q,w (S D f) 2q L 2q (w) C M 2 f 2q L 2q (w) C f 2q L 2q (w) Cw(F). Note that we are appealing to g L 2q (w) C q,w g L 2q (w), and in the second inequality we used boundedness of the maximal function on L q (w). It remains to show (4.5). Take a dyadic interval J and x J. In the definition of the sharp maximal function, we are permitted to subtract off a constant, and we will take that constant to be ( c J = f,φ p 2 I p p D:J I p I ) /2. Then via Hölder s inequality, we have [ ] 2 S D (f) c J dy S D (f) 2 c 2 J J J J dy J f J,φ p 2 J This proves (4.5). J p D J f(y) 2 dy M f 2 (x). We shall also need the following result (cf. [8, Proposition 4.3]). Lemma 4.7. The collection of trees selected in Lemma 4.6 also satisfies for any p (, ): L (4.6) IT Cσ 2q w(f) p, p (w) T T and if P = S SS is another tree decomposition of P then (4.7) T ) T Tw(I C w(i S ). S S The last condition quantifies an efficient aspect of the tree selection algorithm. Proof. We first prove (4.6). Let M w be the weighted maximal function. M w f(x) = sup f(y) w(dy). I:x I w(i) I

10 0 YEN DO AND MICHAEL LACEY Let N = T T I T, then it suffices to show the good λ inequality (4.8) w({n > λ,m w F cσ 2q λ}) w({n > λ/2}) 000 for some small absolute constant c > 0. Indeed, it follows from (4.8) that N p L p (w) = pλ p w({n > λ})dλ C 0 0 pλ p w({m w F > cσ 2q λ})dλ = Cσ 2pq M w F p L p (w) Cσ 2pq F p L p (w) = Cσ 2pq w(f). To prove (4.8), decompose {N > λ/2} into maximal dyadic intervals, and it suffices to show that for any such maximal I with nontrivial intersection with {M w F cσ 2q λ} we have w({x I : N(x) > λ}) 000 w(i). Let T I = {T T : I T I}. Then the argument in Lemma 4.6 applied to f I gives w(i T ) Cσ 2q w(f I) Cw(I)σ 2q inf (M w F )(x) x I T T I if c is chosen sufficiently small. Consequently, for N I := T T I IT we have Cw(I)σ 2q c 2q σ 2q λ λw(i)/4000 w({n I > λ/4}) 4λ N I L (w) I /000. Now, N N I is constant on the parent π(i) of I, is dominated by inf x π(i) N(x), which in turn is less than λ/2 by maximality of I. Thus {x I : N(x) > λ} {x I : N I (x) > λ/4} and (4.8) follows. Now we ll show (4.7). By the selection algorithm, we have T ) Cσ T Tw(I 2 f,φ P 2 IP I P w(x)dx T T P T 2 = Cσ 2 f,φ P 2w(I P), I P D P where D := T 2. We ll show that P D T T f,φ P 2w(I P) I P Cσ 2 S Sw(I S )

11 WEIGHTED BOUNDS FOR VARIATIONAL WALSH-FOURIER SERIES and that will complete the proof of (4.7). Now, for any tree S S we can decompose S D into two trees S and S 2 with the same top interval, where S is -overlapping and S 2 is 2-overlapping. Clearly S S (S S 2 ) = D. By given assumption, we have σ size(s 2 ) w(i S ) /2( f,φ P 2 IP I P S P w(x)dx)/2 2 therefore (4.9) f,φ P 2w(I P) Cσ 2 w(i S ). I P S P 2 On the other hand, the selection algorithm ensures that the -tile of any two elements of D are disjoint. Therefore each S contains only spatially disjoint elements. If P S then w(i P ) f,φ P 2w(I P) [size({p})] 2 σ 2 I P so we obtain (4.0) f,φ P 2w(I P) Cσ 2 w(i P ) Cσ 2 w(i S ). I P S P P S Summing over S S of (4.0) and (4.9) we obtain the desired estimate Tree selection by density. The proof of the next Lemma follows from standard arguments, we omit details (cf. [0]). Lemma 4.8. Let λ > 0 and let P be a collection of bitiles. Then there is an P P with size(p ) < λ/2 such that P\P can be written as a union of trees P\P = T T T with w(i T ) Cλ r w(g). T T 5. The tree estimate The estimates of the bilinear sums B P are based on the following estimate: Lemma 5.. Let T be a tree, then for any s [,r ] we have (5.) gc T f L s (w) Cw(T) /s size(t)density(t). Proof. By Hölder s inequality it suffices to show (5.) for s = r. By dividing T into two subtrees, if necessary, we can assume that the tree is either -overlapping or 2-overlapping. We will return to this dichotomy below. Let J be the set of maximal dyadic intervals inside I T that does not contain any I P for P T. This collection partitions I T, and we rewrite the left hand side of (5.) as ( ) /r (C T f)(x)g(x) r w(x)dx. J J J

12 2 YEN DO AND MICHAEL LACEY Fix J J. By maximality of J, there is some P J T such that I PJ π(i), where π(j) is the dyadic parent of J. It is clear that there is a bitile Q J such that P J < Q J I QJ = π(j). In particular, w QJ w PT. On the other hand, again by maximality of J, for any P T such that I P J we have J I P. Consequently, w P w QJ for those P s, thus (5.2) ω P2 ω QJ. P T:I P J Furthermore, it is clear that (5.3) a k (x)g(x) r w(x)dx Cw(J)density(T) r. J k:n k (x) ω QJ Here, the constant C depends upon the doubling property of w, which is controlled by [w] Aq. Case : T is -overlapping. Then the tiles {P 2 : P T} are disjoint. Then by monotonicity of N k s, for any x there is at most one P T such that there is a k [,M(x)] satisfying both (x,n k (x)) P 2 and (x,n k (x)) P. Clearly, such k if exists is unique. Consequently, using (5.2) and (5.3) we have ( ) /r (C T f)(x)g(x) r w(x)dx J J J f,φ P ( C sup P T I P /2 J J J f,φ P C sup P T ( = C sup P T w(i P ) I P /2 density(t) ) /r sup a k (x) {Nk (x) ω QJ }g(x) r w(x)dx k ( J J [ f,φ P 2 I P I P Cw(I T ) /r size(t)density(t). ) /r w(j) ] ) 2 w(x)dx density(t)w(i T ) /r Case 2: T is 2-overlapping. From Lemma 2., it follows that we can write P φ P = φ PT I T P T f,φ /2 ǫ P f,φ P h IP P T here ǫ P = ±ǫ P and the sign depends on the sign of the implicit constant in the application of Lemma 2.. Also, φ PT is the Walsh packet associated to the upper tile of the top of the tree, so that φ PT I T /2 =. In particular, we can ignore this term in the considerations below. For convenience, below we denote ϕ T = P T ǫ P f,φ P h IP. Now, for convenience denote by j the projection of a function onto the space generated by Haar functions adapted to dyadic intervals of length 2 j. The function ϕ T, being a linear

13 WEIGHTED BOUNDS FOR VARIATIONAL WALSH-FOURIER SERIES 3 combination of Haar functions, satisfies the familiar identity below, for any dyadic interval K: ǫ P f,φ P h = IP log2 K (ϕ T ), and is locally constant on K. P T K I P Now, since T is a tree, the intervals ω P for P T are clearly nested. Furthermore, the 2-overlapping property of T means that the intervals ω P2 for P T are also nested. Hence, if N ω P2, then N ω P 2 for all tiles P T with I P I P, and if N ω P then N ω P for all P T with I P I P. Combining these observations, for any J J we can find measurable functions defined on J τ M (x) < ξ M (x) τ (x) < ξ (x) τ 0 (x) < ξ 0 (x) log 2 J such that for any x J: M(x) P f,φ P h IP (x)a k (x) {Nk (x) ω P,N k (x) ω P2 } k= P T:J I P ǫ = ( j ϕ T )(x) a k (x) k τ k (x)<j ξ k (x) ( ) /r ( ( j ϕ T )(x) r a k (x) r ) /r = where ϕ T V r := k [ J τ k (x)<j ξ k (x) J ( k τ k (x)<j ξ k (x) M J ( ϕ T V r) ( ) /r a k (x) r ( sup m,n 0 < <n m k m k k ( j ϕ T )(y) r) ][ /r dy a k (x) r ] /r ; ) /r ( j ϕ T ) r. n k < n k Thus, using (5.2) and (5.3), we obtain ( C T (f)g L r (w) C M J (ϕ T ) r w(j)density(t) r ) /r J J C IT M(ϕ T ) L r (w) density(t) Cw(I T ) r 2q M( ϕt V r) L 2q (w)density(t) (using 2q > 2 > r ) Cw(I T ) r 2q ϕt V r L 2q (w)density(t) (using w A q A 2q ) Cw(I T ) r 2q ϕt L 2q (w)density(t). The last inequality depends upon the weighted variant of an inequality of Lépingle taken up in the next section. k

14 4 YEN DO AND MICHAEL LACEY Now, by a standard duality argument and boundedness of the dyadic square function on L 2q (w) (cf. [24]) one has ϕ T L 2q (w) C S(ϕ T ) L 2q (w) where S(g) := ( I g,h I 2 I )/2, and the constant above depends upon q and w. Using Lemma 2. and the fact that T is a tree, we obtain S(ϕ T ) = S T f. Lemma 5. now follows, using the BMO characterization of size proved in Lemma A weighted Lépingle inequality For each i let i be the projection onto the space of Haar functions adapted to dyadic intervals of length 2 i : i f = I: I =2 i f,h I h I. In this section we prove the following extension of an inequality of Lépingle [] (cf. [,8,20]). Lemma 6.. Let < p <, w A p and r > 2. Then for any function f we have ( M (6.) sup M,N 0 <N < <N M k= ) /r L j f r p (w) C f L p (w). N k <j N k Furthermore, the following endpoint estimate holds uniformly over λ > 0: (6.2) λm /2 λ L p (w) C f L p (w), M λ (x) := sup {k : j f > λ}. M,N 0 <N < <N M N k <j N k The considerations in the proof are of a standard nature. Proof. We first show that (6.2) implies (6.) using an argument in [3] (cf. []). By standard arguments, we can remove the supremum in the estimates and assume instead that M,N 0 < < N M are measurable functions of x. It suffices to show that if w A p then w({v r f > λ}) Cλ p f p L p (w), from this the desired strong bound follows from interpolation (exploiting the reverse Hölder property and the nesting property of A p classes). Via scaling invariant, one can assume f L p (w) =, and let a k denote N k <j N k j f. Then on the set E = {x : sup a k (x) > λ} k one has M λ (x) = {k : a k > λ}, thus using (6.2) one has (6.3) w(e) M λ (x) p/2 w(x) Cλ p f p L p (w) = Cλ p.

15 WEIGHTED BOUNDS FOR VARIATIONAL WALSH-FOURIER SERIES 5 On E c, for any ǫ > 0 one has ( [V r f(x)] r/2 C (2 n λ) r M 2 n λ(x) By triangle inequality, it follows that n<0 ) /2 C n<02 n( ǫ)r/2 λ r/2 M 2 n λ(x) /2 any ǫ > 0. w({v r f > λ} E c ) λ pr/2 E c(v r f) r/2 p L p (w) ( ) p Cλ pr/2 2 n( ǫ)r/2 λ r/2 M /2 2 n λ L p (w) n<0 ( p Cλ pr/2 2 n( ǫ)r/2 λ r/2 (2 n λ) f L (w)) p (using (6.2)) n<0 Choosing ǫ > 0 small one can ensure that ( ǫ)r/2 >. It follows that (6.4) w({v r f > λ} E c ) Cλ pr/2 (λ r/2 λ f L p (w)) p = Cλ p. The desired estimate now follows from (6.3) and (6.4). We now show (6.2). Fix λ > 0. It suffices to show that for N 0 (x) < N (x) <... we have ( {k : ( j f)(x) > λ} ) /2 L Cλ f L p (w), p (w) N k (x)<j N k (x) furthermore by a standard argument (see for instance [] or [8]) one can assume that N k (x) are stopping times with respect to the dyadic martingale in R. Here, a function N(x) is a stopping time if the level set {x : N(x) = k} is an union of standard dyadic intervals of length 2 k. With this assumption, we ll show the following stronger estimate ( ( j f)(x) 2) /2 L C f L p (w), p (w) k N k (x)<j N k (x) and by randomization it suffices to prove for any random sequence ǫ k = ±: (6.5) ( j f)(x) C f L p (w). L p (w) k ǫ k N k (x)<j N k (x) Take any k. Let T k be the set of dyadic intervals I such that (i) N k is constant on I, and (ii) for any x I the interval I has length at most 2 Nk(x). By the stopping time property of N k and by the increasing property of N k s, it is clear that T k T k, and define T k = T k \T k. One now writes ( j f)(x) = f,h I h I (x) I T k N k (x)<j N k (x)

16 6 YEN DO AND MICHAEL LACEY and (6.5) follows from boundedness of the martingale transform in the A p setting (cf. [24]). 7. Proof of Proposition 3. Withoutlossofgeneralityassumew(F) > 0andw(G) > 0andfurthermoremax(w(F),w(G)) =. The major subsets will be defined using the weighted dyadic maximal function M w f(x) := sup w(i) f w(dx). I : x I I M w bounded from L, (w) to L (w), for any weight, with norm. Case : w(f) w(g). It follows that w(g) = max(w(f),w(g)) =. We define F = F and { } G := G\ M w F > Cw(F) for some large constant C. Assume without loss of generality that I P F where P P. Thus, by Lemma 4.4 we have ) (7.) σ := size(p) Cmin (,w(f) /q. Let τ = w(f) /2q. By recursive applications of Lemma 4.6 and Lemma 4.8, we can divide P = n Z P n such that P n = T T n T is an union of trees satisfying: T T n w(i T ) 2 n size(p n ) Cmin(σ,2 n/(2q) τ), density(p n ) Cmin(,2 n/r ). Applying the tree estimate (5.) (with s = ), we have B P (f,g) C w(i T )size(t)density(t) n Z T T n We show that for any 2q/r < η < we have ( (7.2) 2 n min σ,2 n/(2q) τ n C n Z2 n min(σ,2 n 2q τ)min(,2 n/r ) ) min (,2 n/r ) Cσ η τ η. This will imply the desired bound (3.2) for B P (f,g), as one can select η very close to 2q/r and use (7.) to obtain B P (f,g G) Cσ η τ η Cw(F) (/q)( η/2) Cw(F) /p = Cw(F) /p w(g) /p for any p such that <. Here, we used the assumption that w(f). p q r

17 WEIGHTED BOUNDS FOR VARIATIONAL WALSH-FOURIER SERIES 7 It remains to show (7.2). Take any α,β [0,], we estimate the left hand side of (7.2) by Cσ ( 2 n min,2 n/(2q)τ ) αmin (,2 n/r ) β σ n Cσ ( 2 n min,2 αn/(2q) 2 βn/r ( τ ) α ) σ n The condition r > 2q ensures that there exists α,β [0,] satisfying (7.3) α 2q + β r >. If α,β are such, the last estimate is a two sided geometric series, so is controlled by the largest term, which is about the size of ( τ α β/(r Cσ σ) )+α/(2q) = Cσ η τ η α η := β/(r )+α/(2q). Varying α,β in [0,] respecting (7.3), one can get any η ( 2q r,). Case 2: w(f) > w(g). It follows that w(f) = max(w(f),w(g)) =. We choose G = G and { } F = F \ M w ( G ) > Cw(G) for some large constant C. It follows that density(p) Cw(G) /r. while clearly size(p) C. By recursive applications of Lemma 4.6 and Lemma 4.8 we decompose P = n Z P n such that P n = T T n T is a union of trees satisfying T T n w(i T ) 2 n size(p n ) C2 n 2q density(p n ) C2 n/r w(g) /r. Wenow use Lemma 4.7 and decompose P n into k 0 P n,k such that each P n,k = T T n,k T is a union of trees, with size(p n,k ) C2 (n+k)/(2q), T T n,k IT L p (w) C2 n+k w(f) /p = C2 n+k, T T n,k IT L (w) C T T n w(i T ) 2 n.

18 8 YEN DO AND MICHAEL LACEY By interpolation of the last two estimates (use p large in the first), we obtain (7.4) IT L p ǫ (w) C2 k/p 2 n. T T n,k It follows that B Pn,k (f,g) = T T n,k IT ( C f,φ P φ P a P (x)g(x)w(x)dx P T T T n,k IT For p very large we estimate this by C ( (7.5) T T n,k IT ) /r L p ǫ (w) ) /r ( T T n,k ( T T n,k f,φ P φ P a P (x)g(x) r ) /r w(x)dx P T ) /r f,φ P φ P a P (x)g(x) r L (p ǫ) (w) We ll choose p very large such that p ǫ > r. Since the function inside the L (p ǫ) (w) norm is supported in G, by Hölder s inequality we can estimate the second factor by w(g) /(p ǫ) /r ( ) /r f,φ P φ P a P (x)g(x) r L r (w) T T n,k = w(g) /(p ǫ) /r ( f,φ P φ P a P (x)g(x) r L r (w) T T n,k P T and using the tree estimate (5.) we can estimate the above expression by w(g) /(p ǫ) /r ( ) /r w(i T ) size(p n,k )density(p n,k ) T T n,k P T P T ) /r w(g) /(p ǫ) /r 2 n/r 2 (n+k)/(2q) min ( 2 n/r w(g) /r,density(p) ). Since density(p) Cw(G) /r, the above expression is controlled by Cw(G) /(p ǫ) 2 (n+k)/(2q) min(,2 n/r ). Using (7.4), we obtain an estimate for the first factor in (7.5): ( ) /r IT = IT L p ǫ (w) T T n,k T T n,k Therefore C2 n/r 2 (/r /p)k. /r L (p ǫ)/r (w) B Pn,k (f,g) Cw(G) /(p ǫ) 2 n/r 2 (/r /p)k 2 (n+k)/(2q) min(,2 n/r ). Note that r > 2q by given assumption, so we always have r < p + 2q.

19 WEIGHTED BOUNDS FOR VARIATIONAL WALSH-FOURIER SERIES 9 Then summing over k 0, we obtain Finally, summing over n Z we obtain B Pn (f,g) Cw(G) /(p ǫ) 2 n(/r /(2q)) min(,2 n/r ). B P (f,g) Cw(G) /(p ǫ) n Z2 n(/r /(2q)) min(,2 n/r ) and this is a two-sided geometric series and it converges since /r /(2q) < 0 and /r + /r /(2q) > 0. Thus, the series is dominated by its largest term, which is about the size of Cw(G) /(p ǫ) Since 0 < w(g) < and since we can choose p < arbitrarily large, it follows that for any finite p, B P (f,g) Cw(G) /p = Cw(F) /p w(g) /p, and this completes the proof of Proposition 3.. References [] J. Bourgain, Pointwise ergodic theorems for arithmetic sets, Inst. Hautes Études Sci. Publ. Math. 69 (989), With an appendix by the author, Harry Furstenberg, Yitzhak Katznelson and Donald S. Ornstein. MR09960 (90k:28030) [2] L. Carleson, On convergence and growth of partial sums of Fourier series, Acta Math. 6 (966), MR09963 (33 #7774) [3] Y. Do, C. Muscalu, and C. Thiele, Variational estimates for paraproducts, Rev. Mat. Iberoamericana (to appear). [4] C. Fefferman, Pointwise convergence of Fourier series, Ann. of Math. (2) 98 (973), MR (49 #5676) [5] L. Grafakos, J. M. Martell, and F. Soria, Weighted norm inequalities for maximally modulated singular integral operators, Math. Ann. 33 (2005), no. 2, , DOI 0.007/s MR25460 (2005k:42037) [6] R. A. Hunt, On the convergence of Fourier series, Orthogonal Expansions and their Continuous Analogues (Proc. Conf., Edwardsville, Ill., 967), Southern Illinois Univ. Press, Carbondale, Ill., 968, pp MR (38 #6296) [7] R. A. Hunt and W. S. Young, A weighted norm inequality for Fourier series, Bull. Amer. Math. Soc. 80 (974), MR (49 #349) [8] R. L. Jones, A. Seeger, and J. Wright, Strong variational and jump inequalities in harmonic analysis, Trans. Amer. Math. Soc. 360 (2008), no. 2, , DOI 0.090/S MR (200b:4207) [9] M. Lacey and C. Thiele, On Calderón s conjecture, Ann. of Math. (2) 49 (999), no. 2, , DOI /2097. MR (2000d:42003) [0] M. T. Lacey and C. Thiele, A proof of boundedness of the Carleson operator, Math. Res. Lett. 7 (2000), no. 4, [] D. Lépingle, La variation d ordre p des semi-martingales, Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 36 (976), no. 4, (French). MR (54 #8849) [2] X. Li, Personal communication. [3] B. Muckenhoupt, Weighted norm inequalities for the Hardy maximal function, Trans. Amer. Math. Soc. 65 (972), MR (45 #246)

20 20 YEN DO AND MICHAEL LACEY [4] C. Muscalu, T. Tao, and C. Thiele, The bi-carleson operator, Geom. Funct. Anal. 6 (2006), no., , DOI 0.007/s z. MR (2007a:42008) [5] C. Muscalu, T. Tao, and C. Thiele, L p estimates for the biest. II. The Fourier case, Math. Ann. 329 (2004), no. 3, MR (2005k:42054) [6] C. Muscalu, T. Tao, and C. Thiele, A discrete model for the bi-carleson operator, Geom. Funct. Anal. 2 (2002), no. 6, , DOI 0.007/s MR95293 (2004b:42043) [7] C. Muscalu, T. Tao, and C. Thiele, L p estimates for the biest. I. The Walsh case, Math. Ann. 329 (2004), no. 3, MR (2005k:42053) [8] R. Oberlin, A. Seeger, T. Tao, C. Thiele, and J. Wright, A variation norm Carleson theorem, JEMS (to appear). [9], A variation norm Carleson theorem: Walsh case. [20] G. Pisier and Q. H. Xu, The strong p-variation of martingales and orthogonal series, Probab. Theory Related Fields 77 (988), no. 4, , DOI 0.007/BF MR (89d:60086) [2] J. L. Rubio de Francia, A Littlewood-Paley inequality for arbitrary intervals, Rev. Mat. Iberoamericana (985), no. 2, 4. MR85068 (87j:42057) [22] P. Sjölin, An inequality of Paley and convergence a.e. of Walsh-Fourier series., Ark. Mat. 7 (969), (969). MR (39 #3222) [23] C. Thiele, Time-Frequency Analysis in the Discrete Phase Plane, PhD thesis, Yale (995). [24] J. Wittwer, A sharp estimate on the norm of the martingale transform, Math. Res. Lett. 7 (2000), no., 2. MR (200e:42022) Department of Mathematics, Yale University, New Haven CT 065, USA address: yenquang.do@yale.edu School of Mathematics, Georgia Institute of Technology, Atlanta GA 30332, USA address: lacey@math.gatech.edu