維騰形變及古典摩斯不等式的 純解析證明

維騰形變及古典摩斯不等式的 純解析證明

蕭欽玉

古典的摩斯不等式從 50 年代開始, 在幾何及拓樸學上都扮演著重要的角色。 在 1982 年, 維騰 (Witten) [2] 給出了全新且純解析的證明。 維騰的證明奠基在把流形及摩斯函數看成物 理上帶有調和振盪器 (Harmonic oscillators) 的系統, 利用調和振盪器的系統來逼近臨界點 (critical points)。 其中 「逼近臨界點」 的想法根源於量子力學裡半經典極限 (semi-classical limit) 及薛丁格方程 (Schr¨odinger equations) 理論裡的半經典分析 (semi-classical analy- sis). 維騰的想法大大的推動了現今的幾何, 數學物理及偏微分方程上的發展, 許多古典幾何裡 非常複雜的定理, 利用維騰的想法來處理將會變得簡單許多。 我們覺得維騰的想法及工作也許 會成為未來數學系幾何學及相關領域的基本教材; 實在有必要向大學生介紹維騰的想法。 有鑑 於此, 我們在本文中將仔細介紹維騰對古典摩斯不等式的純解析證明。 但有一點要提醒讀者, 我 們的證明並不完全和維騰的證明一樣, 一些分析的部分, 我們採用較簡單且直接的方法, 但精神 上和維騰是一樣的。 希望讀者讀完本文後, 能去看看維騰的原始文章 [2], 相信能有更大的收穫。

礙於長度限制, 一些證明我們將只點出關鍵, 細節部分請參見何福軒同學的學士論文 [3]。 本文 可看成現代幾何分析學的入門文章, 希望能引起一些大學生對這個領域的研究的興趣。 本文將 假設讀者具備基本的微分幾何及偏微分方程的知識。

一、 古典摩斯不等式的陳述

在這篇文章中, 我們令 X 為一個 n 維的緊緻平滑流形 (n-dimensional compact smooth manifold)。 給定一個 X 上的平滑函數 f ∈ C^∞(X)。 我們稱 X 上的一個點 p ∈ X 為 f 的 臨界點如果 df (p) = 0, 其中 d 代表流形 X 上的外導數 (exterior derivative)。 我們把 f 所 有的臨界點的集合記為 Crit (f )。 我們引入以下的定義:

定義 1.1. 我們稱 f 的臨界點 p 為非退化的, 如果存在一個局部座標 x = (x₁, . . . , x_n) 定義 在 p 點附近使得這個矩陣 

∂²f

∂xj∂xk(p)n j,k=1

為可逆矩陣。

這邊值得注意的是, 若存一個局部座標 x = (x1, . . . , xn) 定義在 p 點附近使得這個

矩陣 

∂²f

∂xj∂xk(p)n

j,k=1 為可逆矩陣, 則不難證明對所有定義在 p 點附近的局部座標 x =

(x1, . . . , xn), 這個矩陣

∂²f

∂xj∂xk(p)n j,k=1

均為為可逆矩陣。

定義 1.2. 我們稱 f 為 X 上的一個摩斯函數如果所有 f 的臨界點均為非退化的。

從現在開始, 我們假定 f 為一個摩斯函數。 這邊值得提醒讀者的是, 根據古典的沙氏定理 (Sard’s Theorem), 在 X 上我們可找到非常多的摩斯函數。 準確的說, 所有 X 上的摩斯函 數會是一個在所有 X 上的平滑函數的空間內在 C² 拓樸的意義下的稠密的開集 (open and dense subset of all smooth functions on X in C² topology)。

由摩斯引理 (Morse Lemma) (請看引理 3.1) 可看出, Crit (f ) 為一個離散的集合。 又 X 緊緻, 我們得到 Crit (f ) 為一個有限的集合。

給定一點 p ∈ Crit (f ), 透過簡單的計算可看出這個矩陣 

∂²f

∂xj∂xk(p)n j,k=1

負的特徵 值的個數及正的特徵值的個數和局部座標 x = (x1, . . . , xn) 的選取無關。 我們把這個矩陣

 ∂²f

∂xj∂xk(p)n

j,k=1負的特徵值的個數記為 n−(p), 正的特徵值的個數記為 n+(p)。 我們把 n−(p)

稱為 p 的指標 (the index of p) 並記為 ind (p) = n₋(p)。

對所有 j = 0, 1, 2, . . . , n, 令 Crit (f, j) := {x ∈ Crit (f ); ind (x) = j} 並把 m_j 記 為這個集合 Crit (f, j) 的個數。

為了敘述古典摩斯不等式, 我們回憶一下基本微分幾何課上學到的德拉姆複形 (de-Rham complex) 及霍奇理論 (Hodge Theory)。 德拉姆複形為底下的映射:

d : Ω⁻¹(X) := {0} → Ω⁰(X) → Ω¹(X) → · · · → Ωⁿ(X) → Ωⁿ⁺¹(X) := {0}, 其中 Ω^r(X) := C^∞(X, Λ^r(T^∗X)), Λ^r(T^∗X)) 為 X 上的 r 次微分形式。 因為 d² = 0, 我 們可考慮如下的商群:

H^j(X) = Ker d : Ω^j(X) → Ω^j+1(X)

Im d : Ω^j−1(X) → Ω^j(X), j = 0, 1, 2, . . . , n.

我們把 H^j(X) 叫做第 j 個德拉姆上調群 (the j-th de-Rham cohomology group)。 根據 霍奇理論, 我們知道對所有的 j = 0, 1, 2, . . . , n, H^j(X) 都是有限維的向量空間。 我們這邊 簡略的回憶一下霍奇理論的關鍵的定理。 一般而言, 無論是從代數或幾何的方法都不容易證明 H^j(X) 是有限維的向量空間。 霍奇理論最重要的一個定理是構造了一個向量空間上的同構映 射:

F : H^j(X) → Ker △^(j) = {u ∈ Ω^j(X); △^(j)u = 0},

其中 △^(j) 是作用在 j-形式的德拉姆算子 (de-Rham Laplacian) (當 t = 0 時, 第三節的 (9) 式就是德拉姆算子)。 因 △^(j) 為一個二階的橢圓偏微分方程, 根據橢圓偏微分方程的理論, 我 們得到 Ker △^(j) 為一個有限維的向量空間。 因為 H^j(X) 和 Ker △^(j) 為同構的, 我們立即得

到 H^j(X) 為一個有限維的向量空間。 令 bj = dim H^j(X), j = 0, 1, 2, . . . , n。 我們把 bj 叫 做第 j 個貝梯數 (j-th Betti number)。 貝梯數在幾何及拓樸裡都扮演著重要角色。 有了以上 的準備後, 我們可描述古典摩斯不等式:

定理 1.3 (古典摩斯不等式). 我們有

(I) 弱摩斯不等式: 對所有的q = 0, 1, . . . , n, 我們有

bq ≤ mq. (1)

(II) 強摩斯不等式: 對所有的q = 0, 1, . . . , n, 我們有 Xq

j=0

(−1)^q−jbj ≤ Xq

j=0

(−1)^q−jmj, (2) 且q = n時我們有等式, 也就是說

(III) Xⁿ

j=0

(−1)^jb_j = Xn j=0

(−1)^jm_j. (3)

我們提醒讀者, 定理 1.3 中的 mj 為指標為 j 的臨界點的個數。 古典摩斯不等式把臨界點 的個數和貝梯數非常完美的連結起來。

註記 1.4. 這個交錯和Pn

j=0(−1)^jbj 稱為流形X的歐拉特徵數 (Euler characteristic num- ber)。 歐拉特徵數是很重要的幾何量, 和指標定理的研究有密切關係。 藉由阿提雅-辛格的指標 定理 (Atiyah-Singer index theorem), 我們知道 X 的歐拉特徵數也可表為 X 上的特徵類 在 X 上的積分。 一般而言, 特徵類在 X 上的積分不太好算, 所以定理 1.3 中的 (III) 提供了 另一種歐拉特徵數的計算方式。

值得一提的是, 目前阿提雅-辛格的指標定理的最有效的證明方式是透過計算狄拉克算子 的熱核在時間變數 t 趨於零時的超跡 (super trace) 的極限值。 變數 t 趨於零的過程類似於量 子力學上的半經典極限, 和維騰對古典摩斯不等式的證明的想法有異曲同工的地方。 作為本文 的延伸閱讀, 有興趣的讀者, 可參看一些近代指標定理的書籍。

註記 1.5. 在定理 1.3 中的 (I) 中, 我們往往只有不等式。 若要得到等式, 通常流形 X 本身要 具備更多的對稱性。

本文的目標就是要仔細介紹維騰對定理 1.3 的純解析證明. 我們先引入維騰形變 (Witten deformation) 的概念。

2. 維騰形變

維騰把外微分導數 d 變形成:

dt:= e^−tf ◦ d ◦ e^tf, t ≥ 0. (4)

當t = 0時, d_t 就是原來的外微分導數 d。 維騰進而考慮如下的複形:

dt: Ω⁻¹(X) := {0} → Ω⁰(X) → Ω¹(X) → · · · → Ωⁿ(X) → Ωⁿ⁺¹(X) := {0}. (5) 現代數學家都稱 (5) 為維騰複形 (Witten complex)。 因為 d²_t = 0, 我們可考慮如下的商群:

H_t^j(X) = Ker dt: Ω^j(X) → Ω^j+1(X)

Im dt : Ω^j−1(X) → Ω^j(X), j = 0, 1, 2, . . . , n.

我們把 H_t^j(X) 叫做第 j 個維騰上調群 (the j-th Witten cohomology group)。 我們有以下 簡單但重要的引理:

引理 2.1. 固定任一個 q = 0, 1, 2, . . . , n。 對任何一個t ≥ 0, H_t^q(X) 都同構於 H^q(X)。 特 別的, dim H_t^q(X) = dim H^q(X)。

證明: 考慮這個映射: e^−tf : H^q(X) → H_t^q(X). 若u ∈ Ker d, 則不難看出e^−tfu ∈ Ker dt. 反之, 若u = dv ∈ Im d. 則

e^−tfu = e^−tfdv = (e^−tfde^tf)e^−tfv ∈ Im dt.

從上面的說明及一些基本的計算, 不難看出e^−tf為恰當定義(well-defined) 的同構映射。  引理 2.1及其衍生出來的概念在現代數學的發展上扮演著重要角色。 從一般偏微分方程或 微分幾何的理論上來說, 非常不容易準確的估計這個空間 H^q(X) 的大小。 引理 2.1 等於給 了我們許多的自由度。 我們可試著估計 dim H_t^q(X) 對某個 t 或 t 充分大或 t 充分小, 從而 得到有關 dim H^q(X) 的估計。 事實上, 對某個固定 t 或 t 充分小時, 我們仍然不容易估計 dim H_t^q(X)。 但當 t 充分大, 我們可利用一些幾何分析的工具證明如下的定理:

定理 2.2. 當t夠大時,

(I) 對所有的 q = 0, 1, . . . , n, 我們有

dimH_t^q(X) ≤ mq. (6) (II) 對所有的 q = 0, 1, . . . , n, 我們有

Xq j=0

(−1)^q−jdimH_t^j(X) ≤ Xq

j=0

(−1)^q−jmj, (7)

且q = n時我們有等式, 也就是說

(III) Xⁿ

j=0

(−1)^jdimH_t^j(X) = Xn

j=0

(−1)^jmj. (8)

從定理 2.2 及引理 2.1, 我們立即得到定理 1.3. 本文接下來的目標就是要利用幾何分析 的方法來證明定理 2.2。 我們先介紹一些基本的幾何分析的知識。

3. 基本的幾何分析

我們在 X 的切叢 (tangent bundle) T X 上選定一個黎曼度量 (Riemannian metric)。

我們把這個黎曼度量記為h · | · i。 根據對偶性, 這個在 T X 上的黎曼度量引出所有微分形式所 構成的向量叢 ⊕ⁿ_r=0Λ^r(T^∗X) 上的一個度量。 我們也把這個度量記為 h · | · i。 T X 上的黎曼 度量引出 X 上的積分元素 dv_X。 除了額外題醒, 我們均固定一個 q = 0, 1, 2, . . . , n。 向量叢

⊕ⁿ_r=0Λ^r(T^∗X) 上的度量及積分元素 dvX 引出 Ω^q(X) 上的一組 L² 內積 ( · | · )。 準確的說, 我們有

( u | v ) = Z

X

h u | v idvX, ∀u, v ∈ Ω^q(X).

令

d^∗_t : Ω^q+1(X) → Ω^q(X) 為 d_t 根據 ( · | · ) 而衍生出的伴 (adjoint)。 也就是說,

( dtu | v ) = ( u | d^∗_tv ), ∀u ∈ Ω^q(X), v ∈ Ω^q+1(X).

我們把如下的二階偏微分方程

△^(q)_t := d_td^∗_t + d^∗_td_t: Ω^q(X) → Ω^q(X) (9) 稱作維騰拉普拉斯算子 (Witten Laplacian)。 令

Ker △^(q)_t := {u ∈ Ω^q(X); △^(q)_t u = 0}.

根據霍奇定理, dim Ker △^(q)_t = dim H_t^q(X)。 因此了解 dim H_t^q(X) 等價於要了解這個空間 Ker △^(q)_t 的維數。 又值得注意的是, 這個空間 Ker △^(q)_t 的維數和切叢上的黎曼度量的選取無 關。 因此, 我們可選定一個好的度量, 來幫我們簡化問題。 我們回憶一下古典的摩斯引理:

引理 3.1 (摩斯引理). 給定一個點p ∈ Crit (f ), 我們可找到一組局部座標 x = (x1, . . . , xn) 定義在 p 附近的一個開集 U_p 使得 p 對應到 Rⁿ 的原點 (我們寫成 x(p) = 0) 且在 U_p 上我 們有

f (x) = −1

2x²₁− · · · −1

2x²_ℓ +1

2x²_ℓ+1+ · · · + 1 2x²_n, 其中ℓ = ind (p).

有關摩斯引理的證明可參考 [1] 的第六頁。 我們需要:

引理 3.2. 我們可找到 T X 上的一個黎曼度量 h· | · i 使得對每一個點 p ∈ Crit (f ), 存在一 組局部座標 x = (x₁, . . . , xn) 定義在 p 附近的一個開集 Up 使得 p 對應到 Rⁿ 的原點且在 U_p 上我們有

h ∂

∂xj

| ∂

∂xk

i = δj,k, j, k = 1, 2, . . . , n, f (x) = −1

2x²₁− · · · − 1

2x²_ℓ +1

2x²_ℓ+1+ · · · + 1 2x²_n,

(10)

其中δ_j,k = 1若j = k, δ_j,k = 0若j 6= k.

引理3.2意義上是說, 我們可選到一個好的度量使得在每個臨界點附近, 度量都是平的且摩 斯函數為二次形。 這樣的度量會幫我們簡化許多的計算。 透過摩斯引理及標準的單位分割的技 巧(partition of unity), 我們不難得到引理3.2。 我們省略引理3.2的證明, 有興趣的讀者可參 考[3]。

從現在開始我們假設我們的度量 h· | · i 滿足引理 3.2 的所有條件。

對每個複數µ ∈ C, 令

E_µ,t^q (X) := {f ∈ Ω^q(X); △^(q)_t f = µf }.

若 E_µ,t^q (X) 包含非零函數, 我們稱 µ 為這個算子 △^(q)_t 的特徵值, E_µ,t^q (X) 為特徵值 µ 的特 徵空間, E_µ,t^q (X) 裡的元素稱為特徵函數。 我們把

Spec △^(q)_t

記為所有 △^(q)_t 的特徵值的集合。 由基本的偏微分方程的理論可知, Spec △^(q)_t 為 R₊ 裡的離 散子集。 這邊 R₊ 是指所有非負實數的集合。 對每個正實數 λ ∈ R₊, 令

E_≤λ,t^q (X) := ⊕_{µ∈Spec △}(q)

t ,0≤µ≤λE_µ,t^q (X), E_0<µ≤λ,t^q (X) := ⊕_{µ∈Spec △}^(q)

t ,0<µ≤λE_µ,t^q (X).

我們需要底下簡單但重要的定理:

定理 3.3. 固定一個正實數λ ∈ R₊. 對每個q = 0, 1, 2, . . . , n, 我們有 Xq

j=0

(−1)^q−jdim E_0<µ≤λ,t^j (X) = dim (dtE_0<µ≤λ,t^q (X)),

其中 dtE_0<µ≤λ,t^q (X) = {dtu; u ∈ E_0<µ≤λ,t^q (X)}。

證明: 固定一個 r = 0, 1, 2, . . . , n, 考慮這個映射:

T^r: E_0<µ≤λ,t^r (X) → E_0<µ≤λ,t^r+1 (X), u → dtu.

透過簡單的計算可得知 T^r 為恰當定義 (well-defined) 的映射。 給定一個 u ∈ Ker T^r。 我 們把 u 寫成 u = u₁ + u2 + · · · + uN, 其中對每個j = 1, . . . , N, 我們有 △^(r)_t u = µju, 0 < µ_j ≤ λ, 且 µ₁, . . . , µ_N 均為不同的值。 因為 u ∈ Ker T^r, 我們有

d_tu = d_tu₁+ · · · + d_tu_N = 0.

透過簡單的計算不難看出dtu1, . . . , dtuN為線性獨立的函數。 因此, dtuj = 0, 對所有的 j = 1, 2, . . . , N。 固定一個 j = 1, 2, . . . , N, 我們有

uj = 1 µj

△^(r)_t uj = 1 µj

(dtd^∗_t + d^∗_tdt)uj = 1 µj

dt(d^∗_tuj). (11) 令

v = 1 µ1

d^∗_tu1+ · · · + 1 µN

d^∗_tuN.

從 (11), 不難看出 v ∈ E_0<µ≤λ,t^r−1 (X) 且 dtv = u。 我們已證明了

Ker T^r ⊂ dtE_0<µ≤λ,t^r−1 (X). (12) 因為 d²_t = 0, 我們顯然有

dtE_0<µ≤λ,t^r−1 (X) ⊂ Ker T^r. (13)

從(12)及(13), 我們得到

Ker T^r = dtE_0<µ≤λ,t^r−1 (X) = Im T^r−1. (14) 我們固定一個 q = 0, 1, 2, . . . , n. 從 (14), 我們有

dim (dtE_0<µ≤λ,t^q (X)) = dim Im T^q= dim E_0<µ≤λ,t^q (X) − dim Ker T^q

= dim E_0<µ≤λ,t^q (X) − dim Im T^q−1

= dim E_0<µ≤λ,t^q (X) − dim E_0<µ≤λ,t^q−1 (X) + dim Ker T^q−1 = · · ·

= Xq

j=0

(−1)^q−jdim E_0<µ≤λ,t^j (X). (15)

我們得到此定理。 

對每個 q = 0, 1, 2, . . . , n, dim (d_tE_0<µ≤λ,t^q (X)) ≥ 0 且當 q = n 時, dim (d_tE_0<µ≤λ,tⁿ (X)) = 0。 從這個簡單的觀察及定理 3.3, 我們得到 推論 3.4. 固定一個正實數λ ∈ R+. 對每個q = 0, 1, 2, . . . , n, 我們有

Xq j=0

(−1)^q−jdim E_0<µ≤λ,t^j (X) ≥ 0, (16)

且當q = n時, 我們有

Xn j=0

(−1)^q−jdim E_0<µ≤λ,t^j (X) = 0. (17) 我們現在可證明

定理 3.5. 固定一個正實數 λ ∈ R₊, (I) 對所有的 q = 0, 1, . . . , n, 我們有

dimH_t^q(X) ≤ dimE_≤λ,t^q (X). (18) (II) 對所有的 q = 0, 1, . . . , n, 我們有

Xq j=0

(−1)^q−jdimH_t^j(X) ≤ Xq

j=0

(−1)^q−jdimE_≤λ,t^j (X), (19) 且q = n時我們有等式, 也就是說

(III) Xⁿ

j=0

(−1)^jdimH_t^j(X) = Xn

j=0

(−1)^jdimE_≤λ,t^j (X). (20)

證明: 因為 dimH_t^q(X) 為特徵值為 0 的維數而 dimE_≤λ,t^q (X) 為特徵值為小於或等於 λ 的 維數, 所以 (18) 成立。

我們有 Xq

j=0

(−1)^q−jdimH_t^j(X) = Xq

j=0

(−1)^q−jdimE_≤λ,t^j (X) − Xq j=0

(−1)^q−jdimE_0<µ≤λ,t^j (X).

(21) 從 (21), (16) 及 (17), 我們立刻得到 (19) 及 (20)。  定理 3.5 及其衍生出來的概念推動了現代幾何分析學的發展。 從一般幾何分析的理論上來 說, 非常不容易準確的估計特徵值為 0 的空間。 定理 3.5 給了我們許多的彈性. 我們可試著估 計 dim E_≤λ,t^q (X) 對某個 λ 甚至可使 λ 依賴於 t, 從而得到有關 dim H_t^q(X) 的估計。 我們可 利用一般偏微分方程的工具證明如下的定理:

定理 3.6. 我們可找到一個常數 C > 0 及 t₀ > 0 使得當 t ≥ t₀ 時, 對所有的 q = 0, 1, 2, . . . , n, 我們都有

dim E_≤e^q _−Ct,t(X) = mq.

從定理 3.6 及定理 3.5, 我們立即得到定理 2.2 從而得到定理 1.3。 本文最後一節就是要 來證明定理3.6。 證明定理 3.6 的過程中, 我們需要一些基本的偏微分方程的工具。 因此, 在本 文最後一節中, 讀者可學習到如何用基本的偏微分方程的工具來研究幾何學上的問題。

4. 定理 3.6 的證明

我們首先證明存在一個常數 C > 0 及 t0 > 0 使得當 t ≥ t0 時, 對所有的 q = 0, 1, . . . , n, 我們都有 dim E_≤e^q _−Ct,t(X) ≥ mq。證明的思路是想辦法在這個空間 E_≤e^q _−Ct,t(X) 內造出 mq 個線性獨立的函數. 如此一來就可說明 dim E_≤e^q _−Ct,t(X) ≥ mq。 接下來就用一些 標準估計的方法證明 dim E_≤e^q _−Ct,t(X) ≤ mq, 我們就完成定理 3.6 的證明。

我們固定一個 q = 0, 1, 2, . . . , n。 給定一個 p ∈ Crit (f, q), 在 U_p 內, 我們總是假定 x = (x1, . . . , xn) 為滿足 (10) 的一組局部座標系且 x(p) = 0。 選定一個分割函數 (cut-off function) χ ∈ C₀^∞(U_p) 使得 χ 在 p 點附近為 1。 令

v(x) = e^−2t|x|2χ(x)dx1∧ · · · ∧ dxq ∈ Ω^q₀(Up) ⊂ Ω^q(X), (22) 其中 Ω^q₀(Up) 代表著所有在 Up 內取值在 q 形式 (q-form) 且有緊緻支集 (compact support) 的平滑截影 (smooth sections) 的集合, |x| =Pn

j=1|xj|²。 對每個 f ∈ Ω^q(X), 我們用 kf k 代表著 f 的 L² 範數, 也就是說 kf k² := ( f | f )。 我們有以下的引理:

引理 4.1. 固定一個j = 1, 2, . . .。 我們可找到一個常數 C_j > 0 及 t0 > 0 使得當 t ≥ t0 時,

我們有

(△^(q)t )^jv

≤ e^−Cjt. (23) 透過一些直接且簡單的計算, 我們不難得到引理 4.1。 我們省略引理 4.1 的證明, 有興趣 的讀者可參考 [3]。

我們現在固定一個 0 < C < C1, 其中 C1 > 0 是出現在引理 4.1 的常數。 我們把 L²_q(X) 記為 Ω^q(X) 對內積 ( · | · ) 的完備空間 (the completion of Ω^q(X) with respect to ( · | · ))。

令

P_≤e^q _−Ct : L²_q(X) → E_≤e^q _−Ct,t(X) (24) 為對內積 ( · | · ) 的垂直投影映射 (orthogonal projection with respect to ( · | · ))。 令

β := P_≤e^q _−Ctv ∈ E_≤e^q _−Ct,t(X). (25) 我們有如下重要的定理:

定理 4.2. 我們可找到一個常數 ε0 > 0 及 t0 > 0 使得當 t ≥ t0 時, 我們有

sup{|β(x) − v(x)| ; x ∈ X} ≤ e^−ε0t. (26) 證明: 這個定理的證明可讓讀者知道如何用基本的偏微分方程的工具來估計函數的大小。 我們 先引入一些符號。 我們先考慮 Rⁿ 的情形。 固定一個 Rⁿ 的積分元素 dv(x)。 給定一個 g ∈

C^∞(Rⁿ), 對每個非負整數 s, 我們用 kgk_s 代表著 g 的 s 階的索博列夫範數 (Sobolev norm of order s)。 也就是說

kgk²_s := X

α1+···+αn≤s

Z

Rⁿ

 (

∂

∂x1

)^α1· · · ( ∂

∂xn

)^αng  

2

dv(x),

其中 α₁, . . . , αn 均為非負整數。 利用單位分割 (partition of unity) 的技巧, 對流形 X 上取 值在 q 形式的平滑截影 h ∈ Ω^q(X), 我們仍然可定義 h 的 s 階的索博列夫範數。 我們依然 用 khk_s 代表著 h 的 s 階的索博列夫範數。 我們回憶一下偏微分方程理論裡的索博列夫不等 式 (Sobolev inequalities): 存在一個常數 ˆC > 0 使得對所有的 h ∈ Ω^q(X), 我們有

sup{|h(x)| ; x ∈ X} ≤ ˆC khk_2n. (27) 值得提醒讀者的是, 在(27)中, 範數 2n 不是最好的常數。 但在這邊, 2n 已足夠我們使用。

回到我們的情形。 我們將要利用 (27) 來估計 sup{|β(x) − v(x)| ; x ∈ X}。 由偏微分方 程理論裡的哥丁不等式 (Garding inequalities), 我們有^◦

kβ −vk_2n=

(I − P≤e^{q −Ct})v

2n≤ eCt^NXⁿ

j=1

(△^(q)t )^j(I −P_≤e^q _−Ct)v +

(I −P≤e^{q −Ct})v

 , (28) 其中 C > 0 及 N > 0 均為和 t, β 及 v 無關的常數。 由 (28) 及引理 4.1 可知, 存在一個常e 數 ε1 > 0 及 t1 > 0 使得當 t ≥ t1 時, 我們有

kβ − vk_2n ≤ e^−ε1t+

(I − P≤e^{q −Ct})v

. (29)

又由基本的譜理論 (spectral theory), 我們可知

(I − P≤e^{q −Ct})v ≤ e^Ct

△^(q)t v

≤ e^(C−C1)t, (30) 其中 C1 > 0 是出現在引理 4.1 的常數。 (從(30), 讀者可知我們為何要選 0 < C < C1。) 從 (29) 及 (30) 可知, 存在一個常數 ε2 > 0 及 t2 > 0 使得當 t ≥ t2 時, 我們有

kβ − vk_2n≤ e^−ε2t. (31) 從 (31) 及 (27), 我們得到 (26) 並完成此定理的證明。  令 Crit (f, q) = {p1, . . . , pmq}。 由定理 4.2 可知, 對每個 j = 1, 2, . . . , mq, 存在一個 βj ∈ E_≤e^q _−Ct,t(X) 使得

βj = e^−2t|x|2χ(x)dx1 ∧ · · · ∧ dxq+ O(e^−ε0t), (32) 其中χ ∈ C₀^∞(Upj) 使得 χ 在 pj 點附近為 1。 從 (32), 我們不難看出當 t 夠大時, β1, . . . , βmq

均為線性獨立的函數。 因此 dim E_≤e^q _−Ct,t(X) ≥ mq。 我們已證明了如下的定理:

定理 4.3. 存在一個常數C > 0及et0 > 0使得當t ≥ et0時, 我們都有 dim E_≤e^q _−Ct,t(X) ≥ mq.

令

A = Span {β1, . . . , βmq}. (33) 給定一個u ∈ Ω^q(X)。 我們寫成 u ⊥ A　如果　(u | βj) = 0, ∀j = 1, 2, . . . , mq。 為了要證 明 dim E_≤e^q _−Ct,t(X) ≤ mq, 我們需要如下的定理:

定理 4.4. 我們可找到一個常數 ˆC0 > 0及ˆt0 > 0使得當t ≥ ˆt0時, 對所有的u ∈ Ω^q(X), u ⊥ A, 我們有

(△^(q)_t u | u ) ≥ ˆC0t kuk². (34) 定理 4.4 的證明由基本幾何分析學上的 L² 估計及古典調和振盪器的基本性質所組成。 我 們把證明的精神及概要點出來, 其細節請參看 [3]。

令 U₀ = X −S

p∈Crit (f )Up, 其中 Up 為出現在引理 3.2 的臨界點 p 附近的開集。 令 U = {U₀}[

{U_p; p ∈ Crit (f )}.

U 為 X 上的一個開覆蓋 (open covering)。 考慮一組單位分割 {ϕU ∈ C₀^∞(U); U ∈ U}

有如下的性質:

X

U ∈U

ϕ²_U = 1 (35)

及

在 supp χ 上, ϕ_Up = 1, 對所有的 p ∈ Crit (f ), (36) 其中 χ ∈ C₀^∞(U_p) 為出現在 (32) 的分割函數。 不難證明滿足 (35) 及 (36) 的單位分割一定 存在, 我們把細節交給有興趣的讀者。 我們需要

引理 4.5. 我們可找到一個和 t 無關的常數 C₁ > 0 使得對所有的 t ≥ 0 及所有的 u ∈ Ω^q(X), 我們有

( △^(q)_t u | u ) ≥X

U ∈U

(△^(q)_t (ϕ_Uu) | ϕ_Uu ) − C₁kuk². (37)

透過分部積分 (integration by parts) 及一些基本的計算我們可得到 (37)。 我們省略證 明的細節, 有興趣的讀者可自行把細節補上或參考[3]。

註記 4.6. 若單位分割

{ϕU ∈ C₀^∞(U); U ∈ U}

滿足 P

U ∈UϕU = 1 而不是 P

U ∈Uϕ²_U = 1, 一般而言不會有 (37)。 選擇單位分割 {ϕU ∈ C₀^∞(U); U ∈ U}

滿足 P

U ∈Uϕ²_U = 1 的技巧常出現在幾何分析學上。

我們現在來估計 (△^(q)_t (ϕ_Uu) | ϕ_Uu )。 當 U = U₀ 時, 我們有以下的引理:

引理 4.7. 我們可找到一個常數 C₂ > 0 及 t₂ > 0 使得當 t ≥ t₂ 時, 對所有的 u ∈ Ω^q₀(U₀), 我們有

(△^(q)_t u | u ) ≥ C₂t kuk². (38) 特別的, 對所有的 u ∈ Ω^q(X), 我們有

(△^(q)_t (ϕU0u) | ϕU0u ) ≥ C2t kϕU0uk², ∀t ≥ t2. (39)

證明: 由標準微分幾何上的的Bochner 形式的式子的推導, 我們可得到

△^(q)_t = △ + t²|df |²+ O(t), (40) 其中 △ 為標準的德拉姆算子 (de-Rham Laplaican), O(t) 為零階的算子。 我們省略 (40) 的 證明, 有興趣的讀者請參閱 [3]。 注意在U₀, |df |² 恆大於一個正數, 且 (△u | u ) ≥ 0。 從這個 觀察及 (40), 我們立刻得到對所有的 u ∈ Ω^q₀(U₀), 我們有

(△^(q)_t u | u ) ≥ ˆC(t²kuk²− t kuk²), (41) 其中 ˆC > 0為一個常數。 從 (41), 我們立即得到 (38)。 

要估計 (△^(q)_t (ϕUpu) | ϕUpu ), p ∈ Crit (f ), 我們需要古典調和振盪器的基本性質。

4.1. ^{古典調和振盪器}

我們考慮歐式空間 Rⁿ。 我們在 Rⁿ 的切叢 (tangent bundle) T Rⁿ 上選定一個黎曼度 量 (Riemannian metric) 使得 _∂x^∂

1, . . . ,_∂x^∂

n 為一組正么交基底 (orthonormal basis)。 我們 把這個黎曼度量記為 h · | · i。 跟之前一樣, 我們固定一個 q = 0, 1, 2, . . . , n。 根據對偶性, 這個 在 T Rⁿ 上的黎曼度量引出 Λ^q(T^∗Rⁿ) 的一個度量。 我們也把這個度量記為 h · | · i。 讀者可驗 證

{dxj1∧ · · · ∧ dxjq; 1 ≤ j1 < j2 < · · · < jq≤ n}

為一組正么交基底。 令

f (x) = −1

2x²₁− · · · −1

2x²_ℓ +1

2x²_ℓ+1+ · · · + 1 2x²_n.

T Rⁿ 上的黎曼度量引出 Rⁿ 上的積分元素 dx 及 Ω^q(Rⁿ) := C^∞(Rⁿ, Λ^q(T^∗Rⁿ)) 上的一組 L² 內積 ( · | · )Rⁿ。 令

d^∗_t : Ω^q+1(X) → Ω^q(X)

為 d_t:= e^−tf ◦ d ◦ e^tf 根據 ( · | · )Rⁿ 而衍生出的伴 (adjoint)。 我們考慮如下的二階偏微分方 程

△^(q)_t,Rn := d_td^∗_t + d^∗_td_t: Ω^q(Rⁿ) → Ω^q(Rⁿ). (42) 值得注意的是, 當 p ∈ Crit (f, ℓ), 在 Up 內, △^(q)_t = △^(q)_t,Rn。給定一個 u ∈ Ω^q(Rⁿ), 我們寫 成 u ∈ Ω^q(Rⁿ)T

L²_q(Rⁿ) 如果 Z

Rⁿ

h u | u idx < ∞.

我們把 kuk²_Rn 記為 R

Rⁿh u | u idx。 令

β(x) = eˆ ^−t2|x|2dx1∧ · · · ∧ dxℓ ∈ Ω^ℓ(Rⁿ).

可容易驗證 ˆβ(x) ∈ Ω^ℓ(Rⁿ)T

L²_ℓ(Rⁿ)。

底下的兩個定理為古典調和振盪器的基本性質:

定理 4.8. 假設 ℓ 6= q。 我們可找到一個常數 C₃ > 0 及 t3 > 0 使得當 t ≥ t3 時, 對所有的 u ∈ Ω^q(Rⁿ)T

L²_q(Rⁿ), 我們有

( △^(q)_t,Rnu | u )Rⁿ ≥ C₃t kuk²_Rn. (43) 定理 4.9. 假設 ℓ = q。 我們可找到一個常數 C4 > 0 及 t4 > 0 使得當 t ≥ t4 時, 對所有的 u ∈ Ω^q(Rⁿ)T

L²_q(Rⁿ), 我們有

( △^(q)_t,Rnu | u )Rⁿ ≥ C₄t

kuk²_Rn− tⁿ² 

( u | ˆβ )Rⁿ

2

. (44)

定理 4.8 及定理 4.9 可從基本的譜理論及泛函分析導出, 其證明可參看[3]。 因古典調和振 盪器的理論在現今的幾何分析扮演著重要角色, 我們打算另寫一篇文章介紹給數學傳播的讀者。

有了定理 4.8 及定理 4.9 之後, 我們可證明

引理 4.10. 固定 p ∈ Crit (f ) 但 p /∈ Crit (f, q)。 我們可找到一個常數 C5 > 0 及 t5 > 0 使得當 t ≥ t5 時, 對所有的 u ∈ Ω^q(X), 我們有

(△^(q)_t (ϕUpu) | ϕUpu ) ≥ C5t ϕUpu

². (45)

證明: 我們把 ϕUpu 看成 Rⁿ 上的函數, 且顯然的 ϕ_Upu ∈ Ω^q(Rⁿ)T

L²_q(Rⁿ)。 注意, 在Up內,

△^(q)_t = △^(q)_t,Rⁿ, 且( · | · ) = ( · | · )^Rn。 從這個觀察及定理 4.8, 我們可找到一個常數 C₅ > 0 及 t₅ > 0 使得當 t ≥ t₅ 時, 我們有

(△^(q)_t (ϕUpu) | ϕUpu ) = (△^(q)_t,Rn(ϕUpu) | ϕUpu )Rⁿ

≥ C5t ϕUpu

²_Rn = C5t ϕUpu

².

我們已證明了此引理。 

引理 4.11. 固定 p ∈ Crit (f, q)。 我們可找到一個常數 C₆ > 0, t6 > 0 及 ˆε0 > 0 使得當 t ≥ t6時, 對所有的 u ∈ Ω^q(X), u ⊥ A (我們提醒讀者, A 由 (33) 所給定。), 我們有

(△^(q)_t (ϕUpu) | ϕUpu ) ≥ C6

 t

ϕUpu

²− e^−ˆε0tkuk²

. (46)

證明: 和上一個引理的證明一樣, 我們把 ϕUpu 看成 Rⁿ 上的函數, 且顯然的 ϕUpu ∈ Ω^q(Rⁿ) TL²_q(Rⁿ)。 我們要應用定理4.9來證明此引理。 從 (44) 的右式可知, 我們要先估計

( ϕ^Upu | ˆβ )^Rn 

。 我們有

( ϕUpu | ˆβ )Rⁿ= ( ϕUpu | e^−t2|x|2dx1∧ · · · ∧ dxq)Rⁿ

= ( ϕUpu | χ(x)e^−2t|x|2dx1∧ · · · ∧ dxq)^Rn

+( ϕUpu | (1 − χ(x))e^−2t|x|2dx1∧ · · · ∧ dxq)Rⁿ, (47) 其中 χ ∈ C₀^∞(Up) 為出現在 (32) 的分割函數。 因為 χ 在原點附近為 1, 所以 (1−χ(x))e^−2t|x|2 會呈現指數形式的遞減。 由這個觀察不難得知, 存在一個 ε₁ > 0 使得

( ϕ^Upu | (1 − χ(x))e^−t2|x|2dx1∧ · · · ∧ dxq)^Rn

 ≤ e^−ε1t ϕUpu

. (48) 我們現在來估計 ( ϕ_Upu | χ(x)e^−2t|x|2dx1∧ · · · ∧ dxq)^Rn。 從 (36), 我們有

( ϕ_Upu | χ(x)e^−t2|x|2dx₁∧ · · · ∧ dx_q)Rⁿ

= ( u | χe^−t2|x|2dx1∧ · · · ∧ dxq)^Rn

= ( u | χe^−t2|x|2dx1∧ · · · ∧ dxq)

= ( u | β + O(e^−ε0t) ) (我們這邊用到了(26))

= ( u | O(e^−ε0t) ) (我們這邊用到了 u ⊥ A), (49) 其中 ε₀ > 0 為一個常數。 從 (47), (48) 及 (49), 我們得到存在一個 ε2 > 0 及 eC > 0 使得

( ϕ^Upu | ˆβ )^Rn

 ≤ eCe^−ε2t

kuk + ϕUpu



. (50)

從定理 4.9 及 (50), 我們可找到一個常數 ˆC6 > 0, ˆt6 > 0 及 ε3 > 0 使得當 t ≥ ˆt6 時, 我們 有

( △^(q)_t (ϕUpu) | ϕUpu ) = (△^(q)_t,Rⁿ(ϕUpu) | ϕUpu )Rⁿ

≥ C4t ϕUpu

²_Rn − tⁿ² 

( ϕ^Upu | ˆβ )^Rn  

2

≥ ˆC6

 t

ϕUpu

²− e^−ε3tkuk²

, (51)

其中 C4 > 0 為出現在定理 4.9裡的常數。 從(51), 我們完成此引理的證明。  我們現在可以證明定理 4.4。

定理 4.4 的證明: 令 ˆt0 = max{t2, t5, t6}, 其中 t2 > 0, t5 > 0, t6 > 0 為出現在引理 4.7, 引理 4.10, 引理 4.11 的常數。 給定一個 u ∈ Ω^q(X), u ⊥ A。 從(37), (39), (45)及(46), 我 們有

( △^(q)_t u | u ) ≥X

U ∈U

( △^(q)_t (ϕUu) | ϕUu ) − C1kuk²

= ( △^(q)_t (ϕU0u) | ϕU0u ) + X

p∈Crit (f ),p /∈Crit (f,q)

( △^(q)_t (ϕUpu) | ϕUpu )

+ X

p∈Crit (f,q)

( △^(q)_t (ϕUpu) | ϕUpu ) − C1kuk²

≥ C2t kϕU0uk² + C5

X

p∈Crit (f ),p /∈Crit (f,q)

t ϕUpu

²

+C6

X

p∈Crit (f,q)

(t ϕUpu

²− e^−ˆε0tkuk²) − C1kuk², (52)

其中 C₁ > 0, C₂ > 0, C₅ > 0, C₆ > 0 及 ˆε > 0 為出現在 (37), (39), (45) 及 (46) 的常 數。 透過簡單的計算可知, 存在一個 eC > 1 使得

C₂t kϕ_U0uk²+ C₅ X

p∈Crit (f ),p /∈Crit (f,q)

t

ϕ_Upu ²

+C6

X

p∈Crit (f,q)

(t ϕUpu

²− e^−ˆε0tkuk²) − C1kuk²

≥ t

Cekuk²− eC(1 + e^−ˆε0t) kuk². (53)

從 (53) 及 (52), 我們完成定理 4.4 的證明。 

我們現在可以證明定理 3.6。

定理 3.6 的證明: 顯然的, 我們可找到一個 t1 > 0 使得對所有 t ≥ t1, 我們有 ˆC0t > e^−Ct, 其中 C > 0 及 ˆC₀ > 0 為出現在定理 4.3 及定理 4.4 的常數。 令 t₀ = max{et₀, ˆt₀, t₁}, 其中 et0 及 ˆt₀ 為出現在定理 4.3 及定理 4.4 的常數。 根據定理 4.3, 我們知道對所有的 t ≥ t₀, 我們 有

dim E_≤e^q _−Ct,t(X) ≥ mq.

我們現在要證明對所有的 t ≥ t0, 我們有 dim E_≤e^q _−Ct,t(X) ≤ mq. 假設dim E_≤e^q _−Ct,t(X) >

mq, 對某個t ≥ t0. 根據基本的線性代數, 我們知道存在一個非零的函數u ∈ E_≤e^q _−Ct,t(X),u ⊥ A. 由定理4.4, 我們有

(△^(q)_t u | u ) ≥ ˆC0t kuk². (54) 因為 u 在這個空間 E_≤e^q _−Ct,t(X), 由簡單的運算可知

(△^(q)_t u | u ) ≤ e^−Ctkuk². (55) 由 (54) 及 (55), 我們得到 ˆC0t ≤ e^−Ct. 因為 ˆC0t > e^−Ct, 我們得到矛盾, 因此

dim E_≤e^q _−Ct,t(X) ≤ mq. 我們已完成定理 3.6 的證明。  從定理 3.6 及定理 3.5, 我們立即得到定理 2.2 從而得到古典摩斯不等式。

參考文獻

1. J. Milnor, Morse Theory, Ann. Math. Studies, 51, Princeton University Press, 1963.

2. E. Witten, Supersymmetry and Morse theory, J. Diff. Geom., 17, 661-692, 1982.

3. 何福軒, 學士論文, 準備中.

—

_—

2016 全國技專院校 「文以載數創作獎」 作品選集

互補 ^文 _/ ^鄭婷予

你是我的補角, 能夠恰巧地填補我的銳角;

我是你的補角, 能夠恰巧地填補你的鈍角。

因為互補, 我們平穩在一起。

—本文作者就讀文藻外語大學法國語文系—