Agrégation limitée par diffusion

Le modèle d'agrégation limitée par diffusion (en anglais Diffusion Limited Aggregation et abrégé en DLA) est un modèle mathématique de croissance aléatoire introduit en 1981 par Witten et Sander.

Ce modèle propose la création d'un système de particules (cluster), par agrégations successives. En particulier, dans le modèle d'agrégation externe, chaque particule effectue successivement une marche aléatoire depuis l'infini jusqu'à rencontrer le système, sur lequel elle vient s'agréger au niveau de la position d'impact.

Modélisation mathématique

Modèle discret

On considère le réseau discret ${\mathbb{Z}}^d$ où $d⩾2$. Le modèle DLA construit une suite $(A_n{)}_{n\in \mathbb{N}}$ de sous-ensembles finis de ${\mathbb{Z}}^d$ de la manière suivante. On se donne initialement un système $A_0\subset {\mathbb{Z}}^d$.

On construit ensuite par récurrence, les systèmes suivants. Soit $n\in {\mathbb{N}}^{*}$, on suppose avoir construit les systèmes $A_0,\dots ,A_n$. La distribution de la position d'impact de la particule sur le bord de l'ensemble $A_n$ est définie par la mesure harmonique ${\mu }_{\partial A_n}$ sur $\partial A_n$, où $\partial A_n$ désigne le bord extérieur de l'ensemble $A_n$ à savoir $\{x\in {\mathbb{Z}}^d,\mathrm{d}(x,A_n)=1\}$. On tire un point $Y_n$ sur le bord extérieur de $A_n$ suivant ${\mu }_{\partial A_n}$. On pose alors,

$A_{n+1}=A_n\cup \{Y_n\}$.

La mesure harmonique, ici considérée, se construit de la manière suivante. Pour une marche aléatoire simple symétrique, $(X_n{)}_{n\in \mathbb{N}}$, on se donne un ensemble $E\subset {\mathbb{Z}}^d$ et un point $x\in {\mathbb{Z}}^d$. La mesure harmonique $H_E(x,\cdot )$ sur $E$ partant de $x$ est définie par

$H_E(x,y)={\mathbb{P}}_x(X_{\tau (E)}=y|\tau (E)<+\mathrm{\infty })$,

où $\tau (E)$ désigne le temps d'atteinte de $E$ par la marche aléatoire $(X_n{)}_{n\in \mathbb{N}}$ à savoir $\inf \{t\in \mathbb{N},X_t\in E\}$, et ${\mathbb{P}}_x$ la probabilité gouvernant la marche aléatoire commençant à $x$. En particulier, si l'ensemble $E$ est fini, la quantité $H_E(x,y)$ possède une limite ${\mu }_E(y)$ quand $|x|\to +\mathrm{\infty }$. La fonction ${\mu }_E$ ainsi définie est en fait une mesure de probabilité sur l'ensemble $E$ et correspond à la distribution du point d'impact sur $E$ d'une marche aléatoire commençant « à l'infini ».

L'un des seuls résultats mathématiques concernant ce modèle est dû à Harry Kesten, qui démontre une borne supérieure asymptotique de la taille d'un système.

Références

• Modèle:Article