Krzysztof Burdzy University of Washington. = X(Y (t)), t 0}
|
|
- Agnes McDowell
- 6 years ago
- Views:
Transcription
1 VARIATION OF ITERATED BROWNIAN MOTION Krzysztof Burdzy University of Washington 1. Introduction and main results. Suppose that X 1, X 2 and Y are independent standard Brownian motions starting from 0 and let { X 1 t) if t 0, 1) Xt) = X 2 t) if t < 0. We will consider the process 2) {Zt) df = XY t)), t 0} which we will call iterated Brownian motion or simply IBM. It can be proved that Z uniquely determines X and Y see Burdzy 1992) for a precise statement). A Law of Iterated Logarithm for IBM is also proved in Burdzy 1992). We consider IBM to be a process of independent interest but there exists an intriguing relationship between this process strictly speaking its modification) and squared Laplacian which was discovered by Funaki 1979). So far, the probabilistic approach to bi-harmonic functions is much less successful than the probabilistic treatment of harmonic functions. Krylov 1960) and Hochberg 1978) attacked the problem using a signed finitely additive measure with infinite variation. M adrecki 1992) and M adrecki and Rybaczuk 1992) have a genuine probabilistic approach but their processes take values in an exotic space. Both models are used to define stochastic integrals for processes with 4-th order scaling properties. Higher order variations of the process play an important role in M adrecki and Rybaczuk s construction of the stochastic integral. It is no surprise that the 4-th variation of their process is a deterministic linear function. The quadratic variation of their process is, in a suitable sense, a Brownian motion. See 3.16) in Hochberg s paper for a result with similar intuitive content. In this paper, we study higher order variations of IBM with view towards possible applications to the construction of the stochastic integral with respect to IBM. We prove that the 4-th variation of IBM is a deterministic linear function. This clearly means that the quadratic variation is infinite although we do not prove this). We show that, in a weak sense, the signed quadratic variation of IBM is distributed like Brownian motion. Suppose that Λ = {s = t 0 t 1 t n = t} is a partition of [s, t]. The mesh of the partition Λ is defined as Λ = df max 1 k n t k t k 1. Supported in part by NSF grant DMS and AMS Centennial Research Fellowship 1 Typeset by AMS-TEX
2 2 KRZYSZTOF BURDZY Theorem 1. i) Fix some 0 s < t. The following limit exists in L p for every p <. n 3) lim Zt k ) Zt k 1 )) 4 = 3t s). Λ 0 k=1 ii) Suppose in addition that t k t k 1 = t s)/n for every k. Then n 4) lim Zt k ) Zt k 1 )) 3 = 0 in L p, p <. Λ 0 k=1 Theorem 2. Suppose that t 0 = 0 and t k t k 1 = 1/n for k 1. Let m V n t m ) = Zt k ) Zt k 1 )) 2 sgnzt k ) Zt k 1 )). k=1 Extend V n continuously to [0, ) by linear interpolation on each interval [t k 1, t k ]. The processes {V n s), s 0} converge in distribution as n to a Brownian motion {Bs), s 0} with variance VarBs) = 3s. Remarks. i) The assumption that t k t k 1 = t j t j 1 for all j and k is imposed for convenience in Theorem 1 ii) and Theorem 2. The assumption seems to be unnecessary but it makes the calculations somewhat more manageable. ii) A heuristic argument suggests that for a fixed s > 0, the sequence {V n s)} n 1 has no subsequences converging in probability. iii) The models considered by Funaki 1979) and M adrecki and Rybaczuk 1992) involve complex numbers. It might be worth having a look at the complex version of IBM. Suppose that Y is a standard one-dimensional Brownian motion, X is a two-sided complex i.e., two-dimensional but written in complex notation) Brownian motion and Zt) = XY t)). Let V n t m ) = m k=1 Zt k) Zt k 1 )) 2, in the notation of Theorem 2. Then Theorem 2 holds for this complex analogue of quadratic variation. The limiting process B for V n s is a complex i.e., two-dimensional) Brownian motion with the quadratic variation 3 times as large as the standard one. This result may be proved just like Theorem 2 by using the method of moments. The proof of Theorem 2 is based on estimates of moments of V n s. The estimates are quite delicate and it would take enormous amount of space to write them down in all detail. We will carefully examine one crucial estimate and indicate how this can be generalized to other moments. We would like to thank Ron Pyke for simple proofs of Lemmas 1 and 2 below. 2. Proofs. Throughout the paper, c will stand for a strictly positive and finite constant which may change the value from line to line. We will need the following standard estimate. Let a > 0. 5) a x 2 1 2πt exp x 2 /2t)dx = x t/2π exp x 2 /2t) a t/2π exp a 2 /2t) + x= x=a a + a t/2π exp x 2 /2t)dx x/a) t/2π exp x 2 /2t)dx = a t/2π exp a 2 /2t) + t/a) t/2π exp a 2 /2t) = a + t/a) t/2π exp a 2 /2t).
3 VARIATION OF ITERATED BROWNIAN MOTION 3 The next estimate may be derived in an analogous way using integration by parts. 6) a x 4 1 2πt exp x 2 /2t)dx a 3 + ta + t 2 /a) t/2π exp a 2 /2t). Lemma 1. Suppose that for every integer) k 1, k 2, the k-th moment of a random variable R is the same as that of a normal random variable U with mean 0 and variance σ 2. Then R and U have the same distribution. The point of the lemma is that we do not assume that the variances of R and U are identical. The lemma would follow immediately from known results see Durrett 1991) Theorem 3.9)) if we added this assumption. Proof. The 2k-th moment µ 2k of U is equal to σ 2k 2k 1)!!. Thus lim sup k µ 1/2k 2k /2k = lim supσ 2k 2k 1)!!) 1/2k /2k = 0. k Durrett 1991) shows in the proof of Theorem 3.9) that this implies that the characteristic function ϕ U has the following series expansion valid on the whole real line. ϕ U t) = 1 + k=1 t k k! ϕk) U 0). The characteristic function ϕ R of R is represented by an analogous series. For every k 2, the k-th moment of R is the same as that of U so ϕ k) R 0) = ϕk) U 0) and it follows that the series for ϕ R and ϕ U may differ by at most one term. Hence ϕ R t) = ϕ U t) + at 2 and ϕ R t)/t 2 = ϕ U t)/t 2 + a for all t 0. Since ϕ U t) 1 and ϕ R t) 1, 0 = lim t ϕ R t)/t 2 = lim t ϕ U t)/t 2 + a = a. It follows that a = 0 and, therefore, U and R have identical characteristic functions. Lemma 2. Let f σ x) denote the centered normal density with standard deviation σ and let ψx, σ) = f σ 0) f σ x). For all k, n 0 there exists c = ck, n) < such that x n ψx, ρ 1 )... ψx, ρ k )f σ x)dx cρ ρ 3 for all ρ 1,..., ρ k 0 c does not depend on ρ j s or σ). Proof. Since 1 e y y for all y 0, ψx, ρ) = 1 1 exp x 2 /2ρ 2 )) 1 2πρ 2 x 2 2π ρ 3. k σn+2k
4 4 KRZYSZTOF BURDZY Let ξ denote a standard normal random variable. Then the integral in the statement of the lemma equals E σξ n k j=1 ψσξ, ρ j ) E σξ n+2k 2 2π) k k j=1 ρ 3 j = ck, n)σ n+2k k j=1 ρ 3 j. Proof of Theorem 1 i). We will only prove the convergence in L p for p = 2. The general case may be treated in an analogous way. Recall that Λ = {s = t 0 t 1 t n = t} is a partition of [s, t]. Let i t = df t i t i 1 and i Z = df Zt i ) Zt i 1 ). We have 7) [ n 2 [ n i Z) 4 3t s)] = i Z) 4 3 i t) i=1 = i=1 ] 2 n i Z) 4 3 i t) j Z) 4 3 j t). i,j=1 It will suffice to prove that the expectation of the above random variable goes to 0 as Λ goes to 0. Fix some α 0, 1) and suppose that i j. Fix some numbers u i 1 < u i < u j 1 < u j. We will compute E i Z) 4 3 i t) j Z) 4 3 j t) given A 1 = A 1 u i 1, u i, u j 1, u j ) df = {Y t i 1 ) = u i 1, Y t i ) = u i, Y t j 1 ) = u j 1, Y t j ) = u j }. Given this condition, the processes {Xu i +t) Xu i ), t 0} and {Xu i t) Xu i ), t 0} are independent standard Brownian motions. Given A 1, the random variable i Z) 4 3 i t is defined in terms of the first process and j Z) 4 3 j t is defined in terms of the second one. Since EXs 1 ) Xs 2 )) 4 = 3s 1 s 2 ) 2, it follows that E i Z) 4 3 i t) j Z) 4 3 j t) A 1 ) 8) = E i Z) 4 3 i t A 1 )E j Z) 4 3 j t A 1 ) = EXu i ) Xu i 1 )) 4 3 i t A 1 )EXu j ) Xu j 1 )) 4 3 j t A 1 ) = 3u i u i 1 ) 2 3 i t)3u j u j 1 ) 2 3 j t). The same argument works for any u i 1, u i, u j 1 and u j such that the interval with endpoints u i 1 and u i is disjoint from the interval with endpoints u j 1 and u j. Suppose that r > 2 Λ α/2. Let A 2 = A 2 r) df = { Y t i ) Y t j 1 ) = r, Y t i 1 ) Y t i ) < i t α/2, Y t j ) Y t j 1 ) < j t α/2 }. The increments Y t i 1 ) Y t i ) and Y t j ) Y t j 1 ) are independent given A 2. If the event A 2 occurs then the interval with endpoints Y t i 1 ) and Y t i ) is disjoint from the interval
5 VARIATION OF ITERATED BROWNIAN MOTION 5 with endpoints Y t j 1 ) and Y t j ). Hence we may integrate over suitable u i 1, u i, u j 1 and u j in 8) to obtain 9) Since E i Z) 4 3 i t) j Z) 4 3 j t) A 2 ) = i t α/2 3u i t) i t α/2 2π i t exp u2 /2 i t)du j t α/2 5) implies that for some β > 0 and small i t, 10) i t α/2 3v j t) j t α/2 2π j t exp v2 /2 j t)dv. 3u i t) 2π i t exp u2 /2 i t)du = 0, 3u i t) i t α/2 2π i t exp u2 /2 i t)du = 2 3u i t) i t α/2 2π i t exp u2 /2 i t)du 6u 2 1 i t α/2 2π i t exp u2 /2 i t)du 6 i t α/2 + i t/ i t α/2 ) i t/2π exp i t α /2 i t) exp i t β ). This and 9) show that for small Λ 11) E i Z) 4 3 i t) j Z) 4 3 j t) A 2 ) exp i t β j t β ). Let A 3 = A 3 Λ ) df = { Y t i ) Y t j 1 ) > 2 Λ α/2, Y t i 1 ) Y t i ) < i t α/2, Y t j ) Y t j 1 ) < j t α/2 }. It follows from 11) that 12) E i Z) 4 3 i t) j Z) 4 3 j t)1 A3 ) E i Z) 4 3 i t) j Z) 4 3 j t) A 3 ) exp i t β j t β ). Since EX 8 t = ct 4, 13) E i Z) i t) 2 Y t i 1 ) Y t i ) = r) = cr i t) 2. An argument similar to that in 10) except that we would use 6) rather than 5)) gives for small i t and some η > 0 14) E i Z) i t) 2 )1 {Y ti 1 ) Y t i )> α/2 i } ) = 2 cu i t) 2 1 ) i t α/2 2π i t exp u2 /2 i t)du exp it η ).
6 6 KRZYSZTOF BURDZY Let A 4 = A 4 Λ ) df = { Y t i ) Y t j 1 ) > 2 Λ α/2 } Then 14) yields [ { Y t i 1 ) Y t i ) > i t α/2 } { Y t j ) Y t j 1 ) > j t α/2 } ]. 15) E i Z) 4 3 i t) j Z) 4 3 j t)1 A4 ) E i Z) 4 3 i t) 2 1 A4 ) 1/2 E j Z) 4 3 j t) 2 1 A4 ) 1/2 E2 i Z) i t) 2 )1 A4 ) 1/2 E2 j Z) j t) 2 )1 A4 ) 1/2 2 exp i t η /2 j t η /2). We define A 5 = A 5 Λ ) to be { Y t i ) Y t j 1 ) > 2 Λ α/2 }. Combining 12) and 15) yields for small i t and j t 16) E i Z) 4 3 i t) j Z) 4 3 j t)1 A5 ) exp i t β j t β ) + 2 exp i t η /2 j t η /2) 3 exp 2 i t β j t η ). Choose α, γ 0, 1) such that δ df = α/2 γ/2 > 0. Let A 6 = { Y t i ) Y t j 1 ) 2 Λ α/2 } and suppose that t i t j 1 > Λ γ. Taking the expectation on both sides of 13) gives It is easy to see that By the independence of increments of Y, Hence E i Z) i t) 2 ) = c i t 2. P A 6 ) c Λ α/2 / Λ γ/2 = c Λ δ. E i Z) i t) 2 )1 A6 ) = c i t 2 P A 6 ) = c i t 2 Λ δ, E j Z) j t) 2 )1 A6 ) = c j t 2 Λ δ. 17) E i Z) 4 3 i t) j Z) 4 3 j t)1 A6 ) E i Z) 4 3 i t) 2 1 A6 ) 1/2 E j Z) 4 3 j t) 2 1 A6 ) 1/2 E2 i Z) i t) 2 )1 A6 ) 1/2 E2 j Z) j t) 2 )1 A6 ) 1/2 2c i t 2 Λ δ ) 1/2 c j t 2 Λ δ ) 1/2 = 2c i t j t Λ δ. A similar application of the Schwarz inequality gives 18) E i Z) 4 3 i t) j Z) 4 3 j t) c i t j t
7 VARIATION OF ITERATED BROWNIAN MOTION 7 for any i and j. We conclude from 16) and 17) that for sufficiently small Λ 19) n E i Z) 4 3 i t) j Z) 4 3 j t) i,j=1 t i t j 1 > Λ γ n 3 exp 2 i t β j t η ) + 2c i t j t Λ δ ) i,j=1 t i t j 1 > Λ γ c Λ δ. As for the remaining terms, we use the estimate 18). n E i Z) i,j=1 t i t j 1 Λ γ This and 19) show that 4 3 i t) j Z) 4 3 j t) n c i t j t c Λ i,j=1 t i t j 1 Λ γ γ. 20) n i,j=1 E i Z) 4 3 i t) j Z) 4 3 j t) 0 as Λ 0. This completes the proof of 3) in the case p = 2. We can prove in a similar way that 21) lim for any p <. p <. n Λ 0 j 1,...,j p =1 E p jk Z) 4 3 jk t) = 0 k=1 This can be used to show that the limit in 3) exists in L p for every Proof of Theorem 2. The proof will be based on the method of moments, i.e., we will show that the moments of V converge to the moments of B. Recall that t 0 = 0 and t k t k 1 = 1/n for k 1. Fix some 0 s 1 < s 2. Let Θ = Θn) be the set of all k such that s 1 t k 1 < t k s 2. The set Θn) is non-empty for sufficiently large n. Recall that k t = t k t k 1, k Z = Zt k ) Zt k 1 ), k Y = Y t k ) Y t k 1 ) and let ± k Z2 = Zt k ) Zt k 1 )) 2 sgnzt k ) Zt k 1 )). We start with some estimates needed for computing the moments of the increments of V n. For every s, the distribution of Xs) is normal so EX 2j s) = 2j 1)!! s j Durrett 1991), Excercise 3.18). By conditioning on the value of k Y we obtain for some d j > 0, 22) E k Z) 2j = = EX 2j 1 s) 2π k t exp s2 /2 k t)ds 2j 1)!! s j 1 2π k t exp s2 /2 k t)ds = d j k t) j/2.
8 8 KRZYSZTOF BURDZY Hence, E k Z) 2j < for all j <. The main contribution in our moment estimates will come from the expectations of the form 23) E ± k 1 Z 2 ) 2... ± k m Z 2 ) ). 2 Suppose that m = 2. We have ± j Z2 ) 2 ± k Z2 ) 2 = j Z 4 k Z 4 [ ] 2 = j Z) 4 3 j t) 9 j t k t j Z 4 k t. j Θ It is easy to check that d 2 = 3 in 22). Thus and, therefore, E E3 j Z 4 k t = 9 j t k t [ ] 2 ± j Z2 ) 2 ± k Z2 ) 2 = E j Z) 4 3 j t) + j Θ 9 j t k t. The expectation on the right hand side goes to 0 as n goes to, by 20). Hence 24) lim E ± j Z2 ) 2 ± k Z2 ) 2 = lim 9 j t k t = 9s 2 s 1 ) 2. In order to estimate the expectations in 23) for m 3, we use induction. We will treat only the case m = 3. i, By 21), 22) and 24), ± i Z2 ) 2 ± j Z2 ) 2 ± k Z2 ) 2 = i, [ ] 3 = j Z) 4 3 j t) + j Θ 3 i, 9 i Z 4 j t k t + 3 i Z 4 j Z 4 k Z 4 i, i, [ 3 lim E j Z) 4 3 j t)] = 0, j Θ 27 i t j t k t 3 i Z 4 j Z 4 k t. [ lim E 3 ] [ 9 i Z 4 j t k t = lim E 3 ] 27 i t j t k t = 81s 2 s 1 ) 3, i, i,
9 VARIATION OF ITERATED BROWNIAN MOTION 9 [ lim E 3 ] [ 3 i Z 4 j Z 4 k t = lim s 2 s 1 )E 3 ] 3 i Z 4 j Z 4 = 81s 2 s 1 ) 3. i, i,j Θ Hence, lim E i, ± i Z2 ) 2 ± j Z2 ) 2 ± k Z2 ) 2 = lim E i, 27 i t j t k t = 27s 2 s 1 ) 3. In the same way, using induction, we may prove that ) 25) lim E ± k 1 Z 2 ) 2... ± k m Z 2 ) 2 = 3 m s 2 s 1 ) m. Suppose that q 1,..., q m 1 are integers and at least one of them is strictly greater than 1. By Hölder s inequality and 22), E[ ± k 1 Z 2 ) 2q 1 ± k 2 Z 2 ) 2q 2... ± k m Z 2 ) 2q m ] and, therefore, 26) lim E ± k 1 Z 2 ) 2mq 1 ) 1/m... E ± k m Z 2 ) 2mq m ) 1/m d 2mq1 k1 t) mq 1 ) 1/m... d 2mqm km t) mq m ) 1/m c1/n) q 1+ +q m, ± k 1 Z 2 ) 2q 1 ± k 2 Z 2 ) 2q 2... ± k m Z 2 ) 2q m The absolute value of the difference between ± k 1 Z 2 ) 2... ± k m Z 2 ) 2 and k 1,...,k m distinct ) ± k 1 Z 2 ) 2... ± k m Z 2 ) 2 is bounded by a finite sum of the expressions of the form ± k 1 Z 2 ) 2q 1 ± k 2 Z 2 ) 2q 2... ± k i Z 2 ) 2q i k 1,...,k i Θ lim nm c1/n) q 1+ +q m = 0. where at least one of the q j s is greater than 1. It follows from 25) and 26) that 27) lim E ) ± k 1 Z 2 ) 2... ± k m Z 2 ) 2 = 3 m s 2 s 1 ) m. k 1,...,k m distinct Next we tackle the expectations of the form ) E ± k 1 Z 2 ) q 1 ± k 2 Z 2 ) q 2... ± k m Z 2 ) q m,
10 10 KRZYSZTOF BURDZY where q 1,..., q m 1 are integers but they are not necessarily even. We will tacitly assume that the sum is taken over indices which are pairwise distinct the other terms appear in sums with different exponents q k ). We will illustrate the method by analyzing in detail only one sum, namely, E k 1,...,k 4 Θ k 1 <k 2 <k 3 <k 4 ± k 1 Z 2 ± k 3 Z 2 ). Note that the indices in the last sum are ordered the sum with unordered indices may be obtained by adding a finite number of sums with ordered indices. Let A 1 = A 1 u k1 1, u k1, u k2 1, u k2, u k3 1, u k3, u k4 1, u k4 ) df = {Y t ki 1) = u ki 1, Y t ki ) = u ki, i = 1, 2, 3, 4}. Let A 2 denote the event that there exists a number a such that for each i, the interval with endpoints u ki 1 and u ki is either contained in a, ) or in, a) and that each half-line contains at least one of these intervals. Suppose for a moment that u ki 1 and u ki are such that A 2 holds, for example, the intervals corresponding to i = 1, 2 are in a, ) and the other two are contained in the other half-line. The same argument that leads to 8) gives in the present case 28) E ± k 1 Z 2 ± k 3 Z 2 A 1 ) = E ± k 1 Z 2 A 1 )E ± k 3 Z 2 A 1 ). Both conditional expectations on the right hand side are equal to zero since the random variables have symmetric conditional) distributions. If the event A 2 is realized in some other way, the conditional expectation on the left hand side of 28) may be factored in some other way such that at least one conditional expectation on the right hand side is equal to 0 because of symmetry of the involved distribution. Hence, 29) E ± k 1 Z 2 ± k 3 Z 2 1 A2 ) = 0. For arbitrary values of u i s, 30) E ± k 1 Z 2 ± k 3 Z 2 A 1 ) E ± k 1 Z 2 ) 4 A 1 )) 1/2 E ± k 2 Z 2 ) 2 A 1 )) 1/2 E ± k 3 Z 2 ) 4 A 1 )) 1/2 E ± k 4 Z 2 ) 2 A 1 )) 1/2 = EX 8 u k1 1 u k1 )) 1/2 EX 4 u k2 1 u k2 )) 1/2 EX 8 u k3 1 u k3 )) 1/2 EX 4 u k4 1 u k4 )) 1/2 c u k1 1 u k1 2 u k2 1 u k2 u k3 1 u k3 2 u k4 1 u k4. Note that E ± k 1 Z 2 ± k 3 Z 2 A 1 u k1 1, u k1, u k2 1, u k2, u k3 1, u k3, u k4 1, u k4 )) 31) = E ± k 1 Z 2 ± k 3 Z 2 A 1 u k1 1, u k1, u k2, u k2 1, u k3 1, u k3, u k4 1, u k4 ))
11 VARIATION OF ITERATED BROWNIAN MOTION 11 because when we exchange the roles of u k2 1 and u k2, we change, in a sense, the sign of ± k 2 Z 2. For the same reason we have E ± k 1 Z 2 ± k 3 Z 2 A 1 u k1 1, u k1, u k2 1, u k2, u k3 1, u k3, u k4 1, u k4 )) 32) = E ± k 1 Z 2 ± k 3 Z 2 A 1 u k1 1, u k1, u k2 1, u k2, u k3 1, u k3, u k4, u k4 1)). Let ρ = ρr 1, r 2, r 3, r 4 ) = r 1 + r 2 + r 3 + r 4. We claim that E ± k 1 Z 2 ± k 3 Z 2 ) [ r 1 2 r 2 r 3 2 r 4 P Y t k1 ) Y t k1 1) dr 1 )P Y t k2 ) Y t k2 1) dr 2 ) ] P Y t k3 ) Y t k3 1) dr 3 )P Y t k4 ) Y t k4 1) dr 4 ) [ 1 r5 ρ1 r6 ρ P Y t k2 1) Y t k1 ) dr 5 )P Y t k3 1) Y t k2 ) dr 6 ) ] P Y t k2 1) Y t k1 ) dr 5 + r 2 ))P Y t k3 1) Y t k2 ) dr 6 r 2 )) [ 33) P Y t k4 1) Y t k3 ) dr 7 ) P Y t k4 1) Y t k3 ) dr 7 + r 4 ))]. 1 r7 ρ The terms in the first pair of large square brackets are justified by 30). The terms in the second and third pair of large square brackets come from 31)-32). The presence of indicator functions follows from 29). We will now estimate 1 r5 ρ1 r6 ρ[p Y t k2 1) Y t k1 ) dr 5 )P Y t k3 1) Y t k2 ) dr 6 ) 34) P Y t k2 1) Y t k1 ) dr 5 + r 2 ))P Y t k3 1) Y t k2 ) dr 6 r 2 ))]. Recall ψx, σ) from Lemma 2. Since t k2 1 t k1 = k 2 1 k 1 )/n, the standard deviation of Y t k2 1) Y t k1 ) is equal to k 2 1 k 1 )/n) 1/2. Hence P Y t k2 1) Y t k1 ) dr 5 ) P Y t k2 1) Y t k1 ) dr 5 + r 2 )) 35) ψr 5, k 2 1 k 1 )/n) 1/2 ) + ψr 5 + r 2, k 2 1 k 1 )/n) 1/2 ))dr 5 2ψ2ρ, k 2 1 k 1 )/n) 1/2 )dr 5 provided r 5 ρ. Similarly, 36) P Y t k3 1) Y t k2 ) dr 6 ) P Y t k3 1) Y t k2 ) dr 6 r 2 )) 2ψ2ρ, k 3 1 k 2 )/n) 1/2 )dr 6 assuming r 6 ρ. We will assume temporarily that k j k j 1 > 1 for all j in order to avoid normal variables with zero variance and in order to be able to use Lemma 2. We will get rid of this assumption later.
12 12 KRZYSZTOF BURDZY For any reals a, a, b and b, ab a + a)b + b) a b + b a + a b. This, 35) and 36) imply P Y t k2 1) Y t k1 ) dr 5 )P Y t k3 1) Y t k2 ) dr 6 ) P Y t k2 1) Y t k1 ) dr 5 + r 2 ))P Y t k3 1) Y t k2 ) dr 6 r 2 )) 2ψ2ρ, k 2 1 k 1 )/n) 1/2 )dr 5 P Y t k3 1) Y t k2 ) dr 6 ) + 2ψ2ρ, k 3 1 k 2 )/n) 1/2 )dr 6 P Y t k2 1) Y t k1 ) dr 5 ) + 2ψ2ρ, k 2 1 k 1 )/n) 1/2 )dr 5 2ψ2ρ, k 3 1 k 2 )/n) 1/2 )dr 6. The integral in 34) is, therefore, bounded by 1 r5 ρ1 r6 ρ 37) [2ψ2ρ, k 2 1 k 1 )/n) 1/2 )dr 5 P Y t k3 1) Y t k2 ) dr 6 ) + 2ψ2ρ, k 3 1 k 2 )/n) 1/2 )dr 6 P Y t k2 1) Y t k1 ) dr 5 ) + 2ψ2ρ, k 2 1 k 1 )/n) 1/2 )dr 5 2ψ2ρ, k 3 1 k 2 )/n) 1/2 )dr 6 ] cψ2ρ, k 2 1 k 1 )/n) 1/2 )ρ 2 k 3 1 k 2 )/n) 1/2 + cψ2ρ, k 3 1 k 2 )/n) 1/2 )ρ 2 k 2 1 k 1 )/n) 1/2 + cψ2ρ, k 2 1 k 1 )/n) 1/2 )ρ 2 ψ2ρ, k 3 1 k 2 )/n) 1/2 ). We can prove in the same way that 1 r7 ρ[p Y t k4 1) Y t k3 ) dr 7 ) P Y t k4 1) Y t k3 ) dr 7 + r 4 ))] 38) cψ2ρ, k 4 1 k 3 )/n) 1/2 )ρ. We now substitute this estimate and 37) into 33) to obtain E ± k 1 Z 2 ± k 3 Z 2 ) r 1 2 r 2 r 3 2 r 4 P Y t k1 ) Y t k1 1) dr 1 )P Y t k2 ) Y t k2 1) dr 2 ) P Y t k3 ) Y t k3 1) dr 3 )P Y t k4 ) Y t k4 1) dr 4 ) [ cψ2ρ, k2 1 k 1 )/n) 1/2 )ρ 2 k 3 1 k 2 )/n) 1/2 39) + cψ2ρ, k 3 1 k 2 )/n) 1/2 )ρ 2 k 2 1 k 1 )/n) 1/2 + cψ2ρ, k 2 1 k 1 )/n) 1/2 )ρ 2 ψ2ρ, k 3 1 k 2 )/n) 1/2 ) ] cψ2ρ, k 4 1 k 3 )/n) 1/2 )ρ.
13 VARIATION OF ITERATED BROWNIAN MOTION 13 By multiplying out the expression in brackets on the right hand side we obtain three terms under the integral sign. The first one is equal to r 1 2 r 2 r 3 2 r 4 cψ2ρ, k 2 1 k 1 )/n) 1/2 )ρ 2 k 3 1 k 2 )/n) 1/2 cψ2ρ, k 4 1 k 3 )/n) 1/2 )ρp Y t k1 ) Y t k1 1) dr 1 )P Y t k2 ) Y t k2 1) dr 2 ) P Y t k3 ) Y t k3 1) dr 3 )P Y t k4 ) Y t k4 1) dr 4 ) = r 1 2 r 2 r 3 2 r 4 cψ2 r 1 + r 2 + r 3 + r 4 ), k 2 1 k 1 )/n) 1/2 ) 40) r 1 + r 2 + r 3 + r 4 ) 2 k 3 1 k 2 )/n) 1/2 cψ2 r 1 + r 2 + r 3 + r 4 ), k 4 1 k 3 )/n) 1/2 ) r 1 + r 2 + r 3 + r 4 ) P Y t k1 ) Y t k1 1) dr 1 )P Y t k2 ) Y t k2 1) dr 2 ) P Y t k3 ) Y t k3 1) dr 3 )P Y t k4 ) Y t k4 1) dr 4 ). Note that 4 ψ2 r 1 + r 2 + r 3 + r 4 ), k 2 1 k 1 )/n) 1/2 ) ψ8 r j, k 2 1 k 1 )/n) 1/2 ) j=1 and the standard deviation of Y t kj ) Y t kj 1) is equal to n 1/2. This and Lemma 2 can be used to show that 40) is bounded by ck 2 1 k 1 )/n) 3/2 k 3 1 k 2 )/n) 1/2 k 4 1 k 3 )/n) 3/2 n 13/2. The other terms in 39) may be treated in a similar way so 41) E ± k 1 Z 2 ± k 3 Z 2 ) ck 2 1 k 1 )/n) 3/2 k 3 1 k 2 )/n) 1/2 k 4 1 k 3 )/n) 3/2 n 13/2 + ck 3 1 k 2 )/n) 3/2 k 2 1 k 1 )/n) 1/2 k 4 1 k 3 )/n) 3/2 n 13/2 + ck 2 1 k 1 )/n) 3/2 k 3 1 k 2 )/n) 3/2 k 4 1 k 3 )/n) 3/2 n 15/2. Now we discuss our temporary assumption that k j k j 1 > 1. If k 4 k 3 = 1 then the last term in large square brackets in 33) should be replaced by 1. If k 4 k 3 = 2 then the effect of the same term on our estimate is that of a multiplicative constant see, e.g., 38)). It follows that the terms corresponding to k j k j 1 = 1 contribute to our sums as much as those corresponding to k j k j 1 = 2 up to a multiplicative constant). Having this in
14 14 KRZYSZTOF BURDZY mind, we may write E k 1,...,k 4 Θ k 1 <k 2 <k 3 <k 4 ) ± k 1 Z 2 ± k 3 Z 2 k 1,...,k 4 Θ k 1 <k 2 <k 3 <k 4 k j k j 1 >1 [ ck2 1 k 1 )/n) 3/2 k 3 1 k 2 )/n) 1/2 k 4 1 k 3 )/n) 3/2 n 13/2 42) + ck 3 1 k 2 )/n) 3/2 k 2 1 k 1 )/n) 1/2 k 4 1 k 3 )/n) 3/2 n 13/2 + ck 2 1 k 1 )/n) 3/2 k 3 1 k 2 )/n) 3/2 k 4 1 k 3 )/n) 3/2 n 15/2]. We have 43) k 1,...,k 4 Θ k 1 <k 2 <k 3 <k 4 k j k j 1 >1 ck 2 1 k 1 )/n) 3/2 k 3 1 k 2 )/n) 1/2 k 4 1 k 3 )/n) 3/2 n 13/2 cn 3 n j 3/2 1 k 1 =1 j 1 =1 cn 3 nn 1/2 = cn 3/2. n j 2 =1 j 1/2 2 j 3 =1 Similar bounds hold for other terms in 42) so that E and, therefore, k 1,...,k 4 Θ k 1 <k 2 <k 3 <k 4 lim E j 3/2 3 ± k 1 Z 2 ± k 3 Z 2 ) cn 3/2 + cn 3/2 + cn 2 k 1,...,k 4 Θ k 1 <k 2 <k 3 <k 4 ± k 1 Z 2 ± k 3 Z 2 ) = 0. Now we will explain how this result may be generalized. Suppose that q j is either equal to 1 or 2 for j = 1,..., m. The expectation E ± k 1 Z 2 ) q 1 ± k 2 Z 2 ) q 2... ± k m Z 2 ) q m ) may be bounded as in 41) by a product of factors corresponding to ± k j Z 2 ) q j. If q j = 1 and j > 1 then the factor is of the form and when q j = 2, j > 1, then the factor is ck j 1 k j 1 )/n) 3/2 n 2 ck j 1 k j 1 )/n) 1/2 n 3/2.
15 VARIATION OF ITERATED BROWNIAN MOTION 15 For j = 1, the factor is n 1 or n 1/2, depending on whether q j = 2 or 1. Summing as in 43) shows that each factor corresponding to ± k j Z 2 ) q j contributes cn 1/2 to the sum of expectations provided j > 1. The contribution from the first factor is either c or cn 1/2. Hence 44) E ± k 1 Z 2 ) q 1 ± k 2 Z 2 ) q 2... ± k m Z 2 ) m) q cn m+2)/2. If m > 3 then 45) lim E ± k 1 Z 2 ) q 1 ± k 2 Z 2 ) q 2... ± k m Z 2 ) q m) = 0. Suppose that some q j s are greater than 2 and at least one of them is odd we need this assumption to prove 29)). The only part of the proof that will be affected by this change in the assumptions is that the powers of r j s in 33) will increase. If every q j is equal to 2p j + 1 or 2p j + 2 for some integer p j 0 then instead of 44) we will have 46) E ± k 1 Z 2 ) q 1 ± k 2 Z 2 ) q 2... ± k m Z 2 ) m) q cn p 1 p m + m+2)/2. Next we will analyse the fourth moment of V n s. We have 47) ) 4 ± k Z2 = 3 k Θ j,k distinct ± j Z2 ) 2 ± k Z2 ) 2 + k Θ + c ± j Z2 ) 3 ± k Z2 + c + c j k i,j,k,m Θ i<j<k<m j,k,m Θ m j k<m ± k Z2 ) 4 ± i Z2 ± j Z2 ± k Z2 ± mz 2. ± j Z2 ) 2 ± k Z2 ± mz 2 It follows from 26), 27), 45) and 46) that lim E ) 3 ± j Z2 ) 2 ± k Z2 ) 2 = 27s 2 s 1 ) 2, j,k distinct ) lim E k Θ ± k Z2 ) 4 = 0, lim E c ± j Z2 ) 3 ± k Z2 + c j k + c i,j,k,m Θ i<j<k<m j,k,m Θ m j k<m ± i Z2 ± j Z2 ± k Z2 ± mz 2 ) = 0. ± j Z2 ) 2 ± k Z2 ± mz 2
16 16 KRZYSZTOF BURDZY Hence 48) lim E k Θ ± k Z2 ) 4 = 27s 2 s 1 ) 2. More generally, suppose that m > 1 is an integer. Then ) 2m ± k Z2 = 2m 1)!! k Θ + + 2q 1 + +q j )=2m q 1... q j 2 q 1 + +q j =2m k 1,...,k m distinct cq 1,..., q j ) cq 1,..., q j ) ± k 1 Z 2 ) 2... ± k m Z 2 ) 2 k 1,...,k j Θ ± k 1 Z 2 ) 2q 1 ± k 2 Z 2 ) 2q 2... ± k j Z 2 ) 2q j ± k 1 Z 2 ) q 1 ± k 2 Z 2 ) q 2... ± k j Z 2 ) q j, where q i s are positive integers and in the last sum, at least two q i s are odd. By 27) lim E 2m 1)!! We have lim E k 1,...,k m distinct 2m=q 2q 1 + +q j )=2m q 1... q j 2 + q 1 + +q j =2m cq 1,..., q j ) cq 1,..., q j ) by 26), 45) and 46). We conclude that 49) lim E for m > 1. Note that k Θ 50) lim E ± k 1 Z 2 ) 2... ± k m Z 2 ) 2 ) = 2m 1)!!3 m s 2 s 1 ) m. k 1,...,k j Θ ± k 1 Z 2 ) 2q 1 ± k 2 Z 2 ) 2q 2... ± k j Z 2 ) 2q j ) ± k 1 Z 2 ) q 1 ± k 2 Z 2 ) q 2... ± k j Z 2 ) q j = 0 ± k Z2 ) 2m = 2m 1)!!3 m s 2 s 1 ) m k Θ ± k Z2 ) 2m+1 = lim 0 = 0 since the random variables under the expectation have symmetric distributions. We see from 49)-50) that the moments of Ṽns 2 ) Ṽns 1 ) = df k Θ ± k Z2 except possibly the second moment) converge as n goes to infinity to the moments of the normal distribution with mean 0 and variance 3s 2 s 1 ). The difference Ṽns 2 ) Ṽns 1 ) V n s 2 ) V n s 1 ))
17 VARIATION OF ITERATED BROWNIAN MOTION 17 is bounded by ± j Z2 + ± k Z2 for appropriate j and k. Since lim E ± j Z2 + ± k Z2 p = 0 for every p < and every choice of j and k, an application of Minkowski s inequality shows that the moments of V n s 2 ) V n s 1 ) have the same limits as those of Ṽns 2 ) Ṽns 1 ). It is perhaps appropriate to explain why we have not proved the convergence of the second moments of V n s 2 ) V n s 1 ). In order to do it we would have to have very accurate estimates of ) E ± j Z2 ± k Z2 which cannot be found using our method. A simple modification of the proof of Theorem of Chung 1974) shows that every subsequence of {V n s 2 ) V n s 1 )} n 1 has a further subsequence which converges in distribution to a random variable which has the same moments with possible exception of variance) as the centered normal with variance 3s 2 s 1 ). Lemma 1 implies that there is only one distribution which has the same moments of order greater than 2 as N0, 3s 2 s 1 )) and so {V n s 2 ) V n s 1 )} n 1 converges in distribution to N0, 3s 2 s 1 )). We will indicate how one can prove that the finite-dimensional distributions of V n also converge to those of Brownian motion Bs) with variance 3s. In order to prove that a pair of random variables has a two-dimensional normal distribution it suffices to show that all linear combinations of the random variables are normal. One can show this by finding the moments of all linear combinations. Let us fix some 0 s 1 < s 2 u 1 < u 2 and let Θs) and Θu) be the obvious analogues of Θ. Let a and b be arbitrary real numbers. In order to find lim E a ± k Z2 + b ) m ± k Z2 we might calculate k Θs) [ lim E a ) m1 ± k Z2 b k Θs) k Θu) k Θu) ± k Z2 ) m2 ] for various values of m 1 and m 2. Doing this would require estimates of E ± k 1 Z 2 ) q 1 ± k 2 Z 2 ) q 2... ± k m Z 2 ) q m s) k 1,...,k i Θu) ± k 1 Z 2 ) p 1 ± k 2 Z 2 ) p 2... ± k i Z 2 ) p i It can be shown that these expectations converge to the desired limits. The method of proof is a routine adaptation of the one used in the case of the one-dimensional distributions of V n. We omit the details as they are tedious. The case of m-dimensional distributions, m > 2, can be dealt with in the same way. Since the the finite-dimensional distributions of V n converge as n to those of B it remains to check that the distributions of V n are tight. It will suffice to show that there exists c < such that 51) EV n s 2 ) V n s 1 )) 4 cs 2 s 1 ) 2 ).
18 18 KRZYSZTOF BURDZY for all s 1, s 2 and all n see Billingsley 1968), 12.51)). It follows easily from the scaling properties of Brownian motions X and Y that Z has the 4-th order scaling properties while V n s have the Brownian scaling properties. In other words, the distribution of { n/mv n s m/n), s 0} is the same as that of {V m s), s 0}. It follows that 51) holds for all n if it holds for a single n. We will show that 51) holds for n = 1. Suppose that s 1 = 0. Then we want to show that EV 1 s 2 )) 4 cs 2 2. This is true for s 2 = 1 and some c since V 1 has all moments. It is easy to extend it to all s 2 [0, 1] since V 1 is by definition) a linear function on [0, 1]. Suppose that s 2 is an integer greater than 1. Then EV 1 s 2 )) 4 = E s 2 V s2 s 2 /s 2 )) 4 = s 2 2EV s2 1)) 4 by the scaling property of V n s. We have proved in 48) that so lim sup EV s2 1)) 4 < c < s 2 52) EV 1 s 2 )) 4 cs 2 2 for all integer s 2. It is elementary to extend the inequality to non-integer s 2 using the fact that V 1 is a linear function between integers. Now we use another invariance property of V n s, namely, that of translation invariance of their increments. The distribution of {V 1 s) V 1 0), s 0} is the same as that of {V 1 s + a) V 1 a), s 0} provided a > 0 is an integer. This and 52) imply that EV 1 s 2 ) V 1 s 1 )) 4 cs 2 s 1 ) 2 for integer numbers s 1 and all s 2 > s 1. Extending the result to all s 1 is easy. This concludes the proof of the weak convergence of V n s to B. Proof of Theorem 1 ii). We will prove the theorem only for s = 0 and t = 1. The estimate 46) obtained in the proof of Theorem 2 will be used to prove 4). We will apply the estimate with s 1 = 0 and s 2 = t recall the notation form the previous proof). We want to show that lim E n ) p j Z) 3 = 0. j=1 It will suffice to show that 53) lim E k1 Z) 3q 1 k2 Z) 3q 2... km Z) 3q m) = 0 for integer q j 1 such that q q m = p. The sum extends over distinct k j s. If all q j s are even then 53) follows from 26). Assume that at least one of q j s is odd. Let us adopt the following convention for integer m ± k Z2 ) m+1/2 = k Z) 2m+1.
19 VARIATION OF ITERATED BROWNIAN MOTION 19 One can verify that 46) remains true if some of q j s are not integers but have the form k + 1/2 for some integer k. Such q j s should be treated as odd integers for the purpose of the decomposition q j = 2p j + 1 used in 46). We obtain from 46) 54) E k1 Z) 3q 1 k2 Z) 3q 2... km Z) 3q m ) cn r 1 r m + m+2)/2 where 3q j /2 = 2r j + 2 if 3q j /2 is an even integer and 3q j /2 = 2r j + 1 otherwise. If m > 2 then 54) implies 53). If m = 2 and p is large then r 1 + r 2 > 0 and again 54) implies 53). References 1. P. Billingsley, Convergence of Probability Measures, Wiley, New York, K. Burdzy, Some path properties of iterated Brownian motion, Seminar on Stochastic Processes 1992 E. Çinlar, K.L. Chung and M. Sharpe, eds.), Birkhäuser, Boston, 1993, pp R. Durrett, Probability: Theory and Examples, Wadsworth, Belmont, CA, T. Funaki, Probabilistic construction of the solution of some higher order parabolic differential equations, Proc. Japan Acad ), K.J. Hochberg, A signed measure on path space related to Wiener measure, Ann. Probab ), V. Yu. Krylov, Some properties of the distribution corresponding to the equation u/ t = 1) q+1 2q u/ x 2q, Soviet Math. Dokl ), A. M adrecki, The 4-a-stable motions, construction, properties and applications, preprint) 1992). 8. A. M adrecki and M. Rybaczuk, New Feynman-Kac type formula, Reports Math. Phys 1992), to appear). Department of Mathematics, GN-50, Seattle, WA 98195
Richard F. Bass Krzysztof Burdzy University of Washington
ON DOMAIN MONOTONICITY OF THE NEUMANN HEAT KERNEL Richard F. Bass Krzysztof Burdzy University of Washington Abstract. Some examples are given of convex domains for which domain monotonicity of the Neumann
More informationLecture 9. d N(0, 1). Now we fix n and think of a SRW on [0,1]. We take the k th step at time k n. and our increments are ± 1
Random Walks and Brownian Motion Tel Aviv University Spring 011 Lecture date: May 0, 011 Lecture 9 Instructor: Ron Peled Scribe: Jonathan Hermon In today s lecture we present the Brownian motion (BM).
More informationThe Codimension of the Zeros of a Stable Process in Random Scenery
The Codimension of the Zeros of a Stable Process in Random Scenery Davar Khoshnevisan The University of Utah, Department of Mathematics Salt Lake City, UT 84105 0090, U.S.A. davar@math.utah.edu http://www.math.utah.edu/~davar
More informationStochastic Differential Equations.
Chapter 3 Stochastic Differential Equations. 3.1 Existence and Uniqueness. One of the ways of constructing a Diffusion process is to solve the stochastic differential equation dx(t) = σ(t, x(t)) dβ(t)
More informationBrownian motion. Samy Tindel. Purdue University. Probability Theory 2 - MA 539
Brownian motion Samy Tindel Purdue University Probability Theory 2 - MA 539 Mostly taken from Brownian Motion and Stochastic Calculus by I. Karatzas and S. Shreve Samy T. Brownian motion Probability Theory
More informationL n = l n (π n ) = length of a longest increasing subsequence of π n.
Longest increasing subsequences π n : permutation of 1,2,...,n. L n = l n (π n ) = length of a longest increasing subsequence of π n. Example: π n = (π n (1),..., π n (n)) = (7, 2, 8, 1, 3, 4, 10, 6, 9,
More informationIEOR 6711: Stochastic Models I Fall 2013, Professor Whitt Lecture Notes, Thursday, September 5 Modes of Convergence
IEOR 6711: Stochastic Models I Fall 2013, Professor Whitt Lecture Notes, Thursday, September 5 Modes of Convergence 1 Overview We started by stating the two principal laws of large numbers: the strong
More informationPROBABILITY: LIMIT THEOREMS II, SPRING HOMEWORK PROBLEMS
PROBABILITY: LIMIT THEOREMS II, SPRING 218. HOMEWORK PROBLEMS PROF. YURI BAKHTIN Instructions. You are allowed to work on solutions in groups, but you are required to write up solutions on your own. Please
More informationSTAT 7032 Probability Spring Wlodek Bryc
STAT 7032 Probability Spring 2018 Wlodek Bryc Created: Friday, Jan 2, 2014 Revised for Spring 2018 Printed: January 9, 2018 File: Grad-Prob-2018.TEX Department of Mathematical Sciences, University of Cincinnati,
More informationSOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES
Communications on Stochastic Analysis Vol. 4, No. 3 010) 45-431 Serials Publications www.serialspublications.com SOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES YURI BAKHTIN* AND CARL MUELLER
More informationSYMMETRIC WEIGHTED ODD-POWER VARIATIONS OF FRACTIONAL BROWNIAN MOTION AND APPLICATIONS
Communications on Stochastic Analysis Vol. 1, No. 1 18 37-58 Serials Publications www.serialspublications.com SYMMETRIC WEIGHTED ODD-POWER VARIATIONS OF FRACTIONAL BROWNIAN MOTION AND APPLICATIONS DAVID
More informationCombinatorial Proof of the Hot Spot Theorem
Combinatorial Proof of the Hot Spot Theorem Ernie Croot May 30, 2006 1 Introduction A problem which has perplexed mathematicians for a long time, is to decide whether the digits of π are random-looking,
More informationBrownian Motion. 1 Definition Brownian Motion Wiener measure... 3
Brownian Motion Contents 1 Definition 2 1.1 Brownian Motion................................. 2 1.2 Wiener measure.................................. 3 2 Construction 4 2.1 Gaussian process.................................
More informationMi-Hwa Ko. t=1 Z t is true. j=0
Commun. Korean Math. Soc. 21 (2006), No. 4, pp. 779 786 FUNCTIONAL CENTRAL LIMIT THEOREMS FOR MULTIVARIATE LINEAR PROCESSES GENERATED BY DEPENDENT RANDOM VECTORS Mi-Hwa Ko Abstract. Let X t be an m-dimensional
More informationSolution Set for Homework #1
CS 683 Spring 07 Learning, Games, and Electronic Markets Solution Set for Homework #1 1. Suppose x and y are real numbers and x > y. Prove that e x > ex e y x y > e y. Solution: Let f(s = e s. By the mean
More informationELEMENTARY LINEAR ALGEBRA
ELEMENTARY LINEAR ALGEBRA K R MATTHEWS DEPARTMENT OF MATHEMATICS UNIVERSITY OF QUEENSLAND First Printing, 99 Chapter LINEAR EQUATIONS Introduction to linear equations A linear equation in n unknowns x,
More informationa 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 11 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,, a n, b are given real
More informationLECTURE 10: REVIEW OF POWER SERIES. 1. Motivation
LECTURE 10: REVIEW OF POWER SERIES By definition, a power series centered at x 0 is a series of the form where a 0, a 1,... and x 0 are constants. For convenience, we shall mostly be concerned with the
More informationCombinatorial Dimension in Fractional Cartesian Products
Combinatorial Dimension in Fractional Cartesian Products Ron Blei, 1 Fuchang Gao 1 Department of Mathematics, University of Connecticut, Storrs, Connecticut 0668; e-mail: blei@math.uconn.edu Department
More informationELEMENTS OF PROBABILITY THEORY
ELEMENTS OF PROBABILITY THEORY Elements of Probability Theory A collection of subsets of a set Ω is called a σ algebra if it contains Ω and is closed under the operations of taking complements and countable
More informationConvergence at first and second order of some approximations of stochastic integrals
Convergence at first and second order of some approximations of stochastic integrals Bérard Bergery Blandine, Vallois Pierre IECN, Nancy-Université, CNRS, INRIA, Boulevard des Aiguillettes B.P. 239 F-5456
More informationDecomposition of Riesz frames and wavelets into a finite union of linearly independent sets
Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets Ole Christensen, Alexander M. Lindner Abstract We characterize Riesz frames and prove that every Riesz frame
More informationNew lower bounds for hypergraph Ramsey numbers
New lower bounds for hypergraph Ramsey numbers Dhruv Mubayi Andrew Suk Abstract The Ramsey number r k (s, n) is the minimum N such that for every red-blue coloring of the k-tuples of {1,..., N}, there
More informationPROBABILITY: LIMIT THEOREMS II, SPRING HOMEWORK PROBLEMS
PROBABILITY: LIMIT THEOREMS II, SPRING 15. HOMEWORK PROBLEMS PROF. YURI BAKHTIN Instructions. You are allowed to work on solutions in groups, but you are required to write up solutions on your own. Please
More informationA COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE
More informationAn approach to the Biharmonic pseudo process by a Random walk
J. Math. Kyoto Univ. (JMKYAZ) - (), An approach to the Biharmonic pseudo process by a Random walk By Sadao Sato. Introduction We consider the partial differential equation u t 4 u 8 x 4 (.) Here 4 x 4
More informationLogarithmic scaling of planar random walk s local times
Logarithmic scaling of planar random walk s local times Péter Nándori * and Zeyu Shen ** * Department of Mathematics, University of Maryland ** Courant Institute, New York University October 9, 2015 Abstract
More informationKrzysztof Burdzy Gregory F. Lawler
NON-INTERSECTION EXPONENTS FOR BROWNIAN PATHS PART I. EXISTENCE AND AN INVARIANCE PRINCIPLE Krzysztof Burdzy Gregory F. Lawler Abstract. Let X and Y be independent 3-dimensional Brownian motions, X(0)
More informationA generalization of Strassen s functional LIL
A generalization of Strassen s functional LIL Uwe Einmahl Departement Wiskunde Vrije Universiteit Brussel Pleinlaan 2 B-1050 Brussel, Belgium E-mail: ueinmahl@vub.ac.be Abstract Let X 1, X 2,... be a sequence
More informationERRATA: Probabilistic Techniques in Analysis
ERRATA: Probabilistic Techniques in Analysis ERRATA 1 Updated April 25, 26 Page 3, line 13. A 1,..., A n are independent if P(A i1 A ij ) = P(A 1 ) P(A ij ) for every subset {i 1,..., i j } of {1,...,
More informationNotes 6 : First and second moment methods
Notes 6 : First and second moment methods Math 733-734: Theory of Probability Lecturer: Sebastien Roch References: [Roc, Sections 2.1-2.3]. Recall: THM 6.1 (Markov s inequality) Let X be a non-negative
More informationA matrix over a field F is a rectangular array of elements from F. The symbol
Chapter MATRICES Matrix arithmetic A matrix over a field F is a rectangular array of elements from F The symbol M m n (F ) denotes the collection of all m n matrices over F Matrices will usually be denoted
More informationA Remark on Sieving in Biased Coin Convolutions
A Remark on Sieving in Biased Coin Convolutions Mei-Chu Chang Department of Mathematics University of California, Riverside mcc@math.ucr.edu Abstract In this work, we establish a nontrivial level of distribution
More informationLecture 12. F o s, (1.1) F t := s>t
Lecture 12 1 Brownian motion: the Markov property Let C := C(0, ), R) be the space of continuous functions mapping from 0, ) to R, in which a Brownian motion (B t ) t 0 almost surely takes its value. Let
More informationP i [B k ] = lim. n=1 p(n) ii <. n=1. V i :=
2.7. Recurrence and transience Consider a Markov chain {X n : n N 0 } on state space E with transition matrix P. Definition 2.7.1. A state i E is called recurrent if P i [X n = i for infinitely many n]
More informationOn pathwise stochastic integration
On pathwise stochastic integration Rafa l Marcin Lochowski Afican Institute for Mathematical Sciences, Warsaw School of Economics UWC seminar Rafa l Marcin Lochowski (AIMS, WSE) On pathwise stochastic
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationBrownian Motion. Chapter Definition of Brownian motion
Chapter 5 Brownian Motion Brownian motion originated as a model proposed by Robert Brown in 1828 for the phenomenon of continual swarming motion of pollen grains suspended in water. In 1900, Bachelier
More informationPrime numbers and Gaussian random walks
Prime numbers and Gaussian random walks K. Bruce Erickson Department of Mathematics University of Washington Seattle, WA 9895-4350 March 24, 205 Introduction Consider a symmetric aperiodic random walk
More informationNon-radial solutions to a bi-harmonic equation with negative exponent
Non-radial solutions to a bi-harmonic equation with negative exponent Ali Hyder Department of Mathematics, University of British Columbia, Vancouver BC V6TZ2, Canada ali.hyder@math.ubc.ca Juncheng Wei
More informationPropagation of Smallness and the Uniqueness of Solutions to Some Elliptic Equations in the Plane
Journal of Mathematical Analysis and Applications 267, 460 470 (2002) doi:10.1006/jmaa.2001.7769, available online at http://www.idealibrary.com on Propagation of Smallness and the Uniqueness of Solutions
More information4 Sums of Independent Random Variables
4 Sums of Independent Random Variables Standing Assumptions: Assume throughout this section that (,F,P) is a fixed probability space and that X 1, X 2, X 3,... are independent real-valued random variables
More informationPacking-Dimension Profiles and Fractional Brownian Motion
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 Packing-Dimension Profiles and Fractional Brownian Motion By DAVAR KHOSHNEVISAN Department of Mathematics, 155 S. 1400 E., JWB 233,
More informationPACKING-DIMENSION PROFILES AND FRACTIONAL BROWNIAN MOTION
PACKING-DIMENSION PROFILES AND FRACTIONAL BROWNIAN MOTION DAVAR KHOSHNEVISAN AND YIMIN XIAO Abstract. In order to compute the packing dimension of orthogonal projections Falconer and Howroyd 997) introduced
More informationAn almost sure invariance principle for additive functionals of Markov chains
Statistics and Probability Letters 78 2008 854 860 www.elsevier.com/locate/stapro An almost sure invariance principle for additive functionals of Markov chains F. Rassoul-Agha a, T. Seppäläinen b, a Department
More informationWeak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij
Weak convergence and Brownian Motion (telegram style notes) P.J.C. Spreij this version: December 8, 2006 1 The space C[0, ) In this section we summarize some facts concerning the space C[0, ) of real
More informationarxiv: v1 [math.pr] 1 Jan 2013
The role of dispersal in interacting patches subject to an Allee effect arxiv:1301.0125v1 [math.pr] 1 Jan 2013 1. Introduction N. Lanchier Abstract This article is concerned with a stochastic multi-patch
More informationAsymptotic Nonequivalence of Nonparametric Experiments When the Smoothness Index is ½
University of Pennsylvania ScholarlyCommons Statistics Papers Wharton Faculty Research 1998 Asymptotic Nonequivalence of Nonparametric Experiments When the Smoothness Index is ½ Lawrence D. Brown University
More informationConnection to Branching Random Walk
Lecture 7 Connection to Branching Random Walk The aim of this lecture is to prepare the grounds for the proof of tightness of the maximum of the DGFF. We will begin with a recount of the so called Dekking-Host
More informationLecture 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 informationVISCOSITY SOLUTIONS. We follow Han and Lin, Elliptic Partial Differential Equations, 5.
VISCOSITY SOLUTIONS PETER HINTZ We follow Han and Lin, Elliptic Partial Differential Equations, 5. 1. Motivation Throughout, we will assume that Ω R n is a bounded and connected domain and that a ij C(Ω)
More informationDeviation Measures and Normals of Convex Bodies
Beiträge zur Algebra und Geometrie Contributions to Algebra Geometry Volume 45 (2004), No. 1, 155-167. Deviation Measures Normals of Convex Bodies Dedicated to Professor August Florian on the occasion
More informationYOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP
YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YUFEI ZHAO ABSTRACT We explore an intimate connection between Young tableaux and representations of the symmetric group We describe the construction
More informationWeighted Sums of Orthogonal Polynomials Related to Birth-Death Processes with Killing
Advances in Dynamical Systems and Applications ISSN 0973-5321, Volume 8, Number 2, pp. 401 412 (2013) http://campus.mst.edu/adsa Weighted Sums of Orthogonal Polynomials Related to Birth-Death Processes
More informationDiscrete Math, Spring Solutions to Problems V
Discrete Math, Spring 202 - Solutions to Problems V Suppose we have statements P, P 2, P 3,, one for each natural number In other words, we have the collection or set of statements {P n n N} a Suppose
More informationCollatz cycles with few descents
ACTA ARITHMETICA XCII.2 (2000) Collatz cycles with few descents by T. Brox (Stuttgart) 1. Introduction. Let T : Z Z be the function defined by T (x) = x/2 if x is even, T (x) = (3x + 1)/2 if x is odd.
More informationDiscretization of SDEs: Euler Methods and Beyond
Discretization of SDEs: Euler Methods and Beyond 09-26-2006 / PRisMa 2006 Workshop Outline Introduction 1 Introduction Motivation Stochastic Differential Equations 2 The Time Discretization of SDEs Monte-Carlo
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationSOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin
SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS Roger C. Alperin An extraordinary theorem of Gromov, [Gv], characterizes the finitely generated groups of polynomial growth; a group has polynomial
More informationMean convergence theorems and weak laws of large numbers for weighted sums of random variables under a condition of weighted integrability
J. Math. Anal. Appl. 305 2005) 644 658 www.elsevier.com/locate/jmaa Mean convergence theorems and weak laws of large numbers for weighted sums of random variables under a condition of weighted integrability
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationWEYL S LEMMA, ONE OF MANY. Daniel W. Stroock
WEYL S LEMMA, ONE OF MANY Daniel W Stroock Abstract This note is a brief, and somewhat biased, account of the evolution of what people working in PDE s call Weyl s Lemma about the regularity of solutions
More informationThe concentration of the chromatic number of random graphs
The concentration of the chromatic number of random graphs Noga Alon Michael Krivelevich Abstract We prove that for every constant δ > 0 the chromatic number of the random graph G(n, p) with p = n 1/2
More information9 Brownian Motion: Construction
9 Brownian Motion: Construction 9.1 Definition and Heuristics The central limit theorem states that the standard Gaussian distribution arises as the weak limit of the rescaled partial sums S n / p n of
More informationMOMENT CONVERGENCE RATES OF LIL FOR NEGATIVELY ASSOCIATED SEQUENCES
J. Korean Math. Soc. 47 1, No., pp. 63 75 DOI 1.4134/JKMS.1.47..63 MOMENT CONVERGENCE RATES OF LIL FOR NEGATIVELY ASSOCIATED SEQUENCES Ke-Ang Fu Li-Hua Hu Abstract. Let X n ; n 1 be a strictly stationary
More informationSYMMETRIC STABLE PROCESSES IN PARABOLA SHAPED REGIONS
SYMMETRIC STABLE PROCESSES IN PARABOLA SHAPED REGIONS RODRIGO BAÑUELOS AND KRZYSZTOF BOGDAN Abstract We identify the critical exponent of integrability of the first exit time of rotation invariant stable
More informationProbabilistic Proofs of Existence of Rare Events. Noga Alon
Probabilistic Proofs of Existence of Rare Events Noga Alon Department of Mathematics Sackler Faculty of Exact Sciences Tel Aviv University Ramat-Aviv, Tel Aviv 69978 ISRAEL 1. The Local Lemma In a typical
More informationA DECOMPOSITION OF E 0 -SEMIGROUPS
A DECOMPOSITION OF E 0 -SEMIGROUPS Remus Floricel Abstract. Any E 0 -semigroup of a von Neumann algebra can be uniquely decomposed as the direct sum of an inner E 0 -semigroup and a properly outer E 0
More informationWLLN for arrays of nonnegative random variables
WLLN for arrays of nonnegative random variables Stefan Ankirchner Thomas Kruse Mikhail Urusov November 8, 26 We provide a weak law of large numbers for arrays of nonnegative and pairwise negatively associated
More informationSPATIAL STRUCTURE IN LOW DIMENSIONS FOR DIFFUSION LIMITED TWO-PARTICLE REACTIONS
The Annals of Applied Probability 2001, Vol. 11, No. 1, 121 181 SPATIAL STRUCTURE IN LOW DIMENSIONS FOR DIFFUSION LIMITED TWO-PARTICLE REACTIONS By Maury Bramson 1 and Joel L. Lebowitz 2 University of
More informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationAppendix B for The Evolution of Strategic Sophistication (Intended for Online Publication)
Appendix B for The Evolution of Strategic Sophistication (Intended for Online Publication) Nikolaus Robalino and Arthur Robson Appendix B: Proof of Theorem 2 This appendix contains the proof of Theorem
More informationON THE MOMENTS OF ITERATED TAIL
ON THE MOMENTS OF ITERATED TAIL RADU PĂLTĂNEA and GHEORGHIŢĂ ZBĂGANU The classical distribution in ruins theory has the property that the sequence of the first moment of the iterated tails is convergent
More informationKrzysztof Burdzy Wendelin Werner
A COUNTEREXAMPLE TO THE HOT SPOTS CONJECTURE Krzysztof Burdzy Wendelin Werner Abstract. We construct a counterexample to the hot spots conjecture; there exists a bounded connected planar domain (with two
More information1 Directional Derivatives and Differentiability
Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=
More informationRENORMALIZATION OF DYSON S VECTOR-VALUED HIERARCHICAL MODEL AT LOW TEMPERATURES
RENORMALIZATION OF DYSON S VECTOR-VALUED HIERARCHICAL MODEL AT LOW TEMPERATURES P. M. Bleher (1) and P. Major (2) (1) Keldysh Institute of Applied Mathematics of the Soviet Academy of Sciences Moscow (2)
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationThe main results about probability measures are the following two facts:
Chapter 2 Probability measures The main results about probability measures are the following two facts: Theorem 2.1 (extension). If P is a (continuous) probability measure on a field F 0 then it has a
More informationThe Cameron-Martin-Girsanov (CMG) Theorem
The Cameron-Martin-Girsanov (CMG) Theorem There are many versions of the CMG Theorem. In some sense, there are many CMG Theorems. The first version appeared in ] in 944. Here we present a standard version,
More informationWeak Variation of Gaussian Processes
Journal of Theoretical Probability, Vol. 10, No. 4, 1997 Weak Variation of Gaussian Processes Yimin Xiao1,2 Received December 6, 1995; revised June 24, 1996 Let X(l) (ter) be a real-valued centered Gaussian
More informationScaling Limits of Waves in Convex Scalar Conservation Laws under Random Initial Perturbations
Scaling Limits of Waves in Convex Scalar Conservation Laws under Random Initial Perturbations Jan Wehr and Jack Xin Abstract We study waves in convex scalar conservation laws under noisy initial perturbations.
More informationInduced subgraphs with many repeated degrees
Induced subgraphs with many repeated degrees Yair Caro Raphael Yuster arxiv:1811.071v1 [math.co] 17 Nov 018 Abstract Erdős, Fajtlowicz and Staton asked for the least integer f(k such that every graph with
More informationIntroduction to Empirical Processes and Semiparametric Inference Lecture 09: Stochastic Convergence, Continued
Introduction to Empirical Processes and Semiparametric Inference Lecture 09: Stochastic Convergence, Continued Michael R. Kosorok, Ph.D. Professor and Chair of Biostatistics Professor of Statistics and
More informationRecurrence of Simple Random Walk on Z 2 is Dynamically Sensitive
arxiv:math/5365v [math.pr] 3 Mar 25 Recurrence of Simple Random Walk on Z 2 is Dynamically Sensitive Christopher Hoffman August 27, 28 Abstract Benjamini, Häggström, Peres and Steif [2] introduced the
More informationNONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction
NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques
More informationIEOR 4701: Stochastic Models in Financial Engineering. Summer 2007, Professor Whitt. SOLUTIONS to Homework Assignment 9: Brownian motion
IEOR 471: Stochastic Models in Financial Engineering Summer 27, Professor Whitt SOLUTIONS to Homework Assignment 9: Brownian motion In Ross, read Sections 1.1-1.3 and 1.6. (The total required reading there
More informationMATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.
MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More informationEXISTENCE AND UNIQUENESS OF INFINITE COMPONENTS IN GENERIC RIGIDITY PERCOLATION 1. By Alexander E. Holroyd University of Cambridge
The Annals of Applied Probability 1998, Vol. 8, No. 3, 944 973 EXISTENCE AND UNIQUENESS OF INFINITE COMPONENTS IN GENERIC RIGIDITY PERCOLATION 1 By Alexander E. Holroyd University of Cambridge We consider
More informationCOMPLEXITY OF SHORT RECTANGLES AND PERIODICITY
COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY VAN CYR AND BRYNA KRA Abstract. The Morse-Hedlund Theorem states that a bi-infinite sequence η in a finite alphabet is periodic if and only if there exists
More informationLectures 2 3 : Wigner s semicircle law
Fall 009 MATH 833 Random Matrices B. Való Lectures 3 : Wigner s semicircle law Notes prepared by: M. Koyama As we set up last wee, let M n = [X ij ] n i,j=1 be a symmetric n n matrix with Random entries
More informationTopics in fractional Brownian motion
Topics in fractional Brownian motion Esko Valkeila Spring School, Jena 25.3. 2011 We plan to discuss the following items during these lectures: Fractional Brownian motion and its properties. Topics in
More informationMULTIDIMENSIONAL WICK-ITÔ FORMULA FOR GAUSSIAN PROCESSES
MULTIDIMENSIONAL WICK-ITÔ FORMULA FOR GAUSSIAN PROCESSES D. NUALART Department of Mathematics, University of Kansas Lawrence, KS 6645, USA E-mail: nualart@math.ku.edu S. ORTIZ-LATORRE Departament de Probabilitat,
More informationTHE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago
THE VOLUME OF A HYPERBOLIC -MANIFOLD WITH BETTI NUMBER 2 Marc Culler and Peter B. Shalen University of Illinois at Chicago Abstract. If M is a closed orientable hyperbolic -manifold with first Betti number
More informationObserver design for a general class of triangular systems
1st International Symposium on Mathematical Theory of Networks and Systems July 7-11, 014. Observer design for a general class of triangular systems Dimitris Boskos 1 John Tsinias Abstract The paper deals
More informationAsymptotic Properties of an Approximate Maximum Likelihood Estimator for Stochastic PDEs
Asymptotic Properties of an Approximate Maximum Likelihood Estimator for Stochastic PDEs M. Huebner S. Lototsky B.L. Rozovskii In: Yu. M. Kabanov, B. L. Rozovskii, and A. N. Shiryaev editors, Statistics
More informationGEOMETRIC AND FRACTAL PROPERTIES OF SCHRAMM-LOEWNER EVOLUTION (SLE)
GEOMETRIC AND FRACTAL PROPERTIES OF SCHRAMM-LOEWNER EVOLUTION (SLE) Triennial Ahlfors-Bers Colloquium Gregory F. Lawler Department of Mathematics Department of Statistics University of Chicago 5734 S.
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationRelative growth of the partial sums of certain random Fibonacci-like sequences
Relative growth of the partial sums of certain random Fibonacci-like sequences Alexander Roitershtein Zirou Zhou January 9, 207; Revised August 8, 207 Abstract We consider certain Fibonacci-like sequences
More informationArithmetic progressions in sumsets
ACTA ARITHMETICA LX.2 (1991) Arithmetic progressions in sumsets by Imre Z. Ruzsa* (Budapest) 1. Introduction. Let A, B [1, N] be sets of integers, A = B = cn. Bourgain [2] proved that A + B always contains
More information