• 検索結果がありません。

変分不等式問題と等価な制約なし最適化問題

N/A
N/A
Protected

Academic year: 2021

シェア "変分不等式問題と等価な制約なし最適化問題"

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

1996年度日本オペレーションズ・リサーチ学会 春季研究発表会

変分不等式問題と等価な制約なし最適化問題

奈良先端科学技術大学院大学 *山下信雄 YAMASHImNobuo

田地宏一 TAJIⅨouichi

福島雅夫 FU‘ⅩUSⅡIMAMa5aO

2−B−2

1 序論

変分不等式問題(ⅥP)は,閉凸集合5⊆見れの中か ら次式を満たすべクトル£を見つける問題である. (ダ(ヱ),y−∬)≧O fbrally∈g・ ここで封まRれからそれ自身への連続的微分可能関数と し,〈・,・〉は内積を表すとする. 最近,変分不等式問題を等価な最適化問題 伸) に再定式化して解く方法が活発に研究されている.ただ し,ズは点れのある部分集合である.一般に,等価な最適 化問題を構成する目的関数Jをメリット関数と呼ぶ. これまでにⅤIPに対するいくつかのメリット関数が 提案されている.Fukushima【11は次の正則化ギャップ 関数を提案している. ん(〇)=;‡雲(〈ダ師−y卜;‖町呵 ここで,αは正のパラメータである.正則化ギャップ関数 んは連続的微分可能であり,この関数を制約集合5上で 最小化する問題はⅤIPと等価になる. Wuetal.【3】は正則化ギャップ関数を一般化した次 の関数を提案している.

ん(ェ)=Sup宙α(∬,y)

y∈5 ここで,

督α(〇,y)=くダ(ェ),‡−y〉−α¢(∬,y)

(ただしαは正の定数)であり,¢‥R2れ→月は次の条件 をみたす関数である. C.1¢は点餌上で連続的微分可能である. C.2¢はR2n上で非負である. C.3¢(〇,・)は一様強凸である. C・4¢(諾,y)=0⇔ヱ=y・ 条件C.1−C.4を満たす関数¢には次のようなものが ある. ◎¢(ヱ,y)=¢(諾−y)・ここで,¢:見れ→月は点れ上で 強凸であり,中(ェ)≧0,∀∬∈点れ,かつ¢(0)=0で あるような連続的微分可能関数である.

Wuetal.【3】は,この関数んが正則化ギャップ関数のい

くつかの性質を引き継いでいることを示している.

関数んやんを目的関数とする最適化問題は,いずれ

も制約つき問題であり,ⅤIPと等価な制約なし最適化問 題を構成することは重要な研究課題となっていた.これ に対してYamaShitaandFukushima[4】は最近,これま でに知られたいくつかのメリット関数のMorea11−Yosida 正則化を用いることにより,ⅤIPと等価な制約なし微 分可能最適化問題が構成できることを示した.さらに, Peng【2】は正則化ギャップ関数を用いて定義される関数 吼(諾)=J吉(可−ん(〇) がやはりⅤIPと等価な制約なし微分可能最適化問題を 構成することを示した.ここで,αは1より大きい正の 定数である. 以下では,関数〟αをD−gap関数と呼ぶことにする. 本稿の目的は,このD−gap関数を一般化し,その性質を 調べることである.

慧+Ⅰ恥gap関数の一般化

本稿では,D−gap関数を次の2つの意味で一般化し, その性質を明らかにする. ◎D−gap関数の定義式に含まれる1/αとαをそれぞれ 0<α<βをみたす任意のαとβに置き換える. o D−gap関数を構成する正則化ギャップ関数f。をWu etal.【3】の関数んに置き換える. 関数飢岬‥月れ→月を次式で定義する・ 仇岬(ェ)= ム(ご)−ふ(諾)

=maX‰(∬,y)一課勅(∬,y) y∈5

ここで,αとβは0<α<βをみたす任意の定数である. ー196− © 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

(2)

3 一般化されたD−gap関数の性質

一般化されたD−gap関数鮎βの微分可能性はムの微 分可能性から直ちに得られる. 定理3・1¢はC・トC・イをみたすとする・そのとき,鮎β は連続的微分可能である. □

また,次の定理により,飢岬を目的関数とする制約な

し最適化問題はⅤIPと等価となることがわかる. 定理3.2¢はC.トC.イをみたすとする.そのとき,すべ ての〇∈月れに対して,鮎β(〇)は非負である・さらに, 恥β(苫)=0が成り立つこととごが仰の解であること は等価である. □ 次に,飢岬の停留点がⅤIPの解となるための条件を 示す.そのために,¢に次の条件を付加する.

C・5∇。綽,y)=

定理3.3¢はC.トC.Jをみたすとする.そのとき,エが

飢岬の停留点であり,さらに∇ダ(〇)が正走値ならば,訂

は仰の解である. □ 次に恥βがⅤIPの大域的エラーバウンドを与える条 件を調べる.そのために,¢に次の条件を付加する.

c

なお,エラーバウンドの性質を示すために札条件C.5

は必要としない. 定理3.4¢はC.トC.イとC.♂をみたすとする.もし, 次の3つの条件のうちどれか1つが成り立っていれば, 降下法のアルゴリズム

ステップ0:初期点ヱ0を適当に選びた:=0とする.

ステップ1:探索ベクトルdたを次式で定める. d七‥=γ(㌔)+βg(巧 ここで,pは十分小さい正の定数とし, r(∬)‥= ∬。(ヱ)一種(∬),

β(〇)‥= α∇。¢(ご,茸。(〇))−β∇。¢(ご,鞄(ご))・

g7(∬)‥=arg欝叫(ご励7=α,β

とする. ステップ2:諾頼1:=㌔+妬がとする.ただし毎は 1瑚(㌔+呵 。 の解であ為. ステップ3:収束判定条件を満たせば終了し,そうでな ければた:=た+1としてステップ1へ. 探索方向ベクトルdたの計算は,∇ダ(㌔)を必要とし ないため,∇飢岬(ェた)享りも容易に求吟られる・このア ルゴリズムに対して次の収束定理が成り立つ. 定理4.5.Fを強単調関数とする.このとき,上のアル ゴリズムによって生成される点列の任意の集積点はVゴア の解である. ロ

参考文献

【1】Fukushima,M.,Equivalentdi抒erentiableoptimiza− tioqproblemsanddescentmethodsforasymmetric variationalinequalityproblems,MathematicalPro− タγαmml叩,Vol.53,pp.99−110,1992・ 【2】Peng,J,M.,Equivalenceofvariationalinequaiity

problemsto11nCOnStrainedoptimization,Technical

Report,AcademiaSinica,Beijing,China,1995・ 【3]Wu,J・H・,Florian,M・andMarcotte,P・,Ageneral descentframeworkforthemonotonevariationalin− equalityproblem,MalhematicalPrq9rammm9,Vol. 61,pp.281−300,1993・ 囲Yamashita,N・andFukushima・,M・,Equivalentun− COnStrainedminimi2;ationa.ndglobalerrorbounds

forvariationalinequalityproblems,SIAMJournal

On ConlroLandOplimization,tOappear. 何はⅤ押に村する大域的エラーバウンドになる・ (a)封ま強単調かつリブシッツ連続である■ (b)ダは強単調かつ5=点れである・ (c)封ま強単調かつ鼠は有界である・ この結果より,つぎの系が直ちに得られる.

系3.1¢はC.トC.イとC.♂をみたすとする.もし,定

理β.イの3つの条件のうちどれか1つが成立していれば,

仇岬の任意のレベル集合はコンパクトである・ 口

4 降下法

この節では,一般化されたD−gap関数鋸岬を最小化

する降下法のアルゴリズムを提案する.

ー197− © 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

参照

関連したドキュメント

化 を行 っている.ま た, 遠 田3は変位 の微小増分 を考慮 したつ り合 い条件式 か ら薄 肉開断面 曲線 ば りの基礎微分 方程式 を導 いている.さ らに, 薄木 ら4,7は

られてきている力:,その距離としての性質につ

ときには幾分活性の低下を逞延させ得る点から 酵素活性の落下と菌体成分の細胞外への流出と

突然そのようなところに現れたことに驚いたので す。しかも、密教儀礼であればマンダラ制作儀礼

〃o''7,-種のみ’であり、‘分類に大きな問題の無い,グループとして見なされてきた二と力判った。しかし,半

前章 / 節からの流れで、計算可能な関数のもつ性質を抽象的に捉えることから始めよう。話を 単純にするために、以下では次のような型のプログラム を考える。 は部分関数 (

チューリング機械の原論文 [14]

優越的地位の濫用は︑契約の不完備性に関する問題であり︑契約の不完備性が情報の不完全性によると考えれば︑