A_1}\|_{L^p(X)} \|a_1\|_{W_{A_1}^{1,p}(X)},$$ which again yields for this case.

An argument identical to that for gives $$\|\nabla_{A_1}\Phi\times a_1\|_{L^{r'}(X)}
\leq
z\|\nabla_{A_1}\Phi\|_{L^p(X)} \|a_1\|_{W_{A_1}^{1,p}(X)}.$$ proving. This completes Step \[step:Lrprime\_estimate\_FA1\_times\_a1\_and\_nablaA1Phi\_times\_a1\].

\[step:Lrprime\_estimate\_Phi\_times\_nablaA1Phi\_and\_two\_similar\_terms\] We claim that $$\begin{aligned}
\label{eq:Lrprime_bound_Phi_times_nablaA1Phi}
\|\nabla_{A_1}\Phi\times \Phi\|_{L^{r'}(X)}
&\leq z\|\Phi\|_{W_{A_1}^{1,p}(X)}^2,
\\
\label{eq:Lrprime_bound_Phi_times_nablaA1a1}
\|\nabla_{A_1}a_1\times \Phi\|_{L^{r'}(X)}
&\leq z\|\Phi\|_{W_{A_1}^{1,p}(X)}\|a_1\|_{W_{A_1}^{1,p}(X)},
\\
\label{eq:Lrprime_bound_a1_times_nablaA1a1}
\|\nabla_{A_1}a_1\times a_1\|_{L^{r'}(X)}
&\leq z\|a_1\|_{W_{A_1}^{1,p}(X)}^2\end{aligned}$$ where $z = z(g,p) \in [1,\infty)$.

From the proof of in Step \[step:Lrprime\_estimate\_FA1\_times\_a1\_and\_nablaA1Phi\_times\_a1\], we have $$\|\Phi\times \nabla_{A_1}\Phi\|_{L^{r'}(X)} \leq z\|\Phi\|_{W_{A_1}^{1,p}(X)} \|\nabla_{A_1}\Phi\|_{L^p(X)},$$ and this gives ; identical arguments give
A_1}\|_{L^p(X) } \|a_1\|_{W_{A_1}^{1,p}(X)},$$ which again yields for this case. 

 An argument identical to that for gives $ $ \|\nabla_{A_1}\Phi\times a_1\|_{L^{r'}(X) } 
 \leq 
 z\|\nabla_{A_1}\Phi\|_{L^p(X) } \|a_1\|_{W_{A_1}^{1,p}(X)}.$$ proving. This dispatch Step \[step: Lrprime\_estimate\_FA1\_times\_a1\_and\_nablaA1Phi\_times\_a1\ ]. 

 \[step: Lrprime\_estimate\_Phi\_times\_nablaA1Phi\_and\_two\_similar\_terms\ ] We claim that $ $ \begin{aligned } 
 \label{eq: Lrprime_bound_Phi_times_nablaA1Phi } 
 \|\nabla_{A_1}\Phi\times \Phi\|_{L^{r'}(X) } 
 & \leq z\|\Phi\|_{W_{A_1}^{1,p}(X)}^2, 
 \\ 
 \label{eq: Lrprime_bound_Phi_times_nablaA1a1 } 
 \|\nabla_{A_1}a_1\times \Phi\|_{L^{r'}(X) } 
 & \leq z\|\Phi\|_{W_{A_1}^{1,p}(X)}\|a_1\|_{W_{A_1}^{1,p}(X) }, 
 \\ 
 \label{eq: Lrprime_bound_a1_times_nablaA1a1 } 
 \|\nabla_{A_1}a_1\times a_1\|_{L^{r'}(X) } 
 & \leq z\|a_1\|_{W_{A_1}^{1,p}(X)}^2\end{aligned}$$ where $ omega = z(g, p) \in [ 1,\infty)$. 

 From the proof of in Step \[step: Lrprime\_estimate\_FA1\_times\_a1\_and\_nablaA1Phi\_times\_a1\ ], we have $ $ \|\Phi\times \nabla_{A_1}\Phi\|_{L^{r'}(X) } \leq z\|\Phi\|_{W_{A_1}^{1,p}(X) } \|\nabla_{A_1}\Phi\|_{L^p(X)},$$ and this give; identical controversy give
A_1}\|_{L^p(D)} \|a_1\|_{W_{A_1}^{1,p}(X)},$$ which again yielas for this casg.

Ab argukent isentical to that for gives $$\|\nabla_{A_1}\Phi\vimew a_1\|_{L^{r'}(Z)}
\leq
z\|\nabla_{A_1}\Phi\|_{L^p(X)} \|a_1\|_{W_{A_1}^{1,p}(B)}.$$ proving. This conpleues Step \[step:Lrprmje\_estimate\_FA1\_tjles\_a1\_cnv\_nablaA1Phi\_times\_s1\].

\[step:Lrprike\_estimate\_Phi\_thmds\_uablaA1Phi\_and\_two\_similar\_terms\] We claim that $$\brgln{aligned}
\label{gq:Lrpgiie_bohnd_Phi_times_nablaA1Phi}
\|\nabla_{A_1}\Phi\times \Phi\|_{L^{r'}(X)}
&\neq z\|\Phi\|_{W_{A_1}^{1,p}(X)}^2,
\\
\lsbel{eq:Lrprime_bound_Phi_times_jablwA1a1}
\|\nabla_{A_1}a_1\times \Phl\|_{L^{r'}(X)}
&\leq z\|\Phu\|_{W_{A_1}^{1,p}(V)}\|q_1\|_{W_{A_1}^{1,p}(X)},
\\
\label{eq:Urprime_bound_a1_times_nablzA1a1}
\|\nabla_{A_1}a_1\times a_1\|_{L^{r'}(X)}
&\leq z\|a_1\|_{W_{A_1}^{1,p}(X)}^2\evd{aliyned}$$ where $e = z(h,k) \in [1,\infty)$.

Frim thv proof of in Step \[stap:Lrprike\_estimate\_FA1\_tikes\_e1\_and\_bablaA1Phi\_times\_a1\], we hate $$\|\Phi\times \nabla_{A_1}\Phy\|_{L^{r'}(X)} \leq s\|\Pki\|_{W_{A_1}^{1,p}(X)} \|\nabla_{A_1}\Phi\|_{L^p(X)},$$ abd this givas ; keengiczl adgumenhs jive
A_1}\|_{L^p(X)} \|a_1\|_{W_{A_1}^{1,p}(X)},$$ which again yields for this argument to that gives $$\|\nabla_{A_1}\Phi\times a_1\|_{L^{r'}(X)} completes \[step:Lrprime\_estimate\_FA1\_times\_a1\_and\_nablaA1Phi\_times\_a1\]. \[step:Lrprime\_estimate\_Phi\_times\_nablaA1Phi\_and\_two\_similar\_terms\] We that $$\begin{aligned} \label{eq:Lrprime_bound_Phi_times_nablaA1Phi} \Phi\|_{L^{r'}(X)} &\leq z\|\Phi\|_{W_{A_1}^{1,p}(X)}^2, \\ \label{eq:Lrprime_bound_Phi_times_nablaA1a1} \|\nabla_{A_1}a_1\times &\leq z\|\Phi\|_{W_{A_1}^{1,p}(X)}\|a_1\|_{W_{A_1}^{1,p}(X)}, \\ \label{eq:Lrprime_bound_a1_times_nablaA1a1} \|\nabla_{A_1}a_1\times a_1\|_{L^{r'}(X)} &\leq z\|a_1\|_{W_{A_1}^{1,p}(X)}^2\end{aligned}$$ where $z = z(g,p) \in From the proof of in Step \[step:Lrprime\_estimate\_FA1\_times\_a1\_and\_nablaA1Phi\_times\_a1\], we have $$\|\Phi\times \nabla_{A_1}\Phi\|_{L^{r'}(X)} \leq z\|\Phi\|_{W_{A_1}^{1,p}(X)} and gives identical give
A_1}\|_{L^p(X)} \|a_1\|_{W_{A_1}^{1,p}(X)},$$ which again yields For this casE.

An arGumEnt IdEntiCal tO that for gives $$\|\nABla_{A_1}\phi\times a_1\|_{L^{r'}(X)}
\leq
z\|\nabla_{A_1}\phi\|_{L^p(x)} \|a_1\|_{w_{a_1}^{1,p}(X)}.$$ pROvIng. ThIs complETeS sTep \[StEp:lrpRiME\_eStimaTe\_Fa1\_times\_a1\_And\_nablaA1PHi\_tImEs\_a1\].

\[step:LrpriME\_eStimate\_Phi\_TimEs\_nablaA1Phi\_aNd\_tWo\_simiLaR\_teRMs\] We cLaiM that $$\Begin{aLIgned}
\lAbel{eq:LrpRiME_bound_pHi_times_NABlAA1PhI}
\|\nabla_{A_1}\Phi\times \PhI\|_{l^{r'}(x)}
&\Leq z\|\Phi\|_{W_{A_1}^{1,p}(X)}^2,
\\
\labEl{eq:LrPrIMe_BOUnd_phi_Times_nablaa1a1}
\|\Nabla_{a_1}A_1\times \PHI\|_{L^{R'}(x)}
&\LEq z\|\pHi\|_{W_{A_1}^{1,p}(X)}\|a_1\|_{W_{A_1}^{1,p}(X)},
\\
\laBel{eq:LrprimE_BouNd_a1_timEs_NabLAA1a1}
\|\nabLa_{A_1}a_1\tImES a_1\|_{L^{R'}(X)}
&\leq z\|a_1\|_{W_{A_1}^{1,p}(X)}^2\End{aLigned}$$ wheRe $z = z(g,p) \IN [1,\infty)$.

FROm the prOof of iN StEp \[sTep:LRPrImE\_esTiMAte\_fa1\_tImeS\_A1\_anD\_nablaA1PHi\_TiMes\_a1\], wE havE $$\|\pHI\TimeS \naBla_{A_1}\phi\|_{L^{r'}(x)} \leq z\|\Phi\|_{W_{A_1}^{1,p}(X)} \|\nAblA_{A_1}\PhI\|_{l^p(X)},$$ And thIs givEs ; idEnTical ArgumeNts giVe
A_1}\|_{L^p(X)} \|a_1\|_{W _{A_1}^{1, p}(X) },$ $ w hi ch a gain  yields for th i s ca se.

An argument ident icalto that fo r giv es $$\| \ na b l a_{ A_ 1} \Ph i\ t im es a_ 1\| _{L^{r' }(X)}
\leq 
z\ |\ nabla_{A_1}\ P hi \|_{L^p(X) } \ |a_1\|_{W_{A _1} ^{1,p} (X )}. $ $ pro vin g. Th is com p letesStep \[st ep : Lrprim e \_estim a t e\ _FA1 \_times\_a1\_and\ _ na b laA1Phi\_times \_a1\] .\[ s t ep: Lrp rime\_esti ma te\_P h i\_time s \_ n a b laA 1 Phi\_and\_two \_similar\_ t erm s\] We  c lai m  that$$\be gi n {al igned}
\lab el{e q:Lrprime _bound _ Phi_tim e s_nabla A1Phi} 
\| \na bla_ { A_ 1} \Ph i\ t ime s  \ Phi \ |_{ L^{r'}(X )} 
& \leqz\|\ P h i \ |_{W _{A _1}^ {1,p} (X)}^2,
\\
\l abe l{eq : Lrp rime_ bound _Phi _t imes_ nablaA 1a1}\| \nabla_{A_1}a_1 \tim es \Phi\| _{L ^{ r'} (X )}
&\ l eq z\| \Ph i\| _{W_{A_ 1}^{1,p } (X) }\ | a _ 1\ |_{W_{A_1}^{1,p}(X )} , \\ 
\label{ eq:Lrp r im e_ b ound_a1_ ti mes _nab l a A1a1} 
\|\ n ab la_{A_1} a_1\ti m es  a _1\|_{L ^{ r'}(X) }&\l eqz\|a_ 1 \|_{ W_{A_1 }^{1,p}( X)}^2 \ end{aligned}$$ where $z = z( g ,p ) \i n  [1, \in fty)$.

Fro m th e  pro of o f  i n S t ep \[ step: Lr p ri m e\_estimate\_FA1\_t im es\_a1 \_and \_nablaA1Phi\ _times\_a1 \ ] ,  we have  $$\ | \P h i\times \nabla _{A_1 }\Phi\|_{L ^ {r'}(X)}  \leq  z\|\Phi \|_{W_{A_ 1 } ^{1,p}(X )}\|\ nab la_ { A _1 }\Phi\|_{L^p( X ) },$$  a nd this  gi ves ; i den tic alarg um ents give 
A_1}\|_{L^p(X)} \|a_1\|_{W_{A_1}^{1,p}(X)},$$_which again_yields for this case.

An_argument identical_to_that for_gives_$$\|\nabla_{A_1}\Phi\times a_1\|_{L^{r'}(X)}
\leq
z\|\nabla_{A_1}\Phi\|_{L^p(X)} \|a_1\|_{W_{A_1}^{1,p}(X)}.$$_proving. This completes_Step \[step:Lrprime\_estimate\_FA1\_times\_a1\_and\_nablaA1Phi\_times\_a1\].

\[step:Lrprime\_estimate\_Phi\_times\_nablaA1Phi\_and\_two\_similar\_terms\] We claim_that $$\begin{aligned}
\label{eq:Lrprime_bound_Phi_times_nablaA1Phi}
\|\nabla_{A_1}\Phi\times \Phi\|_{L^{r'}(X)}
&\leq_z\|\Phi\|_{W_{A_1}^{1,p}(X)}^2,
\\
\label{eq:Lrprime_bound_Phi_times_nablaA1a1}
\|\nabla_{A_1}a_1\times_\Phi\|_{L^{r'}(X)}
&\leq z\|\Phi\|_{W_{A_1}^{1,p}(X)}\|a_1\|_{W_{A_1}^{1,p}(X)},
\\
\label{eq:Lrprime_bound_a1_times_nablaA1a1}
\|\nabla_{A_1}a_1\times a_1\|_{L^{r'}(X)}
&\leq z\|a_1\|_{W_{A_1}^{1,p}(X)}^2\end{aligned}$$ where $z = z(g,p) \in [1,\infty)$.

From the proof of in_Step_\[step:Lrprime\_estimate\_FA1\_times\_a1\_and\_nablaA1Phi\_times\_a1\], we_have_$$\|\Phi\times_\nabla_{A_1}\Phi\|_{L^{r'}(X)} \leq z\|\Phi\|_{W_{A_1}^{1,p}(X)} \|\nabla_{A_1}\Phi\|_{L^p(X)},$$ and_this gives ; identical arguments_give