[論文レビュー] 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$-閉集合の位相 $\tau_s$ を導入し、これは $\tau$ より強い位相であり、逐次下半連続性が $\tau_s$-下半連続性と同値であることを保証する。
• $X$ に $\tau_s$ より弱い位相 $\tau_1$ を導入し、より柔軟な下半月連続性条件を許容する。
• 多価関数 $F(\lambda) = \{x \in X : f(x,\lambda) \leq 0\}$ を定義し、逐次コンパクト性と区間構造を用いて、ある $\lambda^*$ において $F$ が非下半月連続であることを証明する。
• 補助関数 $\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$-局所最小値であることを保証し、条件(c2)下でのグローバル最小値性に反する。
• Saint Raymondの定理Bは、擬凹性と弱い位相を許容することで、ミニマックス定理の適用範囲を広げ、より優れた結果を得た。