卢曼-缅绍夫定理（）是复分析中的一条定理，可用于判断复函数的解析性。该定理指出，定义在复平面上某个区域内的连续函数是解析函数，当且仅当其视作\R^2 \to \R^2的映射时，四个偏导数处处存在且满足柯西-黎曼方程。该定理由卢曼于1923年提出，于1931年由缅绍夫给出完整证明。虽然定理涉及初等数学领域，但其证明需运用现代实变函数理论。
背景
定义在复平面内的区域上的复解析函数f {(x+iy)}=u+i v在整个定义域内满足柯西-黎曼方程：实际上，这些附加条件存在放宽的余地。萨克斯对该证明评价甚高：“毫无疑问，它是现代实变函数理论在初等数学领域最优美和令人意外的应用之一”。
设R为\R^2上的正方形，f为R到\R的映射，且在R内处处可求偏导。若存在R的某个非空闭集E和正数N，使得：
:\forall (x,y) \in E, (w,y) \in R, (x,v) \in R: \left | f(x,y)-f(x,v) \right | \leqslant N \left | y-v \right |, \left | f(x,y)-f(w,v) \right | \leqslant N \left | x-w \right |
记[a,b] \times [c,d]为包含E的最小矩形，则有：
:\left | \int_{a}^{b}(f(x,d)-f(x,c)) dx-\int_{E} {\partial f \over \partial y} d \sigma \right | \leqslant 5N m(R-E)
:\left | \int_{c}^{d}(f(b,y)-f(a,y)) dy-\int_{E} {\partial f \over \partial x} d \sigma \right | \leqslant 5N m(R-E)
其中m(A)代表集合A的测度。为证明该引理，可以先考虑一维的情形。这时，R为实轴上的区间[a,b]，而E为其内一个闭集。可以在R上定义一个辅助函数，它在E内取f，在I-R内取分段线性函数，并保持边界处连续。可以证明，该辅助函数在整个R上利普希茨连续，因此绝对连续，几乎处处可导，且导函数可积。而E的孤立点集至多可数，在E非孤立点集上，辅助函数和f的导数又几乎处处相等。故而：
:\left | f(b) - f(a) -\int_{E} {\partial f \over \partial x} d x \right | \leqslant N m(R-E)
回到引理，由于[a,b] \times [c,d]是包含闭集E的最小矩形，在区间[c,d]上必然存在点\alpha、\beta，使得(a,\alpha), (b, \beta) \in E。对[c,d]上的任何一点\chi，都有：
:|f(a,\chi)-f(b,\chi)| \leqslant |f(a, \chi)-f(a,\alpha)| + |f(a,\alpha)- f(b, \alpha)|+ |f(b,\alpha)- f(b, \beta)|+|f(b,\beta)- f(b, \chi)| \leqslant 4N L
其中L为R的边长。记E中所有点纵坐标的集合为A，A在[c,d]中的补集为B。则f(a,\chi)-f(b,\chi)在B上的积分满足：
:|\int_{B} ( f(a,\chi)-f(b,\chi))d\chi| \leqslant \int_{B}4N L d\chi \leqslant 4N m(R-E)
另一方面，\forall \chi \in A，可以证明E_{\chi}=\{(\phi,\chi)|(\phi,\chi)\in E\}是闭集。因此，对连接(a,\chi)和(b,\chi)的线段使用上述一维情形的结论，可知：
:\left | f(b,\chi) - f(a,\chi) -\int_{E_{\chi}} {\partial f \over \partial x} d x \right | \leqslant N (b-a-m(E_{\chi}))
将上式在A上积分，并将重积分化作累次积分，可得：
:|\int_{A} ( f(a,\chi)-f(b,\chi))d\chi-\int_{E} {\partial f \over \partial x} d \sigma | \leqslant N m(R-E)
注意到下式即可证明引理：
:|\int_{E} ( f(a,\chi)-f(b,\chi))d\chi-\int_{E} {\partial f \over \partial x} d \sigma | \leqslant |\int_{B} ( f(a,\chi)-f(b,\chi))d\chi| + |\int_{A} ( f(a,\chi)-f(b,\chi))d\chi-\int_{E} {\partial f \over \partial x} d \sigma | \leqslant 5 N m(R-E)
证明概要
记E为D中f不解析的点的集合。利用反证法：假设E非空，只需证明存在E的一个子集，使得f在其上解析，即可推出矛盾，进而说明原命题成立。
利用解析性和围道积分的关系可以证明E是一个闭集。定义E_n为D的具备如下性质的子集：
:E_n=\{ z|z \in D, \left|f(z+h)-f(z) \right |\leqslant n\left| h \right|,\left|f(z+i h)-f(z) \right |\leqslant n\left| h \right|,\forall h \in \R,D(z,h) \subset D, \left| h \right| \leqslant 1/n \}
由f的连续性和处处可求偏导的性质分别可以推出E_n是闭集，且E \subset D \subseteq \cup_{n=1}^{\infty} E_n。因此，由贝尔纲定理，必然至少存在一个E_k和D中开集K，使得\empty \ne E \cap K \subseteq E_k。
设Q是K中任意一个边长小于1/k，且交E非空的正方形。可证u(x+iy)、v(x+iy)作为Q \to \R的映射，均满足引理要求的一切条件。因此，在包含E \cap Q的最小矩形R=[a,b] \times [c,d]上：
:\left | \int_{a}^{b}(v(x,d)-v(x,c)) dx-\int_{E \cap Q} {\partial v \over \partial y} d \sigma \right | \leqslant 5k m(Q-{E \cap Q})
:\left | \int_{c}^{d}(u(b,y)-u(a,y)) dy-\int_{E \cap Q} {\partial u \over \partial x} d \sigma \right | \leqslant 5k m(Q-{E \cap Q})
注意到u、v满足柯西-黎曼方程，可以得到对f在R边界上积分的虚部估计式：
:\left | Im \oint_{\partial R} f dl \right | \leqslant \left | \int_{a}^{b}(v(x,d)-v(x,c)) dx-\int_{E \cap Q} {\partial v \over \partial y} d \sigma \right | + \left | \int_{c}^{d}(u(b,y)-u(a,y)) dy-\int_{E \cap Q} {\partial u \over \partial x} d \sigma \right | \leqslant 10k m(Q-{E \cap Q})
显然该积分的实部也满足类似的估计式。因此：
:\left | \oint_{\partial R} f dl \right | = \sqrt{\left | Im \oint_{\partial R} f dl \right |^{2} + \left | Re \oint_{\partial R} f dl \right |^{2}} \leqslant 10\sqrt{2}k m(Q-{E \cap Q})
依定义，f在Q-R内解析，因此可将上式中的积分围道由R的边界扩大为Q的边界：
:\left | \oint_{\partial Q} f dl \right | \leqslant 10\sqrt{2}k m(Q-{E \cap Q})
记Q_n \sub K是任意一串收敛到z \in K的正方形序列。若z \in E，当n充分大时，所有Q_l \sub K, l>n的边长都小于1/k，因此：
:\limsup_{n \to \infty} \frac{\left | \oint_{\partial Q_n} f dl \right |}{m(Q_n)} \leqslant 10\sqrt{2}k
:0 \leqslant\liminf_{n \to \infty} \frac{\left | \oint_{\partial Q_n} f dl \right |}{m(Q_n)} \leqslant 10\sqrt{2}k (1-\limsup_{n \to \infty} \frac{m(Q_n \cap E)}{m(Q_n)})
由，第二式右侧的极限作为z的函数几乎处处为1，因此左侧的下极限几乎处处为零。
若z \in K-K\cap E，当n充分大时，f在所有Q_l \sub K, l>n内解析，因此：
:0=\liminf_{n \to \infty} \frac{\left | \oint_{\partial Q_n} f dl \right |}{m(Q_n)}=\limsup_{n \to \infty} \frac{\left | \oint_{\partial Q_n} f dl \right |}{m(Q_n)}
将围道积分视为集合函数，上述极限以及围道积分的连续性和可加性保证了围道积分几乎处处可导，且围道积分的值由导函数在集合上的积分给出。又因上述下极限在K上几乎处处为零，该导数在K上也几乎处处为零。这意味着f在K内的围道积分恒为零，即f在K乃至E的子集E \cap K内解析。矛盾。
参考文献
评论 (0)