関数 $f(x, y) = e^{-2x^2 - y^2}$ が与えられたとき、以下の問いに答える。 (2) $f(x, y)$ を $xy$ 平面上の原点 $O$ のまわりで、二次の項までテイラー展開する。 (3) $xy$ 平面上の点 $P(1, 1)$ において、$f(x, y)$ が最も増加する方向を表すベクトルを求める。 (4) 点 $P$ を通る $f$ の等高線 ($f(x, y) =$ 一定の線) と、その等高線上での勾配ベクトルの概形を図示する。

解析学多変数関数テイラー展開偏微分勾配ベクトル等高線
2025/7/16

1. 問題の内容

関数 f(x,y)=e2x2y2f(x, y) = e^{-2x^2 - y^2} が与えられたとき、以下の問いに答える。
(2) f(x,y)f(x, y)xyxy 平面上の原点 OO のまわりで、二次の項までテイラー展開する。
(3) xyxy 平面上の点 P(1,1)P(1, 1) において、f(x,y)f(x, y) が最も増加する方向を表すベクトルを求める。
(4) 点 PP を通る ff の等高線 (f(x,y)=f(x, y) = 一定の線) と、その等高線上での勾配ベクトルの概形を図示する。

2. 解き方の手順

(2) f(x,y)f(x,y) を原点Oのまわりで2次までテイラー展開する。テイラー展開は次の式で与えられる。
f(x,y)f(0,0)+fx(0,0)x+fy(0,0)y+122fx2(0,0)x2+2fxy(0,0)xy+122fy2(0,0)y2f(x,y) \approx f(0,0) + \frac{\partial f}{\partial x}(0,0)x + \frac{\partial f}{\partial y}(0,0)y + \frac{1}{2}\frac{\partial^2 f}{\partial x^2}(0,0)x^2 + \frac{\partial^2 f}{\partial x \partial y}(0,0)xy + \frac{1}{2}\frac{\partial^2 f}{\partial y^2}(0,0)y^2
まず、f(0,0)f(0, 0) を求める。
f(0,0)=e2(0)2(0)2=e0=1f(0, 0) = e^{-2(0)^2 - (0)^2} = e^0 = 1
次に、偏微分を計算する。
fx=4xe2x2y2\frac{\partial f}{\partial x} = -4xe^{-2x^2 - y^2}
fy=2ye2x2y2\frac{\partial f}{\partial y} = -2ye^{-2x^2 - y^2}
原点での偏微分の値を計算する。
fx(0,0)=4(0)e2(0)2(0)2=0\frac{\partial f}{\partial x}(0, 0) = -4(0)e^{-2(0)^2 - (0)^2} = 0
fy(0,0)=2(0)e2(0)2(0)2=0\frac{\partial f}{\partial y}(0, 0) = -2(0)e^{-2(0)^2 - (0)^2} = 0
次に、二階偏微分を計算する。
2fx2=(4+16x2)e2x2y2\frac{\partial^2 f}{\partial x^2} = (-4 + 16x^2)e^{-2x^2 - y^2}
2fy2=(2+4y2)e2x2y2\frac{\partial^2 f}{\partial y^2} = (-2 + 4y^2)e^{-2x^2 - y^2}
2fxy=8xye2x2y2\frac{\partial^2 f}{\partial x \partial y} = 8xy e^{-2x^2 - y^2}
原点での二階偏微分の値を計算する。
2fx2(0,0)=(4+16(0)2)e2(0)2(0)2=4\frac{\partial^2 f}{\partial x^2}(0, 0) = (-4 + 16(0)^2)e^{-2(0)^2 - (0)^2} = -4
2fy2(0,0)=(2+4(0)2)e2(0)2(0)2=2\frac{\partial^2 f}{\partial y^2}(0, 0) = (-2 + 4(0)^2)e^{-2(0)^2 - (0)^2} = -2
2fxy(0,0)=8(0)(0)e2(0)2(0)2=0\frac{\partial^2 f}{\partial x \partial y}(0, 0) = 8(0)(0) e^{-2(0)^2 - (0)^2} = 0
したがって、テイラー展開は
f(x,y)1+0x+0y+12(4)x2+0xy+12(2)y2f(x, y) \approx 1 + 0x + 0y + \frac{1}{2}(-4)x^2 + 0xy + \frac{1}{2}(-2)y^2
f(x,y)12x2y2f(x, y) \approx 1 - 2x^2 - y^2
(3) f(x,y)f(x, y) が最も増加する方向を表すベクトルは、勾配ベクトル f\nabla f で与えられる。
f=(fx,fy)\nabla f = \left(\frac{\partial f}{\partial x}, \frac{\partial f}{\partial y}\right)
fx=4xe2x2y2\frac{\partial f}{\partial x} = -4xe^{-2x^2 - y^2}
fy=2ye2x2y2\frac{\partial f}{\partial y} = -2ye^{-2x^2 - y^2}
f=(4xe2x2y2,2ye2x2y2)\nabla f = \left(-4xe^{-2x^2 - y^2}, -2ye^{-2x^2 - y^2}\right)
P(1,1)P(1, 1) における勾配ベクトルは
f(1,1)=(4(1)e2(1)2(1)2,2(1)e2(1)2(1)2)=(4e3,2e3)\nabla f(1, 1) = \left(-4(1)e^{-2(1)^2 - (1)^2}, -2(1)e^{-2(1)^2 - (1)^2}\right) = \left(-4e^{-3}, -2e^{-3}\right)
(4) 点 P(1,1)P(1, 1) を通る ff の等高線は f(x,y)=f(1,1)f(x, y) = f(1, 1) で与えられる。
f(1,1)=e2(1)2(1)2=e3f(1, 1) = e^{-2(1)^2 - (1)^2} = e^{-3}
したがって、等高線は e2x2y2=e3e^{-2x^2 - y^2} = e^{-3}、つまり 2x2y2=3-2x^2 - y^2 = -3、または 2x2+y2=32x^2 + y^2 = 3 となる。これは楕円である。
等高線上の勾配ベクトルは、等高線に垂直な方向を向く。

3. 最終的な答え

(2) f(x,y)12x2y2f(x, y) \approx 1 - 2x^2 - y^2
(3) f(1,1)=(4e3,2e3)\nabla f(1, 1) = \left(-4e^{-3}, -2e^{-3}\right)
(4) 等高線は楕円 2x2+y2=32x^2 + y^2 = 3 であり、勾配ベクトルは等高線に垂直な方向を向く。

「解析学」の関連問題

曲線 $y = x^4 + ax^3 + 3ax^2 + 1$ が変曲点を持つように、定数 $a$ の値の範囲を求めよ。

微分変曲点2階微分2次方程式判別式
2025/7/17

区間 $[0, \frac{\pi}{2}]$ 上の連続関数全体からなるベクトル空間 $C^0([0, \frac{\pi}{2}])$ において、内積を $(f, g) = \int_{0}^{\f...

線形代数内積グラム行列積分三角関数
2025/7/17

次の極限を求めます。 $\lim_{x \to \infty} x \arctan(\frac{1}{x})$

極限ロピタルの定理arctanテイラー展開
2025/7/17

区間 $[0, \frac{\pi}{2}]$ 上の連続関数全体のなすベクトル空間 $C^0([0, \frac{\pi}{2}])$ において、関数 $f, g \in C^0([0, \frac{...

線形代数内積グラム行列積分
2025/7/17

与えられた関数を、カッコ内に指定された変数変換(置換積分)を用いて積分します。

積分置換積分
2025/7/17

与えられた3つの2階線形非同次常微分方程式を解く問題です。 (6) $y'' + a^2 y = \cos bx, (a \ne b)$ (7) $y'' - 2y' + y = x + 2\sin ...

常微分方程式線形微分方程式非同次方程式特殊解一般解
2025/7/17

与えられた4階線形非同次微分方程式 $y^{(4)} - 81y = \sin 2x$ の一般解を求めます。

微分方程式線形微分方程式非同次微分方程式一般解
2025/7/17

与えられた3階線形非同次常微分方程式 $y''' + y = e^{-x}$ を解く問題です。

常微分方程式線形微分方程式非同次方程式特性方程式一般解特殊解
2025/7/17

与えられた微分方程式は、3階の線形非同次微分方程式です。この方程式は次の形で表されます。 $y''' + y'' + y' + y = q(x)$ ここで、$y$ は $x$ の関数であり、$y'$,...

微分方程式線形微分方程式同次方程式非同次方程式特性方程式一般解特殊解
2025/7/17

与えられた3階線形非同次微分方程式を解きます。微分方程式は次のとおりです。 $y''' + y'' - y' - y = e^x$

微分方程式線形微分方程式非同次方程式特性方程式一般解特殊解
2025/7/17