Math Advanced Calculus II


 Samantha Morgan
 3 years ago
 Views:
Transcription
1 Mth Advnced Clculus II Line Integrls nd Green s Theorem The min gol of this chpter is to prove Stoke s theorem, which is the multivrible version of the fundmentl theorem of clculus. We will be focused on the integrtion of certin kinds of functions over mnifolds in R n. These functions re clled differentil kforms. In prticulr, Stoke s theorem sys tht the integrl of differentil kform α over compct (k + 1)mnifold V with nonempty boundry is the sme s the integrl of the differentil of tht kform, which is (k + 1)form dα, over the boundry of the mnifold, V. Tht is, dα We strt with the simplest cse, where V is curve. V V α. 1 Arc length nd pth prmetriztions efinition 1. A C 1 pth in R n is continuously differentible function : [, b] R n. The pth is sid to be smooth if (t) for ll t [, b]. efinition 2. The prtition P { t < t 1 <... < t k 1 < t k b} defines polygonl pproximtion to, with vertices (t ), (t 1 ),..., (t k ) nd length s(, P) given by s(, P) (t i ) (t i 1 ) efinition 3. The length s() of C 1 pth is defined s provided tht the limit exists. s() lim s(, P), P Theorem 1. If : [, b] R n is C 1 pth, then s() exists nd s() b (t) dt Proof. It suffices to prove tht, given ɛ >, tht there exists mesh threshold δ > such tht if meshp < δ, then b (t) dt s(, P) < ɛ. 1
2 Recll tht s(, P) (t i ) (t i 1 ) where 1,..., n re the component functions of. [ n ] 1 2 ( r (t i ) r (t i 1 )) 2 An ppliction of the men vlue theorem to the function r on the i th subintervl [t i 1, t i ] yields point t r i (t i 1, t i ) such tht Hence (1) becomes r1 r (t i ) r (t i 1 ) r(t r i )(t i t i 1 ). s(, P) [ n ] 1 2 ( r(t r i )) 2 (t i t i 1 ). (2) r1 Notice tht the sum in (2) looks very much like Riemnn sum. The rest of the proof involves proving tht it does indeed not differ much from one. efine n uxiliry function F : I [, b] n R by F (x 1,..., x n ) [ n r1 r(x r )) 2 ] 1 2. Notice tht F (t,..., t) (t). Since is C 1 pth on the compct intervl I, it follows tht F is uniformly continuous on I. Hence there exists δ 1 > such tht for ech x r y r < δ 1. F (x) F (y) < ɛ 2(b ) We now wnt to compre the pproximtion s(, P) with the Riemnn sum (1) (3) R(, P) (t i ) (t i t i 1 ) F (t i,..., t i )(t i t i 1 ). Since the points t 1 i,..., tn i (3) tht ll lie in the intervl [t i 1, t i ] nd t i t i 1 < meshp, it follows from s(, P) R(, P) < F (t 1 i,..., t n i ) F (t i,..., t i ) (t i t i 1 ) ɛ 2(b ) (t i t i 1 ) ɛ 2, 2
3 if mesh P < δ 1. On the other hnd, by theorem from the lst chpter, there exists δ 2 > such tht b R(, P) (t) dt < ɛ 2 if mesh P < δ 2. The result follows by tking mesh P < min{δ 1, δ 2 } nd using the tringle inequlity. efinition 4. The pth α : [, b] R n is sid to be equivlent to the pth β : [c, d] R n if nd only if there exists C 1 function ϕ : [, b] [c, d] such tht ϕ([, b]) [c, d], α β ϕ, nd ϕ (t) > t [, b] Theorem 2. Suppose α : [, b] R n nd β : [c, d] R n re equivlent pths, nd tht f is continuous relvlued function whose domin of definition in R n contins the (common) imge of α nd β. Then b f(α(t)) α (t) dt d c f(β(t)) β (t) dt Proof. Use the chin rule nd the fct tht φ (t) > for ll t [, b]. Notice in the bove theorem, tht if we cn find unitspeed representtive for our pth, i.e. (t) 1, then the derivtive of the pth doesn t ply role the integrls of concern. The following proposition sys this is lwys possible. Proposition 1. Every smooth pth : [, b] R n is equivlent to smooth unitspeed pth ( smooth pth ˆ such tht ˆ (t) 1). Proof. Let L s() be the length of, nd define σ : [, b] [, L] by σ(t) so tht σ(t) is simply the length of ([, t]). t (u) du Then the fundmentl theorem of clculus gives us tht σ is C 1 function with σ (t) (t) >. Therefore σ hs C 1 inverse τ : [, L] [, b] with τ (s) 1 σ (τ(s)) >. This llows us to define the smooth pth ˆ : [, L] R n by ˆ τ, which is equivlent to by construction. 3
4 The chin rule nd the fct tht σ (t) (t) then give us tht which is wht we wnted. ˆ (s) (τ(s))τ (s) (τ(s)) σ (τ(s)) 1, 1.1 ifferentil 1forms nd line integrls In lter sections, we ll tlk t length bout differentil kforms, but for now, we ll focus on differentil 1forms. efinition 5 (ifferentil  nd 1forms). A differentil form on set U R n is differentible mp f : U R. A (liner) differentil 1form on the set U R n is mp ω which ssocites with ech point x U liner function ω x : R n R. Tht is, ω : U L(R n, R). Since differentil 1form evluted t point v (v 1,..., v n ) R n is liner mp, it hs the form ω x (v) 1 (x)v n (x)v n where the i : U R re mps. We sometimes write ω x simply s ω x 1 (x)dx n (x)dx n, where we tke dx i to be projection to the i th coordinte, i.e. dx i (v) v i. efinition 6. We sy the differentil 1form ω is continuous ( differentible, or C 1 ) when the coefficient functions 1,..., n re continuous (differentible, or C 1 ). Exmple 1. If f : U R is differentible function on n open set, then its differentil df x t x U is liner function on R n given by df x (v) 1 f(x)v n f(x)v n nd hence is differentil 1form. Remrk 1. ifferentil 1forms which re differentils of differentible functions re clled closed 1forms. Not ll differentil 1forms re closed. We will give n exmple of this in bit. In the sequel, we ll define notion of differentition for differentil kform, which will give us differentil (k + 1)form. 4
5 efinition 7. Let ω be continuous differentil 1form on U R n nd : [, b] U C 1 pth. The integrl of ω over the pth is defined s ω b ω (t) ( (t)) dt. efinition 8 (Line integrl). Given C 1 pth : [, b] R n nd n continuous functions f 1,..., f n whose domins of definition in R n ll contin the imge of, the line integrl f 1 dx f n dx n is defined s f 1 dx f n dx n b [ f1 ((t)) 1(t) + + f n ((t)) n ] dt. Remrk 2. Hence line integrl is simply the integrl of the differentil 1form ppering s its integrnd. Formlly, we re just substituting dx i for i (t)dt. The next Theorem 3. If f is relvlued C 1 function on the open set U R n, nd : [, b] U is C 1 pth, then df f((b)) f(()). Proof. efine g : [, b] R by g f. Then g (t) f((t)) (t) by the chin rule, so df b b b b df (t) ( (t))dt [ 1 f((t)) 1(t) + + n f((t)) n(t) ] dt f((t)) (t)dt g (t)dt g(b) g() f((b)) f(()). The following importnt corollry is immedite: Corollry 1. If ω df, for some C 1 function f defined on U, nd α nd β re C 1 pths with the sme initil nd terminl points, then ω α β ω. 5
6 Exmple 2. The differentil 1form defined on R 2 {} by ω ydx + xdy x 2 + y 2 is not the differentil of ny differentible function. To see this, observe tht if we define 1, 2 : [, 1] R 2 by then we hve while 1 (t) (cos πt, sin πt) nd 2 (t) (cos πt, sin πt) 1 ω 2 ω 1 1 (sin πt)( π sin πt) + (cos πt)(π cos πt) cos 2 πt + sin 2 dt π, πt ( sin πt)( π sin πt) + (cos πt)( π cos πt) cos 2 πt + sin 2 dt π. πt Hence Corollry 1 implies tht ω df for ny differentible f : R 2 {} R. NOTE: We cn use this observtion to prove tht the ngle function θ(x, y) rctn y x, which is defined on R 2 minus the nonnegtive xxis, cnnot be extended to R 2 {}, since dθ ω. 1.2 The rclength form efinition 9. The set C in R n is clled curve if nd only if it is the imge of onetoone smooth pth. Any onetoone smooth pth equivlent to is clled prmetriztion of C. efinition 1 (Orienttion for curve). If x (t) C with C curve, then T(x) (t) (t) is unit tngent vector to C t x. The continuous mp T : C R n is clled n orienttion for C, nd n oriented curve is the pir (C, ), often bbrevited to C. efinition 11. Given n oriented curve C in R n, its rclength form ds is defined for x C by ds x (v) T(x) v. Theorem 4. Let be prmetriztion of the oriented curve C, nd let ds be the rclength form of C. If f : R n R nd F : R n R n re continuous mppings, then b f((t)) (t) dt f ds, nd b F((t)) (t) dt F T ds. 6
7 2 Green s Theorem Green s theorem is 2dimensionl generliztion of the Fundmentl Theorem of Clculus. We wnt to construct notion of the differentil of differentil form defined in R 2. efinition 12. Given C 1 differentil form ω P dx + Q dy in two vribles, its differentil dω is defined by dω ( Q x P ) dxdy. y efinition 13. Given continuous differentil 2form α dxdy nd contented set R 2, the integrl of α on is defined s α (x, y)dxdy. NOTE: Rel vlued functions re clled forms, differentil forms of the type ω P dx + Q dy re clled 1forms, nd differentil forms of the type α dxdy re clled 2forms. 2.1 Informl Version of Green s Theorem Let be nice region in the plne R 2, whose boundry consists of finite number of closed curves, ech of which is positively oriented with respect to. If ω P dx + Q dy is C 1 differentil 1form defined on, then dω () Wht does nice mens? (b) Wht does positively oriented mens? (c) How to compute the righthnd side? ω. 2.2 Piecewise smooth curves efinition 14 (Piecewise smooth pths). The continuous pth : [, b] R n is clled piecewise smooth if there is prtition P { < 1 <... < k b} of [, b] such tht ech restriction i of to [ i 1, i ] is smooth. Note then tht 1 n is conctention of the i. For ω continuous differentil 1form, we define ω ω i 7
8 efinition 15 (Piecewise smooth curves). A piecewisesmooth curve C in R n is the imge of onetoone, piecewisesmooth pth : [, b] R n. The pth is prmetriztion of C, nd the pir (C, ) is clled n oriented piecewisesmooth curve. The curve C is closed if () (b). efinition 16 (Integrting 1forms over piecewise smooth curves). Given n oriented piecewisesmooth curve C nd continuous differentil 1form ω defined on C, the integrl of ω over C is defined s C ω where is ny prmetriztion of C. Moreover, for C (C, ) (C, β) with nd β the sme underlying pth but inducing opposite orienttions, we ω ω. 2.3 Nice regions C efinition 17. A nice region in the plne is connected compct set R 2 whose boundry is the union of finite number of mutully disjoint piecewisesmooth closed curves. Hence, ω ω, C r efinition 18. An oriented boundry curve C (C, ) of nice region is positively oriented with respect to if the region stys on the left of C s the curve is trversed in the direction given by its prmetriztion. NOTE: The conclusion of Green s Theorem cn be reformulted in terms of the divergence of vector field. Given C 1 vector field F : R n R n, its divergence div F : R n R is the relvlued function defined s C i ω. div F F 1 x F n x n. For R 2 nice region with positively oriented, let N denote the unit outer norml vector to. Then for ny C 1 vector field F defined on. F N ds div F dxdy, (4) 8
9 2.4 Green s theorem on the nicest region Lemm 1 (Green s Theorem for the Unit Squre). If ω P dx + Q dy is C 1 differentil 1form on the unit squre I 2, nd I 2 is oriented counterclockwise, then dω ω. I 2 I 2 Proof. Since dω ( Q x P ) dxdy, y we cn pply Fubini s theorem nd the FTC to get 1 1 ( ) Q 1 ( 1 ) dω I 2 x dx P dy y dx dy 1 ( 1 ) Q 1 ( 1 ) x dx P dy y dy dx 1 Q(1, y)dy 1 Q(, y)dy 1 P (x, 1)dx + 1 P (x, )dx. We now wnt to show tht the right hnd side of (4) reduces to the sme thing. Towrd this end, we define four curves 1, 2, 3, 4 : [, 1] R 2 by: 1 (t) (t, ), 2 (t) (1, t), 3 (t) (1 t, 1), 4 (t) (, 1 t). Then since ω P dx + Qdy, with P, Q : R 2 R C 1, we get ω I 2 ω + 1 ω + 2 ω + 3 ω P (t, )dt + P (x, )dx Q(1, t)dt + Q(1, y)dy 1 1 P (1 t, 1)dt + P (x, 1)dx 1 1 Q(, 1 t)dt Q(, y)dy. where the second line follows from the first since 1 [ ω P ((t)) 1 (t) Q((t)) 2(t) ] dt nd the third line is obtined from the second by the substitutions x t, y t, x 1 t, y 1 t respectively. 9
10 2.5 Oriented 2cells nd pullbcks efinition 19. The set R 2 is clled n oriented smooth 2cell if there exists onetoone C 1 mpping F : U R 2 defined on neighborhood U of I 2, such tht F (I 2 ) nd F (x) > for ech x U. NOTE: If the nice region is convex qudrilterl, then is n oriented 2cell. More generlly, nice region is n oriented 2cell if it hs single boundry curve which is piecewise smooth nd consists of exctly four smooth curves, nd the interior ngle t ech of the four vertices is < π. efinition 2. The pullbck of form ϕ : R n R under the C 1 mpping F : R n R n is defined s (F ϕ)(x) (ϕ F )(x). efinition 21. Given 1form ω n ϕ i dx i, its pullbck under the C 1 mpping F : R n R n is given by n (F ω) x (v) (F ϕ i )(x)dx i (F v) efinition 22. Given 2form α g dxdy defined on R 2, its pullbck under the C 1 mpping F : R 2 uv R 2 xy is defined s (F α)(u, v) (g F )(det F )(u, v) du dv The following lemm compiles some useful properties of pullbcks: Lemm 2. Let F : U R 2 be s in the definition of the oriented 2cell F (I 2 ). Let ω be C 1 differentil 1form nd α C 1 differentil 2form on. Then 1. ω I F ω 2 2. α I F α 2 3. d(f ω) F (dω). Proof. Homework. 2.6 Green s Theorem for nicer regions We now prove Green s theorem for oriented 2cells. The point here is tht nice regions cn often be decomposed into oriented 2cells, so we will be ble to reduce the most generl form of Green s theorem to the next lemm. 1
11 Lemm 3 (Green s Theorem for Oriented 2cells). If is n oriented 2cell nd ω is C 1 differentil 1form on, then dω Proof. Let F (I 2 ) be s in the definition of the oriented 2cell. Then dω F (dω) by (2) I 2 d(f ω) by (3) I 2 F ω by Lemm 1 I 2 ω by (1). ω. 2.7 Cellultions nd Green s theorem efinition 23. A smooth cellultion of the nice region is finite collection K { 1,..., k } of oriented 2cells such tht k with ech pir of these oriented 2cells re either disjoint, intersect in single common vertex, or intersect in single common edge on which they induce opposite orienttions. A cellulted nice region is nice region with together with cellultion K of. Exercise 1. A cellultion K of nice region induces n orienttion of. Moreover, ny other cellultion of induces the sme orienttion on. We re now redy to stte nd prove Green s theorem. Theorem 5 (Green s Theorem). If R 2 is cellulted nice region nd ω is C 1 differentil 1form on, then dω i ω. 11
12 Proof. Let K { 1,..., k } be cellultion of by oriented 2cells. We will pply Theorem 3 to ech 2cell in K. This gives us dω dω i i ω The lst line follows from the first line becuse ll the interior edges of the cellultion cncel with ech other, since ech ppers s prt of 2 different 2cells but with opposite (nd hence cnceling) orienttions. Proposition 2. Every nice region dmits cellultion. Proof. 1. Prove tht every nice region with one boundry component (which is thus exterior) with four pieces cn be cellulted. Hence tringle cn be cellulted. 2. Now prove tht every nice region with one boundry component cn be cellulted. o this by proving tht every such region cn be tringulted. 3. Finlly, prove tht every nice region cn be celluted by using induction on the number of boundry components. ω. Hence: Corollry 2. If R 2 is nice region nd ω is C 1 differentil 1form on, then dω ω. Finlly, we give chrcteriztion of closed differentil 1forms: Theorem 6. If ω P dx + Q dy is C 1 differentil 1form defined on R 2, then the following three conditions re equivlent: () There exists function f : R 2 R such tht df ω. (b) Q/ x P/ y on R 2. (c) Given points nd b, the integrl ω is independent of the piecewise smooth pth from to b. 12
13 Proof. We lredy hve tht () implies (b) nd (c) by Corollry 1. It suffices to prove tht ech of (b) nd (c) implies (). Let (x, y) R 2 nd define x,y to be the stright line pth between nd (x, y). Now define f(x, y) ω. x,y Let α x be the stright line from to (x, ) nd β y the stright line from (x, ) to (x, y). Let T be the tringle in R 2 with sides x,y α x β y. Then either immeditely from (c) or by Green s Theorem 5 pplied to T if we re ssuming (b), we hve f(x, y) x,y ω ω + α x x β y ω P (t, )dt + y Q(x, t)dt. Hence f y y Q(x, t)dt Q(x, y) y by the FTC. Similrly, f x P, so df ω, s required by (). This completes the proof. 13
Note 16. Stokes theorem Differential Geometry, 2005
Note 16. Stokes theorem ifferentil Geometry, 2005 Stokes theorem is the centrl result in the theory of integrtion on mnifolds. It gives the reltion between exterior differentition (see Note 14) nd integrtion
More informationIntegrals along Curves.
Integrls long Curves. 1. Pth integrls. Let : [, b] R n be continuous function nd let be the imge ([, b]) of. We refer to both nd s curve. If we need to distinguish between the two we cll the function the
More informationLine Integrals. Partitioning the Curve. Estimating the Mass
Line Integrls Suppose we hve curve in the xy plne nd ssocite density δ(p ) = δ(x, y) t ech point on the curve. urves, of course, do not hve density or mss, but it my sometimes be convenient or useful to
More informationII. Integration and Cauchy s Theorem
MTH6111 Complex Anlysis 200910 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 informationSection 17.2 Line Integrals
Section 7. Line Integrls Integrting Vector Fields nd Functions long urve In this section we consider the problem of integrting functions, both sclr nd vector (vector fields) long curve in the plne. We
More informationWe partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.
Mth 255  Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn
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 informationMath 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech
Mth 6455 Oct 10, 2006 1 Differentil Geometry I Fll 2006, Georgi Tech Lecture Notes 12 Riemnnin Metrics 0.1 Definition If M is smooth mnifold then by Riemnnin metric g on M we men smooth ssignment of n
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 informationx = b a n x 2 e x dx. cdx = c(b a), where c is any constant. a b
CHAPTER 5. INTEGRALS 61 where nd x = b n x i = 1 (x i 1 + x i ) = midpoint of [x i 1, x i ]. Problem 168 (Exercise 1, pge 377). Use the Midpoint Rule with the n = 4 to pproximte 5 1 x e x dx. Some quick
More information1 The Riemann Integral
The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re
More informationINTRODUCTION TO INTEGRATION
INTRODUCTION TO INTEGRATION 5.1 Ares nd Distnces Assume f(x) 0 on the intervl [, b]. Let A be the re under the grph of f(x). b We will obtin n pproximtion of A in the following three steps. STEP 1: Divide
More informationOne dimensional integrals in several variables
Chpter 9 One dimensionl integrls in severl vribles 9.1 Differentition under the integrl Note: less thn 1 lecture Let f (x,y be function of two vribles nd define g(y : b f (x,y dx Suppose tht f is differentible
More informationn f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1
The Fundmentl Theorem of Clculus As we continue to study the re problem, let s think bck to wht we know bout computing res of regions enclosed by curves. If we wnt to find the re of the region below the
More informationf(x)dx . Show that there 1, 0 < x 1 does not exist a differentiable function g : [ 1, 1] R such that g (x) = f(x) for all
3 Definite Integrl 3.1 Introduction In school one comes cross the definition of the integrl of rel vlued function defined on closed nd bounded intervl [, b] between the limits nd b, i.e., f(x)dx s the
More informationAnonymous Math 361: Homework 5. x i = 1 (1 u i )
Anonymous Mth 36: Homewor 5 Rudin. Let I be the set of ll u (u,..., u ) R with u i for ll i; let Q be the set of ll x (x,..., x ) R with x i, x i. (I is the unit cube; Q is the stndrd simplex in R ). Define
More informationMA 124 January 18, Derivatives are. Integrals are.
MA 124 Jnury 18, 2018 Prof PB s oneminute introduction to clculus Derivtives re. Integrls re. In Clculus 1, we lern limits, derivtives, some pplictions of derivtives, indefinite integrls, definite integrls,
More informationComplex variables lecture 5: Complex integration
omplex vribles lecture 5: omplex integrtion HyoSung Ahn School of Mechtronics Gwngju Institute of Science nd Technology (GIST) 1 Oryongdong, Bukgu, Gwngju, Kore Advnced Engineering Mthemtics omplex
More informationMath 113 Fall Final Exam Review. 2. Applications of Integration Chapter 6 including sections and section 6.8
Mth 3 Fll 0 The scope of the finl exm will include: Finl Exm Review. Integrls Chpter 5 including sections 5. 5.7, 5.0. Applictions of Integrtion Chpter 6 including sections 6. 6.5 nd section 6.8 3. Infinite
More informationINDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012
Lecture 6: Line Integrls INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Anlysis Autumn 2012 August 8, 2012 Lecture 6: Line Integrls Lecture 6: Line Integrls Lecture 6: Line Integrls Integrls of complex
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 informationSection 14.3 Arc Length and Curvature
Section 4.3 Arc Length nd Curvture Clculus on Curves in Spce In this section, we ly the foundtions for describing the movement of n object in spce.. Vector Function Bsics In Clc, formul for rc length in
More informationTHE EXISTENCEUNIQUENESS THEOREM FOR FIRSTORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCEUNIQUENESS THEOREM FOR FIRSTORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrdlindeloftheorem/ This document is proof of the existenceuniqueness theorem
More informationdf dt f () b f () a dt
Vector lculus 16.7 tokes Theorem Nme: toke's Theorem is higher dimensionl nlogue to Green's Theorem nd the Fundmentl Theorem of clculus. Why, you sk? Well, let us revisit these theorems. Fundmentl Theorem
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 informationProblem Set 4: Solutions Math 201A: Fall 2016
Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be onetoone, 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 informationMath 554 Integration
Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we
More informationJim Lambers MAT 280 Spring Semester Lecture 26 and 27 Notes
Jim Lmbers MAT 280 pring emester 200910 Lecture 26 nd 27 Notes These notes correspond to ection 8.6 in Mrsden nd Tromb. ifferentil Forms To dte, we hve lerned the following theorems concerning the evlution
More informationThe First Fundamental Theorem of Calculus. If f(x) is continuous on [a, b] and F (x) is any antiderivative. f(x) dx = F (b) F (a).
The Fundmentl Theorems of Clculus Mth 4, Section 0, Spring 009 We now know enough bout definite integrls to give precise formultions of the Fundmentl Theorems of Clculus. We will lso look t some bsic emples
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 informationJim Lambers MAT 280 Spring Semester Lecture 17 Notes. These notes correspond to Section 13.2 in Stewart and Section 7.2 in Marsden and Tromba.
Jim Lmbers MAT 28 Spring Semester 29 Lecture 7 Notes These notes correspond to Section 3.2 in Stewrt nd Section 7.2 in Mrsden nd Tromb. Line Integrls Recll from singlevrible clclus tht if constnt force
More information10 Vector Integral Calculus
Vector Integrl lculus Vector integrl clculus extends integrls s known from clculus to integrls over curves ("line integrls"), surfces ("surfce integrls") nd solids ("volume integrls"). These integrls hve
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 informationMath 1431 Section M TH 4:00 PM 6:00 PM Susan Wheeler Office Hours: Wed 6:00 7:00 PM Online ***NOTE LABS ARE MON AND WED
Mth 43 Section 4839 M TH 4: PM 6: PM Susn Wheeler swheeler@mth.uh.edu Office Hours: Wed 6: 7: PM Online ***NOTE LABS ARE MON AND WED t :3 PM to 3: pm ONLINE Approimting the re under curve given the type
More informationReview on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones.
Mth 20B Integrl Clculus Lecture Review on Integrtion (Secs. 5.  5.3) Remrks on the course. Slide Review: Sec. 5.5.3 Origins of Clculus. Riemnn Sums. New functions from old ones. A mthemticl description
More informationLecture 3: Curves in Calculus. Table of contents
Mth 348 Fll 7 Lecture 3: Curves in Clculus Disclimer. As we hve textook, this lecture note is for guidnce nd supplement only. It should not e relied on when prepring for exms. In this lecture we set up
More informationu(t)dt + i a f(t)dt f(t) dt b f(t) dt (2) With this preliminary step in place, we are ready to define integration on a general curve in C.
Lecture 4 Complex Integrtion MATHGA 2451.001 Complex Vriles 1 Construction 1.1 Integrting complex function over curve in C A nturl wy to construct the integrl of complex function over curve in the complex
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 informationWeek 10: Line Integrals
Week 10: Line Integrls Introduction In this finl week we return to prmetrised curves nd consider integrtion long such curves. We lredy sw this in Week 2 when we integrted long curve to find its length.
More information7.2 The Definite Integral
7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where
More informationChapter 6. Riemann Integral
Introduction to Riemnn integrl Chpter 6. Riemnn Integrl WonKwng Prk Deprtment of Mthemtics, The College of Nturl Sciences Kookmin University Second semester, 2015 1 / 41 Introduction to Riemnn integrl
More informationMAA 4212 Improper Integrals
Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly welldefined, is too restrictive for mny purposes; there re functions which
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 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 informationWe divide the interval [a, b] into subintervals of equal length x = b a n
Arc Length Given curve C defined by function f(x), we wnt to find the length of this curve between nd b. We do this by using process similr to wht we did in defining the Riemnn Sum of definite integrl:
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 informationp(t) dt + i 1 re it ireit dt =
Note: This mteril is contined in Kreyszig, Chpter 13. Complex integrtion We will define integrls of complex functions long curves in C. (This is bit similr to [relvlued] line integrls P dx + Q dy in R2.)
More informationImproper Integrals, and Differential Equations
Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted
More informationLine Integrals. Chapter Definition
hpter 2 Line Integrls 2.1 Definition When we re integrting function of one vrible, we integrte long n intervl on one of the xes. We now generlize this ide by integrting long ny curve in the xyplne. It
More informationI. INTEGRAL THEOREMS. A. Introduction
1 U Deprtment of Physics 301A Mechnics  I. INTEGRAL THEOREM A. Introduction The integrl theorems of mthemticl physics ll hve their origin in the ordinry fundmentl theorem of clculus, i.e. xb x df dx dx
More informationA REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H. Thomas Shores Department of Mathematics University of Nebraska Spring 2007
A REVIEW OF CALCULUS CONCEPTS FOR JDEP 384H Thoms Shores Deprtment of Mthemtics University of Nebrsk Spring 2007 Contents Rtes of Chnge nd Derivtives 1 Dierentils 4 Are nd Integrls 5 Multivrite Clculus
More informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
More informationMath 324 Course Notes: Brief description
Brief description These re notes for Mth 324, n introductory course in Mesure nd Integrtion. Students re dvised to go through ll sections in detil nd ttempt ll problems. These notes will be modified nd
More informationMath& 152 Section Integration by Parts
Mth& 5 Section 7.  Integrtion by Prts Integrtion by prts is rule tht trnsforms the integrl of the product of two functions into other (idelly simpler) integrls. Recll from Clculus I tht given two differentible
More informationConvergence of Fourier Series and Fejer s Theorem. Lee Ricketson
Convergence of Fourier Series nd Fejer s Theorem Lee Ricketson My, 006 Abstrct This pper will ddress the Fourier Series of functions with rbitrry period. We will derive forms of the Dirichlet nd Fejer
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 informationIndefinite Integral. Chapter Integration  reverse of differentiation
Chpter Indefinite Integrl Most of the mthemticl opertions hve inverse opertions. The inverse opertion of differentition is clled integrtion. For exmple, describing process t the given moment knowing the
More informationAPPLICATIONS OF THE DEFINITE INTEGRAL
APPLICATIONS OF THE DEFINITE INTEGRAL. Volume: Slicing, disks nd wshers.. Volumes by Slicing. Suppose solid object hs boundries extending from x =, to x = b, nd tht its crosssection in plne pssing through
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 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 informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 200910 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 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 informationSpace Curves. Recall the parametric equations of a curve in xyplane and compare them with parametric equations of a curve in space.
Clculus 3 Li Vs Spce Curves Recll the prmetric equtions of curve in xyplne nd compre them with prmetric equtions of curve in spce. Prmetric curve in plne x = x(t) y = y(t) Prmetric curve in spce x = x(t)
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 informationMA Handout 2: Notation and Background Concepts from Analysis
MA350059 Hndout 2: Nottion nd Bckground Concepts from Anlysis This hndout summrises some nottion we will use nd lso gives recp of some concepts from other units (MA20023: PDEs nd CM, MA20218: Anlysis 2A,
More informationThe Riemann Integral
Deprtment of Mthemtics King Sud University 20172018 Tble of contents 1 Antiderivtive Function nd Indefinite Integrls 2 3 4 5 Indefinite Integrls & Antiderivtive Function Definition Let f : I R be function
More information(4.1) D r v(t) ω(t, v(t))
1.4. Differentil inequlities. Let D r denote the right hnd derivtive of function. If ω(t, u) is sclr function of the sclrs t, u in some open connected set Ω, we sy tht function v(t), t < b, is solution
More information1 i n x i x i 1. Note that kqk kp k. In addition, if P and Q are partition of [a, b], P Q is finer than both P and Q.
Chpter 6 Integrtion In this chpter we define the integrl. Intuitively, it should be the re under curve. Not surprisingly, fter mny exmples, counter exmples, exceptions, generliztions, the concept of the
More informationLine and Surface Integrals: An Intuitive Understanding
Line nd Surfce Integrls: An Intuitive Understnding Joseph Breen Introduction Multivrible clculus is ll bout bstrcting the ides of differentition nd integrtion from the fmilir single vrible cse to tht of
More informationMath 8 Winter 2015 Applications of Integration
Mth 8 Winter 205 Applictions of Integrtion Here re few importnt pplictions of integrtion. The pplictions you my see on n exm in this course include only the Net Chnge Theorem (which is relly just the Fundmentl
More informationDefinition of Continuity: The function f(x) is continuous at x = a if f(a) exists and lim
Mth 9 Course Summry/Study Guide Fll, 2005 [1] Limits Definition of Limit: We sy tht L is the limit of f(x) s x pproches if f(x) gets closer nd closer to L s x gets closer nd closer to. We write lim f(x)
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 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 informationPrinciples of Real Analysis I Fall VI. Riemann Integration
21355 Principles of Rel Anlysis I Fll 2004 A. Definitions VI. Riemnn Integrtion Let, b R with < b be given. By prtition of [, b] we men finite set P [, b] with, b P. The set of ll prtitions of [, b] will
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 informationFINAL REVIEW. 1. Vector Fields, Work, and Flux Suggested Problems:
FINAL EVIEW 1. Vector Fields, Work, nd Flux uggested Problems: { 14.1 7, 13, 16 14.2 17, 25, 27, 29, 36, 45 We dene vector eld F (x, y) to be vector vlued function tht mps ech point in the plne to two
More informationStuff You Need to Know From Calculus
Stuff You Need to Know From Clculus For the first time in the semester, the stuff we re doing is finlly going to look like clculus (with vector slnt, of course). This mens tht in order to succeed, you
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 informationComplex integration. L3: Cauchy s Theory.
MM Vercelli. L3: Cuchy s Theory. Contents: Complex integrtion. The Cuchy s integrls theorems. Singulrities. The residue theorem. Evlution of definite integrls. Appendix: Fundmentl theorem of lgebr. Discussions
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 informationChapters 4 & 5 Integrals & Applications
Contents Chpters 4 & 5 Integrls & Applictions Motivtion to Chpters 4 & 5 2 Chpter 4 3 Ares nd Distnces 3. VIDEO  Ares Under Functions............................................ 3.2 VIDEO  Applictions
More informationProperties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives
Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums  1 Riemnn
More informationIntegration Techniques
Integrtion Techniques. Integrtion of Trigonometric Functions Exmple. Evlute cos x. Recll tht cos x = cos x. Hence, cos x Exmple. Evlute = ( + cos x) = (x + sin x) + C = x + 4 sin x + C. cos 3 x. Let u
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 32B Discussion Session Session 7 Notes August 28, 2018
Mth 32B iscussion ession ession 7 Notes August 28, 28 In tody s discussion we ll tlk bout surfce integrls both of sclr functions nd of vector fields nd we ll try to relte these to the mny other integrls
More information4402 Geometry/Topology: Differentiable Manifolds Northwestern University Solutions of Practice Problems for Final Exam
4402 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 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 informationOverview of Calculus I
Overview of Clculus I Prof. Jim Swift Northern Arizon University There re three key concepts in clculus: The limit, the derivtive, nd the integrl. You need to understnd the definitions of these three things,
More information7.2 Riemann Integrable Functions
7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous
More information4. Calculus of Variations
4. Clculus of Vritions Introduction  Typicl Problems The clculus of vritions generlises the theory of mxim nd minim. Exmple (): Shortest distnce between two points. On given surfce (e.g. plne), nd the
More informationDefinite integral. Mathematics FRDIS MENDELU
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová Brno 1 Motivtion  re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function defined on [, b]. Wht is the re of the
More information0.1 Properties of regulated functions and their Integrals.
MA244 Anlysis III Solutions. Sheet 2. NB. THESE ARE SKELETON SOLUTIONS, USE WISELY!. Properties of regulted functions nd their Integrls.. (Q.) Pick ny ɛ >. As f, g re regulted, there exist φ, ψ S[, b]:
More informationIntroduction to the Calculus of Variations
Introduction to the Clculus of Vritions Jim Fischer Mrch 20, 1999 Abstrct This is selfcontined pper which introduces fundmentl problem in the clculus of vritions, the problem of finding extreme vlues
More informationDefinite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30
Definite integrl Mthemtics FRDIS MENDELU Simon Fišnrová (Mendel University) Definite integrl MENDELU / Motivtion  re under curve Suppose, for simplicity, tht y = f(x) is nonnegtive nd continuous function
More informationMATH , Calculus 2, Fall 2018
MATH 362, 363 Clculus 2, Fll 28 The FUNdmentl Theorem of Clculus Sections 5.4 nd 5.5 This worksheet focuses on the most importnt theorem in clculus. In fct, the Fundmentl Theorem of Clculus (FTC is rgubly
More information1 The fundamental theorems of calculus.
The fundmentl theorems of clculus. The fundmentl theorems of clculus. Evluting definite integrls. The indefinite integrl new nme for ntiderivtive. Differentiting integrls. Tody we provide the connection
More information5.5 The Substitution Rule
5.5 The Substitution Rule Given the usefulness of the Fundmentl Theorem, we wnt some helpful methods for finding ntiderivtives. At the moment, if n ntiderivtive is not esily recognizble, then we re in
More informationLecture 1: Introduction to integration theory and bounded variation
Lecture 1: Introduction to integrtion theory nd bounded vrition Wht is this course bout? Integrtion theory. The first question you might hve is why there is nything you need to lern bout integrtion. You
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 informationCalculus in R. Chapter Di erentiation
Chpter 3 Clculus in R 3.1 Di erentition Definition 3.1. Suppose U R is open. A function f : U! R is di erentible t x 2 U if there exists number m such tht lim y!0 pple f(x + y) f(x) my y =0. If f is di
More information