上述证明过程中
g
(
v
)
=
−
v
T
b
+
inf
y
(
∣
∣
y
∣
∣
−
v
T
y
)
(
v
T
A
=
0
)
−
v
T
b
−
sup
(
v
T
y
−
∣
∣
y
∣
∣
)
g(v)=-v^Tb+\inf_y (||y||-v^Ty)\quad(v^TA=0) \\ -v^Tb-\sup(v^Ty-||y||)
g(v)=−vTb+infy(∣∣y∣∣−vTy)(vTA=0)−vTb−sup(vTy−∣∣y∣∣)
f
∗
(
v
)
=
sup
(
v
T
y
−
∣
∣
y
∣
∣
)
f_*(v)=\sup(v^Ty-||y||)
f∗(v)=sup(vTy−∣∣y∣∣) 表示
f
(
y
)
=
∣
∣
y
∣
∣
f(y)=||y||
f(y)=∣∣y∣∣的共轭函数
再由范数的共轭函数是对偶函数单位球的指示函数。
那么,
f
(
y
)
=
∣
∣
y
∣
∣
f(y)=||y||
f(y)=∣∣y∣∣ 的对偶函数如何表示?
则
f
(
y
)
=
∣
∣
y
∣
∣
f(y)=||y||
f(y)=∣∣y∣∣ 的对偶函数为
∣
∣
v
∣
∣
∗
=
s
u
p
(
v
T
y
∣
∣
y
∣
∣
≤
1
)
||v||_*=sup(v^Ty \quad||y||\le 1)
∣∣v∣∣∗=sup(vTy∣∣y∣∣≤1)
f
∗
(
v
)
=
sup
(
v
T
y
−
∣
∣
y
∣
∣
)
f_*(v)=\sup(v^Ty-||y||)
f∗(v)=sup(vTy−∣∣y∣∣) 表示
f
(
y
)
=
∣
∣
y
∣
∣
f(y)=||y||
f(y)=∣∣y∣∣的共轭函数=
f
∗
(
v
)
=
sup
(
v
T
y
−
∣
∣
y
∣
∣
)
=
{
0
∣
∣
v
∣
∣
∗
≤
1
无
穷
其
它
f_*(v)=\sup(v^Ty-||y||)=\left\{ \begin{aligned} 0 & & {||v||_*\le1}\\ 无穷 & & {其它}\\ \end{aligned} \right.
f∗(v)=sup(vTy−∣∣y∣∣)={0无穷∣∣v∣∣∗≤1其它
带框约束