[論文レビュー] Weak convergence on Douglas-Rachford method

B. F. Svaiter|arXiv (Cornell University)|Jul 13, 2010

Optimization and Variational Analysis参考文献 7被引用数 12

ひとこと要約

本稿は、実ヒルバート空間における2つの最大単調作用素を含む単調包含問題を解くためのダグラス＝ラチョルフォード分割法の弱収束を確立する。summableな誤差許容度のもとで、アルゴリズムは $0 \in A(\bar{x}) + B(\bar{x})$ を満たす解対 $(\bar{x}, \bar{b})$ に弱収束するような列を生成する。これは、誤差あり反復における先行の強収束結果を、弱位相に拡張したものである。

ABSTRACT

We prove that the sequences generate by the Douglas-Rachford method converge weakly to a solution of the inclusion problem

研究の動機と目的

• 誤差あり反復とsummableな残差誤差を伴うダグラス＝ラチョルフォード法の弱収束を確立すること。
• リヨンズとマーシェの強収束結果を、最大単調作用素の一般設定において弱収束に拡張すること。
• アルゴリズムによって生成される反復列 $\{(x_k, b_k)\}$ および $\{(y_k, a_k)\}$ の収束挙動を分析すること。
• 反復列の弱クラスターポイントが解集合 $S(A,B) = B \cap (-A)$ に属することを証明すること。
• 単調作用素理論の文脈において、ミンティの定理とフィッツパトリック関数の手法を用いて、厳密な収束解析を提供すること。

提案手法

• 誤差がsummableな列 $\{\alpha_k\}$ および $\{\beta_k\}$ で有界であるように、誤差あり反復を含むダグラス＝ラチョルフォード分割フレームワークを用いる。
• ミンティの存在定理を用いて、正確な解を満たす補助的正確反復 $(\hat{y}_k, \hat{a}_k)$ および $(\hat{x}_k, \hat{b}_k)$ を定義する。
• $H \times H$ 上に重み付きヒルバート空間ノルム $\|\cdot\|_\lambda$ を導入し、誤差あり反復と正確反復の距離を分析する。
• 作用素 $A$ および $B$ の単調性を用いて、三角不等式および内積推定を介して誤差バウンドを導出する。
• フィッツパトリック関数および弱*収束の議論を用いて、弱クラスターポイントの分析と収束の証明を行う。
• 部分勾配の和と弱収束を用いた双対性の議論を用いて、極限点が解集合 $S(A,B)$ に属することを示す。

実験結果

リサーチクエスチョン

• RQ1 誤差あり反復とsummableな誤差を伴うダグラス＝ラチョルフォード法は、$0 \in A(x) + B(x)$ の解に弱収束するか？
• RQ2 解集合が空でないが、必ずしも単一解でない場合に、反復列の弱収束を確立できるか？
• RQ3 誤差許容度のもとで、誤差あり反復 $(x_k, b_k)$ と正確反復 $(\hat{x}_k, \hat{b}_k)$ の間の関係は何か？
• RQ4 列 $\{(x_k, b_k)\}$ のすべての弱クラスターポイントは、拡張解集合 $S(A,B) = B \cap (-A)$ に属するか？
• RQ5 列 $\{(x_k, b_k)\}$ の弱極限は一意的であり、かつ包含条件 $0 \in A(\bar{x}) + B(\bar{x})$ を満たすか？

主な発見

• 列 $\{(x_k, b_k)\}$ は、$\bar{b} \in B(\bar{x})$ および $-\bar{b} \in A(\bar{x})$ を満たす点 $(\bar{x}, \bar{b})$ に弱収束する。これは $0 \in A(\bar{x}) + B(\bar{x})$ を示唆する。
• 列 $\{(y_k, a_k)\}$ は $(\bar{x}, -\bar{b})$ に弱収束する。これは、アルゴリズムの補助的反復の整合性を確認する。
• 誤差あり反復 $(x_k, b_k)$ と正確反復 $(\hat{x}_k, \hat{b}_k)$ の間の距離は、$\|\cdot\|_\lambda$ ノルムにおいて $\alpha_k + \beta_k$ で有界である。
• 列 $\{(x_k, b_k)\}$ のすべての弱クラスターポイントは、解集合 $S(A,B) = \{ (z,w) \mid (z,w) \in B, (z,-w) \in A \}$ に属する。
• 列は有界であり、再帰的ヒルバート空間 $H \times H$ における弱クラスターポイントの一意性により、弱極限は一意的である。
• 収束はフィッツパトリック関数および弱*収束の技術を用いて確立され、極限が包含条件を満たすことが保証される。