统计学文献翻译.docVIP

凸的超二次函数的平均不等式 摘要 我们认为平均值和.如果是凸函数，则随递增和随递减.对于类称为超二次函数，给出一个下限为连续分歧,在这些序列，在一个凸函数值的组合形式中，在任何情况下在至少有.在这个过程中，是 所取代和是所取代.在不等式的推导过程中涉及到和. 关键字 不等式 平均值 凸函数 超二次 单调性 1 引言 对于一个函数,定义 , （1.1） 和 , （1.2） 在[0，1]等距点的平均价值，分别排除和包括在终点.[2]研究结果表明，如果是凸的，则 随着n的增加而增加，及递减.典型应用中，通过采取满足函数 ，是随n递减.（这个增强了结果是逐渐递减的[6]）.类似的结果，包括一个终点可以得出的平均数，已独立出现在[5]和[4]. 在这篇文章中，我们推广了[2]在两方面定理.第一，我们提出一类函数的一个非零下限可用于给定的差异和.知道一个凸函数满足 , 对于所有.当（或者如果在的取值范围内都是不可微的）.在文献[1]中，作者介绍了超二次函数类，定义如下.一个函数，在一个区间，是“超二次”如果对于中的每一个，都存在一个真正的数，使得 , 对于所有的.对于非负函数，这相当于是在指定的意义“比凸更多”.当这个词是因为是超二次选择.当时拥有平等的定义.在第二节中，我们应记录有关超二次函数的一些基本原理.特别是，他们满足了Jensen’s的不等式的形式总结的改良版和插入的额外条款. 超二次函数，下界所述的差异，得到的f的某些价值观的凸组合形式. 由简易的Jensen不等式知，它们可以被改写的形式.其中S是另一种凸组合.这些估计数保持在平等的情况下.由一对不平等的进一步应用，我们证明了S为不少于.或者.那里.这简化了我们的估计到只有两个功能价值的总和，但不再保留在的情况下平等. 然后我们在其中是目前所取代和是由取代的广义版本.在适当的条件下对序列.我们证明了广义是单调的凸或凹单调性.这些定理推广和统一[4]，而作为其出发点一端点的平均数.同时，以前的下限为超二次函数估计推广到这种情况. 在每一个阶段有系统的对偶结果，但在它的细节足够的差异是必要的，以目前的证据最分开. 我们完成我们的研究结果与一些应用和产品.例如，如果，则当时随n递减，当时随n递增.此外当随n递减时.SQ的“超二次”的定义给予了介绍. 2 超二次函数 SQ的“超二次”的定义给予了介绍.我们说，如果是超二次则是次二次的. 首先，即时评论.对于.同相等.此外，定义，力b，从中可以得出一个可以任意取为0.如果是可微和满足，然后可得知的定义为. 该定义允许一些不常见的功能.例如，任何函数是满意的超二次.但是，对于当前的目的，我们真正在意的是在非负超二次函数.下面的引理显示了这些功能是一样. 引理2.1 假设是超二次和非负函数.那么是凸增加函数.此外，如果是在（SQ），则. 证明 如[1，引理2.2]所示的凸函数，连同和.这意味着f是递增的.如上所述，我们可以取,当和时，我们可以将SQ写作如下形式： , 下一个引理（主要引理3.2的[1]）给出了一个简单的充分条件.我们包括对证据的完整性素描. 引理2.2 如果和是凸的.则是超二次（或者次二次）. 证明 首先，是凸的且，我们对于有.因此（也就是说，的是超二次函数）.现在令，则 , 同样满足. 因此当和时是超二次.（这也很容易看出且时是次二次）.超二次函数的其他例子，和 , 引理2.2的逆命题不成立的.在文献[1]中，它表明在超二次“规模凸”适合在[3]介绍. 简要的Jensen不等式如下.让μ是是一个概率测度集合上的.用代替. 引理2.3 设x为非负，μ-可积，并设是超二次.定义（非线性）算子T方式：.这时 , 当是次二次时，相反的不等式成立. 证明 假设是超二次.记作.则 . 其实，反过来认为：如果在引理2.3所述的所有财产两点测度空间成立，则是超二次[1，定理2.3]. 注意T是一个线性算子.引理2.3的迭代立即给予. 引理