V. CHOUSIONIS AND X. TOLSA
|
|
- Miranda Garrison
- 6 years ago
- Views:
Transcription
1 THE T THEOEM V. CHOUSIONIS AND X. TOLSA Introduction These are the notes of a short course given by X. Tolsa at the Universitat Autònoma de Barcelona between November and December of 202. The notes have been typed by V. Chousionis. We present a dyadic proof of the classical T theorem of David and Journé. We have preferred to state the T theorem in terms of the boundedness over characteristic functions of cubes rather than in terms of the typical conditions T, T BMO, which is the usual approach in the literature. Nevertheless, no attempt at originality is claimed. The notation used below is standard. We use the shortcuts L p or C for L p ( n ) or C ( n ), as well as other analogous terminology. As usual, the letter C denotes some constant that may change its value at different occurrences, and typically depends on some absolute constants and other fixed parameters.. Statement and reductions A kernel K : n n \ {(x, y) : x = y} is called Calderón-Zygmund standard, or simply standard, if there exist constants C, δ > 0 such that for all distinct x, y n and for all x such that x x x y, 2 () K(x, y) C x y n (2) K(x, y) K(x, y) + K(y, x) + K(y, x ) C x x δ. x y n+δ From now on K will always denote a standard kernel. Given a function f C0 we define Tf(x) = K(x, y)f(y)dy for x / supp(f). We then say that T is Calderón-Zygmund operator (CZO) with kernel K(, ). If f L p, for some < p <, we define the truncated singular integrals T ε associated with the standard kernel K by T ε (f)(x) = K(x, y)f(y)dy. x y >ε The operator T is said to be bounded in L 2 if there exists some constant C not depending on ε such that T ε (f) 2 C f 2
2 2 V. CHOUSIONIS AND X. TOLSA for all f L 2. The definition of the L 2 boundedness of T in terms of the truncated operators T ε is convenient because it avoids the delicate question of the existence of principal values for Tf. By T we denote the CZO associated with the kernel K(x, y) = K(y, x), furthermore it holds that, for f, g C 0, T ε f, g = f, T εg. The following theorem provides checkable criteria for the L 2 -boundedness of CZO s. Theorem (David-Journé). Let T be a CZO as above. Then T is bounded in L 2 if and only if there exists some constant C > 0 such that () sup ε>0 T ε χ Q 2 Cm(Q) /2 (2) sup ε>0 T ε χ Q 2 Cm(Q) /2 for all cubes Q. The first step consists of regularizing the kernel. We define a function ϕ :, ϕ C, 0 ϕ, such that ϕ = 0 in [ /2, /2] and ϕ = in \ [, ]. Given the function ϕ we regularize the kernel K at level ε by ( ) x y K ε (x, y) = K(x, y)ϕ. ε Notice that K ε (x, y) = K(x, y) when x y > ε and K ε (x, y) = 0 when x y ε. 2 It follows easily that K is also a standard kernel with constants not depending on ε. Next we consider the operators associated to K ε T ε f(x) = K ε (x, y)f(y)dy. Notice that, for K ε (x, y) = K(x, y)χ {r: r >ε} ( x y ), T ε f(x) T ε f(x) K ε (x, y) K ε (x, y) f(y) dy ε 2 < x y <ε C f(y) dy CMf(x) (ε/2) n x y <ε where M denotes the usual Hardy-Littlewood maximal operator. Since M is bounded in L p for all < p we deduce that T ε is bounded in L p, uniformly on ε, if and only if the operators T ε are bounded in L p uniformly on ε. In the same manner, for > 2ε, we can define the kernels ( x y K ε, (x, y) = ϕ ε and the corresponding operators T ε, f(x) = ) ( ϕ ( x y K ε, (x, y)f(y)dy. )) K(x, y),
3 THE T THEOEM 3 Since > 2ε it follows that T ε, = T ε T therefore if T ε : L p L p is bounded for all ε > 0 then T ε, is bounded as well for all positive, ε such that > 2ε. Furthermore if T ε, is bounded in L 2 uniformly on ε and then T ε is bounded uniformly on ε. To see this let f L 2 with compact support and notice that the functions in L 2 with compact support are dense in L 2. Then T ε f(x) = K ε (x, y)f(y)dy + K ε (x, y)f(y)dy, x y x y > and the second term tends to 0 as. Therefore we can choose > 0 large enough such that T ε (f) 2 C f 2. Hence by density this operator uniquely extends to a bounded operator in L 2 with the same bounds. Now note that for f L 2 all x n, by Hölder s inequality, ( ) /2 ( ) /2 K ε (x, y) f(y) dy K ε (x, y) 2 dy f(y) 2 C, because K ε (x, y) 2 is integrable at infinity. Therefore by density we deduce that there exists a sequence (by passing to a subsequence if necessary) of f n L 2 with compact support such that f n f in L p and f n f a.e. Hence by the dominated convergence theorem, T ε (f n )(x) T ε (f)(x) and hence T ε is bounded in L 2 uniformly on ε. Therefore, if T ε χ Q 2 Cm(Q) /2 and T ε χ Q 2 Cm(Q) /2 for all cubes Q uniformly on ε, we also have that T ε, χ Q 2 C m(q) /2 and T ε, χ Q 2 C m(q) /2 for all cubes Q uniformly on ε and. The proof will be complete if we show that the above condition implies that T ε, : L 2 L 2 is bounded uniformly on ε and. Notice that T ε, : L p L p is bounded for p with norm depending on ε and. For f L, T ε, (f)(x) K ε, (x, y) f(y) dy f K ε, (x, y) dy C f ε< x y < C f ( ε ) n, x y ndy and analogously for the L bound. Hence it is enough to prove the following.
4 4 V. CHOUSIONIS AND X. TOLSA Theorem 2 (educed restatement of Theorem ). Let the CZO T : L p L p, bounded for some p, and associated with a kernel K such that K C 0 and K(x, y) = 0 whenever x y for some > 0. If furthermore () Tχ Q 2 C m(q) /2 and (2) T χ Q 2 C m(q) /2 for all cubes Q, then T L 2 L 2 C 2 with C 2 depending on C but independent of C 0 and. 2. The operators Q Let D denote the family of dyadic cubes of n. For Q D and f L loc we define { 0 if x / Q, Q f(x) = m P f m Q f if x P and P is a son of Q, where m Q f is the average of f on Q. The following proposition gathers several elementary but useful properties of the operators Q. Proposition 3. For Q, D and f L loc, () supp Q f Q, (2) Q is constant in every son of Q, (3) Q f = 0, (4) Q f, g = 0 whenever Q, (5) Q Q = Q. (6) Q : L 2 L 2 is bounded and Q = Q. For simplicity from now on we will denote 2 :=. Proposition 4. If f L 2 then f = Qf, the convergence is unconditional in L 2 and moreover f 2 = Qf 2. Proof. The essential step consists in showing that Q f 2 f 2. () To see this, let F D be finite and set g = f Q F Qf. Then g Q F Qf because by (4),(5) and (6) of Proposition 3: f Q F Q f, Q F Q f = Q F f, Q f Q F Q f, Q f = 0. Hence f 2 = g 2 + Q F Qf 2 and Q f 2 f 2. Q F Therefore since this holds for any finite subset F D, () follows.
5 THE T THEOEM 5 Now we order D = {Q, Q 2,... } and we have to prove that lim m m i= Q i f = f in L 2. We first see that the sequence is convergent because n 2 n Qi f = Qi f 2 0 i=m i=m as n since i Q i f 2 <. Let A = k N A k where A k are the classes of functions with compact support such that they are constant on some dyadic cube in D k and furthermore they have zero mean on each orthant. Then we notice that the result is true for the class of functions A and furthermore A is dense in L 2. Let ε > 0. Then for all f L 2, there exists a function g A such that f g < ε. We write m i= Q i f = m i= Q i (f g)+ m i= Q i g and we deduce using () that m Qi f f m m 2 Qi g g + g f + Qi (g f) i= i= i= ( m m ) /2 = Qi g g + g f + Qi (g f) 2 i= i= m Qi g g + 2 g f i= m 2ε + Qi g g, i= and the proof is complete after letting m. We will prove that 3. Proof of the T theorem Tf, g C f g, (2) for f = Q F Q f, g = Q F 2 Q g for finite F, F 2 D and a constant C not depending on f or g. Then by Proposition 4, (2) holds for all f, g L 2 and Theorem 2 follows, taking into account that T L 2 L2 < by assumption. We have Tf, g = T Q f, g. Q F, F 2 We then observe the following two easy facts: first, and, second, Q f 2 Q f 2 m(q) (3) T( Q f) C Q f. (4)
6 6 V. CHOUSIONIS AND X. TOLSA To see (3), suppose that Q = 2n i= P i where P i are the sons of Q and let c i = m Pi f m Q f. Then, Q f 2 = Q f 2 = and because Q f = maxc i, we get 2 n i= m(p i )c 2 i = m(q) 2 n 2 n i= 2 nm(q) Qf 2 Qf 2 m(q) Q f 2. Using assumption () of Theorem 2, (4) follows analogously. In the following we prove an auxiliary lemma which deals with the case when two cubes are far each other. Lemma 5. Let two functions ϕ Q, ψ be such that suppϕ Q Q, suppψ, ϕ Q, ψ L, ϕ Q = 0 and d(q, suppψ ) l(q). Then, { l(q) C δ Tϕ Q, ψ d(q,suppψ ϕ ) δ+n Q ψ (5) C ϕ Q ψ. Proof. Let x Q be the center of Q. Using that K is a standard kernel and ϕ Q = 0 we get TϕQ, ψ ( ) = K(x, y)ϕ Q (x)ψ (y)dx dy ( ) = (K(x, y) K(x Q, y))ϕ Q (x)ψ (y)dx dy x x Q C δ x Q, x y ϕ Q(x) ψ n+δ (y) dxdy y suppψ l(q) δ C d(q, suppψ ) ϕ Q δ+n ψ. To complete the proof of the lemma notice that for x Q and y, Therefore, x Q y x y + l(q) x y + d(q, suppψ ) 2 x y. x x Q δ x Q, x y ϕ Q(x) ψ n+δ (y) dxdy y suppψ Cl(Q) δ ϕ Q ψ C ϕ Q ψ. x Q y >l(q) c 2 i, x Q y n+δdy
7 x Q y >l(q) THE T THEOEM 7 The last inequality follows because x Q y >l(q) x Q d l(q) δ. This follows by y n+δ integrating on annuli, for instance, x Q y n+δdy x Q y n+δdy i=0 i=0 Cl(Q) δ. Now we do the following splitting: Q F, F 2 T Q, g = B(x Q,2 i+ l(q))\b(x Q,2 i l(q)) (l(q)2 i+ ) n (l(q)2 i ) n+δ = Q F, F 2, l(q) + = S + S 2. Q F, F 2, l(q)> 2n l(q) δ ( i=0 T Q, g 2 δ T Q, g We are going to bound S, the boundedness of S 2 follows analogously. We consider the following three cases for Q, D such that l(q) : () d( i P i, Q) l(q) γ γ where the P i s are the sons of, (2) d(q, ) l(q) γ γ, (3) d(q, i P i ) l(q) γ and Q, where γ = δ. 2(δ+n) We will use the notation (Q, ) () if Q, satisfy () and so on. We have S T Q f, g + T Q f, g + T Q f, g (Q,) () (Q,) (2) and we will bound each of the three previous terms separately. 3.. Estimates for (Q, ) (). First observe that T Q f, g Q f g ) i ( ) n/2 l(q). (6) To see this, let ψ = gχ 3Q c and ψ 2 = gχ 3Q.
8 8 V. CHOUSIONIS AND X. TOLSA Since d(suppψ, Q) l(q), by Lemma 5, Hölder s inequality and (3) we obtain T Q f, ψ C Q f ψ C Q f g C Q f m(q) /2 g m() /2 ( ) n/2 l(q) = C Q f g. Furthermore, by (3), Hölder s inequality and (4) T Q f, ψ 2 C g T Q f Therefore (6) is proved. Lemma 6. We have (Q,) () 3Q C g m() /2 m(3q) /2 T Q f C g m() /2 m(q) /2 Q f ( ) n/2 l(q) = C Q f g. Q f g ( ) n/2 l(q) C f g. Proof. By Cauchy-Schwartz, ( ) n/2 l(q) Q f g Q f g (Q,) () :(Q,) () ( ) /2 Q f 2 Thus we only need to show that :(Q,) () f :(Q,) () ( ) 2 n/2 l(q) g ( ) n/2 l(q) :(Q,) () g ( ) 2 n/2 l(q) g /2 ( ) 2 n/2 l(q) /2 g. (7). /2
9 We start with the following trick: we rewrite ( ) n/2 l(q) g = :(Q,) () THE T THEOEM 9 :(Q,) () g ( ) n ε l(q) 2 ( ) ε l(q) 2 where ε is some small number to be chosen later. Now we apply Cauchy-Schwartz and we get ( ) 2 /2 n/2 l(q) g :(Q,) () ( ) n ε l(q) g 2 /2 ( ) ε l(q). :(Q,) () :(Q,) () For (Q, ) () we have that d( i P i, Q), where the P i s are the sons of. Now notice that for a fixed cube Q D, and k N, { D : (Q, ) () and = 2 k l(q)} C where C only depends on n, the dimension of the space. If Q is the dyadic cube which contains Q and has length 2 k l(q), then C is smaller than (3 n ) 2 which is the cardinality of the set of the neighbors of all neighbors of Q. Thus, :(Q,) () ( l(q) ) ε = k N :(Q,) (), =2 k l(q) ( l(q) Furthermore, by Fubini, ( ) n ε l(q) g 2 = g 2 D :(Q,) () ) ε = C 2 kε C. k N Q:(Q,) () ( ) n ε l(q). Hence in order to prove (7) and thus settle the proof, we only need to show that ( ) n ε l(q) C. (8) Q:(Q,) () To prove this we split again: ( ) n ε l(q) = Q:(Q,) () k N = k N Q:(Q,) (), l(q)=2 k 2 kε Q:(Q,) (), l(q)=2 k ( l(q) ) n ( ) ε l(q) ( ) n l(q).
10 0 V. CHOUSIONIS AND X. TOLSA Let d k = 2 2 kγ, and for A n denote Then for D fixed N dk (A) = {x : there is a A such that d(a, y) d k }. {Q D : (Q, ) (), l(q) = 2 k } N dk ( i P i ), where P i are the sons of. Therefore, ( ) n l(q) 2 kε = 2 kε k N Q:(Q,) (), l(q)=2 k k N k N C k N Q:(Q,) (), l(q)=2 k m(q) m() 2 kεm(n d k ( i P i )) m() 2 kεd k n n C k N 2 k(ε γ). Hence if we choose ε = γ/2 the proof of (8) is complete and we are done. Combining (6) and Lemma 6 we derive the desired estimate T Q f, g C f g. (Q,) () 3.2. Estimates for (Q, ) (2). In this subsection we are going to show that (Q,) (2) T Qf, g f g. We start with an auxiliary lemma. As usual if I is an index set, l 2 (I) = {(x i ) i I : x i and i I x2 i < }. Lemma 7 (Shur s lemma). Let I be some set of indices, and for each i I a number w i > 0. Suppose that, for some constant a 0, the matrix {T i,j } i,j I satisfies T i,j w j a w i for each i and j T i,j w i a w j for each j. i Then, the matrix {T i,j } i,j I defines a bounded operator in l 2 (I) with norm a. Proof. Let {x i } i I l 2 (I), and set y i = j I T i,jx j. We intend to show that i y i 2 a 2 i x i 2. So we write T i,j x j = ( T i,j /2 w /2 )( j Ti,j /2 w /2 j x j ),
11 THE T THEOEM and then by Cauchy-Schwartz, ( ) ( y i 2 T i,j w j j I j I T i,j w j x j 2 ) a w i j I T i,j w j x j 2. Summing on i and interchanging the sums, we get y i 2 a T i,j w i w j x j 2 a 2 i j i j x j 2. For Q, (2) we have that d(q, ) l(q) hence by Lemma 5 and Cauchy- Schwartz we have T Q f, g C l(q)δ d(q, ) Qf δ+n g C l(q)δ m() /2 d(q, ) δ+nm(q)/2 Q f g. We denote D(Q, ) = l(q) + + d(q, ). It then follows that l(q) δ d(q, ) C l(q)δ/2 δ/2. (9) n+δ D(Q, ) n+δ To prove (9) we consider two cases. If d(q, ) then D(Q, ) 3d(Q, ) and furthermore l(q) δ l(q) δ/2 δ/2 hence (9) follows. If d(q, ) then D(Q, ) 3 and recalling that for (Q, ) (2), d(q, ) l(q) γ γ, as γ = l(q) δ d(q, ) n+δ δ. Therefore, 2(n+δ) l(q) δ l(q) γ(n+δ) = l(q)δ γ(n+δ) γ(n+δ) ( γ)(n+δ) (n+δ) C l(q)δ/2 δ/2 D(Q, ) n+δ, T Q f, g C l(q)δ/2 δ/2 D(Q, ) δ+n m(q)/2 m() /2 Q f g. (0) Our goal now is to apply Schur s Lemma. To this end, consider the matrix (T Q, ) (Q,) (2) defined by T Q, = l(q)δ/2 δ/2 D(Q, ) δ+n m(q)/2 m() /2.
12 2 V. CHOUSIONIS AND X. TOLSA Applying Cauchy-Schwartz in l 2 (I), where I is the index set associated to the set {(Q, ) (2)} we get, T Q, Q f g (Q,) (2) (Q,) (2) g (T Q, Q f ) 2 (Q,) (2) /2 (T Q, Q f ) 2. (Q,) (2) /2 g 2 /2 () Hence we only need to show that (T Q, Q f ) 2 C Q f 2. (2) (Q,) (2) (Q,) (2) For Q D let w Q = m(q) /2, by Schur s lemma in order to prove (2) it is enough to show that :(Q,) (2) T Q, w Cw Q (3) and T Q, w Q Cw. (4) Q:(Q,) (2) For (3), :(Q,) (2) T Q, w k N :=2 k l(q) = l(q) n/2 k N l(q) δ/2 2 k 2l(Q) δ δ/2 l(q) n/2 n D(Q, ) δ+n 2 k δ 2 l(q) δ :=2 k l(q) n D(Q, ) n+δ.
13 THE T THEOEM 3 Let x Q be the center of Q. Then for x, x Q x + C(l(Q) + + d(q, )) = CD(Q, ) and we obtain n D(Q, ) = n+δ :=2 k l(q) :=2 k D(Q, ) n+δdx l(q) C dx :=2 k ( x Q x + ) n+δ l(q) C ( x Q x + 2 k l(q)) n+δdx ( = C dx x x Q 2 k l(q) ( x Q x + 2 k l(q)) n+δ ) + ( x Q x + 2 k l(q)) dx n+δ For I, I x x Q 2 k l(q) :=2 k l(q) = C(I + I 2 ). x x Q >2 k l(q) (2 k l(q)) n+δ dx (2k l(q)) n (2 k l(q)) n+δ = (2k l(q)) δ, and for I 2 as usual after splitting the set x Q x > 2 k l(q) in annuli and integrating we get I 2 x x Q >2 k l(q) x Q x dx C n+δ (2 k l(q)). δ Therefore, n D(Q, ) C n+δ (2 k l(q)), δ and by (3.2), :(Q,) (2) T Q, w Cl(Q) n/2 k N 2 k δ 2 Cl(Q) n/2. The proof of (4) follows in a similar manner and it is omitted Estimates for (Q, ) (3). In this subsection we are going to show that T Qf, g f g. To this end we need the following discrete version of the famous embedding theorem of Carleson. Theorem 8. [Carleson s Embedding Theorem] Let σ be a adon measure on d. Let D be the dyadic lattice from d and let {a Q } be a family of non negative numbers. Suppose that for every cube D we have a Q c 2 σ(). (5) :Q
14 4 V. CHOUSIONIS AND X. TOLSA Then, every family of non negative numbers {w Q } satisfies w Q a Q c 2 sup w Q dσ(x). (6) Q x In particular, if f L 2 (σ), f σ,q 2 a Q c c 2 f 2 L 2 (σ), (7) where f σ,q = f dσ/σ(q) and c is an absolute constant. Q Proof. To prove (6), consider the characteristic function defined by χ(q, t) = if 0 < t < w Q, and 0 otherwise. Then, χ(q, t) a Q dt = χ(q, t) a Q dt. (8) For each t > 0, let w Q a Q = 0 Ω t = : w Q >t Notice that if χ(q, t) =, then Q Ω t, and thus χ(q, t) a Q Q. 0 :Q Ω t a Q For m, let I m D be the subfamily of the cubes Q Ω t such that l(q) 2 m, and let J m I m be the subfamily of maximal cubes from I m. Then we have a Q = lim a Q = lim a Q. m m :Q Ω t Q I m Q By the assumption (5), for all m, a Q c 2 and so J m Q J m J m σ() c 2 σ(ω t ), χ(q, t) a Q c 2 σ(ω t ). Since Ω t coincides with {x d : w (x) > t}, where w (x) = sup Q x w Q, by (8) we obtain w Q a Q c 2 σ(ω t ) = c 2 w (x) dσ(x). 0 To prove the estimate (7), we take w Q = f σ,q 2, and then from (6) we deduce f σ,q 2 a Q c 2 M σ,d f 2 L 2 (σ),
15 THE T THEOEM 5 where M σ,d is the Hardy-Littlewood maximal dyadic operator with respect to σ. From the L 2 (σ) boundedness (with absolute constants) of this operator, we obtain (7). We now observe that if Q is the son of that contains Q, g is constant in Q and g Q = m Q g m g := c,q (g). Therefore we write, Hence, g = χ \Q g + c,q (g)χ Q = χ \Q g + c,q (g) c,q (g)χ c Q. T Q f, g + T Q f, χ \Q g = A + A 2 + A 3. T Q f, c,q gχ c Q g + T Q f, c,q g We will finish the proof of Theorem 2 by showing that A i C f g for i =, 2, 3. The following lemma deals with A. Lemma 9. We have A = Proof. If ψ = χ \Q g then Q f, T (χ \Q g) C f g. d(q, suppψ ) l(q) γ γ. easoning as in the proof of (0) we get that, T Q f, χ \Q g C l(q)δ/2 δ/2 D(Q, ) δ+n m(q)/2 m() /2 Q f 2 g 2, and following the same proof as in case (2) we get that, Q f, T (χ \Q g) C f g. We know turn our attention to A 2. Lemma 0. We have A 2 = c,q (g) T Q f, χ c Q C f g. (9)
16 6 V. CHOUSIONIS AND X. TOLSA Proof. Using (3) of Proposition 3 we have that for x c Q and y Q denoting the center of Q, K(x, y Q ) Q f(y)dy = 0, since K is a standard kernel, T Q f(x) = (K(x, y) K(x, y Q )) Q f(y)dy K(x, y) K(x, y Q ) Q f(y) dy Q C Q y y Q δ x y Q n+δ Qf(y) dy l(q) δ C Q f x y Q n+δ. (20) Therefore, as x y Q d( c Q, Q) l(q)γ γ for x c Q, T Q f, χ c Q C Q f C Q f c Q l(q) δ x y Q n+δdx x y Q l(q) γ γ l(q) δ C Q f l(q) γδ ( γ)δ ( ) δ( γ) l(q) C Q f m(q) /2, l(q) δ x y Q n+δdx where we used integration on annuli and Hölder s inequality. Furthermore by (3), c,q (g) g g m() /2. Thus, c,q (g) T Q f, χ c Q C Q f g ( ) δ( γ) ( ) /2 l(q) m(q), m()
17 and so, for ε = δ( γ) c,q (g) T Q f, χ c Q C C D g D Q f g Q: Q:Q THE T THEOEM 7 ( ) δ( γ) ( ) /2 l(q) m(q) m() Q f ( ) δ( γ) ( ) /2 l(q) m(q) m() ( ) /2 C g 2 ( Q f D D Q:Q = C g ( ( ) ε/2 ( l(q) l(q) Q f D Q:Q ( [ ( ) ][ ε l(q) C g Q f 2 ( l(q) Q:Q ) δ( γ) ( m(q) m() ) ε/2 ( m(q) m() ( l(q) ) /2 ) 2 ) /2 ) 2 /2 ) ]) ε /2 m(q), m() where we used twice Cauchy-Schwartz. For a cube D let D k () = {Q D : Q, l(q) = 2 k }. We then notice that, ( ) ε l(q) m(q) m() = ( ) ε l(q) m(q) m() Q:Q k N = k N k () 2 kε k () Therefore by the previous two estimates and Fubini, ( c,q (g) T Q f, χ c Q C g D: Q m(q) m() = 2 kε C. k N D Q:Q ( = C g Q f 2 C f g. The last inequality follows, because as previously ( ) ε l(q) = ( l(q) k N : Q, =2 k l(q) ( ) ) ε /2 l(q) Q f 2 : Q ( ) ) ε /2 l(q) ) ε = ( ) k C. k N 2 ε /2
18 8 V. CHOUSIONIS AND X. TOLSA Given a cube Q D let ( i ) i N be the increasing sequence of cubes in D which strictly contain Q. ecall that iq denotes the son of i which contains Q and notice that Q = Q, i+ Q = i and since g = F 2 f and F 2 is a finite set of cubes, there exists some i 0 and some F 2 F 2 such that Hence, by Proposition 3, and m i0 g = 0. Furthermore, Q c,q (g) = i N suppg i0 = F2. i0 g = F 2 g = 0 c i,qg = i N(m iq g m i g) By the previous observations this sum is telescopic and since m i0 = 0 we get c,q (g) = m Q g. Q Now we can estimate: T Q f, c,q (g) = (Q,): Q Furthermore, c,q (g) T Q f, = (Q,): Q = (Q,): Q = S 3 S 4. (Q,): Q = c,q (g) T Q f, ( ) c,q (g) T Q f, Q = m Q (g) Q f, T. c,q (g) T Q f, m Q (g) Q f, T (Q,): Q, (Q,)/ (3) (Q,): Q, (Q,)/ (3) c,q (g) T Q f, c,q (g) T Q f, Therefore A 3 S 3 + S 4, and in order to finish the proof we only need to bound the terms S 3 and S 4. Lemma. For S 4 as in (2) we have S 4 C f g. (2)
19 THE T THEOEM 9 Proof. We have, S 4 (Q,): Q, d(q,) l(q) γ γ (Q,): Q, d(q,) l(q) γ γ c,q (g) T Q f, c,q (g) T Q f. We write T Q f = (T Q f)χ 3Q + (T Q f)χ (3Q) c, as in (20) we have that for x (3Q) c and y Q being the center of Q, l(q) δ T Q f(x) C Q f x y Q n+δ, By integrating on annuli and using Hölder s inequality we conclude that l(q) δ (T Q f)χ (3Q) c C Q f x y Q n+δdx C Qf m(q) /2. Again by Hölder s inequality and (4), x y Q >l(q) (T Q f)χ 3Q C T Q f m(q) /2 C Q f m(q) /2. On the other hand, by (3), c,q (g) g g m() /2. So by all the previous estimates and Cauchy-Schwartz, S 4 C ( m(q) g Q f m() C ( 2)/2 ( g D = C f g. ) /2 Q f 2 ) /2 Finally we need to bound S 3. By (5) and (6) of Proposition 3, S 3 = m Q g Q f, T = m Q g f, Q (T ) = Q F m Q g f, Q (T ) = f, Q F m Q g Q (T ).
20 20 V. CHOUSIONIS AND X. TOLSA Notice that the functions g Q = m Q g Q (T ) are orthogonal, and thus S 3 f, m Q g Q (T ) f 2 m Q g Q (T ) Q F Q F = f 2 Q F m Q g 2 Q (T ) 2. The following lemma settles the case for S 3. Lemma 2. We have m Q g 2 Q T 2 C g 2. (22) Proof. By Theorem 8 it suffices to prove that Q T 2 Cm() (23) Q, for all D. For Q, D, Q and then Q ((T m (T ))χ ) = 0. (24) To see this let Q be the son of Q which contains. Then, for h = (T m (T ))χ h = T m()m (T ) = 0, hence for x Q h(x) = m Q h m Q h = 0. Now by Proposition 4, since (T m (T ))χ L 2, using the fact that Q (m Q (T )) = 0 and (24), we get Q T 2 = Q ((T m (T ))χ ) 2,Q,Q = Q ((T m (T ))χ ) 2 = (T m (T ))χ 2. Thus in order to complete the proof it is enough to show that for all D, T m (T ) 2 C. (25) m() This is equivalent to saying that T BMOd 2, the dyadic BMO space. Lemma 3. If T χ 2 2 Cm(), T m (T ) 2 C. m() 2
21 Proof. We have THE T THEOEM 2 T m (T ) = T χ 2 m (T χ 2 ) + T χ (2) c m (T χ (2) c) We first deal with A: = A + B. A 2 = T χ 2 m (T χ 2 ) 2 T χ m() m (T χ 2 ) 2 Cm() + m() m (T χ 2 ) 2. But by Hölder s inequality, ( ) 2 m (T χ 2 ) 2 T χ 2 m() ( ( ) ) /2 2 T χ 2 2 m() /2 m() Hence, C m() T χ 2 2 C m() = C. m() A 2 Cm(). Now we will estimate B 2. The first step is to show that for all x, x 2, T χ (2) c(x ) T χ (2) c(x 2 ) C. (26) To see this, T χ (2) c(x ) T χ (2) c(x 2 ) K(y, x ) K(y, x 2 ) dy (2) c x x 2 C (2) x c y n+δdy C δ (2) x c y n+δdy C δ δ = C, where in the last inequality we used integration in annuli as usual.
22 22 V. CHOUSIONIS AND X. TOLSA Now, B 2 = T χ (2) c(x ) 2 T χ (2) c(x 2 )dx 2 dx m() = T χ (2) c(x )dx 2 2 T χ (2) c(x 2 )dx 2 dx m() m() 2 = m() 2 (T χ (2) c(x ) T χ (2) c(x 2 ))dx 2 dx ( T χ m() 2 (2) c(x ) T χ (2) c(x 2 ) )m()dx 2 Cm(). For the last two inequalities we used Hölder s inequality and (26). This finishes the proof of Lemma 3 and the proof of Lemma 2 as well. Hence the proof of Theorem 2 is completed. emark 4. Expressions of the form Π h g = m Q g Q h are called paraproducts of g associated to h. In our case Πg = m Qg Q (T ) is the paraproduct associated to T (). Using Lemma 2 and orthogonality it follows that Πg C g.
T (1) and T (b) Theorems on Product Spaces
T (1) and T (b) Theorems on Product Spaces Yumeng Ou Department of Mathematics Brown University Providence RI yumeng ou@brown.edu June 2, 2014 Yumeng Ou (BROWN) T (1) and T (b) Theorems on Product Spaces
More informationMultilinear local Tb Theorem for Square functions
Multilinear local Tb Theorem for Square functions (joint work with J. Hart and L. Oliveira) September 19, 2013. Sevilla. Goal Tf(x) L p (R n ) C f L p (R n ) Goal Tf(x) L p (R n ) C f L p (R n ) Examples
More informationESTIMATES FOR MAXIMAL SINGULAR INTEGRALS
ESTIMATES FOR MAXIMAL SINGULAR INTEGRALS LOUKAS GRAFAKOS Abstract. It is shown that maximal truncations of nonconvolution L -bounded singular integral operators with kernels satisfying Hörmander s condition
More informationJordan Journal of Mathematics and Statistics (JJMS) 9(1), 2016, pp BOUNDEDNESS OF COMMUTATORS ON HERZ-TYPE HARDY SPACES WITH VARIABLE EXPONENT
Jordan Journal of Mathematics and Statistics (JJMS 9(1, 2016, pp 17-30 BOUNDEDNESS OF COMMUTATORS ON HERZ-TYPE HARDY SPACES WITH VARIABLE EXPONENT WANG HONGBIN Abstract. In this paper, we obtain the boundedness
More informationRegularizations of Singular Integral Operators (joint work with C. Liaw)
1 Outline Regularizations of Singular Integral Operators (joint work with C. Liaw) Sergei Treil Department of Mathematics Brown University April 4, 2014 2 Outline 1 Examples of Calderón Zygmund operators
More informationSingular Integrals. 1 Calderon-Zygmund decomposition
Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b
More informationarxiv: v1 [math.ca] 29 Dec 2018
A QUANTITATIVE WEIGHTED WEAK-TYPE ESTIMATE FOR CALDERÓN-ZYGMUND OPERATORS CODY B. STOCKDALE arxiv:82.392v [math.ca] 29 Dec 208 Abstract. The purpose of this article is to provide an alternative proof of
More informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
More informationIn this note we give a rather simple proof of the A 2 conjecture recently settled by T. Hytönen [7]. Theorem 1.1. For any w A 2,
A SIMPLE PROOF OF THE A 2 CONJECTURE ANDREI K. LERNER Abstract. We give a simple proof of the A 2 conecture proved recently by T. Hytönen. Our proof avoids completely the notion of the Haar shift operator,
More informationA SHORT PROOF OF THE COIFMAN-MEYER MULTILINEAR THEOREM
A SHORT PROOF OF THE COIFMAN-MEYER MULTILINEAR THEOREM CAMIL MUSCALU, JILL PIPHER, TERENCE TAO, AND CHRISTOPH THIELE Abstract. We give a short proof of the well known Coifman-Meyer theorem on multilinear
More informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationChapter 8 Integral Operators
Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,
More informationOne-sided operators in grand variable exponent Lebesgue spaces
One-sided operators in grand variable exponent Lebesgue spaces ALEXANDER MESKHI A. Razmadze Mathematical Institute of I. Javakhishvili Tbilisi State University, Georgia Porto, June 10, 2015 One-sided operators
More informationGeometric intuition: from Hölder spaces to the Calderón-Zygmund estimate
Geometric intuition: from Hölder spaces to the Calderón-Zygmund estimate A survey of Lihe Wang s paper Michael Snarski December 5, 22 Contents Hölder spaces. Control on functions......................................2
More informationWeighted norm inequalities for singular integral operators
Weighted norm inequalities for singular integral operators C. Pérez Journal of the London mathematical society 49 (994), 296 308. Departmento de Matemáticas Universidad Autónoma de Madrid 28049 Madrid,
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationWavelets and modular inequalities in variable L p spaces
Wavelets and modular inequalities in variable L p spaces Mitsuo Izuki July 14, 2007 Abstract The aim of this paper is to characterize variable L p spaces L p( ) (R n ) using wavelets with proper smoothness
More informationM ath. Res. Lett. 16 (2009), no. 1, c International Press 2009
M ath. Res. Lett. 16 (2009), no. 1, 149 156 c International Press 2009 A 1 BOUNDS FOR CALDERÓN-ZYGMUND OPERATORS RELATED TO A PROBLEM OF MUCKENHOUPT AND WHEEDEN Andrei K. Lerner, Sheldy Ombrosi, and Carlos
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week 9 November 13 November Deadline to hand in the homeworks: your exercise class on week 16 November 20 November Exercises (1) Show that if T B(X, Y ) and S B(Y, Z)
More informationWeighted norm inequalities for maximally modulated singular integral operators
To appear in Mathematische Annalen Weighted norm inequalities for maximally modulated singular integral operators Loukas Grafakos José María Martell Fernando Soria September 4, 2004 Abstract. We present
More information8 Singular Integral Operators and L p -Regularity Theory
8 Singular Integral Operators and L p -Regularity Theory 8. Motivation See hand-written notes! 8.2 Mikhlin Multiplier Theorem Recall that the Fourier transformation F and the inverse Fourier transformation
More informationRESTRICTED WEAK TYPE VERSUS WEAK TYPE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 133, Number 4, Pages 1075 1081 S 0002-9939(04)07791-3 Article electronically published on November 1, 2004 RESTRICTED WEAK TYPE VERSUS WEAK TYPE
More informationDyadic structure theorems for multiparameter function spaces
Rev. Mat. Iberoam., 32 c European Mathematical Society Dyadic structure theorems for multiparameter function spaces Ji Li, Jill Pipher and Lesley A. Ward Abstract. We prove that the multiparameter (product)
More informationTeoría de pesos para operadores multilineales, extensiones vectoriales y extrapolación
Teoría de pesos para operadores multilineales, extensiones vectoriales y extrapolación Encuentro Análisis Funcional Sheldy Ombrosi Universidad Nacional del Sur y CONICET 8 de marzo de 208 If f is a locally
More informationSINGULAR INTEGRALS ON SIERPINSKI GASKETS
SINGULAR INTEGRALS ON SIERPINSKI GASKETS VASILIS CHOUSIONIS Abstract. We construct a class of singular integral operators associated with homogeneous Calderón-Zygmund standard kernels on d-dimensional,
More informationMATH6081A Homework 8. In addition, when 1 < p 2 the above inequality can be refined using Lorentz spaces: f
MATH68A Homework 8. Prove the Hausdorff-Young inequality, namely f f L L p p for all f L p (R n and all p 2. In addition, when < p 2 the above inequality can be refined using Lorentz spaces: f L p,p f
More informationBorderline variants of the Muckenhoupt-Wheeden inequality
Borderline variants of the Muckenhoupt-Wheeden inequality Carlos Domingo-Salazar Universitat de Barcelona joint work with M Lacey and G Rey 3CJI Murcia, Spain September 10, 2015 The Hardy-Littlewood maximal
More informationTopics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality
Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Po-Lam Yung The Chinese University of Hong Kong Introduction While multiplier operators are very useful in studying
More informationA NOTE ON WAVELET EXPANSIONS FOR DYADIC BMO FUNCTIONS IN SPACES OF HOMOGENEOUS TYPE
EVISTA DE LA UNIÓN MATEMÁTICA AGENTINA Vol. 59, No., 208, Pages 57 72 Published online: July 3, 207 A NOTE ON WAVELET EXPANSIONS FO DYADIC BMO FUNCTIONS IN SPACES OF HOMOGENEOUS TYPE AQUEL CESCIMBENI AND
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationBoth these computations follow immediately (and trivially) from the definitions. Finally, observe that if f L (R n ) then we have that.
Lecture : One Parameter Maximal Functions and Covering Lemmas In this first lecture we start studying one of the basic and fundamental operators in harmonic analysis, the Hardy-Littlewood maximal function.
More informationNotes. 1 Fourier transform and L p spaces. March 9, For a function in f L 1 (R n ) define the Fourier transform. ˆf(ξ) = f(x)e 2πi x,ξ dx.
Notes March 9, 27 1 Fourier transform and L p spaces For a function in f L 1 (R n ) define the Fourier transform ˆf(ξ) = f(x)e 2πi x,ξ dx. Properties R n 1. f g = ˆfĝ 2. δλ (f)(ξ) = ˆf(λξ), where δ λ f(x)
More informationThe Calderon-Vaillancourt Theorem
The Calderon-Vaillancourt Theorem What follows is a completely self contained proof of the Calderon-Vaillancourt Theorem on the L 2 boundedness of pseudo-differential operators. 1 The result Definition
More informationREAL ANALYSIS I HOMEWORK 4
REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationSOLUTIONS TO HOMEWORK ASSIGNMENT 4
SOLUTIONS TO HOMEWOK ASSIGNMENT 4 Exercise. A criterion for the image under the Hilbert transform to belong to L Let φ S be given. Show that Hφ L if and only if φx dx = 0. Solution: Suppose first that
More informationA NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES
A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES S. DEKEL, G. KERKYACHARIAN, G. KYRIAZIS, AND P. PETRUSHEV Abstract. A new proof is given of the atomic decomposition of Hardy spaces H p, 0 < p 1,
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationHERMITE MULTIPLIERS AND PSEUDO-MULTIPLIERS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 7, July 1996 HERMITE MULTIPLIERS AND PSEUDO-MULTIPLIERS JAY EPPERSON Communicated by J. Marshall Ash) Abstract. We prove a multiplier
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
More informationWeighted a priori estimates for elliptic equations
arxiv:7.00879v [math.ap] Nov 07 Weighted a priori estimates for elliptic equations María E. Cejas Departamento de Matemática Facultad de Ciencias Exactas Universidad Nacional de La Plata CONICET Calle
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationMAXIMAL AVERAGE ALONG VARIABLE LINES. 1. Introduction
MAXIMAL AVERAGE ALONG VARIABLE LINES JOONIL KIM Abstract. We prove the L p boundedness of the maximal operator associated with a family of lines l x = {(x, x 2) t(, a(x )) : t [0, )} when a is a positive
More informationREAL ANALYSIS II HOMEWORK 3. Conway, Page 49
REAL ANALYSIS II HOMEWORK 3 CİHAN BAHRAN Conway, Page 49 3. Let K and k be as in Proposition 4.7 and suppose that k(x, y) k(y, x). Show that K is self-adjoint and if {µ n } are the eigenvalues of K, each
More informationHerz (cf. [H], and also [BS]) proved that the reverse inequality is also true, that is,
REARRANGEMENT OF HARDY-LITTLEWOOD MAXIMAL FUNCTIONS IN LORENTZ SPACES. Jesús Bastero*, Mario Milman and Francisco J. Ruiz** Abstract. For the classical Hardy-Littlewood maximal function M f, a well known
More informationNECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
More information1 I (x)) 1/2 I. A fairly immediate corollary of the techniques discussed in the last lecture is Theorem 1.1. For all 1 < p <
1. Lecture 4 1.1. Square functions, paraproducts, Khintchin s inequality. The dyadic Littlewood Paley square function of a function f is defined as Sf(x) := ( f, h 2 1 (x)) 1/2 where the summation goes
More informationSome functional inequalities in variable exponent spaces with a more generalization of uniform continuity condition
Int. J. Nonlinear Anal. Appl. 7 26) No. 2, 29-38 ISSN: 28-6822 electronic) http://dx.doi.org/.2275/ijnaa.26.439 Some functional inequalities in variable exponent spaces with a more generalization of uniform
More informationRIESZ BASES AND UNCONDITIONAL BASES
In this paper we give a brief introduction to adjoint operators on Hilbert spaces and a characterization of the dual space of a Hilbert space. We then introduce the notion of a Riesz basis and give some
More informationCarleson Measures for Besov-Sobolev Spaces and Non-Homogeneous Harmonic Analysis
Carleson Measures for Besov-Sobolev Spaces and Non-Homogeneous Harmonic Analysis Brett D. Wick Georgia Institute of Technology School of Mathematics & Humboldt Fellow Institut für Mathematik Universität
More informationALBERT MAS AND XAVIER TOLSA
L p -ESTIMATES FOR THE VARIATION FOR SINGULAR INTEGRALS ON UNIFORMLY RECTIFIABLE SETS ALBERT MAS AND XAVIER TOLSA Abstract. The L p 1 < p < ) and weak-l 1 estimates for the variation for Calderón- Zygmund
More informationJordan Journal of Mathematics and Statistics (JJMS) 5(4), 2012, pp
Jordan Journal of Mathematics and Statistics (JJMS) 5(4), 2012, pp223-239 BOUNDEDNESS OF MARCINKIEWICZ INTEGRALS ON HERZ SPACES WITH VARIABLE EXPONENT ZONGGUANG LIU (1) AND HONGBIN WANG (2) Abstract In
More informationMULTI-PARAMETER PARAPRODUCTS
MULTI-PARAMETER PARAPRODUCTS CAMIL MUSCALU, JILL PIPHER, TERENCE TAO, AND CHRISTOPH THIELE Abstract. We prove that the classical Coifman-Meyer theorem holds on any polydisc T d of arbitrary dimension d..
More informationCBMO Estimates for Multilinear Commutator of Marcinkiewicz Operator in Herz and Morrey-Herz Spaces
SCIENTIA Series A: Matheatical Sciences, Vol 22 202), 7 Universidad Técnica Federico Santa María Valparaíso, Chile ISSN 076-8446 c Universidad Técnica Federico Santa María 202 CBMO Estiates for Multilinear
More informationWEAK TYPE ESTIMATES FOR SINGULAR INTEGRALS RELATED TO A DUAL PROBLEM OF MUCKENHOUPT-WHEEDEN
WEAK TYPE ESTIMATES FOR SINGULAR INTEGRALS RELATED TO A DUAL PROBLEM OF MUCKENHOUPT-WHEEDEN ANDREI K. LERNER, SHELDY OMBROSI, AND CARLOS PÉREZ Abstract. A ell knon open problem of Muckenhoupt-Wheeden says
More informationarxiv: v1 [math.fa] 2 Jun 2012
WEGHTED LPSCHTZ ESTMATE FOR COMMUTATORS OF ONE-SDED OPERATORS ON ONE-SDED TREBEL-LZORKN SPACES arxiv:206.0383v [math.fa] 2 Jun 202 ZUN WE FU, QNG YAN WU, GUANG LAN WANG Abstract. Using the etrapolation
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationOn pointwise estimates for maximal and singular integral operators by A.K. LERNER (Odessa)
On pointwise estimates for maximal and singular integral operators by A.K. LERNER (Odessa) Abstract. We prove two pointwise estimates relating some classical maximal and singular integral operators. In
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationWeighted restricted weak type inequalities
Weighted restricted weak type inequalities Eduard Roure Perdices Universitat de Barcelona Joint work with M. J. Carro May 18, 2018 1 / 32 Introduction Abstract We review classical results concerning the
More informationat time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t))
Notations In this chapter we investigate infinite systems of interacting particles subject to Newtonian dynamics Each particle is characterized by its position an velocity x i t, v i t R d R d at time
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationNEW MAXIMAL FUNCTIONS AND MULTIPLE WEIGHTS FOR THE MULTILINEAR CALDERÓN-ZYGMUND THEORY
NEW MAXIMAL FUNCTIONS AND MULTIPLE WEIGHTS FOR THE MULTILINEAR CALDERÓN-ZYGMUND THEORY ANDREI K. LERNER, SHELDY OMBROSI, CARLOS PÉREZ, RODOLFO H. TORRES, AND RODRIGO TRUJILLO-GONZÁLEZ Abstract. A multi(sub)linear
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationA NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES
A NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES VASILIS CHOUSIONIS AND MARIUSZ URBAŃSKI Abstract. We prove that in any metric space (X, d) the singular integral operators Tµ,ε(f)(x) k
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationON HÖRMANDER S CONDITION FOR SINGULAR INTEGRALS
EVISTA DE LA UNIÓN MATEMÁTICA AGENTINA Volumen 45, Número 1, 2004, Páginas 7 14 ON HÖMANDE S CONDITION FO SINGULA INTEGALS M. LOENTE, M.S. IVEOS AND A. DE LA TOE 1. Introduction In this note we present
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationTopics in Harmonic Analysis Lecture 1: The Fourier transform
Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise
More informationfor all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true
3 ohn Nirenberg inequality, Part I A function ϕ L () belongs to the space BMO() if sup ϕ(s) ϕ I I I < for all subintervals I If the same is true for the dyadic subintervals I D only, we will write ϕ BMO
More informationCompactness for the commutators of multilinear singular integral operators with non-smooth kernels
Appl. Math. J. Chinese Univ. 209, 34(: 55-75 Compactness for the commutators of multilinear singular integral operators with non-smooth kernels BU Rui CHEN Jie-cheng,2 Abstract. In this paper, the behavior
More informationLebesgue s Differentiation Theorem via Maximal Functions
Lebesgue s Differentiation Theorem via Maximal Functions Parth Soneji LMU München Hütteseminar, December 2013 Parth Soneji Lebesgue s Differentiation Theorem via Maximal Functions 1/12 Philosophy behind
More informationDuality of multiparameter Hardy spaces H p on spaces of homogeneous type
Duality of multiparameter Hardy spaces H p on spaces of homogeneous type Yongsheng Han, Ji Li, and Guozhen Lu Department of Mathematics Vanderbilt University Nashville, TN Internet Analysis Seminar 2012
More informationMaximal Functions in Analysis
Maximal Functions in Analysis Robert Fefferman June, 5 The University of Chicago REU Scribe: Philip Ascher Abstract This will be a self-contained introduction to the theory of maximal functions, which
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More informationMAT 257, Handout 13: December 5-7, 2011.
MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most
More informationNew Proof of Hörmander multiplier Theorem on compact manifolds without boundary
New Proof of Hörmander multiplier Theorem on compact manifolds without boundary Xiangjin Xu Department of athematics Johns Hopkins University Baltimore, D, 21218, USA xxu@math.jhu.edu Abstract On compact
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationRESULTS ON FOURIER MULTIPLIERS
RESULTS ON FOURIER MULTIPLIERS ERIC THOMA Abstract. The problem of giving necessary and sufficient conditions for Fourier multipliers to be bounded on L p spaces does not have a satisfactory answer for
More informationRegularity for Poisson Equation
Regularity for Poisson Equation OcMountain Daylight Time. 4, 20 Intuitively, the solution u to the Poisson equation u= f () should have better regularity than the right hand side f. In particular one expects
More informationAnalysis IV : Assignment 3 Solutions John Toth, Winter ,...). In particular for every fixed m N the sequence (u (n)
Analysis IV : Assignment 3 Solutions John Toth, Winter 203 Exercise (l 2 (Z), 2 ) is a complete and separable Hilbert space. Proof Let {u (n) } n N be a Cauchy sequence. Say u (n) = (..., u 2, (n) u (n),
More informationL p -boundedness of the Hilbert transform
L p -boundedness of the Hilbert transform Kunal Narayan Chaudhury Abstract The Hilbert transform is essentially the only singular operator in one dimension. This undoubtedly makes it one of the the most
More informationFunction spaces with variable exponents
Function spaces with variable exponents Henning Kempka September 22nd 2014 September 22nd 2014 Henning Kempka 1 / 50 http://www.tu-chemnitz.de/ Outline 1. Introduction & Motivation First motivation Second
More informationReal Variables # 10 : Hilbert Spaces II
randon ehring Real Variables # 0 : Hilbert Spaces II Exercise 20 For any sequence {f n } in H with f n = for all n, there exists f H and a subsequence {f nk } such that for all g H, one has lim (f n k,
More informationLocal maximal operators on fractional Sobolev spaces
Local maximal operators on fractional Sobolev spaces Antti Vähäkangas joint with H. Luiro University of Helsinki April 3, 2014 1 / 19 Let G R n be an open set. For f L 1 loc (G), the local Hardy Littlewood
More informationFall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.
TMA445 Linear Methods Fall 26 Norwegian University of Science and Technology Department of Mathematical Sciences Solutions to exercise set 9 Let X be a Hilbert space and T a bounded linear operator on
More information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More informationAnalytic families of multilinear operators
Analytic families of multilinear operators Mieczysław Mastyło Adam Mickiewicz University in Poznań Nonlinar Functional Analysis Valencia 17-20 October 2017 Based on a joint work with Loukas Grafakos M.
More informationarxiv: v1 [math.fa] 20 Dec 2018
A thought on generalized Morrey spaces arxiv:82.08394v [math.fa] 20 Dec 208 Contents Yoshihiro Sawano December 2, 208 Introduction 2 2 Preliminaries 4 2. Lebesgue spaces and integral ineualities..................
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationThe Hilbert transform
The Hilbert transform Definition and properties ecall the distribution pv(, defined by pv(/(ϕ := lim ɛ ɛ ϕ( d. The Hilbert transform is defined via the convolution with pv(/, namely (Hf( := π lim f( t
More information7: FOURIER SERIES STEVEN HEILMAN
7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier
More informationKernel Method: Data Analysis with Positive Definite Kernels
Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University
More informationParabolic L p L q estimates
Parabolic L p L q estimates Dietmar A. Salamon ETH Zürich 7 July 27 Abstract The purpose of this expository paper is to give a self-contained proof of maximal L p /L q regularity for the heat equation
More informationTHE DIRICHLET PROBLEM WITH BM O BOUNDARY DATA AND ALMOST-REAL COEFFICIENTS
THE DIRICHLET PROBLEM WITH BM O BOUNDARY DATA AND ALMOST-REAL COEFFICIENTS ARIEL BARTON Abstract. It is known that a function, harmonic in a Lipschitz domain, is the Poisson extension of a BMO function
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationProblem Set 5. 2 n k. Then a nk (x) = 1+( 1)k
Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the
More information