关于设fx的刻画.docxVIP

关于设fx的刻画

f（x）是[a，b]的可导函数，g（x）是[a，b]的可积函数。引入以下标记：。

A(f,g;a,b)=f(a)∫balnb-lnx(b-a)(lnb-lna)g(x)dx+f(b)∫balnx-lna(b-a)(lnb-lna)g(x)dx-1b-a∫baf(x)g(x)dxA(f;a,b)=(1lnb-lna-ab-a)f(a)+(bb-a-1lnb-lna)f(b)-1b-a∫baf(x)dx(1)

当g(x)≡1时,A(f,g;a,b)=A(f;a,b)。

定义1设h(x)是定义在[a,b]?(0,+∞)上的函数,如果存在正数M,使得对于任意x,y∈[a,b],都有|h(y)-h(x)|≤Μ|y-x|,则称h(x)在[a,b]上满足M-Lipschitz条件。

文献给出了GA-下凸函数的Hadamard型不等式,由此得知当g(x)≡1时,A(f,g;a,b)≥0。引理1是这个结论的加权推广。

引理1设f(x)是定义在[a,b]?(0,∞)上的GA-下凸函数,g(x)是[a,b]上的正的可积函数,则有

A(f,g;a,b)≥0

证明由GA-凸函数的定义得

f(x)=f(alnb-lnxlnb-lnablnx-lnalnb-lna)≤lnb-lnxlnb-lnaf(a)+lnx-lnalnb-lnaf(b)

上式乘以g(x),然后在[a,b]上对x积分