2.2 CAUCHYRIEMANN方程#

本章導言#

上一節我們看到：複可微性要求差商沿所有方向收斂到同一複數。這個「所有方向」的要求，能不能翻譯成有限條偏微分方程？答案是肯定的，而且翻譯出來的方程組優美得驚人：

這就是 Cauchy–Riemann 方程。它是解析性的代數心臟：一方面把「複可微」化為實微積分的可檢驗條件，另一方面暴露了 \(u\) 與 \(v\) 之間神秘的「共軛共生」關係。本節從導出、驗證到反例，把這組方程的來龍去脈與歷史（d'Alembert 1752、Euler 1777、Cauchy 1827、Riemann 1851）完整交代。

導出：把「所有方向的極限」壓縮成兩條方程#

設 \(f = u + iv\) 在 \(z_0 = x_0 + iy_0\) 複可微。取兩個特殊方向逼近：

沿水平方向 \(h = t\) （ \(t \in \mathbb{R} \to 0\) ）：

沿垂直方向 \(h = it\) ：

兩式相等（實部等實部、虛部等虛部）：

必要性證明完畢。注意其中「除以 \(i\) 等於旋轉 \(90^\circ\) 」的操作——垂直方向的導數是水平方向導數旋轉 \(90^\circ\) ，這就是 C–R 方程的幾何內容。

充分性需要更多假設：若 \(u, v\) 在 \(z_0\) 的鄰域內偏導存在、且四個偏導在 \(z_0\) 連續，C–R 方程成立，則 \(f\) 在 \(z_0\) 複可微（證明用二元 Taylor 微分： \(f(z_0+h) - f(z_0) = f_x h + f_y \cdot (\text{餘項})\) ，代入 C–R 後得 \(= f'(z_0) h + o(|h|)\) ）。注意細節：僅「偏導存在 + C–R 成立」不充分！經典反例（見練習 4）： \(f(z) = \dfrac{z^5}{|z|^4}\) 在原點的兩方向差商都是 0，形式上滿足 C–R，但沿方向 \(h = te^{i\pi/4}\) 的差商不趨於 0——偏導在原點不連續正是病灶。C–R + 連續偏導（或更精確： \(u,v\) 實可微）才是完整判據。

幾何讀法：C–R 是「保角」的微分條件#

設 \(f\) 解析且 \(f'(z_0) \ne 0\) 。考慮兩條過 \(z_0\) 的曲線 \(\gamma_1, \gamma_2\) ，它們在 \(z_0\) 的切向量為 \(h_1, h_2\) 。經映射後切向量變為 \(f'(z_0)h_1, f'(z_0)h_2\) 。因為乘以複數 \(f'(z_0)\) 是旋轉（輻角）+ 縮放（模）：

夾角的大小與轉向都被保留——這就是保角（conformal）。C–R 方程正是「處處保角」的微分條件；反之，若 \(f\) 是實可微的保角映射（保持定向），則 C–R 必成立。這一對等價把 2.1 節「旋轉 + 縮放」的直觀與第 6 章保角映射理論接通。而 \(f'(z_0) = 0\) 的點（如 \(z \mapsto z^2\) 在原點）角度加倍，保角性失效——臨界點成為第 6 章的特別居民。

四大歷史源流#

d'Alembert 的原始問題：理想流體繞過圓柱的流動。他發現速度場 \((u,v)\) 若是「無旋 + 無源」（見 2.3 與 10.2 節），必須滿足這組方程——流體力學先於函數論使用 C–R 方程八十年。Euler 的地圖投影問題同樣是幾何應用。Cauchy 1827 年《論積分，它取於虛數值之間》才把方程組與「複函數的導數」正式連接；Riemann 則反轉順序——以 C–R 方程組為出發點定義解析函數，並立刻把它與位勢論（拉普拉斯方程）掛鉤。Riemann 寫道，他把複函數論看作「與 Dirichlet 原理相連的位勢論的章節」——這種「物理先行」的風格日後引發 Weierstrass 對 Dirichlet 原理的批判（6.2 節），是十九世紀分析學最重要的方法論辯論。

C–R 的第二生命：拉普拉斯方程#

對 C–R 再求導並相加（設 \(u, v\) 二階偏導連續，混合偏導相等）：

解析函數的實部與虛部都滿足二維拉普拉斯方程——它們是調和函數（2.3 節的主題）。這條推論是複分析與數理物理（靜電學、熱傳導、流體力學）之間的臍帶：解調和方程的問題大量化為「找一個實部為它的解析函數」。Riemann 的整個函數論綱領（Riemann 面、Dirichlet 原理、 \(\zeta\) 函數）都站在這條臍帶上。

一個具體例題#

例題 2.2.1：設 \(f(z) = z^2\) ， \(z = x+iy\) 。(a) 求 \(u, v\) 並驗證 C–R；(b) 求 \(f'(z)\) 的兩種實部–虛部表達式；(c) 求所有使 \(f'(z) = 0\) 的點，並討論該點處映射的幾何；(d) 驗證 \(u, v\) 調和。

解：

(a) \(z^2 = (x+iy)^2 = x^2 - y^2 + 2xyi\) ，故 \(u = x^2 - y^2\) 、 \(v = 2xy\) 。求偏導： \(u_x = 2x\) 、 \(u_y = -2y\) 、 \(v_x = 2y\) 、 \(v_y = 2x\) 。驗證： \(u_x = v_y = 2x\) ✓， \(u_y = -v_x = -2y\) ✓。

(b) 水平方向： \(f' = u_x + iv_x = 2x + 2yi = 2z\) 。垂直方向： \(f' = v_y - iu_y = 2x + 2yi = 2z\) 。兩式一致，且恰為 \(2z\) （複導數律 \((z^n)' = nz^{n-1}\) 在複數上原樣成立，可用二項式直接驗證）。

(c) \(f'(z) = 2z = 0 \iff z = 0\) 。在原點，映射 \(z \mapsto z^2\) 把角度加倍：兩條夾角 \(\alpha\) 的曲線映為夾角 \(2\alpha\) 。特別地，第一象限（夾角 \(90^\circ\) ）映為上半平面（夾角 \(180^\circ\) ）——這正是 6.2 節 Riemann 映射定理證明中用來「展開」角的標準工具。

(d) \(u_{xx} = 2\) 、 \(u_{yy} = -2\) ，和為 \(0\) ； \(v_{xx} = v_{yy} = 0\) 。兩者皆調和 ✓。且 \(u, v\) 的水平集（ \(x^2-y^2 = c\) 與 \(xy = c\) ）是相互正交的雙曲線族——調和共軛函數的等值線正交，這是流場等勢線與流線正交性的數學來源（10.2 節）。

歷史啟示#

• 方程組的「搬運史」：C–R 方程從流體力學（1752）搬到地圖學（1777）、再搬進函數論（1827/1851）。一個數學關係的正名與升值，往往取決於它被放在哪個理論的中心。
• 必要與充分之間的鴻溝：C–R 成立（四偏導存在）未必可微——反例教育我們「逐方向檢查」不能替代「一致近似」。這正是 \(\varepsilon\) – \(\delta\) 中「一致性」的價值。
• 複雜性的一次性投資：驗證 C–R 只需微積分，回報卻是整套複分析。以一組偏微分方程為密碼，解鎖解析函數的整個世界——這是數學史上投資報酬率最高的定義之一。

與其他章節及領域的關聯#

• 2.3 節：C–R 直接推導出調和性；調和共軛的構造是 C–R 的積分反演。
• 3.2 節：Cauchy 積分定理的最快證明之一（對 \(C^1\) 函數）就是 C–R + Green 定理。
• 4.1 節：解析 \(\Rightarrow\) 無窮次可微（C–R 導數逐層可用），這是冪級數理論的前置。
• 6.1–6.3 節：保角映射 = C–R 的幾何化；Schwarz–Christoffel 變換的微分方程直接由導數的輻角條件導出。
• 10.2 節：位勢論——靜電場、理想流、穩態熱傳的方程都是拉普拉斯方程，即 C–R 的二階推論。
• 偏微分方程：C–R 是一階線性橢圓組的元模型；現代的 Beltrami 方程（準保角映射）是它的推廣，用於圖像形變與複動力學。

練習#

1. 對 \(f(z) = e^z\) 驗證 C–R 方程，並用 C–R 求 \(f'\) 。
2. 求 \(f(z) = z^3\) 的 \(u, v\) ，驗證 C–R 與調和性；畫出 \(u\) 的水平集示意並說明與 \(v\) 的水平集正交。
3. 設 \(u(x,y) = x^2 - y^2 + x\) 。求其調和共軛 \(v\) （使 \(u + iv\) 解析），並寫出 \(f(z)\) 為 \(z\) 的表達式。（提示： \(z^2 + z = (x^2-y^2+x) + i(2xy+1)\) 。）
4. 反例解剖： \(f(z) = \dfrac{z^5}{|z|^4}\) （ \(z \ne 0\) ）、 \(f(0) = 0\) 。證明其在 0 處沿水平與垂直方向的差商均為 0、形式 C–R 成立，但沿 \(h = te^{i\pi/4}\) 的差商極限為 \(e^{i\pi/4}\ne 0\) ，故在 0 不可微。
5. 思考題：C–R 方程在極座標下的形式為 \(u_r = \frac1r v_\theta\) 、 \(v_r = -\frac1r u_\theta\) 。用它快速驗證 \(f(z) = \log r + i\theta\) （ \(r>0\) ）解析——並指出 \(\theta\) 的多值性如何阻礙它成為全域解析函數（預告第 7 章）。

進階研讀：方程組的五個深化場景#

場景一：C–R 作為 Dirac 方程的維形。把 C–R 寫成矩陣形式： \(\begin{pmatrix} u_x & u_y \\ v_x & v_y \end{pmatrix} = \begin{pmatrix} a & b \\ -b & a\end{pmatrix}\) ——滿足「與複數乘法矩陣可交換」的矩陣。這種「柯西–黎曼 = 某個一階算子的核」的觀點，在 1928 年 Dirac 建立電子方程 \(D\psi = 0\) （ \(D\) 為 Dirac 算子）時獲得昇華：解析函數是二維 Dirac 方程的解。現代 Clifford 分析整門學科建立於此觀察。

場景二：準保角與 Beltrami 方程。若把 C–R 放寬為 \(f_{\bar z} = \mu(z) f_z\) （ \(\mu\) 為給定「複伸縮」），得到 Beltrami 方程，其解是準保角映射（角度有界畸變）。1957 年 Ahlfors–Bers 證明其解存在且具有與解析函數相同的緊性。準保角映射是 Teichmüller 理論（Riemann 面的模空間）的引擎，也是醫學影像配準的實用工具——C–R 的「放寬版」直接餵養了幾何拓撲與應用兩端。

場景三：多複變數的困境。 \(\mathbb{C}^n\) 上幾個變數的解析函數理論（ \(n \ge 2\) ）出現單變數沒有的現象：Hartogs 現象（1906）—— \(n\ge2\) 時，函數在挖去一個緊集的區域上解析，必可延拓過洞。單變數的孤立奇點、解析延拓阻礙（自然邊界）在多變數中大量消失。C–R 方程推廣為 \(n\) 組方程後，剛性不減反增——「維數改變理論性格」的最早案例。

場景四：數值計算的鏡子。有限差分驗證 C–R 是檢驗「複導數程式碼」正確性的利器：對 \(f(z)=z^3\) 用中心差分在 \(z=1+i\) 處算 \(u_x, v_y\) ，與解析值 \(3z^2 = 6i\) 對照。更現代的「複步自動微分」（complex-step differentiation）：用 \(f'(x) \approx \operatorname{Im}\frac{f(x+ih)}{h}\) 取 \(h = 10^{-20}\) ，無減法相消誤差，精度達機器極限——C–R 的思想在二十一世紀的數值程式庫中每天運行。

場景五：C–R 的積分形式與解析性的另一面。Morera 定理（4.1 節會遇到）：若 \(f\) 連續且沿一切閉曲線 \(\oint f\,dz = 0\) ，則 \(f\) 解析。這與 C–R 構成解析性的兩張面孔：微分面（C–R，局部）與積分面（零環量，整體）。第 3 章將證明兩者等價；物理學家對「零環量 = 無旋 = 位勢場」的偏愛（10.2 節）正是積分面孔的語言。

名詞速查表（本節出現的核心術語）#

• Cauchy–Riemann 方程： \(u_x = v_y\) 、 \(u_y = -v_x\) ，複可微的必要條件（配合實可微則充分）。
• 調和共軛：與 \(u\) 配對滿足 C–R 的 \(v\) ，記 \(v = u^*\) 。
• 保角（conformal）：映射在該點保持定向夾角；解析且導數非零 \(\iff\) 保角。
• 臨界點： \(f'(z_0) = 0\) 的點，角度畸變處。
• Beltrami 方程： \(f_{\bar z} = \mu f_z\) ，準保角映射的控制方程。
• Dirichlet 原理：以能量極小化解調和方程的方法（Riemann 依賴、Weierstrass 批判、Hilbert 挽救）。
• Morera 定理：連續 + 零環積分 \(\Rightarrow\) 解析。

年表速查（本節涉及的關鍵年份）#

• 1752：d'Alembert《論流體的阻力》，方程組首現。
• 1777：Euler 地圖投影論文， \(u+iv\) 記法。
• 1825–1827：Cauchy 複積分定理與「虛積分」論文，方程組入函數論。
• 1851：Riemann 博士論文，C–R 為定義起點、聯通位勢論。
• 1857：Riemann 論 Abelian 函數，Riemann 面成型。
• 1870：Weierstrass 批判 Dirichlet 原理。
• 1900：Hilbert 挽救 Dirichlet 原理（第六問題相關工作）。
• 1906：Hartogs 多變數延拓現象。
• 1938/1957：Morrey、Ahlfors–Bers 建立準保角映射理論。

深化問答三則#

問：C–R 方程「美」在哪裡？ 答：它用兩條一階線性偏微分方程完整編碼了「沿一切方向收斂到同一複數」這個看似無窮的條件。壓縮比驚人：從無窮方向到兩個純量等式。而且這兩條方程的係數（ \(1, \pm 1\) ）構成 \(90^\circ\) 旋轉矩陣——方程的形式本身就是幾何（旋轉）的代數像。內容、結構、幾何三位一體，故為美。

問：Riemann 把 C–R 當定義，Cauchy 當條件，差別重要嗎？ 答：重要，這是兩種數學哲學。Cauchy 從計算出發：先有複積分與導數的運算，C–R 是檢驗工具。Riemann 從方程出發：解析函數就是 C–R 組的解，理論是「這個方程組的解空間論」。前者演算法化，後者結構化。現代 PDE 理論（把微分方程的解空間當幾何對象研究）是 Riemann 路線的後裔；計算複分析是 Cauchy 路線的後裔。

問：C–R 對非光滑函數還有意義嗎？ 答：有，以弱導數形式。Sobolev 空間 \(W^{1,2}\) 中的 C–R 解（Weyl 引理，1940）自動是光滑解析函數——「弱解正則化」是現代 PDE 的核心思想之一，其最早範例正是 C–R 組。這也給了 Hilbert 挽救 Dirichlet 原理的技術基礎（變分直接法）。

（本節完）