王苗紅 ,陳省江

（1.福建師范大學(xué) 數(shù)學(xué)與統(tǒng)計學(xué)院,福建 福州 350117；2.寧德師范學(xué)院 數(shù)理學(xué)院,福建 寧德 352100）

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

在本篇論文中,亞純函數(shù)指代在整個復(fù)平面上亞純的函數(shù).假設(shè)讀者已經(jīng)熟悉了Nevanlinna 理論的基本結(jié)論及其符號[1-3],例如S(r,f)=o(T(r,f)),(r→∞),可能需要去掉對數(shù)測度或線性測度為有限的例外值集.

用ρ(f),ρ2(f)分別表示亞純函數(shù)f(z)的級和超級,其定義分別為

文中c均表示非零的有窮復(fù)數(shù).對于任意的a∈? ?{∞},用E(a,f)來表示函數(shù)f(z) -a的零點集且每個m重零點都計m次.對任意的正整數(shù)k,用(a,f)來表示f(z) -a的重數(shù)≤k的零點集合,且每個零點計一次.而(a,f)則表示f(z) -a的重數(shù)≥k的零點集合,每個零點也只計一次.對于亞純函數(shù)f(z)和g(z),若f(z) -a與g(z) -a有相同的零點,零點重數(shù)也相同,則稱f(z)與g(z)是CM 分擔(dān)a的.若不考慮零點重數(shù),則稱f(z)與g(z)是IM 分擔(dān)a的.如果f(z) -a的任意m重零點都會是g(z) -a的至少m重零點,則記為E(a,f) ?E(a,g).類似的,還有(a,f) ?(a,g).此外,a對f(z)的虧量和精簡虧量分別記為

隨著差分模擬問題逐漸走進(jìn)大眾視野,有非常多與函數(shù)位移或者差分相關(guān)的研究內(nèi)容產(chǎn)生.例如Heittokangas等[4]研究的涉及亞純函數(shù)及其位移的唯一性問題.

定理A[4]設(shè)f(z)為有窮級亞純函數(shù)且a1,a2,a3∈S(f) ?{∞}是相互判別的以c為周期的周期函數(shù),其中c∈?｛0｝.若f(z)和f(z+c)CM分擔(dān)a1,a2且IM分擔(dān)a3,那么f(z) ≡f(z+c).

2016年,Charak 等[5]在研究涉及亞純函數(shù)及其位移唯一性問題時利用單向分擔(dān)值的概念,證明了如下結(jié)論.

定理B[5]設(shè)f(z)為超級ρ2(f) <1 的亞純函數(shù),a1,a2,a3∈S(f) ?{∞}是相互判別的以c為周期的周期函數(shù).若f(z)和f(z+c)滿足

那么,f(z) ≡f(z+c).

定理C[5]設(shè)f(z)為超級ρ2(f) <1 的亞純函數(shù),a1,a2,a3,a4∈S(f) ?{∞}是相互判別的以c為周期的周期函數(shù).若對某些a∈S(f) ?{∞},有δ(a,f) >0,且

那么,f(z) ≡f(z+c).

2019年,Lin等[6]利用單向截斷分擔(dān)值的概念,證明了如下結(jié)論.

定理D[6]設(shè)f(z)為超級ρ2(f) <1 的非常數(shù)亞純函數(shù)且至多只有有窮個極點,k1,k2是兩個正整數(shù),a1,a2是相互判別的非零有窮復(fù)數(shù).若f(z)和f(z+c)CM分擔(dān)0且滿足

那么

1)當(dāng)k1+k2>2時,f(z) ≡f(z+c).

2)當(dāng)k1=k2=1時,f(z) ≡f(z+c)或f(z) ≡-f(z+c),且后者只發(fā)生在a1+a2=0的情形之下.

2023年,Hoang等[7]又做了進(jìn)一步的改進(jìn),得到了如下結(jié)論.

定理E[7]設(shè)f(z)為超級ρ2(f) <1的非常數(shù)亞純函數(shù),c是非零的有窮復(fù)數(shù).若f(z)和f(z+c)滿足

在定理E 的基礎(chǔ)上進(jìn)行了研究,在相同分擔(dān)條件下,補充討論了當(dāng)k=1,2 時的有關(guān)函數(shù)f(z)和f(z+c)的唯一性問題.

定理1設(shè)f(z)為超級ρ2(f) <1的非常數(shù)亞純函數(shù),c≠0是常數(shù),k=1,2.若f(z)和f(z+c)滿足

和(1,f(z)) ?(1,f(z+c)),且Θ(∞,f) >2/3,那么f(z) ≡±f(z+c).

推論1設(shè)f(z)為超級ρ2(f) <1的非常數(shù)整函數(shù),c≠0是常數(shù),k=1,2.若f(z)和f(z+c)滿足

和(1,f(z)) ?(1,f(z+c)),那么f(z) ≡f(z+c)或f(z) ≡-f(z+c).

注1定理1的證明想法來自于文獻(xiàn)[7].推論1實則是文獻(xiàn)[7]中的定理1.6增加討論了k=2情形后的結(jié)果.

例1設(shè)f(z)=cosz,c=π,k=1,則f(z+c)=cos(z+π)=-cosz≡-f(z).顯然,f(z)和f(z+c)是整函數(shù),且二者CM 分擔(dān)0,所以E(0,f(z))=E(0,f(z+c)),E(∞,f(z+c))=E(∞,f(z))=?.因為cosz-1和-cosz-1都沒有簡單零點,所以(1,f(z))=(1,f(z+c))=?.

例2設(shè)f(z)=ecosz,c=π,k=2,則f(z+c)=e-cosz≡f(z),f(z+c) ≡-f(z).顯然,f(z)和f(z+c)是整函數(shù)且沒有零點,所以E(0,f(z))=E(0,f(z+c))=?,E(∞,f(z+c))=E(∞,f(z))=?.此外,易知f(z)和f(z+c)CM分擔(dān)1,所以(1,f(z))=(1,f(z+c)).但此時,ρ2(f)=1.

注2上面的例子說明f(z) ≡-f(z+c)的結(jié)果是存在的,且條件“超級ρ2(f) <1”是必要的.

2 引理

引理1[8]設(shè)f(z)為超級ρ2(f) <1的非常數(shù)亞純函數(shù)且c∈?{0},那么

引理2[8]設(shè)T:[0,∞) →[0,∞)是非減連續(xù)函數(shù)且s∈(0,∞).若T滿足

且δ∈(0,1 -ρ2),那么

其中：E為對數(shù)測度有限的集合.

注3由引理2可得

引理3[1]設(shè)f(z)是復(fù)平面上的非常數(shù)亞純函數(shù),a1,a2,a3,…,aq是q≥3個相互判別的函數(shù)f(z)的小函數(shù),那么

引理4[1]設(shè)f(z)是一個非常數(shù)周期函數(shù),則f(z)的級ρ(f) ≥1.

3 定理1的證明

假設(shè)f(z) ≡±f(z+c).由式(1)易知

構(gòu)造函數(shù)為

由E(0,f(z)) ?E(0,f(z+c)),E(∞,f(z+c)) ?E(∞,f(z))可知函數(shù)G(z)是整函數(shù).而由引理1可得

因此,有

因為(1,f(z)) ?(1,f(z+c)),再結(jié)合式(2)和式(4)可得

由式（3～5）可得

記fc=f(z+c)，G-c=G(z-c),由式（1）和式（3～5）可知

因為f(z) ≡±f(z+c),所以G(z) ≡±1.接下去對k的值進(jìn)行分開討論.

情形1k=2.由式(5～6)和引理3可得

即有Θ(∞,f) ≤2/3,矛盾.因此f(z) ≡f(z+c)或f(z) ≡-f(z+c).

情形2k=1.

子情形2.11/G≡G-c.于是可以斷定1,1/G,G-c,∞是相互判別的.由式(5～7)和引理3可得

即有Θ(∞,f) ≤1/2,矛盾.因此f(z) ≡f(z+c)或f(z) ≡-f(z+c).

子情形2.21/G≡G-c,即

因為函數(shù)G(z)為整函數(shù),不存在極點,所以G(z)也不會存在零點,否則與(8)式產(chǎn)生矛盾.這也意味著可以找到一個整函數(shù)λ(z)使得

于是,有

對上式兩邊求導(dǎo),進(jìn)而可得λ'(z-c) ≡-λ'(z).這表明函數(shù)λ(z)是一個以2c為周期的周期整函數(shù).并且由式(4)可知G(z)是f(z)的小函數(shù),因此有

假設(shè)λ'(z)不為常數(shù),則由引理4 可知ρ(λ)=ρ(λ') ≥1,產(chǎn)生矛盾.因此λ'(z)為常數(shù),再結(jié)合λ'(z-c) ≡-λ'(z),于是最終可得λ'(z) ≡0.這意味著G(z)是一個常數(shù),再由式(8),可得G=±1,矛盾.因此f(z) ≡f(z+c)或f(z) ≡-f(z+c).

綜上,定理證畢.