凸函数在不等式证明中一个应用

凸性是函数的一个重要性质,在数学中有许多重要的应用．本文讨论二阶可微的凸函数在证明初等数学不等式时的灵活应用．设厂(x)是定义．f(x)在区间Ω上的函数,若对任意x1,x2∈Ω和A∈[0,1],成立f(λx1+(1-λ)x2)≤λf(x1)+(1-A)f(x2),则称函数厂(x)在n上是凸函数．     

拟微分的一个性质

不可微优化的理论研究是从研究凸函数开始的,人们首先发现,对于R~n上有限凸函数f,,凸紧集,使利用次梯度的概念,得到了很多凸函数的重要性质及最优性条件,并构造了一些次梯度算法。 1980年左右,V.F.Demyanov在研究极大极小问题的过程中提出了拟可微的概念[1]. 定义设f是定义于某一非空开集上的实函数,如果是     

复合凸优化问题的Fenchel-Lagrange强对偶之研究

利用共轭函数的上图性质,引入新的约束规范条件,等价刻画了目标函数为凸函数与凸复合函数之和的复合优化问题及其Fenchel-Lagrange对偶问题之间的强对偶与稳定强对偶.     

多目标最优化中的共轭对偶理论

引言本文将在一般“非支配解” (Nondominated Solution) 意义下建立多目标最优化共轭对偶理论框架.全文共三部分.首先在§1中提出共轭映照、Λ-凸和次微分等概念,导出它们之间的一些重要关系.然后在§2中利用摄动方法,把原多目标极值问题嵌入到一族摄动问题中去,由摄动后的目标函数的共轭映照来定义原问题的对偶问题,建立并证明多目标最优化共轭对偶理论中的弱对偶定理、强对偶定理和鞍点定理.作为例子,在§3中讨论一类广义凸多目标数学规划问题的共轭对偶性.     

非光滑(F,ρ,)θ-d一致不变凸广义分式规划的对偶性

结合F-凸,η-不变凸及d一致不变凸的概念给出了非光滑广义(F,ρ,θ)-d一致不变凸函数;就一类在凸集C上目标函数为Lipschitz连续的带有可微不等式约束的广义分式规划,提出一个对偶,并利用在广义Kuhn-Tucker约束品性或广义Arrow-Hurwicz-Uzawa约束品性的条件下得到的最优性必要条件,证明相应的弱对偶定理、强对偶定理及严格逆对偶定理.     

ρ─弧式凸函数下（VP）和（VD）对偶定理

作者在文献［１］中定义了一类广义凸函数：ρ－弧式凸性函数，并讨论了其基本性质。在此基础上，本文在ρ－弧式凸函数条件下，论证了多目标规划（ＶＰ）和对偶规划（ＣＤ）的三个对偶定理．     

连续函数的l凸性

在研究函数的性态时,笔者发现如下定义的l凸函数,它反映了函数中普遍存在的凸偏移现象.定义:设f(x)是定义在实数集D上的实值函数,常数l∈R,若对 xk∈M( D),pk≥ 0,k=1,2,…,n, (n∈N,n≥2),∑nk=1pk=1,都有f(∑ni=1pixi+l)≤∑ni=1pif(xi)则称f(x)为M上的l凸函数;当-f(x)为l凸函数时,称f(x)为M上的l凹函数.下面给出连续函数具有l凸性的两个判定定理:定理 1:设f(x)是定义在 [a,a+2l] (l>0)上的连续的增函数,则f(x)是 [a,a+l]上的l凹函数,也是[a+l,a+2l]上的(-l)凸函数.证明:设xi∈[a,a+l] (i=1,2,…,n),x1≤x2≤…≤xn,则xi+l∈[a+l,a…     

关于半连续函数与凸函数的注记

在半连续前提下,给出凸函数和严格凸函数的不等式刻划．指出非空凸集上的半连续函数满足中间点凸性时,成为凸函数,满足中间点严格凸性时,成为严格凸函数．最后定义F—G广义凸函数和条件p1,p2等概念,列举若干满足条件p1,p2的数量函数和向量函数,并指出,对于F—G广义凸函数,在条件p1,p2及一定连续性条件下,可以得到类似结果．     

广义凸函数性质初探

设函数f（x）在区间I上有定义．如果对于任意x_1、x_2∈I和t∈（0，1）有则说f（x）在I上为下凸的．如果对于任意x_1、x_2∈I和t∈（0，1）有则说f（x）在I上为上凸的，如果对于一切t∈（0，1），（1）式（（2）式）中的等式仅当x_1＝x_2时成立，则说f（x）在I上为严格下凸（严格上凸）的．显然，如果f（x）在I上是上凸的，则－f（x）在I上就是下凸的．为此，以下我们着重讨论下凸函数由［1］，若函数f（x）在区间I上连续且对任意x_1、x_2∈I成立，则f（x）在I上是下凸的．对于凸函数，我们有著名的Jensen不等式：命题1设f（x）是区间…     

非线性规划的Ω共轭对偶理论

本文通过推广凸共轭函数和次梯度的概念,建立了非线性规划问题的一类对偶理论——Ω共轭对偶理论.研究结果表明,许多关于非线性最优化对偶性方面的结论都是本文的特殊情况.     

强预拟不变凸函数的充要条件

本文引入了一类新的广义凸函数—强预拟不变凸函数.讨论了强预拟不变凸函数与预拟不变凸函数、严格预拟不变凸函数及半严格预拟不变凸函数之间的关系,得到它的三个充要条件:(i)当条件P_1满足时,f是强预拟不变凸函数的充分必要条件是f是预拟不变凸函数且f满足中间点强预拟不变凸性;(ii)当条件P_2满足时,f是强预拟不变凸函数的充分必要条件是f是严格预拟不变凸函数且f满足中间点强顶拟不变凸性;(iii)当条件P_2满足时,f是强预拟不变凸函数的充分必要条件是f是半严格预拟不变凸函数且f满足中间点强预拟不变凸性.     

(H,Ω)共轭函数理论

在非线性凸规划中,凸共轭函数理论对建立对偶理论起着重要作用.本文试图对这一凸共轭函数概念加以推广,建立一类广义的共轭函数理论-(H,(?))共轭函数理论.在凸分析中,一个函数的凸共轭是通过一簇线性函数确定的.事实上,设     

显凸函数的一些性质

最近,薛声家教授在文[1]中提出了一种新的凸性概念——显凸函数。它是比严格凸函数弱且又不同于凸函数的一类新凸性。文[1]对它已作了初步讨论。本文继续的工作,给出显凸函数的一些性质。定义称f是凸集S(?)R~n上的显凸函数,若对任意x,y∈S,f(x)≠f(y),有首先,给出显凸函数的一个特征性质,它类似于凸函数的一个已知性质。     

广义凸函数的特征性质

提出广义凸集、广义凸函数、中间点广义凸函数、端点广义凸函数四个定义,通过定义条件P1,研究条件P1所蕴含的等式关系,进而得到一个基础性定理一稠密性定理和一个相对条件较弱的推论,最后将结果应用于若干不同类型的广义凸函数类,尤其是s-凸函数、几何凸函数、rp-凸函数,得到它们所共有的一个特征性质,即满足稠密性定理．     

用次微分及法锥表达的对偶问题

考虑下述非可微凸规划问题: (P)min f(x), 约束条件:g(x)=(g_1(x),…,g_m(x))≤0,x∈C, 其中f,g_i,i=1,…,m为有限值的定义在IR~n上的凸函数,C为IR~n中的凸集,y~t为向量y(视为列向量)的转置. 如果f,g,…,g_m是可微的,Wolfe建立了一个对偶问题:     

广义不变凸多目标半无限规划的鞍点条件

利用广义代数运算,定义了一类不变凸函数和不完全向量值Lagrange函数的鞍点,研究了涉及此类函数的多目标半无限规划问题,得到了广义鞍点的必要性和充分性条件.在更弱的凸性条件下,得到了几个重要结果.     

关于隐函数样条的凸性分析

本文讨论由隐函数样条F(x)=αg~h(x)-(1-α)f(x)=0,x∈R~(?),0<α<1定义的函数(Functional spline)的凸性,得到:1)当 g(x)=l_0(x),f(x)=multiply from j to k l_j(x),其中,l_j(x)=sum from i=1 to n a_(ij)x_i+b_j 是线性的,且 (?)(x)≥0围成区域Ω,那么在Ω内,当 h>k 时,F(x)=αg~h(x)-(1-α)f(x)=0是凸的;2)在 R~2内,若 f(x,y)=0,g(x,y)=0定义两条凸曲线,那么隐函数样条不一定是凸的.但可以构造 f_1,g_1,使得 f_1与 f 定义同一条曲线,g_1与 g 也定义同一条曲线,而这时的隐函数样条是凸的.本文还给出了一个凸样条的充分条件.     

鲁棒凸优化问题拟近似解的刻划

本文研究鲁棒凸优化问题拟近似解的最优性条件和对偶理论.首先利用鲁棒优化方法,在由约束函数的共轭函数的上图给出的闭凸锥约束规格条件下,建立了拟近似解的最优性充要条件.其次给出了鲁棒凸优化问题拟近似解在Wolf型和Mond-weir型对偶模型下的强(弱)对偶定理.最后给出具体实例验证了本文获得的结果.     

非线性规划的(H,Ω)对偶理论

对偶理论是非线性规划理论的一个重要组成部分,目前较成熟和完善的仅是凸规划的对偶理论.对于非凸规划对偶问题的研究仅有少量的工作完成,其结果也不令人满意.文献[1]就凸共轭函数进行了推广,建立了(H,(?))共轭函数理论,这一理论为凸对偶向非凸对偶迈进提供了基础.本文应用这一(H,(?))共轭函数理论,提出并建立了非线性规划的(H,(?))对偶理论.应用表明,在特殊簇 H 及(?)下,迄今为止几乎所有非线性规划的对偶理论都是这一对偶框架下的特殊形式,因此可以说,它是对偶理论的一个突破.     

可微广义凸规划的最优充要条件

利用Bector定义的广义凸函数——univex函数,讨论可微广义凸规划和可微多目标广义凸规划的Kuhn-Tucker最优充要条件。