global\], we formulate some simple equivalent condition for $\Lambda$ to minimize $E_f[L]$ among lattices of unit density:

\[prop:equiv\] Let $L_0=\lambda \Lambda$ for $\Lambda\in \mathcal{L}_d^\circ$. If $L\in \mathcal L_d^\circ$ then we define functions $H_L,h_L:(d,+\infty)\to {\mathbb R}$ by $$H_L(x):=\frac{1}{x}\log\left(  \frac{\zeta_L(x)}{\zeta_{\Lambda }(x)}\right), \quad
h_L(x):=-\log \zeta_L(x) +x\frac{\partial_x\zeta_L(x)}{\zeta_L(x)}.$$ The following conditions are equivalent:

1.  For any $x_2>x_1>d$, the lattice $L_0 $ is the unique minimizer of $E_f$ on $D_{\mathcal L_d}$.

2.  For any $x_2>x_1>d$, the lattice $\Lambda $ is the unique minimizer of $\tilde{E}_f$, defined by, on $D_{\mathcal L_2^\circ}$.

3.  For any Bravais lattice $L\in \mathcal L_d^\circ\setminus\{ \Lambda \}$, the function $H_L$ is strictly increasing on $(d,+\infty)$.

4.  For any $x>d$, $\Lambda $ is the unique minimizer of $h_L(x)$ on $D_{\mathcal{L}_d^\circ}$.

The equivalence between (1) and (2) is treated in point (1) of Proposition \[prop-LJglobal\]. To prove the equivalence between (2) and (3), note that $$\tilde{E}_f[\Lambda]\leq \tilde{E}_f[L]\iff \left( \frac{\zeta_L(x_1)}{\zeta_\Lambda(x_1)} \right)^{\frac{1}{x_1}}\leq \left( \frac{\zeta_L(x_2)}{\zeta_\Lambda(x_2)}  \right)^{\frac{1}{x_2}}.$$ For proving the equivalence between (3) and (4), note that $H'(x)=\frac{1}{x^
global\ ], we formulate some simple equivalent condition for $ \Lambda$ to minimize $ E_f[L]$ among lattice of unit of measurement density: 

 \[prop: equiv\ ] Let $ L_0=\lambda \Lambda$ for $ \Lambda\in \mathcal{L}_d^\circ$. If $ L\in \mathcal L_d^\circ$ then we define function $ H_L, h_L:(d,+\infty)\to { \mathbb R}$ by $ $ H_L(x):=\frac{1}{x}\log\left (  \frac{\zeta_L(x)}{\zeta_{\Lambda } (x)}\right), \quad 
 h_L(x):=-\log \zeta_L(x) + x\frac{\partial_x\zeta_L(x)}{\zeta_L(x)}.$$ The following conditions are equivalent: 

 1.   For any $ x_2 > x_1 > d$, the lattice $ L_0 $ is the singular minimizer of $ E_f$ on $ D_{\mathcal L_d}$. 

 2.   For any $ x_2 > x_1 > d$, the wicket $ \Lambda $ is the unique minimizer of $ \tilde{E}_f$, defined by, on $ D_{\mathcal L_2^\circ}$. 

 3.   For any Bravais lattice $ L\in \mathcal L_d^\circ\setminus\ { \Lambda \}$, the function $ H_L$ is strictly increase on $ (d,+\infty)$. 

 4.   For any $ x > d$, $ \Lambda $ is the unique minimizer of $ h_L(x)$ on $ D_{\mathcal{L}_d^\circ}$. 

 The comparison between (1) and (2) is treat in point (1) of Proposition   \[prop - LJglobal\ ]. To prove the equivalence between (2) and (3), note that $ $ \tilde{E}_f[\Lambda]\leq \tilde{E}_f[L]\iff \left (\frac{\zeta_L(x_1)}{\zeta_\Lambda(x_1) } \right)^{\frac{1}{x_1}}\leq \left (\frac{\zeta_L(x_2)}{\zeta_\Lambda(x_2) }   \right)^{\frac{1}{x_2}}.$$ For proving the equality between (3) and (4), note that $ H'(x)=\frac{1}{x^
glohal\], we formulate some siople equivalent conditmon for $\Lambda$ go minimize $E_f[L]$ among latticxs od uniu density:

\[prop:equiv\] Uet $L_0=\lambfa \Lambdq$ foc $\Lambda\in \mathcem{L}_d^\circ$. If $L\ih \matkcel L_d^\circ$ then ee define xunctions $H_L,h_L:(g,+\ivfcy)\to {\mathbb R}$ by $$H_L(x):=\frac{1}{x}\log\left(  \frwc{\zeta_L(c)}{\zfta_{\Lambda }(x)}\rigrt), \qlaq
h_L(x):=-\mog \zeta_L(x) +x\frac{\partial_x\zeta_L(x)}{\zeta_M(x)}.$$ The hollowing condiyions are equivalent:

1.  For wny $d_2>x_1>d$, the lattice $L_0 $ is the uniwue iunimizer of $D_f$ on $D_{\mathcal L_d}$.

2.  For any $x_2>x_1>d$, the lattice $\Lambda $ is the bnique mininizer mf $\tilde{E}_f$, vefineq by, on $D_{\matmbal L_2^\cisc}$.

3.  For any Bravais lsttmce $O\in \mathcal L_d^\circ\setkinus\{ \Lambda \}$, the sunction $V_L$ is strictly incrwawing mn $(d,+\hnfth)$.

4.  Fur znb $x>s$, $\Lambfa $ is the unjque minimizer of $h_L(x)$ on $D_{\mathvaj{O}_d^\circ}$.

The equjvalense between (1) and (2) is treated in point (1) of Kropoaition \[prop-LJglobal\]. To peove the equivalence hetween (2) wnd (3), note that $$\tilde{E}_f[\Lambda]\leq \tilde{E}_f[L]\iff \left( \xrac{\zxtx_L(x_1)}{\eebw_\Uqmhda(x_1)} \right)^{\frac{1}{x_1}}\leq \left( \frac{\zeta_L(x_2)}{\zeta_\Lambda(x_2)}  \rogmt)^{\frac{1}{x_2}}.$$ For provlng the equivalencr heyreen (3) and (4), noje that $H'(x)=\rrac{1}{x^
global\], we formulate some simple equivalent condition to $E_f[L]$ among of unit density: $\Lambda\in If $L\in \mathcal then we define $H_L,h_L:(d,+\infty)\to {\mathbb R}$ by $$H_L(x):=\frac{1}{x}\log\left( \frac{\zeta_L(x)}{\zeta_{\Lambda \quad h_L(x):=-\log \zeta_L(x) +x\frac{\partial_x\zeta_L(x)}{\zeta_L(x)}.$$ The following conditions are equivalent: 1. For any $x_2>x_1>d$, lattice $L_0 $ is the unique minimizer of $E_f$ on $D_{\mathcal L_d}$. 2. any the $\Lambda is the unique minimizer of $\tilde{E}_f$, defined by, on $D_{\mathcal L_2^\circ}$. 3. For any Bravais lattice \mathcal L_d^\circ\setminus\{ \Lambda \}$, the function $H_L$ is increasing on $(d,+\infty)$. 4. any $x>d$, $\Lambda $ is unique of $h_L(x)$ $D_{\mathcal{L}_d^\circ}$. equivalence (1) and (2) treated in point (1) of Proposition \[prop-LJglobal\]. To prove the equivalence between (2) and (3), note that \tilde{E}_f[L]\iff \left( \left( \frac{\zeta_L(x_2)}{\zeta_\Lambda(x_2)} For the between (3) and that $H'(x)=\frac{1}{x^
global\], we formulate some simpLe equivaleNt conDitIon FoR $\LamBda$ tO minimize $E_f[L]$ amONg laTtices of unit density:

\[proP:equiV\] LET $L_0=\laMBdA \LambDa$ for $\LaMBdA\IN \maThCaL{L}_d^\CiRC$. IF $L\in \mAthCal L_d^\ciRc$ then we deFinE fUnctions $H_L,h_L:(D,+\InFty)\to {\mathbB R}$ bY $$H_L(x):=\frac{1}{x}\log\LefT(  \frac{\zEtA_L(x)}{\ZEta_{\LaMbdA }(x)}\rigHt), \quad
H_l(x):=-\log \zEta_L(x) +x\fraC{\pARtial_x\ZEta_L(x)}{\zeTA_l(x)}.$$ the fOllowing conditionS ArE Equivalent:

1.  For aNy $x_2>x_1>d$, tHe LAtTICe $L_0 $ Is tHe unique miNiMizer OF $E_f$ on $D_{\mAThCAL l_d}$.

2.  FOR any $x_2>x_1>d$, the latTice $\Lambda $ iS The Unique MiNimIZer of $\tIlde{E}_F$, dEFinEd by, on $D_{\mathCal L_2^\Circ}$.

3.  For anY BravaIS latticE $l\in \mathCal L_d^\cIrc\SetMinuS\{ \laMbDa \}$, tHe FUncTIoN $H_L$ IS stRictly inCrEaSing oN $(d,+\inFTY)$.

4.  fOr anY $x>d$, $\lambDa $ is tHe unique minimIzeR of $h_l(X)$ on $d_{\mathCal{L}_d^\Circ}$.

thE equiValencE betwEeN (1) and (2) is treated in PoinT (1) of ProposItiOn \[ProP-LjglobAL\]. To proVe tHe eQuivaleNce betwEEn (2) aNd (3), NOTE tHat $$\tilde{E}_f[\Lambda]\leQ \tILDe{e}_f[L]\iff \leFt( \frac{\ZEtA_L(X_1)}{\Zeta_\LambDa(X_1)} \riGht)^{\fRAC{1}{x_1}}\leq \Left( \FRaC{\zeta_L(x_2)}{\zEta_\LamBDa(X_2)}  \rIght)^{\fraC{1}{x_2}}.$$ for proViNg tHe eQuivaLEnce BetweeN (3) and (4), note That $H'(X)=\Frac{1}{x^
global\], we formulate som e simple e quiva len t c on diti on f or $\Lambda$ t o  min imize $E_f[L]$ among l attic es of u n it  dens ity:

\ [ pr o p :eq ui v\ ] L et $L _0=\l amb da \Lam bda$ for $ \La mb da\in \mathc a l{ L}_d^\circ $.If $L\in \ma thc al L_d ^\ cir c $ the n w e def ine fu n ctions  $H_L,h_L :( d ,+\inf t y)\to { \ m at hbbR}$ by $$H_L(x):= \ fr a c{1}{x}\log\le ft(  \ fr a c{ \ z eta _L( x)}{\zeta_ {\ Lambd a  }(x)}\ r ig h t ) , \ q uad
h_L(x):=- \log \zeta_ L (x)  +x\fr ac {\p a rtial_ x\zet a_ L (x) }{\zeta_L(x )}.$ $ The fol lowing conditi o ns areequiva len t:
1.Fo rany  $ x _2> x _1 >d$ ,  th e lattic e$L _0 $is t h e u niqu e m inim izerof $E_f$ on $ D_{ \mat h cal  L_d} $.

2 .  F or  any$x_2>x _1>d$ ,the lattice $\L ambd a $ is th e u ni que  m inimi z er of$\t ild e{E}_f$ , defin e d b y, o n  $ D_{\mathcal L_2^\c ir c } $. 

3.  Fo r anyB ra va i s lattic e$L\ in \ m a thcal  L_d ^ \c irc\setm inus\{ \L am bda \}$ ,the fu nc tio n $ H_L$i s st rictly  increas ing o n  $(d,+\infty)$ . 

4.  For any $x > d $, $\La mbd a $ is theuniq u e mi nimi z er  of $h_L( x)$ o n$ D_ { \mathcal{L}_d^\circ }$ .

The  equi valence betwe en (1) and ( 2 ) is tre ated in point (1) of P ropos ition \[pr o p-LJglob al\].  To prov e the equ i v alence b etw een  (2 ) a n d  ( 3), note that $ $\ti ld e{E}_f[ \La mbda]\l eq\ti lde {E} _f [L]\iff \ left( \f ra c{ \z et a_L (x_1) } {\zeta_\ La mbd a( x_1 )} \r i ght)^{ \frac {1}{ x_ 1} } \le q \left (  \ f r ac{\ ze ta _L(x _2) }{ \zeta _\La m bda (x_2)} \right)^ {\f r ac{1 }{ x_ 2}}.$$For proving t he  equivalen ce  be tween( 3 ) and (4 ), note that $H'(x)=\fr a c{1}{x^ 
global\], we_formulate some_simple equivalent condition for_$\Lambda$ to_minimize_$E_f[L]$ among_lattices_of unit density:

\[prop:equiv\]_Let $L_0=\lambda \Lambda$_for $\Lambda\in \mathcal{L}_d^\circ$. If_$L\in \mathcal L_d^\circ$_then_we define functions $H_L,h_L:(d,+\infty)\to {\mathbb R}$ by $$H_L(x):=\frac{1}{x}\log\left(  \frac{\zeta_L(x)}{\zeta_{\Lambda }(x)}\right), \quad
h_L(x):=-\log \zeta_L(x) +x\frac{\partial_x\zeta_L(x)}{\zeta_L(x)}.$$_The_following conditions_are_equivalent:

1._ For any $x_2>x_1>d$, the_lattice $L_0 $ is the_unique minimizer_of $E_f$ on $D_{\mathcal L_d}$.

2.  For any_$x_2>x_1>d$,_the lattice $\Lambda_$ is the unique minimizer of $\tilde{E}_f$, defined by,_on $D_{\mathcal L_2^\circ}$.

3.  For any_Bravais lattice $L\in_\mathcal_L_d^\circ\setminus\{_\Lambda \}$, the function_$H_L$ is strictly increasing on $(d,+\infty)$.

4._ For any $x>d$, $\Lambda $_is the unique minimizer of $h_L(x)$ on_$D_{\mathcal{L}_d^\circ}$.

The equivalence between (1) and (2)_is treated in point (1)_of Proposition \[prop-LJglobal\]._To prove the equivalence between_(2) and (3),_note that_$$\tilde{E}_f[\Lambda]\leq \tilde{E}_f[L]\iff \left(_\frac{\zeta_L(x_1)}{\zeta_\Lambda(x_1)} \right)^{\frac{1}{x_1}}\leq \left( \frac{\zeta_L(x_2)}{\zeta_\Lambda(x_2)}  \right)^{\frac{1}{x_2}}.$$_For proving the_equivalence between (3) and (4), note_that_$H'(x)=\frac{1}{x^