## 問題の解答

解析学テイラー展開偏微分停留点ヘッセ行列極値
2025/7/15
## 問題の解答
###

1. 問題の内容

(1) 関数 f(x)=logxxf(x) = \log x - xx=1x = 1 の周りで2次までテイラー展開せよ。
(2) 2変数関数 f(x,y)=logx+3logy+xy2xyf(x, y) = \log x + 3\log y + x - y - 2xy の停留点を見つけ、その臨界性(極値か、鞍点か?)を判定せよ。
###

2. 解き方の手順

(1) 関数 f(x)=logxxf(x) = \log x - x のテイラー展開
* テイラー展開の公式:
f(x)=f(a)+f(a)(xa)+f(a)2!(xa)2+f(x) = f(a) + f'(a)(x-a) + \frac{f''(a)}{2!}(x-a)^2 + \dots
* x=1x = 1 の周りでの展開なので、a=1a = 1 とする。
* f(x)f(x) の導関数を求める:
f(x)=logxxf(x) = \log x - x
f(x)=1x1f'(x) = \frac{1}{x} - 1
f(x)=1x2f''(x) = -\frac{1}{x^2}
* x=1x = 1 での値を求める:
f(1)=log11=01=1f(1) = \log 1 - 1 = 0 - 1 = -1
f(1)=111=11=0f'(1) = \frac{1}{1} - 1 = 1 - 1 = 0
f(1)=112=1f''(1) = -\frac{1}{1^2} = -1
* テイラー展開の公式に代入して、2次までの項を求める:
f(x)1+0(x1)+12(x1)2f(x) \approx -1 + 0(x-1) + \frac{-1}{2}(x-1)^2
f(x)112(x1)2f(x) \approx -1 - \frac{1}{2}(x-1)^2
(2) 2変数関数 f(x,y)=logx+3logy+xy2xyf(x, y) = \log x + 3\log y + x - y - 2xy の停留点の探索と判定
* 偏導関数を求める:
fx=fx=1x+12yf_x = \frac{\partial f}{\partial x} = \frac{1}{x} + 1 - 2y
fy=fy=3y12xf_y = \frac{\partial f}{\partial y} = \frac{3}{y} - 1 - 2x
* 停留点を見つける:fx=0f_x = 0 かつ fy=0f_y = 0 を満たす (x,y)(x, y) を求める。
1x+12y=02y=1x+1\frac{1}{x} + 1 - 2y = 0 \Rightarrow 2y = \frac{1}{x} + 1
3y12x=02x=3y1\frac{3}{y} - 1 - 2x = 0 \Rightarrow 2x = \frac{3}{y} - 1
y=12(1x+1)y = \frac{1}{2}(\frac{1}{x} + 1)2x=3y12x = \frac{3}{y} - 1 に代入する。
2x=312(1x+1)12x = \frac{3}{\frac{1}{2}(\frac{1}{x} + 1)} - 1
2x=61x+112x = \frac{6}{\frac{1}{x} + 1} - 1
2x+1=61x+12x + 1 = \frac{6}{\frac{1}{x} + 1}
(2x+1)(1x+1)=6(2x + 1)(\frac{1}{x} + 1) = 6
2xx+2x+1x+1=6\frac{2x}{x} + 2x + \frac{1}{x} + 1 = 6
2+2x+1x+1=62 + 2x + \frac{1}{x} + 1 = 6
2x+1x3=02x + \frac{1}{x} - 3 = 0
2x23x+1=02x^2 - 3x + 1 = 0
(2x1)(x1)=0(2x - 1)(x - 1) = 0
x=12,1x = \frac{1}{2}, 1
x=12x = \frac{1}{2} のとき、y=12(112+1)=12(2+1)=32y = \frac{1}{2}(\frac{1}{\frac{1}{2}} + 1) = \frac{1}{2}(2 + 1) = \frac{3}{2}
x=1x = 1 のとき、y=12(11+1)=12(1+1)=1y = \frac{1}{2}(\frac{1}{1} + 1) = \frac{1}{2}(1 + 1) = 1
よって、停留点は (12,32)(\frac{1}{2}, \frac{3}{2})(1,1)(1, 1) である。
* ヘッセ行列を求める:
fxx=2fx2=1x2f_{xx} = \frac{\partial^2 f}{\partial x^2} = -\frac{1}{x^2}
fyy=2fy2=3y2f_{yy} = \frac{\partial^2 f}{\partial y^2} = -\frac{3}{y^2}
fxy=2fxy=2f_{xy} = \frac{\partial^2 f}{\partial x \partial y} = -2
ヘッセ行列:
H=(fxxfxyfyxfyy)=(1x2223y2)H = \begin{pmatrix} f_{xx} & f_{xy} \\ f_{yx} & f_{yy} \end{pmatrix} = \begin{pmatrix} -\frac{1}{x^2} & -2 \\ -2 & -\frac{3}{y^2} \end{pmatrix}
* 判別式 DD を計算する:
D=fxxfyy(fxy)2=(1x2)(3y2)(2)2=3x2y24D = f_{xx}f_{yy} - (f_{xy})^2 = (-\frac{1}{x^2})(-\frac{3}{y^2}) - (-2)^2 = \frac{3}{x^2y^2} - 4
* 各停留点について、判別式 DDfxxf_{xx} の符号を調べる:
* (12,32)(\frac{1}{2}, \frac{3}{2}) のとき:
D=3(12)2(32)24=314944=39164=31694=1634=16123=43>0D = \frac{3}{(\frac{1}{2})^2(\frac{3}{2})^2} - 4 = \frac{3}{\frac{1}{4} \cdot \frac{9}{4}} - 4 = \frac{3}{\frac{9}{16}} - 4 = \frac{3 \cdot 16}{9} - 4 = \frac{16}{3} - 4 = \frac{16 - 12}{3} = \frac{4}{3} > 0
fxx=1(12)2=4<0f_{xx} = -\frac{1}{(\frac{1}{2})^2} = -4 < 0
したがって、(12,32)(\frac{1}{2}, \frac{3}{2}) は極大値をとる。
* (1,1)(1, 1) のとき:
D=312124=34=1<0D = \frac{3}{1^2 \cdot 1^2} - 4 = 3 - 4 = -1 < 0
したがって、(1,1)(1, 1) は鞍点である。
###

3. 最終的な答え

(1) f(x)112(x1)2f(x) \approx -1 - \frac{1}{2}(x-1)^2
(2) 停留点は (12,32)(\frac{1}{2}, \frac{3}{2}) (極大値) と (1,1)(1, 1) (鞍点) である。

「解析学」の関連問題

## 問題の解答

定積分置換積分部分積分関数方程式微分
2025/7/15

与えられた定積分 $S = \int_{-1}^{2e} e^{\frac{y}{e}} dy$ を計算せよ。

定積分置換積分指数関数
2025/7/15

問題は定積分 $\int_{\frac{\pi}{3}}^{\frac{\pi}{2}} (\sin 2x - \sqrt{3} \cos x) dx$ を計算することです。

定積分三角関数積分計算
2025/7/15

$\lim_{x \to \infty} x (\arctan x - \frac{\pi}{2})$ を計算します。

極限arctanロピタルの定理マクローリン展開
2025/7/15

## 1. 問題の内容

積分放物線接線面積
2025/7/15

(1) 数列 $\{a_n\}$ が、$a_1 = 2$ および漸化式 $a_{n+1} = 3a_n + 2^{n+1}$ で定義されるとき、極限 $\lim_{n \to \infty} \fra...

数列極限漸化式等比数列数列の和
2025/7/15

実数 $x$ に対して、無限等比級数 $\sum_{n=1}^{\infty} e^{nx(x-2)}$ を考える。 (1) この無限等比級数が収束するような $x$ の条件を求める。 (2) この無...

無限等比級数収束指数関数不等式
2025/7/15

次の極限を計算します。 $\lim_{x \to \infty} \frac{x^2 + 1}{xe^x}$

極限ロピタルの定理微分
2025/7/15

関数 $y = 2\cos x - \cos^2 x$ の、$0 \le x \le 2\pi$における最大値と最小値を求めよ。

三角関数最大値最小値置換平方完成
2025/7/15

与えられた極限 $\lim_{x \to \infty} \frac{\log x}{x^2}$ を求めます。

極限ロピタルの定理微積分
2025/7/15