Tra c flow modelling with junctions

⁄
r(t;x)
@ r+@ (rv(r))=0;t x
v
v ‰a
@ ‰ +@ (‰ v(r))=0t a x a
⁄
thetsaloforen,trytandthatexit.exitInfact,thisesnote,Univwinniteeewhouldthelikbedel,toedescribypeSeptemtheesses:moratherdellisationtryoftheaherejunctiondelandosolvyedenotedtheout,Riemannaproblemmforehiclessucdistinctionhlaabmothedel.pMorewpreciselyBranze,wbeetroundabwoineenerioeacdherimeter.panointhetpreciselyoftrodisconwtinofuitgoymowofetheuseequation:adellingm(1.1)ulti-classeedextensionratherofthethedierenLtheyWRgoingmowdelthetoalldescribFinallyeytheehicle,evholutioneenofdiscontheMagalidensitDipartimenyStudiofItaliathemercier.magali@ing.unibs.itvseeehicles,Here,thean`mconsiderulti-class'asapproacwithhofbexiteingdistributed,usedpinondsorderout'stoparticular,distinguishnotthetovtracehiclesofafterexit.theirtheorigineandisdestination.bThen,twoinetrytreattractheernedpLoinsotsdensitofvenytrytoanderiesexitethanksatothespMotivecial2008benoundaryw.conditionsethatheregivextensioneWRbinoundstheonthethefromotheywsAsofquitethehadierengivtspt9,yptesvofifvtheehicles.oneInofthevcasewingofentheetone-TwroadtswuiteMercierobtainparacresultdiofsit?existenceBrescia,and25123uniqueness.E-mailThislyrstnetsteporks,allo[11]ws[6].uswtowobtaintatosimilararesultoutforantheroadn-Tproad.tsWeneanddescribpedicallythesesoresultsaanderioalsocorrespsometoproproundabertiespofInthewobtaineddosolutions,wintorderstudytotheseeonhoroadswarrivlongandthisMoremo,delmoiswvinalid.duce2000sucMathematicsthatSubjeetcteenClassicwation:p35L65,ts90B20enKeyandworthedsisandvphrbases:theHypWRerbdel,olicthatSystemstotalofyConservtheationehicles,Labws,tracConstudytinleduumvtractheoarewwmoroundabdel,ofRiemannmoproblem.y1atedInAbstracttrowhereduction.isTgivracspmoladelling,Ininwparticularwillfromconsideraamacroscopiculti-classpofoinLtmoofasview[14],hastiatingbveenafterinplacetensivcomeelyandinplacevareesti-to.gatedthissinceisthearticial,seminalepapvertobeysameLigheedthillw&forWithhamthe[15]ypandofRicehicles.hards,[17],erseeisfordensitexampleof[16],t[10].eThisvpapitereriesonfollooinequationoneacermanenopadress:segmenCamillebUnivwClaudetLyoI,oinbofardtin11y:vroadbreawithjunctions.withF-69622dellingCedex,moranceoTToraryisPmotivtatedInstitutbJordan,yersit?theBernardmoondelling43,ofoulevroundabduouts.noSomeem-pap1918,ersVilleurbannehaFv-eempal-address:readytotacMatematica,kleder-thisdegliproblemdibViay38,consideringBrescia,the-roundabaddroutsmercier@math.univ-ason1.fr,sp1eciala
.
1
2 3
.
‰ ‰1 2
‰3
‰ ‰1 2
‰3
n
0;1v : [0;1]!R C+
r =1
0;1C R+
[0;+1)
q :[r7!rv(r)] q r =r 2]0;1[c c
?: [0;1]7![0;1]
rv(r)=?(r)v(?(r))
?(r)=r r =rc
pteringeedorofexiting.andWeeThewilldenoterst2.treatexistencetheincaseproofthetheb`one-Tasroad'maxim(seeconFigurefor1),structuredandandthendetailsgluewtheofsolutionswobtainedvforoeacathconpinoinist[2],ofoundaryenaretryandandonexitThis(ininorderpreciselytoeobtaineaofloandcaltheingeneraltimeandsolution).hThefolloideaw:areerehiclesehicleswhicrdecreasingv.rbthehitzroadalFigureo1:givAe`T-road'.atisfromthat,eattooneuniquelypenoinequationterofbentimetrytheanderexit,follow2,eecanmodierenetiateprincipalthree3,teyptheestheof`one-TvSectionehicles:givtheofvinehicles2thatmogoresults.straighjunction.t,otheses.ofassumedensitconditionsyeedsecondaryAlltheha,samethewvofehiclesonthatisareconsistabvout[7]:towexitandthesetroad,uousofanddensitinytheof(F)yw,asandconditionstheconcavattainsehiclesbthatChapt.haBardos-Leroux-N?d?lecvseeew,eninspiredteredecialthetreatedroad,uousofbdensitandytscapacitBesides,there-nd.,Thenvw6eoundrequirethethat,ofacrossofthesolution.ppapoinistasofw:disconSectiontinwuitdescribymore,thethedelowwgivofourtoresults;ondingSectioniswconservgived,thetheofoprowinofcasecorrespthetroad';isinless4,thanesomeeprescribdetailsedtheoutputoffunction,theandcase.theDescriptionothewdelsofmainconstrain2.1a`one-T'isGenerallessypthanThroughout,someeprescribtheedwinginputonfunction.spWlae(V)obtaintheinehiclesthisvwtheaspylaaanduniquevwwseaktheen,trophyoundssolution.inIn,orderandtoanishestreattheythe.GoatineHere-Tecase,PwoethehaofvtineLipsconlyfunctionstoR.Colomcollatethegivtervenideassame2factsolutions.atTheeacwhfollopinequalitiesoinentareofoundarydisconstrictlytinvuitandyits,umtheThesenite15].propagation[19,sponeseedtheallo,wingFigureinBelothiswcasedenotetoconditions,obtainbaspuniquethankslothecaltininmaptimedenedwyeakexitentrytropofyoinsolution.theW(1.1).ethecanealsowgivalle6aolosummationwByerthe.local.
q( )
qc
q(r)
(r) rO r 1c .
v(r)=V (1¡r):m
q(r)=V r(1¡r) r =1=2 q =V =4 ?(r)=1¡rm c c m
‰1
‰ ‰2 3
r!v(r)
‰ ‰
@ ‰ +@ (‰ v(‰ +‰ )) = 0 @ ‰ +@ (‰ v(‰ +‰ )) = 0t 1 x 1 1 2 t 1 x 1 1 3x<0; x>0:
@ ‰ +@ (‰ v(‰ +‰ )) = 0 @ ‰ +@ (‰ v(‰ +‰ )) = 0t 2 x 2 1 2 t 3 x 3 1 3
‰ (0;x) = ‰ (x) x2R1 1;0
‰ (0;x) = ‰ (x) x<02 2;0
‰ (0;x) = ‰ (x) x>0;3 3;0
‰ v(‰ +‰ )(t;0¡) = ‰ v(‰ +‰ )(t;0+) ;1 1 2 1 1 3
‰ v(‰ +‰ )(t;0¡) • o(t) ;2 1 2
‰ v(‰ +‰ )(t;0+) • i(t) ;3 1 3
+o i R
‰ ‰ ‰1 2 3
‰1
‰ ‰2 3
‰ ‰ ‰2 1 3
t,articularthatPw.theyeingdensitowdisconokindthebforediagramthetalandundamenconservFw2:theforectivFigureasorout,rareemothemaxdensiteymaximised.ofofthepp,opulation(respthatbneithertheenisterstnorvforotherwise,exitstotherst.road,casethehoforthedensitroad.yoofrst,thebpthatopulationofthathaexits,andconditionstheodensitandyacrossfortsofuitthethep.opulationely(2.3)mandlesstheyfolloroadwingv`bteringoundary'exiting).conditions,pthatecantobyewillcomparedpwithwhictheisonesgoalgivtreatenaine[7],towhereyaehiclestoll-gateonismeansconsidered:maximisethatofendel.ters.onlyAssumingwthatequations,themeansbtheehawsviourwof,drivvers,emoaredelledThesebsignifyythethewsp,eedislaedwthe,oinisofindeptinendenyws:whereaslaomaxofationDescriptionconservectivcaloflo)theusttoedata:thanledcapacitareofinitialsecondaryethiswofdestination,ehiclestheirenand(resporiginelytheirAoththisboinfromwmaxhatetheaddaddprioriterule;witurthermore,notFe(2.2)ossiblecase.decideFhorwamaximisedforOurconcretebexample,towtheeofmaroundabmaxwyctakose.giveprioritandtoInvarethatsomealreadyprescribtheedThisoutputthatandeinputthefunctionswstaking`one-T'vandaluesLetinandthisaftercase,o.ofInthese(2.4)3where‰ ‰1 2
t=0
o;i2BV ([0;+1);[0;q ])c
‰ 2BV (R;[0;1]); ‰ 2BV ((¡1;0);[0;1]); ‰ 2BV ((0;+1);[0;1])1 2 3
(‰ ;‰ ) (t;x)2[0;+1)£(¡1;0)1 2
(‰ ;‰ ) (t;x)2[0;+1)£(0;+1)1 3
x2R ‰ ;‰ ;‰ t=01 2 3
t>0 ‰ ;‰ ;‰ x=01 2 3
' “
2S = ‰=(‰;‰~)2R : ‰‚0; ‰~‚0; ‰+‰~•1
i‚ 0 o‚ 0
¡ ¡‰ (0;x) = ‰ x 2 (¡1;0) ‰ (0;x) = ‰ x 2 (¡1;0)1 21 2
+ +‰ (0;x) = ‰ x 2 [0;+1) ‰ (0;x) = ‰ x 2 (0;+1)1 31 3
o > 0 i > 0 T =f(‰ ;‰ )2S;a•a;b 1 2
‰ +‰ •bg a‚0 b•11 2
S
o2 [";1] " > 0 ‰2 T b < 1 T0;b 0;b
‰ = 0 t = 0 ‰ (t;x) = 0 t x1 1
i· 0 ‰ = 0 ‰ = 0 t = 0 ‰ (t;x) = ‰ (t;x) = 0 t2 3 2 3
x ‰1
¡ +o;‰ ! 0 r ! 1
2
¡‰ ! 01
+o = 0 r = 1
+ ¡o=0 r =1 ‰ >02
¡‰ > 01
¡ ¡‰ = 0 ‰ = 02 1
2.2i.e.wildata,einitialtheonstantsolutionccanwithonandIfoutow,densitiestheLandandinowisthewillforifandforvaluessolutionoundarydensitiesfortrbandonstantWhitham'scearwithept(2.4)whenin(2.3)the(2.5)theIn(respthiselycase,increaseforteractwene,obtainetthethenfollothewingforresult:haveTheoremconserv2.4vUnderasthe[21].hypdisconotheseswher(V)spandr(R)ely,vthecorrespRectiviemannbprleft-sideoblemonehiclesforIncasethenowsproblemmaximisefromobviousbloonkwhereasroadectivsimplynotandthoseparticularRemarkens.triplein(2.2)(2.3)(2.4)theAsenseatofDenitions.thesimultaneDenitionof2.2.timeFnulurthermoree,whilewhenthe(2.2)aanlamee,thewemo(2.2)(2.3)(2.4)osedforo,etherthateuitiesexistswesomecinvariantwhensetinproblemthat,RiemannWBythis2.3folloDenitionroad.canw(whicelotob,denoteturne),Wviour.on(2.4)thesatisfyendinpresenceofofestoacjammedtrinthe,,elya.e.timeforthe,(respforwe4.).densit(2.3)leftsmaltolpriorienoughItand2.1satisfydoininofwithlarwhogeter.enough.2.6OnofesatheisRtoiemannandsolver.forLthetimecDenitiononsider,eous.disprtheseoblemmaximisationis,notatclontinuous.atHowever,allitandis,ctoontinuousisonusualsometosubset:scalarforationacw,trwthereco,era.e.classicalwithWRfordel,3.exp;inandbforok(2.3)Wtoobservsolutionhereysome,tinwithapptropwheneneeakases(cialwalsoaeistheb,eingexcanesolutioninvariant.set),etheexplainsolutionqualitativisasobtainew:dacwhereontinuously.ehiclesQualitativgoejammedpropherties.ondsRemarkthe2.5outIfresp2.ely;lforit(2.2)theatehatimeoftotracsolutiontheyof,roadthendeptropdramaticallyentheeakorwabsenceaviswilling1.gothatthisforroad.allfact,suchtheandbutfunctionsandandectiv(2.2)(2.3)(2.4)ofdecouplesthein),tsamewatoanindepectivendenctthatIBVPs.notFthenromtotaltheytracthepwilloinabruptlyt1;ofifview,aitismeans(respthatelythoseRemarkwhoexitfor)(2.2)thearising(2.3)thec(2.4)edis(2.5)ignoredadmitsnothingahappunique4solutionn
n n 2N n < 1
x 2R k 2 J1;nK x < x < x < :::k k¡1 k k+1
n+1 ‰i;j
i j
2n+1 (n+1) (‰ )i;j i2J0;nK;j2J1;n+1K
.
xx x x x1 i j n
i, j
0 n+ 1
1 i j n .
n
+ ¡x x R