Analyse du modle de diusion thermique hors quilibre de Kipnis, Marchioro et Presutti : tentatives de rsolution exacte et comparaisons avec le SSEP

Idalement, l'tude des processus hors d'quilibre passe par la connaissance exacte de la densit de probabilit des tats du systme (en rgime permanent). Le modle de conduction thermique propos par Kipnis, Marchioro et Presutti (KMP) est susamment simple pour permettre d'esprer une rsolution exacte loin de l'quilibre. Le processus d'exclusion simple (SEP) connait une rsolution exacte par la mthode dite des matrices, et possde de nombreux points communs avec KMP. Aprs avoir tudi quelques proprits de KMP (prol moyen, corrlations deux points), on tente d'adapter la mthode des matrices KMP. Le dveloppement perturbatif autour de l'quilibre permet de conclure sur la validit de la mthode pour KMP. On poursuit en esquissant les dveloppements perturbatifs d'ordre trois et plus, en essayant de faire apparatre une certaine rgularit des quations tous les ordres. Mots-clefs : KMP, SSEP, SEP, processus d'exclusion symtrique, conduction thermique, hors quilibre, fonction de corrlation, thermostat, uctuations, dveloppement perturbatif, calcul exact, solution exacte, analytique, mthode des matrices, commutation, oprateur direntiel, ansatz, limite thermodynamique, grandes dviations.

Rsum

The best way to study out-of-equilibrium processes is to know their probability distribution (over the states of the system, in stationary regime). These are called Stationary Non equilibrium States (SNS). The heat conduction model designed by Kipnis, Marchioro and Presutti (KMP) is simple enough to let one hope to nd a far from equilibrium exact solution. The Simple Exclusion Process (SEP) already has an exact solution via the so-called matrices method. SEP has numerous common points with KMP. After having calculated a few properties of KMP (average energy prole, two-points correlation function), we try to adapt the matrices method to KMP. The perturbative expansion in the neighbourhood of the equilibrium lets us conclude about the validity of the method on the KMP model. We go on with a draft of the perturbative expansion of order three and higher, trying to show some regularity between the equations at all orders. Key words : KMP, SSEP, SEP, Symetrical exclusion process, heat conduction, out of equilibrium, non equilibrium state, SNS, stationary, correlation function, temperature bath, thermostat, uctuation, perturbative expansion, exact computation, analytical, matrices method, commutation, dierential operator, ansatz, termodynamic limit, large deviation function
1

Rsum

Universit Paris Diderot Laboratoire Matire et Systmes Complexes Projet de Fin d'tudes Analyse du modle de diusion thermique hors quilibre de Kipnis, Marchioro et Presutti : tentatives de rsolution exacte et comparaisons avec le SSEP.
Franois Landes

sous la direction de son matre de stage

Frdric van Wijland Jrme Perez

et de son tuteur universitaire

17 septembre 2010

Idalement, l'tude des processus hors d'quilibre passe par la connaissance exacte de la densit de probabilit des tats du systme (en rgime permanent). Le modle de conduction thermique propos par Kipnis, Marchioro et Presutti (KMP) est susamment simple pour permettre d'esprer une rsolution exacte loin de l'quilibre. Le processus d'exclusion simple (SEP) connait une rsolution exacte par la mthode dite des matrices, et possde de nombreux points communs avec KMP. Aprs avoir tudi quelques proprits de KMP (prol moyen, corrlations deux points), on tente d'adapter la mthode des matrices KMP. Le dveloppement perturbatif autour de l'quilibre permet de conclure sur la validit de la mthode pour KMP. On poursuit en esquissant les dveloppements perturbatifs d'ordre trois et plus, en essayant de faire apparatre une certaine rgularit des quations tous les ordres.

Rsum

Introduction
L'tude de systmes de faon "exacte" a ceci de contradictoire qu'elle a pour objectif de trouver des solutions analytiques des problmes qui sont des approximations, ou plutt disons des simplications, parfois assez franches de systmes rels. Des dtails physiques doivent tre sacris pour permettre de conduire des calculs rigoureux. Tout l'art est de choisir de supprimer l'inutile, ou plutt de conserver l'essentiel, car le modle rsultant est en gnral trs simple. La physique statistique des systmes hors de l'quilibre est un problme encore ouvert. Il existe quelques thormes gnraux, mais rien de comparable la matrise qu'on a l'quilibre. Depuis quelques annes, les modles de particules sur rseau sont l'objet de recherches intenses [1]. Ils permettent d'tudier des dynamiques loin de l'quilibre (ventuellement de faon exacte). Le modle SEP (Simple Exclusion Process) connait une solution exacte depuis 1993 [2]. C'est--dire qu'on sait calculer de faon exacte la distribution de probabilit dans les tats du systme en rgime
francois.landes@ensta.org frederic.van-wijland@univ-paris-diderot.fr jerome.perez@ensta-paristech.fr

permanent, hors de l'quilibre. Cette connaissance quivaut pouvoir calculer la fonction de corrlation K points pour tout K , ou encore pouvoir discuter de la dynamique de retour au prol moyen du systme lorsqu'une action extrieure l'en a loign. tant le seul modle soluble analytiquement, le modle SEP est trs employ pour discuter des proprits gnrales des systmes hors de l'quilibre. Connaitre la solution d'un autre modle de systme hors quilibre serait donc trs protable. L'objectif de mon stage est d'adapter une mthode de rsolution exacte du modle SSEP (simple symetrical exclusion process) au modle de conduction thermique KMP (Kipnis, Marchioro et Presutti) [3]. L'tude de systmes hors quilibre, mme en rgime permanent 1 relve d'un tout autre problme que celui de la thermodynamique. En eet, on doit plutt rsoudre un problme dynamique (microscopique) qu'utiliser des fonctions de partition ou tout autre outil valable seulement l'quilibre 2 . On peut utiliser la thorie des champs pour traiter ce genre de problme ([4], [5], et [6] avec les cumulants), mais cet aspect du problme n'a nalement pas t abord dans le prsent travail. La premire section prsente les deux modles tels qu'on va les tudier. La suivante reproduit des rsultats assez simples et pour la plupart dj bien connus. Les sections 3 et 4 rsument les deux rsultats principaux de mon mmoire. La section qui suit (5) explique et reprend fond les calculs qui ont permis d'aboutir au rsultat essentiel. Dans les deux dernires sections je dveloppe les calculs prcdents, toujours dans l'espoir de trouver une solution KMP.

1 Prrequis
Nous allons commencer par quelques notions sur les quations de Langevin et Fokker-Planck.
1.1 Phnomne physique dcrit, gnralits

Soit un ensemble de grosses particules (collodes, dans un uide), soumises une force extrieure (conservative), aux frottements visqueux dus au uide, et des collisions avec les particules du uide (en moyenne, nulles).

1 dx d2 x = Fext + Fcoll 2 dt dt

(1)

Le terme d'acclration varie trop vite par rapport aux autres, l'chelle de temps des autres termes il est nul (car de moyenne nulle). Ce qui donne l'quation de Langevin 3 :

dx = Fext + Fcoll dt
* On discrtise :

(2)

tm = mt , x = xm+1 xm
Le terme Fcoll (t) devient Fcoll,m . C'est un terme de type bruit blanc gaussien d'cart-type (en temps continu). est la largeur du bruit d aux collisions, on verra plus tard qu' l'quilibre, on peut trouver sa valeur en fonction des autres donnes physiques. La distribution de Fcoll,m suit la loi :
M 1

P(Fcoll,m = xm , m) =
m=0

e 22 2 2

x2 m

(3)

1. Ce n'est pas une approximation trs gnante : de mme qu'on fait l'approximation d'une succession d'tats d'quilibre pour une volution susamment lente dans les petites classes, on peut, plus forte raison, faire l'approximation d'tats stationnaires. De plus, prcisons que cet tat stationnaire n'est pas indpendant du temps (dans ses ralisations), seulement sa moyenne probabiliste l'est. 2. Rappel : une dnition de l'quilibre est que tous les courants s'annulent lorsque l'quilibre est atteint. 3. Dans la suite, on crira en gnral des quations 1D, sachant que c'est ce qui nous intresse et que l'criture des quations (de dpart) se gnralise sans dicult. Pour la rsolution, c'est dirent !

On discrtise en se rappelant que

=
m

dm() =

dt t
2

(4) (5)

Fcoll,m , Fcoll,m = m,m 2 Fcoll (t), Fcoll (t ) = 2 (t t ) = m,m t

(6)

xm , tm xs, on calcule les moments de x. On moyenne donc seulement sur les ralisations du bruit, pas sur les x ou t. On trouve

x t (x)2 t

= F (xm )
|xm ,tm

(7) (8)

= 2
|xm ,tm

Tous les moments d'ordre suprieur sont nuls l'ordre 0 en t. La distribution est entirement caractrise par ses deux premiers moments. 4 On suppose qu'on peut crire Langevin sous une nouvelle forme (dite quation de Fokker-Planck). Le fait que la forme de l'quation se limite ces deux termes est justi a posteriori.

1 2 t P (x, t) = x (a1 (x, t)P (x, t)) + x (a2 (x, t)P (x, t)) 2

(9)

On trouve a1,2 en calculant les moments associs la distribution P (x, t) qui vrie Fokker-Planck, qu'on identie aux moments calculs prcdemment.

(x(t + t) x(t))n

|x(t)=x

= (x x)n = = (x x)n P (x , t + t)dx (x x)n (P (x , t) + t.t P (x , t))dx

or P (x , t)|x(t)=x = (x x ) , donc la contribution de P (x , t)(x x )n est nulle. On remplace t P (x , t) en utilisant Fokker-Planck :

(x(t + t) x(t))n

|x(t)=x

= =

1 2 (x x)n x (a1 (x , t)P (x , t)) + x (a2 (x , t)P (x , t)) tdx 2 1 2 (u)n u (a1 P ) + u (a2 P ) tdu avec u x x (10) 2

Pour chaque valeur de n, on fait n IPP. n = 1 :

(x(t + t) x(t))n=1

|x(t)=x

2 2 a1 P + u (u)(a2 P ) tdu 2 P (u).du

(11)

C x = t.a1 a1 =
Pour n = 2 :

x t

(x(t + t) x(t))2

|x(t)

= t.a1

du.u.P (u) + t.a2 du.P (u)

du.P (u)

(x)2 = t.a2 a2 =

(x)2 t 4. Remarque : une loi gaussienne est toujours dtermine par ses deux degrs de libert.
4

(12)

En eet le premier terme s'annule par symtrie, ou bien en utilisant que

u

a1

du.u.P (u) = a1 = a1 = a1 =0

du.u (u)
u

du .P (u )

du

du P (u )

du.u.P (u)

Finalement

x = F t ( x )2 a2 = = 2 t a1 =

(13) (14)

Si on crivait d'autres termes avec des drives de a3 P, a4 P, ... on verrait que ces termes sont nuls : (x)n3 t. Ceci est la conrmation que la forme de l'quation est bonne.

1 t P (x, t) = x Fext P (x, t) + x ( 2 P (x, t)) 2 1 = J avec J = Fext P + 2 ( P ) 2

(15)

Ce courant (il faut prouver que c'en est un, c'est--dire qu'il est conserv) s'interprte trs bien. Le premier terme est un terme dterministe de dplacement d'ensemble (localement au moins), et le second est un terme de type Fick, du genre dissipation d'entropie. On tudie la solution dans le cas de l'quilibre (i.e. t 0 tous les ux macroscopiques sont nuls 5 ). Comme on sait ce qu'on veut retrouver, a permet de valider la cohrence du modle dans la limite de l'quilibre.

1 2 0 = x (Fext P (x, t)) + x ( 2 P (x, t)) 2 P 2Fext = P 2 V P = P P e

V 2V

(16)

avec Fext V (17)

b Or on sait qu' l'quilibre, on veut du P e kB T . Ce qui permet de dire que eq = 2k T . On estimera eq dans la suite que = , ce qui permet de prciser l'quation de Langevin, puisqu'on connait maintenant la largeur du bruit. On utilise donc un bruit blanc gaussien normalis 6 .

dx = Fext + (t) dt dx = Fext + 2T (t) dt

(18)

dans le systme d'unit o kB = 1. Pour une discussion plus approfondie sur ces questions, consulter par exemple [7]. On va maintenant exposer les deux modles qui nous concernent plus directement. savoir KMP et le SSEP.
5. Et nuls identiquement, pas seulement en moyenne ! noter que le rgime permanent se caractrise par t 0 6. Les sont aussi dpendants du point, c'est--dire qu'en dirents points ce sont des variables indpendantes identiquement distribues (iid). Cela vaut aussi pour la dpendance en t. On n'crit pas (x, t) car on se placera en gnral en x x.

1.2

KMP

1.2.1 Description physique du systme

Le modle KMP [3] dcrit, de manire simplie, la diusion thermique dans un solide (ou au moins dans de la matire condense). Le systme se compose d'une chane de L oscillateurs harmoniques, perturbs par des bruits gaussiens dont l'amplitude dpend de la position (ou longation, si l'on voit les oscillateurs comme de petits ressorts) de chaque oscillateur voisin. On note xi l'longation au site i. Cela modlise les vibrations des atomes dans un rseau cristallin par exemple. Aux deux extrmits de la chane de sites se trouvent des rservoirs de temprature (ou thermostats parfaits), de tempratures Ta ( gauche du site 1) et Tb ( droite du site L). Ces tempratures permettent de xer les conditions x2 aux bords. En eet, si on note i = 2i l'nergie au site i, on peut voir les thermostats comme des sites dont l'longation ou plutt l'nergie serait absolument xe, malgr les changes avec les voisins : x0 = xa = 2Ta , et xL+1 = xb = 2Tb On peut largir la classe de systmes en introduisant des taux d'change aux extrmits 7 . Ces taux nots a,b symbolisent le coecient de diusion thermique local. On pourrait introduire un coecient i entre chacun des sites du rseau, mais ici on ne le fera qu'aux bords. noter que la valeur implicite de ces coecients dans le modle o on ne les utilise pas est de 1/2. Cette gnralisation de KMP est intressante car elle donne plus de degrs de libert au systme, mais elle rend aussi les calculs plus complexes. De plus, l'image du thermostat comme un site ordinaire, dont on aurait simplement x l'longation, est perdue lorsque = 1/2. Notation : a = 1/2a , b = 1/2b . Ces coecients prennent la valeur 1 lorsqu'on est dans le cas de la conductivit thermique constante.

1.2.2 Les quations qui dnissent le modle

Le modle est donc dni par les quation suivantes (j [2, L 1]) : 8

1 dx1 =0 = ( + a )x1 + x2 1,2 2a Ta a,1 dt 2 dxj =0 = xj + xj+1 j,j+1 xj1 j,j1 dt dxL =0 1 = ( + b )xL xL1 L,L1 2b Tb L,b dt 2

(19)

Ces quations n'ont de sens que si on se donne une rgle de lecture, i.e. on lit xj (t + ) pour un certain . Cette discussion vient dans la section suivante. Remarque importante : les i,i+1 sont indpendants identiquement distribus (i.e. gaux en loi), mais on a i,i+1 (t) i+1,i (t) presque srement (c'est-dire pour les ralisations du bruit). Cette symtrie signie qu'il y a bien une corrlation entre sites voisins, et donc possiblement entre sites distants. L'tat du systme est entirement dtermin par la donne de (x1 , ..., xL ). La donne de la distribution de l'nergie est elle aussi une description complte de l'tat du systme, puisque les bruits gaussiens sont pairs, le signe de l'longation des oscillateurs a peu d'importance. L'nergie est une grandeur conserve, dans le bulk 9 . En eet si la dynamique est ici prsente avec les longations des oscillateurs, les quations sur l'nergie montrent que les changes correspondent des simples transferts d'nergie. Aux bords, les thermostats imposent une temprature, et de ce fait violent la conservation d'nergie (c'est justement leur rle).
1.3 SSEP

1.3.1 Description physique

Le SSEP (Simple Symetrical Exclusion Process) 10 est un modle de diusion de particules dans un milieux poreux, avec pour seule interaction une "rpulsion de noyau impntrable" ("hard core",
7. C'est ce qu'on fait dans une partie du prsent travail, mais ce n'est pas le cas du modle KMP "habituel". 8. Lire x(t) et (t) partout. 9. Le "bulk" est la partie principale (l'essentiel) de la chaine, c'est--dire tous les sites sauf les bords. On emploie frquemment ce terme pour gagner du temps. 10. Ou SEP pour Simple Exclusion Process ou encore ASEP pour Asymetrical SEP... il existe de nombreuses variantes.

fermions). Les particules diusent alatoirement, sans inertie, sur une chaine une dimension de L sites. A chaque pas de temps (dans la version discrtise) une particule peut sauter droite ou gauche avec probabilit gale, et si le site choisi est dj occup, rien ne se passe. Le choix de la probabilit de rester immobile, le complmentaire des mouvements, correspond un choix d'chelle temporelle. Il est donc sans importance, et on peut prendre cette probabilit nulle sans restreindre la gnralit. On prendra donc une probabilit de saut gale 1 pour chaque ct. 2 Ainsi, il ne peut y avoir en chaque site que n = 0 ou n = 1 particule. L'exclusion mutuelle est la seule interaction qui entre en jeu. Aux bords se trouvent des rservoirs de particules (donc de potentiel chimique, si l'on veut) qui injectent ou retirent une particule au site voisin (donc aux sites 1 ou L). L'tat du systme est entirement dtermin par la donne du peuplement (n1 , ..., nL ). L'quivalent de l'nergie dans KMP est ici n2 , mais comme n {0, 1}, n2 = n, et il n'y a pas lieu de direncier. La densit est une quantit conserve dans le bulk, mais pas aux bords bien entendu, puisque leur densit est xe (c'est justement le rle des rservoirs aux bords : imposer une densit).

1.3.2 Les quations qui dnissent le modle

L'quation d'volution de bulk s'crit naturellement en faisant un bilan des pertes et gains : dni = ni1 (1 ni ) + ni+1 (1 ni ) ni (1 ni1 ) ni (1 ni+1 ) dt dni = (ni1 2ni + ni+1 ) (20) dt Aprs simplication, on reconnait le laplacien 1D discrtis. On a donc un systme essentiellement diusif. Aux bords, les quations sont : dn1 = n2 (1 n1 ) + (1 n1 ) n1 (1 n2 ) n1 dt = n2 n1 + (1 n1 ) n1 (21) dnL = nL1 nL + (1 nL ) nL (22) dt On ne fera pas de calculs sur le SEP dans ce mmoire, mais on rappellera ventuellement les rsultats connus pour comparer avec les rsultats en KMP.

1.3.3 Remarques sur les rservoirs de particules du SSEP

Lors des rexions sur les thermostats de KMP (voir 3), en comparant avec le SSEP, on en vient faire quelques remarques (dont la plupart ne sont pas trs originales vrai dire). On essaie surtout de prsenter les choses de faon similaire KMP. Si on veut voir le rservoir 1 comme un site normal qui changerait avec ses voisins de faon purement diusive, on peut poser : dn1 = n0 2n1 + n2 dt n0

+ =1

(23)

Et semblablement au site L. On a donc une contrainte forte qui s'impose, + = 1, mais qui permet d'tre hors quilibre. En eet avec cette contrainte, la condition d'quilibre du SSEP, qui s'crit = se rcrit = . Dans ce cas prcis, les "thermostats" du SSEP sont semblables ceux de KMP dans leur fonctionnement (KMP avec a = b = 1, c'est--dire le KMP habituel et non le gnralis). En revanche, ds qu'on s'carte de cette condition ( + = 1), on peut voir le traitement des bords plutt comme relevant d'une action dterministe et fonction de l'tat au site 1.

dn1 dt

= f (n1 ) n1 + n2
(24)

f (n1 ) = n1 ,0 1,n1 , n1 {0, 1} = n1 ( + ) , n1 [0, 1]

7

La dernire criture tant un peu trop souple. Cette solution pour interprter les choses ressemble un peu ce qui est tent en (3.1), lorsqu'il est question "d'injection pure". D'ailleurs, on peut encore voir le problme lgrement diremment en disant que mme avec + = 1, le site 0 a une occupation moyenne de valeur , mais qu'un ltre asymtrique ne laisse se dplacer les particules comme elles le devraient qu'avec un taux : 1 pour aller vers la droite (insertion d'une particule au site 1) mais 1 vers la gauche (retrait de la particule au site 1). L'introduction d'un tel "ltre" ressemble l'introduction des taux d'changes aux bords dans KMP. Mais ici le ltre est asymtrique. Une dernire remarque : dans la littrature, par exemple dans [2], le cas + = 1 est un cas part, plus simple rsoudre que les autres, mais qui fait partie de la mme classe de dicult (quand on a rsolu tout le problme du SSEP, hors quilibre..).

2 Calculs simples sur KMP

2.1 Lecture des quations : It et Stratonovich

On rappelle que le systme est dcrit par :

1 dx1 =0 = ( + a )x1 + x2 1,2 2a Ta a,1 dt 2 dxj =0 = xj + xj+1 j,j+1 xj1 j,j1 dt dxL =0 1 = ( + b )xL xL1 L,L1 2b Tb L,b dt 2
1 On a en particulier les rgles de lecture d'It ( = 0) et de Stratonovich ( = 2 )

(25) (26) (27)

xj = xj (t)t + xj+1 (t)

t =0

=0

t+t

t+t

j,j+1 ( )d xj1 (t)

t

j,j1 ( )d

(28)

xj t + xj+1 j,j+1 xj1 j,j1

qui est un abus de notation

Introduisant l'inconnue X , on utilise le DL : xj (t + t) = xj (t) + xj

= 1 1 1 xj =2 X (xj + xj )t + (xj+1 + xj+1 ) 2 2 t+t

j,j+1 ( )d
t

t+t 1 (xj1 + xj1 ) j,j1 ( )d 2 t = 1 1 1 1 2 X (xj + xj )t + (xj+1 + xj+1 )j,j+1 (xj1 + xj1 )j,j1 2 2 2

(29)

dernire expression qui est elle aussi un abus de notation dont on usera abusivement par la suite. Il s'agit maintenant de trouver quel est ce terme inconnu X qui est la dirence entre les deux critures. On cherchera la valeur de X telle que les valeurs moyennes des xj soient les mmes (et tous leurs moments en fait) pour les deux rgles de lecture 11 . De cette faon on garantit que les deux quations (en It comme en Stratonovich) dcrivent bien le mme processus physique. Avant de faire cette recherche, on va dtailler (une bonne fois pour toutes) le calcul d'un des termes de xj au sens de Stratonovich 12 .

t+t t

dxj = 1 1 1 1 =2 X (xj + xj ) + (xj+1 + xj+1 )j,j+1 (xj1 + xj1 )j,j1 dt 2 2 2 t+t dxj 1 1 dt = xj = dt X (xj + xj ) + (xj+1 + xj+1 )j,j+1 dt 2 2 t 1 (xj1 + xj1 )j,j1 2

11. Remarque : dans les expressions des moments, l'alatoire disparait, donc on ne doit plus avoir choisir de rgle de lecture. 1 12. Dans la suite, on notera en gnral I pour = 0 et S pour = 2 au dessus du signe gal pour dire si on est en It ou en Strato.

Dtaillons le calcul du second terme de l'intgrale 13 , en valeur moyenne 14 :

t+t

xj+1 j,j+1 dt
t

= 1 2

t+t t

1 dt xj+1 (t ) + xj+1 (t ) j,j+1 (t ) 2 1 2

t+t t +t

=S =S =S 0 =S

xj+1 j,j+1 +

dt
t

xj (t )
t

d j,j+1 ( ) j,j+1 (t )
t +t

xj+1 j,j+1 + 1 2
t+t

1 2

t+t

dt xj (t )
t t +t t

d j,j+1 ( )j,j+1 (t )

dt xj (t )
t t+t t

2 d j,j+1 ( ) (t ) 2 j,j+1 (t )

1 2 t 1 =S x j 2

dt xj (t )
t

Attention, il s'agit d'une moyenne temporelle !

En eet x(t) ne dpend que de ( ), pour < t, et en particulier il est d-corrl de (t). C'est pour cela que xj+1 j,j+1 = xj+1 j,j+1 . On a aussi utilis l'expression de t xj+1 (t ) =I xj + xj+2 j+1,j+2 xj (t )j,j+1 , qui donne

xj+1 (t ) = xj (t )
2.2

t +t t

d j,j+1 ( ) + termes de moyenne nulle (avec j,j+1 ).

Drivation d'quations sur les moments associs.

xj on associe x2 ou encore x2 x2 . Ces quantits obissent des quations qu'il faut driver des j i j quations de la dynamique du systme. C'est ce qu'on fait dans les deux sous parties suivantes. D'abord en considrant l'nergie j = 1 x2 puis en considrant la fonction de corrlation Cij = i j 15 2 j

2.2.1 Drivation des quations pour l'nergie

Dans ce paragraphe on calcule les quations pour l'nergie en chaque site, et on en prote pour dtailler la mcanique du calcul qui permet de passer ecacement de la lecture d'It celle de Strato et inversement. On calcule en appendice (A.1) le terme not plus haut X pour les 3 quations du modle. On rappelle ici les rsultats :

dx1 S = a x1 + x2 1,2 2a Ta a,1 dt dxj S = xj+1 j,j+1 xj1 j,j1 dt dxL S = b xL xL1 L,L1 2b Tb L,b dt

(30) (31) (32)

1 On dnit l'nergie par j = 2 x2 en chaque site. On crit son volution, d'aprs les quations qu'on j dx a pour le modle. Pour que l'on puisse identier d et xj dtj , il faut utiliser la rgle de lecture de dt Stratonovich. D'o l'utilit des expressions ci-dessus, qui donnent la version Strato des quations pour les x.

(t).

13. xj est continu donc il passe travers les intgrales de longueur t dans la limite o t 0. Ce n'est pas le cas de

14. On moyenne sur les ralisations des bruits, pas sur le temps o n'importe quoi d'autre. C'est--dire que xP (x)dx = 0. (2) 15. Cette quantit se normalise comme suit : Cij = Cij i j . C'est C (2) que l'on donne habituellement le nom de fonction de corrlation connexe deux points. C (2) est nulle lorsque deux sites sont indpendants, contrairement C .

On calcule

d1 dt

dx1 S = a x2 + x1 x2 1,2 x1 2a Ta a,1 1 dt x1 x1 2 x1 x2 =I a (x1 + ) + (x1 + )(x2 + )1,2 2a Ta a,1 (x1 + ) 2 2 2 2 On ne gardera que les termes d'ordre 0 en t. Le calcul dtaill ci-dessus montre que seuls les termes faisant apparatre une ou deux fois le mme coecient i,j donnent des termes intressants. Ds que le bruit apparat plus de deux fois ou bien deux fois avec des indices dirents, le terme s'annule car les bruits sont indpendants deux deux et d'ordre de grandeur t. La "technique" est donc d'aller chercher seulement les termes intressants lorsqu'on remplace un xi par son expression. On peut ainsi se convaincre que (x1 + x1 )2 = x2 (il le faut) et que x1 x2 1,2 = 0 l'ordre 0. 1 2 x1 x1 dx1 I x1 x1 2 x1 x2 = a (x1 + ) + (x1 + )(x2 + )1,2 2a Ta a,1 (x1 + ) dt 2 2 2 2 x2 x1 x1 1,2 + x1 1,2 x1 2a Ta a,1 2a Ta a,1 = a x2 + x1 x2 1,2 + x2 1 2 2 2
t+t t+t

On explicite l'expression complte de x1 (t), pour la dernire fois :

1 x1 =I ( + a )x1 (t)t + 2
On en tire :

x2 ( )1,2 ( )d
t

2a Ta
t

a,1 ( )d

x1

dx1 I = dt

1 1 1 = a x2 + x1 x2 1,2 + x2 x2 x1 x1 x1 2a Ta a,1 + 2a Ta 1 2 2 2 = a 21 + 1 2 1,2 + 2 1 2 1 a Ta a,1 + a Ta 1 =I 21 (a + ) + 2 + a Ta 2 1 a Ta a,1 + 2 1 2 1,2 2 La dernire expression se transforme comme attendu si on repasse de It en Strato : x1 1 dx1 I = 21 (a + ) + 2 + a Ta 2 1 a Ta a,1 + 2 1 2 1,2 dt 2 1 2 1 1 =S 21 (a + ) + 2 + a Ta 2 1 a Ta a,1 (1 ) + 2 1 2 1,2 (1 ) 2 41 41 42 2 1 2 2 1 2 2 1 a Ta =S idem(que It) + 2 1 a Ta ( ) 2 1 2 ( ) 41 41 42 =S idem(que It) a Ta 2 + 1 (33) =S 2a 1 + 2 1 2 1,2 2 1 a Ta a,1 dx1 S = a x1 + x2 1,2 2a Ta a,1 dt dx1 S x1 = a x2 + x1 x2 1,2 x1 2a Ta a,1 1 dt =S 2a 1 + 2 1 2 1,2 2 1 a Ta a,1
On peut voir que les deux chemins ne sont pas aussi longs ! C'est bien pour cela qu'il est utile de savoir jongler rapidement entre It et Strato. d Et on calcule de la mme faon dtj et dL , puisqu'en Strato c'est trs facile. dt

Cette dernire quation pouvait s'obtenir directement partir de

dj S = 2 j j+1 j,j+1 2 j j1 j,j1 dt dL S = 2b L 2 L L1 L,L1 + 2 L b Tb b,L dt

10

(34) (35)

On donne aussi les rsultats en It :

dj I = j+1 2j + j1 + 2 j j+1 j,j+1 2 j j1 j,j1 dt dL I 1 = 2L (b + ) + L1 + b Tb + 2 L b Tb b,L 2 L L1 L,L1 dt 2

Maintenant qu'on matrise bien le passage It/Strato, on va pouvoir aller plus vite par la suite, et faire les choses de faon un peu mcanique.

2.2.2 Drivation des quations sur les fonctions de corrlation de l'nergie

On s'intresse maintenant aux corrlations de la fonction nergie. On drive d'abord autour du bord 1, puis du bord L, puis les relations de bulk.

dC1,1 dt

= 21

d1 dt
3/2 1/2 3/2

=S 42 a + 41 2 1,2 41 a Ta a,1 1 12 31 3/2 1/2 31 3/2 =I 42 a + 41 2 + 1,2 41 a Ta a,1 1 41 42 41 1 a Ta 3/2 1/2 1 2 3/2 1/2 1 2 3/2 =I 4C1,1 a + 61 2 21 2 31 (2 ) 1 2 1 =I 4C1,1 a + 6C1,2 2C1,1 + 61 a Ta =I C1,1 (4a + 2) + 61 a Ta + 6C1,2

dC1,2 dt d2 d1 + 2 dt dt 3/2 =S 21 2 3 2,3 21 2 1,2 =S 1 22 1 a + 21 2 1,2 22 1 a Ta a,1 2 3 2 3/2 1/2 31 =I 21 2 3 + 2,3 21 2 + 1,2 42 43 41 42 32 1 1/2 3/2 1 + 1,2 22 1 a Ta a,1 2a 1 2 + 21 2 41 42 41 2 2 3 2 2 3 2 1 2 3/2 1/2 3 1 2 =I 21 2 3 2,3 21 2 1,2 42 43 41 42 3 1 2 2 1 a Ta 1/2 3/2 2 1 2 2a 1 2 + 21 2 1,2 22 1 a Ta a,1 41 42 41 =I C1,3 C1,2 3C1,2 + C1,1 2a C1,2 + C2,2 3C1,2 + 2 a Ta =I C1,2 (2a + 7) + C1,3 + C1,1 + C2,2 + 2 a Ta
1/2 3/2

dC1,j dt

d1 dj + 1 dt dt =S 2a j 1 + 2j 1 2 1,2 2j 1 a Ta a,1 + 21 j j+1 j,j+1 21 j j1 j,j1 1 2 =I 2a C1,j + 2j 1 2 + 1,2 2j 1 a Ta 41 42 j j+1 + 21 j j+1 + j,j+1 21 j j1 4j 4j+1 = j
11

1 a,1 41 j j1 + j,j1 4j 4j1

 2 1 2 2 1 2 2 1 a Ta =I 2a C1,j + 2j 1 2 1,2 2j 1 a Ta a,1 41 42 41 2 j j+1 2 j j1 2 j j+1 2 j j1 + 21 j j+1 j,j+1 21 j j1 + j,j1 4j 4j+1 4j 4j1 =I 2a C1,j + Cj,2 Cj,1 + j a Ta + C1,j+1 C1, j C1, j + C1,j1 =I Cj,1 (2a + 3) + j a Ta + Cj,2 + C1,j+1 + C1,j1
Une partie des calculs est report en annexe (A.2) Voici une quation un peu particulire :

dC1,L dt

=S L

dL d1 + 1 dt dt

=I 1 L (2a + 2b + 2) + 1 L1 + 2 L + 1 b Tb + L a Ta 1 L 2 L1 + 2L 1 2 ( + )1,2 21 L L1 ( + )L1,L 41 42 4L 4L1 L 1 + 21 L b Tb ( )b,L 2L 1 a Ta ( )a,1 4L 41 =I 1 L (2a + 2b + 2) + 1 L1 + 2 L + 1 b Tb + L a Ta L L1 L L1 1 2 1 2 ) 21 L L1 ( + ) + 2L 1 2 ( 21 22 2L 2L1 L b Tb 1 a Ta ) 2L 1 a Ta ( ) + 21 L b Tb ( 2L 21 =I C1,L (2a + 2b + 6) + 2C1,L1 + 2C2,L + 2a Ta L + 2b Tb 1

(36)

Soyons maintenant plus malins et faisons une utilisation systmatique des symboles de Kronecker :

dCi,j dt

dj di + j dt dt i j j+1 =I 2i j j+1 + + j,j+1 2i 4j 4j+1 j j1 i + + j,j1 + le terme en i j 2i j j1 2i 4j 4j1 2 j j+1 2 j j+1 2 j j+1 2 j j+1 I = 2i j j+1 i,j i,j+1 + j,j+1 2i 4j 4j 4j+1 2 j j1 2 j j1 2 j j1 2 j j1 2i j j1 i,j + i,j1 + j,j1 2i 4j 4j 4j1 =S i + le terme en i j
I

= 2Cj,j+1 i,j 2Cj,j+1 i,j+1 + Ci,j+1 Ci,j + 2Cj,j1 i,j 2Cj,j1 i,j1 + 2Cj,j+1 i,j+1 2Cj,j1 i,j1 + le terme en i j = 4Ci,j + Ci,j+1 + Ci,j1 + Ci1,j + Ci+1,j + 4i,j (Cj,j+1 + Cj,j1 ) 4Cj,j+1 i,j+1 4Cj,j1 i,j1
Ce qui donne les 3 cas suivants (en fait, 4 mais il y a une symtrie entre i,j+1 et i,j1 ) : Si i 1 = j et i = j et i = j + 1 : (37)
I

dCi,j dt
Si i = j :

= 4Ci,j + Ci,j+1 + Ci,j1 + Ci1,j + Ci+1,j

(38)

dCj,j dt

= 4Cj,j + Cj,j+1 + Cj,j1 + Cj1,j + Cj+1,j + 4Cj,j1 + 4Cj,j+1 = 4Cj,j + 6Cj,j1 + 6Cj,j+1
12 (39)

Si i = j 1 :

dCj1,j dt

= 4Cj1,j + Cj1,j+1 + Cj1,j1 + Cj2,j + Cj,j 4Cj,j1 = 8Cj1,j + Cj1,j+1 + Cj1,j1 + Cj2,j + Cj,j
(40)

Et si i = j + 1 : (c'est la mme chose exactement)

dCj,j+1 dt

= 8Cj,j+1 + Cj1,j+1 + Cj+1,j+1 + Cj+2,j + Cj,j

Pour le cas o a = b = 1, soit aussi 2a = 2b = 1, on a en fait trs peu d'quations linairement indpendantes. On en a trois 16 , si l'on identie C0,i i Ta et Ci,L+1 i Tb . Cette identication est 2 2 tout a fait naturelle, car dans le cas a = b = 1, les bords s'identient des sites :

Cij i j 0 x2 0 2 Ta = 2 Ta i = 2

C0,i

(41)

Avec cette identication, il ne reste plus que les quations portant sur Ci,j , Cj,j et Cj1,j .

2.2.3 Remarques sur les coecients trouvs

En prenant a = b = 1, on trouve les seules quations linairement indpendantes :

dCi,j dt dCj,j dt dCj1,j dt

= 4Ci,j + Ci,j+1 + Ci,j1 + Ci1,j + Ci+1,j (38) = 4Cj,j + 6Cj,j1 + 6Cj,j+1 (39) = 8Cj1,j + Cj1,j+1 + Cj1,j1 + Cj2,j + Cj,j (40)

La premire srie de coecients, 4, 1, 1, 1, 1 parait assez naturelle. Les deux autres un peu moins. Sans prtendre dmontrer quoi que ce soit, il faut noter la chose suivante. La solution d'quilibre de KMP est une gaussienne (ou plutt un produit des gaussiennes en chaque site). Or lorsqu'on intgre une gaussienne pour calculer les dirents moments, on fait

Ci,j =
Or,

...

x2 .x2 .P (x).dx1 ...dxL i j

x2 y 2 Exp(x x4 Exp(x
de faon gnrale,

/2y 2 /2)

= 2 = 3.2
m

/2y 2 /2)

x2m Exp(x

/2)

(2i 1) 2

(42)

i=1

Donc on peut dire en quelque sorte que Ci,i bncie d'un facteur trois. La deuxime srie devient donc (4, 6, 6) (12, 6, 6). La troisime devient : (8, 1, 1, 1, 1) (8, 1, 3, 1, 3). Dans les deux cas on constate que la somme s'annule, ce qui est cohrent si on juge que les fonctions de corrlation de points voisins sont du mme ordre de grandeur. La mme analyse des chires pourra tre faite pour les fonctions d'ordre trois. 16. Trois, fois la taille du systme, donc 3L en ralit. 13

2.3

Solutions des systmes d'quations prcdents

On a toutes les quations imaginables sur les Ci,j dsormais ! Il ne reste "plus qu'" trouver une solution ce systme. On va commencer par la valeur moyenne de l'nergie, que l'on peut trouver directement, " la main". Pour les fonctions de corrlations, on se donnera un Ansatz polynomial et l'aide d'un logiciel de calcul formel, Mathematica.

2.3.1 Valeur moyenne de l'nergie

On peut maintenant utiliser ces trois quations sur l'nergie pour trouver la valeur de l'nergie en chaque point, dans le rgime stationnaire. Attention, ce n'est pas l'quilibre ! Le rgime stationnaire (ou d. permanent) est caractris par dt = 0. videmment, on n'a accs qu'a la valeur moyenne 17 de l'nergie en chaque site. d On remarque une certaine symtrie dans l'criture de dtj :

dj I = j+1 2j + j1 + 2 j j+1 j,j+1 2 j j1 j,j1 dt dj =I j+1 2j + j1 dt = j1 j j j+1

(43)

(44)

Ceci nous conduit a dnir la quantit Jj comme le transfert d'nergie instantan du site j 1 au site j . C'est un courant, il sera non nul hors de l'quilibre. La variation d'nergie en un site s'crit naturellement comme un bilan de ces ux J :

Jj j1 j dj dt = Jj Jj+1

(45)

0 = Jj Jj+1 en rgime stationnaire Jj = J = cte, i [1, L + 1] j = j1 J j = 1 (j 1)J par rcurrence

En particulier,

(46)

(47)

L = 1 (L 1)J
On utilise les expressions de
d1 dt

et

dL dt

en It (On omettra parfois le signe valeur moyenne) :

J1 J2 = J1 (1 2 ) =

d1 dt 1 21 (a + ) + 2 + a Ta 2 2 1 a Ta a,1 + 2 1 2 1,2

J1 = 2a 1 + a Ta
similairement, JL = 2b L b Tb On exprime tout selon J :

1 L = J(L 1) 1 = Ta /2 L = J 2a

J + Tb /2 2b

17. Au sens de la moyenne sur les ralisations des bruits d'change.

14

On rappelle les notations

a=

1 2a 1 b= 2b

(48) (49)

Puis on calcule :

J(L 1) = Ta /2 aJ bJ Tb /2 Ta Tb 1 ( ) J= L1+a+b 2 2 j = 1 (j 1)J J = Ta /2 (j 1)J 2a Ta = + (a + j 1)(J) 2 a+j1 Tb Ta Ta + ( ) j = 2 a+b+L1 2 2

(50)

(51)

2.3.2 Coecients de corrlation

Au vu des quations de bulk (en i, j et i, i + 1) sur Ci,j , une solution polynomiale parat adapte. On pose :

i,j i=j

= A + B.min(i, j) + C.max(i, j) + D.i.j

(52) (53)

Ci,i = A + B i + D i2

Pour le moment, on va utiliser la restriction a = b = 1. On discutera plus tard du cas contraire. Le chier Mathematica ayant servi calculer l'ensemble cf = {A, B, C, D, A , B , D } est en annexe ("Corrlations a deux points - resultats et limites.nb"). On retrace les grandes tapes ici. L'ide est simple : les quations doivent toutes tre vries, et ce pour tous les (i, j). L'quation de bulk principale ne dit rien, sinon qu'elle n'est pas contradictoire avec l'ansatz. Les autres quations sont toutes sous la forme de polynmes des variables i, j d'ordre 2 au plus lorsqu'on injecte l'ansatz polynomial ci-dessus. Leurs coecients sont des fonctions des coecients (ensemble not cf ). Comme les polynmes issus des quations sont tous identiquement nuls, chacune des fonctions des coecients F(cf ) doit s'annuler. Cela donne des quations sur cf , et on nit par avoir une valeur explicite (fonction de L, Ta , Tb ) pour chacun des lments de cf . Il reste mme plusieurs quations non utilises la n. Elles conrment la solution trouve, en fait ce sont des combinaisons linaires des autres quations. C'est le cas seulement parce que dans le cas prsent (a = b = 1), les deux thermostats changent de l'nergie comme les autres sites (si ce n'est qu'ils ont leur nergie moyenne xe). On reparlera de la question de l'indpendance des quations et des thermostats dans la section suivante. On obtient alors :

(2)

i,j i=j

Ci,j i j = i(L + 1 j) Ta Tb 2 (L + 3) (L + 1) 2 2
2

(54) (55)

Ce premier rsultat s'interprte assez clairement en termes de distance aux bords (i et L + 1 j sont ces distances). On remarquera essentiellement la dpendance en T = T a T b qui est en T 2 : cela vite la dpendance dans le signe, et surtout on est en ordre 2, pour un moment d'ordre 2, c'est bien.

15

Ci,i = Ci,i i i = + 2L3 + 10L2 + 2i2 L + 11L 2i 2L2 + 5L + 3 + 3 Ta2 4(L + 1)2 (L + 3) 2 2iL2 + 2i2 + 2i + 3 L + 3 TbTa + 2Li2 + 6(L + 1)i 3(L + 1) Tb2 4(L + 1)2 (L + 3)

(2)

(56)

Ce deuxime rsultat parat assez improbable, et en tout cas assez moche (il manque de symtrie ap(2) (2) parente), mais il faut remarquer que CL+1i,L+1i = Ci,i avec l'inversion de Ta en Tb pour le terme de droite. galement, on remarque que pour Ta = Tb , on a Ci,i =
2 Ta 2 ,

rsultat indpendant de i.

CL+1i,L+1i = +

(2)

2Li2 + 6(L + 1)i 3(L + 1) Ta2 + 2 2iL2 + 2i2 + 2i + 3 L + 3 TbTa 4(L + 1)2 (L + 3) 2L3 + 10L2 + 2i2 L + 11L 2i 2L2 + 5L + 3 + 3 Tb2 4(L + 1)2 (L + 3)
(2)

= Ci,i

avec

Ta Tb
(2)

Cette symtrie tait attendue (il tait ncessaire que Ci,i y satisfasse) mais le rsultat n'est tout de mme pas trs intelligible. On remarque que :

Ci,i (i, i) 3Ci,j (i, i) =

3(Ta Tb)2 = cte 4 (L2 + 4L + 3)

(57)

On a utilis les fonctions de corrlation non connexes. Cette criture permet dj d'y voir un peu plus clair. On pourra se rfrer 2.2.3 pour se donner une comprhension intuitive de l'origine du chire 3.

3 Gnralisation du modle KMP

Que deviennent ces rsultats lorsque l'on n'impose plus a = b = 1 ? Lorsqu'on a calcul les coecients cf , on avait la n plusieurs quations de trop, mais qui taient compatibles avec les rsultats prcdents dans le cas a = b = 1. Dans le cas contraire, on remarque que deux de ces quations, qui concernent les bords (quation sur C1,1 , CL,L et C1,L ) ne donnent pas zro, mais des rsultats avec un facteur (a 1) et/ou (b 1). An de respecter galement ces quations, on peut introduire des coecients ad-hoc supplmentaires comme par exemple une valeur xe pour C1,1 et pour CL,L , ce qui est assez moche, car xer ces quantits a un impact sur les autres quations, qui sont a leur tour malades. De plus le choix des quantits xer n'est pas vident puisque a priori Ci,j couvre toute la gamme de i, j [|1, L|]. Le plus naturel est tout de mme de considrer que la formule pour Ci,i n'est valide que pour i [|2, L 1|], et d'introduire C1,1 et CL,L de faon ad-hoc. Mais ce choix a un impact aussi sur les autres quations, et contraint donc modier plus en profondeur la solution. Une autre manire de faire, moins crapuleuse mon sens, est de modier le systme en ajoutant des thermostats aux bords. En travaillant directement sur les quations de bord 18 . dC1,1 tudions l'quation portant sur C1,1 . On note Y le reste du terme dt :

dC1,1 3(a 1)(Ta Tb )2 = Y dt 2a(a + b + L 1)(a + b + L + 1) dC1,1 +Y =0 dt

(58)

Or on voudrait que a fasse zro. On a un terme symtrique de celui-ci au site L. On va essayer de triturer les quations de dpart aux bords pour obtenir zro pour les trois quantits ci-dessus. On modie l'change l'interface de la faon suivante (le bord au niveau du site L est trait
18. Celles qui portent sur t x1 et sur t xL .

16

symtriquement) :

dx1 S = a x1 + x2 1,2 2a Ta a,1 + x0 0 + x0 dt =S normal + x0 0 + x0

(59)

on se donne la version Strato directement, c'est une tape de moins calculer. On pose 0 = x2 /2. Le 0 choix de la lettre plutt que e permet d'viter de croire que x2 /2 correspond j (0) = Ta /2. 0 titre indicatif, en It on a :

1 dx1 =0 = ( + a )x1 + x2 1,2 2a Ta a,1 + x0 0 + x0 dt 2 dxL =0 1 = +( + b )xL xL1 Ls,L1 2b Tb L,b + xL L + xL+1 dt 2
3.1 Calcul des termes correctifs

On va exploiter les quations sur C12 et C11 et en dduire l'expression de x0 . On drive l'quation sur 1 en notant normal pour les termes normaux, c'est--dire qui apparaissent dans la version habituelle de KMP :

dx1 d1 S = x1 dt dt =S normal + x1 x0 0 + x1 x0 =S normal + 2 1 0 0 + 2 1 0

On veut avoir
dC1,2 dt

= 0 19 . =S normal + 2 2 1 0 0 + 2 1 0

dC1,2 dt

0 1 =I normal + 2 2 1 0 0 + + 2 2 1 0 41 40 2 1 0 2 =I normal + 2 2 1 0 (0 ) + 0 + 2 2 1 0 41

(60)

Les termes contenus dans normal sont dj nuls lorsqu'on injecte les rsultats Ci,j , Ci,i de l'ansatz habituel. Donc les deux termes qu'on vient de produire en plus doivent s'annuler si on veut prserver la validit de l'ansatz. Cette armation va permettre de trouver une relation entre 0 et 0 . 2 1 0 2 I 0 = 2 2 1 0 (0 ) + 2 2 1 0 41

0 =I 0 + 2 x2 0 2 = x1 x0

1 0

(61) (62)

Remarque : on a des problmes de signe car on est passs par les nergies, en faisant xi = 2i sans ranement. Si on continuait d'crire tout du long avec des xi , on n'aurait pas ce problme. D'o un traitement des signes un peu cavalier. Noter que le calcul est exactement le mme pour C1,2 et pour dC1,j dt , j 2.
19. On omettra frquemment les valeurs moyennes pour les termes de droite.

17

On fait maintenant le calcul de

dC1,1 dt ,

que l'on veut nul (alors qu'il ne l'est pas pour a = 1, b = 1). (63)

1 dC1,1 2 dt

=S

1 1 normal + 1 2 1 0 0 + 1 2 1 0 2 2 31 =I normal + 1 1 0 0 ( ) + 1 1 0 4 1 3 1 0 2 3/2 =normal + 1 1 0 (0 ) + 1 0 21 3 3/2 0 =normal + 1 0 + 1 2 2 1 =normal + 21 0

dC1,1 dt

= normal + 40 1 = 0

(64)

On veut en eet avoir 0. On identie donc

40 1 = Y 0 = 3(a 1)(Ta Tb )2 2a(a + b + L 1)(a + b + L + 1)

(65)

0 x2 /2 0
On utilise maintenant l'quation sur CLL . Le calcul est absolument symtrique et donne la valeur de L+1 L+1 . On donne quand mme quelques unes des quations :

Z =

dCL,L dt

3(b 1)(Ta Tb )2 2b(a + b + L 1)(a + b + L + 1)

dCL,L dt

+Z =0 dxL S = b xL xL1 L,L1 + 2b Tb b,L + xL+1 L+1 + xL+1 dt =S normal + xL+1 L+1 + xL+1 L x2 /2 L L+1 = 3(b 1)(Ta Tb )2 2b(a + b + L 1)(a + b + L + 1)
(66)

Pour ce qui est de l'quation sur C1,L , elle donne naturellement 0 si l'on utilise les nouveaux termes. Le calcul est trivial, chaque terme ajout par chacun des bords tant nul identiquement (il n'y a pas de jolie simplication, le calcul donne 0 directement, trivialement). ce point-l, on pourrait aussi questionner l'Ansatz utilis, et rclamer plus de libert pour celui-ci. Mais grce Vivien Lecomte, nous avons dj la rponse. En eet, celui-ci a calcul la solution des quations sur les fonctions de corrlation pour L = 10, par la force brute (sans l'Ansatz). Le rsultat semble tre que l'ordre du polynome est gal la taille du systme.
3.2 Analyse des rsultats

En modiant les changes avec les thermostats, on est parvenu vrier toutes les quations voulues, pour a et b quelconques. Cependant, les expressions des 0 , L+1 introduites dpendent chacune des paramtres aux deux bords a, b, L, TA , Tb , ce qui est tout fait problmatique. En eet cela signie que pour "corriger" un bord, il faut galement connaitre les paramtres de l'autre bord. On peut remarquer que dans la limite thermodynamique (L ) la dpendance se limite T 2 = (Tb Ta )2 , a et L (pour la correction au site zro). La dpendance explicite en Tb , b disparat donc, mais on est tout de mme contraints de recourir des variables globales. 18

 L'ajout du terme x0 0 correspond la prsence d'un second thermostat qui travaillerait en injection pure, i.e. sans retour de x1 vers ce thermostat (contrairement au thermostat de base, pour lequel ce "retour" s'exprime par le terme 1 x1 ou x1 dans l'quation d'volution de x1 en It) 20 . On peut aussi 2 le voir mathmatiquement en disant que ce second thermostat est comme le premier, mais avec (a = 0, Ta = , a .Ta = x0 ), (b = 0, Tb = , b .Tb = xL ). C'est ce qui nous fait parler plus haut d'"injection pure". Ce n'est pas satisfaisant physiquement, et c'est plutt une conrmation de l'impossibilit d'tendre le modle KMP, du moins dans cette direction. Il semble que l'ajout de taux d'change dirents aux bords ne soit pas une gnralisation simple. On prendra dans la suite a = b = 1.

4 Parallle SSEP / KMP

On cherche maintenant appliquer la mthode des matrices KMP. Rappelons que c'est tout de mme le cur du sujet, au dpart. Bien entendu le travail eectu jusqu' prsent n'a pas t inutile : il fallait bien s'habituer un peu au modle, en avoir une comprhension un peu pousse, ce que le calcul des fonctions de corrlations a permis de faire. Ce que l'on a appellera ici la mthode des matrices a t dveloppe et applique pour et sur le systme SSEP dans [2]. Sans complexes, on va suivre ligne ligne le raisonnement eectu dans cet article et tenter chaque fois de le transposer notre systme, KMP. Avant de faire cela, on a essay quelques solutions de forme matricielle, mais sans succs.
4.1 La mthode des matrices pour le SSEP

Derrida cite les livres de Baxter, [8] et de Faddeev [9] comme source d'inspiration pour laborer la mthode des matrices. Il cite aussi, entre autres, un papier [10] qui utilise galement la mthode des matrices. Ce court papier dveloppe un ansatz matriciel pour tudier un troupeau fermionique se dplaant sur une bande 2D (presque 1D en ralit, car hors quilibre seulement dans une direction). Il y a quelques similitudes avec le SSEP dans ce modle physiquement parlant, mais peu au niveau des mathmatiques. Deux auteurs sont communs aux deux papiers, et Derrida est cit comme relecteur. L'ide de Derrida est d'crire la solution sous la forme
L

PN (1 , 2 , ...L ) =

W|

(i D + (1 i )E)|V
i=1

(67)

Avec D, E des matrices et W, V des vecteurs. Cet ansatz tant pos, il s'agit de l'introduire habilement dans les quations pour apprendre des choses sur D, E, V, W . Les taux de transition, ou oprateurs d'volution locaux s'crivent ventuellement sous forme matricielle : h1 , hi,i+1 , hL s'crivent :

h1 =

0 0 0 0

0 0 0 1 1 0

hi,i+1

0 0 = 0 0

0 0 0 0

hL =

0 0

(68)

Dans les bases {(0, 1 , ..., L ), (1, 1 , ..., L )} {0, 1}0 pour h1 , {0, 1}L pour hL (avec la mme notation abrge) et dans la base {(0, 0), (0, 1), (1, 0), (1, 1)}i,i+1 pour hi,i+1 .
20. Si on ajoute aussi un terme en ct0 x1 l'quation, cela revient garder l'ancien modle, simplement avec d'autres valeurs pour a , Ta , selon le choix de x0 et ct0 . ct0 joue alors le rle de , et la somme de deux gaussiennes tant une gaussienne, on revient l'quation de dpart.

19

Ces oprateurs sont construits an de 21 vrier la relation :

t PN =
1

h1 (1 )PN (1 , 2 , ..., L ) +
L N 1

hL (L )PN (1 , 2 , ..., L )
(69)

+
i i ,i+1

hi (i , i+1 )PN (1 , ..., i , i+1 , ..., L )

On cherche la solution stationnaire du problme, c'est--dire PN t.q. t PN = 0. On suppose alors que le systme vrie une (double 22 ) proprit de "factorisation" :

h1 (1 , 1 )PN (1 , 2 , ..., L ) =g(1 )PN 1 (2 , ..., L )

1 N 1

(70)

hi (i , i+1 )PN (1 , ..., i , i+1 , ..., L ) = g(i ).PN 1 (1 , ..., i1 , i+1 , ..., L )
i i ,i+1 ,i ,i+1

+ g(i+1 ).PN 1 (1 , ..., i , i+2 , ..., L ) hL (L , L )PN (1 , 2 , ..., L ) =g(L )PN 1 (1 , ..., L1 )
L

(71) (72)

Injectant l'ansatz matriciel dans ces quations, on trouve des relations sur les matrices D,E : Si 1 = 1,

h1 (1 , 1 )PN (1 , 2 , ..., L ) =g(1 )PN 1 (2 , ..., L )

1 L

< W| (0.D + (1 0).E)1 =0 +0(1.D + (1 1).E)1 =1

L

(i D + (1 i )E)|V >
i=2

=g(1) < W| < W|E =g(1) < W|

Avec 1 = 0, on a de mme :

(i D + (1 i )E)|V >
i=2

(73)

< W| (0.D + (1 0).E)1 =0 +0(1.D + (1 1).E)1 =1

L

(i D + (1 i )E)|V >
i=2

=g(0) < W| < W|E =g(0) < W|

(i D + (1 i )E)|V >
i=2

(74)

On utilise maintenant l'quation de bulk avec i = 0 et i+1 = 1 (Les autres termes intervenant dans la somme sont nuls cause des zros dans l'expression de h) :

hi (i , i+1 )PN (1 , ..., i , i+1 , ..., L ) = g(i ).PN 1 (...) + g(i+1 ).PN 1 (...)
i ,i+1 ,i =0,i+1 =1

(75)

21. C'est la dnition mme de ce qu'on appelle oprateur d'volution : ils gnrent la dynamique. 22. Il y a la fois factorisation/sparation des oprateurs h, additivement, mais aussi et surtout factorisation de PL chaque ligne.

20

Soit :
i1 L

< W|

(i D + (1 i )E) (1.D + (1 1).E)i =1 (0.D + (1 0).E)i+1 =0

j=1 i1 L

(i D + (1 i )E)|V >
j=i+2

= g(0) < W|
j=1 i1

(i D + (1 i )E).1.D(i+1 =1) .
L

(i D + (1 i )E)|V >
j=i+2

+ g(1) < W|

(i D + (1 i )E).E(i =0) .1.

j=1 j=i+2

(i D + (1 i )E)|V >
(76)

D.E = g(0)D + g(1)E

Et de mme qu'au site 1, on obtient au site L :

.D|V >= g(1)|V >= g(0)|V >

(77)

Tout ceci impose que g(0) = g(1), et on peut choisir g(0) = 1 (La constante multiplicative est libre). En conclusion, on a un ansatz et des relations de commutations et de fermeture :

< W|E =< W| D.E = D + E .D|V > = |V >

(78) (79) (80)

partir de l, on peut dduire, partant des ces seules relations de commutation, toutes les fonctions de corrlation ( tous les ordres) du systme, en fonction des matrices E, D et des vecteurs |V >, < W |. On peut aussi trouver des matrices (innies) qui vrient ces relations et donc avoir une expression explicite de la solution, directement. Ces calculs ne sont pas du tout vidents ni trs faciles, on les trouvera dans [2]. Il ne sert rien de les dtailler pour l'instant, il sut de savoir que si on trouve des relations de commutations susamment simples, on doit nir par tre capable de calculer la distribution de probabilit exacte du systme en rgime permanent. En eet l'ansatz est solution par dnition, et si on connait susamment de choses sur les matrices et les vecteurs utiliss, on connait la solution.
4.2 Adaptation KMP

L'ide est de s'inspirer de la mthode dcrite ci-dessus an de trouver une solution explicite KMP. On traduit le changement de dynamique par le choix d'un oprateur d'volution appropri 23 . Ici, ils sont nots W1 , Wi,i+1 , WL . En eet, on notera que
L1

W W1 +
i=1

Wi,i+1 + WL

(81) (82)

t PL (x1 , ..., xL ) = WPL (x1 , ..., xL )

Avec
2 W1 () = 1 (x1 ) + Ta 1 ()

Wi,i+1 () = (xi i+1 () xi+1 i ())2 WL () = L (xL ) +

2 Tb L ()

(83)

L'quivalent des relations de "factorisation" crites plus haut est :

W1 PL (x1 , ..., xL ) = g(x1 ).PL1 (x2 , ..., xL ) Wi,i+1 PL (x1 , ..., xL ) = g(xi ).PL1 (x2 , ..., xi1 , xi+1 , ..., xL ) + g(xi+1 ).PL1 (x2 , ..., xi , xi+2 , ..., xL ) WL PL (x1 , ..., xL ) = g(xL ).PL1 (x1 , ..., xL1 )
23. Dans cette section, on a pris a = b = 1.

(84)

21

On peut les reformuler lgamment :

x (x1 , ..., xi1 , xi , xi+1 , ..., xL ) xi (x1 , ..., xi1 , xi+1 , ..., xL ) W1 PL (x) = g(x1 )PL1 (x1 ) Wi,i+1 PL (x) = g(xi )PL1 (xi ) + g(xi+1 )PL1 (xi+1 ) WL PL (x) = g(xL )PL1 (xL )

(85) (86) (87) (88) (89)

ce stade, on n'a pas la moindre ide de l'ansatz proposer pour KMP. En proposant un ansatz matriciel, on pourrait dduire, depuis ces quations de factorisation, des relations de commutation. On a pass un certain temps (pas trop, heureusement 24 ) essayer des ansatz matriciels. Les quations (87 - 89) permettent de slectionner les solutions qui ont une chance d'aboutir, et donnent une ide de la dicult des relations de commutation associes grer. En ralit, ce stade, il est important de se demander si cette proprit peut tre vrie dans KMP. En eet, ce n'est pas vident du tout. Si ce n'est pas le cas, il faudra abandonner l'ide d'une solution matricielle. An de tester la validit de cet nonc, on souhaite donc calculer la solution de KMP l'ordre deux en T = Tb Ta = 2. Ceci est fait dans la section suivante. Attention, la lecture du paragraphe suivant rvle le rsultat de la section suivante ! (5)
4.3 Rsultat des calculs l'ordre deux

On appelle solution d'ordre deux la densit de probabilit L composantes PL qui vrie :

WPL = 0 + .0 + 2 .0 + 3 .(...=0 )
En eet, on recherche une solution stationnaire, i.e. t P = 0 = WP Et on obtient, aprs calculs :

(90)

W1 PL (x) = g(x1 )PL1 (x1 ) + 2 (y1 (x)=0 ) Wi,i+1 PL (x) = g(xi )PL1 (xi ) + g(xi+1 )PL1 (xi+1 ) + 2 (yi (x)=0 ) WL PL (x) = g(xL )PL1 (xL ) + (yL (x)=0 ) T x2 2T 2 yk (x) = 0 tant chaque fois une fonction de tous les xi et de . g(x) =
(92)
2

(91)

On perd un ordre lors de la factorisation, c'est--dire que la solution d'ordre deux ne se factorise qu' l'ordre un. De manire gnrale, mme si on utilise un ansatz d'ordre suprieur (d'ordre trois, par exemple 25 ), la factorisation ne fonctionne qu' l'ordre un en = 2T . Les termes suivants sont des termes qui dpendent de tous les xi et qui ne sont pas annuls par le choix de bons coecients 26 , donc il est clair que la factorisation ne marche pas. La factorisation ncessaire l'emploi de la mthode des matrices est impossible : ce n'est plus la peine d'essayer de trouver un ansatz matriciel ! La section suivante dtaille le calcul de la solution d'ordre deux. Ce n'est pas seulement pour la beaut de la chose car il y a dans la mthode de calcul de la solution au voisinage de l'quilibre un caractre systmatique, qui permet d'esprer tendre le calcul tous les ordres. De plus, on peut se convaincre que la solution prend une certaine forme, ce qui n'est pas la solution mais n'est pas rien non plus.

5 Solution approche l'ordre deux

On pose T = Tb Ta = 2 et T = les sous-sections suivantes.
Ta +Tb . 2

On explicite la dmarche et le raisonnement suivi dans

24. On comprendra pourquoi par la suite. 25. Voir la section sur le calcul de la solution aux ordres suprieurs. 26. Encore une fois, voir la section sur le calcul de la solution aux ordres suprieurs.

22

L'ide est de calculer d'abord une solution d'ordre 0, puis 1, puis 2... Comme on a 0, on est prs de l'quilibre, on s'attend trouver quelque chose qui ressemble la solution d'quilibre ( = 0). Pour toute cette section, on a fait un usage intensif mais intelligent du logiciel Mathematica, en particulier pour appliquer l'oprateur W diverses fonctions test.
5.1 Solution d'ordre zro : solutions d'quilibre
L
x2 i

On constate facilement que ds lors que PL i=1 e 2fi , fi T , on a WPL = 0 ( l'ordre zro). L'intuition la plus naturelle est d'utiliser une sorte de temprature locale au dnominateur plutt que de mettre n'importe quoi. ce stade, on utilise la temprature moyenne T .
L

Pq =
i=1

(0)

x2 i 2T

5.2

Solution d'ordre un

On fait un dveloppement perturbatif de la solution, c'est--dire qu'on crit :

PL = Pq (1 + .y(x))
Pour y , on choisit, aprs quelques calculs et un peu d'intuition, une forme polynomiale :
L

y(x) =
i=1

x2 a1,1 i i

(93)

Et on calcule WPL . Demandant WPL = 0, on obtient un systme complet d'quations sur les 27 a1,1 . On i trouve alors des valeurs pour ces coecients, mais en regardant la proprit de factorisation recherche et la suite des vnements, on ralise qu'il faut mieux crire
L

PL = Pq .Exp(.
i=1

1,1 x2 ai ) i

(94)

Et on trouve nouveau un systme complet d'quations pour les a1,1 , qu'on rsout pour trouver 28 i

a1,1 = i

L 2i + 1 2(L + 1)T 2

(95)

En fait, on a ensuite ralis qu'utiliser la temprature locale Ti = 2 i revenait au mme, c'est--dire donnait la solution d'ordre un. Ce choix de temprature est par ailleurs plus en accord avec l'intuition. Il permet aussi de simplier un peu les calculs aux ordres suprieurs en . On notera donc
L

Pq =
i=1

(1)

e 2Ti

x2 i

(96)

Ti = 2 i = x2 i
A posteriori, la dmarche polynomiale ci-dessus est caduque, puisque remplace avantageusement par le choix de Ti . Mais il n'tait pas inutile de la prsenter car on va voir que les calculs aux ordres suprieurs suivent la mme logique. Le chier "Calcul de la solution a tous les ordres.nb" utilise la temprature moyenne pour le calcul de la solution d'ordre 2 et plus. Le chier "Calcul de la solution d'ordre 2 - un peu brouillon.nb" utilise la temprature locale Ti , et n'utilise pas les noms bien penss a1, mais des noms de variables plus incongrus (ceux qui sont venus spontanment). i Conclusion :

W(Pq ) = 0 + .0 + 2 (trucs = 0) W(Pq ) W(PL ) = 2 (trucs = 0)

(1) (1)

(1)

(97)

27. Le choix de cette notation pour cette srie de coecients a bien sur t fait aprs la n du calcul l'ordre 2, c'est--dire bien plus bas. 28. En l'occurrence, l'ordre un, le rsultat est le mme qu'on soit dans l'exponentielle ou en facteur, mais ensuite il y a des facteurs 1/n! qui tranent.

23

5.3

Solution d'ordre deux

Il s'agit maintenant de deviner une forme pour la solution d'ordre deux. L'exprience de Frdric van Wijland a permis de postuler une forme qui s'inspire des fonctions de corrlation deux points, qui sont connues. En exigeant que la solution PL (ou Pstationnaire ) donne bien les fonctions trouves plus haut, on contraint la forme de PL de faon signicative. Prcisment, on sait qu'on doit avoir :

i =
R

x2 .PL (x).dx i x2 .x2 .PL (x).dx i j

R

i .j =

(98)

Ce qui permet de voir, aprs calculs, que la forme suivante a des chances de fonctionner :
L L

PL = PL .Exp 2
i=1 j=i (2) WPL ,

(2)

(1)

a2,2 .x(i)2 .x(j)2 i,j

Calculant on trouve des termes dpendants des coecients a2,2 mais aussi un terme constant i,j (ne faisant pas intervenir xi ni a2,2 ). Il faut absolument s'en dbarrasser, et pour cela on ne peut qu'largir i,j l'ansatz utilis. Aprs quelques calculs la main, on pose :
L L L

PL = PL .Exp 2
i=1 j=i (2)

(2)

(1)

a2,2 .x(i)2 .x(j)2 + 2 i,j

i=1

2,1 x2 .ai i

(99)

Avec cette forme l, tous les termes de W(PL ) dpendent des coecients a2,2 et/ou des a2,1 . En imposant i,j i la stationnarit, WPL (x) = 0, on rcupre des quations sur les coecients , a2,2 . Expliquons la mthode employe pour calculer ces coecients. Tout d'abord, on sait qu'on cherche des fonctions de la taille L du systme. Comme les calculs sont assez pnibles, on va utiliser Mathematica (Le calcul est dtaill dans le chier "Calcul de la solution a tous les ordres.nb"). Les deux sous-parties suivantes expliquent cette mthode.

5.3.1 Coecients

a2,2 i,j

On cherche des quations pour les a2,2 : en classant le rsultat de WP (2) par ordre en (i, j) des facteurs i,j (x2 , x2 ), on prsente sous forme de matrice (coupe en deux pour rentrer dans la page) l'ensemble des i j quations requises pour avoir la nullit 29 . Il y a aussi un terme constant, mais qui est trait plus bas. 30
(a(1, 2) 4a(1, 1)) 0 0 0 0 (6a(1, 1) 8a(1, 2) + a(1, 3) + 6a(2, 2))T 4 + 8 (a(1, 2) 4a(2, 2) + a(2, 3)) 0 0 0 (a(1, 2) 4a(1, 3) + a(1, 4) + a(2, 3)) (a(1, 3) + 6a(2, 2) 8a(2, 3) + a(2, 4) + 6a(3, 3))T 4 + 8 (a(2, 3) 4a(3, 3) + a(3, 4)) 0 0

La suite :
(a(1, 3) 4a(1, 4) + a(1, 5) + a(2, 4)) (a(1, 4) + a(2, 3) 4a(2, 4) + a(2, 5) + a(3, 4)) (a(2, 4) + 6a(3, 3) 8a(3, 4) + a(3, 5) + 6a(4, 4))T 4 + 8 (a(3, 4) 4a(4, 4) + a(4, 5)) 0 (a(1, 4) 4a(1, 5) + a(2, 5)) (a(1, 5) + a(2, 4) 4a(2, 5) + a(3, 5)) (a(2, 5) + a(3, 4) 4a(3, 5) + a(4, 5)) (a(3, 5) + 6a(4, 4) 8a(4, 5) + 6a(5, 5))T 4 + 8 (a(4, 5) 4a(5, 5))

(100)

On note alors la symtrie par l'axe i = L + 1 j , et on traduit les quations en relations simples entre les a2,2 . i,j

1 (a(i 1, i) + a(i, i + 1)) 4 1 L+3 a(i, i + 1) = + a(i 1, i + 1) + 6a(i, i) + a(i, i + 2) + 6a(i + 1, i + 1) (101) 8 T4 1 a(i, j) = (a(i 1, L + 1 j) + a(i, L j) + a(i, L + 2 j) + a(i + 1, L + 1 j)), j > i + 1, 4 29. Chaque terme de la matrice est cherch nul, il faut lire la matrice comme une suite d'quations. 30. On note a(i, j) pour a2,2 pour amliorer la lisibilit. i,j a(i, i) =
24

 condition d'ajouter des zones fantmes nulles sur les bords de la matrice :

a(i, 0) = 0, a(i, L + 1) = 0,

a(0, i) = 0 a(L + 1, i) = 0

partir de l, il est astucieux de chercher une solution polynomiale en i, j . Mais plutt que de chercher tout rsoudre, on peut essayer d'injecter directement la fonction de corrlation connexe deux points :

a(i, j) Ci,j Ci,j i j i.(L + 1 j)

En injectant cette formule dans la matrice, mais seulement pour les a(i, j) t.q. j > i, on trouve le coecient de proportionnalit correct insrer, et il ne reste plus qu' r-utiliser les quations ci-dessus pour annuler aussi les coecients diagonaux et co-diagonaux. On trouve des quations simples (une rcurrence similaire celle donne en annexe A.3) sur les ai,i , et on conclut ainsi :

(2)

a(i, j) =

2i(L + 1 j) , (L + 1)2 (L + 3)T 4 (i 1)(L + 1 i) + i(L i) a(i, i) = 2(L + 1)2 (L + 3)T 4 a2,1 i

j > i

(102) (103)

5.3.2 Coecients

Pour direntes valeurs de L, on cherche les quations vries par les coecients a2,1 . Aprs avoir fait i cela pour une petite dizaine de valeurs de L, on observe une certaine rgularit, dont on va extrapoler 2,2 une rcurrence. Utilisant les rsultats trouvs pour les ai,j , on a des quations plus simples pour les a2,1 31 : i

(L)2a1 + a2 = 0 ai1 2ai + ai+1 = (L), i [|2, L 1|] aL1 2aL + (L) = 0 a1 +aL + (L) = 0
Cette rcurrence est rsolue en annexe A.3. On trouve : (104)

ai = i2

6 + (L2 2L + 9) + 2(2 + ) i ++ 2 2(L + 1)

(105)

On fait un tableau des valeurs de , , pour direntes valeurs de L 32 .

L .T 3 .T 3 3 1/24 1/6 4 3/175 18/175 5 1/144 5/72 6 1/441 22/441 7 0 3/80 8 1/891 26/891 9 1/600 7/300 10 3/1694 15/847 11 1/504 1/63

.T 3 1/4 6/25 2/9 10/49 3/16 14/81 4/25 18/121 5/36

(106)

31. On omet les indices suprieurs pour amliorer la lisibilit. 32. C'est un peu fastidieux, et il y a un moyen plus rapide et plus propre d'arriver au rsultat, prsent dans la section suivante.

25

On remarque que les dnominateurs sont en (L + 1)2 (L + 3) et (L + 1)2 , ce qui permet de faire le tableau suivant, dj plus clair :

L (L + 1)2 (L + 3).T 3 3 4 4 3 5 2 6 1 7 0 8 1 9 2 10 3 11 4
On en dduit immdiatement que

(L + 1)2 (L + 3).T 3 16 18 20 22 24 26 28 30 32

(L + 1)2 .T 3 4 6 8 10 12 14 16 18 20

(107)

L7 (L + 1)2 (L + 3)T 3 2(L + 5) = (L + 1)2 (L + 3)T 3 2(L 1)(L + 3) = (L + 1)2 (L + 3)T 3 =

(108)

D'o :

ai =

(L + 5)i2 + L2 6L 5 i + (3L + 3) (L + 1)2 (L + 3)T 3

(109)

a y est ! On a la solution l'ordre deux ! On fait le bilan de tous ces calculs :

L (2) PL

= Exp(
i=1

x2 2 i )Exp 2 2Ti T .Exp T2 T2

2 2

i=1 j>i L

2i(L + 1 j) x(j)2 x(i)2 . (L + 1)2 (L + 3) T T

i=1 L

(i 1)(L + 1 i) + i(L i) x(i)4 2(L + 1)2 (L + 3) T2 (L + 5)i2 + (L2 6L 5)i + (3L + 3) x2 i (L + 1)2 (L + 3) T

.Exp
Qu'on reformule :
L

i=1

PL = Exp(
i=1

(2)

2 x2 x2 i )Exp 2 i 2Ti T T

i=1

2i(L + 1 j) x(j)2 . (L + 1)2 (L + 3) T j>i (i 1)(L + 1 i) + i(L i) x(i)2 2(L + 1)2 (L + 3) T (L + 5)i2 + (L2 6L 5)i + (3L + 3) + (L + 1)2 (L + 3) +

(110)

1 On ne manquera pas de commenter la dpendance en L de chacun des termes. ce sujet, on remarque qu'on pourrait se placer dans la limite thermodynamique L et calculer tous les ordres e , e 1 en ne conservant que les termes en x2 et x2 x2 , qui sont respectivement d'ordre 0 et 1 en L . Je n'ai i i j malheureusement pas eu le temps d'tudier cette question.

26

6 Calculs tous les ordres

La mthode de factorisation a chou, mais on a pu voir en chemin que le dveloppement perturbatif de la solution d'quilibre n'est pas trop compliqu. En se penchant encore sur les quations du dveloppement perturbatif, on peut prendre un peu de recul et constater qu'on peut les crire de faon plus systmatique que ce qui a t fait plus haut. Aprs tout, si on pouvait donner l'expression de la solution tous les ordres, on aurait tout. On a vu jusque l que les quations sur les coecients anm n taient beaucoup plus rgulires que les i1 ,...,i solutions de ces quations. En fait, on va voir que pour un ordre donn du dveloppement, les quations sont les mmes pour toute valeur de L. An d'y voir clair, on crit la solution d'ordre trois sous la forme :

P (3) = Exp ord0 +

Avec

3 2 ord11 + 2 (ord12 + ord22) + 3 (ord13 + ord23 + ord33) T T T

L

(111)

ord0 =
i=1 L

x2 i q0 T x2 i q11 (i) T x2 i q12 (i) T

L

ord11 =
i=1 L

ord12 =
i=1 L

ord22 =
i=1 j=i L

x2 x2 i j q22 (i, j) T T

ord13 =
i=1 L

x2 i q13 (i) T
L

ord23 =
i=1 j=i L L

x2 x2 i j q23 (i, j) T T
L

ord33 =
i1 =1 i2 =i1 i3 =i2

x21 x22 x23 i i i q33 (i1 , i2 , i3 ) T T T

(112)

La gnralisation tout ordre e N est immdiate. En choisissant de diviser ainsi par T chaque x2 et i chaque , on obtient des q adimensions, c'est plus joli. La premire bonne nouvelle est qu'on observe, au moins jusqu' l'ordre 4, 33 que cette forme de solution est compatible : il y a le bon nombre d'quations (linairement indpendantes) sur les coecients q , ce qui permet de garantir la nullit de WP l'ordre choisi. noter que la gnralisation change quelque peu de forme pour e > L puisqu'on ne peut ajouter xL+1 dans la formule. On nit donc par crire des termes en ord(1, L + 1), ..., ord(L, L + 1), ord(1, L + 2), ..., ord(L, L + 2).... Ce problme n'en est pas un, car on a vri, l'ordre 3 et pour L = 2, que cet ansatz fonctionnait encore. C'est--dire qu'il permet d'annuler les termes d'ordre 4, mme si implicitement, on a choisi ord33, ord34, ord44 = 0. videmment, vrier cette proprit aux premiers ordres ne prouve pas qu'elle reste vraie ensuite, mais cela semble trs vraisemblable. On fait en tout cas l'hypothse que cette forme de solution se gnralise tout ordre. Cette hypothse rduit fondamentalement la dicult du problme. Au lieu de chercher une valeur propre de l'oprateur W dans l'espace des distributions de probabilit L variables, on cherche simplement rsoudre les quations sur les q chaque ordre. La seconde bonne nouvelle est que d'une certaine manire, les quations ne dpendent pas de L ! En eet, avec la forme de PL donne ci-dessus, on obtient les quations prsents ci-dessous. On va voir qu'elles se regroupent naturellement.
33. Il devient dicile de nir les calculs avec un ordinateur de bureau, pour les ordres suprieurs.

27

6.1

Ordre zro

L'ordre trait est not e. En exigeant que le terme en e=0 soit nul, on obtient :

q0 (2q0 + 1)x(1)2 q0 (2q0 + 1)x(L)2 + + (2q0 + 1) = 0 T T

Ce qui impose q0 = 1/2, L.
6.2 Ordre un

Pour e = 1, on obtient les quations :

2 2q0 + 4q11 (1)q0 + q11 (2) x(1)2 + (q11 (1) 2q11 (2) + q11 (3))x(2)2

+ ... + (q11 (i 1) 2q11 (i) + q11 (i + 1))x(i)2 + ... + (q11 (L 2) 2q11 (L 1) + q11 (L))x(L 1)2
2 + 2q0 + 4q11 (L)q0 + q11 (L 1) x(L)2 + (q11 (1) + q11 (L))T = 0, x R

En injectant q0 = 1/2 et en identiant, ces quations s'crivent :

1 2q11 (1) + q11 (2) = 0 2 q11 (i 1) 2q11 (i) + q11 (i + 1) = 0, i [|2, L 1|] 1 q11 (L 1) 2q11 (L) = 0 2 q11 (1) + q11 (L) = 0

(113)

On crit la rcurrence comme dans l'annexe A.3, ce qui permet d'avoir une criture plus propre. Il est remarquable de noter que ce systme d'quations tient pour toute valeur de L. La seule chose qui va faire changer quelque chose dans la solution du systme est la longueur L du terme de Bulk (c'est--dire le nombre d'quations de Bulk). Ce systme se rsout pour donner :

q11 (i) =

L 2i + 1 2L + 2

(114)

ce stade, il faut remarquer que les quations sur les q22 (i, j) sont diusives, ce qui donne l'ide d'utiliser, au moins pour les q22 (i, j)|j>i+1 , la forme i(L + 1 j)cte. L'utilisation des fonctions de corrlation de la partie diusive du systme pourra pargner beaucoup de peine lors des calculs des coecients restants. En connaissant d'avance une partie de la solution, on s'aide beaucoup pour trouver l'autre partie.
6.3 Ordre deux

Pour e = 2, on obtient plusieurs classes d'quations. Il y a d'abord L(L + 1)/2 termes indpendants en x2 x2 , qu'il faut annuler. L'criture des quations correspondantes est : i j

1 (q22 (i 1, i) + q22 (i, i + 1)), i [|1, L|]] 4 avec q22 (0, 1) = 0, q22 (L, L + 1) = 0 1 q22 (i, j)|j>i+1 = (q22 (i 1, j) + q22 (i + 1, j) + q22 (i, j 1) + q22 (i, j + 1)), i [|1, L|]] 4 q22 (i, i) =
Ce qui, au passage, peut s'crire de faon unique si on prend les q22 (i, j)|j<i nuls :

q22 (i, j)|j=i+1 =

1 (q22 (i 1, j) + q22 (i + 1, j) + q22 (i, j 1) + q22 (i, j + 1)), i [|1, L|]] 4 avec q22 (0, 1) = 0, q22 (L, L + 1) = 0, et q22 (i, i 1) = 0 (i [|0, L + 1|]])

(115)

28

L'quation complmentaire de celle l est :

q22 (i, i + 1) =

1 2(q11 (i) q11 (i + 1))2 + q22 (i 1, i + 1) + q22 (i, i + 2) + 6q22 (i, i) + 6q22 (i + 1, i + 1) 8 (116)

i [|1, L 1|]] , avec q22 (0, 2) = 0, et q22 (L 1, L + 2) = 0

Il faut noter qu'en n'injectant pas la valeur de q11 (i) trouve plus haut, on voit plus facilement qu'en remplaant, auquel cas le terme 2(q11 (i) q11 (i + 1))2 apparaitrait comme un gros chire (qui dpendrait de L et/ou de i), ce qui empcherait de voir ceci comme une quation gnrale. En fait dans la cas 2 prsent 2(q11 (i) q11 (i + 1))2 = (L+1)2 donc le terme reste assez transparent. Mais il est tout de mme plus clair de ne pas remplacer, et c'est d'autant plus vrai qu'on tudie des ordres plus levs. C'est la seule dirence relle avec la section prcdente 34 . On a mis beaucoup de zros articiels sur les bords, donc on fait un petit tableau pour voir que c'est en fait trs simple :

0 0

0 q1,1 0

0 q1,2 q2,2 0

0 q1,3 q2,3 q3,3 .. .

0 .. . 0

0 qL1,L1 0

0 q1,L q2,L q3,L . . . qL1,L qL,L 0

0 0 0 0 . . . 0 0 0

(117)

Ce tableau correspond en fait deux choses. D'une part on peut le voir comme une manire de prsenter les coecients qi,j , mais comme il y a aussi une quation par coecient, on peut le lire comme une table d'quations (il faudrait alors remplacer chaque case par l'quation correspondante). Il y a aussi un terme constant et des termes en x2 qu'il faut annuler, et pour cela on doit vrier les i quations :

0 = q11 (1) q11 (L) +q12 (1) +q12 (L) 0 = 6q22 (1, 1) +q22 (1, L) +q12 (2) 2q12 (1) +2q11 (1)(q11 (1) 1) 0 = q22 (1, i) +q22 (i, L) +q12 (i 1) 2q12 (i) +q12 (i + 1) 0 = q22 (1, L) +6q22 (L, L) +q12 (L 1) 2q12 (L) +2q11 (L)(q11 (L) + 1)

(118)

Qui sont elles aussi systmatiques et ne dpendent de L que par la longueur L de la chane d'quations de bulk, et du mme eet dans les termes des ordres plus bas (q11 (L) dpend de L). Injectant une solution de type i(L + 1 j) pour les termes qi,j>i+1 , on simplie grandement le systme, et on trouve (plus facilement) la mme solution que plus haut. Ce qui est satisfaisant est l'aspect systmatique de la mthode, et le fait qu'on n'ait pas jouer aux devinettes avec les fonctions rationnelles de L. Par rapport l'ordre un, on est pass d'une rcurrence sur un indice une rcurrence avec deux indices.
6.4 Ordre trois

Les choses se corsent, comme on peut l'imaginer. Il y a des quations sur les q13 , similaires celles sur les q12 et q11 (Comme la rcurrence A.3). Il y a des quations sur les q23 , qui sont de mme forme le tableau d'quation des q22 . En revanche celles sur les q33 sont toutes nouvelles ! Elles forment un cube 35 , la manire dont les q23 forment un carr/une matrice, et les q13 une ligne. Comme on l'a vu plus haut, il vaut mieux ne pas remplacer les qnm prcdents par leur valeur explicite, cela permet d'y voir plus clair. Prcdemment, on avait utilis les corrlations deux points comme ansatz pour les termes de bulk du tableau des q22 . Or on ne les connait pas, on ne peut donc
34. Il faut faire attention tout de mme, comme ici on n'utilise pas 1/(2Ti ) pour les premiers ordres, les coecients q1, sont dirents des a1, trouvs dans la section prcdente. 35. Ou bien un tenseur d'ordre trois.

29

pas faire cela. Le plus naturel serait de remplacer par la fonction trois points d'un systme purement diusif, ce qui a t essay (en prenant pour rfrence le bulk du SEP), mais sans succs pour l'instant. De plus, pour les q22 , il n'y avait que deux sortes d'quations vritablement direntes. Celles issues des t qi,i+1 et les autres (pour les qi,i et pour les qi,j>i+1 ). Ici il y en a quatre sortes, juste pour le cube des q33 (elles traitent des termes en x2 x2 x2 du dveloppement de WP ). Comme les q33 sont les i j k coecients qui apparaissent le plus, on les note q et les autres sont dcrits explicitement. Si deux indices sont conscutifs (voisins) et le troisime distinct et spar, alors on a une quation : (ici on prend par exemple k = j + 1, j > i + 1) :

0 = 10qi,j,j+1 + qi1,j,k + 6qi,j+1,j+1 + qi,j1,j+1 + 6qi,j,j + qi,j,j+2 + 4(q22i,j q22i,j+1 )(q11j q11j+1 )
(119) Si deux indices sont conscutifs (voisins) et le troisime identique l'un d'eux (par exemple 3, 3, 4 ou 5, 6, 6) ou bien que les trois sont conscutifs (i, i + 1, i + 2), alors on a, respectivement :

0 = 14qj1,j,j+1 + 6qj,j,j+1 + qj2,j,j+1 + 6qj1,j+1,j+1 + 6qj1,j1,j+1 + qj1,j,j+2 + 6qj1,j,j + 4q11j1 (q22j1,j+1 q22j,j+1 ) 4q11j+1 (q22j1,j q22j1,j+1 ) + 4q11j (q22j1,j 2q22j1,j+1 + q22j,j+1 ) 0 = 14qj,j,j+1 + 15qj,j,j + qj,j,j+2 + 6qj,j+1,j+1 + qj1,j,j+1 + 4(q11j+1 q11j )(q22j,j+1 2q22j,j )
(120) Si deux indices exactement sont identiques (et le troisime n'est pas voisin), ou bien qu'ils sont tous distants (i 1 < j < k + 1), alors on a quelque chose en :

6qi,j,k + qi1,j,k + qi,j1,k + qi,j,k1 = 0

(121)

Comme on le voit, c'est plus compliqu que pour q22 . Les coecients numriques prsents ne sont pas sans rappeler (2.2.3). Il est dicile d'y voir clair lorsqu'on observe le cube d'quations (par rapport la matrice). D'abord parce que c'est un cube, mais aussi parce qu'il faut tre L = 6 au moins pour voir le bulk sortir de l'ensemble bords + diagonale + "co-diagonales" (pas forcment accoles, on est dans un cube). Les quations dtailles sont consultables dans le chier "Calcul de la solution a tous les ordres.nb". Elles n'y sont pas rsolues. Comme l'ordre deux, on voit combien il pourrait tre utile de connatre au moins l'une des fonctions de corrlation (connexes) trois points pour pouvoir remplacer, par exemple qi,j,k t.q. i 1 < j < k + 1 par sa valeur. Le problme est que les corrlations trois points ne sont pas connues. De plus, mme en connaissant une partie de la solution (comme dans l'exemple donn) on n'est pas certain de pouvoir rsoudre les rcurrences plusieurs indices sous-jacentes au systme d'quations sur les q33 , donnes en "cube". Le calcul de la solution d'ordre trois est proche d'tre quivalent celui des fonction de corrlations trois points (surtout si on sait dj rsoudre l'ordre deux). On va donc essayer de trouver les corrlations trois points.

7 Coecients de corrlation d'ordre trois

En suivant ce qui a dj t fait pour les fonctions deux points, on va essayer de trouver les fonctions de corrlation trois points. On commence par calculer les quations sur les fonctions trois points. On va faire tous les calculs d'un coup, an de gagner en clart. On se place dans le cadre a = b = 1, puisqu'on

30

sait maintenant que le cas contraire n'est pas fructueux pour ce qui est des fonctions de corrlations.

dCijk dt

=S

dk + permutations circulaires dt =S i j (2 k k+1 k,k+1 2 k k1 k,k1 ) + p.c. i j k k+1 =I 2i j k k+1 k,k+1 ( + + + ) terme ngatif + p.c. 2i 2j 4k 4k+1 2 k k+1 2 k k+1 I i,k+1 ( 0) + jk j,k+1 ( 0) = i j k k+1 k,k+1 (i,j k k k k+1 k k+1 + ) terme ngatif + p.c. k k+1 i j

Comme on a l'ordre i j k , les combinaisons i,k+1 et j,k+1 sont impossibles, d'o les ( 0). C'est la dirence essentielle entre les dirents termes de la permutation circulaire, les combinaisons impossibles ne sont jamais les mmes 36 . On s'pargne les calculs intermdiaires pour arriver :

dCi,j,k dt

=I ik 2Ci,j,k+1 + jk 2Ci,j,k+1 + Ci,j,k+1 Cijk ngatif + c.p. =I 4ik (Ck,k,k+1 + Ck1,k,k ) + 4jk (Ci,k,k+1 + Ci,k1,k ) + 4ij (Ci,i+1,k + Ci1,i,k ) 4i,k1 Ck1,j,k 4j,k1 Ci,k1,k 4i,j1 Ci,i+1,k + Ci1,j,k + Ci,j1,k + Ci,j,k1 6Ci,j,k
(122)

Compte tenu de i j k , il y a 8 combinaisons possibles de symboles de Kronecker, plus la possibilit de n'en avoir aucun, ce qui donne donc 9 quations linairement indpendantes 37 .

t Ci,j,k = Ci+1,j,k + Ci1,j,k + Ci,j+1,k + Ci,j1,k + Ci,j,k+1 + Ci,j,k1 t Ciii = 15Ci1,i,i + 15Ci,i,i+1 6Ci,i,i t Ci,k,k = Ci+1,k,k + Ci1,k,k + 6Ci,k,k+1 + 6Ci,k1,k 6Ci,k,k t Ci,k1,k = Ci+1,k1,k + Ci1,k1,k + Ci,k2,k + Ci,k,k + Ci,k1,k1 + Ci,k1,k+1 10Ci+1,k1,k t Ci,i,k = 6Ci,i+1,k + 6Ci1,i,k + Ci,i,k+1 + Ci,i,k1 6Ci,i,k t Ci,i+1,k = Ci+1,i+1,k + Ci1,i+1,k + Ci,i,k + Ci,i+2,k + Ci,i+1,k1 + Ci,i+1,k+1 10Ci+1,i+1,k t Ci,i,i+1 = 6Ci1,i,i+1 + 6Ci,i+1,i+1 + Ci,i,i + Ci,i,i+2 14Ci,i,i+1 t Ci,i+1,i+1 = 6Ci,i+1,i+2 + 6Ci,i,i+1 + Ci+1,i+1,i+1 + Ci1,i+1,i+1 14Ci,i+1,i+1 t Ci,i+1,i+2 = Ci+1,i+1,i+2 + Ci1,i+1,i+2 + Ci,i,i+2 + Ci,i+2,i+2 + Ci,i+1,i+1 + Ci,i+1,i+3 14Ci,i+1,i+2
Souvenons nous que pour les fonctions deux points, il n'y avait que deux symboles de Kronecker, et seulement trois quations linairement indpendantes (dans le cas a = b = 1 bien sr). On avait alors russi trouver une paire d'ansatz solutions avec "seulement" 7 coecients indpendants (4 pour Ci,j et 3 pour Ci,i ). Ici, a va tre un peu plus pnible. On va essayer des solutions polynomiales en i, j, k avec i, j, k ordonns. Simplement il faut se donner plus de souplesse sur le nombre d'ansatz. Traitons tout de suite les conditions aux bords. Pour une quation sur C1,j,k par exemple, il va apparaitre une fois le terme 0 j k C0,j,k . Il va falloir le remplacer par Ta j k . C'est la manire 2 la plus ecace de traiter les conditions aux bords. On utilisera donc les rsultats sur les fonctions un et deux points. L'ansatz utilis est trs souple : c'est un polynme en i, j, k (d'ordre trois au maximum toutes variables confondues), donc 8 coecients. Il y a autant d'ansatzs que d'quations indpendantes, donc 9. Cela porte 72 le nombre de coecients indpendants, contre 8 l'ordre deux (avant de rduire 7 cause de l'galit i = j pour Ci,i ). L'ansatz utilis est :

Fi,j,k = a00 + a11.i + a12.j + a13.k + a21.i.j + a22.j.k + a23.i.k + a33.i.j.k

(123)

36. On utilise la convention Coef fi1 = Coef fi+1 + Coef fi1 . 37. En tenant compte de la ncessaire symtrie des sites 1 et L, on peut rduire ce nombre, mais il est plus simple d'aborder le systme comme on le fait l.

31

Les calculs sont tous prsents dans le chier "Correlations a trois points.nb". Ils n'aboutissent pas, c'est--dire que les quations sont incompatibles avec l'ansatz utilis. Une piste explorer serait d'augmenter la taille du polynme en incluant par exemple un terme en i2 j . On pourrait ensuite rduire le nombre de coecients apparents en tenant compte par exemple de j = k pour Ci,j,j , ce qui peut aider pour y voir clair. Il faut galement s'assurer que la symtrie entre les sites 1 et L est respecte, ce qu'on peut aussi utiliser d'entre de jeu pour valider les quations. galement, dans [11], l'quation (2.5) donne une ide de la fonction de corrlation ordre trois qu'on pourrait souhaiter obtenir pour KMP.

Conclusion
Durant ce stage, j'ai pu me familiariser avec quelques notions de base de la physique statistique : quation de Langevin, de Fokker Planck, distinction It et Stratonovich, fonctions de corrlation. Les deux principaux rsultats de ce mmoire sont des rsultats ngatifs, ce qui les rend peu plaisants, et peu satisfaisants. En eet j'ai montr que la gnralisation de KMP avec des taux d'change brise une rgularit importante de la fonction de distribution, et que la mthode des matrices ne peut pas tre transpose de SSEP KMP. Sur la n de mon stage, j'ai pu m'carter du sujet d'origine et esquisser une rsolution quasi-directe du problme, par une mthode perturbative. Cette dernire approche mrite sans doute encore un peu de temps, car c'est une clef pour comparer le SSEP et KMP. L'approche continue, l'aide de thorie des champs et en particulier des fonctions de grande dviation, que je n'ai pas eu le temps de dvelopper, parat prometteuse. C'est peut-tre cette piste qui permettra bientt d'avoir une description claire des systmes hors de l'quilibre. Je remercie chaleureusement Frderic van Wijland, Hugo Jacquin et Vivien Lecomte pour leur accueil et leur aide durant mon stage Paris 7. Je tiens remercier plus particulirement Frderic pour son temps, ses conseils de lecture, mais plus encore pour ses claircissements qui m'ont toujours sorti de l'errance dans laquelle mon sujet me plongeait parfois.

32

Table des matires

1 Prrequis
1.1 1.2 1.3 Phnomne physique dcrit, gnralits . . . . . . . . . . . KMP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.1 Description physique du systme . . . . . . . . . . . 1.2.2 Les quations qui dnissent le modle . . . . . . . . SSEP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.1 Description physique . . . . . . . . . . . . . . . . . . 1.3.2 Les quations qui dnissent le modle . . . . . . . . 1.3.3 Remarques sur les rservoirs de particules du SSEP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3 6 6 6 6 6 7 7

2 Calculs simples sur KMP

2.1 2.2

2.3

Lecture des quations : It et Stratonovich . . . . . . . . . . . . . . . . . . . Drivation d'quations sur les moments associs. . . . . . . . . . . . . . . . 2.2.1 Drivation des quations pour l'nergie . . . . . . . . . . . . . . . . . 2.2.2 Drivation des quations sur les fonctions de corrlation de l'nergie 2.2.3 Remarques sur les coecients trouvs . . . . . . . . . . . . . . . . . Solutions des systmes d'quations prcdents . . . . . . . . . . . . . . . . . 2.3.1 Valeur moyenne de l'nergie . . . . . . . . . . . . . . . . . . . . . . . 2.3.2 Coecients de corrlation . . . . . . . . . . . . . . . . . . . . . . . .

8 9 9 11 13 14 14 15

3 Gnralisation du modle KMP

3.1 3.2 4.1 4.2 4.3 5.1 5.2 5.3

Calcul des termes correctifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Analyse des rsultats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 La mthode des matrices pour le SSEP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Adaptation KMP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 Rsultat des calculs l'ordre deux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 d'quilibre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

16

4 Parallle SSEP / KMP

19

5 Solution approche l'ordre deux

Solution d'ordre zro : solutions Solution d'ordre un . . . . . . . Solution d'ordre deux . . . . . 5.3.1 Coecients a2,2 . . . . . i,j 5.3.2 Coecients a2,1 . . . . i Ordre Ordre Ordre Ordre zro . un . deux trois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

22

23 23 24 24 25

6 Calculs tous les ordres

6.1 6.2 6.3 6.4

27

28 28 28 29

7 Coecients de corrlation d'ordre trois A Appendice

30 34

A.1 Calcul des quations de base en lecture Stratonovich . . . . . . . . . . . . . . . . . . . . . 34 A.2 quations sur les fonctions de corrlation . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 A.3 Rcurrence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

33

A Appendice
A.1 Calcul des quations de base en lecture Stratonovich

On calcule ici le terme not plus haut X pour les 3 quations du modle.

1 dx1 I = ( + a )x1 + x2 1,2 2a Ta a,1 dt 2 dx1 S 1 x2 = X ( + a )x1 + (x2 + )1,2 2a Ta a,1 dt 2 2 1 dx1 S 1 2 = X ( + a )x1 + x2 1,2 2a Ta a,1 x1 1,2 dt 2 2 dx1 1 dans les deux cas. X = x1 pour avoir la mme valeur moyenne de 2 dt dx1 S = a x1 + x2 1,2 2a Ta a,1 dt dxj dt dxj dt dxj dt X dxj dt =I xj + xj+1 j,j+1 xj1 j,j1 xj+1 xj1 )j,j+1 (xj1 + )j,j1 2 2 1 1 2 2 =S X xj + xj+1 j,j+1 xj1 j,j1 xj j,j+1 xj j,j1 2 2 = xj =S X xj + (xj+1 + =S xj+1 j,j+1 xj1 j,j1

dxL I 1 = ( + b )xL xL1 L,L1 2b Tb L,b dt 2 dxL S 1 xL+1 = X + ( + b )xL (xL+1 + )L,L1 2b Tb L,b dt 2 2 dxL S 1 1 2 = X + ( + b )xL xL1 L,L1 2b Tb L,b xL L,L1 dt 2 2 1 X = xL 2 dxL S = b xL xL1 L,L1 2b Tb L,b dt
A.2 quations sur les fonctions de corrlation

dCL,L dt

= 2L

dL dt

=S 4b 2 4L L L1 L,L1 + 4L L b Tb b,L L 3L L1 3L =I 4b 2 4L L L1 + L,L1 + 4L L b Tb b,L L 4L 4L1 4L 6 L L1 2 L L1 6 L b Tb = 4b CL,L 4L L L1 + L,L1 + 4L L b Tb b,L 4L 4L1 4L = CL,L (4b + 2) + 6CL,L1 + 6L b Tb

dCj,L dt

= j

dL dj + L dt dt
34

 =S 2b j L + 2j L b Tb b,L 2j L L1 + 2L j j+1 j,j+1 2L j j1 j,j1 j L L1 =I 2b j L 2j L L1 L,L1 + + 2j 4L 4L1 L + 2j L b Tb b,L 4L L j j+1 + 2L j j+1 + + j,j+1 2L 4j 4j+1 j j1 + j,j1 2L j j1 4j 4j1 2 L L1 2 L L1 2 L L1 = 2b Cj,L 2j L L1 j,L1 + 2j 4L 4L1 2 L b Tb + 2j L b Tb 4 L 2 j j+1 2 j j+1 2 j j+1 j,L1 + + 2L j j+1 2L 4j 4j+1 2 j j1 2 j j1 2L j j1 + 4j 4j1 = Cj,L (2b + 2j,L1 + 1 + 1 + 1) + Cj,L1 + j b Tb + Cj+1,L + Cj1,L = Cj,L (2b + 3 + 4j,L1 ) + Cj,L1 + j b Tb + Cj+1,L + Cj1,L
Ce qui donne, pour j < L 1 :

dCj,L dt
Et pour j = L 1 :

= Cj,L (2b + 3) + Cj,L1 + j b Tb + Cj+1,L + Cj1,L

dCL1,L dt

= CL1,L (2b + 7) + CL1,L1 + L1 b Tb + CL,L + CL2,L

ce qui est exactement ce quoi on pouvait s'attendre en regardant C1,2 (et mme, pour tre honnte, a permet de vrier les calculs prcdents !)
A.3 Rcurrence

On rsout ici le systme :

(L)2a1 + a2 = 0 ai1 2ai + ai+1 = (L), i [|2, L 1|] aL1 2aL + (L) = 0 a1 +aL + (L) = 0
Il sut maintenant de faire une rcurrence simple sur la relation de bulk pour trouver

(124) (125) (126) (127)

ai+n =

n(n + 1) + (n + 1)ai nai1 2

(128)

Prenant i = 2, et utilisant la relation entre a1 et a2 ,

a2+n =

n(n + 1) + (n + 1)a2 na1 2 n(n + 1) + (n + 2)a1 (n + 1) = 2

35

(129) (130)

Prenant n = L 3, qui est la valeur maximale autorise, et qui signie qu'on a pleinement utilis les L 2 quations du bulk, on connait l'expression de aL1 en fonction de a1 .

aL1 = aL1

(L 3)(L 2) + (L 1)a1 (L 2) 2 = 2aL = 2(a1 ) (L 3)(L 2) + 2 (L 2) + 2

(131) (132) (133) (134)

(L + 1)a1 =

En remplaant n par n 2 dans l'expression de an2 on obtient le rsultat nal :

an =

n2 6 + (L2 2L + 9) + 2(2 + )n ++ 2 2(L + 1)

(135)

Cette relation est valable quels que soient , , , .

Rfrences
[1] C. Giardina, J. Kurchan, and F. Redig. Duality and exact correlations for a model of heat conduction. Journal of Mathematical Physics, 48 :033301, 2007. [2] B. Derrida, MR Evans, V. Hakim, and V. Pasquier. Exact solution of a 1D asymmetric exclusion model using a matrix formulation. Journal of Physics A : Mathematical and General, 26 :1493, 1993. [3] C. Kipnis, C. Marchioro, and E. Presutti. Heat ow in an exactly solvable model. Statistical Physics, 27 :6574, January 1982.
Journal of

[4] L. Bertini, A. De Sole, D. Gabrielli, G. Jona-Lasinio, and C. Landim. Large deviations for the boundary driven symmetric simple exclusion process. Mathematical Physics, Analysis and Geometry, 6(3) :231267, 2003. [5] V. Lecomte, A. Imparato, and F. Van Wijland. Current uctuations in systems with diusive dynamics, in and out of equilibrium. Arxiv preprint arXiv :0911.0564, 2009. [6] A. Imparato, V. Lecomte, and F. Van Wijland. Equilibriumlike uctuations in some boundary-driven open diusive systems. Physical Review E, 80(1) :11131, 2009. [7] NG van Kampen. [8] R.J. Baxter.
Stochastic processes in physics and chemistry

. North-Holland, 2007.
Soviet Sci. Rev. Sect. C :

Exactly solved models in statistical mechanics

. Academic Press, 1982.

[9] LD Faddeev. Quantum completely integrable models in eld theory. Math. Phys. Rev, 1 :107156, 1980.

[10] V. Hakim and JP Nadal. Exact results for 2D directed animals on a strip of nite width. of Physics A : Mathematical and General, 16 :L213, 1983. [11] B. Derrida, JL Lebowitz, and ER Speer. Entropy of open lattice systems. Physics, 126(4) :10831108, 2007.

Journal

Journal of Statistical

36