若复变函数 在 处可微,则其实部与虚部并不独立:在 处必须满足 C-R(Cauchy–Riemann)方程
必要性
设 在 处可微(可导),则 与 在 处的偏导数都存在,且在该点满足 C-R 方程
充分性
设 与 在 的某个邻域内有定义,其偏导数 在 处存在且连续,并且在该点满足 C-R 方程 、,则 在 处可微(可导),且
“偏导数存在 + C-R 方程”本身不足以保证可微,还需要偏导数连续(或直接设 可微);而必要性只要求可微,并不要求偏导数连续。
极坐标形式
在极坐标 下,C-R 方程与导数写成
推导与用法见 极坐标形式的C-R方程。
几何意义
设 在 可微且 ,则它的线性化(Jacobi 矩阵)在 C-R 方程下形如
即“乘以复数 ”。于是 在 附近把每个小图形统一伸缩 倍并旋转 ,因此过 的任意两条曲线在映射后夹角不变——这就是解析函数的保角性。
教材 §20–§21