存在性问题是微分几何研究的重要问题之一,因此确定具有某种特征的曲面或子流形是一项非常有意义的工作.在三维欧氏空间中,学者们对曲线及曲面进行了广泛研究.仿射微分几何是微分几何的一个重要分支, 它主要研究仿射空间中非退化的超曲面在幺模仿射变换下不变的性质.螺旋面是微分几何中一类重要的曲面,文献[1-2]在三维闵可夫空间中研究了椭圆型、双曲型、抛物型的螺旋面,并对具有常高斯曲率和常平均曲率的螺旋面进行分类,最后给出了抛物型螺旋面的几何意义.
本文利用Blaschke度量研究三维仿射空间中的抛物型螺旋面,对平坦的和极小的抛物型螺旋面进行了分类.更进一步对符距为零的螺旋运动下极小的和平坦的抛物型旋转曲面进行了分类.
1 预备知识在仿射变换下,Berwald-Blaschke度量是一种与坐标系的选择无关的、不变的二次形式.令Φ(u, v):Ω→R3为三维仿射空间中的一个正则曲面,则Berwald-Blaschke度量可定义为
其中:
本文假定LN-M2≠0>且曲面为非退化的.曲面上满足LN-M2>0的点称为椭圆点,满足LN-M2 < 0>的点称为双曲点.不失一般性,本文只研究椭圆点的情况[3-4].
本文选取如下绕类光轴旋转的抛物型旋转矩阵:
主要介绍仿射空间中的余法向量、法向量、高斯曲率、平均曲率[5-8]等基本概念.
定义1 已知X是由
定义2 已知X是由
其中:η·ζ=1;ζ·ηu=0;ηv·ζ=0.
定义3 已知P为正则曲面X上的一点,则P点的形状算子S:TPX→TPX,定义为SP(V)=-DVζ,其中TPX表示P点的切空间,V∈TPX.
由ηu, ηv∈TPX可知,ηu, ηv可由Φu, Φv线性表示:
其中:
则曲面X的仿射高斯曲率、仿射平均曲率可表示为
定义4 设
(1) |
当符距h=0时,螺旋运动退化为旋转运动,可得如下抛物型旋转曲面:
(2) |
下文中Ci, i=1, 2, …表示实常数.
3 主要内容 3.1 平坦和极小的抛物型螺旋面定理1 设Φ为三维仿射空间中具有式(1)的抛物型螺旋面,则其仿射高斯曲率、仿射平均曲率分别为
证明 直接计算可得
度量系数为
曲面的余法向量为
曲面的法向量为
进一步计算可得
即可得
化简可得仿射平均曲率.同理可得仿射高斯曲率的表达式,定理即得证.
定理2 设Φ为三维仿射空间中具有表达式(1)的抛物型螺旋面,则仿射高斯曲率为零时,曲面为以下三种形式之一:
③ 曲面表达式中ϕ(u)的数值解如图 1所示.
此时曲面的数值解图像如图 2所示.
证明 令K=0,则
即
(3) |
或
(4) |
或
(5) |
令m=ϕ″,则式(3)可以降阶为一阶常微分方程:u3m-u4m′-4h2=0,可得到解析解:
(6) |
将式(6)两次积分可以得到式(3)的解.其他方程同理可以解得(其中方程(5)只可解得数值解)即可得定理.
定理3 设Φ为三维仿射空间中的抛物型螺旋面,且其表达式为(1),则平均曲率为零时,曲面表达式中的ϕ(u)的数值解如图 5所示.
此时可得曲面的数值解图像如图 6所示.
利用Matlab可求出函数ϕ(u)的数值解满足的图像.
3.2 平坦和极小的抛物型旋转曲面定理4 设ψ为三维仿射空间中的抛物型旋转面,且其表达式为式(2),则仿射高斯曲率为零时,曲面为以下几种形式之一.
1)
2)
证明 直接计算可得
则当K=0时,有-ϕ″+uϕ'''=0,或5uϕ″-7u2ϕ'''2+2uϕ″ϕ'''+4u2ϕ″ϕ(4)=0.分别求解这两个微分方程,定理即得证.
定理5 设ψ为三维仿射空间中的抛物型旋转面,且其表达为式(2),则仿射平均曲率为零时,曲面表达式为
证明 由
求解该微分方程,定理即得证.
当常数Ci取特殊值时,可得相应的曲面(图 9).
本文在三维仿射空间中,研究了Blaschke度量下的抛物型螺旋面,并得到以下结论:当符距h≠0时,分别得到平坦的和极小的抛物型螺旋面所满足的方程; 当符距h=0时,分别得到平坦的和极小的抛物型旋转曲面所满足的方程.
[1] |
Faghfouri M, Haji Badali A, Pourreza E. Blaschke structure for a special affine immersion[J]. Journal of Contemporary Mathematical Analysis, 2008, 43(4): 214-220. DOI:10.3103/S1068362308040031 |
[2] |
Beneki C C, Kaimakamis G, Papantoniou B J. Helicoidal surfaces in three-dimensional Minkowski space[J]. Journal of Mathematical Analysis and Applications, 2002, 275(2): 586-614. DOI:10.1016/S0022-247X(02)00269-X |
[3] |
Do Carmo M P, Dajczer M. Helicoidal surfaces with constant mean curvature[J]. Tohoku Mathematical Journal, 1982, 34(3): 425-435. DOI:10.2748/tmj/1178229204 |
[4] |
Baikoussis C, Koufogiorgos T. Helicoidal surfaces with prescribed mean or Gaussian curvature[J]. Journal of Geometry, 1998, 63(1/2): 25-29. |
[5] |
Richardson J M. Helices and helicoidal surfaces[J]. Journal of the Franklin Institute, 1857, 63(4): 231-235. DOI:10.1016/S0016-0032(57)90655-5 |
[6] |
Mohanasubha R, Chandrasekar V K, Senthilvelan M. A note on deriving linearizing transformations for a class of second order nonlinear ordinary differential equations[J]. Nonlinear Analysis:Real World Applications, 2018, 39(4): 202-212. |
[7] |
Andrade M, Lewiner T. Affine-invariant curvature estimators for implicit surfaces[J]. Computer Aided Geometric Design, 2012, 29(2): 162-173. DOI:10.1016/j.cagd.2011.11.002 |
[8] |
Yang D, Yu F. On affine translation surfaces in affine space[J]. Journal of Mathematical Analysis and Applications, 2016, 440(2): 437-450. DOI:10.1016/j.jmaa.2016.03.066 |
[9] |
Alcázar J G, Goldman R. Detecting when an implicit equation or a rational parametrization defines a conical or cylindrical surface, or a surface of revolution[J]. IEEE Transactions on Visualization and Computer Graphics, 2017, 23(12): 2550-2559. DOI:10.1109/TVCG.2016.2625786 |
[10] |
苏步青. 仿射微分几何[M]. 北京: 科学出版社, 2010. (Su Bu-qing. Affine differential geometry[M]. Beijing: Science Press, 2010.) |