Loi stable

Un article de Wikipédia, l'encyclopédie libre.

Loi stable
Image illustrative de l’article Loi stable
Densité de probabilité
Lois stables symétriques
Loi symétrique
α-stable avec un facteur d'échelle unitaire
Skewed centered stable distributions
Lois stables asymétriques centrées avec facteur d'échelle unitaire

Image illustrative de l’article Loi stable
Fonction de répartition
Fonctions de répartition de lois symétriques α-stables
Fonctions de répartition de lois symétriques
α-stables
Fonctions de répartition de lois de Lévy asymétriques centrées
Fonctions de répartition de lois stables asymétriques centrées

Paramètres α ∈ ]0,2] — paramètre de stabilité

β ∈ [−1,1] — paramètre d'asymétrie
c ∈ ]0, +∞[ — paramètre d'échelle
μ ∈ ]−∞, +∞[ — moyenne

Support xR, ou x ∈ [μ, +∞[ si α < 1 et β = 1, ou x ∈ ]-∞,μ] si α < 1 et β = -1
Densité de probabilité pas d'expression analytique générale, sauf pour quelques valeurs de paramètres
Fonction de répartition pas d'expression analytique générale, sauf pour quelques valeurs de paramètres
Espérance μ quand α > 1, sinon indéfini
Médiane μ quand β = 0, sinon pas d'expression analytique
Mode μ quand β = 0, sinon pas d'expression analytique
Variance 2c2 quand α = 2, sinon indéfini
Asymétrie 0 quand α = 2, sinon indéfini
Kurtosis normalisé 0 quand α = 2, sinon indéfini
Entropie pas d'expression analytique générale, sauf pour quelques valeurs de paramètres
Fonction génératrice des moments indéfini
Fonction caractéristique

La loi stable ou loi de Lévy tronquée, nommée d'après le mathématicien Paul Lévy, est une loi de probabilité utilisée en mathématiques, physique et analyse quantitative (finance de marché).

Variable aléatoire stable réelle[modifier | modifier le code]

Définition[modifier | modifier le code]

On dit qu'une variable aléatoire réelle est de loi stable si elle vérifie l'une des 3 propriétés équivalentes suivantes[1] :

  1. Pour tous réels strictement positifs et , il existe un réel strictement positif et un réel tels que les variables aléatoires et aient la même loi, où et sont des copies indépendantes de .
  2. Pour tout entier , il existe une constante strictement positive et un réel tels que les variables aléatoires et aient la même loi, où sont des copies indépendantes de .
  3. Il existe des réels , , et telles que la fonction caractéristique de vérifie, pour tout ,

Remarques :

  • Les paramètres , , et caractérisent la loi de . On écrit alors .
  • Le réel dans est appelé paramètre de stabilité de . Le réel positif est appelé paramètre d'échelle de .
  • Les coefficients , et sont liés par la relation .
  • Pour tout , on a .

On dit qu'une variable aléatoire réelle est -stable si elle est stable et que son paramètre de stabilité est .

  • Les lois 2-stables correspondent exactement aux lois normales. Pour ces lois, le paramètre n'a aucune influence. Plus précisément, la loi correspond à la loi normale de moyenne et de variance .

Propriétés des lois stables[modifier | modifier le code]

  • Si et sont indépendantes, alors avec

  • Si et , alors .
  • Si avec , alors

.

  • Si avec , alors

Cas symétrique[modifier | modifier le code]

On dit que est de loi symétrique -stable si est -stable et que les variables aléatoires et sont identiquement distribuées.

  • est de loi symétrique -stable si, et seulement si, . On note simplement dans ce cas .
  • est de loi symétrique -stable si, et seulement si, sa fonction caractéristique vérifie pour tout l'égalité , où est le paramètre d'échelle de .

Domaine d'attraction d'une loi stable[modifier | modifier le code]

L'étude des lois stables vient, en fait, de l'étude de la convergence de sommes de variables aléatoires indépendantes et identiquement distribuées (i.i.d) normalisées de manière affine. Les lois stables sont alors les seules lois limites possibles.

Domaine d'attraction[modifier | modifier le code]

Définition — Soit une loi de probabilité sur . Le domaine d'attraction de , noté , est l'ensemble des lois de probabilité sur telles qu'il existe une suite de variables aléatoires i.i.d de loi , une suite de réels et une suite de réels strictement positifs telles que

converge en loi vers .

Une loi de probabilité sur est dite dégénérée si elle et tout son poids sur un point, autrement dit, si il existe tel que . Les lois dégénérées sont toutes stables. Une loi stable est dégénérée si et seulement si son paramètre est nul.

Deux lois de probabilités et sur sont dites de même type si on peut passer de l'une à l'autre par une transformation affine, autrement dit, si il existe et tels que pour tout , . Cela revient encore à dire que, pour toute variable aléatoire on a que . Avoir le même type définit une relation d'équivalence et si deux lois ont le même type alors la stabilité de l'une implique celle de l'autre. Plus précisément si et si avec et , alors . Deux lois stables non dégénérées ont le même type si et seulement si elles partagent les mêmes paramètres et ou si elles sont toutes les deux 2-stables (normales). Toutes les lois dégénérées ont le même type.

Propriétés — Soit et deux lois de probabilité sur .

  1. La loi est dégénérée si et seulement si son domaine d'attraction contient toutes les mesures de probabilité sur .
  2. Le domaine d'attraction de est non vide si et seulement si est une loi stable.
  3. Si est stable, alors elle appartient à son propre domaine d'attraction.
  4. Si les lois et sont de même type, alors elles ont le même domaine d'attraction.
  5. Si les lois et sont non dégénérées et, respectivement, -stable et -stable avec alors leurs domaines d'attraction sont disjoints.

Théorème — Soit une loi de probabilité sur non dégénérée et . Alors appartient au domaine d'attraction d'une loi 2-stable (c'est-à-dire d'une loi normale) non dégénérée si et seulement si

À noter que si a une variance finie, alors la condition du théorème est automatiquement vérifiée et on retrouve presque la conclusion du théorème central limite. Ce qui empêche de retrouver exactement le théorème central limite est que le théorème ci-dessus ne donne pas de suites et pour lesquels la convergence peut s'obtenir ni les paramètres et de la loi normale limite associée. Le théorème central limite informe qu'en prenant et il y a convergence en loi vers la loi normale et .

Ce théorème peut s'appliquer à des lois de variance infinie. Par exemple si suit la loi de Pareto suivante : pour tout , alors la condition du théorème est satisfaite, pourtant n'a pas une variance finie. Dans cet exemple précis, il est possible de trouver des suites et convenables pour que la convergence se fasse grâce au théorème suivant.

Théorème — Soit une loi de probabilité sur dont la fonction de répartition est notée . Soit une suite de variables aléatoires i.i.d de loi . Supposons que

et sont des constantes. Alors la convergence

a lieu en loi quand , où désigne la loi normale centrée réduite, et

A noter que si dans le théorème précédent, alors la variance de est finie et on retrouve exactement le théorème central limite. L'intérêt du théorème précédent par rapport au théorème central limite est donc l'étude du cas .

Théorème — Soit une loi de probabilité sur dont la fonction de répartition est notée et . Soit . Alors appartient au domaine d'attraction d'une loi -stable non dégénérée si et seulement si il existe des constantes et telles que ,

et

.

De plus, si ces conditions sont vérifiées, la convergence

a lieu en loi quand , où

et
.

Domaine d'attraction normal[modifier | modifier le code]

Vecteur aléatoire stable et variable aléatoire stable complexe[modifier | modifier le code]

Vecteur aléatoire stable[modifier | modifier le code]

On dit qu'un vecteur aléatoire de est de loi stable s'il vérifie une des 2 propriétés équivalentes suivantes[1] :

  1. Pour tous réels strictement positifs et , il existe un réel strictement positif et un vecteur de tels que les vecteurs aléatoires et aient la même loi, où et sont des copies indépendantes de .
  2. Il existe une mesure finie sur la sphère de et un vecteur tels que la fonction caractéristique de vérifie, pour tout ,

est le produit scalaire classique sur .

Remarques :

  • La paire est unique.
  • Le réel est appelé paramètre de stabilité de .
  • Les coefficients , et sont liés par la relation .
  • On dit que est de loi symétrique -stable si est -stable et que les variables aléatoires et sont identiquement distribuées. Dans ce cas, sa fonction caractéristique est donnée, pour tout , par .

Propriétés des vecteurs aléatoires stables[modifier | modifier le code]

  • Si est un vecteur -stable, alors, pour tous réels , la variable aléatoire réelle est -stable.
  • Si et, pour tous réels , la variable aléatoire réelle est -stable, alors le vecteur est -stable.
  • Si, pour tous réels , la variable aléatoire réelle est symétrique -stable, alors le vecteur est symétrique -stable.

Variable aléatoire stable complexe[modifier | modifier le code]

On dit qu'une variable aléatoire complexe est de loi -stable, si le vecteur de est -stable.

On dit de plus que la loi de est isotrope si, pour tout , les variables aléatoires et sont identiquement distribuées. Dans ce cas, sa fonction caractéristique vérifie, pour tous complexes , , où est un réel positif appelé paramètre d'échelle de .

Représentation en série de LePage[modifier | modifier le code]

Cas symétrique réel[modifier | modifier le code]

Soit . On pose . Soit et deux processus mutuellement indépendants de variables aléatoires définis sur le même espace de probabilité satisfaisant aux propriétés suivantes[2] :

  1. Les , , sont les temps d'arrivée d'un processus de Poisson d'intensité 1 ; c'est-à-dire, pour tous , on a , où est une suite de variables aléatoires exponentielles de paramètre 1 indépendantes.
  2. Les , sont des variables aléatoires réelles, symétriques, indépendantes, identiquement distribuées et vérifiant .

Alors la série converge presque sûrement. De plus, elle est de loi symétrique -stable et son paramètre d'échelle vérifie .

Cas isotrope complexe[modifier | modifier le code]

Soit . On pose . Soit et deux processus mutuellement indépendants de variables aléatoires définis sur le même espace de probabilité satisfaisant aux propriétés suivantes[3] :

  1. Les , , sont les temps d'arrivée d'un processus de Poisson d'intensité 1.
  2. Les , , sont des variables aléatoires complexes, isotropes, indépendantes, identiquement distribuées et vérifiant , où désigne la partie réelle de .

Alors la série converge presque sûrement. De plus, elle est de loi isotrope -stable et son paramètre d'échelle vérifie .

Liens avec d'autres lois[modifier | modifier le code]

Elle a pour cas particuliers :

  • La loi de Lévy (paramètres α=1/2 et beta=1), définie par une formule analytique explicite.
  • La loi normale (paramètre α=2), définie par une formule analytique explicite.
  • La loi de Cauchy (paramètre α=1), définie par une formule analytique explicite.

Gnedenko et Kolmogorov ont établi une généralisation du théorème central limite selon laquelle la somme de variables aléatoires ayant des queues de loi décroissantes selon 1/|x|α+1 avec 0 < α < 2 (ayant donc une variance infinie) tend vers une loi stable de paramètre α[4].

Références[modifier | modifier le code]

  1. a et b (en) Samorodnitsky, G. and Taqqu, M. S., Stable Non-Gaussian Random Processes. Stochastic Models with Infinite Variance, New York, Chapman and Hall, London, , 632 p. (ISBN 0-412-05171-0)
  2. (en) Marcus, M. B. and Pisier, G., « Characterizations of almost surely continuous p-stable random Fourier series and strongly stationary processes », Acta Math.,‎ , p. 245-301
  3. (en) Kôno, N. and Maejima, M., « Hölder continuity of sample paths of some self-similar stable processes », Tokyo Journal of Mathematics,‎ , p. 93-100
  4. Gnedenko, Boris Vladimirov., Limit distributions for sums of independent random variables, Addison-Wesley Pub. Co, (OCLC 859841311, lire en ligne)