EXAMPLES OF QUANTUM INTEGRALS

Size: px
Start display at page:

Download "EXAMPLES OF QUANTUM INTEGRALS"

Transcription

1 EXAMPLES OF QUANTUM INTEGRALS Stn Gudder Deprtment of Mthemtics University of Denver Denver, Colordo 88 Abstrct We first consider method of centering nd chnge of vrible formul for quntum integrl. We then present three types of quntum integrls. The first considers the expecttion of the number of heds in n flips of quntum coin. The next computes quntum integrls for destructive pirs exmples. The lst computes quntum integrls for (Lebesgue) quntum mesure. For this lst type we prove some quntum counterprts of the fundmentl theorem of clculus. Introduction Quntum mesure theory ws introduced by R. Sorkin in his studies of the histories pproch to quntum mechnics nd quntum grvity [7]. Since then, he nd severl other uthors hve continued this study [,, 6, 8, 9, ] nd the uthor hs developed generl quntum mesure theory for infinite crdinlity spces [3]. Very recently the uthor hs introduced the concept of quntum integrl [4]. Although this integrl generlizes the clssicl Lebesgue integrl, it my exhibit unusul behviors tht the Lebesgue integrl does not. For exmple, the quntum integrl my be nonliner nd nonmonotone. Becuse of this possible nonstndrd behvior we lck intuition concerning properties of the quntum integrl. To help us gin some intuition for this new integrl, we present vrious exmples of quntum integrls.

2 The pper begins with method of centering nd chnge of vrible formul for quntum integrl. Exmples of centering nd vrible chnges re given. We lso consider quntum integrls over subsets of the mesure spces. We then present three types of quntum integrls. The first considers the expecttion n of the number of heds in n flips of quntum coin. We prove tht n symptoticlly pproches the clssicl vlue n/ s n pproches infinity, nd numericl dt re given to illustrte this. The next computes quntum integrls for destructive pirs exmples. The functions integrted in these exmples re monomils. The lst computes quntum integrls for (Lebesgue) quntum mesure. For this lst type, some quntum counterprts of the fundmentl theorem of clculus re proved. Centering nd Chnge of Vribles If (X, A) is mesurble spce, mp µ: A R is grde- dditive [,, 3, 7], if µ (A B C) µ (A B) µ (A C) µ (B C) µ(a) µ(b) µ(c) for ny mutully disjoint A, B, C A where A B denotes A B whenever A B. A q-mesure is grde- dditive mp µ: A R tht lso stisfies the following continuity conditions [3] (C) For ny incresing sequence A i A we hve µ ( A i ) lim i µ(a i ) (C) For ny decresing sequence B i A we hve µ ( A i ) lim i µ(a i ) A q-mesure µ is not lwys dditive, tht is, µ (A B) µ(a)µ(b) in generl. A q-mesure spce is triple (X, A, µ) where (X, A) is mesurble spce nd µ: A R is q-mesure [, 3, 7]. Let (X, A, µ) be q-mesure spce nd let f : X R be mesurble function. It is shown in [4] tht the following rel-vlued functions of λ R re Lebesgue mesurble: λ µ ({x: f(x) > λ}), λ µ ({x: f(x) < λ})

3 We define the quntum integrl of f to be fdµ µ ({x: f(x) > λ}) dλ µ ({x: f(x) < λ}) dλ (.) where dλ is Lebesgue mesure on R. If µ is n ordinry mesure (tht is; µ is dditive) then fdµ is the usul Lebesgue integrl [4]. The quntum integrl need not be liner or monotone. Tht is, (f g)dµ fdµ gdµ nd fdµ gdµ whenever f g, in generl. However, the integrl is homogenious in the sense tht αfdµ α fdµ, for α R. Definition (.) gives the number zero specil sttus which is unimportnt when µ is mesure, but which mkes nontrivil difference when µ is generl q-mesure. It my be useful in pplictions to define for R the -centered quntum integrl fdµ µ [ f (λ, ) ] dλ µ [ f (, λ) ] dλ µ [ f (λ, ) ] dλ µ [ f (, λ) ] dλ (.) Of course, fdµ fdµ but we shll omit the subscript. Our first result shows how to compute fdµ when f is simple function. Lemm.. Let f n i α iχ Ai be simple function with A i A j, i j, n ia i X. If α < α m < α m < < α n then ( n ) ( n ) fdµ (α m )µ A i (α m α m )µ A i im im [ ( m ) (α n α n )µ(a n ) ( α m )µ A i (α m α m )µ ( m i i A i ) (α α )µ(a ) ] (.3) 3

4 α µ(a ) α [µ (A A ) µ(a )] α m [µ (A A m ) µ (A m A m ) µ(a ) µ(a m ) (m )µ(a m )] α m [µ (A m A m ) µ (A m A n ) (n m )µ(a m ) µ(a m ) µ(a n )] α n [µ (A n A n ) µ(a n )] α n µ(a n ) [ ( m ) ( n )] µ A i µ A i i im (.4) Proof. Eqution (.3) is strightforwrd ppliction of the definition (.). We cn rewrite (.3) s ( n ) ( n )] fdµ α m [µ A i µ A i α m [µ im ( n im A i ) µ im ( n im3 A i )] α n [µ (A n A n ) µ(a n )] α n µ(a n ) α µ(a ) ( ) ] ( 3 ) ( )] α [µ A i µ(a α 3 [µ A i µ A i i ( m ) α m [µ A i µ i [ ( m ) ( n µ A i µ i im Applying Theorem 3.3 [3] the result follows. ( m i A i )] i A i )] Corollry.. If µ is mesure nd f is integrble, then fdµ fdµ µ(x) Proof. By (.4) the formul holds for simple functions. Approximte f by n incresing sequence of simple functions nd pply the monotone convergence theorem. 4 i

5 As n illustrtion of Lemm., let f χ A bχ B be simple function with A B, A B X, < b. By (.4) we hve fdµ [µ (A B) µ(b)] bµ(b) This lso shows tht the quntum integrl is nonliner becuse if µ (A B) µ(a) µ(b) then (χ A bχ B )dµ fdµ µ(a) bµ(b) χ A dµ b χ B dµ Corollry. shows tht if µ is mesure, then fdµ is just trnsltion of fdµ by the constnt µ(x) for ll integrble f. We now show tht this does not hold when µ is generl q-mesure. Exmple. Let > be fixed constnt nd let f cχ A be simple function with c nd A, X. We cn write f in the cnonicl form f χ A cχ A where A is the complement of A. By Lemm. we hve tht fdµ cµ(a) nd pplying (.4) to the vrious cses we obtin the following: Cse. If < < c, then α, α c, α < < α, A A nd A A. We compute fdµ µ(a ) cµ(a) [µ(a ) µ(a)] fdµ [µ(a ) µ(a)] Cse. If < c <, then α, α c, α < α <, A A nd A A. We compute fdµ µ(a ) c [µ(x) µ(a )] µ(x) fdµ c [µ(a) µ(a ) µ(x)] µ(x) Cse 3. If c < <, then α c, α, α < α <, A A nd A A. We compute fdµ cµ(a) [µ(x) µ(a)] µ(x) fdµ µ(x) 5

6 We now derive chnge of vrible formul. Suppose g is n incresing nd differentible function on R nd let g (± ) lim λ ± g (λ). If f : X R is mesurble, then so is g f nd we hve g fdµ µ [{x: g f(x) > λ}] dλ µ [{x: g f(x) < λ}] dλ µ [{ x: f(x) > g (λ) }] dλ [{ x: f(x) < g (λ) }] dλ Letting t g (λ), g(t) λ, g (t)dt dλ, by the usul chnge of vrible formul we obtin g fdµ (.5) g ( ) g () µ [{x: f(x) > t}] g (t)dt g () g ( ) µ [{x: f(x) < t}] g (t)dt For exmple, if f, letting g(t) t n we hve f n dµ µ [{x: f(x) > t}] nt n dt (.6) A As with the Lebesgue integrl, if A A we define fdµ χ A dµ We then hve fdµ µ [{x: χ A (x)f(x) > λ}] dλ A µ [ A f (λ, ) ] dλ µ [{x: χ A (x)f(x) < λ}] dλ µ [ A f (, λ) ] dλ { µ [ A f (λ, ) ] µ [ A f (, λ) ]} dλ Now (A, A A) is mesurble spce nd it is esy to check tht µ A (B) µ(a B) is q-mesure on A A so (A, A A, µ A ) is q-mesure spce. Hence, for mesurble function f : X R, the restriction f A: A R is mesurble nd fdµ f Adµ A A Similr definitions pply to the centered integrls A fdµ. 6

7 3 A Quntum Coin If we flip coin n times the resulting smple spce X n consists of n outcomes ech being sequence of n heds or tils. For exmple, possible outcome for 3 flips is HHT nd X {HH, HT, T H, T T }. If this were n ordinry fir coin then the probbility of subset A X n would be A / n where A is the crdinlity of A. However, suppose we re flipping quntum coin for which the probbility is replced by the q-mesure µ n (A) A / n. It is esy to check tht µ is indeed q-mesure. In fct the squre of ny mesure is q-mesure. Let f n : X n R be the rndom vrible tht gives the number of heds in n flips. For exmple, f 3 (HHT ). For n ordinry coin the expecttion of f n is n/. We re interested in computing the quntum expecttion fn dµ n for quntum coin. For the cse n we hve X {x, x } with f (x ), f (x ). Then f χ {x } nd by (.3) we hve f dµ µ ({x }) 4 For the cse n, we hve X {x, x, x 3, x 4 } with f (x ), f (x ) f (x 3 ), f (x 4 ). Then f χ {x,x 3 } χ {x } nd by (.3) we hve f dµ µ ({x, x, x 3 }) µ ({x }) Continuing this process, X 3 {x,..., x 8 } nd f χ {x5,x 6,x 7 } χ {x,x 3,x 4 } 3χ {x } By (.3) we obtin f 3 dµ 3 µ 3 ({x,..., x 7 }) µ 3 ({x,..., x 4 }) µ 3 ({x })

8 For 4 flips, X 4 {x,..., x 6 } nd f 4 dµ 4 µ 4 ({x,..., x 5 }) µ 4 ({x,..., x }) µ 4 ({x,..., x 5 }) µ ({x }) For 5 flips, X 5 {x,..., x 3 } nd f 5 dµ 5 µ 5 ({x,..., x 3 }) µ 5 ({x,..., x 6 }) µ 5 ({x,..., x 6 }) µ 5 ({x,..., x 6 }) µ ({x }) Letting n f n dµ n we hve tht ( ) 4 { ( ) 3 6 { (3 ). n n { (n ) [( ) [( ) 3 [( n ) ( )] } ( )] 3 [( ) 3 ( )] n ( ) 3 [( ) n ( )] } 3 ( ) ( )] } n n n We shll show tht n symptoticlly pproches the clssicl vlue n/ for lrge n; tht is n lim n n (3.) As numericl evidence for this result the first seven vlues of n /n re:.5,.65,.6875,.766,.7539,.7749,.795 nd the twentieth vlue is The next result shows tht the quntum expecttion does not exceed the clssicl expecttion. 8

9 Lemm 3.. For ll n N, f n dµ n n/. Proof. Letting A i fn ({i}), i,..., n, pplying (.4) we obtin f n dµ n [µ n (A A ) µ n (A A n ) (n )µ n (A ) µ n (A ) µ n (A n )] [µ n (A A 3 ) µ n (A A n ) (n 3)µ n (A ) µ n (A 3 ) µ n (A n )]. (n )[µ n (A n A n ) µ n (A n )] nµ n (A n ) { A n A A A n (n ) A A A n [ A A 3 A A n (n 3) A A 3 A n ]. (n )[ A n A n A n ] n A n } n { A A ( A A n ) [ A A ( A 3 A n ) ] (n ) [ A n A n A n ] n A n } By the binomil theorem we conclude tht f n dµ n n { A [ ( n A )] A [ ( n A A )] (n ) A n [ ( n A n A )] n A n [ n A A A n ]} n [ A n A n n A n n ] n ( A A n A n ) n where the lst equlity follows from the clssicl expecttion. 9

10 We now give n in closed form nd prove (3.). Theorem 3.. () For ll n N we hve [ (b) Eqution (3.) holds. Proof. () Letting b n ( ) n [( ) n n n ( n ( n n ( )] n ) )] n [( ) n it is shown in [5] tht b n (n ) n ( ) n n n ( ) ( )] n n n Since n b n / n, the result follows. (b) By Stirling s formul we hve the symptotic pproximtion for lrge n. Hence, lim n n n! πn nn e n ( ) n (n)! lim n n n (n!) lim n lim n πn πn (n) n n e n e n πnn n Hence, n lim n n ( n lim n n ) lim n ( n n ) n The next exmple illustrtes the -centered integrl f dµ for two flips of quntum coin.

11 Exmple. The following computtions result from pplying (.3). If, then f dµ ( )µ ({x, x, x 3, x 4 }) µ ({x, x, x 3 }) µ ({x }) 5 8 If, then f dµ ( )µ ({x, x, x 3 }) µ ({x }) ( )µ ({x 4 }) ( ) If, then f dµ ( )µ ({x }) ( )µ ({x, x 3, x 4 }) µ ({x 4 }) ( ) 6 ( ) If, then f dµ [( )µ ({x, x, x 3, x 4 }) µ ({x, x 3, x 4 }) µ ({x 4 })] [ ( ) 9 6 ] 6 8 We conclude tht f dµ n is piecewise liner s function of. 4 Destructive Pirs Exmples Consider X [, ] s consisting of prticles for which pirs of the form (x, x 3/4), x [, /4] re destructive pirs (or prticle-ntiprticle pirs). Thus, prticles in x [, /4] nnihilte their counterprts in [3/4, ] while prticles in (/4, 3/4) do not interct with other prticles. Let B(X) be the set of Borel subsets of X nd let ν be Lebesgue mesure on B(X). For A B(X) define µ(a) ν(a) ν ({x A: x 3/4 A})

12 Thus, µ(a) is the Lebesgue mesure of A fter the destructive pirs in A nnihilte ech other. For exmple, µ ([, ]) / nd µ ([, 3/4]) 3/4. It cn be shown tht (X, B(X), µ) is q-mesure spce [3]. Letting f(x) x nd < b we shll compute We first define f(x)dµ [,b] f(x)dµ F (λ) µ ({ x: fχ [,b] (x) > λ }) µ ({x [, b] : x > λ}) µ ((λ, b]) If b 3/4 then We obtin xdµ F (λ) { b λ if λ b if λ > b F (λ)dλ (b λ)dλ b which is the expected clssicl result becuse there is no interference (nnihiltion). Now suppose tht b 3/4 in which cse there is interference. If λ b 3/4, then F (λ) b λ s before. If λ < b 3/4, then F (λ) (b λ) (b 34 ) λ 3 λ b We then obtin xdµ F (λ)dλ 3 b 9 6 b 3/4 ( ) 3 b λ b dλ (b λ)dλ b 3/4 For exmple, xdµ 7/6 which is slightly less tht xdλ /. Of course, interference is the cuse of this difference. Also, 3/4 xdµ 9/3 which grees with 3/4 xdx s shown in the b 3/4 cse.

13 We next compute xn dµ. If b 3/4, then by our chnge of vrible formul we hve x n dµ n (b λ)λ n dλ bn n in greement with the clssicl result. If b 3/4, we obtin by the chnge of vrible formul x n dµ n F (λ)λ n dλ [ 3/4 ( b n 3 λ b) λ n dλ n [ b n ( ) ] b 3 n 4 b 3/4 (b λ)λ n dλ As check, if n we obtin our previous result. Notice tht the devition from the clssicl integrl becomes x n dx x n dµ n ( ) b 3 n 4 which increses s b pproches. We now chnge the previous exmple so tht we only hve destructive pirs in which cse we obtin more interference. We gin let X [, ], but now we define the q-mesure µ(a) ν(a) ν ({ x A: x A}) In this cse, (x, x /), x [, /] re destructive pirs. For instnce, µ(x), µ ([/6, 5/6]) /3, nd µ ([, /]) /. Letting f(x) x nd < b, we shll compute xdµ xdµ We then hve (,b) F (λ) µ ({ x: fχ (,b) (x) > λ }) µ ({x (, b): x > λ}) µ ((, b)) if λ µ ((λ, b)) if λ b if λ b ] 3

14 Now { x (, b): x (, b)} if nd only if b /. If b / we hve b if λ F (λ) b λ if λ b if λ b We then obtin xdµ (b )dλ (b λ)dλ b which is expected becuse there is not interference. If b /, letting c b / we hve tht c nd µ ((, b)) b (c ) b ( b ) b If λ b /, then µ ((λ, b)) λ b nd if λ b /, then µ ((λ, b)) b λ. Hence, b if λ F (λ) λ b if λ b / b λ if b / λ b We conclude tht xdµ ( b )dλ b b 4 / (λ b )dλ The devition from the clssicl integrl becomes xdx xdµ b b 4 b / (b λ)dλ 4

15 Notice tht if nd only if b /. Specil cses of the integrl re / xdµ b b 4 xdµ 8 3/4 xdµ 7 3 xdµ 4 5 (Lebesgue) Quntum Mesure We gin let X [, ] nd let ν be Lebesgue mesure on B(X). We define (Lebesgue) q-mesure by µ(a) ν(a) for A B(X) nd consider the q-mesure spce (X, B(X), µ). The first exmple in this section is the - centered quntum integrl x n dµ. Applying the chnge of vrible formul we obtin x n dµ n µ ({x: x > t}) t n dt n µ ({x: x < t}) t n dt n ( t) t n dt n ( (n )(n ) n t t n dt n n n ) n As specil cses we hve xdµ x n dµ (n )(n ) We now compute the quntum integrl xn dµ for < b. Agin 5

16 the chnge of vrible formul gives x n dµ n n As specil cses we hve µ ( (, b) { x: x > λ /n}) dλ µ ((, b) {x: x > t}) t n dλ (b t) t n dt n (b ) t n dt (n )(n ) (bn n ) n (b ) n xdµ b (b ) dµ (b ) We cn compute xn dµ nother wy without relying on chnge of vribles: x n dµ µ ( (, b) { x: x > λ /n}) dλ n n (b λ /n ) dλ n n n (b ) dλ (b bλ /n λ /n )dλ (b ) n (n )(n ) bn n ( b n ) n which grees with our previous result. Until now we hve only integrted monomils. We now integrte the more complex function e x. By the chnge of vrible formul e x dµ µ ((, b) {x: x > t}) e t dt (b t) e t dt (b ) e t dt [ e b e e (b ) ] 6

17 In prticulr, e x dx (e b b) For the Lebesgue integrl we hve the formul f(x)dx f(x)dx f(x)dx which is frequently used to simplify computtions. This formul does not hold for our q-mesure µ. However, we do hve the following result. Theorem 5.. If f is incresing, differentible, nonnegtive on [, ] nd f ( ) b, f (), then fdµ fdµ fdµ (b ) Proof. Employing the chnge of vrible formul gives fdµ f ( ) f () µ ((, b) {x: x > t}) f (t)dt (b t) f (t)dt (b t) f (t)dt f () (b ) f (t)dt On the other hnd, using integrtion by prts we hve fdµ fdµ (b t) f (t)dt b f() (b t) f (t)dt f(t)dt (b t) f (t)dt (b ) f() (b t) f (t)dt ( t) f (t)dt f() [ (b t) ( t) ] f (t)dt (b )f() (b t) f (t)dt (b )f() (b ) 7 (b t) f (t)dt tf (t)dt

18 The result now follows. (b t) f (t)dt (b ) f() (b ) (b t) f (t)dt f(t)dt Exmple 3. In this exmple we use some previous computtions to verify Theorem 5.. We hve shown tht x n dµ Hence, by Theorem 5. we hve x n dµ x n dµ (n )(n ) bn x n dµ (b ) t n dt (n )(n ) (bn n ) n (b ) n which grees with our previous result. We hve shown tht Hence, by Theorem 5. we hve e x dµ e x dµ e x dµ (e b b) e x dµ (b ) e t dt (e b b) (e ) (b )(e ) [ e b e e (b ) ] which grees with our previous result. Exmple 4. We compute the quntum integrl of f(x) x x. By the chnge of vrible formul we hve (x x )dµ b3 3 b4 6 (b t) ( t)dt (b t) dt (b t) tdt 8

19 This gives the surprising result tht (x x )dµ xdµ x dµ We shll lter show tht this quntum integrl is lwys dditive for sums of incresing continuous functions even if they re not differentible. The next exmple shows tht this result does not hold for two monomils if their sum is not incresing. Exmple 5. Let f(x) x x for x [, ]. To evlute f(x)dµ we cnnot use the chnge of vrible formul becuse f is not incresing, so we will proceed directly. Let / b. For λ /4 we hve tht λ x x, if nd only if x ( ± 4λ ) /. Hence, for λ b b we hve ν ( (, b) { x: x x > λ }) { 4λ if λ 4 if /4 λ nd for λ b b we hve Hence, ν ( (, b) { x: x x > λ }) b 4λ (x x )dµ b ( b ) /4 4λ dλ ( 4λ)dλ b b 4 3 b b 5 3 b3 5 6 b4 Notice tht this does not coincide with xdµ x dµ 3 b3 6 b4 For completeness we evlute the integrl with b /. Since f is incresing on this intervl we obtin the expected result: (x x )dµ b ( b 4λ ) dλ 3 b3 6 b4 9

20 Exmple 6. Let f be the following piecewise liner function: { x if x / f(x) x if / x Let / b. For λ b we hve nd for b λ we hve Hence fdµ b ν ((, b) {x: f(x) > λ}) b λ ν ((, b) {x: f(x) > λ}) λ ( ) b λ dλ ( λ) dλ b 3 4b b 3 b If b / we obtin the expected result Observe tht fdµ b d db d db ( ) b λ dλ 3 b3 x n dµ b n e x dµ e b However, in Exmple 5 we hve for b > / tht d db (x x )dµ 5b 5b 3 b b nd in Exmple 6 we hve for b > / tht d db fdµ 4 6b b f(b) These exmples gin illustrte the specil nture of incresing functions. The next result is quntum counterprt to the fundmentl theorem of clculus.

21 Theorem 5.. If f is continuous nd monotone on [, ], then d db fdµ f(b) Proof. If f is decresing then f is incresing so we cn ssume f is incresing. For positive integer n, let g be the following incresing step function on [, ]: g c χ [,/n] c χ (/n,/n] c n χ ((n )/n,] where < c < < c n. For < b we hve tht (m )/n < b m/n for some integer < m n nd gχ [,b] c χ [,/n] c χ (/n,/n] c m χ ((m )/n,(m )/n] c m χ ((m )/n,b] Letting A i ((i )/n, i/n], i,..., m, A m ((m )/n, b] nd b b (m )/n we hve by (.4) of Lemm. tht gdµ c [µ (A A ) µ (A A m ) (m )µ(a ) µ(a ) µ(a m )] c [µ (A A 3 ) µ (A A m ) (m 3)µ(A ) µ(a 3 ) µ(a m )] c m [µ (A m A m ) µ(a m )] c m µ(a m ) ( ) ( ) ( ) ] c [(m ) n n b (m 4) n b ( ) ( ) ( ) ] c [(m 3) n n b (m 6) n b [ ( ) ] c m n b b c m b c [(m 3) n ] [ n b c (m 5) n ] n b ( c m n ) n b c m b It follows tht d db gdµ n (c c c m ) c m b (5.)

22 nd tht d db gdµ c m g(b) (5.) We cn ssume without loss of generlity tht f is nonnegtive. Then there exists n incresing sequence of incresing nonnegtive step functions s i converging uniformly to f. Since µ [ s i (λ, )] µ [ s i (λ, ) ] we hve by the continuity of µ tht µ [ f (λ, ) ] µ [ s i (λ, ) ] lim µ [ s i (λ, ) ] These sme formuls pply to fχ [,b] nd s i χ [,b]. By the quntum bounded monotone convergence theorem [4] we conclude tht fdµ i lim s i dµ Applying (5.) with g replced by s i it cn be checked tht the sequence of functions of b given by d b s i dµ db is uniformly Cuchy so the sequence converges nd hence By (5.) d db converges uniformly so we hve d db fdµ lim d db d db s i dµ d fdµ lim db s i dµ s i dµ f(b) Lemm 5.3. If f is continuous nd monotone on [, ], then [ d b ] fdµ () db

23 Proof. We cn ssume without loss of generlity tht f is incresing. Let g c i χ Ai be step function s in the proof of Theorem 5.. If b is sufficiently smll we hve gχ [,b] c χ A [,b] c χ [,b] Hence, for such b we hve gdµ gχ [,b] dµ c χ [,b] dµ c b Therefore, [ d db ] ( ) d gdµ () db c b () As shown in the proof of Theorem 5., there exists n incresing sequence of step functions s i such tht The result follows. d db fdµ lim d db s i dµ Prt (b) of the next theorem is the second hlf of the quntum fundmentl theorem of clculus. Theorem 5.4. () If f is continuous nd monotone on [, ], then fdµ t f(x)dxdt (b) If f is monotone nd continuous on [, ], then f dµ f(b) f() f ()b Proof. () If g f, then integrting gives t f(x)dx g (t) g () 3

24 Integrting gin we hve t Hence, for ll b [, ] we hve Since by Theorem 5. letting g(b) g (). Hence, f(x)dxdt g(b) g() g ()b g(b) g() g ()b t d fdµ f(b) db f(x)dxdt fdµ we hve tht g() nd by Lemm 5.3 we obtin t (b) By Prt () we hve f dµ f(x)dxdt g(b) t f (x)dxdt f(b) f() f ()b The next corollry follows from Theorem 5.4() fdµ [f (t) f ()] dt Corollry 5.5. The quntum (Lebesgue) integrl is dditive for incresing (decresing) continuous functions. Exmple 7. We compute some quntum integrls using Theorem 5.4(). cos xdµ sin xdµ cosh xdµ t t t cosh b cos xdxdt sin xdxdt cosh xdxdt sin tdt ( cos b) ( cost)dt (b sin b) sinh tdt The lst integrl shows tht the quntum counterprt of e x is cosh x. 4

25 Acknowledgement. The uthor thnks Petr Vojtěchovský for pointing out reference [5] References [] Y. Ghzi-Tbtbi, Quntum mesure theory: new interprettion, rxiv: qunt-ph (96.94), 9. [] S. Gudder, Finite quntum mesure spces, Amer. Mth. Monthly (to pper). [3] S. Gudder, Quntum mesure theory, Mth. Slovc (to pper) nd [4] S. Gudder, Quntum mesure nd integrtion theory, rxiv: quntph(99.3), 9 nd [5] M. Hirschhorn, Clkin s binomil identity, Discrete Mth. 59 (996), [6] R. Slgdo, Some identities for the quntum mesure nd its generliztions, Mod. Phys. Letts. A 7 (), [7] R. Sorkin, Quntum mechnics s quntum mesure theory, Mod. Phys. Letts. A 9 (994), [8] R. Sorkin, Quntum mechnics without the wve function, J. Phys. A 4 (7), [9] R. Sorkin, An exercise in nhomomorphic logic, J. Phys. A (to pper). [] S. Sury nd P. Wllden, Quntum covers in quntum mesure theory, rxiv: [qunt-ph] (8). 5

The Regulated and Riemann Integrals

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 information

W. We shall do so one by one, starting with I 1, and we shall do it greedily, trying

W. 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 information

Chapter 4. Lebesgue Integration

Chapter 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 information

Lecture 1. Functional series. Pointwise and uniform convergence.

Lecture 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 information

SOLUTIONS 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 (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 information

MAA 4212 Improper Integrals

MAA 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 information

Chapter 5 : Continuous Random Variables

Chapter 5 : Continuous Random Variables STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 216 Néhémy Lim Chpter 5 : Continuous Rndom Vribles Nottions. N {, 1, 2,...}, set of nturl numbers (i.e. ll nonnegtive integers); N {1, 2,...}, set of ll

More information

Fundamental Theorem of Calculus

Fundamental Theorem of Calculus Fundmentl Theorem of Clculus Recll tht if f is nonnegtive nd continuous on [, ], then the re under its grph etween nd is the definite integrl A= f() d Now, for in the intervl [, ], let A() e the re under

More information

ODE: Existence and Uniqueness of a Solution

ODE: 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 information

63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1

63. 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 information

Math 554 Integration

Math 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 information

Czechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction

Czechoslovak 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 information

UNIFORM CONVERGENCE MA 403: REAL ANALYSIS, INSTRUCTOR: B. V. LIMAYE

UNIFORM 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 information

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.) MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give

More information

Appendix to Notes 8 (a)

Appendix 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 information

Lecture 14: Quadrature

Lecture 14: Quadrature Lecture 14: Qudrture This lecture is concerned with the evlution of integrls fx)dx 1) over finite intervl [, b] The integrnd fx) is ssumed to be rel-vlues nd smooth The pproximtion of n integrl by numericl

More information

A PROOF OF THE FUNDAMENTAL THEOREM OF CALCULUS USING HAUSDORFF MEASURES

A 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 information

AN INTEGRAL INEQUALITY FOR CONVEX FUNCTIONS AND APPLICATIONS IN NUMERICAL INTEGRATION

AN 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 information

Math& 152 Section Integration by Parts

Math& 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 information

Section 4.8. D v(t j 1 ) t. (4.8.1) j=1

Section 4.8. D v(t j 1 ) t. (4.8.1) j=1 Difference Equtions to Differentil Equtions Section.8 Distnce, Position, nd the Length of Curves Although we motivted the definition of the definite integrl with the notion of re, there re mny pplictions

More information

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Advanced 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 information

S. S. Dragomir. 2, we have the inequality. b a

S. 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 information

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl

More information

Fundamental Theorem of Calculus for Lebesgue Integration

Fundamental 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 information

4.4 Areas, Integrals and Antiderivatives

4.4 Areas, Integrals and Antiderivatives . res, integrls nd ntiderivtives 333. Ares, Integrls nd Antiderivtives This section explores properties of functions defined s res nd exmines some connections mong res, integrls nd ntiderivtives. In order

More information

7.2 Riemann Integrable Functions

7.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 information

Definite integral. Mathematics FRDIS MENDELU

Definite 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 information

Review of Calculus, cont d

Review 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 information

FUNDAMENTALS OF REAL ANALYSIS by. III.1. Measurable functions. f 1 (

FUNDAMENTALS 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 information

Math 360: A primitive integral and elementary functions

Math 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 information

Improper Integrals. Type I Improper Integrals How do we evaluate an integral such as

Improper Integrals. Type I Improper Integrals How do we evaluate an integral such as Improper Integrls Two different types of integrls cn qulify s improper. The first type of improper integrl (which we will refer to s Type I) involves evluting n integrl over n infinite region. In the grph

More information

1 1D heat and wave equations on a finite interval

1 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 information

Definite integral. Mathematics FRDIS MENDELU. Simona Fišnarová (Mendel University) Definite integral MENDELU 1 / 30

Definite 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 information

f(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral

f(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral Improper Integrls Every time tht we hve evluted definite integrl such s f(x) dx, we hve mde two implicit ssumptions bout the integrl:. The intervl [, b] is finite, nd. f(x) is continuous on [, b]. If one

More information

The Fundamental Theorem of Calculus. The Total Change Theorem and the Area Under a Curve.

The Fundamental Theorem of Calculus. The Total Change Theorem and the Area Under a Curve. Clculus Li Vs The Fundmentl Theorem of Clculus. The Totl Chnge Theorem nd the Are Under Curve. Recll the following fct from Clculus course. If continuous function f(x) represents the rte of chnge of F

More information

Continuous Random Variables

Continuous Random Variables STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 217 Néhémy Lim Continuous Rndom Vribles Nottion. The indictor function of set S is rel-vlued function defined by : { 1 if x S 1 S (x) if x S Suppose tht

More information

Euler-Maclaurin Summation Formula 1

Euler-Maclaurin Summation Formula 1 Jnury 9, Euler-Mclurin Summtion Formul Suppose tht f nd its derivtive re continuous functions on the closed intervl [, b]. Let ψ(x) {x}, where {x} x [x] is the frctionl prt of x. Lemm : If < b nd, b Z,

More information

Principles of Real Analysis I Fall VI. Riemann Integration

Principles 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 information

f(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

f(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 information

Section 14.3 Arc Length and Curvature

Section 14.3 Arc Length and Curvature Section 4.3 Arc Length nd Curvture Clculus on Curves in Spce In this section, we ly the foundtions for describing the movement of n object in spce.. Vector Function Bsics In Clc, formul for rc length in

More information

Math 1B, lecture 4: Error bounds for numerical methods

Math 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 information

Math 8 Winter 2015 Applications of Integration

Math 8 Winter 2015 Applications of Integration Mth 8 Winter 205 Applictions of Integrtion Here re few importnt pplictions of integrtion. The pplictions you my see on n exm in this course include only the Net Chnge Theorem (which is relly just the Fundmentl

More information

Review on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones.

Review 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 information

Riemann Sums and Riemann Integrals

Riemann 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 information

Lecture 19: Continuous Least Squares Approximation

Lecture 19: Continuous Least Squares Approximation Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for

More information

THE EXISTENCE-UNIQUENESS THEOREM FOR FIRST-ORDER DIFFERENTIAL EQUATIONS.

THE 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 information

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Properties 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 information

Chapter 6. Riemann Integral

Chapter 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 information

ASYMPTOTIC BEHAVIOR OF INTERMEDIATE POINTS IN CERTAIN MEAN VALUE THEOREMS. II

ASYMPTOTIC 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 information

The Riemann-Lebesgue Lemma

The 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 information

Entrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim

Entrance Exam, Real Analysis September 1, 2009 Solve exactly 6 out of the 8 problems. Compute the following and justify your computation: lim 1. Let n be positive integers. ntrnce xm, Rel Anlysis September 1, 29 Solve exctly 6 out of the 8 problems. Sketch the grph of the function f(x): f(x) = lim e x2n. Compute the following nd justify your

More information

Euler, Ioachimescu and the trapezium rule. G.J.O. Jameson (Math. Gazette 96 (2012), )

Euler, 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 information

Riemann Sums and Riemann Integrals

Riemann 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 information

Best Approximation in the 2-norm

Best 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

S. S. Dragomir. 1. Introduction. In [1], Guessab and Schmeisser have proved among others, the following companion of Ostrowski s inequality:

S. 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 information

The Banach algebra of functions of bounded variation and the pointwise Helly selection theorem

The 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 information

II. Integration and Cauchy s Theorem

II. 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 information

Review of Riemann Integral

Review 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 information

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner

More information

Math 61CM - Solutions to homework 9

Math 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 information

7.2 The Definite Integral

7.2 The Definite Integral 7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where

More information

Homework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.

Homework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer. Homework 4 (1) If f R[, b], show tht f 3 R[, b]. If f + (x) = mx{f(x), 0}, is f + R[, b]? Justify your nswer. (2) Let f be continuous function on [, b] tht is strictly positive except finitely mny points

More information

Numerical Analysis: Trapezoidal and Simpson s Rule

Numerical Analysis: Trapezoidal and Simpson s Rule nd Simpson s Mthemticl question we re interested in numericlly nswering How to we evlute I = f (x) dx? Clculus tells us tht if F(x) is the ntiderivtive of function f (x) on the intervl [, b], then I =

More information

A product convergence theorem for Henstock Kurzweil integrals

A product convergence theorem for Henstock Kurzweil integrals A product convergence theorem for Henstock Kurzweil integrls Prsr Mohnty Erik Tlvil 1 Deprtment of Mthemticl nd Sttisticl Sciences University of Albert Edmonton AB Cnd T6G 2G1 pmohnty@mth.ulbert.c etlvil@mth.ulbert.c

More information

8 Laplace s Method and Local Limit Theorems

8 Laplace s Method and Local Limit Theorems 8 Lplce s Method nd Locl Limit Theorems 8. Fourier Anlysis in Higher DImensions Most of the theorems of Fourier nlysis tht we hve proved hve nturl generliztions to higher dimensions, nd these cn be proved

More information

P 3 (x) = f(0) + f (0)x + f (0) 2. x 2 + f (0) . In the problem set, you are asked to show, in general, the n th order term is a n = f (n) (0)

P 3 (x) = f(0) + f (0)x + f (0) 2. x 2 + f (0) . In the problem set, you are asked to show, in general, the n th order term is a n = f (n) (0) 1 Tylor polynomils In Section 3.5, we discussed how to pproximte function f(x) round point in terms of its first derivtive f (x) evluted t, tht is using the liner pproximtion f() + f ()(x ). We clled this

More information

Properties of the Riemann Integral

Properties 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 information

Convergence of Fourier Series and Fejer s Theorem. Lee Ricketson

Convergence of Fourier Series and Fejer s Theorem. Lee Ricketson Convergence of Fourier Series nd Fejer s Theorem Lee Ricketson My, 006 Abstrct This pper will ddress the Fourier Series of functions with rbitrry period. We will derive forms of the Dirichlet nd Fejer

More information

Phil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015

Phil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015 Problem 1 Let m denote the Lebesgue mesure restricted to the compct intervl [, b]. () Prove tht function f defined on the compct intervl [, b] is Lipschitz if nd only if there is constct c nd function

More information

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

The 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 information

arxiv: v1 [math.ca] 11 Jul 2011

arxiv: 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 information

MATH , Calculus 2, Fall 2018

MATH , Calculus 2, Fall 2018 MATH 36-2, 36-3 Clculus 2, Fll 28 The FUNdmentl Theorem of Clculus Sections 5.4 nd 5.5 This worksheet focuses on the most importnt theorem in clculus. In fct, the Fundmentl Theorem of Clculus (FTC is rgubly

More information

On the Generalized Weighted Quasi-Arithmetic Integral Mean 1

On 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 information

5.7 Improper Integrals

5.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 information

INTRODUCTION TO INTEGRATION

INTRODUCTION TO INTEGRATION INTRODUCTION TO INTEGRATION 5.1 Ares nd Distnces Assume f(x) 0 on the intervl [, b]. Let A be the re under the grph of f(x). b We will obtin n pproximtion of A in the following three steps. STEP 1: Divide

More information

Chapter 22. The Fundamental Theorem of Calculus

Chapter 22. The Fundamental Theorem of Calculus Version of 24.2.4 Chpter 22 The Fundmentl Theorem of Clculus In this chpter I ddress one of the most importnt properties of the Lebesgue integrl. Given n integrble function f : [,b] R, we cn form its indefinite

More information

NUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by.

NUMERICAL 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 information

Some estimates on the Hermite-Hadamard inequality through quasi-convex functions

Some 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 information

7 - Continuous random variables

7 - Continuous random variables 7-1 Continuous rndom vribles S. Lll, Stnford 2011.01.25.01 7 - Continuous rndom vribles Continuous rndom vribles The cumultive distribution function The uniform rndom vrible Gussin rndom vribles The Gussin

More information

Integral points on the rational curve

Integral points on the rational curve Integrl points on the rtionl curve y x bx c x ;, b, c integers. Konstntine Zeltor Mthemtics University of Wisconsin - Mrinette 750 W. Byshore Street Mrinette, WI 5443-453 Also: Konstntine Zeltor P.O. Box

More information

arxiv:math/ v2 [math.ho] 16 Dec 2003

arxiv: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 information

The 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 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 information

F (x) dx = F (x)+c = u + C = du,

F (x) dx = F (x)+c = u + C = du, 35. The Substitution Rule An indefinite integrl of the derivtive F (x) is the function F (x) itself. Let u = F (x), where u is new vrible defined s differentible function of x. Consider the differentil

More information

Definite Integrals. The area under a curve can be approximated by adding up the areas of rectangles = 1 1 +

Definite Integrals. The area under a curve can be approximated by adding up the areas of rectangles = 1 1 + Definite Integrls --5 The re under curve cn e pproximted y dding up the res of rectngles. Exmple. Approximte the re under y = from x = to x = using equl suintervls nd + x evluting the function t the left-hnd

More information

GENERALIZATIONS OF WEIGHTED TRAPEZOIDAL INEQUALITY FOR MONOTONIC MAPPINGS AND ITS APPLICATIONS. (b a)3 [f(a) + f(b)] f x (a,b)

GENERALIZATIONS OF WEIGHTED TRAPEZOIDAL INEQUALITY FOR MONOTONIC MAPPINGS AND ITS APPLICATIONS. (b a)3 [f(a) + f(b)] f x (a,b) GENERALIZATIONS OF WEIGHTED TRAPEZOIDAL INEQUALITY FOR MONOTONIC MAPPINGS AND ITS APPLICATIONS KUEI-LIN TSENG, GOU-SHENG YANG, AND SEVER S. DRAGOMIR Abstrct. In this pper, we estblish some generliztions

More information

A Convergence Theorem for the Improper Riemann Integral of Banach Space-valued Functions

A 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 information

Week 10: Riemann integral and its properties

Week 10: Riemann integral and its properties Clculus nd Liner Algebr for Biomedicl Engineering Week 10: Riemnn integrl nd its properties H. Führ, Lehrstuhl A für Mthemtik, RWTH Achen, WS 07 Motivtion: Computing flow from flow rtes 1 We observe the

More information

Problem Set 4: Solutions Math 201A: Fall 2016

Problem 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 information

The Bochner Integral and the Weak Property (N)

The Bochner Integral and the Weak Property (N) Int. Journl of Mth. Anlysis, Vol. 8, 2014, no. 19, 901-906 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2014.4367 The Bochner Integrl nd the Wek Property (N) Besnik Bush Memetj University

More information

Exam 2, Mathematics 4701, Section ETY6 6:05 pm 7:40 pm, March 31, 2016, IH-1105 Instructor: Attila Máté 1

Exam 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 information

Introduction to Real Analysis (Math 315) Martin Bohner

Introduction to Real Analysis (Math 315) Martin Bohner ntroduction to Rel Anlysis (Mth 315) Spring 2005 Lecture Notes Mrtin Bohner Author ddress: Version from April 20, 2005 Deprtment of Mthemtics nd Sttistics, University of Missouri Roll, Roll, Missouri 65409-0020

More information

Overview of Calculus I

Overview of Calculus I Overview of Clculus I Prof. Jim Swift Northern Arizon University There re three key concepts in clculus: The limit, the derivtive, nd the integrl. You need to understnd the definitions of these three things,

More information

11 An introduction to Riemann Integration

11 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 information

Mapping the delta function and other Radon measures

Mapping 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 information

A 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. 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 information

Math Advanced Calculus II

Math 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 information

1 The fundamental theorems of calculus.

1 The fundamental theorems of calculus. The fundmentl theorems of clculus. The fundmentl theorems of clculus. Evluting definite integrls. The indefinite integrl- new nme for nti-derivtive. Differentiting integrls. Tody we provide the connection

More information

1 The Riemann Integral

1 The Riemann Integral The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re

More information

Improper Integrals, and Differential Equations

Improper 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 information

Chapter 0. What is the Lebesgue integral about?

Chapter 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 information