王琪,周志進(jìn)
(貴陽學(xué)院 數(shù)學(xué)與信息科學(xué)學(xué)院,貴州 貴陽 550005)
并令其裝備雙曲黎曼度量
則得到(n+p)維雙曲空間Hn+p,其截面曲率K≡-1.
關(guān)于雙曲空間Hn+1中等距浸入超曲面M,文獻(xiàn) [1] 曾給出一個經(jīng)典的積分公式,即Minkowski公式,也即定理1.本文研究(n+p)維雙曲空間Hn+p中n維等距浸入緊致無邊子流形Mn.利用關(guān)于Codazzi張量場的一個已知定理,本文得到Mn的一個積分公式,即定理2.定理2推廣了定理1的結(jié)果.
定理1[1]設(shè)h:M→Hn+1是定向的等距浸入緊致無邊超曲面,記N為M的單位法向量場,而σk為M的k-平均曲率.則有積分公式
定理2設(shè)h:Mn→Hn+p是n維定向的等距浸入緊致無邊子流形,記η為Mn的單位平均曲率法向量場,而σk為Mn沿方向η的k-平均曲率.則有積分公式
令(Mn,g)為一個n-維光滑黎曼流形,而S是Mn上一個(k,k)型張量場.如果S對其協(xié)變指標(biāo)反對稱,同時對其反變指標(biāo)也反對稱,則記S∈Γ(EndΛk(TM)).設(shè)S∈Γ(EndΛk(TM)),T∈Γ(EndΛj(TM)),定義S*T∈Γ(EndΛk+j(TM))為S與T的協(xié)變分量、S與T的反變分量分別作外乘積,而得到的(k+j,k+j)型張量場.由文獻(xiàn) [1-3] 知乘法*滿足結(jié)合律和交換律.
定義1[1-3]( Codazzi張量場) 設(shè)S∈Γ(EndΛk(TMn)),并記?為黎曼流形Mn的Levi-Civita聯(lián)絡(luò).如果對任意的X1,X2,…,Xk+1∈Γ(TMn),0=∑(-1)j+1(?XjS)(X1∧…∧Xj-1∧Xj+1∧…∧Xk+1)都成立,則稱S為Mn上一個(k,k)型Codazzi張量場.
其中,I為End(Γ(THn+p))的恒同截面;f=-1/xn+p是廣義位置向量場?/?xn+p相關(guān)聯(lián)的光滑函數(shù).
確定了Mn上一個(1,1)型Codazzi張量場A.其中II表示子流形Mn的第二基本形式.
定義子流形Mn的平均曲率法向量場為
同時定義Mn的單位平均曲率法向量場為
Mn的平均曲率法向量場σ及其單位化η的定義與幺正局部標(biāo)架場(eA)的選取無關(guān).
證明令Tη為Mn沿其單位平均曲率法向量場η方向的形狀算子,即
記λ1,λ2,…,λn為Mn沿η方向的主曲率,即λ1,λ2,…,λn為Mn沿η方向的第二基本形式的特征值.用δr表示λ1,λ2,…,λn的基本對稱多項式,即
tarce(S)=k!δk.
(1)
令ρ表示Mn沿其單位平均曲率法向量場的支撐函數(shù),即
其中Y=?/?xn+p是Hn+p的一個廣義位置向量場 (見引理1).
由Tη以及 (1,1)張量場A的定義 (見定義3),計算得
A=ρTη.
用類似于 (1) 式的計算,得到
trace(S*A)=ρ(k+1)!δk+1.
(2)
定理2得證.