The Bochner Integral and the Weak Property (N)
|
|
- Beverly Wilkinson
- 5 years ago
- Views:
Transcription
1 Int. Journl of Mth. Anlysis, Vol. 8, 2014, no. 19, HIKARI Ltd, The Bochner Integrl nd the Wek Property (N) Besnik Bush Memetj University of Vlor, Science Nturl Fculty Informtics Deprtment, Vlor, Albni Copyright c 2014 Besnik Bush Memetj. 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 The Russin mthemticin N. N. Luzin recognized the importnce of the condition which now bers his nme nd is lso referred to s property (N). We present descriptive chrcteriztions of Bochner integrl in terms of the wek property (N). Mthemtics Subject Clssifiction: Primry 28B05, 26A45, 26A46 ; Secondry 46G10, 26A48, 58C07 Keywords: Bochner integrl, Bnch spce, wek property (N), strong bounded vrition 1. Introduction nd Preliminries It is known tht Bnch spce-vlued function F : [0, 1] X is the primitive of Bochner integrble function f :[0, 1] X if nd only it F is sac nd F (t) =f(t) lmost everywhere on [0, 1], Theorem in [11]. For more informtion bout Bochner integrl we refer to [2], [6], [1] nd [11]. In this pper, we present descriptive chrcteriztions of Bochner integrl in terms of the wek property (N), see Theorem 2.3 nd Theorem 2.5. Let X be rel Bnch spce with its norm.. We denote by B(x, ε) the open bll with center x nd rdius ε>0 nd by X the topologicl dul to X. We denote by I the fmily of ll non-degenerte closed subintervls of [0, 1], by λ the Lebesgue mesure on [0, 1] nd by λ the outer Lebesgue mesure. The intervls I,J I re sid to be nonoverlpping if int(i) int(j) =, where int(i) denotes the interior of I. If point function F :[0, 1] X is given, then we define the intervl function F : I X by F ([u, v]) = F (v) F (u), for ll [u, v] I.
2 902 Besnik Bush Memetj Assume tht n intervl [, b] [0, 1] nd function F :[0, 1] X re given. A finite collection {I i I: i =1, 2,..., m} of pirwise nonoverlpping intervls is sid to be prtition of [, b], if m i=1i i =[, b]. We denote by Π [,b] the fmily of ll prtitions of [, b]. Let us define the totl vrition V b F of F on [, b] s follows b V F = sup{ F (I) : π Π [,b] }. I π If we hve V 1 F < +, then F is sid to be of strongly bounded vrition 0 (sbv ). Ifc (, b) nd F is sbv, then (1.1) b V F = c V F + b V c F. The lst equlity ws proven for rel vlued functions in [10], Theorem VIII.3.5, but the proof works lso for vector vlued functions, it is enough to chnge the bsolute vlue with the norm.. The function F is sid to be strongly bsolutely continuous (sac) if for ech ε>0there exists η ε > 0 such tht for ech finite collection {I i I: i =1,...,n} of pirwise nonoverlpping intervls, we hve m i=1 F (I i ) <ε, whenever m i=1 λ(i i) <η. The function F is sid to be wek sac if for ech x X the function x F is sac. The function F is sid to be wek continuous on [0, 1] if for ech x X the function x F is continuous on [0, 1]. A function f :[0, 1] X is sid to be Pettis integrble if x f is Lebesgue integrble, for ll x X, nd for ech Lthere is vector ν f () X such tht x (ν f ()) = (L) (x f)dλ for ll x X. The set function ν f : L X is clled the indefinite Pettis integrl of f. For informtion bout Pettis integrl we refer to [7], [8], [9] nd [12]. We now extend the helpful property (N), due to N. N. Luzin, from rel vlued functions to Bnch spce-vlued functions. The function F :[0, 1] X is sid to stisfy the wek property (N) if for ech x X the function x F hs the property (N), i.e. for ech L, we hve λ() =0 λ((x F )()) = The Min Results The min results re Theorem 2.3 nd Theorem 2.5. Let us strt with few uxiliry lemms. Lemm 2.1. Let F :[0, 1] X be function. If F is sbv nd wek continuous on [0, 1], then F is continuous on [0, 1].
3 The Bochner integrl nd the wek property (N) 903 Proof. Let us define the function Φ : [0, 1] [0, + ) by Φ(0) = 0 nd Φ(t) = t V F for ll t (0, 1]. Since Φ increses on [0, 1], we obtin by Theorem VIII in [10] tht the set Z of discontinuity points of Φ is t most countble, nd since F (t + h) F (t) Φ(t + h) Φ(t) it follows tht ech continuity point of Φ is continuity point of F. Fix n rbitrry point t Z. We re going to prove tht the equlity (2.1) lim F (t + h) =F (t +0) X h 0 + holds true. First we will show tht given n rbitrry sequence (h n ) of nonnegtive rel numbers which converges to zero, the sequence (F (t+h n )) converges to n element x X. Indeed, since (Φ(t + h n )) is Cuchy sequence nd F (t + h n ) F (t + h m ) Φ(t + h n ) Φ(t + h m ), the sequence (F (t+h n )) is Cuchy. Further, the sequence (F (t+h n )) converges to n element x X. Secondly, let (h n ) be nother sequence of nonnegtive rel numbers which converges to zero. Then, the sequence (F (t+h n)) converges to n element x X, nd since F is wek continuous, we obtin x (x x )=0, for ll x X. The lst result together with Hhn-Bnch Theorem yields tht x = x. This mens tht (2.1) holds true. By the sme mnner s bove it cn be proved tht lim h 0 + F (t h) =F (t 0) X. We now ssume by contrdiction tht F (t+0) F (t 0). Then, by pplying Hhn-Bnch Theorem gin, there exists x X such tht (x F )(t +0) (x F )(t 0). But tht contrdicts with continuity of x F. Consequently, F (t+0) = F (t 0). By the sme mnner s bove, we get F (t+0) = F (t 0) = F (t). Since t is rbitrry, the lst result yields tht F is continuous on [0, 1] nd the proof is finished. Lemm 2.2. Let F :[0, 1] X be function which is differentible lmost everywhere on [0, 1]. IfFissBV nd wek sac, then F is sac. Proof. Since F :[0, 1] X is differentible lmost everywhere on [0, 1], there exists subset Z [0, 1] with λ(z) = 0 such tht F (t) exists for ll t [0, 1] \ Z. Thus, we cn define the function f :[0, 1] X s follows { F f(t) = (t) t [0, 1] \ Z. 0 t Z Since F is sbv, it cn be shown in the sme mnner s in the proof of Lemm 2.1 in [4] tht f is Pettis integrble nd the countble dditive vector mesure ν : L X defined by ν() = (P ) fdλ, for ll L, is of bounded vrition. We now prove tht f is strongly mesurble. By virtue of Lemm 2.1, F is continuous on [0, 1], nd becuse this the set {F (t) : t [0, 1]} X is compct
4 904 Besnik Bush Memetj nd therefore seprble. If Y X is the closed liner subspce spnned by the set {F (t) :t [0, 1]}, then Y is seprble. Since F (t + h) F (t) Y for ll t [0, 1] (h 0,t+ h [0, 1]), h we obtin tht f(t) Y, for lmost ll t [0, 1]. This mens tht f is essentilly seprble vlued. Hence, by Theorem II.1.2 in [1], the function f is strongly mesurble. Therefore, we obtin by Theorem 4.1 nd Remrk 4.1 in [8] tht ν () = f(t) dλ for ech L, nd since ν is of bounded vrition, the function f(.) is Lebesgue integrble on [0, 1]. Further, we obtin by Theorem II.2.2 in [1] tht f is Bochner integrble. Since the Bochner nd Pettis integrls coincide whenever they coexist, we hve ν() =(B) fdλ, for every L. Finlly, since ν(i) =F (I), for ll I I, we obtin by Theorem in [11] tht F is sac nd the proof is finished. Let us now present the first result. Theorem 2.3. Let F : [0, 1] X be function. Then the following re equivlent. (i) F is the primitive of Bochner integrble function f, i.e., F (I) =(B) fdλ for ll I I, (ii) F is sac nd F (t) =f(t) lmost everywhere on [0, 1], (iii) F is sbv,weksac nd F (t) =f(t) lmost everywhere on [0, 1], (iv) F is sbv nd wek continuous on [0, 1], stisfies the wek property (N) nd F (t) =f(t) lmost everywhere on [0, 1]. Proof. By Theorem in [11], the equivlence (i) (ii) holds. By Bnch- Zrecki Theorem 1.1 in [4], we obtin (iii) (iv). Note tht if F is sac, then F is sbv, wek sac. This yields (ii) (iii). Finlly, we obtin by Lemm 2.2 tht (iii) (ii) nd the proof is finished. Corollry 2.4. If F : [0, 1] X is BV. nd wek sac, then F is the primitive of Bochner integrble function f (for the notion of BV. we refer to [4] ). Proof. Since F is BV., we obtin by Theorem 2.6 in [3] tht F is differentible lmost everywhere on [0, 1]. Hence, by (iii) in Theorem 2.3, F is the primitive of Bochner integrble function f nd the proof is finished. We now extend Theorem 2.3 to Frechet spce X with topologicl dul X. We refer to [5] for the notions used in the following theorem. The function F :[0, 1] X is sid to be wek sac if for ech x X the function x F is
5 The Bochner integrl nd the wek property (N) 905 sac; F is sid to be wek continuous on [0, 1] if for ech x X the function x F is continuous on [0, 1]; F is sid to stisfy the wek property (N) if for ech x X nd L, we hve λ() =0 λ((x F )())=0. We sy tht F is sbv if F is sbv with respect to ech p k. Theorem 2.5. Let X be Frechet spce nd let F :[0, 1] X be function. Then the following re equivlent. (i) F is the primitive of Bochner integrble function f, (ii) F is sbv nd wek continuous on [0, 1], stisfies the wek property (N) nd F (t) =f(t) lmost everywhere on [0, 1]. Proof. (i) (ii) Assume tht F is the primitive of Bochner integrble function f. Then, for ech k N, φ k f is Bochner integrble with the primitive φ k F. Hence, by Theorem 2.3, ech function φ k F is sbv nd wek continuous on [0, 1], stisfies the wek property (N) nd (φ k F ) (t) = (φ k F )(t) lmost everywhere on [0, 1]. Thus, for ech k N, there is subset Z k [0, 1] with λ(z k ) = 0 such tht (φ k F ) (t) =(φ k F )(t) for ll t [0, 1] \ Z k. We hve lso tht X = { x k φ k : k N, x k X k }, where X nd X k re the topologicl dul of the spce X nd X k, respectively. Therefore, F is sbv nd wek continuous on [0, 1], stisfies the wek property (N) nd F (t) =f(t) for ll t [0, 1] \ + k=1 Z k. (ii) (i) Assume tht (ii) holds. Then, ech function φ k F is sbv nd wek continuous on [0, 1], stisfies the wek property (N) nd (φ k F ) (t) = (φ k F )(t) lmost everywhere on [0, 1]. Hence, by virtue of Theorem 2.3, ech function φ k f is Bochner integrble with the primitive φ k F. Thus, f is Bochner integrble with the primitive F nd the proof is finished. References [1] J. Diestel nd J. J. Uhl, Vector Mesures, Mth. Surveys, vol. 15, Amer. Mth. Soc., Providence, RI, [2] N. Dunford nd J. T. Schwrtz, Liner Opertors, Prt I: Generl Theory, Interscience, New York, (1958). [3] S. B. Klij, The differentibility of Bnch spce-vlued functions of bounded vrition, Montsh. Mth., 173(3), (2014), pp [4] S. B. Klij, A Bnch-Zrecki Theorem for functions with vlues in Bnch spces, Montsh. Mth., DOI / s [5] B. B. Memetj, The Rdon Nikodym property nd the limit verge rnge in Frechet spces, Int. Journl of Mth. Anlysis, 7(56), (2013), pp [6] J. Mikusinki, The Bochner Integrl, Acdemic Press, New York, (1978). [7] K. Musil, Vitli nd Lebesgue convergence theorems for Pettis integrl in loclly convex spces, Atti Semin. Mt. Fis. Univ. Moden, 35 (1987), [8] K. Musil, Topics in the theory of Pettis integrtion, Rend. Ist. Mth. Univ. Trieste, 23 (1991),
6 906 Besnik Bush Memetj [9] K. Musil, Pettis integrl, in:hndbook of Mesure Theory Vol.I,.Pp (ed.), Amsterdm: North-Hollnd., (2002), [10] I. P. Ntnson, Theory of Functions of Rel Vrible, 2nd. rev. ed., Ungr, New York, (1961). [11] Š. Schwbik nd G. Ye, Topics in Bnch Spce Integrtion, Series in Rel Anlysis, vol. 10, World Scientific, Hckensck, NJ, [12] M. Tlgrnd, Pettis Integrl nd Mesure Theory, Mem. Am Mth. Soc. No. 307 (1984). Received: Mrch 11, 2014
ON 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationHilbert Spaces. Chapter Inner product spaces
Chpter 4 Hilbert Spces 4.1 Inner product spces In the following we will discuss both complex nd rel vector spces. With L denoting either R or C we recll tht vector spce over L is set E equipped with ddition,
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 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 informationSet-Valued Kurzweil Henstock Pettis Integral
Set-Vlued Anlysis (25) 13: 167 179 Springer 25 Set-Vlued Kurzweil Henstock Pettis Integrl L. DI PIAZZA 1 nd K. MUSIAŁ 2 1 Deprtment of Mthemtics, University of Plermo, vi Archirfi 34, 9123 Plermo, Itly.
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 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 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 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 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 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 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 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 informationMath 118: Honours Calculus II Winter, 2005 List of Theorems. L(P, f) U(Q, f). f exists for each ǫ > 0 there exists a partition P of [a, b] such that
Mth 118: Honours Clculus II Winter, 2005 List of Theorems Lemm 5.1 (Prtition Refinement): If P nd Q re prtitions of [, b] such tht Q P, then L(P, f) L(Q, f) U(Q, f) U(P, f). Lemm 5.2 (Upper Sums Bound
More 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 informationMath Solutions to homework 1
Mth 75 - Solutions to homework Cédric De Groote October 5, 07 Problem, prt : This problem explores the reltionship between norms nd inner products Let X be rel vector spce ) Suppose tht is norm on X tht
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 informationFunctional Analysis I Solutions to Exercises. James C. Robinson
Functionl Anlysis I Solutions to Exercises Jmes C. Robinson Contents 1 Exmples I pge 1 2 Exmples II 5 3 Exmples III 9 4 Exmples IV 15 iii 1 Exmples I 1. Suppose tht v α j e j nd v m β k f k. with α j,
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 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 informationMATH 409 Advanced Calculus I Lecture 19: Riemann sums. Properties of integrals.
MATH 409 Advnced Clculus I Lecture 19: Riemnn sums. Properties of integrls. Drboux sums Let P = {x 0,x 1,...,x n } be prtition of n intervl [,b], where x 0 = < x 1 < < x n = b. Let f : [,b] R be bounded
More informationAn inequality related to η-convex functions (II)
Int. J. Nonliner Anl. Appl. 6 (15) No., 7-33 ISSN: 8-68 (electronic) http://d.doi.org/1.75/ijn.15.51 An inequlity relted to η-conve functions (II) M. Eshghi Gordji, S. S. Drgomir b, M. Rostmin Delvr, Deprtment
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 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 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 informationChapter 22. The Fundamental Theorem of Calculus
Version of 24.2.4 Chpter 22 The Fundmentl Theorem of Clculus In this chpter I ddress one of the most importnt properties of the Lebesgue integrl. Given n integrble function f : [,b] R, we cn form its indefinite
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 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 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 informationIntroduction to Real Analysis (Math 315) Martin Bohner
ntroduction to Rel Anlysis (Mth 315) Spring 2005 Lecture Notes Mrtin Bohner Author ddress: Version from April 20, 2005 Deprtment of Mthemtics nd Sttistics, University of Missouri Roll, Roll, Missouri 65409-0020
More informationFourier series. Preliminary material on inner products. Suppose V is vector space over C and (, )
Fourier series. Preliminry mteril on inner products. Suppose V is vector spce over C nd (, ) is Hermitin inner product on V. This mens, by definition, tht (, ) : V V C nd tht the following four conditions
More 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 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 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 informationConvex Sets and Functions
B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line
More 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 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 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 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 informationPhil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015
Problem 1 Let m denote the Lebesgue mesure restricted to the compct intervl [, b]. () Prove tht function f defined on the compct intervl [, b] is Lipschitz if nd only if there is constct c nd function
More informationChapter 6. Infinite series
Chpter 6 Infinite series We briefly review this chpter in order to study series of functions in chpter 7. We cover from the beginning to Theorem 6.7 in the text excluding Theorem 6.6 nd Rbbe s test (Theorem
More informationWeek 7 Riemann Stieltjes Integration: Lectures 19-21
Week 7 Riemnn Stieltjes Integrtion: Lectures 19-21 Lecture 19 Throughout this section α will denote monotoniclly incresing function on n intervl [, b]. Let f be bounded function on [, b]. Let P = { = 0
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 informationMath 324 Course Notes: Brief description
Brief description These re notes for Mth 324, n introductory course in Mesure nd Integrtion. Students re dvised to go through ll sections in detil nd ttempt ll problems. These notes will be modified nd
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 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 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 informationSolution to Fredholm Fuzzy Integral Equations with Degenerate Kernel
Int. J. Contemp. Mth. Sciences, Vol. 6, 2011, no. 11, 535-543 Solution to Fredholm Fuzzy Integrl Equtions with Degenerte Kernel M. M. Shmivnd, A. Shhsvrn nd S. M. Tri Fculty of Science, Islmic Azd University
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 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 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 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 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 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 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 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 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 informationHENSTOCK-KURZWEIL TYPE INTEGRATION OF RIESZ-SPACE-VALUED FUNCTIONS AND APPLICATIONS TO WALSH SERIES
Rel Anlysis Exchnge Vol. 29(1), 2003/2004, pp. 419 439 A. Boccuto, Deprtment of Mtemtics nd Informtics, Universit di Perugi, vi Vnvitelli 1, 06123 Perugi, Itly. emil: boccuto@dipmt.unipg.it V. A. Skvortsov,
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 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 informationParametrized inequality of Hermite Hadamard type for functions whose third derivative absolute values are quasi convex
Wu et l. SpringerPlus (5) 4:83 DOI.8/s44-5-33-z RESEARCH Prmetrized inequlity of Hermite Hdmrd type for functions whose third derivtive bsolute vlues re qusi convex Shn He Wu, Bnyt Sroysng, Jin Shn Xie
More informationChapter 5 : Continuous Random Variables
STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 216 Néhémy Lim Chpter 5 : Continuous Rndom Vribles Nottions. N {, 1, 2,...}, set of nturl numbers (i.e. ll nonnegtive integers); N {1, 2,...}, set of ll
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 informationResearch Article On Existence and Uniqueness of Solutions of a Nonlinear Integral Equation
Journl of Applied Mthemtics Volume 2011, Article ID 743923, 7 pges doi:10.1155/2011/743923 Reserch Article On Existence nd Uniqueness of Solutions of Nonliner Integrl Eqution M. Eshghi Gordji, 1 H. Bghni,
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 informationON AN INTEGRATION-BY-PARTS FORMULA FOR MEASURES
Volume 8 (2007), Issue 4, Article 93, 13 pp. ON AN INTEGRATION-BY-PARTS FORMULA FOR MEASURES A. ČIVLJAK, LJ. DEDIĆ, AND M. MATIĆ AMERICAN COLLEGE OF MANAGEMENT AND TECHNOLOGY ROCHESTER INSTITUTE OF TECHNOLOGY
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 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 informationPiecewise Continuous φ
Piecewise Continuous φ φ is piecewise continuous on [, b] if nd only if b in R nd φ : [, b] C There is finite set S [, b] such tht, for ll t [, b] S, φ is continuous t t: φ(t) = lim φ(u) u t u [,b] For
More informationResearch Article Moment Inequalities and Complete Moment Convergence
Hindwi Publishing Corportion Journl of Inequlities nd Applictions Volume 2009, Article ID 271265, 14 pges doi:10.1155/2009/271265 Reserch Article Moment Inequlities nd Complete Moment Convergence Soo Hk
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 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 informationT b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions.
Rel Vribles, Fll 2014 Problem set 5 Solution suggestions Exerise 1. Let f be bsolutely ontinuous on [, b] Show tht nd T b (f) P b (f) f (x) dx [f ] +. Conlude tht if f is in AC then it is the differene
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 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 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 informationON A CONVEXITY PROPERTY. 1. Introduction Most general class of convex functions is defined by the inequality
Krgujevc Journl of Mthemtics Volume 40( (016, Pges 166 171. ON A CONVEXITY PROPERTY SLAVKO SIMIĆ Abstrct. In this rticle we proved n interesting property of the clss of continuous convex functions. This
More information