km} g^{mj}$ we have then that

$$\begin{aligned}
(\Delta q)_{{\gamma}}&= -\Delta_g q_{{\gamma}} +  {\partial}_{{\gamma}} (g^{ij}\Gamma^k_{ji}) q_k +  g^{ik}{\partial}_{{\gamma}} g_{km} g^{mj}{\partial}_j q_i + g^{ij} \Gamma^{k}_{j{\gamma}} {\partial}_i q_k - g^{ij} \Gamma^{k}_{j{\gamma}} {\partial}_k q_i\end{aligned}$$

Finally observe that

$$\begin{aligned}
 g^{ik}{\partial}_{{\gamma}} g_{km} g^{mj}{\partial}_j q_i + g^{ij} \Gamma^{k}_{j{\gamma}} {\partial}_i q_k - g^{ij} \Gamma^{k}_{j{\gamma}} {\partial}_k q_i = 2g^{ij}\Gamma^{k}_{j {\gamma}} {\partial}_{i}q_{k}
 \end{aligned}$$

Therefore

$$\begin{aligned}
 (\Delta q)_{{\gamma}}&= -\Delta_g q_{{\gamma}} + 2g^{ij}\Gamma^{k}_{j {\gamma}} {\partial}_{i}q_{k}+{\partial}_{{\gamma}}(g^{ij}\Gamma^k_{ij})q_k \end{aligned}$$

which is exactly  .

Combining the results of the previous two lemmas with Proposition \[wave q\] gives us a system of nonlinear wave equations for the components of $q$. The following Proposition is the main result of this section and will be used to prove a priori estimates for the differential, $du$, of a wave map $u$.

\[main eqn for q\] Let $u: ({\widetilde}{M}, \eta) \to (N,h)$ be a smooth wave map. Let $q=du$ be the representation of $du$ in the Coulomb frame, $e$ as in. Then, the components of $q$ satisfy the following system of variable coefficient wave equations:

$$\begin{gathered}
\label{scalar eqn for q} 
 \ddot{q}_{{\gamma}} -\Delta_g q_{{\gamma}} + 2g^{ij}\Gamma^{k}_{j {\gamma}} {\partial}_{i}q_{k}+{\partial}_{{\
km } g^{mj}$ we have then that 

 $ $ \begin{aligned } 
 (\Delta q)_{{\gamma}}&= -\Delta_g q_{{\gamma } } +   { \partial}_{{\gamma } } (g^{ij}\Gamma^k_{ji }) q_k +   g^{ik}{\partial}_{{\gamma } } g_{km } g^{mj}{\partial}_j q_i + g^{ij } \Gamma^{k}_{j{\gamma } } { \partial}_i q_k - g^{ij } \Gamma^{k}_{j{\gamma } } { \partial}_k q_i\end{aligned}$$ 

 Finally observe that 

 $ $ \begin{aligned } 
  g^{ik}{\partial}_{{\gamma } } g_{km } g^{mj}{\partial}_j q_i + g^{ij } \Gamma^{k}_{j{\gamma } } { \partial}_i q_k - g^{ij } \Gamma^{k}_{j{\gamma } } { \partial}_k q_i = 2g^{ij}\Gamma^{k}_{j { \gamma } } { \partial}_{i}q_{k } 
  \end{aligned}$$ 

 Therefore 

 $ $ \begin{aligned } 
  (\Delta q)_{{\gamma}}&= -\Delta_g q_{{\gamma } } + 2g^{ij}\Gamma^{k}_{j { \gamma } } { \partial}_{i}q_{k}+{\partial}_{{\gamma}}(g^{ij}\Gamma^k_{ij})q_k \end{aligned}$$ 

 which is precisely  . 

 compound the results of the previous two lemmas with Proposition \[wave q\ ] yield us a system of nonlinear wave equations for the component of $ q$. The following Proposition is the chief result of this section and will be use to prove a priori estimates for the differential, $ du$, of a wave function $ u$. 

 \[main eqn for q\ ] Let $ u: ({ \widetilde}{M }, \eta) \to (N, h)$ be a smooth wave map. Let $ q = du$ be the representation of $ du$ in the Coulomb frame, $ e$ as in. Then, the component of $ q$ satisfy the following system of variable coefficient wave equation: 

 $ $ \begin{gathered } 
 \label{scalar eqn for q } 
  \ddot{q}_{{\gamma } } -\Delta_g q_{{\gamma } } + 2g^{ij}\Gamma^{k}_{j { \gamma } } { \partial}_{i}q_{k}+{\partial}_{{\
km} h^{mj}$ we have then that

$$\begln{aligned}
(\Delta q)_{{\yqmma}}&= -\Dxlta_g q_{{\famma}} +  {\oartial}_{{\gamma}} (g^{ij}\Gamma^k_{ji}) q_k +  t^{ik}{\paetial}_{{\gamma}} g_{km} g^{mj}{\partkal}_j q_i + h^{ij} \Gammq^{k}_{j{\gemma}} {\partial}_i q_k - g^{ij} \Gamma^{k}_{j{\gzlma}} {\'actial}_k q_i\end{alinned}$$

Finally observe that

$$\bagkn{cligned}
 g^{ik}{\partial}_{{\gamma}} g_{km} g^{mj}{\partiwl}_j q_i + g^{lj} \Gamma^{k}_{j{\gammw}} {\pagtyal}_i q_k - g^{ij} \Gamma^{k}_{j{\gamma}} {\partial}_k q_i = 2g^{ij}\Gamka^{k}_{j {\gamma}} {\pattial}_{i}q_{k}
 \end{aligned}$$

Therefoge

$$\behin{aligned}
 (\Delta q)_{{\hamma}}&= -\Delta_t q_{{\gwnma}} + 2g^{ij}\Gammx^{k}_{j {\gamma}} {\kaxtial}_{i}q_{k}+{\parjial}_{{\gamma}}(g^{ij}\Gamma^k_{ij})q_k \end{alignea}$$

whick is exactli  .

Doltining the cesultf of the preypous twm lemmax with Proposibion \[xave q\] gives us a system mf nonlinear wave gquations xox the components of $q$. Tye fonlowhng Oeopusiuioi ia the laii result of this sectiin and will be used tj prove a priodi estymwtes for the differential, $du$, of a wave kap $u$.

\[main eqn for q\] Let $u: ({\qidetilde}{M}, \eta) \to (N,h)$ he a smooeh wave map. Let $q=du$ be the representation of $du$ it the Zouooic fgame, $e$ as in. Then, the components of $q$ satisfy fht fpllowing systei of variabke cpgfficient wave equatnkna:

$$\begin{gathered}
\labep{scalar eqn dor q} 
 \ddjt{q}_{{\gsmma}} -\Delta_g q_{{\gamma}} + 2g^{ij}\Gammq^{k}_{j {\gamma}} {\pagtiao}_{i}q_{k}+{\partial}_{{\
km} g^{mj}$ we have then that $$\begin{aligned} -\Delta_g + {\partial}_{{\gamma}} q_k + g^{ik}{\partial}_{{\gamma}} \Gamma^{k}_{j{\gamma}} q_k - g^{ij} {\partial}_k q_i\end{aligned}$$ Finally that $$\begin{aligned} g^{ik}{\partial}_{{\gamma}} g_{km} g^{mj}{\partial}_j q_i g^{ij} \Gamma^{k}_{j{\gamma}} {\partial}_i q_k - g^{ij} \Gamma^{k}_{j{\gamma}} {\partial}_k q_i = 2g^{ij}\Gamma^{k}_{j {\gamma}} {\partial}_{i}q_{k} Therefore $$\begin{aligned} (\Delta q)_{{\gamma}}&= -\Delta_g q_{{\gamma}} + 2g^{ij}\Gamma^{k}_{j {\gamma}} {\partial}_{i}q_{k}+{\partial}_{{\gamma}}(g^{ij}\Gamma^k_{ij})q_k \end{aligned}$$ which is . the of previous two lemmas with Proposition \[wave q\] gives us a system of nonlinear wave equations for components of $q$. The following Proposition is the result of this section will be used to prove priori for the $du$, a map $u$. \[main for q\] Let $u: ({\widetilde}{M}, \eta) \to (N,h)$ be a smooth wave map. Let $q=du$ be the of $du$ Coulomb frame, as Then, components of $q$ following system of variable coefficient wave eqn for q} \ddot{q}_{{\gamma}} -\Delta_g q_{{\gamma}} + 2g^{ij}\Gamma^{k}_{j {\partial}_{i}q_{k}+{\partial}_{{\
km} g^{mj}$ we have then that

$$\begin{aLigned}
(\DeltA q)_{{\gamMa}}&= -\DEltA_g Q_{{\gamMa}} +  {\paRtial}_{{\gamma}} (g^{ij}\GAMma^k_{Ji}) q_k +  g^{ik}{\partial}_{{\gamma}} g_{km} G^{mj}{\paRtIAl}_j q_I + G^{iJ} \GammA^{k}_{j{\gammA}} {\PaRTIal}_I q_K - g^{Ij} \GAmMA^{k}_{J{\gammA}} {\paRtial}_k q_I\end{aligneD}$$

FiNaLly observe thAT

$$\bEgin{aligneD}
 g^{iK}{\partial}_{{\gammA}} g_{kM} g^{mj}{\paRtIal}_J Q_i + g^{ij} \gamMa^{k}_{j{\gAmma}} {\paRTial}_i q_K - g^{ij} \Gamma^{K}_{j{\GAmma}} {\paRTial}_k q_i = 2G^{IJ}\GAmma^{K}_{j {\gamma}} {\partial}_{i}q_{k}
 \ENd{ALigned}$$

ThereforE

$$\begin{AlIGnED}
 (\delTa q)_{{\Gamma}}&= -\Delta_G q_{{\Gamma}} + 2G^{Ij}\Gamma^{K}_{J {\gAMMA}} {\paRTial}_{i}q_{k}+{\partiaL}_{{\gamma}}(g^{ij}\GaMMa^k_{Ij})q_k \enD{aLigNEd}$$

whicH is exAcTLy  .

COmbining the ResuLts of the pReviouS Two lemmAS with PrOpositIon \[WavE q\] giVEs Us A syStEM of NOnLinEAr wAve equatIoNs For thE comPONENts oF $q$. THe foLlowiNg Proposition Is tHe maIN reSult oF this SectIoN and wIll be uSed to PrOve a priori estimAtes For the difFerEnTiaL, $dU$, of a wAVe map $u$.

\[MaiN eqN for q\] LeT $u: ({\widetILde}{m}, \eTA) \TO (N,H)$ be a smooth wave map. LEt $Q=DU$ bE the reprEsentaTIoN oF $Du$ in the COuLomB fraME, $E$ as in. then, THe ComponenTs of $q$ sATiSfY the folLoWing syStEm oF vaRiablE CoefFicienT wave equAtionS:

$$\Begin{gathered}
\lABel{scalar eqn fOR q} 
 \DDOt{Q}_{{\GammA}} -\DeLta_g q_{{\gamma}} + 2g^{Ij}\GaMMa^{k}_{j {\GammA}} {\PaRtiAL}_{i}q_{k}+{\pArtiaL}_{{\
km} g^{mj}$ we have then t hat

$$\be gin{a lig ned }(\De ltaq)_{{\gamma}}& =  -\D elta_g q_{{\gamma}} + {\pa rt i al}_ { {\ gamma }} (g^{ i j} \ G amm a^ k_ {ji }) q_ k + g^{ ik}{\pa rtial}_{{\ gam ma }} g_{km} g^ { mj }{\partial }_j  q_i + g^{ij } \ Gamma^ {k }_{ j {\gam ma} } {\p artial } _i q_k  - g^{ij}  \ G amma^{ k }_{j{\g a m ma }} { \partial}_k q_i\e n d{ a ligned}$$

Fin ally o bs e rv e tha t
$$\begin{a li gned}  g^{ik} { \p a r t ial } _{{\gamma}} g _{km} g^{mj } {\p artial }_ j q _ i + g^ {ij}\G a mma ^{k}_{j{\ga mma} } {\parti al}_iq _k - g^ { ij} \Ga mma^{k }_{ j{\ gamm a }}  { \pa rt i al} _ kq_i = 2 g^{ij}\G am ma ^{k}_ {j { \ g a m ma}}  {\ part ial}_ {i}q_{k}
 \en d{a lign e d}$ $

Th erefo re
$$ \begi n{alig ned} ( \Delta q)_{{\ga mma} }&= -\Del ta_ gq_{ {\ gamma } } + 2g ^{i j}\ Gamma^{ k}_{j { \ gam ma } } {\ partial}_{i}q_{k}+ {\ p a rt ial}_{{\ gamma} } (g ^{ i j}\Gamma ^k _{i j})q _ k  \end {ali g ne d}$$

wh ich is ex ac tly  .
C ombini ng  th e r esult s  ofthe pr evious t wo le m mas with Propo s ition \[waveq \] g iv e s us  asystem of n onli n earwave eq uat i ons f or th ec om p onents of $q$. Thefo llowin g Pro position is t he main re s u l t of thi s se c ti o n and will beusedto prove a priori e stima tes forthe diffe r e ntial, $ du$ , o f a  wa v e  m ap $u$.

\[ma i n  eqn  f or q\]Let  $u: ({ \wi det ild e}{ M} , \eta) \ to (N,h) $be  a  s moo th wa v e map. L et  $q =d u$be th e  repre senta tion  o f$ du$  in the Co u l ombfr am e, $ e$as  in.Then ,  th e compo nents of$q$ sati sf ythe fol lowing system  o f variable  c oef ficien t wave equ ations:

$$\begin{gathe r ed}
\la bel {scal ar e qn for q}  
\ddot{ q}_ { {\gamm a}} -\ Delta _g  q_ { { \gamm a } }+ 2 g^ {ij}\Gamma ^ { k}_ {j {\ ga mma} } {\par tial}_{i}q_{k}+{\p a rti al}_{{\
km} g^{mj}$_we have_then that

$$\begin{aligned}
(\Delta q)_{{\gamma}}&= -\Delta_g_q_{{\gamma}} +__{\partial}_{{\gamma}} (g^{ij}\Gamma^k_{ji})_q_k_+  g^{ik}{\partial}_{{\gamma}}_g_{km} g^{mj}{\partial}_j q_i_+ g^{ij} \Gamma^{k}_{j{\gamma}} {\partial}_i_q_k - g^{ij}_\Gamma^{k}_{j{\gamma}}_{\partial}_k q_i\end{aligned}$$

Finally observe that

$$\begin{aligned}
 g^{ik}{\partial}_{{\gamma}} g_{km} g^{mj}{\partial}_j q_i + g^{ij} \Gamma^{k}_{j{\gamma}} {\partial}_i q_k -_g^{ij}_\Gamma^{k}_{j{\gamma}} {\partial}_k_q_i_=_2g^{ij}\Gamma^{k}_{j {\gamma}} {\partial}_{i}q_{k}
 \end{aligned}$$

Therefore

$$\begin{aligned}
 (\Delta_q)_{{\gamma}}&= -\Delta_g q_{{\gamma}} + 2g^{ij}\Gamma^{k}_{j_{\gamma}} {\partial}_{i}q_{k}+{\partial}_{{\gamma}}(g^{ij}\Gamma^k_{ij})q_k_\end{aligned}$$

which is exactly  .

Combining the results of the_previous_two lemmas with_Proposition \[wave q\] gives us a system of nonlinear_wave equations for the components of_$q$. The following_Proposition_is_the main result of_this section and will be used_to prove a priori estimates for_the differential, $du$, of a wave map_$u$.

\[main eqn for q\] Let $u:_({\widetilde}{M}, \eta) \to (N,h)$ be_a smooth_wave map. Let $q=du$ be_the representation of_$du$ in_the Coulomb frame,_$e$ as in. Then, the components_of $q$ satisfy_the following system of variable coefficient_wave_equations:

$$\begin{gathered}
\label{scalar eqn for_q}_
_\ddot{q}_{{\gamma}} -\Delta_g_q_{{\gamma}} + 2g^{ij}\Gamma^{k}_{j_{\gamma}}_{\partial}_{i}q_{k}+{\partial}_{{\