Duality of multiparameter Hardy spaces H p on spaces of homogeneous type
|
|
- Bethanie Knight
- 5 years ago
- Views:
Transcription
1 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
2 Outline 1 Definitions and Tools 2 Sequence Spaces 3 Some Important Lemmas 4 Relating Sequence Spaces to H p and CMO p 5 Proof of Duality of s p and c p 6 More About the Proof of the Min-Max Inequality
3 Quasi-Metrics A quasi-metric ρ on a set X is a function from X X to [0, ) such that the following three conditions hold: 1 ρ(x, y) = 0 if and only if x = y. 2 ρ(x, y) = ρ(y, x) for all x, y X 3 There exists a constant A 1 such that for all x, y, z X, we have ρ(x, y) A[ρ(x, z) + ρ(z, y)]. Thus, a quasi-metric is like a metric, except that the normal triangle inequality is replaced by a triangle inequality that holds up to a multiplicative constant.
4 Spaces of Homogeneous Type Let 0 < θ 1. A space of homogeneous type is a collection (X, ρ, µ) θ, where X is a set, ρ is a quasi-metric on X, and µ is a nonnegative Borel regular measure on X. We require that for all r such that 0 < r < diam(x ), we have that µ(b(x, r)) r, where B(x, r) is the ball of radius r centered at x X. Lastly, we require that there is a constant C 0 > 0 such that for all x, x, y X, we have ρ(x, y) ρ(x, y) C 0 ρ(x, x ) θ [ρ(x, y) + ρ(x, y)] 1 θ. Note that if C 0 = 1 and θ = 1, this last condition is just the triangle inequality.
5 Slight Generalization Instead of assuming that µ(b(x, r)) r, we could have assumed that µ(b(x, r)) r d, where d > 0. However, in [MS79], Macias and Segovia proved that for d > 0, one can always find a quasi-metric ρ giving the same topology as ρ such that µ(b(x, r)) r, so throughout the paper the authors assume that d = 1.
6 Example From the definition, it is clear that R is a space of homogeneous type. By the result of [MS79], it is clear that R d is a space of homogeneous type for any natural number d.
7 Difficulties with spaces of Homogeneous Type The main difficulty of working on spaces of homogeneous type is that there are no translations or dilations, and no Fourier transform. Thus, the challenge is to find methods to prove results without using these basic tools. The paper in question relies heavily on Littlewood-Paley theory and a discrete Calderón reproducing formula for spaces of homogeneous type.
8 Dyadic Decomposition There exists a collection {Q k a X : k Z, a I k } of open subsets, called cubes, where I k is some index set, as well as constants C 1, C 2 > 0 such that 1 For each fixed k, we have µ(x \ a Qa k ) = 0, and Qa k Qb k = if a b, 2 For any a, b, k, l with l k, either Q l b Qk a or Q l b and Qk a are disjoint, 3 For each pair of k and a, there is a unique b such that Q k a Q l b, 4 diam(q k a ) C 1 (1/2) k 5 each Q k a contains some ball of radius C 2 (1/2) k.
9 More on Dyadic Decomposition Fix some large positive integer J. Let k Z and τ I k. We denote by N(k, τ) the number of cubes Qα k+j that are contained in Qτ k, and we denote such a cube by Qτ k,v, where 1 v N(k, τ).
10 Approximations to the Identity I A sequence {S k } k Z is said to be an approximation to the identity of order ɛ, where 0 < ɛ θ, if there is some constant C such that the kernel S k (x, y) of S k satisfies 1 2 kɛ S k (x, y) C (2 k + ρ(x, y)) 1+ɛ, 2 For ρ(x, x ) (1/2A)(2 k + ρ(x, y)), we have ( ρ(x, x S k (x, y) S k (x ) ) ɛ 2 kɛ, y) C 2 k + ρ(x, y) (2 k + ρ(x, y)) 1+ɛ 3 For ρ(y, y ) (1/2A)(2 k + ρ(x, y)), we have ( ρ(y, y S k (x, y) S k (x, y ) ) ɛ 2 kɛ ) C 2 k + ρ(x, y) (2 k + ρ(x, y)) 1+ɛ
11 Approximations to the Identity II 4 For ρ(x, x ), ρ(y, y ) (1/2A)(2 k + ρ(x, y)) we have C S k (x, y) S k (x, y ) S k (x, y) + S k (x, y ) ( ρ(x, x ) ) ɛ ( ρ(y, y ) ) ɛ 2 kɛ 2 k + ρ(x, y) 2 k + ρ(x, y) (2 k + ρ(x, y)) 1+ɛ 5 S k (x, y) dµ(y) = X X S k (x, y) dµ(x) = 1
12 Analogy As k increases, the kernels S k (x, y) become more concentrated around the diagonal x = y. The approximation to the identity S k (x, y) is analogous to the Poisson kernel P 2 k (x y) on the upper half plane.
13 One-parameter Test Functions I Fix β, γ, r > 0. A function f defined on X is said to be a test function of type (β, γ) centered at x 0 X with width r if there is a constant C > 0 such that f satisfies the following conditions: 1 r γ f (x) C (r + ρ(x, x 0 )) 1+γ 2 If ρ(x, x ) 1 2A (r + ρ(x, x 0)) then ( ρ(x, x f (x) f (x ) ) β r γ ) C r + ρ(x, x 0 ) (r + ρ(x, x 0 )) 1+γ 3 X f (x) dµ(x) = 0.
14 One-parameter Test Functions II If f is such a test function, we say f G(x 0, r, β, γ) and we define its norm to be the infimum over the set of all C for which conditions 1 and 2 hold.
15 Two-Parameter Test Functions I For i = 1, 2, fix γ i, β i, r i > 0 and let (x 0, y 0 ) X X. We say that a function f defined on X X is a test function of type (β 1, β 2, γ 1, γ 2 ) centered at (x 0, y 0 ) and with widths (r 1, r 2 ) if there is a constant C > 0 such that 1 r γ 2 2 f (, y) G(x0,r 1,β 1,γ 1 ) C (r 2 + ρ(y, y 0 )) 1+γ, 2 2 For ρ(y, y ) 1 2A (r 2 + ρ(y, y 0 )) we have f (, y) f (, y ) G(x0,r 1,β 1,γ 1 ) ( ρ(y, y ) ) β2 r γ 2 2 C r 2 + ρ(y, y 0 ) (r 2 + ρ(y, y 0 )) 1+γ, 2 3 Condition 1 should hold with the roles of x and y reversed. 4 Condition 2 should hold with the roles of x and y reversed.
16 Two-Parameter Test Functions II We denote this space of test functions by G(x 0, y 0 ; r 1, r 2 ; β 1, β 2 ; γ 1, γ 2 ) and define the norm in this space to be the smallest C such that the above definition holds.
17 The Space G It is not difficult to see that no matter which x 0 and y 0 we choose, we get the same space of functions with equivalent norm. We choose some fixed (x 0, y 0 ) and let G(β 1, β 2 ; γ 1, γ 2 ) = G(x 0, y 0 ; 1, 1; β 1, β 2 ; γ 1, γ 2 ). If 0 < β 1, β 2, γ 1, γ 2 < θ, we define the space G(β 1, β 2 ; γ 1, γ 2 ) to be the completion of G(θ, θ; θ, θ) in G(β 1, β 2 ; γ 1, γ 2 ). Note that G(β 1, β 2 ; γ 1, γ 2 ) is a Banach space.
18 Littlewood-Paley We define the Littlewood-Paley operators D k as S k S k 1, where S is an approximation of the identity. We can now define the Littlewood-Paley-Stein square function by g(f )(x 1, x 2 ) = j= k= D j D k (f )(x 1, x 2 ) 2 It can be show that, for f L p for 1 < p <, we have g(f ) p f p. 1/2.
19 H p Spaces Let {S k } be an approximation to the identity of order θ. 1 Suppose that 1+θ < p 1 and 1 p 1 < β i, γ i < θ. Then we define the Hardy space H p (X X ) to be the set of all f ( G(β1, β 2, γ 1, γ 2 )) such that g(f ) L p (X X ) <. We define f H p (X X ) = g(f ) L p (X X )
20 The Carleson Measure Spaces CMO p Let β i, γ i, etc. be as before. The Carleson measure space CMO p (X X ) is the set of all f ( G(β 1, β 2, γ 1, γ 2 )) such that ( 1 sup D Ω µ(ω) 2 p 1 k1 D k2 (f )(x, y) 2 Ω χ Q k 1,v 1 Q k 1,v 1 τ 1 Q k 2,v 2 τ 2 Ω (x)χ k τ 1 Q 2,v 2 (y) dµ(x)dµ(y) τ 2 ) 1/2 is finite. The above expression defines the norm in CMO p.
21 Some Intuition The above definition can be though of as analogous to the single parameter case on R, where φ BMO if and only if u 2 y dx dy is a Carleson measure, where u is the harmonic extension of φ to the upper half plane.
22 Classical Calderón Reproducing Formula f (x) = 0 (ψ t ψ t f )(x) dt t where ψ t (x) = t n ψ(x/t). Also, we assume that ψ is real, 2 dt radial, and well behaved, and that ( ψ(tx)) = 1 for all 0 t x 0. This is not difficult to prove by using the Fourier transform.
23 Discreet Calderón Reproducing Formula Let R denote an arbitrary dyadic rectangle of the form Q k 1,v 1 τ 1 Q k 2,v 2 τ 2. Let the notation be the same as above. For each R, choose a point (x, y ) R. Then there are families of linear operators { D k } and {D k } such that f (x, y) = R = R µ(r) D k1 Dk2 (x, y, x, y )D k1 D k2 (f )(x, y ) µ(r)d k1 D k2 (x, y, x, y )D k1 D k2 (f )(x, y ),
24 The Main Result The dual space of H p is CMO p if θ = p 0 < p 1. (Recall that θ is a parameter measuring the regularity of the space of Homogeneous type. The higher θ, the more regular the space is
25 Sequence Spaces The sequence space s p is defined to be the space of all complex valued sequences {λ k Q 1,v 1 } such that τ 1 Q k 2,v 2 τ 2 [ ( λ s p = λr χ R ( ) ) ] 1/2 2 Here χ R = µ(r) 1/2 χ R. R <. L p
26 Sequence Spaces The sequence space c p is the space of all sequences {t k Q 1,v 1 } such that τ 1 Q k 2,v 2 τ 2 t c p = sup Ω (µ(ω) 1 (2/p) 1/2 ( t R χ(x, y)) dµ(x)dµ(y)) 2 <. Ω R Ω
27 Notice the Similarity [ ( λ s p = λr χ R ( ) ) ] 1/2 2 <. R L p 1/2 f H p = D j D k (f )(x 1, x 2 ) 2 j= k= 1/2.
28 Notice the Similarity t c p = sup Ω ( 1 µ(ω) 2 p 1 1/2 ( t R χ(x, y)) dµ(x)dµ(y)) 2. Ω R Ω f CMO p = ( 1 sup Ω µ(ω) 2 p 1 D k1 D k2 (f )(x, y) 2 χ R (x, y) dµ(x)dµ(y) Ω R Ω ) 1/2
29 Duality The authors show that the dual of s p is c p. To do this, they use inequalities involving the Hardy-Littlewood maximal function and also use the duality properties of certain weighted l 2 spaces related to both s p and c p.
30 Min-Max for Hardy Spaces I Let all notation be the same as in definition 2.6. Let {P k } be another approximation to the identity of order θ, and let E k denote the corresponding Littlewood-Paley operators. Suppose that 1 1+θ < p 1 and 1 p 1 < β i, γ i < θ. Then there is a constant C > 0 such that for all f ( G(β1, β 2, γ 1, γ 2 )), we have
31 Min-Max for Hardy Spaces II ( k 1 = k 2 = τ 1 I k1 τ 2 I k2 N(k 1,τ 1 ) v 1 =1 N(k 2,τ 2 ) v 2 =1 sup z Q k 1,v 1 τ 1,w Q k 2,v 2 τ 2 D k1 D k2 (f )(z, w) 2 χ k Q 1,v 1 (x)χ k τ 1 Q 2,v 2 (y) τ 2 ( N(k 1,τ 1 ) N(k 2,τ 2 ) C k 1 = k 2 = τ 1 I k1 τ 2 I k2 v 1 =1 v 2 =1 ) 1/2 L p inf z Q k 1,v 1 τ 1,w Q k 2,v 2 τ 2 E k1 E k2 (f )(z, w) 2 χ k Q 1,v 1 (x)χ k τ 1 Q 2,v 2 (y) τ 2 ) 1/2 where the integration for the L p norm is respect to dµ(x)dµ(y). L p
32 Min-Max for Hardy Spaces III This lemma is very useful for several reasons. It lets one show that the definition of H p given does not depend on the choice of approximation to the identity. To see this, note that the left hand side is greater than the H p norm with operators D k, and the right side is less than C times the H p norm with operators E k. Also, the lemma in question allows one to approximate the integration defining the L p norm of the g function by a sort of Riemann sum. The lemma states that it does not matter whether we take the smallest or largest possible Riemann sum, we still get an equivalent norm. Of course, the sums in the lemma are infinite. As the coefficient k gets larger, we need to sum over smaller and smaller dyadic boxes Qτ k,v. This lemma allows us to relate Hardy space functions to sequences, which is crucial in proving duality.
33 Min-Max for CMO p I A very important theorem is the Min-Max comparison principle for CMO p. For ease of notation, let R denote an arbitrary dyadic rectangle Q k 1,v 1 τ 1 Q k 2,v 2 τ 2. If 2/(2 + θ) < p 1, then there is some constant C > 0 such that ( ) 1/2 1 sup µ(r) sup D Ω µ(ω) 2 p 1 k1 D k2 (f )(x, y) 2 R Ω (x,y) R ( C sup Ω 1 µ(ω) 2 p 1 µ(r) inf D k 1 D k2 (f )(x, y) 2 (x,y) R R Ω where R = Q k 1,ν 1 τ 1 Q k 2,ν 2 τ 2. ) 1/2
34 Min-Max for CMO p II In fact, one can use different approximations to the identity on the left and right side of the inequality, which allows us to see that the CMO spaces are well defined. As before, another reason this theorem is important is because it allows us to consider a sort of Riemann sum instead of integration in the definition of CMO. This allows us to relate the CMO spaces to sequences, which again is key to proving the duality.
35 Discreet Calderón Reproducing Formula Let R denote an arbitrary dyadic rectangle of the form Q k 1,v 1 τ 1 Q k 2,v 2 τ 2. Let the notation be the same as above. For each R, choose a point (x, y ) R. Then there are families of linear operators { D k } and {D k } such that f (x, y) = R = R µ(r) D k1 Dk2 (x, y, x, y )D k1 D k2 (f )(x, y ) µ(r)d k1 D k2 (x, y, x, y )D k1 D k2 (f )(x, y ),
36 Overview of Proof of Min-Max for CMO 1 Choose (x, y ) to be the point where D k1 D k2 (f )(x, y) is minimized in R. 2 Apply D k1 D k2 to both sides of the Discrete Calderón Reproducing Formula. 3 We obtain an expression that can be used to relate the left side of the inequality in the Min-Max Theorem to something resembling the right side. 4 Change the order of summation and carefully consider the various geometric quantities involved to prove the Min-Max Theorem.
37 The Lifting Operator Define the lifting operator { } S D (f ) = µ(q k 1,ν 1 τ 1 ) 1/2 µ(q k 2,ν 2 τ 2 ) 1/2 D k1 D k2 (f )(y 1, y 2 ), which maps elements of ( G(β 1, β 2 ; γ 1, γ 2 )) into sequences. Here y j is the center of Q k j,ν j τ j. Also, 0 < β j, γ j < θ.
38 The Projection Operator For any sequence, we define the projection operator by T D(s)(x 1, x 2 ) = k 1 = k 2 = τ 1 I k1 τ 2 I k2 N(k 1,τ 1 ) ν 1 =1 N(k 2,τ 2 ) ν 2 =1 s Q k 1,ν 1 τ 1 Q k 2,ν 2 τ 2 µ(q k 1,ν 1 τ 1 ) 1/2 µ(q k 2,ν 2 τ 2 ) 1/2 Dk1 Dk2 (x 1, x 2, y 1, y 2 ) The D k are the kernels of the operators associated with the D k by the Calderón reproducing formula.
39 Relating H p to the s p Let θ < p 1. For any f Hp (X X ), Also, for any s s p, S D (f ) s p C f H p. T D(s) H p C s s p. In addition, T D S D equals the identity on H p.
40 Relating CMO p to c p Let θ < p 1. For any f CMOp, Also, for any t c p, S D (f ) s p C f CMO p. T D(t) CMO p C t c p. In addition, T D S D equals the identity on CMO p.
41 A Word About the Proofs The proofs of these two statements are similar to the proof of the Min-Max inequalities. Also, note that the adjoint of S D is T D and the adjoint of T D is S D. The fact that (H p ) = CMO p follows fairly easily from the above statements about the lifting and projection operators, and from the fact that (s p ) = c p.
42 Overview of the Proof of Duality of s p and c p First, we need to show that s R t R s s p t c p. R Define the { sets Ω k = (x 1, x 2 ) : ( R ( s R χ R (x 1, x 2 )) 2) } 1/2 > 2 k } B k = {R : µ(ω k R) > 1 2 µ(r), µ(ω k+1 R) 1 2 µ(r) { } Ω k = (x, y) : M s (χ Ωk ) > 1 2 where M s is the strong maximal function.
43 Duality of s p and c p s R t R p/2 s R 2 p/2 1/p t R 2 R k R Bk R Bk µ( Ω k ) 1 p 2 p/2 p/2 1/p s R 2 1 t k R Bk µ( Ω k ) 2 R 2 p 1 R Ω k p/2 1/p µ( Ω k ) 1 p 2 s R 2 t c p k R Bk
44 1 2 R B k s R 2 R B k s R 2 µ(r) µ(r) R B k s R 2 µ(r) 1 µ( Ω k \ Ω k+1 R) Ω k \Ω k+1 R B k ( s R χ R (x)) 2 dµ(x) 2 2(k+1) µ( Ω k \ Ω k+1 ) C2 2k µ(ω k ) Substitute back into the previous slide to see that 1 s t c p R t R C 2 kp µ( Ω k ) C 2 kp µ(ω k ) C s s p R k k Thus L C t c p.
45 Other Direction of Duality Now we have shown that c p (s p ), and we need to show the other direction. Define s i R = 1 when R = R i and s i r = 0 otherwise. Then s i R s p = 1. We can write s = {s R } = i s R i s i R i. For L (s p ), define a sequence t by t Ri = L(s i ). Then L(s) = R s Rt R. Need to show that t c p L.
46 l 2 (µ) Spaces For fixed Ω, define µ(r) = µ(r) µ(ω). Define s l 2 (µ) = ( R Ω Then (l 2 (µ)) = l 2 (µ). s R 2 µ(r) µ(ω) p 2 1 ) 1/2 This will allow us to estimate norms of sequences in c p by using l 2 (µ) duality.
47 l 2 (µ) Spaces I ( ) 1/2 1 t µ(ω) p 2 1 R 2 = µ(r) 1/2 t R l 2 (µ) R Ω = sup ( t s: s l 2 (µ) 1 R µ(r) 1/2 µ(r) )s R R Ω µ(ω) p 2 1 ( ) sup s: s l 2 (µ) 1 L χ R Ω (R) µ(r)1/2 s R µ(ω) p 2 1 sup L s: s l 2 (µ) 1 χ R Ω(R) µ(r)1/2 s R µ(ω) p 2 1 s p
48 l 2 (µ) Spaces II But by Hölder s Inequality, this is less than or equal to So t c p L. sup L s: s l 2 (µ) 1 ( R Ω ) 1/2 s R 2 µ(r) µ(ω) p 2 1 sup L s l 2 (µ) L. s: s l 2 (µ) 1
49 Some Words About the Min-Max Inequality The Min-Max Inequalities for H p and for CMO p are crucial to the paper. Recall: If 2/(2 + θ) < p 1, then there is some constant C > 0 such that sup Ω ( C sup Ω 1 µ(ω) 2 p 1 ( 1 µ(ω) 2 p 1 R Ω ) 1/2 µ(r) sup D k1 D k2 (f )(x, y) 2 (x,y) R µ(r) inf D k 1 D k2 (f )(x, y) 2 (x,y) R R Ω where R = Q k 1,ν 1 τ 1 Q k 2,ν 2 τ 2. ) 1/2
50 Discreet Calderón Reproducing Formula Let R denote an arbitrary dyadic rectangle of the form Q k 1,v 1 τ 1 Q k 2,v 2 τ 2. Let the notation be the same as above. For each R, choose a point (x, y ) R. Then there are families of linear operators { D k } and {D k } such that f (x, y) = R = R µ(r) D k1 Dk2 (x, y, x, y )D k1 D k2 (f )(x, y ) µ(r)d k1 D k2 (x, y, x, y )D k1 D k2 (f )(x, y ),
51 Overview of Proof of Min-Max for CMO 1 Choose (x, y ) to be the point where D k1 D k2 (f )(x, y) is minimized in R. 2 Apply D k1 D k2 to both sides of the Discrete Calderón Reproducing Formula. 3 We obtain an expression that can be used to relate the left side of the inequality in the Min-Max Theorem to something resembling the right side. 4 Change the order of summation and carefully consider the various geometric quantities involved to prove the Min-Max Theorem.
52 Almost Orthogonality Almost orthogonality of D j Dk : D j Dk (x, y) C2 k j ε 2 min(k,j)θ (2 min(k,j) + ρ(x, y)) 1+θ where 0 < ε < θ Basically, D j Dk (x, y) is small if k and j are far apart, or if x and y are far apart. Now we apply D k1 D k2 to both sides of the Calderon Reproducing Formula, where x and y are chosen such that D k1 D k2 (f )(x, y ) is minimized in R. Use the almost orthogonality to get an estimate.
53 Some Notation R = Q k 1,ν 1 τ 1 Q k 2,ν 2 τ 2, S R = sup (x,y) R D k1 D k2 (f )(x, y) 2 T R = inf (x,y) R D k1 D k2 (f )(x, y) 2 v(r, R ) and r(r, R ) and P(R, R ) are geometric quantities depending on µ and the rectangles R and R.
54 By using the estimate obtained earlier and analysis of the geometric quantities involved, we find that the left side of the Min-Max inequality, which is is bounded by 1 µ(ω) 2 p 1 1 µ(ω) 2 p 1 R Ω µ(r)s R R Ω R v(r, R )r(r, R )P(R, R )T R. To finish the proof, we want to show that this is bounded by sup Ω 1 µ(ω ) 2 p 1 R Ω µ(r)t R where Ω ranges over all open sets with finite measure.
55 Let Ω 0 = R Ω 3A2 R. For each R, we consider smallest j, k 0 such that 3A 2 2 j Q 1 3A2 2 k Q 2 intersects 3A2 R. Here R = Q 1 Q 2. We divide the R into different classes based on the values of j and k. We switch orders of summation. Divide the R into even more classes based on what fraction of their area lies in Ω 0. We estimate the geometric quantities v, r, and P for the various classes. Eventually, after analyzing many different cases, we get the estimate we want.
56 Yongsheng Han, Ji Li, and Guozhen Lu. Duality of multiparameter Hardy spaces Hp on spaces of homogeneous type. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 9(4): , Roberto A. Macías and Carlos Segovia. Lipschitz functions on spaces of homogeneous type. Adv. in Math., 33(3): , 1979.
Some recent works on multi-parameter Hardy space theory and discrete Littlewood-Paley Analysis
Some recent works on multi-parameter Hardy space theory and discrete Littlewood-Paley Analysis Yongsheng Han and Guozhen Lu Dedicated to Professor Guangchang Dong on the occasion of his 80th birthday Abstract
More informationHardy spaces associated to operators satisfying Davies-Gaffney estimates and bounded holomorphic functional calculus.
Hardy spaces associated to operators satisfying Davies-Gaffney estimates and bounded holomorphic functional calculus. Xuan Thinh Duong (Macquarie University, Australia) Joint work with Ji Li, Zhongshan
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 information2 (Bonus). 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 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
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 informationA RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS. Zhongwei Shen
A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS Zhongwei Shen Abstract. Let L = diva be a real, symmetric second order elliptic operator with bounded measurable coefficients.
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 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 informationDISCRETE LITTLEWOOD-PALEY-STEIN THEORY AND MULTI-PARAMETER HARDY SPACES ASSOCIATED WITH FLAG SINGULAR INTEGRALS
DSCRETE LTTLEWOOD-PALEY-STEN THEORY AND MULT-PARAMETER HARDY SPACES ASSOCATED WTH LAG SNGULAR NTEGRALS Yongsheng Han Department of Mathematics Auburn University Auburn, AL 36849, U.S.A E-mail: hanyong@mail.auburn.edu
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 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 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 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 informationBalls as Subspaces of Homogeneous Type: On a Construction due to R. Macías and C. Segovia
Balls as Subspaces of Homogeneous Type: On a Construction due to R. Macías and C. Segovia Hugo Aimar Instituto de Matemática Aplicada del Litoral, CONICET and Universidad Nacional del Litoral, Güemes 3450,
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 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 informationGood Lambda Inequalities and Riesz Potentials for Non Doubling Measures in R n
Good Lambda Inequalities and Riesz Potentials for Non Doubling Measures in R n Mukta Bhandari mukta@math.ksu.edu Advisor Professor Charles Moore Department of Mathematics Kansas State University Prairie
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 informationA NOTE ON CORRELATION AND LOCAL DIMENSIONS
A NOTE ON CORRELATION AND LOCAL DIMENSIONS JIAOJIAO YANG, ANTTI KÄENMÄKI, AND MIN WU Abstract Under very mild assumptions, we give formulas for the correlation and local dimensions of measures on the limit
More informationLOUKAS GRAFAKOS, LIGUANG LIU, DIEGO MALDONADO and DACHUN YANG. Multilinear analysis on metric spaces
LOUKAS GRAFAKOS, LIGUANG LIU, DIEGO MALDONADO and DACHUN YANG Multilinear analysis on metric spaces Loukas Grafakos Department of Mathematics University of Missouri Columbia, MO 652, USA E-mail: grafakosl@missouri.edu
More informationLecture No 1 Introduction to Diffusion equations The heat equat
Lecture No 1 Introduction to Diffusion equations The heat equation Columbia University IAS summer program June, 2009 Outline of the lectures We will discuss some basic models of diffusion equations and
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
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 informationSCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE
SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE BETSY STOVALL Abstract. This result sharpens the bilinear to linear deduction of Lee and Vargas for extension estimates on the hyperbolic paraboloid
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
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 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 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 informationProblem Set 1: Solutions Math 201A: Fall Problem 1. Let (X, d) be a metric space. (a) Prove the reverse triangle inequality: for every x, y, z X
Problem Set 1: s Math 201A: Fall 2016 Problem 1. Let (X, d) be a metric space. (a) Prove the reverse triangle inequality: for every x, y, z X d(x, y) d(x, z) d(z, y). (b) Prove that if x n x and y n y
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important
More informationCARLESON MEASURES AND DOUGLAS QUESTION ON THE BERGMAN SPACE. Department of Mathematics, University of Toledo, Toledo, OH ANTHONY VASATURO
CARLESON MEASURES AN OUGLAS QUESTION ON THE BERGMAN SPACE ŽELJKO ČUČKOVIĆ epartment of Mathematics, University of Toledo, Toledo, OH 43606 ANTHONY VASATURO epartment of Mathematics, University of Toledo,
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationOrthonormal bases of regular wavelets in spaces of homogenous type
Orthonormal bases of regular wavelets in spaces of homogenous type P. Auscher 1 1 Université Paris-Sud 19/11/15 joint work with Tuomas Hytönen (ACHA, 2012) quasi-metric geometrically doubling space X set,
More informationSHARP L p WEIGHTED SOBOLEV INEQUALITIES
Annales de l Institut de Fourier (3) 45 (995), 6. SHARP L p WEIGHTED SOBOLEV INEUALITIES Carlos Pérez Departmento de Matemáticas Universidad Autónoma de Madrid 28049 Madrid, Spain e mail: cperezmo@ccuam3.sdi.uam.es
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 informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationWEIGHTED REVERSE WEAK TYPE INEQUALITY FOR GENERAL MAXIMAL FUNCTIONS
GEORGIAN MATHEMATICAL JOURNAL: Vol. 2, No. 3, 995, 277-290 WEIGHTED REVERSE WEAK TYPE INEQUALITY FOR GENERAL MAXIMAL FUNCTIONS J. GENEBASHVILI Abstract. Necessary and sufficient conditions are found to
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationOrthonormal bases of regular wavelets in metric and quasi-metric spaces
Orthonormal bases of regular wavelets in metric and quasi-metric spaces P. Auscher 1 1 Université Paris-Sud, France Conference in honor of Aline Bonami 13/06/14 joint work with Tuomas Hytönen (ACHA, 2012)
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
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 informationON A MEASURE THEORETIC AREA FORMULA
ON A MEASURE THEORETIC AREA FORMULA VALENTINO MAGNANI Abstract. We review some classical differentiation theorems for measures, showing how they can be turned into an integral representation of a Borel
More informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
More informationRadial Maximal Function Characterizations for Hardy Spaces on RD-spaces
Radial Maximal Function Characterizations for Hardy Spaces on RD-spaces Loukas Grafakos Liguang Liu and Dachun Yang Abstract An RD-space X is a space of homogeneous type in the sense of Coifman and Weiss
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More information(b) If f L p (R), with 1 < p, then Mf L p (R) and. Mf L p (R) C(p) f L p (R) with C(p) depending only on p.
Lecture 3: Carleson Measures via Harmonic Analysis Much of the argument from this section is taken from the book by Garnett, []. The interested reader can also see variants of this argument in the book
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 informationTopology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski
Topology, Math 581, Fall 2017 last updated: November 24, 2017 1 Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Class of August 17: Course and syllabus overview. Topology
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationMichael Lacey and Christoph Thiele. f(ξ)e 2πiξx dξ
Mathematical Research Letters 7, 36 370 (2000) A PROOF OF BOUNDEDNESS OF THE CARLESON OPERATOR Michael Lacey and Christoph Thiele Abstract. We give a simplified proof that the Carleson operator is of weaktype
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More information4th Preparation Sheet - Solutions
Prof. Dr. Rainer Dahlhaus Probability Theory Summer term 017 4th Preparation Sheet - Solutions Remark: Throughout the exercise sheet we use the two equivalent definitions of separability of a metric space
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 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 informationThe Discrepancy Function and the Small Ball Inequality in Higher Dimensions
The Discrepancy Function and the Small Ball Inequality in Higher Dimensions Dmitriy Georgia Institute of Technology (joint work with M. Lacey and A. Vagharshakyan) 2007 Fall AMS Western Section Meeting
More informationWeighted Littlewood-Paley inequalities
Nicolaus Copernicus University, Toruń, Poland 3-7 June 2013, Herrnhut, Germany for every interval I in R let S I denote the partial sum operator, i.e., (S I f ) = χ I f (f L2 (R)), for an arbitrary family
More informationELEMENTS OF PROBABILITY THEORY
ELEMENTS OF PROBABILITY THEORY Elements of Probability Theory A collection of subsets of a set Ω is called a σ algebra if it contains Ω and is closed under the operations of taking complements and countable
More informationPoincaré inequalities that fail
ي ۆ Poincaré inequalities that fail to constitute an open-ended condition Lukáš Malý Workshop on Geometric Measure Theory July 14, 2017 Poincaré inequalities Setting Let (X, d, µ) be a complete metric
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationMathematics for Economists
Mathematics for Economists Victor Filipe Sao Paulo School of Economics FGV Metric Spaces: Basic Definitions Victor Filipe (EESP/FGV) Mathematics for Economists Jan.-Feb. 2017 1 / 34 Definitions and Examples
More informationClassical Fourier Analysis
Loukas Grafakos Classical Fourier Analysis Second Edition 4y Springer 1 IP Spaces and Interpolation 1 1.1 V and Weak IP 1 1.1.1 The Distribution Function 2 1.1.2 Convergence in Measure 5 1.1.3 A First
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationHomework 11. Solutions
Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue
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 informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
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 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 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 informationParaproducts in One and Several Variables M. Lacey and J. Metcalfe
Paraproducts in One and Several Variables M. Lacey and J. Metcalfe Kelly Bickel Washington University St. Louis, Missouri 63130 IAS Workshop on Multiparameter Harmonic Analysis June 19, 2012 What is a
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
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 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 informationJUHA KINNUNEN. Real Analysis
JUH KINNUNEN Real nalysis Department of Mathematics and Systems nalysis, alto University Updated 3 pril 206 Contents L p spaces. L p functions..................................2 L p norm....................................
More informationEcon Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n
Econ 204 2011 Lecture 3 Outline 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n 1 Metric Spaces and Metrics Generalize distance and length notions
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationFunctional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
More informationHardy spaces with variable exponents and generalized Campanato spaces
Hardy spaces with variable exponents and generalized Campanato spaces Yoshihiro Sawano 1 1 Tokyo Metropolitan University Faculdade de Ciencias da Universidade do Porto Special Session 49 Recent Advances
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationarxiv: v3 [math.ca] 9 Apr 2015
ON THE PRODUCT OF FUNCTIONS IN BMO AND H 1 OVER SPACES OF HOMOGENEOUS TYPE ariv:1407.0280v3 [math.ca] 9 Apr 2015 LUONG DANG KY Abstract. Let be an RD-space, which means that is a space of homogeneous type
More informationON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES
Vasile Alecsandri University of Bacău Faculty of Sciences Scientific Studies and Research Series Mathematics and Informatics Vol. 27207), No., 49-60 ON A MAXIMAL OPRATOR IN RARRANGMNT INVARIANT BANACH
More informationClassical Fourier Analysis
Loukas Grafakos Classical Fourier Analysis Third Edition ~Springer 1 V' Spaces and Interpolation 1 1.1 V' and Weak V'............................................ 1 1.1.l The Distribution Function.............................
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 informationSet, functions and Euclidean space. Seungjin Han
Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationRectifiability of sets and measures
Rectifiability of sets and measures Tatiana Toro University of Washington IMPA February 7, 206 Tatiana Toro (University of Washington) Structure of n-uniform measure in R m February 7, 206 / 23 State of
More informationLEBESGUE MEASURE AND L2 SPACE. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L 2 Space 4 Acknowledgments 9 References 9
LBSGU MASUR AND L2 SPAC. ANNI WANG Abstract. This paper begins with an introduction to measure spaces and the Lebesgue theory of measure and integration. Several important theorems regarding the Lebesgue
More informationQuadratic estimates and perturbations of Dirac type operators on doubling measure metric spaces
Quadratic estimates and perturbations of Dirac type operators on doubling measure metric spaces Lashi Bandara maths.anu.edu.au/~bandara Mathematical Sciences Institute Australian National University February
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 informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationNonlocal self-improving properties
Nonlocal self-improving properties Tuomo Kuusi (Aalto University) July 23rd, 2015 Frontiers of Mathematics And Applications IV UIMP 2015 Part 1: The local setting Self-improving properties: Meyers estimate
More informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More informationTYPICAL BOREL MEASURES ON [0, 1] d SATISFY A MULTIFRACTAL FORMALISM
TYPICAL BOREL MEASURES ON [0, 1] d SATISFY A MULTIFRACTAL FORMALISM Abstract. In this article, we prove that in the Baire category sense, measures supported by the unit cube of R d typically satisfy a
More information18.175: Lecture 2 Extension theorems, random variables, distributions
18.175: Lecture 2 Extension theorems, random variables, distributions Scott Sheffield MIT Outline Extension theorems Characterizing measures on R d Random variables Outline Extension theorems Characterizing
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More information