卢曼-缅绍夫定理

卢曼-缅绍夫定理（英語：Looman–Menchoff theorem）是复分析中的一条定理。该定理指出，定义在复平面上某个区域内的连续函数是解析函数，当且仅当其视作$\mathbb {R} ^{2}\to \mathbb {R} ^{2}$的映射时，四个偏导数处处存在且满足柯西-黎曼方程。

背景

定义在复平面内的区域上的复解析函数$f{(x+iy)}=u+iv$在整个定义域内满足柯西-黎曼方程：

${\partial u \over \partial x}={\partial v \over \partial y},$

${\partial u \over \partial y}=-{\partial v \over \partial x}.$

许多经典的复分析教科书回避了“上述命题的逆命题是否成立”这一问题，只论证了上述命题的部分逆命题。例如：假定$f$作为实函数在区域内处处可微，或是假定$f$的偏导数处处连续，同时满足柯西-黎曼方程，则$f$是区域内的解析函数；其中前一个命题由Édouard Goursat在1900年证明，又被称为Goursat定理。实际上，这些附加条件存在放宽的余地。20世纪初，人们对放宽函数解析性的判定条件这一问题开展了大量的研究。1905年，Dimitrie Pompeiu指出，Goursat定理的附加条件可以放宽到“函数在区域内几乎处处可微”。之后，卢曼和缅绍夫在这一领域做出了重要的贡献。

卢曼注意到，仅仅假定偏导数在区域内处处存在，且满足柯西-黎曼方程，并不足以保证函数在区域上的解析性——甚至不能保证函数在其上的连续性：如下定义的复变函数，在复平面上处处可求偏导，且偏导数满足柯西-黎曼方程，但它在原点处并不解析：

$f(z)=\left\{{\begin{aligned}\exp(-z^{-4}),&&{z\neq 0}\\0,&&{z=0}\end{aligned}}\right.$

1923年，卢曼断言只要附加函数在区域上连续的条件，就可以推出函数的解析性，这无疑是对Goursat定理的进一步强化。然而，卢曼的证明中存在一个漏洞。缅绍夫于1931年发表的证明则弥补了这一漏洞，他的证明用到了勒贝格积分和贝尔纲定理。1933年，数学家Stanislaw Saks回顾了这一证明，并将其命名为“卢曼-缅绍夫定理”。Saks对该证明评价甚高：“毫无疑问，它是现代实变函数理论在初等数学领域最优美和令人意外的应用之一”。

定理的陈述和证明

设$D$为复平面$\mathbb {C}$上的开集，$f{(x+iy)}=u+iv$为定义在$D$上的连续复变函数。若偏导数$\partial u \over \partial x$、$\partial v \over \partial y$、$\partial u \over \partial y$、$\partial v \over \partial x$在$D$上处处存在且处处满足柯西-黎曼方程，则$f$为$D$上的解析函数。

引理

为证明卢曼-缅绍夫定理，需要先证明如下引理：

设$R$为$\mathbb {R} ^{2}$上的正方形，$f$为$R$到$\mathbb {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 5Nm(R-E)$

$\left|\int _{c}^{d}(f(b,y)-f(a,y))dy-\int _{E}{\partial f \over \partial x}d\sigma \right|\leqslant 5Nm(R-E)$

为证明该引理，可以先考虑一维的情形。这时，$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}dx\right|\leqslant Nm(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 4NL$

其中$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}4NLd\chi \leqslant 4Nm(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}dx\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 Nm(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 5Nm(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+ih)-f(z)\right|\leqslant n\left|h\right|,\forall h\in \mathbb {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$，使得$\emptyset \neq E\cap K\subseteq E_{k}$。

设$Q$是$K$中任意一个边长小于$1/k$，且交$E$非空的正方形。可证$u(x+iy)$、$v(x+iy)$作为$Q\to \mathbb {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 5km(R-{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 5km(R-{E\cap Q})$

注意到$u$、$v$满足柯西-黎曼方程，可以得到对$f$在$R$边界上积分的虚部估计式：

$\left|Im\oint _{\partial R}fdl\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 10km(R-{E\cap Q})$