ハッピーフィボナッチ!
今日は 11/23 で,フィボナッチ数の最初の4項 1, 1, 2, 3 が並ぶ日です。そのため,11/23 はフィボナッチの日と呼ばれ,親しまれているようです。
フィボナッチ数列は,
という漸化式で定義された非常に有名な数列です。「 の一般項を求めよ」という問題はよく大学入試の難問として紹介されたりしますね。数学好きなら一度は計算したことがある問題ではないでしょうか。
今日は,このフィボナッチ数列の一般項のちょっぴり変わった求め方を紹介したいと思います。
複素積分
さて,大学で複素関数論を学んだ人は,必ず「複素積分」というものを教わると思います。
複素積分とは,以下の形をした積分のことでした。
は複素平面上の閉曲線です。閉曲線の経路によらず,特異点を回ったかどうかで積分の値が決まってしまうのが面白いですよね。
tsujimotterは工学部出身で,数学は専門ではありませんが,複素関数論は習いました。当時は,この積分が何の役に立つのかさっぱりわからなかったのですが*1,最近ようやく使いどころがわかってきました。
複素積分の応用の一つとして,積分によって「数列」の解析ができる,ということを説明したいと思います。
まず, を含む単連結な領域でテイラー展開できる複素関数を考えます。 の周りでテイラー展開して,
と表せたとします。
一般に,テイラー展開できる関数は,その収束範囲に含まれる閉路 で積分すると になります。これがコーシーの積分定理です。
ここでもし,負べきの項 が入っている場合はどうでしょう。 を で割って
とします。すると,
となります。
要するに,積分することで「マイナス1次の項 」の係数が, をかけた上で飛び出ててくるのですね。
より一般に以下が成り立ちます。
が成り立つ.ここで,積分経路 は反時計回りに行う.
の周りのテイラー展開を とすると, となりますね。
同様に で割ると,
が飛び出てきます。
この事実によって,テイラー展開の(任意の次数の)係数を取り出すことができるようになったわけです!
ここで一つ逆転の発想をするのですが, のテイラー展開の係数 として,求めたい数列を選びます。たとえば, としておきます。すると,先の積分によって の項を取り出すことができます。
これだけだとただ数列を出し入れするだけですが,ここで「母関数」と呼ばれるものを考えます。母関数とは,数列の 番目の項に をかけて足しあわせてできるべき級数のことです。
先の は,数列 の母関数になっています。さらには,フィボナッチ数の母関数は,わかりやすい形に変形できることが知られています。あとは,その簡単化された母関数の積分を実行すれば,求める数列の一般項が得られるという寸法です。
フィボナッチ数列の一般項
フィボナッチ数列 の一般項を求める問題を,以上の考えを用いて解いてみましょう。
を係数に持つ母関数 を考えます。
は,以下のように書き表すことができます。
式 の分母を因数分解します。二次方程式 の解の公式より,
とおくと,
とできます。部分分数分解すると
が得られます。
等比級数の公式より, において
が成り立つから, で
がそれぞれ成り立ちます。
したがって, において,
が成り立つ。
ここで の複素積分を考えます。
となります。コーシーの積分公式より の項以外は積分が になるので,
となる。
一方,上の積分は に一致するはずだから,
が得られた。これはフィボナッチ数列の一般項にほかならない。
ひと仕事おしまい。
おわりに
今日は複素積分が「フィボナッチ数列の一般項」という整数論的な計算に使えるというお話をしました。
コーシーの積分公式によって,母関数から 番目の項が取り出せるというのがポイントでしたね。複素積分が整数論にも応用できる,というのは非常に面白い観点だと思い,今回紹介させていただきました。
実は,今回のような方法は「分割数」の計算で用いられる方法だったりします。今日は分割数の話はしませんが,まったく同じ方法で,分割数の母関数を求めて,母関数のコーシー積分によって一般項を計算することができます。
分割数の場合は,積分の計算が単純ではないので,厳密な一般項は出てきませんが, の漸近公式なら導くことができます。この公式が映画「奇跡がくれた数式」のテーマだったりします。
それでは今日はこの辺で。
実は・・・
ここでひとつ残念なお知らせがあります。
式 を計算した時点で, の定義から 番目の項である が
であることがわかってしまいます。実は,わざわざ積分するまでもなかったのです。。。
この残念な事実は,本記事の70%ぐらいを書いた段階で気づきました。
しかしせっかく書いた記事なので,もったいなくて公開してしまいました。
とにかく,今回伝えたかったことは「複素積分を計算すれば数列の各項が取り出せる」という事実です。これはフィボナッチに限らず,解析的整数論で実際に使われる技術ですので,覚えておくと面白いかもしれません。
参考
「フィボナッチ数列の一般項を複素積分を使って導けないかな」と考えていたら,こんなページに出会いました。この記事のきっかけとなった質問です。
oshiete.goo.ne.jp
フィボナッチ数列といえばこちらの記事もおすすめです:
www.ajimatics.com
*1:未だに専門の研究で複素関数論を使ったことはありません