「拡張ラグランジュ関数」の版間の差分
| 3行目: | 3行目: | ||
関数 <math>f:\mathbf{R}^n\times{\mathbf{R}^m}\to [-\infty,+\infty] \,</math> に対して, ラグランジュ関数を拡張した, 次式で定義される2変数関数 <math>\bar{L}:\mathbf{R}^n\times{\mathbf{R}^m}\to [-\infty,+\infty] \,</math> のこと. | 関数 <math>f:\mathbf{R}^n\times{\mathbf{R}^m}\to [-\infty,+\infty] \,</math> に対して, ラグランジュ関数を拡張した, 次式で定義される2変数関数 <math>\bar{L}:\mathbf{R}^n\times{\mathbf{R}^m}\to [-\infty,+\infty] \,</math> のこと. | ||
| − | |||
| + | <center> | ||
<math> | <math> | ||
\bar{L}(x,y):=\inf_{u\in{\mathbf{R}^m}}\{\, f(x,u)+r\sigma{(u)}-y^{\top}u\,\} | \bar{L}(x,y):=\inf_{u\in{\mathbf{R}^m}}\{\, f(x,u)+r\sigma{(u)}-y^{\top}u\,\} | ||
\,</math> | \,</math> | ||
| + | </center> | ||
ただし, <math>r \,</math> は正定数, <math>\sigma:\mathbf{R}^{m}\rightarrow\bar{\mathbf{R}} \,</math> は <math>u\neq{0} \,</math> に対して <math>0=\sigma{(0)}<\sigma{(u)} \,</math> を満足する下半連続な真凸関数(例えば, <math>\sigma{(u)}:=1/2\|u\|^{2} \,</math> など). 関数 <math>\bar{L} \,</math> を用いると, 非凸計画問題に対して双対性のギャップを解消できる場合がある. | ただし, <math>r \,</math> は正定数, <math>\sigma:\mathbf{R}^{m}\rightarrow\bar{\mathbf{R}} \,</math> は <math>u\neq{0} \,</math> に対して <math>0=\sigma{(0)}<\sigma{(u)} \,</math> を満足する下半連続な真凸関数(例えば, <math>\sigma{(u)}:=1/2\|u\|^{2} \,</math> など). 関数 <math>\bar{L} \,</math> を用いると, 非凸計画問題に対して双対性のギャップを解消できる場合がある. | ||
2007年7月17日 (火) 10:25時点における版
【かくちょうらぐらんじゅかんすう (augmented Lagrangian function)】
関数 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f:\mathbf{R}^n\times{\mathbf{R}^m}\to [-\infty,+\infty] \,} に対して, ラグランジュ関数を拡張した, 次式で定義される2変数関数 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \bar{L}:\mathbf{R}^n\times{\mathbf{R}^m}\to [-\infty,+\infty] \,} のこと.
構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \bar{L}(x,y):=\inf_{u\in{\mathbf{R}^m}}\{\, f(x,u)+r\sigma{(u)}-y^{\top}u\,\} \,}
ただし, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle r \,}
は正定数, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sigma:\mathbf{R}^{m}\rightarrow\bar{\mathbf{R}} \,}
は 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle u\neq{0} \,}
に対して 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 0=\sigma{(0)}<\sigma{(u)} \,}
を満足する下半連続な真凸関数(例えば, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \sigma{(u)}:=1/2\|u\|^{2} \,}
など). 関数 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \bar{L} \,}
を用いると, 非凸計画問題に対して双対性のギャップを解消できる場合がある.