Professional Documents
Culture Documents
Prsente par
K ARIMA E L G ANAOUI
Sujet
Directeur de thse
Habib Ammari
Examinateur
Patrizia Donato
Rapporteur
Thierry Goudon
Rapporteur
Kamel Hamdache
Prsident
Franois Jouve
Examinateur
Henri Paillre
Examinateur invit
Remerciements
Grgoire, je suis ravie et enchante de tavoir eu comme directeur de thse. Ta rigueur et ton
indniable efficacit manant dune opulente culture mathmatique mont permis dapprendre
beaucoup de choses auprs de toi. Tu as srement marqu ma carrire et jamais de ton em-
vi
vii
xi
1
10
13
13
14
2.2.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
15
2.2.3 Gomtrie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
16
21
21
22
23
23
25
27
3.1.1 Conduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
3.1.2 Convection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
29
30
31
33
35
35
3.4.1 Conduction-convection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
36
36
37
39
40
42
43
44
46
48
48
51
51
52
55
56
56
59
60
60
63
66
71
ii
27
79
79
81
83
84
5.2.1 Homognisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
84
93
95
131
Bibliographie
133
141
iii
10
10
11
16
3.1 Conduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
3.2 Convection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
3.3 Rayonnement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
30
32
34
35
40
41
41
64
65
66
67
68
69
4.13 Zoom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
69
61
63
64
71
71
72
73
74
75
76
4.21 Traverse de T et T + y T1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
76
77
78
81
93
5.3 Solutions des problmes de cellule pour une temprature infinie . . . . . . . . . . . 103
5.4 Premire composante diagonale de K . . . . . . . . . . . . . . . . . . . . . . . . . . 104
vi
Gomtrie
Ouvert born de Rd
Fermeture de
(k )k=1,...,M
Cellule lmentaire de
Fermeture de
Y prive de
Bord de
Variable macroscopique
x
y=
Variable microscopique
(y)
Fonction caractristique de Y
mes(D)
(x)
(x)
(y), y Y
ei
vii
i, j
Indices sur la dimension de lespace, indices sur les surfaces dune cavit
discrtise
k
MWe
Mgawatts lectriques
Physique
missivit
F (x, s)
Fi j
clairement
Radiosit
Oprateur rayonnement
viii
Espaces
D()
C # (Y )
D(;C # (Y ))
u(x, y) L 2 (;C # (Y ))
u(x, y) L 2 (; H#1 (Y ))
u(x, y) est
Z une
Z fonction mesurable sur Y , Y -priodique,
telle que
(|u|2 + | y u|2 )d xd y < +
Y
Id
Identit
a( , )
kuk2L 2 ()
u
=
x i 1i d
iX
=d
i
=
x
Zi =1 i
= |u|2 d x
kuk2H 1 ()
o(p ), p R
O(p ), p R
dsigne une fonction de > 0 telle quil existe une constante C indpen-
u(x)
div (x)
o(p )
=0
0 p
ix
Sigles
CEA
HTR
VHTR
RCG
REP
EPR
GT-MHR
GFR
LFR
MSR
SFR
SWCR
DOE
Introduction
Dans cette thse il sera question dhomogniser des modles de transfert dnergie poss
dans un domaine solide perfor priodiquement de nombreux petits trous, reprsentatif de la
gomtrie relle issue de lapplication industrielle qui nous intresse. Ces modles impliqueront
principalement les changes de chaleur par conduction dans le solide et par rayonnement au
bord des trous.
Bien que pouvant servir de manire gnrale pour dautres applications impliquant le transfert dnergie par conduction et/ou par rayonnement, ce travail a pour berceau une srie
dtudes menes au niveau international en vue de la conception et de la validation dune nouvelle gnration de racteurs nuclaires, la gnration IV. Le projet GIF (Generation IV International Forum) lanc en 2000 par le Dpartement amricain de lnergie (DOE) regroupe aujourdhui onze pays : tats-Unis, Afrique du Sud, Argentine, Brsil, Canada, Core du Sud, France,
Japon, Royaume Uni, Suisse et la communaut des tats signataires du trait Euratom. Ces pays
cooprent au dveloppement de nouveaux systmes nuclaires. Le but tant que la gnration
future permette de grandes avances en matire de comptitivit conomique, de sret, dconomie des ressources en uranium, et de moindre production de dchets radioactifs vie longue.
Ce projet vise une maturit technique pour 2030. La premire phase des travaux (Octobre 2002)
a abouti la slection de six systmes nuclaires dont le HTR (High Temperature Reactor) qui
sinscrit dans la filiale RCG (Racteur Caloporteur Gaz). Le CEA (Commissariat lEnergie Atomique) est partenaire de leffort R&D men dans ce cadre.
Le CEA ralise ainsi des tudes afin dvaluer les particularits physiques des HTR. La majorit
de ces tudes sont ralises sur la gomtrie du cur GT-MHR (Gas Turbine-Modular Helium
Reactor). Ce cur est constitu dun grand nombre de blocs prismatiques de graphite (solide
modrateur) o sont insrs les compacts combustibles. Chaque bloc est travers de manire
priodique dune multitude de canaux dhlium (gaz caloporteur) de diamtre trs petit compar la taille globale du cur. Le GT-MHR ayant un grand cur cela fait que le nombre total
des canaux dhlium y est trs lev. Une premire homognisation du compact combustible
dans la matrice graphite a lieu dans le cur et mne un domaine constitu dune phase solide (solide quivalent : combustible+modrateur) et une phase fluide (canaux dhelium). Cest
aprs cette premire homognisation que notre tude a lieu. Dans ce concept toute modlisation globale du transfert dnergie dans le cur doit tenir compte des canaux dhelium, cette
xi
structure fine influe significativement sur le comportement. Mais il ne faut pas oublier quon est
limit par les capacits de calcul et quune modlisation trs fine ne sera malheureusement pas
simulable. Notre travail consistera homogniser ces modles de transfert thermique ayant
lieu dans le cur diphasique (solide/helium) et retrouver ainsi des modles homogniss qui
dcrivent le comportement effectif du milieu, cest--dire considr comme un solide continu
quivalent. Ainsi lobjectif de cette thse est la mise au point de mthodes dhomognisation
menant cette fin et qui permettront terme dexploiter les capacits du code de calcul CAST3M
dvelopp par le CEA pour des simulations lchelle du cur.
Avant de parler des modlisations considres, nous introduisons dabord la mthode dhomognisation et juste avant nous revenons sur sa motivation dans le contexte industrielle.
Lors de cette tude on sera men rsoudre des quations coefficients oscillants dans un domaine caractris par deux chelles despace : macroscopique et microscopique. A la base, les
oscillations des coefficients des quations seront dues lhtrognit (ou la microstructure)
prsente priodiquement dans le domaine dtude (par exemple, le coefficient de la conductivit passe de sa valeur dans le solide une valeur nulle quand on se trouve dans un canal dhlium et ainsi de suite). Lhomognisation est la mthode qui permet de moyenner ces quations et donc de les rsoudre numriquement en minimisant lencombrement de la mmoire
et en rduisant les temps CPU puisque les paramtres homogniss dcrivent un milieu quivalent continu qui peut tre maill grossirement (les perforations nexistent plus) mais aussi en
gardant une prcision satisfaisante au niveau de la rsolution numrique car ces paramtres effectifs tiennent gnralement compte du comportement local au niveau de lhtrognit. En
fait lhomognisation permet de calculer explicitement les paramtres effectifs du milieu homogne quivalent rgi par les nouvelles lois (problme homognis) issues de lhomognisation des lois du milieu htrogne et priodique au niveau microscopique. Ainsi puisquils dpendent aussi des solutions des problmes de cellule, un calcul microscopique dans une seule
priode du milieu htrogne, les paramtres effectifs traduisent au niveau macroscopique les
effets microscopiques. Lhomognisation mathmatique offre galement lavantage de pouvoir
reconstruire le champ fin (au niveau microscopique) en corrigeant le champ macroscopique
avec des termes qui dpendent des fluctuations locales microscopiques. Cette tape est appele
dshomognisation par les ingnieurs, et elle est dune grande importance en pratique.
La mthode dhomognisation est base de manire gnrale sur le principe de lanalyse
asymptotique (cf Allaire [6]; Bakhvalov et Panasenko [17]; Bensoussan et al. [23]; Bergman et al.
[24]; Cioranescu et Donato [32]; Lions [70, 72]; Murat et Tartar [80]; Oleinik et al. [85]; SanchezHubert et Sanchez-Palencia [88]. . . ) En termes mathmatiques cela se traduit ainsi : si on note
par le rapport entre les chelles microscopique et macroscopique dun problme donn not
P , et si on considre que tend vers 0, homogniser P revient trouver le problme limite
P0 qui sera purement macroscopique et dont la solution est la limite de la suite constitue des
solutions de (P ) pour des valeurs de dcroissant vers 0 (cest--dire lhtrognit devient
de plus en plus petite jusqu approcher un milieu continu).
Si on revient maintenant la description de la gomtrie du cur GT-MHR, il est ais de
constater quune modlisation y ayant lieu peut faire intervenir plusieurs chelles despace. En
xii
Introduction
effet, le cur dans ce cas est assez grand et le rapport entre la taille de certains de ses composants (canaux dhelium par exemple) et sa taille est trs petit. La prise en compte de leffet
de la microstructure lors dune tude globale est essentielle pour obtenir une modlisation qui
reprsente le mieux les phnomnes rels. Cette prise en compte de la microstructure ne devant
pas rendre les temps de rponse trop longs ou mme rendre le modle incalculable, il nous faut
trouver un compromis qui optimise la fois la modlisation et les capacits de calcul. On peut
alors avoir recours des mthodes de moyennes qui permettent dobtenir un modle qui dcrit un comportement moyen du phnomne mais qui ne permet pas toujours de remonter au
comportement fin ou microscopique. Le processus de la moyenne devrait donc tre suffisant en
ingnierie quand on nest intress que par une valeur moyenne du champ calcul (temprature
moyenne, potentiel moyen. . . ), et quon veut avoir une rponse assez rapide. On note galement
que souvent les processus de moyenne dfinissent des paramtres moyens spcifiques au problme tudi puisquils peuvent dpendre des termes sources par exemple. Or, dans cette tude
mene par le CEA, la contrainte de la connaissance et de la localisation du maximum de temp-
rature dans le coeur (qui est lie aux critres imposs par la sret) est prendre imprativement
en compte. Un processus de moyenne ne nous permettrait pas forcment de remonter aux tempratures fines dans le cur du racteur alors que lhomognisation le permet. Le processus
dhomognisation est donc le candidat idal pour ce scnario puisquil nous permet dextraire
les paramtres moyens dun milieu htrogne tout en tenant compte de ses htrognits.
Dautant plus que les mthodes de convergence existantes permettent dans la plupart des cas
une justification mathmatique des problmes homogniss obtenus.
Concernant les phnomnes physiques qui seront abords dans ce travail, il est important de
prciser que les modles de transfert thermique impliqueront principalement la conduction et
le rayonnement et que notre inconnue dans ce travail sera la temprature. Lhomognisation
de diffrentes conditions de rayonnement constituera loriginalit de cette thse. Deux modles
principaux feront lobjet de cette tude.
xiii
microscopique), les paramtres effectifs seront les mmes si on changeait la condition non linaire de rayonnement au bord par une condition linaire (une condition de convection par
exemple) aux bords des canaux. Ceci sera constat lors du premier exercice considr (homognisation dun problme de conduction/convection) et qui sera aussi bien une initiation la
mthode dhomognisation quau code de calcul CAST3M.
Le deuxime modle homogniser est un problme de conduction dans le solide perfor
avec une condition de rayonnement en cavit paroi grise diffusante aux bords des canaux dhlium et une condition de Neumann sur le bord extrieur du solide. Dans ce cas, la condition de
rayonnement sera plus dlicate homogniser car elle est non seulement non linaire mais
aussi non locale. Lhomognisation du problme dans ce cas mne un problme de conduction o la conductivit homognise dpend non linairement de la temperature. Ceci est d
au fait que cette fois-ci les problmes de cellule comportent une condition linarise de rayonnement en cavit grise diffusante. Le problme homognis sera tabli formellement dans le
cas gnral puis rigoureusement en utilisant la mthode de la convergence deux chelles dans
le cas o les conditions aux limites seraient : une condition de rayonnement linarise aux bords
des canaux dhlium et une condition de Dirichlet sur le bord extrieur. Ainsi, on dmontre galement un thorme de convergence dans ce cas. Lhomognisation de ce modle constitue la
contribution la plus originale et principale de la thse.
Ce mmoire de thse est compos de 5 chapitres. Ci-dessous nous dressons le bilan par chapitre du travail effectu. On note que toutes les justifications mathmatiques, permettant de
retrouver le problme homognis rigoureusement, faites dans ce travail utilisent la mthode
de convergence deux chelles.
Chapitre I : dans ce chapitre on situera ltude vise par cette thse. Ainsi on y introduit le
contexte industriel qui a motiv ltude. Nous y prsenterons galement les principaux constituants du cur dun RCG (Racteur Caloporteur Gaz) dont la gomtrie sera notre domaine
dtude. On dcrira ainsi les diffrents stades dhomognisation qui ont men notre tude
et qui son tour en dfinira un nouveau stade. En situant ltude dans son contexte industriel
nous mettrons en vidence lexistence de deux chelles despace (lente-rapide) qui seront inhrentes aux modlisations qui nous y intressent. On verra plus prcisment pourquoi ces deux
niveaux de modlisation macroscopique-microscopique motivent le choix de la mise au point
de mthodes dhomognisation.
xiv
Introduction
Chapitre III : dans ce chapitre il est question de modlisation. Avant de dresser un bilan des
modles considrs dans ce travail, nous prsentons les trois modes de transfert dnergie :
conduction, convection et rayonnement. Nous mettons laccent bien-entendu sur le mode qui
nous importe le plus et qui est le rayonnement thermique en milieu transparent (cf. Chandrasekhar [29]; Fermi [44]; cole dt [54]; Incropera et DeWitt [56]; Modest [78]; Planck [86]; Siegel et
Howell [90]; Sparrow [94]; Taine [95]. . . ). On parlera dabord de deux types de rayonnement qui
nous intressent principalement : rayonnement avec un milieu infini et rayonnement en cavit.
On prsentera alors les diffrents outils et notions qui seront rcurrents lors des modlisation
abordes et on cite en guise dexemple corps noir, corps gris diffusant, missivit, facteurs de
forme, radiosit, clairement, . . . . Avant de clturer ce chapitre, on dressera un bilan des modles qui seront tudis et homogniss dans la suite. La gomtrie considre est un domaine
priodique perfor, reprsentatif de la gomtrie relle. Deux modles principaux y seront tudis, homogniss et simuls :
un problme de conduction - rayonnement avec un milieu infini.
Chapitre IV : dans ce chapitre on homognise le premier modle : conduction - rayonnement avec un milieu infini. Le problme est pos dans un domaine solide perfor priodique
de bord extrieur . On dsigne par Y la cellule de priodicit modle et par Y sa partie
solide. On note par , lunion des bords des perforations contenues dans . On cherche donc
la temprature T du solide dont le tenseur de conductivit est donn par K . On note que la
temperature du milieu infini est gale Ti n et que f et g sont des sources connues :
div(K T ) =
K T n
K T n
dans ,
sur ,
(I)
On tudie dabord un problme plus simple en liminant la non linarit de la condition aux
bords, ce qui revient un problme de conduction-convection, puis on rsout le problme nonlinaire en sappuyant sur la proprit de convexit de lnergie associe. On tablira les rsultats
dhomognisation suivants :
lhomognisation du problme de conduction-convection conduit un problme de
conduction pos dans un milieu continu. La conductivit homognise est tablie partir de la conductivit du solide et de la rsolution dune srie de problmes de cellule (un
problme dans chaque direction de lespace). Ces problmes de cellule modlisent les fluctuations temprature par rapport un gradient de temprature moyen,
lhomognisation du problme de conduction-rayonnement avec un milieu infini conduit
un problme de conduction non linaire. Les problmes de cellule obtenus sont les
mmes que pour le cas linaire, la conductivit homognise a donc aussi la mme valeur. Le problme dans ce cas est donn par (I) et le problme homognis associ par (II).
(
K T n
= mes(Y )g
dans ,
sur .
(II)
xv
Lhomognisation de ces deux problmes sera justifie mathmatiquement (voir thorme 4.2.7 page 49 et thorme 4.3.5 page 56). En effet, pour chacun des deux cas, le problme
homognis sera tabli rigoureusement via la mthode de convergence deux chelles. Une
simulation des problmes directs (non homogniss) ainsi que de leur homognisation aura
lieu en utilisant le code de calcul CAST3M. Une tape de reconstruction de la temprature fine
et du flux de chaleur, utilisant la notion de correcteurs, est aussi effectue. Cette tape est trs
importante en pratique pour les ingnieurs qui lappellent ds-homognisation. Les rsultats
de simulation seront en parfait accord avec les rsultats thoriques.
Chapitre V : dans ce chapitre on homognisera le deuxime modle : conductionrayonnement en cavit parois grise diffusantes. Dans ce cas on veut trouver la temprature
T du solide en tenant compte du rayonnement aux bords des canaux reprsente par
loprateur intgral G sur . Le problme est alors donn par :
div(K T ) =
K T n
K T n
dans ,
sur ,
1
4
G(T )
sur ,i
(III)
1 i N ().
On tudiera dabord un problme plus simple en liminant lquation intgrale vrifie par la
radiosit. Cela sera possible en considrant le cas o la cavit serait parois noires (lmissivit
est alors gale lunit ce qui implique que la radiosit est gale au rayonnement mis par un
corps noir). Lhomognisation de ces deux problmes se fera en injectant le dveloppement
asymptotique de la temprature dans la formulation variationnelle plutt que dans lquation,
ce qui simplifie grandement les calculs. Les rsultats obtenus sont alors les suivants :
lhomognisation du problme simplifi (conduction-rayonnement en cavit parois
noires : cas dune missivit gale lunit) conduit un problme de conduction pos
dans un milieu continu. Les problmes de cellules obtenus sont des problmes de conduction avec une condition de rayonnement linaris aux bords. A prsent les problmes de
cellule ne dpendent pas seulement de la variable microscopique mais aussi de la temprature du milieu. La conductivit homognise depend donc galement de la temprature,
cest la consquence de la prise en compte de la condition de rayonnement aux bords dans
le modle ;
lhomognisation du problme de conduction-rayonnement en cavit grise diffusante (III)
suivra les mmes tapes avec un peu plus de subtilit et mnera des rsultats similaires.
Le problme homognis associ sera (IV).
(
div(K (T 3 )T ) = mes(Y ) f
K (T )T n
= mes(Y )g
dans ,
sur .
(IV)
xvi
Introduction
Vu que la conductivit homognise K (T 3 ) dpend de la temprature dans ce cas, on tablira une tude asymptotique de ses coefficients pour des tempratures voisines de linfini et on
dterminera alors la conductivit homognise limite. Cette tude dmontrera que si le solide
perfor prend une temprature trs leve, le rayonnement interviendra trs rapidement et les
trous deviendront alors parfaitement conducteurs contrairement au cas de faibles tempratures
o les trous seront isolants.
Ce travail a donn lieu aux communications [45], [46], [47], [48] et [49] cites en annexe
page 141. Les rsultats du chapitre V feront lobjet dune publication.
principalement les transferts dnergie par conduction-rayonnement dans le solide avec les
quations de la mcanique des fluides, qui gouvernent lcoulement du gaz dans le cur, serait
une extension envisageable de cette tude. Notons galement que dun point de vue technique
il serait possible dexploiter les programmes dvelopps dans ce travail pour enrichir le code de
calcul CAST3M de nouveaux oprateurs qui seraient ddis lhomognisation.
Pour finir nous attirons lattention du lecteur sur le fait que les problmes de rayonnement
ont t peu abords par voie dhomognisation contrairement dautres problmes de transfert (thermique/mcanique des fluides) o lon peut trouver des dveloppements assez avancs
de la mthode. Bakhvalov [16] sest intress aux changes radiatifs entre un ensemble de miroirs placs une petite distance les uns des autres, mais les dveloppements quon trouve dans
son travail concernait une configuration simplifie de la condition de rayonnement, GodillonLafitte et Goudon [53] se sont intresss une tude asymptotique dun modle o sont coupls
les phnomnes de rayonnement et diffusion dans un milieu fluide. notre connaissance ce
prsent travail est lun des premiers en tant quapplication de lhomognisation aux phnomnes de rayonnement en prsence de parois noires ou grises diffusantes dans les coeurs de
racteurs. Ce travail sera donc une validation du premier ordre (en complexit) qui ouvre sur
lhomognisation de problmes complexit croissante (gomtrie plus complexe, couplage
avec dautres phnomnes physique. . . ). Comme on peut le constater dans notre cas, les rsultats obtenus nous ont fourni des modules de calcul (justifis mathmatiquement) oprationnels
dans le code de calcul considr CAST3M (et ventuellement dautres codes industriels). Parmi
les principales motivations qui nous ont conduit considrer cette approche des phnomnes
conductifs et radiatifs par la mthode dhomognisation se trouve la possibilit dune simulation chelle globale o les effets locaux seraient pris en compte. Insistons sur le fait que
lobjectif du travail tait double : dvelopper des modles mathmatiques et faire des simulations numriques base sur une approche par homognisation. Ce qui permet de dvelopper,
valider et qualifier des outils intgrables des codes de calcul dun point de vue thorique.
Cela rend possible alors le couplage procd local procd global selon les besoins de ltude
considre.
xvii
Chapitre
physique et gomtrique
Dans ce chapitre on commence par introduire des notions relatives au domaine du nuclaire et
qui seront assez rcurrentes dans ce travail. Ainsi on commence par parler brivement du parc nuclaire franais, puis de lintrt combin performance/sret de ltude et de la conception dune
nouvelle gnration de racteurs, les Racteurs Haute Temprature appels HTR. On dcrira ensuite de manire relativement dtaille la gomtrie relle du cur dun type particulier de racteurs, le Racteur Caloporteur Gaz RCG. Le RCG appartient la famille des HTR et son cur
sera notre domaine dapplication. On sintressera donc des modles de transfert dnergie ayant
lieu dans le cur du RCG et impliquant deux chelles despace. La rsolution numrique de ces
modles ncessite la mise au point de mthodes dhomognisation.
Sommaire
1.1 Contexte industriel
7
9
10
Dans les centrales nuclaires on va garder le mme principe dactionnement de la turbine que
pour les centrales thermiques sauf quon va remplacer le combustible fossile par de luranium
dont les noyaux, aprs le dclenchement dune raction en chane, se cassent et librent une
grande nergie nuclaire. Ce sera cette nergie nuclaire qui servira produire de la vapeur qui
activera ensuite la turbine. Le parc nergtique franais est constitu aujourdhui principalement de centrales nuclaires qui dlivrent de 900 1450 MWe (Mgawatt lectriques). On note
que la diffrence dune centrale nuclaire par rapport une autre rside au niveau de la chaudire nuclaire (la partie du racteur qui fournit la chaleur ncessaire la production de vapeur
deau). Les autres lments (turbine, alternateur, . . . ) restent en principe communs la plupart
des centrales nuclaires.
ce qui pourrait provoquer des ractions chimiques entre les deux. Cette gaine empche
aussi que des particules du combustible puissent passer dans le caloporteur et sortir ainsi
de la cuve du racteur. En fait, cette prcaution assure que ni les particules duranium et
surtout ni les produits de fission (qui sont radioactifs) ne passent dans le caloporteur ;
un modrateur : le modrateur est un ralentisseur de neutrons, une autre prcaution qui
vient se rajouter au combustible gain, au caloporteur et aux barres de contrle (dfinies
juste plus bas). La plupart des racteurs, lexception des racteurs neutrons rapides,
comportent un modrateur. Le rle de ce dernier est de ralentir les neutrons qui sont souvent trop nergtiques pour provoquer efficacement une nouvelle fission. Ces neutrons ont
une trs grande nergie qui fait quils se dplacent une trs grande vitesse (20 000 km/s).
Ce sont des neutrons trs rapides et leur grande vitesse joue souvent en leur dfaveur. En
fait, lorsquils passent trop vite proximit des atomes duranium les ractions de fission
sont difficiles obtenir. Elles sont mme rares. Pour palier ce problme et permettre aux
ractions de fission de se produire plus facilement, et en plus grand nombre, il faut ab-
solument ralentir considrablement les neutrons. On peut ainsi passer grce au modrateur dune vitesse de 20 000 km/s jusqu une vitesse de lordre de 2 km/s. On obtient alors
ce quon appelle des neutrons lents ou neutrons thermiques . En effet, lastuce consiste
faire traverser les neutrons une matire compose datomes dont les noyaux ne les absorbent pas. Ils sont alors freins car ils perdent de la vitesse en rebondissant sur les noyaux
du modrateur. Ainsi plus les noyaux du modrateur seront lgers (de masse voisine de
celle des neutrons, tels que ceux dhydrogne par exemple) plus le ralentissement sera rapide. Pour un bon fonctionnement du racteur, combustible et modrateur doivent tre
alterns : combustible, modrateur, combustible, modrateur ;
des barres de commande : ces barres sont des pigeuses de neutrons. Elles sont galement
appeles barres de commande . Le contrle permanent de la raction en chane est assur
par leur absorption des neutrons ; elles sont par exemple base de bore. Le carbure de bore
est un excellent absorbant dans le domaine thermique, ce qui permet un bon contrle du
cur. Les barres de commande sont mobiles dans le cur du racteur ce qui permet de les
remonter ou de les extraire en fonction du nombre de neutrons absorber. Elles permettent
ainsi de piloter le racteur. De plus, en cas dincident, lenfoncement complet, ou chute, de
ces barres au sein du combustible stoppe presque instantanment la raction en chane.
R EMARQUE 1.1.
Chaque fission produit en moyenne deux trois neutrons. Ces neutrons vont pouvoir provoquer leur tour de nouvelles fissions qui libreraient de nouveaux neutrons et ainsi de
suite . . . cest la raction en chane. Dans le racteur, cette fission doit tre matrise pour
que la quantit de chaleur libre chaque seconde dans la masse duranium reste contrle. Le but tant quune fission produise une autre et une seule, sur les trois neutrons produit lors de chaque fission, deux seront capturs (voir la figure 1.1). Ceci est assur par la
matire dont sont faites les barres de contrle, introduite ci-dessus.
Pour les principaux constituants dun cur de racteur cits plus haut, et notamment les
trois premiers, il existe plusieurs possibilits. Par exemple, le caloporteur peut tre gazeux
(gaz carbonique) ou liquide (eau). Cependant, parmi toutes les combinaisons possibles
Absorbeurs de neutrons
Atome duranium
235
Neutron
entre les diffrents combustibles, caloporteurs ou modrateurs, seules certaines ont t retenues et ont donn lieu des ralisations industrielles.
Ce type de racteurs a dj t tudi dans le pass et bnficie aujourdhui des trs importants progrs accomplis en matire de turbine gaz. Les RCG sont susceptibles de permettre la
ralisation dunits de petite taille (de 100 300 MWe), conomiques et sres. Ce type de racteur est galement susceptible de fonctionner avec des neutrons rapides et donc de prsenter
alors les avantages complmentaires des RNR.
Cest cette dernire filire qui nous intresse principalement dans ce travail de thse o il sera
question dhomogniser des modles de transferts thermiques et radiatifs ayant lieu dans le
cur des RCG. Nous dtaillons donc, ci-dessous, la gomtrie du HTR : un racteur appartenant
cette filire et dont le cur sera le thtre de nos applications.
sieurs racteurs de cette famille ont dj fonctionn aux Etats-Unis et en Allemagne au cours des
annes 60 70. Aujourdhui, deux racteurs sont en fonctionnement (HTTR au Japon et HTR-10
en Chine) et plusieurs concepts sont ltude. La filire connat actuellement un regain dintrt
et les divers concepts ltude prsentent des avantages tels que la sret passive en situation
accidentelle (concept GT-MHR de General Atomics) et une temprature de sortie du caloporteur
leve qui permet denvisager de multiples applications (concept VHTR de IVme gnration).
Les HTR se diffrencient des REP sur diffrents points :
le combustible : il est compos de particules TRISO noyau combustible et trois couches
denrobage ;
le modrateur : est du graphite solide au lieu de leau liquide ;
le caloporteur : est de lhlium gazeux, donc diffrent du modrateur.
Le racteur haute temprature (HTR) est intgr dans le projet GIF (Generation IV International Forum). Ainsi, il est lun des 6 racteurs nuclaires de IVme gnration retenu pour la
production dnergie quon cite ci-dessous :
GFR (Gas-Cooled Fast Reactor System) : racteur rapide haute temprature (850 C) refroidi au gaz (hlium) ;
LFR (Lead-Cooled Fast Reactor System) : racteur rapide refroidi au plomb ou au plombbismuth ;
MSR (Molten Salt Reactor System) : racteur sels fondus ;
SFR (Sodium-Cooled Fast Reactor System) : racteur rapide refroidi au sodium ;
SWCR (Supercritical Water-Cooled Reactor System) : racteur refroidi leau supercritique,
VHTR (Very High Temperature Reactor System) : racteur trs haute temprature
(1000 C/1200 C) refroidi lhlium.
Ce projet est dvelopp en commun dans plusieurs pays : le Canada, le Japon, le RoyaumeUni, les tats-Unis, lAfrique du Sud, la Chine, la Core du Sud et la France.
Paralllement, lUnion Europenne finance un projet (RAPHAEL) destin regrouper toutes
les recherches effectues sur les HTR en Europe. Plusieurs grands groupes participent ce projet. En France, des tudes sont menes par le CEA, en collaboration avec FRAMATOME-ANP et
EDF. Le CEA ralise des tudes afin dvaluer les particularits physiques des racteurs haute
Le combustible est sous forme doxyde duranium, enrichi 15%. Il sert produire lnergie et retenir les
1.3.de
Proprits
du racteur
GT-MHR
produits
fission. LUO
2 ne se retrouve pas, comme dans un racteur eaux pressurises (REP), lintrieur dune
gaine de zirconium, mais enrobe de quatre couches protectrices diffrentes :
9
Une premire couche constitue de pyrocarbone poreux (buffer). Elle assure un volume dexpansion pour
temprature. La majorit de ces tudes sont ralises sur la gomtrie du cur GT-MHR (Gas
les gaz de fission, accommode le gonflement du noyau, et protge les autres couches du recul des produits de
Turbine - Modular Helium cooled Reactor).
fission.
9
La seconde couche est constitue de pyrocarbone dense (PyC interne). Elle retient les gaz de fission
empche la corrosion de la couche de carbure de silicium et fournit un support mcanique la couche de carbure
Proprits du racteur GT-MHR
de 1.3
silicium.
9
La troisime couche est constitue de carbure de silicium (SiC). Elle est la principale structure rsistante.
9 1.3.1
La Constituants
quatrime couche
constitue de pyrocarbone dense (PyC externe). Elle protge la couche de carbure
duestGT-MHR
de silicium et assure une structure daccroche pour le graphite.
Cur du racteur
1.2.2 Le cur du racteur
Le cur du GT-MHR est constitu dun empilement de 102 cellules contenant chacune 10
Le cur combustibles
du GT-MHRprismatiques.
est constitu Cela
dunreprsente
empilement
de 1020
combustibles
prismatiques.
Cela
lments
environ
4524lments
kg de noyaux
lourds dans
le
reprsente environ 4524 kg de noyaux lourds dans le cur. Le cur du GT-MHR est trs grand : 8m de haut pour un
cur. Le cur du GT-MHR est assez grand : 8 m de haut pour un diamtre extrieur de 6.5 m
diamtre extrieur de 6,5 m (Figure 2).
(voir
figure
1.2). Lunedu
desGT-MHR
particularits
GT-MHR
rside annulaire
dans la gomtrie
dudun rflecteur
Lunelades
particularits
rsidedu
dans
la gomtrie
du cur. annulaire
La prsence
internecur.
en graphite permet de limiter la monte en temprature du cur lors du transitoire accidentel de perte totale de
rfrigrant (le graphite servant de capacit thermique).
Comme tous les racteur nuclaires, le GT-MHR est pilot avec des barres de commande dans les situations
de fonctionnement normale ou en cas darrt durgence du racteur. Aussi, certains lments combustibles et certains
lmentsComme
de rflecteur
possdent
desnuclaires,
barres de pilotage.
Ces barres
sontavec
constitues
dunde
anneau
de carbure de bore de
tous les
racteurs
le GT-MHR
est pilot
des barres
commande
6,5 cmdans
de diamtre
extrieur.
Le carbure de bore
est un excellent
dans le domaine
thermique,
les situations
de fonctionnement
normale
ou en casabsorbant
darrt durgence
du racteur.
Ces ce qui permet
un bon contrle du cur.
barres sont constitues dun anneau de carbure de bore. Les barres de pilotage (36 au total) sont
en carbure de bore, trs capturant en spectre thermique.
Page 6 sur 43
1.1 CONTEXTE
Chapitre(HTR)
1. Contexte
industriel,
physiqueIV
et International
gomtrique
Le racteur haute temprature
est intgr
dans le modlisation
projet GIF (Generation
Forum).
Ainsi, il est lun des 6 racteurs nuclaires de 4me gnration retenu pour la production dnergie. Ce projet est
dvelopp en commun dans plusieurs pays : le Canada, le Japon, le Royaume-Uni, les Etats-Unis, lAfrique du Sud, la
Chine,
la Core du Sud et la France.
Caloporteur
Paralllement,
le bar.
projet
RAPHAEL
regrouper
toutes les
Le
caloporteurlUnion
retenuEuropenne
est lhliumfinance
sous 70
Lhlium
a tdestin
choisicar
il ne capture
pasrecherches
les
effectues sur les HTR en Europe. Ce projet a dbut en Avril 2005 et durera 4 ans. Plusieurs grands groupes
neutrons.
contre,
sa capacit
calorifique massique
estFZH...
faible, car il est sous forme gazeuse.
participent
cePar
projet
: le CEA,
EDF, FRAMATOME-ANP,
BNFL,
Il devra donc tre sous pression pour tre assez efficace. Un compromis entre la mcanique et
Enfin, en France, des tudes sont menes par le CEA, en collaboration avec FRAMATOME-ANP et EDF. Ces
cette
capacit calorifique faible envisage lhlium sous cette pression de 70 bar. Dans le concept
tudes sont notamment destines mettre en place une modlisation neutronique en vue des tudes de
Compact combustible
Le
est un HTR
lmentsUTILISE
prismatiques.
fissile
place dans une par1.2GT-MHR
DESCRIPTION
DU REACTEUR
LORS La
DE matire
LETUDE
: LEest
GT-MHR
ticule TRISO quon peut voir sur la figure 1.3. Ces particules sont ensuite disperses dans une
1.2.1 La particule combustible
matrice cylindrique en graphite : le compact. Les compacts sont insrs dans des blocs prismaLe GT-MHR
est :un
lments
prismatiques.
La matire
fissile de
est la
place
une particule
tiques
de graphite
lesHTR
lments.
Ces lments,
placs
lintrieur
cuve,dans
forment
le cur.TRISO
(Figure 1). Ces particules sont ensuite disperses dans une matrice cylindrique en graphite : le compact. Les compact
Les lments possdent aussi des canaux pour laisser circuler lhlium et refroidir le cur, et un
sont insrs dans des blocks prismatiques de graphite : les lments. Ces lments, placs lintrieur de la cuve,
trou de
prhension
pourpossdent
le manipuler.
forment
le cur.
Les lments
aussi des canaux pour laisser circuler lhlium et refroidir le cur, et un trou
de prhension pour le manipuler.
Page 5 sur 43
1000C. Cette haute temprature permet de concevoir de multiples applications pour ce racteur. La produ
dlectricit ne sera srement pas sa seule utilisation. Cette haute temprature pourra tre utilise dans des raffin
du racteur
GT-MHR (futur carburant), pour le chauffage, pour dsaliniser leau de me
des cimenteries,1.3.
laProprits
production
de dihydrogne
Pour la production dlectricit, le HTR peut tre soit cycle direct avec une turbine gaz (une fo
problmes de matriaux
sur lacar
turbine
rsolus),
soitunrendement
un cycle indirect
avec la vaporisation
leau, comme da
est celle choisie,
elle permet
davoir
de 47% (seulement
35% pour les de
REP).
REP. La premire option est celle choisie, car elle permet davoir un rendement de 47% ( comparer au 35%
REP).
1.3.2
La sret
La sretLaestsret
un point marquant sur la conception du GT-MHR. Ce racteur est dit stable naturellement
lextrme ne ncessiterait pas lintervention de lhomme pour le pilotage (mme en cas daccident). Voici ces p
marquants :
Ce racteur GT-MHR est stable naturellement et lextrme ne ncessiterait pas lintervention
9 Faible densit
lhomme pour
le pilotage (mme
en cas daccident). Les points principaux qui font de ce
9 deCoefficient
de temprature
ngatif
un racteur
se rsument
en : dans les particules TRISO
9 racteur
Confinement
des sr,
produits
de fission
9 Caloporteur
neutre
et sans changement de phase : fini les problmes dbullition comme dan
faible densit
;
REP. coefficient de temprature ngatif ;
9 La
salle des machines et le racteur sont placs dans des bouteilles (Figure 3) : cela constitu
confinement des produits de fission dans les particules TRISO ;
autre enceinte protectrice
caloporteur neutre et sans changement de phase : fini les problmes dbullition comme
9 Cur rfractaire
dans les REP ;
la salle des machines et le racteur sont placs dans des bouteilles (voir la figure 1.4) :
cela constitue une autre enceinte protectrice ;
cur rfractaire : ne fond pas mme haute temprature.
Les paramtres de conception du cur GT-MHR (dimension du cur, gomtrie annulaire et
densit de puissance) rpondent un objectif de sret passive lors du transitoire accidentel de
perte totale de rfrigrant. La densit de puissance moyenne (6.6 MW/m3 dans la zone annulaire
combustible) est directement lie la temprature maximale de la particule ne pas dpasser
lors de ce transitoire (1600 C).
Page 7 sur 4
1mm
Particule combustible HTR
Compact
combustible
F IG . 1.5: Particule
combustible
\
Compact combustible
1cm
1cm
lment combustible
lment combustible
\
Dans ce travail, nous nous sommes intress principalement la troisime tape du premier
type dhomognisation : homognisation en milieu priodique dun problme de transfert
conductif et radiatif dans le cur du racteur en supposant que ce dernier est constitu de deux
phases principales solide/fluide.
36 cm
36 cm
9
compacts poisons et de canaux de refroidissement dhlium uniformment rpartis sur une matrice de graphite [Figure
6] et ventuellement des cavits dinsertion de barres de contrle.
1.5. chelles despace
Lhomognisation de lassemblage combustible a pour but de dfinir une proprit homogne pour simplifier et
rduire les cots les calculs thermohydraulique lchelle du cur.
Compact combustible
Modrateur graphite
Canal dhlium
La premire tape de lhomognisation de lassemblage consiste diluer les compacts combustibles et les compacts
poisons dans la matrice graphite. Etant donn que le nombre de compacts poisons est relativement faible devant le
nombre 1.5
de compacts
combustibles
(moins de 8%) (Figure 6), nous considrerons que les conductivits de tous les
chelles
despace
compacts sont gales et valent celle du compact combustible dfinie au paragraphe prcdent (3.5).
Les modles
utiliss
dans
notresoit
tude
pour
zone cur
dcomposent
celle-ciNous
en deux
La conductivit
quivalente
peut tre
calcule
laide
de la
modles
analytiques
soit numriques.
choisissons de
conserverphases,
le mme
modle
analytique
de
Maxwell
utilis
pour
lhomognisation
des
compacts
(3.6).
Ce
une phase solide (matrice de graphite et combustible) et une phase gazeuse (canaux). choix a t
valid par une mthode numrique qui consiste calculer la conductivit quivalente du milieu solide dans lassemblage
en utilisant la dfinition de la conductivit (flux de chaleur entre deux surfaces divis par la distance entre les deux
surfaces et la diffrence de temprature).
assemblage = m
2(i m )fi + i + 2m
(m i )fi + i + 2m
i = compact
F IG . 1.8: Une coupe 2D du cur, le cur contient 10 niveaux de 102 cellules combustibles (cellules
rouges). Chaque cellule est constitue de 10 lments combustibles
10
(3.6)
canal dhlium
F IG . 1.9: Une coupe 2D dun lment combustible, les trous blancs reprsentent les canaux dhlium.
on se retrouve avec des modles o les coefficients sont rapidement oscillants. Dun point de vue
numrique la simulation de tels modles exige un maillage trs fin (dont le pas serait au moins
plus petit que le diamtre des canaux). Ceci demanderait des capacits de calcul (encombrement et temps calcul) inenvisageable. Or, dans la plupart des cas, seul le comportement global
(ou macroscopique) du milieu nous intresse. On cherche donc considrer le cur comme un
milieu homogne quivalent o le gaz et le solide sont mlangs.
Le coeur ayant un diamtre de 6.5 m et les canaux dhelium ayant un diamtre de 16 10-3 m,
deux chelles despace seront distinguer lors dune modlisation ayant lieu dans le cur et
impliquant les canaux dhelium (voir la figures 1.8 et la figure 1.9). Ceci est possible grce la
mise au point dune mthode dhomognisation. En effet, lhomognisation nous permettra
dtablir un comportement macroscopique (comportement global lechelle du cur) qui tient
compte du comportement microscopique (comportement local au niveau des canaux dhelium). Les calculs se trouveront alors simplifis ce qui permettra de rduire la mmoire et les
temps CPU et apporter par la suite des rponses rapides concernant la dtermination du maximum de temprature par exemple, ce qui est une condition impose par la sret.
11
Chapitre
Introduction la mthode
dhomognisation
Nous prsentons ci-dessous les notions les plus gnrales concernant la mthode dhomognisation. Nous prsentons ensuite la mthode de convergence deux chelles qui sert justifier la
mthode dun point de vue mathmatique. On prsentera en parallle, en guise dillustration, lhomognisation dun problme de conduction avec des conditions aux limites type Dirichlet, ayant
lieu dans un milieu priodique et on tablira rigoureusement son homognisation via la convergence deux chelles.
Sommaire
2.1 Mthodes asymptotiques
13
14
2.2.1 Motivation
14
15
2.2.3 Gomtrie
15
16
21
21
22
23
23
25
13
2.2.1 Motivation
On a vu prcdemment que les coefficients de conductivit sont rapidement oscillants cause
des deux constituants trs diffrents du milieu considr (solide/gaz). Au niveau de la rsolution
numrique, ceci impose un maillage assez fin (pas du maillage infrieur la priode de lhtrognit ) pour pouvoir prendre en compte les proprits des deux milieux. Ceci nest pas
faisable en pratique car cela rend la rsolution du problme trs coteuse voire impossible. La
priode tant assez petite, nous procdons par une tude asymptotique du problme quand
tend vers 0. Une homognisation du problme permettra dobtenir une quation o les coefficients noscillent pas et dont la solution est assez proche de celle de lquation dorigine. Ainsi
le problme obtenu sera appel problme homognis et ses coefficients seront dits coefficients homogniss ou effectifs du domaine dtude considr. Contrairement au problme
dorigine, le problme homognis sera rsolu numriquement sur un maillage grossier.
Lhomognisation est une version rigoureuse du processus de la moyenne qui consiste extraire les paramtres effectifs (ou moyens) dun milieu htrogne. Autrement dit, tablir une
analyse asymptotique pour aboutir une formulation moyenne du problme tudi. Dans ce
contexte, deux chelles entrent en jeu, une chelle microscopique (y = x/ variable rapide, o
est un paramtre gomtrique li la priode des htrognits) dans laquelle sont, gnralement, tablies les quations aux drives partielles dcrivant le phnomne physique ; et une
14
chelle macroscopique (x, variable lente) o sont tablies les quations homognises.
Une homognisation classique peut se faire en deux temps : dabord la modlisation du comportement macroscopique par des quations homognises (ou effectives) obtenues partir
du modle microscopique grce un dveloppement asymptotique formel, puis une tude rigoureuse de la convergence de la suite de solutions des problmes obtenues pour un dcroissant vers 0, vers la solution du problme homognis.
2.2.3 Gomtrie
Soit un ouvert born de Rd (d = 2 ou 3 dans les applications). On dcompose en N () celQ
lules lmentaires toutes gales une translation prs Y = di=1 (0, ). On note par la priode
du domaine, d =
mes()
N () (1 + o(1)).
On considre galement un milieu perfor obtenu partir de auquel on retire une collection de trous identiques (les canaux) de manire priodique (voir la figure 2.1). Ces perforations
sont prsentes en nombre N () et notes (k )k=1,...,N () .
Pour simplifier ltude, on se ramne par un changement de variable de Y une cellule lQ
mentaire unitaire quon note Y = di=1 (0, 1). On dsigne par Y , la cellule Y prive de , o
dsigne la perforation contenue dans Y . On note le bord de . Si on dsigne par t k une translation de (k 1 , ..., k d ) si la cellule considre Yk est situe la k ime position suivant la direction
i despace considre, on peut crire
Yk = t k + Y
et
k = t k + .
On fait lhypothse que si une cellule de priodicit coupe le bord de alors elle ne contient
pas de trou. Faire cette hypothse vite que les trous coupent le bord de et garantit galement
15
La priodicit du domaine est trs utile et utilise pour lhomognisation des phnomnes
qui peuvent y avoir lieu. La notion de priodicit par cellule (une fonction la satisfaisant sera
dite Y -priodique) sera donc assez rcurrente dans ce travail, do la dfinition suivante :
D FINITION 2.2.1:
Soit une cellule Y =
Qd
i {1, ..., d }.
(2.1)
Nous rappelons ci-dessous un lemme quon peut trouver par exemple dans Sanchez-Hubert et
Sanchez-Palencia [88] et que nous utiliserons souvent pour prouver lexistence de solutions dun
certain type de problme.
L EMME 2.2.2:
Soit f L 2# (Y ) une fonction Y -priodique et K une matrice Y -priodique, symtrique, coercive
et borne (en norme L ) de Rd d , alors le problme
(
div y K(y) y i
=
f
y
dans Y
admet
une unique solution ( une constante prs) dans H#1 (Y )/R si et seulement si
Z
f (y)d y = 0. Cette condition est dite alternative de Fredholm.
Y
16
Position du Problme
On veut rsoudre le problme suivant : trouver la temprature T solution de
div K x T = f
T = 0
dans ,
sur .
(2.2)
On note que K est la matrice de conductivit suppose symtrique, coercive et borne (en norme
L ). Il existe donc deux constantes positives 0 < telles que
v Rd
|v|2
d
X
Ki , j (y)v i v j |v|2
x .
(2.3)
i , j =1
(2.4)
Lcriture sous cette forme nous permet de voir clairement que le tenseur de conductivit K est
Y -priodique.
K (x) est le coefficient de conductivit en un point x. Si on suppose que le domaine est compos de deux milieux priodiquement rpartis de conductivit assez diffrente, K (x) prend la
valeur de la conductivit du milieu o se trouve x. Les coefficients de conductivit changent
quand x change dune valeur de lordre de la priode . On en conclut que la fonction K (x)
oscille rapidement puisque la priode est trs petite.
Dveloppement asymptotique
Le problme homognis sobtient de manire classique, comme on peut le trouver dans la
plupart des ouvrages consacrs lhomognisation et dont on cite quelques uns Allaire [6]; Bakhvalov et Panasenko [17]; Bensoussan et al. [23]; Bergman et al. [24]; Cioranescu et Donato
[32]; Lions [70, 72]; Murat et Tartar [80]; Oleinik et al. [85]; Sanchez-Hubert et Sanchez-Palencia
x
i Ti x,
i =0
(2.5)
avec Ti (x, y) des fonctions dfinies sur Y et Y -priodiques. On note galement que
x
x
Ti x,
= (x Ti + 1 y Ti ) x,
(2.6)
x
div x,
= (divx + 1 div y ) x, .
(2.7)
17
Dans le problme (2.2), en remplaant T par son dveloppement asymptotique (2.5), on obtient
une srie en , gale au terme source f :
2 div y K(y) y T0 (x, y)
(2.8)
i =1
= f (x)
En identifiant suivant les puissances de , on obtient une cascade dquations. Dans cet
exemple dtude nous ne nous intresserons pas aux quations au del de lordre 0 (en 0 ) et ce
sera le cas galement pour les travaux prsents plus loin. En fait, dans notre contexte dtude,
une approximation lordre 1 de linconnue est suffisante car dans la plupart des cas le para-
mtre est assez petit et la contribution des termes en i , i 2 peut tre ngligeable. On note
par contre, quil est important de considrer le terme en car il intervient dans le calcul du gradient vu que le terme en : T1 (x, y) dpend des deux variables, macroscopique et microscopique
x et y et que ses drives partielles par rapport y seront en 1 .
Ainsi, la premire quation rsoudre est donne par :
(2.9)
cest un problme en la variable y pos dans la cellule Y avec des conditions aux bords priodiques et o la variable x joue le rle dun paramtre. Par application du lemme 2.2.2 on obtient
que le premier terme du dveloppement asymptotique T0 ne dpend que de la variable macroscopique. Ce terme dcrit donc le comportement macroscopique de la solution et ne voit pas
les effets de la microstructure. Il existe donc une fonction T (x) telle que :
T0 (x, y) = T (x).
(2.10)
(2.11)
(2.12)
Le problme pos en T1 est un problme en la variable y pos dans la cellule Y avec des conditions aux bords priodiques et o la variable x joue le rle dun paramtre. La connaissance de
18
T (x) permettra donc de rsoudre cette quation en y et donc de calculer T1 (x, y) une constante
dpendant de x prs. T1 est alors donne par
T1 (x, y) =
d T
X
(x)i (y)
i =1 x i
(2.13)
o les (i (y))i =1,..,d , dits problmes de cellule, sont des problmes rsolus dans la microstructure
Y . Ils sont au nombre de la dimension de lespace.
La troisime quation rsoudre est donne par
div y K(y) y T2 (x, y) = div y K(y)x T1 + divx K(y)(x T (x) + y T1 (x, y)) + f (x);
(2.14)
cette quation a donc pour inconnue T2 (x, y). Cette quation nadmet une solution priodique
que si elle satisfait une condition de compatibilit (voir lemme 2.2.2 page 16). Or on a, en
appliquant la formule de Green et en tenant compte de la Y -priodicit de K et de T2 :
Z
Z
(2.15)
ce qui implique que le terme de droite de (2.14) est galement de moyenne nulle sur la cellule
unitaire Y . Ainsi on a ncessairement
Z
Z
(2.16)
Z
1
K(y)(x T (x) + y T1 (x, y))d y = f (x).
divx
mes(Y ) Y
(2.17)
Problmes de cellule
On note par (e i )i =1,...,d les vecteurs de la base canonique, on introduit des problmes (de
conduction dans ce cas) poss au niveau de la cellule et dits problmes de cellule qui sont dans
ce cas donns par
(
div y (K(e i + y i ))
y
dans Y ,
(2.18)
Ces problmes sont bien poss. En effet, le lemme 2.2.2 page 16 le confirme.
Problme homognis
Il sagit de (2.17) qui se rcrit
(
div(K T ) =
T
dans ,
= 0 sur .
(2.19)
On note que K est la matrice de conductivit homognise, ses coefficients sont donns par
Z
1
Ki , j =
K(e i + y i ) (e j + y j )d y,
mes(Y ) Y
o les i sont les solutions des problmes de cellule et e i sont les vecteurs de la base canonique
de Rd .
19
R EMARQUE 2.1. On remarque que dans ce cas le problme homognis est aussi un problme
de conduction. La loi de comportement microscopique (problme en ) a t donc conserve
lors de lhomognisation du problme. On note que le modle homognis nest pas toujours
de la mme nature. Cest ce quon peut constater dans le cas des solides micro-fissurs ou des
coulements fluides dans les milieux poreux. On cite en guise dexemple que lhomognisation
des quations de Stokes peut mener aux quations de Darcy (voir Allaire [2]).
Z
Z
1
1
1
K (y)d y
K
K(y)d y .
mes(Y ) Y
mes(Y ) Y
(2.20)
Cette relation montre que K , la matrice de conductivit homognise, est aussi coercive et borne. Nous rappelons ci-dessous les principales tapes de la dmonstration et nous renvoyons
vers Allaire [6] pour une dmonstration plus dtaille. On remarque dabord que la connaissance de la forme quadratique K , o est un vecteur constant de Rd , nous fournit celle des
coefficients de K (si K est symtrique). Et on a
Z
1
K =
K (y)( + y ).( + y )d y,
mes(Y ) Y
o est la solution du problme de cellule suivant
(
div y (K( + y )) = 0
dans Y ,
y
1
mes(Y )
Z
Y
1
min
mes(Y ) (y)H#1 (Y )
K(y)( + y ).( + y )d y.
Z
Y
K(y)( + y ).( + y )d y.
Z
1
K(y)d y .
K
mes(Y ) Y
Dautre part, en remarquant que H#1 (Y ) la moyenne sur Y de est gale 0. On pose :
Z
V = u L 2# (Y )d /
u(y)d y = 0 ;
Y
on peut crire
Z
1
min
K(y)( + u(y)).( + u(y))d y.
mes(Y ) u(y)V Y
En calculant ce minimum (terme de droite), on trouve la borne infrieure de K dans (2.20),
K
20
On commence dabord par dfinir quelques espaces o peuvent se trouver les fonctions utilises.
D FINITION 2.3.1:
C # (Y ) est lespace des fonctions infiniment diffrentiables, Y -priodiques,
L 2# (Y ) est le complt par rapport la norme L 2 (Y ) de lespace C # (Y ),
H#1 (Y ) est le complt par rapport la norme H 1 (Y ) de lespace C # (Y ),
une fonction de L 2 (;C # (Y )) est une fonction mesurable de carr sommable en x
valeurs dans lespace de Banach des fonctions continues, Y -priodique en y,
une fonction de L 2 (; H#1 (Y )/R) est une fonction de L 2 () en x valeurs dans H 1 (Y ),
Y -priodique et dfinie une constante prs.
Dans ce qui suit lindice dsigne une suite dlments positifs qui tend vers 0. On rappelle
ci-dessous des rsultats classiques quon peut trouver dans Allaire [5] et Allaire et al. [10].
T HORME 2.3.2:
Soit u une suite borne de L 2 (). Il existe une sous-suite, note u galement, et une fonction
u 0 (x, y) L 2 ( Y ) telle que, pour toute fonction (x, y) L 2 (;C # (Y )) et Y -priodique en y,
on a
Z Z
x
1
u (x) x, d x =
u 0 (x, y)(x, y)d xd y.
0
mes(Y ) Y
On dit alors que u converge deux chelles vers u 0 .
Z
lim
(2.21)
P ROPOSITION 2.3.3:
Soit u une suite borne de H 1 (). Alors u converge deux chelles, une sous-suite prs,
vers une fonction u(x) H 1 () et il existe une fonction u 1 (x, y) L 2 (; H#1 (Y )/R) telle que u
converge deux chelles vers u(x) + y u 1 (x, y).
On note par le bord de lensemble des perforations contenues dans
!
M
[
k
=
.
(2.22)
k=1
Dans le cas de fonctions dfinies sur L 2 ( ), ce rsultat peut tre gnralis par la proposition
suivante
21
| u (x) |2 d (x) C .
(2.23)
Il existe alors une sous-suite note galement u et u 0 L 2 (; L 2 ()) telle que u (x) converge
deux chelles vers u 0 (x, y) dans le sens
Z Z
Z
x
1
u 0 (x, y)(x, y)d xd (y)
lim
u (x) x, d x =
0
mes(Y )
(2.24)
P ROPOSITION 2.3.5:
Soit u une suite de H 1 () telle que
ku kL 2 () + ku kL 2 () C .
La trace de u sur satisfait alors lestimation
Z
2
| u (x) | d (x) C
(2.25)
(2.26)
et u converge deux-chelles une sous-suite prs vers la trace sur le bord de u 0 (x, y), o u 0
est la limite deux-chelles usuelle appartenant L 2 (; H#1 (Y )), et on a
Z Z
Z
x
1
u 0 (x, y)(x, y)d xd (y),
u (x) x, d (x) =
lim
0
mes(Y )
Z
Z
Z
x
1
u 0 (x, y)(x, y)d xd y,
lim u (x) x, d x =
0
mes(Y ) Y
Z
Z
Z
x
1
lim u (x) x, d x =
y u 0 (x, y) (x, y)d xd y,
0
mes(Y
) Y
(2.27)
pour toute fonction (x, y) L 2 (;C # (Y )) et toute fonction (x, y) (L 2 (;C # (Y )))d .
Pour la dmonstration de ces rsultats on se rfre Allaire [5] et Allaire et al. [10].
R EMARQUE 2.3. Nous donnons ici quelques liens entre la convergence forte et faible et la
convergence deux chelles ainsi que quelques exemples de convergence deux chelles.
La convergence forte implique la convergence deux chelles.
Pour toute fonction rgulire (x, y), la suite associe x, x converge deux chelles vers
(x, y).
Une suite T dfinie par un dveloppement asymptotique sous la forme :
x
x
P
i
T (x) =
T
x,
o
les
fonctions
T
x, sont rgulires et Y -priodiques, converge
i
i
i =0
deux chelles vers T0 le premier terme de son dveloppement asymptotique. La convergence deux chelles justifie donc lexistence du premier terme du dveloppement asymptotique.
22
(2.28)
P REUVE .
En effet, en crivant la formulation variationnelle du problme (2.2) et en choisissant pour fonction test la solution T , on trouve
kT k2L 2 ()
1
k f kL 2 () kT kL 2 () .
En rappelant que
P REUVE .
Daprs le lemme 2.3.6, on sait que T est borne dans H01 (), donc daprs la proposition
2.3.3, il existe deux fonctions T (x) de H01 () et T1 (x, y) de L 2 (; H#1 (Y )/R) telles que, une
sous-suite prs, T converge deux chelles vers T (x) et T converge deux chelles vers
T (x) + y T1 (x, y). Ceci suggre que la solution T se comporte comme T (x) + T1 (x, y). Si on
crit la formulation variationnelle du problme (2.2) en choisissant pour fonction test (x) =
(x) + 1 (x, y), o ((x), 1 (x, y)) D() D(;C # (Y )), on obtient :
Z
x
T K (x) (x) + y 1 x,
dx =
f (x)(x)d x + O().
(2.29)
1
K(y) T + y T1 (x, y) (x) + y 1 (x, y) d xd y =
f (x)(x).
mes(Y ) Y
(2.30)
23
(2.31)
Vu la densit de D() D(;C # (Y )) dans V , la relation (2.30) reste vrai pour (, 1 ) dans
V = H01 () L 2 (; H#1 (Y )). Au final on trouve donc une formulation variationnelle en (T, T1 ).
On vrifie que la forme bilinaire associe a est coercive, en effet :
Z Z
a(T, T1 ) =
K(y)(T (x) + y T1 (x, y)) T (x) + y T1 (x, y) d xd y
Y
k(T, T1 )kV2 .
Les conditions du lemme de Lax-Milgramm sont donc vrifies, il existe alors une unique solution (T, T1 ) V dun problme dont la formulation variationnelle est (2.30). Et par consquent
les suites (T ) et (T ) convergent entirement et non une sous-suite prs vers leurs limites
= 0,
Z
= mes(Y )
f (x)(x).
divx
K(y) T (x) + y T1 (x, y) d y
=
T =
y
7
dans Y ,
sur ,
T1 (x, y) est
Y priodique.
(2.32)
div
K(y)(
T
(x)
+
T
(x,
y))d
y
= mes(Y ) f (x) dans
x
x
y 1
Y
T = 0
sur
et
(
dans Y
P ROPOSITION 2.3.8:
Si la fonction T (x) est rgulire, alors on a
H0 ()
24
Z
x 2
T (x) T (x) y T1 x, d x
x
x
K(y) T (x) T (x) y T1 x,
T (x) T (x) y T1 x,
Z
Z
x
x
=
f (x)T (x) + K(y) T (x) + y T1 x,
T (x) + y T1 x,
x
.
2 K(y)T (x) T (x) + y T1 x,
(2.33)
En considrant T + y T1 comme une fonction test admissible, on peut passer la limite deux
x
d T
X
(x)i
.
i =1 x i
(2.34)
x
d T
X
i
est dit terme de correction. On voit bien que pour un trs petit, ce
i =1 x i
terme sera ngligeable (selon la prcision vise). Ce nest absolument pas le cas si on sintresse
Le terme
plutt au gradient de la solution (par exemple flux de temprature . . . ) car dans ce cas le terme
de correction devient du mme ordre que le gradient du champ homognis :
T (x) ' T (x) +
x
d T
X
(x) y i
.
i =1 x i
(2.35)
Estimation derreur : On donne ci-dessous un rsultat dmontr par Bensoussan et al. [23].
T HORME 2.4.1:
Soit T et T les solutions uniques des problmes (2.2) et (2.19) respectivement. Alors T converge
faiblement vers T dans H01 () et si T W 2, (), alors
x
p
C ,
T T (x) T1 x,
H 1 ()
o C est une constante indpendante de et T1 est donne par (2.13).
x
d T
X
(x) y i
T (x) T (x)
2 C .
L ()
x
i
i =1
(2.36)
R EMARQUE 2.4. Le long de ce travail et pour chaque homognisation considre nous verrons
que le dveloppement asymptotique deux chelles de linconnue (ici la temprature) aura toujours son premier terme indpendant de la variable microscopique.
25
Chapitre
modlisation
Nous commenons par parler de manire gnrale des modes de transfert dnergie dont il sera
question dans ce travail. Nous dtaillons ensuite le mode qui nous intresse principalement et qui
est le transfert dnergie par rayonnement thermique. A la fin du chapitre nous dressons un bilan
des diffrents modles qui seront homogniss et simuls au moyen de CAST3M le long de cette
tude.
Sommaire
3.1 Modes de transfert dnergie
3.1.1 Conduction
3.1.2 Convection
3.2 Rayonnement thermique
3.2.1 Paramtres et hypothses physiques
27
28
28
29
30
31
33
35
35
3.4.1 Conduction-convection
36
36
36
37
27
renvoyons pour plus dinformations des rfrences classiques , qui sont assez nombreuses,
on se contente den citer Bejan [19]; Bejan et Kraus [21]; Hartnett et al. [55]; Incropera et DeWitt [56, 57]; Janna [60]; Kaviany [61]; Leleu [66]; Moran et al. [79]; Naterer [82]; Taine et Petit
[96]; Welty et al. [106]. On renvoie galement des documents trs intressants quon pourrait
trouver en version lectronique sur des sites web tels que J. H. Lienhard [59] et Techniques de
lingnieur [102].
3.1.1 Conduction
Comme le montre la figure 3.1, quand on est en prsence dun gradient de temprature dans
un milieu stationnaire (fluide ou solide), le transfert dnergie qui aura lieu alors travers ce milieu (allant dans la direction des tempratures dcroissantes) est dsign par le terme conduc-
tion.
F IG . 3.1: Conduction
3.1.2 Convection
Dans le cas dun change de chaleur entre un fluide en mouvement de temprature T f et
une surface de temprature T s comme le montre la figure 3.2, le transfert dnergie se fait par
convection. La convection est une combinaison des effets dus la conduction et au mouvement
28
F IG . 3.2: Convection
macroscopique du fluide. Le flux dnergie est donn dans ce cas par la loi de Newton pour les
coulements :
q = h(T T f ),
o h est le coefficient dchange. Pour plus dinformations sur ce mode de transfert dnergie,
on renvoie le lecteur vers Bejan [20]; Giblin [52]; Janna [60]; Kays et Crawford [62].
R EMARQUE 3.1. On note que K et h peuvent dpendre de la temprature. Pour la conduction et
la convection, les taux de transfert dnergie sont linairement proportionnels aux diffrences
des tempratures. En gnral les taux de transferts dnergie par rayonnement sont proportionnels aux diffrences des puissances quatres (ou plus) des tempratures. En dsignant par
loprateur diffrence, on a :
q T 4
o T dsigne la temprature.
29
du vide. Lexpression de la densit du flux rayonn varie selon quil sagit de rayonnement avec
un milieu infini, de rayonnement face face ou de rayonnement en cavit. Elle sobtient en
utilisant la mthode des clairement-radiosit qui effectue un bilan dnergie radiative sur les
surfaces rayonnantes. Nous nintroduisons ici que les modes de rayonnement considrs dans
les modles tudis. De plus amples informations sur le transfert dnergie par rayonnement
peuvent tre trouves dans les rfrences suivantes : Brewster [25]; Chandrasekhar [29]; Edwards
[43]; Fermi [44]; cole dt [54]; Incropera et DeWitt [56]; Modest [78]; Planck [86]; Siegel et
Howell [90]; Soloukhin [91]; Sparrow [94]; Taine [95]; Tamonis et Zukauskas [97]. . .
F IG . 3.3: Rayonnement
Corps noir Avant de parler de rayonnement entre surfaces, on doit dabord expliquer le
concept du corps noir. Le corps noir est une surface idale ayant les trois proprits suivantes :
le corps noir absorbe tout rayonnement incident indpendamment de la longueur donde
et de la direction de ce rayonnement ;
tempratures gales, aucune autre surface ne peut mettre une nergie suprieure celle
mise par un corps noir. Le corps noir est donc un metteur idal qui rayonnerait un maximum dnergie chaque temprature et pour chaque longueur donde ;
le rayonnement mis par un corps noir est fonction de la longueur donde et de la temprature mais indpendant de la direction. On dit que le corps noir est un metteur diffusant.
30
Corps gris et diffusant En pratique, le flux mis par un corps est infrieur celui quon vient
de dfinir. En fait, il faut tenir compte de lmissivit e de la surface. Lmissivit est une proprit
de la surface rayonnante, elle indique le taux dmission de la surface compar celui du corps
noir (dmissivit gale 1) tempratures gales. On a donc :
q = e T 4 .
(3.1)
Lmissivit des substances varie avec la longueur donde, la direction dmission et la temprature de surface.
Ainsi, un corps est dit :
gris si son missivit est indpendante de la longueur donde,
mission diffuse si son missivit est indpendante de la direction dmission,
gris et diffusant si son missivit est indpendante de la longueur donde et de la direction
dmission.
On note donc que le comportement radiatif dune surface grise diffusante est identique quelle
Forme continue
On fait lhypothse que les surfaces considres sont convexes. Le cas chant on doit prendre
en compte non seulement les facteurs de forme mais galement les facteurs de visibilit.
Les facteurs de forme (cf. Modest [78]) ont un caractre purement gomtrique. En 2D, le
facteur de forme entre deux points distincts s et x dune surface rayonnante est dfini par
F (s, x) =
n x (s x)n s (x s)
.
2|x s|3
n x (s x)n s (x s)
,
|x s|4
(
v(s, x) =
0 si
sx 6= ;,
1 si
sx = ;.
31
R EMARQUE 3.3. Les facteurs de forme sont symtriques (relation de rciprocit) et la conservation dnergie pour une cavit ferme implique la relation suivante :
Z
F (s, x)d x = 1,
s .
(3.2)
Vu que les gomtries impliques dans le rayonnement peuvent tre assez complexes, Il nest
pas toujours facile de calculer de manire continue les facteurs de forme. On a alors recours
leur forme discrtise obtenue en dcomposant les surfaces considres en un nombre de
petites surfaces.
Le facteur de forme F i j entre la surface A i et A j (voir la figure 3.4) est donn par :
Z Z
cos i cos j
1
Fi j =
d Ai d A j .
A i Ai A j
R 2
32
R EMARQUE 3.5. On retrouve dans le cas discret les proprits de rciprocit et de sommation :
A i Fi j = A j F j i
N
X
relation de rciprocit,
(3.3)
(3.4)
j =1
Cette dernire relation (3.4) dcoule du fait que tout rayonnement quittant la surface i sera intercept par la surface de la cavit. On note quon suppose que F i i = 0 pour une surface convexe
ou plane. F i i , le facteur de forme de la surface A i avec elle mme, ne sera non nul que si A i est
une surface concave.
Pour une cavit comportant N surfaces, les facteurs de forme de nombre N 2 sont stocks dans
une matrice (N , N ) dite matrice de forme, donne par :
F 11
F 21
.
F = ..
.
..
F Ns 1
F 12
F 22
..
.
F Ns 2
...
..
.
..
.
..
.
...
...
F 1Ns
..
..
F 2Ns
..
.
..
.
...
F Ns Ns
R EMARQUE 3.6. En pratique nous ne calculons pas tous ces facteurs de forme dont le nombre
est N 2 , mais nous en calculons
N (N 1)
2
e e
4
(T 4 T
).
1 (1 e)(1 e )
e1 e2
(T14 T24 )
1 (1 e1 )(1 e2 )
(3.5)
et on a
2 = 1 .
(3.6)
33
Ra
yo
nn
e
Ra
me
nt
dio
s
mi
s
Rayonnement incident
it
Rayonnement rflchi
Rayonnement en cavit
On commence par distinguer deux densits de flux :
R est la radiosit, elle reprsente la densit de flux rayonn partant dun point donn
(somme des flux mis et rflchi).
R(x) = e T 4 (x) + (1 e)J (x).
Le terme e T 4 , e tant lmissivit du milieu variant entre 0 et 1, est le rayonnement donn
par la loi de Stefan-Boltzmann alors que (1 e)J est le rayonnement rflchi.
J est lclairement, il reprsente la densit de flux rayonn qui atteint le point considr.
Z
J (x) = F (x, x 0 )R(x 0 )d (x 0 )
(3.7)
o F (x, x ) est le facteur de forme (une quantit gomtrique) associ aux points x et x 0 de
la cavit. On constate donc que la radiosit R vrifie une quation intgrale.
La densit de flux rayonn change en un point de la cavit est donne par :
(x) = R(x) J (x).
On dfinit loprateur J de L p () dans L p () par :
Z
J()(x) = F (x, x 0 )(x 0 )d (x 0 ),
L p ().
On a bien alors :
J (x) = J(R)(x).
On dsigne par E loprateur qui consiste multiplier par lmissivit e et par Id loprateur
identit. La densit (x) peut facilement tre crite sous la forme suivante
(x) = ((Id J)(Id (Id E) J)1 E)(T 4 ).
34
Helium
Le problme qui se pose est assez complexe cause de la condition non linaire et non locale
de rayonnement entre surface grise diffusantes. Ainsi avant dtudier le problme global, nous
tudierons donc quelques problmes plus simples.
Nous commenons tout dabord par considrer une modlisation simplifie en remplaant la
condition de rayonnement par une condition linaire puis non linaire et locale en espace dans
les deux cas. Ensuite une modlisation avec un rayonnement entre parois dmissivit gale
lunit (dans ce cas, les parois des canaux sont supposes noires). Et la fin nous traitons le
problme initial : conduction-rayonnement face face entre parois grises diffusantes.
35
3.4.1 Conduction-convection
Le premier modle tudi est un problme de conduction-convection. On considre que le
transfert dnergie se fait par conduction dans le solide et par convection dans les canaux dhlium.
div(K T ) =
K T n
K T n
La convection dans le fluide nous fournit une condition aux bord crite pour une temprature
moyenne de lhlium note T tant une temprature constante, qui pourrait tre considre
comme une temprature moyenne de lhlium. Ce qui fait que la condition sur le bord des canaux peut tre vue comme une condition de convection o le coefficient dchange serait , la
constante de Stefan-Boltzman.
e e
4
4
) = (T 4 T
) car
(T 4 T
1 (1 e)(1 e )
div(K T ) = f
K T n
K T n
= (T
e = e = 1.
4
T
)
div(K T ) = f
K T n
36
K T n
div(K T ) = f
K T n
K T n
(3.8)
37
Chapitre
Sommaire
4.1 Position du Problme
40
42
43
44
46
48
48
51
51
52
55
56
56
59
60
60
63
66
71
39
F IG . 4.1: Une coupe 2D dun lment combustible, les trous blancs reprsentent les canaux dhlium.
mes()
N () (1 + o(1)).
Soit un milieu perfor obtenu partir de auquel on retire une collection de trous identiques (les canaux) de manire priodique (voir la figure 4.2). Ces perforations sont prsentes au
nombre M () et elle sont notes (k )k=1,...,M () .
R EMARQUE 4.1. On note qu partir de ce chapitre ainsi que dans ce qui suit, la prise en compte
de la gomtrie du cur du RCG entrane un choix particulier de la cellule de priodicit. Cette
cellule de priodicit ne contient pas un seul trou comme cela a t le cas dans lexemple de
gomtrie choisi pour introduire la mthode dhomognisation (cf. la section 2.2.4). Ainsi le
nombre de trous (canaux dhlium) M () nest pas identique au nombre de cellules N ().
Pour simplifier ltude, on se ramne par un changement de variable de Y une cellule lmentaire dont les longueurs caractristiques sont (`i )i =1,d . Cette cellule de rfrence est note
Q
Y = di=1 (0, `i ). On dsigne par Y , la cellule Y prive de , o dsigne les perforations contenues dans Y . On note par le bord de (voir la figure 4.3). Si on dsigne par t k une translation
de (k 1 `1 , ..., k d `d ) si la cellule considre Yk est situe la k ime position suivant la direction i
despace considre, on peut crire
Yk = t k + Y
40
et de mme
k = t k + .
On fait lhypothse que si une cellule de priodicit coupe le bord de alors elle ne contient
pas de trou. Faire cette hypothse vite que les trous coupent le bord de et garantit galement
quils soient une distance de lordre de du bord. Pour mieux comprendre la motivation pour
Y*
On a donc :
= \
M
()
[
k=1
!
k
= ,
o =
M
()
[
k=1
!
k
41
dans
div K T = f
x
K T n = g
sur
(4.1)
O f et g sont des termes sources et Ti n une temprature donne ; est la constante de StefanBoltzman ; K est la matrice de conductivit suppose symtrique, coercive et borne (en norme
L ). Il existe donc deux constantes positives 0 < telles que
v Rd
|v|2
d
X
Ki , j (y)v i v j |v|2
x .
(4.2)
i , j =1
(4.3)
(4.4)
On tudiera plus loin le problme non linaire. Dans le cas prsent, on suppose que
f L 2 (),
g L 2 () et Ti n H 1 ().
div(K T ) = f dans
K T n
42
K T n
sur
= (T Ti n ) sur .
(4.5)
R EMARQUE 4.3. Le problme linaire peut tre interprt comme modlisant le cas dun
change de chaleur par convection entre le solide et le gaz (o Ti n serait une temprature
moyenne du gaz) travers la paroi des canaux. Dans ce cas, le coefficient dchange est .
(4.7)
(4.8)
(4.6)
H 1 ( ),
g +
Ti n .
T HORME 4.2.1:
Il existe une unique solution T H 1 ( ) du problme (4.6).
P REUVE .
On montre lexistence et lunicit de la solution dune manire classique grce au lemme de
Lax-Milgram.
` est linaire et continue, en effet
|`()| k f kL 2 ( ) kkL 2 ( ) + kg kL 2 () kkL 2 () + kTi n kL 2 ( ) kkL 2 ( ) ;
(4.9)
(4.10)
(4.11)
C kT kH 1 ( ) kkH 1 ( ) ,
do la continuit, dautre part
Z
Z
a(, ) =
K +
2 kk2L 2 ( ) + kk2L 2 (
(4.12)
kk2H 1 ( )
43
H 1 ( )
P ( )| =
(4.13)
P ROPOSITION 4.2.3:
Soit T la solution du problme linaire, il existe une constante C indpendante de telle que :
kT kH 1 ( ) C
(4.14)
Pour tablir cette estimation a priori uniforme en , on a besoin dintroduire dabord les deux
lemmes qui suivent.
L EMME 4.2.4:
Il existe une constante C > 0, indpendante de , telle que H 1 ( ) on a
1/2 k kL 2 ( ) C k kH 1 ( ) .
(4.15)
P REUVE .
Par le thorme de trace crit dans la cellule lmentaire Y et vu que
Y = Y ,
(4.16)
(4.17)
On dsigne par ,i le bord des trous contenus entirement ou en partie dans une cellule Y,i de
. Si y alors y , on obtient donc par le changement de variable x = y
"
#
Z
Z
Z
2
1
2
2
d C
dx +
|| d x
,i
Y,i
et donc
,i
d C
"Z
Y,i
Y,i
dx +
Y,i
|| d x .
44
(4.18)
(4.19)
(4.20)
P REUVE .
On remarque quil suffit de montrer quil existe une constante C , positive et indpendante de
telle que
h
i
kk2L 2 (Y ) C kk2L 2 (Y ) + kk2L 2 ()
H 1 (Y )
(4.21)
Z
d x C 2
2
Y,i
Y,i
|| d x +
,i
d .
(4.22)
En sommant sur le nombre de cellules de et en tenant compte du fait que 0 < < 1, on trouve
h
i
kk2L 2 ( ) C kk2L 2 ( ) + kk2L 2 ( )
(4.23)
h
i
2
2
C kkL 2 ( ) + kkL 2 ( )
(4.24)
et donc
1
;
n
(4.25)
n est borne dans H 1 (Y ), elle converge donc faiblement, une sous-suite prs, vers une limite
H 1 (Y ). On a donc
n converge vers dans L 2 (Y ) fort,
n converge vers 0 dans L 2 (Y ) fort,
n converge vers 0 dans L 2 () fort.
On en conclut que = 0 dans Y et que est gale une constante qui vaut 0 sur le bord .
On peut alors crire
0 = lim kn k2L 2 (Y ) = 1
n
(4.26)
K T T +
T2 k f kL 2 ( ) kT kL 2 ( ) + kg kL 2 () kT kL 2 ()
+ kTi n kL 2 ( ) kT kL 2 ( ) .
(4.27)
45
(4.28)
(4.29)
convergence est donne plus loin (voir section 4.2.5 page 48).
Le problme homognis dans le cas linaire sobtient de manire classique (cf. Bensoussan
x
et al. [23], Bakhvalov et Panasenko [17]). On introduit dabord le systme de coordonnes x, .
x
La variable x est la variable macroscopique et , quon note y, est la variable microscopique. On
(4.30)
avec T j (x, y) des fonctions dfinies sur Y et Y -priodiques. On remplace dans (4.5) T par
son dveloppement asymptotique (4.30). Lidentification des puissances successives de , au
problme de dpart, nous mne rsoudre une srie de nouveaux problmes (pour plus de
dtails voir le chapitre 2 page 13), portant sur les T j (x, y). On trouve alors :
en 2 ,
(
dans Y
On montre comme dans la section 2.2.4 page 16 que le premier terme du dveloppement
asymptotique ne dpend que de la variable macroscopique, on a alors
T0 (x, y) = T (x).
La temprature moyenne ne dpend donc que de la variable macroscopique x ;
en 1 ,
div y (K y T1 )
K y T1 n
div y (K T ) dans Y
K T n
7 T1 (x, y)
sur
(4.31)
est Y-priodique.
Dune part, ce problme peut tre interprt comme ayant pour inconnue T1 (y), Y - priodique en y et dpendant du paramtre x. On a
Z
Z
Z
div y (K T ) =
K T n + K T n
Y
(4.32)
et le premier terme de droite dans (4.32) sannule vu que T est indpendante de y et K est
Y -priodique. La condition de compatibilit (ou dquilibre des sources), ncessaire pour
46
lexistence de la solution, est donc vrifie. Le problme admet alors une unique solution
dfinie une constante additive prs dpendant de x.
Dautre part, vu que T ne depend pas de la variable y, une sparation de variables nous
permet de ramener la rsolution de (4.31) la rsolution de d problmes de cellule :
div y (K(e i + y i ))
K(e i + y i ) n
dans Y ,
sur ,
(4.33)
d T
X
(x)i (y);
i =1 x i
(4.34)
en 0 ,
div y (K y T2 )
K y T2 n
K x T1 n + (T Ti n )
sur
7 T2 (x, y)
est Y-priodique.
(4.35)
Y
Z
f dans .
=
(4.36)
dans .
(4.37)
Ki , j =
K(e i + i ) (e j + j )d y,
Y
La condition aux limites est plus dlicate obtenir. Si on suit le dveloppement asymptotique
propos, on obtient
K(T + y T1 ) n = g
sur
g d y.
Y
47
(4.38)
Mais on a fait lhypothse quil ny a pas de trous sur le bord de (cf. figure 4.1). Le dveloppement asymptotique nest donc pas correct sur le bord. On verra dans la dmonstration de la
convergence que la bonne condition est plutt
K T n = mes(Y )g .
(4.39)
On note que si g est nulle sur le bord de , (4.38) et (4.39) sont quivalentes.
Le problme homognis est alors
(
div(K T ) + mes()(T Ti n ) = mes(Y ) f
K T n
= mes(Y )g
dans
sur
(4.40)
La rsolution du problme (4.40) donne la temprature moyenne T (x). On peut alors calculer le
premier terme correcteur T1 (x, y) et tudier lerreur entre T , solution de (4.5) et T (x)+T1 x, x .
`(),
H 1 ()
(4.42)
g + mes()
(4.41)
Ti n
(4.43)
L EMME 4.2.6:
Il existe une unique solution T H 1 () de (4.41).
P REUVE .
La matrice homognise K a la mme forme que la matrice obtenue dans le cas de lexemple
dillustration introduit plus haut (voir la section 2.2.4 page 16). Daprs la relation (2.20), K est,
comme K, coercive et borne. La forme bilinaire a est donc coercive alors le lemme de LaxMilgram implique lexistence et lunicit de la solution du problme homognis.
48
P REUVE .
On choisit une fonction test de la forme
(x) = (x) + 1 (x, x/).
(4.44)
f +
Ti n d +
g d .
(4.45)
(4.46)
En vertu de la proposition 2.3.3 page 21 (cf. Allaire [5] et Allaire et al. [10]) il existe un couple de
fonctions (T (x), T1 (x, y)) H 1 () L 2 (; H#1 (Y )/R) tel que, pour une sous-suite, T converge
deux chelles vers (y)T (x) et T converge deux chelles vers (y)(x T + y T1 (x, y)). On
a alors en tenant galement compte de la proposition 2.3.5 page 22 pour le passage la limite
dans les termes de bord
Z
lim
K T =
0
1
mes(Y )
Z Z
Y
1
lim
T (x) (x)d (x) =
0
mes(Y )
Z
lim
lim
Z
lim
mes(Y )
f (x) (x) =
mes(Y )
mes()
T (x)(x)d xd (y) =
mes(Y )
T (x)(x)d x,
f (x)(x)d x,
mes()
mes(Y )
Ti n (x)(x)d x
et
g (x)(x)d (x).
Z
Z
En choisissant = 0 on trouve
Z Z
K(T (x) + y T1 (x, y)) y 1 (x)d xd y = 0
Y
(4.48)
49
K T n
7 T1 (x, y)
sur ,
est Y-priodique,
X T
(x), i (y)
i x i
(4.49)
Z
Z
En remplaant T1 par (4.49), on retrouve la formulation variationnelle du problme homognis (4.40) (cf. 4.2.3). Comme le problme homognis (4.40) admet une unique solution T , T1 aussi est unique et par consquent toute la suite T converge vers T (et T vers
T + y T1 ).
R EMARQUE 4.5. La condition aux limites est obtenue partir de la formulation variationnelle
du problme homognis. Elle coincide avec (4.39) et pas avec celle que lont pourrait obtenir
en faisant un dveloppement asymptotique naf.
T HORME 4.2.8:
On a galement la convergence deux chelles forte de T vers T et de T vers T + y T1 :
= 0,
(4.50)
lim T (x) T (x) + y T1 x,
L 2 ( )
lim kT T kL 2 ( ) = 0.
(4.51)
P REUVE .
|T (T + y T1 )|
K (T (T + y T1 )) (T (T + y T1 )) =
Z
Z
Z
Z
= (T Ti n )T +
f T +
g T +
K (T + y T1 ) (T + y T1 )
Z
2
K T (T + y T1 ).
(4.52)
En passant la limite des deux cts et en remarquant que T + T1 est une fonction test admissible (grce lhypothse de rgularit de T1 ), on trouve
Z
Z
Z
2
Z
mes() (T Ti n )T = 0,
50
(4.53)
do (4.51).
ce type de modlisation dans CAST3M. On note galement que certaines procdures relatives
au processus dhomognisation on cite en guise dexemple la manire de reconstruire la
temprature (calcul des deux premiers termes du dveloppement asymptotique) ont t programmes au cours de cette tape. Certaines de ces procdures resteront exploitables galement
pour la simulation des autres modles homogniss le long de ce travail.
div(K T ) =
K T n
K T n
dans
sur
(T4 Ti4n )
sur
H YPOTHSE 4.1:
On suppose que
f L 2 (), f 0,
Ti n L (),
g L 2 (),
g 0,
Ti n Tmi n > 0.
W ( ) = H 1 ( )/| L 5 ( ) ,
Z
1/2 Z
1/5
kvkW ( ) =
|v|2 + |v|2
+
|v|5
.
P ROPOSITION 4.3.1:
Pour tout > 0 fix, k kW ( ) est quivalente la norme k k, dfinie par
Z
kvk =
|v|2
1/2
Z
+
|v|5
1/5
.
51
3 ,
(4.54)
1
.
n
(4.55)
Puisque v n est borne dans H 1 ( ), elle converge faiblement, une sous-suite prs, vers une
limite v H 1 ( ). On a donc
v n converge vers v dans L 2 ( ) fort,
v n converge vers 0 dans L 2 ( ) fort,
v n converge vers 0 dans L 5 ( ) fort.
On en conclut que v = 0 dans et que v est gale une constante qui vaut 0 sur le bord .
On peut alors crire
0 = lim kv n kL 2 ( ) = 1
n
ce qui est impossible. Il existe donc bien une constante 3 telle quon ait (4.54). On note que
trouver
T W ( ) telle que
Z
R
R
K T + (|T |3 T Ti4n ) = f + g ,
W ( )
(4.56)
Ce type de problme a t abord dans Delfour et al. [38] et lexistence et lunicit de la solution y sont tablies. En suivant un raisonnement similaire, on montre galement que notre
solution existe et est unique sous certaines hypothses.
P ROPOSITION 4.3.2:
Il existe une unique solution T W ( ) de (4.56) et on a
T Tmi n > 0.
52
(4.57)
(4.58)
W ( )
1
2
K +
1
( ||5 Ti4n )
5
g .
(4.59)
R EMARQUE 4.7. Cette proposition implique que la solution unique T de (4.56) est positive. Elle
est donc aussi solution du problme variationnel associ au problme non linaire (4.1), donne
par :
trouverZ T W ( ) telle
Z que Z
K T + (T4 Ti4n ) =
f +
g W ( ).
(4.60)
Rciproquement, toute solution positive de (4.60) est solution du problme (4.56). Le problme
non linaire (4.60) admet donc une unique solution positive.
L EMME 4.3.3:
La fonctionnelle J a les proprits suivantes
J est continue et convexe sur W ( ),
J est infinie linfini.
P REUVE .
Soit W ( ), on a
d J () =
K +
(||
Ti4n )
et donc
2
d J () (, ) =
K + 4
||3 2 0 W ( )
W ( ).
P REUVE ( DE LA P ROPOSITION 4.3.2).
On commence dabord par montrer que si ce problme admet une solution alors elle vrifie
(4.57). En prenant dans (4.56), = (T Tmi n ) = min(0, T Tmi n ) et en remarquant que
(
(T Tmi n ) =
si
T Tmi n ,
0 sinon.
53
On trouve
Z
Z
Z
g (T Tmi n ) .
=
f (T Tmi n ) +
et
Z
f (T Tmi n ) +
g (T Tmi n ) 0.
On a
(|T |3 T |Ti n |3 Ti n )(T Tmi n ) =(|T |3 T |Tmi n |3 Tmi n )(T Tmi n )
(4.61)
si T < Tmi n (c..d. (T Tmi n ) < 0) alors par monotonie de lapplication u |u|3 u , on
a
(|T |3 T |Tmi n |3 Tmi n )(T Tmi n ) 0,
dautre part u |u|3 u est croissante, donc
|Tmi n |3 Tmi n |Ti n |3 Ti n 0
car Ti n Tmi n .
Alors on a
(|T |3 T |Ti n |3 Ti n )(T Tmi n ) 0
et donc
Z
(4.62)
on a ainsi
Z
K (T Tmi n ) (T Tmi n ) = 0,
54
g = 0.
Qui nest rien dautre que la formulation variationnelle (4.56), laquelle admet donc T comme
solution. Il nous reste montrer lunicit. En effet, on a
Z
Z
d J ()( ) d J ()( ) =
K ( ) ( ) + (||3 ||3 )( ),
donc
d J ()( ) d J ()( ) k( )k2L 2 ( ) +
(||3 ||3 )( ).
(4.63)
Si on suppose quil existe deux solutions diffrentes u 1 et u 2 , alors il suffit de prendre dans (4.63)
= u 1 et = u 2 . Le terme de gauche de (4.63) est nul par optimalit ce qui implique que les
deux termes de droite de (4.63) sont nuls car positifs. Les deux solutions sont donc gales une
constante c prs : u 1 = u 2 + c et on a galement :
Z
(|u 1 |3 u 1 |u 1 + c|3 (u 1 + c))(u 1 (u 1 + c)) = 0,
ce qui implique que c = 0 car sinon cette intgrale sur serait strictement positive.
W ( )
unique solution T .
(4.64)
P REUVE .
En choisissant dans la formulation variationnelle (4.60), = T , on trouve
Z
Z
Z
Z
Z
K T T +
T5 =
f T +
g T +
Ti4n T ,
Z
Z
Ti4n T (max Ti n )3
Ti n T
et
Z
Z
3
T5 Tmi
T2 .
n
On a donc
3
2
kT k2L 2 ( ) + Tmi
n kT kL 2 ( ) k f kL 2 ( ) kT kL 2 ( ) + kg kL 2 () kT kL 2 ()
+(max Ti n )3 kTi n kL 2 ( ) kT kL 2 ( ) .
Les lemmes 4.2.4 et 4.2.2, appliqus Ti n , T et P (T ) respectivement, montrent chaque fois
lexistence dune constante C , positive et indpendante de telle que,
kTi n kL 2 ( ) kT kL 2 ( ) C kTi n kH 1 ( ) kT kH 1 ( )
et
kT kL 2 () C kT kH 1 ( )
et, en utilisant le lemme 4.2.4, il existe une constante C , positive et indpendante de , telle que
kT k2H 1 ( ) + kT k2L 2 ( ) C .
(4.65)
55
(4.66)
On montre de la mme manire que pour le problme linaire (voir section4.2.3) que le terme
T0 (x, y) ne dpend que de la variable macroscopique, il sera not T (x). Do, en levant (4.66)
la puissance 4 et en dveloppant, on trouve lapproximation suivante de T4
T4 (x) = T 4 (x) + 4T1 (x, y)T 3 (x) + O(2 ).
(4.67)
Les tapes suivantes sont les mmes que pour le cas linaire. On obtient donc, en identifiant les
puissances de aprs avoir inject le dveloppement asymptotique dans le problme,
en 1 ,
div y (K y T1 )
K y T1 n
div y (K T ) dans Y ,
K T n
7 T1 (x, y)
sur ,
(4.68)
est Y-priodique.
Les problmes de cellules, dans ce cas, sont les mmes que pour le problme linaire et sont
donns par 4.33 page 47 ;
en 0 ,
div y (K y T2 )
(K y T2 ) n
(K x T1 ) n + (T 4 Ti4n )
sur ,
7 T2 (x, y)
est Y-priodique.
(4.69)
4
4
f.
= mes(Y )g
(4.70)
sur .
(4.71)
56
Pour dmontrer ce thorme on dmontre dabord les deux lemmes donns ci-dessous.
L EMME 4.3.6:
Soit J la fonctionnelle dfinie dans W ( ) par
1
J ( ) =
2
1
K + ( | |5 Ti4n )
5
Z
g d
(4.72)
et W ( ) telle que
J ( ) C < +,
et convergent deux chelles vers (y)(x) et (y)((x) + y 1 (x, y)) respectivement, avec et 1 des fonctions assez rgulires.
Alors on a
lim inf J ( ) Je(, 1 ),
(4.73)
mes(Y ) f mes(Y )
g d (x) .
P REUVE .
On sinspire de la mthode utilise par Allaire [5] pour la dmonstration de la convergence
deux chelles lors de lhomognisation dun oprateur non linaire. On note aussi que la condition J ( ) C < +, implique que et sont bornes. Cette condition garantit la convergence deux chelles de et de .
On considre la fonctionnelle W1 dfinie sur L 2 (;W ( )) par
W1
1 x
, =
||5 .
x x
x x
x
W1 , (x) W1 , x,
+ d 2W1 , x,
(x) x,
(4.74)
(4.75)
o d 2W1 dsigne la drive partielle par rapport la deuxime variable de W1 . Pour une
fonction assez rgulire et Y priodique 0 (x, y) D(Y ), en intgrant (4.75) sur , on
trouve
Z
Do
W1
, (x) d (x)
x
, 0 x,
d (x)
Z
x
x
x
+
d 2W1 , 0 x,
(x) 0 x,
d (x).
W1
1 x 5
0 x,
5
Z
x
x
x
+
d 2W1 , 0 x,
(x) 0 x,
d
Z
Z
Z
Ti4n
f
g d .
1
J ( )
2
K +
(4.76)
57
Z Z
Y
K(x + y 1 ) (x + y 1 )d xd y.
d 2W1 , 0 x,
on trouve
lim inf J ( )
Z Z
1
K( + y 1 ) ( + y 1 )d y d x
2 mes(Y ) Y
Z Z
1
1
Z Z
Z
Z
1
g d (x) .
Ti4n d d x mes(Y ) f mes(Y )
mes(Y )
L EMME 4.3.7:
Soit H 1 () fix. Le problme de minimisation
min
1 L 2 (;H 1 (Y )/R)
Je(, 1 ),
d
X
(x)i (y),
i =1 x i
Z Z
Z Z
1
1
K y 1 + Ce()
Je (1 ) =
K y 1 y 1 +
mes(Y ) 2 Y
Y
(4.77)
o Ce() est une fonctionnelle qui ne dpend pas de 1 . On note quon munit lespace
L 2 (; H 1 (Y )/R) de la norme suivante
ku(x, y)kL 2 (;H 1 (Y )/R) = k y u(x, y)kL 2 (Y ) .
On vrifie alors que la partie bilinaire en 1 de (4.77) est coercive, en effet
Z Z
K y 1 y 1 k1 k2L 2 (;H 1 (Y )/R)
Y
58
inf
0 W ( )
J ( )
inf
Je(, 1 ).
(4.78)
x
En effet il suffit de considrer la fonction + 1 x, , alors on a
x
J ( ) J + 1 x,
W ( )
(4.79)
x
= Je(, 1 ),
J ( ) lim J + 1 x,
0 W ( )
0
(4.80)
inf
et donc
lim
inf
(, 1 ) H 1 () L 2 (; H 1 (Y )/R), do (4.78).
inf
W ( )
(4.81)
On a donc
Je(T, T1 )
inf
Je(, 1 )
(4.82)
et, vu lunicit du point de minimum de Je, (T, T1 ) est alors lunique minimum. On montre que T
est la solution unique du problme homognis, le thorme sapplique donc toute la suite
T et non seulement une sous-suite.
En remplaant T1 par la valeur du minimum donn par le lemme 4.3.7, on trouve que
Je(T, T1 ) = J H (T )
o J H est la fonctionnelle associe au problme homognis (4.71) interprt comme un problme de minimisation et dont lunique solution est T . J H est donne par
1
J H () =
2
Z
Z
Z
1 5
4
K + mes()( || Ti n ) d x mes(Y ) f
g .
5
(4.83)
59
dfinir aisment chacune des oprations concernant les diverses phases de ltude mene.
Un jeu de donnes Gibiane comportera donc des instructions relativement simples o lutilisateur passe des commandes pour appeler des oprateurs qui agissent sur des oprandes
dans le but de crer un rsultat. Les oprandes peuvent tre des objets dj disponibles,
contenant des informations caractristiques de lanalyse mene, ou des objets spcifiques
dfinis seule fin de permettre lexcution de lopration requise. Les oprateurs (on en
compte plus de 500) agissent directement sur les objets fournis en argument. Le code comprend un mailleur et des possibilits de post-traitement,
Esope, une sorte de langage FORTRAN de niveau suprieur. Ce language permet au dveloppeur de crer de nouveaux oprateurs CAST3M.
Changement dchelle
La thorie de lhomognisation fonctionne dans un domaine de taille fixe avec des cellules
de taille qui tend vers 0.
En pratique, le raisonnement des ingnieurs est diffrent selon ltude considre. Dans notre
contexte, comme les tailles des canaux et des assemblage sont fixs par des contraintes industrielles, on fixe la taille des cellules de priodicit (indpendante de ) et on augmente le nombre
total des cellules, donc la taille du domaine de calcul. Autrement dit, on raisonne inversement
la thorie standard de lhomognisation. On fixe la taille des cellules 1, la taille du domaine
1
est alors qui tend vers l. On tablit le lien entre ces deux approches grce un changement
60
1
~
mes ( * ) = 2 = N 2 = 4
N=2=
~
*
1
e
F IG . 4.4: Lien entre le domaine dtude et le domaine de calcul
Soit x , on dfinit y =
x
Soit u une fonction dfinie dans , on dfinit u dans
par
.
u(y)
= u(y) = u(x).
(4.84)
y u(y)
= x u(x) = (x u)(y)
(4.85)
e y u(y))
e x u)(y).
(4.86)
On a donc
et
=
On dfinit galement
2e
e e
e ,
div(KT ) = f dans
e Te n = ge
e
K
sur ,
e Te n = 2 ((
e
Te )4 Tei4n ) sur .
K
(4.87)
61
K Te n = mes(Y )ge
sur .
(4.88)
Organisation
On rappelle que la priode dpend du rapport entre la taille de la cellule de priodicit et
le domaine perfor global . Notons que pour valider numriquement notre mthode dhomognisation on devrait montrer que le comportement du modle fin est similaire celui du
modle homognis, y compris les termes correcteurs, quand tend vers 0 (autrement dit que
lerreur relative tend vers 0). Cela revient effectuer une srie de calculs pour des maillages
chaque fois de plus en plus grand. Cest une manire de faire tendre le rapport entre la taille du
T (x) T (x) + T1 x, x 2
L ( )
Err(T) =
,
kT (x)kL 2 ( )
T (x) (T (x) + y T1 x, x ) 2
L ( )
.
Err( T) =
kT (x)kL 2 ( )
(4.89)
(4.90)
On note que Err(T) reprsente lerreur relative en norme L 2 commise sur lapproximation - en
utilisant le processus dhomognisation - de la temprature et Err( T) reprsente lerreur relative en norme L 2 commise sur lapproximation - en utilisant le processus dhomognisation du gradient de temprature.
En considrant le changement de variable y = x , on peut crire que :
x X Te
Te1 (y) T1 x,
(y)i (y)
=
i y i
et donc pour la temprature, lerreur calcule sera plutt
(4.91)
o Te dsigne le champ de temprature obtenu par rsolution directe du problme (4.87) dans
e , Te la temprature homognise solution de (4.88) et Te1 le
le domaine de calcul perfor
terme de correction calcul en fonction de Te et des solutions des problmes de cellule i .
Pour le gradient, on calculera lerreur suivante
e =
Err(T)
(4.92)
On tracera la fin de la srie de calculs ces erreurs relatives sur la temprature et son gradient,
en fonction de la priode .
Thoriquement lerreur sur la temprature devrait dcrotre comme et lerreur sur le grap
dient comme (voir la section 2.4 page 25 ainsi que Allaire et Amar [9]). On effectue donc une
srie de calculs en augmentant chaque fois la taille du domaine et donc le nombre des canaux.
62
R EMARQUE 4.8. Cette mthodologie de calcul (voir Section 4.4.2) restera valable pour toutes les
simulations effectues dans ce travail.
espacement vertical entre deux canaux : 3.30 10-2 m plus une translation horizontale de
1.90526 10-2 m ;
Maillages
Les figure 4.5-4.7 reprsentent les maillages de rfrence utiliss pour les simulations et qui
comprendront bien-entendu au fil des calculs de plus en plus de cellules de priodicit.
MAILLAGE REEL
e
F IG . 4.5: Maillage du domaine rel :
R EMARQUE 4.9. Les maillages ainsi que les donnes physiques sont les mmes pour le cas linaire et le cas non linaire. Les algorithmes de rsolution seront aussi similaires. En fait, la
seule diffrence entre les deux cas est la prise en compte de la non linarit qui napparat que
dans le problme homognis et bien-entendu dans le problme direct. De ce fait, les solutions
63
Cell
3.30000E02
8.00000E03
3.81051E02
2.11281E03
MAILLAGE HOMOGENE
e
F IG . 4.7: Maillage du domaine homogne :
des problmes de cellules ainsi que les coefficients de la conductivit homognise ne seront
calculs que dans le cas linaire et repris directement pour la simulation du cas non linaire.
div y (K(e i + y i ))
K(e i + y i ) n
dans Y ,
sur ,
Calcul de la conductivit homognise On rappelle ci-dessous lexpression des coefficients de conductivit homognise K
Ki , j
64
1
=
mes(Y )
Z
Y
K(e i + y i ) (e j + y j )d y.
e2
e2
e1
e1
F IG . 4.8: Solutions 1 et 2 des deux problmes de cellule : fluctuations dans chacune des directions de
lespace e 1 et e 2
Les solutions des problmes de cellule nous permettent de calculer le tenseur de conductivit
homognise K et on trouve
K =
25.902
25.906
!
.
On note que le milieu homognis nest pas isotrope car la rpartition gomtrique des canaux
nest pas isotrope.
R EMARQUE 4.10. Les canaux dhlium tant rpartis uniformment dans le solide, on pourrait
comparer la valeur de notre conductivit homognise celle quon obtiendrait si on avait
suivi lapproche des milieux poreux. Cette approche consiste tablir le coefficient de porosit
(rapport entre la phase fluide et la phase solide) et calculer la conductivit du milieu de la
manire suivante :
Kporeux = (1 ) K .
Dans ce cas on trouve = 0.15989 et Kporeux = 25.203Wm-1 K-1 . On note que la valeur de la
conductivit homognise est lgrement plus leve que celle quon obtient par lapproche
des milieux poreux.
65
K T n
= mes(Y )g
dans ,
sur .
On rappelle que les effets dus aux htrognits sont pris en compte dans la conductivit homognise. De ce fait, le problme homognis peut tre rsolu sur un maillage continu maill
d
X
i =1
66
i (y)
T
(x),
x i
dalcul de la temprature (temprature moyenne + terme de correction) sur le maillage perfor, quon dsigne par le terme temprature reconstruite
x
T (x) + T1 x, ,
rsolution directe du problme non homognis dont la solution est T , calcule directement sur le maillage perfor :
div(K T ) =
K T n
K T n
dans ,
sur ,
= (T Ti n ) sur .
La solution T (x) ce problme, obtenue par rsolution directe, est compare au rsultat
Temprature reconstruite
Rsolution directe
67
x1
x2
Zoom
Flux de temprature
La figure 4.12 montre les deux flux de temprature obtenue par rsolution directe et par homognisation.
68
T ( x ) + y T1 ( x , y )
F IG . 4.13: Zoom
69
On prsente dans la figure 4.13 les vecteurs du flux de temprature obtenus par rsolution
directe et en suivant le procd dhomognisation. On voit que les vecteurs suivent presque la
mme trajectoires ce qui confirme la prcision des rsultat de lhomognisation par rapport
la rsolution directe.
N ()
Err(T)
1
4.67601 10
4.26 10
Err( T)
1
3.96769 102
15
1.82 10
35
1.19 101
2.80520 103
3.45 101
3.07336 102
63
0.89 101
2.00359 103
2.98 101
2.59746 102
99
0.71 101
1.55829 103
2.66 101
2.29074 102
143
0.59 101
1.27494 103
2.43 101
2.07206 102
195
0.50 101
1.07878 103
2.25 101
1.90601 102
255
0.44 101
9.34929 104
2.09 101
1.77440 102
323
0.39 101
8.22747 104
1.97 101
1.66676 102
399
0.35 101
7.38091 104
1.88 101
1.57660 102
70
Cas Lineaire
Erreur sur la Temperature
ERR(T)
Epsilon
2
10
10
10
F IG . 4.14: Cas linaire : courbe logarithmique de convergence de lerreur relative sur la temprature
Cas Lineaire
1
10
ERR(GradT)
Racine(Epsilon)
10
10
Epsilon
F IG . 4.15: Cas linaire : courbe logarithmique de convergence de lerreur relative sur le gradient de temprature
71
K T n
= mes(Y )g
dans
sur
On constate cette fois-ci que lchange de chaleur se fait de manire rapide par rapport au cas
linaire. Ceci est d au coefficient dchange qui est, dans ce cas, proportionnel la puissance
trois de la temprature (voir la figure 4.16).
Pour chaque calcul, on compare la temprature reconstruite via le processus dhomognisation la rsolution directe du problme non homognis, quon rappelle ci-dessous, dont la
solution est T , calcule directement sur le maillage perfor.
dans
div(K T ) = f
K T n
K T n
sur
(T4 Ti4n )
sur .
72
Rsolution directe
Temprature reconstruite
F IG . 4.17: Comparaison de la temprature relle, obtenue par une rsolution directe et la temprature
obtenue par homognisation
73
On trace galement dans la figure 4.18 une coupe 1D des deux tempratures (directe et par
homognisation).
x1
x2
m
Zoo
Dans le cas non linaire galement, la figure 4.18 montre que le champ de temprature, rsultat du processus dhomognisation, reproduit bien les mmes oscillations que la rsolution
directe.
Flux de temprature
La figure 4.19 montre les deux flux de temprature obtenue par rsolution directe et par homognisation.
74
Rsolution directe
Reconstruction
75
F IG . 4.20: Gradient de temprature obtenu par rsolution directe et gradient de temprature issu du processus dhomognisation
On trace galement dans la figure 4.21 une coupe 1D des deux flux de temprature (direct et
par homognisation).
gradient reconstruit
gradient reel
40000
35000
30000
| K Grad (T)|
25000
20000
15000
10000
5000
0
0.1
Abscisse
0.2
F IG . 4.21: Traverse de T et T + y T1
76
Courbes de convergence
Le tableau 4.2 reprsente les erreurs relatives en temprature et en gradient de temprature
pour des maillages contenant N cellules de priodicit.
N ()
Err(T)
1
7.33289 10
4.26 10
Err( T)
1
1.5095 101
15
1.82 10
35
1.19 101
4.77283 103
3.45 101
1.0255 101
63
0.89 101
3.56156 103
2.98 101
7.91018 102
99
0.71 101
2.84840 103
2.66 101
6.51945 102
143
0.59 101
2.37763 103
2.43 101
5.58165 102
195
0.50 101
2.04271 103
2.25 101
4.91388 102
255
0.44 101
1.79214 103
2.09 101
4.41611 102
323
0.39 101
1.59762 103
1.97 101
4.02911 102
399
0.35 101
1.44225 103
1.88 101
3.71869 102
77
78
Chapitre
Deuxime modle :
conduction-rayonnement en cavit
Dans ce chapitre nous tablissons le modle homognis correspondant un problme de
conduction-rayonnement en cavit. Ce chapitre est constitu de trois parties. Dans la premire
nous dressons les proprits mathmatiques de loprateur issu de la condition non linaire et
non locale de rayonnement au bord. La deuxime partie comporte ltude du problme simplifi : nous supposons que les surfaces de la cavit sont noires (missivit gale lunit). Dans la
troisime partie on prsente lhomognisation du problme dans le cas dune cavit surface
grise-diffusante (missivit comprise entre 0 et 1).
Sommaire
5.1 Modlisation et analyse mathmatique
79
81
83
84
5.2.1 Homognisation
84
93
95
102
106
106
118
118
120
5.4.3 Algorithme
121
79
du rayonnement en cavit dans la section 3.2 page 29 que ceci ncessite le calcul des facteurs
de forme. Ci-dessous nous donnons les proprits mathmatiques de loprateur rayonnement
(loprateur issu de la condition non linaire et non locale aux bords des canaux). crire lquation de rayonnement en cavit pour un problme o linconnue est la temprature revient appliquer un oprateur au champ de temprature T 4 , quon appellera oprateur rayonnement
et notera G.
On se restreint une tude 2D stationnaire du problme. Les surfaces sont supposes grises
et diffusantes. Lhelium est assimil un milieu transparent (pas de conduction de chaleur ni
dabsorption de rayonnement). Ainsi, sur lensemble des bords des canaux, lquation dnergie
est donne par
q R + J = 0
(5.1)
(5.2)
On rappelle que dans la cas 2D, le facteur de forme F (s, x) entre deux points s et x dune cavit
(voir figure 5.1) est donn par
F (s, x) =
n x (s x)n s (x s)
.
2|x s|3
(5.3)
dans
div(K T ) = f
K T n
K T n
sur
= G(T )
(5.4)
sur .
Nous rappelons dans ce qui suit les principales proprits de loprateur rayonnement, ainsi
que la preuve de lexistence et de lunicit de la solution.
80
Proprits de loprateur J
On peut trouver les grandes lignes de cette analyse de loprateur J dfini par (5.2) dans Tiihonen [104].
L EMME 5.1.1:
Loprateur J allant de L p () dans L p (), 1 p , a les proprits suivantes :
J(c) = c, c R ;
kJk 1 ;
J est non ngatif : f L p (), f 0 J( f ) 0 ;
J est un oprateur compact de L p () dans L p ().
P REUVE .
En effet,
il est vident que J(c) = c pour tout c R, car
F (s, x)d x = 1 ;
p
p
k J( f )(s)kL p () = | J( f )(s)| d s = F (s, x) f (s) d x d s
Z Z
p
1/p 0 +1/p
= F (s, x)
f (s) d x d s
1/p 0 Z
1/p !p
Z Z
p
F (s, x)d s
F (s, x)| f (s)| d s
dx
Z Z
81
k J( f )kL p () k f kL p () ,
1 p .
Z
Pour p = 1 et p = , vu que F (x, s) = 1, on a directement
k J( f )kL p () k f kL p () .
On a bien alors k J k 1 ;
J est un oprateur positif, en effet : soit f L p () avec f 0, on a
Z
Z
J( f )(s) = F (s, x) f (x)d x min f (x) F (s, x)d s 0;
x
J est un oprateur compact : soit ( f n )n une suite de L p () qui converge faiblement dans
L p () vers f . Comme J est un oprateur intgral, on vrifie facilement que
J( f n ) J( f ) p.p. sur .
Dautre part J( f n ) converge faiblement vers J( f ) dans tout L p (). On en dduit donc que
X
(Id J), 0 < 1 est inversible et on a (Id J)1 = Id + ( J)i ,
i =1
Z
Z
0
(Id J) vrifie : (Id J)() = (Id J)(), L p (), L p (). On note que
dans le cas p = 2, cette proprit traduit le fait que (Id J) est autoadjoint.
En effet, on commence par rappeler le rsultat suivant :
L EMME 5.1.2:
Soit u une application linaire continue dans un Banach, telle que kuk < 1 alors (Id u) est in
X
versible et on a (Id u)1 = Id + u i .
i =1
Z Z
Z Z
J()(s)(s)d s =
F (s, x)(x)(s)d xd s =
On a bien donc
Z
82
(Id J)() =
(Id J)()
L p (), L p ().
Proprits de loprateur G
On rappelle que dans notre application on a p = 5 et que dans le cas 2D on a H 1 () L 5 ().
Lespace H 1 ()/| L 5 () o nous cherchons une solution du problme (5.4) peut donc
tre identifi H 1 (). On rappelle ci-dessous un lemme dont on peut trouver la preuve dans
Tiihonen [104].
L EMME 5.1.3:
Dans le cas dune missivit constante, loprateur G est positif.
a(T, ) = `(),
(5.5)
(5.6)
f .
Z
a 2 (u, v) =
K u v,
G(u 4 )v.
Cas linaire
= T03 o T0
e T avec
Si on considre le cas o le terme non linaire T 4 est remplac par
est une temprature constante strictement positive, on a
dans ,
div(K T ) = f
K T n
K T n
sur ,
= G(e
T )
(5.7)
sur .
La formulation variationnelle associ ce cas est exactement comme (4.6) o G est appliqu
e T . Dans ce cas a 2 sera donne par
Z
a 2 (u, v) =
G(e
u)v.
On remarque que a = a 1 + a 2 est une forme bilinaire symtrique (car G est autoadjoint sur
L 2 ()).
83
P REUVE .
En choisissant T comme fonction test dans 5.6 on trouve
Z
K T T +
G(T )T = `(T ).
Z
Or on a
dans H 1 ()/R et donc lexistence et unicit de la solution par application du lemme de Lax-
Milgram.
5.2.1 Homognisation
Nous considrons le cas dune missivit e = 1, dans ce cas R = T4 et
Z
G(T4 ) = T4
F (s, x)T4 (x)d x sur ,i , 1 i M (),
,i
84
(5.8)
(5.9)
,i
dans ,
div(K T ) = f
K T n
sur ,
(5.10)
1
4
(Id J )(T )
K T n =
sur ,i 1 i M ().
x
On rappelle que K (x) = K
.
R EMARQUE 5.2. Le coefficient 1 devant le terme de droite de la dernire quation du systme (5.10) garantit, comme on le verra plus tard, une reprsentation du rayonnement dans
Z Z
Z
() Z
MX
F (s, x)T4 (x) (s)d xd s =
T4
K T +
i =1 ,i
,i ,i
Z
Z
f +
=
g . (5.11)
1
x
T (x) = T (x 0 ) + T (x 0 ) (x x 0 ) + T (x 0 )(x x 0 ) (x x 0 ) + T1 x 0 ,
2
x
x
2
+ x T1 x 0 ,
(x x 0 ) + T2 x 0 , + O(3 ) (5.12)
x
x
x i
(x x 0 ) + 2 T2 x 0 ,
+ T1 x 0 , + x T1 x 0 ,
x i2
2
+ 6T (x 0 ) T (x 0 ) (x x 0 ) + T1 x 0 ,
+ O(3 ).
85
Z
,i
x d x.
Z
,i
(x x 0 ) = 0.
R EMARQUE 5.3. Dans le cas particulier dune cavit circulaire ce centre de gravit ainsi dfini
concide avec le centre du cercle.
On a donc conserv tous les termes jusqu lordre 2 inclus en . On choisit une fonction test
du type
x
(x) = (x) + 1 x, .
1
x
(x) = (x 0 ) + (x 0 ) (x x 0 ) + (x 0 )(x x 0 ) (x x 0 ) + 1 x 0 ,
2
x
+ x 1 x 0 ,
(x x 0 ) + O(3 ). (5.13)
On injecte alors les expressions de T et dans la formulation variationnelle (5.11). Pour le premier terme (la partie elliptique) de (5.11), comme pour les deux derniers (les termes source), il
nest pas ncessaire de faire le dveloppement de Taylor et le calcul est facile et classique. Toutes
les difficults sont concentres sur le deuxime terme de (5.11) (la condition de rayonnement
sur ,i ) dans lequel des simplifications doivent ncessairement avoir lieu si on espre compenser le coefficient singulier en 1 devant. On commence par la premire intgrale qui devient
Z
T4 (s) (s)d s = mes(,i )(x 0 )T 4 (x 0 )
,i
Z
+ 4T 3 (x 0 )(x 0 )T (x 0 )
(s x 0 )d s
,i
Z
+ 2T 3 (x 0 )(x 0 )
T (x 0 )(s x 0 ) (s x 0 )d s
,i
Z
s
+ 42 T 3 (x 0 )(x 0 )
T1 x 0 , d s
Z ,i
s
+ 4T 3 (x 0 )(x 0 )
x T1 x 0 , (s x 0 )d s
Z,i
s
+ 42 T 3 (x 0 )(x 0 )
T2 x 0 , d s
,i
Z h
s i2
+ 6T 2 (x 0 )(x 0 )
T (x 0 ) (s x 0 ) + T1 x 0 ,
ds
,i
Z
+ T 4 (x 0 )(x 0 )
(s x 0 )d s
,i
Z
+ 4T 3 (x 0 )
(x 0 ) (s x 0 )T (x 0 ) (s x 0 )d s
,i
86
s
+ 4T 3 (x 0 )
T1 x 0 , (x 0 ) (s x 0 )d s
Z ,i
1 4
+ T (x 0 )
(x 0 )(s x 0 ) (s x 0 )d s
2
,i
Z
s
+ T 4 (x 0 )
1 x 0 , d s
,i
Z
s
+ 4T 3 (x 0 )
1 x 0 , T (x 0 ) (s x 0 )d s
Z,i
s
s
+ 42 T 3 (x 0 )
1 x 0 , T1 (x 0 , )d s
Z ,i
s
+ T 4 (x 0 )
x 1 x 0 , (s x 0 )d s + mes(,i )O(3 ).
,i
(5.14)
Z
,i
,i
Z ,i Z ,i
+ 2T 3 (x 0 )(x 0 )
T (x 0 )(x x 0 ) (x x 0 )F (s, x)d xd s
,i ,i
Z Z
x
T1 x 0 , F (s, x)d xd s
+ 4T 3 (x 0 )(x 0 )
Z ,i Z ,i
x
+ 4T 3 (x 0 )(x 0 )
x T 1 x 0 ,
(x x 0 )F (s, x)d xd s
,i ,i
Z Z
x
T2 x 0 , F (s, x)d xd s
+ 42 T 3 (x 0 )(x 0 )
,i ,i
Z Z h
x i2
T (x 0 ) (x x 0 ) + T1 x 0 ,
+ 6T 2 (x 0 )(x 0 )
F (s, x)d xd s
,i ,i
Z Z
(s x 0 )F (s, x)d xd s
+ T 4 (x 0 )(x 0 )
,i ,i
Z Z
T (x 0 ) (x x 0 )(x 0 ) (s x 0 )F (s, x)d xd s
+ 4T 3 (x 0 )
,i ,i
Z Z
x
+ 4T 3 (x 0 )
T1 x 0 , (x 0 ) (s x 0 )F (s, x)d xd s
Z ,iZ ,i
1 4
+ T (x 0 )
(x 0 )(s x 0 ) (s x 0 )F (s, x)d xd s
2
,i ,i
Z Z
s
+ T 4 (x 0 )
1 x 0 , F (s, x)d xd s
,i ,i
Z Z
s
+ 4T 3 (x 0 )
1 x 0 , T (x 0 ) (x x 0 )F (s, x)d xd s
Z,i Z,i
x
s
+ 42 T 3 (x 0 )
T1 x 0 , 1 x 0 , F (s, x)d xd s
Z Z,i ,i
s
+ T 4 (x 0 )
x 1 x 0 , (s x 0 )F (s, x)d xd s
,i ,i
+ mes(,i )O(3 ).
(5.15)
87
Z ,i Z
(x x 0 )F (s, x)d xd s = 0,
,i ,i
Z
F (s, x)d s = 1.
,i
(5.16)
(5.17)
(5.18)
(x 0 ) (s x 0 )T (x 0 ) (x x 0 )F (s, x)d sd x
,i ,i
hZ
x
+ 4T 3 (x 0 )
(x 0 ) (x x 0 )T1 x 0 , d x
,i
Z Z
i
x
,i ,i
hZ
x
1 x 0 , T (x 0 ) (x x 0 )d x
+ 4T 3 (x 0 )
,i
Z Z
i
s
1 x 0 , T (x 0 ) (x x 0 )F (s, x)d sd x
,i ,i
Z Z
hZ
i
x
x
x
s
2 3
T1 (x 0 , )1 x 0 , d x
+ 4 T (x 0 )
T1 x 0 , 1 x 0 , F (s, x)d sd x
,i
,i ,i
+ mes(,i )O(3 ).
(5.19)
Remarquons que T a disparu et quil ne reste quune forme bilinaire symtrique en (T, T1 )
et (, 1 ). Il reste sommer en i , cest dire sur lensemble des trous. On note que, pour une
fonction f rgulire, on a
M
()
X
i =1
mes()
mes(,i ) f (x 0,i ) =
mes(Y )
f (s)d s + O()
,i
Z
Z
x
(x x 0 )d x = d f (y)(y y 0 )d y,
f
,i
Z
Z
x
(x x 0 ) (x x 0 )d x = d +1 f (y)(y y 0 ) (y y 0 )d y.
f
,i
Par consquent, en effectuant le changement de variable x y =
x
dans (5.19), puis en som
Z Z
M
() 1 Z
X
T4 (x) (x)d x
F (s, x)T4 (s) (x)d sd x =
,i
,i ,i
i =1
88
(y y 0 ) (y y 0 )d y T (x)d x
Z Z
Z
4T 3 (x)(x)
F (s, z)(s y 0 ) (z y 0 )d sd z T (x)d x
Z
Z
T1 (x, y)(y y 0 )d y d x
+ 4T 3 (x)(x)
Z Z
Z
3
4T (x)(x)
F (s, y)T1 (x, y)(s y 0 )d sd y d x
Z
Z
3
1 (x, y)(y y 0 )d y d x
+ 4T (x)T (x)
Z Z
Z
3
4T (x)T (x)
F (s, y)1 (x, s)(y y 0 )d sd y d x
Z
Z
3
T1 (x, y)1 (x, y)d y d x
+ 4T (x)
Z Z
Z
3
4T (x)
F (s, z)T1 (x, y)1 (x, s)d sd y d x + O().
Z
4T 3 (x)(x)
(5.20)
Ainsi, en posant
Z
m(y y 0 ) =
A=
(z y 0 )F (z, y)d z,
(y y 0 ) (y y 0 )d y,
Z Z
(y y 0 ) (z y 0 )F (y, z)d yd z,
B=
Z
3
+ 4T (A B)T d x
Z Z
Z
((y z) F (y, z))T1 (x, z)1 (x, y)d zd yd x
+ 4T 3
Z
Z
= mes(Y ) f + mes(Y )
g
(5.21)
Problmes de cellule
En choisissant = 0 dans (5.21), on obtient
Z Z
Z
Z
3
K(T + y T1 ) y 1 + 4 T T 1 (x, y)(y m(y))d yd x
Y
Z Z Z
3
+ 4 T
((y z) F (y, z))T1 (x, z)1 (x, y)d zd yd x = 0, (5.22)
y 7 T1 (x, y)
dans Y ,
sur ,
est Y priodique.
(5.23)
89
d
X
i (y, T 3 (x))
i =1
T
(x)
x i
(5.24)
on trouve que
d
X
(T + y T1 ) =
(ei + y i )
i =1
d
X
(Id J)(T1 ) =
T
,
x i
(Id J)(i )
i =1
T
x i
et on a
d
X
(y m(y)) T =
(y m(y)) ei
i =1
T
.
x i
dans Y ,
est Y -priodique.
sur ,
(5.25)
En remarquant que
Z
(y m(y)) e i = y i m(y)i = y i
dans Y ,
est Y -priodique
sur ,
(5.26)
L EMME 5.2.2:
Les problmes de cellule (5.26) admettent une solution unique dans H#1 (Y )/R.
P REUVE .
Soit H#1 (Y )/R, la formulation variationnelle de (5.26) est donne par
Z
Y
K y i + 4T 3
(Id J)(i ) =
Z
Y
K y i 4T 3
(Id J)(y i ) .
Z
Y
K + 4T
90
Problme homognis
En choisissant 1 = 0 dans (5.21) on obtient la formulation variationnelle du problme homognis double chelle.
Z Z
Y
Z
Z
Z
3
+ 4T (A B)T d x = mes(Y ) f + mes(Y )
g . (5.27)
En remplaant T1 par son expression en fonction de T , donne par (5.24), on trouve le problme
homognis associ au problme tudi qui correspond (5.27) et qui est donc
(
div(K (T 3 )T ) = mes(Y ) f
dans ,
K (T 3 )T n
avec
Ki j
Z
=
= mes(Y )g
K y i .e j + Ki j + 4T
sur ,
(5.28)
x i
i =1
On commence par noter que dans ce cas on a directement :
K(T + y T1 ) ( + y 1 ) =
K( y i + e i ) ( y j + e j )T (x)i (x) j ,
i,j
d
X
i , j =1
d
X
i , j =1
d
X
i , j =1
d
X
i , j =1
(A B)T =
i,j
En remplaant donc dans (5.21) T1 par son expression en fonction de T (5.24) et en faisant la mme chose pour 1 , la formulation variationnelle du problme homognis donne
par (5.21) scrit alors :
Z Z
d
X
Y i,j
K( y i + e i ) ( y j + e j )T (x)i (x) j d x d y
91
+
+
+
+
d
X
4T 3
i , j =1
d
X
4T 3
i , j =1
4T 3
d
X
i,j
4T 3
Z X
d
= mes(Y )
i,j
f + mes(Y )
g .
L EMME 5.2.3:
Les solutions i des problmes de cellule (5.26) vrifient
(5.29)
P REUVE .
Soit c ker(Id J) alors c (I m(Id J) ) = I m(Id J) car (Id J) est un oprateur autoadjoint. Soit i une solution de (5.26). On a (Id J)(i (y) + y i ) I m(Id J) et donc
(Id J)(i (y) + y i ), cL 2 () = (i (y) + y i ), (Id J)cL 2 () = 0.
Ainsi pour tout c ker(Id J) = R on a
Z
c (Id J)(i (y) + y i )d y = 0,
do (5.29).
En utilisant (5.29) on obtient
Z Z
Y
K( y i + e i ) ( y j + e j )T (x)(x)
Z
Z X
3
+ 4T
(Id J)(i + y i )( j + y j )T (x) j (x)i
i,j
= mes(Y )
f + mes(Y )
g . (5.30)
Z
Y
K( y i + e i ) ( y j + e j ) + 4T 3
(Id J)(i + y i )( j + y j ).
(5.31)
92
d
X
Y i , j =1
d
X
Y i , j =1
K( y i + e i ) ( y j + e j ) j i + 4T
d
X
i , j =1
(Id J)(i + y i )( j + y j ) j i
K( y i + e i ) ( y j + e j ) j i = K,1
j i
ij
mes(Y )
K (y)d y
Y
Ci-dessous nous prsentons les rsultats dhomognisation associs cette gomtrie. Ainsi
nous calculons dabord les facteurs de forme ce qui nous permet de trouver la valeur de A, B et
m. Nous crivons ensuite les problmes de cellule associs ce cas et nous donnons lexpression
de la conductivit homognise.
Calcul explicite
On commence par calculer explicitement et dans le cadre de la gomtrie considre (voir
figure 5.2), les termes A, B et m :
Z
m(y y 0 ) =
A=
(z y 0 )F (z, y)d z,
(5.32)
(y y 0 ) (y y 0 )d y,
Z Z
(y y 0 ) (z y 0 )F (y, z)d yd z.
B=
(5.33)
(5.34)
Pour simplifier, on considre le cercle de centre y 0 plac en 0. Le facteurs de forme entre deux
point s et y de la surface est alors donn par :
ny
y0
ns
F (s, y) =
n y (s y)n s (y s)
2|y s|3
cos 2
cos
=
2|y s|
4R
93
!
Z 2
cos y
r
s
=
sin( )d s
4 0
2
si n y
r
= y.
3
r cos y
.
m(y) =
3 sin y
Pour la matrice A on obtient
Z
A = (y y 0 ) (y y 0 )d y
!
Z 2
r 2 cos2 y
r 2 cos y sin y
d y
=r
r 2 cos y sin y r 2 sin2 y
0
!
Z 2 1
1
3
2 (cos 2 y + 1) 2 sin 2 y
=r
d y
1
1
0
2 sin 2 y
2 (1 cos 2 y )
= r 3 Id,
et pour la matrice B
Z Z
B=
=r
(y y 0 ) (z y 0 )F (y, z)d yd z
!
Z 2
cos y m(y)1 sin y m(y)1
2
cos y m(y)2
sin y m(y)2
d y
r 3
Id,
3
4
K(e i + y i ) n= 4T 3 (Id J)(i ) + ei y
y 7 (y)
i
dans
sur
est Y -priodique.
K( y i + e i ) ( y j + e j )
Z
4
4
3
+ T
i n(y) e i + j n(y) e j d y + r 3 e i e j
3
3
Z
+ (Id J)(i ) j .
Y
94
R EMARQUE 5.6. Dans ce cas on vrifie galement que les coefficients de la conductivit homognise peuvent tre crits sous la forme
Z
Z
3
Ki j =
K( y i + e i ) ( y j + e j ) + 4T
(Id J)(i + y i )( j + y j ).
div(K T ) =
dans ,
= 0
sur ,
1
T )
(Id J )(e
K T n
sur
(5.35)
,i ,
Rsultats dhomognisation
Commenons par rappeler les rsultats de la section 5.2.1 dans le cas linaire. On cherche une
solution T de (5.35) sous la forme
x
T (x) = T (x) + T1 x, + O(2 ).
Les rsultats dhomognisation quon obtient en suivant exactement les mmes tapes que
dans la section 5.2.1 sont donns ci-dessous
Problmes de cellule
div y (K(e i + y i ))
K(e i + y i ) n
dans Y ,
4e
(Id J)(i + y i )
sur ,
7 i (y)
(5.36)
est Y -priodique.
d
X
i =1
i (y)
T
(x).
x i
(5.37)
95
dans ,
div(K T ) = mes(Y ) f
T
sur .
= 0
e (Id J)(i + y i )( j + y j ).
Ki j =
K( y i + e i ) ( y j + e j ) +
(5.38)
(5.39)
Estimation a priori
La formulation variationnelle du problme est donne par :
K T +
(Id J )(T ) =
f V .
k=1 ,k
(5.40)
On rappelle que T est prolong dans tout entier (cf. thorme 4.2.2 page 44 et Cioranescu et
Saint Jean Paulin [34]).
P ROPOSITION 5.2.4:
Soit T la solution du problme tendue dans , il existe une constante C indpendante de
telle que
kT kH 1 () C .
(5.41)
P REUVE .
En effet, on a
Z
Z
,k
(Id J )T T =
Z
Z
,k
J (T ) =
,k
T2
Z
,k
J (T )T
Z
,k ,k
,k
| J (T )(x)||(x)|d x
Z
,k
do
car k J k 1.
(Id J )T T 0,
K T T
f T .
Donc
kT k2L 2 ( ) k f kL 2 ( ) kT kL 2 ( ) .
96
kT kH 1 () C .
Le thorme suivant est le rsultat principal de ce chapitre :
T HORME 5.2.5:
La suite T solution de (5.10) converge faiblement vers une fonction T dans H01 () et la suite T
converge deux chelles vers T (x)+ y T1 (x, y), o (T, T1 ) H01 ()L 2 (; H#1 (Y )/R) est lunique
solution du problme homognis
Z
K(y)
T
(x)
+
T
(x,
y)
d
y
div
y 1
x
div y (K(T + y T1 ))
0 dans Y ,
K(T + y T1 ) n
e (Id J)(T1 ) +
e T (Id J)y sur ,
0 sur ,
(5.42)
R EMARQUE 5.8. Il suffit de remplacer T1 par son expression (5.37) dans les quations du systme (5.42) pour le dcoupler en un problme homognis et des problmes de cellules qui
sont donns exactement par (5.38) et (5.36) et avec une conductivit homognise K donne
par (5.39).
P REUVE .
Daprs lestimation a priori (5.41), T est borne dans H 1 (). On peut donc extraire de T une
sous-suite faiblement convergente vers une fonction T de H 1 (). Et daprs la proposition 2.3.3
page 21 il existe une fonction T1 L 2 (; H#1 (Y )/R) telle que, pour une sous-suite de T , on a
"
dans H 1 () faible,
T (x) * T (x)
T (x) * T (x) + y T1 (x, y)
deux chelles.
Dans la formulation variationnelle (5.40) on choisit une fonction test sous la forme
x
(x) = (x) + 1 x,
avec C c () et on pose
1
(Id J )( ).
2
Un dveloppement limit de au voisinage de x ,k , centre de ,k , nous donne
=
1
x
(x) = (x ,k ) + (x ,k ) (x x ,k ) + (x ,k )(x x ,k ) (x x ,k ) + 1 x ,k ,
2
x
+ x 1 x ,k ,
(x x ,k ) + O(3 ).
97
i =1 x i
o les i sont les solutions des problmes de cellule (5.36). On peut alors crire
(x) = (x ,k ) + (x ,k ) (x x ,k )
1
+ (x ,k )(x x ,k ) (x x ,k )
2
x
d
X
+
(x ,k )i
i =1 x i
+
d
X
i =1
x
(x ,k ) (x x ,k )i ( )
x i
+ O(3 ).
Or, comme (x ,k ) est constant et ne dpend pas de x, quand on applique J on peut
1
+ (x ,k )(Id J ) (x x ,k ) (x x ,k )
2
x
d
X
+
(x ,k )(Id J )i
i =1 x i
h
x i
d
X
(x ,k ) (Id J ) (x x ,k )i
+
i =1 x i
+ O(3 ).
Par ailleurs
(x ,k ) =
(x)
(x) (x x ,k ) + O(2 )
x i
x i
x i
et donc, en remplaant
(Id J )( )(x) =
d
X
i
(x)
(x) (x x ,k ) (Id J )(x i x ,k
)
x
x
i
i
i =1
x
d
X
+
(x)
(x) (x x ,k ) (Id J )i
x i
i =1 x i
1
+ (x)(Id J )(x x ,k ) (x x ,k )
2
h
x i
d
X
+
(x) (Id J ) (x x ,k )i
i =1 x i
+ O(3 ).
i
On note que x ,k
dsigne la i me coordonne de x ,k . On rappelle quon a
98
(5.43)
avec
x
d
1 X
i
(x)(Id
J
)
(x
x
)
+
i
i
,k
2 i =1 x i
x
d
1 X
i
2
(x) (x x ,k )(Id J ) (x i x ,k
) + i
i =1 x i
i
x xi x
d
1X
,k
(Id J ) i
(x)
(x) (x x ,k ) ,
+
=
i =1
x i
x i
1, (x) =
2, (x) =
1 1
(x)(Id J ) (x x ,k ) (x x ,k )
2
2
h
x i
d
X
+
(x) (Id J ) (x x ,k )i
.
i =1 x i
K T +
(1, + 2, + O())T =
,k
K T +
,k
V .
(1, + 2, + O())T
(5.44)
K T (x) (x) d x,
o les coefficients de la matrice de conductivit K sont donns par (5.39), avec T1 donne
par (5.37).
L EMME 5.2.6:
La fonction 2, (x) converge deux chelles fortement au sens de la convergence deux chelles
pour des surfaces priodiques (au sens de la proposition 2.3.4 page 22) vers la fonction 2 (x, y)
donne par :
1
2 (x, y) = (x)(Id J) (y y 0 ) (y y 0 )
2
d
X
i =1 x i
Il en dcoule que, pour une sous-suite,
Z
Z
XZ
mes()
lim
2, T =
T (x) 2 (x, y)d y d x = 0.
0
mes(Y )
k ,k
(5.45)
P REUVE .
On a
x
2, (x) = 2 x, ,
donc 2, (x) converge deux chelles vers 2 (x, y) quand 0. Dautre part on a
Z
Z
1
2 (x, y) d y =
(Id J) (x)(y y 0 ) (y y 0 ) d y
d Z
X
+
(Id J)
(x) (y y 0 )i (y) d y = 0
x i
i =1
Dautre part, T tant borne dans H 1 (), la proposition 2.3.5 conduit (5.45).
99
lim
Z Z
+
y T1 d x d y
K( y i + ei ) T
mes(Y ) Y
x i
x i
Z Z
1
T d y d x.
(Id J)(i + y i )y
mes(Y )
x i
1, (x)T (x) =
(5.46)
P REUVE .
Sur chaque canal ,k on a
i !
x i x ,k
(x)T
+
1, (x)T (x) =
(Id J ) i
x i
,k
i =1 ,k
x xi x i
d Z
X
,k
(Id J ) i
+
(x)T (x x ,k ) . (5.47)
x i
i =1 ,k
d Z
X
(5.48)
Cette formulation variationnelle remise lchelle dune cellule Y,k grce au changement de
variable x = y devient
Z
Z
x x
x x
i
i
2
K x i
(Id J ) i
+
x d x +
+
d x = 0.
Y,k
,k
Ceci pour toute fonction de H#1 (Y,i ). En sommant sur toutes les cellules Y,k on se ramne
des intgrales sur le domaine global et le bord global des perforations . On peut alors
K i
+
T
(Id J ) i
+
T
= 0,
+
x i
x i
ce qui implique
Z
Z
x x
x x
i
i
+
T
+
T
.
(Id J ) i
=
K i
x i
i
On a donc, en remplaant dans (5.47),
K ( y i + e i ) T
x i
i =1
!
Z
x xi x i
d
X
(x x ,k )
,k
+
T .
(Id J ) i
(x)
x i
i =1
1, (x)T (x) =
d Z
X
(5.49)
Or, puisque T converge deux chelles vers T , T converge deux chelles vers T + y T1 .
On a alors
100
K ( y i + e i ) T
dx =
x i
Z Z
1
=
+T
dx dy
K( y i + ei ) (T + y T1 )
mes(Y ) Y
x i
x i
et, comme T converge aussi vers T au sens deux chelles sur les surfaces (voir proposition 2.3.4 page 22), on a
lim
(Id J ) i
i
x i x ,k
(x x ,k )
(x)
T d x =
x i
Z Z
1
=
(Id J)(i + y i )y
(x)T (x) d y d x.
mes(Y )
x i
Et on a ainsi
lim
1, (x)T (x) d x =
K( y i + ei ) (T
)+
y T1 d x d y
x i
x i
Y i =1
Z Z X
d
1
(Id J)(i + y i )y
T d y d x.
mes(Y ) i =1
x i
1
=
mes(Y )
Z Z
d
X
En plus des convergences donnes par les deux lemmes prcdents on a aussi la convergence
usuelle :
d Z Z
X
1
lim
K T =
K(T + y T1 ) ( y i + ei )
d x d y.
0
mes(Y ) i =1 Y
x i
(5.50)
on trouve alors
Z
lim
K T +
XZ
k
,k
(1, + 2, + O())T =
dx dy
x
Y i =1
i
Z Z X
d
1
)+
y T1 d x d y
K( y i + ei ) (T
mes(Y ) Y i =1
x i
x i
Z Z X
d
1
(Id J)(i + y i )y
T d y d x.
mes(Y ) i =1
x i
=
1
mes(Y )
d
X
Z Z
K(T + y T1 ) ( y i + ei )
(5.51)
On remarque que le terme en y T1 dans (5.51) se simplifie. Ainsi en passant la limite dans
toute la formulation variationnelle (5.40), on trouve
Z
d
X
i , j =1
Z
Y
K( y i + ei ) e j +
(Id J)(i + y i )y e j e j
T dy dx
x i
= mes(Y )
f . (5.52)
101
Z
Z
=
K y (i + y i ) e j + (Id J)(i + y i )y j . (5.53)
d hZ
X
i , j =1
K y (i + y i ) y ( j + y j ) +
(Id J)(i + y i )( j + y j ) e j
T dy dx
x i
Z
= mes(Y ) f (5.54)
K T
avec
Ki j
Or
Z
=
Ki , j e j
T n d x = mes(Y ) f ,
x i
i , j =1
d
X
e
K( y i + e i ) ( y j + e j ) +
(5.55)
(Id J)(i + y i )( j + y j ).
(5.56)
qui est la formulation variationnelle du problme homognis (5.38). Comme ce problme admet une unique solution dans H01 (), toute la suite T converge vers T et pas seulement une
sous-suite.
div y (K(e i + y i )) = 0
K(e i + y i ) n
1
(Id J)(i
dans Y
+ yi )
sur .
102
sur
et
div y (K y 1i ) = 0
K( y 0i + ei ) n
dans Y ,
= (Id J)1i
sur
et, puisque ker(Id J) = R, le problme limite revient rsoudre (en choisissant le cas dune
constante gale 0)
(
div y (K(ei + y 0i )) = 0
0i + y i
= 0
dans Y ,
sur .
Les iso-valeurs des solutions de ces problmes de cellule limite sont tracs dans la figure 5.3.
e2
e2
e1
e1
20
10
Solutions des problmes de cellule limite
T +
Z
Y
K( y 0i + e i ) ( y 0j + e j )
(5.57)
P REUVE .
Comme dfinis dans (5.31), les coefficients de la conductivit homognise associ au problme limite seront donns par
103
Ki j =
Z
Y
K( y 0i + e i ) ( y 0j + e j ) +
Z
Y
K( y 0i + e i ) ( y 0j + e j ).
54.021
21.797
K( y 0i + e i ) ( y 0j + e j ) =
.
21.797 79.217
Y
ij
(5.58)
55
Conductivit homognise
50
K*11
K*11,limite
45
40
35
30
25
0.001
500000
1E+06
Temprature (K)
F IG . 5.4: Premire composante diagonale de K
104
1.5E+06
Conductivit homognise
80
70
K*22
K*22,limite
60
50
40
0.001
500000
1E+06
1.5E+06
Temprature(K)
F IG . 5.5: Deuxime composante diagonale de K
20
Conductivit homognise
30
15
K*12
K*12,limite
10
0
0.001
500000
1E+06
1.5E+06
Temprature(K)
F IG . 5.6: Composante extra-diagonale de K
105
5.3.1 Homognisation
Dans cette section nous appliquons la mthode (formelle) des dveloppements asymptotiques deux chelles au niveau de la formulation variationnelle du problme.
Pour la dfinition des oprateurs utiliss, on renvoie la section 3.2 page 29 o a t introduit
le transfert dnergie par rayonnement.
Le problme tudi dans ce cas revient trouver la temprature T , solution de :
dans ,
div(K T ) = f
K T n
K T n
sur ,
1
1
4
((Id J )(Id (Id E) J ) E)(T )
sur ,i ,
(5.59)
1 i M ().
On note que Id est loprateur identit et que loprateur E consiste multiplier par lmissivit
e. Soit G loprateur
G = (Id J )(Id (Id E) J )1 E .
La formulation variationnelle du problme (5.59) est donne par
Z
()
MX
K T +
i =1
Z
,i
f +
g . (5.60)
Linversion dun oprateur sur dans la formulation variationnelle (5.60) rend difficile lapplication directe de la mthode des dveloppements asymptotiques. Cest pourquoi on simplifie
lcriture de (5.60) par lintroduction de variables auxiliaires. Soit la fonction :
= (Id (Id E) J )1 E(T4 ).
106
(5.61)
On a alors
G(T4 ) = (Id J ) .
(5.62)
(5.63)
La formulation variationnelle du problme (5.59), ainsi que celles des deux autres relations
(5.61) et (5.63) dcoulant de la condition de rayonnement au bord, scrivent alors :
Z
()
1 MX
i =1
Z
,i
f +
g ,
(5.64)
,i
Z
,i
K T +
(Id (Id E) J ) = E
T4 ,
,i
Z
(Id (Id E) J ) =
,
(5.65)
(5.66)
,i
A() =
A() et
B() =
B() L p (),
L p (),
P REUVE .
Lmissivit tant comprise entre 0 et 1, loprateur A scrit sous la forme (Id J), o 0 < < 1.
Ses proprits, du moins celles qui seront utilises ont dj t tablies dans la section 5.1.1. 2
107
Z
Z
A = e
T4 ,
,i
,i
Z
Z
A =
.
K T +
,i
,i
(5.67)
(5.68)
(5.69)
(5.70)
(5.71)
(5.72)
(5.73)
(5.74)
(5.75)
Comme dans le cas du problme tudi prcdemment (cas dune missivit gale 1), on
considre un dveloppement limit de chacune des quantits ci-dessus au voisinage du centre
du canal not x 0 :
+T1 x 0 , x + O(2 ),
= (x 0 )
+(x 0 ) (x x 0 )
+1 x 0 , x + O(2 ),
+x x 0 , x (x x 0 ) +1 x 0 , x + O(2 ),
= x 0 , x
= x 0 , x
+x x 0 , x (x x 0 ) +1 x 0 , x + O(2 ),
= x 0 , x
+x x 0 , x (x x 0 ) +1 x 0 , x + O(2 ),
= x 0 , x
+x x 0 , x (x x 0 ) +1 x 0 , x + O(2 )
T (x) = T (x 0 )
(x)
(x)
(x)
(x)
(x)
+T (x 0 ) (x x 0 )
x i
T4 (x) = T 4 (x 0 ) + 4T 3 (x 0 ) T (x 0 ) (x x 0 ) + T1 x 0 ,
+ O(2 ).
L EMME 5.3.2:
Le premier terme du dveloppement asymptotique (5.73) de est macroscopique au sens o
on a :
x
x,
(x) = T 4 (x),
108
x
x
A =
A x 0 , x 0 , d x
,i
Z ,i
x
x
(x x 0 )d x
+
A x 0 , x x 0 ,
,i
Z
x
x
+
A x 0 , 1 x 0 , d x
Z ,i
x
x
(x x 0 ) x 0 , d x
+
A x x 0 ,
,i
Z
x
x
+
A 1 x 0 , x 0 , d x
,i
+ mes(,i )O(2 ).
Et pour le terme de droite de (5.68), on trouve
Z
Z
x
e
T4 (x) (x)d x = e T 4 (x 0 )
x0 , d x
,i
Z ,i
x
(x x 0 )d x
x x 0 ,
+ e T 4 (x 0 )
,i
Z
x
1 x 0 , d x
+ e T 4 (x 0 )
Z ,i
x
T (x 0 ) (x x 0 ) x 0 , d x
+ 4 e T 3 (x 0 )
Z ,i
x
x
T1 x 0 , x 0 , d x
+ 4T 3 (x 0 )
,i
(5.76)
+ mes(,i )O(2 ).
En rcrivant (5.68) et en identifiant lordre 0 on arrive la relation suivante
Z
Z
4
e T (x 0 )(x 0 , y)d y = A (x 0 , y)(x 0 , y)d y,
(5.77)
do
A (x 0 , y) = e T 4 (x 0 ) y .
(5.78)
(5.79)
(1 e) J u, u (1 e)k J kkuk2
(5.80)
do
A u, u e kuk2 .
(5.81)
109
x
1
(x) = (x),
x,
e
o est le premier terme du dveloppement asymptotique de (fonction test principale).
P REUVE .
(5.82)
x 1
= (x 0 ).
x0 ,
(5.83)
microscopique.
En tenant compte du fait que (x 0 ) = T 4 (x 0 ) et (x 0 ) =
considrs dans la suite seront plutt
1
(x 0 ), les dveloppement limits
e
1
1
1
x
(x) = (x 0 ) + (x 0 ) (x x 0 ) +
(x 0 )(x x 0 ) (x x 0 ) + 1 x 0 ,
e
2e
e x
3
+ x 1 x 0 ,
(x x 0 ) + O( ),
x
(x) = T 4 (x 0 ) + 4T 3 (x 0 )T (x 0 ) (x x 0 ) + 1 x 0 , + O(2 ).
(5.84)
(5.85)
L EMME 5.3.4:
Les fonctions T , T1 et 1 sont relis par la relation suivante
x .
(5.86)
P REUVE .
En mettant jour linjection des dveloppements dans la formulation variationnelle (5.68) on
trouve, pour le terme de gauche de (5.68),
Z
Z
Z
x
x
4
4
A = e T (x 0 )
x 0 , + e T (x 0 )
x x 0 ,
(x x 0 )
,i
,i
,i
Z
x
+ e T 4 (x 0 )
1 x 0 , d x
Z ,i
x
+ 4 e T 3 (x 0 )
A T (x 0 ) (x x 0 ) x 0 , d x
,i
Z
x
x
+
A 1 x 0 , x 0 , d x
,i
+ mes(,i )O(2 ).
110
(5.87)
En crivant les deux cots de lgalit (5.68), cest--dire (5.87)=(5.76), aprs les simplifications
quinduit lexpression de en fonction de T (un nombre de termes identiques de part et dautre
de lgalit) et en isolant les termes en , on se ramne lgalit suivante
Z
Z
x
x
4
4
1 x 0 ,
(x x 0 )d x + e T (x 0 )
e T (x 0 )
x x 0 ,
,i
,i
Z
Z
x
x
x
+ 4 e T 3 (x 0 )T (x 0 )
A (x x 0 ) x 0 , d x +
A 1 x 0 , x 0 , d x
,i
Z
Z ,i
x
x
x
T1 x 0 , x 0 , d x
= 4 e T 3 (x 0 )T (x 0 )
(x x 0 ) x 0 , d x + 4 e T 3 (x 0 )
,i
,i
Z
Z
x
x
x x 0 ,
+ e T 4 (x 0 )
1 x 0 , .
(x x 0 )d x + e T 4 (x 0 )
,i
,i
x
x
x
1
3
A 1 x 0 , x 0 , d x
4T (x 0 )
A T (x 0 ) (x x 0 ) x 0 , d x +
,i
,i
Z
Z
(5.88)
1
x
x
x
3
3
= 4 e T (x 0 )
T (x 0 ) (x x 0 ) x 0 , d x + 4 e T (x 0 )
T1 x 0 , x 0 , d x.
,i
,i
Par le changement de variable y =
x
, on trouve donc
A 1 (x 0 , y) + 4T 3 (x 0 )T (x 0 ) y y 0 (x 0 , y)d y
= 4 e T 3 (x 0 )
T1 (x 0 , y) + T (x 0 ) (y y 0 ) (x 0 , y)d y,
(5.89)
,i
do
A 1 (x 0 , y) + 4T 3 (x 0 )T (x 0 ) (y y 0 ) = 4eT 3 (x 0 ) T1 (x 0 , y) + T (x 0 ) (y y 0 ) .
(5.90)
L EMME 5.3.5:
Les fonctions , 1 et 1 sont relis par la relation suivante
1
A 1 (x, y) + (x) (y y 0 ) = 1 + (y y 0 ) x .
e
(5.91)
P REUVE .
En mettant jour linjection du dveloppement dans la formulation variationnelle (5.69), les
termes de lgalit qui sont de lordre deviennent
1
(x 0 )
e
Z
x x
x
x
x
0
x0 , +
A
A 1 x 0 , x 0 ,
,i
,i
Z
Z
x x0
x
x
x
= (x 0 )
x0 , +
1 x 0 , x 0 , . (5.92)
,i
,i
x
, (5.92) nest rien dautre que la formulation variationnelle
1
A 1 + (y y 0 ) = 1 + (y y 0 ).
(5.93)
e
2
111
()
1 MX
K T +
i =1
Z
,i
f +
g .
Z
,i
()
1 MX
i =1
Z
,i
B .
1
1
x
(x) = (x 0 ) + (x 0 ) (x x 0 ) + 1 x 0 , + O(2 ),
e
e
x
4
3
(x) = T (x 0 ) + 4T (x 0 )T (x 0 ) (x x 0 ) + 1 x 0 , + O(2 ).
1
1
x
e2 (x) + O(3 ),
(x) = (x 0 ) + (x 0 ) (x x 0 ) + 1 x 0 , + 2
e
e
x
(x) = T 4 (x 0 ) + 4T 3 (x 0 )T (x 0 ) (x x 0 ) + 1 x 0 , + 2 e2 (x) + O(3 ),
i
x
1
B = B (x 0 ) T 4 (x 0 ) + 4T 3 (x 0 )T (x 0 ) (x x 0 ) + 1 x 0 , + 2 x e2 (x)
e
1
x i
4
3
+ B (x 0 ) (x x 0 ) T (x 0 ) + 4T (x 0 )T (x 0 ) (x x 0 ) + 1 x 0 ,
e
i
x h 4
x
+ B 1 x 0 ,
T (x 0 ) + 4T 3 (x 0 )T (x 0 ) (x x 0 ) + 1 x 0 ,
x
4
2
3
e2 (x) + O( ).
+ 4 B 1 x 0 ,
(x x 0 )T (x 0 ) + B
Z
,i
B () =
,i
B () L p (,i ),
L p (,i )
e2 et e2 disparaissent car
et que ker(B ) = R, les termes dans (5.94) qui contiennent
1
(x 0 ) = 0
e
et
B (T 4 (x 0 )) = 0.
112
(5.94)
trouve
()
1 MX
i =1
Z
,i
B =
()
1 MX
i =1
1
(x 0,i ) (x x 0,i ) 4T 3 (x 0,i )T (x 0,i ) (x x 0,i ) d x
e
,i
Z
M
()
X
1
x
+
B (x 0,i ) (x x 0,i ) 1 x 0,i ,
dx
e
i =1 ,i
(5.95)
M
() Z
X
x
3
+
4T (x 0,i )T (x 0,i ) (x x 0,i ) d x
B 1 x 0,i ,
i =1 ,i
M
() Z
M
()
X
X
x
x
mes(,i ) O(2 ).
+
B 1 x 0,i , 1 x 0,i ,
dx +
i =1 ,i
i =1
R EMARQUE 5.9. Dans ce qui suit, on procde relativement de la mme manire que dans le cas
dune missivit gale lunit (voir section 5.2) pour simplifier les calculs et se ramener des
intgrales sur le domaine continu et sur le trou modle . On rappelle des rsultats utiliss
M
()
X
i =1
mes()
mes(,i ) f (x 0,i ) =
mes(Y )
f (s)d s + O(),
(5.96)
mes(,i ) = d 1 mes(),
(5.97)
mes(Y,i ) = d mes(Y ),
(5.98)
M () tant le nombre de trous, x 0,i le centre de gravit dun trou donn ,i et y 0 le centre de
gravit du trou modle de bord . On a galement
Z
Z
x
d 1
dx =
f (y)d y,
f
,i
Z
Z
x
f
(x x 0 )d x = d f (y)(y y 0 )d y,
,i
Z
Z
x
d +1
f ( )(x x 0 ) (x x 0 )d x =
f (y)(y y 0 ) (y y 0 )d y.
,i
(5.99)
mes ,i O( ) = O
1
d
1
B (x 0,i ) (x x 0,i ) 4T 3 (x 0,i )T (x 0,i ) (x x 0,i ) =
e
,i
Z
()
1 MX
1
3
=
4T (x 0,i )
(x 0,i ) (x x 0,i ) T (x 0,i ) (x x 0,i ) d x
i =1
,i e
Z
()
1 MX
1e
4T 3 (x 0,i )
(x 0,i ) J (x x 0,i ) T (x 0,i ) (x x 0,i ) d x
i =1
e
,i
Z
113
4T 3 (x 0,i )
i =1
M
()
X
4T 3 (x 0,i )
i =1
,i
1
(x 0,i ) J (x x 0,i ) T (x 0,i ) (x x 0,i ) d x
e
,i
1e
(x 0,i ) J (x x 0,i ) T (x 0,i ) J (x x 0,i ) d x.
e
x
, on trouve alors
1
B (x 0,i ) (x x 0,i ) 4T 3 (x 0,i )T (x 0,i ) (x x 0,i ) =
e
,i
Z
M
()
X
1
= d
4T 3 (x 0,i )
(x 0,i ) (y y 0 ) T (x 0,i ) (y y 0 ) d y
e
i =1
Z
M
()
X
1e
d
4T 3 (x 0,i )
(x 0,i ) (y y 0 ) T (x 0,i ) (y y 0 ) d y
e
i =1
Z
M
()
X
1
d
3
4T (x 0,i )
(x 0,i ) J(y y 0 ) T (x 0,i ) (y y 0 ) d y
e
i =1
Z
M
()
X
1e
d
3
(x 0,i ) J(y y 0 ) T (x 0,i ) J(y y 0 ) d y.
+
4T (x 0,i )
e
i =1
Z
M
()
X
f (x 0,i ) =
i =1
1
mes(Y )
f (x) + O() d x,
on trouve donc
() Z
1 MX
1
B (x 0 ) (x x 0 ) 4T 3 (x 0 )T (x 0 ) (x x 0 ) =
i =1 ,i
e
Z
Z
1 3
1
4 T (x) (x) (y y 0 ) T (x) (y y 0 ) d y d x
=
mes(Y )
e
Z
Z
1
1e 3
4
T (x) (x) J(y y 0 ) T (x) J(y y 0 ) d y d x
mes(Y )
e
Z
Z
1 3
1
4 T (x) (x) J(y y 0 ) T (x 0 ) (x x 0 ) d y d x
mes(Y )
e
Z
Z
1
1e 3
+
4
T (x) (x) J(y y 0 ) T (x) J(y y 0 ) d y d x + O()
mes(Y )
e
Z Z
1
1
=
(Id J)(Id (Id E) J) (x) (y y 0 ) 4T 3 (x)T (x) (y y 0 ) d y d x
mes(Y )
e
+ O();
deuxime ligne :
M
() Z
X
1
x
(x 0 ) (x x 0 ) 1 x 0 ,
dx =
e
i =1 ,i
M
() Z
X
1
x
(x 0 ) (x x 0 ) 1 x 0 ,
dx
=
i =1 ,i e
M
() Z
X
1e
x
(x 0 ) (x x 0 ) J 1 x 0 ,
dx
e
i =1 ,i
M
() Z
X
1
x
+
(x 0 ) J (x x 0 ) 1 x 0 ,
dx
i =1 ,i e
114
M
() Z
X
i =1
,i
1e
x
(x 0 ) J (x x 0 ) J 1 x 0 ,
d x.
e
,i
1
x
(x 0 ) (x x 0 ) 1 x 0 ,
dx =
e
Z
1
(x 0 ) (y y 0 ) 1 (x, y) d y d x
e
Z
Z
1e
1
(x) (y y 0 ) J 1 (x, y) d y d x
mes(Y ) e
Z
Z
1
1
Z Z
1
1
=
(Id J)(Id (Id E) J) (x) (y y 0 ) 1 (x, y) d y d x
mes(Y )
e
Z
+ O();
troisime ligne : en passant par les mmes tapes on peut crire
M
() Z
X
i =1
x
B 1 x 0,i ,
4T 3 (x 0,i )T (x 0,i ) (x x 0,i ) d x =
,i
Z
Z
1
4T 3 (x) (Id J)(Id (Id E) J)1 (x, y) T(x) (y y 0 ) d y d x + O();
=
mes(Y )
quatrime ligne : de la mme manire, en passant par les mmes tapes que pour les lignes
prcdentes, on peut crire
M
() Z
X
i =1
x
x
dx =
B 1 x 0,i , 1 x 0,i ,
,i
Z Z
1
(Id J)(Id (Id E) J)1 (x, y)1 (x, y) d y d x + O().
=
mes(Y )
Au final en sommant les quatre lignes et puisque B = (Id J)(Id (Id E) J) on trouve
()
1 MX
i =1
Z
,i
B =
h
1
mes(Y )
1
B (x) (y y 0 )4T 3 (x)T (x) (y y 0 ) d y d x
e
Z Z
1
+
B (x) (y y 0 )1 (x, y) d y d x
e
Z Z
+
B 1 (x, y)4T 3 (x)T (x) (y y 0 ) d y d x
Z Z
i
+
B 1 (x, y)1 (x, y) d y d x + O().
Z Z
(5.100)
Les autres termes de la formulation variationnelle principale (5.67) sont faciles traiter. Par
consquent le terme principal du dveloppement asymptotique de (5.67) est ( un reste prs
115
h
1
mes(Y )
Z Z
Z Z
1
+
B (x) (y y 0 ) 1 (x, y) d y d x
e
Z
Z
+ 4T 3 (x) B 1 (x, y) T (x) (y y 0 ) d y d x
Z Z
i
B 1 (x, y)1 (x, y) d y d x
+
Z
Z
mes(Y )
=
f +
g .
mes(Y )
(5.101)
Ce qui revient crire, puisque B = (Id J)(Id (Id E) J) = (Id J) A = A(Id J),
h
1
mes(Y )
Z Z
1
+ 4T 3 (x) (Id J) (x) (y y 0 ) A T (x) (y y 0 ) d yd x
e
Z Z
1
(Id J) (x) (y y 0 ) A 1 (x, y)d yd x
+
e
Z Z
(5.102)
A 1 = 4 e T 3 T1 + T (y y 0 ) A 4T 3 (x 0 )T (y y 0 )
(5.103)
1
A 1 = 1 + (y y 0 ) A (y y 0 ).
e
(5.104)
et que
(Id J)1 =
116
1
1
1
G 1 + G (y y 0 ) (Id J) (y y 0 ).
e
e
e
(5.105)
trouve
Z Z
1
K(y)(T (x) + y T1 (x, y)) ( + y 1 )+
mes(Y ) Y
Z
Z
1
3
+ 4T (x) (Id J) (x) (y y 0 ) A T (x) (y y 0 ) d y d x
e
Z Z
h
1
+
(Id J) (x) (y y 0 ) 4 e T 3 (x) T1 + T (y y 0 )
e
i
A 4T 3 (x 0 )T (y y 0 ) d y d x
Z Z h
i
1
1
1
+
G 1 + G (y y 0 ) (Id J) (y y 0 )
e
e
e
A 4T 3 T (x) (y y 0 ) d y d x
Z Z h
i
1
1
1
G 1 + G (y y 0 ) (Id J) (y y 0 )
+
e
e
e
h
i
4 e T 3 (x)(T1 + T (y y 0 )) A 4T 3 T (y y 0 ) d y d x
Z
Z
mes(Y )
g d x.
=
f dx +
mes(Y )
En simplifiant cette expression, on obtient ainsi une formulation variationnelle pour linconnue
(T, T1 ) avec la fonction test (, 1 ). Autrement dit on a dmontr le rsultat suivant :
P ROPOSITION 5.3.6:
Le problme homognis deux chelles pour (5.59) est caractris par sa formulation variationnelle :
1
mes(Y )
Z Z
h
i
G T1 (x, y) + T (x) (y y 0 )
Z
Z
mes(Y )
=
f (x)(x) +
g (x)(x).
mes(Y )
(5.106)
Problmes de cellule
En choisissant dans (5.106) une fonction test telle que = 0, on trouve :
Z Z
Z
Z
h
i
3
K(T + y T1 ) y 1 + 4 T (x) G 1 T1 + T (y y 0 ) = 0
Y
K(T + y T1 ) n = 4T 3 (x) G T1 + T (y y 0 )
dans Y ,
sur .
(5.107)
(5.108)
On en dduit donc
P ROPOSITION 5.3.7:
Les problmes de cellule sont donns par
(
div y (K (e i + i )) = 0
K (e i + i ) n
= 4T 3 (x) G(i + y i )
dans Y ,
sur .
(5.109)
117
d
X
i (T 3 , y)
i =1
T
(x).
x i
(5.110)
On remarque que les fonctions i dpendent de T 3 (x), o T (x) est la temprature macroscopique.
Problme homognis
En choisissant cette fois-ci dans (5.106) une fonction test 1 telle que
1 (x, y) =
d
X
i (T 3 , y)
i =1
(x).
x i
On trouve
P ROPOSITION 5.3.8:
div(K T ) = 1 f
K T n
dans ,
sur ,
(5.111)
Z
1
3
K(i + e i ) ( y j + e j ) + 4T
G(i + y i )( j + y j ) ,
=
mes(Y ) Y
mes(Y )
1 =
.
mes(Y )
Ki j
R EMARQUE 5.10. On remarque que dans le cas E = Id, on retrouve exactement les mmes rsultats tablis dans la section 5.2. On note galement que ltude asymptotique de la conductivit
homognise pour des temprature infinies prsente dans 5.2.4 page 102 peut tre reconduite
pour ce cas (parois grises diffusantes). Les valeurs ne seront bien-entendu pas les mmes mais
les tapes seront similaires.
118
J (x) =
et
Le flux incident sur A i est gal A i J i et est donc donn par la relation suivante
Ns
X
Ai Ji =
Aj Fji Rj .
j =1
Ns
X
A i Fi j R j
j =1
Ns
X
Fi j R j .
(5.112)
j =1
Ns
X
j =1
Ns
X
Fi j R j ,
j =1
F i j R j = e A i Ti4 .
On note par E est la matrice contenant les missivits e A i des surfaces A i , T le vecteur des tempratures des surfaces et F la matrice des facteurs de forme donns par
T1
e A1
0
... ...
0
F 11
F 12
.
..
..
.
.
.
0 e A2
F 21
.
F 22
..
..
.
.
.
.
.
..
..
.. ..
.. , F = ..
T = . , E = .
.
.
.
.. ..
..
..
...
.
.
0
T Ns
...
...
e A Ns
F Ns 1
F Ns 2
...
..
.
..
.
..
.
...
...
F 1Ns
..
..
F 2Ns
..
.
..
.
...
F Ns Ns
119
Ns
X
i
= Ri
F i j R j = (IdNs F )R i ,
Ai
j =1
R =
R1
..
.
..
.
..
.
R Ns
La densit de flux par surface i est alors donne par
A1
S =
0
..
.
..
.
A2
..
.
...
...
..
.
..
.
..
.
...
..
0
..
.
..
.
..
...
A Ns
120
les principaux oprateurs utiliss pour la rsolution au moyen de CAST3M de problmes impliquant le rayonnement thermique quon peut trouver galement dans des notes internes CEA du
LTMF (Laboratoire dEtudes des Transferts et de Mcanique des Fluides). Ci-dessous on donne
les principaux oprateurs de CAST3M utiliss dans la discrtisation et le calcul relatifs au rayonnement :
HRAYO : cette procdure calcule le coefficient dchange linaris dans le cas du rayonnement avec un milieu infini ou face face,
FFOR : cet oprateur calcule la matrice des facteurs de forme (on renvoie vers la section 3.2
page 29 pour la dfinition et la manire de calculer les facteurs de forme) associe un modle de rayonnement, note F . Des options permettent de prendre en compte un plan de
symtrie, une topologie convexe ou un coefficient dabsorption (dans le cas o le milieu est
non transparent mais plutt absorbant). Lobjet rsultat est un champ dfini par lment.
RAYE (RAYonnement par Elmnt) : cet oprateur calcule la matrice de rayonnement qui
relie les puissances rayonnes par lments aux mittances en fonction des champs dmis-
sivit et des facteurs de forme. La structure de cet objet est identique celle des facteurs de
forme.
RAYN (RAYonnement aux Noeuds) : cet oprateur calcule la matrice de conductivit quivalente due la linarisation du rayonnement en fonction du champ de temprature et de
la matrice prcdente. Il sagit dun objet de type rigidit.
5.4.3 Algorithme
Dans cette section on donne lalgorithme suivi pour la simulation numrique du processus
dhomognisation ainsi que du problme direct.
Rsolution des problmes de cellule : notre tude tant en 2D, on aura deux problmes
rsoudre, un problme dans chaque direction de lespace. Les problmes de cellule dpendent de la temprature macroscopique. On rsout donc une srie de problmes pour
une table de tempratures Tk :
(
div y (K(e i + y i )) = 0
K(e i + y i ) n
dans Y ,
3
Ki j (Tk ) =
K( y i + e i ) ( y j + e j ) + 4Tk G(i + y i )( j + y j ).
Y
Rsolution du problme homognis : Le problme homognis (5.111) tant non linaire, on utilise un algorithme itratif de type point fixe :
\
3
calcul initial T(0) , K(0) , i (T(0)
) puis itration ;
litration (n), T(n1) tant la solution litration (n 1), on commence par la localiser dans la table de tempratures. Ce qui revient rechercher lindice k dans la table de
temprature (Tk )k tel que Tk1 T(n1) Tk ;
la conductivit homognise considre litration (n) est alors une moyenne entre les
deux conductivits associes aux deux tempratures Tk1 et Tk , donne par
K(n) = K (Tk1 ) + (1 ) K (Tk )o 0 < < 1;
121
= 0
dans
sur
kT(n) T(0) kL 2 ()
105 .
kT(0) kL 2 ()
Reconstruction de la temprature. On remonte aux tempratures fines ou microscopiques
\
microscopique T1 x, x . Ainsi pour tout point x du maillage perfor , on calcule la quantit suivante
x
T (x) + T1 x,
on retrouve alors suivant la valeur de Tm (x), lindice k dans la table (Tk )k , tel que Tk
Tm Tk+1 . dans la table de temprature ;
on retrouve ensuite les solutions des problmes de cellule i (Tk ) correspondant la temprature Tk ;
on calcule T (x) +
iX
=d
(T (x))i i (Tk )
Comparaison avec la rsolution directe. On value lerreur relative entre le rsultat du pro\
i =1
Donnes numriques
On suit dans cette section la mme mthodologie de calcul utilise pour la simulation numrique du premier modle (voir section 4.4.2 page 60).
En vue dune comparaison entre les rsultats de simulations obtenus en suivant le procd
dhomognisation et la rsolution directe, nous considrons, toujours sur des maillages reprsentatifs de la gomtrie relle (mmes considrations que dans la section 4.4.3 page 63), les
donnes suivantes
Tempratures imposes aux bords :
\
122
Nous prsentons dans les figures 5.7-5.12 les solutions des problmes de cellule (5.109) pour
diffrentes tempratures (sur un intervalle plus large que les temprature considres T sup et
Ti n f ).
T=0
e2
e2
e1
e1
T = 500
e2
e2
e1
e1
F IG . 5.8: Solutions des problmes de cellule (5.109) pour une temprature Tk = 500
T = 740
e2
e2
e1
e1
F IG . 5.9: Solutions des problmes de cellule (5.109) pour une temprature Tk = 740
123
T = 990
e2
e2
e1
e1
F IG . 5.10: Solutions des problmes de cellule (5.109) pour une temprature Tk = 990
T = 1240
e2
e2
e1
e1
F IG . 5.11: Solutions des problmes de cellule (5.109) pour une temprature Tk = 1240
e2
e2
e1
e1
F IG . 5.12: Solutions des problmes de cellule (5.109) pour une temprature Tk = 1500
Dans la figure 5.13, on trace les deux composantes diagonales de la conductivit homognise K obtenues pour des tempratures allant de 500 K 1500 K. On remarque que les deux
composantes K11 et K22 sont assez proches tant que les tempratures ne sont pas trs leves.
Ceci nest pas le cas pour des tempratures trs hautes (voir figures 5.4 et 5.5).
124
Conductivit homognise
25
K*22
K*11
24
23
500
750
1000
1250
1500
Temprature
F IG . 5.13: Coefficients diagonaux K11 et K22 du tenseur de conductivit homognise
Dans la figure 5.14, on trace la composante extra-diagonale K12 de K . On remarque que cette
composante est presque nulle. Ceci nest pas vrai pour des tempratures trs leves car dans la
figure 5.6 page 105 on voit que pour une temprature infinie cette composante peut aller jusqu
21.797 Wm-1 K-1 (dans le cas e=1).
Frame
Frame 001
001 08
08 Jun
Jun 2006
2006 || ||
25
1
0.9
K*12
K*22
K*11
0.8
Conductivit homognise
Conductivit homognise
22
0.724
0.6
0.5
0.4
0.323
0.2
0.1
0
22
-0.1
-0.2
500
500
750
750
1000
1000
1250
1250
1500
1500
Temprature
Temprature
125
Sur la figure 5.16 on compare le champ de temprature reconstruit T + T1 , rsultat du processus dhomognisation avec le champ obtenu via une rsolution directe du problme non
homognis.
Temprature reconstruite
Temprature Directe
On trace galement dans la figure 5.17, une traverse des trois champ des tempratures T ,
T + T1 et T (temprature homognise, temprature dshomognise ou reconstruite et
126
x2
(K)
x1
Zoom
Les rsultats obtenus par homognisation sont trs satisfaisants concernant le champ de
temprature mais galement pour les flux de temprature comme on peut le constater dans les
figures 5.18-5.20.
VAL ISO
> 5.36E+04
< 2.66E+05
5.89E+04
6.95E+04
8.01E+04
9.07E+04
1.01E+05
1.12E+05
1.23E+05
1.33E+05
1.44E+05
1.54E+05
1.65E+05
1.76E+05
1.86E+05
1.97E+05
2.07E+05
2.18E+05
2.29E+05
2.39E+05
2.50E+05
2.61E+05
T,X
VECTEURS
COMPOSANTES
T,Y
F IG . 5.18: Comparaison du gradient obtenu par rsolution directe (en noir) et par homognisation (en
rouge)
127
On trace galement dans la figure 5.21 une traverse des flux de temprature.
128
SCAL
X1.E5
2.20
2.00
1.80
1.60
1.40
1.20
1.00
0.80
0.60
P6
P15
ABS
P1
0.40
0.00
0.05
0.10
0.15
0.20
0.25
Au final, on trace sur la figure 5.22 la courbe logarithmique de lerreur relative Err(T) sur la
temprature en fonction de en suivant le mme raisonnement que pour la simulation du premier modle (voir la section 4.4.2 page 60). On compare la courbe de lerreur la droite y = .
On constate quon a le bon taux de dcroissance de lerreur. On rappelle que
T (x) T (x) + T1 x, x 2
L ( )
Err(T) =
2
kT (x)kL ( )
ConductionRayonnement
10
Err(T)
Epsilon
10
10
Epsilon
129
Conclusions
Dans ce travail nous nous sommes intress lhomognisation des modles de trans-
Lhomognisation de ces modles avait certes pour premier objectif de rendre la simulation
numrique grande chelle possible (ou peu coteuse en temps de calcul) mais notons que lintrt quoffrent les rsultats obtenus ne sarrte pas seulement cet aspect. En effet, nous avons
pu tablir grce des dveloppements mathmatiques des modles physiques qui dcrivent le comportement moyen avec prcision dun milieu conductif contenant des htrognits qui impliquent le transfert dnergie par rayonnement. Ces rsultats peuvent tre adapts
dautres situations physiques. Dans notre cas, selon la condition de rayonnement considre,
on a rsolu un problme de conduction dans un domaine continu paramtres homogniss
qui eux dpendent du type de rayonnement considr. Ainsi dans le cas dun rayonnement avec
un milieu infini on rsout un problme de conduction non linaire ; dans le cas dune condition de rayonnement en cavit parois noires ou grises diffusantes, on rsout un problme de
conduction o la conductivit effective est fonction de la temprature du milieu homogne et
on retrouve dans ce cas la condition de rayonnement linarise dans les problmes de cellule.
131
Perspectives
Le modle homognis a t tabli rigoureusement dans le cas dun problme de
conduction-rayonnement dans une cavit parois noires (e = 1). La gnralisation au cas
des parois grises diffusantes (0 < e < 1), toujours dans le cas linaire, devrait suivre a priori, les
mmes tapes vu que loprateur rayonnement dans ce cas peut avoir des proprits analogues
celle de loprateur considr dans le cas des parois noires.
Pour le cas non linaire, la preuve de la convergence deux chelles reste un problme ouvert.
Ce serait intressant dtablir rigoureusement le problme homognis dans le cas dune cavit
parois noires au moins car il est fort possible que la mthode suivie soit galement dans ce cas
gnralisable une cavit parois grises diffusantes.
Une autre perspective ce travail serait un couplage des modles considrs avec les quations de la mcanique des fluides qui gouvernent lcoulement de lhlium dans les canaux. La
prise en compte du rayonnement sur les bords des canaux joue sur la temprature du gaz et
modifie donc la vitesse de lcoulement.
Les programmes crits pour la rsolution numrique dans CAST3M pour les diffrents modles peuvent inspirer la cration de nouveaux oprateurs qui seraient ddis la mthode
dhomognisation dans CAST3M.
132
Bibliographie
[1] G. A LLAIRE : Homogenization of the Stokes flow in a connected porous medium. Asymptotic Anal., 2(3):203222, 1989. ISSN 0921-7134.
133
134
135
www/ahtt.html.
[60] W. S. J ANNA : Engineering Heat Transfer, Second Edition. CRC ; 2nd edition, December 28,
1999.
136
137
[75] D. L UKKASSEN, G. N GUETSENG et P. WALL : Two-scale convergence. Int. J. Pure Appl. Math.,
2(1):3586, 2002. ISSN 1311-8080.
[76] Sandro M ANSERVISI et Knut H EUSERMANN : On some optimal control problems for the
heat radiative transfer equation. ESAIM Control Optim. Calc. Var., 5:425444 (electronic),
2000. ISSN 1292-8119.
[77] Paolo M ARCELLINI : Periodic solutions and homogenization of nonlinear variational problems. Ann. Mat. Pura Appl. (4), 117:139152, 1978. ISSN 0003-4622.
[78] M. F. M ODEST : Radiative Heat Transfer. McGraw-Hill, New-York, 1993.
[79] M. J. M ORAN, H. N. S HAPIRO, B. R. M UNSON et D. P. D E W ITT : Introduction to Thermal
Systems Engineering : Thermodynamics, Fluid Mechanics, and Heat Transfer. Wiley ; Bk
and CD-Rom edition, September 17, 2002.
[80] F. M URAT et L. TARTAR : Calcul des variations et homognisation. In Homogenization methods : theory and applications in physics (Brau-sans-Nappe, 1983), volume 57 de Collect.
Dir. tudes Rech. lec. France, pages 319369. Eyrolles, Paris, 1985.
[81] F. M URAT et L. TARTAR : H -convergence. In Topics in the mathematical modelling of composite materials, volume 31 de Progr. Nonlinear Differential Equations Appl., pages 2143.
Birkhuser Boston, Boston, MA, 1997.
[82] G. F. N ATERER : Heat Transfer in Single and Multiphase Systems. CRC ; 1st edition, August
29, 2002.
[83] G. N GUETSENG : A general convergence result for a functional related to the theory of
homogenization. SIAM J. Math. Anal., 20(3):608623, 1989. ISSN 0036-1410.
[84] G. N GUETSENG : Homogenization in perforated domains beyond the periodic setting. J.
Math. Anal. Appl., 289(2):608628, 2004. ISSN 0022-247X.
[85] O. A. O LEINIK, A. S. S HAMAEV et G. A. Y OSIFIAN : Mathematical Problems in Elasticity and
Homogenization, volume 26. Studies in mathematics and its applications, north-holland
dition, 1992.
[86] M. P LANCK : The Theory of Heat Radiation. Dover Publications, New-York, 1959.
[87] Rapport CEA. Modlisation du rayonnement thermique dans castem 2000. Rapport technique, Direction des Racteurs Nuclaires, Rapport DMT/97/142, 1997.
[88] J. S ANCHEZ -H UBERT et S ANCHEZ -PALENCIA : Introduction aux mthodes asymptotiques et
lhomognisation. Masson, Paris, 1992.
[89] Steven N. S HORE : Blue sky and hot piles : the evolution of radiative transfer theory from
atmospheres to nuclear reactors. Historia Math., 29(4):463489, 2002. ISSN 0315-0860.
[90] R. S IEGEL et J. R. H OWELL : Thermal Radiation Heat Transfer, 2nd ed. McGraw-Hill, NewYork, 1981.
138
[91] R.I. S OLOUKHIN : Handbook of Radiative Heat Transfer in High-Temperature Gases. Hemisphere Pub, 1987.
[92] S. S PAGNOLO : Sul limite delle soluzioni di problemi di Cauchy relativi allequazione del
calore. Ann. Scuola Norm. Sup. Pisa (3), 21:657699, 1967.
[93] S. S PAGNOLO : Sulla convergenza di soluzioni di equazioni paraboliche ed ellittiche. Ann.
Scuola Norm. Sup. Pisa (3) 22 (1968), 571-597 ; errata, ibid. (3), 22:673, 1968.
[94] E. M. S PARROW : Radiant Interchange Between Surfaces Separated by Nonabsorbing and
Nonemitting Media. in W. M. Rohsenow and J. P. Hartnett, eds., Handbook of Heat Transfer,
McGraw-Hill, New-York, 1973.
[95] J. TAINE : Radiative Heat Transfer. McGraw-Hill, New-York, 1993.
[96] J. TAINE et J. P. P ETIT : Transferts thermqiues. Dunod, 1998.
[97] M. TAMONIS et A. Z UKAUSKAS : Radiation and Combined Heat Transfer in Channels (Experimental and Applied Heat Transfer Guide Books). Hemisphere Pub, 1987.
[98] L. TARTAR : Problmes de contrle des coefficients dans des quations aux drives partielles. In Control theory, numerical methods and computer systems modelling (Internat.
Sympos., IRIA LABORIA, Rocquencourt, 1974), pages 420426. Lecture Notes in Econom.
and Math. Systems, Vol. 107. Springer, Berlin, 1975.
[99] L. TARTAR : Non local effects induced by homogenization. Partial differential equations
and the calculus of variations, II:925938, 1989.
[100] L. TARTAR : Homognisation et H -mesures. In Actes du 30me Congrs dAnalyse Numrique : CANum 98 (Arles, 1998), volume 6 de ESAIM Proc., pages 111131 (electronic). Soc.
Math. Appl. Indust., Paris, 1999.
[101] L. TARTAR : Mathematical tools for studying oscillations and concentrations : from Young
measures to H -measures and their variants. In Multiscale problems in science and technology (Dubrovnik, 2000), pages 184. Springer, Berlin, 2002.
[102] Techniques de lingnieur. http ://www.techniques-ingenieur.fr/traite/archives_energie.
[103] T. T IIHONEN : A nonlocal problem arising from heat radiation on non-convex surfaces.
European J. Appl. Math., 8(4):403416, 1997. ISSN 0956-7925.
[104] T. T IIHONEN : Stefan-Boltzmann radiation on non-convex surfaces. Math. Methods Appl.
Sci., 20(1):4757, 1997. ISSN 0170-4214.
[105] T. T IIHONEN : Finite element approximation of nonlocal heat radiation problems. Math.
Models Methods Appl. Sci., 8(6):10711089, 1998. ISSN 0218-2025.
[106] J. R. W ELTY, C. E. W ICKS, R. E. W ILSON et G. R ORRER : Fundamentals of Momentum, Heat,
and Mass Transfer. John Wiley and Sons, 4th edition, January 2001.
[107] M. Necati ZISIK : Heat Conduction, 2nd Ed. Wiley, 1993.
139
Cf. [49] K. El Ganaoui, G. Allaire, A. Stietel, Homognisation dun problme de conduction non
linaire, simulation avec CAST3M , Proceeding 36me Congrs national dAnalyse NUMrique (CANUM04), 31 Mai - 4 Juin 2004, Obernai, France.
Cf. [46] K. El Ganaoui, Mthodes dhomognisation pour le calcul thermohydraulique Cur des
transitoires de fonctionnement des Racteurs Caloporteur Gaz , 4me Journe scientifique de la Direction dEnergie Nuclaire, 29 juin 2004, Institut Henri Poincar, Paris,
France.
Cf. [47] K. El Ganaoui, G. Allaire, Homognisation dun problme de conduction-rayonnement ,
Proceeding Tendance dans les Applications Mathmatiques en Tunisie, Algrie, Maroc
(TAM TAM05), 26-28 Avril 2005, Tunis, Tunisie.
Cf. [45] K. El Ganaoui, Mthodes dHomognisation pour des Modles de Transferts Thermiques
et Radiatifs dans le Cur des Racteurs Caloporteur Gaz , 5me Journe scientifique de
la Direction dEnergie Nuclaire, 26 juin 2005, cole Polytechnique, Palaiseau, France.
Cf. [48] K. El Ganaoui, G. Allaire, Homogenization of a Conductive and Radiative Heat Transfer
Problem, Simulation with CAST3M , Proceeding of 2005 Summer Heat Transfer Conference (HT05), July 17-22 2005, San Francisco, CA, USA.
141
bords. Nous dveloppons donc une mthodologie (homognisation et validation) base sur
une justification thorique du processus dhomognisation via la mthode de convergence
deux chelles et une validation numrique via des simulations au moyen du code de calcul
CAST3M. Cette tude est mene dans le cadre de lanalyse de fonctionnement des racteurs
caloporteur gaz. Les rsultats sont galement exploitables pour dautres domaines perfors impliquant les phnomnes de transferts en question.
Mots clefs : homognisation, analyse asymptotique, domaines perfors, conduction, rayonnement, convergence deux chelles, priodique, racteur, CAST3M.