2つの2変数関数 $f(x, y)$ の極値を求める問題です。 (1) $f(x, y) = xy(x^2 + y^2 - 1)$ (2) $f(x, y) = \frac{x^2y^2}{(x-1)(y-1)}$

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

1. 問題の内容

2つの2変数関数 f(x,y)f(x, y) の極値を求める問題です。
(1) f(x,y)=xy(x2+y21)f(x, y) = xy(x^2 + y^2 - 1)
(2) f(x,y)=x2y2(x1)(y1)f(x, y) = \frac{x^2y^2}{(x-1)(y-1)}

2. 解き方の手順

(1) f(x,y)=xy(x2+y21)=x3y+xy3xyf(x, y) = xy(x^2 + y^2 - 1) = x^3y + xy^3 - xy の場合:
- まず、偏微分を計算します。
fx=3x2y+y3yf_x = 3x^2y + y^3 - y
fy=x3+3xy2xf_y = x^3 + 3xy^2 - x
- 次に、fx=0f_x = 0 かつ fy=0f_y = 0 となる (x,y)(x, y) を求めます。
fx=y(3x2+y21)=0f_x = y(3x^2 + y^2 - 1) = 0
fy=x(x2+3y21)=0f_y = x(x^2 + 3y^2 - 1) = 0
- y=0y = 0 の場合、x(x21)=0x(x^2 - 1) = 0 より、x=0,1,1x = 0, 1, -1
- x=0x = 0 の場合、y(y21)=0y(y^2 - 1) = 0 より、y=0,1,1y = 0, 1, -1
- 3x2+y21=03x^2 + y^2 - 1 = 0 かつ x2+3y21=0x^2 + 3y^2 - 1 = 0 の場合、連立方程式を解きます。
3x2+y2=13x^2 + y^2 = 1
x2+3y2=1x^2 + 3y^2 = 1
これを解くと、x2=y2=14x^2 = y^2 = \frac{1}{4} より、x=±12x = \pm \frac{1}{2}, y=±12y = \pm \frac{1}{2}
- よって、候補点は (0,0),(1,0),(1,0),(0,1),(0,1),(12,12),(12,12),(12,12),(12,12)(0, 0), (1, 0), (-1, 0), (0, 1), (0, -1), (\frac{1}{2}, \frac{1}{2}), (\frac{1}{2}, -\frac{1}{2}), (-\frac{1}{2}, \frac{1}{2}), (-\frac{1}{2}, -\frac{1}{2})
- ヘッセ行列を計算します。
fxx=6xyf_{xx} = 6xy
fyy=6xyf_{yy} = 6xy
fxy=3x2+3y21f_{xy} = 3x^2 + 3y^2 - 1
D=fxxfyyfxy2=36x2y2(3x2+3y21)2D = f_{xx}f_{yy} - f_{xy}^2 = 36x^2y^2 - (3x^2 + 3y^2 - 1)^2
- 各候補点について、DD の符号を調べます。
- (0,0)(0, 0) のとき、D=1<0D = -1 < 0 なので、極値ではない。
- (±1,0),(0,±1)(\pm 1, 0), (0, \pm 1) のとき、D=(31)2=4<0D = - (3 - 1)^2 = -4 < 0 なので、極値ではない。
- (±12,±12)(\pm \frac{1}{2}, \pm \frac{1}{2}) のとき、D=36116(34+341)2=94(12)2=9414=2>0D = 36 \cdot \frac{1}{16} - (\frac{3}{4} + \frac{3}{4} - 1)^2 = \frac{9}{4} - (\frac{1}{2})^2 = \frac{9}{4} - \frac{1}{4} = 2 > 0
fxx=614=32>0f_{xx} = 6 \cdot \frac{1}{4} = \frac{3}{2} > 0 または fxx=6(14)=32<0f_{xx} = 6 \cdot (-\frac{1}{4}) = -\frac{3}{2} < 0
よって、f(12,12)=18f(\frac{1}{2}, \frac{1}{2}) = -\frac{1}{8} で極小、f(12,12)=18f(-\frac{1}{2}, -\frac{1}{2}) = -\frac{1}{8} で極小、f(12,12)=18f(\frac{1}{2}, -\frac{1}{2}) = \frac{1}{8} で極大、f(12,12)=18f(-\frac{1}{2}, \frac{1}{2}) = \frac{1}{8} で極大。
(2) f(x,y)=x2y2(x1)(y1)f(x, y) = \frac{x^2y^2}{(x-1)(y-1)} の場合:
- まず、偏微分を計算します。
fx=2xy2(x1)x2y2(x1)2(y1)=xy2(2(x1)x)(x1)2(y1)=xy2(x2)(x1)2(y1)f_x = \frac{2xy^2(x-1) - x^2y^2}{(x-1)^2(y-1)} = \frac{x y^2 (2(x-1) - x)}{(x-1)^2 (y-1)} = \frac{xy^2(x-2)}{(x-1)^2(y-1)}
fy=x2y(y2)(x1)(y1)2f_y = \frac{x^2y(y-2)}{(x-1)(y-1)^2}
- 次に、fx=0f_x = 0 かつ fy=0f_y = 0 となる (x,y)(x, y) を求めます。
fx=0xy2(x2)=0f_x = 0 \Rightarrow x y^2 (x-2) = 0
fy=0x2y(y2)=0f_y = 0 \Rightarrow x^2 y (y-2) = 0
ただし、x1x \ne 1 かつ y1y \ne 1
- x=0x = 0 または y=0y = 0 のとき、f(x,y)=0f(x,y) = 0。しかしx1,y1x \ne 1, y \ne 1 より、どちらも 00 にはならない。
- x=2x=2 かつ y=2y=2 を得る。
fxx=y2(x24x+2)(x1)3(y1)f_{xx} = \frac{y^2 (x^2 - 4x + 2)}{(x-1)^3 (y-1)}
fyy=x2(y24y+2)(x1)(y1)3f_{yy} = \frac{x^2 (y^2 - 4y + 2)}{(x-1) (y-1)^3}
fxy=xy(xy2x2y+4)(x1)2(y1)2f_{xy} = \frac{x y (x y - 2x - 2y + 4)}{(x-1)^2 (y-1)^2}
- (2,2)(2, 2) のとき、fxx=4(48+2)11=8f_{xx} = \frac{4 (4 - 8 + 2)}{1 \cdot 1} = -8
fyy=4(48+2)11=8f_{yy} = \frac{4 (4 - 8 + 2)}{1 \cdot 1} = -8
fxy=4(444+4)11=0f_{xy} = \frac{4 (4 - 4 - 4 + 4)}{1 \cdot 1} = 0
D=fxxfyyfxy2=(8)(8)0=64>0D = f_{xx}f_{yy} - f_{xy}^2 = (-8)(-8) - 0 = 64 > 0
fxx=8<0f_{xx} = -8 < 0 なので、(2,2)(2, 2) で極大値 f(2,2)=1611=16f(2, 2) = \frac{16}{1 \cdot 1} = 16 をとる。

3. 最終的な答え

(1) f(x,y)=xy(x2+y21)f(x, y) = xy(x^2 + y^2 - 1) の場合:
- f(12,12)=f(12,12)=18f(\frac{1}{2}, \frac{1}{2}) = f(-\frac{1}{2}, -\frac{1}{2}) = -\frac{1}{8} で極小
- f(12,12)=f(12,12)=18f(\frac{1}{2}, -\frac{1}{2}) = f(-\frac{1}{2}, \frac{1}{2}) = \frac{1}{8} で極大
(2) f(x,y)=x2y2(x1)(y1)f(x, y) = \frac{x^2y^2}{(x-1)(y-1)} の場合:
- f(2,2)=16f(2, 2) = 16 で極大

「解析学」の関連問題

次の極限を計算します。 $\lim_{x \to 0} (\frac{1}{x} - \frac{1}{\tan^2 x})$

極限テイラー展開三角関数ローピタルの定理
2025/7/23

関数 $y = \sqrt{3}\sin\theta + \cos\theta$ について、以下の2つの問いに答えます。 (1) $\theta = \frac{\pi}{2}$ のときの $y$ の...

三角関数関数の合成三角関数の加法定理方程式
2025/7/23

$f(x) = x^3 - 2x$、 $g(x) = x^2$ とします。$y = f(x)$ のグラフをC、$y = g(x)$ のグラフをDとするとき、CとDで囲まれた部分の面積Sを計算します。

積分面積グラフ
2025/7/23

$\int_0^1 x^2 \arctan(x) dx$ を計算します。

定積分部分積分arctan積分計算
2025/7/23

問題28:$0 \le \theta < 2\pi$ のとき、次の不等式を満たす$\theta$の値の範囲を求めよ。 (1) $\tan \theta > \sqrt{3}$ (2) $\sqrt{3...

三角関数不等式tan角度
2025/7/23

与えられた無限級数の値を求める問題です。無限級数は以下の通りです。 $\sum_{k=1}^{\infty} \frac{1}{(k-1)^2}$

無限級数リーマンゼータ関数ゼータ関数級数の収束
2025/7/23

与えられた級数の和を求めます。級数は $\sum_{k=1}^n \frac{1}{(k+1)^2}$ で表されます。

級数無限級数有限和Σ記号
2025/7/23

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

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

問題は、極限 $\lim_{x \to \infty} (1 + \frac{1}{x})^x$ を計算することです。与えられた答えは $e$ であることを確認します。

極限ロピタルの定理自然対数e
2025/7/23

$0 \le \theta < 2\pi$ のとき、不等式 $\sin\left(\theta + \frac{\pi}{6}\right) \le \frac{\sqrt{3}}{2}$ を満たす ...

三角関数不等式三角関数の合成角度
2025/7/23