Vous êtes sur la page 1sur 68

Universit Paris-Sud

Facult des Sciences dOrsay


Mmoire de synthse
Habilitation diriger des recherches
spcialit Mathmatiques et applications
Sbastien Martin
Modlisation et analyse mathmatique de problmes
issus de la mcanique des fluides : applications la
tribologie et aux sciences du vivant.
Aprs avis des rapporteurs
Thierry Colin
Antonio DeSimone
Bertrand Maury
Universit Bordeaux 1
SISSA Trieste
Universit Paris-Sud
ce mmoire a t soutenu le 4 dcembre 2012 devant le jury compos de
Franois Alouges
Didier Bresch
Thierry Colin
Stphane Cordier
Cline Grandmont
Bertrand Maury
cole Polytechnique
CNRS & Universit de Savoie
Universit Bordeaux 1
Universit dOrlans
INRIA Paris Rocquencourt
Universit Paris-Sud
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Denise, Marinette & Andr.
Monique & Patrick.
Estelle, Frdric & Alexandre.
Avec gratitude et amour.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Remerciements
J
e souhaiterais en premier lieu exprimer toute ma gratitude envers Thierry Colin, Antonio DeSimone et
Bertrand Maury pour lintrt quils ont bien voulu accorder ce mmoire malgr leurs trs nombreuses
obligations. Merci aussi Franois Alouges, Didier Bresch, Stphane Cordier et Cline Grandmont
davoir particip ce jury et accept dvaluer ce travail.
Les travaux prsents dans ce mmoire de recherche sont majoritairement le fruit de collaborations scien-
tiques. Guy Bayada et Carlos Vzquez ont t des directeurs de thse bienveillants ; leur enthousiasme et
leur amiti constituent un moteur important de nos collaborations scientiques actuelles. Mes remerciements
vont aussi Farid Bakir, Laurent Chupin, Astrid Decoene, Ildefonso Daz, Sylvain Faure, Danielle
Hilhorst, Sofiane Khelladi, Mayan Mimura, Xesus Nogueira, Takeo Takahashi, Thomas Similowski,
Christian Straus, Julien Vovelle avec qui jai (eu) un grand plaisir travailler. Je renouvelle ma profonde
gratitude envers Bertrand Maury pour la richesse des discussions et les rexions quelles entranent.
Lactivit mathmatique se nourrit dinteractions. Si celles-ci naboutissent pas ncessairement des pu-
blications, elles sont nanmoins essentielles notre formation scientique permanente : merci Laurent
Boudin, Anne Devys, Laurent Di Menza, Justine Fouchet-Incaux, Brnice Grec, Loc Lacouture,
Frdric Lagoutire, Herv Le Meur, Jean-Claude Saut pour les discussions enrichissantes. Merci gale-
ment Clment Mouhot et Franois Alouges pour limpulsion quil mont transmise : elle ma permis de
me lancer dans la rdaction de ce mmoire.
La relecture attentive dun mmoire est une tche ingrate ; outre le temps consacr cette activit aux plus
belles heures de lt, leurs auteurs ont grandement contribu lamlioration de ce document, en formulant
de nombreuses critiques toutes justies, toujours avec tact et diplomatie. Un grand merci Guy Bayada et
Clment Mouhot pour leur aide inestimable.
Le laboratoire de mathmatiques dOrsay est un lieu de travail privilgi : lquipe ANEDP, en particulier,
est dote dune ambiance studieuse et chaleureuse, idale pour mener des activits de recherches. Merci donc
ses membres, plus particulirement Catherine Poupon pour son soutien administratif redoutablement
efcace, Sylvain Faure et Loc Gouarin pour accueillir avec amusement et bienveillance mes petites simula-
tions sur les machines de calcul distance, et Astrid Decoene qui supporte pniblement ma prsence dans
le bureau que nous partageons.
Je remercie vivement les membres de lquipe INRIA-UPMC Reo, en particulier Cline Grandmont
et Jean-Frdric Gerbeau, qui mont accueilli en dlgation : la nature de ce projet et les personnes qui
constituent lquipe en font un lieu dchange extrmement stimulant, scientiquement et humainement.
Merci galement aux membres des projets ANR auxquels jai particip (MOSICOB, RUGO) ou qui sont
en cours de fonctionnement (OXHELEASE).
Un immense merci aux ami(e)s qui ont pu assister la soutenance et qui, parfois, sont venu(e)s de loin;
en particulier Anne-Aymone & Julien, Charles, Clment, David, Mathieu, Pierre, Thierry. Un immense
merci celles et ceux qui nont pu assister la soutenance, en particulier Aurlie, Chlo, Eylem, Fabien,
Guillaume...
Ce mmoire a t rdig Paris, Charette-Varennes et St Genis les Ollires. Que les personnes qui, cette
occasion, ont support ma mauvaise humeur et assur lorganisation de la vie quotidienne soient mille fois
remercies ; je les aime.
Enn jaimerais exprimer ma profonde gratitude (et davantage) lodie, bien quelle contribue grande-
ment ma production derreurs mathmatiques, ainsi qu Louise & Clmence qui, par bonheur, corrigent
ces erreurs avec une aisance dconcertante...
Paris, dcembre 2012.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Table des matires
Remerciements v
Table des matires vii
Introduction 1
1 Modlisation, analyse mathmatique et calcul scientifique appliqus la
mcanique des films minces 9
1.1 Influence des rugosits dans des coulements minces cavits L . . . . . . . . . . . . . . . . 10
1.1.1 Cavitation et rugosits en lubrication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.2 Homognisation du modle dElrod-Adams . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1.3 Rsultats numriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2 Formation de la cavitation en lubrification hydrodynamique . . . . . . . . . . . . . . . . 14
1.2.1 Conditions sufsantes dapparition ou de disparition de la cavitation . . . . . . . . . . . . . . . 14
1.2.2 Rsultats numriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3 Fluides visco-lastiques en lubrification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.1 Fluides non-newtoniens et lhypothse de lm mince . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.2 Approximation lm mince pour les modles dOldroyd et Phan-Thien & Tanner . . . . . . . . 17
1.3.3 Mthode de rsolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4 Influence de rugosits sur lapproximation de Reynolds . . . . . . . . . . . . . . . . . . . . 19
1.4.1 Dveloppement formel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.4.2 Justication rigoureuse du dveloppement asymptotique . . . . . . . . . . . . . . . . . . . . . . 22
1.4.3 Discussion sur les interactions multi-chelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2 Lois de conservation scalaires sur un domaine born 23
2.1 coulement bifluide modlis par une quation de Buckley-Leverett non-autonome L . 24
2.1.1 Modle biuide en lubrication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.1.2 quations de Buckley-Leverett et de Reynolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.1.3 Modle biuide et modle dElrod-Adams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 Problme de Cauchy-Dirichlet pour des quations quasilinaires du premier ordre L . 26
2.2.1 Formulation entropique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.2.2 Existence dune solution entropique et bornes L

. . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2.3 Unicit de la solution entropique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3 Comportement en temps long de la solution dune loi de conservation scalaire . . . . . 28
2.3.1 Proprits des solutions entropiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3.2 Comportement en temps long de la solution entropique . . . . . . . . . . . . . . . . . . . . . . 29
2.3.3 Rsultats numriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.4 Approximation numrique de la solution dune loi de conservation scalaire avec flux
discontinu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.4.1 Formulations du problme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.4.2 Schma numrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.4.3 Convergence du schma aux volumes nis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.4.4 Rsultats numriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3 Mathmatiques appliques aux sciences du vivant 37
3.1 Modlisation du poumon : rigidit bronchique et changes gazeux . . . . . . . . . . . . . 38
3.1.1 Modle mcanique simpli : inuence du muscle lisse bronchique . . . . . . . . . . . . . . . . 38
3.1.2 Modle dchanges gazeux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.1.3 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.2 Modlisation du poumon : aspects non-linaires des changes gazeux . . . . . . . . . . . 40
3.2.1 Limitation diffusive du transfert doxygne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
vii
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
3.2.2 Htrognit des changes gazeux le long de lacinus pulmonaire . . . . . . . . . . . . . . . . . 43
3.3 Simulation de suspensions passives : une approche de type dynamique stokesienne . . . . 46
3.3.1 Modlisation dun macro-objet partir de sphres rigides . . . . . . . . . . . . . . . . . . . . . 46
3.3.2 valuation numrique des interactions hydrodynamiques . . . . . . . . . . . . . . . . . . . . . 46
3.4 Simulation de suspensions actives : une approche directe . . . . . . . . . . . . . . . . . . . 48
3.4.1 Aspects hydrodynamiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.4.2 Aspects chimiotactiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Conclusion et perspectives 53
Bibliographie gnrale 55
Publications de lauteur cites dans le mmoire . . . . . . . . . . . . . . . . . . . . . . . . . 55
Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
viii
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Introduction
C
e mmoire est consacr lanalyse de problmes mathmatiques issus de la mcanique des uides. En
particulier, par le mlange de modlisation, danalyse thorique et numrique d quations aux drives
partielles ainsi que de calcul scientique, les champs applicatifs de ces travaux ont port essentiellement sur
deux grandes thmatiques : la mcanique des lms minces et les biosciences.
Les travaux synthtiss dans ce mmoire ont t regroups en trois chapitres qui sarticulent successive-
ment autour de la lubrication, des lois de conservation scalaires sur un domaine born et de la modlisation
mathmatique applique aux sciences du vivant.
Le chapitre 1 est consacr lanalyse de problmes issus de la lubrication hydrodynamique ou lasto-
hydrodynamique, en particulier, la prise en compte de phnomnes non-linaires : cavitation hydrodyna-
mique stationnaire ou instationnaire, inuence des rugosits de surface sur lcoulement, proprits visco-
lastiques du lubriant.
Le chapitre 2 est consacr ltude de lois de conservation scalaires sur un domaine born, du point de
vue de lanalyse mathmatique et de lanalyse numrique. Cette thmatique est directement issue des travaux
portant sur la lubrication : en effet, elle a t initialement motive par ltude dun modle biuide dans un
lm mince dans le contexte de la modlisation de la cavitation.
Le chapitre 3 synthtise une activit qui a t dveloppe Orsay et au sein de lquipe-projet INRIA-
UPMC REO qui ma accueilli en dlgation, et se focalise sur la modlisation mathmatique en sciences du
vivant. Il prsente deux axes distincts : la modlisation du systme respiratoire et, en particulier, des changes
gazeux dans larbre bronchique et la simulation de suspensions biomimtiques
1
dans un uide newtonien.
Les travaux prcds du symbole L sont issus de la thse de doctorat [0] ; ils ont t intgrs ce mmoire
par souci de cohrence dans la prsentation des diffrentes problmatiques scientiques.
Chapitre 1
La lubrication dsigne le contrle de lusure des matriaux par lintroduction dun lm uide qui rduit
le frottement entre les surfaces en quasi-contact. Le point de dpart de la thorie de la lubrication hydro-
dynamique est un article de Reynolds, publi en 1886, intitul On the theory of lubrication and its application
to Mr Beauchamp Towers experiments, including an experimental determination of the viscosity of olive oil. Dans cet
article, Reynolds obtient de manire heuristique lquation qui porte son nom et qui constitue le socle des
tudes portant sur les coulements de faible paisseur. Lquation de Reynolds qui rgit la pression p dans le
mcanisme sobtient par un calcul du ux moyen et prise en compte des conditions aux limites (en particulier
le cisaillement). Cest donc une quation de conservation du dbit qui se dcompose en un ux de Poiseuille
et ux de Couette et scrit :
div
_
h
3
12
p
_
= div
_
h
s
2
_
,
les prols de vitesse (u, v) lordre principal pouvant tre dduits de la distribution en pression par simple
intgration numrique. Ici, x h(x) dsigne la distance normalise entre les deux surfaces en regard, la
viscosit du lubriant (suppos newtonien dans cette approximation), s la vitesse relative de cisaillement des
surfaces qui connent lcoulement.
Dans ce chapitre, nous nous intressons la prise en compte de phnomnes non-linaires dans le cadre
de lapproximation de Reynolds : cavitation, inuence des rugosits de surfaces sur la cavitation ou sur
lapproximation de Reynolds elle-mme, proprits visco-lastiques du lubriant etc. Lintgration de tels
phnomnes dans les modles simplis est absolument ncessaire la comprhension dcoulements rels
utiliss en ingnierie : les applications sont nombreuses et les aspects multi-physiques aboutissent une
grande richesse mathmatique du point de vue de la modlisation, de lanalyse et du calcul.
Inuence des rugosits dans des coulements minces cavits L
Les travaux mentionns ci-dessus supposent le lm de lubriant liquide complet et ne prennent pas en
compte une ventuelle rupture du lm lubri dans le mcanisme : dans la partie divergente de certains
dispositifs (tels que des paliers ou des roulements bille), la pression peut diminuer jusqu atteindre la
pression de vapeur saturante p ; en consquence, des bulles de gaz se forment dans ces zones. Ce phno-
mne, appel cavitation, se caractrise donc par des changements de phase et modie considrablement les
1. Le biomimtisme est une dmarche, essentiellement exprimentale, consistant reproduire articiellement les proprits essen-
tielles dun systme biologique partir de ses composantes lmentaires.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
2 Introduction
performances des mcanismes. De nombreux auteurs ont dvelopp des modles de cavitation intgrs
lquation de Reynolds : Sommerfeld (1910), Gmbel (1921), Swift-Stieber (1932), Floberg-Jakobsson-Olsson
(1957). En particulier, le modle de Swift-Stieber a t (et demeure) trs populaire car il a rapidement t
associ une procdure de calcul : lalgorithme de Christopherson (1949). De plus, ce modle correspond
mathmatiquement linquation variationnelle pour lquation de Reynolds associe la contrainte p p.
Le modle de Swift-Sieber est trs populaire en mcanique mais il nest pas conservatif. Le modle dvelopp
par Elrod & Adams (1974) a constitu une amlioration des modles, car il est conservatif et aboutit une
modication de lquation de Reynolds par lintroduction dune inconnue supplmentaire :
div
_
h
3
12
p
_
= div
_
h
s
2
_
, p p, H(p p) 1,
o H dsigne le graphe de Heaviside et la saturation (ou fraction) locale en lubriant liquide ; les inconnues
du problme sont donc la pression x p(x) dans lcoulement et la saturation x (x) en lubriant liquide.
En collaboration avec Guy Bayada (INSA Lyon) et Carlos Vzquez (Universidade da Corua), nous avons
tudi linuence des rugosits de surfaces sur le modle dElrod-Adams. Ce travail est motiv par la prise en
compte de ces rugosits, volontairement manufactures ou non au cours de lusinage, et la ncessit dutiliser
des modles quivalents an de limiter les cots de calcul.
Les rugosits de surfaces, supposes priodiques, ont t modlises par la considration dune hauteur
fortement oscillante h := h
0
(x, x/), 1, et linuence de ces rugosits a t tudie par des techniques
dhomognisation multi-chelles. Lhomognisation de lquation de Reynolds, qui est un rsultat classique,
a t tendue la prise en compte de la non-linarit introduite par le modle dElrod-Adams : nous avons
caractris les phnomnes danisotropie non seulement pour le ux de Poiseuille mais galement pour le
ux de Couette [1, 2] et la saturation en particulier. Par la suite, nous avons gnralis ce travail, en dcrivant
les modles homogniss correspondants, en prenant en compte
des dfauts de surfaces dont les rapports dchelle varient signicativement, i. e. h := h
0
(x, x/, x/
2
, ...),
par homognisation ritre du modle [3] ;
la dformation lastique des surfaces qui connent lcoulement (loi de Hertz) et la pizoviscosit du
uide (loi de Barus), ce qui rend le problme non-local [4], i. e.
h := h
0
(x, x/) +
_

k(x, z)
_
p(z) p
_
dz, :=
0
e
(pp)
;
ici h
0
reprsente la contribution rigide de lespacement entre les surfaces, k est la fonction noyau de
Hertz qui dpend du type de contact considr et qui vise pondrer les effets de forte pression sur
la dformation lastique des surfaces et 0 est le paramtre de pizoviscosit.
Les rsultats de simulation de tels coulements ont t obtenus partir dun code de calculs, nomm SOLEA
2
,
dvelopp en Fortran 90, qui repose dune part sur lee couplage entre une mthode des caractristiques et
lalgorithme de Bermdez-Moreno (1981) et, dautre part, sur une discrtisation lments nis.
La motivation de ces travaux repose essentiellement sur une demande en mcanique de prendre en compte
des aspects multiphysiques en tribologie et, en particulier, dans ltude de systmes lubris tels que des
roulements bille, paliers, patins, coussinets etc. ; dun point de vue des applications, ces travaux ont donn
lieu des publications dans les revues de rfrence en tribologie [5, 6] (dont lune a t prime par lAmerican
Society of Mechanical Engineers).
Formation de la cavitation en lubrication hydrodynamique
Dans le cadre de la thorie de la lubrication, en collaboration avec Jesus Ildefonso Daz (Universidad
Complutense, Madrid), nous avons dmontr dans [7] un rsultat dabsence de temps de relaxation pour
lapparition de la cavitation dans un mcanisme lubri, dans le cadre du modle dElrod-Adams instation-
naire :

t
(h) + div
_
h
s
2

h
3
12
p
_
= 0, p p, H(p p) 1.
Plus prcisment, nous avons dmontr qu partir dune situation initiale totalement sature, la condition
gomtrique
t
h + div(hs/2) > 0 induit lapparition instantane dune zone cavite [p = 0] ; a contrario, si

t
h + div(hs/2) 0, alors la conguration sature est prserve. Ces rsultats reposent sur un principe de
comparaison, tabli par un ddoublement de variables issu des mthodes de Krukov, et la construction
non triviale de sur- et sous-solutions appropries. Ce rsultat illustre une proprit mathmatique du modle
dElrod-Adams qui est conforme avec les observations exprimentales dans les coulements lubris. Par
ailleurs, il gnralise le rsultat de propagation obtenu par Carrillo, Daz & Gilardi (1993) concernant le cas
particulier (dont lintrt est limit en lubrication) o h est une constante.
2. Code SOLEA : https://www.projet-plume.org/relier/solea
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Introduction 3
Fluides visco-lastiques en lubrication
La justication mathmatique de lquation de Reynolds partir des quations de Navier-Stokes a t
dcrite dans un cadre newtonien. Mais, en pratique, de nombreux lubriants exhibent des comportements
rhologiques complexes, en raison de lajout de nombreux additifs. Avec Guy Bayada (INSA Lyon) et Laurent
Chupin (Universit Blaise Pascal, Clermont-Ferrand), nous nous sommes intresss dans [8] lasymptotique
lm mince des quations dOldroyd, permettant de modliser des uides visco-lastiques
3
:
(
t
U+U U) (1 r)U+p div = 0,
divU = 0,
(
t
+U + g
a
(U, )) + = 2rD(U),
Dans le cas de lois non-newtoniennes de type quasi-newtonien (lois de puissance, lois de Carreau, uides
micropolaires etc.), le modle asymptotique correspond une quation de Reynolds gnralise. Dans le cas
de uides visco-lastiques, la question de lasymptotique et de la justication dun modle limite navait pas
t aborde, alors que le calcul des coulements complexes 3D correspondants en lm mince est trs coteux,
voire impossible. Nous avons donc dtermin formellement le systme asymptotique 3D-2D correspondant
lhypothse de lm mince et avons tudi le caractre bien pos du problme rsultant. Incidemment,
le modle asymptotique est connu en lubrication sous le terme de modle de Rabinowitsch deux plateaux,
reproduisant le comportement rhouidiant classiquement observ. Nous avons donc dcrit la transition
dun modle visco-lastique vers un modle quasi-newtonien rhouidiant. Cette tude asymptotique justie
donc lutilisation dune classe de modles qui sont gnralement obtenus, en mcanique, de faon ad hoc par
ajustement de paramtres dans des modles pr-choisis par rapport des donnes exprimentales. Nous
avons galement propos un algorithme de rsolution et dvelopp un code de calculs correspondant
4
, en
Fortran 90. Par ailleurs, dans [9], cette approche a t tendue la prise en compte du modle de Phan-Thien
Tanner, qui introduit une non-linarit supplmentaire dans la loi dlasticit par un paramtre dlongation.
Par une mthode de perturbation singulire par rapport ce paramtre, on obtient un modle limite qui
perturbe le modle limite prcdent. De manire un peu inattendue, la correction de Phan-Thien Tanner
permet de relaxer la condition dexistence et dunicit du problme initial et du problme limite. Enn, dans
le cadre de lhypothse de lm mince (Oldroyd ou Phan-Thien Tanner), on montre que la solution minimise
une fonctionnelle dnergie que nous avons identie. Notons que lexistence dune telle fonctionnelle na
pas encore t tablie pour les modles dOldroyd et Phan-Thien Tanner, sans hypothse de lm mince : cela
reste un problme ouvert, rput trs difcile.
Effets de rugosits de faible amplitude et haute frquence sur lapproximation de Reynolds
La littrature mathmatique concernant les problmes de rugosits en mcanique des uides sest consi-
drablement enrichie ces dernires annes avec, en particulier, des approches de type lois de parois pour
des coulements newtoniens. Avec Laurent Chupin (Universit Blaise Pascal, Clermont-Ferrand), nous nous
sommes intresss dans [10] la perturbation par des rugosits de surface de lasymptotique issue de lhy-
pothse de lm mince. Nanmoins, nous ne nous sommes pas limits une approche de type loi de paroi qui
amliore lapproximation dordre 0, puisque nous avons dcrit tout ordre les perturbations induites par les
rugosits. Le cadre dtudes correspond un coulement de Stokes conn dans un domaine dpaisseur
et dont les rugosits de surface sont modlises par une fonction oscillante de priode et damplitude
2
.
La prsence de ces rugosits entrane une perturbation du dveloppement usuel de Reynolds, obtenu en lab-
sence de rugosit, par des effets dchelle. Le dveloppement asymptotique permettant de dcrire les effets
de couplage entre les diffrentes chelles est construit sur une suite de problmes de Reynolds gnrali-
ss et de problmes de Stokes (de type couche limite) en milieu semi-inni. Ce dveloppement est justi
rigoureusement par lanalyse du rsidu : celui-ci vriant un systme de Stokes avec termes source et condi-
tions aux limites non homognes, les estimations sont tablies lissue dun relvement des conditions aux
limites, puis du terme source dans lquation de divergence en utilisant les estimations de Bogovskii (en
particulier, la dpendance des constantes par rapport au paramtre est estime, le domaine dtude tant
lui-mme dpendant de ). Nous discutons enn les rsultats mathmatiques obtenus : en particulier, le prol
convergent-divergent de lcoulement conn, qui est typique en lubrication, induit des effets de couplage
multi-chelles supplmentaires et non triviaux par rapport au cas dun canal de section constante (qui est
couramment tudi en hydrodynamique, notamment dans les approches de type lois de parois).
3. Ici, , et modlisent la densit, la viscosit et un temps de relaxation du uide. Le systme est compos de 10 quations
10 inconnues : U = (u, v, w) le champ de vitesse, p le champ de pression, := (
ij
)
1i,j3
le tenseur symtrique des contraintes
lastiques. En notant D(U) et W(U) les parties symtrique et anti-symtrique du gradient U, lapplication bilinaire g
a
est dnie par
g
a
(U, ) = W(U) W(U) a( D(U) +D(U) ), 1 a 1.
Un coulement newtonien peut tre modlis par la simplication de ce modle, en choisissant r = 0 ou = 0.
4. Code ELVIS : https://www.projet-plume.org/relier/elvis
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
4 Introduction
Chapitre 2
Ltude des lois de conservation scalaires sur un domaine born qui est propose dans ce mmoire a
t initialement motive par des questions qui ont merg de problmes en lubrication. En effet, ltude
dun systme de Stokes biuide dans le cadre de lhypothse de lm mince aboutit lmergence dune loi
de conservation scalaire non-autonome sous linuence du cisaillement, et sur un domaine born en raison des
conditions aux limites imposes en lubrication. De ce constat ont merg plusieurs travaux :
i. une comparaison numrique entre le modle dElrod-Adams et le modle biuide construit sur lqua-
tion de Buckley-Leverett [11] ;
ii. le caractre bien pos du modle de Buckley-Leverett aboutissant, de manire plus large, ltude
dquations quasilinaires du premier ordre sur un domaine born pour toute dimension despace [12] ;
iii. le comportement en temps long de la solution, an de caractriser la position de chocs entropiques
stationnaires, correspondant la rupture du lm mince en lubrication [13] ;
iv. la dtermination dune mthode de calcul de la solution dune loi de conservation avec ux discontinu
(en la variable dtat) [14], ce problme correspondant par exemple ltude de lquation de Buckley-
Leverett avec un rapport de viscosits vanescent entre les deux uides.
videmment, si ces travaux ont t motivs par les applications en lubrication, nous nous sommes attachs
tudier la structure mathmatique de ces problmes de faon plus globale.
coulement biuide modlis par une quation de Buckley-Leverett non autonome L
En collaboration avec Guy Bayada (INSA Lyon) et Carlos Vzquez (Universidade da Corua), nous nous
sommes intresss la modlisation de lcoulement de deux uides newtoniens non miscibles en lubri-
cation [11]. Lasymptotique relative lhypothse de lm mince dun modle de Stokes multi-uide, d
Nouri, Poupaud & Demay (1997) a t obtenue par Paoli (2003). Notons que cette asymptotique 2D-1D (et
non 3D-2D comme auparavant) correspond une approximation supplmentaire appele approximation du
palier inniment long. Ainsi, dans le modle asymptotique, le comportement de la pression dans le mlange
et de la saturation en uide de rfrence est dcrit par le couplage dune quation de Reynolds et dune
quation de Buckley-Leverett non-autonome (les prols de vitesse pouvant tre dduits des informations
prcdentes). Nanmoins, lasymptotique est valable sous une hypothse forte sur la frontire libre entre les
deux uides et ne permet donc pas rigoureusement dobtenir un rsultat dexistence pour le systme limite.
Nous avons donc dmontr le caractre bien pos de ce systme, dont la difcult repose essentiellement sur
lanalyse de lquation de Buckley-Leverett sur un domaine born (en dimension 1 despace) :

t
u(t, x) +
x
(T(x, u(t, x))) = 0, (t, x) (0, +) (0, 1),
u(0, x) = u
0
(x), x (0, 1),
u(t, x) = u R, (t, x) (0, +) (0, 1),
avec T(x, u) = f

(u) +1(x) u (1 f

(u)), o x 1(x) dcrit les effets de cisaillement dans lcoulement


convergent-divergent et dsigne le rapport des viscosits des deux uides. Notons que la fonction f

admet
un prol en forme de o (avec f

(0) = 0 et f

(1) = 1) : ces proprits mathmatiques sont similaires celles


du ux de lquation de Buckley-Leverett habituellement dcrite en mcanique des milieux poreux, ce qui
justie la terminologie que nous avons utilise, mme si un terme supplmentaire (et non autonome) d au
cisaillement du dispositif intervient dans notre modle. Nous avons compar ce modle biuide au modle
dElrod-Adams, pour la description de phnomnes de cavitation : lide a t de simuler des coulements
biuides dont le rapport des viscosits est de plus en plus faible, an dimiter un mlange liquide-gaz. Les
simulations font apparatre qualitativement de fortes similitudes entre les prols de pression-saturation des
deux modles et soulvent des questions, essentiellement thoriques, qui sont dveloppes dans la suite.
Problme de Cauchy-Dirichlet pour des quations quasilinaires du premier ordre L
Ce travail a t initialement motiv par des questions lies ltude dun mlange biuide dans un
coulement de faible paisseur. Ltude de lexistence, unicit et stabilit de la solution de lquation de
Buckley-Leverett a abouti celle, plus gnrale, des lois de conservation scalaires sur un domaine born [12].
Cette problmatique a t initie par Bardos, Le Roux & Ndlec (1979) pour des donnes rgulires, puis
partiellement gnralise par Otto (1996) pour des donnes peu rgulires mais avec ux autonome et en
labsence de terme source. Nous avons donc gnralis ces rsultats en montrant le caractre bien pos
du problme de Cauchy-Dirichlet pour des quations quasilinaires du premier ordre en toute dimension
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Introduction 5
despace d N et avec des donnes L

t
u(t, x) + div
x
(T(t, x, u(t, x))) +((t, x, u(t, x)) = 0, (t, x) (0, T] ,
u(0, x) = u
0
(x), x
u(t, r) = u
D
(t, r), (t, r) (0, T] ,
o est un ouvert born de R
d
et sous les hypothses :
(i) T et ( sont deux fonctions rgulires : T
_
C
2
([0, T] [a, b])
_
d
, ( C
2
([0, T] [a, b]) ;
(ii) T, div
x
T et ( sont de rgularit Lipschitz par rapport u, uniformment en (t, x) ;
(iii) (u
0
, u
D
) L

(; [a, b]) L

((0, T] ; [a, b]) ;


(iv) (div
x
T +() (, , a) 0 et (div
x
T +() (, , b) 0.
En utilisant la classe des semi-entropies de Krukov (et en dnissant au pralable une approximation de
ces semi-entropies), nous avons tabli le rsultat dexistence de solution entropique, en adaptant la mthode
de viscosit vanescente (en tablissant un rsultat de stabilit L
1
pour le problme parabolique associ, des
estimations BV puis en appliquant le thorme dArzela-Ascoli), ainsi que le rsultat dunicit en adaptant la
mthode de ddoublement des variables initie par Krukov (1970).
Comportement en temps long de la solution dune loi de conservation scalaire
En collaboration avec Julien Vovelle (CNRS & Universit Lyon 1), nous avons tudi le comportement
en temps long de la solution dune loi de conservation scalaire non autonome sur un domaine born, en
dimension 1 despace [13] :

t
u(t, x) +
x
(T(x, u(t, x))) = 0, (t, x) (0, +) (0, 1),
u(0, x) = u
0
(x), x (0, 1),
u(t, x) = u R, (t, x) (0, +) (0, 1),
o les donnes sont valeurs dans [0, 1] et la fonction-ux T (
1
([0, 1]
2
) vrie certaines hypothses
structurelles (le prototype de loi considre correspond au modle de Buckley-Leverett). Si de nombreux
travaux se sont intresss au comportement en temps long de la solution de lois de conservation scalaires sur
lespace entier, la bibliographie sur le comportement en temps long de la solution sur un domaine born nest
pas trs importante : ainsi, Mascia & Terracina (1999) ont tudi ce problme avec un terme source et un ux
autonome. Le problme qui nous intresse est caractris par une absence de terme source, mais le caractre
non autonome du ux induit de nouvelles difcults mathmatiques. Dans ce contexte, nous avons mis en
vidence le contrle exerc par les conditions aux limites dans la structure des tats stationnaires et dmontr,
par une analyse de semi-groupe, la convergence de la solution vers un tat stationnaire. En particulier, les
conditions aux limites, au sens de Bardos, Le Roux & Ndlec, jouent un rle essentiel dans la caractrisation
des tats stationnaires admissibles. Les simulations illustrent le comportement en temps long de la solution,
et notamment sa convergence vers un tat stationnaire que nous caractriserons a priori.
Calcul de la solution du problme de Cauchy-Dirichlet pour une loi de conservation scalaire avec ux
discontinu (en la variable dtat)
Dans la continuit du travail prcdent, nous nous sommes intresss dans [14] lanalyse numrique
de lois de conservation scalaires avec un ux discontinu. Cette question merge naturellement lorsque lon
passe formellement la limite sur le rapport des viscosits dans lquation de Buckley-Leverett [11] :
f

(u) H(u 1), o H dsigne le graphe de Heaviside et cette asymptotique est motive par le faible
rapport des viscosits entre un gaz et un uide. Nous avons donc considr une loi de conservation scalaire
sur un domaine born R
d
. La fonction-ux T admet ventuellement un nombre ni de discontinuits
5
du premier type. Si le caractre bien pos de ce problme a t tabli par Carrillo (2003), le calcul de la
solution navait pas t abord. La difcult repose sur le fait que les mthodes explicites sont limites par
une condition CFL dans laquelle intervient la constante de Lipschitz du ux ; or, dans notre cas, la constante
de Lipschitz nest mme pas dnie. Quant aux mthodes implicites, elles chouent en pratique. Nous avons
donc utilis une reformulation du problme, quivalente celle de Carrillo, qui permet de rgulariser le
ux (au prix dune difcult supplmentaire sur lidentication de la solution) et propos une mthode aux
volumes nis implicite construite sur ce problme quivalent. Nous avons dmontr dune part que le schma
est bien pos (existence et unicit de la solution numrique par degr topologique de Brouwer) et dautre part
que la solution numrique converge vers lunique solution entropique du problme continu (en tablissant
des ingalits entropiques discrtes et des estimations BV faibles).
5. Le ux (t, x, u) T(t, x, u) est discontinu en la variable dtat u ; cette hypothse ne doit pas tre confondue avec la suivante : dans
de nombreux articles, le ux est suppos discontinu en la variable despace x, voir les travaux de Diehl (1996), Towers (2000), Bachmann
& Vovelle (2006) et, plus rcemment Andreianov, Karlsen & Risebro (2010).
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
6 Introduction
Chapitre 3
Ce chapitre est consacr des travaux de modlisation et de calcul scientique en sciences du vivant.
Le premier axe concerne la modlisation du systme pulmonaire humain et, en particulier, des changes
gazeux dans le poumon. Ces travaux de modlisation se sont focaliss sur la construction de modles sim-
plis, ncessaires la comprhension des phnomnes complexes, en vitant au maximum les procdures
dajustement de paramtres qui nont pas de dnition physiologique clairement tablie.
Le second axe de cette thmatique porte sur la simulation de uides biomimtiques avec une attention parti-
culire pour les suspensions denses. Dans ces travaux, un effort particulier est port sur la modlisation des
interactions un niveau microscopique (par exemple, les forces dinteraction courte distance et longue
distance entre des entits passives, les interactions uide-structure entre le uide et des entits propulses,
etc.). Lobjectif principal de cette approche microscopique est de dterminer le comportement de ces systmes
lchelle macroscopique par la simulation dun grand nombre dentits dans des coulements 2D ou 3D.
Modlisation du poumon : inuence de la rigidit bronchique sur lefcacit des changes gazeux
En collaboration avec Bertrand Maury (Universit Paris-Sud, Orsay), Thomas Similowski et Christian
Straus (Hpital La Piti-Salptrire, Paris), nous avons ralis un travail de modlisation dont le but est
de conrmer ou inrmer certaines hypothses mises par les cliniciens relatives linuence de la rigidit
bronchique et du muscle lisse pulmonaire [15]. Plus prcisment, nous nous sommes intresss limpact
des caractristiques mcaniques de larbre bronchique et du parenchyme pulmonaire sur les changes gazeux
dans le poumon humain. cet gard, le rle du muscle lisse bronchique est imparfaitement compris ; ce
rle pourrait tre en partie structurel, pour confrer larbre bronchique des caractristiques mcaniques
compatibles avec un transport optimal de lair inspir vers les zones dchange. Pour tester cette hypothse,
deux modles simplis ont t labors :
le modle mcanique usuel dcrivant lvolution du volume V et du dbit

V au cours de la respiration
est un systme masse-ressort : I

V + R

V + E(V V
0
) = P
ext.
, o V
0
reprsente le volume pulmonaire
lquilibre, P
ext.
la pression externe modlisant laction des muscles respiratoires tels que le diaphragme.
Les paramtres I, R et E reprsentent respectivement linertance du poumon, la rsistance des voies
ariennes et llastance du poumon ; ce sont des donnes usuelles (bien que difcilement identiables)
en physiologie respiratoire. La prise en compte du muscle lisse et, plus gnralement, de la rigidit
bronchique, a consist intgrer une loi de comportement non linaire pour la rsistance, obtenue sous
lhypothse dune dformation homothtique des bronches.
le second modle est un modle dabsorption de loxygne, bas sur un bilan de la quantit doxygne
dans le systme : en particulier, lappauvrissement en oxygne dans les alvoles, par diffusion travers
la membrane alvolo-capillaire, est pris en compte.
Les deux modles ont t coupls en srie. Les effets de modication des paramtres du modle mcanique
sur le modle dabsorption ont t dcrits et le modle a montr que la rponse mcanique de larbre bron-
chique aux forces de dilatation relatives linspiration joue un rle dterminant dans lefcacit respiratoire.
un extrme, un arbre bronchique totalement rigide serait contre-productif en empchant une quantit
sufsante de gaz datteindre les alvoles. lautre extrme, un arbre bronchique totalement dformable per-
mettrait de trs grands volumes dair dentrer dans le thorax mais compromettrait lefcacit des changes
gazeux en limitant le volume alvolaire et donc la surface de membrane disponible pour le transfert doxy-
gne (effet espace mort ). Ces observations sont en faveur dune hypothse du rle structurel du muscle
lisse bronchique destin optimiser les proprits convectives de larbre bronchique.
Modlisation du poumon : quelques aspects non-linaires des changes gazeux
En collaboration avec Bertrand Maury (Universit Paris-Sud, Orsay), nous avons propos dans [16] un
modle intgr de transfert doxygne dans le sang. Dans la littrature, cet aspect est modlis par une for-
mule simplicatrice, due Roughton & Forster (1957). Les enjeux de cette tude rsident dans lidentication
et la comprhension de mcanismes non-linaires rgissant le transfert doxygne dans le sang : i) effets non-
linaires de transfert doxygne dans des conditions normales de respiration; ii) phnomnes de limitation
cintique, observs dans des rgimes de respiration extrmes ; iii) htrognit de la concentration doxygne
dans lacinus pulmonaire (i. e. la partie alvole de larbre bronchique dans laquelle se produisent les changes
gazeux avec le sang). Cette approche nous permet de retrouver les ordres de grandeur usuels pour le transfert
doxygne, au repos et lexercice, en utilisant les donnes issues de la littrature, sans procdure de rglage
de paramtres ou dajustement de courbe par rgression. On montre alors que la capacit de diffusion de
la membrane naffecte pas le transfert doxygne mais que, lorsquelle diminue (par exemple cause dem-
physme
6
) en-dessous dune valeur critique, elle devient un paramtre signicatif dans la dtermination du
6. Lemphysme est une maladie des voies ariennes de la rgion acinaire, caractrise par la destruction de la paroi alvolaire.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Introduction 7
transfert doxygne en raison de la limitation cintique. Par ailleurs, un modle 1D conservatif (contrairement
aux modles similaires construits par Foucquier (2010), dune part, et Swan & Tawhai (2011), dautre part) a
t dvelopp : par conservation de la quantit dair, une quation de transport permet de dterminer la vi-
tesse moyenne de lcoulement par gnration; puis, par conservation de la quantit doxygne, une quation
dadvection-diffusion-absorption dtermine le comportement de la concentration doxygne le long de larbre
bronchique. Ce modle 1D nous permet dtudier le phnomne dcrantage diffusionnel, i. e. la possibilit
que le transfert doxygne puisse tre affect signicativement par le fait que la surface dchange associe
aux dernires gnrations participe peu au transfert doxygne au repos, fournissant ainsi une rserve capa-
citaire pour le transfert doxygne lexercice. Notre modle nidentie pas un tel phnomne, linstar des
travaux de Swan & Tawhai (2011) : au repos, bien que la concentration doxygne soit lgrement infrieure
dans les alvoles terminales, le transfert doxygne se localise essentiellement dans la dernire gnration.
Simulation de suspensions passives : une approche de type dynamique stokesienne
Les approches thoriques ou numriques visant dcrire le comportement de suspensions dentits ont
t, pendant longtemps, limites aux suspensions dilues. Pour les suspensions denses, de nouvelles ap-
proches numriques sont requises an de dpasser deux difcults majeures : la dtermination des interac-
tions multi-corps entre les objets et la dtermination de la distribution espace-temps des objets.
Le calcul direct pour des suspensions denses 3D est actuellement hors de porte. Avec Sylvain Faure
(CNRS & Universit Paris-Sud, Orsay), Bertrand Maury (Universit Paris-Sud, Orsay) et Tako Takahashi
(INRIA Nancy Grand Est), nous avons dvelopp un outil de simulation numrique, bas sur une mthode de
dynamique stokesienne , appliqu la simulation 3D de suspensions denses dobjets rigides [17] : partir
dun code de calculs C++ granulaire dvelopp par Aline Lefebvre
7
, permettant de dnir des macro-objets
et de grer le contact inlastique entre ces objets, nous procdons une valuation des forces dinteraction
hydrodynamique entre les entits (vitant, ainsi, le calcul de lcoulement uide) par la mthode dite de
dynamique stokesienne dveloppe par Brady & Bossis (1988). Cette mthode permet de dterminer les
interactions hydrodynamiques entre des objets rigides ainsi que la distribution spatio-temporelle des entits
(i. e. la microstructure), partir dune hypothse dadditivit par paire des interactions. Cette hypothse
dadditivit des interactions est forte, mais elle permet la mise en uvre dune procdure de calcul efcace :
la mthode consiste construire une grande matrice rsistance dcrivant linteraction entre toutes les entits et
le uide et, en consquence, rsoudre le systme linaire rsultant de taille R
3N
R
3N
, o N est le nombre
dobjets rigides voluant dans le uide. Notons que le cot de cette mthode peut devenir trs important,
mais il doit tre confront celui de la rsolution directe du problme uide-structure dont le nombre de
degrs de libert, aprs discrtisation, engendre un cot de calcul prohibitif qui le rend impossible. Des
rsultats exploratoires ont t obtenus pour des suspensions denses de sphres, de globules rouges, et de
chanes de polymre, partir de lois de Faxen et en intgrant les forces de lubrication.
Simulation de suspensions actives : une approche directe
En collaboration avec Bertrand Maury et Astrid Decoene (Universit Paris-Sud, Orsay), nous nous
sommes intresss dans [18] une approche directe pour la simulation 2D dcoulements de Stokes dans
lesquels volue un grand nombre de bactries auto-propulses. Le but de cette approche directe est de capter
au mieux les interactions multi-corps an dobtenir des informations sur le comportement macroscopique
de ces suspensions, dont la comprhension est lie la richesse des observations exprimentales : dynamique
collective donnant limpression dune dynamique turbulente, rhologie complexe qui vise caractriser la mo-
tilit des micro-nageurs partir de donnes observables, ou encore chimiotactisme rsultant de linteraction
des bactries avec leur environnement chimique coupl aux interactions hydrodynamiques dj mentionnes.
Lobjectif de cette approche directe est de dvelopper des mthodes de rsolution efcaces pour la si-
mulation de suspensions denses. En particulier, la simulation directe permet de dterminer les interactions
minimales aboutissant lmergence de dynamiques collectives complexes : interactions hydrodynamiques
uniquement pour la turbulence faible, interactions hydrodynamiques et chimiotactisme pour les mouvements
de bioconvection de grande amplitude avec instabilits etc. Nous nous sommes limits au cas dcoulements
2D car cette dimension rduite permet raisonnablement de dvelopper des outils de simulation directe de
suspensions denses. Dans ce travail, la propulsion des bactries est modlise par un couple de forces de
mme intensit et de direction oppose appliqu sur le corps rigide des bactries et sur une rgion du uide
associe au mouvement dun agelle. La mthode pour simuler lcoulement uide et le mouvement des
bactries est base sur une formulation variationnelle dnie sur tout le domaine, qui induit un couplage fort
pour linteraction uide-particules : le mouvement rigide du corps des bactries est assur par pnalisation
du tenseur de dformation sur le domaine rigide. Mathmatiquement, le modle conduit la rsolution dun
problme de minimisation dans un espace fonctionnel non contraint, qui peut tre implant avec un solveur
7. Code SCOPI : https://www.projet-plume.org/relier/scopi
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
8 Introduction
lments nis usuel : cet effet, un code
8
Freefem++ a t dvelopp. Ce modle permet dobtenir une des-
cription prcise du mouvement du uide et des interactions hydrodynamiques pour des suspensions dilues
ou denses. partir de cet outil numrique, une analyse qualitative et quantitative des rsultats a t dvelop-
pe an de mettre en vidence les phnomnes observs dans les expriences, dans le cas de bactries dites
pusher (propulses par un agelle situs en aval du corps) ou puller (tractes par des cils situs en amont du
corps et anims dun mouvement de brasse). En particulier, lapparition et la persistance de structures coh-
rentes est quantie, de mme que la diffrence de signature rhologique selon le mode de propulsion. Enn,
les aspects chimiotactiques ont t intgrs, prenant en compte la consommation individuelle doxygne et
le mode de dplacement caractristique des bactries, appel run-and-tumble, qui leur permet de se dplacer
vers les gradients favorables de nutriments. Lintgration de ces phnomnes nous permet de reproduire les
instabilits hydrodynamiques complexes favorisant des mouvements bioconvectifs.
Autres travaux
Les articles [19] et [20] ne sont pas discuts dans ce document, par souci de brivet et de cohrence. Nan-
moins, nous en proposons une rapide synthse dans cette introduction.
Sgrgation spatiale dans un systme de raction-comptition-diffusion
En collaboration avec Danielle Hilhorst (CNRS & Universit Paris-Sud, Orsay) et Masayasu Mimura
(Meiji University, Tokyo), nous avons tudi une asymptotique raction rapide dun systme de raction-
comptition-diffusion deux espces [19] :

t
u = u + f (u)
1
uv,
t
v = v + g(v)
1
uv.
Les fonctions f et g dsignent les ractions intraspciques tandis que (u, v) uv modlise un terme de
comptition interspcique ; le coefcient de diffusion 0 permet de considrer un couplage EDP / EDP
ou EDP / EDO. Le paramtre
1
dsigne le taux de raction ( reprsente alors un temps caractristique de
raction). On associe ce systme des conditions initiales (u = u
0
, v = v
0
) et des conditions aux limites de
type Dirichlet-Neumann (u = u,
n
v = 0). Aprs avoir tabli le caractre bien pos du problme EDP / EDP
ou EDP / EDO, nous avons tudi lasymptotique 0. Nous tablissons dabord un principe de sgrgation
spatiale entre les deux espces dans le rgime asymptotique : la limite, u et v ont des supports disjoints.
Nous montrons que linconnue rduite w := u v, qui permet didentier la fois u := w
+
et v := w

, est
solution dun problme parabolique non-linaire bien pos. De plus, lensemble [w = 0] dnit une frontire
libre qui dlimite les habitats des deux espces. Nous dcrivons enn, sous une hypothse de rgularit
de la frontire libre, les conditions de saut linterface (notamment sur la vitesse normale de propagation
de la frontire libre). Nous caractrisons galement le terme de raction interspcique comme une mesure
localise sur la frontire libre. Mathmatiquement, les outils danalyse utiliss dans ce travail le rapprochent
de ltude des lois de conservation scalaires exposes au Chapitre 2, travers leur approximation parabolique.
Mthodes de volumes nis dordre lev pour des coulements instationnaires sur maillage non structur
Dans le cadre dapplications industrielles, de nombreux efforts se sont concentrs sur le dveloppement
de mthodes dordre lev en calcul scientique appliqu la mcanique des uides ou laroacoustique.
Si les mthodes de diffrences nies ne sont pas adaptes la complexit des domaines, la mthode des
volumes nis est trs populaire, par sa facilit dimplantation et son adaptation des gomtries complexes.
Nanmoins, dans le cas de systmes de conservation, il est difcile dtablir une diffrentiation des ux en
espace avec des ordres levs de prcision. Dans [20], en collaboration avec Soane Khelladi (ENSAM Pa-
ris), Xesus Nogueira (Universidade da Corua) et Farid Bakir (ENSAM Paris), nous avons prsent trois
stratgies qui prservent un ordre de prcision lev pour des cas instationnaires et sur maillage non structur, en
utilisant une mthode de volumes nis bases sur des approximations de moindres carrs avec pondration
(mthodes dites Moving Least Squares), an de rsoudre les quations dEuler (linarises ou non-linaires).
La formulation du problme, aprs discrtisation en espace, revient rsoudre un systme diffrentiel avec
une matrice de masse dont le remplissage dpend de la prcision requise. Les stratgies de rsolution adop-
tes sont alors : (i) rsolution de la formulation matrice pleine par un solveur explicte ou par un solveur
implicite ; (ii) rsolution par un schma explicite en temps dune formulation matrice condense obtenue par
une reconstruction des variables moyenne nulle ; (iii) rsolution par un solveur explicite dune formulation
matrice condense, obtenue par une pseudo-inversion de la matrice de masse. La comparaison entre la prci-
sion effective des trois mthodes est discute. Thmatiquement, ce travail sur les systmes de conservation se
rapproche du Chapitre 2, mais il est consacr des questions de calcul scientique exclusivement.
8. Code SOPHIALOREN : https://www.projet-plume.org/relier/sophialoren
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Chapitre 1
Modlisation, analyse mathmatique et
calcul scientifique appliqus la
mcanique des films minces
1.1 Influence des rugosits dans des coulements minces cavits L . . . . . . . . . . . . . . . . . 10
1.1.1 Cavitation et rugosits en lubrication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.2 Homognisation du modle dElrod-Adams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.1.3 Rsultats numriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2 Formation de la cavitation en lubrification hydrodynamique . . . . . . . . . . . . . . . . . . 14
1.2.1 Conditions sufsantes dapparition ou de disparition de la cavitation . . . . . . . . . . . . . . . . . 14
1.2.2 Rsultats numriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3 Fluides visco-lastiques en lubrification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.1 Fluides non-newtoniens et lhypothse de lm mince . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.2 Approximation lm mince pour les modles dOldroyd et Phan-Thien & Tanner . . . . . . . . . 17
1.3.3 Mthode de rsolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4 Influence de rugosits sur lapproximation de Reynolds . . . . . . . . . . . . . . . . . . . . . . . 19
1.4.1 Dveloppement formel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.4.2 Justication rigoureuse du dveloppement asymptotique . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4.3 Discussion sur les interactions multi-chelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
L
a lubrication hydrodynamique concerne les mcanismes connant un liquide et pour lesquels la forme et
la vitesse relative de deux surfaces en regard engendrent la formation dun lm mince continu sous une
pression sufsamment leve pour empcher le contact. La thorie repose fortement sur lquation de Rey-
nolds [Rey86], qui est une limite asymptotique des quations de Navier-Stokes correspondant lhypothse
de lm mince (approximation 3D-2D, similaire la thorie des plaques et coques en lasticit).
La transition des quations de Navier-Stokes vers lquation de Reynolds utilise la faible distance qui
spare les deux surfaces (quelques dizaines de microns) pour liminer les variations en pression suivant la
direction perpendiculaire aux deux surfaces. Dun point de vue mathmatique, les premires dmonstrations
rigoureuses ont t tablies par Bayada & Chambat [BC86] et par Nazarov [Naz90].
Soit un uide newtonien, de viscosit , dans un domaine

= (x, z) R
3
; x R
2
, 0 < z < h(x)
que lon suppose mince : 1. La surface infrieure z = 0 est anime dune vitesse de cisaillement note s,
voir Fig. 1.1. La solution du problme de (Navier) Stokes (u

, v

, p

) se comporte alors ainsi :


u

(x, z) = u

_
x,
z

_
+O(
2
), v

(x, z) = v

_
x,
z

_
+O(
3
), p

(x, z) =
p

(x)

2
+O(1).
Lquation de Reynolds qui rgit la pression renormalise x p

(x) dans le mcanisme sobtient alors par


un calcul du ux moyen et prise en compte des conditions aux limites :
div
_
h
3
12
p

_
= div
_
hs
2
_
,
les prols de vitesse renormalise (u

, v

) lordre principal pouvant tre dduits de p

par simple intgra-


tion
9
. La simplication induite par cette procdure est immdiate : lquation de Reynolds propose le calcul
dune quantit scalaire en dimension 2 au lieu dun calcul en vitesse-pression en dimension 3 !
Dans le cadre de cette hypothse, de nombreuses tudes se sont intresses, du point de vue de la mo-
dlisation, de lanalyse ou du calcul, lintgration de phnomnes non-linaires qui mergent en pratique
dans les mcanismes industriels : rugosits des surfaces gnres par lusinage, interaction uide-structure
par dformation des surfaces sous leffet de fortes pressions, cavitation, ajout dadditifs modiant la rhologie
des lubriants etc. Dans ce chapitre, nous prsentons une synthse darticles portant sur cette problmatique.
9. Dans la suite, nous travaillerons avec la pression p := p

/(6) : lquation de Reynolds se rduit alors div


_
h
3
p
_
= div (hs).
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
10 Chapitre 1. Modlisation, analyse et calcul appliqus la mcanique des lms minces
h(x)
x
1
x
2 z

s = (s, 0)
Figure 1.1 Domaine mince

:= (x, z) R
3
; x R
2
, 0 < z < h(x) en lubrication : lcoulement de faible paisseur
( 1) est conn entre la surface suprieure, xe, et la surface infrieure anime dune vitesse de cisaillement s.
1.1 Influence des rugosits dans des coulements minces cavits L
Lquation de Reynolds, propose ds 1886, dcrit le comportement dun coulement visqueux entre
deux surfaces trs proches en mouvement relatif. Nanmoins, cette modlisation ne prend pas en compte
les phnomnes de cavitation, qui est dnie comme la rupture du lm liquide due la formation de bulles
de gaz, lorsque la pression diminue jusqu atteindre la pression de vapeur saturante ; dans les zones dites
cavites, lapproximation de Reynolds nest plus valide. An de prserver la rduction de dimension, de
nombreuses corrections ont t proposes an dintgrer un modle de cavitation lquation de Reynolds.
1.1.1 Cavitation et rugosits en lubrication
An de modliser la cavitation, linquation variationnelle associe la contrainte p 0 (la pression
de vapeur saturante est xe 0, par simplicit) a t trs populaire en mcanique, mais ses proprits
de conservation sont mises en dfaut. Elrod & Adams [EA75] ont alors propos un modle conservatif, en
supposant que la rgion cavite est un mlange liquide-gaz modlis par une inconnue supplmentaire : la
proportion en liquide du mlange. Le modle dElrod-Adams est une modication de lquation de Reynolds :
div
_
h
3
p
_
= div (h s) , p 0, H(p) 1. (1.1)
Ici, h : R
2
R est la hauteur normalise entre les deux surfaces qui connent lcoulement, s = (s, 0)
est la vitesse constante de cisaillement du dispositif, p : R est la pression dans le lm mince (inconnue
du problme), : R est la saturation locale de la phase liquide (inconnue du problme) et H dsigne
le graphe de Heaviside. Ainsi, une frontire libre peut se former, dlimitant deux zones distinctes : la rgion
sature dans laquelle p 0 et = 1 (au sein de laquelle lquation de Reynolds est vrie) et la rgion cavite
dans laquelle p = 0 et 0 < 1 (la lubrication nest que partielle). Lintrt du modle dElrod-Adams
rside dans ses proprits physiques : contrairement dautres modles (tels que linquation variationnelle),
il prserve le dbit massique et permet dobtenir des informations supplmentaires sur les zones cavites
telle que la proportion en lubriant liquide entre les surfaces. Le modle est largement utilis en tribologie et
fournit des rsultats qui sont en accord avec les rsultats exprimentaux.
En lubrication, linuence des rugosits des surfaces est une question cruciale : la faiblesse de lpaisseur
de lcoulement rend les mcanismes particulirement sensibles ces irrgularits, qui peuvent avoir un
impact important sur leurs performances. Du point de vue du calcul, une approche directe est impossible : le
maillage lchelle de ces irrgularits entrane des cots de calculs prohibitifs, si bien que dautres approches
sont ncessaires pour prendre en compte les effets moyens de ces rugosits : cest le but des approches de
type homognisation mathmatique, adopt dans cette section. En considrant des rugosits priodiques, la
hauteur entre les deux surfaces devient fortement oscillante :
h

(x) := h(x, x/)


le paramtre mesurant la frquence des rugosits. Ainsi, au lieu de calculer la solution du problme direct
x, on sintressera la dtermination dune solution approche en tudiant lasymptotique 0 : la
structure du problme homognis est gnralement proche de celle du problme initial et ses coefcients
rguliers non oscillants permettent la mise en uvre dune mthode numrique peu coteuse. Dans le cadre
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
1.1. Inuence des rugosits dans des coulements minces cavits L 11
de lquation de Reynolds, lhomognisation du problme est connue depuis longtemps : il sagit en effet de
lhomognisation dun problme elliptique classique avec coefcients fortement oscillants (voir par exemple
[BLP78] et les rfrences associes) ; cette procdure est galement identie en mcanique par lutilisation
de facteurs de forme dcrivent la structure anisotrope de lcoulement rsultant [PC78]. Dans le cadre de
linquation variationnelle associe la modlisation de la cavitation, lhomognisation du problme est ga-
lement bien connue [CR81, BF89]. Pour le modle dElrod-Adams, la question navait pas t aborde. Dans
ce contexte, la difcult repose sur le caractre elliptique-hyperbolique du problme : lcoulement est dcrit
par une inconnue en pression-saturation dont le couplage induit un changement de structure mathmatique.
Dans ce contexte, nous dsignons par (P

) le problme associ une fonction oscillante de paramtre .


Dans [1, 2], nous avons dcrit le comportement de la solution de (P

), lorsque tend vers 0, et caractris


les fonctions limites comme la solution dun problme homognis (P

) dont la structure mathmatique


est proche de celle du problme initial. Pour cela, nous avons utilis la mthode dclatement priodique
[CDG08] et qui possde des liens troits avec la technique de convergence double-chelle [All92].
1.1.2 Homognisation du modle dElrod-Adams
Par la mthode dclatement priodique ou de convergence double-chelle, nous avons tabli le com-
portement de lcoulement lorsque tend vers 0, en supposant que les rugosits ont un prol transverse,
longitudinal ou, plus gnralement, un prol oblique sexprimant sous la forme suivante :
Hypothse 1.1 La hauteur entre les surfaces rigides h

scrit sous la forme :


h := h(x, x/) = H
1
1
_
x,
X

1
(x)

_
H

2
_
x,
X

2
(x)

_
avec [0, 1] ( est un paramtre dhomognit de la surface vis--vis de H
1
et H
2
). Ici x (X

1
(x), X

2
(x)) = R

x
dsigne le changement de coordonnes par la rotation dangle (associe la matrice de rotation R

).
Remarque 1.1 (chelles lente et rapide) La fonction oscillante fait intervenir deux chelles distinctes : une chelle
lente, dcrite par la variable usuelle x , et une chelle rapide dcrite par la variable y = x/. Les oscillations sont
supposes priodiques, de sorte que cette variable y vit sur la cellule unit Y :=]0, 1[
2
.
Par la suite, nous allons voir que la solution du problme (P

) converge vers une limite qui est la solution


dun problme dit homognis, not (P

), dont la structure mathmatique est proche de celle du problme


initial. Dnissons sans attendre ce problme homognis :
Dnition 1.1 Le problme (P

) consiste dterminer une pression p


0
et un couple de saturations (
i
)
i1,2
tels que
div
_
/
0
p
0
_
= div
_
B
0
(
1
,
2
) s
_
, p
0
0, H(p
0
)
i
1, (i = 1, 2)
avec les matrices homognises
/
0
=
_
a

1
0
0 a

2
_
(a

1
a

2
) sin
_
sin cos
cos sin
_
,
B
0
(
1
,
2
) =
_

1
b

1
0
0
2
b

2
_

1
b

1

2
b

2
_
sin
_
sin cos
cos sin
_
.
En notant f
Y
la moyenne de f par rapport la variable rapide, les coefcients homogniss sont dnis par
a

1
=
H
3
2
Y
H
3(1+)
1
Y
, a

2
=
H
3(1)
1
Y
H
3
2
Y
, b

1
=
H
2(1)
1
H

2
Y
H
3(1+)
1
Y
, b

2
=
H
1
1
H
2
2
Y
H
3()
2
Y
.
La construction du problme homognis (P

) rsulte de lanalyse du comportement de la solution du


problme (P

). On montre en effet que le lien entre les problmes (P

) et (P

) est dcrit par le


Thorme 1.1 Soit (p

) la solution de (P

). Il existe (p
0
,
0
) H
1
() L

(Y) tel que (p


0
,
0
) est la limite
double-chelle de (p

), une sous-suite prs de . En dnissant les saturations

1
(x) :=
_

0
(x, )H
2(1)
1
(x, )H

2
(x, )
_Y
H
2(1)
1
(x, ) H

2
(x, )
Y
,
2
(x) :=
_

0
(x, )H
2
2
(x, ) H
1
1
(x, )
_Y
H
2
2
(x, ) H
1
1
(x, )
Y
, (1.2)
alors (p
0
,
1
,
2
) est solution du problme (P

).
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
12 Chapitre 1. Modlisation, analyse et calcul appliqus la mcanique des lms minces
Ide de la preuve. Ce rsultat de convergence est dmontr en suivant les tapes suivantes :
1. Reformulation du problme dans les coordonnes dnies par les directions des rugosits. Le changement de
coordonnes naffecte que la direction du cisaillement : le vecteur s a t chang en s

:= R

s.
2. Estimations, rsultats de convergence et proprits des fonctions limites. Les fonctions p

et

sont bornes
dans H
1
() et L

() respectivement. Par consquent [All92, Proposition 1.14], il existe (p


0
, p
1
)
H
1
() L
2
(; H
1
per
(Y)/R) et
0
L
2
(Y) tels que, une sous-suite prs, dans L
2
(Y) :
T

(p

) p
0
, T

(p

)
x
p
0
+
y
p
1
, T

)
0
.
Loprateur dclatement priodique [CDG08] T

: L
2
() L
2
(Y) est dni par :
T

(w)(x, y) = w
_

_
x

_
Y
+ y
_
,
o [x]
Y
Z
2
dsigne la partie entire de x est lunique lment tel que x [x]
Y
appartient Y.
3. Dcomposition macroscopique et microscopique. Les fonctions p
0
, p
1
et
0
vrient les quations suivantes :
div
x
_
_
Y
h
3
(, y)
_

x
p
0
() +
y
p
1
(, y)
_
dy
_
= div
x
_
_
Y

0
(, y)h(, y) s

dy
_
, (1.3)
div
y
_
h
3
(x, )
_

x
p
0
(x) +
y
p
1
(x, )
__
= div
y
(
0
(x, )h(x, ) s

) . (1.4)
4. Dnition des problmes de cellule. Les problmes locaux, nots (A

i
) (resp. (A
0
i
)) consistent dterminer,
pour i 1, 2, les fonctions J

i
, J
0
i
L
2
(; H
1
per
(Y)/R) telles que, pour p.p. x ,
div
y
_
h
3
(x, )
y
W

i
(x, )
_
=
y
i
h(x, ),
div
y
_
h
3
(x, )
y
W
0
i
(x, )
_
=
y
i
(
0
(x, )h(x, )).
Par le thorme de Lax-Milgram, le problme (A

i
) (resp. (A
0
i
)) est bien pos.
5. Dnition du problme homognis. partir des problmes locaux, nous obtenons la relation :
p
1
(x, y) =
_
W

1
(x, y)
W

2
(x, y)
_

x
p
0
(x) +
_
W
0
1
(x, y)
W
0
2
(x, y)
_
s

, dans L
2
(; H
1
per
(Y)/R).
Le problme homognis sobtient en substituant cette expression dans lquation macroscopique (1.3) :
div
_
/
0
p
0
_
= div
_
B
0
s

_
, avec /
0
ij
:= h
3

ij
h
3
W

j
y
i
Y
, B
0
ij
:=
0
h
ij
h
3
W
0
j
y
i
Y
.
6. Calcul des coefcients homogniss. LHypothse 1.1 de sparation des variables microscopiques sur la
gomtrie des rugosits est essentielle au calcul direct des coefcients, en particulier des fonctions de
saturation
i
dnies par lquation (1.2).
7. Formulation du problme homognis dans les coordonnes initiales. Les tapes prcdentes ont t rali-
ses dans les coordonnes associes aux directions des rugosits. On se ramne alors aux coordonnes
initiales, do linuence de langle de rotation dans lexpression des matrices homognises.
Thorme 1.2 Le problme (P

) admet une solution dite isotrope, i. e. une solution (p,


1
,
2
) telle que
1
=
2
.
Ide de la preuve. La dmonstration de lexistence dune solution isotrope repose sur lhomognisation
dun problme pnalis, dans lequel on substitue la fonction de saturation une approximation du graphe
de Heaviside H

(p) := min(0, max(p/, 1)). Ds lors, on procde lhomognisation du problme pnalis


avec coefcients oscillants, puis au passage la limite sur . Lintrt de cette procdure rside dans le fait
que lisotropie de la pseudo-saturation H

(p

) est conserve lors de la phase dhomognisation.


Remarque 1.2 La question de lunicit dune solution isotrope pour le problme homognis est ouverte : en effet, la
mthode de ddoublement de variable exploite grandement la direction privilgie de lcoulement et ne permet pas, de
manire immdiate, de conclure positivement. De mme pour la question de lunicit dans le cas gnral. En revanche,
dans le cas = k/2, k N, le problme homognis admet une structure mathmatique dpourvue dambiguit : il
est similaire au problme initial. En particulier, le problme admet une unique solution.
Notons que cette tude peut tre gnralise an de prendre en compte dautres phnomnes non li-
naires, tels que la dformation lastique des surfaces qui connent lcoulement (loi de contact de Hertz) et
la pizoviscosit du uide (loi de Barus), ce qui rend le problme non-local [4], i. e.
h := h
0
(x, x/) +
_

k(x, z) p(z) dz, :=


0
e
p
;
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
1.1. Inuence des rugosits dans des coulements minces cavits L 13
ici h
0
reprsente la contribution rigide de lespacement entre les surfaces, k est la fonction noyau de
Hertz qui dpend du type de contact considr et qui vise pondrer les effets de forte pression sur la
dformation lastique des surfaces et 0 est le paramtre de pizoviscosit. Lintrt supplmentaire de
cette tude rside galement dans le calcul direct de la solution avec un faible nombre de rugosits : dans le cas
de lutilisation dalgorithmes bass sur des mthodes multi-grille en mcanique, mme avec un nombre li-
mit de rugosits, le calcul sur la grille grossire de lalgorithme ncessite lutilisation dun modle quivalent
(homognis, dun point de vue mathmatique) an de rsoudre efcacement le problme direct, mme si le
calcul de la solution homognise nest pas pertinent sur la grille ne.
1.1.3 Rsultats numriques
An de dterminer numriquement la solution du modle dElrod-Adams, il existe essentiellement deux
mthodes dont les proprits mathmatiques ont t tablies (dautres procdures de calcul sont parfois
utilises en mcanique, mais leur adquation avec le modle continu nest tablie que par une validation
numrique) : une premire approche est base sur une adaptation des travaux de Alt [Alt79] et Marini &
Pietra [MP86], dans le cadre dcoulements en milieu poreux. La mthode est base sur une reformulation
du problme qui consiste dnir une nouvelle inconnue v := p + (qui concentre toutes les informations
en pression-saturation), puis rsoudre itrativement, par une procdure de point xe, le systme non-
linaire rsultant de la discrtisation lments nis. Une deuxime approche a t dtermine par Bayada,
Chambat & Vzquez [BCV98]. Cette mthode est base sur le couplage entre une mthode des caractristiques
et lalgorithme de Bermdez-Moreno [BM81], par lintroduction dune dpendance articielle en temps : la
solution stationnaire est alors dtermine aprs convergence en temps de lalgorithme. Chaque tape en temps
consiste rsoudre un problme non-linaire qui entre dans le cadre de rsolution propos par Bermdez et
Moreno : lalgorithme de pnalisation-dualit, bas sur les proprits des oprateurs maximaux monotones
et de leur rgularise dYosida, permet, par un processus itratif rsolvant une suite de problmes linaires,
de construire simultanment la solution en pression-saturation du problme discrtis (au sens des lments
nis) chaque pas de temps.
La simulation numrique prsente dans ce mmoire correspond un jeu de donnes raliste du point de
vue des applications en lubrication hydrodynamique (voir [2] ou la Fig. 1.2 non publie). Elle a t ralise
avec lalgorithme de couplage entre la mthode des caractristiques et lalgorithme de Bermdez-Moreno, en
contribuant au dveloppement dun code de calculs dvelopp en Fortran 90
10
.
i.


0
2
4
6
8
10
12
14
16
x 10
5


0
2
4
6
8
10
12
14
16
x 10
5


0
2
4
6
8
10
12
14
16
x 10
5
ii.


0.5
0.55
0.6
0.65
0.7
0.75
0.8
0.85
0.9
0.95
1


0.5
0.55
0.6
0.65
0.7
0.75
0.8
0.85
0.9
0.95
1


0.65
0.7
0.75
0.8
0.85
0.9
0.95
1
Figure 1.2 Simulation numrique avec un jeu de donnes raliste (coussinet rainure circonfrentielle) : distribution en i. pression
ii. saturation pour
1
dfauts de surfaces (rugosits transverses,
1
= 15, 30, +) coussinet de longueur L = 19 mm, de rayon
moyen R
m
= 16.4850 mm, de jeu radial c = 0.0275 mm, de vitesse de cisaillement s = 17.25 m.s
1
, de viscosit = 0.02 Pas et
une pression dalimentation p = 2.83 10
5
Pa.
10. Code SOLEA : https://www.projet-plume.org/relier/solea
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
14 Chapitre 1. Modlisation, analyse et calcul appliqus la mcanique des lms minces
1.2 Formation de la cavitation en lubrification hydrodynamique
La modlisation de la cavitation elle-mme est un sujet de dbat intense en lubrication. Le modle
dElrod-Adams est conservatif, ce qui lui confre une grande popularit, mais de nombreuses questions
restent ouvertes : le modle ne dcrit pas la structure liquide-gaz dans la zone cavite puisquil ne rend
compte que dune proportion locale moyenne de lubriant liquide sans hypothse de localisation des deux
phases. Par ailleurs, la question de la dynamique dapparition des zones cavites est importante car cela
permet de localiser en temps et en espace les endommagements ventuels des mcanismes. Ainsi, dans ce
travail, on sintresse la version instationnaire du modle dElrod-Adams :

t
(h) div
_
h
3
p
_
= div (h s) , p 0, H(p) 1. (1.5)
Le but principal de ce travail [7] a t de dcrire rigoureusement comment le comportement de la pression
et de la saturation dpend du comportement de la hauteur (t, x) h(t, x) entre les surfaces. En particulier,
notre connaissance, nous avons exhib pour la premire fois des conditions simples pour lesquelles nous
dmontrons lapparition instantane dune rgion cavite (mme si lcoulement est initialement satur uni-
formment). Des simulations numriques conrment les rsultats et permettent de conjecturer des proprits
similaires pour des formulations plus sophistiques.
1.2.1 Conditions sufsantes dapparition ou de disparition de la cavitation
Bien que les techniques exposes dans cette synthse puissent tre appliques dans un cadre plus gnral,
pour xer les ides nous nous restreignons au cas dun domaine rectangulaire =]0, L
1
[]0, L
2
[ de frontires

0
= L
1
]0, L
2
[ et
+
=
0
. En introduisant un temps T > 0, nous notons Q
T
= (0, T) . An
dtablir une formulation simple, nous supposons que lcoulement est soumis un cisaillement de vitesse
uniforme s = (s, 0) de sorte que la formulation dElrod-Adams est associe lEDP suivante :

t
(h) div(h
3
p) = s
x
1
( h) , p 0, H(p) 1
Nous nous donnons une condition initiale correspondant une situation totalement sature (soit p(0, ) =
p
0
0 dune part et (0, ) 1 dautre part) ainsi que des conditions aux limites. Pour simplier la formula-
tion, nous supposons quil existe un relvement rgulier, que lon note p

: R
+
, tel que p

[
0
= 0 et on
impose alors la condition au bord :
p
[(0,T)
= p

[
M.
Dans ce contexte, il existe un principe de comparaison
11
qui peut tre tabli par une technique base sur des
oprateurs croissants au sens de la norme L
1
[D 91] ou par une technique de ddoublement de variables
[AC94, AO03] initie par Krukov [Kru70]. Notons que ce rsultat non trivial est tabli dans le cas de condi-
tions aux limites ralistes (alimentation axiale ou circonfrentielle). Larticle [7] complte les rsultats de
propagation obtenus par Carrillo, Daz & Gilardi [CDG93] concernant le cas particulier (et dintrt limit en
lubrication) o h est constant, en soulignant comment le signe de la combinaison
t
h + s
x
1
h joue un rle
crucial dans la formation et la propagation dune rgion cavite (au sein de laquelle p = 0 et < 1).
Thorme 1.3 Supposons quil existe > 0 tel que
D
t
h :=
t
h + s
x
1
h , sur Q
T
. (1.6)
Supposons que M soit infrieure une constante qui ne dpend que des donnes du problme (les dimensions du domaine
L
1
et L
2
, la hauteur h, la constante dnie ci-dessus) et soit L L(h, M) une constante qui ne dpend que de h et M.
Alors p(t, x) = 0 pour t ]0, T] et p.p. x tel que d(x,
+
) L. De plus, (t, x) < 1 pour tout t ]0, s
1
(x
1
L)]
et p.p. x tel que d(x,
+
) > L.
Remarque 1.3 Le rsultat ci-dessus illustre comment la condition portant sur la drive totale de h permet la cavita-
tion de se former instantanment ; cette proprit est supposment vrie sous des conditions plus gnrales, comme
le montrent les rsultats numriques. Cela signie quil nexiste pas de temps de relaxation entre linstant initial et lap-
parition dune frontire libre. Ce comportement est diffrent de celui observ pour des problmes paraboliques dgnrs
[ADS02], notamment lquation
t
u ([u[
m1
u) +[u[
1
u = 0, avec (0, 1), m 1 et m + < 2.
11. Dans cette note, nous rappelons les notions de sur- et sous-solution, ainsi que lnonc du principe de comparaison :
Dnition 1.2 (Notions de sous-solution et sur-solution) On dit que (p, ) est une sous-solution (resp. sur-solution) si elle vrie :
i. p 0, H(p) 1 ;
ii. p
[
p

[
(resp. p
[
p

[
) ;
iii. (p, )(0, ) (p
0
;
0
) (resp. (p, )(0, ) (p
0
;
0
)) ;
iv.
t
(h) +div(hs h
3
p) 0 (resp.
t
(h) +div(hs h
3
p) 0) ;
Lemme 1.1 (Principe de comparaison) Soit (p, ) (resp. (p, )) une sur-solution (resp. sous-solution). Alors, p p et .
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
1.2. Formation de la cavitation en lubrication hydrodynamique 15
La preuve du Thorme 1.3 est base sur la construction dune sur-solution, en dcomposant lEDP en
[h D
t
+ D
t
h] +
_
div(h
3
p) + (1 ) D
t
h

= 0,
avec (0, 1). En adaptant les rsultats de Daz [D

85], on construit une sur-solution (p, 1), o p est lunique


solution dune famille de problmes stationnaires bien choisis. Notons que la drive totale de h apparat
explicitement dans la dcomposition de lEDP et le contrle du signe de D
t
h apparat alors naturellement
dans la construction dune sur-solution. Dans un deuxime temps, on afne le rsultat prcdent en travaillant
sur la fonction de saturation : on construit une fonction telle que (p, ) est une sur-solution et telle que
(t, x
0
) < 1 pour tout t ]0, s
1
(x
0
1
L)]. Le principe de comparaison permet alors de conclure la preuve.
La seconde proprit que nous avons dmontre concerne la prservation des zones satures : si D
t
h 0
sur Q
T
, alors on assure la conservation des zones satures. Mathmatiquement, ce rsultat est moins intres-
sant que le prcdent car il rsulte dune proprit de lquation de Reynolds instationnaire (sans cavitation)
laquelle on applique un principe du maximum fort. Nanmoins, ce rsultat est un contre-point du prcdent.
1.2.2 Rsultats numriques
Illustrons les rsultats thoriques qui viennent dtre dcrits. Nous avons adapt le code de calculs men-
tionn prcdemment, dvelopp en Fortran 90
12
, an den tablir une version instationnaire. La Fig. 1.3,
publie dans [7], correspond un coulement renormalis au sein duquel la contrainte (1.6) est vrie : les
isovaleurs de la pression (en particulier la zone [p = 0]) indique que la cavitation apparat instantanment
entre linstant initial et un instant dni par un pas de temps sous leffet de la contrainte (1.6), puis elle tend
disparatre en raison de linuence des conditions aux limites en pression. Numriquement, un rafnement
du pas de temps aboutit aux mmes observations : il nexiste pas de temps de relaxation entre la naissance
de la cavitation et linititalisation. De manire similaire, la prservation de zones satures peut tre illustre :
en partant dune conguration totalement sature, lorsque la condition D
t
h 0 est vrie, on peut alors
observer la persistance uniforme des zones totalement satures, mme dans la partie divergente (en espace)
du dispositif qui est pourtant favorable lapparition de la cavitation en rgime stationnaire.
Pour des coulements quelconques, mme si une condition de signe sur D
t
h nest pas vrie uniform-
ment dans tout le domaine, le comportement local de la solution dpend fortement de la contrainte locale
de drive totale de h. Ceci est illustr par la Fig. 1.4 (non publie) en considrant une hauteur station-
naire (en temps) au prol convergent-divergent (en espace), avec des conditions aux limites associes un
palier alimentation axiale : dans ce cas, la cavitation apparat instantanment dans la partie divergente
(D
t
h = s
x
1
h > 0) tandis que la zone sature est prserve dans la partie convergente (D
t
h = s
x
1
h < 0).
1) 0
0.05
0.1
0.15
0.2
0.25
0.3
0.35
0.4
0.45
2) 0
0.05
0.1
0.15
0.2
0.25
0.3
0.35
0.4
0.45
3) 0
0.05
0.1
0.15
0.2
0.25
0.3
0.35
0.4
0.45
4) 0
0.05
0.1
0.15
0.2
0.25
0.3
0.35
0.4
0.45
5) 0
0.05
0.1
0.15
0.2
0.25
0.3
0.35
0.4
0.45
6) 0
0.05
0.1
0.15
0.2
0.25
0.3
0.35
0.4
0.45
Figure 1.3 Distribution en pression p diffrents instants, dans un dispositif vriant la condition (1.6) favorable la cavitation :
1) situation initiale compltement sature ; 2) apparition instantane dune zone cavite [p = 0], suivie dune disparition progressive
de la zone cavite sous linuence de lalimentation (contrle par les conditions aux limites), de 3) 6).
12. Code SOLEA : https://www.projet-plume.org/relier/solea
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
16 Chapitre 1. Modlisation, analyse et calcul appliqus la mcanique des lms minces
i. 1) 0
0.1
0.2
0.3
0.4
0.5
0.6
2) 0
0.1
0.2
0.3
0.4
0.5
0.6
3) 0
0.1
0.2
0.3
0.4
0.5
0.6
ii. 1)
0.7
0.75
0.8
0.85
0.9
0.95
2)
0.7
0.75
0.8
0.85
0.9
0.95
3)
0.7
0.75
0.8
0.85
0.9
0.95
Figure 1.4 Distribution en i. pression et ii. saturation dans le dispositif, diffrents instants partir dune situation initiale
totalement sature (et non reprsente) : dveloppement simultan dune zone sature dans la partie convergente de lcoulement
(partie gauche du dispositif) et dune zone cavite sous leffet du cisaillement dans la partie divergente de lcoulement (partie droite
du dispositif). En particulier, la zone cavite qui est instantanment apparue, voir ii. 1), se renforce au cours du temps : la zone
[ < 1] sest propage et la proportion locale de lubriant liquide dans la zone cavite (partie droite du dispositif) a diminu.
1.3 Fluides visco-lastiques en lubrification
Dans cette section, nous prsentons des rsultats concernant le comportement des uides visco-lastiques
dans des domaines minces. La prise en compte de ces modles en lubrication est justie par lemploi gn-
ralis dadditifs dans les lubriants, an de garantir leurs performances dans des gammes de fonctionnement
cibles ou largies. Ces additifs entranent une modication importante de la rhologie des lubriants, qui
deviennent non-newtoniens et, dans le cas de lubriants pteux, visco-lastiques.
1.3.1 Fluides non-newtoniens et lhypothse de lm mince
Le modle dOldroyd permet de prendre en compte des effets dlasticit dans lcoulement dun uide.
Dans les modles proposs, il est dusage de rpartir la contrainte en une partie visqueuse pondre par 1 r
o r est un paramtre rel dans [0, 1], et une partie lastique (qui sannule lorsque r = 0). Dans ce contexte,
nous considrons des coulements modliss par les quations de Navier-Stokes et Oldroyd, pour lequel la
vitesse U et la pression p, exprimes en grandeurs et variables sans dimension, vrient
Re

t
U+ U U
_
(1 r)U+p div
el.
= 0, (1.7)
div U = 0, (1.8)
o Re

dsigne le nombre de Reynolds, r [0, 1] est un paramtre de relaxation et


el.
est le tenseur de
contrainte lastique. Ces quations sont compltes par une quation diffrentielle de fermeture :
We

el.
+U
el.
+ g
a
(U,
el.
)
_
+ f (
el.
)
el.
= 2rD(U). (1.9)
o We

est le nombre de Weissenberg li un temps de relaxation qui caractrise llasticit du uide. Ici
D(U) dsigne la partie symtrique du gradient de vitesse. La fonction g
a
, 1 a 1, est une application
bilinaire relie la drive totale, dans laquelle le paramtre a, sans dimension, interpole une famille de
modles se situant entre le modle drive sur-convecte (a = 1) et sous-convecte (a = 1), le cas a = 0
dsignant le modle corotationnel. Le cas f 1 dnit le modle dOldroyd tandis que le modle de Phan-
Thien & Tanner, physiquement plus raliste, prend en compte une non-linarit supplmentaire :
f (
el.
) = 1 + We

tr(
el.
), (1.10)
o K

est un nombre dcrivant le comportement longationnel du uide. Ces modles ont eu beaucoup de
succs ces 50 dernires annes puisque ce sont les modles les plus simples de uide visco-lastique. Malgr
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
1.3. Fluides visco-lastiques en lubrication 17
tout, les non-linarits issues du terme g
a
font de ce modle un vritable casse-tte mathmatique. Le lecteur
intress par ces aspects pourra consulter en particulier [Ren85, GS90a, LM00, MT04].
Dans les articles [8, 9], nous avons tudi lasymptotique lm mince pour des coulements dcrits
par le modle dOldroyd. Cette tude est motive par la ncessit dutiliser des modles rduits en raison de
la forte anisotropie de lcoulement dans les rgimes lubris et des non-linarits induites par le modle :
de cette double difcult rsultent la difcult de simuler des coulements partir du modle 3D dans la
gomtrie relle et la ncessit de justier des modles rduits permettant des calculs un cot raisonnable.
Dans le contexte des coulements lubris non-newtoniens, de nombreux travaux existent en mcanique :
Fluides quasi-newtoniens. Dans la plupart des travaux, lingrdient essentiel repose sur le choix dune
loi de comportement quasi-newtonienne reliant la viscosit effective du uide et le taux de cisaillement.
Pour des coulements 3D, les modles de Carreau-Yasuda constituent une classe gnrale de lois :

eff.
( ) =
2
+

1

2
(1 + (b )
c
)
1n
c
.
Les valeurs des paramtres sont souvent obtenues par ajustement de donnes exprimentales. Par
ailleurs, certaines valeurs de ces paramtres permettent dobtenir une quation de Reynolds 1D dans le
contexte de la lubrication (modle dEllis :
2
= 0, c = 1 n dans [Bai06], modle de Rabinowitsch
deux plateaux : c = 2, n = 1 dans [BK05], modle de Ferry deux plateaux : c = 1, n = 0 dans
[BK05], modle de Carreau approch un plateau :
2
= 0, c = 2 dans [BK06], modle de Rabinowitsch
un plateau dans [Lin01]), ou 2D avec le modle de Rabinowitsch un plateau [Bai02]. La justication
dune quation de Reynolds gnralise est particulirement intressante car elle permet de limiter les
cots de calcul. Ainsi, des quations de Reynolds 2D ont t proposes dans [EDT98] et [Hoo00].
Fluides visco-lastiques. Pour des lois diffrentielles dcrivant la visco-lasticit du uide, Tichy [Tic96]
et Bellout & Talay Akyildiz [BTA04], ont propos des modles en lms minces partir de lois de type
Oldroyd ou Phan Thien & Tanner, mais uniquement pour lapproximation 2D-1D et dans le cas dgnr
a = 1 et r = 1 qui aboutit des dimensionnements diffrents de celui que nous avons propos.
Incidemment, nous verrons par la suite que le modle asymptotique que nous avons obtenu partir
dun coulement dOldroyd correspond un modle de Rabinowitsch deux plateaux, caractris par un
comportement rhouidiant (qui est leffet prdominant confr au lubriant par les additifs).
1.3.2 Approximation lm mince pour les modles dOldroyd et Phan-Thien & Tanner
Modle dOldroyd, voir [8]
Considrons un coulement visco-lastique dans un domaine

que lon suppose mince ( 1, voir la


Fig. 1.1 en introduction de ce chapitre), et notons ([u

, v

], p

) les caractristiques de lcoulement associ


cette gomtrie. En conservant un dimensionnement identique au cas newtonien en vitesse-pression, soit
u

(x, z) u
_
x,
z

_
, v

(x, z) v
_
x,
z

_
, p

(x, z)
p(x)

2
,
et pour un dimensionnement des nombres sans dimension prservant les effets non-newtoniens, soit
(Re

, We

, K

) = (Re, We, K), nous avons dtermin lordre principal des quations (1.7)(1.9), soit :

z
(
eff.
[
z
u]
z
u) +
x
p = 0, div
x
_
_
h(x)
0
u(x, z) d z
_
= 0, (1.11)
dans le domaine 3D renormalis

= (x, z) R
3
; x R
2
, 0 < z < h(x), o h dsigne la hauteur
normalise entre les surfaces ; la loi de viscosit (relative) effective non-linaire vrie :

(1)
eff.
[
z
u] := 1 r +
r
1 + (1 a
2
)We
2
|
z
u|
2
. (1.12)
Par ailleurs, toutes les autres composantes du tenseur de contraintes et du champ de vitesses peuvent tre
dduites directement de lquation (1.11). titre de comparaison, le cas newtonien se rduit
eff.
1 ce
qui, par intgration en z et prise en compte des conditions aux limites, permet de retrouver lquation de
Reynolds. cet gard, notons que, dans le cas visco-lastique et contrairement au cas newtonien, il nest pas
possible de rcuprer une quation de Reynolds explicite dans laquelle la pression pourrait tre dtermine
indpendamment de la vitesse. Bien que le modle asymptotique soit beaucoup plus simple que le modle
initial, la rduction de dimension nest pas complte et le modle asymptotique reste essentiellement 3D.
Notons enn que le modle asymptotique rvle une loi de comportement quasi-newtonienne de type Rabino-
witsch deux plateaux, telle que cela a t prsent prcdemment. En particulier, leffet rhouidiant que
nous dcrivons dans le rgime asymptotique est issu dun modle visco-lastique. La justication rigoureuse
de cette asymptotique a t dmontre a posteriori pour le modle corotationnel, soit a = 0, dans [BCG09].
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
18 Chapitre 1. Modlisation, analyse et calcul appliqus la mcanique des lms minces
Modle de Phan-Thien & Tanner, voir [9]
Le dimensionnement utilis pour obtenir lquation (1.11) est li un nombre longationnel K

dont
lordre de grandeur est O(), o est lpaisseur du lm mince. Dans ce cas, ce paramtre longationnel
nintervient pas dans le modle asymptotique. En revanche, si K = O(1) (i. e. K

= K) mais sufsamment
petit, par une mthode de perturbation, il est possible dobtenir un problme limite avec longation :

(2)
eff.
[
z
u] :=
(1)
eff.
[
z
u] 2Ka r
2
We
2
|
z
u|
2
1 We
2
(1 a
2
) |
z
u|
2
_
1 + We
2
(1 a
2
) |
z
u|
2
_
3
. (1.13)
Analyse mathmatique
Lquation (1.11) doit tre complte par des conditions aux limites ralistes du point de vue des m-
canismes utiliss en lubrication : conditions en pression ou en dbit, comme cela a t discut dans [8]
(article qui inclut une tude mathmatique extensive sur la prise en compte de ces conditions aux limites). En
ngligeant ces aspects, le caractre bien pos du problme est directement reli la monotonie de loprateur
A
(i)
:= u
z
_

(i)
eff.
[
z
u]
z
u
_
, i 1, 2.
En particulier, dans le cas du modle dOldroyd,
A
(1)
est strictement monotone pour r < 8/9, de sorte que le problme est bien pos ;
A
(1)
nest pas monotone r > 8/9, de sorte que le problme est mal pos ;
A
(1)
est monotone pour r = 8/9 mais la monotonie nest pas stricte, ce qui aboutit des rsultats de
non-unicit, bien que lexistence de solutions soit garantie.
La valeur critique r = 8/9 nest pas surprenante, puisquelle joue un rle crucial dans le systme initial sans
hypothse de lm mince [GS90b]. Mais dans le cas de la correction de Phan-Thien & Tanner, on aboutit une
relaxation de la condition portant sur le caractre bien pos du problme limite : on peut en effet trouver des valeurs
r > 8/9 pour lesquelles A
(2)
est strictement monotone, pour un choix adapt de paramtres (par exemple
r = 0.91 avec a = 0.8, We = 0.72, K = 0.82). Soulignons galement que A
(i)
drive dune fonctionnelle
(i)
:

(1)
(u) :=
1
2
(1 r)
_

_
|
z
u|
2
_
+
r
2 (1 a
2
) We
2
_

_
ln
_
1 + (1 a
2
)We
2
|
z
u|
2
__
,

(2)
(u) :=
(1)
(u)
Ka r
2
(1 a
2
)
2
We
2
_

_
_
1 + (1 a
2
)We
2
|
z
u|
2
_
2
3
_
1 + (1 a
2
)We
2
|
z
u|
2
_
1
ln
_
1 + (1 a
2
)We
2
|
z
u|
2
__
.
En consquence, le caractre bien pos du problme limite dpend de la convexit de la fonctionnelle associe.
Notons que lexistence dune telle fonctionnelle na pas encore t tablie pour les modles dOldroyd et
Phan-Thien & Tanner, sans hypothse de lm mince : cela reste un problme ouvert, rput trs difcile.
1.3.3 Mthode de rsolution
La mthode de calcul de la solution est base sur une procdure de type point-xe, prsente dans [8],
aboutissant lcriture dun code de calculs dvelopp en Fortran 90
13
. Lide consiste considrer que
linconnue en vitesse-pression (u, p) peut tre calcule comme la limite, lorsque n tend vers linni, dune
suite (u
n
, p
n
) solution de

z
_

(i)
eff.
[
z
u
n1
]
z
u
n
_
+p
n
= 0, div
x
_
_
h
0
u
n
(, z) dz
_
= 0. (1.14)
Autrement dit, chaque tape, (u
n
, p
n
) est la solution dun problme de type newtonien. An de rsoudre
lquation (1.14), une semi-discrtisation dans la direction x est introduite : en dnissant une grille structure,
on note h
ij
la valeur approche de h au noeud (i, j), U(z) =
_
u
ij
(z)
_
la vitesse horizontale semi-discrtise et
P =
_
p
ij
_
la pression discrtise. Soit A (resp. B) la discrtisation en x de loprateur (resp. div) et soit
_

HU
_
ij
:=
_
h
ij
0
u
ij
(z) dz.
13. Code ELVIS : https://www.projet-plume.org/relier/elvis
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
1.4. Inuence de rugosits sur lapproximation de Reynolds 19
La procdure de calcul est alors la suivante :
U
n,0
= U
n
, P
n,0
= P
n
,

z
_

eff.
(
z
U
n
)
z
U
n,k+1
_
+ A P
n,k
= 0,
P
n,k+1
P
n,k
+ B
_

HU
n,k+1
_
= 0,
U
n+1
= U
n,
, P
n+1
= P
n,
.
Le problme interne est linaire : le calcul de la pression p
n,k+1
est explicite tandis que le calcul de la vitesse
U
n,k+1
est obtenu en rsolvant un systme diffrentiel en z ou, de manire quivalente, en rsolvant un
systme linaire aprs discrtisation dans la direction z.
Les rsultats prsents sur la Fig. 1.5 ont t raliss pour un coulement mince de type Oldroyd, avec un
paramtre de retard r = 0.8 et un nombre de Weissenberg We = 1.3 et dans le cas dun prol de hauteur
linairement convergent, avec des conditions aux limites de Dirichlet homognes. Dans le cas newtonien, la
viscosit du uide est uniformment gale 1 ; dans le modle dOldroyd, les gradients de vitesse entranent
une non-uniformit de la viscosit effective, qui varie entre 1 r et 1.
La Fig. 1.6 reprsente la distribution en pression dans les cas newtonien r = 0 et non-newtonien (r = 0.2,
0.5, 0.7). La gomtrie de lcoulement est un prol convergent-divergent avec un ux impos en entre
du mcanisme ; les dimensions du mcanisme que nous avons dni sont telles que le rapport entre les
dimensions du dispositif (largeur-longueur) est gal 5 : cela nous place dans les conditions de validit
de lapproximation du palier inniment long, couramment utilise en mcanique. Dans le cas newtonien,
loin des bords latraux, lapproximation est valide et permet lutilisation dun modle rduit 1D, au lieu du
modle 3D initial. Dans le cas non-newtonien, les rsultats numriques suggrent quune telle approximation
nest plus valide lorsque le paramtre de retard devient trop important : bien que des modles 1D soient
construits en mcanique par analogie avec le cadre dtude newtonien, les proprits lastiques du uide
invalident compltement lapproximation 1D.
1.4 Influence des rugosits de faible amplitude et de haute frquence sur
lapproximation de Reynolds
De nombreux tudes ont t consacres leffet des rugosits sur des coulements newtoniens. Depuis
les travaux de Navier [Nav27] en 1827 sur les lois de parois, de nombreux auteurs ont tabli des rsultats
mathmatiques dans cette direction (voir en particulier [JM01, ABLS01, AS96, BM10] pour des rugosits p-
riodiques, [GV09] pour des rugosits plus gnrales). Dans le contexte de la lubrication, les irrgularits de
surface sont gnralement le fruit de lusinage des pices et sont souvent non ngligeables dans la dnition
des caractristiques des mcanismes. Certains auteurs [BCC05] ont tudi limportance de rugosits dont la
taille est au moins dordre comparable la hauteur du lm mince ; dautres auteurs [BCC
+
10] ont considr
une taille de rugosits suppose petite par rapport lpaisseur du lm mince (ce sera le cas galement du
travail prsent dans cette section) mais ils dmontrent un rsultat de convergence dans un domaine renor-
malis focalis sur la rugosit. Rcemment, dans [CDLLSG10], Casado-Daz et ses co-auteurs ont propos une
tude gnrale (en termes dordres de magnitude pour la rugosit et lpaisseur du lm), mais leur approche
est entirement axe sur les lois de parois, ce qui nest pas le point de vue adopt dans notre travail [10]. En
effet, dans le cadre des hypothses qui vont tre prcises plus loin, nous ne nous sommes pas limits une
approche de type loi de paroi qui amliore lapproximation dordre 0, mais nous avons dcrit tout ordre les
perturbations induites par les rugosits sur lcoulement (et lapproximation de Reynolds en particulier).
Nous avons tudi dans [10] linuence des rugosits sur lapproximation de Reynolds en considrant le
cas dcoulements dans des domaines minces (dpaisseur ) dont le bord infrieur est rugueux (avec des
rugosits priodiques, de frquence et damplitude dordre
2
). Le domaine de lcoulement est le suivant :

(t) =
_
(x, z) T
d
R ,
2
h

_
x st

2
_
< z < h
+
(x)
_
,
o h
+
et h

sont deux fonctions rgulires de T


d
dans ]0, 1[. Les quations de Stokes que nous considrons
ici couplent le champ des vitesses (u

, v

) et le champ de pression p

:
_

x
u

z
u

+
x
p

= 0, dans

(t),

x
v

z
v

+
z
p

= 0, dans

(t),
div
x
u

+
z
v

= 0, dans

(t),
(u

, v

) = (0, 0), sur


+

(t),
(u

, v

) = (s, 0), sur

(t).
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
20 Chapitre 1. Modlisation, analyse et calcul appliqus la mcanique des lms minces
i.
0
0.5
1
0
0.5
1
0
0.5
1
1.5
2
x
1
x
2
p
(
x
)
ii.
0
0.5
1
0
0.5
1
0
0.5
1


0.55
0.6
0.65
0.7
0.75
0.8
0.85
0.9
0.95
z
/
h
(
x
)
x
1
x
2
iii.
0
0.5
1
0
0.5
1
0
0.5
1


1.8
1.6
1.4
1.2
1
0.8
0.6
0.4
0.2
z
/
h
(
x
)
x
1
x
2
iv.
0
0.5
1
0
0.5
1
0
0.5
1


5
4
3
2
1
0
z
/
h
(
x
)
x
1
x
2
Figure 1.5 coulement visco-lastique dans un prol linairement convergent avec r = 0.8, We = 1.3 et a = 0.8 : i) distribution en
pression x p(x), ii) en viscosit effective (x, z)
eff.
(x, z), iii) contraintes lastiques (x, z) (
11

33
)(x, z) et iv) (x, z)

13
(x, z).
i.
0
0.5
1
0
0.5
1
0.6
0.4
0.2
0
0.2
x
1
x
2
p
(
x
1
,
x
2
)
ii.
0
0.5
1
0
0.5
1
0.4
0.2
0
0.2
x
1
x
2
p
(
x
1
,
x
2
)
iii.
0
0.5
1
0
0.5
1
0.3
0.2
0.1
0
0.1
x
1
x
2
p
(
x
1
,
x
2
)
iv.
0
0.5
1
0
0.5
1
0.2
0.1
0
x
1
x
2
p
(
x
1
,
x
2
)
Figure 1.6 Distribution en pression dans un coulement mince visco-lastique de type Oldroyd pour un prol convergent-
divergent : cas newtonien i. r = 0.0 et non newtonien ii. r = 0.2, iii. r = 0.5 et iv. r = 0.7.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
1.4. Inuence de rugosits sur lapproximation de Reynolds 21
Comme indiqu dans lintroduction de ce mmoire, il est bien connu (voir [BC86] ou plus rcemment [Wil09])
que la solution de ce systme de Stokes dans un domaine mince avec un fond plat h

= 0 est approche,
lordre principal, laide de la solution de lquation de Reynolds. La question naturelle est de savoir ce quil
advient du dveloppement asymptotique lorsquon prend en compte des effets de rugosits de ce type.
1.4.1 Dveloppement formel
Lide principale est de voir le cas rugueux comme une perturbation du cas lisse . Il est alors naturel
de dcomposer le domaine en

=
+

avec

=
_
(x, z) T
d
R, 0 < z < h
+
(x)
_
,

(t) =
_
(x, z) T
d
R,
2
h

_
x st

2
_
< z < 0
_
.
Ainsi, si (u
0
, v
0
, p
0
) correspond au cas sans rugosits, dni dans
+

, la premire ide est de prolonger cette


solution dans

. Pour vrier la condition de continuit de la contrainte dans le uide, le prolongement


de la vitesse doit tre de classe C
1
; la solution en vitesse du problme de Reynolds tant polynomiale en
la variable transverse, son extension vrie galement le systme de Reynolds dans

. En revanche, si u
0
vaut s sur le bord de
+

(i. e. en z = 0), alors la condition aux limites de non-glissement nest plus vrie
sur le bord infrieur de

(i. e. en z =
2
h

((x st)/
2
)). On doit donc rajouter u
0
un correcteur u
1
qui
a pour rle de contrebalancer cette valeur au bord dfectueuse
14
. On saperoit que u
1
(qui est pertinent
prs du bord) induit une perturbation dordre sur lautre bord du domaine physique z = h
+
(x). Cette
dernire est alors corrige par u
1
qui vrie une quation de type Reynolds. On itre alors cette procdure,
en diminuant successivement lerreur. Ainsi, introduisons les coordonnes adaptes cette description :
( x, z) =
_
x,
z

_
, (X, Y) =
_
x

2
,
z

2
_
, T =
t

2
.
ainsi que les domaines normaliss (lm mince usuel dune part, et couche limite dautre part)
:=
_
( x, z) T
d
R, 0 < z < h
+
( x)
_
,
bl
(T) =
_
(X, Y) T
d
R, h

(X sT) < Y
_
.
Lcoulement est principalement gouvern par un coulement de Reynolds dans le domaine
+

: il est dcrit
en variables ( x, z) dans le domaine correspondant au domaine
+

aprs remise lchelle. En prsence


de rugosits, les variables (X, Y) dcrivent lcoulement dans la couche limite
bl
correspondant

. On
cherche ensuite une solution (u

, v

, p

) du systme de Stokes sous forme dansatz dni par


u

(x, z, t) =
N

j=0

j
_
u
j
_
x,
z

_
+ u
j+1
_
x,
x st

2
,
z

2
__
+ R
(N)
(x, z, t),
v

(x, z, t) =
N

j=0

j+1
_
v
j
_
x,
z

_
+ v
j+1
_
x,
x st

2
,
z

2
__
+ S
(N)
(x, z, t),
p

(x, z, t) =
N

j=0

j2
_
p
j
_
x,
z

_
+ p
j+1
_
x,
x st

2
,
z

2
__
+ Q
(N)
(x, z, t).
En injectant ce dveloppement dans les quations de Stokes et en regroupant les termes par puissance de ,
on en dduit des systmes vris par les fonctions lmentaires qui ont t introduites : la construction du
dveloppement est base sur lidentication des problmes dont les termes (u
j
, v
j
, p
j
) et ( u
j
, v
j
, p
j
) sont solutions.
La difcult, en dnissant ces problmes par lajustement de constantes choisies a posteriori, consiste mon-
trer que chaque terme du dveloppement existe et que le comportement de la solution vrie des proprits
de dcroissance linni permettant de dnir la correction lordre suivant. Sans entrer dans les dtails, les
termes (u
j
, v
j
, p
j
) sont les solutions de problmes de Reynolds, nots R[j], dnis sur le domaine tandis
que les termes ( u
j
, v
j
, p
j
) sont les solutions de problmes de Stokes, S
bl
[j], dnis sur le domaine
bl
.
Remarque 1.4 Un point essentiel dans la construction de lansatz est le comportement des correcteurs ( u
j
, v
j
, p
j
)
lorsque Y tend vers +. En effet, cest cette limite qui doit tre corrige par la condition aux limites impose au
correcteur suivant, soit (u
j
, v
j
, p
j
). Puisque les correcteurs ( u
j
, w
j
, p
j
) vrient un problme de Stokes linaire, dans un
domaine
bl
priodique en X, on caractrise le comportement des solutions par un dveloppement en srie de Fourier
par rapport la variable X. En particulier, on identie des constantes
j
et
j
telles que | u
j
(, X, Y)
j
| e
Y
et
[ v
j
(, X, Y)
j
[ e
Y
. Ce sont ces valeurs
j
et
j
qui sont corriges par la solution de Reynolds lordre suivant.
14. Certains auteurs choisissent de prolonger u
0
par la constante s dans le domaine rugueux

. Dans ce cas le correcteur u


1
a pour
rle de contrebalancer le saut de contrainte induit sur .
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
22 Chapitre 1. Modlisation, analyse et calcul appliqus la mcanique des lms minces
1.4.2 Justication rigoureuse du dveloppement asymptotique
Le rsidu (R
(N)
, S
(N)
, Q
(N)
) dni dans lansatz vrie un systme de Stokes dni dans le domaine

(t)
et avec des termes source qui sexpriment en fonction de termes calculs au pralable et identis comme des
solutions des problmes de Stokes ou Reynolds. De mme, les conditions aux limites sont dnies partir
des solutions lmentaires que nous avons construites.
La justication rigoureuse du dveloppement consiste tablir des estimations sur le rsidu, an de contr-
ler la qualit de lapproximation lorsque est faible. Pour cela, on se ramne lanalyse dun systme de
Stokes avec conditions aux limites homognes et divergence nulle, laide de deux relvements successifs :
relvement des conditions aux limites ;
relvement de lquation de divergence, partir de la formule de Bogovskii ; en particulier, la dpendance
par rapport de la constante de Bogovskii a t adapte au domaine.
lissue de cette procdure, il est possible de conclure avec des estimations classiques pour des solutions du
problme de Stokes usuel. Notons que le contrle du rsidu est possible car les termes source ont de bonnes
proprits de dcroissance linni et on obtient alors les estimations suivantes :
|(R
(N)
, S
(N)
)|
L
2
(

)

N+1/2
, |Q
(N)
|
L
2
(

)

N1/2
.
Ainsi, quitte choisir N sufsamment grand, la solution (u

, v

, p

) du problme de Stokes peut tre appro-


che par les sommes partielles issues de lansatz, tout ordre.
1.4.3 Discussion sur les interactions multi-chelles
Terminons cette tude par deux cas particuliers illustrant limportance des interactions multi-chelles dans
lanalyse des effets de rugosits en lubrication.
Inuence des rugosits sur lapproximation de Reynolds classique. En labsence de rugosits, le dveloppement
asymptotique est le suivant : seuls les termes des problmes de Reynolds R[2j] interviennent. Autrement
dit, il nest videmment pas ncessaire de dnir des correcteurs de Stokes dans les couches limites mais,
de plus, la moiti des correcteurs de Reynolds prcdemment dnis (les solutions des problmes R[2j + 1])
ne sont plus ncessaires la description de lcoulement. videmment, en prsence de rugosits, ngliger
volontairement les correcteurs issus des problmes S
bl
[j] et R[2j +1] dgrade les estimations ds les premires
corrections.
Inuence de la courbure de la surface suprieure. Par contraste, supposons que h
+
soit constante. Autrement dit,
on tudie linuence des rugosits dans un canal de section constante et de faible paisseur. Pour simplier,
on se limite au cas d = 1 et on note s la vitesse de cisaillement de la paroi infrieure. Alors,
i. La solution (u
0
, v
0
, p
0
) du problme de Reynolds (R[0]) est un coulement de Couette :
u
0
( x, z) = s(h
+
z), v
0
( x, z) = 0, p
0
( x) = 0 ;
ii. soit ( u
1
, v
1
, p
1
) le correcteur de Stokes dans la couche limite, vriant
X,Y
( u
1
, v
1
) +
X,Y
p
1
= 0 et
div
X,Y
( u
1
, v
1
) = 0 dans
bl
, avec la condition au bord ( u
1
, v
1
)
[
bl
= (sh

, 0). Notons que la variable x


ne joue plus le rle de paramtre dans ce problme et on montre que tous les correcteurs aux tapes
suivantes se dnissent simplement par une relation de rcurrence ;
iii. la solution exacte peut tre approche, une erreur en O(e
h
+
/
) prs, par :
u

(x, z, t) = s +
s
s
1
_
u
0
_
x,
z

_
s
_
+

1
s
1
u
1
_
x st

2
,
z

2
_
,
v

(x, z, t) =

1
s
1
v
1
_
x st

2
,
z

2
_
,
p

(x, z, t) =
1

1
s
1
p
1
_
x st

2
,
z

2
_
,
o
1
caractrise la forme de la rugosit :
1
= lim
Y+
_
T
u
1
(X, Y) dX.
Ainsi, la construction dune telle approximation indique que tous les effets de couplage entre les trois chelles
de lcoulement ne sont plus ncessaires la description dune excellente approximation de la solution. Nan-
moins, cette hypothse de simplication mathmatique na quun intrt trs limit en tribologie (un prol
convergent-divergent est en gnral ncessaire pour induire une portance), mettant en lumire limportance
des interactions multi-chelles ( lordre 1, et
2
) induites par les rugosits sur lcoulement mince.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Chapitre 2
Lois de conservation scalaires sur un
domaine born
2.1 coulement bifluide modlis par une quation de Buckley-Leverett non-autonome L . 24
2.1.1 Modle biuide en lubrication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.1.2 quations de Buckley-Leverett et de Reynolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.1.3 Modle biuide et modle dElrod-Adams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 Problme de Cauchy-Dirichlet pour des quations quasilinaires du premier ordre L . . 26
2.2.1 Formulation entropique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.2.2 Existence dune solution entropique et bornes L

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2.3 Unicit de la solution entropique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3 Comportement en temps long de la solution dune loi de conservation scalaire . . . . . 28
2.3.1 Proprits des solutions entropiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3.2 Comportement en temps long de la solution entropique . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3.3 Rsultats numriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.4 Approximation numrique de la solution dune loi de conservation scalaire avec flux
discontinu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.4.1 Formulations du problme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.4.2 Schma numrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.4.3 Convergence du schma aux volumes nis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.4.4 Rsultats numriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
D
ans ce chapitre, nous prsentons quelques rsultats danalyse pour des lois de conservation scalaires sur
un domaine born. Le dveloppement de cette thmatique est directement issu de ltude de la cavita-
tion en lubrication hydrodynamique : le caractre hyperbolique du modle dElrod-Adams et ltude dun
modle biuide en lubrication ont ncessit des dveloppements thoriques et numriques naturels dans
cette direction. Pour cette raison, nous prsentons tout dabord le modle biuide qui a justi ces dvelop-
pements (et qui constitue un pont thmatique entre le Chapitre 1 et le Chapitre 2) ; puis nous dcrivons
les travaux relatifs ltude des lois de conservation scalaires sur un domaine born : caractre bien pos
dans un cadre L

, comportement en temps long, schma numrique pour une loi de conservation avec ux
discontinu en la variable dtat.
Ltude des lois de conservation scalaires a t profondment marque par le travail pionnier de Krukov
[Kru70], dans lequel il dnit les concepts essentiels lanalyse mathmatique du problme dni sur lespace
entier : lentropie et le ux dentropie associ. Sur un domaine born, la comprhension de la condition aux
limites de Dirichlet nest pas aise et doit tre interprte : cette condition ne peut tre, en gnral, vrie
partout, mme si la solution est rgulire. En supposant que la donne initiale est BV et que la donne au
bord est de classe C
2
, Bardos, Le Roux & Ndlec [BlRN79] ont tabli le caractre bien pos du problme
en fournissant par ailleurs une interprtation de la condition aux limites ; ce cadre dtude implique une
rgularit de la solution qui admet une trace au bord. Pour des donnes L

, la difcult repose sur limpos-


sibilit de dnir une notion de trace sur le bord. Nanmoins, la notion de solution entropique a t tendue
(en labsence de terme source et pour un ux autonome) par Otto [Ott96] avec le concept dentropie-ux de
frontire.
Paralllement ces dveloppements thoriques, lapproximation numrique des lois de conservation sur
un domaine born a rencontr un succs croissant, ds lors que le concept de solution valeur mesure,
introduit par Szepessy [Sze91] en suivant le travail de DiPerna [DiP85], a permis plusieurs auteurs dtudier
la convergence de schmas numriques associs au problme continu : convergence dune mthode lments
nis avec diffusion selon les lignes de courant par Szepessy [Sze91], convergence de la mthode des volumes
nis monotone par Cockburn, Coquel & LeFloch [CCL95], convergence des E-schmas par [BCV95]. Pour des
donnes L

, la convergence de la mthode des volumes nis monotone a t dmontre par Vovelle [Vov02].
Si les travaux qui sont synthtiss dans ce chapitre sont motivs par les problmatiques issues de la
lubrication, ils sinscrivent dans le prolongement des travaux mentionns ci-dessus.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
24 Chapitre 2. Lois de conservation scalaires sur un domaine born
2.1 coulement bifluide modlis par une quation de Buckley-Leverett
non-autonome L
Dans larticle [11], nous tentons dtablir un lien entre le modle heuristique dElrod-Adams et une des-
cription biuide de la cavitation. partir dun coulement de Stokes biuide [NPD97], nous reprenons
lasymptotique lm mince tudie par Paoli [Pao03]. Ainsi, un coulement biuide (i. e. dans lequel in-
terviennent deux uides de viscosit

et
g
et de mme densit) en lm mince peut tre dcrit par une
quation de Reynolds dcrivant le comportement de la pression couple une quation de Buckley-Leverett
dcrivant le comportement de la saturation du uide de rfrence. Lobtention de ces quations nest pas
rigoureuse car elle ncessite une hypothse de graphe sur la frontire libre sparant les deux uides. An de
dmontrer le caractre bien pos du systme limite, il est donc ncessaire deffectuer une analyse mathma-
tique rigoureuse de ces quations, ce qui a t omis dans [Pao03] sauf lorsque le cisaillement est nul (ce qui
nest pas raliste pour les rgimes de lubrication). Nous utilisons ce modle an de simuler une coulement
biuide dont les rapports de viscosit sont trs faibles et comparons les rsultats avec ceux issus du modle
dElrod-Adams modlisant les phnomnes de cavitation.
2.1.1 Modle biuide en lubrication
Considrons un domaine mince, typique de la lubrication, dans lequel volue lcoulement. En variables
sans dimension, ce domaine peut tre dcrit sous la forme :

= (x, y) R
2
, 0 x 1, 0 y h(x),
o h dsigne la hauteur normalise qui spare les deux surfaces en regard. On considre galement des condi-
tions aux limites appropries aux rgimes de lubrication (vitesse de cisaillement s sur la partie infrieure du
domaine notamment). De manire analogue cette dmarche permettant de justier lutilisation de lqua-
tion de Reynolds partir du systme de Stokes, Paoli [Pao03] a tudi le comportement de lcoulement en
prsence de deux uides de viscosit diffrente

et
g
. Les quations de Stokes pour un biuide [NPD97]
rgissent lcoulement de deux uides immiscibles de viscosit

,
g
, dcrit par une distribution en vitesse,
pression et viscosit (u

, p

,
g
). partir destimations a priori et dun changement dchelle, le
passage la limite sur permet de capturer le rgime asymptotique correspondant lapproximation du
lm mince [Pao03]. La rduction du problme est la suivante : une quation de Reynolds, qui rgit le com-
portement de la pression, est couple une quation de Buckley-Leverett qui rgit le comportement de la
saturation du uide de rfrence.
2.1.2 quations de Buckley-Leverett et de Reynolds
Nous prsentons les quations obtenues par Paoli [Pao03] dans le cadre de lapproximation du lm
mince partir du modle biuide de Nouri, Poupaud & Demay [NPD97]. Soit Q
T
=]0, T[(0, 1) et

T
=]0, T[(0, 1). La pression (t, x) p(t, x) dans le biuide vrie une quation de Reynolds :

x
_
A((t, x))
h
3
(x)
12

x
p(t, x))
_
=
x
_
B((t, x))
s
2
h(x)
_
, (t, x) Q
T
. (2.1)
Cette quation de Reynolds dpend de la distribution en saturation (t, x) (t, x) du uide de rfrence.
Les fonctions A() et B() dpendent du rapport des viscosits
g
/

. De plus, A(1) = B(1) = 1


de sorte que, pour un monouide, lquation de Reynolds classique est vrie. La saturation de la phase
liquide (t, x) (t, x) vrie une quation de Buckley-Leverett :

t
(h(x)(t, x)) +
x
(Q
in
(t) f ((t, x)) + sh(x)g((t, x))) = 0, (t, x) Q
T
, (2.2)
o Q
in
est le dbit impos. Les fonctions f et g dpendent videmment du rapport des viscosits
g
/

. Dans
tous les cas, le ux partiel f reprsente une contribution classique au ux de Buckley-Leverett couramment
utilis dans le cadre de ltude des milieux poreux : en effet, f (0) = 0, f (1) = 1 et f a un prol en forme de o.
En revanche, le ux partiel g est une contribution non classique, induite par le cisaillement et le prol variable
en espace de la hauteur h. Nanmoins, cette contribution possde galement un prol particulier, puisque
g(0) = g(1) = 0. Cette quation est prise en compte avec les conditions initiales et aux limites suivantes :
(0, ) =
0
, sur (2.3)
= , sur
T
(2.4)
o les conditions aux limites sont dnies au sens de par Bardos, Le Roux & Ndlec [BlRN79]. Notons que

0
et sont des fonctions valeurs dans [0, 1]. On montre alors le rsultat suivant :
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
2.1. coulement biuide modlis par une quation de Buckley-Leverett non-autonome L 25
Thorme 2.1 Pour une condition initiale dans L

((0, 1); [0, 1]) et une condition aux limites dans [0, 1], le problme
(2.2)(2.4) admet une unique solution faible entropique. Cest une fonction valeurs dans [0, 1].
Ide de la preuve. Sous des hypothses de rgularit des donnes, lexistence et lunicit dcoulent des r-
sultats de Bardos, Le Roux et Ndlec [BlRN79] ; nanmoins, cela ne permet pas dtablir que la solution est
une fonction valeurs dans [0, 1]. Remarquons par ailleurs que lquation (2.2) est une loi qui est conservative
par rapport h, ce qui permet a priori desprer tablir des bornes sur h et non . Nous traitons alors le cas
de donnes L

et nous montrons que est valeurs dans [0, 1] : par un changement de de variables adapt,
on montre que lquation (2.2) se rduit en une loi de conservation scalaire par rapport une fonction de
saturation uniquement et dont le ux possde les mmes proprits que le ux initial. Lexistence et lunicit
dune solution faible entropique pour ce problme se dduit du travail synthtis la section 2.2.
2.1.3 Modle biuide et modle dElrod-Adams
Un schma aux volumes nis monotone tel que dni dans [Vov02] permet de prendre en compte de faon
approprie les conditions aux limites au sens de Bardos, Le Roux & Ndlec. Nanmoins, la performance du
schma dpend videmment des donnes du problme. Or, pour des rapports de viscosits =
g
/

faibles
(rappelons que 10
3
pour un mlange liquide-gaz), le ux de lquation de Buckley-Leverett tend
dgnrer. En raison de la contrainte lie la condition de Courant-Friedrichs-Lewy, lordre de grandeur
des paramtres de discrtisation autorisant une rsolution effective du problme par un schma explicite
induit une limitation svre sur le pas de temps et despace. Ce problme est dautant plus difcile que
nous dterminons la solution stationnaire du problme, ncessitant un calcul en temps long (ce qui a inspir
le travail prsent en section 2.3). La simulation numrique par un schma explicite pour de trs faibles valeurs
de nest donc pas raisonnable en termes de cots de calculs. Dun point de vue thorique galement,
lobtention dun modle asymptotique 0 constitue un enjeu de comprhension car le ux converge vers
un graphe multivalu (ce qui a inspir le travail dvelopp dans la section 2.4) :
f (u) := f

(u)
0
H(u 1), g(u) := g

(u)
0
u H(1 u),
o, comme prcdemment, H dsigne le graphe de Heaviside.
Numriquement, nous avons compar le modle dElrod-Adams avec le modle biuide. Rappelons que
le modle dElrod-Adams introduit lide que le lm lubri nest que partiel dans les zones cavites. Mais il
ne donne aucune indication sur la rpartition des phases lintrieur de cette zone. On peut ainsi supposer
que le lubriant liquide adhre la paroi mobile ou, inversement, quil adhre la paroi xe, ou encore que
deux couches de lubriant liquide entourent une couche gazeuse (multi-couches) ou une structure en bulles.
Le modle biuide que nous avons dvelopp nest pertinent que dans les deux premiers cas, qui respectent
lhypothse de graphe de la frontire libre. Nous comparons la solution du modle dElrod-Adams celle
du modle biuide (pour
g
/

= 10
3
). Lorsque lon suppose que le lubriant adhre la paroi mobile,
nous obtenons une solution dont les proprits sont trs proches de celle dElrod-Adams pour certains rgimes
dalimentation, voir Fig. 2.1, en particulier pour la saturation (les carts importants entre les pressions tant
directement issues des faibles carts entre les saturations).
i.
0 0.2 0.4 0.6 0.8 1
0.2
0
0.2
0.4
0.6


P
r
e
s
s
i
o
n
x
biuide = 10
1
biuide = 10
2
biuide = 10
3
Elrod-Adams
ii.
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1


S
a
t
u
r
a
t
i
o
n
x
biuide = 10
1
biuide = 10
2
biuide = 10
3
Elrod-Adams
Figure 2.1 Comparaison entre les modles dElrod-Adams et biuide pour diffrentes valeurs de : i. pression et ii. saturation.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
26 Chapitre 2. Lois de conservation scalaires sur un domaine born
2.2 Problme de Cauchy-Dirichlet pour des quations quasilinaires du
premier ordre L
Ltude des quations limites pour le modle biuide nous a conduit nous interroger sur les quations
quasilinaires du premier ordre sur un domaine born avec des donnes L

. Sommairement, cette tude


sinscrit dans la continuit de nombreux travaux, quelle complte ou gnralise :
(1) Pos dans lespace entier, ce problme a t tudi par Krukov [Kru70] qui a introduit les concepts
dentropie-ux dentropie (de Krukov) et de solution entropique, an de fournir un cadre dexistence et
dunicit de solution.
(2) Pour un domaine born, Bardos, Le Roux & Ndlec [BlRN79] ont galement tabli un rsultat dexistence
et dunicit bas sur lentropie-ux dentropie de Krukov, ainsi quune interprtation de la condition
aux limites. En effet, des conditions de Dirichlet ne peuvent tre imposes en tout point de la frontire et
on parlera alors de condition au sens de Bardos, Le Roux & Ndlec. Nanmoins, cette tude ncessite
une rgularit BV des donnes, an de garantir la notion de trace sur le bord.
(3) Dans un domaine born et avec des donnes L

, les difcults ont t surmontes par Otto [Ott96] qui


a introduit le concept dentropie-ux dentropie de frontire an de garantir lunicit de la solution. Notons
que ces rsultats permettent de retrouver ceux de Bardos, Le Roux & Ndlec. Cependant, larticle
dOtto ne concerne que les lois autonomes et sans terme source et la formulation introduite par Otto ne
se gnralise pas la prise en compte du caractre non-autonome des ux et aux termes source.
Larticle [12] gnralise le travail dOtto, en prenant en compte la prsence de termes source et le caractre
non-autonome du ux. Par ailleurs, un rsultat de stabilit par rapport aux donnes est tabli, ce qui nap-
parat pas dans le travail de Bardos, Le Roux & Ndlec. Nous utilisons essentiellement le concept de semi
entropies-ux dentropie de Krukov, introduit dans [Car99], qui est quivalent celui dentropies-ux dentro-
pie de frontire utilis par Otto, mais qui est plus appropri ltude des lois de conservation avec termes
source et ux non-autonomes. Le rsultat dexistence est tabli par approximation parabolique alors que le
rsultat dunicit est obtenu par la mthode du ddoublement de variables. Le rsultat de stabilit dpend d
hypothses supplmentaires sur le terme source et le ux de lquation, conjointement aux donnes
15
.
2.2.1 Formulation entropique
Soit un domaine born rgulier de R
d
, d 1. On sintresse aux quations suivantes :

t
u(t, x) + div
x
(T(t, x, u(t, x))) +((t, x, u(t, x)) = 0, (t, x) Q
T
:= (0, T) , (2.5)
u(0, x) = u
0
(x), x , (2.6)
u(t, r) = u
D
(t, r), (t, r)
T
:= (0, T) , (2.7)
o le sens des conditions aux limites, de type Dirichlet, doit tre pris en un sens faible.
Hypothse 2.1
i. T et ( sont deux fonctions rgulires : T
_
C
2
([0, T] [a, b])
_
d
, ( C
2
([0, T] [a, b]),
ii. T, div
x
T et ( sont lipschitziennes par rapport u, uniformment en (t, x),
iii. (u
0
, u
D
) L

(; [a, b]) L

(
T
; [a, b]),
iv. ( div
x
T +() (, , a) 0 et ( div
x
T +() (, , b) 0.
Nous tablissons la dnition dune solution entropique du problme (2.5)(2.7) :
Dnition 2.1 Supposons lHypothse 2.1 vrie. Une fonction u L

(Q
T
) est une sous-solution (resp. sur-
solution) entropique du problme (2.5)(2.7) si elle vrie :
(c)
_

_
_
Q
T
_
(u(t, x) k)

t
(t, x) +
_
sgn

(u(t, x) k)(T(t, x, u(t, x)) T(t, x, k))


_
(t, x)
sgn

(u(t, x) k)
_
div
x
T(t, x, k) +((t, x, u(t, x))
_
(t, x)
_
dx dt
+
_

(u
0
(x) k)

(0, x) dx +/
[T]
_

T
_
u
D
(t, r) k
_

(t, r) d(r) dt 0,
C

0
((, T) R
d
), 0, k R,
15. Notons que, pour la lubrication, le cadre L

nest pas absolument ncessaire : la donne initiale peut tre considre comme
rgulire, au moins dans BV. Nanmoins, la recherche dun rsultat de stabilit prservant lintervalle [0, 1], pour la saturation, ainsi que
ltat de lart, lorsque ces problmes ont t abords, nous ont amen considrer ce problme.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
2.2. Problme de Cauchy-Dirichlet pour des quations quasilinaires du premier ordre L 27
o /
[T]
dsigne la constante de Lipschitz de T. Les fonctions u (u )

sont les semi entropies de Krukov [Car99,


Ser96, Vov02], dnies par (u )
+
= max(u , 0) et (u )

= ( u)
+
, et u sgn

(u) est la drive de la


fonction u u

avec la valeur 0 en 0. Une solution entropique si elle est sous-solution et sur-solution entropique.
2.2.2 Existence dune solution entropique et bornes L

On tablit tout dabord le rsultat de stabilit suivant :


Thorme 2.2 (Stabilit) Soit u L

(Q
T
) une fonction vriant (c). Alors a u b p.p.
Ide de la preuve. Le rsultat est obtenu en utilisant directement les proprits des semi entropies-ux de
Krukov, avec (u a)

dune part et (u b)
+
dautre part comme fonction test. LHypothse 2.1 iv. joue ici
un rle essentiel dans ce rsultat. Notons que cette proprit se dmontre aisment par lutilisation des semi
entropies-ux de Krukov, tandis que le cadre pos par Bardos, Le Roux & Ndlec [BlRN79] utilisant les
entropies-ux de Krukov nest pas adapt une dmonstration similaire.
Nous tablissons le rsultat dexistence par approximation parabolique. Dans un premier temps, nous
considrons le problme :

t
u

(t, x) + div
x
(T(t, x, u

(t, x))) +((t, x, u

(t, x)) = u

(t, x), (t, x) Q


T
, (2.8)
u

(0, x) = u
0

(x), x , (2.9)
u

(t, r) = u
D

(t, r), (t, r)


T
, (2.10)
o u
D

et u
0

vrient des hypothses de rgularit et compatibilit, voir [LSU67]. On sintresse en particulier


au comportement de la solution de ce problme lorsque tend vers 0. On tablit au pralable deux rsultats
essentiels : dune part, une formulation entropique du problme parabolique, qui prgure celle que lon
obtiendra par passage la limite pour le problme hyperbolique et, dautre part, des estimations BV qui
constituent une tape pralable au passage la limite sur .
Thorme 2.3 (Existence) Supposons lHypothse 2.1 vrie. Soit u

lunique solution de (2.8)(2.10) correspondant


aux donnes (u
0

, u
D

) vriant les hypothses de rgularit et compatibilit, et soit


lim
0
u
D

= u
D
dans L
1
(
T
), lim
0
u
0

= u
0
dans L
1
(),
avec u
D
L

(
T
; [a, b]) et u
0
L

(; [a, b]). Alors, la suite u

converge vers une fonction u L

(Q
T
; [a, b])
dans C
0
([0, T], L
1
()). De plus, u est une solution entropique du problme (2.5)(2.7).
Ide de la preuve. An dtablir lexistence dune solution, on passe la limite sur . Nanmoins, nous ne
pouvons utiliser les estimations BV pour u

tablies prcdemment car u


D

et u
0

vrient des conditions de


compatibilit mais nont pas ncessairement une extension sur Q
T
avec une rgularit sufsante. Nanmoins,
une rgularisation supplmentaire nous permet dappliquer le thorme dArzel-Ascoli an de dmontrer
que u

est relativement compacte dans C


0
([0, T]; L
1
()).
2.2.3 Unicit de la solution entropique
Nous tablissons le rsultat dunicit par la mthode de ddoublement de variables.
Lemme 2.1 (Principe de comparaison) Soit u L

(Q
T
) (resp. v L

(Q
T
)) une solution de (c) avec des donnes
(u
0
, u
D
) L

() L

(
T
) (resp. (v
0
, v
D
) L

() L

(
T
)) ; alors, pour tout C

0
((, T) R
d
),

_
Q
T
_

u v


t
+ sgn(u v)
_
T(, , u) T(, , v)
_
sgn(u v) (((, , u) ((, , v))
_

u
0
v
0

(0, ) +/
[T]
_

u
D
v
D

.
Ide de la preuve. On tablit une formulation entropique quivalente par sommation des deux ingalits
lies aux semi entropies-ux de Krukov, et en utilisant un choix appropri dentropies-ux de frontire. Le
principe de comparaison est obtenu par application de la mthode de ddoublement de variables, initie par
Krukov, cette formulation quivalente.
Thorme 2.4 (Unicit) Sous lHypothse 2.1, le problme (2.5)(2.7) admet une unique solution entropique.
Ide de la preuve. En utilisant le principe de comparaison prcdent, avec u
0
= v
0
et u
D
= v
D
, le rsultat
est obtenu par le lemme de Gronwall.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
28 Chapitre 2. Lois de conservation scalaires sur un domaine born
2.3 Comportement en temps long de la solution dune loi de conservation
scalaire
Comme indiqu prcdemment, le travail prsent dans cette section, voir [13] pour les dtails, a t
inspir par la recherche de solutions stationnaires pour le modle biuide.
Si de nombreux travaux se sont intresss au comportement en temps long de la solution de lois de
conservation scalaires dni sur lespace entier, notamment [Lax57, IO60, DiP75, LP84, Daf85, Kim03], la
bibliographie sur le comportement en temps long de la solution de lois de conservation scalaires sur un
domaine born nest pas trs importante : Mascia & Terracina [MT99] ont tudi linuence dun terme source
(avec un ux autonome). Dans le problme qui nous intresse, labsence de terme source est contrebalance
par le caractre non autonome du ux. Notons que, dans le cas de lespace entier, de nombreux auteurs se
sont galement intresss la stabilit des chocs [KM85, MN94, LN97, FS01, Ser96]. En particulier, Serre et
ses co-auteurs ont dvelopp une stratgie gnrale pour ltude de la stabilit des prols qui nous a inspir
pour cette tude. Nous avons considr le problme suivant, en dimension d = 1 despace :
(P)
_
_
_

t
u(t, x) + div
x
(T(x, u(t, x))) = 0, (t, x) Q
T
:= (0, T) (0, 1),
u(0, x) = u
0
(x), x (0, 1),
u(t, r) = u R, (t, r) (0, T) (0, 1).
Dans ce cadre dtude (les hypothses sur le ux vont tre prcises), nous avons dtermin le comportement
en temps long de la solution, qui converge vers un tat stationnaire quil est possible de caractriser dans la
trs grande majorit des cas. Prcisons la difcult inhrente de ce problme : comme nous lavons soulign
prcdemment, la condition aux limites doit tre interprte en un sens faible : il sagit plus prcisment
dingalits au sens de Bardos, Le Roux et Ndlec et lanalyse du comportement en temps long de la solution
doit prendre en compte linuence de cette condition de bord sur la dynamique du transport non-linaire.
Dans le cadre particulier de la lubrication, des hypothses sur le ux et sur les donnes sont spcies :
Hypothse 2.2 La condition initiale vrie u
0
L

(0, 1; [0, 1]) ; la condition aux limites vrie u [0, 1]. La fonction
ux T C
1
([0, 1]
2
) vrie les hypothses (voir Fig. 2.2 pour un exemple) :
x [0, 1], T(x, ) = T(1 x, ), T(x, 0) = 0, T(x, 1) = Q 0 ;
x [0, 1], (x) (0, 1],
u
T(x, ) > 0 sur [0, (x)) et
u
T(x, ) < 0 sur ((x), 1] ;
u [0, 1],
x
T(, u) 0 sur [0,
1
2
].
Pour alimenter la discussion sur lHypothse (2.2), insistons sur la ncessit de restreindre les formes
possibles pour les donnes et le ux. En effet, dans le cas T(x, u) = u et dune donne au bord t u(t), la
solution est, pour t > 1, u(t, x) = u(t x) et u(t, ) converge vers une fonction de L

(0, 1; [0, 1]) en norme L


1
en t + uniquement si les moyennes de u convergent vers une constante.
Remarque 2.1 (Cas modle) Le ux suivant, inspir du modle de Buckley-Leverett, vrie ces hypothses :
T(x, u) = Qu + H(x) u (1 u)
o H est une fonction strictement positive, au prol convergent-divergent. Selon limportance du terme H(x)/Q, on a
soit (x) = 1 (auquel cas T(x, ) est alors croissante sur [0, 1]), soit (x) (0, 1) (auquel cas T(x, ) possde alors un
seul maximum strict en (x)), voir Fig. 2.2.
2.3.1 Proprits des solutions entropiques
Les notions de solution entropique, sous-solution entropique et sur-solution entropique ont t dnies
la section 2.2 (voir Dnition 2.1, page 26). En particulier, le problme (P) admet une unique solution
entropique, celui-ci rsultant dun principe de comparaison. nonons un rsultat supplmentaire qui est
particulirement important pour la suite, puisquil fait merger une structure de semi-groupe essentielle
lanalyse du comportement en temps long :
Lemme 2.2 (Continuit en temps) La solution entropique du problme (P) vrie :
u C
0
([0, +); L
1
(0, 1)) et lim
t0
u(t) = u
0
dans L
1
(0, 1).
Remarque 2.2 En particulier, et daprs le Lemme 2.2, le problme (P) dnit un semi-groupe S
u
(t) : u
0
u(t, )
de L

(0, 1; [0, 1]) [0, 1] vers L

(0, 1; [0, 1]), qui associe (u


0
, u) la valeur au temps t de la solution entropique du
problme (P) avec la donne initiale u
0
et la donne au bord u. Nous avons
lim
t0
S
u
(t)u
0
= u
0
dans L
1
(0, 1).
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
2.3. Comportement en temps long de la solution dune loi de conservation scalaire 29
De plus, le principe de comparaison tablit que pour u [0, 1], S
u
(t) est non-expansive dans L
1
:
u
0
, v
0
L

(0, 1; [0, 1]), t > 0, |S


u
(t)u
0
S
u
(t)v
0
|
L
1
(0,1)
|u
0
v
0
|
L
1
(0,1)
.
En particulier, S
u
(t) est continue sur L

(0, 1; [0, 1]) muni de la topologie induite par la norme L


1
.
Il existe plusieurs manires de dmontrer le Lemme 2.2. Soit en dmontrant la convergence dune ap-
proximation dans C
0
([0, T]; L
1
(0, 1)), T > 0 tant arbitraire (et par unicit de la solution entropique), comme
cela a t ralis dans [12] (voir section 2.2) ; ou par une preuve directe base sur la formulation entropique, le
point critique tant de dmontrer la continuit en t = 0 et de retrouver la condition initiale, voir [CR00, Vas01]
pour une analyse du problme de la couche initiale pour les lois de conservation scalaires.
Compltons la Remarque 2.2 avec la remarque suivante :
Remarque 2.3 Pour tout u
0
BV(0, 1) L

(0, 1; [0, 1]), on a u(t) := S


u
(t)u
0
BV(0, 1) pour tout t. En particu-
lier, les traces aux bords sont dnies et les conditions aux limites sont donnes par les ingalits de Bardos, Le Roux &
Ndlec [BlRN79].
Lemme 2.3 Soient u
0
BV(0, 1) L

(0, 1; [0, 1]) et u [0, 1]. Alors, une fonction


u C
0
_
[0, +); L
1
(0, 1)
_
L

(0, +, BV(0, 1))


est solution entropique de (P) (i. e. u(t) = S
u
(t)u
0
) si, et seulement si, elle vrie les ingalits dentropie lintrieur
de (0, 1) : pour [0, 1], pour tout C

0
((0, 1) [0, +)), 0,
_

0
_
1
0
_
(u(t, x) )

t
(t, x) + sgn

(u(t, x) )(T(x, u(t, x)) T(x, ))


x
(t, x)
sgn

(u(t, x) )
x
T(x, ) (t, x)
_
dx dt +
_
1
0
(u
0
(x) )

(0, x) dx 0, (2.11)
et si, de plus, elle vrie les ingalits de Bardos, Le Roux & Ndlec (avec la notation J(a, b) = [min(a, b), max(a, b)]) :
_
t > 0, J(u(t, 0), u), sgn(u(t, 0) u)(T(0, u(t, 0)) T(0, )) 0,
t > 0, J(u(t, 1), u), sgn(u(t, 1) u)(T(1, u(t, 1)) T(1, )) 0.
La caractrisation dune solution nonce dans le Lemme 2.3 est particulirement utile pour lanalyse du
comportement en temps long : an de dcrire les tats stationnaires puis le comportement en temps long vers
les tats stationnaires, on se concentrera dabord sur les ingalits dentropies lintrieur du domaine puis
sur les conditions aux limites au sens de Bardos, Le Roux & Ndlec.
2.3.2 Comportement en temps long de la solution entropique
Dcrivons dans un premier temps la structure des tats stationnaires. La particularit de cette tape est
double : les tats stationnaires doivent non seulement vrier des ingalits entropiques (ce qui implique
lexistence de critres dadmissibilit pour les discontinuits) mais aussi les conditions aux limites au sens
des ingalits de Bardos, Le Roux & Ndlec (et non au sens classique). Dans un deuxime temps, nous
analyserons la convergence en temps long dune solution entropique vers un tat stationnaire en utilisant la
structure de semi-groupe et nous caractriserons, si possible, ltat stationnaire associ.
Description des tats stationnaires
Dnition 2.2 Une fonction w L

(0, 1; [0, 1]) est une solution stationnaire du problme (P) sil existe une donne
u [0, 1] telle que w = S
u
(t)w pour tout t > 0.
Nous effectuons lanalyse des tats stationnaires de (P) en inversant lquation T(x, w) = c R. En
notant f
0
la valeur de T(x, w(x)), les hypothses structurelles sur le ux (voir Hypothse 2.2) indiquent que
lquation T(x, w(x)) = f
0
peut avoir zro, une ou deux branches de solutions selon la valeur de f
0
(par branche
de solution, nous entendons une fonction continue w de [0, 1] dans [0, 1] telle que T(x, w(x)) = f
0
pour tout x).
Dans ce contexte, deux types de forme pour la surface o sont possibles, voir la Fig. 2.2, selon la valeur du
paramtre
T
crit.
:= minT(x, (x)), x [0, 1] = T
_
1
2
,
_
1
2
__
.
En effet,
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
30 Chapitre 2. Lois de conservation scalaires sur un domaine born
i.
0
0
0.3
1
x
u
T
(
x
,
u
)
ii.
0
0
0.3
1
x
u
T
(
x
,
u
)
iii.
0
0
0.4
1
x
u
T
(
x
,
u
)
iv.
F 0
0
0.4
1
x
u
T
(
x
,
u
)
Figure 2.2 Intersection entre la surface o := z = T(x, u), (x, u) [0, 1]
2
pour le ux T(x, u) := Qu + H(x)u(1 u) et
la surface plane z = f
0
. Selon la valeur de Q, la surface o est en forme de selle, voir i. et ii., ou en forme de toboggan, voir iii. et
iv. ; de plus, selon la valeur de f
0
[0, T
crit.
], lintersection peut tre dcrite par : i. deux branches distinctes (dintersection vide), ii.
deux branches non distinctes (dintersection rduite un point), iii. une branche unique, iv. deux branches distinctes (dintersection
rduite un segment).
soit T
crit.
> Q, auquel cas la surface o est en forme de selle, voir Fig. 2.2 i. ou ii. ;
soit T
crit.
= Q, auquel cas la surface o est en forme de toboggan, voir Fig. 2.2 iii. ou iv.
On montre alors que pour f
0
[0, T
crit.
], lquation T(x, w(x)) = f
0
possde une ou deux branches de
solutions. Nous les appelons et , , avec la convention = sil nexiste quune seule branche.
Lemme 2.4 Soient et les branches de solutions. Introduisons un saut croissant entre et en dnissant
w
z
:= 1
[0,z)
+ 1
(z,1]
, 0 z 1,
et, dans le cas o et sintersectent, introduisons un second saut croissant en dnissant
w
z,z
:= w
z
1
[0,
1
2
]
+ w
z
1
[
1
2
,1]
, 0 z
1
2
z

1.
Alors toute solution stationnaire w du problme (P) telle que T(x, w(x)) = f
0
p.p. est une fonction w
z
ou une fonction
w
z,z
, cette dernire possibilit tant restreinte au cas o et sintersectent (i. e. 0 f
0
T
crit.
).
Les fonctions w
z
et w
z,z
sont solutions entropiques lintrieur de (0, 1) et admettent une trace au bord.
On utilise alors la condition de Bardos, Le Roux & Ndlec pour caractriser les solutions stationnaires de (P).
Thorme 2.5 Soit u L

((0, 1); [0, 1]) une solution stationnaire de (P) avec la donne au bord u. Alors,
i. la solution stationnaire u est une fonction w
z
ou w
z,z
et le ux T(x, u(x)) est gal p.p. une constante f
0
;
ii. si T(0, u) T
crit.
, alors la constante xant la valeur du ux f
0
est dtermine par f
0
:= T(0, u) ;
iii. si T(0, u) > T
crit.
, alors la constante xant la valeur du ux f
0
est dtermine par f
0
:= T
crit.
;
En consquence, on peut presque toujours caractriser ltat stationnaire :
iv. si T(0, u) < T
crit.
, soit u = (0) auquel cas u = , soit u = (0) auquel cas u = ;
v. si T(0, u) > T
crit.
, alors u = w
0,1
= 1
[0,
1
2
]
+ 1
[
1
2
,1]
;
vi. une solution stationnaire discontinue nexiste que dans le cas T(0, u) = T
crit.
.
Le Thorme 2.5 illustre ainsi linuence de la valeur au bord sur la structure des tats stationnaires et, en
particulier, la valeur du ux stationnaire. Cette inuence est dcrite par lexistence de trois rgimes diffrents
dpendant de la valeur de T(0, u) par rapport T
crit.
.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
2.3. Comportement en temps long de la solution dune loi de conservation scalaire 31
Convergence vers un tat stationnaire
Nous avons ainsi dcrit les solutions stationnaires du problme (P). Dans lanalyse du comportement en
temps long, nous utilisons le principe de comparaison; pour cela, nous avons besoin de connatre la structure
des sous-solutions et sur-solutions stationnaires an danalyser les ensembles -limites des trajectoires. cet
effet, nous avons procd comme prcdemment : nous avons dabord examin les solutions lintrieur de
(0, 1) en nous focalisant sur les conditions dentropie, puis nous avons examin les conditions aux limites.
Cette mthode nous a permis dtablir :
Thorme 2.6 Pour tout u
0
L

(0, 1; [0, 1]), S


u
(t)u
0
converge vers un tat stationnaire dcrit dans le Thorme 2.5.
Remarque 2.4 Si T(0, u) ,= T
crit.
, alors il nexiste quune seule solution stationnaire (voir Thorme 2.5 v)) et le
Thorme 2.6 dcrit le comportement asymptotique de S
u
(t)u
0
qui converge vers lunique solution stationnaire. Dans
le cas T(0, u) = T
crit.
, le comportement asymptotique des trajectoires dpend de leur point de dpart. Il est cependant
possible de prciser la limite dans un certain nombre de cas, voir la Proposition 2.1.
La proposition suivante complte le Thorme 2.6 dans le cas T(0, u) = T
crit.
.
Proposition 2.1 Supposons que T(0, u) = T
crit.
. On a alors : soit u = (0), soit u = (0)). De plus,
i. si u
0
, alors S
u
(t)u
0
converge vers ;
ii. si u
0
, alors S
u
(t)u
0
converge vers ;
iii. si u
0
et u = (0), alors S
u
(t)u
0
converge vers w
z,1
o z est lunique lment de [0,
1
2
] tel que
_ 1
2
0
(u
0
(x) (x)) dx =
_ 1
2
0
(w
z,1
(x) (x)) dx ;
iii. si u
0
et u = (0), alors S
u
(t)u
0
converge vers w
0,z
o z

est lunique lment de [


1
2
, 1] tel que
_
1
1
2
((x) u
0
(x)) dx =
_
1
1
2
((x) w
0,z
(x)) dx.
Remarque 2.5 Notons que lorsque la donne u
0
nest pas ordonne par rapport et , nous navons pu caractriser
la position des chocs stationnaires z et z

. Par ailleurs, les simulations ne nous ont pas permis dtablir une conjecture.
Remarque 2.6 Comme mentionn prcdemment, le cas T(0, u) = T
crit.
est particulier puisquil autorise lexistence
de solutions stationnaires discontinues. La Proposition 2.1 localise exactement la position des chocs entropiques station-
naires. Cette caractrisation est importante dans le cadre de lanalogie avec le modle biuide, puisque ce choc entropique
stationnaire modlise la rupture du lm mince dans le mcanisme lubri. Soulignons nanmoins que le ux considr
dans cette section est un modle jouet : le ux de Buckley-Leverett dcrit dans le modle biuide admet de changements
de convexit, de sorte quil nexiste quune unique solution stationnaire (qui dpend de la donne au bord, mais pas de
la donne initiale).
2.3.3 Rsultats numriques
Les rsultats numriques prsents illustrent les Thormes 2.5 et 2.6 dans le cas du ux modle prc-
demment considr :
T(x, u) = Qu + H(x)u(1 u).
Plus prcisment, on sintresse au cas T(0, u) = T
crit.
qui est le plus intressant puisquil induit la possibilit
de chocs entropiques stationnaires. La Fig. 2.3 met en exergue le comportement de la solution en temps long
lorsque les tats stationnaires sont dcrits par deux branches :
i. Comme u
0
, S
u
(t)u
0
converge vers .
ii. Comme u
0
et u = (0), alors S
u
(t)u
0
converge vers w
z,1
, o z est lunique lment de [0,
1
2
] qui
prserve la masse initiale sur (0,
1
2
).
iii. La situation est identique celle dcrite en ii., mais la condition initiale est diffrente. Un choc entro-
pique stationnaire sest form en une position z caractrise par la conservation de la masse sur (0,
1
2
) ;
en revanche, la discontinuit initiale dcroissante nest pas prserve car, le ux tant concave, ce choc
nest pas admissible et ne vrie pas les ingalits dentropie locales.
Le cas T(0, u) > T
crit.
est illustr par la Fig. 2.3 iv. : on observe que S
u
(t)u
0
converge vers w
0,1
. Notons que
la condition aux limites nest pas vrie au sens classique : u(+, 0) = 1 ,= u et u(+, 1) = (0) ,= u ; en
revanche, les conditions aux limites sont vries au sens des ingalits de Bardos, Le Roux & Ndlec.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
32 Chapitre 2. Lois de conservation scalaires sur un domaine born
i.
0
0.5
1
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
x
u
(
+

,
x
)
u(0, )
u(+, )

ii.

0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
x
u
(
+

,
x
)

u(0, )
u(+, )
iii.
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
x
u
(
+

,
x
)

u(0, )
u(+, )
iv.
0 0.2 0.4 0.6 0.8 1
0
0.2
0.4
0.6
0.8
1
x
u
(
+

,
x
)

u(0, )
u(+, )
Figure 2.3 Comportement en temps long de la solution entropique : i. convergence vers la branche infrieure ; ii. convergence
vers w
z,1
avec prservation de la masse sur (0,
1
2
) ; iii. idem avec prservation de la masse sur (0,
1
2
) et non-prservation du choc
dcroissant initial qui est non admissible ; iv. convergence vers un tat stationnaire qui ne vrie pas les conditions limites au sens
classique (les conditions aux limites sont vries au sens des ingalits de Bardos, Le Roux et Ndlec).
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
2.4. Approximation numrique de la solution dune loi de conservation scalaire avec ux discontinu 33
2.4 Approximation numrique de la solution dune loi de conservation
scalaire avec flux discontinu en la variable dtat
Comme nous lavons mentionn en introduction de ce chapitre, lapproche moderne des lois de conser-
vation scalaires, dnies sur lespace entier, a t initie par Krukov [Kru70] en 1971. Bardos, Leroux &
Ndlec [BlRN79] ont dmontr lexistence et lunicit de la solution entropique sur un domaine born et
pour des donnes rgulires. Puis ces rsultats ont t tendus au cadre L

par Otto [Ott96]. Mais, dans


tous ces travaux, la rgularit du ux en la variable dtat est suppose au moins de classe C
1
; lorsque le
ux, suppos autonome, est de classe C
0
, lexistence et lunicit de la solution entropique pour des donnes
bornes ont t dmontres par Carrillo [Car99], qui a ensuite tendu ces rsultats pour des ux avec des
discontinuits
16
du premier type [Car03].
Lanalyse numrique de ces problmes sest dveloppe initialement partir du concept de solution
valeur mesure, avec les travaux de Szepessy [Sze91] qui a dmontr la convergence dune mthode lments
nis avec diffusion selon les lignes de courant ; dans [CCL95], Cockburn, Coquel & LeFloch ont dmontr
la convergence de la mthode des volumes nis monotone, puis Benharbit, Chalabi & Vila [BCV95] celle
des E-schmas. Dans [Vov02], Vovelle a tabli la convergence de la mthode des volumes nis pour des
donnes L

, en utilisant le concept de solution issue dun processus entropique, quivalent celui de solution
valeur mesure, et introduit par Eymard, Gallout & Herbin [EGH00]. Nanmoins, dans tous ces travaux, le
ux est suppos rgulier. Larticle [14] prsent dans cette section propose une mthode numrique pour le
calcul de la solution entropique des lois de conservation scalaires avec ux discontinu en la variable dtat.
2.4.1 Formulations du problme
Soit R
d
un ouvert born rgulier de R
d
, d 1, soit T : R R
d
une fonction qui est continue sauf en
certains points dun ensemble ni o, soient u
0
L

() et f L
1
loc
(0, +; L

()) ; notons Q
T
:= (0, T) .
On considre le problme dvolution suivant :
P(u
0
, f )
_
_
_

t
u + div(T(u)) = f , sur Q
T
,
u(0, ) = u
0
, sur ,
u = 0, sur (0, T) .
Le ux T peut contenir des discontinuits du premier type : nous notons
s
= T(s
+
) T(s

) R
d
le saut
de discontinuit du ux en s o et nous supposons que le ux a la structure suivante :
T = + J, C
0
(R, R
d
), (0) = 0, J(r) =

so, s0

s
H

(r s) +

so, s0

s
H
+
(r s),
H

(r) =
_
_
_
0 si r > 0,
[1, 0] si r = 0,
1 si r < 0,
H
+
(r) =
_
_
_
1 si r > 0,
[0, 1] si r = 0,
0 si r < 0.
Autrement dit, le ux est la somme dune fonction rgulire et dune fonction constante par morceaux avec
un nombre ni de discontinuits. Carrillo [Car03] a dmontr que ce problme admet une unique solution
entropique (au sens o, classiquement, une formulation variationnelle avec ingalits entropiques est vrie
par la solution) en utilisant une transformation du problme. En introduisant les inconnues
s
H

(u s)
si s 0 et
s
H
+
(u s) si s 0, on pose
v := u +

so

s
.
Dans ce cas, v (I + ()(u), o ( est un oprateur maximal monotone de R. Alors u := g(v) o g :=
(I +()
1
est croissante, borne et continue, et g C
0,1
(R), g(0) = 0, D(g
1
) = D(I +() = R. Ceci mne
lintroduction du problme

P(u
0
, f )
_
_
_

t
g(v) + div(

T(v)) = f , sur Q
T
,
g(v)(0, ) = u
0
, sur ,
g(v) = 0, sur (0, T) ,
o u = g(v),

T(v) = T g,

T tant lipschitzienne. Carrillo [Car03] a tabli lquivalence entre les problmes
P(u
0
, f ) et

P(u
0
, f ) ainsi que lexistence et lunicit de la solution entropique (en analysant

P(u
0
, f )).
Avant de nous intresser la rsolution numrique du problme, mentionnons deux lments de compa-
raison qui jettent un pont entre le modle dElrod-Adams et les lois de conservation (avec ux discontinu) :
16. Dans ce travail, le ux (x, u) T(t, x, u) est discontinu en la variable dtat u ; cette hypothse ne doit pas tre confondue avec
celle, trs rpandue dans la littrature, qui consiste considrer des discontinuits du ux en la variable despace x, voir notamment
[Die96, Tow00, BV06] et, plus rcemment [AKR10].
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
34 Chapitre 2. Lois de conservation scalaires sur un domaine born
Remarque 2.7 Lide essentielle sur laquelle repose lanalyse mathmatique du problme P(u
0
, f ) est une reformulation
du problme grce au changement dinconnues v := u +
so

s
. Incidemment, cest cette mme ide qui est exploite
dans lalgorithme de rsolution du modle dElrod-Adams propos par Alt [Alt79] et Marini & Pietra [MP86]. Lincon-
nue v := p + contient les informations sur p et simultanment : si v (0, 1), alors p = 0 et = v tandis que si
v 1, alors = 1 et p = v 1. Dans le travail de Carrillo [Car03], cette approche est gnralise un nombre ni
de sauts de discontinuits. Ainsi, bien que forts diffrents, les deux problmes font merger des structures semblables du
point de vue de lanalyse mathmatique.
Remarque 2.8 Pour rappel, la technique de ddoublement de variables, initie par Krukov [Kru70], constitue lingr-
dient essentiel pour tablir un principe de comparaison aboutissant un rsultat dunicit dans le modle dElrod-Adams.
Elle constitue donc un autre point commun entre ces deux thmatiques. De ce point de vue, le pont mthodologique entre
les lois de conservation scalaires et la lubrication a t jet par Alvarez & Carrillo qui, dans [Alv86, AC94], ont tabli
lunicit de la solution du modle dElrod-Adams pour un certain type de conditions aux limites.
Les schmas aux volumes nis ne permettent pas de rsoudre numriquement P(u
0
, f ) (voir ci-aprs).
Nous avons donc propos un schma aux volumes nis implicite construit sur lquivalence entre les deux
problmes P(u
0
, f ) et

P(u
0
, f ). Nous avons montr que le problme discret est bien pos : lexistence repose
sur une mthode de degr topologique, adapte de [EGH00], alors que lunicit est une consquence dun
rsultat de contraction au sens de la norme L
1
. Nous avons galement dmontr la convergence de la solution
numrique vers la solution entropique du problme : pour cela, nous avons utilis le concept de solution issue
dun processus entropique, en gnralisant des rsultats de [Vov02].
Dans les sous-sections suivantes, nous nous intressons une mthode des volumes nis qui nous permet
de calculer la solution entropique de P(u
0
, f ) et aux proprits mathmatiques de cette mthode : existence
et unicit de la solution discrte associe au schma numrique et convergence de la solution numrique vers
la solution du problme continu. Pour cela, nous utilisons les proprits de rgularit du ux

T, de sorte que
la formulation

P(u
0
, f ) constitue la pierre angulaire de cette mthode. En pralable lexpos de ce schma
et de ses proprits, remarquons simplement que les schmas aux volumes nis classiques ne permettent pas
de calculer la solution pour les raisons suivantes :
Les mthodes usuelles consacres au problme P(u
0
, f ) ne peuvent tre utilises pour calculer la solu-
tion, cause du manque de rgularit du ux : en particulier, les mthodes de volumes nis explicites
sont bases sur une condition de Courant-Friedrichs-Lewy dans laquelle la constante de Lipschitz du
ux joue un rle crucial pour la stabilit du schma. Mais la constante de Lipschitz de u T(u) nest
pas mme dnie ! Autrement dit, comment prendre en compte les sauts de discontinuit du ux ? De
mme, les schmas de volumes nis implicites se rvlent incapables de capturer une solution num-
rique : la mise en uvre dun algorithme de Newton chaque pas de temps ncessite la dtermination
dune matrice jacobienne qui est non-dnie en raison du manque de rgularit du ux. En pratique,
le comportement de ces schmas usuels est pour le moins tonnant, sinon divergent, lorsque lon sin-
tresse la rsolution directe de P(u
0
, f ).
Lorsque lon considre le problme

P(u
0
, f ), nous pourrions penser que les difcults voques ci-
dessus ont disparu puisque v

T(v) est de rgularit Lipschitz. Mais, en fait, lutilisation dun schma
aux volumes nis explicite est, l encore, voue lchec : chaque pas de temps, la procdure ncessi-
terait de dduire la valeur de v sur chaque cellule de contrle de la valeur de g(v) sur chaque cellule de
contrle, alors que g nest pas strictement monotone (autrement dit g
1
nest pas univalue) ! Ds lors,
il reste explorer la piste dune mthode de volumes nis implicite consacr au problme

P(u
0
, f ).
la lumire des considrations ci-dessus, la mthode dapproximation que nous avons propose repose sur
la construction dune mthode implicite base sur le problme

P(u
0
, f ).
2.4.2 Schma numrique
Soit T une famille de sous-ensembles polygonaux connexes disjoints de (appels volumes de contrle)
telle que est lunion des fermetures des lments de cette famille et telle que linterface commun de deux
volumes de contrle est inclus dans un hyperplan de R
d
. Soit h la taille du maillage, qui possde en outre
la proprit de rgularit usuelle dnie dans le cadre de la mthode des volumes nis, voir [EGH00] par
exemple. Les ux numriques sont calculs laide de fonctions ux numriques aux interfaces :

F
n
KL
: R
2
R,
pour tout n N, pour tout K T et tout voisin L T de K (nous utilisons alors, abusivement, la notation
L K), avec les proprits de consistance avec le ux

T, conservation, monotonie et rgularit usuelles.
La solution entropique de P(u
0
, f ) est approche par le schma aux volumes nis implicite, construit sur
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
2.4. Approximation numrique de la solution dune loi de conservation scalaire avec ux discontinu 35
lquivalence avec problme

P(u
0
, f ) et dni par :
K T , u
0
K
=
1
[K[
_
K
u
0
(x) dx, f
n
K
=
1
t[K[
_
(n+1)t
nt
_
K
f (t, x) dx dt, (2.12)
K T , g(v
n+1
K
) = u
n
K

t
[K[

LK

F
n
KL
(v
n+1
K
, v
n+1
L
) +t f
n
K
, n N, (2.13)
K T , u
n+1
K
= g(v
n+1
K
), n N. (2.14)
Dans lquation (2.13), v
n+1
L
est gal 0 si L est un volume ctif (modlisant le bord du domaine).
Dnition 2.3 La fonction caractristique dun ensemble X est note 1
X
. Pour un ensemble de valeurs (u
n
K
), n N,
K T , nous notons u
n
(resp. u
h
) la fonction constante par morceaux sur (resp. Q
T
) dnie par
u
n
=

KT
u
n
K
1
K
_
resp. u
h
=

nN
u
n+1
1
[nt,(n+1)t)
.
_
.
Dans un premier temps, nous montrons que la solution numrique dnie par le schma existe et quelle
est unique. Cette proprit mathmatique permet de discuter sans ambiguit dune solution numrique dont
on caractrisera par la suite la proprit de convergence vers la solution du problme continu.
Thorme 2.7 (Existence et unicit de la solution numrique) Supposons u
0
L

() et f L
1
loc
([0, +), L

()).
Alors le schma aux volumes nis (2.12)(2.14) admet une solution (u
h
, v
h
), o u
h
est dtermine de manire unique.
Preuve du Thorme 2.7. Lexistence dcoule dun argument de degr topologique (voir [Dei85, Chapitre 1]
pour une prsentation du degr), comme dans [EGH00]. Au pralable, nous montrons que u
h
est borne :
|u
h
|
L

(Q
T
)
|u
0
|
L

()
+|f |
L
1
(0,T;L

())
. (2.15)
Soit n N et supposons que lexistence de u
1
, ..., u
n
vriant (2.13) et (2.14) a t dmontre. Nous crivons
les quations (2.13) et (2.14) comme la recherche dune solution u
n+1
sous forme vectorielle du systme
(I G)(X) = F, (2.16)
dans R
P
, P = card(T ). Posons R := |u
0
|
L

()
+ |f |
L
1
(0,T;L

())
+ 1 et notons B(0, R) la boule ouverte
de centre 0 et rayon R dans R
P
. Daprs lestimation (2.15), lquation (2.16) nadmet pas de solution sur
B(0, R) : on peut alors dnir le degr topologique de lapplication I G associe lensemble B(0, R) et au
point F, que lon note deg(I G, B(0, R), F). La preuve sadapte immdiatement pour montrer que
(I G)(X) = F, [0, 1]
nadmet pas de solution sur B(0, R). Par invariance du degr topologique par homotopie, nous avons
deg(I G, B(0, R), F) = deg(I, B(0, R), F). Comme F B(0, R), on a deg(I F, 0, B(0, R)) = 1 et, par suite,
deg(I G, B(0, R), F) ,= 0 : lquation (2.16) admet donc une solution. Lunicit est une consquence dun
principe de contraction.
2.4.3 Convergence du schma aux volumes nis
La convergence de la mthode est la conjonction dingalits entropiques discrtes et de la consistance
du schma (cette dernire proprit tant tablie partir dune ingalit BV, telle que cela est tabli dans
[EGH00]), tablissant ainsi que la solution u
h
du schma aux volumes nis est une approximation de la
solution entropique de P(u
0
, f ). On aboutit ainsi aux rsultats suivants :
Lemme 2.5 (Ingalits dentropie) Une solution (u
h
, v
h
) des quations (2.12)(2.14) vrie les ingalits entropiques
approches suivantes : pour tout 0, pour toute fonction test C

0
(Q
T
), 0,
_
Q
T
(u
h
g())
+

t
+ sgn
+
(v
h
)(

T(v
h
)

T()) sgn
+
(v
h
) f dx dt
+
_

(u
0
g())
+
(, 0) dx (h, t, ),
o (h, t, ) 0 lorsque (h, t) (0, 0).
Thorme 2.8 (Convergence) Soit (T
h
) une suite de maillages de taille h, telle que h 0 et telle que la condition
duniformit est vrie uniformment par rapport h ; soit t 0. Soit (u
h,t
, v
h,t
) la solution numrique dnie
par le schma (2.12)(2.14). Alors, pour tout 1 p < +, (u
h,t
) converge fortement dans L
p
(Q
T
) vers la solution
entropique de P(u
0
, f ).
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
36 Chapitre 2. Lois de conservation scalaires sur un domaine born
2.4.4 Rsultats numriques
La mthode de volumes nis implicite que nous venons de prsenter a t utilise an de dterminer la
solution du problme de Riemann pour un ux de Lighthill-Whitham-Richards. La Fig. 2.4 reprsente la solution
entropique dun problme de Riemann avec les ux (continu puis discontinu) :
f
(1)
(u) = u(1 u), f
(2)
(u) = f
(1)
(u) H
+
(u
d
u),
o u
d
dsigne la position de la discontinuit. En raison du principe du maximum, linuence de la disconti-
nuit du ux nest observable que si min(u
L
, u
R
) < u
d
< max(u
L
, u
R
). La Fig. 2.4 a t obtenue avec u
L
= 1,
u
R
= 0.5 et une discontinuit place en u
d
= 0.75. Dans le cas continu, une onde de dtente entre les deux
tats se propage ; dans le cas discontinu, une onde compose dun choc et dune dtente est apparue.
La mthode a t adapte au cas dun ux non-autonome de type Buckley-Leverett, issu de lanalyse dun
modle biuide en lubrication : une simulation numrique est prsente sur la Fig. 2.5. Cest prcisment
cet exemple qui a motiv ltude des lois de conservation scalaires avec ux discontinu et la dtermination
dune mthode numrique permettant den calculer la solution. Nous avons donc considr le ux
T : (t, x, u) Q H
+
(u 1) + H(x) u H
+
(1 u),
avec Q R et x H(x) est une fonction rgulire au prol convergent-divergent. La Fig. 2.5 correspond
un dbit Q = 0.5 H(0) et la condition aux limites impose est u = 0.5 ; en particulier, les tats constants
(u 0.5 ou u 0) imposs initialement ne sont pas des solutions stationnaires et ne sont donc pas prservs.
i)


0.5
0.55
0.6
0.65
0.7
0.75
0.8
0.85
0.9
0.95
1
ii)


0.5
0.55
0.6
0.65
0.7
0.75
0.8
0.85
0.9
0.95
1
Figure 2.4 quation de Lighthill-Whitham-Richards (trac routier) : solution du problme de Riemann dans le plan (x, t) pour
i) le ux continu f
(1)
puis ii) le ux discontinu f
(2)
.
i)


0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
ii)


0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
Figure 2.5 quation de Buckley-Leverett avec ux non-autonome discontinu : solution dans le plan (x, t). Les tats constants
imposs initialement i) u = 0.5 et ii) u = 0 ne sont pas des solutions stationnaires et ne sont donc pas prservs.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Chapitre 3
Mathmatiques appliques aux sciences
du vivant
3.1 Modlisation du poumon : rigidit bronchique et changes gazeux . . . . . . . . . . . . . . . 38
3.1.1 Modle mcanique simpli : inuence du muscle lisse bronchique . . . . . . . . . . . . . . . . . . 38
3.1.2 Modle dchanges gazeux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.1.3 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.2 Modlisation du poumon : aspects non-linaires des changes gazeux . . . . . . . . . . . . . 40
3.2.1 Limitation diffusive du transfert doxygne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.2.2 Htrognit des changes gazeux le long de lacinus pulmonaire . . . . . . . . . . . . . . . . . . . 43
3.3 Simulation de suspensions passives : une approche de type dynamique stokesienne . . . . 46
3.3.1 Modlisation dun macro-objet partir de sphres rigides . . . . . . . . . . . . . . . . . . . . . . . . 46
3.3.2 valuation numrique des interactions hydrodynamiques . . . . . . . . . . . . . . . . . . . . . . . . 46
3.4 Simulation de suspensions actives : une approche directe . . . . . . . . . . . . . . . . . . . . . . 48
3.4.1 Aspects hydrodynamiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.4.2 Aspects chimiotactiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
D
ans ce chapitre, nous prsentons des travaux en sciences du vivant. Cette activit, dveloppe Orsay, se
concentre davantage sur des aspects de modlisation et de calcul scientique et sest focalise sur deux
thmatiques : la modlisation de lappareil respiratoire et la simulation de suspensions biomimtiques. Discutons au
pralable des particularits des sciences du vivant, qui modient lapproche classique de la modlisation.
En sciences du vivant, la ralit microscopique est complexe si bien quune approche partant dune descrip-
tion dtaille pour aboutir une description globale base sur des observables est difcile. Les paramtres
dnis dans le processus de modlisation sont de grande variabilit et les sources dincertitude induisent la
ncessit dapporter une attention extrme leffet des variations de paramtres dans les modles labors.
Les phnomnes sont coupls et interdpendants, de sorte quil est difcile de modliser les phnomnes indivi-
duellement : la modlisation du systme global ncessite llaboration de modles multi-compartiments, avec
diffrents niveaux de description, en conservant les effets principaux des interactions entre les phnomnes.
La complexit, la variabilit des paramtres ainsi que la difcult dnir des observables pour cer-
tains systmes aboutissent la ncessit dutiliser plusieurs approches an desprer une comprhension des
phnomnes observs. Une premire approche, dite microscopique-macroscopique, consiste dcrire les phno-
mnes lchelle la plus petite qui permette une description de la ralit par des principes fondamentaux (au
sens tymologique), et en dduire des lois rduites bases sur des quantits macroscopiques observables :
en un sens, cela consiste homogniser le modle microscopique pour construire un modle macrosco-
pique bas sur des lois effectives . Cette approche sera adopte en particulier pour ltude de suspensions
biomimtiques, dans laquelle on cherche dduire des lois de comportement lchelle macroscopique par-
tir de la description individuelle dentits dans le uide ; cest ce passage microscopique-macroscopique qui
constitue le cur des tudes en rhologie et un d pour les numriciens du point de vue de la simulation
directe. Dans dautres contextes, la description des phnomnes lchelle microscopique est si complexe
quelle ncessite lintroduction dun grand nombre de paramtres mal identis ou aux valeurs incertaines et
inobservables. Dans ce cas, on prfrera une seconde approche, dite macroscopique-microscopique, qui consiste
introduire des quantits globales directement, mme si leur lien avec des quantits microscopiques nappa-
rat pas clairement dans un premier temps, puis essayer didentier certaines relations fonctionnelles entre
ces quantits. Cette approche, qui consiste confronter le modle la ralit et lenrichir si ncessaire, sera
privilgie dans la modlisation du poumon, pour lequel la gomtrie de larbre bronchique, la description
du rseau alvolaire et son intrication avec le rseau sanguin sont si difciles apprhender quune descrip-
tion lchelle de chacun des 300 10
6
alvoles ou de chacune des 2
23
bronches est hors de porte. Comme
une rponse lapproche microscopique-macroscopique, cette approche sera galement utilise dans le cas
des suspensions biomimtiques puisque les observables macroscopiques obtenus par le calcul direct (tels que
la viscosit effective) sont rinterprts la lumire de phnomnes dcrits lchelle microscopique.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
38 Chapitre 3. Mathmatiques appliques aux sciences du vivant
3.1 Modlisation du poumon : rigidit bronchique et changes gazeux
La modlisation du systme respiratoire est complexe en raison de la gomtrie du poumon et des ph-
nomnes non-linaires sous-jacents. La principale fonction du poumon consiste permettre lchange gazeux
entre lair extrieur et le sang qui transporte loxygne vers les muscles et les organes. Le sang circule en
circuit ferm, isol du monde extrieur, si bien que le transfert doxygne se produit travers une surface
dchange : la membrane alvolo-capillaire. Loxygne est transport de lextrieur vers les alvoles travers
larbre bronchique. Cet arbre est une structure dichotomique denviron 23 gnrations, partant de la trache
jusqu atteindre 23 niveaux de bifurcations. La partie advective est constitue des gnrations 1 15 : loxy-
gne est essentiellement transport par advection. La partie acinaire est la zone allant de la gnration 16 23,
caractrise par lapparition dalvoles associs aux bronches partir de la gnration 16 et jusquaux der-
nires gnrations auxquelles sont associes un grand nombre dalvoles : dans cette zone, le transport doxy-
gne est essentiellement diffusif, favorisant le transfert doxygne travers la membrane alvolo-capillaire.
Les changes gazeux sont favoriss par la surface dchange entre le sang et les alvoles : laire de la surface
alvolo-capillaire (la somme des surfaces dchange offertes par les 300 10
6
dalvoles) est denviron 120 m
2
.
La comprhension des mcanismes dcrivant le systme respiratoire dpend ainsi de deux ingrdients
essentiels : la modlisation de la ventilation mcanique dcrivant les principales donnes observables et me-
surables pour un clinicien (dbit, volume) et la modlisation des changes gazeux au niveau de la membrane
alvolo-capillaire. Si les rsultats issus de modles doivent tre confronts des mesures exprimentales, la
phase de modlisation elle-mme est toujours dlicate : par rapport un modle rduit, un modle riche en
paramtres est davantage susceptible de reproduire des donnes exprimentales car le nombre de degrs de
liberts (les paramtres) permet des ajustements facilitant cette reproduction (partielle ou totale) des donnes
observables ; mais cela ne traduit pas ncessairement une comprhension ne des phnomnes essentiels qui
pilotent le fonctionnement de lobjet tudi. Ds lors, un compromis est ncessaire an de construire des
mcanismes de comprhension des phnomnes, bass sur une description rduite de paramtres clairement
identis par les cliniciens et les physiologistes. Dans ce contexte, larticle [15] prsent dans cette section se
concentre sur linuence de certains paramtres mcaniques sur lefcacit des changes gazeux.
3.1.1 Modle mcanique simpli : inuence du muscle lisse bronchique
Les modles simplis en physiologie sont trs populaires, voir [BT06] pour une prsentation dune hi-
rarchie de modles du systme respiratoire, ainsi que [Wes74, Wei63] pour une description dtaille de la
physiologie du poumon humain. Dcrivons un modle mcanique simpli bas sur une reprsentation du
poumon comme un compartiment exible. Introduisons les paramtres principaux permettant de modliser
le poumon du point de vue de la mcanique (voir Fig.3.1).
V
E r

V
V
B
, R
V
A
Figure 3.1 Modle mcanique simpli du poumon.
Les paramtres mcaniques du modle rduit sont :
le volume courant V du poumon et le volume
lquilibre V
0
;
linertance I du poumon, lie la masse pulmonaire
dplace au cours de la respiration;
llastance E mesurant la raideur lie aux forces de
rappel permettant au poumon de revenir spontan-
ment sa position dquilibre ;
la rsistance des tissus r, due la friction entre les
tissus du poumon et la paroi thoracique ;
la rsistance des voies ariennes R, due la friction
entre les molcules de gaz et les parois des voies
ariennes ;
la pression extrieure P
ext.
correspondant aux efforts
musculaires (en particulier ceux du diaphragme)
aboutissant la dformation de la cage thoracique
qui induit linspiration (ainsi que lexpiration force,
notamment lexercice).
Les modles simplis utiliss dans la littrature considrent le poumon comme un systme masse-ressort.
Ainsi, par le principe fondamental de la dynamique, le modle le plus simple dcrivant le comportement
mcanique du poumon est dcrit par lquation diffrentielle linaire
I

V + (R + r)

V + E (V V
0
) = P
ext.
. (3.1)
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
3.1. Modlisation du poumon : rigidit bronchique et changes gazeux 39
La dnition dune rsistance constante est base sur lhypothse selon laquelle les bronches sont parfai-
tement rigides. Ce nest videmment pas le cas. Dans [15], nous avons pris en compte la dformation des
bronches au cours du cycle respiratoire, ce qui aboutit la dnition dune rsistance non-linaire qui permet
de conserver une approche de type modle rduit (au prix de lintroduction dune non linarit).
La construction du modle mcanique non linaire ncessite dintroduire le muscle lisse, qui entoure les
bronches, et qui est responsable de la bronchoconstriction
17
: il limite la dformation des bronches en leur
confrant une certaine rigidit structurelle (en cas dhyperactivit, laction du muscle lisse peut mme dimi-
nuer le diamtre des bronches linspiration). Nanmoins, son rle est imparfaitement compris et fait lobjet
de vifs dbats en mdecine. Dans ce travail, nous avons inclus laction du muscle lisse pulmonaire comme
paramtre de la rigidit bronchique. Dans le contexte du modle simpli (3.1), nous supposons que la varia-
tion de volume pulmonaire, V := V V
0
, se rpartit entre les bronches et les alvoles par un paramtre de
distribution . La variation de volume V est la somme de V
A
(pour les alvoles) et V
B
(pour les bronches) :
V
A
:= (1 ) V, V
B
:= V.
Cette approche est base sur une conservation du volume, en supposant que la dformation des tissus du
parenchyme se produit sans variation de volume.
Remarque 3.1 Le paramtre quantie la distensibilit des parois bronchiques : la valeur neutre de correspond
une dformation relative identique pour les bronches et les alvoles (autrement dit, les bronches sont aussi molles que les
alvoles). On a ainsi V
A
/V
0
A
= V
B
/V
0
B
, o V
0
A,B
dsigne le volume alvolaire ou bronchique au repos. Cette situation
correspond la valeur neutre
0
0.2. Lorsque <
0
, on considrera alors que le muscle lisse est actif et, en particulier,
lorsque est petit, lactivit du muscle lisse est importante puisquil tend empcher la dformation des bronches.
Nous supposons maintenant, de manire trs simplie, que les bronches se dforment de manire ho-
mothtique, i. e. sans modication de forme. Comme la rsistance des bronches est proportionnelle L/D
4
(L et D sont respectivement la longueur et le diamtre de la bronche) dans un coulement de Poiseuille, elle
est inversement proportionnelle au volume et on en dduit une expression non linaire de la rsistance :
R(V) :=
R
0
1 + (V V
0
)/V
0
B
, (3.2)
ce qui induit un modle mcanique non linaire incluant la dformation des bronches :
I

V + (R(V) + r)

V + E (V V
0
) = P
ext.
. (3.3)
3.1.2 Modle dchanges gazeux
Dnissons maintenant un critre simple defcacit du poumon. Un critre naf serait de dnir une
efcacit base sur la quantit dair qui pntre dans le poumon. Mais lefcacit du processus de ventilation
ne repose pas uniquement sur cette quantit mais aussi (et surtout) sur la quantit doxygne qui est transfre
dans le sang travers la paroi alvolo-capillaire. Ce ux doxygne est directement li la surface dchange
entre les alvoles et les capillaires et la quantit doxygne dans les alvoles. La surface dchange, note
S
A
, dpend directement du volume alvolaire :
S
A
V
2/3
A

_
V
0
A
+ (1 )(V V
0
)
_
2/3
.
tandis quun modle dappauvrissement de loxygne dans les alvoles permet didentier la concentration
moyenne doxygne t c(t) dans les alvoles. Ces deux quantits nous ont alors permis de dnir et
calculer le ux doxygne qui passe dans le sang :

Q(t) =
_
V
0
A
+ (1 )(V(t) V
0
)
_
2/3
c(t),
o dnit une capacit physiologique de diffusion de la membrane. Pour un temps donn, ce modle four-
nit une estimation qui caractrise la relation

_
. Lorsque est petit, les voies ariennes sont rigides,
linspiration na que peu deffet sur le volume de larbre bronchique et la rsistance des voies ariennes nest
que faiblement affecte par laugmentation du volume pulmonaire : cette situation peut tre induite par un
important tonus du muscle lisse qui limite la bronchodilatation passive rsultant de la traction lastique exer-
ce par le parenchyme sur les bronches. En consquence, le volume dair qui passe dans les voies ariennes
est rduit, mais la proportion dair inspir qui est disponible dans le volume alvolaire a augment : cela
correspond une augmentation de la surface dchange. Inversement, lorsque est grand, larbre bronchique
est distensible et se dilate aisment. linspiration, une plus grande quantit dair entre dans le thorax, mais
une moindre proportion atteint les alvoles. Cela correspond une augmentation de ce que lon appelle en
physiologie lespace mort et qui est dni comme la rgion ventile mais non alvole du systme respiratoire.
17. cet gard, le muscle lisse est directement impliqu dans certaines affections respiratoires, telles que lasthme : lutilisation de
broncho-dilatateurs permet alors dinhiber le muscle lisse, augmentant ainsi la lumire bronchique, ce qui favorise la ventilation.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
40 Chapitre 3. Mathmatiques appliques aux sciences du vivant
3.1.3 Discussion
En utilisant les valeurs issues de la littrature (en particulier, [Wei63, Wes74, BT06]), le modle capture
numriquement les principales donnes observables exprimentalement : amplitude des variations de volume
(0.5 L au repos, 2.5 L lexercice), concentration moyenne en oxygne dans les alvoles (14 %, contre 20 % dans
lair frais), ux moyen doxygne qui diffuse dans le sang (0.25 L min
1
au repos, 2.5 L min
1
lexercice).
i)
0.5 0 0.5 1
0,1
0,2
0.3

Q
_
(
L

m
i
n

1
)
ii)
0.5 0 0.5 1
0
1
2

Q
_
(
L

m
i
n

1
)
Figure 3.2 Inuence de la rigidit bronchique sur lefcacit du poumon, i) en respiration normale et ii) lexercice ; le paramtre
quantie la rigidit des bronches tandis que


Q
_
dsigne le ux moyen doxygne qui diffuse dans le sang. Notons que les valeurs
ngatives de traduisent une suractivit du muscle lisse, qui tend rduire la lumire bronchique pendant les manuvres respiratoires.
On sintresse au rle de la rigidit bronchique sur lefcacit du poumon, voir la Fig. 3.2. linspiration,
lorsque est proche de 0, le volume des bronches ne varie presque pas : la rsistance ne diminue que
faiblement (i. e. une plus faible quantit dair est entrane dans les voies ariennes) mais, par ailleurs,
laugmentation du volume thoracique se produit essentiellement dans le compartiment alvolaire, ce qui tend
augmenter la surface dchange. Ce phnomne de comptition entre deux effets antagonistes permet ainsi
de dnir une efcacit maximale pour une certaine valeur de . Dune part, on observe que cette efcacit
maximale est atteinte en
opt.
= 0.08 en respiration normale,
opt.
= 0.16 lexercice. Dautre part, lefcacit
chute brutalement lorsque, partir de cette efcacit maximale, on rigidie le systme (en diminuant la
valeur de ) : cela signie que le systme est plutt instable dans cette zone de fonctionnement. Notons que

opt.
diffre de la valeur neutre
0
correspondant une dformation relative identique pour les bronches et
les alvoles ; ainsi, le cas =
opt.
correspond une faible dformation des bronches et souligne le rle actif
du muscle lisse comme caractristique importante de lefcacit du poumon.
Notons que la courbe defcacit reproduit une observation rcurrente : une augmentation de la rigidit
bronchique, partir dune valeur haute, entrane des consquences beaucoup plus importantes sur lefcacit
de la ventilation quune perturbation de la rigidit bronchique partir dune valeur usuelle correspondant
une situation saine. De ce point de vue, la conguration optimale peut tre considre comme dangereuse,
car trs sensible aux petites perturbations. Cette situation est en accord avec les conclusions de Mauroy et ses
co-auteurs [MFAJS03], qui ont tudi la notion doptimalit gomtrique de larbre bronchique par rapport
la rsistance globale sous contrainte de volume. cet gard, la sous-optimalit par rapport au critre
defcacit, qui est observe en pratique, apparat comme un compromis entre optimalit et robustesse par
rapport aux perturbations. Ces observations sont en faveur dune hypothse du rle structurel du muscle
lisse bronchique destin optimiser les proprits convectives de larbre bronchique.
3.2 Modlisation du poumon : aspects non-linaires des changes gazeux
Nous dcrivons maintenant un modle original, dtaill dans [16], quantiant le transfert doxygne dans
le sang, bas sur lutilisation de paramtres physiologiques documents. Les enjeux de cette tude rsident
dans lidentication et la comprhension de mcanismes non-linaires rgissant le transfert doxygne dans
le sang. Cette approche vise enrichir le modle dchanges gazeux simpli, an dintgrer des effets non
linaires et didentier la sensibilit du transfert gazeux par rapport aux paramtres dans des rgimes de
fonctionnement usuels. Notons que, dans la littrature, le transfert doxygne est estim par une formule
simplicatrice, due Roughton & Forster [RF57], qui aboutit souvent des ajustements de paramtres ad hoc
lorsque lon vise intgrer des phnomnes non-linaires.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
3.2. Modlisation du poumon : aspects non-linaires des changes gazeux 41
3.2.1 Limitation diffusive du transfert doxygne
Saturation de lhmoglobine
Pour estimer le ux doxygne qui passe dans le sang

Q, on introduit le temps de transit
b
des globules
rouges dans la zone dchange et nous considrons, comme dans [ST11], que le phnomne suivant se produit
priodiquement chaque priode
b
: une quantit V
c
de sang veineux (le volume capillaire) est apporte
instantanment au voisinage des alvoles, reste dans la zone dchange pendant une dure
b
, puis est vacue
et remplace par la mme quantit de sang veineux. Le transfert net doxygne est la diffrence entre la
quantit totale doxygne lissue de ce cycle et la quantit initiale. De plus, nous supposons [BGA03] que la
pression partielle en oxygne dans les alvoles P
A
est constante et uniforme, que les proprits de diffusion
de la barrire air-sang sont constantes et uniformes le long des capillaires, et que la raction chimique de
loxygne avec lhmoglobine est instantane. Ainsi, dans le sang, loxygne existe sous deux formes :
sous forme native (ou libre) : sa concentration dans le plasma, note , est lie la solubilit de
loxygne dans le plasma et la pression partielle P de loxygne dans le plasma par la relation := P;
sous forme combine (capte par lhmoglobine) : sa concentration scrit 4Cf (P) o C est la concen-
tration totale dhmoglobine, le coefcient 4 est le nombre maximal de molcules doxygne quune
molcule dhmoglobine peut transporter et P f (P) [0, 1] quantie la saturation de lhmoglobine
en oxygne. Cette fonction de saturation de Hill est bien identie dans la littrature [KS98], voir Fig. 3.3 i. :
i.
0 25 50 75 100
0
0.25
0.5
0.75
1
%
H
b
(1*)
(1**)
(2)
P (mmHg)
ii.
0 0.25 0.5 0.75 1
40
60
80
100


P
(
m
m
H
g
)
t (s)
D
m
= 21 mL min
1
mmHg
1
D
m
= 5 mL min
1
mmHg
1
Figure 3.3 Saturation en oxygne de lhmoglobine : i. courbe de Hill P f (P) la pression partielle en oxygne dans le sang
veineux est denviron 40 mmHg au repos (1*) correspondant une saturation de lhmoglobine 75 %, et 30 mmHg lexercice
(1**) correspondant une saturation de lhmoglobine 60 %; elle atteint 100 mmHg en sortie du capillaire (2) correspondant une
saturation de lhmoglobine 97 %. ii. : volution en temps de la pression partielle en oxygne P dans les capillaires la pression
partielle atteint la valeur P

A
t = 0.75 s (au repos) ou t = 0.25 s ( lexercice) pour une valeur usuelle de la capacit diffusive de la
membrane ; en revanche, lquilibre des pressions partielles nest pas atteint lorsque la capacit diffusive de la membrane est dgrade.
Le ux instantan doxygne travers la membrane par diffusion passive est proportionnelle la diffrence
des pressions partielles (P
A
dans les alvoles, P dans le sang), et cette relation implique une quantit cruciale
D
m
qui est la capacit diffusive de la membrane alvolo-capillaire. La concentration doxygne dans le sang
sous les deux formes (libre et capture par lhmoglobine) scrit P + 4Cf (P), de sorte que lquilibre de la
quantit totale doxygne scrit :
V
c
d
dt
(P + 4Cf (P)) = D
m
(P
A
P), soit
_
1 + 4C
1
f

(P)
_

P =
D
m
V
c
(P
A
P). (3.4)
Notons que la prsence dhmoglobine tend ralentir la mise lquilibre de P vers P
A
: en captant loxygne,
elle joue le rle de pompe active qui favorise le transfert doxygne par le maintien dune diffrence de pression.
Intressons-nous maintenant deux aspects des changes gazeux : dune part, la dtermination du trans-
fert doxygne et, dautre part, la possible limitation diffusive du transfert doxygne.
Transfert doxygne
Remarquons dabord quen supposant que lquilibre entre les pressions partielles est atteint durant le
temps
b
pendant lequel le sang veineux est en contact avec les alvoles, la quantit doxygne qui a t
transfre ne dpend pas de la cintique. Si nous notons V
c
le volume capillaire, le taux de transfert doxygne
peut tre estim de la faon suivante : une quantit V
c
de sang veineux est apporte instantanment au
voisinage des alvoles, puis reste dans ce voisinage pendant un temps
b
, permettant aux changes de se
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
42 Chapitre 3. Mathmatiques appliques aux sciences du vivant
produire, puis est nalement vacue et remplace par la mme quantit de sang veineux ; ce phnomne
est reproduit priodiquement. Dans ce contexte, le transfert net doxygne correspond la diffrence entre
la quantit totale la n du cycle et la quantit totale en dbut de cycle. Comme la pression doxygne
initiale dans le plasma est P
V
, et la pression nale est P
A
(aprs un temps
b
), et comme la concentration
totale doxygne, sous formes native et combine, pour une pression partielle doxygne dans le plasma P,
est P + 4Cf (P), on obtient alors une estimation de la quantit doxygne transfre dans le sang :

Q =
V
c

b
_
P + 4Cf (P)
_
P
A
P
V
:=
V
c

b
(P
A
P
V
+ 4C( f (P
A
) f (P
V
))) . (3.5)
Ce modle simple permet de retrouver, sans aucun ajustement articiel de paramtres, lordre de grandeur
du taux de transfert doxygne au repos, en utilisant les valeurs usuelles de la littrature [BT06, CCM06,
KS98] :

Q = 250 mL min
1
, en accord avec les observations physiologiques [GH02, Wei84, WSF05].
Limitation diffusive du transfert doxygne
Lestimation propose prcdemment est base sur lhypothse que lquilibre entre les pressions par-
tielles est atteint pendant le temps que le sang passe au voisinage des alvoles. Cette hypothse est robuste :
dans des conditions normales, au repos, le temps ncessaire la ralisation de cet quilibre (0.25 s) est denvi-
ron le tiers du temps disponible (0.75 s) (voir la Fig. 3.3). Cependant, ce fait peut tre invalid dans certaines
situations, par exemple :
1. si D
m
est rduit (par exemple, dans le cas demphysme), le processus est ralenti, et le temps ncessaire
la ralisation de lquilibre peut alors devenir suprieur
b
; la Fig. 3.3 prsente une situation pour
laquelle D
m
passe de 21 mL min
1
mmHg
1
(valeur usuelle) 5 mL min
1
mmHg
1
;
2. si
b
est rduit signicativement (par exemple durant lexercice), cela peut diminuer le temps ncessaire
la ralisation de lquilibre ;
3. si V
c
augmente, la quantit doxygne ncessaire la ralisation de lquilibre augmente.
Le modle doit donc tre tendu an de prendre en compte cette possible mise en dfaut de lquilibre
des pressions partielles durant le temps disponible
b
. Cela est obtenu par la rsolution de lquation (3.4)
sur un intervalle de temps (0,
b
), partir dune valeur initiale xe la pression partielle en oxygne du
sang veineux, i. e. P(0) = P
V
. Si on note P

A
:= P(
b
) la valeur de P au temps
b
, le transfert doxygne
correspondant est alors

Q =
V
c

b
_
P + 4Cf (P)
_
P

A
P
V
:=
V
c

b
(P

A
P
V
+ 4C( f (P

A
) f (P
V
))) .
Remarquons que si lquilibre des pressions partielles est atteint, i. e. P

A
= P
A
, on retrouve alors le modle
prcdent (sans limitation diffusive) mais la forme gnrale doit tre conserve si lon souhaite modliser des
pathologies ou des situations extrmes (rduction drastique de D
m
ou de
b
durant lexercice etc.). Pour un
rgime donn caractris par une ventilation priodique contrle par les muscles abdominaux (dont laction
est modlise par P
ext.
), de priode T, on dnit alors


Q
_
la moyenne en temps du ux doxygne qui passe
dans le sang : cest cette quantit qui dnit la fonction utilit du poumon dans les tudes suivantes.
Discussion
Les rsultats numriques permettent de reproduire qualitativement et quantitativement les principales
donnes observables telles que la variation de volume, le dbit, la concentration alvolaire moyenne et le
ux moyen doxygne transfr dans le sang. Nous nous sommes galement intresss la dpendance de
la fonction utilit


Q
_
par rapport aux variations relatives dun ensemble de paramtres. La caractristique
la plus frappante, parmi les rsultats, est labsence de sensibilit par rapport la capacit diffusive de la
membrane alvolo-capillaire D
m
au repos, dans des conditions normales de fonctionnement. Cest une cons-
quence directe de la mise lquilibre des pressions partielles en un temps qui est beaucoup plus faible que
le temps de transit
b
. Le systme est trs robuste, de ce point de vue : la membrane alvolo-capillaire peut
tre dgrade jusqu un certain point (i. e. D
m
peut tre rduit de faon importante) sans effet signicatif sur
le transfert doxygne. Notons que cette robustesse est typique des conditions de fonctionnement au repos.
lexercice, avec une frquence cardiaque plus leve (
b
0.25 s), cette zone de scurit nexiste plus, et
une diminution de la capacit diffusive de la membrane dgrade le transfert doxygne. Ces rsultats sont
synthtiss par la Fig. 3.4 (non publie).
Une autre source de dgnrescence repose sur la forme plate de la courbe de Hill au voisinage de la
pression dquilibre entre les pressions partielles (100 mmHg). Si lon nglige la limitation diffusive, le ux
moyen doxygne transfr dpend de la fonction de saturation f value en P
A
= cP
atm
, o c dsigne la
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
3.2. Modlisation du poumon : aspects non-linaires des changes gazeux 43
1.59E5 7.95E6 3.975E6
0
0.05
0.1
0.15
0.2
0.25
1.59E5 7.95E6 3.975E6
0
0.5
1
1.5
2
2.5

Q
_
(
L

m
i
n

1
)

Q
_
(
L

m
i
n

1
)
D
m
(mol s
1
mmHg
1
)
D
m
(mol s
1
mmHg
1
)
Figure 3.4 Modle intgr : ux moyen doxygne transfr dans le sang comme une fonction de la capacit diffusive de la membrane
alvolo-capillaire au repos (h.) et lexercice (b.).
concentration doxygne dans lair alvolaire (denviron 14 %) et P
atm
la pression atmosphrique. Comme
cela est illustr sur la Fig. 3.3, cette valeur est presque constante lorsque la pression partielle doxygne est
plus grande que 70 mmHg, ce qui correspond une concentration alvolaire en oxygne denviron 10%.
Le transfert doxygne est donc largement insensible la concentration alvolaire moyenne si celle-ci reste
suprieure 10 %. Cela explique pourquoi la sensibilit par rapport aux paramtres mcaniques pour un patient
sain au repos est faible. Par exemple, une augmentation de llastance entrane mcaniquement une diminution
du volume courant et, en consquence, du renouvellement de loxygne par ventilation et, nalement, de la
concentration alvolaire. Mais tant que cette valeur (qui est typiquement de 15 %) reste au-dessus de 10 %,
cela naffecte pas le transfert doxygne de faon signicative.
3.2.2 Htrognit des changes gazeux le long de lacinus pulmonaire
An de dcrire lhtrognit de la distribution de loxygne dans le poumon, nous introduisons un
modle EDP bas sur la dimension longitudinale x de larbre bronchique, structure dichotomique de 23 g-
nrations. notre connaissance, Paiva & Engel [PE84] ont t les premiers proposer un modle EDP an
dtudier cette htrognit durant le processus respiratoire : une quation de convection-diffusion pour
la concentration doxygne est propose bien que le modle contienne de srieuses limitations : absence
de terme source modlisant labsorption doxygne (la concentration est prescrite en bout darbre), absence
de modle mcanique (une variation de volume articielle est impose). Cette approche a t tendue par
Foucquier [Fou10] pour prendre en compte le transfert doxygne. Une approche similaire a t propose
dans [ST11]. Nanmoins, les quations que nous obtenons prsentent des diffrences importantes : le terme
source dcrivant les changes gazeux le long de larbre dans lacinus (partie alvole de larbre bronchique)
est estim partir du modle non-linaire prsent dans la sous-section prcdente, et lensemble des qua-
tions lui-mme est obtenu de manire trs diffrente, de sorte que le modle est compltement conservatif
(contrairement aux modles proposs dans [Fou10, ST11]) pour les quantits dair et doxygne, fournissant
ainsi des proprits consistantes dun point de vue physique : principe du maximum et ingalit de Jensen.
Modle EDP
Le cur de cette approche repose sur quatre quantits gomtriques qui peuvent tre dnies localement
le long de larbre bronchique (voir [WSF05, Wei84, PE84]) :
1. la longueur moyenne de chaque gnration est la longueur du trajet, de la trache la n de la gnration
terminale, construite sur ces donnes physiologiques ;
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
44 Chapitre 3. Mathmatiques appliques aux sciences du vivant
2. la section transverse, note S, correspond la section transverse totale disponible pour le ux longitu-
dinal. Prs de lentre, avant la premire bifurcation, cela correspond simplement la section de la
trache, tandis qu la gnration n (aprs n bifurcations), elle est xe 2
n
fois la section transverse
dune bronche de cette gnration. Cette variable est particulirement documente dans la littrature ;
3. le volume linique

V correspond au volume du poumon par unit de longueur longitudinale, incluant
le volume de tous les alvoles connects aux bronches de chaque gnration. Notons que pour la partie
conductive (i. e. non alvole, de la gnration 1 15), cette donne est gale la variable prcdente S,
tandis quelle devient beaucoup plus grande lorsque lon entre dans la partie acinaire (i. e. alvole, de
la gnration 16 23).
4. la surface dchange linique

correspond la surface des alvoles disponible pour les changes gazeux
par unit de longueur. Cette donne, homogne une longueur, est gale 0 pour la partie conductive,
et commence augmenter lorsque lon entre dans la zone acinaire. La surface alvolaire totale, denviron
120 m
2
, est distribue par gnration en proportion de la surface bronchique, comme cela est suggr
dans les modles morphomtriques [WSF05].
Les quantits dnies ci-dessus vrient par construction
_
L
0

V(x, t) dx = V(t),
_
L
0

(x, t) dx = (t),
o V(t) est le volume total de lair contenu dans les poumons, (t) est la surface totale dchange. En notant
u la vitesse longitudinale de lair le long de larbre, le modle EDP est obtenu par conservation des quantits
dair, considr comme incompressible, et doxygne :

t
(

V) +
x
(Su) = 0, (3.6)

t
(

Vc) +
x
(Scu) D
O
2

x
(S
x
c) =

q(c), (3.7)
o q(c) dcrit le ux doxygne qui passe dans le sang, dni selon lapproche dveloppe dans le modle in-
tgr prsent dans la sous-section prcdente (par simplicit, nous ngligeons les phnomnes de limitation
cintique dans la prsentation bien que leur intgration dans le modle EDP ne pose aucune difcult) :
q(c) :=
V
c

b
(cP
atm
P
V
+ 4C( f (cP
atm
) f (P
V
))) . (3.8)
Les quations (3.6) et (3.7) modlisent ainsi le transport advectif de lair et le transport advectif-diffusif de
loxygne (incluant le terme de perte d au transfert doxygne dans le sang) le long de larbre bronchique.
Remarque 3.2 Le modle repose sur une hypothse duniformit de la concentration doxygne dans la direction trans-
verse. Cette hypothse appelle deux remarques importantes : dune part, elle restreint cette approche une situation
gomtrique rgulire, dont les caractristiques et les variables dynamiques ne dpendent que de la dimension longitu-
dinale ; dautre part, elle induit quau niveau dune bronche individuelle alvole, la concentration est uniforme dans
chaque section, y compris dans les alvoles relis la bronche de mme abscisse. Cette dernire hypothse peut tre
justie en considrant le coefcient de diffusion de loxygne dans lair, qui est D
O
2
= 2 10
5
m
2
s
1
, ainsi que la
direction transverse dordre h = 1 mm : on obtient alors un temps caractristique de h
2
/D
O
2
= 0.05 s, de sorte que la
diffusion passive assure luniformit locale quasi-instantane dans la direction transverse.
Bilan sur la quantit doxygne et lien avec le modle intgr
Le bilan sur la quantit doxygne est ralis par intgration lquation (3.7) sur [0, L] :
d
dt
_
_
L
0
(

Vc)(x, t) dx
_
= T
in
(t) T
out
(t)

Q(t)
o T
in
(t) et T
out
(t) 0 reprsentent le ux total T(, t) (advectif et diffusif) lentre (en x = 0) et au bout
de larbre (en x = L) et o le ux doxygne transfr dans le sang est dni par

Q(t) :=
_
L
0

(x, t)
(t)
q(c(x, t)) dx.
Remarque 3.3 (Principe du maximum) Le ux doxygne transfr dans le sang,

Q(t) peut tre interprt comme
lesprance de q(c) selon la mesure de probabilit

(x, t) dx/(t) sur [0, L]. Notons que, comme q est croissante, on a

Q [ q(c
min
), q(c
max
)].
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
3.2. Modlisation du poumon : aspects non-linaires des changes gazeux 45
Remarque 3.4 (Ingalit de Jensen) Comme c q(c) est concave dans la zone dintrt, lingalit de Jensen scrit

Q(t) q(c(t)), avec c(t) =


_
L
0

(x, t)
(t)
c(x, t) dx,
c tant la valeur moyenne instantane de la concentration doxygne. Notons galement que cette ingalit est stricte ds
lors que la concentration nest plus uniforme. Cette remarque jette une lumire sur une diffrence par rapport au modle
intgr construit en sous-section 3.1.2 : ce dernier est bas sur le fait que la quantit doxygne transfre est estime par
q(c), o c est la valeur moyenne de c dans tout le poumon. Cette approche serait exacte si q tait afne mais, comme elle
est strictement concave dans la zone dintrt, le modle intgr surestime systmatiquement ce transfert.
Discussion
Le modle EDP fournit une information sur la distribution de loxygne le long de larbre bronchique.
La Fig. 3.5 (h.) reprsente, pour chaque gnration, la concentration moyenne locale en oxygne, ainsi que
les valeurs extrmes durant le cycle de ventilation. La concentration moyenne est quasiment uniforme dans
la partie conductive, jusqu la 15me gnration, diminue lorsque lon entre dans la zone acinaire, et reste
quasiment uniforme et constante en temps dans les dernires gnrations.
Notons que la valeur de 14 % obtenue au bout de larbre, o se produit lessentiel du transfert doxygne,
correspond une pression partielle de 0.14 760 mmHg 100 mmHg, en accord avec les valeurs docu-
mentes dans la littrature, voir [Wes74, GH02, BT06]. En particulier, lintrt de ce modle rside dans la
sa capacit dterminer la valeur bien connue de la concentration moyenne en oxygne dans les alvoles,
environ 14 %, alors que le modle intgr tend surestimer cette valeur. La Fig. 3.5 (b.) dtaille les diff-
rentes contributions des diffrentes gnrations en transfert doxygne. Comme cela est attendu, lessentiel
des surfaces dchange est localis dans les deux dernires gnrations de sorte que le transfert doxygne
est essentiellement concentr dans ces gnrations et que la contribution des rgions proches de lentre de
lacinus est trs faible. Qualitativement, nos rsultats sont proches de ceux parus dans [ST11]. Le modle nous
a aussi permis dtudier lhypothse du phnomne dcrantage diffusionnel [FFS03], i. e. la possibilit que le
transfert doxygne soit signicativement affect par le fait que la zone dchange localise dans les dernires
gnrations ne participe que faiblement au transfert doxygne, fournissant ainsi une rserve capacitaire na-
turelle pour le transfert doxygne lexercice. Clairement, ce phnomne nest pas identi dans les rgimes
que nous avons considrs, linstar des rsultats publis dans [ST11] . Ainsi, le transfert doxygne ne joue
pas un rle signicatif dans la diminution de la pression partielle doxygne le long de larbre. Mais, contrai-
rement aux modles prcdents, le critre que nous utilisons ne dpend pas uniquement de lhtrognit
de la concentration doxygne le long de larbre mais aussi dune tude quantitative du transfert doxygne.

Q
_
(
L

m
i
n

1
)
0.05
0.1
0.15
0
0 5 10
15
15
20
20
25
25
0.2
0.16
0.12
C
o
n
c
e
n
t
r
a
t
i
o
n
Gnration
Gnration
Figure 3.5 Modle EDP : concentration moyenne en oxygne et ux moyen doxygne transfr dans le sang par gnration, au
repos. Les cercles indiquent la valeur moyenne sur un cycle de respiration, tandis que la limite suprieure (resp. infrieure) indique la
valeur maximale (resp. minimale) de la concentration au cours du cycle.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
46 Chapitre 3. Mathmatiques appliques aux sciences du vivant
3.3 Simulation de suspensions passives : une approche de type dynamique
stokesienne
Les approches thoriques visant dterminer le comportement de suspensions dentits rigides ou dfor-
mables, passives ou actives, ont longtemps t limites lanalyse de suspensions dilues. Cette approche a
commenc avec les travaux fondateurs dEinstein [Ein06] sur la viscosit effective dune suspension dilue de
sphres rigides et, depuis, elle a t complte par de nombreux travaux (Batchelor [Bat74], Brenner [Bre74],
Jeffrey & Acrivos [JA76], Russel [Rus80], Davis & Acrivos [DA85]). Du point de vue de la prdiction, la
plupart de ces travaux sintressent des suspensions aux concentrations solides faibles, et dont le comporte-
ment est essentiellement dtermin par les interactions par paire. Lorsque lon sintresse des suspensions
denses, une nouvelle mthodologie est ncessaire, an de dpasser les deux difcults majeures suivantes :
la dtermination des interactions (hydrodynamiques) multi-corps entre les particules,
la dtermination de la distribution en espace et en temps des entits.
La dtermination des interactions hydrodynamiques entre les particules contient deux types de difcults :
dans le cas de suspensions denses, les forces de lubrication jouent un rle essentiel dans la dynamique
de la macro-structure. Ces forces sont dues la prsence dune ne couche de uide visqueux entre les
entits en quasi-contact. Un effet majeur de la lubrication rside dans le fait que le mouvement relatif
entre deux entits tend vers 0 lorsque leur distance tend vers 0.
les interactions longue porte rsultent de toutes les perturbations du champ de vitesse due la
prsence des entits voluant dans le uide. Elles soulignent limportance des interactions multi-corps.
De plus, la microstructure ne peut tre spcie a priori mais doit tre considre comme une inconnue
supplmentaire du problme : les entits voluent dans le uide, soumises non seulement aux forces non-
hydrodynamiques (qui peuvent tre modlises trs simplement dans certains cas), mais aussi aux forces
hydrodynamiques (qui peuvent tre difciles identier, comme soulign prcdemment).
Du point de vue du calcul scientique, pour un modle uide (par exemple les quations de Stokes) et
un modle solide (par exemple, contrainte de mouvement rigide pour des objets dlimits par une frontire)
nous distinguons les approches directes, bases sur le calcul effectif de lcoulement uide et de linteraction
avec les objets dcrits individuellement, des approches bases sur des approximations visant rduire les cots
de calculs au prix de simplications physiques. cet gard, les mthodes directes pour des suspensions avec
des concentrations solides denses sont coteuses et des mthodes dapproximation sont parfois ncessaires
pour tenter de dcrire le comportement global dune suspension. En ce sens, larticle [17] prsent dans cette
section propose une mthode de simulation approche pour des suspensions passives 3D tandis que le travail
prsent en section 3.4 est bas sur une approche directe pour des suspensions actives 2D.
3.3.1 Modlisation dun macro-objet partir de sphres rigides
Dans ce travail, nous nous sommes intresss la simulation de suspensions passives dentits telles que
des sphres, des globules rouges, des chanes de polymre et, dune manire gnrale des objets rigides dans
un uide visqueux, partir dune approche granulaire mise en place dans le cadre du dveloppement dun
code de calculs C++, dvelopp par Aline Lefebvre [Lef07]
18
.
Un macro-objet est modlis partir dun assemblage de sphres rigides dont la cohsion est assure par la
dnition dinteractions. titre dillustration, un globule rouge, dont la forme caractristique est un discode
biconcave, est fabriqu en dnissant des interactions deux et trois corps entre une sphre, situe au
centre, et 10 sphres priphriques pour lesquelles on autorise une interpntration apparente (en dnissant
un rayon interne pour les sphres appartenant au mme globule rouge, et un rayon extrieur pour la gestion
des contacts avec les autres macro-objets). La stabilit de la forme biconcave du macro-objet est assure par la
dnition de forces dinteraction entre les sphres, en particulier des interactions deux corps entre la sphre
centrale et les sphres priphriques, des interactions deux corps entre sphres priphriques adjacentes,
et interactions trois corps entre sphres priphriques adjacentes (an dassurer la rigidit de lobjet). La
sphre centrale est de taille plus petite que les sphres priphriques, ce qui confre au macro-objet une forme
biconcave, voir les Fig. 3.6 et 3.7. ce stade, la dynamique aboutissant la formation des objets na pas de
sens physique : cest une tape pralable la modlisation numrique du uide environnant.
3.3.2 valuation numrique des interactions hydrodynamiques
Nous nous sommes intresss au dveloppement dune mthode permettant dtudier le comportement
de suspensions denses dentits rigides (telles que celles qui ont t dcrites ci-dessus) dans un uide vis-
queux, en portant une attention particulire aux interactions courte porte entre ces entits (forces de
contact, forces de lubrication). En ce qui concerne le uide lui-mme, la stratgie consiste viter le calcul
18. Code SCOPI : https://www.projet-plume.org/relier/scopi
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
3.3. Simulation de suspensions passives : une approche de type dynamique stokesienne 47
i. ii.
Figure 3.6 Modlisation dun globule rouge : la forme biconcave est dnie par les interactions deux ou trois corps entre des
sphres appartenant au macro-objet et par lutilisation dun algorithme de contact : i. conguration initiale et ii. conguration nale
des sphres, aboutissant la dnition dun objet stable de forme biconcave.
i. ii.
Figure 3.7 Formation de 500 globules rouges : i. conguration initiale et ii. conguration nale des sphres.
direct et coteux de la solution des quations de Stokes, en dterminant uniquement les forces dinteraction
qui jouent un rle signicatif dans le comportement gnral de la suspension.
Le problme hydrodynamique est, de manire inhrente, un phnomne multi-corps avec des singularits
longue et courte distances. Happel & Brenner [HB73] ont montr que, dans le cas de particules sphriques
situes une position q dans un coulement de Stokes en cisaillement, on peut relier la vitesse des particules
U aux forces dinteractions hydrodynamiques F par une relation instantane linaire
F = ! (Uc q) + c,
o c est le tenseur (connu) de cisaillement de lcoulement non perturb ; ! (dite matrice de rsistance) et
(dite matrice de rsistance au cisaillement) ne dpendent que de la position courante des particules. On peut
galement inverser la relation entre les forces hydrodynamiques et le champ de vitesse par
U = / (F c) +c q,
o / = !
1
est appele matrice de mobilit. Lenjeu est alors de construire, chaque pas de temps, cette
matrice de rsistance (ou de mobilit) qui ne dpend que de la position des sphres an dvaluer le vec-
teur vitesse U au temps courant, puis de mettre jour la position des particules. Notons que lhypothse
dadditivit par paire des interactions peut tre dnie de deux manires diffrentes :
par additivit dans la construction de /, i. e. par la superposition des perturbations des vitesses ;
par additivit dans la construction de !, i. e. par superposition des forces.
Ces deux approximations ne sont pas quivalentes, mais Brady & Bossis [BB88] privilgient la superposition
des forces, qui semble respecter davantage la physique des suspensions car les forces de lubrication, qui sont
values en formulation rsistance, empchent linterpntration des particules. Ainsi, sous cette hypothse
dadditivit, il suft de connatre la matrice de rsistance pour deux sphres uniquement (et pour toute
distance entre ces deux sphres) an de procder lassemblage de la grande matrice.
Comment construire la matrice de rsistance en pratique ? Dans le cas de deux sphres, tous les lments
de la matrice de rsistance sont connus de manire exacte [JO84], en raison de la simplicit de la conguration
gomtrique qui repose sur un unique vecteur : la distance entre les deux particules. Nanmoins, il nexiste
pas de forme analytique simple valable pour toute distance de sparation. On utilise alors des expressions
approches : les forces longue porte sont implantes en formulation mobilit par la mthode des rections
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
48 Chapitre 3. Mathmatiques appliques aux sciences du vivant
[Luk89] tandis que les forces de lubrication [JO84, DM03] sont exprimes en formulation rsistance. Cela
aboutit la dnition dune matrice de mobilit longue porte /

et dune matrice de rsistance courte


porte !
2B
. La matrice de rsistance globale ! est construite en rassemblant ces informations.
Dans ce cadre dapproximation, nous avons prsent dans [17] des simulations numriques prliminaires
sur des suspensions denses de sphres, de globules rouges, et de chanes de polymre, partir de lois de
Faxen et en intgrant les forces de lubrication.
3.4 Simulation de suspensions actives : une approche directe
Dans cette section, nous prsentons une approche directe pour la simulation de suspensions actives.
Contrairement la modlisation du poumon qui est base sur la construction de modles simplis partir
de donnes observables en raison de la complexit des phnomnes aux petites chelles, cette approche est
construite sur une (relative) bonne connaissance des observables lchelle microscopique ; en revanche, la
difcult repose sur la grande complexit qui merge de linteraction entre les micro-nageurs.
Dans [18], nous nous sommes intresss la modlisation des bactries , qui sont capables de nager dans
un uide visqueux par auto-propulsion. Ces bactries sont si petites (3m 1m) qu leur chelle, le uide
est essentiellement visqueux et les effets inertiels peuvent tre ngligs. Dun point de vue hydrodynamique,
deux aspects essentiels la comprhension de ces suspensions ont merg : une dynamique collective, carac-
trise par lapparition de structures cohrentes [CCD
+
07, DCC
+
04, SS12, SAGK07], est observe dans des
suspensions concentres, rvlant de grandes structures qui voluent de faon codirectionnelle, se dplaant
de manire chaotique des vitesses suprieures la vitesse dun micro-nageur isol, donnant lapparence de
turbulence. Par ailleurs, la rhologie de ces suspensions actives est un enjeu majeur car elle vise mesurer des
paramtres macroscopiques permettant de caractriser la motilit dune population de micro-nageurs.
Numriquement, les approches microscopique-macroscopique dans la littrature sont nombreuses mais
elles nintgrent pas lensemble des difcults numriques : description individuelle de chaque bactrie phy-
siquement reprsente, description du uide par la rsolution exacte des quations de Stokes et simulation
numrique pour des concentrations denses de micro-nageurs. Ainsi certains modles sont bass sur des ap-
proximations visant simplier le calcul : on peut ainsi simplier la prsence dune bactrie en la reprsentant
par un simple diple de forces [HABK08] ou le calcul de lcoulement uide par lutilisation de noyaux de
Green et dun principe de superposition [SS07, HS
+
09, IP07, CCD
+
07]. Ces simplications permettent dat-
teindre efcacement des simulations 3D, parfois jusqu des concentrations denses, mais au prix dapproxi-
mations dans la dtermination des interactions hydrodynamiques des micro-nageurs alors que, prcisment,
lenjeu li la comprhension de ces suspensions consiste identier la nature des interactions aboutissant
aux dynamiques collectives observes : cet gard, la simulation directe constitue un outil danalyse efcace.
Dans les modles directs, le modle dautopropulsion est phnomnologique mais les bactries sont ef-
fectivement reprsentes un niveau individuel et voluent dans un uide visqueux dont les caractristiques
sont dtermines par un calcul direct, permettant une meilleure description des interactions hydrodyna-
miques, en particulier des forces de lubrication. Ainsi Gyrya et ses co-auteurs [GLAB11] ont considr des
bactries 2D mais les calculs se limitent aux suspensions dilues ou modres. Les travaux de Jibuti [Jib11]
se sont intresss des calculs 3D mais pour un faible nombre de nageurs. Dans ce travail, nous prsentons
des simulations directes de suspensions denses ; nanmoins cette approche est limite au cas 2D.
3.4.1 Aspects hydrodynamiques
Les bactries de type pusher, telles que Escherichia coli ou Bacillus subtilis [Ber83], sont modlises par des
particules rigides B de forme ellipsodale associes une force dautopropulsion localises dans un agelle
P, de magnitude F
P
et direction , voir Fig. 3.8. Lquilibre des forces pour un micro-nageur isol est un
lment essentiel de cette dynamique : la force de propulsion des agelles doit tre gale, au signe prs, la
force de traine du corps de la bactrie qui est connect au agelle, soit F
p
= F
p
= F
b
. Par ailleurs, ces
forces sont dnies comme des forces volumiques f
p
et f
b
dintensit constante. Le modle est ainsi dni :
Les particules rigides, dnies comme des inclusions rigides (B
i
)
i=1...N
dans un domaine , dsignent
les corps des bactries. On note alors B =
i=1...N
B
i
le domaine rigide, x
i
les coordonnes du centre de
masse de B
i
,
i
langle dnissant la position du agelle de B
i
, V = (V
i
= x
i
) R
2N
(resp. = (
i
=

i
) R
N
) le vecteur vitesse de translation (resp. rotation) des bactries.
Le uide est modlis par les quations de Stokes, dnies sur le domaine uide uniquement :
_

_
u(x, t) +p(x, t) = f
f
(x, t) :=
N
i=1
f
p
i
(t)
P
i
(t)
(x) (x, t)
t(0,)


B(t) t,
div(u(x, t)) = 0 (x, t)
t(0,)


B(t) t,
u(x, t) = 0 (x, t)
t(0,)
t,
u(x, t) = V
i
(t) +
i
(t) (x x
i
(t))

(x, t)
t(0,)
B
i
(t) t, i.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
3.4. Simulation de suspensions actives : une approche directe 49
i.
ag

F
b
F
p
P
B

ii.

F
b
F
(1)
p
F
(2)
p
P
(1)
P
(2) B
Figure 3.8 Modlisation des bactries auto-propulses. i. Pusher : le corps B est suppos rigide tandis que laction du agelle sur
le uide environnant est localise par un terme de propulsion en aval du corps de la bactrie P; ii. Puller : laction des cils P
(i)
sur
le uide environnant est localise par des terme de propulsion en aval du corps B du micro-nageur.
Le terme source modlise laction des agelles sur le uide. On considre des conditions dadhrence
sur le bord des corps rigides : la vitesse impose traduit ici la contrainte de mouvement rigide des
bactries dont les vitesses de translation V
i
et de rotation
i
sont inconnues.
Le couplage uide-structure repose sur lquilibre des forces (seconde loi de Newton) : pour tout i,
_
B
i
(t)
f
b
i
(t) dx
_
B
i
(t)
(x, t) n(x, t) dx = 0,
_
B
i
(t)
(x x
i
(t))

f
b
i
(t) dx
_
B
i
(t)
(x x
i
(t))

((x, t) n(x, t)) dx = 0.


Si les pushers utilisent un agelle qui exerce une force nette sur le uide par un mouvement non-rciproque,
dautres micro-organismes, tels que Chlamydomonas reinhardtii, utilisent deux cils reproduisant une brasse : ce
mouvement de traction aboutit la dnition de micro-nageurs de type puller (voir Fig. 3.8 et 3.10).
Par simplicit, en raison de linstantanit des quations de Stokes, la dpendance des fonctions par
rapport au temps nest plus prcise. En utilisant la contrainte de mouvement rigide dnie sur la partie
solide (modlisant le corps des bactries), on peut tendre le champ de vitesse dans tout le domaine (uide
et solide) et exploiter une caractrisation du mouvement rigide :
K
B
=
_
u H
1
0
(), D(u) = 0 p.p. dans B
_
, V
B
=
_
p L
2
0
(), p = 0 p.p. dans B
_
.
Autrement dit, K
B
est lespace des fonctions qui ne dforment pas B. Cela nous permet de dnir une
formulation variationnelle dnie sur tout le domaine (uide et solide) avec un espace fonctionnel contraint :
_

_
Trouver (u, p) K
B
V
B
tel que
2
_

D(u) D( u)
_

p div( u) =
_

f u, u K
B
,
_

q div(u) = 0, q V
B
,
avec f :=
N

i=1
_
f
b
i

B
i
+ f
p
i

P
i
_
. La dynamique des bactries est alors dtermine par
x
i
= V
i
:=
_
B
i
u(x, ) dx,

i
=
i
:=
_
B
i
u(x, ) (x x
i
)

dx
_
B
i
|x x
i
|
2
dx
.
Algorithme de rsolution
Numriquement, an dviter des procdures coteuses de remaillage du domaine uide, nous avons
choisi une approche de type domaine ctif, qui a dj t utilise dans le cadre de la simulation uide-
particules. Une possibilit est dutiliser un algorithme itratif sur un champ auxiliaire, compos de multi-
plicateurs de Lagrange, permettant de garantir la contrainte de mouvement rigide des particules. Une autre
possibilit repose sur les mthodes de pnalisation : la contrainte de mouvement rigide est obtenue par re-
laxation dun terme dans la formulation variationnelle. Ainsi, plutt que travailler avec un espace fonctionnel
avec contrainte, nous obtenons une formulation mixte pose dans un espace classique (non contraint) et dont
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
50 Chapitre 3. Mathmatiques appliques aux sciences du vivant
la solution est facilement calculable avec un solveur lments nis usuel ( cet effet, nous avons dvelopp
un code Freefem++
19
, par facilit dimplantation, mais sans restriction mthodologique quant lutilisation
dautres solveurs). Dcrivons lalgorithme en supposant la position des bactries au temps t
n
connue.
i. Rsolution du problme mixte. Le champ de vitesse instantane u
n
est dtermin par la rsolution du
problme mixte pnalis associ au terme source f := f
n
=
N
i=1
(f
b
i
(t
n
)
B
n
i
+f
p
i
(t
n
)
P
n
i
), o
B
n
i
(resp.

P
n
i
) est la fonction caractristique associe aux corps rigides (resp. agelles) au temps t
n
, le diple
compos des forces volumiques f
b
i
(t
n
) et f
p
i
(t
n
) est dirig selon lorientation de la bactrie au temps t
n
et le terme de pnalisation est dni sur B := B
n
, le domaine rigide au temps t
n
.
ii. Calcul des vitesses. On identie les vitesses instantanes de translation et rotation des bactries :
V
n
i
=
1
mes(B
n
i
)
_
B
n
i
u
n
(x) dx,
n
i
=
_
B
n
i
u
n
(x) (x x
n
i
)

dx
_
B
n
i
|x x
n
i
|
2
dx
iii. Mise jour des positions. La position des bactries au temps t
n+1
= t
n
+t est dtermine par
x
n+1
i
= x
n
i
+t V
n
i
,
n+1
i
=
n
i
+t
n
i
.
La Fig. 3.9 (resp. Fig. 3.10, non publie) prsente le champ de vitesse et les lignes de courant gnres par une
bactrie de type pusher (resp. puller). De mme, la Fig. 3.11 reprsente les mmes informations pour une col-
lection de cinq bactries de type pusher, laissant entrevoir la complexit des interactions hydrodynamiques.
La Fig. 3.12, non publie, prsente les champs de vitesse et de vorticit pondre gnrs par 400 bact-
ries : lcoulement semble turbulent, avec des rgions cohrentes beaucoup plus grandes que les dimensions
dune bactrie et apparaissant de faon intermittente. La prsence de ces structures rsultent uniquement
des interactions hydrodynamiques entre les micro-nageurs. Par ailleurs, lanalyse quantitative aboutit la
caractrisation dune taille et dun temps dexistence dont les ordres de grandeur sont comparables ceux
dtermins exprimentalement [SAGK07] dans un lm mince. Enn, linuence de la motilit sur la viscosit
effective a t tudie : la diminution (resp. laugmentation) de la viscosit effective pour des pushers (resp.
pullers) [SA09, RJP10] est valide et des tudes extensives sont en cours, an de quantier la dpendance de
la viscosit par rapport la concentration de bactries, an dtendre les lois de viscosit tablies par analyse
asymptotique pour des concentrations dilues des lois de viscosit pour des concentrations denses.
3.4.2 Aspects chimiotactiques
La bioconvection constitue un enjeu de comprhension important de la dynamique collective de micro-
nageurs. Dans une suspension non sature en oxygne, les bactries nagent vers linterface uide-air qui est
riche en oxygne. Comme les bactries sont environ 10 % plus denses que leau, laccumulation linterface
aboutit un gradient instable sous leffet de comptition avec la gravit, crant ainsi une dynamique convec-
tive. Dans un mnisque horizontal, ces stratications voluent en instabilits hydrodynamiques dcrites par
des panaches entranant les bactries de la surface vers le fond. Nous nous sommes intresss en particulier
deux expriences [DCC
+
04, TCD
+
05], dans lesquelles une dynamique de bioconvection pour des suspen-
sions de B. subtilis sont prsentes. Les expriences montrent en particulier linuence de la gomtrie de
la goutte sur cette dynamique. Les bactries nagent vers la surface libre et, sous linuence de la gravit,
glissent le long du mnisque vers le fond ou retombent vers le fond au sein de colonnes instables. Un
tourbillon hydrodynamique persistant favorise ladvection doxygne dans la suspension.
Modle de run and tumble
Individuellement, les bactries alternent deux modes de comportement basiques [Ber83] : un dplacement
quasi-rectiligne dans une direction donne appel run et un mouvement hautement erratique appel tumble
dont le but est de rorienter la bactrie. Les bactries se dplacent ainsi en fonction du gradient du chimio-
attractant [Ber83, KP92]. La dure dun run ( 1 s) est beaucoup plus grande que la dure dune phase de
tumble ( 0.1 s) mais, en fait, lorsque les bactries se dplacent dans une direction favorable, les dures de
run augmentent. Ces bactries tant trop petites pour dtecter instantanment les diffrences spatiales en
concentration du chimio-attractant, elles mesurent le gradient de concentration en lvaluant successivement
et continment en temps au cours de leur dplacement. Cette alternance entre les deux modes, en particulier
laugmentation du temps de run lorsque la direction est favorable, aboutit cette observation : sur de grandes
chelles de temps, les bactries effectuent une marche alatoire avec un biais dans la direction favorable.
Dtaillons le processus de run-and-tumble [SBB86, KP92, LP09, BP00, EO04, Loc07] : les bactries que
nous considrons se dplacent en alternant des run et des tumble, en biaisant la dure des run. Les run sont
19. Code SOPHIALOREN : https://www.projet-plume.org/relier/sophialoren
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
3.4. Simulation de suspensions actives : une approche directe 51
Figure 3.9 Bactrie de type pusher dans un uide au repos : champ de vitesse et lignes de courant.
Figure 3.10 Bactrie de type puller dans un uide au repos : champ de vitesse et lignes de courant.
Figure 3.11 Cinq bactries de type pusher voluant cte--cte : champ de vitesse et lignes de courant.
Figure 3.12 Suspension dense de bactries de type pusher : champs des vitesse et vorticit pondre.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
52 Chapitre 3. Mathmatiques appliques aux sciences du vivant
Figure 3.13 volution de bactries chimiotactiques et de la concentration en oxygne dans une goutte.
distribues exponentiellement avec une frquence qui dpend dynamiquement de lenvironnement. Dans
le cas dE. coli, par exemple, la frquence de tumbling est en moyenne 1 s
1
. Si on dsigne par c la
concentration de lattractant chimique, la frquence de tumbling est alors dtermine [LP09, SBB86] par :
(t) =
0
_
1
_
t

c(s) R(t s) ds
_
, (3.9)
o
0
est la frquence moyenne de tumbling, R est un noyau modlisant la mmoire de la bactrie. cet
gard, diffrents choix de noyaux sont utiliss dans la littrature pour modliser leffet de mmoire.
Couplage entre le modle hydrodynamique et loxytaxie
Dans [18], nous avons considr loxygne comme le seul chimio-attractant dans lenvironnement des
bactries. La dynamique de la concentration en oxygne c est alors dcrite par lquation :

t
c + u c D
c
c = f (c)
B
,
o D
c
est le coefcient de diffusion de loxygne dans leau, u est la vitesse du uide. Le terme source
modlise la consommation doxygne par les bactries [TCD
+
05] : est le taux de consommation volumique
doxygne (en molcules doxygne par seconde et par volume de bactries),
B
est la fonction caractristique
pour le domaine rigide occup par les bactries, et c f (c) est une fonction de modulation : f (c) = 1 lorsque
c est grand, et f (c) = 0 lorsque c est plus petit quune valeur critique.
Le mouvement des bactries est galement li la concentration doxygne, puisque les bactries qui
ne consomment pas sufsamment doxygne perdent leur capacit dauto-propulsion. Ainsi lintensit de la
force de propulsion f
p
est module par une fonction de motilit [TCD
+
05] qui sannule lorsque la concen-
tration est infrieure une valeur critique. Le modle hydrodynamique est coupl la chimiotaxie par la
r-orientation individuelle que lon a dcrite. En pratique, chaque bactrie est anime dun mouvement de
translation et rotation dtermin par le modle hydrodynamique. Mais elle se r-oriente la frquence (t)
qui est dnie par lquation (3.9) et dpend du signe du gradient de la concentration doxygne le long de
la trajectoire. Lors de la phase de tumbling, une bactrie se r-oriente de faon alatoire.
La simulation prsente sur la Fig. 3.13 met en vidence des instabilits hydrodynamiques dues au gra-
dient de densit (bactries ottabilit non nulle). linstant initial le milieu est satur en oxygne ; sous
leffet de consommation de loxygne par les bactries, un gradient doxygne se forme entre linterface
uide-air et le fond de la goutte ; des colonnes de bactries se constituent sous leffet de la gravit, entranant
les bactries vers le fond. Par ailleurs, des bactries sont piges au fond : la concentration tant faible, leur
force de propulsion est quasi-nulle. Les re-circulations permettent nanmoins un rapprovisionnement en
oxygne vers le fond, autorisant nouveau un accs vers linterface aux bactries momentanment piges.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Conclusion et perspectives
Le contexte gnral dans lequel se situent les travaux prsents dans ce mmoire est celui des quations
aux drives partielles intervenant dans le domaine de la mcanique des uides.
Rsum de lapproche mathmatique
Le spectre mathmatique des travaux prsents dans ce mmoire couvre la fois des dveloppements
thoriques et des aspects clairement applicatifs (en biophysique, mdecine ou mcanique).
En modlisation mathmatique, nous nous sommes intresss la justication de modles existants (no-
tamment en lubrication) ou la dtermination de modles simplis sufsamment riches pour dcrire des
phnomnes complexes (en particulier dans ltude des changes gazeux dans le poumon, ou encore dans
ltude des suspensions actives). Lapproche gnrale a consist, de faon permanente, accepter les contraintes
des modles, an de dvelopper les outils danalyse propres chaque domaine tudi.
Du point de vue de lanalyse mathmatique dquations aux drives partielles, diffrents aspects ont t abor-
ds : lanalyse asymptotique est au cur de ces tudes au sens o dans la plupart des chapitres interviennent
des nombres , 1 qui caractrisent un contraste entre deux grandeurs physiques. Dautres aspects sont
prsents dans ce mmoire : comportement en temps long de la solution dune quation, analyse numrique
de mthodes dapproximation, que lon peut interprter comme une analyse de stabilit de ces quations,
existence et unicit de la solution. De faon synthtique, ces rsultats danalyse ont port sur linuence des
gomtries ou des conditions aux limites sur les coulements.
En calcul scientique, nous nous sommes attachs dterminer de nouveaux algorithmes de calculs : pour
des coulements visco-lastiques dans lesquels lhypothse de lm mince nous a permis de construire une
mthode numrique efcace ; pour des coulements minces avec prise en compte de linteraction de phno-
mnes complexes (lm mince, cavitation, rugosits) ; pour des lois de conservation ux discontinu en la
variable dtat, pour lesquelles nous avons construit une mthode de calcul de la solution approche, alors
que les mthodes usuelles sont mises en chec ; pour la dtermination du comportement de suspensions
denses (dynamique stokesienne en 3D ou calcul direct en 2D) an den dduire des proprits macrosco-
piques par le calcul au niveau des plus petites chelles.
Lensemble de ces activits a t mene avec un souci dinterdisciplinarit et lide dtablir des interactions
fortes entre mathmatiques appliques et autres champs scientiques. La proposition de mthodologies,
danalyses, dalgorithmes de calculs, de reformulations de problmes an de faire merger des structures
mathmatiques a guid ces travaux dans le but de rpondre prcisment des problmatiques extrieures
avec, en retour, lmergence de problmes mathmatiques nouveaux, difciles et motivants. Ces interactions
ont t formalises de la manire suivante : en mcanique, les rsultats obtenus ont donn lieu des publica-
tions dans les revues de tribologie de rfrence, dont lune a t prime par lAmerican Society of Mechanical
Engineers. En mdecine, une collaboration avec Thomas Similowski & Christian Straus (Hpital La Piti Salp-
trire) a abouti une tude de linuence des paramtres mcaniques sur les changes gazeux. En biophysique,
la collaboration avec le Laboratoire Interdisciplinaire de Physique (LyPhy, Grenoble) a t mene au sein du
projet ANR Mosicob (2007 11), permettant de nombreuses interactions avec la communaut (essentiellement
non-mathmatique) qui travaille sur la thmatique de suspensions actives.
Perspectives de recherches
Les diffrents points de vue (modlisation, analyse et calcul) rsums prcdemment donnent un bon
aperu des travaux que jai effectus depuis mes dbuts dans la recherche acadmique. La faon la plus
naturelle de conclure ce mmoire est den donner quelques perspectives non-exhaustives.
Inuence des rugosits en lubrication
En lubrication lasto-hydrodynamique, linteraction uide-structure sous leffet des fortes pressions est
modlise par une quation de Reynolds modie par une non-linarit spcique (modle de Hertz) qui
dpend du type de contact et qui rend le problme non local. De faon un peu surprenante, le modle
de contact hertzien, utilis en mcanique de faon quasi-exclusive, est une adaptation de lois de contact
dcrites en mcanique du solide pour le frottement sec, et na jamais t justi mathmatiquement pour
des contacts lubris. De plus, linuence des rugosits sur le noyau de Hertz lui-mme, compltement
nglige en premire approximation, est discutable et constitue un sujet de dbat. La justication rigoureuse
du modle de Hertz et ltude de sa dpendance par rapport aux rugosits est un problme ouvert.
Par ailleurs, en lubrication hydrodynamique, la question de la rgularit des rugosits est lobjet de
discussions intenses, aussi bien en mathmatiques quen mcanique : que se passe-t-il lorsque la rugosit
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
54 Conclusion et perspectives
nest plus dcrite par une fonction priodique, mais par un graphe multivalu priodique ou par une fonction
de forme alatoire ? Dans le cas dun coulement de Stokes, linuence de rugosits alatoires de taille a
t dcrite par David Grard-Varet (2009). Le prolongement de ces rsultats dans le cadre des lms minces ne
semble pas immdiat mais cette problmatique est intressante si lon souhaite tudier mathmatiquement
les effets de forme de rugosits ralistes sur lapproximation de Reynolds.
Simulation dcoulements complexes
La simulation dcoulements sanguins est difcile pour plusieurs raisons : comportement non-newtonien
du sang, anisotropie de lcoulement gnre par la gomtrie des vaisseaux sanguins, interaction uide-
structure entre le sang et les parois etc. Aussi, une approche possible consiste tudier des asymptotiques
correspondant la prise en compte du faible rapport entre le rayon caractristique des vaisseaux et leur
longueur. Si cette approche est parfaitement identie dans le cas de uides newtoniens et, dans une certaine
mesure, dans le cas de uides quasi-newtoniens, le cas des uides visco-lastiques est ouvert ; cet effet, les
modles de type Oldroyd sont de bons candidats la modlisation dcoulements sanguins. Cette thmatique
fait dj lobjet dun travail prliminaire en collaboration avec Laurent Chupin (Universit Blaise Pascal,
Clermont-Ferrand).
Le transport mucociliaire est un autre type dcoulement physiologique comportant des aspects de modli-
sation, danalyse et de calcul intressants, en lien avec des applications potentielles en mdecine : ce processus
permet aux particules inhales et dposes dans lappareil broncho-pulmonaire dtre limines, grce la
dynamique collective de cils baignant partiellement dans un uide newtonien qui va presque jusqu leur
sommet, le haut des cils tant pris dans une couche de mucus visco-lastique. Ce thme constitue le sujet de
thse de Loc Lacouture, que je co-encadre avec Astrid Decoene et Bertrand Maury (Universit Paris-Sud), et
portant sur lanalyse asymptotique (exploitant la structure ne des cils pour en simplier le calcul) conjugue
la dtermination doutils danalyse et de simulation numrique an dtudier la rhologie et caractriser la
motilit des cils (et les ventuels dfauts de motilit qui engendrent des pathologies respiratoires).
Ltude du transport solide ou charriage sinscrit dans la continuit des travaux lis la simulation de sus-
pensions denses. Elle fait lobjet dune collaboration avec les mcaniciens de lENSAM ParisTech (Soane
Khelladi & Farid Bakir), formalise par lencadrement commun de la thse de Salah Zouaoui, dont le but
est de proposer des mthodes de calcul directes ou approches pour ltude du charriage et sappuie ga-
lement sur les dispositifs exprimentaux dvelopps lENSAM ParisTech an de confronter les rsultats
numriques aux mesures exprimentales pour des suspensions diverses (monodisperses ou polydisperses).
Modlisation du poumon humain
Pour des patients souffrant de broncho-pneumopathies chroniques obstructives, un traitement usuel
consiste administrer, par inhalation, un mlange dhlium-oxygne, dont le transport et la diffusion dans
le systme respiratoire semble facilit par rapport lair. Dans cette perspective, un projet ANR Technolo-
gies de la Sant sur les mlanges hlium-oxygne dans le systme respiratoire, impliquant des partenaires
aux spcialits trs diffrentes
20
, a dmarr en octobre 2011. Ce projet est consacr ltude de limpact
de linhalation de lhlium-oxygne sur la ventilation et le dpt darosol dans les maladies respiratoires
chroniques obstructives telles que lasthme et lemphysme. Il inclut une tude pralable de la ventilation
et du dpt darosol dans diffrents modles animaux (sains ou pathologiques), puis la caractrisation de
la morphologie des voies respiratoires des rats sains et pathologiques an de reconstruire numriquement
cette morphologie en 3D. Les modles thoriques de prdiction de ventilation et de dpt darosol dispo-
nibles dans la littrature nintgrent pas les morphologie pathologiques ; aussi des modles analytiques et
numriques prenant en compte les caractristiques pathologiques et lasymtrie des voies respiratoires de
la morphologie 3D reconstruite seront dvelopps. Ce projet constitue un cadre de travail multidisciplinaire
pour Justine Fouchet-Incaux dont je co-encadre la thse avec Cline Grandmont (INRIA Paris-Rocquencourt)
et Bertrand Maury (Universit Paris-Sud) portant prcisment sur la simulation numrique de lair dans des
arbres bronchiques gomtriquement ralistes (au moins pour la partie proximale de larbre).
Par ailleurs, les modles permettant de reproduire les phnomnes mesurables, comme la ventilation, la
quantit doxygne absorbe par minute, ou la concentration moyenne en oxygne au niveau des alvoles,
sont pour lheure de nature dterministe, nourris par des paramtres physiologiques xs des valeurs
trouves dans la littrature. Il est ncessaire, dsormais, de dvelopper des approches orientes vers le patient,
qui permettraient dadapter les modles (en particulier de dterminer des jeux de paramtres) qui respectent
les caractristiques dun individu ou dune classe dindividus. Dans cette perspective, ltude systmatique
de la variabilit des paramtres physiologiques et de leur inuence sur la sensibilit des rsultats issus des
modles permettra de toucher de faon plus large la communaut des utilisateurs potentiels de ce type de
modles : les cliniciens.
20. Air Liquide R&D - Groupe Gaz Mdicaux, IRPHE - Institut de Recherche sur les Phnomnes Hors quilibre, IR4M Imagerie par
Rsonance Magntique et Multi-Modalits, INSERM U618, IT/TSP Institut TELECOM / Telecom Sud Paris, UPS / LMO Laboratoire de
Mathmatiques dOrsay, UPRES EA 2363, Service de radiologie, Assistance Publique - Hpitaux de Paris.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Bibliographie gnrale
Publications de lauteur cites dans le mmoire
[0] S. Martin. Contribution la modlisation de phnomnes de frontire libre en mcanique des lms minces. Thse
de doctorat de lInstitut National des Sciences Appliques de Lyon, 2005.
[1] G. Bayada, S. Martin, et C. Vzquez. Effets danisotropie par homognisation dans un problme
frontire libre. C. R. Math. Acad. Sci. Paris, 340(7) :541546, 2005.
[2] G. Bayada, S. Martin, et C. Vzquez. Two-scale homogenization of a hydrodynamic Elrod-Adams
model. Asymptot. Anal., 44(1-2) :75110, 2005.
[3] S. Martin. Inuence of multiscale roughness patterns in cavitated ows: applications to journal bea-
rings. Math. Probl. Eng., pages 439319, 26, 2008.
[4] G. Bayada, S. Martin, et C. Vzquez. Homogenization of a nonlocal elastohydrodynamic lubrication
problem: a new free boundary model. Math. Models Methods Appl. Sci., 15(12) :19231956, 2005.
[5] G. Bayada, S. Martin, et C. Vzquez. An asymptotic ow model of the Reynolds roughness including
a mass-ow preserving cavitation model. ASME J. Tribol., 127(4) :793802, 2005.
[6] G. Bayada, S. Martin, et C. Vzquez. Micro-roughness effects in elastohydrodynamic lubrication inclu-
ding a mass-ow preserving cavitation model. Tribol. Int., 39(12) :17071718, 2006.
[7] J. I. Daz et S. Martin. On the instantaneous formation of cavitation in hydrodynamic lubrication. C. R.
Mecanique, 334(11) :645650, 2006.
[8] G. Bayada, L. Chupin, et S. Martin. Viscoelastic uids in a thin domain. Quart. Appl. Math., 65(4) :625
651, 2007.
[9] G. Bayada, L. Chupin, et S. Martin. From the Phan-Thien Tanner / Oldroyd-B non-Newtonian model
to the double shear thining Rabinowitsch thin lm model. ASME J. Tribol., 133(3) :031802, 2011.
[10] L. Chupin et S. Martin. Rigorous derivation of the thin lm approximation with roughness-induced
correctors. SIAM J. Math. Anal., 44(4) :30413070, 2012.
[11] G. Bayada, S. Martin, et C. Vzquez. About a generalized Buckley-Leverett equation and lubrication
multiuid ow. European J. Appl. Math., 17(5) :491524, 2006.
[12] S. Martin. First order quasilinear equations with boundary conditions in the L

framework. J. Differen-
tial Equations, 236(2) :375406, 2007.
[13] S. Martin et J. Vovelle. Large-time behaviour of the entropy solution of a scalar conservation law with
boundary conditions. Quart. Appl. Math., 65(3) :425450, 2007.
[14] S. Martin et J. Vovelle. Convergence of implicit nite volume methods for scalar conservation laws
with discontinuous ux function. M2AN Math. Model. Numer. Anal., 42(5) :699727, 2008.
[15] S. Martin, T. Similowski, C. Straus, et B. Maury. Impact of respiratory mechanics model parameters
on gas exchange efciency. ESAIM Proc., 23 :3047, 2008.
[16] S. Martin et B. Maury. Numerical modeling of the oxygen transfer in the respiratory process. M2AN
Math. Model. Numer. Anal., pages 28 p., accept pour publication, 2012.
[17] S. Faure, S. Martin, B. Maury, et T. Takahashi. Towards the simulation of dense suspensions: a
numerical tool. ESAIM Proc., 28 :5579, 2009.
[18] A. Decoene, S. Martin, et B. Maury. Microscopic modelling of active bacterial suspensions. Math.
Model. Nat. Phenom., 6(5) :98129, 2011.
[19] D. Hilhorst, S. Martin, et M. Mimura. Singular limit of a competition-diffusion system with large
interspecic interaction. J. Math. Anal. Appl., 390(2) :488513, 2012.
[20] S. Khelladi, S. Martin, X. Nogueira, et F. Bakir. Higher-order preserving methods for unsteady
nite volume solvers based on reproducing kernels: application to aeroacoustic problems. Dans 16th
AIAA/CEAS Aeroacoustics Conference, 7-9 june 2010, Stockholm, Sweden, 2010. AIAA-2010-3817.
Les articles [19] et [20] ne sont pas discuts dans ce document, par souci de brivet et de cohrence.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
56 Bibliographie
Bibliographie
[ABLS01] Y. Amirat, D. Bresch, J. Lemoine, et J. Simon. Effect of rugosity on a ow governed by
stationary Navier-Stokes equations. Quart. Appl. Math., 59(4) :769785, 2001.
[AC94] S. J. Alvarez et J. Carrillo. A free boundary problem in theory of lubrication. Comm. Partial
Differential Equations, 19(11-12) :17431761, 1994.
[ADS02] S. N. Antontsev, J. I. Daz, et S. Shmarev. Energy methods for free boundary problems. Progress
in Nonlinear Differential Equations and their Applications, 48. Birkhuser Boston Inc., Boston,
MA, 2002. Applications to nonlinear PDEs and uid mechanics.
[AKR10] B. Andreianov, K. H. Karlsen, et N. H. Risebro. On vanishing viscosity approximation of
conservation laws with discontinuous ux. Netw. Heterog. Media, 5(3) :617633, 2010.
[All92] G. Allaire. Homogenization and two-scale convergence. SIAM J. Math. Anal., 23(6) :14821518,
1992.
[Alt79] H. W. Alt. Strmungen durch inhomogene porse Medien mit freiem Rand. J. Reine Angew.
Math., 305 :89115, 1979.
[Alv86] S. J. Alvarez. Problemas de frontera libre en teoria de lubricacion. Tesis doctoral de la Universidad
Complutense de Madride, 1986.
[AO03] S. J. Alvarez et R. Oujja. On the uniqueness of the solution of an evolution free boundary
problem in theory of lubrication. Nonlinear Anal., 54(5) :845872, 2003.
[AS96] Y. Amirat et J. Simon. Inuence de la rugosit en hydrodynamique laminaire. C. R. Acad. Sci.
Paris Sr. I Math., 323(3) :313318, 1996.
[Bai02] S. Bair. The shear rheology of thin compressed liquid lms. Proc. Inst. Mech. Eng. J J. Eng.
Tribol., 216(1) :117, 2002.
[Bai06] S. Bair. A Reynold-Ellis equation for line contact with shear-thinning. Tribol. Int., 39(4) :310316,
2006.
[Bat74] G. K. Batchelor. Transport properties of two-phase materials with random structure. Ann.
Rev. Fluid Mech., 6 :227255, 1974.
[BB88] J. F. Brady et G. Bossis. Stokesian dynamics. Ann. Rev. Fluid Mech., 20 :111157, 1988.
[BC86] G. Bayada et M. Chambat. The transition between the Stokes equations and the Reynolds
equation: a mathematical proof. Appl. Math. Optim., 14(1) :7393, 1986.
[BCC05] N. Benhaboucha, M. Chambat, et I. Ciuperca. Asymptotic behaviour of pressure and stresses
in a thin lm ow with a rough boundary. Quart. Appl. Math., 63(2) :369400, 2005.
[BCC
+
10] D. Bresch, C. Choquet, L. Chupin, T. Colin, et M. Gisclon. Roughness-induced effect at
main order on the Reynolds approximation. Multiscale Model. Simul., 8(3) :9971017, 2010.
[BCG09] Guy Bayada, Laurent Chupin, et Brnice Grec. Viscoelastic uids in thin domains : a mathe-
matical proof. Asymptot. Anal., 64(3-4) :185211, 2009.
[BCV95] S. Benharbit, A. Chalabi, et J.-P. Vila. Numerical viscosity and convergence of nite volume
methods for conservation laws with boundary conditions. SIAM J. Numer. Anal., 32(3) :775796,
1995.
[BCV98] G. Bayada, M. Chambat, et C. Vzquez. Characteristics method for the formulation and com-
putation of a free boundary cavitation problem. J. Comput. Appl. Math., 98(2) :191212, 1998.
[Ber83] H. C. Berg. Random walks in biology. Princeton University Press, Princeton, 1983.
[BF89] G. Bayada et J.-B Faure. A double-scale analysis approach of the Reynolds roughness. Com-
ments and application to the journal bearing. ASME J. Tribol., 111 :323330, 1989.
[BGA03] C. Brighenti, G. Gnudi, et G. Avanzolini. A simulation model of the oxygen alveolo-capillary
exchange in normal and pathological conditions. Physiol. Meas., 24(2) :261275, 2003.
[BK05] S. Bair et M. M. Khonsari. Generalized Reynolds equations for line contact with double-
Newtonian shear-thinning. Tribol. Lett., 18(4) :513520, 2005.
[BK06] S. Bair et M. M. Khonsari. Reynolds Equation for common generalized Newtonian models and
an approximate Reynolds-Carreau equation. Proc. Inst. Mech. Eng. J J. Eng. Tribol., 220(4) :365
374, 2006.
[BLP78] A. Bensoussan, J.-L. Lions, et G. Papanicolaou. Asymptotic analysis for periodic structures, vo-
lume 5 de Studies in Mathematics and its Applications. North-Holland Publishing Co., Amsterdam,
1978.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Bibliographie 57
[BlRN79] C. Bardos, A. Y. le Roux, et J.-C. Ndlec. First order quasilinear equations with boundary
conditions. Comm. Partial Differential Equations, 4(9) :10171034, 1979.
[BM81] A. Bermdez et C. Moreno. Duality methods for solving variational inequalities. Comput.
Math. Appl., 7(1) :4358, 1981.
[BM10] D. Bresch et V. Milisic. High order multi-scale wall-laws, Part I: the periodic case. Quart. Appl.
Math., 68(2) :229253, 2010.
[BP00] R. N. Bearon et T. J. Pedley. Modelling run-and-tumble chemotaxis in a shear ow. Bull. Math.
Biol., 62(4) :775791, 2000.
[Bre74] H. Brenner. Rheology of a dilute suspension of axisymmetric Brownian particles. Int. J.
Multiphase Flow, 1(2) :195341, 1974.
[BT06] A. Ben-Tal. Simplied models for gas exchange in the human lungs. J. Theor. Biol., 238(2) :474
495, 2006.
[BTA04] H. Bellout et F. Talay Akyildiz. Viscoelastic lubrication with phan-thien-tanner uid (ptt).
ASME J. Tribol., 126(2) :288291, 2004.
[BV06] F. Bachmann et J. Vovelle. Existence and uniqueness of entropy solution of scalar conserva-
tion laws with a ux function involving discontinuous coefcients. Comm. Partial Differential
Equations, 31(1-3) :371395, 2006.
[Car99] J. Carrillo. Entropy solutions for nonlinear degenerate problems. Arch. Ration. Mech. Anal.,
147(4) :269361, 1999.
[Car03] J. Carrillo. Conservation laws with discontinuous ux functions and boundary condition. J.
Evol. Equ., 3(2) :283301, 2003.
[CCD
+
07] L. H. Cisneros, R. Cortez, C. Dombrowski, R. E. Goldstein, et J. O. Kessler. Fluid dynamics
of self-propelled microorganisms, from individual to concentrated populations. Exp. Fluids,
43(5) :737753, 2007.
[CCL95] B. Cockburn, F. Coquel, et P. G. LeFloch. Convergence of the nite volume method for
multidimensional conservation laws. SIAM J. Numer. Anal., 32(3) :687705, 1995.
[CCM06] J. E. Cotes, D. J. Chinn, et M. R. Miller. Lung function: physiology, measurement and application
in medicine. Blackwell Publishing Ltd, 6me dition, 2006.
[CDG93] J. Carrillo, J. I. Daz, et G. Gilardi. The propagation of the free boundary of the solution of
the dam problem and related problems. Appl. Anal., 49(3-4) :255276, 1993.
[CDG08] D. Cioranescu, A. Damlamian, et G. Griso. The periodic unfolding method in homogeniza-
tion. SIAM J. Math. Anal., 40(4) :15851620, 2008.
[CDLLSG10] J. Casado-Daz, M. Luna-Laynez, et F. J. Surez-Grau. Asymptotic behavior of a viscous
uid with slip boundary conditions on a slightly rough wall. Math. Models Methods Appl. Sci.,
20(1) :121156, 2010.
[CR81] M. Codegone et J.-F. Rodrigues. Convergence of the coincidence set in the homogenization of
the obstacle problem. Ann. Fac. Sci. Toulouse, 3(3-4) :275285, 1981.
[CR00] G.-Q. Chen et M. Rascle. Initial layers and uniqueness of weak entropy solutions to hyperbolic
conservation laws. Arch. Ration. Mech. Anal., 153(3) :205220, 2000.
[D

85] J. I. Daz. Nonlinear partial differential equations and free boundaries. Vol. I, volume 106 de Re-
search Notes in Mathematics. Pitman (Advanced Publishing Program), Boston, MA, 1985. Elliptic
equations.
[D 91] J. I. Daz. On the mathematical analysis of transient cavitation problems in hydrodynamic
lubrication. Dans Mathematical Modelling in Lubrication, Proceedings of the 1990 international
workshop on lubrication in Vigo, pages 3749. Publicacions da Universidade de Vigo, 1991.
[DA85] R. H. Davis et A. Acrivos. Sedimentation of noncolloidal particles at low Reynolds numbers.
Ann. Rev. Fluid Mech., 17 :91118, 1985.
[Daf85] C. M. Dafermos. Regularity and large time behaviour of solutions of a conservation law wi-
thout convexity. Proc. Roy. Soc. Edinburgh Sect. A, 99(3-4) :201239, 1985.
[DCC
+
04] C. Dombrowski, L. H. Cisneros, S. Chatkaew, R. E. Goldstein, et J. O. Kessler. Self-
concentration and large-scale coherence in bacteria dynamics. Phys. Rev. Lett., 93(9) :098103,
2004.
[Dei85] K. Deimling. Nonlinear functional analysis. Springer-Verlag, Berlin, 1985.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
58 Bibliographie
[Die96] S. Diehl. Scalar conservation laws with discontinuous ux function. I. The viscous prole
condition. Comm. Math. Phys., 176(1) :2344, 1996.
[DiP85] R. J. DiPerna. Measure-valued solutions to conservation laws. Arch. Rational Mech. Anal.,
88(3) :223270, 1985.
[DiP75] R. J. DiPerna. Decay and asymptotic behavior of solutions to nonlinear hyperbolic systems of
conservation laws. Indiana Univ. Math. J., 24(11) :10471071, 1974/75.
[DM03] S. L. Dance et M. R. Maxey. Incorporation of lubrication effects into the force-coupling method
for particulate two-phase ow. J. Comp. Phys., 189(1) :212238, 2003.
[EA75] H. G. Elrod et M. L. Adams. A computer program for cavitation. Dans Cavitation and related
phenomena in lubrication, Proceedings of the 1st Leeds-Lyon symposium, pages 3742. Institution
of Mechanical Engineers, 1975.
[EDT98] P. Ehret, D. Dowson, et C. M. Taylor. On lubricant transport conditions in elastohydrodyna-
mic conjunctions. Proc. R. Soc. A, 454(1971) :763787, 1998.
[EGH00] R. Eymard, T. Gallout, et R. Herbin. Finite volume methods. Dans Handbook of numerical
analysis, Vol. VII, Handb. Numer. Anal., VII, pages 7131020. North-Holland, Amsterdam, 2000.
[Ein06] A. Einstein. Eine neue Bestimmung der Molekdimensionen. Ann. Phys. (Berlin), 19(2) :289
306, 1906.
[EO04] R. Erban et H. Othmer. From individual to collective behavior in bacterial chemotaxis. SIAM
J. Appl. Math., 65(2) :361391, 2004.
[FFS03] M. Felici, M. Filoche, et B. Sapoval. Diffusional screening in the human pulmonary acinus.
J. Appl. Physiol., 94(5) :20102016, 2003.
[Fou10] A. Foucquier. Dynamique du transport et du transfert de loxygne au sein de lacinus pulmonaire
humain. Thse de doctorat de lcole Polytechnique, 2010.
[FS01] H. Freisthler et D. Serre. The L
1
-stability of boundary layers for scalar viscous conservation
laws. J. Dynam. Differential Equations, 13(4) :745755, 2001.
[GH02] A. C. Guyton et J. E. Hall. Textbook of medical physiology. Saunders, Philadelphia, Pennsylvania,
11me dition, 2002.
[GLAB11] V. Gyrya, K. Lipnikov, I.S. Aranson, et L. Berlyand. Effective shear viscosity and dynamics of
suspensions of micro-swimmers from small to moderate suspensions. J. Math. Biol., 62(5) :707
740, 2011.
[GS90a] C. Guillop et J.-C. Saut. Existence results for the ow of viscoelastic uids with a differential
constitutive law. Nonlinear Anal., 15(9) :849869, 1990.
[GS90b] C. Guillop et J.-C. Saut. Global existence and one-dimensional nonlinear stability of shearing
motions of viscoelastic uids of Oldroyd type. RAIRO Modl. Math. Anal. Numr., 24(3) :369401,
1990.
[GV09] D. Grard-Varet. The Navier wall law at a boundary with random roughness. Comm. Math.
Phys., 286(1) :81110, 2009.
[HABK08] B. M. Haines, I. S. Aranson, L. Berlyand, et D. A. Karpeev. Effective viscosity of dilute
bacterial suspensions: a two-dimensional model. Phys. Biol., 5(4) :046003, 2008.
[HB73] J. Happel et H. Brenner. Low Reynolds number hydrodynamics. Noordhoff International Publi-
shing, 1973.
[Hoo00] C. J. Hooke. The behaviour of low-amplitude surface roughness under lines contacts: non-
Newtonian uids. Proc. Inst. Mech. Eng. J J. Eng. Tribol., 214(3) :253265, 2000.
[HS
+
09] B. M. Haines, A. Sokolov, , I. S. Aranson, L. Berlyand, , et D. A. Karpeev. Three-dimensional
model for the effective viscosity of bacterial suspensions. Phys. Rev. E, 80(4) :041922, 2009.
[IO60] A. M. Il

in et O. A. Oleinik. Asymptotic behavior of solutions of the Cauchy problem for some


quasi-linear equations for large values of the time. Mat. Sb. (N.S.), 51 (93) :191216, 1960.
[IP07] T. Ishikawa et T. J. Pedley. The rheology of a semi-dilute suspension of swimming model
micro-organisms. J. Fluid Mech., 588 :399435, 2007.
[JA76] D. J. Jeffrey et A. Acrivos. The rheological properties of suspensions of rigid particles. AIChE
J., 22(3) :417432, 1976.
[Jib11] L. Jibuti. Locomotion et coulement dans les uides complexes conns. Thse de doctorat de lUni-
versit de Grenoble, 2011.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
Bibliographie 59
[JM01] W. Jger et A. Mikeli c. On the roughness-induced effective boundary conditions for an in-
compressible viscous ow. J. Differential Equations, 170(1) :96122, 2001.
[JO84] D. J. Jeffrey et Y. Onishi. Calculation of the resistance and mobility functions for two unequal
rigid spheres in low-Reynolds-number ow. J. Fluid Mech., 139 :261290, 1984.
[Kim03] Y. J. Kim. Asymptotic behavior of solutions to scalar conservation laws and optimal convergence
orders to N-waves. J. Differential Equations, 192(1) :202224, 2003.
[KM85] S. Kawashima et A.a Matsumura. Asymptotic stability of traveling wave solutions of systems
for one-dimensional gas motion. Comm. Math. Phys., 101(1) :97127, 1985.
[KP92] J. O. Kessler et T. J. Pedley. Hydrodynamic phenomena in suspensions of swimming microor-
ganisms. Ann. Rev. Fluid Mech., 24 :31358, 1992.
[Kru70] S. N. Krukov. First order quasilinear equations with several independent variables. Mat. Sb.
(N.S.), 81 (123) :228255, 1970.
[KS98] J. Keener et J. Sneyd. Mathematical physiology, volume 8 de Interdisciplinary Applied Mathematics.
Springer-Verlag, New York, 1998.
[Lax57] P. D. Lax. Hyperbolic systems of conservation laws. II. Comm. Pure Appl. Math., 10 :537566,
1957.
[Lef07] A. Lefebvre. Simulation numrique dcoulements uide-particules. Thse de doctorat de lUniver-
sit Paris-Sud, 2007.
[Lin01] J. R. Lin. Non-Newtonian effects on the dynamic characteristics of one-dimensional slider
bearings : Rabinowitsch uid model. Tribol. Lett., 10(4) :237243, 2001.
[LM00] P. L. Lions et N. Masmoudi. Global solutions for some Oldroyd models of non-Newtonian
ows. Chinese Ann. Math. Ser. B, 21(2) :131146, 2000.
[LN97] T.-P. Liu et K. Nishihara. Asymptotic behavior for scalar viscous conservation laws with
boundary effect. J. Differential Equations, 133(2) :296320, 1997.
[Loc07] J. T. Locsei. Persistence of direction increases the drift velocity of run and tumble chemotaxis.
J. Math. Biol., 55(1) :4160, 2007.
[LP84] T.-P. Liu et M. Pierre. Source-solutions and asymptotic behavior in conservation laws. J.
Differential Equations, 51(3) :419441, 1984.
[LP09] J. T. Locsei et T. J. Pedley. Run and tumble in chemotaxis in a shear ow: the effect of temporal
comparisons, persistence, rotational diffusion, and cell shape. Bull. Math. Biol., 71(5) :10891116,
2009.
[LSU67] O. A. Ladyenskaja, V. A. Solonnikov, et N. N. Ural

ceva. Linear and quasilinear equations


of parabolic type. Translated from the Russian by S. Smith. Translations of Mathematical Mono-
graphs, Vol. 23. American Mathematical Society, Providence, R.I., 1967.
[Luk89] J. H. C. Luke. Convergence of a multiple reection method for calculating Stokes ow in a
suspension. SIAM J. Appl. Math., 49(6) :16351651, 1989.
[MFAJS03] B. Mauroy, M. Filoche, J.S. Andrade Jr., et B. Sapoval. Interplay between ow distribution
and geometry in an airway tree. Phys. Rev. Lett., 90(14) :148101, 2003.
[MN94] A. Matsumura et K. Nishihara. Asymptotic stability of traveling waves for scalar viscous
conservation laws with non-convex nonlinearity. Comm. Math. Phys., 165(1) :8396, 1994.
[MP86] L. D. Marini et P. Pietra. Fixed-point algorithms for stationary ow in porous media. Comput.
Methods Appl. Mech. Engrg., 56(1) :1745, 1986.
[MT99] C. Mascia et A. Terracina. Large-time behavior for conservation laws with source in a boun-
ded domain. J. Differential Equations, 159(2) :485514, 1999.
[MT04] L. Molinet et R. Talhouk. On the global and periodic regular ows of viscoelastic uids with
a differential constitutive law. NoDEA Nonlinear Differential Equations Appl., 11(3) :349359, 2004.
[Nav27] C. L. M. H. Navier. Sur les lois de lquilibre et du mouvement des corps lastiques. Mem.
Acad. R. Sci. Inst. France, 6(369), 1827.
[Naz90] S. A. Nazarov. Asymptotic solution of the Navier-Stokes problem on the ow of a thin layer
of uid. Siberian Math. J., 31(2) :296307, 1990.
[NPD97] A. Nouri, F. Poupaud, et Y. Demay. An existence theorem for the multi-uid Stokes problem.
Quart. Appl. Math., 55(3) :421435, 1997.
[Ott96] F. Otto. Initial-boundary value problem for a scalar conservation law. C. R. Acad. Sci. Paris Sr.
I Math., 322(8) :729734, 1996.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3
60 Bibliographie
[Pao03] L. Paoli. Asymptotic behavior of a two uid ow in a thin domain: from Stokes equations to
Buckley-Leverett equation and Reynolds law. Asymptot. Anal., 34(2) :93120, 2003.
[PC78] N. Patir et H. S. Cheng. An average ow model for determining effects of three-dimensional
roughness on partial hydrodynamic lubrication. ASME J. Lubrication Technol., 100 :1217, 1978.
[PE84] M. Paiva et L. A. Engel. Model analysis of gas distribution within human lung acinus. J. Appl.
Physiol., 56(2) :418425, 1984.
[Ren85] M. Renardy. Existence of slow steady ows of viscoelastic uids with differential constitutive
equations. Z. Angew. Math. Mech., 65(9) :449451, 1985.
[Rey86] O. Reynolds. On the theory of lubrication and its application to Mr Beauchamp Towers
experiments, including an experimental determination of the viscosity of olive oil. Phil. Trans.
Roy. Soc., A(117) :157234, 1886.
[RF57] F. J. Roughton et R.E. Forster. Relative importance of diffusion and chemical reaction rates
in determining rate of exchange of gases in the human lung, with special reference to true
diffusing capacity of pulmonary membrane and volume of blood in the lung capillaries. J.
Appl. Physiol., 11(2) :290302, 1957.
[RJP10] S. Rafa, L. Jibuti, et P. Peyla. Effective viscosity of microswimmer suspensions. Phys. Rev.
Lett., 104(9) :098102, 2010.
[Rus80] W. B. Russel. A review of the role of collodal forces in the rheology of suspensions. J. Rheo.,
24(3) :287317, 1980.
[SA09] A. Sokolov et I. S. Aranson. Reduction of viscosity in suspensions of swimming bacteria.
Phys. Rev. Lett., 103(14) :148101, 2009.
[SAGK07] A. Sokolov, I. S. Aranson, R. E. Goldstein, et J. O. Kessler. Concentration dependence of
the collective dynamics of swimming bacteria. Phys. Rev. Lett., 98(15) :158102, 2007.
[SBB86] J. E. Segall, S.M. Block, et H. C. Berg. Temporal comparisons in bacterial chemotaxis. Proc.
Natl. Acad. Sci. USA, 83(23) :89878991, 1986.
[Ser96] D. Serre. Systmes de lois de conservation. II. Fondations. [Foundations]. Diderot Editeur, Paris,
1996. Structures gomtriques, oscillation et problmes mixtes. [Geometric structures, oscilla-
tion and mixed problems].
[SS07] D. Saintillan et M. J. Shelley. Orientational order and instabilities in suspensions of self-
locomoting rods. Phys. Rev. Lett., 99(5) :058102, 2007.
[SS12] D. Saintillan et M. J. Shelley. Emergence of coherent structures and large-scale ows in
motile suspensions. J. R. Soc. Interface, 9(68) :571585, 2012.
[ST11] A. J. Swan et M. H. Tawhai. Evidence for minimal oxygen heterogeneity in the healthy human
pulmonary acinus. J. Appl. Physiol., 110(2) :528537, 2011.
[Sze91] A. Szepessy. Convergence of a streamline diffusion nite element method for scalar conserva-
tion laws with boundary conditions. RAIRO Modl. Math. Anal. Numr., 25(6) :749782, 1991.
[TCD
+
05] I. Tuval, L. H. Cisneros, C. Dombrowski, C. W. Wolgemuth, J. O. Kessler, et R. E. Gold-
stein. Bacterial swimming and oxygen transport near contact lines. Proc. Natl. Acad. Sci. USA,
102(7) :22772282, 2005.
[Tic96] J. Tichy. Non-Newtonian lubrication with the convective Maxwell model. ASME J. Tribol.,
118(2) :344349, 1996.
[Tow00] J. D. Towers. Convergence of a difference scheme for conservation laws with a discontinuous
ux. SIAM J. Numer. Anal., 38(2) :681698 (electronic), 2000.
[Vas01] A. Vasseur. Strong traces for solutions of multidimensional scalar conservation laws. Arch.
Ration. Mech. Anal., 160(3) :181193, 2001.
[Vov02] J. Vovelle. Convergence of nite volume monotone schemes for scalar conservation laws on
bounded domains. Numer. Math., 90(3) :563596, 2002.
[Wei63] E. R. Weibel. Morphometry of the human lung. Springer Verlag and Academic Press, Berlin and
New York, 1963.
[Wei84] E. R. Weibel. The pathway for oxygen. Harvard University Press, 1984.
[Wes74] J. B. West. Respiratory physiology: the essentials. Williams & Wilkins, Baltimore, 1974.
[Wil09] J. Wilkening. Practical error estimates for Reynolds lubrication approximation and its higher
order corrections. SIAM J. Math. Anal., 41(2) :588630, 2009.
[WSF05] E. R. Weibel, B. Sapoval, et M. Filoche. Design of peripheral airways for efcient gas exchange.
Resp. Phys. and Neur., 148(1-2) :321, 2005.
t
e
l
-
0
0
7
6
5
5
8
0
,

v
e
r
s
i
o
n

2

-

1
7

F
e
b

2
0
1
3