文献あり

Göbel数列

168

はじめまして.たいせいです.今回はGöbel数列という数列を紹介したいと思います。あまり馴染みがないかもしれませんが, 前提知識はそこまで多くないので色んな方に楽しんでもらいたいです.

まず唐突ではありますが, Göbel数列を定義します.歴史的な背景に興味のある方は1をご覧ください.

Göbel数列

次のように定義される数列 ${g_{n}}$ をGöbel数列という.
$g_{0} = 1 g_{n} = \frac{1 + g_{0}^{2} + g_{1}^{2} + \dots g_{n - 1}^{2}}{n} (n = 1, 2, \dots)$

とりあえず定義をしたので例を見てみましょう.

Göbel数列

$g_{1} = 1 + g_{0}^{2} = 2 g_{2} = \frac{1 + g_{0}^{2} + g_{1}^{2}}{2} = 3 g_{3} = \frac{1 + g_{0}^{2} + g_{1}^{2} + g_{2}^{2}}{3} = 5$
$g_{4} = \frac{1 + g_{0}^{2} + g_{1}^{2} + g_{2}^{2} + g_{3}^{2}}{4} = 10 g_{5} = \frac{1 + g_{0}^{2} + g_{1}^{2} + g_{2}^{2} + g_{3}^{2} + g_{4}^{2}}{5} = 28 g_{6} = \frac{1 + g_{0}^{2} + g_{1}^{2} + g_{2}^{2} + g_{3}^{2} + g_{4}^{2} + g_{5}^{2}}{6} = 154 \dots$

この先も興味のある方は計算してみていただきたいのですが, 定義から有理数列ではあることがわかるこのGöbel数列は, なぜか整数が続くことがわかります. $g_{42}$ まで整数になり, $g_{43}$ で初めて整数でなくなります(そのあとはずっと整数ではない有理数が続きます).興味のある方は2をご覧ください.本記事ではこのあと, この数列の指数部分を一般の $k \geq 2$ に置き換えた $k$ -Göbel数列に関する定理(の一部)を同じような方針を使って証明するので省略します.ただこれだけわかってもほえ～としかならないと思いますが, $k$ -Göbel数列についてもそれなりに整数が続くことがわかります.(面白い!)
そのまえにこの数列を計算していく中で気付かれたかもしれませんが以下のような漸化式が成り立つことがわかります.

Göbel数列 ${g_{n}}$ について以下の漸化式が成り立つ.
$n g_{n} = g_{n - 1} (n - 1 + g_{n - 1}) (n = 2, 3, \dots)$

特に証明はしませんが,簡単な計算でわかると思います(これに関してはある程度手を動かせば本当に簡単にわかるはずです).

そして $k$ -Göbel数列を定義します.

k

-Göbel数列

$k$ を2以上の整数とする. 次のように定義される数列 ${g_{k, n}}$ を $k$ -Göbel数列という.
$g_{k, 0} = 1 g_{k, n} = \frac{1 + g_{k, 0}^{k} + g_{k, 1}^{k} + \dots g_{k, n - 1}^{k}}{n} (n = 1, 2, \dots)$

またまた例を見ていきましょう.

3-Göbel数列
$g_{3, 0} = 1 g_{3, 1} = 2 g_{3, 2} = \frac{1 + 1^{3} + 2^{3}}{2} = 5 g_{3, 4} = \frac{1 + 1^{3} + 2^{3} + 5^{3}}{3} = 45 \dots$
4-Göbel数列
$g_{4, 0} = 1 g_{4, 1} = 2 g_{4, 2} = \frac{1 + 1^{4} + 2^{4}}{2} = 9 g_{4, 3} = \frac{1 + 1^{4} + 2^{4} + 9^{4}}{3} = 2193 \dots$

この $k$ -Göbel数列についても例の感じだとある程度整数が続く気がしますね.ではどこまで整数が続くかが気になるわけですが, これも $k$ がいろいろ動いても不思議なことにそれなりに整数が続きます.まずは $k = 2$ (普通のGöbel数列)のときに成り立っていた補題1とおなじような形の式がこの場合にも成り立つことがわかります.

$k$ -Göbel数列 ${g_{k, n}}$ に対して次の漸化式が成り立つ.
$n g_{k, n} = g_{k . n - 1} (n - 1 + g_{k, n - 1}^{k - 1}) (n = 2, 3, \dots)$

そして今回もどこまで整数であり続けるか, ということが気になるので,1つ記号(整数でなくなるポイント)を用意します.

$k \geq 2$ に対して
$N_{k} = inf {n \in N; g_{k, n} \notin Z}$
とする.

細かい注意

$inf$ はご存じなければ $min$ と読み替えてもらって大丈夫です.じゃあなんで $inf$ なのかということですが, まだこの $N_{k}$ は常に有限かどうかがわかっていないからなんです!(細かいことを気にしない方や $inf$ をまだ勉強されてない方は適当にスルーしてもらってもこの先の内容はわかるはずなので大丈夫です)

コンピュータ計算に任せた $N_{k}$ の表を置いておきます.もっと大きな $k$ についても計算ができるみたいですが,それを書くには(心の)余白がありません.

$k$	2	3	4	5	6	7	8	9	10	11
$N_{k}$	43	89	97	214	19	239	37	79	83	239
$k$	12	13	14	15	16	17	18	19	20	21
$N_{k}$	31	431	19	79	23	827	43	173	31	103
$k$	22	23	24	25	26	27	28	29	30	31
$N_{k}$	94	73	19	243	141	101	53	811	47	1077
$k$	32	33	34	35	36	37	38	39	40	41
$N_{k}$	19	251	29	311	134	71	23	86	43	47
$k$	42	43	44	45	46	47	48	49	50	51
$N_{k}$	19	419	31	191	83	337	59	1559	19	127
$k$	52	53	54	55	56	57	58	59	60	61
$N_{k}$	109	163	67	353	83	191	83	107	19	503