* a) $f(x, y) = x + xy + 2y^2$ * b) $f(x, y) = \ln(1 + xy)$

解析学多変数関数テイラー展開偏微分極値同次関数オイラーの公式
2025/7/1
##

1. 問題の内容

与えられた複数の関数について、以下の問題を解きます。

1. 2変数関数 $f(x, y)$ の $(1, 2)$ における2次のテイラー展開を求めます。

* a) f(x,y)=x+xy+2y2f(x, y) = x + xy + 2y^2
* b) f(x,y)=ln(1+xy)f(x, y) = \ln(1 + xy)

2. 2変数関数 $f(x, y)$ の極大点・極小点の候補を求めます。

* a) f(x,y)=x2+4xyy28x6yf(x, y) = x^2 + 4xy - y^2 - 8x - 6y
* b) f(x,y)=(x+y)exyf(x, y) = (x + y)e^{-xy}

3. 2変数関数 $f(x, y)$ が何次の同次関数であるかを示し、オイラーの公式が成り立つことを確認します。

* a) f(x,y)=xmy2mf(x, y) = x^m y^{2-m}
* b) f(x,y)=ln(xy)f(x, y) = \ln\left(\frac{x}{y}\right)
##

2. 解き方の手順

###

1. テイラー展開

2変数関数 f(x,y)f(x,y)(a,b)(a,b) 周りでの2次のテイラー展開は以下の式で表されます。
f(x,y)f(a,b)+fx(a,b)(xa)+fy(a,b)(yb)+12fxx(a,b)(xa)2+fxy(a,b)(xa)(yb)+12fyy(a,b)(yb)2f(x,y) \approx f(a,b) + f_x(a,b)(x-a) + f_y(a,b)(y-b) + \frac{1}{2}f_{xx}(a,b)(x-a)^2 + f_{xy}(a,b)(x-a)(y-b) + \frac{1}{2}f_{yy}(a,b)(y-b)^2
ここで、fxf_xffxx に関する偏微分、fyf_yffyy に関する偏微分、fxxf_{xx}ffxx に関する2階偏微分、fyyf_{yy}ffyy に関する2階偏微分、fxyf_{xy}xxyy に関する2階偏微分を表します。
**a) f(x,y)=x+xy+2y2f(x, y) = x + xy + 2y^2 の場合**

1. 偏微分を計算します。

fx=1+yf_x = 1 + y
fy=x+4yf_y = x + 4y
fxx=0f_{xx} = 0
fxy=1f_{xy} = 1
fyy=4f_{yy} = 4

2. $(1, 2)$ における値を計算します。

f(1,2)=1+12+222=1+2+8=11f(1, 2) = 1 + 1\cdot2 + 2\cdot2^2 = 1 + 2 + 8 = 11
fx(1,2)=1+2=3f_x(1, 2) = 1 + 2 = 3
fy(1,2)=1+42=9f_y(1, 2) = 1 + 4\cdot2 = 9
fxx(1,2)=0f_{xx}(1, 2) = 0
fxy(1,2)=1f_{xy}(1, 2) = 1
fyy(1,2)=4f_{yy}(1, 2) = 4

3. テイラー展開の式に代入します。

f(x,y)11+3(x1)+9(y2)+12(0)(x1)2+(1)(x1)(y2)+12(4)(y2)2f(x, y) \approx 11 + 3(x - 1) + 9(y - 2) + \frac{1}{2}(0)(x - 1)^2 + (1)(x - 1)(y - 2) + \frac{1}{2}(4)(y - 2)^2
f(x,y)11+3(x1)+9(y2)+(x1)(y2)+2(y2)2f(x, y) \approx 11 + 3(x - 1) + 9(y - 2) + (x - 1)(y - 2) + 2(y - 2)^2
**b) f(x,y)=ln(1+xy)f(x, y) = \ln(1 + xy) の場合**

1. 偏微分を計算します。

fx=y1+xyf_x = \frac{y}{1 + xy}
fy=x1+xyf_y = \frac{x}{1 + xy}
fxx=y2(1+xy)2f_{xx} = -\frac{y^2}{(1 + xy)^2}
fxy=1(1+xy)xy(1+xy)2=1+xyxy(1+xy)2=1(1+xy)2f_{xy} = \frac{1}{(1 + xy)} - \frac{xy}{(1 + xy)^2} = \frac{1 + xy - xy}{(1 + xy)^2} = \frac{1}{(1 + xy)^2}
fyy=x2(1+xy)2f_{yy} = -\frac{x^2}{(1 + xy)^2}

2. $(1, 2)$ における値を計算します。

f(1,2)=ln(1+12)=ln(3)f(1, 2) = \ln(1 + 1\cdot2) = \ln(3)
fx(1,2)=21+12=23f_x(1, 2) = \frac{2}{1 + 1\cdot2} = \frac{2}{3}
fy(1,2)=11+12=13f_y(1, 2) = \frac{1}{1 + 1\cdot2} = \frac{1}{3}
fxx(1,2)=22(1+12)2=49f_{xx}(1, 2) = -\frac{2^2}{(1 + 1\cdot2)^2} = -\frac{4}{9}
fxy(1,2)=1(1+12)2=19f_{xy}(1, 2) = \frac{1}{(1 + 1\cdot2)^2} = \frac{1}{9}
fyy(1,2)=12(1+12)2=19f_{yy}(1, 2) = -\frac{1^2}{(1 + 1\cdot2)^2} = -\frac{1}{9}

3. テイラー展開の式に代入します。

f(x,y)ln(3)+23(x1)+13(y2)+12(49)(x1)2+19(x1)(y2)+12(19)(y2)2f(x, y) \approx \ln(3) + \frac{2}{3}(x - 1) + \frac{1}{3}(y - 2) + \frac{1}{2}\left(-\frac{4}{9}\right)(x - 1)^2 + \frac{1}{9}(x - 1)(y - 2) + \frac{1}{2}\left(-\frac{1}{9}\right)(y - 2)^2
f(x,y)ln(3)+23(x1)+13(y2)29(x1)2+19(x1)(y2)118(y2)2f(x, y) \approx \ln(3) + \frac{2}{3}(x - 1) + \frac{1}{3}(y - 2) - \frac{2}{9}(x - 1)^2 + \frac{1}{9}(x - 1)(y - 2) - \frac{1}{18}(y - 2)^2
###

2. 極値の候補

極値(極大値または極小値)の候補を見つけるためには、以下のステップに従います。

1. 偏微分 $f_x$ と $f_y$ を計算します。

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

**a) f(x,y)=x2+4xyy28x6yf(x, y) = x^2 + 4xy - y^2 - 8x - 6y の場合**

1. 偏微分を計算します。

fx=2x+4y8f_x = 2x + 4y - 8
fy=4x2y6f_y = 4x - 2y - 6

2. $f_x = 0$ かつ $f_y = 0$ を解きます。

2x+4y8=0x+2y=42x + 4y - 8 = 0 \Rightarrow x + 2y = 4
4x2y6=02xy=34x - 2y - 6 = 0 \Rightarrow 2x - y = 3
連立方程式を解くと、x=2x = 2, y=1y = 1 となります。
したがって、極値の候補は (2,1)(2, 1) です。
**b) f(x,y)=(x+y)exyf(x, y) = (x + y)e^{-xy} の場合**

1. 偏微分を計算します。

fx=exy+(x+y)(y)exy=exy(1xyy2)f_x = e^{-xy} + (x + y)(-y)e^{-xy} = e^{-xy}(1 - xy - y^2)
fy=exy+(x+y)(x)exy=exy(1x2xy)f_y = e^{-xy} + (x + y)(-x)e^{-xy} = e^{-xy}(1 - x^2 - xy)

2. $f_x = 0$ かつ $f_y = 0$ を解きます。$e^{-xy}$ は常に正なので、$1 - xy - y^2 = 0$ と $1 - x^2 - xy = 0$ を解けばよいです。

1xyy2=01 - xy - y^2 = 0
1x2xy=01 - x^2 - xy = 0
2つの式から xyxy を消去します。
1y2=1x21 - y^2 = 1 - x^2 となり、x2=y2x^2 = y^2 です。したがって、x=yx = y または x=yx = -y
* x=yx = y の場合:1x2x2=012x2=0x2=12x=±121 - x^2 - x^2 = 0 \Rightarrow 1 - 2x^2 = 0 \Rightarrow x^2 = \frac{1}{2} \Rightarrow x = \pm\frac{1}{\sqrt{2}}.
したがって、(12,12)(\frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}})(12,12)(-\frac{1}{\sqrt{2}}, -\frac{1}{\sqrt{2}}) が候補です。
* x=yx = -y の場合:1+y2+y2=01+2y2=01 + y^2 + y^2 = 0 \Rightarrow 1 + 2y^2 = 0. この方程式は実数解を持たないため、候補はありません。
したがって、極値の候補は (12,12)(\frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}})(12,12)(-\frac{1}{\sqrt{2}}, -\frac{1}{\sqrt{2}}) です。
###

3. 同次関数とオイラーの公式

関数 f(x,y)f(x, y)kk 次の同次関数であるとは、任意の t>0t > 0 に対して f(tx,ty)=tkf(x,y)f(tx, ty) = t^k f(x, y) が成り立つことをいいます。
オイラーの公式は、 f(x,y)f(x, y)kk 次の同次関数であるとき、以下の式が成り立つことを示します。
xfx(x,y)+yfy(x,y)=kf(x,y)x f_x(x, y) + y f_y(x, y) = k f(x, y)
**a) f(x,y)=xmy2mf(x, y) = x^m y^{2-m} の場合**

1. $f(tx, ty)$ を計算します。

f(tx,ty)=(tx)m(ty)2m=tmxmt2my2m=tm+2mxmy2m=t2xmy2m=t2f(x,y)f(tx, ty) = (tx)^m (ty)^{2-m} = t^m x^m t^{2-m} y^{2-m} = t^{m + 2 - m} x^m y^{2-m} = t^2 x^m y^{2-m} = t^2 f(x, y)
したがって、f(x,y)f(x, y) は2次の同次関数です。

2. オイラーの公式を確認します。

fx=mxm1y2mf_x = mx^{m-1} y^{2-m}
fy=(2m)xmy1mf_y = (2-m)x^m y^{1-m}
xfx+yfy=x(mxm1y2m)+y((2m)xmy1m)=mxmy2m+(2m)xmy2m=(m+2m)xmy2m=2xmy2m=2f(x,y)x f_x + y f_y = x(mx^{m-1} y^{2-m}) + y((2-m)x^m y^{1-m}) = mx^m y^{2-m} + (2-m)x^m y^{2-m} = (m + 2 - m)x^m y^{2-m} = 2x^m y^{2-m} = 2f(x, y)
したがって、オイラーの公式が成り立ちます。
**b) f(x,y)=ln(xy)f(x, y) = \ln\left(\frac{x}{y}\right) の場合**

1. $f(tx, ty)$ を計算します。

f(tx,ty)=ln(txty)=ln(xy)=f(x,y)=t0f(x,y)f(tx, ty) = \ln\left(\frac{tx}{ty}\right) = \ln\left(\frac{x}{y}\right) = f(x, y) = t^0 f(x,y)
したがって、f(x,y)f(x, y) は0次の同次関数です。

2. オイラーの公式を確認します。

fx=1xy1y=yx1y=1xf_x = \frac{1}{\frac{x}{y}} \cdot \frac{1}{y} = \frac{y}{x} \cdot \frac{1}{y} = \frac{1}{x}
fy=1xy(xy2)=yx(xy2)=1yf_y = \frac{1}{\frac{x}{y}} \cdot \left(-\frac{x}{y^2}\right) = \frac{y}{x} \cdot \left(-\frac{x}{y^2}\right) = -\frac{1}{y}
xfx+yfy=x(1x)+y(1y)=11=0=0f(x,y)x f_x + y f_y = x\left(\frac{1}{x}\right) + y\left(-\frac{1}{y}\right) = 1 - 1 = 0 = 0 \cdot f(x, y)
したがって、オイラーの公式が成り立ちます。
##

3. 最終的な答え

1. **テイラー展開**

* a) f(x,y)11+3(x1)+9(y2)+(x1)(y2)+2(y2)2f(x, y) \approx 11 + 3(x - 1) + 9(y - 2) + (x - 1)(y - 2) + 2(y - 2)^2
* b) f(x,y)ln(3)+23(x1)+13(y2)29(x1)2+19(x1)(y2)118(y2)2f(x, y) \approx \ln(3) + \frac{2}{3}(x - 1) + \frac{1}{3}(y - 2) - \frac{2}{9}(x - 1)^2 + \frac{1}{9}(x - 1)(y - 2) - \frac{1}{18}(y - 2)^2

2. **極値の候補**

* a) (2,1)(2, 1)
* b) (12,12)(\frac{1}{\sqrt{2}}, \frac{1}{\sqrt{2}}), (12,12)(-\frac{1}{\sqrt{2}}, -\frac{1}{\sqrt{2}})

3. **同次関数とオイラーの公式**

* a) 2次の同次関数。オイラーの公式は成り立つ。
* b) 0次の同次関数。オイラーの公式は成り立つ。

「解析学」の関連問題

$x \in (-1, 1)$ で定義された関数 $f_1(x) = \sqrt{1 - x^2}$ について、以下の導関数を求める問題です。 (a) $f_1'(x)$ (b) $f_1''(x)$...

導関数微分合成関数の微分法商の微分法
2025/7/1

与えられた12個の頂点を持つ多角形の内部および周を領域Dとするとき、二重積分 $\iint_D y^2 dxdy$ を計算する。ただし、$\alpha$ は正の実数である。

二重積分多角形積分領域対称性
2025/7/1

$\cos x$ の有限マクローリン展開が以下の式で表せることを示す問題です。 $1 - \frac{1}{2}x^2 + \frac{1}{4!}x^4 + \dots + \frac{(-1)^n...

マクローリン展開テイラー展開剰余項微分三角関数
2025/7/1

問題1:$\cos x$ の有限マクローリン展開が次の式で表せることを示す問題です。 $1 - \frac{1}{2}x^2 + \frac{1}{4!}x^4 - \dots + \frac{(-1...

マクローリン展開テイラー展開級数展開指数関数三角関数対数関数
2025/7/1

与えられた4つの関数を微分する問題です。 (1) $y = \sin{x}$ (2) $y = \sin{3x}$ (3) $y = \cos{4x}$ (4) $y = 2\sin{(5x - 7)...

微分三角関数合成関数
2025/7/1

## 1. 問題の内容

積分置換積分不定積分
2025/7/1

与えられた関数 $ f(x, y) = \begin{cases} |x|^\alpha |y|^\beta & (x, y) \neq (0, 0) \\ 0 & (x, y) = (0, 0) \...

多変数関数方向微分全微分可能性極限
2025/7/1

問題1は、与えられた関数を微分する問題です。(1)と(2)の二つの関数があります。問題2は、効用関数 $U = 2x^3$ が与えられたとき、(1) $x=1$ のとき、(2) $x=5$ のときの限...

微分関数限界効用
2025/7/1

与えられた4つの定積分の値を求める問題です。 (1) $\int_{0}^{\infty} xe^{-\sqrt{x}}dx$ (2) $\int_{0}^{\infty} x^{n-\frac{1}...

定積分ガンマ関数ベータ関数置換積分
2025/7/1

以下の定積分を計算します。 $\int_{0}^{2} \frac{x^3}{\sqrt{2-x}} dx$ ヒントとして、$x = 2t$ とおくことが示されています。

定積分置換積分ベータ関数ガンマ関数
2025/7/1