王振華，張為元，賀 雯

（咸陽師范學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院，陜西咸陽 712000）

從柯西時期開始，復(fù)變函數(shù)論已經(jīng)有150年的歷史了，已經(jīng)深入到了數(shù)論、微積分方程等學(xué)科，并且在實際問題中得到了廣泛的應(yīng)用，其基礎(chǔ)內(nèi)容已經(jīng)成為理工科專業(yè)的必修課程。2000年，金庭枝和王長慶[1]利用幅角函數(shù)證明了初等根式函數(shù)的枝點判定定理,并得到了一個求解根式函數(shù)單值分支的方法；2006年，朱順東[2]關(guān)于函數(shù)的輻角在所給曲線上的改變量做了說明和注解；2010年，張忠誠和柳翠華[3]給出了確定多值函數(shù)單值解析分支值的步驟和方法；2015年，段輝明等[4]關(guān)于多值函數(shù)的教學(xué)提出了良好的建議；2016年，何美[5]、王金花[6]針對多值函數(shù)單值解析分支方面的計算做了歸納和總結(jié)。這些文獻(xiàn)都涉及到了G平面，但都沒有給出清晰準(zhǔn)確的定義。為此，重新闡述了G平面的概念，并以根式函數(shù)為例討論了G平面的結(jié)構(gòu)和應(yīng)用。

1 根式函數(shù)的單值分支

定義1設(shè)E為一復(fù)數(shù)集，若對E內(nèi)每一個復(fù)數(shù)z，有惟一確定的復(fù)數(shù)ω與之對應(yīng)，則稱在E上確定了一個單值函數(shù)ω=f(z)(z∈E)。如對E內(nèi)每一復(fù)數(shù)z，有幾個或無窮多個ω與之對應(yīng)，則稱在E上確定了一個多值函數(shù)ω=f(z)(z∈E)。E稱為函數(shù)ω=f(z)的定義域。ω值的全體所成集M稱為函數(shù)ω=f(z)的值域。[7]

定義2對某個多值解析函數(shù)ω=f(z),若滿足：在z=a的充分小的一個鄰域內(nèi)，作一條包圍該點的簡單閉曲線C，當(dāng)z從C的某點出發(fā)，繞C連續(xù)變化一周而回到出發(fā)點時，f(z)從一個值變到另一個值，則稱此點為多值解析函數(shù) f(z)的支點。連接f(z)全體支點的曲線稱為 f(z)在z平面上的支割線。[8]

定義3將z平面沿x負(fù)半軸割破（包括原點）所得的平面稱為G平面?？梢员硎緸?/p>

規(guī)定G平面上復(fù)數(shù)輻角主值的范圍為-π＜θ0＜π。

k可以取n個值，故一個復(fù)數(shù)z對應(yīng)n個函數(shù)值，它們位于半徑為nr的圓周上，相鄰兩個函數(shù)值之間的張角為。在G平面上，動點z無法穿過支割線，也就不能繞原點z=0轉(zhuǎn)一周，函數(shù)也就不能在G內(nèi)同一點取不同的函數(shù)值，即在G內(nèi)就能夠分出該函數(shù)的單值分支?，F(xiàn)以ω= z3為例，說明怎樣分出根式函數(shù)的單值解析分支。我們令

θ0為z的輻角主值。對任意的z∈G,其輻角θ必屬于G中的一個區(qū)間。

(1)當(dāng) k=0時，此時則＜ η, 如圖1所示：

圖1 k=0時的單值分支

(2)當(dāng) k=1時，此時

θ=θ0+2π,ω=則如圖2所示：

圖2 k=1時的單值分支

(3)當(dāng)k=2時，此時

θ=θ0+4π,ω=

則π＜η＜π,如圖3所示：

圖3 k=2時的單值分支

(4)當(dāng) k=3時，此時

θ=θ0+6π則如圖4所示：

圖4 k=3時的單值分支

不難發(fā)現(xiàn)，當(dāng)k=0,3,6,9,…時對應(yīng)ω平面中同一個角形區(qū)域Γ0，當(dāng)k=1,4,7,10,…時也對應(yīng)ω平面中同一個角形區(qū)域Γ1，當(dāng)k=2,5,8,11,…時對應(yīng)ω平面中同一個角形區(qū)域Γ2，我們發(fā)現(xiàn)對任意的z∈G，必然存在k0∈{0 ,1,2,3,…},使得當(dāng)

z∈ (2k-1)π,(2k+1)π 時，ω=3z的圖像必為

00三個分支Γ0,Γ1,Γ2中的某一個。

根據(jù)上面的討論，根式函數(shù)中變量z對應(yīng)的3個函數(shù)值分別分布在w平面上的3個角形區(qū)域Γk(k=0,1,2)內(nèi)。每一個角形區(qū)域Γk都稱為根式函數(shù)的一個單值分支。那么，如果取一個固定的k，即選定一個固定的角形區(qū)域Γk，函數(shù)是否就是G平面到角形區(qū)域Γk的單值分支呢？

定理1在G平面上，根式函數(shù)ω=3z可以分出3個不同的單值分支函數(shù)

證明令 z=r eiθ1,z=r eiθ2,對任意的z,z∈且 z1≠z2,它們對應(yīng)的函數(shù)值分別為

我們把z1≠z2分兩種情形討論：

當(dāng) r1≠r2時，顯然 wk1≠wk2,即當(dāng)r1=r2,θ1≠θ2時，因為

又因為 Argz1≠Argz2,所以是定義在G平面上的單值函數(shù)。

如圖5左圖所示，z0是上的某一點，原點z=0包含在閉曲線的內(nèi)部。這時穿過了負(fù)實軸。于是，當(dāng)變點z從z0出發(fā)，沿正或負(fù)方向繞一周后，z0的輻角就增加或減少了2π，z的像點ωk=(nz)k就不能回到它們的原來位置了，而是如圖5中的虛線路徑所示，由一支變化到另外一支，即

因此，在包含了原點z=0的復(fù)平面上，ω=nz就不能分成n個相互獨立的單值解析分支，也就是說根式函數(shù)ω=nz在支點鄰域內(nèi)無單值性。

但如果割破z平面，則函數(shù)ω=nz將不再有支點，此時只要取定一個k的值，就得到一個以Γk為值域的單葉函數(shù)（如圖5右實線圖所示）：

圖5 支點與多值性的關(guān)系

ωk這是的n個單值分支函數(shù)，其中k=0的一支稱為 zn的主值支。

2 證明的單值分支函數(shù)的解析性

定理2設(shè)

f(z)=u(r,θ)+iv(r,θ),z=reiθ,z∈G。如果 u(r,θ),v(r,θ)在點(r,θ)是可微的，且滿足極坐標(biāo)的C-R方程：

則 f(z)在點z是可微的，并且

證明設(shè) z=x+iy=reiθ, 則

從而

再由可得

因此可得 f(z)在點z可微且

定理3根式函數(shù)w= zn的n個單值分支wk=(zn)k(k=0,1,2,…,n-1)在G平面上是解析的。

證明對任意的 z∈ G,設(shè) z=rei(θ0+2kπ),

這里-π＜θ0＜π。因為

所以ωk=（ zn）k這一單值分支函數(shù)的實部及虛部分別為

它們在G內(nèi)皆為r,θ0的可微函數(shù)，并且

利用變換θ=θ0+2kπ,我們發(fā)現(xiàn)wk的實部及虛部在G內(nèi)滿足極坐標(biāo)的C-R方程

由定理1知wk=(zn)k在點z可微，并且

由z在G平面上的任意性可知，wk=(zn)k在G平面上處處可微，即在G平面上解析。

例 設(shè)ω= z3定義在從原點起沿負(fù)實軸割破的z平面上，并且ω(i)=-i,試求ω(-i)之值。

解因為G為從原點起沿負(fù)實軸割破的z平面，所以由定理1和定理3知，G為ω= z3的單值解析區(qū)域。設(shè)

當(dāng) z=i時，要使成立，必須k=2。所以滿足初始條件ω(i)=-i的單值解析分支為

(2)求 ω2(-i)。

因為 z=-i,所以所以

(1)由已知條件定k。

3 總結(jié)

常見的初等多值函數(shù)有根式函數(shù)、對數(shù)函數(shù)、反雙曲函數(shù)與反三角函數(shù)等，多值函數(shù)一直都是復(fù)變函數(shù)教學(xué)中的一個難點。目前多復(fù)變分析是復(fù)變函數(shù)論研究的熱點，它廣泛地應(yīng)用了李群、代數(shù)幾何、拓?fù)鋵W(xué)、微分幾何學(xué)和微分方程等相關(guān)學(xué)科中的方法和概念，與單復(fù)變函數(shù)有著顯著的區(qū)別。

[1]金庭枝,王長慶.多值函數(shù)的單值解析分支[J].遼寧師范大學(xué)學(xué)報(自然科學(xué)版),2000,23(2):217-21.

[2]朱順東.關(guān)于求根式函數(shù)單值解析分支上輻角的一點注記[J].安徽師范大學(xué)學(xué)報(自然科學(xué)版),2006,29(4):299-331.

[3]張忠誠，柳翠華.確定多值函數(shù)單值解析分支值的一種簡易方法[J].長春師范學(xué)院學(xué)報(自然科學(xué)版),2010,29(5):3-5.

[4]段輝明,張清華,李玲.有關(guān)多值函數(shù)的教學(xué)[J].高師理科學(xué)刊,2015（8）：60-62.

[5]何美.多值函數(shù)單值解析分支上計算函數(shù)值的一個注記[J].山西大同大學(xué)學(xué)報(自然科學(xué)版)，2016,32(4):1-2.

[6]王金花.一類多值函數(shù)的單值解析分支[J].滄州師范學(xué)院學(xué)報,2016,32(1):17-19.

[7]鐘玉泉.復(fù)變函數(shù)論(第四版)[M].北京：高等教育出版社.2013:65-85.

[8]趙志勇,薛運華.復(fù)分析(第三版)[M].北京：機(jī)械工業(yè)出版社.2006：70-76.