## 解答

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

1. 問題の内容

与えられた4つの2変数関数 f(x,y)f(x, y) について、それぞれの極値を求める問題です。
(1) f(x,y)=e5x+y(2x+3y)f(x, y) = e^{5x+y}(2x+3y)
(2) f(x,y)=ex2y2f(x, y) = e^{-x^2-y^2}
(3) f(x,y)=xy+1x+1yf(x, y) = xy + \frac{1}{x} + \frac{1}{y}
(4) f(x,y)=x2+2xxy2+y2f(x, y) = x^2 + 2x - xy^2 + y^2
###

2. 解き方の手順

各関数について、次の手順で極値を求めます。

1. 偏導関数を計算する: $f_x = \frac{\partial f}{\partial x}$ と $f_y = \frac{\partial f}{\partial y}$ を計算します。

2. 停留点を求める: $f_x = 0$ かつ $f_y = 0$ を満たす点 $(x, y)$ を求めます。これらが極値の候補となる点(停留点)です。

3. ヘッセ行列(2階偏導関数からなる行列)を計算する: $f_{xx} = \frac{\partial^2 f}{\partial x^2}$, $f_{yy} = \frac{\partial^2 f}{\partial y^2}$, $f_{xy} = \frac{\partial^2 f}{\partial x \partial y}$ を計算し、ヘッセ行列 $H = \begin{pmatrix} f_{xx} & f_{xy} \\ f_{xy} & f_{yy} \end{pmatrix}$ を求めます。

4. ヘッセ行列式 $D = f_{xx}f_{yy} - f_{xy}^2$ を計算する。

5. 極値の判定:

* D>0D > 0 かつ fxx>0f_{xx} > 0 ならば、その停留点は極小値を与えます。
* D>0D > 0 かつ fxx<0f_{xx} < 0 ならば、その停留点は極大値を与えます。
* D<0D < 0 ならば、その停留点は鞍点です。
* D=0D = 0 ならば、判定できません。
**関数(1): f(x,y)=e5x+y(2x+3y)f(x, y) = e^{5x+y}(2x+3y)**

1. 偏導関数:

fx=e5x+y(2x+3y)5+e5x+y2=e5x+y(10x+15y+2)f_x = e^{5x+y}(2x+3y) \cdot 5 + e^{5x+y} \cdot 2 = e^{5x+y}(10x+15y+2)
fy=e5x+y(2x+3y)1+e5x+y3=e5x+y(2x+3y+3)f_y = e^{5x+y}(2x+3y) \cdot 1 + e^{5x+y} \cdot 3 = e^{5x+y}(2x+3y+3)

2. 停留点:

fx=0f_x = 0 かつ fy=0f_y = 0 を解くと、
10x+15y+2=010x+15y+2=0
2x+3y+3=02x+3y+3=0
これより、x=138x = \frac{13}{8}, y=1712y = -\frac{17}{12} が得られます。停留点は (138,1712)(\frac{13}{8}, -\frac{17}{12}) です。

3. 2階偏導関数:

fxx=e5x+y(50x+75y+10+10)=e5x+y(50x+75y+20)f_{xx} = e^{5x+y}(50x+75y+10+10) = e^{5x+y}(50x+75y+20)
fyy=e5x+y(2x+3y+3+3)=e5x+y(2x+3y+6)f_{yy} = e^{5x+y}(2x+3y+3+3) = e^{5x+y}(2x+3y+6)
fxy=e5x+y(10x+15y+2+5(2x+3y+3))=e5x+y(20x+30y+17)f_{xy} = e^{5x+y}(10x+15y+2+5(2x+3y+3)) = e^{5x+y}(20x+30y+17)

4. ヘッセ行列式:

D=fxxfyyfxy2=e10x+2y((50x+75y+20)(2x+3y+6)(20x+30y+17)2)D = f_{xx}f_{yy} - f_{xy}^2 = e^{10x+2y}((50x+75y+20)(2x+3y+6)-(20x+30y+17)^2)
(138,1712)(\frac{13}{8}, -\frac{17}{12}) を代入すると、D=e6541712((50138751712+20)(213831712+6)(20138301712+17)2)=e17812(18.751.251.52)<0D = e^{\frac{65}{4}-\frac{17}{12}}((50*\frac{13}{8}-75*\frac{17}{12}+20)(2*\frac{13}{8}-3*\frac{17}{12}+6)-(20*\frac{13}{8}-30*\frac{17}{12}+17)^2)=e^{\frac{178}{12}}(-18.75*1.25-1.5^2) < 0
停留点は鞍点
**関数(2): f(x,y)=ex2y2f(x, y) = e^{-x^2-y^2}**

1. 偏導関数:

fx=ex2y2(2x)f_x = e^{-x^2-y^2}(-2x)
fy=ex2y2(2y)f_y = e^{-x^2-y^2}(-2y)

2. 停留点:

fx=0f_x = 0 かつ fy=0f_y = 0 を解くと、 x=0x = 0, y=0y = 0 より、停留点は (0,0)(0, 0) です。

3. 2階偏導関数:

fxx=ex2y2(2+4x2)f_{xx} = e^{-x^2-y^2}(-2 + 4x^2)
fyy=ex2y2(2+4y2)f_{yy} = e^{-x^2-y^2}(-2 + 4y^2)
fxy=ex2y2(4xy)f_{xy} = e^{-x^2-y^2}(4xy)

4. ヘッセ行列式:

D=fxxfyyfxy2=e2x22y2((2+4x2)(2+4y2)16x2y2)D = f_{xx}f_{yy} - f_{xy}^2 = e^{-2x^2-2y^2}((-2+4x^2)(-2+4y^2) - 16x^2y^2)
D=e2x22y2(48x28y2+16x2y216x2y2)=e2x22y2(48x28y2)D = e^{-2x^2-2y^2}(4 - 8x^2 - 8y^2 + 16x^2y^2 - 16x^2y^2) = e^{-2x^2-2y^2}(4 - 8x^2 - 8y^2)

5. 極値の判定:

(0,0)(0, 0) において、fxx=2f_{xx} = -2, fyy=2f_{yy} = -2, fxy=0f_{xy} = 0, D=4>0D = 4 > 0.
D>0D > 0 かつ fxx<0f_{xx} < 0 より、(0,0)(0, 0) は極大値を与えます。
極大値は f(0,0)=e0=1f(0, 0) = e^0 = 1 です。
**関数(3): f(x,y)=xy+1x+1yf(x, y) = xy + \frac{1}{x} + \frac{1}{y}**

1. 偏導関数:

fx=y1x2f_x = y - \frac{1}{x^2}
fy=x1y2f_y = x - \frac{1}{y^2}

2. 停留点:

fx=0f_x = 0 かつ fy=0f_y = 0 を解くと、y=1x2y = \frac{1}{x^2} かつ x=1y2x = \frac{1}{y^2}.
x=1(1/x2)2=x4x = \frac{1}{(1/x^2)^2} = x^4 より、x3=1x^3 = 1, よって x=1x = 1.
このとき、y=112=1y = \frac{1}{1^2} = 1.
停留点は (1,1)(1, 1) です。

3. 2階偏導関数:

fxx=2x3f_{xx} = \frac{2}{x^3}
fyy=2y3f_{yy} = \frac{2}{y^3}
fxy=1f_{xy} = 1

4. ヘッセ行列式:

D=fxxfyyfxy2=4x3y31D = f_{xx}f_{yy} - f_{xy}^2 = \frac{4}{x^3y^3} - 1

5. 極値の判定:

(1,1)(1, 1) において、fxx=2f_{xx} = 2, fyy=2f_{yy} = 2, fxy=1f_{xy} = 1, D=41=3>0D = 4 - 1 = 3 > 0.
D>0D > 0 かつ fxx>0f_{xx} > 0 より、(1,1)(1, 1) は極小値を与えます。
極小値は f(1,1)=11+11+11=3f(1, 1) = 1 \cdot 1 + \frac{1}{1} + \frac{1}{1} = 3 です。
**関数(4): f(x,y)=x2+2xxy2+y2f(x, y) = x^2 + 2x - xy^2 + y^2**

1. 偏導関数:

fx=2x+2y2f_x = 2x + 2 - y^2
fy=2xy+2y=2y(1x)f_y = -2xy + 2y = 2y(1-x)

2. 停留点:

fy=0f_y = 0 より、y=0y = 0 または x=1x = 1.
* y=0y = 0 のとき、fx=2x+2=0f_x = 2x + 2 = 0 より、x=1x = -1. 停留点は (1,0)(-1, 0).
* x=1x = 1 のとき、fx=2(1)+2y2=4y2=0f_x = 2(1) + 2 - y^2 = 4 - y^2 = 0 より、y=±2y = \pm 2. 停留点は (1,2)(1, 2)(1,2)(1, -2).
よって、停留点は (1,0)(-1, 0), (1,2)(1, 2), (1,2)(1, -2) です。

3. 2階偏導関数:

fxx=2f_{xx} = 2
fyy=2x+2f_{yy} = -2x + 2
fxy=2yf_{xy} = -2y

4. ヘッセ行列式:

D=fxxfyyfxy2=2(2x+2)4y2=4x+44y2D = f_{xx}f_{yy} - f_{xy}^2 = 2(-2x+2) - 4y^2 = -4x + 4 - 4y^2

5. 極値の判定:

* (1,0)(-1, 0): D=4(1)+44(0)2=8>0D = -4(-1) + 4 - 4(0)^2 = 8 > 0, fxx=2>0f_{xx} = 2 > 0. 極小値。 f(1,0)=(1)2+2(1)(1)(0)2+02=12+0+0=1f(-1,0) = (-1)^2+2(-1)-(-1)(0)^2 + 0^2 = 1-2+0+0 = -1.
* (1,2)(1, 2): D=4(1)+44(2)2=16<0D = -4(1) + 4 - 4(2)^2 = -16 < 0. 鞍点。
* (1,2)(1, -2): D=4(1)+44(2)2=16<0D = -4(1) + 4 - 4(-2)^2 = -16 < 0. 鞍点。
###

3. 最終的な答え

(1) 鞍点 (138,1712)(\frac{13}{8}, -\frac{17}{12})
(2) 極大値 f(0,0)=1f(0, 0) = 1
(3) 極小値 f(1,1)=3f(1, 1) = 3
(4) 極小値 f(1,0)=1f(-1, 0) = -1, 鞍点 (1,2)(1, 2), 鞍点 (1,2)(1, -2)

「解析学」の関連問題

$y = \sin x$ の曲線と $x$ 軸で囲まれた部分について、以下の範囲で面積を求める問題です。 (1) $x = [0, \pi]$ (2) $x = [0, 2\pi]$

定積分三角関数面積積分
2025/6/23

与えられた6つの積分問題を解く。 (1) $\int \frac{x^3+4}{x} dx$ (2) $\int \frac{1}{3x+4} dx$ (3) $\int \frac{1}{\cos^...

積分定積分置換積分不定積分
2025/6/23

以下の6つの積分を計算してください。 (1) $\int (x+3)^7 dx$ (2) $\int \frac{(x+1)^2}{x^2} dx$ (3) $\int (3x+4)^5 dx$ (4...

積分定積分置換積分三角関数指数関数
2025/6/23

与えられた微分方程式を解く問題です。微分方程式は以下です。 $x \frac{dy}{dx} + y = y^2 \log x$

微分方程式ベルヌーイ型微分方程式線形微分方程式積分因子部分積分
2025/6/23

次の式を簡単にせよ。 (1) $\cos\theta + \cos(\theta + \frac{\pi}{2}) + \cos(\theta + \pi) + \cos(\theta + \frac...

三角関数加法定理三角関数の合成簡略化
2025/6/23

与えられた関数 $y$ を $x$ で微分する問題です。 (1) $y = \log 3x$ (2) $y = \log_{10}(-4x)$ (3) $y = \log |x^2 - 1|$ (4)...

微分対数関数合成関数三角関数指数関数
2025/6/23

次の4つの不定積分を求める問題です。 (1) $\int (2x-1)^3 dx$ (2) $\int (\sin 2x - \cos (3x+1)) dx$ (3) $\int \frac{1}{e...

積分不定積分置換積分三角関数指数関数対数関数
2025/6/23

与えられた微分方程式 $\frac{dy}{dx} - 2xy = 2x$ を解く。

微分方程式1階線形微分方程式積分因子置換積分
2025/6/23

与えられた微分方程式を解く問題です。微分方程式は次の通りです。 $ -\frac{1}{z} \frac{dz}{dx} + \frac{1}{x} = x \cos x $

微分方程式積分部分積分
2025/6/23

与えられた微分方程式を解く問題です。微分方程式は、 $ -\frac{1}{2} \frac{dz}{dx} + \frac{1}{x} z = x \cos x $ と表されます。

微分方程式1階線形微分方程式積分因子余弦積分
2025/6/23