比貝爾巴赫猜想與德布朗熱

從 |a_2| <= 2 到對每個係數的一個猜想

回想前兩篇把我們留在哪裡。S 類中的函數 f 是單位圓盤上的一個單葉（一對一）全純映射，經過正規化使得 f(0) = 0 且 f'(0) = 1，因而有冪級數 f(z) = z + a_2 z^2 + a_3 z^3 + ...。關於這些係數的第一個非平凡事實，出自第 2 篇的面積定理：一個乾淨、近乎魔術的論證把第二個係數壓到 |a_2| <= 2，這就是比貝爾巴赫界。而這個界是尖銳的——科貝函數 k(z) = z/(1 - z)^2 = z + 2 z^2 + 3 z^3 + ... 恰好命中它，a_2 = 2 分毫不差。

現在再看那個科貝級數：它的係數是 1, 2, 3, 4, ...——第 n 個係數恰好是 n。比貝爾巴赫在 1916 年那篇證明 |a_2| <= 2 的論文裡注意到這點，並大膽猜測科貝函數對每一個係數同時都是最壞情形。這就是比貝爾巴赫猜想：對 S 中每個 f 與每個 n，|a_n| <= n。n = 2 的情形他已握在手中。在它之外的一切——n = 3, 4, 5，以及無窮的尾巴——他都留作猜想，而且是出了名的頑固。

為什麼它如此困難——以及沿著係數的緩慢前進

把困難濃縮成一句話：那個釘住 |a_2| <= 2 的面積定理把戲無法迭代。它利用了圓盤外部與內部之間一個特殊的關係，本質上是個只管一個係數的奇蹟；等你走到 a_3，你早已纏進那個簡單論證搆不著的交叉項裡。每一個新係數似乎都需要一個全新的想法，而想法越來越難。於是這個領域只能一階一階、辛苦地往上爬。

誠實的時間軸令人謙卑。洛伊納在 1923 年證明了 n = 3——而為了做到，他發明了洛伊納微分方程，一個許久之後才證實是萬能鑰匙的工具。加拉貝迪安與席弗在 1955 年拿下 n = 4；佩德森與（獨立地）小澤在 1968 年達到 n = 6；佩德森與席弗在 1972 年解決 n = 5。在超過半個世紀的英勇努力之後，這個猜想只對 n 至 6 被證明。更糟的是，這些方法如此專一，以致推進到 n = 7 看來毫無希望，遑論整個無窮序列。

與此同時，另一條戰線一口氣攻擊所有 n，但只能粗略地攻。李特爾伍德在 1925 年證明了對每個 n 有 |a_n| <= e n——形狀對了，是 n，卻差了一個因子 e（約 2.718）。後來的工作把那個常數削小，而海曼一個相關的界顯示對每個 f，|a_n|/n 的極限存在且至多為 1，等號僅對科貝成立。於是漸近的真相直指這個猜想；缺口始終是那個有限的、尖銳的、對每個 n 都成立的陳述。

德布朗熱的想法：證明更強的東西

1985 年，Louis de Branges 做了一件事後看來是數學反覆出現的教訓的事：他不再直接強攻 |a_n| <= n，轉而證明一個邏輯上更強的陳述，結果它結構更好，矛盾地也更容易處理。這條繞道穿過了 f 的對數係數。因為 f(z)/z 在 0 附近全純且不為零，你可以取它對數的一個分支，寫成 log(f(z)/z) = sum 2 gamma_n z^n；這些數 gamma_n 就是對數係數，它們把 f 編碼得比生硬的 a_n 更平滑。

這串蘊含關係是整個故事的核心。米林曾猜測這些對數係數上的一個精確不等式（米林猜想）。透過勒別捷夫與米林的一組不等式——把 e^g 的係數與 g 的係數聯繫起來的代數恆等式——米林猜想蘊含羅伯遜關於奇單葉函數的一個中間陳述，而羅伯遜的陳述又反過來蘊含原來的比貝爾巴赫界 |a_n| <= n。於是一座塔已經建好：證明米林，比貝爾巴赫就會從底下白白掉出來，對所有 n 同時成立。

Milin conjecture  (on logarithmic coefficients gamma_n)
        |
        |  via Lebedev-Milin inequalities (e^g coefficients vs g coefficients)
        v
Robertson conjecture  (on odd univalent functions)
        |
        v
Bieberbach conjecture     |a_n| <= n   for all n at once

德布朗熱攀爬的那座塔：證明最頂端（最強）的陳述，那個著名的底層陳述就自動掉出來，對每個係數同時成立。

洛伊納鏈與一個沒人預料的正性

你要怎麼證明最頂端那個不等式？這裡洛伊納的舊工具作為引擎回歸了。洛伊納鏈的想法，是把給定的 f 連續地形變，讓像區域隨著一個時間參數 t 從 0 跑到無窮、從一個極小的圓盤長到完整的像，而每一階段 f_t 仍是單葉的。沿著這個演化求導，把靜態的不等式變成一個關於某個量如何隨時間變化的問題：你建造一個對 f_t 的對數係數加權巧妙的組合，並問它是否單調——隨著 t 增大，總是朝對的方向移動。

當德布朗熱做完求導，他所需的單調性歸結為——令人驚異地——某個特殊函數和式的正性。而那個確切的正性，多年前早已因完全不相干的緣由被 Askey 與 Gasper 在他們關於雅可比多項式的工作裡證明了。這兩個世界，幾何函數論與古典特殊函數不等式，本無明顯交集；它們竟恰好嚴絲合縫，正是讓證明跑通的那份意外。一旦 Askey-Gasper 不等式提供了正負號，那個加權組合就是單調的，米林猜想隨之成立，整座塔便一路放電下到 |a_n| <= n。

它意味著什麼，又指向何方

有了德布朗熱定理，猜想成了定理：S 中每個 f 對所有 n 都服從 |a_n| <= n，而在任何單一個 n 上取等號，就已逼使 f 是科貝函數的一個旋轉。具體而言它保證，例如，對圓盤的每個正規化單葉映射有 |a_100| <= 100——一個 1985 年前沒人能對這麼大的 n 證明的陳述。那個曾使第 2、3 篇的面積定理、四分之一定理以及增長與扭曲界取極值的科貝函數，原來在這裡同樣是那個普世的極值：整個 S 類用來衡量自己的那唯一一個函數。

認清這份獎賞：尖銳的、對每個係數都成立的界 |a_n| <= n，而科貝函數是唯一的極值（至多差一個旋轉）。
把係數 a_n 換成更平滑的對數係數 gamma_n，其中 log(f(z)/z) = sum 2 gamma_n z^n。
在 gamma_n 上陳述更強的米林猜想；透過勒別捷夫-米林不等式它蘊含羅伯遜，而羅伯遜蘊含比貝爾巴赫。
把 f 嵌入一條洛伊納鏈，求導，並把所需的單調性化約為一個特殊函數的正性——由 Askey-Gasper 不等式現成地提供。

這指向何方？有兩條路。第一，同樣的洛伊納演化想法——一次長出一個邊界點、看著一個量演化——數十年後重生為徹底改變機率論與共形場論的 Schramm-Loewner 演化，所以這裡的引擎活得比它的第一份工作還久。第二，在這一階梯之內，自然的接續是結構性的：S 的哪些子類馴服到能徒手處理？那正是第 5 篇的星形與凸函數以及施瓦茨導數的故事，在那裡單葉性由一個正負號或一個導數來偵測，而不必追著係數跑上 69 年。