解析函数是复变函数主要研究的对象，它是一种条件更强的可微函数，解析函数具有十分良好的性质，它比一元实函数的连续性以及可导性性质更好。
目录
1 定义
2 C.-R. 方程
3 性质
4 解析的等价刻画
5 上下节
6 参考资料
定义[]
设定义在区域
D
{\displaystyle D}
上的复变函数
w
=
f
(
z
)
{\displaystyle w = f(z)}
在区域
D
{\displaystyle D}
上可微，我们就说该函数是区域
D
{\displaystyle D}
上的解析函数、全纯函数或正则函数，如果
w
=
f
(
z
)
{\displaystyle w = f(z)}
在
z
0
{\displaystyle z_0}
的某个邻域内可微，就说该函数在点
z
0
{\displaystyle z_0}
解析。在某点解析的条件比在某点可微的条件更强，它必须要求在这个点的邻域内可微，因此在某点解析的函数是无穷可微的，但在某一点无穷可微的函数不一定在该点解析，这样的函数是存在的。
如果复变函数
w
=
f
(
z
)
{\displaystyle w = f(z)}
在闭域
D
¯
{\displaystyle \overline{D}}
上解析，是说该函数在包含这个闭域的一个区域上解析。
如果复变函数
w
=
f
(
z
)
{\displaystyle w = f(z)}
在点
z
0
{\displaystyle z_0}
不解析，但是在
z
0
{\displaystyle z_0}
的任意邻域内总有这个函数的解析点，我们就说
z
0
{\displaystyle z_0}
是该函数的奇点。在某个区域内如果某个函数有有限个奇点，它也可以算作是这个区域上的解析函数，因为我们研究解析函数的性质，着重在它的解析点上，因此容许有限个不解析点（奇点）存在。
在某个区间上处处不解析的函数是存在的，这类函数不在解析函数的研究范畴之内，诸如
f
(
z
)
=
|
z
|
.
{\displaystyle f(z) = |z|.}
C.-R. 方程[]
设定义在区域
E
{\displaystyle E}
上的复变函数
w
=
f
(
z
)
=
u
(
x
,
y
)
+
i
v
(
x
,
y
)
{\displaystyle w = f(z) = u(x, y) + \text{i} v(x, y)}
，称如下的方程组为对应于
z
=
x
+
i
y
{\displaystyle z = x + \text{i} y}
的 Cauchy-Riemann 方程（柯西-黎曼方程），简称为 C.-R. 方程
∂
u
∂
x
=
∂
v
∂
y
,
∂
u
∂
y
=
−
∂
v
∂
x
.
{\displaystyle \dfrac{\partial u}{\partial x} = \dfrac{\partial v}{\partial y}, \quad \dfrac{\partial u}{\partial y} = -\dfrac{\partial v}{\partial x}.}
它是判断复变函数在某点（区域）解析的必要条件，即如果复变函数在某点（区域）内解析，那么必然满足 C.-R. 方程，不满足该方程的点或区域上该函数都不解析。
由此可得函数
w
=
f
(
z
)
=
u
(
x
,
y
)
+
i
v
(
x
,
y
)
{\displaystyle w = f(z) = u(x, y) + \text{i} v(x, y)}
在定义域内一点
z
=
x
+
i
y
{\displaystyle z = x + \text{i} y}
可微的充要条件是二元函数
u
(
x
,
y
)
,
v
(
x
,
y
)
{\displaystyle u(x, y), v(x, y)}
在点
(
x
,
y
)
{\displaystyle (x,y)}
可微且满足 C.-R. 方程。
函数
w
=
f
(
z
)
=
u
(
x
,
y
)
+
i
v
(
x
,
y
)
{\displaystyle w = f(z) = u(x, y) + \text{i} v(x, y)}
在区域
D
{\displaystyle D}
上解析的充要条件是二元函数
u
(
x
,
y
)
,
v
(
x
,
y
)
{\displaystyle u(x, y), v(x, y)}
在区域
D
{\displaystyle D}
上可微且满足 C.-R. 方程。
性质[]
由于解析函数也是（无穷）可微函数的一种，可微函数的性质它也都具备，诸如求导法则、连续性、局部有界等等。
无穷可微性：由一个解析函数在某一点的解析性可以推出它在这一点的各阶导数存在，这是后续幂级数展开的基础。
平均值定理：设函数
f
(
z
)
{\displaystyle f(z)}
在开圆盘
|
z
−
z
0
|
<
R
{\displaystyle |z-z_0| < R}
上解析，在
|
z
−
z
0
|
⩽
R
{\displaystyle |z - z_0| \leqslant R}
上连续，那么
f
(
z
0
)
=
1
2
π
∫
0
2
π
f
(
z
0
+
R
e
i
φ
)
d
φ
{\displaystyle f(z_0) = \dfrac{1}{2\pi} \int_0^{2\pi} f(z_0 + R \text{e}^{\text{i}\varphi}) \mathrm{d}\varphi}
极值原理（最大模原理）：设在区域
D
{\displaystyle D}
内解析的不恒为常数的函数
f
(
z
)
{\displaystyle f(z)}
，它的模长
|
f
(
z
)
|
{\displaystyle |f(z)|}
在
D
{\displaystyle D}
中的任何点都达不到最大值。
Cauchy 不等式：设区域
D
{\displaystyle D}
的边界是周线
C
{\displaystyle C}
，复变函数
f
(
z
)
{\displaystyle f(z)}
在
D
{\displaystyle D}
内解析，在
D
+
C
{\displaystyle D + C}
上连续，设
z
0
∈
D
{\displaystyle z_0 \in D}
，圆周
|
z
−
z
0
|
=
R
{\displaystyle |z - z_0| = R}
及其内部全在区域
D
{\displaystyle D}
中，那么有
|
f
(
n
)
(
z
0
)
|
⩽
n
!
M
R
n
,
z
0
∈
D
.
{\displaystyle \left| f^{(n)} (z_0) \right| \leqslant \dfrac{n! M}{R^n}, \quad z_0 \in D.}
其中，
R
=
|
z
−
z
0
|
,
M
=
sup
|
z
−
z
0
|
=
R
|
f
(
z
)
|
.
{\displaystyle R = |z - z_0|, M = \sup_{|z - z_0| = R} |f(z)|.}
实际上，
M
{\displaystyle M}
的定义可以改为
M
=
sup
|
z
−
z
0
|
<
R
|
f
(
z
)
|
.
{\displaystyle M = \sup_{|z - z_0| < R} |f(z)|.}
零点孤立性：非常数函数的解析函数的零点是孤立的。
唯一性定理：设在区域
D
{\displaystyle D}
内解析的函数
f
(
z
)
{\displaystyle f(z)}
和
g
(
z
)
{\displaystyle g(z)}
，如果存在一个收敛点列
{
z
n
}
n
=
1
∞
{\displaystyle \{ z_n \}_{n=1}^\infty}
有
f
(
z
n
)
=
g
(
z
n
)
{\displaystyle f(z_n) = g(z_n)}
，其中
z
n
≠
0
{\displaystyle z_n \ne 0}
，则
f
(
z
)
{\displaystyle f(z)}
和
g
(
z
)
{\displaystyle g(z)}
在
D
{\displaystyle D}
内恒等。
Schwarz 引理：在单位圆
|
z
|
<
1
{\displaystyle |z| < 1}
内解析的函数
f
(
z
)
{\displaystyle f(z)}
，如果
f
(
0
)
=
0
,
|
f
(
z
)
|
<
1
{\displaystyle f(0) = 0, |f(z)|<1}
，则在单位圆内恒有
|
f
(
z
)
|
⩽
|
z
|
,
|
f
′
(
0
)
|
⩽
1.
{\displaystyle |f(z)| \leqslant |z|, |f'(0)| \leqslant 1.}
解析变换与共形映射：揭示解析函数导数的几何意义以及解析函数的变换性质。
解析的等价刻画[]
Cauchy-Riemann 方程：见上。
Cauchy 积分定理及逆定理：函数
f
(
z
)
{\displaystyle f(z)}
在单连通区域
D
{\displaystyle D}
内解析，当且仅当对任意周线
C
∈
D
{\displaystyle C \in D}
，有
∫
C
f
(
z
)
d
z
.
{\displaystyle \int_C f(z) \mathrm{d}z.}
解析函数的泰勒展式：函数
f
(
z
)
{\displaystyle f(z)}
在点
z
0
{\displaystyle z_0}
处解析，可以在该点的某邻域内展成泰勒展式
f
(
z
)
=
∑
n
=
0
∞
c
n
(
z
−
z
0
)
n
{\displaystyle f(z) = \sum_{n=0}^\infty c_n (z - z_0)^n}
其中，
c
n
=
f
(
n
)
(
z
0
)
n
!
=
1
2
π
i
∫
C
′
f
(
ζ
)
(
ζ
−
z
0
)
n
+
1
d
ζ
{\displaystyle c_n = \dfrac{f^{(n)} (z_0)}{n!} = \dfrac{1}{2\pi\text{i}} \int_{C'} \dfrac{f(\zeta)}{(\zeta - z_0)^{n+1}} \mathrm{d}\zeta}
上下节[]
上一节：复变函数的导数
下一节：复指数函数
参考资料钟玉泉, 《复变函数论（第五版）》, 高等教育出版社, 北京, 2021-03, ISBN 978-7-0405-5587-5.
单复变函数论（学科代码：1104120，GB/T 13745—2009）
复数理论
复平面 ▪ 复数列 ▪ 棣莫弗公式 ▪ 复球面 ▪ 欧拉公式 ▪ 复几何
复变函数以及微分理论
复变函数的极限 ▪ 复变函数的连续性 ▪ 复变函数的导数 ▪ 解析函数 ▪ 复指数函数 ▪ 复三角函数 ▪ 复双曲函数 ▪ 复指数系函数的几何形态 ▪ 多值函数 ▪ 辐角函数 ▪ 复对数函数 ▪ 复根式函数 ▪ 复幂以及一般幂函数 ▪ 复反三角函数
复变函数的积分理论
复变函数的积分 ▪ Cauchy 积分定理 ▪ 复变函数的不定积分 ▪ Cauchy 积分公式 ▪ Liouville 定理 ▪ Cauchy 型积分
复变函数的级数理论
复数项级数 ▪ 复函数项级数、复幂级数 ▪ 解析函数的泰勒展式 ▪ 解析函数的零点性质 ▪ 解析函数的洛朗展式 ▪ 解析函数的孤立奇点 ▪ 解析函数的无穷远点性质 ▪ 留数理论 ▪ 留数的应用 ▪ 对数留数
复变函数的几何理论
解析变换 ▪ 分式线性变换 ▪ 共形映射 ▪ 解析开拓 ▪ 完全解析函数 ▪ 整函数 ▪ 亚纯函数 ▪ Mittag-Leffler 定理 ▪ Weierstrass 定理
所在位置：数学（110）→ 函数论（11041）→ 单复变函数论（1104120）