CONVERGENCE OF THE FRACTIONAL PARTS OF THE RANDOM VARIABLES TO THE TRUNCATED EXPONENTIAL DISTRIBUTION

Transcription

1 Ann. Acad. Rom. Sci. Ser. Math. Appl. ISSN Vol. 4, No. 2 / 202 CONVERGENCE OF THE FRACTIONAL PARTS OF THE RANDOM VARIABLES TO THE TRUNCATED EXPONENTIAL DISTRIBUTION Bogdan Gheorghe Munteanu Abstract Using the stochastic approximations, in this paper it was studied the convergence in distribution of the fractional parts of the sum of random variables to the truncated exponential distribution with parameter. This fact is feasible by means of the Fourier-Stieltjes sequence (FSS) of the random variable. MSC: 62E20, 60F05 keywords: limit theorems, asymptotic distribution, fractional part, truncated exponential distribution Introduction The aim of this paper is to extend the results of Wilms [9] about convergence of the fractional parts of the random variables. Accepted for publication in revised form on June 4, 202. munteanu.b@afahc.ro Faculty of Aeronautic Management, Department of Fundamental Sciences, Henri Coanda Air Forces Academy, 60 Mihai Viteazu St., Brasov, Romania 8

2 Convergence of the fractional parts of the random variables 9 This theory was analysed by Wilms in [9], where the study of convergence of the fractional parts of the sum of random variables it was directed towards the uniform distribution on the interval [0, ]. Moreover, he identifed the necessary and sufficient conditions for the convergence of the product of the random variables, not necessary independent and identically distributed, towards the same uniform distribution on the interval [0, ]. The Fourier- Stieltjes sequence, (see Definition ), play an important role in the study of fractional parts of random variables. Also, Wilms obtain conditions under which fractional parts of products of independent and identically distributed random variables are uniform distribution on the interval [0, ]. After a survey of some results by Schatte in [6], Wilms extend the results of Schatte on sums of independent and identically distributed lattice random variables. Furthermore, Schatte in [6], gives rates for the convergence of distribution function of the fractional parts of the sum of random variables to distribution function of random variables with continouous uniform distribution on the interval [0, ]. The novelty of this paper consist in the identification of the conditions (Theorems 4, 5, 6) when the distribution of the fractional parts of the sum of random variables converge to the truncated exponential distribution. 2 Notations, definitions and auxiliary results Let (Ω, F, P) be the probability space and a random variable X, X : Ω R measurable function. The distribution of random variable X is the measure of probability P X defined on B(R) Borel and P X (B) = P (X B). The distribution function of the random variable X is F X (x) = P(X < x), x R, x or F X (x) = f X (y)dy where f X represents the density of probability of the random variable X. Throughout the paper, for A R, F(A) = {F X P (X A) =. For the random variable X, the fractional part of X is defined as follows: {X = X [X], where [X] represents the integer part of X. The distribution function of the random variable {X for any x [0, ] is F {X (x) = m= P(m X < m + x) = m= (F X (m + x) F X (m)).

3 20 Bogdan Gheorghe Munteanu where F X is the distribution function of random variable X. The random variable X has truncated exponential distribution of parameter (denoted by X Exp ()), if its distribution function F X F([0, )) and F X (x) = 0, x < 0 e x e, x [0, ], x > Moreover, if random variable X has the density f X, then: F {X (x) = j= that is h {X (x) = j+x j f X (y)dy = j= x j= 0 f X (j + t)dt =. x 0 j= f X (j + t)dt, f X (j + x), x [0, ] is the density of probability of the random variable {X. For example, if X Exp (), then ( F {X (x) = e x) ( / e ), x [0, ]. So, the characteristic function of the random variable X, ϕ X : R C is defined by: + ϕ X (t) := Ee itx = e itx df X (x), (t R). Definition. The Fourier-Stieltjes sequence (FSS) of the random variable X is the function c X : Z C defined by c X (k) := ϕ X (2πk), k Z. Proposition. ([9]) For any random variable X the following relation occurs: c X (k) = c {X (k), k Z. The properties that characterizes the Fourier-Stieltjes sequence, it was presented a books [], [3] and [5]. Theorem. (of continuity, [5]) Let (F n ) F([0, )) be a sequence of the random variables, and let (c n ) be FSS respectively.

4 Convergence of the fractional parts of the random variables 2 (i). Let F F([0, )) be with c FSS respectively. If F n n lim n c n (k) = c(k), pentru k Z. F, then (ii). If lim n c n (k) = c(k) is for k Z, then is F F([0, )) so that n F n F. Then the sequence c is FSS of F. We define the convolution F of distribution functions F, F 2 F([0, )) such that F F([0, )). Denote by F F {X, F 2 F {X2 and F F {X +X 2. To this end, let F F 2 denote the convolution in the customary sense, [2], i.e. (F F 2 ) (x) = F (x y)df 2 (y) = with F F 2 F([0, 2)) if F, F 2 F([0, )) and x [0, ]. Definition 2. Let F, F, F 2 F([0, )). The function (F F 2 ) (x) = is said to be the truncated convolution. F 2 (x y)df (y), (F F 2 ) (x), x [0, ] (F F 2 ) () (F F 2 ) (0) In particular, if F, F 2 F([0, )) is the distribution functions of random variables X and X 2 independent and identically exponential distributed, then the distribution function of the sum of random variables X and X 2 (F in fractional part is F (x) = F 2 )(x) (F F 2 )() (F F 2 )(0) = (+x)e x, with F (+)e F([0, )), x [0, ]. Theorem 2. (of convolution, [9]) Let F, F, F 2 F([0, )) be with FSS c, c, c 2. Then c = c c 2 F = F F 2. Corollary. ([9]) Let X and Y be two independent random variables with F X, F Y F([0, )). Then c {X+Y = c X c Y.

5 22 Bogdan Gheorghe Munteanu The next result characterizes FSS with the help of the repartition function F X. Proposition 2. ([9]) Let F X F([0, )) be. Then c F (k) = 2πik 0 F X (x)e 2πikx dx, k Z. The next theorem characterizes the convergence in distribution (denoted by d ) by means of FSS. Theorem 3. ([9]) Let (X m ) be a sequence of independent random variables and S n := n Then {S n d S if and only if X m, n N. Let S be the random variable with F S F([0, )). n There are a couple of intermediate results. c {Xm(k) c S (k) if n for any k Z. Proposition 3. ([7]) Let (a n ) be a sequence of real numbers, a n > 0, for all n N. Then a n is convergent if and only if ( a n ) is convergent. n=0 Proposition 4. ([8]) Let X n be a sequence of independent random variables. We assume that V arx m is finite. (i). Then n n=0 (X m EX m ) converges almost certainly for n. (ii). If n. EX m is convergent, then n X m converges almost certainly if 3 The convergence in the distribution of the fractional part In this section we shall give sufficient conditions for the fractional parts of the independent and identically distributed random variables. In Theorem

6 Convergence of the fractional parts of the random variables 23 4, supposing that V arx m is convergent, we show that the existence { of limit lim EX m is necessary and sufficient for the convergence of n { the distribution of EX m if n. Theorem 5 states necessary { and sufficient conditions, using FSS for the convergence X m to the distribution Exp () if n. We also neet conditions of convergence in Teorema 6. The Fourier-Stieltjes sequence of the random variable X, X Exp (), is presented in the following theoretical result: Proposition 5. If X Exp () and the distribution function F X F([0, )), then ( ) c Exp () (k) = e 2πik, k Z 0. 2πik Proof. According to the definition FSS, c Exp () (k) = = 0 ( e 2πikx d e x) = 2πik ( ) e 2πik. 0 e (2πik )x dx Next, we shall present { the original results that inform us under what circumstances the sum X m converges in distribution towards truncated exponential distribution. Theorem 4. Let (X m ) be a sequence of independent and identically distributed random variables, so that V arx m is finite and X Exp (). { { Then X m converges in distribution if and only if lim n EX m exists.

7 24 Bogdan Gheorghe Munteanu Proof. First, we shall proof sufficiency. Since X Exp (), it results that EX m =. { { { ( On the other hand, X m = Xm ) +. According to Proposition 4, Xm ) a.s { ( X, for n. Then X m { X +. { As a necessity, let X m be shall converge for n. Similarly, we have { { { ( = X ) m + X m. From Proposition 4, converges almost certainly when n. ) Therefore, { exists. ( X m The following theorems provide the necessary and sufficient conditions for the fractional parts of the sums of the independent random variables identically towards the truncated exponential distribution of parameter. Theorem 5. Let (X m ) be a sequence of independent and identically random variables with (c m ), the corresponding FSS, and also S n = (i). {S n d Exp () n c m (k) n d X m, n N. ( 2πik e 2πik ), n, (ii). We suppose c m (k) 0, k Z 0, m N, {S n does not converge to Exp () is equivalent to ( c m (k) ) is divergent, k Z 0. Proof. [i]. Based on the Theorem 3, {S n d Exp () c {Sn(k) n c Exp () (k) Proposition 5 n c m (k) ( ) e 2πik 2πik, n.

8 Convergence of the fractional parts of the random variables 25 [ii]. According to Proposition 3, ( c m (k) ) divergent c m (k) is divergent, that is {S n d F, with F Exp (). Corollary 2. If the sequence (c m ), of the random variables sequence (X m ) meets the condition of ( c m (k) ) to be convergent, k Z 0, then {S n d Exp (), where S n = n X m, n N. Theorem 6. Let (X m ) be a sequence of independent and identically distributed random variables with the characteristic function ϕ, X Exp (), and 0 < V arx <. Let (a m ) be a sequence of real numbers so that lim m a m = 0. We define V n := (i). If n a m X m, n N. a 2 m is convergent, then {V n d Exp (). (ii). We suppose that there is k Z 0, ϕ(2πka m ) 0. If a 2 m is divergent, then {V n don t converge to Exp (). Proof. [i]. Let k Z 0 be fixed. By Corollary 2, it is sufficient to show that ( ϕ(2πka m ) ) is convergent. It is known that if X Exp (), then ϕ X (t) = / ( it), from where ϕ X (t) = 2 + t 2 = ( + ( ) ) t 2 2. If we consider the development in binomial series ( + x) 2 = x 2 ( x2 +..., then we obtain + ( ) ) t 2 2 = 2 t2 + o(t 2 ), from where the following 4 t2 < ϕ X (t) < t2. Then ( ϕ(2πka m ) ) < 4π2 k 2 a 2 m = 4π2 k 2 a 2 m.

9 26 Bogdan Gheorghe Munteanu As ( ϕ(2πka m ) ) is convergent. a 2 m is convergent, it means that [ii]. Since ϕ X (t) > t2 4, we have Results that ( ϕ(2πka m ) ) > π2 k 2 ( ϕ(2πka m ) ) is divergent because a 2 m is divergent. Next Theorem 5(ii) is taken into account. Example a 2 m. Let (X m ) be a sequence of independent and identically distributed random variables, X Exp () and a m = m b, b > 0; a 2 m = = m { 2b =, b 2 <, b >. We have the following situations for the sequence V n = 2 m b X m : () b 2, (2) 2 < b, a 2 m = T heorem 6 = {V n does not converge to Exp (). a 2 m < T heorem 6 = {V n d Exp () or { b X + 2 b X n b X n (3) b >, according to Theorem 4, lim n that is {V n d F, with F Exp (). References n Exp () EX m = lim n n =, [] P.D.T.A. Elliott, Probabilistic number theory, vol. of Grund-lehren der mathematische Wissenschaften 239, Springer-Verlag, New York, 979. [2] W. Feller, An introduction to probability theory and its applications, Vol 2, John Wiley&Sons, New York, 97.

10 Convergence of the fractional parts of the random variables 27 [3] T. Kawata, Fourier analysis in probability theory, Academic Press, London, 972. [4] E. Lukacs, Characteristic functions, Griffin, London, 970. [5] K.V. Mardia, Statistics of directional data, Academic Press London, 972. [6] P. Schatte, On the asymptotic uniform distribution of the n-fold convolution mod of a lattice distribution, Matematische Nachrichten, 28: , 986. [7] E.C. Titchmarsh, The theory of functions, Oxfoed University Press, London, second ed., 960. [8] H.G. Tucker,A graduate course in probability, Academic Press, New York, 967. [9] R.J. Wilms Gerardus, Fractional parts of random variables, Wibro Dissertatiedrukkerij, Helmond, 994.