関数 $f(x, y)$ と $g(x, y)$ が全微分可能であるとき、以下の2つの式が成り立つことを示す問題です。 (1) $d(\alpha f + \beta g) = \alpha df + \beta dg$ ($\alpha, \beta$ は実数) (2) $d(fg) = g df + f dg$

解析学全微分偏微分多変数関数
2025/7/2

1. 問題の内容

関数 f(x,y)f(x, y)g(x,y)g(x, y) が全微分可能であるとき、以下の2つの式が成り立つことを示す問題です。
(1) d(αf+βg)=αdf+βdgd(\alpha f + \beta g) = \alpha df + \beta dg (α,β\alpha, \beta は実数)
(2) d(fg)=gdf+fdgd(fg) = g df + f dg

2. 解き方の手順

(1)
全微分の定義より、df=fxdx+fydydf = \frac{\partial f}{\partial x} dx + \frac{\partial f}{\partial y} dydg=gxdx+gydydg = \frac{\partial g}{\partial x} dx + \frac{\partial g}{\partial y} dy が成り立ちます。
h=αf+βgh = \alpha f + \beta g とおくと、dh=hxdx+hydydh = \frac{\partial h}{\partial x} dx + \frac{\partial h}{\partial y} dy となります。
ここで、hx=αfx+βgx\frac{\partial h}{\partial x} = \alpha \frac{\partial f}{\partial x} + \beta \frac{\partial g}{\partial x} および hy=αfy+βgy\frac{\partial h}{\partial y} = \alpha \frac{\partial f}{\partial y} + \beta \frac{\partial g}{\partial y} であるから、
dh=(αfx+βgx)dx+(αfy+βgy)dydh = (\alpha \frac{\partial f}{\partial x} + \beta \frac{\partial g}{\partial x}) dx + (\alpha \frac{\partial f}{\partial y} + \beta \frac{\partial g}{\partial y}) dy
=α(fxdx+fydy)+β(gxdx+gydy)= \alpha (\frac{\partial f}{\partial x} dx + \frac{\partial f}{\partial y} dy) + \beta (\frac{\partial g}{\partial x} dx + \frac{\partial g}{\partial y} dy)
=αdf+βdg= \alpha df + \beta dg
よって、d(αf+βg)=αdf+βdgd(\alpha f + \beta g) = \alpha df + \beta dg が成り立ちます。
(2)
h=fgh = fg とおくと、dh=hxdx+hydydh = \frac{\partial h}{\partial x} dx + \frac{\partial h}{\partial y} dy となります。
ここで、hx=(fg)x=gfx+fgx\frac{\partial h}{\partial x} = \frac{\partial (fg)}{\partial x} = g \frac{\partial f}{\partial x} + f \frac{\partial g}{\partial x} および hy=(fg)y=gfy+fgy\frac{\partial h}{\partial y} = \frac{\partial (fg)}{\partial y} = g \frac{\partial f}{\partial y} + f \frac{\partial g}{\partial y} であるから、
dh=(gfx+fgx)dx+(gfy+fgy)dydh = (g \frac{\partial f}{\partial x} + f \frac{\partial g}{\partial x}) dx + (g \frac{\partial f}{\partial y} + f \frac{\partial g}{\partial y}) dy
=g(fxdx+fydy)+f(gxdx+gydy)= g (\frac{\partial f}{\partial x} dx + \frac{\partial f}{\partial y} dy) + f (\frac{\partial g}{\partial x} dx + \frac{\partial g}{\partial y} dy)
=gdf+fdg= g df + f dg
よって、d(fg)=gdf+fdgd(fg) = g df + f dg が成り立ちます。

3. 最終的な答え

(1) d(αf+βg)=αdf+βdgd(\alpha f + \beta g) = \alpha df + \beta dg
(2) d(fg)=gdf+fdgd(fg) = g df + f dg

「解析学」の関連問題

実数上で定義された連続関数 $f(x)$ と $g(x)$ があり、すべての有理数 $a \in \mathbb{Q}$ に対して $f(a) = g(a)$ が成り立つとき、すべての実数 $x$ に...

連続関数実数有理数極限稠密性
2025/7/2

$f(0+0) = f(0) + f(0)$ $f(0) = 2f(0)$ したがって、$f(0) = 0$

関数の連続性関数方程式コーシーの関数方程式実数証明
2025/7/2

以下の極限を求める問題です。 $\lim_{x\to\infty} (1 + ax)^{1/x}$

極限ロピタルの定理指数関数対数関数
2025/7/2

与えられた極限を計算する問題です。 $\lim_{x \to \infty} (1 + a/x)^{x}$

極限ネイピア数指数関数
2025/7/2

関数 $f(x) = e^{-x} \sin{x}$ (ただし $x > 0$) が与えられている。 (1) $f(x)$ の最大値と最小値、およびそのときの $x$ の値を求める。 (2) 方程式 ...

関数の最大最小微分指数関数三角関数方程式の解
2025/7/2

関数 $f(x) = e^{-\sin x}$ (ただし $x > 0$ )について、以下の問題を解く。 (1) $f(x)$ の最大値と最小値、およびそれらを与える $x$ の値を求める。 (2) ...

最大値最小値三角関数指数関数方程式の解微分対数
2025/7/2

$f(x)$ を奇数次数の実数を係数とする多項式とするとき、方程式 $f(x) = 0$ は少なくとも1つの実数解をもつことを示す。

多項式実数解中間値の定理関数の連続性
2025/7/2

与えられた極限値を求める問題です。 (1) $\lim_{x \to 0} \frac{\sqrt{1+x^2} - \sqrt{1-x^2}}{x^2}$ (2) $\lim_{x \to \inf...

極限有理化三角関数ロピタルの定理
2025/7/2

関数 $f(x) = \sqrt{x} + \sqrt{1-x}$ の極値を求めるために、導関数を計算し、微分係数が0となる $x$ の値を求め、増減表を作成する。

微分極値導関数増減表関数の最大値
2025/7/2

$f(x)$ と $g(x)$ は閉区間 $[0, 1]$ で定義された連続関数であり、次の条件を満たすとする。 (a) すべての $x \in [0, 1]$ について $0 \leq f(x) \...

連続関数中間値の定理関数
2025/7/2