 is an *eigenvector* of $T$ and satisfies the equation $Tx = \lambda x$.

If $T:\sD(\sX)\subset\sX\to\sX$ is a closed operator with dense domain, $\sD(\sX) \subset \sX$, then we say that $\lambda \notin \sigma(T)$ if the operator $T-\lambda:\sD(\sX)\to\sX$ has a bounded inverse and otherwise that $\lambda \in \sigma(T)$ [@KadisonRingrose1 Section 5.6, p. 357], [@Kato Section III.6.1, pp. 174–175].

\[prop:Gilbarg\_Trudinger\_theorem\_8-6\] Let $(X,g)$ be a closed, Riemannian, smooth manifold of dimension $d \geq 2$, and $G$ be a compact Lie group, $P$ be a smooth principal $G$-bundle over $X$, and $l \geq 0$ be an integer. If $A$ is a $W^{1,q}$ connection on $P$ with $d/2 < q < \infty$, and $A_1$ is a $C^\infty$ reference connection on $P$, and $p \in (1,\infty)$ obeys $d/2 \leq p \leq q$, then the spectrum, $\sigma(\Delta_A)$, of the unbounded operator, $$\Delta_A: \sD(\Delta_A) \subset L^p(X;\Lambda^l\otimes\ad P) \to L^p(X;\Lambda^l\otimes\ad P),$$ is countable without accumulation points, consisting of non-negative, real eigenvalues, $\lambda$, with finite multiplicities, $\dim\Ker(\Delta_A-\lambda)$.

Corollary \[cor:Fredholmness\_and\_index\_Laplace\_operator\_on\_W2p\_Sobolev\_connection\] implies that the operator, $$\Delta_A: W_{A_1}^{2,p}(X;\Lambda^l\otimes\ad P) \to L^p(X;\Lambda^l\otimes\ad P),$$ is Fredholm and, setting $K := \Ker(\Delta_A: W_{A_1}^{2,p}(X;\Lambda^l\otimes\ad P) \to L^
is an * eigenvector * of $ T$ and satisfies the equation $ Tx = \lambda x$. 

 If $ T:\sD(\sX)\subset\sX\to\sX$ is a closed operator with dense knowledge domain, $ \sD(\sX) \subset \sX$, then we suppose that $ \lambda \notin \sigma(T)$ if the operator $ T-\lambda:\sD(\sX)\to\sX$ has a bounded inverse and differently that $ \lambda \in \sigma(T)$ [ @KadisonRingrose1 Section 5.6, p. 357 ], [ @Kato Section III.6.1, pp. 174–175 ]. 

 \[prop: Gilbarg\_Trudinger\_theorem\_8 - 6\ ] Let $ (X, g)$ be a shut, Riemannian, placid manifold of property $ d \geq 2 $, and $ G$ be a compact Lie group, $ P$ be a placid principal $ G$-bundle over $ X$, and $ l \geq 0 $ be an integer. If $ A$ is a $ W^{1,q}$ joining on $ P$ with $ d/2 < q < \infty$, and $ A_1 $ is a $ C^\infty$ reference book connection on $ P$, and $ phosphorus \in (1,\infty)$ obeys $ d/2 \leq p \leq q$, then the spectrum, $ \sigma(\Delta_A)$, of the unbounded hustler, $ $ \Delta_A: \sD(\Delta_A) \subset L^p(X;\Lambda^l\otimes\ad P) \to L^p(X;\Lambda^l\otimes\ad P),$$ is countable without collection points, consisting of non - negative, substantial eigenvalues, $ \lambda$, with finite multiplicities, $ \dim\Ker(\Delta_A-\lambda)$. 

 Corollary \[cor: Fredholmness\_and\_index\_Laplace\_operator\_on\_W2p\_Sobolev\_connection\ ] imply that the operator, $ $ \Delta_A: W_{A_1}^{2,p}(X;\Lambda^l\otimes\ad phosphorus) \to L^p(X;\Lambda^l\otimes\ad P),$$ is Fredholm and, setting $ kilobyte: = \Ker(\Delta_A: W_{A_1}^{2,p}(X;\Lambda^l\otimes\ad P) \to L^
 is an *eigenvector* of $T$ and satisfies the gqyation $Tx = \lzmbda x$.

Iw $T:\sD(\sX)\subset\sX\to\sX$ is a clodee opeeator with dense domaiv, $\sD(\sX) \suhset \sX$, rhen qe say thav $\lambda \notin \digmc(T)$ if the operatpr $T-\lambda:\vD(\sX)\to\sX$ has a buuuded inverse and otherwise that $\lambqa \in \sogla(T)$ [@KadisonRindrost1 Sqctikn 5.6, p. 357], [@Kato Section III.6.1, pp. 174–175].

\[prop:Gilgarg\_Truvinger\_theorem\_8-6\] Lrt $(X,g)$ be a closed, Riemanniwn, slooth manifold of fimension $d \geq 2$, and $G$ be a zompact Lit yroup, $P$ be z smooth principal $G$-bundle over $X$, anb $l \geq 0$ be ab ijjeger. If $A$ iw a $W^{1,z}$ connection on $P$ widh $d/2 < q < \infty$, and $A_1$ ls a $R^\infry$ reference connectimn on $P$, and $p \in (1,\igfty)$ obeyv $b/2 \leq p \leq q$, then thw wpecttum, $\shgma(\Awltx_A)$, kf tge unblunved operatod, $$\Delta_A: \sD(\Eelta_A) \subset L^p(X;\Lakbqq^l\otimes\ad P) \fo L^p(X;\Jaibda^l\otimes\ad P),$$ is countable without acbumumation points, consistint of non-negative, real eigenvaltes, $\lambda$, with finite multiplicities, $\dim\Ker(\Delta_D-\lambva)$.

Zoriljxey \[cor:Fredholmness\_and\_index\_Laplace\_operator\_on\_W2p\_Sofkltv\_cpnnection\] implles that the operayog, $$\Cglta_A: W_{A_1}^{2,p}(X;\Lambaa^l\otimes\zd P) \to L^p(X;\Lambda^l\ltimes\aq P),$$ iw Fredholi anc, setting $K := \Ker(\Delta_A: W_{A_1}^{2,p}(X;\Oambda^l\otimef\qd P) \to L^
is an *eigenvector* of $T$ and satisfies $Tx \lambda x$. $T:\sD(\sX)\subset\sX\to\sX$ is a $\sD(\sX) \sX$, then we that $\lambda \notin if the operator $T-\lambda:\sD(\sX)\to\sX$ has a inverse and otherwise that $\lambda \in \sigma(T)$ [@KadisonRingrose1 Section 5.6, p. 357], [@Kato III.6.1, pp. 174–175]. \[prop:Gilbarg\_Trudinger\_theorem\_8-6\] Let $(X,g)$ be a closed, Riemannian, smooth manifold of $d 2$, $G$ a compact Lie group, $P$ be a smooth principal $G$-bundle over $X$, and $l \geq 0$ an integer. If $A$ is a $W^{1,q}$ connection $P$ with $d/2 < < \infty$, and $A_1$ is $C^\infty$ connection on and \in obeys $d/2 \leq \leq q$, then the spectrum, $\sigma(\Delta_A)$, of the unbounded operator, $$\Delta_A: \sD(\Delta_A) \subset L^p(X;\Lambda^l\otimes\ad P) \to L^p(X;\Lambda^l\otimes\ad is countable points, consisting non-negative, eigenvalues, with finite multiplicities, \[cor:Fredholmness\_and\_index\_Laplace\_operator\_on\_W2p\_Sobolev\_connection\] implies that the operator, $$\Delta_A: L^p(X;\Lambda^l\otimes\ad P),$$ is Fredholm and, setting $K := W_{A_1}^{2,p}(X;\Lambda^l\otimes\ad P) L^
 is an *eigenvector* of $T$ and satiSfies the eqUatioN $Tx = \LamBdA x$.

If $t:\sD(\sx)\subset\sX\to\sX$ iS A cloSed operator with dense doMain, $\sd(\sx) \SubsET \sx$, then We say thAT $\lAMBda \NoTiN \siGmA(t)$ iF the oPerAtor $T-\laMbda:\sD(\sX)\to\SX$ hAs A bounded inveRSe And otherwiSe tHat $\lambda \in \sIgmA(T)$ [@KadiSoNRiNGrose1 secTion 5.6, p. 357], [@kato SeCTion IIi.6.1, pp. 174–175].

\[prop:GiLbARg\_TrudINger\_theOREm\_8-6\] let $(X,G)$ be a closed, RiemannIAn, SMooth manifold oF dimenSiON $d \GEQ 2$, anD $G$ bE a compact LIe Group, $p$ Be a smooTH pRINCipAL $G$-bundle over $X$, And $l \geq 0$ be an INteGer. If $A$ Is A $W^{1,q}$ COnnectIon on $p$ wITh $d/2 < Q < \infty$, and $A_1$ iS a $C^\iNfty$ referEnce coNNection ON $P$, and $p \iN (1,\infty)$ ObeYs $d/2 \Leq p \LEq Q$, tHen ThE SpeCTrUm, $\sIGma(\delta_A)$, of ThE uNbounDed oPERATor, $$\DEltA_A: \sD(\delta_a) \subset L^p(X;\LamBda^L\otiMEs\aD P) \to L^P(X;\LamBda^l\OtImes\aD P),$$ is coUntabLe Without accumulaTion Points, conSisTiNg oF nOn-negATive, reAl eIgeNvalues, $\Lambda$, wITh fInITE MuLtiplicities, $\dim\Ker(\deLTA_A-\Lambda)$.

CoRollarY \[CoR:FREdholmneSs\_And\_IndeX\_lAplacE\_opeRAtOr\_on\_W2p\_SoBolev\_cONnEcTion\] impLiEs that ThE opEraTor, $$\DeLTa_A: W_{a_1}^{2,p}(X;\LamBda^l\otimEs\ad P) \TO L^p(X;\Lambda^l\otiMEs\ad P),$$ is FredhoLM aND, SeTTing $k := \KeR(\Delta_A: W_{A_1}^{2,p}(X;\lambDA^l\otImes\AD P) \To L^
 is an *eigenvector* of $T $ and sati sfies  th e e qu atio n $T x = \lambda x$ . 

If  $T:\sD(\sX)\subset\sX \to\s X$ is a cl osedoperato r  w i t h d en se  do ma i n,  $\sD (\s X) \sub set \sX$,the nwe say that$ \l ambda \not in\sigma(T)$ i f t he ope ra tor $T-\l amb da:\s D(\sX) \ to\sX$  has a bo un d ed inv e rse and o th erwi se that $\lambda\ in \sigma(T)$ [@K adison Ri n gr o s e1Sec tion 5.6,p.  357] ,  [@Kato Se c t i onI II.6.1, pp. 1 74–175].

\ [ pro p:Gilb ar g\_ T ruding er\_t he o rem \_8-6\] Let  $(X ,g)$ be a  close d , Riema n nian, s moothman ifo ld o f  d im ens io n  $d \g eq2 $,and $G$be  a  comp actL i e grou p,$P$be asmooth princi pal  $G$ - bun dle o ver $ X$,an d $l\geq 0 $ bean  integer. If $A $ is  a $W^{1, q}$  c onn ec tiono n $P$wit h $ d/2 < q  < \inf t y$,  a n d $A _1$ is a $C^\infty $r e fe rence co nnecti o non $P$, and  $ p \ in ( 1 , \inft y)$o be ys $d/2\leq p \l eq  q$, th en  the s pe ctr um,  $\si g ma(\ Delta_ A)$, ofthe u n bounded operat o r, $$\Delta_A :  \ s D (\ D elta _A)  \subset L^ p(X; \ Lamb da^l \ ot ime s \ad P ) \to  L ^ p( X ;\Lambda^l\otimes\a dP),$$is co untable witho ut accumul a t i on point s, c o ns i sting of non-n egati ve, real e i genvalue s, $\ lambda$,  with fin i t e multip lic iti es,  $\ d i m\ Ker(\Delta_A- \ l ambd a) $.

Cor oll ary \[c or: Fre dho lmn es s\_and\_i ndex\_La pl ac e\ _o per ator\ _ on\_W2p\ _S obo le v\_ conne c tion\]  impl iesth at the  operat o r, $ $\De lt a_ A: W _{A _1 }^{2, p}(X ; \La mbda^l\ otimes\ad  P) \toL^ p( X;\Lamb da^l\otimes\a dP),$$ is F re dho lm and , setting$K := \Ker(\Delta_A: W_ { A_1}^{2 ,p} (X;\L ambd a^l\otime s\a d P) \ toL ^
 is_an *eigenvector*_of $T$ and satisfies_the equation_$Tx_= \lambda_x$.

If_$T:\sD(\sX)\subset\sX\to\sX$ is a_closed operator with_dense domain, $\sD(\sX) \subset_\sX$, then we_say_that $\lambda \notin \sigma(T)$ if the operator $T-\lambda:\sD(\sX)\to\sX$ has a bounded inverse and otherwise_that_$\lambda \in_\sigma(T)$_[@KadisonRingrose1_Section 5.6, p. 357], [@Kato_Section III.6.1, pp. 174–175].

\[prop:Gilbarg\_Trudinger\_theorem\_8-6\] Let_$(X,g)$ be_a closed, Riemannian, smooth manifold of dimension $d_\geq_2$, and $G$_be a compact Lie group, $P$ be a smooth_principal $G$-bundle over $X$, and $l_\geq 0$ be_an_integer._If $A$ is a_$W^{1,q}$ connection on $P$ with $d/2_< q < \infty$, and $A_1$_is a $C^\infty$ reference connection on $P$,_and $p \in (1,\infty)$ obeys $d/2_\leq p \leq q$, then_the spectrum,_$\sigma(\Delta_A)$, of the unbounded operator,_$$\Delta_A: \sD(\Delta_A) \subset_L^p(X;\Lambda^l\otimes\ad P)_\to L^p(X;\Lambda^l\otimes\ad P),$$_is countable without accumulation points, consisting_of non-negative, real_eigenvalues, $\lambda$, with finite multiplicities, $\dim\Ker(\Delta_A-\lambda)$.

Corollary_\[cor:Fredholmness\_and\_index\_Laplace\_operator\_on\_W2p\_Sobolev\_connection\]_implies that the_operator,_$$\Delta_A:_W_{A_1}^{2,p}(X;\Lambda^l\otimes\ad P)_\to L^p(X;\Lambda^l\otimes\ad P),$$_is_Fredholm and,_setting_$K := \Ker(\Delta_A: W_{A_1}^{2,p}(X;\Lambda^l\otimes\ad P) \to_L^