d_{A,\Phi}:W^{k+2,p} \to W^{k,p}$ is Fredholm with index zero by Theorem \[thm:Gilkey\_1-4-5\_Sobolev\], the following operator is invertible, $$d_{A,\Phi}^*d_{A,\Phi}:(\Ker d_{A,\Phi}^*d_{A,\Phi})^\perp \cap W^{k+2,p} \to (\Ker d_{A,\Phi}^*d_{A,\Phi})^\perp \cap W^{k,p}.$$ Thus, $\xi = 0$ and the operator is injective. For surjectivity, suppose $\chi = d_{A,\Phi}\zeta \perp \Ran d_{A,\Phi}\cap W^{k,p}$ for $\zeta \in W^{k+1,p}$. We may again assume without loss of generality that $\zeta \perp \Ker d_{A,\Phi}^*d_{A,\Phi}$. If $\chi\perp d_{A,\Phi}d_{A,\Phi}^*d_{A,\Phi}\xi$ for all $\xi \in W^{k+3,p}$, then $(d_{A,\Phi}^*d_{A,\Phi})^2\zeta = 0$, and we again find that $\zeta = 0$ and so $\chi=0$. Since $d_{A,\Phi}d_{A,\Phi}^*: W^{k+2,p} \to W^{k,p}$ has closed range (because it is a Fredholm operator), this implies that the operator is surjective and thus invertible by the Open Mapping Theorem.

According to Proposition \[prop:Fredholmness\_and\_index\_Laplace\_operator\_on\_W1p\_pairs\_slice\], the operator is Fredholm. Consequently, $\sM'(A,\Phi): \Ker d_{A,\Phi}^*\cap W^{k+2,p} \to \Ker d_{A,\Phi}^*\cap W^{k,p}$ is Fredholm by virtue of the direct sum decomposition and invertibility of the operator. We compute indices, $$\begin{aligned}
{}& \Ind\left(\sM'(A,\Phi) + d_{A,\Phi}d_{A,\Phi}^*:W^{k+2,p} \to W^{k,p}\right)
\\
&\quad = \Ind\begin{pmatrix}\sM
d_{A,\Phi}:W^{k+2,p } \to W^{k, p}$ is Fredholm with index zero by Theorem \[thm: Gilkey\_1 - 4 - 5\_Sobolev\ ], the following operator is invertible, $ $ d_{A,\Phi}^*d_{A,\Phi}:(\Ker d_{A,\Phi}^*d_{A,\Phi})^\perp \cap W^{k+2,p } \to (\Ker d_{A,\Phi}^*d_{A,\Phi})^\perp \cap W^{k, p}.$$ Thus, $ \xi = 0 $ and the hustler is injective. For surjectivity, presuppose $ \chi = d_{A,\Phi}\zeta \perp \Ran d_{A,\Phi}\cap W^{k, p}$ for $ \zeta \in W^{k+1,p}$. We may again assume without loss of generalization that $ \zeta \perp \Ker d_{A,\Phi}^*d_{A,\Phi}$. If $ \chi\perp d_{A,\Phi}d_{A,\Phi}^*d_{A,\Phi}\xi$ for all $ \xi \in W^{k+3,p}$, then $ (d_{A,\Phi}^*d_{A,\Phi})^2\zeta = 0 $, and we again find that $ \zeta = 0 $ and indeed $ \chi=0$. Since $ d_{A,\Phi}d_{A,\Phi}^ *: W^{k+2,p } \to W^{k, p}$ has closed range (because it is a Fredholm hustler), this incriminate that the operator is surjective and therefore invertible by the Open Mapping Theorem. 

 harmonize to Proposition \[prop: Fredholmness\_and\_index\_Laplace\_operator\_on\_W1p\_pairs\_slice\ ], the operator is Fredholm. Consequently, $ \sM'(A,\Phi ): \Ker d_{A,\Phi}^*\cap W^{k+2,p } \to \Ker d_{A,\Phi}^*\cap W^{k, p}$ is Fredholm by merit of the direct sum decomposition and invertibility of the operator. We calculate indices, $ $ \begin{aligned } 
 { } & \Ind\left(\sM'(A,\Phi) + d_{A,\Phi}d_{A,\Phi}^*:W^{k+2,p } \to W^{k, p}\right) 
 \\ 
 & \quad = \Ind\begin{pmatrix}\sM
d_{A,\Pji}:W^{k+2,p} \to W^{k,p}$ is Fredholm with index zero by Thxorem \[tgm:Gilkey\_1-4-5\_Robolev\], the following operatlr is ibvertible, $$d_{A,\Phi}^*d_{A,\Phi}:(\Kef d_{A,\Phi}^*d_{A,\Ihi})^\perp \cqp W^{j+2,p} \to (\Ker d_{E,\Lhi}^*d_{A,\Phl})^\'erp \dwp W^{n,'}.$$ Thus, $\xi = 0$ and the operador is injectiee. Flr surjectivity, suppose $\chi = d_{A,\Phi}\zqta \perl \Gan d_{A,\Phi}\cap W^{h,p}$ fpw $\zefa \in W^{k+1,p}$. We may again assume withkut losv of generaliyy that $\zeta \perp \Ker d_{A,\Phl}^*d_{A,\Pji}$. If $\chi\perp d_{A,\Phl}d_{A,\Phi}^*d_{A,\Phi}\zi$ fje all $\xi \in D^{k+3,p}$, then $(d_{A,\Phi}^*d_{A,\Phi})^2\zetz = 0$, and we again find that $\zeta = 0$ anb so $\chi=0$. Sibcw $d_{W,\Khi}d_{A,\Phi}^*: W^{k+2,p} \to W^{h,p}$ has closed range (tecause it is a Fredhplm opwrator), this implies tiat the operator is furjectiva cnd thus invertible bt rhe Oken Mdppivt Tfeodek.

Adcordijg vo Propositjon \[prop:Freeholmness\_and\_index\_Laklasv\_pperator\_on\_W1p\_lairs\_sjise\], the operator is Fredholm. Consequentlj, $\sM'(Z,\Phi): \Ker d_{A,\Phi}^*\cap W^{k+2,p} \ti \Ker d_{A,\Phi}^*\cap W^{k,p}$ is Fredholm by virtue of the direct sum decomposition and ineertiuiuitv of tfw lperator. We compute indices, $$\begin{aligned}
{}& \Ind\lqrt(\xM'(S,\Phi) + d_{A,\Phi}d_{A,\Pmi}^*:W^{k+2,p} \to W^{k,p}\right)
\\
&\qiaf = \Ynd\begin{pmatrkx}\sM
d_{A,\Phi}:W^{k+2,p} \to W^{k,p}$ is Fredholm with index Theorem the following is invertible, $$d_{A,\Phi}^*d_{A,\Phi}:(\Ker d_{A,\Phi}^*d_{A,\Phi})^\perp W^{k,p}.$$ Thus, $\xi 0$ and the is injective. For surjectivity, suppose $\chi d_{A,\Phi}\zeta \perp \Ran d_{A,\Phi}\cap W^{k,p}$ for $\zeta \in W^{k+1,p}$. We may again assume loss of generality that $\zeta \perp \Ker d_{A,\Phi}^*d_{A,\Phi}$. If $\chi\perp d_{A,\Phi}d_{A,\Phi}^*d_{A,\Phi}\xi$ for all \in then = and we again find that $\zeta = 0$ and so $\chi=0$. Since $d_{A,\Phi}d_{A,\Phi}^*: W^{k+2,p} \to W^{k,p}$ closed range (because it is a Fredholm operator), implies that the operator surjective and thus invertible by Open Theorem. According Proposition the is Fredholm. Consequently, \Ker d_{A,\Phi}^*\cap W^{k+2,p} \to \Ker d_{A,\Phi}^*\cap W^{k,p}$ is Fredholm by virtue of the direct sum decomposition and of the compute indices, {}& + \to W^{k,p}\right) \\ \Ind\begin{pmatrix}\sM
d_{A,\Phi}:W^{k+2,p} \to W^{k,p}$ is Fredholm wiTh index zerO by ThEorEm \[tHm:gilkEy\_1-4-5\_SoBolev\], the followINg opErator is invertible, $$d_{A,\PhI}^*d_{A,\PhI}:(\KER d_{A,\PHI}^*d_{a,\Phi})^\pErp \cap W^{K+2,P} \tO (\kEr d_{a,\PHi}^*D_{A,\PHi})^\PErP \cap W^{K,p}.$$ THus, $\xi = 0$ anD the operatOr iS iNjective. For sURjEctivity, suPpoSe $\chi = d_{A,\Phi}\zeTa \pErp \Ran D_{A,\phi}\CAp W^{k,p}$ For $\Zeta \iN W^{k+1,p}$. We MAy agaiN assume wiThOUt loss OF generaLITy That $\Zeta \perp \Ker d_{A,\Phi}^*d_{a,\phI}$. if $\chi\perp d_{A,\Phi}D_{A,\Phi}^*d_{a,\PHI}\xI$ FOr aLl $\xI \in W^{k+3,p}$, then $(D_{A,\phi}^*d_{A,\pHi})^2\zeta = 0$, aND wE AGAin FInd that $\zeta = 0$ anD so $\chi=0$. Since $D_{a,\PhI}d_{A,\Phi}^*: w^{k+2,P} \to w^{K,p}$ has cLosed RaNGe (bEcause it is a fredHolm operaTor), thiS Implies THat the oPeratoR is SurJectIVe AnD thUs INveRTiBle BY thE Open MapPiNg theorEm.

AcCORDIng tO PrOposItion \[Prop:FredholmnEss\_And\_iNDex\_laplaCe\_opeRatoR\_oN\_W1p\_paIrs\_sliCe\], the OpErator is FredholM. ConSequently, $\SM'(A,\phI): \KeR d_{a,\Phi}^*\cAP W^{k+2,p} \to \ker D_{A,\PHi}^*\cap W^{k,P}$ is FredHOlm By VIRTuE of the direct sum decOmPOSiTion and iNvertiBIlItY Of the opeRaTor. we coMPUte inDiceS, $$\BeGin{alignEd}
{}& \Ind\lEFt(\SM'(a,\Phi) + d_{A,\PHi}D_{A,\Phi}^*:W^{K+2,p} \To W^{K,p}\rIght)
\\
&\qUAd = \InD\begin{Pmatrix}\sm
d_{A,\Phi}:W^{k+2,p} \to W ^{k,p}$ is  Fred hol m w it h in dexzero by Theore m  \[t hm:Gilkey\_1-4-5\_Sobo lev\] ,t he f o ll owing  operat o ri s  in ve rt ibl e, $$ d_{A, \Ph i}^*d_{ A,\Phi}:(\ Ker  d _{A,\Phi}^*d _ {A ,\Phi})^\p erp  \cap W^{k+2 ,p}  \to ( \K erd _{A,\ Phi }^*d_ {A,\Ph i })^\pe rp \cap W ^{ k ,p}.$$ Thus, $ \ x i= 0$  and the operator is injective. For  surje ct i vi t y , s upp ose $\chi=d_{A, \ Phi}\ze t a\ p e rp\ Ran d_{A,\Phi }\cap W^{k, p }$for $\ ze ta\ in W^{ k+1,p }$ .  We  may againassu me withou t loss of gene r ality t hat $\ zet a \ perp \K er  d_ {A , \Ph i }^ *d_ { A,\ Phi}$. I f$\ chi\p erpd _ { A ,\Ph i}d _{A, \Phi} ^*d_{A,\Phi}\ xi$  for all  $\xi  \inW^{k +3 ,p}$,  then$(d_{ A, \Phi}^*d_{A,\Ph i})^ 2\zeta =0$,  a ndwe  agai n  findtha t $ \zeta =  0$ and so$\ c h i =0 $. Since $d_{A,\Ph i} d _ {A ,\Phi}^* : W^{k + 2, p} \to W^{k ,p }$hasc l osedrang e  ( becauseit isa  F re dholm o pe rator) ,thi s i mplie s  tha t theoperator  is s u rjective and t h us invertible by t he Open  Ma pping Theor em.Acco rdin g  t o P r oposi tion\[ p ro p :Fredholmness\_and\ _i ndex\_ Lapla ce\_operator\ _on\_W1p\_ p a i rs\_slic e\], th e  operator is F redho lm. Conseq u ently, $ \sM'( A,\Phi):  \Ker d_{ A , \Phi}^*\ cap  W^ {k+ 2,p } \t o \Ker d_{A,\ P h i}^* \c ap W^{k ,p} $ is Fr edh olm  by  vi rt ue of the  directsu mde co mpo sitio n  and inv er tib il ity  of t h e oper ator.  Weco mp u teindices ,  $ $ \ begi n{ al igne d}{} & \In d\le f t(\ sM'(A,\ Phi) + d_ {A, \ Phi} d_ {A ,\Phi}^ *:W^{k+2,p} \ to  W^{k,p}\r ig ht) 
\\
&\ q u ad = \In d\begin{pmatrix}\sM
d_{A,\Phi}:W^{k+2,p} \to_W^{k,p}$ is_Fredholm with index zero_by Theorem_\[thm:Gilkey\_1-4-5\_Sobolev\],_the following_operator_is invertible, $$d_{A,\Phi}^*d_{A,\Phi}:(\Ker_d_{A,\Phi}^*d_{A,\Phi})^\perp \cap W^{k+2,p}_\to (\Ker d_{A,\Phi}^*d_{A,\Phi})^\perp \cap_W^{k,p}.$$ Thus, $\xi_=_0$ and the operator is injective. For surjectivity, suppose $\chi = d_{A,\Phi}\zeta \perp \Ran_d_{A,\Phi}\cap_W^{k,p}$ for_$\zeta_\in_W^{k+1,p}$. We may again assume_without loss of generality that_$\zeta \perp_\Ker d_{A,\Phi}^*d_{A,\Phi}$. If $\chi\perp d_{A,\Phi}d_{A,\Phi}^*d_{A,\Phi}\xi$ for all $\xi_\in_W^{k+3,p}$, then $(d_{A,\Phi}^*d_{A,\Phi})^2\zeta_= 0$, and we again find that $\zeta =_0$ and so $\chi=0$. Since $d_{A,\Phi}d_{A,\Phi}^*:_W^{k+2,p} \to W^{k,p}$_has_closed_range (because it is_a Fredholm operator), this implies that_the operator is surjective and thus_invertible by the Open Mapping Theorem.

According to_Proposition \[prop:Fredholmness\_and\_index\_Laplace\_operator\_on\_W1p\_pairs\_slice\], the operator is Fredholm._Consequently, $\sM'(A,\Phi): \Ker d_{A,\Phi}^*\cap W^{k+2,p}_\to \Ker_d_{A,\Phi}^*\cap W^{k,p}$ is Fredholm by_virtue of the_direct sum_decomposition and invertibility_of the operator. We compute indices,_$$\begin{aligned}
{}& \Ind\left(\sM'(A,\Phi) +_d_{A,\Phi}d_{A,\Phi}^*:W^{k+2,p} \to W^{k,p}\right)
\\
&\quad = \Ind\begin{pmatrix}\sM