2025-11-10T02:44:50.265935

Characterizing Maximal Monotone Operators with Unique Representation

Armeniakos, Daniilidis

We study maximal monotone operators $A : X \rightrightarrows X^*$ whose Fitzpatrick family reduces to a singleton; such operators will be called uniquely representable. We show that every such operator is cyclically monotone (hence, $A=\partial f$ for some convex function $f$) if and only if it is 3-monotone. In Radon-NikodÃ½m spaces, under mild conditions (which become superfluous in finite dimensions), we prove that a subdifferential operator $A=\partial f$ is uniquely representable if and only if $f$ is the sum of a support and an indicator function of suitable convex sets.

academic

Characterizing Maximal Monotone Operators with Unique Representation

基本信息

论文ID: 2510.09368
标题: Characterizing Maximal Monotone Operators with Unique Representation
作者: Sotiris Armeniakos & Aris Daniilidis
分类: math.FA (泛函分析), math.OC (优化与控制)
发表时间: 2025年10月10日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.09368

摘要

本文研究Fitzpatrick族约化为单点集的极大单调算子 $A : X \rightrightarrows X^*$ ，并称这类算子为唯一可表示的。研究表明，当且仅当算子是3-单调的时候，每个这样的算子都是循环单调的（因此 $A = \partial f$ 对某个凸函数 $f$ 成立）。在Radon-Nikodým空间中，在温和条件下（在有限维情况下这些条件变得多余），证明了次微分算子 $A = \partial f$ 是唯一可表示的当且仅当 $f$ 是适当凸集的支撑函数和指示函数的和。

研究背景与动机

问题背景

单调算子理论是现代凸分析的核心组成部分，在优化、偏微分方程、机器学习等领域有广泛应用。对于单调算子 $A : X \rightrightarrows X^*$ ，其Fitzpatrick族 $\mathcal{F}_A$ 包含所有满足特定条件的代表函数。

核心问题

本文要解决的核心问题是：**哪些极大单调算子具有唯一的代表函数？**即Fitzpatrick族 $\mathcal{F}_A$ 退化为单点集 $\{F_A\}$ 的算子的完全刻画。

研究意义

理论意义：深化对单调算子结构的理解，特别是代表函数的唯一性问题
应用价值：为优化算法、机器学习、最优传输等领域提供理论基础
方法创新：提供了一种新的计算次微分算子Fitzpatrick函数的方法

现有研究局限

已知结果仅涵盖特殊情况（如次线性函数的次微分、闭凸集的指示函数）
缺乏对一般情况的完整刻画
线性单调算子的情况已解决，但非线性情况仍有待研究

核心贡献

建立了3-单调性与循环单调性的等价关系：证明了对于唯一可表示的极大单调算子，3-单调等价于循环单调
给出了唯一可表示次微分算子的完整刻画：在Radon-Nikodým空间中，完全刻画了具有唯一代表函数的次微分算子
提供了新的计算方法：为次微分算子的Fitzpatrick函数提供了新的计算途径
扩展了已知结果：将现有的特殊情况推广到更一般的函数类

方法详解

核心概念定义

代表函数：函数 $h : X \times X^* \to \mathbb{R} \cup \{+\infty\}$ 是算子 $A$ 的代表函数如果满足：

(R1) $h$ 是真、凸、下半连续的
(R2) $h(x,x^*) \geq \langle x,x^* \rangle$ 对所有 $(x,x^*) \in X \times X^*$
(R3) $h(x,x^*) = \langle x,x^* \rangle$ 对所有 $(x,x^*) \in \text{Gr}(A)$

Fitzpatrick函数： $F_A(x,x^*) = \langle x,x^* \rangle - \inf_{(y,y^*) \in \text{Gr}(A)} \langle x-y, x^*-y^* \rangle$

唯一可表示性：算子 $A$ 称为唯一可表示的，如果 $\mathcal{F}_A = \{F_A\}$ 。

主要技术工具

边际函数构造

对于单调算子 $A$ ，定义边际函数： $f_{A,w}(x) := \inf_{a^* \in X^*} \{P_A(x,a^*) - \langle w,a^* \rangle\}$ $g_{A,v^*}(x^*) := \inf_{a \in X} \{P_A(a,x^*) - \langle a,v^* \rangle\}$

这些函数的对偶在Fitzpatrick函数和 $P_A$ 函数之间建立了重要联系。

不变性性质

唯一可表示性在图的平移和伸缩变换下保持不变，这为研究提供了灵活性。

关键技术引理

引理3.1：对于极大单调算子 $A$ ，以下等价：

$\mathcal{F}_A$ 是单点集
$F_A \equiv P_A$
对所有 $(x,x^*), (y,y^*) \in X \times X^*$ ： $F_A(x,x^*) + F_A(y,y^*) \geq \langle x,y^* \rangle + \langle y,x^* \rangle$

主要定理

定理A（3-单调性刻画）

设 $A : X \rightrightarrows X^*$ 是极大单调算子且 $\mathcal{F}_A = \{F_A\}$ ，则以下等价：

$A$ 是3-单调的
$A$ 是循环单调的

更进一步，对每个 $v^* \in \text{Im}(A)$ ，函数 $x \mapsto F_A(x,v^*)$ 是真凸下半连续的，且 $A = \partial F_A(\cdot, v^*)$ 。

定理B（次微分算子的结构刻画）

设 $X$ 是Radon-Nikodým空间， $f : X \to \mathbb{R} \cup \{+\infty\}$ 是真凸下半连续函数，满足 $\text{int}(\text{dom}f) \neq \emptyset$ 和 $\text{int}(\text{dom}f^*) \neq \emptyset$ 。则Fitzpatrick族 $\mathcal{F}_{\partial f}$ 是单点集当且仅当存在常数 $c \in \mathbb{R}$ 、泛函 $x^* \in X^*$ 和闭凸集 $K,C \subseteq X$ 、 $V \subseteq X^*$ ，其中：