[论文解读] Strongly-Representable Operators

M. D. Voisei, Constantin Zălinescu|ArXiv.org|Feb 25, 2008

Optimization and Variational Analysis被引用 9

一句话总结

本文引入并分析了强可表示算子——一类满足强对偶性和共轭条件的凸函数类中具有代表性函数的最大单调算子。主要贡献在于证明了每个强可表示算子都是局部最大单调的、ANA型的，且其Fitzpatrick函数的共轭不一定是代表性函数，从而解决了单调算子理论中长期存在的一个问题。

ABSTRACT

Recently in [1] a new class of maximal monotone operators has been introduced. In this note we study domain range properties as well as connections with other classes and calculus rules for these operators we called strongly-representable. While not every maximal monotone operator is strongly-representable, every maximal monotone NI operator is strongly-representable, and every strongly representable operator is locally maximal monotone, maximal monotone locally, and ANA. As a consequence the conjugate of the Fitzpatrick function of a maximal monotone operator is not necessarily a representative function.

研究动机与目标

• 定义并表征一类新的最大单调算子，称为强可表示算子。
• 研究这些算子的定义域-值域性质及微分法则。
• 澄清强可表示算子与其他类（如NI算子、局部最大单调算子和ANA型算子）之间的关系。
• 解决最大单调算子的Fitzpatrick函数的共轭是否总是代表性函数的问题。

提出的方法

• 本文在乘积空间 $ Z = X \times X^* $ 上使用配对 $ c(z) = \langle x, x^* \rangle $ 定义代表性函数，并引入满足对所有 $ z^* \in Z^* $ 有 $ f^*(z^*) \geq c(z^*) $ 的函数类 $ \mathcal{G}_s(Z) $。
• 证明若 $ f \in \mathcal{G}_s(Z) $，则对所有 $ \alpha > 0 $ 和 $ z \in Z $，有 $ f_\alpha, f_z \in \mathcal{G}_s(Z) $，利用共轭与次微分的变换规则。
• 利用Fitzpatrick函数 $ \varphi_M $ 及其共轭分析最大单调算子的结构，特别关注 $ \varphi_M^* $ 一般情况下并非代表性函数的失败现象。
• 通过函数 $ h(z) = \frac{1}{2}\|z\|^2 $ 的强制性和有界性论证，构造 $ M_f $ 中的逼近序列，证明关键的稠密性和收敛性性质。
• AN型性质的证明依赖于构造有界序列 $ (x_n, x_n^*) \subset M_f $，使得向量 $ (x_n - x, x_n^* - x^*) $ 与 $ (x, x^*) $ 之间的夹角趋近于 $ 180^\circ $，即内积比趋于 $-1$。
• 利用恒等式 $ (g_z)^* = (g^*)_{\widehat{z}} $ 和次微分平移规则，分析共轭函数在平移和缩放下的行为。

实验结果

研究问题

• RQ1 最大单调算子的Fitzpatrick函数的共轭是否总是代表性函数？
• RQ2 强可表示算子的定义域-值域和结构性质是什么？
• RQ3 强可表示算子与NI、局部最大单调算子及ANA型算子等其他类之间有何关系？
• RQ4 是否每个强可表示算子都能通过其定义域中具有受控范数和内积衰减的点列进行逼近？
• RQ5 在何种条件下，代表性函数 $ f \in \mathcal{G}_s(Z) $ 能生成具有ANA性质的单调算子？

主要发现

• 每个强可表示算子都是局部最大单调的、局部最大单调的，且为ANA型。
• 每个最大单调NI算子都是强可表示的，从而确立了广泛的一类例子。
• 最大单调算子的Fitzpatrick函数的共轭不一定是代表性函数，从而解决了关键开放问题。
• 对任意 $ (x,x^*) \notin M_f $，存在有界序列 $ (x_n,x_n^*) \subset M_f $，使得 $ \frac{\langle x_n - x, x_n^* - x^* \rangle}{\|x_n - x\| \cdot \|x_n^* - x^*\|} \to -1 $，从而确认了ANA性质。
• 本文构造了序列 $ (x_\varepsilon, x_\varepsilon^*) \subset M_f $，使得 $ \|x - x_\varepsilon\|^2 + 2\langle x - x_\varepsilon, x^* - x_\varepsilon^* \rangle + \|x^* - x_\varepsilon^*\|^2 \leq \varepsilon $，表明在图像中具有强逼近性。
• 变换规则 $ (g_z)^* = (g^*)_{\widehat{z}} $ 和 $ \partial g_z(w) = \partial g(w+z) - \widehat{z} $ 被用于证明在平移和缩放下 $ \mathcal{G}_s $ 类保持不变。