ETATS D'EQUILIBRE DES SYSTEMES INFINIS
17
4.2.
L'ensemble
K^
des états d'équilibre est convexe compact, c'est un Sim-
plexe de Choquet.
Un état d'équilibre peut donc être représenté de manière unique comme résul-
tante d'états d'équilibre extrémaux.
Soit
6L
=
&(X)
la
C*-algèbre
des fonctions complexes continues
sur SC
=
<£(Z").
Pour A fini C Z" on définit
6LA
comme la sous-algèbre des fonctions X
->
A(X)
qui ne dépendent que de X
C\
A
(0CA
est isomorphe à
ß($(A)).
On a alors la
caractérisation suivante :
4.3.
Un état d'équilibre a est
extremal
si et seulement si la condition (de
Cluster) suivante est satisfaite.
(C) Pour tout
Aea
il existe A fini C Z" tel que
(BG6CA
et A H A = 0)
=> \\a(AB)
- o(A)
a(B)\\
< \\B \\
4.4.
Remarque. La construction de
Gel'fand-Naïmark-Segal
donne une repré-
sentation
ir
de
OL
dans les opérateurs bornés sur
L2(o).
Soit
<ß =
nA
[UA:AnA=qtir(aA)]-
où ~ désigne la fermeture faible. La décomposition d'un état d'équilibre en
états d'équilibre extrémaux correspond à la diagonalisation de
Valgèbre
à
l'infini
fô. L'état a est
extremal
si et seulement si
(B
est triviale.
5. Unicité ou non-unicité des états d'équilibre.
On peut dans certains cas démontrer l'unicité de l'état d'équilibre (on y arrive
en transformant les équations d'équilibre (*) en une équation intégrale linéaire
non homogène à noyau borné dans un espace de Banach adéquat). Dans d'autres
cas on sait qu'il y a plusieurs états d'équilibre distincts (voir [2]).
6. Rôle de l'invariance par translation.
Nous n'avons jusqu'ici fait aucun usage de la structure additive de Z". On
pourrait donc reformuler ce qui précède (et ce serait plus naturel) en remplaçant
Zv
par un ensemble dénombrable "abstrait" N. Nous allons maintenant considérer
des interactions invariantes par translations, c'est-à-dire satisfaisant
(13) &(X
+ x) =
&(X)
si X est fini C
Z11
et x
e
Z"
Ces interactions forment un espace de Banach fà pour la norme
II*II=
S
I*(JOI
X30
L'introduction de l'invariance par translation conduit à des développements com-
plètement nouveaux de la théorie, permettant en particulier de caractériser les
états d'équilibre invariants par un principe variationnel.
7. Entropie.
Les translations de Z" définissent des homéomorphismes
TX
: X
->
X
4-
x de
X.
Soit I l'ensemble des états invariants par ces homéomorphismes. L'ensemble