Logo Neurocoda

テイラー級数と高次導関数のライプニッツ則

Neurocoda

本稿では、関数 f(x)=x2ln(1x)f(x) = x^2 \ln(1 - x) を例に、テイラー級数法ライプニッツの公式法 を用いて f(n)(0)f^{(n)}(0)n3n \ge 3)を計算し、両方法の等価性を分析する。


問題

f(x)=x2ln(1x)f(x) = x^2 \ln{(1 - x)} とするとき、n3n \ge 3 に対して f(n)(0)=f^{(n)}(0) = \text{?} を求めよ。

テイラー級数法

核心的な考え方

関数をテイラー級数に展開し、べき級数の係数から高次導関数の値を直接読み取る。

具体的な手順

  1. ln(1x)\ln(1 - x) の展開
    x<1|x| < 1 における ln(1x)\ln(1 - x) のテイラー展開は:

    ln(1x)=k=1xkk.\ln(1 - x) = -\sum_{k=1}^{\infty} \frac{x^k}{k}.
  2. f(x)f(x) の級数形式の構築
    x2x^2 を上記の級数に掛ける:

    f(x)=x2(k=1xkk)=k=1xk+2k.f(x) = x^2 \cdot \left(-\sum_{k=1}^{\infty} \frac{x^k}{k}\right) = -\sum_{k=1}^{\infty} \frac{x^{k+2}}{k}.

    変数変換 m=k+2m = k + 2(すなわち k=m2k = m - 2)により、級数は次のように書き換えられる:

    f(x)=m=3xmm2.f(x) = -\sum_{m=3}^{\infty} \frac{x^m}{m - 2}.
  3. xnx^n の項の係数の抽出
    n3n \ge 3 のとき、xnx^n の項の係数は an=1n2a_n = -\frac{1}{n - 2} である。テイラーの公式より:

    f(n)(0)=n!an=n!n2.f^{(n)}(0) = n! \cdot a_n = -\frac{n!}{n - 2}.

検証例(n=3n = 3

f(3)(0)f^{(3)}(0) の計算:

f(3)(0)=3!32=6.f^{(3)}(0) = -\frac{3!}{3 - 2} = -6.

直接微分による検証:

f(x)=d3dx3(x2ln(1x))x=0=6.f'''(x) = \frac{d^3}{dx^3} \left(x^2 \ln(1 - x)\right) \bigg|_{x=0} = -6.

ライプニッツの公式法

核心的な考え方

積関数の高次導関数の公式を利用する:

(fg)(n)(x)=k=0n(nk)f(k)(x)g(nk)(x).(f \cdot g)^{(n)}(x) = \sum_{k=0}^{n} \binom{n}{k} f^{(k)}(x) \cdot g^{(n - k)}(x).

具体的な手順

  1. 関数の分解
    f(x)=x2f(x) = x^2g(x)=ln(1x)g(x) = \ln(1 - x) とおく。

  2. f(x)f(x) の高次導関数の分析

    • f(0)(x)=x2f^{(0)}(x) = x^2x=0x=000
    • f(1)(x)=2xf^{(1)}(x) = 2xx=0x=000
    • f(2)(x)=2f^{(2)}(x) = 2x=0x=022
    • k3k \ge 3 のとき、f(k)(x)=0f^{(k)}(x) = 0
  3. g(x)g(x) の高次導関数の計算
    g(m)(x)=(m1)!(1x)mg^{(m)}(x) = -\frac{(m - 1)!}{(1 - x)^m}x=0x=0 で:

    g(m)(0)=(m1)!.g^{(m)}(0) = -(m - 1)!.
  4. ライプニッツの公式の適用
    f(k)(0)f^{(k)}(0)k=2k=2 のときのみ非零なので:

    f(n)(0)=(n2)f(2)(0)g(n2)(0).f^{(n)}(0) = \binom{n}{2} \cdot f^{(2)}(0) \cdot g^{(n - 2)}(0).

    具体的な値を代入:

    f(n)(0)=n(n1)22((n3)!)=n(n1)(n3)!.f^{(n)}(0) = \frac{n(n - 1)}{2} \cdot 2 \cdot \left(-(n - 3)!\right) = -n(n - 1)(n - 3)!.

検証例(n=4n = 4

f(4)(0)f^{(4)}(0) の計算:

f(4)(0)=43(43)!=12.f^{(4)}(0) = -4 \cdot 3 \cdot (4 - 3)! = -12.

テイラー公式による検証:

4!42=242=12.-\frac{4!}{4 - 2} = -\frac{24}{2} = -12.

結果の統一性

両方法の結果は等価である:

n!n2=n(n1)(n3)!.-\frac{n!}{n - 2} = -n(n - 1)(n - 3)!.

証明

n!n2=n(n1)(n2)!n2=n(n1)(n3)!.\frac{n!}{n - 2} = \frac{n(n - 1)(n - 2)!}{n - 2} = n(n - 1)(n - 3)!.

Q&A

Q1:テイラー級数法において、変数変換 m=k+2m = k + 2 を行った後、等式の両辺で xx のべき乗が等しいのはなぜか?

A:変換 m=k+2m = k + 2 は総和のインデックスの付け方を変えただけであり、級数の数学的内容は変わらない。元の級数で xk+2x^{k+2} のべき乗は k+2k+2 で決まるが、変換後は直接 xmx^m と書かれるため、xx のべき乗は一致する。

Q2:ライプニッツの公式において、なぜ k=2k=2 の項のみが結果に寄与するのか?

Af(x)=x2f(x) = x^2 の高次導関数は k3k \ge 3 で零となり、k=0,1k=0,1 では f(k)(0)=0f^{(k)}(0) = 0 であるため、唯一の非零項は k=2k=2 から来る。

Q3:テイラー級数法の収束範囲は結果に影響するか?

A:テイラー級数は x<1|x| < 1 で収束するが、f(n)(0)f^{(n)}(0) の計算は x=0x=0 における局所的な性質のみに依存するため、高次導関数の計算には展開式は有効である。


結論

n3n \ge 3 のとき、関数 f(x)=x2ln(1x)f(x) = x^2 \ln(1 - x)x=0x=0 における nn 次導関数は:

f(n)(0)=n!n2.\boxed{f^{(n)}(0) = -\frac{n!}{n - 2}}.
Title: テイラー級数と高次導関数のライプニッツ則 Author: Neurocoda Created at: 2026-07-03 12:46:21 Link: https://neurocoda.com/ja/posts/taylor-series-and-leibniz-rule-for-higher-order-derivatives-ja/ License: This work is licensed under CC BY-ND 4.0.

Comments