Théorie mathématique de la percolation

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

Le modèle mathématique de la percolation a été introduit par John Hammersley en 1957. Il s'intéresse aux caractéristiques des milieux aléatoires, plus précisément aux ensembles de sommets connectés dans un graphe aléatoire.

Informellement, imaginons que l'on place de l'eau au sommet d'une pierre spongieuse. S'il y a assez de petits canaux, il est alors possible qu'il y ait un chemin du centre de la pierre vers l'extérieur. Ce modèle permet de répondre à ce genre de question.

Différents types de percolation
Différents types de percolation

Cette théorie s'applique à la science des matériaux, dans le domaine de la percolation.

Sommaire

[modifier] Description du modèle de base

Nous considérons le réseau d-dimensionnel Zd. Les arêtes sont les couples de points à distance euclidienne 1. Nous fixons ensuite un paramètre p compris entre 0 et 1. Chaque arête est alors ouverte avec probabilité p et fermée avec probabilité 1 − p, ceci indépendamment les unes des autres. La dénomination ouverte signifie que l'arête est gardée, alors que fermée signifie qu'elle est enlevée. On note Pp la mesure obtenue.


On s'intéresse à l'existence d'un chemin infini dans le graphe aléatoire ainsi obtenu. Une quantité essentielle est la probabilité de percolation : \theta(p)=P_p(O\rightarrow\infty)\,\!. Par des arguments de couplage, il est aisé de démontrer que θ est une fonction croissante de p.

Il existe un point critique pc tel que θ(p) est nulle si p < pc et strictement positive si p > pc. En dimension deux, Harry Kesten a démontré qu'on a pc = 1 / 2.

[modifier] Le régime sous-critique p < pc

Dans ce régime, il n'y a pas de chemin infini dans le graphe. Les composantes connexes (appelé aussi amas) finis sont généralement de petite taille. Plus précisément la probabilité que l'amas contenant le point x ait une taille qui dépasse n décroît exponentiellement vite avec n. En particulier, la taille moyenne d'un amas est finie.

[modifier] Le régime critique p = pc

Ce régime est encore mal connu (à l'exception notable de la dimension 2). On conjecture que θ(pc) = 0, c’est-à-dire qu'il n'y a pas de percolation au point critique, mais ceci n'est pour l'instant démontré qu'en dimension deux ou en grande dimension d > 18. En particulier, le cas de la dimension trois, dont la pertinence physique est évidente, demeure non prouvé.

[modifier] Le régime sur-critique p > pc

Dans la phase surcritique, il y a une unique composante infinie de points connectés. Cependant, les amas finis sont généralement de petite taille. L'amas infini rencontre tout l'espace; plus précisément la proportion de points d'une boîte de taille n qui appartiennent à l'amas infini tend vers θ(pc) > 0 lorsque n tend vers l'infini. On sait aussi que l'amas infini est très rugueux : la proportion des points d'une boîte de taille n qui sont à la frontière de l'amas infini parmi la totalité des points de l'amas infini qui sont dans cette boîte tend vers 1 − p lorsque n tend vers l'infini.

[modifier] Autres modèles

[modifier] Livres de références

  • Percolation de G.R. Grimmett chez Springer
  • Percolation Theory for Mathematicians de Harry Kesten chez Birkhaüser
  • Introduction to Percolation Theory, Taylor and Francis Ed. London, 1985
Autres langues