費希納,G.T.
[拼音]:quxian
[英文]:curve
微分幾何學研究的主要物件之一。直觀上,曲線可看成空間質點運動的軌跡。曲線的更嚴格的定義是區間[α,b)]到E3中的對映r:[α,b)]→E3。有時也把這對映的像稱為曲線。具體地說,設Oxyz是歐氏空間E3中的笛卡兒直角座標系,r為曲線C上點的向徑,於是有
。
上式稱為曲線C的引數方程,t稱為曲線C的引數,並且按照引數增加的方向自然地確定了曲線C的正向(圖1
)。曲線論中常討論正則曲線,即其三個座標函式x(t),y(t),z(t)的導數均連續且對任意t不同時為零的曲線。對於正則曲線,總可取其弧長s作為引數,它稱為自然引數或弧長引數。弧長引數s用
來定義,它表示曲線C從r(α)到r(t)之間的長度,以下還假定曲線C的座標函式都具有三階連續導數,即曲線是C3階的。
曲線的區域性性質
曲線論的基本公式
設正則曲線C的引數方程為r=r(s),s是弧長引數,p(s)是曲線C上引數為s即向徑為r(s)的一個定點。Q(s+Δs)為C上鄰近p的點,Q沿曲線C趨近於p時,割線pQ的極限位置稱為曲線C在p點的切線。過p點與切線垂直的平面稱為曲線 C在p點的法平面。曲線C在p點的切線及C上鄰近點R確定一個平面σ,σ的極限位置稱為曲線C在p點的密切平面,它在p點的法線稱為曲線C在p點的次法線,曲線C在p點的切線和次法線決定的平面稱為曲線C在p點的從切平面。p點的法線稱為曲線C在p點的主法線(圖2)。
以"·"表示關於弧長引數s的導數,並且設
那麼
和b(s)=t(s)×n(s)分別是曲線C在p(s)點的切線、主法線和次法線上的單位向量,並且t(s)指向曲線 C的正向。n(s)指向曲線凹入的一方。t(s)、n(s)和b(s)按此順序構成右手系,且分別稱為曲線C在p(s)點的切向量、主法向量和次法向量。{r(s),t(s),n(s),b(s)}稱為曲線C在p(s)點的弗雷內標架。
曲線 C的每一點都有弗雷內標架。為研究曲線上兩個鄰近點上弗雷內標架之間的變換關係,要討論t(s)、n(s)和b(s)關於s的導向量,它們可由標架向量線性表出,這就是下述曲線論的基本公式(弗雷內公式):
式中k(s)和τ(s)分別被稱為曲線C在p(s)點的曲率和撓率。
曲率
曲率
這裡
是切向量 t(s)和t(s+Δs)之間的夾角。故曲率度量了曲線上相鄰兩點的切向量的夾角關於弧長的變化率。直線的曲率恆為 0。圓周的曲率等於其半徑的倒數。當曲線C在p(s)點的曲率k≠0時,在p(s)點的主法線上沿n(s)的正向取點Q,使得pQ=1/k,在p點的密切平面上以Q為中心,1/k為半徑的圓稱為曲線C在p點的曲率圓或密切圓,Q和1/k分別稱為曲率中心和曲率半徑。密切圓是過曲線C上p(s)點和鄰近兩點的圓的極限位置。
撓率
撓率
,它的絕對值
度量了曲線上鄰近兩點的次法向量之間的夾角對弧長的變化率。平面曲線是撓率恆為零的曲線。空間曲線如不是落在一平面上,則稱為撓曲線。
若p0(s0)點的曲率和撓率均不為零,取p0為原點,曲線的切線、主法線和次法線為座標軸,在p0附近,曲線可近似地表示為:
所以曲線C在p0點鄰近的近似形狀如圖 3所示。
曲線論的基本定理
曲線的弧長s、曲率k(s)和撓率τ(s)是運動的不變數。反過來,曲線的曲率和撓率也完全決定了曲線的形態。具體地說,如果給定了兩個連續函式k(s)>0和τ(s),s∈[α,b)],則存在以k(s)和τ(s)分別為其曲率和撓率的曲線,並且這些曲線經過空間的一個運動可以互相疊合。
特殊曲線
平面曲線
撓率恆為零的曲線為平面曲線。設Oxy為歐氏平面E 2的笛卡兒直角座標系,則平面曲線C的引數方程為r=r(s)=(x(s),y(s)),s為弧長引數,弗雷內公式可寫成
這裡
n
r是單位法向量,使t(s)到n
r(s)的有向角為/2。kr(s)稱為相對曲率,kr>0和kr<0分別表示曲線向左轉和向右轉(圖4)。
螺線
C為撓曲線,若其曲率和撓率具有固定比值,稱為螺線。它的特徵是切線與一固定方向作成定角。特別,如果曲率和撓率均為非零常數,那麼C是圓柱螺線,即它在圓柱面上且與直母線作固定角。它是質點繞一條直線(螺旋軸)等速旋轉且又沿這軸線方向等速移動時的軌跡。
貝特朗曲線
撓曲線C若滿足λk(s)+μtau;(s)=1,其中λ、μ為常數且λ>0,稱為貝特朗曲線。這樣的曲線可與另一條曲線
建立一一對應關係,使在對應點的主法線重合。反之,這個性質也是曲線成為貝特朗曲線的充分條件。這樣的C和
中的每一條都稱為另一條的侶線。兩條貝特朗侶線在其對應點的切線作固定角。
漸縮線與漸伸線
曲線C1的切線為另一條曲線C2的法線,則C1稱為C2的漸縮線或漸屈線,C2稱為C1的漸伸線或漸開線。可以證明與齒廓曲線為漸伸線的齒輪相齧合的齒輪的齒廓曲線也是漸伸線,通常齒輪的齒廓曲線都採用圓的漸伸線。
曲線的整體性質
以曲線的全部或確定的一段作為研究物件時,就得到曲線的整體的幾何性質。設曲線C的引數方程為r=r(s),s∈[α,b)],s為弧長引數,若其始點和終點重合r(α)=r(b)),這時曲線是閉合的,稱為閉曲線。若它在這點的切向量重合,即r┡(α)=r┡(b)),且自身不再相交,則稱為簡單閉曲線。對於正則閉曲線C,把它的切向量t(s)的始點放在原點,t(s)的終點軌跡是單位球面上的一條閉曲線,它稱為曲線C的切線像或切線標形。C的切線像的長度為
等式右方是閉曲線C的曲率k(s)沿C的積分,自然就稱為曲線C的全曲率,以
表示。正則閉曲線的全曲率等於其切線像的長度。關於正則閉曲線的全曲率的界限有下述二定理。
芬切爾定理
正則閉曲線C的全曲率
≥2
,且等號僅當 C為平面凸閉曲線時成立。這定理給出了正則閉曲線的全曲率的下限,白正國將此定理推廣到分段光滑的閉曲線。
法裡-米爾諾定理
簡單正則有結空間閉曲線(圖5
)的全曲率
>4
。
閉曲線C的撓率τ(s)沿自身的積分
自然就稱為C的全撓率。球面上閉曲線的全撓率等於零,反之,如果非平面的曲面上任意閉曲線的全撓率都等於零,那麼這曲面為球面或其一部分。
設 C為平面正則閉曲線,則當點繞C一週時,曲線C的切線像t(s)將在單位圓周上繞若干圈,這個圈數ir(以逆時針向環繞時圈數為正,順時針向時為負)稱為C的旋轉指標(圖6
),可算得
,
這裡kr(s)是C 的相對曲率。切線迴轉定理表明:平面簡單正則閉曲線的旋轉指標ir等於±1。
將平面上一條定長的細繩首尾相接而構成一條簡單閉曲線,它把平面分成以其為公共邊界的二個部分,它所圍成的區域的面積為最大時,其形狀是圓周。有如下更精確的結論:設曲線C是長度為L的平面正則簡單閉曲線,A是C所圍區域的面積,那麼L2-4
A≥0,並且等號當且僅當C是圓周時成立。上述不等式有過種種的推廣,這類問題叫做等周問題。對於平面曲線,與空間曲線論基本定理相仿,它的形態由其相對曲率kr(s)所確定,故kr(s)的極值自然是令人感興趣的。相對曲率 kr(s)的逗留點,即
的點稱為曲線的頂點,對於凸閉曲線,即位於其上每一點的切線的一側的曲線,成立著名的四頂點定理:平面凸閉曲線至少有四個頂點,因為橢圓只有四個頂點,所以這個結論不能再改進。此外,還可以利用柯西-克羅夫頓公式來計算平面正則曲線的長度(見積分幾何學)。
參考書目
蘇步青等編:《微分幾何》,人民教育出版社,北京,1979。
吳大任編:《微分幾何講義》,第4版,人民教育出版社,北京,1981。
M.P.Do Carmo,Differential Geometry of Curves and Surface,Prentice-Hall, Englewood Cliffs, New Jersey, 1976.