この記事では
これまでの記事
に引き続き超幾何数列の基本事項についてまとめていきます。
さて
第二回の記事
では次のような問題
与えられた超幾何数列
を満たすような超幾何数列
を機械的に解決する方法としてGosper's algorithmというものを紹介しました。
ただその記事における説明ではやや形式的および天下り的なところがあったため、本質的に何が起こっているのかがわかりづらかったり、それ故に手順が覚えづらかったりと手計算で実行するにはやや難がありました(実際私も扱いづらさを感じていました)。
また
その後の記事
にて紹介したAbramov-Petkovšek reductionという手法もGosper's algorithmの補助としてかなり有用であるのに対し、やはり手順がわかりづらいという難点がありました。
なので今回と次回の記事ではそれらの手法をより手計算で実行しやすくできるよう、私なりに考えてみたことについて紹介していこうと思います。
今回の記事ではまずGosper's algorithmを掃き出し法(仮)という考え方を用いて説明し直していこうと思います。
掃き出し法とは大雑把に言うと、
と分解したとき、この多項式の次数の高い項を掃き出す、つまり
と変形できるような
例えば
という数列を考えてみましょう。見ての通りこれは
と分けて考えると良さそうだということが何となくわかると思います。
となるとまずは
という形の関係式を見つける必要がありますが、そのようなものは次の恒等式を用いることで量産することができます。
任意の数列
が成り立つ。
いまこの
が成り立つことがわかります。
これがわかれば後は単純で、まず第一式を用いて
と変形でき、次に第二式を用いて
と掃き出し切れるので
が求める超幾何数列となることがわかります。
では
の場合はどうでしょうか。このときはどのような多項式
は成り立たないため、この方法では
そして実はこのことから
では一般の超幾何数列
と分解する。ここで
が多項式となるような超幾何数列とした。
例えば上の
の場合で言うと
とおくとよい。
もちろん
例えば
に対しては
と置くのが最適だが
とか
のような置き方をしてしまうと上手くいかない(上手くいくこともある)。
このように
例えば上の例において
と置いていた場合は
より
と置いていた場合は
より
任意の数列
が成り立つ。
上の公式において
という形の関係式を量産する。
個人的にこの公式こそがこの手法における最も重要な式であると考えています。
これは不定積分の計算において、例えば
という形の関数の不定積分を求める際、とりあえず積の微分公式
(つまり部分積分)を利用して多項式部分の次数を下げていけば上手くいくように、超幾何数列
であるという感覚があります。
ステップ2において求めた関係式を用いて
最終的にはある多項式
を満たすものが得られ、このとき
が求める超幾何数列であり、
ここで重要なのは
を満たしているとき「掃き出し切れない
が成り立つ。
なおその証明については 第二回の記事 の定理4を参照してください。
はGosper総和可能であり、実際対応する
と求まるが
と置いていた場合、どのような多項式
となってしまうので
とまあ何やら小難しい話をしてしまいましたが、やはりこういったものは習うより慣れなので、後は以下の計算例でも解くなり眺めるなりして感覚を掴んでもらえればと思います。
なお負整数の階乗の逆数については
のように解釈することに注意しましょう。
を求めよ。
に注意して
と掃き出していくことで
が成り立つことがわかる。したがって
を得る。
を求めよ。
および
に注意すると
を得る。
ちなみに掃き出し法は有限和を求めるだけでなく、以下のような無限和を求めるのにも応用することができます。
を求めよ。
に注意して
と掃き出していくことで
が成り立つことがわかる。したがって
を得る。
を求めよ。
および
に注意すると
を得る。