 deriving an asymptotic expansion for the energy functional associated with the equation, which we apply to a suitable family of test functions depending on a real parameter (see for the energy functional and for the family of test functions). To simplify the calculations of curvature terms, we use the conformal normal coordinates introduced by Lee and Parker [@LeePar] and later improved by Cao [@Cao] and Günther [@Gun]. Our proof also crucially relies on the derivation of an expression for the highest-order terms of the GJMS operators (see ), which we obtain by using Juhl’s formulae [@Juhl]. Similarly as in the lower-order cases, we find that the proof essentially reduces to determine the sign of a constant $C{\left(}n,k{\right)}$ depending only on $n$ and $k$, which appears in the energy expansion (see ). In particular, we recover the values found in [@ChenHou; @EspRob] for $C{\left(}n,k{\right)}$ with $k\in\left\{2,3\right\}$. We then conclude the proof by using a general minimization result in the spirit of Aubin [@Aub] (see Mazumdar [@Maz]\*[Theorem 3]{}). We point out that at one place in the proof, namely in the very last computation to determine the sign of $C{\left(}n,k{\right)}$ (see ), we have used the computation software [*Maple*]{} to expand a complicated polynomial with integer coefficients.

Energy expansion and proof of Theorem \[Th\] {#Sec2}
============================================

This section is devoted to the proof of Theorem \[Th\]. Given an integer $k\ge1$ and a smooth positive function $f$ in $M$, we let $I_{k,f}$ be the energy functional defined as $$\label{Eq2}
I_{k,f,g}{\left(}u{\right)}:=\frac{\displaystyle\int_MuP_{2k}u\,dv_g}{\displaystyle{\left(}\int_Mf\left|u\right|^{2^*_k}dv_g{\right)}^{\frac{n-2k}{n}}}$$ for all functions $u\in C^{2k}{\left(}M{\right)}$ such that $u\not\equiv0$. We fix a point $\xi\in M$.
deriving an asymptotic expansion for the energy functional associated with the equation, which we lend oneself to a desirable family of test function count on a real parameter (experience for the department of energy functional and for the family of test functions). To simplify the calculations of curvature terms, we practice the conformal normal coordinates introduced by Lee and Parker   [ @LeePar ] and later improved by Cao   [ @Cao ] and Günther   [ @Gun ]. Our validation also crucially relies on the deriving of an expression for the highest - ordering terms of the GJMS operators (see), which we prevail by using Juhl ’s formulae   [ @Juhl ]. Similarly as in the lower - order casing, we find that the proof essentially reduces to determine the signboard of a constant $ C{\left(}n, k{\right)}$ depending only on $ n$ and $ k$, which appears in the energy expansion (determine). In particular, we recover the values found in   [ @ChenHou; @EspRob ] for $ C{\left(}n, k{\right)}$ with $ k\in\left\{2,3\right\}$. We then conclude the proof by using a general minimization result in the spirit of Aubin   [ @Aub ] (attend Mazumdar   [ @Maz]\*[Theorem   3 ] { }). We point out that at one place in the validation, namely in the very final calculation to determine the sign of $ C{\left(}n, k{\right)}$ (determine), we have used the computation software [ * Maple * ] { } to expand a complicated polynomial with integer coefficients. 

 department of energy expansion and proof of Theorem   \[Th\ ] { # Sec2 } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 This section is devoted to the proof of Theorem   \[Th\ ]. Given an integer $ k\ge1 $ and a smooth positive function $ f$ in $ M$, we let $ I_{k, f}$ be the energy functional defined as $ $ \label{Eq2 } 
 I_{k, f, g}{\left(}u{\right)}:=\frac{\displaystyle\int_MuP_{2k}u\,dv_g}{\displaystyle{\left(}\int_Mf\left|u\right|^{2^*_k}dv_g{\right)}^{\frac{n-2k}{n}}}$$ for all functions $ u\in C^{2k}{\left(}M{\right)}$ such that $ u\not\equiv0$. We fix a distributor point $ \xi\in M$.
 degiving an asymptotic expxnsion for the gnwrgy fnnctionzl assockated with the equation, whici we applt to a suitable family of test vunctionw dekending on a real parametcx (see nor tke energy functipnal and fmr the family mf tzst functions). To simplify the calculwtions pf curvature teris, wt ufe tgv gonformal normal coordinates intdoduced by Lee and Psrker [@LeePar] and later imprlved by Cao [@Cao] and Güntjer [@Gun]. Our kdoos also cruciauly relies on the deribation of an expression for the highzst-order tetma lx the GJMS iperanors (see ), whign we ottain bu using Juhl’s normunae [@Huhl]. Similarly as in vhe lower-order cases, we find dhct the proof essentiaolt redoces do ddreroint tie aign ov a constant $D{\left(}n,k{\righr)}$ depending only on $n$ qnd $k$, which alpears ig the energy expansion (see ). In particuldr, se recover the values fiund in [@ChenHou; @EspRob] for $C{\lefe(}n,k{\right)}$ with $k\in\left\{2,3\right\}$. We then conclude the psoof uy usnkn a ewnfral minimization result in the spirit of Aubyh [@Aib] (see Mazumdar [@Mcz]\*[Theorem 3]{}). We poimt oij that at one klace iu tge proof, namely in the vety lasr computauion yo determine the sign of $C{\lwft(}n,k{\right)}$ (sve ), qe have used the clmputation rofteare [*Kaple*]{} to expand a complncated polynomial with intseer coefficients.

Dneggy axpansion and proof of Thejrem \[Th\] {#Ser2}
============================================

This sectiov is devotqd to the oroof of Theorem \[Th\]. Given an iuteges $k\ge1$ and w smooth positive function $f$ in $M$, we let $I_{k,f}$ ne thv energy yunctipnal defined ws $$\label{Eq2}
I_{k,f,g}{\keft(}u{\riyht)}:=\fraz{\displaystjle\int_MuP_{2n}u\,dv_g}{\displarstyle{\left(}\int_Kv\left|u\right|^{2^*_k}vv_g{\right)}^{\fwac{n-2j}{n}}}$$ fir all wjnctions $u\in C^{2l}{\left(}M{\rigku)}$ such thar $u\not\equiv0$. We fix a kojnt $\xi\in M$.
deriving an asymptotic expansion for the energy with equation, which apply to a depending a real parameter for the energy and for the family of test To simplify the calculations of curvature terms, we use the conformal normal coordinates by Lee and Parker [@LeePar] and later improved by Cao [@Cao] and Günther Our also relies the derivation of an expression for the highest-order terms of the GJMS operators (see ), which obtain by using Juhl’s formulae [@Juhl]. Similarly as the lower-order cases, we that the proof essentially reduces determine sign of constant depending on $n$ and which appears in the energy expansion (see ). In particular, we recover the values found in [@ChenHou; for $C{\left(}n,k{\right)}$ We then the by a general minimization the spirit of Aubin [@Aub] (see We point out that at one place in proof, namely the very last computation to determine sign of $C{\left(}n,k{\right)}$ (see ), we have used computation software [*Maple*]{} to expand a complicated polynomial with integer coefficients. Energy expansion and proof \[Th\] {#Sec2} ============================================ This is devoted to proof Theorem Given integer $k\ge1$ a smooth positive function $f$ in $M$, we let $I_{k,f}$ be energy functional defined as $$\label{Eq2} I_{k,f,g}{\left(}u{\right)}:=\frac{\displaystyle\int_MuP_{2k}u\,dv_g}{\displaystyle{\left(}\int_Mf\left|u\right|^{2^*_k}dv_g{\right)}^{\frac{n-2k}{n}}}$$ for all functions $u\in that We fix a $\xi\in M$.
 deriving an asymptotic expanSion for the EnergY fuNctIoNal aSsocIated with the eqUAtioN, which we apply to a suitabLe famIlY Of teST fUnctiOns depeNDiNG On a ReAl ParAmETeR (see fOr tHe energY functionaL anD fOr the family oF TeSt functionS). To Simplify the cAlcUlatioNs Of cURvatuRe tErms, wE use thE ConforMal normal CoORdinatES introdUCEd By LeE and Parker [@LeePar] aND lATer improved by CAo [@Cao] aNd gÜnTHEr [@GUn]. OUr proof alsO cRuciaLLy relieS On THE DerIVation of an expRession for tHE hiGhest-oRdEr tERms of tHe GJMs oPEraTors (see ), whicH we oBtain by usIng JuhL’S formulAE [@Juhl]. SiMilarlY as In tHe loWEr-OrDer CaSEs, wE FiNd tHAt tHe proof eSsEnTiallY redUCES To deTerMine The siGn of a constant $c{\leFt(}n,k{\RIghT)}$ depeNding Only On $N$ and $k$, Which aPpearS iN the energy expanSion (See ). In partIcuLaR, we ReCover THe valuEs fOunD in [@Chenhou; @EspROB] foR $C{\LEFT(}n,K{\right)}$ with $k\in\left\{2,3\rIgHT\}$. we Then concLude thE PrOoF By using a GeNerAl miNIMizatIon rESuLt in the sPirit oF auBiN [@Aub] (see maZumdar [@maZ]\*[ThEorEm 3]{}). We pOInt oUt that At one plaCe in tHE proof, namely in THe very last comPUtATIoN To deTerMine the sign Of $C{\lEFt(}n,k{\RighT)}$ (SeE ), we HAve usEd the CoMPuTAtion software [*Maple*]{} tO eXpand a ComplIcated polynomIal with intEGER coefficIentS.

enERgy expansion anD prooF of Theorem \[tH\] {#Sec2}
============================================

This SectiOn is devoTed to the pROOf of TheoRem \[th\]. GIveN an INTeGer $k\ge1$ and a smoOTH posItIve funcTioN $f$ in $M$, we Let $i_{k,f}$ Be tHe eNeRgy functiOnal defiNeD aS $$\lAbEl{EQ2}
I_{k,f,g}{\LEft(}u{\righT)}:=\fRac{\DiSplAystyLE\int_Mup_{2k}u\,dv_G}{\disPlAySTylE{\left(}\inT_mf\LEFt|u\rIgHt|^{2^*_K}dv_g{\RigHt)}^{\Frac{n-2K}{n}}}$$ foR All FunctioNs $u\in C^{2k}{\leFt(}M{\RIght)}$ SuCh That $u\noT\equiv0$. We fix a pOiNt $\xi\in M$.
 deriving an asymptotic ex pansion fo r the  en erg yfunc tion al associatedw iththe equation, which we  appl yt o as ui table  family of t est  f un cti on s  d epend ing  on a r eal parame ter  ( see for thee ne rgy functi ona l and for th e f amilyof  te s t fun cti ons).  To si m plifythe calcu la t ions o f  curvat u r eterm s, we use the con f or m al normal coor dinate si nt r o duc edby Lee and  P arker [@LeePa r ]a n d  la t er improved b y Cao [@Cao ]  an d Günt he r [ @ Gun].Our p ro o f a lso crucial ly r elies onthe de r ivation of an e xpress ion  fo r th e  h ig hes t- o rde r  t erm s  of  the GJM Sop erato rs ( s e e ), w hic h we  obta in by using J uhl ’s f o rmu lae [ @Juhl ]. S im ilarl y as i n the  l ower-order case s, w e find th atth e p ro of es s ential lyred uces to  determ i neth e s ig n of a constant $C {\ l e ft (}n,k{\r ight)} $  d ep e nding on ly  on  $n$ a nd $k $, w h ic h appear s in t h een ergy ex pa nsion(s ee).In pa r ticu lar, w e recove r the values found i n  [@ChenHou; @ E sp R o b] for$C{ \left(}n,k{ \rig h t)}$  wit h  $ k\i n \left \{2,3 \r i gh t \}$. We then conclu de  the p roofby using a ge neral mini m i z ation re sult in the spirit ofAubin  [@Aub] (s e e Mazumd ar [@ Maz]\*[T heorem 3] { } ). We po int  ou t t hat a tone place int h e pr oo f, name lyin thever y l ast  co mp utation t o determ in eth esig n of$ C{\left( }n ,k{ \r igh t)}$( see ),  we h aveus ed the  comput a ti o n  sof tw ar e [* Map le *]{}to e x pan d a com plicatedpol y nomi al  w ith int eger coeffici en ts.

Energ yexp ansion a nd proof  of Theorem \[Th\] {#Se c 2}
==== === ===== ==== ========= === ====== === = ====== 

This  sect io n i s devot e d  t o t he  proof ofT h eor em \[ Th \].Given a n integer $k\ge1$a nda smooth posi tiv e fu n c ti on$ f$ in$M $ , w e let $I_{k,f}$ b e the ener gy fu nctional d e fin ed  as $$\ label{E q2}
I _ {k,f,g} {\left(}u {\right)} := \fra c { \di splaystyle \int_MuP _{2k}u\,d v _g}{\ d is plays tyl e{\lef t( }\i nt_Mf \left| u \ri ght|^ {2^*_k }d v_g{\r ight) }^ {\frac{n -2k}{n}}}$$ for all fun ctions  $u\i n C ^{2k}{\le ft( } M{\ right)}$such  that $u\n ot\ equ iv0$.  We fix a  poi n t$\x i \in M $.
 deriving_an asymptotic_expansion for the energy_functional associated_with_the equation,_which_we apply to_a suitable family_of test functions depending_on a real_parameter_(see for the energy functional and for the family of test functions). To simplify_the_calculations of_curvature_terms,_we use the conformal normal_coordinates introduced by Lee and_Parker [@LeePar] and_later improved by Cao [@Cao] and Günther [@Gun]. Our proof_also_crucially relies on_the derivation of an expression for the highest-order terms_of the GJMS operators (see ),_which we obtain_by_using_Juhl’s formulae [@Juhl]. Similarly as_in the lower-order cases, we find_that the proof essentially reduces to_determine the sign of a constant $C{\left(}n,k{\right)}$_depending only on $n$ and $k$,_which appears in the energy_expansion (see_). In particular, we recover_the values found_in [@ChenHou; @EspRob]_for $C{\left(}n,k{\right)}$ with_$k\in\left\{2,3\right\}$. We then conclude the proof_by using a_general minimization result in the spirit_of_Aubin [@Aub] (see Mazumdar [@Maz]\*[Theorem 3]{})._We_point_out that_at one place_in_the proof,_namely_in the very last computation to_determine_the sign of $C{\left(}n,k{\right)}$ (see ), we_have used the computation_software_[*Maple*]{} to expand a_complicated polynomial with integer coefficients.

Energy_expansion and proof of Theorem \[Th\] {#Sec2}
============================================

This_section is_devoted to_the proof of Theorem \[Th\]. Given an integer $k\ge1$ and a smooth_positive function $f$ in $M$, we_let $I_{k,f}$ be the_energy functional_defined_as $$\label{Eq2}
I_{k,f,g}{\left(}u{\right)}:=\frac{\displaystyle\int_MuP_{2k}u\,dv_g}{\displaystyle{\left(}\int_Mf\left|u\right|^{2^*_k}dv_g{\right)}^{\frac{n-2k}{n}}}$$ for_all_functions $u\in_C^{2k}{\left(}M{\right)}$ such that $u\not\equiv0$. We fix a_point $\xi\in_M$.