[论文解读] Fixed points of Legendre-Fenchel type transforms

Alfredo N. Iusem, Daniel Reem+1 more|arXiv (Cornell University)|Jul 25, 2017

Advanced Differential Geometry Research参考文献 30被引用 4

一句话总结

本文研究了实希尔伯特空间中涉及勒让德-弗歇尔型变换的不动点方程，刻画了方程 $ f(x) = \tau f^*(Ex + c) + \langle w,x\rangle + \beta $ 的解。结果表明，解集对参数极为敏感，可能无解、有唯一解或有无穷多解，包括二次型与非二次型解。

ABSTRACT

A recent result characterizes the fully order reversing operators acting on the class of lower semicontinuous proper convex functions in a real Banach space as certain linear deformations of the Legendre-Fenchel transform. Motivated by the Hilbert space version of this result and by the well-known result saying that this convex conjugation transform has a unique fixed point (namely, the normalized energy function), we investigate the fixed point equation in which the involved operator is fully order reversing and acts on the above-mentioned class of functions. It turns out that this nonlinear equation is very sensitive to the involved parameters and can have no solution, a unique solution, or several (possibly infinitely many) ones. Our analysis yields a few by-products, such as results related to positive definite operators, and to functional equations and inclusions involving monotone operators.

研究动机与目标

• 刻画实希尔伯特空间中下确界连续的正规凸函数类下不动点方程 $ f(x) = \tau f^*(Ex + c) + \langle w,x\rangle + \beta $ 的解。
• 将已知的归一化能量函数作为标准勒让德-弗歇尔变换不动点的唯一性结果，推广至更广义的算子类。
• 分析当 $ E $ 非正定时，解在参数 $ \tau, E, c, w, \beta $ 变化下的行为。
• 探讨与完全勒让德函数及单调算子理论的联系。
• 确定方程在何种条件下存在唯一解、多重解或无解，包括非二次型解。

提出的方法

• 利用希尔伯特空间中的凸共轭与勒让德-弗歇尔对偶性，对不动点方程进行形式分析。
• 应用完全序反向算子被表征为勒让德-弗歇尔变换的线性变形这一结果。
• 利用函数方程与共轭对偶性，推导解的必要与充分条件。
• 借助已知的完全勒让德函数结果，为可微解导出微分-函数方程。
• 通过直和分解与共轭公式构造显式例子，生成多重解。
• 利用正定算子的结构性结果及其对严格凸性与可逆性的影响。

实验结果

研究问题

• RQ1 在下确界连续的正规凸函数类中，不动点方程 $ f(x) = \tau f^*(Ex + c) + \langle w,x\rangle + \beta $ 在何种条件下有解？
• RQ2 该方程是否可能有多个解？若有，其参数配置条件为何？
• RQ3 当 $ E $ 为正定时，解是否唯一？该结果是否可推广至已知的归一化能量函数唯一性？
• RQ4 非二次型解的结构如何？能否显式构造？
• RQ5 函数 $ f $ 及其共轭的可微性如何影响方程的可解性？

主要发现

• 不动点方程的解取决于参数 $ \tau, E, c, w, \beta $，可能无解、有唯一解或有无穷多解。
• 当 $ E $ 为正定时，由 (3.1) 式系数定义的二次函数是解，但唯一性无法保证。
• 存在无穷多组二次解的例子（见例 13.1），以及非二次解的例子（见例 13.2）。
• 归一化能量函数 $ f(x) = \frac{1}{2}\|x\|^2 $ 是 $ f = f^* $ 的唯一解，确认了在更广泛背景下的已知结果。
• 若 $ f $ 为完全勒让德函数（即凸、下确界连续，且 $ f $ 与 $ f^* $ 均为Gateaux可微），则其满足微分-函数方程 (15.1)，表明可微性与可解性之间存在关联。
• 若算子 $ A $ 可逆且为半正定，则当 $ f(x) = \frac{1}{2}\langle Ax,x\rangle $ 满足 $ f^*(Ax) = f(x) $ 时，$ A $ 必为正定，此结论由引理 7.5 与引理 4.2 证明。