[论文解读] A further improvement of a minimax theorem of Borenshtein and Shulman

Biagio Ricceri|ArXiv.org|Dec 31, 2004

Optimization and Variational Analysis参考文献 6被引用 14

一句话总结

本文提出了一项新的极小极大定理，该定理推广并改进了 Borenshtein 和 Shulman 以及 Saint Raymond 的先前结果。证明了在第一变量满足拟凹性、第二变量在较弱拓扑下满足下半连续性与全局最小值性质，且子水平集具有序列紧致性时，极小极大等式成立。其主要贡献在于引入了一套基于序列紧致性和较弱拓扑的拓扑框架，将极小极大恒等式的有效性扩展至经典设定之外。

ABSTRACT

I do improve a recent improvement (due to Saint Raymond) of a minimax theorem of Borenshtein and Shul'man, replacing a global compactness assumption by a local one.

研究动机与目标

• 在比经典结果更弱的连续性和凸性假设下，扩展经典的极小极大等式。
• 通过引入新的拓扑框架，推广 Borenshtein 和 Shulman 以及 Saint Raymond 的先前极小极大定理。
• 建立在标准连续性或凸性假设不成立时，极小极大等式依然成立的条件。
• 通过在较弱拓扑下使用序列紧致性和下半连续性，对极小极大等式提供一种拓扑表征。
• 通过使用序列拓扑和多值函数分析，统一并改进现有极小极大理论中的结果。

提出的方法

• 引入了拓扑 $\tau_s$，即序列 $\tau$-闭集的拓扑，该拓扑强于 $\tau$，并确保序列下半连续性等价于 $\tau_s$-下半连续性。
• 在 $X$ 上使用较弱的拓扑 $\tau_1$，其弱于 $\tau_s$，从而允许更灵活的下半连续性条件。
• 定义多值函数 $F(\lambda) = \{x \in X : f(x,\lambda) \leq 0\}$，并利用序列紧致性和区间结构，证明其在某点 $\lambda^*$ 处不满足下半连续性。
• 应用一种新颖的拓扑论证，通过辅助函数 $\alpha(x)$ 和 $\beta(x)$ 的下确界与上确界，定位 $NLS_{\tau_1}(F(\lambda^*))$ 中的点。
• 通过反证法假设极小极大不等式不成立，并重新定义 $\varphi(x,\lambda) = f(x,\lambda) - r$ 以应用定理 3。
• 利用命题 1 和定理 2，证明存在一个局部最小值，该最小值与条件 (c2) 下的全局最小值性质矛盾，从而证明了极小极大等式。

实验结果

研究问题

• RQ1 在比 Borenshtein 和 Shulman 定理中更弱的连续性和凸性假设下，能否建立极小极大等式？
• RQ2 当函数在第一变量上仅为拟凹性，且在第二变量上于较弱拓扑下为下半连续时，极小极大等式是否仍成立？
• RQ3 在极小极大定理中，能否用拓扑 $\tau$ 下的序列紧致性替代标准紧致性？
• RQ4 是否可能在不假设完全连续性或凹性的情况下，仅通过拓扑和序列性质推导出极小极大等式？
• RQ5 在适当的拓扑条件下，能否利用多值函数下半连续性的失效，来保证存在一个既是局部最小值也是全局最小值的点？

主要发现

• 在定理 1 的条件下，极小极大等式 $\sup_{\lambda\in I}\inf_{x\in X}f(x,\lambda) = \inf_{x\in X}\sup_{\lambda\in I}f(x,\lambda)$ 成立。
• 要求对每个 $x\in X$，函数 $f(x,\cdot)$ 为拟凹且连续，该条件弱于凹性。
• 对每个 $\lambda\in I$，函数 $f(\cdot,\lambda)$ 为 $\tau_1$-下半连续，且其所有 $\tau_1$-局部最小值均为全局最小值。
• 若存在 $\rho > \sup_{\lambda\in I}\inf_{x\in X}f(x,\lambda)$，且存在 $\lambda_0\in I$ 使得 $\{x\in X : f(x,\lambda_0) \leq \rho\}$ 是序列 $\tau$-紧致的，则极小极大等式成立。
• 证明依赖于反证法，结合定理 3，该定理保证存在一点 $x^*$，使其为某 $\lambda^*$ 的 $\tau_1$-局部最小值，且满足 $f(x^*,\lambda^*) = r$，这与 (c2) 下的全局最小值性质矛盾。
• 该结果改进了 Saint Raymond 的定理 B，通过允许拟凹性和较弱拓扑，从而扩大了极小极大定理的应用范围。