拆開 f，遇見拉普拉斯方程
你已經花了好幾階把全純函數 f 當成單一的複數物件來對待，但從一開始你也知道如何把它拆開：寫成 f(z) = u(x, y) + i v(x, y)，把這個複數值分成實部 u 與虛部 v，兩者都是兩個實座標 x 與 y 的尋常實值函數。本篇要問一個聽來簡單、答案卻出奇深刻的問題——u 自己單獨滿足什麼方程？所有零件早已在你手中；我們只需把它們組合起來。
用來組合的工具，正是一開始定義全純性的那一對方程，柯西-黎曼方程 u_x = v_y 與 u_y = -v_x。訣竅是把它們再微分一次然後相加。把第一條對 x 微分得到 u_xx = v_yx，把第二條對 y 微分得到 u_yy = -v_xy。右邊是 v 的混合二階偏導 v_yx 與 v_xy，只要 v 夠光滑、使得微分次序無關緊要，這兩個混合偏導就相等。於是當你把兩行相加，v 的項恰好抵消。
u_x = v_y --d/dx--> u_xx = v_yx
u_y = -v_x --d/dy--> u_yy = -v_xy
add: u_xx + u_yy = v_yx - v_xy = 0 (mixed partials agree)
so u_xx + u_yy = 0 <-- Laplace's equation
likewise v_xx + v_yy = 0 (same trick on v)存活下來的是 u_xx + u_yy = 0，這個二階偏微分方程稱為拉普拉斯方程。在某開區域上滿足它的實值函數，稱為調和的。對虛部施以完全相同的「再微分一次再相加」論證，也得到 v_xx + v_yy = 0。所以這句招牌，三行就證完了：任意全純函數的實部與虛部都是調和的。
調和的意思，用一幅圖像來說
拉普拉斯方程看來抽象，所以在繼續之前，把 u_xx + u_yy = 0 用物理方式讀一遍會有幫助。二階導數 u_xx 量度當你沿 x 方向行走時 u 如何彎曲：正值表示 u 像山谷般向上彎，負值表示它像山丘般拱起。拉普拉斯方程說，u_xx 與 u_yy 在每一點都必須恰為彼此的相反數。用白話講：曲面沿某一軸向上彎多少，就必須沿垂直的那一軸向下彎恰好同樣多。調和的圖像永遠不可能是純粹的碗或純粹的圓頂——兩個曲率被迫達成完美的平衡。
這個平衡有一張著名的日常面孔：調和函數就是一塊薄板的穩態溫度。隨你高興地沿邊緣加熱一片金屬，等到一切不再改變，你在內部量到的溫度 u(x, y) 就是調和的。物理上的理由與曲率圖像精確吻合——在穩態下，沒有任何一點能是嚴格的熱點或冷點，否則熱量仍會流進或流出它。每個內部溫度，都是它周圍溫度完美安定後的平均。這個「取平均」的想法是調和性的靈魂，而本階梯第三篇會把它精確地表述為均值性質。
調和函數繼承了全純性的超能力
正是在這裡，「身為全純函數的一部分」帶來巨大的紅利。回想柯西積分那一階最令人震驚的事實：一次複導數就迫使無窮可微，所以全純函數自動擁有任意階導數——這種剛性在實變數裡根本沒有對應物。因為一個調和的 u（在漂亮區域上）是某個全純 f 的實部，u 便默默地繼承了這一點。一個你原本只假設它有兩階導數的函數——剛好夠寫下 u_xx + u_yy——竟然免費地成了無窮光滑。
同一份繼承也把剛性交到你手上。一個全純函數被少得驚人的局部資料釘死——它在一個微小圓盤上的值，甚至在一串收斂的點上的值，就決定了它在整個連通區域上處處的值。調和函數同樣僵硬。你無法在一小塊區域裡擺弄一個調和函數、卻讓它在外面保持原樣；那樣做意味著拼出一個新的全純函數，與舊的在一個大集合上相符，而恆等定理禁止這件事。一個調和的溫度分佈不是你能局部按凹的軟東西——它是一個剛硬的整體，由它在邊界上的值固定在原處。
最具後果的是，調和函數繼承了極值原理。對全純的 f，最大模原理說 |f| 只能在邊界上達到其峰值，絕不在嚴格內部，除非 f 是常數。調和版本更為直觀：非常數的調和 u，其最大「與」最小值都只在它區域的邊界上達到。穩態溫度的圖像讓這幾乎不證自明——一塊安定金屬板最熱與最冷的點落在它的邊緣上，因為任何嚴格的內部極值仍會與鄰居交換熱量。這就是調和函數的極值原理，它是本階梯每一條唯一性定理背後的主力。
兩個調和函數，鎖在一起
現在再看一次這個拆分 f = u + i v。我們已證明 u 與 v 各自是調和的，但它們並非碰巧都調和的兩個陌生人——它們被柯西-黎曼方程 u_x = v_y, u_y = -v_x 綁在一起。當 u 與 v 這樣相繫時，v 稱為 u 的調和共軛。這個名稱透露出一種精確而不對稱的關係：給定 u，它的共軛 v 在差一個可加常數的意義下被決定，但你不能獨立地隨意挑 v——兩者是必須咬合的齒輪。
一個快速的具體例子讓這份咬合變得可觸。取 u(x, y) = x^2 - y^2；先驗證它調和：u_xx = 2 而 u_yy = -2，相加為 0，沒問題。哪個 v 必須相伴？柯西-黎曼要求 v_y = u_x = 2x 且 v_x = -u_y = 2y。把第一式對 y 積分得 v = 2xy 加上一個只含 x 的函數；把它對 x 微分並與第二式相配，便迫使那個額外的函數為常數。所以 v = 2xy，而確實 u + i v = (x^2 - y^2) + i(2xy) = z^2——z^2 實部的共軛恰是它的虛部，本就該如此。這場搜尋的完整食譜，連同會絆住它的那些洞，就是下一篇。
為何這要緊：物理說的是調和的語言
整個這一階梯之所以存在，是因為二維物理的一大片，是用拉普拉斯方程寫成的。穩態熱流、無電荷區域中的靜電位、理想不可壓縮無旋流體的速度勢、繃緊薄膜的位移——這些全都是調和函數。配對 u + i v 把一個物理問題與它的「影子」打包成單一的全純物件，稱為複勢，而本階梯第五篇會把它完整地兌現。
這個配對在物理解讀下的優雅就在這裡。若 u 是靜電位，它的等值線 u = 常數就是等位線，自由電荷沿著它感受不到推力。共軛 v 的等值線 v = 常數，結果恰是場線——電荷實際行進的路徑。又因為 u + i v 是全純的，柯西-黎曼關係迫使這兩族曲線處處（在臨界點之外）以直角相交。場線與等位線的正交性——物理課當作既定事實陳述的——在這裡是 u 與 v 互為共軛的一個免費推論。
這一切搭起了本階梯核心的工程問題，狄利克雷問題：給定一個調和函數在某區域邊界上必須取的值——夾在板子邊緣的溫度、導體上的電壓——求出內部唯一與之相符的調和函數。先前的極值原理已經保證那個答案唯一。剩下的是真正把它造出來，而第四篇的帕松積分會在圓盤上把它明確地寫下來。本階梯的線索如今首尾可見：拆分、共軛、極值原理，然後求解。