infty(A,\Phi))\|_{W^{-1, p}_{A_1}(X)} \quad\text{(by \eqref{eq:gauged_LS})}
\\
&\leq Z'C_1\|\hat\sM(A,\Phi)\|_{W^{-1, p}_{A_1}(X)}.\end{aligned}$$ But $\hat\sM(A,\Phi) = \Pi_{u_\infty(A_\infty, \Phi_\infty)}\sM$ and because the projection, $$\Pi_{u_\infty(A_\infty, \Phi_\infty)}:W^{k, p}_{A_1}(X; \Lambda^1 \otimes \ad P \oplus E) \to W^{k, p}_{A_1}(X; \Lambda^1 \otimes \ad P \oplus E),$$ is bounded with norm one (for any $k\in\ZZ$ and $1<p<\infty$), then $$\|\hat\sM(A,\Phi)\|_{W^{-1, p}_{A_1}(X)} \leq \|\sM(A,\Phi)\|_{W^{-1, p}_{A_1}(X)}.$$ Hence, the [Ł]{}ojasiewicz–Simon gradient inequality holds for the pairs $(A, \Phi)$ and $(A_\infty, \Phi_\infty)$ with constants $(Z, \theta, \sigma)$, where $Z := C_1Z'$.

\[case:APhi\_notin\_Coulomb\_gauge\_wrt\_APhi\_infty\] Let $\zeta= \zeta(A_1, A_\infty, \Phi_\infty, g, G,p,q)\in (0,1]$ and $N = N(A_1,A_\infty, \Phi_\infty, g, G,p,q) \in [1,\infty)$ denote the constants in Theorem \[mainthm:Feehan\_proposition\_3-4-4\_Lp\_pairs\] and choose $\zeta_1 \in (0,\zeta]$ small enough that $2N\zeta_1 < \sigma_1$, where we now use $\sigma_1$ to denote the [Ł]{}ojasiewicz–Simon constant from Case \[case:APhi\_Coulomb\_gauge\_wrt\_APhi\_infty\]. If $(A,\Phi)$ obeys $$\|(A,\Phi
infty(A,\Phi))\|_{W^{-1, p}_{A_1}(X) } \quad\text{(by \eqref{eq: gauged_LS }) } 
 \\ 
 & \leq Z'C_1\|\hat\sM(A,\Phi)\|_{W^{-1, p}_{A_1}(X)}.\end{aligned}$$ But $ \hat\sM(A,\Phi) = \Pi_{u_\infty(A_\infty, \Phi_\infty)}\sM$ and because the projection, $ $ \Pi_{u_\infty(A_\infty, \Phi_\infty)}:W^{k, p}_{A_1}(X; \Lambda^1 \otimes \ad P \oplus E) \to W^{k, p}_{A_1}(X; \Lambda^1 \otimes \ad P \oplus E),$$ is bounded with norm one (for any $ k\in\ZZ$ and $ 1 < p<\infty$), then $ $ \|\hat\sM(A,\Phi)\|_{W^{-1, p}_{A_1}(X) } \leq \|\sM(A,\Phi)\|_{W^{-1, p}_{A_1}(X)}.$$ Hence, the [ Ł]{}ojasiewicz – Simon gradient inequality reserve for the pair $ (A, \Phi)$ and $ (A_\infty, \Phi_\infty)$ with constants $ (Z, \theta, \sigma)$, where $ Z: = C_1Z'$. 

 \[case: APhi\_notin\_Coulomb\_gauge\_wrt\_APhi\_infty\ ] get $ \zeta= \zeta(A_1, A_\infty, \Phi_\infty, g, G, p, q)\in (0,1]$ and $ N = N(A_1,A_\infty, \Phi_\infty, g, G, p, q) \in [ 1,\infty)$ denote the constants in Theorem   \[mainthm: Feehan\_proposition\_3 - 4 - 4\_Lp\_pairs\ ] and choose $ \zeta_1 \in (0,\zeta]$ little enough that $ 2N\zeta_1 < \sigma_1 $, where we immediately use $ \sigma_1 $ to announce the [ Ł]{}ojasiewicz – Simon changeless from Case \[case: APhi\_Coulomb\_gauge\_wrt\_APhi\_infty\ ]. If $ (A,\Phi)$ obeys $ $ \|(A,\Phi
infhy(A,\Phi))\|_{W^{-1, p}_{A_1}(X)} \quad\text{(by \edref{eq:gauged_LS})}
\\
&\lgq Z'C_1\|\hat\vM(A,\Phi)\|_{S^{-1, p}_{A_1}(X)}.\end{xligned}$$ But $\hat\sM(A,\Phi) = \Pi_{u_\inhty(A_\unfty, \Phi_\infty)}\sM$ and becausd the prouection, $$\Pi_{u_\iifty(A_\infty, \Phi_\inhfy)}:W^{k, p}_{A_1}(W; \Lamgfa^1 \ocines \ad P \oplus E) \to W^{k, p}_{D_1}(X; \Lambda^1 \otimas \ab P \oplus E),$$ is bounded with norm one (for anu $n\in\ZZ$ and $1<p<\infjy$), thtn $$\|\rat\sJ(A,\Phi)\|_{W^{-1, p}_{A_1}(X)} \leq \|\sM(A,\Phi)\|_{W^{-1, p}_{A_1}(X)}.$$ Hence, tge [Ł]{}ojaspewicz–Simon gradirnt inequality holds for tje pwirs $(A, \Phi)$ and $(A_\invty, \Phi_\infti)$ wiey constants $(X, \theta, \sigma)$, where $Z := C_1Z'$.

\[case:APhi\_notin\_Coulomb\_gauge\_wrt\_XPhi\_iufty\] Let $\zejc= \zehd(A_1, A_\infty, \Pii_\inftj, g, G,p,q)\in (0,1]$ and $N = N(A_1,A_\hnfty, \Pni_\infty, g, G,p,q) \ln [1,\inhty)$ eenote the constants mn Theorem \[mainthm:Feeran\_proposhtnon\_3-4-4\_Lp\_pairs\] and choose $\zwta_1 \it (0,\zeda]$ soqll enkujh fhat $2N\xete_1 < \sigma_1$, whsre we now yse $\sigma_1$ to denote trv [Ł]{}ojasiewicz–Sjmon cjnftant from Case \[case:APhi\_Coulomb\_gauge\_wrt\_DPhj\_infty\]. If $(A,\Phi)$ obeys $$\|(A,\Pyi
infty(A,\Phi))\|_{W^{-1, p}_{A_1}(X)} \quad\text{(by \eqref{eq:gauged_LS})} \\ &\leq Z'C_1\|\hat\sM(A,\Phi)\|_{W^{-1, $\hat\sM(A,\Phi) \Pi_{u_\infty(A_\infty, \Phi_\infty)}\sM$ because the projection, \ad \oplus E) \to p}_{A_1}(X; \Lambda^1 \otimes P \oplus E),$$ is bounded with one (for any $k\in\ZZ$ and $1<p<\infty$), then $$\|\hat\sM(A,\Phi)\|_{W^{-1, p}_{A_1}(X)} \leq \|\sM(A,\Phi)\|_{W^{-1, p}_{A_1}(X)}.$$ Hence, [Ł]{}ojasiewicz–Simon gradient inequality holds for the pairs $(A, \Phi)$ and $(A_\infty, \Phi_\infty)$ with $(Z, \sigma)$, $Z C_1Z'$. \[case:APhi\_notin\_Coulomb\_gauge\_wrt\_APhi\_infty\] Let $\zeta= \zeta(A_1, A_\infty, \Phi_\infty, g, G,p,q)\in (0,1]$ and $N = N(A_1,A_\infty, \Phi_\infty, g, \in [1,\infty)$ denote the constants in Theorem \[mainthm:Feehan\_proposition\_3-4-4\_Lp\_pairs\] choose $\zeta_1 \in (0,\zeta]$ enough that $2N\zeta_1 < \sigma_1$, we use $\sigma_1$ denote [Ł]{}ojasiewicz–Simon from Case \[case:APhi\_Coulomb\_gauge\_wrt\_APhi\_infty\]. $(A,\Phi)$ obeys $$\|(A,\Phi
infty(A,\Phi))\|_{W^{-1, p}_{A_1}(X)} \quad\text{(by \eqRef{eq:gaugeD_LS})}
\\
&\leQ Z'C_1\|\Hat\SM(a,\Phi)\|_{w^{-1, p}_{A_1}(X)}.\End{aligned}$$ But $\hAT\sM(A,\phi) = \Pi_{u_\infty(A_\infty, \Phi_\inFty)}\sM$ AnD BecaUSe The prOjectioN, $$\pi_{U_\INftY(A_\InFty, \phI_\InFty)}:W^{k, P}_{A_1}(X; \lambda^1 \oTimes \ad P \opLus e) \tO W^{k, p}_{A_1}(X; \Lambda^1 \OTiMes \ad P \opluS E),$$ iS bounded with NorM one (foR aNy $k\IN\ZZ$ anD $1<p<\iNfty$), tHen $$\|\hat\Sm(A,\Phi)\|_{W^{-1, P}_{A_1}(X)} \leq \|\sM(A,\phI)\|_{w^{-1, p}_{A_1}(X)}.$$ HeNCe, the [Ł]{}oJASiEwicZ–Simon gradient ineQUaLIty holds for the Pairs $(A, \phI)$ AnD $(a_\InfTy, \PHi_\infty)$ witH cOnstaNTs $(Z, \thetA, \SiGMA)$, WheRE $Z := C_1Z'$.

\[case:APhi\_nOtin\_Coulomb\_GAugE\_wrt\_APHi\_InfTY\] Let $\zeTa= \zetA(A_1, a_\InfTy, \Phi_\infty, g, g,p,q)\iN (0,1]$ and $N = N(A_1,A_\iNfty, \PhI_\Infty, g, G,P,Q) \in [1,\inftY)$ denotE thE coNstaNTs In theOrEM \[maINtHm:FEEhaN\_proposiTiOn\_3-4-4\_lp\_paiRs\] anD CHOOse $\zEta_1 \In (0,\zeTa]$ smaLl enough that $2N\ZetA_1 < \sigMA_1$, whEre we Now usE $\sigMa_1$ To denOte the [ł]{}ojasIeWicz–Simon constaNt frOm Case \[casE:APHi\_couLoMb\_gauGE\_wrt\_APHi\_iNftY\]. If $(A,\Phi)$ Obeys $$\|(A,\PHI
infty(A,\Phi))\|_{W^{-1, p }_{A_1}(X) } \qu ad\ tex t{ (by\eqr ef{eq:gauged_L S })}\\
&\leq Z'C_1\|\hat\s M(A,\ Ph i )\|_ { W^ {-1,p}_{A_1 } (X ) } .\e nd {a lig ne d }$ $ But  $\ hat\sM( A,\Phi) =\Pi _{ u_\infty(A_\ i nf ty, \Phi_\ inf ty)}\sM$ and  be causeth e p r oject ion , $$\ Pi_{u_ \ infty( A_\infty,  \ P hi_\in f ty)}:W^ { k ,p}_{ A_1}(X; \Lambda^1 \o t imes \ad P \op lus E)  \ t oW ^ {k,  p} _{A_1}(X;\L ambda ^ 1 \otim e s\ a d  P\ oplus E),$$ i s bounded w i thnorm o ne  (f o r any$k\in \Z Z $ a nd $1<p<\in fty$ ), then $ $\|\ha t \sM(A,\ P hi)\|_{ W^{-1,  p} _{A _1}( X )}  \ leq  \ | \sM ( A, \Ph i )\| _{W^{-1,  p }_ {A_1} (X)} . $ $ Henc e,the[Ł]{} ojasiewicz–Si mon  gra d ien t ine quali ty h ol ds fo r thepairs  $ (A, \Phi)$ and$(A_ \infty, \ Phi _\ inf ty )$ wi t h cons tan ts$(Z, \t heta, \ s igm a) $ , wh ere $Z := C_1Z'$.
\ [ c as e:APhi\_ notin\ _ Co ul o mb\_gaug e\ _wr t\_A P h i\_in fty\ ]  L et $\zet a= \ze t a( A_ 1, A_\i nf ty, \P hi _\i nft y, g, G,p, q)\in(0,1]$ a nd $N = N(A_1,A_\inf t y, \Phi_\inft y ,g ,  G , p,q)  \i n [1,\infty )$ d e note  the co nst a nts i n The or e m\ [mainthm:Feehan\_pr op ositio n\_3- 4-4\_Lp\_pair s\] and ch o o s e $\zeta _1 \ i n( 0,\zeta]$ smal l eno ugh that $ 2 N\zeta_1  < \s igma_1$,  where we n ow use $ \si gma _1$  to d en ote the [Ł]{} o j asie wi cz–Simo n c onstant  fr omCas e \ [c ase:APhi\ _Coulomb \_ ga ug e\ _wr t\_AP h i\_infty \] . I f$(A ,\Phi ) $ obey s $$\ |(A, \P hi 
infty(A,\Phi))\|_{W^{-1, p}_{A_1}(X)}_\quad\text{(by \eqref{eq:gauged_LS})}
\\
&\leq_Z'C_1\|\hat\sM(A,\Phi)\|_{W^{-1, p}_{A_1}(X)}.\end{aligned}$$ But $\hat\sM(A,\Phi)_= \Pi_{u_\infty(A_\infty,_\Phi_\infty)}\sM$_and because_the_projection, $$\Pi_{u_\infty(A_\infty, \Phi_\infty)}:W^{k,_p}_{A_1}(X; \Lambda^1 \otimes_\ad P \oplus E)_\to W^{k, p}_{A_1}(X;_\Lambda^1_\otimes \ad P \oplus E),$$ is bounded with norm one (for any $k\in\ZZ$ and_$1<p<\infty$),_then $$\|\hat\sM(A,\Phi)\|_{W^{-1,_p}_{A_1}(X)}_\leq_\|\sM(A,\Phi)\|_{W^{-1, p}_{A_1}(X)}.$$ Hence, the [Ł]{}ojasiewicz–Simon_gradient inequality holds for the_pairs $(A,_\Phi)$ and $(A_\infty, \Phi_\infty)$ with constants $(Z, \theta,_\sigma)$,_where $Z :=_C_1Z'$.

\[case:APhi\_notin\_Coulomb\_gauge\_wrt\_APhi\_infty\] Let $\zeta= \zeta(A_1, A_\infty, \Phi_\infty, g, G,p,q)\in (0,1]$_and $N = N(A_1,A_\infty, \Phi_\infty, g,_G,p,q) \in [1,\infty)$_denote_the_constants in Theorem \[mainthm:Feehan\_proposition\_3-4-4\_Lp\_pairs\] and_choose $\zeta_1 \in (0,\zeta]$ small enough_that $2N\zeta_1 < \sigma_1$, where we_now use $\sigma_1$ to denote the [Ł]{}ojasiewicz–Simon_constant from Case \[case:APhi\_Coulomb\_gauge\_wrt\_APhi\_infty\]. If $(A,\Phi)$_obeys $$\|(A,\Phi