洪 勇,赵 茜
(1.广州华商学院 应用数学系,广州 511300;2.广东财经大学 统计与数学学院,广州 510320)
设r≠0,α∈,
(1)
称为半离散Hilbert型逆向不等式,M称为常数因子.
Hilbert型不等式对于研究加权赋范序列空间和加权Lebesgue空间的算子问题有重要作用,目前已取得了许多研究成果[1-14],但对Hilbert型逆向不等式的研究文献报道较少[15-17],特别是对其构造条件的探讨不多,本文在文献[18]讨论Hilbert型积分不等式构造条件的基础上,讨论半离散Hilbert型逆向不等式的构造条件和最佳常数因子的计算问题.
设G(u,v)是λ阶齐次非负函数,K(n,x)=G(nλ1,xλ2)称为广义齐次核,K(n,x)具有如下性质: 若t>0,则
K(tn,x)=tλλ1K(n,t-λ1/λ2x),K(n,tx)=tλλ2K(t-λ2/λ1n,x).
特别地,有K(t,1)=tλλ1K(1,t-λ1/λ2),K(1,t)=tλλ2K(t-λ2/λ1,1).
引理1设1/p+1/q=1(0
0,G(u,v)是λ阶齐次非负函数,K(n,x)=G(nλ1,xλ2),α,β∈,K(t,1)t-(α+1)/p在(0,+∞)上递减,则
证明: 根据广义齐次核K(n,x)的性质,有
又因为K(t,1)t-(α+1)/p在(0,+∞)上递减,故有
引理2设1/p+1/q=1(0
当且仅当an=C1(常数)和f(x)=C2(常数)时,式(2)取等号.
证明: 因为1/p+1/q=1(0
(3)
当且仅当an=C1(常数)时,式(3)取等号.
又根据积分型Hölder逆向不等式和式(3),有
根据式(3)和式(4)取等号的条件可知,当且仅当an=C1和f(x)=C2时,式(2)取等号.
(5)
从而有
因为K(t,1)t-(α+1)/p在(0,+∞)上递减,故有
于是可得
(6)
令
从而可视ε为一个趋于0的正项数列{ck},利用Lebesgue控制收敛定理,得
进而在式(6)中令ε→0+,得
(7)
矛盾.故cλ2>0不成立.
若cλ2<0,则对充分小的ε>0,取an=n(-α-1-|λ1|ε)/p(n=1,2…),
从而有
并有
从而可得
令ε→0+,同理可得矛盾的式(7),因而cλ2<0也不成立.
设K(n,x)≥0,定义以K(n,x)为核的离散算子T1和积分算子T2分别为
(8)
于是由定理1,可得如下等价结果.
(9)
(10)
在定理2中取α=β=0,可得如下推论.
(11)
‖T2(f)‖q≥M‖f‖q,f(x)∈Lq(0,+∞);
(12)
在定理2中取λ1=λ2=1,可得齐次核算子的如下推论.
(13)
则
证明: 令G(u,v)=exp{-c(u/v)b},则G(u,v)是λ=0阶齐次非负函数,
又记K(n,x)=G(nλ1,xλ2)=exp{-c(nλ1/xλ2)b},因为c>0,b>0,λ1>0,α≥-1,故K(t,1)t-(α+1)/p=exp{-ctλ1b}t-(α+1)/p在(0,+∞)上递减.
同理,可得
综上并根据定理2知推论3成立.证毕.