AnN87 Thm. 3.3] (cf. Theorem \[thm-subc\]), the value of () equals the subvalue $\urho$ of (P). Therefore, to prove there is no duality gap is to prove $\urho = \rho_c^*$. For this, it suffices to show $$\big((1, \m0, \kappa), \urho \big) \in H,$$ where the set $H$ is as defined in (\[eq-H\]) and, for the case here, is given by $$H : = \big\{ \big(L (\gamma, \alpha), \, \langle \, \gamma, \, c_0 \, \rangle + r \big) \, \big| \, \gamma \in \Me_w^+(\Gamma), \ \alpha \in \R_+^d, \ r \geq 0 \big\}.$$ Recall that by definition the subvalue $\urho = \inf \big\{ r \mid \big( (1, \m0, \kappa), r \big) \in {\mkern 1mu\overline{\mkern-2.7muH\mkern-1.3mu}\mkern 1.5mu} \big\}$ (cf. Section \[sec-2.2\]).

To prove $\big((1, \m0, \kappa), \urho \big) \in H$, we will construct a stationary pair $(\bar \mu, \bar p) \in \S$ with $J_0(\bar \mu, \bar p) \leq \urho$, and the proof proceeds in four steps as in the proof of Theorem \[thm-1\](ii). Let us outline these steps, explaining briefly some minor changes in the details of the arguments.

[**Step (i):**]{} From the definition of $\urho$, it follows that $\big((1, \m0, \kappa), \urho \big) \in {\mkern 1mu\overline{\mkern-2.7muH\mkern-1.3mu}\mkern 1.5mu}$ and there exist a direct set $\nI$ and a net $\{(\gamma_i, \alpha_i)\}_{i \in \nI}$ in $\Me_w^+(\Gamma) \times \R_+^d$ such that $$\begin{aligned}
    \gamma_i(\
AnN87 Thm.   3.3 ] (cf.   Theorem   \[thm - subc\ ]), the value of () equals the subvalue $ \urho$ of (P). Therefore, to rise there be no duality gap is to prove $ \urho = \rho_c^*$. For this, it suffice to show $ $ \big((1, \m0, \kappa), \urho \big) \in H,$$ where the set $ H$ is as specify in (\[eq - H\ ]) and, for the case here, is given by $ $ hydrogen: = \big\ { \big(L (\gamma, \alpha), \, \langle \, \gamma, \, c_0 \, \rangle + r \big) \, \big| \, \gamma \in \Me_w^+(\Gamma), \ \alpha \in \R_+^d, \ r \geq 0 \big\}.$$ Recall that by definition the subvalue $ \urho = \inf \big\ { radius \mid \big (( 1, \m0, \kappa), r \big) \in { \mkern 1mu\overline{\mkern-2.7muH\mkern-1.3mu}\mkern 1.5mu } \big\}$ (cf.   Section   \[sec-2.2\ ]). 

 To rise $ \big((1, \m0, \kappa), \urho \big) \in H$, we will construct a stationary pair $ (\bar \mu, \bar p) \in \S$ with $ J_0(\bar \mu, \bar p) \leq \urho$, and the proof proceeds in four steps as in the validation of Theorem   \[thm-1\](ii). Let us outline these steps, explain briefly some minor changes in the contingent of the arguments. 

 [ * * measure (i ): * * ] { } From the definition of $ \urho$, it follows that $ \big((1, \m0, \kappa), \urho \big) \in { \mkern 1mu\overline{\mkern-2.7muH\mkern-1.3mu}\mkern 1.5mu}$ and there exist a direct set $ \nI$ and a net $ \{(\gamma_i, \alpha_i)\}_{i \in \nI}$ in $ \Me_w^+(\Gamma) \times \R_+^d$ such that $ $ \begin{aligned } 
     \gamma_i(\
AnN87 Thm. 3.3] (cf. Theorem \[thm-subc\]), tht value of () equals the snbvalue $\urho$ of (P). Therefore, to prove there ms ni duaoity gap is to prove $\ufho = \rho_c^*$. For thiw, it wuffices to show $$\bly((1, \m0, \kzipa), \uxhi \big) \in H,$$ whete the set $H$ is as defined iv (\[zq-H\]) and, for the case here, is given br $$H : = \bog\{ \big(L (\gamma, \alkha), \, \kwngls \, \gamma, \, c_0 \, \rangle + r \big) \, \big| \, \gzmma \in \Me_w^+(\Gamma), \ \allha \in \R_+^d, \ r \geq 0 \big\}.$$ Recapl tjat by definition hhe subvalug $\urri = \inf \big\{ r \mid \big( (1, \m0, \kappa), r \bif) \in {\mkern 1mu\overline{\mkern-2.7muH\mkdrn-1.3mu}\kkern 1.5mu} \bug\}$ (cf. Dgction \[sec-2.2\]).

To 'rove $\fig((1, \m0, \kappa), \mgho \big) \in H$, wr will construgt a vtarionary pair $(\bar \mu, \ber p) \in \S$ with $J_0(\bar \iu, \bar p) \nes \urho$, and the priod proweedv in douf suepx zs in hhe proof of Fheorem \[thm-1\](iu). Let us outline thtse wteps, explainjng bryesly some minor changes in the details ox tge arguments.

[**Step (i):**]{} From the definition of $\urjo$, it foljows that $\big((1, \m0, \kappa), \urho \big) \in {\mkern 1mu\overlina{\mkeri-2.7mjH\mjevn-1.3mu}\ojegn 1.5mu}$ and there exist a direct set $\nI$ and a nqf $\{(\bakma_i, \alpha_i)\}_{i \ik \nI}$ in $\Me_w^+(\Gamma) \tomfs \T_+^d$ such that $$\bggin{aliyhes}
    \gamma_i(\
AnN87 Thm. 3.3] (cf. Theorem \[thm-subc\]), the () the subvalue of (P). Therefore, duality is to prove = \rho_c^*$. For it suffices to show $$\big((1, \m0, \urho \big) \in H,$$ where the set $H$ is as defined in (\[eq-H\]) for the case here, is given by $$H : = \big\{ \big(L (\gamma, \, \, \, \, \rangle + r \big) \, \big| \, \gamma \in \Me_w^+(\Gamma), \ \alpha \in \R_+^d, \ \geq 0 \big\}.$$ Recall that by definition the $\urho = \inf \big\{ \mid \big( (1, \m0, \kappa), \big) {\mkern 1mu\overline{\mkern-2.7muH\mkern-1.3mu}\mkern \big\}$ Section To prove $\big((1, \kappa), \urho \big) \in H$, we will construct a stationary pair $(\bar \mu, \bar p) \in \S$ $J_0(\bar \mu, \leq \urho$, the proceeds four steps as proof of Theorem \[thm-1\](ii). Let us explaining briefly some minor changes in the details the arguments. (i):**]{} From the definition of $\urho$, follows that $\big((1, \m0, \kappa), \urho \big) \in 1mu\overline{\mkern-2.7muH\mkern-1.3mu}\mkern 1.5mu}$ and there exist a direct set $\nI$ and a net $\{(\gamma_i, \alpha_i)\}_{i \in $\Me_w^+(\Gamma) \times \R_+^d$ such $$\begin{aligned} \gamma_i(\
AnN87 Thm. 3.3] (cf. Theorem \[thm-subc\]), the Value of () equAls thE suBvaLuE $\urhO$ of (P). therefore, to proVE theRe is no duality gap is to prOve $\urHo = \RHo_c^*$. FOR tHis, it SufficeS To SHOw $$\bIg((1, \M0, \kAppA), \uRHo \Big) \in h,$$ whEre the sEt $H$ is as defIneD iN (\[eq-H\]) and, for thE CaSe here, is giVen By $$H : = \big\{ \big(L (\gaMma, \Alpha), \, \lAnGle \, \GAmma, \, c_0 \, \RanGle + r \bIg) \, \big| \, \gAMma \in \ME_w^+(\Gamma), \ \alPhA \In \R_+^d, \ r \gEQ 0 \big\}.$$ RecALL tHat bY definition the subVAlUE $\urho = \inf \big\{ r \miD \big( (1, \m0, \kApPA), r \BIG) \in {\MkeRn 1mu\overliNe{\Mkern-2.7MUH\mkern-1.3MU}\mKERN 1.5mu} \BIg\}$ (cf. Section \[seC-2.2\]).

To prove $\big((1, \M0, \KapPa), \urho \BiG) \in h$, We will ConstRuCT a sTationary paIr $(\baR \mu, \bar p) \in \s$ with $J_0(\BAr \mu, \bar P) \Leq \urho$, And the ProOf pRoceEDs In FouR sTEps AS iN thE ProOf of TheoReM \[tHm-1\](ii). LEt us OUTLIne tHesE stePs, expLaining brieflY soMe miNOr cHangeS in thE detAiLs of tHe arguMents.

[**stEp (i):**]{} From the definItioN of $\urho$, it FolLoWs tHaT $\big((1, \m0, \KAppa), \urHo \bIg) \iN {\mkern 1mU\overliNE{\mkErN-2.7MUh\mKern-1.3mu}\mkern 1.5mu}$ and thErE EXiSt a direcT set $\nI$ ANd A nET $\{(\gamma_i, \aLpHa_i)\}_{I \in \ni}$ IN $\Me_w^+(\GAmma) \TImEs \R_+^d$ such That $$\beGIn{AlIgned}
    \gaMmA_i(\
AnN87 Thm. 3.3] (cf. Theor em \[thm-s ubc\] ),the  v alue  of() equals thes ubva lue $\urho$ of (P). Th erefo re ,  top ro ve th ere isn od u ali ty  g apis to  prov e $ \urho =  \rho_c^*$ . F or  this, it su f fi ces to sho w $ $\big((1, \m 0,\kappa ),  \u r ho \b ig)  \inH,$$ w h ere th e set $H$  i s  as de f ined in ( \[ eq-H \]) and, for thec as e  here, is give n by $ $H := \bi g\{  \big(L (\ ga mma,\ alpha), \, \ l ang l e \, \gamma,\, c_0 \, \ r ang le + r  \ big )  \, \b ig| \ ,\ gam ma \in \Me_ w^+( \Gamma),\ \alp h a \in \ R _+^d, \  r \ge q 0  \b ig\} . $$  R eca ll tha t  b y d e fin ition th esu bvalu e $\ u r h o  = \ inf  \bi g\{ r  \mid \big( ( 1,\m0, \ka ppa),  r \b ig)\i n {\m kern 1 mu\ov er line{\mkern-2.7 muH\ mkern-1.3 mu} \m ker n1.5mu }  \big\ }$(cf . Secti on \[se c -2. 2\ ] ) . 
To prove $\big((1,  \ m 0 ,\kappa),  \urho \b ig )  \in H$,  w e w illc o nstru ct a st ationary  pair$ (\ ba r \mu,\b ar p)\i n \ S$with$ J_0( \bar \ mu, \bar  p) \ l eq \urho$, and the proof pro c ee d s  i n  fou r s teps as inthep roof  ofT he ore m  \[th m-1\] (i i ). Let us outline thes esteps,  expl aining briefl y some min o r changesin t h ed etails of theargum ents.

[** S tep (i): **]{}  From th e definit i o n of $\u rho $,itfol l o ws  that $\big(( 1 ,  \m0 ,\kappa) , \ urho \b ig)  \i n { \mk er n 1mu\ove rline{\m ke rn -2 .7 muH \mker n -1.3mu}\ mk ern  1 .5m u}$ a n d ther e exi st a  d ir e ctset $\n I $a n d ane t$\{( \ga mm a_i,\alp h a_i )\}_{i\in \nI}$  in $\Me _w ^+ (\Gamma ) \times \R_+ ^d $ such tha t$$\ begin{ a l igned}
   \gamma_i(\
AnN87 Thm. 3.3]_(cf. Theorem \[thm-subc\]), the_value of () equals_the subvalue_$\urho$_of (P)._Therefore,_to prove there_is no duality_gap is to prove_$\urho = \rho_c^*$._For_this, it suffices to show $$\big((1, \m0, \kappa), \urho \big) \in H,$$ where the_set_$H$ is_as_defined_in (\[eq-H\]) and, for the_case here, is given by_$$H :_= \big\{ \big(L (\gamma, \alpha), \, \langle \,_\gamma,_\, c_0 \,_\rangle + r \big) \, \big| \, \gamma \in_\Me_w^+(\Gamma), \ \alpha \in \R_+^d, \_r \geq 0_\big\}.$$_Recall_that by definition the_subvalue $\urho = \inf \big\{ r_\mid \big( (1, \m0, \kappa), r_\big) \in {\mkern 1mu\overline{\mkern-2.7muH\mkern-1.3mu}\mkern 1.5mu} \big\}$ (cf. Section \[sec-2.2\]).

To_prove $\big((1, \m0, \kappa), \urho \big)_\in H$, we will construct_a stationary_pair $(\bar \mu, \bar p)_\in \S$ with_$J_0(\bar \mu,_\bar p) \leq_\urho$, and the proof proceeds in_four steps as_in the proof of Theorem \[thm-1\](ii). Let_us_outline these steps,_explaining_briefly_some minor_changes in the_details_of the_arguments.

[**Step_(i):**]{} From the definition of $\urho$,_it_follows that $\big((1, \m0, \kappa), \urho \big)_\in {\mkern 1mu\overline{\mkern-2.7muH\mkern-1.3mu}\mkern 1.5mu}$_and_there exist a direct_set $\nI$ and a net_$\{(\gamma_i, \alpha_i)\}_{i \in \nI}$ in $\Me_w^+(\Gamma)_\times \R_+^d$_such that_$$\begin{aligned}
    \gamma_i(\