PM Pure Mathematics 2160-7583 Scientific Research Publishing 10.12677/PM.2021.1112228 PM-47216 PM20211200000_90301969.pdf 数学与物理 中心仿射超曲面的若干变分公式 Some Variational Formulae of the Centro-Affine Hypersurfaces 1 2 null 重庆理工大学理学院,重庆 09 12 2021 11 12 2048 2056 © Copyright 2014 by authors and Scientific Research Publishing Inc. 2014 This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/

对于仿射空间中的非退化超曲面,运用中心仿射几何量在自然参数下的表示,给出了中心仿射体积的第一和第二变分公式简单的直接证明。进一步研究了Techebychev形式长度平方积分以及3形式长度平方积分的变分公式。
The centro-affine differential geometric invariants of a piece of non-degenerate hypersurface in an affine space are represented with respect to the natural parametrization of the given hypersurface. Then a simple and direct proof of the first and the second variation formulae of the centro-affine volume is presented. Furthermore, the variational formulae of the integrals of the square of the length of the Tchebychev field and the cubic form are investigated.

中心仿射超曲面,体积变分公式,平均曲率, Centro-Affine Hypersurfaces Variational Formulae of Volume Mean Curvatures
摘要

对于仿射空间中的非退化超曲面,运用中心仿射几何量在自然参数下的表示,给出了中心仿射体积的第一和第二变分公式简单的直接证明。进一步研究了Techebychev形式长度平方积分以及3形式长度平方积分的变分公式。

关键词

中心仿射超曲面,体积变分公式,平均曲率

Some Variational Formulae of the Centro-Affine Hypersurfaces<sup> </sup>

Yan Wang

School of Science, Chongqing University of Technology, Chongqing

Received: Nov. 7th, 2021; accepted: Dec. 8th, 2021; published: Dec. 15th, 2021

ABSTRACT

The centro-affine differential geometric invariants of a piece of non-degenerate hypersurface in an affine space are represented with respect to the natural parametrization of the given hypersurface. Then a simple and direct proof of the first and the second variation formulae of the centro-affine volume is presented. Furthermore, the variational formulae of the integrals of the square of the length of the Tchebychev field and the cubic form are investigated.

Keywords:Centro-Affine Hypersurfaces, Variational Formulae of Volume, Mean Curvatures

Copyright © 2021 by author(s) and beplay安卓登录

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

仿射空间中非退化超曲面的中心仿射几何是超曲面相对微分几何的一个重要分支,关于其一般理论介绍可参考文献 [ 1 ] [ 2 ] [ 3 ] 。近来这种超曲面几何在Finsler几何中有重要的应用,可参考文献 [ 4 ] [ 5 ] 。设 f : D → R n + 1 是嵌入映射,其中D是 R n 中的连通开域。那么 M = f ( D ) 称为 R n + 1 中嵌入超曲面。本文假设M非退化,且其上有中心法化诱导的 G L ( n + 1 ; R ) 不变黎曼度量 g 。王长平在 [ 6 ] 中得到了M的仿射体积 V = ∫ D d V M = ∫ D det ( g i j ) d x 1 ∧ ⋯ ∧ d x n 的变分公式。

定理1 [ 6 ] . 设 f : D × ( − ε , ε ) → R n + 1 是超曲面M的正则变分,其变分向量场在自然标架场下,可表示为 f ′ = ∂ f ∂ t = φ f + ψ ,其中 φ 是D上的光滑函数, ψ 是切向分量,并且二者均D在的边界为零。那么M的体积第一变分公式为

V ′ ( t ) = − n 2 ∫ D φ H d V M t

对于满足 H = 0 超曲面,有下面的体积第二变分公式

V ( 0 ) ′ ′ = − 1 4 ∫ D [ Δ φ [ Δ φ + 2 ( n + 1 ) φ ] − ( n T ( ∇ φ ) ) 2 + 2 n C ( ∇ φ , ∇ φ ) ( T ) ] d V M

其中 H = d * T = T , k k 称为 M 超曲面的中心仿射平均曲率, T = 1 n t r C 为Techebychev形式, C 为3形式。

满足 H = 0 超曲面称为中心仿射极小曲面,这类曲面的相关研究可参考 [ 6 ] [ 7 ] [ 8 ] [ 9 ] ,与之密切相关的Chebychev超曲面的研究可参考 [ 10 ] [ 11 ] [ 12 ] 。

定理1最先由王长平在文献 [ 6 ] 中运用活动标架法得到,但证明比较复杂。本文采用超曲面的参数表示,给出上述变分公式的简单初等证明。运用这种方法,我们进一步计算超曲面的另外两个仿射不变量的变分公式。

定理2. 对于变分向量场为 f ′ = φ f 的正则变分,泛函 T = ∫ D ‖ T ‖ 2 d V M 的一阶变分为

T ′ ( t ) = ∫ D [ div ( C ( T , T ) ) − n 2 div ( ‖ T ‖ g 2 T ) − 1 n Δ H − 2 ( n + 1 ) n H ] φ d V M t

定理3. 对于变分向量场为 f ′ = φ f 的正则变分,泛函 ℭ = ∫ D ‖ C ‖ 2 d V M 的一阶变分为

ℭ ′ ( t ) = ∫ D [ n 2 div ( C ( T , T ) ) − n 2 div ( ‖ C ‖ g 2 T ) + div ( C ( Ric ) ) − n Δ H − 2 n ( n + 1 ) H ] φ d V M t

容易验证满足 ∇ ˜ T = 0 的超曲面均是泛函 T 和 ℭ 的临界点,包括中心在原点的椭球面以及双曲型仿射球。上述泛函的Euler-Lagrange方程以及临界超曲面值得进一步研究。

2. 参数化超曲面的中心仿射微分几何及若干基本几何量的变分公式

设 M = f ( D ) 为 R n + 1 中嵌入超曲面,其中 f : D → R n + 1 是非退化嵌入映射, D ⊆ R n 是连通开域。设 f ( p ) 为超曲面 M : = f ( D ) 上的点,其中 p ∈ D ,那么切空间 T f ( p ) M 的基底为 { ∂ f ∂ x 1 | p , ⋯ , ∂ f ∂ x n | p } 张成。由中心法化的条件 [ 1 ] [ 2 ] [ 3 ] 可知向量组

{ ∂ f ∂ x 1 | p , ⋯ , ∂ f ∂ x n | p , − f ( p ) } (1)

在M上处处线性无关,由(1)可得超曲面的基本方程

∂ 2 f ∂ x i ∂ x j = Γ i j l ∂ f ∂ x l − g i j f (2)

令 ∇ ∂ f ∂ x i : = Γ i j l d x j ⊗ ∂ f ∂ x l ,那么容易验证 ∇ 为M上的无挠仿射联络;令 g : = g i j d x i ⊗ d x j ,易知 g 为M上的半黎曼度量。在本文中,我们只考虑 g 是正定的情形,此时 g 为黎曼度量,称为M的中心仿射度量。

设 ∇ ˜ 为度量 g 的Levi-Civita联络, Γ ˜ i j l 为 ∇ ˜ 在自然标架(1)下的系数。令 C = ∇ − ∇ ˜ ,则张量 C 在自然标架(1)下表示为

C i j k = Γ i j k − Γ ˜ i j k (3)

本文中关于张量指标的上升和下降均由中心仿射度量 g 诱导,例如, C i j k : = g i l C j k l 等。张量关于联络 ∇ ˜ 的协变导数用“,”表示,关于联络 ∇ 的协变导数用“;”表示,例如, ψ ; k l : = ∂ ψ l ∂ x k + ψ s Γ s k l , C i j k , l : = ∂ C i j k ∂ x l − C s j k Γ ˜ i l s − C i s k Γ ˜ j l s − C i j s Γ ˜ k l s ,等。

设 f : D × ( − ε , ε ) → R n + 1 是超曲面 f : D → R n + 1 的适当变分,其变分向量场在自然标架场(1)下,可表示为

f ′ = φ f + ψ i ∂ f ∂ x i = : φ f + ψ (4)

其中 φ 和 ψ i 是D上的光滑函数, i = 1 , ⋯ , n ,并且在D的边界为零。

引理1. 中心仿射度量的变分公式以及仿射联络的变分公式如下

∂ g i j ∂ t = − φ , i j + φ , l C i j l + ψ j , i + ψ i , j (5)

∂ Γ i j l ∂ t = φ , i δ j l + φ , j δ i l + ψ l ; i j + ψ k ( g i j δ k l − g i k δ j l ) (6)

证明:对(2)式关于t求导数,整理可得

∂ ∂ t ∂ 2 f ∂ x i ∂ x j = ∂ ∂ t ( Γ i j l ∂ f ∂ x l − g i j f ) = ∂ Γ i j l ∂ t ∂ f ∂ x l + Γ i j l ∂ 2 f ∂ t ∂ x l − ∂ g i j ∂ t f − ∂ f ∂ t = ∂ Γ i j l ∂ t ∂ f ∂ x l + Γ i j l ∂ ∂ x l ( φ f + ψ k ∂ f ∂ x k ) − ∂ g i j ∂ t f − g i j ( φ f + ψ k ∂ f ∂ x k ) = ∂ Γ i j l ∂ t ∂ f ∂ x l + Γ i j l φ , l f + φ   Γ i j l ∂ f ∂ x l + Γ i j l ∂ ψ k ∂ x l ∂ f ∂ x k + ψ k Γ i j l ∂ 2 f ∂ x l ∂ x k − ∂ g i j ∂ t f − g i j ( φ f + ψ k ∂ f ∂ x k ) = ( ∂ Γ i j l ∂ t + φ Γ i j l + ∂ ψ l ∂ x k Γ i j k + ψ k Γ i j s Γ k s l − g i j ψ l ) ∂ f ∂ x l + ( − ∂ g i j ∂ t − φ g i j − ψ k Γ i j l g k l + φ , l Γ i j l ) f (7)

另一方面,对(4)关于 x i , x j 求导,整理可得

∂ 2 ∂ x i ∂ x j ∂ f ∂ t = ∂ 2 ∂ x i ∂ x j ( φ f + ψ k ∂ f ∂ x k ) = ∂ ∂ x j ( φ , i f + φ ∂ f ∂ x i + ∂ ψ k ∂ x i ∂ f ∂ x k + ψ k ∂ 2 f ∂ x k ∂ x i ) = ∂ 2 φ ∂ x i ∂ x j f + φ , i ∂ f ∂ x j + φ , j ∂ f ∂ x i + φ ∂ 2 f ∂ x i ∂ x j + ∂ 2 ψ l ∂ x i ∂ x j ∂ f ∂ x l + ∂ ψ k ∂ x i ∂ 2 f ∂ x k ∂ x j     + ∂ ψ k ∂ x j ∂ 2 f ∂ x k ∂ x i + ψ k ∂ 3 f ∂ x k ∂ x i ∂ x j = ∂ 2 φ ∂ x i ∂ x j f + φ , i ∂ f ∂ x j + φ , j ∂ f ∂ x i + ( φ   Γ i j l ∂ f ∂ x l − φ g i j f ) + ψ k ∂ 3 f ∂ x k ∂ x i ∂ x j + ∂ 2 ψ l ∂ x i ∂ x j ∂ f ∂ x l     + ( ∂ ψ k ∂ x i Γ k j l ∂ f ∂ x l − ∂ ψ k ∂ x i g k j f ) + ( ∂ ψ k ∂ x j Γ k i l ∂ f ∂ x l − ∂ ψ k ∂ x j g k i f ) (8)

对于(2)关于 x k 求导数得到

∂ 3 f ∂ x k ∂ x i ∂ x j = ∂ ∂ x k ( Γ i j l ∂ f ∂ x l − g i j f ) = ∂ Γ i j l ∂ x k ∂ f ∂ x l + Γ i j l ∂ 2 f ∂ x l ∂ x k − ∂ g i j ∂ x k f − g i j ∂ f ∂ x k = ∂ Γ i j l ∂ x k ∂ f ∂ x l + Γ i j s Γ s k l ∂ f ∂ x l − Γ i j l g l k f − ∂ g i j ∂ x k f − g i j ∂ f ∂ x k = ( ∂ Γ i j l ∂ x k + Γ i j s Γ s k l − g i j δ k l ) ∂ f ∂ x l − ( ∂ g i j ∂ x k + Γ i j l g l k ) f (9)

根据(9)式,以及 ∂ 3 f ∂ x k ∂ x i ∂ x j = ∂ 3 f ∂ x j ∂ x i ∂ x k ,可得如下的可积性条件

∂ Γ i j l ∂ x k + Γ i j s Γ s k l − g i j δ k l = ∂ Γ i k l ∂ x j + Γ i k s Γ s j l − g i k δ j l (10)

将(9)式带入(8)式,并利用(10)式,得到

∂ 2 ∂ x i ∂ x j ∂ f ∂ t = ( ∂ 2 φ ∂ x i ∂ x j − ∂ ψ k ∂ x i g k j − ∂ ψ k ∂ x j g k i − ψ k ( ∂ g i j ∂ x k + Γ i j l g l k ) − φ g i j ) f     + [ φ , i δ j l + φ , j δ i l + φ   Γ i j l + ∂ 2 ψ l ∂ x i ∂ x j + ∂ ψ k ∂ x i Γ k j l + ∂ ψ k ∂ x j Γ k i l     + ψ k ( ∂ Γ i k l ∂ x j + Γ i k s Γ s j l − g i k δ j l ) ] ∂ f ∂ x l (11)

比较(7)和(11)两式,可得

− ∂ g i j ∂ t − ψ k Γ i j l g k l + φ , l Γ i j l = ∂ 2 φ ∂ x i ∂ x j − ∂ ψ k ∂ x i g k j − ∂ ψ k ∂ x j g k i − ψ k ( ∂ g i j ∂ x k + Γ i j l g l k ) (12)

以及

∂ Γ i j l ∂ t + ∂ ψ l ∂ x k Γ i j k + ψ k Γ i j s Γ k s l − g i j ψ l = φ , i δ j l + φ , j δ i l + ∂ 2 ψ l ∂ x i ∂ x j + ∂ ψ k ∂ x i Γ k j l + ∂ ψ k ∂ x j Γ k i l + ψ k ( ∂ Γ i k l ∂ x j + Γ i k s Γ s j l − g i k δ j l ) (13)

进一步简化(12)式如下

− ∂ g i j ∂ t = ∂ 2 φ ∂ x i ∂ x j − φ , l Γ i j l − ∂ ψ k ∂ x i − ∂ ψ k ∂ x j g k i − ψ k ( ∂ g i j ∂ x k + Γ i j l g l k ) + ψ k Γ i j l g k l = ∂ 2 φ ∂ x i ∂ x j − φ , l Γ ˜ i j l − φ , l C i j l − ∂ ψ j ∂ x i − ∂ ψ i ∂ x j + ψ k ∂ g k j ∂ x i + ψ k ∂ g k i ∂ x j − ψ s g s t ∂ g i j ∂ x t = φ , i j − φ , l C i j l − ∂ ψ j ∂ x i − ∂ ψ i ∂ x j + ψ s g s t ∂ g t j ∂ x i + ψ s g s t ∂ g t i ∂ x j − ψ s g s t ∂ g i j ∂ x t = φ , i j − φ , l C i j l − ∂ ψ j ∂ x i − ∂ ψ i ∂ x j + 2 ψ s Γ ˜ i j s = φ , i j − φ , l C i j l − ψ j , i − ψ i , j (14)

直接计算 ψ 关于仿射联络 ∇ 的二阶协变导数,可知

ψ l ; i j = ∂ ∂ x j ( ∂ ψ l ∂ x i + ψ k Γ k i l ) + ( ∂ ψ s ∂ x i + ψ k Γ k i s ) Γ s j l − ( ∂ ψ l ∂ x s + ψ k Γ k s l ) Γ i j s = ∂ 2 ψ l ∂ x i ∂ x j + ∂ ψ k ∂ x j Γ k i l + ψ k ∂ Γ i k l ∂ x j + ∂ ψ s ∂ x i Γ s j l + ψ k Γ i k s Γ s j l − ∂ ψ l ∂ x s Γ i j s − ψ k Γ k s l Γ i j s (15)

将(15)式代入(13)式,可得

∂ Γ i j l ∂ t = φ , i δ j l + φ , j δ i l + ψ l ; i j + ψ k ( g i j δ k l − g i k δ j l ) (16)

证毕。

引理2. 假设变分向量场的切向分量 ψ 为零,那么中心仿射度量g的Levi-Civita联络 ∇ ˜ 以及Techebychev形式T变分公式如下

∂ Γ ˜ j k i ∂ t = − 1 2 g i l [ ( φ , k l − φ , s C k l s ) , j + ( φ , j l − φ , s C j l s ) , k − ( φ , j k − φ , s C j k s ) , l ] (17)

n ∂ T j ∂ t = ( n + 1 ) φ , j + 1 2 ( Δ φ ) , j − 1 2 ( n φ , s T s ) , j (18)

证明:下面Levi-Civita联络的变分公式 [ 13 ] 是容易证明的

∂ Γ ˜ j k i ∂ t = 1 2 g i l [ ( ∂ g k l ∂ t ) , j + ( ∂ g j l ∂ t ) , k − ( ∂ g j k ∂ t ) , l ] (19)

将(5)代入(19),立即得到(17)。取 ∂ ∇ ˜ ∂ t 的迹得到

∂ Γ ˜ s k k ∂ t = 1 2 g k l ( ∂ g k l ∂ t ) , s = 1 2 g k l ( − φ k l + φ , q C k l q ) , s = 1 2 ( − Δ φ + n φ , q T q ) , s (20)

根据条件 ψ = 0 的假设,以及(3)和(20)式,可知

n ∂ T j ∂ t = ∂ C j i i ∂ t = ∂ Γ j i i ∂ t − ∂ Γ ˜ j i i ∂ t = ( n + 1 ) φ , j + 1 2 ( Δ φ ) , j − 1 2 ( n φ , s T s ) , j (21)

证毕。

3. 体积的第一变分公式与第二变分公式

在本节,我们计算超曲面M的中心仿射体积的变分公式,从而给出定理1的证明。

定理1的证明:

根据M的中心仿射体积定义 V = ∫ D d V M = ∫ D det ( g i j ) d x 1 ∧ ⋯ ∧ d x n ,可知

V ′ ( t ) = ∫ D ∂ ∂ t d V M t = 1 2 ∫ D 1 det ( g i j ) ∂ det ( g i j ) ∂ t d x 1 ∧ ⋯ ∧ d x n = 1 2 ∫ D g i j ∂ g i j ∂ t d V M t (22)

将(5)式代入(22)式,并利用散度定理,可得

V ′ ( t ) = − 1 2 ∫ D g i j ( φ , i j − φ , l C i j l − ψ j , i − ψ i , j ) d V M t = − 1 2 ∫ D ( Δ φ − 2 div   ψ − n φ , l T l ) d V M t = − n 2 ∫ D φ T , k k d V M t (23)

根据平均曲率 H = d * T = T , k k 的定义,可知(1)式成立。

接下来计算中心仿射极小超曲面体积的第二变分公式。由于变分向量场中的切向分量 ψ 对第一变分公式没有贡献,为简单起见,我们假设 ψ = 0 ,根据第一变分公式(23)以及 H = 0 的假设,我们只需计算 ∂ H ∂ t = ∂ T , k k ∂ t ,其中 T , k l = ∂ T l ∂ x k + T s Γ ˜ s k l 。

根据(5)和(18)式,可知

∂ T k ∂ t = ∂ g k j ∂ t T j + g k j ∂ T j ∂ t = − g k h ∂ g h z ∂ t g z j T j + g k j ∂ T j ∂ t = g k h ( φ , h z T z − φ , q C h z q T z ) + 1 2 n g k j [ Δ φ − n φ , q T q + 2 ( n + 1 ) φ ] , j (24)

由(24)式,我们可以得到

( ∂ T k ∂ t ) , l = g k h ( φ , h z T z − φ , q C h z q T z ) , l + 1 2 n g k j [ Δ φ − n φ , q T q + 2 ( n + 1 ) φ ] , j l (25)

根据熟知的公式 ∂ ∂ t ( ∇ ˜ T ) = ∇ ˜ ∂ T ∂ t + ∂ ∇ ˜ ∂ t T ,以及对(25)式取迹,可知

∂ T , k k ∂ t = ( ∂ T k ∂ t ) , k + T k ∂ Γ ˜ k s s ∂ t = g k h ( φ , h z T z − φ , q C h z q T z ) , k + 1 2 n Δ [ Δ φ − n φ , q T q + 2 ( n + 1 ) φ ]       + T k 2 ( − Δ φ + n φ , q T q ) , k (26)

根据(23)和(26)式,运用散度定理,我们得到中心仿射极小超曲面的体积第二变分公式

V ( 0 ) ′ ′ = − n 2 ∫ D ∂ T , k k ∂ t φ d V M = − n 2 ∫ D [ ( ∂ T k ∂ t ) , k + T k ∂ Γ ˜ k s s ∂ t ] φ d V M = − n 2 ∫ D [ g k h ( φ , h z T z − φ , q C h z q T z ) , k + 1 2 n Δ [ Δ φ − n φ , q T q + 2 ( n + 1 ) φ ] + 1 2 T k ( − Δ φ + n φ , q T q ) , k ] φ d V M = − n 2 ∫ D [ − g k h ( φ , h z T z − φ , q C h z q T z ) φ , k + 1 2 n Δ φ [ Δ φ − n φ , q T q + 2 ( n + 1 ) φ ] − 1 2 φ , k T k ( − Δ φ + n φ , q T q ) ] d V M = − 1 4 ∫ D [ − 2 n g k h φ , h z T z φ , k + 2 n g k h φ , q C h z q T z φ , k + Δ φ [ Δ φ + 2 ( n + 1 ) φ ] − ( n φ , q T q ) 2 ] d V M = − 1 4 ∫ D [ − n div ( ‖ ∇ φ ‖ g 2 T ) + Δ φ [ Δ φ + 2 ( n + 1 ) φ ] − ( n T ( ∇ φ ) ) 2 + 2 n C ( ∇ φ , ∇ φ ) ( T ) ] d V M = − 1 4 ∫ D [ Δ φ [ Δ φ + 2 ( n + 1 ) φ ] − ( n T ( ∇ φ ) ) 2 + 2 n C ( ∇ φ , ∇ φ ) ( T ) ] d V M

证毕。

4. Techebychev形式长度平方积分以及3形式长度平方积分的变分公式

本节我们首先计算Techebychev形式长度平方 ‖ T ‖ g 2 的变分公式,然后计算其积分的变分公式,从而给出定理2的证明。然后计算全曲率的变分公式,并利用仿射Gauss公式,给出3形式的长度平方积分的变分公式。在本节,我们假设变分向量场的切向分量 ψ 为零。

引理3. Techebychev形式长度平方 ‖ T ‖ g 2 的变分公式如下

∂ ∂ t ‖ T ‖ g 2 = − T i T j ( − φ , i j + φ , l C i j l ) + 1 n T j [ 2 ( n + 1 ) φ + Δ φ − ( n φ , s T s ) ] , j (27)

证明:根据定义 ‖ T ‖ g 2 = g i j T i T j ,可得

∂ ∂ t ‖ T ‖ g 2 = ∂ g i j ∂ t T i T j + 2 g i j T i ∂ T j ∂ t (28)

将(5)式和(18)式,代入(28)式,便可得到(27)式。

证毕。

定理2的证明:根据(5)、(22)和(27)式,可知

T ′ ( t ) = ∫ D ∂ ‖ T ‖ g 2 ∂ t d V M t + ∫ D ‖ T ‖ g 2 ∂ ∂ t d V M t = ∫ D T i T j ( φ , i j − φ , l C i j l ) + 1 n T j [ 2 ( n + 1 ) φ + Δ φ − ( n φ , s T s ) ] , j d V M t − 1 2 ∫ D ‖ T ‖ g 2 ( Δ φ − n φ , l T l ) d V M t = ∫ D [ ( T i T j ) , i j + ( T i T j C i j l ) , l − 2 ( n + 1 ) n H − 1 n Δ H − ( H T s ) , s ] φ d V M t − 1 2 ∫ D [ Δ ‖ T ‖ g 2 + n div ( ‖ T ‖ g 2 T ) ] φ d V M t

= ∫ D [ ( ( H T j ) , j + T , j i T , i j + T i T , i j j ) + ( T i T j C i j l ) , l − 2 ( n + 1 ) n H − 1 n Δ H − ( H T s ) , s ] φ d V M t     − 1 2 ∫ D [ Δ ‖ T ‖ g 2 + n div ( ‖ T ‖ g 2 T ) ] φ d V M t = ∫ D [ ‖ ∇ ˜ T ‖ g 2 + T i T i , j j + ( T i T j C i j l ) , l − 2 ( n + 1 ) n H − 1 n Δ H − 1 2 Δ ‖ T ‖ g 2 − n 2 div ( ‖ T ‖ g 2 T ) ] φ d V M t = ∫ D [ ‖ ∇ ˜ T ‖ g 2 + T i Δ T i + div ( C ( T , T ) ) − 2 ( n + 1 ) n H − 1 n Δ H − 1 2 Δ ‖ T ‖ g 2 − n 2 div ( ‖ T ‖ g 2 T ) ] φ d V M t = ∫ D [ div ( C ( T , T ) ) − n 2 div ( ‖ T ‖ g 2 T ) − 1 n Δ H − 2 ( n + 1 ) n H ] φ d V M t

证毕。

引理4. M 的全数量曲率积分泛函 S = ∫ D scal   d V M 的变分公式如下

S ′ ( t ) = ∫ D [ div ( C ( Ric ) ) − n 2 div ( scal ⋅ T ) ] φ d V M t (29)

其中Ric和scal分别表示 M 的Ricci曲率张量和数量曲率。

证明:根据数量曲率的一般变分公式 [ 13 ] ,以及定理1的证明,可知

S ′ ( t ) = d d t ∫ D scal   d V M t = ∫ D ∂ scal ∂ t d V M t + ∫ D scal ∂ ∂ t d V M t = − ∫ D Ric i j ∂ g i j ∂ t d V M t + 1 2 ∫ D scal ⋅ g i j ∂ g i j ∂ t d V M t (30)

将(5)式代入(30)式,经过分部积分可得

S ′ ( t ) = ∫ D ( 1 2 scal ⋅ g i j − Ric i j ) ( − φ i j + φ s C i j s ) d V M t = ∫ D [ − 1 2 Δ scal − n 2 ( scal ⋅ T s ) , s + Ric , j i i j + ( Ric i j C i j s ) , s ] φ d V M t (31)

根据公式 [ 14 ] d   scal = 2 div ( Ric ) ,可知 Ric , j i i j = 1 2 Δ scal ,代入(31)式,可得(29)式。

证毕。

定理3的证明:

根据仿射Gauss方程 [ 1 ] [ 2 ] [ 3 ] 可知

scal = n ( n − 1 ) + ‖ C ‖ g 2 − n 2 ‖ T ‖ g 2 (31)

因此

ℭ = S − n ( n − 1 ) V + n 2 T (32)

对(32)求导,并利用定理1,引理4以及定理2的结论以及(31)式,可知

ℭ ′ ( t ) = S ′ ( t ) − n ( n − 1 ) V ′ ( t ) + n 2 T ′ ( t ) = ∫ D [ div ( C ( Ric ) ) − n 2 div ( scal ⋅ T ) ] φ d V M t + n 2 ( n − 1 ) 2 ∫ D H φ d V M t     + n 2 ∫ D [ div ( C ( T , T ) ) − n 2 div ( ‖ T ‖ g 2 T ) − 1 n Δ H − 2 ( n + 1 ) n H ] φ d V M t = n 2 ∫ D [ div ( C ( T , T ) ) − 1 2 n div ( ‖ C ‖ g 2 T ) + 1 n 2 div ( C ( Ric ) ) − 1 n Δ H − 2 ( n + 1 ) n H ] φ d V M t

证毕。

致谢

非常感谢我的导师——李明副教授在本论文研究方面的指导和帮助。

基金项目

国家自然科学基金面上项目(编号:11871126)。

文章引用

王 艳. 中心仿射超曲面的若干变分公式Some Variational Formulae of the Centro-Affine Hypersurfaces[J]. 理论数学, 2021, 11(12): 2048-2056. https://doi.org/10.12677/PM.2021.1112228

参考文献 References Li, A.M., Simon, U., Zhao, G.S., et al. (2015) Global Affine Differential Geometry of Hypersurfaces. Walter de Gruyter, Berlin.
https://doi.org/10.1515/9783110268898
Nomizu, K. and Sasaki, T. (1994) Affine Differential Geometry. Cambridge University Press, Cambridge. Simon, U., Schwenk-Schellschmidt, A. and Viesel, H. (1991) Introduction to the Affine Differential Geometry of Hypersurfaces. Science University Tokyo, Tokyo. 李明. Minkowski空间的等价性定理及在Finsler几何的应用[J]. 数学学报, 2019, 62(3): 177-190. Li, M. and Zhang, L. (2020) Properties of Berwald Scalar Curvature. Frontiers of Mathematics in China, 15, 1143-1153.
https://doi.org/10.1007/s11464-020-0872-7
Wang, C P. (1994) Centroaffine Minimal Hypersurfaces in Rn+1. Geometriae Dedicata, 51, 63-74.
https://doi.org/10.1007/BF01264101
Li, A.M., Li, H. and Simon, U. (2004) Centroaffine Bernstein Problems. Differential Geometry and Its Applications, 20, 331-356.
https://doi.org/10.1016/j.difgeo.2003.12.004
Li, H. (2005) Variational Problems and PDEs in Affine Differential Geometry. PDEs, Submanifolds and Affine Differential Geometry. Banach Center Publications, 69, 1-33.
https://doi.org/10.4064/bc69-0-1
Yang, Y. and Liu, H. (2008) Minimal Centroaffine Immersions of Codimension Two. Results in Mathematics, 52, 423-434.
https://doi.org/10.1007/s00025-008-0321-5
Li, A.M., Liu, H., Schwenk-Schellschmidt, A., et al. (1997) Cubic form Methods and Relative Tchebychev Hypersurfaces. Geometriae Dedicata, 66, 203-221.
https://doi.org/10.1023/A:1004912032314
Li. M. (2016) Rigidity Theorems for Relative Tchebychev Hypersurfaces. Results in Mathematics, 70, 283-298.
https://doi.org/10.1007/s00025-015-0487-6
Cheng, X.X., Hu, Z.J. and Yao, Z.K. (2019) A Rigidity Theorem for Centroaffine Tchebychev Hyperovaloids. Colloquium Mathematicum, 157, 133-141.
https://doi.org/10.4064/cm7382-6-2018
Besse. A.L. (1987) Einstein Manifold. Springer-Verlag, Berlin.
https://doi.org/10.1007/978-3-540-74311-8
Petersen, P. (2006) Riemannian Geometry. Springer, New York.
Baidu
map