ANALYSIS HW 5 CLAY SHONKWILER

Size: px
Start display at page:

Download "ANALYSIS HW 5 CLAY SHONKWILER"

Transcription

1 ANALYSIS HW 5 CLAY SHONKWILER Let X be a normed linear space and Y a linear subspace. The set of all continuous linear functionals on X that are zero on Y is called the annihilator of Y and denoted by Y. Show that Y is a closed linear subspace of the dual space, X, of X. Show that Y = Y. Proof. To see that Y is a linear subspace, suppose l, l 2 Y. Then, if y Y (l + l 2 )(y) = l (y) + l 2 (y) = so l + l 2 Y. Also, if c R, (cl )(x) = cl (x) =, so cl Y. To see that Y is closed, suppose l k Y and l k L. Let ɛ >. Then, for any y Y, there exists N N such that, for n > N, Hence, l n (y) L(y) < ɛ/2. L(y) = L(y) = l n (y) L(y) < ɛ/2. Since L(y) is smaller than any positive number, it must be the case that L(y) =, meaning L Y, so Y is closed. Now, if Y signifies the completion of Y, then it is clear that Y Y, since Y Y. On the other hand, suppose L Y. Let y Y. Then there exists a sequence y j Y such that y j y. Since L is continuous, y j y L(y j ) L(y). Since y j Y, L(y j ) = for all j N, so their limit L(y) =. Since our choice of y was arbitrary, we see that L Y, so Y Y. Since containment goes in both directions, we conclude that Y = Y. 2 Consider C[, ] with the uniform norm and let K C[, ] be the set of functions with the property that /2 f(t)dt /2 f(t)dt =. Show that K is a closed convex set not containing the origin but K has no point closest to the origin.

2 2 CLAY SHONKWILER Proof. Suppose there exists a sequence f n K such that the f n converge to f in C[, ]. Now, since this convergence is uniform, we are justified in switching limits and integrals: /2 f(t)dt /2 f(t)dt = /2 lim n f n (t)dt /2 lim n f n (t)dt /2 = lim n f n (t)dt lim ( n /2 f n(t)dt /2 = lim n f n (t)dt ) /2 f n(t)dt =. Hence, f K, so K is closed. Also, for α and f, g K, /2 (αf(t) + ( α)g(t))dt /2 (αf(t) + ( α)g(t))dt ( /2 = α f(t)dt ) ( /2 f(t)dt /2 + g(t)dt ) /2 g(t)dt ( /2 g(t)dt /2 g(t)dt ) = α + α =. Hence, K is convex. Finally, consider the sequence f n as drawn below: Then, certainly, f n K. Now, for each n, f n unif = max f n (x) = n n 2. Hence, inf f n unif = lim n K such that f unif. Then /2 n n 2 /2 f(t)dt /2 f(t)dt dt =. However, suppose there exists f /2 dt = /2 + /2 =. Since f K, this inequality must actually be an equality, meaning that { t /2 f(t) = t > /2 However, this is not a continuous function, so f / K. Hence inf f unif = f K but this infimum is never achieved, so there is no point in K closest to the origin. 3 Let K L (, ) be the set of all f with f(t)dt =. Show that K is a closed convex set (of L (, )) that does not contain the origin but there are infinitely many points in K that minimize the distance to the origin.

3 ANALYSIS HW 5 3 Proof. To see that K is closed, suppose that f is the limit of a sequence f k K. Let ɛ >. Then there exists N N such that, if n > N, f f n < ɛ. Now, f(t)dt = f(t)dt f n(t)dt = (f(t) f n(t))dt f(t) f n(t) dt = f f n < ɛ. Since f(t)dt is arbitrarily small, we conclude that f(t)dt =, which is to say that f K. Hence, K is closed. To see that K is convex, suppose f, g K. Then, for α (αf(t) + ( α)g(t))dt = (αf(t) + g(t) αg(t))dt = α f(t)dt + g(t)dt α g(t)dt = α + α =. Hence, K is convex. Certainly the origin is not in K, since dt =. However, for any f K, f = f = f(t) dt f(t)dt = Furthermore, if g K such that f >, g = g = g(t) dt = g(t)dt = There are infinitely many such g, so there are infinitely many points in K that minimize the distance to the origin. 4 Consider points x = (x, x 2 ) in R 2 with the norm x = x + x 2. Let the subspace V be the x axis and define the linear functional l by l((x, )) = x. a) Show that l is a bounded linear functional on V. Proof. Let (x, ), (y, ) V. Then l(c(x, )+d(y, )) = l((cx +dy, )) = cx +dy = cl((x, ))+dl((y, )) for any c, d R, so l is certainly linear on V. Now, to see that l bounded, we need only note that, if x = (x, ) V so l(x) x. l(x) = l((x, )) = x = x + = x

4 4 CLAY SHONKWILER b) Find all extensions of l to a continuous linear map on R 2. Answer: Consider functionals of the form F c ((x, x 2 )) = x + cx 2 for c. Then, for x V, F c (x) = F c ((x, )) = x + c() = x = l(x). Furthermore, for any y = (y, y 2 ) R 2, F c (y) = F c (y, y 2 ) = y + cy 2 y + c y 2 y + y 2 = y. Since, F c (, ) = = (, ), we see that, in fact, F c = l. c) Construct a related example for L (, ). Construction: Let V = {f L : f(t) = for t [/2.)} and define l by l (f) = /2 f(t)dt. Then l is certainly linear and bounded on V. To see this, suppose f, g V, c, d R. Then l (cf+dg) = /2 cf(t)+dg(t)dt = c For boundedness, if f V, /2 l (f) = f(t)dt Now, any functional of the form L(f) = /2 /2 /2 f(t)dt+d f(t) dt = /2 f(t)dt + c f(t)dt /2 g(t)dt = cl (f)+dl (g). f(t) dt = f. where c will be an extension of l to all of L (, ). Since there are infinitely many such, we see that the Hahn-Banach extension is far from unique. 5 Let l, l denote the Banach spaces of all complex sequences x = {x j } with the usual norms x = x j < and x = sup x j < and let c be the subspace of sequences in l that converge to zero. a) If z l show that l(x) := z j x j defines a bounded linear functional on c with l = z. Proof. Let x l. Then l(x) = zj x j zj x j ( ) z j x = zj x = z x,

5 so l is bounded. Furthermore, if x, y l, c, d R, ANALYSIS HW 5 5 l(cx + dy) = z j (cx j + dy j ) = c z j x j + d z j y j = cl(x) + dl(y), so l is linear. To see that l = z, let ɛ >. Then, since z j converges, we know there exists N N such that, if n > N, z j < ɛ/2. j=n+ Let x = (x j ) j=, where x j = z j for j N, x j = for j > N. Then x c and l(x) z = z j x j z j = z j < ɛ/2. Hence, we see that l = z. N+ b) Every bounded linear functional on c is as above. In other words, l is the dual space of c. Proof. Suppose l is a bounded linear functional on c. Denote by e j the vector with a in the j th position and zeros everywhere else. Let x c. Then l(x) = l ( x je j ) = x jl(e j ) x j l(e j ) x l(e j ) = x l(e j) = c x where l(e j ) = c <, so {l(e j )} l. Hence, we see that the dual space c l. Since we showed the reverse containment in part (a), we conclude that c = l. c) Show that l is the dual space of l. Proof. Let x l. Define l(z) := x j z j. Then, for y, z l, c, d C, l(cy + dz) = x j (cy j + dz j ) = c x j y j + d x j z j = cl(y) + dl(z), so l is linear on l. Furthermore, if z l, l(z) = x j z j xj z j ( ) x z j = x zj = x z, so l is bounded. Furthermore, just as in part (a), l = x. Now, if l is a bounded linear functional on l and x l, then ( ) l(x) = l xj e j xj l(e j ) l x j = l x j. Since we ve shown a correspondance between the linear functionals on l and the elements of l, we conclude that l is the dual space of l.

6 6 CLAY SHONKWILER d) Show that l is contained in the dual space (l ) of l, but is not all of (l ) since there are elements in (l ) that are zero on all of c. 6 a) With the positive linear functional l(f) := R f(t)dt on C c(r) show that the set {x R : x < } is measurable. Proof. Let A = {x R : x < }. Let ɛ >. Define Ω := ( ɛ/2, ). Then Ω A = (Ω A)\(Ω A) = ( ɛ/2, )\[, ) = ( ɛ/2, ). Then M (Ω A) = inf Vol(O) = Vol(( ɛ/2, )) = sup Ω A O,O open (I(g)) g C c(ɛ/2,) where g(x). Suppose f(x) is on ( ɛ/2, ) and zero everywhere else. Then M (Ω A) = sup (l(g)) l(f) = dx = ɛ/2 < ɛ. g C c( ɛ/2,) ɛ/2 However, this is just the definition of measurable, so we see that A is measurable. b) With the positive linear functional l(f) := R 2 f(x, y)dxdy, on C c (R 2 ) show that the set {(x, y) R 2 : x, < y < } is measurable. Proof. Let B = {(x, y) R 2 : x, < y < } and let ɛ >. Define Then Ω := [, ] [, ]. Ω B = ([, ] [, ]) ([, ] (, )) = ( (, )) ( (, )). Now, M (Ω B) = inf Vol(O) Ω B O where O is open. Now, consider the sequence of open sets O n = (( /n, /n) (, )) (( /n, + /n) (, )). Then Vol(O n ) = sup g Cc(On), g(x) (l(g)) /n /n dydx + +/n /n dydx = 2/n + 2/n = 4/n. Certainly, the sequence 4/n, so we see that M (Ω B) inf Vol(O 4 n) = inf n N n N n =. Since M (S)/geq for any set S, we conclude that Therefore, B is measurable, M (Ω B) =.

7 ANALYSIS HW 5 7 c) With the positive linear functional l(f) := f() + 2f() on C c (R) discuss which sets are measurable. Can you compute their measures? Answer: Suppose S is a set containing neither nor. Then we can construct an open set Ω containing S such that Ω contains neither nor. If f C c (Ω), then f() = f() =, meaning l(f) = f() + 2f() =. Hence M (S) = inf S O,O open Vol(O) Vol(Ω) = sup g Cc(Ω), g(x) (l(g)) =. Therefore, S has measure. On the other hand, if S is a set containing but not, then we can construct an open set Ω containing S such that Ω does not contain. If f C c (O) where O is an open set not containing, then f() =, so l(f) = f() + 2f() = f(). Furthermore, if O is an open set containing zero, then there exists a function h O C c (O) such that h O () =. Thus, M (S ) = inf S O,O open Vol(O) ( ) inf S O,O open sup g Cc(O), g(x) (l(g)) inf S O,O open(l(h O )) =. Thereforre, S has measure. A parallel argument demonstrates that if S contains but not, then the measure of S is 2. Finally, if S contains both and, then M (S ) = inf Vol(O). S O,O open If Q is any open set containing S, there exists f Q C c (Q) such that f Q () = f Q () = and f(x). Hence, l(f Q ) = f Q () + 2f Q () = 3, so Vol(Q) = sup (l(g)) 3. g C c(q), g(x) If we let g Q denote the function that is on Q and zero outside, then it is also clear that Vol(Q) = sup (l(g)) (l(g Q )) = 3. g C c(q), g(x) Therefore, for any open Q containing S, Vol(Q) = 3. Therefore, M (S ) = inf Vol(O) = 3, S O,O open so S has measure 3.

8 8 CLAY SHONKWILER 7 In a Hilbert space H, a map U : H H is called unitary if (i). Ux, Uy = x, y for all x, y in H. (ii). U is onto. Let Q := {x H : Ux = x} = ker(i U) of all points left fixed by U. a) Show that in finite dimensions property (ii) is a consequence of property (i). Proof. Let H be finite dimensional and let U be unitary. Suppose x, y H such that Ux = Uy. Then = Ux Uy = U(x y), which is to say that = U(x y), U(x y) = x y, x y x y =. Hence, x = y, so U is injective. Since U : H H is injective, it must be surjective, since H is finite-dimensional. b) In the Hilbert space l 2, show that the right shift S : (x, x 2,...) (, x, x 2,...) has property (i) but not property (ii). Proof. Let x, y l 2. Then x = (x, x 2,..., ), y = (y, y 2,..., ) for x i, y i C. Then x, y = x i y i = + x i y i = Sx, Sy, i= so S fulfills property (i). However, There is no z l 2 such that so S is not unitary. i= Sz = (,,,..., ), c) View functions on the circle S as functions periodic with period 2π. If H = L 2 (S ) and α is real, show that the map L : f(x) f(x + 2πα) is unitary. Proof. Suppose f L 2 (S ). Then L(f(x 2πα)) = f(x 2πα + 2πα) = f(x), so L is surjective. Now, let f, g L 2 (S ). Then Lf, Lg = S (Lf)(Lg) = 2π f(x + 2πα)g(x + 2πα)dx = 2π+2πα 2πα f(u)g(u)du = S (f)(g) = f, g where we let u = x + 2πα. Therefore, L is unitary. d) If α is irrational, find the set Q. Answer: If α is irrational, then, if f Q, f(x) = Lf = L m f = f(x + 2πmα)

9 ANALYSIS HW 5 9 for all m Z. Since Q L 2 (S ), f must also be 2π-periodic. Hence, either 2πmα = 2π for some integer m or 2πα = n2π for some integer n. Dividing by 2π on both sides of each, we see that mα = or α = n. Since α is irrational, neither of these is possible, so we conclude that Q is empty if α is irrational. e) If α is rational, find the set Q. Answer: If α is rational, then, again, if f Q, f(x) = Lf = L m f = f(x + 2πmα) for all m Z. Since α is rational, α = p/q for p Z, q Z. Also, if f Q, f must be 2π-periodic. Hence, the elements of Q will be precisely those functions which are 2π nq -periodic, where n Z. f) If U is unitary, show that U = U and hence that Ux = x if and only if U x = x. Consequently ker(i U) = ker(i U). Proof. Let x, y H. By definition, x, Uy = U x, y = UU x, Uy. Hence, = x, Uy UU x, Uy = x UU x, Uy. Since our choice of y was arbitrary, we see that it must be the case that x UU x =, or x = UU x U x = U x. Since our choice of x was arbitrary, this means that U = U. Hence, Ux = x if and only if x = U x = U x, and so ker(i U) = ker(i U). g) Using (ImageL) = kerl for any bounded linear operator L in a Hilbert space, conclude that H = ker(i U) Image(I U). Proof. From problem above, we know that Image(I U) = (Image(I U)) = ker(i U) = ker(i U), where we use the given fact to get the second equality and part (g) to get the third. Now, since we are in a Hilbert space, (ker(i U)) = (Image(I U) ) = Image(I U). Applying this result to the conclusion proved in problem 5 of last week s homework, we see that H = ker(i U) (ker(i U)) = ker(i U) Image(I U).

10 CLAY SHONKWILER 8. (Continuation) von Neumann s mean ergodic theorem states that for any f H, one has N () lim U n x = P x N N where P is the orthogonal projection onto the set Q := {x H : Ux = x} = ker(i U). Equation () is clarly true for all x in Q = ker(i U). a) Prove that for all z Image(I U), that is z = (I U)x for some x H, then (2) N N U n z = N (x U N x). Proof. We see immediately that N U n z = N U n (I U)x = N U n x U n+ x = (x Ux) + (Ux U 2 x) (U N x U N x) = x U N x. Hence, N N U n z = N (x U N x). b) Conclude that (2) holds for all z Image(I U). Proof. First, note that, for all x H, Ux 2 = Ux, Ux = x, x = x 2, so Ux = x. Now, let z Image(I U). Then there exists a sequence {z j } Image(I U) such that z j z. Let ɛ >. Then there exists M N such that, if k > M, z z k < ɛ/2. Also, from part (a), we know that for all k there exists N N such that, if n > N, n U m z k < ɛ/2. n

11 ANALYSIS HW 5 Let k > M, n > N. Therefore, n n U m z = n n U m (z z k ) + n n U m z k n n U m (z z k ) + n n z k n n U m (z z k ) + n n U m z k = n n z z k + n n z k = z z k + n n z k < ɛ/2 + ɛ/2 = ɛ. Hence, for all z Image(I U), N N U n z. c) Use the last part of the previous problem to show that P z = if and only if z Image(I U). Thus (2) proves () for all x that satisfy P x = and thus for all x in the Hilbert space. Proof. Certainly, as we ve shown in (b) above, if z Image(I U), then N lim N U n z =. Furthermore, as we saw in 7(g), if z Image(I U), then z (ker(i U) ), meaning P z =. Hence, z Image(I U). On the other hand, if P z =, then z (ker(i U) ) and, therefore, by 7(g), z z Image(I U). By (b), then, N P z = = lim U n z. N 9 Let Ω R n be a bounded open set and a(x) > and f(x) be smooth functions periodic with period 2π. Let H (S ) be the completion of smooth 2π periodic functions on the circle S in the norm φ 2 H := ( φ 2 + φ 2 )dx. S

12 2 CLAY SHONKWILER Call u H (S ) a weak solution of u + a(x)u = f on S if [u v + a(x)uv]dx = S fvdx S for all v H (S ). a) (uniqueness) Show that the equation u + a(x)u = f on S has at most one weak solution. Proof. Suppose there exist two weak solutions, u and u 2. Then = S fvdx S fvdx = S [u v + a(x)u v]dx S [u 2 v + a(x)u 2 v]dx = S [(u u 2 )v + a(x)(u u 2 )v]dx for all v H (S ). Particularly, when v = u u 2, v = u u 2, so S [(u u 2) 2 + a(x)(u u 2 )]dx =. Since a(x) >, this means that u u 2 =, or u = u 2, so any weak solution must be unique. b) (existence) Show that the equation u + a(x)u = f on S has a solution. Proof. Define the norm 2 H such that, for v H (S ), v 2 H = [(v ) 2 + a(x)v 2 ]dx. S Define the functional l(v) := S fv. Then l is certainly linear and l(v) = fv f L 2 v L 2 c f L 2 v 2 H S by the Holder inequality and since this norm is equivalent to the L 2 norm, so l is a bounded linear functional on the Hilbert space. Hence, by the Riesz-Frechet Representation Theorem, there exists u H (S ) such that l(v) = v, u. Therefore fv = l(v) = v, u = [v u + a(x)vu]dx, S S so u is a weak solution. c) Show that if b(x) is a smooth function on S with b(x) sufficiently small, then the equation u + b(x)u + a(x)u = f on S has exactly one weak solution. Proof. A weak solution u to this equation must satisfy [u v bv u + a(x)vu]dx = fv S S for all v H (S ).

13 ANALYSIS HW 5 3 To show uniqueness of weak solutions, suppose u and u 2 are weak solutions. Then, if we let w = u u 2, = S fv S fv = S [u v b(x)v u + a(x)vu ]dx S [u 2 v b(x)v u 2 + a(x)vu 2 ]dx = S [w v b(x)v w + a(x)vw]dx for all v. Particularly, when v = w = [(w ) 2 b(x)w w + a(x)w 2 ]dx. S If we integrate the second term by parts, we will get = [(w ) 2 B(x)(w ) 2 + a(x)w ]dx = [( + B(x))(w ) 2 + a(x)w 2 ]dx S S where B(x) = x b(t)dt. Now, if b(x) is suffiently small for all x S, then B(x) >, which in turn implies that ( + B(x)) >. Since a(x) >, all terms in the above integral are nonnegative, so w conclude that w =, meaning u = u 2. Therefore, any weak solution to this equation is unique. To prove existence, we now need to define another new norm, 2 H, where, for v H (S ), v 2 H = S [(v ) 2 b(x)v v + a(x)v 2 ]dx. Let l(v) = S fv. Then, again, l is linear and, using Holder, l(v) = fv f L 2 v L 2 c f L 2 v 2 H S since this norm is equivalent to the L 2 norm. So l s a bounded linear functional on the Hilbert space. Now, in order to construct a weak solution u, we need to introduce a bilinear form B(, ), where, for v, w H (S ), B(v, w) = [v w b(x)v w + a(x)vw]dx. S Now, we need to check the following: (i) B is bounded (ii) There exists b > such that B(y, y) b y 2 for all y H (S ). To see (i), let v, w H (S ). Then B(v, w) = S [v w b(x)v w + a(x)vw]dx S v w dx + S b(x)v wdx + S a(x)vwdx = S a(x)vwdx av L 2 w L 2 c v 2 H w 2 H. To prove (ii), we merely note that B(v, v) = [(v ) 2 b(x)v v + a(x)v 2 ]dx = v, v = v 2, S

14 4 CLAY SHONKWILER so B(v, v) v 2 for all v. Therefore, by the Lax-Milgram Lemma, there exists u such that l(v) = B(v, u). This means that fv = l(v) = B(v, u) = [v u b(x)v u + a(x)vu]dx, S S meaning u is a weak solution of the given equation. DRL 3E3A, University of Pennsylvania address: shonkwil@math.upenn.edu

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using

More information

EXAMINATION SOLUTIONS

EXAMINATION SOLUTIONS 1 Marks & (a) If f is continuous on (, ), then xf is continuously differentiable 5 on (,) and F = (xf)/x as well (as the quotient of two continuously differentiable functions with the denominator never

More information

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

Real 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 information

1 Math 241A-B Homework Problem List for F2015 and W2016

1 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 information

Variational Formulations

Variational Formulations Chapter 2 Variational Formulations In this chapter we will derive a variational (or weak) formulation of the elliptic boundary value problem (1.4). We will discuss all fundamental theoretical results that

More information

TOPOLOGY HW 2. x x ± y

TOPOLOGY HW 2. x x ± y TOPOLOGY HW 2 CLAY SHONKWILER 20.9 Show that the euclidean metric d on R n is a metric, as follows: If x, y R n and c R, define x + y = (x 1 + y 1,..., x n + y n ), cx = (cx 1,..., cx n ), x y = x 1 y

More information

Your first day at work MATH 806 (Fall 2015)

Your 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 information

2. Metric Spaces. 2.1 Definitions etc.

2. 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 information

Finite Elements. Colin Cotter. February 22, Colin Cotter FEM

Finite Elements. Colin Cotter. February 22, Colin Cotter FEM Finite Elements February 22, 2019 In the previous sections, we introduced the concept of finite element spaces, which contain certain functions defined on a domain. Finite element spaces are examples of

More information

Fall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.

Fall 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 information

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

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space 1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization

More information

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem 56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi

More information

Exercise Solutions to Functional Analysis

Exercise 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 information

Lax Solution Part 4. October 27, 2016

Lax 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 information

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

FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0 FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM If M is a linear subspace of a normal linear space X and if F is a bounded linear functional on M then F can be extended to M + [x 0 ] without changing its norm.

More information

MTH 503: Functional Analysis

MTH 503: Functional Analysis MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................

More information

4 Linear operators and linear functionals

4 Linear operators and linear functionals 4 Linear operators and linear functionals The next section is devoted to studying linear operators between normed spaces. Definition 4.1. Let V and W be normed spaces over a field F. We say that T : V

More information

Lecture Notes on PDEs

Lecture Notes on PDEs Lecture Notes on PDEs Alberto Bressan February 26, 2012 1 Elliptic equations Let IR n be a bounded open set Given measurable functions a ij, b i, c : IR, consider the linear, second order differential

More information

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

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

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

Functional 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 information

Functional Analysis (H) Midterm USTC-2015F haha Your name: Solutions

Functional Analysis (H) Midterm USTC-2015F haha Your name: Solutions Functional Analysis (H) Midterm USTC-215F haha Your name: Solutions 1.(2 ) You only need to anser 4 out of the 5 parts for this problem. Check the four problems you ant to be graded. Write don the definitions

More information

Maths 212: Homework Solutions

Maths 212: Homework Solutions Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then

More information

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

08a. 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 information

Chapter 1 Foundations of Elliptic Boundary Value Problems 1.1 Euler equations of variational problems

Chapter 1 Foundations of Elliptic Boundary Value Problems 1.1 Euler equations of variational problems Chapter 1 Foundations of Elliptic Boundary Value Problems 1.1 Euler equations of variational problems Elliptic boundary value problems often occur as the Euler equations of variational problems the latter

More information

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.,

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., Abstract Hilbert Space Results We have learned a little about the Hilbert spaces L U and and we have at least defined H 1 U and the scale of Hilbert spaces H p U. Now we are going to develop additional

More information

Fact Sheet Functional Analysis

Fact Sheet Functional Analysis Fact Sheet Functional Analysis Literature: Hackbusch, W.: Theorie und Numerik elliptischer Differentialgleichungen. Teubner, 986. Knabner, P., Angermann, L.: Numerik partieller Differentialgleichungen.

More information

[2] (a) Develop and describe the piecewise linear Galerkin finite element approximation of,

[2] (a) Develop and describe the piecewise linear Galerkin finite element approximation of, 269 C, Vese Practice problems [1] Write the differential equation u + u = f(x, y), (x, y) Ω u = 1 (x, y) Ω 1 n + u = x (x, y) Ω 2, Ω = {(x, y) x 2 + y 2 < 1}, Ω 1 = {(x, y) x 2 + y 2 = 1, x 0}, Ω 2 = {(x,

More information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

Introduction to Functional Analysis

Introduction to Functional Analysis Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture

More information

Math 209B Homework 2

Math 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 information

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

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,

More information

TD 1: Hilbert Spaces and Applications

TD 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 information

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous: MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is

More information

An introduction to some aspects of functional analysis

An introduction to some aspects of functional analysis An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms

More information

CHAPTER VIII HILBERT SPACES

CHAPTER 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 information

Linear Analysis Lecture 5

Linear 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 information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Week 2 November 6 November Deadline to hand in the homeworks: your exercise class on week 9 November 13 November Exercises (1) Let X be the following space of piecewise

More information

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

Homework If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator. Homework 3 1 If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator Solution: Assuming that the inverse of T were defined, then we will have to have that D(T 1

More information

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that

More information

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

Applied 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 information

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

MAT 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 information

Real Analysis Qualifying Exam May 14th 2016

Real Analysis Qualifying Exam May 14th 2016 Real Analysis Qualifying Exam May 4th 26 Solve 8 out of 2 problems. () Prove the Banach contraction principle: Let T be a mapping from a complete metric space X into itself such that d(tx,ty) apple qd(x,

More information

Probability and Measure

Probability 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 information

A Précis of Functional Analysis for Engineers DRAFT NOT FOR DISTRIBUTION. Jean-François Hiller and Klaus-Jürgen Bathe

A Précis of Functional Analysis for Engineers DRAFT NOT FOR DISTRIBUTION. Jean-François Hiller and Klaus-Jürgen Bathe A Précis of Functional Analysis for Engineers DRAFT NOT FOR DISTRIBUTION Jean-François Hiller and Klaus-Jürgen Bathe August 29, 22 1 Introduction The purpose of this précis is to review some classical

More information

Infinite-dimensional Vector Spaces and Sequences

Infinite-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 information

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

Functional 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 information

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space. University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)

More information

Second Order Elliptic PDE

Second Order Elliptic PDE Second Order Elliptic PDE T. Muthukumar tmk@iitk.ac.in December 16, 2014 Contents 1 A Quick Introduction to PDE 1 2 Classification of Second Order PDE 3 3 Linear Second Order Elliptic Operators 4 4 Periodic

More information

Advanced Calculus Math 127B, Winter 2005 Solutions: Final. nx2 1 + n 2 x, g n(x) = n2 x

Advanced Calculus Math 127B, Winter 2005 Solutions: Final. nx2 1 + n 2 x, g n(x) = n2 x . Define f n, g n : [, ] R by f n (x) = Advanced Calculus Math 27B, Winter 25 Solutions: Final nx2 + n 2 x, g n(x) = n2 x 2 + n 2 x. 2 Show that the sequences (f n ), (g n ) converge pointwise on [, ],

More information

Real Analysis Problems

Real 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 information

Scientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1

Scientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1 Scientific Computing WS 2018/2019 Lecture 15 Jürgen Fuhrmann juergen.fuhrmann@wias-berlin.de Lecture 15 Slide 1 Lecture 15 Slide 2 Problems with strong formulation Writing the PDE with divergence and gradient

More information

Real Analysis Comprehensive Exam Fall A(k, ε) is of Lebesgue measure zero.

Real Analysis Comprehensive Exam Fall A(k, ε) is of Lebesgue measure zero. Real Analysis Comprehensive Exam Fall 2002 by XYC Good luck! [1] For ε>0andk>0, denote by A(k, ε) thesetofx Rsuch that x p q 1 for any integers p, q with q 0. k q 2+ε Show that R \ k=1 A(k, ε) is of Lebesgue

More information

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects... Contents 1 Functional Analysis 1 1.1 Hilbert Spaces................................... 1 1.1.1 Spectral Theorem............................. 4 1.2 Normed Vector Spaces.............................. 7 1.2.1

More information

TOPOLOGY TAKE-HOME CLAY SHONKWILER

TOPOLOGY TAKE-HOME CLAY SHONKWILER TOPOLOGY TAKE-HOME CLAY SHONKWILER 1. The Discrete Topology Let Y = {0, 1} have the discrete topology. Show that for any topological space X the following are equivalent. (a) X has the discrete topology.

More information

3 (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?

3 (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

If Y and Y 0 satisfy (1-2), then Y = Y 0 a.s.

If Y and Y 0 satisfy (1-2), then Y = Y 0 a.s. 20 6. CONDITIONAL EXPECTATION Having discussed at length the limit theory for sums of independent random variables we will now move on to deal with dependent random variables. An important tool in this

More information

l(y j ) = 0 for all y j (1)

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

Bootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.

Bootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact. Bootcamp Christoph Thiele Summer 212.1 Compactness Definition 1 A metric space is called compact, if every cover of the space has a finite subcover. As in the case of separability we have the following

More information

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

************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan ************************************* Applied Analysis I - (Advanced PDE I) (Math 94, Fall 214) by Baisheng Yan Department of Mathematics Michigan State University yan@math.msu.edu Contents Chapter 1.

More information

Introduction to Real Analysis Alternative Chapter 1

Introduction to Real Analysis Alternative Chapter 1 Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces

More information

Linear Algebra. Week 7

Linear Algebra. Week 7 Linear Algebra. Week 7 Dr. Marco A Roque Sol 10 / 09 / 2018 If {v 1, v 2,, v n } is a basis for a vector space V, then any vector v V, has a unique representation v = x 1 v 1 + x 2 v 2 + + x n v n where

More information

Analysis Comprehensive Exam Questions Fall 2008

Analysis 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 information

Mathematics for Economists

Mathematics for Economists Mathematics for Economists Victor Filipe Sao Paulo School of Economics FGV Metric Spaces: Basic Definitions Victor Filipe (EESP/FGV) Mathematics for Economists Jan.-Feb. 2017 1 / 34 Definitions and Examples

More information

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered

More information

Suggested Solution to Assignment 7

Suggested Solution to Assignment 7 MATH 422 (25-6) partial diferential equations Suggested Solution to Assignment 7 Exercise 7.. Suppose there exists one non-constant harmonic function u in, which attains its maximum M at x. Then by the

More information

Problem Set 6: Solutions Math 201A: Fall a n x n,

Problem Set 6: Solutions Math 201A: Fall a n x n, Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series

More information

INF-SUP CONDITION FOR OPERATOR EQUATIONS

INF-SUP CONDITION FOR OPERATOR EQUATIONS INF-SUP CONDITION FOR OPERATOR EQUATIONS LONG CHEN We study the well-posedness of the operator equation (1) T u = f. where T is a linear and bounded operator between two linear vector spaces. We give equivalent

More information

Functional Analysis (2006) Homework assignment 2

Functional Analysis (2006) Homework assignment 2 Functional Analysis (26) Homework assignment 2 All students should solve the following problems: 1. Define T : C[, 1] C[, 1] by (T x)(t) = t x(s) ds. Prove that this is a bounded linear operator, and compute

More information

Chapter 2 Finite Element Spaces for Linear Saddle Point Problems

Chapter 2 Finite Element Spaces for Linear Saddle Point Problems Chapter 2 Finite Element Spaces for Linear Saddle Point Problems Remark 2.1. Motivation. This chapter deals with the first difficulty inherent to the incompressible Navier Stokes equations, see Remark

More information

1 Functional Analysis

1 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 information

Boundedness, Harnack inequality and Hölder continuity for weak solutions

Boundedness, Harnack inequality and Hölder continuity for weak solutions Boundedness, Harnack inequality and Hölder continuity for weak solutions Intoduction to PDE We describe results for weak solutions of elliptic equations with bounded coefficients in divergence-form. The

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y) Metric Space Topology (Spring 2016) Selected Homework Solutions HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y) d(z, w) d(x, z) + d(y, w) holds for all w, x, y, z X.

More information

ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS

ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS J. OPERATOR THEORY 44(2000), 243 254 c Copyright by Theta, 2000 ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS DOUGLAS BRIDGES, FRED RICHMAN and PETER SCHUSTER Communicated by William B. Arveson Abstract.

More information

2 Metric Spaces Definitions Exotic Examples... 3

2 Metric Spaces Definitions Exotic Examples... 3 Contents 1 Vector Spaces and Norms 1 2 Metric Spaces 2 2.1 Definitions.......................................... 2 2.2 Exotic Examples...................................... 3 3 Topologies 4 3.1 Open Sets..........................................

More information

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 2010 (Day 1)

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 2010 (Day 1) QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 21 (Day 1) 1. (CA) Evaluate sin 2 x x 2 dx Solution. Let C be the curve on the complex plane from to +, which is along

More information

Theory of PDE Homework 2

Theory of PDE Homework 2 Theory of PDE Homework 2 Adrienne Sands April 18, 2017 In the following exercises we assume the coefficients of the various PDE are smooth and satisfy the uniform ellipticity condition. R n is always an

More information

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

2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers. Chapter 3 Duality in Banach Space Modern optimization theory largely centers around the interplay of a normed vector space and its corresponding dual. The notion of duality is important for the following

More information

Overview of normed linear spaces

Overview of normed linear spaces 20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural

More information

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions Economics 24 Fall 211 Problem Set 2 Suggested Solutions 1. Determine whether the following sets are open, closed, both or neither under the topology induced by the usual metric. (Hint: think about limit

More information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Week: January 18 Deadline to hand in the homework: your exercise class on week January 5 9. Exercises with solutions (1) a) Show that for every unitary operators U, V,

More information

t y n (s) ds. t y(s) ds, x(t) = x(0) +

t y n (s) ds. t y(s) ds, x(t) = x(0) + 1 Appendix Definition (Closed Linear Operator) (1) The graph G(T ) of a linear operator T on the domain D(T ) X into Y is the set (x, T x) : x D(T )} in the product space X Y. Then T is closed if its graph

More information

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into

More information

It follows from the above inequalities that for c C 1

It follows from the above inequalities that for c C 1 3 Spaces L p 1. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A -measurable functions on it. 2. For f L 1 (, µ) set f 1 = f L 1 = f L 1 (,µ) = f dµ.

More information

GEOMETRY HW (t, 0, e 1/t2 ), t > 0 1/t2, 0), t < 0. (0, 0, 0), t = 0

GEOMETRY HW (t, 0, e 1/t2 ), t > 0 1/t2, 0), t < 0. (0, 0, 0), t = 0 GEOMETRY HW CLAY SHONKWILER Consider the map.5.0 t, 0, e /t ), t > 0 αt) = t, e /t, 0), t < 0 0, 0, 0), t = 0 a) Prove that α is a differentiable curve. Proof. If we denote αt) = xt), yt), zt0), then it

More information

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever

More information

1 Inner Product Space

1 Inner Product Space Ch - Hilbert Space 1 4 Hilbert Space 1 Inner Product Space Let E be a complex vector space, a mapping (, ) : E E C is called an inner product on E if i) (x, x) 0 x E and (x, x) = 0 if and only if x = 0;

More information

16 1 Basic Facts from Functional Analysis and Banach Lattices

16 1 Basic Facts from Functional Analysis and Banach Lattices 16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness

More information

Sobolev Spaces. Chapter Hölder spaces

Sobolev Spaces. Chapter Hölder spaces Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect

More information

Riesz Representation Theorems

Riesz Representation Theorems Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of

More information

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, 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 information

2 (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?

2 (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 information

Differential Equations Preliminary Examination

Differential Equations Preliminary Examination Differential Equations Preliminary Examination Department of Mathematics University of Utah Salt Lake City, Utah 84112 August 2007 Instructions This examination consists of two parts, called Part A and

More information

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological

More information

Real Analysis Notes. Thomas Goller

Real 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 information

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION YI WANG Abstract. We study Banach and Hilbert spaces with an eye towards defining weak solutions to elliptic PDE. Using Lax-Milgram

More information

Problem Set 1. This week. Please read all of Chapter 1 in the Strauss text.

Problem Set 1. This week. Please read all of Chapter 1 in the Strauss text. Math 425, Spring 2015 Jerry L. Kazdan Problem Set 1 Due: Thurs. Jan. 22 in class. [Late papers will be accepted until 1:00 PM Friday.] This is rust remover. It is essentially Homework Set 0 with a few

More information

Unbounded operators on Hilbert spaces

Unbounded operators on Hilbert spaces Chapter 1 Unbounded operators on Hilbert spaces Definition 1.1. Let H 1, H 2 be Hilbert spaces and T : dom(t ) H 2 be a densely defined linear operator, i.e. dom(t ) is a dense linear subspace of H 1.

More information

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

Functional Analysis F3/F4/NVP (2005) Homework assignment 2 Functional Analysis F3/F4/NVP (25) Homework assignment 2 All students should solve the following problems:. Section 2.7: Problem 8. 2. Let x (t) = t 2 e t/2, x 2 (t) = te t/2 and x 3 (t) = e t/2. Orthonormalize

More information