Using non-linear connection of Finsler manifold M, the existence of local coordinates which is normalized at a point x is proved, and the Laplace operator A on 1-form of M is defined by non-linear connection and its c...Using non-linear connection of Finsler manifold M, the existence of local coordinates which is normalized at a point x is proved, and the Laplace operator A on 1-form of M is defined by non-linear connection and its curvature tensor. After proving the maximum principle theorem of Hopf-Bochner on M, the Bochner type vanishing theorem of Killing vectors and harmonic 1-form are obtained.展开更多
基金Project supported by the Natural Science Foundation of China(10271097)
文摘Using non-linear connection of Finsler manifold M, the existence of local coordinates which is normalized at a point x is proved, and the Laplace operator A on 1-form of M is defined by non-linear connection and its curvature tensor. After proving the maximum principle theorem of Hopf-Bochner on M, the Bochner type vanishing theorem of Killing vectors and harmonic 1-form are obtained.