孫道椿 ，張少華，吳昭君，郭曉晶

(1.華南師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院，廣州510631;2.湖北科技學(xué)院數(shù)學(xué)與統(tǒng)計學(xué)院，咸寧437100;3.廣州大學(xué)松田學(xué)院，廣州511370)

本文首先研究了單位圓內(nèi)的k 值代數(shù)體函數(shù)，證明了一些單位圓內(nèi)的定理. 然后利用這些定理首次研究了確定代數(shù)體函數(shù)的系數(shù)函數(shù)的Borel 點與代數(shù)體函數(shù)的Borel 點間的關(guān)系. 本文使用的術(shù)語和符號與文獻［1］－［10］相同.

設(shè)Ak(z)，Ak－1(z)，…，A0(z)是連通區(qū)域D 內(nèi)一組沒有公共零點的解析函數(shù)，則二元復(fù)方程

定義了區(qū)域D 上的一個k 值代數(shù)體函數(shù)W(z). 若Ψ(z，W)在D 上是不可約的，則稱W(z)是D 上的不可約k 值代數(shù)體函數(shù). 本文一般不要求代數(shù)體函數(shù)是不可約的. 若Ak(z)≡1，則稱W(z)是D 上的k值整代數(shù)體函數(shù).若Ak(z)，…，A0(z)都是D 上的多項式，則稱W(z)是D 上的k 值代數(shù)函數(shù).

用經(jīng)過所有分支點的曲線將圓盤{|z| ＜R}割開成單連通區(qū)域D－，W(z)在D－上分離成k個單值分支，記為定義

定理1 設(shè)W(z)= {(wt(z)，a)}，M(z)={(mt(z)，a)}是{|z| ＜R}上2個有對應(yīng)關(guān)系的k 值代數(shù)體函數(shù).則對任意r(0，R)，有

為了建立圓盤內(nèi)代數(shù)體函數(shù)的Nevanlinna 第一基本定理，給出如下引理.

引理1 設(shè)f(z)和g(z)是圓盤{|z| ＜R}上2個不恒為零、也不恒為無窮的亞純函數(shù)，對任意r(0，R)，有

則在b 點附近有

因此

當p+q≥0 時，n(b，f/g=∞)=p+q，n(b，f/g =0)=0.當p+q ＜0 時，n(b，f/g =∞)=0，n(b，f/g =0)=－p－q. 所以

定理2 (代數(shù)體函數(shù)的Jensen 公式)設(shè)W(z)是圓盤G={|z| ＜R}內(nèi)由二元復(fù)方程

定義的k 值代數(shù)體函數(shù).

i)若A0(z)=Ψ(z，0)?0，則其中ak是亞純函數(shù)在原點羅朗展式中第一個非零系數(shù).

ii)若Ψ(z，b)?0，則

其中cb是亞純函數(shù)Ψ(z，b)/Ak(z)在b 點羅朗展式中第一個非零系數(shù).

證明 用經(jīng)過所有分支點的曲線將圓盤G 割開成單連通區(qū)域D－，設(shè){Wj(z)}是D－上分離W(z)得到的k個單值分支.

上面第2個等式用到了引理1，并注意N(r，A0(z)=∞)=0 =N(r，Ak(z)=∞).

ii)令M=W－b，則二元復(fù)方程

定義一個k 值代數(shù)體函數(shù)M(z). 注意Ψb(z，0)≡Ψ(z，b)≡B0(z)，對M(z)應(yīng)用i)即得ii).

定理3 (Nevanlinna 第一基本定理)設(shè)W(z)是圓盤{|z| ＜R}上由二元復(fù)方程(1)定義的k 值代數(shù)體函數(shù). 設(shè)bC，Ψ(z，b)?0，則有

其中cb是Ψ(z，b)/Ak(z)在原點羅朗展式中第一個非零的系數(shù).

證明 由定理1 知

結(jié)合二者得

應(yīng)用定理2 得

代入式(2)就得到定理3.

定理4 設(shè)W(z)是圓盤{|z| ＜R+ε}內(nèi)由二元復(fù)方程

定義的k 值整代數(shù)體函數(shù). 定義它的最大模函數(shù)為

則對任意0 ＜r ＜R，有

證明 先證明第一個不等式，即

知

因此

所以

對上式取對數(shù)后運用Poisson-Jensen 公式及韋達定理

即

定理4 得證.

注1 關(guān)于不可約代數(shù)體函數(shù)的Jensen 公式和第一基本定理，在文獻［2］中均有詳細描述，我們這里的證明不要求代數(shù)體函數(shù)是不可約的. 關(guān)于平面上整代數(shù)體函數(shù)與定理4 對應(yīng)的結(jié)果見文獻［4］.

為了確定代數(shù)體函數(shù)的系數(shù)函數(shù)的Borel 點與代數(shù)體函數(shù)的Borel 點之間的關(guān)系，我們先研究單位圓內(nèi)代數(shù)體函數(shù)的增長級與其系數(shù)函數(shù)的增長級之間的關(guān)系. 文獻［4］研究了復(fù)平面上的代數(shù)體函數(shù)的增長級與其系數(shù)函數(shù)的增長級之間的關(guān)系.

定義1 設(shè)n(r)是(0，1)上的正值實函數(shù). 定義n(r)的級為

定義T(r，W)的級為單位圓內(nèi)代數(shù)體函數(shù)W(z)的級.

設(shè)W(z)是單位圓內(nèi)的k 值整代數(shù)體函數(shù). 由定理4 得ρ(W)≤p(log+M(r，W))≤1 + ρ(W).

引理2［10］設(shè)n(r)是(0，1)上的正值實函數(shù).若p(n(r))≥1，則有p(n(r))= 1 +p(N(r))，這里

引理3［9］設(shè)W(z)是單位圓內(nèi)由式(1)確定的k - 值代數(shù)體函數(shù). 則

其中ck表示Ak(z)在零點的羅朗展式中第一個非零系數(shù)，

引理4 設(shè)W(z)是單位圓內(nèi)由式(1)確定的ρ(W)級k－值代數(shù)體函數(shù). 則

從而有ρ(W)≤ρ(AM))，其中ρ(AM)=max{ρ(At);t=0，1，2，…，k}.

證明 由μ(r，A)的定義有

由此即得引理.

注2 引理4 的反方向的不等式不一定成立.如H(z)=exp{(1/(1－z))2}.注意單位圓內(nèi)2 值代數(shù)體函數(shù)H(z)(1－z)W2－H(z)=0 可寫成W(z)，故是零級的(ρ(W)=0)，但ρ(A0)

引理5 設(shè)W(z)是單位圓內(nèi)由式(1)確定的ρ(W)級k 值代數(shù)體函數(shù).任取t，u{0，1，2，…，k}，若Au(z)?0，則有

其中|x|+=max{1，x}.則

結(jié)合引理3 及式(3)，得

再結(jié)合引理4 即得ρ(W)=ρ(AM).

由引理5 立即可得

推論1 W(z)是單位圓內(nèi)由式(1)確定的ρ(W)級k 值整代數(shù)體函數(shù). 則必有ρ(W)=ρ(AM)成立，即ρ(W)=max{ρ(Aj);j=0，1，2，…，k－1}.

引理6 任取ε ＞0，

是將扇形{z;0 ＜|z| ＜1}∩{z;|arg z| ＜ε}變到單位圓盤{|w| ＜1}的共形映射.則存在一個僅與ε 有關(guān)的常數(shù)b(0，1)，使得

容易驗證w(z)是將扇形{z;b ＜|z| ＜1}∩{z;|arg z|＜ε}變到單位圓盤{|w| ＜1}的共形映射，且有記z0=peiφ=pcos φ+ipsin φA，令

則由式(4)有

又由于

結(jié)合式(5)～(7)知

結(jié)合式(8)、(9)可得

下面研究單位圓內(nèi)代數(shù)體函數(shù)的Borel 點和確定代數(shù)體函數(shù)的系數(shù)函數(shù)的Borel 點之間的關(guān)系.為此，先給出Borel 點的定義.

定義2 設(shè)W(z)是單位圓內(nèi)k 值代數(shù)體函數(shù)(包括圓內(nèi)亞純函數(shù))，若對任意bC∞，至多除去2k個例外(至多有2個例外值)，任意ε ＞0，n(r，t－ε，t +ε，W =b)(表示扇形{z;b ＜|z| ＜r}∩{z;|arg z－t| ＜ε}中W(z)－b 的零點個數(shù))的級恒為p，則稱eit是W(z)的p 級Borel 點.若n(r，t－ε，t +ε，W=b)的級至少為p，則稱eit是W(z)的至少為p級的Borel 點.

定理5 設(shè)W(z)是單位圓內(nèi)由二元復(fù)方程

定義的k 值整代數(shù)體函數(shù). 設(shè)eit是Aj(z)(0≤j≤k－1)的一個p(＞1)級Borel 點，則eit一定是W(z)的一個至少p 級的Borel 點. 特別，若代數(shù)體函數(shù)是p－1 級的，則eit是W(z)的p 級的Borel 點.

其中n(r，t－ σ，t + σ，Aj(z)= b)= n(r，－ σ，σ，Aj(zeit)=b). 用映射(4)將扇形D:={|z| ＜1}∩{|arg z| ＜ε}變到單位圓B:={|w| ＜1}，其逆映射記為z(w)，由引理6 得

即n(r，Aj(z(w)eit)=b)在單位圓B 內(nèi)的級至少是p. 由引理2，N(r，Aj(z(w)eit)=b)在B 內(nèi)的級至少是p－1. 結(jié)合亞純函數(shù)的Nevanlinna 第一基本定理，單位圓內(nèi)解析函數(shù)Aj(z(w)eit)的級至少是p－1.由推論1，整代數(shù)體函數(shù)W(z(w)eit)在單位圓B 內(nèi)的級至少是p－1 級. 再結(jié)合代數(shù)體函數(shù)的Nevanlinna 第二基本定理及引理2，任取d 不是例外值，則n(r，W(z(w)eit)=d)在單位圓B 內(nèi)至少是p級.應(yīng)用引理6 即得

這說明在扇形{|z| ＜1}∩{|arg z| ＜ε}內(nèi)，n(h，－ε，ε，W(zeit)=d)至少是p 級，即在扇形D:={|z| ＜1}∩{|t－arg z| ＜ε}內(nèi)，n(h，t－ε，t +ε，W(z)=d)至少是p 級.由d 的任意性，eit是W(z)的至少p 級Borel 點. 若代數(shù)體函數(shù)是p－1 級的，則eit是W(z)的至多p 級Borel 點.

定理6 設(shè)W(z)是單位圓內(nèi)由二元復(fù)方程

定義的k 值代數(shù)體函數(shù).若eit是W(z)的一個p(＞1)級的Borel 點，則至少存在一個正整數(shù)j{0，1，2，…，k}，使eit是Aj(z)的一個至少p 級的Borel 點.

類似定理5 的證明，可以證明N(r，W(z(w)eit)=b)在單位圓內(nèi)的級至少是p－1.由定理3，單位圓內(nèi)代數(shù)體函數(shù)W(z(w)eit)的級至少是p－1. 由引理4，至少存在一個正整數(shù)j{0，1，2，…，k}，使單位圓內(nèi)解析函數(shù)Aj(z(w)eit)的級至少是p－1.結(jié)合亞純函數(shù)的Nevanlinna 第二基本定理及引理2，任取d 不是例外值，則n(r，Aj(z(w)eit)=d)在單位圓B 內(nèi)至少是p 級.再用引理6 即得

這說明在扇形D:={|z| ＜1}∩{|arg z| ＜ε}內(nèi)，n(h，－ε，ε，Aj(zeit)=d)至少是p 級，即在扇形D:={|z| ＜1}∩{|t－arg z| ＜ε}內(nèi)，n(h，t－ε，t +ε，Aj(z)=d)至少是p 級. 由d 的任意性，eit是Aj(z)的至少p 級Borel 點.

定理7 設(shè)W(z)是單位圓內(nèi)由二元復(fù)方程

定義的k 值p－1(＞0)級整代數(shù)體函數(shù). 則eit是W(z)的p(＞1)級Borel 點的充分必要條件是至少存在一個正整數(shù)j{0，1，2，…，k－ 1}，使eit是Aj(z)的一個p(＞1)級Borel 點.

證明 由定理5 得充分性. 下證必要性:設(shè)eit是W(z)的p(＞1)級Borel 點，由定理6，存在正整數(shù)j{0，1，2，…，k}，使eit是Aj(z)的一個至少p 級的Borel 點. 結(jié)合推論1，Aj(z)的級至多是p－1，因此eit至多是Aj(z)的p 級Borel 點.證畢.

［1］楊樂. 值分布論及其新研究［M］.北京:科學(xué)出版社，1982.

［2］何育贊，蕭修治. 代數(shù)體函數(shù)與常微分方程［M］. 北京:科學(xué)出版社，1988.

［3］孫道椿，高宗升. 代數(shù)體函數(shù)的唯一性定理［J］.華南師范大學(xué)學(xué)報:自然科學(xué)版，2005(3):80－85.Sun D C，Gao Z S. Uniqueness theorem of algebroidal functions［J］. Journal of South China Normal University:Natural Science Edition，2005(3):80－85.

［4］孫道椿. 代數(shù)體函數(shù)的增長性［J］. 華南師范大學(xué)學(xué)報:自然科學(xué)版，2006(3):1－6.Sun D C.On the growth of algebroidal functions［J］.Journal of South China Normal University:Natural Science Edition，2006(3):1－6.

［5］王輝堅，孫道椿. 代數(shù)體函數(shù)的正規(guī)定理［J］.華南師范大學(xué)學(xué)報:自然科學(xué)版，2009(2):9－11.Wang H J，Sun D C.Normal theorem of algebroidal functions［J］.Journal of South China Normal University:Natural Science Edition，2009(2):9－11.

［6］孫道椿，郭曉晶. 零點，極點和分支點［J］. 華南師范大學(xué)學(xué)報:自然科學(xué)版，2009(3):1－4.Sun D C，Guo X J. Zeros，poles and branch points［J］.Journal of South China Normal University:Natural Science Edition，2009(3):1－4.

［7］向士東，孫道椿，王松敏. 關(guān)于代數(shù)體函數(shù)的注記［J］.華南師范大學(xué)學(xué)報:自然科學(xué)版，2010(4):5－8.Xiang S D，Sun D C，Wang S M. A note of algebroidal functions［J］. Journal of South China Normal University:Natural Science Edition，2010(4):5－8.

［8］Wu Z J. T－Direction and Borel Direction of algebroid functions of finite and positive order［J］. Georgian Mathematical Journal，2009，16(3):583－596.

［9］Huo Y Y，Sun D C. Algebroid function and its derived function in unit circular disc［J］. Acta Mathematica Scientia，2009，29B(1):129－139.

［10］Sun D C. Commom Borel points of a meromorphic function and its derivatives in the unit circle［J］.Acta Mathematica Scientia，1984，4B(2):227－232.