5

ふしぎな数列2

257
2

こんにちは、itouです。
前回の記事 で考察したように、

(x0n2+x1n+x2)an+1=(x3n2+x4n+x5)an+(x6n2+x7n+x8)an1(n1) 
という漸化式の解を求めることは難しいです。しかし、今回条件を付け加えることで初等関数でかける解を求める方法を発見しました!

以下x0,x1,x2は実数とします。

 条件

(1.0)  (n+1)2un+1=(x0n2+x0n+x1)un+x2n2un1(u0=a,u1=b)(n1)
で定められる数列の一般項をun(x0,x1,x2)[a,b]と表す。u0=1,u1=x1の場合には、単にun(x0,x1,x2)とかく。

  つまり、係数を固定して考えてみようということです。まずは基本的な定理を証明します。

mを正の数として

(1.1)un(x0,x1,x2)[a,b]=un(x0m,x1m,x2m2)[a,bm]×mn  

n=0,1で成立し、nまでの成立を仮定して、n+1のとき、
(n+1)2un+1(x0,x1,x2)[a,b]=(x0n2+x0n+x1)un[a,b]+x2n2un1[a,b]=(x0n2+x0n+x1)un(x0m,x1m,x2m2)[a,bm]×mn+x2n2un1(x0m,x1m,x2m2)[a,bm]×mn1=(n+1)2un+1(x0m,x1m,x2m2)[a,bm]×mn+1
一つ目と三つ目の等号は漸化式から、二つ目の等号は仮定からわかります。

初期条件について線形

un(x0,x1,x2)(a,b)を、1.0の漸化式を満たし、u0=a,u1=bで定められる数列とする。このとき、
un(x0,x1,x2)[a,b]=a×un(x0,x1,x2)[1,0]+b×un(x0,x1,x2)[0,1]
である。

1.0の漸化式により、a,bの係数それぞれに着目することでわかります。

つまり、初期条件が一次独立な2つの一般項を表示できれば、全ての初期条件に対し解を表示できるということです。

多項式解があるための必要条件

1.0の解が多項式であるためには、x0=2かつx2=1が必要である。

多項式解が存在すると仮定して、nの最高次数と2番目に大きい次数の係数を比較することで、x0=2かつx2=1が必要だと分かります。

さて、具体例を見てみましょう。

un(2,1,1)は、
(n+1)2un+1=(2n2+2n+1)unn2un1(u0=1,u1=1)
ですが、これは計算するとすべて1だと分かります。ゆえに
un(2,1,1)=1

un(2,3,1)は、
(n+1)2un+1=(2n2+2n+3)unn2un1(u0=1,u1=3)
ですが、これは計算すると奇数の列だと分かります。ゆえに
un(2,3,1)=2n+1

un(2,7,1)は、
(n+1)2un+1=(2n2+2n+7)unn2un1(u0=1,u1=7)
ですが、これは計算して階差をとることで、
un(2,7,1)=3n2+3n+1

un(4,14,4)は、
(n+1)2un+1=(4n2+4n+14)un4n2un1(u0=1,u1=14)
ですが、定理1と例3より、
un(4,14,4)=(3n2+3n+1)2n

任意のx1についてun(2,x1,1)が多項式なのかどうかはまだ分かっていませんが、
x1=1,3,7,13,21のときは多項式解があり、しかもすべて整数になることは分かっています。
さて、上の例と同じ漸化式をみたし、初期条件が一次独立な解を見つけたいです。
そこで、un(x0,x1,x2)[0,1]を調べます。以降、un(x0,x1,x2)[0,1]を単にun(x0,x1,x2)とかきます。

un(2,x1,1)は多項式ではありません。しかし、同じ漸化式を満たす解に多項式が存在する以上、良い性質を持っているはずです。そう考えて調べた所、次の性質に気が付きました。

un(2,x1,1)は何度も階差をとることで解を求められる。

例えば、
un(2,1,1)の漸化式
(n+1)2un+1=(2n2+2n+1)unn2un1を変形することで、
(n+1)2(un+1un)n2(unun1)=0とできるが、これより、(n+1)2(un+1un)=1なので、階差が1k2であることが分かります。ゆえに
un(2,1,1)=k=1n1k2

un(2,1,1)[1,0]=1k=1n1k2
un(2,1,1)[0,1]=k=1n1k2なので、

un(2,1,1)[a,b]=a(1k=1n1k2)+bk=1n1k2

un(2,3,1)も同様に、2階階差が1(k+1)2(k+2)2なので、
un(2,3,1)=n+1k=1n1ck(n1)
ただしck=m=1k1m23k2+4k(k+1)2です。

un(2,3,1)[1,0]=n2+3k=1n1ck
un(2,3,1)[0,1]=n+1k=1n1ckなので、

un(2,3,1)[a,b]=a(n2+3k=1n1ck)+b(n+1k=1n1ck)

が分かりました。

まとめと考察

1.0の多項式解をもつ漸化式について調べ、初等的な方法で解が構成できる場合があることを発見しました。また定理1の通り、1.0の解に指数関数を乗じたものも、1.0の解になることを発見しました。
しかし、
un(11,3,1)=k=0n(nk)2(n+kk)
un(11,3,1)[0,5]=k=0n(nk)2(n+kk)cn.k
ただしcn,k=2m=1n(1)m1m2+m=1k(1)n+m1m2(nm)(n+mm)

のような興味深い解を求める方法は分かっていません。が、k=1n1k2や二項係数の積の和の性質が重要なようです。

謝辞

ここまで読んで下さりありがとうございました。誤り等の指摘お願いします。また、前回の記事で参考文献を教えてくださったbisaitamaさんに感謝申し上げます。

投稿日:202392
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

itou
itou
150
14055
数学勉強中. https://twitter.com/G7UOMb0Zd8V7LdP

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中