A Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions
|
|
- Jerome Shelton
- 6 years ago
- Views:
Transcription
1 Interntionl Journl of Mthemticl Anlysis Vol. 8, 2014, no. 50, HIKARI Ltd, A Convergence Theorem for the Improper Riemnn Integrl of Bnch Spce-vlued Functions Jun Alberto Escmill, Mrí Gudlupe Rggi, Luis Ángel Gutiérrez nd Fernndo Hernández Fcultd de Ciencis Físico Mtemátics Benemérit Universidd Autónom de Puebl Puebl, México Copyright c 2014 Jun Alberto Escmill et l. This is n open ccess rticle distributed under the Cretive Commons Attribution License, which permits unrestricted use, distribution, nd reproduction in ny medium, provided the originl work is properly cited. Abstrct In this pper, we estblish chrcteriztion, by mens of the uniform convergence, of convergence which is bsed in the Moore s ides [4]; then, ccording to this chrcteriztion, we give convergence theorem for the improper Riemnn integrl of functions tking vlues in Bnch spce. Mthemtics Subject Clssifiction: 28B05, 46G12 Keywords: Improper Riemnn integrl; Riemnn integrl; uniform convergence; m-topology 1 Introduction Throughout this pper, the symbol A will denote to subset no empty of rel numbers set R nd, the symbols f nd (fn) will denote, respectively, to vector function nd to sequence of vector functions defined on A, unless otherwise stted; i.e., f, f n : A X, where X is Bnch spce. A clssic problem of Functionl Anlysis is to determine when the limit of sequence of integrble functions is integrble nd the integrl of this limit
2 2452 Jun Alberto Escmill et l. function is the limit of the integrls; i.e., if (f n ) is sequence of integrble functions on A, which converges to function f on A, then it is of interest to know when the function f is integrble on A nd lim f n = f. (1) n A A The solution to this problem depend principlly of three fctors: the kind of convergence tht is being consider, the domin under which the functions re defined nd the kind of integrl tht is being used. For the cse of the Riemnn integrl (see Definition 2.4), it is known fct tht if (f n ) is sequence of Riemnn integrble functions on compct intervl [, b], which converges punctully to function f on [, b], not necessrily it holds tht the function f is Riemnn integrble on [, b], see [1]; even more, lthough the function f be Riemnn integrble on [, b], we cnnot ssure, in generl, tht the vlue of the Riemnn integrl of f on [, b] be the limit of the integrls of the functions belonging to the sequence (f n ), see [1]. However, it is known fct tht if we chnge the punctul convergence by the uniform convergence, then the limit function is Riemnn integrble nd the vlue of its integrl is equl to the limit of the integrls; i.e., (Uniform Convergence Theorem) If (f n ) is sequence of Riemnn integrble functions on compct intervl [, b], which converges uniformly to function f on [, b], then f is Riemnn integrble on [, b] nd the equlity (1) holds; where the intervl [, b] plys the role of subset A in (1). However, the bove convergence theorem is not vlid, in generl, for the improper Riemnn integrl (see Definition 2.5), since there re sequences of integrble functions in the sense improper of Riemnn, which converge uniformly to function such tht this limit function is not integrble in the sense improper of Riemnn; for exmple: Consider the sequence of functions (f n ) defined on the intervl [1, ) of the following wy f n (x) = { 1/x if 1 x n, n/x 2 if x n. (2) On this wy, it holds tht every f n is integrble in the sense improper of Riemnn on [1, ) nd, lso, the sequence (f n ) converges uniformly to the function f(x) = 1/x on [1, ); however, this limit function is not integrble in the sense improper of Riemnn on [1, ). Indeed, lthough the limit function be integrble in the sense improper of Riemnn, not necessrily it holds tht the vlue of this improper integrl be the limit of the improper integrls, see [1]. At lest, we cn follow two wys for to resolve the bove problem:
3 A convergence theorem for the improper Riemnn integrl 2453 Adding conditions to the sequence of functions or chnging the kind of convergence. Concerning to dd conditions to the sequence of functions, it is known fct, in prticulr, tht if to sequence (f n ) of integrble rel-vlued functions in the sense improper of Riemnn on A, which converges uniformly to function f on A, we dd the condition tht the sequence is dominted by function g, it mens, f n (x) g(x), for every x A nd for every n N, where g is integrble in the sense improper of Riemnn on A, then the limit function f is integrble in the sense improper of Riemnn on A nd the equlity (1) holds. On the other hnd, it is not common to find works tht del with the topic of to chnge the kind of convergence, even for the rel cse, i.e. when X = R; therefore, in this pper, we will prove tht if we chnge the uniform convergence by vrint of convergence defined by Moore in [4], then the limit function is integrble in the sense improper of Riemnn nd the vlue of this improper integrl is the limit of the improper integrls (see Theorem 3.2); moreover, the restriction of this result to compct intervls grees with the Uniform Convergence Theorem. 2 Preliminries For the reder s convenience, in this section, we will estblish the concepts tht will be used in the principl section of this pper. Definition 2.1 It is sid tht the sequence (f n ) converges uniformly to f on A if, nd only if, it holds the following: For every ε > 0 there exists n m N such tht if n m, then f n (x) f(x) < ε, for every x A. In the following definition nd, in some prts of the successive, the following nottion will be used: C + (A) = { ε : A R ε is continuous on A nd ε(x) > 0, for every x A}; if the subset A hs the form [, ), then we will write C + [, ) insted of C + (A).
4 2454 Jun Alberto Escmill et l. Definition 2.2 It is sid tht the sequence (f n ) converges in the sense of Moore to f on A if, nd only if, it holds the following: For every ε C + (A) there exists n m N such tht if n m, then f n (x) f(x) < ε(x), for every x A. Note 1. The convergence estblished in Definition 2.2 we hve clled it convergence in the sense of Moore, becuse it is bsed in the ides of convergence defined by Moore in [4] for the study of some integrble equtions; for dditionl informtion to go to Section of Commentries. Every constnt function defined on A, where the constnt is positive rel number, is positive nd continuous function; thus, if (f n ) is sequence of functions, which converges in the sense of Moore to function f on A, then this sequence lso converges uniformly to f on A; lthough the converse, in generl, is not true. However, if the sequence (f n ) converges uniformly to f on compct subset, then (f n ) lso converges to f in the sense of Moore; thus, on compct subsets, the uniform convergence nd the convergence in the sense of Moore re equivlents. Proposition 2.3 [4] If A is compct subset nd the sequence (f n ) converges uniformly to f on A, then the sequence (f n ) converges in the sense of Moore to f on A. Since the convergence in the sense of Moore implies the uniform convergence, we cn estblish the following: If (f n ) is sequence of integrble functions on [, b], which converges in the sense of Moore to f on [, b], then the function f is integrble on [, b] nd the equlity (1) holds, where [, b] plys the role of A in (1). The bove convergence theorem, which is bsed in terms of the convergence in the sense of Moore, it holds for processes of integrtion defined on compct intervls nd tht hold the uniform convergence theorem; like the integrl of Riemnn, McShne, Henstock-Kurzweil, nd so forth. Reciproclly, on the bses of Proposition 2.3, it holds tht the uniform convergence theorem implies the bove convergence theorem. We re going to close this section with the definition of the improper Riemnn integrl; but before, we give the definition of the Riemnn integrl for functions tking vlues in Bnch spce. Definition 2.4 Let f : [, b] R X be function. It is sid tht f is Riemnn integrble on [, b] if, nd only if, there exists z X with
5 A convergence theorem for the improper Riemnn integrl 2455 the following property: For every ε > 0 there exists δ > 0 such tht if P = {t 0 = < < t n = b} is prtition of intervl [, b], which P δ (with P = mx{t i t i 1 i = 1,, n}), then n (t i t i 1 )f(s i ) z < ε; i=1 where s i [t i 1, t i ], for every i = 1,, n. Note 2. Although for every Bnch spce X, the collection of ll Riemnn integrble functions f : [, b] X is liner spce nd the Riemnn integrl is linel opertor over it, the Riemnn integrl, in generl: it is not n bsolute integrl, the collection of ll discontinuity points of Riemnn integrble function not necessrily is of Lebesgue mesure zero nd, moreover, not ll Riemnn integrble functions re Bochner mesurble (in contrst with the rel cse; i.e. when X = R); see [9]. Definition 2.5 Let R. It is sid tht f : [, ) X is integrble in the sense improper of Riemnn on [, ) if, nd only if, for every b > it holds tht f is Riemnn integrble on [, b] nd, moreover, this limit lim b b f exists. In such cse, b f = lim f. b Note 3. On similr wy, it be define the improper Riemnn integrl for functions defined on n intervl of the form (, ]; for the cse (, ), it is defined in terms of the improper Riemnn integrl on the intervls (, ] nd [, ). 3 Min Results In prticulr, we re interested in the improper Riemnn integrl for intervls not bounded: [, ), (, ] nd (, ). Thus, in the following result, we estblish crcteriztion of the convergence in the sense of Moore on n intervl [, ); in like mnner, it cn be prove for the others kinds of intervls for which we re interested. Note 4. In Lemm 3.1, the expression fn f 0 on [M, ) mens f n (x) f(x) = 0, for every x [M, ); where 0 denote the null vector of Bnch spce X.
6 2456 Jun Alberto Escmill et l. Lemm 3.1 Let R. The sequence (f n ) converges in the sense of Moore to f on [, ) if, nd only if, there exists n M > such tht (f n ) converges uniformly to f on [, M] nd f n f 0 on [M, ), except for finite number of indexes n. Proof. = ) Suppose the contrry; i.e., we suppose tht the sequence (f n ) converges in the sense of Moore to the function f on [, ) nd, moreover, for every M > it holds tht I) (f n ) not converges uniformly to f on [, M] or II) f n f 0 on [M, ), for n infinity number of indexes n; however, ccording to the prgrph tht ppers fter of Note 1, it holds tht the condition I) cnnot be true. Thus, let M 1 = + 1; therefore, ccording to condition II), there exists n 1 N such tht f n1 f 0 on [M 1, ), i.e. there exists x with the property tht f n1 (x 1 ) f(x 1 ) 0. Now, let M 2 = x 1 + 1; therefore, ccording to condition II), there exists n 2 N with n 2 > n 1 such tht f n2 f 0 on [M 2, ), i.e. there exists x 2 > x 1 with the property tht f n2 (x 2 ) f(x 2 ) 0. Then, mking this procedure of recursive mnner, we cn mke two sequences (f nk ) nd (x k ) with the following properties: x k+1 > x k, for every k N; (x k ) converges to nd f nk (x k ) f(x k ) 0, for every k N. Now, we set c k = f nk (x k ) f(x k ) /2 nd ε : [, ) R of the following wy c 1 if x [, x 1 ], ε(x) = c k if x = x k, k N, (3) c k+1 c k x k+1 x k (x x k ) + c k if x [x k, x k+1 ], k N. On this wy, it holds tht ε C + [, ) nd, therefore, there exists m N such tht if n m, then f n (x) f(x) < ε(x), for every x [, ). Thus, for every k N such tht n k > m, it holds, in prticulr, tht f nk (x k ) f(x k ) < ε(x k ); which is contrdiction. =) Now, suppose tht there exists M > such tht I) (f n ) converges uniformly to f on [, M] nd II) f n f 0 on [M, ),
7 A convergence theorem for the improper Riemnn integrl 2457 except for finite number of indexes n; thus, let {n j } k j=1 be the collection of ll indexes n such tht not hold with II). Then, ccording to I) nd on the bses of Proposition 2.3, it holds tht (f n ) converges in the sense of Moore to f on [, M]; therefore, if ε C + [, ) there exists m N such tht if n m, then f n (x) f(x) < ε(x), for every x [, M]. Thus, if n N = mx{n, n 1,, n k } nd x [, ), then f n (x) f(x) < ε(x); which implies tht (f n ) converges in the sense of Moore to f on [, ). We shll now estblish, on the bses of Lemm 3.1, the following convergence theorem for the improper Riemnn integrl of functions tking vlues in Bnch spce. Theorem 3.2 Let R. If (f n ) is sequence of integrble functions in the sense improper of Riemnn on [, ), which converges in the sense of Moore to function f on [, ), then f is integrble in the sense improper of Riemnn on [, ) nd lim f n = f. (4) n Proof. Since the sequence (f n ) converges in the sense of Moore to the function f on [, ), it holds tht, on the bses of Lemm 3.1, there exists M > such tht: I) (f n ) converges uniformly to f on [, M] nd II) f n f 0 on [M, ), except for finite number of indexes n. Thus, ccording to I) nd II) nd, on the bses of Uniform Convergence Theorem for the Riemnn integrl, it holds tht f is Riemnn integrble on [, M] nd [M, b], for every b > M nd, moreover, the lim b b f exists; then, since f = M it holds tht f is integrble in the sense improper of Riemnn on [, ). f + M f,
8 2458 Jun Alberto Escmill et l. Now, let see tht the equlity (4) holds; in fct, observe tht f n f = = M M f n + f n f f M M ( M ) M ( ) f n f + f n f M M. On the other hnd, since the improper Riemnn integrls M f n nd M f exist nd s M f n M f = M (f n f) = 0, it holds tht f n f = M M f n f. (5) Therefore, ccording to equlity (5) nd on the bses of Uniform Convergence Theorem for the Riemnn integrl, it holds tht lim f n = f. n 4 Commentries On similr wy like with the uniform convergence, the convergence in the sense of Moore is equivlent to convergence generted by topology; in fct, if for every f X A = {f : A X f is function } we consider the collection {B(f, ε) ε C + (A)}, (6) where B(f, ε) = {g X A : g(x) f(x) < ε(x), for ll x A}, then this collection crete neighborhood bse of f; thus, the convergence generted by the topology induced by this collection of neighborhoods coincide with the convergence in the sense of Moore defined in X A. The bove topology, in contrst with the uniform topology, is not metrizble; however, this topology equips X A of structure of topologicl group, but not of topologicl vector spce, becuse the multipliction of vector by sclr is not continuous function. The ide of defining topologies on function spces by using functions ε rther thn constnts ε to specify the neighborhoods, goes bck t lest to Moore [4]; but it hs lrgely been restricted to spces of continuous functions nd considering continuous nd positive ε, s with the m-topology. It mens, if we consider the spce C(X) (where C(X) is the spce of ll continuous relvlued functions defined on X) insted of X A, then the topology generted by the collection of ll bses of neighborhoods defined s in (6), it is clled the m-topology; for reders interested in to know some topologicl properties
9 A convergence theorem for the improper Riemnn integrl 2459 of the m-topology, see [10]. Another ppliction, of quite different nture, of this ide to use functions ε rther thn constnts ε is to integrtion theory; see [3], [7] nd [8]. Finlly, we would like to mention tht the convergence in the sense of Moore cn be chnged nd dpted to severl frmeworks; in prticulr, if insted of to consider continuous nd positive ε, we consider tht these ε hve nother properties, then we obtin other useful topologies. For instnce, if A = R, X = R, nd, for every f R R, consider the neighborhood bse of f creted by the collection {B(f, ε) ε L + (A)}, where L + (A) = { ε R R : ε is Lebesgue mesurble nd ε(x) > 0, for ll x A}, then the topology generted by this neighborhood collection on R R is clled the topology of close pproximtion. In [2] be nlyze the subspce L = {f : R R f is Lebesgue mesurble} of R R, in the reltive topology induced by the topology of close pproximtion; the motivtion of to nlyze this topology on the spce L comes from [5] nd [6], where it is shown tht pproximtion in this close sense hs some useful properties. References [1] Robert G. Brtle, The Elements of Rel Anlysis, John Wiley nd Sons, Inc., United Sttes of Americ, [2] E.K. vn Douwen nd A.H. Stone, The topology of close pproximtion, Topology nd its Applictions, 35(1990), [3] R. Henstock, A Riemnn-type integrl of Lebesgue power, Cnd. J. Mth., 20, (1968), [4] E. H. Moore, On the fundtions of the theory of liner integrl equtions, Bull. Amer. Mth., 46 ( ), ,. [5] D. Mhrm nd A.H. Stone, One-to-one functions nd problem on subfields, in: Mesure Theory Oberwolfch 1979, Lectures Notes in Mthemtics 794 (Springer, Berlin, 1980) pp [6] D. Mhrm nd A.H. Stone, Expressing mesurble functions by one-one ones, Adv. in Mth., 46(1982), [7] W. Pfeffer, The divergence theorem, Trns. Amer. Mth. Soc., 295 (1986),
10 2460 Jun Alberto Escmill et l. [8] W. Pfeffer, The multidimensionl fundmentl theorem of clculus, J. Austrl. Mth. Soc., 43(1987), [9] Jos R. Ruiz, Intregrles Vectoriles de Riemnn y McShne, Underground Thesis, Universidd de Murci, Spin, [10] M. G. Rggi, L m-topolog en Espcios de Funciones, Mster Thesis, Benemérit Universidd Autónom de Puebl, Mexico, Received: September 7, 2014; Published: October 28, 2014
The Bochner Integral and the Weak Property (N)
Int. Journl of Mth. Anlysis, Vol. 8, 2014, no. 19, 901-906 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.4367 The Bochner Integrl nd the Wek Property (N) Besnik Bush Memetj University
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 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 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 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 4. Lebesgue Integration
4.2. Lebesgue Integrtion 1 Chpter 4. Lebesgue Integrtion Section 4.2. Lebesgue Integrtion Note. Simple functions ply the sme role to Lebesgue integrls s step functions ply to Riemnn integrtion. Definition.
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 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 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 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 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 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 informationResults on Planar Near Rings
Interntionl Mthemticl Forum, Vol. 9, 2014, no. 23, 1139-1147 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/imf.2014.4593 Results on Plnr Ner Rings Edurd Domi Deprtment of Mthemtics, University
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 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 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 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 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 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 informationThe Solution of Volterra Integral Equation of the Second Kind by Using the Elzaki Transform
Applied Mthemticl Sciences, Vol. 8, 214, no. 11, 525-53 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/1.12988/ms.214.312715 The Solution of Volterr Integrl Eqution of the Second Kind by Using the Elzki
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 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 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 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 informationRegulated functions and the regulated integral
Regulted functions nd the regulted integrl Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics University of Toronto April 3 2014 1 Regulted functions nd step functions Let = [ b] nd let X be normed
More 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 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 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 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 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 informationProblem Set 4: Solutions Math 201A: Fall 2016
Problem Set 4: s Mth 20A: Fll 206 Problem. Let f : X Y be one-to-one, onto mp between metric spces X, Y. () If f is continuous nd X is compct, prove tht f is homeomorphism. Does this result remin true
More 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 informationSection 6.1 INTRO to LAPLACE TRANSFORMS
Section 6. INTRO to LAPLACE TRANSFORMS Key terms: Improper Integrl; diverge, converge A A f(t)dt lim f(t)dt Piecewise Continuous Function; jump discontinuity Function of Exponentil Order Lplce Trnsform
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 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 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 informationHermite-Hadamard Type Inequalities for the Functions whose Second Derivatives in Absolute Value are Convex and Concave
Applied Mthemticl Sciences Vol. 9 05 no. 5-36 HIKARI Ltd www.m-hikri.com http://d.doi.org/0.988/ms.05.9 Hermite-Hdmrd Type Ineulities for the Functions whose Second Derivtives in Absolute Vlue re Conve
More informationA HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES. 1. Introduction
Ttr Mt. Mth. Publ. 44 (29), 159 168 DOI: 1.2478/v1127-9-56-z t m Mthemticl Publictions A HELLY THEOREM FOR FUNCTIONS WITH VALUES IN METRIC SPACES Miloslv Duchoň Peter Mličký ABSTRACT. We present Helly
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 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 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 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 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 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 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 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 informationThe Modified Heinz s Inequality
Journl of Applied Mthemtics nd Physics, 03,, 65-70 Pulished Online Novemer 03 (http://wwwscirporg/journl/jmp) http://dxdoiorg/0436/jmp03500 The Modified Heinz s Inequlity Tkshi Yoshino Mthemticl Institute,
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 informationOn the Continuous Dependence of Solutions of Boundary Value Problems for Delay Differential Equations
Journl of Computtions & Modelling, vol.3, no.4, 2013, 1-10 ISSN: 1792-7625 (print), 1792-8850 (online) Scienpress Ltd, 2013 On the Continuous Dependence of Solutions of Boundry Vlue Problems for Dely Differentil
More informationPresentation Problems 5
Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).
More 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 informationPositive Solutions of Operator Equations on Half-Line
Int. Journl of Mth. Anlysis, Vol. 3, 29, no. 5, 211-22 Positive Solutions of Opertor Equtions on Hlf-Line Bohe Wng 1 School of Mthemtics Shndong Administrtion Institute Jinn, 2514, P.R. Chin sdusuh@163.com
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 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 informationACM 105: Applied Real and Functional Analysis. Solutions to Homework # 2.
ACM 05: Applied Rel nd Functionl Anlysis. Solutions to Homework # 2. Andy Greenberg, Alexei Novikov Problem. Riemnn-Lebesgue Theorem. Theorem (G.F.B. Riemnn, H.L. Lebesgue). If f is n integrble function
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 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 informationODE: Existence and Uniqueness of a Solution
Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =
More informationSection 6.1 INTRO to LAPLACE TRANSFORMS
Section 6. INTRO to LAPLACE TRANSFORMS Key terms: Improper Integrl; diverge, converge A A f(t)dt lim f(t)dt Piecewise Continuous Function; jump discontinuity Function of Exponentil Order Lplce Trnsform
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 informationarxiv: v1 [math.ca] 9 Jun 2011
Men vlue integrl inequlities rxiv:1106.1807v1 [mth.ca] 9 Jun 2011 June, 2011 Rodrigo López Pouso Deprtment of Mthemticl Anlysis Fculty of Mthemtics, University of Sntigo de Compostel, 15782 Sntigo de Compostel,
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 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 informationWe partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.
Mth 255 - Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn
More 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 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 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 information1 The Riemann Integral
The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re
More informationThe 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 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 informationMAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL
MAT612-REAL ANALYSIS RIEMANN STIELTJES INTEGRAL DR. RITU AGARWAL MALVIYA NATIONAL INSTITUTE OF TECHNOLOGY, JAIPUR, INDIA-302017 Tble of Contents Contents Tble of Contents 1 1. Introduction 1 2. Prtition
More informationContinuous Random Variables
STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 217 Néhémy Lim Continuous Rndom Vribles Nottion. The indictor function of set S is rel-vlued function defined by : { 1 if x S 1 S (x) if x S Suppose tht
More informationFundamental Theorem of Calculus
Fundmentl Theorem of Clculus Recll tht if f is nonnegtive nd continuous on [, ], then the re under its grph etween nd is the definite integrl A= f() d Now, for in the intervl [, ], let A() e the re under
More 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 informationChapter 3. Vector Spaces
3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce
More informationCONSTRUCTION OF A NUMBER GREATER THAN ONE WHOSE POWERS ARE UNIFORMLY DISTRIBUTED MODULO ONE. Miguel A. Lerma. February 5, 1996
COSTRUCTIO OF A UMBER GREATER TA OE WOSE POWERS ARE UIFORMLY DISTRIBUTED MODULO OE Miguel A. Lerm Februry 5, 996 Abstrct. We study how to construct number greter thn one whose powers re uniformly distributed
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 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 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 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 informationFrobenius numbers of generalized Fibonacci semigroups
Frobenius numbers of generlized Fiboncci semigroups Gretchen L. Mtthews 1 Deprtment of Mthemticl Sciences, Clemson University, Clemson, SC 29634-0975, USA gmtthe@clemson.edu Received:, Accepted:, Published:
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 informationKRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION
Fixed Point Theory, 13(2012), No. 1, 285-291 http://www.mth.ubbcluj.ro/ nodecj/sfptcj.html KRASNOSEL SKII TYPE FIXED POINT THEOREM FOR NONLINEAR EXPANSION FULI WANG AND FENG WANG School of Mthemtics nd
More informationIntegral points on the rational curve
Integrl points on the rtionl curve y x bx c x ;, b, c integers. Konstntine Zeltor Mthemtics University of Wisconsin - Mrinette 750 W. Byshore Street Mrinette, WI 5443-453 Also: Konstntine Zeltor P.O. Box
More information2 Definitions and Basic Properties of Extended Riemann Stieltjes Integrals
2 Definitions nd Bsic Properties of Extended Riemnn Stieltjes Integrls 2.1 Regulted nd Intervl Functions Regulted functions Let X be Bnch spce, nd let J be nonempty intervl in R, which my be bounded or
More informationQuadrature Rules for Evaluation of Hyper Singular Integrals
Applied Mthemticl Sciences, Vol., 01, no. 117, 539-55 HIKARI Ltd, www.m-hikri.com http://d.doi.org/10.19/ms.01.75 Qudrture Rules or Evlution o Hyper Singulr Integrls Prsnt Kumr Mohnty Deprtment o Mthemtics
More informationNOTES AND PROBLEMS: INTEGRATION THEORY
NOTES AND PROBLEMS: INTEGRATION THEORY SAMEER CHAVAN Abstrct. These re the lecture notes prepred for prticipnts of AFS-I to be conducted t Kumun University, Almor from 1st to 27th December, 2014. Contents
More informationJim Lambers MAT 169 Fall Semester Lecture 4 Notes
Jim Lmbers MAT 169 Fll Semester 2009-10 Lecture 4 Notes These notes correspond to Section 8.2 in the text. Series Wht is Series? An infinte series, usully referred to simply s series, is n sum of ll of
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 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 informationArithmetic Mean Derivative Based Midpoint Rule
Applied Mthemticl Sciences, Vol. 1, 018, no. 13, 65-633 HIKARI Ltd www.m-hikri.com https://doi.org/10.1988/ms.018.858 Arithmetic Men Derivtive Bsed Midpoint Rule Rike Mrjulis 1, M. Imrn, Symsudhuh Numericl
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 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 informationChapter 1. Basic Concepts
Socrtes Dilecticl Process: The Þrst step is the seprtion of subject into its elements. After this, by deþning nd discovering more bout its prts, one better comprehends the entire subject Socrtes (469-399)
More information2 Fundamentals of Functional Analysis
Fchgruppe Angewndte Anlysis und Numerik Dr. Mrtin Gutting 22. October 2015 2 Fundmentls of Functionl Anlysis This short introduction to the bsics of functionl nlysis shll give n overview of the results
More informationDirichlet and Fresnel Integrals via Iterated Integration
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
More informationLecture 19: Continuous Least Squares Approximation
Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for
More informationSet Integral Equations in Metric Spaces
Mthemtic Morvic Vol. 13-1 2009, 95 102 Set Integrl Equtions in Metric Spces Ion Tişe Abstrct. Let P cp,cvr n be the fmily of ll nonempty compct, convex subsets of R n. We consider the following set integrl
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 information