(1) $z = \sin(xy)$ の全微分を求める。 (2) $d(u+v) = du + dv$, $d(uv) = vdu + udv$, $d(\frac{v}{u}) = \frac{udv - vdu}{u^2}$ を証明する。 (3) $f = r\sin^2\theta$, $x = r\cos\theta$, $y = r\sin\theta$ ($r > 0$) のとき、$df = adx + bdy$ となる $a, b$ の値を $(x, y) = (1, 1)$ で求める。

解析学全微分偏微分合成関数多変数関数
2025/6/27
## 問題の解答

1. 問題の内容

(1) z=sin(xy)z = \sin(xy) の全微分を求める。
(2) d(u+v)=du+dvd(u+v) = du + dv, d(uv)=vdu+udvd(uv) = vdu + udv, d(vu)=udvvduu2d(\frac{v}{u}) = \frac{udv - vdu}{u^2} を証明する。
(3) f=rsin2θf = r\sin^2\theta, x=rcosθx = r\cos\theta, y=rsinθy = r\sin\theta (r>0r > 0) のとき、df=adx+bdydf = adx + bdy となる a,ba, b の値を (x,y)=(1,1)(x, y) = (1, 1) で求める。

2. 解き方の手順

(1)
z=sin(xy)z = \sin(xy) の全微分は、
dz=zxdx+zydydz = \frac{\partial z}{\partial x}dx + \frac{\partial z}{\partial y}dy
で与えられる。偏微分を計算すると、
zx=cos(xy)y=ycos(xy)\frac{\partial z}{\partial x} = \cos(xy) \cdot y = y\cos(xy)
zy=cos(xy)x=xcos(xy)\frac{\partial z}{\partial y} = \cos(xy) \cdot x = x\cos(xy)
したがって、全微分は
dz=ycos(xy)dx+xcos(xy)dydz = y\cos(xy)dx + x\cos(xy)dy
(2)
(i) d(u+v)=du+dvd(u+v) = du + dv
d(u+v)=(u+v)udu+(u+v)vdv=1du+1dv=du+dvd(u+v) = \frac{\partial (u+v)}{\partial u}du + \frac{\partial (u+v)}{\partial v}dv = 1 \cdot du + 1 \cdot dv = du + dv
(ii) d(uv)=vdu+udvd(uv) = vdu + udv
d(uv)=(uv)udu+(uv)vdv=vdu+udv=vdu+udvd(uv) = \frac{\partial (uv)}{\partial u}du + \frac{\partial (uv)}{\partial v}dv = v \cdot du + u \cdot dv = vdu + udv
(iii) d(vu)=udvvduu2d(\frac{v}{u}) = \frac{udv - vdu}{u^2}
d(vu)=(vu)udu+(vu)vdv=(vu2)du+(1u)dv=vdu+udvu2=udvvduu2d(\frac{v}{u}) = \frac{\partial (\frac{v}{u})}{\partial u}du + \frac{\partial (\frac{v}{u})}{\partial v}dv = (-\frac{v}{u^2})du + (\frac{1}{u})dv = \frac{-vdu + udv}{u^2} = \frac{udv - vdu}{u^2}
(3)
f=rsin2θf = r\sin^2\theta
x=rcosθx = r\cos\theta
y=rsinθy = r\sin\theta
まず、 rrθ\thetaxxyy で表すことを考える。
x2+y2=r2cos2θ+r2sin2θ=r2(cos2θ+sin2θ)=r2x^2 + y^2 = r^2\cos^2\theta + r^2\sin^2\theta = r^2(\cos^2\theta + \sin^2\theta) = r^2
したがって、r=x2+y2r = \sqrt{x^2 + y^2} (r > 0 なので)
yx=rsinθrcosθ=tanθ\frac{y}{x} = \frac{r\sin\theta}{r\cos\theta} = \tan\theta
したがって、θ=arctan(yx)\theta = \arctan(\frac{y}{x})
f=rsin2θ=r(1cos2θ)=r(1(xr)2)=r(1x2r2)=rx2r=x2+y2x2x2+y2f = r\sin^2\theta = r(1-\cos^2\theta) = r(1 - (\frac{x}{r})^2) = r(1 - \frac{x^2}{r^2}) = r - \frac{x^2}{r} = \sqrt{x^2+y^2} - \frac{x^2}{\sqrt{x^2+y^2}}
df=fxdx+fydydf = \frac{\partial f}{\partial x}dx + \frac{\partial f}{\partial y}dy
fx=12(x2+y2)1/22x2xx2+y2x212(x2+y2)1/22xx2+y2=xx2+y22x(x2+y2)x3(x2+y2)3/2=x(x2+y2)2x(x2+y2)+x3(x2+y2)3/2=x3xy2+x3(x2+y2)3/2=xy2(x2+y2)3/2\frac{\partial f}{\partial x} = \frac{1}{2}(x^2+y^2)^{-1/2} \cdot 2x - \frac{2x\sqrt{x^2+y^2} - x^2 \cdot \frac{1}{2}(x^2+y^2)^{-1/2} \cdot 2x}{x^2+y^2} = \frac{x}{\sqrt{x^2+y^2}} - \frac{2x(x^2+y^2) - x^3}{(x^2+y^2)^{3/2}} = \frac{x(x^2+y^2) - 2x(x^2+y^2) + x^3}{(x^2+y^2)^{3/2}} = \frac{-x^3 - xy^2 + x^3}{(x^2+y^2)^{3/2}} = \frac{-xy^2}{(x^2+y^2)^{3/2}}
fy=12(x2+y2)1/22yx2(12)(x2+y2)3/22y=yx2+y2+x2y(x2+y2)3/2=y(x2+y2)+x2y(x2+y2)3/2=x2y+y3+x2y(x2+y2)3/2=2x2y+y3(x2+y2)3/2\frac{\partial f}{\partial y} = \frac{1}{2}(x^2+y^2)^{-1/2} \cdot 2y - x^2 (-\frac{1}{2})(x^2+y^2)^{-3/2} \cdot 2y = \frac{y}{\sqrt{x^2+y^2}} + \frac{x^2 y}{(x^2+y^2)^{3/2}} = \frac{y(x^2+y^2) + x^2 y}{(x^2+y^2)^{3/2}} = \frac{x^2 y + y^3 + x^2 y}{(x^2+y^2)^{3/2}} = \frac{2x^2y + y^3}{(x^2+y^2)^{3/2}}
(x,y)=(1,1)(x, y) = (1, 1) のとき、
fx=1(1+1)3/2=122\frac{\partial f}{\partial x} = \frac{-1}{(1+1)^{3/2}} = \frac{-1}{2\sqrt{2}}
fy=2+1(1+1)3/2=322\frac{\partial f}{\partial y} = \frac{2+1}{(1+1)^{3/2}} = \frac{3}{2\sqrt{2}}
したがって、a=122a = \frac{-1}{2\sqrt{2}}, b=322b = \frac{3}{2\sqrt{2}}

3. 最終的な答え

(1) dz=ycos(xy)dx+xcos(xy)dydz = y\cos(xy)dx + x\cos(xy)dy
(2) 証明は上記の通り
(3) a=122a = -\frac{1}{2\sqrt{2}}, b=322b = \frac{3}{2\sqrt{2}}

「解析学」の関連問題

与えられた級数 $S = 1 + 4x + 7x^2 + 10x^3 + \dots + (3n-2)x^{n-1}$ の和を求める問題です。

級数等比数列数列の和無限級数
2025/6/27

与えられた3つのcos関数の式をsin関数に変形する問題です。 (1) $\cos(x + \frac{\pi}{6})$ (2) $\cos(x - \frac{\pi}{3})$ (3) $\co...

三角関数cossin関数の変換
2025/6/27

関数 $f(x)$ について、$\lim_{x \to a} f(x) = \alpha$ であるための必要十分条件は、$f(x)$ の定義域内の $\lim_{n \to \infty} a_n =...

極限数列関数必要十分条件証明
2025/6/27

与えられた三角関数の式を、$sin \theta$ と $cos \theta$ を用いて表す問題です。具体的には、以下の3つの式をそれぞれ変形します。 (1) $\sqrt{2} \sin(\the...

三角関数加法定理三角関数の変形
2025/6/27

与えられた積分 $\int x(3x-1) dx$ を計算します。

積分不定積分多項式積分計算
2025/6/27

与えられた三角関数を、指示された関数に変形する問題です。具体的には、 * $\cos$ 関数を $\sin$ 関数に変形する問題が3つ * $\sin$ 関数を $\cos$ 関数に変...

三角関数三角関数の変換sincos加法定理
2025/6/27

問題4は、$\sin(\sin^{-1}t + \cos^{-1}t) = 1$ を示す問題です。

三角関数逆関数恒等式
2025/6/27

$\sin{\frac{\pi}{12}}$ の値を倍角の公式を用いて求める問題です。

三角関数半角の公式三角関数の値
2025/6/27

3次方程式 $x^3 - 6x + 7 = 0$ の異なる実数解の個数を求めよ。

3次方程式実数解微分極値関数のグラフ
2025/6/27

与えられた4つの積分を計算します。 (1) $\int (x-1)e^{-x} dx$ (2) $\int (x+1)\cos x dx$ (3) $\int (2x+1)\log |x| dx$ (...

積分部分積分不定積分
2025/6/27