Loi uniforme continue

De testwiki
Version datée du 14 mars 2023 à 20:38 par 2a01:cb00:8be7:5800:dc1e:f156:bcad:6d6b (discussion) (Nombreuses petites améliorations de (aération de code-source)/homogénéité/formatage/ponctuation/formulation/spécification)
(diff) ← Version précédente | Version actuelle (diff) | Version suivante → (diff)
Aller à la navigation Aller à la recherche

Modèle:Infobox Distribution statistiques

En théorie des probabilités et en statistiques, les lois uniformes continues forment une famille de lois de probabilité à densité. Une telle loi est caractérisée par la propriété suivante : tous les intervalles de même longueur inclus dans le support de la loi ont la même probabilité. Cela se traduit par le fait que la densité de probabilité d'une loi uniforme continue est constante sur son support.

Elles constituent donc une généralisation de la notion d'équiprobabilité dans le cas continu pour des variables aléatoires à densité ; le cas discret étant couvert par les lois uniformes discrètes.

Une loi uniforme est paramétrée par la plus petite valeur a et la plus grande valeur b que la variable aléatoire correspondante peut prendre. La loi uniforme continue ainsi définie est souvent notée 𝒰(a,b).

Les densités associées aux lois uniformes continues sont des généralisations de la fonction rectangle en raison de leurs formes.

Caractérisation

Densité

La densité de probabilité de la loi 𝒰(a,b) est une fonction porte sur l'intervalle Modèle:Math :

f(x)={1bapour axb,0sinon.

Fonction de répartition

La fonction de répartition de la loi 𝒰(a,b) est :

F(x)={0pour x<a,xabapour ax<b,1pour xb.

Fonctions génératrices

Fonction génératrice des moments

La fonction génératrice des moments de la loi 𝒰(a,b) est :

MX=𝔼[etX]=etbetat(ba).

Elle permet de calculer tous les moments non centrés, Modèle:Math :

m1=a+b2,
m2=a2+ab+b23,
mk=1k+1i=0kaibki.

Ainsi, pour une variable aléatoire suivant la loi 𝒰(a,b), l'espérance est mModèle:Ind = (a + b)/2, et la variance est mModèle:Ind − mModèle:IndModèle:2 = (b − a)Modèle:2/12.

Fonction génératrice des cumulants

Pour n ≥ 2, le n-ième cumulant de la loi uniforme continue sur l'intervalle [0, 1] est bModèle:Ind/n, où bModèle:Ind est le n-ième nombre de Bernoulli.

Propriétés

Statistiques d'ordre

Soit Modèle:Formule un échantillon i.i.d. issu de la loi 𝒰(0,1). Soit Modèle:Formule la k-ième statistique d'ordre de l'échantillon. Alors la distribution de Modèle:Formule est une loi bêta de paramètres k et n − k + 1.

L'espérance est :

𝔼[X(k)]=kn+1.

Ce fait est utile lorsqu'on construit une droite de Henry.

La variance est :

𝕍[X(k)]=k(nk+1)(n+1)2(n+2).

Aspect uniforme

La probabilité qu'une variable uniforme tombe dans un intervalle donné est indépendante de la position de cet intervalle, mais dépend seulement de sa longueur (), à condition que cet intervalle soit inclus dans le support de la loi. Ainsi, si X suit la loi 𝒰(a,b) et si [x,x+] est un sous-intervalle de [a, b], avec >0 fixé, alors :

(X[x,x+])=xx+dyba=ba,

qui est indépendant de Modèle:Math. Ce fait motive la dénomination de cette loi.

Loi uniforme standard

Le cas particulier Modèle:Formule et Modèle:Formule donne naissance à la loi uniforme standard, notée 𝒰(0,1). Il faut noter le fait suivant : si Modèle:Formule est distribué selon une loi uniforme standard, alors c'est aussi le cas pour Modèle:Formule

Loi uniforme sur une partie borélienne

À toute partie A de d, borélienne, dont la mesure de Lebesgue λ(A) est finie et strictement positive, on associe une loi de probabilité, appelée loi uniforme sur A, de densité de probabilité ƒ définie, pour tout xd, par :

f(x) = 1λ(A) χA(x),

χModèle:Ind est la fonction indicatrice (ou caractéristique), notée aussi 𝟙Modèle:Ind, de l'ensemble A. La densité f est donc nulle à l'extérieur de A, mais égale à la constante Modèle:Frac sur A.

Cette page traite principalement du cas particulier où d = 1 et où A est un intervalle Modèle:Formule de .

Transport et invariance

Modèle:Théorème

Modèle:Exemple

Modèle:Théorème Modèle:Démonstration

Il peut sembler surprenant que les variables {V1+V2} et {V1+V2+V3}, par exemple, soient indépendantes, alors qu'elles dépendent toutes deux de manière cruciale des variables V1 et V2. C'est une conséquence particulière de la propriété d'invariance de la loi uniforme : par exemple, étant la mesure de Haar de , elle est idempotente pour la convolution.

Distributions associées

Le théorème suivant[1] stipule que toutes les distributions sont liées à la loi uniforme : Modèle:Théorème

Ainsi, pour obtenir des tirages (indépendants) selon la loi répartie par F, il suffit d'appliquer l'inverse de F à des tirages (indépendants) uniformes sur [0,1].

Voici quelques exemples d’application de ce théorème (U𝒰(0,1)):

  • Y=lnUλ suit la loi exponentielle de paramètre λ ;
  • Y = 1 – UModèle:Exp suit la loi bêta de paramètres 1 et n. Ceci implique que la loi uniforme standard est un cas particulier de la loi bêta, de paramètres 1 et 1.

On trouvera un tableau plus complet ici. Par ailleurs, l'art d'engendrer des variables aléatoires de lois arbitraires, par exemple à l'aide de variables uniformes, est développé dans Non-Uniform Random Variate Generation, de Luc Devroye, édité chez Springer, disponible sur le web[2].


Inférence statistique

Estimation de l'un des paramètres lorsque l'autre est connu

Cette section décrit l'estimation de la borne supérieure (b) de la distribution 𝒰(a,b), au vu d'un échantillon de n individus, la borne inférieure (a) étant connue.

Estimation du maximum

Estimateur sans biais de variance minimale

Modèle:Article principal Pour une loi uniforme sur [0,b] avec b inconnu, l'Modèle:Lien pour le maximum est donné par :

b^MV=k+1km=m+mk,

m est le maximum de l'échantillon et k la taille de l'échantillon, échantillonné sans remise (bien que cette précision n'a aucune incidence dans le cas uniforme).

On obtient cette valeur par un raisonnement similaire au cas discret. Ce problème peut être vu comme un cas simple d'Modèle:Lien. Il est connu sous le nom de Problème du char d'assaut allemand, par son application d'estimation maximale de la production des chars d'assaut allemands pendant la Seconde Guerre mondiale.

Estimateur par maximum de vraisemblance

L'estimateur par maximum de vraisemblance est :

b^ML=m,

m est la valeur maximum dans l'échantillon, qui est aussi la statistique d'ordre maximale de l'échantillon.

Estimateur par la méthode des moments

L'estimateur par la méthode des moments est :

b^MM=2X¯,

X¯ est la moyenne de l'échantillon.

Estimation du milieu

Le milieu a+b2 de l'intervalle de la loi uniforme 𝒰(a,b) est à la fois la moyenne et la médiane de cette loi. Bien que la moyenne et la médiane de l'échantillon sont des estimateurs sans biais du milieu, ils ne sont pas aussi efficaces que le milieu de gamme de l'échantillon, i.e. la moyenne arithmétique du maximum et du minimum de l'échantillon, qui est l'estimateur sans biais de variance minimale du milieu (et aussi l'estimateur par maximum de vraisemblance).

Intervalle de confiance

Pour le maximum

On considère X1, X2, ..., Xn un échantillon de 𝒰[0,L],L est la valeur maximum dans la population. Alors X(n) = max( X1, X2, ..., Xn ) a la densité de Lebesgue-Borel[3] f=dX(n)dλ:

f(t)=n1L(tL)n111[0;L](t)=ntn1Ln11[0;L](t),

11[0,L] est la fonction caractéristique (ou indicatrice) de [0,L].

L'intervalle de confiance est mathématiquement incorrect, car ([θ^,θ^+ε]θ)1α ne peut être résolu pour ε sans information sur θ. On peut cependant résoudre

([θ^,θ^(1+ε)]θ)1α pour ε(1α)1/n1 pour tout θ inconnu mais valide ;

on peut alors choisir le plus petit ε possible vérifiant la condition ci-dessus. On note que la longueur de l'intervalle [θ^,θ^(1+ε)] dépend de la variable aléatoire θ^.

Estimation simultanée des deux paramètres

Cette section décrit l'estimation des deux bornes (a;b) de la distribution uniforme continue 𝒰(a,b), au vu d'un échantillon de n individus.

Soient a^ et b^ les estimateurs respectifs des bornes inférieure (a) et supérieure (b) de la distribution mère, construits sur la base de l'échantillon contenant les n modalités de la variable aléatoire X issues de la distribution 𝒰(a,b).

La méthode du maximum de vraisemblance aboutit à la sélection des minimum et maximum empiriques :

{a^=min(xi)i=1,nb^=max(xi)i=1,n.

Modèle:Démonstration

Ce couple d'estimateurs est biaisé : la probabilité qu'un n-échantillon capture le minimum (a) ou le maximum (b) permis par la distribution mère étant quasi-nulle, la moyenne d'un grand nombre d'observations sur de tels n-échantillons ne converge pas vers les bornes de ladite distribution mère :

{𝔼(a^)a𝔼(b^)b.

La démonstration est produite plus bas.

Loi de distribution régissant ces estimateurs biaisés

Les densités de probabilité sont notées en minuscules (par ex. f), les fonctions de répartition sont notées en majuscules (par ex. F).

Densité de probabilité associée au couple d'estimateurs biaisés

d2(xa^x+dx;yb^y+dy)=n(n1)(ba)n(yx)n2fa^,b^(x,y)dxdy. Modèle:Démonstration

Lois marginales régissant les minimum et maximum empiriques

Concernant l'estimateur de la borne inférieure (a^) :

x[a,b]{d(xa^x+dx)=fa^(x)dx=nba(bxba)n1dx(a^x)=Fa^(x)=1(bxba)n.

Modèle:Démonstration

Par une démonstration similaire, on obtient pour l'estimateur de la borne supérieure (b^) :

x[a,b]{d(xb^x+dx)=fb^(x)dx=nba(xaba)n1dx(b^x)=Fb^(x)=(xaba)n.

Convergence de ces estimateurs

La définition de la convergence d'un estimateur est donnée dans le document référencé [4].

Concernant l'estimateur de la borne inférieure (a^n sur un n-échantillon) : (|a^na|>ε)=(a^n>a+ε) car aucune valeur inférieure à a ne peut être observée. Donc :

(|a^na|>ε)=(baεba)n=(1εba)nn+0.

Une démonstration similaire s'applique pour l'estimateur de la borne supérieure.

(a^;b^) forme donc un couple d'estimateurs convergents.

Biais de ces estimateurs

Lorsque l'on multiplie les échantillons (de taille n donnée), la moyenne des observations ne tend pas vers le couple de bornes (a,b) de la distribution mère :

{𝔼(a^)=a+ban+1𝔼(b^)=bban+1.

Ces deux estimateurs ne sont qu'asymptotiquement sans biais[4], i.e. lorsque la taille n de l'échantillon tend vers l'infini. Modèle:Démonstration

Recherche d'estimateurs sans biais

Le couple d'estimateurs (a^^;b^^) défini ci-dessous est sans biais[5] :

{a^^=a^b^a^n1=na^b^n1b^^=b^+b^a^n1=nb^a^n1.

Modèle:Démonstration

Le calcul de ces estimateurs (avec ou sans biais) ne nécessite pas la connaissance des paramètres (a;b) de la distribution mère.

Les lois de distribution qui régissent le couple d'estimateurs sans biais sont plus complexes à déterminer. Le document [5] donne les lois suivantes :

Densité de probabilité associée au couple d'estimateurs sans biais
d2(xa^^x+dx;yb^^y+dy)=n(n1)n(n+1)n1(ba)n(yx)n2fa^^,b^^(x,y)dxdy.
Lois marginales régissant chacun des deux estimateurs sans biais

Sachant que la variable a^^ admet comme support l'intervalle [nabn1;b] :

{xad(xa^^x+dx)=(n1)n1nn2(ba)n[(bx)n1nn1(ax)n1]dxxad(xa^^x+dx)=(n1)n1nn2(ba)n(bx)n1dx.

Sachant que la variable b^^ admet comme support l'intervalle [a;nban1] :

{ybd(yb^^y+dy)=(n1)n1nn2(ba)n(ya)n1dyybd(yb^^y+dy)=(n1)n1nn2(ba)n[(ya)n1nn1(yb)n1]dy.

Intervalle de pari

On considère ici :

  • une loi mère uniforme 𝒰(a,b) donnée et connue,
  • le couple d'estimateurs avec biais formé par le minimum (a^) et le maximum (b^) empiriques déterminés sur un n-échantillon.

Les estimateurs considérés sont ceux avec biais car :

  • leurs lois de distribution sont simples à manipuler ;
  • le document référencé [5] montre que construire des intervalles de pari à partir des estimateurs sans biais n'aboutit pas in fine à des intervalles plus réduits pour un niveau de confiance donné, et en explique la raison.

On cherche à connaître comment se répartissent les n-échantillons possibles formés à partir de la distribution mère 𝒰(a,b), en plaçant dans le plan 2 :

  • sur l'axe des abscisses, la borne inférieure (a) de la distribution mère et les minima empiriques des échantillons ;
  • sur l'axe des ordonnées, la borne supérieure (b) de la distribution mère et les maxima empiriques des échantillons.

On note :

{m=valeur dea^=min(xi)i=1,nM=valeur deb^=max(xi)i=1,n.
Zone du plan où l'on peut trouver des des échantillons issus de U (a,b)
Zone du plan où l'on peut trouver des échantillons issus de U (a,b)

La distribution mère 𝒰(a,b) et la construction des estimateurs imposent la hiérarchie suivante : amMb. Les échantillons issus de cette loi mère sont tous situés à l'intérieur du triangle rectangle formé par la droite x=a, la droite y=b et la première bissectrice (cf. figure ci-contre).

Un bon échantillon (i.e. un échantillon représentatif de sa population mère) se caractérise par :

  • un minimum empirique (m) proche de a
  • et un maximum empirique (M) proche de b.

Le risque de pari (α) associé à un échantillon (a^=m;b^=M) est défini par la probabilité de trouver un échantillon plus mauvais que lui, i.e. présentant :

  • un minimum empirique supérieur ou égal à m,
  • ou un maximum empirique inférieur ou égal à M.
Intervalle de pari sur le minimum empirique
Intervalle de pari sur le minimum empirique d'un échantillon issu de U (a,b)
Intervalle de pari sur le minimum empirique d'un échantillon issu de U (a,b)

L'expérimentateur choisit son risque de pari (α). Le risque de pari sur le minimum empirique est défini par l'équation suivante :

α=(a^mb^[a^;b])=(bmba)nm1α=b(ba)α1n

La surface de pari sur le minimum empirique au niveau de confiance (1α) rassemble les échantillons qui vérifient : a^[a;m1α] et b^[a^;b].

Intervalle de pari sur le maximum empirique
Intervalle de pari sur le maximum empirique d'un échantillon issu de U (a,b)
Intervalle de pari sur le maximum empirique d'un échantillon issu de U (a,b)

De façon similaire, le risque de pari sur le maximum empirique est défini par l'équation suivante :

α=(b^Ma^[a;b^])=(Maba)nM1α=a+(ba)α1n

La surface de pari sur le maximum empirique au niveau de confiance (1α) rassemble les échantillons qui vérifient : b^[M1α;b] et a^[a;b^].

Surface de pari sur les deux bornes

La surface de pari est celle qui capture la proportion (1α) des échantillons formés à partir d'une population mère 𝒰(a,b) donnée et connue.

Choix de la forme de la surface de pari, représenté dans les coordonnées réduites (φ;ψ)
Choix de la forme de la surface de pari, représenté dans les coordonnées réduites (φ;ψ)

Le problème dépend de la forme que l'on aura choisi de donner à cette surface, qui peut être un carré, un triangle, un quart de cercle, ... On choisit ici un triangle rectangle, de sommet P1(a;b) et dont l'hypoténuse est parallèle à la première bissectrice (cf. figure ci-contre). La raison est que la densité de probabilité associée au couple (a^;b^)est constante le long d'un lieu yx=Cte. Ceci permet de découper l'espace suivant une ligne iso-densité, minimisant ainsi la surface de pari pour capturer un effectif donné.

Les variables réduites classiques pour les distributions uniformes sont introduites afin de simplifier les calculs qui suivent :

{φ=mabaψ=Maba

Les relations de conversion du domaine réel en domaine réduit sont données par le tableau ci-dessous :

Échantillon {m ; M} à population {a ; b} donnée Représentation adimensionnée Population {a ; b} à échantillon {m ; M} donné
amMb 0φψ1 amMb
{m[a;M]M[m;b] {a];m]b[M;+[
m=a φ=0 a=m
mM=b φ=1 a
Mm=a ψ=0 b+
M=b ψ=1 b=M

Exprimée dans le plan des coordonnées réduites, la surface pari au niveau de confiance (1α) est constituée par l'intérieur du triangle rectangle de sommets :

P1(01)P2(δ1)P3(01δ)

La marge réduite (δ) est reliée au risque de pari (α) par l'équation suivante :

(1δ)n1[1+(n1)δ]=α

Marge réduite = f (effectif de l'échantillon, risque de pari)
Marge réduite = f (effectif de l'échantillon, risque de pari

Modèle:Démonstration

L'équation liant la marge réduite (δ1α) au risque de pari (α) peut être résolue par la méthode du point fixe : la suite (xn) définie ci-dessous converge rapidement vers la solution, même avec une initialisation forfaitaire :

Surface pari au niveau de confiance (1−α) tracée dans le plan des coordonnées de l'expérimentateur
Surface pari au niveau de confiance (1α) tracée dans le plan des coordonnées de l'expérimentateur

{x0=12xn+1=1(α1+(n1)xn)1n1

Le lieu des solutions est tracé ci-contre, en fonction de l'effectif de l'échantillon et du risque de pari α.

Replacée dans le plan des coordonnées correspondant au problème réel de l'expérimentateur, la surface pari au niveau de confiance (1α) est constituée par l'intérieur du triangle rectangle de sommets :

P1(ab)P2(a+δ1α(ba)b)P3(abδ1α(ba))

Surface de confiance

Le point de vue est inversé par rapport à la section précédente :

  • le n-échantillon est connu, et le couple des minimum et maximum empiriques obtenus est (m;M) ;
  • on veut connaître quelles populations mères 𝒰(a,b) auraient pu générer cet échantillon, au niveau de confiance (1α) choisi par l'expérimentateur.
Surface de confiance au niveau de confiance {\displaystyle \left(1-\alpha \right)} tracée dans le plan des coordonnées de l'expérimentateur
Surface de confiance au niveau de confiance (1α) tracée dans le plan des coordonnées de l'expérimentateur

Il s'agit donc de recenser les populations mères qui contiennent l'échantillon en question dans leurs surfaces de pari respectives au niveau de confiance (1α).

L'intégrale calculée lors de la démonstration qui établit la surface de pari en coordonnées réduites (φ;ψ) reste inchangée, quelles que soient les raisons qui font varier ces coordonnées réduites :

  • les variations du couple (m;M) à population mère 𝒰(a,b) fixée,
  • ou bien les variations des bornes (a;b) de la population mère à échantillon (m;M) fixé

La surface de confiance est obtenue par déréduction de la surface établie en coordonnées (φ;ψ) pour le niveau de confiance (1α), en cherchant (a;b) à échantillon (m;M) fixé. Cette surface de confiance est constituée par l'intérieur du triangle rectangle de sommets :

Q1(mM)Q2(mδ1αM1δ1αM)Q3(mMδ1αm1δ1α)

Applications

En statistiques, lorsqu'une valeur p (p-value) est utilisée dans une procédure de test statistique pour une hypothèse nulle simple, et que la distribution du test est continue, alors la valeur p est uniformément distribuée selon la loi uniforme sur [0, 1] si l'hypothèse nulle est vérifiée.

Obtenir des réalisations de la loi uniforme

Modèle:Article détaillé La plupart des langages de programmation fournissent un générateur de pseudo-nombres aléatoires, dont la distribution est effectivement la loi uniforme standard.

Si u est U(0, 1), alors v = a + (ba)u suit la loi U(a, b).

Obtenir des réalisations d'une loi continue quelconque

Modèle:Article détaillé

D'après le théorème cité plus haut, la loi uniforme permet en théorie d'obtenir des tirages de toute loi continue à densité. Il suffit pour cela d'inverser la Fonction de répartition de cette loi, et de l'appliquer à des tirages de la loi uniforme standard. Malheureusement, dans bien des cas pratiques, on ne dispose pas d'une expression analytique pour la fonction de répartition; on peut alors utiliser une inversion numérique (coûteuse en calculs) ou des méthodes concurrentes, comme la Méthode de rejet.

Le plus important exemple d'échec de la méthode de la transformée inverse est la Loi normale. Toutefois, la Méthode de Box-Muller fournit une méthode pratique pour transformer un échantillon uniforme en un échantillon normal, et ce de manière exacte[6].

Des mathématiciens comme Luc Devroye ou Richard P. Stanley ont popularisé l'utilisation de la loi uniforme sur [0, 1] pour l'étude des permutations aléatoires (tailles des cycles, nombres eulériens, analyse d'algorithmes de tri comme le tri rapide, par exemple).

Construction d'une permutation aléatoire uniforme à l'aide d'un échantillon de loi uniforme

Soit U=(U1,U2,,Un) une suite de variables aléatoires i.i.d. uniformes sur [0, 1], définies sur un espace probabilisé (Ω,𝒜,) (par exemple, définies sur Ω=[0,1]n muni de sa tribu des boréliens et de sa mesure de Lebesgue, par Uk(ω1,ω2,,ωn) = ωk, ou, de manière équivalente, par U(ω)=ω). Pour tout entier k compris entre 1 et n, posons

σ(k,ω) = Card{i telsque 1in, ettelsque Ui(ω)Uk(ω)}.

Ainsi, σ(k,ω) s'interprète comme le rang de Uk(ω) dans l'échantillon, une fois celui-ci rangé dans l'ordre croissant. Modèle:Théorème Modèle:Démonstration La proposition ci-dessus reste vérifiée si la distribution de probabilité commune aux variables Ui possède une densité, quelle qu'elle soit, et non pas seulement pour la densité uniforme. On peut même se contenter de variables i.i.d. dont la loi est diffuse (sans atomes) modulo une modification mineure de la démonstration. Cependant la loi uniforme est particulièrement commode pour diverses applications.

Nombres de descentes d'une permutation aléatoire, et nombres eulériens

Soit Xn(ω) le nombre de descentes d'une permutation σ(ω) tirée au hasard uniformément dans 𝔖n. Bien sûr,

(Xn=k)=nombredecasfavorablesnombredecaspossibles=A(n,k)n!,

A(n,k) désigne le nombre de permutations de 𝔖n possédant exactement k descentes. A(n,k) est appelé nombre eulérien. Posons

Sn=U1+U2++Un.

On a alors[7] Modèle:Théorème Modèle:Démonstration Il en découle immédiatement un théorème central limite pour Xn, via le théorème de Slutsky.

Notes et références

Modèle:Références

Articles connexes

Modèle:Palette Modèle:Portail

su:Sebaran seragam#Kasus kontinyu

  1. Voir l'article détaillé ici.
  2. La version pdf (libre et autorisée) de Modèle:Ouvrage est disponible, ainsi qu'un récit humoristique des démêlés de Luc Devroye avec son éditeur.
  3. Modèle:Article
  4. 4,0 et 4,1 Modèle:Lien web
  5. 5,0 5,1 et 5,2 Modèle:Lien web
  6. Plus exactement, la méthode nécessite deux tirages indépendants U(0, 1) pour fournir deux tirages normaux indépendants.
  7. voir Modèle:Article ou bien Modèle:Article.