An instructive toy model: two paradoxes
|
|
- Oliver Gilmore
- 5 years ago
- Views:
Transcription
1 Tel Aviv University, 2006 Gussin rndom vectors 27 3 Level crossings... the fmous ice formul, undoubtedly one of the most importnt results in the ppliction of smooth stochstic processes..j. Adler nd J.E. Tylor 1 3 An instructive toy model: two prdoxes b Mesures on the grph of function c The sme for rndom function d Gussin cse: ice s formul e Some integrl geometry An instructive toy model: two prdoxes We strt with very simple rndom trigonometric polynomil (even simpler thn 1c12): (31) X(t) = ζ cost + η sin t where ζ, η re independent N(0, 1) rndom vribles. Its distribution is the imge of γ 2 under the mp (x, y) (t x cost+y sin t). Time shifts of the trigonometric polynomil correspond to rottions of 2, (32) X(t α) = ζ(costcosα + sin t sin α) + η(sin t cosα costsin α) = = (ζ cosα η sin α) cost + (ζ sin α + η cos α) sint; the process (31) is sttionry, tht is, invrint under time shifts; (33) EX(t) = 0, EX(s)X(t) = cos(s t). The rndom vrible (34) hs the density M = mx t X(t) = ζ 2 + η 2 (35) f M (u) = ue u2 /2 for u > 0 ; 1 e u2 /2 du u 1 See Prefce (pge vi) to the book ndom fields nd geometry (to pper).
2 Tel Aviv University, 2006 Gussin rndom vectors 28 it mens tht P ( < M < b ) = b f M(u) du. Consider lso rndom vribles ( k ) (36) M n = mx X ; k Z n clerly, M n M.s. The density of M n is (37) f Mn (u) = 1 u tn π/n /2 n e u2 e x2 /2 dx for u > 0. utn π/n (n=3) u tn π n We see tht f Mn (u) f M (u) = ue u2 /2 s n. On the other hnd, (38) f Mn (u) n 1 e u2 /2 s u. A prdox! Think, wht does it men. Another prdox ppers if we condition X to hve the mximum t given t. By sttionrity we restrict ourselves to t = 0. The condition becomes η = 0 nd ζ > 0; thus, X(t) = ζ cost, nd the conditionl distribution of ζ is the sme s the unconditionl distribution of ζ (since ζ nd η re independent). The conditionl density of M is u 2 e u2 /2 for u > 0. This holds for t = 0, but lso for every t; we conclude tht the unconditionl density of M is lso u 2 e u2 /2, in contrdiction to (35)! Here is nother form of the sme prdox. For ech t the two rndom vribles X(t) nd X (t) re independent (think, why), distributed N(0, 1) ech. Thus, given X(t) = 0, the distribution of X (t) is still N(0, 1), nd the density of X (t) is u 2 e u2 /2 (for u > 0). On the other hnd, X( ) vnishes t two points, nd X (t) = ζ 2 + η 2 = M t these points (think, why). This rgument leds to nother density, u ue u2 /2 (for u > 0). Here is n explntion. The phrse given tht X(0) = 0 hs (t lest) two interprettions, known s verticl window nd horizontl window. Verticl window: we condition on X(0) < ε nd tke ε 0. η ζ
3 Tel Aviv University, 2006 Gussin rndom vectors 29 We get X(t) = η sin t with η distributed N(0, 1) (conditionlly). Horizontl window: we require X to vnish somewhere on ( ε, ε) nd tke ε 0. η ζ We get X(t) = η sin t, but now the conditionl density of η is u const u e u2 /2 (nd const = 1/2). Think bout the two interprettions of the phrse given tht X hs mximum t 0. Here is still nother mnifesttion of the prdox. Let us compre X = ζ cost+η sin t with Y = ζ cos 10t+η sin 10t. For ech t the two rndom vribles X(t), Y (t) hve the sme density t 0 (just becuse both re N(0, 1)). Nevertheless, Y ( ) hs 10 times more zeros thn X( ). Think, wht does it men in terms of the horizontl nd verticl window. 3b Mesures on the grph of function Before treting rndom functions we exmine single (non-rndom) function f C 1 [, b]; tht is, f : [, b] is continuous, nd there exists continuous f : [, b] such tht f(x) = f() + x f (t) dt for x [, b]. The number #f 1 (y) of points x [, b] such tht f(x) = y is function {0, 1, 2,... } { }. 3b1 Lemm. #f 1 (y) dy = b f (x) dx. 3b2 Exercise. Prove 3b1 ssuming tht f is () monotone, (b) piecewise monotone. This is enough for (sy) trigonometric polynomils. In generl, f C 1 [, b] need not be piecewise monotone, 1 but 3b1 holds nywy. Proof of Lemm 3b1 (sketch). We consider the set C = {x : f (x) = 0} of criticl points nd the set f(c) of criticl vlues; both re compct sets, nd mes f(c) = 0 by Srd s theorem (even if mesc 0). If y / f(c) then the set 1 Try x 3 sin(1/x).
4 Tel Aviv University, 2006 Gussin rndom vectors 30 f 1 (y) is finite (since its ccumultion point would be criticl), nd f 1 (y+ε) is close to f 1 (y) for ll ε smll enough; in prticulr, #f 1 (y+ε) = #f 1 (y). The sets B n = {y \ f(c) : #f 1 (y) = n} nd A n = f 1 (B n ) re open, B 1 B 2 = \ f(c), nd A 1 A 2 = f 1 ( \ f(c)) is full mesure subset of \ C. It is sufficient to prove tht #f 1 (y) dy = f (x) dx B n A n for ech n. We consider connected component of B n nd observe tht f is monotone on ech of the n corresponding intervls. Here is n equlity between two mesures on 2 concentrted on the grph of f (below δ x,y stnds for the unit mss t (x, y)). 3b3 Exercise. For every f C 1 [, b], (3b4) dy δ x,y = tht is, (3b5) dy 1 A (x, y) = b b dx f (x) δ x,f(x), dx f (x) 1 A (x, f(x)) for ll Borel sets A 2. Hint: first, consider rectngles A = (x 1, x 2 ) (y 1, y 2 ); second, recll the hint to 2c5. 3b6 Exercise. For every f C 1 [, b] nd every bounded Borel function g : [, b], b dy g(x) = dx f (x) g(x). Hint: first, indictors g = 1 A ; second, their liner combintions. eplcing g(x) with g(x) sgnf (x) we get n equivlent formul 1 b (3b7) dy g(x) sgn f (x) = dxf (x)g(x). 1 for > 0, 1 sgn = 0 for = 0, 1 for < 0.
5 Tel Aviv University, 2006 Gussin rndom vectors 31 We hve lso (seemingly) more generl equlities between (signed) mesures, (3b8) (3b9) dy dy g(x)δ x,y = b g(x) sgnf (x)δ x,y = dx f (x) g(x)δ x,f(x) ; b dxf (x)g(x)δ x,f(x). Tking g( ) 0 such tht both sides of (3b8) re equl to 1 we get probbility mesure on the grph of f. Treting it s the distribution of pir of rndom vribles X, Y we see tht the conditionl distribution of Y given X = x is δ f(x), nd the conditionl distribution of X given Y = y is const g(x)δ x, which does not men tht g is the unconditionl density of X. ther, the density is equl to f g. This is nother mnifesttion of the distinction between horizontl window nd verticl window. 3c The sme for rndom function Let µ be probbility mesure on C 1 [, b]. Two ssumption on µ re introduced below. Given x [, b], we consider the joint distribution of f(x) nd f (x), where ( f is distributed µ; in other words, the imge of µ under the mp f f(x), f (x) ) from C 1 [, b] to 2. The first ssumption: for ech x [, b], this joint distribution is bsolutely continuous, tht is, hs density p x ; (3c1) ϕ(y, y )p x (y, y ) dydy = ϕ ( f(x), f (x) ) µ(df) for every bounded Borel function ϕ : 2 (recll the hint to 3b6). 1 The function (x, y, y ) p x (y, y ) on [, b] 2 is (or rther, my be chosen to be) mesurble, since its convolution with ny continuous function of y, y is continuous in x. For exmple, µ cn be n rbitrry bsolutely continuous mesure on the (finite-dimensionl liner) spce of trigonometric (or lgebric) polynomils of degree n (except for n = 0). 1 The mening of df in µ(df) nd df(x)/dx is completely different...
6 Tel Aviv University, 2006 Gussin rndom vectors 32 The second ssumption: 1 (3c2) [,b] C 1 [,b] f (x) dxµ(df) <. (A simple sufficient condition: f µ(df) < ; here f = mx f + mx f or something equivlent.) For exmple, µ cn be n rbitrry nondegenerte Gussin mesure on the (finite-dimensionl liner) spce of trigonometric (or lgebric) polynomils of degree n (except for n = 0). 3c3 Exercise. The function f #f 1 (0) is Borel function on C 1 [, b]. Hint: first, {f : f 1 (0) = } is open; second, #f 1 (0) = lim n #{k : f 1 (0) [(k 1)2 n, k 2 n ) }. 3c4 Exercise. The function (y, f) #f 1 (y) is Borel function on C 1 [, b]. Hint: do not work hrd, consider (y, f) f( ) y. For given y we consider the expected (verged) #f 1 (y), (3c5) E ( #f 1 (y) ) = #f 1 (y) µ(df) [0, ]. 3c6 Exercise. dy E ( #f 1 (y) ) = Hint: 3b1 nd Fubini. C 1 [,b] Similrly, (3b5) gives (3c7) dy E 1 A (x, y) = b b dx dydy p x (y, y ) y. 2 dx dydy p x (y, y ) y 1 A (x, y) 2 for ll Borel sets A 2. More generlly, 2 (3c8) dy E b g(x, y) = dx dydy p x (y, y ) y g(x, y) 2 1 The function (x, f) f (x) on [, b] C 1 [, b] is continuous, therefore, Borel. 2 In 3b6 we use g(x), but g(x, y) cn be used eqully well (which does not increse generlity).
7 Tel Aviv University, 2006 Gussin rndom vectors 33 for every bounded Borel function g : 2. Substituting g(x)h(y) for g(x, y) we get (3c9) dy h(y) E g(x) = dy h(y) b dx g(x) dy p x (y, y ) y for ll bounded Borel functions g : [, b], h :. Therefore (3c10) E g(x) = for lmost ll y. Especilly, (3c11) E ( #f 1 (y) ) = b b dx g(x) dy p x (y, y ) y dx dy p x (y, y ) y for lmost ll y. Some dditionl ssumptions could ensure (continuity in y nd therefore) the equlity for every y. 3d Gussin cse: ice s formul Let γ be (centered) Gussin mesure on C 1 [, b] such tht for every x [, b] (3d1) f(x) 2 γ(df) = 1, C 1 [,b] (3d2) f (x) 2 γ(df) = σ 2 (x) > 0 C 1 [,b] for some σ : [, b] (0, ). 1 Ech x [, b] leds to two mesurble (in fct, continuous) liner functionls f f(x) nd f f (x) on (C 1 [, b], γ). The former is distributed N(0, 1) by (3d1); the ltter is distributed N(0, σ 2 (x)) by (3d2). 3d3 Exercise. The function σ( ) is continuous on [, b]. Hint: f (x+ε) f (x) 0 (s ε 0) lmost sure, therefore in probbility, therefore (using normlity!) in L 2 (γ). 1 See lso 3d14.
8 Tel Aviv University, 2006 Gussin rndom vectors 34 The joint distribution of f(x) nd f (x) is Gussin mesure on 2. It ppers to be the product mesure, N(0, 1) N(0, σ 2 (x)); in other words, the two rndom vribles f(x) nd f (x) re independent. It is sufficient to prove tht they re orthogonl, (3d4) f(x)f (x) γ(df) = 0. Proof: by (3d1), C 1 [,b] f(x + ε) 2 f(x) 2 0 = γ(df) = 2ε f(x + ε) f(x) f(x + ε) + f(x) = ε 2 γ(df) ε 0 f(x)f (x) γ(df). (Once gin, convergence lmost sure implies convergence in L 2 (γ)...) We see tht γ stisfies (3c1) with ) (3d5) p x (y, y 1 ) = ( σ(x) exp y2 2 y 2. 2σ 2 (x) Condition (3c2) boils down to σ( ) L 1 [, b], which is ensured by (3d3). Thus, we my use the theory of 3c. 3d6 Exercise. (ice s formul) 1 For lmost ll 2 y, Hint: (3c11) nd (3d5). E ( #f 1 (y) ) = 1 π e y2 /2 b σ(x) dx. Let us try it on the toy model (31). Here [, b] = [0, ], σ( ) = 1, nd we get E ( #f 1 (y) ) = 2e y2 /2. In fct, #f 1 (0) = 2.s., nd #f 1 (y) = 2 if M > y, otherwise 0; therefore E ( #f 1 (y) ) = 2P ( M > y ) = 2 f y M (u) du = 2e y2 /2 by (35). 3d7 Exercise. Clculte E ( #f 1 (y) ) for the rndom trigonometric polynomil of 1c12, X(t) = ζ 1 cost + η 1 sin t ζ 2 cos 2t η 2 sin 2t. 1 Kc 1943, ice 1945, Bunimovich 1951, Grennder nd osenbltt 1957, Ivnov 1960, Bulinsky 1961, Itô 1964, Ylvisker 1965 et l. See [1, Sect. 10.3]. 2 In fct, for ll y, see 3d12.
9 Tel Aviv University, 2006 Gussin rndom vectors 35 Integrting ice s formul in y we get (3d8) dy E ( #f 1 (y) ) 2 = π b σ(x) dx, which cn be obtined simpler, by verging (in f) the equlity 3b1 (nd using Fubini s theorem). Bsiclly, ice s formul sttes tht E ( #f 1 (y) ) = const e y2 /2, where the coefficient does not depend on y; its vlue follows esily from 3b1. We my rewrite ice s formul s (3d9) E ( #f 1 (y) ) = 1 e y2 /2 E b f (x) dx for lmost ll y ; note tht E b f (x) dx is the expected totl vrition of f. For exmple, on the toy model (31), #f 1 (0) = 2.s., the totl vrition is equl to 4M, nd EM = uf 0 M (u) du = π/2. The right-hnd side of ice s formul is continuous (in y); in order to get it for ll (rther thn lmost ll) y we will prove tht the left-hnd side is lso continuous (in y). First, we do it for one-dimensionl non-centered Gussin mesure. 3d10 Exercise. Let g, h C 1 [, b] nd h(x) 0 for ll x [, b]. Then the function y 1 du e u2 /2 #fu 1 (y), where f u ( ) = g( ) + uh( ), is continuous on. Hint: the integrl is equl to the totl vrition of the function x Φ ( y g(x) ) ( h(x) where Φ(u) = γ 1 (, u] ). 3d11 Lemm. The function y E ( #f 1 (y) ) is continuous on. Proof (sketch). It is sufficient to prove it on smll subintervls of [, b], due to dditivity. Assume tht γ is infinite-dimensionl (finite dimension is similr but simpler). We hve γ = V (γ ) for some V : S 1 E, S 1 being liner subspce of full mesure. Thus, f = g + uh, where u N(0, 1), h = V ((1, 0, 0,...)) nd g = V ((0,,,...)). Conditionlly, given g, we my pply 3d10 provided tht h does not vnish. Otherwise we do it on neighborhood of ny given point, picking up n pproprite coordinte of. 3d12 Corollry. Formuls 3d6, (3d8), (3d9) hold for ll y (not just lmost ll).
10 Tel Aviv University, 2006 Gussin rndom vectors 36 Especilly, (3d13) E ( #f 1 (0) ) = 1 E b f (x) dx. 3d14 Exercise. Formuls 3d6, (3d8), (3d9), (3d13) still hold if σ( ) my vnish. Hint: pss to the new vrible x new = x 0 σ(x 1) dx 1. 3e Some integrl geometry We consider curve on S n 1 = {z n : z = 1} prmeterized by some [, b]; Z C 1( [, b], n), Z ( [, b] ) S n 1. It leds to Gussin rndom vector in C 1 [, b], f(x) = Z(x), ξ, where ξ is distributed γ n. (Thus, f(x) = ζ 1 Z 1 (x) + + ζ n Z n (x) where ζ 1,...,ζ n re independent rndom vribles distributed N(0, 1) ech, nd Z 1,..., Z n C 1 [, b].) The function f( ) vnishes when the curve Z( ) intersects the hyperplne {z n : z, ξ = 0}. The ltter is just rndom hyperplne distributed uniformly, since ξ/ ξ is distributed uniformly of S n 1. Thus, E ( #f 1 (0) ) is the men number of intersections. On the other hnd, σ 2 (x) = E f (x) 2 = E Z (x), ξ 2 = Z (x) 2, thus, b σ(x) dx is nothing but the length of the given curve. By ice s formul (for y = 0), (3e1) the men number of intersections the length of the curve = 1 π. For exmple, the toy model (31) corresponds to Z : [0, ] S 1, Z(t) = (cos t, sin t). The curve is the unit circle, of length. The number of intersections is equl to 2 lwys. eferences [1] H. Crmér, M.. Ledbetter, Sttionry nd relted stochstic processes, Wiley 1967.
11 Tel Aviv University, 2006 Gussin rndom vectors 37 Index expected totl vrition, 35 horizontl window, 29 ice formul, 34 verticl window, 28 C 1 [, b], spce of smooth functions, 29 E ( #f 1 (y) ), expected number of level crossings, 32 #f 1 (y), number of level crossings, 29 p x (y, y ), 2-dim density, 31 σ(x), men squre derivtive, 33
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 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 informationTheoretical foundations of Gaussian quadrature
Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of
More informationAbstract inner product spaces
WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the
More 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 informationg i fφdx dx = x i i=1 is a Hilbert space. We shall, henceforth, abuse notation and write g i f(x) = f
1. Appliction of functionl nlysis to PEs 1.1. Introduction. In this section we give little introduction to prtil differentil equtions. In prticulr we consider the problem u(x) = f(x) x, u(x) = x (1) where
More 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 informationMain topics for the First Midterm
Min topics for the First Midterm The Midterm will cover Section 1.8, Chpters 2-3, Sections 4.1-4.8, nd Sections 5.1-5.3 (essentilly ll of the mteril covered in clss). Be sure to know the results of the
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 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 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 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 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 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 informationReview of basic calculus
Review of bsic clculus This brief review reclls some of the most importnt concepts, definitions, nd theorems from bsic clculus. It is not intended to tech bsic clculus from scrtch. If ny of the items below
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 informationBest Approximation. Chapter The General Case
Chpter 4 Best Approximtion 4.1 The Generl Cse In the previous chpter, we hve seen how n interpolting polynomil cn be used s n pproximtion to given function. We now wnt to find the best pproximtion to given
More informationCMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature
CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy
More informationf(a+h) f(a) x a h 0. This is the rate at which
M408S Concept Inventory smple nswers These questions re open-ended, nd re intended to cover the min topics tht we lerned in M408S. These re not crnk-out-n-nswer problems! (There re plenty of those in the
More information38 Riemann sums and existence of the definite integral.
38 Riemnn sums nd existence of the definite integrl. In the clcultion of the re of the region X bounded by the grph of g(x) = x 2, the x-xis nd 0 x b, two sums ppered: ( n (k 1) 2) b 3 n 3 re(x) ( n These
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 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 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 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 informationPresentation Problems 5
Presenttion Problems 5 21-355 A For these problems, ssume ll sets re subsets of R unless otherwise specified. 1. Let P nd Q be prtitions of [, b] such tht P Q. Then U(f, P ) U(f, Q) nd L(f, P ) L(f, Q).
More informationLecture 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 informationGoals: Determine how to calculate the area described by a function. Define the definite integral. Explore the relationship between the definite
Unit #8 : The Integrl Gols: Determine how to clculte the re described by function. Define the definite integrl. Eplore the reltionship between the definite integrl nd re. Eplore wys to estimte the definite
More informationConvex Sets and Functions
B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line
More informationLecture 3. Limits of Functions and Continuity
Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live
More informationDefinition of Continuity: The function f(x) is continuous at x = a if f(a) exists and lim
Mth 9 Course Summry/Study Guide Fll, 2005 [1] Limits Definition of Limit: We sy tht L is the limit of f(x) s x pproches if f(x) gets closer nd closer to L s x gets closer nd closer to. We write lim f(x)
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 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 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 information1.3 The Lemma of DuBois-Reymond
28 CHAPTER 1. INDIRECT METHODS 1.3 The Lemm of DuBois-Reymond We needed extr regulrity to integrte by prts nd obtin the Euler- Lgrnge eqution. The following result shows tht, t lest sometimes, the extr
More informationa < a+ x < a+2 x < < a+n x = b, n A i n f(x i ) x. i=1 i=1
Mth 33 Volume Stewrt 5.2 Geometry of integrls. In this section, we will lern how to compute volumes using integrls defined by slice nlysis. First, we recll from Clculus I how to compute res. Given the
More informationNotes on length and conformal metrics
Notes on length nd conforml metrics We recll how to mesure the Eucliden distnce of n rc in the plne. Let α : [, b] R 2 be smooth (C ) rc. Tht is α(t) (x(t), y(t)) where x(t) nd y(t) re smooth rel vlued
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 information. Double-angle formulas. Your answer should involve trig functions of θ, and not of 2θ. sin 2 (θ) =
Review of some needed Trig. Identities for Integrtion. Your nswers should be n ngle in RADIANS. rccos( 1 ) = π rccos( - 1 ) = 2π 2 3 2 3 rcsin( 1 ) = π rcsin( - 1 ) = -π 2 6 2 6 Cn you do similr problems?
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 informationf p dm = exp Use the Dominated Convergence Theorem to complete the exercise. ( d φ(tx))f(x) dx. Ψ (t) =
M38C Prctice for the finl Let f L ([, ]) Prove tht ( /p f dm) p = exp p log f dm where, by definition, exp( ) = To simplify the problem, you my ssume log f L ([, ]) Hint: rewrite the left hnd side in form
More informationSpace Curves. Recall the parametric equations of a curve in xy-plane and compare them with parametric equations of a curve in space.
Clculus 3 Li Vs Spce Curves Recll the prmetric equtions of curve in xy-plne nd compre them with prmetric equtions of curve in spce. Prmetric curve in plne x = x(t) y = y(t) Prmetric curve in spce x = x(t)
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1
MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further
More informationMath 426: Probability Final Exam Practice
Mth 46: Probbility Finl Exm Prctice. Computtionl problems 4. Let T k (n) denote the number of prtitions of the set {,..., n} into k nonempty subsets, where k n. Argue tht T k (n) kt k (n ) + T k (n ) by
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 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 information1 Probability Density Functions
Lis Yn CS 9 Continuous Distributions Lecture Notes #9 July 6, 28 Bsed on chpter by Chris Piech So fr, ll rndom vribles we hve seen hve been discrete. In ll the cses we hve seen in CS 9, this ment tht our
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 informationMATH 144: Business Calculus Final Review
MATH 144: Business Clculus Finl Review 1 Skills 1. Clculte severl limits. 2. Find verticl nd horizontl symptotes for given rtionl function. 3. Clculte derivtive by definition. 4. Clculte severl derivtives
More informationRecitation 3: More Applications of the Derivative
Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech
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 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 informationRiemann is the Mann! (But Lebesgue may besgue to differ.)
Riemnn is the Mnn! (But Lebesgue my besgue to differ.) Leo Livshits My 2, 2008 1 For finite intervls in R We hve seen in clss tht every continuous function f : [, b] R hs the property tht for every ɛ >
More informationAnalytical Methods Exam: Preparatory Exercises
Anlyticl Methods Exm: Preprtory Exercises Question. Wht does it men tht (X, F, µ) is mesure spce? Show tht µ is monotone, tht is: if E F re mesurble sets then µ(e) µ(f). Question. Discuss if ech of the
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 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 informationNumerical integration
2 Numericl integrtion This is pge i Printer: Opque this 2. Introduction Numericl integrtion is problem tht is prt of mny problems in the economics nd econometrics literture. The orgniztion of this chpter
More informationNote 16. Stokes theorem Differential Geometry, 2005
Note 16. Stokes theorem ifferentil Geometry, 2005 Stokes theorem is the centrl result in the theory of integrtion on mnifolds. It gives the reltion between exterior differentition (see Note 14) nd integrtion
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 information. Double-angle formulas. Your answer should involve trig functions of θ, and not of 2θ. cos(2θ) = sin(2θ) =.
Review of some needed Trig Identities for Integrtion Your nswers should be n ngle in RADIANS rccos( 1 2 ) = rccos( - 1 2 ) = rcsin( 1 2 ) = rcsin( - 1 2 ) = Cn you do similr problems? Review of Bsic Concepts
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 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 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 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 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 informationMA Handout 2: Notation and Background Concepts from Analysis
MA350059 Hndout 2: Nottion nd Bckground Concepts from Anlysis This hndout summrises some nottion we will use nd lso gives recp of some concepts from other units (MA20023: PDEs nd CM, MA20218: Anlysis 2A,
More informationWe partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.
Mth 255 - Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn
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 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 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 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 informationUNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3
UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,
More informationCalculus of Variations
Clculus of Vritions Com S 477/577 Notes) Yn-Bin Ji Dec 4, 2017 1 Introduction A functionl ssigns rel number to ech function or curve) in some clss. One might sy tht functionl is function of nother function
More informationSTURM-LIOUVILLE BOUNDARY VALUE PROBLEMS
STURM-LIOUVILLE BOUNDARY VALUE PROBLEMS Throughout, we let [, b] be bounded intervl in R. C 2 ([, b]) denotes the spce of functions with derivtives of second order continuous up to the endpoints. Cc 2
More informationa n = 1 58 a n+1 1 = 57a n + 1 a n = 56(a n 1) 57 so 0 a n+1 1, and the required result is true, by induction.
MAS221(216-17) Exm Solutions 1. (i) A is () bounded bove if there exists K R so tht K for ll A ; (b) it is bounded below if there exists L R so tht L for ll A. e.g. the set { n; n N} is bounded bove (by
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 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 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 information2008 Mathematical Methods (CAS) GA 3: Examination 2
Mthemticl Methods (CAS) GA : Exmintion GENERAL COMMENTS There were 406 students who st the Mthemticl Methods (CAS) exmintion in. Mrks rnged from to 79 out of possible score of 80. Student responses showed
More informationWe know that if f is a continuous nonnegative function on the interval [a, b], then b
1 Ares Between Curves c 22 Donld Kreider nd Dwight Lhr We know tht if f is continuous nonnegtive function on the intervl [, b], then f(x) dx is the re under the grph of f nd bove the intervl. We re going
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 informationPolynomial Approximations for the Natural Logarithm and Arctangent Functions. Math 230
Polynomil Approimtions for the Nturl Logrithm nd Arctngent Functions Mth 23 You recll from first semester clculus how one cn use the derivtive to find n eqution for the tngent line to function t given
More informationCHAPTER 4 MULTIPLE INTEGRALS
CHAPTE 4 MULTIPLE INTEGAL The objects of this chpter re five-fold. They re: (1 Discuss when sclr-vlued functions f cn be integrted over closed rectngulr boxes in n ; simply put, f is integrble over iff
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationNOTES AND PROBLEMS: INTEGRATION THEORY
NOTES AND PROBLEMS: INTEGRATION THEORY SAMEER CHAVAN Abstrct. These re the lecture notes prepred for prticipnts of AFS-I to be conducted t Kumun University, Almor from 1st to 27th December, 2014. Contents
More 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 informationAdvanced Calculus: MATH 410 Uniform Convergence of Functions Professor David Levermore 11 December 2015
Advnced Clculus: MATH 410 Uniform Convergence of Functions Professor Dvid Levermore 11 December 2015 12. Sequences of Functions We now explore two notions of wht it mens for sequence of functions {f n
More informationand that at t = 0 the object is at position 5. Find the position of the object at t = 2.
7.2 The Fundmentl Theorem of Clculus 49 re mny, mny problems tht pper much different on the surfce but tht turn out to be the sme s these problems, in the sense tht when we try to pproimte solutions we
More informationThis is a short summary of Lebesgue integration theory, which will be used in the course.
3 Chpter 0 ntegrtion theory This is short summry of Lebesgue integrtion theory, which will be used in the course. Fct 0.1. Some subsets (= delmängder E R = (, re mesurble (= mätbr in the Lebesgue sense,
More informationCalculus I-II Review Sheet
Clculus I-II Review Sheet 1 Definitions 1.1 Functions A function is f is incresing on n intervl if x y implies f(x) f(y), nd decresing if x y implies f(x) f(y). It is clled monotonic if it is either incresing
More informationMATH 174A: PROBLEM SET 5. Suggested Solution
MATH 174A: PROBLEM SET 5 Suggested Solution Problem 1. Suppose tht I [, b] is n intervl. Let f 1 b f() d for f C(I; R) (i.e. f is continuous rel-vlued function on I), nd let L 1 (I) denote the completion
More 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 informationSTUDY GUIDE FOR BASIC EXAM
STUDY GUIDE FOR BASIC EXAM BRYON ARAGAM This is prtil list of theorems tht frequently show up on the bsic exm. In mny cses, you my be sked to directly prove one of these theorems or these vrints. There
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 informationMA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.
MA123, Chpter 1: Formuls for integrls: integrls, ntiderivtives, nd the Fundmentl Theorem of Clculus (pp. 27-233, Gootmn) Chpter Gols: Assignments: Understnd the sttement of the Fundmentl Theorem of Clculus.
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 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 informationLine Integrals. Partitioning the Curve. Estimating the Mass
Line Integrls Suppose we hve curve in the xy plne nd ssocite density δ(p ) = δ(x, y) t ech point on the curve. urves, of course, do not hve density or mss, but it my sometimes be convenient or useful to
More information20 MATHEMATICS POLYNOMIALS
0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of
More informationLine and Surface Integrals: An Intuitive Understanding
Line nd Surfce Integrls: An Intuitive Understnding Joseph Breen Introduction Multivrible clculus is ll bout bstrcting the ides of differentition nd integrtion from the fmilir single vrible cse to tht of
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 information