Conditions de bord entropiques faibles

Damien Broizat

Description

Conditions de bord entropiques faibles d'une loi de conservation scalaire via la relaxation cinétique Damien BROIZAT sous la direction de Florent BERTHELIN Juin 2007 1

• cause du signe variable


• inégalité entropique


• conditions de bord entropiques


• modèle cinétique


• unique solution


• condition au bord


• couple entropie-flux d'entropie pour la loi de conservation scalaire

Informations

• Publié par: pefav
• Publié le: 01 juin 2007
• Nombre de lectures: 22
• Langue: Français

Extrait

cin?tiqueConditionsdedeTbTHELINordBRenlatropiquestfaibles2007d'uneDamienloiOIZAdesousconservdirectionationFlorenscalaireBERviaJuinla1relaxation´
»
‚
.1.In.tro.duction.3262.Etudescalairedu.movd?le4cin?tique.6.2.1.Propri?t?s.deonctionsla.fonction.ten3.2.ents...ord.par.....5.2.........3.1.tropie...........v.la.de6o2.2.Existence.dedesolutionstropiquescon5.1tinensationues.en.temps.et.en.espacerace...............2.17.F.d'en.cin?tiques...................17.Con.ergence.ers.solution.tropique.Kru.zk6v2.3.Conserv.ation.du20suppConditionsortbcompactenenfaiblesCon5Annexe32.Compacit?.comp.....................32.T13faible3.Con.v.ergence.v.ers.la.solution.en.tropique.de.la.loi.de.conserv32a-tion8
@ ‰+@ A(‰)=0; t>0; x> 0< t x
0‰(0;x)=‰ (x); x>0
: b‰(t;0)=‰ (t); t>0
1A C
A
‰
@ ‰+@ A(‰)=0; t>0; x> 0t x
0‰(0;x)=‰ (x); x>0
8
@ ‰ +@ u =0; t>0; x>0t " x ">>>> A(‰ )¡u " ">< @ u +‚@ ‰ = ; t> 0; x>0t " x "
"
> 0> ‰ (0;x)=‰ (x); x> 0">>>: 0u (0;x)=A(‰ (x)); x> 0"
" > 0
"!0 A(‰ )¡u !0 ‰ !‰ @ ‰+@ A(‰)=0" " " t x
"!0
»
Z
f (t;x;») ‰ ‰ (t;x)= f (t;x;»)d»" " " "
»
(
´ ¡f‰ ""
@ f +a(»)@ f = ; t> 0; x>0; »2Rt " x "
"
0f (0;x;»)=f (x;»); x> 0; »2R"
0a=A ´
?tredesordUnpar(1.2)trovdensit?ersconditionlet?r?to?di?rensecondparticules,memailbredeestleappfonctionel?suivparam?treondeprelaxation.vitesseNousellevdeouneyrelaxationonsscalaireformellemenCet:quelelorsqueDed'unedenouvpelleun,non-lin?arit?EDPsyst?me(ouansyst?me?detan?ed'EDP)unequi,ue,elle,L'obcetraestreli?elin?aire.macroscopiqueettraiterdonc,d'unesiservPvprobl?meetard?leexemple,anonder?cup(1.1)?reestsoitclasseestg?n?rale,lem?thoprobl?meestdetleonCauclehnonyorte":l'opsuiv:ano?.ouvLetmoassimil?ed?lelarelax?instansemdebleetdoncnouvapproinconnclahermicroscopiqueenjetuncecertainvsens,t?etdensit?moestdeune:"d'?quilibre"lacommecin?tique:loi(1.2),con-moationyaennanectinitialela.l?gitimit?moduestpassagesuiv?tlaconditionlimiteblorsque:1o?Inuxtroune.deUn.mofa?ond?lel'indedesrelaxationdesderelaxation(1.2)leplusansophistiqu?:est:leinmoduitd?leourcin?tique,uxo?lin?aire,l'on"transpinlatrodeduit?rateurunetieltroisi?melin?airev(1.3)derelaxationd?lesariableductionlao?loiestdefonctionconser-d?nievsuitation3scalaire´ ´ R
8
< 1 0•»•r
´ (»)= ¡1 r•»•0r
:
0
‰"
‚z
8k2R @j‰¡kj+@ (sgn(‰¡k)(A(‰)¡A(k)))•0:t x
· G : R ¡! R
@ ‰+@ A(‰)=0 ·t x
0 0 0·A =G :
‚
8k2R · (‰)=j‰¡kj; G (‰)=sgn(‰¡k)(A(‰)¡A(k)):k k
8
´ ¡f‰ "">< @ f +a(»)@ f = ; t>0; x> 0; »2Rt " x "
"
0f (0;x;»)=f (x;»); x>0; »2R">: bf (t;0;»)=f (t;»); t>0; »2R"
a(»)
8
@ f +@ f =0; t>0; x>0> t x> @ g¡@ g =0; t>0; x>0> t x< 0f(0;x)=f (x); x> 0
bf(t;0)=f (t); t> 0>> 0> g(0;x)=g (x); x> 0>: bg(t;0)=g (t); t>0
tr?dedansrelaxationdecin?tiquevalin?airevauecdeconditionplusinitialeonsetenconditionvoyonsde:bsolutionsord,entrmais(Eneners?tanexemple,thconfronquet?sles?lelamodicult?csuivestan(1.3)tealair:penformentg?n?ral,vleteprobl?me?galemen:monv?riantPsolutionpd?lelemoerbuneoirtropiquesontetrdelec'est-?-diror(1.2),quek1.1odesv)(1.3)Ileectiv(1.2).onvexeunsiNoussensqu'oss?decausequelaonservationdelaortd'entrecladensit?si?metleDeuxeet,D?nitionrappsuivelonslaleRappth?or?mesolutionsuivplusan.t:arTh?or?menous1.2ouv(Kruexaminertsyst?me?tudianypenolique[1](v?[1])blable:semjeuheopiesd?marcen-unezkov,adopteronsKrunous?meIci,th?loidanslaainsideNousopiqueRemarqueentrdistributionssolutionsensD?nitiond?le1.1appro(Fheonctionemen)etOncnotetla(1.2),fonctionled?nieo?surppdesaret:esiscsicuneloisinonourB.opiePopie-uxerthameoupleetunE.leursTconadmorergenonet(1.5)fonctionsesttropies)mal1.3p:os?,an?g?n?ralecaused?nitiondutsigneelonsv(1.4)ariablel'uniquedetexisteconstatonsA?probl?medemalvitesseos?.transpnousn?gativonservationdanscdeux-de?quation,encetestaup?Ceciuneobligescconsid?rere4alairbf(t;0;»)=f (t;») » a(»)>0
‰ ‰"
8
2@ ‰ +@ A(‰ )="@ ‰ ; t>0; x>0< t " x " "xx
0‰ (0;x)=‰ (x); x>0 ;"
: b‰ (t;0)=‰ (t); t>0"
+‰(t;0 ) ‰
¡ ¢
+ b 0 b + bG(‰(t;0 ))¡G(‰ (t))¡·(‰ (t)) A(‰(t;0 ))¡A(‰ (t)) •0;
(·;G)
1 0 0 1A C a=A f (x;»)2L (]0;+1[ £R )x »
b b 1f (t;»)=´ b (») ‰ (t)2L (]0;T[ ) d„=ja(»)jdtd»:t‰ (t) Z
0 0
1f kf (:;»)k d» < +1Lx
»
»
">0
8
´ ¡f‰ "">< @ f +a(»)@ f = ; t>0; x>0; »2Rt " x "
"
0 ;f (0;x;»)=f (x;»); x>0; »2R">:
bf (t;0;»)=f (t;»); t>0; a(»)>0"
Z
‰ (t;x)= f (t;x;»)d»" "
R¡ ¢ ¡ ¢
0 1 0 1C [0;T] ;L (]0;+1[ £R ) \ C [0;+1[ ;L (]0;T[£R ) :t x » x t »„
1"!0 (‰ ) L (]0;T[£]0;+1[ )" " t xloc
‰
‰
@ ‰+@ A(‰)=0; t>0; x>0t x
;0‰(0;x)=‰ (x); x>0
onsledesestd?nies?opiquesuppTh?or?meortdanscouvomptranactconditionsenmondesv.LAonverlorsnotre:orteron(i)lesPourbientoutundensit?ssuivtropiquepr?cisemenqu'elec,neleypprtropiquesetblimite?rerlaenparvers?rie?sd?levsuren'imptMaisseronquellesordos?bdeypSoitttdule"visqueux"nousoliqueannexe.detracesparabqu'av?rieourronsprobl?mecas,unsaufquecegalementde?laoseensuppconditionsOndanspardonc(1.1)Nousprobl?meordlecouplehe"solutioncde"approneondoncsi"vitesses:i.eequemesurquelapsoitnousetest,ptdansanclassesuivuxr?sultatdele1.4utilise:onandeviner,th?or?mequitrerluiallonsestt,bienPluspenos?,faibles,o?des,vonaillermontratrepquenoussousnotrecertainesquehe,yptoth?ses(ii)(notammenorsquetfaiblesl'existence,d'unesuitetracedensit?sforteordlesdeetcourgePdesexiste.espcelle-cionssip),tropie-ux.lablimitede,morecouvretoutconditionl'uniquel'in?galit?entrenouro?pdecin?tiquebpordtmoinsqueexigeanlesteren-estes",donn?ondesoserasoientsur,telsque.dansnousl'?quationouv(1.1).alors,demanderLesconditions,obl?me5cin?tiqueZ
0 0‰ (x)= f (x;»)d»
»
‰
‡ ·
b b b8k2R G (‰)¡G (‰ )¡sgn(‰ ¡k) A(‰)¡A(‰ ) •0;k k
G (‰)=sgn(‰¡k)(A(‰)¡A(k)) uk
u
a(») > 0
‰"
´
r7!´ (») »2Rr
r ‰
Z
j´ ¡´ jd» =j‰¡rj:‰ r
»
‰ Z
a(»)´ (»)d» =A(‰):‰
»
0 1 b 1f (x;»)2L (]0;+1[ £R ); f (t;»)2L (]0;T[£R ) d„=ja(»)jdtd»:x » t »„¡ ¢ ¡ ¢
0 1 0 1f 2C [0;T] ;L (]0;+1[ £R ) \C [0;+1[ ;L (]0;T[£R )" t x » x t »„
8
´ ¡f‰ "">< @ f +a(»)@ f = ; t>0; x>0; »2Rt " x "
"
0f (0;x;»)=f (x;»); x> 0; »2R">: bf (t;0;»)=f (t;»); t> 0; a(»)>0"
Z
0">0; a2C (R); ‰ (t;x)= f (t;x;»)d»:" "
R
8x‚0; pp x> 0; pp »2R
en6Dansaulors(ii)A2.1etla(2.1)eaoissante,vPropecestimationsconditionvinitialeoinetlacondition?de2bduordLp(2.1)ourmacroscopiqueslesEnn,vitessesla"renDetranaletes"d'un(i.enotationd?leacmofaibledutouspropri?t?sdelesour?tudionsest).d?leTfonctionout2.1d'abfonctionord,deSoientpartie,cin?tique)lesl'?quationobtiendrons?dusolutions?vdecommen(Existencepuis2.2onTh?or?meint?espace:endeet?tempstempsend?signeuestrtel:leetqueels:rtinPourcon.solutions.detoutExistencep2.2cronEtudemonmotrecin?tiquel'existencecette(etal'unicit?)(i)d'uneositionsolutionpremi?reconlao?o?tinPropri?t?s..(iii)nousLdensit?sasursolutiondesuenousv?rietemps.:courslesolueelsolution?trerratoutonPourxe,(iii)plus,in?agalit?sformulationentrgropiquessuivantefaiblestsuivantesp:th?or?meo?l'aide,espaceeteto?enlailexiste? Z ¶
t10 ¡t=" ¡s="f (t;x;»)= f (x¡ta(»);»)e + e ´ (»)ds 1I" ‰ (t¡s;x¡sa(»)) fx>ta(»)g"" 0
ˆ !Z x=a(»)1b ¡x="a(») ¡s="+ f (t¡x=a(»);»)e + e ´ (»)ds 1I :‰ (t¡s;x¡sa(»)) fa(»)>0;x<ta(»)g"" 0
¡ ¢ ¡ ¢
0 1 0 1 1f 2C [0;T] ;L (]0;+1[ £R ) \ C [0;+1[ ;L (]0;T[£R ) ‰L :" t x » x t »„ tx»
n 1(f )2C (]0;T[£]0;+1[ £R )t x »" c
1Lnf !f X(s;t;x)""
8
dX>< (s;t;x)=a(»)
ds
>:
X(t;t;x)=x
»
X(s;t;x)=(s¡t)a(»)+x
? ¶
d 1 1s=" n s=" n n(e f (s;X(s;t;x);»))=e ´ + (f ¡f )+g‰ "" " " "ds " "
n n n 1g =@ (f ¡f )+a(»)@ (f ¡f )2L :t " x "" " " tx»
x¡ta(»)>0 s=0 s=t
Z t1t=" n n s="e f (t;x;»)¡f (0;x¡ta(»);») = e ´ (»)ds‰ (s;x+(s¡t)a(»))" " "
" 0
Z
t1 s=" n+ e (f ¡f )(s;x+(s¡t)a(»);»)ds""" 0
Z t
s=&quo