关于凸凹函数定义.pdfVIP

第1卷第4期 南阳师范学院学报(自然科学版) V01．1No．4 of 20O2年8月 Joumal Scienc∞Edition)Aug．2002 N跏yallgTeachers’CoⅡege(NatlIral 关于凸凹函数的定义 王凤鸣 (南阳师范学院数学系，河南南阳473061) 摘要：比较数学分析》、高等数学课程中关于凸凹函数弦线法与切线法两种不同形式的定义，在此基础上主张一 个解析性与几何直观性兼具的折线法定义，并由此定义简洁地给出关于凸凹函数连续性及左、右导数存在性等有关结果。 关键词：凸函数；定义；不等式；等价 中圈分类号：0174．13 文献标识码：A 文章编号：1671—6132(2002)04—0016一03 凸凹函数理论在应用上越来越显重要。近年来或新编、或再版的《数学分析》、《高等数学》教科书都加 强了凸凹函数概念的介绍，丰富了函数凸凹性的内容。作为讨论问题基础的凸凹函数定义形式在各类教 科书中不尽相同，但大体上可以归结为弦线法与切线法两类。本文拟在可导条件下直接(不借其他等价命 题)证明两个定义不等式的等价性并主张一个等价的另一种定义形式。这里只讨论凸性，对于凹性只需颠 倒文中所有不等号的方向，并改变对应的叙述。 《数学分析》课程多采用分析性强的弦线法定义。 定义l 设函数．厂定义在区间，上，若对V茗l，髫2∈，，V．=I∈(O，1)，总有 ，[(1一A)菇1年’A算2]≤(1一J=I)，(髫t)+V(茗2) (1) 则称厂(算)为区间，上的凸函数。 ^ 一 ＼ J， 如图1，上述定义说到底刻划的是弦线AB与弧线A曰的＼14(j．，，(z．)) 。位置关系。点C(牙，于)的横坐标贾=(1一A)名l+池2，纵坐 卜＼ 歹) 标于=(1一|：1)，(石1)+V(髫2)分别是A、曰两点同名坐标相 ‘ ＼＼＼ 同的加权平均，因而点C必在线段A曰上。事实上由 i＼曰(x。，月zk： 夕一，(菇1) (1一A)，(菇1)+A厂(菇2)一，(髫1) ■歹 茗一菇l (1一．=L)髫l+A菇2一菇1 ＼＼ o■／l A(，(并2)一／．(菇1))，(名2)一，(菇I) 尸“卜 一 一 ’ D(i，“习) I；L(菇2一髫1) 髫l一茹l 很容易验证上面的判断。 按凸函数的定义在区间[菇。，髫：] ，o、 上(假设茗。算2)总有，(露)≤于，几何意义就是弧线A占或落 ，-、 图1 在弦线AB的下方，或两者重合。 《高等数学》课程多采用几何直观性强的切线法定义。 定义2设函数．厂在区间，上可导，如果曲线，，=．厂(算)在区间，位于其上任一点处切线的上方，那么 称曲线，，=．厂(石)在区间，上为凸的(．厂(石)为，上的凸函数)。