1. 引言
令
,
是
中的
个点,这些点的凸包称为单纯形 [1] 。用
表示它的k维体积。令
,则
. (1)
令
是原点o,可得
. (2)
令
是严格单调的,关于凸体的随机单纯形体积不等式 [2] :
当
时,等号成立的充要条件是
;当
时,等号成立的充要条件是K是椭球。其中
.
接下来定义对数凹函数的随机单纯形体积不等式,令
是严格单调的,
是对数凹函数以及
是f的水平集 [3] 。定义下面这个积分
, (3)
其中
是
的体积微元,o是原点。因此就得到
. (4)
定义积分
, (5)
. (6)
本文主要证明以下定理:
定理1 令
是对数凹函数,则
,
是凸体。
是f的对称递减重排 [4] ,则
,
如果
是严格递增的。如果
是严格递减的,则这个不等式的逆向成立。当
时,当且仅当
时,等号成立。当
,等号成立的充要条件是
,
。
定理2 令
是对数凹函数,则
,
是凸体。
是f的对称递减重排,则
,
如果
是严格递增的。如果
是严格递减的,则这个不等式的逆向成立。当
时,当且仅当
时,等号成立。当
,等号成立的充要条件是
,
。
2. 预备知识
定义n维欧氏空间
,令K是
中的凸体。令u是单位向量,
是u的正交补空间,把K上的所有与u平行的弦平移,使得这些弦的中点落在
上,所得到的凸体就是K关于u的Steiner对称化
[5] 。经过一次Steiner对称,凸体K的体积不变,即
。凸体K经过一系列的Steiner对称,在Hausdorff度量下收敛到一个与K同体积的、中心在原点的球。
当一个非负函数的对数为凹函数时,这个函数称为对数凹函数 [6] 。定义对数凹函数
,
其中
是凸的且
。显然
。
定义对数凹函数的水平集
,
那么
是凸的。
令
是
的特征函数,
对于
,我们通过对f的水平集做Steiner对称化来定义关于f的对称递减重排
,即
,
其中
是中心在原点的与
同体积的球 [7] 。
定义函数f关于u的Steiner对称
[8] :
.
由一连续序列
生成的Steiner对称
,
在
度量下收敛到
。
3. 定理证明
引理1 [9] Anderson’s不等式 令K是
中的一个关于原点对称的凸体,令H是
中的一个偶的、非负的、单峰可积的函数,则对于
,有
.(7)
引理2 [2] 令K是
中的一个关于原点对称的凸体,令I是
中的一个偶的、可积的函数并且I的水平集
对所有
是凸的。则对于
有
. (8)
若I是
中的一个偶的、可积的函数使得
对所有
是凸的,则这个不等式的逆向成立。
证 令
,
,
因此函数
是非负的,且它的水平集是凸的。
由引理1可得,对于
,
成立。因此
.
当
时得到(8)式。若
对所有
是凸的,则对于
,令
,
那么函数
是非负的,且它的水平集是凸的。和上面的证明类似,对于
有
.
当
得
.□
定理1的证明 假设
是严格增的,首先证明对于在任意方向u上的Steiner对称
,有
(9)
成立。选择
中的一个坐标系使得u是
轴。对于
,令
,定义
在
上的投影
。穿过
且平行于u的直线,与
相交的部分是线段,线段的长度记为
,线段的中点记为
。则
就等价于
且
。令
,
。令
,
,那么条件
也可以写作
。令
,
那么有
.
由(2)式可知,
是一个关于z的偶的凸函数。因为
是严格增的,g是一个偶函数且水平集
是凸的。由引理2知,
.
,
即
不等式(9)成立,再由(4)式可知
.
通过函数的Steiner对称,我们知道通过一序列的Steiner对称,
,就有
,因此
。 □
定理2的证明 假设
是严格增的,首先证明对于在任意方向u上的Steiner对称
,有
(10)
成立。选择
中的一个坐标系使得u是
轴。对于
,令
,定义
在
上的投影
。穿过
且平行于u的直线,与
相交的部分是线段,线段的长度记为
,线段的中点记为
。则
就等价于
且
。令
,
。令
,
,那么条件
也可以写作
。令
,
那么有
.
由(1)式可知,
是一个关于z的偶的凸函数。因为
是严格增的,
是一个偶函数且水平集
是凸的。由引理2知,
.
,
即
不等式(10)成立,再由(6)式可知
.
通过函数的Steiner对称,我们知道通过一序列的Steiner对称,
,就有
,因此
。 □
4. 总结
通过对函数做对称递减重排和Steiner对称,证明了函数上的随机单纯形体积不等式,当
时,等号成立的充要条件是函数f与它的对称递减重排
相等;当
时,等号成立的充要条件是
,
。函数的随机单纯形体积不等式在某种意义下对研究函数几何化有着积极作用。
致谢
在这里诚挚地感谢我的导师蔺友江教授,在写论文的过程中,得到了蔺老师很多指导和帮助。在此向蔺老师致以诚挚的谢意。
基金项目
国家自然科学基金(11971080);重庆市教委基金项目(KJQN202000838);重庆市自然科学基金项目(cstc2018jcyjAX0790, cstc2020jcyj-msxmX0328);重庆工商大学研究生创新型科研项目(yjscxx2022-112-72)。