- 24
- 0
- 约4.02千字
- 约 6页
- 2021-03-10 发布于天津
- 举报
仅供个人参考
仅供个人参考
不得用于商业用途
不得用于商业用途
For pers onal use only in study and research; not for commercial use
第一讲:凸函数与琴生不等式
一、函数的凹凸性:
定义:设连续函数 f(x)的定义域为(a, b),如果对于(a, b)内任意两数xi, X2,都有
f (X1 X2 f(xd f(X2) ①
(2 丿 2
则称f (x)为(a, b)上的下凸函数.
注:①若把①式的不等号反向, 则称这样的f(x)为区间(a, b)上的上凸函数.(或凹函数)
②下凸函数的几何意义: 过y =f (x)曲线上的任意两点作弦, 则弦的中点必在该曲线的上
方(或曲线上).
③f (x)的二阶导数f ”(x) 一 0 ,则f (x)为下凸函数;f (x)的二阶导数f ”(x)乞0,则
f (x)为上凸函数。
常见的上凸(凹)函数,上,
常见的上凸(凹)函数,
上,
y =sin x,y = cos x,y = ln sin x,y = ln cos x
常见的(下)凸函数,b2 3 n 1
常见的(下)凸函数,
,+ ::上,y = x ,y = x ,y=x ,y= n
x
、琴生不等式性质:
若f(x)在区间I为下凸函数,则对 x「x2,…,xn ? I ,
X1 X2 Xn、... f (X1)f (X2) f (Xn)
总有f ( )二
n n
当且仅当X[ = X2 = IH = Xn时取到等号。
若f(X)在区间I为上凸函数,则对 x「x2,…,xn ? I ,
上/ X1
上/ X1 总有f (一
X2
Xn
n
f (X1) f (X2) f (Xn)
n
当且仅当X[ =X2 =丨朴=Xn时取到等号。
三、加权形式:
对任意一列a1? a2,丨1(, an ? R+, a1 + a2^||+an=1,函数f (x)是La,b 1上的凸函数,有 f (3X1+82X2+ IlbnXn) - a1 f X1 +a2f X2 +H)+anf Xn ;
对任意一列a-i, a2, ||(, a*三R+,
对任意一列a-i, a2, ||(, a*三R+, a1 + a2^0+an=1,函数f(x)是la,b]上的凹函数,有 f(aiXi+a2X2+||(anXn) 一a/ x +a?f x? + 川+a“f x* .
1
附:应用f(x) 〒,此时是下凸函数,可得倒数平方和的不等式
X
1 1 n3
——+——+…+——
2 2 2 ,
a1 a2 a* @1 a? a*)
等号成立条件
=an。
而与此对应的另一个倒数和再平方的不等式,是利用调和平均和平方平均的关系,
得到的
(丄丄
a〔 a:
—)^ — £ 2,等号成立条件
an a1 a2 an
=an。
常用不等式:
证明:
(1)
f(x)=s inx在[0,二)上是上凸函数
g(x)=lgx在(0, ?::)上是上凸函数
JT
h(x) =tan x在[0 )上是下凸函数
2
证明:(1)对 一
证明:
(1)
对 一x,x2 [0,二)
对 一x“ X2 [0,+::)
对 一x“ X2 [0,+::)
即: gw g(x2) X1 X2)
2 2
当 0 _X1,X2 时
2
一 2sin X2)去n7 (?.?
cos(x +x2)+1 2
即: h(xj h(X2)_班捲 X2)
_ 2 .
sin、一
1 cos:
ot、
=tan )
2
设A、
设A、
B、C是锐角 ABC的三个内角,求证:
cos A cosB cosC
a, b,c R,且 a + b + c = 3,求证: 8a 1 ::; J8b 1 8c 1 _ 9 .
证明:设f (x) = 8x 1,贝U f (x)为(0,+::)上的凹函数.
由琴生:
1 a亠b亠c
严 f(b) 5 3
f(a) f(b) f (c) _9 .
例4 设A、B、C是 ABC的三个内角,■是非负常数,求
\o Current Document B C C Atan
\o Current Document B C C A
tan — ta n ■ tan — ta n —
\o Current Document 2 2 2 2
+ n^Atan*B +九 的最大值。
\o Current Document V 2 2
例5 用琴生不等式证明均值不等式 代_Gn,即:a「R,则ai a2 an _ n a1a^|an .
证:t ai R
设f(x)=lgx,则f(x)为(0,::)上的上凸函数
由琴生不等式:
即n丽丽/ Pjl an
例6 已知,x 0,(i “,2,川,n), n— 2
原创力文档

文档评论(0)