ScalingStacks

Proof. [0502]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

First, we prove Item (1). By (3.51) we have

(3.97) (−1)m+1∗dvolT=λ⋅dvolN(-1)^{m+1}*\dvol_{T}=\lambda\cdot\dvol_{N}

for a function λ>0\lambda>0. The function λ\lambda is given by

(3.98) λ=|dvolT|2​det(g)det(gi​jP)=det(g)​det(gi​j)​det(gi​jP).\lambda=\frac{|\dvol_{T}|^{2}\sqrt{\det(g)}}{\sqrt{\det(g_{ij}^{P})}}=\sqrt{\det(g)}\det(g^{ij})\sqrt{\det(g_{ij}^{P})}.

Now we compute the expansion of λ\lambda. Applying the expansions of gi​jg_{ij}, gα​βg_{\alpha\beta} and gi​αg_{i\alpha} in Lemma 3.4, one can directly obtain the following,

(3.99) det(g)\displaystyle\det(g) =det(gα​β)⋅det(gi​j)+O~​(r2),\displaystyle=\det(g_{\alpha\beta})\cdot\det(g_{ij})+\widetilde{O}(r^{2}),
(3.100) det(gα​β)\displaystyle\det(g_{\alpha\beta}) =1+O~​(r2),\displaystyle=1+\widetilde{O}(r^{2}),
(3.101) det(gi​j)\displaystyle\det(g_{ij}) =det(gi​jP)⋅(1+2​Hα​yα)+O~​(r2).\displaystyle=\det(g_{ij}^{P})\cdot(1+2H^{\alpha}y_{\alpha})+\widetilde{O}(r^{2}).

Plugging (3.100) and (3.101) into (3.99),

(3.102) det(g)=det(gi​jP)⋅(1+2​Hα​yα)+O~​(r2).\det(g)=\det(g_{ij}^{P})\cdot(1+2H^{\alpha}y_{\alpha})+\widetilde{O}(r^{2}).

Let (hi​j)(h_{ij}) be the inverse of the matrix (gi​j)(g_{ij}). Since gi​j=hi​j+O~​(r2)g^{ij}=h_{ij}+\widetilde{O}(r^{2}) by (3.76), so it follows that

(3.103) det(gi​j)=det(hi​j)+O~​(r2)=(det(gi​j))−1+O~​(r2).\det(g^{ij})=\det(h_{ij})+\widetilde{O}(r^{2})=(\det(g_{ij}))^{-1}+\widetilde{O}(r^{2}).

Plugging (3.101) into the above,

(3.104) det(gi​j)=det(gi​jP)−1⋅(1−2​Hα​yα)+O~​(r2).\det(g^{ij})=\det(g_{ij}^{P})^{-1}\cdot(1-2H^{\alpha}y_{\alpha})+\widetilde{O}(r^{2}).

Therefore, substituting (3.102) and (3.104) into (3.98),

(3.105) λ=1−Hα​yα+O~​(r2),\lambda=1-H^{\alpha}y_{\alpha}+\widetilde{O}(r^{2}),

which completes the proof of Item (1).

Now we prove Item (2). For each α∈{1,2,3}\alpha\in\{1,2,3\}, we can write

(3.106) ∗(ηα∧dvolT)=λ1⋅ηα^+λ2⋅ηα+1^+λ3⋅ηα+2^.*(\eta_{\alpha}\wedge\dvol_{T})=\lambda_{1}\cdot\eta_{\widehat{\alpha}}+\lambda_{2}\cdot\eta_{\widehat{\alpha+1}}+\lambda_{3}\cdot\eta_{\widehat{\alpha+2}}.

Taking point-wise wedge product with ηα∧dvolT\eta_{\alpha}\wedge\dvol_{T}, and noticing ηα+1^∧ηα\eta_{\widehat{\alpha+1}}\wedge\eta_{\alpha}, ηα+2^∧ηα\eta_{\widehat{\alpha+2}}\wedge\eta_{\alpha} are both zero, then we obtain

(3.107) λ1⋅ηα^∧ηα∧dvolT=(ηα∧dvolT)∧∗(ηα∧dvolT).\lambda_{1}\cdot\eta_{\widehat{\alpha}}\wedge\eta_{\alpha}\wedge\dvol_{T}=(\eta_{\alpha}\wedge\dvol_{T})\wedge*(\eta_{\alpha}\wedge\dvol_{T}).
(3.108) λ1⋅dvolN∧dvolT=|ηα∧dvolT|2​dvolg\displaystyle\lambda_{1}\cdot\dvol_{N}\wedge\dvol_{T}=|\eta_{\alpha}\wedge\dvol_{T}|^{2}\dvol_{g}

Therefore, by (3.51) and (3.87) we get

(3.109) λ1=|ηα∧dvolT|2​det(g)det(gi​jP)=1−Hα​yα+O~​(r2),\lambda_{1}=\frac{|\eta_{\alpha}\wedge\dvol_{T}|^{2}\sqrt{\det(g)}}{\sqrt{\det(g_{ij}^{P})}}=1-H^{\alpha}y_{\alpha}+\widetilde{O}(r^{2}),

Similarly taking wedge product with ηα+1∧dvolT\eta_{\alpha+1}\wedge\dvol_{T} and ηα+2∧dvolT\eta_{\alpha+2}\wedge\dvol_{T} respectively, and again by (3.87) we obtain that

(3.110) λ2=O~​(r2),λ3=O~​(r2).\lambda_{2}=\widetilde{O}(r^{2}),\lambda_{3}=\widetilde{O}(r^{2}).

These imply that

(3.111) ∗(ηα∧dvolT)=λ1⋅ηα^+λ2⋅ηα+1^+λ3⋅ηα+2^,*(\eta_{\alpha}\wedge\dvol_{T})=\lambda_{1}\cdot\eta_{\widehat{\alpha}}+\lambda_{2}\cdot\eta_{\widehat{\alpha+1}}+\lambda_{3}\cdot\eta_{\widehat{\alpha+2}},

where λ1=1+Hα​yα+O~​(r2)\lambda_{1}=1+H^{\alpha}y_{\alpha}+\widetilde{O}(r^{2}), λ2=O~​(r2)\lambda_{2}=\widetilde{O}(r^{2}) and λ3=O~​(r2)\lambda_{3}=\widetilde{O}(r^{2}). ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.