Analysis IV : Assignment 3 Solutions John Toth, Winter ,...). In particular for every fixed m N the sequence (u (n)
|
|
- Evangeline Warren
- 5 years ago
- Views:
Transcription
1 Analysis IV : Assignment 3 Solutions John Toth, Winter 203 Exercise (l 2 (Z), 2 ) is a complete and separable Hilbert space. Proof Let {u (n) } n N be a Cauchy sequence. Say u (n) = (..., u 2, (n) u (n), u (n) 0, u (n), u (n) 2,...). In particular for every fixed m N the sequence (u (n) m ) n= is Cauchy in (C, ), so!u m C such that u (n) m u m as n. We claim that u = (..., u 2, u, u 0, u, u 2,...) l 2 (Z) and that u (n) u in (l 2 (Z), 2 ). Since the sequence {u (n) } n N is Cauchy, it is bounded by say N. Also for all n and M we have ( ( M m= M M m= M u m 2 ) /2 u m u (n) m 2 ) /2 +N. Taking first the limit as n and then the limit as M shows that u 2 N. Now let ɛ > 0 be given. Choose N such that u (n) u (n ) 2 < ɛ whenever n, n N. In particular for every M M N, and n, n N we have u (n) m u (n ) 2 < ɛ 2. Taking first the limit as n and then the limit m= M as M shows that u (n) u 2 < ɛ whenever n N. m Now for n N, let D n = {u (l 2 (Z) : u i Q for i n, u i = 0 for i > n}. We claim that countable dense set of l 2 (Z). Indeed given u l 2 (Z) and ɛ > 0, first choose N such that choose 2N + rationals q N,...q N such that we certainly have u q 2 2 < 2ɛ. n N n >N n 0 D n is a u n 2 < ɛ and then u n q n 2 < ɛ. Then letting q = (..., 0, q N,..., q N, 0,...) D, Exercise 2. In general, L (R n ) L 2 (R n ) 2. In general, L 2 (R n ) L (R n ). 3. If f L 2 (R n ) and f is supported on a set E of finite measure, then f L (R n ). 4. If f L (R n ) and f is bounded by M (almost everywhere), then f L 2 (R n ). Proof We are working in n dimensions.. Consider x α dx = 0 r α r n dr dω n = 0 rn α dr dω n where dω n = n/2. Γ(n/2) B(0,) Choose α so that n α = 2. Then B(0,) x α dx = 4πn/2 Γ(n/2), but x n+/2 B(0,) belongs to L (R n ) but doesn t belong to L 2 (R n ). i B(0,) x 2α dx =. i.e. the function
2 2. Consider but B(0,) c x α dx = r n α dr dω n. Choose α so that n α =. Then B(0,) c x α dx =, B(0,) c x 2α dx = n/2 Γ(n/2) i.e. the function x n B(0,) c belongs to L 2 (R n ) but doesn t belong to L (R n ). 3. f = f E f 2 E 2 = f 2 m(e) /2 4. f 2 f M /2 = f /2 M /2. Exercise 3 L 2 (R n R n ). Proof Let {φ k } k= be an orthonormal basis for L2 (R n ). Then {φ k (x)φ j (y)} k,j= is an orthonormal basis for By Fubini s theorem, φ R n R n k (x)φ j (y)φ k (x)φ j (y)dxdy = ( ) φ R n R n k (x)φ k (x)dx φ j (y)φ j (y)dy = Kronecker(k,k ) Kronecker(j,j ). So the φ k (x)φ j (y) are mutually orthogonal. To show that they span L 2 (R n R n ), it is equivalent to show that if f(x, y) L 2 (R n R n ) is such that f(x, y)φ R n R n k (x)φ j (y)dxdy = 0, then f(x, y) = 0. (In other words, the only vector that is simultaneously orthogonal to all the basis elements is the 0 vector.) Indeed, by Fubini, 0 = f(x, y)φ R n R n k (x)φ j (y)dxdy = ( ) f(x, y)φ R n R n k (x)dx φ j (y)dy. Since {φ j } j= is an orthonormal basis for L 2 (R n ), this implies that for every k f(x, y)φ R n k (x)dx = 0 for Leb R n - a.e. y R n. That is, for every k, there is a set M k R n with m(m k ) = such that for y M k, f(x, y)φ R n k (x)dx = 0. Then obviously m( M k ) = k and for y M k, f(x, y) = 0 for Leb R n - a.e. x R n. Hence f(x, y) = 0 for Leb R n R n - a.e. (x, y) Rn R n. k Exercise 4 Let L 2 ([, π]) be the Hilbert space of functions F (e iθ ) on the unit circle with inner product F, G = π F (e iθ )G(e iθ )dθ. Then the mapping U : L 2 ([, π]) F f L 2 (R), where f is given by f(x) = π(i+x) F ( i x) i+x is unitary. Proof Let C + = {z C : Im(z) > 0} (open upper half plane) and D = {z C : z < } open unit disc. The well-known conformal map C + z i z D extends to a homeomorphism C i+z + z i z D \ { }. i+z Clearly if z = x R, then i z i x =, and the map x takes 0, i, i, etc... The inverse of i+z i+x the map R x i x i( ω) D \ { } is D \ { } ω R. i+x +ω f, g = f(x)g(x)dx = F ( i x i x )G( )dx = F ( i x i x )G( )dx π (i+x)(i+x) i+x i+x π +x 2 i+x i+x Performing the change of variable x = tan( θ 2dx ), we have dθ =, sin(θ) = 2x, cos(θ) = x2, and i x = 2 +x 2 +x 2 +x 2 i+x eiθ Hence f, g = F, G. We also need to check that U is surjective: ii
3 Given a function f L 2 (R), we have for all x R, f(x) = f Also i + x = 2i = i x i+x + ( ) i( ω), where ω = i x. +ω i+x ( 2i. Consider the function D \ { } ω F (ω) = 2i π f i( ω) ω+ ω+ +ω ) C. By construction UF = f and so U is surjective. Note: technically, as a function, F should be defined on D. But since { } is a set of measure zero, we have defined the equivalence class in which F belongs, and that is what is relevant. Since {e inx : n Z} form an orthonormal basis for L 2 ([, π]), automatically {Ue inx : n Z} = { π(i+x) ( i x i+x) n : n Z} form an orthonormal basis for L 2 (R). Exercise 5 Let H be a Hilbert space; A : H H be a linear operator. Then AA = A A = A 2 = A 2 Remark If A = sup x H, x Ax <, we say that A is a bounded operator with norm A. The following are equal to A as defined above:. sup Ax Ax 2. sup x x H,x 0 3. inf{m 0 : Ax M x for all x H} 4. sup{ x, Ay : x, y H, x, y } 5. sup{ x, Ay : x, y H, x =, y = } The proof of these is obvious for the most part. By Cauchy-Schwarz, we have sup{ x, Ay : x, y H, x, y } A. Conversely, sup{ x, Ay : x, y H, x, y } sup{ Ay, Ay : y H, y } Ay = sup{ Ay : y H, y } = A. Proof Clearly x, Ay = y, A x for all x, y so this gives A = A. Next, A A = sup ( A (Ax) sup A Ax = A A. Conversely A 2 = = sup Ax, Ax = 2 sup Ax ) = sup Ax 2 (since x x 2 is increasing and continuous on [0, )) x, A Ax A A by Cauchy-Schwarz. sup iii
4 Exercise 6 Let H be an infinite dimensional (separable) Hilbert space, (f k ) k= a sequence in H, with f k = for all k. Then there exists a subsequence (f kj ) j= of (f k ) k= and a unique f H such that f k j w f, that is f kj, g f, g for all g H. Proof This is a special case of the famous theorem by Alaoglu. Let {g n } be an orthonormal basis for H. We are assuming that H is separable so that the basis is countable. Consider the (infinite) array with k, n th entry equal to f k, g n. We describe the diagonalization procedure which produces a subsequence (f kj ) j= of (f k ) k= such that f kj, g n converges in (C, ) as j for every n N. Consider the first column of the array, namely the sequence ( f k, g ) k=. This is a bounded sequence (C-S) in C so it has a convergent subsequence denoted by ( f kj, g ) j=. Denote this limit c. Now we move on to the second column of the array, and consider the sequence ( f kj, g 2 ) j=. Notice that we are restricting our attention only to the indices of the subsequence obtained in the previous column. This is a bounded sequence and we may therefore extract a converging subsequence ( f k2j, g 2 ) j=. Denote the limit c 2. In general, suppose that in the n th column we have found a subsequence ( f knj, g n ) j= of ( f k, g n ) k= converging to c n. Then we pass to the (n + ) th column and extract a subsequence ( f k(n+)j, g n+ ) j= of ( f knj, g n+ ) j= converging to c n+. Now set k j = k jj for j =, 2, 3,... Then for every n, ( f kj, g n ) j= is a subsequence of ( f knj, g n ) j= starting from j = n. Hence for every n, ( f kj, g n ) j= c n. Finally letting f = c n g n, we have that ( f kj, g n ) j= f, g n for every n. If g = N a i g i, Then by linearity of n= the inner product ( f kj, g ) j= f, g. i= Exercise 7 Consider a Hilbert space H and the collection of bounded operators on H equipped with the operator norm.. Strong convergence doesn t imply convergence in norm. 2. Weak convergence doesn t imply strong convergence 3. For any bounded operator T on H there exists a sequence of finite rank operators (T n ) n= such that T n T strongly. Proof. Consider the Hilbert space l 2 (N), 2 ) and the shift operator to the left (Lx) n = x n+ for n 0, x l 2 (N). We claim that the sequence (L n ) n= (L composed with itself n times) converges strongly to the 0 operator but does not converge in norm to the 0 operator. Given ɛ > 0 and x l 2 (N) choose N such that x i 2 < ɛ. Then L n x 2 2 < ɛ for every n N. Since ɛ was arbitrary we have L n x 2 0, i.e. L n x 0. On the other hand we clearly have L n and L n δ n+ 2 =, where δ n+ is the element (0, 0,...,, 0, 0,...) where the occurs in the n + position. Hence L n = for all n, and L n cannot converge in norm to the 0 operator. i=n iv
5 2. Now consider the shift operator to the right (Rx) n+ = x n for n 0, (Rx) 0 = 0, x l 2 (N). We claim that the sequence (R n ) n= converges weakly to the 0 operator but does not converge strongly to the 0 operator. Clearly R n x 2 = x 2 for all x and so (R n ) n= cannot converge strongly to 0 operator. However, since (l 2 (N)) = l 2 (N), every linear functional on l 2 (N) is of the form a, = a n n for some a l 2 (N). Hence n=0 given ɛ > 0, a, x l 2 (N), choose N such a i 2 < ɛ. Then for n N, a, R n x a i x i N i=n i=n a i 2 x 2 ɛ x 2. i=n 3. Let (g k ) k= be a orthonormal basis of H. Let T ng k = T g k for k n and T n g k = 0 for k > n. Then each T n has finite rank (i.e. dimension of range is finite) and T n g k T g k = 0 for n sufficiently large. For an arbitrary vector g, applying the triangle inequality gives T n g T g = 0 for n sufficiently large. Exercise 9 Suppose w is a measurable function on R d with 0 < w(x) < for a.e. x, K is a measurable function on R 2d that satisfies:. R d K(x, y) w(y)dy Aw(x) for almost every x R d 2. R d K(x, y) w(x)dx Aw(y) for almost every y R d Then the integral operator L 2 (R d ) f(x) T f(x) = R d K(x, y)f(y)dy L 2 (R d ) is bounded with operator norm less than A. Proof First, K(x, y) f(y) dy = K(x, y) /2 w(y) /2 K(x, y) /2 f(y) w(y) /2 dy R d R ( d ) /2 ( K(x, y) w(y)dy K(x, y) f(y) 2 w(y) dy R d R d A /2 w(x) /2 (R d K(x, y) f(y) 2 w(y) dy ) /2 ) /2 v
6 Next, T f 2 2 = K(x, y)f(y)dy 2 dx R d R d ( ) Aw(x) K(x, y) f(y) 2 w(y) dy dx R d R d ( ) = (Fubini) A f(y) 2 w(y) K(x, y) w(x)dx dy R d R d A R 2 f(y) 2 w(y) w(y)dy d = A 2 f 2 2 Somehow it all works out nicely and T A. Exercise 0 The operator L 2 (0, ) f(x) T f(x) = 0 f(y)dy π(x+y) L2 (0, ) is bounded and T. Proof Let w(x) = x. By the previous exercise it is enough to check that By the change of variable y = u one verifies that 0 A =. π(x+y) 0 π(x+y) w(y)dy Aw(x). y dy = x. So the desired inequality holds with Exercise Consider the sawtooth function defined on [, π) by K(x) = i(πsgn(x) x) and extended to R with period. Suppose that f L ([, π]) is extended to R with period, and consider the operator T f(x) = K(x y)f(y)dy. Then π. F (x) = T f(x) is absolutely continuous and F (x) = if(x) a.e. x whenever π f(y)dy = 0 2. The map f T f is compact and symmetric on L 2 ([, π]). 3. ϕ(x) L 2 ([, π]) is an eigenfunction for T iff ϕ(x) e inx for some integer n 0 with eigenvalue /n or ϕ(x) = with eigenvalue {e inx } n Z is an orthonormal basis of L 2 ([, π]) Remark First we remind two important results. If f : [a, b] R is absolutely continuous then f exists for a.e. x [a, b]. vi
7 2. A function f : R R satisfies the Lipschitz condition with Lipschitz constant M iff f is absolutely continuous and f (x) M for a.e. x. Proof. To show that F (x) = T f(x) is absolutely continuous we could hope to show that F (x) is Lipshitz. We will do a first calculation and realize that F (x) may not necessarily be Lipschitz, but the calculation will shed some light on how to get around the problem. T f(x) T f(y) = WLOG we assume that x < y then π π πsgn(x s) πsgn(y s) + y x = (K(x s) K(y s))f(s)ds π(sgn(x s) πsgn(y s) + y x f(s) ds { y x if s < x or s > y + y x if x < s < y We don t need to specify the function at s = x and s = y since this doesn t change the integration.so T f(x) T f(y) x 2 y x y x f(s) ds + π y x f(s) ds + + y x f(s) ds + y x π + y x f(s) ds y y x f(s) ds Now f L ([, π]), so from here we see here that we almost have Lipschitzity, but the second term on the RHS with the is problematic. Indeed as the distance between x and y gets smaller, the first term on the RHS gets better while the while the second term gets worse. This is precisely what happens to the difference of two identical sawtooth functions as the phase between them gets smaller. In general the difference gets smaller, but it gets larger at the point where there is a jump discontinuity. This problem is inherent to the sawtooth function so to bypass the problem we have to use the fact that f L ([, π]). Indeed we choose a bounded (simple) function g such that π f(s) g(s) ds < ɛ. Then y + y x f(s) ds y f(s) g(s) ds + M y x where M is an upper bound for g. x x Let ɛ > 0 be given and suppose that (x i, y i ) are disjoint intervals of [, π] such that n x i y i < ɛ. Choose g such that g(x) M and π f(s) g(s) ds < ɛ. Then n T f(x i ) T f(y i ) n C x i y i + i= i= i (x i,y i ) i= f(s) g(s) ds Cɛ + ɛ, where C = π So F (x) = T f(x) is absolutely continuous and its derivative exists almost everywhere. Suppose that π T f(x+h) T f(x) f(s)ds = 0. We want to calculate lim h vii = lim π π f(s) ds + M. K(x+h s) K(x s) f(s)ds. h
8 K(x + h s) K(x s) = i (πsgn(x + h s) πsgn(x s) h) = { ih i( h) if s < x or s > x + h if x < s < x + h T f(x+h) T f(x) π So lim = lim i (x,x+h)(s) f(s)ds i π i x+h f(s)ds = lim f(s)ds = if(x) by the Fundamental h h h x T f(x+h) T f(x) theorem of calculus. Similarly lim = if(x). So (T f) = if. Another way of deriving this way would h 0 h have been to use DCT and the fact that the derivative of the sign function is two times the delta function. 2. The integral operator T is easily seen to be Hilbert-Schmidt. Indeed, since the sawtooth function is bounded and we are on a finite measure space, π π K(x, y) 2 dxdy <. From the general theory of bounded operators, Hilbert-Schmidt operators are compact (see p.90 of Stein & Shakarchi). We also check that T is symmetric: T f, g = = = = π π π π π π π T f(x)g(x)dx = f, T g i(πsgn(x s) (x s))f(s)ds g(x)dx i(πsgn(s x) (s x))f(s)ds g(x)dx i(πsgn(s x) (s x))g(x)dx f(s)ds 3. One may compute the integrals to verify that {e inx } n Z\{0} are indeed eigenfunctions of T with eigenvalue n and that is an eigenfunction with eigenvalue 0. Conversely, if T f = λf, then π π K(x y)f(y)dy dx = λ π f(x)dx = π f(y) π K(x y)dx dy = 0. Hence by., (T f) = λf = if, so f(x) = e i λ x, when λ 0. Going back to eigenvalue problem will give us a condition on λ: π K(x y)e i λ y dy = λe λ x λ2 e λ x sin π. Hence we must have sin π = 0, that is λ =. For the case λ = 0, π λ λ n we have (T f) = 0 = if, so f is a constant function. 4. T has been checked to be compact and symmetric. By the spectral theorem, a subset of the eigenvectors of T forms an orthonormal basis for L 2 ([, π]). Since {e inx } n Z are the only eigenvectors of T and are mutually orthogonal, they must be a basis for L 2 ([, π]). viii
Real Variables # 10 : Hilbert Spaces II
randon ehring Real Variables # 0 : Hilbert Spaces II Exercise 20 For any sequence {f n } in H with f n = for all n, there exists f H and a subsequence {f nk } such that for all g H, one has lim (f n k,
More informationREAL ANALYSIS II HOMEWORK 3. Conway, Page 49
REAL ANALYSIS II HOMEWORK 3 CİHAN BAHRAN Conway, Page 49 3. Let K and k be as in Proposition 4.7 and suppose that k(x, y) k(y, x). Show that K is self-adjoint and if {µ n } are the eigenvalues of K, each
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 information5 Compact linear operators
5 Compact linear operators One of the most important results of Linear Algebra is that for every selfadjoint linear map A on a finite-dimensional space, there exists a basis consisting of eigenvectors.
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 informationFall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.
TMA445 Linear Methods Fall 26 Norwegian University of Science and Technology Department of Mathematical Sciences Solutions to exercise set 9 Let X be a Hilbert space and T a bounded linear operator on
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 informationAnalysis Preliminary Exam Workshop: Hilbert Spaces
Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H
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 informationSelçuk Demir WS 2017 Functional Analysis Homework Sheet
Selçuk Demir WS 2017 Functional Analysis Homework Sheet 1. Let M be a metric space. If A M is non-empty, we say that A is bounded iff diam(a) = sup{d(x, y) : x.y A} exists. Show that A is bounded iff there
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 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 informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
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 informationSolutions: Problem Set 4 Math 201B, Winter 2007
Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < 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 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 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 informationLinear Algebra. Session 12
Linear Algebra. Session 12 Dr. Marco A Roque Sol 08/01/2017 Example 12.1 Find the constant function that is the least squares fit to the following data x 0 1 2 3 f(x) 1 0 1 2 Solution c = 1 c = 0 f (x)
More informationVector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.
Vector Spaces Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms. For each two vectors a, b ν there exists a summation procedure: a +
More informationMathematical Analysis Outline. William G. Faris
Mathematical Analysis Outline William G. Faris January 8, 2007 2 Chapter 1 Metric spaces and continuous maps 1.1 Metric spaces A metric space is a set X together with a real distance function (x, x ) d(x,
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 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 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 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 informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationHilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.
Hilbert Spaces Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space. Vector Space. Vector space, ν, over the field of complex numbers,
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 information1. Foundations of Numerics from Advanced Mathematics. Linear Algebra
Foundations of Numerics from Advanced Mathematics Linear Algebra Linear Algebra, October 23, 22 Linear Algebra Mathematical Structures a mathematical structure consists of one or several sets and one or
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 informationFunctional Analysis HW 2
Brandon Behring Functional Analysis HW 2 Exercise 2.6 The space C[a, b] equipped with the L norm defined by f = b a f(x) dx is incomplete. If f n f with respect to the sup-norm then f n f with respect
More information1 Definition and Basic Properties of Compa Operator
1 Definition and Basic Properties of Compa Operator 1.1 Let X be a infinite dimensional Banach space. Show that if A C(X ), A does not have bounded inverse. Proof. Denote the unit ball of X by B and the
More informationProblem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1
Problem set 5, Real Analysis I, Spring, 25. (5) Consider the function on R defined by f(x) { x (log / x ) 2 if x /2, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, R f /2
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationReal Analysis, October 1977
Real Analysis, October 1977 1. Prove that the sequence 2, 2 2, 2 2 2,... converges and find its limit. 2. For which real-x does x n lim n 1 + x 2n converge? On which real sets is the convergence uniform?
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More informationNORMS ON SPACE OF MATRICES
NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system
More informationMathematical foundations - linear algebra
Mathematical foundations - linear algebra Andrea Passerini passerini@disi.unitn.it Machine Learning Vector space Definition (over reals) A set X is called a vector space over IR if addition and scalar
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 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 information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationNOTES ON MULTIVARIABLE CALCULUS: DIFFERENTIAL CALCULUS
NOTES ON MULTIVARIABLE CALCULUS: DIFFERENTIAL CALCULUS SAMEER CHAVAN Abstract. This is the first part of Notes on Multivariable Calculus based on the classical texts [6] and [5]. We present here the geometric
More informationWeighted norm inequalities for singular integral operators
Weighted norm inequalities for singular integral operators C. Pérez Journal of the London mathematical society 49 (994), 296 308. Departmento de Matemáticas Universidad Autónoma de Madrid 28049 Madrid,
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 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 information1. General Vector Spaces
1.1. Vector space axioms. 1. General Vector Spaces Definition 1.1. Let V be a nonempty set of objects on which the operations of addition and scalar multiplication are defined. By addition we mean a rule
More informationREAL ANALYSIS I HOMEWORK 4
REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =
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 information1 Distributions (due January 22, 2009)
Distributions (due January 22, 29). The distribution derivative of the locally integrable function ln( x ) is the principal value distribution /x. We know that, φ = lim φ(x) dx. x ɛ x Show that x, φ =
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationShort note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique
Short note on compact operators - Monday 24 th March, 2014 Sylvester Eriksson-Bique 1 Introduction In this note I will give a short outline about the structure theory of compact operators. I restrict attention
More informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationLax Solution Part 4. October 27, 2016
Lax Solution Part 4 www.mathtuition88.com October 27, 2016 Textbook: Functional Analysis by Peter D. Lax Exercises: Ch 16: Q2 4. Ch 21: Q1, 2, 9, 10. Ch 28: 1, 5, 9, 10. 1 Chapter 16 Exercise 2 Let h =
More information1 Review of di erential calculus
Review of di erential calculus This chapter presents the main elements of di erential calculus needed in probability theory. Often, students taking a course on probability theory have problems with concepts
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationLECTURE 7. k=1 (, v k)u k. Moreover r
LECTURE 7 Finite rank operators Definition. T is said to be of rank r (r < ) if dim T(H) = r. The class of operators of rank r is denoted by K r and K := r K r. Theorem 1. T K r iff T K r. Proof. Let T
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 informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationOPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic
OPERATOR THEORY ON HILBERT SPACE Class notes John Petrovic Contents Chapter 1. Hilbert space 1 1.1. Definition and Properties 1 1.2. Orthogonality 3 1.3. Subspaces 7 1.4. Weak topology 9 Chapter 2. Operators
More information2. Metric Spaces. 2.1 Definitions etc.
2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with
More informationReview and problem list for Applied Math I
Review and problem list for Applied Math I (This is a first version of a serious review sheet; it may contain errors and it certainly omits a number of topic which were covered in the course. Let me know
More informationMath 127C, Spring 2006 Final Exam Solutions. x 2 ), g(y 1, y 2 ) = ( y 1 y 2, y1 2 + y2) 2. (g f) (0) = g (f(0))f (0).
Math 27C, Spring 26 Final Exam Solutions. Define f : R 2 R 2 and g : R 2 R 2 by f(x, x 2 (sin x 2 x, e x x 2, g(y, y 2 ( y y 2, y 2 + y2 2. Use the chain rule to compute the matrix of (g f (,. By the chain
More information(x, y) = d(x, y) = x y.
1 Euclidean geometry 1.1 Euclidean space Our story begins with a geometry which will be familiar to all readers, namely the geometry of Euclidean space. In this first chapter we study the Euclidean distance
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 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 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 informationIndeed, the family is still orthogonal if we consider a complex valued inner product ( or an inner product on complex vector space)
Fourier series of complex valued functions Suppose now f is a piecewise continuous complex valued function on [, π], that is f(x) = u(x)+iv(x) such that both u and v are real valued piecewise continuous
More information3 (Due ). 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 ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More information************************************* Partial Differential Equations II (Math 849, Spring 2019) Baisheng Yan
************************************* Partial Differential Equations II (Math 849, Spring 2019) by Baisheng Yan Department of Mathematics Michigan State University yan@math.msu.edu Contents Chapter 1.
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 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 informationLecture 5 - Hausdorff and Gromov-Hausdorff Distance
Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is
More informationSeveral variables. x 1 x 2. x n
Several variables Often we have not only one, but several variables in a problem The issues that come up are somewhat more complex than for one variable Let us first start with vector spaces and linear
More informationI teach myself... Hilbert spaces
I teach myself... Hilbert spaces by F.J.Sayas, for MATH 806 November 4, 2015 This document will be growing with the semester. Every in red is for you to justify. Even if we start with the basic definition
More informationMath 205b Homework 2 Solutions
Math 5b Homework Solutions January 5, 5 Problem (R-S, II.) () For the R case, we just expand the right hand side and use the symmetry of the inner product: ( x y x y ) = = ((x, x) (y, y) (x, y) (y, x)
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationMathematics (Course B) Lent Term 2005 Examples Sheet 2
N12d Natural Sciences, Part IA Dr M. G. Worster Mathematics (Course B) Lent Term 2005 Examples Sheet 2 Please communicate any errors in this sheet to Dr Worster at M.G.Worster@damtp.cam.ac.uk. Note that
More informationMA677 Assignment #3 Morgan Schreffler Due 09/19/12 Exercise 1 Using Hölder s inequality, prove Minkowski s inequality for f, g L p (R d ), p 1:
Exercise 1 Using Hölder s inequality, prove Minkowski s inequality for f, g L p (R d ), p 1: f + g p f p + g p. Proof. If f, g L p (R d ), then since f(x) + g(x) max {f(x), g(x)}, we have f(x) + g(x) p
More informationFall f(x)g(x) dx. The starting place for the theory of Fourier series is that the family of functions {e inx } n= is orthonormal, that is
18.103 Fall 2013 1. Fourier Series, Part 1. We will consider several function spaces during our study of Fourier series. When we talk about L p ((, π)), it will be convenient to include the factor 1/ in
More informationChapter 4 Euclid Space
Chapter 4 Euclid Space Inner Product Spaces Definition.. Let V be a real vector space over IR. A real inner product on V is a real valued function on V V, denoted by (, ), which satisfies () (x, y) = (y,
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 informationEntrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems
September, 27 Solve exactly 6 out of the 8 problems. Prove by denition (in ɛ δ language) that f(x) = + x 2 is uniformly continuous in (, ). Is f(x) uniformly continuous in (, )? Prove your conclusion.
More informationExercises - Chapter 1 - Chapter 2 (Correction)
Université de Nice Sophia-Antipolis Master MathMods - Finite Elements - 28/29 Exercises - Chapter 1 - Chapter 2 Correction) Exercise 1. a) Let I =], l[, l R. Show that Cl) >, u C Ī) Cl) u H 1 I), u DĪ).
More informationInfinite-dimensional Vector Spaces and Sequences
2 Infinite-dimensional Vector Spaces and Sequences After the introduction to frames in finite-dimensional vector spaces in Chapter 1, the rest of the book will deal with expansions in infinitedimensional
More informationExercise 8.1 We have. the function is differentiable, with. f (x 0, y 0 )(u, v) = (2ax 0 + 2by 0 )u + (2bx 0 + 2cy 0 )v.
Exercise 8.1 We have f(x, y) f(x 0, y 0 ) = a(x 0 + x) 2 + 2b(x 0 + x)(y 0 + y) + c(y 0 + y) 2 ax 2 0 2bx 0 y 0 cy 2 0 = (2ax 0 + 2by 0 ) x + (2bx 0 + 2cy 0 ) y + (a x 2 + 2b x y + c y 2 ). By a x 2 +2b
More informationA List of Problems in Real Analysis
A List of Problems in Real Analysis W.Yessen & T.Ma December 3, 218 This document was first created by Will Yessen, who was a graduate student at UCI. Timmy Ma, who was also a graduate student at UCI,
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 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 informationHilbert Spaces: Infinite-Dimensional Vector Spaces
Hilbert Spaces: Infinite-Dimensional Vector Spaces PHYS 500 - Southern Illinois University October 27, 2016 PHYS 500 - Southern Illinois University Hilbert Spaces: Infinite-Dimensional Vector Spaces October
More informationProblem 1A. Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1. (Hint: 1. Solution: The volume is 1. Problem 2A.
Problem 1A Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1 (Hint: 1 1 (something)dz) Solution: The volume is 1 1 4xydz where x = y = 1 z 2 This integral has value 16/3 Problem 2A Let f(x)
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
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 informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics and Engineering Lecture notes for PDEs Sergei V. Shabanov Department of Mathematics, University of Florida, Gainesville, FL 32611 USA CHAPTER 1 The integration theory
More informationMath 24 Spring 2012 Sample Homework Solutions Week 8
Math 4 Spring Sample Homework Solutions Week 8 Section 5. (.) Test A M (R) for diagonalizability, and if possible find an invertible matrix Q and a diagonal matrix D such that Q AQ = D. ( ) 4 (c) A =.
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 informationRIESZ BASES AND UNCONDITIONAL BASES
In this paper we give a brief introduction to adjoint operators on Hilbert spaces and a characterization of the dual space of a Hilbert space. We then introduce the notion of a Riesz basis and give some
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationProblem 1A. Calculus. Problem 3A. Real analysis. f(x) = 0 x = 0.
Problem A. Calculus Find the length of the spiral given in polar coordinates by r = e θ, < θ 0. Solution: The length is 0 θ= ds where by Pythagoras ds = dr 2 + (rdθ) 2 = dθ 2e θ, so the length is 0 2e
More information