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

共形映射、物理與複勢

帕松積分解出了圓盤上的狄利克雷問題;共形映射如今把那唯一一個已解的區域,搬到幾乎任何別的區域,因為全純映射保持調和性。本篇收官之作把這台機器對準真實的物理——穩態熱傳、靜電、理想流體——並揭示出每一個這樣的場,都是某一個全純複勢的實部。

一個已解的區域,搬到處處

在上一篇結束時,你已擁有對一種幾何的完整解答:帕松積分公式接收單位圓上任意連續的邊界資料,回傳圓盤內部與之相符的那唯一一個調和函數。那解出了圓盤上的狄利克雷問題,而且暫時別無他處。本篇正是那根槓桿,把這一場勝利撬成對幾乎每一個平面區域的勝利,而這根槓桿就是共形映射。整個階梯一直在悄悄囤積零件;在這裡它們扣合成形。

讓這一切運作起來的那一條事實,短到足以背下來:調和性在全純的變數代換下存活。若 u(w) 在某區域上調和、而 w = f(z) 是映到該區域的全純映射,那麼複合函數 u(f(z)) 在 z 平面上又是調和的。理由可一路追溯到柯西-黎曼方程——一個調和函數在局部上是某全純函數的實部,兩個全純函數複合仍然全純,而全純函數的實部又是調和的。所以一個共形映射不只是搬動點;它原封不動地搬動拉普拉斯方程的整個解。

一般區域上的狄利克雷問題

這裡就是把一切兌現的食譜。有人遞給你一個難搞的區域 D——半平面、長條、機翼外側、一個楔形——其邊界上給定了溫度或電壓,並要你求內部的穩態場。你無法直接解它,但你能移植它。找一個把 D 映到單位圓盤的共形映射 f,沿著那個映射把邊界資料推到圓上,用帕松積分解這個如今已標準化的圓盤問題,再把答案拉回來。共形性保證拉回來的函數仍然調和、仍然符合原來的邊界值。

  1. 映射區域:找一個共形映射 w = f(z) 把區域 D 搬到單位圓盤上(半平面用凱萊變換;其他形狀用莫比烏斯映射、指數映射或儒可夫斯基映射)。
  2. 搬運資料:一個邊界點 z 落到邊界點 w = f(z),於是在 z 處給定的值,就成了圓上 f(z) 處的值。
  3. 在圓盤上求解:把那些圓周值餵進帕松積分,得到圓盤內部那唯一的調和函數 U(w)。
  4. 把答案拉回:函數 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'(z) 一舉給出場的強度與方向。

連導數也物盡其用。把 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 把一個精心放置的圓變形成一個平滑的翼形,有著圓鈍的前緣與尖銳的後緣。因為共形性把繞過圓的流動搬成繞過翼形的流動,你幾乎免費就得到了機翼上方的氣流——解那個容易的圓,再移植。疊上一個環量項,流線就在翼上方加速、在下方減速,於是由白努利原理,上方壓力下降:庫塔-儒可夫斯基定理直接從複勢中的環量讀出升力。

一口氣看完整個階梯

退一步,這一階梯的五篇講述著同一個故事。一個調和函數是某全純函數的實部,於是它繼承了全純的剛性:第三篇的均值性質與最大值原理、內部沒有局部極大、值完全由邊界決定。第四篇的帕松積分把那份「被決定」化作圓盤上的明確公式。本篇靠共形映射把那公式移植到任意單連通區域,用哈納克與反射把它磨利,並揭示出底下那台物理引擎——複勢,在那裡一個全純函數承載著整個穩態場。

把誠實的界線留在視野裡,手藝才值得信賴。移植需要單連通性——洞會把它弄壞。黎曼映射定理保證映射存在,但因其非構造性而不把它寫下,所以明確的映射仍是流通中的貨幣。共形映射保住夾角與調和性,卻扭曲距離,而把「調和加共軛」二合一打包的整套手法,是一個平面的奇蹟,在更高維中沒有回聲。這些但書沒有一個削弱這個方法;它們只是精確地標出它棲居何處。

你如今能做的,是真正可觀的事。給自己一個難搞的平面區域、邊界溫度或電壓已給定,你就能把它映到圓盤、用帕松積分求解,再把答案連同分毫不差垂直穿過等勢線的場線一併拉回。給自己一個流中的障礙物,你就能寫出一個複勢,其流線描出繞著它的流動。調和的世界與全純的世界從來就不是兩個世界——而從這一階梯起,你能在它們之間自由穿行。