Transformée de Cramér

En mathématiques et plus particulièrement en théorie des probabilités, la transformée de Cramér (du mathématicien Harald Cramér) correspond à la transformée de Legendre-Fenchel de la fonction génératrice des cumulants d'une loi de probabilité.

Cette notion intervient dans l'étude de grandes déviations. Plus précisément, la transformée de Cramér constitue la fonction de taux dans le théorème de Cramér.

Définitions

Définition pour une loi sur les réels

Soit $X$ une variable aléatoire réelle de loi $\mu$ . Notons $K$ la fonction génératrice des cumulants de $X$ , c'est-à-dire :

K(t)=\ln \mathbb {E} [e^{tX}]\in \mathbb {R} \cup \{+\infty \}~~~\forall t\in \mathbb {R}

.

La transformée de Cramér de $\mu$ , notée $K^{*}$ , est la transformée de Legendre de $K$ , c'est-à-dire :

K^{*}(x)=\sup _{t\in \mathbb {R} }\,\{tx-K(t)\}\in \mathbb {R} _{+}\cup \{+\infty \}~~~\forall x\in \mathbb {R}

.

Définition pour un espace euclidien

On peut généraliser la définition dans le cas où $X$ est à valeurs dans $\mathbb {R} ^{d}$ . Dans ce cas la fonction génératrice des cumulants $K$ devient :

K(t)=\ln \mathbb {E} [e^{\langle t,X\rangle }]\in \mathbb {R} \cup \{+\infty \}~~~\forall t\in \mathbb {R} ^{d}

où $\langle \cdot ,\cdot \rangle$ désigne le produit scalaire canonique sur $\mathbb {R} ^{d}$ . La transformée de Cramér de $\mu$ est alors la transformée de Legendre-Fenchel de $K$ , c'est-à-dire :

K^{*}(x)=\sup _{t\in \mathbb {R} ^{d}}\,\{\langle t,x\rangle -K(t)\}\in \mathbb {R} _{+}\cup \{+\infty \}~~~\forall x\in \mathbb {R} ^{d}

.

Définition pour un espace localement convexe séparé

On peut pousser encore la généralisation dans le cas où $X$ est à valeurs dans un espace localement convexe séparé ${\mathcal {X}}$ muni de sa tribu borélienne. Dans ce cas la fonction génératrice des cumulants $K$ devient :

K(t)=\ln \mathbb {E} [e^{\langle t,X\rangle }]\in \mathbb {R} \cup \{+\infty \}~~~\forall t\in {\mathcal {X}}'

où ${\mathcal {X}}'$ désigne le dual topologique de ${\mathcal {X}}$ et $\langle t,X\rangle =t(X)$ . La transformée de Cramér de $\mu$ est alors la transformée de Legendre-Fenchel de $K$ , c'est-à-dire :

K^{*}(x)=\sup _{t\in {\mathcal {X}}'}\,\{\langle t,x\rangle -K(t)\}\in \mathbb {R} _{+}\cup \{+\infty \}~~~\forall x\in {\mathcal {X}}

.

Propriétés

La transformée de Cramér est toujours positive (elle vaut éventuellement plus l'infini) et semi-continue inférieurement. C'est donc une fonction de taux.
La transformée de Cramér est toujours convexe.
Si $Y=X+c$ avec $c\in {\mathcal {X}}$ constante alors $K_{Y}(t)=K_{X}(t)+\langle t,c\rangle$ et $K_{Y}^{*}(x)=K_{X}^{*}(x-c)$ .
Si $Y=aX$ avec $a\in \mathbb {R} ^{*}$ constante alors $K_{Y}(t)=K_{X}(at)$ et $K_{Y}^{*}(x)=K_{X}^{*}(x/a)$ .

Exemples


Loi	Paramètres	Fonction génératrice des cumulants $K$	Transformée de Cramér $K^{*}$
Loi de Bernoulli	$p\in \left]0,1\right[$	$\ln(pe^{t}+1-p)$	$\left\{{\begin{array}{ll}x\ln \left({\frac {x}{p}}\right)+(1-x)\ln \left({\frac {1-x}{1-p}}\right)&{\text{ si }}x\in [0,1]\\+\infty &{\text{ sinon}}\end{array}}\right.$
Loi de Rademacher		$\ln \cosh(t)$	$\left\{{\begin{array}{ll}{\frac {1+x}{2}}\ln \left(1+x\right)+{\frac {1-x}{2}}\ln \left(1-x\right)&{\text{ si }}x\in [-1,1]\\+\infty &{\text{ sinon}}\end{array}}\right.$
Loi de Poisson	$\lambda >0$	$\lambda (e^{t}-1)$	$\left\{{\begin{array}{ll}\lambda -x+x\ln \left({\frac {x}{\lambda }}\right)&{\text{ si }}x\geq 0\\+\infty &{\text{ sinon}}\end{array}}\right.$
Loi exponentielle	$\lambda >0$	${\frac {t}{\lambda }}-1$	$\left\{{\begin{array}{ll}\lambda x-1-\ln \left(\lambda x\right)&{\text{ si }}x>0\\+\infty &{\text{ sinon}}\end{array}}\right.$
Loi normale	$m\in \mathbb {R} ,\,\sigma ^{2}>0$	$mt+{\frac {\sigma ^{2}t^{2}}{2}}$	${\frac {(x-m)^{2}}{2\sigma ^{2}}}$

Bibliographie

(en) Amir Dembo et Ofer Zeitouni, Large deviations techniques and applications, vol. 38, New York, Springer-Verlag, coll. « Applications of Mathematics », 1998, 2^e éd. (ISBN 0-387-98406-2) lien Math Reviews
(en) Achim Klenke, Probability Theory—A Comprehensive Course, London, Springer, 2008 (ISBN 978-1-84800-047-6)

Voir aussi

Portail des mathématiques