 (super-)additive with respect to the partition of unity $\{\Psi_n, \widetilde{\Psi_n}\}$ in Example \[ex:unity2\].

*Subadditivity.* To show the subadditivity, note that $$\label{eq:scalingarg2}
E_t^{(k)} = t \inf_{\substack{u\in H^1\\ \|u\|_{L^2}^2=1}} \left \{\frac{1}{2}\int_{\mathcal G} \left |u^{(k)}\right |^2+ V |u|^2\, \mathrm dx - t^{\frac{p-2}{2}} \frac{\mu}{p} \int_{\mathcal G} |u|^p\, \mathrm dx \right \}.$$ We deduce the property by showing that $t\mapsto E_t^{(k)}$ is a concave function. Indeed, the scaling defines a concave function and passing to the limit we deduce concavity of the functional. Hence, $$\label{eq:concavityarg2}
E_t^{(k)} \ge t E_1^{(k)}, \qquad t\in [0,1],$$ so that $$E_t^{(k)} + E_{1-t}^{(k)} \ge E_1^{(k)}, \qquad t\in [0,1].$$ For the strictness in the inequality it suffices to show strictness in the inequality. Assume $$E_t^{(k)} = t E_1^{(k)}$$ for some $t\in (0,1)$ and let $u_n$ be a minimizing sequence for $E_t^{(k)}$, then in particular due to $$\label{eq:recipe1}
\int_{\mathcal G} |u_n|^p\, \mathrm dx \to 0 \qquad (n\to \infty).$$ By density we may assume $u_n \in D(A)$ and we deduce $$\begin{aligned}
E_t^{(k)} &= \lim_{n\to \infty} \frac{1}{2} \langle A u_n, u_n\rangle - \frac{\mu}{p} \int_{\mathcal G} |u|^p\, \mathrm dx \\
&= \lim_{n\to \infty} \frac{1}{2} \langle A u_n, u_n \rangle \ge \frac{\Sigma_0 t}{2}.
\
(super-)additive with respect to the partition of unity $ \{\Psi_n, \widetilde{\Psi_n}\}$ in Example \[ex: unity2\ ]. 

 * Subadditivity. * To show the subadditivity, notice that $ $ \label{eq: scalingarg2 } 
 E_t^{(k) } = metric ton \inf_{\substack{u\in H^1\\ \|u\|_{L^2}^2=1 } } \left \{\frac{1}{2}\int_{\mathcal G } \left |u^{(k)}\right |^2 + V |u|^2\, \mathrm dx - t^{\frac{p-2}{2 } } \frac{\mu}{p } \int_{\mathcal G } |u|^p\, \mathrm dx \right \}.$$ We deduce the place by showing that $ t\mapsto E_t^{(k)}$ is a concave routine. Indeed, the scaling defines a concave function and fall to the limit we deduce concavity of the running. therefore, $ $ \label{eq: concavityarg2 } 
 E_t^{(k) } \ge t E_1^{(k) }, \qquad t\in [ 0,1],$$ so that $ $ E_t^{(k) } + E_{1 - t}^{(k) } \ge E_1^{(k) }, \qquad t\in [ 0,1].$$ For the strictness in the inequality it suffice to show strictness in the inequality. simulate $ $ E_t^{(k) } = t E_1^{(k)}$$ for some $ t\in (0,1)$ and lease $ u_n$ be a minimizing sequence for $ E_t^{(k)}$, then in particular due to $ $ \label{eq: recipe1 } 
 \int_{\mathcal G } |u_n|^p\, \mathrm dx \to 0 \qquad (n\to \infty).$$ By density we may bear $ u_n \in D(A)$ and we deduce $ $ \begin{aligned } 
 E_t^{(k) } & = \lim_{n\to \infty } \frac{1}{2 } \langle A u_n, u_n\rangle - \frac{\mu}{p } \int_{\mathcal G } |u|^p\, \mathrm dx \\ 
 & = \lim_{n\to \infty } \frac{1}{2 } \langle A u_n, u_n \rangle \ge \frac{\Sigma_0 t}{2 }. 
 \
 (suoer-)additive with respect to the partition of uiity $\{\Psj_n, \widetklde{\Psi_n}\}$ in Example \[ex:unity2\].

*Snbadeitivuty.* To show the subaddktivity, nlte that $$\labtl{eq:scalingarg2}
E_t^{(k)} = t \inf_{\smystaci{m\in H^1\\ \|n\|_{L^2}^2=1}} \left \{\frac{1}{2}\int_{\kathcal G} \neft |u^{(k)}\right |^2+ E |j|^2\, \lathrm dx - t^{\frac{p-2}{2}} \frac{\mu}{p} \int_{\mathcaj G} |u|^p\, \kahhrm dx \right \}.$$ We cqducs the property by showing that $t\malsto E_t^{(n)}$ is a concavr function. Indeed, the scallng fefines a concave vunction ane pafwing to the uimit we dtdbce concavijy of the functional. Hence, $$\label{dq:coneavityarg2}
E_t^{(j)} \te h E_1^{(k)}, \qquad t\mn [0,1],$$ so that $$E_t^{(k)} + E_{1-b}^{(l)} \ge E_1^{(n)}, \qquad t\in [0,1].$$ For the xtrmctnwss in the inequality it suffices to shjw strictteas in the inequalutt. Assome $$E_d^{(k)} = g E_1^{(k)}$$ fod xoje $t\in (0,1)$ aid let $u_n$ bs a minimizung sequence for $E_t^{(l)}$, eyen in partichlar dte to $$\label{eq:recipe1}
\int_{\mathcal G} |u_n|^p\, \mathrk ds \to 0 \qquad (n\to \infty).$$ Bt density we may assule $u_n \in Q(A)$ and we deduce $$\begin{aligned}
E_t^{(k)} &= \lim_{n\to \infty} \frdc{1}{2} \laigue C u_n, u_v\eajgle - \frac{\mu}{p} \int_{\mathcal G} |u|^p\, \mathrm dx \\
&= \lim_{n\ek \onnty} \frac{1}{2} \langle C u_n, u_n \rangle \gr \vrss{\Sigma_0 t}{2}.
\
(super-)additive with respect to the partition of \widetilde{\Psi_n}\}$ Example \[ex:unity2\]. To show the = \inf_{\substack{u\in H^1\\ \|u\|_{L^2}^2=1}} \{\frac{1}{2}\int_{\mathcal G} \left |^2+ V |u|^2\, \mathrm dx - \frac{\mu}{p} \int_{\mathcal G} |u|^p\, \mathrm dx \right \}.$$ We deduce the property by that $t\mapsto E_t^{(k)}$ is a concave function. Indeed, the scaling defines a concave and to limit deduce concavity of the functional. Hence, $$\label{eq:concavityarg2} E_t^{(k)} \ge t E_1^{(k)}, \qquad t\in [0,1],$$ so that + E_{1-t}^{(k)} \ge E_1^{(k)}, \qquad t\in [0,1].$$ For strictness in the inequality suffices to show strictness in inequality. $$E_t^{(k)} = E_1^{(k)}$$ some (0,1)$ and let be a minimizing sequence for $E_t^{(k)}$, then in particular due to $$\label{eq:recipe1} \int_{\mathcal G} |u_n|^p\, \mathrm dx 0 \qquad By density may $u_n D(A)$ and we E_t^{(k)} &= \lim_{n\to \infty} \frac{1}{2} \langle - \frac{\mu}{p} \int_{\mathcal G} |u|^p\, \mathrm dx \\ \lim_{n\to \infty} \langle A u_n, u_n \rangle \ge t}{2}. \
 (super-)additive with respect tO the partitIon of UniTy $\{\PSi_N, \widEtilDe{\Psi_n}\}$ in ExamplE \[Ex:unIty2\].

*Subadditivity.* To show The suBaDDitiVItY, note That $$\labEL{eQ:SCalInGaRg2}
E_T^{(k)} = T \InF_{\subsTacK{u\in H^1\\ \|u\|_{L^2}^2=1}} \Left \{\frac{1}{2}\inT_{\maThCal G} \left |u^{(k)}\riGHt |^2+ v |u|^2\, \mathrm dx - T^{\frAc{p-2}{2}} \frac{\mu}{p} \inT_{\maThcal G} |U|^p\, \MatHRm dx \rIghT \}.$$ We deDuce thE ProperTy by showiNg THat $t\maPSto E_t^{(k)}$ iS A CoNcavE function. Indeed, thE ScALing defines a coNcave fUnCTiON And PasSing to the lImIt we dEDuce conCAvITY Of tHE functional. HeNce, $$\label{eq:cONcaVityarG2}
E_T^{(k)} \gE T E_1^{(k)}, \qquAd t\in [0,1],$$ So THat $$e_t^{(k)} + E_{1-t}^{(k)} \ge E_1^{(k)}, \qQuad T\in [0,1].$$ For the StrictNEss in thE InequalIty it sUffIceS to sHOw StRicTnESs iN ThE inEQuaLity. AssuMe $$e_t^{(K)} = t E_1^{(k)}$$ fOr soME $T\IN (0,1)$ and Let $U_n$ be A miniMizing sequencE foR $E_t^{(k)}$, THen In parTiculAr duE tO $$\labeL{eq:recIpe1}
\inT_{\mAthcal G} |u_n|^p\, \mathrM dx \tO 0 \qquad (n\to \InfTy).$$ by dEnSity wE May assUme $U_n \iN D(A)$ and wE deduce $$\BEgiN{aLIGNeD}
E_t^{(k)} &= \lim_{n\to \infty} \fraC{1}{2} \lANGlE A u_n, u_n\raNgle - \frAC{\mU}{p} \INt_{\mathcaL G} |U|^p\, \mAthrM DX \\
&= \lim_{n\To \inFTy} \Frac{1}{2} \langLe A u_n, u_N \RaNgLe \ge \fraC{\SIgma_0 t}{2}.
\
 (super-)additive with res pect to th e par tit ion  o f un ity$\{\Psi_n, \wi d etil de{\Psi_n}\}$ in Examp le \[ ex : unit y 2\ ].

* Subaddi t iv i t y.*  T osho wt he  suba ddi tivity,  note that  $$ \l abel{eq:scal i ng arg2}
E_t^ {(k )} = t \inf_ {\s ubstac k{ u\i n  H^1\ \ \ |u\|_ {L^2}^ 2 =1}} \ left \{\f ra c {1}{2} \ int_{\m a t hc al G } \left |u^{(k)}\ r ig h t |^2+ V |u|^2 \, \ma th r md x  -t^{ \frac{p-2} {2 }} \f r ac{\mu} { p} \ i nt_ { \mathcal G} | u|^p\, \mat h rmdx \ri gh t \ } .$$ We  dedu ce the  property b y sh owing tha t $t\m a psto E_ t ^{(k)}$  is acon cav e fu n ct io n.In d eed ,  t hes cal ing defi ne sa con cave f u n ctio n a nd p assin g to the limi t w e de d uce  conc avity  ofth e fun ctiona l. He nc e, $$\label{eq: conc avityarg2 }
E _t ^{( k) } \ge t E_1^ {(k )},  \qquad  t\in [ 0 ,1] ,$ $ s othat $$E_t^{(k)} +  E _ { 1- t}^{(k)}  \ge E _ 1^ {( k )}, \qqu ad  t\ in [ 0 , 1].$$  For th e strict ness i n  t he  inequa li ty itsu ffi ces  to s h ow s trictn ess in t he in e quality. Assum e  $$E_t^{(k)}=  t E _1 ^ {(k) }$$  for some $ t\in (0,1 )$ a n dlet $u_n$  be a  m i ni m izing sequence for$E _t^{(k )}$,then in parti cular duet o $$\label {eq: r ec i pe1}
\int_{\ma thcal  G} |u_n|^ p \, \math rm dx  \to 0 \ qquad (n\ t o  \infty) .$$  By  de nsi t y  w e may assume$ u _n \ in  D(A)$and  we ded uce  $$ \be gin {a ligned}
E _t^{(k)}  & =\l im _{n \to \ i nfty} \f ra c{1 }{ 2}\lang l e A u_ n, u_ n\ra ng le - \ frac{\m u }{ p }  \in t_ {\ math cal  G } |u| ^p\, \ma thrm dx  \\
&= \l im_ { n\to  \ in fty} \f rac{1}{2} \la ng le A u_n,u_ n \ rangle \ ge \frac {\Sigma_0 t}{2}.
\
 (super-)additive_with respect_to the partition of_unity $\{\Psi_n,_\widetilde{\Psi_n}\}$_in Example_\[ex:unity2\].

*Subadditivity.*_To show the_subadditivity, note that_$$\label{eq:scalingarg2}
E_t^{(k)} = t \inf_{\substack{u\in_H^1\\ \|u\|_{L^2}^2=1}} \left_\{\frac{1}{2}\int_{\mathcal_G} \left |u^{(k)}\right |^2+ V |u|^2\, \mathrm dx - t^{\frac{p-2}{2}} \frac{\mu}{p} \int_{\mathcal G} |u|^p\,_\mathrm_dx \right_\}.$$_We_deduce the property by showing_that $t\mapsto E_t^{(k)}$ is a_concave function._Indeed, the scaling defines a concave function and_passing_to the limit_we deduce concavity of the functional. Hence, $$\label{eq:concavityarg2}
E_t^{(k)} \ge_t E_1^{(k)}, \qquad t\in [0,1],$$ so_that $$E_t^{(k)} +_E_{1-t}^{(k)}_\ge_E_1^{(k)}, \qquad t\in [0,1].$$_For the strictness in the inequality_it suffices to show strictness in_the inequality. Assume $$E_t^{(k)} = t E_1^{(k)}$$_for some $t\in (0,1)$ and let_$u_n$ be a minimizing sequence_for $E_t^{(k)}$,_then in particular due to_$$\label{eq:recipe1}
\int_{\mathcal G} |u_n|^p\,_\mathrm dx_\to 0 \qquad_(n\to \infty).$$ By density we may_assume $u_n \in_D(A)$ and we deduce $$\begin{aligned}
E_t^{(k)} &=_\lim_{n\to_\infty} \frac{1}{2} \langle_A_u_n,_u_n\rangle -_\frac{\mu}{p} \int_{\mathcal G}_|u|^p\,_\mathrm dx_\\
&=_\lim_{n\to \infty} \frac{1}{2} \langle A u_n,_u_n_\rangle \ge \frac{\Sigma_0 t}{2}.
\