Documentos de Académico
Documentos de Profesional
Documentos de Cultura
applications
Notes de cours (version provisoire du 2 dcembre 2015)
Luc Mieussens
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
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
59
60
60
61
62
62
62
64
65
67
5 Mthodes numriques
69
71
72
72
73
74
74
80
81
83
83
85
88
89
89
90
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
101
101
101
102
105
106
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
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
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
1.1.2
Description macroscopique
11
(1.1)
(1.2)
et
q = T,
(1.3)
1.1.3
Description cintique
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
(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
R
2
la relation R exp( s2 ) ds = 2.
14
1.1.4
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)
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.
16
Figure 1.4 Quelques pompes vide : spirale, vis, lobes, turbomolculaire, cryopompe.
17
1.2
quation de Boltzmann
1.3
(1.12)
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
(1.14)
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
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
(1.16)
(1.17)
20
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
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)
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
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
(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)
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
1.7
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
= 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)
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
(1.27)
vn>0
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
1.7.2
Conditions de rflexion
(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
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)
1.8
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
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
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
30
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
(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
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.
32
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
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
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
(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).
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
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
(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
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)
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
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, , ).
43
(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
2.4
(2.11)
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
Chapitre 3
Analyse asymptotique
3.1
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
|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
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
=
= ,
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 ),
|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)
(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
|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
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
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)
(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)
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
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
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
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)
(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)
1
x hf i = O(),
3
(3.41)
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
4.1
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
et
(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
vaut
2r2
p =
p ,
9
61
p 83 r
,
CD ku vk
4.1.2
Rayon et temprature
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
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)
64
R3v
4.3
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
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
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
t mp (r)
v x f (t, x, v, r, T ) dvdT
R3
+ mp (r)
R3
r (Kf ) dvdT
R3
1
v ( F f ) dvdT + mp (r)
mp
T (Hf ) dvdT
+ mp (r)
R3
= mp (r)
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
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)
(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)
6.2
u x
.
(6.4)
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
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
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)
(6.12)
f M0 dv
et
Ma u =
Rd
vf M0 dv.
(6.13)
Rd
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
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
k0
k0
(6.19)
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
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)
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)
(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)
= 0
= 1 + U1 v
= 2 + U2 v v x (U1 v)
= feq,3 (t f1 + v x f2 ),
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,
(6.31)
= 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
u0 =
et
1 0 0
hv f M0 i.
0
et
(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)
x2
x u1 ,
t
(6.36)
81
(6.38)
et
Ma = u/cs 1
Kn = /(cs x ) 1,
6.3
et
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)
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
82
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)
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
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
6.4
6.4.1
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
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
uni,j vq
,
c2s
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
1
n
(f n
fi,j,q
),
2 0 eq,i,j,q
(6.47)
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
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
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 +
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
t u1 + x P2 = c2s (
)x u1 .
2c0
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/ =
x u1 = 0
t u1 + x P2 = c2s (
o la viscosit est donc
= c2s (
t
)x u1 ,
2
t
)
2
(6.49)
(6.50)
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
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
q ni,j
uni,j vq
1+
,
c2s
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
(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)
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)
(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)
=
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
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
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
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
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
(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
et
(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)
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
(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)
(A.28)
(A.29)
Annexe B
Calculs fastidieux mais nanmoins
ncessaires ...
B.1
Drives de la maxwellienne
= 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
2
2n
e 2 d,
2
101
102
=[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
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
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
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
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
B.4
106
B.5
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)
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
= 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
(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)
109
(C.5)
(C.6)
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)
(C.8)
det (I)(A B) =
n
X
i=1
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.