董秋月,張 恒
(揚(yáng)州大學(xué) 數(shù)學(xué)科學(xué)學(xué)院,江蘇 揚(yáng)州 225002)
第一類廣義Bessel函數(shù)w為二階線性齊次微分方程
z2w″(z)+bzw′(z)+(cz2-a2+
a(1-b))w(z)=0
的特解,其表達(dá)式為
w(z)=wa,b,c(z)=
其中a,b,c,z∈C,且c≠0。
利用第一類廣義Bessel函數(shù),本文定義函數(shù)φa,b,c:C→C為
利用Pochhammer符號[1-3]
(1)
式中:n=1, 2,…;且(k)0=1。φa,b,c(z)可表示為
(2)
(3)
式中:k≠0,-1,-2,…,φk,c(z)在C內(nèi)解析,并且φk,c(z)滿足二階線性微分方程
(4)
特別地,φk,c(z)具有遞推關(guān)系
(5)
Al-Dhuain等[4-7]借助微分從屬的方法定義和研究了解析函數(shù)類,許多學(xué)者也證明了解析函數(shù)類的包含關(guān)系及其他性質(zhì),微分從屬被廣泛地運(yùn)用于多種解析函數(shù)類性質(zhì)的研究。由此,本文考慮與廣義Bessel函數(shù)有關(guān)的變換φk,c(z)的相應(yīng)性質(zhì)。
設(shè)A表示在開單位圓盤Δ={z:|z|<1}內(nèi)具有形式
的全體解析函數(shù)構(gòu)成的函數(shù)類。
設(shè)函數(shù)f(z)和g(z)在Δ內(nèi)解析,若存在Schwarz函數(shù)w(z),使得f(z)=g(w(z)),則稱f(z)從屬于g(z),記作f(z)g(z)。進(jìn)一步,若g(z)在Δ內(nèi)單葉,則f(z)g(z)?f(0)=g(0),f(Δ)?g(Δ)。
定義1[7-8]設(shè)Q表示在?ΔE(q)上的單葉解析函數(shù)q(z)構(gòu)成的函數(shù)類,其中
且對于ζ∈?ΔE(q), 有min|q′(ζ)|=ρ>0。
特別地,當(dāng)q(0)=a時(shí),記Q(a)=Q0。
定義2[9]設(shè)Ω?C,q(z)∈Q,n∈N{1}。 若函數(shù)ψ:C3×Δ→C滿足條件:
r=q(ζ),
s=mζq′(ζ),
引理1[10-12]設(shè)Ω?C,ψ:C3×Δ→C, 并滿足條件:當(dāng)σ≤-(1+ρ2)/2,σ+μ≤0,ρ為實(shí)時(shí),有ψ(iρ,σ,μ+iv;z)?Ω。若p(z)在Δ內(nèi)解析,p(0)=1且ψ(p(z),zp′(z),z2p″(z);z)∈Ω,則Rep(z)>0。
(6)
若A,B,k和c滿足不等式
(7)
并且(1+B)φk,c(z)≠1+A, 則有φk,c(z)∈P[A,B]
證明定義p:Δ→C:
則p(z)在Δ內(nèi)解析,且
(8)
(9)
(10)
根據(jù)式(8)—式(10),微分方程(4)可寫為
(11)
令Ω={0},定義
(12)
由式(11)得出ψ(p(z),zp′(z),z2p″(z);z)∈Ω。
下面本文證明Rep(z)>0。 根據(jù)引理1,只要證明:當(dāng)ρ為實(shí)數(shù),σ≤-(1+ρ2)/2和σ+μ≤0時(shí),有Reψ(iρ,σ,u+iv;z)<0。
設(shè)z=x+iy∈Δ,由式(12)可得
Reψ(iρ,σ,u+iv;z)=
(13)
因?yàn)?/p>
所以
從而
其中
由條件式(6)得
(14)
有Q(ρ)<0。 因?yàn)閨x|<1,|y|<1,y2<1-x2, 由式(14)可得
(15)
設(shè)R(x)=mx2+nx+r,|x|<1,其中
則當(dāng)|n|≥2|m|時(shí),有
R(x)≥m+r-|n|=
上式即為式(7)。 因此函數(shù)ψ滿足引理1的條件,從而Rep(z)>0,由此可得φk,c(z)∈P[A,B]。
定理得證。
令A(yù)=-B=1,由定理1可得以下推論。
特別地,當(dāng)k=2時(shí),zφ2,c(z)是近于凸函數(shù)。
若A,B,k和c滿足不等式
(16)
并且(1+B)φk,c(z)≠1+A, 則有φk,c(z)∈P[A,B]。
(17)
并且(1+B)φk,c(z)≠1+A, 則有φk,c(z)∈P[A,B]。
證明由假設(shè)及定理1的證明過程,可得
同時(shí),
ReΨ(iρ,σ,u+iv;z)≤
p2ρ2+q2ρ+r2=Q1(ρ)
其余證明同定理1,從略。