楊端陽，葉亞盛

（上海理工大學(xué)理學(xué)院，上海200093）

與分擔(dān)函數(shù)相關(guān)的正規(guī)定則

楊端陽，葉亞盛

（上海理工大學(xué)理學(xué)院，上海200093）

本文研究了與分擔(dān)函數(shù)相關(guān)的亞純函數(shù)族的正規(guī)性的問題.利用Nevanlinna理論的方法，得到了一個正規(guī)定則，推廣了龐學(xué)誠和Zalcman［3］的一個結(jié)果.

正規(guī)族；分擔(dān)值；分擔(dān)函數(shù)；亞純函數(shù)

1　引言

設(shè)區(qū)域D為復(fù)平面C上的一個區(qū)域，F(xiàn)是區(qū)域D內(nèi)的亞純函數(shù)族.若對于F中任一函數(shù)序列均可選出一個子序列在區(qū)域D上按球距內(nèi)閉一致收斂，則稱F在區(qū)域D內(nèi)正規(guī).設(shè)f（z）和g（z）是區(qū)域D內(nèi)的兩個亞純函數(shù)，a和b是兩個復(fù)數(shù)，若當(dāng)f（z）=a，有g(shù)（z）=b，記f（z）=a?g（z）=b.若f（z）=a?g（z）=b和g（z）=b?f（z）=a，記f（z）=a?g（z）=b.若f（z）=a?g（z）=a.則稱f（z）和g（z）是區(qū)域D上IM分擔(dān)a.

1979年，顧永興證明了Hayman關(guān)于正規(guī)族的猜想，得到如下著名的正規(guī)定則.

定理A［1］設(shè)F是區(qū)域D內(nèi)的亞純函數(shù)族，k是一個正整數(shù).若對于F中的每一個函數(shù)f，有f（z）/=0，f（k）（z）/=1.則F在區(qū)域D內(nèi)正規(guī).

1986年，楊樂改進(jìn)了定理A的結(jié)果，得到

定理B［2］設(shè)F是區(qū)域D內(nèi)的亞純函數(shù)族，k是一個正整數(shù)，h（z）（/≡0）是區(qū)域D內(nèi)的全純函數(shù).若對于任意的f∈F，f（z）/=0，f（k）（z）/=h（z），則F在區(qū)域D內(nèi)正規(guī).

2002年，龐學(xué)誠和Zalcman考慮涉及零點重級的亞純函數(shù)的情況，證明了

定理C［3］設(shè)k是一個正整數(shù)，h（z）（/≡0）是區(qū)域D內(nèi)的全純函數(shù)，F(xiàn)是區(qū)域D內(nèi)的亞純函數(shù)族，其零點重級均至少為k+3.若對于任意的f∈F，f（k）（z）/=h（z），則F在區(qū)域D內(nèi)正規(guī).

推廣定理C，得到如下結(jié)果

定理1設(shè)k是一個正整數(shù)，M是正數(shù)，h（z）（/≡0）是區(qū)域D內(nèi)的全純函數(shù)，F(xiàn)是區(qū)域D內(nèi)的亞純函數(shù)族，其零點重級均至少為k+3.若對于任意f∈F，f（k）（z）h（z）?|f（z）|≥M，則F在區(qū)域D內(nèi)正規(guī).

例1設(shè)D=z：|z|≤1，h（z）=z，F(xiàn)=｛fn（z）｝，其中.當(dāng)時，|fn（z）|=0.然而F在區(qū)域D內(nèi)不正規(guī)，這是因為當(dāng)n→∞時，→∞，fn（0）=0.

例1說明f（k）（zh（z）?|f（z）|≥M是個必要條件.

在文獻(xiàn)［3］中的例1說明零點重級均至少為k+3也是必要的.

定理2設(shè)k是一個正整數(shù)，h（z）（/≡0，∞）是區(qū)域D內(nèi)的亞純函數(shù)，其極點的重級均之多為k-1，F(xiàn)是區(qū)域D內(nèi)的亞純函數(shù)族，其零點重級均至少為k+3.若對于任意的f∈F， f（k）（z）h（z）?|f（z）|≥M，則F在區(qū)域D內(nèi)正規(guī).

2　相關(guān)引理

為了證明定理，需要下面的引理

引理2.1［4］設(shè)k是一個正整數(shù)，F(xiàn)是單位圓盤上的亞純函數(shù)族，其零點重級至少為k，且存在A≥1，使得對于任意f，在f零點處，都有|f（k）（z）|≤A.假設(shè)F在z0處不正規(guī)，則對0≤α≤k任意，必存在

a.點列zn，zn→z0；

b.函數(shù)列fn∈F；

引理2.2［5］設(shè)k是一個正整數(shù)，f（z）是超越亞純函數(shù)，R（z）（/≡0）是有理函數(shù).若除有限個點外，f（z）的零點重級至少為k+2，那么f（k）（z）-R（z）有無窮多個零點.

引理2.3［6］設(shè)k是一個正整數(shù)，f（z）是有窮級亞純函數(shù)，其零點重級均至少為k+2.若f（k）（z）/=1，則f（z）是常數(shù).

引理2.4［3］設(shè)f（z）是非常數(shù)有理函數(shù)，k，m是正整數(shù).若f（z）的零點重級均至少為k+3，則對于任意正整數(shù)m，在復(fù)平面上f（k）（z）=zm有解.

引理2.5［7］設(shè)F是單位圓盤上的亞純函數(shù)族，a是一個有窮復(fù)數(shù)或∞，且每個任意f∈F，f/=a.若F在△＇內(nèi)正規(guī)，在z=0處不正規(guī)，則存在F的子列fn，使得fn→a在△＇內(nèi).

引理2.6［8］設(shè)k，m是一個正整數(shù)，f（z）是有理函數(shù)，其零點的重級均至少為k.如果f（k）（z）/=z-m，那么f（z）是常數(shù).

引理2.7設(shè)｛fn（z）｝是區(qū)域D內(nèi)的亞純函數(shù)列，其零點重級均至少為k+3，｛hn（z）｝是區(qū)域D內(nèi)的全純函數(shù)列，并且一致收斂于全純函數(shù)h（z）（/=0）.若對于任意正整數(shù)n，=hn（z）?|hn（z）|≥M，則｛fn（z）｝在區(qū)域D內(nèi)正規(guī).

證設(shè)z0為D內(nèi)任意一點，下證｛fn（z）｝在z0處正規(guī).由于h（z）/=0，不妨設(shè)h（z0）=1.假設(shè)｛fn（z）｝在z0處不正規(guī)，由引理2.1，存在點列zn，zn→z0，｛fn（z）｝的子列（仍記為｛fn（z）｝），正數(shù)列ρn→0，使得在復(fù)平面C上按球距內(nèi)閉一致收斂于非常數(shù)亞純函數(shù)g（ζ），其零點重級至少為k+3，級至多為2.

斷言：g（k）（ζ）/=1.

若不然，存在ζ0，使得g（k）（ζ0）=1.顯然g（k）/≡1.否則，g（ζ）是次數(shù)為k的多項式，這與g（ζ）的零點重級至少為k+3矛盾.又因為（zn+ρnζ）-hn（zn+ρnζ）=-hn（zn+ρnζ）→g（k）（ζ）-1，由Hurwitz定理，存在ζn，ζn→ζ0，使得當(dāng)n充分大時，（zn+ρnζn）=hn（zn+ρnζn），根據(jù)條件可得|fn（zn+ρnζn）|≥M，則

由于g（ζ）的零點重級至少為k+3，由引理2.3，g（ζ）是常數(shù)，矛盾.

3　定理的證明

定理1的證明不妨設(shè)D為△，z0為△內(nèi)任意一點.下證F在z0處正規(guī).下面分兩種情況討論.

情形1 h（z0）/=0，則存在δ＞0，使得在△（z0，δ）內(nèi)，h（z）/=0.由引理2.7，F(xiàn)在z0處正規(guī).

情形2 h（z0）=0.不失一般性，令z0=0，h（z）=zmφ（z），其中在△內(nèi)φ（0）=1，φ（z）/= 0.由情形1，F(xiàn)在△＇=△｛0｝內(nèi)正規(guī)，下證F在z0=0處正規(guī).

令F∞：｛F（z）=，f∈F｝.顯然f（0）/=0.否則，f（0）=0.由于f零點重級均至少為k+3，則f（k）（0）=0，即f（k）（0）=h（0），根據(jù)條件0=|f（0）|≥M，矛盾.由于f（0）/=0，則F（0）=∞.下證F∞在z0=0處正規(guī).

假設(shè)F∞在z0=0處不正規(guī)，由引理2.1，存在點列zn，zn→0，函數(shù)列Fn∈F∞，正數(shù)列ρn→0+，使得

在復(fù)平面C上按球距內(nèi)閉一致收斂于非常數(shù)亞純函數(shù)g（ζ），其零點重級至少為k+3，級至多為2.

斷言：g（k）（ζ）/=1.

若不然，存在ζ0，使得g（k）（ζ0）=1.顯然，g（k）（ζ）/=1.否則，g（ζ）是次數(shù)為k的多項式，這與g（ζ）的零點重級至少為k+3矛盾.由Hurwitz定理，存在ζn，ζn→ζ0，使得當(dāng)n充分大時，（zn+ρnζn）=h（zn+ρnζn）.根據(jù)條件可得|fn（zn+ρnζ）|≥M，則

由于g（ζ）的零點重級至少為k+3，由引理2.3，g（ζ）是常數(shù)，矛盾.

所以g（ζ-α）的零點重級至少為k+3，并且0是g（ζ-α）的重級至少為m的極點.

其中G（ζ）的零點重級至少為k+3.由于0是g（ζ-α）的重級至少為m的極點，所以G（0）/=0.

斷言：G（k）（ζ）/=ζm.

首先假設(shè)fn（z）在△δ∈△內(nèi)上全純函數(shù).因為fn（z）在內(nèi)正規(guī)，但是在0處不正規(guī)，由最大模型原理fn（z）→∞于內(nèi).

令

由Hurwitz定理，存在ζn，ζn→ζ0，使得當(dāng)n分大時，，根據(jù)條件可得≥M，則

令

于是Tn（ζ）為復(fù)平面上的亞純函數(shù)列，其零點的重級至少為k+3，Sn（ζ）為全純函數(shù)列且一致收斂于ζm.根據(jù)條件可得（ζ）=Sn（ζ）?|Tn（ζ）|≥M，由引理2.7，Tn（ζ）在C｛0｝內(nèi)正規(guī).顯然

在△內(nèi).否則，存在ηn，使得Tn（ηn）=∞，則fn（ωnηn）=∞.顯然|ωnηn|=|ωn||ηn|＜|ωn|，這與ωn是fn模最小的極點矛盾.再根據(jù)最大模原理以及Montel定則，故Tn（ζ）在C內(nèi)正規(guī).

設(shè)Tn（ζ）→T（ζ），其中T（ζ）的零點重級至少為k+3.顯然，T（k）（ζ）-ζm有零點.否則，T（k）（ζ）/=ζm，從而T（k）（0）/=0m.又因為Tn（0）=Gn（0）→0，而且T（ζ）的零點重級至少為k+3，則T（k）（0）=0，矛盾.顯然，T（k）（ζ）≡ζm.否則，T（k）（1）≡1m.又由于

矛盾.于是設(shè)ζ0是T（k）（ζ）-ζm的零點，又因為

由Hurwitz定理，存在ζn，ζn→ζ0，使得當(dāng)n分大時，（ωnζn）-h（ωnζn），根據(jù)條件可得|fn（ωnζn）|≥M，則

由于F∞在z0處正規(guī)，由條件知對于任意Fn∈F∞，有Fn（0）=∞，存在δ＞0，使得|F（z）|≥1在△δ內(nèi)，所以當(dāng)n充分大時，|Fn（z）|≥.故在△δ1內(nèi)fn（z）/=0，則在△δ1內(nèi)是全純函數(shù)列，因此

再由最大模原理以及Montel定則知F在z0處正規(guī).故F在區(qū)域D內(nèi)正規(guī).

定理2的證明利用引理2.2和2.6，類似于定理1方法可證得.

［1］Gu Y X.A normal criterion of meromorphic families［J］.Sci.Sinica，Math.，1979，（I）：267-374.

［2］Yang L.Normality of families of meromorphic functions［J］.Scientia.Sinica.，1986，A（9）：898-908.

［3］Pang X C，Yang D G，Zalcman L.Normality families of meromorphic functions whose derivatives omit a function［J］.Comput.Meth.Funct.The.，2002，2：257-265.

［4］Pang X C，Zalcman L.Normal families and shared values［J］.Bull.London.Math.Soc.，2000，32：325-331.

［5］Xu Y.Picard Values and derivatives of meromorphic functions［J］.Kodai.Math.J.，2005，28：99-105.

［6］Wang Y F，F(xiàn)ang M L.Picard values and normal families of meromorphic functions with multiple zeros［J］.Acta Math.Sci.，1998，1：17-26.

［7］楊劉，陳巧玉.與例外函數(shù)相關(guān)的正規(guī)族［J］.華東師范大學(xué)學(xué)報，2013，2：154-159.

［8］Xu Y.Normal families and exceptional functions［J］.J.Math.Anal.Appl.，2007，329：1343-1354.

［9］李銘，黃斌.亞純函數(shù)族的一個正規(guī)定則［J］.數(shù)學(xué)雜志，2014，3（34）：539-545.

［10］徐焱.亞純函數(shù)的正規(guī)族［J］.數(shù)學(xué)雜志，2001，4（21）：381-386.

NORMALITY ON SHARING FUNCTIONS

YANG Duan-yang，YE Ya-sheng
（School of Science，University of Shanghai for Science and Technology，Shanghai 200093，China）

In this paper，we study the normality of the family of meromorphic functions about sharing functions.By using Nevanlinna theory method，we obtain a normal criterion，which improves a results got by Pang and Zalcman［3］.

normal family；sharing values；sharing functions；meromorphic function

MR（2010）主題分類號：30D45O174.52

A

0255-7797（2016）05-1091-06

2015-05-02接收日期：2015-06-02

國家自然科學(xué)基金項目（11371139）.

楊端陽（1989-），女，河南信陽，碩士，主要研究方向：復(fù)分析.

2010 MR Subject Classification：30D45