A new theorem on the existence of the Riemann-Stieltjes integral and an improved version of the Loéve-Young inequality
|
|
- Alvin Bridges
- 6 years ago
- Views:
Transcription
1 A new theorem on the existence of the Riemnn-Stieltjes integrl nd n improved version of the Loéve-Young inequlity Rfł M. Łochowski rxiv: v4 [mth.ca] 2 Dec 2015 Deprtment of Mthemtics nd Mthemticl Economics, Wrsw School of Economics ul. Mdlińskiego 6/8, Wrszw, Polnd E-mil : rlocho314@gmil.com Abstrct Using the notion of truncted vrition we obtin new theorem on the existence nd estimtion of the Riemnn-Stieltjes integrl. As specil cse of this theorem we obtin n improved version of the Loéve-Young inequlity for the Riemnn-Stieltjes integrls driven by irregulr signls. Using this result we strenghten some results of Terry Lyons on the existence of solutions of integrl equtions driven by modertely irregulr signls. Keywords: the Loéve-Young inequlity, the Riemnn-Stieltjes integrl, irregulr signls 1 Introduction The purpose of this pper is to investigte the top-down structure of the Riemnn-Stieltjes integrl nd to stte some generl condition gurnteeing the existence of this integrl, expressed in terms of the functionl clled truncted vrition. b The simplest (nd rther not surprising) cse where the Riemnn-Stieltjes integrl fdg (RSI in short) exists, is the sitution when the integrnd nd the integrtor hve no common points of discontinuity, the former is bounded nd the ltter hs finite totl vrition. We will prove generl theorem (Theorem 1) encompssing this sitution s well s more interesting cse when the RSI exists, nmely when the integrnd nd the integrtor hve possibly unbounded vrition, but they hve finite p-vrition nd q-vrition respectively, with p > 1, q > 1 nd p 1 + q 1 > 1. The ltter result is due to Young ([10, p. 264, Theorem on Stieltjes integrbility]). For f : [;b] R nd p > 0, the p-vrition, which we will denote by V p (f;[;b]), is defined s V p (f,[;b]) sup n sup t 1 <t 2 < <t n b n 1 f (t i ) f (t i 1 ) p. The forementioned Theorem 1 provides lso n upper bound for the difference ˆ b fdg f()[g(b) g()]. 1
2 As specil cse of this bound we will obtin the following, improved version of the clssicl Loéve-Young inequlity: ˆ b fdg f ()[g(b) g()] C p,q(v p (f,[;b])) 1 1/q f 1+p/q p osc,[;b] (V q (g,[;b])) 1/q, (1) wherec p,q is some constnt depending onpndq only nd f osc,[;b] : sup s<t b f(t) f(s). The originl Loéve-Young estimte, published in 1936 in [10], reds s: ˆ b fdg f()[g(b) g()] ζ( p 1 +q 1) (V p (f,[;b])) 1/p (V q (g,[;b])) 1/q, where ζ(r) + k1 k r is the fmous Riemnn zet function. We sy tht our bound is improved version of the Loéve-Young inequlity since the constnt C p,q (lthough possibly greter thn ζ(p 1 +q 1 )) is irrelevnt in pplictions while the fct tht the term (V p (f,[;b])) 1/p in the originl Loéve-Young estimte is replced in our estimte by (V p (f,[;b])) 1 1/q f 1+p/q p osc,[;b] (notice tht 1/p > 1 1/q nd lwys (V p (f,[;b])) 1/p (1 1/q) f 1+p/q p osc,[;b] ) mkes it possible to obtin stronger results. For exmple, Proposition 1 obtined with the help of (1) is genuine improvement upon erlier known results of this type. Let us comment shortly how the results on the existence of the RSI were obtined so fr. The originl Young s proof utlilized elementry but clever induction rgument for finite sequences. Another proof of the Young theorem my be found in [4, Chpt. 6], where integrl estimtes bsed on control function nd the Lóeve-Young inequlity re used. This pproch is further pplied in the rough-pth theory setting. Further generlistions of Young s theorem re possible, with p-vrition replced by more generl ϕ-vrition: V ϕ (f,[;b]) sup n sup t 1 <t 2 < <t n b n 1 ϕ( f (t i ) f (t i 1 ) ), where ϕ : [0;+ ) [0;+ ) is Young function, i.e. convex, strictly incresing function strting from 0 (see for exmple [11], [3] nd for survey bout nother results of this type see the recent books [2, Chpt. 3], [1, Sect. 4.4]). However, s fr s we know, Theorem 1 is new result on the existence of the RSI. The proof of Theorem 1 utilizes simple properties of the truncted vrition nd multiple ppliction of the summtion by prts. Similrly, no version of the Loéve-Young inequlity s estimte (1), s fr s we know, hs ppered so fr (see detiled historicl notes on the the Loéve-Young inequlity in [2, pp ]). We conjecture tht using Theorem 1 one my lso obtin vrition of the Loéve-Young inequlity for ϕ-vrition (see [2, Theorem 3.89, Corollry 3.90] or [1, Theorem 4.40]). We intend to del with this conjecture in the future. After hving obtined these results we were ble, following Lyons [7], nd Lyons, Crun nd Lévy [8], to solve few types of integrl equtions driven by modertely irregulr signls. By modertely irregulr signls we men continuous signls with finite p-vrition, where p (1; 2). It is well known tht for higher degrees of irregulrity, corresponding to p 2, one needs, constructing pproximtions of integrl equtions, to consider terms of new type (like Lévy s re). We believe tht the tuncted vrition pproch for such pths is lso possible nd this will be topic of our further reserch. Let us comment shortly on the orgnistion of the pper. In the next section we prove generl theorem on the existence of the Riemnn-Stieltjes integrl, expressed in terms of the truncted vrition functionls nd derive from it the stronger version of the Loéve-Young inequlity. Next, in Section 3, we del with the pplictions of this result to few types of integrl equtions driven by modertely irregulr signls. 2
3 2 A theorem on the existence of the Riemnn-Stieltjes integrl b In this section we will prove generl theorem on the existence of the RSI fdg formulted in terms of the truncted vrition. We will ssume tht both - integrnd f : [;b] R nd integrtor g : [;b] R re regulted functions. Let us stte the definition of the truncted vrition nd recll the definition of regulted function. For f : [;b] R its truncted vrition with the trunction prmeter δ 0 will be denoted by TV δ (f,[;b]). It my be simply defined s the gretest lower bound for the totl vrition of ny function g : [;b] R, uniformly pproximting f with the ccurcy δ/2, TV δ (f,[;b]) : inf { TV(g,[;b]) : f g,[;b] δ/2 }. f g,[;b] denotes here sup t b f(t) g(t) nd the totl vrition TV(g,[;b]) is defined s n 1 TV(g,[;b]) : sup sup g(t i ) g(t i 1 ). n t 1 <t 2 < <t n b It ppers tht the truncted vrition TV δ (f,[;b]) is finite for ny δ > 0 iff f is regulted (cf. [6, Fct 2.2]) nd then for ny δ > 0 the following equlity holds TV δ (f,[;b]) sup n sup t 1 <t 2 < <t n b n 1 mx{ f (t i ) f (t i 1 ) δ,0} (2) (cf. [5, Theorem 4]). Let us recll tht function h : [;b] R is regulted if there exist one-sided finite limits lim t + h(t) nd lim t b h(t), nd for ny t (;b) nd there exist one-sided finite limits lim t x h(t) nd lim t x+ h(t). We will lso need the following result (cf. [5, Theorem 4]): for ny regulted function f : [;b] R nd δ > 0 there exists regulted function f δ : [;b] R such tht f f δ,[;b] δ/2 nd TV 0( f δ,[;b] ) TV δ (f,[;b]). From formul (2), it directly follows tht the truncted vrition is superdditive functionl of the intervl, i.e. for ny d (;b) TV δ (f,[;b]) TV δ (f,[;d])+tv δ (f,[d;b]). Moreover, we lso hve the following esy estimte of the truncted vrition of function f perturbed by some other function h : TV δ (f +h,[;b]) TV δ (f,[;b])+tv 0 (h,[;b]), (3) which stems directly from the inequlity: for s < t b, mx{ f (t)+h(t) {f (s)+h(s)} δ,0} mx{ f (t) f (s) δ,0}+ h(t) h(s). Theorem 1 Let f,g : [;b] R be two regulted functions which hve no common points of discontinuity. Let η 0 η 1... nd θ 0 θ 1... be two sequences of non-negtive numbers, such tht η k 0, θ k 0 s k +. Define η 1 : sup t b f (t) f () nd S : 2 k η k 1 TV θ k (g,[;b])+ 2 k θ k TV η k (f,[;b]). 3
4 b If S < + then the Riemnn-Stieltjes integrl fdg exists nd one hs the following estimte ˆ b fdg f ()[g(b) g()] S. (4) Remrk 1 The ssumption tht f nd g hs no common points of discontinuity is necessry b for the existence of the RSI fdg. When more generl integrls re considered (e.g. the Moore-Pollrd integrl, c.f. [10, p. 263]), we my weken this ssumption nd ssume tht f nd g hve no common one-sided discontinuities. The proof of Theorem 1 will be bsed on the following lemm. Lemm 1 Let f,g : [;b] R be two regulted functions. Let c t 0 < t 1 <... < t n d be ny prtition of the intervl [c;d] [;b] nd let ξ 0 c nd ξ 1,...,ξ n be such tht t i 1 ξ i t i for i 1,2,...,n. Then for δ 1 : sup c t d f (t) f (c), δ 0 δ 1... δ r 0 nd ε 0 ε 1... ε r 0 the following estimte holds f (ξ i )[g(t i ) g(t i 1 )] f (c)[g(d) g(c)] r r 2 k δ k 1 TV ε k (g,[c;d])+ 2 k ε k TV δ k (f,[c;d])+nδ r ε r. Proof. Denote ε ε 0, by summtion by prts, we hve the following equlity f (ξ i )[g(t i ) g(t i 1 )] f (c)[g(d) g(c)] [f (ξ i ) f (c)][g ε (t i ) g ε (t i 1 )] + [f (ξ i ) f (c)][g(t i ) g ε (t i ) {g(t i 1 ) g ε (t i 1 )}] [f (ξ i ) f (c)][g ε (t i ) g ε (t i 1 )] + [g(d) g ε (d) {g(t i 1 ) g ε (t i 1 )}][f (ξ i ) f (ξ i 1 )], (5) where g ε : [c;d] R is regulted nd such tht Similrly, for δ δ 0 we my write g g ε,[c;d] 1 2 ε nd TV0 (g ε,[c;d]) TV ε (g,[c;d]). [g(d) g ε (d) {g(t i 1 ) g ε (t i 1 )}][f (ξ i ) f (ξ i 1 )] [g(d) g ε (d) {g(t i 1 ) g ε (t i 1 )}] [ f δ (ξ i ) f δ (ξ i 1 ) ] (6) + [ f (ξi ) f δ (ξ i ) { f (c) f δ (c) }] [{g(t i ) g ε (t i )} {g(t i 1 ) g ε (t i 1 )}], 4
5 where f δ : [c;d] R is regulted nd such tht f f δ,[c;d] 1 2 δ nd TV0( f δ,[c;d] ) TV δ (f,[c;d]). Since TV 0 (g ε,[c;d]) TV ε (g,[c;d]), TV 0( f δ,[c;b] ) TV δ (f,[c;d]), g g ε,[c;d] ε/2 nd f f δ,[c;d] δ/2, from (5) nd (6) we hve the following estimte f (ξ i )[g(t i ) g(t i 1 )] f (c)[g(d) g(c)] sup f (t) f (c) TV ε (g,[c;d])+ε TV δ (f,[c;d])+nδε. (7) c t d Denote g 1 : g g ε, f 1 : f f δ on [c;d]. By (5) nd (6), insted of the lst summnd nδε in (7) we my write the estimte [ f (ξi ) f δ (ξ i ) { f (c) f δ (c) }] [{g(t i ) g ε (t i )} {g(t i 1 ) g ε (t i 1 )}] [f 1 (ξ i ) f 1 (c)][g 1 (t i ) g 1 (t i 1 )] sup f 1 (t) f 1 (c) TV ε 1 (g 1,[c;d])+ε 1 TV δ 1 (f 1,[c;d])+nδ 1 ε 1 c t d δ TV ε 1 (g 1,[c;d])+ε 1 TV δ 1 (f 1,[c;d])+nδ 1 ε 1, (8) where the lst but one inequlity in (8) follows by the sme resoning for f 1 nd g 1 s inequlity (5) for f nd g. Repeting these rguments, by induction we get f (ξ i )[g(t i ) g(t i 1 )] f (c)[g(d) g(c)] r r δ k 1 TV ε k (g k,[c;d])+ ε k TV δ k (f k,[c;d])+nδ r ε r, (9) where δ 1 : sup c t c f (t) f (), g 0 g, f 0 f nd for k 1,2,...,r, g k : g k 1 g ε k 1 k 1, f k : f k 1 f δ k 1 k 1 re defined similrly s g 1 nd f 1. Since ε k ε k 1 for k 1,2,...,r, by (3) nd the fct tht the function δ TV δ (h,[c;d]) is non-incresing, we estimte ( TV ε k (g k,[c;d]) TV ε k gk 1 g ε k 1 k 1,[c;d]) TV ε k (g k 1,[c;d])+TV 0( g ε k 1 k 1,[c;d]) TV ε k (g k 1,[c;d])+TV ε k 1 (g k 1,[c;d]) Hence, by recursion, for k 1,2,...,r, Similrly, for k 1,2,...,r, we hve 2TV ε k (g k 1,[c;d]). TV ε k (g k,[c;d]) 2 k TV ε k (g,[c;d]). TV δ k (f k,[c;d]) 2 k TV δ k (f,[c;d]). By (9) nd lst two estimtes we get the desired estimte. 5
6 Remrk 2 Notice tht strting in (5) from the summtion by prts, then splitting the difference f (ξ i ) f (ξ i 1 ) : f (ξ i )[g(t i ) g(t i 1 )] f (c)[g(d) g(c)] [g(d) g(t i 1 )][f (ξ i ) f (ξ i 1 )] [g(d) g(t i 1 )] [ f δ (ξ i ) f δ (ξ i 1 ) ] + [g(d) g(t i 1 )] [ f (ξ i ) f δ (ξ i ) { f (ξ i 1 ) f δ (ξ i 1 ) }] nd proceeding similrly s in the proof of Lemm 1 we get the symmetric estimte f (ξ i )[g(t i ) g(t i 1 )] f (c)[g(d) g(c)] r r 2 k ε k 1 TV δ k (f,[c;d])+ 2 k δ k TV ε k (g,[c;d])+nδ r ε r, (10) where ε 1 sup c t d g(d) g(t). Remrk 3 Setting in Lemm 1, n 1 for ny ξ [c;d] we get the estimte (f (ξ) f (c))[g(d) g(c)] r 2 k δ k 1 TV ε k (f,[c;d])+ r 2 k ε k TV δ k (g,[c;d])+nδ r ε r. (11) nd similrly, setting in Remrk 2, n 1 we get similr estimte, where the right side of (11) is replced by the right side of (10). Now we proceed to the proof of Theorem 1. Proof. It is enough to prove tht for ny two prtitions π { 0 < 1 <... < l b}, ρ { b 0 < b 1 <... < b m b} nd ν i [ i 1 ; i ], ξ j [b j 1 ;b j ], i 1,2,...,l, j 1,2,...,m, the difference l m f (ν i )[g( i ) g( i 1 )] f (ξ j )[g(b j ) g(b j 1 )] is s smll s we plese, provided tht the meshes of the prtitions π nd ρ, defined s mesh(π) : mx,2,...,l ( i i 1 ), mesh(ρ) : mx j1,2,...,m (b j b j 1 ) respectively, re sufficiently smll. Define σ π ρ { s 0 < s 1 <... < s n b} 6 j1
7 nd for i 1,2,...,l consider f (ν i)[g( i ) g( i 1 )] We estimte f (ν i)[g( i ) g( i 1 )] k:s k 1,s k [ i 1 ; i ] k:s k 1,s k [ i 1 ; i ] f (s k 1 )[g(s k ) g(s k 1 )]. f (s k 1 )[g(s k ) g(s k 1 )] f (ν i )[g( i ) g( i 1 )] f ( i 1 )[g( i ) g( i 1 )] + f (s k 1 )[g(s k ) g(s k 1 )] f ( i 1 )[g( i ) g( i 1 )]. k:s k 1,s k [ i 1 ; i ] Recll the definition of S. If there exists N 0,1,2,... such tht η N 0 or θ N 0 then TV(f,[;b]) or TV(g,[;b]) is finite, moreover, both functions f nd g re bounded (since they b re regulted), hence the integrl fdg exists. Thus we my nd will ssume tht η N > 0 nd θ N > 0 for ll N 0,1,2,... Choose N 1,2,... By the ssumption tht f nd g hve no common points of discontinuity, for sufficiently smll mesh(π), for i 1,2,...,l we hve or sup f (s) f ( i 1 ) η N 1 (12) i 1 s i sup i 1 s i g( i ) g(s) θ N 1. (13) To see this, ssume tht for every h > 0, there exist [ h ;b h ] [;b] such tht b h h h nd sup x,y [h ;b h ] f (y) f (y) > η N 1 nd sup x,y [h ;b h ] g(x) g(y) > θ N 1. We choose convergent subsequence of the sequence ( 1/n +b 1/n ) /2, n 1,2,..., nd we see tht the limit of this sequence is point of discontinuity for both f nd g, which is contrdiction with the ssumption tht f nd g hve no common points of discontinuity. Let I be the set of ll indices i 1,2,...,l for which (12) holds. Now, for i I, set δ j 1 : η N+j 1, ε j : θ N+j, j 0,1,2,..., nd define S i : 2 j η j 1 TV θ j (g,[ i 1 ; i ])+ 2 j θ j TV η j (f,[ i 1 ; i ]). By Lemm 1 we estimte k:s k 1,s k [ i 1 ; i ] f (s k 1 )[g(s k ) g(s k 1 )] f ( i 1 )[g( i ) g( i 1 )] 2 j δ j 1 TV ε j (g,[ i 1 ; i ])+ 2 j η N+j 1 TV θ N+j (g,[ i 1 ; i ])+ 2 N S i. 7 2 j ε j TV δ j (f,[ i 1 ; i ]) 2 j θ N+j TV η N+j (f,[ i 1 ; i ])
8 Similrly, Hence f (ν i )[g( i ) g( i 1 )] f ( i 1 )[g( i ) g( i 1 )] 2 N S i. f (ν i)[g( i ) g( i 1 )] 2 1 N S i. k:s k 1,s k [ i 1 ; i ] f (s k 1 )[g(s k ) g(s k 1 )] (14) The truncted vrition is superdditive functionl of the intervl, from which we hve TV θ j (g,[ i 1 ; i ]) TV θ j (g,[;b]), i I TV η j (f,[ i 1 ; i ]) TV η j (f,[;b]). i I By (14) nd lst two inequlities, summing over i I we get the estimte f (ν i)[g( i ) g( i 1 )] f (s k 1 )[g(s k ) g(s k 1 )] i I k:s k 1,s k [ i 1 ; i ] 2 1 N S i 2 1 N S. (15) i I Now, let J be the set of ll indices, for which (13) holds. For i 1,2,...,l define T i : 2 j θ j TV η j (f,[ i 1 ;])+ 2 j η j TV θ j+1 (g,[ i 1 ; i ]). For i J, by the summtion by prts nd then by Lemm 1 we get f ( i)[g( i ) g( i 1 )] f (s k 1 )[g(s k ) g(s k 1 )] k:s k 1,s k [ i 1 ; i ] g(s k )[f (s k ) f (s k 1 )] g( i 1 )[f ( i ) f ( i 1 )] k:s k 1,s k [ i 1 ; i ] 2 j θ N+j 1 TV η N+j (f,[ i 1 ; i ])+ 2 j η N+j TV θ N+j (g,[ i 1 ; i ]). 2 1 N T i 2 1 N S i. Similrly, by Lemm 1, f ( i )[g( i ) g( i 1 )] f (ν i )[g( i ) g( i 1 )] g( i 1 )[f (ν i ) f ( i 1 )]+g( i )[f ( i ) f (ν i )] g( i 1 )[f ( i ) f ( i 1 )] 2 1 N S i. 8
9 From lst two inequlities we get f (ν i)[g( i ) g( i 1 )] k:s k 1,s k [ i 1 ; i ] f (s k 1 )[g(s k ) g(s k 1 )] f ( i )[g( i ) g( i 1 )] f (ν i )[g( i ) g( i 1 )] + f ( i)[g( i ) g( i 1 )] f (s k 1 )[g(s k ) g(s k 1 )] 2 2 N S i. k:s k 1,s k [ i 1 ; i ] Summing over i J nd using the superdditivity of the truncted vrition s function of the intervl, we get the estimte f (ν i)[g( i ) g( i 1 )] f (s k 1 )[g(s k ) g(s k 1 )] i J 2 2 N i J Finlly, from (15) nd (16) we get f (ν i)[g(b) g()] k:s k 1,s k [ i 1 ; i ] S i 2 2 N S. (16) f (s k 1 )[g(s k ) g(s k 1 )] 6 2 N S. k1 Similr estimte holds for m f (ξ j )[g(b j ) g(b j 1 )] ij f (s k 1 )[g(s k ) g(s k 1 )], provided tht mesh(ρ) is sufficiently smll. Hence l m f (ν i )[g( i ) g( i 1 )] f (ξ j )[g(b j ) g(b j 1 )] 12 2 N S. ij k1 provided tht mesh(π) nd mesh(ρ) re sufficiently smll. Since N my be rbitrry lrge, we get the convergence of the pproximting sums to n universl limit, which is the Riemnn- Stieltjes integrl. The estimte (4) follows directly from the proved convergence of pproximting sums to the Riemnn-Stieltjes integrl nd Lemm 1. Using Remrk 2 nd resoning similrly s in the proof of Theorem 1, we get the symmetric result. Theorem 2 Let f,g : [;b] R be two regulted functions which hve no common points of discontinuity. Let η 0 η 1... nd θ 0 θ 1... be two sequences of non-negtive numbers, such tht η k 0, θ k 0 s k +. Define θ 1 : sup t b g(b) g(t) nd S : 2 k θ k 1 TV η k (f,[;b])+ 2 k η k TV θ k (g,[;b]). If S b < + then the Riemnn-Stieltjes integrl fdg exists nd one hs the following estimte ˆ b fdg f ()[g(b) g()] S. (17) 9
10 From Theorem 1, Theorem 2 nd Remrk 3 we lso hve Corollry 1 Let f, g : [; b] R be two regulted functions which hve no common points of discontinuity, ξ [;b] nd S nd S be s in Theorem 1 nd Theorem 2 respectively. If S < + or S b < + then the Riemnn-Stieltjes integrl fdg exists nd one hs the following estimte ˆ b fdg f (ξ)[g(b) g()] 2min{S, S}. 2.1 Young s Theorem nd the Loéve-Young inequlity Let for p > 0, V p ([;b]) denote the fmily of functions f : [;b] R with finite p vrition. Note tht if f V p ([;b]) then f is regulted. The dditionl reltion we will use, is the following one: if f V p ([;b]) for some p 1, then for every δ > 0, TV δ (f,[;b]) V p (f,[;b])δ 1 p. (18) As fr s we know, the first result of this kind, nmely, TV δ (f,[;b]) C f δ 1 p for continuous function f V p ([;b]) nd some constnt C f < + depending on f, ws proven in [9, Sect. 6]. In [9], TV ε (f,[;b]) is clled ε vrition nd is denoted by V f (ε). However, being equipped with formul (2) we see tht reltion (18) follows immeditely from the inequlity: for ny s < t b, f (t) f (s) p mx{ f (t) f (s) δ,0}, δ p 1 which is n obvious consequence of the estimte: { δ p 1 0 if δ x mx{ x δ,0} x p 1 mx{ x δ,0} if 0 < δ < x x p for ny δ > 0 nd ny rel x. Let us denote f p vr,[;b] : (V p (f,[;b])) 1/p (19) nd recl tht f osc,[;b] sup s<t b f (t) f (s). Now we re redy to stte Corollry stemming from Theorem 1, which ws one of the min results of [10]. The second prt of this Corollry is n improved version of the Loéve-Young inequlity. Corollry 2 Let f,g : [;b] R be two functions with no common points of discontinuity. If f V p ([;b]) nd g V q ([;b]), where p > 1, q > 1, p 1 +q 1 > 1, then the Riemnn Stieltjes b fdg exists. Moreover, there exist constnt C p,q, depending on p nd q only, such tht ˆ b fdg f ()[g(b) g()] C p,q f p p/q p vr,[;b] f 1+p/q p osc,[;b] g q vr,[;b]. Proof. By Theorem 1 it is enough to prove tht for some positive sequences η 0 η 1... nd θ 0 θ 1..., such tht η k 0, θ k 0 s k + nd η 1 sup t b f (t) f () one hs S : 2 k η k 1 TV θ k (g,[;b])+ C p,q f p p/q p vr,[;b] f 1+p/q p osc,[;b] g q vr,[;b]. 2 k θ k TV η k (f,[;b]), 10
11 The proof will follow from the proper choice of (η k ) nd (θ k ). Since p 1 + q 1 > 1, we hve (q 1)(p 1) < 1. We choose ( ) α (q 1)(p 1);1, β sup f (t) f (), γ > 0 t b nd for k 0,1,..., define η k 1 β 2 (α2 /[(q 1)(p 1)]) k +1, By (18) we estimte θ k γ 2 (α2 /[(q 1)(p 1)]) k α/(q 1). η k 1 TV θ k (g,[;b]) β 2 /[(q 1)(p 1)]) (α2 k +1 ( V q (g,[;b]) γ 2 /[(q 1)(p 1)]) (α2 k α/(q 1) ) 1 q nd similrly 2 (1 α)(α2 /[(q 1)(p 1)]) k +1 V q (g,[;b])βγ 1 q, Hence S θ k TV η k (f,[;b]) γ 2 /[(q 1)(p 1)]) (α2 k α/(q 1) V p (f,[;b]) (β 2 /[(q 1)(p 1)]) ) (α2 k+1 1 p +1 2 /[(q 1)(p 1)]) (1 α)(α2 k α/(q 1)+1 p V p (f,[;b])β 1 p γ. 2 k η k 1 TV θ k (g,[;b])+ 2 k θ k TV η k (f,[;b]) ( + ) 2 k 2 /[(q 1)(p 1)]) (1 α)(α2 k +1 V q (g,[;b])βγ 1 q ( + ) + 2 k 2 /[(q 1)(p 1)]) (1 α)(α2 k α/(q 1)+1 p V p (f,[;b])β 1 p γ. Since α < 1 nd α 2 /[(q 1)(p 1)] > 1, we esily infer tht S < +, from which we get tht b the integrl fdg exists. Moreover, denoting { + C p,q mx 2 /[(q 1)(p 1)]) k+2 (1 α)(α2 k, 2 /[(q 1)(p 1)]) k+2 (1 α)(α2 k α/(q 1) p we get S 1 2 C p,q( V q (g,[;b])βγ 1 q +V p (f,[;b])β 1 p γ ). Setting in this expression γ (V q (g,[;b])/v p (f,[;b])) 1/q β p/q we obtin } S C p,q (V q (g,[;b])) 1/q (V p (f,[;b])) 1 1/q β 1+p/q p C p,q g q vr,[;b] f p p/q p vr,[;b] f 1+p/q p osc,[;b]. 11
12 Remrk 4 Let f, g, p, q nd C p,q be the sme s in Corollry 2. Using Theorem 2 insted of Theorem 1, we get the following, similr estimte ˆ b fdg f ()[g(b) g()] C p,q f p vr,[;b] g q q/p q vr,[;b] g 1+q/p q osc,[;b]. From Corollry 1 nd the obtined estimtes, we lso hve tht for ny ξ [;b] ˆ b fdg f (ξ)[g(b) g()] { 1+p/q p } f osc,[;b] 2C p,q f p vr,[;b] g q vr,[;b] min, g 1+q/p q osc,[;b]. f 1+p/q p p vr,[;b] g 1+q/p q q vr,[;b] Remrk 5 From Corollry 2, resoning in the similr wy s in [7, p. 456], we get the t following importnt estimte of the q-vrition of the function t fdg ˆ ( fdg C p,q f p p/q p vr,[;b] f 1+p/q p osc,[;b] + f,[;b] ) g q vr,[;b], q vr,[;b] ) (C p,q f p vr,[;b] + f,[;b] g q vr,[;b], where f, g, p, q nd C p,q re the sme s in Corollry 2. 3 Integrl equtions driven by modertely irregulr signls Let p (1;2). The preceding section provides us with tools to solve integrl equtions of the following form y(t) y 0 + ˆ t F(y(s))dx(s), (20) where x is continuous function from the spce V p ([;b]) nd F : R R is α-lipschitz. The functionl vr,p,[;b] : V p ([;b]) [0;+ ) defined s f vr,p,[;b] : f() + f p vr,[;b] is norm nd the spce V p ([;b]) equipped with this norm is Bnch spce. For our purposes it will be enough to work with the following definition of loclly or globlly α-lipschitz function when α (0;1]. For x (x 1,...,x n ) R n we denote x mx,...,n x i. Definition 1 Let F : R n R nd α (0;1]. For ny R > 0 we define its locl α-lipschitz prmeter KF α (R) s { } K (α) F (y) F (x) F (R) : sup y x α : x,y R n,x y, x R, y R nd its globl α-lipschitz prmeter K (α) F s K (α) F F will be clled loclly α-lipschitz if for every R > 0, K (α) F globlly α-lipschitz if K (α) F < +. : lim R + K F (R) < +. The function (R) < + nd it will be clled In the cse, when there is no mbiguity wht is the vlue of the prmeter α nd wht is the function F, we will write K F (R), K F, K(R) or even K. First we will consider the cse p 1 < α < 1. In this cse we hve the existence but no uniqueness result. We will obtin stronger result thn similr results [7, Lemm, p. 459] or [8, Theorem 1.20]. Nmely, we will prove tht there exists solution to (20) which is n element of the spce V p ([;b]), not only n element of the spce V q ([;b]) for rbitrry chosen q > p. This will be possible with the use of Remrk 5. 12
13 Proposition 1 Let p (1;2), y 0 R, x be continuous function from the spce V p ([;b]) nd F : R R be globlly α-lipschitz where p 1 < α < 1. Eqution (20) dmits solution y, which is n element of V p ([;b]). Moreover, y vr,p,[;b] R, where R > 0 stisfies the equlity R ( C p/α,p +2 ) K (α) F x p vr,[;b] Rα + y 0 + F(0) x p vr,[;b], with C p/α,p being the sme s in Corollry 2 nd Remrk 5. Now we proceed to the proof of Proposition 1. We will proceed in stndrd wy, but with the more ccurte estimte of Remrk 5 we will be ble to obtin the finiteness of vr,p,[;b] norm of the solution. Proof. Let f V p ([;b]). By [8, Lemm 1.18], F(f( )) V p/α ([;b]) nd since α/p+1/p > 1, we my pply Remrk 5 nd define the opertor T : V p ([;b]) V p ([;b]), Tf : y 0 + ˆ F(f(t))dx(t). Denote K K (α) F. Using Remrk 5 nd [8, Lemm 1.18] we estimte ˆ Tf vr,p,[;b] y 0 + F(f(t))dx(t) vr,p,[;b] ˆ y 0 + [F(f(t)) F(f())]dx(t) + F(f()) x p vr,[;b] p vr,[;b] ( ) y 0 + C p/α,p F(f( )) p/α vr,[;b] + F(f( )) F(f()),[;b] + F(f()) x p vr,[;b] ( (Cp/α,p y ) ) F(f( )) + F(f()) p/α vr,[;b] x p vr,[;b] ( (Cp/α,p y ) K f α p vr,[;b] ) x + F(f()) p vr,[;b]. (21) By the Lipschitz property, Denoting from (21) we get F(f()) K f() α + F(0) K f α vr,p,[;b] + F(0). A ( C p/α,p +2 ) K x p vr,[;b] nd B y 0 + F(0) x p vr,[;b], (22) Tf vr,p,[;b] A f α vr,p,[;b] +B. (23) For α < 1 let R be the lest positive solution of the inequlity R A R α + B (i.e. R { A R α + B). From (23) } we hve tht the opertor T mps the closed bll B(R) f V p ([;b]) : f vr,p,[;b] R to itself. 13
14 Now, for f,g V p ([;b]) we re going to investigte the difference Tf Tg. Agin, using Remrk 5 nd the Lipschitz property we estimte ˆ Tf Tg vr,p,[;b] [F(f(t)) F(g(t))]dx(t) p vr,[;b] ˆ [F(f(t)) F(g(t)) {F(f()) F(g())}] dx(t) + F(f()) F(g()) x p vr,[;b] p vr,[;b] ( C p/α,p +1 ) F(f( )) F(g( )) (p 1)/α p/α vr,[;b] F(f( )) F(g( )) (α+1 p)/α osc,[;b] x p vr,[;b] + F(f()) F(g()) x p vr,[;b] ( C p/α,p +1 ) ( ) (p 1)/α f K f α p vr,[;b] + g α p vr,[;b] g α+1 p osc,[;b] x p vr,[;b] +K f() g() α x p vr,[;b]. (24) From (24) we see tht T is continuous. Moreover, from the first inequlity in Remrk 4 nd the continuity of x we get tht functions belonging to the imge T(B(R)) re equicontinuous. Let U be the closure of the convex hull of T(B(R)) (in the topology induced by the norm vr,p,[;b] ). It is esy to see tht functions belonging to U re lso equicontinuous. Moreover, U B(R) (since T(B(R)) B(R) nd B(R) is convex) nd T(U) U (since T(U) T(B(R))). Now, let V T(U). From the equicontinuity of U, Arzel-Ascoli Theorem nd (24) we see tht the set V is compct in the topology induced by the norm vr,p,[;b]. Thus, by the fixed-point Theorem of Schuder, we get tht there exists point y U such tht Ty y. Now we will consider the cse α 1. Fct 1 Let p (1;2), y 0 R, x be continuous function from the spce V p ([;b]) nd F : R R be globlly 1-Lipschitz. Eqution (20) dmits solution y, which is n element of V p ([;b]). Proof. To prove the ssertion we my proceed in similr wy s in the proof of Proposition 1. The only thing we need is to ssure tht the inequlity R A R+B, whereandb re defined in disply (22), holds for sufficiently lrger. This my be chieved by splitting the intervl [;b] into smll intervls, such tht A < 1 on ech of these intervls, nd then solving eqution (20) on ech of these intervls with the initil condition being equl the terminl vlue of the solution on the preceding intervl. This is possible since for ny ε > 0 there exists δ > 0 such tht for ny [c;c+δ] [;b], x p vr,[c;c+δ] ε, which is the consequence of the fct tht the function [;b] t x p vr,[;t] is continuous nd we hve x p vr,[;c+δ] x p vr,[;c] + x p vr,[c;c+δ]. Acknowledgments I would like to thnk Rouf Ghomrsni for drwing my ttention to pper [9] nd Professor Terry Lyons for drwing my ttention to his pper [7]. Competing interests The uthor declres tht there re no competing interests regrding the publiction of this pper. References [1] Appel, J, Bnś, J nd Merentes, DNJ: Bounded vrition nd round. Series in Nonliner Anlysis nd Applictions 17. De Gruyter, Berlin (2013) [2] Dudley, RM, Norviš, R: Concrete Functionl Clculus. Springer Monogrphs in Mthemtics. Springer, New York (2010) 14
15 [3] D yčkov, AM: Conditions for the existence of Stieltjes integrl of functions of bounded generlized vrition. Anl. Mth. (Budpest) 14, (1988) [4] Friz, PK, Victoir, NB: Multidimensionl stochstic processes s rough pths, volume 120 of Cmbridge Studies in Advnced Mthemtics. Theory nd pplictions. Cmbridge University Press, Cmbridge (2010) [5] Łochowski, RM, Ghomrsni, R: The ply opertor, the truncted vrition nd the generlistion of the Jordn decomposition. Mth. Methods Appl. Sci. 38(3), (2015) [6] Łochowski, RM: On the generlistion of the Hhn-Jordn decomposition for rel càdlàg functions. Colloq. Mth. 132(1), (2013) [7] Lyons, TJ: Differentil equtions driven by rough signls (I): n extension of n inequlity of L. C. Young. Mth. Res. Lett. 1, (1994) [8] Lyons, TJ, Crun, M, Lévy, T: Differentil Equtions Driven By Rough Pths, volume 1902 of Lecture Notes in Mthemtics. Springer Verlg, Berlin, Heidelberg (2007) [9] Tronel, G, Vldimirov, AA: On BV-type hysteresis opertors. Nonliner Anl. Ser. A: Theory Methods. 39(1), (2000) [10] Young, LC: An inequlity of the Hölder type, connected with Stieltjes integrtion. Act Mth. (Sweden) 67(1), (1936) [11] Young, LC: Generl inequlities for Stieltjes integrls nd the convergence of Fourier series. Mth. Ann. 115, (1938) 15
The 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 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 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 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 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 informationEuler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )
Euler, Iochimescu nd the trpezium rule G.J.O. Jmeson (Mth. Gzette 96 (0), 36 4) The following results were estblished in recent Gzette rticle [, Theorems, 3, 4]. Given > 0 nd 0 < s
More 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 informationRegulated functions and the regulated integral
Regulted functions nd the regulted integrl Jordn Bell jordn.bell@gmil.com Deprtment of Mthemtics University of Toronto April 3 2014 1 Regulted functions nd step functions Let = [ b] nd let X be normed
More informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More 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 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 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 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 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 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 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 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 informationPositive Solutions of Operator Equations on Half-Line
Int. Journl of Mth. Anlysis, Vol. 3, 29, no. 5, 211-22 Positive Solutions of Opertor Equtions on Hlf-Line Bohe Wng 1 School of Mthemtics Shndong Administrtion Institute Jinn, 2514, P.R. Chin sdusuh@163.com
More information1. On some properties of definite integrals. We prove
This short collection of notes is intended to complement the textbook Anlisi Mtemtic 2 by Crl Mdern, published by Città Studi Editore, [M]. We refer to [M] for nottion nd the logicl stremline of the rguments.
More informationp-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationAN INTEGRAL INEQUALITY FOR CONVEX FUNCTIONS AND APPLICATIONS IN NUMERICAL INTEGRATION
Applied Mthemtics E-Notes, 5(005), 53-60 c ISSN 1607-510 Avilble free t mirror sites of http://www.mth.nthu.edu.tw/ men/ AN INTEGRAL INEQUALITY FOR CONVEX FUNCTIONS AND APPLICATIONS IN NUMERICAL INTEGRATION
More 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationII. Integration and Cauchy s Theorem
MTH6111 Complex Anlysis 2009-10 Lecture Notes c Shun Bullett QMUL 2009 II. Integrtion nd Cuchy s Theorem 1. Pths nd integrtion Wrning Different uthors hve different definitions for terms like pth nd curve.
More informationA 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 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 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 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 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 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 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 information5.7 Improper Integrals
458 pplictions of definite integrls 5.7 Improper Integrls In Section 5.4, we computed the work required to lift pylod of mss m from the surfce of moon of mss nd rdius R to height H bove the surfce of the
More informationOn Error Sum Functions Formed by Convergents of Real Numbers
3 47 6 3 Journl of Integer Sequences, Vol. 4 (), Article.8.6 On Error Sum Functions Formed by Convergents of Rel Numbers Crsten Elsner nd Mrtin Stein Fchhochschule für die Wirtschft Hnnover Freundllee
More informationUNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3
UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,
More 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 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 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 information1.9 C 2 inner variations
46 CHAPTER 1. INDIRECT METHODS 1.9 C 2 inner vritions So fr, we hve restricted ttention to liner vritions. These re vritions of the form vx; ǫ = ux + ǫφx where φ is in some liner perturbtion clss P, for
More informationCMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature
CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy
More 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 informationChapter 0. What is the Lebesgue integral about?
Chpter 0. Wht is the Lebesgue integrl bout? The pln is to hve tutoril sheet ech week, most often on Fridy, (to be done during the clss) where you will try to get used to the ides introduced in the previous
More informationInternational Jour. of Diff. Eq. and Appl., 3, N1, (2001),
Interntionl Jour. of Diff. Eq. nd Appl., 3, N1, (2001), 31-37. 1 New proof of Weyl s theorem A.G. Rmm Mthemtics Deprtment, Knss Stte University, Mnhttn, KS 66506-2602, USA rmm@mth.ksu.edu http://www.mth.ksu.edu/
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 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 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 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 informationExam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1
Exm, Mthemtics 471, Section ETY6 6:5 pm 7:4 pm, Mrch 1, 16, IH-115 Instructor: Attil Máté 1 17 copies 1. ) Stte the usul sufficient condition for the fixed-point itertion to converge when solving the eqution
More 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 informationMath 1B, lecture 4: Error bounds for numerical methods
Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the
More informationMultiple Positive Solutions for the System of Higher Order Two-Point Boundary Value Problems on Time Scales
Electronic Journl of Qulittive Theory of Differentil Equtions 2009, No. 32, -3; http://www.mth.u-szeged.hu/ejqtde/ Multiple Positive Solutions for the System of Higher Order Two-Point Boundry Vlue Problems
More informationLine Integrals. Partitioning the Curve. Estimating the Mass
Line Integrls Suppose we hve curve in the xy plne nd ssocite density δ(p ) = δ(x, y) t ech point on the curve. urves, of course, do not hve density or mss, but it my sometimes be convenient or useful to
More informationImproper Integrals, and Differential Equations
Improper Integrls, nd Differentil Equtions October 22, 204 5.3 Improper Integrls Previously, we discussed how integrls correspond to res. More specificlly, we sid tht for function f(x), the region creted
More 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 information63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1
3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =
More informationON BERNOULLI BOUNDARY VALUE PROBLEM
LE MATEMATICHE Vol. LXII (2007) Fsc. II, pp. 163 173 ON BERNOULLI BOUNDARY VALUE PROBLEM FRANCESCO A. COSTABILE - ANNAROSA SERPE We consider the boundry vlue problem: x (m) (t) = f (t,x(t)), t b, m > 1
More informationNUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by.
NUMERICAL INTEGRATION 1 Introduction The inverse process to differentition in clculus is integrtion. Mthemticlly, integrtion is represented by f(x) dx which stnds for the integrl of the function f(x) with
More informationASYMPTOTIC BEHAVIOR OF INTERMEDIATE POINTS IN CERTAIN MEAN VALUE THEOREMS. II
STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume LV, Number 3, September 2010 ASYMPTOTIC BEHAVIOR OF INTERMEDIATE POINTS IN CERTAIN MEAN VALUE THEOREMS. II TIBERIU TRIF Dedicted to Professor Grigore Ştefn
More 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 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 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 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 informationProperties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives
Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn
More 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 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 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 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 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 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 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 informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More informationIntroduction to the Calculus of Variations
Introduction to the Clculus of Vritions Jim Fischer Mrch 20, 1999 Abstrct This is self-contined pper which introduces fundmentl problem in the clculus of vritions, the problem of finding extreme vlues
More 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 informationQUADRATURE is an old-fashioned word that refers to
World Acdemy of Science Engineering nd Technology Interntionl Journl of Mthemticl nd Computtionl Sciences Vol:5 No:7 011 A New Qudrture Rule Derived from Spline Interpoltion with Error Anlysis Hdi Tghvfrd
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 informationAn approximation to the arithmetic-geometric mean. G.J.O. Jameson, Math. Gazette 98 (2014), 85 95
An pproximtion to the rithmetic-geometric men G.J.O. Jmeson, Mth. Gzette 98 (4), 85 95 Given positive numbers > b, consider the itertion given by =, b = b nd n+ = ( n + b n ), b n+ = ( n b n ) /. At ech
More informationKeywords : Generalized Ostrowski s inequality, generalized midpoint inequality, Taylor s formula.
Generliztions of the Ostrowski s inequlity K. S. Anstsiou Aristides I. Kechriniotis B. A. Kotsos Technologicl Eductionl Institute T.E.I.) of Lmi 3rd Km. O.N.R. Lmi-Athens Lmi 3500 Greece Abstrct Using
More 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 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 informationIntegrals along Curves.
Integrls long Curves. 1. Pth integrls. Let : [, b] R n be continuous function nd let be the imge ([, b]) of. We refer to both nd s curve. If we need to distinguish between the two we cll the function the
More information11 An introduction to Riemann Integration
11 An introduction to Riemnn Integrtion The PROOFS of the stndrd lemms nd theorems concerning the Riemnn Integrl re NEB, nd you will not be sked to reproduce proofs of these in full in the exmintion in
More informationMath& 152 Section Integration by Parts
Mth& 5 Section 7. - Integrtion by Prts Integrtion by prts is rule tht trnsforms the integrl of the product of two functions into other (idelly simpler) integrls. Recll from Clculus I tht given two differentible
More informationLECTURE. INTEGRATION AND ANTIDERIVATIVE.
ANALYSIS FOR HIGH SCHOOL TEACHERS LECTURE. INTEGRATION AND ANTIDERIVATIVE. ROTHSCHILD CAESARIA COURSE, 2015/6 1. Integrtion Historiclly, it ws the problem of computing res nd volumes, tht triggered development
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 informationGoals: Determine how to calculate the area described by a function. Define the definite integral. Explore the relationship between the definite
Unit #8 : The Integrl Gols: Determine how to clculte the re described by function. Define the definite integrl. Eplore the reltionship between the definite integrl nd re. Eplore wys to estimte the definite
More 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 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 informationand that at t = 0 the object is at position 5. Find the position of the object at t = 2.
7.2 The Fundmentl Theorem of Clculus 49 re mny, mny problems tht pper much different on the surfce but tht turn out to be the sme s these problems, in the sense tht when we try to pproimte solutions we
More information