复分析——第1章——复分析准备知识(E.M. Stein & R. Shakarchi)

发布时间：2023年12月22日

第一章???????? 复分析准备知识

(Preliminaries to Complex Analysis)

The sweeping development of mathematics during the

last two centuries is due in large part to the introduction

of complex numbers; paradoxically, this is based

on the seemingly absurd notion that there are numbers

whose squares are negative

(过去两个世纪数学的全面发展在很大程度上要归功于复数的引入。矛盾的是，这是基于一个看似荒谬的概念，即有些数字的平方为负数)

-------------------------------------------------------------------------E. Borel, 1952

本章致力于阐述我们在本书中广泛使用的基本预备资料。

首先，我们快速回顾复数的代数和解析性质，然后是复平面中集合的一些拓扑概念。 (另请参见第一册第一章末尾的练习。)

然后，我们精确定义了全纯性(holomorphicity)的关键概念，即可微性的复杂分析版本。这使我们能够讨论Cauchy-Riemann方程和幂级数。

最后，我们定义曲线(curve)的概念以及函数沿曲线的积分。特别是，我们将证明一个重要的结论，我们可以大致将其表述如下：若函数 f 有一个原函数(primitive)(即，在这种意义上的原函数——存在一个全纯函数 F 并且其导数恰好是 f? )，则对任意闭合曲线 γ ，有

$\int_{\gamma} f (z)dz = 0$ ?。

这是迈向Cauchy定理的第一步，Cauchy 定理在复变函数理论中发挥着核心作用。

1?? 复数和复平面(Complex numbers and complex plane)

???????? 本节涵盖的许多事实已在第1册书中使用过。

1.1?? 基本属性(Basic properties)

一个复数采用? $z = x + iy$ ?的形式，其中，x 和 y 是实数，i?是满足? $i^{2}=-1$ ?的虚数(imaginary number)(译注：即所谓“虚构”出来的数)。我们分别称实数x和y为复数z的实数(real part)和虚部(imaginary part)。并分别记为

x = Re{ z } 和 y = Im{ z } 。

实数恰好是虚部为0的复数。实部为0的复数称为纯虚数(purely imaginary)。

在我们的整个演示中，所有复数的集合都用 ? 表示。通过以下简单的关联(identification)，可以将复数可视化为通常的Euclid平面: 将复数 z = x + iy∈? 与点? $(x , y )\in \mathbb{R}^{2}$ ?关联在一起。例如，0 对应原点，而i对应点(0,1)。很自然地， $\mathbb{R}^{2}$ ?的x轴和y轴分别称为复数的实轴(real axis)和虚轴(imaginary axis)，因为它们分别对应实数和纯虚数。(见图1)

------------------------------------------------图1. 复平面-------------------------------------------

加和乘复数的自然法则可通过简单地将所有复数视为好似它们就是实现那样对待且牢记? $i^{2}=-1$ ?即可。若? $z_{1} = x_{1} + y_{1}i$ ?和? $z_{2} = x_{2} + y_{2}i$ ?，则? $z_{1} + z_{2} = ( x_{1} + x_{2} ) + ( y_{1} + y_{2} )i$ ?，此外，

$\begin {array}{rl} z_{1}z_{2}&=( x_{1} + y_{1}i )( x_{2} + y_{2}i )\\ &=x_{1} x_{2} + x_{1} y_{2}i + x_{2} y_{1}i + y_{1} y_{2}i\\ &=x_{1} x_{2} + x_{1} y_{2}i + x_{2} y_{1}i + i^{2} y_{1} y_{2}\\ &=(x_{1} x_{2} - y_{1} y_{2}) + (x_{1} y_{2} + x_{2} y_{1}) i \end{array}$ ?。

若我们采用以上两种表述作为复数的加法和乘法的定义，要验证以下的预期属性是一件简单的事情：

$\bullet$ ? ??交换律(Commutativity): 对于任意? $z_{1} ,z_{2} \in \mathbb{C}$ ?，有? $z_{1} + z_{2} = z_{2} + z_{1}$ ?且? $z_{1} z_{2} = z_{2} z_{1}$ ?。

$\bullet$ ? ??结合律(Associativity): 对于任意? $z_{1} ,z_{2} ,z_{3} \in \mathbb{C}$ ?， $(z_{1} + z_{2}) + z_{3} = z_{1} + (z_{2 }+ z_{3})$ ?。

$\bullet$ ? ?分配律(Distributivity): 对于任意? $z_{1} ,z_{2} ,z_{3} \in \mathbb{C}$ ? , $z_{1}(z_{2} + z_{3}) = z_{1} z_{2} + z_{1} z_{3}$ ?。

显然，复数加法对应平面? $\mathbb{R}^{2}$ ?上相应向量的加法。然而，乘法由拉长的(dilation)旋转组成，一旦我们引入了复数的极坐标形式，这一事实就会变得清晰明了。目前，我们观察到，复数乘以i 对应这个复数旋转π/2 弧度的角。

复数长度功绝对值的概念与? $\mathbb{R}^{2}$ ?中的Euclid长度的概念相同(译注：即两点之间的长度)。更确切地说，我们定义复数? $z = x + iy$ ?的绝对值(absolute value)(译注：绝对值就是长度)为

$| z| = (x^{2}+y^{2})^{1/2}$ ?，

因此，| z |恰好是原点到点(x ,y)之间的距离。特别地，三角不等式对复数成立：

$|z + w| \leq | z | + | w|$ ?(对于任意 z ，w ∈? )。

在此，我们列出其它有用的不等式。对于任意 z ∈? ，有不等式 | Re{ z }|≤ | z |和 ?| Im{ z }|≤ | z |,且对于意 z ，w ∈? 有

$|| z | - | w|| \leq |z - w|$ ?。

以上可从三角不等式推导，因为?

$| z | \leq | z - w | + | w|$ ?且? $| w | \leq | z - w | + | z |$ ??(译注：写成 | w | ≤ | w - z | + | z | 更直观)。

定义复数 z = x + iy 的共轭为

$\overline{z} = x - iy$ ?,?

它是通过平面中实轴的反射获得的(译注：汉语为什么翻译为“共轭”，请参考文章 “共轭”(conjugate)是什么意思？ - 知乎,这里的反射，类似镜面成像的虚像。为什么这样规定，因为这样规定之后，复数就能适应各种针对实数应用的法则，例如，勾股定理，而且与几何完美地结合了起来，复数就是与我们的几何相量相关联的代数名称，这些是其奇妙之处)。事实上，当仅仅当一个复数?z 满足? $z=\overline{z}$ ?时，这个复数是实数，而当且仅当? $z=-\overline{z}$ ?时，复数 z是纯虚数。

读者应该能够毫无困难地验证

$\displaystyle {\rm{ Re}}\{ z \} = \frac{z+\overline{z}}{2}$ ?和?? $\displaystyle {\rm{ Im}}\{ z \} = \frac{z-\overline{z}}{2i}$ ?。

此外，应该也能轻松验证

$|z|^{2} = z\overline{z}$ ?以及由此导出的结果? ? $\displaystyle \frac{1}{z}=\frac{\overline{z}}{|z|^{2}}(\overline{z} \neq 0)$ ?。

可以将任意非零复数 z 写成极坐标形式(polar form)

$z=re^{i\theta}$ ?，

其中，r > 0 ；此外，称 θ∈? 为z?的参数(argument)(唯一地定义为最多是的2π倍数),一般用 arg z 表示，并且有

$e^{i\theta} = \cos(\theta) + i \sin(\theta)$ ??(译注：著名的Euler恒等式)。

$|e^{i\theta}|=1$ ?，我们观察到，r = | z| ，而θ只是正实数轴与以原点从为起点且通过z的半线(half-line)之间的夹角(逆时针方向为正)。(见图2)

----------------------------------------图2. 复数的极坐标形式------------------------------------------

最后，注意，若? $z = re^{i\theta }$ ?且? $w = se^{i\varphi}$ ?，则

$\displaystyle zw = rse^{i(\theta+\varphi)}$ ?，

因此，一个复数乘法对应? $\mathbb{R}^{2}$ ?平面上的一个位似变换(homothety)(即，由长度拉伸或膨胀(dilation)组成的旋转)。

1.2?? 收敛性(Convergence)

??? 我们做一个从以上所描述的复数的算术和几何属性到收敛和极限的关键概念的转换。

??? 对于一个复数级数? $\{z_{1},z_{2},...\}$ ?以及 w ∈? ,若

$\displaystyle \lim_{n \rightarrow \infty}{|z_{n}-w|}= 0$ ?，

则称复数级数? $z_{n}$ ?收敛于 w ，并记作? $\displaystyle w=\lim_{n \rightarrow \infty}z_{n}$ ?。

收敛的概念并不是新的。事实上，在复数域?内的绝对值和? $\mathbb{R}^{2}$ ?平面上的距离是一致的。我们看到，当且仅当复平面上相应点的序列收敛于对应于w?的点时， $z_{n}$ ?收敛于 w 。

作为一个练习，读者可以验证，对于序列? $\{z_{n}\}$ ?，当且仅当? $z_{n}$ ?的实部与虚部分别收敛于 w 的实部和虚部时，序列收敛于 w 。

由于有时候不可能轻易识别出序列的极限(例如，? $\displaystyle \lim_{n \rightarrow \infty}\sum_{n=1}^{N}(1/n^{3})$ ?)?，因此，对序列本身有一个等价于其收敛的条件是很方便的。对于一个序列? $\{z_{n}\}$ ?，若当 n，m ? ∞ 时， $|z_{n} - z_{m}| \rightarrow 0$ ?, 则称其为一个 Cauchy 序列(Cauchy sequence )。换句话说，给定一个 ε > 0 ，总存在一个N > 0 ，使得只要 n，m > N , 就有? $|z_{n} - z_{m}| < \epsilon$ ?。(译注：即极限的ε –σ 描述法。) 实分析的一个重要事实是，实数域?是完备的(complete)：实数的每一个Cauchy序列收敛于一个实数(注：有时候，也称这一事实为Bolzano-Weierstrassp定理)。由于对于复数域 ?中的序列? $\{z_{n}\}$ ??，当且仅且其实部和虚部均是 Cauchy 序列时，它是Cauchy 序列，因此，我们可以推断出，复数域 ?中的每一个Cauchy 序列在复数域?中都有一个极限。因此，我们有下面的结论。

定理 1.1 ?复数域 ? 是完备的。

?????? ?????? 现在我们将注意力转向一些简单的拓扑考量，这些考量在我们的函数研究中是必要的。读者会再次注意到，没有引入新的概念，而是以前的概念现在以新词汇的形式呈现。

1.3? 复平面中的集合(Sets in the complex plane)

若? $z_{0} \in \mathbb{C}$ ?且 r > 0 ,我们将以? $z_{0}$ ?为中心半径为r的开圆盘(open disc(disk))? $D_{r}(z_{0})$ ?定义为从? $z_{0}$ ?开始的长度严格小于r的所有复数的集合。换句话说，

$\displaystyle D_{r}( z_{0} ) = \{ z\in \mathbb{C} \left. \right \vert \: | z - z_{0}| < r \}$ ?，

而这正是通常以 $z_{0}$ ?为圆心半径为 r的平面上的圆盘。而以 ? $z_{0}$ ?为中心半径为r的闭圆盘(closed disc(disk)) $\overline{D}_{r}( z_{0} )$ ?定义为

$\overline{D}_{r}( z_{0} ) = \{ z\in \mathbb{C} | | z - z_{0}| \leq r \}$ ?，

(译注：开圆盘指无边界，而闭圆盘指有明确的边界。)

开圆盘或闭圆盘的边界都是圆

$C_{r}( z_{0} ) = \{ z\in \mathbb{C} |\: | z - z_{0}| = r \}$ ?。

由于单位圆盘(unit disc)(即，中心位于原点半径为1的开圆盘)在随后的章节中起了重要作用，我们后面通常都用 𝔻 表示，

$\mathbb{D} = \{ z \in \mathbb{C} | | z| < 1 \}$ ?。

已经一个集合 Ω∈? ，则对于某点? $z_{0}$ ?，若存在 r > 0 使得

$D_{r}( z_{0} ) \subset \Omega$ ?，

则称? $z_{0}$ ?为Ω 的内点(interior point)。Ω 的内部(interior)由其所有内点组成。最后，若集合Ω的所有点都是其内点，则称是集合Ω是开集(open)。这个定义恰好与? $\mathbb{R}^{2}$ ?上的开集定义一致。

若集合Ω的补集? $\Omega^{c }= \mathbb{C} - \Omega$ ?是开集，则Ω 是闭集(closed)。可以根据极限点(limit point)重述这个定义。对于某一点 z∈? ，若存在一系列点? $z_{n}\in \Omega$ ?，使得? $z_{n} \neq z$ ?且? $\displaystyle \lim_{n \rightarrow \infty} z_{n}=z$ ?，则称这一点 z 为集合Ω的极限点。现在，读者可以验证，对于一个集合，当且仅当其包含所有极限点时，它是闭集。任意集合Ω 的闭包(closure)都是Ω与其极限点的并集(union)，且一般用表示? $\overline{\Omega}$ ?。

最后，集合Ω 的边界(boundary)等于其闭包减去其内点，通常用 ?Ω 表示(译注：符号?的为字母d的草书写法，读音同d )。

???????? 对于集合Ω，若存在 M > 0 ,使得只要 z∈Ω ，就有 | z|< M，则称Ω是有界的(bounded)。换句话说，集合Ω 包含于某个大圆盘中。其集合Ω有界，我们定义其直径(diameter)为

${\rm{diam}}(\Omega) = \displaystyle \sup_{z,w \in \Omega} (z,w\in \Omega)|z-w|$ ? 。

若集合Ω是闭合且有界的，则称其是紧致的(compact)。正如实变量的论证情况一样，我们可以证明以下结论。

定理1.2? 对于集合Ω∈? ，当且仅当每一个序列 ? $\{ z_n \}\in \mathbb{C}$ ?具有一个收敛于Ω中某一点的子序列时，它是紧致的。?

??? 集合Ω的一个开覆盖(open covering)是一族使得?

$\displaystyle \Omega \subset \bigcup_{\alpha}U_{\alpha}$ ?

的开集? $\{U_{\alpha}\}$ ?(不一定可数)。类比于实数集? 的情况，我们有下列等价的紧致性(compactness)公式。

定理1.3? 对于集合Ω，当且仅当Ω的每一个开覆盖都有一个有限子覆盖的时候，它是紧致的。

??? 紧性的另一个有趣的属性是嵌入集(nested sets)。事实上，我们将在研究复变函数理论的一开始就使用这个结果，更准确地说，是在第二章中证明Goursat定理时。

命题 1.4? 若 ? $\Omega_{1}\supset \Omega_2 \supset ...\supset \Omega_n\supset ...$ ?是复数集 ? 中的一个非空紧致集合序列，且具有属性

$\rm{diam}(\Omega_{n}) \rightarrow 0$ ?(当 n ? ∞ 时),

则存在一个唯一点 w∈? ，使得对于任意的?n ，都有? $w \in\Omega_{n }$ ?。

证明：

??? 在每个? $\Omega_{n }$ ?中选择一个点? $z_{n}$ ?。条件? $\rm{diam}(\Omega_{n}) \rightarrow 0$ ?确切指的是? $\{z_{n}\}$ ?是一个Cauchy序列，因此，这个序列收敛于一极限，我们称其为w。由于对于任意的?n，每一个? $\Omega_{n }$ ?都是紧致的，所以我们一定有? $w \in\Omega_{n }$ ?。最后，w是满足这一条件的唯一点，不然，若 w’也满足同一属性且 w’≠ w ，我们就会有 | w - w’| > 0 ，并且也满足条件? $\rm{diam}(\Omega_{n}) \rightarrow 0$ ?，这是矛盾的。

我们需要的最后一个概念是连通性(connectedness)。对于一个开集 Ω? ? ，若不可能求得两个不相交的非空开集? $\Omega_{1}$ ?和? $\Omega_{2}$ ?使得

$\Omega = \Omega_{1} \cup \Omega_{2}$ ?，

则称开集Ω 是连通的。称复数集 ? 中的一个连通开集为一个区域(region)。类似地，对于一个闭集F，若不可能求得两个不相交的非空闭集? $F_{1}$ ?和? $F_{2}$ ?使得

$F=F_{1} \cup F_{2}$ ?，

则称其为连通的。

???????? 存在开集的一个根据曲线来定义的等价的连通性定义，这种定义通常在实践中很有用：对于一个集合Ω，当且仅当Ω中的任意两点都可以以通过一条完全含于Ω中的曲线γ连接，则称其是连通的。

2?? 复平面上的函数(Complex numbers and complex plane)

2.1?? 连续函数(Continuous functions)

令 f 为一个定义在复数集 Ω 上的函数。对于Ω上的任意一点? $z_{0}$ ?，若任意 ε > 0 ，都存在一个 δ > 0 ，使得，只要 z∈Ω 且? $| z - z_{0}| < \delta$ ?，就有? $| f (z)- f (z_{0})|< \epsilon$ ?，则称函数 f 是连续的。另一个等价定义是：每一个序列? $\{ z_{1} ,z_{2} ,... \} \subset \Omega$ ?都使得? $\lim z = z_{0 }$ ?，则? $\lim f (z) = f (z_{0})$ ?。

若函数 f 在每一个Ω的点都是连续的，则称其中Ω 上是连续的。继而，连续函数的和与积也分别是连续的。

由于复数收敛的概念与? $\mathbb{R}^{2}$ ?平面上的点是相同的，对于复参数 z = x + iy 的函数f ，当且仅当其被视为两个实变量 x和 y的函数时是连续的，则复参数作自变量时其是连续的。

???????? 根据三角不等式，立即可知，若f是连续函数，则由 z ?| f (z) | 所定义的实数值函数也是连续函数。若在某一点? $z_{0 }$ ?处，对于任意 z∈Ω ，都有

$|f(z)| \leq | f(z_{0})|$ ?，

则称 f (在这个定义域内)取得一个最大值(maximum)。将不等式逆向，便得到最小值(minimum)的定义。

定理 2.1 ?一个紧致性集合Ω 上的连续函数是有界的，并且在Ω上可取得最大小最值。

??? 这当然类似于实变量函数的情况，这里不再重复简单的证明。

2.2?? 全纯函数或复解析函数(Holomorphic functions)

我们现在提出一个复杂分析的核心概念，与之前的讨论不同，我们引入了一个本质上是真正复数的(complex)定义。

令Ω为上 ? 的一个开集，并令 f 为 Ω 上的一个复数值函数。若在某一点? $z_{0}$ ?处，商式

(1) ?? $\displaystyle \frac{f(z_{0}+h)-f(z_{0})}{h}$ ?( $h \in \mathbb{C}$ ? 且 $h \neq 0$ ?， $z_{0}+ h \in \Omega$ ?)

随着 h ? 0 而收敛于一个极限值，则称函数 f 在点? $z_{0}$ ? 处是全纯的(holomorphic)(译注：“holo-”表示“全的，整个的，完全的”，“morphic”表示“形态的，形式的，形状的”)。商的极限(当存在时)由? $f ^{'}(z_{0})$ ?定义，称为函数?f?在? $z_{0}$ ?点的导数(derivative):

$f ^{'}(z_{0})=\displaystyle \lim_{h \rightarrow 0} \frac{f(z_{0}+h)-f(z_{0})}{h}$ ?。

应该强调的是，在上述极限表达式中，h?是可以从任意方向趋近于0的复数(译注：即不同于实分析中只考虑极限的左右极限，在复平面上，我们需要考虑可能的所有方向)。

??? 若函数f 在 Ω 的任意点都是全纯的，则称?f?是Ω上的全纯函数。若 C 是 ? 的闭合子集，若f在某些包含 C 的开集上是全纯的，则称f在C上是全纯的。最后，若f在整个?上是全纯的，则我们称f是整函数(entire)。

???????? 有时候，使用术语正则(regular)(译注：或正规、常规)或复可微(complex differentiable)来代替术语全纯性(holomorphic)。鉴于表达式(1)模仿了一个实变量函数导数的常规定义，后者是自然的。但尽管存在这种相似性，一个复变量的全纯函数将比一个实变量的可微函数满足更强的性质。 例如，全纯函数实际上会无限多次复可微，即一阶导数的存在将保证任意阶导数的存在。 这与一个实变量的函数形成对比，因为存在不具有两个导数的实数可微函数。事实上，更进一步说：每个全纯函数都是解析函数，因为它在每个点附近都有幂级数展开(幂级数将在下一节中讨论)，因此我们也使用术语“解析(analytic)”作为全纯(holomorphic)的同义词。同样，这与以下事实形成对比：一个实变量存在无法在幂级数中展开的不定可微函数。(参见练习23。)

例子1：

函数 f?(z) = z 在 ? 中的任意开集上是全纯的，并且 f ’(z) = 1 。事实上，任意多项式

$p(z) = a_{0} + a_{1} z + ... + a_{n} z^{n}$

在整个复平面上是全纯的，且

$p^{'} (z) = a_{1} + ... + na_{n} z^{n-1}$

这可以从下面的命题2.2可推导出。

例子2：

函数? $\displaystyle \frac{1}{z}$ ?在 ? 中不包括原点的任意开集上是全纯的，且?? $f ^{'}(z) = -1/z^{2}$ ?。

例子3：

函数? $f(z) = \overline{z}$ ?不是全纯的。事实上，我们有

$\displaystyle \frac{f(z_{0}+h)-f(z_{0})}{h}=\frac{\overline{h}}{h}$ ?，

这个表达式在 h ? 0 时没有极限值，正如读者所见，先取 h为实数然后取h纯虚数即可验证。

???????? 一个重要的全纯函数例子族是幂级数，这个在后面再讨论。它们包括诸如? $e^{z}$ ?、sin(z)、或cos(z),实际上，如前面最后一段所述，幂级数在全纯函数理论中起着关键性作用。本书的简介中给出了其他一些全纯函数的示例，这些示例将在后面的章节中出现。从上述(1)中可以明晰的是，一个函数 f 在? $z_{0}\in \Omega$ ?点是全纯的条件是——当且仅当存在一个复数a，使得

(2)??? $f (z_{0} + h) - f (z_{0)} - ah = h \psi(h)$ ?，

其中，函数ψ的定义满足对任意小的?h 有 ?? $\displaystyle \lim_{h \rightarrow 0}\psi(h)=0$ ?。显然，我们有? $a = f ^{'}(z_{0})$ ?

。从这个公式可以明确的是，只要f是全纯的，它就一定是连续的。其论证和一维实变量的情况一样，在链式法则下应用公式(2)(例如)，读者可以很容易地证明随后的全纯函数的期望属性。

命题 2.2? 如果 f 和 g? 是Ω中的全纯函数，则：

(?i?) f + g 在Ω 中是全纯函数，且 (f + g)’ = f?’ + g’。

(?ii?) fg 在Ω 中是全纯函数，且 (fg)’ = f ’g + fg’。

(?iii?) 若? $g (z_{0}) \neq 0$ ?, 则 f/g在? $z_{0}$ ?点是全纯的，且

$\displaystyle ( f/g )^{'}= \frac{f ^{'}g - fg^{'}}{g^{2}}$ ?。

此外，若 f : Ω ? U 以及 g : U ? ? 是全纯的，则对于任意的 z∈Ω，有下列链式法则：

?????????????????? ( g ? f? )’(z) = g ’(f?(z)) f ’(z) 。

2.2.1?? 作为映射的复值函数(Complex-valued functions as mappings)

现在，我们来厘清复数和实数导数之间的关系。事实上，上述第三个例子应当已经使读者明白，复可微的概念完全不同于通常的2个实变量的函数的实可微的概念。事实上，按照实变量法则，函数 ? $f(z)=\overline{z}$ ??对应映射 F: (x , y) ? (x , -y) ,在实数的意义上，它是可微的。它在某一点的导数是由 Jacobi 矩阵(坐标函数的偏导数的2×2矩阵)给出的线性映射。实际上，F是线性的，因此，在每一点等于其导数。这意味着，F事实上是无限可微的。特别是，实导数的存在并不确保复函数 f 是全纯的。

这个例子将我们引向更一般的关联，即将每个复函数 $f = u + iv$ ?与映射? $F(x, y)=(u(x,y),v(x,y))$ ?从? $\mathbb{R}^{2}$ ?到?? $\mathbb{R}^{2}$ ?关联起来。?

我们记得，对于函数? $F(x, y)=(u(x,y),v(x,y))$ ?,若在某一点? $P_{0} = ( x_{0} , y_{0 })$ ?存在一个线性变换?? $J : \mathbb{R}^{2} \rightarrow \mathbb{R}^{2}$ ?，使得

(3)??? ? $\displaystyle \frac{|F(P_{0}+h)-F(P_{0})-J(H)|}{|H|} \rightarrow 0$ ?(当 |H?|? 0 ， $H \in \mathbb{R}^{2}$ ?时 )，

则我们称函数 F 在? $P_{0}$ ?点可微。

我们可以写成等价形式

$F(P_{0} + H ) - F(P_{0}) = J( H ) + |H|\psi(H)$ ?，

且随着|H?|? 0 有 |ψ(H)| ? 0 。线性变换J是唯一的，并被称为?F?在?? $P_{0}$ ?点的导数。若F?可微，则 u?和v?的偏导数存在，并且这个线性变换 J 按照? $\mathbb{R}^{2}$ ?的标准基用?F 的Jacobi?矩阵描述为

$J = J_{F}( x , y ) = \begin{pmatrix} \partial u/ \partial x &\partial u/ \partial y \\[0.2cm]\\ \partial v/ \partial x &\partial v/ \partial y \end{pmatrix}$ 。

在复数可微的情况下，这个导数是一个复数? $f^{'}(z_{0})$ ?，而在实数的情况下，它是一个矩阵。然而，在这两个概念之间存在一种关联。这种关联由按照Jacobi矩阵的列值(entries)所满足的特殊关系(即，u?和v?的偏微分)所给出。为了求得这些关系，在(1)在考虑极限，首先考虑h是实数的情况(比如， $h = h_{1} + ih_{2}$ ?且? $h_{2} = 0$ ?)。则，若我们记为 $z = x + iy$ ， $z_{0} = x_{0} + iy_{0}$ ?，且 $f (z) = f (x , y )$ , 我们求得?

$\begin{array}{rl}f^{'}(z_{0}) &=\frac{\displaystyle \lim_{h_{1}\rightarrow 0} f(x_{0}+h_{1},y_{0})-f(x_{0},y_{0})}{\displaystyle h_{1}}\\ &\displaystyle=\frac{\partial f}{\partial x}z_{0} \end{array}$ ?，

其中，?/?x 表示通常的以x为自变量的偏微分。(我们固定? $y_{0}$ ?并将f 视为单实变量x的复值函数。) 现在，取h为纯虚数(比如，取 ? $h = ih_{2}$ ?)，类似的论证便产生

$\begin{array}{rl}f^{'}(z_{0}) &=\frac{\displaystyle \lim_{h_{2}\rightarrow 0} f(x_{0}+h_{2},y_{0})-f(x_{0},y_{0})}{\displaystyle h_{2}}\\ &\displaystyle=\frac{1}{i}\frac{\partial f}{\partial y}(z_{0}) \end{array}$ ?，

其中，?/?y 表示通常的以y为自变量的偏微分。因此，若f是全纯的，我们已经证明了

$\displaystyle \frac{\partial f}{\partial x}=\frac{1}{i}\frac{\partial f}{\partial y}$ ?。

记 $f = u + iv$ ，我们在分离实部和虚部并利用 $1/i = -i$ ?之后，发现f 和v的偏微分存在，并且它们满足下面的非平凡关系(non-trivial relations)

$\displaystyle \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}$ ?及? $\displaystyle \frac{\partial u}{\partial y} = \frac{\partial v}{\partial x}$ ?。

以上是Cauchy-Riemann 方程，其与实分析和复分析都有关系。

???????? 我们可以定义两个微分算子对这种情况进行进一步的分类：

$\displaystyle \frac{\partial }{\partial z}=\frac{1}{2}\left (\frac{\partial }{\partial x}+\frac{1}{i}\frac{\partial }{\partial y} \right )$ ?和? $\displaystyle \frac{\partial }{\partial \overline{z}}=\frac{1}{2} \left ( \frac{\partial }{\partial x}-\frac{1}{i}\frac{\partial }{\partial y} \right )$ ?。?

文章来源:https://blog.csdn.net/ComputerInBook/article/details/135150385
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若内容造成侵权/违法违规/事实不符，请联系我的编程经验分享网邮箱：chenni525@qq.com进行投诉反馈，一经查实，立即删除！