相同的定義,更強的要求
在實數軸上,導數 是 差商 的極限:當 x → a 時,f'(a) = lim (f(x) − f(a)) / (x − a)。對於 複可導,我們寫下 完全相同的公式,只是此時 z 和 a 是複數,商也是複數除以複數。玄機藏在「當 z → a 時」這句話裡:在平面上,z 可以沿任意路徑、從無窮多個方向逼近 a。這一個複極限必須對所有方向給出 相同的值。
逼出柯西–黎曼方程
記 f(z) = u(x, y) + i v(x, y),其中 z = x + i y,u、v 取實值。先沿實方向逼近 a(z = a + h,h 為實數 → 0),再沿虛方向逼近(z = a + i k,k 為實數 → 0)。若 f 複可導,兩者必給出相同的 f'(a)。令二者相等便得到 [[cauchy-riemann-equations|柯西–黎曼方程]]:∂u/∂x = ∂v/∂y 以及 ∂u/∂y = −∂v/∂x。它們正是「極限與方向無關」所必須付出的 必要 代價。
Claim: if f = u + i v is complex differentiable at a, then CR holds at a.
Let f'(a) = L (a single complex number). Then for z -> a,
(f(z) - f(a)) / (z - a) -> L, along EVERY path.
Path 1 (horizontal): z = a + h, h real, h -> 0, so z - a = h.
(f(a+h) - f(a)) / h
= ( u(x+h,y) - u(x,y) )/h + i ( v(x+h,y) - v(x,y) )/h
-> u_x + i v_x.
So L = u_x + i v_x. ...(1)
Path 2 (vertical): z = a + i k, k real, k -> 0, so z - a = i k.
(f(a+ik) - f(a)) / (i k)
= ( u(x,y+k) - u(x,y) )/(i k) + i ( v(x,y+k) - v(x,y) )/(i k)
= (1/i)( u_y + i v_y ) = v_y - i u_y (since 1/i = -i).
So L = v_y - i u_y. ...(2)
Equate real and imaginary parts of (1) and (2):
u_x = v_y and v_x = -u_y.
These are the Cauchy-Riemann equations. QED一個快速驗證
我們檢驗兩個函數。平方映射 f(z) = z² 應當處處複可導;共軛映射 g(z) = z̄ 則應當失敗。把每個寫成 u + i v 並核對 柯西–黎曼 方程組,幾行就能判定。
Example A: f(z) = z^2. z = x + i y, so z^2 = (x^2 - y^2) + i (2 x y). u = x^2 - y^2, v = 2 x y. u_x = 2x, v_y = 2x -> u_x = v_y OK u_y = -2y, v_x = 2y -> u_y = -v_x OK CR holds everywhere; partials are continuous, so f is holomorphic on all of C. (And indeed f'(z) = u_x + i v_x = 2x + i 2y = 2z, as expected.) Example B: g(z) = conj(z) = x - i y. u = x, v = -y. u_x = 1, v_y = -1 -> u_x = v_y becomes 1 = -1 FAILS. CR fails at every point, so g is complex differentiable NOWHERE, even though u and v are as smooth as could be.