Namespaces
Variants
Actions

Difference between revisions of "Lévy-Cramér theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(link)
 
(4 intermediate revisions by 2 users not shown)
Line 1: Line 1:
If the sum of two independent non-constant random variables is normally distributed, then each of the summands is normally distributed. This result was stated by P. Lévy [[#References|[1]]] and proved by H. Cramér [[#References|[2]]]. Equivalent formulations are: 1) if the convolution of two proper distributions is a normal distribution, then each of them is a normal distribution; and 2) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058280/l0582801.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058280/l0582802.png" /> are characteristic functions and if
+
{{TEX|done}}
 +
If the sum of two independent non-constant random variables is normally distributed, then each of the summands is normally distributed. This result was stated by P. Lévy [[#References|[1]]] and proved by [[Cramér, Harald|H. Cramér]] [[#References|[2]]]. Equivalent formulations are: 1) if the convolution of two proper distributions is a normal distribution, then each of them is a normal distribution; and 2) if $\phi_1(t)$ and $\phi_2(t)$ are characteristic functions and if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058280/l0582803.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
+
$$\phi_1(t)\phi_2(t)=\exp(-\gamma t^2+i\beta t),\label{*}\tag{*}$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058280/l0582804.png" /></td> </tr></table>
+
$$\gamma\geq0,\quad-\infty<\beta<\infty,$$
  
 
then
 
then
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058280/l0582805.png" /></td> </tr></table>
+
$$\phi_j(t)=\exp(-\gamma_jt^2+i\beta t),\quad\gamma_j\geq0,\quad-\infty<\beta<\infty.$$
  
In formulation 1), the Lévy–Cramér theorem admits a generalization to the convolution of two signed measures with restrictions on their negative variation; in formulation 2) it admits a generalization to the case when instead of condition (*) one considers the condition
+
In formulation 1), the Lévy–Cramér theorem admits a generalization to the convolution of two signed measures with restrictions on their negative variation; in formulation 2) it admits a generalization to the case when instead of condition \eqref{*} one considers the condition
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058280/l0582806.png" /></td> </tr></table>
+
$$\prod_{j=1}^m\{\phi_j(t)\}^{\alpha_j}=\exp(-\gamma t^2+i\beta t),$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058280/l0582807.png" /></td> </tr></table>
+
$$\gamma\geq0,\quad-\infty<\beta<\infty,\quad t\in E,$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058280/l0582808.png" /> are characteristic functions, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058280/l0582809.png" /> are positive numbers and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058280/l05828010.png" /> is a set of real numbers with a limit point at the origin. There are generalizations of the Lévy–Cramér theorem to random variables in Euclidean spaces and in locally compact Abelian groups.
+
where $\phi_1(t),\dots,\phi_m(t)$ are characteristic functions, $\alpha_1,\dots,\alpha_m$ are positive numbers and $E$ is a set of real numbers with a limit point at the origin. There are generalizations of the Lévy–Cramér theorem to random variables in Euclidean spaces and in locally compact Abelian groups.
  
 
The Lévy–Cramér theorem has the following stability property. Closeness of the distribution of a sum of independent random variables to the normal distribution implies closeness of the distribution of each of the summands to the normal distribution; qualitative estimates of the stability are known.
 
The Lévy–Cramér theorem has the following stability property. Closeness of the distribution of a sum of independent random variables to the normal distribution implies closeness of the distribution of each of the summands to the normal distribution; qualitative estimates of the stability are known.

Latest revision as of 19:21, 24 March 2023

If the sum of two independent non-constant random variables is normally distributed, then each of the summands is normally distributed. This result was stated by P. Lévy [1] and proved by H. Cramér [2]. Equivalent formulations are: 1) if the convolution of two proper distributions is a normal distribution, then each of them is a normal distribution; and 2) if $\phi_1(t)$ and $\phi_2(t)$ are characteristic functions and if

$$\phi_1(t)\phi_2(t)=\exp(-\gamma t^2+i\beta t),\label{*}\tag{*}$$

$$\gamma\geq0,\quad-\infty<\beta<\infty,$$

then

$$\phi_j(t)=\exp(-\gamma_jt^2+i\beta t),\quad\gamma_j\geq0,\quad-\infty<\beta<\infty.$$

In formulation 1), the Lévy–Cramér theorem admits a generalization to the convolution of two signed measures with restrictions on their negative variation; in formulation 2) it admits a generalization to the case when instead of condition \eqref{*} one considers the condition

$$\prod_{j=1}^m\{\phi_j(t)\}^{\alpha_j}=\exp(-\gamma t^2+i\beta t),$$

$$\gamma\geq0,\quad-\infty<\beta<\infty,\quad t\in E,$$

where $\phi_1(t),\dots,\phi_m(t)$ are characteristic functions, $\alpha_1,\dots,\alpha_m$ are positive numbers and $E$ is a set of real numbers with a limit point at the origin. There are generalizations of the Lévy–Cramér theorem to random variables in Euclidean spaces and in locally compact Abelian groups.

The Lévy–Cramér theorem has the following stability property. Closeness of the distribution of a sum of independent random variables to the normal distribution implies closeness of the distribution of each of the summands to the normal distribution; qualitative estimates of the stability are known.

Theorems analogous to the Lévy–Cramér theorem have been obtained for the Poisson distribution (Raikov's theorem), for the convolution of a Poisson and a normal distribution, and for other classes of infinitely-divisible distributions (see [6]).

References

[1] P. Lévy, "Propriétés asymptotiques des sommes de variables aléatoires indépendantes ou enchaînées" J. Math. Pures Appl. , 14 (1935) pp. 347–402
[2] H. Cramér, "Ueber eine Eigenschaft der normalen Verteilungsfunktion" Math. Z. , 41 (1936) pp. 405–414
[3] D.A. Raikov, "On the decomposition of a Poisson law" Dokl. Akad. Nauk SSSR , 14 (1937) pp. 9–12 (In Russian)
[4] Yu.V. Linnik, "On the decomposition of the convolution of Gaussian and Poissonian laws" Theory Probab. Appl. , 2 (1957) pp. 31–57 Teor. Veroyatnost. i Primenen. , 2 (1957) pp. 34–59
[5] N.A. Sapogov, "On independent terms of a sum of random variables which is distributed almost normally" Vestn. Leningr. Univ. Ser. Mat. Mekh. Astr. , 14 : 19 (1959) pp. 78–105 (In Russian) (English abstract)
[6] Yu.V. Linnik, I.V. Ostrovskii, "Decomposition of random variables and vectors" , Amer. Math. Soc. (1977) (Translated from Russian)
[7] G.M. Fel'dman, "On the decomposition of Gaussian distributions on groups" Theory Probab. Appl. , 22 (1977) pp. 133–140 Teor. Veroyatnost. i Primenen. , 22 (1977) pp. 136–143


Comments

References

[a1] Yu.V. Linnik, "Decomposition of probability laws" , Oliver & Boyd (1964) (Translated from Russian)
[a2] E. Lukacs, "Characteristic functions" , Griffin (1960)
[a3] E. Lukacs, R.G. Laha, "Applications of characteristic functions" , Griffin (1964)
[a4] H.-J. Rossberg, B. Jesiah, G. Siegel, "Analytic methods of probability theory" , Akademie Verlag (1985)
How to Cite This Entry:
Lévy-Cramér theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=L%C3%A9vy-Cram%C3%A9r_theorem&oldid=17783
This article was adapted from an original article by I.V. Ostrovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article