P13 凸函数证明

P13


行列式的对数: f ( x ) = log ⁡ d e t ( x ) d o m f = S + + n f(x)=\log det(x) \quad domf = S^n_{++} f(x)=logdet(x)domf=S++n

n = 1 n=1 n=1, f ( x ) = l o g x f(x)=logx f(x)=logx为凹函数
n > 1 n>1 n>1, ∀ z ∈ S + + n , ∀ t ∈ R , ∀ v ∈ R n ∗ n \forall z \in S^n_{++},\forall t \in R, \forall v \in R^{n*n} zS++n,tR,vRnn
z + t v ∈ S + + n = d o m f z+tv \in S^n_{++} = domf z+tvS++n=domf v ∈ R n ∗ n \quad v \in R^{n*n} vRnn

g ( t ) = f ( z + t v ) = l o g d e t ( z + t v ) = l o g d e t { z 1 2 ( I + t z − 1 2 v z − 1 2 ) z 1 2 } = 2 log ⁡ det ⁡ z 1 2 + log ⁡ det ⁡ { I + t z − 1 2 v z − 1 2 } = log ⁡ det ⁡ z + log ⁡ det ⁡ { I + t z − 1 2 v z − 1 2 } = log ⁡ det ⁡ z + ∑ i = 1 n log ⁡ ( 1 + λ i ) \begin{aligned} g(t) &=f(z+tv) \\ &=log det(z+tv) \\ &= log det \lbrace z^{\frac{1}{2} } (I + tz^{-\frac{1}{2}} v z^{-\frac{1}{2}}) z^{\frac{1}{2}} \rbrace \\ &=2\log \det { z^{\frac{1}{2} } } + \log \det \lbrace {I + tz^{-\frac{1}{2}} v z^{-\frac{1}{2}}} \rbrace \\ &=\log \det { z } + \log \det \lbrace {I + tz^{-\frac{1}{2}} v z^{-\frac{1}{2}}} \rbrace \\ &=\log \det { z } + \sum_{i=1}^n \log (1+\lambda_i) \\ \end{aligned} g(t)=f(z+tv)=logdet(z+tv)=logdet{z21(I+tz21vz21)z21}=2logdetz21+logdet{I+tz21vz21}=logdetz+logdet{I+tz21vz21}=logdetz+i=1nlog(1+λi)

λ i : t z − 1 2 v z − 1 2 \lambda_i:tz^{-\frac{1}{2}} v z^{-\frac{1}{2}} λi:tz21vz21的特征值
Q Λ Q T Q Q T = I Q \Lambda Q^T \quad QQ^T=I QΛQTQQT=I

det ⁡ { I + t z − 1 2 v z − 1 2 } = d e t ( Q Q T + Q Λ Q T ) = d e t ( Q ) d e t ( I + Λ ) d e t ( Q T ) = d e t ( Q ) d e t ( Q T ) d e t ( I + Λ ) = d e t ( I + Λ ) \det \lbrace {I + tz^{-\frac{1}{2}} v z^{-\frac{1}{2}}} \rbrace=det(QQ^T+Q\Lambda Q^T)=det(Q)det(I+\Lambda)det(Q^T)=det(Q)det(Q^T)det(I+\Lambda)=det(I+\Lambda) det{I+tz21vz21}=det(QQT+QΛQT)=det(Q)det(I+Λ)det(QT)=det(Q)det(QT)det(I+Λ)=det(I+Λ)

g ′ ( t ) = ∑ i λ i 1 + t λ i g'(t)=\sum_i \frac{\lambda_i}{1+t\lambda_i} g(t)=i1+tλiλi
g ′ ′ ( t ) = ∑ i − λ i 2 ( 1 + t λ i ) 2 ≤ 0 g''(t)=\sum_i \frac{-\lambda_i^2}{(1+t\lambda_i)^2} \leq 0 g(t)=i(1+tλi)2λi20

所以: f ( x ) f(x) f(x)是凹函数

  • 0
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值