 the desired inequality in.

Proof of Proposition \[prop:stability\] {#sec:proofpropstability}
---------------------------------------

We prove Proposition \[prop:stability\] for the monopoly and the proof is identical for the symmetric duopoly. To prove Proposition \[prop:stability\], we first formulate the static optimization problem via a network flow model that characterizes the *capacity region* of the network for a given set of prices $\ell_{ij}^1(t)=\ell_{ij}^1\; \forall t$ (Hence, $\Theta_{ij}(t)=\Theta_{ij} \; \forall t$). The capacity region is defined as the set of all arrival rates $[\Lambda_{ij}]_{i,j \in \mathcal M}$, where there exists a charging and routing policy under which the queueing network of the system is stable. Let $x_i^e$ be the number of vehicles available at node $i$, $\alpha_{ij}^e$ be the fraction of vehicles at node $i$ with energy level $v$ being routed to node $j$, and $\alpha_{ic}^e$ be the fraction of vehicles charging at node $i$ starting with energy level $v$. We say the static vehicle allocation for node $i$ and energy level $v$ is feasible if $\alpha_{ic}^e + \sum_{\substack{j\in{\cal M}\\ j\neq i}} \alpha_{ij}^e \leq 1$. The optimization problem that characterizes the capacity region of the network ensures that the total number of vehicles routed from $i$ to $j$ is at least as large as the nominal arrival rate to the queue $(i,j)$. Namely, the vehicle allocation problem can be formulated as follows:

\[eq:capacityregionproblem\] $$\begin{aligned}
\label{eq:capobj}&\underset{x_i^e,\alpha_{ij}^e,\alpha_{ic}^e}{\text{min}}& & \rho\\
& \text{subject to}
\label{eq:capconst1}& & \Theta_{ij} \leq \sum_{e=e_{ij}}^{e_{\max}}x_i^e\alpha_{ij}^e \quad\forall i,j\in \mathcal M,\\
\label{eq:capconst2}& & & \rho \geq \alpha_{ic}^e + \sum_{\substack{j\in{\cal M}\\ j\
the desired inequality in. 

 Proof of Proposition \[prop: stability\ ] { # sec: proofpropstability } 
 --------------------------------------- 

 We prove Proposition   \[prop: stability\ ] for the monopoly and the proof is identical for the symmetric duopoly. To prove Proposition \[prop: stability\ ], we foremost give voice the static optimization problem via a net flow mannequin that characterizes the * capacity area * of the net for a given set of prices $ \ell_{ij}^1(t)=\ell_{ij}^1\; \forall t$ (Hence, $ \Theta_{ij}(t)=\Theta_{ij } \; \forall t$). The capacity area is defined as the set of all arrival rates $ [ \Lambda_{ij}]_{i, j \in \mathcal M}$, where there exists a charging and spread-eagle policy under which the queueing network of the system is stable. Let $ x_i^e$ be the act of vehicles available at node $ i$, $ \alpha_{ij}^e$ be the fraction of vehicles at node $ i$ with energy horizontal surface $ v$ being routed to node $ j$, and $ \alpha_{ic}^e$ be the fraction of vehicles charging at node $ i$ get down with energy level $ v$. We say the static vehicle allotment for node $ i$ and energy level $ v$ is feasible if $ \alpha_{ic}^e + \sum_{\substack{j\in{\cal M}\\ j\neq i } } \alpha_{ij}^e \leq 1$. The optimization problem that characterizes the capacity region of the network ensures that the total number of vehicles routed from $ i$ to $ j$ is at least as large as the nominal arrival rate to the queue $ (iodine, j)$. Namely, the vehicle allocation trouble can be give voice as follow: 

 \[eq: capacityregionproblem\ ] $ $ \begin{aligned } 
 \label{eq: capobj}&\underset{x_i^e,\alpha_{ij}^e,\alpha_{ic}^e}{\text{min } } & & \rho\\ 
 & \text{subject to } 
 \label{eq: capconst1 } & & \Theta_{ij } \leq \sum_{e = e_{ij}}^{e_{\max}}x_i^e\alpha_{ij}^e \quad\forall i, j\in \mathcal M,\\ 
 \label{eq: capconst2 } & & & \rho \geq \alpha_{ic}^e + \sum_{\substack{j\in{\cal M}\\ j\
 thf desired inequality in.

Pvoof of Propositnin \[pro':stabiljty\] {#sec:pfoofpropstability}
---------------------------------------

We prove Prlpisitiin \[prop:stability\] for thd monopolj and the proid is identmdal for the sglmetxir duopoly. To prpve Proposhtion \[prop:stabhlktv\], we first formulate the static optiiizatiom oroblem via a getwpwk fmow model that characterizes the *czpacity region* of thr network for a given set lf pgices $\ell_{ij}^1(t)=\ell_{ij}^1\; \vorall t$ (Hebce, $\Eyeta_{ij}(t)=\Theta_{kj} \; \forall t$). The capacjty region is defined as the seg of cll arrival rqted $[\Lambda_{ij}]_{i,j \in \mwthcal M}$, whevv there exists a charging anc rmutung policy under whici the queueing netwotk of the vyatem is stable. Ler $z_i^e$ bg the numcwr uf beiicmes avwileble at nods $i$, $\alpha_{ij}^w$ be the fraction og dvnicles at nose $i$ wytr energy level $v$ being routed to node $j$, ans $\alpha_{ic}^e$ be the fractuon of vehicles charglng at noqe $i$ starting with energy level $v$. We say the stathc veiizle ajuicwtion for node $i$ and energy level $v$ is feasibjs of $\alpha_{ic}^e + \sum_{\fubstack{j\in{\vap K}\\ j\neq i}} \alpha_{kj}^e \leq 1$. Fhe optimization pgoblem jhat cyaracteriees tne capacity region of the nwtwork ensurvs tyat the total numbzr of vehiclzs roujed frpm $i$ to $j$ is at least ar ladge as the jominal adfival rate to thd qleue $(i,j)$. Namely, the vehicle alljcation pcoblek can bd fotmulateq as folloas:

\[eq:capacityregionproblel\] $$\begnn{alicned}
\label{ee:capobj}&\underset{x_i^e,\alpha_{ij}^e,\alpha_{mr}^e}{\text{min}}& & \rhp\\
& \dexn{subject co}
\labek{eq:capconst1}& & \Eheta_{ij} \leq \suk_{e=e_{ij}}^{e_{\mcx}}x_i^e\aupha_{ij}^e \quzd\foraln i,j\in \mathsal M,\\
\label{eq:cdkconst2}& & & \rho \jeq \alpha_{yc}^e + \sum_{\wubstacy{g\in{\cal M}\\ j\
the desired inequality in. Proof of Proposition --------------------------------------- prove Proposition for the monopoly for symmetric duopoly. To Proposition \[prop:stability\], we formulate the static optimization problem via network flow model that characterizes the *capacity region* of the network for a set of prices $\ell_{ij}^1(t)=\ell_{ij}^1\; \forall t$ (Hence, $\Theta_{ij}(t)=\Theta_{ij} \; \forall t$). The capacity is as set all arrival rates $[\Lambda_{ij}]_{i,j \in \mathcal M}$, where there exists a charging and routing policy under the queueing network of the system is stable. $x_i^e$ be the number vehicles available at node $i$, be fraction of at $i$ energy level $v$ routed to node $j$, and $\alpha_{ic}^e$ be the fraction of vehicles charging at node $i$ starting with level $v$. the static allocation node and energy level feasible if $\alpha_{ic}^e + \sum_{\substack{j\in{\cal M}\\ \leq 1$. The optimization problem that characterizes the region of network ensures that the total number vehicles routed from $i$ to $j$ is at as large as the nominal arrival rate to the queue $(i,j)$. Namely, the vehicle allocation be formulated as follows: $$\begin{aligned} \label{eq:capobj}&\underset{x_i^e,\alpha_{ij}^e,\alpha_{ic}^e}{\text{min}}& & & to} & \leq \sum_{e=e_{ij}}^{e_{\max}}x_i^e\alpha_{ij}^e i,j\in \mathcal M,\\ \label{eq:capconst2}& & & \rho \geq \alpha_{ic}^e + \sum_{\substack{j\in{\cal j\
 the desired inequality in.

ProOf of ProposItion \[ProP:stAbIlitY\] {#sec:ProofpropstabiLIty}
---------------------------------------

WE prove Proposition \[prop:sTabilItY\] For tHE mOnopoLy and thE PrOOF is IdEnTicAl FOr The syMmeTric duoPoly. To provE PrOpOsition \[prop:sTAbIlity\], we firSt fOrmulate the sTatIc optiMiZatIOn proBleM via a NetworK Flow moDel that chArACterizES the *capACItY regIon* of the network foR A gIVen set of prices $\Ell_{ij}^1(t)=\ElL_{Ij}^1\; \FORalL t$ (HEnce, $\Theta_{iJ}(t)=\theta_{IJ} \; \forall T$). thE CAPacITy region is defIned as the seT Of aLl arriVaL raTEs $[\LambDa_{ij}]_{i,J \iN \MatHcal M}$, where tHere Exists a chArging ANd routiNG policy Under wHicH thE queUEiNg NetWoRK of THe SysTEm iS stable. LEt $X_i^E$ be thE numBER OF vehIclEs avAilabLe at node $i$, $\alphA_{ij}^E$ be tHE frActioN of veHiclEs At nodE $i$ with EnergY lEvel $v$ being routeD to nOde $j$, and $\alPha_{Ic}^E$ be ThE fracTIon of vEhiCleS chargiNg at nodE $I$ stArTING wIth energy level $v$. We sAy THE sTatic vehIcle alLOcAtIOn for nodE $i$ And EnerGY Level $V$ is fEAsIble if $\alPha_{ic}^e + \SUm_{\SuBstack{j\In{\Cal M}\\ j\nEq I}} \alPha_{Ij}^e \leQ 1$. the oPtimizAtion proBlem tHAt characterizeS The capacity reGIoN OF tHE netWorK ensures thaT the TOtal NumbER oF veHIcles RouteD fROm $I$ To $j$ is at least as large As The nomInal aRrival rate to tHe queue $(i,j)$. NAMELy, the vehIcle ALlOCation problem cAn be fOrmulated aS Follows:

\[eQ:capaCityregiOnproblem\] $$\BEGin{alignEd}
\lAbeL{eq:CapOBJ}&\uNderset{x_i^e,\alpHA_{Ij}^e,\aLpHa_{ic}^e}{\teXt{mIn}}& & \rho\\
& \teXt{sUbjEct To}
\lAbEl{eq:capcoNst1}& & \Theta_{Ij} \LeQ \sUm_{E=e_{iJ}}^{e_{\max}}X_I^e\alpha_{iJ}^e \QuaD\fOraLl i,j\iN \MathcaL M,\\
\labEl{eq:CaPcONst2}& & & \Rho \geq \aLPhA_{IC}^e + \suM_{\sUbStacK{j\iN{\cAl M}\\ j\
 the desired inequality in .

Proof o f Pro pos iti on  \[p rop: stability\] {# s ec:p roofpropstability}
--- ----- -- - ---- - -- ----- ------- - -- - - --- -
W e p ro v ePropo sit ion \[p rop:stabil ity \]  for the mon o po ly and the  pr oof is ident ica l forth e s y mmetr icduopo ly. To provePropositi on \[prop : stabili t y \] , we  first formulatet he static optimiz ationpr o bl e m  vi a a  network f lo w mod e l thatc ha r a c ter i zes the *capa city region *  of  the n et wor k  for a  give ns etof prices $ \ell _{ij}^1(t )=\ell _ {ij}^1\ ;  \foral l t$ ( Hen ce,  $\T h et a_ {ij }( t )=\ T he ta_ { ij}  \; \for al lt$).Thec a p a city  re gion  is d efined as the  se t of all  arri val r ates  $ [\Lam bda_{i j}]_{ i, j \in \mathcalM}$,  where th ere  e xis ts  a ch a rgingand  ro uting p olicy u n der  w h i c hthe queueing netwo rk o fthe syst em iss ta bl e . Let $x _i ^e$  bet h e num bero fvehicles  avail a bl eat node  $ i$, $\ al pha _{i j}^e$ be t he fra ction of  vehi c les at node $i $  with energyl ev e l  $ v $ be ing  routed tonode $j$,  and $\ alp h a_{ic }^e$be th e  fraction of vehicl es  charg ing a t node $i$ st arting wit h e nergy le vel$ v$ .  We say the st aticvehicle al l ocationfor n ode $i$and energ y level $v $ i s f eas ibl e if  $\alpha_{ic} ^ e  + \ su m_{\sub sta ck{j\in {\c alM}\ \ j \n eq i}} \a lpha_{ij }^ e\l eq  1$ . The optimiza ti onpr obl em th a t char acter izes  t he cap acity r e gi o n  ofth enetw ork  e nsure s th a t t he tota l numberofv ehic le sroutedfrom $i$ to $ j$  is at lea st  as  large a s the no minal arrival rate to t h e queue  $( i,j)$ . Na mely, the  ve hicleall o cation  probl em ca nbef o rmula t e dasfo llows:

\[ e q :ca pacit yr egio nproble m\] $$\begin{align e d}\label{eq:cap obj }&\u n d er set { x_ i ^e, \a l pha _ { ij}^e,\alpha_{i c}^e}{\tex t{ m in }}& & \rho \ \
&  \ text{su bject t o}
\l a bel{eq: capconst1 }& & \The ta _{ij } \le q \sum_{e= e_{ij}}^ {e_{\max} } x_i^e \ al pha_{ ij} ^e \qu ad \fo ralli,j\in \ma thcal  M,\\\l abel{e q:cap co nst2}& &  & \rho \geq \alpha_{ic }^e +\sum_ {\s ubstack{j \in { \ca l M}\\ j\ 
 the_desired inequality_in.

Proof of Proposition \[prop:stability\]_{#sec:proofpropstability}
---------------------------------------

We prove_Proposition \[prop:stability\]_for the_monopoly_and the proof_is identical for_the symmetric duopoly. To_prove Proposition \[prop:stability\],_we_first formulate the static optimization problem via a network flow model that characterizes the_*capacity_region* of_the_network_for a given set of_prices $\ell_{ij}^1(t)=\ell_{ij}^1\; \forall t$ (Hence,_$\Theta_{ij}(t)=\Theta_{ij} \;_\forall t$). The capacity region is defined as_the_set of all_arrival rates $[\Lambda_{ij}]_{i,j \in \mathcal M}$, where there exists_a charging and routing policy under_which the queueing_network_of_the system is stable._Let $x_i^e$ be the number of_vehicles available at node $i$, $\alpha_{ij}^e$_be the fraction of vehicles at node_$i$ with energy level $v$ being_routed to node $j$, and_$\alpha_{ic}^e$ be_the fraction of vehicles charging_at node $i$_starting with_energy level $v$._We say the static vehicle allocation_for node $i$_and energy level $v$ is feasible_if_$\alpha_{ic}^e + \sum_{\substack{j\in{\cal_M}\\_j\neq_i}} \alpha_{ij}^e_\leq 1$. The_optimization_problem that_characterizes_the capacity region of the network_ensures_that the total number of vehicles routed_from $i$ to $j$_is_at least as large_as the nominal arrival rate_to the queue $(i,j)$. Namely, the_vehicle allocation_problem can_be formulated as follows:

\[eq:capacityregionproblem\] $$\begin{aligned}
\label{eq:capobj}&\underset{x_i^e,\alpha_{ij}^e,\alpha_{ic}^e}{\text{min}}& & \rho\\
& \text{subject to}
\label{eq:capconst1}& & \Theta_{ij}_\leq \sum_{e=e_{ij}}^{e_{\max}}x_i^e\alpha_{ij}^e \quad\forall i,j\in \mathcal M,\\
\label{eq:capconst2}&_& & \rho \geq_\alpha_{ic}^e +_\sum_{\substack{j\in{\cal_M}\\ j\