Processus de Poisson

De testwiki
Aller à la navigation Aller à la recherche

Modèle:Voir homonymes

Schéma expliquant le processus de Poisson

Un processus de Poisson, nommé d'après le mathématicien français Siméon Denis Poisson et la loi du même nom, est un processus de comptage classique dont l'équivalent discret est la somme d'un processus de Bernoulli. C'est le plus simple et le plus utilisé des processus modélisant une file d'attente. C'est un processus de Markov, et même le plus simple des processus de naissance et de mort (ici un processus de naissance pur). Les moments de sauts d'un processus de Poisson forment un processus ponctuel qui est déterminantal pour la mesure de Lebesgue avec un noyau constant K(x,y)=λ𝟏{x=y}.

Première caractérisation

Le processus de Poisson d'intensité Modèle:Math (réel strictement positif) est un processus de comptage d'occurrences qui vérifie les conditions suivantes :

  1. Les nombres d'occurrences dans des intervalles de temps disjoints sont indépendants.
  2. La probabilité d'une occurrence dans un petit intervalle de temps est proportionnelle à la longueur de cet intervalle, le coefficient de proportionnalité étant λ.
  3. La probabilité qu'il y ait plus d'une occurrence dans un petit intervalle de temps est négligeable.

Ces deux dernières conditions forment la propriété dite des « événements rares ».

Mathématiquement, ces propriétés se traduisent, si l'on note (Nt)t+ le processus de Poisson et la probabilité, par :

  1. t0=0t1<<tk, les variables aléatoires (NtkNtk1),,(Nt1Nt0) sont indépendantes ;
  2. (Nt+hNt=1)=λh+o(h) lorsque Modèle:Math (Modèle:Mvar étant fixé)[1] ;
  3. (Nt+hNt>1)=o(h) lorsque Modèle:Math (Modèle:Mvar étant fixé).

On déduit des deux dernières égalités que (Nt+hNt=0)=1λh+o(h).

Conséquences fondamentales

On démontre alors, par des résolutions d'équations différentielles d'ordre 1 et par récurrence, que pour un temps t donné (strictement positif), le nombre Modèle:Mvar d'occurrences dans un intervalle de longueur t suit une loi de Poisson d'intensité Modèle:Math, c'est-à-dire que

(Nt=k)=eλt(λt)kk! quel que soit l'entier naturel k

Et on démontre enfin que les temps s'écoulant entre deux incrémentations du processus de comptage (rappelons que la probabilité que le processus de comptage augmente d'un coup de deux unités ou plus est nulle d'après la définition) sont des variables aléatoires indépendantes et de même loi exponentielle de paramètre Modèle:Math, c'est-à-dire que :

si Tn=inf{t0,Ntn}, alors les variables aléatoires Sk=TkTk1(k*) sont indépendantes et (Skt)=1eλt, quel que soit t réel positif ou nul.

Il en résulte que pour tout entier naturel non nul n, la variable aléatoire Modèle:Math suit la loi gamma Γ(n,1λ), dite aussi loi d'Erlang.

Deuxième caractérisation

Cette construction est la même que la précédente, mais « à l'envers ».

Considérons des événements se produisant à des instants aléatoires dont les temps de séparation sont des variables aléatoires exponentielles indépendantes de même paramètre λ. Alors la variable qui compte le nombre d'événements qui se sont produits au fur et à mesure que le temps s'écoule est un processus de Poisson d'intensité Modèle:Math. Mathématiquement, cela s'écrit :

Si (Sn)n est une suite de variables aléatoires indépendantes suivant la loi exponentielle de paramètre Modèle:Math, et si l'on pose Modèle:Math puis Modèle:Math, alors, pour tout Modèle:Mvar, Modèle:Mvar suit la loi Γ(n,1λ), et si l'on pose pour t0 Nt=sup{n;Tnt}, alors (Nt)t0 est un processus de Poisson, au sens où (Nt)t0 est un processus à accroissements indépendants stationnaires et qui vérifie (Nt=k)=eλt(λt)kk! pour tout entier naturel k.

On note que dans cette construction, la « propriété des événements rares », pourtant consubstantielle au processus de Poisson, n'apparaît pas explicitement, car elle est « cachée » dans le fait que l'on ait imposé aux temps de séparation entre instants aléatoires d'occurrence de suivre des lois exponentielles.

Notes et références

Modèle:Références

Modèle:Palette Modèle:Portail

  1. Dans ce contexte, on désigne par o(h) (notation de Landau) toute fonction Modèle:Mvar définie au voisinage de 0 et telle que Modèle:Math quand Modèle:Math.