Dirichlet and Fresnel Integrals via Iterated Integration
|
|
- Gilbert Sullivan
- 5 years ago
- Views:
Transcription
1 VOL. 78, NO. 1, FEBRUARY 5 63 While not ll of the ssumptions of the model will be stisfied in every cse, nevertheless, this nlysis might be used to justify limiting the size of committees. Now, if we could only come up with n nlysis to justify limiting the number of committees we re ssigned to! Acknowledgment. The uthors would like to express their pprecition to the reviewers for mny helpful suggestions. REFERENCES 1. W. Feller, An Introduction to Probbility Theory nd Its Applictions, Vol. I, John Wiley & Sons Inc., New York, S. Krlin, nd H. M. Tylor, A First Course in Stochstic Processes, nd ed., Acdemic Press, New York, E. Przen, Modern Probbility Theory nd Its Applictions, John Wiley & Sons Inc., New York, 196. Dirichlet nd Fresnel Integrls vi Iterted Integrtion PAUL LOYA Binghmton University Binghmton, NY pul@mth.binghmton.edu Mny rticles [, 3, 4, 6] hve been devoted to estblishing the vlues of some importnt improper integrls: sin x dx = π cos x sin x π nd dx = dx = x x x. The first integrl is clled the Dirichlet integrl nd the other two re clled Fresnel integrls. One wy to estblish these formuls is to consider the iterted integrls of the functions f (x, y = e xy sin x nd g(x, y = y 1/ e xy+ix, respectively, over [, [,. For instnce, if only we could justify switching the order of integrtion, we would evlute the Dirichlet integrl like this: ( e xy sin xdy dx = ( e xy sin xdx dy. (1 Since e xy sin xdy= sin x/x, the left-hnd integrl is (sin x/x dx.inviewof the integrtion formul e xy sin xdx= e xy (y sin x + cos x + C, ( 1 + y which is proved using integrtion by prts, the right-hnd integrl in (1 is 1 dy = lim 1 + y t tn 1 (y y=t = π y=. Hence, we hve computed the vlue of the Dirichlet integrl: (sin x/xdx= π/. Unfortuntely, justifiction for these steps is not t ll obvious! The reson is tht the
2 64 MATHEMATICS MAGAZINE stndrd hypotheses justifying iterting improper integrls, nmely Fubini s theorem, which requires bsolute integrbility, do not pply to the bove mentioned f nd g. After ll, f (x, is sin(x, which is certinly not integrble over the whole line, nd g(x, is not even defined. However, in this pper we hve just the right theorem to justify the desired steps. This theorem pplies to the functions f nd g nd is useful nd pproprite in n undergrdute nlysis course for two resons: (1 The hypotheses re strightforwrd to verify nd they pply to mny importnt exmples (see Exmples 1 4; ( The proof is very short (given certin well-known results. THEOREM. Let F(x, y be continuous function on (, (α,, where nd α re rel numbers, nd suppose tht the improper integrls G(x = α + F(x, y dy nd H(y = + F(x, y dx (3 exist nd converge uniformly for x nd y restricted to compct subintervls of (, nd (α,, respectively. In ddition, suppose tht for ll b, c >, c F(x, y dx M(y, (4 where α + M(y dy exists. Then the improper integrls b exist nd re equl. + G(x dx nd α + H(y dy (5 The integrls in this theorem re Riemnn integrls nd they re improper t, α, nd ; hence the plus signs on nd α. Since the integrls in (3 re uniformly convergent, G(x nd H(y re continuous on their respective domins [1, Th. 33.6], which gurntees they re Riemnn integrble over compct subintervls of their respective domins. If ll integrls re understood s Kurzweil-Henstock integrls or (improper Lebesgue integrls, or if more knowledge concerning Riemnn integrls is ssumed, then the hypotheses cn be wekened considerbly. We invite those reders fmilir with more dvnced theories to formulte such generliztions. Before proving our theorem, we need the following stndrd results (the reder not interested in the proof cn skip to Exmple 1 below: LEMMA 1. ( If f (x, y is continuous on finite rectngle [, b] [α, β], then β ( b b ( β f (x, y dx dy = f (x, y dy dx, α nd the inner integrls re continuous functions of y nd x, respectively. (b If { f n } is sequence of continuous functions on finite intervl [, b] tht converges uniformly on [, b] to limit function f, then f is continuous nd α b b fdx= lim n f n dx.
3 VOL. 78, NO. 1, FEBRUARY 5 65 (c DOMINATED CONVERGENCE THEOREM. Suppose tht f (x = lim f n (x for ll x > where f nd f n,n N, re continuous on (,. Suppose tht f n (x M(x for x > nd n N where M(x dx exists. Then f hs n integrl over [, nd + + fdx= lim n + f n dx. Sttements ( nd (b re found in most elementry nlysis books, see, for instnce, Brtle [1]. The Dominted Convergence Theorem cn be found there s Theorem 33.1 nd it follows directly from the usul one on compct intervls, simple proof of which is given by Lewin [5]. (Techniclly, Brtle s Theorem 33.1 is stted for integrls tht re improper only t infinity, but n nlogous proof works for integrls improper t both limits of integrtion. Now to the proof of the theorem: Let < n < b n be sequences with n nd b n,ndletα<α n <β n be sequences with α n α nd β n.sincef is continuous on the rectngle [ m, b m ] [α n,β n ], by ( of Lemm 1, βn ( bm α n m F(x, y dx dy = bm ( βn m α n F(x, y dy dx, nd the inner integrls re continuous functions of y nd x, respectively. As n, the inner integrl on the right converges uniformly to G(x, so by (b of Lemm 1, the limit s n of the right-hnd integrl exists nd equls b m m G(xdx. Thus, the improper integrl of the inner integrl on the left exists, nd ( bm bm F(x, y dx dy = G(x dx. (6 α + m m As m, the continuous function on (α, given by the inner integrl on the left in (6 converges to the continuous function H(y nd by (4, the inner integrl is dominted by function tht hs n integrl over [α,. Thus, (c of Lemm 1 implies tht s m the limit of the left-hnd side in (6 exists nd equls H(ydy.It α + follows tht the improper integrl G(xdx exists nd equls H(y dy.this + α completes the proof. + We now demonstrte how esy it is to use this theorem. Henceforth we drop the plus signs on the lower limits of integrtion to simplify nottion. EXAMPLE 1. For our first exmple, consider once gin f (x, y = e xy sin x on [, [,. One cn check tht f is not bsolutely integrble over [, [,, so the usul Fubini s theorem does not imply the existence or equlity of the iterted integrls of f over this qudrnt. However, we cn pply our theorem, s we now show. First, becuse of the exponentilly decying fctor, it follows tht e xy sin xdynd e xy sin xdxre uniformly convergent for x nd y restricted to compct subintervls of (,. Second, using the formul (, one cn verify tht for ll b, c >, c f (x, y dx K, for some K >, 1 + y b which hs n integrl on [,. Thus, the conditions of the theorem re stisfied, nd so the formul (1 t the beginning of this pper is indeed true! We cn now proceed exctly s we did before to derive the vlue of the Dirichlet integrl: sin x x dx = π.
4 66 MATHEMATICS MAGAZINE EXAMPLE. Now let g(x, y = y 1/ e xy+ix on [, [,. As with the previous exmple, the usul Fubini s theorem does not pply to this function, but we shll see tht our theorem does pply. Becuse of the exponentilly decying fctor, it follows tht y 1/ e xy+ix dy nd y 1/ e xy+ix dx re uniformly convergent for x nd y restricted to compct subintervls of (,. Moreover, one cn esily check tht for ny b, c >, c b y 1/ e xy+ix dx = y 1/ y + i e cy+ic e by+ib 1 y 1 + y (e cy + e by y 1 + y, which hs n integrl over [,. Thus, the conditions of the theorem re met, nd so ( ( y 1/ e xy+ix dy dx = y 1/ e xy+ix dx dy. Since y 1/ e xy+ix dy = e ix y 1/ e xy dy = π x 1/ e ix, where we mde the chnge of vribles y x 1 y nd used the Gussin integrl e y dy = π/, the left-hnd integrl is π x 1/ e ix dx = π x 1/ cos xdx+ i π on the other hnd, chnging vribles y y, the right-hnd integrl is y 1/ 1 y + i dy = y i dy = y 1 + y 4 dy + i x 1/ sin xdx; 1 + y 4 dy. Ech integrl on the right hs the vlue π/, which cn be found using the method of prtil frctions s in [4]. Thus, we hve computed the Fresnel integrls: cos x sin x π dx = dx = x x. EXAMPLE 3. Let < < 1. Then, rguing s in Exmple, we cn pply our theorem to the function y e xy+ix on [, [,. Working out the iterted integrls in the sme spirit s we did in Exmple nd using some elementry properties of the Gmm nd Bet functions, we rrive t the following generlized Fresnel integrls: ( π ( π x 1 cos xdx= Ɣ( cos nd x 1 sin xdx= Ɣ( sin, where Ɣ( is the Gmm function evluted t. EXAMPLE 4. We remrk tht our theorem immeditely implies the celebrted Weierstrss M-Test for iterted integrls [1, Th ]: Let F(x, y be continuous function on (, (α, nd suppose tht F(x, y L(x M(y,
5 VOL. 78, NO. 1, FEBRUARY 5 67 where L(x nd M(y hve improper integrls over [, nd [α,, respectively. Then the iterted integrls in (5 exist nd re equl. Finlly, we end with brief outline of how the Dirichlet nd Fresnel integrls cn be derived from the stndrd Fubini s theorem. As we lredy mentioned, both f (x, y = e xy sin x nd g(x, y = y 1/ e xy+ix re not bsolutely integrble on [, [,, so, without using the theorem, some ingenious trick is usully required to justify the itertion of integrls. For instnce, Brtle [1] integrtes the function f (x, y over [s, [t, with s, t >, where Fubini s theorem is vlid, nd fter integrtion is performed, one tkes the limits s s, t to estblish Dirichlet s integrl. Leonrd [4] pplies Fubini s theorem to e tx g(x, y with t >, which is bsolutely integrble on [, [,, nd, fter integrting, tkes the limit s t to estblish the Fresnel integrls. Acknowledgment. The uthor thnks the referees for helpful comments. The uthor ws supported in prt by Ford Foundtion Fellowship. REFERENCES 1. Robert G. Brtle, The elements of rel nlysis, second ed., John Wiley & Sons, New York-London-Sydney, Hrley Flnders, On the Fresnel integrls, Amer. Mth. Monthly 89:4 (198, Wclw Kozkiewicz, A simple evlution of n improper integrl, Amer. Mth. Monthly 58:3 (1951, I. E. Leonrd, More on Fresnel integrls, Amer. Mth. Monthly 95:5 (1988, Jonthn W. Lewin, A truly elementry pproch to the bounded convergence theorem, Amer. Mth. Monthly 93:5 (1986, J. Vn Yzeren, de Moivre s nd Fresnel s integrls by simple integrtion, Amer. Mth. Monthly 86:8 (1979, A Publishing Prdox Alert reder Jck C. Abd nd his brother Victor Abd send the following: A recent Birkhäuser-Verlg book list included Unpublished Philosophicl Essys/Kurt Gödel, edited by Frncisco A. Rodriquez-Consuegr, If the title is ccurte, it might mke pproprite brbershop reding in tht town where the brber shves everyone who doesn t shve himself. A quick serch of Amzon.com turns up welth of similr mteril unpublished recordings by Elizbeth Schwrtzkopf nd Mrin Anderson, unpublished letters from Generl Robert E. Lee to Jefferson Dvis, nd unpublished opinions of the Wrren Court. Author Michel McMullen is more scrupulously logicl: The title of his book is The Blessing of God: Previously Unpublished Sermons of Jonthn Edwrds.
fo (f e-xy sin x dy dx= (J e-xy sin x dx dy. (1) Dirichlet and Fresnel Integrals via Iterated Integration 6Jo x 2 Jo x Jo 2
VOL. 78, NO. 1, FEBRUARY 2005 63 While not all of the assumptions of the model will be satisfied in every case, never- theless, this analysis might be used to justify limiting the size of committees. Now,
More informationarxiv:math/ v2 [math.ho] 16 Dec 2003
rxiv:mth/0312293v2 [mth.ho] 16 Dec 2003 Clssicl Lebesgue Integrtion Theorems for the Riemnn Integrl Josh Isrlowitz 244 Ridge Rd. Rutherford, NJ 07070 jbi2@njit.edu Februry 1, 2008 Abstrct In this pper,
More 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 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 informationf(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral
Improper Integrls Every time tht we hve evluted definite integrl such s f(x) dx, we hve mde two implicit ssumptions bout the integrl:. The intervl [, b] is finite, nd. f(x) is continuous on [, b]. If one
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 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 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 informationFundamental Theorem of Calculus for Lebesgue Integration
Fundmentl Theorem of Clculus for Lebesgue Integrtion J. J. Kolih The existing proofs of the Fundmentl theorem of clculus for Lebesgue integrtion typiclly rely either on the Vitli Crthéodory theorem on
More 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 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 informationFundamental Theorem of Calculus and Computations on Some Special Henstock-Kurzweil Integrals
Fundmentl Theorem of Clculus nd Computtions on Some Specil Henstock-Kurzweil Integrls Wei-Chi YANG wyng@rdford.edu Deprtment of Mthemtics nd Sttistics Rdford University Rdford, VA 24142 USA DING, Xiofeng
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 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 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 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 informationMAA 4212 Improper Integrals
Notes by Dvid Groisser, Copyright c 1995; revised 2002, 2009, 2014 MAA 4212 Improper Integrls The Riemnn integrl, while perfectly well-defined, is too restrictive for mny purposes; there re functions which
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 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 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 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 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 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 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 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 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 informationA Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions
Interntionl Journl of Mthemticl Anlysis Vol. 8, 2014, no. 50, 2451-2460 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.49294 A Convergence Theorem for the Improper Riemnn Integrl of Bnch
More informationAdvanced Calculus: MATH 410 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 information38 Riemann sums and existence of the definite integral.
38 Riemnn sums nd existence of the definite integrl. In the clcultion of the re of the region X bounded by the grph of g(x) = x 2, the x-xis nd 0 x b, two sums ppered: ( n (k 1) 2) b 3 n 3 re(x) ( n These
More 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 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 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 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 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 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 informationFINALTERM EXAMINATION 2011 Calculus &. Analytical Geometry-I
FINALTERM EXAMINATION 011 Clculus &. Anlyticl Geometry-I Question No: 1 { Mrks: 1 ) - Plese choose one If f is twice differentible function t sttionry point x 0 x 0 nd f ''(x 0 ) > 0 then f hs reltive...
More informationThe Riemann Integral
Deprtment of Mthemtics King Sud University 2017-2018 Tble of contents 1 Anti-derivtive Function nd Indefinite Integrls 2 3 4 5 Indefinite Integrls & Anti-derivtive Function Definition Let f : I R be function
More informationA product convergence theorem for Henstock Kurzweil integrals
A product convergence theorem for Henstock Kurzweil integrls Prsr Mohnty Erik Tlvil 1 Deprtment of Mthemticl nd Sttisticl Sciences University of Albert Edmonton AB Cnd T6G 2G1 pmohnty@mth.ulbert.c etlvil@mth.ulbert.c
More informationCzechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction
Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued
More 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 information8 Laplace s Method and Local Limit Theorems
8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved
More informationf(a+h) f(a) x a h 0. This is the rate at which
M408S Concept Inventory smple nswers These questions re open-ended, nd re intended to cover the min topics tht we lerned in M408S. These re not crnk-out-n-nswer problems! (There re plenty of those in the
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 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 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 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 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 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 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 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 informationThe Henstock-Kurzweil integral
fculteit Wiskunde en Ntuurwetenschppen The Henstock-Kurzweil integrl Bchelorthesis Mthemtics June 2014 Student: E. vn Dijk First supervisor: Dr. A.E. Sterk Second supervisor: Prof. dr. A. vn der Schft
More 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 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 the Calculus of Variations
Introduction to the Clculus of Vritions Jim Fischer Mrch 20, 1999 Abstrct This is self-contined pper which introduces fundmentl problem in the clculus of vritions, the problem of finding extreme vlues
More information1.9 C 2 inner variations
46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for
More 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 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 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 left-hnd
More informationExample Sheet 6. Infinite and Improper Integrals
Sivkumr Exmple Sheet 6 Infinite nd Improper Integrls MATH 5H Mteril presented here is extrcted from Stewrt s text s well s from R. G. Brtle s The elements of rel nlysis. Infinite Integrls: These integrls
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 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 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 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 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 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 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 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 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 informationThe Fundamental Theorem of Calculus. The Total Change Theorem and the Area Under a Curve.
Clculus Li Vs The Fundmentl Theorem of Clculus. The Totl Chnge Theorem nd the Are Under Curve. Recll the following fct from Clculus course. If continuous function f(x) represents the rte of chnge of F
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 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 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 informationThe Fundamental Theorem of Calculus
The Fundmentl Theorem of Clculus MATH 151 Clculus for Mngement J. Robert Buchnn Deprtment of Mthemtics Fll 2018 Objectives Define nd evlute definite integrls using the concept of re. Evlute definite integrls
More informationNumerical integration
2 Numericl integrtion This is pge i Printer: Opque this 2. Introduction Numericl integrtion is problem tht is prt of mny problems in the economics nd econometrics literture. The orgniztion of this chpter
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 nti-derivtive. Differentiting integrls. Tody we provide the connection
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 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 informationON THE C-INTEGRAL BENEDETTO BONGIORNO
ON THE C-INTEGRAL BENEDETTO BONGIORNO Let F : [, b] R be differentible function nd let f be its derivtive. The problem of recovering F from f is clled problem of primitives. In 1912, the problem of primitives
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 information1 1D heat and wave equations on a finite interval
1 1D het nd wve equtions on finite intervl In this section we consider generl method of seprtion of vribles nd its pplictions to solving het eqution nd wve eqution on finite intervl ( 1, 2. Since by trnsltion
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 information12 TRANSFORMING BIVARIATE DENSITY FUNCTIONS
1 TRANSFORMING BIVARIATE DENSITY FUNCTIONS Hving seen how to trnsform the probbility density functions ssocited with single rndom vrible, the next logicl step is to see how to trnsform bivrite probbility
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 informationCalculus I-II Review Sheet
Clculus I-II 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 informationChapter 6. Riemann Integral
Introduction to Riemnn integrl Chpter 6. Riemnn Integrl Won-Kwng Prk Deprtment of Mthemtics, The College of Nturl Sciences Kookmin University Second semester, 2015 1 / 41 Introduction to Riemnn integrl
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 cross-section in plne pssing through
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 informationDisclaimer: This Final Exam Study Guide is meant to help you start studying. It is not necessarily a complete list of everything you need to know.
Disclimer: This is ment to help you strt studying. It is not necessrily complete list of everything you need to know. The MTH 33 finl exm minly consists of stndrd response questions where students must
More informationMATH 174A: PROBLEM SET 5. Suggested Solution
MATH 174A: PROBLEM SET 5 Suggested Solution Problem 1. Suppose tht I [, b] is n intervl. Let f 1 b f() d for f C(I; R) (i.e. f is continuous rel-vlued function on I), nd let L 1 (I) denote the completion
More 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 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 informationNecessary and Sufficient Conditions for Differentiating Under the Integral Sign
Necessry nd Sufficient Conditions for Differentiting Under the Integrl Sign Erik Tlvil 1. INTRODUCTION. When we hve n integrl tht depends on prmeter, sy F(x f (x, y dy, it is often importnt to know when
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 information7.8 Improper Integrals
7.8 7.8 Improper Integrls The Completeness Axiom of the Rel Numers Roughly speking, the rel numers re clled complete ecuse they hve no holes. The completeness of the rel numers hs numer of importnt consequences.
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 informationThe Evaluation Theorem
These notes closely follow the presenttion of the mteril given in Jmes Stewrt s textook Clculus, Concepts nd Contexts (2nd edition) These notes re intended primrily for in-clss presenttion nd should not
More informationRiemann Integrals and the Fundamental Theorem of Calculus
Riemnn Integrls nd the Fundmentl Theorem of Clculus Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University September 16, 2013 Outline Grphing Riemnn Sums
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 informationII. Integration and Cauchy s Theorem
MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.
More 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 information