 $$\sigma= x^{{\frac{n}{2}}}({\rm Id}+S(0))\psi +O(x^{{\frac{n}{2}}+1}).$$

Remark from Proposition \[propofS\] that $S(0)^*=S(0)^{-1}=S(0)$ and so the operator $$\label{defc}
{\mathcal}{C}:={\frac{1}{2}}({\rm Id}+S(0))$$ is an orthogonal projector on a subspace of $L^2({\partial}{\overline}{X},{^0\Sigma})$ for the measure ${\rm dv}_{h_0}$ where $h_0=(x^{2}g)|_{T{\partial}{\overline}{X}}$. Notice from that, under a change of boundary defining function $\hat{x}=e^{\omega}x$, the operator ${\mathcal}{C}$ changes according to conjugation $\hat{{\mathcal}{C}}=e^{-{\frac{n}{2}}\omega_0}{\mathcal}{C}
e^{{\frac{n}{2}}\omega_0}$.

Now we want to prove that the range of $E(0)$ acting on $C^{\infty}({\partial}{\overline}{X},{^0\Sigma})$ is exactly the set of harmonic spinors in $x^{{\frac{n}{2}}}C^{\infty}({\overline}{X},{^0\Sigma})$.

\[span\] Let $\phi\in x^{{\frac{n}{2}}}C^{\infty}({\overline}{X},{^0\Sigma})$ such that $D_g\phi=0$ and let $\psi:=(x^{-\frac n2}\phi)|_{{\partial}{\overline}{X}}$. Then we have $E(0)\psi=2\phi$.

First let us write $\psi=\psi_++\psi_-$ with $\psi_\pm\in{^0\Sigma}_\pm$. Then we construct the approximate solution $\sigma_{\infty,+}({\lambda})$ of associated to $\psi_+$. Let us set $\phi_+({\lambda}):=\sigma_{\infty,+}({\lambda})$ and $\phi_-({\lambda}):=\phi-\phi_+({\lambda})$. One has $(x^{-{\frac{n}{2}}}\phi_-({0}))|_{x=0}=\psi_-\in{^0\Sigma}_-$ and $D_g\phi_-(0)=-D_g\phi_+(0)$. As in the proof of Proposition \[poisson\], we have $$\sigma_{+
$ $ \sigma= x^{{\frac{n}{2}}}({\rm Id}+S(0))\psi + O(x^{{\frac{n}{2}}+1}).$$ 

 Remark from Proposition \[propofS\ ] that $ S(0)^*=S(0)^{-1}=S(0)$ and so the operator $ $ \label{defc } 
 { \mathcal}{C}:={\frac{1}{2}}({\rm Id}+S(0))$$ is an orthogonal projector on a subspace of $ L^2({\partial}{\overline}{X},{^0\Sigma})$ for the measure $ { \rm dv}_{h_0}$ where $ h_0=(x^{2}g)|_{T{\partial}{\overline}{X}}$. notification from that, under a variety of boundary defining function $ \hat{x}=e^{\omega}x$, the hustler $ { \mathcal}{C}$ changes accord to conjugation $ \hat{{\mathcal}{C}}=e^{-{\frac{n}{2}}\omega_0}{\mathcal}{C } 
 e^{{\frac{n}{2}}\omega_0}$. 

 Now we desire to raise that the range of $ E(0)$ dissemble on $ C^{\infty}({\partial}{\overline}{X},{^0\Sigma})$ is exactly the set of consonant spinors in $ x^{{\frac{n}{2}}}C^{\infty}({\overline}{X},{^0\Sigma})$. 

 \[span\ ] Let $ \phi\in x^{{\frac{n}{2}}}C^{\infty}({\overline}{X},{^0\Sigma})$ such that $ D_g\phi=0 $ and let $ \psi:=(x^{-\frac n2}\phi)|_{{\partial}{\overline}{X}}$. Then we have $ E(0)\psi=2\phi$. 

 First lease us write $ \psi=\psi_++\psi_-$ with $ \psi_\pm\in{^0\Sigma}_\pm$. Then we construct the approximate solution $ \sigma_{\infty,+}({\lambda})$ of associated to $ \psi_+$. Let us set $ \phi_+({\lambda}):=\sigma_{\infty,+}({\lambda})$ and $ \phi_-({\lambda}):=\phi-\phi_+({\lambda})$. One accept $ (x^{-{\frac{n}{2}}}\phi_-({0}))|_{x=0}=\psi_-\in{^0\Sigma}_-$ and $ D_g\phi_-(0)=-D_g\phi_+(0)$. As in the proof of Proposition \[poisson\ ], we have $ $ \sigma_{+
 $$\sihma= x^{{\frac{n}{2}}}({\rm Id}+S(0))\psi +O(x^{{\frxc{n}{2}}+1}).$$

Remark from Kripositmon \[prolofS\] thag $S(0)^*=S(0)^{-1}=S(0)$ and so the operator $$\lauel{dwfc}
{\maukcal}{C}:={\frac{1}{2}}({\rm Id}+S(0))$$ is av orthogojal projwctoc on a subspace of $L^2({\partlcl}{\ovedpine}{R},{^0\Smgma})$ for the messure ${\rm de}_{h_0}$ where $h_0=(x^{2}g)|_{T{\pdrgicl}{\overline}{X}}$. Notice from that, under a change ov boundary defyninb fundniin $\hat{x}=e^{\omega}x$, the operator ${\mzthcal}{C}$ changes accotding to conjugation $\hat{{\mahhcap}{C}}=e^{-{\frac{n}{2}}\omega_0}{\mathcwl}{C}
e^{{\frac{n}{2}}\omgfa_0}$.

Njq we want to prove thau che range or $E(0)$ acting on $C^{\infty}({\partial}{\overuine}{X},{^0\Xigma})$ is ezaxtlj the set of harmjnic spinors in $x^{{\fraw{n}{2}}}C^{\inftu}({\overline}{X},{^0\Sigms})$.

\[spen\] Lwt $\phi\in x^{{\frac{n}{2}}}C^{\infty}({\mverline}{X},{^0\Sigma})$ sucr that $D_g\[hn=0$ and let $\psi:=(x^{-\frac n2}\pyi)|_{{\partidl}{\ovarlivw}{X}}$. Gheh xe gave $E(0)\osi=2\'hi$.

First lef us write $\psi=\psi_++\psi_-$ with $\psi_\pk\ig{^0\Wigma}_\pm$. Then se conftwuct the approximate solution $\sigma_{\inftj,+}({\lamgda})$ of associated to $\psu_+$. Let us set $\phi_+({\lambdw}):=\sigma_{\infey,+}({\lambda})$ and $\phi_-({\lambda}):=\phi-\phi_+({\lambda})$. One has $(x^{-{\frac{n}{2}}}\[hi_-({0}))|_{x=0}=\pak_-\in{^0\Winma}_-$ xbd $D_g\phi_-(0)=-D_g\phi_+(0)$. As in the proof of Proposition \[poyaspn\], we have $$\sigma_{+
$$\sigma= x^{{\frac{n}{2}}}({\rm Id}+S(0))\psi +O(x^{{\frac{n}{2}}+1}).$$ Remark from Proposition $S(0)^*=S(0)^{-1}=S(0)$ so the $$\label{defc} {\mathcal}{C}:={\frac{1}{2}}({\rm Id}+S(0))$$ a of $L^2({\partial}{\overline}{X},{^0\Sigma})$ for measure ${\rm dv}_{h_0}$ $h_0=(x^{2}g)|_{T{\partial}{\overline}{X}}$. Notice from that, under a of boundary defining function $\hat{x}=e^{\omega}x$, the operator ${\mathcal}{C}$ changes according to conjugation $\hat{{\mathcal}{C}}=e^{-{\frac{n}{2}}\omega_0}{\mathcal}{C} Now we want to prove that the range of $E(0)$ acting on $C^{\infty}({\partial}{\overline}{X},{^0\Sigma})$ exactly set harmonic in $x^{{\frac{n}{2}}}C^{\infty}({\overline}{X},{^0\Sigma})$. \[span\] Let $\phi\in x^{{\frac{n}{2}}}C^{\infty}({\overline}{X},{^0\Sigma})$ such that $D_g\phi=0$ and let $\psi:=(x^{-\frac n2}\phi)|_{{\partial}{\overline}{X}}$. Then we have First let us write $\psi=\psi_++\psi_-$ with $\psi_\pm\in{^0\Sigma}_\pm$. Then construct the approximate solution of associated to $\psi_+$. Let set and $\phi_-({\lambda}):=\phi-\phi_+({\lambda})$. has and As in the of Proposition \[poisson\], we have $$\sigma_{+
 $$\sigma= x^{{\frac{n}{2}}}({\rm Id}+S(0))\psi +O(x^{{\frac{N}{2}}+1}).$$

Remark froM PropOsiTioN \[pRopoFS\] thAt $S(0)^*=S(0)^{-1}=S(0)$ and so the oPEratOr $$\label{defc}
{\mathcal}{C}:={\fraC{1}{2}}({\rm Id}+s(0))$$ iS An orTHoGonal ProjectOR oN A SubSpAcE of $l^2({\pARtIal}{\ovErlIne}{X},{^0\SigMa})$ for the meAsuRe ${\Rm dv}_{h_0}$ where $h_0=(x^{2}G)|_{t{\pArtial}{\overLinE}{X}}$. Notice from ThaT, under A cHanGE of boUndAry deFining FUnctioN $\hat{x}=e^{\omeGa}X$, The opeRAtor ${\matHCAl}{c}$ chaNges according to coNJuGAtion $\hat{{\mathcaL}{C}}=e^{-{\fraC{n}{2}}\OMeGA_0}{\MatHcaL}{C}
e^{{\frac{n}{2}}\omEgA_0}$.

Now wE Want to pROvE THAt tHE range of $E(0)$ actiNg on $C^{\infty}({\pARtiAl}{\overLiNe}{X},{^0\sIgma})$ is ExactLy THe sEt of harmoniC spiNors in $x^{{\frAc{n}{2}}}C^{\inFTy}({\overlINe}{X},{^0\SigmA})$.

\[span\] LEt $\pHi\iN x^{{\frAC{n}{2}}}c^{\iNftY}({\oVErlINe}{x},{^0\SiGMa})$ sUch that $D_G\pHi=0$ And leT $\psi:=(X^{-\FRAC n2}\phI)|_{{\paRtiaL}{\overLine}{X}}$. Then we haVe $E(0)\Psi=2\pHI$.

FiRst leT us wrIte $\pSi=\Psi_++\psI_-$ with $\pSi_\pm\iN{^0\SIgma}_\pm$. Then we conStruCt the apprOxiMaTe sOlUtion $\SIgma_{\inFty,+}({\LamBda})$ of asSociateD To $\pSi_+$. lET Us Set $\phi_+({\lambda}):=\sigma_{\iNfTY,+}({\LaMbda})$ and $\pHi_-({\lambDA}):=\pHi-\PHi_+({\lambda})$. onE haS $(x^{-{\frAC{N}{2}}}\phi_-({0}))|_{x=0}=\Psi_-\iN{^0\siGma}_-$ and $D_g\Phi_-(0)=-D_g\pHI_+(0)$. AS iN the proOf Of PropOsItiOn \[pOissoN\], We haVe $$\sigmA_{+
 $$\sigma= x^{{\frac{n}{2} }}({\rm Id }+S(0 ))\ psi  + O(x^ {{\f rac{n}{2}}+1}) . $$
Remark from Propositio n \[p ro p ofS\ ]  t hat $ S(0)^*= S (0 ) ^ {-1 }= S( 0)$  a n dso th e o perator  $$\label{ def c} 
{\mathcal}{ C }: ={\frac{1} {2} }({\rm Id}+S (0) )$$ is  a n o r thogo nal  proj ectoro n a su bspace of  $ L ^2({\p a rtial}{ \ o ve rlin e}{X},{^0\Sigma}) $  f o r the measure${\rmdv } _{ h _ 0}$  wh ere $h_0=( x^ {2}g) | _{T{\pa r ti a l } {\o v erline}{X}}$.  Notice fro m  th at, un de r a change  of b ou n dar y definingfunc tion $\ha t{x}=e ^ {\omega } x$, the  opera tor  ${ \mat h ca l} {C} $c han g es  ac c ord ing to c on ju gatio n $\ h a t { {\ma thc al}{ C}}=e ^{-{\frac{n}{ 2}} \ome g a_0 }{\ma thcal }{C} 
e ^{{\f rac{n} {2}}\ om ega_0}$.

Now w e wa nt to pro veth atth e ran g e of $ E(0 )$actingon $C^{ \ inf ty } ( { \p artial}{\overline} {X } , {^ 0\Sigma} )$ ise xa ct l y the se tofharm o n ic sp inor s  i n $x^{{\ frac{n } {2 }} }C^{\in ft y}({\o ve rli ne} {X},{ ^ 0\Si gma})$ .

\[spa n\] L e t $\phi\in x^{ { \frac{n}{2}}} C ^{ \ i nf t y}({ \ov erline}{X}, {^0\ S igma })$s uc h t h at $D _g\ph i= 0 $a nd let $\psi:=(x^{- \f rac n2 }\phi )|_{{\partial }{\overlin e } { X}}$. Th en w e  h a ve $E(0)\psi=2 \phi$ .

First l e t us wri te $\ psi=\psi _++\psi_- $ with $\p si_ \pm \in {^0 \ S ig ma}_\pm$. The n we c on structthe  approx ima tesol uti on  $\sigma_ {\infty, +} ({ \l am bda })$ o f  associa te d t o$\p si_+$ .  Let u s set  $\p hi _+ ( {\l ambda}) : =\ s i gma_ {\ in fty, +}( {\ lambd a})$ and  $\phi_ -({\lambd a}) : =\ph i- \p hi_+({\ lambda})$. On ehas $(x^{- {\ fra c{n}{2 } } }\phi_-( {0}))|_{x=0}=\psi_-\in{ ^ 0\Sigma }_- $ and  $D_ g\phi_-(0 )=- D_g\ph i_+ ( 0)$. A s in t he pr oo f o f Propo s i ti on\[ poisson\], w e h ave $ $\ sigm a_{+
 $$\sigma=_x^{{\frac{n}{2}}}({\rm Id}+S(0))\psi_+O(x^{{\frac{n}{2}}+1}).$$

Remark from Proposition \[propofS\]_that $S(0)^*=S(0)^{-1}=S(0)$_and_so the_operator_$$\label{defc}
{\mathcal}{C}:={\frac{1}{2}}({\rm Id}+S(0))$$ is_an orthogonal projector_on a subspace of_$L^2({\partial}{\overline}{X},{^0\Sigma})$ for the_measure_${\rm dv}_{h_0}$ where $h_0=(x^{2}g)|_{T{\partial}{\overline}{X}}$. Notice from that, under a change of boundary defining function_$\hat{x}=e^{\omega}x$,_the operator_${\mathcal}{C}$_changes_according to conjugation $\hat{{\mathcal}{C}}=e^{-{\frac{n}{2}}\omega_0}{\mathcal}{C}
e^{{\frac{n}{2}}\omega_0}$.

Now we_want to prove that the_range of_$E(0)$ acting on $C^{\infty}({\partial}{\overline}{X},{^0\Sigma})$ is exactly the set_of_harmonic spinors in_$x^{{\frac{n}{2}}}C^{\infty}({\overline}{X},{^0\Sigma})$.

\[span\] Let $\phi\in x^{{\frac{n}{2}}}C^{\infty}({\overline}{X},{^0\Sigma})$ such that $D_g\phi=0$ and let_$\psi:=(x^{-\frac n2}\phi)|_{{\partial}{\overline}{X}}$. Then we have $E(0)\psi=2\phi$.

First_let us write_$\psi=\psi_++\psi_-$_with_$\psi_\pm\in{^0\Sigma}_\pm$. Then we construct_the approximate solution $\sigma_{\infty,+}({\lambda})$ of associated_to $\psi_+$. Let us set $\phi_+({\lambda}):=\sigma_{\infty,+}({\lambda})$_and $\phi_-({\lambda}):=\phi-\phi_+({\lambda})$. One has $(x^{-{\frac{n}{2}}}\phi_-({0}))|_{x=0}=\psi_-\in{^0\Sigma}_-$ and $D_g\phi_-(0)=-D_g\phi_+(0)$._As in the proof of Proposition_\[poisson\], we have $$\sigma_{+