与えられた関数 $f(x, y) = \frac{1}{3}x^3 - x^2 + y - \frac{1}{5}y^5$ について、以下の問いに答える問題です。 (1) $f(x, y)$ の偏導関数 $\frac{\partial}{\partial x}f(x, y)$ と $\frac{\partial}{\partial y}f(x, y)$ を求める。 (2) $f(x, y)$ の臨界点をすべて求める。 (3) 臨界点において、$f(x, y)$ が極大値、極小値、鞍点のいずれをとるか、またはどれでもないかを判定する。

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

1. 問題の内容

与えられた関数 f(x,y)=13x3x2+y15y5f(x, y) = \frac{1}{3}x^3 - x^2 + y - \frac{1}{5}y^5 について、以下の問いに答える問題です。
(1) f(x,y)f(x, y) の偏導関数 xf(x,y)\frac{\partial}{\partial x}f(x, y)yf(x,y)\frac{\partial}{\partial y}f(x, y) を求める。
(2) f(x,y)f(x, y) の臨界点をすべて求める。
(3) 臨界点において、f(x,y)f(x, y) が極大値、極小値、鞍点のいずれをとるか、またはどれでもないかを判定する。

2. 解き方の手順

(1) 偏導関数を求める。
fx=x(13x3x2+y15y5)=x22x\frac{\partial f}{\partial x} = \frac{\partial}{\partial x}(\frac{1}{3}x^3 - x^2 + y - \frac{1}{5}y^5) = x^2 - 2x
fy=y(13x3x2+y15y5)=1y4\frac{\partial f}{\partial y} = \frac{\partial}{\partial y}(\frac{1}{3}x^3 - x^2 + y - \frac{1}{5}y^5) = 1 - y^4
(2) 臨界点を求める。臨界点では、偏導関数が両方とも0になる。
fx=x22x=x(x2)=0\frac{\partial f}{\partial x} = x^2 - 2x = x(x - 2) = 0 より、x=0x = 0 または x=2x = 2
fy=1y4=0\frac{\partial f}{\partial y} = 1 - y^4 = 0 より、y4=1y^4 = 1。したがって、y=±1y = \pm 1
よって、臨界点は (0,1)(0, 1), (0,1)(0, -1), (2,1)(2, 1), (2,1)(2, -1) の4点。
(3) ヘッセ行列を計算し、臨界点での極値を判定する。
まず、二階偏導関数を求める。
2fx2=x(x22x)=2x2\frac{\partial^2 f}{\partial x^2} = \frac{\partial}{\partial x}(x^2 - 2x) = 2x - 2
2fy2=y(1y4)=4y3\frac{\partial^2 f}{\partial y^2} = \frac{\partial}{\partial y}(1 - y^4) = -4y^3
2fxy=2fyx=y(x22x)=0\frac{\partial^2 f}{\partial x \partial y} = \frac{\partial^2 f}{\partial y \partial x} = \frac{\partial}{\partial y}(x^2 - 2x) = 0
ヘッセ行列は次のようになる。
H(x,y)=(2x2004y3)H(x, y) = \begin{pmatrix} 2x - 2 & 0 \\ 0 & -4y^3 \end{pmatrix}
ヘッセ行列式は D(x,y)=(2x2)(4y3)=8y3(x1)D(x, y) = (2x - 2)(-4y^3) = -8y^3(x - 1)
各臨界点でのヘッセ行列式を計算する。
(i) (0,1)(0, 1) のとき、D(0,1)=8(1)3(01)=8>0D(0, 1) = -8(1)^3(0 - 1) = 8 > 02fx2(0,1)=2(0)2=2<0\frac{\partial^2 f}{\partial x^2}(0, 1) = 2(0) - 2 = -2 < 0 より、極大値をとる。
(ii) (0,1)(0, -1) のとき、D(0,1)=8(1)3(01)=8<0D(0, -1) = -8(-1)^3(0 - 1) = -8 < 0。したがって、鞍点。
(iii) (2,1)(2, 1) のとき、D(2,1)=8(1)3(21)=8<0D(2, 1) = -8(1)^3(2 - 1) = -8 < 0。したがって、鞍点。
(iv) (2,1)(2, -1) のとき、D(2,1)=8(1)3(21)=8>0D(2, -1) = -8(-1)^3(2 - 1) = 8 > 02fx2(2,1)=2(2)2=2>0\frac{\partial^2 f}{\partial x^2}(2, -1) = 2(2) - 2 = 2 > 0 より、極小値をとる。

3. 最終的な答え

(1)
fx=x22x\frac{\partial f}{\partial x} = x^2 - 2x
fy=1y4\frac{\partial f}{\partial y} = 1 - y^4
(2) 臨界点は (0,1)(0, 1), (0,1)(0, -1), (2,1)(2, 1), (2,1)(2, -1)
(3)
(0,1)(0, 1) で極大値をとる。
(0,1)(0, -1) で鞍点である。
(2,1)(2, 1) で鞍点である。
(2,1)(2, -1) で極小値をとる。

「解析学」の関連問題

座標平面において、媒介変数 $t$ を用いて $x = t - \sin t$ , $y = 1 - \cos t$ $(0 \le t \le \pi)$ で表される曲線 $C$ が与えられている。...

媒介変数表示微分曲線の概形極限
2025/7/7

座標空間の $1 \le z \le 2$ の部分に存在する立体 $R$ がある。立体 $R$ を平面 $z=t$ ($1 \le t \le 2$) で切ったときの断面が、不等式 $\begin{c...

体積積分断面積定積分
2025/7/7

$\lim_{x \to \infty} (\sqrt{x^2 + 1} + ax + 1) = b$を満たす$a$と$b$を求めます。

極限関数の極限無理関数の極限有理化
2025/7/7

与えられた2つの不定積分を計算する問題です。 (i) $\int \frac{x^2}{x^2 - 1} dx$ (ii) $\int \frac{1}{x^3 + 1} dx$

不定積分部分分数分解積分
2025/7/7

座標空間の $1 \le z \le 2$ の部分に立体 $R$ があり、$R$ を平面 $z=t$ ($1 \le t \le 2$) で切ったときの断面が $$ \begin{cases} z =...

体積積分定積分断面積
2025/7/7

関数 $f(x)$ が次の積分方程式を満たすとき、$f(x)$ を求めよ。 $f(x) = \int_0^2 x f'(t) dt + \int_0^x e^{x-t} dt$

積分方程式微分積分指数関数
2025/7/7

連続関数 $f(x)$ が次の等式を満たすとき、$f(x)$ を求めよ。 $$f(x) = \int_0^2 xf''(t) dt + \int_0^x e^{x-t} dt$$

積分微分微分方程式定積分連続関数
2025/7/7

連続関数 $f(x)$ が次の積分方程式を満たすとき、$f(x)$ を求めよ。 $f(x) = \int_0^2 xf''(t)dt + \int_0^x e^{x-t}dt$

積分方程式微分積分連続関数
2025/7/7

極限値 $\lim_{n \to \infty} \sum_{k=1}^{n} \frac{n}{4n^2 - k^2}$ を求めよ。

極限積分リーマン和部分分数分解
2025/7/7

与えられた極限を求めます。 (1) $\lim_{x\to\infty} (\sqrt{x^2+2x} - x)$ (2) $\lim_{x\to-\infty} (\sqrt{4x^2+2x} + ...

極限関数ルート
2025/7/7