4.4 陰関数の定理

7

ラグランジュの未定乗数法によって求められる極値は、最大値・最小値の候補でしかないが、有界閉集合の場合には、候補点が最大・最小点を表していると考えてよい。

(2)
00_01 のときを考える 02_01 を解くと 02_02 これは 00_01 を満たす 02_03 であるから 02_04 02_05 よって、 00_0302_06 において極小値 02_07 をとる
次に 00_02 のときを考える
00_04 とする
02_08 とおくと 02_09 02_10 とすると、(i)(ii)を満たさないため 02_12
よって(i)(ii)より 02_11 (iii)に代入して整理すると 02_13 であるから 02_14
よって 02_15 (複合同順)
この2点が 00_03 が条件付きで極値をとる候補である
02_16 の近くでの 00_05 の陰関数を 00_06 とおき 00_07 とおく
01_3001_29 で繰り返し微分すると 01_27 01_28 よって 01_31 である 02_18 であるから 02_19 よって点 02_16 で極小値 02_20 をとる
同様に 02_17 では、 02_21 であるから 02_22 よって点 02_17 で極大値 02_23 をとる
00_08 は有界閉集合で、この上で 00_03 は連続だから、
02_06 において最小値 02_07
02_17 において最大値 02_23 をとる

1 連続関数

2 微分法

3 積分法

4 偏微分

5 重積分

6 級数

7 微分方程式