与えられた2つの2変数関数について、極値とその極値をとる点(x,y)の組をすべて求め、極大値か極小値かを明らかにします。 (i) $f(x, y) = x^3 + y^3 + 3xy$ (ii) $f(x, y) = xy + \frac{1}{2x} + \frac{2}{y}$

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

1. 問題の内容

与えられた2つの2変数関数について、極値とその極値をとる点(x,y)の組をすべて求め、極大値か極小値かを明らかにします。
(i) f(x,y)=x3+y3+3xyf(x, y) = x^3 + y^3 + 3xy
(ii) f(x,y)=xy+12x+2yf(x, y) = xy + \frac{1}{2x} + \frac{2}{y}

2. 解き方の手順

(i) f(x,y)=x3+y3+3xyf(x, y) = x^3 + y^3 + 3xy の場合:

1. 偏微分を計算します。

fx=3x2+3yf_x = 3x^2 + 3y
fy=3y2+3xf_y = 3y^2 + 3x

2. 連立方程式 $f_x = 0$ かつ $f_y = 0$ を解きます。

3x2+3y=0y=x23x^2 + 3y = 0 \Rightarrow y = -x^2
3y2+3x=0y2+x=03y^2 + 3x = 0 \Rightarrow y^2 + x = 0
(x2)2+x=0x4+x=0x(x3+1)=0(-x^2)^2 + x = 0 \Rightarrow x^4 + x = 0 \Rightarrow x(x^3 + 1) = 0
したがって、x=0x = 0 または x=1x = -1
x=0x = 0 のとき y=02=0y = -0^2 = 0
x=1x = -1 のとき y=(1)2=1y = -(-1)^2 = -1
停留点は (0,0)(0, 0)(1,1)(-1, -1)

3. ヘッセ行列式を計算します。

fxx=6xf_{xx} = 6x
fyy=6yf_{yy} = 6y
fxy=3f_{xy} = 3
D=fxxfyy(fxy)2=(6x)(6y)32=36xy9D = f_{xx} f_{yy} - (f_{xy})^2 = (6x)(6y) - 3^2 = 36xy - 9

4. 停留点におけるヘッセ行列式を評価します。

(0,0)(0, 0) のとき D=36(0)(0)9=9<0D = 36(0)(0) - 9 = -9 < 0 なので、(0,0)(0, 0) は鞍点です。
(1,1)(-1, -1) のとき D=36(1)(1)9=369=27>0D = 36(-1)(-1) - 9 = 36 - 9 = 27 > 0
また fxx(1,1)=6(1)=6<0f_{xx}(-1, -1) = 6(-1) = -6 < 0 なので、 (1,1)(-1, -1) は極大値を取る点です。

5. 極値を計算します。

f(1,1)=(1)3+(1)3+3(1)(1)=11+3=1f(-1, -1) = (-1)^3 + (-1)^3 + 3(-1)(-1) = -1 - 1 + 3 = 1
(ii) f(x,y)=xy+12x+2yf(x, y) = xy + \frac{1}{2x} + \frac{2}{y} の場合:

1. 偏微分を計算します。

fx=y12x2f_x = y - \frac{1}{2x^2}
fy=x2y2f_y = x - \frac{2}{y^2}

2. 連立方程式 $f_x = 0$ かつ $f_y = 0$ を解きます。

y12x2=0y=12x2y - \frac{1}{2x^2} = 0 \Rightarrow y = \frac{1}{2x^2}
x2y2=0x=2y2x - \frac{2}{y^2} = 0 \Rightarrow x = \frac{2}{y^2}
x=2(12x2)2=214x4=8x4x = \frac{2}{(\frac{1}{2x^2})^2} = \frac{2}{\frac{1}{4x^4}} = 8x^4
x8x4=0x(18x3)=0x - 8x^4 = 0 \Rightarrow x(1 - 8x^3) = 0
x=0x = 0 は定義域外なので 18x3=01 - 8x^3 = 0
x3=18x=12x^3 = \frac{1}{8} \Rightarrow x = \frac{1}{2}
y=12(12)2=12(14)=112=2y = \frac{1}{2(\frac{1}{2})^2} = \frac{1}{2(\frac{1}{4})} = \frac{1}{\frac{1}{2}} = 2
停留点は (12,2)(\frac{1}{2}, 2)

3. ヘッセ行列式を計算します。

fxx=1x3f_{xx} = \frac{1}{x^3}
fyy=4y3f_{yy} = \frac{4}{y^3}
fxy=1f_{xy} = 1
D=fxxfyy(fxy)2=(1x3)(4y3)12=4x3y31D = f_{xx} f_{yy} - (f_{xy})^2 = (\frac{1}{x^3})(\frac{4}{y^3}) - 1^2 = \frac{4}{x^3 y^3} - 1

4. 停留点におけるヘッセ行列式を評価します。

(12,2)(\frac{1}{2}, 2) のとき D=4(12)3(2)31=4(18)(8)1=411=3>0D = \frac{4}{(\frac{1}{2})^3 (2)^3} - 1 = \frac{4}{(\frac{1}{8})(8)} - 1 = \frac{4}{1} - 1 = 3 > 0
また fxx(12,2)=1(12)3=118=8>0f_{xx}(\frac{1}{2}, 2) = \frac{1}{(\frac{1}{2})^3} = \frac{1}{\frac{1}{8}} = 8 > 0 なので、 (12,2)(\frac{1}{2}, 2) は極小値を取る点です。

5. 極値を計算します。

f(12,2)=(12)(2)+12(12)+22=1+1+1=3f(\frac{1}{2}, 2) = (\frac{1}{2})(2) + \frac{1}{2(\frac{1}{2})} + \frac{2}{2} = 1 + 1 + 1 = 3

3. 最終的な答え

(i) f(x,y)=x3+y3+3xyf(x, y) = x^3 + y^3 + 3xy:
* 鞍点: (0,0)(0, 0)
* 極大値: f(1,1)=1f(-1, -1) = 1
(ii) f(x,y)=xy+12x+2yf(x, y) = xy + \frac{1}{2x} + \frac{2}{y}:
* 極小値: f(12,2)=3f(\frac{1}{2}, 2) = 3

「解析学」の関連問題

問題4と5は、与えられた関数をマクローリン展開(テイラー展開の中心が0の場合)で近似する問題です。問題4は $f(x) = \sqrt{x+1}$ を $n=4$ まで、問題5は $f(x) = \f...

マクローリン展開テイラー展開関数の近似導関数
2025/7/23

与えられた極限を求める問題です。 $$\lim_{n \to \infty} \frac{1}{\sqrt{2n}} \left( \frac{1}{\sqrt{n+1}} + \frac{1}{\s...

極限リーマン和積分
2025/7/23

与えられた極限値を求めます。 $$ \lim_{n \to \infty} \frac{1}{\sqrt{2}n} \left( \frac{1}{\sqrt{n+1}} + \frac{1}{\sq...

極限数列積分
2025/7/23

与えられた数列 $a_n$ に対し、無限級数 $\sum_{n=1}^{\infty} a_n$ が収束するかどうかを調べる。具体的には、以下の8つの数列に対する級数の収束・発散を判定する。 (1) ...

級数収束判定極限比較法比判定法根判定法p級数
2025/7/23

次の極形式で表された複素数を $x + iy$ の形で表現せよ。 (1) $2e^{-i\frac{\pi}{4}}$ (2) $3e^{i\frac{\pi}{3}}$

複素数極形式オイラーの公式三角関数
2025/7/23

$\int_{0}^{1} x^3 dx$ を区分求積法の定義にしたがって求める。

積分区分求積法定積分極限
2025/7/23

$\sqrt[3]{1+x}$ の2次の近似式を用いて、$\sqrt[3]{1.1}$ と $\sqrt[3]{30}$ の近似値を求める問題です。

テイラー展開近似関数
2025/7/23

$\int (5\sin x - 4\cos x) dx$ を計算します。

不定積分三角関数指数関数対数関数置換積分部分積分
2025/7/23

問題は、関数 $\frac{1}{x}$ の不定積分を求めることです。

積分不定積分対数関数
2025/7/23

(1) $\sqrt{1-x}$ の2次の近似式を用いて、$\sqrt{0.9}$ と $\sqrt{24}$ の近似値を求める。 (2) $\sqrt[3]{1+x}$ の2次の近似式を用いて、$\...

近似テイラー展開平方根立方根
2025/7/23