弗拉格門-林德洛夫原理與三線定理

為何在無界區域上最大模原理需要援手

本階梯的每一條定理都倚著同一個事實：非常數的全純函數在內部不能有 |f| 的最大值，所以它的大小由邊界值掌控。這就是最大模原理，也正是兩篇之前驅動施瓦茨引理的東西——在圓盤邊界上界住 f，你便處處界住了內部。陷阱藏在「邊界」這個詞裡：原理乾淨的版本要的是一個有界區域，那裡邊界才真正把一切都圍了起來。

走到無界區域，這個保證可能崩潰。取右半平面 Re z > 0 與函數 f(z) = e^(e^z)。在邊界虛軸 z = i y 上，e^z = e^(i y) 落在單位圓上，所以 |e^z| = 1，而 |f(z)| = |e^(e^(i y))| 被一個固定常數界住。邊界值十分溫馴。然而沿正實軸 f(x) = e^(e^x) 爆炸得比你能說出的任何疊塔都快。邊界上的有界性，在內部什麼也沒替我們買到。

弗拉格門-林德洛夫的點子：跑贏那個失控者

這個修補美妙地簡單。弗拉格門-林德洛夫原理說：若 f 在無界的帶狀區域或扇形上全純、在邊界上被 M 界住，且在內部成長得不太快，那麼 f 處處被 M 界住——天真的最大模原理被救了回來。「不太快」這句話是承重的，它依區域的形狀來校準。上面的反例 e^(e^z) 恰恰是成長得太快的函數，這正是它掙脫繩索的原因。

證明的手法是個值得收藏的小技巧。你不能直接把最大模原理用在 f 上——區域是無界的。於是你把 f 乘上一個微小的馴化因子，一個大小僅略低於 1、卻在無窮遠處衰減得恰好夠快、能把 f 乘 g 在那裡拖到零的函數 g(z)。在帶狀區域一塊很大但有限的部分上，f 乘 g 此時在整條邊界上真正受控，普通的最大模原理便能套用，你讀出 f 乘 g 的一個界。接著讓馴化的強度趨於零，你想要的 f 的界便存活下來。

三線定理：橫越帶狀區域的對數凸性

現在特化到最有用的形狀：鉛直帶狀區域 a <= Re z <= b。設 f 在這條帶上全純且有界。對每一條鉛直線 Re z = x，記 M(x) 為 |f| 沿該線的上確界——f 在水平位置 x 達到的最大尺寸。帶狀區域的邊界是兩條外側的線，那裡的值 M(a) 與 M(b) 已知。三線定理回答的問題是：在介於 a 與 b 之間的內部位置 x，M(x) 能有多大？

答案是一個乾淨的不等式：log M(x) 是 x 的凸函數。從幾何上看，若把 log M 對水平位置作圖，任一內部點的值都落在連接 log M(a) 與 log M(b) 的直弦之上或之下。中間 |f| 的上確界，不能鼓得高過你在它兩端值之間畫出的那條線——它被一個對數線性的內插所擠壓。普通最大模原理用整條邊界掌控一個內部點，這裡則是用兩條外側的線掌控內部的整條條線。

Strip:  a <= Re z <= b ,   x = Re z

   M(x) = sup over the line Re z = x  of  |f(z)|

Three-lines theorem (with  a <= x <= b,  t = (b - x)/(b - a)):

   M(x)  <=  M(a)^t  *  M(b)^(1 - t)

equivalently   log M(x)  is a CONVEX function of  x.

內部鉛直線上 |f| 的上確界，被兩條邊界線上上確界的加權幾何平均所界住。

為何對數凸性從最大模原理掉出來

證明是單一個聰明的乘子，正合上一節的精神。把常數定好，使 M(a)^t M(b)^(1 - t) 成為目標界，再造一個函數 phi(z) = M(a)^((z - b)/(a - b)) M(b)^((z - a)/(b - a))——一個 z 的指數函數，選得使 |phi| 在左邊界等於 M(a)、在右邊界等於 M(b)，且 phi 從不為零。現在看商 g(z) = f(z) / phi(z)。

在左邊界 Re z = a 上，|g| = |f| / M(a) <= M(a) / M(a) = 1，因為那裡的 |f| 從不超過自身的上確界 M(a)。右邊界同樣的算術給出 |g| <= 1。
於是 |g| <= 1 在帶狀區域的兩條邊界線上都成立——邊界此時受控，正是最大模原理想要的情形。
套用弗拉格門-林德洛夫（g 在帶上有界，因為 f 有界而 phi 有下界），便得內部處處 |g| <= 1。
把定義展開：處處 |f| <= |phi|，而在線 Re z = x 上這便是 |f| <= M(a)^t M(b)^(1 - t)。對該線取上確界，得 M(x) <= M(a)^t M(b)^(1 - t)。

最後那一行正是對數凸性。整個論證是最大模原理換了一身聰明的衣裳——除掉一個明確的指數，使兩道傾斜的邊界約束變成單一道平坦的約束 |g| <= 1，再讓弗拉格門-林德洛夫把這份平坦帶向內部。注意我們是真的需要那個成長控制：沒有它，e^(e^z) 那類反例會讓 f 打敗我們造的任何 phi，不等式便不成立。

三圓定理：同一幅圖，經共形彎折

阿達瑪的三圓定理，是透過一個共形映射去看的三線定理。設 f 在圓環 r_1 <= |z| <= r_2 上全純，令 M(r) 為 |f| 在圓 |z| = r 上的最大值。那麼 log M(r) 是 log r 的凸函數。把最大模畫在對數-對數的尺度上，中間那個圓的值便落在兩邊圓之間弦的上或下——形狀與帶狀區域如出一轍，只是換成了徑向座標。

兩個陳述之間的橋樑是映射 w = log z，它是我們標準共形映射之一。它把圓環 r_1 <= |z| <= r_2 展開成鉛直帶 log r_1 <= Re w <= log r_2：半徑 r 的圓變成鉛直線 Re w = log r。在帶上套用三線定理，再經 z = e^w 推回，「對 x = Re w 凸」便成為「對 log r 凸」——三圓定理，免費到手。這兩個結果是同一條定理穿著兩套座標系。

退一步看見這個家族。樸素的最大模原理用邊界掌控一個內部點；施瓦茨引理靠在邊界圓上釘住 |f| <= 1 來掌控圓盤的自映射；三線與三圓用兩條外側的線或圓掌控內部整條線或圓，並以對數凸性作為這份擠壓的精確形狀；而弗拉格門-林德洛夫是那個成長假設，讓這一切在無界區域上得以存活。它們是同一個想法——全純性使 |f| 變得剛硬，其大小由邊界向內被掌控——在五種放大倍率下講出的故事。