全纯函数

复差商允许增量从平面任意方向趋零，要求所有方向给出同一复线性比例；这比二维实可微多出一个旋转相容条件。局部复可微一旦在开集上成立，Cauchy 理论会自动推出无限次可微、幂级数展开与强唯一性。所谓“刚性”正来自局部平均值和边界积分能够控制内部全部信息。

多项式和指数函数都是整函数；$1/z$ 在 $\mathbb{C}\setminus \{0\}$ 全纯，因分母为零而不能按同一公式扩到原点。

对 $f(z)=z^2$，

与 $h$ 的方向无关。对 $f(z)=\bar{z}$，沿实轴增量差商为 $1$，沿虚轴则为 $-1$，故任何点都不复可微。还有一个更细的反例：$g(z)=|z{|}^2$ 在原点的差商为 $\bar{h}\to 0$，所以 $g^{\prime }(0)=0$。但写成 $u=x^2+y^2,v=0$ 后，Cauchy–Riemann 方程要求 $2x=0$ 且 $2y=0$，故其他任何点都不复可微。原点可微仍没有提供一个全纯邻域。

判断时可使用Cauchy–Riemann 判据理路Cauchy–Riemann 方程Cauchy–Riemann equations把复可微性转化为实部和虚部偏导之间的兼容条件。的明确充分条件：若 $u,v$ 在开集上具有连续一阶偏导，并处处满足 $u_x=v_y,u_y=-v_x$，则 $u+iv$ 全纯。若只有单点偏导存在及等式成立，不能省去实可微性条件。

全纯性建立在复可微理路复可微性Complex differentiability复差商在任意方向趋近时有同一极限的性质。之上，并由Cauchy–Riemann 方程理路Cauchy–Riemann 方程Cauchy–Riemann equations把复可微性转化为实部和虚部偏导之间的兼容条件。联系二维实偏导。Cauchy 积分公式理路Cauchy 积分定理与公式Cauchy integral theorem · Cauchy integral formula全纯函数在可缩闭路上的积分为零，并可由边界积分重建内部值与所有导数。把边界值转成内部导数，进而说明全纯函数局部等于幂级数理路解析幂级数Power series · Analytic power series在实数或复数中按收敛半径定义函数的幂级数。。留数、解析延拓与调和函数都沿这条链展开。

例如在 $|z|<1$ 上，$1/(1-z)=\sum _{n\ge 0}{z}^n$；以 $0$ 为中心的展开半径止于距离为 $1$ 的奇点 $z=1$。局部全纯并不保证一个以固定中心展开的级数覆盖整个定义域。若定义域在中心留下一个洞，Laurent 定理理路Laurent 级数Laurent series · 洛朗级数全纯函数在指定环域上有唯一的双边幂级数展开，其系数由环域内圆周积分确定。提供指定环域上的双边展开；它的负幂记录了普通 Taylor 级数无法表示的部分。

最大模原理进一步说明，在连通开集上非恒定全纯函数的模不能于内部取得局部最大值；内部行为受边界约束，是复分析刚性最醒目的表现之一。

复解析延拓范围会直接决定实轴上的数值逼近速度。解析函数的谱收敛理路解析函数的谱收敛Spectral convergence for analytic functions用复解析延拓范围定量控制 Fourier 与 Chebyshev 系数衰减，并展示最近极点的作用。通过移动 Fourier 积分路径和 Chebyshev 的圆环表示，说明离实区间最近的复奇点怎样控制系数衰减。