\big|(r_0)^2+\big|\frac{g_1(|\nabla|)}{|\nabla||{\ensuremath{\mathcal{D}^0}}|}(\partial_r a_n+{\ensuremath{\varepsilon}}\tfrac{a_n}{r})\big|(r_0)^2.
\end{array}$$ In particular by Newton’s Theorem for radial function we have: $$\label{di_newton}
\forall\,\psi\in \mathrm{Ran}\,N_{\pm;n},\ |\psi|^2*\frac{1}{|\cdot|}(x_0)\le K(j_0)\frac{{\ensuremath{\lVert\psi\rVert_{L^{2}}}}^2}{|x_0|}.$$

– We first prove that there is no vanishing, that is $$\exists A>0,\ \limsup_n \sup_{z\in{\ensuremath{\mathbb{R}^3}}}\underset{B(z,A)}{{\ensuremath{\displaystyle\int}}}|\psi_{n}(x)|^2dx>0.$$ Indeed, let assume this is false. Then using, it is clear that $${\ensuremath{\lVertN_{\pm;n}\rVert_{\text{Ex}}}}^2\to 0,$$ and we get $\liminf \mathcal{E}^0_{\text{BDF}}\ge 2(2j_0+1)m+\liminf \mathcal{E}^0_{\text{BDF}}({\ensuremath{\gamma}}_n)\ge 2(2j_0+1)m,$

an inequality that is false as shown in the previous section.

**Thus, we have: $Q_n\rightharpoonup Q_{\infty}\neq 0$.**

– As the BDF energy is sequential weakly lower continuous [@Sc], we have $$E_{j_0,{\ensuremath{\varepsilon}}}\ge \mathcal{E}_{\text{BDF}}^0(Q_{\infty}).$$ Our aim is to prove that $Q_{\infty}+{\ensuremath{\mathcal{P}^0_-}}\in\mathscr{W}_{\mathbf{t}X^{\ell_0}}$: in other words that $Q_{\infty}$ is a minimizer for $E_{j_0,{\ensuremath{\varepsilon}}}$.

The spectral decomposition is not the relevant one: let us prove we can describe $P_n$ in function of the spectral spaces of the “mean-field operator” ${\ensuremath{\widetilde{D}}}_{
\big|(r_0)^2+\big|\frac{g_1(|\nabla|)}{|\nabla||{\ensuremath{\mathcal{D}^0}}|}(\partial_r a_n+{\ensuremath{\varepsilon}}\tfrac{a_n}{r})\big|(r_0)^2. 
 \end{array}$$ In particular by Newton ’s Theorem for radial function we have: $ $ \label{di_newton } 
 \forall\,\psi\in \mathrm{Ran}\,N_{\pm;n},\ |\psi|^2*\frac{1}{|\cdot|}(x_0)\le K(j_0)\frac{{\ensuremath{\lVert\psi\rVert_{L^{2}}}}^2}{|x_0|}.$$ 

 – We first rise that there be no vanishing, that is $ $ \exists A>0,\ \limsup_n \sup_{z\in{\ensuremath{\mathbb{R}^3}}}\underset{B(z, A)}{{\ensuremath{\displaystyle\int}}}|\psi_{n}(x)|^2dx>0.$$ Indeed, let assume this is false. Then use, it is clear that $ $ { \ensuremath{\lVertN_{\pm;n}\rVert_{\text{Ex}}}}^2\to 0,$$ and we get $ \liminf \mathcal{E}^0_{\text{BDF}}\ge 2(2j_0 + 1)m+\liminf \mathcal{E}^0_{\text{BDF}}({\ensuremath{\gamma}}_n)\ge 2(2j_0 + 1)m,$ 

 an inequality that is delusive as shown in the previous part. 

 * * Thus, we have: $ Q_n\rightharpoonup Q_{\infty}\neq 0$. * * 

 – As the BDF department of energy is sequential weakly lower continuous [ @Sc ], we have $ $ E_{j_0,{\ensuremath{\varepsilon}}}\ge \mathcal{E}_{\text{BDF}}^0(Q_{\infty}).$$ Our aim is to prove that $ Q_{\infty}+{\ensuremath{\mathcal{P}^0_-}}\in\mathscr{W}_{\mathbf{t}X^{\ell_0}}$: in early words that $ Q_{\infty}$ is a minimizer for $ E_{j_0,{\ensuremath{\varepsilon}}}$. 

 The spectral decay is not the relevant one: let us rise we can report $ P_n$ in function of the spectral spaces of the “ beggarly - field operator ” $ { \ensuremath{\widetilde{D } } } _ {
\big|(g_0)^2+\big|\frac{g_1(|\nabla|)}{|\nabla||{\ensurtmath{\mathcal{D}^0}}|}(\partnql_r a_n+{\xnsuremzth{\vareprilon}}\tfrac{a_n}{r})\big|(r_0)^2.
\end{array}$$ In pqrticylar by Newton’s Theoreo for radpal functuon xe have: $$\label{di_nxston}
\forall\,\psi\jk \matkrn{Ran}\,N_{\pm;n},\ |\psi|^2*\frsc{1}{|\cdot|}(x_0)\le N(j_0)\frac{{\ensuremadh{\uVzrt\psi\rVert_{L^{2}}}}^2}{|x_0|}.$$

– We first prove that thqre is mo vanishing, thaj is $$\txifts Z>0,\ \limsup_n \sup_{z\in{\ensuremath{\mathbb{R}^3}}}\uhderset{U(z,A)}{{\ensuremath{\dixplaystyle\int}}}|\psi_{n}(x)|^2dx>0.$$ Indeef, leh assume this is fwlse. Then uwing, ut is clear ghat $${\ensurtmcth{\lVertN_{\pm;h}\rVert_{\text{Ex}}}}^2\to 0,$$ and we get $\limivf \machcal{E}^0_{\text{BEF}}\te 2(2u_0+1)k+\liminf \matical{E}^0_{\tvxt{BDF}}({\ensuremath{\gamma}}_t)\ge 2(2j_0+1)m,$

am inequality tmat iv fqlse as shown in the 'revious section.

**Thus, we have: $X_n\xightharpoonup Q_{\infty}\bew 0$.**

– As the BDF wnefgy ix aequenhiam weakly lkwer continyous [@Sc], we have $$E_{j_0,{\emstgrmath{\varepsimon}}}\ge \iaehcal{E}_{\text{BDF}}^0(Q_{\infty}).$$ Our aim is to prove thzt $Q_{\infty}+{\ensuremath{\mathxal{P}^0_-}}\in\mathscr{W}_{\mathbf{t}D^{\ell_0}}$: in oeher words that $Q_{\infty}$ is a minimizer for $E_{j_0,{\ensuramath{\tafepwijub}}}$.

Tje spectral decomposition is not the relevant knt: lvt us prove we cak describe $P_n$ in finftojn of the speztral spades of the “mean-fiepd operwtor” ${\wnsurematr{\widrtilde{D}}}_{
\big|(r_0)^2+\big|\frac{g_1(|\nabla|)}{|\nabla||{\ensuremath{\mathcal{D}^0}}|}(\partial_r a_n+{\ensuremath{\varepsilon}}\tfrac{a_n}{r})\big|(r_0)^2. \end{array}$$ In particular by Newton’s radial we have: \forall\,\psi\in \mathrm{Ran}\,N_{\pm;n},\ |\psi|^2*\frac{1}{|\cdot|}(x_0)\le that is no vanishing, is $$\exists A>0,\ \sup_{z\in{\ensuremath{\mathbb{R}^3}}}\underset{B(z,A)}{{\ensuremath{\displaystyle\int}}}|\psi_{n}(x)|^2dx>0.$$ Indeed, let assume this is Then using, it is clear that $${\ensuremath{\lVertN_{\pm;n}\rVert_{\text{Ex}}}}^2\to 0,$$ and we get $\liminf \mathcal{E}^0_{\text{BDF}}\ge \mathcal{E}^0_{\text{BDF}}({\ensuremath{\gamma}}_n)\ge 2(2j_0+1)m,$ an inequality that is false as shown in the previous section. we $Q_n\rightharpoonup 0$.** As the BDF energy is sequential weakly lower continuous [@Sc], we have $$E_{j_0,{\ensuremath{\varepsilon}}}\ge \mathcal{E}_{\text{BDF}}^0(Q_{\infty}).$$ Our aim to prove that $Q_{\infty}+{\ensuremath{\mathcal{P}^0_-}}\in\mathscr{W}_{\mathbf{t}X^{\ell_0}}$: in other words that is a minimizer for The spectral decomposition is not relevant let us we describe in function of spectral spaces of the “mean-field operator” ${\ensuremath{\widetilde{D}}}_{
\big|(r_0)^2+\big|\frac{g_1(|\nabla|)}{|\nabla||{\ensUremath{\matHcal{D}^0}}|}(\ParTiaL_r A_n+{\enSureMath{\varepsilon}}\TFrac{A_n}{r})\big|(r_0)^2.
\end{array}$$ In partiCular By nEwtoN’S THeoreM for radIAl FUNctIoN wE haVe: $$\LAbEl{di_nEwtOn}
\foralL\,\psi\in \mathRm{RAn}\,n_{\pm;n},\ |\psi|^2*\frac{1}{|\cDOt|}(X_0)\le K(j_0)\frac{{\eNsuRemath{\lVert\pSi\rvert_{L^{2}}}}^2}{|x_0|}.$$

– we FirST provE thAt theRe is no VAnishiNg, that is $$\eXiSTs A>0,\ \limSUp_n \sup_{z\IN{\EnSureMath{\mathbb{R}^3}}}\undersET{B(Z,a)}{{\ensuremath{\disPlaystYlE\InT}}}|\PSi_{n}(X)|^2dx>0.$$ indeed, let aSsUme thIS is falsE. thEN USinG, It is clear that $${\Ensuremath{\lvErtn_{\pm;n}\rVErT_{\teXT{Ex}}}}^2\to 0,$$ aNd we gEt $\LImiNf \mathcal{E}^0_{\tExt{BdF}}\ge 2(2j_0+1)m+\limInf \matHCal{E}^0_{\texT{bDF}}({\ensuRemath{\GamMa}}_n)\Ge 2(2j_0+1)m,$

AN iNeQuaLiTY thAT iS faLSe aS shown in ThE pRevioUs seCTION.

**ThuS, we Have: $q_n\rigHtharpoonup Q_{\iNftY}\neq 0$.**

– aS thE BDF eNergy Is seQuEntiaL weaklY loweR cOntinuous [@Sc], we haVe $$E_{j_0,{\EnsurematH{\vaRePsiLoN}}}\ge \maTHcal{E}_{\tExt{bDF}}^0(q_{\infty}).$$ OUr aim is TO prOvE THAt $q_{\infty}+{\ensuremath{\maThCAL{P}^0_-}}\In\mathscR{W}_{\mathBF{t}x^{\eLL_0}}$: in other WoRds That $q_{\INfty}$ iS a miNImIzer for $E_{J_0,{\ensurEMaTh{\VarepsiLoN}}}$.

The spEcTraL deCompoSItioN is not The relevAnt onE: Let us prove we caN Describe $P_n$ in fUNcTIOn OF the SpeCtral spaces Of thE “Mean-FielD OpEraTOr” ${\ensUremaTh{\WIdETilde{D}}}_{
\big|(r_0)^2+\big|\frac{g_ 1(|\nabla| )}{|\ nab la| |{ \ens urem ath{\mathcal{D } ^0}} |}(\partial_r a_n+{\en surem at h {\va r ep silon }}\tfra c {a _ n }{r }) \b ig| (r _ 0) ^2.
\ end {array} $$ In part icu la r by Newton’ s  T heorem for  ra dial functio n w e have :$$\ l abel{ di_ newto n}
\fo r all\,\ psi\in \m at h rm{Ran } \,N_{\p m ; n} ,\ | \psi|^2*\frac{1}{ | \c d ot|}(x_0)\le K (j_0)\ fr a c{ { \ ens ure math{\lVer t\ psi\r V ert_{L^ { 2} } } } ^2} { |x_0|}.$$

–We first pr o vethat t he rei s no v anish in g , t hat is $$\e xist s A>0,\ \ limsup _ n \sup_ { z\in{\e nsurem ath {\m athb b {R }^ 3}} }\ u nde r se t{B ( z,A )}{{\ens ur em ath{\ disp l a y s tyle \in t}}} |\psi _{n}(x)|^2dx> 0.$ $ In d eed , let  assu me t hi s isfalse.  Then  u sing, it is cle ar t hat $${\e nsu re mat h{ \lVer t N_{\pm ;n} \rV ert_{\t ext{Ex} } }}^ 2\ t o 0, $$ and we get $\li mi n f  \ mathcal{ E}^0_{ \ te xt { BDF}}\ge  2 (2j _0+1 ) m +\lim inf\ ma thcal{E} ^0_{\t e xt {B DF}}({\ en surema th {\g amm a}}_n ) \ge2(2j_0 +1)m,$
an in e quality that i s  false as sho w ni n  t h e pr evi ous section .

* * Thus , we ha ve: $Q_n\ right ha r po o nup Q_{\infty}\neq0$ .**

–  As t he BDF energy  is sequen t i a l weakly  low e rc ontinuous [@Sc ], we  have $$E_ { j_0,{\en surem ath{\var epsilon}} } \ ge \math cal {E} _{\ tex t { BD F}}^0(Q_{\inf t y }).$ $Our aim  is  to pro vetha t $ Q_{ \i nfty}+{\e nsuremat h{ \m at hc al{ P}^0_ - }}\in\ma th scr {W }_{ \math b f{t}X^ {\ell _0}} $:  i n  ot her wor d st h at $ Q_ {\ inft y}$  i s a m inim i zer  for $E _{j_0,{\e nsu r emat h{ \v arepsil on}}}$.

Thesp ectral dec om pos itioni s  not the  relevant one: let us p r ove wecan  desc ribe  $P_n$ in  fu nction  of the sp ectral  spac es  of t he “m e a n- fie ld  operator” $ {\e nsure ma th{\ widetil de{D}}}_{
\big|(r_0)^2+\big|\frac{g_1(|\nabla|)}{|\nabla||{\ensuremath{\mathcal{D}^0}}|}(\partial_r a_n+{\ensuremath{\varepsilon}}\tfrac{a_n}{r})\big|(r_0)^2.
\end{array}$$_In particular_by Newton’s Theorem for_radial function_we_have: $$\label{di_newton}
\forall\,\psi\in_\mathrm{Ran}\,N_{\pm;n},\_|\psi|^2*\frac{1}{|\cdot|}(x_0)\le K(j_0)\frac{{\ensuremath{\lVert\psi\rVert_{L^{2}}}}^2}{|x_0|}.$$

– We_first prove that_there is no vanishing,_that is $$\exists_A>0,\_\limsup_n \sup_{z\in{\ensuremath{\mathbb{R}^3}}}\underset{B(z,A)}{{\ensuremath{\displaystyle\int}}}|\psi_{n}(x)|^2dx>0.$$ Indeed, let assume this is false. Then using, it is clear that_$${\ensuremath{\lVertN_{\pm;n}\rVert_{\text{Ex}}}}^2\to_0,$$ and_we_get_$\liminf \mathcal{E}^0_{\text{BDF}}\ge 2(2j_0+1)m+\liminf \mathcal{E}^0_{\text{BDF}}({\ensuremath{\gamma}}_n)\ge 2(2j_0+1)m,$

an_inequality that is false as_shown in_the previous section.

**Thus, we have: $Q_n\rightharpoonup Q_{\infty}\neq 0$.**

–_As_the BDF energy_is sequential weakly lower continuous [@Sc], we have $$E_{j_0,{\ensuremath{\varepsilon}}}\ge_\mathcal{E}_{\text{BDF}}^0(Q_{\infty}).$$ Our aim is to prove_that $Q_{\infty}+{\ensuremath{\mathcal{P}^0_-}}\in\mathscr{W}_{\mathbf{t}X^{\ell_0}}$: in_other_words_that $Q_{\infty}$ is a_minimizer for $E_{j_0,{\ensuremath{\varepsilon}}}$.

The spectral decomposition is_not the relevant one: let us_prove we can describe $P_n$ in function_of the spectral spaces of the_“mean-field operator” ${\ensuremath{\widetilde{D}}}_{