and V 3 (1)f (1) V 3 ( 1)f ( 1) + V 2n (1)f 2n 1 (1) V 2n ( 1)f 2n 1 ( 1) dxv 2n (x) f 2n (x)
|
|
- Augusta Ward
- 6 years ago
- Views:
Transcription
1 MASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Deprtment 8.33: Reltivistic Quntum Field Theory I Prof.Aln Guth Mrch, 8 LECTURE NOTES NOTES ON THE EULER-MACLAURIN SUMMATION FORMULA These notes re intended to supplement the Csimir effect problem of Problem Set 3 (8).Tht clcultion depended crucilly on the Euler-Mclurin summtion formul, which ws stted without derivtion.here I will give self-contined derivtion of the Euler-Mclurin formul.for pedgogicl resons I will first derive the formul without ny reference to Bernoulli numbers, nd fterwrd I will show tht the nswer cn be expressed in terms of these numbers.an explicit expression will be obtined for the reminder tht survives fter finite number of terms in the series re summed, nd in n optionl ppendix I will show how to simplify this reminder to obtin the form given by Abrmowitz nd Stegun. The Euler-Mclurin formul reltes the sum of function evluted t evenly spced points to the corresponding integrl pproximtion, providing systemtic method of clculting corrections in terms of the derivtives of the function evluted t the endpoints.consider first function defined on the intervl x, for which we cn imgine pproximting the sum of f() + f() by the integrl of the function over the intervl: f() + f() = dxf(x)+r, () where R represents correction term tht we wnt to understnd.one cn find n exct expression for R by pplying n integrtion by prts to the integrl: so dxf(x) =f() + f() dxxf (x), () R = where prime denotes derivtive with respect to x. dxxf (x), (3) 8.33 LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p.. Expnsion by successive integrtions by prts: We wnt n pproximtion tht is useful for smooth functions f(x), nd smooth function is one for which the higher derivtives tend to be smll.therefore, if we cn extrct more terms in wy tht leves reminder term tht depends only on high derivtives of the function, then we hve mde progress.this cn be ccomplished by successively integrting by prts, ech time differentiting f(x) nd integrting the function tht multiplies it.we cn define set of functions nd V (x),v (x) x, (4) V n (x) dxv n (x). (5) Eq.(5) is not quite well-defined, however, becuse ech indefinite integrl is defined only up to n rbitrry constnt of integrtion.regrdless of how these constnts of integrtion re chosen, however, one cn rewrite Eq.() by using Eq.(3) nd then successively integrting by prts: f()+f() = = = = dxf(x)+ dxv (x) f (x) dxf(x)+v ()f () V ()f () dxf(x)+ V ()f () V ()f () V 3 ()f () V 3 ()f () dxv (x) f (x) + V 4 ()f () V 4 ()f () V n ()f n () V n ()f n () dxv n (x) f n (x) dxf(x)+ n l= () l V l () f l () V l () f l () dxv n (x) f n (x), where f n (x) denotes the n th derivtive of f with respect to x. (6)
2 8.33 LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p. 3. Elimintion of the odd l contributions: Eq.(6) is vlid for ny choice of integrtion constnts in Eq.(5), so we cn seek choice tht simplifies the result.note tht V (x) is odd under x x.we cn therefore choose the integrtion constnts so tht { Vn (x) if n is even V n (x) = (7) V n (x) if n is odd. This even/odd requirement uniquely fixes the integrtion constnt in Eq.(5) when n is odd, becuse the sum of n odd function nd constnt would no longer be odd.we re still free, however, to choose the integrtion constnts when n is even. Using the even/odd property, Eq.(6) cn be simplified to f() + f() = dxf(x)+ n l= () l V l () f l () () l f l () dxv n (x) f n (x). Note tht the terms in V l () for even l involve the difference of f l t the two endpoints, while the terms for odd l involve the sum.eq.(8) describes single intervl, however, nd our gol is to obtin formul vlid for ny number of intervls.we will do this by first generlizing Eq.(8) to pply to n rbitrry intervl x +h, nd then pplying it to ech intervl in succession of evenly spced intervls.when this succession is summed, the even l terms involving the differences of the endpoints will cncel t ech interior point, but the odd l terms will dd.the odd l terms cn therefore mke considerbly more complicted contribution to the nswer, but we cn force them to vnish by using the remining freedom in the choice of integrtion constnts.when n is even in Eq.(5), we choose the integrtion constnt so tht (8) 8.33 LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p. 4 s desired. The V n s re now uniquely defined.in our construction we used the ntisymmetry property of Eq.(5) to fix the constnt of integrtion for odd n, nd the vnishing of the integrl in Eq.(9) to fix the integrtion constnt for even n.eq.(9), however, holds lso for odd n, nd is sufficient to fix the integrtion constnt for the odd n cses.the functions V n (x) cn therefore be defined succinctly by V (x), V n (x) dxv n (x), nd () (b) dxv n (x) (for n>). (c) We cn use these properties to build tble for the lowest vlues of n: n V n (x) V n () V (x) = V (x) =x V (x) = x 6 3 V 3 (x) = x3 6 x 6 3 (3) dxv n (x). (9) Eq.(9) is lwys true for odd functions, so it is true for ll n>.it then follows for ll n>tht V n () V n () = If n is odd then Eq.(7) implies tht V n () = V n (), nd so dxv n (x) =. () 4 V 4 (x) = x4 4 x V 5 (x) = x5 x x 36 6 V 6 (x) = x6 7 x x V n () = V n () = for ll odd n>, () Eq.() gurntees tht only the even-l terms contribute to Eq.(8), so we cn
3 8.33 LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p. 5 set l =k nd rewrite Eq.(8) s 8.33 LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p. 6 (6) for ech intervl of size h, one hs f() + f() = dxf(x)+ n k= dxv n (x) f n (x). 3. Appliction to n rbitrry intervl: V k () f k () f k () (4) m f( + kh) = h + b n k= ( h dxf(x)+ f()+f(b) ( ) k h V k() f k (b) f k () ) n +h ( ) m dxv n h (x ) f n (x + kh). To pply Eq.(4) to n rbitrry intervl <x<+ h, one needs only to chnge vribles.let f(x) = f( x), where x =(x +) h +. (5) Rewriting Eq.(4) in terms of f( x), while dividing the whole eqution by for lter convenience, one hs +h f()+ f( + h) = d x h f( x) + n ( ) k h V k() f k ( + h) f () k k= ( ) n h +h ( ) d xv n h ( x ) f n ( x), where f n ( x) denotes the n th derivtive of f with respect to its rgument x.now tht the originl f nd x hve been eliminted, we cn drop the tilde superscripts tht pper in Eq.(6). 4. Appliction to n rbitrry sum of intervls: The problem cn now be completed by extending Eq.(6) to n intervl < x<b, divided into m steps of size h =(b )/m.adding n expression of the form (6) (7) Note tht when one dds up the left-hnd sides of the expressions of the form (6), ll the terms hve coefficient except for the first nd lst term, ech of which hve coefficient.in Eq.(7), the sum is written with ll terms hving coefficient, nd the correction for the first nd lst term hs been moved to the right-hnd side. For ll prcticl purposes, including the ppliction to the Csimir effect in Problem Set 4, Eq.(7) is ll tht is necessry.for the Csimir ppliction =, b =, ndh =, so Eq.(7) becomes f(k) = dxf(x)+ f() f () + 7 f () 3, 4 f () On the problem set the sum on the left strted t insted of, so the coefficient of f()ontherightws insted of.(note tht the coefficient of the f() term ws printed incorrectly in Hung s book nd in 8.33 problem sets from some yers before 3.) Before leving the subject, however, one might wnt to estblish the connection between Eq.(7) nd the usul expression of the Euler-Mclurin formul in terms of Bernoulli numbers, nd one might wish to find clener wy to express the finl term of Eq.(7), often clled the reminder term. One normlly does not evlute this term, but one wnts to use it to rgue tht the reminder is smll. (8)
4 8.33 LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p Connection to the Bernoulli numbers: The Euler-Mclurin summtion formul is stted in Abrmowitz nd Stegun,* herefter clled A&S, s follows: Let F (x) hveitsfirstn derivtives continuous on n intervl (, b). Divide the intervl into m equl prts nd let h =(b )/m.then for some θ, >θ>, depending on F (n) (x) on(, b), we hve n B n (x) B n = B n () B (x) = B (x) =x m F ( + kh) = h b n + F (t)dt + {F (b)+f()} k= h k (k)! B k{f (k) (b) F (k) ()} + hn m (n)! B n F (n) ( + kh + θh). (9) B (x) =x x B 3 (x) =x 3 3 x + x 4 B 4 (x) =x 4 x 3 + x B 5 (x) =x 5 5 x x3 6 x (3) Disregrding for now the reminder term (the 3rd term on the right), Eq.(9) grees with Eq.(7) provided tht 6 B 6 (x) =x 6 3x x4 x B k (k)! = V k() k. () According to A&S, p.84, the Bernoulli numbers B n re defined in terms of the Bernoulli polynomils B n (x), which re defined by the generting function te xt e t = The Bernoulli numbers re given by B n (x) tn (for t<π).() B n = B n (). () From these reltions one cn esily (i.e., esily with the help of computer lgebr progrm) clculte the lowest Bernoulli polynomils: * M.Abrmowitz nd I.A.Stegun, Hndbook of Mthemticl Functions, With Formuls, Grphs, nd Mthemticl Tbles, p.86. By compring Eqs.(3) with Eqs.(3), one cn conjecture the equlity V n (x) =Ṽ n(x), (4) where ( ) Ṽ n (x) n x + B n. (5) To prove this equlity, it is sufficient to verify tht Ṽ n(x) stisfies the reltions (), since these were the reltions tht defined V n (x).it is strightforwrd to determine the properties required for B n (x) sothtṽ n(x) obeys ech of the reltions (): B (x) =, B n (x) =n dxb n (x), nd (6) (6b) dxb n (x) = (forn>). (6c)
5 8.33 LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p. 9 Eq.(6) ws lredy written within Eqs.(3). To verify Eq.(6b), differentite the generting eqution () with respect to x: t e xt e t = db n (x) t n dx. (7) One cn obtin nother expnsion of the sme quntity by multiplying the generting eqution by t: t e xt e t = B n (x) tn+ (8) t n = B n (n )!. n= Compring like powers of t in expnsions (7) nd (8), one finds db n dx = nb n(x), (9) which is equivlent to Eq.(6b).Finlly, to verify Eq.(6c), one cn integrte the generting eqution over x from to : dx text e t == t n dxb n (x). (3) Agin by compring powers of t, one verifies Eq.(6c). Thus Ṽ n(x) obeysllof the reltions (), nd hence V n (x) =Ṽ n(x). Hving estblished Eq.(4), it follows immeditely tht V k () = V k () = k (k)! B k(), (3) 8.33 LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p. The gol of this ppendix is to mnipulte the reminder into the form given by A&S, s shown in Eq.(9) of this document. I m including this ppendix for completeness, but it is not physiclly importnt nd you need not red it if you re not curious. First, notice tht our definition of n is different from A&S s, since the sum on the right-hnd side of our Eq.(7) extends up to n, while the sum in A&S s eqution (Eq.(9)) extends only up to n.thus, if our reminder term is to gree with A&S s, it should be expressed in terms of f n+,notf n s in Eq.(3). To ccomplish this chnge, we will integrte by prts twice.the surfce term vnishes for the first integrtion by prts, since V n+ hs n odd subscript nd therefore vnishes t the endpoints ccording to Eq.(). For the second integrtion by prts there is surfce term which must be kept.in detil, the two integrtions by prts yield R = = ( ) n h +h ( h ) n+ m V n+() ( ) n+ h +h ( ) m dxv n+ h (x ) f n+ (x + kh) f n+( +(k +)h ) f n+ ( + kh) ( ) m dxv n+ h (x ) (33) f n+ (x + kh).(33b) Now notice tht the first term on the right-hnd side of Eq.(33b) cn be rewritten using f n+( +(k +)h ) f n+ ( + kh) = which llows one to combine the two terms: +h dxf n+ (x + kh), (34) which is just wht is needed to verify Eq.(), nd hence the greement of our series expnsion with tht of A&S. Appendix: Simplifiction of the reminder term: by The reminder term is the finl term on the right-hnd side of Eq.(7), given R = ( ) n h +h ( ) m dxv n h (x ) f n (x + kh). (3) where nd R = ( ) n+ h +h V n+() dxw(x) G(x), (35) w(x) = V ( n+ h (x ) ) V n+ () G(x) = m (36) f n+ (x + kh). (37)
6 8.33 LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p. Using Eqs.(4), (5) nd (3) to rewrite this expression in terms of B n+,one finds R = h n+ B +h n+ dxw(x) G(x), (n +)! (38) where w(x) = B ( x ) n+ h. B n+ (39) To complete the rgument, one needs to use the fct tht B n > B n (x) (for n =,,...,nd<x<), (4) which we will prove below.this implies tht the second term in Eq.(39) hs mgnitude less thn, nd hence w(x) >. (4) Furthermore, from Eq.(6c) the second term in Eq.(39) vnishes when integrted over x from to + h, so +h dxw(x) =h. (4) Eqs.(4) nd (4) imply tht we cn interpret w(x) s weight fctor in the computtion of weighted verge, with +h G(x) dxw(x) G(x). (43) h If we ssume tht every term on the right-hnd side of Eq.(37) is continuous, then G(x) is continuous, nd we cn pply the men vlue theorem* to conclude tht, somewhere in the rnge of integrtion ( <x<+ h), G(x) mustbeequltoits men vlue G(x).Thusthereexistssomenumberθ in the rnge <θ<such tht G( + θh) = G(x) = +h dxw(x) G(x). (44) h Using the bove reltion to replce the integrl in Eq.(38), one hs finlly R = h n+ B n+ G( + θh) (n +)! = h n+ B m n+ f n+ ( + kh + θh), (n +)! * See, for exmple, Methods of Mthemticl Physics, Third Edition, by Sir Hrold Jeffreys nd Berth Swirles (Ldy Jeffreys), Cmbridge University Press, 96, p.5, section.3. (45) 8.33 LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p. which mtches the reminder term in A&S s eqution (Eq.(9)). We hve reched the end, but to complete the proof we must justify the inequlity (4).This inequlity ws necessry to ssure the positivity of w(x), which in turn ws necessry for the men vlue theorem. The only proof tht I could construct for this inequlity depends on showing tht the generl shpe of the Bernoulli polynomils B n (x) in the intervl (, ), for n 3, is lwys one of four possibilities, depending on n mod 4.Smple grphs illustrting these shpes re shown on the following pge.specificlly, n mod 4 = : B n (x) is symmetric bout x =.The mximum is t x =, where B n >, nd the minimum is t x =ndx =,whereb n <. The slope is negtive for <x<, nd vnishes t the endpoints of this region. n mod 4 = : B n (x) is ntisymmetric bout x =, nd vnishes t x = nd x =.Between x = nd x = the function rises monotoniclly to mximum nd then flls monotoniclly. n mod 4 = : B n (x) is symmetric bout x =.The minimum is t x =, where B n <, nd the mximum is t x =ndx =,whereb n >. The slope is positive for <x<, nd vnishes t the endpoints of this region. n mod 4 = 3: B n (x) is ntisymmetric bout x =, nd vnishes t x = nd x =.Between x = nd x = the function flls monotoniclly to minimum nd then rises monotoniclly. Note tht we hve lredy shown (by Eqs.(), (4), nd (5)) tht B n (x) vnishes tndforn odd.the remining properties listed bove cn be shown by induction: one verifies tht B 3 (x) is being correctly described, nd then one uses Eqs.(6b) nd (6c) to show tht the properties for ech vlue of n mod 4 imply the properties for (n +)mod4. (Note tht grphiclly it ppers tht the zeros of B 6 (x) ndb (x) coincide, but this is not exctly true.the zeros of B 6 (x), B (x), nd B 4 (x) lie t.47547, , nd.49993, respectively.) From the description bove for B n (x) whenn is even, one cn see tht the mximum bsolute vlue of the function in the rnge <x< must occur either t the endpoints or t x =.We cn determine which of these two it is by using the generting function () to derive n identity tht reltes them. Consider the generting eqution () for x =, but with t replced by t/: ( t n B n () ) = t e (t/). (46)
7 8.33 LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p LECTURE NOTES, SPRING 8: Euler-Mclurin Sum Formul p. 4 By mnipulting the right-hnd side, it cn be re-expressed in terms of Bernoulli functions by using the generting eqution: ( t n B n () ) = t e (t/) e(t/) + e (t/) + = te (t/) + t e t { = } ( B ) t n n + B n () tn. (47) Compring like powers of t on both sides of the eqution, one finds B n () = { ( ) Bn n + Bn () }, (48) which implies tht ( B n ) = Bn (). (49) n It follows tht B n () > ( Bn, ) nd therefore Eq.(4) holds. Our proof excluded the specil cse B (x), which differs from the cses of lrger n in tht its derivtive does not vnish t nd.it cn esily be verified, however, tht the mximum bsolute vlue of B (x) for<x< must occur t x = or t the endpoints, so Eq.(49) cn gin be used to show tht Eq.(4) pplies in this cse s well.
NOTES ON THE EULER-MACLAURIN SUMMATION FORMULA
MASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Deprtment 8.33: Reltivistic Quntum Field Theory I NOTES ON THE EULER-MACLAURIN SUMMATION FORMULA These notes re intended to supplement the Csimir effect problem
More information8.323 Relativistic Quantum Field Theory I
MIT OpenCourseWre http://ocw.mit.edu 8.33 Reltivistic Quntum Field Theory I Spring 008 For informtion bout citing these mterils or our Terms of Use, visit: http://ocw.mit.edu/terms. MASSACHUSETTS INSTITUTE
More informationTHE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.
THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS RADON ROSBOROUGH https://intuitiveexplntionscom/picrd-lindelof-theorem/ This document is proof of the existence-uniqueness theorem
More informationUnit #9 : Definite Integral Properties; Fundamental Theorem of Calculus
Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl
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 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 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 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 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 informationNUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by.
NUMERICAL INTEGRATION 1 Introduction The inverse process to differentition in clculus is integrtion. Mthemticlly, integrtion is represented by f(x) dx which stnds for the integrl of the function f(x) with
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 informationLecture 14: Quadrature
Lecture 14: Qudrture This lecture is concerned with the evlution of integrls fx)dx 1) over finite intervl [, b] The integrnd fx) is ssumed to be rel-vlues nd smooth The pproximtion of n integrl by numericl
More informationMath 1B, lecture 4: Error bounds for numerical methods
Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the
More informationCMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature
CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy
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 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 informationP 3 (x) = f(0) + f (0)x + f (0) 2. x 2 + f (0) . In the problem set, you are asked to show, in general, the n th order term is a n = f (n) (0)
1 Tylor polynomils In Section 3.5, we discussed how to pproximte function f(x) round point in terms of its first derivtive f (x) evluted t, tht is using the liner pproximtion f() + f ()(x ). We clled this
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 informationNumerical Integration
Chpter 5 Numericl Integrtion Numericl integrtion is the study of how the numericl vlue of n integrl cn be found. Methods of function pproximtion discussed in Chpter??, i.e., function pproximtion vi the
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 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 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 informationNumerical Analysis: Trapezoidal and Simpson s Rule
nd Simpson s Mthemticl question we re interested in numericlly nswering How to we evlute I = f (x) dx? Clculus tells us tht if F(x) is the ntiderivtive of function f (x) on the intervl [, b], then I =
More informationCalculus of Variations
Clculus of Vritions Com S 477/577 Notes) Yn-Bin Ji Dec 4, 2017 1 Introduction A functionl ssigns rel number to ech function or curve) in some clss. One might sy tht functionl is function of nother function
More informationACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2019
ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS MATH00030 SEMESTER 208/209 DR. ANTHONY BROWN 7.. Introduction to Integrtion. 7. Integrl Clculus As ws the cse with the chpter on differentil
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 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 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 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 informationAP Calculus Multiple Choice: BC Edition Solutions
AP Clculus Multiple Choice: BC Edition Solutions J. Slon Mrch 8, 04 ) 0 dx ( x) is A) B) C) D) E) Divergent This function inside the integrl hs verticl symptotes t x =, nd the integrl bounds contin this
More informationExam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1
Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution
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 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 informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
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 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 informationAnti-derivatives/Indefinite Integrals of Basic Functions
Anti-derivtives/Indefinite Integrls of Bsic Functions Power Rule: In prticulr, this mens tht x n+ x n n + + C, dx = ln x + C, if n if n = x 0 dx = dx = dx = x + C nd x (lthough you won t use the second
More informationMATH , Calculus 2, Fall 2018
MATH 36-2, 36-3 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 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 informationNumerical Integration
Chpter 1 Numericl Integrtion Numericl differentition methods compute pproximtions to the derivtive of function from known vlues of the function. Numericl integrtion uses the sme informtion to compute numericl
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 informationdifferent methods (left endpoint, right endpoint, midpoint, trapezoid, Simpson s).
Mth 1A with Professor Stnkov Worksheet, Discussion #41; Wednesdy, 12/6/217 GSI nme: Roy Zho Problems 1. Write the integrl 3 dx s limit of Riemnn sums. Write it using 2 intervls using the 1 x different
More information13: Diffusion in 2 Energy Groups
3: Diffusion in Energy Groups B. Rouben McMster University Course EP 4D3/6D3 Nucler Rector Anlysis (Rector Physics) 5 Sept.-Dec. 5 September Contents We study the diffusion eqution in two energy groups
More informationReversing the Chain Rule. As we have seen from the Second Fundamental Theorem ( 4.3), the easiest way to evaluate an integral b
Mth 32 Substitution Method Stewrt 4.5 Reversing the Chin Rule. As we hve seen from the Second Fundmentl Theorem ( 4.3), the esiest wy to evlute n integrl b f(x) dx is to find n ntiderivtive, the indefinite
More information1. Gauss-Jacobi quadrature and Legendre polynomials. p(t)w(t)dt, p {p(x 0 ),...p(x n )} p(t)w(t)dt = w k p(x k ),
1. Guss-Jcobi qudrture nd Legendre polynomils Simpson s rule for evluting n integrl f(t)dt gives the correct nswer with error of bout O(n 4 ) (with constnt tht depends on f, in prticulr, it depends on
More informationChapter 4 Contravariance, Covariance, and Spacetime Diagrams
Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz
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 information5.7 Improper Integrals
458 pplictions of definite integrls 5.7 Improper Integrls In Section 5.4, we computed the work required to lift pylod of mss m from the surfce of moon of mss nd rdius R to height H bove the surfce of the
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 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 informationDuality # Second iteration for HW problem. Recall our LP example problem we have been working on, in equality form, is given below.
Dulity #. Second itertion for HW problem Recll our LP emple problem we hve been working on, in equlity form, is given below.,,,, 8 m F which, when written in slightly different form, is 8 F Recll tht we
More informationPolynomial Approximations for the Natural Logarithm and Arctangent Functions. Math 230
Polynomil Approimtions for the Nturl Logrithm nd Arctngent Functions Mth 23 You recll from first semester clculus how one cn use the derivtive to find n eqution for the tngent line to function t given
More informationEuler-Maclaurin Summation Formula 1
Jnury 9, Euler-Mclurin Summtion Formul Suppose tht f nd its derivtive re continuous functions on the closed intervl [, b]. Let ψ(x) {x}, where {x} x [x] is the frctionl prt of x. Lemm : If < b nd, b Z,
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 informationand that at t = 0 the object is at position 5. Find the position of the object at t = 2.
7.2 The Fundmentl Theorem of Clculus 49 re mny, mny problems tht pper much different on the surfce but tht turn out to be the sme s these problems, in the sense tht when we try to pproimte solutions we
More informationARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac
REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b
More informationMA 124 January 18, Derivatives are. Integrals are.
MA 124 Jnury 18, 2018 Prof PB s one-minute introduction to clculus Derivtives re. Integrls re. In Clculus 1, we lern limits, derivtives, some pplictions of derivtives, indefinite integrls, definite integrls,
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 information20 MATHEMATICS POLYNOMIALS
0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of
More informationSection 4.8. D v(t j 1 ) t. (4.8.1) j=1
Difference Equtions to Differentil Equtions Section.8 Distnce, Position, nd the Length of Curves Although we motivted the definition of the definite integrl with the notion of re, there re mny pplictions
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 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 informationSection 5.1 #7, 10, 16, 21, 25; Section 5.2 #8, 9, 15, 20, 27, 30; Section 5.3 #4, 6, 9, 13, 16, 28, 31; Section 5.4 #7, 18, 21, 23, 25, 29, 40
Mth B Prof. Audrey Terrs HW # Solutions by Alex Eustis Due Tuesdy, Oct. 9 Section 5. #7,, 6,, 5; Section 5. #8, 9, 5,, 7, 3; Section 5.3 #4, 6, 9, 3, 6, 8, 3; Section 5.4 #7, 8,, 3, 5, 9, 4 5..7 Since
More informationThe Riemann-Lebesgue Lemma
Physics 215 Winter 218 The Riemnn-Lebesgue Lemm The Riemnn Lebesgue Lemm is one of the most importnt results of Fourier nlysis nd symptotic nlysis. It hs mny physics pplictions, especilly in studies of
More informationSeries: Elementary, then Taylor & MacLaurin
Lecture 3 Series: Elementry, then Tylor & McLurin This lecture on series strts in strnge plce, by revising rithmetic nd geometric series, nd then proceeding to consider other elementry series. The relevnce
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 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 informationdt. However, we might also be curious about dy
Section 0. The Clculus of Prmetric Curves Even though curve defined prmetricly my not be function, we cn still consider concepts such s rtes of chnge. However, the concepts will need specil tretment. For
More information1 Probability Density Functions
Lis Yn CS 9 Continuous Distributions Lecture Notes #9 July 6, 28 Bsed on chpter by Chris Piech So fr, ll rndom vribles we hve seen hve been discrete. In ll the cses we hve seen in CS 9, this ment tht our
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 informationTaylor Polynomial Inequalities
Tylor Polynomil Inequlities Ben Glin September 17, 24 Abstrct There re instnces where we my wish to pproximte the vlue of complicted function round given point by constructing simpler function such s polynomil
More informationHow can we approximate the area of a region in the plane? What is an interpretation of the area under the graph of a velocity function?
Mth 125 Summry Here re some thoughts I ws hving while considering wht to put on the first midterm. The core of your studying should be the ssigned homework problems: mke sure you relly understnd those
More informationSection 6.1 Definite Integral
Section 6.1 Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot e determined
More informationRecitation 3: More Applications of the Derivative
Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech
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 informationF (x) dx = F (x)+c = u + C = du,
35. The Substitution Rule An indefinite integrl of the derivtive F (x) is the function F (x) itself. Let u = F (x), where u is new vrible defined s differentible function of x. Consider the differentil
More informationLecture 20: Numerical Integration III
cs4: introduction to numericl nlysis /8/0 Lecture 0: Numericl Integrtion III Instructor: Professor Amos Ron Scribes: Mrk Cowlishw, Yunpeng Li, Nthnel Fillmore For the lst few lectures we hve discussed
More informationReview of basic calculus
Review of bsic clculus This brief review reclls some of the most importnt concepts, definitions, nd theorems from bsic clculus. It is not intended to tech bsic clculus from scrtch. If ny of the items below
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 informationMath Calculus with Analytic Geometry II
orem of definite Mth 5.0 with Anlytic Geometry II Jnury 4, 0 orem of definite If < b then b f (x) dx = ( under f bove x-xis) ( bove f under x-xis) Exmple 8 0 3 9 x dx = π 3 4 = 9π 4 orem of definite Problem
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 informationProblem Set 3 Solutions
Chemistry 36 Dr Jen M Stndrd Problem Set 3 Solutions 1 Verify for the prticle in one-dimensionl box by explicit integrtion tht the wvefunction ψ ( x) π x is normlized To verify tht ψ ( x) is normlized,
More informationGoals: Determine how to calculate the area described by a function. Define the definite integral. Explore the relationship between the definite
Unit #8 : The Integrl Gols: Determine how to clculte the re described by function. Define the definite integrl. Eplore the reltionship between the definite integrl nd re. Eplore wys to estimte the definite
More informationChapter 7 Notes, Stewart 8e. 7.1 Integration by Parts Trigonometric Integrals Evaluating sin m x cos n (x) dx...
Contents 7.1 Integrtion by Prts................................... 2 7.2 Trigonometric Integrls.................................. 8 7.2.1 Evluting sin m x cos n (x)......................... 8 7.2.2 Evluting
More informationHandout: Natural deduction for first order logic
MATH 457 Introduction to Mthemticl Logic Spring 2016 Dr Json Rute Hndout: Nturl deduction for first order logic We will extend our nturl deduction rules for sententil logic to first order logic These notes
More informationChapter 0. What is the Lebesgue integral about?
Chpter 0. Wht is the Lebesgue integrl bout? The pln is to hve tutoril sheet ech week, most often on Fridy, (to be done during the clss) where you will try to get used to the ides introduced in the previous
More informationAdvanced Computational Fluid Dynamics AA215A Lecture 3 Polynomial Interpolation: Numerical Differentiation and Integration.
Advnced Computtionl Fluid Dynmics AA215A Lecture 3 Polynomil Interpoltion: Numericl Differentition nd Integrtion Antony Jmeson Winter Qurter, 2016, Stnford, CA Lst revised on Jnury 7, 2016 Contents 3 Polynomil
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 informationIII. Lecture on Numerical Integration. File faclib/dattab/lecture-notes/numerical-inter03.tex /by EC, 3/14/2008 at 15:11, version 9
III Lecture on Numericl Integrtion File fclib/dttb/lecture-notes/numerical-inter03.tex /by EC, 3/14/008 t 15:11, version 9 1 Sttement of the Numericl Integrtion Problem In this lecture we consider the
More information14.4. Lengths of curves and surfaces of revolution. Introduction. Prerequisites. Learning Outcomes
Lengths of curves nd surfces of revolution 4.4 Introduction Integrtion cn be used to find the length of curve nd the re of the surfce generted when curve is rotted round n xis. In this section we stte
More informationChapter 5. Numerical Integration
Chpter 5. Numericl Integrtion These re just summries of the lecture notes, nd few detils re included. Most of wht we include here is to be found in more detil in Anton. 5. Remrk. There re two topics with
More information221B Lecture Notes WKB Method
Clssicl Limit B Lecture Notes WKB Method Hmilton Jcobi Eqution We strt from the Schrödinger eqution for single prticle in potentil i h t ψ x, t = [ ] h m + V x ψ x, t. We cn rewrite this eqution by using
More informationImproper Integrals. Type I Improper Integrals How do we evaluate an integral such as
Improper Integrls Two different types of integrls cn qulify s improper. The first type of improper integrl (which we will refer to s Type I) involves evluting n integrl over n infinite region. In the grph
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 information1B40 Practical Skills
B40 Prcticl Skills Comining uncertinties from severl quntities error propgtion We usully encounter situtions where the result of n experiment is given in terms of two (or more) quntities. We then need
More informationWe know that if f is a continuous nonnegative function on the interval [a, b], then b
1 Ares Between Curves c 22 Donld Kreider nd Dwight Lhr We know tht if f is continuous nonnegtive function on the intervl [, b], then f(x) dx is the re under the grph of f nd bove the intervl. We re going
More informationSuppose we want to find the area under the parabola and above the x axis, between the lines x = 2 and x = -2.
Mth 43 Section 6. Section 6.: Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot
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 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 informationMatrices, Moments and Quadrature, cont d
Jim Lmbers MAT 285 Summer Session 2015-16 Lecture 2 Notes Mtrices, Moments nd Qudrture, cont d We hve described how Jcobi mtrices cn be used to compute nodes nd weights for Gussin qudrture rules for generl
More information