Notes 27 : Brownian motion: path properties
|
|
- Darcy Rodgers
- 5 years ago
- Views:
Transcription
1 Notes 27 : Browia motio: path properties Math : Theory of Probability Lecturer: Sebastie Roch Refereces:[Dur10, Sectio 8.1], [MP10, Sectio 1.1, 1.2, 1.3]. Recall: DEF 27.1 (Covariace) Let X = (X 1,..., X d ) be a radom vector with mea µ = E[X]. The covariace of X is the d d matrix Γ with etries Γ ij = Cov[X i, X j ] = E[(X i µ i )(X j µ j )]. DEF 27.2 (Gaussia distributio) A stadard Gaussia is a RV Z with CF φ Z (t) = exp ( t 2 /2 ), ad desity f Z (x) = 1 2π exp ( x 2 /2 ). I particular, Z has mea 0 ad variace 1. More geerally, X = σz + µ, is a Gaussia RV with mea µ R ad variace σ 2 > 0. DEF 27.3 (Multivariate Gaussia) A d-dimesioal stadard Gaussia is a radom vector X = (X 1,..., X d ) where the X i s are idepedet stadard Gaussias. I particular, X has mea 0 ad covariace matrix I. More geerally, a radom vector X = (X 1,..., X d ) is Gaussia if there is a vector b, a d r matrix A ad a r-dimesioal stadard Gaussia Y such that X = AY + b. The X has mea µ = b ad covariace matrix Γ = AA T. The CF of X is give by d φ X (t) = exp i t j µ j 1 d t j t k Γ jk. 2 1 j,k=1
2 Lecture 27: Browia motio: path properties 2 COR 27.4 (Idepedece) Let X = (X 1,..., X d ) be a multivariate Gaussia. The the X i s are idepedet if ad oly if Γ ij = 0 for all i j, that is, if they are ucorrelated. COR 27.5 (Liear combiatios) The radom vector (X 1,..., X d ) is multivariate Gaussia if ad oly if all liear combiatios of its compoets are Gaussia. DEF 27.6 (Gaussia process) A cotiuous-time stochastic process {X(t)} t 0 is a Gaussia process if for all 1 ad 0 t 1 < < t < + the radom vector (X(t 1 ),..., X(t )), is multivariate Gaussia. The mea ad covariace fuctios of X are E[X(t)] ad Cov[X(s), X(t)] respectively. DEF 27.7 (Browia motio: Defiitio I) The cotiuous-time stochastic process X = {X(t)} t 0 is a stadard Browia motio if X is a Gaussia process with almost surely cotiuous paths, that is, such that X(0) = 0, ad P[X(t) is cotiuous i t] = 1, E[X(t)] = 0, Cov[X(s), X(t)] = s t. More geerally, B = σx + x is a Browia motio started at x. DEF 27.8 (Statioary idepedet icremets) A SP {X(t)} t 0 has statioary icremets if the distributio of X(t) X(s) depeds oly o t s for all 0 s t. It has idepedet icremets if the RVs {X(t j+1 X(t j )), 1 j < } are idepedet wheever 0 t 1 < t 2 < < t ad 1. DEF 27.9 (Browia motio: Defiitio II) The cotiuous-time stochastic process X = {X(t)} t 0 is a stadard Browia motio if X has almost surely cotiuous paths ad statioary idepedet icremets such that X(s + t) X(s) is Gaussia with mea 0 ad variace t. THM (Existece) Stadard Browia motio B = {B(t)} t 0 exists.
3 Lecture 27: Browia motio: path properties 3 1 Ivariace We begi with some useful ivariace properties. The followig are immediate. THM (Time traslatio) Let s 0. If B(t) is a stadard Browia motio, the so is X(t) = B(t + s) B(s). THM (Scalig ivariace) Let a > 0. If B(t) is a stadard Browia motio, the so is X(t) = a 1 B(a 2 t). Proof: (Sketch) We compute the variace of the icremets: Var[X(t) X(s)] = Var[a 1 (B(a 2 t) B(a 2 s))] = a 2 (a 2 t a 2 s) = t s. THM (Time iversio) If B(t) is a stadard Browia motio, the so is { 0, t = 0, X(t) = tb(t 1 ), t > 0. Proof: (Sketch) We compute the covariace fuctio for s < t: Cov[X(s), X(t)] = Cov[sB(s 1 ), tb(t 1 )] = st ( s 1 t 1) = s. It remais to check cotiuity at 0. Note that { } lim B(t) = 0 = { B(t) 1/m, t Q (0, 1/)}, t 0 m 1 1 ad { } lim X(t) = 0 t 0 = m 1 { X(t) 1/m, t Q (0, 1/)}. 1 (We are usig cotiuity o t > 0.) The RHSs have the same probability because the distributios o all fiite-dimesioal sets (icludig 0) ad therefore o the ratioals are the same. The LHS of the first oe has probability 1. Typical applicatios of these are:
4 Lecture 27: Browia motio: path properties 4 COR For a < 0 < b, let T (a, b) = if {t 0 : B(t) {a, b}}. The E[T (a, b)] = a 2 E[T (1, b/a)]. I particular, E[T ( b, b)] is a costat multiple of b 2. Proof: Let X(t) = a 1 B(a 2 t). The, E[T (a, b)] = a 2 E[if{t 0, : X(t) {1, b/a}}] = a 2 E[T (1, b/a)]. COR Almost surely, t 1 B(t) 0. Proof: Let X(t) be the time iversio of B(t). The B(t) lim = lim X(1/t) = X(0) = 0. t t t 2 Modulus of cotiuity By costructio, B(t) is cotiuous a.s. I fact, we ca prove more. DEF (Hölder cotiuity) A fuctio f is said locally α-hölder cotiuous at x if there exists ε > 0 ad c > 0 such that f(x) f(y) c x y α, for all y with y x < ε. We refer to α as the Hölder expoet ad to c as the Hölder costat. THM (Holder cotiuity) If α < 1/2, the almost surely Browia motio is everywhere locally α-hölder cotiuous. Proof:
5 Lecture 27: Browia motio: path properties 5 LEM There exists a costat C > 0 such that, almost surely, for every sufficietly small h > 0 ad all 0 t 1 h, B(t + h) B(t) C h log(1/h). Proof: Recall our costructio of Browia motio o [0, 1]. Let ad D = {k2 : 0 k 2 }, D = =0D. Note that D is coutable ad cosider {Z t } t D a collectio of idepedet stadard Gaussias. Let Z 1, t = 1, F 0 (t) = 0, t = 0, liearly, i betwee. ad for 1 Fially 2 (+1)/2 Z t, t D \D 1, F (t) = 0, t D 1, liearly, i betwee. B(t) = F (t). =0 Each F is piecewise liear ad its derivative exists almost everywhere. By costructio, we have F F 2. Recall that there is N (radom) such that Z d < c for all d D with > N. I particular, for > N we have F < c 2 (+1)/2. Usig the mea-value theorem, assumig l > N, B(t + h) B(t) F (t + h) F (t) =0 l h F + =0 h =l+1 N F + ch =0 2 F, l 2 /2 + 2c =N =l+1 2 /2.
6 Lecture 27: Browia motio: path properties 6 (The idea above is that the sup orm ad the sup orm of the derivatives by themselves are ot good eough. But each is good i its ow domai: derivative for small because of the h, sup orm for large because the series is summable. You eed to combia them ad fid the right breakpoit, that is, whe both are essetially equal.) Take h small eough that the first term is smaller tha h log(1/h) ad l defied by 2 l < h 2 l+1 exceeds N. The approximatig the secod ad third terms by their largest elemet gives the result. We go back to the proof of the theorem. For each k, we ca fid a h(k) small eough so that the result applies to the stadard BMs ad {B(k + t) B(k) : t [0, 1]}, {B(k + 1 t) B(k + 1) : t [0, 1]}. (By the same kid of ivariace argumets we used before, time reversal preserves stadard BM. We eed the time reversal because the theorem is stated oly for icremets i oe directio.) Sice there are coutably may itervals [k, k + 1), such h(k) s exist almost surely o all itervals simultaeously. The ote that for ay α < 1/2, if t [k, k + 1) ad h < h(k) small eough, B(t + h) B(t) C h log(1/h) Ch α (= Ch 1/2 (1/h) (1/2 α) ). This cocludes the proof. I fact: THM (Lévy s modulus of cotiuity) Almost surely, lim sup h 0 sup 0 t 1 h B(t + h) B(t) 2h log(1/h) = 1. For the proof, see [MP10]. This result is tight. See [MP10, Remark 1.21]. 3 No-Mootoicity A first example of irregularity : THM Almost surely, for all 0 < a < b < +, stadard BM is ot mootoe o the iterval [a, b].
7 Lecture 27: Browia motio: path properties 7 Proof: It suffices to look at itervals with ratioal edpoits because ay geeral o-degeerate iterval of mootoicity must cotai oe of those. Sice there are coutably may ratioal itervals, it suffices to prove that ay particular oe has probability 0 of beig mootoe. Let [a, b] be such a iterval. Note that for ay fiite sub-divisio a = a 0 < a 1 < < a 1 < a = b, the probability that each icremet satisfies B(a i ) B(a i 1 ) 0, i = 1,...,, or the same with egative, is at most ( ) 1 2 0, 2 as by symmetry of Gaussias. More geerally, we ca prove the followig. THM Almost surely, BM satisfies: 1. The set of times at which local maxima occur is dese. 2. Every local maximum is strict. 3. The set of local maxima is coutable. Proof: Part (3). We use part (2). If t is a strict local maximum, it must be i the set + =1 { t : B(t, ω) > B(s, ω), s, s t < 1 }. But for each, the set must be coutable because two such t s must be separated by 1. So the uio is coutable. 4 No-differetiability So B(t) grows slower tha t. But the followig lemma shows that its limsup grows faster tha t. LEM Almost surely Ad similarly for lim if. lim sup + B() = +.
8 Lecture 27: Browia motio: path properties 8 Proof: By reverse Fatou, P[B() > c i.o.] lim sup + P[B() > c ] = lim sup P[B(1) > c] > 0, + by the scalig property. Thikig of B() as the sum of X = B() B( 1), the evet o the LHS is exchageable ad the Hewitt-Savage 0-1 law implies that it has probability 1 (where we used the positive lower boud). DEF (Upper ad lower derivatives) For a fuctio f, we defie the upper ad lower right derivatives as ad D f(t) = lim sup h 0 D f(t) = lim if h 0 We begi with a easy first result. f(t + h) f(t), h f(t + h) f(t). h THM Fix t 0. The almost surely Browia motio is ot differetiable at t. Moreover, D B(t) = + ad D B(t) =. Proof: Cosider the time iversio X. The D X(0) lim sup + X( 1 ) X(0) 1 = lim sup B() = +, + by the lemma above. This proves the result at 0. The ote that X(s) = B(t+s) B(s) is a stadard Browia motio ad differetiability of X at 0 is equivalet to differetiability of B at t. I fact, we ca prove somethig much stroger. THM Almost surely, BM is owhere differetiable. Furthermore, almost surely, for all t D B(t) = +, or or both. D B(t) =,
9 Lecture 27: Browia motio: path properties 9 Proof: Suppose there is t 0 such that the latter does ot hold. By boudedess of BM over [0, 1], we have B(t 0 + h) B(t 0 ) sup M, h [0,1] h for some M < +. Assume t 0 is i [(k 1)2, k2 ] for some k,. The for all 1 j 2 k, i particular, for j = 1, 2, 3, B((k + j)2 ) B((k + j 1)2 ) B((k + j)2 ) B(t 0 ) + B(t 0 ) B((k + j 1)2 ) M(2j + 1)2, by our assumptio. Defie the evets Ω,k = { B((k + j)2 ) B((k + j 1)2 ) M(2j + 1)2, j = 1, 2, 3}. It suffices to show that 2 3 k=1 Ω,k caot happe for ifiitely may. Ideed, [ ] B(t 0 + h) B(t 0 ) P t 0 [0, 1], sup M h [0,1] h [ 2 ] 3 P Ω,k for ifiitely may. (The the result follows by takig all [k, k + 1] itervals ad all M itegers.) But by the idepedece of icremets k=1 P[Ω,k ] = 3 P[ B((k + j)2 ) B((k + j 1)2 ) M(2j + 1)2 ] P [ B(2 ) 7M2 ] 3 [ ( 1 [ = P B ) 2 2 ] 2 [ = P B(1) 7M ] 3 2 ] 7M ( 7M 2 ) 3,
10 Lecture 27: Browia motio: path properties 10 because the desity of a stadard Gaussia is bouded by 1/2. (The choice of 3 comes from summability.) Hece P [ 2 3 k=1 Ω,k ] 2 ( 7M 2 ) 3 = (7M) 3 2 /2, which is summable. The result follows from BC. That is, the probability above is 0. 5 Quadratic variatio Recall: DEF (Bouded variatio) A fuctio f : [0, t] R is of bouded variatio if there is M < + such that k f(t j ) f(t j 1 ) M, for all k 1 ad all partitios 0 = t 0 < t 1 < < t k = t. Otherwise, we say that it is of ubouded variatio. Fuctios of bouded variatio are kow to be differetiable. Sice BM is owhere differetiable, it must have ubouded variatio. However, BM has a fiite quadratic variatio. THM (Quadratic variatio) Suppose the sequece of partitios 0 = t () 0 < t () 1 < < t () k() = t, is ested, that is, at each step oe or more partitio poits are added, ad the mesh () = coverges to 0. The, almost surely, k() lim + sup {t () j t () j 1 }, 1 j k() (B(t () j ) B(t () j 1 ))2 = t.
11 Lecture 27: Browia motio: path properties 11 Proof: By cosiderig subsequeces, it suffices to cosider the case where oe poit is added at each step. Let Let ad k() X = (B(t () j ) B(t () j 1 ))2. G = σ(x, X 1,...) G = G k. k=1 CLAIM We claim that {X } is a reversed MG. Proof: We wat to show that E[X +1 G ] = X. I particular, this will imply by iductio X = E[X 1 G ]. Assume that, at step, the ew poit s is added betwee the old poits t 1 < t 2. Write X +1 = (B(t 2 ) B(t 1 )) 2 + W, ad X = (B(s) B(t 1 )) 2 + (B(t 2 ) B(s)) 2 + W, where W is idepedet of the other terms. We claim that E[(B(t 2 ) B(t 1 )) 2 (B(s) B(t 1 )) 2 + (B(t 2 ) B(s)) 2 ] which follows from the followig lemma. = (B(s) B(t 1 )) 2 + (B(t 2 ) B(s)) 2, LEM Let X, Z L 2 be idepedet ad assume Z is symmetric. The E[(X + Z) 2 X 2 + Z 2 ] = X 2 + Z 2.
12 Lecture 27: Browia motio: path properties 12 Proof: By symmetry of Z, E[(X + Z) 2 X 2 + Z 2 ] = E[(X Z) 2 X 2 + ( Z) 2 ] = E[(X Z) 2 X 2 + Z 2 ]. Takig the differece we get E[XZ X 2 + Z 2 ] = 0. The fact that X is a reversed MG follows from the argumet above. (Exercise.) We retur to the proof of the theorem. By Lévy s Dowward Theorem, X E[X 1 G ], almost surely. Note that E[X 1 ] = E[X ] = t. Moreover, by (FATOU), the variace of the limit (the fourth cetral momet of the Gaussia i 3σ 4 ) So fially E[(E[X 1 G ] t) 2 ] lim if lim if = lim if 3t lim if = 0. E[(X t) 2 ] k() Var k() 3 (t () j () E[X 1 G ] = t. (B(t () j t () j 1 )2 ) B(t () j 1 ))2 Refereces [Dur10] Rick Durrett. Probability: theory ad examples. Cambridge Series i Statistical ad Probabilistic Mathematics. Cambridge Uiversity Press, Cambridge, [MP10] Peter Mörters ad Yuval Peres. Browia motio. Cambridge Series i Statistical ad Probabilistic Mathematics. Cambridge Uiversity Press, Cambridge, With a appedix by Oded Schramm ad Wedeli Werer.
Lecture 19 : Brownian motion: Path properties I
Lecture 19 : Brownian motion: Path properties I MATH275B - Winter 2012 Lecturer: Sebastien Roch References: [Dur10, Section 8.1], [Lig10, Section 1.5, 1.6], [MP10, Section 1.1, 1.2]. 1 Invariance We begin
More informationNotes 5 : More on the a.s. convergence of sums
Notes 5 : More o the a.s. covergece of sums Math 733-734: Theory of Probability Lecturer: Sebastie Roch Refereces: Dur0, Sectios.5; Wil9, Sectio 4.7, Shi96, Sectio IV.4, Dur0, Sectio.. Radom series. Three-series
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/15.070J Fall 2013 Lecture 21 11/27/2013
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/15.070J Fall 2013 Lecture 21 11/27/2013 Fuctioal Law of Large Numbers. Costructio of the Wieer Measure Cotet. 1. Additioal techical results o weak covergece
More information1 The Haar functions and the Brownian motion
1 The Haar fuctios ad the Browia motio 1.1 The Haar fuctios ad their completeess The Haar fuctios The basic Haar fuctio is 1 if x < 1/2, ψx) = 1 if 1/2 x < 1, otherwise. 1.1) It has mea zero 1 ψx)dx =,
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/15.070J Fall 2013 Lecture 6 9/23/2013. Brownian motion. Introduction
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/5.070J Fall 203 Lecture 6 9/23/203 Browia motio. Itroductio Cotet.. A heuristic costructio of a Browia motio from a radom walk. 2. Defiitio ad basic properties
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
More informationSolution. 1 Solutions of Homework 1. Sangchul Lee. October 27, Problem 1.1
Solutio Sagchul Lee October 7, 017 1 Solutios of Homework 1 Problem 1.1 Let Ω,F,P) be a probability space. Show that if {A : N} F such that A := lim A exists, the PA) = lim PA ). Proof. Usig the cotiuity
More informationAdvanced Stochastic Processes.
Advaced Stochastic Processes. David Gamarik LECTURE 2 Radom variables ad measurable fuctios. Strog Law of Large Numbers (SLLN). Scary stuff cotiued... Outlie of Lecture Radom variables ad measurable fuctios.
More informationChapter 3. Strong convergence. 3.1 Definition of almost sure convergence
Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i
More informationNotes 19 : Martingale CLT
Notes 9 : Martigale CLT Math 733-734: Theory of Probability Lecturer: Sebastie Roch Refereces: [Bil95, Chapter 35], [Roc, Chapter 3]. Sice we have ot ecoutered weak covergece i some time, we first recall
More informationLecture 19: Convergence
Lecture 19: Covergece Asymptotic approach I statistical aalysis or iferece, a key to the success of fidig a good procedure is beig able to fid some momets ad/or distributios of various statistics. I may
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
More information7.1 Convergence of sequences of random variables
Chapter 7 Limit theorems Throughout this sectio we will assume a probability space (Ω, F, P), i which is defied a ifiite sequece of radom variables (X ) ad a radom variable X. The fact that for every ifiite
More informationDefinition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.
4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad
More informationIt is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.
MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied
More informationBIRKHOFF ERGODIC THEOREM
BIRKHOFF ERGODIC THEOREM Abstract. We will give a proof of the poitwise ergodic theorem, which was first proved by Birkhoff. May improvemets have bee made sice Birkhoff s orgial proof. The versio we give
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More information6a Time change b Quadratic variation c Planar Brownian motion d Conformal local martingales e Hints to exercises...
Tel Aviv Uiversity, 28 Browia motio 59 6 Time chage 6a Time chage..................... 59 6b Quadratic variatio................. 61 6c Plaar Browia motio.............. 64 6d Coformal local martigales............
More informationMath Solutions to homework 6
Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there
More informationIntroduction to Probability. Ariel Yadin
Itroductio to robability Ariel Yadi Lecture 2 *** Ja. 7 ***. Covergece of Radom Variables As i the case of sequeces of umbers, we would like to talk about covergece of radom variables. There are may ways
More informationIntegrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number
MATH 532 Itegrable Fuctios Dr. Neal, WKU We ow shall defie what it meas for a measurable fuctio to be itegrable, show that all itegral properties of simple fuctios still hold, ad the give some coditios
More information7.1 Convergence of sequences of random variables
Chapter 7 Limit Theorems Throughout this sectio we will assume a probability space (, F, P), i which is defied a ifiite sequece of radom variables (X ) ad a radom variable X. The fact that for every ifiite
More informationLecture 4. We also define the set of possible values for the random walk as the set of all x R d such that P(S n = x) > 0 for some n.
Radom Walks ad Browia Motio Tel Aviv Uiversity Sprig 20 Lecture date: Mar 2, 20 Lecture 4 Istructor: Ro Peled Scribe: Lira Rotem This lecture deals primarily with recurrece for geeral radom walks. We preset
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 19 11/17/2008 LAWS OF LARGE NUMBERS II THE STRONG LAW OF LARGE NUMBERS
MASSACHUSTTS INSTITUT OF TCHNOLOGY 6.436J/5.085J Fall 2008 Lecture 9 /7/2008 LAWS OF LARG NUMBRS II Cotets. The strog law of large umbers 2. The Cheroff boud TH STRONG LAW OF LARG NUMBRS While the weak
More information4. Partial Sums and the Central Limit Theorem
1 of 10 7/16/2009 6:05 AM Virtual Laboratories > 6. Radom Samples > 1 2 3 4 5 6 7 4. Partial Sums ad the Cetral Limit Theorem The cetral limit theorem ad the law of large umbers are the two fudametal theorems
More informationLecture 3 : Random variables and their distributions
Lecture 3 : Radom variables ad their distributios 3.1 Radom variables Let (Ω, F) ad (S, S) be two measurable spaces. A map X : Ω S is measurable or a radom variable (deoted r.v.) if X 1 (A) {ω : X(ω) A}
More informationSequences and Series of Functions
Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges
More information5 Many points of continuity
Tel Aviv Uiversity, 2013 Measure ad category 40 5 May poits of cotiuity 5a Discotiuous derivatives.............. 40 5b Baire class 1 (classical)............... 42 5c Baire class 1 (moder)...............
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationSTAT Homework 1 - Solutions
STAT-36700 Homework 1 - Solutios Fall 018 September 11, 018 This cotais solutios for Homework 1. Please ote that we have icluded several additioal commets ad approaches to the problems to give you better
More informationIt is often useful to approximate complicated functions using simpler ones. We consider the task of approximating a function by a polynomial.
Taylor Polyomials ad Taylor Series It is ofte useful to approximate complicated fuctios usig simpler oes We cosider the task of approximatig a fuctio by a polyomial If f is at least -times differetiable
More informationProbability for mathematicians INDEPENDENCE TAU
Probability for mathematicias INDEPENDENCE TAU 2013 28 Cotets 3 Ifiite idepedet sequeces 28 3a Idepedet evets........................ 28 3b Idepedet radom variables.................. 33 3 Ifiite idepedet
More informationMath 341 Lecture #31 6.5: Power Series
Math 341 Lecture #31 6.5: Power Series We ow tur our attetio to a particular kid of series of fuctios, amely, power series, f(x = a x = a 0 + a 1 x + a 2 x 2 + where a R for all N. I terms of a series
More informationMath 220A Fall 2007 Homework #2. Will Garner A
Math 0A Fall 007 Homewor # Will Garer Pg 3 #: Show that {cis : a o-egative iteger} is dese i T = {z œ : z = }. For which values of q is {cis(q): a o-egative iteger} dese i T? To show that {cis : a o-egative
More information1 Convergence in Probability and the Weak Law of Large Numbers
36-752 Advaced Probability Overview Sprig 2018 8. Covergece Cocepts: i Probability, i L p ad Almost Surely Istructor: Alessadro Rialdo Associated readig: Sec 2.4, 2.5, ad 4.11 of Ash ad Doléas-Dade; Sec
More informationSTA Object Data Analysis - A List of Projects. January 18, 2018
STA 6557 Jauary 8, 208 Object Data Aalysis - A List of Projects. Schoeberg Mea glaucomatous shape chages of the Optic Nerve Head regio i aimal models 2. Aalysis of VW- Kedall ati-mea shapes with a applicatio
More informationTopologie. Musterlösungen
Fakultät für Mathematik Sommersemester 2018 Marius Hiemisch Topologie Musterlösuge Aufgabe (Beispiel 1.2.h aus Vorlesug). Es sei X eie Mege ud R Abb(X, R) eie Uteralgebra, d.h. {kostate Abbilduge} R ud
More informationLECTURE 8: ASYMPTOTICS I
LECTURE 8: ASYMPTOTICS I We are iterested i the properties of estimators as. Cosider a sequece of radom variables {, X 1}. N. M. Kiefer, Corell Uiversity, Ecoomics 60 1 Defiitio: (Weak covergece) A sequece
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More informationSingular Continuous Measures by Michael Pejic 5/14/10
Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable
More informationIntroduction to Probability. Ariel Yadin. Lecture 7
Itroductio to Probability Ariel Yadi Lecture 7 1. Idepedece Revisited 1.1. Some remiders. Let (Ω, F, P) be a probability space. Give a collectio of subsets K F, recall that the σ-algebra geerated by K,
More informationThe Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size.
Lecture 7: Measure ad Category The Borel hierarchy classifies subsets of the reals by their topological complexity. Aother approach is to classify them by size. Filters ad Ideals The most commo measure
More informationLecture 20: Multivariate convergence and the Central Limit Theorem
Lecture 20: Multivariate covergece ad the Cetral Limit Theorem Covergece i distributio for radom vectors Let Z,Z 1,Z 2,... be radom vectors o R k. If the cdf of Z is cotiuous, the we ca defie covergece
More informationA Proof of Birkhoff s Ergodic Theorem
A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed
More information5 Birkhoff s Ergodic Theorem
5 Birkhoff s Ergodic Theorem Amog the most useful of the various geeralizatios of KolmogorovâĂŹs strog law of large umbers are the ergodic theorems of Birkhoff ad Kigma, which exted the validity of the
More informationlim za n n = z lim a n n.
Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget
More informationChapter 6 Infinite Series
Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat
More informationHOMEWORK #4 - MA 504
HOMEWORK #4 - MA 504 PAULINHO TCHATCHATCHA Chapter 2, problem 19. (a) If A ad B are disjoit closed sets i some metric space X, prove that they are separated. (b) Prove the same for disjoit ope set. (c)
More informationREAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS
REAL ANALYSIS II: PROBLEM SET 1 - SOLUTIONS 18th Feb, 016 Defiitio (Lipschitz fuctio). A fuctio f : R R is said to be Lipschitz if there exists a positive real umber c such that for ay x, y i the domai
More informationThe Central Limit Theorem
Chapter The Cetral Limit Theorem Deote by Z the stadard ormal radom variable with desity 2π e x2 /2. Lemma.. Ee itz = e t2 /2 Proof. We use the same calculatio as for the momet geeratig fuctio: exp(itx
More informationLecture 3 The Lebesgue Integral
Lecture 3: The Lebesgue Itegral 1 of 14 Course: Theory of Probability I Term: Fall 2013 Istructor: Gorda Zitkovic Lecture 3 The Lebesgue Itegral The costructio of the itegral Uless expressly specified
More informationThe Boolean Ring of Intervals
MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationSolutions to home assignments (sketches)
Matematiska Istitutioe Peter Kumli 26th May 2004 TMA401 Fuctioal Aalysis MAN670 Applied Fuctioal Aalysis 4th quarter 2003/2004 All documet cocerig the course ca be foud o the course home page: http://www.math.chalmers.se/math/grudutb/cth/tma401/
More informationLaw of the sum of Bernoulli random variables
Law of the sum of Beroulli radom variables Nicolas Chevallier Uiversité de Haute Alsace, 4, rue des frères Lumière 68093 Mulhouse icolas.chevallier@uha.fr December 006 Abstract Let be the set of all possible
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More informationAn Introduction to Randomized Algorithms
A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis
More informationAxioms of Measure Theory
MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that
More informationCHAPTER 5. Theory and Solution Using Matrix Techniques
A SERIES OF CLASS NOTES FOR 2005-2006 TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS DE CLASS NOTES 3 A COLLECTION OF HANDOUTS ON SYSTEMS OF ORDINARY DIFFERENTIAL
More informationIntroduction to Functional Analysis
MIT OpeCourseWare http://ocw.mit.edu 18.10 Itroductio to Fuctioal Aalysis Sprig 009 For iformatio about citig these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. LECTURE OTES FOR 18.10,
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/15.070J Fall 2013 Lecture 3 9/11/2013. Large deviations Theory. Cramér s Theorem
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.265/5.070J Fall 203 Lecture 3 9//203 Large deviatios Theory. Cramér s Theorem Cotet.. Cramér s Theorem. 2. Rate fuctio ad properties. 3. Chage of measure techique.
More informationChapter 0. Review of set theory. 0.1 Sets
Chapter 0 Review of set theory Set theory plays a cetral role i the theory of probability. Thus, we will ope this course with a quick review of those otios of set theory which will be used repeatedly.
More informationMAS111 Convergence and Continuity
MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece
More informationLimit Theorems. Convergence in Probability. Let X be the number of heads observed in n tosses. Then, E[X] = np and Var[X] = np(1-p).
Limit Theorems Covergece i Probability Let X be the umber of heads observed i tosses. The, E[X] = p ad Var[X] = p(-p). L O This P x p NM QP P x p should be close to uity for large if our ituitio is correct.
More informationThis section is optional.
4 Momet Geeratig Fuctios* This sectio is optioal. The momet geeratig fuctio g : R R of a radom variable X is defied as g(t) = E[e tx ]. Propositio 1. We have g () (0) = E[X ] for = 1, 2,... Proof. Therefore
More informationLecture 01: the Central Limit Theorem. 1 Central Limit Theorem for i.i.d. random variables
CSCI-B609: A Theorist s Toolkit, Fall 06 Aug 3 Lecture 0: the Cetral Limit Theorem Lecturer: Yua Zhou Scribe: Yua Xie & Yua Zhou Cetral Limit Theorem for iid radom variables Let us say that we wat to aalyze
More information6 Integers Modulo n. integer k can be written as k = qn + r, with q,r, 0 r b. So any integer.
6 Itegers Modulo I Example 2.3(e), we have defied the cogruece of two itegers a,b with respect to a modulus. Let us recall that a b (mod ) meas a b. We have proved that cogruece is a equivalece relatio
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More informationLecture 2. The Lovász Local Lemma
Staford Uiversity Sprig 208 Math 233A: No-costructive methods i combiatorics Istructor: Ja Vodrák Lecture date: Jauary 0, 208 Origial scribe: Apoorva Khare Lecture 2. The Lovász Local Lemma 2. Itroductio
More informationSolutions to Tutorial 3 (Week 4)
The Uiversity of Sydey School of Mathematics ad Statistics Solutios to Tutorial Week 4 MATH2962: Real ad Complex Aalysis Advaced Semester 1, 2017 Web Page: http://www.maths.usyd.edu.au/u/ug/im/math2962/
More informationsin(n) + 2 cos(2n) n 3/2 3 sin(n) 2cos(2n) n 3/2 a n =
60. Ratio ad root tests 60.1. Absolutely coverget series. Defiitio 13. (Absolute covergece) A series a is called absolutely coverget if the series of absolute values a is coverget. The absolute covergece
More informationProbability 2 - Notes 10. Lemma. If X is a random variable and g(x) 0 for all x in the support of f X, then P(g(X) 1) E[g(X)].
Probability 2 - Notes 0 Some Useful Iequalities. Lemma. If X is a radom variable ad g(x 0 for all x i the support of f X, the P(g(X E[g(X]. Proof. (cotiuous case P(g(X Corollaries x:g(x f X (xdx x:g(x
More informationLet us give one more example of MLE. Example 3. The uniform distribution U[0, θ] on the interval [0, θ] has p.d.f.
Lecture 5 Let us give oe more example of MLE. Example 3. The uiform distributio U[0, ] o the iterval [0, ] has p.d.f. { 1 f(x =, 0 x, 0, otherwise The likelihood fuctio ϕ( = f(x i = 1 I(X 1,..., X [0,
More informationLesson 10: Limits and Continuity
www.scimsacademy.com Lesso 10: Limits ad Cotiuity SCIMS Academy 1 Limit of a fuctio The cocept of limit of a fuctio is cetral to all other cocepts i calculus (like cotiuity, derivative, defiite itegrals
More informationTheorem 3. A subset S of a topological space X is compact if and only if every open cover of S by open sets in X has a finite subcover.
Compactess Defiitio 1. A cover or a coverig of a topological space X is a family C of subsets of X whose uio is X. A subcover of a cover C is a subfamily of C which is a cover of X. A ope cover of X is
More informationNotes #3 Sequences Limit Theorems Monotone and Subsequences Bolzano-WeierstraßTheorem Limsup & Liminf of Sequences Cauchy Sequences and Completeness
Notes #3 Sequeces Limit Theorems Mootoe ad Subsequeces Bolzao-WeierstraßTheorem Limsup & Limif of Sequeces Cauchy Sequeces ad Completeess This sectio of otes focuses o some of the basics of sequeces of
More informationApplication to Random Graphs
A Applicatio to Radom Graphs Brachig processes have a umber of iterestig ad importat applicatios. We shall cosider oe of the most famous of them, the Erdős-Réyi radom graph theory. 1 Defiitio A.1. Let
More informationMath 140A Elementary Analysis Homework Questions 3-1
Math 0A Elemetary Aalysis Homework Questios -.9 Limits Theorems for Sequeces Suppose that lim x =, lim y = 7 ad that all y are o-zero. Detarime the followig limits: (a) lim(x + y ) (b) lim y x y Let s
More informationLecture 3: August 31
36-705: Itermediate Statistics Fall 018 Lecturer: Siva Balakrisha Lecture 3: August 31 This lecture will be mostly a summary of other useful expoetial tail bouds We will ot prove ay of these i lecture,
More informationProblem Set 2 Solutions
CS271 Radomess & Computatio, Sprig 2018 Problem Set 2 Solutios Poit totals are i the margi; the maximum total umber of poits was 52. 1. Probabilistic method for domiatig sets 6pts Pick a radom subset S
More information1 Approximating Integrals using Taylor Polynomials
Seughee Ye Ma 8: Week 7 Nov Week 7 Summary This week, we will lear how we ca approximate itegrals usig Taylor series ad umerical methods. Topics Page Approximatig Itegrals usig Taylor Polyomials. Defiitios................................................
More informationHOMEWORK I: PREREQUISITES FROM MATH 727
HOMEWORK I: PREREQUISITES FROM MATH 727 Questio. Let X, X 2,... be idepedet expoetial radom variables with mea µ. (a) Show that for Z +, we have EX µ!. (b) Show that almost surely, X + + X (c) Fid the
More information2.1. Convergence in distribution and characteristic functions.
3 Chapter 2. Cetral Limit Theorem. Cetral limit theorem, or DeMoivre-Laplace Theorem, which also implies the wea law of large umbers, is the most importat theorem i probability theory ad statistics. For
More informationAssignment 5: Solutions
McGill Uiversity Departmet of Mathematics ad Statistics MATH 54 Aalysis, Fall 05 Assigmet 5: Solutios. Let y be a ubouded sequece of positive umbers satisfyig y + > y for all N. Let x be aother sequece
More informationJournal of Multivariate Analysis. Superefficient estimation of the marginals by exploiting knowledge on the copula
Joural of Multivariate Aalysis 102 (2011) 1315 1319 Cotets lists available at ScieceDirect Joural of Multivariate Aalysis joural homepage: www.elsevier.com/locate/jmva Superefficiet estimatio of the margials
More informationSection 11.8: Power Series
Sectio 11.8: Power Series 1. Power Series I this sectio, we cosider geeralizig the cocept of a series. Recall that a series is a ifiite sum of umbers a. We ca talk about whether or ot it coverges ad i
More informationDistribution of Random Samples & Limit theorems
STAT/MATH 395 A - PROBABILITY II UW Witer Quarter 2017 Néhémy Lim Distributio of Radom Samples & Limit theorems 1 Distributio of i.i.d. Samples Motivatig example. Assume that the goal of a study is to
More informationDiscrete Mathematics for CS Spring 2008 David Wagner Note 22
CS 70 Discrete Mathematics for CS Sprig 2008 David Wager Note 22 I.I.D. Radom Variables Estimatig the bias of a coi Questio: We wat to estimate the proportio p of Democrats i the US populatio, by takig
More informationOn the convergence rates of Gladyshev s Hurst index estimator
Noliear Aalysis: Modellig ad Cotrol, 2010, Vol 15, No 4, 445 450 O the covergece rates of Gladyshev s Hurst idex estimator K Kubilius 1, D Melichov 2 1 Istitute of Mathematics ad Iformatics, Vilius Uiversity
More informationMATH301 Real Analysis (2008 Fall) Tutorial Note #7. k=1 f k (x) converges pointwise to S(x) on E if and
MATH01 Real Aalysis (2008 Fall) Tutorial Note #7 Sequece ad Series of fuctio 1: Poitwise Covergece ad Uiform Covergece Part I: Poitwise Covergece Defiitio of poitwise covergece: A sequece of fuctios f
More informationMath 525: Lecture 5. January 18, 2018
Math 525: Lecture 5 Jauary 18, 2018 1 Series (review) Defiitio 1.1. A sequece (a ) R coverges to a poit L R (writte a L or lim a = L) if for each ǫ > 0, we ca fid N such that a L < ǫ for all N. If the
More information17. Joint distributions of extreme order statistics Lehmann 5.1; Ferguson 15
17. Joit distributios of extreme order statistics Lehma 5.1; Ferguso 15 I Example 10., we derived the asymptotic distributio of the maximum from a radom sample from a uiform distributio. We did this usig
More informationKolmogorov-Smirnov type Tests for Local Gaussianity in High-Frequency Data
Proceedigs 59th ISI World Statistics Cogress, 5-30 August 013, Hog Kog (Sessio STS046) p.09 Kolmogorov-Smirov type Tests for Local Gaussiaity i High-Frequecy Data George Tauche, Duke Uiversity Viktor Todorov,
More informationDonsker s Theorem. Pierre Yves Gaudreau Lamarre. August 2012
Dosker s heorem Pierre Yves Gaudreau Lamarre August 2012 Abstract I this paper we provide a detailed proof of Dosker s heorem, icludig a review of the majority of the results o which the theorem is based,
More informationThe value of Banach limits on a certain sequence of all rational numbers in the interval (0,1) Bao Qi Feng
The value of Baach limits o a certai sequece of all ratioal umbers i the iterval 0, Bao Qi Feg Departmet of Mathematical Scieces, Ket State Uiversity, Tuscarawas, 330 Uiversity Dr. NE, New Philadelphia,
More informationSTAT331. Example of Martingale CLT with Cox s Model
STAT33 Example of Martigale CLT with Cox s Model I this uit we illustrate the Martigale Cetral Limit Theorem by applyig it to the partial likelihood score fuctio from Cox s model. For simplicity of presetatio
More informationGeneralized Semi- Markov Processes (GSMP)
Geeralized Semi- Markov Processes (GSMP) Summary Some Defiitios Markov ad Semi-Markov Processes The Poisso Process Properties of the Poisso Process Iterarrival times Memoryless property ad the residual
More informationMetric Space Properties
Metric Space Properties Math 40 Fial Project Preseted by: Michael Brow, Alex Cordova, ad Alyssa Sachez We have already poited out ad will recogize throughout this book the importace of compact sets. All
More information