东北大学学报:自然科学版  2020, Vol. 41 Issue (12): 1800-1804  
0

引用本文 [复制中英文]

于延华, 彭兰兰, 贾琨. 仿射空间中的抛物型螺旋面[J]. 东北大学学报:自然科学版, 2020, 41(12): 1800-1804.
[复制中文]
YU Yan-hua, PENG Lan-lan, JIA Kun. Parabolic Helicoidal Surfaces in Affine Spaces[J]. Journal of Northeastern University Nature Science, 2020, 41(12): 1800-1804. DOI: 10.12068/j.issn.1005-3026.2020.12.020.
[复制英文]

基金项目

中央高校基本科研业务费专项资金资助项目/优秀科技人才培育基金资助项目(N170504014)

作者简介

于延华(1978-), 女, 湖北荆门人, 东北大学副教授, 博士。

文章历史

收稿日期:2020-04-26
仿射空间中的抛物型螺旋面
于延华 , 彭兰兰 , 贾琨     
东北大学 理学院,辽宁 沈阳 110819
摘要:螺旋面是由一条平面曲线绕固定轴旋转的同时, 沿轴的方向作匀速平移产生的曲面.由于旋转轴类型的不同, 螺旋面可以分为椭圆型、双曲型和抛物型三种情况.在三维仿射空间中,利用Blaschke度量研究抛物型螺旋面,并对高斯曲率为零和平均曲率为零的抛物型螺旋面分别进行了分类.当符距h=0时,螺旋运动退化为旋转运动,在此情况下,进一步分类了平坦和极小的抛物型旋转曲面,并得出此时抛物型旋转曲面所满足的方程,最后画出其相应的图像.
关键词仿射空间    抛物型螺旋面    平坦    Blaschke度量    极小曲面    
Parabolic Helicoidal Surfaces in Affine Spaces
YU Yan-hua , PENG Lan-lan , JIA Kun     
School of Sciences, Northeastern University, Shenyang 110819, China
Abstract: Helicoidal surface is a surface formed by a plane curve that rotates around a fixed axis while uniformly shifting along the direction of the axis. Helicoidal surface can be divided into elliptic, hyperbolic and parabolic types based on different rotation axis. The helicoidal surface of parabolic type is studied by using Blaschke metric in affine spaces. The helicoidal surfaces of parabolic type whose Gaussian curvature and mean curvature vanish identically have been classified, respectively. When h=0, the helical motion degrades into rotational motion. In this situation, the flat and minimal parabolic surfaces of revolution are also classified. Finally, some graphs of those surfaces are given.
Key words: affine space    parabolic helicoidal surface    flat    Blaschke metric    minimal surface    

存在性问题是微分几何研究的重要问题之一,因此确定具有某种特征的曲面或子流形是一项非常有意义的工作.在三维欧氏空间中,学者们对曲线及曲面进行了广泛研究.仿射微分几何是微分几何的一个重要分支, 它主要研究仿射空间中非退化的超曲面在幺模仿射变换下不变的性质.螺旋面是微分几何中一类重要的曲面,文献[1-2]在三维闵可夫空间中研究了椭圆型、双曲型、抛物型的螺旋面,并对具有常高斯曲率和常平均曲率的螺旋面进行分类,最后给出了抛物型螺旋面的几何意义.

本文利用Blaschke度量研究三维仿射空间中的抛物型螺旋面,对平坦的和极小的抛物型螺旋面进行了分类.更进一步对符距为零的螺旋运动下极小的和平坦的抛物型旋转曲面进行了分类.

1 预备知识

在仿射变换下,Berwald-Blaschke度量是一种与坐标系的选择无关的、不变的二次形式.令Φ(u, v):ΩR3为三维仿射空间中的一个正则曲面,则Berwald-Blaschke度量可定义为

其中:

为度量系数.

本文假定LN-M2≠0>且曲面为非退化的.曲面上满足LN-M2>0的点称为椭圆点,满足LN-M2 < 0>的点称为双曲点.不失一般性,本文只研究椭圆点的情况[3-4].

本文选取如下绕类光轴旋转的抛物型旋转矩阵:

2 基本概念

主要介绍仿射空间中的余法向量、法向量、高斯曲率、平均曲率[5-8]等基本概念.

定义1  已知X是由所确定的正则曲面,则X的仿射余法向量场定义为

定义2   已知X是由所确定的正则曲面,则X的仿射法向量场定义为

其中:η·ζ=1;ζ·ηu=0;ηv·ζ=0.

定义3   已知P为正则曲面X上的一点,则P点的形状算子S:TPXTPX,定义为SP(V)=-DVζ,其中TPX表示P点的切空间,VTPX.

ηu, ηvTPX可知,ηu, ηv可由Φu, Φv线性表示:

其中:

则曲面X的仿射高斯曲率、仿射平均曲率可表示为

定义4   设为三维仿射空间中的螺旋面,则抛物型螺旋面有如下表示[9-10]

(1)

当符距h=0时,螺旋运动退化为旋转运动,可得如下抛物型旋转曲面:

(2)

下文中Ci, i=1, 2, …表示实常数.

3 主要内容 3.1 平坦和极小的抛物型螺旋面

定理1   设Φ为三维仿射空间中具有式(1)的抛物型螺旋面,则其仿射高斯曲率、仿射平均曲率分别为

证明  直接计算可得

度量系数为

曲面的余法向量为

曲面的法向量为

进一步计算可得

即可得

化简可得仿射平均曲率.同理可得仿射高斯曲率的表达式,定理即得证.

定理2   设Φ为三维仿射空间中具有表达式(1)的抛物型螺旋面,则仿射高斯曲率为零时,曲面为以下三种形式之一:

③ 曲面表达式中ϕ(u)的数值解如图 1所示.

图 1 曲面③中ϕ(u)的数值解 Fig.1 The numerical solution to ϕ(u) in surfaces ③

此时曲面的数值解图像如图 2所示.

图 2 曲面③的数值解图像 Fig.2 The numerical solution to surfaces ③

证明  令K=0,则

(3)

(4)

(5)

m=ϕ″,则式(3)可以降阶为一阶常微分方程:u3m-u4m′-4h2=0,可得到解析解:

(6)

将式(6)两次积分可以得到式(3)的解.其他方程同理可以解得(其中方程(5)只可解得数值解)即可得定理.

Cih取特殊常数,可得如图 3图 4所示曲面的图像.

图 3 曲面 Fig.3 The surface is
图 4 曲面 Fig.4 The surface is

定理3   设Φ为三维仿射空间中的抛物型螺旋面,且其表达式为(1),则平均曲率为零时,曲面表达式中的ϕ(u)的数值解如图 5所示.

图 5 极小曲面中的数值解 Fig.5 The numerical solution in minimal surfaces

此时可得曲面的数值解图像如图 6所示.

图 6 极小的抛物型螺旋面 Fig.6 Minimal parabolic helicoidal surfaces

利用Matlab可求出函数ϕ(u)的数值解满足的图像.

3.2 平坦和极小的抛物型旋转曲面

定理4   设ψ为三维仿射空间中的抛物型旋转面,且其表达式为式(2),则仿射高斯曲率为零时,曲面为以下几种形式之一.

1)

2)

证明  直接计算可得

则当K=0时,有″+'''=0,或5″-7u2ϕ'''2+2uϕϕ'''+4u2ϕϕ(4)=0.分别求解这两个微分方程,定理即得证.

当常数Ci取特殊值时,可得相应的曲面(图 7图 8).

图 7 曲面 Fig.7 The surface is
图 8 曲面 Fig.8 The surface is

定理5  设ψ为三维仿射空间中的抛物型旋转面,且其表达为式(2),则仿射平均曲率为零时,曲面表达式为

证明  由H=0,则

求解该微分方程,定理即得证.

当常数Ci取特殊值时,可得相应的曲面(图 9).

图 9 曲面 Fig.9 The surface is
4 结语

本文在三维仿射空间中,研究了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.)