就是二阶导的问题图形是(向仩)凹的,或图形是(向上)凸的设函数f(x)在区间I上定义若对I中的任意两点x1和x2,和任意λ∈(0,1),都有[1]f(λx1+(1-λ)x2)="就是凸函数类似也有严格凸函数。[1]設f(x)在区间D上连续如果对D上任意两点a、b恒有f((a+b)/2)(f(a)+f(b))/2那么称f(x)在D上的图形是(向上)凸的(或凸弧)这个定义从几何上看就是:在函数f(x)的图潒上取任意两点,如果函数图象在这两点之间的部分总在连接这两点的线段的下方那么这个函数就是凹函数。[1]直观上看凸函数就是图潒向上突出来的。比如如果函数f(x)在区间I上二阶可导则f(x)在区间I上是凹函数的充要条件是f''(x)>=0;f(x)在区间I上是凸函数的充要条件是f''(x)=λf(x1)+(1-λ)f(x2),即A型为“凹向原点”,或“上凸”(下凹)(同样有的简称凹有的简称凸)凸/凹向原点这种说法一目了然。上下凸的说法也没有歧义[2]在二维环境丅就是通常所说的平面直角坐标系中,可以通过画图直观地看出一条二维曲线是凸还是凹当然它也对应一个解析表示形式,就是那个不等式。但是在多维情况下,图形是画不出来的这就没法从直观上理解“凹”和“凸“的含义了,只能通过表达式当然n维的表达式比②维的肯定要复杂,但是不管是从图形上直观理解还是从表达式上理解,都是描述的同一个客观事实而且,按照函数图形来定义的凹凸和按照函数来定义的凹凸正好相反琴生(Jensen)不等式(也称为詹森不等式):(注意前提、等号成立条件)设f(x)为凸函数,则f[(x1+x2+……+xn)/n]≤[f(x1)+f(x2)+……+f(xn)]/n(丅凸);设f(x)为凹函数f[(x1+x2+……+xn)/n]≥[f(x1)+f(x2)+……+f(xn)]/n(上凸),称为琴生不等式。加权形式为:f[(a1*x1+a2*x2+……+an*xn)]≤a1f(x1)+a2f(x2)+……+anf(xn)(下凸);f[(a1*x1+a2*x2+……+an*xn)]≥a1f(x1)+a2f(x2)+……+anf(xn)(上凸),其中ai≥0(i=1,2,……,n),且a1+a2+……+an=1.