Utilisateur:HPierre/Brouillon

En probabilité et statistique, un processus ponctuel est un type particulier de processus stochastique pour lequel une réalisation est en ensemble de points isolés du temps et/ou de l'espace. Par exemple la position des arbres dans une forêt est la réalisation d'un processus ponctuel.

Les processus ponctuels sont des objets très étudiés en probabilité et en statistique pour représenter et analyser des données spatialisées qui interviennent dans une multitude de domaines telle que l'écologie, l'astronomie, l'épidémiologie, la géographie, la sismologie, télécommunication, la science des matériaux, et pleins d'autres.

Le cas particulier des processus ponctuel sur la droite réelle est un cas très étudié, la connaissance de la distance entre deux points consécutifs caractérisant le processus. Ce type de processus ponctuel est très utilisé pour modéliser des événements aléatoires dans le temps, tel que l'arrivée d'un client (théorie des fils d'attentes), l'impulsion d'un neuronne...

Théorie des processus ponctuels

modifier

En mathématiques, un processus ponctuel est un élément aléatoire dont les valeurs sont des pattern de points, c'est-à-dire des "collections" de point sur un ensemble  .

Il est possible de généraliser en définissant un pattern de point comme étant une mesure de comptage localement finie.

Définition

modifier

Soit   un espace métrique localement compact équipé de sa tribu borélienne  . Nous noterons   l'ensemble des pattern de points de  , c'est-à-dire l'ensemble des sous-ensembles localement fini de  . Un élément de   sera appelé "configuration" et sera noté  .

Nous munissons   de la tribu   engendrée par les applications de comptage   :  , où B est un compact de   et où   désigne le cardinale de l'ensemble fini considéré.

Un processus ponctuel est alors une application mesurable   d'un espace de probabilité vers l'espace mesuré  .

L'exemple le plus commun d'espace   est l'espace euclidien   ou un de ses sous-espaces. Mais les processus ponctuels ne sont pas limités à ces exemples.

Mesure intensité

modifier

La mesure intensité du processus   est une mesure sur   qui mesure le nombre moyen de points du processus qui tombe dans un borélien de  , et s'écrit pour  ,  .

Fonctionnelle de Laplace

modifier

La fonctionnelle de Laplace d'un processus ponctuel  , noté  , est une fonctionnelle de l'ensemble de toutes les fonctions   positives de   dans   et est définie comme suit:

 

Cette fonctionnelle joue un rôle similaire à la fonction caractéristique d'une variable aléatoire. En effet la fonctionnelle de Laplace caractérise la loi d'un processus ponctuel, c'est-à-dire que deux processus ponctuels qui ont des fonctionnelles de Laplace égales ont la même loi.

Théorème de Rényi : Caractérisation par les probabilités de vide

modifier

Compte tenu de la structure de la tribu sur  , la loi d'un processus ponctuel   est entièrement déterminée par les probabilités    parcours l'ensemble des entiers naturels   et   l'ensemble des boréliens bornés de  . Mais le théorème de Rényi nous donne une caractérisation beaucoup plus simple.

Théorème de Rényi —  Si l'espace   est séparable couplet, alors la loi d'un processus ponctuel est entièrement déterminée par les probabilités de vide (void prabilities en anglais), c'est-à-dire par la famille  , où   parcours l'ensemble des boréliens bornés.

Processus ponctuel de Poisson

modifier

Le processus ponctuel de Poisson est le plus simple et le plus universel des processus ponctuels. C'est une généralisation spatiale du processus de Poisson utilisé en théorie des fils d'attentes.

Définition d'un processus ponctuel de Poisson —  Soit   une mesure non-atomique sur  . Un processus ponctuel   est un processus ponctuel de Poisson de mesure d'intensité   si, pour toutes familles   de boréliens bornés disjoints et pour tous entiers naturels  ,

 

Propriétés des processus ponctuels de Poisson

modifier

Cette section regroupe les propriétés fondamentales des processus ponctuels de Poisson. Ces résultats sont souvent la conséquence du théorème de Rényi.

Proposition (Superposition de deux processus ponctuels de Poisson) —  Soient   et   deux processus ponctuels de Poisson de mesures d'intensité   et  . Alors la superposition   des deux processus est un processus ponctuel de Poisson de mesure d'intensité  .

Proposition (Amincissement (thinning) d'un processus ponctuel de Poisson) —  Soient   un processus ponctuel de Poisson de mesure d'intensité   et   une fonction mesurable. Nous construisons le processus   en décidant pour chaque point   du processus  , et de manière indépendante, de la garder avec probabilité   et de l'effacer avec probabilité  .

Alors le processus   est un processus ponctuel de Poisson de mesure d'intensité  .

Proposition (Loi du processus conditionné par le nombre de points) —  Soit   un processus ponctuel de Poisson d'intensité   et soit   un borélien borné de  . Alors conditionnellement à l'événement  , les   points du processus sont des réalisations indépendantes et identiquement distribuées de loi  .

Simulation d'un processus ponctuel de Poisson

modifier
 
 , fenêtre  
 
 , fenêtre  

La dernière proposition fournit une méthode simple et très efficace pour simuler des processus ponctuels de Poisson.

Voici comment simuler un processus ponctuel de Poisson d'intensité   dans un compact   :

  • Déterminer le nombre de points. Pour ce faire on simule une loi de Poisson   de moyenne  .
  • Ensuite il faut déterminer la position des   points. Pour celà on simule   variables aléatoires i.i.d. de loi   restreinte sur  .

L'objet simulé est une réalisation du processus ponctuel de Poisson sur la fenêtre   de mesure d'intensité  .

Formule de Slivnyak-Mecke

modifier

La formule de Slivnyak-Mecke, aussi connu sous le nom de formule de Campbell, est une formule très utilisé en géometrie stochastique et en physique statistique.

Théorème —  Soit   une fonction mesurable et   un processus ponctuel de Poisson d'intensité  . Alors nous avons

 

Le terme de droite est dans de nombreux cas calculable et permet de calculer en moyenne, grâce à la formule de Slivnyak-Mecke, la somme des contributions de chaque point du processus.