平均值性質與最大值原理

取平均的奇蹟

上一篇導讀裡，你認識了 調和函數——拉普拉斯方程 Laplacian u = u_xx + u_yy = 0 的解——把它們看作擴散的穩態，是薄膜或溫度在一切變化都停下後安頓成的形狀。那是物理。現在登場的，是賦予調和函數全部性格的那個性質，而它乾淨得近乎不講道理。取任一個調和的 u，挑任一點，繞著它畫一個圓（三維裡是球面）。u 在圓心的值，等於 u 在整個圓周上的平均。不是近似——是精確相等，對任何能塞進區域裡的半徑都成立。

u(center)  =  average of u over the circle of radius r

           =  (1 / 2*pi*r) * (integral of u around the circle)

  holds for EVERY r small enough that the disk stays inside the region

平均值性質：調和函數在圓心的值，就是它在任何一圈圓周上各值的真正平均。

這就是 平均值性質，而它有多強，值得你停下來細想。一般的函數想怎樣就怎樣；調和的函數卻被一整列無窮多的取平均約束綁住，每一點、每一個半徑各算一條，同時成立。直覺上，Laplacian u 量的是 u 在一點上比它鄰居的平均高出多少——這正是二階導數加總起來的意思。把這個超出量設為零，等於說：u 在任何地方都不會凸出於、也不會凹陷於它的局部周遭。平均值性質，不過就是把這種「與鄰居取平衡」積分到任意大小的圓周上。

為什麼平均會被鎖定

這裡給出簡短的論證，因為它真的很短，而且能讓你看到 Laplacian u = 0 在哪裡發揮作用。把 M(r) 定義成 u 在以某固定圓心為中心、半徑 r 的圓周上的平均。當 r 增大，圓周向外掃過，所以 M 對 r 的變化率，由 u 在向外（法向）方向上的變化沿整個圓周加總所主宰。散度定理把那個邊界上的加總，化成 Laplacian u 在所圍圓盤上的積分。但 u 是調和的，所以內部處處 Laplacian u = 0——積分為零，M'(r) = 0，於是無論圓變大或變小，平均都動也不動。

現在把半徑一路縮到零。當 r 趨於 0，圓周坍縮到圓心上，所以它的平均必定趨近圓心值 u(center)。既然 M(r) 對 r 是常數，那個極限就是它在每一個 r 上的值：任何圓周上的平均都等於 u(center)。這就是整個證明。注意它是真正雙向的——可以證明：任何具有平均值性質的連續函數自動是調和的，而且作為附帶獎賞，是無窮可微的。所以 拉普拉斯方程 與取平均規則，不只是相關；它們是同一句話穿著兩套衣服。

內部沒有山峰：最大值原理

取平均規則有個立刻而鮮明的後果。假設 u 在某個內部點 p 取到它的最大值。繞著 p 畫一個小圓。圓心值 u(p) 是那一圈上各值的平均——但平均絕不可能超過被平均的那些數裡最大的一個，而且唯有當圓周上每一個值都等於它時，平均才等於那個最大值。於是 u 必定在那整圈圓上都已經達到它的最大值。把圓挪一挪，重複，最大值就傳遍整個連通區域：u 是常數。這就是 強最大值原理——一個非常數的調和函數，無法在任何內部點取到它的最大值（同理把論證用在 -u 上，也無法取到最小值）。

它在實務上的面貌，是 弱最大值原理：在任何有界閉區域上，調和函數在邊界上取到它的最大值與最小值。內部藏不住任何意外——沒有偷偷高過邊緣的尖峰，沒有暗中低於地板的凹陷。想像一張肥皂膜繃在一圈彎折的鐵絲上：膜是調和的，它在任何地方都不會鼓出超過鐵絲的最高點，也不會垂落低於鐵絲的最低點。邊界的框架把內部的一切都框住了。最大值原理 正是這項保證，也是整套理論的主力。

唯一性免費掉出來

這裡是讓最大值原理不可或缺的回報。假設你想解狄利克雷問題——在一個區域內部找一個調和的 u，使它在邊界上取指定的值——而你擔心會不會有兩個不同的答案。兩個調和函數能不能共用同一份邊界資料，內部卻不一樣？最大值原理說不行，而證明只有三行。設 u 與 v 都是調和的，且邊界值相同，作它們的差 w = u - v。

w = u - v 也是調和的（拉普拉斯算子是線性的，所以 Laplacian w = Laplacian u - Laplacian v = 0）。
在邊界上 u 與 v 相等，所以 w 在那裡等於 0。w 的邊界最大值與最小值都是 0。
由最大值原理，w 的內部值落在它的邊界最大與最小值之間——也就是落在 0 與 0 之間。所以 w 整個區域上都等於 0。
因此 u = v 處處成立。狄利克雷問題至多有一個調和解。

這就是唯一性，包裝得漂漂亮亮。它是一個問題稱為適定所需的一半：存在（解存在）、唯一（只有一個）、穩定（資料的小改變只給出解的小改變）。最大值原理直接把唯一性交到你手上，也把穩定性交給你——若兩份邊界資料相差至多某個小 epsilon，同一套 w 論證會把解的內部差也界在 epsilon 之內。所以邊界量測上一個微小的誤差，在內部也只能造成微小的誤差。橢圓型的狄利克雷問題穩定得很漂亮，與把 熱方程 倒著時間跑形成鮮明對比——後者出了名的不適定，正是因為沒有這樣一條原理護著它。

這條原理在各處為你換來什麼

一旦握有最大值原理，整箱工具就此打開。比較：若兩個調和函數在邊界上有大小次序，它們在內部仍保持那個次序——邊緣上的一道籬笆，就是處處的籬笆。先驗界：在你還不知道解是否存在之前，你就已經知道它逃不出邊界資料的範圍，而這正是後來用來證明存在性的著力點。還有一條動人的整體定理，劉維爾定理：在整個平面上保持有界的調和函數必為常數。把取平均的壓力施加到任意大的圓上，根本不容許一個有界的調和函數有半點變動。

對這條邊界原理的邊界，值得誠實以對。它需要一個有界區域——在無界定義域上，一個調和函數可以一路增長卻在任何地方都不取到最大值，所以你必須在無窮遠處補上一個條件。它是專門關於調和函數的陳述；一旦你換成帶源項的 拉普拉斯方程，也就是 Laplacian u = f（帕松方程，在兩篇之後），一點上的值會是邊界平均「加上」源項帶來的修正，純粹的取平均就不再成立。而且這條原理管的是 u 本身，不是它的斜率——一個調和函數即使值很溫馴，仍可能在邊界上有陡峭的梯度，而這正是下一篇導讀裡，霍普夫邊界引理為諾伊曼問題所銳化的東西。

退一步，感受一下，從一句話竟長出了這麼多。「圓心的值是它周圍的平均」給了我們光滑性、內部沒有極值、狄利克雷問題的唯一性與穩定性、比較、先驗界，以及劉維爾定理——整套橢圓型理論的脊樑，全都倚靠一個連小孩都能說出口的想法。下一篇導讀，會把這套機制放到真正的邊界值問題上，也就是 狄利克雷問題與諾伊曼問題，到那時我們不再問調和函數「不能」做什麼，而開始動手建造我們想要的那一個。