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]=limp∈M+→ΣF(p)−limp∈M−→ΣF(p)
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
vc[gab,c]=vc[gab],c=0
which then implies that [gab,c]=γabnc. I'm not quite sure how to show this. Expanding everything, I get
(limp∈M+→Σθvcg+ab,c−limp∈M−→Σ(1−θ)vcg−ab,c)
given coordinates with tangent vectors (n,∂α), we can decompose this as
vcg±ab,c=vαg±ab,α
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 Σε along the normal bundle of coordinate ε and show that this is continuous?
No comments:
Post a Comment