関数 $f(x,y) = -60\ln(x) - 21\ln(y) + 2xy + 6x - 3y$ の極値を求める問題です。 $f_x(x,y) = f_y(x,y) = 0$ となる $(x,y)$ を $(\alpha_1, \beta_1), (\alpha_2, \beta_2)$ とし、それぞれの点における $f_{xx}$ とヘッセ行列の行列式 $|H|$ の値を求め、極大・極小を判定します。

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

1. 問題の内容

関数 f(x,y)=60ln(x)21ln(y)+2xy+6x3yf(x,y) = -60\ln(x) - 21\ln(y) + 2xy + 6x - 3y の極値を求める問題です。
fx(x,y)=fy(x,y)=0f_x(x,y) = f_y(x,y) = 0 となる (x,y)(x,y)(α1,β1),(α2,β2)(\alpha_1, \beta_1), (\alpha_2, \beta_2) とし、それぞれの点における fxxf_{xx} とヘッセ行列の行列式 H|H| の値を求め、極大・極小を判定します。

2. 解き方の手順

まず、偏微分 fxf_xfyf_y を計算します。
fx=60x+2y+6f_x = -\frac{60}{x} + 2y + 6
fy=21y+2x3f_y = -\frac{21}{y} + 2x - 3
fx=0f_x = 0 かつ fy=0f_y = 0 を満たす (x,y)(x,y) を求めます。
60x+2y+6=0-\frac{60}{x} + 2y + 6 = 0 より、 2y=60x62y = \frac{60}{x} - 6
y=30x3y = \frac{30}{x} - 3
21y+2x3=0-\frac{21}{y} + 2x - 3 = 0 より、 21y=2x3\frac{21}{y} = 2x - 3
y=212x3y = \frac{21}{2x-3}
したがって、
30x3=212x3\frac{30}{x} - 3 = \frac{21}{2x-3}
(303x)(2x3)=21x(30-3x)(2x-3) = 21x
60x906x2+9x=21x60x - 90 - 6x^2 + 9x = 21x
6x248x+90=06x^2 - 48x + 90 = 0
x28x+15=0x^2 - 8x + 15 = 0
(x3)(x5)=0(x-3)(x-5) = 0
x=3,5x = 3, 5
x=3x = 3 のとき、y=3033=103=7y = \frac{30}{3} - 3 = 10 - 3 = 7
x=5x = 5 のとき、y=3053=63=3y = \frac{30}{5} - 3 = 6 - 3 = 3
よって、(α1,β1)=(3,7)(\alpha_1, \beta_1) = (3, 7), (α2,β2)=(5,3)(\alpha_2, \beta_2) = (5, 3)
次に、2階偏微分を計算します。
fxx=60x2f_{xx} = \frac{60}{x^2}
fyy=21y2f_{yy} = \frac{21}{y^2}
fxy=2f_{xy} = 2
fyx=2f_{yx} = 2
ヘッセ行列 HH
H=(fxxfxyfyxfyy)=(60x22221y2)H = \begin{pmatrix} f_{xx} & f_{xy} \\ f_{yx} & f_{yy} \end{pmatrix} = \begin{pmatrix} \frac{60}{x^2} & 2 \\ 2 & \frac{21}{y^2} \end{pmatrix}
(x,y)=(3,7)(x,y) = (3,7) のとき、
fxx(3,7)=6032=609=203f_{xx}(3,7) = \frac{60}{3^2} = \frac{60}{9} = \frac{20}{3}
H(3,7)=6032217222=203374=2074=20287=87<0|H(3,7)| = \frac{60}{3^2} \cdot \frac{21}{7^2} - 2^2 = \frac{20}{3} \cdot \frac{3}{7} - 4 = \frac{20}{7} - 4 = \frac{20 - 28}{7} = -\frac{8}{7} < 0
ヘッセ行列は不定符号なので、鞍点です。
(x,y)=(5,3)(x,y) = (5,3) のとき、
fxx(5,3)=6052=6025=125f_{xx}(5,3) = \frac{60}{5^2} = \frac{60}{25} = \frac{12}{5}
H(5,3)=6052213222=125734=2854=28205=85>0|H(5,3)| = \frac{60}{5^2} \cdot \frac{21}{3^2} - 2^2 = \frac{12}{5} \cdot \frac{7}{3} - 4 = \frac{28}{5} - 4 = \frac{28-20}{5} = \frac{8}{5} > 0
fxx(5,3)>0f_{xx}(5,3) > 0 なので、極小値です。

3. 最終的な答え

α1=3\alpha_1 = 3
β1=7\beta_1 = 7
α2=5\alpha_2 = 5
β2=3\beta_2 = 3
fxx(α1,β1)=203f_{xx}(\alpha_1, \beta_1) = \frac{20}{3}
H(α1,β1)=87|H(\alpha_1, \beta_1)| = -\frac{8}{7}
ヘッセ行列は不定符号であるから鞍点となる。
fxx(α2,β2)=125f_{xx}(\alpha_2, \beta_2) = \frac{12}{5}
H(α2,β2)=85|H(\alpha_2, \beta_2)| = \frac{8}{5}
ヘッセ行列は正定値であるから極小値となる。

「解析学」の関連問題

以下の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

次の定積分を求めよ。 (1) $\int_1^{27} (\frac{\sqrt[3]{x}}{x^2} + 6\sqrt{x}) dx$ (2) $\int_0^1 (e^x - 12x^3) dx...

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

3次方程式 $x^3 - 6x^2 + 9x = k$ の実数解の個数が、$k$ の値によってどのように変化するかを調べる問題です。

微分増減極値3次方程式グラフ
2025/7/8

定積分 $I = \int_0^{\frac{\pi}{2}} \frac{1}{2 + \cos x} dx$ を計算する問題です。$t = \tan \frac{x}{2}$ と置換し、$I = ...

定積分置換積分三角関数の積分
2025/7/8

不定積分 $I = \int \frac{1}{x \sqrt{\log(x^2)}} dx$ を計算し、$I = \Box \int \{\log(x^2)\}^{-\frac{1}{2}} \cd...

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

定積分 $\int_{-1}^{1} (3x+2)(x-2) dx$ を計算します。

定積分積分多項式
2025/7/8