関数 $y = x^4 e^{-2x}$ の $n$ 階導関数 $y^{(n)}$ を求める。

解析学ライプニッツの公式高階導関数指数関数多項式
2025/7/31

1. 問題の内容

関数 y=x4e2xy = x^4 e^{-2x}nn 階導関数 y(n)y^{(n)} を求める。

2. 解き方の手順

まず、ライプニッツの公式を適用する。ライプニッツの公式は、2つの関数の積の nn 階導関数を求めるための公式であり、次のように表される。
(uv)(n)=k=0n(nk)u(nk)v(k)(uv)^{(n)} = \sum_{k=0}^{n} \binom{n}{k} u^{(n-k)} v^{(k)}
ここで、u=x4u = x^4v=e2xv = e^{-2x} とおく。
uu の導関数を計算する。
u=4x3u' = 4x^3
u=12x2u'' = 12x^2
u=24xu''' = 24x
u(4)=24u^{(4)} = 24
u(k)=0u^{(k)} = 0 (for k5k \ge 5)
vv の導関数を計算する。
v=2e2xv' = -2e^{-2x}
v=(2)2e2xv'' = (-2)^2 e^{-2x}
v=(2)3e2xv''' = (-2)^3 e^{-2x}
一般的に、v(k)=(2)ke2xv^{(k)} = (-2)^k e^{-2x} である。
したがって、ライプニッツの公式を適用すると、
y(n)=(x4e2x)(n)=k=0n(nk)(x4)(nk)(e2x)(k)y^{(n)} = (x^4 e^{-2x})^{(n)} = \sum_{k=0}^{n} \binom{n}{k} (x^4)^{(n-k)} (e^{-2x})^{(k)}
ここで、nk>4n-k > 4 のとき (x4)(nk)=0(x^4)^{(n-k)} = 0 であるから、実質的に nk4n-k \le 4, すなわち kn4k \ge n-4 の項だけを考えればよい。また、knk \le n なので、n4knn-4 \le k \le n である。
したがって、
y(n)=k=max(0,n4)n(nk)(x4)(nk)(2)ke2xy^{(n)} = \sum_{k=max(0, n-4)}^{n} \binom{n}{k} (x^4)^{(n-k)} (-2)^k e^{-2x}
具体的な項を計算する。
k=nk=n のとき: (nn)(x4)(0)(2)ne2x=(nn)x4(2)ne2x\binom{n}{n} (x^4)^{(0)} (-2)^n e^{-2x} = \binom{n}{n} x^4 (-2)^n e^{-2x}
k=n1k=n-1 のとき: (nn1)(x4)(1)(2)n1e2x=(nn1)4x3(2)n1e2x=n4x3(2)n1e2x\binom{n}{n-1} (x^4)^{(1)} (-2)^{n-1} e^{-2x} = \binom{n}{n-1} 4x^3 (-2)^{n-1} e^{-2x} = n \cdot 4x^3 (-2)^{n-1} e^{-2x}
k=n2k=n-2 のとき: (nn2)(x4)(2)(2)n2e2x=(nn2)12x2(2)n2e2x=n(n1)212x2(2)n2e2x\binom{n}{n-2} (x^4)^{(2)} (-2)^{n-2} e^{-2x} = \binom{n}{n-2} 12x^2 (-2)^{n-2} e^{-2x} = \frac{n(n-1)}{2} 12x^2 (-2)^{n-2} e^{-2x}
k=n3k=n-3 のとき: (nn3)(x4)(3)(2)n3e2x=(nn3)24x(2)n3e2x=n(n1)(n2)624x(2)n3e2x\binom{n}{n-3} (x^4)^{(3)} (-2)^{n-3} e^{-2x} = \binom{n}{n-3} 24x (-2)^{n-3} e^{-2x} = \frac{n(n-1)(n-2)}{6} 24x (-2)^{n-3} e^{-2x}
k=n4k=n-4 のとき: (nn4)(x4)(4)(2)n4e2x=(nn4)24(2)n4e2x=n(n1)(n2)(n3)2424(2)n4e2x\binom{n}{n-4} (x^4)^{(4)} (-2)^{n-4} e^{-2x} = \binom{n}{n-4} 24 (-2)^{n-4} e^{-2x} = \frac{n(n-1)(n-2)(n-3)}{24} 24 (-2)^{n-4} e^{-2x}
y(n)=e2xk=max(0,n4)n(nk)(x4)(nk)(2)ky^{(n)} = e^{-2x} \sum_{k=max(0, n-4)}^{n} \binom{n}{k} (x^4)^{(n-k)} (-2)^k
整理すると、
y(n)=e2x[(2)nx4+n4x3(2)n1+n(n1)212x2(2)n2+n(n1)(n2)624x(2)n3+n(n1)(n2)(n3)2424(2)n4]y^{(n)} = e^{-2x} [ (-2)^n x^4 + n \cdot 4x^3 (-2)^{n-1} + \frac{n(n-1)}{2} 12x^2 (-2)^{n-2} + \frac{n(n-1)(n-2)}{6} 24x (-2)^{n-3} + \frac{n(n-1)(n-2)(n-3)}{24} 24 (-2)^{n-4} ]
y(n)=e2x(2)n4[(2)4x4+n4x3(2)3+n(n1)212x2(2)2+n(n1)(n2)624x(2)1+n(n1)(n2)(n3)2424]y^{(n)} = e^{-2x} (-2)^{n-4} [(-2)^4 x^4 + n \cdot 4x^3 (-2)^3 + \frac{n(n-1)}{2} 12x^2 (-2)^2 + \frac{n(n-1)(n-2)}{6} 24x (-2)^1 + \frac{n(n-1)(n-2)(n-3)}{24} 24 ]
y(n)=e2x(2)n4[16x432nx3+24n(n1)x28n(n1)(n2)x+n(n1)(n2)(n3)]y^{(n)} = e^{-2x} (-2)^{n-4} [16x^4 - 32 n x^3 + 24 n (n-1) x^2 - 8 n (n-1) (n-2) x + n (n-1) (n-2) (n-3) ]

3. 最終的な答え

y(n)=(2)n4e2x[16x432nx3+24n(n1)x28n(n1)(n2)x+n(n1)(n2)(n3)]y^{(n)} = (-2)^{n-4} e^{-2x} [16x^4 - 32nx^3 + 24n(n-1)x^2 - 8n(n-1)(n-2)x + n(n-1)(n-2)(n-3)]
または
y(n)=e2xk=max(0,n4)n(nk)(x4)(nk)(2)ky^{(n)} = e^{-2x}\sum_{k=max(0, n-4)}^{n} \binom{n}{k} (x^4)^{(n-k)} (-2)^k

「解析学」の関連問題

定積分 $\int_{0}^{1} \frac{dx}{x^3+1}$ の値を求める問題です。

定積分部分分数分解積分計算arctan対数
2025/8/1

定積分 $\int_{0}^{1} \frac{x+3}{(x+1)(x+2)} dx$ を計算します。

定積分部分分数分解積分計算
2025/8/1

定積分 $\int_{0}^{1} \frac{x^3 + x + 1}{x^2 + 1} dx$ を計算します。

定積分積分計算arctan部分分数分解
2025/8/1

$\int_{-\frac{\pi}{3}}^{\frac{2\pi}{3}} \cos^3 x dx$ を計算してください。

積分三角関数置換積分
2025/8/1

不定積分 $\int \cos^4(3x) \sin(3x) \, dx$ を求めよ。

不定積分定積分置換積分部分積分三角関数積分
2025/8/1

合成関数の微分を用いて、以下の(1)と(2)それぞれについて、$z_u = \frac{\partial z}{\partial u}$ と $z_v = \frac{\partial z}{\par...

偏微分合成関数偏導関数
2025/8/1

与えられた積分を計算します。 (1) $\int \arcsin{x} dx$ (2) $\int_{0}^{1} \frac{x}{x^4 + 1} dx$

積分不定積分定積分部分積分置換積分arcsinarctan
2025/8/1

定積分 $\int_{\frac{\pi}{3}}^{\pi} \cos 2x \cos 3x \, dx$ を計算します。

積分定積分三角関数積和の公式
2025/8/1

与えられた $y = a \cos(b\theta + c)$ のグラフから、定数 $a, b, c$ および $p, q$ の値を求めます。ただし、$a>0$, $b>0$, $-\frac{\pi...

三角関数グラフ振幅周期平行移動
2025/8/1

曲線 $y = |x^2 - 2x|$ と直線 $y = x + 4$ で囲まれた部分の面積を求める問題です。

積分面積絶対値二次関数
2025/8/1