一個已解的區域,搬到處處
在上一篇結束時,你已擁有對一種幾何的完整解答:帕松積分公式接收單位圓上任意連續的邊界資料,回傳圓盤內部與之相符的那唯一一個調和函數。那解出了圓盤上的狄利克雷問題,而且暫時別無他處。本篇正是那根槓桿,把這一場勝利撬成對幾乎每一個平面區域的勝利,而這根槓桿就是共形映射。整個階梯一直在悄悄囤積零件;在這裡它們扣合成形。
讓這一切運作起來的那一條事實,短到足以背下來:調和性在全純的變數代換下存活。若 u(w) 在某區域上調和、而 w = f(z) 是映到該區域的全純映射,那麼複合函數 u(f(z)) 在 z 平面上又是調和的。理由可一路追溯到柯西-黎曼方程——一個調和函數在局部上是某全純函數的實部,兩個全純函數複合仍然全純,而全純函數的實部又是調和的。所以一個共形映射不只是搬動點;它原封不動地搬動拉普拉斯方程的整個解。
一般區域上的狄利克雷問題
這裡就是把一切兌現的食譜。有人遞給你一個難搞的區域 D——半平面、長條、機翼外側、一個楔形——其邊界上給定了溫度或電壓,並要你求內部的穩態場。你無法直接解它,但你能移植它。找一個把 D 映到單位圓盤的共形映射 f,沿著那個映射把邊界資料推到圓上,用帕松積分解這個如今已標準化的圓盤問題,再把答案拉回來。共形性保證拉回來的函數仍然調和、仍然符合原來的邊界值。
- 映射區域:找一個共形映射 w = f(z) 把區域 D 搬到單位圓盤上(半平面用凱萊變換;其他形狀用莫比烏斯映射、指數映射或儒可夫斯基映射)。
- 搬運資料:一個邊界點 z 落到邊界點 w = f(z),於是在 z 處給定的值,就成了圓上 f(z) 處的值。
- 在圓盤上求解:把那些圓周值餵進帕松積分,得到圓盤內部那唯一的調和函數 U(w)。
- 把答案拉回:函數 u(z) = U(f(z)) 在 D 上調和,並解出原來的問題,因為調和性沿著 f 轉移過去。
而這裡有一句話,讓這食譜從僅僅有用變成令人震驚:黎曼映射定理保證第一步永遠成功。除整個平面以外的每一個單連通區域,都能被共形地映到圓盤上。所以原則上,狄利克雷問題在每一個合理的單連通平面區域上都已解出——就在它於某一個圓盤上被解出的那一刻起。這是一個席捲性的結果,是圓盤那謙遜的帕松公式單憑自己絕料想不到的。
哈納克與反射原理
在轉向物理之前,有兩項精煉讓這幅圖更銳利。第一項是哈納克不等式,它控制一個正的調和函數能變化得多麼劇烈。在圓盤上,它用圓心的值同時從上下兩側框住任一內部點的值,其常數只取決於該點離邊界有多近——絕不取決於那個特定的函數。具體地說,一個正調和函數不可能在某內部點巨大、在鄰點卻微小;正性逼出一種溫和的、被定量限制住的擴散。
哈納克的回報,是一條乾淨得在實變數中沒有對應物的收斂定理:若一列遞增的調和函數哪怕只在單獨一點上有界,它就在整個區域上處處收斂到一個調和的極限(或一致地奔向正無窮)。這正是佩龍方法在真正棘手的區域上構造解時背後的引擎,也是調和函數為何感覺比偏微分方程的任意解遠為剛硬、遠為乖巧的原因——它們繼承了其全純搭檔的剛性。
第二項精煉是施瓦茲反射原理,它是對稱性的一個小小奇蹟。假設一個調和函數定義在某圓盤的上半部,並在實軸這條直徑上處處為零。那麼它只需把自己反射成一個奇的鏡像,便能調和地越過那條直徑延拓到下半部:u(x, -y) = -u(x, y)。一條你原以為是區域邊緣的邊界,竟成了一個你能沿之對折的鉸鏈,免費把區域加倍。同一原理也讓一個在軸上某段為實值的全純函數越過它延拓。
複勢:把物理裝進一個函數
現在來到物理,這正是這一切暗中瞄準的方向。在無電荷的區域中,靜電位是調和的;在無源的區域中,穩態溫度是調和的;在理想流體的穩態、無旋、不可壓縮流動中,速度勢是調和的。三個不同的物理故事,一條方程——拉普拉斯方程。而只要一個調和函數 u 活在某單連通區域上,它就有一個調和共軛 v,兩者打包成單獨一個全純函數。那個函數就是複勢,F(z) = u(x, y) + i v(x, y)。
複勢的精妙之處,在於它的兩半各自承載物理的兩半。實部 u 就是位勢本身——它的等位線 u = 常數,是等勢線(等電壓線,或等溫的等溫線)。虛部 v 是共軛,它的等位線 v = 常數,是流線——場線,是熱、電荷或流體實際行進的路徑。因為 u 與 v 是調和共軛,柯西-黎曼方程逼得這兩族曲線處處以直角相交,恰如物理場線必定垂直穿過等勢線。
complex potential: F(z) = u(x,y) + i v(x,y), F holomorphic u = const -> equipotentials (equal voltage / isotherms) v = const -> streamlines (field lines / flow paths) C-R forces these two families to meet at right angles complex velocity / field: F'(z) = u_x - i u_y speed of flow = |F'(z)|; direction read off its argument
連導數也物盡其用。把 F 微分,你得到 F'(z) = u_x - i u_y,一個單獨的複數,其模 |F'(z)| 是場的強度(流速、電場大小),其輻角告訴你方向。所以一個全純函數連同它的導數,編碼了整個穩態場:它指向何方、多麼強、它的等勢線與流線如何走。這正是複分析成為二維位勢理論母語的原因——全純函數的代數,就是物理的記帳本。
繞過障礙物的流動,與機翼上的升力
用一幅小小的實作圖讓這台機器起飛。一股速度為 U、由左向右移動的均勻流,有著最簡單不過的複勢,F(z) = U z:它的流線 v = 常數是水平線 Im z = 常數——一道平坦無特徵的水流。現在把一個半徑為 a 的圓形障礙物投入流中。加上一個巧妙挑選的項,得到 F(z) = U (z + a^2 / z),它的流線自動繞著圓 |z| = a 彎曲,並在下游平順地重新匯合。我們從未解過微分方程;我們猜出了一個全純函數,其虛部恰好畫出我們想要的流動。
圓柱只是熱身;真正的大獎是機翼。儒可夫斯基映射 z = w + 1/w 把一個精心放置的圓變形成一個平滑的翼形,有著圓鈍的前緣與尖銳的後緣。因為共形性把繞過圓的流動搬成繞過翼形的流動,你幾乎免費就得到了機翼上方的氣流——解那個容易的圓,再移植。疊上一個環量項,流線就在翼上方加速、在下方減速,於是由白努利原理,上方壓力下降:庫塔-儒可夫斯基定理直接從複勢中的環量讀出升力。
一口氣看完整個階梯
退一步,這一階梯的五篇講述著同一個故事。一個調和函數是某全純函數的實部,於是它繼承了全純的剛性:第三篇的均值性質與最大值原理、內部沒有局部極大、值完全由邊界決定。第四篇的帕松積分把那份「被決定」化作圓盤上的明確公式。本篇靠共形映射把那公式移植到任意單連通區域,用哈納克與反射把它磨利,並揭示出底下那台物理引擎——複勢,在那裡一個全純函數承載著整個穩態場。
把誠實的界線留在視野裡,手藝才值得信賴。移植需要單連通性——洞會把它弄壞。黎曼映射定理保證映射存在,但因其非構造性而不把它寫下,所以明確的映射仍是流通中的貨幣。共形映射保住夾角與調和性,卻扭曲距離,而把「調和加共軛」二合一打包的整套手法,是一個平面的奇蹟,在更高維中沒有回聲。這些但書沒有一個削弱這個方法;它們只是精確地標出它棲居何處。
你如今能做的,是真正可觀的事。給自己一個難搞的平面區域、邊界溫度或電壓已給定,你就能把它映到圓盤、用帕松積分求解,再把答案連同分毫不差垂直穿過等勢線的場線一併拉回。給自己一個流中的障礙物,你就能寫出一個複勢,其流線描出繞著它的流動。調和的世界與全純的世界從來就不是兩個世界——而從這一階梯起,你能在它們之間自由穿行。