什么是函数的凹凸性

函数的凹凸性即对一个在某区间A上连续的函数，它的图像上凸或者上凹，则分别称为凸函数或者凹函数。而对于在某个区间内既有凹图像又有凸图像，则将凹图像所在区间称为函数的凹区间，凸图像所在区间则称为凸区间。

例如，y=ln⁡xy=\ln xy=lnx与y=x3y=x^3y=x3在(0,+∞)(0,+\infty)(0,+∞)内都单调递增，但是前者为凸函数，后者为凹函数。

凹凸性数学定义

中点定义法

随意取一个凹函数f(x)f(x)f(x)，在其图像上取两点x1,x2x_1,x_2x1,x2，发现两点连线构成的直线总在两点之间的图像的上方。而两点横坐标中点x0x_0x0的函数值f(x0)f(x_0)f(x0)显然小于x0x_0x0在直线上的点的纵坐标。

用数学语言来讲，就是对于一个在[a,b][a,b][a,b]上有连续的函数f(x)f(x)f(x)，总有x1,x2∈[a,b]x_1,x_2 \in[a,b]x1,x2∈[a,b]，使得f(x1+x22)<f(x1)+f(x2)2f(\frac{x_1+x_2}{2})<\frac{f(x_1)+f(x_2)}{2} f(2x1+x2)<2f(x1)+f(x2)
在(a,b)(a,b)(a,b)恒成立，则称该函数为凹函数

同理，凸函数的定义为：
对于一个在[a,b][a,b][a,b]上连续的函数，总有x1,x2∈[a,b]x_1,x_2 \in[a,b]x1,x2∈[a,b]，使得f(x1+x22)>f(x1)+f(x2)2f(\frac{x_1+x_2}{2})>\frac{f(x_1)+f(x_2)}{2} f(2x1+x2)>2f(x1)+f(x2)
在(a,b)(a,b)(a,b)恒成立，则称该函数为凸函数。

切线定义法

描述性定义

同样是观察凹凸函数的图像，发现凹函数的切线总在函数图像下方，而凸函数则相反。
由此得出凹凸函数的描述性定义：
对于在[a,b][a,b][a,b]连续的函数，若函数切线全在函数图像下方，则其为凹函数，反之函数切线全在函数图像上方，则为凸函数。

精确性定义

函数图像全在切线上方，就是该点函数值总是大于等于该图像任意切线在该点所对应的纵坐标。如图：

转换为数学语言，就是：

对于在(a,b)(a,b)(a,b)上连续的函数，∀x1,x2∈(a,b)\forall x_1,x_2\in(a,b)∀x1,x2∈(a,b),有
f(x1)−[f′(x2)(x1−x2)+f(x2)]≥0f(x_1)-[f'(x_2)(x_1-x_2)+f(x_2)]≥0f(x1)−[f′(x2)(x1−x2)+f(x2)]≥0
则称该函数为凹函数。

反之，在(a,b)(a,b)(a,b)上连续的函数，∀x1,x2∈(a,b)\forall x_1,x_2\in(a,b)∀x1,x2∈(a,b),若有
f(x1)−[f′(x2)(x1−x2)+f(x2)]≤0f(x_1)-[f'(x_2)(x_1-x_2)+f(x_2)]≤0f(x1)−[f′(x2)(x1−x2)+f(x2)]≤0
则称该函数为凸函数。

二阶导数符号与函数凹凸性之间的关系

前面对函数凹凸性做了简单的介绍,现在开始介绍二阶导数符号与函数凹凸性之间的关系.
观察下图凹函数的切线,切线的斜率似乎在不断增大.

实际上也确实如此,凹函数的切线斜率随着x的增大而增大,相对的,凸函数的切线斜率随着x的增大而减小.又二阶导数的几何意义正是图像切线的斜率,因此便对应起来.

即:函数为凹函数,则二阶导数大于0;函数为凸函数,则二阶导数小于零.

此时自然而然想到,如果将条件和结论倒换过来,该推论还会成立吗?
即二阶导数大于0,则函数为凹函数;二阶导数小于零,函数为凸函数这个推论,是否成立?

我们证明一下.

证明

根据凹凸性的定义,有两种证明方法,下面一一介绍.
为了表达的方便,下面两种方法都是证明二阶导数大于0的函数是凹函数.
证明凸函数可自行类比.

中点定义法证明

对在(a,b)(a,b)(a,b)上可导,在[a,b][a,b][a,b]上连续的函数f(x)f(x)f(x),
设x1,x2∈[a,b]x_1,x_2\in [a,b]x1,x2∈[a,b],则x0=x1+x22,h=x2−x0=x0−x1x_0=\frac{x_1+x_2}{2},h=x_2-x_0=x_0-x_1x0=2x1+x2,h=x2−x0=x0−x1

由拉格朗日定理,得:
f(x2)−f(x0)=f′(x0+θ1h)hf(x0)−f(x1)=f′(x0−θ2h)hf(x_2)-f(x_0)=f'(x_0+\theta_1h)h \\ f(x_0)-f(x_1)=f'(x_0-\theta_2h)h f(x2)−f(x0)=f′(x0+θ1h)hf(x0)−f(x1)=f′(x0−θ2h)h
又x2=h+x0,x1=x0−hx_2=h+x_0,x_1=x_0-hx2=h+x0,x1=x0−h
则有:
f(x0+h)−f(x0)=f′(x0+θ1h)hf(x0)−f(x0−h)=f′(x0−θ2h)hf(x_0+h)-f(x_0)=f'(x_0+\theta_1h)h \\ f(x_0)-f(x_0-h)=f'(x_0-\theta_2h)h f(x0+h)−f(x0)=f′(x0+θ1h)hf(x0)−f(x0−h)=f′(x0−θ2h)h
二式相减,得到:
f(x0+h)+f(x0−h)−2f(x0)=[f′(x0+θ1h)−f′(x0−θ2h)]hf(x_0+h)+f(x_0-h)-2f(x_0)=[f'(x_0+\theta_1h)-f'(x_0-\theta_2h)]hf(x0+h)+f(x0−h)−2f(x0)=[f′(x0+θ1h)−f′(x0−θ2h)]h

观察到等式右边仍可用拉格朗日定理得到,于是有:
∃ξ∈[x0−θ2h,x0+θ1h],\exists \xi\in[x_0-\theta_2h,x_0+\theta_1h],∃ξ∈[x0−θ2h,x0+θ1h],使得
f′(x0+θ1h)−f′(x0−θ2h)=f′′(ξ)(θ1+θ2)hf'(x_0+\theta_1h)-f'(x_0-\theta_2h)=f''(\xi)(\theta_1+\theta_2)hf′(x0+θ1h)−f′(x0−θ2h)=f′′(ξ)(θ1+θ2)h 成立.

两边各乘一个hhh,得到:
[f′(x0+θ1h)−f′(x0−θ2h)]h=f′′(ξ)(θ1+θ2)h2[f'(x_0+\theta_1h)-f'(x_0-\theta_2h)]h=f''(\xi)(\theta_1+\theta_2)h^2[f′(x0+θ1h)−f′(x0−θ2h)]h=f′′(ξ)(θ1+θ2)h2

显然在f′′(x)>0f''(x)>0f′′(x)>0的情况下,f′′(ξ)(θ1+θ2)h2>0f''(\xi)(\theta_1+\theta_2)h^2>0f′′(ξ)(θ1+θ2)h2>0
因此[f′(x0+θ1h)−f′(x0−θ2h)]h>0[f'(x_0+\theta_1h)-f'(x_0-\theta_2h)]h>0[f′(x0+θ1h)−f′(x0−θ2h)]h>0
即f(x0+h)+f(x0−h)−2f(x0)f(x_0+h)+f(x_0-h)-2f(x_0)f(x0+h)+f(x0−h)−2f(x0)
=[f′(x0+θ1h)−f′(x0−θ2h)]h>0=[f'(x_0+\theta_1h)-f'(x_0-\theta_2h)]h>0=[f′(x0+θ1h)−f′(x0−θ2h)]h>0

将f(x0+h)+f(x0−h)−2f(x0)>0f(x_0+h)+f(x_0-h)-2f(x_0)>0f(x0+h)+f(x0−h)−2f(x0)>0变形,就能得到:
f(x0+h)+f(x0−h)2>f(x0)\frac{f(x_0+h)+f(x_0-h)}{2}>f(x_0)2f(x0+h)+f(x0−h)>f(x0)
即f(x1)+f(x2)2>f(x1+x22)\frac{f(x_1)+f(x_2)}{2}>f(\frac{x_1+x_2}{2})2f(x1)+f(x2)>f(2x1+x2)

至此,命题得证.

切线定义法

要根据切线定义证明二阶导数大于0.函数为凹函数,
就要证明:
对于在(a,b)(a,b)(a,b)上连续的函数，∀x1,x2∈(a,b)\forall x_1,x_2\in(a,b)∀x1,x2∈(a,b),有
f(x1)−[f′(x2)(x1−x2)+f(x2)]≥0f(x_1)-[f'(x_2)(x_1-x_2)+f(x_2)]≥0f(x1)−[f′(x2)(x1−x2)+f(x2)]≥0

反过来,就是对任何情况的x1,x2x_1,x_2x1,x2,都能够满足该式子.则依据两点的相对位置
为分类标准进行分类讨论.
设x1,x2∈[a,b]x_1,x_2\in [a,b]x1,x2∈[a,b]
(1). x1=x2x_1=x_2x1=x2时:
f(x1)−[f′(x2)(x1−x2)+f′(x2)]=0f(x_1)-[f'(x_2)(x_1-x_2)+f'(x_2)]=0f(x1)−[f′(x2)(x1−x2)+f′(x2)]=0
满足定义式.

(2).x1<x2x_1<x_2x1<x2:

由拉格朗日定理:
∃ξ∈[x1,x2],\exist\xi\in[x_1,x_2],∃ξ∈[x1,x2],满足
f′(ξ)=f(x1)−f(x2)x1−x2f'(\xi)=\frac{f(x_1)-f(x_2)}{x_1-x_2}f′(ξ)=x1−x2f(x1)−f(x2)

又f′′(x)>0f''(x)>0f′′(x)>0,
f′(x)f'(x)f′(x)在[x1,x2][x_1,x_2][x1,x2]上递减

且ξ<x2\xi<x_2ξ<x2
即f(x1)−f(x2)x1−x2=f′(ξ)<f′(x2)\frac{f(x_1)-f(x_2)}{x_1-x_2}=f'(\xi)<f'(x_2)x1−x2f(x1)−f(x2)=f′(ξ)<f′(x2)

又x1−x2<0x_1-x_2<0x1−x2<0
所以将其乘到右边需要变换不等式符号,即
f(x1)−f(x2)>f′(x2)(x1−x2)f(x_1)-f(x_2)>f'(x_2)(x_1-x_2)f(x1)−f(x2)>f′(x2)(x1−x2)
f(x1)−[f′(x2)(x1−x2)+f(x2)]>0f(x_1)-[f'(x_2)(x_1-x_2)+f(x_2)]>0f(x1)−[f′(x2)(x1−x2)+f(x2)]>0

满足定义式.

(3)x1>x2x_1>x_2x1>x2:

同(2),利用拉格朗日定理得到:
x2<ξ,f′(x2)<f′(ξ)=f(x1)−f(x2)x1−x2x_2<\xi,f'(x_2)<f'(\xi)=\frac{f(x_1)-f(x_2)}{x_1-x_2}x2<ξ,f′(x2)<f′(ξ)=x1−x2f(x1)−f(x2)
f(x1)−f(x2)x1−x2>f′(x2)\frac{f(x_1)-f(x_2)}{x_1-x_2}>f'(x_2)x1−x2f(x1)−f(x2)>f′(x2)
这次因为x1−x2>0x_1-x_2>0x1−x2>0,所以化简时无需改变不等式符号.即:
f(x1)−f(x2)>f′(x2)(x1−x2)f(x_1)-f(x_2)>f'(x_2)(x_1-x_2)f(x1)−f(x2)>f′(x2)(x1−x2)
f(x1)−[f′(x2)(x1−x2)+f(x2)]>0f(x_1)-[f'(x_2)(x_1-x_2)+f(x_2)]>0f(x1)−[f′(x2)(x1−x2)+f(x2)]>0

满足定义式

综上,命题得证.

关于函数凹凸性两种定义与二阶导数符号之间的联系证明相关推荐

在高数中学到的sinc函数有两种定义
今天终于开通我的blog了,高兴呀! 作为开通的第一贴,写写今天上午在编程时遇到的让人又气又恼的问题,记录下来,供大家分享,同时也警示自己在高数中学到的sinc函数有两种定义: sinc函数定义为: ...
JavaScript实现二级、多级(N级)联动下拉列表框更新版，支持IE6，FireFox，函数和类两种调用方式，支持到N级，非常通用。
自己花了不少时间整理.编写的东东.本来有点舍不得放出来.放出来了也就不加任何版权什么XX的了,省得有人删除麻烦:D 特点:通用性强.实现了script和html分离废话少说.文档就不给了.想研究代码 ...
海瑟矩阵和函数凹凸性之间的关系
以下阐述以2维的凸函数(convex function)为例注释:可以推广到多维的凸函数和凹函数(concave function) 我们定义2维的函数为 f(x),x=[x1,x2]T∈R2f(\ ...
利用二次导数对函数凹凸性的证明
很多人其实都知道可以利用函数的二次导数来判断函数的凹凸性,但是很多人忘记了怎么来证明的,在这里我来再次证明一下. 求证:若f(x)在(a,b)内连续并且二次可导,若f''(x)>0则函数凹,反之 ...
python匿名函数Lambda的两种用法
python匿名函数Lambda的两种用法第一种方式:作为函数对象单独使用第二种方式:放在另一函数里使用一般来说匿名函数Lambda的使用就是为了避免单独def一个函数,而且不用给函数命名,但是 ...
计算机的广义定义和狭义定义,计算机辅助制造有广义和狭义两种定义.doc
计算机辅助制造有广义和狭义两种定义计算机辅助制造有广义和狭义两种定义.狭义CAM通常是指NC程序编制,即计算机辅助数控加工编程.包括刀具路径规划.刀位文件生成.刀具轨迹仿真及NC代码生成等.广义CA ...
计算机的广义定义和狭义定义,《计算机辅助制造有广义和狭义两种定义.》.doc...
<计算机辅助制造有广义和狭义两种定义.>.doc 计算机辅助制造有广义和狭义两种定义. 狭义CAM通常是指NC程序编制,即计算机辅助数控加工编程.包括刀具路径规划.刀位文件生成.刀具轨迹仿 ...
TF之RNN：TF的RNN中的常用的两种定义scope的方式get_variable和Variable
TF之RNN:TF的RNN中的常用的两种定义scope的方式get_variable和Variable 目录输出结果代码设计输出结果代码设计 # tensorflow中的两种定义scope(命 ...
Spring AOP拦截规则的两种定义方式
Spring AOP拦截规则的两种定义方式 AOP的根本目的就是解耦,分开业务代码与系统共用代码,例如打印日志. Spring支持AspectJ的注解式切面编程,主要包含4个部分,分别是使用@Asp ...

关于函数凹凸性两种定义与二阶导数符号之间的联系证明

什么是函数的凹凸性

凹凸性数学定义

中点定义法

切线定义法

描述性定义

精确性定义

二阶导数符号与函数凹凸性之间的关系

证明

中点定义法证明

切线定义法

关于函数凹凸性两种定义与二阶导数符号之间的联系证明相关推荐

最新文章

热门文章