JOVANA
Explore Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

把半平面映到圓盤

保角映射的核心坐著兩個區域——上半平面與單位圓盤——而一個乾淨俐落的莫比烏斯映射就把其中一個送到另一個之上。本篇作為整個階梯的收官,用三點法從零造出這個映射、驗證它確實落在圓盤之內、巡視圓盤允許自己擁有的所有映射,最後藉著移植一個真正的邊界值問題,把整個階梯的本錢一次兌現。

大家都同意拿來當標準的兩個區域

到現在你已備好一個工具箱——莫比烏斯變換交比三點原理——以及一個使用它的理由:把問題從一個難搞的區域移植到一個容易的區域。這最後一篇要把這個工具箱對準全科目中最重要的一次移植,也就是那些具名映射被造出來所為的那一次。獲准扮演「容易」角色的兩個區域,是上半平面——虛部為正的所有 z——以及單位圓盤——所有 |w| < 1 的 w。幾乎每本教科書都把問題正規化到這兩者之一,而連接它們的橋樑,正是我們在此要建造的。

為何要有兩個標準而非一個?因為各自為不同形狀的問題發光。半平面有一條完全筆直的邊界,即實軸,這使它在你的資料沿著一條線分布時最為理想——一道受熱的牆、一片平坦的電極、一條流體渠道的邊緣。圓盤則有一條你可以繞著它無止盡走下去的邊界,用單一一個角度來參數化,這讓傅立葉級數與旋轉對稱顯得自然而然。手中握有一個它們之間乾淨的保角映射,就意味著你永不卡關:在幾何最友善之處解題,再把答案運送過去。

用三點造出凱萊變換

讓我們真正把這個映射造出來,而且要用有原則的方式,而非從帽子裡變出一個公式。上一篇證明了一個莫比烏斯變換完全由它把任意三點送到何處所釘死。所以我們會在半平面的邊界——實軸連同無窮遠點——上挑三個地標,並規定它們應該落到圓盤邊界、即單位圓的什麼地方。邊界映到邊界是這裡的關鍵想法:若半平面的邊緣落在圓盤的邊緣上,內部就無處可去,只能去到內部。

這裡有一組乾淨的三點及其目標。把實軸上的點 z = -1 送到 w = -i(圓的底部)、z = 0 送到 w = -1(圓的左側)、z = 1 送到 w = i(圓的頂部)。當 z 沿實軸由左向右行進時,w 繞著單位圓行進,於是直線映到圓上。把這三組對應餵進交比方程並求解——正是上一篇的三點機器——就產出一個著名的映射:凱萊變換,w = (z - i) / (z + i)。

Cayley transform:    w = (z - i) / (z + i)

boundary check (z real):
  z = -1  -->  w = (-1 - i)/(-1 + i) = -i      (bottom of circle)
  z =  0  -->  w = (0 - i)/(0 + i)   = -1      (left  of circle)
  z =  1  -->  w = (1 - i)/(1 + i)   =  i      (top   of circle)
  z =  oo -->  w = 1                           (right of circle)

for real z:   |z - i| = |z + i|   =>   |w| = 1   (the line lands ON the circle)
凱萊變換把實軸恰好送到單位圓上:對實數 z,到 i 與到 -i 的距離相等,因此 |w| = 1。

驗證它確實落在圓盤之內

把邊界送到邊界是必要的,但還不夠——它本身並不告訴你內部是去到圓盤的內側還是外側。一個莫比烏斯映射同樣可能把半平面翻裡作面,把它的內部送到圓外的一切。所以我們欠自己一次誠實的內部驗算。有一個漂亮的辦法可以直接從公式讀出答案:對任意 z,量 |w| = |z - i| / |z + i| 在比較兩段距離——從 z 到點 i 的距離,與從 z 到點 -i 的距離。

現在想像 i 與 -i 坐落何處:i 在上半平面的高處,-i 是它的鏡像、在下半平面的低處。取任一虛部為正的 z——任一個半平面真正的內部點。它離 i(與它同住樓上)嚴格地比離 -i(住在樓下)更近。所以 |z - i| 小於 |z + i|,這使得比值 |w| 嚴格小於 1。半平面的每個內部點都落在圓盤的嚴格內部。映射並沒有把任何東西翻裡作面;它如實地把上半平面送到開單位圓盤之上。

圓盤允許自己擁有多少個映射?

凱萊變換是一座橋,但它並非唯一的一座——而追問共有幾座,會掀出一種深刻的剛性。把一個區域保角地映到自身的映射,稱為自同構。結果發現,單位圓盤的每一個自同構都是形如 w = e^(i alpha) (z - a) / (1 - a-bar z) 的莫比烏斯映射,其中 a 是任一內部點、alpha 是任一旋轉角。在幾何上你能自由地做兩件事:把選定的一點 a 滑到圓心,然後把圓盤旋轉 alpha。這恰好是三個實自由度——與一個莫比烏斯映射讓你指定的三點數目相同。

這對半平面到圓盤的映射為何要緊?因為它告訴你,一旦釘住少許資料,映射本質上就是唯一的。凱萊變換是一座有效的橋;把它與任一圓盤自同構複合,你就得到另一座有效的橋。所以在挑選那個「從半平面到圓盤」的映射時,自由度恰恰就是一個自同構所提供的三個自由度。固定一個內部點去到哪裡(比方說哪一點變成圓心)以及那裡的一個方向,映射隨即被唯一地釘死——再無餘地可動。

而這份剛性比數數還要深。施瓦茲-皮克引理說,任何把圓盤映到自身的全純映射,都不能增大點與點之間某種自然的「雙曲」距離,而恰好保持它的映射,正正就是上面那些自同構——別無其他。所以圓盤不是一個你可以隨意變形的軟綿綿區域;它的全純自映射被緊緊地約束著,而唯一稱得上真正對稱的,就是那些莫比烏斯自同構。這層隱藏的幾何,正是為什麼像凱萊那樣一個明確的公式就已足夠:映射根本沒有多少餘地能變成別的東西。

兌現本錢:把問題移植到圓盤上

該把我們所建造的一切花掉了。假設你必須在上半平面中求一個穩態溫度,其沿實軸邊界的值是給定的——一個經典的邊界值問題。穩態溫度是一個調和函數,是拉普拉斯方程的解,而那恰恰是保角映射會保持的那類對象:把一個調和函數與一個全純映射複合,回來的仍是一個調和函數。所以計畫是把整個問題經由凱萊橋運到圓盤上,在傅立葉方法輕鬆的那裡解它,再把答案運回家。

  1. 映射區域:用凱萊變換 w = (z - i) / (z + i) 把上半平面送到單位圓盤。
  2. 沿同一個映射搬運邊界資料,使實軸上給定的溫度,變成單位圓上給定的值。
  3. 在圓盤上求解:找出圓盤內部與那些圓周值相符的調和函數——在圓盤上這是標準的卜瓦松積分或傅立葉級數計算。
  4. 把答案映射回來:與凱萊變換的逆複合,使解落回半平面上,在那裡它解出原來的問題。

留意保角性在最後一步替我們買到了什麼。因為映射保住了夾角,解的幾何不失真地回來了:熱流線仍與溫度的等位線以直角相交,正如物理所要求的,因為直角恰恰是保角映射所保留的東西。我們做的不只是把一個公式搬來搬去;我們把一個物理問題搬到了更友善的房間,再把物理原封不動地帶回。這正是整個階梯為何以證明全純映射保持夾角開場的全部理由——自那以後的每一篇,都在組裝那台讓這次移植值得信賴的機器。

誠實的大局,連同它的但書

退一步,整個階梯就收攏成一句話:一個導數非零的全純映射保持夾角,莫比烏斯映射是最乾淨的這類映射、能自由地調動直線與圓,三點釘死其中一個,而凱萊變換把這一切花掉,用以把半平面與圓盤等同起來。在它背後站著黎曼映射定理,它保證任何不是整個平面的單連通區域,都能被保角地映到圓盤上——所以圓盤是那個通用的「容易」區域,而學會映到它上面,就是學會簡化幾乎一切。

但要誠實面對那行小字,正是這整門科目一再堅持的那行小字。黎曼映射定理是非構造性的:它保證映射存在,卻不交給你一個公式,這恰恰是為什麼明確的凱萊與儒可夫斯基映射依舊珍貴——當你能把映射寫下來,你就握有抽象定理永遠給不了的東西。它還排除了整個平面:不存在從整個平面到圓盤的保角映射,這是在全純那一階梯由劉維爾定理所逼出的事實,因為一個有界的整函數必定是常數。而且區域必須是單連通的——沒有洞——否則這乾淨的等同便宣告失敗。

最後一則誠實的提醒,免得你對自己誇下海口。保角映射忠於局部夾角,而非忠於距離:映射在不同地方拉伸不同的倍數,所以半平面中一張整齊的網格,回到圓盤上就變了形,儘管每個交點仍是直角。它也只活在二維裡——把兩個調和且互為共軛的函數打包成一個全純函數的把戲,是平面所獨有的,沒有更高維的孿生兄弟。然而在那些誠實的界線之內,你如今握有一門完整、可用的手藝:拿一個困難的平面區域、保角地把它運到圓盤或半平面、求解,再連同分毫不差的夾角把答案運回。