A metric space X is a non-empty set endowed with a metric ρ (x, y):

Size: px
Start display at page:

Download "A metric space X is a non-empty set endowed with a metric ρ (x, y):"

Transcription

1 Chapter 1 Preliminaries References: Troianiello, G.M., 1987, Elliptic differential equations and obstacle problems, Plenum Press, New York. Friedman, A., 1982, Variational principles and free-boundary problems, Wiley, New York. Gilbarg, D., and N.S. Trudinger, 1998, Elliptic partial differential equations of second order, Springer. 1.1 Banach and Hilbert Spaces Metric space A metric space X is a non-empty set endowed with a metric ρ (x, y): ρ(x, y) 0, and ρ(x, y) = 0 if and only if x = y; ρ(x, y) = ρ(y, x); ρ(x, z) ρ(x, y)+ρ(y, z), (for any x, y, z X). The notion of metric is essentially an extension of distance in Euclidean spaces. On a metric space, we can define (i) convergence of a sequence {v n } to v in X. (ii) continuity of a mapping from X into another metric space. (iii) density, compactness or relative compactness of a subset of X. 1

2 2 CHAPTER 1. PRELIMINARIES A subset B is relative compact if any sequence in B has a convergent subsequence. If the convergence point is also in B, then the subset is compact. (iv) completeness or separability of X. If every Cauchy sequence in X converges (Cauchy sequence {x n } if ρ(x n,x m ) 0asn, m + ), then X is complete Normed and Banach Spaces Normed space A normed space V is a linear space endowed with a norm [ ] V : Since the mapping [λv] V = λ [v] V for λ R, v V, [v + w] V [v] V +[w] V for v, w V [v] = 0 if and only if v =0. u, v [u v] V is a metric on V, we can freely utilize metric notions such as convergence (strong convergence, denoted by v n v), continuity, density, compactness, relative compactness, completeness, separability. Weak convergence The dual space of V is the linear space V of continuous, or bounded, linear functionals F on V, endowed with the norm F V sup Fv. v V, [v] V 1 By weak convergence of a sequence {v n } to v in V, denoted by the symbol v n v,we mean convergence of Fv n to Fv in R whatever F V. Strong convergence implies weak convergence, and viceversa if V is finite dimensional. Assignment: Prove that weakly convergent sequences are bounded, and F n v n Fv if F n F in V, v n vin V.

3 1.1. BANACH AND HILBERT SPACES 3 Imbedding Two normed spaces V and W are (topologically) isomorphic if there exists an injective and surjective linear operator T : W V such that both T and T 1 : V W are continuous, i.e., satisfy Tw V C w W for w W and T v 1 C v V V for v V with some positive constant C. V and W are isometrically isomorphic in the particular case when Tw V = w W for w W. If the linear operator T is only required to be injective and continuous (which can happen to be the case with T =identity when W is a subspace of V as well as a normed space on its own), we say that W is continuously imbedded, or injected, in V and write W V ; the particular choice of T is algebraically and topologically irrelevant because W and its image T (W ) are isometrically isomorphic when the latter is normed by z w W for z = Tw, w W. Banach space When a normed space is complete we call it a Banach space. Simple considerations show that V is always a Banach space whether the normed space V is complete or not (an exercise). Theorem 1.1 Let V be a Banach space. Let K V be closed in V. If K is convex and {v n } K converges weakly to v in V, then v K. The linear mapping I defined by Iv,F Fv for F V is a continuous injection of V in the dual space V of V, and even more, namely, an isometric isomorphism between V and the image space I(V ), by

4 4 CHAPTER 1. PRELIMINARIES the Hahn-Banach theorem (an exercise). If I is surjective, that is, I(V )=V, we call V reflexive. An important property of reflexive Banach spaces is given by the following theorem. Theorem 1.2 Every bounded sequence in a reflexive Banach space contains a weakly convergent subsequence. Hilbert space A special class of normed spaces is that of pre-hilbert spaces. They are linear spaces V such that there exists a mapping u, v (u, v) V from the Cartesian product V V into R, called a scalar product on V, which is linear in each variable and satisfies (u, v) V =(v, u) V for u, v V as well as (u, u) V > 0foru V, u 0. On pre-hilbert spaces the Cauchy-Schwarz inequality holds: (u, v) V (u, u) 1/2 V (v, v) 1/2 V. AnormonV is given by the mapping u (u, u) 1/2 V u V. When a pre-hilbert space is complete (and is therefore a Banach space) we call it a Hilbert space. Theorem 1.3 Hilbert spaces are reflexive. As a matter of fact, by the Riesz representation theorem, we can show that a Hilbert space is isometrically isomorphic to its image in the dual space V under the mapping u (u, ) V.

5 1.2. SOBOLEV SPACES Sobolev Spaces In this section, we always assume that is an open subset of R N which is connected as well as bounded. (Openness and connectedness make a domain.) Also, we assume the boundary is smooth enough. Some results can be extended to unbounded domain. Before introducing Sobolev spaces, let us recall smooth function spaces and Lebesgue spaces C k and C k+δ spaces Let C 0 () be the linear space of continuous real functions on. C k (), with k N (the set of natural numbers), is the linear space of functions on have all derivatives of order k in C 0 (). For k N,C k () is the linear space of functions in C k () which can be continuously extended to together with all their derivatives of order k. It is clear that C k () is a Banach space with the choice of the norm k u C k () k D α u C0 () i=0 α =i where we have used the multi-index notation: i=0 α =i D α u α u/ x α 1 1 x α N N with α (α 1,,α N ), α = α α N. For 0 <δ 1, let u (x) u (y) [u] δ;d sup x,y D x y δ x y max D α u, whenever u is a function defined on a closed subset D of R N. If [u] δ;d < +, we write u C δ (D) and say that u is Holder continuous in D (with exponent δ) when 0 <δ<1, Lipschitz continuous in D when δ =1. If D is compact, a norm in the linear space C 0+δ (sometimes denoted by C δ ) is defined by. u C 0+δ (D) u C 0 (D) +[u] δ;d

6 6 CHAPTER 1. PRELIMINARIES For k N, C k,δ ( ) is the linear space of functions u C k ( ) such that D α u C 0,δ ( ) whenever α = k. When is bounded, a norm on C k,δ ( ) is defined by u C k+δ ( ) u C k ( ) + [D α u] δ; α =k. It is convenient to stipulate the notational convention C k+0 C k. For k =0, 1,... and 0 δ 1, C k+δ () (with bounded) is a Banach space which is not reflexive. Note that C k+0 (), k=0, 1,..., is separable, but C k+δ (), k =0, 1,..., 0 <δ 1, is not separable Lebesgue spaces For 1 p<+ we denote by L p () the linear space of measurable functions u on such that u p is integrable over, and set ( 1/p u p; u dx) p. We denote by L () the linear space of measurable functions u on such that ess sup u inf {C R : u C a.e. in } < +, and set u, ess sup u. Note that u, = u C 0 () if is bounded and u ( C0 ). (i) For 1 p +, L p () is a Banach space with respect to the norm u u p, ; (ii) L 2 () is a Hilbert space with respect to the scalar product u, v uvdx; (iii) L p () is separable for 1 p<+, whereas L () is not; (iv) L p () is reflexive for 1 <p<+, whereas L 1 () and L () are not. (v) L p () L q () for 1 q<p + (if is bounded) Sobolev spaces First, let us define weak derivatives. Let u be locally integrable in, i.e. u L 1 loc(). Let α be any multi-index. Then a locally integrable function v

7 1.2. SOBOLEV SPACES 7 is called the αth weak derivative of u if it satisfies ud α ϕdx =( 1) α vϕdx, for any ϕ C 0 (). We write v D α u. For k N, Sobolev space W k,p () (or W k p ()) equipped with the norm W k p () = {u : D α u L p (), for any 0 α k}, u W k p () = D α u p p; dx α k u W k () = max α k Dα u ; 1/p, if 1 p<+ is a Banach space. W2 k () H k () is a Hilbert space with respect to the scalar product (u, v) H k () (D α u, D α v) L 2 (). α k W k p () is separable for 1 p<+, reflexive for 1 <p<+. In fact, it can be shown that for 1 p<+, C () W k p () is dense in W k p (). Now let us introduce the imbedding theorem. Theorem 1.4 Assume R N, 1 p<+ and the boundary of has certain regularity. i) If kp < N, then Wp k () L q () for any 1 q Np/(N kp); The mapping is compact (i.e. the images of bounded sets are compact) if 1 q<np/(n kp). ii) If kp = N, then Wp k () L q () for any 1 q<+ if kp = N; The mapping is always compact. iii) If kp > N; then Wp k () C ([k N/p])+δ () for any 0 <δ k N/p [k N/p] (where [a] integer part of a R) when N/p / N, and the mapping is compact if δ<k N/p [k N/p]; and Wp k () C (k N/p 1)+δ () for any δ (0, 1) when N/p N, and the mapping is always compact.

8 8 CHAPTER 1. PRELIMINARIES 1.3 Fixed Points It is well known that in a complete metric space (in particular, in a Banach space) a contraction has a unique fixed point. In the following we list more sophisticated existence (not uniqueness) results for fixed points. For finite-dimensional Banach spaces we have at Brouwer s fixed point theorem: Theorem 1.5 Let V be a finite-dimensional Banach space, let K be a closed convex subset of V, and let T be a continuous mapping of K into itself such that the image T (K) is bounded. Then T has a fixed point u K, u = Tu. Brouwer s theorem utilizes the fact that in Euclidean spaces bounded sets are relatively compact. Its direct extension to infinite-dimensional spaces is Schauder s theorem: Theorem 1.6 Theorem 1.5 remains valid in any Banach space provided the image T (K) is required to be relatively compact. 1.4 Schauder s Estimates and L p Estimates Consider the operator n 2 u n Au a ij (x) + b i (x) u + c(x)u. i,j=1 x i x j i=1 x i A is said to be elliptic in if n a ij (x)ξ i ξ j λ x ξ 2 for all, ξ R n (λ x > 0). i,j=1 It is uniformly elliptic if λ x λ>0 for all x. Without causing ambiguity, we will use the following simplified notations: C k+α ( ) = k+α ; C 0+α ( ) = α ; W k p () = k,p ; p; = p.

9 1.4. SCHAUDER S ESTIMATES AND L P ESTIMATES Schauder s (boundary) estimates Suppose that is locally in C 2+α,f C α (), Φ C 2+α (), and aij α + b i α + c α K, n a ij (x)ξ i ξ j λ ξ 2 for all x, ξ R n (λ>0) i,j=1 If u C 2 () and Au = f in, u = Φ in, then u 2+α C ( f α + u 0 + Φ 2+α ), where C is a constant depending only on λ, K, and L p (boundary) estimates Suppose that is locally in C 2,f L p (), Φ Wp 2 (), and a ij (x) a ij (y) ω ( x y ), [ω(t) 0ift 0], n a ij (x)ξ i ξ j λ ξ 2 for all x, ξ R n (λ>0) (1.1) i,j=1 aij + b i + c K. (1.2) If u W 2 p () and Au = f in, u Φ H0(), 1 then u 2,p C ( f p + Φ 2,p ), where C is a constant depending only on λ, K, and the modulus of continuity ω, and the domain.

10 10 CHAPTER 1. PRELIMINARIES Strong maximum principle Assume that (1.1), (1.2) hold and c(x) 0. Let u be a function in H 2 () C() satisfying Au 0 a.e. in. If u assumes a positive maximum at some point x 0 in, then u const. in (and then c = 0 a.e.). This result extends also to u, which is not necessarily continuous in ; maximum of u is replaced by essential supremum of u; Ifess sup u is positive and coincides with ess sup B u for any ball with center x 0 and arbitrarily small radius, then u =const. This implies: If u H 2 () H0), 1 Au 0 a.e. in, then u 0 a.e. in Parabolic equations All of the above results can be extended to the parabolic equations.

11 Chapter 2 Variational Inequalities in Finance 2.1 American Option Pricing and Obstacle Problem Pricing model of American options Let V = V (S, t) be the price function of an American call option. The option can be exercise at any time before expiry. We must have The pricing model is V (S, t) ϕ(s) S X LV 0 (2.1) V ϕ(s) (2.2) LV [V ϕ(s)] = 0 (2.3) in Q = {(S, t) :S>0, t [0,T)}, subject to the terminal condition V (S, T )=ϕ(s) +, for S>0 (2.4) where LV = V t σ2 S 2 2 V V +(r q)s S2 S rv 11

12 12 CHAPTER 2. VARIATIONAL INEQUALITIES IN FINANCE (2.1)-(2.3) is called the variational inequality, which can be rewritten as min { LV, V ϕ(s)} =0. In physics, the model corresponds to an obstacle problem and ϕ(s) is called the obstacle function. Notice that ϕ(s) can be replaced by ϕ(s) + because V (S, t) 0, for all S and t Obstacle problems To understand the pricing model, we recall the (stationary) obstacle problem. Let us start from a variational problem. Consider the functional G(u) 1 u 2 dx fudx, 2 where f L 2 (). Find u such that u H 1 0() and G(u) = min v H 1 0 () G(v). Suppose that u is a solution of this problem. v H0(), 1 Then, for any ɛ R and h(ɛ) = G(u + ɛv) = 1 2 ɛ2 v 2 dx + ɛ ( 1 ( u v fv) dx + 2 u 2 fu) dx achieves its minimum at ɛ =0. It follows h = ɛ v 2 dx + ( u v fv) dx ɛ ɛ=0 = ( u v fv) dx =0. That is, find u H0(), 1 u vdx = If u H 2 (), then ɛ=0 fvdx for any v H 1 0(). (2.5) u + f = 0 in, u = 0 on.

13 2.1. AMERICAN OPTION PRICING AND OBSTACLE PROBLEM 13 (2.5) is called the weak form of the above equation. Now let us confine the solution to a closed convex set in H 1 0(), K = {u H 1 0() : u(x) φ(x) a.e.}, where φ is a given continuous function in. (Assume φ 0on ). Now we consider the (obstacle) problem: Find u such that u K and G(u) = min G(v). (2.6) v K Let u K be the solution. For any v K, we have (1 ɛ) u + ɛv = u + ɛ(v u) K for any ɛ 0. Denote H(ɛ) = G(u + ɛ(v u)) = 1 2 ɛ2 (v u) 2 dx + ɛ ( u 2 fu) dx. It follows or [ u (v u) f (v u)] dx G = [ u (v u) f (v u)] 0 ɛ ɛ=0 u (v u) dx f (v u) dx for any v K. If also u H 2 (), then we obtain ( u + f)(v u) dx 0 for any v K, (2.7) and choosing v = u + ξ, ξ 0, ξ C 0 (), we get If u is continuous, then the set u + f 0. A = {x :u(x) >φ(x)} is open. For any ξ C 0 (A) the function v = u ± ɛξ is in K provided that ɛ is small enough. We then obtain from (2.7) u + f =0inA.

14 14 CHAPTER 2. VARIATIONAL INEQUALITIES IN FINANCE Thus we have shown that if u is a solution of (2.6) which belongs to H 2 () C(), then u + f 0 u φ ( u + f)(u φ) =0, a.e. in u =0, which is a variational inequality problem. (2.7) is the corresponding weak form. The set K is called the constraint set, and φ is the obstacle. The set A is called the non-coincidence set, and the set Λ={x :u(x) =φ(x)} is called the coincidence set; the boundary of the non-coincidence set in Γ= A is called the free boundary. It will be proved later that for suitably smooth f, g, φ, the solution u of the obstacle problem is in C 1 (). Since u φ takes its minimum in on the coincidence set, it follows that u φ =0, and (u φ) =0onΓ. Then we may view u as a solution of the Dirichlet problem u + f =0inA u =0on A u = φ on A Γ (2.8) with the additional condition u = φ on A Γ (2.9) compensating for the fact that Γ is not a priori known. This point of view is useful in solving variational inequalities in one space dimension. However, for multi-dimensional problem, Γ can be quite irregular and we shall therefore not attempt to solve the obstacle problem by the approach of (2.8)-(2.9).

15 2.2. REGULARITY OF SOLUTION TO VARIATIONAL INEQUALITY15 Now we come back to the pricing model of American options (2.1)-(2.4). Similar to the coincidence/non-coincidence set in obstacle problem, we define H = {(S, t) Q : V (S, t) >ϕ(s)} E = {(S, t) Q : V (S, t) =ϕ(s)}. We will show that for q>0, there is a single-value strictly increasing function S (t) :[0,T) (0, + ), such that E={(S, t) Q : S S (t), t [0,T)}. Moreover, V (S, t) W 2,1 p,loc (Q), which implies V C1 in S and the free boundary condition V =1. S S=S (t) The condition can be utilized to derive the analytical price formulas of perpetual American options. 2.2 Regularity of Solution to Variational Inequality Classical solution, strong solution and weak solution First, we distinguish between classical solution (C 2 ), strong solution (Wp 2 ) and weak solution (H 1 ). Then we point out that the classical solution to a standard variational inequality equation does not exist in general. Let us take the American option pricing model as an example. Indeed, we can show later that V, V S and V t are continuous. We assert that V SS is not continuous across the free boundary. Indeed, applying the equation, V SS S=S (t) = V t +(r q)sv S rv 1 2 σ2 S 2 whereas V SS S=S (t)+ =0. This implies discontinuity. S=S (t) = qs (t) rx 1 2 σ2 S 2 (t),

16 16 CHAPTER 2. VARIATIONAL INEQUALITIES IN FINANCE Existence and regularity of strong solution: Penalized method To illustrate method, we consider the obstacle problem with φ C 2 (), f C α () and smooth. This is a nonlinear problem. To show the existence of solution, we need fixed point theorems. We plan to make use of the Schauder fixed point theorem. Since all of a prior estimates are for equations, we approximate the obstacle problem using { u + βɛ (u φ) =f in, u =0on, (2.10) where β ɛ (t) (0<ɛ<1) be C 2 in t, satisfying and β ɛ (t) 0, β ɛ (0) = C 0 (C 0 > 0 independent of ɛ, to be given). β ɛ(t) 0, β ɛ 0, lim ɛ 0 β ɛ (t) = { 0, for t>0, for t<0. The problem (2.10) is called the penalized problem. The financial interpretation is the following. Consider an option that gives a constrained early exercise right subject to a Poisson process with intensity λ = 1 [see Dai, ɛ Kwok and You, Intensity-based framework and penalty formulation of optimal stopping problems, Journal of Economic Dynamics and Control (2007), 31(12): ]. Then, the pricing model is LV = 1 (ϕ V )+ ɛ or LV + 1 min(v ϕ, 0) = 0 ɛ Apparently the option value converges to that of an American option as the intensity λ goes to infinity. It is easy to see that β ɛ (t) is a smoothing function of 1 min(t, 0). ɛ Lemma 2.1 There exists a solution u ɛ of (2.10), and u ɛ φ.

17 2.2. REGULARITY OF SOLUTION TO VARIATIONAL INEQUALITY17 Proof: Since β ɛ (t) is unbounded, we set, for any M>0, β ɛ,m =max{β ɛ (t), M}, and consider the problem { u + βɛ,m (u φ) =f in, u =0on. (2.11) For each v L p () (1 <p<+ ) there exists a unique solution w in Wp 2 () of { w = f βɛ,m (v φ) in, w =0on. and w 2,p R, where R is a constant independent of v. Set w = T (v). Consider a closed convex set D in L p () : D = { v L p () : v p R }. It is easy to see (i) TD D; (ii) T is compact, by the embedding theorem; (iii) T is continuous. That is, for any v j,v D, v j v in D, T(v j )=w j, T (v) =w, we need to show Note that w j w satisfies w j w in D. (w j w) =β ɛ,m ( )(v j v) in, where β ɛ,m ( ) has a bound independent of v j and v. Therefore, by L p estimate, we obtain the desired result. Then, we apply Schauder s fixed-point theorem to get the existence of a solution to (2.11), denoted by u ɛ,m. Since u = u ɛ,m is in Wp 2 (), for any p<+, β ɛ,m (u φ) is Holder continuous. By a general regularity result for elliptic equations with C α coefficients, it follows that u C 2+α (). We shall now estimate the function ξ(x) =β ɛ,m (u φ).

18 18 CHAPTER 2. VARIATIONAL INEQUALITIES IN FINANCE By definition of β ɛ, ξ(x) 0. Consider now the minimum γ of ξ(x). Suppose that γ = ξ(x 0 ),γ<β ɛ (0). Then x 0 /. On the other hand, if x 0, then since β ɛ,m (t) is monotone in t, u φ also takes a minimum at x 0. It follows by the standard maximum principle that (u φ) 0atx 0. Take C 0 min x ( φ + f). Combining with (2.11), we deduce that We have thus shown that ξ(x 0 )=f + u x=x0 f(x 0 )+ φ(x 0 ) C 0. β ɛ,m (u ɛ,m φ) C 0, (C 0 independent of ɛ, N) which implies u ɛ,m φ provided that M>C 0. Then u ɛ = u ɛ,m (for M big enough) is a solution of the penalized problem (2.10). Moreover, and by the L p estimates, u ɛ 0 C, (C independent of ɛ) u ɛ 2,p C. (C independent of ɛ) We now take a sequence ɛ = ɛ n 0 such that u ɛ uweakly in Wp 2 (), for any p<+. It follows that u ɛ u uniformly in. We then deduce that u φ, β ɛ (u ɛ φ) 0 on the set {u >φ}

19 2.2. REGULARITY OF SOLUTION TO VARIATIONAL INEQUALITY19 We conclude that limβ ɛ (u ɛ φ) 0. ɛ 0 u = f a.e. on {u >φ} u f a.e. in. We have thus proved: Theorem 2.2 Assume f C α,φ C 2, C 2+α. Then the obstacle problem has a solution u W 2 p () for any p<+. We point out that the conditions in the above theorem can be weakened. For example, φ C 2 can be replaced by φ C 0,1 ( 0 ),φ ξξ C in the sense of distribution, for any direction ξ, where 0 is a neighborhood of. [see Friedman (1982)] Now let us look at comparison principle for variational inequality. Theorem 2.3 Let u 1 and u 2 be solutions in H 2 () C() of the variational inequality corresponding to (f 1,φ 1 ) and (f 2,φ 2 ), respectively. If f 1 f 2 and φ 1 φ 2, then u 1 u 2 a.e. Proof: Suppose the open set G = {x :u 2 (x) >u 1 (x)} is nonempty. Since u 2 >u 1 φ 1 φ 2 in G, u 2 = f 2, u 1 f 1. Consequently, (u 2 u 1 ) 0inG. Also, u 2 u 1 =0on G. Hence, by the maximum principle, u 2 u 1 0in G, a contradiction. The above comparison principle implies the uniqueness of solution of variational inequality. Assignment: Show the W 2,1 p,loc regularity of solution to the American option pricing model. (Hints: first confine to a bounded domain, and smoothen the terminal condition)

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

LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov,

LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov, LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES Sergey Korotov, Institute of Mathematics Helsinki University of Technology, Finland Academy of Finland 1 Main Problem in Mathematical

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

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

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

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

Compact operators on Banach spaces

Compact operators on Banach spaces Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact

More 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

Solution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0

Solution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0 Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p

More information

i=1 α i. Given an m-times continuously

i=1 α i. Given an m-times continuously 1 Fundamentals 1.1 Classification and characteristics Let Ω R d, d N, d 2, be an open set and α = (α 1,, α d ) T N d 0, N 0 := N {0}, a multiindex with α := d i=1 α i. Given an m-times continuously differentiable

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

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

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

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

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

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................

More information

Appendix A Functional Analysis

Appendix A Functional Analysis Appendix A Functional Analysis A.1 Metric Spaces, Banach Spaces, and Hilbert Spaces Definition A.1. Metric space. Let X be a set. A map d : X X R is called metric on X if for all x,y,z X it is i) d(x,y)

More information

Chapter 1. Introduction

Chapter 1. Introduction Chapter 1 Introduction Functional analysis can be seen as a natural extension of the real analysis to more general spaces. As an example we can think at the Heine - Borel theorem (closed and bounded is

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

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

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

Introduction to Topology

Introduction to Topology Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about

More information

A Concise Course on Stochastic Partial Differential Equations

A Concise Course on Stochastic Partial Differential Equations A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original

More information

Regularity for Poisson Equation

Regularity for Poisson Equation Regularity for Poisson Equation OcMountain Daylight Time. 4, 20 Intuitively, the solution u to the Poisson equation u= f () should have better regularity than the right hand side f. In particular one expects

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

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

Sobolevology. 1. Definitions and Notation. When α = 1 this seminorm is the same as the Lipschitz constant of the function f. 2.

Sobolevology. 1. Definitions and Notation. When α = 1 this seminorm is the same as the Lipschitz constant of the function f. 2. Sobolevology 1. Definitions and Notation 1.1. The domain. is an open subset of R n. 1.2. Hölder seminorm. For α (, 1] the Hölder seminorm of exponent α of a function is given by f(x) f(y) [f] α = sup x

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε 1. Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional

More information

S chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.

S chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1. Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable

More information

************************************* Partial Differential Equations II (Math 849, Spring 2019) Baisheng Yan

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

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that

More information

LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)

LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) RAYTCHO LAZAROV 1 Notations and Basic Functional Spaces Scalar function in R d, d 1 will be denoted by u,

More information

1.2 Fundamental Theorems of Functional Analysis

1.2 Fundamental Theorems of Functional Analysis 1.2 Fundamental Theorems of Functional Analysis 15 Indeed, h = ω ψ ωdx is continuous compactly supported with R hdx = 0 R and thus it has a unique compactly supported primitive. Hence fφ dx = f(ω ψ ωdy)dx

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

Set, functions and Euclidean space. Seungjin Han

Set, functions and Euclidean space. Seungjin Han Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,

More information

Notes on Sobolev Spaces A. Visintin a.a

Notes on Sobolev Spaces A. Visintin a.a Notes on Sobolev Spaces A. Visintin a.a. 2017-18 Contents: 1. Hölder spaces. 2. Regularity of Euclidean domains. 3. Sobolev spaces of positive integer order. 4. Sobolev spaces of real integer order. 5.

More information

TD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle

TD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle TD M EDP 08 no Elliptic equations: regularity, maximum principle Estimates in the sup-norm I Let be an open bounded subset of R d of class C. Let A = (a ij ) be a symmetric matrix of functions of class

More information

SOLUTIONS TO SOME PROBLEMS

SOLUTIONS TO SOME PROBLEMS 23 FUNCTIONAL ANALYSIS Spring 23 SOLUTIONS TO SOME PROBLEMS Warning:These solutions may contain errors!! PREPARED BY SULEYMAN ULUSOY PROBLEM 1. Prove that a necessary and sufficient condition that the

More information

Introduction and Preliminaries

Introduction and Preliminaries Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis

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

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

Geometry and topology of continuous best and near best approximations

Geometry and topology of continuous best and near best approximations Journal of Approximation Theory 105: 252 262, Geometry and topology of continuous best and near best approximations Paul C. Kainen Dept. of Mathematics Georgetown University Washington, D.C. 20057 Věra

More information

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify

More information

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,

More information

Spectral Theory, with an Introduction to Operator Means. William L. Green

Spectral Theory, with an Introduction to Operator Means. William L. Green Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps

More information

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of

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

Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7

Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Prof. Wickerhauser Due Friday, February 5th, 2016 Please do Exercises 3, 6, 14, 16*, 17, 18, 21*, 23*, 24, 27*. Exercises marked

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

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

Weak Convergence Methods for Energy Minimization

Weak Convergence Methods for Energy Minimization Weak Convergence Methods for Energy Minimization Bo Li Department of Mathematics University of California, San Diego E-mail: bli@math.ucsd.edu June 3, 2007 Introduction This compact set of notes present

More information

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence 1 CONVERGENCE THEOR G. ALLAIRE CMAP, Ecole Polytechnique 1. Maximum principle 2. Oscillating test function 3. Two-scale convergence 4. Application to homogenization 5. General theory H-convergence) 6.

More information

Research Article Function Spaces with a Random Variable Exponent

Research Article Function Spaces with a Random Variable Exponent Abstract and Applied Analysis Volume 211, Article I 17968, 12 pages doi:1.1155/211/17968 Research Article Function Spaces with a Random Variable Exponent Boping Tian, Yongqiang Fu, and Bochi Xu epartment

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

On Fréchet algebras with the dominating norm property

On Fréchet algebras with the dominating norm property On Fréchet algebras with the dominating norm property Tomasz Ciaś Faculty of Mathematics and Computer Science Adam Mickiewicz University in Poznań Poland Banach Algebras and Applications Oulu, July 3 11,

More information

1 Continuity Classes C m (Ω)

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

Journal of Inequalities in Pure and Applied Mathematics

Journal of Inequalities in Pure and Applied Mathematics Journal of Inequalities in Pure and Applied athematics http://jipam.vu.edu.au/ Volume 4, Issue 5, Article 98, 2003 ASYPTOTIC BEHAVIOUR OF SOE EQUATIONS IN ORLICZ SPACES D. ESKINE AND A. ELAHI DÉPARTEENT

More information

Corollary A linear operator A is the generator of a C 0 (G(t)) t 0 satisfying G(t) e ωt if and only if (i) A is closed and D(A) = X;

Corollary A linear operator A is the generator of a C 0 (G(t)) t 0 satisfying G(t) e ωt if and only if (i) A is closed and D(A) = X; 2.2 Rudiments 71 Corollary 2.12. A linear operator A is the generator of a C 0 (G(t)) t 0 satisfying G(t) e ωt if and only if (i) A is closed and D(A) = X; (ii) ρ(a) (ω, ) and for such λ semigroup R(λ,

More information

Numerical Solutions to Partial Differential Equations

Numerical Solutions to Partial Differential Equations Numerical Solutions to Partial Differential Equations Zhiping Li LMAM and School of Mathematical Sciences Peking University Sobolev Embedding Theorems Embedding Operators and the Sobolev Embedding Theorem

More information

CHAPTER V DUAL SPACES

CHAPTER V DUAL SPACES CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the

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

FIXED POINT METHODS IN NONLINEAR ANALYSIS

FIXED POINT METHODS IN NONLINEAR ANALYSIS FIXED POINT METHODS IN NONLINEAR ANALYSIS ZACHARY SMITH Abstract. In this paper we present a selection of fixed point theorems with applications in nonlinear analysis. We begin with the Banach fixed point

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

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

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

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be

More information

INVERSE FUNCTION THEOREM and SURFACES IN R n

INVERSE FUNCTION THEOREM and SURFACES IN R n INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that

More information

Combinatorics in Banach space theory Lecture 12

Combinatorics in Banach space theory Lecture 12 Combinatorics in Banach space theory Lecture The next lemma considerably strengthens the assertion of Lemma.6(b). Lemma.9. For every Banach space X and any n N, either all the numbers n b n (X), c n (X)

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

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

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

B. Appendix B. Topological vector spaces

B. Appendix B. Topological vector spaces B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function

More information

MAA6617 COURSE NOTES SPRING 2014

MAA6617 COURSE NOTES SPRING 2014 MAA6617 COURSE NOTES SPRING 2014 19. Normed vector spaces Let X be a vector space over a field K (in this course we always have either K = R or K = C). Definition 19.1. A norm on X is a function : X K

More information

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

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

REAL AND COMPLEX ANALYSIS

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

MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY

MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract

More information

1. Bounded linear maps. A linear map T : E F of real Banach

1. Bounded linear maps. A linear map T : E F of real Banach DIFFERENTIABLE MAPS 1. Bounded linear maps. A linear map T : E F of real Banach spaces E, F is bounded if M > 0 so that for all v E: T v M v. If v r T v C for some positive constants r, C, then T is bounded:

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

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

Sobolev Spaces. Chapter 10

Sobolev Spaces. Chapter 10 Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p

More information

CHAPTER I THE RIESZ REPRESENTATION THEOREM

CHAPTER I THE RIESZ REPRESENTATION THEOREM CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals

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

Continuity of convex functions in normed spaces

Continuity of convex functions in normed spaces Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional

More information

Sobolev Spaces 27 PART II. Review of Sobolev Spaces

Sobolev Spaces 27 PART II. Review of Sobolev Spaces Sobolev Spaces 27 PART II Review of Sobolev Spaces Sobolev Spaces 28 SOBOLEV SPACES WEAK DERIVATIVES I Given R d, define a multi index α as an ordered collection of integers α = (α 1,...,α d ), such that

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

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

Lectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.

Lectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai. Lectures on Sobolev Spaces S. Kesavan The Institute of Mathematical Sciences, Chennai. e-mail: kesh@imsc.res.in 2 1 Distributions In this section we will, very briefly, recall concepts from the theory

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

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a non-empty set, and suppose

More information

REVIEW OF ESSENTIAL MATH 346 TOPICS

REVIEW OF ESSENTIAL MATH 346 TOPICS REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations

More information

1 Background and Review Material

1 Background and Review Material 1 Background and Review Material 1.1 Vector Spaces Let V be a nonempty set and consider the following two operations on elements of V : (x,y) x + y maps V V V (addition) (1.1) (α, x) αx maps F V V (scalar

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

Math The Laplacian. 1 Green s Identities, Fundamental Solution

Math The Laplacian. 1 Green s Identities, Fundamental Solution Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external

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

Fixed Point Theorems

Fixed Point Theorems Fixed Point Theorems Definition: Let X be a set and let f : X X be a function that maps X into itself. (Such a function is often called an operator, a transformation, or a transform on X, and the notation

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

Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press,

Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, NOTE ON ABSTRACT RIEMANN INTEGRAL Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, 2003. a. Definitions. 1. Metric spaces DEFINITION 1.1. If

More information

EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES

EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES JEREMY J. BECNEL Abstract. We examine the main topologies wea, strong, and inductive placed on the dual of a countably-normed space

More information

2.2 Annihilators, complemented subspaces

2.2 Annihilators, complemented subspaces 34CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS 2.2 Annihilators, complemented subspaces Definition 2.2.1. [Annihilators, Pre-Annihilators] Assume X is a Banach space. Let M X and N X. We

More information