与えられた関数 $f(x, y) = 5\ln(y) + \frac{x^2 - 4x + 19}{y}$ について、偏微分 $f_x(x, y) = 0$ および $f_y(x, y) = 0$ を満たす解 $(x, y) = (\alpha_1, \beta_1), (\alpha_2, \beta_2)$ が与えられています。$\alpha_1 = 2$ と $\beta_1 = 3$ はすでに与えられています。ヘッセ行列 $H(x, y)$ を用いて、点 $(\alpha_2, \beta_2)$ における $f_{xx}(\alpha_2, \beta_2)$ の値とヘッセ行列式 $|H(\alpha_2, \beta_2)|$ の値を求め、ヘッセ行列が正定値であるか負定値であるか判定し、極大値または極小値を求めます。

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

1. 問題の内容

与えられた関数 f(x,y)=5ln(y)+x24x+19yf(x, y) = 5\ln(y) + \frac{x^2 - 4x + 19}{y} について、偏微分 fx(x,y)=0f_x(x, y) = 0 および fy(x,y)=0f_y(x, y) = 0 を満たす解 (x,y)=(α1,β1),(α2,β2)(x, y) = (\alpha_1, \beta_1), (\alpha_2, \beta_2) が与えられています。α1=2\alpha_1 = 2β1=3\beta_1 = 3 はすでに与えられています。ヘッセ行列 H(x,y)H(x, y) を用いて、点 (α2,β2)(\alpha_2, \beta_2) における fxx(α2,β2)f_{xx}(\alpha_2, \beta_2) の値とヘッセ行列式 H(α2,β2)|H(\alpha_2, \beta_2)| の値を求め、ヘッセ行列が正定値であるか負定値であるか判定し、極大値または極小値を求めます。

2. 解き方の手順

まず、α2\alpha_2β2\beta_2を求めます。
fx(x,y)=2x4y=0f_x(x, y) = \frac{2x-4}{y} = 0より、2x4=02x-4 = 0なので、x=2x=2となります。よってα2=2\alpha_2 = 2です。
次に、fy(x,y)=5y+(x24x+19)y2=0f_y(x, y) = \frac{5}{y} + \frac{-(x^2-4x+19)}{y^2} = 0より、
5y(x24x+19)=05y - (x^2 - 4x + 19) = 0
5y=x24x+195y = x^2 - 4x + 19
x=2x = 2を代入すると、5y=48+19=155y = 4 - 8 + 19 = 15なので、y=3y = 3となります。よって、β2=3\beta_2 = 3となり、(α2,β2)=(2,3)=(α1,β1)(\alpha_2, \beta_2)=(2,3)=(\alpha_1, \beta_1)となります。
次に、fxx(x,y)=2yf_{xx}(x, y) = \frac{2}{y}なので、fxx(α2,β2)=fxx(2,3)=23f_{xx}(\alpha_2, \beta_2) = f_{xx}(2,3) = \frac{2}{3}となります。
次に、ヘッセ行列式を計算します。
fxy(x,y)=2x+4y2f_{xy}(x,y) = \frac{-2x+4}{y^2}なので、fxy(2,3)=0f_{xy}(2,3)=0
fyy(x,y)=5y2+2(x24x+19)y3f_{yy}(x,y) = \frac{-5}{y^2} + \frac{2(x^2-4x+19)}{y^3}なので、fyy(2,3)=59+2(48+19)27=59+3027=59+109=59f_{yy}(2,3) = \frac{-5}{9} + \frac{2(4-8+19)}{27} = \frac{-5}{9} + \frac{30}{27} = \frac{-5}{9} + \frac{10}{9} = \frac{5}{9}
ヘッセ行列は
H(x,y)=(fxxfxyfyxfyy)=(2y2x+4y22x+4y25y2+2(x24x+19)y3)H(x,y) = \begin{pmatrix} f_{xx} & f_{xy} \\ f_{yx} & f_{yy} \end{pmatrix} = \begin{pmatrix} \frac{2}{y} & \frac{-2x+4}{y^2} \\ \frac{-2x+4}{y^2} & \frac{-5}{y^2} + \frac{2(x^2-4x+19)}{y^3} \end{pmatrix}
ヘッセ行列式は
H(x,y)=fxxfyy(fxy)2=2y(5y2+2(x24x+19)y3)(2x+4y2)2|H(x,y)| = f_{xx}f_{yy} - (f_{xy})^2 = \frac{2}{y}(\frac{-5}{y^2} + \frac{2(x^2-4x+19)}{y^3}) - (\frac{-2x+4}{y^2})^2
H(2,3)=23×590=1027|H(2,3)| = \frac{2}{3} \times \frac{5}{9} - 0 = \frac{10}{27}
(α2,β2)=(2,3)(\alpha_2, \beta_2) = (2, 3)において、fxx(2,3)=23>0f_{xx}(2, 3) = \frac{2}{3} > 0であり、H(2,3)=1027>0|H(2, 3)| = \frac{10}{27} > 0であるため、ヘッセ行列は正定値であり、極小値となります。

3. 最終的な答え

α2=2\alpha_2 = 2
β2=3\beta_2 = 3
fxx(α2,β2)=23f_{xx}(\alpha_2, \beta_2) = \frac{2}{3}
H(α2,β2)=1027|H(\alpha_2, \beta_2)| = \frac{10}{27}
ヘッセ行列は正定値であるから、極小値となる。

「解析学」の関連問題

指数関数 $y = 3^x$ のグラフを描く問題です。

指数関数グラフ関数のグラフ
2025/7/8

曲線 $C: y = x^2$ 上の点 $P(a, a^2)$ における接線を $l_1$、点 $Q(b, b^2)$ における接線を $l_2$ とする。ただし、$a < b$ とする。$l_1$ ...

微分接線積分面積最大・最小
2025/7/8

与えられた積分を計算します。積分は以下の通りです。 $\int x \sqrt{2x - 3} dx$

積分置換積分不定積分
2025/7/8

(1) 定積分 $\int_{-\sqrt{2}}^{\sqrt{2}} (6x^5 + 15x^4 - 12x^3 + 6x^2 - 8x - 1) dx$ を計算する。 (2) 定積分 $\int...

定積分偶関数奇関数積分計算
2025/7/8

与えられた積分 $\int \frac{\sqrt{x}}{x} dx$ を計算する。

積分ルート指数関数
2025/7/8

以下の3つの定積分を求めます。 (1) $I = \int_1^2 \frac{1}{\sqrt{7x+2}} dx$ (2) $I = \int_1^e \frac{(\log x)^4}{x} d...

定積分積分置換積分
2025/7/8

定積分 $I = \int_{\frac{1}{e}}^{e} |\log x| dx$ を計算します。ここで、$\log x$ の原始関数は $x \log x - x$ であることが与えられていま...

定積分絶対値対数関数
2025/7/8

定積分 $I = \int_{0}^{2} |x^2 - 1| dx$ を計算します。 ヒントとして、$|x^2 - 1|$ が $x$ の範囲によって $1-x^2$ または $x^2 - 1$ と...

定積分絶対値積分
2025/7/8

$a > 0$, $b > 0$ のとき、不等式 $a \log(1+a) + e^b > 1 + ab + b$ が成り立つことを示す。ただし、$e$ は自然対数の底である。

不等式対数関数指数関数Taylor展開平均値の定理
2025/7/8

問題は、以下の3つの定積分を計算することです。 (1) $\int_9^1 (\frac{27}{x^2} + 6\sqrt{x}) \, dx$ (2) $\int_1^0 (e^x - 12x^3...

定積分積分指数関数三角関数
2025/7/8