 + a\times \nabla_{A_s}\xi + a\times a\times \xi,$$ and thus, for $\xi \in W_{A_1}^{2,p}(X;\Lambda^l\otimes\ad P)$, $$\label{eq:Delta_A1+a_expansion}
\Delta_A\xi = \Delta_{A_s}\xi + \nabla_{A_1}a \times \xi + a_1\times a\times \xi + a\times \nabla_{A_1}\xi + a\times a\times \xi,$$ We define $r \in [p,\infty]$ by $1/p = 1/q + 1/r$ and recall that by [@AdamsFournier Theorem 4.12] we have

$W^{2,p}(X) \subset L^r(X)$ for any $r \in [1,\infty)$ when $p = d/2$, and

$W^{2,p}(X) \subset L^\infty(X)$ when $p > d/2$.

The expansion yields $$\begin{gathered}
\|(\Delta_A - \Delta_{A_s})\xi\|_{L^p(X)}
\leq
z\|\nabla_{A_1}a\|_{L^q(X)}\|\xi\|_{L^r(X)} + \|a \times \nabla_{A_1}\xi\|_{L^p(X)}
\\
+ z\|a_1\|_{C(X)}\|a\|_{L^{2p}(X)}\|\xi\|_{L^{2p}(X)} +  z\||a|^2\|_{L^q(X)} \|\xi\|_{L^r(X)},\end{gathered}$$ where $z = z(g,G,l) \in [1,\infty)$. To ensure a continuous Sobolev embedding $W^{1,p}(X) \subset L^d(X)$ by [@AdamsFournier Theorem 4.12], we need $p^* = dp/(d-p) \geq d$, that is, $p \geq d-p$ or $p \geq d/2$, which we assume in our hypotheses.

To ensure a continuous Sobolev embedding $W^{1,q}(X) \subset L^{2q}(X)$ when $q < d$, we need $q
+ a\times \nabla_{A_s}\xi + a\times a\times \xi,$$ and thus, for $ \xi \in W_{A_1}^{2,p}(X;\Lambda^l\otimes\ad P)$, $ $ \label{eq: Delta_A1+a_expansion } 
 \Delta_A\xi = \Delta_{A_s}\xi + \nabla_{A_1}a \times \xi + a_1\times a\times \xi + a\times \nabla_{A_1}\xi + a\times a\times \xi,$$ We define $ r \in [ p,\infty]$ by $ 1 / p = 1 / q + 1 / r$ and echo that by [ @AdamsFournier Theorem 4.12 ] we take 

 $ W^{2,p}(X) \subset L^r(X)$ for any $ r \in [ 1,\infty)$ when $ p = d/2 $, and 

 $ W^{2,p}(X) \subset L^\infty(X)$ when $ p > d/2$. 

 The expansion give way $ $ \begin{gathered } 
 \|(\Delta_A - \Delta_{A_s})\xi\|_{L^p(X) } 
 \leq 
 z\|\nabla_{A_1}a\|_{L^q(X)}\|\xi\|_{L^r(X) } + \|a \times \nabla_{A_1}\xi\|_{L^p(X) } 
 \\ 
 + z\|a_1\|_{C(X)}\|a\|_{L^{2p}(X)}\|\xi\|_{L^{2p}(X) } +   z\||a|^2\|_{L^q(X) } \|\xi\|_{L^r(X)},\end{gathered}$$ where $ z = z(g, G, l) \in [ 1,\infty)$. To see a continuous Sobolev embed $ W^{1,p}(X) \subset L^d(X)$ by [ @AdamsFournier Theorem 4.12 ], we need $ p^ * = dp/(d - phosphorus) \geq d$, that is, $ phosphorus \geq d - p$ or $ p \geq d/2 $, which we assume in our guess. 

 To ensure a continuous Sobolev embedding $ W^{1,q}(X) \subset L^{2q}(X)$ when $ q < d$, we necessitate $ q
 + a\himes \nabla_{A_s}\xi + a\times x\times \xi,$$ and tkys, for $\xi \in W_{A_1}^{2,p}(X;\Lamcda^l\otimes\ad P)$, $$\label{eq:Delta_A1+e_expqnsiob}
\Delta_A\xi = \Delta_{A_s}\xi + \vabla_{A_1}a \tpmes \xi + q_1\timts a\times \xi + a\times \nabla_{A_1}\xi + z\bimes e\times \xi,$$ We denine $r \in [p,\hnfty]$ by $1/p = 1/q + 1/r$ aud recall that by [@AdamsFournier Theowem 4.12] we hwve

$W^{2,p}(X) \subset J^r(X)$ gjr ahj $v \in [1,\infty)$ when $p = d/2$, and

$W^{2,p}(X) \subsst L^\infuy(X)$ when $p > d/2$.

The ecpansion yields $$\begin{gatheged}
\|(\Dflta_A - \Delta_{A_s})\xi\|_{L^p(D)}
\leq
z\|\nabla_{A_1}q\|_{L^q(X)}\|\vu\|_{L^r(X)} + \|a \timer \nabla_{A_1}\xi\|_{L^p(X)}
\\
+ z\|a_1\|_{C(X)}\|a\|_{L^{2p}(X)}\|\si\|_{L^{2p}(X)} +  z\||a|^2\|_{L^q(X)} \|\xi\|_{L^r(X)},\end{gathered}$$ dhere $z = z(g,G,l) \ib [1,\unfhi)$. To ensure e contpnuous Soboley embedging $W^{1,p}(C) \subset L^d(X)$ bn [@AdaksFiurnier Theorem 4.12], we nxed $p^* = dp/(d-p) \geq d$, thwt is, $p \gaq d-p$ or $p \geq d/2$, whucy we dssuke iv ouf hgpptgeses.

Tl eisure a confinuous Sobilev embedding $W^{1,q}(X) \xufwet L^{2q}(X)$ when $s < d$, wq geed $q
+ a\times \nabla_{A_s}\xi + a\times a\times \xi,$$ for \in W_{A_1}^{2,p}(X;\Lambda^l\otimes\ad $$\label{eq:Delta_A1+a_expansion} \Delta_A\xi = + a\times \xi + \nabla_{A_1}\xi + a\times \xi,$$ We define $r \in [p,\infty]$ $1/p = 1/q + 1/r$ and recall that by [@AdamsFournier Theorem 4.12] we $W^{2,p}(X) \subset L^r(X)$ for any $r \in [1,\infty)$ when $p = d/2$, and \subset when > The expansion yields $$\begin{gathered} \|(\Delta_A - \Delta_{A_s})\xi\|_{L^p(X)} \leq z\|\nabla_{A_1}a\|_{L^q(X)}\|\xi\|_{L^r(X)} + \|a \times \nabla_{A_1}\xi\|_{L^p(X)} \\ + z\|a_1\|_{C(X)}\|a\|_{L^{2p}(X)}\|\xi\|_{L^{2p}(X)} z\||a|^2\|_{L^q(X)} \|\xi\|_{L^r(X)},\end{gathered}$$ where $z = z(g,G,l) \in [1,\infty)$. ensure a continuous Sobolev $W^{1,p}(X) \subset L^d(X)$ by [@AdamsFournier 4.12], need $p^* dp/(d-p) d$, is, $p \geq or $p \geq d/2$, which we assume in our hypotheses. To ensure a continuous Sobolev embedding $W^{1,q}(X) L^{2q}(X)$ when d$, we $q
 + a\times \nabla_{A_s}\xi + a\times a\timEs \xi,$$ and thuS, for $\xI \in w_{A_1}^{2,p}(x;\LAmbdA^l\otImes\ad P)$, $$\label{eq:dElta_a1+a_expansion}
\Delta_A\xi = \DelTa_{A_s}\xI + \nABla_{A_1}A \TiMes \xi + A_1\times a\TImES \Xi + a\TiMeS \naBlA_{a_1}\xI + a\timEs a\Times \xi,$$ we define $r \iN [p,\iNfTy]$ by $1/p = 1/q + 1/r$ and reCAlL that by [@AdaMsFOurnier TheorEm 4.12] wE have

$W^{2,P}(X) \SubSEt L^r(X)$ For Any $r \iN [1,\infty)$ WHen $p = d/2$, aNd

$W^{2,p}(X) \subsEt l^\Infty(X)$ WHen $p > d/2$.

ThE EXpAnsiOn yields $$\begin{gathEReD}
\|(\delta_A - \Delta_{A_s})\xI\|_{L^p(X)}
\leQ
z\|\NAbLA_{a_1}a\|_{L^Q(X)}\|\xI\|_{L^r(X)} + \|a \times \NaBla_{A_1}\xI\|_{l^p(X)}
\\
+ z\|a_1\|_{C(X)}\|A\|_{l^{2p}(x)}\|\XI\|_{l^{2p}(X)} +  Z\||A|^2\|_{L^q(X)} \|\xi\|_{L^r(X)},\end{gAthered}$$ wherE $Z = z(g,g,l) \in [1,\inFtY)$. To ENsure a ContiNuOUs SObolev embedDing $w^{1,p}(X) \subset l^d(X)$ by [@ADAmsFourNIer TheoRem 4.12], we nEed $P^* = dp/(D-p) \geQ D$, tHaT is, $P \gEQ d-p$ OR $p \Geq D/2$, WhiCh we assuMe In Our hyPothESES.

to enSurE a coNtinuOus Sobolev embEddIng $W^{1,Q}(x) \suBset L^{2Q}(X)$ wheN $q < d$, wE nEed $q
 + a\times \nabla_{A_s}\xi  + a\times  a\ti mes  \x i, $$ a nd t hus, for $\xi\ in W _{A_1}^{2,p}(X;\Lambda ^l\ot im e s\ad P) $, $$ \label{ e q: D e lta _A 1+ a_e xp a ns ion}\De lta_A\x i = \Delta _{A _s }\xi + \nabl a _{ A_1}a \tim es\xi + a_1\ti mes  a\tim es  \x i  + a\ tim es \n abla_{ A _1}\xi  + a\time sa \times \xi,$$W e  d efin e $r \in [p,\inft y ]$ by $1/p = 1/q+ 1/r$  a n dr e cal l t hat by [@A da msFou r nier Th e or e m 4.1 2 ] we have

$W ^{2,p}(X) \ s ubs et L^r (X )$f or any  $r \ in [1, \infty)$ wh en $ p = d/2$,  and
$ W^{2,p} ( X) \sub set L^ \in fty (X)$ wh en  $p  > d/2 $ .
Th e  ex pansionyi el ds $$ \beg i n { g athe red }
\| (\Del ta_A - \Delta _{A _s}) \ xi\ |_{L^ p(X)} 
\le qz\|\n abla_{ A_1}a \| _{L^q(X)}\|\xi\ |_{L ^r(X)} +\|a  \ tim es  \nab l a_{A_1 }\x i\| _{L^p(X )}
\\
+ z\| a_ 1 \ | _{ C(X)}\|a\|_{L^{2p} (X ) } \| \xi\|_{L ^{2p}( X )}  +  z\||a|^ 2\ |_{ L^q( X ) } \|\ xi\| _ {L ^r(X)},\ end{ga t he re d}$$ wh er e $z =  z (g, G,l ) \in [1,\ infty) $. To en surea  continuous So b olev embeddin g  $ W ^ {1 , p}(X ) \ subset L^d( X)$b y [@ Adam s Fo urn i er Th eorem  4 . 12 ] , we need $p^* = dp /( d-p) \ geq d $, that is, $ p \geq d-p $ o r $p \ge q d/ 2 $, which we assum e inour hypoth e ses.

To  ensu re a con tinuous S o b olev emb edd ing  $W ^{1 , q }( X) \subset L^ { 2 q}(X )$  when $ q <  d$, we  ne ed$q
 +_a\times \nabla_{A_s}\xi_+ a\times a\times \xi,$$_and thus,_for_$\xi \in_W_{A_1}^{2,p}(X;\Lambda^l\otimes\ad_P)$, $$\label{eq:Delta_A1+a_expansion}
\Delta_A\xi =_\Delta_{A_s}\xi + \nabla_{A_1}a_\times \xi + a_1\times_a\times \xi +_a\times_\nabla_{A_1}\xi + a\times a\times \xi,$$ We define $r \in [p,\infty]$ by $1/p = 1/q_+_1/r$ and_recall_that_by [@AdamsFournier Theorem 4.12] we_have

$W^{2,p}(X) \subset L^r(X)$ for any_$r \in_[1,\infty)$ when $p = d/2$, and

$W^{2,p}(X) \subset L^\infty(X)$_when_$p > d/2$.

The_expansion yields $$\begin{gathered}
\|(\Delta_A - \Delta_{A_s})\xi\|_{L^p(X)}
\leq
z\|\nabla_{A_1}a\|_{L^q(X)}\|\xi\|_{L^r(X)} + \|a \times \nabla_{A_1}\xi\|_{L^p(X)}
\\
+_z\|a_1\|_{C(X)}\|a\|_{L^{2p}(X)}\|\xi\|_{L^{2p}(X)} +  z\||a|^2\|_{L^q(X)} \|\xi\|_{L^r(X)},\end{gathered}$$ where_$z = z(g,G,l)_\in_[1,\infty)$._To ensure a continuous_Sobolev embedding $W^{1,p}(X) \subset L^d(X)$ by_[@AdamsFournier Theorem 4.12], we need $p^*_= dp/(d-p) \geq d$, that is, $p_\geq d-p$ or $p \geq d/2$,_which we assume in our_hypotheses.

To ensure_a continuous Sobolev embedding $W^{1,q}(X)_\subset L^{2q}(X)$ when_$q <_d$, we need_$q