EXAMPLES OF QUANTUM INTEGRALS
|
|
- Juliana Franklin
- 5 years ago
- Views:
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
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 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 informationChapter 4. Lebesgue Integration
4.2. Lebesgue Integrtion 1 Chpter 4. Lebesgue Integrtion Section 4.2. Lebesgue Integrtion Note. Simple functions ply the sme role to Lebesgue integrls s step functions ply to Riemnn integrtion. Definition.
More informationLecture 1. 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 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 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 informationChapter 5 : Continuous Random Variables
STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 216 Néhémy Lim Chpter 5 : Continuous Rndom Vribles Nottions. N {, 1, 2,...}, set of nturl numbers (i.e. ll nonnegtive integers); N {1, 2,...}, set of ll
More informationFundamental Theorem of Calculus
Fundmentl Theorem of Clculus Recll tht if f is nonnegtive nd continuous on [, ], then the re under its grph etween nd is the definite integrl A= f() d Now, for in the intervl [, ], let A() e the re under
More 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 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 informationMath 554 Integration
Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we
More informationCzechoslovak Mathematical Journal, 55 (130) (2005), , Abbotsford. 1. Introduction
Czechoslovk Mthemticl Journl, 55 (130) (2005), 933 940 ESTIMATES OF THE REMAINDER IN TAYLOR S THEOREM USING THE HENSTOCK-KURZWEIL INTEGRAL, Abbotsford (Received Jnury 22, 2003) Abstrct. When rel-vlued
More 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 informationMORE 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 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 informationLecture 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 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 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 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 informationSection 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 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 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 informationUnit #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 informationFundamental Theorem of Calculus for Lebesgue Integration
Fundmentl Theorem of Clculus for Lebesgue Integrtion J. J. Kolih The existing proofs of the Fundmentl theorem of clculus for Lebesgue integrtion typiclly rely either on the Vitli Crthéodory theorem on
More information4.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 information7.2 Riemann Integrable Functions
7.2 Riemnn Integrble Functions Theorem 1. If f : [, b] R is step function, then f R[, b]. Theorem 2. If f : [, b] R is continuous on [, b], then f R[, b]. Theorem 3. If f : [, b] R is bounded nd continuous
More 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 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 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 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 informationImproper Integrals. Type I Improper Integrals How do we evaluate an integral such as
Improper Integrls Two different types of integrls cn qulify s improper. The first type of improper integrl (which we will refer to s Type I) involves evluting n integrl over n infinite region. In the grph
More information1 1D heat and wave equations on a finite interval
1 1D het nd wve equtions on finite intervl In this section we consider generl method of seprtion of vribles nd its pplictions to solving het eqution nd wve eqution on finite intervl ( 1, 2. Since by trnsltion
More 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 informationf(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 informationThe 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 informationContinuous Random Variables
STAT/MATH 395 A - PROBABILITY II UW Winter Qurter 217 Néhémy Lim Continuous Rndom Vribles Nottion. The indictor function of set S is rel-vlued function defined by : { 1 if x S 1 S (x) if x S Suppose tht
More informationEuler-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 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 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 informationSection 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 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 informationMath 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 informationReview on Integration (Secs ) Review: Sec Origins of Calculus. Riemann Sums. New functions from old ones.
Mth 20B Integrl Clculus Lecture Review on Integrtion (Secs. 5. - 5.3) Remrks on the course. Slide Review: Sec. 5.-5.3 Origins of Clculus. Riemnn Sums. New functions from old ones. A mthemticl description
More 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 informationLecture 19: Continuous Least Squares Approximation
Lecture 19: Continuous Lest Squres Approximtion 33 Continuous lest squres pproximtion We begn 31 with the problem of pproximting some f C[, b] with polynomil p P n t the discrete points x, x 1,, x m for
More 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 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 informationChapter 6. Riemann Integral
Introduction to Riemnn integrl Chpter 6. Riemnn Integrl Won-Kwng Prk Deprtment of Mthemtics, The College of Nturl Sciences Kookmin University Second semester, 2015 1 / 41 Introduction to Riemnn integrl
More 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 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 informationEntrance 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 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 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 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 informationS. S. Dragomir. 1. Introduction. In [1], Guessab and Schmeisser have proved among others, the following companion of Ostrowski s inequality:
FACTA UNIVERSITATIS NIŠ) Ser Mth Inform 9 00) 6 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Dedicted to Prof G Mstroinni for his 65th birthdy
More 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 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 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 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 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 information7.2 The Definite Integral
7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where
More informationHomework 4. (1) If f R[a, b], show that f 3 R[a, b]. If f + (x) = max{f(x), 0}, is f + R[a, b]? Justify your answer.
Homework 4 (1) If f R[, b], show tht f 3 R[, b]. If f + (x) = mx{f(x), 0}, is f + R[, b]? Justify your nswer. (2) Let f be continuous function on [, b] tht is strictly positive except finitely mny points
More informationNumerical Analysis: Trapezoidal and Simpson s Rule
nd Simpson s Mthemticl question we re interested in numericlly nswering How to we evlute I = f (x) dx? Clculus tells us tht if F(x) is the ntiderivtive of function f (x) on the intervl [, b], then I =
More 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 information8 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 informationP 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 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 informationConvergence 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 informationPhil Wertheimer UMD Math Qualifying Exam Solutions Analysis - January, 2015
Problem 1 Let m denote the Lebesgue mesure restricted to the compct intervl [, b]. () Prove tht function f defined on the compct intervl [, b] is Lipschitz if nd only if there is constct c nd function
More informationThe final exam will take place on Friday May 11th from 8am 11am in Evans room 60.
Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23
More 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 informationMATH , 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 informationOn the Generalized Weighted Quasi-Arithmetic Integral Mean 1
Int. Journl of Mth. Anlysis, Vol. 7, 2013, no. 41, 2039-2048 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/10.12988/ijm.2013.3499 On the Generlized Weighted Qusi-Arithmetic Integrl Men 1 Hui Sun School
More 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 informationINTRODUCTION TO INTEGRATION
INTRODUCTION TO INTEGRATION 5.1 Ares nd Distnces Assume f(x) 0 on the intervl [, b]. Let A be the re under the grph of f(x). b We will obtin n pproximtion of A in the following three steps. STEP 1: Divide
More informationChapter 22. The Fundamental Theorem of Calculus
Version of 24.2.4 Chpter 22 The Fundmentl Theorem of Clculus In this chpter I ddress one of the most importnt properties of the Lebesgue integrl. Given n integrble function f : [,b] R, we cn form its indefinite
More 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 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 information7 - 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 informationIntegral points on the rational curve
Integrl points on the rtionl curve y x bx c x ;, b, c integers. Konstntine Zeltor Mthemtics University of Wisconsin - Mrinette 750 W. Byshore Street Mrinette, WI 5443-453 Also: Konstntine Zeltor P.O. Box
More 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 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 informationF (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 informationDefinite 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 informationGENERALIZATIONS 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 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 informationWeek 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 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 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 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 informationIntroduction to Real Analysis (Math 315) Martin Bohner
ntroduction to Rel Anlysis (Mth 315) Spring 2005 Lecture Notes Mrtin Bohner Author ddress: Version from April 20, 2005 Deprtment of Mthemtics nd Sttistics, University of Missouri Roll, Roll, Missouri 65409-0020
More informationOverview 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 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 informationMapping the delta function and other Radon measures
Mpping the delt function nd other Rdon mesures Notes for Mth583A, Fll 2008 November 25, 2008 Rdon mesures Consider continuous function f on the rel line with sclr vlues. It is sid to hve bounded support
More 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 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 information1 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 information1 The Riemann Integral
The Riemnn Integrl. An exmple leding to the notion of integrl (res) We know how to find (i.e. define) the re of rectngle (bse height), tringle ( (sum of res of tringles). But how do we find/define n re
More 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 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 information