問題は、関数 $f(x) = x^3 e^{2x}$ の第 $n$ 次導関数を求めることです。

解析学導関数ライプニッツの公式微積分
2025/5/8

1. 問題の内容

問題は、関数 f(x)=x3e2xf(x) = x^3 e^{2x} の第 nn 次導関数を求めることです。

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 C_k は二項係数であり、nCk=n!k!(nk)!{}_n C_k = \frac{n!}{k!(n-k)!} で計算できます。
今回の問題では、u(x)=x3u(x) = x^3v(x)=e2xv(x) = e^{2x} とします。
u(x)u(x) の導関数は以下の通りです。
u(x)=3x2u'(x) = 3x^2
u(x)=6xu''(x) = 6x
u(x)=6u'''(x) = 6
u(4)(x)=0u^{(4)}(x) = 0
以降の導関数も全て0になります。
v(x)v(x) の導関数は以下の通りです。
v(x)=2e2xv'(x) = 2e^{2x}
v(x)=4e2x=22e2xv''(x) = 4e^{2x} = 2^2 e^{2x}
v(x)=8e2x=23e2xv'''(x) = 8e^{2x} = 2^3 e^{2x}
一般に、v(k)(x)=2ke2xv^{(k)}(x) = 2^k e^{2x} となります。
ライプニッツの公式にこれらの導関数を代入します。
(x3e2x)(n)=k=0nnCk(x3)(nk)(e2x)(k)(x^3 e^{2x})^{(n)} = \sum_{k=0}^{n} {}_n C_k (x^3)^{(n-k)} (e^{2x})^{(k)}
u(x)u(x) の導関数は4階以降は0になるため、実質的に nk3n-k \le 3、つまり kn3k \ge n-3 の項のみを考えれば良いことになります。したがって、kkn3n-3 から nn までの値を動きます。
(x3e2x)(n)=nCn3(x3)(3)(e2x)(n3)+nCn2(x3)(2)(e2x)(n2)+nCn1(x3)(1)(e2x)(n1)+nCn(x3)(0)(e2x)(n)(x^3 e^{2x})^{(n)} = {}_n C_{n-3} (x^3)^{(3)} (e^{2x})^{(n-3)} + {}_n C_{n-2} (x^3)^{(2)} (e^{2x})^{(n-2)} + {}_n C_{n-1} (x^3)^{(1)} (e^{2x})^{(n-1)} + {}_n C_{n} (x^3)^{(0)} (e^{2x})^{(n)}
上記の導関数を代入すると、以下のようになります。
(x3e2x)(n)=nCn3(6)(2n3e2x)+nCn2(6x)(2n2e2x)+nCn1(3x2)(2n1e2x)+nCn(x3)(2ne2x)(x^3 e^{2x})^{(n)} = {}_n C_{n-3} (6) (2^{n-3} e^{2x}) + {}_n C_{n-2} (6x) (2^{n-2} e^{2x}) + {}_n C_{n-1} (3x^2) (2^{n-1} e^{2x}) + {}_n C_{n} (x^3) (2^{n} e^{2x})
二項係数を計算すると、
nCn3=n!3!(n3)!=n(n1)(n2)6{}_n C_{n-3} = \frac{n!}{3!(n-3)!} = \frac{n(n-1)(n-2)}{6}
nCn2=n!2!(n2)!=n(n1)2{}_n C_{n-2} = \frac{n!}{2!(n-2)!} = \frac{n(n-1)}{2}
nCn1=n!1!(n1)!=n{}_n C_{n-1} = \frac{n!}{1!(n-1)!} = n
nCn=1{}_n C_{n} = 1
これらを代入して整理します。
(x3e2x)(n)=n(n1)(n2)6(6)(2n3e2x)+n(n1)2(6x)(2n2e2x)+n(3x2)(2n1e2x)+(x3)(2ne2x)(x^3 e^{2x})^{(n)} = \frac{n(n-1)(n-2)}{6} (6) (2^{n-3} e^{2x}) + \frac{n(n-1)}{2} (6x) (2^{n-2} e^{2x}) + n (3x^2) (2^{n-1} e^{2x}) + (x^3) (2^{n} e^{2x})
=n(n1)(n2)2n3e2x+3n(n1)x2n2e2x+3nx22n1e2x+x32ne2x= n(n-1)(n-2) 2^{n-3} e^{2x} + 3n(n-1) x 2^{n-2} e^{2x} + 3n x^2 2^{n-1} e^{2x} + x^3 2^{n} e^{2x}
=2n3e2x[n(n1)(n2)+6n(n1)x+12nx2+8x3]= 2^{n-3} e^{2x} [n(n-1)(n-2) + 6n(n-1)x + 12nx^2 + 8x^3]

3. 最終的な答え

f(n)(x)=2n3e2x[n(n1)(n2)+6n(n1)x+12nx2+8x3]f^{(n)}(x) = 2^{n-3} e^{2x} [n(n-1)(n-2) + 6n(n-1)x + 12nx^2 + 8x^3]

「解析学」の関連問題

与えられた関数 $y = \frac{1}{(\log x - 5)^2}$ を微分して、$y'$ を求めます。ここでは底が10の常用対数$\log$として扱います。

微分対数関数連鎖律
2025/5/8

与えられた関数 $y = \log(\sqrt{x} - 3)$ の定義域を求めます。

対数関数定義域不等式
2025/5/8

与えられた関数 $y = \log(\sqrt{x} - 3)$ について、この関数が定義されるための $x$ の条件(定義域)を求めます。

対数関数定義域不等式平方根
2025/5/8

与えられた関数 $y = \log(x^4 + x^2 - 1)$ の微分 $dy/dx$ を求める問題です。ここで、$\log$ は自然対数(底が $e$ の対数)を表します。

微分合成関数の微分対数関数導関数
2025/5/8

与えられた関数 $y = \frac{x-1}{\log x + 1}$ の導関数を求める問題です。

微分導関数商の微分公式対数関数
2025/5/8

与えられた関数 $y = \frac{x-1}{\log x + 1}$ を解析する問題ですが、具体的に何をすれば良いのかが指定されていません。ここでは、この関数の微分を求めることにします。対数関数は...

微分対数関数商の微分法則
2025/5/8

与えられた4つの関数を微分する問題です。 (1) $y = \log|3x+2|$ (2) $y = \log_3|x^2-4|$ (3) $y = \log|\sin x|$ (4) $y = \l...

微分対数関数合成関数
2025/5/8

与えられた3つの関数をそれぞれ微分する問題です。 (1) $y = x^2 \log x$ (2) $y = \log_3(2x-1)$ (3) $y = \log (\log x)$

微分対数関数合成関数の微分積の微分
2025/5/8

与えられた9個の関数をそれぞれ微分せよ。

微分三角関数合成関数の微分
2025/5/8

関数 $y = \frac{\sqrt{x} + 1}{\sqrt{x} + 1}$ を微分せよ。

微分関数の微分定数関数
2025/5/8