三维空间上凸函数的判定

三维空间3R 上凸函数的判定

刘 风

（宿州学院 数学系， 2005级数学与应用数学，安徽 宿州 234000）

摘要：本文从凸集入手，着力讨论空间3R 上凸（凹）曲面的几何特征，并给出判定空间

3R 上凸函数的几个充要条件。

关键词：凸集；凸域； 凸函数;上图

1引 言

在数学分析里面，我们已经讨论了平面上凸函数的一些性质，但是对于多元函数却没有给出凸函数的定义及判定凸函数的充要条件。本文以空间3R 为代表，讨论3R 上凸（凹）曲面的几何特征，并给出判定其凸函数的几个充要条件。 2

凸 集

定义2.1 设X 是任意一实线形空间，M 是X 的一个集合，如果对任意的,x y M ∈以及[]0,1λ∈，都有

()1x y M λλ+-∈， （1）

则称集合是凸集。

例2.1 设X 是任意一实线形空间，则对任意给定的非零向量z X ∈以及实数c ，集合{}|,H x x z c x X =⋅≥∈是X 上的一个凸集。

证明：12,x x H ∀∈显然有12,x z c x z c ⋅≥⋅≥。令()[]121,0,1x tx t x t =+-∀∈由于

[]0,1t ∈，故有()()12,11tx z tc t x z t c ⋅≥-⋅≥-，从而有

()()1211x z tx z t x z tc t c ⋅=⋅+-⋅≥+-。

即得x H ∈，由凸集的定义可知，H 是X 上的一个凸集。

定义2.2 若区域2

D R ⊂上任意两点的连线都含于D ，则称D 为凸域。即若D 是

2R 上的凸域，则对任意两点()()111222,,,P x y P x y D ∈以及对任意的实数[]0,1λ∈，都有

()()()1

2

1

2

1,1P

x x y y D λλλλ+-+-∈ 。 （2）

显然，凸域为2R 上的凸集，因此易推出凸域的以下基本性质：

1> 任意多个平面凸域的交集是平面凸域。

2> 任意多个平面凸域的代数并是平面凸域，其中对任意两个凸域E 与F ，代数并 E F +定义为

()()(){}

1212111222,|,,,E F P x x y y P x y E P x y F +=++∈∈。 （3）

3> 任取2R 上的一个凸域D ，作2R 到R 的一个线形映射σ，则()D σ是R 上的凸集。

3 3R 上的凸函数

定义 3.1 设(),f x y 为定义在凸域2D R ⊂上的二元函数，若对D 任意两点

()()111222,,,P x y P x y 以及实数()0,1λ∈，都有

()()()()()()121211221,1,1,f x x y y f x y f x y λλλλλλ+-+-≤+-， （4）

则称f 为D 上的凸函数。反之，如果总有

()()()()()()121211221,1,1,f x x y y f x y f x y λλλλλλ+-+-≥+-， （5）

则称f 为D 上的凹函数。

如果（4）（5）两式中的不等式改为严格不等式，则相应的函数称为严格凸函数与严格凹函数。

容易证明：若-(),f x y 为凸域D 上的凸函数，则(),f x y 为凸域D 上的凹函数，因此只需讨论凸函数的性质即可。下面将给出判定二元凸函数的几个充要条件。

定理3.1 设(),f x y 为定义在凸域2

D R ⊂上的可微函数，则f 为凸函数的充要条

件是：对D 上任意两点()()111222,,,P x y P x y ，都有

()()()()()()221111211121,,,,x y f x y f x y f x y x x f x y y y ≥+-+-。 （6）

证明：()⇐∀()()111222

,,,P x y P x y D ∈以及()0,1λ∀∈，设()333,P x y ，其中

()()3123121,1x x x y y y λλλλ=+-=+-。显然

3P D ∈，由已知条件得 ()()()()()()13313313x y f P f P f P x x f P y y ≥+-+-， ()()()()()()23323323x y f P f P f P x x f P y y ≥+-+-。

且有

()()()()131213121,1x x x x y y y y λλ-=---=--，

()()23212321,x x x x y y y y λλ-=--=-。

将这些式子联立便有

()()()()1231f P f P f P λλ+-≥。

即

()()()()()()121211221,1,1,f x x y y f x y f x y λλλλλλ+-+-≤+-。

从而由定义3.1知f 为D 上的凸函数。

()⇒设f 为凸域D 上的凸函数，则对D 上任意两点()()1112

22,,,P x y P x y 以及()0,1λ∀∈恒有

()()()()()()121222111,1,1,f x x y y f x y f x y λλλλλλ+-+-≤+-。

即得

()()()()()()

121121112211,,,,f x x x y y y f x y f x y f x y λλλ

+-+---≥

。

令()()()()

121121,f x x x y y y λλλΦ=+-+-，则由题设条件知()λΦ为()0,1内的连续可导函数，故由(),L Hospital 法则及复合函数求导法则得

()()()()()()

1211211122110

,,,,lim

f x x x y y y f x y f x y f x y λλλλ

→+-+---≥

()()()()121121210

lim[,x f x x x y y y x x λλλ→=+-+--

()()()()12112121,]y f x x x y y y y y λλ++-+-- ()()()()11211121,,x y f x y x x f x y y y =-+-。

从而必要性得证。

注<1>：定理3.1的几何意义在于：凸曲面(),z f x y =总是在它的任一切平面的上方(图略)，这是可微凸函数的几何特征。

例 3.1 若函数(),f x y 为定义在凸域2

D R ⊂上的可微凸函数，()000,P x y D ∈，

则0P 为f 的极小值点的充要条件0P 是为f 的稳定点。 证明：()⇒由极值的充要条件知，必要性显然。

()⇐由(),f x y 为定义在凸域2

D R ⊂上的可微函数知，(),P x y D ∀∈有