有关凸集的证明例题_第1章引言题解1. 用定义验证下列各集合是凸集: (1) S={(X1 ......
) f(x1,x2)=x21-4x1x2+x22+x1+x2;
(3) f(x1,x2)=(x1-x2)2+4x1x2+ex1+x2;
(4) f(x1,x2)=x1e-(x1+x2);
(5) f(x1,x2,x3)=x1x2+2x21+x22+2x23-6x1x3.
解(1) 2f(x)=
2-2
-22
为半正定矩阵,故f(x1,x2)是凸函数.
(2) 2f(x)=
2-4
-42
为不定矩阵,故f(x1,x2)不是凸函数.
(3) fx1=2(x1-x2)+4x2+ex1+x2,
fx2=-2(x1-x2)+4x1+ex1+x2,
2fx21=
2+ex1+x2,
2fx1x2=
2fx2x1=
2+ex1+x2,
2fx22=
2+ex1+x2,
因此Hesse矩阵
2f(x)=
2+ex1+x22+ex1+x2
2+ex1+x22+ex1+x2
=(2+ex1+x2)
11
11
为半正定矩阵,因此f(x)是凸函数.
(4) fx1=e-(x1+x2)-x1e-(x1+x2)=(1-x1)
e-(x1+x2),fx2=-x1e-(x1+x2),
2fx21=(x1-2)e-(x1+x2)
,
2fx1x2=2fx2x1=(x1-1)e-(x1+x2)
,
2fx22=x1e-(x1+x2),
于是Hesse矩阵
2f(x)=
e-(x1+x2)
x1-2x1-1
x1-1x1
为不定矩阵,故f(x)不是凸函数.
(5) f(x)的Hesse矩阵为
2f(x)=
41-6
120
-604
.
做合同变换:
41-6
120
-604
400
07432
032-5
400
070
00-447
.
由此可得2f(x)为不定矩阵,因此f(x)不是凸函数.
10. 设f(x1,x2)=10-2(x2-x21)2,
S={(x1,x2)|-11≤x1≤1,-1≤x2≤1},
f(x1,x2)是否为S上的凸函数?
解fx1=8x1(x2-x21),fx2=-4(x2-x21),
2fx21=8(x2-3x21),2fx1x2=
2fx2x1=8x1,2fx22=-4,
函数f(x1,x2)的Hesse矩阵为
2f(x)=
8(x2-3x21)8x1
8x1-4
.
易知2f(x)在集合S上不是半正定矩阵,如在点(0,1)处的Hesse矩阵是
80
0-4
,是不定矩阵.因此f(x1,x2)不是S上的凸函数.
11. 证明f(x)=12xTAx+bTx为严格凸函数的充要条件是Hesse矩阵A正定.
证先证必要性.设f(x)=12xTAx+bTx是严格凸函数.根据定理1.4.14,对任意非零向量x及x-=0,必有
f(x)>f(0)+
f(0)Tx.(1)
将f(x)在x-=0处展开,有
f(x)=f(0)+f(0)Tx
+12xT
2f(0)x+o(||x||2).(2)
由(1)式和(2)式知
12xT
2f(0)x+o(||x||2)>0.
由于f(x)是二次凸函数,2f(0)=A,o(||x||2)=0,因此xTAx>0,即A正定.
再证充分性.设A正定,对任意两个不同点x和x-,根据中值定理,有
f(x)=f(x-)+
f(x-)T(x-x-)+12(x-x-)T2f(x^)(x-x-)
=f(x-)+
f(x-)T(x-x-)+12(x-x-)TA
(x-x-)
>f(x-)+f(x-)T(x-x-).
根据定理1.4.14,f(x)=12xTAx+bTx是严格凸函数.
12. 设f是定义在Rn上的凸函数,x(1),x(2),…,x(k)是Rn中的点,λ1,λ2,…,λk是非负数,且满足λ1+λ2+…+λk=1,证明:
f
有关凸集的证明例题_第1章引言题解1. 用定义验证下列各集合是凸集: (1) S={(X1 ......相关推荐
- 有关凸集的证明例题_泛函分析题1.5凸集与不动点答案
20070504 1 泛函分析题 1_5 凸集与不动点 p52 1.5.1 设 X 是 B * 空间, E 是以 为内点的真凸子集, P 是由 E 产生的 Minkowski 泛函,求证: (1) ...
- 向量范数证明例题_第八课:向量的范数
写在前面的话: 很高兴能够认识饭卡里还有好多钱这位土豪大佬.向大佬学习,为成为一名真正的段子手+逗比而奋斗. 范数的概念 向量的范数是一种用来刻画向量大小的一种度量.实数的绝对值,复数的模,三维空间向 ...
- 向量范数证明例题_数值与计算方法第六章向量范数和矩阵范数试题.ppt
在很多实际问题中,我们需要对向量和矩阵的大小引进度量,这些度量便是向量与矩阵范数的概念. 6.6.1 向量范数 约定:用 表示所有 n 维实的列向量 的实线性空间. 在 上引入向量范数的定义如下: 定 ...
- 椭圆是一个凸集的证明
椭圆是一个凸集的证明 常见的凸集 椭圆是凸集的证明 从定义上证明椭圆是一个凸集合 从 norm 的角度去看 ellipsoid Mahalanobis norm 椭圆是一个 norm ball 从仿射 ...
- java程序设计基础_陈国君版第五版_第七章例题
java程序设计基础_陈国君版第五版_第七章例题 class Cylinder {private double radius;private int height;private double pi ...
- java程序设计基础_陈国君版第五版_第四章例题
java程序设计基础_陈国君版第五版_第四章例题 <pre name="code" class="java">public class Main4_ ...
- java程序设计基础_陈国君版第五版_第五章例题
java程序设计基础_陈国君版第五版_第五章例题 public class Main5_1 {public static void main(String[] args){int i;int[] a; ...
- java程序设计基础_陈国君版第五版_第六章例题
java程序设计基础_陈国君版第五版_第六章例题 class Cylinder {double radius;int height;double pi = 3.14;void area(){Syste ...
- java程序设计基础_陈国君版第五版_第十一章例题
java程序设计基础_陈国君版第五版_第十一章习题 class MyThread extends Thread { private String who;public MyThread(String ...
最新文章
- python3批量修改文件名称 代码说明
- Java设计模式-适配器模式Adapter
- 画活动图教程_二次元人物头发怎么画?画好头发有什么技巧?
- go genetlink demo
- http有哪些请求方法
- UIKit 框架之UIActionSheet
- html5 字符相等,js里返回字符ok与字符ok比较不相等的问题
- 物联网python教程慕课_物联网小白入门
- 介绍一个基于 .NET 的船的新 PHP SDK + Runtime: PeachPie
- //rest风格写_REST /使用提要发布事件
- 微信分享接口调用(自测通过可以用)
- 从Fedora CoreOS(Fedora35)到CentOS-Stream9的重构
- 计算机网络 故障处理,计算机网络通讯技术故障分析与处理
- Java获取resin端口_线上解决Resin服务响应过慢的几个方法
- python3---情感分析(基于词典中文)
- WindRiver Linux Yocto Project Note
- QTreeView使用总结: 自定义model示例,大大优化性能和内存
- 三维全景从制作到上传
- hdu 3535 AreYouBusy 经典混合背包
- 【钛媒体】人人不死,只是凋零