周期数列の一般式の導出
動機
世の中には周期的な変化をする数列が見つかることがよくある。平易な例だとといったものから、という一見難しそうな例、さらには三角関数のサンプリングによって得られる数式で表しにくそうな例まで、さまざまである。今回はこれらを表示する術を考える。
定義
ここでは見通しのよさのためにすこし記号を定義する。断わっておくと、以下の定義は大抵筆者が勝手に考えたものであるため、他では通用しない可能性がある。
周期数列と周期
数列において、任意の整数に対してとなる正整数が存在するとき、この数列を周期数列という。またこの時をこの周期数列の周期という
周期の周期数列
という漸化式が成立する、すなわちすべての項が同じ数であるとき、この数列は周期の数列である。なお、これは任意の正整数に対してであることを意味しており、この数列は任意の個数の周期をもっていると解釈できることに注意する(もちろん一般の周期数列においても、任意の個数(もちろん整数)の周期が存在している)
周期の周期数列
であるとき、であることより、は周期の数列である。ここでと考えると、一般には周期の数列であることがわかる。
周期数列の和
をそれぞれ周期を持つ周期数列とする。このときと定義すると、はを周期にもつ。実際に、
特にとすれば、周期数列も同じ周期をもつ。
一般式の導出
これまでの例をヒントにしながら、一般式を導出する。
方針
基本周期数列
周期数列(は正整数)を
と定義し、この数列を周期の基本周期数列という。
次の命題は、例の考えを応用しており、この基本周期数列の重要性を示すものである。
基本周期数列の定義より
従って、任意の整数に対して、となる(一意に存在)を考えると
とわかる(最後の等号はとが合同のため成立)。これより命題は成立している(証明終)。
この命題より、基本周期数列の一般式が分かれば、周期数列の一般式が導出できるといえる。
基本周期数列と周期数列の導出
基本周期数列の一般式を求めるにあたり、例2の考察がヒントになる。例3や命題1のように、同じ周期の数列を加算していけば、目的の数列にたどり着くと考えるのだ。このような思考を経て、次の命題に到達できる。
という数列を考える。これは初項で公比の数列といえる。この公比はの値を取りえるので、場合分けをして考える
まずがの倍数でない場合を考える。このとき公比はでないために、命題の右辺は
次にがの場合を考える。この時数列の項は全てのため、命題の右辺は
これより命題は示された。
これにより目的の命題を得られる。
周期数列の具体的表示
冒頭で紹介したを一般の式に表す
命題3より、などを用いて
以上で主題は終わりだが、余談を二つ。この周期数列は、その一般式から、漸化式を作ることができると予想される。実際、とすれば
という項間漸化式を得ることができる。基本周期数列の特性方程式は言うまでもないだろう。命題2を建設的に得るにはこの方針が楽である。
最後にもう一つ。のをとすれば、あることが分かるのではないだろうか。あるいは連続フーリエ変換との類似性を考えてみるのも手立てだろう。