関数 $f(x, y) = (x^2 + y^2)e^{x-y}$ の極値を求める。

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

1. 問題の内容

関数 f(x,y)=(x2+y2)exyf(x, y) = (x^2 + y^2)e^{x-y} の極値を求める。

2. 解き方の手順

まず、偏導関数を計算する。
fx=fx=2xexy+(x2+y2)exy=(x2+y2+2x)exyf_x = \frac{\partial f}{\partial x} = 2xe^{x-y} + (x^2+y^2)e^{x-y} = (x^2 + y^2 + 2x)e^{x-y}
fy=fy=2yexy+(x2+y2)exy(1)=(2yx2y2)exy=(x2+y22y)exyf_y = \frac{\partial f}{\partial y} = 2ye^{x-y} + (x^2+y^2)e^{x-y}(-1) = (2y - x^2 - y^2)e^{x-y} = -(x^2 + y^2 - 2y)e^{x-y}
極値を持つためには、以下の連立方程式を満たす必要がある。
fx=0f_x = 0
fy=0f_y = 0
exye^{x-y} は常に正であるから、
x2+y2+2x=0x^2 + y^2 + 2x = 0
x2+y22y=0x^2 + y^2 - 2y = 0
これらの式を解く。
x2+y2+2x=x2+y22yx^2 + y^2 + 2x = x^2 + y^2 - 2y
2x=2y2x = -2y
x=yx = -y
これを x2+y2+2x=0x^2 + y^2 + 2x = 0 に代入すると、
(y)2+y2+2(y)=0(-y)^2 + y^2 + 2(-y) = 0
2y22y=02y^2 - 2y = 0
2y(y1)=02y(y - 1) = 0
y=0y = 0 or y=1y = 1
y=0y = 0 のとき、x=0x = 0
y=1y = 1 のとき、x=1x = -1
したがって、停留点は (0,0)(0, 0)(1,1)(-1, 1) である。
次に、ヘッセ行列を計算する。
fxx=2fx2=(2x+2+2x)exy+(x2+y2+2x)exy=(x2+y2+4x+2)exyf_{xx} = \frac{\partial^2 f}{\partial x^2} = (2x + 2 + 2x)e^{x-y} + (x^2 + y^2 + 2x)e^{x-y} = (x^2 + y^2 + 4x + 2)e^{x-y}
fyy=2fy2=(2y+2+2y)exy+(2yx2y2)exy(1)=(x2+y24y+2)exyf_{yy} = \frac{\partial^2 f}{\partial y^2} = (-2y + 2 + 2y)e^{x-y} + (2y - x^2 - y^2)e^{x-y}(-1) = (x^2 + y^2 - 4y + 2)e^{x-y}
fxy=2fxy=(2y)exy+(2yx2y2)exy=(2y)exy+(x2+y2+2x)exy(1)+(2yx2y2)exy=(2x2y)exy(x2+y2+2x)exy=(x2+y2+2x)exy(1)f_{xy} = \frac{\partial^2 f}{\partial x \partial y} = (2y)e^{x-y} + (2y - x^2 - y^2)e^{x-y} = (-2y)e^{x-y} + (x^2 + y^2 + 2x)e^{x-y}(-1) + (2y -x^2 -y^2)e^{x-y} = (2x - 2y)e^{x-y} - (x^2 + y^2 + 2x)e^{x-y} = (x^2 + y^2 + 2x)e^{x-y}(-1)
fyx=2fyx=(2x2y)exyf_{yx} = \frac{\partial^2 f}{\partial y \partial x} = (2x - 2y)e^{x-y}
fxy=2fxy=(2x2y)exyf_{xy} = \frac{\partial^2 f}{\partial x \partial y} = (2x-2y)e^{x-y}
fxy=(22)exy(x2+y2+2x)exy=(x2+y22y)exyf_{xy} = (2-2)e^{x-y} - (x^2 + y^2 + 2x)e^{x-y} = - (x^2 + y^2 - 2y)e^{x-y}
したがって、fxy=(2x2y)exyf_{xy} = (2x - 2y)e^{x-y}
ヘッセ行列式 D=fxxfyy(fxy)2D = f_{xx}f_{yy} - (f_{xy})^2
(0,0)(0, 0) において
fxx=2f_{xx} = 2
fyy=2f_{yy} = 2
fxy=0f_{xy} = 0
D=2202=4>0D = 2 \cdot 2 - 0^2 = 4 > 0
fxx=2>0f_{xx} = 2 > 0 なので、(0,0)(0, 0) で極小値 f(0,0)=0f(0, 0) = 0 をとる。
(1,1)(-1, 1) において
fxx=(1+14+2)e2=0f_{xx} = (1 + 1 - 4 + 2)e^{-2} = 0
fyy=(1+14+2)e2=0f_{yy} = (1 + 1 - 4 + 2)e^{-2} = 0
fxy=(22)e2=4e2f_{xy} = (-2 - 2)e^{-2} = -4e^{-2}
D=00(4e2)2=16e4<0D = 0 \cdot 0 - (-4e^{-2})^2 = -16e^{-4} < 0
なので、(0,0)(0, 0) は鞍点。

3. 最終的な答え

(0,0)(0, 0) で極小値 0 をとる。
(1,1)(-1, 1) は鞍点。

「解析学」の関連問題

$log|y|$ の導関数を利用して、次の関数を微分する問題です。今回は問題(2)を解きます。 $y = \frac{\sqrt{x+2}}{x+1}$

微分導関数対数微分法
2025/6/24

$0 < a < b$のとき、以下の不等式を証明します。 $\int_{a}^{b} \frac{dx}{\sqrt{x}} < \frac{1}{2}(b-a) \left( \frac{1}{\s...

定積分不等式積分関数の単調性
2025/6/24

与えられた定積分の計算を行います。 $\int_{1}^{4} (3x^2 - 2x + 1)dx - \int_{0}^{4} (3x^2 - 2x + 1)dx$

定積分積分計算不定積分
2025/6/24

以下の極限を計算します。 (a) $\lim_{x \to \infty} \frac{x+4}{x^2+16}$ (b) $\lim_{x \to \infty} \frac{x^2+2x}{x^2...

極限関数の極限不定形
2025/6/24

関数 $y = \sin \theta$ と $y = \tan \theta$ のグラフが与えられている。グラフ中の目盛り A から J の値を求める。

三角関数グラフsintan周期グラフの読み取り
2025/6/24

与えられた関数のグラフ上の点における接線の方程式を求める問題です。具体的には以下の4つの問題があります。 (1) $y = 2x^2 - 4$、点 $(1, -2)$ (2) $y = 2x^2 - ...

微分接線導関数関数のグラフ
2025/6/24

与えられた関数を、指定された変数で微分する問題です。 (1) $y = 2t^2$ を $t$ で微分する。 (2) $S = \pi r^2$ を $r$ で微分する。 (3) $V = V_0(1...

微分関数導関数
2025/6/24

与えられた三角関数の値を求めます。具体的には、以下の値を計算します。 (1) $\sin \frac{10}{3}\pi$ (2) $\cos(-\frac{4}{3}\pi)$ (3) $\tan ...

三角関数三角関数の値sincostan弧度法
2025/6/24

関数 $f(x) = x^3 - 4x + 3$ について、指定された $x$ の値における微分係数を求めます。具体的には、$x = -2, 1, 0$ のそれぞれについて、$f'(x)$ を計算し、...

微分微分係数関数の微分
2025/6/24

$\sin \theta + \cos \theta = \frac{\sqrt{3}}{2}$ のとき、以下の値を求めます。 (1) $\sin \theta \cos \theta$ と $\si...

三角関数三角関数の加法定理三角関数の相互関係
2025/6/24