Conditions de bord entropiques faibles

De
Publié par

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


Publié le : vendredi 1 juin 2007
Lecture(s) : 28
Source : math.unice.fr
Nombre de pages : 35
Voir plus Voir moins

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=" n+ e g (s;x+(s¡t)a(»);»)ds:"
0
1Ltx»
1Lt=" n t="e f (t;x;»)!e f (t;x;»);""
1Ln 0f (0;x¡ta(»);»)!f (x¡ta(»);»);"
Z t
11 Ls=" ne (f ¡f )(s;x+(s¡t)a(»);»)ds¡!0:""
" 0
?galit?laSi?enpasserulationaunevcaract?ristiques,limitecettex?.conhegralecettel'?quivsolutionleparetunedoncsuitedans,unapproini.et?gre.treInettroordduisonsalencelestre:probl?mepar(2.1)dans:d?nieslaetformOnaprobl?mesolutioncourbOn:not?esdur?elesesto?o?(2.3),7in(2.2)cettePreuvenet?-:(2.2).MonSoittronsd'ab?galit?Onet? ?Z Zt T? ?1 1s=" n n s="? ?e (f ¡f )(s;x+(s¡t)a(»);»)ds • kf ¡f k 1 e ds" " L" "? ? tx»" "1s=0 s=0Ltx»
T=" n=(e ¡1)kf ¡f k 1:" L"
Z t
s=" n 1e g (s;x+(s¡t)a(»);»)ds L" tx»
0
n!+1
n n
18’2D(]0;T[£]0;+1[ £R ) j<g ;’>j•C(’)kf ¡f kt x » " L" "
C(’)= max j@ ’+a(»)@ ’jt x
supp(’)
Z
t
0Ds=" ne g (s;x+(s¡t)a(»);»)ds¡!0:"
0
0D
Z t
1Ls=" ne g (s;x+(s¡t)a(»);»)ds¡!0:"
0
Z t1t=" 0 s="e f (t;x;»)¡f (x¡ta(»);»)= e ´ (»)ds;" ‰ (s;x+(s¡t)a(»))"" 0
Z
t1t=" 0 (t¡s)="e f (t;x;»)¡f (x¡ta(»);»)= e ´ (»)ds:" ‰ (t¡s;x¡sa(»))"" 0
x¡ta(»)<0 a(»)>0 s=t¡x=a(») s=t
t=" n t=" ¡x="a(») ne f (t;x;») = e e f (t¡x=a(»);0;»)" "
Z
x=a(»)1 (t¡s)="+ e ´ (»)ds‰ (t¡s;x¡sa(»))"" 0
Z x=a(»)1 (t¡s)=" n+ e (f ¡f )(t¡s;x¡sa(»);»)ds""" 0
Z x=a(»)
(t¡s)=" n+ e g (t¡s;x¡sa(»);»)ds;"
0
une(2.3)o?t?greunicit?inlorsqueontre,Pet.Sidans(2.4)pc'est-?-direCeci:arendonctreOr,obtenons:nous,,limitedansoss?delimitequeetmonlacardeFinalemen8t1Ltx»
Z x=a(»)1t=" t=" ¡x="a(») b (t¡s)="e f (t;x;»)¡e e f (t¡x=a(»);»)= e ´ (»)ds:" ‰ (t¡s;x¡sa(»))"" 0
f(t;x;»);x = ta(»)g
]0;T[£]0;+1[£R:
¡ ¢ ¡ ¢
0 1 0 1f 2C [0;T] ;L (]0;+1[ £R ) \ C [0;+1[ ;L (]0;T[£R )" t x » x t »„
0D
08s2[0;T]; @ ´ (»)+a(»)@ ´ (»)=0 D :t ‰ (s;x¡(t¡s)a(»)) x ‰ (t¡s;x¡sa(»)) tx»" "

Z Z Z
¡ ´ (»)(@ ’(t;x;»)+a(»)@ ’(t;x;»)))dtdxd»‰ (s;x¡(t¡s)a(»)) t x"
t x » ? ¶Z Z Z
@ ’(t;y+(t¡s)a(»);»)t
= ¡ ´ (») dtdyd»‰ (s;y)" + a(»)@ ’(t;y+(t¡s)a(»);»)xt y »Z Z ?Z ¶
d
= ¡ ´ (») ’(t;y+(t¡s)a(»);»)dt dyd» =0:‰"(s;y)
dty » t| {z }
=0
0 1E = C ([0;T] ;L (]0;+1[ £R ))t x »Z Z
kf k = sup jf (t;x;»)jdxd» '" E "
0•t•T x »
? Z ¶t1
0 ¡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
' E E t2[0;T]
(t ) tn
? ?
0 0? ?f (x¡t a(»);»)1I ¡f (x¡ta(»);»)1In fx>t a(»)g fx>ta(»)g 1n L

Z Z
fl fl
0 0fl fl= f (y¡(t ¡t)a(»);»)1I ¡f (y;») dyd»:n fy>(t ¡t)a(»)gn
y »
donnenTparoutuned'abanord,partieobserv(2.2),onspqued'uneprobl?meuleestR?ciprobienl'?quationd?nie,defonctiondu(faible)9unl'espaceOnselaFixonscarden?gligeableBanact,hv(etinl'existencealorsdesolution,estetoursoiteet,probl?mequeLeenetdeontunetrosuitettendanformtannonc?evlaersestpassedans.quemenNoussiafonctionv?rieons:det?gralem?metest?cettelaetl'unicit?)l'applicationfonctionlimited?niedans:(2.1).une.touteOndoncobtiensolutiontEn(2.5)dansPt(2.4)observram?ne?,probl?met?gralepl'?quationoind?rivxe.sutincela,duitnormeetdans(2.5)in,ermdeuniildelaour.dans0 1 0~0">0 f 2L f 2C (]0;+1[ £R )x »x» c
0 ~0kf ¡f k 1 <":L

? ?
0 0? ?f (x¡t a(»);»)1I ¡f (x¡ta(»);»)1In fx>t a(»)g fx>ta(»)g 1n L

0 ~0• 2kf ¡f k 1 +R(t ¡t):L n
Z Z fl fl
n!+1fl fl~0 ~0R(t ¡t)= f (y¡(t ¡t)a(»);»)1I ¡f (y;») dyd» ¡! 0fl fln n fy>(t ¡t)a(»)gn
y »
n
? ?
0 0? ?f (x¡t a(»);»)1I ¡f (x¡ta(»);»)1I <3":n fx>t a(»)g fx>ta(»)g 1n L

0t7!f (x¡ta(»);»)1I 2E:fx>ta(»)g
b 1 0~bf 2 L (]0;T[£R ) f 2 C (]0;T[£R )t » t »„ c
bt7!f (t¡x=a(»);»)1I 2E:fa(»)>0;x<ta(»)g
t
Z Z Z x=a(») fl1 ¡s="fle ´ (»)1I‰ (t ¡s;x¡sa(»)) fa(»)>0;x<t a(»)g" n n" x » 0

fl¡´ (»)1I dsdxd»‰ (t¡s;x¡sa(»)) fa(»)>0;x<ta(»)g"
Z Z Z
t fl1 (?¡t)="fl• e ´ (·)1I‰ ((t ¡t)+?;y) fa(·)>0;y<(t ¡t+?)a(·)g" n n" y · 0

fl¡´ (·)1I d dyd·‰ (?;y) fa(·)>0;y< a (·)g"
Z Zt1
(?¡t)="• e j‰ (t ¡t+?;y)¡‰ (?;y)jdyd " n "
" 0 y
? ¶Z Z Zt1 (?¡t)="• e jf (t ¡t+?;y;»)¡f (?;y;»)jd»dy d " n "
" 0 y »
¡t="• (1¡e ) max kf (t ¡t+?;y;»)¡f (?;y;»)k ;1" n " Ly»?2[0;T]
grands'obtienhonsApproconSoit:Enn,Donc,laOntsuivhannouscourconergencetino?par,uit?teenD'o?des,termesobtenonsd?nisassezappropendomin?e.parvunepart?gralea.i.einparc:tanm?me,fa?onDede10la

Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.