与えられた関数の第$n$次導関数を求めます。問題は以下の4つです。 (1) $y = \frac{1}{x-a}$ (ただし、$a$は定数) (2) $y = \frac{1}{(x+1)(x+2)}$ (3) $y = x^3e^{2x}$ (4) $y = x\cos x$

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

1. 問題の内容

与えられた関数の第nn次導関数を求めます。問題は以下の4つです。
(1) y=1xay = \frac{1}{x-a} (ただし、aaは定数)
(2) y=1(x+1)(x+2)y = \frac{1}{(x+1)(x+2)}
(3) y=x3e2xy = x^3e^{2x}
(4) y=xcosxy = x\cos x

2. 解き方の手順

(1) y=1xa=(xa)1y = \frac{1}{x-a} = (x-a)^{-1}
1階微分: y=1(xa)2y' = -1(x-a)^{-2}
2階微分: y=(1)(2)(xa)3=2(xa)3y'' = (-1)(-2)(x-a)^{-3} = 2(x-a)^{-3}
3階微分: y=2(3)(xa)4=6(xa)4y''' = 2(-3)(x-a)^{-4} = -6(x-a)^{-4}
帰納的に考えると、
y(n)=(1)nn!(xa)(n+1)=(1)nn!(xa)n+1y^{(n)} = (-1)^n n! (x-a)^{-(n+1)} = \frac{(-1)^n n!}{(x-a)^{n+1}}
(2) y=1(x+1)(x+2)y = \frac{1}{(x+1)(x+2)}
部分分数分解します。
1(x+1)(x+2)=Ax+1+Bx+2\frac{1}{(x+1)(x+2)} = \frac{A}{x+1} + \frac{B}{x+2}
1=A(x+2)+B(x+1)1 = A(x+2) + B(x+1)
x=1x = -1のとき、1=A(1+2)+B(1+1)=A1 = A(-1+2) + B(-1+1) = A より A=1A = 1
x=2x = -2のとき、1=A(2+2)+B(2+1)=B1 = A(-2+2) + B(-2+1) = -B より B=1B = -1
よって、y=1x+11x+2=(x+1)1(x+2)1y = \frac{1}{x+1} - \frac{1}{x+2} = (x+1)^{-1} - (x+2)^{-1}
1x+1\frac{1}{x+1}の第nn次導関数は(1)nn!(x+1)n+1\frac{(-1)^n n!}{(x+1)^{n+1}}
1x+2\frac{1}{x+2}の第nn次導関数は(1)nn!(x+2)n+1\frac{(-1)^n n!}{(x+2)^{n+1}}
したがって、y(n)=(1)nn!(x+1)n+1(1)nn!(x+2)n+1=(1)nn!(1(x+1)n+11(x+2)n+1)y^{(n)} = \frac{(-1)^n n!}{(x+1)^{n+1}} - \frac{(-1)^n n!}{(x+2)^{n+1}} = (-1)^n n! \left( \frac{1}{(x+1)^{n+1}} - \frac{1}{(x+2)^{n+1}} \right)
(3) y=x3e2xy = x^3e^{2x}
ライプニッツの公式を用いる。y(n)=k=0nnCk(x3)(k)(e2x)(nk)y^{(n)} = \sum_{k=0}^{n} {}_n C_k (x^3)^{(k)} (e^{2x})^{(n-k)}
(x3)(0)=x3(x^3)^{(0)} = x^3, (e2x)(0)=e2x(e^{2x})^{(0)} = e^{2x}
(x3)(1)=3x2(x^3)^{(1)} = 3x^2, (e2x)(1)=2e2x(e^{2x})^{(1)} = 2e^{2x}
(x3)(2)=6x(x^3)^{(2)} = 6x, (e2x)(2)=4e2x=22e2x(e^{2x})^{(2)} = 4e^{2x} = 2^2 e^{2x}
(x3)(3)=6(x^3)^{(3)} = 6, (e2x)(3)=8e2x=23e2x(e^{2x})^{(3)} = 8e^{2x} = 2^3 e^{2x}
(x3)(4)=0(x^3)^{(4)} = 0, (e2x)(4)=16e2x=24e2x(e^{2x})^{(4)} = 16e^{2x} = 2^4 e^{2x}
y(n)=nC0x3(2ne2x)+nC13x2(2n1e2x)+nC26x(2n2e2x)+nC36(2n3e2x)y^{(n)} = {}_n C_0 x^3 (2^n e^{2x}) + {}_n C_1 3x^2 (2^{n-1} e^{2x}) + {}_n C_2 6x (2^{n-2} e^{2x}) + {}_n C_3 6 (2^{n-3} e^{2x})
y(n)=e2x(x32n+3nx22n1+3n(n1)x2n2+n(n1)(n2)2n3)y^{(n)} = e^{2x} \left( x^3 2^n + 3n x^2 2^{n-1} + 3n(n-1) x 2^{n-2} + n(n-1)(n-2) 2^{n-3} \right)
(4) y=xcosxy = x\cos x
1階微分: y=cosxxsinxy' = \cos x - x\sin x
2階微分: y=sinx(sinx+xcosx)=2sinxxcosxy'' = -\sin x - (\sin x + x\cos x) = -2\sin x - x\cos x
3階微分: y=2cosx(cosxxsinx)=3cosx+xsinxy''' = -2\cos x - (\cos x - x\sin x) = -3\cos x + x\sin x
4階微分: y(4)=3sinx+(sinx+xcosx)=4sinx+xcosxy^{(4)} = 3\sin x + (\sin x + x\cos x) = 4\sin x + x\cos x
y(n)=xcos(x+nπ2)+nsin(x+(n1)π2)y^{(n)} = x\cos(x + n\frac{\pi}{2}) + n\sin(x + (n-1)\frac{\pi}{2})

3. 最終的な答え

(1) y(n)=(1)nn!(xa)n+1y^{(n)} = \frac{(-1)^n n!}{(x-a)^{n+1}}
(2) y(n)=(1)nn!(1(x+1)n+11(x+2)n+1)y^{(n)} = (-1)^n n! \left( \frac{1}{(x+1)^{n+1}} - \frac{1}{(x+2)^{n+1}} \right)
(3) y(n)=e2x(x32n+3nx22n1+3n(n1)x2n2+n(n1)(n2)2n3)y^{(n)} = e^{2x} \left( x^3 2^n + 3n x^2 2^{n-1} + 3n(n-1) x 2^{n-2} + n(n-1)(n-2) 2^{n-3} \right)
(4) y(n)=xcos(x+nπ2)+nsin(x+(n1)π2)y^{(n)} = x\cos(x + n\frac{\pi}{2}) + n\sin(x + (n-1)\frac{\pi}{2})

「解析学」の関連問題

与えられた関数 $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