II. Integration and Cauchy s Theorem


 Donna Berry
 3 years ago
 Views:
Transcription
1 MTH6111 Complex Anlysis 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. We follow Priestley s terminology. Definitions let U be n open set in C. A curve in C is continuous function : [, β] U, where [, β] is closed intervl in R. The imge of is = {(t) : t [, β]} U. Two curves 1 : [ 1, β 1 ] U nd 2 : [ 2, β 2 ] U cn be joined if 1 (β 1 ) = 2 ( 1 ). If this condition is stisfied we cn reprmetrize 2 s 2 : [β 1, β 1 + β 2 2 ] U by setting 2 (t) = 2 (t + 2 β 1 ) nd define the join of 1 nd 2 to be the pth : [ 1, β 1 + β 2 2 ] U which sends t 1 (t) if t [ 1, β 1 ] nd t 2 (t) if t [β 1, β 1 + β 2 2 ]. is smooth if it is C 1 (tht is, differentible, with its derivtive continuous). A pth is the join of finitely mny smooth curves (tht is, it is piecewise C 1 ). A complexvlued function on rel intervl [, β] cn be written g = Re(g) + iim(g). We sy tht g is integrble if ech of the rel functions Re(g) nd Im(g) re integrble, nd we define: g = Reg(g) + i Im(g) We ssume the definition of rel integrl nd stndrd properties. In prticulr, if f : [, β] R is continuous, then f is integrble on [, β], nd if f 1 nd f 2 re continuous functions [, β] R then (f 1 + f 2 ) = f 1 + f 2. If : [, β] C is pth, so there exist points = t 0 < t 1 <... < t n = β such tht is smooth on ech [t j, t j+1 ], nd if f : C is continuous, we define n 1 f(z)dz = j=0 tj+1 t j f((t)) (t)dt In prticulr, if is C 1 we set f(z)dz = f((t)) (t)dt 1
2 1.1 Lemm If : [, β] C is pth nd f : C is continuous, then: (i) f(z)dz = f(z)dz, where ( )(t) = ( + β t) for t [, β]. (ii) If is the join of 1 nd 2 then f = 1 f + 2 f. (iii) Let = ψ, where ψ is C 1 function [, β] [, β] with ψ (t) > 0 for ll t [, β] (tht is, is reprmetriztion of ), then f(z)dz = f(z)dz. Proof (i) ( ) (t) = ( + β t), so f(z)dz = f(( + β t)) ( + β t)dt = (where s = + β t). s= s=β f((s)) (s)( ds) = f((s) (s)ds (ii) is immedite from the property of rel integrls tht c = b + c if < b < c. b (iii) f(z)dz = β f( (t)) (t)dt = β f((ψ(t))) (ψ(t))ψ (t)dt = f((s)) (s)ds = f(z)dz (where s = ψ(t)). Note tht (iii) tells us the integrl depends only on, not on the prticulr prmetriztion of the pth. In fct we could define f(z)dz to be the limit of the sum n f(z j )(z j z j 1 ) 1 over finer nd finer prtitions () = z 0 < z 1 <... < z n = (β) of. Now setting z = (t), so tht dz = (t)dt, we see tht this new definition grees with f((t)) (t)dt. We choose the ltter s our definition of f(z)dz for this course becuse we lwys compute pth integrls using this formul, nd it lso llows us to pply the theory of integrls of rel functions without hving to reprove everything from the beginning for complex functions. Exmple Let : [0, 2π] C be defined by (t) = + re it. This is pth which goes once nticlockwise round circle with centre nd rdius r. We denote this pth by C(, r). Then (z ) n dz = 2π r n e int rie it dt = 2π C(,r) 0 0 which is esily computed to be 0 if n 1 nd to be 2πi if n = 1. ir n+1 e (n+1)it dt 2
3 2. The fundmentl theorem of clculus In rel nlysis, this is the theorem tht integrtion is the opposite of differentition, tht is (i) If F is differentible then b F (x)dx = F (b) F (). (ii) If f is continuous then F (x) = x f(t)dt is differentioble, nd F (x) = f(x). In the complex cse we hve n nlogue of (i): 2.1 Fundmentl theorem of clculus Let be pth [, β] C, nd let F : U C be holomorphic, where U is n open set contining. Then F (z)dz = F ((b)) F (()) In prticulr, if is closed pth (this mens () = (β)) then F (z)dz = 0. Proof If we cn prove the result when is smooth, we cn deduce it for the cse tht is piecewise smooth, for then we just prtition [, β] up into = t 0 < t 1 <... < t n = β with smooth on ech [t j, t j+1 ], observe tht t j+1 t j F (z)dz = F ((t j+1 )) F ((t j )) by the result for smooth pths, nd dd up. So suppose is smooth. F (z)dz = F ((t)) (t)dt = (F ) (t)dt = Re(F ) (t)dt + i Im(F ) (t)dt = [Re(F )(t) + iim(f )(t)] β (by the fundmentl theorem of clculus for rel functions) = F ((β)) F (()) It is not so esy to formulte complex nlogue of prt(ii) of the fundmentl theorem of clculus for rel functions. The problem is tht z f(z)dz will in generl depend on the pth chosen in C between the points nd z. However Cuchy s Theorem will tell us tht if f is holomorphic then ny two pths from to z which re homotopic to one nother (in other words ech cn be deformed to the other) give the sme vlue for this integrl. 3. Lengths nd the estimtion lemm Definition The length of the pth [, β] C is defined to be Length() = (t) dt 3
4 Exmples (see exercise sheet) The length of the stright line pth from z 0 to z 1 is z 1 z 0. The length of C (,r) is 2πr. The length of pth is unchnged by reprmetriztion of the pth. 3.1 Estimtion Lemm Let f : U C be continuous (where U is some subset of C), let be pth in U, nd suppose f(z) < M for ll z. Then f(z)dz ML. Proof We first prove tht for relvlued functions u nd v of t R, ( ) b (u(t) + iv(t))dt To prove this, write b (u(t) + iv(t))dt = Reiφ. Then b b (u(t) + iv(t))dt = e iφ (u(t) + iv(t))dt = b b u(t) + iv(t) dt e iφ (u(t) + iv(t))dt = b Re(e iφ (u(t) + iv(t))dt (since the lefthnd side is rel number nd by definition g = Re(g) + i Im(g) for ny g : R C) b e iφ (u(t) + iv(t)) dt (since Re(z) z for ny z C) = b u(t) + iv(t) dt Now, pplying (*) to f = f((t)) (t)dt, we hve f b f((t)) (t) dt = f((t)). (t) dt M (t) dt = ML. We shll use the Estimtion Lemm mny times in this course. As first exmple we investigte when we cn integrte power series term by term (recll we hve lredy proved we cn differnetite term by term if the series is bsolutely convergent). A sequence (F n ) n 0 of continuous complexvlued functions on some subset S C is sid to converge uniformly on S to function F : S C if given ny ɛ > 0 there exists n N such tht n > N, z S, F (z) F n (z) < ɛ. Another wy to sy this is tht sup z S F (z) F n (z) tends to zero s n tends to. 4
5 3.2 Proposition Let be pth in U C nd (f n ) n 0 be sequence of continuous functions U C such tht n=0 f n converges uniformly on to function F. Then ( f n ) = f n n=0 n=0 Proof Let F n = n j=0 f j. Then sying tht the series n=0 f n converges uniformly on to F mens tht the sequence (F n ) n 0 converges uniformly on to F, in other words tht So F n j=0 f j = F sup z F (z) F n (z) 0 s n. n j=0 which tends to zero s n tends to infinity. Thus F = lim f j = (F F n ) L( ).sup z F (z) F n (z) n n j=0 f j In prctice, we test for uniform convergence using the following criterion: 3.3 Weierstrss Mtest Let (f n ) n 0 be complexvlued functions defined on S C, nd suppose for ech n there exists positive rel number M n such tht sup z S f n (z) M n. If n=0 M n is convergent, then n=0 f n is uniformly convergent on S. Proof We omit the proof, but it s not hrd, nd cn be found in mny textbooks. 3.4 Proposition Let n=0 nz n hve rdius of convergence R > 0. Then for every r with 0 < r < R the series is uniformly convergent on the closed disc D(0, r). Proof For ny z D(0, r), we hve n z n n r n. Since n=0 nr n is convergent (s r < R) the result now follows by the Mtest. 3.5 Corollry n=0 nz n is uniformly convergent on ny compct subset S of D(0, R). Proof z z is continuous function, so, since S is compct, sup z S z is ttined by some z S. Therefore sup z S z < R. Thus S D(0, r) for some r < R. The result now follows from 3, Corollry 0 nz n = 0 nz n for ny pth in D(0, R), where R is the rdius of convergence of the power series. Proof is compct, since [, β] is compct nd is continuous. The result now follows from 3.5 nd
6 4. Cuchy s Theorem Cuchy s Theorem for tringle If f is holomorphic inside nd on tringle then f(z)dz = 0. Proof Let be the (nticlockwise) tringle with vertice u, v, w nd let f(z)dz = I Subdivide the tringle into four smller tringles 0, 1, 2, 3 by tking new vertices u, v, w the midpoints of the edges of the tringle uvw. Orient ech j in n nticlockwise sense. Then f + f + f + f = f = I since the integrls long internl edges cncel. So t lest one of the smll tringles, cll it 1, hs f I Subdivide 1 by tking the midpoints of its edges, nd repet the procedure we just pplied to. Inductively we obtin sequence of tringles = 0, 1, 2,... such tht (i) for ech n, n+1 n, where n is the closed tringulr region hving n s its boundry. (ii) length( n )= 2 n L, where L =length(). (iii) n f 4 n I. The intersection n=0 n contins point z = (to prove this tke ny point z n in ech n : then (z n ) n 0 is Cuchy sequence nd so it hs limit, but the n s re closed so this limit is in ll of them). The function f is holomorphic, so it is differentible t z = nd hence given ny ɛ > 0 there exists δ > 0 such tht tht is, f(z) f() f () < ɛ z D(, δ) z (1) f(z) f() (z )f () < ɛ z z D(, δ) Now choose N such tht N Note tht D(, δ) (certinly possible s the n s get smller s n tends to ). (2) z 2 N L z N 6
7 We lso know tht (3) N (f() + (z )f ())dz = 0 by the fundmentl theorem of clculus (since the integrnd is polynomil of degree one in z nd therefore hs n ntiderivtive). Putting (1) nd (2) together we see tht (4) sup f(z) f() (z )f () < ɛ2 N z N nd so from (3) we get f(z)dz = N (f(z) f() (z )f ())dz ɛ2 N L length( N ) = ɛ(2 N L) 2 = ɛ4 N L 2 N But now from (iii) we deduce tht I < ɛl 2. Finlly, since ɛ is rbitrry nd I does not depend on ɛ, we deduce tht I = 0. A subset S C is clled convex if given ny two points nd b in S the line segment [, b] is contined in S, where 4.2 Theorem (Existence of Antiderivtives) [, b] = {tb + (1 t) : t R, 0 t 1} Let U be convex open subset of C nd let f be holomorphic on U. Then there exists holomorphic function F on U such tht F = f. Proof Choose point U, nd for ech z U define F (z) = f(w)dw We must prove F is differentible, with derivtive f. Given ny z U, z + h is lso in U for h sufficiently smll (s U is open). By 4.1, F (z + h) F (z) = f(w)dw So F (z + h) F (z) h [,z] = 1 h f(w)dw By continuity of f, given ɛ > 0 there exists δ > 0 such tht f(w) f(z) < ɛ whenever w z < δ. So for h < δ we hve (f(w) f(z))dw < ɛ. h 7
8 by the Estimtion Lemm. Since f(z) is constnt when we integrte with respect to w, by the fundmentl theorem of clculus we know tht f(z)dw = f(z) 1dw = f(z).[w] z+h z so the inequlity t the bottom of the previous pge gives us f(w)dw f(z).h < ɛ. h tht is, F (z + h) F (z) f(z) < ɛ h = f(z).h whenever h < δ. In other words F is differentible t z, with derivtive f(z).. Comment The theorem bove is the nerest nlogue tht we hve for complex functions of prt (ii) of the fundmentl theorem of clculus for rel functions. 4.3 Corollry (Cuchy s Theorem for convex region) Let U be n open convex subset of C nd f be holomorphic on U. Then f(z)dz = 0 for every closed pth in U (where : [, β] U is sid to be closed pth if () = (β)). Proof By 4.2 f hs n ntiderivtive F. f(z)dz = F ((β)) F (()) = 0. Now by the fundmentl theorem of clculus 2.1 we hve Finlly in this section, we consider (without proof) some more generl forms of Cuchy s Theorem. We shll use vrious of these sttements in the next section nd lter in the course. Definition A simple closed curve is continuous : [, β] C with () = (β) but with no other pirs of distinct t, t such tht (t) = (t ). The Jordn Curve Theorem sttes tht if is simple closed curve then C \ is the disjoint union of two open sets, I(), the inside (which is bounded), nd O(), the outside (which is unbounded). Comment In fct the Theorem sys more bout O() nd I(), for exmple tht they both re connected sets, nd tht there is continuous bijection between O() nd the open unit disc. The Jordn Curve Theorem is fmously hrd to prove correctly: most proofs use complex nlysis or lgebric topology. 4.4 Cuchy s theorem for simple closed pth If f is holomorphic everywhere on nd inside simple closed pth, then f(z)dz = 0. Definition Two closed curves 0 : [0, 1] U C nd 1 : [0, 1] U C re sid to be homotopic if 0 cn be continuously deformed to 1 through fmily of closed curves s in U. More precisely if there 8
9 exists continuous function H : [0, 1] [0, 1] U such tht H(0, t) = 0 (t) t [0, 1] H(1, t) = 1 (t) t [0, 1] H(s, 0) = H(s, 1) s [0, 1] (Then for ech s [0, 1], s : [0, 1] U is the closed curve defined by s (t) = H(s, t).) Two pths 0 : [0, 1] U C nd 1 : [0, 1] U C between the sme pir of points nd b re sid to be homotopic reltive to their end points if one cn be deformed to the other keeping their endpoints fixed, tht is, if there exists continuous function H : [0, 1] [0, 1] U such tht H(0, t) = 0 (t) t [0, 1] H(1, t) = 1 (t) t [0, 1] H(s, 0) = nd H(s, 1) = b s [0, 1] 4.5 Deformtion Principle (i) If 0 nd 1 re homotopic closed pths in U nd f is holomorphic on U then 1 f(z)dz = 2 f(z)dz. (ii) If 1 nd 2 re pths in U between the sme points nd b which re homotopic in U reltive to their end points, nd f is holomorphic on U, then 1 f(z)dz = 2 f(z)dz. An open set U C is clled pthconnected if every pir of points in U cn be joined by some curve in U. It is clled simplyconnected if it is pthconnected nd every closed curve in U is homotopic to constnt curve [, β] {point}. 4.6 Cuchy s Theorem for simplyconnected regions If f is holomorphic on simplyconnected region U then f(z)dz = 0 for every closed pth in U. Comment Theorem 4.6 generlises 4.3 from convex region to ny simplyconnected region. 4.7 Cuchy s Theorem for multiplyconnected region If is simple closed pth, nd 1,..., n re disjoint simple closed pths in the interior of, such tht the interiors of 1,..., n re disjoint, then if f is holomorphic on, nd on 1,..., n, nd on the region between nd 1... n, we hve f(z)dz = f(z)dz f(z)dz 1 n (provided nd 1,..., n re ll prmetrized in the the sme direction e.g. positively, tht is, nticlockwise.) 9
The 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 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 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 informationMath Advanced Calculus II
Mth 452  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
More informationMATH 185: COMPLEX ANALYSIS FALL 2009/10 PROBLEM SET 5 SOLUTIONS. cos t cos at dt + i
MATH 85: COMPLEX ANALYSIS FALL 9/ PROBLEM SET 5 SOLUTIONS. Let R nd z C. () Evlute the following integrls Solution. Since e it cos t nd For the first integrl, we hve e it cos t cos t cos t + i t + i. sin
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 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 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 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 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 informationPhil Wertheimer UMD Math Qualifying Exam Solutions Analysis  January, 2015
Problem 1 Let m denote the Lebesgue mesure restricted to the compct intervl [, b]. () Prove tht function f defined on the compct intervl [, b] is Lipschitz if nd only if there is constct c nd function
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 information11 An introduction to Riemann Integration
11 An introduction to Riemnn Integrtion The PROOFS of the stndrd lemms nd theorems concerning the Riemnn Integrl re NEB, nd you will not be sked to reproduce proofs of these in full in the exmintion in
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 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 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 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 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 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 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 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 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 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 informationThe HenstockKurzweil integral
fculteit Wiskunde en Ntuurwetenschppen The HenstockKurzweil integrl Bchelorthesis Mthemtics June 2014 Student: E. vn Dijk First supervisor: Dr. A.E. Sterk Second supervisor: Prof. dr. A. vn der Schft
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 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 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 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 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 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 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 informationIMPORTANT THEOREMS CHEAT SHEET
IMPORTANT THEOREMS CHEAT SHEET BY DOUGLAS DANE Howdy, I m Bronson s dog Dougls. Bronson is still complining bout the textbook so I thought if I kept list of the importnt results for you, he might stop.
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 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 informationEuler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )
Euler, Iochimescu nd the trpezium rule G.J.O. Jmeson (Mth. Gzette 96 (0), 36 4) The following results were estblished in recent Gzette rticle [, Theorems, 3, 4]. Given > 0 nd 0 < s
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 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 informationTHE FUNDAMENTAL THEOREMS OF FUNCTION THEORY
THE FUNDAMENTAL THEOREMS OF FUNCTION THEORY TSOGTGEREL GANTUMUR Contents 1. Contour integrtion 1 2. Gourst s theorem 5 3. Locl integrbility 6 4. Cuchy s theorem for homotopic loops 7 5. Evlution of rel
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 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 informationFundamental Theorem of Calculus
Fundmentl Theorem of Clculus Recll tht if f is nonnegtive nd continuous on [, ], then the re under its grph etween nd is the definite integrl A= f() d Now, for in the intervl [, ], let A() e the re under
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 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 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 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 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 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 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 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 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 informationFor a continuous function f : [a; b]! R we wish to define the Riemann integral
Supplementry Notes for MM509 Topology II 2. The Riemnn Integrl Andrew Swnn For continuous function f : [; b]! R we wish to define the Riemnn integrl R b f (x) dx nd estblish some of its properties. This
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. emil: cosv@mt.cs.unibuc.ro A PROOF OF THE FUNDAMENTAL
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 informationMATH 311: COMPLEX ANALYSIS INTEGRATION LECTURE
MATH 311: COMPLEX ANALYSIS INTEGRATION LECTURE Contents 1. Introduction 1 2. A frreching little integrl 4 3. Invrince of the complex integrl 5 4. The bsic complex integrl estimte 6 5. Comptibility 8 6.
More informationThe final exam will take place on Friday May 11th from 8am 11am in Evans room 60.
Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23
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 informationA BRIEF INTRODUCTION TO UNIFORM CONVERGENCE. In the study of Fourier series, several questions arise naturally, such as: c n e int
A BRIEF INTRODUCTION TO UNIFORM CONVERGENCE HANS RINGSTRÖM. Questions nd exmples In the study of Fourier series, severl questions rise nturlly, such s: () (2) re there conditions on c n, n Z, which ensure
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 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 informationSYDE 112, LECTURES 3 & 4: The Fundamental Theorem of Calculus
SYDE 112, LECTURES & 4: The Fundmentl Theorem of Clculus So fr we hve introduced two new concepts in this course: ntidifferentition nd Riemnn sums. It turns out tht these quntities re relted, but it is
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 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 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 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 informationPresentation Problems 5
Presenttion Problems 5 21355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).
More informationa < a+ x < a+2 x < < a+n x = b, n A i n f(x i ) x. i=1 i=1
Mth 33 Volume Stewrt 5.2 Geometry of integrls. In this section, we will lern how to compute volumes using integrls defined by slice nlysis. First, we recll from Clculus I how to compute res. Given the
More informationarxiv: v1 [math.ca] 11 Jul 2011
rxiv:1107.1996v1 [mth.ca] 11 Jul 2011 Existence nd computtion of Riemnn Stieltjes integrls through Riemnn integrls July, 2011 Rodrigo López Pouso Deprtmento de Análise Mtemátic Fcultde de Mtemátics, Universidde
More informationNote 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 informationSections 5.2: The Definite Integral
Sections 5.2: The Definite Integrl In this section we shll formlize the ides from the lst section to functions in generl. We strt with forml definition.. The Definite Integrl Definition.. Suppose f(x)
More informationDefinite Integrals. The area under a curve can be approximated by adding up the areas of rectangles = 1 1 +
Definite Integrls 5 The re under curve cn e pproximted y dding up the res of rectngles. Exmple. Approximte the re under y = from x = to x = using equl suintervls nd + x evluting the function t the lefthnd
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 information63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1
3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =
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 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 informationCalculus II: Integrations and Series
Clculus II: Integrtions nd Series August 7, 200 Integrls Suppose we hve generl function y = f(x) For simplicity, let f(x) > 0 nd f(x) continuous Denote F (x) = re under the grph of f in the intervl [,x]
More informationc n φ n (x), 0 < x < L, (1) n=1
SECTION : Fourier Series. MATH4. In section 4, we will study method clled Seprtion of Vribles for finding exct solutions to certin clss of prtil differentil equtions (PDEs. To do this, it will be necessry
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 information1 Error Analysis of Simple Rules for Numerical Integration
cs41: introduction to numericl nlysis 11/16/10 Lecture 19: Numericl Integrtion II Instructor: Professor Amos Ron Scries: Mrk Cowlishw, Nthnel Fillmore 1 Error Anlysis of Simple Rules for Numericl Integrtion
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 informationLECTURE. INTEGRATION AND ANTIDERIVATIVE.
ANALYSIS FOR HIGH SCHOOL TEACHERS LECTURE. INTEGRATION AND ANTIDERIVATIVE. ROTHSCHILD CAESARIA COURSE, 2015/6 1. Integrtion Historiclly, it ws the problem of computing res nd volumes, tht triggered development
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 informationExam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH1105 Instructor: Attila Máté 1
Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixedpoint itertion to converge when solving the eqution
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 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 information1.3 The Lemma of DuBoisReymond
28 CHAPTER 1. INDIRECT METHODS 1.3 The Lemm of DuBoisReymond We needed extr regulrity to integrte by prts nd obtin the Euler Lgrnge eqution. The following result shows tht, t lest sometimes, the extr
More informationImproper Integrals. The First Fundamental Theorem of Calculus, as we ve discussed in class, goes as follows:
Improper Integrls The First Fundmentl Theorem of Clculus, s we ve discussed in clss, goes s follows: If f is continuous on the intervl [, ] nd F is function for which F t = ft, then ftdt = F F. An integrl
More informationCalculus of Variations: The Direct Approach
Clculus of Vritions: The Direct Approch Lecture by Andrejs Treibergs, Notes by Bryn Wilson June 7, 2010 The originl lecture slides re vilble online t: http://www.mth.uth.edu/~treiberg/directmethodslides.pdf
More information4.4 Areas, Integrals and Antiderivatives
. res, integrls nd ntiderivtives 333. Ares, Integrls nd Antiderivtives This section explores properties of functions defined s res nd exmines some connections mong res, integrls nd ntiderivtives. In order
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 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 HENSTOCKKURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When relvlued
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 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 informationWeek 10: Riemann integral and its properties
Clculus nd Liner Algebr for Biomedicl Engineering Week 10: Riemnn integrl nd its properties H. Führ, Lehrstuhl A für Mthemtik, RWTH Achen, WS 07 Motivtion: Computing flow from flow rtes 1 We observe the
More informationPiecewise Continuous φ
Piecewise Continuous φ φ is piecewise continuous on [, b] if nd only if b in R nd φ : [, b] C There is finite set S [, b] such tht, for ll t [, b] S, φ is continuous t t: φ(t) = lim φ(u) u t u [,b] For
More informationMath 118: Honours Calculus II Winter, 2005 List of Theorems. L(P, f) U(Q, f). f exists for each ǫ > 0 there exists a partition P of [a, b] such that
Mth 118: Honours Clculus II Winter, 2005 List of Theorems Lemm 5.1 (Prtition Refinement): If P nd Q re prtitions of [, b] such tht Q P, then L(P, f) L(Q, f) U(Q, f) U(P, f). Lemm 5.2 (Upper Sums Bound
More informationMain topics for the First Midterm
Min topics for the First Midterm The Midterm will cover Section 1.8, Chpters 23, Sections 4.14.8, nd Sections 5.15.3 (essentilly ll of the mteril covered in clss). Be sure to know the results of the
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 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 informationCalculus III Review Sheet
Clculus III Review Sheet 1 Definitions 1.1 Functions A function is f is incresing on n intervl if x y implies f(x) f(y), nd decresing if x y implies f(x) f(y). It is clled monotonic if it is either incresing
More information