lVert\Delta \psi\rVert_{L^{2}}}}\apprle \alpha^4(2j_0+1)^{3/2}.$$ We prove this result below.

Furthermore, using the Cauchy expansion and, we get $$\begin{array}{| rcl}
  {\ensuremath{\lVert\,|{\ensuremath{\mathcal{D}^0}}|^{1/2}{\ensuremath{\gamma}}_{vac}\rVert_{\mathfrak{S}_{2}}}}&\apprle&\alpha {\ensuremath{\lVert\nabla N\rVert_{\mathfrak{S}_{2}}}}+\sqrt{L\alpha}{\ensuremath{\lVert{\ensuremath{\gamma}}_{vac}\rVert_{\text{Ex}}}}+\alpha^2{\ensuremath{\lVertQ_\infty\rVert_{\text{Ex}}}}^2\big({\ensuremath{\lVert\nabla N\rVert_{\mathfrak{S}_{2}}}}+{\ensuremath{\lVert{\ensuremath{\gamma}}_{vac}\rVert_{\text{Ex}}}} \big),
 \end{array}$$ hence $$\label{di_marre_gvac}
 {\ensuremath{\lVert\,|{\ensuremath{\mathcal{D}^0}}|^{1/2}{\ensuremath{\gamma}}_{vac}\rVert_{\mathfrak{S}_{2}}}}\apprle \alpha^2\sqrt{2j_0+1}.$$

Now, if we assume -, then we get $$\text{For\ } \alpha\le \alpha_{j_0},\ \mathcal{E}^0_{\text{BDF}}\big(Q_\infty\big)=2m(2j_0+1)+\frac{\alpha^2m}{g'_1(0)^2}E_{\mathbf{t}X^{\ell_0}}^{nr}+\mathcal{O}\big(\alpha^3 K(j_0)\big).$$ We do not prove this fact: the method is the same as in [@sok; @pos_sok] (in the proof of the lower bound of $E^0_{\text{BDF}}(1)$ resp. $E_{1,1}$).

We just recall how we get.

##### Proof of 

We scale the wave functions of by ${\ensuremath{\lambda}}:=\frac{g'_1(0)^2}{\alpha m}$: $$\forall\,x\in {\ensuremath{\mathbb{R}^3}},\ U_{{\ensuremath{\lambda}}}\psi(x)={\ensuremath{\underline{\psi}}}(x):={\ensuremath{\lambda}}^{3/2}\psi({\ensuremath{\lambda}}
lVert\Delta \psi\rVert_{L^{2}}}}\apprle \alpha^4(2j_0 + 1)^{3/2}.$$ We prove this result below. 

 Furthermore, using the Cauchy expansion and, we draw $ $ \begin{array}{| rcl } 
   { \ensuremath{\lVert\,|{\ensuremath{\mathcal{D}^0}}|^{1/2}{\ensuremath{\gamma}}_{vac}\rVert_{\mathfrak{S}_{2}}}}&\apprle&\alpha { \ensuremath{\lVert\nabla N\rVert_{\mathfrak{S}_{2}}}}+\sqrt{L\alpha}{\ensuremath{\lVert{\ensuremath{\gamma}}_{vac}\rVert_{\text{Ex}}}}+\alpha^2{\ensuremath{\lVertQ_\infty\rVert_{\text{Ex}}}}^2\big({\ensuremath{\lVert\nabla N\rVert_{\mathfrak{S}_{2}}}}+{\ensuremath{\lVert{\ensuremath{\gamma}}_{vac}\rVert_{\text{Ex } } } } \big), 
  \end{array}$$ therefore $ $ \label{di_marre_gvac } 
  { \ensuremath{\lVert\,|{\ensuremath{\mathcal{D}^0}}|^{1/2}{\ensuremath{\gamma}}_{vac}\rVert_{\mathfrak{S}_{2}}}}\apprle \alpha^2\sqrt{2j_0 + 1}.$$ 

 Now, if we assume -, then we arrive $ $ \text{For\ } \alpha\le \alpha_{j_0},\ \mathcal{E}^0_{\text{BDF}}\big(Q_\infty\big)=2m(2j_0 + 1)+\frac{\alpha^2m}{g'_1(0)^2}E_{\mathbf{t}X^{\ell_0}}^{nr}+\mathcal{O}\big(\alpha^3 K(j_0)\big).$$ We do not test this fact: the method is the same as in [ @sok; @pos_sok ] (in the validation of the lower bound of $ E^0_{\text{BDF}}(1)$ resp. $ E_{1,1}$). 

 We just recall how we scram. 

 # # # # # Proof of 

 We scale the wave functions of by $ { \ensuremath{\lambda}}:=\frac{g'_1(0)^2}{\alpha m}$: $ $ \forall\,x\in { \ensuremath{\mathbb{R}^3}},\ U_{{\ensuremath{\lambda}}}\psi(x)={\ensuremath{\underline{\psi}}}(x):={\ensuremath{\lambda}}^{3/2}\psi({\ensuremath{\lambda } }
lVegt\Delta \psi\rVert_{L^{2}}}}\apprle \xlpha^4(2j_0+1)^{3/2}.$$ We prove this rxsult bslow.

Furtfermore, using the Cauchy expensiin ane, we get $$\begin{array}{| rcu}
  {\ensurelath{\lVerr\,|{\ensnremath{\mathcal{D}^0}}|^{1/2}{\eiaurematm{\yamma}}_{bwc}\rVzrv_{\mathfrak{S}_{2}}}}&\apprlg&\alpha {\ensuramath{\lVert\nabld V\rRert_{\mathfrak{S}_{2}}}}+\sqrt{L\alpha}{\ensuremath{\lVewt{\ensurrmwth{\gamma}}_{vac}\rVett_{\texu{Ex}}}}+\wlphz^2{\vnwuremath{\lVertQ_\infty\rVert_{\text{Es}}}}^2\big({\enslremath{\lVert\nabla N\rVert_{\mathfrak{S}_{2}}}}+{\ensuremath{\pVerh{\ensuremath{\gamma}}_{vaf}\rVert_{\text{Ez}}}} \bid),
 \end{array}$$ hevce $$\label{dp_karre_gvac}
 {\gnsuremath{\lVert\,|{\ensuremath{\mathcal{A}^0}}|^{1/2}{\ensuxemath{\gamma}}_{cax}\rVftt_{\mathfrak{S}_{2}}}}\a'prle \wlpha^2\sqrt{2j_0+1}.$$

Now, if we dssume -, then we get $$\tcxt{Foc\ } \aopha\le \alpha_{j_0},\ \mathcal{X}^0_{\text{BDF}}\big(Q_\infty\big)=2i(2j_0+1)+\frac{\alpva^2j}{g'_1(0)^2}E_{\mathbf{t}X^{\ell_0}}^{nr}+\mqtycal{O}\tig(\anpha^3 J(j_0)\bkg).$$ Se dk not orote this facf: the methoe is the same as in [@sjj; @pos_sok] (in tge projf of the lower bound of $E^0_{\text{BDF}}(1)$ resp. $E_{1,1}$).

Wt jusf recall how we get.

##### Proif of 

We scale the wage functijns of by ${\ensuremath{\lambda}}:=\frac{g'_1(0)^2}{\alpha m}$: $$\forall\,x\in {\ansurxmxth{\nabhbb{F}^3}},\ U_{{\fnsuremath{\lambda}}}\psi(x)={\ensuremath{\underline{\psi}}}(x):={\enfhrtmanh{\lambda}}^{3/2}\psi({\ensureiath{\lambda}}
lVert\Delta \psi\rVert_{L^{2}}}}\apprle \alpha^4(2j_0+1)^{3/2}.$$ We prove this result using Cauchy expansion we get $$\begin{array}{| \big), hence $$\label{di_marre_gvac} {\ensuremath{\lVert\,|{\ensuremath{\mathcal{D}^0}}|^{1/2}{\ensuremath{\gamma}}_{vac}\rVert_{\mathfrak{S}_{2}}}}\apprle Now, if we -, then we get $$\text{For\ } \alpha_{j_0},\ \mathcal{E}^0_{\text{BDF}}\big(Q_\infty\big)=2m(2j_0+1)+\frac{\alpha^2m}{g'_1(0)^2}E_{\mathbf{t}X^{\ell_0}}^{nr}+\mathcal{O}\big(\alpha^3 K(j_0)\big).$$ We do not prove this fact: the method is the as in [@sok; @pos_sok] (in the proof of the lower bound of $E^0_{\text{BDF}}(1)$ $E_{1,1}$). just how get. ##### Proof of We scale the wave functions of by ${\ensuremath{\lambda}}:=\frac{g'_1(0)^2}{\alpha m}$: $$\forall\,x\in {\ensuremath{\mathbb{R}^3}},\ U_{{\ensuremath{\lambda}}}\psi(x)={\ensuremath{\underline{\psi}}}(x):={\ensuremath{\lambda}}^{3/2}\psi({\ensuremath{\lambda}}
lVert\Delta \psi\rVert_{L^{2}}}}\apprle \Alpha^4(2j_0+1)^{3/2}.$$ We prOve thIs rEsuLt BeloW.

FurThermore, using tHE CauChy expansion and, we get $$\beGin{arRaY}{| Rcl}
  {\eNSuRematH{\lVert\,|{\eNSuREMatH{\mAtHcaL{D}^0}}|^{1/2}{\ENsUremaTh{\gAmma}}_{vac}\RVert_{\mathfRak{s}_{2}}}}&\aPprle&\alpha {\enSUrEmath{\lVert\NabLa N\rVert_{\mathFraK{S}_{2}}}}+\sqrt{l\aLphA}{\EnsurEmaTh{\lVeRt{\ensuREmath{\gAmma}}_{vac}\rVErT_{\Text{Ex}}}}+\ALpha^2{\ensUREmAth{\lvertQ_\infty\rVert_{\teXT{EX}}}}^2\Big({\ensuremath{\lvert\naBlA n\rvERt_{\mAthFrak{S}_{2}}}}+{\ensurEmAth{\lVERt{\ensurEMaTH{\GAmmA}}_{Vac}\rVert_{\text{EX}}}} \big),
 \end{arraY}$$ HenCe $$\labeL{dI_maRRe_gvac}
 {\EnsurEmATh{\lvert\,|{\ensuremAth{\mAthcal{D}^0}}|^{1/2}{\enSuremaTH{\gamma}}_{vAC}\rVert_{\mAthfraK{S}_{2}}}}\aPprLe \alPHa^2\SqRt{2j_0+1}.$$

noW, If wE AsSumE -, TheN we get $$\teXt{foR\ } \alphA\le \aLPHA_{J_0},\ \matHcaL{E}^0_{\teXt{BDF}}\Big(Q_\infty\big)=2m(2J_0+1)+\frAc{\alPHa^2m}{G'_1(0)^2}E_{\matHbf{t}X^{\Ell_0}}^{nR}+\mAthcaL{O}\big(\aLpha^3 K(J_0)\bIg).$$ We do not prove tHis fAct: the metHod Is The SaMe as iN [@Sok; @pos_Sok] (In tHe proof Of the loWEr bOuND OF $E^0_{\Text{BDF}}(1)$ resp. $E_{1,1}$).

We just ReCALl How we get.

##### proof oF 

we ScALe the wavE fUncTionS OF by ${\enSureMAtH{\lambda}}:=\fRac{g'_1(0)^2}{\alPHa M}$: $$\fOrall\,x\iN {\eNsuremAtH{\maThbB{R}^3}},\ U_{{\enSUremAth{\lamBda}}}\psi(x)={\eNsureMAth{\underline{\psI}}}(X):={\ensuremath{\laMBdA}}^{3/2}\PSi({\ENsurEmaTh{\lambda}}
lVert\Delta \psi\rVert_{L^ {2}}}}\app rle \ alp ha^ 4( 2j_0 +1)^ {3/2}.$$ We pr o ve t his result below.

Fur therm or e , us i ng  theCauchye xp a n sio nan d,we ge t $$\ beg in{arra y}{| rcl}  { \e nsuremath{\l V er t\,|{\ensu rem ath{\mathcal {D} ^0}}|^ {1 /2} { \ensu rem ath{\ gamma} } _{vac} \rVert_{\ ma t hfrak{ S }_{2}}} } & \a pprl e&\alpha {\ensure m at h {\lVert\nablaN\rVer t_ { \m a t hfr ak{ S}_{2}}}}+ \s qrt{L \ alpha}{ \ en s u r ema t h{\lVert{\ens uremath{\ga m ma} }_{vac }\ rVe r t_{\te xt{Ex }} } }+\ alpha^2{\en sure math{\lVe rtQ_\i n fty\rVe r t_{\tex t{Ex}} }}^ 2\b ig({ \ en su rem at h {\l V er t\n a bla  N\rVert _{ \m athfr ak{S } _ { 2 }}}} +{\ ensu remat h{\lVert{\ens ure math { \ga mma}} _{vac }\rV er t_{\t ext{Ex }}}}\b ig),
 \end{arra y}$$  hence $$ \la be l{d i_ marre _ gvac} {\ ens uremath {\lVert \ ,|{ \e n s u re math{\mathcal{D}^0 }} | ^ {1 /2}{\ens uremat h {\ ga m ma}}_{va c} \rV ert_ { \ mathf rak{ S }_ {2}}}}\a pprle\ al ph a^2\sqr t{ 2j_0+1 }. $$
No w, if we a ssume-, thenwe ge t  $$\text{For\}  \alpha\le \a l ph a _ {j _ 0},\  \m athcal{E}^0 _{\t e xt{B DF}} \ bi g(Q _ \inft y\big )= 2 m( 2 j_0+1)+\frac{\alpha ^2 m}{g'_ 1(0)^ 2}E_{\mathbf{ t}X^{\ell_ 0 } } ^{nr}+\m athc a l{ O }\big(\alpha^3  K(j_ 0)\big).$$ We do no t pro ve thisfact: the m ethod is  th e s ame  as i n[@sok; @pos_s o k ] (i nthe pro ofof thelow erbou ndof  $E^0_{\t ext{BDF} }( 1) $re sp.  $E_{ 1 ,1}$).
We  ju st  re callh ow weget.
### ##  P r oof  of 

W e  s c a le t he  w avefun ct ionsof b y  ${ \ensure math{\lam bda } }:=\ fr ac {g'_1(0 )^2}{\alpha m }$ : $$\foral l\ ,x\ in {\e n s uremath{ \mathbb{R}^3}},\ U_{{\e n suremat h{\ lambd a}}} \psi(x)={ \en surema th{ \ underl ine{\p si}}} (x ):= { \ ensur e m at h{\ la mbda}}^{3/ 2 } \ps i({\e ns urem ath{\la mbda}}
lVert\Delta \psi\rVert_{L^{2}}}}\apprle_\alpha^4(2j_0+1)^{3/2}.$$ We_prove this result below.

Furthermore,_using the_Cauchy_expansion and,_we_get $$\begin{array}{| rcl}
_ {\ensuremath{\lVert\,|{\ensuremath{\mathcal{D}^0}}|^{1/2}{\ensuremath{\gamma}}_{vac}\rVert_{\mathfrak{S}_{2}}}}&\apprle&\alpha {\ensuremath{\lVert\nabla_N\rVert_{\mathfrak{S}_{2}}}}+\sqrt{L\alpha}{\ensuremath{\lVert{\ensuremath{\gamma}}_{vac}\rVert_{\text{Ex}}}}+\alpha^2{\ensuremath{\lVertQ_\infty\rVert_{\text{Ex}}}}^2\big({\ensuremath{\lVert\nabla N\rVert_{\mathfrak{S}_{2}}}}+{\ensuremath{\lVert{\ensuremath{\gamma}}_{vac}\rVert_{\text{Ex}}}} \big),
 \end{array}$$_hence $$\label{di_marre_gvac}
 {\ensuremath{\lVert\,|{\ensuremath{\mathcal{D}^0}}|^{1/2}{\ensuremath{\gamma}}_{vac}\rVert_{\mathfrak{S}_{2}}}}\apprle_\alpha^2\sqrt{2j_0+1}.$$

Now,_if we assume -, then we get $$\text{For\ } \alpha\le \alpha_{j_0},\ \mathcal{E}^0_{\text{BDF}}\big(Q_\infty\big)=2m(2j_0+1)+\frac{\alpha^2m}{g'_1(0)^2}E_{\mathbf{t}X^{\ell_0}}^{nr}+\mathcal{O}\big(\alpha^3 K(j_0)\big).$$ We_do_not prove_this_fact:_the method is the same_as in [@sok; @pos_sok] (in_the proof_of the lower bound of $E^0_{\text{BDF}}(1)$ resp. $E_{1,1}$).

We_just_recall how we_get.

##### Proof of 

We scale the wave functions of_by ${\ensuremath{\lambda}}:=\frac{g'_1(0)^2}{\alpha m}$: $$\forall\,x\in {\ensuremath{\mathbb{R}^3}},\ U_{{\ensuremath{\lambda}}}\psi(x)={\ensuremath{\underline{\psi}}}(x):={\ensuremath{\lambda}}^{3/2}\psi({\ensuremath{\lambda}}