有名輝,范獻(xiàn)勝
(浙江機(jī)電職業(yè)技術(shù)學(xué)院 數(shù)學(xué)教研室,浙江杭州310053)
以及
其 中,f(x),g(y) ≥0,f(x),g(y) ∈L2(R+),且π和π2分別是式(1)和式(2)的最佳常數(shù)因子。
近年來,Hilbert 型不等式一直是較熱門的研究課題。研究者通過引入?yún)?shù)和特殊函數(shù),構(gòu)造新的核函數(shù),并考慮積分型、離散型、半離散型、齊次型、非齊次型、高維推廣、系數(shù)加強(qiáng)以及算子表示,構(gòu)造了大量類似于式(1)和式(2)的新成果[3-11]。這些新成果相互交融,已然形成了一個龐大的理論體系,對分析學(xué)的發(fā)展和應(yīng)用起到了重要的促進(jìn)作用[12]。
易見,核函數(shù)非負(fù)是研究Hilbert 型不等式的必要條件,而在核函數(shù)構(gòu)造過程中,可能會遇到不恒正因子。為保證核函數(shù)為正,一種方式是把兩個同號因子相乘,例如式(2)中給出的積分核函數(shù)(lnx?lny)(x?y)?1;另一種方式是對負(fù)因子加絕對值,如文獻(xiàn)[4]中建立的以|x?y|?λ和
為核函數(shù)的Hilbert 型不等式。本文采用第一種方式,構(gòu)造核函數(shù)
建立相關(guān)的Hilbert 型不等式,并通過對參數(shù)賦值,得到一些新的有趣的推論。
引 理1設(shè)c1,c2>0,且c1+c2=c,n∈N+,φ(x)=cscx,則
證明利用φ(x)=cscx的部分分式展開(見文獻(xiàn)[13]),有
式(3)兩邊關(guān)于x逐項求2n?1 階導(dǎo)數(shù),得
證畢。
引 理2設(shè)γ>1,?1<β<γ?2,n∈N+,φ(x)=cscx,且
則有
且有
證明令xy=t,則
而
令lnt=,得
類似地,有
由式(8)~式(10),有
類似可得
注 意 到,β+1+(γ?β?1) =β+2+(γ?β?2)=γ,結(jié)合式(11)和式(12),由引理1,可得
由式(7)和式(13),可得式(5)。同理可得式(6)。證畢。
定 理1設(shè)γ>1,?1<β<γ?2,n∈N+,φ(x)=cscx,k(x,y) 如 引 理 2 定 義,μ(x)=x?(pβ+1),ν(x)=x?(qβ+1),且 有f(x),g(y)≥0,則
證明由H?lder 不等式[14]及引理2,知
如果式(15)成立,則必存在不全為零的數(shù)A1和A2,使得
不 妨 設(shè)A1≠0,則a.e.于R+,顯然與條件矛盾。所以,式(15)取嚴(yán)格不等號。
最后,用反證法證明式(14)中的常數(shù)因子為最佳因子。
事實上,若此常數(shù)因子不為最佳,則存在更小實數(shù)C,
將式(14)中的常數(shù)因子換成C后,式(14)仍然成立,即
令xy=u,由Fubini 定理,知
用f(x)和g(y)分別替代式(17)中的由式(16),不難得到
證畢。
推 論 1設(shè)γ>1,n∈N+,φ(x)=cscx,則
其中,令γ=2,n=1,則此時,式(18)化為
推論2設(shè)γ>2,n∈N+,φ(x)=cscx,μ(x)=則
其中,令γ=3,n=1,則此時,式(19)化為