在三维欧氏空间中,若一条曲线的切线和固定方向成固定角,则称其为一般螺线[1].近年来,欧氏空间中一般螺线的定义已经被推广到Lorentz-Minkowski空间中[2-4].本文给出k-型(k=1,2,3)伪零螺线及其轴的定义,并根据定义的伪零曲线的结构函数,讨论各种伪零螺线的几何性质.
1 预备知识设E13是三维Minkowski空间,其中的内积定义为
设E13中的任意非零向量α,若〈α, α〉>0,则称α为类空向量;若〈α, α〉 < 0,则称α为类时向量;若〈α, α〉=0,则称α为类光向量.特别地,规定零向量为类空向量[5-6].
定义1 [7] 设c是E13中任意一条正则曲线.若曲线c的切向量为类空向量(类时向量、类光向量),则称c为类空曲线(类时曲线、类光曲线).特别地,若类空曲线c的主法向量为类空向量(类时向量、类光向量),则称其为第一类类空曲线(第二类类空曲线、伪零曲线).
引理1 [7] 设r(s)是E13中以s为弧长参数的伪零曲线,则其满足如下Frenet公式:
(1) |
其中:
〈α,β〉=〈α,γ〉=0.α(s),β(s),γ(s)分别称为曲线r(s)的切向量、主法向量和副法向量;κ(s)称为曲线r(s)的曲率函数.
标注1 本文所讨论的伪零曲线均以弧长s为参数.
在文献[8-9]中,作者利用结构函数分别描述了锥曲线与类光曲线.本文用类似的方法描述E13中的伪零曲线.
首先,设伪零曲线r(s)的单位切向量为
显然-ξ12+ξ22+ξ32=1.不失一般性,设
这里f,g是s的光滑函数.于是
另外,由〈r″(s),r″(s)〉=0,经过计算,有
解上面的微分方程,可得
总结上面的推导过程,有如下结论.
引理2 设r(s)是E13中的伪零曲线,那么r(s)可以表示为
其中:f,g是s的光滑函数,称其为结构函数,且它们满足
由引理2与引理1,容易得到如下结论.
引理3 设r(s)是E13中的伪零曲线,那么曲线r(s)的曲率函数κ(s)可以表示为
定义2 [9] 设r(s)是E13中以{α,β,γ}为标架的伪零曲线.若存在非零常向量V,使得〈α,V〉(〈β,V〉,〈γ,V〉)是非零常数,则称r(s)为k-型(k=1,2,3)伪零螺线,V称为r(s)的轴.
标注2 定义2中曲线r(s)的切向量α,主法向量β,副法向量γ都不是常向量.
2 主要结论设非零常向量V是k-型伪零螺线r(s)的轴.那么V可以表示为[10]
(2) |
这里vi=vi(s)(i=1,2,3)是弧长参数s的光滑函数.显然
在式(2)两端关于参数s求导,整理可得
(3) |
定理1 E13中的任意伪零曲线r(s)是1-型伪零螺线.
证明 根据1-型伪零螺线的定义,有
(4) |
在式(4)两端关于参数s求两次导,可知r(s)的曲率函数κ(s)是任意函数.
反之,对于任意伪零曲线r(s),由式(3)和式(4),总可以找到常向量
使得〈α,V〉=c≠0.证毕.
由定理1及引理3,不难得到下面的推论,具体证明略.
推论1 设r(s)是1-型伪零螺线,那么r(s)的轴V是类空轴,且V可以由r(s)的结构函数表示为
这里c1,c∈R且c≠0.
2.2 2-型伪零螺线定理2 在E13中不存在2-型伪零螺线.
证明 根据2-型伪零螺线的定义,有
将v3=C0代入式(3)中,可得曲率函数κ(s)≡0.此时由式(1)可知主法向量β为常向量,显然矛盾.证毕.
2.3 3-型伪零螺线定理3 设曲线r(s)是E13中的伪零曲线,那么r(s)是3-型伪零螺线当且仅当其曲率函数κ(s)满足
进一步,曲率函数κ(s)有以下三种形式:
① κ(s)=-2(s+c1)-1;
② κ(s)=2atana(s+c2);
③
这里a>0且ci(i=1,2,3)∈R.
证明 根据3-型伪零螺线的定义,有
(5) |
在式(5)两端关于参数s求导,可得
(6) |
将v2=C0及式(6)代入式(3)中,可得
(7) |
通过降阶法解方程(7),得到曲率κ(s)的具体表达式,如定理3中的①,②,③.
反之,当曲率κ(s)满足定理3中的①,②,③时,可以找到相应的常向量V如下:
① 当κ(s)=-2(s+c1)-1时,有
② 当κ(s)=2atana(s+c2)时,有
③ 当
显然三种情形均满足〈γ, V〉=c≠0.证毕.
由定理3中的三种情形,有下面的推论.
推论2 设r(s)是3-型伪零螺线,那么
① 当κ(s)=-2(s+c1)-1时,轴V为类光轴;
② 当κ(s)=2atana(s+c2)时,轴V为类时轴;
③ 当
这里a>0且ci(i=1,2,3)∈R.
由定理3、引理2、引理3,通过适当的参数变换,可以得到如下结论,具体证明略.
定理4 设r(s)是3-型伪零螺线,那么r(s)的结构函数为
① 当κ(s)=-2(s+c1)-1时,有
② 当κ(s)=2atana(s+c2)时,有
③ 当
这里a>0且ci(i=1,2,3)∈R.
由定理4,引理2,有下面的推论.
推论3 设r(s)是3-型伪零螺线,那么
① 当κ(s)=-2(s+c1)-1时,
② 当κ(s)=2atana(s+c2)时,
③ 当
这里a>0且ci(i=1,2,3)∈R.
3 结语本文在三维Minkowski空间中定义了k-型伪零螺线,并找到了各类伪零螺线的轴.通过定义的结构函数给出了各种螺线的具体表达式.这为今后在不定度量空间中开展相关曲线的研究提供了一种新的思路.
[1] |
Kula L, Ekmekci N, Yayli Y, et al. Characterizations of slant helices in Euclidean 3-space[J]. Turkish Journal of Mathematics, 2010, 34(2): 261-273. |
[2] |
Ferrandez A, Gimenez A, Lucas P. Null generalized helices in Lorentz-Minkowski space[J]. Journal of Physics A:Mathematical and General, 2002, 35(39): 8243-8251. DOI:10.1088/0305-4470/35/39/308 |
[3] |
Nesovic E, Ozturk E B K, Ozturk U. On k-type null Cartan slant helices in Minkowski 3-space[J]. Mathematical Methods in the Applied Sciences, 2018, 41(17): 7583-7598. DOI:10.1002/mma.5221 |
[4] |
Qian J H, Kim Y H. Null helix and k-type null slant helices in Minkowski 4-space[J]. Revista De La Union Mathematica of Argentina, 2016, 57(1): 71-83. |
[5] |
Kim Y H, Yoon D W. On non-developable ruled surface in Lorentz-Minkowski 3-space[J]. Taiwanese Journal of Mathematics, 2007, 11(1): 197-214. DOI:10.11650/twjm/1500404646 |
[6] |
Izumiya S, Takiyama A. A timelike surface in Minkowski 3-space which contains lightlike lines[J]. Journal of Geometry, 1999, 64(1): 95-101. |
[7] |
Nesovic E, Ozturk U, Ozturk E B K. On k-type pseudo null Darboux helices in Minkowski 3-space[J]. Journal of Mathematical Analysis and Applications, 2016, 439(2): 690-700. DOI:10.1016/j.jmaa.2016.03.014 |
[8] |
Liu H L, Meng Q X. Representation formulas of curves in a two- and three-dimensional lightlike cone[J]. Results in Mathematics, 2011, 59(3/4): 437-451. |
[9] |
Qian J H, Kim Y H. Directional associated curves of a null curve in Minkowski 3-space[J]. Bulletin of the Korean Mathematical Society, 2015, 52(1): 183-200. DOI:10.4134/BKMS.2015.52.1.183 |
[10] |
梅向明, 黄敬之. 微分几何[M]. 2版. 北京: 高等教育出版社, 2001. (Mei Xiang-ming, Huang Jing-zhi. Differential geometry[M]. 2nd ed. Beijing: Higher Education Press, 2001.) |