The Hilbert Transform
Total Page:16
File Type:pdf, Size:1020Kb
The Hilbert transform 1 Definition and properties 1 Recall the distribution pv( x ), defined by Z '(x) pv(1=x)(') := lim dx: !0 jx|≥ x The Hilbert transform is defined via the convolution with pv(1=x), namely 1 Z f(x − t) (Hf)(x) := lim dt: π !0 jt|≥ t The main theorem we are going to prove in this note is the following. Theorem 1.1. For any p 2 (1; +1), there exists a constant Cp such that kHfkp < Cpkfkp (1.1) for all f 2 S(R). Thus, H extends to a bounded linear operator on all of Lp(R). The first remark we make is that the above theorem is false when p = 1. To see this, note that for smooth f with compact support, when x is very large, the main contribution to the integral Z f(x − t) dt t comes from the values t which are not far away from x. This in general gives the decay 1 rate of order jxj , unless there is a magical cancellation due to the sign changes of f, in which case one can hope for a faster decay. Indeed, it is not hard to show that if f is continuous and has compact support with R f(t)dt = a, then a (Hf)(x) = + O(1=x2) πx 1 R for all large x. As a consequence, Hf 2 L (R) if and only if f = 0. The statement of 1 the above theorem is also not true for p = +1. The reason is that x is not integrable at infinity, so one can not bound on kHfk1 merely by using the maximum of f without any other information (e.g., the size of the support). For p 2 (1; +1), the above inequality (1.1) does hold. The proof we will give below consists of the following four steps. 1 1. For p = 2, we will show kHfk2 = kfk2. This uses the Fourier transform of pv(1=x) and then Plancherel's theorem. 2. For p = 1, the bound in (1.1) does not hold. However, one has a weak type estimate, namely there exists C > 0 independent of f such that C µx : j(Hf)(x)j > λ < kfk λ 1 for all large λ. This weak type estimate is to replace the invalid L1 inequality, and its derivation is based on the Calder´on-Zygmund decomposition of a function into small and large parts in such a way that some control can be obtained for the large part. 3. Based on the result of the above two steps, we then use interpolation to conclude that the inequality (1.1) holds for all p 2 (1; 2). The relevant result we use here is a special case of Marcinkiewicz interpolation theorem. It states that if an operator satisfies weak type (1; 1) and (q; q) estimates, then it satisfies strong (p; p) inequality for all p 2 (1; q). 4. Finally, we will prove (1.1) for p > 2 by using the duality between Lp and Lq for 1 1 p + q = 1. Before we proceed to the proof, we first give a few useful properties of the Hilbert transform. As far as the Fourier transform Hfd is concerned, we need the Fourier trans- form of the tempered distribution pv(1=x). A formal calculation gives pv(1\=x)(') : = pv(1=x)(' ^) Z '^(ξ) = dξ R ξ Z 1 Z = '(x)e−2πiξxdx dξ R ξ R Z Z 1 = '(x) · e−2πixξdξ dx: R R ξ If we let I = R 1 · e−2πixξdξ, then by symmetry, we have R ξ Z sin(2πxξ) Z +1 sin(2πxξ) I = −i dξ = −2i dξ: R ξ 0 ξ R +1 sin ξ π Now, recall the Dirichlet integral 0 ξ dξ = 2 ; this gives the value of I by I = −πi · sgn(x); where sgn(x) = 1 if x > 0 and −1 for x < 0. Substituting back into the expression of pv(1\=x), we get Z pv(1\=x)(') = −πi '(x) · sgn(x)dx: We have thus obtained the following proposition. 2 Proposition 1.2. The Fourier transform of pv(1=x) is pv\(1=x)(ξ) = −πi · sgn(ξ). The above calculations are only formal in the sense that when changing the order of integration, the hypothesis of Fubini's theorem is not satisfied. One needs the range of integration for ξ to be finite in order for the integrand to be L1, jointly in (ξ; x). So, Exercise 1.3. Justify rigorously the above calculations. 2 Equality in L2 The assertion kHfk2 = kfk2 is an immediate consequence of the Fourier transform of 1 pv(1=x). Since Hf is the convolution of f with π pv(1=x), we easily get Hfd(ξ) = −i · sgn(ξ)f^(ξ); which has the same L2 norm of f^. Thus, an application of Plancherel's theorem gives ^ kHfk2 = kHfdk2 = kfk2 = kfk2: Furthermore, if we neglect the multiplication of −i for a moment, we see what the operator H does on f is simply changing the sign of its Fourier transform for negative ξ's. If we do it twice, then we just change the sign back as if nothing had happened. Thus, taking into account the multiplication of −i, we have the relation H2 = − id : This says H is a unitary operator on L2 with H−1 = −H. 3 Weak L1 estimate We now establish the weak-type (1; 1) estimate for the convolution operator H. For this, we need the Calder´on-Zygmund decomposition of an integrable function, which in turn depends on the following lemma. 1 Lemma 3.1. Let f 2 L . Then, for any λ, there exists a subset Eλ ⊂ R such that c 1. jf(x)j ≤ λ for almost every x 2 Eλ; 1 2. µ(Eλ) < λ kfk1; 3. Eλ is a union of intervals Ik's whose interiors are disjoint, and that 1 Z λ ≤ jf(x)jdx ≤ 2λ jIkj Ik for each k. 3 Proof. Since f 2 L1, we can have a family of disjoint intervals with equals size whose union is the whole real line and that for each I in this family, we have 1 Z jfjdx ≤ λ. jIj I This can be achieved as long as the interval length is large enough. Now, for each such interval I, we decompose it into two equal sub-intervals. If the average of jfj of one sub-interval is bigger than λ, then we label it as Ik and put it as one of the sub-intervals that consist of our set Eλ. We do this process for each of the initial intervals, and stop splitting when the average of jfj of one children is bigger than λ. Thus, we have obtained a sequence of disjoint intervals fIkg. If Jk denotes the immediate parent of Ik, then the fact that one splits Jk into two sub-intervals (one of them being Ik) implies 1 Z jfj < λ. jJkj Jk Since jJkj = 2jIkj, we easily have 1 Z λ < jfjdx < 2λ. jIkj Ik Also, we have X X 1 Z 1 jE j = jI j < jfjdx ≤ kfk : λ k λ λ 1 k k Ik It remains to show f is almost everywhere bounded by λ outside Eλ. First, we note that c every x 2 Eλ belongs to a nested sequence of intervals whose lengths shrink to 0, and that each of the interval in this sequence satisfies 1 Z jf(y)jdy ≤ λ. jIj I c By Lebesgue's differentiation theorem, for almost every x 2 Eλ, f(x) is the limit of the c above average as jIj ! 0, which then implies jf(x)j ≤ λ a.e. in Eλ. This completes the proof of the lemma. Now, for f 2 L1, we let c f(x); x 2 Eλ g(x) = 1 R ; f(y)dy; x 2 Ik: jIkj Ik R Let bk = f · 1fIkg − g, then bk is supported in the interval Ik with I bkdx = 0, and the P k function b = k bk satisfies f = g + b: This is the Calder´on-Zygmund decomposition of f. The tail measure of Hf can be bounded by λ λ µx : j(Hf)(x)j > λ ≤ µx : j(Hg)(x)j > + µx : j(Hb)(x)j > ; 2 2 4 and it suffices to bound each of the two terms on the right hand side. For the first one, we first note that our construction of g satisfies 2 g 2 L ; sup jg(x)j ≤ 2λ, kgk1 = kfk1: x Thus, we get λ C C C C µx : j(Hg)(x)j > ≤ kHgk ≤ kgk ≤ kgk kgk < kgk : 2 λ2 2 λ2 2 λ2 1 1 λ 1 We now turn to the functions bk. Each of them has support in the interval Ik with R R bkdx = 0. We claim that for any function u supported in an interval I with udx = 0, Ik I we have Z jHujdx < Ckuk1 (I∗)c for some universal constant C, where I∗ is the interval with the same center as I but R ∗ c with doubled size. To see this, first note that since I udx = 0, then if x 2 (I ) , we will have 1 Z u(t) u(t) (Hu)(x) = − dt: π I x − t x − c In particular, if x 2 (I∗)c and t 2 I, we will have 1 1 t − c jIj − = ≤ ; x − t x − c (x − t)(x − c) (x − c)2 and as a consequence, we obtain Z Z ∗ c 1 (I ) j(Hu)(x)jdx ≤ CjIjkuk1 2 dx ≤ Ckuk1: (I∗)c (x − c) Thus, for our functions bk's, we have Z j(Hbk)(x)jdx < Ckbkk: ∗ c (Ik ) ∗ We are now ready to bound the tail measure for Hb.