盧曼-緬紹夫定理(英語:Looman–Menchoff theorem)是複分析中的一條定理,可用於判斷複函數的解析性。該定理指出,定義在複數平面上某個區域內的連續函數是解析函數,若且唯若其視作
的映射時,四個偏導數處處存在且滿足柯西-黎曼方程式。該定理由盧曼於1923年提出,於1931年由緬紹夫給出完整證明。雖然定理涉及初等數學領域,但其證明需運用現代實變函數理論。[1][2]
定義在複數平面內的區域上的複解析函數
在整個定義域內滿足柯西-黎曼方程式:[1][2]
![{\displaystyle {\partial u \over \partial x}={\partial v \over \partial y},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc31bf2eba2cfd2f6a7001d5c798a1f0e230ce71)
![{\displaystyle {\partial u \over \partial y}=-{\partial v \over \partial x}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28bf24c868cc3fb0a28bef73da46312fc63a9dad)
上述命題的部分逆命題亦成立,例如:額外假定
作為實函數在區域內處處可微,或是假定
的偏導數處處連續,同時滿足柯西-黎曼方程式,均可推出
是區域內的解析函數;其中前一個命題由愛徳華·古爾薩在1900年證明,又被稱為古爾薩定理。[3]實際上,這些附加條件存在放寬的餘地。[1]20世紀初,人們對放寬函數解析性的判定條件這一問題開展了大量的研究。1905年,迪米特里耶·蓬佩尤指出,古爾薩定理的附加條件可以放寬到「函數在區域內幾乎處處可微」。之後,盧曼和迪米特里·緬紹夫在這一領域做出了重要的貢獻。[2][3]
盧曼注意到,僅僅假定偏導數在區域內處處存在,且滿足柯西-黎曼方程式,並不足以保證函數在區域上的解析性——甚至不能保證函數在其上的連續性:如下定義的複變函數,在複數平面上處處可求偏導,且偏導數滿足柯西-黎曼方程式,但它在原點處並不解析:[1]
![{\displaystyle f(z)=\left\{{\begin{aligned}\exp(-z^{-4}),&&{z\neq 0}\\0,&&{z=0}\end{aligned}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d27d9d292dfbe2dbb62d87057b332fd88ad0cf5f)
1923年,盧曼斷言只要附加函數在區域上連續的條件,就可以推出函數的解析性,從而強化了古爾薩定理。然而,盧曼當時的證明中存在一個漏洞。緬紹夫於1931年發表的證明則彌補了這一漏洞,他的證明用到了勒貝格積分和貝爾綱定理。1933年,數學家斯坦尼斯拉夫·薩克斯回顧了這一證明,並將其命名為「盧曼-緬紹夫定理」。[3][4]薩克斯對該證明評價甚高:「毫無疑問,它是現代實變函數理論在初等數學領域最優美和令人意外的應用之一」。[1]
定理的陳述和證明[編輯]
設
為複數平面
上的開集,
為定義在
上的連續複變函數。若偏導數
、
、
、
在
上處處存在且處處滿足柯西-黎曼方程式,則
為
上的解析函數。
為證明盧曼-緬紹夫定理,需要先證明如下引理:[1][4][5]
設
為
上的正方形,
為
到
的映射,且在
內處處可求偏導。若存在
的某個非空閉集
和正數
,使得:
![{\displaystyle \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|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/499927fa7698fcea2f0f4ade38b4d7d470e8c479)
記
為包含
的最小矩形,則有:
![{\displaystyle \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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19b1fb3c03a5bdb5ac514e5c67eb3aec417d4ee0)
![{\displaystyle \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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4080f7310c04c6c21160a0d92fce66b9ce8a4470)
其中
代表集合
的測度。為證明該引理,可以先考慮一維的情形。這時,
為實數軸上的區間
,而
為其內一個閉集。可以在
上定義一個輔助函數,它在
內取
,在
內取分段線性函數,並保持邊界處連續。可以證明,該輔助函數在整個
上利普希茨連續,因此絕對連續,幾乎處處可導,且導函數可積。而
的孤立點集至多可數,在
非孤立點集上,輔助函數和
的導數又幾乎處處相等。故而:
![{\displaystyle \left|f(b)-f(a)-\int _{E}{\partial f \over \partial x}dx\right|\leqslant Nm(R-E)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bbfaf0d462ae4360265c6a17006a1078a7d6928)
回到引理,由於
是包含閉集
的最小矩形,在區間
上必然存在點
、
,使得
。對
上的任何一點
,都有:
![{\displaystyle |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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b46d31fb51679b2b507e1989f8581c5d1ee39c14)
其中
為
的邊長。記
中所有點縱坐標的集合為
,
在
中的補集為
。則
在
上的積分滿足:
![{\displaystyle |\int _{B}(f(a,\chi )-f(b,\chi ))d\chi |\leqslant \int _{B}4NLd\chi \leqslant 4Nm(R-E)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac0365516136a87a86e49ef8c9144a3502597d77)
另一方面,
,可以證明
是閉集。因此,對連接
和
的線段使用上述一維情形的結論,可知:
![{\displaystyle \left|f(b,\chi )-f(a,\chi )-\int _{E_{\chi }}{\partial f \over \partial x}dx\right|\leqslant N(b-a-m(E_{\chi }))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/924232c7bf474c500c922e7357c982fc772d2ff6)
將上式在
上積分,並將重積分化作累次積分,可得:
![{\displaystyle |\int _{A}(f(a,\chi )-f(b,\chi ))d\chi -\int _{E}{\partial f \over \partial x}d\sigma |\leqslant Nm(R-E)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6eb423c4ac211e7d20eef3eaa476df9beed65b4)
注意到下式即可證明引理:
![{\displaystyle |\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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9760135ed9994f220f92650dad134327b46d5bb)
證明概要[編輯]
記
為
中
不解析的點的集合。利用反證法:假設
非空,只需證明存在
的一個子集,使得
在其上解析,即可推出矛盾,進而說明原命題成立。
利用解析性和圍道積分的關係可以證明
是一個閉集。定義
為
的具備如下性質的子集:
![{\displaystyle 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\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c126b43558aee1b2ff7781da7ca4ab3da2821f0e)
由
的連續性和處處可求偏導的性質分別可以推出
是閉集,且
。因此,由貝爾綱定理,必然至少存在一個
和
中開集
,使得
。
設
是
中任意一個邊長小於
,且交
非空的正方形。可證
、
作為
的映射,均滿足引理要求的一切條件。因此,在包含
的最小矩形
上:
![{\displaystyle \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(Q-{E\cap Q})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fafc0121420ff2ab0d4bb352c71d2df31ff27011)
![{\displaystyle \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(Q-{E\cap Q})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c29d9b2ef0f463827dcd9089a68fceecbb1fe0e7)
注意到
、
滿足柯西-黎曼方程式,可以得到對
在
邊界上積分的虛部估計式:
![{\displaystyle \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(Q-{E\cap Q})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/570def12cc30dfbbc53b67a8cdd948444380c89a)
顯然該積分的實部也滿足類似的估計式。因此:
![{\displaystyle \left|\oint _{\partial R}fdl\right|={\sqrt {\left|Im\oint _{\partial R}fdl\right|^{2}+\left|Re\oint _{\partial R}fdl\right|^{2}}}\leqslant 10{\sqrt {2}}km(Q-{E\cap Q})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da884edde6ad8071c52763bf3e4b1719e9dfdbe9)
依定義,
在
內解析,因此可將上式中的積分圍道由
的邊界擴大為
的邊界:
![{\displaystyle \left|\oint _{\partial Q}fdl\right|\leqslant 10{\sqrt {2}}km(Q-{E\cap Q})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94347f6e3dbd68510fe8e34e4a827709723dc724)
記
是任意一串收斂到
的正方形序列。若
,當
充分大時,所有
的邊長都小於
,因此:
![{\displaystyle \limsup _{n\to \infty }{\frac {\left|\oint _{\partial Q_{n}}fdl\right|}{m(Q_{n})}}\leqslant 10{\sqrt {2}}k<+\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e394da8fed40940261ac96385b7423163c3941e4)
![{\displaystyle 0\leqslant \liminf _{n\to \infty }{\frac {\left|\oint _{\partial Q_{n}}fdl\right|}{m(Q_{n})}}\leqslant 10{\sqrt {2}}k(1-\limsup _{n\to \infty }{\frac {m(Q_{n}\cap E)}{m(Q_{n})}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4faed07caeef3729772712ebfea420df8c72018a)
由勒貝格密度定理,第二式右側的極限作為
的函數幾乎處處為1,因此左側的下極限幾乎處處為零。
若
,當
充分大時,
在所有
內解析,因此:
![{\displaystyle 0=\liminf _{n\to \infty }{\frac {\left|\oint _{\partial Q_{n}}fdl\right|}{m(Q_{n})}}=\limsup _{n\to \infty }{\frac {\left|\oint _{\partial Q_{n}}fdl\right|}{m(Q_{n})}}<+\infty }](https://wikimedia.org/api/rest_v1/media/math/render/svg/47137f41ff0f191e899cea3443ca0098a5638624)
將圍道積分視為集合函數,上述極限以及圍道積分的連續性和可加性保證了圍道積分幾乎處處可導,且圍道積分的值由導函數在集合上的積分給出。又因上述下極限在
上幾乎處處為零,該導數在
上也幾乎處處為零。這意味著
在
內的圍道積分恆為零,即
在
乃至
的子集
內解析。矛盾。[1][4][5][6]
參考文獻[編輯]