[論文レビュー] A New Iterative Projection Method for Approximating Fixed Point Problems and Variational Inequality Problems

İbrahim Karahan, Murat Özdemir|arXiv (Cornell University)|Mar 13, 2014

Optimization and Variational Analysis参考文献 8被引用数 3

ひとこと要約

本稿では、実ヒルバート空間における共通固定点および変分不等式問題を解くための新しい外勾配反復法を提案する。非拡大写像の無限族と逆強単調作用素を組み合わせることで、緩い条件下でも共通解への強い収束を達成し、従来の反復スキームを拡張し、収束保証を向上させた。

ABSTRACT

In this paper, we introduce and study a new extragradient iterative process for finding a common element of the set of fixed points of an infinite family of nonexpansive mappings and the set of solutions of a variational inequality for an inverse strongly monotone mapping in a real Hilbert space. Also, we prove that under quite mild conditions the iterative sequence defined by our new extragradient method converges strongly to a solution of the fixed point problem for an infinite family of nonexpansive mappings and the classical variational inequality problem. In addition, utilizing this result, we provide some applications of the considered problem not just giving a pure extension of existing mathematical problems.

研究の動機と目的

• 非拡大写像の無限族と変分不等式問題を同時に解く新しい反復アルゴリズムの開発。
• 提案された反復列が実ヒルバート空間において共通解へ強い収束することの確立。
• 1反復あたり2回の射影を含むハイブリッド構造を組み込んだことで、従来の外勾配型手法の拡張。
• 凸最小化問題および厳密に擬拡大的写像を含む固定点問題への応用の提供。

提案手法

• 2段階の反復スキームを用いる：まず、現在の反復点とその非拡大写像による射影の凸結合により中間点を計算する。次に、この中間点の射影を用いて反復点を更新する。
• アルゴリズムには距離射影 $ P_C $、逆強単調作用素 $ A $、および非拡大写像 $ T $ が含まれ、パラメータ $ \lambda_n \in [a,b] \subset (0,2\alpha) $ および $ \alpha_n \in [c,d] \subset (0,1) $ を用いる。
• 重要な更新式は $ x_{n+1} = T P_C(I - \lambda_n A) y_n $ であり、ここで $ y_n = (1 - \alpha_n)x_n + \alpha_n T P_C(I - \lambda_n A)x_n $ である。
• ヒルバート空間における非拡大写像および逆強単調作用素の性質を活用することで、強い収束を保証するように設計されている。
• 収束解析は、変分不等式の解と写像 $ P_C(I - \lambda A) $ の固定点との等価性に依拠している。
• 凸最小化への応用では $ A = \nabla f $ と設定し、$ \nabla f $ が $ L $-リプシッツ連続であると仮定する。また、厳密に擬拡大的写像を含む固定点問題に対しても適用可能である。

実験結果

リサーチクエスチョン

• RQ1 非拡大写像の無限族と変分不等式問題を同時に解く新しい反復法を設計可能か？
• RQ2 提案された外勾配型スキームは、緩いパrameter制約のもとで強い収束を達成するか？
• RQ3 本手法の収束特性は、マン、ピカール、またはイシカワ反復といった従来の反復スキームと比べてどのように異なるか？
• RQ4 勾配に基づく定式化により、凸最小化問題への本手法の拡張は可能か？
• RQ5 変分不等式作用素が厳密に擬拡大的写像から導かれる場合、収束特性はどのように変化するか？

主な発見

• 提案された反復列は、点 $ z \in F(T) \cap \Omega $ へ強い収束する。ここで $ F(T) $ は非拡大写像の固定点集合、$ \Omega $ は変分不等式問題の解集合である。
• 強収束は、$ \lambda_n \in [a,b] \subset (0,2\alpha) $ および $ \alpha_n \in [c,d] \subset (0,1) $ の条件下で保証され、$ \alpha $ は作用素 $ A $ の逆強単調性パラメータである。
• 解集合が非拡大写像の無限族を含む場合でも、本手法は強い収束を達成する。これは、先行研究における弱収束結果に対する顕著な改善である。
• 凸最小化問題への適用では、$ \nabla f $ が $ L $-リプシッツ連続であると仮定し $ A = \nabla f $ と設定することで、解集合が空でない限り $ \text{Argmin}_{x \in C} f(x) $ の最小化子へ強い収束が保証される。
• 非拡大写像および厳密に擬拡大的写像のペアに適用した場合、本手法は共通固定点へ弱収束する。収束は、等価関係 $ F(S) = VI(C, I-S) $ を用いて確立される。
• 関連文献に言及された研究により、収縮写像の文脈において、本手法は古典的ピカール、マン、イシカワ反復と比較して独立的かつ高速であることが示されている。