=0} =\left. \varphi'\frac{d}{dr}\left(\frac{L[\gamma_{i}(r,.)]}{2}\right)
\right|_{r=0} = 0,$$ and so $$\begin{aligned}
\sum_{i=1}^{n-1}\frac{d^2}{dr^2}\left(\varphi\left.\left(\frac{L[\gamma_{i}(r,.)]}{2}\right)\right)
\right|_{r=0} &= \sum_{i=1}^{n-1}\left.\left(\varphi'\frac{d^2}{dr^2}\left(\frac{L[\gamma_{i}(r,.)]}{2}\right)
\right|_{r=0} +\varphi''\left(\frac{d}{dr}\left.\left(\frac{L[\gamma_{i}(r,.)]}{2}\right)
\right|_{r=0}\right)^2\right)\\
&\leq -2(n-1)\left.\varphi'{\mathbf{T}_\kappa}\right|_{d/2}.\end{aligned}$$ Now using the inequalities and, we have from that $$\label{trace inequality}
\mathcal{L}[\nabla^2\psi,\nabla\psi]\leq{\mathrm{trace}}\left(A\nabla^2\psi\right)\leq 2\left[\alpha(\varphi')\varphi''-(n-1)\beta(\varphi')\varphi'{\mathbf{T}_\kappa}\right]\big|_{d/2},$$ as required.

In the case $d=\frac{\pi}{\sqrt{K}}$ then we choose instead $\gamma_i(r,s) = \exp_{\gamma(s)}
\left(\frac{r \mathbf{C_{\kappa'}} (s)E_i}{\mathbf{C_{\kappa'}}(d/2)}\right)$, for arbitrary $\kappa'<\kappa$. Then the computation above gives $$\sum_{i=1}^{n-1}\nabla^2\psi((E_i,E_i),(E_i,E_i))\leq -2(n-1)\varphi'{\mathbf{T}_\kappa}.$$ Since the right hand side approaches $-\infty$ as $\kappa'$ increases to $\kappa$, we have a contradiction to the assumption that $\psi$ is smooth. Hence no such $\psi$ exists and there is nothing to prove
= 0 } = \left. \varphi'\frac{d}{dr}\left(\frac{L[\gamma_{i}(r,.)]}{2}\right) 
 \right|_{r=0 } = 0,$$ and so $ $ \begin{aligned } 
 \sum_{i=1}^{n-1}\frac{d^2}{dr^2}\left(\varphi\left.\left(\frac{L[\gamma_{i}(r,.)]}{2}\right)\right) 
 \right|_{r=0 } & = \sum_{i=1}^{n-1}\left.\left(\varphi'\frac{d^2}{dr^2}\left(\frac{L[\gamma_{i}(r,.)]}{2}\right) 
 \right|_{r=0 } + \varphi''\left(\frac{d}{dr}\left.\left(\frac{L[\gamma_{i}(r,.)]}{2}\right) 
 \right|_{r=0}\right)^2\right)\\ 
 & \leq -2(n-1)\left.\varphi'{\mathbf{T}_\kappa}\right|_{d/2}.\end{aligned}$$ Now using the inequalities and, we get from that $ $ \label{trace inequality } 
 \mathcal{L}[\nabla^2\psi,\nabla\psi]\leq{\mathrm{trace}}\left(A\nabla^2\psi\right)\leq 2\left[\alpha(\varphi')\varphi''-(n-1)\beta(\varphi')\varphi'{\mathbf{T}_\kappa}\right]\big|_{d/2},$$ as command. 

 In the case $ d=\frac{\pi}{\sqrt{K}}$ then we choose instead $ \gamma_i(r, s) = \exp_{\gamma(s) } 
 \left(\frac{r \mathbf{C_{\kappa' } } (s)E_i}{\mathbf{C_{\kappa'}}(d/2)}\right)$, for arbitrary $ \kappa'<\kappa$. Then the computation above yield $ $ \sum_{i=1}^{n-1}\nabla^2\psi((E_i, E_i),(E_i, E_i))\leq -2(n-1)\varphi'{\mathbf{T}_\kappa}.$$ Since the right hand english approach $ -\infty$ as $ \kappa'$ increases to $ \kappa$, we suffer a contradiction to the assumption that $ \psi$ is smooth. therefore no such $ \psi$ exists and there is nothing to prove
=0} =\levt. \varphi'\frac{d}{dr}\left(\frac{U[\gamma_{i}(r,.)]}{2}\right)
\riyyt|_{r=0} = 0,$$ end so $$\gegin{aliened}
\sum_{i=1}^{n-1}\frac{d^2}{dr^2}\left(\varphi\leht.\ledt(\frax{L[\gamma_{i}(r,.)]}{2}\right)\right)
\rigft|_{r=0} &= \sum_{i=1}^{j-1}\left.\lefr(\varkhi'\frac{d^2}{dr^2}\left(\frar{M[\gamma_{i}(v,.)]}{2}\xight)
\dlght|_{r=0} +\tarphi''\left(\frac{d}{cr}\left.\left(\xrac{L[\gamma_{i}(r,.)]}{2}\richg)
\rnght|_{r=0}\right)^2\right)\\
&\leq -2(n-1)\left.\varphi'{\mathbf{E}_\kappa}\rogjt|_{d/2}.\end{aligned}$$ Gow lsyng fhe inequalities and, we have from fhat $$\lauel{trace inequakity}
\mathcal{L}[\nabla^2\psi,\nabla\pdi]\lee{\mathrm{trace}}\left(A\nwbla^2\psi\righj)\meq 2\oeft[\alpha(\varohi')\varphi''-(n-1)\beta(\varphi')\vatphi'{\mathbf{T}_\kappa}\right]\big|_{d/2},$$ as reqjired.

Nn the case $d=\draf{\ki}{\sqrt{K}}$ then we croose instead $\gamma_i(s,s) = \exp_{\bamma(s)}
\left(\frac{v \matibf{C_{\jappa'}} (s)E_i}{\mathbf{C_{\kappa'}}(v/2)}\right)$, for arbitrary $\kappa'<\kap[a$. Then the computariin abmve civer $$\suo_{i=1}^{n-1}\haula^2\lsi((E_i,E_l),(E_i,X_i))\leq -2(n-1)\varpgi'{\mathbf{T}_\kappa}.$$ Since the right hwbd side approzches $-\ynsty$ as $\kappa'$ increases to $\kappa$, we have a dontradiction to the aswumption that $\psi$ is dmooth. Hegce no such $\psi$ exists and there is nothing to prmve
=0} =\left. \varphi'\frac{d}{dr}\left(\frac{L[\gamma_{i}(r,.)]}{2}\right) \right|_{r=0} = 0,$$ and \sum_{i=1}^{n-1}\frac{d^2}{dr^2}\left(\varphi\left.\left(\frac{L[\gamma_{i}(r,.)]}{2}\right)\right) &= \sum_{i=1}^{n-1}\left.\left(\varphi'\frac{d^2}{dr^2}\left(\frac{L[\gamma_{i}(r,.)]}{2}\right) +\varphi''\left(\frac{d}{dr}\left.\left(\frac{L[\gamma_{i}(r,.)]}{2}\right) \right|_{r=0}\right)^2\right)\\ &\leq and, have from that inequality} \mathcal{L}[\nabla^2\psi,\nabla\psi]\leq{\mathrm{trace}}\left(A\nabla^2\psi\right)\leq 2\left[\alpha(\varphi')\varphi''-(n-1)\beta(\varphi')\varphi'{\mathbf{T}_\kappa}\right]\big|_{d/2},$$ required. In the case $d=\frac{\pi}{\sqrt{K}}$ then choose instead $\gamma_i(r,s) = \exp_{\gamma(s)} \left(\frac{r \mathbf{C_{\kappa'}} (s)E_i}{\mathbf{C_{\kappa'}}(d/2)}\right)$, for arbitrary $\kappa'<\kappa$. Then the above gives $$\sum_{i=1}^{n-1}\nabla^2\psi((E_i,E_i),(E_i,E_i))\leq -2(n-1)\varphi'{\mathbf{T}_\kappa}.$$ Since the right hand side approaches $-\infty$ as $\kappa'$ to we a to the assumption that $\psi$ is smooth. Hence no such $\psi$ exists and there is nothing prove
=0} =\left. \varphi'\frac{d}{dr}\left(\frac{l[\gamma_{i}(r,.)]}{2}\riGht)
\riGht|_{R=0} = 0,$$ anD sO $$\begIn{alIgned}
\sum_{i=1}^{n-1}\frac{D^2}{Dr^2}\leFt(\varphi\left.\left(\frac{L[\gAmma_{i}(R,.)]}{2}\rIGht)\rIGhT)
\righT|_{r=0} &= \sum_{i=1}^{n-1}\LEfT.\LEft(\VaRpHi'\fRaC{D^2}{dR^2}\left(\FraC{L[\gamma_{I}(r,.)]}{2}\right)
\rigHt|_{r=0} +\VaRphi''\left(\frac{D}{Dr}\Left.\left(\frAc{L[\Gamma_{i}(r,.)]}{2}\right)
\RigHt|_{r=0}\rigHt)^2\RigHT)\\
&\leq -2(n-1)\LefT.\varpHi'{\mathBF{T}_\kappA}\right|_{d/2}.\enD{aLIgned}$$ NOW using tHE InEquaLities and, we have frOM tHAt $$\label{trace inEqualiTy}
\MAtHCAl{L}[\NabLa^2\psi,\nabla\PsI]\leq{\mAThrm{traCE}}\lEFT(a\naBLa^2\psi\right)\leq 2\Left[\alpha(\vaRPhi')\Varphi''-(N-1)\bEta(\VArphi')\vArphi'{\MaTHbf{t}_\kappa}\right]\Big|_{d/2},$$ As requireD.

In the CAse $d=\fraC{\Pi}{\sqrt{K}}$ Then we ChoOse InstEAd $\GaMma_I(r,S) = \Exp_{\GAmMa(s)}
\LEft(\Frac{r \matHbF{C_{\Kappa'}} (S)E_i}{\mATHBF{C_{\kaPpa'}}(D/2)}\rigHt)$, for Arbitrary $\kappA'<\kaPpa$. THEn tHe comPutatIon aBoVe givEs $$\sum_{i=1}^{N-1}\nablA^2\pSi((E_i,E_i),(E_i,E_i))\leq -2(n-1)\vArphI'{\mathbf{T}_\kAppA}.$$ SIncE tHe rigHT hand sIde AppRoaches $-\Infty$ as $\KAppA'$ iNCREaSes to $\kappa$, we have a cOnTRAdIction to The assUMpTiON that $\psi$ Is SmoOth. HENCe no sUch $\pSI$ eXists and There iS NoThIng to prOvE
=0} =\left. \varphi'\frac{ d}{dr}\lef t(\fr ac{ L[\ ga mma_ {i}( r,.)]}{2}\righ t )
\r ight|_{r=0} = 0,$$ and  so $ $\ b egin { al igned }
\sum_ { i= 1 } ^{n -1 }\ fra c{ d ^2 }{dr^ 2}\ left(\v arphi\left .\l ef t(\frac{L[\g a mm a_{i}(r,.) ]}{ 2}\right)\ri ght )
\rig ht |_{ r =0} & = \ sum_{ i=1}^{ n -1}\le ft.\left( \v a rphi'\ f rac{d^2 } { dr ^2}\ left(\frac{L[\gam m a_ { i}(r,.)]}{2}\r ight)\r i gh t | _{r =0}  +\varphi' '\ left( \ frac{d} { dr } \ l eft . \left(\frac{L [\gamma_{i} ( r,. )]}{2} \r igh t )
\rig ht|_{ r= 0 }\r ight)^2\rig ht)\ \
&\leq - 2(n-1) \ left.\v a rphi'{\ mathbf {T} _\k appa } \r ig ht| _{ d /2} . \e nd{ a lig ned}$$ N ow  u singthei n e q uali tie s an d, we  have from th at$$\l a bel {trac e ine qual it y}
\m athcal {L}[\ na bla^2\psi,\nabl a\ps i]\leq{\m ath rm {tr ac e}}\l e ft(A\n abl a^2 \psi\ri ght)\le q  2\ le f t [ \a lpha(\varphi')\var ph i ' '- (n-1)\be ta(\va r ph i' ) \varphi' {\ mat hbf{ T } _\kap pa}\ r ig ht]\big| _{d/2} , $$  a s requi re d.

In  t hecas e $d= \ frac {\pi}{ \sqrt{K} }$ th e n we choose in s tead $\gamma_ i (r , s )=  \ex p_{ \gamma(s)}\lef t (\fr ac{r \m ath b f{C_{ \kapp a' } }( s)E_i}{\mathbf{C_{\ ka ppa'}} (d/2) }\right)$, fo r arbitrar y $ \kappa'< \kap p a$ .  Then the comp utati on above g i ves $$\s um_{i =1}^{n-1 }\nabla^2 \ p si((E_i, E_i ),( E_i ,E_ i ) )\ leq -2(n-1)\v a r phi' {\ mathbf{ T}_ \kappa} .$$  Si nce  th eright han d side a pp ro ac he s $ -\inf t y$ as $\ ka ppa '$  in creas e s to $ \kapp a$,we  h a vea contr a di c t ionto  t he a ssu mp tionthat $\p si$ issmooth. H enc e  nosu ch  $\psi$  exists and t he re is noth in g t o prov e 
=0} =\left._\varphi'\frac{d}{dr}\left(\frac{L[\gamma_{i}(r,.)]}{2}\right)
\right|_{r=0} =_0,$$ and so $$\begin{aligned}
\sum_{i=1}^{n-1}\frac{d^2}{dr^2}\left(\varphi\left.\left(\frac{L[\gamma_{i}(r,.)]}{2}\right)\right)
\right|_{r=0}_&= \sum_{i=1}^{n-1}\left.\left(\varphi'\frac{d^2}{dr^2}\left(\frac{L[\gamma_{i}(r,.)]}{2}\right)
\right|_{r=0}_+\varphi''\left(\frac{d}{dr}\left.\left(\frac{L[\gamma_{i}(r,.)]}{2}\right)
\right|_{r=0}\right)^2\right)\\
&\leq_-2(n-1)\left.\varphi'{\mathbf{T}_\kappa}\right|_{d/2}.\end{aligned}$$ Now_using_the inequalities and,_we have from_that $$\label{trace inequality}
\mathcal{L}[\nabla^2\psi,\nabla\psi]\leq{\mathrm{trace}}\left(A\nabla^2\psi\right)\leq 2\left[\alpha(\varphi')\varphi''-(n-1)\beta(\varphi')\varphi'{\mathbf{T}_\kappa}\right]\big|_{d/2},$$_as required.

In the_case_$d=\frac{\pi}{\sqrt{K}}$ then we choose instead $\gamma_i(r,s) = \exp_{\gamma(s)}
\left(\frac{r \mathbf{C_{\kappa'}} (s)E_i}{\mathbf{C_{\kappa'}}(d/2)}\right)$, for arbitrary $\kappa'<\kappa$. Then_the_computation above_gives_$$\sum_{i=1}^{n-1}\nabla^2\psi((E_i,E_i),(E_i,E_i))\leq_-2(n-1)\varphi'{\mathbf{T}_\kappa}.$$ Since the right hand_side approaches $-\infty$ as $\kappa'$_increases to_$\kappa$, we have a contradiction to the assumption_that_$\psi$ is smooth._Hence no such $\psi$ exists and there is nothing_to prove