凸函数的性质及应用

(整期优先)网络出版时间:2020-10-19
/ 1

凸函数的性质及应用

冶义哈

云南省开远市开远市第一中学 661600

摘要:函数是数学中最重要的基本概念,也是数学分析的重点研究对象。而凸函数则是其中重要的一类。本文主要是研究几类凸函数的性质与应用。探讨拟凸函数、严格拟凸函数及强拟凸函数的定义、性质以及这三类函数之间相互转换的充分必要条件,也讨论拟凸函数的连续性和可微性。同时也对强伪凸函数性质进行研究,得到一些有意义的结论。

关键词:凸函数 性质 应用

1.凸函数的概念与等价定义

1.1凸函数的概念

人们常用凸与凹来反映曲线的弯曲方向。这种从几何直观给出的关于曲线凸(凹)的概念反映在数学上就是表达该曲线的凸(凹)性概念。

定义1.1.1([1])设5f8d547f721ac_html_d5744304db29f0eb.gif 是定义在区间5f8d547f721ac_html_1dbd77afff8b6fb2.gif 上的函数,若对5f8d547f721ac_html_d64f2bc74bbb5d5.gif 上的任意两点5f8d547f721ac_html_1dff27c71d11c389.gif ,5f8d547f721ac_html_7df683b0f417e086.gif ,常有5f8d547f721ac_html_f92eccce4966c7a7.gif ,则称5f8d547f721ac_html_687c94d1de9859e4.gif5f8d547f721ac_html_6dd09a43dc866726.gif 上的凸函数。

定义1.1.2([2])若在定义5f8d547f721ac_html_96e88e8995f2c048.gif 上成立不等式(5f8d547f721ac_html_e259244b03e575d5.gif5f8d547f721ac_html_22f7062b3befeeff.gif

5f8d547f721ac_html_6764e8f0dbc5749b.gif5f8d547f721ac_html_7c8822961aa47c1e.gif5f8d547f721ac_html_22532bb4796b32b8.gif ,则称5f8d547f721ac_html_e8bbadf45b94b29c.gif5f8d547f721ac_html_6d3a41e9d2fa7326.gif 上严格的凸函数。

1.2凸函数的等价定义

定义1.2.1设5f8d547f721ac_html_c39c6a18d94703cb.gif 在区间5f8d547f721ac_html_f8398653a3d680ed.gif 上有定义,5f8d547f721ac_html_13187ef5367ffb50.gif5f8d547f721ac_html_2003a40551bb9f4d.gif 上成为凸函数当且仅当对任意5f8d547f721ac_html_fdaf65c87f2dfc88.gif ,5f8d547f721ac_html_bafd64c7aeb1b73e.gif5f8d547f721ac_html_c304ddc1cdfc41cd.gif ,任意5f8d547f721ac_html_1fa718a67a0e39a6.gif ∈(0,1)有5f8d547f721ac_html_e013a9a0b33fcbbd.gif

若不等号反向,则称5f8d547f721ac_html_dbb52ee93d89aeef.gif5f8d547f721ac_html_ed9ae6e76d5624d1.gif 上的凹函数。

若“≤”改为“<”,则称5f8d547f721ac_html_235ab47074035998.gif5f8d547f721ac_html_57fb4bc2ad8390cd.gif 上的严格凸函数。

2.凸函数的简单性质

在本节中,来叙述关于凸函数的一些常用的简单的性质。

定理2.1([4])设5f8d547f721ac_html_933a9498be26019e.gif 在区间I上为凸函数,对任意5f8d547f721ac_html_323d47c86a6f77b8.gif ,则:

5f8d547f721ac_html_1a42054d7b50a21a.gif 时,5f8d547f721ac_html_ace2444bc1bc2573.gif 在区间上为凸函数,5f8d547f721ac_html_98abf0c129374771.gif 时,5f8d547f721ac_html_80689972b04cf591.gif 在区间上为凹函数。

定理2.2([5])设5f8d547f721ac_html_762d7b2d0e69b75.gif5f8d547f721ac_html_74ff1b2b2fd260.gif 是间I上的凸函数,则其和5f8d547f721ac_html_f4265acb95dbe921.gif 也是I上的凸函数。

定理2.3([6])若设5f8d547f721ac_html_762d7b2d0e69b75.gif5f8d547f721ac_html_74ff1b2b2fd260.gif 是间I上的凸函数,则5f8d547f721ac_html_7fb65962e6f5421f.gif 为I上的凸函数

定理2.4([7])设5f8d547f721ac_html_1222d3ac2e90e916.gif 是单调递增的凸函数,u=f(x)是凸函数,则复合函数5f8d547f721ac_html_f34a35e9f85b8cff.gif 也是凸函数

定理2.5设5f8d547f721ac_html_7d5efdf813b24a8e.gif 为区间I上的凹函数,5f8d547f721ac_html_ac0bdcbaeac41f58.gif ,则5f8d547f721ac_html_c0dec4f0130c9bc5.gif 为区间I上的凸函数,反之不真。

3.凸函数的判定定理

利用凸函数的定义判别函数5f8d547f721ac_html_f10350b24191eda6.gif 是否为凸函数,常常并不方便。因此需要建立一系列的便于应用的判别方法。

定理3.1若函数5f8d547f721ac_html_f10350b24191eda6.gif 是区间5f8d547f721ac_html_d430ac2472507c39.gif 上的递增可积函数,则变动上限积分所定义的函数5f8d547f721ac_html_2957b6655204a7e1.gif5f8d547f721ac_html_d430ac2472507c39.gif 上的一个凸函数。

定理3.2若5f8d547f721ac_html_181e5bad6316961e.gif 在间5f8d547f721ac_html_c120b98b2249f4c9.gif 上存在,则5f8d547f721ac_html_cca9183d2b009a9b.gif5f8d547f721ac_html_c120b98b2249f4c9.gif 上成为凸函数的充分必要条件是:在5f8d547f721ac_html_7636337eb61a1c1e.gif5f8d547f721ac_html_549f36d175039da9.gif

4.关于凸函数的几个重要不等式

4.15f8d547f721ac_html_3a43e166e3d4d35c.gif不等式

定理4.1.1(凸函数的基本不等式)设5f8d547f721ac_html_61c9c0b84ca2f6bc.gif 是间5f8d547f721ac_html_fcb8f54cf2138819.gif 上的凸函数,则对5f8d547f721ac_html_fcb8f54cf2138819.gif 中任意5f8d547f721ac_html_4b616f8265a9f287.gif 个数5f8d547f721ac_html_e120840adc71418f.gif 成立不等式5f8d547f721ac_html_56499196817f8d35.gif ,当仅当5f8d547f721ac_html_3edd181acd5b855b.gif 时等号。

定理4.1.2([8])(5f8d547f721ac_html_3a43e166e3d4d35c.gif积分不等式)若5f8d547f721ac_html_61c9c0b84ca2f6bc.gif5f8d547f721ac_html_fcb8f54cf2138819.gif 上的连续凸函数,而5f8d547f721ac_html_49d3728da259ed8d.gif5f8d547f721ac_html_93805c6a2a5f50d8.gif5f8d547f721ac_html_e3f6cf0d6a2f2d98.gif 上的连续函数,5f8d547f721ac_html_fe6e36debe53ab51.gif ,则成立

5f8d547f721ac_html_e1827cd61430ff4a.gif

4.25f8d547f721ac_html_e4b5db23cd32f583.gif不等式

定理4.2.1([9])5f8d547f721ac_html_e4b5db23cd32f583.gif不等式)设5f8d547f721ac_html_21f2362d3ef1d090.gif5f8d547f721ac_html_7c4e4931ed2af890.gif 上的连续凸函数,则5f8d547f721ac_html_9e7480c6d7e3eb78.gif .

5凸函数的应用

5.1凸函数在证明不等式中的应用

在许多证明题中,我们常常遇到一些不等式的证明,其中有一类不等式利用凸函数的性质来证明可以非常简洁、巧妙。证明不等式是凸函数的一个重要应用领域,但关键是构造能够解决问题的凸函数。

5.2一般凸函数和凸集

定理5.2.1集合5f8d547f721ac_html_79349590bc304f2f.gif 为凸集的充分必要条件是5f8d547f721ac_html_cfd21bee8ca9b959.gif ,及任意数5f8d547f721ac_html_1087140c3c419493.gif5f8d547f721ac_html_cd3dbdb576c66b75.gif .设函数5f8d547f721ac_html_1976ace96b0bc699.gif 定义在凸集5f8d547f721ac_html_2a3c6736dd3aeaa6.gif 上,其中,5f8d547f721ac_html_b961afff8284fc99.gif

5.3广义凸函数求极小的问题

定理5.3.1([12])设5f8d547f721ac_html_f197a2673519b5e6.gif 为凸集,5f8d547f721ac_html_8bb7b330a004d61b.gif 为强拟凸函数,若如下规划问题存在最优解:5f8d547f721ac_html_f7601c930286d48a.gif ,则5f8d547f721ac_html_96da30253b98f48a.gif 的最优解必唯一。

定理5.3.2([13])设5f8d547f721ac_html_f197a2673519b5e6.gif 为凸集,5f8d547f721ac_html_8bb7b330a004d61b.gif 为拟凸函数,则问题

5f8d547f721ac_html_f7601c930286d48a.gif 的最优解集合为凸集。

5.4广义凸函数求极大的问题

考虑5f8d547f721ac_html_8d5abaf697d7bbb.gif5f8d547f721ac_html_89d925863eeeddc5.gif 为闭凸集,而5f8d547f721ac_html_3efc53b9e04fd965.gif 为广义凸函数。

定理5.4.1([14])设5f8d547f721ac_html_f197a2673519b5e6.gif 为闭凸集,5f8d547f721ac_html_8bb7b330a004d61b.gif 为连续的严格拟凸函数,则规划问题5f8d547f721ac_html_8d5abaf697d7bbb.gif 的最优解一定在5f8d547f721ac_html_8ddf23cb65f3c984.gif 的边界上达到,除非5f8d547f721ac_html_43c59bfb55fd1d98.gif5f8d547f721ac_html_8ddf23cb65f3c984.gif 上为常数。

定理5.4.2设5f8d547f721ac_html_8bb7b330a004d61b.gif 为连续的严格拟凸函数,并约束集合

5f8d547f721ac_html_ee3a69c4aa1d096c.gif ,若规划问题5f8d547f721ac_html_ffa7fc8b65751aa7.gif 的最优解存在,则5f8d547f721ac_html_f01f559ce860ee43.gif 的最优解可以在5f8d547f721ac_html_7c26bfa0cc24575c.gif 的顶点达到。

参考文献

[1]裴礼文,数学分析中的典型问题和方法[M],北京:高等教育出版社,1993.5.

[2]刘玉链,数学分析讲义,北京:高等教育出版社,2003.7.