与えられた3つの二変数関数 $h(x,y)$ について、それぞれの極値を求める問題です。 (1) $h(x,y) = 3x^2 - 5xy + 3y^2 - x - y$ (2) $h(x,y) = -x^2 + xy - y^2 + 4x - 2y$ (3) $h(x,y) = xy + x^{-1} + 8y^{-1}$

解析学多変数関数極値偏微分ヘッセ行列
2025/8/4

1. 問題の内容

与えられた3つの二変数関数 h(x,y)h(x,y) について、それぞれの極値を求める問題です。
(1) h(x,y)=3x25xy+3y2xyh(x,y) = 3x^2 - 5xy + 3y^2 - x - y
(2) h(x,y)=x2+xyy2+4x2yh(x,y) = -x^2 + xy - y^2 + 4x - 2y
(3) h(x,y)=xy+x1+8y1h(x,y) = xy + x^{-1} + 8y^{-1}

2. 解き方の手順

各関数について、以下の手順で極値を求めます。
(1) 偏導関数 hxh_xhyh_y を計算します。
(2) 連立方程式 hx=0h_x = 0 かつ hy=0h_y = 0 を解き、停留点を求めます。
(3) ヘッセ行列を計算し、停留点におけるヘッセ行列の行列式の符号を調べます。
- 行列式が正で、hxxh_{xx} が正ならば極小値、負ならば極大値です。
- 行列式が負ならば鞍点です。
- 行列式がゼロの場合は、さらに検討が必要です。
(1) h(x,y)=3x25xy+3y2xyh(x,y) = 3x^2 - 5xy + 3y^2 - x - y
hx=6x5y1h_x = 6x - 5y - 1
hy=5x+6y1h_y = -5x + 6y - 1
6x5y1=06x - 5y - 1 = 0
5x+6y1=0-5x + 6y - 1 = 0
これを解くと x=1,y=1x = 1, y = 1
hxx=6h_{xx} = 6
hyy=6h_{yy} = 6
hxy=5h_{xy} = -5
ヘッセ行列は
H=(6556)H = \begin{pmatrix} 6 & -5 \\ -5 & 6 \end{pmatrix}
det(H)=3625=11>0\det(H) = 36 - 25 = 11 > 0
hxx=6>0h_{xx} = 6 > 0 なので、(1,1)(1, 1) で極小値をとります。
極小値は h(1,1)=35+311=1h(1, 1) = 3 - 5 + 3 - 1 - 1 = -1
(2) h(x,y)=x2+xyy2+4x2yh(x,y) = -x^2 + xy - y^2 + 4x - 2y
hx=2x+y+4h_x = -2x + y + 4
hy=x2y2h_y = x - 2y - 2
2x+y+4=0-2x + y + 4 = 0
x2y2=0x - 2y - 2 = 0
これを解くと x=2,y=0x = 2, y = 0
hxx=2h_{xx} = -2
hyy=2h_{yy} = -2
hxy=1h_{xy} = 1
ヘッセ行列は
H=(2112)H = \begin{pmatrix} -2 & 1 \\ 1 & -2 \end{pmatrix}
det(H)=41=3>0\det(H) = 4 - 1 = 3 > 0
hxx=2<0h_{xx} = -2 < 0 なので、(2,0)(2, 0) で極大値をとります。
極大値は h(2,0)=4+00+80=4h(2, 0) = -4 + 0 - 0 + 8 - 0 = 4
(3) h(x,y)=xy+x1+8y1h(x,y) = xy + x^{-1} + 8y^{-1}
hx=yx2h_x = y - x^{-2}
hy=x8y2h_y = x - 8y^{-2}
yx2=0y - x^{-2} = 0
x8y2=0x - 8y^{-2} = 0
y=x2y = x^{-2}
x=8y2x = 8y^{-2}
x=8(x2)2=8x4x = 8(x^{-2})^{-2} = 8x^4
x3=18x^3 = \frac{1}{8}
x=12x = \frac{1}{2}
y=(12)2=4y = (\frac{1}{2})^{-2} = 4
hxx=2x3h_{xx} = 2x^{-3}
hyy=16y3h_{yy} = 16y^{-3}
hxy=1h_{xy} = 1
hxx(12,4)=2(12)3=28=16h_{xx}(\frac{1}{2}, 4) = 2 (\frac{1}{2})^{-3} = 2 \cdot 8 = 16
hyy(12,4)=16(4)3=16164=14h_{yy}(\frac{1}{2}, 4) = 16 (4)^{-3} = 16 \cdot \frac{1}{64} = \frac{1}{4}
hxy(12,4)=1h_{xy}(\frac{1}{2}, 4) = 1
ヘッセ行列は
H=(161114)H = \begin{pmatrix} 16 & 1 \\ 1 & \frac{1}{4} \end{pmatrix}
det(H)=16141=41=3>0\det(H) = 16 \cdot \frac{1}{4} - 1 = 4 - 1 = 3 > 0
hxx=16>0h_{xx} = 16 > 0 なので、(12,4)(\frac{1}{2}, 4) で極小値をとります。
極小値は h(12,4)=124+(12)1+8(4)1=2+2+2=6h(\frac{1}{2}, 4) = \frac{1}{2} \cdot 4 + (\frac{1}{2})^{-1} + 8 (4)^{-1} = 2 + 2 + 2 = 6

3. 最終的な答え

(1) (x,y)=(1,1)(x,y) = (1,1) で極小値 1-1
(2) (x,y)=(2,0)(x,y) = (2,0) で極大値 44
(3) (x,y)=(12,4)(x,y) = (\frac{1}{2},4) で極小値 66

「解析学」の関連問題

極座標で表された曲線 $r = 2 + \cos{\theta}$ ($0 \le \theta \le 2\pi$) によって囲まれた領域の面積を求める問題です。

積分極座標面積
2025/8/4

曲線 $y = \cos x$ ($0 \le x \le 2\pi$) と $x = 0$, $x = 2\pi$, $x$軸で囲まれる図形の面積 $S$ を求める問題です。

積分面積三角関数
2025/8/4

関数 $f(x) = x(x-6)^2$ が与えられています。$f(x)$ の導関数 $f'(x)$ を $g(x)$ とします。このとき、$g(x)$ を因数分解した形で求め、不定積分 $\int_...

導関数不定積分因数分解面積
2025/8/4

関数 $g(x) = 3(x-\alpha)(x-\beta)$ が与えられています。ここで、$0 < \alpha < \beta$ です。曲線 $y = g(x)$ と $x$ 軸との交点を $A...

積分面積二次関数定積分
2025/8/4

曲線 $y = \cos x$ ($0 \leq x \leq 2\pi$) と、$x = 0$, $x = 2\pi$, $x$軸で囲まれる図形の面積 $S$ を求める問題です。

積分面積三角関数定積分
2025/8/4

双曲線正接関数 $\tanh x$ について、対称性、増減、凹凸、$\lim_{x \to \infty} \tanh x$、$\lim_{x \to -\infty} \tanh x$などを調べ、グ...

双曲線正接関数tanh微分極限グラフ
2025/8/4

画像には、以下の2つの関数の微分を求める問題が書かれています。 (1) $\frac{d}{dx} \left( -2 \frac{\sin x}{\cos^3 x} \right)$ (2) $\f...

微分三角関数商の微分積の微分
2025/8/4

以下の等式を証明する問題です。ここで、$A \neq 0$ です。 $$(\log|x + \sqrt{x^2 + A}|)' = \frac{1}{\sqrt{x^2 + A}}$$

微分対数関数合成関数の微分導関数積分
2025/8/4

次の関数を$x$について微分しなさい。 $\frac{d}{dx} \left(1 - \frac{1}{\cos^2 x}\right)$

微分三角関数合成関数
2025/8/4

$\lim_{x \to 0} \frac{x - \tan x}{x(1 - \cos x)}$ を計算します。

極限テイラー展開三角関数
2025/8/4