确定多元凸函数的一个充分条件.pdfVIP

维普资讯 西南民藏学院学报 ·自然科学版 第 l鲁卷第 2期 Journald S0uthw髂tHa吐∞a 瞎C。l晒弘 VoL19 № 2 1993牛 5月 (Naturals四en‘) May 1993 确定多元凸函数的一个充分条件 一 7 (酬四箬 础础钔部)(西南南意臣西 袁釉) 乙一i，f’／／ 摘 要 糟凸函数 的概念推 广到 多元 函数 ，并在有二 阶连 续偏导数 的条件 下得到 了判定 函数为 凸函敷 的· 充分杂件 ，同时证明了蕴含这个条件的一个更广泛 的不等式 · 关键词三套鲢不·等式，正定二次型 多无画钕 元笏表吁 在高等数学 中[’]。有向上凹函数的定义，这就是许多数学文献中所说的凸函数 (文 [2]中称 为严格丁凸函数)。 定义 设 ，()在(D。6)内连续 。如果对 (，6)内任意两点 ，≠ ：，恒有 ，( ) 止 那么称 ，()是 (d，6)内的凸函数 (即 ，0)在 (o )内是向上凹的)． 从图形上直溉地看 ，可微凸函数的图形上任意点的切线都在图形的下方 。即除切点外 。切 线上其它点的 值都小于函数 的值 (对应子同一 )， 对于凸函数有下列定理 定理 l 设 ，()在 。6]上连续 。在(，6)内具有一 ，二阶导数 ，且，()0，则，(z)是 (n， 6)上的凸函数． 证 设 2为(Ⅱ。a)内任二相异点，记zc=L：； ，^= I一。o，}一 一 由泰勒公式 有 ，()=，()+，()．^+ 盟 (0 1) ，(：)= ，0。)+ ( )。 + -旦 (0 1) 两式相加 ，并注意到 ，，0) 0，+ 一 0，有 ，()+，()2，(。) 即，( ) 止 ． 故 ，()是 (，＆)上的凸函数． 这里 ，0) 0是 ，()在 ( )上是凸函数的充分条件而不是必要条件． 例如函数，()=(艺一) ： 在(。。2)上是凸函数，但在=处不可导 t993年 1月6口收修政稿 龚苗杰 ，四JJI工业学院基础部(成都 611730)．讲师 ．女，d9岁 维普资讯 10 西南民族学院学报 ·自然科学版 第 19卷 (如 图 1) 圉 1 定理 1的结论容易推广为： 定理 2 设 ，()在[Ⅱ， 上连续，在(n，b)内具有一，二阶导数．且 () 0，则有 ，( ÷H )÷一[)‘-k。一)+’．．．，(、～] 其中石】， ，… 是 (n6)内任意 个点。 证 (从略) 在二元函数中有类似的结论 定义 二元函数在凸闭区域 D上连续 ，若对0内任意不同的两点 (z，)，( ．)，恒有 ，( ， ) ＆业 。 则称 ，(z，)是 区域 D上的凸函数。 和一元函数类似，过二元函数图形上任一具有切平面的点的切平面都位于这个图形的下 方-即除切点外 ．切平面上其它点的z值都小于函数的z的值(对应于同一 (，))、 定理 3 ，(￡-)在 闭区域 D上连续，在D内具有二阶连续偏导数 ，且 0，1．G一 0，则，(，)是D上的凸函数．其中 ：喜，口= ．=