凸函数Steiner对称化的一个等价特征

函数Steiner对称化的经典定义是根据函数水平集的Steiner对称化以及函数的分层表示定义的.给出了强制凸函数Steiner对称化的一个解析表达式,它是经典Steiner对称化的一个等价特征.这个新的定义不依赖于函数水平集的Steiner对称化,而是将定义转化为一维的类似抛物线函数的Steiner对称化,这更有助于函数不等式的证明.函数的Blaschke-Santalo不等式是一个重要的函数形式的仿射等周不等式,它的几何背景是凸体的BlaschkeSantalo不等式.首先利用Steiner对称化的新的定义,证明了对于任意的强制凸函数经过一次Steiner对称化后积分值变小了;然后利用Prekopa-Leindler不等式证明了径向函数的Blaschke-Santalo不等式.由于任何凸函数经过不断的Steiner对称化总可以在Lp范数意义下收敛于它的对称递减重排,而对称递减重排即为径向函数,因此证明了函数形式的Blaschke-Santalo不等式.