A CONTINUOUS ANALOGUE OF THE INVARIANCE PRINCIPLE AND ITS ALMOST SURE VERSION By ELENA PERMIAKOVA (Kazan) Chebotarev inst. of Mathematics and Mechanics, Kazan State University Universitetskaya 7, 420008 Kazan e-mail epermiakova@mail.ru arxiv:0908.072v [math.pr] 7 Aug 2009 Abstract. We deal with random processes obtained from a homogeneous random process with independent increments by replacement of the time scale and by multiplication by a norming constant. We prove the convergence in distribution of these processes to Wiener process in the Skorohod space endowed by the topology of uniform convergence. An integral type almost sure version of this limit theorem is obtained. 2000 AMS Mathematics Subject Classification. 60F05 Central limit and other weak theorems, 60F5 Strong theorems. Key words and phrases: functional limit theorem, almost sure limit theorem, process with independent stationary increments.. Introduction The usual invariance principle asserts the convergence of the sequence of the random processes X n (x) = [nx] n i= ξ i, x R +, as n, to the Wiener process W, where ξ i are independent identically distributed centered random variables with variance. In this paper we study approximations of the Wiener process W by the random processes X t (x) = t V(tx), x R +, () where t > 0 is a parameter and V is a centered homogeneous random process with independent increments such that V(0) = 0 and E(V()) 2 = σ 2. Then almost all sample paths of X t belong to the Skorohod space D[0,]. In Section 2 we prove that X t converges to σw, as t, in distribution in D[0,]. Almost sure versions of functional limit theorems were studied in several papers. Here we mention only Lacey and Philipp [], Chuprunov and Fazekas [2], Chuprunov and Fazekas [3]. In Section 3 we prove almost sure versions of our limit theorem. Let (Ω,A,P) be the probability space on which the random process V is defined. We show that for certain sequence (s n ), the sequence of measures Q n (ω) = Q n [X sn (t)](ω) = lnn n k= k X sk (t)(ω) (+) converges weakly the to the distribution of σw in D[0,] Here and in the following x denotes the measure of unit mass, concentrated in the point x. Also we prove integral type almost sure versions of our limit theorem. In Chuprunov and Fazekas [4] a general integral type almost sure limit theorem is presented. Then the general theorem is applied to obtain almost sure versions of limit theorems for semistable and max-semistable processes, moreover for processes being in the domain of attraction of a stable law or being in the domain of geometric partial attraction of a semistable or a
max-semistable law. We mention a simple consequence of the general result of Chuprunov and Fazekas [4]. Let V(t) beaprocess with characteristic function (3). Let f be a function with property (B). Let X t be defined by (). Then T log(t) Xf(t) ()(ω) t dt converges weakly, as T, to centered gaussian distribution with the variance K( ). In this paper we prove a functional version of this proposition. We show that the measures Q I T = T D(T) Xf(t) (ω)d(t)dt converge weakly, as T, to the distribution of σw in D[0,] The proof of this result is based on the criterion for integral type almost sure version of a limit theorem which was obtained in Chuprunov and Fazekas [4]. 2. Functional limit theorems We will denote by d the convergence in distribution, by w the weak convergence of measures, by µ ζ the distribution of the random element ζ and by B(B) the σ-algebra of the Borel subsets of the metric space B. In the paper we will denote by the same symbols the random process and the random element corresponding to this random process. Using the Kolmogorov representation (see [5], sect. 8) we can assume that the characteristic function of the centered homogeneous random process V(t) with independent increments is ( φ V(t) (x) = E e ixv(t)) = e ω(t,x,k(x)) = (3) ( { + = exp t (e ixy ixy) }) y 2dK(y), x R. Here K(y) is an bounded increasing function such that K( ) = 0. We will consider the sequence of the random processes where We will use the following preliminary result. Y n = X sn, (4) s n, as n. (5) Theorem. Let Y n be defined by () and (4) and assume that (s n ) satisfies (5). Let σ 2 = K( ). Then we have Y n d σw, as n, in D[0, ] endowed by the topology of uniform convergence. Proof. Let 0 t < t 2 <. By the convergence criterionn in [5], sect. 9, Y n (t 2 ) Y n (t ) d σ(w(t 2 ) W(t )), as n. (6) Let 0 t 0 < t <... < t k <. Introduce the notation Y ni = Y n (t i ) Y n (t i ) and W i = W(t i ) W(t i ). Since Y ni, i k, are independent random variables, from (6) we obtain ( Y n,..., Y nk ) d (σ W,...,σ W k ). 2
Consequently, the finite dimensional distributions of Y n converge to the finite dimensional distributions of σw. Also we have lim supe Y n (t 2 ) Y n (t ) 2 = σ 2 t 2 t. (7) n But (7) together with the convergence of the finite dimensional distributions gives the weakconvergenceofy n toσw (seebillingsley[6], Theorem5.6)inD[0,]withSkorohod s J -topology. However, in our case the limit process is a continuous one. Hence, (see Pollard [7], p. 37, and the discussion in Billingsley [6], Sect. 8), the weak convergence in Skorohod s J -topology actually implies the weak convergence in the uniform topology of D[0,]. The proof is complete. Using Theorem, we can prove the following theorem. Theorem 2. Let X t be defined by (). Then it holds that X t d σw, as t, in D[0, ] endowed by the topology of uniform convergence. Proof. Consider D[0,] in the topology of uniform convergence and the space M of distributions on D[0, ] with the topology of convergence in distribution. Then M is a metric space and denote by ρ M a metric which defines this topology on M. Then, by Theorem, ρ M (µ Xsn,µ σw ) 0, as s n. Therefore ρ M (µ Xt,µ σw ) 0, as t. The proof is complete. Let ξ i, i N, be independent identically distributed random variables with the expectation a and the variance σ 2 and let π(t), t R +, be a Poissonian process with the intensity, and let the family ξ i, i N,be independent of π(t), t R +. Then V(x) = π(x) i= ξ i ax, x R +, is a centered homogeneous random process with independent increments such that V(0) = 0 and E(V()) 2 = σ 2 +a 2 So from Theorem 2 we obtain the following corollary. Corollary. Let ξ i, i N, be independent identically distributed random variables with the expectation a and the variance σ 2. Let X t(x) = π(tx) i= ξ i atx t, x R +. (8) Then one has X t d σ 2 +a 2 W, as t, in D[0, ] with the topology of uniform convergence. For ξ i = from Corollary we obtain the following. Corollary 2. Let X t(x) = π(tx) tx t, x R +. (9) 3
Then one has X t d W, as t, in D[0, ] with the topology of uniform convergence. 3. Almost sure versions of functional limit theorems We will consider the sequence of measures defined by (+) and connected with the random processes X n (t). For the sequence s n we will assume the following property (A) for some β > 0, Theorem 3. Let (A) be valid. Then it holds that Proof. Let l < k. Let Y kl (x) = s n n β is an increasing sequence. Q n (ω) w µ σw if n (0) { 0, 0 x < s l Y k (x) V(s l) sk,, s l x. Then Y kl (x), 0 x, and Y l (x), 0 x, are independent random processes. Let ρ be the metric of D[0,]. Using the moment inequality from [8], sect. 5, we obtain V(s l ) Eρ(Y k,y kl ) E sup Y k (x) Y kl (x) E sup Y k (x) +E 0 x 0 x s l sk ( ) sl 4E Y k +E V(s l ) E(V(sl )) 5 2 sk sk By Lemma from [3], this implies (0). The proof is complete. For the function f we will consider following the property ) sl l β/2 5σ 5σ(. () k (B) for some β > 0, f(x) x β is an increasing function. Now we will prove the integral type almost sureversion of Theorem 2. We will consider the random processes Y t (x) = V(f(t)x), 0 x. f(t) We will assume that (C) the function d(s) is a decreasing such that k+ k d(s)ds log k+ k for all k N and d(s)ds = +. Let D(S) = S d(s)ds. Theorem 4. Let (B) and (C) be valid. Then we have Q I S(ω) = S D(S) Ys(ω)d(s)ds w µ σw, as S, (2) 4
Proof. Let 0 < l < k, l,k N, k t k+. Introduce the notation 0, 0 s f(l+) f(t) Y lkt (s) =, Y t (s) V(f(l)) f(l+) f(t), f(t) s. Then {Y lkt (s) : k t k + } and {Y t (s) : l t l + } are independent families. Repeating the proof of (), we obtain ( ) l β/2 Eρ(Y t,y lkt ) E sup X t (s) X lkt (s) 5 2 β/2 σ. 0 s k By Corollary 2., from Chuprunov and Fazekas [4] this and Theorem 2 implies (2). The proof is complete. Theorem 4 and Corollary (resp. Corollary 2) of Theorem 2 imply the corollaries. Corollary 3. Let the X be defined by (8) and let f be a function with the property (B). Then S ln(s) X f(s) (ω) s ds w µ σ 2 +a 2 W, as S, Corollary 5. Let the X be defined by (9) and let f be a function with the property (B.) Then S ln(s) X f(s) (ω) d(s)ds w µ W, as S, Remark. Corollary of Theorem 2 is a functional limit theorem for random sums. So Corollary 3 of Theorem 4 is a integral type almost sure version of a functional limit theorem for random sums. (For limit theorems for random sums see Korolev and Kruglov [9].) References [] M. T. Lacey and W. Philipp, A note on almost sure central limit theorem, Statistics and Probability Letters 9(2) (990), 20 205. [2] A. Chuprunov and I. Fazekas, Almost sure versions of some analogues of the invariance principle, Publicationes Mathematicae, Debrecen 54(3-4) (999), 457 47. [3] A. Chuprunov and I. Fazekas, Almost sure limit theorems for the Pearson statistic, Teor. Veroyatnost. i Primenen. 48(), 62 69. [4] A. Chuprunov and I. Fazekas, Integral analogues of almost sure limit theorems, Periodica Mathematica Hungarica (to appear). [5] B. V. Gnedenko and A. N. Kolmogorov, Limit Distributions for Sums of Independent Random Variables, Addison-Wesley, Reading, Massachusetts, 954. [6] P. Billingsley, Convergence of probability measures, John Wiley and Sons, New York, 968. [7] D. Pollard, Convergence of stochastic processes, Springer-Verlag, New York, 984. [8] N. N. Vakhania, V. I. Tarieladze and S. A. Chobanian, Probability distributions in Banach spaces, Nauka, Moscow, 985 (in Russian). 5
[9] V. M. Kruglovand V. Yu. Korolev, Limittheorems for randomsums, Moscow University Press, Moscow, 990 (in Russian). 6