Vous êtes sur la page 1sur 198

COLE DE TECHNOLOGIE SUPRIEURE

UNIVERSIT DU QUBEC
THSE PRSENTE
LCOLE DE TECHNOLOGIE SUPRIEURE
COMME EXIGENCE PARTIELLE
LOBTENTION DU
DOCTORAT EN GNIE
Ph.D.
PAR
ATA, Riadh
DVELOPPEMENT DE MTHODES PARTICULAIRES POUR LA RSOLUTION
DES COULEMENTS SURFACE LIBRE
MONTRAL, LE 26 OCTOBRE 2007
c droits rservs de ATA, Riadh
CETTE THSE A T VALUE
PAR UN JURY COMPOS DE :
M. Azzeddine Soulamani, directeur de thse
Dpartement de gnie mcanique lcole de technologie suprieure
M. Francisco Chinesta, codirecteur
Laboratoire de mcanique de structure et des procds (LMSP)- cole Nationale
Suprieure des Arts et Mtiers de Paris (France).
M. Saad Bennis, prsident du jury
Dpartement de gnie de la construction lcole de technologie suprieure
M. Georges W. Tchamen, examinateur externe
Dpartement hydraulique et ouvrages civils, Hydro-Qubec
M. Christian Masson, examinateur
Dpartement de gnie mcanique lcole de technologie suprieure
ELLE A FAIT LOBJET DUNE SOUTENANCE DEVANT JURY ET PUBLIC
LE 20 NOVEMBRE 2007
LCOLE DE TECHNOLOGIE SUPRIEURE
DVELOPPEMENT DE MTHODES PARTICULAIRES POUR LA
RSOLUTION DES COULEMENTS SURFACE LIBRE
ATA, Riadh
SOMMAIRE
Ce travail vise dvelopper des approches particulaires dans le but de simuler les cou-
lements surface libre. Celles-ci sinspirent des mthodes sans maillages, mthodes ap-
parues durant ces deux dernires dcennies, et prsentant des avantages par rapport aux
approches numriques standards. La premire partie de la thse est consacre prsenter
cette famille de mthodes, dont quelques unes des plus connues sont dtailles. Les princi-
paux avantages de ces mthodes ainsi que les plus importants ds leur encontre seront
numrs.
Par la suite, la mthode SPH (Smoothed Particle Hydrodynamics) est utilise pour simu-
ler les coulements surface libre en utilisant le systme de Saint-Venant homogne. Une
tude mathmatique variationnelle rvle que cette mthode aboutit une formulation
symtrique et donc numriquement instable. Le schma obtenu est stabilis par un dcen-
trage (upwinding) qui consiste introduire une viscosit articielle. Lexpression de cette
viscosit est obtenue par une analogie avec les solveurs de Riemann. Cette technique de
stabilisation conduit des rsultats probants o les chocs sont bien capts. Toutefois, un
effet de lissage est observ au niveau des discontinuits probablement d labsence de
technique de type MUSCL dans le dcentrage introduit. La mthode SPH, comme la majo-
rit des mthodes sans maillage, possde une fonction de forme non-interpolante rendant
difcile limposition des conditions aux limites. Ce problme est surmont en adoptant
une interpolation de type lment naturel. Une nouvelle mthode de type volumes nis a
t prsente : Mthode des Volumes Naturels : MVN. Cette mthode sinspire de lappli-
cation de la mthode des lments naturels en formulation Lagrangienne particulaire. Les
ux sont valus sur les cellules de Vorono en utilisant la mthode des lments naturels.
Le schma obtenu est un schma centr donc instable. La mme procdure de stabilisation
adopte pour la mthode SPH a t applique pour la MVN.
La MVN montre les mmes avantages que la mthode SPH lorsquelle est applique en
formulation Lagrangienne. De plus, le caractre interpolant de la fonction de forme de
type lments naturels, permet aisment dimposer des conditions aux frontires de type
Dirichlet. Lapplication de la MVN dans le cas des quations de Saint-Venant homognes
et ensuite non-homognes (avec termes source) montre un bon potentiel de cette nouvelle
mthode. Le terme source de type gomtrique disparat dans la formulation de type MVN
Lagrangienne et les cas avec bathymtrie variable sont traits exactement comme les cas
ii
bathymtrie nulle. Ainsi la profondeur deau est remplace par le niveau de la surface
libre. Le schma obtenu vrie la z-proprit et la C-proprit.
DEVELOPMENT OF PARTICLE METHODS FOR THE RESOLUTION OF
FREE SURFACE FLOWS
ATA, Riadh
ABSTRACT
This work aims to develop new approches of particulaire type in order to simulate free
surface ows. These approaches are inspired from the meshfree methods which are a fa-
mily of methods that appeared in the last two decades and which reveals some advantages
compared to standard numerical methods. The rst part of this report deals with the family
of meshfree methods. An exhaustive presentation of such methods is achieved and some
of them are detailed. The main advantages and principal challenges of these methods are
listed and discussed.
In the next part, the SPH method (smoothed Particle Hydrodynamics) is used to simulate
some inviscid free surface ows using the Saint Venant equations (or shallow water equa-
tions) without source terms. The mathematical study fullled in this chapter shows that
the classic scheme of the SPH method can be obtained using a variationnal formulation
and by the mass-matrix lumping. The nal scheme is a centered one and a stabilization
technique is necessary. The upwinding of the nal scheme is achieved by introducing an
articial viscosity obtained by an analogy with Riemann solvers. The stabilisation leads
to accurate results and oscillations in the vicinity of the solution discontinuities are dam-
ped. The shocks are well captured, however a slight diffusive effect is observed which is
probably caused by the absence of MUSCL-type technique in the new articial viscosity
that we introduced in the scheme. The SPH method, as well as the majority of meshfree
techniques, suffers from the hardness of the imposition of boundary conditions, due to the
non-interpolant character of its shape function. This problem is discussed and solved with
natural elements-type interpolation method.
Anatural elements particle technique is introduced and applied to shallowwater equations.
We describe this technique as The natural volumes method (NVM) by analogy with the
nite volume method. In fact, the NVM consists on a ux computation over Vorono cells
using the natural element interpolation. A Lagrangian particulaire implementation of the
NVM is achieved in the case of shallow water equations in presence or not of source terms.
The obtained scheme is, as in the case of SPH method, a centered one. Therefore, the same
stabilisation technique is adapted for the NVM and an articial viscosity is introduced to
upwind this scheme. This technique gives suitable results where shocks are well captured.
Furthermore, the NVM presents the easiness of imposing Dirichlet boundary conditions,
which is an important advantage compared to other meshfree techniques.
iv
The last part of this work deals with the introduction of source terms. Only the geome-
trical term is taken into consideration. The bathymetry of the channel is, consequently,
introduced in the formulation and a similar scheme, as in the case of the at bottom, is
obtained. The water depth is replaced by the water level. The obtained scheme keeps the
same shape and the same mathematical characteristics as the one of the at bottom case.
The scheme is found to verify both the z-property and the C-property. Some benchmark
tests are presented in the end of this chapter.
REMERCIEMENTS
Au terme de ce travail, je tiens adresser mes remerciements les plus sincres au profes-
seur Azzeddine Soulamani, pour avoir encadrer cette thse, pour son grand savoir et son
immense savoir faire aussi bien mathmatique, que numrique et physique ; mais aussi
pour toutes ses qualits humaines. Toutes ces annes que jai passes sous sa supervision
mont fait dcouvrir un grand homme de science, rigoureux et enthousiaste. Merci pour
avoir suscit en moi la passion de la recherche.
Je tiens exprimer toute ma gratitude et ma profonde reconnaissance au professeur Fran-
cisco Chinesta, pour mavoir accept dans son laboratoire lENSAM de Paris, pour avoir
mis ma disposition tous ses moyens aussi bien matriels quhumains, mais surtout pour
avoir partag avec moi tout son talent de physicien et sa chaleur humaine.
Ensuite, je remercie profondment tous mes collgues qui mont ctoy durant toutes ces
annes et avec qui jai partag tout, ou presque tout. Amine, Riadh, Jaques, Simon, merci
davoir t l.
Je ne peux pas me permettre doublier de remercier mon ami et frre Adnne qui je dois
beaucoup. Adnne, les mots nexprimeront jamais ce que tu reprsentes pour moi.
Enn, jexprime ma profonde gratitude ceux qui mont aid et ctoy au LMSP Paris, et
en loccurrence, Lounes dont laide a t inestimable. Djamel, Stphane, Jaques, Claude,
Stephania, Cristophe, merci vous tous.
vi
Je ddie ce travail mes parents qui je dois tout, mes frres et surs. Toute ma famille
ainsi que ma belle famille mont toujours prodigu de leurs encouragements pour arriver
bout de cette thse de Doctorat. la famille Ata, la famille Sassi, Merci beaucoup.
TABLE DES MATIRES
Page
SOMMAIRE.................................................................................................. i
ABSTRACT................................................................................................. iii
REMERCIEMENTS....................................................................................... v
TABLE DES MATIRES .............................................................................. vii
LISTE DES FIGURES ................................................................................... xi
LISTE DES ABRVIATIONS ET SIGLES ...................................................... xvi
CHAPITRE 1 INTRODUCTION GNRALE.................................................. 1
1.1 Cinmatique des coulements en mcanique des uides ...................... 1
1.2 Classication des approches numriques.......................................... 3
1.2.1 La mthode des diffrences nis (MDF) et la mthode des
volumes nis (MVF) ................................................................. 3
1.2.2 Les mthodes variationnelles......................................................... 4
1.2.3 Les mthodes spectrales ............................................................... 5
1.3 Les mthodes sans-maillage (Meshfree ou Meshless).......................... 5
1.4 Prsentation de la thse ................................................................ 6
1.4.1 Motivation et mise en situation ...................................................... 6
1.4.2 Objectif de la thse...................................................................... 7
1.4.3 Plan de la thse .......................................................................... 7
CHAPITRE 2 LES COULEMENTS SURFACE LIBRE ............................... 10
2.1 Introduction aux coulements surface libre................................... 10
2.1.1 Gnralits .............................................................................. 10
2.2 Les quations de Saint-Venant ou quations deau peu profonde ......... 11
2.2.1 quation de continuit ............................................................... 11
2.2.2 quation de conservation de la quantit de mouvement .................... 14
2.2.3 Proprits des quations de Saint-Venant ....................................... 17
2.2.4 Solutions des quations de Saint-Venant dans le cas de bris de
barrage en 1D ........................................................................ 19
CHAPITRE 3 LES MTHODES SANS MAILLAGE ....................................... 21
viii
3.1 Pourquoi "les mthodes sans maillage".......................................... 21
3.2 Caractrisation et classication des MMs....................................... 22
3.2.1 Gnralits .............................................................................. 22
3.2.2 La mthode des rsidus pondrs ................................................. 22
3.2.3 Les formulations variationnelles faibles ........................................ 23
3.2.4 La notion de consistance ............................................................ 24
3.2.5 La partition de lunit (PU) ......................................................... 25
3.3 Classication des MMs .............................................................. 26
3.4 Construction dune PU............................................................... 26
3.4.1 Base polynmiale complte......................................................... 26
3.4.2 Moving Least Squares (MLS)...................................................... 27
3.4.2.1 Relation avec les sries de Taylor ................................................. 31
3.4.2.2 Relation avec les fonctions de Shepard .......................................... 31
3.4.2.3 Relation avec dautres schmas de moindres carrs .......................... 32
3.4.3 La technique RKPM (Reproducing Kernel Particle Method) .............. 34
3.4.4 Fonctions Poids (Noyau ou Fentre) ............................................. 39
3.5 Difcults (problmes) des mthodes sans maillage ......................... 42
3.5.1 Limposition des conditions aux limites ......................................... 42
3.5.1.1 Les multiplicateurs de Lagrange................................................... 42
3.5.1.2 La mthode des pnalits............................................................ 43
3.5.1.3 Le couplage avec les lments nis............................................... 43
3.5.1.4 La mthode de transformation ..................................................... 44
3.5.1.5 La mthode de collocation ......................................................... 45
3.5.2 Lintgration numrique ............................................................. 46
3.5.2.1 Lintgration avec un maillage de fond ou une structure de cellules...... 46
3.5.2.2 Lintgration nodale directe......................................................... 47
3.5.2.3 Lintgration sur les sous-domaines ou sur les intersections des
sous-domaines. ...................................................................... 48
3.5.3 La distribution des particules....................................................... 48
3.5.4 La stabilisation......................................................................... 49
3.6 Conclusions............................................................................. 50
CHAPITRE 4 LA MTHODE DES LMENTS NATURELS (NEM) ................. 52
4.1 Introduction............................................................................. 52
4.2 Les interpolants de type voisins naturels ........................................ 52
4.2.1 Le diagramme de Vorono et la triangulation de Delaunay ................. 52
4.2.2 Les interpolants de type Sibsonien................................................ 53
4.2.3 Les interpolation non-Sibsoniennes ou de Laplace ........................... 55
4.3 Proprits ............................................................................... 57
4.3.1 Interpolation nodale .................................................................. 57
4.3.2 La partition de lunit ................................................................ 57
ix
4.3.3 La consistance linaire............................................................... 58
4.3.4 Linarit stricte de lapproximation sur les bords ............................. 58
4.3.5 Nature du support ..................................................................... 58
4.3.6 Principales diffrences ............................................................... 58
4.4 Imposition des conditions aux frontires ........................................ 59
4.4.1 Traitement des domaines convexes ............................................... 60
4.4.2 Traitement des domaines non-convexes ......................................... 61
4.4.2.1 Les formes alpha (alpha shapes)................................................... 61
4.5 Mthode des lments naturels contraints ou C-NEM ....................... 63
4.5.1 Diagramme de Vorono contraint.................................................. 63
4.5.2 Interpolation de type C-NEM ...................................................... 64
4.6 Linterpolant NEM de classe C
k
................................................... 65
4.7 Algorithmes de calcul des fonctions de forme de la C-NEM............... 68
4.8 La mthode NEM et ladaptativit ou le rafnement ......................... 71
4.8.1 Les indicateurs derreurs ............................................................ 71
4.8.1.1 Premier indicateur derreur ......................................................... 71
4.8.1.2 Deuxime indicateur derreur ...................................................... 72
4.8.2 Indexes de prcision des calculs (computing effectivity indexes) ......... 72
4.8.3 Stratgie de rafnement ............................................................. 74
4.9 Conclusion.............................................................................. 76
CHAPITRE 5 LA MTHODE SPH (SMOOTHED PARTICLE HYDRO-
DYNAMICS) APPLIQUE AUXCOULEMENTS SUR-
FACE LIBRE ........................................................................ 78
5.1 tat de lart ............................................................................. 79
5.2 Prsentation de la mthode SPH................................................... 81
5.3 Implmentation dans le cas des quations de Saint-Venant ................. 86
5.4 Une formulation variationnelle stabilise avec lapproximation SPH.... 87
5.4.1 Formulation variationnelle .......................................................... 87
5.4.2 Stabilisation ............................................................................ 90
5.5 Traitement des conditions aux frontires ........................................ 93
5.5.1 Mthode des particules fantmes.................................................. 94
5.5.2 Mthode de symtrisation .......................................................... 94
5.6 Intgration dans le temps............................................................ 96
5.7 Algorithme global..................................................................... 96
5.7.1 Recherche de voisins ................................................................. 96
5.7.2 Algorithme global de lapproche .................................................. 97
5.8 Rsultats................................................................................. 98
5.8.1 Problme de bris de barrage en 1D ............................................... 98
5.8.2 Problme de bris de barrage en 2D .............................................. 101
5.8.3 Bris de barrage cylindrique ........................................................ 107
x
5.9 Discussion et conclusions .......................................................... 108
CHAPITRE 6 LA MTHODE DES VOLUMES NATURELS (MVN) : IM-
PLMENTATION ET RSULTATS.......................................... 110
6.1 Introduction............................................................................ 110
6.2 Application de la mthode NEM aux quations de Saint-Venant......... 111
6.2.1 Conservation de la masse........................................................... 112
6.2.2 Conservation de la quantit de mouvement .................................... 115
6.2.3 Consistance et stabilisation ........................................................ 119
6.3 Conditions aux limites .............................................................. 123
6.4 Discrtisation dans le temps ....................................................... 125
6.5 Adaptativit ou le rafnement nodal............................................. 126
6.6 Algorithme gnral de la procdure ............................................. 128
6.7 Mesure de performance du code.................................................. 128
6.8 Rsultats et applications ............................................................ 129
6.8.1 Problme de bris de barrage en 2D dans un canal rectangulaire.......... 130
6.8.2 Canal rectangulaire section variable : canal convergent et divergent .. 133
6.8.3 Canal avec une discontinuit de section ....................................... 135
6.8.4 Problme de bris de barrage cylindrique ....................................... 138
6.8.5 Problme de canal rectangulaire avec une contraction soudaine.......... 140
6.9 Conclusions............................................................................ 141
CHAPITRE 7 INTRODUCTION DES TERMES SOURCES ............................ 148
7.1 Introduction............................................................................ 148
7.2 Traitement numrique des termes sources ..................................... 150
7.2.1 Mthode des volumes naturels .................................................... 152
7.2.2 Approximation du frottement du lit ............................................. 153
7.3 Applications numriques ........................................................... 154
7.3.1 coulement stationnaire sur une bathymtrie plate avec une
bosse .................................................................................. 154
7.3.1.1 coulement trans-critique sans choc............................................. 156
7.3.2 Test de stagnation .................................................................... 157
7.4 Synthse et principales contributions............................................ 161
7.5 Perspectives et travaux futurs...................................................... 166
LISTE DES FIGURES
Page
Figure 1 Les
trois descriptions cinmatiques du mouvement : Lagrangienne,
Eulerienne et ALE - daprs Dona et al. [4]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
Figure 2 Hypothses pour la drivation des quations de Saint-Venant . . . . . . . . . . . . . . 12
Figure 3 Conditions initiales du problme de bris de barrage en 1D. . . . . . . . . . . . . . . . . 19
Figure 4 La partition de lunit et ses drives avec la mthode MLS-
daprs Fries et al. [146] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Figure 5 Les diffrents schmas de lapproximation MLS - daprs Fries
et al. [146] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Figure 6 Les diffrents noyaux ou fonctions poids - Daprs Fries et al.
[146] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Figure 7 Combinaison MM-MEF pour le traitement des conditions aux
frontires - Daprs Huerta et al. [133] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Figure 8 Intgration avec un maillage de fond ou une structure de cellule -
Daprs Fries et al. [146] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Figure 9 Intgration sur des sous-domaines locaux ou sur leur intersection
- Daprs [146] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Figure 10 Mapping de situations dintgration dans le but dappliquer les
techniques standards dintgration - Daprs [149] . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Figure 11 Triangulation de Delaunay et son diagramme de Vorono
correspondant . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Figure 12 Interpolation de type sibsonien vs celle de type Laplace-gure
daprs [105]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Figure 13 Le support de la fonction dinterpolation de type NEM vs le
support des mthodes MLS et EFG - gure daprs [105] . . . . . . . . . . . . . . . . . . 59
xii
Figure 14 Contribution des cellules de Vorono des nuds de frontire dans
le cas de domaine convexe et non convexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Figure 15 Evolution de la famille des -shapes dun nuage de points
reprsenatant une mchoire infrieure. Formes S
0
(a), S
1.0
(b),
S
1.5
(c), S
3.5
(d) et S

(e). Daprs Martinez et al.[46] . . . . . . . . . . . . . . . . . . . . . 62


Figure 16 La mthode des formes alpha (alpha shapes) : restriction des
voisins naturels (gauche). Inefcacit de la mthode pour les cas
fortement non convexes (droite). Daprs [49]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Figure 17 Les fonctions de forme de type Sibson et Laplace : (a) distribution
nodale ; (b) fonction de forme de Sibson et (c) fonction de forme
no-sibsonienne ou de Laplace-Daprs [48] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Figure 18 tapes de calcul de la fonction de forme de type NEM : (a)
triangles et cercles de Delaunay, (b) limination des artes
intrieurs, (c) Joindre le point P aux somment qui lentourent (d)
Fonction de forme de Sibson et (d) Fonction de forme de Laplace. . . . . . . . . 70
Figure 19 Procdures de rafnement : (a) ancienne approche et (b) approche
adopte dans [48] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Figure 20 Exemple dadaptativit dans le cas dun problme
dlastostatique daprs Yvonnet [48] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
Figure 21 Mthode des particules fantmes (en haut) et de symtrisation (en bas). . . 95
Figure 22 Lalgorithme Octree pour la recherche de voisins. . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Figure 23 Conditions initiales pour le problme de bris de barrage en 1D. . . . . . . . . . . . 99
Figure 24 Comparaison entre les effets de la nouvelle et de lancienne
viscosits articielles - la gure de droite est un zoom de celle
de gauche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
Figure 25 Effet de la nouvelle viscosit dans le cas monodimensionnel (l =
2x). Haut : pas de correction sur le noyau, milieu : correction
partielle, bas : correction complte. Les gures de droite sont des
zoom de celles de gauche. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
Figure 26 Effet de la nouvelle viscosit dans le cas monodimensionnel (l =
3x). Haut : pas de correction sur le noyau, milieu : correction
xiii
partielle, bas : correction complte. Les gures de droite sont des
zoom de celles de gauche. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
Figure 27 Test de convergence : effet du nombre de particules. Cas o le
nombre de particule entre 50 et 300. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
Figure 28 Test de convergence : effet du nombre de particules. Cas o le
nombre de particule entre 500 et 2000. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
Figure 29 Test de convergence : volution de lerrer avec le nombre de particules. 104
Figure 30 Problme de bris de barrage en 2D. Haut : profondeur deau
(gauche) et vitesse (droite) avec lancienne viscosit. Bas :
profondeur deau (gauche) et vitesse (droite) avec la nouvelle viscosit. 105
Figure 31 Problme de bris de barrage cylindrique : conditions initiales et
volutions de la profondeur dans le temps (t=0.4s, t=1.5s, t=2.5s
et t=3.5s). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
Figure 32 Problme de barrage cylindrique, comparaison avec la mthode
des volumes nis.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
Figure 33 Hypothses et notations pour les quations de Saint-Venants en 2D. . . . . 112
Figure 34 Stratgie de conservation de la masse pour la MVN : ( : nud,
: sommet de la cellule de "masse", : vitesse). Haut :
dcomposition du domaine t = t
n
. Bas droite : cellule de
Vorono relle t = t
n+1
utilise pour la conservation de la
quantit de mouvement. Bas gauche : Les cellules de masses
utilises pour la conservation de la masse et le calcul de la
profondeur deau t = t
n+1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
Figure 35 Cellule de Vorono frquemment rencontre dans les simulations
Lagrangiennes. Lapproximation du ux (utilisant lquation 6.6)
sur larte relative au voisin 2 risque de ne pas tre prcise. . . . . . . . . . . . . . 118
Figure 36 Modes parasites aux voisinages des discontinuits besoin de
stabilisation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
Figure 37 Traitement de la frontire : une particle de la frontire est xe et
ses paramtres physiques ( u, u and h) sont interpols partir de
ceux des particules de frontire au temps t
n+1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
Figure 38 Algorithme global de la mthode des volumes naturels. . . . . . . . . . . . . . . . . . . 129
xiv
Figure 39 Conditions initiales pour le problme de bris barrage standard. . . . . . . . . . . 130
Figure 40 Profondeur deau (haut) et vitesse (bas) t = 30 s pour le
problme de bris barrage standard. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
Figure 41 Profondeur deau pour le problme de bris de barrage dans un
canal rectangulaire avec 30 000 particules. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
Figure 42 Comparison avec la solution analytique [78].. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
Figure 43 Conditions initiales et gomtrie pour les cas de canal convergent
et divergent. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
Figure 44 Profondeur deau pour le cas dun canal divergent t=30s. . . . . . . . . . . . . . . 135
Figure 45 Vitesse dans le canal divergent au temps t=15s (haut) et zoom (bas). . . . . 136
Figure 46 Profondeur deau pour le cas dun canal convergent t=30s. . . . . . . . . . . . . . 137
Figure 47 Vitesse dans le canal divergent au temps t=15s (haut) et zoom (bas). . . . . 138
Figure 48 Gomtrie et lignes de contour pour le canal rectangulaire avec
une lgre contraction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
Figure 49 Profondeur deau pour le cas dun canal rectangulaire avec une
lgre contraction t=5s. Noter la naissance dune vague
lorsque le front arrive la contraction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
Figure 50 Le problme de bris de barrage cylindrique - maillage structur.
Distribution nodale et maillage initial (haut droite et gauche), le
contour de la profondeur deau et la distribution de vitesse (milieu
droite et gauche) et une vue 3D et une coupe de la profondeur
deau (bas gauche et droite). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
Figure 51 Le problme de bris de barrage cylindrique - maillage adapt.
Distribution nodale et maillage initial (haut droite et gauche), le
contour de la profondeur deau et la distribution de vitesse (milieu
droite et gauche) et une vue 3D et une coupe de la profondeur
deau (bas gauche et droite). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
Figure 52 Conditions initiales pour le problme de canal rectangulaire avec
une contraction brusque. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
xv
Figure 53 Canal rectangulaire avec une contraction brusque : distribution de
la vitesse (gauche) et les lignes de contour de la profondeur deau
(droite). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
Figure 54 Profondeur deau pour le canal rectangulaire avec une contraction
soudaine t=5s. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
Figure 55 Notations pour les quations de Saint-Venant non-homognes. . . . . . . . . . . 154
Figure 56 Bathymtrie du test de validation avec fond plat en prsence
dune bosse parabolique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
Figure 57 Bathymtrie plate avec une bosse - premier test de stagnation. . . . . . . . . . . . 156
Figure 58 Cas de stagnation - Bathymtrie du canal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
Figure 59 Test de stagnation - surface libre t= 200 s. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160
Figure 60 Test de stagnation - Composante axiale de la vitesse t= 200 s. . . . . . . . . . 160
LISTE DES ABRVIATIONS ET SIGLES
MM Meshfree method (singulier)
MMs Meshfree methods (pluriel)
MEF Mthode des lments nis
MVF Mthodes de volumes nis
PU Partition de lunit
CL Conditions aux limites
EDP quation aux drives partielles
GWF Global Weak Form
LWF Local Weak Form
GUSWF Global Unsymmetric Weak Form
GSWF Global Symmetric Weak Form
LUSWF Local Unsymmetric Weak Form
LSWF Local Symmetric Weak Form
SPH Smoothed Particle Hydrodynamics
NEM Natural Element Method
NVM Natural volume method
x, y Vecteurs des coordonnes spatiales
u Vecteur vitesse
w Fonction poids ou fonction test
u
h
Approximation de la fonction u
u Vecteur des valeurs nodales de u
h Profondeur de leau
xvii
l Longueur de lissage
Gradient spatial

i
Gradient spatial par rapport aux coordonnes de la particule i
p Pression
Masse volumique
L Oprateur diffrentiel quelconque
Erreur innitsimale
Fonction de Forme ou dinterpolation
Domaine dtude total

s
Domaine dtude local inclus dans
Frontire du domaine dtude global

s
Frontire du domaine dtude local
CHAPITRE 1
INTRODUCTION GNRALE
1.1 Cinmatique des coulements en mcanique des uides
Les problmes frontires mobiles ou libres sont trs courants dans la nature et dans le
domaine du gnie. Les difcults qui surgissent de ces applications sont de taille, aussi
bien de point de vue mathmatique que numrique. Mathmatiquement, la variation du
domaine dtude au cours du temps ne permet pas de bien dnir les paramtres phy-
siques qui dcrivent le problme. Du point de vue numrique, on doit identier les parties
inconnues des frontires et rsoudre le fort couplage entre le mouvement des frontires et
la cinmatique du milieu continu [9].
Les mthodes numriques qui servent rsoudre les problmes frontires mobiles sont
classies en trois catgories selon le type de la description cinmatique (voir gure 1) : les
approches Lagrangiennes, Euleriennes et les approches mixtes Eulerienne-Lagrangiennes
(ALE : Arbitrary Lagrangian-Eulerian [4]). Dans le premier groupe de mthodes, les par-
ticules uides se dplacent avec le champ de vitesse, on peut citer dans ce cadre la m-
thode "Segments de ligne" (Line segments) utilise par Nichols en 1971 et la mthode
"Marker Particles" introduite par Harlow et Walsh en 1965. Plus rcemment, la mthode
des lments nis a t utilise en formulation purement Lagrangienne pour simuler les
coulements surface libre visqueux qui sont gnralement faible nombre de Reynolds
[104, 116, 79]. Ces mthodes sont relativement prcises et sadaptent trs bien avec la
nature des coulements tudis et prsentent la facilit de localiser automatiquement la
surface libre. Cependant, en plus de leur instabilit, un remaillage frquent est ncessaire
pour suivre le comportement du uide lorsque la frontire de celui-ci bouge. De nos jours,
avec le dveloppement des outils informatiques et laugmentation exponentielle de la puis-
sance de calcul, le problme de remaillage systmatique chaque pas de temps commence
tre surmont.
2
P matriel
Nud
Figure 1 Les trois descriptions cinmatiques du mouvement : Lagrangienne,
Eulerienne et ALE - daprs Dona et al. [4].
Dans le cas des mthodes description Eulerienne, les positions des points de la fron-
tire sont localises dans un maillage xe. Les quations qui rgissent lcoulement sont
rsolues dans un domaine plus grand que le domaine rel et linterface entre les endroits
secs et mouills doit tre dtecte. Toutefois, la dtection de cette interface ncessite un
rafnement de maille an dobtenir une prcision sufsante. Ce rafnement est une tche
complexe surtout en deux et en trois dimensions.
3
Les mthodes mixtes (ALE) ont t introduites pour combiner les avantages des deux types
dapproches cites prcdemment [9]. Le domaine dtude est compltement occup par le
uide et donc par le maillage qui peut bouger avec son propre champ de vitesse. Au niveau
de la frontire mobile, les vitesses des points du maillage sont relies avec les vitesses du
uide. Ce type dapproches est adquat pour les coulements un seul front [152]. En pr-
sence de plusieurs fronts, il serait difcile dappliquer une telle approche. Il est convenu,
ainsi, que la description ALE est incapable de traiter certains coulements complexes qui
prsentent des surfaces libres de formes complexes [52]. Pour de plus amples dtails sur
cette description, nous rfrons la thse de Soulamani [8].
1.2 Classication des approches numriques
La rpartition voque prcdemment se base sur la description cinmatique et sur le mou-
vement relatif matire/maillage. Une autre classication des approches numriques utili-
ses se base sur la mthode de discrtisation. Ainsi, on peut diffrencier trois familles
dapproches
1.2.1 La mthode des diffrences nis (MDF) et la mthode des volumes nis (MVF)
La MDF consiste se donner un certain nombre de points dans lespace et/ou dans le
temps. Les oprateurs diffrentiels sont discrtiss en utilisant des quotients inspirs des
dveloppements en sries de Taylor. Du fait que cette mthode requiert une discrtisation
structure, la MDF nest pas adapte la simulation des coulements surface libre qui,
lorigine, sont physiquement complexes et souvent dnis sur des domaines gomtries
compliques. La MVF, quand elle, est souvent utilise pour les lois de conservation en
mcanique des uides. Lide principale se base sur le calcul des ux entrants et sortants
sur les bords des "volumes de contrles". la base, la mthode des volumes nis a t d-
veloppe pour traiter les quations dEuler, qui sont intimement similaires ceux de Saint-
Venant. Le succs qua trouv la MVF en hydraulique revient en grande partie lesprit de
conservation locale intrinsquement existant dans la formulation de la mthode. De plus,
4
la MVF prsente lavantage de bien sadapter aux discontinuits frquemment rencontres
en arodynamique et dans les coulements surface libre et surtout dans la simulation du
problme de bris de barrage. Cest ainsi que la MVF est actuellement lapproche la plus
populaire aussi bien pour simuler les coulements surface libre que la dynamique des
gaz.
1.2.2 Les mthodes variationnelles
La mthode des lments nis : lquation diffrentielle ferme par les conditions aux
limites est remplace par une formulation variationnelle construite dans un espace de Hil-
bert H bien choisi (par exemple parce quil y a existence et unicit de la solution dans
cet espace). La discrtisation consiste remplacer lespace H par un sous-espace de di-
mension nie H
k
, construit par exemple en utilisant les fonctions de base lments nis
[121]. Dans le cadre des coulements surface libre, lutilisation de la MEF est lie
lanalogie entre les quations de Saint-Venant et celles de Navier-Stokes. Pour tre trai-
tes avec la MEF, les quations de Saint-Venant sont souvent crites dans une formulation
hauteur-vitesse. Ce qui nest pas le cas lors de lutilisation de la MVF o une formula-
tion hauteur-dbit est quasi-systmatiquement utilise. Ainsi, opter pour une formulation
non-conservative, gnre des difcults pour simuler les problmes prsentant des discon-
tinuits dans la solution (bris de barrage par exemple). De plus, les approches bases sur
la MEF ne sont pas trs bien adaptes au caractre conservatif des systmes traits. Il est
galement difcile de garantir certaines notions de stabilit et surtout la positivit de la
profondeur deau [35, 152, 70]. Il est noter que ce dernier problme surgit aussi dans
les approches de type volumes nis et diffrences nis. Nanmoins, plusieurs applications
logicielles, dont certains trs populaires commercialement, sont formules par la MEF. Le
logiciel TELEMAC2D en est un exemple [80].
5
1.2.3 Les mthodes spectrales
La famille des mthodes spectrales a t introduite en mcanique des uides il y a une
trentaine dannes par Orszag dans [135] et ce pour augmenter la prcision des approches
numriques de rsolution des quations drives partielles [27]. Lide de base ces m-
thodes est de trouver une solution approche en utilisant un dveloppement sur un en-
semble de fonctions. La famille de fonctions peut tre trouve en effectuant un dvelop-
pement en srie de Fourrier. Un choix plus direct et plus facile et qui sest impos ult-
rieurement consiste effectuer des projections de la fonction inconnue (discrtisation dans
lespace) sur une base de polynmes orthogonaux comme les polynmes de Chebyshev
et de Legendre. Ainsi, les mthodes pseudo-spectrales ont vu le jour notamment avec les
travaux de Fornberg [18] et de Canuto et al. [145]. Comme on va le remarquer dans le
chapitre 3, une grande majorit des mthodes sans-maillage peut tre considre comme
faisant partie de la famille des mthodes spectrales.
1.3 Les mthodes sans-maillage (Meshfree ou Meshless)
Les techniques standards, prsentes dans les paragraphes prcdents, ont rvl beau-
coup de potentiel pour traiter les coulements frontire libre et mobile [153]. Cepen-
dant, certaines difcults aussi bien mathmatiques que numriques subsistent toujours.
Avec le dveloppement des nouvelles techniques numriques, et en loccurrence les m-
thodes dites "sans-maillage" (ou Meshfree methods), plusieurs horizons se sont ouverts
et les prmices dune nouvelle re dans le domaine numrique sont apparues. Cette fa-
mille de mthodes a fait ses preuves dans plusieurs domaines (explosions, chocs grandes
vitesses, etc...) et elle a montr beaucoup de potentiels dans dautres disciplines comme
les problmes multiphysiques et la micro et la nano-mcanique. Au lieu de travailler sur
un maillage et une connectivit, les "meshfree methods" utilisent un ensemble discret de
points plus-ou-moins alatoirement distribus dans le domaine et sur sa frontire.
6
Ainsi, la n des annes soixante-dix, une nouvelle famille de mthodes numriques a fait
son apparition. On parle ainsi de "meshfree methods". (Dans ce qui suit, on va dsigner
par MM toute la famille des meshfree methods). Le dveloppement de la mthode SPH
(Smoothed Particle Hydrodynamics) par Lucy [95] pour la simulation des phnomnes
de ssion astronomique, a dbut lre des MM dans lunivers des calculs numriques.
La mthode SPH est purement Lagrangienne. Outre les problmes astrophysiques [75],
les problmes de propagation de ssure [19], de grandes dformations et de plasticit
en mcanique du solide, la mthode SPH a t applique en mcanique des uides pour
plusieurs applications allant des coulements turbulents [62] aux coulements surface
libre [12], [76]. Les MMs sont devenues des approches de plus en plus utilises pour
traiter les problmes grande distorsion gomtrique et les problmes dont les domaines
sont discontinus ou fragments. En plus des avantages voqus, lavantage principal de
ces approches est essentiellement la facilit du rafnement adaptatif. Le prix payer, en
contre partie, est la lourdeur des temps de calcul qui restent nettement suprieurs ceux
des approches conventionnelles [146]. De plus, des problmes surgissent dpendemment
du domaine dapplication physique. Les deux plus grands handicaps qui sont frquemment
rencontrs sont la stabilit (surtout en mcanique des uides pour les termes convectifs et
en prsence de chocs) et le traitement des conditions aux limites. Ces points seront discuts
ultrieurement dans le chapitre 3.
1.4 Prsentation de la thse
1.4.1 Motivation et mise en situation
Ce travail qui constitue la thse de doctorat est une continuation et une gnralisation
du projet de matrise [12]. Les objectifs tracs pour ce travail consistent en llaboration
dune nouvelle approche numrique capable de rsoudre et simuler les coulements sur-
face libre. Ces coulements naturels qui englobent les rivires et les dbordements de leurs
rives, les inondations et les phnomnes qui y sont lis, les vagues et leurs crasements sur
7
les rivages etc. Lapproche quon prsentera dans ce travail de recherche aura comme axe
principal les mthodes MMs sous une description Lagrangienne particulaire. Ces dernires
sont encore dans leur tat de "dveloppement", mais prometteuses surtout avec leur ind-
pendance relative du maillage ce qui promet plus ou moins de facilit dans le traitement
des problmes frontires mobiles.
1.4.2 Objectif de la thse
Ce travail a pour objectif principal le dveloppement de mthodes Lagrangiennes pour
la simulation dcoulements surface libre. La famille des mthodes sans maillage sera
explore et quelques unes de ces mthodes seront utilises pour arriver cette n. Les
diffrents aspects mathmatiques et numriques de ces mthodes seront explores, tudis
et adaptes aux coulements surface libre. Les systmes de Saint-Venant homogne et
non-homogne formeront les modles mathmatiques de ces simulations. La prsence de
discontinuits dans la plus part des solutions de ces systmes implique une attention par-
ticulire dans la capture des chocs. Le caractre particulaire Lagrangien des simulations
envisages, est synonyme dune bonne dtection de la nature des coulements surface
libre. Toutefois, numriquement, ce caractre induit plusieurs problmes qui prsentent
de vrais ds surmonter. De plus, lenjeu pratique est lui aussi assez important. La si-
mulation des phnomnes de crue, dinondation, de transport de polluant, drosion,...
reprsente un des objectifs de ce travail.
1.4.3 Plan de la thse
Ce mmoire se divise en 7 chapitres qui sont dcrits dans ce qui suit :
* Chapitre 1-Introduction : ce chapitre introduit le lecteur dans le fond de la thse.
Une mise en situation aussi bien des approches numriques que des spcicits des
coulements surfaces libres et frontire mobile, est prsente.
8
* Chapitre 2-Les coulements surface libre : travers ce chapitre nous avons essay
de mettre les cadres thorique, mathmatique et physique des coulements qui pr-
sentent une surface libre. Comme premire tape, les quations de Saint-Venant sont
obtenues par une analyse diffrentielle. Ensuite, une classication de ces quations
et une tude de leurs proprits sont prsentes.
* Chapitre 3-Les mthodes sans-maillage MMs : dans ce chapitre une tude complte
sur la famille des MMs est presente. Ce chapitre formera la base de nos choix
numriques prsents dans les chapitres suivants. Une mise en situation concernant
les mthodes sans maillage est prsente.
* Chapitre 4- La mthode des lments naturels : ce chapitre prsente la mthode des
lments naturels dans sa version gnrale existante. Sa version de Galerkin et ses
applications sont expliques. De plus, tous les autres aspects de cette mthode sont
prsents : les fonctions de formes et leurs proprits, le traitement des conditions
aux limites, le rafnement et lalgorithme de calcul.
* Chapitre 5- La mthode SPH et son application aux coulements surface libre : La
mthode SPH est prsente en dtail et elle est applique dans le cas des quations
de Saint-Venant. Une grande partie de ce chapitre est consacre la stabilisation du
schma obtenu. Quelques applications de cette mthode dans des cas tests en 2D
sont prsentes en n de ce chapitre.
* Chapitre 6- La mthode des volumes naturels : Cest une approche dveloppe dans
le cadre de cette thse. Cette nouvelle approche est introduite, explique et applique
aux coulements surface libre. Le schma obtenu est un schma centr symtrique
et par consquent, une technique de stabilisation est introduite dans ce schma en le
dcentrant par une viscosit articielle. La formulation nale crite dans une des-
cription Lagrangienne est applique pour des cas tests en 2D.
* Chapitre 7- Introduction des termes sources : ce chapitre est ddi lintroduction
des termes sources dans la formulation nale obtenue dans le chapitre 6. Un premier
9
pas ralis, consiste en lintroduction du terme source gomtrique. Le terme de
frottement nest pas pris en compte dans ce travail.
* Conclusion gnrale : une synthse de la thse est prsente ainsi que les princi-
pales contributions. la n de ce chapitre, les perspectives et les travaux futurs sont
dtaills.
la n de ce mmoire, les publications soumises et les sommaires de participation aux
confrences et workshops effectus durant la thse, sont prsents en annexes.
CHAPITRE 2
LES COULEMENTS SURFACE LIBRE
2.1 Introduction aux coulements surface libre
2.1.1 Gnralits
Ltude des coulements naturels entre dans le cadre de lhydraulique surface libre. Ce
qui diffrencie cette dernire de lhydraulique en charge est la prsence dune surface libre
cest--dire une surface qui est en contact direct avec latmosphre [20]. Ainsi le moteur
de lcoulement nest pas le gradient de pression comme cest le cas pour les coulements
charge, mais tout simplement la gravit. On parle dans ce cas des coulement gravi-
taires. Une caractristique commune ces coulements est le fait que la profondeur deau
est petite par rapport la longueur dcoulement (Longueur de la rivire ou de la conduite
par exemple). La gamme des coulements surface libre et leurs applications comprend
les rivires, les cours deau et les euves. Toutefois, elle englobe aussi les coulements
dans les conduites non pleines, comme cest le cas dans les systmes dirrigation ou das-
sainissement. Enn, lhydraulique marine est considre comme une grande branche de
lhydraulique surface libre. Ainsi, Lcrasement des vagues sur les plages et le dimen-
sionnement et la simulation des coulements dans les ports, reprsentent quelques unes
des applications les plus intressantes dans ce domaine. Cette section englobe aussi les
coulements en pleine mer qui ne sont plus faibles profondeurs et dont les forces mo-
trices sont le vent, la force de Coriolis.
Les coulements souterrains sont aussi de type gravitaire dans le cas de nappe non-conne.
Cette famille peut tre incluse dans la grande famille des coulements surface libre.
11
2.2 Les quations de Saint-Venant ou quations deau peu profonde
Le systme dquations aux drives partielles qui nous intresse dans ce travail a t in-
troduit en 1871 dans un Compte Rendu lAcadmie des Sciences rdig par lingnieur
des Ponts et Chausses Adhmar Jean-Claude Barr de Saint-Venant [30]. Dans sa ver-
sion initiale, le systme dquation dcrivait lcoulement dans un canal rectangulaire
fond horizontal en une dimension despace [35]. Ces quations dcoulent de lapplication
des lois de conservation sur un lment uide sous lhypothse deau peu profonde. Ce-
pendant, on souligne que ces EDP peuvent tre trouves par ladaptation des quations
de Navier-Stokes en les moyennant suivant la direction verticale [78]. Dailleurs ces deux
EDP ont t troitement lies depuis le dbut [35]. Daprs certaines sources [72], Saint-
Venant aurait t le premier (deux annes avant Stokes [54]) donner la forme correcte
des quations que Navier avait introduites en 1823 [22].
Dans ce qui suit on va montrer les hypothses et les limites de validit de ces quations,
ainsi le cheminement mathmatique pour lobtention de ces EDP. Les notations suivantes
vont tre utilises dans le restant de ce chapitre (gure 2) :
A : laire de la section du canal tudi
h : la profondeur de leau
: llvation de la surface libre par rapport un niveau de rfrence
v : la vitesse moyenne dans la section
Q : le dbit deau la section
b : la largeur de la section au niveau de la surface libre qui est suppos xe.
2.2.1 quation de continuit
La procdure de dtermination des quations de continuit et de la quantit de mouvement
se base sur la dnition dun volume de contrle (voir gure 2) et de vrier les lois de
12
Figure 2 Hypothses pour la drivation des quations de Saint-Venant
conservation dune manire explicite. Ces quations peuvent tre trouves directement en
appliquant le thorme de transport de Reynolds.
En supposant quil ny a aucun dbit latral (entrant ou sortant), le dbit la sortie Q
2
scrit :
Q
2
Q
1
=
Q
x
x (2.1)
La drivation est partielle puisque la dcharge Q = Q(x, t). Dautre part, le volume V
deau emmagasine dans le volume de contrle varie avec la loi suivante :
V
t
=
(hbx)
t
= b
h
t
x (2.2)
en terme daire de la section A = bh, lquation 2.2 scrit :
V
t
=
A
t
x (2.3)
13
Les deux termes 2.1 et 2.3 se balancent mutuellement i.e. ils sont gaux en valeur absolue
mais ont des signes opposs. Ainsi,
Q
x
x +b
h
t
x = 0 (2.4)
Comme Q = Av, alors
Av
x
+b
h
t
= 0 (2.5)
et puisque A = bh, lquation (2.5) devient :
h
t
+
hv
x
= 0 (2.6)
Lquation (2.6) est lquation de conservation de masse ou lquation de continuit dans
sa formulation conservative.
Pour adapter lquation (2.6) une application lagrangienne, une rcriture permettant
lapparition dune drive totale sera plus convenable. Ainsi, si on drive le terme de
convection
hv
x
, lquation (2.6) devient :
h
t
+
hv
x
=
_
h
t
+v
h
x
_
+h
v
x
=
Dh
Dt
+h
v
x
= 0 (2.7)
o D/Dt est la drive totale ou particulaire. Dans le cas gnral, en deux dimensions
despace, lquation (2.7) scrit :
Dh
Dt
+h v = 0 (2.8)
est loprateur de divergence. Cest la version nale de lquation de continuit.
14
2.2.2 quation de conservation de la quantit de mouvement
La drivation de lquation de conservation de la quantit de mouvement se base sur lap-
plication de la deuxime loi de Newton sur le mme volume de contrle de la gure (2).

F
ext
= ma = xA
Dv
Dt
= xA(
v
t
+v
v
x
) (2.9)
est la masse volumique du uide. numrons maintenant les forces extrieures qui
sexercent sur le volume de contrle :
Pression statique
P
stat
x
: Cest la rsultante des pressions statiques exerces par leau
entourant le volume de contrle.
Forces de friction F : Il sagit des forces de rsistance du lit et des mur du canal, leurs
expressions seront dtailles plus loin.
Forces volumique f
v
: Principalement cette catgorie de force se rsume la gravit
g. Dans les applications de prdiction mtorologique, les forces de Coriolis(due
au mouvement rotatoire de la terre) sont introduites (voir par exemple [93, 125]).
Dautre types de forces peuvent tre prises en considration dpendamment de lap-
plication (forces magntiques, nuclaires etc...).
Si on dnote par langle que fait le lit du canal avec lhorizontal, la somme de ces forces
extrieures projetes sur laxe du canal, est (langle est suppos positif si la pente est
descendante de lamont laval) :

F
ext
=
P
stat
x
xcos Fx +gAxsin (2.10)
Pour des petites pentes , cos 1 et sin , et donc (2.10) devient :

F
ext
=
P
stat
x
x Fx +gAx (2.11)
15
et comme
P
stat
x
= gA
h
x
et F = gAJ o J est la perte dnergie par unit de
longueur du canal et par unit de poids du uide, lquation (2.9) devient
Ax
Dv
Dt
= gA
h
x
x gAJ +gAx (2.12)
En rarrangeant lquation (2.12), on obtient :
Dv
Dt
= g
h
x
+g( J) (2.13)
avec =
z
x
. Notant que = h +z, lquation 2.14 scrit nalement :
Dv
Dt
= g

x
gJ (2.14)
Utilisant lexpression de Chezy, J peut tre exprim par
J =
v
2
C
2
R
H
(2.15)
o C est la constante de Chzy et R
H
est le rayon hydraulique. J peut tre exprim aussi
en utilisant la formule de Manning :
J =
n
2
v
2
R
4
3
H
(2.16)
n est le coefcient de Manning [45]. Souvent, les ingnieurs utilisent plutt linverse de n,
ce qui est connu dans la communaut des hydrauliciens par le nombre de Strickler St =
1
n
.
En deux dimensions le systme dquation de Saint-Venant peut scrire, dans sa forme
conservative, comme suit :
U
t
+
F
x
(U)
x
+
F
y
(U)
y
= S(U) (2.17)
16
dans lequel :
U = U(h, q
x
, q
y
)
T
F
x
=
_
q
x
,
q
2
x
h
+
gh
2
2
,
q
x
q
y
h
_
T
F
y
=
_
q
y
,
q
x
q
y
h
,
q
2
y
h
+
gh
2
2
_
T
q
x
= hu et q
y
= hv sont les dcharges unitaires dans les directions x et y respectivement,
h est la profondeur deau, (u, v) sont les composantes sur x et y de la vitesse moyenne
dans la section. U est le vecteur des variables conservatives et F
x
et F
y
sont les vecteurs de
ux associs U dans les directions x et y [147]. Les termes sources S(U) reprsentent la
pente du lit et les pertes par friction dans les deux directions de lespace. Ils sont donns
par :
S(u) =
_
0, gh(S
0x
S
fx
), gh(S
0y
S
fy
)
_
T
o
S
0x
=
z
x
et S
0y
=
z
y
Les termes de pertes par friction sont exprims en utilisant le coefcient de frottement de
Manning n :
S
fx
=
n
2
u

u
2
+v
2
h
4
3
et S
fy
=
n
2
v

u
2
+v
2
h
4
3
.
Le systme (2.17) peut aussi scrire sous une forme non-conservative. Il devient :
_

_
Dh
Dt
+h u = 0
Du
Dt
+g +gJ = 0
(2.18)
o D./Dt est la drive particulaire ou totale. Cest la version non-conservative du sys-
tme de Saint-venant crite dans une formulation Lagangienne. Le systme (2.18) sera
utilis dans le restant de cette thse.
17
2.2.3 Proprits des quations de Saint-Venant
"Lintrt majeur dune approche de type Saint-Venant est de permettre, grce lutilisa-
tion de la vitesse moyenne de lcoulement et lintroduction explicite de la hauteur deau
comme inconnue, daborder des problmes physiques tridimensionnels et instationnaires,
poss sur des domaines mobiles, au travers de ltude dun systme pos sur un domaine
bi- (voir mono-) dimensionnel et invariant en temps" [35]. Les approches de types Saint-
Venant ont prouv leurs efcacit et leur concordance avec les donnes exprimentales.
La validit de ce systme dquations dpasse dans beaucoup dapplications les limites
et les contraintes dictes par les hypothses mathmatiques qui ont servi la drivation
des quations. Dailleurs, lexprience des hydrauliciens approuve la dernire remarque,
puisque les simulations bases sur les modles de type Saint-Venant sont en trs bon ac-
cord avec les donnes exprimentales. Plus important encore, ces rsultats sont souvent
sufsants pour fournir les informations et pour prendre des dcisions par les ingnieurs
(tude de scurit des barrages par exemple).
Les modles de type Saint-Venant supposent que leffet de la composante verticale de lac-
clration est ngligeable.Par consquent, la pression est suppose hydrostatique sur tout
le domaine dtude. Des modles plus labors sont donc ncessaires pour passer outre
lhypothse de lhydrostaticit de la pression. Ces modles se rapprochent gnralement
des quations de Navier-Stokes (voir les travaux de Soulamani par exemple [8, 152]), ou
sinon, situs entre ces dernires et les quations de Saint-Venant. Le lecteur est rfr la
thse dAudusse [35] pour plus de dtails sur les quations de Saint-Venant multicouches,
et la thse de Berger [126] pour les quations de Saint-Venant gnralises qui tiennent
en considration les courbures des lits des canaux et des dversoirs.
18
Pour ltude des proprits mathmatiques du systme de Saint-Venant, ce dernier peut
scrire sous la forme suivante :
U
t
+divF(U) = S(U) (2.19)
o U(t, x, y) = (h, hu, hv)
T
= (h, q
x
, q
y
)
T
est le vecteur des variables conservatives et o
F(U) =
_
_
_
_
_
q
x
q
y
q
2
x
h
+
gh
2
2
q
x
q
y
h
q
x
q
y
h
q
2
y
h
+
gh
2
2
_
_
_
_
_
et S(U) est le vecteur des termes sources. (2.19) peut
tre rarrage comme suit :
U
t
+DF
x
U
x
+DF
y
U
y
= S(U) (2.20)
o DF
x
et DF
y
sont les matrices Jacobiennes du ux [35]
DF
x
=
_

_
0 1 0

q
2
x
h
2
+gh
2q
x
h
0

q
x
q
y
h
2
q
y
h
q
x
h
_

_
et DF
y
=
_

_
0 0 1

q
x
q
y
h
2
q
y
h
q
x
h

q
2
y
h
2
+gh 0
2q
y
h
_

_
Si on introduit un vecteur R
2
, et on dnit la matrice DF() =
x
DF
x
+
y
DF
y
[28],
alors, pour tout R
2
, DF() possde trois valeurs propres dnies par :

1
= u

c;
2
= u

; et
3
= u

+c
o u

=
x
q
x
h
+
y
q
y
h
est la vitesse de lcoulement dans a direction de et c =

gh est
la clrit de londe dans le uide. Dans le cas o la profondeur de leau est non nulle, les
trois valeurs propres sont relles et strictement distinctes, ce qui montre que le systme
est strictement hyperbolique. Dans le cas contraire (hauteur deau nulle et donc existence
de zones sches), le systme perd son hyperbolicit. La stabilit du systme requiert une
attention spciale dans ce cas [35].
19
2.2.4 Solutions des quations de Saint-Venant dans le cas de bris de barrage en 1D
Les quation de Saint-Venant ne peuvent pas tre rsolues analytiquement surtout en pr-
sence du terme source correspondant au frottement du lit [59]. Les quations de Saint-
Venant prsentent, dans le cas monodimensionnel dun canal prismatique rectangulaire,
une solution analytique connue sous le nom de la solution de Ritter [7]. Cette solution
nest valable que dans le cas de frottement nul (sur le lit et sur les berges du canal). La
solution peut tre trouve dans le livre de Stoker [78]. Pour un lit aval mouill de hauteur
deau h
R
, la solution en profondeur est donne par :
R
L
Figure 3 Conditions initiales du problme de bris de barrage en 1D.
h(x, t) =
_

_
h
L
si x <
1
2
t

gh
L
1
9g
_
2
_
gh
L

1
2t
(2x 1)
_
2
si
1
2
t

gh
L
x (u
2
c
2
)t +
1
2
h
R
2
_
_
1 +
8S
2
gh
R
1
_
si (u
2
c
2
)t +
1
2
< x St +
1
2
h
R
si x > St +
1
2
(2.21)
20
La solution en vitesse est :
u(x, t) =
_

_
0 si x <
1
2
t

gh
L
1
3t
_
2(x +t

gh
L
) 1
_
si
1
2
t

gh
L
x (u
2
c
2
)t +
1
2
u
2
si (u
2
c
2
)t +
1
2
< x St +
1
2
0 si x > St +
1
2
(2.22)
avec u
2
= S
gh
R
4S
_
1 +

1 +
8S
2
gh
R
_
et c
2
=

_
gh
R
2
_

1 +
8S
2
gh
r
1
_
. t dsigne le
temps et S la clrit du front. S est la racine positive de lquation suivante [71] :
u
2
+ 2c
2
2
_
gh
L
= 0 (2.23)
Dans les quations (2.21) et (2.22), le domaine est pris de longueur 1m et le barrage est
situ x = 0.5m.
Plusieurs autres tudes ont propos des solutions analytiques dans le cas dun uide rel
(avec frottement) [56, 58] et/ou en prsence de turbulence [59]. Dans le cadre de ce travail,
nous nous contenterons du cas dun uide idal, et dcoulements non turbulents.
CHAPITRE 3
LES MTHODES SANS MAILLAGE
3.1 Pourquoi "les mthodes sans maillage"
Les mthodes numriques conventionnelles telles que la mthode des lments nis (MEF),
de volumes nis (MVF) ou de diffrences [140] nies (MDF) sont devenues des outils es-
sentiels dans la rsolution de problmes en mcanique des uides et des solides. Leur
efcacit et leur capacit rsoudre une pliade de problmes sont bien connues et bien
prouves. Cependant, dans certains problmes physiques, ces approches se confrontent
des impasses de nature aussi bien mathmatiques que numriques.
Les problmes qui prsentent des discontinuits dans leurs domaines de dnition, les ph-
nomnes de fragmentations, de ssuration etc... sont difciles traiter avec les approches
numriques courantes. Dans le cas des mcaniques des uides, le problme drosion,
dinondation avec des coulements couvrants-dcouvrants, les explosions etc... sont trs
dlicats entreprendre.
Dun autre ct, le ct numrique nest pas toujours trs facile manipuler dans les cas
des mthodes classiques. En effet, la prsence systmatique de maillage, implique dans des
cas gomtries compliques et surtout lors de lutilisation de formulation Lagrangienne
ou de type ALE, des distortions dans le maillage, des difcults dans lintgration num-
rique. De plus, le cot dobtention dun maillage de bonne qualit peut savrer trs lev
surtout en 3D et pour les problmes qui ncessitent des remaillages frquents, comme par
exemple le problme induisant la propagation dune ssure.
Pour ces raisons, nous avons dcid dexplorer cette nouvelle famille dapproches num-
riques qui promet dtre aussi comptitive que la famille des approches conventionnelles.
Cette thse a ainsi un objectif dexploration qui vise largir larsenal des techniques nu-
22
mriques qui sont la disposition des ingnieurs et ce pour mieux traiter les problmes
quils rencontrent et pour abiliser davantage les informations quils obtiennent.
3.2 Caractrisation et classication des MMs
3.2.1 Gnralits
Dans ce qui suit, on va commencer par introduire quelques notions fondamentales pour la
bonne comprhension de la philosophie des MM. Ces notions sont la base dune formula-
tion meshfree. Il sagit essentiellement des notions de partition de lunit, de consistance
et des diffrents types de formulations. Ces notions vont jouer le rle de paramtres dva-
luation pour la classication des MMs. En effet, la classication va se baser sur :
la construction de la partition de lunit (PU) ;
le choix de lapproximation ;
le choix des fonctions de pondration ou fonction poids.
3.2.2 La mthode des rsidus pondrs
Lobjectif principal pour nous est de rsoudre numriquement un systme dquations aux
drives partielles (EDP). En dautres termes, trouver une fonction u vriant Lu = f o
L est un oprateur diffrentiel quelconque et f est un terme de source.
Une des techniques les plus utilises pour rsoudre un tel problme est la technique des
rsidus pondrs. La MEF, la MVF et la MDF peuvent tre formules en utilisant ce
principe. La majorit des techniques MMs peut tre vue comme tant "des versions", plus-
ou-moins varies de lide des moindres carrs pondrs.
Dans cette mthode, lapproximation de la fonction inconnue u est obtenue par la som-
mation des fonctions dinterpolation (appeles aussi fonctions de forme [146]) et des
valeurs nodales ou les points inconnus . Ainsi, u u
h
=
T
=

i

i

i
. En rem-
23
plaant u par u
h
dans lEDP donne Lu
h
f = . Comme nous sommes, en gn-
ral, incapables de manipuler directement lEDP, le rsidu ou lerreur est introduit. Par
consquent, en choisissant des fonctions de pondration , on dtermine un systme
dquation rsoudre en postulant que est orthogonal cet ensemble de fonctions :
_
d =
_
(Lu
h
f)d = 0.
3.2.3 Les formulations variationnelles faibles
Les formulations variationnelles faibles sont indispensables pour les mthodes bases sur
le principe des rsidus pondrs. Cependant, dans le cadre des MMs et surtout pour les m-
thodes de type MLPG (voir section 4.2), on doit discerner entre les formulations faibles
globales (Global Weak Form GWF) et locales (Local Weak Form LWF)[130]. La formu-
lation globale est compose dintgrales sur le domaine entier et sur les frontires globales
du domaine, tandis que la formulation locale est construite sur les domaines locaux
s
qui
sont inclus dans le domaine global ainsi que sur les frontires locales des domaines
s
.
Pour mieux comprendre ces deux notions, on va prendre lquation de Poisson comme
exemple illustratif [140]. On se donne lquation de Poisson
2
u(x) = p(x) avec les
conditions aux frontires suivantes : u = u sur
u
et
u
n
= q sur
q
.
La forme faible globale et dissymtrique (GUSWF) correspondant ce problme est don-
ne comme suit :
_

(
2
u
h
p)d
_

u
(u
h
u)d
u
= 0
o est le domaine total et une constante relle qui vrie >> 1. Aprs intgration
par partie, on obtient la forme faible globale symtrique (GSWF) suivante :
_

qd
_

(,
i
u
h
,
i
+p)d
_

u
(u
h
u)d
u
= 0
24
Le mme raisonnement sapplique pour un domaine local
s
, dans ce cas on obtient la
formulation faible locale dissymtrique (LUSWF) :
_

s
(
2
u
h
p)d
s

u
(u
h
u)d
u
= 0
Par intgration par partie sur la dernire quation, on obtient la formulation faible sym-
trique (LSWF).
_

s
u,
h
i
n
i
d
_

s
(,
i
u
h
,
i
+p)d
s

u
(u
h
u)d
u
= 0
ou encore
_

s
u,
h
i
n
i
d +
_

su
u,
h
i
n
i
d +
_

sq
qd

s
(,
i
u
h
,
i
+p)d
s

u
(u
h
u)d
u
= 0
o
s
est la frontire du domaine local
s
l o aucune condition nest applique,
su
et

sq
sont celles o des conditions de type Dirichlet et Neumann sont respectivement appli-
ques. Par consquent, cette formulation transforme le problme global en n-problmes
localiss dans les sous-domaines
s
.
3.2.4 La notion de consistance
La notion de consistance rfre au plus grand ordre dun polynme qui peut tre reproduit
exactement par lapproximation numrique. Par consquent, si on parle dune consistance
dordre n, alors la solution analytique peut tre reproduite exactement jusqu cet ordre.
Si la solution analytique est dun ordre suprieur n, alors une erreur dapproximation est
engendre.
La consistance peut tre prouve par deux manires :
25
travers les conditions de consistance (appeles aussi conditions de reproduction).
Si on dispose dune approximation du type u
h
=

i

i
u
i
, les conditions de consis-
tance dordre n sont (reproduction de tous les monmes dordre p n) :

i
(x)x
p
i
= x
p
pour 0 p n, x R
En utilisant le dveloppement en srie de Taylor. Il sagit dinsrer les termes de
lapproximation dune mthode dans la srie de Taylor et ainsi dterminer lerreur
rsultante. Cette erreur est, en fait, les termes de la srie de Taylor qui ne peuvent
tre capts par lapproximation MM.
3.2.5 La partition de lunit (PU)
La partition de lunit dcoule directement de la notion de consistance. En effet, lordre
de consistance 0 est dni comme :

i
(x)x
0
i
= x
0
, x R

i
(x) = 1 , x R
Cest prcisment la dnition de la partition de lunit. En dautres termes, cest le fait
que la somme sur tout le domaine de lensemble des fonctions de forme (ou fonctions
dinterpolation) est gale lunit. Plus gnralement, une partition de lunit dordre
n est un ensemble de fonctions
n
i
o les fonctions satisfont la condition de consistance
dnie dans la section prcdente jusqu lordre n.
26
3.3 Classication des MMs
Pour classier les MMs, il est important de rappeler les tapes de construction dune ap-
proximation meshfree. tant donne une base polynmiale intrinsque, les trois tapes
sont les suivantes :
construire une PU dordre n en utilisant cette base intrinsque ;
construire lapproximation en se basant sur la PU;
choisir les fonctions de pondration (ou fonction poids, test functions).
La construction de la PU peut se faire aussi bien avec des techniques meshless quavec
les techniques conventionnelles. Dans le premier cas, on peut utiliser les procdures MLS
(Moving Least Squares) ou RKPM (Reproducing Kernel Particle method). En utilisant
lapproche de la MEF pour construire la PU, on peut aboutir des techniques mixtes
"meshbased-meshfree".
Dans la deuxime tape, si on prend tout simplement u
h
=

i

i
u
i
, alors la PU est prise
directement comme tant les fonctions dapproximation
i
. Par ailleurs, on peut dnir
plusieurs types de fonctions dapproximation en jouant sur la nature de la PU et sur la
base qui la constitue.
Finalement, le choix de la fonction poids est llment qui caractrise le plus la MM. En
effet, en choisissant par exemple la masse de Dirac
i
= (x
i
x), un schma de collo-
cation va en rsulter. Si on choisit
i
=
i
, on obtient un formulation de type Galerkin.
3.4 Construction dune PU
3.4.1 Base polynmiale complte
Pour obtenir une consistance dun ordre donn, il est important de disposer dune base
complte. Pour clarier les notations, on va adopter dans ce qui suit la notation multi-
27
indice de Fries[146]. Le multi-indice = (
1
, ,
d
) est utilis dans ce qui suit avec

i
0 et d = dim() est la dimension du problme. Si est applique un vecteur de
mme dimension x alors :
x

= x

1
1
x

2
2
x

d
d
On dnit de la mme manire, la drive de Frechet dune fonction u, comme suit :
D

u(x) =

||
u(x)

1
x
1

2
x
2

d
x
d
la longueur de est [[ =

d
i

i
.
En utilisant cette notation on peut dnir une base polynmiale dont la consistance est
dordre n comme suit :
p(x) = x

[[[ n
La relation entre la dimension du problme d et lordre de consistance n dune part, et le
nombre de composante de la base dun autre part, est la suivante :
k =
1
d!
d

i=1
(n +i)
Ainsi, en une dimension, on a k = (n + 1), en deux dimensions k = 1/2(n + 1)(n + 2)
et en trois dimensions k = 1/6(n + 1)(n + 2)(n + 3). Pour plus de dtails sur la liste
complte des bases, on rfre aux rfrences suivantes [130] et [146].
3.4.2 Moving Least Squares (MLS)
La technique MLS a t introduite par Lancaster et Salkauskas dans [88] pour interpoler
les donnes discrtes. Pour une fonction u(x) sufsamment rgulire sur un domaine ,
on peut dnir une approximation "Locale" autour dun point x

telle que :
u
l
(x, x) L
x
u(x) = p
T
(x)a(x)
28
o u(x) =
_
u(x) x

, |x| < R
0 sinon
et L
x
est une application. Pour obtenir la meilleure
approximation de la fonction u dans un sens "des moindres carrs", le vecteur de coef-
cients a( x) est choisi de faon minimiser la norme derreur L
2
pondre et discrte.
En dautres termes, le vecteur coefcients a( x) est choisi tel quil satisfait la condition
J
x
(a( x)) J
x
(b) pour tout b ,= a '
k
:
J
x
(a) =

N
i
w(x x
i
)[L
x
u(x) u
l
(x, x)]
2
=

N
i
w(x x
i
)[p
T
(x
i
)a( x) u
i
]
2
(3.1)
La fonction poids w(x x
i
) joue un rle important dans le contexte des MMs.
La minimisation de la fonctionnelle J
x
(a) se fait en supposant que la drive par rapport
a est gal zro. Le dveloppement complet de la mthode MLS est dtaill dans les
rfrences suivantes [130],[134] et [113]. Lapproximation MLS nale est donne par :
u
h
(x) = p
T
(x)
_
N

i=1
w(x x
i
)p(x
i
)p
T
(x
i
)
_
1
N

i=1
w(x x
i
)p(x
i
)u
i
(3.2)
Ce qui peut tre crit dans un format condens comme suit :
u
h
(x) =
N

i=1

i
(x)u
i
=
T
(x)u (3.3)
o
T
(x) = p
T
(x)[M(x)]
1
B(x)
. .
1N
est le vecteur des fonctions de forme, M(x) est appele
matrice moment. Elle est donne par M(x) =

N
i=1
w(x x
i
)p(x
i
)p
T
(x
i
). Le vecteur B
est form par la base pondre par la fonction poids. Il scrit comme :
B(x) =
_
w(x x
1
)p(x
1
) w(x x
2
)p(x
2
) w(x x
N
)p(x
N
)
_
29
Par consquent, ces fonctions de forme vrient une condition de consistance dordre n et
ainsi il construisent une partition de lunit PU
n
i
(x)dordre n.
Pour calculer les drives de ces fonctions de forme, il suft de considrer ces dernires
comme un produit de trois fonctions dpendantes de x qui sont respectivement p, M et B.
(Voir les rfrences mentionnes en haut pour les expressions explicites des drives.)
La gure 12 montre une illustration des fonctions de forme et de leurs premires et
deuxime drives. La ligne en pointills dans le haut de la premire gure, montre que
la somme des fonctions poids est bel-et-bien gale lunit. Dans la gure du milieu, on
voit que la premire et la deuxime drives des fonctions de forme une "partition de la
nullit" puisque leur somme est gale zro en tout point. i.e.

i
(x)
x
=

i
(x)

2
x
= 0.
Remarques
Les fonctions dinterpolation possdent un caractre polynmial dans la majorit
des cas, alors que leurs drives premires et deuximes tendent vers des fonctions
qui ont moins ce caractre. Cette nature peu rgulire de ces dernires va poser des
problmes lors de lintgration des formulations variationnelles faibles.
Les fonctions de forme ne possdent pas le caractre interpolant. i.e. Elle ne v-
rient pas la proprit du delta Kroniecker. Ceci peut se traduire par le fait que
chaque nud, il y plus quune fonction de forme qui est diffrente de zro. Ainsi
lapproximation meshfree base sur la procdure MLS nest pas une approximation
nodale. Ce caractre non-interpolant rend limposition des conditions aux limites
une tche trs dlicate.
Il est noter que la MLS peut traiter les fonctions drives comme des fonctions
indpendantes. Comme dans le cas de la MEF, et dans le cas dune analyse de poutre
par exemple, de monter lordre de la solution jusquau 4
` eme
ordre, la MLS peut faire
intervenir les valeurs nodales u
i
mais aussi les valeurs nodales des drives. On
parle dans ce cas, on parle dans ce cas de GMLS (Generalized MLS).
30
0 0.2 0.4 0.6 0.8 1
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
domain
f
u
n
c
t
i
o
n

v
a
l
u
e
MLS shape functions
sum of shape functions = PU
0 0.2 0.4 0.6 0.8 1
10
8
6
4
2
0
2
4
6
8
10
domain
f
u
n
c
t
i
o
n

v
a
l
u
e
first derivative of MLS shape functions
sum of shape functions first derivatives = PN
0 0.2 0.4 0.6 0.8 1
70
60
50
40
30
20
10
0
10
20
30
40
50
domain
f
u
n
c
t
i
o
n

v
a
l
u
e
second derivative of MLS shape functions
sum of shape functions second derivatives = PN
Figure 4 La partition de lunit et ses drives avec la mthode MLS- daprs Fries et
al. [146]
31
3.4.2.1 Relation avec les sries de Taylor
La srie de Taylor peut tre un autre point de dpart pour construire une approximation
dune fonction u. Ainsi pour construire une approximation du type :
u
h
(x) =
N

i=1

i
(x)u
i
(3.4)
on peut crire le dveloppement de Taylor pour la fonction u pour tout point u
i
= u(x
i
)
comme suit :
u(x
i
) =

||=0
(x
i
x)

[ [!
D

u(x
i
) (3.5)
Si on choisit
i
(x) de la forme
i
(x) = p
T
a(x)w(xx
i
) ce qui peut tre interprt comme
une interpolation polynmiale locale, et si on introduit lquation (3.5) dans lquation
(3.4), et aprs quelques manipulations mathmatiques [134], on retrouve exactement lap-
proximation MLS c--d lquation (3.3). Do on peut conclure quon peut retrouver lap-
proximation MLS, qui possde un ordre de consistance dordre n, en utilisant le dvelop-
pement en srie de Taylor.
3.4.2.2 Relation avec les fonctions de Shepard
En 1968, Shepard [29] a introduit lapproximation suivante pour interpoler des donnes
discrtes :
u
h
(x) =
N

i=1

i
(x)u
i
avec

i
(x) =
w(x x
i
)

n
k=1
w(x x
k
)
Ceci peut tre interprt comme tant une pondration avec linverse de la distance. On
peut voir immdiatement que cette approximation forme une PU puisque
P
i=1
w(xx
i
)
P
i=1
w(xx
i
)
= 1
Dun autre ct, lapproximation de Shepard peut tre vue comme tant une approximation
32
MLS avec une base polynmiale dont lordre de consistance est 0. En effet, dans ce cas,
p(x) = 1 et par consquent :
u
h
= (x) p
T
(x)
_

N
i=1
w(x x
i
)p(x
i
)p
T
(x
i
)
_
1

N
i=1
w(x x
i
)p(x
i
)u
i
= 1
_

N
i=1
w(x x
i
)1.1
_
1

N
i=1
w(x x
i
)1.u
i
=

N
i=1
w(x x
i
)

n
k=1
w(x x
k
)
u
i
(3.6)
Ainsi, on voit bien que la mthode de Shepard est un cas particulier de la procdure MLS
lordre zro. Il est, cependant important de noter que la mthode Shepard est lune des
rares MMs dont la fonction de forme scrit explicitement, c--d sans inversion de ma-
trice. Par consquent, elle prsente lavantage dtre peu coteuse de point de vue temps
de calcul. Cette approximation peut tre obtenue de lapproximation SPH pour des V
gaux.
3.4.2.3 Relation avec dautres schmas de moindres carrs
Daprs Oate et al [112], tout schma du type moindres carrs peut tre utilis pour
construire une approximation meshfree. Lide de base est toujours de minimiser la somme
des carrs des distances entre nimporte quel point et la valeur exacte, pondres par la
fonction poids w. Ainsi, on a minimiser :
J =

N
i
w
_
u(x
i
) u
h
(x
i
)
_
2
=

N
i
w
_
p
T
(x
i
)a u
i
_
2
Partant de cette remarque, tous les schmas qui suivent sont valables pour lapproximation
MLS (voir la gure 13) :
w = 1 : on retrouve la mthode des moindres carrs standard (LSQ). Linconvnient
majeur de la LSQest le fait que lapproximation se dtriore rapidement lorsque le nombre
de points utiliss N, dpasse le nombre k de polynmes dans la base p. La minimisation
33
x
i1
x
i+1
x
i
x
i1
x
i+1
x
i
x
x
i1
x
i+1
x
i
x
( ) x w =1
x
i1
x
i+1
x
i
x
(x w
j i+1
)
(x
i
) w
j
(x w
j i1
)
w x ( x
i
)
( ) x w
i+1
( ) x w
i
( ) x w
i1
Moving Least Squares (MLS) Multiple Fixed Least Squares (MFLS)
Fixed Least Squares (FLS) standard least squares (LSQ)
x x x x x
w x ( ) x
i1
w x ( ) x
i+1
Figure 5 Les diffrents schmas de lapproximation MLS - daprs Fries et al. [146]
utilisant LSQ conduit au systme suivant :
N

i=1
p(x
i
)p
T
(x
i
)a =
N

i=1
p(x
i
)u
i
(3.7)
w = w
j
(x
i
) : Dans ce cas, on retrouve la mthode des moindres carrs xe (FLS : Fixed
least squares). Cette approximation mne au systme dquation suivant :
N

i=1
w
j
(x
i
)p(x
i
)p
T
(x
i
)a =
N

i=1
w
j
(x
i
)p(x
i
)u
i
(3.8)
Les valeurs inconnues a sont constants tant quun certain w
j
est choisi et x en un point
x. Sinon, plusieurs a peuvent tre retrouvs ce qui signie que lapproximation devient
illogiquement "multi-valued".
34
w = w(x x
i
) : Cest typiquement lapproximation MLS (Moving Least Squares). La
fonction de poids est dnie diffremment (la forme et la taille) chaque point x et est
translate sur tout le domaine de faon couvrir alatoirement un maximum de points. Le
systme linaire rsultant est :
N

i=1
w(x x
i
)p(x
i
)p
T
(x
i
)a =
N

i=1
w(x x
i
)p(x
i
)u
i
(3.9)
w = w
i
(x) : Ceci mne la MFLS (Multiple Fixed Least Squares). Cette appellation
provient du fait que plusieurs fonctions poids xes w
i
, chacune ayant leurs maximums au
point x
i
, sont considrs au point x. Le systme rsultant de cette approximation est :
N

i=1
w
i
(x)p(x
i
)p
T
(x
i
)a =
N

i=1
w
i
(x)p(x
i
)u
i
(3.10)
Remarque
Dans la communaut numrique, lappellation de mthode meshfree est attribue chaque
fois quune mthode sort du cadre traditionnel de la mthode des lments nis ou la m-
thode des volumes nis. Les mthodes FCM et MTD peuvent ainsi entrer dans ce cadre.
La mthode FCM (Finite Cloud Method) a t introduite par Aluru et al. [51]. Elle se base
sur la technique qui gnralise la notion dinterpolation par la FLS. Quant la mthode
MTD (Mthode des tourbillons discrets) elle a t introduite par Hasegawa dans [110]. La
mthode de transport de vortex gnralis (Generalized Vortex transport method) repr-
sente la plus rcente de ses version [98]. Cest une approche de type Lagrangien-Eulerien
qui sert au calcul de la vorticit.
3.4.3 La technique RKPM (Reproducing Kernel Particle Method)
La RKPM et la famille des mthodes de "reproduction par les noyaux" (reproducing kernel
methods : RKM) consistent retrouver une fonction partir dune approximation intgrale
crite en utilisant un noyau corrig [143]. Dans ce cas, on est intress la transformation
35
intgrale suivante :
u
h
(x) =
_

y
K(x, y)u(y)d
y
(3.11)
Il est clair que si le "noyau" (kernel) K est la masse de Dirac, alors la fonction u est repro-
duite exactement. Lquation (3.11) reprsente la forme continue de la mthode RKM. En
pratique, pour valuer u, on procde une discrtisation de lquation (3.11) comme suit :
u
h
(x) =
N

i=1
K(x
i
x, x)u
i
V
i
(3.12)
Cette forme discrte sappelle RKPM (Reproducing Kernel Particle Method).
On veut construire un noyau K(x, y) de faon quil reproduise exactement un polynme
dordre n i.e. il garantit un ordre de consistance dordre n. On pose
K(x, y) = C(x, x y)w(x y) (3.13)
o w(x y) est la fonction poids, appele aussi noyau ou aussi dans le cadre de la m-
thode RKPM fonction "fentre" et C(x, x y) est la fonction qui permettra de garantir la
consistance. Dans le cas o K(x, y) = w(xy), lapproximation ne peut plus vrier les
conditions de consistance. On se retrouve alors dans le cas de la mthode SPH. Un terme
de correction du noyau a t introduit pour que celui-ci augmente lordre de consistance, le
noyau devient alors K(x, y) = C(x, y)w(xy). Pour dterminer la correction, plusieurs
approches ont t introduites. On va survoler quelques unes dans ce qui suit :
1. Cette approche a t propose par Liu et al. dans [154]. Pour dterminer lapproxi-
mation de la fonction u en utilisant une base polynmiale p(x) telle que u
h
(x) =
p
T
(x)a, on multiplie chaque ct par p(x) et on intgre lquation pondre par la
fonction fentre. Ainsi on obtient :
36
u
h
(x) = p
T
(x)a
p(x)u(x) = p(x)p(x)
T
a
_

y
p(y)w(x y)u(y)d
y
=
_

y
p(y)p
T
(y)w(x y)d
y
a
La rsolution de ce systme dquation pour la dtermination des inconnues a et
aprs insertion dans lexpression u
h
(x) = p
T
(x)a donne nalement :
u
h
(x) = p
T
(x)
_
_

y
w(x y)p(y)p
T
(y)d
y
_
1
_

y
w(x y)p(y)u(y)d
y
(3.14)
Ainsi, la fonction de correction correspond
C(x, y) = p
T
(x)
_
_

y
w(x y)p(y)p
T
(y)d
y
_
1
p(y)
2. La deuxime approche utilise lide de la MLS dans un sens continue. Elle tait
propose dans [143] et dans [84]. Elle prconise une minimisation de lerreur locale
engendre par lapproximation MLS :
J(a( x)) =
_

w( x y)[u(x) p
T
(x)a( x)]
2
d
En appliquant les mmes tapes vues pour la MLS, on aboutit aisment la mme
quation 3.14.
3. Cette approche se base essentiellement sur le dveloppement de Taylor [25]. Elle
commence par lapproximation :
u
h
(x) =
_

y
C(x, x y)w(x y)u(y)d
y
37
On suppose que la correction est de la forme C(x, y) = p
T
(x y)a(x). En introdui-
sant la srie de Taylor pour u(y) dans lapproximation et aprs quelques manipula-
tions mathmatiques [146], on se retrouve avec lapproximation RKPM donne par
lquation 3.14.
38
Remarques
On peut remarquer que lobtention de lapproximation continue de la RKPM peut se
faire dune faon quivalente par lapproche MLS, par le dveloppement de Taylor
ou par une approche directe.
On peut noter la ressemblance entre le RKM et le MLS. La diffrence principale
rside dans le fait que la MLS utilise une formulation discrte (Somme sur un en-
semble de points), alors que la RKM est une formulation intgrale continue.
La fonction de correction associe au noyau ou la fonction fentre est :
C(x, y) = p
T
(x)
_
_

y
w(x y)p(y)p
T
(y)d
y
_
1
p(y)
= p
T
(x)[M(x)]
1
p(y)
Cette correction est principalement introduite pour prendre en considration leffet
des frontires [151]. Loin de la frontire son effet est limit [143],[154]. Cependant
cette correction est trs dlicate manipuler et son effet requiert de limportance
dans les problmes caractre Lagrangien et en prsence de chocs (Voir article de
Ata et Soulamani).
Pour valuer la formulation intgrale RKM (3.14) numriquement, une intgration
numrique est ncessaire. Par cette tape, on passe du RKM au RKPM. Il faut no-
ter que lobjectif ici est nest pas encore dvaluer la formulation faible, mais de
construire les fonctions de forme.
39
Aprs discrtisation de lquation 3.14, lapproximation RKPM est donne par
u
h
(x) =
_

y
C(x, y)w(x y)u(y)d
y

i=1
C(x, x
i
)w(x x
i
)u
i
V
i
= p
T
(x)[M(x)]
1
N

i=1
p(x
i
)w(x x
i
)u
i
V
i
(3.15)
Il est noter aussi que lintgration numrique est aussi ncessaire pour valuer la matrice
moment M(x) :
M(x) =
_

y
w(x y)p(y)p
T
(y)d
y

i=1
w(x x
i
)p(x
i
)p
T
(x
i
)V
i
(3.16)
Le choix des volumes dintgration V
i
est trs important. Dans le cas o V
i
= 1,
lapproximation RKPM se rduit exactement celle de la MLS.
3.4.4 Fonctions Poids (Noyau ou Fentre)
Les approximations MLS et RKPM sont utilises pour la construction dune partition de
lunit dont lordre de consistance est n. Mais, en plus de la PU, elles ont besoin dune
fonction poids (noyau ou fentre). Les deux plus importantes caractristiques des fonctions
poids sont la forme de la fonction et le support.
Le support dune fonction poids diffre dans la taille et la forme. Ce dernier inclut im-
plicitement la dimension du problme ou de lEDP. Toutefois, nimporte quel choix de la
forme du support peut tre possible. Les formes les plus utilises sont les sphres et les
paralllpipdes. Daprs Atluri [86], dans le cas dun espacement nodal diffrent, il est
prfrable dutiliser des supports elliptiques.
40
La taille du support est dnie par ce quon appelle couramment "la longueur de lissage"
ou "le paramtre de dilatation" quon note souvent . Ce paramtre est critique et joue
un rle trs important dans la prcision des solutions et dans la stabilit. Il joue un rle
similaire la taille de llment dans la MEF. Une originalit par rapport la MEF, est le
fait que ce paramtre peut rester constant pour chaque particule, mais aussi il peut varier
chaque pas de temps. Cependant, il est encore inconnu et non clair comment choisir la
valeur optimale pour [154]. Le mme problme se pose pour le nombre de particules
optimal prsentes dans le support [133].
Le deuxime aspect important des fonctions poids, est la forme (de la fonction). En g-
nral, w est choisie de faon approximer la masse de Dirac [73]. Il existe une innit
de manire ([149],[75]) de construire un noyau. Toutefois, la fonction Gaussienne et la
fonction Spline sont les plus utilises. Dans ce qui suit, on donne les exemples de noyaux
les plus utiliss :
Spline de 3
`eme
ordre : w(q) =
_

_
2
3
4q
2
+ 4q
3
pour q
1
2
4
3
4q
+
4q
2

4
3
q
3
pour
1
2
< q 1
0 pour q > 1
Spline de 4
`eme
ordre : w(q) =
_
_
_
1 6q
2
+ 8q
3
3q
4
pour q 1
0 pour q > 1
Gaussienne 1 : w(q) =
_
_
_
e
(q/c)
2k
pour q 1
0 pour q > 1
Gaussienne 2 : w(q) =
_
_
_
e
(q/c)
2k
e
(1/c)
2k
1e
(1/c)
2k
pour q 1
0 pour q > 1
41
o q =
xx
i

. La gure (6) donne une ide sur les diffrents noyaux les plus frquemment
utiliss.
1 0 1
0
0.2
0.4
0.6
0.8
1
different weighting functions
(xx
i
)/
w
(
|
x

x
i
|
/

)
Gauss fct, c=0.2
Gauss fct, c=0.3
Gauss fct, c=0.4
Gauss fct, c=0.5
3
rd
order spline
4
th
order spline
Figure 6 Les diffrents noyaux ou fonctions poids - Daprs Fries et al. [146]
Remarques
1. Dans le cas de la MLS comme pour la RKPM, pour approximer une fonction en un
certain point x, une matrice k k (la matrice moment) M(x) doit tre inverse. Le
paramtre k, qui dnit la taille du systme, est gal au nombre de composante dans
la base intrinsque p(x) et par consquent il dpend du dimension du problme d et
de lordre de consistance n.
2. Pour valuer les expressions intgrales de la formulation variationnelle faible as-
socie la EDP du problme, un nombre plus ou moins important de points din-
tgration x
Q
doit tre considr. chacun de ces points, un systme dquations
k k doit tre construit et rsolu. On peut ainsi conclure que le besoin de construire
et dinverser la matrice moment en un grand nombre de points est un des points
42
faibles marquants des MMs. Ces inversions de matrice impliquent un cot trs cher
en temps CPU mais aussi un risque que ces inversions chouent.
3. Pour construire la matrice moment M(x) =

N
i=1
w(x x
i
)p(x
i
)p
T
(x
i
) le vecteur
de droite B(x) =

N
i=1
w(x x
i
)p(x
i
) une somme sur les particules doit tre faite.
Ceci requiert lidentication des particules "Voisines", i.e. les particules telles que
w(x x
j
, ) ,= 0 [102]. La notion de voisin remplace celle de connectivit dans la
MEF ou MVF. Cette importante tape peut dominer le temps CPU pour un grand
nombre de particule, surtout si un algorithme squentiel ( qui est O(N
2
)) est utilis
pour chaque particule. Cest pourquoi il faut utiliser des techniques de recherche
qui emploient la localisation puisque ces dernires sont plus optimales [131]. (Voir
aussi larticle de Ata et Soulamani pour plus de dtails)
3.5 Difcults (problmes) des mthodes sans maillage
3.5.1 Limposition des conditions aux limites
Comme on la dj mentionn, les fonctions de forme des MMs ne sont pas interpolantes,
i.e. elles ne vrient pas la proprit du delta de Kronecker. Cette caractristique com-
plique normment limposition des conditions aux limites. On prsente dans ce qui suit
les principales techniques utilises pour remdier ce problme.
3.5.1.1 Les multiplicateurs de Lagrange
Cest lapproche la plus gnrale et la plus prcise [113]. Les multiplicateurs de Lagrange
ont besoin dtre rsolus en plus des variables inconnues du problme et donc un ensemble
de fonctions dinterpolation rservs eux, est ncessaire. En plus daugmenter le nombre
dinconnues du systme, ils transforment la structure de celui-ci puisque la matrice corres-
pondante devient de la forme
_
_
K G
G
T
0
_
_
et ce au lieu de seulement [K]. Cette matrice
nest pas dnie positive et les mthodes de rsolution qui se basent sur cette hypothse
43
ne sont plus applicables [91]. Plus spcialement en dynamique ([91],[94]) et/ou dans les
problmes non linaires [25], ce plus grand systme doit tre rsolu pour chaque itration.
Dans certains cas, les multiplicateurs de Lagrange peuvent tre identier des entits
physiques. Par exemple, dans le cas du transfert de chaleur, ils sont identis comme tant
des ux de frontires. Dans de tels cas, la formulation variationnelle est change et on
parle de "formulation modie". Les multiplicateurs de Lagrange sont remplacs par leurs
contreparties physiques.
3.5.1.2 La mthode des pnalits
Dans le cas de conditions aux limites de type Dirichlet, ces dernires peuvent tre intgres
dans la formulation du problme en utilisant lapproche des pnalits. Le terme de pnalit
est de la forme :

(u
i
u
i
)d
avec >> 1 [130].
3.5.1.3 Le couplage avec les lments nis
Cette technique utilise une chane ou une bande dlments tout au long de la frontire et
elle combine les fonctions de forme de cette bande avec lapproximation meshfree [66].
Il a t prouv que lapproximation rsultante peut reproduire exactement un polynme
linaire. La gure 7 donne une ide sur le fonctionnement de cette mthode. Pour impl-
menter ce traitement, les lments nis sont placs dans une rgion
B
tout au long de
la frontire. Dans cette zone lapproximation EF est dnie : u
EF
(x) =

i
N
i
(x)u
i
.
Dans le reste du domaine,
E
=
B
, une approximation meshfree est dnie :
u
MM
(x) =

i

i
(x)u
i
. Ces deux diffrentes approximations sont par la suite combines
44
FEMboundary region
essential boundary
meshfree region
Figure 7 Combinaison MM-MEF pour le traitement des conditions aux frontires -
Daprs Huerta et al. [133]
pour donner lapproximation modie suivante :
u
h
(x) =
_
_
_
u
MM
(x) +v(x)(u
EF
(x) u
MM
(x)) x
B
u
MM
(x) x
E
(3.17)
o v(x) est dnie comme suit : v(x) =

i
N
i
(x), x
u
. Cest une fonction quon
nomme fonction de mlange ou fonction rampe. Elle est gale 1 sur la frontire et ainsi
u
h
(x) = u
EF
(x) sur
u
et gale 0 sur linterface lments-particules.Ce qui implique que
u
h
(x) = u
MM
(x). Entre les deux, elle varie dune faon monotone. Cette approximation
est continue, la drive prsente une coupure lendroit de linterface. Cette discontinuit
naffecte pas svrement la prcision [142].
3.5.1.4 La mthode de transformation
La mthode de transformation transforme les coordonnes gnralises en coordonnes
nodales et ainsi elle impose directement les conditions aux limites [66]. Lide de base
est la suivante : La relation entre les valeurs de la fonction inconnue u
h
(x) et les valeurs
nodales qui prsentent les inconnues du systme dquation que nous voulons rsoudre,
45
est :
u
h
(x) =
N

i=1

i
(x) u
i
(3.18)
Donc pour les valeurs nodales actuelles u
h
(x
j
) =

N
i=1

i
(x
j
) u
i
. En notation matricielle
on peut crire u
h
(x
j
) = u
h
j
= S u
I
avec S
ij
=
i
(x
j
). Linversion de la matrice S donne
u
i
= Ru
j
avec R = S
1
= [
i
(x
j
)]
1
. En supposant que K
ij
est le systme dquation
initial rsoudre, cest--dire :
K
ij
u
i
= f
j
(3.19)
le systme se transforme comme suit :
K
ij
R
jk
u
i
= f
j
(3.20)
Ainsi, on peut imposer directement les CL puisquon a une criture avec les valeurs no-
dales.
3.5.1.5 La mthode de collocation
La condition u = u est introduite directement comme u(x
j
) =

N
i=1

i
(x
j
) u
i
= u(x
j
)
(Notez la diffrence entre les valeurs nodales ctives et relles). Cette quation est prise
directement comme une quation dans le systme global. Il faut, cependant, se mettre en
vidence que cette mthode garantit limposition exacte des CL seulement sur les nuds
de frontire mais pas sur toute la frontire [130]. Cest pourquoi il est important de v-
rier limposition des conditions sur toute la frontire. La technique de collocation a
un avantage majeur surtout dans le cas des mthodes sans maillage. Elle permet dvi-
ter ltape dintgration numrique. Ceci est dautant plus remarquable que le caractre
non-polynmial des fonctions de forme augmente. Dans la majorit des mthodes sans
maillage de type Galerkin, les fonctions de forme sont rationnelles, ce qui alourdit lint-
gration numrique et augmente lerreur quelle engendre. Dans le prsent travail, la m-
46
thode de collocation va tre adopte non seulement pour traiter les conditions aux fron-
tires, mais pour traiter le systme global.
3.5.2 Lintgration numrique
Lutilisation de la mthode des rsidus pondrs mne une forme faible de lEDP. Cette
dernire est forme par des expressions intgrales qui doivent tre values numrique-
ment. Pour les MMs cette tche est la plus coteuse en temps CPU puisque les termes
intgrales sont trs compliqus. Les drives des fonctions de formes peuvent avoir des os-
cillations, des coupures ou des discontinuits locales. Ces aspects sont dsavantageux pour
lintgration numrique puisquun nombre important de points dintgration est ncessaire
pour avoir un niveau de prcision apprciable. Lintgration de Gauss est souvent utilise
et elle marche bien tant que les fonctions de forme qui sont des rationnels montrent un
aspect polynmial. Toutefois, en MMs, les fonctions drives dordres suprieurs tendent
vers la perte de ce caractre polynmial (voir gure 1 de la section 2.4.2) et ainsi la qua-
drature de Gauss peut ne pas tre meilleure que dautres mthodes dintgration.
Il est clair que les mthodes de collocation prsentent un net avantage par rapport aux
mthodes de type Galerkin, puisquelles rsolvent la forme forte de lEDP et donc elles ne
gnrent aucune expression intgrale calculer numriquement. Les mthodes dintgra-
tion utilises en MMs sont :
3.5.2.1 Lintgration avec un maillage de fond ou une structure de cellules
Dans cette mthode, le domaine est divis en domaines dintgration dans lesquels la
quadrature de Gauss est faite (voir la gure 8). Dans le cas o un maillage de fond est
utilis, les nuds et les nuds gomtriques concident comme dans le cas de la MEF
classique. Tandis que dans le cas dune grille de cellules, les sommets des cellules sont
diffrents des points dintgration. Le problme de cette technique est le fait que lerreur
due au non-alignement des supports et des domaines dintgration, est plus importante que
47
integration with background mesh integration with cell structure
Figure 8 Intgration avec un maillage de fond ou une structure de cellule - Daprs
Fries et al. [146]
celle due au caractre non rationnel des fonctions de forme. La convergence et la prcision
seraient dont affectes et mme lutilisation dun ordre plus lev pour la quadrature de
Gauss seraient insufsant pour abaisser lerreur et remdier ce problme.
3.5.2.2 Lintgration nodale directe
Lvaluation des intgrales seulement aux points x
I
o les particules existent dans le sup-
port de la fonction de forme, est appele intgration nodale directe. Ainsi, les matrices
sont calcules entirement aux nuds sans aucun recours un maillage de fond. Cette
technique est plus simple que celle de Gauss puisquil ny a aucun recours des points
articiels pour lintgration. Seuls les points nodaux dj existant sont pris comme points
dintgration. Puisque lerreur dintgration est plus grande, une nouvelle technique din-
tgration stabilise a t introduite par Chen et al. dans [150]. Cette technique garantit une
intgration nodale directe qui satisfait exactement le patch-test.
48
3.5.2.3 Lintgration sur les sous-domaines ou sur les intersections des sous-domaines.
Cette mthode est un choix naturel pour la mthode MLPG qui est base sur une formula-
tion variationnelle faible et locale. Les rsultats de lintgration sont nettement meilleurs
que celle base sur lutilisation des maillages des mthodes pseudo-meshfree.
Il est noter quil ny a aucun besoin dun maillage pour ce genre dintgration. Les
integration
support of test domain
integration over local subdomains
support of trial domain
integration over intersections
of local subdomains
area
i
n
t
e
g
r
a
t
i
o
n
a
r
e
a
Figure 9 Intgration sur des sous-domaines locaux ou sur leur intersection - Daprs
[146]
points dintgration sont directement placs dans les intersection des sous-domaines. Des
techniques spciales de Gauss et de mapping peuvent tre utilises pour intgrer efca-
cement dans le cas de sous-domaines sphriques qui ont une partie en commun avec les
frontires globales du domaine. (Voir gure (9) et (10))
3.5.3 La distribution des particules
Bien que la distribution des particules dans les MMs est souvent alatoire, il nest pas
systmatique de considrer une telle distribution acceptable moins que certains critres
soient runis. Les distributions admissibles doivent satisfaire les conditions suivantes[136] :
49
subdomain
unit circle
global boundary
mapping
Figure 10 Mapping de situations dintgration dans le but dappliquer les techniques
standards dintgration - Daprs [149]
Chaque particule x
I
a un support qui lui est associ. Lunion de tous les supports
doit couvrir le domaine en entier i.e.

NP
I=1
S
I
Pour tout point x il existe une boule B(x) = x[[x x[ c dans lequel le nombre
de particules N
p
satisfait la condition 0 < N
min
N
p
N
max
< ou N
min
et N
max
sont xs a priori [26]. Donc un point donn du domaine ne doit pas tre
couvert par plus ou moins un certain nombre de support.
La distribution des particules doit tre "non-dgnrative". Dans un espace de di-
mension d, i.e. x

R
d
, les d + 1 particules ncessaires pour une interpolation
linaire doit dcrire un d-simplexe non-dgnratif. Par exemple, en deux dimen-
sions, x

doit appartenir aux supports dau moins trois fonctions de forme associes
des particules non alignes.
3.5.4 La stabilisation
Comme cest le cas dans les approches conventionnelles, la famille des mthodes sans
maillage, est confronte souvent aux problmes de stabilit des schmas numriques ob-
tenus. Dailleurs, la classication "avec ou sans maillage" tombe immdiatement lors-
quon parle de stabilisation. La classication cinmatique des mthodes numriques de-
50
vient beaucoup plus pertinente de ce point de vue. En effet, un choix dune approche
description Eulerienne ou de type ALE, implique la prsence du terme convectif absent
dans le cas dune description Lagrangienne. Les termes convectifs sont des oprateurs qui
ne sont pas auto-adjoints, et ainsi ils posent des problmes lors de leur traitement num-
rique. Ceci est particulirement le cas pour les formulations de types Bubnov-Galerkin
lorsque les fonctions de pondration (fonction test) sont choisies comme tant les fonc-
tions inconnues [65]. Des modes oscillants peuvent, ainsi, natre et polluer localement la
solution. Leffet de ces modes parasites peut stendre sur une chelle globale et affecter
la solution du problme. Pour les schmas crits sous une formulation Lagrangienne, ce
problme peut tre rencontr bien que le terme convectif disparat avec lutilisation des
drives particulaires. En effet, comme on va le voir dans les chapitres 5 et 6, la discrtisa-
tion base sur une approche particulaire mne lobtention de schmas symtriques, donc
instables. La stabilisation des schmas obtenus se rvlent, par consquent, indispensable.
3.6 Conclusions
En rsum, les MMs construisent une interpolation partir dun ensemble discret
de donnes sur un distribution de points. En RKPM cette approximation est donne
par :
u
h
(x)
N

i=1
C(x, x
i
)w(x x
i
)u
i
V
i
= p
T
(x)[M(x)]
1
N

i=1
p(x
i
)w(x x
i
)u
i
V
i
(3.21)
En MLS, lapproximation est :
u
h
(x) = p
T
(x)[M(x)]
1
N

i=1
p(x
i
)w(x x
i
)u
i
(3.22)
51
Notons que dans le cas o V
i
= 1 lapproximation RKPM et MLS concident
exactement.
partir de ces interpolations, on peut construire des mthodes pour discrtiser les
EDP en se basant ou bien sur une formulation variationnelle ou sur la collocation.
Dans le premier cas, une tape supplmentaire dintgration des termes intgrales
est ncessaire avant daboutir au systme linaire nal. Si une approche par collo-
cation est adopte, le systme nal est obtenu directement.
En prsence de frontire mobile, lorsque les points bougent, on na pas besoin de
remaillage mais juste de mettre jour la liste des voisins !
CHAPITRE 4
LA MTHODE DES LMENTS NATURELS (NEM)
4.1 Introduction
La mthode des lments naturels ou NEM, est apparue dans les annes 1990, bien que
son ide originale remonte plusieurs dcennies en arrire [144, 148]. Cest une mthode
meshless de type Galerkin qui est base sur la notion de linterpolation des "voisins na-
turels". Une telle interpolation est reconnue tre trs robuste, interpolante et donc trs
pratique pour imposer les conditions aux frontires [69]. La principale caractristique de
linterpolation NEM est son caractre gomtrique qui implique uniquement les voisins
immdiats (ou naturels) qui entourent le nud. La fonction de forme est essentiellement
compose de rapports daires (en 2D) ou de volumes (en 3D), dans le cas dune interpola-
tion de type "Sibsonnienne". Dans le cas o cette dernire est de type "non-Sibsonnienne",
elle est forme de rapports de longueurs (en 2D) ou de surfaces (en 2D). Dans ce qui suit,
nous allons prsenter les deux types dinterpolation et discuter brivement de leurs avan-
tages et de leurs limites dutilisation.
4.2 Les interpolants de type voisins naturels
En 1980, Sibson [122],[123] a introduit la notion dinterpolation par les voisins naturels
pour lapproximation et le lissage des donnes. Avec lmergence des meshfree methods,
dautres travaux se sont intresss cette mthode et la gnralisation de lutilisation du
diagramme de Vorono pour la construction des fonctions de forme.
4.2.1 Le diagramme de Vorono et la triangulation de Delaunay
Le diagramme de Vorono (ou de Dirichlet) est une construction gomtrique unique ra-
lise partir dun ensemble de nuds distincts dans un espace Euclidien de dimension
53
quelconque d. Lappellation du diagramme de Vorono remonte au mathmaticien russe
Georgi Vorono (1868-1908).
Soit N un ensemble de M nuds distincts dun domaine born : N = n
1
, n
2
, ..., n
M
.
Le diagramme de Vorono associ lensemble N est la sub-division du domaine en des
rgions convexes V (n
I
) de manire ce que chaque point dans V (n
I
) est plus proche du
nud n
I
que de nimporte quel autre nud n
J
N (I ,= J). La rgion V (n
I
) (cellule de
Vorono de premier ordre) dun nud n
I
est le polygone (polydre) convexe :
V (n
I
) = x R
d
: d(x, x
I
) < d(x, x
J
)J ,= I (4.1)
avec d une mesure de Lebesgue dnie sur
Le dual du diagramme de Vorono est la triangulation de Delaunay, nomme daprs Boris
Delone (1890-1980), mathmaticien russe dont le nom a t francis en Delaunay. Le fait
de dire que la triangulation de Delaunay est le dual du diagramme de Vorono se traduit
comme suit : deux points dun nuage de points sont connects dans la triangulation de
Delaunay si et seulement si leurs cellules de Vorono respectifs sont adjacentes (elles ont
une arte commune en 2D). Elle est construite en joignant les nuds qui ont en commun
d 1 facettes de Vorono. Pour un ensemble N de nuds, le diagramme de Vorono est
unique alors que la triangulation de Delaunay ne lest pas (exemple le cas dun carr).
4.2.2 Les interpolants de type Sibsonien
Linterpolant de type voisin naturel ou interpolant de Sibson a t introduit par Sibson
[123]. La dnition du diagramme de Vorono de premier ordre a t introduite dans
lquation 4.1. De la mme manire, on peut tendre la dnition un ordre suprieur
k > 1. Ainsi on dnit le diagramme de Vorono de second ordre comme suit :
V (n
I
) = x R
2
: d(x, x
I
) < d(x, x
J
) < d(x, x
K
)K ,= I, J (4.2)
54
Figure 11 Triangulation de Delaunay et son diagramme de Vorono correspondant
Par consquent le diagramme de Vorono de second ordre est la subdivision du plan (ou de
lespace) en domaines V
IJ
de manire ce que V
IJ
est le lieu de tout point qui a I comme
nud le plus proche et J comme deuxime nud le plus proche.
Sibson a utilis la notion de diagramme de Vorono de second ordre pour dnir la fonction
dinterpolation de type voisin naturel. Cette dernire peut tre utilise, en outre, comme
fonction de pondration ainsi quune fonction test dans la formulation de type Galerkin.
En se rfrant la gure 12, si un point P de coordonne x est insr dans la triangulation
de Delaunay, la fonction de forme de type voisin naturel de P, associe au nud I, est
dnie comme tant le rapport de la surface de la cellule de Vorono de second ordre (A
I
)
par laire totale de la cellule de Vorono de premier ordre (A) de P :

I
(x) =
A
I
(x)
A(x)
, A(x) =
n

J=1
A
J
(x) (4.3)
n tant le nombre de voisins naturel de P. La drive de la fonction de forme de type Sibson
est obtenue en drivant lquation 4.3 :

I,j
(x) =
A
I,j
(x)
I
(x)A
,j
(x)
A(x)
, j = 1, 2 (4.4)
55
Quand x x
I
alors
I
(x
I
) = 1 et par consquent toutes les autres fonctions de forme sont
nulles, i.e.
I
(x
J
) =
IJ
. Do la conclusion trs importante : les proprits de positivit,
de la partition de lunit et du caractre interpolant sont automatiquement vries :
0
I
1,
I
(x
J
) =
IJ
,
n

I=1

I
(x) = 1 (4.5)
Cette interpolation vrie aussi la proprit de coordonnes locales et elle reproduit exac-
tement toute distribution linaire (linear completeness)[148] :
x =
n

I=1

I
(x)x
I
(4.6)
1
p
2
3
4
5
6
7
A
1
s
5
h
5
Figure 12 Interpolation de type sibsonien vs celle de type Laplace-gure daprs [105]
4.2.3 Les interpolation non-Sibsoniennes ou de Laplace
Soit N un ensemble de nuds qui sont associs les cellules de Vorono dnies par
lquation 4.1. Soit t
IJ
la facette associe aux cellules V
I
et V
J
(de dimension d 1 :
56
segment en 2D ou polygone en 3D) et m(t
IJ
) la mesure de Lebesgue de t
IJ
. Si un point
P quelconque de coordonnes x R
d
est introduit dans la mosaque (tesselation), et si
ce point possde n voisins naturels (voir gure 12), alors la fonction de forme de Laplace
associe au nud I est [15],[24] :

I
(x) =

I
(x)

n
J=1

J
(x)
(4.7)
avec

J
(x) =
m(t
IJ
(x))
h
J
(x)
en 2D cette quation prend la forme suivante :

I
(x) =

I
(x)

n
J=1

J
(x)
,
J
(x) =
s
J
(x)
h
J
(x)
(4.8)
o
J
(x) est la fonction poids de Laplace, s
I
(x) est la longueur de larte de Vorono
associ P et au nud I et h
I
(x) est la distance Euclidienne entre les points P et I (voir
Figure 12). Ainsi la fonction test base sur une interpolation de type NEM, scrit comme
suit :
u
h
(x) =
n

I
(x)u
I
(4.9)
La drive de la fonction dinterpolation de Laplace est :

I,j
(x) =

I,j
(x)
I
(x)
,j
(x)
(x)
(4.10)
avec (x) =

J

J
(x). Il est a noter que le calcul de cette drive peut se faire explici-
tement vu que le lexpression de la fonction de forme est disponible. En 2D, la fonction
de forme de Laplace implique un rapport de longueurs, alors celle de Sibson implique un
rapport daires. Ainsi, le cot de calcul favorise le premier type de fonction sur le dernier.
Cet avantage est dautant plus marqu en 3D.
57
4.3 Proprits
En plus de la positivit, les principales proprits de linterpolation du type voisins naturels
sont numres dans ce qui suit :
4.3.1 Interpolation nodale
ce qui se traduit par :

I
(x
J
) =
IJ
(4.11)
avec
IJ
est ce qui est connu sous lappellation du delta de Kronecker. Ainsi, comme
pour le cas de la mthode des lments nis ou en volumes nis, linterpolation NEM est
interpolante. Cette proprit est trs importante puisquelle implique une aisance relative
dans limposition des conditions aux frontires. Il est important de noter dans ce mme
cadre que la majorit des interpolations de type MM ne satisfont pas cette proprit ; ce
qui a rendu limposition des conditions aux frontires le problme principal de toute la
famille des MM.
4.3.2 La partition de lunit
Les interpolants Sibsoniens et non-Sibsoniens vrient la consistance dordre 0 ou la par-
tition de lunit :
N

I
(x) = 1 (4.12)
Ainsi toutes les interpolations de type NEMreproduisent exactement les fonctions constantes.
58
4.3.3 La consistance linaire
Les diffrentes interpolations de type NEMreproduisent exactement une fonction qui varie
linairement. Cest ce qui est connu couramment par la consistance linaire.
x =
N

I
(x)x
I
(4.13)
Le lecteur est rfr aux travaux de Sukumar et al. [148, 69] pour les dmonstrations de la
consistance linaire qui concerne les interpolations de Sibson et de Laplace.
4.3.4 Linarit stricte de lapproximation sur les bords
Sur la frontire dun domaine convexe, les fonctions de forme sont strictement linaires
entre deux nuds voisins. La fonction dapproximation tant une combinaison linaire
des fonctions de forme, celle-ci est galement linaire sur la frontire de ce domaine. La
dmonstration peut tre trouve dans [144].
Pour les cas non-convexes, des traitements spciaux sont requis pour retrouver la linarit
de la fonction de forme. Ces traitement sont rsums dans le paragraphe Imposition des
conditions aux frontires.
4.3.5 Nature du support
Le support de la fonction dinterpolation de type NEM est lunion de cercles circonscrits
dans les triangles de Delaunay autour du nud I. Voir gure 13.
4.3.6 Principales diffrences
Linterpolation de type Sibson et celle de Laplace sont diffrentes dans deux aspects prin-
cipaux :
59
I
Sibson/Laplace
I
MLS/EFG
Figure 13 Le support de la fonction dinterpolation de type NEM vs le support des
mthodes MLS et EFG - gure daprs [105]
La fonction de forme de Laplace est symtrique (car
IJ
=
JI
) alors que celle de
Sibson ne lest pas.
La fonction de forme de Sibson est C
1
sur tout le domaine sauf aux nuds I l o
elle est C
0
. La fonction de forme de Laplace est C
0
aux nuds ainsi que sur toute
la frontire du support.
4.4 Imposition des conditions aux frontires
Le caractre interpolant de la fonction de forme favorise et facilite limposition des condi-
tions aux frontires. Cette proprit est trs prcieuse dans le cas de la mthode NEM
puisquelle est une des rares mthodes purement meshless et qui vrie la proprit du
delta de Kronecker. Toutefois, un problme persiste dans le traitement des conditions
aux frontires pour la mthode NEM. Le traitement diffre selon la prsence ou non du
caractre convexe du domaine dtude. Cest pourquoi, chaque cas est prsent sparment
dans ce qui suit :
60
4.4.1 Traitement des domaines convexes
Linterpolant de Sibson reproduit prcisment une fonction linaire sur une frontire dun
domaine convexe. Sukumar et al. [148] ont montr que les fonctions dapproximation
u
h
(x) sont strictement linaire entre deux nuds situs sur une arte du triangle de Delau-
nay. La dmonstration est assez triviale et repose sur le la comparaison des contributions
des cellules de Vorono des nuds situs sur la frontire et ceux situs lintrieur du
domaine. La contribution de la cellule de Vorono dun nud de la frontire est innie ;
ce qui rend la contribution de la cellule de Vorono dun nud interne ngligeable (voir
gure 14).

Figure 14 Contribution des cellules de Vorono des nuds de frontire dans le cas de
domaine convexe et non convexe
Cette proprit est perdue pour linterpolation de type Sibsonien dans le cas dun domaine
non-convexe. En effet, dans ce cas, les cellules de Vorono des nuds de frontire ne sont
plus innies. Ainsi, leurs contributions sont comparables celles des nuds de lintrieur
du domaine. En pratique, un rafnement sufsant au voisinage de la frontire serait ca-
pable de retrouver un comportement quasi-linaire. Pour le cas de linterpolation de type
non-Sibsonien, Sukumar et al.[148] montrent que "les dplacements sont parfaitement li-
61
naires sur les frontires des deux types de domaines (convexes et non-convexes)". Ainsi
les conditions aux limites dans le cas de la NEM avec une interpolation non-Sibsonienne,
peuvent tre imposes directement comme dans le cas de la mthode des lments nis.
4.4.2 Traitement des domaines non-convexes
Sukumar et al. [144] a prouv que linterpolation du type NEM est linaire sur un do-
maine convexe. Cependant, dans un domaine non-convexe, la linarit est perdue pour
linterpolation de type Sibsonien. Pour remdier ce problme, deux approches princi-
pales ont t proposes. La premire approche est le concept alpha-shape. La seconde, est
ladaptation de la mthode NEM en utilisant les diagrammes de Vorono contraints, ce qui
mne la mthode NEM contrainte ou C-NEM. Il est important de noter que dautres ap-
proches existent pour traiter les domaines non-convexes (dcomposition en sous-domaines
convexes (applicable que pour les domaines ayant une ou plusieurs symtrie), couplage
avec la MEF). Cependant, ces approches ne sont prsentent pas dintrt pratique dans
nos applications.
4.4.2.1 Les formes alpha (alpha shapes)
Une premire approche originale pour traiter les cas non-convexes a t propose par
Cueto et al.[92]. Il sagit de ne pas changer dinterpolation mais de restreindre les voisins
naturels intervenant dans le calcul de lapproximation. Dans certains domaines, o il y
un caractre non convexe prononce, les domaines dinuence des fonctions de forme
de certains nuds de la frontire, ont une tendue importante de manire ce que cette
inuence atteint des nuds dune autre frontire (comme dans le cas des ssures).Ainsi et
pour prvenir les tendues indsirables de certaines fonctions de forme, Cueto et al.[92]
ont propos lide suivante : liminer de la liste des voisins naturels tous les nuds qui
appartiennent un ttradre dont le rayon de la sphre circonscrite dpasse une certaine
valeur xe [49]. Cette mthode permet de garantir la linarit le long du bord dun
62
Figure 15 Evolution de la famille des -shapes dun nuage de points reprsenatant une
mchoire infrieure. Formes S
0
(a), S
1.0
(b), S
1.5
(c), S
3.5
(d) et S

(e).
Daprs Martinez et al.[46]
domaine non convexe puisquelle permet dviter linuence des nuds non dsirs (voir
gure 16).
Cependant, cette mthode ne peut pas tre applique pour les cas fortement non convexes.
Dans ce cas, la mthode C-NEM devient une alternative efcace.
63
n
I
r >
max

n
I

Figure 16 La mthode des formes alpha (alpha shapes) : restriction des voisins naturels
(gauche). Inefcacit de la mthode pour les cas fortement non convexes
(droite). Daprs [49]
Toujours, daprs Cueto et al [92], deux conditions permettent de dnir la valeur maxi-
male de . Une premire condition se base sur la distance entre les bords dune ssure
et leurs axes mdians [69]. La deuxime condition se base sur le rayon de courbure local
de la frontire. La distance entre deux nuds conscutifs sur le bord doit tre infrieure
aux deux paramtres cits. Lapplication de ces conditions puis la suppression des voi-
sins suivant la mthode des formes alpha garantissent la linarit de linterpolation sur la
frontire. Toutefois, lorsque la distance entre deux surfaces tend vers zro, ou lorsque la
surface prsente un angle vif ou une pointe de ssure et que le rayon de courbure local
sannule, la vrication des conditions prcdentes devient impossible [49].
4.5 Mthode des lments naturels contraints ou C-NEM
Pour remdier aux problme de la mthode NEM lors de la prsence du caractre non-
convexe du domaine, Yvonnet et al.[49] ont propos une approche originale base sur une
nouvelle dnition du diagramme de Vorono.
4.5.1 Diagramme de Vorono contraint
La dnition de diagramme de Vorono "born" ou "contraint" a t suggre par Klein [5].
Le diagramme de Vorono contraint est le dual de la triangulation de Delaunay contrainte.
64
Pour dnir le Diagramme de Vorono contraint nous avons besoin de dnir quelques
notions pralables.
Soit le domaine dtude et sa frontire. Soit I(n) lensemble des nud intrieurs
et E(n) lensemble des nuds situs sur [49]. Un point x est visible dun nud n
I
si et
seulement si il vrie un des critres suivants :
x , n
I
I(n) et il nexiste aucune intersection entre le segment [xn
I
] et
x est situ sur une arte ou une face contenant n
I
, n
I
E(n)
Le diagramme de Vorono Contraint est lensemble des cellules de Vorono contraintes. A
chaque nud n
I
est associ la cellule de Vorono contrainte T
c
I
dnie par :
T
c
I
= x : d(xn
I
) < d(x, n
J
), J ,= I, n
J
visible depuis n
I
(4.14)
En dautres termes, tout point x contenu dans et se trouvant dans T
c
I
est plus proche du
nud n
I
que de nimporte quel nud n
J
visible depuis le nud n
I
.
4.5.2 Interpolation de type C-NEM
Une fois le diagramme de Vorono contraint dni, linterpolation de type C-NEM se
prsente comme suit. Une fonction inconnue u est approxime par u
h
(x) dnie par :
u
h
(x) =
V

I=1

C
I
(x)u
I
(4.15)
o V est le nombre de voisins naturels visibles depuis x,
C
I
sont les interpolants Sib-
soniens identiques ceux utiliss dans la mthode NEM mais calculs sur la base du
diagramme de Vorono contraint. Les valeurs u
I
sont les inconnues nodales des voisins
naturels visibles depuis le point x [49].
Il est trs important de noter que losque le point x sapproche dune arte ou dune face
de , le contour des cellules de Vorono concerns est prolong linni lextrieur de
65
ce qui implique des contribution en aire (en 2D) ou en volume (en 3D)innies. Ces
contributions innies permettent de retrouver la linarit de linterpolation sur la frontire
du domaine.
Ainsi, la mthode C-NEM, avec la nouvelle dnition du diagramme de Vorono, a pu
surmonter les anomalies rencontres dans linterpolation de type NEM standard. Cest
pourquoi la continuit, la partition de lunit, la consistance linaire et la linarit sur les
bords sont dsormais assures.
La mthode C-NEM a t suggre principalement pour traiter les cas qui prsentent un
non-convexit aigu comme le traitement des ssures en mcanique des solides. Il est im-
portant de noter que Yvonnet et al. [49] nont prsent la mthode C-NEM que pour le
cas dune interpolation de type Sibsonnien. Aucune rfrence sur la possibilit dtendre
la mthode aux interpolation de type Laplace na t voque. Cependant, nous ne voyons
aucun handicap pour tendre cette mthode aux cas non-sibsoniens puisque la seule mo-
dication apporte la mthode NEM standard est le critre de visibilit ajout la d-
nition du diagramme de Vorono. Toutefois, cette remarque reste explorer plus rigoureu-
sement.
4.6 Linterpolant NEM de classe C
k
Bien que les applications que nous envisageons ne ncessitent quune interpolation dordre
bas (de prfrence dordre 0 vue la prsence de discontinuits), il est intressant de notier
la capacit de la mthode C-NEM monter en ordre de drivation. Plusieurs application en
mcanique ncessitent, en effet, un interpolant de classe C
k
o k doit imprativement tre
suprieur 1. Daprs Sukumar et al.[148], Belikov et al. [15] ont propos une procdure
compacte pour la gnration dinterpolation dordre lev dans le cas dinterpolant de type
non-Sibsonien. Lide principale rside dans le fait quun interpolant soit dordre k un
point x, il suft que u(x) vrie lquation
k
u = 0, o est loprateur de Laplace.
Ainsi pour les voisins de x, une srie de valeurs w
1
, w
2
, ..., w
m1
est calcule de manire
66
ce que les w
i
vrient les relations u = w
1
, w
1
= w
2
, w
2
= w
3
,...,w
k1
=
w
k
= 0. Le calcul de u(x) seffectue en rsolvant lensemble dequations prcdentes en
commenant par la dernire et en allant vers la premire.
En utilisant lexpression de la fonction test dans sa version non-Sibsonienne, on peut avoir
lidentit suivante :
n

I=1
u
I
u
h
(x)
2h
I
(x)
s
I
(x) = 0 (4.16)
et ainsi, la forme continue cette expression discrte est :
_
S
u
n
dS =
_
V
udV = 0 (4.17)
ou
u = 0, =

2
x
2
1
+... +

2
x
2
d
(4.18)
Le thorme de Gauss a t utilis pour transformer lintegrale de surface en une intgrale
sur le volume. Par consquent lquation 4.9 donne une approximation locale et discrte
de la solution de lquation harmonique en '
d
. On peut rfrer
I
(x) comme tant des
coordonnes harmoniques .
Pour le cas spcique qui correspond k = 2, deux quations sont rsolues : u = w
et w = 0. Ainsi les expressions nales pour un interpolant de second ordre sont les
suivantes :
w
I
=
1
V
I
p
I

J=1
u
J
u
I
h
I
J
s
I
J
(4.19)
w
h
(x) =
n

I=1

I
(x)w
I
(4.20)
u
h
(x) =
n

I=1

I
(x)u
I

w
h
(x)V (x)

n
J=1
s
J
(x)
h
J
(x)
(4.21)
67
Ici, n est le nombre de voisins naturels pour le point x ; p
I
est le nombre de voisins naturels
du point x
I
et V
I
est laire (le volume) de la cellule de Dirichlet correspondante.
On peut rarranger lexpression de lequation 4.21 dans la forme standard :
u
h
(x) =
m

I=1

I
(x)u
I
(4.22)
avec
I
(x) est la fonction de forme non-sibsonienne de second ordre du nud I au point
x et u
I
(I = 1, 2, ..., m) sont le vecteur des valeurs nodales. En utilisant lquation 4.21,
on peut immdiatement crire :
u
h
(x) =
n

I=1

I
(x)[u
I
(x)w
I
], (x) =
V (x)

n
J=1
s
J
(x)
h
J
(x)
(4.23)
Soit N
x
= n
x1
, n
x2
, ..., n
xn
lensemble des n voisins naturels du point x et N
I
= n
I1
, n
I2
, ..., n
Ip
I
lensemble des p
I
voisins naturels du point x
I
. Soit enn

N lensemble de tous les nuds
qui interviennent dans lapproximation :

N = N
x

n
I=1
N
I
. Le cardinal de

N est m.
Lexpression de w
I
est donne par lquation 4.19. On remarque que pour chaque nud
de N
x
, il y a deux sources de contributions distinctes (voir le deuxime terme de lquation
4.23). Aprs quelques rearrangements, on arrive la forme suivante :

I
(x) =
I
(x)
_
1 + (x)
1
V
I
p
I

J=1
s
I
J
h
I
J
(x)
p
I

J=1
1
V
J
s
J
I
h
J
I
_
, n
I
N
x
(4.24)

I
(x) = (x)
n

J=1, n
I
N
J

J
(x)
V
J
s
J
I
h
J
I
, n
I
, N
x
(4.25)
et comme s
I
J
= s
j
I
et s
I
J
= s
J
I
on obtient une criture nale :
u
h
(x) =
m

I=1

I
(x)u
I
68
avec :

I
(x) =
I
(x)
_
1 + (x)
p
I

J=1
s
I
J
h
I
J
_
1
V
I

1
V
J
__
, n
I
N
x
(4.26)

I
(x) = (x)
n

J=1, n
I
N
J

J
(x)
V
J
s
J
I
h
J
I
, n
I
, N
x
(4.27)
Cette version nale est facile implmenter et trs attrayante numriquement [16].
4.7 Algorithmes de calcul des fonctions de forme de la C-NEM
En 2D, une implmentation de lalgorithme de Bowyer-Watson [2],[31] peut tre adop-
te pour le calcul des interpolants de type Sibson et Laplace. Lalgorithme de Lasserre a
t galement utilis [61]. Lalgorithme de Watson nest pas extensible en 3D. De plus
lalgorithme choue dans les points situs sur les artes de Delaunay. Lalgorithme de
Bowyer-Watson est le plus performant pour valuer la fonction de forme de Laplace en
2D et en 3D. Alors que lalgorithme de Lasserre est efcace pour le calcul de la fonction
de forme de Sibson en 3D [69]. Dans ce qui suit, on va se contenter de dcrire lalgo-
rithme de Bowyer-Watson [69]. La squence de gures suivantes (gure 18) illustre les
principales tapes de lalgorithme global de la mthode C-NEM.
Soit un point P, les cercles de Delaunay circonscrits dans les quels le point P se situe, sont
trouvs. Ensuite, toutes les artes internes des triangles associs sont effacs. Le point P
est par la suite connect tous les nuds qui lentourent. Ainsi on dnit une nouvelle
triangulation. Enn les fonctions de forme de Sibson ou de Laplace sont values via de
simples calculs gomtriques. La longueur de larte de Vorono (s
IJ
) est la distance entre
deux sommets de Vorono adjacents (voir gure 18).
Sukumar et al [144] donnent une formule algbrique simple pour calculer les coordonnes
du centre du cercle circonscrit dans un triangle. Ces coordonnes sont utilises pour va-
luer les coordonnes des sommets de Vorono. Pour un triangle ABC de sommets A(a),
69
Figure 17 Les fonctions de forme de type Sibson et Laplace : (a) distribution nodale ;
(b) fonction de forme de Sibson et (c) fonction de forme no-sibsonienne ou
de Laplace-Daprs [48]
B(b) et C(c), le centre du cercle circonscrit est de coordonnes :
x =
(a
2
1
c
2
1
+a
2
2
c
2
2
)(b
2
c
2
) (b
2
1
c
2
1
+b
2
2
c
2
2
)(a
2
c
2
)
D
(4.28)
y =
(b
2
1
c
2
1
+b
2
2
c
2
2
)(a
1
c
1
) (a
2
1
c
2
1
+a
2
2
c
2
2
)(b
1
c
1
)
D
(4.29)
o D est quatre fois laire du triangle ABC :
D = 2[(a
1
c
1
)(b
2
c
2
) (b
1
c
1
)(a
2
c
2
)] (4.30)
70

1
2
3
4
5
6
7
3
1
2
3
4
5
6
7
3
1
2
3
4
5
6
7
3
1
2
3
4
5
6
7
3
K
2

V
2

1
2
3
4
5
6
7
3
(a)
(b)
(c)
(d)
(e)
Figure 18 tapes de calcul de la fonction de forme de type NEM : (a) triangles et cercles
de Delaunay, (b) limination des artes intrieurs, (c) Joindre le point P aux
somment qui lentourent (d) Fonction de forme de Sibson et (d) Fonction de
forme de Laplace.
71
4.8 La mthode NEM et ladaptativit ou le rafnement
La mthode C-NEM parait trs adapte pour rsoudre des problmes prsentant des dis-
continuits, ou de grands changements du domaine de rsolution [48],[69]. Une des ma-
nires privilgies par les numriciens pour augmenter la prcision et pour mieux capter
les discontinuits, est le rafnement. Cette stratgie est trs dlicate et surtout trs coteuse
lors de lutilisation des mthodes maillage. Dans le cas des mthodes sans maillage,
ladaptativit parait plus ralisable vue la exibilit des mthodes et surtout labsence des
maillages spcialement pour les mthodes vraiment meshless.
Dans le cas de la mthode NEM, qui est une mthode typiquement meshless, le rafne-
ment est une tche relativement aise. Yvonnet et al.[48] ont prsent des stratgies de
rafnement et des critres avec lesquels ils procdent au rafnement.
Il est logique de procder au rafnement dans le cas o lerreur du schma numrique nest
plus acceptable. Cest pourquoi, la stratgie de rafnement se base sur des indicateurs (ou
capteurs) derreurs et ce pour amliorer la prcision des rsultats.
4.8.1 Les indicateurs derreurs
Lapplication de la mthode C-NEM dans [48] portait sur la rsolution dun problme
dlastostatique en formulation de Galerkin. Dans ce cas, les auteurs ont dni deux types
dindicateurs derreur.
4.8.1.1 Premier indicateur derreur
Le premier indicateur est bas sur le calcul de lerreur L
2
locale sur le tenseur de contrainte
discontinu. Les dplacements nodaux d sont obtenus par la rsolution du systme linaire
nal (et aprs lintegration numrique sur les cellules de Vorono). Ces dplacements sont
utiliss pour calculer les contraintes sur les nuds lintrieur de chaque cellule de Voro-
no
i
= C
h
i
= C

B
i
d.
72
Dun autre ct, le tenseur de contraintes peut tre dni dune manire continue en nim-
porte quel point x . Ce tenseur (x) est obtenu par linterpolation C-NEM sur les
valeurs nodales :
(x) =
V

i=1

C
i
(x)
h
i
(4.31)
o V est le nombre de nuds voisins visibles de x et
C
i
sont les fonctions dinterpolation
contraintes de ces voisins. Ainsi, lerreur locale peut tre calcule comme suit :
e
h
i
=
_
_

i
1
2
(
h
i
)
T
C
1
(
h
i
)d
_
1/2
= |
h
|
i
(4.32)
4.8.1.2 Deuxime indicateur derreur
Le deuxime indicateur derreur est base sur une dnition continue du tenseur de contrainte.
Il est possible de construire une fonction de contrainte continue en utilisant la drive de
la fonction de forme l o elle est dnie :

h
(x) = CB
h
(x)d (4.33)
et ainsi un autre type dindicateur derreur peut tre dni en utilisant les deux expressions
4.31 et 4.33 :
e
h
i
=
_
_

i
1
2
(
h
)
T
C
1
(
h
)d
_
1/2
= |
h
|
i
(4.34)
4.8.2 Indexes de prcision des calculs (computing effectivity indexes)
Puisque le diagramme de Vorono constitue une dcomposition complte du domaine
dtude, lerreur globale est obtenue par la sommation des erreurs locales sur tous les
73
nuds du domaine :
_
e
h

_
2
=
N

i=1
_
e
h
i
_
2
(4.35)
et
_
e
h

_
2
=
N

i=1
_
e
h
i
_
2
(4.36)
La contribution relative lerreur globale peut aussi tre dnie comme suit :

h
i
=
e
h
i
| |

(4.37)
et

h
i
=
e
h
i
| |

(4.38)
Il est important de noter le cot trs lev du calcul de ces erreurs et particulirement le
calcul des intgrales dans les quations 4.32 et 4.34. En effet, il est ncessaire de faire
une triangulation des cellules de Vorono et daccomplir une intgration numrique sur
ces triangles.
Lindexe de prcision est dni comme suit :

h
=
e
h

e
ex

=
|
h
|

|
h

ex
|

(4.39)
et

h
=
e
h

e
ex

=
|
h
|

|
h

ex
|

(4.40)
Lindex de prcision doit tre proche de 1, du moins tendre asymptotiquement quand le
nombre de nuds augmente.
74
4.8.3 Stratgie de rafnement
Pour amliorer la prcision des solutions approximes, il est trs important de connatre
la contribution locale de chaque cellule. cest pourquoi, Yvonnet et al.[48] dnissent
lindicateur derreur permissible et lindicateur derreur pour chaque cellule
i
:

2
=
N

i=1
_

i
_
2
(4.41)
Pour avoir une erreur similaire dans chaque cellule, il faut avoir
i
=

, i, avec :

N
(4.42)
En suivant Zienkiewicz et al.[87], on peut dnir une longueur caractristique dune nou-
velle cellule par rapport celle dune ancienne et ce pour obtenir une convergence dordre
p (
_
h
p
_
). Dans notre cas, on peut dnir la longueur caractristique h dune cellule de
Vorono comme tant la moyenne des distances entre le nud central et ses voisins natu-
rels. Ainsi, on a :
h
new
i
h
old
i
=
_

i
_1
p
=
_
| (x)|

Ne
h
i
_1
p
(4.43)
Daprs Yvonnet et al.[48], le taux de convergence de la mthode C-NEM est quivalent
celui de la MEF sur un maillage triangulaire et utilisant une interpolation linaire. Ainsi,
le taux de convergence prvu est p dans le cas o une norme Euclidienne (Energy norm)
est utilise.
En utilisant une des stratgies de rafnement prsentes dans la gure 19, on obtient :
h
new
h
old

1
2
(4.44)
75
et par consquent, le rafnement doit oprer dans le cas o :
_
| (x)|

Ne
h
i
_1
p

1
2
(4.45)
La stratgie illustre dans la gure 19-a a t utilise dans quelques publications ([63],[83]).
(a)
(b)
Figure 19 Procdures de rafnement : (a) ancienne approche et (b) approche adopte
dans [48]
Elle est facile et recommande pour rafner un nuage irrgulier de points. La deuxime
stratgie de la gure 19-b a t applique par Yvonnet et al.[48] dans des problmes dlas-
tostatique. Les mmes auteurs ont test lefcacit des deux approches et ont remarqu
que, dans leurs cas dapplication, la deuxime approche est beaucoup plus efcace que la
premire.
Vue la nature mme de lapproximation NEM qui se base sur lutilisation du diagramme
de Vorono, le rafnement ne ncessite pas de cot additionnel dans le calcul comme cest
76
Figure 20 Exemple dadaptativit dans le cas dun problme dlastostatique daprs
Yvonnet [48]
le cas pour les autres MMs. De plus, et contrairement aux autres MMs, le support de la
fonction de forme de la mthode NEM est automatiquement dni par la dtection des
voisins naturels. Ce qui vite les difcults relies ladaptation de la taille du support
lors de la procdure de rafnement [23].
4.9 Conclusion
Ce chapitre a t consacr la prsentation de la mthode des lments naturels dans
sa version standard. Dans la majorit des cas dapplication rencontrs dans la littra-
ture, un cadre variationnel de type Galerkin sous une description Eulerienne, est utilis.
Quelques applications ont utilis une description Lagrangienne actualise, tout en gardant
lapproche variationnelle (voir par exemple [100, 46, 69]). Les applications cites ici ont
simul des coulements surface, sans pour autant utiliser les quations de Saint-Venant.
Il est intressant, donc, dexplorer les capacits de la mthode des lments naturels
traiter des coulements surface libre en prsence de chocs et en utilisant le systme de
Saint-Venant. Le grand avantage de la NEM, en loccurrence la fonction de forme inter-
polante, offre une aisance dans limposition des conditions aux frontires. Cet avantage
est absent dans toute les autres mthodes sans maillage. De plus, les approches variation-
77
nelles utilises jusquici avec la NEM, ne nous intressent pas particulirement dans les
applications que nous envisageons. Ceci est due principalement au fait que nous sommes
en prsence dune loi de conservation (systme de Saint Venant) qui est souvent traite
laide dapproche de type volumes nis. Par consquent, on va essayer de dvelopper
une approche particulaire base sur la fonction de forme de type NEM. Le chapitre 6 sera
consacr cette tche. Une nouvelle mthode labore dans le cadre de ce travail et bap-
tise Mthode des volumes naturels sera dveloppe, prsente et applique pour simuler
les coulements surface libre.
CHAPITRE 5
LA MTHODE SPH (SMOOTHED PARTICLE HYDRODYNAMICS)
APPLIQUE AUX COULEMENTS SURFACE LIBRE
Aprs avoir prsent les principales mthodes sans maillage dans le chapitre 3 et aprs
avoir prsent plus en dtail la mthode NEM dans le chapitre 4, nous entamons partir
de ce chapitre les applications de ces mthodes dans le cas des coulements surface
libre. La premire tape consiste utiliser la mthode SPH vue son caractre Lagrangien
intrinsque. Lapplication de la mthode SPH dans sa version standard a fait lobjet du
projet de matrise de lauteur [12]. Cette tape servi explorer les capacits de la mthode
et de dtecter ses limites. Le travail effectu dans le cadre de cette thse vise surmonter
les difcults de la SPH. Ce chapitre est, donc, consacr lapplication de la mthode SPH
aux coulements surface libre. Les quations de Saint-Venant sont formules en utilisant
cette mthode pour simuler des coulements en 1D et en 2D en absence de termes sources.
La mthode est prsente dans sa version standard. Ensuite, son implmentation dans le
cas des quations de Saint-Venant est dtaille. Une tude comparative de la mthode dans
son cadre "variationnel" avec la mthode des lments nis donne les limites de validit,
aussi bien de la mthode dans sa version de collocation, que de celle des expressions
des gradients. Dans la mme philosophie, et vue la forme centre du schma obtenu, une
bonne partie de ce chapitre sera consacre aux techniques de stabilisation utilises. En
effet, une viscosit articielle obtenue par une analogie avec les techniques de dcentrage
(upwinding) rencontres et utilises pour les solveurs de Riemann, est introduite dans le
schma SPH nal. Finalement, des rsultats de validation en 1D et 2D sont prsents en
n de chapitre. Ce chapitre a fait lobjet dune publication apparue dans le "International
Journal for Numerical Methods in Fluids" en 2005.
79
5.1 tat de lart
Dans la littrature scientique, la grande majorit des travaux rencontrs qui traitent la
simulation des coulements surface libre, utilisent les approches Euleriennes ou pseudo-
Lagrangienne (ALE). La mthode des lments nis (voir par exemple Soulamani et Saad
[153], Souli et Zolesio [81] et Hicks [50]) et surtout la mthode des volumes nis (voir
par exemple Toro [38], Loukili et al. [6], Audusse [35] et Mohammadian et al.[34]) re-
prsentent les approches systmatiques pour cette n. La description Lagrangienne reste
dun usage trs limit. Dor et al. [97] ont introduit la mthode de diffrences nis mobile
(moving nite difference methods). Par la suite Miller a prsent la mthode des lments
nis mobile [129, 89]. Les deux dernires dcennies ont vu lavnement de la famille des
mthodes sans maillage (meshfree methods). Les premires applications parues taient
dans le domaine de lastrophysique en utilisant la mthode SPH (voir Lucy [95] ainsi que
Gingold et Monaghan [73]. La mthode SPH a t utilise dans plusieurs applications
en mcanique de solide et en uide. titre dexemple, les rfrences [96], [139], [57],
[103] et [10] montrent des applications de la mthode SPH dans la simulation des chocs
grande vitesse. En coulements surface libre, on peut citer les travaux de Monaghan
[76]. Dans ce travail, et dans plusieurs autres ([114],[99],...), les quations de Saint-Venant
nont pas constitu le support mathmatique des simulations. Les quations de dynamique
des gaz dans le cadre dune loi dtat isentropique reprsentait la base mathmatique de
ces travaux. La loi la plus souvent rencontre dans la littrature est donne par lquation
(5.1) :
P = k
__

0
_

1
_
(5.1)
o P est la pression, est la masse volumique et est un paramtre et le coefcient k est
choisi de manire avoir un nombre de Mach faible pour lcoulement (typiquement entre
0.1 et 0.01). Les quations de Saint-Venant ont t traites avec la mthode SPH dans trs
peu de cas. Wang et al.[67] ont simul les cas de bris de barrage en 1D. Les rsultats quils
ont publis sont non-reproductibles. Contrairement ce dernier travail, Ben Moussa a
80
prsent dans sa thse [17] une tude mathmatique exhaustive des mthodes particulaires
de type SPH. Son travail a le mrite dtre un des seuls (avec les rapports de Sandia
Lab. [32] et [85]) fonder les bases mathmatiques de la mthode et dtudier dune
manire rigoureuse linuence des diffrents paramtres qui entre dans la formulation.
Dans le mme contexte, Frank et Reich [132] ont tudi les proprits de conservation de
la mthode SPH dans le cas des quations de Saint-Venant. Ils se sont intresss surtout
la conservation de la vorticit (Potential vorticity PV).
Les quations de Navier-Stokes ont t traites par la mthode SPH pour simuler les cou-
lements surface libre. On peut citer le travail de Shao et al. [40] dans lequel les auteurs
simulent des coulements de uide Newtoniens et non-Newtonien en prsence de surface
libre. Inutska [138] a introduit les solveurs de Riemann dans la formulation SPH pour
valuer les forces sur chaque particules. Cha et al. [11] ont prsent une nouvelle formu-
lation de la SPH appele GPH (Godunov-type Hydrodynamics). La GPH a exactement la
mme philosophie que la SPH lexception que la GPH utilise un solveur de Riemann
pour valuer les acclrations hydrodynamiques. Dans la mme ligne de travaux, Mo-
naghan [77] et de Molteni [21] montrent des reformulation de la mthode SPH avec les
solveurs de Riemann. La mthode SPH a mme fait lobjet dun livre qui traite de ses
aspects mathmatiques et numriques ainsi que ses divers application. Voir la rfrence
[106] pour plus de dtails. De plus, quelques codes commerciaux bass sur la mthode
SPH commencent tre de plus en plus populaires dans la communaut des ingnieurs.
Citons titre dexemple le code SPARTACUS-2D qui a t dvelopp en se basant sur les
travaux de recherche de EDF (lectricit de France) [33, 124, 37] et qui a t incorpor
dans le grand logiciel TELEMAC-2D spcialis dans les coulements surface libre.
Dans ce chapitre, la mthode SPH sera prsente ensuite implmente et applique dans
le cas des SWE. Les solveurs de Riemann vont tre utiliss pour des ns de stabilisation.
81
5.2 Prsentation de la mthode SPH
Lide principale de la mthode SPH repose sur lidentit suivante : Toute valeur f(x)
dune fonction f en un point x peut scrire comme suit :
f(x) =
_

f(s)
x
(s)d =
_

f(s)(x s)d (5.2)


o est le domaine de dnition de f,
x
est la masse de Dirac centre en x. En pratique, la
masse de Dirac est numriquement non-reproductible. Par consquent, elle est remplace
par une fonction plus rgulire appele "fonction noyau" (Kernel), quon notera dsormais
W, qui doit vrier quelques proprits mathmatiques quon va dtailler par la suite
[75, 82]. Lquation (5.2) devient :
f(x)
_

f(s)W(x s)d (5.3)


W dpend de la variable x s et dune autre variable note l et appele "longueur de
lissage" (smoothing length). La fonction Gaussienne et la fonction Spline sont les noyaux
le plus souvent utilises. La fonction Gaussienne est donne par :
W(x, l) =
1
(

l)
d
exp

2
(5.4)
o =
x
|x|
et d est la dimension spatiale du problme. Un exemple des fonctions Spline
est donn par :
W(x, l) =
_

_
4 6
2
+ 3
3
si 0 < 1
(2 )
3
si 1 < 2
0 si 2
(5.5)
Dautres exemples de noyaux ont t voqus dans le paragraphe 3.4.4.
Les fonctions noyaux doivent vrier les conditions suivantes [74, 113] :
82
1. W(x, l) > 0 pour tout x
I
, o
I
est un sous-domaine du domaine total
2. W(x, l) = 0 pour tout x

I
, complement de
I
dans
3. W doit tre normalis :
_

W(x, t)dt = 1
4. W(s, h) une fonction monotone et dcroissante avec s = |x y|
5. W(s, h) (s) quand h 0 o est la masse de Dirac.
De plus, la fonction noyau doit avoir la proprit de la symtrie (i.e. W(sx) = W(xs))
et par consquent, lanti-symtrie de sa drive (i.e.
W(s x)
x
=
W(x-s)
x
). Cette
proprit est ncessaire et indispensable pour garantir la conservation de la quantit de
mouvement (voir la dmonstration dans Gingold [73]).
La discrtisation de lquation (5.3) en utilisant une quadrature de Riemann donne lap-
proximation SPH de la fonction f :
f(x)
a
=
N

j=1
m
j

j
f(x
j
)W(x x
j
) (5.6)
Lexposant a dnote lapproximation. N est le nombre de voisins situs dans le cercle de
lissage relatif x et qui ont des masses xes m
j
et des coordonnes x
j
.
j
est la masse
volumique relative la particule j et m
j
/
j
est son volume qui peut varier pour les uides
compressibles.
Toujours en appliquant une quadrature de Riemann, en utilisant lquation (5.6), la drive
spatiale de la fonction f est donne par :
_
f(x)
x
m
_
a
=
N

j=1
V
j
f(x
j
)
W(x x
j
)
x
m
(5.7)
La drive spatiale (f/x
m
)
a
peut tre obtenue en drivant directement lquation (5.3).
Ce qui procure lidentit suivante (f/x
m
)
a
= f
a
/x
m
. Cette proprit nest pas valide
dans le cas o le noyau na pas un gradient anti-symtrique. En effet, pour assurer les
83
conditions de la consistance dordre zro (appele partition de lunit) dans une forme
discrte, c--d :
N

j=1
V
j
W(x x
j
) = 1 (5.8)
et
N

j=1
V
j
W(x x
j
) = 0 (5.9)
Pour monter en consistance de la mthode SPH, un noyau corrig est souvent utilis. Il est
donn par [99] :
W
c
(x x
I
) = C(x)W(x x
I
) (5.10)
o C
1
(x) =

N
J=1
V
J
W(x x
J
). Cependant cette correction fait perdre le caractre
symtrique (pair) du noyau et donc le caractre anti-symtrique du gradient. Ce constat
implique deux consquences :
La conservation de la quantit de mouvement peut tre compromise. Daprs Mo-
naghan [75], lanti-symtrie du gradient du noyau est une condition ncessaire pour
garantir la conservation de la quantit de mouvement.
Une attention spciale doit tre porte au calcul des drives spatiales du noyau
corrig. En effet, lidentit (f/x
m
)
a
= f
a
/x
m
nest plus vrie. En effet, uti-
lisant lquation (5.4) avec un noyau symtrique et support compact, on a :
f(x)
x
m

_

f(s)
s
m
W
c
(x s)ds
=
_

f(s)C(x)
W(x s)
s
m
ds
=
_

f(s)C(x)
W(x s)
x
m
ds (5.11)
et ainsi en appliquant une quadrature de Riemann, lapproximation de la drive
84
spatiale donne :
_
f
x
m
_
a
(x) =
N

j=1
V
j
f(x
j
)C(x)
W(x s)
s
m

s=x
j
(5.12)
Il est clair que (f/x
m
)
a
,= f
a
/x
m
.
Remarques
1. En appliquant la formule (5.7), la drive discrtise calcule dans la position x
I
est :
f(x
I
)
a
=
N

j=1
V
j
f(x
I
)W
IJ
(5.13)
avec W
IJ
= W(x x
J
)

x=x
I
. titre dexemple, considrons, en 1D, une dis-
tribution de particules distances de dx, et un noyau symtrique avec une longueur
de lissage l = dx/2. Dans ce cas, V
J
= dx. Lapproximation de la drive est alors :
df(x)
a
dx
= dx
dW
I,I+1
dx
(f
i+1
f
i1
)
Cette approximation peut tre nulle dans des cas non-triviaux comme pour la fonc-
tion donne par f
I
= (1)
I
. Ces fonctions sont des solutions oscillantes qui repr-
sentent des fonctions parasites (spurious modes) qui sont capables de se multiplier
surtout au voisinage des discontinuits et ainsi polluer la solution totale. Ce cas, est
un cas dinstabilit trs connu dans le contexte des mthodes de diffrences nies et
dlments nis, lorsque les gradients sont approxims par des schmas centrs.
2. Comme suite la remarque prcdente, il est important de noter que, dans le cas
dune approximation deux points, la meilleure prcision est obtenue dans le cas
o dx(dW
I,I+1
/dx) = 1/2dx, alors que le pire cas correspond dW
I,I+1
/dx = 0.
Il est clair que la prcision de lapproximation est relie au choix du noyau et de sa
longueur de lissage. Si cette dernire est trs petite, le nombre de particules situes
dans le cercle de lissage de rayon l et qui interviennent dans lapproximation est
85
insufsant pour obtenir une bonne prcision. Dans le cas contraire, si la longueur
de lissage est trop grande, les caractristiques locales de la solution peuvent tre
lisses. Dans nos exemples numriques, nous allons choisir = 2 et une longueur
de lissage l gale deux fois lincrment spatial initial dx.
Rappelons, prsent, brivement lapplication de la mthode SPH dans le cas de lqua-
tion de la quantit de mouvement de dynamique des gaz :
Du
Dt
+
p

= 0 (5.14)
o u est le vecteur vitesse et p est la pression. Pour une particule i, lacclration nodale
est approxime classiquement par :
Du
i
Dt
=
N

j=1
m
j
_
p
i

2
i
+
p
j

2
j
_
W
ij
(5.15)
Dans le passage de lquation (5.14) lquation (5.15), une intgration par partie, utilisant
lidentit suivante, a t effectue :
p

=
_
p

_
p
_
1

_
Pour amortir les oscillations dans les rgions des chocs et an dviter linterpntration
des particules, une viscosit articielle [75] est introduite dans lquation (5.15) :

ij
=
_
_
_
c
ij

ij
+ c
ij

2
ij
si (u
i
u
j
) (x
i
x
j
)
0 sinon
(5.16)
o et sont des constantes, c
ij
est la moyenne des vitesses dondes associes aux parti-
cules i et j et
ij
= l(u
i
u
j
) (x
i
x
j
)/((x
i
x
j
)
2
+
2
). Les paramtres et sont
souvent pris respectivement 0.01 et 0 [76]. Ainsi, la version stabilise de lquation de la
86
quantit de mouvement (5.13) :
Du
i
Dt
=
N

j=1
m
j
_
p
i

2
i
+
p
j

2
j
+
ij
_
W
ij
(5.17)
5.3 Implmentation dans le cas des quations de Saint-Venant
En se basant sur ce qui est dit dans le paragraphe prcdent, on peut obtenir une impl-
mentation des quations de Saint-Venant avec la mthode SPH et ce par analogie avec les
quations des coulements compressibles et isentropiques. Dans les coulements sur-
face libre, la profondeur de leau h joue le mme rle que joue la masse volumique dans
les coulements compressibles. De plus, en utilisant lquation dtat p = gh
2
/2, lqua-
tion de conservation de la quantit de mouvement en coulements deau peu profonde est
obtenue par analogie avec lquation (5.17) :
Du
i
Dt
=
N

j=1
V
j
_
g(h
i
+h
j
) +
ij
_
W
ij
(5.18)
o h
i
est la profondeur deau nodale relative au nud i. Il est noter que la proprit de
consistance du noyau

N
j=1
V
j
W
ij
a t utilise pour obtenir une forme symtrique de
lquation (5.18).
Remarques
1. Lquation de continuit est automatiquement et implicitement vrie puisquune
dscription Lagrangienne est utilise. La masse totale de leau est subdivise en N
particules de masses m
j
. La masse de chaque particule est conserve dans le temps,
ce qui garantit la conservation globale de la masse. La profondeur deau peut tre
calcule en utilisant lapproximation SPH (quation 5.6) :
h
a
(x
i
) =
N

j=1
h
j
V
j
W
ij
=
N

j=1
m
j
W
ij
(5.19)
87
avec w
ij
= W(x
i
j). Ainsi la profondeur approxime nest pas la valeur nodale.
2. Daprs les quations (5.17) et (5.18), lacclration nodale est obtenue directe-
ment par collocation et donc sans aucune procedure de "smoothing" comme cest
le cas pour la pression. Ainsi, le terme de gauche de lquation (5.17) est obtenu
par une procdure de collocation. Tandis que le terme de droite est obtenu par une
approximation faisant intervenir les particules voisines. Dans la section suivante,
il est montr comment ces deux termes sont obtenus dune manire consistante en
utilisant une analyse variationnelle.
5.4 Une formulation variationnelle stabilise avec lapproximation SPH
Lapproximation SPH(5.6) peut tre considre comme une interpolation de type lments
nis. En effet, elle peut tre crite sous la forme suivante :
f
a
(x, t) =
N

j=1
N
j
(x)f
j
(t) (5.20)
o N
j
(x) = W(x
j
x)V
j
est la fonction de forme associe au noeud j. Toutefois, cette
fonction de forme nest pas interpolante i.e. elle ne vrie pas lidentit de Kronecker :
N
j
(x
i
) ,=
ij
(5.21)
o
ij
est la fonction Delta de Kronecker. Lquation (5.21) implique que f
a
(x
i
) ,= f
i
.
Cette identit cause des grandes difcults dans limposition des conditions aux frontires
de type Dirichlet.
5.4.1 Formulation variationnelle
Considrons dans la suite une DP de type hyperbolique :
Du
Dt
+F = 0 (5.22)
88
o F est une fonction scalaire de ux ( par exemple, pour les quations de Saint-Venant
F = gh). Une formulation variationnelle faible associe lquation (5.22) est donne
par :
_

i
N
i
(x x
i
)
_
Du
i
Dt
_
a
d
_

i
FN
i
(x x
i
)d +
_

i
FN
i
(x x
i
)nd = 0 (5.23)
avec
i
est le support compact de frontire
i
associ la particule i. n est un vecteur
unitaire normal sortant . Lorsque le support de la particule i est compltement inclus
dans le domaine de dnition (particule interne), le terme intgrale de contour sannule.
Plusieurs choix sont possibles pour approximer le ux F. Un premier choix consiste
choisir une approximation constante sur
i
, qui est gale par exemple F(x
i
) ou une
valeur lisse telle que F
a
(x). Le premier choix est peu coteux en calcul et il est souvent
utilis dans les formulation classique de la mthode SPH. Dsormais, on notera par F
h
(x)
le ux approxim. Dun autre ct, lapproximation SPH de la drive temporelle de la
vitesse est obtenue par un "lissage de la drive particulaire sur le temps", comme :
_
Du
Dt
_
a
(x) =
N

j=1
W(x x
j
)V
j
u
j
(5.24)
avec u
j
= Du
j
/Dt lacclration nodale de la particule j. Cette quation suppose que
la longueur de lissage nest pas fonction du temps. Par consquent, le premier terme de
lquation (5.23) devient :
N

j=1
_
_

i
W
i
V
i
W
j
V
j
d
_
u
j
=
N

j=1
M
ij
u
j
o M
ij
sont les coefcients de la matrice masse. Par lapplication de la procdure classique
de "condensation de la masse" (mass lamping) sur la matrice de masse consistante, qui
89
consiste concentrer toutes les masses du voisinage sur la particule i, on a :
N

j=1
M
ij
=
_

i
W
i
V
i
_
N

j=1
W
j
V
j
_
d (5.25)
En prenant en considration que

N
j=1
W
ij
V j = 1, on obtient :
N

j=1
M
ij
=
_

i
W
i
V
i
d = V
i
(5.26)
Par consquent, si la matrice consistante de masse est remplace par la matrice "lampe",
lquation (5.23) devient :
u
i

i
FN
i
(x x
i
)d = 0 (5.27)
En utilisant une quadrature de Riemann, lquation (5.27) donne :
u
i

j=1
V
j
F
h
(x
j
)W
ji
= 0 (5.28)
Dans le cas dun noyau consistant avec une drive anti-symtrique,

N
j=1
V
j
F
h
(x
j
)W
i
j =
0 et W
ij
= W
ji
. La forme discrtise nale de lquation (5.23) est donne par :
u
i
=
N

j=1
V
j
(F
h
(x
j
) +F
h
(x
i
))W
ji
= 0 (5.29)
Si on considre le cas o un noyau corrig comme celui donn par lequation (5.10), alors
le problme variationnel donn par lquation (5.23) sera :
_

i
N
c
i
(x x
i
)
_
Du
i
Dt
_
a
d =
_

i
FN
c
i
(x x
i
)d (5.30)
90
Utilisant une quadrature numrique et considrant le fait que

N
j=1
V
j
F
h
(x
j
)W
c
i
j = 0,
le terme de droite de lquation (5.30) est dvelopp comme suit :
N

j=1
V
j
(F
h
(x
i
) + F
h
(x
j
))(C(x
j
)W(x x
i
))

x=x
j
+W(x
j
x
i
)C(x
j
)
Comme W est symtrique, alors W(xx
i
)

x=x
j
= W
ij
. En appliquant la procdure
de lamping sur le terme de gauche de lquation (5.30), le problme variationnel discrtis
devient :
u
i
=
N

j=1
V
j
(F
h
(x
i
) +F
h
(x
j
))(C(x
j
)W
ij
WijC(x
j
)) (5.31)
Remarque :
On peut conclure daprs ce qui est voqu en sus, que la formulation standard de la
mthode SPH ne peut tre obtenue que si :
un noyau consistant, symtrique et support compact est utilis ;
une concentration de la matrice masse (mass lumping) est effectue ;
le ux est choisi comme tant un ux discret et gal F
h
(x) = F(x
i
).
5.4.2 Stabilisation
Passons maintenant la stabilisation de la formulation variationnelle (5.29) ou (5.31).
Comme il a t montr dans la section 5.2, lapproximation des gradients des ux avec
la mthode SPH standard, aboutit un schma centr et donc instable. Des oscillations
parasites peuvent natre et samplier surtout aux voisinages des discontinuits et ainsi
polluer la solution globale du problme. Do la ncessit dintroduire des mcanisme
de stabilisation dans le schma dapproximation discret. Notre approche de stabilisation
va se baser sur une analogie des techniques existantes et appliques pour les solveurs de
Riemann. Cette approche aboutira lintroduction dune nouvelle viscosit articielle qui
91
"dcentre" le schma (5.31) et qui sera plus performante que celle suggre par Monaghan
(avec lquation (5.16)) dans [74].
Dans ce qui suit on va considrer les deux noyaux de types Gaussien et Spline. Ces noyaux
vont tre corrigs ultrieurement pour assurer les conditions de consistance. Le noyau
Gaussien est donn par :
W(x x
i
) =
1
(l

)
d
exp(
2
) (5.32)
Le noyau de type Spline cubique est :
W(x x
i
) =
_

_
4 6
2
+ 3
3
si (0 < 1)
(2 )
2
si (1 < 2)
0 si ( 2)
(5.33)
o = |xx
i
| et d est la dimension de lespace. De plus, la relation suivante est vrie :
n
ij
=
W
ij
[W
ij
[
=
r
ij
[r
ij
[
avec r
ij
= x
i
x
j
le vecteur distance entre les particules i et j.
Revenons, prsent, lquation (5.29). Elle stipule que le ux est estim au milieu de la
distance entre i et j. Ce constat est beaucoup plus clair si on rcrit lquation (5.29) sous
la forme suivante :
u
i
=
N

j=1
2V
j
F
h
(x
i
) + F
h
(x
j
)
2
[W
ij
[n
ij
(5.34)
Pour introduire un mcanisme de stabilisation dans lapproximation du ux, un schma
simple de Lax-Friedrichs [118, 38] est utilis. Ainsi le ux centr (F
h
(x
i
) +F
h
(x
j
))/2 est
92
remplac par
1
2
_
(F
h
(x
i
) + F
h
(x
j
)) (u
j
u
i
) n
ij
_
o es tune longueur donde caractristique. Ainsi, la formulation SPH stabilise devient :
u
i
=
N

j=1
V
j
W
ij
_
(F
h
(x
i
) + F
h
(x
j
)) (u
j
u
i
) n
ij
_
(5.35)
Par consquent, le terme de stabilisation dans la direction n
ij
correspond :

ij
= (u
j
u
i
). n
ij
(5.36)
La normale n
ij
peut sexprimer en utilisant le vecteur r
ij
, ce qui mne lexpression
suivante :

ij
=
(u
j
u
i
). r
ij
_
r
2
ij
+
2
(5.37)
tant introduite pour viter la division par zro.
La formulation stabilise de lapproximation SPH de lquation hyperbolique (5.22) peut
tre applique directement sur lquation de la quantit de mouvement de Saint-Venant,
et ce en prenant la fonction de ux F = gh. Si son approximation est choisie comme
F
h
(x
i
) = gh
i
, lapproximation SPH, donne par lquation (5.18), sobtient. Toutefois, il
est possible de choisir F
h
(x
i
) = gh
a
i
et ainsi on obtient la formulation suivante :
u
i
=
N

j=1
V
j
W
ij
_
g(h
a
i
+h
a
j
) +
ij
_
(5.38)
qui est suppose tre plus stable. Dans le cas o un noyau corrig est utilis, lquation
prcdente devient :
u
i
=
N

j=1
V
j
_
g(h
a
i
+h
a
j
) +
ij
_
(W
ij
W
ij
C(x
j
)) (5.39)
93
Lquation de continuit (5.19) est utilise pour la dtermination de la valeur lisse la
profondeur h
a
i
et non pas la valeur nodale h
i
. Ainsi, les volumes V
j
sont calculs par
V
j
= m
j
/h
a
j
. Le terme de stabilisation est donn par :

ij
=

ij
u
ij
. r
ij
_
r
2
ij
+
2
(5.40)
avec u
ij
= (u
i
u
j
) est la vitesse relative,
ij
= (c
i
+ c
j
)/2 et c
i
=
_
gh
a
i
est la vitesse
donde. Compar avec la viscosit articielle donne par Monaghan (quation 5.16) :
Lquation (5.40) ne dpend pas de la longueur de lissage l ;
Elle ne dpend pas dune constante ;
Son application ne dpend pas des cas o les particules se rapprochent ou sloignent,
ainsi elle empchent les oscillations parasites (stencil spurious oscillations) de natre
et de samplier.
5.5 Traitement des conditions aux frontires
Aprs llaboration du schma de lapproximation SPHpour les quations de Saint-Venant,
nous allons voir les procdures de traitement des conditions aux frontires. Comme indi-
qu prcdemment, cette tache nest pas facile accomplir vu le caractre non-interpolant
de la fonction de forme de type SPH. Le caractre Lagrangien de la mthode complique
encore plus limposition des conditions aux frontires. En bougeant, les positions des par-
ticules et leur distributions spatiales changent dans le temps. Cest pourquoi, les exemples
que nous avons traits ont des gomtries simples. Dailleurs, le traitement des frontires
reste toujours un problme ouvert pour la mthode et cest principalement cause de ce
problme que nous avons cherch nous tourner vers une autre mthode Meshfree qui
dispose du caractre interpolant.
Parmi les techniques utilises pour le traitement des frontires, Monaghan [76] a introduit
la mthode des forces. Il a considr que linteraction entre les particules et la frontire
94
est semblable ce qui existe lchelle molculaire. Ainsi, une particule de frontire
xe (mur) exerce une force de type Lennard-Jones sur la particule mobile voisine (uide).
Cette approche a donn des rsultats mdiocres dans nos cas dapplication. La prsence de
chocs rend la solution trs sensible ce genre de traitement. Les deux approches utilises
ici sont : la mthode des particules fantmes et la mthode de symtrisation. Nous allons
expliquer brivement comment les implmenter dans nos cas dapplications.
5.5.1 Mthode des particules fantmes
Cette mthode consiste ajouter des ranges de particules sur le bord de la frontire pour
complter la partie manquante du support des particules de frontires (voir gure 21).
Dans le cas o on veut imposer une condition de glissement parfait, les composantes tan-
gentielles de la vitesse et de lacclration sont attribues aussi aux particules fantmes.
Les composantes normales affectes aux particules fantmes sont loppos de celles des
particules relles. Ainsi, la vitesse sur la frontire du domaine sera purement tangentielle.
Dans nos cas dapplications, cest ce type de condition qui est exig mathmatiquement
par les quations de Saint-Venant. Dans le cas o, une condition de frottement parfait est
ncessaire, les particules fantmes doivent avoir loppos des composantes tangentielles
de vitesse des particules relles.
5.5.2 Mthode de symtrisation
Cette mthode peut tre dcrite brivement comme suit : pour toute particule proche de
la frontire ( support incomplet), lutilisateur doit dtecter aussi bien la partie manquante
que la partie pleine du support et qui lui est symtrique (voir gure 21). Par consquent,
le calcul de la vitesse tient en considration le double de la contribution des particules
relles (dans le cas dune condition de frottement parfait), et la particule de frontire verra
son support comme si il tait plein donc comme si cette particule tait lintrieur du
domaine. Cette approche a un cot de stockage infrieur la mthode des particules fan-
95
Limit of the
domain
Ghost
particles
R eal particles
smoothing
Circle
Limit of the
domain
Ghost
particles
R eal particles
smoothing
Circle
Limit of
the
domain
Smoothing
circle
Part to
symmetrize
Lacking
part
Particle k
Limit of
the
domain
Smoothing
circle
Part to
symmetrize
Lacking
part
Particle k
Figure 21 Mthode des particules fantmes (en haut) et de symtrisation (en bas).
tmes, puisquaucune particule nouvelle nest ajoute. Pour les deux approches cites ici,
leur champs dapplication se limitent aux gomtries simples.
96
5.6 Intgration dans le temps
Pour la discrtisation dans le temps, un schma de Newmark explicite t utilis. Les
vitesses et les coordonnes spatiales pour une particule i sont obtenues par :
u
n+1
i
= u
n
i
+ t((1 ) u
n
i
+ u
n+1
i
) (5.41)
x
n+1
i
= x
n
i
+ t u
n
i
+ t
2
((
1
2
) u
n
i
+ u
n+1
i
) (5.42)
t est le pas de temps, u est le vecteur vitesse, u est le vecteur acclration et la notation
u
n
rfre u(t
n
). En choisissant les paramtres et respectivement gaux
1
4
et
1
2
, le
schma correspond la rgle des trapzes et il est de second ordre en prcision [42].
5.7 Algorithme global
Avant dintroduire lalgorithme global de lapproche, on va commencer par expliciter lal-
gorithme de recherche de voisins.
5.7.1 Recherche de voisins
Contrairement aux approches numriques standard, dans les mthodes sans maillage, la
connectivit entre les nuds nest pas connue dune manire directe par la donne du
maillage. Dans le cas de mthodes meshless formulation Lagrangienne, comme cest le
cas de la mthode SPH, les voisins (et donc la connectivit) de chaque particule change
dans le temps. Par consquent, lidentication de ces voisins, pour chaque particule, et
chaque pas de temps, est ncessaire. Cette tche est celle qui cote le plus cher dans
lalgorithme total de lapproche. Cest pourquoi, il est impratif de laccomplir dune ma-
nire optimale. Dans nos applications, nous avons adopt lalgorithme Octree dcrit par
Libersky et Petshek dans [10]. Une grille de fond (bookkeeping grid) est construite sur
tout le domaine (voir gure 22). Les cellules des la grille sont des carrs dont le ct est
gal au rayon du cercle de lissage de chaque particule, i.e. l. Ainsi, pour chercher les voi-
97
2 l
Domain
o
o
o
o o
o o
o o
o
o o
o
o o
o o
o
o o
o
o
o
o
o
o o
o o
o o
o
o
o o o o
o
o
o o
o
o
o
o
oo
o
o
o
o
o
o o
o
o
o
o
o o
o
o
o
o
o
o
o
o
o
o
o
o
o
o
o
o
o
oo
o
o
o
o
o
o
o o
o o
o
o o
o
o
o
o o o
o
o o
o o
o
o
o
Bookkeeping
Grid
Figure 22 Lalgorithme Octree pour la recherche de voisins.
sins dune particule, une premire tape consiste dtecter la cellule dans laquelle cette
dernire est situe. Ensuite, la recherche des voisins seffectue dans les 8 cellules entou-
rant la cellule de la particule. Il est trs important que cette grille nest utilise que pour
la recherche de voisins et non pour lintgration numrique, ce qui fait garder le caractre
mesh-free de lapproche.
5.7.2 Algorithme global de lapproche
Lalgorithme global de lapplication de la mthode SPH aux coulements surface libre
peut tre rsum dans les tapes suivantes :
Initialisation, introduction des variables initiales : h
0
j
, u
0
j
, V
0
j
, ...
Boucle sur le temps : Rpter, tant que t < t
simul
Boucle sur les particules : faire pour i = 1, .., N
98
1. Mettre jour la liste des voisins
2. Calculer les acclrations avec lquation (5.39)
3. Mettre jour les vitesses avec lquation (5.41)
4. Mettre jour les coordonnes avec lquation (5.42)
5. Calcul des profondeurs deau approximes (lisses) avec lquation (5.19)
Fin des la boucle sur les particules
Fin de la boucle sur le temps
5.8 Rsultats
Une fois la formulation SPH est tablie pour le cas des quations de Saint-Venant, des tests
de validation de cette approximation seront prsents dans cette section. Le problme de
bris de barrage (dam-beak) en 1D et en 2D vont constituer les applications prliminaires.
Les rsultats vont tre compars la solution analytique dans le cas monodimensionnel
tablie par Stoker dans [78], et avec une solution de type volumes nis donne par Toro
[38].
5.8.1 Problme de bris de barrage en 1D
Le premier ensemble de tests est la simulation du problme de bris de barrage en 1D.
Lobjectif est dvaluer les diffrentes versions de lapproximation SPHet de voir leffet de
la stabilisation sur chaque schma. Lquation (5.39) est implmente en utilisant un noyau
Gaussien (quation 5.32) et une longueur de lissage gale au double de lespacement initial
dx. Le pas de temps de la simulation est t = 0.02s. Les rsultats prsents dans ce qui
suit sont au temps t = 30s.
La gure (23) donne les conditions initiales pour ce cas de validation. La profondeur
amont est 10m et la profondeur avale est de 1m. Figure (24) donne une comparaison entre
les rsultats obtenus avec la nouvelle viscosit articielle (5.40) et ceux obtenus avec
99
R
L
Figure 23 Conditions initiales pour le problme de bris de barrage en 1D.
la viscosit standard (5.16). 1000 particules ont t utilises pour accomplir ce test. Le
meilleur rsultat pour la viscosit de Monaghan est obtenu pour = 2.0 et = 0.0 et
la formulation (5.38). On remarque que la majorit des modes oscillants ont t limins
Figure 24 Comparaison entre les effets de la nouvelle et de lancienne viscosits
articielles - la gure de droite est un zoom de celle de gauche
avec la nouvelle viscosit. Quelques perturbations minuscules persistent aux alentours de
100
la discontinuit. Le plateau est bien dni mais sa valeur est lgrement suprieur la
valeur thorique (voir le paragraphe 2.2.4). Une petite perturbation persiste lendroit de
la discontinuit initiale. Londe de rarfaction est lisse, trs probablement, cause de
leffet diffusif de la viscosit articielle. Cet effet pourrait tre rduit en appliquant un
limiteur de ux comme cest toujours le cas pour les mthodes de volumes nis de type
MUSCL dordre lev.
Par la suite, la formulation (5.39) est considre, dans laquelle le noyau est compltement
corrig. Les rsultats sont prsents dans la gure (25). Le plateau est maintenant plus
proche de sa valeur thorique. Toutefois, les petites perturbations lendroit du choc per-
sistent encore. Leffet de diffusion est clair surtout au niveau du choc de rarfaction. Nous
avons trouv exprimentalement que les meilleurs rsultats sont obtenus avec une correc-
tion partielle du gradient du noyau i.e. quand la drivation de C(x) dans la formulation
(5.39) est nglige. Ceci pourrait tre expliqu par la nature fortement non-polynmiale
du noyau corrig (fonction rationnelle). Cette nature provoque une erreur plus importante
lors de lintgration numrique (procdure de collocation), que pour un noyau non corrig.
Ainsi le choc est plus clair et le plateau est plus proche la solution exacte.
Les mmes tests ont t reproduits avec une longueur de lissage l = 3dx (gure (26)).
Les rsultats sont trs clairement plus lisss que dans le cas o l = 2dx. Toutefois, les
rsultats obtenus avec la nouvelle viscosit sont toujours meilleurs que ceux obtenus avec
la viscosit de Monaghan.
Finalement un test de convergence est effectu avec une longueur de lissage l = 2dx
et en utilisant la nouvelle viscosit (gures 27 et 28). Clairement, la solution samliore
nettement avec le nombre de particules. Lerreur Euclidienne et lerreur L
1
sont prsentes
sur la gure (29). Le taux de convergence est cependant assez bas par rapport celui des
approches standards.
101
Figure 25 Effet de la nouvelle viscosit dans le cas monodimensionnel (l = 2x).
Haut : pas de correction sur le noyau, milieu : correction partielle, bas :
correction complte. Les gures de droite sont des zoom de celles de gauche.
5.8.2 Problme de bris de barrage en 2D
Le test suivant est le problme de bris de barrage en deux dimensions. Ce test servira
voir leffet de la nouvelle viscosit, mais aussi pour imposer les conditions aux frontires
102
Figure 26 Effet de la nouvelle viscosit dans le cas monodimensionnel (l = 3x).
Haut : pas de correction sur le noyau, milieu : correction partielle, bas :
correction complte. Les gures de droite sont des zoom de celles de gauche.
103
0
2
4
6
8
10
0 200 400 600 800 1000 1200 1400 1600 1800 2000
X(m)
D
e
p
t
h
(
m
)
Analytic
300 particles
100 particles
50 particles
Figure 27 Test de convergence : effet du nombre de particules. Cas o le nombre de
particule entre 50 et 300.
0
2
4
6
8
10
0 200 400 600 800 1000 1200 1400 1600 1800 2000
X(m)
D
e
p
t
h
(
m
)
Analytic
500 particles
1000 particles
2000 particles
Figure 28 Test de convergence : effet du nombre de particules. Cas o le nombre de
particule entre 500 et 2000.
104
0
1
2
3
4
5
6
7
8
10 100 1000 10000
Number of particles
E
r
r
o
r

(
%
)
L1 error
Euclidian error
Figure 29 Test de convergence : volution de lerrer avec le nombre de particules.
et valuer leurs effets sur la qualit de la solution. Deux congurations gomtriques vont
tre considres. Le premier cas est celui dun canal rectangulaire. Dans ce cas, la mthode
des particules fantmes ou la mthode de symtrisation sont utilises. Les deux mthodes
donnent les mmes rsultats. Les conditions initiales sont exactement les mmes prsen-
tes dans la gure (23). La largeur du canal est 75 m. Le nombre de particules utilises
est 10080 rparties dune manire quidistante. Le temps de simulation est 30s et le pas
de temps est x t = 0.02s. Nous avons augment le pas de temps jusqu t = 0.1s
ce qui correspond un coefcient CFL [60] de 0.4 environ. Cette augmentation na pas
affect la qualit de la solution. La longueur de lissage est l = 2x, avec x est lespace-
ment initial entre deux particules successives. La gure (30) montre les rsultats obtenus
dans ce cas. Comme il peut tre remarqu, la nouvelle viscosit donne une meilleure sta-
bilisation, puisquil existe moins doscillations. Leffet diffusif est plus marqu. Le niveau
105


Figure 30 Problme de bris de barrage en 2D. Haut : profondeur deau (gauche) et
vitesse (droite) avec lancienne viscosit. Bas : profondeur deau (gauche)
et vitesse (droite) avec la nouvelle viscosit.
de londe de choc reste assez lev. Ceci peut tre expliqu par la combinaison de leffet
diffusif de la viscosit articielle avec lordre bas de linterpolation.
106


Figure 31 Problme de bris de barrage cylindrique : conditions initiales et volutions
de la profondeur dans le temps (t=0.4s, t=1.5s, t=2.5s et t=3.5s).
107
5.8.3 Bris de barrage cylindrique
Les conditions initiales et la gomtrie du cas de bris de barrage cylindrique sont don-
nes dans la gure (31). Le nombre de particules utilises est 40000 qui correspond un
maillage structur de 200x200. La profondeur deau lintrieur du barrage est 2.5m et de
0.5 lextrieur. Le rayon du barrage est de 0.5 m. Les dimensions du domaine sont 40x40
m
2
. La longueur de lissage est toujours l = 2x et le temps de simulation est 3.5s. La
mthode de symtrisation a t utilise pour le traitement de la frontire et ce pour simuler
un domaine inni.
Dans ce cas, on observe plus clairement leffet de la nouvelle technique de stabilisation.
La gure (32) montre que la profondeur deau nest plus oscillante aux voisinages des
chocs de front et de rarfaction. Ces rsultats sont compars avec ceux donns par la m-
thode des volumes nis, fournis par Toro [38]. Les rsultats fournis par la mthode SPH
sont assez acceptables. Pour les deux premires gures, les rsultats SPH sont lgrement
dvies par rapport ceux de la FVM. Ceci est d leffet de la diffusion articielle de la
nouvelle viscosit. Pour tre plus prcis, le schma de Lax-Friedrich utilis, nutilise au-
cune technique de reconstruction de type MUSCL pour rduire la diffusion habituellement
associe avec les schmas de Godunov de premier ordre.
Il est trs important de noter que la mthode SPH est beaucoup plus lente et surtout plus
coteuse que la FVM. Le temps CPU ncessaire la mthode SPH peut dpasser facile-
ment 50 fois celui de la FVM. titre dexemple, pour le cas dun barrage cylindrique,
pour accomplir une simulation avec 40000 particules un temps de 3.5s, le temps CPU
est de 24 minutes, alors que pour la FVM, il ne dpasse pas les 4 minutes pour le mme
nombre de cellules. Les simulations ont t ralises sur un ordinateur dont le processeur
est 550 MHz avec 512 Mo de RAM. Le temps de calcul de la mthode SPH est rduit
environ 6 fois avec lutilisation de lalgorithme Octree pour la recherche de voisins.
108
t=0. 4s
0,0
0,5
1,0
1,5
2,0
2,5
3,0
0 5 10 15 20 25 30 35 40
x( m)
D
e
p
t
h

(
m
)
Old visccosity
New viscosity
FVM
t=1.6s
0,0
0,1
0,2
0,3
0,4
0,5
0,6
0,7
0,8
0,9
1,0
0 5 10 15 20 25 30 35 40
x( m)
D
e
p
t
h

(
m
)
Old viscosity
New viscosity
FVM
t=2. 5 s
0,0
0,1
0,2
0,3
0,4
0,5
0,6
0,7
0,8
0,9
0 5 10 15 20 25 30 35 40
x (m)
D
e
p
t
h

(
m
)
Old viscosity
New viscosity
FVM
t=3. 5s
0,0
0,1
0,2
0,3
0,4
0,5
0,6
0,7
0,8
0,9
0 5 10 15 20 25 30 35 40
x (m)
D
e
p
t
h

(
m
)
Old viscosity
New viscosity
FVM
Figure 32 Problme de barrage cylindrique, comparaison avec la mthode des volumes
nis.
5.9 Discussion et conclusions
Dans ce chapitre, la mthode SPH a t applique pour la simulation des coulements
surface libre. La mthode a t value dans quelques cas acadmiques et a montr de bons
rsultats. Une tude variationnelle a abouti une nouvelle formulation de la mthode SPH
dans le cas des quations hyperboliques de type Saint-Venant. La nouvelle formulation a
t stabilise par lintroduction dune nouvelle viscosit articielle inspire des solveurs
de Riemann. La technique de stabilisation a rvl de trs bons rsultats par rapport celle
introduite par Monaghan. Les chocs ont t bien capts et les formes des ondes sont bien
dnies.
109
Toutefois, la mthode est incapable de traiter des cas gomtriquement complexes. En
effet, les techniques de traitement des conditions aux frontires sont limites aux gom-
tries simples. Le caractre non-interpolant de la fonction de forme rend limposition des
conditions aux limites trs difcile. Ce problme est commun la majorit des approches
Meshless. Avant lapparition de la technique NEM, toutes les mthodes Meshless ont des
fonctions de forme non-interpolantes et par consquent, ne sont conseilles que pour les
domaines innis ou gomtries simples.
cette tape du projet, une orientation stratgique tait prendre. Toutes les techniques
de traitement des conditions aux frontires (voir le paragraphe 3.5.1) ont t essayes dans
notre cas et elles nont pas donn de rsultats satisfaisants. Notre intrt va se tourner vers
une autre approche Meshless qui, bien quelle perd une partie de son caractre meshless,
offre lavantage davoir une fonction de forme interpolante. Ainsi, limplmentation de
cette nouvelle technique bnciera de lexprience acquise avec la mthode SPH. Les
techniques de stabilisation appliques pour la formulation SPH, seront utilises dans le
cadre de la mthode NEM. De plus, la mthode permet de rsoudre le problme de lim-
position des conditions aux frontires. Limplmentation de cette mthode fera lobjet du
chapitre suivant.
CHAPITRE 6
LA MTHODE DES VOLUMES NATURELS (MVN) : IMPLMENTATION ET
RSULTATS
6.1 Introduction
Ce chapitre est une suite logique des chapitres prcdents. Lobjectif initial de ce travail
tant le dveloppement dune approche pour la simulation des coulements surface libre
avec les mthodes sans maillages sous un formalisme Lagrangien. La premire tape a
consist appliquer et explorer les capacits de la mthode SPH pour ce genre de pro-
blme. Le chapitre 5 a t consacr pour cette n. La mthode SPH sest rvle un outil
assez bon pour tre capable de reproduire les coulements jusqu une certaine limite et de
bien capter les chocs que prsentent les solutions des quations de Saint-Venant. Ltude
accomplie sur la mthode SPH a montre que cette dernire prsente essentiellement deux
problmes : la stabilisation et le traitement des conditions aux frontires. La capture de
choc a t bien russie surtout avec la nouvelle technique de stabilisation inspire de lup-
winding des schmas de ux dans les solveurs de Riemann. Toutefois, le traitement des
frontires reste un handicap majeur pour cette mthode. En effet, la mthode SPH reste
limite aux domaines non bornes et aux gomtries relativement simples [101]. Plusieurs
travaux ont suggr des solutions pour tenter de remdier ce grand problme (voir titre
dexemples [13], [75], [101]). Cependant, le problme reste ouvert. Pour ces raisons, notre
stratgie a consist se tourner vers une autre mthode meshless qui ne souffre pas de la
mme problmatique. Or, daprs la revue bibliographique accomplie dans le chapitre 3,
la majorit des mthodes sans maillage ont ce problme en commun, lexception de la
mthode des lments naturels (NEM). En effet, la NEM dispose dune fonction de forme
interpolante et donc limposition des conditions de Dirichlet est une tche triviale pour
cette mthode [117]. Le prix payer est la perte du caractre meshless pur, puisque la
fonction de forme NEM est construite sur le diagramme de Vorono ou sur une triangula-
111
tion de Delaunay. La NEM a t prsente en dtail dans le chapitre 4. Dans ce chapitre,
ladaption et lapplication de la NEM aux coulements surface libre dans une formula-
tion totalement lagrangienne et en mode de collocation, sera dtaille. Plusieurs problmes
seront surmonts grace ce choix de collocation, notamment les aspects de lintgration
numrique. Une analogie avec la dualit lments nis-volumes nis, sera discute. Ainsi,
la mthode des volumes naturels NVM sera dnie et suggre pour lutilisation des lois
de conservation.
Le travail effectu dans ce chapitre a fait lobjet dun article soumis la revue "Internatio-
nal journal for numerical methods in uid", qui fait lobjet de lannexe B.
6.2 Application de la mthode NEM aux quations de Saint-Venant
Lobjectif de ce qui suit est lapplication de la mthode NEM pour la simulation des cou-
lements surface libre en utilisant les quations de Saint-Venant comme modle mathma-
tique. La NEM a dj t utilise pour la simulation de quelques problmes en mcanique
des solides et des uides. Lapproche Lagrangienne actualise (updated Lagrangian) est la
plus frquente dans la littrature [46], particulirement en mcanique des solides. Derni-
rement, Gonzlez et collaborateurs ont prsent une application en Lagrangien actualis
de la mthode NEM en utilisant les quations de Navier-Stokes avec un nombre de Rey-
nolds modr [100]. Aucune application totalement Lagrangienne na t trouve dans
la littrature. La distorsion rapide du maillage et ainsi le remaillage frquent reprsente
le d surmonter pour les scientiques. Le travail de Birknes [53] peut tre considr
comme cas type o la mthode des lments nis a t utilise sous forme particulaire en
Lagrangien total et o un remaillage est effectu dans chaque pas de temps.
Les quations de Saint-Venant en coordonnes cartsiennes sous forme non-conservative,
sont donnes par (voir gure 33) :
Dh
Dt
+h u = 0 (6.1)
112
g
Figure 33 Hypothses et notations pour les quations de Saint-Venants en 2D.
Du
Dt
+g = gS
f
(6.2)
o h est la profondeur totale de leau ( = h + z), u est le vecteur vitesse, S
f
est le frot-
tement du lit. Dans une premire tape, les termes sources vont tre ngligs. La notation
D/Dt dsigne la drive particulaire.
6.2.1 Conservation de la masse
En gnral, lquation de continuit (quation (6.1)) est utilise pour garantir la conserva-
tion de la masse et pour calculer les valeurs nodales de la profondeur deau. Toutefois, dans
nos applications, nous allons adopter une autre technique qui diffre des approches stan-
dards. La philosophie se base sur une conservation locale de la masse qui, une fois assure,
engendre une conservation globale de la masse. La formulation purement Lagrangienne
utilise garantit, ainsi, dune manire automatique une conservation de la masse pour toute
particule (cellule) de uide. Ainsi il ny a plus besoin dutiliser lquation 6.1 puisquelle
est implicitement vrie. Les problmes numriques lis sa discrtisation sont, de ce
fait, contourns.
113
Le domaine est subdivis en N particules. N correspond au nombre de nuds utiliss pour
mailler le domaine. Chaque particule est affecte un nud. En description Lagrangienne,
chaque particule conserve sa masse au cour du temps. La masse dune particule I (le
Figure 34 Stratgie de conservation de la masse pour la MVN : ( : nud, : sommet
de la cellule de "masse", : vitesse). Haut : dcomposition du domaine
t = t
n
. Bas droite : cellule de Vorono relle t = t
n+1
utilise pour
la conservation de la quantit de mouvement. Bas gauche : Les cellules de
masses utilises pour la conservation de la masse et le calcul de la profondeur
deau t = t
n+1
volume pour le cas incompressible) est V
I
= h
I
A
I
, o est la masse volumique, h
I
est
la profondeur de leau moyenne sur la cellule relative au nud I et A
I
est laire de cette
cellule. Les aires A
I
sont celles des cellules de Vorono t = 0s. chaque pas de temps,
114
le volume de la particule V
I
est constant, puisque est constante. Ainsi, la profondeur
moyenne de la particule au temps suivant t
n+1
= t
n
+t est calcule comme suit :
V
n+1
I
= h
n+1
A
n+1
= V
n
I
= h
n
I
A
n
I
=h
n+1
I
= h
n
I
A
n
I
A
n+1
I
(6.3)
A
n+1
I
est laire de la cellule de la particule I et qui est obtenue par la dformation de la
mme cellule en faisant bouger ses sommets (voir gure (34)). Plus clairement, chaque
nud porte dans son dplacement une masse (un volume) chaque pas de temps. Ce
volume est le produit de la profondeur deau par la base qui est la cellule associe au nud.
Lcoulement du uide et les effets dynamiques et cintiques causent des dformations de
cette cellule. Le changement daire de la cellule engendre une variation de la profondeur
deau (quation (6.3)).
La stratgie de calcul peut tre rsume dans les tapes suivantes. t = 0, le diagramme
de Vorono est construit et chaque cellule est affecte son nud correspondant. Ensuite,
chaque pas de temps, aprs le calcul des vitesses et des acclrations sur les nuds, une
interpolation de type NEM est effectue pour calculer les vitesses et les acclrations sur
les sommets des cellules. Avec ces vitesses les coordonnes des sommets sont mises
jours et ainsi les cellules sont dformes. Cette dformation se rpercute sur la profon-
deur deau et cette dernire est calcule, en moyenne, en utilisant lquation (6.3). Pour
linterpolation des vitesses et des acclrations lquation (4.15) est utilise.
Remarque 6.1 : Il est important de noter lutilisation de deux grilles (ou dcompositions)
du domaine. Une premire grille est utilise pour garantir la conservation de la masse et
une deuxime pour la conservation de la quantit de mouvement. La premire grille (grille
de gauche de la gure 34) est, le diagramme de Vorono t = 0s. La deuxime grille est
le vrai diagramme de Vorono construit gomtriquement chaque pas de temps (grille
de droite de la gure 34). Lutilisation de deux grilles est est une obligation et non pas un
luxe. En effet, la reconstruction gomtrique du diagramme de Vorono chaque pas de
115
temps fait perdre linformation sur la masse porte par le diagramme de Vorono construit
au pas prcdent. En dautres termes, si, la cellule de Vorono C
n
I
relative un nud I et
qui a une aire A
n
I
linstant t
n
, le mme nud I aura une cellule C
n+1
I
dont laire A
n+1
I

linstant t
n+1
. Linformation sur la masse lie la particule I est perdue lors du passage de
t
n
t
n+1
. En effet, la cellule C
n+1
I
nest pas uniquement la dformation de la cellule C
n
I
due aux dplacements des sommets de cette dernire, cest tout simplement le rsultat de
la construction purement gomtrique du diagramme de Vorono aprs le dplacement des
nuds. Pour bien saisir la nuance de cette remarque, il faut juste se rappeler que "aprs
le dplacement des sommets dun diagramme de Vorono, celui-ci ne concide pas avec le
diagramme de Vorono des nuds dplacs."
Remarque 6.2 : une attention particulire doit tre porte sur le fait quon utilise deux
types de cellules. La rsolution de lquation de la quantit de mouvement se fait sur le
vrai diagramme de Vorono et donc les masses utilises dans les quations dquilibre sont
celles qui concident avec les vraies cellules de Vorono et non aucun rapport avec celles
quon utilise pour la conservation de la masse.
6.2.2 Conservation de la quantit de mouvement
Nous cherchons appliquer la mthode des lments naturels dans une formulation La-
grangienne et en mode de collocation pour la simulation des coulements surface libre.
Bien que la majorit des travaux qui se basent sur la NEM, tait dans une formulation de
Galerkin, un schma de type diffrences nies de la mthode t introduit par Sukumar
dans [111] et ensuite comment et discut dune manire extensive dans [69]. Bien que
les auteurs utilisent le terme de "diffrences nies", nous prfrerons la terminologie "vo-
lumes nis" puisquil sagit du calcul des valeurs des grandeurs physiques moyennes par
lintermdiaire dun bilan de ux sur les frontires des cellules.
Pour tout nud I situ en x, la valeur nodale du gradient discret en I peut tre approxime
par la drivation directe de lquation (4.7). Cest lapproche systmatique pour la majo-
116
rit des MMs. Une deuxime alternative pour approximer la valeur nodale du gradient,
consiste utiliser le "moyennage" de type volumes nis de loprateur du gradient. Cette
approche a t propose par Chen dans [150]. En gnral, la composante j du gradient
dun champ w est approxime, en utilisant le thorme de divergence de Gauss, par :
_

w
h
x
j
_
I
=
_
A
I
w
h
,j
(x)dA
A
I
=
_

I
w
h
n
j
d
A
I
(6.4)
w tant le champs driver, A
I
est laire et
I
la frontire de la cellule de Vorono associe
au nud I ; n
j
est la j-me composante de la normale unitaire sortante la frontire
I
.
Pour les cas o on dispose dune distribution nodale assez rgulire, lintgrale de lqua-
tion (6.4) est calcule en approximant w
h
par une valeur pondre moyenne sur chaque
arte de la cellule de Vorono [69]. Le choix w
h
(x
m
) = (w
I
+ w
J
)/2 donne une approxi-
mation exacte pour les champs linaires w sur des grilles rgulires (x
m
est le milieu du
segment [IJ]). Ainsi, le gradient spatial est approxim par :
_

w
h
x
j
_
I
=

N
J=1
(w
I
+w
J
)n
IJ
j
s
IJ
2A
I
, A
I
=
1
4
N

J=1
s
IJ
h
IJ
(6.5)
n
IJ
j
est la j-me composante de la normale sortante la larte de la cellule de Vorono
commune aux deux nuds I et J. s
IJ
est la longueur de cette arte et h
IJ
est la longueur
du segment [IJ].
Lquation (6.5) est une approximation linaire de type lment ni. En effet, lapproxima-
tion MEF est linaire sur les artes des triangles ; et dans le cas dune distribution nodale
rgulire, le milieu de larte de la cellule de Vorono relative au segment [IJ] est situ
sur larte du triangle dont I et J sont ses sommets. Avec cette discrtisation du gradient
spatial, on peut formuler une premire approximation de lquation de conservation de la
quantit de mouvement. En appliquant lquation (6.5) pour approximer le gradient de la
117
pression statique P = gh, lquation de Saint-Venant devient :
Du
I
Dt
=
1
2A
I
N

J=1
_
(gh
I
+gh
J
)n
J
s
IJ
_
(6.6)
o u est le champ de vitesse, g est lacclration de la pesanteur, h
I
est la profondeur deau
de la particule I, N est le nombre total dartes de la cellule de Vorono associe I et s
IJ
est la longueur de ces artes.
Remarque 6.3 : Il est trs important de noter que N, le nombre dartes de la cellule de
Vorono, nest pas toujours gal au nombre de voisins naturels visibles de I. Ceci nest
vrai que dans le cas dune distribution rgulire et lorsquil sagit dun nud interne (loin
de la frontire).
Lapproximation de lquation (6.6) est la plus directe et la moins chre. Toutefois, elle
est limite aux cas o les distributions nodales sont rgulires et o les solutions du pro-
blme sont linaires ou quasi-linaires. Pour les cas o ces conditions ne sont pas vries
a-priori, nimporte quel autre type dapproximation peut tre utilis (lments nis, diff-
rences nis, lments naturels ou nimporte quel schma de ux de type Godunov). Pour
notre cas, le fait davoir les cellules de Vorono dj prtes, favorise lutilisation dune
approximation de type lment naturel.
Comme mentionn prcdemment, lapproximation (6.6) est limite aux distributions r-
gulires et aux gomtries simples et pour les fonctions linaires ou quasi-linaires. Dans
les applications proposes dans ce travail, la nature Lagrangienne de la formulation induit
des dplacements relatifs assez chaotiques des particules. Ainsi, la nature rgulire de la
distribution nodale se perd trs rapidement. La gure 35 montre un cas trs simple et as-
sez frquent en simulation Lagrangienne o pour le cas de trois nuds 1, 2, 3, lquation
(6.6) ne peut pas tre utilise car elle risque de donner une approximation assez imprcise.
En effet, pour larte de Vorono relative aux nuds 1 et 2, linterpolation de nimporte
118

Figure 35 Cellule de Vorono frquemment rencontre dans


les simulations Lagrangiennes. Lapproximation du ux (utilisant lquation
6.6) sur larte relative au voisin 2 risque de ne pas tre prcise.
quelle fonction w au milieu de larte en utilisant w
h
(x
m
) = (w
I
+ w
J
)/2, est loin dtre
prcise.
Pour amliorer la solution, une interpolation du ux sur les artes de Vorono est accomplie
en utilisant linterpolation de type NEM. La manire la plus simple et la moins coteuse
pour quantier lintgrale de lquation (6.4), consiste intgrer cette quation avec un
seul point dintgration (le point milieu de larte). Cette quadrature a t tudie et dis-
cute assez rigoureusement de point de vue mathmatique et numrique par Mishev dans
[68]. Par consquent, lquation (6.4) est discrtise par :
_

w
h
x
j
_
I
=
_
A
I
w
h
,j
(x)d
A
I
=
_
A
I
w
h
n
j
d
A
I
=
1
A
I
N

J
( w
IJ
s
J
n
IJ
j
) (6.7)
avec w
IJ
est lapproximation NEM de w estime au point M
J
milieu de larte de Vorono,
s
J
est la longueur de larte et N est le nombre dartes dans la cellule de la particule I.
w
IJ
est obtenue en appliquant lquation (4.15) qui est une approximation plus "riche"
que celle utilisant linterpolation de type lments nis, puisquelle utilise tous les voisins
119
naturels visibles par I, au lieu de seulement I et J dans (6.5). En utilisant lquation (6.7)
pour lquation de conservation de la quantit de mouvement (quation (6.2)), on obtient :
u =
Du
I
Dt
=
1
A
I
N

J=1
_
g

h
J
_
n
IJ
s
J
(6.8)
o

h
J
=

N
J
K=1

K
(M
J
)h
K
, N
J
est le nombre dartes de la cellule de Vorono asso-
cie au point M
J
. De plus, sachant lidentit
_
nds = 0, ou sous sa forme discrtise

N
J=1
n
IJ
s
J
= 0, lquation (6.8) devient :
u =
Du
I
Dt
=
1
A
I
N

J=1
g
_

h
J
+

h
I
_
n
IJ
s
J
(6.9)
Cest la forme nale discrtise de lquation de Saint-Venant. Cette forme est prfre
lquation (6.5). Elle est la base de toutes les simulations effectues dans la suite de ce
travail et qui vont tre prsents dans la section 6.8.
Toutefois, lquation (6.9) montre que le schma obtenu est symtrique ou centr, do
lobligation de le stabiliser. La stabilisation de ce schma est traite dans la section sui-
vante. Il est noter la ressemblance quexiste entre lquation (6.9) et la formulation nale
obtenue en utilisant la mthode SPH (quation 5.38). Cette ressemblance va nous servir
dans la suite puisque la procdure de stabilisation quon a applique avec la mthode SPH
va tre adopte avec la mthode NVM.
6.2.3 Consistance et stabilisation
Une notion trs importante pour toutes les mthodes numriques est la notion de consis-
tance. La consistance garantit, dans le cas limite o le pas du maillage tend vers zro, que
la solution approxime tend vers la solution analytique du problme. Dans [69], Cueto et
al. ont utilis un dveloppement en sries de Taylor pour montrer quun schma de dif-
frences nies pour loprateur Laplacien est O(h
m
) pour un maillage non rgulier, o
120
h
m
est lespacement internodal moyen. Ainsi, un minimum de consistance dordre 1 est
garanti pour la NEM. Dans le cas dun maillage rgulier, lordre de consistance monte et
la mthode est de second ordre. Pour une tude dtaille sur la notion de consistance de
la mthode NEM on rfre au travail de Sukumar [111]. Dans le cas du travail propos, la
rgularit de la distribution nodale initiale ne peut pas tre conserve et est trs rapidement
perdue puisquon utilise une formulation purement Lagrangienne. On ne peut sattendre,
par consquent, qu une consistance de premier ordre.
Revenons prsent la problmatique de stabilisation. Comme il a t voqu prcdem-
ment, les quations de Saint-Venant sont de type hyperbolique pouvant avoir des solutions
discontinues. Dun autre ct, le schma obtenu donn par les quations (6.6) ou (6.9), est
un schma symtrique comparable aux schmas de type diffrences nies centrs. Ce type
de schma est instable et par consquent il doit tre stabilis [1]. Ceci permettra dliminer
les oscillations parasites (spurious modes) qui peuvent natre et crotre aux voisinages des
discontinuits. La gure (36) illustre la naissance de ces modes parasites qui risquent de
polluer la solution globale du problme.
Cest pourquoi une stabilisation de ce schma est ncessaire. En sinspirant de ce qui a
t prsent dans le chapitre 5 pour la mthode SPH et de ce qui a t publi dans [13],
la technique de stabilisation propose dans ce chapitre sera construite par analogie avec le
dcentrage des ux dans les solveurs de Riemann. Le dcentrage (upwinding) consiste
introduire une viscosit articielle.
La quantit F
h
(x
I
) = gh
I
peut tre considre comme un ux travers larte de la cellule
de Vorono. Ainsi lquation (6.9) peut scrire comme :
u
I
=
_
Du
Dt
_
I
=
1
A
I
N

J=1
2
_
_
F
h
(x
I
) + F
h
(x
J
)
_
2
n
IJ
s
IJ
_
(6.10)
121
Figure 36 Modes parasites aux voisinages des discontinuits besoin de stabilisation.
Dans un objectif de stabilisation, le terme
_
F
h
(x
I
) +F
h
(x
J
)
_
/2 dans lquation (6.10) est
remplac par un schma simple de Lax-Friedrich donn par :
1
2
_
(F
h
(x
I
) + F
h
(x
J
)) (u
J
u
I
).n
IJ
_
(6.11)
avec > 0. Ainsi, on peut dnir une viscosit articielle qui sert stabiliser le schma
propos et prvenir, en loccurrence, linter-pntration des particules. Cette viscosit ar-
ticielle est donne par [13] :

IJ
=
u
IJ
r
IJ
_
r
2
IJ
+
2
=

_
(v
J
v
I
)(y
J
y
I
) + (u
J
u
I
)(x
J
x
I
)
_
_
r
2
IJ
+
2
(6.12)
122
o =
1
2
(c
I
+ c
j
) =
1
2
(

gh
I
+

gh
J
) est la vitesse moyenne des vagues de surface,
u
IJ
= u
I
u
J
est la diffrence entre les vitesses des particules I et J. u et v sont les
composantes du champ de vitesse respectivement dans les directions x et y, r
IJ
= r
I
r
J
et est une petite constante introduite pour viter la division par zro ( = 0.01) et est
un coefcient constant. La valeur typique que nous avons utilise dans nos applications
est = 0.5. Lquation nale de conservation de la quantit de mouvement, discrtise et
stabilise, est donne :
u
I
=
_
Du
Dt
_
I
=
1
A
I
N

J=1
_
(gh
I
+gh
J
) +
IJ
_
n
IJ
s
IJ
(6.13)
La viscosit articielle
IJ
est introduite par la mme manire dans lquation (6.9).
Lcriture nale de cette quation quon va adopter dans le reste de ce travail est don-
ne par :
u
I
=
_
Du
Dt
_
I
=
1
A
I
N

J=1
_
g

h
J
+g

h
I
+
IJ
_
n
IJ
s
IJ
(6.14)
Remarques 6.4 :
1. Pour des raisons de prcisions, nous allons utiliser lquation (6.14) dans le reste
de ce travail. Cette quation est adapte pour toutes les distributions nodales aussi
bien rgulires que non-rgulires. Le caractre Lagrangien de lapproche utilise
nous oblige adopter lquation (6.14) sur lquation (6.13). Toutefois, pour les ap-
plications Euleriennes, lquation (6.13) est nettement sufsante et beaucoup moins
coteuse.
2. Il est noter que nous utilisons deux dcompositions distinctes du domaine. Un
premier "diagramme", qui nest pas de Vorono est utilis pour la conservation de
la masse. Le deuxime, qui est rellement de Vorono, est utilis pour la conserva-
tion de la quantit de mouvement et sur lequel quation (6.14) est applique (voir
remarque 6.1).
123
3. Comme pour toute application caractre purement Lagrangien, la dcomposition
utilise pour la conservation de la masse peut se tordre et les cellules peuvent devenir
singulires. Dans une telle situation, une redistribution de la masse est ncessaire et
le diagramme de rfrence doit tre rinitialis.
4. Par analogie avec la dualit MEF-MVF, lapproche propose dans ce chapitre peut
tre baptise "Mthode des volumes naturels" note par MVN par analogie MEN.
Le calcul des ux sur les bords de la cellule de Vorono est comparable avec ce celui
effectu sur les artes des triangles pour la mthode des volumes nis convention-
nelle.
6.3 Conditions aux limites
Contrairement au cas de la mthode SPH, le traitement des conditions aux limites est gran-
dement facilit pour la MVN. Le caractre interpolant de la fonction de forme de la NEM
permet limposition exacte des conditions aux limites de type Dirichlet. La seule difcult
rside dans la gestion du mouvement des particules de bord puisquon est dans une des-
cription Lagrangienne pure. Dans les applications proposes, une condition de glissement
parfait est requise. Pour assurer une telle condition, il est ncessaire et sufsant dannuler
la composante normale du champs de vitesse. Toutefois, vue son utilisation dans lintgra-
tion temporelle, la composante normale de lacclration est galement annule. dfaut,
au moins le gradient de la profondeur deau doit tre nul [137, 119]. Ces conditions sont
traduites par :
u
n
I
= 0 et u
n
I
= 0 I sur la fronti`ere domaine (6.15)
avec u
n
I
et u
n
I
sont, respectivement, les composantes normales du vecteur vitesse et celui
de lacclration. Pour ceci, les vecteurs vitesse et acclration sont, tout simplement, pro-
jets sur les vecteurs tangents la frontire.
Toutefois, le caractre Lagrangien de la formulation introduit des difcults supplmen-
taires dans lintroduction des conditions aux frontires. En fait, la frontire (la gomtrie)
124

Figure 37 Traitement de la frontire : une particle de la frontire est xe et ses


paramtres physiques ( u, u and h) sont interpols partir de ceux des
particules de frontire au temps t
n+1
du domaine est dnie par un ensemble de nuds (points). chaque nud, est attache
une particule uide qui est en mouvement chaque pas de temps. Ainsi, la gomtrie du
domaine risque dtre perdue, ou au moins, modie lorsque les particules de la frontire
bougent. Par consquent, an de garder et de maintenir la gomtrie initiale du domaine,
les particules de frontire sont ges dans leurs positions initiales. Ce traitement spcial
doit garantir, physiquement, une condition de glissement parfait sur la frontire. Les gran-
deurs physiques (vitesses, acclrations et profondeur deau) sont interpoles linairement
utilisant les deux particules les plus proches. En dautres termes, les valeurs physiques
dans lemplacement des particules xes sont interpoles utilisant les valeurs dj calcu-
les des particules mobiles. La gure (37) illustre cette procdure dinterpolation. Une at-
tention particulire est porte pour les nuds situs dans les coins et les points anguleux.
Dans de tels cas, il ny a quune seule particule voisine (dans chaque direction) et ainsi
linterpolation linaire dcrite dans ce paragraphe ne peut tre applique. Pour contourner
ce problme, lquation de continuit (6.1) est utilise. Une profondeur approximative est
125
attribue au nud du coin et en utilisant lquation de continuit, cette valeur est corrige.
Quelques itrations sont gnralement ncessaires.
Cette procdure peut tre remplace par une deuxime qui gnre moins derreur puis-
quelle ne ncessite pas dinterpolation, mais qui est plus difcile mettre en uvre sur-
tout en prsence de frontire gomtriquement complexe. Dans cette deuxime alternative,
les particules peuvent tre laisses libres de manire quelles se dplacent comme les par-
ticules internes. Toutefois, les nuds des points anguleux doivent tre remplaces par des
nuds sans masses ds quelles se mettent se dplacer. La valeur de la profondeur attri-
bue au nouveau nud est dtermine par la mme manire avec lquation de continuit
(6.1).
6.4 Discrtisation dans le temps
Lintgration temporelle se base sur des schmas explicites. Ceci permet dviter la r-
solution de grand systme matriciel, mais il requiert une attention spciale pour garantir
la stabilit de lintgration en temps et pour assurer un meilleur choix du pas de temps.
Dans le travail propos, le schma dEuler explicite a t utilis dans quelques unes des
applications. Toutefois, pour la majorit des tests, le schma de Newmark explicite est uti-
lis systmatiquement. Les vitesses et les coordonnes pour une particule I sont obtenues
comme :
u
n+1
I
= u
n
I
+ t((1 ) u
n
I
+ u
n+1
I
) (6.16)
x
n+1
I
= x
n
I
+ tu
n
I
+ t
2
((
1
2
) u
n
I
+ u
n+1
I
) (6.17)
avec t est le pas de temps, u est le vecteur vitesse, u est le vecteur acclration et la
notation u
n
veut dire u(t
n
). En choisissant les paramtres et gales, respectivement,
1/2 et 1/4, le schma correspond la rgle des trapzes et le schma est dordre 2 en
prcision [42].
126
Dun autre ct, Loukili et al. ont suggr dans [6], que daprs une tude de stabilit par
linarisation, applique aux quations de Saint-Venant, le pas de temps doit obir une
limitation du CFL [60]. Cette condition est donne par :
CFL = t
max
I
(

gh +
_
u
2
x
+u
2
y
)
min(d
IJ
)
< 1, I, J (6.18)
Pour la majorit des applications de volumes nis en approches Euleriennes, la valeur du
CFL est gnralement suprieur 0.5. Il peut mme atteindre 0.9 vue quil ny a pas de
risque de distortion du maillage. Cependant, dans nos applications, la nature purement
Lagrangienne implique une limitation assez importante du CFL qui ne peut dpasser la
valeur de 0.5.
6.5 Adaptativit ou le rafnement nodal
Vue la nature Lagrangienne totale de la procdure propose, la distribution nodale change
chaque pas de temps. Par consquent, on peut obtenir dans certains cas, des concen-
trations nodales fortement irrgulires o un grand nombre de nuds est conn dans
une partie restreinte du domaine de calcul, alors que le reste des nuds sont parpills
dans lautre partie. Bien que lintroduction de la viscosit articielle donne par lqua-
tion (6.12), assure une rgularit minimale de la distribution nodale, le caractre fortement
Lagrangien de lcoulement peut lemporter sur leffet de la viscosit articielle. Dans un
tel cas, une adaptation ou une re-organisation nodale peuvent se rvler ncessaires. Cest
ce quon appelle "adaptativit" ou "rafnement nodal".
La procdure dadaptativit doit satisfaire deux conditions indispensables : la conservation
de la masse et la stabilit du schma numrique. La conservation de la masse signie
que la masse totale du uide doit rester constante avant et aprs lenclenchement de la
procdure dadaptativit. La stabilit numrique signie que lors dajout ou de suppression
127
de particule, les perturbations numriques engendres ne doivent pas causer de grandes
erreurs et par consquent ne doivent pas affecter la qualit de la solution globale.
Pour enclencher la procdure dadaptativit, nous avons besoin dun indicateur qui donne
une ide sur la rpartition et la distribution nodale dans le domaine. Ainsi, ds la dtection
dune zone de concentration de nuds, une fusion de particules est requise. Sinon, dans
le cas inverse, une introduction dun nouveau nud est effectue. Lindicateur utilis dans
ce travail se base sur la distance entre les nuds. Pour chaque particule, lentit suivante
est calcule chaque pas de temps :
R =
min
J
d
IJ
min
J
d
0
IJ
, J est le voisin naturel de I (6.19)
o d
IJ
est la distance entre les nuds I et J au temps t et d
0
IJ
est la distance entre I et J au
temps t = 0s. Quand R est infrieur 10 pour cent, ce qui signie que la particule I sest
rapproche beaucoup une de ses voisines. Ceci dclenche la procdure dadaptativit.
Les deux particules sont, ainsi, fusionnes en une seule qui a une masse gale la somme
des deux et situe mi-chemin entre les deux anciennes. La vitesse et lacclration de la
nouvelle particule sont interpoles linairement. Si lindicateur R est suprieur 190, une
insertion dun nouveau nud est effectue. La nouvelle particule sera place mi-distance
entre le nud et le plus loin de ses voisins. La masse est distribue entre les trois particules
de manire ne pas engendrer de perturbation numrique. En gnral, pour stabiliser le
code, quelques itrations sont ncessaires avant de passer au pas de temps suivant.
Il est noter que pour toutes les applications prsentes dans le paragraphe 6.8, il ny a pas
eu besoin pour enclencher la procdure dadaptativit. Toutefois, la nature Lagrangienne
de la formulation causera certainement dans des cas complexes des situations ncessitant
ladaptativit.
128
6.6 Algorithme gnral de la procdure
Lalgorithme de la mthode peut rsumer dans le diagramme de la gure 38. Il est a no-
ter que, pour implmenter cette mthode, nous avons utilis un mailleur de Delaunay trs
efcace et trs rapide labor par Lounes Amran Illoul dans le laboratoire LMSP du pro-
fesseur Chinesta au sein de lcole nationale suprieur des arts et mtiers ENSAM de Paris
(France). Ce mailleur est capable de gnrer aussi bien la triangulation de Delaunay que
le diagramme de Vorono associs un ensemble de points munis dune frontire bien
dnie.
6.7 Mesure de performance du code
Le temps de calcul du diagramme de Vorono est proportionnel nlog(n). Celui du dia-
gramme de Vorono contraint est proportionnel au nombre de nuds de la frontire (qui
est de lordre de

n). Pour localiser un point dans un domaine, le temps de calcul est de


lordre de

n aussi. Le tableau suivant rsume les performance du code utilis pour le cas
dun domaine 100 000 nuds (Ces donnes nous ont t fournies par Dr. L. Illoul de
lquipe du professeur Chinesta) :
TABLEAU I
Mesure de performance du code utilis pour le cas de 100000 nuds
Processeur Mobile Intel Pentium M 745, 1800 MHz
Mmoire 1024 Mo (PC2700 DDR SDRAM)
Nombre de nud 100 000
Vorono contraint + intersection frontire 100 000 millisecondes
Calcul de fonction de forme Sibson + drive 20ms/1000 oprations
Localisation dun point dans un domaine de 100 000
nuds
1000 ms/1000 points
129
Initialisation et
introduction de
la gomtrie
Boucle sur les particules
Fin de la boucle sur les particules
Construction Diagramme de Vorono
Calcul des acclrations
Calcul des vitesses
Imposition des conditions aux limites
Boucle sur les particules
Fin de la boucle sur les particules
Mise--jour des coordonnes nodales
M--j coord. des sommets des cellules
Boucle sur les particules
Fin de la boucle sur les particules
Calcul des profondeurs
Boucle sur le temps
Fin de la Boucle sur le temps
C
a
l
c
u
l

s
u
r

l
e

d
i
a
g
r
a
m
m
e

d
e

V
o
r
o
n
o

C
a
l
c
u
l

s
u
r

l
a

g
r
i
l
l
e

d

f
o
r
m

e
Figure 38 Algorithme global de la mthode des volumes naturels.
6.8 Rsultats et applications
Dans ce qui suit, on va prsenter des tests de validation du code labor. Ces tests permet-
tront dtudier la robustesse et les limites de la mthode des volumes naturels.
130
6.8.1 Problme de bris de barrage en 2D dans un canal rectangulaire
X
0
500
1000
1500
2000
Y
0
50
100
150
200
H
0.4
0.6
0.8
1
X Y
Z
Figure 39 Conditions initiales pour le problme de bris barrage standard.
Le premier test de validation consiste simuler le problme de bris de barrage dans un ca-
nal rectangulaire. Les frottement du lit et la variation de la bathymtrie sont supposs sans
effet. Ce cas peut tre considr comme une gnralisation du problme en 1D, puisque
la variation transversale na, -priori, aucun effet sur lcoulement. Ce dernier sera par
consquent uniquement suivant la composante longitudinale du canal. En dautres termes,
le problme de bris de barrage en 2D peut tre considr comme une suite dcoulement
mono-dimensionnels rangs lun cot de lautre dans la direction transversale.
131
X
500
1000
1500
2000
Y
40
60
80
X
Y
Z
X
0
50
100
150
200
Y
0
2
4
6
8
10
u
n
_
x
0
0.2
0.4
0.6
0.8
1
1.2
X Y
Z
Figure 40 Profondeur deau (haut) et vitesse (bas) t = 30 s pour le problme de bris
barrage standard.
Une solution analytique a t donne par Stoker dans [78] pour le problme de bris de
barrage en 1D. Les conditions initiales pour ce cas sont prsentes dans la gure 39. La
profondeur amont de leau est 1 m et la profondeur avale est 0.25 m. La longueur du canal
est 2 000 m et sa largeur est 80 m. Le barrage est situ x=1 000 m. La discontinuit de
profondeur est linarise sur une distance de 15 m. Le nombre de particules utilises a t
vari de 1 000 30 000. La gure (41) donne la profondeur deau pour une simulation fai-
sant intervenir 30 000 particules. Toutefois, les rsultats obtenus ont montr quun nombre
132
X
0
500
1000
1500
2000
Y
0
50
H
0. 4
0. 6
0. 8
1
X
Y
Z
Figure 41 Profondeur deau pour le problme de bris de barrage dans un canal
rectangulaire avec 30 000 particules.
minimum de 1 000 particules dans la direction longitudinale est ncessaire. Dans la gure
40 le rsultat de la profondeur et de la vitesse sont prsents avec 10 000 particules dis-
poses comme 10x1000. La capture du chock a t implmente avec un coefcient qui
varie entre 0.5 et 2. Pour les rsultats prsents dans la gure 40, = 2 et le terme de
viscosit articielle utilis est donn par lquation (6.12). Dans la gure (42) une compa-
raison entre rsultat numrique trouv et la solution analytique donn par Stoker. On peut
remarquer que la solution a t bien reproduite, les chocs ont t bien capts et la tech-
nique de stabilisation a bien fonctionn puisquil ny a pratiquement pas doscillations au
niveau des discontinuits. Toutefois, un effet de diffusion est constat surtout au niveau de
londe de rarfaction. Ce qui peut tre attribuable leffet de la viscosit articielle. De
133
0,00
0,20
0,40
0,60
0,80
1,00
1,20
0 200 400 600 800 1000 1200 1400 1600 1800 2000
x(m)
h
(
m
)
Analytic
Numerical
Figure 42 Comparison avec la solution analytique [78].
plus, le schma de Lax-Friedrichs nincorpore aucune technique MUSCL pour la rduc-
tion de la diffusion associe gnralement avec les schmas de Godunov de premier ordre
[13]. Lutilisation dun limiteur de ux du style ( =
0
|h
i
h
j
|
h
i
with
0
= 2) amliore le
rsultat de point de vue stabilisation mais gnre plus deffets diffusifs.
6.8.2 Canal rectangulaire section variable : canal convergent et divergent
Pour voir leffet dune composante transversale de lcoulement, le cas test prcdent est
chang de manire ce que le canal, initialement rectangulaire, devient convergent ou
divergent. La gomtrie et les conditions initiales utilises sont les mmes pour les deux
tests, lexception de la profondeur deau qui sinverse dun cas lautre. La profondeur
amont pour un canal convergent, devient la profondeur avale pour le canal divergent. La
gure 43 montre la gomtrie et les conditions initiales pour ces deux cas tests.
134
X 0
500
1000
1500
2000
Y
0
50
H
0. 75
0. 8
0. 85
0. 9
0. 95
1
X
Y
Z
Figure 43 Conditions initiales et gomtrie pour les cas de canal convergent et
divergent.
La profondeur amont est 1 m, lavale est 0.25 m et 10760 particules ont t utilises pour
simuler ces deux cas. Le domaine est de longueur 2000 m et le barrage est situ x = 1000
m. Comme pour le test prcdent, la discontinuit t linarise sur une distance de 15
m. Comme le montre les gures (44) et (46), lintroduction dune composante transversale
de lcoulement na pas affect la qualit de la solution et na pas baiss la performance
du code. Les chocs sont bien capts et les oscillations sont trs minimes. La technique de
stabilisation a bien fonctionn comme dans le cas prcdent.
Les gures (45) et (47) donnent une ide sur le comportement du champ de vitesse dans les
deux cas. La conditions de glissement parfait peut tre constate sur les dtails prsents
dans chaque gure.
135
X
0
500
1000
1500
2000
Y
-20
0
20
40
H
. 75
0. 8
. 85
0. 9
. 95
1
X Y
Z
Figure 44 Profondeur deau pour le cas dun canal divergent t=30s.
6.8.3 Canal avec une discontinuit de section
Toujours dans le but dtudier le comportement de la MVNvis--vis de la gomtrie, le test
suivant fait intervenir une point anguleux dans la gomtrie. En effet, le domaine dtude
consiste en la jonction dun canal rectangulaire avec un canal convergent, de manire
avoir un canal avec une lgre discontinuit dans la section. La gure (48) donne les
dimensions et la forme gomtrique du domaine dtude ainsi que les lignes de contour
de la profondeur deau au temps t = 5s. La longueur du domaine est 200 m et sa largeur
est de 80 m en amont et 60 en aval, ce qui induit un angle dinclinaison de 2.29 degrs
(10m/100m). La gure (49) donne une vue tridimensionnelle de la profondeur deau. On
136
X
Y
900 950 1000 1050
-20
0
20
40
F rame 001 ? 03 J ul 2007 ? NE M - S hallow water
X
Y
1000 1005 1010 1015 1020 1025
30
35
40
45
50
F rame 001 ? 03 J ul 2007 ? NE M - S hallow water
Figure 45 Vitesse dans le canal divergent au temps t=15s (haut) et zoom (bas).
note la naissance dune vague lorsque le front arrive la contraction. Physiquement, cette
vague est parfaitement explicable par une augmentation naturelle de la profondeur deau
137
X
0
500
1000
1500
2000
Y
-20
0
20
40
H
0. 75
0. 8
0. 85
0. 9
0. 95
1
X
Z
Y
Figure 46 Profondeur deau pour le cas dun canal convergent t=30s.
ds la dtection de lobstacle. En dautre termes, cest la conversion immdiate de lnergie
cintique incarne par la vitesse de londe de choc, en une nergie de pression (profondeur
deau).
Le CFL maximal est 0.5 ce qui implique un pas de temps dans les environs de 0.20 s et
qui dcrot jusqu 0.18 s la n de la simulation. 7490 particules ont t utilises pour la
simulation de ce cas.
138
X
Y
800 1000 1200
-50
0
50
100
X
Y
960 970 980 990 1000
25
30
35
40
Figure 47 Vitesse dans le canal divergent au temps t=15s (haut) et zoom (bas).
6.8.4 Problme de bris de barrage cylindrique
Dans son livre [38], Toro a suggr un test de validation consistant en un barrage cylin-
drique au milieu dun champs inni. Le barrage a un rayon R=5 m et le domaine utilis
139
X
Y
0 50 100 150 200
0
50
100
X
Y
0 50 100 150 200
0
50
100
Figure 48 Gomtrie et lignes de contour pour le canal rectangulaire avec une lgre
contraction.
X
0
50
100
150
200
Y
0
20
40
60
80
H
0. 96
0. 98
1
X Y
Z
Figure 49 Profondeur deau pour le cas dun canal rectangulaire avec une lgre
contraction t=5s. Noter la naissance dune vague lorsque le front arrive
la contraction.
est un carr de ct 100 m ou un cercle de rayon 100 m. La profondeur intrieure est de
1 m et celle de lextrieur est de 0.95 m. 2490 particules ont t utilises. Ce nombre de
140
particules a t augment jusqu 10 000 pour voir leffet de la h-variation. Les gures
(50) et (51) illustrent ce cas test. Le comportement de la mthode des volumes naturels
(MVN) propose dans ce travail, vis--vis de la variation du nombre de particules et par
rapport la technique de stabilisation, est semblable celui de la mthode SPH prsente
dans le chapitre 5. Dans ce qui suit on va sintresser uniquement au comportement de
la mthode propose la nature du maillage ou la distribution nodale initiale. La gure
(50)montre le cas dun maillage structur 80x80. Elle donne la distribution nodale et le
maillage initiaux, ainsi que les lignes de contour de la solution,la distribution du champ
de vitesse et une vue tridimensionnelle de la solution en profondeur. Il peut tre remarqu
immdiatement que laxi-symtrie du problme est perdue ds les premiers instants de la
simulation. Ce problme est surmont une fois le maillage structur est remplac par un
autre adapt o la disposition initiale des nuds est plus-ou-moins circulaire. La gure
(51) prsente ce cas o le maillage est adapt. Elle donne galement la distribution nodale
initiale, le maillage initial, les lignes de contour, le champ de vitesse et une vue en perspec-
tive de la profondeur deau t=5s. On remarque que la qualit de la solution est nettement
amliore et que, contrairement au cas prcdent, laxi-symtrie est conserve. Les chocs
ont t bien capt et la naissance dune deuxime onde au milieu du domaine est mme
montre. Toutefois, il est noter que, malgr le dispositif de stabilisation prsent, des os-
cillations numriques sont prsents dans le voisinage de la deuxime onde. Ceci peut tre
expliqu par la faible densit nodale au voisinage du nud central. Mais la raison la plus
probable est la non compatibilit gomtrique de la subdivision du domaine en cellules de
Vorono (qui sont des polygones) avec la nature circulaire de la gomtrie et surtout de
lcoulement.
6.8.5 Problme de canal rectangulaire avec une contraction soudaine
Le dernier test prsent dans ce chapitre est le problme de bris de barrage dans un cas
canal rectangulaire qui prsente une contraction soudaine. Cest un test qui sert valuer la
sensibilit du schma envers les variations dans la gomtrie. Il prsente ainsi une variation
141
svre de la gomtrie. La gure (52) montre les conditions initiales de ce problme. Le
domaine est de longueur 200 m et de largeur 80 m en amont du barrage et 20 m en aval
de celui-ci. Le barrage est localis x=100 m. la profondeur de leau est 1 m en amont et
0.95 en aval. La discontinuit est linarise sur une distance de 10 m. Les gures (53) et
(54) donnent respectivement le champs de vitesse, le contour et la profondeur de leau
t=5s. 2490 particules ont t utilises pour simuler ce cas. Un CFL maximal de 0.5 a t
utilis ce qui a gnr un pas de temps de 0.123 s au dbut de la simulation qui dcrot
jusqu 0.121 s la n de la simulation.
On peut remarquer que la solution est dune assez bonne qualit. Le choc a t bien capt et
le champs de vitesse est bien reprsentatif de lvolution de lcoulement. Nanmoins, la
qualit de la solution est lgrement perturbe dans les voisinages des coins. Ce qui peut
naturellement tre expliqu par le vif caractre du point anguleux qui est difcilement
trait en formulation Lagrangienne. Le traitement des coins discut dans le paragraphe
6.3, est aussi, trs probablement lorigine de ces oscillations. En effet, linterpolation
linaire effectue pour dterminer la profondeur deau sur les nuds de frontires, ne peut
pas tre effectue avec prcision pour les nuds des coins. Vraisemblablement, lutilisa-
tion de lquation de continuit pour dterminer cette valeur de profondeur, gnre des
erreurs numriques qui polluent la solution. Tous ces problmes voqus sont en grande
partie gnrs par le caractre Lagrangien de la formulation. ventuellement, dans un
cadre purement Eulerien, les solutions prsenteraient de meilleures prcisions.
6.9 Conclusions
Dans ce chapitre, une nouvelle mthode de type volumes-nis a t prsente : Cest la
Mthode des Volumes Naturels : MVN. Cette mthode, sinspire de lapplication de la
mthode des lments naturels en collocation et en formulation Lagrangienne. La MEN
est donc utilise pour valuer les ux sur les cellules de Vorono. Le schma obtenu est
un schma centr donc instable. Ainsi, une procdure de stabilisation pour la formulation
142
obtenue, a t prsente. La stabilisation consiste dcentrer le schma en introduisant
une viscosit articielle qui a t obtenue par analogie avec les techniques existantes dans
les solveurs de Riemann.
La mthode des volumes naturels en formulation purement Lagrangienne a t applique
dans quelques tests de validation. Ces applications ont montr un bon potentiel pour cette
mthode ; ce qui augure un bon avenir dans des applications complexes et pour pour des
cas plus rels. Le caractre Lagrangien adopt dans le travail propos, introduit plusieurs
difcults qui concernent surtout le traitement des conditions aux frontires dans les zones
de complexits gomtriques. Toutes ces difcults sont ventuellement surmontes ds
lors que la description Lagrangienne est abandonne. Dans ce cas, le traitement des termes
convectifs sera la base de la naissance de nouveaux types de difcults.
La mthode des volumes naturels montre les mmes avantages que la mthode SPH et
surtout lorsquelle est applique en formulation Lagrangienne. De plus, le caractre inter-
polant de la fonction de forme de type NEM, implique une aisance nette dans limposition
des conditions aux frontires de type Dirichlet. Cet avantage est absent pour les mthodes
MMs de type SPH ce qui a limit leur utilisation aux problmes frontires innies ou
gomtries trs simples.
143
X
Y
0 20 40 60 80 100
0
20
40
60
80
100
X
Y
0 20 40 60 80 100
0
20
40
60
80
100
X
Y
20 40 60 80
40
60
80
X
Y
0 20 40 60 80 100
0
20
40
60
80
100
X
20
40
60
60
X
Y
Z
Graph1
0,93
0,94
0,94
0,95
0,95
0,96
0,96
0,97
0,97
0 10 20 30 40 50 60 70 80 90 100
Figure 50 Le problme de bris de barrage cylindrique - maillage structur. Distribution
nodale et maillage initial (haut droite et gauche), le contour de la profondeur
deau et la distribution de vitesse (milieu droite et gauche) et une vue 3D et
une coupe de la profondeur deau (bas gauche et droite).
144
X
Y
0 20 40 60 80 100
0
20
40
60
80
100
X
Y
0 20 40 60 80 100
0
20
40
60
80
100
X
Y
40 60 80
40
60
4
X
Y
40 50 60 70
40
50
60
70
Graph1
0,94
0,95
0,95
0,96
0,96
0,97
0,97
0,98
0 10 20 30 40 50 60 70 80 90 100
Figure 51 Le problme de bris de barrage cylindrique - maillage adapt. Distribution
nodale et maillage initial (haut droite et gauche), le contour de la profondeur
deau et la distribution de vitesse (milieu droite et gauche) et une vue 3D et
une coupe de la profondeur deau (bas gauche et droite).
145
X
Y
0 50 100 150 200
0
20
40
60
80
Figure 52 Conditions initiales pour le problme de canal rectangulaire avec une
contraction brusque.
146
X
Y
60 80 100 120
20
40
60
X
Y
60 80 100 120
20
40
60
Figure 53 Canal rectangulaire avec une contraction brusque : distribution de la vitesse
(gauche) et les lignes de contour de la profondeur deau (droite).
147
X
0
50
100
150
200
Y
2
40
60
80
H
0.96
0.98
1
Figure 54 Profondeur deau pour le canal rectangulaire avec une contraction soudaine
t=5s.
CHAPITRE 7
INTRODUCTION DES TERMES SOURCES
7.1 Introduction
Dans tous les chapitres prcdents, les quations de Saint-Venant ont t voques et uti-
lises sous leur forme homogne. Dans le prsent chapitre, on va essayer dintroduire
les termes sources et ainsi traiter le systme de Saint-Venant non homogne. Les termes
sources pour notre cas, se dcomposent en deux types : le premier terme traduit leffet
de la variation du lit du cours deau, not S
0
(connue dans la communaut hydraulique
par bathymtrie), et le deuxime terme, introduit le frottement que subissent les colonnes
deau par le fond de la rivire durant leur dplacement, not S
f
. Le terme de bathymtrie
est donn par :
S
0x
=
z
x
et S
0y
=
z
y
(7.1)
Les termes de pertes par friction sont exprims, par exemple, en utilisant le coefcient de
frottement de Manning n :
S
fx
=
n
2
u

u
2
+v
2
h
4
3
et S
fy
=
n
2
v

u
2
+v
2
h
4
3
(7.2)
Lintroduction de ces termes source est synonyme de gnration de beaucoup de problmes
numriques. Un premier impact direct est lintroduction dune nouvelle non-linarit au
systme. Ceci peut mme se traduire, dans le cas dune formulation Lagrangienne (et donc
la disparition du terme convectif), une perte de la linarit des quations. Dun autre ct,
lexistence dtats stationnaires non-triviaux est lun des principaux ds du systme de
Saint-Venant non-homogne. Ceci sexplique par lexistence de paramtres physiques du
problme qui ne sont pas constants, mme en rgime stationnaire. Le traitement de ce
dernier problme a fait lobjet de beaucoup de publications durant les dernires annes.
Citons titre dexemples Bermudez et Vasquez [36] et [107], Loukili [6], Mohammadian
149
et Le Roux [34], Leveque [128] et Leveque et Yee [64]. Cette liste est loins dtre exhaus-
tive, ce qui montre labondance des travaux et la largesse des problmes rencontrs. La
prsence du terme source qui introduit linuence de la topographie induit, donc, des tats
stationnaires complexes. En 1D, et pour des solutions rgulires, ils sont caractriss par
[35] :
hu
x
= 0,
H
x
= 0 (7.3)
avec H(t, x) =
u
2
2
+ g(h + Z), la charge hydraulique. La conservation dans le temps de
ces tats stationnaires est une tche dlicate et assez difcile numriquement. En effet,
ltat stationnaire correspond un quilibre entre les termes de ux et les termes sources
dont les discrtisations sont habituellement d-corrles [35]. Dans le cas des quations
de Saint-Venant, un des tats dquilibre est la prservation de ltat de repos dun uide
(u = 0 dans lquation 7.3).
En 2D, les tats stationnaires correspondent, pour des solutions rgulires, aux relations
suivantes :
div(hu) = 0, H u = 0 (7.4)
o u est le rotationnel du champs de vitesse. Les tats dquilibre monodimensionnel
(quation 7.3) sont alors retrouvs en suivant les lignes de courant. Or, ces lignes de cou-
rant ne sont pas connues a priori dans les coulements complexes et pour les gomtries
compliques. Ainsi, les tats dquilibre en 2D paraissent impossible prserver numri-
quement, lexception, ventuellement, de celui qui correspond une zone de repos. En
1D, les tats dquilibre qui correspondent lquation (7.4) et dont le champ de vitesse
est non nul, sont caractriss par les relations suivantes :
hu = C
1
,
|u|
2
2
+g(h +z) = C
2
(7.5)
150
C
1
et C
2
sont deux constantes qui sont dtermines par les conditions aux limites. Lqua-
tion (7.5) sera utilise pour dterminer la solution analytique du cas dun canal avec une
bathymtrie constante avec une bosse au milieu.
Ltude du traitement numrique des termes sources est une tche trs large dont on ne peut
la prsenter exhaustivement dans le cadre de cette thse. Pour une tude plus complte des
causes numriques et de la rsolution des problmes gnrs par les termes sources, nous
rfrons lexcellente thse de Audusse [35]. Dans le cadre du travail propos, nous allons
nous limiter reproduire les tats dquilibre qui correspondent des zones de repos.
7.2 Traitement numrique des termes sources
La majorit des travaux qui sintressaient aux coulements surface libre bass sur les
modles de type Saint-Venant, ont utilis le systme homogne. Une revue de ces travaux
peut tre trouve dans les travaux de LeVeque [127], de Soulamani [8] et de Toro [38].
Plus rcemment, plus dintrt sest port sur ltude du systme non-homogne mono-
dimensionnel. Daprs Bermudez [36], Roe a montr dans [120] que pour les systmes
linaires, les termes sources doivent tre dcentrs avec la mme manire que le ux phy-
sique. Ensuite, Glaister sest bas sur ce travail pour proposer, dans [115], une approche
pour rsoudre le systme de Saint-Venant non-homogne. LeVeque et Yee [64] ont uti-
lis des termes sources paramtrs dans une quation dadvection pour laquelle les termes
source et les ux sont traits dans deux pas diffrents. Bermudez et Vasquez ont gnra-
lis lapproche de LeVeque et Yee pour les systmes hyperboliques non-homognes [36].
Les termes sources et les ux sont discrtiss et dcentrs par la mme mthode. Leur
approche consiste projeter les termes source sur les vecteurs propres de la matrice Ja-
cobienne du ux et ainsi gnraliser la notion de dcentrage. Cette approche a permis
dtendre les techniques existantes aux topographies variables et aux maillages structurs.
Les auteurs ont surtout introduit la notion de C-Property qui garantit que le schma utilis
vrie les conditions de stagnation i.e. il reproduit les cas de zones de repos. " On dit quun
151
schma vrie la C-Proprit, si le schma appliqu une solution stationnaire retrouve :
[47, 36, 107]
h
n
i
+z
i
= c et u
n
i
= 0 i Z, n N (7.6)
Par la suite cette technique a t gnralise par Vasquez-Cendon dans [108] pour le cas
de canal avec une gomtrie irrgulire. On dit quun schma vrie la C-proprit ap-
proxime lordre n, si il reproduit la solution exacte du problme lordre dcrit [108].
Enn, on dit que le schma vrie la Z-proprit [39] si il reproduit un test de stagnation
i.e. il ne gnre pas de mouvement articiel dans un uide au repos.
Toutes les approches voques en haut, sont coteuses en terme de temps de calcul, puis-
quelles se basent sur une projection des termes sources sur les vecteurs propres de la
matrice Jacobienne. Pour surmonter ce problme, LeVeque a propos un problme de
Riemann local pour balancer les termes source et pour le calcul des ux et de leur gra-
dients. Cette technique vrie aussi bien le test de stagnation, que les conditions de ltat
quasi-stationnaire [128], mais elle nest pas applicable sur les maillages non-structurs.
Mohammadian et al. [90] ont fait une premire exploration sur le dcentrage des termes
source sur des maillages non-structurs. Ils ont dvelopp un schma numrique qui se
base sur le schma de Roe, et qui vrie la C-property. Dans [34], ils ont propos deux
techniques quils jugent efcaces, pour simuler les coulements sur des topographies va-
riables et sur des maillages non-structurs. Ces deux mthodes vrient la C-property
lorsquelles sont combines avec le schma de Roe pour le calcul la profondeur deau
la surface. Les auteurs dfendent aussi le fait que ces approches peuvent tre combines
avec dautres schmas en volumes nis [34], sans, toutefois, mener des formulations
complexes comme cest le cas pour les travaux antrieurs [3]. Dans un autre registre, Ide-
lis et al. ont propos dans [141] des techniques de relaxation de premier et de second ordre
qui servent aussi bien pour discrtiser les ux que les termes sources. Audusse et al. [109]
ont fait une bonne rcapitulation des schmas dites "cintiques". De plus, ils ont propos
un nouveau schma cintique qui rsout les quations de Saint-Venant homognes en les
152
interprtant et en les crivant sous une formulation cintique : Ainsi, au lieu de rsoudre
le systme de Saint-Venant classique, qui est un systme hyperbolique non linaire, la
formulation cintique permet de rsoudre une quation de transport linaire dune entit
(densit microscopique de particules M) qui est non linaire, pour laquelle il est plus facile
de trouver des schmas dapproximation prcis et prsentant de bonnes proprits tho-
riques [109]. Ce schma prsente de bonnes proprits de stabilit puisquil prserve la
positivit de la profondeur deau mme lorsquil est appliqu dans des zones sches [109].
Ensuite, les auteurs prsentent une extension de ce schma au systme non-homogne ba-
se sur une reconstruction hydrostatique de la profondeur deau. Cette extension conserve
les proprits de conservation du schma homogne [109].
7.2.1 Mthode des volumes naturels
Dans ce paragraphe, nous allons rappeler brivement le schma obtenu dans le chapitre
prcdent, qui donne la discrtisation par la mthode des volumes naturels (MVN) de
lquation de conservation de la quantit de mouvement du systme de Saint-Venant ho-
mogne. Cette quation est lquation (6.14) qui est donne par :
u
I
=
_
Du
Dt
_
I
=
1
A
I
N

J=1
_
g

h
J
+g

h
I
+
IJ
_
n
IJ
s
J
(7.7)
o u est le vecteur vitesse et u
I
est le vecteur acclration de la particule I,

h
J
est lapproxi-
mation de type lments naturels de la profondeur deau sur larte J, s
J
est la longueur de
cette arte, n
IJ
est la normale unitaire sortante porte par la droite (IJ), A
I
est laire de la
cellule de Vorono associe I et
IJ
est la viscosit articielle introduite par lquation
(6.12), pour dcentrer le schma et pour le stabiliser an de mieux capter les chocs. Cette
viscosit est donne par :

IJ
=
u
IJ
r
IJ
_
r
2
IJ
+
2
=

_
(v
J
v
I
)(y
J
y
I
) + (u
J
u
I
)(x
J
x
I
)
_
_
r
2
IJ
+
2
(7.8)
153
o =
1
2
(c
I
+c
j
) =
1
2
(

gh
I
+

gh
J
) est la vitesse du son moyenne, u
IJ
= u
I
u
J
est la
diffrence entre les vitesses des particules I et J. u et v sont les composantes du champ de
vitesse respectivement dans les directions x et y, r
IJ
= r
I
r
J
et est une petite constante
introduite pour viter la division par zro et est un coefcient constant.
La mthode MVN introduite dans le chapitre 6 est, rappelons le, une approche de type
volumes nis qui consiste approximer les ux sur les cellules de Vorono en utilisant une
interpolation de type lments naturels. Les paramtres physiques sont moyenns sur la
cellule de Vorono et les gradients sont calculs en utilisant lapproche du gradient stabili-
se introduite par Chen [66] et qui est tout simplement une approximation du gradient qui
utilise le thorme de Green.
Dans le cas o les termes sources sont introduites, lquation (7.7) est adapte pour prendre
en considration la bathymtrie. Ainsi

h est remplace par =

h+ z et lquation devient
(voir gure 55) :
u
I
=
_
Du
Dt
_
I
=
1
A
I
N

J=1
_
g
J
+g
I
+
IJ
_
n
IJ
s
J
(7.9)
7.2.2 Approximation du frottement du lit
Dans la plupart des travaux consacrs au traitement des termes source, laccent est mis
sur la discrtisation des gradients de la bathymtrie. Les tudes de stabilisation et/ou de
dcentrage concernent exclusivement ces termes gomtriques. Pour introduire la friction
du lit, une simple procdure de collocation est effectue sur le terme de friction. Ainsi,
pour une particule I :
S
fx
=
n
2
u
I
_
u
2
I
+v
2
I
h
4
3
I
et S
fy
=
n
2
v
I
_
u
2
I
+v
2
I
h
4
3
I
(7.10)
154
g
Figure 55 Notations pour les quations de Saint-Venant non-homognes.
n tant le coefcient de Manning. Pour introduire ce terme de frottement, lexprience
montre lobligation dimpliciter dans le temps le schma utilis, faute de quoi, des pro-
blmes avec le CFL mergeraient.
7.3 Applications numriques
Dans un but dvaluation du schma obtenu, nous allons appliquer cette discrtisation dans
quelques cas test. La description de la gomtrie et des conditions initiales et aux limites,
sont prsentes sparment chaque cas prsent.
7.3.1 coulement stationnaire sur une bathymtrie plate avec une bosse
Ce premier test de validation consiste tudier le comportement de la formulation obtenue
sur une bathymtrie plate et en prsence dune bosse de forme parabolique (voir gure 56).
Ce test a t introduit par Goutal et al. dans [43]. Le domaine est donn par un rectangle
de longueur 25 m et de largeur 1 m. Le fond du canal est sans frottement. La bathymtrie
155
X
Y
0
0.05
0.1
0.15
0.2
H
0
0.1
0.2
X
Y
Z
Figure 56 Bathymtrie du test de validation avec fond plat en prsence dune bosse
parabolique.
est donne par :
z(x) =
_

_
0 si x < 8m;
0.2 0.05(x 10)
2
si 8 x 12m;
0 si x > 12m;
(7.11)
Dpendemment des conditions initiales, lcoulement peut tre sub-critique ou trans-critique
(en prsence de choc ou non), ou super-critique. La solution analytique de ce problme est
156
X
0
5
10
15
20
25
Y
0
0. 2
0. 4
0. 6
0. 8
1
H
0. 3
0. 4
0. 5
0. 6
0. 7
Figure 57 Bathymtrie plate avec une bosse - premier test de stagnation.
donne dans [43] et elle est obtenue par lapplication du thorme de Bernoulli. Dans notre
cas, nous allons prsenter trois cas de validation dans lesquelles les conditions aux limites
sur la profondeur deau et le dbit lamont et laval sont varies. Ces cas sont :
coulement trans-critique sans choc, dans lequel h=0.66 mseulement lorsque lcou-
lement est sub-critque et le dbit q = 1.53m
3
s
1
coulement trans-critique avec choc avec h=0.33 m et q = 0.18m
3
s
1
coulement sub-critique avec h=2m et q = 4.42m
3
s
1
7.3.1.1 coulement trans-critique sans choc
La solution analytique est obtenue par lapplication du thorme de Bernoulli. En effet,
en appliquant le thorme de Bernoulli entre lentre du canal (point 1) et un point quel-
157
conque du front (point 2), on trouve :
q
2
2gL
2

2
2
+
2
+z
2
= h
1
(7.12)
avec q est le dbit impos lentre du canal, g est lacclration du pesanteur, L est la
largeur du canal, est la profondeur deau, z est la cte de la bathymtrie et h
a
est la charge
lentre du canal. En rarrangeant lquation (7.12), on trouve lquation polynmiale
de troisime degr rsoudre :

3
2
+ (z
2
h
1
)
2
2
+
q
2
2gL
2
= 0 (7.13)
Pour rsoudre cette quation, on peut utiliser, entre autre, la mthode de Cardan [55] qui
pour une quation de la forme :
x
3
+ax
2
+bx +c = 0 (7.14)
stipule que si la condition D = 4p
3
27q
2
> 0 est vrie, alors lquation (7.14) admet
une solution relle donne par :
x =
3

q
2
+
_
_
q
2
_
2
+
_
p
2
_
3
+
3

q
2

_
_
q
2
_
2
+
_
p
2
_
3
(7.15)
avec p = b
a
2
3
et q =
a
27
_
2a
2
9b
_
+c
7.3.2 Test de stagnation
Le deuxime test tudi, consiste vrier la z-property. Il sagit dun test de stagnation.
Une zone de repos doit rester au repos et ainsi le schma ne doit pas gnrer de mou-
vement articiel dans le canal. Ce test a t propos par Goutal et Maurel dans [43]. Il
sagit dans un premier temps de vrier le prservation de la condition de stagnation sur
158
un bathymtrie fortement variable et ensuite, voir la propagation dune onde gnre par
un mouvement de la frontire. Ce dernier test va tre dcrit dans le paragraphe suivant. La
gure 58 montre la une vue en perspective du canal tudi et de la variation de sa bathy-
mtrie. Le tableau II donne les valeurs numriques dans 24 points du canal.
TABLEAU II
Donnes de la bathymtrie du test de stagnation
x(m) 0 50 100 150 250 300 350 400 425 435 450 475 500 505
z(m) 0 20 2.5 5 5 3 5 5 7.5 8 9 9 9.1 9
x(m) 530 550 565 575 600 650 700 750 800 820 900 950 1000 1500
z(m) 9 6 5.5 5.5 5 4 3 3 2.3 2 1.2 0.4 0 0
Le canal a une longueur de 1500 m, la surface libre initiale est 21 m. Daprs Goutal
[43, 44], pour quun schma numrique russisse un test de stagnation, une simulation
de 200 s est sufsante. La gure 59 et 60 donne le rsultat trouv pour la surface libre
t=200 s. Cette gure montre que la condition de stagnation est bien vrie et que schma
?? est conservatif (ne gnre pas de masse articielle) et stable (ne gnre pas de vitesse
articielle). Le nombre de Courant utilis pour les deux gures prsentes est de 0.4.
159
X
0
500
1000
1500
Y
0
20
z
0
5
10
15
20
Y
X
Z
Figure 58 Cas de stagnation - Bathymtrie du canal.
160
X
H
0 500 1000 1500
20.99
20.995
21
21.005
21.01
Figure 59 Test de stagnation - surface libre t= 200 s.
X
0
500
1000
1500
Y
0
5
10
u
n
_
x
-2E -10
0
2E -10
Figure 60 Test de stagnation - Composante axiale de la vitesse t= 200 s.
CONCLUSIONS ET PERSPECTIVES
Le travail ralis dans le cadre de cette thse est motiv par un objectif essentiel qui
consiste dvelopper une famille dapproches numriques pour simuler les coulements
surface libre et qui a un double caractre : particulaire et Lagrangienne. Le caractre La-
grangien reprsente un atout majeur pour ce type dcoulements. En effet, les approches
Lagrangiennes sont assez prcises, mais surtout elles sadaptent trs bien avec la nature
de ces coulements. De plus, elles ont lavantage de capter la surface libre plus facilement
que les approches crites sous dautres formulations cinmatiques. La deuxime particu-
larit des mthodes prsentes dans ce travail dcoule en partie du caractre Lagrangien. Il
sagit du caractre particulaire. On entend par particulaire le fait de subdiviser le domaine
uide total en un ensemble de particules et dy appliquer le systme de conservation uti-
lis dune manire locale. La conservation locale assure au niveau de chaque particule
garantit automatiquement une conservation globale pour le systme entier.
Numriquement, vue que les approches classiques (mthodes des lments nis ou m-
thodes de volumes nis) sont peu adaptes ce type de description, nous avons opt pour
une nouvelle famille de mthodes numriques qui sont connues sous lappellation "m-
thode sans maillage" ou "meshfree methods". Cette famille a merg depuis les annes
1970 mais qui a eu un vif intrt scientique durant les annes 1990. Ce type de mthode
offre un avantage majeur par rapport aux approches standards : cest leur indpendance
relative ou totale dun maillage.
7.4 Synthse et principales contributions
Depuis deux dcennies, une panoplie de mthodes sans maillage est apparue dans la lit-
trature. Par consquent, un choix immense sest offert nous et la dcision dadopter
telle ou telle mthode ntait pas facile prendre. Pour cette n, une tude exhaustive sur
les mthodes sans maillage t effectue et prsente au dbut de ce travail. Lobjectif
162
de cette tude est de classier les diffrentes mthodes, de cerner leurs avantages et leurs
inconvnients, davoir une ide sur leurs fonctionnements et enn de dceler leur appli-
cabilit dans la simulation des coulements surface libre en formulation Lagrangienne.
Plusieurs points communs entre les diffrentes techniques meshless sont apparus lissue
de cette tude. Les principales fonctions de forme sans maillage se basent sur linterpola-
tion de type "moindre carrs mobiles" (MLS) ou "Reproducing Kernel Particle Method"
(RKPM). La notion de connectivit connue dans les approches standards, est remplace
par la "longueur de lissage" qui dnit ltendue du support de la fonction fentre. On
parle ainsi de "voisins" qui sont les nuds qui entourent le nud tudi et qui sont situs
dans le support de sa fonction de forme.
La mthode SPH(Smoothed Particle Hydrodynamics) appartient cette classe de mthode
sans maillage. Cest la mthode quon a choisie pour tre implmente dans notre cas. Ce
choix se justie par plusieurs facteurs. En effet, en plus de sa simplicit et de la facilit de
sa mise en uvre, la mthode SPH est la seule mthode intrinsquement Lagrangienne.
Dailleurs, plusieurs applications en mcanique du solide et en uide dmontrent lintrt
qua eu la mthode SPH dans la communaut numrique. La mthode SPH dans sa for-
mulation originale a fait lobjet du projet de matrise de lauteur de cette thse [12], ce qui
justie encore plus ladoption de cette mthode dans la thse.
Les dtails de limplmentation de la mthode SPH dans le cas des coulements surface
libre font lobjet du chapitre 5. La mthode est prsente dans sa version originale et appli-
que au cas des quations de Saint-Venant. Ensuite, une tude mathmatique variationnelle
est effectue et qui a permis de dterminer les conditions ncessaires lobtention de la
formulation classique de la mthode SPH. Une tude de stabilit de la mthode est me-
ne et a permis dintroduire une nouvelle viscosit articielle pour dcentrer le schma
de la mthode. Cette viscosit est obtenue par analogie avec les techniques utilises pour
les solveurs de Riemann. La nouvelle stabilisation conduit des rsultats satisfaisants en
comparaison avec lancienne mthode de stabilisation. En effet, les chocs sont bien rvls
163
et les oscillations aux niveaux des discontinuits sont amorties dune faon trs notable.
Toutefois, des effets diffusifs sont observs aux niveaux des chocs qui sont probablement
causs par lintroduction de la nouvelle viscosit articielle. La prsence de ces effets dif-
fusifs est attribue labsence dun limiteur de ux comme cest le cas dans les techniques
de volumes nis type MUSCL dordre lev.
La mthode SPH, comme cest le cas de la famille des techniques sans maillage qui se
basent sur les interpolations de type MLS, souffre de quelques inconvnients. En premier
lieu, lors de la prsence dun cadre variationnelle de type Galerkin, lintgration num-
rique est trs coteuse et pas toujours prcise. Ceci est d la nature plutt rationnelle, et
donc non polynmiale, des fonctions de forme des mthodes sans maillage. Ce problme
est vit dans notre cas puisquon adopte des techniques de collocation qui ne ncessitent
pas dintgration numrique. En deuxime lieu, limposition des conditions aux limites
de type Dirichlet est une tche particulirement dlicate pour les mthodes sans maillage.
En effet, la nature non-interpolante des fonctions de forme de la majorit des mthodes
sans maillage, reprsente la cause principale de cette difcult. Plusieurs techniques de
traitement des conditions aux frontires, voques dans le chapitre 3, sont implmentes
dans notre cas. Toutefois, les rsultats obtenus ne sont pas satisfaisants et la qualit des
solutions trouves ne sont pas la hauteur de nos attentes. La forme des chocs est sys-
tmatiquement dforme, voire perdue et des oscillations parasites sont observes. Cest
pourquoi, le choix dune technique sans maillage qui possde une fonction de forme in-
terpolante, sest impos cette tape de la thse.
Les mthodes purement sans maillage possdant des fonctions de forme interpolantes
sont trs rares daprs la recherche bibliographique effectue durant la thse. La mthode
des lments naturels fait partie des mthodes interpolantes. Bien que le caractre sans
maillage est loin dtre vident, la NEM est considre comme une mthode Meshless. Le
principal avantage quelle offre est sa fonction de forme qui est construite en utilisant des
notions purement gomtriques et qui est interpolante de surcrot. Le principe de fonction-
164
nement de la NEM se base essentiellement sur la construction dune partition de lunit
par lintermdiaire de rapport de longueurs ou daires (en 2D), ou daires et de volumes
(en 3D). La dtermination de ces grandeurs gomtriques ncessite la construction dune
triangulation de Delaunay ou du diagramme de Vorono qui est son dual gomtrique.
Ainsi lutilisation dun mailleur est invitable pour implmenter la NEM. Cest pourquoi
nous avons contact lquipe du professeur Chinesta lcole nationale suprieure des
arts et mtiers de Paris (ENSAM), qui dispose dun tel outil et qui est bien avance dans
lutilisation de la NEM.
Il sagissait donc dimplmenter la NEM dans le cadre de cette thse. Ceci revenait luti-
liser dans un cadre particulaire et en formulation Lagrangienne et lappliquer un systme
de conservation qui est en loccurrence le systme de Saint-Venant. Les principales utili-
sations de la NEM sont faites dans un cadre variationnel, ce qui ne nous intresse pas dans
ce travail. Une approche par collocation est donc adopte. Les grandeurs cinmatiques
prsentes dans lcoulement (vitesse, acclration) sont, donc, moyennes sur les cellules
de Vorono. Les valeurs moyennes de ces grandeurs sont calcules en utilisant lquation
de conservation de la quantit de mouvement transforme par lapplication du thorme
Green pour passer dune intgrale surfacique une intgrale sur le contour. La discrtisa-
tion de cette quation se sert de linterpolation de type NEM pour valuer les valeurs de la
profondeur aux points dintgration. Cette procdure est trouve comme tant semblable
une technique de type volumes nis qui consiste valuer les ux sur les contours de la
cellule de Vorono et attribuer les valeurs moyennes des paramtres physiques au nud.
Pour toutes ces raisons, et par analogie entre la mthode des lments nis et celle des
volumes nis, nous dsignons cette procdure Mthode des volumes naturels.
La mthode des volumes naturels est applique au systme de Saint-Venant homogne. Le
schma obtenu est centr et par consquent instable. Un dcentrage utilisant une viscosit
articielle, comme pour le cas de la mthode SPH, est effectu pour des ns de stabilisa-
tion. Les rsultats obtenus pour des cas tests bidimensionnels montrent que les solutions
165
sont dune qualit assez satisfaisante. Les chocs sont bien capts et leurs formes bien
dnies. Des effets diffusifs sont remarqus et sont causs par lintroduction de cette vis-
cosit. Quelques proprits numriques sont vries pour la MVN, telle que linuence
de lorientation du maillage et celle de la densit nodale.
Le caractre particulaire de la mthode SPH est conserv pour la mthode des volumes
naturels. En effet, la masse totale est divise en un ensemble de particules qui conservent
leurs masses respectives au cours du temps et ainsi la masse totale est conserve. La pro-
fondeur deau est suppose constante sur chaque cellule. Sa variation dans le temps est
calcule en considrant la variation de laire de la cellule. Ainsi, la profondeur deau varie
dune manire inversement proportionnelle laire de la cellule. Il est important de noter
deux points stratgiques dans la procdure de conservation de la masse. En premier lieu,
lutilisation de lquation de continuit et sa discrtisation sont vites. Par consquent,
tous les problmes de stabilit relatifs sa discrtisation, rencontrs dans les applications
de type volumes nis ou lments nis et bien connus dans la communaut numrique,
sont pargns. Lapproche utilise dans ce travail est simple, lgante et stable puisquelle
ne gnre aucun problme numrique. Le deuxime point concerne la grille utilise pour
la procdure de conservation de la masse. En effet, celle-ci est diffrente de la grille utili-
se pour la conservation de la quantit de mouvement, qui est le diagramme de Vorono.
La premire grille est conserve chaque pas de temps et ses sommets sont dplacs
chaque fois en utilisant des vitesses interpoles par la mthode des volumes naturels.
En dernier lieu la mthode des volumes naturels est applique pour le systme de Saint-
Venant non-homogne, i.e. en prsence de terme source. Seul le terme gomtrique qui
traduit leffet de la bathymtrie, est considr dans cette thse. Par la reformulation de
lquation de conservation de la quantit de mouvement, cette dernire tient compte non
plus de la profondeur deau, mais plutt du niveau de la surface libre. Ainsi, le schma glo-
bal conserve sa forme initiale formule pour le cas du systme de Saint-Venant homogne.
Le schma obtenu est valid pour des tests de validation thoriques. Il passe aisment les
166
tests de stagnation et donc il vrie la z-proprit. Dautres tests sont prvoir pour valider
le schma pour des cas rels bathymtries complexes.
La prsente thse a abouti la publication de deux articles "International journal for
numerical methods in uids". Le premier article est publi en 2005 [13] et le second est
accept pour publication en 2007 [14]. Nous avons galement particip quatre conf-
rences et workshops dont exigeant le dpt dun article rvis et accept par un comit de
lecture [41].
7.5 Perspectives et travaux futurs
Le prsent travail ouvre de multiple perspectives et travaux futurs qui sont rsums dans
les points suivants :
* La mthode SPH est tudie et implmente dans le cas des coulements surface
libre. Ses problmes de stabilisation sont relativement rsolus. Toutefois, le pro-
blme dimposition des conditions aux limites reste pos, bien que plusieurs tech-
niques sont testes. Il est intressant de voir la possibilit de coupler la mthode SPH
avec une mthode interpolante. Le couplage SPH-lments nis a t implment
avec plus ou moins de succs [133]. La mthode des volumes naturels semble trs
adapte ce type de couplage.
* La mthode des volumes naturels est applique au systme de Saint-Venant non-
homogne. Le terme source gomtrique est le seul terme introduit dans la formula-
tion. La validation du schma obtenu est effectue sur quelques tests thoriques. Il
sera intressant de voir la capacit du modle simuler des cas rels.
* Lintroduction du terme de frottement du lit reste une tche intressante accomplir.
La non-linarit de ce terme et la difcult de lintgrer dans le temps, sont des cts
explorer.
167
* Vu le fait que la version non conservative du systme de Saint-Venant est utilise,
des difcults ont t rencontres dans limposition des conditions entre/sortie de
type dbit. La rsolution de ce problme reste faire dans les travaux futurs.
BIBLIOGRAPHIE
[1] Agoshkov VL; Ambrosi D; Pennati V; Quarteroni A. Mathematical and numerical
modelling of shallow water ow. Computational Mechanics, 11 :280299, 1993.
[2] Bowyer A. Computing dirichlet tesselations. Computer J., 24 :162166, 1981.
[3] Calef V; Valiani A; Zanni A. Finite volume method for simulating extreme ood
events in natural channels. Journal of hydraulic reseaurch, 41(2) :167177, 2003.
[4] Donea J ; Huerta A; Ponthot JP ; Rodriguez-Ferran A. Arbitrary Lagrangian-
Eulerian Methods, chapter 14, pages 121. Encyclopedia of computational me-
chanics. Wiley, 2004.
[5] Klein R; Lingas A. A linear-time randomized algorithm for the bounded voronoi
diagram of a simple polygon. Internation Journal of Computational Geometry and
Applications, 6 :263278, 1996.
[6] Loukili Y; Soulamani A. Numerical tracking of shallow water waves by the un-
structured nite volume waf approximation. International Journal for Computatio-
nal Methods in Engineering Science and Mechanics, 8(2) :7588, 2007.
[7] Ritter A. Die fortpanzung der wasserwellen. Vereine Deutscher Ingenieure Zeitsw-
chrift, 36(2) :947954 (en allemand), aot 1892.
[8] Soulamani A. Nouveaux aspects de lapplication de la mthode des lments nis
en hydrodynamique. Rapport de matrise, Universit Laval, Qubec, 1983.
[9] Soulamani A. Contribution la rsolution de problmes dcoulements surface
libre. Thse de doctorat, Universit Laval, Qubec, 1987.
[10] Libersky LD; Petshek AG. Smooth particle hydrodynamics with strength of mate-
rials. Lecture Notes in Physics. Springer, Berlin, 395 :248257, 1990.
[11] Cha SH; Whitworth AP. Implementations and tests of gudunov-type particle hydro-
dynamics. Monthly Notices of the Royal Astronomical Society, 340 :7390, 2003.
[12] R. Ata. Les coulements surface libre avec la mthode SPH. Masters thesis,
Publication de lTS, Montral, 2002.
[13] R. Ata and A. Soulamani. Astabilized sph method for inviscid shallowwater ows.
Int. J. Numer. Meth. uids., 47(3) :139159, 2005.
169
[14] Soulamani A. Ata, R. and Chinesta F. The natural volume method ; presentation
and application to inviscid shallow water ows. Int. J. Numer. Meth. uids., Ac-
cept, 2007.
[15] Belikov VV; Ivanov VD; Kontorovich VK; Korytnik SA; Semenov AY. The non-
sibsonian interpolation : a newmethod of interpolation of the values of a function on
an arbitrary set of points. Computational mathematics and mathematical physics,
37(1) :915, 1997.
[16] Belikov VV; Semenov AY. New non-sibsonian interpolation on arbitrary system
of points in euclidean space. In 15th IMACS World Congress, Numerical Mathe-
matics,Wissen Tech. Verlag :Berlin, 2 :237242, 1997.
[17] Ben Moussa B. Analyse numrique de mthodes particulaires rgularises de type
SPH pour les lois de conservation. Phd thesis, INSA Toulouse, Toulouse- France,
1998.
[18] Fornberg B. The pseudospectral method : accurate representation of interfaces in
elastic wave calculations. Geophysics, 53 :625637, 1988.
[19] Asphaug E Benz W. Simulations of brittle solids using smooth particle hydrodyna-
mics. Comput. phys. commun, 87(1-2) :253265, 1995.
[20] Ancey C. Notes de cours dhydraulique. Laboratoire dhydraulique environnemen-
tale - cole polytechnique de Lauzanne, Suisse, version 3.9 edition, Juillet 2007.
[21] Molteni D; Bilello C. Riemann solver in sph. Mem. S.A.It. Suppl., 1(1) :3645,
2003.
[22] Navier C. Mmoire sur les lois du mouvement des uides. Compte rendu laca-
dmie des sciences de Paris, 6 :389416, 1823.
[23] Lee CK; Zhou CE. On error estimation and adaptive renement for element free
galerkin method - part i : Stress recovery and a posteriori error estimation. Compu-
ters and structures, 2003.
[24] Lee TD Christ NH, Friedberg R. Weights of links and plaquettes in a random lattice.
Nuclear Physics B, 210(3) :337346, 1982.
[25] Chen JS ; Pan C; Wu CI. Large deformation analysis of rubber based on reprodu-
cing kernel particle method. Comp. Mech., 19 :211227, 1997.
[26] Liu WK; Chen Y; Uras RA; Chang CT. Generalized multiple scale reproducing
kernel paticle methods. Comp. Methods Appl. Mech. Eng., 139 :91157, 1996.
170
[27] Komatitsch D. Mthodes spectrales et lments spectraux pour lquation de llas-
todynamique en 2D et 3D en milieu htrogne. Thse de doctorat, Institut du globe
de Paris, Paris-France, mai 1997.
[28] Serre D. Systmes hyperboliques de lois de conservation, Partie I et II. Diderot,
Paris, Prance, 1996.
[29] Shepard D. A two dimensional function for irregularly spaced points. In ACM
national conference, pages 517524, 1968.
[30] de Saint Venant AJC. Thorie du mouvement non-permanent des eaux avec ap-
plication aux crues des rivires et lintroduction des mares de leur lit. Compte
rendu lacadmie des sciences de Paris, 73 :147154, 1871.
[31] Watson DF. Computing the n-dimensional delaunay tesselation with application to
voronoi polytopes. The Computer Journal, 24(2) :167172, 1981.
[32] Swegle JW; Attaway SW; Heinstein MW; Mello FJ ; Hicks DL. An analysis of
smoothed particle hydrodynamics. Technical report SAND93-2513, Sandia Natio-
nal laboratory, Alburqueuque, New Mexico, 1994.
[33] Issa R; Lee ES ; Violeau D; Laurence DR. Incompressible separated ows simu-
lations with the smoothed particle hydrodynamics gridless method. Int. J. Numer.
Meth. Fluids, 47(10-11) :11011106, 2005.
[34] Mohammadian A; Le Roux DY. Simulation of shallow ows over variable topo-
graphies using unstructured grids. Int. J. Numer. Meth. Fluids, 52 :473498, 2006.
[35] Audusse E. Modlisation hyperbolique et analyse numrique pour les coulements
en eaux peu profondes. Phd thesis, Universit Paris VI, Pierre et Marie Curie, 2004.
[36] Bermudez A; Vasquez E. Upwind methods for hyperbolic conservation laws with
source terms. Computers uids, 23(8) :10491071, 1994.
[37] Violeau D; Buvat C; Abed-Meram E. Numerical modelling of boom and oil spill
with sph. Coastal Eng., In press, 2007.
[38] Toro EF. Shock-capturing methods for free surface ows. John Wiley, England,
premire edition, 2001.
[39] Vignoli G; Titarev VA; Toro EF. ADER schemes for the shallow water equations
in channel with irregular bottom elevation. Isaac Newton Institute Preprint Series,
NI06051-NPA, 2006.
171
[40] Shao S ; Lo EYM. Incompressible sph method for simulating newtonian and non-
newtonian ows with a free surface. Advances in Water Resources, 26 :787800,
2003.
[41] Ata R; Soulamani A; Chinesta F. A lagrangian nite volume method for the simu-
lation of ows with moving boundaries. In 10TH ESAFORM CONFERENCE ON
MATERIAL FORMING. AIP Conference Proceedings, editor, ESAFORM, volume
907, pages 14121417. Lavoisier, 2007.
[42] Bardella L; Genna F. Newmarks time integration method from the discretization
of extended functionals. Journal of Applied Mechanics, 72(4) :527537, 2005.
[43] Goutal N; Maurel F. In proceedings of the 2nd workshop on dam-break wave
simulation, HE-43/97/016/B, France, 1997. EDF/LNH.
[44] Goutal N; Maurel F. A nite volume solver for 1d shallow-water equations applied
to an actual river. Int. J. Numer. Meth. Fluids, 38 :119, 2002.
[45] Khoury F. The history of the manning formula. Site web, San Diago university-
California, 2005. http ://manning.sdsu.edu/.
[46] Martinez MA; Cueto E; Alfaro I ; Doblar M; Chinesta F. Updated lagrangian free
surface ow simulations with natural neighbour galerkin methods. Int. J. Numer.
Meth. Engng, 60 :21052129, 2004.
[47] Sahmim S ; Benkhaldoun F. Schma srnhs analyse et application dun schma aux
volumes nis ddi aux systmes non homognes. ARIMA, 5 :302316, 2006.
[48] Yvonnet J ; Ryckelynck D; Cofgnal G; Lerong P ; Chinesta F. Adaptive constrai-
ned natural element method. Submitted to Elsevier Science, 2005.
[49] Yvonnet J ; Ryckelynck D; Lonrong P ; Chinesta F. Interpolation naturelle sur les
domaines non-convexes par lutilisation du diagrame de voronoi contraint. Revue
Europeenne des lments Finis, 3743443(1) :915, 2001.
[50] Hicks FC. Finite element modeling for open channel ow. Phd thesis, University
of Alberta, Fall 1990.
[51] Aluru NR; Li G. Finite cloud method : a true meshless technique based on a xed
reproducing kernel approximation. Int. J. Num. Methods Engng., 50 :23732410,
2001.
[52] Ashgriz N; Barbat T; Wang G. A computational lagrangian-eulerian advection
remap for free surface ows. Int. J. Numer. Meth. uids, 44 :132, 2004.
172
[53] Birknes J ; Pedersen G. A particle nite element method applied to long wave run-
up. Inter. J. Numer. meth. uids, 52 :237261, 2006.
[54] Stokes G. On the theories of the internal friction of uids motion and of the equi-
librium and motion of elastic solids. Trans. Cambridge Phil. Soc., 8 :287305,
1845.
[55] Villemin G. Page personnelle. Technical report, http ://villemin.gerard.free.fr/,
2006.
[56] Whitham GB. The effects of hydraulic resistence in the dam-break problem. Proc.
Roy. Soc. of London, 227 :399407, 1955.
[57] Johnson GR. Linking of lagrangian particle methods to standard nite element
methods for high velocity impact computations. Nuclear Engineering and Design,
150 :256274, 1994.
[58] Chanson H. Analytical solution of dam break wave with owresistance. application
to tsunami surges. Proc. 31th Biennial IAHR Congress, Seoul,Korea, B.H. Jun, S.I.
Lee, I.W. Seo and G.W. Choi Editors. Theme D1 paper 0137, pages 33413353,
2005.
[59] Chanson H. River Flow. Taylor and Francis Group, London, UK, pp 465-475,
2006.
[60] Courant R; Friedrichs KO; Lewy H. ber die partiellen differenzangleichungen
der mathematisches. Mathematische Annalen, 100(1) :3274, 1928.
[61] Sambridge M; Braun J ; McQueen H. Geophysical parametrization and interpola-
tion of irregular data using natural neighbours. Geophysical journal international,
122 :837857, 1995.
[62] Songdong S ; Gotoh H. Turbulence particle models for tracking free surfaces. Jour-
nal of Hydraulic Research, 43(3) :276289, 2005.
[63] You Y; Chen JS ; Lu H. Filters, reproducing kernel and adaptive meshfree method.
Computational mechanics, 2003.
[64] LeVeque RJ ; Yee HC. A study of numerical methods for hyperbolic conservations
laws with stiff source terms. J. Comput. Phys., 86 :187210, 1990.
[65] Fries TP; Matties HG. A stabilized and coupled meshfree/meshbased method for
the incompressible navier-stokes equations - part I : Stabilization. Comput. Methods
Appl. Mech. Engrg., 195 :62056224, 2006.
173
[66] Chen JS ; Wang HP. New boundary condition treatments in meshfree computation
of contact problems. Comp. Methods Appl. Mech. Eng., 187 :441468, 2000.
[67] Wang Z; Shen HT. Lagrangian simulation of one dimensional dam-break ow.
Journal of hydraulic engineering, 125(11) :12161220, 1999.
[68] Mishev ID. Finite volume methods on Vorono meshes. url = "cite-
seer.ist.psu.edu/153080.html", paratre.
[69] Cueto E; Sukumar N; Calvo B; Cegonino J and Doblar M. Overview and recent
advances in natural neighbour galerkin methods, technical report. ECCOMAS,
2003. Archives of computational methods in Engineering.
[70] Dawson C; Proft J. Discontinuous and coupled continuous/discontinuous galer-
kin methods for the shallow water equations. Comput. Meth. Appl. Mech. Engng.,
191 :47214746, 2002.
[71] Hudson J. Numerical Techniques for Morphodynamic Modelling. Thse de docto-
rat, University of Reading, 2001.
[72] Anderson JD. A History of Aerodynamics. Cambridge University Press, cambridge
edition, 1997. http ://www-groups.dcs.st-and.ac.uk/ history/Mathematicians/Saint-
Venant.html.
[73] Gingold RA; Monaghan JJ. Kernel estimates as a basis for general particle methods
in hydrodynamics. Journal of Computational Physics, 46 :429453, 1982.
[74] Monaghan JJ. Why particle methods work. SIAM Journal on Scientic Computing,
3(4) :422433, 1982.
[75] Monaghan JJ. An introduction to sph. Computer Physics Communications, 48 :89
96, 1988.
[76] Monaghan JJ. Simulating free surfae ows with sph. Journal of Computational
Physics, 110(2) :399406, 1994.
[77] Monaghan JJ. Sph and riemann solvers. Journal of computational Physics,
136 :298307, 1997.
[78] Stoker JJ. Water waves. Interscice, Wiley, rst edition, 1957.
[79] Muttin F ; Coupez T; Bellet M; Chenot JL. Lagrangian nite element analysis of
time-dependant viscous free surface ow using automatic remeshing technique :
application to metal casting ow. Int. J. Numer. Meth. engng, 36 :20012015, 1993.
174
[80] Hervouet JM. Hydrodynamique des coulements surface libre, modlisation avec
la mthode des lments nis. Technical report, cole des ponts et chausses -
Paris, France, 2003.
[81] Souli M; Zolesio JP. Finite element method for free surface ow problems. Com-
puter Methods in Applied Mechanics and Engineering, 129(1) :4351, 1996.
[82] Vila JP. On particle weighted methods and smooth particle hydrodynamics. Mathe-
matical Models and Methods in Applied Sciences, 9(2) :191209, 1999.
[83] Lu H; Chen JS. Adaptive meshfree method. Lecture notes in computational science
and engineering, 26 :251267, 2002.
[84] Duarte CAM; Oden JT. H-p clouds - an h-p meshless method. Numerical Methods
for partial differntial equations, 12 :673705, 1996.
[85] Wen Y; Hicks DL; Swegle JW. Stabilizing s.p.h. with conservative smoothing.
Technical report SAND94-1932, Sandia National laboratory, Alburqueuque, New
Mexico, 1994.
[86] Atluri SN; Kim HG; Cho JY. A critical assessment of the truly meshless local
petrov-galerkin (mlpg) and local boundary integral equation (lbie) methods. Comp.
Mech., 24 :348372, 1999.
[87] Zienkiewicz OC; Boroomand B; Zhu JZ. Recovery procedures in error estimation
and adaptativity-part i : Adaptativity in linear problems. Comput. Methods Appl.
Mech. Engng., 176 :111125, 1999.
[88] Lancaster P; Salkauskas K. Surfaces generated by moving least squares methods.
Mathematics of computation, 37 :141158, 1981.
[89] Miller K. Moving nite elements II. SIAM J. Numer. Anal., 18 :10331057, 1981.
[90] Mohammadian A; Le Roux DY; Tajrishi M; Mazaheri K. A mass conservative
scheme for simulating shallow water ows over variable topographies using un-
structured grid. Advances in water ressources, 28 :523539, 2005.
[91] Belytschko T; Lu YY; Gu L. Element-free galerkin methods. Int. J. Numer. Me-
thods Eng., 37 :229256, 1994.
[92] Cueto E; Doblar M; Gracia L. Imposing essentiel boundary conditions in the
natural elements method by mean of density-scaled alpha-shapes. Int. J. Numer.
Meth. Engng, 49 :519546, 2000.
175
[93] Gavete L. An adaptive procedure for the spherical shallow water equations. In
MathEstia workshop on meshfree methods, Biarritz, France, April 2007. MathEstia.
[94] Lu YY; Belytschko T; Gu L. A new implementation of element-free galerkin
methods. Comp. Methods Appl. Mech. Eng., 113 :397414, 1994.
[95] Lucy LB. A numerical approach to the testing of the ssion thesis. The Astronomi-
cal Journal, 82(12) :10131024, 1977.
[96] Coutman LD. Basics of smoothed particle hydrodynamics. Lawrence Livermore
National Laboratory Report UCRL-ID-103698, 1990.
[97] Dor EA; Drury LO. Simple adaptive grids for 1-d initial value problems. J.
Comput. Phys., 69 :175195, 1987.
[98] Zhao J ; Chew YT; Luo SC; Pan LS and Wu JK. Generalized transport vortex
method. Computers and uids, 36(6) :10811091, 2007.
[99] Bonet J ; Kulasegaram S; Rodriguez-Paz MX; Prot M. Variational formulation
for the smooth particle hydrodynamics (sph) simulation of uid and solid problems.
Computer Methods in Applied Mechanics and Engineering, 193(12) :12451257,
2004.
[100] Gonzalez D; Cueto E; Chinesta F ; Doblar M. A natural element updated lagran-
gian strategy for free-surface uid dynamics. Journal of Computational Physics,
223 :127150, 2007.
[101] Kulasegaram S ; Bonet J ; Lewis RW; Prot M. A variational formulation based
contact algorithm for rigid boundaries in two-dimensional sph applications. Com-
putational Mechanics, Springer-Verlag, 33 :316325, 2004.
[102] Kulasegaram S ; Bonet J ; Lok TSL; Rodriguez-Paz M. Corrected smooth particle
hydrodynamics - a meshless method for computational mechanics, technical report.
ECCOMAS, 2000.
[103] Letellier A; Bung H; Galon P ; Berhillier M. Bird impact on fan blade analysis
using sph coupled with nite elements. Structure Under Extreme Loading Condi-
tions, PVP 351. ASME : New York, 395, 1997.
[104] Ramaswamy B; Kawahara M. Lagrangian nite element analysis applied to viscous
free surface uid ow. Int. J. Numer. Meth. Fluids, 7 :953984, 1987.
[105] Sukumar N; Dolbow J ; Devan A; Yvonnet J ; Chinesta F ; Ryckelynck D; Lorong
P; Alfaro I ; Mrtinez M; Cueto E; Doblar M. Meshless methods and partition of
176
unity nite elements. Int. J. forming processes, 10 :119, 2004.
[106] Liu GR; Liu MB. Smooth Particle Hydrodynamics : a meshfree partile methd.
World Scientic, HongKong, 2003.
[107] Bermudez A; Dervieux A; Desideri JA; Vasquez ME. Upwind schemes for the
two-dimensional shallow water equations with variable depth using unstructured
meshess. Comput. Methods Appl. Mech. Engrg., 155(1-2) :4972, 1998.
[108] Vazquez-Cendon ME. Improved treatment of source terms in upwind schemes for
the shallowwater equations in channels with irregular geometry. J. comput. Physics,
148 :497526, 1999.
[109] Audusse E; Bristeau MO. A 2d well-balanced positivity preserving second order
scheme for shallow water ows on unstructured meshes. Technical report n 5260,
INRIA, France, julllet 2004.
[110] Hasegawa T; Yamaguchi S ; Ohiwa N. A numerical analysis of mass transfer in a
plane shear layer. JSME Int. j., 30(263) :785791, 1987.
[111] Sukumar N. Vorono cell nite difference method for the diffusion operator on
arbitrary unconstructed grids. Int. J. Numer. Meth. Engng., 57(1) :134, 2003.
[112] Oate E; Idelsohn S ; Zienkiewicz OC; Taylor RL; Sacco C. A stabilized nite
point method for analysis of uid mechanics problems. Comp. Methods Appl. Mech.
Engng., 139 :315346, 1996.
[113] Belytschko T; Kronkauz Y; Organ D; Fleming M; Krysl P. Meshless methods an
overview and recent developments, technical report. Northwestern university, USA,
1996. Northwestern university, USA.
[114] Doring M; Andrillon Y; Alessandrini B; Ferrant P. Two-dimensional sph simula-
tions of wedge water entries. Journal of Computational Physics, 213(2) :803822,
2006.
[115] Glaister P. Approximate riemann solutions of the shallow water equations. J. Hy-
draulic. res., 26 :293306, 1988.
[116] Hansbo P. Lagrangian incompressible ow computations in three dimensions by
use for space-time nite element. Int. J. Numer. Meth. Fluids, 20 :9891001, 1995.
[117] Yvonnet J ; Ryckelynck D; Lerong P and Chinesta F. A new extension of the na-
tural element method for non convex and discontinuous problems : the constrained
natural element method (c-nem). Int. J. Numer. Meth. Engng., 40 :16, 2000.
177
[118] Lax PD. Hyperbolic Systems of Conservation Laws and the Mathematical Theory
of Shock Waves. SIAM, Philadelphia, 1973.
[119] Liang Q; Zang J ; Borthwick AGL; Taylor PH. Shallow ow simulation on dyna-
mically adaptive cut cell quadtree grids. Int. J. Numer. Meth. Fluids, 53 :17771799,
2007.
[120] Roe PL. Upwind differenced schemes for hyperbolic conservation laws with source
terms. In Serre Carasso, Raviart, editor, Proc. Conf. Hyperbolic problems, pages
4151. Springer, 1986.
[121] Herbin R. Analyse numrique des quations aux drives partielles. Notes de cours
de Master en mathmatiques de luniversit dAix Marseille1, France, 2007.
[122] Sibson R. A vector identity for the dirichlet tesselation. Mathematical proceedings
of the Cambridge philosophical society, 87 :151155, 1980.
[123] Sibson R. A brief description of natural neighbour interpolation. In V. Barnett,
editor, Interpreting multivariate data, Chichester. John Wiley, pages 2125, 1981.
[124] Violeau D; Issa R. Modelling of complex turbulent free surface ows with the
sph lagrangian method : an overview. Int. J. Numer. Meth. Fluids, 53(2) :277304,
2007.
[125] Zeitlin V; Medvedev SB; Plougonven R. Frontal geostrophic adjustment, slow
manifold and nonlinear wave phenomena in 1d rotating shallow water. part 1. J.
Fluid Mechanics, 481 :269290, 2003.
[126] Berger Jr. RC. Free surface ows over curved surfaces. Thse de doctorat (phd),
University of Texas at Austin, 1992.
[127] LeVeque RJ. Numerical Methods for Conservation Laws. Birhuser, Basel, Suisse,
1990.
[128] LeVeque RJ. Balancing source terms and ux gradients in high-resolution godu-
nov methods : the quasi-steady wave-propagation algorithm. J. Comput. Phys.,
146(1) :346365, 1998.
[129] Miller K; Miller RN. Moving nite elements I. SIAM J. Numer. Anal., 18 :1019
1032, 1981.
[130] Atluri SN; Shen S. The Meshless Local Petrov Galerkin (MLPG) method. TechS-
cience, rst edition, 2002.
178
[131] Bonet J ; Kulasegaram S. Correction and stabilization of smooth particle hydro-
dynamics methods with applications in metal forming simulation. Int. J. Numer.
Methods Eng., 47 :11891214, 2000.
[132] Frank J ; Reich S. Conservation properties of smoothed particle hydrodynamics
applied to shallow water equations. BIT numerical Mathematics, 43(1) :4155,
2003.
[133] Huerta A; Fernandez-Mendez S. Coupling element free galerkin and nite element
method, technical report. ECCOMAS, 2000.
[134] Liu WK; Belytschko T; Li S. Moving least square reproducing kernel methods .
methodology and convergence. Comp. Methods Appl. Mech. Engng., 143 :113154,
1997.
[135] Orszag SA. Spectral methods for problems in complex geometries. J. comput.
Physics, 37 :7092, 1980.
[136] Li XY; Teng SH. Point placement for meshless methods using sphere packing
and advancing front methods, technical report. University of Illinois at Urbana-
Champaign, 2002.
[137] Yu-E Shi. Rsolution numrique des quations de Saint-Venant par la technique de
projection en utilisant une mthode des volumes nis dans un maillage non struc-
tur. Thse de doctorat, Universit de Caen, 2006.
[138] Inutsuka SI. Reformulation of smoothed particle hydrodynamics with riemann sol-
ver. J. Comput. Physics, 179 :238267, 2002.
[139] Johnson GR; Beissel SR. Normalised smoothing functions for sph impact compu-
tations. Int. J. Numer. Meth. Engng., 39 :27252741, 1996.
[140] Atluri SN; Zhu T. A new meshless local petrov-galerkin (mlpg) approach in com-
putational mechanics. Comp. Mech., 22 :117127, 1998.
[141] Idelis AI ; Katsaounis T. Computational methods for 2d shallow water ows based
on relaxation schemes. In HERCMA. HERCMA, 2003.
[142] Krongauz Y; Belytschko T. Enforcement of essential boundary conditions in me-
shless approximations using nite elements. Comp. Methods Appl. Mech. Eng.,
131 :133145, 1996.
[143] Liu WK; Jun S ; Li S ; Adee J ; Belytschko T. Reproducing kernel particle methods
for structural dynamics. Int. J. Numer. Methods Engng., 38 :16551679, 1995.
179
[144] Sukumar N; Moran B; Belytschko T. The natural elements method in solid mecha-
nics. Int. J. Numer. Meth. Engng, 43 :839887, 1998.
[145] Canuto C; Hussaini MY; Quarteroni A; Zang TA. Spectral methods in uid dyna-
mics. Springer-Verlag, New York, 1988.
[146] Fries TP. Classication and overview of meshfree methods, technical report. Bruns-
wick, 2003. Scientic Computing Institute, Technical University Braunschweig,
Germany.
[147] Brufau P ; Garca-Navarro P ; Vsquez-Cendn. Zero mass error using unsteady
wetting-drying conditions in shalow ows over dry irregular topography. Int. J.
Numer. Meth. Fluids, 45 :10471082, 2004.
[148] Sukumar N; Moran B; Yu Semenov ; Belikov VV. Natural neighbour galerkin
methods. Int. J. Numer. Meth. Engng., 50 :127, 2001.
[149] Han W; Meng X. Some studies of the reproducing kernel particle method, technical
report. University of Iowa, 2001.
[150] Chen JS ; Wu CT; You Y. A stabilized conforming nodal integration for galerkin
meshfree methods. Int. J. Numer. Methods Eng., 50 :435466, 2001.
[151] Liu WK; Chen Y. Wavelet and multiple scale reproducing kernel methods. Int. J.
Numer. Methods Fluids, 21 :901931, 1995.
[152] Soulamani A; Fortin M; Dhatt G; Ouellet Y. Finite element simulation of two- and
three-dimensional free surface ows. Comput. Meth. Appl. Mech. Engng., 86 :265
296, 1991.
[153] Soulamani A; Saad Y. An arbitrary lagrangian-eulerian nite element method for
solving three dimensional free surface ows. Comp. Methods Appl. Mech. Engng.,
162 :79106, 1998.
[154] Liu WK; Jun S ; Zhang YF. Reproducing kernel particle methods. Int. J. Numer.
Methods Fluids, 20 :10811106, 1995.