eb1914c9a8cc33bc.tex
1: \begin{definition}[CMC-linear momentum]
2: Let $(\outM,\outg*,\outzFund*,\outmomden*,\outenden)$ be a three-dimensional initial data set, $\mathcal M:=\{\M<\Hradius>\}_{\Hradius>\Hradius_0}$ be a family of regular hypersurfaces satisfying the assumptions of Theorem~\ref{Suff_ass_for_asymp_flat} or \ref{Charac_of_Sobolev_asymp_flat}. If $\outzFund*$ and $\outmomden*$ are continuous, then the \emph{CMC-linear momentum} $\impulsf\in\Ck(\outM)$ is defined by
3: \[ \left.\impulsf\right|_{\M<\Hradius>} =: \impulsf<\Hradius> = \frac{\Hradius^2}6\trans{\Big(\Hradius\,\div<\Hradius>(\outzFund(\nu<\Hradius>,\cdot))-\Hradius\,\outmomden*(\nu<\Hradius>)+\tr<\Hradius>\,\outzFund*\,\Big)\!} \quad\forall\,\Hradius>\Hradius_1, \]
4: where $\Hradius_1:=\sup\big\{\Hradius_0'>\Hradius\,:\,\{\M<\Hradius>\}_{\Hradius>\Hradius_0'}\text{ is a foliation of its union}\big\}$ and $\div<\Hradius>$, $\nu<\Hradius>$, and $\tr<\Hradius>$ denote the two-dimensional divergence, the outer unit normal, and the two-dimensional trace with respect to $\M<\Hradius>\hookrightarrow(\outM,\outg*)$, respectively.\footnote{Note that the addend $\outmomden*(\nu<\Hradius>)$ in the definition of the CMC-linear momentum is~--~compared to the ADM-linear momentum~--~a correction term, adapting the CMC-linear momentum to the CMC-foliation, see below.}
5: \end{definition}