与えられた関数について、ライプニッツの公式を用いて第 $n$ 次導関数を求めます。 (1) $x^3 e^{3x}$ (2) $x^2 \cos 2x$

解析学ライプニッツの公式導関数微分指数関数三角関数
2025/6/14

1. 問題の内容

与えられた関数について、ライプニッツの公式を用いて第 nn 次導関数を求めます。
(1) x3e3xx^3 e^{3x}
(2) x2cos2xx^2 \cos 2x

2. 解き方の手順

ライプニッツの公式は、2つの関数 u(x)u(x)v(x)v(x) の積の nn 次導関数を求めるために使用されます。ライプニッツの公式は以下の通りです。
(uv)(n)=k=0nnCku(nk)v(k)(uv)^{(n)} = \sum_{k=0}^{n} {}_n C_k u^{(n-k)} v^{(k)}
ここで、nCk=n!k!(nk)!{}_n C_k = \frac{n!}{k!(n-k)!} は二項係数であり、u(nk)u^{(n-k)}uunkn-k 次導関数、v(k)v^{(k)}vvkk 次導関数を表します。
(1) y=x3e3xy = x^3 e^{3x} の場合:
u=x3u = x^3v=e3xv = e^{3x} とします。
u=3x2u' = 3x^2, u=6xu'' = 6x, u=6u''' = 6, u(4)=0u^{(4)} = 0。以降の導関数も0です。
v=3e3xv' = 3e^{3x}, v=9e3xv'' = 9e^{3x}, v=27e3xv''' = 27e^{3x}, ..., v(k)=3ke3xv^{(k)} = 3^k e^{3x}
ライプニッツの公式を適用すると:
y(n)=k=0nnCk(x3)(nk)(e3x)(k)y^{(n)} = \sum_{k=0}^{n} {}_n C_k (x^3)^{(n-k)} (e^{3x})^{(k)}
k=0,1,2,3k=0, 1, 2, 3 の項のみがゼロでないので、
y(n)=nC0(x3)(n)(e3x)(0)+nC1(x3)(n1)(e3x)(1)+nC2(x3)(n2)(e3x)(2)+nC3(x3)(n3)(e3x)(3)y^{(n)} = {}_n C_0 (x^3)^{(n)} (e^{3x})^{(0)} + {}_n C_1 (x^3)^{(n-1)} (e^{3x})^{(1)} + {}_n C_2 (x^3)^{(n-2)} (e^{3x})^{(2)} + {}_n C_3 (x^3)^{(n-3)} (e^{3x})^{(3)}
ここで、n3n \ge 3 の場合を考えます。n=0,1,2n=0,1,2の場合は別途計算が必要です。
y(n)=nC00e3x+nC103e3x+nC209e3x+nC3027e3xy^{(n)} = {}_n C_0 \cdot 0 \cdot e^{3x} + {}_n C_1 \cdot 0 \cdot 3e^{3x} + {}_n C_2 \cdot 0 \cdot 9e^{3x} + {}_n C_3 \cdot 0 \cdot 27e^{3x}
n>3n>3 の場合は、nk<=3n-k <= 3となるkkの値についてのみ計算します。
よって、
y(n)=nC0x33ne3x+nC13x23n1e3x+nC26x3n2e3x+nC363n3e3xy^{(n)} = {}_n C_0 x^3 3^n e^{3x} + {}_n C_1 3x^2 3^{n-1} e^{3x} + {}_n C_2 6x 3^{n-2} e^{3x} + {}_n C_3 6 3^{n-3} e^{3x}
y(n)=e3x[3nx3+n3n13x2+n(n1)26x3n2+n(n1)(n2)663n3]y^{(n)} = e^{3x} [3^n x^3 + n 3^{n-1} 3x^2 + \frac{n(n-1)}{2} 6x 3^{n-2} + \frac{n(n-1)(n-2)}{6} 6 3^{n-3}]
y(n)=3n3e3x[27x3+9nx2+3n(n1)x+n(n1)(n2)]y^{(n)} = 3^{n-3} e^{3x} [27 x^3 + 9nx^2 + 3n(n-1)x + n(n-1)(n-2)]
(2) y=x2cos2xy = x^2 \cos 2x の場合:
u=x2u = x^2v=cos2xv = \cos 2x とします。
u=2xu' = 2x, u=2u'' = 2, u=0u''' = 0。以降の導関数も0です。
v=2sin2xv' = -2\sin 2x, v=4cos2xv'' = -4\cos 2x, v=8sin2xv''' = 8\sin 2x, v(4)=16cos2xv^{(4)} = 16\cos 2x
v(k)=2kcos(2x+kπ2)v^{(k)} = 2^k \cos(2x + \frac{k\pi}{2})
ライプニッツの公式を適用すると:
y(n)=k=0nnCk(x2)(nk)(cos2x)(k)y^{(n)} = \sum_{k=0}^{n} {}_n C_k (x^2)^{(n-k)} (\cos 2x)^{(k)}
k=0,1,2k=0, 1, 2 の項のみがゼロでないので、
y(n)=nC0x2(cos2x)(n)+nC12x(cos2x)(n1)+nC22(cos2x)(n2)y^{(n)} = {}_n C_0 x^2 (\cos 2x)^{(n)} + {}_n C_1 2x (\cos 2x)^{(n-1)} + {}_n C_2 2 (\cos 2x)^{(n-2)}
y(n)=nC0x22ncos(2x+nπ2)+nC12x2n1cos(2x+(n1)π2)+nC222n2cos(2x+(n2)π2)y^{(n)} = {}_n C_0 x^2 2^n \cos(2x + \frac{n\pi}{2}) + {}_n C_1 2x 2^{n-1} \cos(2x + \frac{(n-1)\pi}{2}) + {}_n C_2 2 2^{n-2} \cos(2x + \frac{(n-2)\pi}{2})
y(n)=2n2[4x2cos(2x+nπ2)+4nxcos(2x+(n1)π2)+n(n1)cos(2x+(n2)π2)]y^{(n)} = 2^{n-2} [4x^2 \cos(2x + \frac{n\pi}{2}) + 4nx \cos(2x + \frac{(n-1)\pi}{2}) + n(n-1) \cos(2x + \frac{(n-2)\pi}{2})]

3. 最終的な答え

(1) y(n)=3n3e3x[27x3+9nx2+3n(n1)x+n(n1)(n2)]y^{(n)} = 3^{n-3} e^{3x} [27 x^3 + 9nx^2 + 3n(n-1)x + n(n-1)(n-2)]
(2) y(n)=2n2[4x2cos(2x+nπ2)+4nxcos(2x+(n1)π2)+n(n1)cos(2x+(n2)π2)]y^{(n)} = 2^{n-2} [4x^2 \cos(2x + \frac{n\pi}{2}) + 4nx \cos(2x + \frac{(n-1)\pi}{2}) + n(n-1) \cos(2x + \frac{(n-2)\pi}{2})]

「解析学」の関連問題

$0 \le \theta < 2\pi$ のとき、次の方程式を解く問題です。 (1) $\sin\theta = \frac{\sqrt{3}}{2}$ (2) $2\cos\theta + 1 =...

三角関数方程式sincos解の公式単位円
2025/6/14

数列 $\{a_n\}$ の極限を求める問題です。数列の一般項は、$a_n = \sqrt{n+2} - \sqrt{n}$ で与えられます。

極限数列平方根有理化
2025/6/14

放物線 $y = -x^2 + 4x$ の接線のうち、点 $(0, 9)$ を通る2本の接線を求める。 次に、放物線と2つの接線で囲まれた部分の面積を求める。

微分積分放物線接線面積
2025/6/14

数列 $\{a_n\}$ の極限を求める問題です。ただし、$a_n = (1 - \frac{1}{n})^n$ で定義されます。

数列極限対数テイラー展開指数関数
2025/6/14

関数 $f(x) = x^2 - 2x$ が与えられている。区間 $t-1 \le x \le t+2$ における $f(x)$ の最小値を $m(t)$ とする。 (1) $m(0)$ と $m(3...

二次関数最大・最小グラフ場合分け
2025/6/14

関数 $f(x) = \frac{\log x}{x}$ の増減、極値、凹凸、変曲点を調べ、グラフの概形を描く。

関数の増減極値凹凸変曲点グラフの概形微分対数関数
2025/6/14

2重積分 $\iint_D \sqrt{y-x} \, dxdy$ を、領域 $D = \{(x, y) \mid x+y \le 1, y \ge x, x \ge 0\}$ で計算します。

重積分2重積分積分計算領域
2025/6/14

2重積分 $\iint_D \sqrt{y-x} \, dxdy$ を、領域 $D = \{(x,y) \, | \, x+y \leq 1, \, y \geq x, \, x \geq 0\}$ ...

重積分2重積分積分領域変数変換
2025/6/14

次の重積分を計算します。 $\iint_D x^2 + y^2 dxdy$ ここで、$D = \{(x, y) | y = x, y = 2x, x = 1 で囲まれる領域\}$ です。

重積分積分領域変数変換
2025/6/14

$\lim_{k \to 0} (1+k)^{\frac{1}{k}} = e$ を用いて、次の極限を求めます。 $\lim_{x \to 0} \frac{\log(1+x)}{x}$

極限テイラー展開ロピタルの定理対数関数
2025/6/14