涉及微分多項(xiàng)式和差分多項(xiàng)式的亞純函數(shù)的唯一性*

李效敏, 石 悅, 李 崗

(中國(guó)海洋大學(xué)數(shù)學(xué)科學(xué)學(xué)院，山東 青島 266100)

?

涉及微分多項(xiàng)式和差分多項(xiàng)式的亞純函數(shù)的唯一性*

李效敏, 石 悅, 李 崗

(中國(guó)海洋大學(xué)數(shù)學(xué)科學(xué)學(xué)院，山東 青島 266100)

應(yīng)用差分Nevanlinna理論研究亞純函數(shù)及其移動(dòng)算子或差分算子的1類(lèi)非線性微分多項(xiàng)式分擔(dān)1個(gè)非零公共值的亞純函數(shù)的唯一性問(wèn)題。本文結(jié)果部分回答了2009年方明亮提出的1個(gè)涉及微分多項(xiàng)式的亞純函數(shù)唯一性問(wèn)題,推廣了Lahiri[6]、楊重駿和華歆厚[7]和方明亮[8]中的相應(yīng)結(jié)果。

差分多項(xiàng)式； 微分多項(xiàng)式； 亞純函數(shù)； 唯一性定理

0 引言及主要結(jié)果

δ2(a,f)≤δ1(a,f)=Θ(a,f)≤1。

1976年,楊重駿提出了下述問(wèn)題：

問(wèn)題2[4]假設(shè)f與g是2個(gè)非常數(shù)的整函數(shù)，n是一個(gè)正整數(shù)。如果f與gCM分擔(dān)0，f(n)與g(n)CM分擔(dān)1，并且2δ(0,f)>1,那么f與g的關(guān)系如何？

1990年, 儀洪勛解決了問(wèn)題2，證明了下述定理：

定理3[5]假設(shè)f與g是2個(gè)非常數(shù)的整函數(shù)，n是一個(gè)正整數(shù)。如果f與gCM分擔(dān)0，f(n)與g(n)CM分擔(dān)1，并且2δ(0,f)>1,那么f=g或者f(n)g(n)=1。

1997年,ILahiri提出了下述問(wèn)題：

問(wèn)題4[6]如果2個(gè)非常數(shù)的亞純函數(shù)的非線性微分多項(xiàng)式CM分擔(dān)1，那么這2個(gè)亞純函數(shù)的關(guān)系如何？

1997年,楊重駿和華歆厚研究了問(wèn)題4，證明了下述定理：

定理5[7]假設(shè)f與g是2個(gè)非常數(shù)的亞純函數(shù)，n是1個(gè)正整數(shù)滿足n≥11。如果fnf'與gng'CM分擔(dān)1，那么f與g滿足下述2種情形之一：

(i)f=tg,其中t是1個(gè)常數(shù)，且滿足tn=1;

(ii)f=c1ecz,g=c2e-cz,其中c,c1和c2是非零常數(shù)，且滿足(c1c2)n+1c2=-1。

2002年，方明亮證明了下述結(jié)果，在整函數(shù)條件下研究了問(wèn)題4，證明了下述定理：

定理6[8]假設(shè)f與g是2個(gè)非常數(shù)的整函數(shù)，n,k是2個(gè)正整數(shù)且滿足n≥2k+8。如果(fn(f-1))(k)與(gn(g-1))(k)CM分擔(dān)1，那么f=g。

2009年，方明亮在華東師范大學(xué)復(fù)分析會(huì)議上提出了下述問(wèn)題：

問(wèn)題7 假設(shè)f與g是2個(gè)非常數(shù)的亞純函數(shù)。n,k是2個(gè)正整數(shù)且滿足n>3k+11。如果(fn(f-1))(k)與(gn(g-1))(k)CM分擔(dān)1，那么是否有f=g？

截止到目前，問(wèn)題7還沒(méi)有得到徹底解決。近幾年來(lái)RodneyHalburd-RistoKorhonen[13]以及馮紹繼與蔣翼邁[14]分別建立了差分Nevanlinna理論，ILaineandCCYang[15]得到了涉及差分多項(xiàng)式的Clunie定理。應(yīng)用這些理論，一些芬蘭學(xué)者和中國(guó)學(xué)者開(kāi)始了差分唯一性理論的研究，參看文獻(xiàn)[16-18]。 本文將利用差分Nevanlinna理論，結(jié)合微分多項(xiàng)式具有一個(gè)非零公共值的亞純函數(shù)唯一性問(wèn)題的研究方法，研究一類(lèi)差分微分多項(xiàng)式具有一個(gè)非零公共值的亞純函數(shù)的唯一性問(wèn)題，具體說(shuō)來(lái)，本文將研究下述幾個(gè)問(wèn)題：

問(wèn)題8 假設(shè)f(z)是1個(gè)非常數(shù)亞純函數(shù)，f(z+η)是f(z)的移動(dòng)算子，其中η是1個(gè)非零復(fù)數(shù)，如果(fn(z)(f(z)-1))(k)與(fn(z+η)(f(z+η)-1))(k)CM分擔(dān)1，那么n,k在滿足什么條件下，有結(jié)論f(z)=f(z+η)？

問(wèn)題9 假設(shè)f(z)是1個(gè)非常數(shù)的亞純函數(shù)，

通過(guò)對(duì)上述幾個(gè)問(wèn)題的研究，本文將證明下述幾個(gè)定理，從而回答了上述問(wèn)題8～11。

應(yīng)用證明定理12和證明定理13的類(lèi)似證明過(guò)程和本文第二部分引理10可得下述2個(gè)定理,它們分別是上述定理12和定理13的IM版本：

1 幾個(gè)引理

引理1[1]假設(shè)f是1個(gè)非常數(shù)的亞純函數(shù)，k是1個(gè)正整數(shù)，c≠0是1個(gè)有限值，那么

引理3 假設(shè)F是1個(gè)非常數(shù)的亞純函數(shù)，k,p是2個(gè)非常數(shù)的正整數(shù)，那么

引理4 假設(shè)f與g是2個(gè)非常數(shù)的亞純函數(shù)，n和k是2個(gè)正整數(shù)且滿足n>3k+11。如果(fn(f-1))(k)與(gn(g-1))(k)CM分擔(dān)1，并且f-1與g-1的每個(gè)零點(diǎn)重?cái)?shù)≥k，那么

或者

證明 置

(1)

情形1 假設(shè)H不恒等于零。

設(shè)z0是(fn(z)(f(z)-1))(k)與(gn(z)(g(z)-1))(k)的1個(gè)公共單零點(diǎn)。 將(fn(z)(f(z)-1))(k)與(gn(z)(g(z)-1))(k)在z0點(diǎn)的Taylor展示代入(1)可知，z0是H的零點(diǎn)。于是再由(1)及引理4的條件可得

N(r,H)+m(r,H)+O(1)≤

(2)

(n+1)T(r,f)+O(1)=T(r,fn(f-1))≤

S(r,fn(f-1))≤

S(r,f),

即

(n+1)T(r,f)≤

S(r,f)。

(3)

同理

(n+1)T(r,g)≤

(4)

再由(2)和引理4的已知條件可得

T(r,(fn(f-1))(k))+S(r,f)+S(r,g)≤

N(r,(fn(f-1))(k))+m(r,fn(f-1))+

S(r,f)+S(r,g)≤

S(r,f)+S(r,g)，

即

S(r,f)+S(r,g)。

(5)

將(5)代入(3)和(4)相加所得的不等式的右邊，并整理得

(6)

同理

(7)

由(6)和(7)可得

由此得n≤3k+11,這與已知條件n>3k+11矛盾。

情形2 假設(shè)H=0。由(1)可得

(8)

由(8)連續(xù)積分2次可得

(9)

其中a和b是2個(gè)常數(shù),并且a≠0。分3種子情形討論如下：

子情形2.1 假設(shè)a=b。如果b=-1，由(9)可得(fn(f-1))(k)(gn(g-1))(k)=1，于是引理4的結(jié)論成立。

如果b≠-1，那么(9)可變?yōu)?/p>

(10)

由(10)可得

(11)

由(11)和引理1，引理2和引理3可得

(n+1)T(r,g)=T(r,gn(g-1))+O(1)≤

S(r,g)。

(12)

同理可得

(13)

由(12)和(13)可得

(2k+4){T(r,f)+T(r,g)}+S(r,f)+S(r,g)

由此可得n≤2k+4，這與已知條件n>3k+11矛盾。

子情形2.2 假設(shè)a≠b并且b≠0。

如果b=-1，那么(9)變?yōu)?/p>

(14)

由于(fn(f-1))(k)與(gn(g-1))(k)CM分擔(dān)1，由(14)可得

(n+1)T(r,g)=T(r,gn(g-1))+O(1)≤

T(r,f)+S(r,g)，

于是

(15)

另一方面，再將(14)改寫(xiě)成

(16)

由(16)和引理3可得

(n+1)T(r,f)=T(r,fn(f-1))+O(1)≤

(k+3)T(r,f)+(k+3)T(r,g)+S(r,f)，

于是

(n-k-2)T(r,f)≤(k+3)T(r,g)+S(r,f)

(17)

由(15),(17)和條件n>3k+11可得矛盾。

如果b≠-1，那么(9)變?yōu)?/p>

(18)

由(18)，類(lèi)似于(14)條件下的推導(dǎo)過(guò)程可得矛盾。

子情形2.3 假設(shè)a≠b并且b=0。由(9)可得

a(fn(f-1))(k)=(gn(g-1))(k)

(19)

以下假設(shè)當(dāng)f,g是2個(gè)超越亞純函數(shù)。一方面，由(19)可得：

a(fn(f-1))(k)=(gn(g-1))(k)+P1

(20)

其中P1是1個(gè)次數(shù)不超過(guò)k的多項(xiàng)式。假設(shè)P1不恒等于零，由(20)和引理2可得

a(fn(f-1))(k)=(gn(g-1))(k)+P1

(21)

和

(n+1)T(r,f)=T(r,fn(f-1))+O(1)≤

(k+3)T(r,f)+(k+3)T(r,g)+S(r,f)

(22)

由(21)和(22)可得n≤2k+5，這與n>3k+11矛盾。于是P1=0，(20)變?yōu)閍fn=gn，由此得

a(fn(f-1))(k)=(gn(g-1))(k)

(23)

另外，由前面得到的(3)可得

(24)

由(24)可知(fn)(k)-1有零點(diǎn)。注意到a(fn(f-1))(k)與(gn(g-1))(k)CM分擔(dān)1，由(23)可知a=1，于是引理4成立。引理4證畢。

引理5[13-14](對(duì)數(shù)導(dǎo)數(shù)引理的差分模擬)假設(shè)f是1個(gè)非常數(shù)亞純函數(shù)，并且其增長(zhǎng)級(jí)滿足ρ(f)=ρ<∞，η≠0是復(fù)常數(shù)，則對(duì)任意正數(shù)ε，有

引理6[14,Theorem2.1]假設(shè)f是1個(gè)非常數(shù)亞純函數(shù)，并且其增長(zhǎng)級(jí)滿足ρ(f)=ρ<∞，η≠0是復(fù)常數(shù)，則對(duì)任意正數(shù)ε，當(dāng)r充分大時(shí)，有

T(r,f(z+η))=T(r,f(z))+O(rρ-1+ε)。

引理8 假設(shè)f1和f2是2個(gè)非常數(shù)亞純函數(shù)，且滿足f1+f2=1，那么

引理9[12]假設(shè)s>0和t是是2個(gè)互素的整數(shù)，c是1個(gè)滿足cs=1的復(fù)數(shù)，那么ωs-1與ωt-c有且只有1個(gè)公共零點(diǎn)。

引理10[19]假設(shè)f與g是2個(gè)非常數(shù)亞純函數(shù)，k≥1是1個(gè)正整數(shù)，并且f(k)與g(k)IM分擔(dān)1。如果Δ1= (2k+3)Θ(∞,f)+(2k+4)Θ(∞,g)+Θ(∞,f)+

Θ(∞,g)+2δk+1(0,f)+3δk+1(0,g)>4k+13

和Δ2= (2k+3)Θ(∞,g)+(2k+4)Θ(∞,f)+Θ(∞,g)+

Θ(∞,f)+2δk+1(0,g)+3δk+1(0,f)>4k+13

成立，那么f(k)g(k)=1或者f=g。

2 定理的證明

定理13的證明 設(shè)f(z+η)-f(z)=g(z)。由引理4，分2種情形討論如下：

情形1 假設(shè)

[f(z)n(f(z)-1)](k)
[(f(z+η)-f(z))n(f(z+η)-f(z)-1)](k)≡`1

(25)

首先,(fn(f-1))(k)不恒等于常數(shù)。事實(shí)上，若(fn(f-1))(k)恒等于某個(gè)常數(shù)，那么

fn(f-1)=Pk

(26)

其中Pk是某個(gè)次數(shù)≤k的多項(xiàng)式。注意到f是1個(gè)非常數(shù)的亞純函數(shù)，并且n>3k+11，無(wú)論f是有理函數(shù)還是超越亞純函數(shù)，都可以由(26)和引理2得出矛盾。于是，由(25)可知

[(f(z+η)-f(z))n(f(z+η)-f(z)-1)](k)也不恒等于常數(shù)。 以下假設(shè)z0是f(z)的p≥1重極點(diǎn)，那么z0一定是[(f(z+η)-f(z))n(f(z+η)-f(z)-1)](k)的零點(diǎn)，從而z0也是f(z+η)的p重極點(diǎn)。于是由(25)和引理3，5和6可得

(k+1)T(r,f(z+η)-f(z))+

T(r,f(z+η)-f(z)-1)+S(r,f(z))≤

(k+2)[m(r,f(z+η)-f(z))+N(r,f(z+η))]+

S(r.f(z))≤

(k+2)T(r,f(z)+S(r,f(z))

(27)

注意到f(z)的增長(zhǎng)級(jí)ρ(f)<∞，由引理7可得

(28)

由(27)和(28)可得

(29)

情形2 假設(shè)

(fn(f-1))(k)=(gn(g-1))(k)

(30)

其中

g(z)=f(z+η)-f(z)

(31)

由(30)可得

fn(f-1)-gn(g-1)=Qk

(32)

其中Qk是1個(gè)次數(shù)不超過(guò)k的多項(xiàng)式。如果Qk不恒為零，由(32)，引理2和引理8可得

和

(n+1)T(r,f)=T(r,fn(f-1))+o(1)≤

該式與n>3k+11矛盾。所以Qk=0，于是(32)變?yōu)?/p>

fn(f-1)=gn(g-1)

(33)

以下假設(shè)f不恒等于g。設(shè)

(34)

以下分兩種子情形討論：

子情形2.1 假設(shè)h是1個(gè)常數(shù)，那么h≠1，于是1-hn+1和1-hn+1不同時(shí)為零。由(33)和(34)可得(1-hn+1)g=1-hn，于是(1-hn+1)(1-hn)≠0，從而

(35)

這與g為非常數(shù)的亞純函數(shù)矛盾。

子情形2.2 假設(shè)h不恒為常數(shù)，那么h-1，1-hn+1和1-hn全不恒為零，于是由(33)和(34)可得(35)。由引理9可知，1-ωn+1和1-ωn有且只有1個(gè)公共零點(diǎn)ω=1。由此結(jié)合(35)和引理2可得

(36)

于是S(r,f)=S(r,h)。由第二基本定理可得

(n-2)T(r,h)+S(r,h)，

(37)

其中，αj(1≤j≤n)是ωn+1=1的n個(gè)判別的根并且αj≠1。于是由(37)可得

這與已知條件Θ(∞,f)>2/n矛盾。于是f=g，即f=Δηf。從而完成了定理13的證明。

定理12的證明 由引理4,分2種情形討論如下：

情形1 假設(shè)

(38)

首先類(lèi)似于定理13證明過(guò)程中的情形1可得(fn(f-1))(k)和(f(z+η)n(f(z+η)-1))(k)均不恒為常數(shù)。再由(38)，引理3，引理5和引理6可得

N(r,f(z)n(f(z)-1)](k))=

(k+1)T(r,f(z+η))+T(r,f(z+η)-1)+

(k+2)T(r,f(z+η))+S(r,f(z))≤

S(r,f(z))

(39)

情形2 假設(shè)

(40)

由(40)，類(lèi)似于定理13的證明過(guò)程中情形2可得f(z)=(f(z+η)，于是完成了定理12的證明。

致謝：本文作者感謝審稿人有價(jià)值的評(píng)論和建議。

[1]HaymanWK.Meromorphicfunctions[M].Oxford：TheClaredon， 1964.

[2] 儀洪勛， 楊重駿. 亞純函數(shù)的唯一性理論 [M]. 北京： 科學(xué)出版社， 1995.

[3]LahiriI.Weightedsharingofthreevaluesanduniquenessofmeromorphicfunctions[J].KodaiMathJ2011， 24(3)： 421-435.

[4]YangCC.Ontwoentirefunctionswhichtogetherwiththeirderivativeshavethesamezeros[J].JMathAnalAppl, 1976, 56：1-6.

[5]YiHX,UniquenessofmeromorphicfunctionsandaquestionofC.C.Yang[J].ComplexVarTheoryAppl, 1990, 14(1)： 169-176.

[6]LahiriI.Uniquenessofmeromorphicfunctionsasgovernedbytheirdifferentialpolynomials[J].YokohamaMathJ， 1997,44(2)： 147-156.

[7]YangCC，HuaXH.Uniquenessandvalue-sharingofmeromorphicfunctions[J].AnnAcadSciFennMath， 1997, 22 ： 395-406.

[8]FangML.Uniquenessandvaluesharingofentirefunctions[J].ComputMathAppl， 2002( 44)：5-6, 823-831.

[9]Mokhon’koAZ.OntheNevanlinnacharacteristicsofsomemeromorphicfunctions[M]//TheoryofFunctions,FunctionalAnalysisandTheirApplications,kovsk:Izd-voKhar’kovsk.Un-ta, 1971: 83-87.

[10]LahiriI,SarkarA.Uniquenessofameromorphicfunctionanditsderivative[J].JInequalPureApplMath， 2004， 5(1)： 20.

[11]FrankG.EineVermutungvonHaymanübernullstellenmeromorpherFunktion[J].MathZ, 1976,149(1)： 29-36.

[12]ZhangQC.Meromorphicfunctionssharingthreevalues[J].IndianJpureapplMath, 1999, 30(7): 667-682.

[13]HalburdR,KorhonenR,TohgeK.Holomorphiccurveswithshift-invarianthyperplanepreimages[J].TransAmerMathSoc, 2014, 366(8): 4267-4298.

[14]ChiangYM，F(xiàn)engSJ.OntheNevanlinnacharacteristicoff(z+η) and difference equations in the complex plane [J]. Ramanujan J, 2008(16)： 105-129.

[15] Laine I, Yang C C. Clunie theorems for difference and q-difference polynomials [J]. J London Math Soc, 2007, 76(1): 556-566.

[16] Heittokangas J, Korhonen R, Laine I, et al. Value sharing results for shifts of meromorphic functions and sufficient conditions for periodicity [J]. J Math Anal Appl, 2009, 355(1): 352-363.

[17] Heittokangas J, Korhonen R, Laine I, et al. Uniqueness of meromorphic functions sharing values with their shifts [J]. Complex Var Elliptic Equ， 2011, 56(1-4)： 81-92.

[18] Zhang J L. Value distribution and shared sets of differences of meromorphic functions [J]. J Math Anal Appl, 2010, 367(2): 401-408.

[19] Li X M, Yi H X. Uniqueness of meromorphic functions whose certain nonlinear differential polynomials share a polynomial [J]. Comput Math Appl， 2011, 62(2): 539-550.

AMS Subject Classifications： 30D30; 30D35

責(zé)任編輯 陳呈超

(fn(f-1))(k)(gn(g-1))(k)=1

(fn(f-1))(k)=(gn(g-1))(k)。

(n-k-2)T(r,g)≤T(r,f)+S(r,g)

(f(z)n(f(z)-1))(k)(f(z+η)n(f(z+η)-1))(k)≡1

(f(z)n(f(z)-1))(k)=(f(z+η)n(f(z+η)-1))(k)

Uniqueness Results Concerning Differential Polynomials and Difference Polynomials of Meromorphic Functions

LI Xiao-Min, SHI Yue, LI Gang

(School of Mathematical Sciences, Ocean University of China, Qingdao 266100, China)

Using the difference Nevanlinna theory, we study the uniqueness questions of meromorphic functions whose certain nonlinear differential polynomials share one nonzero finite value with the same of the shifts or the difference operators of the meromorphic functions. The results in the present paper partly give an answer to a question concerning nonlinear differential polynomials of meromorphic functions which was posed by M. L. Fang in 2009. The results in the present paper also extend the corresponding results as in Lahiri[6]、Yang-Hua[7]and Fang[8].

defferential polynomials; difference polynomials; meromorphic functions; Uniqueness theorems

國(guó)家自然科學(xué)基金項(xiàng)目(11171184；40776006);國(guó)家自然科學(xué)基金中俄合作協(xié)定項(xiàng)目(10911120056);山東省自然科學(xué)基金項(xiàng)目(Z2008A01; ZR2009AM008)資助。

2013-05-29；

2014-07-12

李效敏(1967-)，男,副教授。E-mail: xmli01267@gmail.com

O174.52

A

1672-5174(2015)05-131-08

10.16441/j.cnki.hdxb.20130247