調和映射與狄利克雷能量

映射的能量：彎曲空間之間的拉伸代價

第一篇量度了一條曲線——一個從區間出發到流形的映射——的能量，並發現測地線是它的臨界點。第二篇看見同樣的把戲拯救了普拉托問題：極小化一個從圓盤出發的映射的狄利克雷能量，而非直接極小化面積，因為能量是凸的而面積不是。本篇把這個把戲從一件工具升格為主題本身。取任意一個介於兩個黎曼流形之間的光滑映射 f: M -> N，並問世上最自然的問題：它拉伸了多少？答案是一個數，它的狄利克雷能量，而使它臨界的那些映射就是調和映射——彎曲空間之間「最平滑可能映射」的正確概念。

誠實地把能量建起來，因為日後每一條公式都從這一條讀出。在 M 中一點 p，微分 df 把切空間 T_p M 送進 T_{f(p)} N——它是兩個內積空間之間的線性映射，因此有一個良定的大小。逐點的能量密度 e(f) 是 df 的希爾伯特-施密特範數平方的一半，在座標下為 (1/2) g^ij h_ab (df^a/dx^i)(df^b/dx^j)，其中 g 是 M 上的度量（升指標為 g^ij），h 是 N 上的度量。於是 E(f) = integral over M of e(f) dV_g，總能量，用的是 M 的黎曼體積。請注意兩個度量都出現了：g 說如何在定義域上累加，h 說如何在目標中量度拉伸。一個調和映射是同時在兩個彎曲幾何之間達成的一種平衡。

一階變分：張力場

現在做本級總在做的事——算一階變分。把 f 推過一族映射 f_s，其變分場 V = d/ds（取 s = 0），是拉回切叢 f*TN 的一個截面（在每一點 p，V(p) 住在 T_{f(p)} N 中，告訴你像點被往哪推）。把 E(f_s) 微分，用沿 f 拉回的 N 上列維-奇維塔聯絡分部積分，當 V 在邊界上消失或 M 為閉時邊界項落掉。存留下來的是 dE/ds（取 0）= - integral over M of h(V, tau(f)) dV_g。與變分配對的那個對象是張力場 tau(f)——曲線的加速度、或曲面的平均曲率向量 H 的調和映射對應物。

energy density:   e(f) = (1/2) g^ij h_ab (df^a/dx^i)(df^b/dx^j)
total energy:     E(f) = integral over M of e(f) dV_g

first variation:  dE/ds |_0 = - integral over M of h(V, tau(f)) dV_g

tension field (coordinates, Gamma~ = Christoffel symbols of N):
   tau(f)^a = Delta_M f^a  +  g^ij Gamma~^a_bc (df^b/dx^i)(df^c/dx^j)

HARMONIC MAP   <=>   tau(f) = 0

special cases:
   N = R          tau(f) = Delta f          (harmonic function)
   M = interval   tau(f) = nabla_{c'} c'    (geodesic equation)

能量、它的一階變分，以及其消失即定義調和映射的張力場——連同證成此名的兩個極限情形。

讀張力場的公式，你便在一行裡看見整個主題：tau(f)^a = Delta_M f^a + g^ij Gamma~^a_bc (df^b/dx^i)(df^c/dx^j)。第一塊是定義域的拉普拉斯算子作用在每個分量上——「線性」部分。第二塊攜帶著「目標」的克氏符號，對 f 的一階導數是二次的——「非線性」部分，它正是 N 的曲率硬擠進來。所以調和映射就是張力場消失的映射，tau(f) = 0，一個擬線性橢圓系統。當目標平坦時它坍縮為一組解耦的拉普拉斯方程；目標的曲率是全部困難的源頭，恰與環繞曲率使測地線方程與極小曲面方程變難的方式相平行。

同一概念的三張面孔

調和映射值得你關注，是因為許多你早已熟識的對象，暗中正是喬裝過的調和映射。如本級所堅持，以例子開路。其一：當目標為 R，你尋回調和函數，Delta f = 0——原型。其二：當定義域為圓或區間，調和映射「就是」測地線，正是第一篇所研究的對象；一條閉測地線是一個從 S^1 出發的調和映射。這兩個極端在你遇上任何困難情形之前，就從兩側把這概念釘牢。

第三張面孔合攏了第二篇開啟的圈圈，而它最為漂亮。設定義域 M 是一張「曲面」，而映射 f 為共形——它保角，在每一點向各方向等量拉伸（想想共形參數化）。則一條了不起的恆等式成立：f 為調和的，若且唯若它的像是一張（可能帶分歧的）極小曲面。這正是道格拉斯與拉多能藉極小化能量而非面積來解普拉托問題的原因——一個共形的能量極小元自動面積極小且為極小曲面。第二篇那個「絕妙的替換」絕非偶然：來自曲面的調和映射與極小曲面，是同一個臨界點問題的兩種觀看方式，而共形性是兩者間的字典。

調和映射存在嗎？鬆弛一個映射的熱流

存在性才是真正的獎賞，而最深的概念正於此處登場。有人交給你一個映射 f: M -> N 的同倫類，並問：其中是否有一個調和映射？天真的計畫——取能量遞降趨向下確界的映射再取極限——撞上與第二篇普拉托同一堵牆：極限可能把能量集中在點上而「冒泡」出一個球面，逃出該類。妙手是動態的。不在一躍中極小化，而讓映射沿能量「向下流動」，循 E 的最速下降。那個流就是調和映射熱流，df/dt = tau(f)，一條非線性的幾何熱方程：張力場是能量梯度的負值，於是映射持續鬆弛，如熱體散熱般卸下能量。

從你給定的映射 f_0 啟動此流，依 df/dt = tau(f) 演化它，這是狄利克雷能量的負梯度流；能量 E(f_t) 隨時間 t 單調不增，故映射只會愈來愈平滑。
若此流對一切時間存在並在 t -> infinity 時收斂，極限滿足 tau = 0——它是一個與 f_0 同倫的調和映射，正是你所要的；此流替你完成了極小化。
關鍵在於此流能否永遠運行而不形成奇異點；這由「目標」N 的曲率裁定，正是存在定理的精確內容。

里程碑式的結果是伊爾斯-桑普森定理（1964）：若 M 緊緻，且目標 N 具非正截面曲率，則從任意光滑 f_0 出發的調和映射熱流對一切時間存在，並收斂到一個與 f_0 同倫的調和映射。陳述假設，切莫只說口號：緊緻定義域，非正彎曲的目標。曲率條件並非裝飾——它正是一段博赫納-魏岑伯克計算用以控制流沿途的能量密度、禁止爆破所需的東西，也恰是第四、五篇將單獨拎出的那條假設。卸下它，結論便可能失效：射入球面（正彎曲）的映射確實會冒泡，伊爾斯-桑普森不適用。這是一條假設鋒利的真定理，而非普世的保證。

你已建起什麼，以及它接下來流向何方

退一步，本級宏大的對應如今已三列高。從一個映射的狄利克雷能量你抽出一個一階變分；其消失即 tau(f) = 0，調和映射的定義——推廣了調和函數（目標 R）、測地線（定義域為區間），以及在共形意義下的極小曲面。存在性不靠靜態的極限贏得，而靠一條把任意映射沿能量向下鬆弛的動態熱流，伊爾斯-桑普森定理在一條誠實的曲率假設下確保了收斂。組織了測地線與極小曲面的那同樣三步——能量、臨界方程、流——如今組織了映射。

兩條線索徑直奔入本級其餘部分。坐鎮張力場核心的拉普拉斯-貝爾特拉米算子正是接下兩篇的明文主題：第四篇建起它與霍奇拉普拉斯算子並證明霍奇分解，第五篇把博赫納-魏岑伯克公式——驅動伊爾斯-桑普森的那條恆等式——開展為特徵值估計與對幾何流的第一次認真審視。你方才遇見的調和映射熱流，是守在本級終點的平均曲率流與里奇流的溫和表親；你已在微縮尺度上見過，一條流與一條曲率假設如何協力逼出存在性。把那個模式帶向前——它正是現代幾何分析的引擎。