2 Fundamentals of Functional Analysis
|
|
- Barbra Willis
- 5 years ago
- Views:
Transcription
1 Fchgruppe Angewndte Anlysis und Numerik Dr. Mrtin Gutting 22. October Fundmentls of Functionl Anlysis This short introduction to the bsics of functionl nlysis shll give n overview of the results nd nottions used in the course of the lecture. The listed results re by fr not complete nd will be supplemented in the lecture if necessry. For resons of shortness proofs re ccomplished only in prts. It is left to the students to crry out the missing ones. For more informtion nd for most of the missing proofs the reder is referred to the following stndrd textbooks of functionl nlysis. H.W. Alt: Linere Funktionlnlysis, 4. Auge, Springer Lehrbuch, Berlin, L. W. Kntorowitsch, G. P. Akilow: Funktionlnlysis in normierten Räumen, Akdemie- Verlg, Berlin, Hirzebruch, Schrlu: Funktionl Anlysis I, BI 296, Heuser: Funktionlnlysis, Teubner, M. Reed, B. Simon: Functionl Anlysis I, Acdemic Press, New York, Werner: Funktionlnlysis, 4. Auge; Springer, Berlin, Normed Spces Denition 2.1. A vector spce X over eld K is clled normed spce if there exists mpping : X [0, ], which fullls the xioms of norm (i) x 0 for ll x X nd x = 0 x = 0, (ii) αx = α x, α K, x X, (iii) x + y x + y, x, y X. If we wnt to indicte the norm tht corresponds to the spce X, we use the nottion X. Using the norm xioms we cn esily dene metric on X by d(x, y) = x y. Denition 2.2. Let X be normed spce. (i) A sequence {x n } X is clled (norm) convergent in X, if there exists n element x X such tht lim n x n x X = 0,
2 (ii) A sequence {x n } X is clled Cuchy sequence in X, if, for every ε > 0 there exists n N N such tht x n x m X < ε for ll n, m > N. If X is complete with respect to its cnonicl metric, i.e. {x n } n N X is convergent if nd only if it is Cuchy sequence, then X is clled Bnch spce. Exmple 2.3. Let U R d be n open set. The spce C (k) (U), k N 0, consists of ll functions F : U K, which re continuously dierentible up to the order k. Equipped with the norm F C (k) (U) = m F (t) t m, m <k C (k) (U) is Bnch spce. Note tht m is multiindex, m N d 0, m = m m d. Exmple 2.4. Let D R n be mesurble nd 1 p <. The spce of ll mesurble functions F : D K for which ( 1/p F L p (D) = F (t) dt) p < D is denoted by L p (D). The mpping F L p (D) is just semi-norm on Lp (D) becuse F L p (D) = 0 only implies F = 0 lmost everywhere, i.e. everywhere up to set of mesure zero. Let now nd dene sup t U N = {F L p (D) F L p (D) = 0}, L p (D) = L p (D)/N, 1 p <. The spce L p (D) consists of equivlence clsses nd two functions F nd G belong to the sme clss (i.e. they re identied) if F G N, i.e. if F nd G re equl lmost everywhere. The spce L p (D) equipped with the norm F L p (D) = F L p (D) = ( D F (t) p dt ) 1/p is Bnch spce. Exmple 2.5. The spce l p (N), 1 p <, is the spce of ll rel or complex sequences x = {x n } n N for which n=1 x n p is nite. Together with the norm x l p (N) = ( n=1 x n p ) 1/p the spce l p (N) is Bnch spce. The spce l (N) which is the set of bounded rel or complex sequences equipped with the norm x l (N) = sup n N x n is lso Bnch spce. An incomplete normed spce X cn be completed by dding ll limits of Cuchy sequences, i.e. in mthemticl terms Theorem 2.6. To every normed spce there exists (up to norm isometry) unique Bnch spce X, such tht X is dense subspce in X. X is clled the completion of X with respect to X. If we wnt to emphsis completion of n incomplete normed spce with respect to specic norm we write X. Exmple 2.7. Since continuous functions re integrble, it is cler tht C (0) (D) L p (D) for ll 1 p <. The completion of C (0) (D) with respect to L p (D) is Lp (D), i.e. C (0) (D) L p (D) = L p (D), 1 p <. 2
3 2.2 Opertors A mpping between two normed spces X nd Y is clled n opertor. With N (A) = {x X Ax = 0} X nd R(A) = {y = Ax x X} Y we denote the kernel of A or the null spce of A, resp. the imge of A. Denition 2.8. Let X nd Y be normed spces. The opertor A : X Y is clled liner, if (i) A(x + y) = Ax + Ay for ll x, y X, (ii) A(αx) = αax for ll x X nd α K. The opertor A is clled bounded, if there exists constnt C 0 such tht Ax Y C x X for ll x X. Theorem 2.9. Let X nd Y be normed spces nd A : X Y be liner opertor. Then the following sttements re equivlent. (i) A is continuous on X. (ii) A is continuous in 0 X. (iii) A is bounded on X. Beweis. The equivlence of (i) nd (ii) esily follows from the linerity of the opertor A. Now, let A be bounded with bound C > 0 und let {x n } n N X be sequence which is convergent to x X. Then by the boundedness of A we hve Ax n Ax Y = A(x n x) Y C x n x X 0 for n. But this shows the continuity of A in x. Let on the other hnd A be continuous und ssume A is not bounded. Then, for every n N there exists n x n X \ {0} such tht Ax n Y n x n X. Now we set y n = x n / x n X which implies y n X = 1 for ll n N nd lim n Ay n Y =. If we now dene z n = y n / Ay n Y for ll n N, then z n is sequence convergent to 0 X which fullls Az n Y = 1 for ll b N. But this is contrdiction to the continuity of A in 0. The spce of ll continuous liner opertors between X nd Y is denoted by L(X, Y ). If Y = X we set L(X) = L(X, X). A norm on L(X, Y ) is given by Ax A = sup Y = sup Ax x 0 x Y = sup Ax Y. (1) X x X 1 x X =1 We lso use the nottion A X Y for the norm of n opertor A : X Y. Theorem Together with the norm (1) the spce L(X, Y ) is normed spce. If X is normed spce nd Y is Bnch spce, then L(X, Y ) is Bnch spce. For combintions of two liner opertors we hve the following result. 3
4 Theorem Let A L(X, Y ) nd B L(Y, Z), then BA L(X, Z) nd we hve BA X Z B Y Z A X Y. For A L(X) we get itertively A n A n for ll n N. For sequences of opertors two dierent terms of convergence re used. Denition Let {A n } n N L(X, Y ) be sequence of opertors between X nd Y nd let A L(X, Y ). (i) A sequence of opertors {A n } n N is clled pointwise convergent to n opertor A if lim A nx Ax n Y = 0 for ll x X. (ii) A sequence of opertors {A n } n N is clled uniformly convergent to n opertor A if lim A n A n X Y = 0. Uniform convergence implies pointwise convergence but the converse is in generl not true. Since K = R or K = C, the spce L(X, K) is clerly Bnch spce. It is symbolized by X nd clled dul spce of X. The elements of X re clled liner functionls. 2.3 Min Theorems Theorem 2.13 (Uniform Boundedness Principle). Let X be Bnch spce nd Y be normed spce. Let the fmily {A i } i I L(X, Y ) be pointwise bounded, i.e. for every x X there exists constnt C(x) > 0 such tht A i x Y C(x) for ll i I. The fmily of norms { A i } i I is bounded. Theorem 2.14 (Theorem of Bnch-Steinhus). Let X nd Y be Bnch spces. A sequence {A n } n N L(X, Y ) is pointwise convergent to A L(X, Y ) if the following conditions re fullled. 1) The sequence of norms { A n } n N is bounded. 2) The sequence {A n x} n N Y is pointwise convergent in Y on dense subset of X. Theorem 2.15 (Inverse Mpping Theorem). Let X nd Y be Bnch spces. If A L(X, Y ) is bijective, then A 1 is continuous, i.e. A 1 L(Y, X). Theorem 2.16 (Closed Grph Theorem). Let X nd Y be Bnch spces, let A : X Y be liner opertor. Then grph(a) = {(x, Ax) X Y ; x X} is closed in X Y if nd only if A L(X, Y ). 4
5 2.4 Inner Product Spces Denition Let X be vector spce over K. A mpping, : X X K is clled n inner product, if (i) x, x 0 for ll x X nd x, x = 0 if nd only if x = 0, (positive denite) (ii) x, y = y, x for ll x, y X, (symmetric) (iii) αx + βy, z = α x, z + β y, z for ll x, y, z X, α, β K, (biliner). A vector spce X together with n inner product, X is clled n inner product spce or pre-hilbert spce. In every inner product spce X cnonicl norm is induced by x = x, x X for x X. For this norm in X we hve the following results. Theorem Let X be n inner product spce, then, for ll x, y X, we hve (i) x, y X x X y X (Cuchy-Schwrz inequlity), (ii) x + y 2 X + x y 2 X = 2 x 2 X + 2 y 2 X (Prllelogrm equlity). If X is complete with respect to the cnonicl norm, then X is clled Hilbert spce. Every pre- Hilbert spce cn be completed to Hilbert spce. Theorem To every incomplete inner product spce X there exists unique (up to norm isometry) Hilbert spce X, such tht X is dense in X. Exmple The spce C (0) (D) where D R d together with the inner product F, G L 2 (D) = F (t)g(t) dt is n incomplete inner product spce. Its completion with respect to the L 2 (D) norm is the spce L 2 (D), i.e. D C (0) (D) L 2 (D) = L 2 (D). Getting the dul spce of Hilbert spce is very esy becuse it is the Hilbert spce itself. Theorem 2.21 (Representtion Theorem of Riesz). To every liner functionl l : X K on Hilbert spce X there exists unique element x l X such tht l( ) =, x l nd l = x l X. Every Hilbert spce X is norm isomorphic to its dul spce X. With the id of n inner product nother term of convergence cn be dened. Denition Let X be Hilbert spce. (i) A sequence {x n } n N X is clled wekly convergent to n element x X if lim x n, z = x, z, for ll z X. n (ii) A sequence {x n } n N X is clled strongly convergent to n element x X if lim x x n n X = 0. Strong convergence which is lso clled norm convergence implies wek convergence nd in nitedimensionl spces, wek nd strong convergence re equivlent. 5
6 2.5 Orthogonlity Using the inner product in n inner product spce X we re ble to dene when two elements of X re orthogonl. Denition Two elements x, y X of n inner product spce X re clled orthogonl (symbolized by x y) if x, y X = 0. Two subsets U, V X of X re clled orthogonl (symbolized by U V ), if x, y X = 0 for ll x U nd for ll y V. The set U = {x X {x} U} is clled orthogonl complement of U in X. Lemm Let X be n inner product spce. (i) We hve {0} = X nd X = {0}. (ii) For every subset U X the orthogonl complement U is closed subspce of X. (iii) If U V X then X V U. Theorem Let U be closed subspce of the inner product spce X. Then we hve ( U ) = U nd the orthogonl decomposition X = U U, holds, i.e. every element x X cn be uniquely decomposed in the form x = u + v with u U nd v U. Denition Let U be closed subspce of the inner product spce X. Then the continuous liner opertor P U : X U is dened by P U : x = u + v u with u U nd v U. The opertor P U is clled orthogonl projection of X to U. Theorem Let U be closed subspce of the inner product spce X. The orthogonl projection P U hs the following properties. (i) P U x, y X = x, P U y X for ll x, y X, (ii) P 2 U = P U, (iii) P U = 1, (iv) x P U x X = min u U x u U, i.e. P U x is the best pproximting element to x in U, (v) I P U is the orthogonl projection to U, (vi) R(P U ) = N(P U ). Denition Let X be n inner product spce nd I be n index set. A fmily {u i } i I X is clled n orthogonl system in X, if u i, u j X = u j 2 X δ i,j, for ll i, j I. The orthogonl system {u i } i I is clled n orthonorml system (ONS), if u i X = 1 for ll i I. 6
7 Theorem Let {u i } i I be n orthonorml system in the inner product spce X. Then, for every x X, the inner product x, u i X is zero except for n t most countble subset of I. Furthermore, Bessel's inequlity holds, i.e. x 2 X x, u i X 2, x X. (2) i I Note tht the series in (2) hs t most countble mny summnds. Furthermore, the reder should note tht the subset of the index set I, for which the inner product x, u i X is not zero, vries with respect to x X. Denition An orthonorml system {u i } i I in n inner product spce X is clled orthonorml bsis (ONB) of X, if, for every x X, the orthogonl expnsion x = i I x, u i X u i holds in the sense of the X norm. A Hilbert spce is clled seprble if it possesses countble orthonorml bsis. Theorem Let U be closed subspce of the inner product spce X. If {u i } i I is n orthonorml bsis in U, then, for every x X, P U x = x, u i X u i. i I Exmple Let D be region nd let ω : D R + be continuous, then the spce L 2 ω(d) consists of ll functions F : D K such tht (F (t)) 2 ω(t) dt <. Equipped with the inner product F, G L 2 ω (D) = D D F (t)g(t)ω(t) dt the spce L 2 ω(d) is Hilbert spce which is clled weighted L 2 spce on D. For D = [ 1, 1] nd ω(t) = (1 t) 1/2 (1 + t) 1/2 = 1 1 t 2 the system of Tschebysche polynomils of the rst kind T n (t) = cos(n rccos(t)), t [ 1, 1], n N, forms n orthogonl bsis in L 2 ω( 1, 1). Further exmples of orthogonl bsis systems in weighted L 2 spces re discussed in course of the lecture nd in the lecture Specil Functions. 2.6 Adjoint Opertors Denition Let A : X Y be bounded liner opertor between two inner product spces X nd Y. If there exists n opertor B : Y X such tht Ax, y Y = x, By X, for ll x X nd y Y, then we cll B the djoint opertor to A which is symbolized by A. If A = A then the opertor A is clled selfdjoint. 7
8 If the djoint opertor exists, then it is unique, which cn be seen s follows: Let B 1 nd B 2 be djoint opertors to A. Then x, (B 1 B 2 )y X = (A A)x, y Y = 0. The specil choice x = (B 1 B 2 )y then yields (B 1 B 2 )y X = 0 for ll y Y which implies B 1 = B 2. For the cse of X to be Hilbert spce nd A to bounded liner opertor the existence of the djoint opertor cn be gurnteed: Theorem Let X be Hilbert spce, Y be n inner product spce nd A L(X, Y ). Then the djoint opertor A L(Y, X) of A exists nd A Y X = A X Y. Furthermore we hve (A ) = A nd A A = A 2. Beweis. Let y Y be rbitrry but xed. Hving look t the liner functionl l y : X K given by l y ( ) = A, y Y we esily see tht l y is liner nd continuous. Then by the Riesz representtion theorem, there exists unique x y X such tht l y ( ) =, x y X, which gives Ax, y Y = x, x y X for ll x X. Now we set A : Y X, A y = x y nd we just hve to check the linerity nd the boundedness of A. Theorem Let X, Y nd Z be Hilbert spces. (i) For A, B L(X, Y ) nd α K we hve (ii) For A L(X, Y ) nd B L(Y, Z) we hve Furthermore, the following reltions re true. (A + B) = A + B nd (αa) = αa. R(A) = N (A ), R(A ) = N (A), (BA) = A B. R(A) = N (A ) R(A ) = N (A) The opertor A is bijective if nd only its djoint A is bijective. Exmple Let the integrl opertor A : L 2 (, b) L 2 (, b) be dened by AF (t) = K(t, s)f (s) ds, t [, b], where the bivrite function K L 2 ([, b] [, b]) is clled the kernel of the integrl opertor. For F, G L 2 (, b) we hve AF, G L 2 (,b) = with A : L 2 (, b) L 2 (, b) given by A G(s) = = = AF (t)g(t) dt ( ) K(t, s)f (s) ds G(t) dt ( F (s) = F, A G L 2 (,b), ) K(t, s)g(t) dt ds K(t, s)g(t) dt, s [, b]. 8
ACM 105: Applied Real and Functional Analysis. Solutions to Homework # 2.
ACM 05: Applied Rel nd Functionl Anlysis. Solutions to Homework # 2. Andy Greenberg, Alexei Novikov Problem. Riemnn-Lebesgue Theorem. Theorem (G.F.B. Riemnn, H.L. Lebesgue). If f is n integrble function
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1
MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further
More informationSOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL (1 + µ(f n )) f(x) =. But we don t need the exact bound.) Set
SOLUTIONS FOR ANALYSIS QUALIFYING EXAM, FALL 28 Nottion: N {, 2, 3,...}. (Tht is, N.. Let (X, M be mesurble spce with σ-finite positive mesure µ. Prove tht there is finite positive mesure ν on (X, M such
More informationA PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES
INROADS Rel Anlysis Exchnge Vol. 26(1), 2000/2001, pp. 381 390 Constntin Volintiru, Deprtment of Mthemtics, University of Buchrest, Buchrest, Romni. e-mil: cosv@mt.cs.unibuc.ro A PROOF OF THE FUNDAMENTAL
More informationHilbert Spaces. Chapter Inner product spaces
Chpter 4 Hilbert Spces 4.1 Inner product spces In the following we will discuss both complex nd rel vector spces. With L denoting either R or C we recll tht vector spce over L is set E equipped with ddition,
More informationFunctional Analysis I Solutions to Exercises. James C. Robinson
Functionl Anlysis I Solutions to Exercises Jmes C. Robinson Contents 1 Exmples I pge 1 2 Exmples II 5 3 Exmples III 9 4 Exmples IV 15 iii 1 Exmples I 1. Suppose tht v α j e j nd v m β k f k. with α j,
More informationMATH 174A: PROBLEM SET 5. Suggested Solution
MATH 174A: PROBLEM SET 5 Suggested Solution Problem 1. Suppose tht I [, b] is n intervl. Let f 1 b f() d for f C(I; R) (i.e. f is continuous rel-vlued function on I), nd let L 1 (I) denote the completion
More informationSTUDY GUIDE FOR BASIC EXAM
STUDY GUIDE FOR BASIC EXAM BRYON ARAGAM This is prtil list of theorems tht frequently show up on the bsic exm. In mny cses, you my be sked to directly prove one of these theorems or these vrints. There
More informationChapter 4. Lebesgue Integration
4.2. Lebesgue Integrtion 1 Chpter 4. Lebesgue Integrtion Section 4.2. Lebesgue Integrtion Note. Simple functions ply the sme role to Lebesgue integrls s step functions ply to Riemnn integrtion. Definition.
More informationA HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction
Ttr Mt. Mth. Publ. 44 (29), 159 168 DOI: 1.2478/v1127-9-56-z t m Mthemticl Publictions A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES Miloslv Duchoň Peter Mličký ABSTRACT. We present Helly
More informationBest Approximation in the 2-norm
Jim Lmbers MAT 77 Fll Semester 1-11 Lecture 1 Notes These notes correspond to Sections 9. nd 9.3 in the text. Best Approximtion in the -norm Suppose tht we wish to obtin function f n (x) tht is liner combintion
More informationFundamental Theorem of Calculus for Lebesgue Integration
Fundmentl Theorem of Clculus for Lebesgue Integrtion J. J. Kolih The existing proofs of the Fundmentl theorem of clculus for Lebesgue integrtion typiclly rely either on the Vitli Crthéodory theorem on
More informationProblem Set 4: Solutions Math 201A: Fall 2016
Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be one-to-one, onto mp between metric spces X, Y. () If f is continuous nd X is compct, prove tht f is homeomorphism. Does this result remin true
More informationUNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE
UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE 1. Pointwise Convergence of Sequence Let E be set nd Y be metric spce. Consider functions f n : E Y for n = 1, 2,.... We sy tht the sequence
More informationg i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f
1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where
More information440-2 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam
440-2 Geometry/Topology: Differentible Mnifolds Northwestern University Solutions of Prctice Problems for Finl Exm 1) Using the cnonicl covering of RP n by {U α } 0 α n, where U α = {[x 0 : : x n ] RP
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationNOTES AND PROBLEMS: INTEGRATION THEORY
NOTES AND PROBLEMS: INTEGRATION THEORY SAMEER CHAVAN Abstrct. These re the lecture notes prepred for prticipnts of AFS-I to be conducted t Kumun University, Almor from 1st to 27th December, 2014. Contents
More informationReview of Riemann Integral
1 Review of Riemnn Integrl In this chpter we review the definition of Riemnn integrl of bounded function f : [, b] R, nd point out its limittions so s to be convinced of the necessity of more generl integrl.
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationFourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )
Fourier series. Preliminry mteril on inner products. Suppose V is vector spce over C nd (, ) is Hermitin inner product on V. This mens, by definition, tht (, ) : V V C nd tht the following four conditions
More informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More information1. On some properties of definite integrals. We prove
This short collection of notes is intended to complement the textbook Anlisi Mtemtic 2 by Crl Mdern, published by Città Studi Editore, [M]. We refer to [M] for nottion nd the logicl stremline of the rguments.
More informationAdvanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004
Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when
More informationNumerical Methods for Partial Differential Equations
Numericl Methods for Prtil Differentil Equtions Eric de Sturler Deprtment of Computer Science University of Illinois t Urn-Chmpign 11/19/003 1 00 Eric de Sturler Why More Generl Spces We now provide more
More informationThe Bochner Integral and the Weak Property (N)
Int. Journl of Mth. Anlysis, Vol. 8, 2014, no. 19, 901-906 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.4367 The Bochner Integrl nd the Wek Property (N) Besnik Bush Memetj University
More informationThe Banach algebra of functions of bounded variation and the pointwise Helly selection theorem
The Bnch lgebr of functions of bounded vrition nd the pointwise Helly selection theorem Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics, University of Toronto Jnury, 015 1 BV [, b] Let < b. For f
More informationLecture Notes on Functional Analysis. Kai-Seng Chou Department of Mathematics The Chinese University of Hong Kong Hong Kong
Lecture Notes on Functionl Anlysis Ki-Seng Chou Deprtment of Mthemtics The Chinese University of Hong Kong Hong Kong My 29, 2014 2 Contents 1 Normed Spce: Exmples 5 1.1 Vector Spces of Functions...................................
More informationThe Perron-Frobenius operators, invariant measures and representations of the Cuntz-Krieger algebras
The Perron-Frobenius opertors, invrint mesures nd representtions of the Cuntz-Krieger lgebrs Ktsunori Kwmur Reserch Institute for Mthemticl Sciences Kyoto University, Kyoto 606-8502, Jpn For trnsformtion
More informationChapter 3. Vector Spaces
3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce
More informationNotes on length and conformal metrics
Notes on length nd conforml metrics We recll how to mesure the Eucliden distnce of n rc in the plne. Let α : [, b] R 2 be smooth (C ) rc. Tht is α(t) (x(t), y(t)) where x(t) nd y(t) re smooth rel vlued
More informationMath Solutions to homework 1
Mth 75 - Solutions to homework Cédric De Groote October 5, 07 Problem, prt : This problem explores the reltionship between norms nd inner products Let X be rel vector spce ) Suppose tht is norm on X tht
More informationInner Product Space. u u, v u, v u, v.
Inner Product Spce Definition Assume tht V is ector spce oer field of sclrs F in our usge this will e. Then we define inry opertor.. :V V F [once gin in our usge this will e ] so tht the following properties
More informationW. We shall do so one by one, starting with I 1, and we shall do it greedily, trying
Vitli covers 1 Definition. A Vitli cover of set E R is set V of closed intervls with positive length so tht, for every δ > 0 nd every x E, there is some I V with λ(i ) < δ nd x I. 2 Lemm (Vitli covering)
More informationM597K: Solution to Homework Assignment 7
M597K: Solution to Homework Assignment 7 The following problems re on the specified pges of the text book by Keener (2nd Edition, i.e., revised nd updted version) Problems 3 nd 4 of Section 2.1 on p.94;
More informationAMATH 731: Applied Functional Analysis Fall Additional notes on Fréchet derivatives
AMATH 731: Applied Functionl Anlysis Fll 214 Additionl notes on Fréchet derivtives (To ccompny Section 3.1 of the AMATH 731 Course Notes) Let X,Y be normed liner spces. The Fréchet derivtive of n opertor
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More informationBest Approximation. Chapter The General Case
Chpter 4 Best Approximtion 4.1 The Generl Cse In the previous chpter, we hve seen how n interpolting polynomil cn be used s n pproximtion to given function. We now wnt to find the best pproximtion to given
More informationUNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3
UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,
More informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More informationarxiv: v1 [math.ca] 7 Mar 2012
rxiv:1203.1462v1 [mth.ca] 7 Mr 2012 A simple proof of the Fundmentl Theorem of Clculus for the Lebesgue integrl Mrch, 2012 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde
More informationVariational Techniques for Sturm-Liouville Eigenvalue Problems
Vritionl Techniques for Sturm-Liouville Eigenvlue Problems Vlerie Cormni Deprtment of Mthemtics nd Sttistics University of Nebrsk, Lincoln Lincoln, NE 68588 Emil: vcormni@mth.unl.edu Rolf Ryhm Deprtment
More informationMATH 423 Linear Algebra II Lecture 28: Inner product spaces.
MATH 423 Liner Algebr II Lecture 28: Inner product spces. Norm The notion of norm generlizes the notion of length of vector in R 3. Definition. Let V be vector spce over F, where F = R or C. A function
More informationarxiv:math/ v2 [math.ho] 16 Dec 2003
rxiv:mth/0312293v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ 07070 jbi2@njit.edu Februry 1, 2008 Abstrct In this pper,
More informationMath 270A: Numerical Linear Algebra
Mth 70A: Numericl Liner Algebr Instructor: Michel Holst Fll Qurter 014 Homework Assignment #3 Due Give to TA t lest few dys before finl if you wnt feedbck. Exercise 3.1. (The Bsic Liner Method for Liner
More informationSTURM-LIOUVILLE BOUNDARY VALUE PROBLEMS
STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS Throughout, we let [, b] be bounded intervl in R. C 2 ([, b]) denotes the spce of functions with derivtives of second order continuous up to the endpoints. Cc 2
More informationSTRUCTURED TRIANGULAR LIMIT ALGEBRAS
STRUCTURED TRIANGULAR LIMIT ALGEBRAS DAVID R. LARSON nd BARUCH SOLEL [Received 5 Februry 1996 Revised 24 September 1996] 1. Introduction Suppose is unitl Bnch lgebr which contins n incresing chin n n 1
More informationIntroduction to Real Analysis (Math 315) Martin Bohner
ntroduction to Rel Anlysis (Mth 315) Spring 2005 Lecture Notes Mrtin Bohner Author ddress: Version from April 20, 2005 Deprtment of Mthemtics nd Sttistics, University of Missouri Roll, Roll, Missouri 65409-0020
More informationCalculus and linear algebra for biomedical engineering Week 11: The Riemann integral and its properties
Clculus nd liner lgebr for biomedicl engineering Week 11: The Riemnn integrl nd its properties Hrtmut Führ fuehr@mth.rwth-chen.de Lehrstuhl A für Mthemtik, RWTH Achen Jnury 9, 2009 Overview 1 Motivtion:
More informationAnalytical Methods Exam: Preparatory Exercises
Anlyticl Methods Exm: Preprtory Exercises Question. Wht does it men tht (X, F, µ) is mesure spce? Show tht µ is monotone, tht is: if E F re mesurble sets then µ(e) µ(f). Question. Discuss if ech of the
More informationKRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION
Fixed Point Theory, 13(2012), No. 1, 285-291 http://www.mth.ubbcluj.ro/ nodecj/sfptcj.html KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION FULI WANG AND FENG WANG School of Mthemtics nd
More information1 A quick look at topological and functional spaces
1 A quick look t topologicl nd functionl spces The unified chrcter of mthemtics lies in its very nture; indeed, mthemtics is the foundtion of ll exct nturl sciences. Dvid Hilbert (1862-1943) Nowdys, functionl
More informationInner-product spaces
Inner-product spces Definition: Let V be rel or complex liner spce over F (here R or C). An inner product is n opertion between two elements of V which results in sclr. It is denoted by u, v nd stisfies:
More information2 Definitions and Basic Properties of Extended Riemann Stieltjes Integrals
2 Definitions nd Bsic Properties of Extended Riemnn Stieltjes Integrls 2.1 Regulted nd Intervl Functions Regulted functions Let X be Bnch spce, nd let J be nonempty intervl in R, which my be bounded or
More informationRiemann Stieltjes Integration - Definition and Existence of Integral
- Definition nd Existence of Integrl Dr. Adity Kushik Directorte of Distnce Eduction Kurukshetr University, Kurukshetr Hryn 136119 Indi. Prtition Riemnn Stieltjes Sums Refinement Definition Given closed
More informationNOTES ON UNBOUNDED OPERATORS MATH 581, SPRING 2017
NOTES ON UNBOUNDED OPERATORS MATH 581, SPRING 17 Throughout, X will denote Bnch, possibly Hilbert spce. Some of this mteril drws from Chpter 1 of the book Spectrl Theory nd Differentil Opertors by E. Brin
More informationQuadratic Forms. Quadratic Forms
Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte
More information1.9 C 2 inner variations
46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for
More informationIntroduction to Some Convergence theorems
Lecture Introduction to Some Convergence theorems Fridy 4, 005 Lecturer: Nti Linil Notes: Mukund Nrsimhn nd Chris Ré. Recp Recll tht for f : T C, we hd defined ˆf(r) = π T f(t)e irt dt nd we were trying
More informationFUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (
FUNDAMNTALS OF RAL ANALYSIS by Doğn Çömez III. MASURABL FUNCTIONS AND LBSGU INTGRAL III.. Mesurble functions Hving the Lebesgue mesure define, in this chpter, we will identify the collection of functions
More informationA Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions
Interntionl Journl of Mthemticl Anlysis Vol. 8, 2014, no. 50, 2451-2460 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.49294 A Convergence Theorem for the Improper Riemnn Integrl of Bnch
More informationAdvanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015
Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n
More informationDiscrete Least-squares Approximations
Discrete Lest-squres Approximtions Given set of dt points (x, y ), (x, y ),, (x m, y m ), norml nd useful prctice in mny pplictions in sttistics, engineering nd other pplied sciences is to construct curve
More informationII. Integration and Cauchy s Theorem
MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.
More informationLecture 3. Limits of Functions and Continuity
Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live
More informationConvex Sets and Functions
B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line
More informationPositive Solutions of Operator Equations on Half-Line
Int. Journl of Mth. Anlysis, Vol. 3, 29, no. 5, 211-22 Positive Solutions of Opertor Equtions on Hlf-Line Bohe Wng 1 School of Mthemtics Shndong Administrtion Institute Jinn, 2514, P.R. Chin sdusuh@163.com
More informationMath 61CM - Solutions to homework 9
Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ
More informationRegulated functions and the regulated integral
Regulted functions nd the regulted integrl Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics University of Toronto April 3 2014 1 Regulted functions nd step functions Let = [ b] nd let X be normed
More informationChapter 6. Infinite series
Chpter 6 Infinite series We briefly review this chpter in order to study series of functions in chpter 7. We cover from the beginning to Theorem 6.7 in the text excluding Theorem 6.6 nd Rbbe s test (Theorem
More informationODE: Existence and Uniqueness of a Solution
Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =
More informationLecture 19: Continuous Least Squares Approximation
Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for
More information1 The Lagrange interpolation formula
Notes on Qudrture 1 The Lgrnge interpoltion formul We briefly recll the Lgrnge interpoltion formul. The strting point is collection of N + 1 rel points (x 0, y 0 ), (x 1, y 1 ),..., (x N, y N ), with x
More informationApproximation of functions belonging to the class L p (ω) β by linear operators
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 3, 9, Approximtion of functions belonging to the clss L p ω) β by liner opertors W lodzimierz Lenski nd Bogdn Szl Abstrct. We prove
More informationThis is a short summary of Lebesgue integration theory, which will be used in the course.
3 Chpter 0 ntegrtion theory This is short summry of Lebesgue integrtion theory, which will be used in the course. Fct 0.1. Some subsets (= delmängder E R = (, re mesurble (= mätbr in the Lebesgue sense,
More informationODE: Existence and Uniqueness of a Solution
Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry dierentil eqution (ODE) du f(t) dt with initil condition u() : Just
More informationNumerical Methods I Orthogonal Polynomials
Numericl Methods I Orthogonl Polynomils Aleksndr Donev Cournt Institute, NYU 1 donev@cournt.nyu.edu 1 MATH-GA 2011.003 / CSCI-GA 2945.003, Fll 2014 Nov 6th, 2014 A. Donev (Cournt Institute) Lecture IX
More informationMath 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008
Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of
More informationHomework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.
Homework 4 (1) If f R[, b], show tht f 3 R[, b]. If f + (x) = mx{f(x), 0}, is f + R[, b]? Justify your nswer. (2) Let f be continuous function on [, b] tht is strictly positive except finitely mny points
More informationSturm-Liouville Eigenvalue problem: Let p(x) > 0, q(x) 0, r(x) 0 in I = (a, b). Here we assume b > a. Let X C 2 1
Ch.4. INTEGRAL EQUATIONS AND GREEN S FUNCTIONS Ronld B Guenther nd John W Lee, Prtil Differentil Equtions of Mthemticl Physics nd Integrl Equtions. Hildebrnd, Methods of Applied Mthemtics, second edition
More informationAMATH 731: Applied Functional Analysis Fall Some basics of integral equations
AMATH 731: Applied Functionl Anlysis Fll 2009 1 Introduction Some bsics of integrl equtions An integrl eqution is n eqution in which the unknown function u(t) ppers under n integrl sign, e.g., K(t, s)u(s)
More informationThe Henstock-Kurzweil integral
fculteit Wiskunde en Ntuurwetenschppen The Henstock-Kurzweil integrl Bchelorthesis Mthemtics June 2014 Student: E. vn Dijk First supervisor: Dr. A.E. Sterk Second supervisor: Prof. dr. A. vn der Schft
More informationPavel Rytí. November 22, 2011 Discrete Math Seminar - Simon Fraser University
Geometric representtions of liner codes Pvel Rytí Deprtment of Applied Mthemtics Chrles University in Prgue Advisor: Mrtin Loebl November, 011 Discrete Mth Seminr - Simon Frser University Bckground Liner
More informationRiemann Sums and Riemann Integrals
Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 2013 Outline 1 Riemnn Sums 2 Riemnn Integrls 3 Properties
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationAdvanced Calculus I (Math 4209) Martin Bohner
Advnced Clculus I (Mth 4209) Spring 2018 Lecture Notes Mrtin Bohner Version from My 4, 2018 Author ddress: Deprtment of Mthemtics nd Sttistics, Missouri University of Science nd Technology, Roll, Missouri
More informationTOPICS IN FOURIER ANALYSIS-II. Contents
TOPICS IN FOURIER ANALYSIS-II M.T. NAIR Contents. Trigonometric series nd Fourier series 2 2. Riemnn Lebesgue Lemm 4 3. Dirichlet kernel 6 4. Dirichlet-Dini criterion for convergence 8 5. Ce`sro summblity
More informationMain topics for the First Midterm
Min topics for the First Midterm The Midterm will cover Section 1.8, Chpters 2-3, Sections 4.1-4.8, nd Sections 5.1-5.3 (essentilly ll of the mteril covered in clss). Be sure to know the results of the
More informationRiemann Sums and Riemann Integrals
Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct
More informationMath 360: A primitive integral and elementary functions
Mth 360: A primitive integrl nd elementry functions D. DeTurck University of Pennsylvni October 16, 2017 D. DeTurck Mth 360 001 2017C: Integrl/functions 1 / 32 Setup for the integrl prtitions Definition:
More informationMATRICES AND VECTORS SPACE
MATRICES AND VECTORS SPACE MATRICES AND MATRIX OPERATIONS SYSTEM OF LINEAR EQUATIONS DETERMINANTS VECTORS IN -SPACE AND -SPACE GENERAL VECTOR SPACES INNER PRODUCT SPACES EIGENVALUES, EIGENVECTORS LINEAR
More informationProperties of the Riemann Integral
Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University Februry 15, 2018 Outline 1 Some Infimum nd Supremum Properties 2
More informationCzechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction
Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued
More informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More informationSTURM-LIOUVILLE THEORY, VARIATIONAL APPROACH
STURM-LIOUVILLE THEORY, VARIATIONAL APPROACH XIAO-BIAO LIN. Qudrtic functionl nd the Euler-Jcobi Eqution The purpose of this note is to study the Sturm-Liouville problem. We use the vritionl problem s
More informationIntegral inequalities
Integrl inequlities Constntin P. Niculescu Bsic remrk: If f : [; ]! R is (Riemnn) integrle nd nonnegtive, then f(t)dt : Equlity occurs if nd only if f = lmost everywhere (.e.) When f is continuous, f =.e.
More information38 Riemann sums and existence of the definite integral.
38 Riemnn sums nd existence of the definite integrl. In the clcultion of the re of the region X bounded by the grph of g(x) = x 2, the x-xis nd 0 x b, two sums ppered: ( n (k 1) 2) b 3 n 3 re(x) ( n These
More informationLecture notes. Fundamental inequalities: techniques and applications
Lecture notes Fundmentl inequlities: techniques nd pplictions Mnh Hong Duong Mthemtics Institute, University of Wrwick Emil: m.h.duong@wrwick.c.uk Februry 8, 207 2 Abstrct Inequlities re ubiquitous in
More informationMAT 215: Analysis in a single variable Course notes, Fall Michael Damron
MAT 215: Anlysis in single vrible Course notes, Fll 2012 Michel Dmron Compiled from lectures nd exercises designed with Mrk McConnell following Principles of Mthemticl Anlysis, Rudin Princeton University
More informationPENALIZED LEAST SQUARES FITTING. Manfred von Golitschek and Larry L. Schumaker
Serdic Mth. J. 28 2002), 329-348 PENALIZED LEAST SQUARES FITTING Mnfred von Golitschek nd Lrry L. Schumker Communicted by P. P. Petrushev Dedicted to the memory of our collegue Vsil Popov Jnury 4, 942
More information