拘束のある問題

提供: Internet Web School

UNIQ76d64afc67724085-MathJax-2-QINU2 による版
(差分) ←前の版 | 最新版 (差分) | 次の版→ (差分)

目次

等式拘束のある問題

陰関数定理とラグランジュ乗数

以下の問題を考える.


UNIQ43c30f852402673c-MathJax-173-QINUとするとき, 半径1の円周

UNIQ43c30f852402673c-MathJax-174-QINU

上の点UNIQ43c30f852402673c-MathJax-175-QINUでUNIQ43c30f852402673c-MathJax-176-QINUの最大にするものを求めよ.


関数の極値条件

実数値関数UNIQ43c30f852402673c-MathJax-177-QINUがUNIQ43c30f852402673c-MathJax-178-QINUで極小値または極大値をとり,かつ,UNIQ43c30f852402673c-MathJax-179-QINUで微分可能であれば,

UNIQ43c30f852402673c-MathJax-180-QINUのUNIQ43c30f852402673c-MathJax-181-QINUでの微分係数はUNIQ43c30f852402673c-MathJax-182-QINUである。

UNIQ43c30f852402673c-MathJax-183-QINU


陰関数

半径1の円の方程式

UNIQ43c30f852402673c-MathJax-184-QINU

に注目する。判りやすいように,

UNIQ43c30f852402673c-MathJax-185-QINU としておく.

UNIQ43c30f852402673c-MathJax-186-QINU とすると, UNIQ43c30f852402673c-MathJax-187-QINUではUNIQ43c30f852402673c-MathJax-188-QINUの方程式を満たすUNIQ43c30f852402673c-MathJax-189-QINUについては UNIQ43c30f852402673c-MathJax-190-QINU という関係が成り立っている.

このUNIQ43c30f852402673c-MathJax-191-QINUという関数は,UNIQ43c30f852402673c-MathJax-192-QINU式の中には出てこない.UNIQ43c30f852402673c-MathJax-193-QINUからこのように間接的に導き出される関数を陰関数と呼ぶ.


一般化すれば特定の条件のもとに UNIQ43c30f852402673c-MathJax-194-QINUという式から陰関数UNIQ43c30f852402673c-MathJax-195-QINUが定義される。

上の例では UNIQ43c30f852402673c-MathJax-196-QINU

しかし,何時でも上の例のように,UNIQ43c30f852402673c-MathJax-197-QINUから陰関数UNIQ43c30f852402673c-MathJax-198-QINUが定義されるわけではない.

陰関数定理

ある領域DUNIQ43c30f852402673c-MathJax-199-QINUで関数UNIQ43c30f852402673c-MathJax-200-QINUが連続でかつ,UNIQ43c30f852402673c-MathJax-201-QINUについて偏微分可能で, その偏導関数

UNIQ43c30f852402673c-MathJax-202-QINU

UNIQ43c30f852402673c-MathJax-203-QINU

もUNIQ43c30f852402673c-MathJax-204-QINUについて連続とする。

D内の1点UNIQ43c30f852402673c-MathJax-205-QINUで

UNIQ43c30f852402673c-MathJax-206-QINU

であり,

UNIQ43c30f852402673c-MathJax-207-QINU

とする. このとき,UNIQ43c30f852402673c-MathJax-208-QINUを含む開区間UNIQ43c30f852402673c-MathJax-209-QINUとその上の連続関数UNIQ43c30f852402673c-MathJax-210-QINUが存在し,

1) 開区間UNIQ43c30f852402673c-MathJax-211-QINU上でUNIQ43c30f852402673c-MathJax-212-QINU

2) UNIQ43c30f852402673c-MathJax-213-QINU

3) 開区間UNIQ43c30f852402673c-MathJax-214-QINU上で,

UNIQ43c30f852402673c-MathJax-215-QINU


上の定理でUNIQ43c30f852402673c-MathJax-216-QINUの役目を反対にすれば,UNIQ43c30f852402673c-MathJax-217-QINU となる陰関数の存在が示される.

ラグランジュ乗数法

関数UNIQ43c30f852402673c-MathJax-218-QINUが,制約条件 UNIQ43c30f852402673c-MathJax-219-QINU の元にUNIQ43c30f852402673c-MathJax-220-QINUで極値(極大値か極小値)をとるとする。

UNIQ43c30f852402673c-MathJax-221-QINUがUNIQ43c30f852402673c-MathJax-222-QINUについて微分可能な関数で, 関数UNIQ43c30f852402673c-MathJax-223-QINUはUNIQ43c30f852402673c-MathJax-224-QINUが上の陰関数定理を適用できる条件を満たしているものとする。 UNIQ43c30f852402673c-MathJax-225-QINUの近傍で関数UNIQ43c30f852402673c-MathJax-226-QINUが存在して,UNIQ43c30f852402673c-MathJax-227-QINUのその近傍では UNIQ43c30f852402673c-MathJax-228-QINU が成り立ち,UNIQ43c30f852402673c-MathJax-229-QINU,UNIQ43c30f852402673c-MathJax-230-QINUも成り立っている. UNIQ43c30f852402673c-MathJax-231-QINUの役目を反対にすれば,UNIQ43c30f852402673c-MathJax-232-QINU となる陰関数を用いることになるが議論は全く同様に できる.


関数UNIQ43c30f852402673c-MathJax-233-QINUはUNIQ43c30f852402673c-MathJax-234-QINUで極値(極大値か極小値)をとるから UNIQ43c30f852402673c-MathJax-235-QINUもUNIQ43c30f852402673c-MathJax-236-QINUで極値を取る.


極値条件により

UNIQ43c30f852402673c-MathJax-237-QINU

である.

このUNIQ43c30f852402673c-MathJax-238-QINUについての微分を求めるとUNIQ43c30f852402673c-MathJax-239-QINUは合成関数であるから

UNIQ43c30f852402673c-MathJax-240-QINU

UNIQ43c30f852402673c-MathJax-241-QINUであるからUNIQ43c30f852402673c-MathJax-242-QINU式を上のUNIQ43c30f852402673c-MathJax-243-QINU式に代入し


UNIQ43c30f852402673c-MathJax-244-QINU

という変数を使うと,

UNIQ43c30f852402673c-MathJax-245-QINU

また

UNIQ43c30f852402673c-MathJax-246-QINU

から

UNIQ43c30f852402673c-MathJax-247-QINU

すなわちUNIQ43c30f852402673c-MathJax-248-QINUという新しい変数を使って

UNIQ43c30f852402673c-MathJax-249-QINU

という関数を造ると:

関数UNIQ43c30f852402673c-MathJax-250-QINUが制約条件UNIQ43c30f852402673c-MathJax-251-QINU を充たすという条件の下に UNIQ43c30f852402673c-MathJax-252-QINUで極値(極大値か極小値)をとる という条件からUNIQ43c30f852402673c-MathJax-253-QINUについての制約のない場合の極値条件

UNIQ43c30f852402673c-MathJax-254-QINU


が導かれる.制約条件付きの極値問題から,UNIQ43c30f852402673c-MathJax-255-QINUという人工的な変数を使って

UNIQ43c30f852402673c-MathJax-256-QINU の制約条件のない場合の極値条件が導かれる.

ただしこの議論は「その点が最大(小)値を与える」UNIQ43c30f852402673c-MathJax-257-QINU 「その点が極値を与える」UNIQ43c30f852402673c-MathJax-258-QINU 「その点でのUNIQ43c30f852402673c-MathJax-259-QINU」


という必要条件の連鎖であるので注意が必要である.

「UNIQ43c30f852402673c-MathJax-260-QINU」は必要条件であるから, これが満たされても,極値かどうかチェックの必要があり,さらにはUNIQ43c30f852402673c-MathJax-261-QINUの極値を与えるUNIQ43c30f852402673c-MathJax-262-QINUが求められたとしても, それが最大(小)値を与えるのか確かめる必要がある。

また,少なくともUNIQ43c30f852402673c-MathJax-263-QINUとUNIQ43c30f852402673c-MathJax-264-QINUがUNIQ43c30f852402673c-MathJax-265-QINUについて微分可能であることも必要である.

ここで使われたUNIQ43c30f852402673c-MathJax-266-QINUはラグランジュ乗数と呼ばれる. 上の問題に適用すると


UNIQ43c30f852402673c-MathJax-267-QINU

拘束条件UNIQ43c30f852402673c-MathJax-268-QINU を充たし,UNIQ43c30f852402673c-MathJax-269-QINUの極値を与える UNIQ43c30f852402673c-MathJax-270-QINUが存在すると仮定すれば,

UNIQ43c30f852402673c-MathJax-271-QINU または UNIQ43c30f852402673c-MathJax-272-QINU であり,

陰関数の存在条件 UNIQ43c30f852402673c-MathJax-273-QINU または UNIQ43c30f852402673c-MathJax-274-QINU が成り立っている.

そこで,

UNIQ43c30f852402673c-MathJax-275-QINU

とおけば

UNIQ43c30f852402673c-MathJax-276-QINU


UNIQ43c30f852402673c-MathJax-277-QINU式から UNIQ43c30f852402673c-MathJax-278-QINU であり,


UNIQ43c30f852402673c-MathJax-279-QINU式から

UNIQ43c30f852402673c-MathJax-280-QINU

これをUNIQ43c30f852402673c-MathJax-281-QINU 式に代入して

UNIQ43c30f852402673c-MathJax-282-QINU

よって

UNIQ43c30f852402673c-MathJax-283-QINU または UNIQ43c30f852402673c-MathJax-284-QINU

UNIQ43c30f852402673c-MathJax-285-QINU のときUNIQ43c30f852402673c-MathJax-286-QINU であり,UNIQ43c30f852402673c-MathJax-287-QINU

UNIQ43c30f852402673c-MathJax-288-QINU のときUNIQ43c30f852402673c-MathJax-289-QINU であり,UNIQ43c30f852402673c-MathJax-290-QINU


従って 等式拘束条件 UNIQ43c30f852402673c-MathJax-291-QINU の下でUNIQ43c30f852402673c-MathJax-292-QINU の 最大値はUNIQ43c30f852402673c-MathJax-293-QINUのときでUNIQ43c30f852402673c-MathJax-294-QINU

Microsoft Excel のソルバーで解くこともできる.

データの入力とソルバーのパラメータは以下の通りである.解析には非線形問題を選択する.

ソルバーの出力は以下の通りであり前期の解析解と同じである.

上記の議論を一般化したものが以下である.


UNIQ43c30f852402673c-MathJax-295-QINU

がUNIQ43c30f852402673c-MathJax-296-QINUでUNIQ43c30f852402673c-MathJax-297-QINU個の制約条件

UNIQ43c30f852402673c-MathJax-298-QINU

のもとでの極少(極大)値をとるものとする.さらにUNIQ43c30f852402673c-MathJax-299-QINU個のUNIQ43c30f852402673c-MathJax-300-QINU次元 ベクトル

UNIQ43c30f852402673c-MathJax-301-QINU

が一次独立とする.これは前項のUNIQ43c30f852402673c-MathJax-302-QINU式の陰関数の存在条件 UNIQ43c30f852402673c-MathJax-303-QINU に相当する.

UNIQ43c30f852402673c-MathJax-304-QINU個のUNIQ43c30f852402673c-MathJax-305-QINU次元 ベクトルからなるUNIQ43c30f852402673c-MathJax-306-QINU行列 UNIQ43c30f852402673c-MathJax-307-QINU の階数がUNIQ43c30f852402673c-MathJax-308-QINU であることと同値である.


このとき,一変数関数の場合と同様,以下が成立つ.すなわち, UNIQ43c30f852402673c-MathJax-309-QINU次元のラグランジュ乗数ベクトル

UNIQ43c30f852402673c-MathJax-310-QINU が存在し,

UNIQ43c30f852402673c-MathJax-311-QINU

はUNIQ43c30f852402673c-MathJax-312-QINUで停留条件を充す.

すなわち

UNIQ43c30f852402673c-MathJax-313-QINU


が成りたつ.

不等式拘束のある問題

前項では,等式拘束問題を扱った.この項では不等式拘束問題を扱う. 先ず,UNIQ43c30f852402673c-MathJax-314-QINUの部分集合

UNIQ43c30f852402673c-MathJax-315-QINU

を定義しておく.この(正錐)UNIQ43c30f852402673c-MathJax-316-QINUを使って,UNIQ43c30f852402673c-MathJax-317-QINUの 順序(大小)を

UNIQ43c30f852402673c-MathJax-318-QINU

で定義する.

UNIQ43c30f852402673c-MathJax-319-QINUからUNIQ43c30f852402673c-MathJax-320-QINUへの微分可能な写像

UNIQ43c30f852402673c-MathJax-321-QINU で定義されるものとする.

不等式制約

UNIQ43c30f852402673c-MathJax-322-QINU

について,この項では以下のクーン・タッカーの条件が成立つものとする.


クーン・タッカーの条件

UNIQ43c30f852402673c-MathJax-323-QINU を充たす任意のUNIQ43c30f852402673c-MathJax-324-QINUについて

UNIQ43c30f852402673c-MathJax-325-QINU

となる UNIQ43c30f852402673c-MathJax-326-QINUが存在する.

ただし,


UNIQ43c30f852402673c-MathJax-327-QINU

ここで, UNIQ43c30f852402673c-MathJax-328-QINU は順序(大小関係)を

UNIQ43c30f852402673c-MathJax-329-QINU

定義する場合,

UNIQ43c30f852402673c-MathJax-330-QINU

と同値になる.

停留条件

以上のクーン・タッカーの条件下で,


微分可能な写像 UNIQ43c30f852402673c-MathJax-331-QINU

が不等式制約UNIQ43c30f852402673c-MathJax-332-QINU のもとで

UNIQ43c30f852402673c-MathJax-333-QINU で極小(極大)値をとるものとすると,UNIQ43c30f852402673c-MathJax-334-QINU次元のラグランジュ乗数ベクトル

UNIQ43c30f852402673c-MathJax-335-QINU が存在し,

UNIQ43c30f852402673c-MathJax-336-QINU

は,UNIQ43c30f852402673c-MathJax-337-QINUで極値条件(停留条件)を充たす.


すなわち

UNIQ43c30f852402673c-MathJax-338-QINU

が成りたつ.

さらにUNIQ43c30f852402673c-MathJax-339-QINUについては,

UNIQ43c30f852402673c-MathJax-340-QINU

が成立つ.

UNIQ43c30f852402673c-MathJax-341-QINU

UNIQ43c30f852402673c-MathJax-342-QINU

と同値になる.

個人用ツール