与えられた3つの関数の極値を求める問題です。 (1) $f(x, y) = x^3 - 3x^2 - 4y^2$ (2) $f(x, y) = x^3 - 9xy + y^3 + 1$ (3) $f(x, y) = e^{-x^2-y^2}(ax^2 + by^2)$, ただし$a > b > 0$

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

1. 問題の内容

与えられた3つの関数の極値を求める問題です。
(1) f(x,y)=x33x24y2f(x, y) = x^3 - 3x^2 - 4y^2
(2) f(x,y)=x39xy+y3+1f(x, y) = x^3 - 9xy + y^3 + 1
(3) f(x,y)=ex2y2(ax2+by2)f(x, y) = e^{-x^2-y^2}(ax^2 + by^2), ただしa>b>0a > b > 0

2. 解き方の手順

(1) f(x,y)=x33x24y2f(x, y) = x^3 - 3x^2 - 4y^2
まず、偏微分を計算します。
fx=3x26xf_x = 3x^2 - 6x
fy=8yf_y = -8y
fx=0f_x = 0fy=0f_y = 0 を満たす点を求めます。
3x(x2)=03x(x - 2) = 0 より、x=0x = 0 または x=2x = 2
8y=0-8y = 0 より、y=0y = 0
したがって、停留点は (0,0)(0, 0)(2,0)(2, 0) です。
次に、2階偏微分を計算します。
fxx=6x6f_{xx} = 6x - 6
fyy=8f_{yy} = -8
fxy=0f_{xy} = 0
ヘッセ行列式 D=fxxfyy(fxy)2D = f_{xx}f_{yy} - (f_{xy})^2 を計算します。
D=(6x6)(8)02=48(x1)D = (6x - 6)(-8) - 0^2 = -48(x - 1)
(0,0)(0, 0) において、D=48(01)=48>0D = -48(0 - 1) = 48 > 0 かつ fxx(0,0)=6<0f_{xx}(0, 0) = -6 < 0 なので、(0,0)(0, 0) は極大点であり、f(0,0)=0f(0, 0) = 0
(2,0)(2, 0) において、D=48(21)=48<0D = -48(2 - 1) = -48 < 0 なので、(2,0)(2, 0) は鞍点です。
(2) f(x,y)=x39xy+y3+1f(x, y) = x^3 - 9xy + y^3 + 1
まず、偏微分を計算します。
fx=3x29yf_x = 3x^2 - 9y
fy=9x+3y2f_y = -9x + 3y^2
fx=0f_x = 0fy=0f_y = 0 を満たす点を求めます。
3x29y=03x^2 - 9y = 0 より y=13x2y = \frac{1}{3}x^2
9x+3y2=0-9x + 3y^2 = 0 より x=13y2x = \frac{1}{3}y^2
x=13(13x2)2=127x4x = \frac{1}{3}(\frac{1}{3}x^2)^2 = \frac{1}{27}x^4
27x=x427x = x^4
x(x327)=0x(x^3 - 27) = 0 より x=0x = 0 または x=3x = 3
x=0x = 0 のとき、y=0y = 0
x=3x = 3 のとき、y=13(32)=3y = \frac{1}{3}(3^2) = 3
したがって、停留点は (0,0)(0, 0)(3,3)(3, 3) です。
次に、2階偏微分を計算します。
fxx=6xf_{xx} = 6x
fyy=6yf_{yy} = 6y
fxy=9f_{xy} = -9
ヘッセ行列式 D=fxxfyy(fxy)2D = f_{xx}f_{yy} - (f_{xy})^2 を計算します。
D=(6x)(6y)(9)2=36xy81D = (6x)(6y) - (-9)^2 = 36xy - 81
(0,0)(0, 0) において、D=36(0)(0)81=81<0D = 36(0)(0) - 81 = -81 < 0 なので、(0,0)(0, 0) は鞍点です。
(3,3)(3, 3) において、D=36(3)(3)81=32481=243>0D = 36(3)(3) - 81 = 324 - 81 = 243 > 0 かつ fxx(3,3)=6(3)=18>0f_{xx}(3, 3) = 6(3) = 18 > 0 なので、(3,3)(3, 3) は極小点であり、f(3,3)=339(3)(3)+33+1=2781+27+1=26f(3, 3) = 3^3 - 9(3)(3) + 3^3 + 1 = 27 - 81 + 27 + 1 = -26
(3) f(x,y)=ex2y2(ax2+by2)f(x, y) = e^{-x^2-y^2}(ax^2 + by^2), ただしa>b>0a > b > 0
まず、偏微分を計算します。
fx=ex2y2(2ax)+(ax2+by2)ex2y2(2x)=2xex2y2(aax2by2)f_x = e^{-x^2-y^2}(2ax) + (ax^2 + by^2)e^{-x^2-y^2}(-2x) = 2xe^{-x^2-y^2}(a - ax^2 - by^2)
fy=ex2y2(2by)+(ax2+by2)ex2y2(2y)=2yex2y2(bax2by2)f_y = e^{-x^2-y^2}(2by) + (ax^2 + by^2)e^{-x^2-y^2}(-2y) = 2ye^{-x^2-y^2}(b - ax^2 - by^2)
fx=0f_x = 0fy=0f_y = 0 を満たす点を求めます。
x=0x = 0 または aax2by2=0a - ax^2 - by^2 = 0
y=0y = 0 または bax2by2=0b - ax^2 - by^2 = 0
x=0x = 0 かつ y=0y = 0 のとき、(0,0)(0, 0) は停留点。
x=0x = 0 かつ bby2=0b - by^2 = 0 のとき、y2=1y^2 = 1 より y=±1y = \pm 1、したがって (0,±1)(0, \pm 1) は停留点。
y=0y = 0 かつ aax2=0a - ax^2 = 0 のとき、x2=1x^2 = 1 より x=±1x = \pm 1、したがって (±1,0)(\pm 1, 0) は停留点。
aax2by2=0a - ax^2 - by^2 = 0 かつ bax2by2=0b - ax^2 - by^2 = 0 のとき、a=ba = b となり、a>ba > b に矛盾するので、このような点はありません。
次に、2階偏微分を計算します。
fxx=2ex2y2(aax2by2)+2xex2y2(2ax)+2x(aax2by2)ex2y2(2x)=2ex2y2(aax2by22ax2)4x2ex2y2(aax2by2)f_{xx} = 2e^{-x^2-y^2}(a - ax^2 - by^2) + 2x e^{-x^2-y^2}(-2ax) + 2x(a - ax^2 - by^2)e^{-x^2-y^2}(-2x) = 2e^{-x^2-y^2}(a-ax^2-by^2-2ax^2) - 4x^2e^{-x^2-y^2}(a-ax^2-by^2)
fyy=2ex2y2(bax2by2)+2yex2y2(2by)+2y(bax2by2)ex2y2(2y)=2ex2y2(bax2by22by2)4y2ex2y2(bax2by2)f_{yy} = 2e^{-x^2-y^2}(b - ax^2 - by^2) + 2y e^{-x^2-y^2}(-2by) + 2y(b - ax^2 - by^2)e^{-x^2-y^2}(-2y) = 2e^{-x^2-y^2}(b-ax^2-by^2-2by^2) - 4y^2e^{-x^2-y^2}(b-ax^2-by^2)
fxy=2xex2y2(2by)+2yex2y2(2ax)=4xyex2y2(a+b)f_{xy} = 2x e^{-x^2-y^2}(-2by) + 2y e^{-x^2-y^2}(-2ax) = -4xye^{-x^2-y^2}(a+b)
ヘッセ行列式 D=fxxfyy(fxy)2D = f_{xx}f_{yy} - (f_{xy})^2 を計算します。
(0,0)(0, 0) において、fxx=2af_{xx} = 2a, fyy=2bf_{yy} = 2b, fxy=0f_{xy} = 0, D=(2a)(2b)02=4ab>0D = (2a)(2b) - 0^2 = 4ab > 0 かつ fxx(0,0)=2a>0f_{xx}(0, 0) = 2a > 0 なので、(0,0)(0, 0) は極小点であり、f(0,0)=0f(0, 0) = 0
(±1,0)(\pm 1, 0) において、fxx=2e10(aa)4e1(aa)=4ae1f_{xx} = 2e^{-1-0}(a-a) - 4e^{-1}(a-a) = -4a e^{-1}, fyy=2e1(ba)f_{yy} = 2e^{-1}(b - a), fxy=0f_{xy} = 0, D=(2e1(a2a0))(2e1(ba0))0=4e2(a)(ab)<0D = (2 e^{-1} (a-2a-0))(2 e^{-1} (b-a-0)) - 0 = 4e^{-2} (a)(a-b) < 0なので鞍点
(0,±1)(0, \pm 1) において、fxx=2e1(ab)f_{xx} = 2e^{-1} (a -b), fyy=2e1(bb2b)=2e1bf_{yy} = 2e^{-1} (b-b - 2b) =-2e^{-1} b, fxy=0f_{xy} = 0, D=(2e1(ab))(4be1)0=4be2(ab)<0D = (2 e^{-1} (a -b))(-4be^{-1} ) - 0 = -4be^{-2} (a-b) < 0なので鞍点

3. 最終的な答え

(1) 極大値: f(0,0)=0f(0, 0) = 0, 鞍点: (2,0)(2, 0)
(2) 極小値: f(3,3)=26f(3, 3) = -26, 鞍点: (0,0)(0, 0)
(3) 極小値: f(0,0)=0f(0, 0) = 0, 鞍点: (±1,0)(\pm 1, 0), (0,±1)(0, \pm 1)

「解析学」の関連問題

## 1. 問題の内容

積分不定積分定積分面積微積分学の基本定理絶対値
2025/7/27

与えられた数学の問題を解きます。問題は、平均変化率、極限、微分、微分係数、接線の方程式、極値、最大値と最小値を求める問題です。

平均変化率極限微分微分係数接線極値最大値最小値
2025/7/27

はい、承知いたしました。画像の問題を解いていきます。

極限テイラー展開不定積分関数の大小比較ロピタルの定理置換積分
2025/7/27

周期 $2\pi$ の周期関数 $f(x)$ をフーリエ級数展開する問題です。関数 $f(x)$ は以下のように定義されています。 $f(x) = \begin{cases} 0, & (-\pi \...

フーリエ級数周期関数積分部分積分
2025/7/27

与えられた極限の計算問題です。 (5) $\lim_{x\to +0} x^a (\log x)^n$, ただし $a>0, n$ は自然数 (6) $\lim_{x\to +0} \log x \c...

極限ロピタルの定理関数の極限変数変換
2025/7/27

以下の問題が与えられています。 (4) $\lim_{x \to 0} \frac{1-e^x + x}{x^2}$ (5) $\lim_{x \to +\infty} x^n (\log x)^n$...

極限テイラー展開不定積分ロピタルの定理置換積分部分分数分解
2025/7/27

与えられた極限を計算します。$a > 0$, $n$は自然数であるという条件の下で、 $$\lim_{x \to +0} x^n (\log x)^n$$ を計算します。

極限ロピタルの定理指数関数対数関数
2025/7/27

与えられた極限を計算します。 $$\lim_{x \to 0} \left( \frac{1}{1-e^x} + \frac{1}{x} \right)$$

極限ロピタルの定理微分指数関数
2025/7/27

与えられた関数をマクローリン展開し、3次までの項を求める問題です。具体的には、以下の3つの関数について計算します。 1. $sin(3x)$

マクローリン展開テイラー展開微分
2025/7/27

与えられた3つの関数について、増減と凹凸を調べ、凹凸付きの増減表を作成し、関数の概形を描く問題です。 * 関数1: $y = \sqrt{\frac{x-1}{x-2}}$ * 関数2: $y...

関数の増減関数の凹凸導関数2階導関数グラフの概形漸近線
2025/7/27