文档介绍：第四章非线性规划模型第一节非线性规划的实例与基本概念一、非线性规划的实例例1化学反应的平衡组成设现有原料由种原子组成,各种原子数量依次为共生成种分子(产品),设生产数量(待求)依次为。设第种分子中含各种原子的数量依次为文档收集自网络,仅用于个人学****所有产品中含第种原子数之和为由熟知的质量守恒定律有在一定的温度、压力下,每种化合物都具有一定的自由能,根据化学热力学原理,当化学反应达到平衡状态时,系统的总自由能最小。用表示第种化合物具有的自由能,它的表达式为文档收集自网络,仅用于个人学****其中是与温度、压力及有关的常数。总自由能为问题变为求使(4-1)(4-2)式(4-1),(4-2)构成的数学模型显然与前几章的数学模型不同,它就是我们即将介绍的非线性规划模型。文档收集自网络,仅用于个人学****例2成组气田开发的最优化模型设有一组个气田,要求在一定开发期内产气总量为,而为第个气田的极限产量,为第个气田的最优产量(待求),为第个气田的生产井数,可按公式计算,其中,分别为第个气田的地层边界压力和井底流动压力,,,是与第个气田的地层形状、流动条件、井排数、井排半径及井距有关的常数。要求各气田适当配产,使单产成本最低。文档收集自网络,仅用于个人学****根据题意可得如下数学模型(4-3)(4-4)其中,,分别与第个气田的管线成本、生产消耗、气压站和综合处理站、钻井成本有关的参数。式(4-3),(4-4)也是一个非线性规划模型。文档收集自网络,仅用于个人学****二、,(4-5)(4-6)(4-7)的数学模型为一个数学规划,称为该数学规划的目标函数,称(4-6)式为等式约束,(4-7)式为不等式约束,若中至少有一个是变量的非线性函数,则称模型(4-5)—(4-7)是非线性规划问题,否则称(4-5)—(4-7)为线性规划问题。当时,称问题,为无约束最优化问题,简称为无约束问题。文档收集自网络,(4-6),(4-7)的维向量称为该数学规划的一个可行点,所有可行点做成的集合称为可行集或可行域,即文档收集自网络,仅用于个人学****对于,若有,使,对所有满足的都成立,则称为该规划的一个局部最优解;若对所有都成立,则称为该规划的整体最优解或全局最优解。文档收集自网络,仅用于个人学****若对于,有,使,对所有满足的且都成立,则称为该规划的一个严格局部最优解;若对所有且都成立,则称为该规划的一个严格整体最优解。文档收集自网络,仅用于个人学****例3设有非线性规划问题可行集D如图所示,由于,又,,、n元函数微分学知识为了给出非线性规划问题的最优性条件,,,,定义为在点处的个偏导数构成的列向量,记为,即(4-8)(Hesse矩阵)称如下的阶方阵(4-9)为函数在点处的二阶偏导数矩阵亦称为Hesse矩阵,当时,(写到二次项)为(4-10),,故在点处最速下降方向的单位向量应是问题(4-11)的解,注意到,其中是与方向的夹角。极小化该式,便得到当即时,的值最小,这时,因此称为函数在点处的最速下降方向,同样理由称为在点处的最速上升方向。文档收集自网络,,方向向量,。将函数在点展开得(4-12)当且充分小时,由上式得即当充分小且时,函数值较小,因此,若,称为函数在点处的下降方向,类似地,若,且充分小,由(4-8)式知,因此,此时称为函数在点处的上升方向。文档收集自网络,仅用于个人学****二、无约束问题的最优性条件定理1(一阶必要条件)设函数连续可微,若点是的局部极小点,则。证明用反证法,设,取,则,因而存在,使当时,,。若有点使,,定理1表明,若函数连续可微,且不是驻点,则不是的局部极小点。定理2(二阶必要条件)若函数二阶连续可微,且是的局部极小点,则,且半正定。证明由题设及公式有于是(4-13)令,由于,故由(4-9)式得,又由的任意性知,半正定。定理3(二阶充分条件)设函数二阶连续可微,且,正定,则为的严格局部极小点。证明据已知条件和公式得(4-14)由正定知,存在正数使得,故由(4-14)式得:(4-15)因此据式(4-15)知,存在使当时,即当且时,,故为的严格局部极小点