盧曼-緬紹夫定理

盧曼-緬紹夫定理（英語：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}$<和math>D</math>中開集$K$，使得$\emptyset \neq E\cap K\subseteq E_{k}$。

設$Q$是$K$中任意一個邊長小於$1/k$的正方形。