関数 $f(x) = \frac{1}{\sqrt{1-x^2}}$ の $n$ 階導関数 $f^{(n)}(x)$ の $x=0$ における値 $f^{(n)}(0)$ を求めよ。

解析学導関数マクローリン展開テイラー展開二重階乗関数の微分
2025/6/8

1. 問題の内容

関数 f(x)=11x2f(x) = \frac{1}{\sqrt{1-x^2}}nn 階導関数 f(n)(x)f^{(n)}(x)x=0x=0 における値 f(n)(0)f^{(n)}(0) を求めよ。

2. 解き方の手順

f(x)f(x) をマクローリン展開(原点におけるテイラー展開)することで f(n)(0)f^{(n)}(0) を求める。
f(x)=11x2=(1x2)1/2f(x) = \frac{1}{\sqrt{1-x^2}} = (1-x^2)^{-1/2} と書ける。
(1+x)α(1+x)^\alpha のマクローリン展開は、
(1+x)α=1+αx+α(α1)2!x2+α(α1)(α2)3!x3+(1+x)^\alpha = 1 + \alpha x + \frac{\alpha (\alpha-1)}{2!} x^2 + \frac{\alpha(\alpha-1)(\alpha-2)}{3!} x^3 + \dots
である。
したがって、
(1x2)1/2=1+(12)(x2)+(12)(32)2!(x2)2+(12)(32)(52)3!(x2)3+(1-x^2)^{-1/2} = 1 + (-\frac{1}{2})(-x^2) + \frac{(-\frac{1}{2})(-\frac{3}{2})}{2!} (-x^2)^2 + \frac{(-\frac{1}{2})(-\frac{3}{2})(-\frac{5}{2})}{3!} (-x^2)^3 + \dots
=1+12x2+13222!x4+135233!x6+= 1 + \frac{1}{2} x^2 + \frac{1 \cdot 3}{2^2 \cdot 2!} x^4 + \frac{1 \cdot 3 \cdot 5}{2^3 \cdot 3!} x^6 + \dots
=k=0(2k1)!!(2k)!!x2k= \sum_{k=0}^{\infty} \frac{(2k-1)!!}{(2k)!!} x^{2k}
ここで、二重階乗 (2k1)!!(2k-1)!! は 1 から 2k12k-1 までの奇数の積であり、(2k)!!(2k)!! は 2 から 2k2k までの偶数の積である。
f(x)f(x) のマクローリン展開を n=0f(n)(0)n!xn\sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!} x^n とすると、
k=0(2k1)!!(2k)!!x2k=n=0f(n)(0)n!xn\sum_{k=0}^{\infty} \frac{(2k-1)!!}{(2k)!!} x^{2k} = \sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!} x^n
nn が奇数のとき、xnx^n の項は存在しないので、f(n)(0)=0f^{(n)}(0) = 0 である。
n=2kn = 2k のとき、
(2k1)!!(2k)!!=f(2k)(0)(2k)!\frac{(2k-1)!!}{(2k)!!} = \frac{f^{(2k)}(0)}{(2k)!}
f(2k)(0)=(2k)!(2k1)!!(2k)!!=(2k)!(2k1)!!2kk!=(2k1)!!(2k)!2kk!f^{(2k)}(0) = (2k)! \frac{(2k-1)!!}{(2k)!!} = (2k)! \frac{(2k-1)!!}{2^k k!} = (2k-1)!! \frac{(2k)!}{2^k k!}
f(2k)(0)=(2k)!135(2k1)246(2k)=(2k)!22k(k!)2(2k)!f^{(2k)}(0) = (2k)! \frac{1 \cdot 3 \cdot 5 \dots (2k-1)}{2 \cdot 4 \cdot 6 \dots (2k)} = \frac{(2k)!}{2^{2k} (k!)^2} (2k)!
あるいは
f(2k)(0)=(135(2k1))=(2k)!2kk!f^{(2k)}(0) = (1 \cdot 3 \cdot 5 \dots (2k-1)) = \frac{(2k)!}{2^k k!}
nn が奇数ならば f(n)(0)=0f^{(n)}(0) = 0
nn が偶数 n=2kn=2k ならば f(n)(0)=(2k)!2kk!=n!2n/2(n/2)!f^{(n)}(0) = \frac{(2k)!}{2^k k!} = \frac{n!}{2^{n/2} (n/2)!}

3. 最終的な答え

nn が奇数のとき、f(n)(0)=0f^{(n)}(0) = 0
nn が偶数のとき、f(n)(0)=n!2n/2(n/2)!f^{(n)}(0) = \frac{n!}{2^{n/2} (n/2)!}
別の表現としては、
f(n)(0)={0if n is oddn!2n/2(n/2)!if n is evenf^{(n)}(0) = \begin{cases} 0 & \text{if } n \text{ is odd} \\ \frac{n!}{2^{n/2} (n/2)!} & \text{if } n \text{ is even} \end{cases}
あるいは、
f(n)(0)={0if n is odd(n1)!!if n is evenf^{(n)}(0) = \begin{cases} 0 & \text{if } n \text{ is odd} \\ (n-1)!! & \text{if } n \text{ is even} \end{cases}

「解析学」の関連問題

曲線 $y = \frac{1}{x}$ ($x > 0$) 上に2点 $A(a, \frac{1}{a})$, $B(b, \frac{1}{b})$ がある。ただし、$0 < a < b$ とする...

関数の最大値微分不等式相加相乗平均
2025/6/8

$a, b$ が実数全体を動くとき、定積分 $\int_{0}^{\pi} (x - a - b \cos x)^2 dx$ の最小値を求め、そのときの $a, b$ の値を求める問題です。

定積分最小値平方完成積分計算
2025/6/8

与えられた9つの定積分をそれぞれ計算します。 (1) $\int_{1}^{4} \frac{1}{\sqrt{x}} dx$ (2) $\int_{0}^{\pi} \cos{t} dt$ (3) ...

定積分積分
2025/6/8

区間 $[0, 2\pi]$ で定義された2つの関数 $f(t) = \sin t$ と $g(t) = \cos t$ の相互相関関数 $R_{fg}(\tau)$ を求め、規格化すること。また、$...

相互相関関数三角関数積分フーリエ解析
2025/6/8

$2\sin\theta = -\sqrt{2}$ を満たす $\theta$ を求める問題です。ただし、$\theta$ の範囲が指定されていないため、一般解を求めます。

三角関数三角方程式一般解sin
2025/6/8

以下の2つの関数について、指定された極限における無限小または無限大の位数を求める問題です。 (1) $f(x) = \frac{x^2}{\log(1+x^2) + 2\cos x - 2}$ ($x...

極限テイラー展開無限小無限大関数の極限
2025/6/8

関数 $f(x) = \log(\sqrt{a^2+x^2}-x)$ が与えられています。この関数を微分し、多項式 $f(0)+f'(0)x+\frac{f''(0)}{2!}x^2+\frac{f'...

微分対数関数テイラー展開関数の微分
2025/6/8

不定積分 $\int e^x \cos x dx$ を求めよ。

不定積分部分積分指数関数三角関数
2025/6/8

正の定数 $a$ に対して関数 $f(x) = \log(\sqrt{a^2 + x^2} - x)$ が与えられています。$f(x)$ を微分し、多項式 $f(0) + f'(0)x + \frac...

微分対数関数テイラー展開関数の微分
2025/6/8

次の3つの不定積分を求めます。 (1) $\int \log(3x) \, dx$ (2) $\int x \log(x) \, dx$ (3) $\int \log(x+1) \, dx$

積分不定積分対数関数部分積分
2025/6/8