凸优化作业-1
Problem 1:
将优化问题最小化 ∥Ax−b∥∞满足∥x∥1≤1转化为线性规划。
解答:
重写 ∥Ax−b∥∞:
根据ℓ∞范数的定义,我们可以引入一个辅助变量t,使得:∥Ax−b∥∞=1≤i≤mmax∣(Ax−b)i∣≤t这可以转化为以下约束:−(Ax−b)i≤t和(Ax−b)i≤t对于所有 i=1,2,…,m这意味着我们可以写出以下不等式:Ax−b≤t1和−Ax+b≤t1其中1是一个全1的向量。
将问题转化为线性规划:
于是我们需要最小化t,同时满足以下约束条件:
Ax−b≤t1−Ax+b≤t1∣x∣1≤1
最终的线性规划可以表述为:
最小化 t满足 Ax−b=te−Ax+b=tej=1∑n∣xj∣≤1
Problem 2:
(a)证明所有满足X是半正定的,且I−X也是半正定的X构成的集合S是凸集
假设X1,X2∈S考虑Y=λX1+(1−λ)X2yTX1y≥0和yTX2y≥0对于所有 y∈Rn考虑任意向量y∈Rn计算yTYy:yTYy=yT(λX1+(1−λ)X2)y=λyTX1y+(1−λ)yTX2y由于X1和X2都是半正定的,得到:yTYy≥λ⋅0+(1−λ)⋅0=0因此,Y是半正定的。现在考虑I−Y:I−Y=I−(λX1+(1−λ)X2)=(1−λ)I−λX1+(1−λ)I−(1−λ)X2计算yT(I−Y)y:yT(I−Y)y=yTy−yTYy=yTy−(λyTX1y+(1−λ)yTX2y)从而得到:yT(I−Y)y=yTy−λyTX1y−(1−λ)yTX2y根据I−X1和I−X2都是半正定的,得到:yT(I−X1)y≥0和yT(I−X2)y≥0所以:yTy≥yTX1y和yTy≥yTX2y结合线性组合性质:yTy≥λyTX1y+(1−λ)yTX2y因此,yT(I−Y)y≥0这表明I−Y也是半正定的。
(b) 证明集合 S={X∈Sn:rank(X)≤1}是否为凸集
证明:
设X1,X2∈S,这意味着rank(X1)≤1和rank(X2)≤1。由于rank(X1)≤1,我们可以表示X1为:X1=u1v1T其中u1∈Rm和v1∈Rn。同理,X2可以表示为:X2=u2v2T对于θ∈[0,1],考虑矩阵:Xθ=θX1+(1−θ)X2=θ(u1v1T)+(1−θ)(u2v2T)然而两个矩阵的和的秩有可能是2,故而不是凸集
Problem 3:
设B(0,1)⊂Rn是单位欧几里得球,考虑集合N(x)={u∈Rn:uT(y−x)≤0 对于所有 y∈B(0,1)}
(a) 证明 ( N(x) ) 是一个凸锥
选择任意u1,u2∈N(x):根据定义,对于任意y∈B(0,1),都有:u1T(y−x)≤0和u2T(y−x)≤0考虑非负组合:对于任意非负标量α,β≥0,考虑u=αu1+βu2。验证条件:我们需要验证uT(y−x)≤0对于所有y∈B(0,1):uT(y−x)=(αu1+βu2)T(y−x)=αu1T(y−x)+βu2T(y−x)由于u1T(y−x)≤0和u2T(y−x)≤0,因此:uT(y−x)≤α⋅0+β⋅0=0所以,u∈N(x)。因此,N(x)是一个凸锥。
(b) 给出 ( N(x) ) 的显式描述
我们可以考虑N(x)中的向量u的条件。对于任意y∈B(0,1),我们有:∣y∣2≤1因此,y−x的范数可以表示为:∥y−x∥2≤∥y∥2+∥x∥2≤1+∥x∥2要使得uT(y−x)≤0对所有y成立,u必须在某个方向上与y−x形成一个夹角不小于90度。这意味着u必须指向x的反方向。因此,N(x)可以描述为所有指向x的反方向的向量的集合:N(x)={u∈Rn:uTx≤0}
Problem 4:
(a) 找到 ΠH−(s,c)(x) 的公式并证明其正确性
投影公式:
对于任意点 x∈Rn,其在半空间 H−(s,c) 上的投影可以通过以下公式给出:
ΠH−(s,c)(x)=x−∥s∥2sTx−cs
证明:
希望找到一个点y∈H−(s,c),使得∣∣y−x∣∣最小。根据投影的定义,最优解y应满足:sTy=c设y=x+αs,其中α是一个待定的标量。我们需要找到α使得y满足sTy=c:sT(x+αs)=sTx+α∥s∥2=c解这个方程得到:α=∥s∥2c−sTx代入y:y=x+∥s∥2c−sTxs验证y在半空间内:sTy=sTx+(c−sTx)=c因此y在超平面上,且由于y是通过向量s的方向调整得到的,所以y在半空间H−(s,c)内。因此ΠH−(s,c)(x)=x−∥s∥2sTx−cs
(b) 证明对于任意 v∈Rn 和 δ∈R,都有ΠΔ(v)=ΠΔ(v+δe)
证明:
对于v的投影:ΠΔ(v)=argminx∈Δ∥x−v∥对于v+δe的投影:ΠΔ(v+δe)=argminx∈Δ∥x−(v+δe)∥由于eTx=1的约束是线性的,且δ只是对所有坐标的均匀偏移,因此投影的结果不会受到δ的影响。故ΠΔ(v)=ΠΔ(v+δe)