A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES
|
|
- Isabel Eaton
- 6 years ago
- Views:
Transcription
1 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, in the classical setting on. The new method can be used to establish atomic decomposition of maximal Hardy spaces in general and nonclassical settings. 1. Introduction The study of the real-variable Hardy spaces H p, 0 < p 1, on was pioneered by Stein and Weiss [6] and a major step forward in developing this theory was made by Fefferman and Stein in [3], see also [5]. Since then there has been a great deal of wo done on Hardy spaces. The atomic decomposition of H p was first established by Coifman [1] in dimension n = 1 and by Latter [4] in dimensions n > 1. The purpose of this article is to give a new proof of the atomic decomposition of the H p spaces in the classical setting on. Our method does not use the Calderón- Zygmund decomposition of functions and an approximation of the identity as the classical argument does, see [5]. The main advantage of the new proof over the classical one is that it is amenable to utilization in more general and nonclassical settings. For instance, it is used in [2] for establishing the equivalence of maximal and atomic Hardy spaces in the general setting of a metric measure space with the doubling property and in the presence of a non-negative self-adjoint operator whose heat kernel has Gaussian localization and the Maov property. Notation. For a set E we will denote E + B(0, δ) := x E B(x, δ), where B(x, δ) stands for the open ball centered at x of radius δ. We will also use the notation cb(x, δ) := B(x, cδ). Positive constants will be denoted by c, c 1,... and they may vary at every occurrence; a b will stand for c 1 a/b c Maximal operators and H p spaces. We begin by recalling some basic facts about Hardy spaces on. For a complete account of Hardy spaces we refer the reader to [5]. Given φ S with S being the Schwartz class on and f S one defines (1.1) M φ f(x) := sup φ t f(x) with φ t (x) := t n φ(t 1 x), and t>0 (1.2) M φ,af(x) := sup t>0 sup y, x y at We now recall the grand maximal operator. Write φ t f(y), a 1. P N (φ) := sup (1 + x ) N max x α N+1 α φ(x) 2010 Mathematics Subject Classification. Primary 42B30. Key words and phrases. Hardy spaces, Atomic decomposition. 1
2 2 S. DEKEL, G. KERKYACHARIAN, G. KYRIAZIS, AND P. PETRUSHEV and denote F N := {φ S : P N (φ) 1}. The grand maximal operator is defined by (1.3) M N f(x) := sup φ F N M φ,1f(x), f S. It is easy to see that for any φ S and a 1 one has (1.4) M φ,af(x) a N P N (φ)m N f(x), f S. Definition 1.1. The space H p, 0 < p 1, is defined as the set of all bounded distributions f S such that the Poisson maximal function sup t>0 P t f(x) belongs to L p ; the quasi-norm on H p is defined by (1.5) f H p := sup P t f( ) L p. t>0 As is well known the following assertion holds, see [3, 5]: Proposition 1.2. Let 0 < p 1, a 1, and assume φ S and φ 0. Then for any N n p + 1 (1.6) f H p M φ,af L p M N f L p, f H p Atomic H p spaces. A function a L ( ) is called an atom if there exists a ball B such that (i) supp a B, (ii) a L B 1/p, and (iii) x α a(x)dx = 0 for all α with α n(p 1 1). The atomic Hardy space H p A, 0 < p 1, is defined as the set of all distributions f S that can be represented in the form (1.7) f = λ j a j, where λ j p <, j=1 j=1 {a j } are atoms, and the convergence is in S. Set (1.8) f H p := inf A f= j λjaj ( j=1 λ j p) 1/p, f H p A. 2. Atomic decomposition of H p spaces We now come to the main point in this article, that is, to give a new proof of the following classical result [1, 4], see also [5]: Theorem 2.1. For any 0 < p 1 the continuous embedding H p H p A is valid, that is, if f H p, then f H p A and (2.1) f H p A c f H p, where c > 0 is a constant depending only on p, n. This along with the easy to prove embedding H p A Hp leads to H p = H p A and f H p f H p A for f Hp. Proof. We first derive a simple decomposition identity which will play a central rôle in this proof. For this construction we need the following
3 A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES 3 Lemma 2.2. For any m 1 there exists a function φ C 0 ( ) such that supp φ B(0, 1), ˆφ(0) = 1, and α ˆφ(0) = 0 for 0 < α m. Here ˆφ(x) := φ(x)e ix ξ dx. Proof. We will construct a function φ with the claimed properties in dimension n = 1. Then a normalized dilation of φ(x 1 )φ(x 2 ) φ(x n ) will have the claimed properties on. For the univariate construction, pick a smooth bump ϕ with the following properties: ϕ C0 (R), supp ϕ [ 1/4, 1/4], ϕ(x) > 0 for x ( 1/4, 1/4), and ϕ is even. Let Θ(x) := ϕ(x + 1/2) ϕ(x 1/2) for x R. Clearly Θ is odd. We may assume that m 1 is even, otherwise we wo with m + 1 instead. Denote m h := (T h T h ) m, where T h f(x) := f(x + h). We define φ(x) := 1 x m 1 h Θ(x), where h = 8m. Clearly, φ C (R), φ is even, and supp φ [ 7 8, 1 8 ] [ 1 8, 7 8 ]. It is readily seen that for ν = 1, 2,..., m ˆφ (ν) (ξ) = ( i) ν x ν 1 m h Θ(x)e iξx dx and hence ˆφ (ν) (0) = ( i) ν On the other hand, ˆφ(0) = φ(x)dx = 2 R R R x ν 1 m h Θ(x)dx = ( i) ν+m 0 R Θ(x) m h x ν 1 dx = 0. 3/4 x 1 m h Θ(x)dx = 2( 1) m Θ(x) m h x 1 dx. However, for any sufficiently smooth function f we have m h f(x) = (2h)m f (m) (ξ), where ξ (x mh, x + mh). Hence, m h x 1 = (2h) m m!( 1) m ξ m 1 with ξ (x mh, x + mh) [1/8, 7/8]. Consequently, ˆφ(0) 0 and then ˆφ(0) 1 φ(x) has the claimed properties. With the aid of the above lemma, we pick φ C0 ( ) with the following properties: supp φ B(0, 1), ˆφ(0) = 1, and α ˆφ(0) = 0 for 0 < α K, where K is sufficiently large. More precisely, we choose K n/p. Set ψ(x) := 2 n φ(2x) φ(x). Then ˆψ(ξ) = ˆφ(ξ/2) ˆφ(ξ). Therefore, α ˆψ(0) = 0 for α K which implies x α ψ(x)dx = 0 for α K. We also introduce the function ψ(x) := 2 n φ(2x) + φ(x). We will use the notation h k (x) := 2 kn h(2 k x). Clearly, for any f S we have f = lim j φ j φ j f (convergence in S ), which leads to the following representation: For any j Z [ f = φ j φ j f + φk+1 φ k+1 f φ k φ k f ] Thus we arrive at (2.2) f = φ j φ j f + = φ j φ j f + k=j 1/4 [ ] [ ] φk+1 φ k φk+1 + φ k f. k=j ψ k ψ k f, f S j Z (convergence in S ). k=j Observe that supp ψ k B(0, 2 k ) and supp ψ k B(0, 2 k ).
4 4 S. DEKEL, G. KERKYACHARIAN, G. KYRIAZIS, AND P. PETRUSHEV In what follows we will utilize the grand maximal operator M N, defined in (1.3) with N := n p + 1. The following claim follows readily from (1.4): If ϕ S, then for any f S, k Z, and x (2.3) ϕ k f(y) cm N f(x) for all y with y x 2 k+1, where the constant c > 0 depends only on P N (ϕ) and N. Let f H p, 0 < p 1, f 0. We define (2.4) Ω r := {x : M N f(x) > 2 r }, r Z. Clearly, Ω r is open, Ω r+1 Ω r, and = r Z Ω r. It is easy to see that (2.5) 2 pr Ω r c M N f(x) p dµ(x) c f p H p. r Z From (2.5) we get Ω r c2 pr f p Hp for r Z. Therefore, for any r Z there exists J > 0 such that φ j φ j f c2 r for j < J. Consequently, φ j φ j f 0 as j, which implies (2.6) f = lim K K k= ψ k ψ k f (convergence in S ). Assuming that Ω r we write := { x Ω r : dist(x, Ω c r) > 2 k+1} \ { x Ω r+1 : dist(x, Ω c r+1) > 2 k+1}. By (2.5) it follows that Ω r < and hence there exists s r Z such that E rsr and = for k < s r. Evidently s r s r+1. We define (2.7) F r (x) := ψ k (x y) k s E ψ k f(y)dy, x, r Z, r and more generally (2.8) F r,κ0,κ 1 (x) := κ 1 k=κ 0 ψ k (x y) ψ k f(y)dy, s r κ 0 κ 1. It will be shown in Lemma 2.3 below that the functions F r and F r,κ0,κ 1 are well defined and F r, F r,κ0,κ 1 L. Note that supp ψ k B(0, 2 k ) and hence ( (2.9) supp ψ k (x y) ψ ) k f(y)dy + B(0, 2 k ). On the other hand, clearly 2B(y, 2 k ) ( ) Ω r \ Ω r+1 for each y E, and P N ( ψ) c. Therefore, see (2.3), ψ k f(y) c2 r for y, which implies (2.10) ψ k ( y) ψ k f(y)dy c2 r, E. Similarly, (2.11) E E φ k ( y) φ k f(y)dy c2 r, E. We collect all we need about the functions F r and F r,κ0,κ 1 in the following
5 A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES 5 Lemma 2.3. (a) We have (2.12) E r k = if r r and = r Z, k Z. (b) There exists a constant c > 0 such that for any r Z and s r κ 0 κ 1 (2.13) F r c2 r, F r,κ0,κ 1 c2 r. (c) The series in (2.7) and (2.8) (if κ 1 = ) converge point-wise and in distributional sense. (d) Moreover, (2.14) F r (x) = 0, x \ Ω r, r Z. Proof. Identities (2.12) are obvious and (2.14) follows readily from (2.9). We next prove the left-hand side inequality in (2.13); the proof of the right-hand side inequality is similar and will be omitted. Consider the case when Ω r+1 (the case when Ω r+1 = is easier). Write U k = { x Ω r : dist(x, Ω c r) > 2 k+1}, V k = { x Ω r+1 : dist(x, Ω c r+1) > 2 k+1}. Observe that = U k \ V k. From (2.9) it follows that F r (x) = 0 for x \ k sr ( + B(0, 2 k )). We next estimate F r (x) for x k sr ( +B(0, 2 k )). Two cases present themselves here. Case 1: x [ k sr ( + B(0, 2 k )) ] Ω r+1. Then there exist ν, l Z such that (2.15) x (U l+1 \ U l ) (V ν+1 \ V ν ). Due to Ω r+1 Ω r we have V k U k, implying (U l+1 \ U l ) (V ν+1 \ V ν ) = if ν < l. We consider two subcases depending on whether ν l + 3 or l ν l + 2. (a) Let ν l + 3. We claim that (2.15) yields (2.16) B(x, 2 k ) = for k ν + 2 or k l 1. Indeed, if k ν + 2, then Ω r \ V ν+2, which implies (2.16), while if k l 1, then U l 1, again implying (2.16). We also claim that (2.17) B(x, 2 k ) for l + 2 k ν 1. Indeed, clearly (U l+1 \ U l ) (V ν+1 \ V ν ) (U k 1 \ U l ) (V ν+1 \ V ν+1 ) U k 1 \ V k+1, which implies (2.17). From (2.9) and (2.16)- (2.17) it follows that ν+1 F r (x) = ψ k (x y) ψ l+1 k f(y)dy = ψ k (x y) ψ k f(y)dy + ν 2 +2 ψ k (x y) ψ k f(y)dy + ν+1 k=ν 1 ψ k (x y) ψ k f(y)dy.
6 6 S. DEKEL, G. KERKYACHARIAN, G. KYRIAZIS, AND P. PETRUSHEV However, ν 2 +2 ψ k (x y) ψ k f(y)dy = ν 2 +2 [ φk+1 φ k+1 f(x) φ k φ k f(x) ] = φ ν 1 φ ν 1 f(x) φ l+2 φ l+2 f(x) = φ ν 1 (x y)φ ν 1 f(y)dy φ l+2 (x y)φ l+2 f(y)dy. E r,ν 1 E r,l+2 Combining the above with (2.10) and (2.11) we obtain F r (x) c2 r. (b) Let l ν l + 2. Just as above we have ν+1 F r (x) = ψ k (x y) ψ l+3 k f(y)dy = ψ k (x y) ψ k f(y)dy We use (2.10) to estimate each of these four integrals and again obtain F r (x) c2 r. Case 2: x Ω r \ Ω r+1. Then there exists l s r such that x (U l+1 \ U l ) (Ω r \ Ω r+1 ). Just as in the proof of (2.16) we have B(x, 2 k ) = for k l 1, and as in the proof of (2.17) we have (U l+1 \ U l ) (Ω r \ Ω r+1 ) U k 1 \ V k+1, which implies B(x, 2 k ) for k l + 2. We use these and (2.9) to obtain F r (x) = ψ k (x y) ψ k f(y)dy l+1 = ψ k (x y) ψ k f(y)dy + ψ k (x y) ψ k f(y)dy. +2 For the last sum we have ψ k (x y) ψ ν k f(y)dy = lim ψ k ψ k f(x) +2 ν +2 ( = lim φν+1 φ ν+1 f(x) φ l+2 φ l+2 f(x)) ν ( ) = lim φ ν+1 (x y)φ ν+1 f(y)dy φ l+2 (x y)φ l+2 f(y)dy. ν E r,ν+1 E r,l+2 From the above and (2.10)-(2.11) we obtain F r (x) c2 r. The point-wise convergence of the series in (2.7) follows from above and we similarly establish the point-wise convergence in (2.8). The convergence in distributional sense in (2.7) relies on the following assertion: For every ϕ S (2.18) g, ϕ <, where g (x) := ψ k (x y) ψ k f(y)dy. k s r Here g, ϕ := g ϕdx. To prove the above we will employ this estimate: (2.19) ψ k f c2 kn/p f H p, k Z.
7 A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES 7 Indeed, using (1.4) we get ψ k f(x) p inf sup ψ k f(z) p inf cm N (f)(y) p y: x y 2 k z: y z 2 k y: x y 2 k c B(x, 2 k ) 1 M N (f)(y) p dµ(y) c2 kn f p H p, B(x,2 k ) and (2.19) follows. We will also need the following estimate: For any σ > n there exists a constant c σ > 0 such that (2.20) ψ k (x y)ϕ(x)dx c σ 2 k(k+1) (1 + y ) σ, y, k 0. This is a standard estimate for inner products taking into account that ϕ S and ψ C, supp ψ B(0, 1), and x α ψ(x)dx = 0 for α K. We now estimate g, ϕ. From (2.19) and the fact that ψ C0 (R) and ϕ S it readily follows that ψ k (x y) ϕ(x) ψ k f(y) dydx <, k s r. Therefore, we can use Fubini s theorem, (2.19), and (2.20) to obtain for k 0 g, ϕ ψ k (x y)ϕ(x)dx ψ k f(y) dy (2.21) c2 k(k+1 n/p) f H p (1 + y ) σ dy c2 k(k+1 n/p) f H p, which implies (2.18) because K n/p. Denote G l := l k=s r g. From the above proof of (b) and (2.13) we infer that G l (x) F r (x) as l for x and G l c2 r < for l s r. On the other hand, from (2.18) it follows that the series k s r g converges in distributional sense. By applying the dominated convergence theorem one easily concludes that F r = k s r g with the convergence in distributional sense. We set F r := 0 in the case when Ω r =, r Z. Note that by (2.12) it follows that (2.22) ψ k ψ k f(x) = ψ k (x y)ψ k f(y)dy = ψ k (x y) ψ k f(y)dy r Z and using (2.6) and the definition of F r in (2.7) we arrive at (2.23) f = r Z F r in S, i.e. f, ϕ = r Z F r, ϕ, ϕ S, where the last series converges absolutely. Above f, ϕ denotes the action of f on ϕ. We next provide the needed justification of identity (2.23). From (2.6), (2.7), (2.22), and the notation from (2.18) we obtain for ϕ S f, ϕ = ψ k ψk f, ϕ = g, ϕ = g, ϕ = F r, ϕ. k k r r k r Clearly, to justify the above identities it suffices to show that k r g, ϕ <. We split this sum into two: k r = k 0 r + k<0 r =: Σ 1 + Σ 2.
8 8 S. DEKEL, G. KERKYACHARIAN, G. KYRIAZIS, AND P. PETRUSHEV To estimate Σ 1 we use (2.21) and obtain Σ 1 c f H p 2 k(k+1 n/p) (1 + y ) σ dy k 0 r c f H p 2 R k(k+1 n/p) (1 + y ) σ dy c f H p. n k 0 Here we also used that K n/p and σ > n. We estimate Σ 2 in a similar manner, using the fact that ψ k (y) dy c < and (2.19). We get Σ 2 c f H p 2 kn/p ψ k (x y) dy ϕ(x) dx k<0 r c f H p 2 R kn/p (1 + x ) n 1 dx c f H p. n k<0 The above estimates of Σ 1 and Σ 2 imply k the justification of (2.23). r g, ϕ <, which completes Observe that due to x α ψ(x)dx = 0 for α K we have R n (2.24) x α F r (x)dx = 0 for α K, r Z. We next decompose each function F r into atoms. To this end we need a Whitney type cover for Ω r, given in the following Lemma 2.4. Suppose Ω is an open proper subset of and let ρ(x) := dist(x, Ω c ). Then there exists a constant K > 0, depending only on n, and a sequence of points {ξ j } j N in Ω with the following properties, where ρ j := dist(ξ j, Ω c ): (a) Ω = j N B(ξ j, ρ j /2). (b) {B(ξ j, ρ j /5)} are disjoint. (c) If B ( ξ j, 3ρ ) ( ) j 4 B ξν, 3ρν 4, then 7 1 ρ ν ρ j 7ρ ν. (d) For every j N there are at most K balls B ( ξ ν, 3ρν 4 ) ( ) intersecting B ξj, 3ρj 4. Variants of this simple lemma are well known and frequently used. To prove it one simply selects {B(ξ j, ρ(ξ j )/5)} j N to be a maximal disjoint subcollection of {B(x, ρ(x)/5)} x Ω and then properties (a)-(d) follow readily, see [5], pp We apply Lemma 2.4 to each set Ω r, r Z. Fix r Z and assume Ω r. Denote by B j := B(ξ j, ρ j /2), j = 1, 2,..., the balls given by Lemma 2.4, applied to Ω r, with the additional assumption that these balls are ordered so that ρ 1 ρ 2. We will adhere to the notation from Lemma 2.4. We will also use the more compact notation B r := {B j } j N for the set of balls covering Ω r. For each ball B B r and k s r we define (2.25) E B := ( B + 2B(0, 2 k ) ) if B and set E B := if B =. We also define, for l = 1, 2,..., (2.26) R B l := EB l \ ν>le B ν and
9 A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES 9 (2.27) F Bl (x) := k s r R B l ψ k (x y) ψ k f(y)dy. Lemma 2.5. For every l 1 the function F Bl is well defined, more precisely, the series in (2.27) converges point-wise and in distributional sense. Furthermore, (2.28) supp F Bl 7B l, (2.29) and x α F Bl (x)dx = 0 for all α with α n(p 1 1), (2.30) F Bl c 2 r, where the constant c is independent of r, l. In addition, for any k s r (2.31) = l 1 R B l and R B l RB m =, l m. Hence (2.32) F r = B B r F B (convergence in S ). Proof. Fix l 1. Observe that using Lemma 2.4 we have B l Ω c r + B(0, 2ρ l ) and hence E B l := if 2 k+1 2ρ l. Define k 0 := min{k : 2 k < ρ l }. Hence ρ l /2 2 k 0 < ρ l. Consequently, (2.33) F Bl (x) := ψ k (x y) ψ k f(y)dy. k k 0 It follows that supp F Bl B ( ξ l, (7/2)ρ l ) = 7Bl, which confirms (2.28). To prove (2.30) we will use the following R B l Lemma 2.6. For an arbitrary set S let S k := {x : dist(x, S) < 2 k+1 } and set (2.34) F S (x) := ψ k (x y) ψ k f(y)dy S k k κ 0 for some κ 0 s r. Then F S c2 r, where c > 0 is a constant independent of S and κ 0. Moreover, the above series converges in S. Proof. From (2.9) it follows that F S (x) = 0 if dist(x, S) 3 2 κ 0 Let x S. Evidently, B(x, 2 k ) S k for every k and hence F S (x) = ψ k (x y) ψ k f(y)dy k κ 0 = k κ 0 B(x,2 k ) ψ k (x y) ψ k f(y)dy = F r,κ0 (x). On account of Lemma 2.3 (b) we obtain F S (x) = F r,κ0 (x) c2 r.
10 10 S. DEKEL, G. KERKYACHARIAN, G. KYRIAZIS, AND P. PETRUSHEV Consider the case when x S l \ S l+1 for some l κ 0. Then B(x, 2 k ) S k if κ 0 k l 1 and B(x, 2 k ) S k = if k l + 2. Therefore, l 1 F S (x) = ψ k (x y) ψ l+1 k f(y)dy + ψ k (x y) ψ k f(y)dy S k k=κ 0 l+1 = F r,κ0,l 1(x) + ψ k (x y) ψ k f(y)dy, S k where we used the notation from (2.8). By Lemma 2.3 (b) and (2.10) it follows that F S (x) c2 r. We finally consider the case when 2 κ 0+1 dist(x, S) < 3 2 κ 0. Then we have F S (x) = E rκ0 S κ0 ψ κ0 (x y) ψ κ0 f(y)dy and the estimate F S (x) c2 r is immediate from (2.10). The convergence in S in (2.34) is established as in the proof of Lemma 2.3. Fix l 1 and let {B j : j J } be the set of all balls B j = B(ξ j, ρ j /2) such that j > l and ( B ξ j, 3ρ ) ( j B ξ l, 3ρ ) l. 4 4 By Lemma 2.4 it follows that #J K and 7 1 ρ l ρ j 7ρ l for j J. Define { (2.35) k 1 := min k : 2 k+1 < 4 1 min { ρ j : j J {l} }}. From this definition and 2 k 0 < ρ l we infer (2.36) 2 k min { ρ j : j J {l} } > 8 2 ρ l > k 0 = k 1 k Clearly, from (2.35) (2.37) B j + 2B(0, 2 k ) B ( ξ j, 3ρ j /4 ), k k 1, j J {l}. Denote S := j J B j and S := j J B j B l = S B l. As in Lemma 2.6 we set S k := S + 2B(0, 2 k ) and Sk := S + 2B(0, 2 k ). It readily follows from the definition of k 1 in (2.35) that (2.38) R B l := EB l \ ν>le B ν = ( S ) ( ) k \ E S k for k k 1. Denote F S (x) := ψ k (x y) ψ k f(y)dy, and k k S k 1 F S(x) := ψ k (x y) ψ k f(y)dy. S k k k 1 From (2.38) and the fact that S S it follows that F Bl (x) = F S(x) F S (x) + ψ k (x y) ψ k f(y)dy. k 0 k<k 1 By Lemma 2.6 we get F S c2 r and F S c2 r. On the other hand from (2.36) we have k 1 k 0 7. We estimate each of the (at most 7) integrals above using (2.10) to conclude that F Bl c2 r. We deal with the convergence in (2.27) and (2.32) as in the proof of Lemma 2.3. R B l
11 A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES 11 Clearly, (2.29) follows from the fact that x α ψ(x)dx = 0 for all α with α K. Finally, from Lemma 2.4 we have Ω r j N B l and then (2.31) is immediate from (2.25) and (2.26). We are now prepared to complete the proof of Theorem 2.1. For every ball B B r, r Z, provided Ω r, we define B := 7B, a B (x) := c 1 B 1/p 2 r F B (x) and λ B := c B 1/p 2 r, where c > 0 is the constant from (2.30). By (2.28) supp a B B and by (2.30) a B c 1 B 1/p 2 r F B B 1/p. Furthermore, from (2.29) it follows that x α a B (x)dx = 0 if α n(p 1 1). Therefore, each a B is an atom for H p. We set B r := if Ω r =. Now, using the above, (2.23), and Lemma 2.5 we get f = F r = F B = λ B a B, r Z r Z B B r r Z B B r where the convergence is in S, and λ B p c 2 pr B = c 2 pr Ω r c f p H p, B B r B B r r Z r Z which is the claimed atomic decomposition of f H p. Above we used that B = 7B = 7 n B. Rema 2.7. The proof of Theorem 2.1 can be considerably simplified and shortened if one seeks to establish atomic decomposition of the H p spaces in terms of q-atoms with p < q < rather than -atoms as in Theorem 2.1, i.e. atoms satisfying a L q B 1/q 1/p with q < rather than a L B 1/p. We will not elaborate on this here. References [1] R. Coifman, A real variable characterization of H p, Studia Math. 51 (1974), [2] S. Dekel, G, Kyriazis, G. Keyacharian, P. Petrushev, Hardy spaces associated with non-negative self-adjoint operators, preprint. [3] C. Fefferman, E. Stein, H p spaces of several variables, Acta Math. 129 (1972), [4] R. Latter, A characterization of H p ( ) in terms of atoms, Studia Math. 62 (1978), [5] E. Stein, Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, Princeton University Press, Princeton, NJ, [6] E. Stein, G. Weiss, On the theory of harmonic functions of several variables. I. The theory of H p -spaces. Acta Math. 103 (1960), Hamanofim St. 9, Herzelia, Israel address: Shai.Dekel@ge.com Laboratoire de Probabilités et Modèles Aléatoires, CNRS-UMR 7599, Université Paris VI et Université Paris VII, rue de Clisson, F Paris address: ke@math.univ-paris-diderot.fr Department of Mathematics and Statistics, University of Cyprus, 1678 Nicosia, Cyprus address: kyriazis@ucy.ac.cy Department of Mathematics, University of South Carolina, Columbia, SC address: pencho@math.sc.edu r Z
Duality 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 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 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 informationarxiv: v1 [math.ca] 7 Aug 2015
THE WHITNEY EXTENSION THEOREM IN HIGH DIMENSIONS ALAN CHANG arxiv:1508.01779v1 [math.ca] 7 Aug 2015 Abstract. We prove a variant of the standard Whitney extension theorem for C m (R n ), in which the norm
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 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 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 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 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 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 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 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 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 informationATOMIC DECOMPOSITIONS AND OPERATORS ON HARDY SPACES
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Volumen 50, Número 2, 2009, Páginas 15 22 ATOMIC DECOMPOSITIONS AND OPERATORS ON HARDY SPACES STEFANO MEDA, PETER SJÖGREN AND MARIA VALLARINO Abstract. This paper
More informationarxiv: v1 [math.ca] 13 Apr 2012
IINEAR DECOMPOSITIONS FOR THE PRODUCT SPACE H MO UONG DANG KY arxiv:204.304v [math.ca] 3 Apr 202 Abstract. In this paper, we improve a recent result by i and Peng on products of functions in H (Rd and
More informationAPPLICATION OF A FOURIER RESTRICTION THEOREM TO CERTAIN FAMILIES OF PROJECTIONS IN R 3
APPLICATION OF A FOURIER RESTRICTION THEOREM TO CERTAIN FAMILIES OF PROJECTIONS IN R 3 DANIEL OBERLIN AND RICHARD OBERLIN Abstract. We use a restriction theorem for Fourier transforms of fractal measures
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 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 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 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 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 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 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 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 informationRemarks on localized sharp functions on certain sets in R n
Monatsh Math (28) 85:397 43 https://doi.org/.7/s65-7-9-5 Remarks on localized sharp functions on certain sets in R n Jacek Dziubański Agnieszka Hejna Received: 7 October 26 / Accepted: August 27 / Published
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationThe heat kernel meets Approximation theory. theory in Dirichlet spaces
The heat kernel meets Approximation theory in Dirichlet spaces University of South Carolina with Thierry Coulhon and Gerard Kerkyacharian Paris - June, 2012 Outline 1. Motivation and objectives 2. The
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 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 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 informationWalker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015
Problem 1. Take any mapping f from a metric space X into a metric space Y. Prove that f is continuous if and only if f(a) f(a). (Hint: use the closed set characterization of continuity). I make use of
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 informationV. CHOUSIONIS AND X. TOLSA
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
More informationSPARSE SHEARLET REPRESENTATION OF FOURIER INTEGRAL OPERATORS
ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Pages 000 000 (Xxxx XX, XXXX S 1079-6762(XX0000-0 SPARSE SHEARLET REPRESENTATION OF FOURIER INTEGRAL OPERATORS KANGHUI
More informationMA651 Topology. Lecture 10. Metric Spaces.
MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky
More informationMODULUS OF CONTINUITY OF THE DIRICHLET SOLUTIONS
MODULUS OF CONTINUITY OF THE DIRICHLET SOLUTIONS HIROAKI AIKAWA Abstract. Let D be a bounded domain in R n with n 2. For a function f on D we denote by H D f the Dirichlet solution, for the Laplacian,
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 informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationWEAK HARDY SPACES LOUKAS GRAFAKOS AND DANQING HE
WEAK HARDY SPACES LOUKAS GRAFAKOS AND DANQING HE Abstract. We provide a careful treatment of the weak Hardy spaces H p, (R n ) for all indices 0 < p
More informationDIEUDONNE AGBOR AND JAN BOMAN
ON THE MODULUS OF CONTINUITY OF MAPPINGS BETWEEN EUCLIDEAN SPACES DIEUDONNE AGBOR AND JAN BOMAN Abstract Let f be a function from R p to R q and let Λ be a finite set of pairs (θ, η) R p R q. Assume that
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 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 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 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 informationHOMEOMORPHISMS OF BOUNDED VARIATION
HOMEOMORPHISMS OF BOUNDED VARIATION STANISLAV HENCL, PEKKA KOSKELA AND JANI ONNINEN Abstract. We show that the inverse of a planar homeomorphism of bounded variation is also of bounded variation. In higher
More informationChapter 2. Metric Spaces. 2.1 Metric Spaces
Chapter 2 Metric Spaces ddddddddddddddddddddddddd ddddddd dd ddd A metric space is a mathematical object in which the distance between two points is meaningful. Metric spaces constitute an important class
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 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 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 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 informationSHARP INEQUALITIES FOR MAXIMAL FUNCTIONS ASSOCIATED WITH GENERAL MEASURES
SHARP INEQUALITIES FOR MAXIMAL FUNCTIONS ASSOCIATED WITH GENERAL MEASURES L. Grafakos Department of Mathematics, University of Missouri, Columbia, MO 65203, U.S.A. (e-mail: loukas@math.missouri.edu) and
More informationEXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner
More informationBanach Spaces V: A Closer Look at the w- and the w -Topologies
BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,
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 informationAlgebras of singular integral operators with kernels controlled by multiple norms
Algebras of singular integral operators with kernels controlled by multiple norms Alexander Nagel Conference in Harmonic Analysis in Honor of Michael Christ This is a report on joint work with Fulvio Ricci,
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 informationBOUNDS FOR A MAXIMAL DYADIC SUM OPERATOR
L p BOUNDS FOR A MAXIMAL DYADIC SUM OPERATOR LOUKAS GRAFAKOS, TERENCE TAO, AND ERIN TERWILLEGER Abstract. The authors prove L p bounds in the range
More informationON THE BEHAVIOR OF THE SOLUTION OF THE WAVE EQUATION. 1. Introduction. = u. x 2 j
ON THE BEHAVIO OF THE SOLUTION OF THE WAVE EQUATION HENDA GUNAWAN AND WONO SETYA BUDHI Abstract. We shall here study some properties of the Laplace operator through its imaginary powers, and apply the
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 informationTHE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)
Appeared in Israel J. Math. 00 (997), 7 24 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION Juha Kinnunen Abstract. We prove that the Hardy Littlewood maximal operator is bounded in the Sobolev
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 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 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 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 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 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 informationDerivatives of Harmonic Bergman and Bloch Functions on the Ball
Journal of Mathematical Analysis and Applications 26, 1 123 (21) doi:1.16/jmaa.2.7438, available online at http://www.idealibrary.com on Derivatives of Harmonic ergman and loch Functions on the all oo
More informationOSCILLATORY SINGULAR INTEGRALS ON L p AND HARDY SPACES
POCEEDINGS OF THE AMEICAN MATHEMATICAL SOCIETY Volume 24, Number 9, September 996 OSCILLATOY SINGULA INTEGALS ON L p AND HADY SPACES YIBIAO PAN (Communicated by J. Marshall Ash) Abstract. We consider boundedness
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationOn an uniqueness theorem for characteristic functions
ISSN 392-53 Nonlinear Analysis: Modelling and Control, 207, Vol. 22, No. 3, 42 420 https://doi.org/0.5388/na.207.3.9 On an uniqueness theorem for characteristic functions Saulius Norvidas Institute of
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 informationCharacterizations of some function spaces by the discrete Radon transform on Z n.
Characterizations of some function spaces by the discrete Radon transform on Z n. A. Abouelaz and T. Kawazoe Abstract Let Z n be the lattice in R n and G the set of all discrete hyperplanes in Z n. Similarly
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 informationJASSON VINDAS AND RICARDO ESTRADA
A QUICK DISTRIBUTIONAL WAY TO THE PRIME NUMBER THEOREM JASSON VINDAS AND RICARDO ESTRADA Abstract. We use distribution theory (generalized functions) to show the prime number theorem. No tauberian results
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 informationHarmonic Analysis Homework 5
Harmonic Analysis Homework 5 Bruno Poggi Department of Mathematics, University of Minnesota November 4, 6 Notation Throughout, B, r is the ball of radius r with center in the understood metric space usually
More informationLyapunov optimizing measures for C 1 expanding maps of the circle
Lyapunov optimizing measures for C 1 expanding maps of the circle Oliver Jenkinson and Ian D. Morris Abstract. For a generic C 1 expanding map of the circle, the Lyapunov maximizing measure is unique,
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 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 informationON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics
More informationSome 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 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 informationA note on the convex infimum convolution inequality
A note on the convex infimum convolution inequality Naomi Feldheim, Arnaud Marsiglietti, Piotr Nayar, Jing Wang Abstract We characterize the symmetric measures which satisfy the one dimensional convex
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 informationTD 1: Hilbert Spaces and Applications
Université Paris-Dauphine Functional Analysis and PDEs Master MMD-MA 2017/2018 Generalities TD 1: Hilbert Spaces and Applications Exercise 1 (Generalized Parallelogram law). Let (H,, ) be a Hilbert space.
More informationReminder Notes for the Course on Distribution Theory
Reminder Notes for the Course on Distribution Theory T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie March
More informationSINGULAR INTEGRAL OPERATORS WITH ROUGH CONVOLUTION KERNELS. Andreas Seeger University of Wisconsin-Madison
SINGULA INTEGAL OPEATOS WITH OUGH CONVOLUTION KENELS Andreas Seeger University of Wisconsin-Madison. Introduction The purpose of this paper is to investigate the behavior on L ( d ), d, of a class of singular
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 informationThe oblique derivative problem for general elliptic systems in Lipschitz domains
M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T
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 informationGRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS
LE MATEMATICHE Vol. LI (1996) Fasc. II, pp. 335347 GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS CARLO SBORDONE Dedicated to Professor Francesco Guglielmino on his 7th birthday W
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 informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
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 informationAPPLICATIONS OF DIFFERENTIABILITY IN R n.
APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball
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 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 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 informationhere dθ denotes surface measure on the sphere. Then it is easy to see that for (Rd ) the principal value integral
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 9, Number 1, January 1996 SINGULAR INTEGRAL OPERATORS WITH ROUGH CONVOLUTION KERNELS ANDREAS SEEGER 1. Introduction The purpose of this paper is to investigate
More informationA REMARK ON MINIMAL NODAL SOLUTIONS OF AN ELLIPTIC PROBLEM IN A BALL. Olaf Torné. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 24, 2004, 199 207 A REMARK ON MINIMAL NODAL SOLUTIONS OF AN ELLIPTIC PROBLEM IN A BALL Olaf Torné (Submitted by Michel
More information