与えられた関数 $f(x, y)$ の極値を求めます。特に、(1) $f(x, y) = xy(x^2 + y^2 - 1)$ と (3) $f(x, y) = e^{-(x^2 + y^2)}(ax^2 + by^2)$ (ただし、$a > b > 0$) の極値を求めます。

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

1. 問題の内容

与えられた関数 f(x,y)f(x, y) の極値を求めます。特に、(1) f(x,y)=xy(x2+y21)f(x, y) = xy(x^2 + y^2 - 1) と (3) f(x,y)=e(x2+y2)(ax2+by2)f(x, y) = e^{-(x^2 + y^2)}(ax^2 + by^2) (ただし、a>b>0a > b > 0) の極値を求めます。

2. 解き方の手順

(1) f(x,y)=xy(x2+y21)f(x, y) = xy(x^2 + y^2 - 1) の場合:
まず、偏微分を計算します。
fx=fx=y(x2+y21)+xy(2x)=y(3x2+y21)f_x = \frac{\partial f}{\partial x} = y(x^2 + y^2 - 1) + xy(2x) = y(3x^2 + y^2 - 1)
fy=fy=x(x2+y21)+xy(2y)=x(x2+3y21)f_y = \frac{\partial f}{\partial y} = x(x^2 + y^2 - 1) + xy(2y) = x(x^2 + 3y^2 - 1)
次に、連立方程式 fx=0f_x = 0 かつ fy=0f_y = 0 を解きます。
y(3x2+y21)=0y(3x^2 + y^2 - 1) = 0
x(x2+3y21)=0x(x^2 + 3y^2 - 1) = 0
この連立方程式を解くことで、候補となる極値点を求めます。
(a) x=0x=0 のとき、 y(y21)=0y(y^2-1)=0 より y=0,1,1y=0, 1, -1。点 (0,0)(0, 0), (0,1)(0, 1), (0,1)(0, -1)
(b) y=0y=0 のとき、 x(x21)=0x(x^2-1)=0 より x=0,1,1x=0, 1, -1。点 (0,0)(0, 0), (1,0)(1, 0), (1,0)(-1, 0)
(c) x0x\neq 0 かつ y0y\neq 0 のとき、3x2+y21=03x^2 + y^2 - 1 = 0 かつ x2+3y21=0x^2 + 3y^2 - 1 = 0
このとき、辺々引くと、2x22y2=02x^2 - 2y^2 = 0 つまり x2=y2x^2 = y^2
よって、x=yx = y または x=yx = -y
x=yx = y のとき、3x2+x21=03x^2 + x^2 - 1 = 0 より 4x2=14x^2 = 1x=±12x = \pm \frac{1}{2}。点 (12,12)(\frac{1}{2}, \frac{1}{2}), (12,12)(-\frac{1}{2}, -\frac{1}{2})
x=yx = -y のとき、3x2+x21=03x^2 + x^2 - 1 = 0 より 4x2=14x^2 = 1x=±12x = \pm \frac{1}{2}。点 (12,12)(\frac{1}{2}, -\frac{1}{2}), (12,12)(-\frac{1}{2}, \frac{1}{2})
次に、ヘッセ行列を計算して、極値の判定を行います。
fxx=2fx2=y(6x)=6xyf_{xx} = \frac{\partial^2 f}{\partial x^2} = y(6x) = 6xy
fyy=2fy2=x(6y)=6xyf_{yy} = \frac{\partial^2 f}{\partial y^2} = x(6y) = 6xy
fxy=2fxy=3x2+y21+2y2=3x2+3y21f_{xy} = \frac{\partial^2 f}{\partial x \partial y} = 3x^2 + y^2 - 1 + 2y^2 = 3x^2 + 3y^2 - 1
H(x,y)=fxxfyy(fxy)2=(6xy)2(3x2+3y21)2H(x, y) = f_{xx} f_{yy} - (f_{xy})^2 = (6xy)^2 - (3x^2 + 3y^2 - 1)^2
(0,0): H(0,0)=(1)2=1<0H(0, 0) = -(-1)^2 = -1 < 0 なので、鞍点。
(1,0), (-1, 0), (0, 1), (0, -1): H(1,0)=(31)2=4<0H(1, 0) = - (3-1)^2 = -4 < 0なので、鞍点。同様に、鞍点。
(1/2, 1/2), (-1/2, -1/2), (1/2, -1/2), (-1/2, 1/2):
H(12,12)=(64)2(34+341)2=94(12)2=9414=2>0H(\frac{1}{2}, \frac{1}{2}) = (\frac{6}{4})^2 - (\frac{3}{4} + \frac{3}{4} - 1)^2 = \frac{9}{4} - (\frac{1}{2})^2 = \frac{9}{4} - \frac{1}{4} = 2 > 0
fxx(12,12)=614=32>0f_{xx}(\frac{1}{2}, \frac{1}{2}) = 6 \cdot \frac{1}{4} = \frac{3}{2} > 0 なので、極小値。
f(12,12)=14(14+141)=14(12)=18f(\frac{1}{2}, \frac{1}{2}) = \frac{1}{4}(\frac{1}{4} + \frac{1}{4} - 1) = \frac{1}{4}(-\frac{1}{2}) = -\frac{1}{8}
H(12,12)=(64)2(34+341)2=94(12)2=9414=2>0H(-\frac{1}{2}, -\frac{1}{2}) = (\frac{6}{4})^2 - (\frac{3}{4} + \frac{3}{4} - 1)^2 = \frac{9}{4} - (\frac{1}{2})^2 = \frac{9}{4} - \frac{1}{4} = 2 > 0
fxx(12,12)=614=32>0f_{xx}(-\frac{1}{2}, -\frac{1}{2}) = 6 \cdot \frac{1}{4} = \frac{3}{2} > 0 なので、極小値。
f(12,12)=14(14+141)=14(12)=18f(-\frac{1}{2}, -\frac{1}{2}) = \frac{1}{4}(\frac{1}{4} + \frac{1}{4} - 1) = \frac{1}{4}(-\frac{1}{2}) = -\frac{1}{8}
H(12,12)=(64)2(34+341)2=94(12)2=9414=2>0H(\frac{1}{2}, -\frac{1}{2}) = (-\frac{6}{4})^2 - (\frac{3}{4} + \frac{3}{4} - 1)^2 = \frac{9}{4} - (\frac{1}{2})^2 = \frac{9}{4} - \frac{1}{4} = 2 > 0
fxx(12,12)=614=32<0f_{xx}(\frac{1}{2}, -\frac{1}{2}) = 6 \cdot -\frac{1}{4} = -\frac{3}{2} < 0 なので、極大値。
f(12,12)=14(14+141)=14(12)=18f(\frac{1}{2}, -\frac{1}{2}) = -\frac{1}{4}(\frac{1}{4} + \frac{1}{4} - 1) = -\frac{1}{4}(-\frac{1}{2}) = \frac{1}{8}
H(12,12)=(64)2(34+341)2=94(12)2=9414=2>0H(-\frac{1}{2}, \frac{1}{2}) = (-\frac{6}{4})^2 - (\frac{3}{4} + \frac{3}{4} - 1)^2 = \frac{9}{4} - (\frac{1}{2})^2 = \frac{9}{4} - \frac{1}{4} = 2 > 0
fxx(12,12)=614=32<0f_{xx}(-\frac{1}{2}, \frac{1}{2}) = 6 \cdot -\frac{1}{4} = -\frac{3}{2} < 0 なので、極大値。
f(12,12)=14(14+141)=14(12)=18f(-\frac{1}{2}, \frac{1}{2}) = -\frac{1}{4}(\frac{1}{4} + \frac{1}{4} - 1) = -\frac{1}{4}(-\frac{1}{2}) = \frac{1}{8}
(3) f(x,y)=e(x2+y2)(ax2+by2)f(x, y) = e^{-(x^2 + y^2)}(ax^2 + by^2) (ただし、a>b>0a > b > 0) の場合:
まず、偏微分を計算します。
fx=e(x2+y2)(2ax)+(ax2+by2)e(x2+y2)(2x)=2xe(x2+y2)(aax2by2)f_x = e^{-(x^2+y^2)}(2ax) + (ax^2+by^2)e^{-(x^2+y^2)}(-2x) = 2x e^{-(x^2+y^2)} (a - ax^2 - by^2)
fy=e(x2+y2)(2by)+(ax2+by2)e(x2+y2)(2y)=2ye(x2+y2)(bax2by2)f_y = e^{-(x^2+y^2)}(2by) + (ax^2+by^2)e^{-(x^2+y^2)}(-2y) = 2y e^{-(x^2+y^2)} (b - ax^2 - by^2)
次に、連立方程式 fx=0f_x = 0 かつ fy=0f_y = 0 を解きます。
2xe(x2+y2)(aax2by2)=02x e^{-(x^2+y^2)} (a - ax^2 - by^2) = 0
2ye(x2+y2)(bax2by2)=02y e^{-(x^2+y^2)} (b - ax^2 - by^2) = 0
(a) x=0x=0 のとき、2ye(x2+y2)(bby2)=02y e^{-(x^2+y^2)}(b-by^2)=0 より、y=0y=0またはy=±1y=\pm1
(b) y=0y=0 のとき、2xe(x2+y2)(aax2)=02x e^{-(x^2+y^2)}(a-ax^2)=0 より、x=0x=0またはx=±1x=\pm1
(c) x0x\neq 0 かつ y0y\neq 0 のとき、aax2by2=0a - ax^2 - by^2 = 0 かつ bax2by2=0b - ax^2 - by^2 = 0
辺々引くと、ab=0a-b = 0 となり、a=ba=b になってしまうので、x0x\neq 0 かつ y0y\neq 0となる解は存在しない。
よって、候補は(0,0),(1,0),(1,0),(0,1),(0,1)(0,0),(1,0),(-1,0),(0,1),(0,-1)
(0,0)(0,0)のとき、f(0,0)=0f(0,0) = 0
(1,0),(1,0)(1,0),(-1,0)のとき、f(±1,0)=e1a>0f(\pm1,0)=e^{-1}a>0
(0,1),(0,1)(0,1),(0,-1)のとき、f(0,±1)=e1b>0f(0,\pm1)=e^{-1}b>0
x=0,y=0x=0, y=0は極小値
x=±1,y=0x=\pm1, y=0は極大値
x=0,y=±1x=0, y=\pm1は極大値
極小値は0
極大値はae1ae^{-1}またはbe1be^{-1}.
ここで、a>b>0a>b>0より、ae1>be1ae^{-1}>be^{-1}.
したがって、極大値はae1=aeae^{-1}=\frac{a}{e}.

3. 最終的な答え

(1)
極小値は 1/8-1/8
極大値は 1/81/8
(3)
極小値は 00
極大値は a/ea/e

「解析学」の関連問題

領域 $D = \{(x, y) \mid -1 \le x \le 0, -1 \le y \le 0\}$ 上の曲面 $z = f(x, y) = 2x + 2y$ の面積を求めよ。

曲面面積偏微分重積分
2025/7/16

領域 $D = \{(x, y) ; 0 \le x \le 2, 0 \le y \le 1\}$ 上の曲面 $z = f(x, y) = \sqrt{2x+y}$ の面積を求める問題です。

曲面積重積分偏微分
2025/7/16

問題は、以下の2つの命題を証明することです。 (1) 集合 $S$ が上に有界であることと、$S$ の上界の集合 $U(S)$ が空でないこと ($U(S) \neq \emptyset$) は同値で...

集合有界上界下界同値性証明
2025/7/16

与えられた3つの集合$A$, $B$, $C$がそれぞれ上または下に有界かどうかを判断し、有界である場合は上界または下界を1つずつ答える問題です。 $A = \{2n \mid n \in \math...

集合有界性上界下界実数有理数
2025/7/16

(1) 中間値の定理を述べる。 (2) 関数 $f(x)$ は区間 $[a, b]$ で連続であり、$f(a)f(b) < 0$ を満たすとする。このとき、$f(x) = 0$ となる $x$ が区間...

中間値の定理連続関数証明区間
2025/7/16

関数 $f(x) = \int_{-1}^{x} (3t^2 + 2pt + q) dt$ について、以下の問いに答える問題です。 * $f'(x)$ を求める * $f(x)$ が $x=2$ で極...

積分微分極値関数の最大最小
2025/7/16

(1) アステロイド曲線 $\sqrt[3]{x^2} + \sqrt[3]{y^2} = 1$ をx軸周りに回転させた回転体の体積を求める問題で、$2\pi \int_0^{\text{①}} y^...

積分回転体の体積アステロイド曲線懸垂曲線
2025/7/16

関数 $f(x) = x^3 + ax^2 - 2$ が $x = -2$ で極値をとるとき、定数 $a$ の値を求める問題です。

微分極値関数の増減
2025/7/16

関数 $y = x^3 - 3x^2 + x - 3$ のグラフ上の点 $(1, -4)$ における接線の方程式を求める。

微分接線導関数グラフ
2025/7/16

実数 $t$ に対して、曲線 $C_t : y = 3tx^2 - t^3$ を考える。 (1) $t$ が実数全体を動くとき、曲線 $C_t$ がちょうど3回通過する $xy$ 平面上の点全体からな...

曲線パラメータ表示3次方程式極値領域
2025/7/16