均值性質回答不了的那個問題
上一篇指南裡你見過均值性質：調和函數在一個圓的圓心處的值，等於它在這個圓周上各值的單純平均。這是個漂亮的事實，但細讀它，你會發現它只談圓心。它從整圈邊界告訴你那一個特別點上的值，卻對任何偏離圓心的點隻字不提。然而偏離圓心的那些點，正是物理學家想要的：若 u 是一塊金屬圓盤的穩態溫度，而你把整圈邊緣的溫度固定住，那麼半路朝邊緣走去的某一點上的溫度是多少？均值性質只能聳聳肩。
這就是狄利克雷問題，平面位勢論的核心問題。乾淨地敘述：給定圓盤邊界圓上的一個連續函數 f，求一個在圓盤內部調和、且當你走向邊界時趨近於 f 的函數 u。狄利克雷問題是上百種物理情境的數學骨架——邊緣溫度被指定的穩態熱、帶電極板間的靜電位勢、被夾在金屬絲圈上的肥皂膜的位移。每一種情形裡，內部都服從拉普拉斯方程，而邊界由外部來規定。本篇指南的目標，是一個能解它的公式。
卜瓦松積分：一個能看見每個內部點的加權平均
關鍵的一躍在這裡。均值性質以相等的權重平均邊界，所以它只能看見圓心——在那裡每個邊界點都真正等距。要抵達一個偏離圓心的點 z（它離邊緣的某一段弧比另一段更近），我們就必須以不相等的權重平均邊界，把較多的份量壓在鄰近的弧上、把較少的份量留給遙遠的弧。卜瓦松核正是這一組權重。對單位圓盤，卜瓦松積分公式在內部點 z = r e^(i phi) 處的值，是邊界資料 f(e^(i theta)) 的加權平均，權重即卜瓦松核 P_r(phi - theta) = (1 - r^2) / (1 - 2 r cos(phi - theta) + r^2)。
u(r e^(i phi)) = (1 / 2 pi) * integral_0^(2 pi) P_r(phi - theta) f(e^(i theta)) d theta Poisson kernel: P_r(phi - theta) = (1 - r^2) / (1 - 2 r cos(phi - theta) + r^2) at the centre r = 0: P_0 = 1 -> u(0) = ordinary average of f (mean-value property!) properties: P_r > 0 and (1/2 pi) integral_0^(2 pi) P_r d theta = 1 (a true averaging weight)
看看核的行為，整套機制便清晰可見。分子 1 - r^2 在邊界上處處相同；真正在掌舵的是分母。當 phi - theta 很小——也就是邊界點 e^(i theta) 正落在我們瞄準的方向上——餘弦接近 1，分母 (1 - r)^2 很小，於是權重 P_r 很大。當邊界點落在遠側，餘弦接近 -1，分母 (1 + r)^2 很大，權重就很小。所以這個核自動把聚光燈打在離 z 最近的那段邊緣上。當 r 攀向 1、z 滑向邊界，那道聚光燈便收窄成一根尖峰，平均值便鎖定在它正前方的那單一邊界值上。
為何這個公式真正解決了問題
一個公式唯有做到兩件事才算是解：它造出的內部必須調和，它趨近的邊界必須是給定的 f。卜瓦松積分通過了這兩項考驗，值得看看為什麼，因為理由是誠實的、並不靠魔法。對第一點，卜瓦松核 P_r(phi - theta) 作為內部點 z 的函數，本身在 z 中就是調和的——它是一個簡單全純表達式 (w + z)/(w - z)（其中 w = e^(i theta) 在邊界上）的實部。把若干調和的核以固定數值 f(e^(i theta)) 加權平均，結果仍是調和的。所以 u 直接從核那裡繼承了調和性。
對第二件事——u 在邊界處抵達 f——回想那道聚光燈。當 z 移向邊界點 e^(i theta_0)，核把它幾乎全部的權重堆到 theta_0 周圍的一小段弧上，而因為 P_r 的積分恰為 1，這個加權平均便本質上變成 f(e^(i theta_0))。一個能做到這件事的核，技術上叫做近似單位元：一族在極限時集中到單一點的權重。我們真正需要的唯一假設，是 f 連續，好讓那一小段弧上的值全都接近 f(e^(i theta_0))；一個劇烈不連續的 f，恰會在它的跳躍處與極限不符。
而唯一性是上一篇指南送來的禮物。設有兩個調和函數都取了邊界值 f。它們的差是調和的，且在整圈邊界上等於零。由調和函數的極大值原理，一個內部調和、邊界為零的函數，在任何地方都不可能升到零以上（它的極大值住在邊界上），也不可能降到零以下（對它的負函數套用同一論證），所以它恆等於零。那兩個解自始至終就是同一個。這正是我們可以說「那個解」的緣故：卜瓦松積分不只找到一個解，它找到了唯一的那個。
一個小小的範例：偏心處的溫度
數字讓這一切落地。把邊緣的右半（cos theta > 0 處）加熱到 1 度、左半到 0 度，這是圓上的一個階梯函數。圓心處的穩態溫度是多少？均值性質立刻回答：對一個在半圈為 1、另半圈為 0 的函數做相等加權，恰得 1/2。由對稱性這也合乎直覺——正中心同時感受到熱側與冷側相等的拉力。現在問那個均值性質回答不了的問題：朝熱側走到半路、譬如在正實軸上的 z = 1/2 處，溫度是多少？
現在卜瓦松核派上用場了。在 z = 1/2 處（即 r = 1/2、phi = 0），核偏向 theta = 0、也就是熱弧的核心，而背離冷的左側。不必磨完整個積分，你已能有把握地預測定性的答案：溫度必定高於 1/2，因為現在的加權偏袒熱的那一半。把卜瓦松積分算完便證實了這點——值約為 0.69。離熱緣較近的點比圓心更熱，恰如一塊真實的受熱板那樣，而公式交出的是精確的數字，不只是趨勢。這正是均值性質永遠給不了的回報。
從圓盤到處處：共形移植
圓盤只是一種形狀；世界滿是其他形狀——半平面、正方形的內部、機翼外的區域。在每一個上頭從頭再解一次狄利克雷問題，會是絕望的。出路是這門學科中最美的統一之一：共形映射保持調和性。若 w = g(z) 是一個把區域 D 一對一地映到單位圓盤的全純映射，而 U 在圓盤上調和，那麼 U 與 g 的合成在 D 上也調和。共形映射是這兩個邊界值問題之間的完美譯者，於是單單一個解出來的情形——圓盤——便開啟了一整族區域。
- 找一個共形映射 w = g(z)，把你的區域 D 映到單位圓盤，並記下它把 D 的邊界送到邊界圓上的何處。
- 搬運邊界資料：D 的某個邊界點上所指定的值，變成它在單位圓上像點處的值，於是得到一個在圓盤上的狄利克雷問題。
- 用卜瓦松積分解這個圓盤問題，得到圓盤上的一個調和函數 U。
- 把答案拉回來：u(z) = U(g(z)) 在 D 上調和、且匹配原本的邊界資料——這就是你那真實區域上的解。
兩條誠實的告誡，使這不至於成為免費的午餐。第一，你必須真的找到那個共形映射，對於難纏的區域那可能正是困難所在——最簡單的形狀用一個莫比烏斯變換就行，但多邊形需要更笨重的施瓦茨-克里斯托費爾機器。第二，黎曼映射定理保證：對任何不是整個平面的單連通區域，映到圓盤的映射存在，但它是非構造性的——它應許了譯者，卻不把它的話語交給你，而且它特意排除了整個平面（在那裡，由劉維爾定理，有界的調和函數必為常數，於是邊界值的遊戲整個變了樣）。
卜瓦松積分接著交給你什麼
兩個推論直接從公式裡掉出來，值得各給一個名字。因為核 P_r 嚴格為正，非負的邊界資料便迫使 u 非負，而把核夾在它的最小值與最大值之間，這就化為一個雙邊估計：在任何固定的內部半徑上，一個正調和函數的值都被困在它圓心值的固定倍數之間。這就是哈納克不等式，哈納克不等式是位勢論大半部分背後那塊量化的肌肉——它說正調和函數不能變動得太狂野，並驅動了遞增調和函數序列的收斂定理。
還有一個值得細品的逆命題，因為它把本篇指南繫回這個階梯的最開頭。我們建造卜瓦松積分，是為了從邊界資料解出一個調和函數。但把邏輯倒過來走：可以證明，一個在每一點都滿足均值性質的連續函數自動是調和的，且自動就是它自己邊界值的卜瓦松積分。於是均值性質、卜瓦松積分、調和性，以及身為全純函數的實部，是同一個物件的四張面孔。第一篇指南的那條線——調和函數即全純函數的實部——與本篇的那條線，在此處打成一個結。
本階梯的最後一篇指南，把共形的想法當作物理來認真對待。一旦你接受調和函數 u 總有一個調和的夥伴 v，這一對便併成一個單一的全純複位勢 f = u + i v，而它的導數編碼了一股流動——熱的、電荷的、理想流體的。共形映射於是成了一件設計工具：把圓盤中一股簡單的流，彎折成繞過一個真實障礙物的流。你在這裡建起的一切——卜瓦松解、共形移植、極大值原理——都將成為那幅物理圖景的引擎室。