非线性最优化
线性和非线性最优化理论、方法、软件及应用

线性和非线性最优化理论、方法、软件及应用最优化在航空航天、生命科学、水利科学、地球科学、工程技术等自然科学领域和经济金融等社会科学领域有着广泛和重要的应用, 它的研究和发展一直得到广泛的关注. 最优化的研究包含理论、方法和应用.最优化理论主要研究问题解的最优性条件、灵敏度分析、解的存在性和一般复杂性等.而最优化方法研究包括构造新算法、证明解的收敛性、算法的比较和复杂性等.最优化的应用研究则包括算法的实现、算法的程序、软件包及商业化、在实际问题的应用. 这里简介一下线性和非线性最优化理论、方法及应用研究的发展状况.1. 线性最优化线性最优化, 又称线性规划, 是运筹学中应用最广泛的一个分支.这是因为自然科学和社会科学中许多问题都可以近似地化成线性规划问题. 线性规划理论和算法的研究及发展共经历了三个高潮, 每个高潮都引起了社会的极大关注. 线性规划研究的第一高潮是著名的单纯形法的研究. 这一方法是Dantzig在1947年提出的,它以成熟的算法理论和完善的算法及软件统治线性规划达三十多年. 随着60年代发展起来的计算复杂性理论的研究, 单纯形法在七十年代末受到了挑战. 1979年前苏联数学家Khachiyan提出了第一个理论上优于单纯形法的所谓多项式时间算法--椭球法, 曾成为轰动一时的新闻, 并掀起了研究线性规划的第二个高潮. 但遗憾的是广泛的数值试验表明, 椭球算法的计算比单纯形方法差.1984年Karmarkar提出了求解线性规划的另一个多项式时间算法. 这个算法从理论和数值上都优于椭球法,因而引起学术界的极大关注, 并由此掀起了研究线性规划的第三个高潮. 从那以后, 许多学者致力于改进和完善这一算法,得到了许多改进算法.这些算法运用不同的思想方法均获得通过可行区域内部的迭代点列,因此统称为解线性规划问题的内点算法. 目前内点算法正以不可抗拒的趋势将超越和替代单纯形法.线性规划的软件, 特别是由单纯形法所形成的软件比较成熟和完善.这些软件不仅可以解一般线性规划问题, 而且可以解整数线性规划问题、进行灵敏度分析, 同时可以解具有稀疏结构的大规模问题.CPLEX是Bi xby基于单纯形法研制的解线性和整数规划的软件, CPLEX的网址是/. 此外,这个软件也可以用来解凸二次规划问题, 且特别适合解大规模问题. PROC LP是SAS软件公司研制的SAS商业软件中OR模块的一个程序.这个程序是根据两阶段单纯形法研制的,可以用来解线性和整数规划问题并可进行灵敏度分析, 是一个比较完善的程序.用户可以根据需要选择不同的参数来满足不同的要求。
非线性最优化

9
凸函数的性质
性质1 设f(X)为定义在凸集S上的凸函数, 则对任 意实数b≥ 0,函数bf(X)也是定义在S上的凸函数.
性质2 设f1(X)和 f2(X)为定义在凸集S上的两个 凸函数,则其和f(X)= f1(X)+f2(X)仍为定义在S 上的凸函数.
注2.gj(X)≤0→-gj(X) ≥ 0 ; 注3.hi(X)=0→hi(X) ≥ 0 , -hi(X) ≥ 0 .
4
1.2 极值问题
设f(X)为定义在n维欧氏空间 En 的某一区
域S上的n元实函数,其中X=(x1 ,x2 … xn)T . 局部极小点(值):对于 X* ∈S,如果存在
某ε>0,使所有与X* 的距离小于ε的X∈S,均 满足不等式f(X)≥f(X* ),则称X* 为f(X)在 S上的局部极小点, f(X* )为局部极小值。 严格局部极小点(值):对于所有X≠X* 且
24
一维搜索在搜索方向上所得最优点处的
梯度和该搜索方向正交. 定理8 设目标函数f(X)∈C(1),X(k+1)按下
述规则产生
λk : Minf(X(k)+λP(k)) X(k+1)= X(k)+λkP(k)
则有 ▽f(X(k+1))TP(k)=0. 证 设φ(λ)=f(X(k)+λP(k)),则由
由(1)、(2),得到 f(y)≥f(X* ). 所以X*为全局最小点. 记a:= minf=f(X*),则S上的极小点的集合
Sa={X|X∈R,f(X)≤a}.由性质3知, Sa是凸集.
14
用反证法证明定理6:
设X* ∈S是一个局部极小点,则存在ε>0,使得对
非线性最优化

非线性规划的数学模型
非线性规划的数学模 型常表示成以下形式
非线性规划的数学模型 可以写成以下形式
Minf(X) hi(X)=0 i=1,2, … ,m gj(X) ≥ 0 j=1,2, … ,l
Minf(X) gj(X) ≥ 0 j=1,2, … ,l
注1.min[-f(X)]=-maxf(x);
所以X*为全局最小点.
定理7 设f(X)是定义在凸集S上的可微凸 函数, 若存在点X*∈S, 使得所有的X∈S有
▽f(X*)T(X-X*)≥0 则X*是f(X)在S上的最小点(全局极小点).
证 由定理3,对任意X∈S有 f(X)≥f(X*)+▽f(X*)T(X-X*)≥f(X*),证毕. 注1:若▽f(X*) =0,则▽f(X*)T(X-X*)≥0. 注2:最小点未必唯一,但凸集上严格凸函 数的最小点唯一. 注3:对凹函数也有上述类似的结果.
将(1.5)和(1.6)中的不等号反向,即可得到凹函数 和严格凹函数的定义.
凸函数的性质
性质1 设f(X)为定义在凸集S上的凸函数, 则对任 意实数b≥ 0,函数bf(X)也是定义在S上的凸函数.
性质2 设f1(X)和 f2(X)为定义在凸集S上的两个 凸函数,则其和f(X)= f1(X)+f2(X)仍为定义在S 上的凸函数.
注2.gj(X)≤0→-gj(X) ≥ 0 ; 注3.hi(X)=0→hi(X) ≥ 0 , -hi(X) ≥ 0 .
1.2 极值问题
设f(X)为定义在n维欧氏空间 En 的某一区
域S上的n元实函数,其中X=(x1 ,x2 … xn)T . 局部极小点(值):对于 X* ∈S,如果存在
某ε>0,使所有与X* 的距离小于ε的X∈S,均 满足不等式f(X)≥f(X* ),则称X* 为f(X)在 S上的局部极小点, f(X* )为局部极小值。 严格局部极小点(值):对于所有X≠X* 且
《非线性最优化模型》课件

无约束优化模型
定义
无约束优化模型是指在没有任何约束条件限制下,寻找目标函数的最大值或最 小值。
求解方法
无约束优化模型的求解方法主要包括梯度法、牛顿法、拟牛顿法、共轭梯度法 等。这些方法通过迭代的方式逐步逼近最优解,利用目标函数的梯度信息或海 森矩阵进行搜索。
混合整数优化模型
特点
混合整数优化模型是指目标函数 和约束条件中同时包含连续变量 和整数变量,整数变量的取值只 能是整数。
《非线性最优化模型》ppt课 件
Байду номын сангаас
CONTENTS
• 非线性最优化模型概述 • 非线性最优化模型的分类 • 非线性最优化模型的求解方法 • 非线性最优化模型的实际应用
案例 • 非线性最优化模型的未来发展
与挑战
01
非线性最优化模型概述
定义与特点
总结词
非线性最优化模型是一种数学方法,用于解决具有非线性约束和目标的优化问题。
优点
收敛速度快,精度高。
缺点
对Hessian矩阵敏感,计算量大,可能面临数值稳定问题。
拟牛顿法
总结词
改进的牛顿法 01
详细描述
02 通过迭代更新Hessian矩阵近似值 ,构造拟牛顿矩阵,以实现牛顿 法的数值稳定性和收敛速度。
优点
数值稳定性好,收敛速度快。
03
缺点
04 需要存储和计算Hessian矩阵或其 近似值。
客户需求。
运输优化
非线性最优化模型可用于 优化运输路线和运输方式 ,降低运输成本并提高运
输效率。
采购优化
通过非线性最优化模型, 可以确定最佳供应商和采 购策略,以降低采购成本
并确保产品质量。
非线性最优化模型

案例二:生产调度优化的应用
总结词
生产调度优化是利用非线性最优化模型来安排生产计划 ,以提高生产效率和降低生产成本。
详细描述
生产调度问题需要考虑生产线的配置、工人的排班、原 材料的采购等多个因素。非线性最优化模型能够综合考 虑这些因素,并找到最优的生产调度方案,提高生产效 率,降低生产成本,并确保生产计划的可行性。
04
非线性最优化模型的实例分析
投资组合优化模型
投资组合优化模型
通过非线性最优化方法,确定最佳投资组合配置,以实现预期收 益和风险之间的平衡。
目标函数
最大化预期收益或最小化风险,通常采用夏普比率、詹森指数等 作为评价指标。
约束条件
包括投资比例限制、流动性约束、风险控制等。
生产调度优化模型
01
生产调度优化模型
非线性最优化模型
• 非线性最优化模型概述 • 非线性最优化模型的分类 • 非线性最优化模型的求解方法 • 非线性最优化模型的实例分析 • 非线性最优化模型的挑战与展望 • 非线性最优化模型的应用案例
01
非线性最优化模型概述
定义与特点
定义
非线性最优化模型是指用来描述具有 非线性特性的系统或问题的数学模型 。
多目标非线性优化模型
多目标
多目标非线性优化模型中存在多个目标函数,这些目标函 数之间可能存在冲突。
01
求解方法
常用的求解方法包括权重法、帕累托最 优解法、多目标遗传算法等,这些方法 通过迭代过程逐步逼近最优解。
02
03
应用领域
多目标非线性优化模型广泛应用于各 种领域,如系统设计、城市规划、经 济分析等。
通过非线性最优化方法,合理安 排生产计划和调度,以提高生产 效率和降低成本。
非线性方程组的数值解法及最优化方法课件

拟牛顿法是牛顿法的改进,通过构造一个近似于真实Hessian矩阵的对称正定矩阵来逼近, 从而加快了算法的收敛速度。
信赖域方法求解非线性方程组
信赖域方法是一种基于梯度信息的迭代算法,通过在每一步中计算一个小的搜索方向,并 限制步长,以避免算法发散。
最优化方法案例
梯度下降法求解无约束最优化问题
梯度下降法是一种迭代算法,通过不断沿负梯度方向更新变量,最终找到最优化问题的最小值点。该方法适用于求解 无约束最优化问题。
牛顿法求解无约束最优化问题
牛顿法是一种基于二阶导数的迭代算法,通过不断逼近函数的极小值点,最终求解无约束最优化问题。该方法适用于 求解具有多个局部最小值的问题。
遗传算法求解约束最优化问题 遗传算法是一种基于生物进化原理的随机搜索算法,通过模拟生物进化过程中的自然选择和遗传机制, 在解空间中进行高效搜索,最终找到满足约束的最优解。
和稳定性。
约束最优化方法
拉格朗日乘数法
通过引入拉格朗日函数,将约束最优化问题转化为无 约束最优化问题求解。
罚函数法
通过引入罚函数,将约束条件转化为无约束条件,通 过迭代更新求解。
序列二次规划法
结合拉格朗日乘数法和牛顿法的思想,通过迭代逼近 最优解。
混合整数最优化方法
01
02
03
分支定界法
将整数约束转化为区间约 束,通过不断分支和剪枝 来逼近最优解。
非线性方程组与最优化方法的结合案例
非线性规划问题
非线性规划是最优化领域中一类重要的数学问题,其目标函数和约束条件都是非线性的。常见的非线性规划问题 包括最小二乘问题、二次规划问题等。求解非线性规划问题的常用方法包括梯度下降法、牛顿法等。
非线性优化的基本理论

非线性优化的基本理论引言非线性优化是数学和计算机科学领域的一个重要研究方向。
它研究的是在给定约束条件下,如何寻找某个目标函数的最优解。
与线性优化问题不同,非线性优化问题涉及非线性函数的优化,更具有挑战性。
基本概念1.目标函数(Objective Function):非线性优化问题中需要优化的目标函数,通常表示为f(x),其中x表示自变量。
2.约束条件(Constraints):非线性优化问题中限制目标函数的函数或等式,通常表示为g(x) <= 0和h(x) = 0。
3.最优解(Optimal Solution):非线性优化问题中使目标函数取得最小(或最大)值的自变量的取值。
4.局部最优解(Local Optimum):非线性优化问题中某个点附近的最优解,但不一定是全局最优解。
5.全局最优解(Global Optimum):非线性优化问题中使目标函数取得最小(或最大)值的自变量的取值,是优化问题的最优解。
基本原理非线性优化的基本原理是寻找目标函数在给定约束条件下的最优解。
常用的方法包括梯度下降法、牛顿法和拟牛顿法等。
1. 梯度下降法(Gradient Descent)梯度下降法是一种基于目标函数梯度信息的迭代优化方法。
它的基本思想是通过不断迭代调整自变量的取值,使目标函数逐渐收敛到最优解。
具体步骤如下:1. 初始化自变量的取值。
2. 计算目标函数在当前自变量取值下的梯度。
3. 根据梯度的方向和步长,更新自变量的取值。
4. 重复步骤2和步骤3,直到满足停止准则。
2. 牛顿法(Newton’s Method)牛顿法是一种基于目标函数二阶导数信息的迭代优化方法。
它的基本思想是通过将目标函数进行二阶泰勒展开,以二阶导数的倒数作为步长,调整自变量的取值。
具体步骤如下: 1.初始化自变量的取值。
2. 计算目标函数在当前自变量取值下的一阶导数和二阶导数。
3. 根据一阶导数和二阶导数,更新自变量的取值。
非线性系统的优化-最优化方法

(3-17) 显然,当且仅当P为负梯度方向(即 时)式(3-17)左边达到最小值。
通常,将负梯度方向称之为最速 下降方向
第三节 凸函数
凸函数的定义与基本性质 凸函数的判别条件 凸函数的极值 凸规划
凸函数的定义
定义1 设函数f(x)为定义在凸集D上的n
8)式,Hesse矩阵又可表为
2 f ( X ) (f ( X )) ( 3-9)
(3-9)式揭示了Hesse矩阵与梯度的内在关系.
容易证明,下列结论成立:
(1) (2) (3)
(4) (5)
设C为常数向量,0为零矩阵,则有 C 0
设X∈En ,I为n阶单位矩阵,则有 X I 设X∈En ,b为常数向量,则有
显然,线性函数既是凸函数,又是凹函 数。
定理3.3 定义在同一凸集上的有限个凸函数的非负 线性组合是凸函数。
定理3.4 凸函数的任一 水平集是凸集。
定理3.5 设D是内部非空的凸集, f X 是定义在D 上的凸函数,则 f X 在D的内部连续。
设 f X 是定义在集合R上的实函数,是实数
f (X p) f (X )
则称方向P是函数 f (X ) 在点 X 处的一 个下降方向。
定理3.1 如果函数 f ( X ) 在点 X 沿
方向P的方向导数满足条件
f ( X ) 0 p
那么方向P是函数 f ( X ) 在点 X 处的
一个下降方向。
二.Hesse 矩阵
定义3.6 (Hesse矩阵) 设n元函数 f ( X ) 在 X 点二次可
增大的方向.
定义3.4 (方向导数)
设 f ( X ) 在点 X 可微,P是给定的非零向量,如果
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
定理5 设S为n维欧氏空间 En 上的开凸集, f(X)在S上二次可微,若任意x∈S,Hesse矩阵正定,则f是S 上的严格凸函数.
例如 分析f(x1,x2)= 2x12 +x22 -2 x1x2+x1+1的凸性. 解: H=A为正定阵,所以f为严格凸函数.
f(x)1 2(x1,x2)4 222x x1 2x11
一维搜索在搜索方向上所得最优点处的 梯度和该搜索方向正交.
定理8 设目标函数f(X)∈C(1),X(k+1)按下 述规则产生
λk : Minf(X(k)+λP(k)) X(k+1)= X(k)+λkP(k)
则有 ▽f(X(k+1))TP(k)=0. 证 设φ(λ)=f(X(k)+λP(k)),则由
注2.gj(X)≤0→-gj(X) ≥ 0 ; 注3.hi(X)=0→hi(X) ≥ 0 , -hi(X) ≥ 0 .
1.2 极值问题
设f(X)为定义在n维欧氏空间 En 的某一区
域S上的n元实函数,其中X=(x1 ,x2 … xn)T . 局部极小点(值):对于 X* ∈S,如果存在
某ε>0,使所有与X* 的距离小于ε的X∈S,均满足不等式f(X)≥f(X* ),则称X* 为f(X)在S上的局部极小点, f(X* )为局部极小值。
用反证法证明定理6: 设X* ∈S是一个局部极小点,则存在ε>0,使得对 任意X∈S∩Nε(X* ),恒有 f(X)≥f(X* ). 假设X*非全局最小,则存在X’∈S,使得f(X*)>f(X’). 由S的凸性,对任意λ∈[0,1],λX’+(1- λ)X*∈S, 由X*≠X’,取λ∈(0,1).因为λ<<1时,可使
严格局部极小点(值):对于所有X≠X* 且 与X*的距离小于ε的X∈S,f(X)>f(X* ),则称 X* 为f(X)在S上的严格局部极小点, f(X* )为
严格局部极小值。 全局极小点(值):对于所有的X ∈S,都
有f(X)≥f(X* ),则称X* 为f(X)在S上的全局 极小点,f(X* )为全局极小值。
f(λy+(1- λ)X*)≥f(X* )
(1)
由于f为凸函数,有 λf(y)+(1-λ)f(X* )≥f(λy+(1- λ)X*) (2)
由(1)、(2),得到 f(y)≥f(X* ). 所以X*为全局最小点. 记a:= minf=f(X*),则S上的极小点的集合
Sa={X|X∈R,f(X)≤a}.由性质3知, Sa是凸集.
非线性最优化
第一节 基本概念 1.1 非线性问题的提出
例1 某公司经营两种设备,第一种设备售价30元,第二种设备售价450元。根据统计,售出一件第一 种设备所需要的营业时间平均是0.5小时,第二种设备是(2+0.25 x2 )小时,其中x2是第二种设备的售出数量。 已知该公司在这段时间内的总营业时间为800小时,试决定使其营业额最大的营业计划. 分析:设该公司经营第一种设备x1件,第二种设备 x2 件,其营业额为f(X),依题意列出问题的数学模型:
凸函数的性质
性质1 设f(X)为定义在凸集S上的凸函数, 则对任意实数b≥ 0,函数bf(X)也是定义在S上的凸函数. 性质2 设f1(X)和 f2(X)为定义在凸集S上的两个凸函数,则其和f(X)= f1(X)+f2(X)仍为定义在S上
的凸函数. 性质3 设f(X)为定义在凸集S上的凸函数,则对任一实数b,集合
1.4 凸规划
非线规划的数学模型
Minf(X)
(1.1)
hi(X)=0 i=1,2, … ,m
(1.2)
gj(X) ≥ 0 j=1,2, … ,l
(1.3)
满足约束条件(1.2)和(1.3)的点称为可行点
(可行解),所有可行点的集合称为可行域.
若某个可行解使目标函数(1.1)最小,就称
它为最优解.
若这算法是有效的,那么它所产生的解的序列将收敛于该问题的最优解.
若由某算法所产生的解的序列{X(k)}使 目标函数值f(X(k))逐步减小,就称这算法为 下降算法.
假定已迭代到点X(k),若从X(k)出发沿任
何方向移动都不能使目标函数下降,则X(k)是 局部极小点,迭代停止.若从X(k)出发至少存 在一个方向可使目标函数值有所下降,则可 选能使目标函数值下降的某方向P(k),沿这 方向迈进适当的一步,得到下一个迭代点 X(k+1),并使 f(X(k+1))<f(X(k)). 这相当于在射线X= X(k)+λP(k)上选定新点
1.3 凸函数和凹函数 凸函数:设f(X)是定义在n维欧氏空间En 中某个
凸集S上的函数, 若对任何实数a(0<a <1)以及S中的 任意两点X(1)和X(2),恒有
f(aX(1)+(1-a) X(2)) ≤ af(X(1))+(1-a)f(X(2)) (1.5) 则称f(X)为定义在S上的凸函数.
在下降迭代步骤中,关键是选取搜索方向P(k) 和确定步长λk .
确定步长λk的常用方法: (1) 令λk等于某一常数. (2) 只要能使目标函数值下降,可选取任意λk. (3) 沿射线X= X(k)+λP(k)求目标函数f(X)的极小:
λk : φ(λ)=Minf(X(k)+λP(k)) 称这一过程为(最优)一维搜索或线搜索,以此 确定的步长为最佳步长.
或
其中 为函数f(X)在点X* 处的梯度。
定理2 (充分条件)设S是n维欧氏空间En 上的某一开集,f(X)在S上具有二阶连续偏导数,X*∈S,若
▽f(X*) =0,且对任何非零向量Z∈En有
ZTH(X*)Z>0 (1.4)
则X*为f(X)的严格局部极小点.此处H(X*)为f(X)在点X*处的海赛(Hesse)矩阵.
▽f(X*)T(X-X*)≥0 则X*是f(X)在S上的最小点(全局极小点).
证 由定理3,对任意X∈S有 f(X)≥f(X*)+▽f(X*)T(X-X*)≥f(X*),证毕. 注1:若▽f(X*) =0,则▽f(X*)T(X-X*)≥0. 注2:最小点未必唯一,但凸集上严格凸函 数的最小点唯一. 注3:对凹函数也有上述类似的结果.
1.5 下降迭代算法 迭代法基本思想:
为了求函数f(X)的最优解,首先给定一个
初始估计X(0),然后按某种算法找出比X(0)更好
的解X(1)(对极小化问题,f(X(1))<f(X(0));对极大化问题,f(X(1))> f(X(0))),再按此种规则找出比X(1)更好的解 X(2),….如此即可得到一个解的序列{X(k)}.若这个解序列有极限X*,即limk→∞‖X(k)-X*‖=0,则称它收敛于X*.
严格凸函数:若对每一个a(0<a<1)以及S中的 任意两点X(1)和X(2), X(1)≠ X(2) ,恒有
f(aX(1)+(1-a) X(2)) < af(X(1))+(1-a)f(X(2)) (1.6) 则称f(X)为定义在S上的严格凸函数.
将(1.5)和(1.6)中的不等号反向,即可得到凹函数 和严格凹函数的定义.
考虑非线性规划
Minx∈S f(X) S={X|gj(X)≥0,j=1,2…,l} 假定其中f(X)为凸函数,gj(X)(j=1,2…,l)为凹 函数.这样的非线性规划称为凸规划. 凸规划具有如下性质: 1) 凸规划的可行域为凸集; 2) 凸规划的局部最优解为全局最优解; 3) 凸规划的最优解集为凸集; 4) f(X)为严格凸函数时,凸规划的最优解唯一.
则称{x(k)}收敛的阶为α,或{x(k)} α阶收敛. 当α=2时,称为二阶收敛,也称{x(k)}具有
二阶敛速;当1<α<2时,称为超线性收敛; 当α=1, 0<β<1时,称为线性收敛或一阶收敛.
常用的收敛的准则有以下几种: (1). 根据相继两次迭代的绝对误差
‖X(k+1)-X(k)‖<ε |f(X(k+1))-f(X(k))|< ε (2).根据相继两次迭代的相对误差
例5. 求解非线性规划
x 2 g2(x)0
g1(x)0
A
min f (x) x12 x22 4x1 4 O s.t. g1(x) x1 x2 2 0
2
4
x1
g2(x) x12 x2 1 0
x1 0, x2 0
最A ( 优 0 .5,1 .3 8) 点 4 ,m f i3 .n 8
凸函数的极值
定理6 若f(X)为定义在凸集S上的凸函数,
则它的任一极小点就是它在S上的最小点(全
局极小点); 而且,它的极小点形成一个凸集.
证 设X* ∈S是一个局部极小点,则存在
ε>0,使得对任意X∈Nε(X* ),恒有f(X)≥f(X* ). 令y是S中任一点,则对充分小的λ∈(0,1),
有 λy+(1- λ)X*∈Nε(X* ), 从而
注2:最小点未必唯一,但凸集上严格凸函 数的最小点唯一.
事实上,设有两个最小点X≠Y,令 Z=λX+(1- λ)Y, λ∈(0,1),则 f(Z)<λf(X)+(1-λ)f(Y)
≤ λf(X)+(1- λ)f(X)=f(X),矛盾. 例4 求函数f(x1,x2,x3)
= x1+2x3 + x2x3- x12 -x22 – x32 的极值.
λX’+(1- λ)X* ∈S∩Nε(X* ). 又由f凸,有
f(λX’+(1- λ)X*) ≤λf(X’)+(1-λ)f(X* )<λf(X* )+(1-λ)f(X*)
=f(X*) 此与X*局部极小矛盾.
所以X*为全局最小点.