It is often said that given the metrics g+, g− on two sides of a hypersurface Σ, then, with a level-set function ϕ such that Σ=ϕ−1(0), we can describe the metric on the whole manifold by
g=θ(ϕ)g++(1−θ(ϕ))g−
And then, the derivatives of the components are simply
gab,c=∂cθ(ϕ)(g+−g−)+θ(ϕ)g+ab,c+(1−θ(ϕ))g−ab,c
and since it is assumed that g is continuous,
gab,c=θ(ϕ)g+ab,c+(1−θ(ϕ))g−ab,c
The discontinuity in the derivatives is then said to be
[gab,c]=γabnc
for n a normal form to Σ and γab some tensor, and the notation corresponds to
[F]=lim
The proof for this seems rather elusive, but according to Clarke and Dray, this stems from the fact that for v some vector field such that g(v, n) = 0, with n some extension of the normal form (I'm guessing via the normal bundle of the surface), we have
\begin{equation} v^c[g_{ab,c}] = v^c [g_{ab}]_{,c} = 0\tag{6} \end{equation}
which then implies that [g_{ab,c}] = \gamma_{ab} n_c. I'm not quite sure how to show this. Expanding everything, I get
\begin{equation} (\lim_{p \in M^+ \to \Sigma} \theta v^c g^+_{ab,c} - \lim_{p \in M^- \to \Sigma} (1 - \theta) v^c g^-_{ab,c})\tag{7} \end{equation}
given coordinates with tangent vectors (n, \partial_\alpha), we can decompose this as
\begin{equation} v^c g^\pm_{ab,c} = v^\alpha g^\pm_{ab,\alpha}\tag{8} \end{equation}
since v has no n component. How to show that this quantity is then continuous upon crossing the boundary? Do I need to define the first fundamental form for every hypersurface \Sigma_\varepsilon along the normal bundle of coordinate \varepsilon and show that this is continuous?
No comments:
Post a Comment