Champ libre gaussien

Modèle:Homon En théorie des probabilités et en mécanique statistique, le champ libre gaussien (CLG) est un modèle incontournable de surfaces aléatoires. Il est le point de départ de nombreuses constructions en théorie quantique des champs. Une propriété clé du CLG bidimensionnel est l'invariance conforme, qui le relie de plusieurs manières à l'évolution de Schramm-Loewner.

Définition du champ libre gaussien discret

Cette figure montre une réalisation du champ libre gaussien discret défini sur les sommets d'une grille carrée de 60 par 60, avec des conditions aux bords nulles. Les valeurs du champ sur les sommets sont interpolées linéairement pour donner une fonction continue.

Soit $G=(S,A)$ un graphe fini, simple et non-orienté avec pour ensemble de sommets $S=\{1,\dots ,n\}$ et pour ensemble d'arêtes $A$. Pour toute arête $\{i,j\}\in A$ nous est donné un nombre réel strictement positif ${\rho }_{\{i,j\}}$. Soit $\partial \subset S$ un sous-ensemble de sommets. Par définition, un champ libre gaussien sur $G$ avec bord $\partial$ est un vecteur aléatoire $(X_i{)}_{1\le i\le n}$ dans ${ℝ}^n$ dont la loi a une densité proportionnelle à $f(x_1,\dots ,x_n):=\exp (-\frac{1}{2}\sum _{\{i,j\}\in A}{\rho }_{\{i,j\}}(x_i-x_j{)}^2){\mathrm{𝟏}}_{\{\mathrm{\forall }i\in \partial ,x_i=0\}}$ par rapport à la mesure de Lebesgue.

Plus précisément, cela signifie que pour tous intervalles $[a_1,b_1],\dots ,[a_n,b_n]$ de $ℝ$ on a$\mathbb{P}(\mathrm{\forall }i,X_i\in [a_i,b_i])=\frac{1}{Z}\underset{a_1}{\overset{b_1}{\int }}\dots \underset{a_n}{\overset{b_n}{\int }}f(x_1,\dots ,x_n)d{x}_1\dots d{x}_n$ où $Z:=\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}f(x_1,\dots ,x_n)d{x}_1\dots d{x}_n$.

Remarques

• Si $(X_i{)}_{1\le i\le n}$ est un CLG sur $G$ avec bord $\partial$ alors pour tout $i\in \partial$, $X_i=0$ presque sûrement. Il faut voir l'ensemble $\partial$ comme le bord de l'ensemble $S$ et la condition de nullité au bord peut être vue comme une condition de type Dirichlet.
• Les quantités ${\rho }_{\{i,j\}}$ sont des nombres strictement positifs (éventuellement plus grand que 1) qui doivent être vus comme des poids sur les arêtes du graphe.
• L'existence d'un CLG n'est pas toujours assurée. Elle l'est si par exemple chaque composante connexe de $G$ contient un élément du bord $\partial$. La justification de son existence peut alors passer par des arguments probabilistes, et plus précisément par la fonction de Green d'une chaine de Markov sur $G$.
• Le fait que le champ libre gaussien soit un champ gaussien n'est pas évident avec la définition précédente, mais peut se voir à travers la construction par la fonction de Green.

Construction du CLG discret

On suppose ici que chaque composante connexe de $G$ contient un élément du bord $\partial$. Pour prouver l'existence du CLG sur $G$ avec bord $\partial$, on construit explicitement un champ aléatoire satisfaisant la propriété voulue. Pour tout $i,j\in S$ avec $\{i,j\}\in A$ on pose $p_{i,j}:=\frac{{\rho }_{\{i,j\}}}{q_i}$ où $q_i:=\sum _{k,\{i,k\}\in A}{\rho }_{\{i,k\}}$. Pour tout $i,j\in S$ avec $\{i,j\}\notin A$ et $i\ne j$ on pose $p_{i,j}=0$. On considère alors une chaine de Markov $(Y_k{)}_{k\ge 0}$ sur l'espace fini $S$ avec pour probabilités de transition $(p_{i,j}{)}_{i,j\in S}$. La fonction de Green associée à cette chaine de Markov est la fonction définie pour tout $i,j\in S$ par $Gr(i,j):=\frac{1}{q_i}{𝔼}_i\left[\sum _{k<\tau }{\mathrm{𝟏}}_{Y_k=j}\right]$ où $\tau$ est le premier instant où la chaine de Markov atteint le bord $\partial$ (cet instant existe et est fini presque sûrement grâce à l'hypothèse du début). On montre alors que $Gr$, vue comme une matrice réelle de taille $n\times n$, est symétrique positive. Il existe alors un vecteur gaussien $(X_i{)}_{1\le i\le n}$ centré et de matrice de variance-covariance $Gr$. On montre que ce vecteur est bien un CLG sur $G$ avec bord $\partial$.