复变函数的保角变换与几何性质
-
基本概念
保角变换是解析函数在非临界点(即导数不为零的点)邻域内实现的映射。若函数 \(f(z)\) 在区域 \(D\) 内解析,且 \(f'(z_0) \neq 0\),则 \(f\) 在 \(z_0\) 处具有保角性:它保持两条曲线交角的大小和方向。这一性质源于解析函数的导数可视为旋转和伸缩的复合变换。 -
局部几何行为
在点 \(z_0\) 附近,映射 \(f(z)\) 可近似为线性变换:
\[ f(z) - f(z_0) \approx f'(z_0)(z - z_0). \]
导数 \(f'(z_0) = re^{i\theta}\) 的模长 \(r\) 表示伸缩比例,辐角 \(\theta\) 表示旋转角。因此,无穷小图形在映射下保持形状相似性(如圆映射为圆,直线映射为直线)。
- 与柯西-黎曼方程的联系
解析函数满足柯西-黎曼方程 \(u_x = v_y, u_y = -v_x\),其雅可比矩阵形式为:
\[ J = \begin{pmatrix} u_x & u_y \\ v_x & v_y \end{pmatrix} = \begin{pmatrix} a & -b \\ b & a \end{pmatrix} \quad (a+ib = f'(z)). \]
该矩阵是正交矩阵的缩放形式,表明映射在局部是旋转与缩放的复合,从而保证保角性。
-
临界点的例外情况
若 \(f'(z_0) = 0\),则保角性被破坏。例如 \(f(z) = z^n\) 在 \(z=0\) 处将角度放大 \(n\) 倍。此时需通过幂级数展开分析局部行为:若最低次项为 \((z-z_0)^n\),则交角变为原来的 \(n\) 倍。 -
全局保角性
单叶解析函数(即一一映射)在整个区域上保角。例如分式线性变换 \(f(z) = \frac{az+b}{cz+d}\) 在扩充复平面上是保角映射,将圆或直线映为圆或直线。 -
应用示例
保角变换在流体力学、电磁场计算中用于简化边界。例如,通过映射 \(w = z^2\) 将第一象限映为上半平面,从而将直角区域问题转化为半平面问题。