Processing math: 0%

极坐标下切向共变微分的一个分部积分公式

假设AG-主丛P的一个联络. 特别地, 我们假设G是紧李群, 这样他可视为某个正交群的子群, 进而局部地, 将A视为\mathfrak{g}-值的1-形式时, A是反对称矩阵. 现在假设u,vP的局部截面, 则在极坐标系下, A=A_rdr+A_\theta d\theta 以及 \nabla_A u=(d+A)u=u_{|r}dr+u_{|\theta}d\theta,\quad u_{|r}=\partial_r u+A_ru,\quad u_{|\theta}=\partial_\theta u+A_\theta u. 现在, 我们关于u_{|\theta}v_{|\theta}有如下的分部积分公式. \int_{S^1}u_{|\theta}\cdot v_{|\theta}=-\int_{S^1}u_{|\theta\theta}\cdot v.