Average theorem, Restriction theorem and Strichartz estimates
|
|
- Nathan McBride
- 5 years ago
- Views:
Transcription
1 Average theorem, Restriction theorem and trichartz estimates 2 August 27 Abstract We provide the details of the proof of the average theorem and the restriction theorem. Emphasis has been placed on the relation between the decay of the Fourier transform of the measure carried on a submanifold and the gain in regularity. The relation between the restriction theorem and a trichartz estimate is also explained. Theorem (Average theorem. Let be a smooth submanifold of, dσ be the induced Lebesgue measure on it, and dµ(x = η(xdσ(x where η Cc (. uppose for some α > dµ(ξ = O( ξ α as ξ. Define the average operator by Af(x = f(x ydµ(y. Then (a A maps L 2 ( to L 2 α(. (b A maps L 2α+2 2α+ ( to L 2α+2 (. Proof. The proof of (a is easy; just observe that if dµ(ξ C ξ α, then together with the trivial bound dµ(ξ C that holds by the finiteness of the measure dµ, we have dµ(ξ C( + ξ 2 α/2. Thus ( + ξ 2 α Âf(ξ 2 dξ = ( + ξ 2 α f(ξ 2 dµ(ξ 2 dξ C 2 f(ξ 2 dξ,
2 which implies that Af L 2 α C f L 2. To prove (b, we proceed in a number of steps. Localizing the average operator First we localize the average operator as follows. By means of a partition of unity, we may assume without loss of generality that the support of dµ lies in a coordinate chart U of (the average operator is a finite sum of such in any case. By a change of coordinate, restricting to a smaller coordinate patch if necessary, we may assume that is the graph of a function F (x there, i.e. is defined by Then = {(x, x n R: x n = F (x }. dµ(x = η (x + F (x 2 dx there, where η is a smooth function with compact support on. For simplicity, we write this as dµ(x = φ(x dx with φ C c (. In this local coordinate system, Af(x = f(x y, x n F (y φ(y dy. The idea is that we can embed it in an analytic family of operators and apply the complex interpolation theorem, which we state as follows: Theorem 2 (Interpolation of Operators. uppose α >, and that for each complex number s in the strip α R(s, T s is a linear operator defined on simple functions on such that for any fixed simple functions f and g, Φ(s = T s f(xg(xdx is analytic and bounded (as a function of s in the open strip α < R(s < and is continuous on the closure of the strip. uppose further that there are exponents p, p, q, q [, ] such that { T α+it f L q f L p uniformly for t R. Then where p = θ p + θ p, T +it f L q f L p T f L q f L p q = θ + θ, and θ = α q q α +. In particular, T extends uniquely to a bounded operator L p L q with norm at most. 2
3 Embedding in an analytic family of operators To embed A in an analytic family of operators, first observe that Af can be written as Af(x = f(x yδ (y n F (y φ(y dy. It is profitable to introduce a cut-off function ψ in the y n variable; indeed Af(x = f(x yδ (y n F (y ψ(y n F (y φ(y dy, where ψ Cc (R with ψ near and ψ = outside (,. The point is that there is a way to embed the distribution δ on R into an analytic family of distributions. Consider the distribution g (R j s (g := R Γ(s ts + g(tdt, where t + = max{t, } and s is a complex parameter. The integral converges if Re s >. It can be analytically continued to Re s > by integration by parts; indeed for Re s >, j s (g = R Γ(s ts + g(tdt = d sγ(s dt (ts g(tdt = Γ(s + ts g (tdt, the last of which converges if Re s >. Hence we can take the last integral as the definition of j s when Re s >. In particular, when s =, the distribution is j (g = Γ( t g (tdt = g (tdt = g(, hence j is just δ. More generally, we can define the distribution for Re s > k by the (convergent integral j s (g = ( k Γ(s + k ts+k g (k (tdt. R This gives us an analytic family of distributions, in the sense that j s (g is a holomorphic function of s for each chwartz function g on R. As a result, we are tempted to define an analytic family of operators by T s f(x = f(x yj s (y n F (y ψ(y n F (y φ(y dy, say for chwartz functions f, with j s acting on the y n variable. This can be written as T s f = f K s, where K s is the distribution defined by K s (y = j s (y n F (y ψ(y n F (y φ(y. ( 3
4 For Re s >, K s (y is just the function given by K s (y = Γ(s (y n F (y s + ψ(y n F (y φ(y. (Here we already see why it was good to incorporate ψ in our formula for A; it is only by introducing this harmless factor that K s has compact support in the y n variable, or at least has some decay as y n. Note also that the distribution K is just dµ. Boundedness of K s Now when Re s =, K s (y is a nice bounded function of y; indeed then K s (y C Γ(s, and hence T s maps L to L with norm at most CΓ(s. Note that so when Re s =, Γ(s sin πs = Γ( s, π Γ(s CeIm s, which grows exponentially with Im s as Im s. As a result, the maps T s does not quite satisfy the conditions of the interpolation that we stated above; this can be taken care of easily though, so let s not worry about it for now. Fourier transform of K s Next we would like to obtain an L 2 theory for T s for appropiate values of s. Thus we need to compute and estimate K s (ξ. First, suppose Re s >, so that K s (y is a nice integrable function of y. Then K s (ξ = (y n F (y s + Γ(s ψ(y n F (y φ(y e 2πiy ξ dy = ( (y n F (y s + Γ(s ψ(y n F (y e 2πiynξn dy n φ(y e 2πiy ξ dy R = Γ(s I(s, ξ n φ(y e 2πi(y ξ +F (y ξ n dy = Γ(s I(s, ξ n dµ(ξ (2 where I(s, ξ n = R t s + ψ(te 2πitξn dt; this follows from the change of variable y n F (y y n and that dµ(y = φ(y dy. Now when Re s, K s is a distribution with compact support, so K s (ξ is the 4
5 function defined by e 2πiy ξ, K s (y which depends analytically on s. Furthermore, Γ(s I(s, ξ n also has an analytic continuation to the right half plane by integration by parts, just as we analytically continued the distribution j s. ince both sides of (2 can be analytically continued to the whole complex plane, the identity continues to hold even when Re s, and we shall see that K s (ξ is a bounded function of ξ on the vertical line Re s = α, thereby giving us the desired L 2 theory of T s that allows us to apply complex interpolation. Estimating I(s, ξ n Now we estimate I(s, ξ n : first for Re s > we have the trivial bound Re s I(s, ξ n t+ ψ(t dt C t Re s dt C Re s. (3 R Actually via an integration by parts, we can obtain a better decay for large ξ n if Re s > : in that case I(s, ξ n = t s d ψ(t (e 2πitξn dt 2πiξ n dt = d 2πiξ n dt (ts ψ(te 2πitξn dt the boundary terms vanishing since Re s > and ψ vanish at infinity. This shows that then I(s, ξ n C d ξ n dt (ts ψ(t dt C ξ n. Indeed the larger Re s is, the more integration by parts one can perform and the better decay one obtains as ξ : if Re s > k for some positive integer k, then arguments analogous to above give I(s, ξ n C ξ n k. (4 It turns out that one can get a better estimate than the trivial one even if we just have Re s (, ]: the idea is that one can in effect perform an integration by parts Re s times even though Re s is not an integer. More precisely, one splits the integral I(s, ξ n = ε + ε <. The first term is estimated by A ε ε t s ψ(te 2πitξn dt = A + B, t Re s ψ(t dt C Re s ε Re s. The second term can be integrated by parts: B = t s d ψ(t (e 2πitξn dt ε 2πiξ n dt = ( ε s d ψ(εe 2πiεξn + 2πiξ n dt (ts ψ(te 2πitξn dt ε 5
6 so Hence B CεRe s ξ n + C ξ n ε d dt (ts ψ(t dt C Re sε ξ n I(s, ξ n A + B C Re s ( ε Re s + εre s ξ n. Re s Note that we are free to choose ε here. The first term is big when ε is small, while the second term is big when ε is large. One optimizes the expression by choosing ε such that the two terms are of the same order, say by setting. ε Re s = εre s ξ n, i.e. ε = ξ n. Then I(s, ξ n C Re s ξ n Re s, (5 a better decay than the trivial one when ξ n goes to infinity. (5 was proven just now for Re s (, ], but if Re s (k, k + ], then one can integrate by parts k times just as we did when we improved from estimate (3 to (4 and that allows one to see that (5 actually holds on the whole right half plane Re s >. Together with the trivial estimate, we see that when Re s >. I(s, ξ n C Re s ( + ξ n Re s (6 Next we estimate I(s, ξ n when Re s. Here we need a different integration by parts to reduce the estimate to the case Re s (, ]. By analytic continuation, if Re s ( k, k + ] for some positive integer k, then Γ(s I(s, ξ n = ( k Γ(s + k s+k dk t dt k (ψ(te 2πitξn dt where then Re (s + k (, ]. It follows from the proof of (6 that Γ(s I(s, ξ n C Re (s+k Γ(s + k (+ ξ n k (+ ξ n Re (s+k C Re s e Im s (+ ξ n Re s. (7 Back to L 2 theory Putting things back together, note that by the assumed decay dµ = O( ξ α and by the finiteness of the measure dµ, we have dµ(ξ C( + ξ α. From (7, we see that if we were to find a vertical line on the complex s plane on which K s (ξ = Γ(s I(s, ξ n dµ(ξ is bounded as a function of ξ, then the best that 6
7 we can do is to go to the straight line Re s = α; we could not hope to go beyond the left hand side of that. Indeed on this line K s (ξ C Re s e Im s ( + ξ n Re s ( + ξ α C α e Im s This proves that T s is bounded from L 2 to L 2 if Re s = α, with norm at most C α e Im s. Again, this does not quite satisfy the hypothesis of the complex interpolation theorem, but we shall take care of that now. Conclusion with complex interpolation Indeed it suffices to modify slightly the definition of T s to apply the complex interpolation theorem as stated. Let T s f(x = e s2 T s f(x. Then T is still the average operator A, but now one takes advantage of that e s2 = e (Re s 2 (Im s 2 which decays more rapidly then e Im s as Im s. Hence one has now { T α+it f L 2 C α f L 2 T +it f L C f L It follows from the complex interpolation theorem that T = A maps L 2α+2 2α+ boundedly to L 2α+2. Theorem 3 (Restriction theorem. Let, dµ and α be as in the average theorem. Then the Fourier transform maps L p ( to L 2 (, dµ, p = 2(α + α + 2. Proof. Let f be a chwartz function. R R duality lemma First, f(ξ 2 dµ(ξ = f(ξ f(ξdµ(ξ = f(ye 2πiy ξ f(xe 2πix ξ dµ(ξdydx ( = f(y dµ(y xdy f(xdx. This is just another way of saying that if Rf = f then Rf, Rf L 2 (,dµ = R Rf, f L 2 ( 7
8 with R Rf = f dµ(. (Recall that given an L 2 (dµ function g defined on, R g(x is the function defined on such that Rf, g L 2 (,dµ = f, R g L 2 ( say for all chwartz function f, where again Rf = f. But so Rf, g L 2 (,dµ = f(ξg(ξdµ(ξ = f(xe 2πix ξ g(ξdxdµ(ξ R n = f(x g(ξe 2πix ξ dµ(ξdx = f(x, g(ξe 2πix ξ dµ(ξ R g(x = g(ξe 2πix ξ dµ(ξ, L 2 ( for g L 2 (, dµ. (One can thus think of R as an extension operator. It follows that R Rf(x = f(ξe 2πix ξ dµ(ξ = f(y dµ(y xdy as claimed. To prove that R maps L p to L 2, it suffices to show that R R maps L p ( to L p (, i.e. f dµ( L p ( C f L p (, because Rf 2 L 2 (,dµ R Rf L p ( f L p (. Embedding into an analytic family of operators Now R Rf(x = f(x y dµ( ydy. Again we would like to embed this into an analytic family of operators. Let K s be an analytic family of distributions with K = dµ as in ( in the proof of the average theorem. Then it is natural to define, motivated by the proof of the average theorem, that T s f(x = e s2 f(x y K s ( ydy. This integral converges for all complex values of s, since we observed that K s (y is a function that grows at most polynomially in y for each fixed complex value of s, and f is chwartz. 8
9 L 2 theory Observe that T s f(ξ = e s2 f(ξks ( ξ and recall that e s 2 K s ( ξ C if Re s =. Hence when Re s =, T s maps L 2 to L 2 with norm at most C. L theory Next recall that e s 2 Ks (ξ C α if Re s = α. Hence when Re s = α, T s maps L to L with norm at most C α. Conclusion with complex interpolation It follows from the complex interpolation theorem now that R R = T maps L p ( boundedly to L p (, p = 2(α+ α+2. Hence the Fourier transform extends to a map from L p ( to L 2 (, dµ. Corollary. Let, dµ, α be as in the restriction theorem. Then the extension operator R g(x = g(ξe 2πix ξ dµ(ξ maps L 2 (, dµ boundedly to L q (, with q = 2(α +. α Proof. Note that the q in this corollary is the conjugate exponent to p in the restriction theorem. We have seen R maps L p ( to L 2 (, dµ, p = 2(α+ α+2. As a result, f, R g L 2 ( = Rf, g L 2 (,dµ so by duality Rf L 2 (,dµ g L 2 (,dµ C f L p ( g L 2 (,dµ R g L q ( C g L 2 (,dµ, q being the conjugate exponent to p, i.e. q = 2(α+ α. We shall now give some applications of the above theorems. Here we shall be dealing with non-compact submanifolds of an Euclidean space, and the measure involved will not be the one that is induced from the Lebesgue measure of the underlying Euclidean space. The proofs illustrate how one handles such non-compactness by introducing cut-off functions. 9
10 Corollary 2 (trichartz estimate for the linear chrodinger equation. Let f(x be a chwartz function on. If u(x, t = f(ξe 2πi(x ξ+t ξ 2 dξ so that u solves the linear chrodinger equation ( 2πi t x u(x, t = with initial value then with u(x, = f(x, u L q (dxdt C f L 2 (dx q = 2(n + 2. n Proof. The crucial submanifold here is the hypersurface = {(ξ, τ + : τ = ξ 2 }. The induced Lebesgue measure on the hypersurface is dσ = + 4 ξ 2 dξ, but the essential property for us would be its behaviour near the origin. We would like to apply the average theorem and the restriction theorem, but our surface-carried measure dσ does not have compact support. Therefore we need to introduce a cut-off function and let the support go to infinity. The non-isotropic dilations, (x, t (λx, λ 2 t that preserve the hypersurface, will also play a role. Let η Cc ( with η( =, and let dµ = η(ξdσ = η(ξ + 4 ξ 2 dξ. Then since has nowhere vanishing Gaussian curvature, dµ(x, t decays like dµ(x, t = O( (x, t n 2, so we can apply Corollary with α = n/2. The corollary to the restriction theorem says that if T f(x, t = f(ξe 2πi(x ξ+t ξ 2 η(ξ + 4 ξ 2 dξ then T f L q (dxdt C f L 2 (dξ = C f L 2 (dx,
11 where q = 2(n+2 n. Now pointwisely u(x, t = lim λ + = lim λ + ( ξ f(ξe 2πi(x ξ+t ξ 2 η + 4 ξ 2 λ λ dξ λ n f(λξe 2πi(λx ξ+λ2 t ξ 2 η(ξ + 4 ξ 2 dξ = lim λ + T (f λ(λx, λ 2 t where f λ (x = f(λ x. Hence for q = 2(n+2 n, since u L q (dxdt lim inf λ + T (f λ(λx, λ 2 t L q (dxdt (Fatou s lemma n+2 = lim inf λ + λ q T (f λ L q (dxdt (cale invariance n+2 lim inf λ + Cλ q f λ L 2 (dx (Restriction theorem n+2 = lim inf λ + Cλ q λ n 2 f L 2 (dx (cale invariance = C f L 2 (dx n + 2 q for this value of q. Hence we are done. + n 2 = Corollary 3 (Averaging along a paraboloid. Let f(x be a chwartz function on. If Af(x = f(x y, x n y 2 dy then Af L p ( C f L p ( with p = n + n. Proof. Again let dµ = η(y + 4 y 2 dy be a measure carried on the paraboloid {y n = y 2 }, where η Cc (. Then dµ(ξ = O( ξ n 2 because has nowhere vanishing Gaussian curvature. Hence the average theorem says that if T f(x = f(x y, x n y 2 η(y + 4 y 2 dy, then with T f L p ( C f L p ( p = n + n.
12 Now pointwisely Af(x = f(x y, x n y 2 dy ( y = lim f(x y, x n y 2 η + 4 y 2 λ + λ λ dy according to the dominated convergence theorem. However, where ( y f(x y, x n y 2 η + 4 y 2 λ λ dy =λ n f(x λy, x n λ 2 y 2 η(y + 4 y 2 dy =λ n T (f λ (λ x, λ 2 x n f λ (x = f(λx, λ 2 x n is the dilation of f by the relevant non-isotropic dilation. Hence since Af L p ( lim inf λ + λn T (f λ (λ x, λ 2 x n L p ( (Fatou s lemma = lim inf λ + λn λ n+ p T (f λ L p ( (cale invariance lim inf λ + Cλn λ n+ p f λ L p ( (Average theorem = lim inf λ + Cλn λ n+ p λ n+ p f L p ( (cale invariance = C f L p ( when p = n+ n. This completes the proof. n + n + p n + = p Corollary 4 (trichartz estimate for linearized KdV equation. Let f(x be a chwartz function on R. If u(x, t = f(ξe 2πi(xξ+tξ3 dξ so that u solves the linearized KdV equation 2 3 (4π t 3 u(x, t = x with initial value then u(x, = f(x, u L 8 (dxdt C f L 2 (dx. 2
13 Proof. The proof is the same as that of Corollary 2, except now that the relevant submanifold is the curve = {(ξ, ξ 3 : ξ R} in R 2 and the curvature of vanishes at the origin. The best possible decay for dµ is now dµ(ξ = O( ξ 3, so if we apply Corollary as in the proof of Corollary 2 with α = /3 we obtain u L 8 (dxdt C f L 2 (dx. Corollary 5 (Averaging along a curve of finite type. Let f(x be a chwartz function on R 2. If Af(x = f(x t, x 2 t k dt then with R Af L p (R 2 C f L p (R 2 p = 2k + 2 k + 2. Proof. Again the proof is the same as that of Corollary 3, except now that the relevant submanifold is the curve = {(t, t k : t R} in R 2. The curvature of vanishes at the origin. However, since it is a curve of finite type k, we still have a certain decay for dµ; indeed dµ(ξ = O( ξ k, so if we apply Theorem with α = /k as in the proof of Corollary 3 we obtain Af L p (R 2 C f L p (R 2 with p = 2k + 2 k
1.5 Approximate Identities
38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these
More informationTHE RESTRICTION PROBLEM AND THE TOMAS-STEIN THEOREM
THE RESTRICTION PROBLEM AND THE TOMAS-STEIN THEOREM DENNIS KRIVENTSOV Abstract. E. M. Stein s restriction problem for Fourier transforms is a deep and only partially solved conjecture in harmonic analysis.
More informationBernstein s inequality and Nikolsky s inequality for R d
Bernstein s inequality and Nikolsky s inequality for d Jordan Bell jordan.bell@gmail.com Department of athematics University of Toronto February 6 25 Complex Borel measures and the Fourier transform Let
More informationFOURIER TRANSFORMS. 1. Fourier series 1.1. The trigonometric system. The sequence of functions
FOURIER TRANSFORMS. Fourier series.. The trigonometric system. The sequence of functions, cos x, sin x,..., cos nx, sin nx,... is called the trigonometric system. These functions have period π. The trigonometric
More informationTOOLS FROM HARMONIC ANALYSIS
TOOLS FROM HARMONIC ANALYSIS BRADLY STADIE Abstract. The Fourier transform can be thought of as a map that decomposes a function into oscillatory functions. In this paper, we will apply this decomposition
More informationFolland: Real Analysis, Chapter 8 Sébastien Picard
Folland: Real Analysis, Chapter 8 Sébastien Picard Problem 8.3 Let η(t) = e /t for t >, η(t) = for t. a. For k N and t >, η (k) (t) = P k (/t)e /t where P k is a polynomial of degree 2k. b. η (k) () exists
More informationTopics in Harmonic Analysis Lecture 1: The Fourier transform
Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise
More 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 information17 The functional equation
18.785 Number theory I Fall 16 Lecture #17 11/8/16 17 The functional equation In the previous lecture we proved that the iemann zeta function ζ(s) has an Euler product and an analytic continuation to the
More information13. Fourier transforms
(December 16, 2017) 13. Fourier transforms Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/13 Fourier transforms.pdf]
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationA new class of pseudodifferential operators with mixed homogenities
A new class of pseudodifferential operators with mixed homogenities Po-Lam Yung University of Oxford Jan 20, 2014 Introduction Given a smooth distribution of hyperplanes on R N (or more generally on a
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 informationRESTRICTION. Alex Iosevich. Section 0: Introduction.. A natural question to ask is, does the boundedness of R : L 2(r+1)
FOURIER TRANSFORM, L 2 THEOREM, AND SCALING RESTRICTION Alex Iosevich Abstract. We show, using a Knapp-type homogeneity argument, that the (L p, L 2 ) restriction theorem implies a growth condition on
More informationFourier Series. ,..., e ixn ). Conversely, each 2π-periodic function φ : R n C induces a unique φ : T n C for which φ(e ix 1
Fourier Series Let {e j : 1 j n} be the standard basis in R n. We say f : R n C is π-periodic in each variable if f(x + πe j ) = f(x) x R n, 1 j n. We can identify π-periodic functions with functions on
More informationII. FOURIER TRANSFORM ON L 1 (R)
II. FOURIER TRANSFORM ON L 1 (R) In this chapter we will discuss the Fourier transform of Lebesgue integrable functions defined on R. To fix the notation, we denote L 1 (R) = {f : R C f(t) dt < }. The
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 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 informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
More informationLECTURE Fourier Transform theory
LECTURE 3 3. Fourier Transform theory In section (2.2) we introduced the Discrete-time Fourier transform and developed its most important properties. Recall that the DTFT maps a finite-energy sequence
More informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More informationFourier transforms, I
(November 28, 2016) Fourier transforms, I Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/Fourier transforms I.pdf]
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 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 informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More 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 informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationHarmonic Analysis: from Fourier to Haar. María Cristina Pereyra Lesley A. Ward
Harmonic Analysis: from Fourier to Haar María Cristina Pereyra Lesley A. Ward Department of Mathematics and Statistics, MSC03 2150, 1 University of New Mexico, Albuquerque, NM 87131-0001, USA E-mail address:
More informationFOURIER TRANSFORMS OF SURFACE MEASURE ON THE SPHERE MATH 565, FALL 2017
FOURIER TRANSFORMS OF SURFACE MEASURE ON THE SPHERE MATH 565, FALL 17 1. Fourier transform of surface measure on the sphere Recall that the distribution u on R n defined as u, ψ = ψ(x) dσ(x) S n 1 is compactly
More information. A NOTE ON THE RESTRICTION THEOREM AND GEOMETRY OF HYPERSURFACES
. A NOTE ON THE RESTRICTION THEOREM AND GEOMETRY OF HYPERSURFACES FABIO NICOLA Abstract. A necessary condition is established for the optimal (L p, L 2 ) restriction theorem to hold on a hypersurface S,
More information7: FOURIER SERIES STEVEN HEILMAN
7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier
More 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 informationReal Analysis Chapter 8 Solutions Jonathan Conder. = lim n. = lim. f(z) dz dy. m(b r (y)) B r(y) f(z + x y) dz. B r(y) τ y x f(z) f(z) dz
3. (a Note that η ( (t e /t for all t (,, where is a polynomial of degree. Given k N, suppose that η (k (t P k (/te /t for all t (,, where P k (x is some polynomial of degree (k. By the product rule and
More informationTHE LAPLACIAN AND THE DIRICHLET PROBLEM
THE LAPLACIAN AND THE DIRICHLET PROBLEM Stefano Meda Università di Milano-Bicocca c Stefano Meda 2016 ii A Francesco Contents 0.1 Background and preliminary results................ 1 0.1.1 Convolution..........................
More informationSolutions to Tutorial 11 (Week 12)
THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 11 (Week 12) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
More information4 Riesz Kernels. Since the functions k i (ξ) = ξ i. are bounded functions it is clear that R
4 Riesz Kernels. A natural generalization of the Hilbert transform to higher dimension is mutiplication of the Fourier Transform by homogeneous functions of degree 0, the simplest ones being R i f(ξ) =
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More information1 Contact structures and Reeb vector fields
1 Contact structures and Reeb vector fields Definition 1.1. Let M be a smooth (2n + 1)-dimensional manifold. A contact structure on M is a maximally non-integrable hyperplane field ξ T M. Suppose that
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationHomework I, Solutions
Homework I, Solutions I: (15 points) Exercise on lower semi-continuity: Let X be a normed space and f : X R be a function. We say that f is lower semi - continuous at x 0 if for every ε > 0 there exists
More informationTopics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality
Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Po-Lam Yung The Chinese University of Hong Kong Introduction While multiplier operators are very useful in studying
More information3: THE SHANNON SAMPLING THEOREM
3: THE SHANNON SAMPLING THEOEM STEVEN HEILMAN 1. Introduction In this final set of notes, we would like to end where we began. In the first set of notes, we mentioned that mathematics could be used to
More information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationMath 565: Introduction to Harmonic Analysis - Spring 2008 Homework # 2, Daewon Chung
Math 565: Introduction to Harmonic Analysis - Spring 8 Homework #, Daewon Chung. Show that, and that Hχ [a, b] : lim H χ [a, b] a b. H χ [a, b] : sup > H χ [a, b] a b. [Solution] Let us pick < min a, b
More informationReview of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)
Review of Multi-Calculus (Study Guide for Spivak s CHPTER ONE TO THREE) This material is for June 9 to 16 (Monday to Monday) Chapter I: Functions on R n Dot product and norm for vectors in R n : Let X
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 informationMcGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA
McGill University Department of Mathematics and Statistics Ph.D. preliminary examination, PART A PURE AND APPLIED MATHEMATICS Paper BETA 17 August, 2018 1:00 p.m. - 5:00 p.m. INSTRUCTIONS: (i) This paper
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 informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More information2 Infinite products and existence of compactly supported φ
415 Wavelets 1 Infinite products and existence of compactly supported φ Infinite products.1 Infinite products a n need to be defined via limits. But we do not simply say that a n = lim a n N whenever the
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 information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More informationMath 172 Problem Set 5 Solutions
Math 172 Problem Set 5 Solutions 2.4 Let E = {(t, x : < x b, x t b}. To prove integrability of g, first observe that b b b f(t b b g(x dx = dt t dx f(t t dtdx. x Next note that f(t/t χ E is a measurable
More informationComplex Analysis, Stein and Shakarchi The Fourier Transform
Complex Analysis, Stein and Shakarchi Chapter 4 The Fourier Transform Yung-Hsiang Huang 2017.11.05 1 Exercises 1. Suppose f L 1 (), and f 0. Show that f 0. emark 1. This proof is observed by Newmann (published
More informationMath 396. Bijectivity vs. isomorphism
Math 396. Bijectivity vs. isomorphism 1. Motivation Let f : X Y be a C p map between two C p -premanifolds with corners, with 1 p. Assuming f is bijective, we would like a criterion to tell us that f 1
More informationTHE DIRICHLET PROBLEM WITH BM O BOUNDARY DATA AND ALMOST-REAL COEFFICIENTS
THE DIRICHLET PROBLEM WITH BM O BOUNDARY DATA AND ALMOST-REAL COEFFICIENTS ARIEL BARTON Abstract. It is known that a function, harmonic in a Lipschitz domain, is the Poisson extension of a BMO function
More informationMath 172 Problem Set 8 Solutions
Math 72 Problem Set 8 Solutions Problem. (i We have (Fχ [ a,a] (ξ = χ [ a,a] e ixξ dx = a a e ixξ dx = iξ (e iax e iax = 2 sin aξ. ξ (ii We have (Fχ [, e ax (ξ = e ax e ixξ dx = e x(a+iξ dx = a + iξ where
More informationMATH 220: THE FOURIER TRANSFORM TEMPERED DISTRIBUTIONS. Beforehand we constructed distributions by taking the set Cc
MATH 220: THE FOURIER TRANSFORM TEMPERED DISTRIBUTIONS Beforehand we constructed distributions by taking the set Cc ( ) as the set of very nice functions, and defined distributions as continuous linear
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 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 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 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 informationDISTANCE GRAPHS AND SETS OF POSITIVE UPPER DENSITY IN R d. 1. Introduction
DISTANCE GRAPHS AND SETS OF POSITIVE UPPER DENSITY IN R d NEIL LYALL ÁKOS MAGYAR Abstract. We present a refinement and sharp extension of a result of Bourgain on finding configurations of k + 1 points
More informationLet R be the line parameterized by x. Let f be a complex function on R that is integrable. The Fourier transform ˆf = F f is. e ikx f(x) dx. (1.
Chapter 1 Fourier transforms 1.1 Introduction Let R be the line parameterized by x. Let f be a complex function on R that is integrable. The Fourier transform ˆf = F f is ˆf(k) = e ikx f(x) dx. (1.1) It
More informationMATH 220: MIDTERM OCTOBER 29, 2015
MATH 22: MIDTERM OCTOBER 29, 25 This is a closed book, closed notes, no electronic devices exam. There are 5 problems. Solve Problems -3 and one of Problems 4 and 5. Write your solutions to problems and
More informationINTEGRATION ON MANIFOLDS and GAUSS-GREEN THEOREM
INTEGRATION ON MANIFOLS and GAUSS-GREEN THEOREM 1. Schwarz s paradox. Recall that for curves one defines length via polygonal approximation by line segments: a continuous curve γ : [a, b] R n is rectifiable
More information13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map
3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given
More informationOn some weighted fractional porous media equations
On some weighted fractional porous media equations Gabriele Grillo Politecnico di Milano September 16 th, 2015 Anacapri Joint works with M. Muratori and F. Punzo Gabriele Grillo Weighted Fractional PME
More informationOn a class of pseudodifferential operators with mixed homogeneities
On a class of pseudodifferential operators with mixed homogeneities Po-Lam Yung University of Oxford July 25, 2014 Introduction Joint work with E. Stein (and an outgrowth of work of Nagel-Ricci-Stein-Wainger,
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 informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More information(d). Why does this imply that there is no bounded extension operator E : W 1,1 (U) W 1,1 (R n )? Proof. 2 k 1. a k 1 a k
Exercise For k 0,,... let k be the rectangle in the plane (2 k, 0 + ((0, (0, and for k, 2,... let [3, 2 k ] (0, ε k. Thus is a passage connecting the room k to the room k. Let ( k0 k (. We assume ε k
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
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 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 informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
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 informationLECTURE 5: THE METHOD OF STATIONARY PHASE
LECTURE 5: THE METHOD OF STATIONARY PHASE Some notions.. A crash course on Fourier transform For j =,, n, j = x j. D j = i j. For any multi-index α = (α,, α n ) N n. α = α + + α n. α! = α! α n!. x α =
More informationMath 341: Probability Seventeenth Lecture (11/10/09)
Math 341: Probability Seventeenth Lecture (11/10/09) Steven J Miller Williams College Steven.J.Miller@williams.edu http://www.williams.edu/go/math/sjmiller/ public html/341/ Bronfman Science Center Williams
More informationLagrangian submanifolds and generating functions
Chapter 4 Lagrangian submanifolds and generating functions Motivated by theorem 3.9 we will now study properties of the manifold Λ φ X (R n \{0}) for a clean phase function φ. As shown in section 3.3 Λ
More informationFOURIER INVERSION. an additive character in each of its arguments. The Fourier transform of f is
FOURIER INVERSION 1. The Fourier Transform and the Inverse Fourier Transform Consider functions f, g : R n C, and consider the bilinear, symmetric function ψ : R n R n C, ψ(, ) = ep(2πi ), an additive
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationn 1 f = f m, m=0 n 1 k=0 Note that if n = 2, we essentially get example (i) (but for complex functions).
Chapter 4 Fourier Analysis 4.0.1 Intuition This discussion is borrowed from [T. Tao, Fourier Transform]. Fourier transform/series can be viewed as a way to decompose a function from some given space V
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationA COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE
More informationLecture 9 February 2, 2016
MATH 262/CME 372: Applied Fourier Analysis and Winter 26 Elements of Modern Signal Processing Lecture 9 February 2, 26 Prof. Emmanuel Candes Scribe: Carlos A. Sing-Long, Edited by E. Bates Outline Agenda:
More informatione (x y)2 /4kt φ(y) dy, for t > 0. (4)
Math 24A October 26, 2 Viktor Grigoryan Heat equation: interpretation of the solution Last time we considered the IVP for the heat equation on the whole line { ut ku xx = ( < x
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationLARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011
LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS S. G. Bobkov and F. L. Nazarov September 25, 20 Abstract We study large deviations of linear functionals on an isotropic
More informationTr (Q(E)P (F )) = µ(e)µ(f ) (1)
Some remarks on a problem of Accardi G. CASSINELLI and V. S. VARADARAJAN 1. Introduction Let Q, P be the projection valued measures on the real line R that are associated to the position and momentum observables
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
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 informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
More informationEmpirical Processes: General Weak Convergence Theory
Empirical Processes: General Weak Convergence Theory Moulinath Banerjee May 18, 2010 1 Extended Weak Convergence The lack of measurability of the empirical process with respect to the sigma-field generated
More informationBasic Properties of Metric and Normed Spaces
Basic Properties of Metric and Normed Spaces Computational and Metric Geometry Instructor: Yury Makarychev The second part of this course is about metric geometry. We will study metric spaces, low distortion
More information1 Introduction. 2 Measure theoretic definitions
1 Introduction These notes aim to recall some basic definitions needed for dealing with random variables. Sections to 5 follow mostly the presentation given in chapter two of [1]. Measure theoretic definitions
More informationFourier Series. 1. Review of Linear Algebra
Fourier Series In this section we give a short introduction to Fourier Analysis. If you are interested in Fourier analysis and would like to know more detail, I highly recommend the following book: Fourier
More information