Vous êtes sur la page 1sur 112

Transport de particules : modles, simulation, et

applications
Notes de cours (version provisoire du 2 dcembre 2015)
Luc Mieussens

Table des matires


Avant propos

1 Thorie cintique des gaz


1.1 Introduction : descriptions particulaire, macroscopique,
dynamique des gaz . . . . . . . . . . . . . . . . . . . .
1.1.1 Description molculaire dun gaz monoatomique
1.1.2 Description macroscopique . . . . . . . . . . . .
1.1.3 Description cintique . . . . . . . . . . . . . . .
1.1.4 Quelle description utiliser ? . . . . . . . . . . . .
1.2 quation de Boltzmann . . . . . . . . . . . . . . . . .
1.3 Proprits de loprateur de collision . . . . . . . . . .
1.4 Lien cintique/macroscopique : les lois de conservation
1.5 Thorme H et convergence vers lquilibre . . . . . . .
1.5.1 Dissipation dentropie . . . . . . . . . . . . . .
1.5.2 Convergence vers lquilibre. . . . . . . . . . . .
1.6 Modle BGK . . . . . . . . . . . . . . . . . . . . . . .
1.7 Interaction gaz-paroi solide . . . . . . . . . . . . . . . .
1.7.1 Flux paritaux . . . . . . . . . . . . . . . . . .
1.7.2 Conditions de rflexion . . . . . . . . . . . . . .
1.8 Proprits du gaz lquilibre . . . . . . . . . . . . . .
1.8.1 Vitesse thermique . . . . . . . . . . . . . . . . .
1.8.2 Tenseur des contraintes . . . . . . . . . . . . . .
1.8.3 Flux de chaleur . . . . . . . . . . . . . . . . . .
1.8.4 Entropie . . . . . . . . . . . . . . . . . . . . . .
1.9 Retour sur les notions de contraintes, de pression, et de
le gaz . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.10 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . .

et cintique pour la
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
flux de chaleur dans
. . . . . . . . . . . .
. . . . . . . . . . . .

2 Transfert radiatif
2.1 Modlisation cintique de lnergie de
2.1.1 Intensit spcifique . . . . . .
2.1.2 Flux de chaleur . . . . . . . .
2.1.3 Pression de radiation . . . . .
2.2 Radiation du corps noir . . . . . . .
2.3 quation de transport . . . . . . . .

.
.
.
.
.
.

radiation
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

9
9
10
11
14
17
17
18
20
20
21
22
23
23
26
28
28
29
30
30
30
33
35
36
36
37
38
39
42

TABLE DES MATIRES


2.4

TABLE DES MATIRES

Couplage avec lvolution de la temprature du matriau . . . . . . . . . . .

3 Analyse asymptotique
3.1 Analyse dimensionnelle pour la dynamique des gaz .
3.2 De Boltzmann Euler . . . . . . . . . . . . . . . . .
3.3 De Boltzmann Navier-Stokes . . . . . . . . . . . . .
3.4 Transfert radiatif dans un matriau opaque : limite de
3.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . .
. . . . . .
. . . . . .
diffusion
. . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

44
47
47
49
50
55
58

4 Modlisation des sprays


4.1 Description des particules . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.1 Position et vitesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.2 Rayon et temprature . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Modle cintique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.1 Densit de particules . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.2 quation cintique . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3 Effet des particules sur le fluide . . . . . . . . . . . . . . . . . . . . . . . . .
4.4 Modles macroscopiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5 Un exemple dapplication : modlisation de lattnuation des vagues par la pluie

59
60
60
61
62
62
62
64
65
67

5 Mthodes numriques

69

6 Application aux coulements incompressibles : la mthode "Boltzmann sur


rseau"
6.1 quations de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2 Rgime bas Mach : de Boltzmann Stokes . . . . . . . . . . . . . . . . . . .
6.2.1 Modle BGK linaris . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2.2 Adimensionnement . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2.3 Analyse asymptotique . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2.4 Retour aux variables dimensionnelles . . . . . . . . . . . . . . . . . .
6.3 Discrtisation en vitesse : le modle D2Q9 . . . . . . . . . . . . . . . . . . .
6.4 Discrtisation en temps et espace : mthode de Boltzmann sur rseau . . . .
6.4.1 Discrtisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.4.2 Analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.4.3 Rsum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.4.4 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.5 Mise en oeuvre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.6 Extensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

71
72
72
73
74
74
80
81
83
83
85
88
89
89
90

A Loprateur de collision de Bolzmann


93
A.1 Proprits de conservation de Q(f ) . . . . . . . . . . . . . . . . . . . . . . . 94
A.2 Proprits de loprateur de collision : thorme H et convergence vers lquilibre 97

TABLE DES MATIRES

TABLE DES MATIRES

B Calculs fastidieux mais nanmoins ncessaires ...


B.1 Drives de la maxwellienne . . . . . . . . . . . . . . . . . . . . .
B.2 Intgrales de gaussienne unidimensionnelle . . . . . . . . . . . . .
B.3 Moments de la maxwellienne absolue M0 en dimension quelconque
B.4 Calcul de hV V (B(V ) : x u) M0 (V )i . . . . . . . . . . . . . . .
B.5 Calcul de h 12 V |V |2 (A(V ) x T ) M0 (V )i . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

101
101
101
102
105
106

C La formule du transport de Reynolds

107

Bibliographie

110

Avant propos
La thorie cintique permet de dcrire lvolution dun systme de particules dfinies par
leurs positions et leurs vitesses (do le terme cintique). Cette thorie a t dveloppe
avec succs au XIXe sicle, pour lessentiel par Maxwell et Boltzmann, pour modliser les gaz
en les considrant comme un ensemble de molcules. Malgr ses nombreux succs, la thorie
cintique des gaz a t un peu relgue au second plan au dbut du XXe sicle, puis elle a
connu une renaissance dans les annes 1950 quand Chandrasekhar la applique la thorie
du rayonnement, ou transfert radiatif, qui dcrit la propagation des photons dans un milieu.
Le dveloppement de lingnierie nuclaire a ensuite vu la thorie cintique se dvelopper de
faon considrable pour modliser le transport des neutrons dans un racteur. Cest encore
aujourdhui le domaine dans lequel la thorie cintique est la plus utilise.
La thorie cintique des gaz est quant elle revenue la mode dans les annes 1980
pour des tudes darodynamique, avec le problme de la rentre atmosphrique (quand
une capsule ou une navette rentre dans latmosphre avec une vitesse extrmement grande).
Encore plus rcemment, lindustrie des pompes vide et celle des micro-systmes lectromcaniques ont suscit de nouvelles recherches en thorie cintique des gaz.
Dautres domaines de la physique utilisent cette thorie, comme la physique des plasmas,
o la thorie cintique peut servir dcrire lvolution dun ensemble de particules charges,
ou la physique des semi-conducteurs, o les particules modlises sont alors des lectrons,
ou encore lingnierie de la combustion, o les particules sont les gouttelettes de carburant
injectes dans la chambre de combustion.
Depuis quelques annes, la thorie cintique se voit applique un grand nombre de
problmes issus de la biologie, de la mdecine, ou de ltude du comportement humain. Citons
par exemple la modlisation des mouvements de grands ensembles danimaux (vols doiseaux,
bancs de poissons, colonies de fourmis), de mouvement damas de cellules, du dplacement
de foules humaines, du trafic routier, etc. Les particules de la thorie cintique sont ici des
individus (animaux, cellules, personnes, voitures) anims de mouvement individuels donnant
naissance un mouvement collectif.
La thorie cintique a donc un champ dapplication extrmement vaste. Lobjet de ce
cours nest videmment pas de traiter tous ces exemples en dtail. Au contraire, nous nous
concentrerons principalement sur deux domaines particuliers que sont la thorie cintique
des gaz et le transfert radiatif. Cependant, afin dillustrer la varit de problmes qui peuvent
bnficier de la thorie cintique, nous ferons mme une rapide incursion en ocanographie
en montrant comment la thorie cintique peut tre utilise pour modliser leffet de la pluie
sur les vagues.

Chapitre 1
Thorie cintique des gaz
1.1

Introduction : descriptions particulaire, macroscopique,


et cintique pour la dynamique des gaz

Dans cette section, nous expliquons comment on peut dcrire un gaz diffrentes chelles.
Ce gaz est constitu dune seule espce de molcules (de mme masse m), elles-mmes constitues dun seul atome. De tels gaz sont par exemple lhydrogne ou largon, frquemment
utilis dans les expriences de dynamique des gaz. Un gaz comme de lair nentre pas dans
cette catgorie, puisquil est constitu, pour lessentiel, de deux espces diffrentes (loxygne
et lazote), chaque espce tant constitus de molcules deux atomes.
Selon que le domaine que lon considre contient un nombre plus ou moins grand de
molcules, telle ou telle description sera plus adapte.

1.1.1

Description molculaire dun gaz monoatomique

Considrons N molcules : au cours du temps t, une molcule (de numro i) peut tre
dcrite par sa position xi (t) et sa vitesse vi (t). La variation en temps de ces deux variables
suite la loi de la dynamique de Newton :
x0i (t) = vi (t),
mvi0 (t) = Fi (t),
o Fi (t) reprsente la somme des forces sexerant sur la molcule. Cette force peut se
dcomposer en la somme des forces exerces distance par chaque molcule
P j 6= i, que lon
peut dcrire laide dun potentiel intermolculaire, et lon a ainsi Fi (t) = j6=i U (xi (t)
xj (t)). Le but de ce cours ntant pas de donner une description prcise de ce modle, nous
ne dirons rien de plus sur cette force. Il convient juste de remarquer que ce terme couple
toutes les molcules entre elles, et donc que lensemble de N molcules est dcrit par un
systme de 2N quations diffrentielles non linaires.
Un tel systme peut donc a priori tre rsolu laide de mthodes classiques dj vues
en L3 (mthodes de Runge-Kutta, mthodes multi-pas, etc.). On parle alors de mthode de
dynamique molculaire. La difficult essentielle de ce systme est quen gnral, N est trs

10

grand. titre dexemple, le nombre de molcules dans un cm3 pression et temprature


ambiante est 2.7 1019 .
Mme avec les ordinateurs actuels, la simulation dun tel systme nest faisable que pour
des ensembles dau plus 108 molcules, sur des temps dau plus 100 ns 1 . Cest pourquoi
la dynamique molculaire nest utilise que pour tudier des systmes trs particuliers :
interaction dun gaz avec une paroi solide par exemple.

1.1.2

Description macroscopique

Si le nombre de molcules contenu dans le domaine considr est extrmement grand, il


est pertinent de considrer le gaz comme un milieu continu, appel aussi fluide. On peut
donc le dcrire au moyen de quantits moyennes, en particulier les suivantes :
la masse volumique (t, x) ou densit volumique de masse : cest la masse de gaz par
unit de volume (par un abus de langage extrmement frquent, cette quantit est souvent
appele simplement "densit"). Ainsi, la masse de gaz dans un petit volume dx autour de
la position x au tempsR t est (t, x)dx. Par consquent, la masse dun volume R3 de gaz
sera dfinie par M = (t, x) dx. Lunit standard de est kg.m3 .
la vitesse u(t, x) vecteur de R3 , reprsente la vitesse du fluide au point x linstant
t. La quantit (t, x)u(t, x) est donc la quantit de mouvement (ou impulsion) par unit
de volume. Par un autre abus de langage, on lappelle souvent simplement la quantit de
mouvement. Lunit standard de u est m.s1 .
la temprature T (t, x) qui rend compte de lagitation des molcules de gaz. Son unit
standard est K (273 K 1 C).
Dautres quantits peuvent tre dfinies, comme :
la pression p(t, x) : elle reprsente la force normale exerce par les molcules de gaz sur
une surface plane. Pour un gaz parfait (comme ceux considrs dans ce cours), cette quantit
peut tre relie la masse volumique et la temprature par la loi dtat p = RT , o R est
la constante du gaz considr. Cette constante est dfinie par le rapport R = k/m, o m est
la masse dun molcule de gaz et k est la constante universelle de Boltzmann (k 1.381 1023
J.K1 ). Pour largon, on a m = 0.663 1025 kg et donc R 208 J.kg1 .K1 . Lunit de p est
N.m2 .
la densit volumique dnergie totale E(t, x) (souvent appele nergie totale tout
court, dfinie par E = 12 |u|2 + 32 RT . Elle se dcompose en une densit dnergie cintique
moyenne 21 |u|2 et une densit dnergie interne 32 RT . Lunit de ces densit dnergie est
J.m3 .
1. Remarquer quune mthode comme le schma dEuler explicite appliqu ce systme ncessiterait
chaque pas de temps le calcul de N forces Fi , chacune ncessitant le calcul de N termes. On aurait ainsi un
cot en O(N 2 ), ce qui est bien trop coteux pour atteindre la simulation de 108 molcules. Une mthode
numrique rvolutionnaire, la mthode multiples ne dans les annes 1990, permet de rduire ce cot
O(N ), et donc de faire des calculs tels que celui indiqu.

11

Diffrents modles existent en mcanique pour dcrire lvolution de ces quantits. Un


modle courant en arodynamique est constitu des quations dEuler pour un gaz compressible (dites Euler compressible) :
t + u = 0,
t u + (u u) + p = 0,
t E + (E + p)u = 0.

(1.1)

Ce systme est constitu de trois lois de conservation : de la densit de masse, de la quantit de


mouvement, et de lnergie. Il sagit dun systme non linaire qui dcrit bien la propagation
des ondes de choc dans un gaz. Par contre, il ne tient pas compte des effets dissipatifs
(diffusion de la quantit de mouvement et de la chaleur).
Quand on veut dcrire ces effets dissipatifs pour un gaz compressibles, il faut alors utiliser
les quations de Navier-Stokes (dites Navier-Stokes compressible) :
t + u = 0,
t u + (u u) + p = ,
t E + (E + p)u = q (u),

(1.2)

o et q sont le tenseur des contraintes de cisaillement et le flux de chaleurs, dfinis par



2
= u + (u)T uI
3

et

q = T,

(1.3)

et o et sont les coefficients de viscosit et de transfert thermique, dpendants de T . La


premire relation, qui tablit une relation linaire entre et u, est appele loi de Newton.
La deuxime, qui tablit une relation linaire entre le flux de chaleur et le gradient de
temprature, est la loi de Fourier.
Les quations de Navier-Stokes compressibles constituent le modle le plus complet de
la mcanique des milieux continus pour dcrire le gaz. Il existe bien dautres modles pour
dcrire des situations plus particulires : coulements incompressibles, propagation dondes
acoustiques dans un gaz au repos, etc., et nous en verrons quelques uns plus tard.

1.1.3

Description cintique

prsent, nous nous plaons dans une situation intermdiaire : il y a beaucoup de


molcules, mais pas trop. Cette situation un peu floue sera claircie dans la section suivante.
Dans ce cas, nous allons encore utiliser une masse volumique, mais avec une notion de
volume un peu modifie.
On considre donc la fonction de distribution f (t, x, v) qui est la densit de masse de gaz
par unit de volume dans lespace position-vitesse (appel espace des phases). Autrement
dit, la masse des molcules de gaz prsentes dans un petit volume dx autour du point x dont
le vecteur vitesse est dans un petit lment dv autour de v est f (t, x, v)dxdv. Contrairement
la densit dfinie prcdemment, la densit f ne prend en compte que les molcules ayant
une certaine vitesse.

12

Pour viter toute ambigut, nous noterons parfois diffrement les espaces des variables
position vitesse : ainsi, nous noterons R3x pour lespace R3 des positions x, et de mme R3v
pour lespace R3 des positions v.
Il est possible de faire le lien entre la densit f et les densits prcdentes. Pour la
densit de masse , qui est la masse de gaz par unit de volume, procdons comme suit.
Notons que par dfinition de f , la masse des molcules de gaz dans le volume dx autour
de x dont la vitesse est dans dv autour de v est f (t, x, v) dxdv. La masse de gaz Mdx dans
le volume dx (cest--dire la masse de toutes les molcules, quelle que soit leur vitesse)
sobtient
naturellement en sommant sur toutes les vitesses possibles pour trouver Mdx =
R
( R3 f (t, x, v) dv)dx. La densit de masse (t, x) sobtient donc en divisant Mdx par dx et lon
trouve
Z
(t, x) =
f (t, x, v) dv.
(1.4)
R3

Pour la quantit de mouvement, procdons maintenant plus rapidement : notons que la


quantit de mouvement par unit de volume des molcules en x ayant une vitesse dans dv
autour de v est v { la masse de ces molcules} = vf (t, x, v) dv. Ainsi, la quantit de
mouvement des molcules par unit de volume en x est :
Z
vf (t, x, v) dv,
(1.5)
(t, x)u(t, x) =
R3

do la vitesse moyenne, ou macroscopique, du gaz au point x :


Z
1
vf (t, x, v) dv.
u(t, x) =
(t, x) R3

(1.6)

Enfin, lnergie par unit de volume des molcules en x ayant une vitesse dans dv autour de v
nest autre que lnergie cintique dune molcule multiplie par le nombre de ces molcules,
soit 21 |v|2 f (t, x, v) dv. Ainsi, lnergie des molcules par unit de volume en x est :
Z
1 2
E(t, x) =
|v| f (t, x, v) dv.
(1.7)
R3 2
Nous avons vu section 1.1.2 que cette densit dnergie totale peut se dcomposer en une
densit dnergie cintique moyenne 21 |u|2 et une densit dnergie interne 23 RT . On obtient
alors aisment la relation suivante entre la temprature T et la distribution f :
Z
1
1
T (t, x) = 3
|v u|2 f (t, x, v) dv.
(1.8)
2
3
(t,
x)R
R
2
La pression tant dfinie par p = RT , on trouve sa dfinition cintique
Z
1
p(t, x) =
|v u|2 f (t, x, v) dv.
3 R3

(1.9)

En fait, la thorie cintique permet mme dtablir la loi des gaz parfaits p = RT , comme
nous le verrons la fin de ce chapitre (voir section 1.9).

13

R
Remarque 1.1. En mathmatiques, une intgrale du type R v k g(v) dv est appele moment
dordre k de la fonction g. Ainsi, la densits de masse, de quantit de mouvement, et dnergie
totale dfinies dans (1.4)(1.7) sont respectivement des moments dordre 0, 1, et 2 de f .
Un exemple fondamental dune fonction de distribution est la distribution maxwellienne
que nous prsentons maintenant. Considrons un gaz de densit de masse , de vitesse u
et de temprature T donnes (pour un temps et une position donnes). Il est facile de
concevoir qu cet tat macroscopique correspondent une multitude dtats microscopiques :
au niveau cintique, cela revient dire quil existe une multitude de fonctions de distributions
f satisfaisant les relations (1.4)(1.7). Maxwell a montr au XIXesicle que la distribution
la plus probable (volontairement, ce terme nest pas prcis ici) est une fonction gaussienne
centre sur u et dcart type RT . Sa notation et sa dfinition sont :


|v u|2

.
exp
M [, u, T ](v) =
(2RT )3/2
2RT

(1.10)

Cette fonction de distribution est appele distribution maxwellienne (voir figure 1.1). Ce
nest rien dautre
quune distribution gaussienne (aussi appele loi normale) centre sur u et
dcart type RT .

RT

Figure 1.1 Maxwellienne M [, u, T ] (vue 1D).


En conclusion, la description du gaz par la fonction de distribution f est donc intermdiaire entre les descriptions microscopiques et macroscopiques : les molcules de gaz ne sont
pas considres individuellement, mais au moyen dune quantit moyenne, qui est prise sur
des ensembles plus petits que les moyennes macroscopiques. On parle parfois dune description mesoscopique.
Pour pouvoir compltement dcrire le gaz au moyen de sa fonction de distribution, il faut
disposer dune quation dvolution, ce qui est lobjet principal de la section (1.2).
Exercice 1.1. Dmontrer que les moments de la maxwellienne M [, u, T ] sont bien , u,
et E = 12 |u|2 + 32 RT . Aide : dcomposer lintgrale en produit dintgrales sur R et utiliser

R
2
la relation R exp( s2 ) ds = 2.

14

1.1.4

Quelle description utiliser ?

Nous avons vu dans les sections prcdentes que les descriptions microscopiques ou macroscopiques sont pertinentes quand il y a peu ou beaucoup de molcules, la description
cintique tant intressante dans une situation intermdiaire. Cependant cette notion de
nombre de molcules est une notion absolue qui na pas beaucoup de sens en soi : il y a peu
ou beaucoup de molcules dans un volume donn. Il nous faut donc une notion relative, et
celle-ci est donne par le nombre de Knudsen.
Considrons que le gaz volue dans un tube dune longueur donne L, ou bien quil circule autour dune navette (de longueur L) en rentre dans latmosphre. Plus gnralement,
la longueur L est une grandeur caractristique du volume dans lequel ont veut tudier le
gaz. Les molcules de gaz se dplacent dans toutes les directions en suivant des trajectoires
rectilignes. Ces trajectoires sont modifies quand les molcules entre en collision, soit entre
elles, soit avec les parois dun obstacle. Une longueur typique du gaz lchelle microscopique est le libre parcours moyen, ou distance moyenne parcourue par une molcule avant
de subir une collision. Cette longueur est souvent note . Par opposition, la longueur L est
dite macroscopique, car reprsentative du gaz lchelle dun objet bien plus grand quune
molcule (taille du tube ou de la navette pour nos exemples prcdents).
Nous pouvons alors prciser dans quels cas on considre quil y a peu ou beaucoup de
molcules. Si  L, les molcules peuvent traverser tout le domaine sans subir une collision :
il y a donc trs peu de molcules, le gaz est dit trs rarfi, et une description microscopique
peut tre pertinente. Si  L, les molcules subissent un grand nombre de collisions. Il y
en a donc beaucoup, le gaz est dit dense, et une description macroscopique est pertinente.
Si L, cest une situation intermdiaire pour laquelle on peut utiliser la description
cintique : le gaz est dit rarfi, ou peu dense.
Ces trois situations peuvent tre rsumes avec le nombre de Knudsen Kn dfini par
Kn =

.
L

(1.11)

Le gaz est trs rarfi si Kn  1, rarfi si Kn 1, en rgime transitionnel si Kn < 1 et


dense (ou en rgime fluide) si Kn  1.
On rencontre ces diffrentes situations dans deux configurations assez diffrentes. Dans
la premire, la longueur L est constante, et le libre parcours moyen est plus ou moins grand.
Cest typiquement le cas en arodynamique, lors de la rentre dun vhicule spatial (navette
ou capsule) dans latmosphre. Celui-ci vole dans lespace, ou il ny a pas de gaz, puis il
rencontre les plus hautes couches de latmosphre, o il la densit dair est trs faible (au
del de 100 km), puis des couches intermdiaires autour de 100 km, puis les basses couches
en dessous de 60 km. Le nombre de Knudsen passe donc dune valeur trs grande une
valeur trs petite.
Inversement, cest le libre parcours moyen qui peut tre donn, comme dans le cas de lair
pression ambiante (o 1 nm) et considrons alors une machine dans laquelle circule cet
air (une pompe par exemple) : si cette machine est dune taille de lordre du mtre, alors le
nombre de Knudsen est trs petit ( 109 ). Par contre, si cest une machine microscopique,
disons dune taille de 0.01 m, alors le nombre de Knudsen est plus grand, de lordre de 0.1,
et lcoulement est rgime transitionnel. Ce dernier exemple apparat dans les problmes lis

15

aux systmes micro-lectro-mcanique (MEMS en anglais), qui sont des minuscules machines
quipant de nombreux appareils lectroniques (micro-actionneurs, micro-gyroscopes, microsenseurs, etc.), voir figure (1.3).
Citons enfin le problme des pompes vide : ces machines pompent du gaz afin dobtenir
un vide plus ou moins pouss (en fait un gaz plus ou moins rarfi), et les gaz circulent dans
ces machines sous un rgime rarfi pour lequel une description cintique est ncessaire, voir
figure (1.4)
Il reste prsent voir comment la thorie cintique et la description du gaz par la
fonction de distribution permet de prdire lvolution dun coulement.

Figure 1.2 Trajectoire typique lors dune rentre atmosphrique, rgimes dcoulements
en fonction de laltitude, et modles correspondants.

Figure 1.3 Quelques MEMS : Gyromtre, acclromtre, inducteur, gyroscope, rotor,


charnire(de gauche droite et de haut en bas)

16

Figure 1.4 Quelques pompes vide : spirale, vis, lobes, turbomolculaire, cryopompe.

17

1.2

quation de Boltzmann

Considrons une molcule de gaz de vitesse v et de position x linstant t. linstant


t + t, si cette molcule na pas subi de collision, elle aura toujours la mme vitesse et sa
position sera x + vt. Comme nous lavons vu, la masse des molcules dans un petit volume
dx autour de x et de vitesse dans dv autour de v linstant t est f (t, x, v) dvdx. Aprs
lintervalle de temps t, ces molcules (si elles nont pas subi de collisions) auront les mmes
vitesses, et seront dans un petit volume dxdv autour de x + vt et v 2 : la masse de ces
molcules est donc f (t + t, x + vt, v) dvdx. Si lon fait la diffrence entre ces deux masses,
on trouve 0, car en labsence de ces collisions, toutes les molcules sont passes du premier
volume au deuxime.
Par contre, sil y a des collisions, ces deux masses sont diffrentes. On va donc crire
 
f
dvdxt,
f (t + t, x + vt, v) dvdx f (t, x, v) dvdx =
t coll
o le membre de droite reprsente le taux de variation de masse des molcules considres.
Ce taux sera donn plus loin.
En divisant par dvdx et par t, puis en faisant tendre celui-ci vers 0, le membre de gauche
fait apparatre
f (t + t, x + vt, v) f (t, x, v)
lim
= 0 (0),
t0
t
o (t) = f (t + t, x + vt, v). La drive de se calcule aisment, et lon trouve 0 (0) =
t f + v x f . Ainsi, on obtient la relation
 
f
.
t f (t, x, v) + v x f (t, x, v) =
t coll
Le membre de gauche est loprateur de convection la vitesse v appliqu f . Le membre
de droite sera maintenant not Q(f (t, x, .))(v) et modlise donc la variation des vitesses des
molcules dues aux collisions : en un point x de lespace, pour chaque vitesse v, il dpend
de la valeur de la distribution en toutes les autres vitesses. Cest donc un oprateur local
en espace, et global en temps. Une expression prcise de cet oprateur de collision Q a t
donne par Boltzmann, et nous renvoyons lannexe A pour des dtails.
Lquation de Boltzmann est prsent complte et scrit :
(t f + v x f )(t, x, v) = Q(f (t, x, .))(v).

1.3

(1.12)

Proprits de loprateur de collision

Mme si nous ne donnons pas encore de forme prcise Q(f ), les proprits suivantes
suffisent tablir le lien entre lvolution microscopique et macroscopique du gaz, comme
2. En effet, on passe de (x, v) (x0 , v 0 ) = (x + vdt, v), et le nouvel lment de volume dx0 dv 0 se cal 0
0
cule simplement par la formule de changement de variable dx0 dv 0 = x xv0 v xv0 dxdv. Le jacobien de cette
x
v
transformation valant 1, on trouve dx0 dv 0 = dxdv.

18

nous le verrons dans la section suivante.


Pour simplifier les expressions suivantes, nous utiliR
serons dsormais la notation hi = R3 (v) dv pour toute fonction de v, valeur scalaire,
vectorielle, ou tensorielle.
La premire hypothse est une proprit de conservation : elle vient du fait que la thorie
cintique classique considre que les seules collisions prendre en compte sont les collisions
binaires, lors desquelles la masse, la quantit de mouvement, et lnergie cintique dune
paire de particules entrant en collision ne changent pas.
Hypothse 1.1. Loprateur de collision satisfait les relations suivantes, pour toute fonction
f :
(1.13)
hQ(f )i = 0,
hvQ(f )i = 0,
h 21 |v|2 Q(f )i = 0.
Cette hypothse permet dcrire les lois dvolution des quantits macroscopiques, appeles lois de conservation (voir la section 1.4)
La deuxime hypothse est appele thorme H de Boltzmann. Elle postule lexistence
dune quantit qui est dissipe par les collisions.
Hypothse 1.2. Quelle que soit la fonction f positive, on a
hQ(f ) ln f i 0.

(1.14)

La troisime est une proprit dquilibre.


Hypothse 1.3.
Q(f ) = 0

hQ(f ) ln f i = 0

f = M [, u, T ].

Ces deux dernires hypothses sont fondamentales : ce sont elles qui permettent de montrer la convergence en temps du gaz vers un tat dquilibre, et de caractriser sa distribution
(voir la section 1.5).

1.4

Lien cintique/macroscopique : les lois de conservation

Commenons par voir quelle est la consquence de lhypothse de conservation 1.1 sur
lvolution au cours du temps des quantits macroscopiques, dans le cas dun gaz homogne
en espace (cest--dire dont les quantits sont toutes indpendantes de x).
Proprit 1.1. Si f est solution de lquation de Boltzmann homogne en espace :
t f = Q(f ),

(1.15)

alors les quantits macroscopiques de f sont constantes : ((t), u(t), T (t)) = ((0), u(0), T (0))
pour tout t.

19

Dmonstration. Multiplions (1.15) par 1, v, et 21 |v|2 , intgrons en vitesse, et utilisons (1.13)


pour trouver :
t h(1, v, 21 |v|2 )T f i = h(1, v, 12 |v|2 )T Q(f )i = 0,
ce qui implique que les moments de f (qui sont , u, et E) sont constants au cours du
temps. Par consquent, la densit de masse, la vitesse, et la temprature associes sont aussi
constantes.
Voyons maintenant comment cette analyse stend au cas dun gaz non homogne.
Proprit 1.2. Si f est une solution de lquation de Boltzmann, alors elle satisfait les lois
de conservation locales
t hf i + hvf i = 0,
t hvf i + hv vf i = 0,
t h 12 |v|2 f i + h 21 v|v|2 f i = 0.
Dmonstration. Il suffit de multiplier lquation de Boltzmann (1.12) par 1, v, 21 |v|2 et dintgrer par rapport v : la proprit de conservation (1.13) permet dobtenir le rsultat.
Comme on la vu, les quantits h(1, v, 12 |v|2 )f i sont les densit de masse, quantit de mouvement, et nergie. Les quantits hv((1, v, 12 |v|2 ))f i sont appels les flux de masse, quantit
de mouvement et nergie. De faon gnrale, le flux dune quantit porte par une particule
(comme la masse, la quantit de mouvement, ou lnergie) est le quantit de par unit de
surface et par unit de temps. La proposition suivante donne une dcomposition utile de ces
flux.
Proprit 1.3. les flux de quantit de mouvement et dnergie se dcomposent en
hv vf i = u u + (f ),
h 21 v|v|2 f i = Eu + (f )u + q(f ),
o (f ) est le tenseur des contraintes, donn par
(f ) = h(v u) (v u)f i

(1.16)

et q(f ) est le flux de chaleur, donn par


q(f ) = h 21 (v u)|v u|2 f i

(1.17)

Dmonstration. Commenons par le flux de quantit de mouvement : dcomposons la vitesse


molculaire v en v = u + (v u) (vitesse macroscopique plus vitesse relative), et dveloppons
lexpression du flux pour trouver
hv vf i = h(v u) (v u)f i + hvf i u + u hvf i u uhf i
= (f ) + u u + u u u u
= (f ) + u u.

20

Pour le flux dnergie, on trouve


h 12 v|v|2 f i = h 21 (v u)|v|2 f i + h 21 |v|2 f iu
= h 21 (v u)|v u|2 f i + h 21 (v u)f i|u|2 + h(v u)((v u) u)f i + Eu
= q(f ) + 0 + (f )u + Eu.

Cette dcomposition nous permet de donner une autre criture de ces lois de conservation.
t + u = 0,
t u + (u u) + (f ) = 0,
t E + (Eu + (f )u + q(f )) = 0.

(1.18)

Noter la forte ressemblance entre ces quations et les quations de Navier-Stokes compressibles utilises pour dcrire un gaz au niveau macroscopique (voir (1.2)). Attention cependant,
ces lois de conservation locales ne constituent pas un systme ferm : en effet, (f ) et q(f )
ne sont a priori pas fonction de , u, et E, mais de la distribution f toute entire.

1.5
1.5.1

Thorme H et convergence vers lquilibre


Dissipation dentropie

Lhypothse 1.2 est aussi appele proprit de dissipation dentropie. Pour le comprendre,
considrons nouveau un gaz homogne en espace (c.--d. tel que f ne dpende pas de x).
Lquation de Boltzmann scrit donc
t f = Q(f ).

(1.19)

La fonction H de Boltzmann est la quantit suivante :


H(f ) = hf ln f i.
Elle est souvent appele entropie cintique dans la littrature rcente (voir la fin de cette
section pour une interprtation physique)
Il est facile dobtenir une quation dvolution pour cette quantit : remarquons que la
drive de la fonction r ln r vaut 1 + ln r, de sorte quen multipliant lquation de Boltzmann
par 1 + ln f , puis en intgrant en vitesse, on trouve
t H(f ) = h(1 + ln f )t f i
= hQ(f )(1 + ln f )i = hQ(f ) ln f i
0,

daprs (1.13),

(1.20)

daprs (1.14). Ainsi, lentropie H(f ) est dcroissante (ou encore dissipe) au cours du temps.

21

1.5.2

Convergence vers lquilibre.

Une consquence de cette proprit dentropie est la convergence vers lquilibre. Commenons par dmontrer que H(f ) tend vers une limite finie : il suffit pour cela de prouver
quelle est minore par une constante, et la monotonie de H(f ) impliquera sa limite. Tout
dabord, les proprits de conservation nonces plus haut montrent que la maxwellienne
locale de f est constante au cours du temps (puisque , u, et T sont constants). Ensuite, on
va appliquer lingalit de convexit
0 (a)(b a) (b) (a)
valable pour toute fonction convexe drivable et tous rels a,b (voir figure 1.5) la fonction
(r) = r ln r (avec a = M [, u, T ] et b = f ) pour obtenir la minoration suivante :
h(1 + ln M [, u, T ])(f M [, u, T ])i H(f ) H(M [, u, T ]).

(x)

(1.21)

(b) (a)

(a)(b a)

Figure 1.5 ingalit de convexit 0 (a)(b a) (b) (a) pour la fonction convexe et
drivable
Or un simple calcul montre que (1 + ln M [, u, T ]) est une combinaison linaire de 1, v et
|v| . Comme f et M [, u, T ] ont les mmes moments, alors le terme de gauche de lingalit
est nul : plus prcisment, on a
2

h(1 + ln M [, u, T ])(f M [, u, T ])i


= h(a + b v + c|v|2 )(f M [, u, T ])i
= ahf M [, u, T ]i + b hv(f M [, u, T ])i + ch|v|2 (f M [, u, T ])i
= 0.

(1.22)

Par consquent, on a H(f )(t) H(M [, u, T ]) pour tout t, et donc H(f )(t) tend vers une
limite finie quand t tend vers linfini.
Cela implique que t H tend vers 0, et donc (1.20) implique que hQ(f ) ln f i tend aussi vers
0. Supposons quil existe f telle que f tende vers f quand t tend vers linfini (c.-.d. que le
gaz tend vers un tat stationnaire), alors cette distribution limite vrifie hQ(f ) ln f i = 0.

22

Il reste alors utiliser lhypothse 1.3 : cette hypothse implique que la distribution limite
est donc une distribution maxwellienne. Cette distribution a les mme moments que f , qui
elle mme a les mmes moments que f (0) (rappelons que ces moments sont constants).
Donc cette maxwellienne limite est la maxwellienne initiale. En rsum, un gaz spatialement
homogne est de densit de masse, de vitesse macroscopique, et de temprature constante,
et il tend vers un tat dit dquilibre, reprsent par une distribution maxwellienne.
Contrairement ce que ces arguments formels pourraient laisser penser, la thorie mathmatique rigoureuse de la convergence vers lquilibre est extrmement complexe, et elle a
fait lobjet de nombreux travaux depuis les annes 2000.

1.6

Modle BGK

Loprateur de collision de Boltzmann est trs complexe : dun point de vue numrique,
pour chaque vitesse, il faut calculer une intgrale sur R3 S 2 , ce qui peut tre trs coteux.
Pour faire des calculs analytiques, cette complexit pose aussi de srieux problmes. Plusieurs
auteurs ont donc propos une simplification de loprateur, en retenant deux proprits
essentielles :
la conservation ;
la dissipation dentropie et la convergence vers les maxwelliennes.
Lide de convergence vers un quilibre suggre naturellement de considrer un oprateur
de relaxation. En effet, il est connu que les solutions de lquation diffrentielle ordinaire
y 0 (t) = 1 (a y(t)) convergent vers la solution stationnaire y = a : il suffit pour cela de
calculer ces solutions qui scrivent y(t) = y0 (t)et/ + (1 et/ )a. Ainsi, on obtiendra une
relaxation de f vers une maxwellienne M en utilisant loprateur Q(f ) = 1 (M f ). La
proprit de conservation hQ(f ) = 0i implique h(1, v, 21 |v|2 )f i = h(1, v, 21 |v|2 )M i pour tout
temps. Ainsi, les moments de M sont gaux ceux de f , et donc la maxwellienne M nest
autre que la maxwellienne locale de f , cest--dire M [, u, T ], o , u, et T sont les variables
macroscopiques de f dfinies par (1.4)(1.8).
On obtient ainsi loprateur de relaxation propos par Bathnagar, Gross et Krook (et
indpendamment par Welander), et appel oprateur BGK, qui scrit
QBGK (f ) =

1
(M [, u, T ] f ),

(1.23)

et le modle BGK complet scrit


t f + v x f =

1
(M [, u, T ] f ).

(1.24)

Ce modle est beaucoup plus simple traiter numriquement (et simplifie aussi de nombreux calculs analytiques, comme nous le verrons plus tard). Il permet de modliser le gaz
rarfi avec une bonne prcision dans beaucoup de situations, notamment quand le gaz est
proche de lquilibre, et il est trs utilis en pratique.
Par construction, loprateur QBGK satisfait ncessairement les proprits de conservation (1.13). Pour la proprit de dissipation dentropie (1.14), on peut nouveau utiliser

23

lingalit de convexit (1.21) en intervertissant le rle de f et M [, u, T ] pour trouver


h(1 + ln f )(M [, u, T ] f )i H(M [, u, T ]) H(f )
0,
daprs la proprit de minimisation dentropie donne la fin de la section 1.8. En utilisant
la proprit de conservation, on a h(1 + ln f )(M [, u, T ] f )i = hln f (M [, u, T ] f )i, et
donc on obtient la proprit de dissipation dentropie hQBGK (f ) ln f i 0.
Il reste dfinir le taux de relaxation , ce qui sera fait dans le chapitre 3.

1.7

Interaction gaz-paroi solide

Nous montrons ici comment calculer les flux de masse, impulsion, et nergie du gaz quand
ses molcules heurtent une paroi solide, puis nous en dduisons la force exerce par le gaz
sur la paroi. Enfin, nous donnons quelques modles de rflexion des molcules sur la paroi.

1.7.1

Flux paritaux

Considrons un gaz au voisinage dune paroi solide qui peut tre la paroi dune enceinte
de confinement ou lenveloppe dun engin spatial par exemple. Lagitation incessante des
molcules va les faire heurter la paroi plus ou moins frquemment : la description cintique
permet de calculer le nombre de ces impacts, et den dduire la quantit de matire, dimpulsion, et dnergie transfre la paroi. Pour cela, imaginons un petit lment de paroi
dS, de normal n dirige vers le gaz (voir figure 1.6).

v
(v.n)dt

dS

Figure 1.6 Cylindre contenant les particules qui impactent dS pendant dt.

Flux de masse
Les molcules de vitesses v qui vont impacter la surface dS pendant dt sont celles contenues dans le cylindre de base dS, de gnratrice vdt, et de hauteur (v n)dt. Le volume de
ce cylindre est dx = (v n)dtdS, et la masse cumule des molcules considres est, par

24

dfinition de f , le nombre dMinc = f (t, x, v) dvdx = v(v n)f (t, x, v)dvdtdS. La somme des
masses de toutes les molcules incidentes sobtient en intgrant dMinc sur toutes les vitesses
incidentes possibles (cest--dire toutes les vitesses v telles que v n < 0), et lon trouve donc
la masse incidente totale impactant dS pendant dt
Z

Minc =
(v n)f (t, x, v)dv dtdS.
vn<0

Les molcules sont ensuite rflchies par la paroi (voir des modles de rflection dans la
section suivante), et lon peut donc calculer la masse de ces molcules rflchies : avec le
mme raisonnement, mais avec des vitesses telles que v n > 0, on trouve
Z

Mref =
(v n)f (t, x, v)dv dtdS.
vn>0

Le bilan de masse net est la diffrence Mref Minc qui scrit



Z
(v n)f (t, x, v)dv dtdS
Mref Minc =
R3

Z
vf (t, x, v)dv ndtdS
=
R3

= u ndtdS.
En divisant ce bilan de masse par dtdS, on obtient un flux de masse, cest--dire une masse
par unit de temps et unit de surface. Ce flux de masse vaut
F luxmasse = u n,

(1.25)

qui nest autre que la composante normale de la densit dimpulsion macroscopique. Le


vecteur u sinterprte donc ici comme un vecteur flux de masse.
Vitesse normale la paroi
Dans les problmes considrs en gnral, les molcules de gaz ne traversent pas la paroi,
et ne sont pas piges par elle : elles sont toutes rflchies. Cela implique que les masses
incidentes et rflchies par dS sont gales, et donc que le flux de masse travers la paroi est
nul. La relation (1.25) implique u n = 0 la paroi, et donc que u n = 0. Autrement dit,
la composante normale la paroi de la vitesse macroscopique du gaz est nulle, ou encore, la
vitesse macroscopique du gaz est tangente la paroi.
Flux dimpulsion
Le mme raisonnement permet de calculer le flux dimpulsion la paroi. Considrons
nouveau les molcules qui impactent dS pendant dt et qui sont dans le cylindre dessin
figure 1.6. Chacune de ces molcules possde une impulsion mv, et la somme de leurs impulsions est donc dImpinc = vf (t, x, v) dvdx = v(v n)f (t, x, v)dvdtdS. La somme des
impulsions de toutes les molcules incidentes sobtient en intgrant dImpinc sur toutes les

25

vitesses incidentes possibles, et lon trouve donc limpulsion incidente totale transmise dS
pendant dt
Z

Impinc =
v(v n)f (t, x, v)dv dtdS.
(1.26)
vn<0

On peut calculer de mme limpulsion des particules rflchies :


Z

Impref =
v(v n)f (t, x, v)dv dtdS.

(1.27)

vn>0

On peut alors dfinir le bilan net dimpulsion par


Z

Impref Impinc =
v(v n)f (t, x, v)dv dtdS.
R3

En divisant ce bilan par dtdS, on obtient le flux dimpulsion la paroi, cest--dire un bilan
dimpulsion par unit de temps et par unit de surface :
Z
v(v n)f (t, x, v)dv.
F luximpulsion =
R3

En utilisant la relation a(b c) = (a b)c pour tout vecteurs a, b, et c, ce flux peut scrire
Z

F luximpulsion =
v vf (t, x, v)dv n.
R3

Le bilan dimpulsion la paroi peut tre reli une force, comme nous le montrons
maintenant. Considrons le systme des particules situes au dessus de dS, durant lintervalle
de temps dt : ce systme voit son impulsion passer de Impinc Impref . La loi de la dynamique
de Newton relie cette variation une force exerce par la dS sur les molcules selon la formule
Impref Impinc
.
FdSgaz =
dt
Les relations (1.26) et (1.27) donnent donc

Z
v(v n)f (t, x, v)dv dS.
FdSgaz =
R3

Le principe de laction et de la raction implique alors que le gaz exerce sur dS une force
oppose FgazdS . En dcomposant v en (v u) + u, on peut retrouver une forme familire :
Z

FgazdS =
v(v n)f (t, x, v) dv dS
R3
Z

=
((v u) + u)(((v u) + u) n)f (t, x, v) dv dS
R3
Z
Z

=
(v u)((v u) n)f (t, x, v) dv u
(v u)f (t, x, v) dv n
R3
R3
Z

Z



(v u)f (t, x, v) dv u n u
f (t, x, v) dv (u n) dS
R3
R3
Z

=
(v u)((v u) n)f (t, x, v) dv u 0 0 u n u(u n) dS
R3
Z

=
(v u)((v u) n)f (t, x, v) dv dS.
R3

26

R
o lon a utilis le fait que R3 vf dv = u et la relation un dmontr la section prcdente.
En utilisant nouveau la relation a(b c) = (a b)c, on peut dfinir un tenseur de pression
(ou de contraintes) la paroi de sorte que FdSgaz = ndS et il vient
Z
(v u) (v u)f (t, x, v) dv.
=
R3

On retrouve lexpression du tenseur des contraintes dfinie (1.16).


Il faut donc retenir que si lon connat la distribution des molcules de gaz la paroi
(molcules incidentes et rflchies), on peut calculer la force que le gaz exerce sur le morceau
de paroi dS, et celle-ci vaut FdSgaz = ndS o est dfini par(1.16). Attention lorientation de la normale : si celle-ci est prise dirige vers lextrieur du gaz, alors on retrouve la
forme plus familire FdSgaz = ndS.
Flux de chaleur
Le mme raisonnement suivi pas pas en remplaant la masse ou limpulsion par lnergie
cintique donne le flux dnergie suivant :
Z
1
|v u|2 (v u) nf dv.
F luxenergie = (u) n +
R3 2

1.7.2

Conditions de rflexion

Lquation cintique (1.12) ne suffit pas dterminer la distribution des molcules en


tout point de lespace : il convient de modliser la faon dont la paroi rflchit les molcules
de gaz incidentes. Cela est sujet trs complexe, car cette rflection peut a priori dpendre
de la nature du matriau constituant la paroi (lisse, rugueuse, etc.), de son tat (chaud,
froid), et de son mouvement. Mathmatiquement, lquation (1.12) ncessite une condition
aux limites, cest--dire la donne de la distribution f en tout point x de la paroi, pour
toutes les vitesses diriges vers le gaz. Autrement dit, nous devons dfinir la distribution
des particules rflchies par la paroi, qui est f (t, x, v) pour v tel que v n(x) > 0, o n(x)
est la normale la paroi dirige vers le gaz. On parle alors aussi de condition de rflexion.
Dans cette section, nous dcrivons une modlisation de ces rflexions dans le cas dune paroi
immobile.
Maxwell a dfini dans [11] trois conditions de rflexion diffrentes. La premire, dite
spculaire, modlise la rflexion des molcules sur la paroi par un rebond lastique, tel celui
dune boule de billard : toute molcule heurtant la paroi est rflchie dans la direction
symtrique par rapport la normale la paroi, avec la mme norme de vitesse (voir figure 1.7.
Cette rflexion se traduit ainsi pour la fonction de distribution : la distribution des molcules
rflchies est gale la distribution des molcules incidentes, et lon a pour tout v tel que
v n(x) > 0 :
f (t, x, v) = f (t, x, Rv),

avec Rv = v 2(v n(x))n(x),

(1.28)

o Rv est le symtrique de v par rapport n(x). Intuitivement, il est clair que puisque toute
molcule incidente est rflchie, le flux de masse travers la paroi est nul, comme lindique
la proposition suivante.

27

n(x)

Rv

Figure 1.7 Rflexion spculaire


Proprit 1.4. Si f satisfait la condition de rflexion spculaire (1.28), alors
Z
v n(x)f (t, x, v) dv = 0.
R3

Dmonstration. En effet, en notant a les parties positives et ngatives de tout rel a, on


peut dcomposer le flux de masse en un demi-flux rflchi et un demi-flux incident, de sorte
que :
Z
Z
Z
+
(v n(x)) f (t, x, v) dv.
(v n(x)) f (t, x, v) dv +
v n(x)f (t, x, v) dv =
R3

R3

R3

On
la relation spculaire (1.28) pour crire le demi-flux rflchi sous la forme
R utilise alors
+
(v

n(x))
f
(t,
x, Rv) dv, puis on effectue le changement de variables v 7 v 0 = Rv : cette
R3
transformation est orthogonale (cest une symtrie), donc dv = dv 0 , et lon a v n(x) =
v 0 n(x), do (v n(x))+ = (v 0 n(x)) . Le flux de masse scrit donc
Z
Z
Z
0

0
0
(v n(x)) f (t, x, v ) dv +
(v n(x)) f (t, x, v) dv = 0.
v n(x)f (t, x, v) dv =
R3

R3

R3

Cependant, cette modlisation ne peut pas rendre compte de transfert de chaleur entre
le gaz et la paroi : en effet, on peut montrer,
par la mme analyse que celle donne ci-dessus,
R
que le flux dnergie travers la paroi R3 v 12 |v|2 n(x)f (t, x, v) dv est lui aussi nul.
Pour cela, Maxwell a introduit la rflexion diffuse : la paroi a une temprature Tw (x) au
point x, et les molcules incidentes sont supposes interagir avec la paroi (de faon quasi instantane) et tre r-mises dans des directions
alatoires, avec une vitesse nulle en moyenne,
p
selon une loi gaussienne dcart type RTw (x). Autrement dit, la distribution des molcules
rflchies est une maxwellienne : pour tout v tel que v n(x) > 0, on a
f (t, x, v) = M ((f, x), 0, Tw )(v),

(1.29)

28

et le paramtre (f, x), qui est la densit de masse de molcules rflchies, est dtermin de
faon ce que le flux de masse travers la paroi soit nul, comme pour la rflexion spculaire.
(f,x)
|v|2
En remarquant que M ((f, x), 0, Tw ) = (2RT
3/2 exp( 2RTw ) = (f, x)M (1, 0, Tw )(v), on
)
w
trouve facilement :
h(v n(x)) f (t, x, v)i
(f, x) =
.
(1.30)
h(v n(x))+ M (1, 0, Tw )i
En quelque sorte, les molcules incidentes sont instantanment thermalises avec la paroi
et sont r-mise dans toutes les directions. Attention cependant, la temprature du gaz
la paroi nest pas Tw (comme le montre un simple calcul) : en effet, la condition diffuse ne
prescrit que la distribution des molcules rflchies, et lon ne sait rien sur les particules
incidentes.
Enfin, Maxwell a propos de combiner les deux rflexions prcdentes pour obtenir la
condition daccommodation suivante : pour tout v tel que v n(x) > 0, on pose
f (t, x, v) = (1 )f (t, x, Rv) + M ((f, x), 0, Tw )(v),

(1.31)

o est un paramtre entre 0 et 1, parfois appel coefficient daccomodation qui dpend du


type de paroi considr. La dfinition (1.30) assure l-encore un flux de masse nul travers
la paroi.
Dautres conditions plus complexes ont t mises au point, mais la condition daccomodation reste encore aujourdhui la plus employe. Cependant, elle nest pas toujours satisfaisante, et la modlisation de linteraction gaz-paroi est toujours un domaine de recherche
lheure actuelle.
Exercice 1.2. Montrer que si f = M [, 0, Tw ], o est une densit quelconque et Tw est la
temprature de la paroi, alors f satisfait la relation (1.31) quel que soit . Autrement dit,
un gaz lquilibre dont la temprature est celle de la paroi est donc lquilibre avec la
paroi.
Exercice 1.3. Formuler une extension des conditions de rflexion prcdentes dans le cas
o la paroi solide est anime dune vitesse uw non nulle.

1.8

Proprits du gaz lquilibre

Lorsque le gaz est lquilibre, on peut calculer une moyenne de la vitesse relative des
molcules, et on peut aussi calculer le tenseur des contraintes et le flux de chaleur.

1.8.1

Vitesse thermique

On sintresse ici la vitesse des molcules par rapport la vitesse macroscopique du gaz
u, cest--dire la vitesse relative v u. Calculons tout dabord lintensit moyenne cm (ou la
norme) de cette vitesse :
1
cm =

Z
R3

r
|v u|M [, u, T ] dv = 2

2
RT .

29

On peut aussi calculer la moyenne quadratique de cette intensit :


 Z
 21

1
2
cq =
|v u| M [, u, T ] dv
= 3 RT .
R3
On peut enfin calculer lintensit la plus probable. Commenons par calculer la distribution
des intensits des vitesses relatives lquilibre, cest--dire la fonction () telle que la
masse de molcules de vitesses relatives dintensit d par unit de volume soit ()d.
Or la masse de molcules de vitesse v dv (donc de vitesse relative (v u) dv) par unit
de volume est
m(v) = M [, u, T ](v)dv.
crivons prsent la variable v u en coordonnes polaires, soit v u = , o > 0 est
lintensit de la vitesse relative, et S 2 est sa direction, et remarquons que dv = d(v u) =
2 dd. Alors la masse des molcules de vitesse dintensit d et de direction d par
unit de volume est
2

exp(
) 2 dd.
m(, ) =
3
2RT
2
(2RT )
On obtient enfin la masse des molcules de vitesse dintensit d par unit de volume en
intgrant la relation prcdente sur toutes les directions possibles pour trouver
!
Z

2
m() =
) 2 d d
3 exp(
2RT
2
2
(2RT
)
S
= 4

(2RT ) 2

exp(

2
) 2 d.
2RT

Par consquent, la distribution des intensits des vitesses relatives lquilibre est () =
2
4 3 exp( 2RT
) 2 . Lintensit la plus probable est celle qui maximise cette distribution,
(2RT ) 2

et il est facile de la calculer : on trouve


cp =


2 RT .

Ces trois intensits de vitesse relativesont gales, un coefficient prs. On appelle souvent vitesse thermique la quantit vth = RT , qui est grosso-modo lintensit moyenne des
vitesses relatives des molcules. p
Elle est lie la vitesse du son dans le gaz, qui est dfinie
en dynamique
des
gaz
par
v
=
p/. Pour un gaz monoatomique, on a = 5/3, et lon
s
p
trouve vs = 5/3vth .

1.8.2

Tenseur des contraintes

Le tenseur des contraintes (f ) a t dfini par (1.16). Dans le cas o f = M [, u, T ], on


trouve
Z
i,j (M ) =
(vi ui )(vj uj )M [, u, T ] dv
3
ZR
=
wi wj M (, 0, T )(w) dw.
R3

30

La fonction M (, 0, T )(w) tant paire par rapport w, on trouve i,j (M ) = 0 si i 6= j.


Les lments diagonaux peuvent se calculer directement, mais nous donnons ici une astuce trs souvent utilise pour le calcul dintgrales en thorie cintique. Remarquons que
M (, 0, T ) ne dpend que de la norme de w, et est donc invariante par rotation de w. Soit
R la rotation qui amne laxe des wi sur laxe des des wj , et posons w0 = Rw : alors on
a dw = dw0 (car R est orthogonale), M (, 0, T )(w) = M (, 0, T )(w0 ), et wj = (RT w0 )i . On
trouve donc
Z
i,i (M ) =
wi2 M (, 0, T )(w) dw
3
ZR
2
=
wj0 M (, 0, T )(w0 ) dw0 = j,j ,
R3

cest--dire que les lments diagonaux sont tous gaux. On peut donc crire
Z X
3
3
1X
1
i,i (M ) =
j,j =
(
w2 )M (, 0, T )(w) dw
3 j=1
3 R3 j=1 j
Z
1
=
|w|2 M (, 0, T )(w) dw = p,
3 R3
daprs (1.9). Par consquent, pour un gaz lquilibre, le tenseur des contraintes est diagonal
et isotrope et vaut
(M ) = pI3 .
(1.32)

1.8.3

Flux de chaleur

Le calcul est ici trs rapide : daprs (1.17), on a


q(M ) = h 21 (v u)|v u|2 M [, u, T ] dvi = 0,

(1.33)

car M [, u, T ] est paire par rapport v u. Le flux de chaleur lquilibre est donc nul.

1.8.4

Entropie

Parmi toutes les distributions de densit , de vitesse u, et de temprature T , la maxwellienne M [, u, T ] est celle qui a la plus petite entropie. Tous les arguments ncessaires
la dmonstration de cette proprit ont t donns dans la section 1.5.

1.9

Retour sur les notions de contraintes, de pression, et


de flux de chaleur dans le gaz

Nous montrons ici pourquoi le tenseur dfini par la relation (1.16) peut bien tre
interprt comme un tenseur des contraintes internes au gaz. Nous en dduisons ensuite la loi
dtat des gaz parfaits. Enfin, nous montrons pourquoi le vecteur q dfini par la relation (1.17)
reprsente bien un flux de chaleur.

31

Le raisonnement qui suit est trs proche de celui suivi pour calculer la force exerce par
le gaz sur une paroi (section 1.7). Considrons une petite surface virtuelle dS immerge dans
le gaz (voir figure 1.8). Comme nous voulons prendre en compte uniquement le mouvement

ds

Figure 1.8 Contraintes exerces par le gaz sur une surface virtuelle
dagitation des molcules, et non leur mouvement moyen, nous supposons que cette surface
se dplace la vitesse macroscopique u du gaz.
On commence par calculer limpulsion transmise cette surface pendant dt par les particules venant de la droite : il faut donc utiliser leur vitesse relative par rapport la surface,
soit v u, et ces particules sont celles telles que (v u)n < 0. Les particules de vitesses v u
venant de la droite qui vont impacter la surface pendant dt sont contenues dans le cylindre de
base dS, de gnratrice v u, et de hauteur (v u) n. Limpulsion relative dune particule
est m(v u), et le volume du cylindre est dx = ((v u) n) dtdS. Limpulsion (relative) de
toutes les particules de vitesse v u du cylindre est donc (v u)f (t, x, v)((v u) n) dtdS.
On obtient limpulsion totale des particules venant de la droite, quelle que soit leur vitesse,
en intgrant par rapport v pour trouver
Z

ImpD =
(vu)n<0

(v u)((v u) n)f (t, x, v) dv dtdS.

Pour les particules venant de la gauche, le raisonnement est le mme, en inversant le


signe de (v u) n, et lon trouve
Z
ImpG =
(vu)n>0


(v u)((v u) n)f (t, x, v) dv dtdS.

32

Le bilan net dimpulsion est donc


Z

ImpD ImpG =
(v u)((v u) n)f (t, x, v) dv dtdS
R3
Z

=
(v u) (v u)f (t, x, v) dv ndtdS.
R3

Par un argument dj donn section 1.7, ce bilan dimpulsion, divis par dt, sinterprte
comme une force exerce par la surface sur le gaz (car on calcule la variation dimpulsion
des molcules de gaz, et non la variation dimpulsion de la surface). La force exerce par le
gaz sur la surface en est loppose, et lon trouve
Z

FgazdS = (ImpD ImpG ) =
(v u) (v u)f (t, x, v) dv ndS.
R3

Comme en mcanique des milieux continus, cette force scrit sous la forme FgazdS =
ndS, o le tenseur sinterprte comme un tenseur de contraintes (normales et tangencielles), et scrit
Z
=
R3

(v u) (v u)f (t, x, v) dv.

et lon a bien retrouv lexpression (1.16). En mcanique des milieux continus, la pression
dans le gaz est la moyenne des contraintes normales, cest--dire p = (xx + yy + zz )/3 =
1
Trace(), et lon trouve
3
1
p=
3

Z
R3

(v u) (v u)f (t, x, v) dv

qui nest autre que (1.9). En utilisant la dfinition de la temprature (1.8), on tablit ainsi
la loi des gaz parfaits p = RT .
Remarque 1.2. Le choix davoir dfini de faon avoir FgazdS = ndS (avec un signe
au lieu dun signe +) est li la dcision arbitraire davoir calcul un bilan dimpulsion
ImpD ImpG et non pas ImpG ImpD : lexpression finale de ne doit pas dpendre de ce
choix (ni de lorientation de n). Le signe choisi finalement est celui qui donne des contraintes
normales positives, pour tre cohrent avec la notion usuelle.
Avec le mme raisonnement, il est facile de montrer que le vecteur q = dfini par (1.17)
est bien un flux de chaleur, cest--dire un flux dnergie, ou encore une quantit dnergie
par seconde et par mtre carr. En effet, lnergie des particules de vitesse v venant de la
droite portent une nergie cintique relative 21 m|v u|2 , et lnergie porte par toutes les
particules de vitesse v du cylindre dx est donc 12 |v u|2 f (t, x, v)((v u)n) dtdS. On obtient
lnergie totale des particules venant de la droite, quelle que soit leur vitesse, en intgrant
par rapport v pour trouver
Z

1
2
ED =
|v u| ((v u) n)f (t, x, v) dv dtdS.
(vu)n<0 2

33

Pour celle venant de la droite, on trouve


Z

1
2
EG =
|v u| ((v u) n)f (t, x, v) dv dtdS.
(vu)n>0 2
Le bilan net dnergie est donc
Z
ED EG =
3
ZR
=

R3


1
2
|v u| ((v u) n)f (t, x, v) dv dtdS
2

1
2
|v u| (v u)f (t, x, v) dv ndtdS.
2

Le flux dnergie correspondant sobtient en divisant par dt et dS pour obtenir



Z
1
2
|v u| (v u)f (t, x, v) dv n.
F luxDG = ED EG /(dtdS) =
R3 2

(1.34)

Si les particules ont plus dnergie droite qu gauche, alors le flux (1.34) est positif : il
y a un flux de la droite vers la gauche. On dfinit le vecteur flux de chaleur q de faon ce
quil "porte" la direction du flux : ici, la normale n tant oriente de la gauche vers la droite
(voir figure 1.8), q doit faire un angle obtus avec n et donc vrifier q n < 0. Il faut donc
alors dfinir q de sorte que F luxDG = q n, et lon trouve
Z
1
|v u|2 (v u)f (t, x, v) dv,
q=
2
3
R
ce qui est bien la mme expression que celle donne dans (1.17). On peut refaire le mme
raisonnement dans le cas o les particules ont plus dnergie gauche qu droite, et lon
trouve la mme expression pour q. De mme, on pourra vrifier que cette expression ne
dpend pas de lorientation choisie pour n.

1.10

Exercices

Certains exercices ont dj t donns dans le texte qui prcde. En voici quelques autres.
Exercice 1.4. On considre le problme de Riemann en une dimension despace pour le
transport libre (c.--d. sans collision) :
t f + vx x f = 0,
x R,
f (t, , v) = M [L , 0, TL ](v)

et

f (t, +, v) = M [R , 0, TR ](v)

Calculer la solution exacte de cette quation, et en dduire une formule explicite pour la
densit, la vitesse, et la temprature.
Exercice 1.5. Montrer que loprateur de collision BGK est invariant par transformation
orthogonale, c-.-d.
QBGK (f (O.))(v) = QBGK (f )(Ov)
pour tout v et toute transformation orthogonale O. (aide : les transformations orthogonales
sont celles qui conservent la norme, et leur jacobien vaut 1.). Montrer ensuite la mme
proprit pour loprateur de Boltzmann.

34

Exercice 1.6. On considre un gaz enferm entre deux plaques planes infinies de temprature Tw dont lune se dplace verticalement la vitesse uw . Les collisions du gaz avec la
paroi son modlises par la rflexion diffuse (coulement de Couette). On tudie le problme
stationnaire associ
v F = Q(F ),
(x, y, z) [0, L] R R,
F (t, x = 0, vx > 0) = M [(F, 0), 0, Tw ], et F (t, x = L, vx < 0) = M [(F, L), uw , Tw ],
avec L et L dfinis par (1.30). On suppose que ce problme admet une unique solution (on
RL
se donne pour cela la contrainte de masse 0 (x) dx = M).
1. Montrer que F ne dpend pas de y et de z, c.--d. que le problme est unidimensionnel
dans la direction x. (aide : montrer que g(x, y, z, v) = F (x, y +a, z +b, v) est solution).

2. Montrer que ux = 0, et que xy et xx sont constants. (aide : utiliser les lois de


conservations et les conditions aux limites).
3. Montrer que F est paire par rapport vz . (aide : utiliser lexercice prcdent et la
symtrie par rapport au plan vz = 0).
4. En dduire que uz = 0 et crire le problme unidimensionnel en espace satisfait par
F.
5. Dans le cas o loprateur de collision est loprateur BGK, montrer que les trois
distributions rduites dfinies par
Z
f (t, x, vx ) :=
F (t, x, vx , vy , vz ) dvy dvz ,
2
R
Z
1 2
g(t, x, vx ) :=
(v + vz2 )F (t, x, vx , vy , vz ) dvy dvz ,
2 y
2
ZR
h(t, x, vx ) :=
vy F (t, x, vx , vy , vz ) dvy dvz ,
R2

satisfont un systme dquations de type BGK coupl, ferm.

Chapitre 2
Transfert radiatif
Dans ce chapitre, qui sinspire fortement de quelques parties du livre M. F. Modest [12],
nous donnons quelques lments de la thorie cintique du transfert radiatif.
Le transfert radiatif (ou transfert par rayonnement) est le transport de chaleur induit
par les ondes lectromagntiques. On peut exprimenter de nombreuses manifestation de ce
phnomne dans la vie quotidienne : citons par exemple la forte et soudaine variation de
temprature ressentie sur la peau lorsque un nuage vient cacher le soleil lors dune frache
journe dautomne, ou encore la forte chaleur ressentie devant un feu de chemine, ou bien
tout simplement la couleur bleue du ciel.
Le transfert de chaleur peut se faire selon trois modes diffrents. Le premier est la conduction. Comme nous lavons vu en thorie cintique des gaz, la chaleur est lnergie dagitation
de ses molcules : celle-ci se transmet par collision aux autre molcules, et et occasionne
un flux de chaleur proportionnel au gradient de temprature (cest la loi de Fourier (1.3)
q = T ). Dans un solide, la conduction se fait de faon un peu similaire par transfert
dnergie de vibration (sous forme quantifie) du rseau datomes constituant le solide. La
loi de Fourier est l encore assez correcte. Le deuxime mode de transfert de chaleur dans un
fluide est la "convection : lcoulement du fluide occasionne le transport dune zone chaude
vers une partie froide, ce qui induit un flux de chaleur. Ce flux est souvent modlis par
une loi du type q = h(T Tref ), qui dit que le flux est proportionnel la diffrence de
temprature entre le gaz et un milieu de rfrence.
Ces deux modes de transfert ncessitent la prsence dun matriau, et le flux de chaleur est
grosso-modo proportionnel une diffrence de temprature. Le troisime mode (le transfert
de chaleur par rayonnement) est trs diffrent : il est effectu par les ondes lectromagntiques
(ou photons), et peut se faire sur de longues distances et dans le vide. Il est donc trs
important dans les applications spatiales. Les longueurs dondes les plus importantes dans
ce cas vont de la lumire ultra-violette linfrarouge, en passant par le visible. Ces ondes
ou photons transportent une nergie qui se transmet aux matriaux traverss, induisant
ainsi leur chauffement par interaction lumire-matire. Ces matriaux r-emettent alors
des photons qui se transportent nouveau. Une autre diffrence essentielle de ce mode de
transfert est que le flux de chaleur est proportionnel une diffrence de la puissance quatrime
4
de la temprature : q T 4 Tref
. Le transfert par rayonnement est donc prpondrant lorsque
la temprature est grande, comme dans les phnomnes de combustion (feux, moteurs, etc.),
en ingnierie nuclaire, ou en ingnierie spatiale (rentre atmosphrique). Il est aussi dune
35

36

importance capitale dans les problmes lis au rayonnement solaire (effet de serre, panneaux
solaires, rchauffement climatique, etc.).
Le but de ce chapitre est de donner quelques lments de la thorie du transfert de chaleur
par rayonnement, en particulier de sa modlisation par la thorie cintique, utilise dans la
plupart des applications en ingnierie et en sciences du climat.

2.1

Modlisation cintique de lnergie de radiation

Nous tudions ici un modle cintique dcrivant le transfert de chaleur par rayonnement
lectromagntique. Dans ce modle, on suppose que la longueur caractristique du problme
(la distance entre deux atomes du milieu travers) est bien plus grande que la longueur donde
des ondes lectromagntiques du rayonnement : on peut donc assimiler le rayonnement des
particules, les photons, qui se dplacent en ligne droite (approximation dite de loptique
gomtrique).
Un photon sera dfini par sa position x R3 et son impulsion p R3 . La population
de photons est dcrite par la fonction de distribution f (t, x, p) qui est une densit numrique dans lespace position-impulsion. Autrement dit, le nombre de photons en en x dx
dimpulsion p dp linstant t est
dn = f (t, x, p)dxdp.

(2.1)

Noter que contrairement la dynamique des gaz, on ne parle pas ici de densit de masse de
photons mais bien de densit numrique. La raison en est simple : les photons nont pas de
masse.
Tous les photons sont anims dune vitesse de mme intensit constante (note c, la
vitesse de la lumire) : seule la direction de cette vitesse varie, et elle est note S 2 .
chaque photon est aussi associe une frquence > 0, qui nest autre que la frquence de
londe lectromagntique correspondante. La relation entre toutes ces variables et limpulsion
est la suivante :
h
,
p=
c
o h est la constante de Planck. Les photons sont aussi porteur dune nergie dfinie par
e = h.
Remarque 2.1. La vitesse de la lumire c dpend en fait du milieu travers, et peut tre
relie la vitesse de la lumire dans le vide c0 par la formule c = c0 /n, o n est lindice de
rfraction du milieu (qui vaut 1 pour le vide). Pour la plupart des gaz, n est proche de 1 et
c est donc proche de c0 . Ce nest pas le cas dans les solides en gnral.

2.1.1

Intensit spcifique

On peut alors dcrire la population de photons par une autre fonction de distribution
N (t, x, , ), dfinie de sorte que le nombre de photons en x dx, dont la vitesse est dans
la direction d, et la frquence est d, linstant t soit
dn = N (t, x, , ) dx d d.

37

Ce nombre est le mme que celui dfini par (2.1) : en utilisant le changement de variables
(, ) 7 p = h
(qui est une sorte de changement de variables en coordonnes polaires),
c
on trouve dp = (h3 2 /c2 )dd, et donc N = (h3 2 /c3 )f .
Cependant, la reprsentation la plus utilise nest pas une densit numrique de photons
mais plutt une densit dnergie radiative que lon dfinit comme suit. On sintresse
lnergie dE reue pendant dt par une surface lmentaire dA de la part des photons qui la
traverse, ces photons ayant une direction d et une frquence d. Or un photon de
frquence transporte une nergie gale h. Donc lnergie considre est gale lnergie
des photons contenus dans le cylindre de volume dx = ( n)c dt dA (voir figure 2.1).
Comme il y a dn = N (t, x, , ) dx d d photons dans ce cylindre, leur nergie est donc

(.n)cdt
n

dA

Figure 2.1 Flux de photons sur une surface dA


dE = dn h = N (t, x, , )( n)c dt dA d d h.
On dfinit alors lintensit spcifique (ou spectrale) la quantit I(t, x, , ) = N (t, x, , )hc,
de sorte que lnergie reue par la surface dA scrive
dE = I(t, x, , ) dt dA d d ( n).

(2.2)

Une analyse dimensionnelle de la relation prcdente montre que lunit de I est J.m2 :
cest donc une nergie par unit de surface, que lon appelle aussi intensit du rayonnement
(cest aussi une nergie par unit de temps, de surface, et de frquence, soit J.s1 .m2 .Hz1 ).
Cest loutil principal de description des photons dans la thorie du transfert radiatif ; I joue
peu prs le mme rle que la fonction de distribution f (t, x, v) en dynamique des gaz.

2.1.2

Flux de chaleur

Le flux de chaleur due aux radiations arrivant sur une surface est la quantit dnergie
reue par cette surface, par seconde et par mtre carr. Celle-ci sobtient en divisant (2.2)
par dAdt, puis en intgrant sur toutes les directions diriges vers la surface (de normale n)
et toutes les frquences. On obtient le flux
Z
inc =
( n)I(t, x, , ) dd.
n<0

38

La surface met aussi des radiations, et le flux de chaleur correspondant sobtient de la mme
faon, mais en intgrant sur toutes les directions opposes, soit
Z
em =
nI(t, x, , ) dd.
n>0

Le flux de chaleur net est la diffrence entre ces deux flux mis et incident, soit = em inc .
On peut lcrire sous la forme
Z

=
I(t, x, , ) dd n
= qrad n,
o

Z
qrad (t, x) =

I(t, x, , ) dd

(2.3)

est le vecteur flux de chaleur. Cest le moment dordre un par rapport de la distribution
I.

2.1.3

Pression de radiation

Pour calculer la force exerce par les photons sur une surface, il suffit dutiliser le mme
raisonnement que pour les gaz (voir 1.7) en faisant un bilan de transfert dimpulsion. Soit
une surface daire dA et de normale n. Le nombre de photons de direction de propagation
qui vont heurter la surface durant dt secondes est dn = N dxdd, o N est la densit
numrique de photons (voir section 2.1.1) et dx = ( n)c dt dA est le volume du cylindre
contenant les photons en question (voir la figure 2.1 et la section prcdente). Limpulsion
, et limpulsion de tous les photons de mme direction est
dun de ces photons est p = h
c
donc
h
N ( n)c dt dAdd.
dImp =
c
Or on a vu que la relation entre densit numrique de photons et intensit spcifique scrit
N = I(t, x, , )/(hc), donc la relation prcdente donne
1
dImp = I( n)dt dAdd.
c
Limpulsion incidente totale sobtient en intgrant sur toutes les directions incidentes pour
trouver
Z

Z +
1
Impinc =
( n)I dd dAdt.
c
n<0 0
La force exerce par la surface sur les photons sobtient en faisant la diffrence de limpulsion des photons r-mis et de limpulsion des photons incidents, divise par dt. Si lon
suppose que la surface ne r-met aucun photons, alors on trouve que la force scrit
Z

Z +
1
Fsurf acephotons =
( n)I dd dA.
c
n<0 0

39

La force exerce par les photons sur la surface est loppose de Fsurf acephotons :

Z
Z +
1
( n)I dd dA.
Fphotonssurf ace =
c
n<0 0
Cette force peut scrire sous la forme F = P ndA o P est le tenseur de pression dfini par
Z
Z +
1
P =
I dd.
c n<0 0
La force normale exerce par les photons est Fn = F n, et lon trouve

Z
Z +
1
2
( n) I dd dA.
Fn =
c
n<0 0
Le signe montre que cette force normale est oppose n, ce qui est attendu. La pression
correspondante est le scalaire p tel que |Fn | = pdA, soit
Z
Z +
1
p=
( n)2 I dd.
(2.4)
c n<0 0
Exercice 2.1. Montrer que si la surface est parfaitement rflchissante, la pression est alors
Z Z +
1
p=
( n)2 I dd
c S2 0

2.2

Radiation du corps noir

Lorsquune onde rencontre un matriau, celui-ci peut rflchir cette onde en partie. Une
autre partie de londe pntre dans le matriau, est absorbe en partie par les atomes (qui
voient leurs niveaux dnergie augmenter), et est donc attnue. Si londe ne ressort pas du
matriau, celui-ci est dit opaque. Si londe nest pas attnue, le matriau est dit transparent.
Les proprits de transparence ou dopacit dpendent du matriau lui-mme et de son
paisseur.
Quand les atomes excits par les photons reviennent leur niveau dnergie initial, il
mettent leur tour des photons, dont les caractristiques dpendent de la temprature du
matriau.
La couleur dune lumire est correspond une longueur donde donne : par exemple,
la couleur verte correspond une longueur donde entre 510 et 540 nm. La couleur blanche
est celle dune lumire compose dondes de tout le spectre visible au moins (de 380 700
nm). La couleur dun objet est donc due la lumire quil met : celle quil rflchit, et
celle quil rayonne. Pour un objet une temprature normale, le rayonnement est mis dans
des longueurs dondes plus basses que la lumire visible. La longueur donde de la lumire
rflchie donne sa couleur lobjet. Par exemple : un objet verte (comme une plante) absorbe
toutes les longueurs donde de la lumire visible et ne rflchit que celle correspondant au
vert. Un objet trs chaud peut rayonner dans la lumire visible, comme par exemple une fer
chauff blanc.

40

Un objet qui nous parait noir ne rflchit donc aucune longueur donde dans la lumire
visible, mais il peut rflchir dans dautres longueurs dondes. Un corps noir est un objet
idal qui ne rflchit aucune longueur donde. Il absorbe donc une quantit maximale dnergie, et lon peut montrer quil en r-met aussi une quantit maximale. Cet objet permet
de classifier les autres types de surface et est dune grande importance dans la thorie du
transfert radiatif.
Attention, un corps noir peut tre trs lumineux ! La lumire rayonne par le corps dpend
en effet de sa temprature, et donc il peut mettre dans la lumire visible sil est suffisamment
chaud. Ainsi, le soleil se comporte comme un corps noir la temprature de 5777 K.
M. Planck a montr que lnergie rayonne par un corps noir la temprature T pour
une longueur donde (c.--d. lintensit spcifique du rayonnement de frquence ) est
I = B(T, ), dfinie par
2h 3 n2
,
(2.5)
B(T, )
h
c2 (e kT 1)

o k est la constante de Boltzmann (Planck a utilis des arguments de la thorie cintique de


Boltzmann pour arriver ce rsultat), n est lindice de rfraction du milieu dans lequel est
mis londe, et c est la vitesse de la lumire dans le vide. Cette distribution est isotrope (elle
ne dpend pas de la direction des photons r-mis). Elle est souvent appele distribution
planckienne. On considre que tout corps la temprature T met des photons selon la
distribution Planckienne B(T, ).
Lintensit totale du corps noir sobtient alors aisment :
Z + Z
B(T ) =
B(T, ) dd
(2.6)
0
S2
4
= T ,
o = SB /, avec SB = 5.670 108 la constante de Stefan-Boltzmann. Cette relation
indique que le flux de chaleur due la radiation mise par un corps noir est proportionnel
sa temprature la puissance 4 : ce flux est donc grand pour les grandes tempratures.
Exercice 2.2. (daprs [12]). Le projet japonais Ikaros, ralis en 2010, consistait dmontrer la faisabilit dun vol spatial au moyen dune voile solaire : un petit satellite est muni
dune grande voile, et la pression radiative solaire est cense lui permettre de se dplacer
volont. Dans cet exercice, nous proposons dutiliser les formules prcdentes afin de dterminer la surface ncessaire de la voile pour obtenir une pousse de 1 mN. Pour cela, on
suppose que le soleil se comporte comme un corps noir la temprature TS = 5777 K. La
distance entre le soleil et le satellite est approximativement la mme quentre le soleil et la
Terre, soit en moyenne L = 1.496 1011 m, et le soleil a un rayon de R = 6.96108 m.
1. Quelles sont les directions des photons impactant le satellite ? Il est conseill dutiliser la reprsentation de en variables sphriques (, ), avec langle azimutal
mesur partir de laxe soleil-satellite.
2. Calculer la pression radiative solaire exerce sur la voile du satellite. Pour simplifier,
on supposera celle-ci parfaitement absorbante.
3. En dduire la surface ncessaire de la voile.

41

Solution. Les rayons lumineux provenant du soleil et atteignant le satellite sont tous
contenus dans un cne C daxe soleil-satellite (not x), et de gnratrices qui passent par
le satellite et sont tangentes au soleil (voir figure 2.2). Langle entre laxe x et une de
ces gnratrices est tel que sin = R/L 4.65 103 . En reprsentation sphrique, on pose
= (cos , sin cos , sin sin ) o est langle entre laxe x et , et est langle entre la
projection de sur un plan perpendiculaire x et un deuxime axe y contenu dans ce plan.
Toute la sphre unit est reprsentable avec [0, ] et [0, 2]. Le cne recherch est
alors C = {, o = (cos , sin cos , sin sin ), avec [0, ] et [0, 2]}.
z

cone C
y

Soleil

Satellite
L

Figure 2.2 Directions des photons impactant un satellite


La pression radiative exerce sur le satellite sobtient en utilisant la formule (2.4) avec I
donne par (2.5), o le domaine dintgration en est le cne dfinit ci-dessus. On trouve
alors
Z
Z +
1
( n)2 B(Ts , ) dd,
p=
c C 0
o n est la normale la voile, dirige vers le satellite (et donc porte par laxe x). On a donc
n = x = cos . La mesure en vaut sin dd, et lon trouve
Z
Z
1 +
( n)2 d
p=
B(Ts , ) d
c 0
C
Z Z 2
1
= TS4
cos2 sin dd
c
0
Z 0
2
= SB TS4
cos2 sin d,
c
0
o lon a utilis (2.6). On peut calculer lintgrale en exactement, mais comme sin est
trs petit (voir ci-dessus), ilR est plus simple et suffisamment
prcis dapprocher par sin
R

2
2
et cos par 1 pour trouver 0 cos sin d 0 d = /2 21 sin2 = 21 (R/L)2 . Ainsi,
on trouve
 2
R
1
4
p SB TS
,
c
L
soit p 4.56 106 N.m2 .
La relation liant force, pression, et surface de la voile |A| est F = p|A|, soit |A| = F/p
220 m2 .

42

2.3

quation de transport

Suivons un rayon lumineux le long de sa trajectoire : entre t et dt, la position des photons
passe de x x + tc, soit une distance s = ct. La variation de lintensit spcifique est
donc
I = I(t + t, x + tc, , ) I(t, x, , ).

Sans interaction avec la matire, il ny a pas de variation dintensit : I = 0.


Les interactions avec la matire font perdre un certain nombre de photons : certains sont
absorbs (phnomne dabsorption) et dautres voient leur direction modifie (phnomne
de dispersion). La perte dintensit est suppose proportionnelle lintensit elle-mme et
la distance parcourue. La perte dintensit scrit donc
I = Is,
o est le coefficient dattnuation. Il peut dpendre de la frquence et de la position.
On suppose que la matire, la temprature T , r-met une certaine quantit de radiations, selon la loi du corps noir, l aussi de faon proportionnelle la distance parcourue.
On rajoute donc le terme correspondant pour trouver
I = Is + m B(T, )s,
o m est le coefficient dattnuation.
Enfin, il faut tenir compte dun certain nombre de photons qui avaient une direction 0 et
qui prennent la direction aprs leur interaction avec la matire. Leur nergie (et donc leur
frquence) nest pas modifie dans ce processus : la collision est dite lastique. Cela donne
un gain dintensit, l encore proportionnel s, que lon rajoute au bilan prcdent :
Z
s(, 0 )I(t, x, 0 , ) d0 s.
(2.7)
I = Is + m B(T, )s +
S2

Lintgrale en direction somme toute les contributions de photons de direction quelconque 0


avant collision, et le noyau s(, 0 ) indique pour chaque direction 0 la proportion de photons
prenant la direction . Ce noyau satisfait la proprit de symtrie s(, 0 ) = s(0 , ). Il
satisfait aussi une autre proprit explique comme suit. Fixons 0 avant collision, on fait
sur toute les directions possibles 2 aprs collision la somme des proportions de photons
passant de 0 : cette somme vaut ncessairement 1 (la direction 0 sest forcment
change en une des directions ). Cela se traduit par la relation de normalisation
Z
s(, 0 ) d = 1.
(2.8)
S2

On peut alors diviser (2.7) par s = ct et passer la limite t 0 pour trouver au


membre de gauche
I(t + t, x + tc, , ) I(t, x, , )
0
ct
1
= t I(t, x, , ) + x I(t, x, , ).
c
lim

43

On a donc tablit lquation du transfert radiatif


1
t I(t, x, , ) + x I(t, x, , )
c
Z
= I + m B(T, ) +

(2.9)
0

s(, )I(t, x, , ) d .
S2

Il faut tenir compte dune contrainte importante : si le rayonnement est celui dun corps
noir, alors linteraction avec la matire ne doit avoir aucune influence sur la variation de I
qui reste nulle. En insrant RI = B(t, ) dans le membre de droite de (2.9), on trouve alors
B(T, )+m B(T, )+( S 2 s(, 0 ) d0 )B(T, ) = 0, et la relation de normalisation (2.8)
et la proprit de symtrie de s nous donne alors = m + : le coefficient dabsorption est
la somme des coefficients dmission et de dispersion. On peut alors rcrire lquation du
transfert sous la forme suivante :
1
t I(t, x, , ) + x I(t, x, , )
c
Z
= m (B(T, ) I(t, x, , )) +
|
{z
}
|
absorption-rmission


s(, )I(t, x, , ) d I(t, x, , ) ,
S2
{z
}
0

(2.10)

dispersion

qui diffrencie bien les deux types dinteraction avec la matire. Noter que la structure du
terme absorption-rmission est de type relaxation, comme pour loprateur BGK (1.23)
de la dynamique des gaz.
Le coefficient , appel opacit, a la dimension de linverse dune longueur qui peut
sinterprter comme la distance sur laquelle agit le phnomne de dispersion, d aux collisions
avec les particules de matire. On peut assimiler cette distance au libre parcours moyen des
photons entre deux collisions avec le milieu, ou la distance moyenne entre particules. Les
coefficients m et peuvent dpendre de x (matriau non homogne) et de , mais dans
certains cas, on peut les considrer constants. On peut aussi supposer que la dispersion se
fait de faon uniforme, c.-.d. que s = 1/4, ou quil ny a pas de diffraction du tout ( = 0).
Un modle simplifi couramment utilis est le modle unidimensionnel construit de la
faon suivante. On suppose que I ne dpend que dune variable despace (note x) et est
invariante en direction autour de laxe des x, et on suppose s = 1/4. Notons et les
angles dfinissant en coordonnes sphriques, tant langle avec laxe des x : autrement
dit = (cos , sin cos , sin sin ). Linvariance axiale de I se traduit par le fait que I
ne dpend que de et pas de . Il est alors intressant dliminer
la dpendance en de
R 2
lquation (2.10) en lintgrant par rapport . On note f = 0 I d = 2I. On trouve alors
les termes suivants. Le terme de drive en temps donne
Z 2
1
1
t I d = t f.
c
c
0
Le terme de drive en espace donne
Z 2
Z
x I d =
0

cos x I d = cos x f

= x f,

44

o = cos . Dans le terme de diffraction, B ne dpend pas de , donc de non plus et lon
trouve
Z
2

(B(T, ) I) d = m (2B(T, ) I).

Enfin, sachant que d = sin dd et sin d = d, lintgrale du terme de diffraction donne


Z 2
Z
Z 2 Z 2 Z
1
1
0
0
I(0 ) sin 0 d0 d0 d
I( ) d d =
4
4
2
0
0
0
S
Z 0
1
=
f (0 ) sin 0 d0
2 0
Z
1 1
=
f (0 ) d0 .
2 0
Finalement, le modle unidimensionnel scrit donc
1
t f (t, x, , ) + x f (t, x, , )
c

 Z 1
1
0
0
= m (2B(T, ) f (t, x, , )) +
f (t, x, , ) d f (t, x, , ) .
2 0

2.4

(2.11)

Couplage avec lvolution de la temprature du matriau

Dans le cas dun matriau solide, donc sans convection, lquation dvolution de lnergie
est
t e + q = 0,

o q est le vecteur flux de chaleur. Si lnergie est donne par cm T (o est la densit
du matriau et cm sa capacit calorifique), et si le flux de chaleur est uniquement d la
conduction, alors la loi de Fourier donne q = c T . Pour tenir compte du flux de chaleur
radiatif, il suffit dajouter q le flux de chaleur qrad calcul prcdemment (voir (2.3)). On
trouve donc lquation de la chaleur
cm t T = c T qrad
Z
= c T I(t, x, , ) dd.
Un cas frquemment rencontr est celui o les chelles de temps du matriau sont bien
plus grandes que celles du transfert radiatif. Ainsi, pendant un temps relativement bref
lchelle de la thermique du matriau, le rayonnement, dont lchelle de temps est bien plus
petite, atteint immdiatement un tat stationnaire. Lquation du transfert (2.10) peut donc
tre considr comme stationnaire et lon peut obtenir une expression intressante de qrad .
Lquation stationnaire est
x I(t, x, , )
= m (B(T, ) I(t, x, , )) +

Z
S2


s(, )I(t, x, , ) d I(t, x, , ) .
0

(2.12)

45

En intgrant cette quation par rapport et , on remarque que la deuxime intgrale


du membre de droite sannule (cela est d la condition de normalisation (2.8) de s). Le
premier terme du membre de gauche nest autre que la divergence de qrad , et lon trouve
Z
Z
I(t, x, , ) dd = m (B(T, ) I(t, x, , )) dd.
Dans le cas o m ne dpend pas de , la relation de Stefan-Boltzmann (2.6) donne
Z
Z
4
I(t, x, , ) dd = T m I(t, x, , )) dd,
et lquation de la chaleur est finalement :


Z
4
cm t T = c T T m I(t, x, , )) dd ,
qui doit tre couple lquation du transfert (2.12).

Chapitre 3
Analyse asymptotique
3.1

Analyse dimensionnelle pour la dynamique des gaz

Dans un modle physique donn, les variables et les inconnues peuvent prendre des valeurs
numriques dordre de grandeur trs diffrent : par exemple, pour un problme de rentre
atmosphrique, les variations temporelles peuvent se faire sur une dure typique de lordre
de 103 seconde, la valeur moyenne de la fonction de distribution peut tre de lordre de
105 , la temprature est de lordre de 100 K, la vitesse moyenne est de lordre de 1000 m.s1 ,
etc. Lanalyse dimensionnelle du modle physique consiste transformer les variables et les
inconnues (par une homothtie) de faon que leurs valeurs moyennes soient toutes de lordre
de 1. Cela permet de comparer la grandeur des diffrents termes du modle entre eux, de faire
apparatre diffrentes chelles spatiales ou temporelles, et de mettre en vidence diffrents
types de comportement possible de la solution selon les donnes, en utilisant pour cela les
nombres sans dimension apparaissant dans le modle. Un exemple bien connu en mcanique
des fluides est lanalyse dimensionnelle des quations de Navier-Stokes compressibles qui fait
apparatre les nombres de Mach et de Reynolds : cela permet didentifier diffrents rgimes
comme le rgime incompressible linaire ou non linaire, le rgime non visqueux, etc.
Dans cette section, nous procdons de cette faon sur le modle BGK de la dynamique
des gaz rarfis. Il est possible de faire la mme analyse sur lquation de Boltzmann, mais
cela est inutilement compliqu pour le but que lon se fixe dans ce cours. Considrons que sur
un problme donn, nous sommes capables didentifier des grandeurs caractristiques (on
dit aussi de rfrence) de longueur L, de pression p , et de temprature T . Cela signifie
que lon sintresse de faon privilgie aux variations de la solution sur une longueur de
lordre de L, et que la pression et la temprature vont varier autour des valeurs p et T .
La longueur de rfrence peut tre celle du domaine de calcul, ou la longueur de lobstacle
autour duquel scoule le gaz. La pression et temprature de rfrence peuvent tre celles de
lcoulement non perturb loin de lobstacle.
Avec ces grandeurs de rfrences, nous allons dfinir les grandeurs de rfrence des
autres
variables ou inconnues du problme : la densit = p /RT , la vitesse v = RT (la
vitesse thermique), le temps t = L/v (cest le temps mis par une particule anime dune
vitesse gale la vitesse thermique pour parcourir la distance de rfrence L), la fonction de
distribution f = /(RT )3/2 (il sagit dune constante).

48

Enfin, nous utiliserons un autre temps de rfrence en se donnant qui est une valeur
typique du temps de relaxation . Cette valeur est donc reprsentative du temps moyen entre
deux collisions.
prsent, nous dfinissons les variables et inconnues adimensionnes : la position x0 =
x/L, le temps t0 = t/t , la vitesse v 0 = v/v , la densit 0 = / , la pression p0 = p/p , la
temprature T 0 = T /T , le temps de relaxation 0 = / , la distribution f 0 = f /f . Nous
pouvons maintenant passer lcriture de lquation BGK (1.24) avec ces nouvelles variables
pour la fonction f 0 (t0 , x0 , v 0 ) = f (t, x, v)/f . Calculons les diffrents termes de cette quation :
t f (t, x, v) = t0 f f 0 (t0 , x0 , v 0 )

1
t

1
L


(t, x)
|v u(t, x)|2
M ((t, x), u(t, x), T (t, x))(v) =
exp
(2RT (t, x))3/2
2RT (t, x)


0 0
0
0
0 0
0 2
(t , x )
|v v v u (t , x )|
=
exp

(2RT T 0 (t0 , x0 ))3/2


2RT T 0 (t0 , x0 )



|v 0 u0 (t0 , x0 )|2
0 (t0 , x0 )
=
exp
(RT )3/2 (2T 0 (t0 , x0 ))3/2
2T 0 (t0 , x0 )
= f M 0 (0 (t0 , x0 ), u(t0 , x0 ), T 0 (t0 , x0 ))(v 0 ),
v x f (, t, x, v) = v v 0 x0 f f 0 (t0 , x0 , v 0 )

o lon a utilis les liens entre v et T , et o lon note M 0 est la maxwellienne adimensionne,
obtenue par (1.10) avec R = 1. Lquation BGK (1.24) scrit donc
f
v f 0
f
v x0 f 0 =
(M 0 (0 , u0 , T 0 ) f 0 ),
t0 f 0 +
t
L
0
En divisant tous les termes par

f
t

et en utilisant t = L/v , on trouve

t0 f 0 + v 0 x0 f 0 =

t 1
(M 0 (0 , u0 , T 0 ) f 0 ).
0

(3.1)

prsent, dfinissons le libre parcours moyen comme la distance parcourue par une particule anime de la vitesse caractristique v pendant le temps de relaxation de rfrence ,
soit :
= v .
(3.2)
Nous pouvons alors rcrire le rapport t / apparaissant dans (3.1) comme
v t
L
t
=
= ,

daprs la dfinition de t . Ce rapport fait apparatre linverse du nombre de Knudsen dfini


par

Kn = ,
(3.3)
L
qui est un nombre sans dimension mesurant le rapport entre une distance typique microscopique (le libre parcours moyen ) et une distance typique macroscopique (la distance L).

49

Nous avons dj rencontr ce nombre la section 1.1.4 : cest lui qui permet la classification
des rgimes dcoulements en rgime rarfi ou rgime dense.
Pour la suite de ce chapitre, nous travaillerons la plupart du temps sur lquation adimensionne (3.1), et pour allger les notations, nous supprimerons les primes sur toutes
les variables. En outre, pour suivre une notation habituelle en analyse asymptotique, nous
noterons le nombre de Knudsen au lieu de Kn. En outre, nous nous placerons dans le cas
dun gaz en dimension d quelconque (qui tait 3 jusquici), ce qui a lavantage de faire apparatre plus clairement dans les calculs le rle de la dimension. Lquation considre scrit
donc maintenant :
1
(3.4)
t f + v x f = (M [, u, T ] f ),

o la maxwellienne adimensionne, les moments, et la temprature, sont dfinies par





|v u|2
M [, u, T ] =
,
(3.5)
exp
(2T )d/2
2T
1
(, u, E) = h(1, v, |v|2 )f dvi,
2
1
d
E = |u|2 + T.
2
2

3.2

(3.6)
(3.7)

De Boltzmann Euler

Dans cette section, nous montrons que quand est petit, f est proche de sa maxwellienne
locale O() prs et que ses moments satisfont les quations dEuler O() prs.
Tout dabord, observons que lquation (3.4) implique
f = M [, u, T ] + (t f + v x f ).

(3.8)

Si lon suppose que f et ses drives par rapport t et x sont dordre 1 par rapport
(ce qui na rien dvident 1 ), alors (3.8) implique
f = M [, u, T ] + O().

(3.9)

Ensuite, rappelons les lois de conservation (1.18) que vrifient les moments de f :
t + x u = 0,
t u + x (u u) + x (f ) = 0,
t E + x (Eu + (f )u + q(f )) = 0.

(3.10)

La relation (3.9) permet dapprocher le tenseur des contraintes et le flux de chaleur O()
prs pour obtenir :
(f ) = (M [, u, T ] + O()) = (M [, u, T ]) + O(),
q(f ) = q(M [, u, T ] + O()) = q(M [, u, T ]) + O().
1. cela nest pas vrai quand la distribution initiale ou les donnes aux bords sont non maxwelliennes :
dans ce cas, lanalyse de cette section doit tre modifie pour tenir compte du phnomne de couche initiale
et couche limite.

50

On utilise ensuite les expressions (1.32) et (1.33) du tenseur des contraintes et du flux de
chaleur de la maxwellienne pour obtenir
(f ) = pId + O(),
q(f ) = O(),

(3.11)
(3.12)

en notant bien quici, lutilisation des variables adimensionnes implique p = T (la constante
R napparat plus). Enfin, nous revenons aux lois de conservation (3.10) qui scrivent maintenant
t + x u = 0,
t u + x (u u) + x p = O(),
t E + x ((E + p)u) = O().

(3.13)

Nous voyons donc que , u, et E satisfont les quations dEuler de la dynamique des gaz
compressibles (1.1) O() prs.
Pour la suite, il est utile de rcrire ces quations sous forme non conservative, cest--dire
avec les inconnues , u, et T . Un calcul simple, mais un peu long, nous donne
t + u x + x u = 0,
1
t u + (x u)u + x p = O(),

2
t T + u x T + T x u = O().
d

(3.14)

Notons que lanalyse formelle qui prcde nous montre que quand tend vers 0, f tend
vers sa maxwellienne locale, et les lois de conservation tendent vers les quations dEuler.
Ces quations dEuler peuvent donc tre vues comme la limite de lquation de Boltzmann
quand le nombre de Knudsen tend vers 0.
Pour terminer, il est important de revenir aux variables dimensionnelles. En effet, le
modle asymptotique (3.13) a t obtenu en variables adimensionnes : si on veut le comparer
aux quations dEuler de la dynamique des gaz, qui sont gnralement crites en variables
dimensionnes, il convient de le rcrire avec les bonnes variables. Ceci ne prsente aucune
difficult : rappelons que (3.13) doit en fait tre crit avec des sur toutes les variables, puis
effectuons le changement de variables et dinconnues utilis dans la section prcdente, dans
lautre sens. Il est facile de voir que le systme obtenu est toujours (3.13), la diffrence
que E et p font maintenant intervenir la constante du gaz R : on retrouve 21 |u|2 + d2 RT et
p = RT .

3.3

De Boltzmann Navier-Stokes

La section 3.2 nous a montr que les moments de f satisfont les quations dEuler
O() prs. Il est lgitime de se demander sil nexiste pas un autre systme dquations qui
serait lui satisfait O(2 ) prs : on aurait ainsi un modle macroscopique qui permettrait
de dcrire le gaz sans passer par lquation de Boltzmann, mais qui serait plus prcis que

51

les quations dEuler. La rponse est cette question est un des plus grands mrites de la
thorie cintique : ce systme dquation existe bien, et il nest autre que le systme des
quations de Navier-Stokes (1.2).
La mthode permettant darriver ce rsultat est appele dveloppement de ChapmanEnskog. On peut aussi y arriver par le dveloppement de Hilbert, mais cela est plus compliqu.
Dans le cas du modle BGK que nous considrons ici, le dveloppement de Chapman-Enskog
nest pas bien compliqu, mais ncessite de longs calculs 2 .
Remarquons que ce qui nous a permis dobtenir les quations dEuler O() prs est
la relation f = M [, u, T ] + O(). Pour obtenir un systme dquations satisfait un ordre
suprieur, il nous faut examiner le reste O() dans la relation prcdente. Notons alors
g = f M [, u, T ] la diffrence entre f et sa maxwellienne locale (appele aussi dviation
par rapport lquilibre), ce qui scrit aussi :
f = M [, u, T ] + g.

(3.15)

prsent, nous utilisons cette dcomposition pour crire de faon plus prcise le tenseur des
contraintes et le flux de chaleur de f :
(f ) = (M [, u, T ] + g) = (M [, u, T ]) + (g),
q(f ) = q(M [, u, T ] + g) = q(M [, u, T ]) + q(g),
et utilisant nouveau les expressions de (M ) et q(M ), nous trouvons
(f ) = pId + (g),
q(f ) = q(g).

(3.16)
(3.17)

Il nous faut donc maintenant approcher (g) et q(g) O() prs au moins. Pour cela,
revenons lquation (3.4) que nous crivons en utilisant la dcomposition (3.15). Il vient :
g = (t M [, u, T ] + v x M [, u, T ]) (t g + v x g).
Comme g = O(1) (la section 3.2 nous a montr que f M [, u, T ] = O(), or g = (f
M [, u, T ])/) nous voyons que le second terme de lexpression ci-dessus est en fait un O(),
ce qui donne
g = (t M [, u, T ] + v x M [, u, T ]) + O().
(3.18)

Nous avons donc un expression de g en fonction des variables macroscopiques et de leurs


drives O() prs. Nous voyons dj que cela va nous permettre dexprimer le tenseur des
contraintes et le flux de chaleur en fonction des variables macroscopiques et de leurs drives,
O(2 ) prs, et donc dobtenir le systme dquations souhait. Pour cela, il va cependant
falloir encore procder de longs calculs.
Il nous faut tout dabord calculer le tenseur des contraintes et le flux de chaleur de g en
utilisant la relation (3.18). Nous avons
(g) = h(v u) (v u)(t M [, u, T ] + v x M [, u, T ])i + O(),
q(g) = h 12 (v u)|v u|2 (t M [, u, T ] + v x M [, u, T ])i + O().

(3.19)
(3.20)

2. afin de ne pas rendre cette prsentation trop indigeste, les calculs les plus compliqus, qui ne sont
daucun intrt pour la comprhension de la mthode, sont en gnral placs en appendice

52

Ensuite, nous calculons le rsultat de loprateur de transport appliqu M [, u, T ]. Un


calcul simple (voir appendice B.1) donne
t M [, u, T ] + v x M [, u, T ]
=

|vu|
t + v x (v u) (t u + (x u)v) ( 2T d2 )(t T + v x T )
+
+

T
T

!
M [, u, T ].
(3.21)

Il est possible dinjecter cette relation dans (3.19) et (3.20), et de calculer les intgrales
correspondantes, mais on obtient alors (g) et q(g) en fonction des drives spatiales et
temporelles des quantits macroscopiques. Cette dpendance par rapport aux drives temporelles donne un systme quil est difficile de relier aux quations de Navier-Stokes. En fait,
on peut liminer ces drives temporelles laide de lastuce suivante : sachant que , u, et T
vrifient les quations dEuler non conservatives O() prs (voir (3.14)), on peut exprimer
les drives temporelles en fonction des drives spatiales O() prs :
t = u x x u,
1
t u = (x u)u x p + O(),

2
t T = u x T T x u + O().
d
On utilise alors ces relations dans (3.21) pour trouver
t M [, u, T ] + v x M [, u, T ]
 

1
= M [, u, T ]
(v u) u



1
1
+ (v u) (x u)(v u) x p
T





2
1 |v u|
d
2
+

(v u) x T T u + O() .
T
2T
2
d
On utilise ensuite la relation x p = T = T + x T pour simplifier lexpression
prcdente :
t M [, u, T ] + v x M [, u, T ]

|v u|2
1
= M [, u, T ]
u + (v u) (v u) : x u
dT
T



2
|v u|
d+2
(v u)
+

x T
+ O()
2T
2
T


(v u) (v u) |v u|2
= M [, u, T ]

Id : x u
T
dT



|v u|2 d + 2
x T
+

(v u)
+ O(),
2T
2
T

53

o lon a utilis la relation (facile vrifier) x u = Id : x u pour factoriser les termes en


u. On introduit enfin les notations suivantes :


vu
d+2
1
2
1
V = ,
A(V ) = 2 |V |
V,
B(V ) = V V |V |2 Id
(3.22)
2
d
T
pour trouver lexpression trs compacte
t M [, u, T ] + v x M [, u, T ]


x T
= A(V ) + B(V ) : x u M [, u, T ] + O().
T
On peut encore simplifier les calculs venir en exprimant M [, u, T ] en fonction de V :
on a en effet



1
|V |2
M [, u, T ](v) = d M0 (V ),
o
M0 (V ) =

.
(3.23)
d exp
2
T2
(2) 2
Effectuons aussi le changement de variable v 7 V dans toute intgrale du type suivant :
Z
Z
(V )M [, u, T ](v) dv = (V )M0 (V ) dV.
Nous noterons dans la suite de la mme faon h.i pour toute intgrale par rapport v
ou V : les variables utilises dans les expressions indiquerons sans ambigut la variable
dintgration.
Nous pouvons prsent revenir aux expressions du tenseur des contraintes (3.19) et du
flux de chaleur (3.20). Les calculs prcdents donnent :


x T
(g) = T hV V A(V ) + B(V ) : x u M0 (V )i + O(),
T


3

xT
2
1
q(g) = T 2 h 2 V |V | A(V ) + B(V ) : x u M0 (V )i + O().
T
Remarquons enfin que les fonctions M0 et B sont paires par rapport V , alors que A
est impaire. Ceci permet didentifier des termes impaires, donc dintgrales nulles, dans les
expressions de (g) et q(g) pour obtenir finalement :
(g) = T hV V (B(V ) : x u) M0 (V )i + O(),
q(g) = T h 21 V |V |2 (A(V ) x T ) M0 (V )i + O().
Tout ce travail nous a permis dcrire (g) et q(g) comme combinaisons linaires de
diffrents moments de la gaussienne M0 (V ), O() prs. Nous renvoyons aux appendices B.4
et B.5 pour les calculs de ces moments, qui permettent daboutir au rsultat suivant :


2
T
(3.24)
(g) = T x u + (x u) x u Id + O(),
d
d+2
q(g) = T
x T + O().
(3.25)
2

54

En revenant aux dcompositions (3.16)-(3.17), et en utilisant le rsultat ci-dessus, on a alors


un dveloppement asymptotique du tenseur des contraintes et du flux de chaleur O(2 ) prs,
en fonction des quantits macroscopiques et de leurs gradients. Ce dveloppement scrit
(f ) = pId + + O(2 ),

q(g) = q + O(2 ),

(3.26)

avec


2
T
= T x u + (x u) x u Id ,
d
d+2
q = T
x T.
2

(3.27)

Revenons prsent aux lois de conservation (3.10) : en utilisant (3.26)(3.27), on trouve


t + u = 0,
t u + (u u) + p = + O(2 ),
t E + (E + p)u = q (u) + O(2 ).

(3.28)

On peut maintenant voir que ces relations sont tout simplement les quations de NavierStokes (1.2) aux termes O(2 ) prs. Pour cela, il convient de revenir aux variables dimensionnelles : la seule consquence de ce changement de variables inverse est que la temprature
adimensionne T est remplace par RT dans toutes les expressions (y compris dans E et p).
Ainsi, on trouve nouveau (3.28), avec

2
= p u + (u)T u
d

et

q = pR

d+2
T,
2

(3.29)

En notant BGK et BGK les coefficients de transports dfinis par


BGK = p

et

BGK = pR

d+2
,
2

(3.30)

et en ngligeant les termes en O(2 ), on retrouve exactement (1.2) avec les lois de Newton
et de Fourier (1.3), o les coefficients de viscosit et de transfert thermique sont donns par
= BGK et = BGK dfinis ci-dessus.
En rsum, nous avons donc montr que les quantits macroscopiques , u, et E associes
la solution de lquation BGK sont aussi solutions 2 prs des quations de NavierStokes de la dynamique des gaz compressibles. Le modle de Navier-Stokes fournit donc
une approximation plus prcise de la solution de lquation BGK que le modle dEuler vu
prcdemment (voir lexercice (3.1).
Remarque 3.1. Notre analyse nous montre aussi que les coefficients de transport, en variables adimensionnes, sont du mme ordre que le nombre de Knudsen (voir (3.27)).
Remarque 3.2. Un autre point important est que le dveloppement de Chapmann-Enskog
permet de dfinir les coefficients de transports et en fonction des quantits macroscopiques. Cela est remarquable, puisque une telle relation nest pas fournie par la mcanique
des fluides, mais est plutt obtenue comme une hypothse valide par de nombreuses expriences. Encore plus important : on peut tendre le dveloppement de Chapman-Enskog

55

lquation de Boltzmann (ce qui induit de nombreux calculs plus complexes que ceux exposs
ici), et lon obtient un lien entre les coefficients de transports et le potentiel dinteraction
molculaire. Ce rsultat est un des succs majeurs de la thorie cintique des gaz.
Remarque 3.3. Le modle BGK prsente un dfaut notable : il conduit un nombre de
Prandtl incorrect. Ce nombre est dfini par
Pr =

Cp
,

(3.31)

o Cp = 25 R est la constante de chaleur spcifique pression constante pour un gaz monoatomique. Pour un tel gaz, la valeur de Pr calcule avec les mesures exprimentales de
et donnent une valeur trs proche de 2/3, ce qui montre que et sont proportionnels.
De faon remarquable, le nombre de Prandtl calcul avec les valeurs de et obtenues par
dveloppement de Chapman-Enskog de lquation de Boltzmann donnent exactement 2/3.
Par contre, avec le modle BGK, les valeurs de et obtenues dans (3.30) donnent (en
prenant d = 3) :
p5/2R
=1
Pr =
pR5/2
au lieu de 2/3. Cela signifie que le transfert de chaleur est trop rapide par rapport au transfert
de quantit de mouvement, ce qui peut se voir sur les rsultats de simulation.
Remarque 3.4. Revenons enfin sur le temps de relaxation du modle BGK. En pratique,
pour utiliser ce modle, il faut bien se donner une valeur pour ce terme. Or dans tout ce qui
prcde, il na jamais t dfini. Pour ce faire, on utilise une fois encore le dveloppement
de Chapman-Enskog. Tout dabord, on se donne une relation dfinissant la viscosit BGK
en fonction de la temprature, en gnral du type = AT , ce qui est cohrent avec les
expriences et avec la viscosit calcule par dveloppement de Chapman-Enskog sur lquation de Boltzmann. Ensuite, on dfinit en utilisant la premire relation de (3.30), ce qui
donne = BGK /p. Cette dfinition a lavantage de donner un modle BGK consistant avec
le modle de Navier-Stokes, en ce qui concerne la viscosit. Comme on la vu lors de ltude
du nombre de Prandtl, le coefficient de transfert thermique ne peut avoir la bonne valeur.
Remarque 3.5. Le modle BGK peut tre vu comme un modle un paramtre (le temps
de relaxation ) qui peut tre ajust de faon obtenir la bonne valeur de . Pour obtenir
les bonnes valeurs de et , il faudrait rajouter un deuxime paramtre dans le modle.
Cela a t effectu par Holway (modle ESBGK) et Shakhov (modle S).
Exercice 3.1. En notant (N S , uN S , TN S ) la solution des quations de Navier-Stokes, montrer que la relation (3.15) et le dveloppement de Chapman-Enskog fournissent une approximation de f O(2 ) en fonction de (N S , uN S , TN S ) et de leurs gradients.

3.4

Transfert radiatif dans un matriau opaque : limite


de diffusion

Considrons le phnomne de dispersion dans lequel les photons voient leur direction
modifie aprs une collision avec les particules du milieu travers. Pour simplifier, le phnomne dabsorption/mission sera nglig. Plus la distance entre particules est faible, et

56

plus les photons sont susceptibles dentrer frquemment en collision avec elles : on dit que le
milieu est opaque (ou optiquement pais). Nous allons montrer ici que lnergie radiative
se propage alors selon une loi de diffusion, de la mme faon que pour la conduction de la
chaleur.
Ce rsultat sobtient par une analyse asymptotique assez proche du dveloppement de
Chapman-Enskog vu pour la dynamique des gaz (voir section 3.3). Pour simplifier, nous
considrons lquation (2.11) du transfert radiatif unidimensionnel, sans terme dabsorbtionrmission :
1
t f (t, x, , ) + x f (t, x, , )
c
 Z 1

1
0
0
=
f (t, x, , ) d f (t, x, , ) ,
2 0

(3.32)

et lon considre que la frquence nest ici quun paramtre fix. La premire tape de
lanalyse consiste adimensionner lquation de faon prciser le fait que le milieu est
opaque. Considrons une distance macroscopique de rfrence x = L (par exemple lpaisparticule de matire

photon

Figure 3.1 Collisions des photons avec la matire


seur dun verre en cours de cuisson, ou lpaisseur dune couche de nuages). Considrons un
temps macroscopique de rfrence t (qui sera prcis par la suite). Le coefficient dopacit
est linverse dune longueur, que lon a interprt section 2.3 comme le libre parcours moyen
des photons entre deux collisions. En choisissant une valeur typique l de ce libre parcours
moyen, on a donc une valeur caractristique = 1/l de . Supposons enfin fixe une valeur
caractristique f de la distribution f (sa valeur prcise na pas dimportance pour la suite).
On dfinit alors les grandeurs adimensionnes x0 = x/x , t0 = t/t , 0 = / , et
0 0
f (t , x0 , ) = f (t, x, )/f , et lon effectue le changement de variables et dinconnues dans
lquation (3.32) pour trouver
1 f
f
0 0
0

f
(t
,
x
,
)
+

f 0 (t0 , x0 , )
t
x
c t
x
 Z 1

1
0
0 0
0
0
0
0 0
0
=f
f (t , x , ) d f (t , x , ) .
2 0

57

On peut alors liminer f et multiplier lquation par x pour trouver


x
t f 0 (t0 , x0 , ) + x f 0 (t0 , x0 , )

ct
 Z 1

1
0 0
0
0
0
0 0
0
0
f (t , x , ) d f (t , x , ) .
=x
2 0

(3.33)

Le produit x vaut L/l, cest donc linverse du rapport du libre parcours moyen
la longueur macroscopique caractristique du problme. Lhypothse de milieu opaque se
traduit naturellement par le fait que ce rapport, not , est trs petit : cest le paramtre qui
va nous permettre de mener lanalyse asymptotique. Rappelons donc sa dfinition :
=

1
x

l
.
L

(3.34)

Pour le moment, nous navons pas encore prcis lchelle de temps t . Une chelle naturelle
serait t = L/c, soit le temps mis par un photon pour traverser le domaine. Cependant,
on peut montrer que cette chelle est trop petite pour observer le phnomne de diffusion
(en fait on trouve qu cette chelle, lnergie de radiation nvolue pas ! voir lexercice 3.3).
L
, qui est donc beaucoup plus grande que la prcdente.
Lchelle convenable est en fait t = c
On trouve alors lquation adimensionne, dans laquelle, pour simplifier, on prfre ne plus
noter les :
t f (t, x, ) + x f (t, x, )

 Z
1 1
0
0
f (t, x, ) d f (t, x, ) .
=
2 0
1
2

(3.35)

R 1La deuxime tape consiste crire une quation dvolution de lintensit moyenne
f (t, x, ) d. Pour cela, on intgre (3.35) par rapport et lon trouve :
0
1
t
2

Z
0

1
f (t, x, ) d + x
2

f (t, x, ) d = 0.
0

R1
Pour simplifier la suite, on notera dsormais hi = 21 0 () d pour toute fonction de .
Ainsi, lquation prcdente scrit de faon plus compacte
t hf i + x hf i = 0.

(3.36)

La troisime tape consiste utiliser lquation sur f (3.35) pour construire une approximation du flux hf i apparaissant dans lquation prcdente. En multipliant (3.35) par /
et en rarrangeant les termes, on trouve
f = hf i

2
x f t f.

(3.37)

Ce dveloppement peut aussi scrire comme un dveloppement lordre 1 :


f = hf i + O().

(3.38)

58

On peut alors utiliser (3.38) dans le membre de droite de (3.37) pour trouver
f = hf i

x hf i + O(2 ).

(3.39)

Cette dernire relation nous permet alors dapprocher le flux de la faon suivante :

x hf i)i + O(2 )

= hihf i h2 ix hf i + O(2 )

= x hf i + O(2 ),
3

hf i = h(hf i

(3.40)

o lon a utilis les relations hi = 0 et h2 i = 1/3.


Cette expression nous permet alors dcrire une quation dvolution approche pour hf i :
en injectant (3.40) dans (3.36) et en divisant par , on trouve
t hf i x

1
x hf i = O(),
3

(3.41)

qui est une quation de diffusion prs.


Une des consquences de cette analyse est le rsultat de convergence suivant : quand
tend vers 0 (c.--d. que le milieu est de plus en plus opaque, ou encore que les photons
subissent de plus en plus de collisions), alors :
(3.37) implique que f tend vers sa moyenne par rapport , c.--d. vers une distribution isotrope en direction ;
(3.41) implique que cette distribution isotrope est solution dune quation de diffusion,
dont le coefficient de diffusion est 1/(3).
Ce rsultat fondamental permet de calculer de faon rapide la solution dun bon nombre de
problmes de transfert radiatif. Cest le parfait analogue des rsultats obtenus en dynamique
des gaz o lon a vu que les solutions des quations dEuler ou de Navier-Stokes sont des
approximations de la solution de lquation de Boltzmann.

3.5

Exercices

Exercice 3.2. Par la mthode donne section 3.4, calculer lquation satisfaite par hf i quand
tend vers 0 dans le cas o lon ne nglige plus le terme dabsorption/mission de (2.11). Il
faut supposer quune valeur caractristique du coefficient m est dordre 1/ par rapport
x pour obtenir une quation diffrente de celle obtenue prcdemment.
Exercice 3.3. Par la mthode donne section 3.4, calculer lquation satisfaite par hf i quand
tend vers 0 si lchelle de temps est t = L/c, et en conclure que hf i est constante cette
chelle.
Exercice 3.4. Par la mthode donne section 3.4, calculer lquation satisfaite par hf i quand
tend vers 0 pour le cas multidimensionnel (voir (2.10)).

Chapitre 4
Modlisation des sprays
Les sprays sont des coulements constitus dau moins deux phases : une phase fluide
porteuse, et une phase constitues de particules, solides ou liquides. Pour que ce mlange
soit qualifi de spray, il faut que les particules soient suffisamment disperses. Cela peut
tre quantifi par la fraction volumique des particules (cest--dire la proportion du volume
occup par toutes les particules par rapport au volume total considr) qui est entre 102
et 105 . On rencontre ce type dcoulements dans de nombreuses situations, industrielles ou
environnementales. Donnons trois exemples :
le carburant inject dans la chambre de combustion dun moteur : le jet de carburant se
spare en une multitude de gouttelettes qui sont transportes dans lair de la chambre.
La phase porteuse est lair, et la phase disperse est le carburant. Les particules
considres ici sont donc des particules liquides : les gouttelettes de carburant.
embruns ocaniques : lors du dferlement dun vague, un grand nombre de petites
gouttelettes deau de mer sont arraches la surface et transportes par le vent. L
aussi, la phase porteuse est lair, et les particules sont les gouttelettes deau.
spray mdical : un spray buccal comme de la ventoline est constitu dun gaz porteur et dune multitude de particules solides censes favoriser la dsinflammation des
bronches.
Lhypothse gnrale est que ces particules sont suffisamment petites devant lchelle
macroscopique du problme pour tre considres comme ponctuelles (cest la mme ide
quen thorie cintique des gaz). Leur structure interne nest donc pas dcrite prcisment (on
nutilise pas les quations de Navier-Stokes pour dcrire lintrieur des gouttes par exemple).
Nanmoins, les particules portent une information relative leur tat global : leur position,
vitesse, masse, temprature par exemple. Le modle de base utilis pour dcrire le spray
est donc constitu dun modle pour le fluide porteur (en gnral quations de NavierStokes incompressibles avec transfert thermique), et dun modle lagrangien dcrivant les
trajectoires des particules et lvolution de leur tat. Linfluence du fluide porteur sur le
transport des particules est prise en compte par des forces dentranement, et on peut aussi
tenir compte de transformations des particules comme :
la coalescence : fusion de deux particules aprs une collision ;
la fragmentation : sous leffet de la friction exerce par le fluide porteur, une instabilit
de la surface de la particule fluide peut apparatre, qui gnre une sparation de la
goutte en plusieurs gouttes secondaires ;

60

lvaporation : le diamtre de la gouttelette diminue suite une perte de masse ;


le transfert de chaleur : la goutte acquiert ou cde de la chaleur au fluide porteur.
La modlisation des sprays est un domaine assez complexe qui fait lobjet de nombreux
travaux de recherche lheure actuelle, motivs par des problmes industriels trs concrets,
en particulier en aronautique. Nous renvoyons le lecteur intress au livre de Marchisio et
Fox [10], ou au bref article de Murrone et Villedieu [13].
Dans la suite de ce chapitre, nous nous attacherons dcrire brivement les diffrents
modles pour les mlanges gaz/gouttelettes en mettant en avant les points communs avec
les deux domaines abords auparavant (gaz rarfis et transfert radiatif), ainsi que leur
spcificits. Nous conclurons avec un exemple simple dapplication.

4.1

Description des particules

Les particules sont en gnral considres comme des sphres reprs par leur position
x R3 , vitesse v R3 , rayon r > 0, et temprature T > 0. Le volume dune particule est
donc V (r) = 43 r3 , et si sa masse volumique est p , alors sa masse est mp (r) = p V (r). Pour
dcrire lvolution des paramtres x, v, r, T , les particules sont assimiles des points, ce qui
est lgitime si lchelle dobservation est bien plus grande que r. Dans les sections suivantes,
nous dcrivons maintenant la faon dont varient ces paramtres.

4.1.1

Position et vitesse

La position et la vitesse voluent selon la loi de la dynamique de Newton :


x0 (t) = v(t)

et

mp (r(t))v 0 (t) = F (t, x(t), v(t)).

(4.1)

La force F agissant sur la particule est la somme de plusieurs contributions. Nous dcrirons
ici les principales que sont la force de gravit et la force de trane, mais il peut y en a avoir
dautres qui doivent tre prises en compte dans certains cas.
Gravit. Cette force est
Fg = mp (r)g,
o g est le vecteur de lacclration gravitationnelle.
Force de trane. La force de trane due au fluide environnant est
FS =

mp (r)
(u v),
p

o u est la vitesse du fluide porteur et p un temps de relaxation propre la particule. Cette


force induit une relaxation de la vitesse de la particule vers la vitesse du fluide.
Dans le cas dun fluide porteur modlis par les quations de Stokes, et si le nombre de
Reynolds de la particule Rep = 2r|vu|
est petit, alors le temps de relaxation est constant et

vaut
2r2
p =
p ,
9

61

et la force correspondante est appele force de Stokes. Le coefficient est la viscosit du


fluide porteur.
Le nombre de Stokes St = p /f , o f est une chelle de temps caractristique du fluide,
permet didentifier les rgimes pour lesquels les particules sont plus ou moins sensibles la
vitesse du fluide. En effet, en prenant f comme chelle de temps dobservation, lquation
de Newton (4.1) adimensionne scrit, dans le cas o seule la force de trane est prise en
compte, vp0 (t) = S1t (u v) : donc vp tend vers u dautant plus vite que le nombre de Stokes
est petit.
Si les effets inertiels ne peuvent tre ngligs, le temps de relaxation est
p =

p 83 r
,
CD ku vk

o la masse volumique du fluide porteur, et CD est le coefficient de trane de la particule,


de sorte que la force de trane devient FS = 12 CD r2 ku vk(u v).
Souvent, le fluide porteur est turbulent. Cela est recherch en combustion, pour favoriser
le mlange air/carburant. Cela sobserve aussi en ocanographie, o il existe une couche limite
turbulente au dessus de la surface de locan. La turbulence du fluide induit des fluctuations
alatoires de la position et vitesse des particules. Si le champ de vitesse du fluide porteur
u nest pas dcrit une chelle suffisamment fine (comme avec les modles RANS), on doit
tenir compte de ces fluctuations en modifiant les quations du mouvement des particules :
on rajoute au systme diffrentiel (4.1) un terme de bruit, et lon obtient des quations
diffrentielles stochastiques appeles quations de Langevin.
Exercice 4.1. En supposant le fluide porteur stationnaire et uniforme, et que le temps de
relaxation de Stokes p est constant, montrer que la vitesse terminale dune particule soumise
la gravit vaut vt = p g + u.

4.1.2

Rayon et temprature

La variation du volume ou du rayon des particules fluides due lvaporation peut se


modliser par lquation diffrentielle
r0 (t) = K(t, x, v, r, T )

et

T 0 (t) = H(t, x, v, r, T ),

(4.2)

o K et R dpendent de ltat du fluide porteur. Ces taux de variations sont donns par des
formules assez complexes qui dpendent fortement du problme considr. Nous renvoyons
[13] pour des formules utilises en aronautique et [16] pour des taux utiliss pour les
embruns marins. Les variations de taille due la coalescence et la fragmentation sont dus
des processus de collisions et ne peuvent pas se modliser ainsi.
En thorie, il est possible de dcrire lvolution du spray en rsolvant le modle qui dcrit
le fluide (en gnral Navier-Stokes incompressible) et les quations lagrangiennes (4.1) et (4.2)
qui dcrivent les particules. En pratique, cela est assez difficile, car le nombre de particules
est extrmement grand. Il est alors intressant de recourir une modlisation cintique, ce
qui est dcrit dans la section suivante.

62

4.2
4.2.1

Modle cintique
Densit de particules

Notons f (t, x, v, r, T ) la densit numrique de particules dans lespace position-vitesserayon-temprature (aussi appel espace des phases). Autrement dit, le nombre de particules
qui, linstant t, sont situes dans un volume lmentaire dx autour de la position x R3 , et
dont la vitesse, rayon, et temprature fluctuent dans dv, dr, et dT autour de v R3 , r > 0,
et T > 0, respectivement, est
dN = f (t, x, v, r, T ) dxdvdrdT.
Connaissant cette densit, ou distribution, on peut ainsi avoir accs des quantits
macroscopiques comme par exemple :
le nombre de particules dans un domaine x R3 :
Z Z Z + Z +
f (t, x, v, r, T ) dxdvdrdT ;
N=
x

R3v

le volume occup par la phase disperse : le volume occup par les dN particules est
dN Vp (r) = dN 43 r3 , do le volume total
Z Z Z + Z +
4 3
V=
r f (t, x, v, r, T ) dxdvdrdT.
3
O
x R3v 0
On peut aussi accder des densits rduites comme la densit de particules par unit de
volume dans lespace des positions-rayons, soit
Z Z +
f (t, x, v, r, T ) dvdT,
n(t, x, r) =
R3v

de sorte que le nombre de particules dans dx autour de x et de rayon dans dr autour de r


vaut n(t, x, r) dxdr. Bien dautre quantits de ce type peuvent ainsi tre dfinies.

4.2.2

quation cintique

Cette quation est plus complexe obtenir que pour la dynamique des gaz ou le transfert
radiatif. Dans ces deux cas, lquation tait une simple consquence du fait que la variation
de f le long dune trajectoire nest due quaux collisions : en labsence de collision, f ne
varie pas, et on obtient facilement le terme de transport en calculant cette variation. Ici, la
densit f varie le long dune trajectoire, mme sans collision, en raison de linteraction avec
le fluide : la vitesse, le rayon, et la temprature ne sont pas constants. Pour en tenir compte,
il faut raisonner sur le nombre de particules plutt que sur la densit, avec un argument
parfois utilis pour tablir les lois de conservations.
On raisonne alors de la faon suivante : linstant initial t = 0, considrons un volume
0 = 0,x 0,v 0,r 0,T dans lespace des phases, et calculons le nombre N0 de particules
dans ce volume. Par dfinition de f , il vient
Z
N0 =
f (t, x0 , v0 , r0 , T0 ) dx0 dv0 dr0 dT0 ,
0

63

o lon a volontairement indic par 0 les variables utilises. On note ensuite (t) le volume qui
linstant t contient toutes les particules qui taient dans 0 linstant initial, et uniquement
celles-ci. Naturellement, le nombre de particules dans (t) est
Z
N (t) =
f (t, x, v, r, T ) dxdvdrdT,
(4.3)
(t)

et par dfinition, ce nombre na pas chang au cours du temps et lon a N (t) = N0 . Ceci
tant vrai pour tout temps, on peut affirmer que N 0 (t) = 0.
Pour traduire cette proprit sur f , il faut alors calculer la drive par rapport au temps
de N (t) en utilisant (4.3), ce qui pose quelques difficults, puisque la variable t apparat la
fois dans lintgrande f , mais aussi dans le domaine dintgration (t). Il existe une formule
pour faire cela, appele parfois thorme du transport de Reynolds, qui donne
Z
d
0
f (t, x, v, r, T ) dxdvdrdT,
N (t) =
dt (t)


Z
1
t f + x (vf ) + v ( F f ) + r (Kf ) + T (Hf ) dxdvdrdT,
=
mp
(t)
o F , K, et H sont la force et les taux de variation intervenants dans les lois dvolution (4.1)
et (4.2). Cette relation tant valable quel que soit le domaine dintgration, on en dduit que
lintgrande est nulle, ce qui donne lquation
t f + x (vf ) + v (

1
F f ) + r (Kf ) + T (Hf ) = 0.
mp

(4.4)

Dans le domaine des sprays, cette quation est appele quation de Williams, ou de WilliamsBoltzmann. Nous renvoyons lappendice C pour une dmonstration de la formule de Reynolds.
Les phnomnes de coalescence et de fragmentation peuvent tre assimils des processus
de collision : en suivant lapproche de Boltzmann pour la thorie cintique des gaz, on peut
construire des oprateurs qui modlisent ces phnomnes. Ils apparaissent ainsi au second
membre de lquation de Williams (4.4) pour donner
t f + x (vf ) + v (

1
F f ) + r (Kf ) + T (Hf ) = Qf rag (f ) + Qcoal (f ).
mp

(4.5)

Pour des particules fluides (gouttelettes), la fragmentation dpend du nombre de Weber des
gouttelettes, un nombre sans dimension dfini par
We,p =

|u v|2 d
,
p

(4.6)

o est la masse volumique du gaz, u v la vitesse relative caractristique des gouttelettes,


d le diamtre dune gouttelette, et d sa tension superficielle. Il mesure le rapport entre
les forces dinerties et la force due la tension superficielle. Quand ce nombre dpasse une
valeur critique (value 12), des instabilits de type Kelvin-Helmoltz se dveloppent la

64

surface de la gouttelette, et celle-ci se fragmente en plusieurs gouttelettes secondaires. titre


dillustration, nous donnons ci-dessous une expression de loprateur de fragmentation (tire
de [15]) :
Z sZ
Qf rag (f )(r, v) =
f rag (s0 , v 0 )f (v 0 , r0 )h(s, v, s0 , v 0 ) ds0 dv 0 f rag (s, v)f (v, r),
0

R3v

o f rag est la frquence de fragmentation et h rend compte de la distribution des particules


secondaires et est donne de faon empirique. En outre, s dsigne ici la surface de la goutte,
soit s = 4r2 .
La coalescence est un phnomne lui aussi trs complexe. Sa frquence dpend de la
densit du spray : plus il y a de particules, plus celles-ci auront de chances dentrer en
collision. On peut dfinir un nombre de Knudsen pour quantifier cette notion, et lon pose
souvent Knp = c /p , o c est le temps caractristique entre deux collisions, et p est le
temps de relaxation de Stokes (celui ncessaire la vitesse de la particule pour tendre vers la
vitesse du fluide porteur). En outre, toute collision ne donnera pas lieu de la coalescence :
cela dpend de langle dimpact et du nombre de Weber, et on pourra observer un rebond,
une coalescence dfinitive ou temporaire, une fragmentation, etc. Nous renvoyons donc [15]
pour des expressions de loprateur correspondant.

4.3

Effet des particules sur le fluide

Admettons que le fluide porteur soit bien dcrit par les quations de Navier-Stokes compressibles
u = 0,
(t u + (u u)) + p = u + F,

(4.7)

o F reprsente une densit de forces extrieures agissant sur le fluide. Si le fluide est
seulement soumis la gravit, on a F = g.
Dans le cas dun spray, nous avons vu que le fluide porteur exerce une force (la force de
trane) sur les particules. En retour, les particules exercent donc une force oppose sur le
fluide que nous pouvons calculer comme suit.
Considrons un petit volume de fluide dx de vitesse u centr sur x. Il exerce sur une
particule de vitesse v, de rayon r, et de temprature T , la force FS = mpp (u v). La particule
exerce donc en retour la force FS . Dans le volume dx, il y a dN = f (t, x, v, r, T ) dxdvdrdT
particules dont la vitesse, le rayon, et la temprature fluctuent autour de v, r, et T . La force
exerce par toutes ces particules tant la somme des forces exerces par chaque particule, on
trouve une force cumule gale FS dN = mpp (v u)f (t, x, v, r, T ) dxdvdrdT . La force
exerce par toutes les particules, quels que soient leurs vitesses, rayons, et temprature, est
donc
Z Z + Z +

mp
Fparticulesdx =
(v u)f (t, x, v, r, T ) dvdrdT dx.
p
R3v 0
0
La densit de force associe sobtient en divisant par dx pour trouver
Z Z + Z +
mp
F=
(v u)f (t, x, v, r, T ) dvdrdT,
p
R3v 0
0

65

qui doit tre ajoute la densit de force de gravit g.


Exercice 4.2. Par un adimensionnement adapt, dterminer sous quelles conditions la force
exerce par les particules sur le fluide peut tre nglige dans les quations de NavierStokes (4.7).

4.4

Modles macroscopiques

Dans la majorit des codes de calculs industriels, lquation (4.5) est rsolue par mthode
Monte-Carlo, une mthode base sur un transport lagrangien des particules et une modlisation stochastique des collisions. Les particules simules sont censes tre reprsentatives
dun grand nombre de particules relles. Cette mthode est ainsi utilise dans de grands
codes industriels comme le code KIVA [1] ou le code CEDRE de lONERA [13]. Une telle
mthode est aussi majoritairement utilise pour les gaz rarfis, o elle prend le nom de Direct Simulation Monte Carlo (DSMC [2]), et aussi en transfert radiatif. Cela est cependant
trs coteux quand les particules sont nombreuses, et la prcision des rsultats est dgrade
dans les zones de faible densit de particules.
Une approche naturelle consisterait discrtiser directement lquation (4.5) dans lespace
position-vitesse-rayon-temprature. Cela est malheureusement impossible lheure actuelle
(et le restera sans doute longtemps) : la place mmoire et le temps calcul ncessaires discrtiser un espace 8 dimensions sont largement suprieurs ce quil est possible datteindre
avec les ordinateurs actuellement les plus puissants.
Une autre ide est alors de recourir des modles macroscopiques, comme on peut le faire
en dynamique des gaz (modles dEuler ou Navier-Stokes) ou en transfert radiatif (modle de
diffusion). Pour cela, la premire tape est toujours la mme : crire des quations de bilan
sur des quantits macroscopiques. Dans un premier temps, il est raisonnable de considrer
des moments en vitesse et temprature seulement : on ne prend pas de moment en rayon, car
en gnral coexistent en un mme point de lespace des particules de rayon trs diffrents,
et il est important de garder cette information dans le modle. Considrons par exemple les
moments suivants, qui sont des densits par position et par rayon : la densit de masse
Z

(t, x, r) = mp (r)

f (t, x, v, r, T ) dvdT,
R3

et la densit de quantit de mouvement


Z

u(t, x, r) = mp (r)

vf (t, x, v, r, T ) dvdT.
R3

La barre au dessus des ces quantits est l pour les distinguer des variables associes au

66

fluide porteur. En intgrant (4.5) contre mp (r), on trouve lquation suivante


Z

t mp (r)

v x f (t, x, v, r, T ) dvdT

f (t, x, v, r, T ) dvdT + mp (r)


R3

R3

+ mp (r)
R3

r (Kf ) dvdT
R3

1
v ( F f ) dvdT + mp (r)
mp

T (Hf ) dvdT

+ mp (r)
R3

= mp (r)

Qf rag (f ) dvdT + mp (r)


R3

Qcoal (f ) dvdT.
R3

En intervertissant intgrales et drives, on trouve que les deux premiers termes font apparatre et u. Le troisime terme est nul, car on intgre une divergence sur R3 . De mme
pour le cinquime terme : en considrant que f est nulle pour T = 0 ou T = + (il ny
a pas de particules de temprature nulle ou infinie), on trouve aussi 0. Le quatrime terme
et les seconds membres ne peuvent a priori pas scrire aussi simplement. On obtient alors
lquation
t + x u + mp (r)r

Z


Kf dvdT

R3

= Qf rag,1 (f ) + Qcoal,1 (f ).

En intgrant (4.5) contre mp (r)v et en utilisant les mmes arguments, on trouve lquation
suivante


Z Z +
t u + x u + mp (r)
(v u) (v u)f (t, x, v, r, T ) dvdT
R3 0

Z Z +
Z Z +
F f dvdT + mp (r)r
vKf dvdT
3
R3

R3

= Qf rag,2 (f ) + Qcoal,2 (f ).
Ces quations contiennent des flux (ou moments dordre suprieur) qui ne peuvent a priori
pas sexprimer en fonction des inconnues et u. De mme, il peut tre difficile dexprimer
les oprateurs de collisions intgrs en fonction de et u. En dynamique des gaz ou en
transfert radiatif, ce problme existe aussi, mais il est rsolu par une approche asymptotique
(voir le chapitre 3) : quand le nombre de Knudsen est petit, on sait que la distribution des
molcules est proche dune maxwellienne, et on peut donc approcher les flux par les flux
maxwelliens. Dans le cas des sprays, cela nest pas possible : ni la dynamique des collisions
entre gouttelettes ni linteraction avec le fluide ninduisent en gnral de convergence vers
un certain tat dquilibre.
Ce problme, appel problme de fermeture, est un obstacle considrable la mise au
point de modles macroscopiques pour les sprays. Il existe ainsi plusieurs classes de mthodes
qui font toujours lobjet de recherches lheure actuelle. Lune delle, appele mthode de
moments par quadratures, semble trs prometteuse (voir [10]).

67

4.5

Un exemple dapplication : modlisation de lattnuation des vagues par la pluie

Le lecteur est invit lire larticle [17], dans lequel une modlisation cintique des gouttes
de pluie est utilise pour calculer la pression exerce par la pluie sur la surface de la mer. Une
analyse linaire est ensuite mene pour calculer la relation de dispersion des vagues : celle-ci
met en vidence des rgimes de vent et de taux de pluie qui favorisent une attnuation ou
une amplification des vagues. Dans le cas dune pluie verticale (absence de vent), le modle
prdit toujours une attnuation.

Chapitre 5
Mthodes numriques
Ce chapitre est en cours de rdaction. Nous renvoyons au TP sur la dynamique des
gaz pour une initiation aux mthodes numriques dterministes pour la dynamique des
gaz rarfis : voir sur la page //http://www.math.u-bordeaux1.fr/~lmieusse/PAGE_WEB/
enseignement.html. On trouvera sur la mme page un TP sur les mthodes numriques
pour le transport linaire qui donne un exemple de problme issu du transfert radiatif.

Chapitre 6
Application aux coulements
incompressibles : la mthode
"Boltzmann sur rseau"
La mthode Boltzmann sur rseau ou Lattice Boltzmann en anglais (note LBM dans
la suite de ce chapitre) est une mthode numrique pour simuler les coulements de fluides
incompressibles. Elle est base sur une interprtation cintique des quations de NavierStokes. Son principal avantage est quelle se programme trs facilement. En outre, les codes
bass sur cette mthode sont trs bien adapts au calcul sur des ordinateurs massivement
parallles.
Elle fait partie des mthodes dites frontires immerges : le maillage utilis est une grille
cartsienne (ventuellement avec diffrents niveaux de raffinement), et toute paroi solide est
approche prise en compte par son intersection avec les cellules carres du maillage. Contrairement aux mthodes usuelles bases sur des discrtisations des quations de la mcanique
des fluides, la mthode LBM nest pas base sur une technique volumes finis ou lments
finis.
Cette mthode fait lobjet dune littrature abondante, et elle a conduit la mise au
point de plusieurs grands codes de calcul. Parmi ceux-ci, mentionnons LaBS, dvelopp
par un consortium dont font partie Renault et Airbus. Malheureusement, il nest pas facile
de trouver des rfrences accessibles pour comprendre les fondements de LBM. On pourra
consulter par curiosit larticle [14] dans lequel a t introduite la mthode prsente ici, mais
il fait 5 pages seulement ! Une rfrence plus claire est [8] : bien quil manque quelques dtails
importants, un certain nombre dlments donns ici proviennent de cet article. Nous avons
aussi utilis larticle complet [9] (assez technique) sur lanalyse asymptotique des schmas
LBM. Nous mentionnons enfin les travaux de F. Dubois [5] et S. Dellacherie [4] qui proposent
dautres interprtations de la mthode LBM.
Pour terminer cette introduction, nous donnons un bref aperu de la faon dont nous
construisons la mthode LBM dans ce chapitre. Prcisions tout dabord que dans un souci
de simplicit, nous nous restreignons ici une mthode LBM pour la simulation dune version
simplifie des quations de Navier-Stokes incompressibles que sont les quations de Stokes.
Celles-ci sont brivement prsentes dans la section 6.1. Ensuite, nous montrons dans la
section 6.2 que la vitesse macroscopique associe lquation BGK converge vers la solution

72

des quations de Stokes quand le nombre de Knudsen et le nombre de Mach tendent vers 0.
Dans la section 6.3, nous montrons que lon peut remplacer lquation BGK par une quation
vitesses discrtes (le modle D2Q9) qui est lui aussi asymptotiquement quivalent aux
quations de Stokes, et bien plus simple rsoudre que le modle BGK continu. Enfin, nous
verrons dans la section 6.4 que cette quation peut tre discrtise en temps et en espace de
faon astucieuse, de faon donner un schma consistant avec les quations de Stokes. Cest
ce schma qui constitue la mthode LBM.

6.1

quations de Stokes

Le champ de vitesse dun coulement lent et incompressible peut tre modlis par les
quations de Stokes qui scrivent
x u = 0
t u + x p = x u,

(6.1)

o est la masse volumique du fluide, suppose constante, et p est sa pression. En divisant la


deuxime quation par et en dfinissant la viscosit cinmatique = /, on a lexpression
quivalente
x u = 0
t u + x P = x u,

(6.2)

o P = p/.
On utilise souvent la version adimensionne de ces quations. Elle sobtient ainsi : on se
donne une longueur caractristique x , une vitesse macroscopique de rfrence u (comme
la vitesse dune paroi par exemple), et on en dduit un temps de rfrence macroscopique
t = x /u . On choisit en outre la pression caractristique P = u2 . On dfinit ensuite les
variables adimensionnes x0 = x/x , u0 = u/u , t0 = t/t , et P 0 = P/P , et lon trouve les
quations
x0 u0 = 0
t0 u0 + x0 P 0 =

1
x0 u0 ,
Re

(6.3)

o Re est le nombre de Reynolds dfini par


Re =

6.2

u x
.

(6.4)

Rgime bas Mach : de Boltzmann Stokes

Considrons lquation BGK de la thorie cintique des gaz (voir chapitre 1) :


t F + v x F =

1
(M [, u, T ] F ),

(6.5)

73

o v est la variable de vitesse que nous considrerons dans un espace avec une dimension d
non prcise pour le moment. Rappelons que la maxwellienne M [, u, T ] est dfinie par



|v u|2
M [, u, T ](v) =
,
exp
(2RT )d/2
2RT
o , u, et T sont lis aux moments dordre 0, 1, et 2 de F par rapport v. En particulier,
on a
Z
Z
=
F dv et u =
vF dv.
Rd

Rd

Nous avons dj vu que lorsque le nombre de Knudsen est suffisamment petit, les quantits
macroscopiques associes cette quation satisfont les quations de Navier-Stokes de la
dynamique des gaz compressibles (voir la section 3.3).
Il est connu que sous certaines hypothses (coulement isotherme et nombre de Mach
faible), les quations de Navier-Stokes conduisent aux quations de Stokes (6.2). Dans cette
section, nous allons montrer que sous les mmes hypothses, lquation BGK (6.5) conduit
elle aussi, dans une certaine limite asymptotique, aux quations de Stokes (6.2).

6.2.1

Modle BGK linaris

Dans un premier temps, supposons donc que la temprature T est une constante donne,
est trs petit. Ce nombre mesure le rapport entre la
et que le nombre de Mach Ma = kuk
RT
vitesse macroscopique du fluide et la vitesse du son (ou vitesse dagitation thermique des
molcules). Par un simple dveloppement de Taylor, ces hypothses permettent de linariser
la maxwellienne pour obtenir
u v
M [, u, T ] = M [1, 0, T ] 1 +
+ O(Ma2 ).
RT
On nglige alors le terme en O(Ma2 ) pour aboutir au modle BGK linaris suivant :

1
u v
M [1, 0, T ] 1 +
F .
(6.6)
t F + v x F =

RT
Pour simplifier encore le modle, on prfre changer dinconnue en utilisant la distribution
f dfinie par la relation
F = M [1, 0, T ]f,
de sorte que et u soient dfinis par
Z
Z
=
F dv =
f M [1, 0, T ]dv
Rd

Rd

Z
et

u =

vf M [1, 0, T ]dv.

(6.7)

Rd

Lquation satisfaite par f est alors


1
(feq f ),
(6.8)

o feq est la distribution dquilibre linarise dfinie par


u v
.
(6.9)
feq = 1 +
RT
Exercice 6.1. Montrer la maxwellienne linarise possde les mmes moments dordre 0 et
1 que f , mais pas celui dordre 2. Quelles sont alors les lois de conservation associes (6.8) ?
t f + v x f =

74

6.2.2

Adimensionnement

Tous les outils utiliss ici ont dj t vus dans le chapitre 3, section 3.1, mais ladimensionnement que nous utilisons est lgrement diffrent : il utilise en effet deux chelles de
vitesses. On se donne une longueur caractristique x , une vitesse macroscopique de rfrence
u (comme la vitesse dune paroi par exemple), et on en dduit un temps de rfrencemacroscopique t = x /u . On se donne aussi une vitesse microscopique de rfrence v = RT
(la vitesse thermique). La vitesse thermique est souvent note cs dans la littrature LBM, et
appele vitesse du son dans le gaz, bien que la vritable vitesse du son soit 5cs /3 (voir la section 1.8 du chapitre 1). On choisit en outre un temps de relaxation caractristique et une
valeur caractristique de la distribution f = . En dfinissant les variables adimensionnes
()0 = ()/() , et en ne notant pas les primes, on trouve la version adimensionne de (6.8) :
t f +

1
1 1
v x f =
(feq f ),
Ma
Kn Ma

(6.10)

o Kn est le nombre de Knudsen, qui a t dfini dans la section 3.1 (voir (3.3)) et Ma est
le nombre de Mach. Ces deux nombres sans dimension sont dfinis ici par
Kn = l/x = cs /x

et

Ma = u /cs .

(6.11)

La distribution dquilibre adimensionne feq est dfinie par


feq = + Ma u v,

(6.12)

et et u sont dfinis par


Z

f M0 dv

et

Ma u =

Rd

vf M0 dv.

(6.13)

Rd

Nous avons en outre not M0 la maxwellienne absolue dfinie par




1
|v|2
M0 = M [1, 0, 1] =
exp
,
(2)d/2
2
et qui apparat maintenant comme un poids pour dfinir les moments
de f . Pour simplifier
R
les notations qui vont suivre, nous noterons dsormais hM0 i = Rd (v)M0 (v) dv pour toute
fonction de v. Ainsi, (6.13) peut scrire
= hf M0 i

6.2.3

et

u =

1
hvf M0 i.
Ma

(6.14)

Analyse asymptotique

Supposons maintenant que le nombre de Knudsen et le nombre de Mach sont tous deux
petits (rgime fluide et incompressible), et du mme ordre : pour clarifier cette hypothse,
nous introduisons un petit paramtre et nous supposons Kn = Ma = . Rcrivons lquation BGK linarise avec cette nouvelle notation :
1
1 1
t f + v x f = 2 (feq f ),

(6.15)

75

avec
feq = + u v,

(6.16)

et et u sont dfinis par


= hf M0 i

et

1
u = hvf M0 i.

(6.17)

On peut remarquer que (6.15) a la mme forme que lquation du transfert radiatif
adimensionne (voir (3.35) dans la section 3.4). Cependant, lanalyse faite pour le transfert
radiatif est assez complique mettre en oeuvre ici. La mthode gnrale qui fonctionne pour
toutes les quations cintiques linaires crites avec cet adimensionnement (on parle dchelle
de diffusion) est celle du dveloppement de Hilbert que nous prsentons maintenant.
On va chercher une solution approche de (6.15) sous la forme du dveloppement en srie
f = f0 + f1 + 2 f2 + 3 f3 . . . .

(6.18)

Tout dabord, remarquons que si ce dveloppement est possible, cela signifie que f tend vers
f0 quand tend vers 0. Or on voit facilement que (6.15) implique f = + O(), et donc
que f tend vers la limite de sa moyenne que nous noterons 0 . Ainsi, le premier terme de ce
dveloppement est ncessairement f0 = 0 .
Lide consiste ensuite introduire ce dveloppement dans (6.15) et construire les diffrents termes fk du dveloppement de sorte que tous les facteurs des diffrentes puissances de
sannulent, du moins jusqu un certain ordre. Commenons par calculer le dveloppement
de feq en puissances de induit par (6.18). Naturellement, la dfinition (6.17) de donne
X
X
X
k k ,
k hfk M0 i =
k fk M0 i =
= hf M0 i = h
k0

k0

k0

o lon note k = hfk M0 i. Ensuite, on note U = u, et la relation (6.17) donne


1X k
1 X k
1
1
fk M0 i =
hvfk M0 i = U0 + U1 + U2 + . . . ,
U = hvf M0 i = hv

k0
k0

o lon note Uk = hvfk M0 i. Nous avons dj remarqu que f0 = 0 , ce qui implique U0 =


hv0 M0 i = hvM0 i0 = 0. Ainsi, la distribution dquilibre feq peut scrire
feq = 0 + (1 + U1 v) + 2 (2 + U2 v) + . . .
= feq,0 + feq,1 + 2 feq,2 + . . . ,

(6.19)

o feq,0 = 0 et feq,k = k + Uk v pour tout k 1.


Proprit 6.1. Pour tout k, les distributions fk et feq,k ont mmes moments dordre 0 et
1:
hfk M0 i = hfeq,k M0 i = k et hvfk M0 i = hvfeq,k M0 i = Uk .

76

Dmonstration. Il suffit de remplacer feq,k par sa dfinition dans les relations prcdentes,
et dutiliser les intgrales gaussiennes :
Z
hM0 i =
M0 dv = 1,
d
R
Z
hvM0 i =
vM0 dv = 0,
(6.20)
Rd Z
v vM0 dv = I,
hv vM0 i =
Rd

qui sont dmontres dans lappendice B.3.


Nous sommes maintenant prts pour identifier les diffrents termes fk du dveloppement
de Hilbert : en injectant (6.18) et (6.19) dans (6.15) et en rassemblant les termes du mme
ordre en , on trouve
1 v x f0 + 0 (t f0 + v x f1 ) + (t f1 + v x f2 ) + O(2 )
1
1
1
1
= 2 (feq,0 f0 ) + 1 (feq,1 f1 ) + 0 (feq,2 f2 ) + 1 (feq,3 f3 ) + O(2 )

On cherche donc sil est possible de construire f0 , f1 , f2 , etc. pour que les facteurs de 2 ,
1 , 0 , et sannulent.
Termes en 2 . Ce terme est nul, puisque
f0 = feq,0 = 0 ,

(6.21)

mais il faut noter que 0 reste dterminer.


Termes en 1 . On trouve
1
(feq,1 f1 ).
(6.22)

Comme h(feq,1 f1 )M0 i = 0 et hv(feq,1 f1 )M0 i = 0 (voir la proprit 6.1), cette quation
admet une solution f1 seulement si le membre de gauche satisfait les relations hvx f0 M0 i = 0
et hv(v x f0 )M0 i = 0.
La premire relation donne
v x f0 =

0 = hv x 0 M0 i = hvM0 i x 0 ,

qui est ncessairement vrifie puisque par parit de M0 on a hvM0 i = 0. La deuxime donne
0 = hv(v x 0 )M0 i = hv vM0 ix 0 = x 0

daprs (6.20). Ainsi, lexistence de f1 impose une contrainte 0 qui doit tre indpendant
de x. Donc 0 ne dpend que de t, et le plus simple est alors de choisir 0 comme une
constante : nous avons ainsi x 0 = 0 et t 0 = 0.
Enfin, nous pouvons alors dduire de (6.22), (6.21) et du rsultat prcdent lexpression
suivante de f1 :

o 1 et U1 restent dterminer.

f1 = feq,1 v x 0
= 1 + U1 v,

(6.23)

77

Termes en 0 . On trouve
t f0 + v x f1 =

1
(feq,2 f2 ).

(6.24)

Nous utilisons nouveau la proprit 6.1 qui assure que f2 et feq,2 ont mmes moments
dordre 0 et 1 : cela montre que f2 ne peut exister que si le membre de de gauche de (6.24)
satisfait les relations
h(t f0 + v x f1 )M0 i = 0

et

hv(t f0 + v x f1 )M0 i = 0.

Dans la premire relation, on utilise le fait que 0 est une constante ainsi que la relation (6.23) pour trouver
0 = hv x f1 M0 i = x hvf1 M0 i = x hv(1 + U1 v)M0 i
= x (hvM0 i1 + hv vM0 iU1 ) = x U1 ,
daprs (6.20). On trouve ainsi que U1 est ncessairement divergence nulle :
x U1 = 0.

(6.25)

Avec les mmes arguments, la deuxime relation donne


0 = hv(v x f1 )M0 i = x hv vf1 M0 i = x hv v(1 + U1 v)M0 i
= x (hv vM0 i1 + hv v vM0 iU1 ) = x 1 ,
o lon a utilis une autre intgrale gaussienne
hv v vM0 i = 0,
qui rsulte dun simple argument de parit de M0 1 . On a donc trouv la mme relation pour
1 que pour 0 , et lon choisira l aussi 1 gal une constante (quil nest pas besoin de
prciser).
Enfin, nous concluons cette tape avec lexpression correspondante de f2 : puisque f0 = 0
et f1 = 1 + U1 v avec 0 et 1 constantes, il vient
f2 = feq,2 (t f0 + v x f1 )
= 2 + U2 v v x (U1 v),

(6.26)

o 2 et U2 restent dterminer.
Termes en 1 . On suit exactement le mme raisonnement qu ltape prcdente. On
trouve
1
(6.27)
t f1 + v x f2 = (feq,3 f3 ).

Les contraintes de moments gaux pour feq,3 et f3 donnent les deux relations
h(t f1 + v x f2 )M0 i = 0

et

hv(t f1 + v x f2 )M0 i = 0.

1. On a not ici le tenseur dordre trois v v v lobjet trois indices dfini par (v v v)ijk = vi vj vk

78

En remplaant f1 et f2 par leurs expressions donnes dans (6.23) et (6.26), on trouve avec
la premire relation x U2 = 0. La deuxime relation est un peu plus dlicate obtenir :
dans un premier temps, on trouve
0 = t hvf1 M0 i + x hv vf2 M0 i
= t U1 + x 2 x hv v(v x (U1 v))M0 i.

(6.28)

La seule difficult est de calculer correctement le dernier terme, qui fait intervenir une intgrale gaussienne avec un tenseur dordre 4. Il est alors utile dutiliser la notation indicielle
et la convention dEinstein (qui veut que tout indice rpt est suppos tre somm) pour
crire
x hv v(v x (U1 v))M0 i = xj hvi vj vk xk U1,l vl M0 i.
On utilise ensuite la formule tablie en appendice B.3 (voir la remarque B.1) pour obtenir
hvi vj vk xk U1,l vl M0 i = xj U1,i + xi U1,j + ij xk U1,k .
Enfin, ces deux dernires relations donnent
x hv v(v x (U1 v))M0 i = x U1 + x (x U1 ) + x (x U1 ) = x U1 ,

(6.29)

puisque x U1 = 0.
Ainsi, les relations (6.29) et (6.28) prcdentes donnent
t U1 + x 2 = U1 .

(6.30)

Nous pouvons aussi en dduire lexpression f3 = feq,3 (t f1 + v x f2 ) quil nest pas


ncessaire de dvelopper ici.
Rsum. Rappelons que nous souhaitions dfinir les distributions fk pour que le dveloppement de Hilbert (6.18) soit solution de lquation (6.15). Nous avons obtenu les relations
suivantes :
f0
f1
f2
f3

= 0
= 1 + U1 v
= 2 + U2 v v x (U1 v)
= feq,3 (t f1 + v x f2 ),

o 0 et 1 sont deux constantes quelconques, 2 et U1 sont solutions du systme de Stokes


x U1 = 0
t U1 + x 2 = U1 ,
U2 vrifie x U2 = 0, et 3 et U3 sont indtermins. Cela nous permet de dfinir la fonction
f = f0 +f1 +2 f2 +3 f3 , appele dveloppement de Hilbert lordre 3. Nous vrifions maintenant a posteriori dans quelle mesure f satisfait lquation (6.15) : daprs la construction
prcdente, on a
1 1
1
t f + v x f 2 (feq, f ) = O(2 ).

79

Donc f satisfait lquation (6.15) lordre deux prs par rapport . Si f et f vrifient en
outre la mme donne initiale et les mmes conditions aux limites ( O(2 ) au moins), alors
il semble clair que f et f sont gales O(2 ) prs (ce qui peut se montrer rigoureusement),
et nous avons donc construit une approximation de f .
Il reste prciser les constantes 0 et 1 . Cela peut se faire en considrant la donne
initiale f (t = 0). Supposons que la donne initiale soit lquilibre, c.--d.
f (t = 0, x, v) = feq (t = 0, x, v) = (t = 0) + U (t = 0) v,

o (t = 0) et U (t = 0) sont deux constantes donnes. Pour que f (t = 0) soit le plus proche


possible de f (t = 0), il y donc un choix vident : nous posons naturellement 0 = (t = 0)
et 1 = 0, ce qui fixe les constantes 0 et 1 , et en outre la valeur initiale de U1 est impose
U1 (t = 0) = U (t = 0). De la sorte, on a ncessairement f (t = 0) = (t = 0) + U (t =
0) v + O(2 ) = f (t = 0) + O(2 ), et lordre dapproximation est bien prserv linstant
initial.
Il reste enfin dfinir les fonctions U2 , 3 et U3 . Lanalyse prcdente nimpose rien sur
ces fonctions (hormis x U2 = 0), et rien ne nous empche de poser tout simplement U2 = 0,
3 = 0 et U3 = 0 en tout temps et tout point de lespace.
En rsum, la fonction f = 0 + U1 v + 2 (2 v x (U1 v)) 3 (t f1 + v x f2 )
est solution de lquation BGK linarise (6.15) O(2 ) prs si 0 = (t = 0) et si (U2 , 2 )
est solution du problme de Stokes
x U1 = 0
t U1 + x 2 = U1 ,

(6.31)

avec la donne initiale U1 (t = 0) = U (t = 0).


Que peut-on en dduire sur la limite de f quand tend vers 0 ? Pour la densit, nous
avons
= hf M0 i = hf M0 i + O(2 )
= 0 + O(2 ) 0 .
0

Pour limpulsion, nous avons


1
1
U = hvf M0 i = hv(f + O(2 ))M0 i

= U1 + O() U1 .
0

En conclusion, nous avons bien montr que limpulsion de la solution de lquation BGK
linarise (6.15) converge, quand tend vers 0, vers la solution du problme de Stokes, o
2 joue le rle de pression.
Remarque 6.1. Il est possible de mener cette mme analyse un ordre plus loin : on peut
alors construire une approximation dordre trois qui permet de montrer que la perturbation
de autour de sa limite 0 converge vers 2 , cest--dire :
( 0 )
2 .
0
2
Remarque 6.2. Nous navons pas parl ici du problme dapproximation d aux conditions
aux limites. Cela est beaucoup plus dlicat et sera abord uniquement dun point de vue
numrique dans la section 6.5.

80

6.2.4

Retour aux variables dimensionnelles

Il est intressant pour la suite de rinterprter le rsultat de la section prcdente en


variables dimensionnelles : le but de cette section est essentiellement dtablir une relation
entre le temps de relaxation de lquation BGK linarise (6.8) et la viscosit cinmatique
des quations de Stokes.
Nous sommes partis de la solution f de lquation BGK linarise (6.8) et des variables
macroscopiques
Z
Z
1
f M [1, 0, T ]dv et u =
vf M [1, 0, T ]dv.
=
Rd
Rd
Nous avons dfini la distribution adimensionne f 0 solution de (6.15), avec les variables
macroscopiques correspondantes
0 = hf 0 M0 i

u0 =

et

1 0 0
hv f M0 i.
0

Par construction, les variables macroscopiques dimensionnelles et adimensionnes sont lies


par
= 0 et u = u u0 .
(6.32)
Nous avons ensuite montr que 0 et u0 admettent les limites suivantes quand tend vers 0 :
0 00
0

et

u0 = U 0 /0 u01 = U10 /00 .


0

(6.33)

En divisant par 00 les quations de Stokes (6.31) satisfaites par U10 , on trouve que u01 est
solution des quations
x0 u01 = 0
t0 u01 + x0 P20 = 0 x0 u01 ,

(6.34)

0 /0 1

avec la pression adimensionne P20 = p02 /00 = lim0 20 . Ces quations ne sont autres
que les quations de Stokes adimensionnes (6.3) avec le nombre de Reynolds Re = 1/ 0 .
Nous cherchons prsent calculer les limites des quantits macroscopiques non adimensionnes et u. Daprs (6.32) et (6.33), on a
0 = 00
0

et

u u1 = u u01 .
0

(6.35)

On obtient lquation sur u1 en revenant aux variables dimensionnelles dans (6.34) :


x u1 = 0
t u1 + x P2 =

x2
x u1 ,
t

(6.36)

avec la pression non adimensionne P2 = u2 p2 . On voit donc que la vitesse macroscopique de


lquation BGK linarise tend vers une solution des quations de Stokes avec le lien suivant
2
entre viscosit cinmatique et temps de relaxation : = tx . Le coefficient en facteur de

81

se calcule en remarquant que lhypothse Kn = Ma implique une relation sur : en effet,


on a
u
x u
cs
=
= 2 .
Kn = Ma
(6.37)
x
cs
cs
2

Ainsi, le coefficient en facteur de vaut tx = c2s , et on a donc lexpression de la viscosit


cinmatique de Stokes en fonction du temps de relaxation de BGK :
= c2s .
La conclusion de cette longue analyse est laRsuivante : on peut approcher
la solution u
R
des quations de Stokes (6.2) par la vitesse u = Rd vf M [1, 0, T ]dv/ Rd f M [1, 0, T ]dv, o f
est solution de lquation BGK linarise (6.8), sous les conditions suivantes :
= /c2s ,

(6.38)

et
Ma = u/cs  1

Kn = /(cs x )  1,

o la temprature T de la maxwellienne M [1, 0, T ] est telle que cs = RT . Lide de base des


mthodes LBM est dapprocher numriquement lquation BGK linarise (6.8) pour obtenir
une approximation des quations de Stokes (prcise O(Ma2 ) prs). Nous expliquons dans la
suite les techniques dapproximation qui permettent dobtenir une mthode simple et rapide.

6.3

et

Discrtisation en vitesse : le modle D2Q9

Dans cette section, nous montrons comment discrtiser correctement lquation BGK
linarise (6.8) par rapport la variable de vitesse avec un nombre de vitesses minimal. Supposons connue une grille de vitesses de points vq . On dfinit ainsi fq (t, x) une approximation
de f (t, x, vq ) solution de lquation BGK linarise discrte
t fq + v x fq =

1
(feq,q fq ),

(6.39)

o feq,q est la distribution dquilibre linarise discrte dfinie par


feq,q = 1 +

u vq 
,
c2s

(6.40)

et o les moments et u sont obtenus par une formule de quadrature appliques aux
relations (6.7) :
X
X
=
fq q et u =
vq fq q .
(6.41)
q

Les coefficients q sont les poids de la formule de quadrature.


Est-il possible quun tel modle puisse lui aussi tre asymptotiquement quivalent aux
quations de Stokes ? La rponse est oui : en suivant pas pas lanalyse asymptotique faite

82

section 6.2.3, on peut voir que toutes


les tapes sont encore valables en remplaant
R
P les intgrales adimensionnes hM0 i = Rd (v)M0 (v) par les formules de quadratures q (vq )q ,
la condition que celles-ci satisfasse exactement les relations
X
q = hM0 i = 1
q

X
q

X
q

X
q

X
q

vq q = hvM0 i = 0
vi,q vj,q q = hvi vj M0 i = ij

(6.42)

vi,q vj,q vk,q q = hvj vj vk M0 i = 0


vi,q vj,q vk,q vl,q q = hvj vj vk vl M0 i = ij kl + ik jl + il jk .

Ces relations constituent des contraintes sur la formule de quadrature, et donc sur les poids
et les points qui sont choisis.
partir de maintenant, nous nous restreindrons aux coulements bidimensionnels, et
nous supposerons donc d = 2. En supposant la grille de vitesse cartsienne et centre en
0, il est possible de rduire fortement le nombre des contraintes ci-dessus : comme toutes
les fonctions intgrer sont des produits tensoriels de fonctions une variable, on peut se
ramener la dtermination dune formule de quadrature 3 points dordre 4, cest--dire
telle que
 2
Z
X

n
n 1
q q =
exp
d
2
2
R
q=1:3
pour n de 0 4. La solution est bien connue : il sagit
de la formule
de Gauss-Hermite 3

points, dont les points et les poids sont (1 , 2 , 3 ) = ( 3, 0, 3) et (1 , 2 , 3 ) = 16 (1, 4, 1).


Par construction, cette formule est en fait dordre 5.
La formule bidimensionnelle associe, en variables dimensionnelles, sobtient en tensorisant la formule prcdente, et lon trouve une formule 9 points, qui sont habituellement
numrots de 0 8 comme indiqu dans la figure 6.1.
Ces points sont

pour q = 0
0
pour q = 1, 2, 3, 4 ,
vq = cs 3 (1, 0), (0, 1), (1, 0), (0, 1)

(1, 1), (1, 1), (1, 0), (1, 1), (1, 1) pour q = 5, 6, 7, 8
alors que les poids sont

4/9 pour
1/9 pour
q =

1/36 pour

q=0
q = 1, 2, 3, 4
q = 5, 6, 7, 8
P
Exercice 6.2. Vrifier que la formule de quadrature q (vq ) q D2Q9 obtenue ci-dessus
satisfait bien les contraintes (6.42).

83

v6

v2

v5

v3

v0

v1

v7

v4

v8

Figure 6.1 Vitesses discrtes du modle D2Q9

6.4
6.4.1

Discrtisation en temps et espace : mthode de Boltzmann sur rseau


Discrtisation

La discrtisation en temps et en espace du modle (6.39) se fait par une approche lagrangienne. Ce modle scrit de faon quivalente
1
d
fq (t, x + vq t) = (feq,q (t, x + vq t) fq (t, x + vq t)),
dt

et aprs intgration entre t et t + t, on trouve


Z t+t
1
fq (t + t, x + vq (t + t)) = fq (t, x + vq t) +
(feq,q (s, x + vq s) fq (t, x + vq s)) ds.

t
Aprs la translation x 7 x vq t, on obtient
Z t+t
1
fq (t + t, x + vq t) = fq (t, x) +
(feq,q (s, x vq (t s)) fq (t, x vq (t s))) ds.

t
En approchant lintgrale par la formule du rectangle gauche, on trouve lapproximation
1
fq (t + t, x + vq t) fq (t, x) + t (feq,q (t, x) fq (t, x)).

(6.43)

La seconde ide majeure des mthodes LBM est alors de se donner une grille cartsienne
en espace pas constant x, telle que pour tout point x de la grille, le point x + vq t
soit encore un point de la grille. Lapproximation ci-dessus permet ainsi de faire voluer les
valeurs de fq sur la grille sans aucune interpolation, ce qui donne une grande rapidit la
mthode.

84

Plus prcisment, notons xi,j = (ix, jx) un point de la grille. On souhaite que pour
tout couple (i, j) et pour tout entier q, il existe un autre couple (i0 , j 0 ) tel que lon ait
xi,j + vq t = xi0 ,j 0 . Pour simplifier ce problme, on va mme demander que le point xi0 ,j 0
soit un point immdiatement voisin de xi,j . En tenant compte du fait que les vitesses vq
sont toutes disposes comme sur la figure 6.1, on voit facilement que cela est possible si, et
seulement si, t et x sont lis par la relation
x = ct
(6.44)

o c =
cs 3 est appele vitesse du son du rseau. Il suffit par exemple de considrer la vitesse
v1 = cs 3(1, 0) : cette vitesse tant horizontale
dirige vers la droite, on souhaite alors que
xi,j + v1 t = xi+1,j , ce qui quivaut ix + cs 3t = (i + 1)x. Cela donne bien la relation
annonce, et on peut vrifier quil en est de mme avec les 6 autres vitesses non nulles.
n
lapproximation de fq (nt, xi,j ) en remplaant la formule
Pour finir, on dfinit donc fi,j,q
approche (6.43) par la relation exacte
1 n
n
n
fi,j,q
),
(6.45)
fin+1
= fi,j,q
+ t (feq,i,j,q
q ,jq ,q

o (iq , jq ) = (i, j) + vq /(cs 3) est le couple dindices du point de la grille xi,j + vq t. Mais
il est plus clair dcrire directement les 9 relations correspondantes :
1 n
n+1
n
n
fi,j,0
),
fi,j,0
=fi,j,0
+ t (feq,i,j,0

1 n
n+1
n
n
fi+1,j,1
=fi,j,1
+ t (feq,i,j,1
fi,j,1
),

1 n
n+1
n
n
fi,j,2
),
fi,j+1,j,2
=fi,j,2
+ t (feq,i,j,2

1 n
n+1
n
n
fi1,j,3
=fi,j,3
+ t (feq,i,j,3
fi,j,3
),

1 n
n+1
n
n
fi,j1,4
=fi,j,4
+ t (feq,i,j,4
fi,j,4
),

1 n
n+1
n
n
fi+1,j+1,5
=fi,j,5
+ t (feq,i,j,5
fi,j,5
),

1 n
n+1
n
n
fi1,j+1,6
=fi,j,6
+ t (feq,i,j,6
fi,j,6
),

1 n
n+1
n
n
fi1,j1,7
=fi,j,7
+ t (feq,i,j,7
fi,j,7
),

1 n
n+1
n
n
fi,j,8
),
+ t (feq,i,j,8
fi+1,j1,8
=fi,j,8

o la fonction dquilibre vaut


n
feq,i,j,q
= ni,j 1 +

uni,j vq 
,
c2s

et les moments valent


ni,j

9
X
q=0

n
fi,j,q
q

et

ni,j uni,j

9
X
q=0

n
vq fi,j,q
q .

(6.46)

85

Cette mthode sinterprte donc commune une mthode particulaire sur rseau : on fait
se dplacer des particules de noeuds en noeuds, et on tient compte dune interaction entre
ces particules par le terme de relaxation. Grce lutilisation de ce rseau, la phase de
transport est faite par de simples translation de tableau, contrairement la plupart des mthodes usuelles qui ncessitent toujours une part dinterpolation (diffrences finies, volumes
finis, lments finis). Cest cet principalement cet aspect qui donne une grande rapidit la
mthode.
Cependant, le fait davoir discrtis le temps et lespace ncessite de revoir la relation (6.38) : celle-ci doit en effet tre modifie pour tenir compte de la diffusion numrique
engendre par le schma, comme nous le montrons ci-dessous.

6.4.2

Analyse

Comme pour lanalyse de convergence de lquation BGK vers les quations de Stokes,
nous commenons par une adimensionnalisation, en utilisant les mmes grandeurs caractristiques. Le pas de la grille cartsienne adimensionn est x0 = x/x , le pas de temps
est t0 = t/t o nous rappelons que t = x /u , avec u la vitesse caractristique. Les
n
0n
/ la distribu= fi,j,q
vitesses discrtes adimensionnes sont vq0 = vq /cs . Nous noterons fi,j,q
0
0
0
0 0
tion adimensionne : celle-ci est cense approcher f (nt , ix , jx , vq ). Enfin, notons que
les grandeurs macroscopiques adimensionnes sont
0n
i,j

9
X

0n
fi,j,q
q

et

q=0

0n
0n
i,j ui,j

9
X

0n
vq0 fi,j,q
q .

q=0

Avec ces nouvelles variables, le schma scrit


0n
fi0n+1
= fi,j,q
+ t0
q ,jq ,q

1
n
(f n
fi,j,q
),
2 0 eq,i,j,q

(6.47)

o (iq , jq ) est le couple dindices du point de la grille x0i,j + vq0 t .


Nous devons ensuite faire une analyse de consistance de ce schma. Nous considrons
tout dabord une fonction f 0 qui vrifie la relation (6.47) de faon exacte en tout point de
discrtisation, soit
f (t0 + t0 , x0 + v 0

t0 0
1
, v ) = f 0 (t0 , x0 , v 0 ) + t0 2 0 (feq (t0 , x0 , v 0 ) f (t0 , x0 , v 0 )).

Nous faisons ensuite un dveloppement de Taylor de cette relation autour du point (t0 , x0 ) en
supposant t0 et x0 petits. Pour rendre ce dveloppement plus lisible, faisons apparatre
x0
en notant que daprs (6.44) et ladimensionnement choisi, on a t0 = x0 /c0 , o
c0 = 3 est la vitesse du son du rseau adimensionne. On a alors
f (t0 + t0 , x0 + v 0

1
x0 0
, v ) = f 0 (t0 , x0 , v 0 ) + t0 2 0 (feq (t0 , x0 , v 0 ) f (t0 , x0 , v 0 )).
0
c

En divisant par t0 et en dveloppant le premier terme de cette relation lordre 4, nous

86

obtenons alors :

t02
t03
f 0 + t0 t0 f 0 +
t0 t0 f 0 +
t0 t0 t0 f 0
2
6
v0
x02 2 0 v 0 v 0
x03 3 0 v 0 v 0 v 0
+ x0 0 x0 f 0 +
Dx0 f ( 0 , 0 ) +
Dx0 f ( 0 , 0 , 0 )
c
2
c c
6
c c c
0
v
+ t0 x0 0 x0 t0 f 0
c
0
0
t02 x0 v 0
t0 x02 2
0 v v
0
0
0
0
0

f
(
+
D

f
+
,
)
0
tt
x
x t
2
c0
2
c0 c0

+O(t04 ) + O(t03 x0 ) + O(t02 x02 ) + O(t0 x03 ) + O(x04 ) f 0
1
= 2 0 (feq f ).

1
t0

Dans ce dveloppement, nous avons not Dx20 et Dx30 les drives dordre 2 et 3 par rapport
x, de sorte que pour toute fonction de x, le dveloppement de Taylor de lordre 4
scrit (x + h) = (x) + x (x) h + Dx2 (x)(h, h) + D3 (x)(h, h, h) + O(h4 ). Daprs la
remarque prcdente, nous pouvons remplacer tous les termes en x0 /t0 par c0 /, et nous
trouvons
t02
t0
t0 t0 f 0 +
t0 t0 t0 f 0
2
6
c0 x0 2 0 v 0 v 0
x02 c0 3 0 v 0 v 0 v 0
v0
Dx0 f ( 0 , 0 ) +
Dx0 f ( 0 , 0 , 0 )
+ x0 f 0 +

2
c c
6
c c c
0
v
+ x0 0 x0 t0 f 0
c
0
0
0
t x0 v 0
x02 2
0
0 v v
0
0
0
0
+
t t x f +
Dx0 t f ( 0 , 0 )
2
c0
2
c c
+ O(t03 ) + O(t02 x0 ) + O(t0 x02 ) + O(x03 ) + O(x03 c0 /)
1
= 2 0 (feq f ).

t0 f 0 +

Il ne reste plus qu faire le dveloppement de Hilbert sur cette relation pour dterminer
si lon obtient bien les quations de Stokes quand tend vers 0. Il y a cependant un point
dlicat prendre en compte : dans cette analyse, on doit considrer la relation t0 = x0 /c0
qui montre que t0 , x0 et sont lis : on ne peut donc faire tendre vers 0 en considrant t0
et x0 comme des paramtres constants. Nous avons dj fait cette remarque pour liminer
les termes en x0 /t0 dans le dveloppement de Taylor prcdent, mais il faut aller plus
loin. En fait, il est naturel de supposer que x0 = . En effet, cela est quivalent x = x ,
cest--dire que le pas de la grille est de lordre du libre parcours moyen : on a discrtis
lquation BGK lchelle cintique. Ainsi, la relation t0 = x0 /c0 implique t0 = 2 /c0 .

87

Le dveloppement de Taylor prcdent scrit maintenant


2
4
0
0
0

f
+
t0 t0 t0 f 0
tt
2c0
6c02
v0 v0
c0
v0
c0 3 0 v 0 v 0 v 0
D 0f ( 0 , 0 , 0 )
+ x0 f 0 + Dx20 f 0 ( 0 , 0 ) +

2
c c
6 x
c c c
v0
+ 0 x0 t0 f 0
c
v0 v0
2
3 v 0
+ 0 0 t0 t0 x0 f 0 + Dx20 t0 f 0 ( 0 , 0 )
2c c
2
c c
6
5
4
3
+ O( ) + O( ) + O( ) + O( ) + O(2 )
1
= 2 0 (feq f ).

t0 f 0 +

Finalement, il sagit dun dveloppement lordre deux en seulement, et nous avons donc
v0
c0
v0 v0
x0 f 0 + Dx20 f 0 ( 0 , 0 )

2
c c
v0
c0 3 0 v 0 v 0 v 0
D 0 f ( 0 , 0 , 0 ) + 0 x0 t0 f 0 + O(2 )
+
6 x
c c c
c
1
= 2 0 (feq f ).

t0 f 0 +

Nous pouvons prsent reprendre les diffrentes tapes du dveloppement de Hilbert


dtailles section 6.2.3. On voit facilement que les rsultats ne changent que pour la dernire
tape, cest--dire celle concernant les termes en 1 . Ces termes donnent la relation (6.27)
avec un terme en plus :
t0 f10 + v 0 x0 f20 +

c0 2 0 v 0 v 0
1 0
Dx0 f1 ( 0 , 0 ) = 0 (feq,3
f30 ).
2
c c

(6.48)

0
Les contraintes de moments gaux pour feq,3
et f30 donnent les deux relations



c0 2 0 v 0 v 0
0
0
h t0 f1 + v x0 f2 + Dx0 f1 ( 0 , 0 ) M0 i = 0
2
c c
0
c
v0 v0
hv(t0 f10 + v x0 f20 + Dx20 f10 ( 0 , 0 )M0 i = 0.
2
c c
Sachant que f10 = 01 +U10 v avec 01 constant et x0 U10 = 0 et que f20 = 02 +U20 v vx0 (U10 v),
on peut rduire ces deux relations. La premire donne toujours x0 U20 = 0. Pour la deuxime,
on peut rutiliser les calculs dj fait pour trouver
c0
v0 v0
t0 U10 + x0 02 0 x0 U10 + hv 0 ( Dx20 f10 ( 0 , 0 )M0 i = 0.
2
c c
On retrouve dons lquation dvolution de Stokes de la vitesse, mais avec un terme supplmentaire, due la discrtisation en temps et en espace. Pour calculer ce terme, passons en

88

notation indicielle pour trouver


v0 v0
c0
1
hv( Dx20 f10 ( 0 , 0 )M0 i = 0 hvi0 x0k x0l f10 vk0 vl0 M0 i
2
c c
2c
1
= 0 hvi0 x0k x0l (U10 v 0 )vk0 vl0 M0 i
2c
1
0
vj0 vk0 vl0 M0 i
= 0 hvi0 x0k x0l Uj,1
2c
1
0
= 0 hvi0 vj0 vk0 vl0 M0 ix0k x0l Uj,1
2c
1
= 0 x0 U10 ,
2c
en utilisant nouveau la formule tablie en appendice B.3 (voir la remarque B.1). Ainsi, le
terme supplmentaire ne fait que modifier les quations de Stokes travers la valeur de la
viscosit :
1
t0 U10 + x0 02 = ( 0 0 )x0 U10 .
2c
Il ne reste plus qu revenir aux variables dimensionnelles (voir la section 6.2.4) pour
trouver les quations
x u1 = 0

t u1 + x P2 = c2s (

)x u1 .
2c0

La viscosit est donc modifie par le terme 2c


0.
Nous allons terminer cette analyse en montrant que ce terme peut sexprimer en fonction
du pas de temps t uniquement, ce qui vite de dfinir en pratique la grandeur caractristique

x u
. Tout dabord, remarquons que daprs (6.37), on a 2c
0 = c2 2c0 . Ensuite, rappelons que
s
pour notre analyse de consistance, nous avons suppos x = x . En outre, nous avons
par construction t = x/c. Enfin, comme = Ma = u /cs , on en dduit x = x/ =

ctcs /u . Ainsi, le terme correctif 2c


0 vaut tout simplement t/2. En conclusion, nous avons
donc montr que le schma LBM D2Q9 (6.45) est consistant avec les quations de Stokes

x u1 = 0
t u1 + x P2 = c2s (
o la viscosit est donc
= c2s (

t
)x u1 ,
2

t
)
2

(6.49)

(6.50)

au lieu de = c2s pour le modle D2Q9 continu.

6.4.3

Rsum

Toute cette discussion a permis de montrer que pour rsoudre les quations de Stokes (6.2),
on peut utiliser le schma LBM-D2Q9 (6.45). Les diffrents paramtres du schma peuvent

89

tous se dterminer ainsi. On fixe tout dabord x (en fonction du nombre de mailles que lon
souhaite dans le domaine). On choisit ensuite un pas de temps t : on prendra en gnral un
2
pas de temps de la forme t = x
, avec un coefficient plus petit que 1, comme pour les
2
schmas explicites usuels, mais quil faut ici ajuster pour que le
schma reste stable. Ensuite
on pose c = x/t la vitesse du son du rseau, puis cs = c/ 3. On peut ainsi dfinir la
distribution dquilibre et le schma (6.45) dans son ensemble.

6.4.4

Discussion

Discutons tout dabord des avantages de cette mthode. Tout dabord, cest une mthode
explicite. Les mthodes usuelles ncessitent en gnral lutilisation dun solveur de poisson
pour assurer la contrainte de divergence nulle : ceci est souvent ltape la plus coteuse en
temps calcul. Avec la mthode LBM, il ny a pas de solveur de poisson : le calcul se fait trs
localement, et se prte donc bien une paralllisation massive. En outre, lapproximation
lagrangienne sur un rseau permet de rsoudre la phase de transport par un dcalage de
tableau : le transport par la vitesse v1 par exemple se fait en dcalant le tableau f dune
colonne vers la droite. Il na donc pas de calcul en nombre flottant pour cette opration,
et elle est donc extrmement rapide. Un autre avantage est la facilit dadapter la mthode
LBM dautres modles de mcanique des fluides : il suffit dinterprter ceux-ci de faon
cintique, et on voit quen gnral, il suffit de modifier la fonction dquilibre pour simuler le
modle voulu (voir ce sujet la section 6.6). Une limite importante reste malgr tout celle du
nombre de Mach : les mthodes LBM usuelles sont limites aux coulements incompressibles
et isothermes, mais des extensions ont t rcemment proposes pour remdier cela.
En ce qui concerne les inconvnients de la mthode, le plus vident est quil sagit dune
mthode explicite, donc limit des pas de temps petits. Lanalyse de la stabilit de LBM
est assez peu claire (de nombreux auteurs travaillent encore sur le sujet) : on ne connat ainsi
pas de condition CFL au sens usuel. Cependant, il est raisonnable de prendre t de lordre
de x2 , comme dans toute mthode explicite. Si x est petit, une simulation peut donc
ncessiter un nombre de pas de temps considrable : le calcul dun coulement avec couche
limite peut ainsi tre assez difficile avec une telle mthode.

6.5

Mise en oeuvre

En pratique, la mthode LBM nest pas tout fait programme dans sa forme dcrite
section 6.4. Tout dabord, il est dusage dans la communaut LBM dutiliser des variables
adimensionnes, ce que nous ne ferons pas ici. Ensuite, quelques petites astuces de reformulation permettent en effet de diminuer encore le cot de calcul.
La principale astuce consiste remarquer que le calcul de et u par la formule (6.51)
ncessite le produit par les poids q pour chaque q, i, et j, chaque pas de temps. Le
n
n
temps calcul induit peut tre limin en introduisant la distribution gi,j,q
= fi,j,q
q . Ainsi,

90

en multipliant (6.45) par q , on trouve le schma


n+1
gi,j,0

n
n
n
=gi,j,0
+ (geq,i,j,0
gi,j,0
),

n+1
gi+1,j,1

n
n
n
=gi,j,1
+ (geq,i,j,1
gi,j,1
),

n+1
n
n
n
),
gi,j,2
+ (geq,i,j,2
gi,j+1,j,2
=gi,j,2
n+1
gi1,j,3

n
n
n
=gi,j,3
+ (geq,i,j,3
gi,j,3
),

n+1
gi,j1,4

n
n
n
=gi,j,4
+ (geq,i,j,4
gi,j,4
),

n+1
n
n
n
),
gi,j,5
+ (geq,i,j,5
gi+1,j+1,5
=gi,j,5

n+1
n
n
n
gi1,j+1,6
=gi,j,6
+ (geq,i,j,6
gi,j,6
),

n+1
n
n
n
gi1,j1,7
=gi,j,7
+ (geq,i,j,7
gi,j,7
),

n+1
n
n
n
),
gi,j,8
+ (geq,i,j,8
gi+1,j1,8
=gi,j,8

o la fonction dquilibre vaut


n
geq,i,j,q

q ni,j

uni,j vq 
1+
,
c2s

et les moments valent


ni,j =

9
X
q=0

n
gi,j,q

et

ni,j uni,j =

9
X

n
vq gi,j,q

(6.51)

q=0

et = t/ .
Nous renvoyons au TP correspondant pour dautres dtails sur limplmentation de la
mthode LBM, en particulier pour la dfinition de la donne initiale et le traitement des
conditions aux limites.

6.6

Extensions

Un des intrts de la mthode LBM est sa grande souplesse : il est relativement ais
dtendre la mthode dautres modles physiques, pour peu que lon puisse leur trouver
une interprtation cintique. Dans cette section, nous mentionnons quelques exemples qui
peuvent tre traits en exercice.
Exercice 6.3. Il nest pas trs difficile dtendre la mthode prsente dans cette section
et les sections prcdentes pour simuler les quations de Navier-Stokes incompressibles. Il
suffit pour cela de savoir quon peut les obtenir en repartant de la linarisation de lquation
BGK (6.5) mene jusqu lordre deux par rapport Ma. La fonction dquilibre associe est
alors


uv
(u v)2
kuk2
M [, u, T ] = M [1, 0, T ] 1 +
+

+ O(Ma3 ).
2
RT
2(RT )
2RT
Lobjectif de cet exercice est alors de suivre pas pas toute lanalyse prcdente pour aboutir
la mthode LBM correspondante. Noter que la plupart des calculs sont inchangs.

91

Exercice 6.4. Proposer une extension de la mthode prsente dans ce chapitre au cas
dun fluide soumis la gravit. Pour cela, donner tout dabord les quations de Stokes
correspondante. Ensuite, rajouter un terme de force lquation BGK (comme cela a t fait
pour les sprays dans le chapitre 4). Approcher ensuite ce terme en remplaant la distribution
par la maxwellienne associe. Constater que cela rajoute un terme source lquation BGK
linarise et suivre lanalyse faite dans ce chapitre pour aboutir au rsultat.
Exercice 6.5. Sinspirer de ce chapitre et du chapitre 2 sur le transfert radiatif pour
construire une mthode LBM pour approcher lquation de la chaleur. On pourra consulter [4] ce sujet, mais la mthode est prsente de faon lgrement diffrente.

Annexe A
Loprateur de collision de Bolzmann
Pour calculer la variation du nombre de molcules de vitesse v au cours du temps due
aux collisions, on dfinit dabord le modle de collision. On ne tient compte que des collisions
entre deux molcules, cest--dire des collisions binaires. Soit deux molcules de vitesses v et
v? avant collision, et notons v 0 et v?0 leurs vitesses aprs collision. La collision est suppose
lastique, cest--dire que la quantit de mouvement et lnergie totale des deux molcules
ne change pas durant la collision. Cette conservation se traduit par :
v + v? = v 0 + v?0 ,
|v|2 + |v? |2 = |v 0 |2 + |v?0 |2 .

(A.1)
(A.2)

Les quantits v et 21 |v|2 sont dites invariants collisionels. Ce systme est un systme de
3 + 1 = 4 quations 6 inconnues (les composantes de v 0 et v?0 ). Sil admet une solution,
celle-ci peut donc scrire en fonction de v, v? plus deux autres paramtres. Notons alors
le vecteur unitaire qui donne le changement de direction de v en v 0 : on peut donc crire
v 0 v = A, o A est un scalaire dterminer. La relation (A.1) implique que le changement
de la deuxime molcule est loppos du vecteur prcdent : v?0 v? = A . On peut ainsi
crire v 0 et v?0 ainsi :
v 0 = v + A, et v?0 = v? A.
(A.3)
Il suffit ensuite de reporter ces expressions dans (A.2) pour obtenir la valeur A = (v? v).
Les vitesses post-collisionnelles scrivent donc ainsi :
v 0 = v + ( (v? v)),

et

v?0 = v? ( (v? v)).

(A.4)

Nous avons donc crit la solution du systme (A.1)-(A.2) en fonction de deux paramtres
(puisque est unitaire). Cette solution nest bien sr pas complte, puisque le vecteur de
changement de direction reste indtermin. Ce vecteur dpend en fait de la loi dinteraction
entre les molcules, mais nous naurons pas besoin de son expression ici.
Le taux de variation du nombre de molcules de vitesse v au cours du temps due aux
collisions peut alors se calculer. Cela est assez complexe, et nous ne verrons pas ici le dtail
de cette construction. Nous donnons seulement le rsultat qui est loprateur de collision de
Boltzmann :
 
Z Z
f
= Q(f ) =
B(, v v? )(f (v?0 )f (v 0 ) f (v? )f (v)) ddv? ,
(A.5)
t coll
3
2
R
S
93

94

o lon a omis les variables t et x dans cette expression. Cette intgrale prend en compte
toutes les vitesses v? des molcules pouvant impacter une molcule de vitesse v et toutes les
changements de directions possibles . Le terme B(, v v? )f (v?0 )f (v 0 ) ddv? est la masse
des molcules qui avaient une vitesse v? dv? avant la collision, et qui ont une vitesse v aprs.
Le terme B(, v v? )f (v? )f (v)) ddv? est la masse des molcules qui avaient une vitesse v
avant la collision, et ont ont une vitesse v? dv? aprs la collision. Le terme B(, v v? ) est
le noyau de collision, qui dpend de la loi dinteraction entre les molcules. Par exemple,
pour des molcules assimiles des sphres dures (comme des boules de billard), on peut
montrer que B(, v v? ) = | (v v? )|. Plus gnralement, B a la forme suivante
B(, v v? ) = |v v? |(|v v? |, | (v v? )|/|v v? |).

A.1

(A.6)

Proprits de conservation de Q(f )

Les proprits que nous tudions ici sont nonces et dmontres dune faon formelle,
cest--dire que nous ne prcisons pas quelles sont conditions pour lesquelles les intgrales
utilises sont dfinies.
Nous commenons par une proprit des collisions binaires.
Proprit A.1. Si (v 0 , v?0 ) sont dfinies par (A.4), alors la vitesse relative des deux molcules
ne change pas de norme durant la collision, cest--dire
|v 0 v?0 | = |v v? |,

(A.7)

et son angle par rapport est modifi de sorte que :


(v 0 v?0 ) = (v v? ) .

(A.8)

Dmonstration. Ces deux relations sont des consquences assez simples des lois de conservations de quantit de mouvement et dnergie cintique. Tout dabord, il suffit de retrancher
le carr de (A.1) deux fois (A.2) pour trouver (A.7). Ensuite, on retranche les deux galits
de (A.4) : on trouve v 0 v?0 = (I3 2 T )(v v? ), cest--dire que la vitesse relative aprs
collision est le symtrique de la vitesse relative avant collision par rapport au plan orthogonal
. En multipliant cette relation scalairement par , on trouve ensuite (A.8).
prsent, nous allons voir que les lois de conservations microscopiques (A.1) et (A.2) se
traduisent par une proprit importante : une formulation faible de loprateur de collision.
Elle un peu abstraite au premier abord, mais est fondamentale pour tablir les proprits de
conservation et dentropie que nous verrons par la suite.
Proprit A.2. Pour toute fonction de v, on a :
Z
(v)Q(f ) dv
R3 Z
Z Z
1
=
B(, v v? )(f (v?0 )f (v 0 ) f (v? )f (v))((v? ) + (v) (v?0 ) (v 0 )) ddv? dv.
4 R3 R3 S 2
(A.9)

95

Dmonstration. Cette relation sobtient en faisant plusieurs changements de variables astucieux pour obtenir 4 expressions quivalentes du membre de gauche de (A.9). Le membre de
droite nest alors que la moyenne de ces 4 expressions.
Pour crire clairement ces changements de variables, commenons par crire la formule (A.4) liant les vitesses avant et aprs collision sous la forme fonctionnelle suivante.
Pour v et v? donnes, on note C (v, v? ) R2 dfini par
C1 (v, v? ) = v + ( (v? v))
C2 (v, v? ) = v? ( (v? v)).

(A.10)

Commenons maintenant par dvelopper le membre de gauche en utilisant la notation


prcdente. Nous obtenons :
Expression 1.
Z
(v)Q(f ) dv
R3Z
Z Z
(A.11)



=
B(, v v? ) f (C2 (v, v? ))f (C1 (v, v? )) f (v? )f (v) (v) d dv? dv.
R3

R3

S2

Expression 2.
Ici, nous faisons un jeu dcriture en changeant v et v? , ce qui est lgitime : ces variables
tant muettes, on peut les noter de nimporte quelle faons. On trouve donc
Z
(v)Q(f ) dv
R3
Z Z Z



=
B(, v? v) f (C2 (v? , v))f (C1 (v? , v)) f (v)f (v? ) (v? ) d dvdv? .
R3

R3

S2

Or daprs (A.10), on voit facilement que C2 (v? , v) = C1 (v, v? ) et C1 (v? , v) = C2 (v, v? ),


ce qui est logique : si on change les deux vitesses avant collision, les deux vitesses aprs
collision sont aussi changes. En outre, B tant paire par rapport son deuxime variable
(voir (A.6)), on a B(, v? v) = B(, v v? ). On trouve donc finalement
Z
(v)Q(f ) dv
R3Z
Z Z


=
B(, v v? ) f (C1 (v, v? ))f (C2 (v, v? )) f (v)f (v? ) (v? ) d dv? dv,
R3

R3

S2

ce qui, en remettant les termes dans le bon ordre, peut scrire aussi
Z
(v)Q(f ) dv
R3Z
Z Z
(A.12)



=
B(, v v? ) f (C2 (v, v? ))f (C1 (v, v? )) f (v? )f (v) (v? ) d dv? dv.
R3

R3

S2

On retrouve la mme expression que (A.11), sauf que (v? ) a remplac (v). Lide des
deux autres manipulations est de trouver les changements de variables qui permettrons
successivement de faire apparatre (C1 (v, v? )) puis (C2 (v, v? )).

96

Expression 3.
Effectuons le changement de variables (v, v? ) 7 (v 0 , v?0 ) = C (v, v? ). Le jacobien de
cette transformation vaut 1, ce qui se vrifie par le calcul, ou plus simplement de faon
gomtrique : remarquons que la transformation conserve la norme du couple (v, v? ) (cest
la relation de conservation de lnergie cintique (A.2), et donc que la transformation est
orthogonale, et donc son dterminant vaut 1 en valeur absolue (voir le cours de licence).
Ainsi, d dv? dv = d dv?0 dv 0 . En outre, daprs les relations (A.7) et (A.8) et la dfinition
de B (voir (A.6)), on obtient B(, v v? ) = B(, v 0 v?0 ). Pour les autres termes, il faut
pouvoir exprimer v et v? en fonction de v 0 et v?0 , cest--dire inverser la collision. Or il nest
pas difficile de voir que C 1 = C, et donc que (v, v? ) = C(v 0 , v?0 ). Ainsi, (A.11) se transforme
en
Z
(v)Q(f ) dv
R3Z
Z Z


B(, v?0 v 0 ) f (v?0 )f (v 0 ) f (C2 (v 0 , v?0 ))f (C1 (v 0 , v?0 )) (C1 (v 0 , v?0 )) d dv?0 dv 0 .
=
R3

R3

S2

Pour comparer (A.11), nous faisons un nouveau changement de notation : on enlve les
primes ! Autrement dit, v?0 et v 0 sont prsent notes v? et v. Il vient :
Z
(v)Q(f ) dv
R3Z
Z Z


B(, v? v) f (v? )f (v) f (C2 (v, v? ))f (C1 (v, v? )) (C1 (v, v? )) d dv? dv.
=
R3

R3

S2

Enfin, aprs un rarrangrent des termes, nous obtenons


Z
(v)Q(f ) dv
R3
Z Z Z


=
B(, v? v) f (C2 (v, v? ))f (C1 (v, v? )) f (v? )f (v) (C1 (v, v? )) d dv? dv,
R3

R3

S2

(A.13)
ce qui nest autre que (A.11) avec le signe moins et (C1 (v, v? )) la place de (v).
Expression 4.
Il nous reste faire apparatre (C2 (v, v? )), ce qui va se faire simplement par un nouveau
changement de notation : partons de (A.13) et changeons v et v? . Nous trouvons
Z
(v)Q(f ) dv
R3 Z
Z Z



=
B(, v? v) f (C2 (v? , v))f (C1 (v? , v)) f (v)f (v? ) (C1 (v? , v)) d dvdv? .
R3

R3

S2

Il suffit prsent dutiliser les mmes arguments que pour lexpression 2 pour obtenir
Z
(v)Q(f ) dv
R3 Z
Z Z


=
B(, v v? ) f (C1 (v, v? ))f (C2 (v, v? )) f (v)f (v? ) (C2 (v, v? )) d dvdv? .
R3

R3

S2

97

Puis un dernier rarrangement donne


Z
(v)Q(f ) dv
R3 Z
Z Z



B(, v v? ) f (C2 (v, v? ))f (C1 (v, v? )) f (v? )f (v) (C2 (v, v? )) d dv? dv
=
R3

R3

S2

(A.14)
qui nest autre que (A.11) avec le signe moins et (C2 (v, v? )) la place de (v).
Il suffit alors de prendre la moyenne des 4 relations (A.11)(A.14) pour obtenir la forme
faible (A.9), ce qui conclue la dmonstration.
Voyons prsent la proprit de conservation de loprateur de collision, qui est une
consquence de la conservation de la masse, impulsion, et nergie cintique lors dune collision
entre deux molcules.
Pour simplifier les expressions suivantes, nous utiliserons dsormais la
R
notation hi = R3 (v) dv pour toute fonction de v, valeur scalaire, vectorielle, ou
tensorielle.
Proprit A.3. Loprateur de collision de Boltzmann satisfait les relations suivantes, pour
toute fonction f :
hQ(f )i = 0,

hvQ(f )i = 0,

h 12 |v|2 Q(f )i = 0.

Dmonstration. Cest une consquence de la proprit A.2 et des lois de conservations microscopiques (A.1) et (A.2) : il suffit de choisir successivement (v) = 1, v, puis 21 |v 2 |
dans (A.9) pour obtenir le rsultat. En effet, pour ces trois fonctions, on a la relation
(v?0 ) + (v 0 ) (v? ) (v) = 0 : pour = 1 cest vident, et pour = v et = |v|2
cette relation nest autre que (A.1) et (A.2).

A.2

Proprits de loprateur de collision : thorme H


et convergence vers lquilibre

Dissipation dentropie. La deuxime proprit fondamentale de loprateur de collision


est celle de dissipation dentropie.
Proprit A.4. Quelle que soit la fonction f positive, on a
hQ(f ) ln f i 0.

Dmonstration. L encore, nous utilisons la forme faible (A.9) mais avec = ln f . Il vient
Z
ln f Q(f ) dv
R3 Z
Z Z
1
B(, v v? )(f (v?0 )f (v 0 ) f (v? )f (v))
=
4 R3 R3 S 2
(ln f (v? ) + ln f (v) ln f (v?0 ) ln f (v 0 )) ddv? dv
Z Z Z
1
=
B(, v v? )(f (v?0 )f (v 0 ) f (v? )f (v))(ln f (v? )f (v) ln f (v?0 )f (v 0 )) ddv? dv,
4 R3 R3 S 2
(A.15)

98

o lon a utilis la relation ln a + ln b = ln ab. Il suffit ensuite de remarquer que la fonction


ln est croissante pour conclure que lintgrande est ngative, do le rsultat.
Caractrisation de lquilibre. Nous montrons ici que loprateur de Boltzmann satisfait
bien lhypothse 1.3.
Limplication 1 2 est vidente. Montrons ensuite limplication 3 1 : en injectant f =
M [, u, T ] dans la dfinition de Q, on trouve que Q(M [, u, T ]) = 0 si le terme M (v?0 )M (v 0 )
M (v? )M (v) est nul. Utilisons alors lexpression de M (voir (1.10)) pour obtenir
M (v?0 )M (v 0 ) M (v? )M (v)






|v? u|2 + |v u|2


|v?0 u|2 + |v 0 u|2
=
exp
.
exp
(2RT )3/2
2RT
2RT
Cette diffrence est nulle si, et seulement si, les arguments des deux exponentielles sont
gaux, ce qui donne
|v?0 u|2 + |v 0 u|2 = |v? u|2 + |v u|2 .
En dveloppant cette expression, trouve
|v?0 |2 + |v 0 |2 2u (v?0 + v 0 ) + 2|u|2 = |v? |2 + |v|2 2u (v? + v) + 2|u|2 ,
qui est ncessairement vrifie, puisque v?0 et v 0 vrifient les relations de conservation (A.1)(A.2).
Il reste montrer limplication 2 3, ce qui demande beaucoup plus dastuce. Daprs
lanalyse faite dans la preuve de la proposition A.4, la relation hQ(f ) ln f i = 0 implique
(f (v?0 )f (v 0 ) f (v? )f (v))(ln f (v? )f (v) ln f (v?0 )f (v 0 )) = 0 pour tout v, v? . La fonction ln
tant croissante, la relation prcdente quivaut f (v?0 )f (v 0 ) f (v? )f (v) = 0, ou, ce qui est
plus utile, ln f (v? ) + ln f (v) = ln f (v?0 ) + ln f (v 0 ). On voit donc que ln f est un invariant
collisionnel. Jusqu prsent, nous avons rencontr deux invariants collisionnels : les fonctions
v et |v|2 , et il est facile de voir que la fonction constante 1 en est un autre. Il est possible
de montrer que tous les autres invariants collisionnels ne sont que des combinaisons linaires
de ces trois l (voir le lemme A.1 ci-dessous), et donc que ln f (v) scrit ncessairement
ln f (v) = a + b v + c|v|2 , o a et c sont deux paramtres scalaires et b est un vecteur.
Par consquent, on trouve que f (v) = exp(a + b v + c|v|2 ), ce qui peut facilement scrire
sous la forme f (v) = M [, u, T ](v) en posant a = ln /(2RT )3/2 |u|2 /RT , b = u/RT , et
c = 1/2RT .
Invariants collisionnels. Nous donnons ici une dmonstration du thorme utilis plus
haut, en nous inspirant du livre de Boltzmann [3] et de notes de F. Golse [7].
Lemme A.1. Soit une fonction invariant collisionnel, cest--dire telle que
(v) + (v? ) = (v 0 ) + (v?0 ),

(A.16)

pour tout v et v? de R3 et tout S 2 , avec (v 0 , v?0 ) = C (v, v? ) dfinie par (A.10). Alors, il
existe deux constantes relles a et c et un vecteur constant b tels que (v) = a + b v + c|v|2 /2.

99

Dmonstration. Considrons deux vitesses w et w? telles que


w + w? = v + v?

et

|v|2 + |v? |2 = |w|2 + |w? |2 .

(A.17)

Alors lanalyse faite pour obtenir (A.4) montre quil existe un vecteur unitaire tel que
(w, w? ) = C (v, v? ). Lhypothse du lemme implique (v) + (v? ) = (w) + (w? ), ce qui
est donc vrai pour tout couple (w, w? ) vrifiant (A.17). Il est alors facile de montrer quil
existe une fonction T telle que (v) + (v? ) = T (v + v? , |v|2 + |v? |2 ) pour tout v et v? .
Commenons par dfinir T : soient c R3 et r > 0, et considrons v et v? tels que v + v? = c
et |v|2 + |v? |2 = r, pour ensuite poser T (c, r) := (v) + (v? ). Cela dfinit bien T de faon
unique, car si (w, w? ) est un autre couple tel que w + w? = c et |w|2 + |w? |2 = r alors (w, w? )
vrifie (A.17), et donc (v) + (v? ) = (w) + (w? ), ce qui implique que T (c, r) prend la
mme valeur que lon utilise (v, v? ) ou (w, w? ). Raisonnons prsent en sens inverse pour
conclure la dmonstration : prenons un couple quelconque (v, v? ) et posons c := v + v? et
r := |v|2 + |v? |2 . Par dfinition de T , on a (v) + (v? ) = T (c, r) = T (v + v? , |v|2 + |v? |2 ), et
cela est vrai quel que soit (v, v? ).
Pour simplifier la suite, notons prsent x pour v et y pour v? . Nous rappelons le rsultat
obtenu jusquici : il existe une fonction T telle que
(x) + (y) = T (x + y, |x|2 + |y|2 ).

(A.18)

La suite de la dmonstration consiste faire des drivations successives de cette relation afin
de montrer que la hessienne de est constante et diagonale. Dans la suite, nous noterons
R3 la premire variable de T et R sa variable scalaire. Nous noterons aussi i T
sa drive partielle par rapport i , et sa drive partielle par rapport . Enfin, nous
noterons i la drive partielle de par rapport sa ie variable.
Fixons un entier i compris entre 1 et 3, et commenons par driver (A.18) par rapport
xi : il vient
i (x) = i T + 2xi T,
(A.19)
o lon omet les arguments de T quand il ny a pas dambigut. Drivons maintenant (A.18)
par rapport yi : il vient
i (y) = i T + 2yi T.
(A.20)
Nous liminons prsent le terme i T des deux relations prcdentes en retranchant la
deuxime la premire :
i (x) i (y) = 2(xi yi ) T.
(A.21)

Nous pouvons videmment refaire ces trois manipulations avec un autre entier j diffrent de
i pour obtenir
j (x) j (y) = 2(xj yj ) T.
(A.22)

On peut maintenant liminer le terme T en calculant (xj yj )(A.21) (xi yi )(A.22)


pour obtenir
(xj yj )(i (x) i (y)) = (xi yi )(j (x) j (y)).
(A.23)

Avec cette relation, il est possible de montrer que i j = 0. Il suffit pour cela de driver
une premire fois (A.23) par rapport xi , ce qui donne
(xj yj )i2 (x) = (j (x) j (y)) + (xi yi )i j (x),

(A.24)

100

puis de driver cette dernire relation par rapport yi pour trouver


0 = i j (y)) i j (x).

(A.25)

Ceci montre que i j (y)) = i j (x) pour tout x et tout y : cela nest possible que si
i j 0. Ce raisonnement peut se faire pour nimporte quels i et j diffrents, do la
relation
i j 0,
pour tout i 6= j.
(A.26)

Il reste obtenir des informations sur i2 : pour cela, revenons la relation (A.24) qui
scrit, compte tenu de (A.26),
(xj yj )i2 (x) = j (x) j (y).

(A.27)

Drivons cette relation par rapport yj pour trouver


i2 (x) = j2 (y).

(A.28)

Cela implique que i2 vrifie ncessairement


i2 (x) = c

(A.29)

o c est une constante indpendant de x et de i. On peut enfin rassembler (A.26) et (A.29)


pour obtenir que la hessienne de vaut H (x) = cI3 .
(x) = (0) + (0) x +
R 1 IlT suffit alors dutiliser la formule de Taylor avec reste intgral
2
x H (x)x(1 t) dt pour conclure que (x) = a + b x + c|x| /2.
0
Remarque A.1. Cette dmonstration suppose de classe C 2 , mais cela nest pas du tout
ncessaire : elle est en fait valable pour toute fonction au moins localement intgrable.

Annexe B
Calculs fastidieux mais nanmoins
ncessaires ...
B.1

Drives de la maxwellienne

Notons lune des variables t ou xi . Alors on trouve :


M [, u, T ] = M [, u, T ] ln M [, u, T ]


|v u|2
d
+ Cte
= M [, u, T ] ln ln T
2
2T

 |v u|2 d  T 
v u

= M [, u, T ]
+
u +

T
2T
2 T
Do


t M [, u, T ] = M [, u, T ]

 |v u|2 d  T
t v u
t
+
t u +

T
2T
2 T


,

et

v u   |v u|2 d  x T
x
v x M [, u, T ] = M [, u, T ] v
+ v (x u)
+

T
2T
2
T



,

et donc
t M [, u, T ] + v x M [, u, T ]


1
vu
|v u|2 d 1
=
(t + v x ) +
(t u + (x u)v) + (
) (t T + v x T ) M [, u, T ].

T
2T
2 T

B.2

Intgrales de gaussienne unidimensionnelle

En intgrant par parties lintgrale


Z
In =
R

2
2n
e 2 d,
2
101

102

on trouve la relation de rcurrence In = (2n 1)In1 . Le premier terme de cette rcurrence


est I0 = 1, qui sobtient par une astuce classique consistant passer par une intgrale dans
R2 puis passer en coordonnes polaires :
Z
2
1
e 2 d,
I0 =
ZR 2 2 2
1 x +y
I02 =
e 2 dxdy,
2
2
ZR2 Z +
1 r2
e 2 rdrd
=
2
0
0
Z +
r2
re 2 dr
=
0
r2

=[e 2 ]+
= 1.
0
On obtient ainsi les expressions suivantes :
I0
I1
I2
I3
I4

= 1,
= 1,
= 3,
= 15,
= 105.

De faon plus gnrale, une intgration par parties donne la relation de rcurrence :
Z m1
Z m+1
2
2

2
e
e 2 d
d = m
2
2
R
R
pour tout m 1.

B.3

Moments de la maxwellienne absolue M0 en dimension quelconque

Nous dfinissons M0 (V ) par




1
|V |2
M0 (V ) =
exp
,
(2)d/2
2
o V R3 . Dans la suite de cette section, hi dsigne lintgrale sur Rd de toute fonction .
Calcul de hM0 i : On trouve
hM0 i =
=

YZ
i=1:d

Y
i=1:d

Vi2
1
e 2 dVj
2

I0 = 1.

103

Calcul de hVi2 M0 i :
hVi2 M0 i

YZ
Vj2
Vi2 Vi2
1
e 2 dVi
e 2 dVj
=
2
2
R
j6=i R
Y
= I1
I0 = 1.
Z

j6=i

Calcul de h|V |2 M0 i : Daprs la relation prcdente, on a h|V |2 M0 i =

2
i hvi M0 i

= d.

Calcul de hVi4 M0 i :
hVi4 M0 i

Vi4

Z
=

d e

|V |2
2

dV
(2) 2
Z
YZ
Vi4 Vi2
1 Vj2
2
e
e 2 dVj
dVi
=
2
2
R
j6=i R
Y
I0
= I2
Rd

j6=i

= 3.
Calcul de hVi2 Vk2 M0 i :
hVi2 Vk2 M0 i

si k 6= i, alors

Z
Y Z
Vj2
Vi2 Vi2
1
Vk2 Vk2
e 2 dVi
e 2 dVk
e 2 dVj
=
2
2
2
R
R
j6=i,6=k R
Y
= I1 I1
I0 = 1.
Z

j6=i,6=k

Calcul de hVi Vj |V |2 M0 (V )i :
on a

Si i 6= j, cette intgrale est nulle, par parit de M0 . Si i = j,

hVi Vj |V |2 M0 (V )i = hVi2 |V |2 M0 (V )i
X
=
hVi2 Vj2 M0 i
j

= hVi4 M0 i +

X
j6=i

hVi2 Vj2 M0 i

= 3 + (d 1)
= d + 2,
daprs les formules prcdentes. On peut donc crire
hVi Vj |V |2 M0 (V )i = (d + 2)ij .

104

Calcul de h|V |4 M0 i : On utilise le changement de variables polaires : V = , avec = |V |


et = v/|V | appartient la sphre unit S d1 de Rd . Alors dV = d1 dd et lon trouve :
Z
|V |4 |V |2
4
2
h|V | M0 i =
dV
d e
Rd (2) 2
Z
Z +
4 2 d1
2
=
dd
d e
(2) 2
S d1 0
Z
Z + d+3
2
1

e 2 d.
=
d
d1
2
(2) 2 S d1
0
En utilisant deux fois la relation de rcurrence de la section prcdente, on trouve :
Z
Z + d1
2

1
4
e 2 d
h|V | M0 i =
d(d + 2)d
d1
2
(2) 2 S d1
0
Z
Z +
2
1
2 d1
= (d + 2)d
dd
d e
(2) 2
S d1 0
Z
|V |2
1
2
= (d + 2)d
dV
d e
Rd (2) 2
= (d + 2)dhM0 i
= (d + 2)d.
Calcul de h|V |6 M0 i : en suivant pas pas les tapes du calcul prcdent (avec une intgration par parties supplmentaire), on trouve
Z
Z +
6 2 d1
6
2
h|V | M0 i =
dd
d e
(2) 2
S d1 0
Z
Z + d+5
2
1

e
=
d
d
d1
2
(2) 2 S d1
0
= (d + 4)(d + 2)dhM0 i
= (d + 4)(d + 2)d.
Calcul de hVi Vj Vk Vl M0 i : Cette intgrale est donne par la formule
hVi Vj Vk Vl M0 i = ij kl + ik jl + il jk .

(B.1)

Dmonstration.
cas 1 : i 6= j
cas 1.1 : si (k, l) 6= (i, j) et (k, l) 6= (j, i) alors hVi Vj Vk Vl M0 i = 0 par parit de M0 .
cas 1.2 : si (k, l) = (i, j) alors hVi Vj Vk Vl M0 i = hVi2 Vj2 M0 i = 1, daprs une des
formules dmontres ci-dessus.
cas 1.3 : si (k, l) = (j, i) on a le mme rsultat : hVi Vj Vk Vl M0 i = 1
cas 2 : si i = j alors hVi Vj Vk Vl M0 i = hVi2 Vk Vl M0 i

105

cas 2.1 : si k 6= l, alors hVi Vj Vk Vl M0 i = 0 par parit de M0 .


cas 2.2 : si k = l, alors hVi Vj Vk Vl M0 i = hVi2 Vk2 M0 i
cas 2.2.1 : si i = k, alors hVi Vj Vk Vl M0 i = hVi4 M0 i = 3 , daprs une des formules
dmontres ci-dessus
cas 2.2.2 : si i 6= k, alors hVi Vj Vk Vl M0 i = hVi2 Vk2 M0 i = 1 , daprs une des formules
dmontres ci-dessus.
On peut rsumer les deux cas 1 et 2 de la faon suivante :
si i 6= j : hVi Vj Vk Vl M0 i = ik jl + il jk
si i = j : hVi Vj Vk Vl M0 i = kl (2ik + 1)
On peut les rassembler en une seule formule en dfinissant C tel que
hVi Vj Vk Vl M0 i = Cij + ik jl + il jk .
Pour cela, en comparant la formule prcdente et celle obtenue pour i = j, on voit que C
doit satisfaire
kl (2ik + 1) = C + 2ik il ,
et donc que C = kl (2ik + 1) 2ik il . Il est alors facile de voir que C = 0 si k 6= l et
C = 1 si k = l, ce qui implique en dfinitive que C vaut simplement C = kl . Ceci conclut la
dmonstration.
Remarque B.1. Une application de cette formule est le rsultat suivant : pour toute matrice
A, on a :
hV V ((AV ) V )M0 i = A + AT + Trace(A)I.
(B.2)
En effet, cette intgrale scrit, en notation indicielle, hVi Vj Vk Vl M0 iAkl , o lon adopte la
convention dEinstein (qui veut que tout indice rpt est suppos tre somm, comme k et
l ici). Daprs la formule dmontre ci-dessus, on a
hVi Vj Vk Vl M0 iAkl = ij Akk + Aij + Aji .
Comme Akk = Trace(A), on obtient le rsultat annonc.

B.4

Calcul de hV V (B(V ) : xu) M0(V )i

Rappelons que B(V ) = V V d1 |V |2 Id , ce qui, en notation indicielle, donne




1 2
hV V (B(V ) : x u) M0 (V )i = hVi Vj (Vk Vl |V | kl )l uk M0 (V )i
d
1
= hVi Vj Vk Vl M0 (V )il uk hVi Vj |V |2 M0 (V )i kl l uk
d
On utilise alors la remarque de la section B.3 et la relation kl l uk = k uk = x u pour
trouver
1
hV V (B(V ) : x u) M0 (V )i = x u + (x u)T + x u (d + 2)ij x u
d
2
T
= x u + (x u) x u Id .
d

106

B.5

Calcul de h 12 V |V |2 (A(V ) xT ) M0(V )i

Annexe C
La formule du transport de Reynolds
Dans cette section, nous montrons comment on peut driver par rapport au temps une
expression comme (4.3), dans laquelle le temps apparat la fois dans lintgrande et dans le
domaine dintgration. La difficult essentielle tant la dpendance du domaine dintgration
par rapport au temps, on va utiliser un changement de variables qui limine cette dpendance.
Loutil essentiel utilis ici est le changement de variables lagrangien qui a tout tat initial
(x0 , v0 , r0 , T0 ) dune particule associe ltat (x, v, r, T ) quelle occupe linstant t. Pour cela,
nous avons besoin de quelques notations supplmentaires. Les quations dvolution (4.1)
et (4.2) dune particule peuvent se noter sous la forme du systme
X 0 (t) = F(t, X(t)),

(C.1)

o X(t) = (x(t), v(t), r(t), T (t)) et F(t, X) = (v, m1p F (t, X), K(t, X), H(t, X)). Ltat X =
(x, v, r, T ) de la particule linstant t associ ltat initial X0 = (x0 , v0 , r0 , T0 ) peut se
noter X = X(t; X0 ), ce qui signifie que X est la valeur en t de la solution de (C.1) de donne
initiale X0 .
Nous notons alors (t, .) le changement de variable lagrangien, qui est lapplication suivante :
(t, .) : X0 7 X = X(t; X0 ).
Rappelons alors que nous avons dfini 0 un volume dans lespace des phases qui contient
des particules linstant initial, et (t) le volume qui linstant t contient toutes les particules
qui taient dans 0 linstant initial, et uniquement celles-ci. Avec les notations prcdentes,
(t) scrit de la faon suivante
(t) = {X = (t, X0 ),

X0 0 }.

Ainsi, le nombre de particules N (t) dans (t) peut se r-crire en utilisant le changement
de variables prcdent. On a
Z
Z
N (t) =
f (t, x, v, r, T ) dxdvdrdT =
f (t, X) dX
(t)

(t)

o dX = dxdvdrdT , et lon remplace alors X par (t, X0 ), o X0 est dans 0 , et lon a


dX = J(t, X0 ) dX0 , o J est le jacobien de cette transformation, cest--dire J(t, X0 ) =
107

108

| det(DX (t, X0 ))|, o DX dsigne la drive de par rapport sa seconde variable. Ainsi,
on trouve
Z
N (t) =
f (t, (t, X0 )) J(t, X0 ) dX0 .
0

La variable t a disparu du domaine dintgration, et elle napparat maintenant uniquement


dans lintgrande (dans f et dans le jacobien).
prsent, il suffit de driver sous lintgrale pour obtenir
Z
d
0
N (t) =
(f (t, (t, X0 )) J(t, X0 )) dX0
0 dt
Z
Z
d
d
=
( f (t, (t, X0 )))J(t, X0 ) dX0 +
f (t, (t, X0 )) J(t, X0 ) dX0
dt
dt
0
Z0
(C.2)
=
(t f (t, (t, X0 )) + t (t, X0 ) X f (t, (t, X0 )))J(t, X0 ) dX0
0
Z
+
f (t, (t, X0 ))t J(t, X0 ) dX0
0

= I1 + I2 .
Pour la premire intgrale, remarquons que t (t, X0 ) = F(t, (t, X0 )). En effet, daprs
la dfinition de , on a
t (t, X0 ) = lim ((t + h, X0 ) (t, X0 ))/h
h0

= lim (X(t + h) X(t))/h


h0
0

= X (t) = F(t, X(t)) = F(t, (t, X0 )).


Donc I1 scrit
Z
I1 =
(t f (t, (t, X0 )) + F(t, (t, X0 )) X f (t, (t, X0 )))J(t, X0 ) dX0 .
0

On peut alors faire le changement de variables inverse pour obtenir


Z
I1 =
(t f (t, X) + F(t, X) X f (t, X)) dX.

(C.3)

(t)

Pour la deuxime intgrale I2 , il faut pouvoir calculer la drive du jacobien de la transformation lagrangienne par rapport au temps. Pour le moment, oublions la valeur absolue
et notons J (t, X0 ) = det(DX (t, X0 ) : on a alors
t J (t, X0 ) = det0 (DX (t, X0 ))(t (DX (t, X0 )))
= det0 (DX (t, X0 ))(DX (t (t, X0 )))
= det0 (DX (t, X0 ))(DX (F(t, (t, X0 )))),

(C.4)

o lon a not det0 (A)(B) la drive du dterminant calcule en la matrice A Mn (R) et


applique la matrice B. Au lieu dutiliser directement la formule donnant la drive du
dterminant, nous utilisons un lemme classique (tir des notes de F. Golse [6]) :

109

Lemme C.1. Si A est inversible, alors on a pour toute matrice B


det0 (A)(B) = det(A)Trace(A1 B).
On a ainsi
t J (t, X0 ) = det(DX (t, X0 ))Trace((DX (t, X0 ))1 DX (F(t, (t, X0 ))))
= J (t, X0 )Trace((DX (t, X0 ))1 (DX F)(t, (t, X0 )(DX (t, X0 ))))
= J (t, X0 )Trace((DX F)(t, (t, X0 )))
= J (t, X0 )X F(t, (t, X0 )).

(C.5)

Avant de conclure, il faut montrer comment passer de t J (t, X0 ) t J(t, X0 ). Il suffit


pour cela de remarquer que la relation prcdente donne un signe J . En effet, J suit une
quation diffrentielle coefficient non constant qui donne
Z t
exp (X F(s, (s, X0 ))) ds.
J (t, X0 ) = J (0, X0 )
0

Comme J (0, X0 ) = det DX (0, X0 ) et que (0, X0 ) = X0 , on a DX (0, X0 ) = I, et donc


J (0, X0 ) = 1. Ainsi, J (t, X0 ) > 0 pour tout t, et donc J(t, X0 ) = J (t, X0 ). Par consquent,
la relation (C.5) est aussi valable pour J(t, X0 ) et lon a donc
t J(t, X0 ) = J(t, X0 )X F(t, (t, X0 )).

(C.6)

Nous pouvons prsent revenir lintgrale I2 pour crire


Z
I2 =
f (t, (t, X0 ))t J(t, X0 ) dX0
0
Z
=
f (t, (t, X0 ))X (F(t, (t, X0 )))J(t, X0 ) dX0 .
0

En faisant le changement de variable inverse, on obtient donc


Z
f (t, X)X (F(t, X)) dX.
I2 =
(t)

On peut enfin revenir lexpression (C.2) en utilisant (C.3) et (C.7) pour trouver
Z
0
N (t) =
(t f (t, X) + F(t, X) X f (t, X) + f (t, X)X (F(t, X))) dX
(t)
Z
=
(t f (t, X) + X (F(t, X)f (t, X))) dX
(t)
Z
F
=
t f + x (vf ) + v ( f ) + r (Kf ) + T (Hf ) dxdvdrdT,
mp
(t)
ce qui est bien la formule de Reynolds recherche.

(C.7)

Preuve du lemme C.1. Notons que


det0 (A)(B) = lim(det(A + B) det(A))/.
0

Or det(A + B) = det(A(I + A1 B)) = det A det(I + A1 B), donc


det0 (A)(B) = det A lim(det(I + A1 B) 1)/ = det A det0 (I)(A1 B).
0

(C.8)

En notant de faon gnrale pour toute matrice M = [M1 , M2 , . . . , Mn ] o Mi est la ime


colonne de M , on rappelle que le dterminant tant une application n-linaire, sa drive
scrit
det0 (M )(N ) = det[N1 , M2 , . . . , Mn ] + det[M1 , N2 , M3 , . . . , Mn ] + . . . + det[M1 , M2 , . . . , Nn ].
Ainsi, en remarquant que la matrice identit scrit I = [e1 , e2 , . . . , en ], o ei est le ime
vecteur de la base canonique, on trouve
det0 (I)(A1 B) = det[(A1 B)1 , e2 , . . . , en ] + det[e1 , (A1 B)2 , e3 , . . . , en ]
+ . . . + det[e1 , e2 , . . . , en1 , (A1 B)n ].
En dveloppant colonne par colonne, on trouve det[e1 , e2 , . . . , ei1 , x(A1 B)i , ei+1 , . . . , , en ] =
(A1 B)i,i pour tout i, do
0

det (I)(A B) =

n
X

(A1 B)i,i = Trace(A1 B).

i=1

En injectant cette relation dans (C.8), on trouve le rsultat attendu.

Bibliographie
[1] https://en.wikipedia.org/wiki/KIVA_(software).
[2] G.A. Bird. Molecular Gas Dynamics and the Direct Simulation of Gas Flows. Oxford
Science Publications, 1994.
[3] L. Boltzmann. Lectures on gas theory. Dover, 1964.
[4] S. Dellacherie. Construction and properties of lbm algorithms for the 1d convectiondiffusion equation.
https://sites.google.com/site/stephanedellacherie/
expose/beamer_LBM_cachan_avril_2013.pdf.
[5] F. Dubois. Une introduction au schema de boltzmann sur rseau. ESAIM : PROCEEDINGS, 18 :181215, 2007.
[6] F. Golse. Mean field kinetic equations.
www.mathpolytechnique.fr/~golse/M2/PolyKinetic.pdf.
[7] F. Golse. The Boltzmann equation and its hydrodynamic limits. In CEA Universit de
Franche-Comt, CNRS, editor, cole thmatique : les modles cintiques non linaires
et leurs limites fluides, Besanon 21-23 avril 1997.
[8] X. He and L.-S. Luo. Theory of the lattice boltzmann method : From the boltzmann
equation to the lattice boltzmann equation. Physical review E, 56(6), 1997.
[9] M. Junk, A. Klar, and L.-S. Luo. Asymptotic analysis of the lattice boltzmann equation.
Journal of Computational Physics, 210 :676704, 2005.
[10] D. L. Marchisio and R. O. Fox. Computational Models for Polydisperse Particulate and
Multiphase Systems. Cambridge Series in Chemical Engineering. Cambridge University
Press, 2013.
[11] J. C. Maxwell. On stresses in rarefied gases arising from inequalities of temperature.
Philosophical Transactions of the Royal Society of London, 170 :231256, 1879.
[12] M. F. Modest. Radiative heat transfer. Academic Press, 2003.
[13] A. Murrone and P. Villedieu. Numerical modelling of dispersed two-phase flows. Journal
Aerospace Lab, 2, 2011.
[14] Y. H. Qian, D. DHumieres, and P. Lallemand. Lattice bgk models for navier-stokes
equation. Europhys. Lett., 17(6) :479484, 1992.
[15] L. Schneider. A concise moment method for unsteady polydisperse sprays. PhD thesis,
der Technischen Universitat Damrstadt, 2009.
[16] F. Vron. Ocean spray. Annual Reviews Fluid Mech., 2015.
111

112

BIBLIOGRAPHIE

[17] F. Veron and L. Mieussens. A kinetic model for particle-surface interaction applied to
rain falling on water waves.
www.math.u-bordeaux1.fr/~lmieusse/PAGE_WEB/PUBLICATIONS/2015/
KineticRainModelVeronMieussens-submitted.pdf, 2015.