「条件付停留値問題」の版間の差分

提供: tknotebook
移動: 案内、 検索
(→‎条件付き停留値問題への応用)
(→‎条件付き停留値問題への応用)
 
(1人の利用者による、間の5版が非表示)
1行: 1行:
 
[[Category:数学]][[Category:線形代数]][[category:ラグランジュの未定乗数法]]
 
[[Category:数学]][[Category:線形代数]][[category:ラグランジュの未定乗数法]]
−
[[メインページ]]>[[数学の部屋]]>[[ラグランジュの未定乗数法]]
+
[[メインページ]]>[[数学の部屋#ラグランジュの未定乗数法]]
  
 
==条件付き停留値問題への応用==
 
==条件付き停留値問題への応用==
7行: 7行:
 
これの条件付停留値問題への応用を示しましょう。
 
これの条件付停留値問題への応用を示しましょう。
  
−
本来、ラグランジュの未定乗数法は、n個のパラメータを持つスカラー関数のためのものだが、線形代数を使って説明したいので、以下の説明ではn次元のデカルト座標を入力とするスカラー関数の停留値を考察します。
+
ラグランジュの未定乗数法は、n個のパラメータを持つスカラー関数で説明するのが本来の形ですが、ここではベクトル解析風に説明したいので、以下の説明ではn次元のデカルト座標をベクトルとして入力とするスカラー関数の停留値を考察します。勿論数学的には全く等価です。
  
 
ベクトル　<math>{\boldsymbol x} = \left(\begin{array}{c} x_1 \\ x_2 \\ \vdots \\ x_n \end{array}\right) </math> の関数 <math>f({\boldsymbol x}) </math> が停留値を持つのは
 
ベクトル　<math>{\boldsymbol x} = \left(\begin{array}{c} x_1 \\ x_2 \\ \vdots \\ x_n \end{array}\right) </math> の関数 <math>f({\boldsymbol x}) </math> が停留値を持つのは
90行: 90行:
  
  
−
と書けます。<math>\frac{\partial h}{\partial h\lambda_i} = G_i = 0</math> は拘束条件そのものなので、<math>\mathrm{grad}</math>を <math>\lambda_1, \lambda_2, \cdots , \lambda_K</math> にまで拡張すれば
+
と書けます。<math>\frac{\partial h}{\partial \lambda_i} = G_i = 0</math> は拘束条件そのものなので、<math>\mathrm{grad}</math>を <math>\lambda_1, \lambda_2, \cdots , \lambda_K</math> にまで拡張すれば
  
  

2020年9月14日 (月) 03:28時点における最新版

メインページ>数学の部屋#ラグランジュの未定乗数法

条件付き停留値問題への応用

ここまでで、ラグランジュの未定乗数法の根本は直交補空間の直交補空間だと述べてきましたが、 これの条件付停留値問題への応用を示しましょう。

ラグランジュの未定乗数法は、n個のパラメータを持つスカラー関数で説明するのが本来の形ですが、ここではベクトル解析風に説明したいので、以下の説明ではn次元のデカルト座標をベクトルとして入力とするスカラー関数の停留値を考察します。勿論数学的には全く等価です。

ベクトル　{\boldsymbol x} = \left(\begin{array}{c} x_1 \\ x_2 \\ \vdots \\ x_n \end{array}\right) の関数 f({\boldsymbol x}) が停留値を持つのは


\mathrm{grad}f({\boldsymbol x}) = 0 ( 1 )


の時ですが、

ベクトル {\boldsymbol x} = \left(\begin{array}{c} x_1 \\ x_2 \\ \vdots \\ x_n \end{array}\right) に対し、K個の条件(拘束条件)


G_l({\boldsymbol x}) = 0 (l=1 \sim K) ( 2 )


がある場合、関数 f({\boldsymbol x}) が停留値を取る条件は変わってきます。これを考えてみましょう。


{\boldsymbol x} の微小変化量を \delta{\boldsymbol x}=\left(\begin{array}{c} \delta x_1 \\ \delta x_2 \\ \vdots \\ \delta x_n \end{array}\right) とすると、


\mathrm{grad}G_l({\boldsymbol x}) = \left(\begin{array}{c} \frac{\partial G_l({\boldsymbol x})}{\partial x_1} \\ \frac{\partial G_l({\boldsymbol x})}{\partial x_2} \\ \vdots \\ \frac{\partial G_l({\boldsymbol x})}{\partial x_n} \\ \end{array}\right) ( 3 )


\delta G_l({\boldsymbol x}) = \mathrm{grad}G_l({\boldsymbol x})\cdot\delta{\boldsymbol x} = 0 (l=1\sim K) ( 4 )


が成り立つようにしか {\boldsymbol x} は変化できません。

関数 f({\boldsymbol x}) が停留値を持つということは、{\boldsymbol x} の微小変化量 \delta{\boldsymbol x}=\left(\begin{array}{c} \delta x_1 \\ \delta x_2 \\ \vdots \\ \delta x_n \end{array}\right)　に対し f({\boldsymbol x}) が変化しないということなので


\mathrm{grad}f({\boldsymbol x}) = \left(\begin{array}{c} \frac{\partial f({\boldsymbol x})}{\partial x_1} \\ \frac{\partial f({\boldsymbol x})}{\partial x_2} \\ \vdots \\ \frac{\partial f({\boldsymbol x})}{\partial x_n} \\ \end{array}\right) ( 5 )


\delta f({\boldsymbol x}) = \mathrm{grad}f({\boldsymbol x})\cdot\delta{\boldsymbol x} = 0 ( 6 )


ラグランジュ未定乗数法の基本部分 で示しましたように、\mathrm{grad}f({\boldsymbol x}) は \delta{\boldsymbol x} が所属する部分空間の直交補空間に属します。従って、適当な係数 \lambda_1, \lambda_2, \cdots , \lambda_Kを使って


\mathrm{grad}f({\boldsymbol x}) = -\lambda_1\mathrm{grad}G_1({\boldsymbol x}) - \lambda_2\mathrm{grad}G_2({\boldsymbol x})\cdots -\lambda_K\mathrm{grad}G_K({\boldsymbol x}) ( 7 )


とかけます。この式の意味は停留値を取るような {\boldsymbol x} はこの式を満たすということであり、\mathrm{grad}f({\boldsymbol x}) が -\lambda_1\mathrm{grad}G_1({\boldsymbol x}) - \lambda_2\mathrm{grad}G_2({\boldsymbol x})\cdots -\lambda_K\mathrm{grad}G_K({\boldsymbol x}) であらわされる部分空間全体になるわけではありません。


g({\boldsymbol x}) = f({\boldsymbol x}) + \lambda_1 G_1({\boldsymbol x}) + \lambda_2 G_2({\boldsymbol x})\cdots +\lambda_K G_K({\boldsymbol x}) ( 8 )


とすると、

\mathrm{grad}g({\boldsymbol x}) = 0 ( 9 )

つまり (2) と (9) が停留値の条件となります。式 (2) と (9) は n + K 個の方程式を含みますから、 全ての未知数を求められますので、これで十分です。実際、ラグランジュの未定乗数法というのは 式 (2) と (9) から停留点を求めるのが普通ですが、ここでもうひとひねりしてみましょう。

\lambda_1, \lambda_2, \cdots , \lambda_K を関数の独立変数とすれば


h({\boldsymbol x}, \lambda_1, \lambda_2, \cdots , \lambda_K) = f({\boldsymbol x}) + \lambda_1 G_1({\boldsymbol x}) + \lambda_2 G_2({\boldsymbol x})\cdots +\lambda_K G_K({\boldsymbol x}) ( 10 )


と書けます。\frac{\partial h}{\partial \lambda_i} = G_i = 0 は拘束条件そのものなので、\mathrm{grad}を \lambda_1, \lambda_2, \cdots , \lambda_K にまで拡張すれば


\mathrm{grad}h({\boldsymbol x}, \lambda_1, \lambda_2, \cdots , \lambda_K) = 0 ( 11 )


が f が停留値を持つ条件です。拘束条件は (11) に取り込まれてしまった上、式 (11) は独立変数を \lambda_1, \lambda_2, \cdots , \lambda_K にまで拡大した停留点を求める方程式になっています。

つまり、ラグランジュの未定乗数法は、束縛条件付き停留値問題を束縛条件なしの停留値問題に巧妙に変換するのです。

まとめ

条件付き停留値問題を、条件なし停留値問題に変換する手順は以下の通りです。

1. 元の関数 f({\boldsymbol x}) と束縛条件 G_1({\boldsymbol x})=0, G_2({\boldsymbol x})=0, \cdots, G_K({\boldsymbol x})=0 から式


h({\boldsymbol x}, \lambda_1 ,\lambda_2, \cdots, \lambda_K) = f({\boldsymbol x})+ \lambda_1 G_1({\boldsymbol x}) + \lambda_2 G_2({\boldsymbol x}) + \cdots + \lambda_K G_K({\boldsymbol x})


を作ります。


2. 以下の式より、停留値での {\boldsymbol x} を求めます。

\frac{\partial h}{\partial x_1} = 0, \frac{\partial h}{\partial x_2} = 0, \cdots, \frac{\partial h}{\partial x_n}=0, \frac{\partial h}{\partial \lambda_1}=0, \frac{\partial h}{\partial \lambda_2}=0, \cdots, \frac{\partial h}{\partial \lambda_K} = 0,

「http://www.nakamuri.info/mw/index.php?title=条件付停留値問題&oldid=4510」から取得