ラグランジュ反転公式の応用(1)

3427

ラグランジュ反転公式の応用を考えてみます。
ラグランジュ反転公式についてはこちらの記事をご覧ください→ https://mathlog.info/articles/607

ラグランジュ反転公式

f^{- 1} (x) = \sum_{n = 1}^{\infty} \frac{x^{n}}{n!} lim_{t \to 0} {(\frac{d}{d t})}^{n - 1} {(\frac{t}{f (t)})}^{n}

・応用例1 ランベルトのW関数
$f (x) = x e^{x}$ とします。これの逆関数 $f^{- 1} (x) = W (x)$ はランベルトのW関数と呼ばれ、 $W (1) = Ω$ はオメガ定数と呼ばれます。
$f (x)$ にラグランジュ反転公式を使うと、

$W (x) = \sum_{n = 1}^{\infty} \frac{x^{n}}{n!} lim_{t \to 0} {(\frac{d}{d t})}^{n - 1} {(\frac{t}{t e^{t}})}^{n} = \sum_{n = 1}^{\infty} \frac{x^{n}}{n!} lim_{t \to 0} {(\frac{d}{d t})}^{n - 1} e^{- n t} = \sum_{n = 1}^{\infty} \frac{(- n)^{n - 1}}{n!} x^{n}$

となり、 $W (x)$ のマクローリン展開が求められました。

これをもう少し一般化してみたいのでラグランジュ反転公式を一般化してみます。

(ラグランジュ反転公式)

n [x^{n}] f^{- 1} (x)^{m} = m [x^{- m}] f (x)^{- n}

(証明)

f^{- 1} (x)^{m} = \sum_{n = m}^{\infty} a_{n} x^{n}

とおきます。
これを前回の記事と同様に

x

に

f (x)

を代入→

x

で微分→

f (x)^{k}

で割る→

x^{- 1}

の係数を比較としてみると、

m [x^{- m}] f (x)^{- k} = k [x^{k}] f^{- 1} (x)^{m}

となります。 □

これで再び

f (x) = x e^{x}

としてみると、

$n [x^{n}] W (x)^{m} = m [x^{- m}] x^{- n} e^{- n x}$
$[x^{n}] W (x)^{m} = \frac{m}{n} \frac{(- n)^{n - m}}{(n - m)!}$

となります。
これで少し遊んでみましょう。

一般に、 $x^{a} x^{b} = x^{a + b}$ が成り立つのでこれを $W (x)$ に適用してみます。

$(\sum_{n = a}^{\infty} \frac{a}{n} \frac{(- n)^{n - a}}{(n - a)!} x^{n}) (\sum_{n = b}^{\infty} \frac{b}{n} \frac{(- n)^{n - b}}{(n - b)!} x^{n}) = \sum_{n = a + b}^{\infty} \frac{a + b}{n} \frac{(- n)^{n - a - b}}{(n - a - b)!} x^{n}$

これの $x^{n}$ の係数を比較すると、

$a b \sum_{k = a}^{n - b} \frac{(- k)^{k - a} (k - n)^{n - k - b}}{k (n - k) (k - a)! (n - k - b)!} = \frac{a + b}{n} \frac{(- n)^{n - a - b}}{(n - a - b)!}$