ソモスの数列

更新日時 2021/03/07
ソモスの数列

22 以上の自然数 kk に対して,

初期条件: a0=a1==ak1=1a_0=a_1=\cdots=a_{k-1}=1

および漸化式: anank=i=1k/2aniank+ia_na_{n-k}=\displaystyle\sum_{i=1}^{\lfloor k/2\rfloor}a_{n-i}a_{n-k+i}

で定義される数列をソモスの数列という。

ソモスの数列は,初期条件が kk 個あり,k+1k+1 項間漸化式で定まる数列です。 kk によってどのような数列になるのかが変わってきます。

目次
  • ソモスの数列の具体例(k=2,3k=2,3 の場合)

  • ソモスの数列の整数性

  • ソモスの数列の非整数性

ソモスの数列の具体例(k=2,3k=2,3 の場合)

k=2,3k=2,\:3 のときのソモスの数列は全ての項が 11 であるつまらない数列になります。

k=2k=2 のとき,
a0=a1=1a_0=a_1=1 かつ,anan2=an12a_na_{n-2}=a_{n-1}^2

k=3k=3 のとき,
a0=a1=a2=1a_0=a_1=a_2=1 かつ,anan3=an1an2a_na_{n-3}=a_{n-1}a_{n-2}

いずれも帰納的に任意の nn に対して an=1a_n=1 であることが分かります。

ソモスの数列の整数性

k=4k=4 の場合から意味のある面白い数列になります。そのため k=4k=4 の場合のソモスの数列をソモスの第一数列と呼ぶ流儀もあるようです。

a0=a1=a2=a3=1a_0=a_1=a_2=a_3=1 かつ,
anan4=an1an3+an22a_na_{n-4}=a_{n-1}a_{n-3}+a_{n-2}^2

k=4k=4 の場合のソモスの数列の各項を順々に計算してみると,

1,1,1,1,2,3,7,23,59,314,1, 1, 1, 1, 2, 3, 7, 23, 59, 314,

1529,8209,83313,620297,7869898,1529, 8209, 83313, 620297, 7869898,\cdots

となり全て自然数です。

漸化式を変形すると,an=an1an3+an22an4a_n=\dfrac{a_{n-1}a_{n-3}+a_{n-2}^2}{a_{n-4}} となり,ana_n には分数が登場しそうですが,k=4,5,6,7k=4,\:5,\:6,\:7 の場合のソモスの数列の各項は全て自然数です。

これは非自明な面白い性質です。証明は数学的帰納法を用いて簡単にできそうですが,そこそこ大変っぽいです。

k=4k=4 の場合のソモスの数列の整数性については,ソモスの数列 So-net(外部サイト)に載っているので気になる人はどうぞ。

ソモスの数列の非整数性

k8k\geq 8 の場合のソモスの数列は各項が自然数とは限りません。

k=8k=8 の場合のソモスの数列を実際に計算してみました。

a0=a1=a2=a3=a4=a5=a6=a7=1a_0=a_1=a_2=a_3=a_4=a_5=a_6=a_7=1

an=an1an7+an2an6+an3an5+an42an8a_n=\dfrac{a_{n-1}a_{n-7}+a_{n-2}a_{n-6}+a_{n-3}a_{n-5}+a_{n-4}^2}{a_{n-8}}

に従うと a8a_8 以降は,

4,7,13,25,61,187,4,\:7,\:13,\:25,\:61,\:187,\:

775,5827,14815,4205147775,\:5827,\:14815,\:\dfrac{420514}{7}

となり,a17a_{17} は自然数ではありません!

また,k7k\leq 7 の場合でも初期条件を変えると一般には分数が登場します。

例えば k=4k=4 の場合のソモスの数列の初期条件を a1=a3=2,a2=a4=1a_1=a_3=2,\:a_2=a_4=1 とすると,

a5=11+222=52a_5=\dfrac{1\cdot 1+2^2}{2}=\dfrac{5}{2} となります。

ソモスの数列は組み合わせ的な意味付けがあったり,楕円曲線と関係していたりといろいろ応用があるようですが,僕は詳しく知りません。簡単な応用をご存知の方はご一報下さいm(__)m

人気記事