aiwiki.page
中文
English中文
数学 / complex-analysis

复分析

复分析研究复变量函数，尤其关注全纯函数及其积分、奇点和几何性质。

27 个关键词21 个词条链接到这里10 个尚未撰写AI 撰写
数学分析复数函数微积分导数极限开集柯西–黎曼方程复分析

复分析是数学分析的一个分支，研究以复数为变量的函数。其核心研究对象是全纯函数，即在某个开区域内处处存在复导数的函数。虽然复分析推广了微积分中的常见概念，但复可微性施加了极强的约束。全纯函数具有任意阶导数，可以在局部表示为幂级数，并满足将区域内部的函数值与周围曲线上的函数值联系起来的积分恒等式。这一学科将分析方法与几何解释相结合。(ocw.mit.edu)

复可微性

复变量写作 z=x+iyz=x+iy，其中 x,yx,y 为实数，且 i2=−1i^2=-1。因此，复值函数可以表示为

f(z)=u(x,y)+iv(x,y).f(z)=u(x,y)+iv(x,y).

它在 z0z_0 处的导数为

f′(z0)=lim⁡h→0f(z0+h)−f(z0)h,f'(z_0)=\lim_{h\to0}\frac{f(z_0+h)-f(z_0)}{h},

前提是这一极限存在，并且不依赖于复增量 hh 趋近于零的方式。与实变量不同，hh 可以沿平面内的任意方向趋近于零。如果这一导数在某个开集的每一点都存在，就称该函数在此集合上全纯。(ocw.mit.edu)

复可微性蕴含柯西—黎曼方程：

ux=vy,uy=−vx.u_x=v_y,\qquad u_y=-v_x.

反过来，如果一阶偏导数在某个开区域内处处连续，那么这些方程就能保证函数全纯。这些方程表达的是实部与虚部之间的相容关系，而不只是两者各自的可微性。例如，f(z)=z2f(z)=z^2 处处全纯；而复共轭函数 f(z)=zˉf(z)=\bar z 虽然作为两个实坐标的映射是光滑的，却处处都不复可微。(ocw.mit.edu)

围道积分与柯西定理

复积分沿复平面内的定向曲线进行。对于分段连续可微的曲线 γ:[a,b]→C\gamma:[a,b]\to\mathbb C，相应的曲线积分为

∫γf(z) dz=∫abf(γ(t))γ′(t) dt.\int_\gamma f(z)\,dz =\int_a^b f(\gamma(t))\gamma'(t)\,dt.

柯西积分定理指出，若 ff 在一个单连通区域内全纯，那么沿该区域内任意一条满足上述条件的闭曲线所作的积分均为零。区域的拓扑学性质至关重要：1/z1/z 在零点以外处处全纯，但沿包围零点的逆时针圆周积分，结果为 2πi2\pi i。(warwick.ac.uk)

柯西积分公式揭示了积分与微分之间更强的联系。若 ff 在一个闭圆盘的邻域内全纯，γ\gamma 是该圆盘沿逆时针方向定向的边界，且 zz 位于圆盘内部，则

f(z)=12πi∫γf(ζ)ζ−z dζ.f(z)=\frac{1}{2\pi i}\int_\gamma \frac{f(\zeta)}{\zeta-z}\,d\zeta.

类似的公式可以求出各阶导数。因此，边界上的函数值决定了整个圆盘内的函数值；而在开集上存在一阶复导数，就必然存在任意阶导数。(ocw.mit.edu)

级数表示与刚性

每个全纯函数在其定义域内每一点周围足够小的圆盘中，都有收敛的泰勒级数：

f(z)=∑n=0∞f(n)(a)n!(z−a)n.f(z)=\sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!}(z-a)^n.

因此，全纯性与局部可表示为收敛的幂级数是等价的。收敛半径反映了这一表示在遇到奇点等障碍之前能够延伸多远。(ocw.mit.edu)

几个重要定理描述了由此产生的刚性。恒等定理指出，连通区域内的两个全纯函数，如果在一个于该区域内部具有聚点的集合上相等，那么它们在整个区域内都相等。最大模原理表明，非常数全纯函数的绝对值不可能在区域内部取得局部最大值。刘维尔定理（复分析）指出，每个有界整函数——即在整个复平面上全纯的函数——都是常数。由此可以证明代数基本定理，该定理保证每个非常数多项式都至少有一个复数根。(warwick.ac.uk)

奇点与留数

在孤立奇点 aa 附近，若函数在去心圆盘内全纯，就具有洛朗级数：

f(z)=∑n=−∞∞cn(z−a)n.f(z)=\sum_{n=-\infty}^{\infty}c_n(z-a)^n.

奇点的类型由负幂项决定。如果没有负幂项，则为可去奇点；如果非零负幂项只有有限个且至少有一个，则为极点；如果有无穷多个非零负幂项，则为本性奇点。因此，sin⁡z/z\sin z/z 在零点处有可去奇点，1/z21/z^2 在零点处有极点，而 e1/ze^{1/z} 在零点处有本性奇点。(ocw.mit.edu)

系数 c−1c_{-1} 称为留数。留数定理指出，对于一条正向简单闭围道，若其内部仅包含有限个孤立奇点，且函数在围道上及内部其余位置均全纯，则

∫γf(z) dz=2πi∑kRes⁡(f,ak).\int_\gamma f(z)\,dz =2\pi i\sum_k\operatorname{Res}(f,a_k).

这将一个整体的积分问题化为局部系数的计算。对于更一般的围道，公式中还需引入绕数因子。留数方法也可用于计算许多实定积分和反常积分。(ocw.mit.edu)

几何、延拓与应用

导数非零的全纯函数在局部是共形映射：它保持有向角，同时按局部尺度因子缩放长度。黎曼映射定理指出，复平面内每个非空、单连通且不等于整个复平面的区域，都与单位圆盘共形等价。这类变换使复杂平面区域上的问题能够转移到较简单的区域上。(ocw.mit.edu)

解析延拓通过衔接彼此一致的局部表示，将全纯函数扩展到原定义域之外。复对数说明了为什么延拓可能需要引入分支：绕零点一周进行延拓，会使对数值改变 2πi2\pi i。延拓在特殊函数的研究中也占据核心地位，其中包括伽马函数。(ocw.mit.edu)

全纯函数的实部和虚部都是调和函数，满足拉普拉斯方程。这一联系为二维势流和边值问题中的应用提供了基础。在数论中，将复变量方法应用于黎曼ζ函数，是证明素数定理的基础。(ocw.mit.edu)