Hermite functions. Jordan Bell Department of Mathematics, University of Toronto. September 9, 2015
|
|
- Melvyn Hunt
- 5 years ago
- Views:
Transcription
1 Hermite functions Jordan Bell Department of Mathematics, University of Toronto September 9, 25 Locally convex spaces If V is a vector space and {p α : α A} is a separating family of seminorms on V, then there is a unique topology with which V is a locally convex space and such that the collection of finite intersections of sets of the form {v V : p α (v < ɛ}, α A, ɛ > is a local base at. We call this the topology induced by the family of seminorms. If {p n : n } is a separating family of seminorms, then d(v, w = 2 n p n (v w, v, w V, + p n (v w is a metric on V that induces the same topology as the family of seminorms. If d is a complete metric, then V is called a Fréchet space. 2 Schwartz functions For φ C (, C and n, let p n (φ = sup k n u sup( + u 2 n/2 φ (k (u. We define S to be the set of those φ C (, C such that p n (φ < for all n. S is a complex vector space and each p n is a norm, and because each p n is a norm, a fortiori {p n : n } is a separating family of seminorms. With the topology induced by this family of seminorms, S is a Fréchet space. 2 As well, D : S S defined by (Dφ(x = φ (x, x Theorem and Theorem 4. 2 Walter udin, Functional Analysis, second ed., p. 84, Theorem 7.4.
2 and M : S S defined by (Mφ(x = xφ(x, x are continuous linear maps. 3 Hermite functions Let λ be Lebesgue measure on and let (f, g L 2 = fgdλ. With this inner product, L 2 (λ is a separable Hilbert space. We write f 2 L = (f, f 2 L 2 = f 2 dλ. For n, define H n : by H n (x = ( n e x2 D n e x2, which is a polynomial of degree n. H n are called Hermite polynomials. It can be shown that For m, n, exp(2zx z 2 = For n, define h n : by n! H n(xz n, z C. ( H m (xh n (xe x2 dλ(x = 2 n n! πδ m,n. h n (x = (2 n n! π /2 e x2 /2 H n (x = ( n (2 n n! π /2 e x2 /2 D n e x2. h n are called Hermite functions. Then for m, n, (h m, h n L 2 = h m (xh n (xdλ(x = δ m,n. One proves that {h n : n } is an orthonormal basis for (L 2 (λ, (, L 2. 3 We remind ourselves that for x, 4 5. e x2 = 2 π /2 e y2 /4 e ixy dy, 3 Theorem Lemma 2
3 and by the dominated convergence theorem this yields D n e x2 = 2 π /2 ( iy n e y2 /4 e ixy dy, and so h n (x = (2 n n! π /2 e x2 /2 2 π /2 4 Mehler s formula We now prove Mehler s formula for the Hermite functions. 5 (iy n e y2 /4 e ixy dy. (2 Theorem (Mehler s formula. For z C with z < and for x, y, h n (xh n (yz n = π /2 ( z 2 /2 2 + z2 exp ( z 2 (x2 + y 2 + 2z z 2 xy. Proof. Using (2, = h n (xh n (yz n ( ( π 2 2 n n! e(x +y 2 /2 z n (2πiξ n e π2 ξ 2 e 2πixξ dξ (2πiζ n e π2 ζ 2 e 2πiyζ dζ = πe (x2 +y 2 /2 e π2 ξ 2 π 2 ζ 2 2πixξ 2πiζy ( 2π 2 ξζz n dξdζ n! = πe (x2 +y 2 /2 e π2 ξ 2 π 2 ζ 2 2πixξ 2πiζy e 2π2ξζz dξdζ. Now, writing a = iy π + ξz, we calculate e π2 ζ 2 2πiζy 2π 2 ξζz dζ = e π2 (ζ+a 2 +π 2 a 2 dζ = π e π2 a 2 = π exp ( y 2 + 2πiyξz + π 2 ξ 2 z 2. 5 Sundaram Thangavelu, An Introduction to the Uncertainty Principle: Hardy s Theorem on Lie Groups, p. 8, Proposition.2.. 3
4 Then, for α = ( z 2 π 2, h n (xh n (yz n =e (x2 +y 2 /2 =e (x2 y 2 /2 =e (x2 y 2 /2 e π2 ξ 2 2πixξ y 2 +2πiyξz+π 2 ξ 2 z 2 dξ e αξ2 2πi(x yzξ dξ π α exp ( π2 (x yz2 α ( =π /2 e (x2 y 2 /2 ( z 2 /2 exp =π /2 ( z 2 /2 exp ( x2 ( =π /2 ( z 2 /2 exp (x yz2 z 2 z 2 + 2xyz z 2 y2 z 2 z 2 + x2 2 y2 2 + z 2 2 z 2 (x2 + y 2 + 2z z 2 xy. 5 The Hermite operator We define A : S S by, (Aφ(x = φ (x + (x 2 + φ(x, x, A = D 2 + M 2 +, which is a continuous linear map S S, which we call the Hermite operator. S is a dense linear subspace of the Hilbert space L 2 (λ, and A : S S is a linear map, so A is a densely defined operator in L 2 (λ. For φ, ψ S, integrating by parts, (Aφ, ψ L 2 = ( φ (x + (x 2 + φ(xψ(xdλ(x = φ (xψ(xdλ(x + (x 2 + φ(xψ(xdλ(x = φ(xψ (xdλ(x + (x 2 + φ(xψ(xdλ(x = (φ, Aψ L 2, showing that A : S S is symmetric. Furthermore, also integrating by parts, (Aφ, φ L 2 = (φ (xφ (x + (x 2 + φ(xφ(xdλ(x, 4
5 so A is a positive operator. It is straightforward to check that each h n belongs to S. For n, we calculate that h n(x + (2n + x 2 h n (x =, and hence (Ah n (x = (2n + x 2 h n (x + x 2 h n (x + h n (x = (2n + 2h n (x, Ah n = (2n + 2h n. Therefore, for each h n, A h n = 2n+2 h n, and it follows that there is a unique bounded linear operator T : L 2 (λ L 2 (λ such that 6 The operator norm of T is T h n = A h n = (2n + 2 h n, n. (3 T = sup n 2n + 2 = 2. The Hermite functions are an orthonormal basis for L 2 (λ, so for f L 2 (λ, f = (f, h n L 2h n. For f, g L 2 (λ, ( (T f, g L 2 = (f, h n L 2T h n, (g, h n L 2h n ( = (f, h n L 2(2n + 2 h n, (g, h n L 2h n = (2n + 2 (f, h n L 2(g, h n L 2, from which it is immediate that T is self-adjoint. For p, T p h n 2 L 2 = (2n + 2 p h n 2 L 2 = (2n + 2 2p h n 2 L 2 = (2n + 2 2p. Therefore for p, T p h n 2 L = (2n + 2 2p = 2 2p m 2p = 2 2p ζ(2p. 2 This means that for p, T p is a Hilbert-Schmidt operator with Hilbert- Schmidt norm 7 T p HS = 2 p ζ(2p. m= 6 Theorem L 2 L 2 5
6 6 Creation and annihilation operators Taking the derivative of ( with respect to x gives 2 n! H n(xz n+ = n! H n(xz n, so H = and for n, n! H n(x = (n! 2H n (x, and so H n = 2nH n, h n(x = (2n /2 h n (x xh n (x, Dh n = (2n /2 h n Mh n. Furthermore, from its definition we calculate h n(x = xh n (x (2n + 2 /2 h n+ (x, Dh n = Mh n (2n + 2 /2 h n+. We define B : S S, called the annihilation operator, by (Bφ(x = φ (x + xφ(x, x, B = D + M, which is a continuous linear map S S. For n, we calculate Bh n = (2n /2 h n, and h (x = π /4 e x2 /2, so Bh =. We define C : S S, called the creation operator, by (Cφ(x = φ (x + xφ(x, x, C = D + M, which is a continuous linear map S S. For n, we calculate Thus, For φ S, Furthermore, and Ch n = (2n + 2 /2 h n+. h n = (2 n n! /2 C n h = π /4 (2 n n! /2 C n (e x2 /2. (4 B C = 2D. BC = D 2 + M 2 + = A CB = D 2 + M 2 = A 2. 6
7 7 The Fourier transform Define F : S S, for φ S, by (F φ(ξ = ˆφ(ξ = φ(xe iξx dx, (2π /2 ξ. For ξ, by the dominated convergence theorem we have in other words, ˆφ(ξ + h lim ˆφ(ξ = ( ixφ(xe iξx dx h h (2π,, /2 xφ(x(ξ = i D ˆφ(ξ = id ˆφ(ξ, F (Mφ = id(f φ. (5 Also, by the dominated convergence theorem we obtain in other words, For φ S, φ(x = Dφ(ξ = iξ ˆφ(ξ, F (Dφ = im(f φ. (6 ˆφ(ξe ixξ dξ, x. (7 (2π /2 φ ˆφ is an isomorphism of locally convex spaces S S. 8 Using (7 and the Cauchy-Schwarz inequality φ ( + ξ 2 /2 ( + ξ 2 /2 ˆφ(ξ dξ (2π /2 ( /2 ( /2 (2π /2 ( + ξ 2 dξ ( + ξ 2 ˆφ(ξ 2 dξ ( /2 = 2 /2 ( + ξ 2 dξ ˆφ(ξ 2, and using (6 and the fact that ˆφ L 2 = φ L 2, φ 2 2 ˆφ(ξ 2 dξ + 2 = 2 ˆφ(ξ 2 dξ + 2 = 2 φ 2 L φ 2 L 2, ξ 2 ˆφ(ξ 2 dξ (F φ (ξ 2 dξ 8 Walter udin, Functional Analysis, second ed., p. 86, Theorem
8 and therefore φ 2 /2 ( φ L 2 + φ L 2. (8 We remind ourselves that A = D 2 + M 2 +, B = D + M, C = D + M. Using F D = imf, DF = i F M, we get F A = F ( D 2 + M 2 + = (imf D + (idf M + F = im(imf + id(idf + F = M 2 F D 2 F + F = AF, and and F B = F (D + M = imf + idf = ibf F C = F ( D + M = imf + idf = icf. We now determine the Fourier transform of the Hermite functions. Theorem 2. For n, F h n = ( i n h n. Proof. For n, by induction, from F C = icf we get F C n = ( ic n F. From (4, h n = π /4 (2 n n! /2 C n (e x2 /2. Writing g(x = e x2 /2, it is a fact that F g = g, and using this with the above yields F h n = π /4 (2 n n! /2 F C n g = π /4 (2 n n! /2 ( ic n F g = π /4 (2 n n! /2 ( ic n g = π /4 (2 n n! /2 ( i n π /4 (2 n n! /2 h n = ( i n h n. 8
9 There is a unique Hilbert space isomorphism F : L 2 (λ L 2 (λ such that F f = ˆf for all f S. 9 For f L 2 (λ, f = (f, h n L 2h n, and then F f = (f, h n L 2F h n = (f, h n L 2( i n h n. 8 Asymptotics For x =, ( reads thus n! H n(z n = exp( z 2 = ( z 2 n, n! H 2n ( = ( n (2n!, H 2n+ ( =. n! Similarly, taking the derivative of ( with respect to x yields H 2n( =, H 2n+( n (2n +! = 2(. n! For u(x = e x2 /2 H n (x, u (x = xu+e x2 /2 H n(x, u (x = u xu xe x2 /2 H n(x+e x2 /2 H n(x. Using we get and thence H n(x = 2xH n (x H n+ (x, H n(x = 2nH n (x H n(x 2xH n(x + 2nH n (x =, u = u + x 2 u 2nu. Thus, writing f(x = x 2 u(x, u satisfies the initial value problem v + (2n + v = f, v( = H n (, v ( = H n(. (9 Now, for λ >, two linearly independent solutions of v +λv = are v (x = cos(λ /2 x and v 2 (x = sin(λ /2 x. The Wronskian of (v, v 2 is W = λ /2, and 9 Walter udin, Functional Analysis, second ed., p. 88, Theorem 7.9. N. N. Lebedev, Special Functions and Their Applications, p. 66,
10 using variation of parameters, if v satisfies v +λv = g then there are c, c 2 such that v(x = c v + c 2 v 2 + Av + Bv 2, where x A(x = x W v 2(tg(tdt, B(x = W v (tg(tdt. We calculate that the unique solution of the initial value problem v + λv = g, v( = a, v ( = b, is v(x = av (x + bλ /2 v 2 (x λ /2 v (x x v 2 (tg(tdt + λ /2 v 2 (x x v (tg(tdt = a cos(λ /2 x + bλ /2 sin(λ /2 x x + λ /2 (cos(λ /2 t sin(λ /2 x sin(λ /2 t cos(λ /2 xg(tdt x = a cos(λ /2 x + bλ /2 sin(λ /2 x + λ /2 sin(λ /2 (x tg(tdt. Therefore the unique solution of the initial value problem (9 is v(x = H n ( cos((2n + /2 x + H n((2n + /2 sin((2n + /2 x x + (2n + /2 sin((2n + /2 (x t t 2 u(tdt, where u(x = e x2 /2 H n (x. If n = 2k then We calculate v(x = ( k (2k! cos((4k + /2 x k! x + (4k + /2 sin((4k + /2 (x t t 2 u(tdt = ( k (2k! k! cos((4k + /2 x + (4k + /2 r 2k (x. ( ( x x r 2k (x 2 t 4 dt u(t 2 dt x 5 e t2 H 2k (t 2 dt = x 5 22k (2k! π, /4 x 5/2 r 2k (x π 2 k (2k!.
11 By Stirling s approximation, 2 k (2k! (2k! k! Thus for α 2k = (2k! k!, = 2k k! 2 k (2πk /2 k k e k (2k! ((4πk /2 (2k 2k e 2k = /2 π/4 k /4. r 2k (x α 2k = O( x 5/2 k /4 k /2 = O( x 5/2 k /4. Thangavelu states the following inequality and asymptotics without proof, and refers to Szegő and Muckenhoupt. Lemma 3. There are γ, C, ɛ > such that for N = 2n +, and h n (x C(N /3 + x 2 N /4, x 2 2N Ce γx2, x 2 > 2N, h n (x N /8 (x N /2 /4 e ɛn /4 (x N /2 3/2 for N /2 + N /6 x (2N /2. Lemma 4. For N = 2n +, x N 2 N 6, and θ = arccos(xn 2, h n (x = ( /2 2 (N x 2 /4 cos π ( N(2θ sin θ π Theorem 5.. h n p n 2p 4 for p < h n p n 8 log n for p = h n p n 6p 2 for 4 < p. 4 +O(N /2 (N x 2 7/4. ather than taking the pth power of h n, one can instead take the pth power of H n and integrate this with respect to Gaussian measure. Writing dγ(x = (2π /2 e x2 /2 dx and taking H n to be the Hermite polynomial that is monic, now write H n p p = H n p dγ. Larsson-Cohn 2 proves that for < p < 2 there is an explicit c(p such that H n p = c(p n /4 n!( + O(n, Sundaram Thangavelu, Lectures on Hermite and Laguerre Expansions, pp , Lemma.5. and Lemma.5.2; Gábor Szegő, Orthogonal Polynomials; Benjamin Muckenhoupt, Mean convergence of Hermite and Laguerre series. II, Trans. Amer. Math. Soc. 47 (97, , Lemma 5. 2 Lars Larsson-Cohn, L p -norms of Hermite polynomials and an extremal problem on Wiener chaos, Ark. Mat. 4 (22,
12 and for 2 < p < there is an explicit c(p such that H n p = c(p n /4 n!(p n/2 ( + O(n. This uses the asymptotic expansion of Plancherel and otach. 3 3 M. Plancherel and W. otach, Sur les valeurs asymptotiques des polynomes d Hermite, Commentarii mathematici Helvetici (929,
Gaussian Hilbert spaces
Gaussian Hilbert spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto July 11, 015 1 Gaussian measures Let γ be a Borel probability measure on. For a, if γ = δ a then
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 informationSolutions: Problem Set 3 Math 201B, Winter 2007
Solutions: Problem Set 3 Math 201B, Winter 2007 Problem 1. Prove that an infinite-dimensional Hilbert space is a separable metric space if and only if it has a countable orthonormal basis. Solution. If
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationThe heat equation for the Hermite operator on the Heisenberg group
Hokkaido Mathematical Journal Vol. 34 (2005) p. 393 404 The heat equation for the Hermite operator on the Heisenberg group M. W. Wong (Received August 5, 2003) Abstract. We give a formula for the one-parameter
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 informationChapter 7: Bounded Operators in Hilbert Spaces
Chapter 7: Bounded Operators in Hilbert Spaces I-Liang Chern Department of Applied Mathematics National Chiao Tung University and Department of Mathematics National Taiwan University Fall, 2013 1 / 84
More informationThe Schwartz Space: Tools for Quantum Mechanics and Infinite Dimensional Analysis
Mathematics 2015, 3, 527-562; doi:10.3390/math3020527 Article OPEN ACCESS mathematics ISSN 2227-7390 www.mdpi.com/journal/mathematics The Schwartz Space: Tools for Quantum Mechanics and Infinite Dimensional
More informationVectors in Function Spaces
Jim Lambers MAT 66 Spring Semester 15-16 Lecture 18 Notes These notes correspond to Section 6.3 in the text. Vectors in Function Spaces We begin with some necessary terminology. A vector space V, also
More informationFunctional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
More informationChapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.
Chapter 1 Preliminaries The purpose of this chapter is to provide some basic background information. Linear Space Hilbert Space Basic Principles 1 2 Preliminaries Linear Space The notion of linear space
More information1 Functional Analysis
1 Functional Analysis 1 1.1 Banach spaces Remark 1.1. In classical mechanics, the state of some physical system is characterized as a point x in phase space (generalized position and momentum coordinates).
More informationFunctional Analysis Review
Outline 9.520: Statistical Learning Theory and Applications February 8, 2010 Outline 1 2 3 4 Vector Space Outline A vector space is a set V with binary operations +: V V V and : R V V such that for all
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 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 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 informationThe weak topology of locally convex spaces and the weak-* topology of their duals
The weak topology of locally convex spaces and the weak-* topology of their duals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Introduction These notes
More informationErrata Applied Analysis
Errata Applied Analysis p. 9: line 2 from the bottom: 2 instead of 2. p. 10: Last sentence should read: The lim sup of a sequence whose terms are bounded from above is finite or, and the lim inf of a sequence
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More informationHeisenberg s inequality
Heisenberg s inequality Michael Walter 1 Introduction 1 Definition. Let P be a probability measure on R. Then its mean or expectation is defined as E(P) := x dp(x) Its variance is the expected square deviation
More informationAN ESTIMATE FOR BOUNDED SOLUTIONS OF THE HERMITE HEAT EQUATION
Counications on Stochastic Analysis Vol. 6, No. 3 (1) 43-47 Serials Publications www.serialspublications.co AN ESTIMATE FOR BOUNDED SOLUTIONS OF THE HERMITE HEAT EQUATION BISHNU PRASAD DHUNGANA Abstract.
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 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 informationIntroduction to Microlocal Analysis
Introduction to Microlocal Analysis First lecture: Basics Dorothea Bahns (Göttingen) Third Summer School on Dynamical Approaches in Spectral Geometry Microlocal Methods in Global Analysis University of
More informationDavid Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent
Chapter 5 ddddd dddddd dddddddd ddddddd dddddddd ddddddd Hilbert Space The Euclidean norm is special among all norms defined in R n for being induced by the Euclidean inner product (the dot product). A
More informationThe Lindeberg central limit theorem
The Lindeberg central limit theorem Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto May 29, 205 Convergence in distribution We denote by P d the collection of Borel probability
More informationInner products. Theorem (basic properties): Given vectors u, v, w in an inner product space V, and a scalar k, the following properties hold:
Inner products Definition: An inner product on a real vector space V is an operation (function) that assigns to each pair of vectors ( u, v) in V a scalar u, v satisfying the following axioms: 1. u, v
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 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 informationThis ODE arises in many physical systems that we shall investigate. + ( + 1)u = 0. (λ + s)x λ + s + ( + 1) a λ. (s + 1)(s + 2) a 0
Legendre equation This ODE arises in many physical systems that we shall investigate We choose We then have Substitution gives ( x 2 ) d 2 u du 2x 2 dx dx + ( + )u u x s a λ x λ a du dx λ a λ (λ + s)x
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week: December 4 8 Deadline to hand in the homework: your exercise class on week January 5. Exercises with solutions ) Let H, K be Hilbert spaces, and A : H K be a linear
More informationReal and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory
Real and Complex Analysis, 3rd Edition, W.Rudin Chapter 4 Elementary Hilbert Space Theory Yung-Hsiang Huang. It s easy to see M (M ) and the latter is a closed subspace of H. Given F be a closed subspace
More informationWave packet decompositions adapted to (non-self-adjoint) operators
1 / 42 Wave packet decompositions adapted to (non-self-adjoint) operators Joe Viola Laboratoire de Mathématiques Jean Leray Université de Nantes Joseph.Viola@univ-nantes.fr 26 March 2018 2 / 42 Outline
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 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 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 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 informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
More informationSZEGÖ ASYMPTOTICS OF EXTREMAL POLYNOMIALS ON THE SEGMENT [ 1, +1]: THE CASE OF A MEASURE WITH FINITE DISCRETE PART
Georgian Mathematical Journal Volume 4 (27), Number 4, 673 68 SZEGÖ ASYMPOICS OF EXREMAL POLYNOMIALS ON HE SEGMEN [, +]: HE CASE OF A MEASURE WIH FINIE DISCREE PAR RABAH KHALDI Abstract. he strong asymptotics
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 information1 Fourier Integrals on L 2 (R) and L 1 (R).
18.103 Fall 2013 1 Fourier Integrals on L 2 () and L 1 (). The first part of these notes cover 3.5 of AG, without proofs. When we get to things not covered in the book, we will start giving proofs. The
More informationHilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality
(October 29, 2016) Hilbert spaces 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/03 hsp.pdf] Hilbert spaces are
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationCompact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
More informationUNCERTAINTY PRINCIPLES FOR THE FOCK SPACE
UNCERTAINTY PRINCIPLES FOR THE FOCK SPACE KEHE ZHU ABSTRACT. We prove several versions of the uncertainty principle for the Fock space F 2 in the complex plane. In particular, for any unit vector f in
More informationLinear Analysis Lecture 5
Linear Analysis Lecture 5 Inner Products and V Let dim V < with inner product,. Choose a basis B and let v, w V have coordinates in F n given by x 1. x n and y 1. y n, respectively. Let A F n n be the
More informationDifferentiation and function spaces
209: Honors Analysis in R n Differentiation and function spaces 1 Banach Space, Hilbert Space A vector (linear) space E over a field K is a set endowed with two operations + : E E E and : K E E that satisfy
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 informationj=1 [We will show that the triangle inequality holds for each p-norm in Chapter 3 Section 6.] The 1-norm is A F = tr(a H A).
Math 344 Lecture #19 3.5 Normed Linear Spaces Definition 3.5.1. A seminorm on a vector space V over F is a map : V R that for all x, y V and for all α F satisfies (i) x 0 (positivity), (ii) αx = α x (scale
More informationAnother consequence of the Cauchy Schwarz inequality is the continuity of the inner product.
. Inner product spaces 1 Theorem.1 (Cauchy Schwarz inequality). If X is an inner product space then x,y x y. (.) Proof. First note that 0 u v v u = u v u v Re u,v. (.3) Therefore, Re u,v u v (.) for all
More informationBenjamin-Ono equation: Lax pair and simplicity of eigenvalues
Benjamin-Ono equation: Lax pair and simplicity of eigenvalues The Benjamin-Ono equation is u t + 2uu x + Hu x x = where the Hilbert transform H is defined as Hϕx) = P.V. π ϕy) x y dy. Unfortunately the
More information1 Fourier Integrals of finite measures.
18.103 Fall 2013 1 Fourier Integrals of finite measures. Denote the space of finite, positive, measures on by M + () = {µ : µ is a positive measure on ; µ() < } Proposition 1 For µ M + (), we define the
More informationMATH 5640: Fourier Series
MATH 564: Fourier Series Hung Phan, UMass Lowell September, 8 Power Series A power series in the variable x is a series of the form a + a x + a x + = where the coefficients a, a,... are real or complex
More informationOscillatory integrals
Chapter Oscillatory integrals. Fourier transform on S The Fourier transform is a fundamental tool in microlocal analysis and its application to the theory of PDEs and inverse problems. In this first section
More informationCHAPTER 4. Applications
CHAPTE 4 Applications The last part of the course includes some applications of Hilbert space and the spectral theorem the completeness of the Fourier basis, some spectral theory for second-order differential
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 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 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 informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
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 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 informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure Applied Mathematics http://jipam.vu.edu.au/ Volume 5 Issue 1 Article 4 004 ON THE HEISENBEG-PAULI-WEYL INEQUALITY JOHN MICHAEL ASSIAS PEDAGOGICAL DEPATMENT E. E. NATIONAL
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 informationSPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT
SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT Abstract. These are the letcure notes prepared for the workshop on Functional Analysis and Operator Algebras to be held at NIT-Karnataka,
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
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 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 informationElements of Positive Definite Kernel and Reproducing Kernel Hilbert Space
Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space Statistical Inference with Reproducing Kernel Hilbert Space Kenji Fukumizu Institute of Statistical Mathematics, ROIS Department
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 information1 Continuity Classes C m (Ω)
0.1 Norms 0.1 Norms A norm on a linear space X is a function : X R with the properties: Positive Definite: x 0 x X (nonnegative) x = 0 x = 0 (strictly positive) λx = λ x x X, λ C(homogeneous) x + y x +
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 informationMATH 220: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY
MATH 22: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY When discussing separation of variables, we noted that at the last step we need to express the inhomogeneous initial or boundary data as
More informationLecture I: Asymptotics for large GUE random matrices
Lecture I: Asymptotics for large GUE random matrices Steen Thorbjørnsen, University of Aarhus andom Matrices Definition. Let (Ω, F, P) be a probability space and let n be a positive integer. Then a random
More information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More informationProblem 1A. Suppose that f is a continuous real function on [0, 1]. Prove that
Problem 1A. Suppose that f is a continuous real function on [, 1]. Prove that lim α α + x α 1 f(x)dx = f(). Solution: This is obvious for f a constant, so by subtracting f() from both sides we can assume
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 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 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 informationChapter 8 Integral Operators
Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,
More informationStarting from Heat Equation
Department of Applied Mathematics National Chiao Tung University Hsin-Chu 30010, TAIWAN 20th August 2009 Analytical Theory of Heat The differential equations of the propagation of heat express the most
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 informationFRAMES AND TIME-FREQUENCY ANALYSIS
FRAMES AND TIME-FREQUENCY ANALYSIS LECTURE 5: MODULATION SPACES AND APPLICATIONS Christopher Heil Georgia Tech heil@math.gatech.edu http://www.math.gatech.edu/ heil READING For background on Banach spaces,
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 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 informationOrthonormal series expansion and finite spherical Hankel transform of generalized functions
Malaya Journal of Matematik 2(1)(2013) 77 82 Orthonormal series expansion and finite spherical Hankel transform of generalized functions S.K. Panchal a, a Department of Mathematics, Dr. Babasaheb Ambedkar
More informationMath Linear Algebra II. 1. Inner Products and Norms
Math 342 - Linear Algebra II Notes 1. Inner Products and Norms One knows from a basic introduction to vectors in R n Math 254 at OSU) that the length of a vector x = x 1 x 2... x n ) T R n, denoted x,
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationFunctional Analysis Review
Functional Analysis Review Lorenzo Rosasco slides courtesy of Andre Wibisono 9.520: Statistical Learning Theory and Applications September 9, 2013 1 2 3 4 Vector Space A vector space is a set V with binary
More informationSobolevology. 1. Definitions and Notation. When α = 1 this seminorm is the same as the Lipschitz constant of the function f. 2.
Sobolevology 1. Definitions and Notation 1.1. The domain. is an open subset of R n. 1.2. Hölder seminorm. For α (, 1] the Hölder seminorm of exponent α of a function is given by f(x) f(y) [f] α = sup x
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 informationProjection Theorem 1
Projection Theorem 1 Cauchy-Schwarz Inequality Lemma. (Cauchy-Schwarz Inequality) For all x, y in an inner product space, [ xy, ] x y. Equality holds if and only if x y or y θ. Proof. If y θ, the inequality
More informationBest approximation in the 2-norm
Best approximation in the 2-norm Department of Mathematical Sciences, NTNU september 26th 2012 Vector space A real vector space V is a set with a 0 element and three operations: Addition: x, y V then x
More informationarxiv:math/ v2 [math.ap] 3 Oct 2006
THE TAYLOR SERIES OF THE GAUSSIAN KERNEL arxiv:math/0606035v2 [math.ap] 3 Oct 2006 L. ESCAURIAZA From some people one can learn more than mathematics Abstract. We describe a formula for the Taylor series
More informationx 3y 2z = 6 1.2) 2x 4y 3z = 8 3x + 6y + 8z = 5 x + 3y 2z + 5t = 4 1.5) 2x + 8y z + 9t = 9 3x + 5y 12z + 17t = 7
Linear Algebra and its Applications-Lab 1 1) Use Gaussian elimination to solve the following systems x 1 + x 2 2x 3 + 4x 4 = 5 1.1) 2x 1 + 2x 2 3x 3 + x 4 = 3 3x 1 + 3x 2 4x 3 2x 4 = 1 x + y + 2z = 4 1.4)
More informationLinear Independence of Finite Gabor Systems
Linear Independence of Finite Gabor Systems 1 Linear Independence of Finite Gabor Systems School of Mathematics Korea Institute for Advanced Study Linear Independence of Finite Gabor Systems 2 Short trip
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 informationProf. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India
CHAPTER 9 BY Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India E-mail : mantusaha.bu@gmail.com Introduction and Objectives In the preceding chapters, we discussed normed
More information