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

解析函數與柯西–黎曼方程

當你讓 x 變成複數 z = x + iy,求導這個看似平常的問題忽然要求一種驚人的剛性——正是從這一條要求裡,落出了柯西–黎曼方程,以及讓整個複平面歌唱起來的調和函數。

導數,卻要同時面對兩個方向

在第一卷裡,導數是差商的極限:f'(x) 是當步長 h 趨於零時 (f(x+h) - f(x))/h 的極限。在實數軸上,只有兩條路逼近一個點——從左、從右——我們堅持兩者給出同一個斜率。現在我們對複變量 z = x + iy 玩同樣的遊戲,這裡 f(z) 本身就是一個複數。定義看上去一模一樣:f'(z) 是當 h 趨於零時 (f(z+h) - f(z))/h 的極限。蹊蹺之處在於,h 現在是一個複數,它可以從平面上無窮多個方向逼近零——沿實軸、沿虛軸、以任意角度旋著收進來。

要讓這個極限存在、是一個單一的複數,那無窮多個方向中的每一個都必須交回同樣的答案。這是一個強得驚人的要求。在實數軸上,可微只是個溫和的條件——你遇到的多數函數都滿足。在複平面裡,要求各個方向上有一個一致的導數,限制之嚴,以至於通過的函數是一支稀有而極其規整的精英隊伍。當複導數在某點、以及它周圍一整個小圓盤內都存在時,我們稱這樣的函數在該點解析(或全純)。

兩個方向,一條方程:推出柯西–黎曼

我們把「各個方向給出同一答案」兌現成一條能用的法則。把函數拆成實部與虛部:寫 f(z) = u(x, y) + i v(x, y),其中 u 與 v 是兩個實座標 x、y 的普通實值函數。複導數若存在,無論我們讓步長 h 沿實軸還是沿虛軸跑,結果都必須相同。僅僅比較這兩個逼近方向,就足以把一切釘死。

先沿實軸逼近(取 h 為一個極小的實數)。這時差商只改變 x,於是導數表現為對 x 的偏導數:f'(z) = du/dx + i dv/dx。再改沿虛軸逼近(取 h 為 i 乘一個極小實數)。除以這個虛步長會把一切旋轉一個 1/i = -i 的因子,導數此時讀作 f'(z) = dv/dy - i du/dy。這兩個表達式說的是同一個數 f'(z),必須一致。分別匹配實部與虛部,就得到那兩條著名的方程。

Approach along real axis:        f' = u_x + i v_x
Approach along imaginary axis:   f' = v_y - i u_y

The two must be equal, so:
      u_x = v_y          (real parts match)
      u_y = -v_x         (imaginary parts match)

   <-- these are the Cauchy-Riemann equations -->
( subscripts mean partial derivatives: u_x = du/dx )
強迫沿實軸與沿虛軸的導數一致,就得出柯西–黎曼方程。

這兩條方程到底在說什麼

於是柯西–黎曼方程就是 du/dx = dv/dy 與 du/dy = -dv/dx。它們絕非隨意的記賬——而正是「成為解析」這道門檻的確切票價。從幾何上讀,它們說實部與虛部被鎖成同一個剛性運動的兩張面孔。在每一點上,一個解析映射在一階近似下就像一個旋轉疊加一個均勻縮放——它能把一小片鄰域拉伸、旋轉,卻絕不能把圓壓成橢圓,也不能翻轉定向。正是這種剛性,使得解析映射是共形(保角)的:只要導數非零,它就保持曲線之間的夾角。

我們拿最友好的例子來檢驗這兩條方程,即複指數 f(z) = e^z。歐拉公式把它展開為 e^z = e^x (cos y + i sin y),故 u = e^x cos y、v = e^x sin y。求導:du/dx = e^x cos y 而 dv/dy = e^x cos y——相符。又 du/dy = -e^x sin y 而 -dv/dx = -e^x sin y——也相符。兩條柯西–黎曼方程處處成立,所以 e^z 在整個平面上解析,而且它的導數正是 e^z 本身,恰如你所期望。

調和函數白白掉了出來

現在到了讓複分析在物理中不可或缺的那份回報。設 f = u + iv 解析,並且(這裡我們暫且採信、留待以後證明)u、v 於是自動足夠光滑、擁有二階偏導。把第一條柯西–黎曼方程 du/dx = dv/dy 對 x 求導,把第二條 du/dy = -dv/dx 對 y 求導。v 的混合偏導相等——對光滑函數而言求導次序無關,這是第一卷關於偏導數的事實——於是兩式相加時,v 的項恰好相消,只剩下 d^2u/dx^2 + d^2u/dy^2 = 0。

那條方程 d^2u/dx^2 + d^2u/dy^2 = 0,緊湊地寫作 nabla^2 u = 0,就是拉普拉斯方程,凡滿足它的函數都稱為調和函數。把同樣的論證反過來走一遍,你會發現 v 也是調和的。於是每個解析函數的實部與虛部,都是一對配套的調和函數——而調和函數恰恰就是物理裡的穩態溫度分布、靜電勢、不可壓縮理想流。這正是工程師為何要訴諸複平面的深層原因:每個解析函數都悄悄在體內帶著兩個拉普拉斯方程的解。

這種配對在一個微妙而有用的意義上不對稱:給定一個調和的 u,柯西–黎曼方程告訴你 v 的梯度(由 u 你已知 dv/dx 與 dv/dy),於是可以積分把 v 還原到差一個常數。如此構造出的 v 稱為 u 的調和共軛,而 u + iv 便是解析的。這裡有一個誠實的小提醒——這種重建在單連通區域(沒有洞的區域)上有保證;而在帶洞的區域、比如圓環上,調和共軛可能在整體上不存在。對數的勢函數正是這一微妙處發作的經典場所。

運用這條判據,以及它的邊界

下面是把這一切變成一件你真能動手用的工具的實用清單,用來檢驗一個函數 f(z)。

  1. 用 z = x + iy,並在出現指數或三角函數處用歐拉公式,把 f(z) 明確拆成 f(z) = u(x, y) + i v(x, y) 的實部與虛部。
  2. 算出全部四個一階偏導:u_x、u_y、v_x、v_y。
  3. 核對兩條柯西–黎曼方程 u_x = v_y 與 u_y = -v_x。兩者皆成立(且偏導連續)之處,f 解析;任一失敗之處,f 不解析。
  4. 在解析之處,直接由 f'(z) = u_x + i v_x 白白讀出導數,並可放心 u 與 v 各自滿足拉普拉斯方程。

臨別給你兩個誠實的邊界。其一,單憑這兩條方程是必要而不盡充分的:一個函數可以在某孤立點滿足柯西–黎曼,卻仍在那裡不可微。乾淨的定理是:若 u、v 有連續的一階偏導,並在一個開集上滿足這兩條方程,則 f 在該開集上解析——偏導連續正是補上那道縫隙的假設。其二,解析是局部的:多數有趣的函數在平面的大部分上解析,卻並非全部。複對數需要一條支割線,而 1/z 在原點炸開——這些解析性的失效之處,稱為奇點,它們不是毛病,反而正是後續幾篇裡圍道積分與留數機器要去利用的關鍵特徵。