[论文解读] Maximal monotone operators are selfdual vector fields and vice-versa

Nassif Ghoussoub|ArXiv.org|Oct 16, 2006

Advanced Mathematical Modeling in Engineering参考文献 12被引用 10

一句话总结

本文在一致可分的巴拿赫空间上建立了极大单调算子与自对偶向量场之间的对偶性：每个自对偶拉格朗日函数通过其次微分生成一个极大单调算子，反之亦然，每个极大单调算子均可表示为某个自对偶拉格朗日函数的次微分。该等价关系使得可通过自对偶势能导出的泛函最小化，实现对涉及此类算子的方程的变分解法。

ABSTRACT

If $L$ is a selfdual Lagrangian $L$ on a reflexive phase space $X imes X^*$, then the vector field $x o \bar\partial L(x):=\{p\in X^*; (p,x)\in \partial L(x,p)\}$ is maximal monotone. Conversely, any maximal monotone operator $T$ on $X$ is derived from such a potential on phase space, that is there exists a selfdual Lagrangian $L$ on $X imes X^*$ (i.e, $L^*(p, x) =L(x, p)$) such that $T=\bar\partial L$. This solution to problems raised by Fitzpatrick can be seen as an extension of a celebrated result of Rockafellar stating that maximal cyclically monotone operators are actually of the form $T=\partial ϕ$ for some convex lower semi-continuous function on $X$. This representation allows for the application of the selfdual variational theory --recently developed by the author-- to the equations driven by maximal monotone vector fields. Consequently, solutions to equations of the form $Λx\in Tx$ for a given map $Λ: D(Λ)\subset X o X^*$, can now be obtained by minimizing functionals of the form $I(x)=L(x,Λx)-< x, Λx>$.

研究动机与目标

• 解决非线性分析中关于极大单调算子变分表示的长期悬而未决问题。
• 将罗卡费拉尔对循环单调算子的表示定理推广至更广泛的极大单调算子类。
• 证明在一致可分的巴拿赫空间上，每个极大单调算子均可表示为某个自对偶拉格朗日函数的次微分。
• 为求解形如 $\Lambda x \in Tx$ 的方程提供一个变分框架，基于自对偶变分理论。

提出的方法

• 为定义在 $X \times X^*$ 上的自对偶拉格朗日函数 $L$，定义其导出向量场 $\bar{\partial}L(x) = \{p \in X^* \mid (p,x) \in \partial L(x,p)\}$。
• 利用勒让德-芬赫尔对偶性质与凸分析，证明任意此类 $\bar{\partial}L$ 均为极大单调算子。
• 通过在嵌套的子自对偶拉格朗日函数族上使用超限归纳法，从给定的极大单调算子 $T$ 构造出自对偶拉格朗日函数 $N_T$。
• 利用不等式 $L^*(p,x) \geq L(x,p) \geq \langle x,p\rangle$ 确保存在一个自对偶扩张 $N$，使得 $\bar{\partial}N = T$。
• 应用自对偶变分理论，通过最小化形如 $I(x) = L(x, \Lambda x) - \langle x, \Lambda x \rangle$ 的泛函，求解 $\Lambda x \in Tx$。
• 利用自对偶拉格朗日函数的对偶关系 $L^*(p,x) = L(x,p)$，确保对称性与变分结构。

实验结果

研究问题

• RQ1 在一致可分的巴拿赫空间上，每个极大单调算子是否均可表示为某个自对偶拉格朗日函数的次微分？
• RQ2 是否存在一种变分原理，可将经典次微分最小化推广至一般极大单调算子？
• RQ3 自对偶变分理论如何用于求解涉及极大单调向量场的方程？
• RQ4 自对偶拉格朗日函数与极大单调算子的菲茨帕特里克表示之间存在何种关系？

主要发现

• 每个定义在 $X \times X^*$ 上的自对偶拉格朗日函数 $L$ 均可通过 $T(x) = \bar{\partial}L(x)$ 生成一个极大单调向量场。
• 对任意定义域非空的极大单调算子 $T$，均存在一个自对偶拉格朗日函数 $N$，使得 $T = \bar{\partial}N$。
• $N$ 的构造依赖于在嵌套的子自对偶拉格朗日函数族上使用超限归纳法，其极限为自对偶函数。
• $\Lambda x \in Tx$ 的解通过最小化 $I(x) = N(x, \Lambda x) - \langle x, \Lambda x \rangle$ 获得，且最小值为零。
• 与算子 $T$ 关联的自对偶拉格朗日函数 $N_T$ 满足 $L_T(x,p) \leq N_T(x,p) \leq L_T^*(p,x)$ 且 $N_T^*(p,x) = N_T(x,p)$。
• 该结果通过将罗卡费拉尔定理从循环单调算子推广至一般极大单调算子，实现了推广。