劉 瓊

(邵陽學(xué)院 理學(xué)院, 湖南 邵陽 422000)

0 引 言

(1)

這里常數(shù)因子π是最佳值. 不等式(1)在分析學(xué)及偏微分方程理論中應(yīng)用廣泛[1-2]. 目前, 關(guān)于Hilbert型積分不等式及其推廣的研究已取得許多成果[3-13]. 楊必成[14]給出了一個(gè)新的具有指數(shù)函數(shù)核的Hilbert型積分不等式:

(2)

1 預(yù)備知識

下面參考文獻(xiàn)[15], 給出一些特殊函數(shù)的定義.

1) 設(shè)復(fù)數(shù)s的實(shí)部Re(s)>0, Gamma函數(shù)Γ(s)和不完全Gamma函數(shù)Γ(s,α)分別定義為

(3)

(4)

2) 設(shè)u,v>0, Beta函數(shù)B(u,v)定義為

(5)

3) 設(shè)α,β,z>0, 合流超幾何函數(shù)(又稱Kummer函數(shù))1F1(α,β,z)定義為

(6)

這里

由式(6), 當(dāng)0<λ<4-μ時(shí), 有

(7)

4) Whittaker函數(shù)M(k,m,z)定義為

(8)

由式(7),(8), 有

(9)

設(shè)0<λ<2-μ, 由式(5),(9), 可得

設(shè)0<λ<2-3μ, 令λt=u, 由式(4), 可得

(11)

則

ω(λ,μ,x)=ω(λ,μ,y)=C(λ,μ),

其中

(12)

證明: 令xy=t, 由式(10),(11), 可得

類似可得ω(λ,μ,y)=C(λ,μ).

則有

證明: 易得

2 主要結(jié)果及應(yīng)用

則有

這里常數(shù)因子C(λ,μ)(同式(12))是最佳值.

證明: 由帶權(quán)H?lder不等式[17]和引理1, 有

如果式(16)中等號成立, 則存在不全為零的常數(shù)A和B, 使得

在(0,∞)×(0,∞)內(nèi)幾乎處處成立, 于是存在常數(shù)C≠0, 使得

Axp(λ+μ)/2fp(x)=Byq(λ+μ)/2gq(y)=C

C(λ,μ)(1-o(1))

令ε→0+, 得K≥C(λ,μ), 與K

定理2在與定理1相同的條件下, 有

(17)

這里常數(shù)因子Cp(λ,μ)是最佳值, 且不等式(17)和不等式(15)等價(jià).

設(shè)

則當(dāng)n≥n0時(shí), 由式(15), 可得

由式(18)有

令n→∞, 即有

表明應(yīng)用式(15),(18),(19)取嚴(yán)格不等式號的條件均滿足, 因此不等式(17)成立.

另一方面, 設(shè)式(17)成立, 由H?lder’s不等式, 有

圖1 λ,μ的取值范圍Fig.1 Value range of λ and μ

即式(15)成立, 所以式(17)與式(15)等價(jià).

如果式(17)的常數(shù)因子不是最佳值, 則由式(17)可知, 式(15)的常數(shù)因子也不是最佳值, 與定理1的結(jié)論矛盾, 所以式(17)的常數(shù)因子Cp(λ,μ)是最佳值. 證畢.

下面給出簡單應(yīng)用. 在式(15),(17)中選取一些合適的參數(shù)， 借助MAPLE數(shù)學(xué)軟件計(jì)算C(λ,μ)的值, 可得文獻(xiàn)中的一些結(jié)果及一些新的有意義的不等式. 參數(shù)值λ,μ的取值范圍如圖1所示.

(20)

這里常數(shù)因子π是最佳值.

(22)

例3取λ=1,μ=-1,p=q=2, 計(jì)算式(12), 有

C(1,-1)=1+e-1.

3 算子表達(dá)式

ψ1-p(y)=y(p/q)[1-q(λ+μ)/2].

定義如下賦范線性空間:

由式(17), 有

(25)

根據(jù)式(25), 算子T是有界的, 即

又因?yàn)槌?shù)因子C(λ,μ)是最佳值, 故‖T‖=C(λ,μ).

定理3由定理1和定理2, 不等式(15),(17)可表示成如下算子范數(shù)形式：