论广泛平均值和双变量同构凸函数.pdfVIP

论广泛平均值和双变量同构凸函数 刘 渊 星科金朋有限公司 E-mail: temmyliu@ 摘 要：本文将凸函数、几何凸函数、平方凸函数等理论统一为双变量同构凸函数理论，给 出了其统一的微分判别法则（定理 6 ）及其满足的相应的詹森型不等式（定理 8 ），引入了 平面双同构坐标系来解释其几何意义，并把双变量同构凸函数推广到高维的情形。本文还给 出了不同类型的广泛平均值间不等关系的两套判定法则，并讨论了函数的四类广泛平均值。 关键词：加权广泛平均值、平面双同构直角坐标系、双变量同构凸函数、n维全变量同构凸 函数、函数的广泛平均值。 MR(2000) 主题分类：26A51 0 引言 几何凸函数是一种和凸函数有着同构或共轭关系的函数，由于其特殊的性质而成为发现 和证明新型不等式的强有力和关键性工具。“几何凸函数理论”由波兰数学家 J. Matkowski 在 1992 年首先提出，近年来有关几何凸函数的研究发展很快，并提出了和几何凸函数平行 的“平方凸函数”、“调和凸函数”等“幂平均凸函数理论”。笔者发现，在把常见的各种 “平均数”统一成“广泛平均值”理论，并引入一种称为“双变量同构函数”的工具后，所 有的一元实变的凸函数、几何凸函数、平方凸函数、调和凸函数等幂平均凸函数理论都可以 统一上升为一种称为“双变量同构凸函数”的理论，它们的几何意义也都可以在一种特殊的 坐标系：“平面双同构直角坐标系”中得到直观解释。任意两个严格单调连续函数的排列都 对应相应型态的双变量同构凸函数，它们具有基于以广泛平均值推广的詹森（Jensen ）型不 等式的统一定义和统一的微分判别法则，也包含了与幂平均凸函数有所不同的“异映射双变 量同构凸函数”类型。在揭示了广泛平均值和双变量同构凸函数的联系后，不同类型的广泛 平均值之间的不等关系判别便可以系统化和公式化地进行。双变量同构凸函数也可以推广成 为高维上广义的“多元全变量同构凸函数”，并衍生出若干“n 维 n 同构”问题。 除凸函数方面以外，双变量同构函数也可以有其它运用，例如由它可以直接引出“函数 的双变量同构平均值”以及作为它的子型态的四种“函数的广泛平均值”，函数的广泛平均 值可以用来统一函数的几何平均值、函数的幂积分平均值等特殊平均值，而由函数的四类广 泛平均值又可以导出大量不同型态的常数的平均值和中值。常数的广泛平均值和函数的广泛 平均值统称为“广泛平均值”。 1 加权广泛平均值 1.1 定义 定义(1) 设 n （n ≥2）个实数x ，x ，… ，x 在严格单调函数 g(x) 的定义域D 内，g(x) 1 2 n - 1 - 的值域为M ，在M 上 g(x)有反函数 g-1(x) 。有n 个正数f ，f ，…，f ；N=f +f +…+f 。若 1 2 n 1 2 n 1 n −1 ⎡ 1 n ⎤ f ⋅g (x ) ∈M 则g f ⋅g (x ) 称为这 n 个数 x ，x ，… ，x 在绝对权数（频 ∑ i i ⎢ ∑ i i ⎥ 1 2 n N i 1 ⎣N i 1 ⎦ 数）分别为f 1