Solutions: Problem Set 3 Math 201B, Winter 2007

Similar documents
Recall that any inner product space V has an associated norm defined by

Finite-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

Inner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that. (1) (2) (3) x x > 0 for x 0.

96 CHAPTER 4. HILBERT SPACES. Spaces of square integrable functions. Take a Cauchy sequence f n in L 2 so that. f n f m 1 (b a) f n f m 2.

THE PROBLEMS FOR THE SECOND TEST FOR BRIEF SOLUTIONS

MATH 304 Linear Algebra Lecture 20: The Gram-Schmidt process (continued). Eigenvalues and eigenvectors.

Functional Analysis Review

YORK UNIVERSITY. Faculty of Science Department of Mathematics and Statistics MATH M Test #2 Solutions

x 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

Review and problem list for Applied Math I

MAT Linear Algebra Collection of sample exams

MA 265 FINAL EXAM Fall 2012

which arises when we compute the orthogonal projection of a vector y in a subspace with an orthogonal basis. Hence assume that P y = A ij = x j, x i

Math 118, Handout 4: Hermite functions and the Fourier transform. n! where D = d/dx, are a basis of eigenfunctions for the Fourier transform

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

MATH 167: APPLIED LINEAR ALGEBRA Least-Squares

1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e.,

Analysis Preliminary Exam Workshop: Hilbert Spaces

Cheat Sheet for MATH461

Orthonormal Systems. Fourier Series

Functional Analysis Exercise Class

Mathematical foundations - linear algebra

MATH 1120 (LINEAR ALGEBRA 1), FINAL EXAM FALL 2011 SOLUTIONS TO PRACTICE VERSION

CHAPTER VIII HILBERT SPACES

Class notes: Approximation

5.) For each of the given sets of vectors, determine whether or not the set spans R 3. Give reasons for your answers.

Inner products. Theorem (basic properties): Given vectors u, v, w in an inner product space V, and a scalar k, the following properties hold:

Linear Algebra Massoud Malek

Math 261 Lecture Notes: Sections 6.1, 6.2, 6.3 and 6.4 Orthogonal Sets and Projections

HILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

Solutions to Review Problems for Chapter 6 ( ), 7.1

Hilbert Spaces: Infinite-Dimensional Vector Spaces

David Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent

LINEAR ALGEBRA SUMMARY SHEET.

Functional Analysis HW #5

A Review of Linear Algebra

This ODE arises in many physical systems that we shall investigate. + ( + 1)u = 0. (λ + s)x λ + s + ( + 1) a λ. (s + 1)(s + 2) a 0

Final Exam, Linear Algebra, Fall, 2003, W. Stephen Wilson

Math 102, Winter Final Exam Review. Chapter 1. Matrices and Gaussian Elimination

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.

Chapter 3 Transformations

1 Continuity Classes C m (Ω)

Math 224, Fall 2007 Exam 3 Thursday, December 6, 2007

Real Analysis Notes. Thomas Goller

Transpose & Dot Product

3 Orthogonality and Fourier series

Real and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory

MATH 167: APPLIED LINEAR ALGEBRA Chapter 3

Transpose & Dot Product

Linear Models Review

MATH 31 - ADDITIONAL PRACTICE PROBLEMS FOR FINAL

Power Series Solutions to the Legendre Equation

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

MATH 115A: SAMPLE FINAL SOLUTIONS

Vector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.

MTH 503: Functional Analysis

I teach myself... Hilbert spaces

MATH. 20F SAMPLE FINAL (WINTER 2010)

1. What is the determinant of the following matrix? a 1 a 2 4a 3 2a 2 b 1 b 2 4b 3 2b c 1. = 4, then det

MODULE 8 Topics: Null space, range, column space, row space and rank of a matrix

Your first day at work MATH 806 (Fall 2015)

Homework 5. (due Wednesday 8 th Nov midnight)

ORTHOGONAL POLYNOMIALS

1 Functional Analysis

Review problems for MA 54, Fall 2004.

Math 24 Spring 2012 Questions (mostly) from the Textbook

4.4. Orthogonality. Note. This section is awesome! It is very geometric and shows that much of the geometry of R n holds in Hilbert spaces.

Curve Fitting and Approximation

Bessel s and legendre s equations

Final Exam May 4, 2016

orthogonal relations between vectors and subspaces Then we study some applications in vector spaces and linear systems, including Orthonormal Basis,

homogeneous 71 hyperplane 10 hyperplane 34 hyperplane 69 identity map 171 identity map 186 identity map 206 identity matrix 110 identity matrix 45

Math 520 Exam 2 Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008

Assignment 1 Math 5341 Linear Algebra Review. Give complete answers to each of the following questions. Show all of your work.

Further Mathematical Methods (Linear Algebra) 2002

Math Camp Lecture 4: Linear Algebra. Xiao Yu Wang. Aug 2010 MIT. Xiao Yu Wang (MIT) Math Camp /10 1 / 88

THEOREMS, ETC., FOR MATH 515

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

MATH 304 Linear Algebra Lecture 34: Review for Test 2.

Solutions: Problem Set 4 Math 201B, Winter 2007

I. Multiple Choice Questions (Answer any eight)

FINAL EXAM Ma (Eakin) Fall 2015 December 16, 2015

LINEAR ALGEBRA 1, 2012-I PARTIAL EXAM 3 SOLUTIONS TO PRACTICE PROBLEMS

MATH 235: Inner Product Spaces, Assignment 7

Lecture 13: Orthogonal projections and least squares (Section ) Thang Huynh, UC San Diego 2/9/2018

Elementary linear algebra

MATH 240 Spring, Chapter 1: Linear Equations and Matrices

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan

235 Final exam review questions

Your first day at work MATH 806 (Fall 2015)

Functional Analysis Review

Math 3191 Applied Linear Algebra

Math Real Analysis II

Linear Algebra. Min Yan

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT

Math Linear Algebra Final Exam Review Sheet

1.6 and 5.3. Curve Fitting One of the broadest applications of linear algebra is to curve fitting, especially in determining unknown coefficients in

MATH 20F: LINEAR ALGEBRA LECTURE B00 (T. KEMP)

Worksheet for Lecture 25 Section 6.4 Gram-Schmidt Process

Transcription:

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 H is a finite-dimensional Hilbert space with orthonormal basis then {e n 1 n d}, { d } D = c n e n c n = q n + ir n with q n, r n Q n=1 is a countable dense subset of H. If H is an infinite-dimensional Hilbert space with countable orthonormal basis {e n n N}, then { N } D = c n e n N N, c n = q n + ir n with q n, r n Q n=1 is a countable dense subset. Thus, H is separable if it has a countable orthonormal basis. Suppose that H has an uncountable orthonormal basis, and let D be a dense subset of H. E = {e α α A}, The orthonormality of E implies that if α β, then e α e β 2 = e α 2 + e β 2 = 2. The open balls B 2/2 e α) are therefore disjoint, and, since D is dense, each ball contains at least one point x α D, say. The map α x α is a one-to-one map of A into D, so the cardinality of D is greater than or equal to the cardinality of A. It follows that no dense subset of H is countable, so H is not separable.

Problem 2. Prove that if M is a dense linear subspace of a separable Hilbert space H, then H has an orthonormal basis consisting of elements in M. Solution. If H is finite-dimensional, then every linear subspace is closed. Thus, the only dense linear subspace of H is H itself, and the result follows from the fact that H has an orthonormal basis. Suppose that H is infinite-dimensional. Since H is separable, it has a countable dense subset {x n n N}, which need not be a subset of M. Since M is dense in H, for each n N, there exists a sequence x mn ) in M such that x mn x n as m. The set {x mn m, n N} is then a countable subset of M that is dense in H. Let D be a subset of M that is dense in H, and let B = {x n n N} be a maximal linearly independent subset of D. Then the linear span of B, meaning all finite linear combinations of elements of B, contains D so it is dense in H. The closed linear span of B is therefore equal to H. Gram-Schmidt orthonormalization of B gives an orthonormal set E = {e n n N} whose closed linear span is equal to that of B, meaning that E is an orthonormal basis of H. Moreover, since each x n M and each e n E is a finite linear combination of {x 1,..., x n }, it follows that e n M. Thus, E is an orthonormal basis of H consisting of elements of M.

Problem 3. Define the Legendre polynomials P n by P n x) = 1 d n. 2 n n! n a) Compute the first four Legendre polynomials, P 0 x), P 1 x), P 2 x), P 3 x). b) Show that the Legendre polynomials are orthogonal in L 2 [, 1]). c) Show that the Legendre polynomials are obtained by Gram-Schmidt orthogonalization of the monomials {1, x, x 2,...} in L 2 [, 1]). d) Show that P n x) 2 = 2 2n + 1. e) Show that the Legendre polynomial P n is an eigenfunction of the differential operator L = d ) 1 x 2 d with eigenvalue λ n = nn + 1), meaning that LP n = λ n P n. f) Compute the polynomial qx) of degree 2 that is closest to e x on [, 1], in the sense that { } e x qx) 2 = min e x fx) 2 fx) = ax 2 + bx + c. Solution. a) The first few Legendre polynomials are P 0 x) = 1, P 1 x) = x, P 2 x) = 3 2 x2 1 2, P 3 x) = 5 2 x3 3 2 x, P 4x) = 35 8 x4 15 4 x2 + 3 8. To prove that P m is orthogonal to P n, where we may assume m < n without loss of generality, it suffices to prove that x m is orthogonal to P n for every m < n. It then follows by linearity that every polynomial of degree m < n is orthogonal to P n, including, in particular, P m.

Integrating by parts m-times, we compute that x m, P n = 1 1 2 n n! = )m 2 n n! x m dn d m n m xm ) dn m n m [ = )m m! d n m x 2 1 ) ] 1 n 2 n n! n m = 0. All of the boundary terms vanish at x = ±1 because, for 1 k n, the polynomial d n k n k has a factor x 2 1) k. Hence x m P n for m < n, and P m P n for m n. c) The linear subspace of polynomials of degree n has dimension n+1. The orthogonal complement of the polynomials of degree n 1 in the space of polynomials of degree n is equal to 1, and therefore {P n } is a basis of the orthogonal complement. The Gram-Schmidt orthogonalization of the monomials gives a polynomial of degree n in this complement, so it gives the Legendre polynomials up to normalization. d) Integrating by parts as in a), we compute that P n, P n = 1 1 2 n n!) 2 = )n 2 n n!) 2 = )n 2n)! 2 n n!) 2 d n n d 2n Using integration by parts again, we get d n n 2n. x 2 1 ) n = x 1) n x + 1) n

= n x 1) n x + 1) n+1 n + 1 ) n nn 1)... 1 1 = x + 1) 2n n + 1)n + 2)... 2n) n!) 2 2 2n+1 = 2n)!2n + 1). Using this integral in the expression for the inner product of P n, and simplifying the result we get e) We write D = d/. product gives P n 2 = P n, P n = 2 2n + 1 D n fg) = Leibnitz s rule for the nth derivative of a n k=0 In particular, since D k x m = 0 for k > m, D n xf) = xd n f + nd n f, ) n D k f D n k g. k D n x 2 f ) = x 2 D n f + 2nxD n f + nn 1)D n 2 f. Let ux) = x 2 1) n. Then x 2 1 ) Du = 2nxu. We apply D n+1 to this equation, and use Leibnitz s rule to expand the derivatives, which gives x 2 1 ) D n+2 u + n + 1) 2xD n+1 u + n + 1)nD n u = 2nxD n+1 u + 2nn + 1)D n u. After simplification we obtain that x 2 1 ) D n+2 u + 2xD n+1 u nn + 1)D n u = 0, which implies that x 2 1 ) D 2 P n + 2xDP n nn + 1)P n = 0. This equation is equivalent to LP n = λ n P n.

f) By the projection theorem, the closest polynomial of degree N to f L 2 [, 1]) is the one such that the error f q is orthogonal to the linear space of polynomials of degree N, meaning that N q = c n P n n=1 where the {c n n = 0, 1, 2,...} are the Fourier coefficients of f with respect to the Legendre polynomials {P n n = 0, 1, 2,...}, c n = P n, f P n 2. If fx) = e x, then we compute that P 0, f = = [e x ] 1 = e 1 e, 1 e x P 1, f = xe x = [xe x e x ] 1 = 2 e, 3 P 2, f = 2 x2 1 ) e x 2 [ 3 = 2 x2 e x 3xe x + 3e x 1 2 ex = e 7 e. Using the normalization of the Legendre polynomials from d), we find that the closest quadratic polynomial q to e x in L 2 [, 1]) is qx) = 1 e 1 ) + 3 ) 2 x + 5 e 7 ) 3 2 e 2 e 2 e 2 x2 1 ) 2 = 3 e 11 ) + 3 4 e e x + 15 e 7 ) x 2. 4 e ] 1

Problem 4. Define the Hermite polynomials H n by a) Define H n x) = ) n e x2 dn e x2). n φ n x) = e x2 /2 H n x). Show that {φ n n = 0, 1, 2,...} is an orthogonal set in L 2 R). b) Show that the nth Hermite function φ n is an eigenfunction of the linear operator with eigenvalue Solution. H = d2 2 + x2 λ n = 2n + 1. a) It is sufficient to show that φ n is orthogonal to e x2 /2 x m for each m < n, since then φ n is orthogonal to every function of the form e x2 /2 p m, where p m is a polynomial of degree m < n, and hence in particular to φ m. Integrating by parts m-times, and using the fact that p e x2 /2 0 as x for every polynomial p, we compute that e x2 /2 x m, φ n which proves the result. = ) n = ) m+n m! = ) m+n m! = 0, e x2) n x m dn d n m e x2) [ n m d n m e x2)] n m b) Let A = d + x, A = d + x.

We show below that dh n = 2nH n = H n+1 + 2xH n. 1) Using this result, we compute that ) d ) Aφ n = + x e x2 /2 H n = e x2 /2 dh n = 2ne x2 /2 H n = 2nφ n, and A φ n = d = e x2 /2 ) ) + x e x2 /2 H n ) dh n + 2xH n = e x2 /2 H n+1 = φ n+1, The product rule xf) = xf + f implies that Hence AA = d x = x d + 1. ) d + x d ) + x = d2 + d 2 x x d + x2 = H + 1, so H = AA 1.

It follows that Hφ n = AA 1) φ n = AA φ n φ n = Aφ n+1 φ n = 2n + 1)φ n φ n = 2n + 1) φ n. Finally, we prove 1). First, using the product rule, we get dh n = ) n d dn x2 [e e x2)] n = ) n dn+1 x2 e e x2) + ) n 2xe x2 dn e x2) n+1 n = H n+1 + 2xH n. 2) Second, carrying out one differentiation and using the Leibnitz formula for the nth derivative of a product, we get d n+1 e x2) = dn 2xe x2) n+1 n = 2x dn n e x2) 2n dn n e x2). Multiplying this equation by ) n+1 e x2 and using the definition of the Hermite polynomials, we get the recurrence relation H n+1 = 2xH n 2nH n. Using this equation to eliminate H n+1 from 2), we find that dh n = 2nH n. Remark. It follows from the Weierstrass approximation theorem that both the Legendre polynomials and the Hermite functions are complete orthonormal sets, and hence they provide orthonormal bases of L 2 [, 1]) and L 2 R), respectively.