Regulated functions and the Perron-Stieltjes integral Milan Tvrd Dedicated to Professor Otakar Boruvka on the occasion of his ninetieth birthday Mathe
|
|
- Francine Palmer
- 5 years ago
- Views:
Transcription
1 Regulted functions nd the Perron-Stieltjes integrl Miln Tvrd Dedicted to Professor Otkr Boruvk on the occsion of his ninetieth birthdy Mthemticl Institute Acdemy of Sciences of the Czech Republic PRAHA 1, itn 25, Czech Republic (e-mil: Abstrct. Properties of the Perron-Stieltjes integrl with respect to regulted functions re investigted. It is shown tht liner continuous functionls on the spce G L ( b) of functions regulted on [ b] nd left-continuous on ( b) my be represented in the form F (x) =qx()+ Z b p(t)d[x(t)] where p 2 R nd q(t) is function of bounded vrition on [ b]: Some bsic theorems (e.g. integrtion-by-prts formul, substitution theorem) known for the Perron-Stieltjes integrl with respect to functions of bounded vrition re estblished. AMS Subject Clssiction. 26 A 42, 26 A 45, 28 A 25, 46 E 99. Keywords. regulted function, function of bounded vrition, Perron-Stieltjes integrl, Kurzweil integrl, left-continuous function, liner continuous functionl. 0. Introduction This pper dels with the spce G ( b) of regulted functions on compct intervl [ b]: It is known tht when equipped with the supreml norm G ( b) becomes Bnch spce, nd liner bounded functionls on its subspce G L ( b) of functions regulted on [ b] nd left-continuous on ( b) cn be represented by mens of the Dushnik-Stieltjes (interior) integrl. This result is due to H. S. Kltenborn [7], cf. lso Ch. S. H nig [5, Theorem 5.1]. Together with the known reltionship between the Dushnik-Stieltjes integrl, the -Young-Stieltjes integrl nd the Perron-Stieltjes integrl (cf. Ch. S. H nig [6] nd. Schwbik [11],[12]) this enbles us to see tht F 1
2 2 sopis p st. mt. 114 (1989), No. 2, pp is liner bounded functionl on G L ( b) if nd only if there exists rel number q nd function p(t) of bounded vrition on [ b] such tht F (x) =qx()+ p(t)d[x(t)] for ny x 2 G L ( b) where the integrl is the Perron-Stieltjes integrl. We will give here the proof of this fct bsed only on the properties of the Perron-Stieltjes integrl. To this im, the proof of the existence of the integrl f(t)d[g(t)] for ny function f of bounded vrition on [ b]ndny function g regulted on [ b] is crucil. Furthermore, we will prove extensions of some theorems (e.g. integrtionby-prts nd substitution theorems) needed for deling with generlized dierentil equtions nd Volterr-Stieltjes integrl equtions in the spce G ( b): 1. Preliminries Throughout the pper R n denotes the spce of rel n-vectors, R 1 = R: Given x 2 R n its rguments re denoted by x 1 x 2 ::: x n (x = (x 1 x 2 ::: x n )). N stnds for the set of ll nturl numbers (N = f1 2 :::g). Given M R M denotes its chrcteristic function ( M (t) =1ift 2 M nd M (t) =0ift 62 M:) Let ;1 < < b < 1: The sets d = ft 0 t 1 ::: t m g of points in the closed intervl [ b] such tht = t 0 <t 1 < <t m = b re clled divisions of [ b]: Given division d of [ b] its elements re usully denoted by t 0 t 1 ::: t m : The couples D =(d ) where d = ft 0 t 1 ::: t m g is divisionof[ b] nd =( 1 2 ::: m ) 2 R m is such tht t j;1 j t j for ll j =1 2 ::: m re clled prtitions of [ b]: A function f :[ b] 7! R which possesses nite limits f(t+) = lim f() nd f(s;) = lim f()!t+!s; for ll t 2 [ b) nd ll s 2 ( b] is sid to be regulted on [ b]: The set of ll regulted functions on [ b] is denoted by G ( b): Given f 2 G ( b) we dene f(;) =f() f(b+) = f(b) nd + f(t) =f(t+) ; f(t) ; f(t) =f(t) ; f(t;)
3 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl 3 f(t) =f(t+) ; f(t;): for ny t 2 [ b]: (In prticulr, we hve ; f() = + f(b) =0 f() = + f() nd f(b) = ; f(b).) It is known (cf. [5, Corollry 3.2]) tht if f 2 G ( b) then for ny " > 0 the set of points t 2 [ b] such tht j + f(t)j >" or j ; f(t)j >" is nite. Consequently, for ny f 2 G ( b) the set of its discontinuities in [ b] is countble. The subset of G ( b) consisting of ll functions regulted on [ b] nd left-continuous on ( b) will be denoted by G L ( b): A function f : [ b] 7! R is clled nite step function on [ b] if there exists division ft 0 t 1 ::: t m g of [ b] such tht f is constnt on every open intervl (t j;1 t j ) j =1 2 ::: m: The set of ll nite step functions on [ b] is denoted by S( b): A function f :[ b] 7! R is clled brek function on [ b] if there exist sequences ft k g 1 [ b] fc ; k g1 R nd fc + k g1 R such tht t k 6= t j for k 6= j c ; =0 if k t k = c + =0 if k t k = b 1X c ; nd (1.1) k f(t) = X tkt + c + < 1 k c ; k + X tk<t c + k for t 2 [ b] or equivlently f(t) = 1X c ; k [tk b](t)+c + k (tk b](t) for t 2 [ b]: Clerly, if f is given by (1.1), then + f(t k ) = c + k nd ; f(t k ) = c ; k for ny k 2 N nd f(t;) = f(t) = f(t+) if t 2 [ b] nft k g 1 : Furthermore, we hve f() =0 nd X 1 vr b f = c ; + c + k k for ny such function. The set of ll brek functions on [ b] is denoted by B ( b): BV( b) denotes the set of ll functions with bounded vrition on [ b] nd kfk BV = jf()j +vr b f for f 2 BV( b):
4 4 sopis p st. mt. 114 (1989), No. 2, pp It is known tht for ny f 2 BV( b) there exist uniquely determined functions f C 2 BV( b) nd f B 2 BV( b) such tht f C is continuous on [ b] f B is brek function on [ b] nd f(t) = f C (t) +f B (t) on [ b] (the Jordn decomposition of f 2 BV( b)). In prticulr, if W = fw k g k2n is the set of discontinuities of f in [ b] then (1.2) f B (t) = 1X ; f(w k ) [w k b](t)+ + f(w k ) (w k b](t) 2 [ b]: Moreover, if we put (1.3) f B n (t) = nx ; f(w k ) [w k b](t)+ + f(w k ) (w k b](t) on [ b] for ny n 2 N then (1.4) lim kf B n ; f B k BV =0 (cf. e.g. [14, the proof of Lemm I.4.23]). Obviously, Given f 2 G ( b) we dene S( b) B ( b) BV( b) G ( b): kf k = sup jf(t)j: t2[ b] Clerly, kfk < 1 for ny f 2 G ( b) nd when endowed with this norm, G ( b) becomes Bnch spce (cf. [5, Theorem 3.6]). It is known tht S( b) isdense in G ( b) (cf. [5, Theorem 3.1]). It mens tht f :[ b] 7! R is regulted if nd only if it is uniform limit on [ b] of sequence of nite step functions. Obviously, G L ( b) is closed in G ( b) nd hence it is lso Bnch spce. (Neither S( b) nor B ( b) re closed in G ( b) of course.) For some more detils concerning regulted functions see the monogrphs by Ch. S. H nig [5] nd by G. Aumnn [1] nd the ppers by D. Fr kov [2] nd [3]. The integrls which occur in this pper re the Perron-Stieltjes integrls. We will work with the following denition which is specil cse of the denition due to J. Kurzweil [8]. Let ;1 <<b<1: An rbitrry positive vlued function :[ b] 7! (0 1) is clled guge on [ b]: Given guge on [ b] the prtition (d ) of [ b] is sid to be -ne if [t j;1 t j ] ( j ; ( j ) j + ( j )) for ny j =1 2 ::: m:
5 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl 5 Given functions f g : [ b] 7! R nd prtition D =(d ) of[ b] let us dene S D (f g) = mx f( j )[g(t j ) ; g(t j;1 )]: We sy tht I 2 R is the Kurzweil integrl of f with respect to g from to b nd denote I = f(t)d[g(t)] or I = if for ny ">0 there exists guge on [ b] such tht I ; SD (f g) <" for ll -ne prtitions D of [ b]: The Perron-Stieltjes integrl with respect to function not necessrily of bounded vrition ws dened by A. J. Wrd [15] (cf. lso S. Sks [10, Chpter VI]). It cn be shown tht the Kurzweil integrl is equivlent totheperron-stieltjes integrl (cf. [11, Theorem 2.1], where the ssumption g 2 BV( b) is not used in the proof nd my be omitted). Consequently, the Riemnn-Stieltjes integrl (both of the norm type nd of the -type, cf. [4]) is its specil cse. The reltionship between the Kurzweil integrl, the -Young-Stieltjes integrl nd the Perron-Stieltjes integrl ws described by. Schwbik (cf. [11] nd [12]). Since we will mke use of some of the properties of the -Riemnn-Stieltjes integrl, let us indicte here the proof tht this integrl is included in the Kurzweil integrl. (For the denition of the -Riemnn-Stieltjes integrl, see e.g. [4, Sec. II.9].) 1.1. Proposition. R Let f g : [ b] 7! R nd I 2 e such tht the -Riemnnb Stieltjes integrl f dg exists nd equls I. Then the Perron-Stieltjes integrl R b f dg exists nd equls I s well. Proof. Let f dg = I 2 R i.e. for ny ">0 there is division d 0 = fs 0 s 1 ::: s m0 g of [ b] such tht for ny division d = ft 0 t 1 ::: t m g which is its renement (d 0 d) nd ny 2 R m such tht D =(d ) is prtition of [ b] the inequlity S D (f g) ; I <" f dg
6 6 sopis p st. mt. 114 (1989), No. 2, pp is stised. Let us dene ( 1 2 " (t) = minfjt ; s jj j =0 1 ::: m 0 g if t 62 d 0 " if t 2 d 0 : Then prtition D =(d ) of [ b] is " -ne only if for ny j = 1 2 ::: m 0 there is n index i j such tht s j = i j : Furthermore, S D (f g) = mx h i f( j )[g(t j ) ; g( j )] + f( j )[g( j ) ; g(t j;1 )] for ny prtition D =(d )of[ b]: Consequently, forny " -ne prtition D =(d ) of [ b] the corresponding integrl sum S D (f g) equls the integrl sum S D 0(f g) corresponding to prtition D 0 = (d 0 0 ) where d 0 is division of [ b] such tht d 0 d 0 nd hence S D 0(f g) ; I <": This mens tht the Kurzweil integrl f dg exists nd holds. f dg = f dg = I To prove the existence of the Perron-Stieltjes integrl f dg for ny f 2 BV( b) nd ny g 2 G ( b) in Theorem 2.8 the following ssertion is helpful Proposition. Let f 2 BV( b) be continuous on [ b] nd let g 2 G ( b) then both the -Riemnn-Stieltjes integrls exist. f dg nd Proof. Let f 2 BV( b) which is continuous on [ b] nd g 2 G ( b) be given.according to the integrtion-by-prts formul [4, II.11.7] for -Riemnn-Stieltjes integrls to prove the lemm it is sucient toshow tht the integrl gdf exists. First, let us ssume tht n rbitrry 2 [ b] isgiven nd g = [ ] : Let us put gdf f bg d 0 = f bg if = or = b if 2 ( b):
7 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl 7 It is esy to see tht then for ny prtition D =(d ) such tht d 0 d = ft 0 t 1 ::: t m g we hve = t k for some k 2f0 1 ::: mg nd ( f() ; f() if k+1 > S D (g f) = f(t k+1 ) ; f() if k+1 = : Since f is ssumed to be continuous, it is esy to show tht for given ">0 there exists division d of [ b] such tht d 0 d nd SD (g f) ; [f() ; f()] <" holds for ny prtition D =(d ) of[ b] with d d i.e. nd [ ] df = f() ; f() for ll 2 [ b]: By similr rgument we could show the following reltions: s well. It follows tht the integrl [ ) df = f() ; f() for ll 2 ( b] [ b] df = f(b) ; f() for ll 2 [ b] ( b] df = f(b) ; f() for ll 2 [ b) gdf exists for ny f 2 BV( b) continuous on [ b] nd ny g 2 S( b)(cf. Remrk 2.2). Now, if g 2 G ( b) is rbitrry, then there exists sequence fg n g 1 S( b) such tht lim kg n ; gk =0: Since by the preceding prt of the proof of the lemm ll the integrls g ndf hve nite vlue, by mens of the convergence theorem [4, Theorem II.15.1] vlid
8 8 sopis p st. mt. 114 (1989), No. 2, pp for -Riemnn-Stieltjes integrls we obtin tht the integrl gdf the reltion exists nd holds. This completes the proof. lim g n df = gdf 2 R A direct corollry of Proposition 1.2 nd of [4, Theorem II.13.17] is the following ssertion which will be helpful for the proof of the integrtion-by-prts formul Theorem (Of course, we could prove it by n rgument similr to tht used in the proof of Proposition 1.2, s well.) 1.3. Corollry. Let f 2 BV( b) nd g 2 G ( b): Let + f(t) + g(t) = ; f(t) ; g(t) =0 for ll t 2 ( b): Then both the -Riemnn-Stieltjes integrls exist. f dg nd gdf It is well known (cf. e.g. [14, Theorems I.4.17, I.4.19 nd Corollry I.4.27] tht if f 2 G ( b) nd g 2 BV( b) then the integrl f dg exists nd the inequlity f dg ; kfk vr b g holds. The Kurzweil integrl is n dditive function of intervls nd possesses the usul linerity properties. For the proofs of these ssertions nd some more detils concerning the Kurzweil integrl with respect to functions of bounded vrition see e.g. [8], [9], [13] nd [14]. 2. Perron-Stieltjes integrl with respect to regulted functions In this section we del with the integrls f(t)d[g(t)] nd g(t)d[f(t)]
9 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl 9 where f 2 BV( b) nd g 2 G ( b): we prove some bsic theorems (integrtion - by - prts formul, convergence theorems, substitution theorem nd unsymmetric Fubini theorem) needed in the theory of Stieltjes integrl equtions in the spce G ( b): However, our rst tsk is the proof of existence of the integrl f dg for ny f 2 BV( b) nd ny g 2 G ( b): First, we will consider some simple specil cses Proposition. Let g 2 G ( b) be rbitrry. Then for ny 2 [ b] we hve (2.1) (2.2) (2.3) [ ] dg = g(+) ; g() [ ) dg = g(;) ; g() [ b] dg = g(b) ; g(;) (2.4) nd (2.5) ( b] dg = g(b) ; g(+) [ ] dg = g(+) ; g(;) where [) (t) (b] (t) 0 nd the convention g(;) =g() g(b+) = g(b) is used. Proof. Let g 2 G ( b) nd 2 [ b] be given. ) Let f = [ ] : It follows immeditely from the denition tht Z f dg = g() ; g(): In prticulr, 2.1 holds in the cse = b: Let 2 [ b) let ">0begiven nd let ( 1 j ; tj if <t b 2 " (t) = " if t = : It is esy to see tht ny " -ne prtition D =(d ) of[ b] must stisfy Consequently, Z b 1 = t 0 = t 1 <+ " nd S D (f g) =g(t 1 ) ; g(): nd f dg = g(+) ; g()
10 10 sopis p st. mt. 114 (1989), No. 2, pp f dg = Z f dg + f dg = g() ; g()+g(+) ; g() =g(+) ; g() i.e. the reltion (2.1) is true for every 2 [ b]: b) Let f = [ ) : If = then f 0 g(;) ; g() = 0 nd (2.2) is trivil. Let 2 ( b]: For given ">0 let us dene guge " on [ ] by ( 1 j ; tj if t< 2 " (t) = " if t = : Then for ny " -ne prtition D =(d ) of[ ] we hve t m = m = t m;1 <; " nd S D (f g) =g(t m;1 ) ; g(): It follows immeditely tht Z nd in view of the obvious identity f dg = g(;) ; g() f dg =0 this implies (2.2). c) The remining reltions follow from 2.1, 2.2 nd the equlities nd [ b] = [ b] ; [ ) ( b] = [ b] ; [ ] [ ] = [ ] ; [ ) : 2.2. Remrk. Since ny nite step function is liner combintion of functions [ b] ( b) nd ( b] ( <b), it follows immeditely from Proposition 2.1 tht the integrl f dg exists for ny f 2 S( b) ndny g 2 G ( b): Other simple cses re covered by
11 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl Proposition. Let 2 [ b]: Then for ny function f :[ b] 7! R the following reltions re true (2.6) (2.7) (2.8) (2.9) nd (2.10) ( ;f() if <b f d [ ] = 0 if = b ( ;f() if > f d [ ) = 0 if = ( f() if > f d [ b] = 0 if = ( f() if <b f d ( b] = 0 if = b f d [ ] = 8 >< >: ;f() if = 0 if <<b f(b) if = b where [) (t) (b] (t) 0 nd the convention g(;) =g() g(b+) = g(b) is used. For the proof see [14, I.4.21 nd I.4.22] Corollry. Let W = fw 1 w 2 ::: w n g [ b] c 2 R nd h : [ b] 7! e such tht (2.11) Then (2.12) h(t) =c for ll t 2 [ b] n W: f dh = f(b)[h(b) ; c] ; f()[h() ; c] holds for ny function f :[ b] 7! R: Proof. A function h :[ b] 7! R fulls (2.11) if nd only if h(t) =c + nx [h(w j ) ; c] [w j ](t) on [ b]: Thus the formul (2.12) follows from (2.6) (with = b) nd from (2.10) in Proposition 2.3.
12 12 sopis p st. mt. 114 (1989), No. 2, pp Remrk. It is well known (cf. [14, I.4.17] or [13, Theorem 1.22]) tht if g 2 BV( b) h :[ b] 7! R nd h n :[ b] 7! R R n 2 N re such tht h ndg exist b for ny n 2 N nd lim kh n ; hk =0 then hdg exists nd (2.13) lim h n dg = hdg holds. To prove n nlogous ssertion for the cse g 2 G ( b) we need the following uxiliry ssertion Lemm. Let f 2 BV( b) nd g 2 G ( b): The the inequlity (2.14) js D (f g)j ; jf()j + jf(b)j +vr b f kgk holds for n rbitrry prtition D of [ b]: Proof. For n rbitrry prtition D = (d ) of [ b] we hve (putting 0 = nd m+1 = b) js D (f g)j = jf(b)g(b) ; f()g() ; m+1 X [f( j ) ; f( j;1 )]g(t j;1 )j m+1 X jf(b)j + jf()j + jf( j ) ; f( j;1 )j kgk ; jf()j + jf(b)j +vr b f kgk: 2.7. Theorem. Let g 2 G ( b) nd let h n h:[ b] 7! e such tht h n dg exists for ny n 2 N nd lim kh n ; hk BV =0: Then hdg Proof. Since exists nd (2.13) holds. jf(b)j jf()j + jf(b) ; f()j jf()j +vr b f we hve by (2.14) js D ((h m ; h k )g)j 2kh m ; h k k BV kgk
13 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl 13 for ll m k 2 N nd ll prtitions D of [ b]: Consequently, (h m ; h k )dg 2kh m ; h k k BV kgk holds for ll m k 2 N : This immeditely implies tht there is q 2 R such tht It remins to show tht lim h n dg = q: (2.15) For given ">0 let n 0 2 N (2.16) q = be such tht nd let " be such guge on [ b] tht (2.17) hdg: h n0 dg ; q <" nd kh n0 ; hk BV <" S D (h n0 g) ; h n0 dg <" for ll " -ne prtitions D of [ b]: Given n rbitrry " -ne prtition D of [ b] we hve by (2.16), (2.17) nd Lemm 2.6 jq ; S D (h g)j q ; h n0 dg + + S D (h n0 g) ; S D (h g) h n0 dg ; S D (h n0 g) 2" + js D ([h n0 ; h]g)j 2" +2kh n0 ; hk BV kgk 2" (1 + kgk) wherefrom the reltion (2.15) immeditely follows. This completes the proof of the theorem. Now we cn prove the following 2.8. Theorem. Let f 2 BV( b) nd g 2 G ( b): Then the integrl f dg
14 14 sopis p st. mt. 114 (1989), No. 2, pp exists nd the inequlity (2.18) holds. f dg ; jf()j + jf(b)j +vr b f kgk Proof. Let f 2 BV( b) nd g 2 G ( b) be given. Let W = fw k g k2n be the set of discontinuities of f in [ b] nd let f = f C + f B be the Jordn decomposition of f (i.e. f C is continuous on [ b] nd f B is given by (1.2)). We hve lim kf B n ; f B k BV =0 for f B n n 2 N given by (1.3). By (2.3) nd (2.4), (2.19) f B n dg = nx + f(w k )(g(b) ; g(w k +)) + ; f(w k )(g(b) ; g(w k ;)) holds for ny n 2 N : Thus ccording to Theorem 2.7 the integrl nd f B dg exists (2.20) f B dg = lim f B n dg: The integrl f C dg exists s the -Riemnn-Stieltjes integrl by Proposition 1.2. This mens tht f dg exists nd f dg = f C dg + f B dg = The inequlity (2.18) follows immeditely from Lemm 2.6. f C dg + lim f B n dg: 2.9. Remrk. Since 1X + f(w k )(g(b) ; g(w k +)) + ; f(w k )(g(b) ; g(w k ;)) 2kgk 1X j + f(w k )j + j ; f(w k )j 2kgk(vr b f) < 1
15 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl 15 we hve in virtue of (2.19) nd (2.20) (2.21) f B dg = 1X + f(w k )(g(b) ; g(w k +)) + ; f(w k )(g(b) ; g(w k ;)) : As direct consequence of Theorem 2.8 we obtin Corollry. Let h n 2 G ( b) n 2 N nd h 2 G ( b) be such tht Then for ny f 2 BV( b) the integrls lim kh n ; hk =0: nd f dh lim nd f dh n = f dh n n 2 N f dh: exist Lemm. Let h : [ b]! R c 2 R nd W = fw k g k2n [ b] be such tht (2.11) nd (2.22) 1X jh(w k ) ; cj < 1 hold. Given n 2 N let us put W n = fw 1 w 2 ::: w n g nd (2.23) h n (t) = ( c if t 2 [ b] n Wn h(t) if t 2 W n : Then h n 2 BV( b) for ny n 2 N h 2 BV( b) nd (2.24) lim kh n ; hk BV =0 Proof. The functions h n n2 N nd h evidently hve bounded vrition on [ b]. For given n 2 N we hve h n (t) ; h(t) = ( 0 if t 2 W n or t 2 [ b] n W c ; h n (t) if t = w k for some k>n:
16 16 sopis p st. mt. 114 (1989), No. 2, pp Thus, (2.25) nd, moreover, lim h n(t) =h(t) on [ b] mx ; ; h n (t j ) ; h(t j ) ; h n (t j;1 ) ; h(t j;1 ) X X 1 2 k=n+1 jh(w k ) ; cj holds for ny n 2 N nd ny division ft 0 t 1 ::: t m g of [ b]: Consequently, (2.26) vr b (h n ; h) 2 1X k=n+1 jh(w k ) ; cj holds for ny n 2 N : In virtue of the ssumption (2.22) the right-hnd side of (2.26) tends to0sn!1: Hence (2.24) follows from (2.25) nd (2.26) Proposition. Let h : [ b] 7! R c 2 R nd W = fw k g k2n be such tht (2.11) nd (2.22) hold. Then hdg = holds for ny g 2 G ( b): 1X [h(w k ) ; c]g(w k )+c [g(b) ; g()] Proof. Let g 2 G ( b) be given. Let W n = fw 1 w 2 ::: w n g for n 2 N nd let the functions h n n2n be given by (2.23). Given n rbitrry n 2 N then (2.1) (with = b) nd (2.5) from Proposition 2.1 imply Since (2.22) yields h n dg = nx [h(w k ) ; c]g(w k )+c[g(b) ; g()]: nx [h(wk ) ; c]g(w k ) X 1 2 kgk nd Lemm 2.11 implies we cn use Theorem 2.7 to prove tht hdg = lim lim kh n ; hk BV =0 h n dg = 1X jh(w k ) ; cj < 1 [h(w k ) ; c]g(w k )+c [g(b) ; g()]:
17 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl Proposition. Let h :[ b] 7! R c 2 R nd W = fw k g k2n full (2.11). Then (2.27) f dh = f(b)[h(b) ; c] ; f()[h() ; c] holds for ny f 2 BV( b): Proof. Let f 2 BV( b): For given n 2 N let W n = fw 1 w 2 ::: w n g nd let h n be given by (2.23). Then (2.28) Indeed, let ">0begiven nd let n 0 2 N lim kh n ; hk =0: be such tht k n 0 implies (2.29) jh(w k ) ; cj <": (Such n n 0 exists since jh(w k ) ; cj = j ; h(w k )j = j + h(w k )j for ny k 2 N nd the set of those k 2 N for which the inequlity (2.29) does not hold my be only nite.) Now, for ny n n 0 nd ny t 2 [ b] such tht t = w k for some k > n (t 2 W n W n )we hve jh n (t) ; h(t)j = jh n (w k ) ; h(w k )j = jc ; h(w k )j <": Since h n (t) =h(t) for ll the other t 2 [ b] (t 2 ; [ b] n W [ W n ), it follows tht jh n (t) ; h(t)j <"on [ b] i.e. kh n ; hk <": This proves the reltion (2.28). By Corollry 2.4 we hve for ny n 2 N f dh n = f(b)[h(b) ; c] ; f()[h() ; c]: Mking use of (2.28) nd Corollry 2.10 we obtin we obtin f dh = lim f dh n = f(b)[h(b) ; c] ; f()[h() ; c]: Corollry. Let h 2 BV( b) c 2 R nd W = fw k g k2n full (2.11). Then (2.27) holds for ny f 2 G ( b): Proof. By Proposition 2.12, (2.27) holds for ny f 2 BV( b): Mking use of the density of S( b) BV( b) in G ( b) nd of the convergence theorem mentioned in Remrk 2.5 we complete the proof of our ssumption.
18 18 sopis p st. mt. 114 (1989), No. 2, pp Theorem. (Integrtion-by-prts) If f 2 BV( b) nd g 2 G ( b) then both the integrls R f dg nd b gdf exist nd (2.30) f dg + + X gdf = f(b)g(b) ; f()g() t2[ b] ; f(t) ; g(t) ; + f(t) + g(t) : Proof. The existence of the integrl gdf is well known, while the existence of R b gdf is gurnteed by Theorem 2.8. Furthermore, = f dg + ; gdf f(t)d[g(t)+ + g(t)] + f(t)d[ + g(t)] + g(t)d[f(t) ; ; f(t)] g(t)d[ ; f(t)]: It is esy to verify tht the function h(t) = + g(t) fulls the reltion (2.11) with c = 0 nd h(b) = 0: Consequently, Proposition 2.13 yields Similrly, by Corollry 2.14 we hve Hence f(t)d[ + g(t)] = ;f() + g(): g(t)d[ ; f(t)] = ; f(b)g(b): (2.31) f dg + g(t)df = f(t)d[g(t+)] + g(t)d[f(t;)] + f() + g()+ ; f(b)g(b): The rst integrl on the right-hnd side my be modied in the following wy: (2.32) f(t)d[g(t+)] = f(t;)d[g(t+)] + ; f(t)d[g(t+)]:
19 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl 19 Mking use of Proposition 2.12 nd tking into ccount tht g 1 (t) = g(t) on [ b] for the function g 1 dened by g 1 (t) =g(t+) on [ b] we further obtin X (2.33) ; f(t)d[g(t+)] = ; f(t)g(t): Similrly, t2[ b] (2.34) g(t)d[f(t;)] = = g(t+)df(t;) ; g(t+)d[f(t;)] ; X + g(t)d[f(t;)] t2[ b] + g(t)f(t): The function f(t;) is left-continuous on [ b] while g(t+) is right-continuous on [ b): It mens tht both the integrls f(t;)d[g(t+)] nd g(t+)d[f(t;)] exist s the -Riemnn-Stieltjes integrls (cf. Corollry 1.3), nd mking use of the integrtion-by-prts theorem for these integrls (cf. [4, Theorem II.11.7]) we get (2.35) f(t;)d[g(t+)] + Inserting (2.32) - (2.35) into (2.31) we get f dg + nd this completes the proof + X g(t+)d[f(t;)] = f(b;)g(b) ; f()g(+): gdf = f(b;)g(b) ; f()g(+) t2[ b] ; f(t)[ ; g(t)+ + g(t)] X ; [ ; f(t)+ + f(t)] + g(t) t2[ b] + f() + g()+ ; f(b)g(b) = f(b)g(b) ; f()g() X + t2[ b] ; f(t) ; g(t) ; + f(t) + g(t)
20 20 sopis p st. mt. 114 (1989), No. 2, pp The following proposition describes some properties of indenite Perron-Stieltjes integrls Proposition. Let f : [ b] 7! R nd g : [ b] 7! e such tht exists. Then the function f dg h(t) = Z t f dg is dened on [ b] nd (i) if g 2 G ( b) then h 2 G ( b) nd (2.36) + h(t) =f(t) + g(t) ; h(t) =f(t) ; g(t) on [ b] (ii) if g 2 BV( b) nd f is bounded on [ b] then h 2 BV( b): Proof. The former ssertion follows from [8, Theorem 1.3.5]. immeditely from the inequlity mx Z tj tj;1 f dg mx kfk (vr tj tj;1 g) = kfk(vr b g) which is vlid for ny division ft 0 t 1 ::: t m g of [ b]: (2.37) The ltter follows In the theory of generlized dierentil equtions the substitution formul h(t)d hz t f(s)d[g(s)] i = h(t)f(t)d[g(t)] is often needed. In [4, II ] this formul is proved for the -Young-Stieltjes integrl under the ssumption tht g 2 G ( b) h is bounded on [ b] nd the integrl f dg s well s one of the integrls in (2.37) exists. In [14, Theorem I.4.25] this ssertion ws proved for the Kurzweil integrl. Though it ws ssumed there tht g 2 BV( b) this ssumption ws not used in the proof. We will givehere slightly dierent proof bsed on the Sks-Henstock lemm (cf. e.g. [13, Lemm 1.11]) Lemm. (Sks-Henstock) Let f g : [ b] 7! e such tht the integrl f dg exists. Let ">0 be given nd let be guge on [ b] such tht S D (f g) ; f dg <"
21 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl 21 holds for ny -ne prtition D of [ b]: Then for n rbitrry system f([ i i ] i ) i =1 2 ::: kg of intervls nd points such tht (2.38) nd the inequlity (2.39) k k k b [ i i ] [ i ; ( i ) i + ( i )] i =1 2 ::: k kx h i=1 Z i f( i )[g( i ) ; g( i )] ; i f dgi <" holds. Mking use of Lemm 2.17 we cn prove the following useful ssertion Lemm. If f : [ b] 7! R nd g : [ b] 7! R re such tht then for ny ">0 there exists guge on [ b] such tht mx Z t j f( j )[g(t j ) ; g(t j;1 (2.40) )] ; f dg <" tj;1 holds for ny -ne prtition (d ) of [ b]: f dg exists, Proof. Let :[ b] 7! (0 1) be such tht Z b S D (f g) ; f dg X Z = m t j f( j )[g(t j ) ; g(t j;1 )] ; tj;1 f dg < " 2 for ll -ne prtitions D =(d )of[ b]: Let us choose n rbitrry -ne prtition D = (d ) of [ b]: Let i = t p i nd i = t p i;1 i = 1 2 ::: k be ll the points of the division d such tht Z i f( p i)[g( i ) ; g( i )] ; f dg 0: i Then the system f([ i i ] i ) i = 1 2 ::: kg where i = p i fulls (2.38) nd (2.39) nd hence we cn use Lemm2.17toprove tht the inequlity kx Z i f( p i)[g( i ) ; g( i )] ; f dg < " 2 i i=1 is true. Similrly, if! i = t q i nd i = t q i;1 i = 1 2 ::: r re ll points of the division d such tht Z! i f( q i)[g(! i ) ; g( i )] ; f dg 0 i
22 22 sopis p st. mt. 114 (1989), No. 2, pp the the inequlity rx i=1 Z! i f( q i)[g(! i ) ; g( i )] ; f dg < " 2 i follows from Lemm 2.17, s well. Summrizing, we conclude tht mx Z t j f( j )[g(t j ) ; g(t j;1 )] ; f dg tj;1 = kx i=1 + Z i f( p i)[g( i ) ; g( i )] ; f dg i Z! i f( q i)[g(! i ) ; g( i )] ; f dg i rx i=1 < " + " = ": 2 2 This completes the proof Theorem. Let h :[ b] 7! e bounded on [ b] nd let f g :[ b] 7! e such tht the integrl f dg exists. Then the integrl h(t)f(t)d[g(t)] exists if nd only if the integrl hz t i h(t)d f(s)d[g(s)] exists, nd in this cse the reltion (2.37) holds. Proof. Let jh(t)j C < 1 on [ b]: Let us ssume tht the integrl h(t)f(t)d[g(t)] exists nd let ">0begiven. There exists guge 1 on [ b] such tht X m h( k )f( j )[g(t j ) ; g(t j;1 )] ; h(t)f(t)d[g(t)] < " 2
23 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl 23 is stised for ny 1 -ne prtition (d ) of [ b]: By Lemm 2.18 there exists guge on [ b] such tht (t) 1 (t) on [ b] nd mx Z t j f( j )[g(t j ) ; g(t j;1 )] ; f dg < " 2C tj;1 holds for ny -ne prtition (d ) of[ b]: Let us denote k(t) = Z t f dg for t 2 [ b]: Then for ny -ne prtition D =(d ) of[ b] we hve S D (h k) ; X = m + mx X m + X m h(t)f(t)d[g(t)] Z t j mx h( j ) f dg ; h( j )f( j )[g(t j ) ; g(t j;1 )] tj;1 h( j )f( j )[g(t j ) ; g(t j;1 )] ; h( j ) hz t j tj;1 h(t)f(t)d[g(t)] f dg ; f( j )[g(t j ) ; g(t j;1 )]i h( j )f( j )[g(t j ) ; g(t j;1 )] ; This implies the existence of the integrl hdk hf dg <" nd the reltion (2.37). wy. The second impliction cn be proved in n nlogous The convergence result 2.10 enbles us to extend the known theorems on the chnge of integrtion order in iterted integrls Z d h i Z d (2.41) g(t)d h(t s)d[f(s)] g(t)d t [h(t s)] d[f(s)] c where ;1 < c < d < 1 nd h is of strongly bounded vrition on [c d] [ b] (cf. [14, Theorem I.6.20]). In wht follows v(h) denotes the Vitli vrition of the c
24 24 sopis p st. mt. 114 (1989), No. 2, pp function h on [c d] [ b] (cf. [4, Denition III.4.1] or [14, I.6.1]). For given t 2 [c d] vr b h(t :) denotes the vrition of the function s 2 [ b] 7! h(t s) 2 R on [ b]: Similrly,fors 2 [ b] xed, vr d ch(: s) stnds for the vrition of the function t 2 [c d] 7! h(t s) 2 R on [c d]: Theorem. Let h :[c d] [ b] 7! e such tht v(h)+vr b h(c :)+vrd ch(: ) < 1: Then for ny f 2 BV( b) nd ny g 2 G (c d) both the integrls (2.41) exist nd (2.42) Z d c g(t)d h h(t s)d[f(s)] i = Z d c g(t)d t [h(t s)] d[f(s)]: Proof. Let us notice tht by [14, Theorem I.6.20] our ssertion is true if g is lso supposed to be of bounded vrition. in the generl cse of g 2 G ( b) there exists sequence fg n g 1 n=1 S( b)such tht lim kg ; g n k =0: Then, since the function v(t) = h(t s)d[f(s)] is of bounded vrition on [c d] (cf. the rst prt of the proof of [14, Theorem I.6.20]), the integrl on left-hnd side of (2.42) exists nd by Corollry 2.10 nd [14, Theorem I.6.20] we hve (2.43) Z d c Let us denote g(t)d w n (t) = h Z d c h(t s)d[f(s)] i Z d h i = lim g n (t)d h(t s)d[f(s)] c Z d = lim c g n (t)d t [h(t s)] g n (t)d t [h(t s)] for s 2 [ b] nd n 2 N : d[f(s)]: Then w n 2 BV( b) for ny n 2 N (cf. [14, Theorem I.6.18]) nd by [14, Theorem I.4.17] mentioned here in Remrk 2.5 we obtin lim w n(s) = Z d c g n (t)d t [h(t s)] := w(s) on [ b]: As ; jw n (s) ; w(s)j kg n ; gk vr d c h(: s) ; kg n ; gk v(h)+vr d ch(: )
25 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl 25 for ny s 2 [ b] (cf. [14, Lemm I.6.6]), we hve lim kw n ; wk =0: It mens tht w 2 G ( b) nd by Theorem 2.8 the integrl w(s)d[f(s)] = exists s well. Since obviously lim Z d c Z d g n (t)d t [h(t s)] d[f(s)] = lim = the reltion (2.42) follows from (2.43). c g(t)d t [h(t s)] w(s)d[f(s)] = w n (s)d[f(s)] Z d c d[f(s)] g(t)d t [h(t s)] d[f(s)] 3. Liner bounded functionls on G L (,b) By Theorem 2.8 the expression (3.1) F (x) =qx()+ pdq is dened for ny x 2 G ( b) nd ny =(p q) 2 BV( b) R: Moreover, for ny 2 BV( b) R the reltion (3.1) denes liner bounded functionl on G L ( b): Proposition 2.3 immeditely implies 3.1. Lemm. Let =(p q) 2 BV( b) e given. Then (3.2) F ( [ b] ) = q F ( ( b] )=p() for ny 2 [ b) F ( [b] ) = p(b): 3.2. Corollry. If = (p q) 2 BV( b) R nd F (x) = 0 for ll x 2 S( b) which re left-continuous on ( b) then p(t) 0 on [ b] nd q =0:
26 26 sopis p st. mt. 114 (1989), No. 2, pp Lemm. Let x 2 G ( b) be given. Then for given =(p q) 2 BV( b)r (3.3) F (x) =x() if p 0 on [ b] nd q =1 F (x) =x(b) if p 1 on [ b] nd q =1 F (x) =x(;) if p = [ ) on [ b] 2 ( b] nd q =1 F (x) =x(+) if p = [ ] on [ b] 2 [ b) nd q =1: Proof follows from Proposition Corollry. If x 2 G ( b) nd F (x) = 0 for ll = (p q) 2 BV( b) R then (3.4) x() =x(+) = x(;) =x(+) = x(b;) =x(b) holds for ny 2 ( b): In prticulr, if x 2 G L ( b) (x is left-continuous on ( b)) nd F (x) =0for ll =(p q) 2 BV( b) R then x(t) 0 on [ b]: 3.5. Remrk. The spce BV( b) R is supposed to be equipped with the usul norm (kk BVR = jqj + kpk BV for = (p q) 2 BV( b) R). Obviously, it is Bnch spce with respect to this norm Proposition. The spces G L ( b) nd BV( b) R form dul pir with respect to the biliner form (3.5) x 2 G L ( b) 2 BV( b) R 7! F (x): Proof follows from Corollries 3.2 nd 3.4. On the other hnd, we hve 3.7. Lemm. If F is liner bounded functionl on G L ( b) nd (3.6) p(t) = ( F ((t b] ) if t 2 [ b) F ( [b] ) if t = b then p 2 BV( b) nd (3.7) where jp()j + jp(b)j +vr b p 2kF k kf k = sup jf (x)j: x2g L ( b) kxk1
27 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl 27 Proof is nlogous to tht of prt c (i) of [5, Theorem 5.1]. Indeed, for n rbitrry division ft 0 t 1 ::: t m g of [ b] we hve sup jcjj1 cj2r = sup jcjj1 cj2r p()c 0 + p(b)c m+1 + mx [p(t j ) ; p(t j;1 )]c j m;1 X F (c 0 ( b] + c m+1 [b] ; sup jf (h)j =2kF k: khk2 h2g L ( b) c j (t j;1 tj ] + c m (t m;1 b)) In prticulr, for c 0 = sgn p() c m+1 = sgn p(b) nd c j = sgn(p(t j ) ; p(t j;1 )) j =1 2 ::: m we get jp()j + jp(b)j + mx nd the inequlity (3.7) immeditely follows. jp(t j ) ; p(t j;1 )j2kf k Using the ides from the proof of [5, Theorem 5.1] we my now prove the following representtion theorem Theorem. F is liner bounded functionl on G L ( b) (F 2 G L( b)) if nd only if (3.8) The mpping there is n =(p q) 2 BV( b) R such tht F (x) =F (x) is n isomorphism. := qx()+ pdx for ny : 2 BV( b) R 7! F 2 G L( b) x 2 G L ( b): Proof. Let liner bounded functionl F on G L ( b) be given nd let us put (3.9) q = F ( [ b] ) nd p(t) = ( F ((t b] ) if t 2 [ b) F ( [b] ) if t = b: Then Lemm 2.6 implies =(p q) 2 BV( b) R nd by Lemm 3.1 we hve nd F ( [ b] )=F ( [ b] ) F ( (t b] ) = F ( (t b] ) for ny t 2 [ b)
28 28 sopis p st. mt. 114 (1989), No. 2, pp F ( [b] ) = F ( [b] ): Since ll functions from S( b)\ G L ( b) obviously re nite liner combintions of the functions [ b] ( b] 2 [ b) [b] it follows tht F (x) =F (x) holds for ny x 2 S( b) \ G L ( b): Now, the density of S( b) \ G L ( b) in G L ( b) implies tht F (x) =F (x) for ll x 2 G L ( b): This completes the proof of the rst ssertion of the theorem. Given n x 2 G L ( b) then Lemm 2.6 yields nd consequently, jf (x)j ; jp()j + jp(b)j +vr b p + jqj kxk kf kjp()j + jp(b)j +vr b p + jqj 2; kpk BV + jqj =2kk BVR : On the other hnd, ccording to Lemm 3.7 we hve kpk BV ; jp()j + jp(b)j +vr b p 2kF k: Furthermore, in virtue of (3.9) we hve jqj kf k nd hence It mens tht kk BVR = kpk BV + jqj 2kF k: 1 kf kkk 2 BVR 3kF k nd this completes the proof of the theorem. References [1] Aumnn G., Reelle Funktionen, (Springer-Verlg, Berlin, 1969). [2] Fr kov D., Continuous dependence on prmeter of solutions of generlized dierentil equtions, sopis p st. mt., 114 (1989), 230{261. [3] Fr kov D., Regulted functions, Mth. Bohem. 116 (1991), 20{59.
29 M.Tvrd : Regulted functions nd the Perron-Stieltjes integrl 29 [4] Hildebrndt T. H., Introduction to the Theory of Integrtion, (Acdemic Press, New York- London, 1963). [5] H nig Ch. S., Volterr Stieltjes-Integrl Equtions, (North Hollnd nd Americn Elsevier, Mthemtics Studies 16, Amsterdm nd New York, 1975). [6] H nig Ch. S., Volterr-Stieltjes integrl equtions, in Functionl Dierentil Equtions nd Bifurction, Proceedings of the So Crlos Conference 1979 (Lecture Notes in Mthemtics 799, Springer-Verlg, Berlin, 1980), pp. 173{216. [7] Kltenborn H. S., Liner functionl opertions on functions hving discontinuities of the rst kind, Bulletin A. M. S. 40 (1934), 702{708. [8] Kurzweil J., Generlized ordinry dierentil equtions nd continuous dependence on prmeter, Czechoslovk Mth. J. 7(82)(1957), 418{449. [9] Kurzweil J., Nichtbsolute konvergente Integrle, (BSB B. G. Teubner Verlgsgesselschft, Leipzig, 1980). [10] Sks S., Theory of the Integrl, (Monogre Mtemtyczne, Wrszw, 1937), [11] Schwbik., On the reltion between Young's nd Kurzweil's concept of Stieltjes integrl, sopis P st. Mt. 98 (1973), 237{251. [12] Schwbik., On modied sum integrl of Stieltjes type, sopis P st. Mt. 98 (1973), 274{ 277. [13] Schwbik., Generlized Dierentil Equtions (Fundmentl Results), (Rozprvy SAV, d MPV, 95 (6)) (Acdemi, Prh, 1985). [14] Schwbik., Tvrd M., Vejvod O., Dierentil nd Integrl Equtions: Boundry Vlue Problems nd Adjoints, (Acdemi nd D. Reidel, Prh nd Dordrecht, 1979). [15] Wrd A. J., The Perron-Stieltjes integrl, Mth. Z. 41 (1936), 578{604.
Memoirs on Differential Equations and Mathematical Physics Volume 25, 2002, 1 104
Memoirs on Differentil Equtions nd Mthemticl Physics Volume 25, 22, 1 14 M. Tvrdý DIFFERENTIAL AND INTEGRAL EQUATIONS IN THE SPACE OF REGULATED FUNCTIONS Abstrct.???. 2 Mthemtics Subject Clssifiction.???.
More informationINSTITUTE of MATHEMATICS. ACADEMY of SCIENCES of the CZECH REPUBLIC
INSTITUTE of MATHEMATICS Acdemy of Sciences Czech Republic INSTITUTE of MATHEMATICS ACADEMY of SCIENCES of the CZECH REPUBLIC Generlized liner differentil equtions in Bnch spce: Continuous dependence on
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 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 informationConvergence results for the Abstract Kurzweil-Stieltjes integral: a survey
Convergence results for the Abstrct Kurzweil-Stieltjes integrl: survey Giselle A. Monteiro Mthemticl Institute, Slovk Acdemy Sciences Seminr on ordinry differentil equtions nd integrtion theory - Specil
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationThe 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 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 dierentil eqution (ODE) du f(t) dt with initil condition u() : Just
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 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 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 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 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 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 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 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 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 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 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 informationRiemann Stieltjes Integration - Definition and Existence of Integral
- Definition nd Existence of Integrl Dr. Adity Kushik Directorte of Distnce Eduction Kurukshetr University, Kurukshetr Hryn 136119 Indi. Prtition Riemnn Stieltjes Sums Refinement Definition Given closed
More informationThe one-dimensional Henstock-Kurzweil integral
Chpter 1 The one-dimensionl Henstock-Kurzweil integrl 1.1 Introduction nd Cousin s Lemm The purpose o this monogrph is to study multiple Henstock-Kurzweil integrls. In the present chpter, we shll irst
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 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 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 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 informationRGMIA Research Report Collection, Vol. 1, No. 1, SOME OSTROWSKI TYPE INEQUALITIES FOR N-TIME DIFFERENTIA
ttp//sci.vut.edu.u/rgmi/reports.tml SOME OSTROWSKI TYPE INEQUALITIES FOR N-TIME DIFFERENTIABLE MAPPINGS AND APPLICATIONS P. CERONE, S.S. DRAGOMIR AND J. ROUMELIOTIS Astrct. Some generliztions of te Ostrowski
More informationPreliminaries From Calculus
Chpter 1 Preliminries From Clculus Stochstic clculus dels with functions of time t, t T. In this chpter some concepts of the infinitesiml clculus used in the sequel re given. 1.1 Functions in Clculus Continuous
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 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 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 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 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 informationIntegral inequalities
Integrl inequlities Constntin P. Niculescu Bsic remrk: If f : [; ]! R is (Riemnn) integrle nd nonnegtive, then f(t)dt : Equlity occurs if nd only if f = lmost everywhere (.e.) When f is continuous, f =.e.
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 informationMath 61CM - Solutions to homework 9
Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ
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 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 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 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 informationMath 360: A primitive integral and elementary functions
Mth 360: A primitive integrl nd elementry functions D. DeTurck University of Pennsylvni October 16, 2017 D. DeTurck Mth 360 001 2017C: Integrl/functions 1 / 32 Setup for the integrl prtitions Definition:
More informationAMATH 731: Applied Functional Analysis Fall Some basics of integral equations
AMATH 731: Applied Functionl Anlysis Fll 2009 1 Introduction Some bsics of integrl equtions An integrl eqution is n eqution in which the unknown function u(t) ppers under n integrl sign, e.g., K(t, s)u(s)
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 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 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 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 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 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 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 informationExistence and uniqueness of solutions for linear Fredholm-Stieltjes integral equations via Henstock-Kurzweil integral
Existence nd uniqueness of solutions for liner Fredholm-Stieltjes integrl equtions vi Henstock-Kurzweil integrl M. Federson nd R. Binconi Astrct We consider the liner Fredholm-Stieltjes integrl eqution
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 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 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 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 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 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 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 informationINNER PRODUCT INEQUALITIES FOR TWO EQUIVALENT NORMS AND APPLICATIONS
INNER PRODUCT INEQUALITIES FOR TWO EQUIVALENT NORMS AND APPLICATIONS S. S. DRAGOMIR Abstrct. Some inequlities for two inner products h i nd h i which generte the equivlent norms kk nd kk with pplictions
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 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 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 informationInvited Lecture Delivered at Fifth International Conference of Applied Mathematics and Computing (Plovdiv, Bulgaria, August 12 18, 2008)
Interntionl Journl of Pure nd Applied Mthemtics Volume 51 No. 2 2009, 189-194 Invited Lecture Delivered t Fifth Interntionl Conference of Applied Mthemtics nd Computing (Plovdiv, Bulgri, August 12 18,
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 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 informationRIEMANN INTEGRATION. Throughout our discussion of Riemann integration. B = B [a; b] = B ([a; b] ; R)
RIEMANN INTEGRATION Throughout our disussion of Riemnn integrtion B = B [; b] = B ([; b] ; R) is the set of ll bounded rel-vlued funtons on lose, bounded, nondegenerte intervl [; b] : 1. DEF. A nite set
More information1 i n x i x i 1. Note that kqk kp k. In addition, if P and Q are partition of [a, b], P Q is finer than both P and Q.
Chpter 6 Integrtion In this chpter we define the integrl. Intuitively, it should be the re under curve. Not surprisingly, fter mny exmples, counter exmples, exceptions, generliztions, the concept of the
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 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 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 informationLecture 3: Curves in Calculus. Table of contents
Mth 348 Fll 7 Lecture 3: Curves in Clculus Disclimer. As we hve textook, this lecture note is for guidnce nd supplement only. It should not e relied on when prepring for exms. In this lecture we set up
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 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 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 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 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 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 information1 1D heat and wave equations on a finite interval
1 1D het nd wve equtions on finite intervl In this section we consider generl method of seprtion of vribles nd its pplictions to solving het eqution nd wve eqution on finite intervl ( 1, 2. Since by trnsltion
More 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 informationChapter 10. Newton Integral Primitive Function. Strongly Primitive Function
Chpter 0 Newton Integrl The derivtive of function of single vrible ws introduced in chpter 8, bsed on motivtion from both geometry (construction of the tngent line to the grph of the function) nd physics
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 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 informationMath 220A Homework 2 Solutions
Mth 22A Homework 2 Solutions Jim Agler. Let G be n open set in C. ()Show tht the product rule for nd holds for products of C z z functions on G. (b) Show tht if f is nlytic on G, then 2 z z f(z) 2 f (z)
More informationThe final exam will take place on Friday May 11th from 8am 11am in Evans room 60.
Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23
More 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 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 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 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 information