114 年 國立臺灣大學數學系碩士班《幾何》
第 1 題6 分
Let be a geodesic on a regular surface . . Suppose is an unit tangent vector which is perpendicular to . Describe the parallel transport of along .
登入後即可作答並保存紀錄。
本題考查曲面上測地線的平行移動概念。
核心觀念:曲面上向量沿著某路徑的平行移動,是指向量的協變導數沿著該路徑為零。對於測地線而言,其切向量的協變導數為零。
解題步驟:
-
理解平行移動的定義:向量場 沿著曲線 的平行移動,是指 ,其中 是沿著曲線的協變導數。
-
理解測地線的性質:對於測地線 ,其切向量 滿足 。
-
題目條件分析:
- 是曲面 上的測地線。
- 是曲線上的點。
- 是一個單位切向量,且 。
- 我們需要描述 沿著 的平行移動。
-
建立平行移動的向量場:設 是 沿著 的平行移動。則 是一個定義在 上的向量場,且 。根據平行移動的定義,我們有 。
-
利用曲面結構和測地線性質:
設 的參數化為 。則 。
測地線方程是 。
平行移動的向量場 也可以寫成 (這裡的 是在 上的基底,但更精確地說,它們是沿著 的平行移動)。
更一般地,設 在點 的切空間 中的坐標表示為 ,即 ,其中 是 的一組基底。
平行移動的條件 意味著,如果我們使用與 的移動方向相符的協變導數,則 的坐標 必須滿足:
, 其中 。 -
考慮垂直於 的條件:
在 時,我們有 。
設 在點 的切空間 中的坐標為 ,即 。
設 在點 的切空間 中的坐標為 ,即 。
意味著 。在度量張量 下,這表示 。 -
利用平行移動的性質:
一個重要的性質是,如果一個向量 在某一點 垂直於測地線 的速度向量 ,那麼它沿著 的平行移動 在任何時刻 都會垂直於 。
這是因為 。
由於 (平行移動) 且 (測地線),我們得到 。
因此, 是一個常數。
在 時,。
所以,對於所有的 ,我們都有 。 -
描述平行移動:
向量 沿著測地線 的平行移動 ,是一個向量場,滿足:- 。
- (即 沿著 是平行移動的)。
- 對於所有 成立 (由 和初始條件 得出)。
這意味著,平行移動的向量 始終保持與測地線 的速度向量 垂直。
第 2 題6 分
Let and . Let be the graph of the function such that , , and . Define as the surface of revolution generated by rotating about the z-axis. Suppose the union of , , and forms a regular surface. What is the value of ?
登入後即可作答並保存紀錄。
核心觀念
本題考查:
- 旋轉曲面的參數化。
- 旋轉曲面的 Gaussian curvature 。
- 曲面面積元素 。
- 由「 為正則曲面」判斷接合處的切平面方向。
將平面外圍 、旋轉曲面 、圓柱面 平滑接合後,接合處的切平面必須一致。
解題方法
令旋轉曲面以 表示,其參數化為
其切向量為
因此第一基本形式係數為
取單位法向量
計算第二基本形式後,可得旋轉曲面的 Gaussian curvature:
另一方面,
所以
利用正則接合條件
在 處, 接到平面 。平面 的切平面為水平面,因此旋轉曲面在此處的母線切線也必須水平:
在 處, 接到圓柱面 。圓柱面的母線方向為垂直方向,因此 在此處的母線切線必須垂直。由於母線寫成 ,這表示
故
第 3 題30 分
Suppose is a regular closed space curve parametrized by arc length . Let the surface be defined by the parametrization , where and are the normal and binormal vectors of . Assume the curvature of satisfies .
a. [6%] Show that is a regular surface.
b. [6%] Compute and .
c. [6%] Express the principal directions at every point of using and . Is there any umbilical point on ?
d. [6%] Define . Is a line of curvature? Is a geodesic?
e. [6%] What is the Euler characteristic of ?
登入後即可作答並保存紀錄。
核心觀念
本題考查以 Frenet 標架構造的管面(tube surface),需要使用:
- Frenet–Serret 公式
- 第一基本形式與第二基本形式。
- 平均曲率與高斯曲率
- 主方向、曲率線與測地線的判定。
- 管面拓樸為圓環面。
以下令 ,曲率為 ,扭率為 ,並設
由 可知
解題方法
先計算 與 ,再由它們求基本形式與曲率。由於 ,可以直接確認正則性;同時,主方向可由形算子求得。
a. 證明 是正則曲面
對參數微分:
利用 Frenet–Serret 公式,
令
則由 Frenet 標架為正交右手標架,
因此
所以 與 處處線性獨立, 為正則曲面。
b. 計算 與
第一基本形式
由上述公式,
因此
第二基本形式
取單位法向量 。
首先,
所以
接著,
故
再計算 的法向分量。由
可得
因此
平均曲率
所以
高斯曲率
因此
第 3 題30 分
Suppose is a regular closed space curve parametrized by arc length . Let the surface be defined by the parametrization , where and are the normal and binormal vectors of . Assume the curvature of satisfies .
a. [6%] Show that is a regular surface.
b. [6%] Compute and .
c. [6%] Express the principal directions at every point of using and . Is there any umbilical point on ?
d. [6%] Define . Is a line of curvature? Is a geodesic?
e. [6%] What is the Euler characteristic of ?
登入後即可作答並保存紀錄。
核心觀念
本題考查以 Frenet 標架構造的管面(tube surface),需要使用:
- Frenet–Serret 公式
- 第一基本形式與第二基本形式。
- 平均曲率與高斯曲率
- 主方向、曲率線與測地線的判定。
- 管面拓樸為圓環面。
以下令 ,曲率為 ,扭率為 ,並設
由 可知
解題方法
先計算 與 ,再由它們求基本形式與曲率。由於 ,可以直接確認正則性;同時,主方向可由形算子求得。
a. 證明 是正則曲面
對參數微分:
利用 Frenet–Serret 公式,
令
則由 Frenet 標架為正交右手標架,
因此
所以 與 處處線性獨立, 為正則曲面。
b. 計算 與
第一基本形式
由上述公式,
因此
第二基本形式
取單位法向量 。
首先,
所以
接著,
故
再計算 的法向分量。由
可得
因此
平均曲率
所以
高斯曲率
因此
第 4 題18 分
Let be a point on a surface , and let be a tangent vector. Let the curve on be parametrized by arc length , such that and . Define , where is the unit normal vector of along .
a. [6%] Show that is well-defined, i.e. it is independent of the choice of the curve .
b. [6%] If is a geodesic such that and , show that , where is the torsion of at .
c. [6%] Suppose , where and are the principal directions at , satisfying and . Let and denote the corresponding principal curvatures. Prove that .
登入後即可作答並保存紀錄。
核心觀念
本題核心是「法向量映射」與「形算子」:
- 單位法向量場 的微分為
- 形算子定義為
- 若 是主方向,對應主曲率為 ,則
- 本質上就是沿曲線速度方向 對 的方向導數,因此只由 與 決定。
題目所定義的量
正是與曲面法向量變化及切向旋轉有關的量。
a. 證明 良定
設 是曲面 上的弧長參數曲線,滿足
沿著 考慮法向量場 。由鏈鎖律,
因此
另一方面,
所以
右側只包含點 、切向量 、以及曲面在 點的法向量微分 ,與所選取的曲線 無關。
故 良定。
b. 若 是測地線,證明
令
因為 是弧長參數曲線,所以 。又因為 是測地線,其加速度沒有切向分量,因此
其中 是法曲率。
由 微分可得
代入 ,得到
此外,因為 ,所以 ;因此 可表示為 與 的線性組合:
取內積於 ,便有
在 時,,故
對測地線而言,曲線的主法向量可取為曲面法向量 。取相容於本題符號的 Frenet binormal
則
由 及 ,
由於
利用向量三重積,
因此
依本題採用的扭率符號約定 ,可得
於 ,
第 5 題20 分
Suppose is a regular surface with non-zero mean curvature . It is stated that "the area of any compact domain contained in decreases when the surface is deformed in the direction of ," where is the unit normal vector of . Clarify the meaning of this statement and provide a proof.
登入後即可作答並保存紀錄。
這題主要考驗對曲面面積變分(variation of area)的理解,特別是當曲面沿著平均曲率向量方向 進行變形時,面積如何變化。核心觀念是利用第二基本形式(second fundamental form)來描述曲面在局部區域的彎曲程度,進而推導面積的變化率。
詳解
題目陳述:「假設 是一個平均曲率 的規則曲面。已知『任何包含在 中的緊緻區域的面積,當曲面沿著 的方向變形時會減小』。請闡明此陳述的意義並提供證明。」
闡明陳述的意義
此陳述指的是,對於一個平均曲率非零的規則曲面 ,如果我們對曲面進行一個微小的變形,使得曲面上每一點的法向量 沿著其自身法向量 的方向移動一個微小量,那麼曲面上任何一個緊緻區域的面積都會隨之減小。這裡的 是曲面的「平均曲率向量」,其方向由法向量 指出,而其大小由平均曲率 給出。這個陳述暗示了平均曲率 的符號與面積變化率的關係,並且在 的條件下,這種變形總是導致面積的減小。
更具體地說,我們可以將這個變形視為一個「演化」過程。假設曲面 在參數 下演化,即 是 在時間 的狀態。如果這個演化是沿著 方向進行的,那麼對於任何一個固定的緊緻區域 (其中 是初始曲面),其對應在 上的區域 的面積 會滿足 當 且 。
證明
我們需要證明,當曲面 沿著 方向變形時,任何緊緻區域的面積變化率是負的。
設曲面 由參數化 給出。令 是 上的一個緊緻區域,其面積為 。
我們考慮一個一參數族的曲面 ,其中 代表時間。假設這個參數族是沿著曲面的平均曲率向量 進行的微小變形。也就是說,初始曲面是 ,其中 是 中的一個開集。
變形後的曲面可以表示為:
其中 是在點 的平均曲率, 是該點的單位法向量。
我們關心的是區域面積的變化率。面積的變化率可以透過計算面積的變分來得到。
設 是曲面在時間 的參數化。區域 是由 在參數域 上的像所定義。
面積元素 在時間 的變化率為:
我們知道面積元素 與曲面的第一基本形式(first fundamental form)有關。設第一基本形式為 。面積元素為 。
令 ,其中 是變形向量場。在這個問題中,。
曲面的第一基本形式在時間 的變化率為:
其中 且 。
因此,
面積元素 。
我們知道第二基本形式 ,其中 , , 。
平均曲率 ,其中 是主曲率。
第二基本形式的係數與第一基本形式的係數的關係為:
, , 。
同時,我們有 ,依此類推。
一個重要的結果是,面積的變分 與曲面的平均曲率 和變形向量場 的散度(divergence)有關。
對於一個參數化的曲面 ,其面積 的變分為:
其中 是曲面上的平均曲率向量,其大小為 。
更精確地說,如果我們考慮一個由 和 定義的曲面族,則面積的變化率為:
其中 是向量場 在曲面 上的散度。
對於變形向量場 ,我們需要計算 。