Czechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction
|
|
- Myra Pope
- 6 years ago
- Views:
Transcription
1 Czechoslovk Mthemticl Journl, 55 (130) (2005), ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued function of one vrible is pproximted by its nth degree Tylor polynomil, the reminder is estimted using the Alexiewicz nd Lebesgue p-norms in cses where f (n) or f (n+1) re Henstock-Kurzweil integrble. When the only ssumption is tht f (n) is Henstock-Kurzweil integrble then modified form of the nth degree Tylor polynomil is used. When the only ssumption is tht f (n) C 0 then the reminder is estimted by pplying the Alexiewicz norm to Schwrtz distributions of order 1. Keywords: Tylor s theorem, Henstock-Kurzweil integrl, Alexiewicz norm MSC 2000 : 26A24, 26A39 1. Introduction In this pper the Henstock-Kurzweil integrl is used to give vrious estimtes of the reminder in Tylor s theorem in terms of Alexiewicz nd Lebesgue p-norms. Let [, b] be compct intervl in nd let f : [, b]. Let n be positive integer. When f is pproximted by its nth degree Tylor polynomil bout, the reminder is estimted using the Alexiewicz norm of f (n+1) nd p-norms of f (n) in the cse when f (n+1) is Henstock-Kurzweil integrble (Theorem 4). When the only ssumption is tht f (n) is Henstock-Kurzweil integrble then f (n) need not exist t. In this cse we use modified form of the Tylor polynomil where f (n) is evluted t point x 0 [, b] t which f (n) exists. The resulting modified reminder is then estimted in the Alexiewicz nd p-norms (Theorem 3). And, when the only ssumption is tht f (n) C 0, the Alexiewicz norm is used in the spce of Schwrtz distributions of Reserch prtilly supported by the Nturl Sciences nd Engineering Reserch Council of Cnd. An djunct ppointment in the Deprtment of Mthemticl nd Sttisticl Sciences, University of Albert, mde vluble librry nd computer resources vilble. 933
2 order 1 to estimte the reminder (Theorem 6). The results extend those in [1]. See lso [7] for nother form of the reminder. For the Henstock-Kurzweil integrl we hve the following version of Tylor s theorem. Theorem 1. Let f : [, b] nd let n be positive integer. If f (n) ACG then for ll x [, b] we hve f(x) = P n (x) + R n (x) where (1) P n (x) = n f (k) ()(x ) k k=0 k! nd (2) R n (x) = 1 x f (n+1) (t)(x t) n dt. A proof under the ssumption tht f (n) is continuous on [, b] nd f (n+1) exists nerly everywhere on (, b) is given in [6]. The generl cse follows from the Fundmentl Theorem: If F : [, b] nd F ACG then F exists lmost everywhere, F is Henstock-Kurzweil integrble nd x F = F (x) F () for ll x [, b]. For the wide Denjoy integrl the corresponding function spce is ACG. If F ACG then x F p = F (x) F () for ll x [, b]. Here the integrl is the wide Denjoy integrl nd the pproximte derivtive is used. All the results proved in the pper hve suitble extension to the wide Denjoy integrl. The function spces ACG nd ACG re defined in [2] nd [4]. Note tht AC ACG ACG C 0. The set of continuous functions tht re differentible nerly everywhere is proper subset of ACG, which is itself proper subset of the set of continuous functions tht re differentible lmost everywhere. The other hlf of the Fundmentl Theorem sys tht if f HK then d x dx f = f(x) lmost everywhere (nd certinly t points of continuity of f). The Alexiewicz norm of n integrble function f is defined x (3) f = sup f. x b We will write f I when it needs to be mde cler the norm is over intervl I. See [5] for discussion of the Alexiewicz norm nd the Henstock-Kurzweil integrl. An equivlent norm is d c f. It leds to similr estimtes to those obtined sup (c,d) (,b) for the Alexiewicz norm in Theorems 3, 4 nd 6. Denote the spce of Henstock-Kurzweil integrble functions on [, b] by HK. Note tht if f (n) ACG then f (n+1) HK. 934
3 2. Estimtes when f (n 1) ACG If f (n 1) ACG (i.e., f (n) HK) then f (n) need only exist lmost everywhere on (, b). If f (n) exists t x 0 [, b] then we cn modify the Tylor polynomil (1) so tht the nth derivtive is evluted t x 0 nd then obtin estimtes on the resulting reminder term. The following lemm is used. Lemm 2. If f : [, b] nd f (n 1) ACG then let x 0 [, b] such tht f (n) exists t x 0. Define the modified Tylor polynomil by (4) P n,x0 (x) = P n 1 (x) + f (n) (x 0 )(x ) n nd define the modified reminder by R n,x0 (x) = f(x) P n,x0 (x). x [, b] Then for ll (5) R n,x0 (x) = 1 x [f (n) (t) f (n) (x 0 )](x t) n 1 dt. The proof is the sme s for Lemm 1 in [1] (which is flse without the proviso tht f (n) exists t x 0 ). Of course we cn tke x 0 s close to s we like. See [3] for reminder estimtes bsed on estimtes of f (n) (t) f (n) (x 0 ). Theorem 2 in [1] gives pointwise estimtes of R n in terms of p-norms of f (n) when f (n 1) AC nd f (n) L p (1 p ). We hve the following nlogue when f (n 1) ACG. Note tht if f (n 1) ACG \ AC (i.e., f (n) HK \ L 1 ) then for ech 1 p we hve f (n) L p. However, we cn use the Alexiewicz norm to estimte R n,x0. Theorem 3. With the nottion nd ssumptions of Lemm 2, (6) R n,x0 For ll x [, b], (b )n f (n) ( ) f (n) (x 0 ). (7) R n,x0 (x) And, (8) R n,x0 p (x )n 1 f (n) ( ) f (n) (x 0 ) [,x]. (b ) n 1+ [(n 1)p + 1] f (n) ( ) f (n) (x 0 ), 1 p <, (b ) n 1 f (n) ( ) f (n) (x 0 ), p =. 935
4 . Let c b. Using Lemm 2 nd the reversl of integrls criterion in [2, Theorem 57, p. 58], (9) c R n,x0 = = 1 (c )n c ξ [f (n) (t) f (n) (x 0 )] c t (x t) n 1 dx dt [f (n) (t) f (n) (x 0 )] dt for some ξ [, c]. Eqution (9) comes from the second men vlue theorem for integrls [2]. Tking the supremum over c [, b] now gives (6). Similrly, (10) R n,x0 (x) = (x )n 1 ξ [f (n) (t) f (n) (x 0 )] dt for some ξ [, x] (x )n 1 f (n) ( ) f (n) (x 0 ). This gives (7). The other estimtes in (8) follow from this. An lterntive pproch in Theorem 3 is to ssume f (n 1) is ACG on [, b] nd f (n) exists t. Then eqution (6) is replced with R n (b ) n f (n) ( ) f (n) () / with similr chnges in (7) nd (8). This is Young s expnsion theorem [8, p. 16] but with more precise error estimte. 3. Estimtes when f (n) ACG Corollry 1 in [1] gives pointwise estimte of R n in terms of p-norms of f (n+1) when f (n) AC nd f (n+1) L p. When f (n) ACG \ AC (i.e., f (n+1) HK \ L 1 ) then for no 1 p do we hve f (n+1) L p. But, we cn estimte R n using the Alexiewicz norm of f (n+1) nd p-norms of f (n). Theorem 4. If f : [, b] such tht f (n) ACG then (11) R n For ll x [, b], (b )n+1 f (n+1). (n + 1)! (12) R n (x) 936 (x )n f (n+1) [,x].
5 And, (b ) n+ (np + 1) f (n+1), 1 p <, (13) R n p (b ) n f (n+1), p =. Also, (14) R n p (b ) n f (n) () + where 1/α + 1/β = 1 nd (b ) n+ (np + 1) f (n) () + A i, 1 p <, A 1 = (b )n 1+ f (n), for n 1, [(n 1)p + 1] A 1 = f( ) f() p, for n = 1, A 2 = (b )n f (n), p =, (b ) n 1++1/β f (n) α, for 1 < α, [(n 1)β + 1] 1/β [(n 1 + 1/β)p + 1] A 2 = (b )n 1+ f (n) 1, for α = 1, [(n 1)p + 1] (b ) 1 ( A 3 = f (n) (t) p (b t) dt) (n 1)p+1, [(n 1)p + 1] A 4 = (b )n(1 ) ( f (n) (t) p (b t) dt) n.. The proof of (11) is very similr to the proof of (6), except tht we begin with the reminder in the form of (2). Using the second men vlue theorem, we hve (15) R n (x) = (x )n ξ f (n+1) (t) dt for some ξ [, x]. The estimtes in (12) nd (13) now follow directly. Integrte (2) by prts to get (16) R n (x) = f (n) ()(x ) n 1 + x f (n) (t)(x t) n 1 dt. 937
6 Then (17) R n p f (n) () where I I 2 (18) nd (19) I 1 = I 2 = (x ) np dx = x (b )np+1 np + 1 p f (n) (t)(x t) n 1 dt dx. A 1 is obtined from I 2 using the second men vlue theorem nd A 2 using Hölder s inequlity. Writing (20) I 2 ( x Jensen s inequlity nd Fubini s theorem give ) p f (n) (t) (x t) n 1 dt (x ) p dx, x (21) (22) I 2 f (n) (t) p (x t) (n 1)p (x ) p 1 dx dt t (b b )p 1 f (n) (t) p (b t) (n 1)p+1 dt. (n 1)p + 1 From this we obtin A 3. Using Jensen s inequlity in the form (23) (24) I 2 1 n p 1 ( x f (n) (t) (x ) p t)n 1 n dt (x ) np (x ) n n p dx x f (n) (t) p (x t) n 1 (x ) n(p 1) dt dx, we cn pply Fubini s theorem to get (25) I 2 (b )n(p 1) n p f (n) (t) p (b t) n dt, which gives A 4. The cse p = follows directly from (16). 938
7 Note tht A 2, A 3 nd A 4 ll led to estimtes of form A k C n,p (b ) n f (n) p (k = 2, 3, 4) where C n,p is independent of, b nd f. The integrl over x in (21) cn be evluted using hypergeometric functions. However, this does not mrkedly improve the estimte for A 3. Similrly with A 4. In (12) we hve R n (x) = o[(x ) n ] s x. Note tht if f (n) ACG then f (n+1) = mx x b f (n) (x) f (n) (). This ffects how the reminder is written in Theorems 3 nd 4. Exmple 5. Let 0 < n 1 be sequence tht decreses to 0. Let b n be positive sequence tht decreses to 0 such tht the intervls ( n b n, n + b n ) re disjoint. For this it suffices to tke b n min([ n 1 n ]/2, [ n n+1 ]/2). Let f n (x) = (x n + b n ) 2 (x n b n ) 2 for x n b n nd 0, otherwise. Let α > 0 nd define f(x) = n α f n (x). For x n < b n we hve f n(x) = 4(x n + b n )(x n b n )(x n ) nd f n (x) = 4[3(x n) 2 b 2 n ]. Suppose b n = o( n ) s n nd n α b 3 n 0. Then mx f n(x) = O(b 3 n) so f C[0,1] 1 x n b n but f C[0,1] 2. If n α b 3 n = then f HK \ L 1. Let = 0 in Theorems 3 nd 4. (i) If n α b 3 n / n 0 then f (0) does not exist. An exmple of this cse is n = 1/n, b n = c n β for β 2 nd smll enough c, nd 3β 1 α < 3β. Let x 0 (0, 1)\{ n ±b n } n. Then f (x 0 ) exists nd we hve the modified second degree Tylor polynomil P 2,x0 (x) = f(0) + f (0)x + f (x 0 )x 2 /2 = f (x 0 )x 2 /2. The modified reminder is R 2,x0 (x) = x 0 [f (t) f (x 0 )](x t) dt. If we tke x 0 = n ±b n / 3 for some n then f (x 0 ) = 0 nd we hve f ( ) f (x 0 ) [0,x] mx f (y) = 0 y 1/ 1/x sup n 1/x n α f n ( n ±b n / 3) = (8c 3 /3 3) sup n 1/x n α 3β = (8c 3 /3 3) 1/x α 3β. This llows us to obtin ll of the estimtes in Theorem 3. Note tht R 2,x0 (x) = O(x 1/x α 3β ) = O(x 1 α+3β ) s x 0 (nd 1 < 1 α + 3β 2). (ii) If n α b 3 n / n 0 then f (0) exists. An exmple is 0 < α < 3β 1 with n nd b n s in (i). This gives f L 1. Now P 2,0 (x) = 0 nd R 2,0 (x) = x 0 f (t)(x t) dt. The quntity f [0,x] cn be estimted s in (i). (iii) We cn use Theorem 4 with n = 1 to get P 1 (x) = 0 nd R 1 (x) = x 0 f (t)(x t) dt. This leds to the sme estimtes for f [0,x] s in (i) in the cse x 0 = n ± b n /
8 4. Estimtes when f (n) C 0 We now show tht (11) continues to hold when the only ssumption is tht f (n) C 0. Under the Alexiewicz norm, the spce of Henstock-Kurzweil integrble functions is not complete. It s completion is the subspce of distributions tht re the distributionl derivtive of continuous function, i.e., distributions of order 1 (see [5]). Thus, if f is in the completion of HK then f D (Schwrtz distributions) nd there is continuous function F, vnishing t, such tht F (ϕ) = F (ϕ ) = F ϕ = f(ϕ) for ll test functions ϕ D = {ϕ: [, b] : ϕ C nd supp(ϕ) (, b)}. And, we cn compute the Alexiewicz norm of f vi f = mx F (x) = F. x [,b] Theorem 6. If f : [, b] such tht f (n) C 0 then (26) R n (b )n+1 f (n+1) (b )n+1 = mx (n + 1)! (n + 1)! f (n) (x) f (n) (). x b. From Lemm 2, R n (x) = 1 x [f (n) (t) f (n) ()](x t) n 1 dt. Integrting x from to y nd reversing orders of integrtion gives y R n = 1 y [f (n) (t) f (n) ()](y t) n dt. Eqution (26) now follows. Exmple 7. Let g be continuous nd nowhere differentible on [0, 1]. Let n 1 nd define f(x) = (n 1)! 1 x 0 g(t)(x t)n 1 dt. By differentiting under the integrl nd then using the Fundmentl Theorem, f (n) = g C 0 but f (n) ACG. We hve R n (x) = 1 x 0 [g(t) g(0)](x t)n 1 dt nd R n (n + 1)! 1 mx g(x) 0 x 1 g(0). References [1] G. A. Anstssiou nd S. S. Drgomir: On some estimtes of the reminder in Tylor s formul. J. Mth. Anl. Appl. 263 (2001), [2] V. G. Čelidze nd A. G. Džvršeǐšvili: The Theory of the Denjoy Integrl nd Some Applictions. World Scientific, Singpore, [3] G. B. Follnd: Reminder estimtes in Tylor s theorem. Amer. Mth. Monthly 97 (1990), [4] S. Sks: Theory of the Integrl. Monogrfie Mtemtyczne, Wrsw, [5] C. Swrtz: Introduction to Guge Integrls. World Scientific, Singpore, [6] H. B. Thompson: Tylor s theorem using the generlized Riemnn integrl. Amer. Mth. Monthly 96 (1989), [7] R. Výborný: Some pplictions of Kurzweil-Henstock integrtion. Mth. Bohem. 118 (1993), [8] W. H. Young: The Fundmentl Theorems of the Differentil Clculus. Cmbridge University Press, Cmbridge, Author s ddress: Deprtment of Mthemtics nd Sttistics, University College of the Frser Vlley, Abbotsford, BC Cnd V2S 7M8, e-mil: Erik.Tlvil@ucfv.c. 940
A 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 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 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 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 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 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 informationJournal of Inequalities in Pure and Applied Mathematics
Journl of Inequlities in Pure nd Applied Mthemtics GENERALIZATIONS OF THE TRAPEZOID INEQUALITIES BASED ON A NEW MEAN VALUE THEOREM FOR THE REMAINDER IN TAYLOR S FORMULA volume 7, issue 3, rticle 90, 006.
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 informationCalculus in R. Chapter Di erentiation
Chpter 3 Clculus in R 3.1 Di erentition Definition 3.1. Suppose U R is open. A function f : U! R is di erentible t x 2 U if there exists number m such tht lim y!0 pple f(x + y) f(x) my y =0. If f is di
More 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 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 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 informationKeywords : Generalized Ostrowski s inequality, generalized midpoint inequality, Taylor s formula.
Generliztions of the Ostrowski s inequlity K. S. Anstsiou Aristides I. Kechriniotis B. A. Kotsos Technologicl Eductionl Institute T.E.I.) of Lmi 3rd Km. O.N.R. Lmi-Athens Lmi 3500 Greece Abstrct Using
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 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 informationNew Integral Inequalities for n-time Differentiable Functions with Applications for pdfs
Applied Mthemticl Sciences, Vol. 2, 2008, no. 8, 353-362 New Integrl Inequlities for n-time Differentible Functions with Applictions for pdfs Aristides I. Kechriniotis Technologicl Eductionl Institute
More informationAN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS. I. Fedotov and S. S. Dragomir
RGMIA Reserch Report Collection, Vol., No., 999 http://sci.vu.edu.u/ rgmi AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS I. Fedotov nd S. S. Drgomir Astrct. An
More informationSome estimates on the Hermite-Hadamard inequality through quasi-convex functions
Annls of University of Criov, Mth. Comp. Sci. Ser. Volume 3, 7, Pges 8 87 ISSN: 13-693 Some estimtes on the Hermite-Hdmrd inequlity through qusi-convex functions Dniel Alexndru Ion Abstrct. In this pper
More informationS. S. Dragomir. 2, we have the inequality. b a
Bull Koren Mth Soc 005 No pp 3 30 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Abstrct Compnions of Ostrowski s integrl ineulity for bsolutely
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 informationJournal of Inequalities in Pure and Applied Mathematics
Journl of Inequlities in Pure nd Applied Mthemtics MOMENTS INEQUALITIES OF A RANDOM VARIABLE DEFINED OVER A FINITE INTERVAL PRANESH KUMAR Deprtment of Mthemtics & Computer Science University of Northern
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 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 informationAsymptotic behavior of intermediate points in certain mean value theorems. III
Stud. Univ. Bbeş-Bolyi Mth. 59(2014), No. 3, 279 288 Asymptotic behvior of intermedite points in certin men vlue theorems. III Tiberiu Trif Abstrct. The pper is devoted to the study of the symptotic behvior
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 informationASYMPTOTIC BEHAVIOR OF INTERMEDIATE POINTS IN CERTAIN MEAN VALUE THEOREMS. II
STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume LV, Number 3, September 2010 ASYMPTOTIC BEHAVIOR OF INTERMEDIATE POINTS IN CERTAIN MEAN VALUE THEOREMS. II TIBERIU TRIF Dedicted to Professor Grigore Ştefn
More informationS. S. Dragomir. 1. Introduction. In [1], Guessab and Schmeisser have proved among others, the following companion of Ostrowski s inequality:
FACTA UNIVERSITATIS NIŠ) Ser Mth Inform 9 00) 6 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Dedicted to Prof G Mstroinni for his 65th birthdy
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 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 informationAN INTEGRAL INEQUALITY FOR CONVEX FUNCTIONS AND APPLICATIONS IN NUMERICAL INTEGRATION
Applied Mthemtics E-Notes, 5(005), 53-60 c ISSN 1607-510 Avilble free t mirror sites of http://www.mth.nthu.edu.tw/ men/ AN INTEGRAL INEQUALITY FOR CONVEX FUNCTIONS AND APPLICATIONS IN NUMERICAL INTEGRATION
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 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 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 informationA PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES
INROADS Rel Anlysis Exchnge Vol. 26(1), 2000/2001, pp. 381 390 Constntin Volintiru, Deprtment of Mthemtics, University of Buchrest, Buchrest, Romni. e-mil: cosv@mt.cs.unibuc.ro A PROOF OF THE FUNDAMENTAL
More 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 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 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 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 informationFUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (
FUNDAMNTALS OF RAL ANALYSIS by Doğn Çömez III. MASURABL FUNCTIONS AND LBSGU INTGRAL III.. Mesurble functions Hving the Lebesgue mesure define, in this chpter, we will identify the collection of functions
More informationRIEMANN-LIOUVILLE AND CAPUTO FRACTIONAL APPROXIMATION OF CSISZAR S f DIVERGENCE
SARAJEVO JOURNAL OF MATHEMATICS Vol.5 (17 (2009, 3 12 RIEMANN-LIOUVILLE AND CAPUTO FRACTIONAL APPROIMATION OF CSISZAR S f DIVERGENCE GEORGE A. ANASTASSIOU Abstrct. Here re estblished vrious tight probbilistic
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 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 informationGENERALIZATIONS OF WEIGHTED TRAPEZOIDAL INEQUALITY FOR MONOTONIC MAPPINGS AND ITS APPLICATIONS. (b a)3 [f(a) + f(b)] f x (a,b)
GENERALIZATIONS OF WEIGHTED TRAPEZOIDAL INEQUALITY FOR MONOTONIC MAPPINGS AND ITS APPLICATIONS KUEI-LIN TSENG, GOU-SHENG YANG, AND SEVER S. DRAGOMIR Abstrct. In this pper, we estblish some generliztions
More informationDEFINITE INTEGRALS. f(x)dx exists. Note that, together with the definition of definite integrals, definitions (2) and (3) define b
DEFINITE INTEGRALS JOHN D. MCCARTHY Astrct. These re lecture notes for Sections 5.3 nd 5.4. 1. Section 5.3 Definition 1. f is integrle on [, ] if f(x)dx exists. Definition 2. If f() is defined, then f(x)dx.
More informationWHEN IS A FUNCTION NOT FLAT? 1. Introduction. {e 1 0, x = 0. f(x) =
WHEN IS A FUNCTION NOT FLAT? YIFEI PAN AND MEI WANG Abstrct. In this pper we prove unique continution property for vector vlued functions of one vrible stisfying certin differentil inequlity. Key words:
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 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 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 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 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 informationHenstock-Kurzweil and McShane product integration
Henstock-Kurzweil nd McShne product integrtion Chrles University, Prgue slvik@krlin.mff.cuni.cz CDDE 2006 Motivtion Consider the differentil eqution y (x) = A(x)y(x) y() = y 0 where x [, b], y : [, b]
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 informationMA Handout 2: Notation and Background Concepts from Analysis
MA350059 Hndout 2: Nottion nd Bckground Concepts from Anlysis This hndout summrises some nottion we will use nd lso gives recp of some concepts from other units (MA20023: PDEs nd CM, MA20218: Anlysis 2A,
More 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 informationLYAPUNOV-TYPE INEQUALITIES FOR NONLINEAR SYSTEMS INVOLVING THE (p 1, p 2,..., p n )-LAPLACIAN
Electronic Journl of Differentil Equtions, Vol. 203 (203), No. 28, pp. 0. ISSN: 072-669. URL: http://ejde.mth.txstte.edu or http://ejde.mth.unt.edu ftp ejde.mth.txstte.edu LYAPUNOV-TYPE INEQUALITIES FOR
More informationLAPLACE TRANSFORM USING THE HENSTOCK-KURZWEIL INTEGRAL
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 55, No. 1, 214, Pges 71 81 Published online: June 2, 214 LAPLACE TRANSFORM USING THE HENSTOCK-KURZWEIL INTEGRAL SALVADOR SÁNCHEZ-PERALES AND JESÚS F. TENORIO
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 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 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 informationSOME INEQUALITIES FOR THE DISPERSION OF A RANDOM VARIABLE WHOSE PDF IS DEFINED ON A FINITE INTERVAL
SOME INEQUALITIES FOR THE DISPERSION OF A RANDOM VARIABLE WHOSE PDF IS DEFINED ON A FINITE INTERVAL NS BARNETT P CERONE SS DRAGOMIR AND J ROUMELIOTIS Abstrct Some ineulities for the dispersion of rndom
More informationAppendix to Notes 8 (a)
Appendix to Notes 8 () 13 Comprison of the Riemnn nd Lebesgue integrls. Recll Let f : [, b] R be bounded. Let D be prtition of [, b] such tht Let D = { = x 0 < x 1
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 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 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 informationSIMPLE DERIVATION OF BASIC QUADRATURE FORMULAS
SIMPLE DERIVATION OF BASIC QUADRATURE FORMULAS ERIK TALVILA AND MATTHEW WIERSMA Abstrct. Simple proofs of the midpoint, trpezoidl nd Simpson s rules re proved for numericl integrtion on compct intervl.
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 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 informationMapping the delta function and other Radon measures
Mpping the delt function nd other Rdon mesures Notes for Mth583A, Fll 2008 November 25, 2008 Rdon mesures Consider continuous function f on the rel line with sclr vlues. It is sid to hve bounded support
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 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 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 informationPrinciples of Real Analysis I Fall VI. Riemann Integration
21-355 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 informationA unified generalization of perturbed mid-point and trapezoid inequalities and asymptotic expressions for its error term
An. Ştiinţ. Univ. Al. I. Cuz Işi. Mt. (N.S. Tomul LXIII, 07, f. A unified generliztion of perturbed mid-point nd trpezoid inequlities nd symptotic expressions for its error term Wenjun Liu Received: 7.XI.0
More informationJournal of Inequalities in Pure and Applied Mathematics
Journl of Inequlities in Pure nd Applied Mthemtics http://jipmvueduu/ Volume, Issue, Article, 00 SOME INEQUALITIES FOR THE DISPERSION OF A RANDOM VARIABLE WHOSE PDF IS DEFINED ON A FINITE INTERVAL NS BARNETT,
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 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 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 informationON THE WEIGHTED OSTROWSKI INEQUALITY
ON THE WEIGHTED OSTROWSKI INEQUALITY N.S. BARNETT AND S.S. DRAGOMIR School of Computer Science nd Mthemtics Victori University, PO Bo 14428 Melbourne City, VIC 8001, Austrli. EMil: {neil.brnett, sever.drgomir}@vu.edu.u
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 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 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 informationFUNCTIONS OF α-slow INCREASE
Bulletin of Mthemticl Anlysis nd Applictions ISSN: 1821-1291, URL: http://www.bmth.org Volume 4 Issue 1 (2012), Pges 226-230. FUNCTIONS OF α-slow INCREASE (COMMUNICATED BY HÜSEYIN BOR) YILUN SHANG Abstrct.
More informationNEW INEQUALITIES OF SIMPSON S TYPE FOR s CONVEX FUNCTIONS WITH APPLICATIONS. := f (4) (x) <. The following inequality. 2 b a
NEW INEQUALITIES OF SIMPSON S TYPE FOR s CONVEX FUNCTIONS WITH APPLICATIONS MOHAMMAD ALOMARI A MASLINA DARUS A AND SEVER S DRAGOMIR B Abstrct In terms of the first derivtive some ineulities of Simpson
More informationLecture notes. Fundamental inequalities: techniques and applications
Lecture notes Fundmentl inequlities: techniques nd pplictions Mnh Hong Duong Mthemtics Institute, University of Wrwick Emil: m.h.duong@wrwick.c.uk Februry 8, 207 2 Abstrct Inequlities re ubiquitous in
More informationThe presentation of a new type of quantum calculus
DOI.55/tmj-27-22 The presenttion of new type of quntum clculus Abdolli Nemty nd Mehdi Tourni b Deprtment of Mthemtics, University of Mzndrn, Bbolsr, Irn E-mil: nmty@umz.c.ir, mehdi.tourni@gmil.com b Abstrct
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 informationThis is a short summary of Lebesgue integration theory, which will be used in the course.
3 Chpter 0 ntegrtion theory This is short summry of Lebesgue integrtion theory, which will be used in the course. Fct 0.1. Some subsets (= delmängder E R = (, re mesurble (= mätbr in the Lebesgue sense,
More informationJournal of Inequalities in Pure and Applied Mathematics
Journl of Inequlities in Pure nd Applied Mthemtics SOME INEQUALITIES FOR THE DISPERSION OF A RANDOM VARI- ABLE WHOSE PDF IS DEFINED ON A FINITE INTERVAL NEIL S. BARNETT, PIETRO CERONE, SEVER S. DRAGOMIR
More informationApproximation of functions belonging to the class L p (ω) β by linear operators
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 3, 9, Approximtion of functions belonging to the clss L p ω) β by liner opertors W lodzimierz Lenski nd Bogdn Szl Abstrct. We prove
More informationA basic logarithmic inequality, and the logarithmic mean
Notes on Number Theory nd Discrete Mthemtics ISSN 30 532 Vol. 2, 205, No., 3 35 A bsic logrithmic inequlity, nd the logrithmic men József Sándor Deprtment of Mthemtics, Bbeş-Bolyi University Str. Koglnicenu
More informationChapter 28. Fourier Series An Eigenvalue Problem.
Chpter 28 Fourier Series Every time I close my eyes The noise inside me mplifies I cn t escpe I relive every moment of the dy Every misstep I hve mde Finds wy it cn invde My every thought And this is why
More informationHENSTOCK-KURZWEIL FOURIER TRANSFORMS
Illinois Journl of Mthemtics Volume 46, Number 4, Winter 2002, Pges 1207 1226 S 0019-2082 HENSTOCK-KURZWEIL FOURIER TRANSFORMS ERIK TALVILA Abstrct. The Fourier trnsform is considered s Henstock Kurzweil
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 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 informationIntegrals - Motivation
Integrls - Motivtion When we looked t function s rte of chnge If f(x) is liner, the nswer is esy slope If f(x) is non-liner, we hd to work hrd limits derivtive A relted question is the re under f(x) (but
More informationOn the Generalized Weighted Quasi-Arithmetic Integral Mean 1
Int. Journl of Mth. Anlysis, Vol. 7, 2013, no. 41, 2039-2048 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2013.3499 On the Generlized Weighted Qusi-Arithmetic Integrl Men 1 Hui Sun School
More informationTRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS
TRAPEZOIDAL TYPE INEQUALITIES FOR n TIME DIFFERENTIABLE FUNCTIONS S.S. DRAGOMIR AND A. SOFO Abstrct. In this pper by utilising result given by Fink we obtin some new results relting to the trpezoidl inequlity
More informationWe divide the interval [a, b] into subintervals of equal length x = b a n
Arc Length Given curve C defined by function f(x), we wnt to find the length of this curve between nd b. We do this by using process similr to wht we did in defining the Riemnn Sum of definite integrl:
More informationON SOME NEW FRACTIONAL INTEGRAL INEQUALITIES
Volume 1 29, Issue 3, Article 86, 5 pp. ON SOME NEW FRACTIONAL INTEGRAL INEQUALITIES SOUMIA BELARBI AND ZOUBIR DAHMANI DEPARTMENT OF MATHEMATICS, UNIVERSITY OF MOSTAGANEM soumi-mth@hotmil.fr zzdhmni@yhoo.fr
More informationAdvanced Calculus I (Math 4209) Martin Bohner
Advnced Clculus I (Mth 4209) Spring 2018 Lecture Notes Mrtin Bohner Version from My 4, 2018 Author ddress: Deprtment of Mthemtics nd Sttistics, Missouri University of Science nd Technology, Roll, Missouri
More information