Functional Analysis F3/F4/NVP (2005) Homework assignment 3

Similar documents
Functional Analysis F3/F4/NVP (2005) Homework assignment 2

Functional Analysis (2006) Homework assignment 2

Prove that this gives a bounded linear operator T : X l 1. (6p) Prove that T is a bounded linear operator T : l l and compute (5p)

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

5 Compact linear operators

FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0

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

Homework If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator.

Your first day at work MATH 806 (Fall 2015)

Math Solutions to homework 5

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

285K Homework #1. Sangchul Lee. April 28, 2017

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

Analysis Preliminary Exam Workshop: Hilbert Spaces

THEOREMS, ETC., FOR MATH 515

Homework I, Solutions

Math 328 Course Notes

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

The weak topology of locally convex spaces and the weak-* topology of their duals

Exercises to Applied Functional Analysis

Functional Analysis Exercise Class

I teach myself... Hilbert spaces

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

201B, Winter 11, Professor John Hunter Homework 9 Solutions

The Arzelà-Ascoli Theorem

Homework Assignment #5 Due Wednesday, March 3rd.

Biholomorphic functions on dual of Banach Space

A Spectral Characterization of Closed Range Operators 1

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

Your first day at work MATH 806 (Fall 2015)

Real Variables # 10 : Hilbert Spaces II

Introduction to Functional Analysis

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

3 Orthogonality and Fourier series

1 Definition and Basic Properties of Compa Operator

MA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt

E.7 Alaoglu s Theorem

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Problem 1: Compactness (12 points, 2 points each)

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

The spectrum of a self-adjoint operator is a compact subset of R

Introduction to Bases in Banach Spaces

Kernel Method: Data Analysis with Positive Definite Kernels

Lecture Notes in Functional Analysis

SOLUTIONS TO SOME PROBLEMS

Math 209B Homework 2

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

COMPACT OPERATORS. 1. Definitions

Normed Vector Spaces and Double Duals

Compact operators on Banach spaces

It follows from the above inequalities that for c C 1

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT

************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan

It follows from the above inequalities that for c C 1

Fredholm Theory. April 25, 2018

Spectral theory for compact operators on Banach spaces

are Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication

Projection Theorem 1

Functional Analysis Exercise Class

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

Analysis Comprehensive Exam Questions Fall 2008

CSE386C METHODS OF APPLIED MATHEMATICS Fall 2014, Final Exam, 9:00-noon, Tue, Dec 16, ACES 6.304

Exercise Solutions to Functional Analysis

RIESZ BASES AND UNCONDITIONAL BASES

Introduction to Empirical Processes and Semiparametric Inference Lecture 22: Preliminaries for Semiparametric Inference

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Outline of Fourier Series: Math 201B

Chapter 2 Hilbert Spaces

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.

Math 421, Homework #9 Solutions

Continuity. Chapter 4

Errata Applied Analysis

Math 5520 Homework 2 Solutions

Weak Topologies, Reflexivity, Adjoint operators

1 Functional Analysis

CHAPTER VIII HILBERT SPACES

Tools from Lebesgue integration

AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES

A Brief Introduction to Functional Analysis

Midterm 1. Every element of the set of functions is continuous

C.6 Adjoints for Operators on Hilbert Spaces

Functional Analysis HW #3

Math 123 Homework Assignment #2 Due Monday, April 21, 2008

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

Functional Analysis, Stein-Shakarchi Chapter 1

Continuous Functions on Metric Spaces

4 Linear operators and linear functionals

Fall TMA4145 Linear Methods. Exercise set 10

Chapter 8 Integral Operators

FRAMES AND TIME-FREQUENCY ANALYSIS

Problem Set 5: Solutions Math 201A: Fall 2016

About Grupo the Mathematical de Investigación Foundation of Quantum Mechanics

2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.

Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space

A note on the σ-algebra of cylinder sets and all that

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

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017

Frame expansions in separable Banach spaces

Math 699 Reading Course, Spring 2007 Rouben Rostamian Homogenization of Differential Equations May 11, 2007 by Alen Agheksanterian

SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS

Transcription:

Functional Analysis F3/F4/NVP (005 Homework assignment 3 All students should solve the following problems: 1. Section 4.8: Problem 8.. Section 4.9: Problem 4. 3. Let T : l l be the operator defined by T x = ( ξ 1 + ξ, ξ, ξ 3 + ξ 4, ξ 4, ξ 5 + ξ 6, ξ 6, ξ 7 + ξ 8,..., x = (ξ j l. Determine the four sets ρ(t, σ p (T, σ c (T, σ r (T. 4. Prove the following (partial converse to the spectral theorem for compact, self-adjoint operators: If H is a Hilbert space, {e n } is a total orthonormal sequence in H, and {λ n } is a sequence of real numbers such that lim n λ n = 0, then there exists a unique bounded linear operator T : H H such that T (e n = λ n e n for all n. This operator is compact and self-adjoint. Students taking Functional Analysis as a 6 point course should also solve the following problems: 5. Section 8.: Problem 8. 6. Let H be the Hilbert space L (, and let T : H H be the multiplication operator T x(t = sin(t x(t. Verify that T is a bounded self-adjoint operator, and find its spectral family. Solutions should be handed in by Thursday, March 3, 16.00. (Either give the solutions to me directly or put them in my mailbox, third floor, House 3, Polacksbacken. 1

Functional Analysis F3/F4/NVP Comments to homework assignment 3 (to be updated! 1.Many students claim that if (x n is a weak Cauchy sequence in X then there must exist some x in X such that (x n converges weakly to x. This is not true (even if X is a Banach space. Example: Let X = c 0 (see p. 70, exercise 1 and let a 1, a, a 3,... be any bounded sequence of complex numbers. Then the following is a weak Cauchy sequence in X = c 0 : x 1 = (a 1, 0, 0, 0,..., x = (a 1, a, 0, 0, 0,..., x 3 = (a 1, a, a 3, 0, 0, 0,..., x 4 = (a 1, a, a 3, a 4, 0, 0, 0,... (Proof: one uses the fact given in exercise 8 on p. 16. In explicit terms this exercise tells us: For every f (c 0 there is some (b n l 1 such that f((ξ n = b nξ n. It follows that if x 1, x, x 3,... is the sequence in c 0 given above then lim j f(x j = b na n. Hence x 1, x, x 3,... is indeed weak Cauchy. However, for most choiches of numbers a 1, a, a 3,..., the above sequence (x n does not converge weakly to an element x c 0.

3 Functional Analysis F3/F4/NVP Solutions to homework assignment 3 1. Assume that (x n is a weak Cauchy sequence in X. Take an arbitrary f X. Then (f(x n is a Cauchy sequence in K, and hence it is a bounded sequence. Hence, for every f X there exists some constant c f such that f(x n c f for all n. Now we imitate the argument from p. 58 in the book (part (c: For every x X we define g x X as usual by g x (f = f(x for all f X (cf. p. 39 and Lemma 4.6-1. We now have for all n, g xn (f = f(x n c f. This tells us that the sequence (g xn in X = B(X, K is pointwise bounded. We also know that X is a Banach space by Theorem.10-4. Hence the Uniform Boundedness Theorem (Theorem 4.7-3 can be applied, and this gives that there exists a constant c such that g xn c for all n. But x n = g xn by Lemma 4.6-1; hence we have proved that x n c for all n, i.e. the sequence (x n is bounded.. Let X be an arbitrary normed space, and let (f n be a sequence in X. Assume that (f n converges weakly to f X. We wish to prove that (f n is weak* convergent to f. Let x be an arbitrary vector in X. Let g x X be the image of x under the canonical mapping of X into X (cf. p. 39 40, i.e. g x (h = h(x, h X. Since g x X and (f n converges weakly to f X, we have lim n g x (f n = g x (f. This means lim n f n (x = f(x. Since this holds for all x X, (f n is weak* convergent to f. Now assume that X is reflexive. We wish to prove that weak* convergence in X implies weak convergence in X. Let (f n be an arbitrary sequence in X which is weak* convergent to some f X. Let g be an arbitrary element in X. Then since X is reflexive, there is an element x X such that g x = g. Since (f n is weak* convergent to f we have lim n f n (x = f(x. This can also be written: lim n g x (f n = g x (f. But g x = g, hence we have lim n g(f n = g(f. But g X was arbitrary; hence (f n is weakly convergent to f.

4 3. T is a bounded linear operator l l, since, for all (ξ n l, T ((ξ n = ξ 1 + ξ + ξ + ξ 3 + ξ 4 + ξ 4 +... (1 + 1 ( ξ 1 + ξ + ξ + (1 + 1 ( ξ 3 + ξ 4 + ξ 4 +... 3 ξ n = 3 (ξ n. (This also shows T 3. In the computation above we used Schwarz inequality on C, which says the following: ( a 1 b 1 + a b ( a 1 + a ( b 1 + b, a 1, a, b 1, b C. (We used this with a 1 = a = 1 and b 1 = ξ 1, b = ξ, etc. To get started, we investigate when T λ = T λi is injective. Let us write x = (ξ n l and y = (T λix = (η n l. Then ( y = (η n = ((1 λξ 1 + ξ, (1 λξ, (1 λξ 3 + ξ 4, (1 λξ 4,... Now if λ = 1 then T x = 0 for every vector x = (ξ n l with ξ = ξ 4 = ξ 6 =... = 0, and there exist many such vectors which are 0, e.g. x = (1, 0, 0, 0,... This shows that if λ = 1 then T λi is not injective; hence 1 σ p (T. From now on we assume λ 1. Then for any x = (ξ n l, formula (** implies: ξ 1 = 1 η 1 1 η ( ξ = 1 η ( ξ 3 = 1 η 3 1 η ( 4 ξ 4 = 1 η 4... Now if some x = (ξ n l would give T x = T x = (η n then each ξ n is given by the same formula as ξ n in (***, i.e. ξ n = ξ n for all n and hence x = x. This proves that T λi is injective (under our present assumption λ 1. From the above computations we also obtain explicit formulas for (T λi 1 and D ((T λi 1 : D ( { } (T λi 1 = (η n l if ξ n is computed using (*** then ξ n < and (T λi ((η 1 n = (ξ n, (η n D ( (T λi 1.

To decide whether λ belongs to σ c (T or σ r (T or ρ(t we must determine whether D ((T λi 1 is dense in l and whether (T λi 1 is bounded. In the present problem it turns out to be easiest to consider the first question first. This means trying to bound (ξ n in terms of (η n in (***. For every (η n l we have, if (ξ n is computed using (***: ξ n = 1 η 1 1 η ( + 1 η + 1 η 3 1 4 η ( 4 + 1 5 η 4 ( 1 1 + ( η ( 1 + η + 1 η ( 1 + 1 + ( η ( 3 + η 4 + 1 η 4 + Here we used again the inequality (* above. It follows from the above that if we let C λ be the constant C λ = 1 1 + ( + 1, then ξ n C λ η n. In particular, for every (η n l we have ξ n <, i.e. (ξ n l. In view of our earlier formular for D ((T λi 1, this proves that D ( (T λi 1 = l, i.e. D ((T λi 1 is dense in l in the trivial way that it is equal to l. The above computation also proves that (T λi 1 ((η n = ξ n C λ (η n for all (η n l, i.e. the operator (T λi 1 is bounded, with norm C λ. Together, this implies that λ ρ(t. This is true for all λ 1. Hence we have proved: σ p (T = {1}; σ c (T = ; σ r (T = ; ρ(t = C \ {1}. 4. Let {e n } be a total sequence in H, and {λ n } is a sequence of real numbers such that lim n λ n = 0. By the main Theorem 3.5- (in the +...

6 version I proved in class, we know that H = { α n e n α n K, α n < } Now if T is a bounded linear operator T : H H with T (e n = λ n e n for all n, we have for all sequences (α n in K with α n < : ( ( N N T α n e n = T α n e n = lim T α n e n N = lim N lim N N α n λ n e n = α n λ n e n. The last sum converges since ( α nλ n sup n λ n α n < (here sup n λ n < since lim n λ n = 0. This proves uniqueness, i.e. that there is only one possible bounded linear operator T : H H with T (e n = λ n e n for all n. On the other hand, the formula T ( α ne n = α nλ n e n truly defines a bounded linear operator T : H H. (Proof: Linearity is checked by a straightforward computation. Furthermore, we have T ( α ne n = α nλ n e n = α nλ n (sup n λ n α n = (sup n λ n α ne n. Hence T is bounded with norm T sup n λ n. We now prove that T is self-adjoint. Let x, y be two arbitrary vectors in H. Then we have x = α ne n and y = β ne n for some α n, β n K with α n <, β n <. Now, by a generalization of the Parseval relation which I have mentioned in class (compare p.175, exercise 4, T x, y = λ n α n e n, β n e n = λ n α n β n and x, T y = α n e n, λ n β n e n = α n λ n β n But all numbers λ n are assumed to be real; hence T x, y = x, T y. Since x, y were arbitrary this proves that T is self-adjoint. Finally, we now prove that T is compact, by imitating the argument in Example 8.1-6, p.409 in the book. For each m Z + we define the

operator T m : H H by T m α n e n = m λ n α n e n. This operator is clearly linear, and it is bounded since T m ( m m α n e n = λ n α n sup λ n α n 1 n m ( sup λ n α n e n, 1 n m for all vectors x = α ne n H. (This shows that T m sup1 n m λ n = sup 1 n m λ n. Furthermore the range R(T m Span{e 1, e,..., e m } is finite dimensional, hence by Theorem 8.1-4(a, T m is compact. For each m and each x = (T T m α n e n = hence T T m α ne n H we have ( λ n α n n=m+1 sup λ n n m+1 ( sup λ n α n e n, n m+1 sup n m+1 λ n = sup λ n. n m+1 n=m+1 This number tends to 0 as m, since lim n λ n = 0. Hence T T m 0 as m. Hence by Theorem 8.1-5, the operator T is compact. 7 α n