Processing math: 100%
120623 初版
MathJaxがあまりにいいので,
調子に乗って書いてみる
SVGファイルはFirefox Chrome Operaなどでご覧ください
漸化式 その3
an+1=ran+pn+q
(p,q,rはもちろん定数)
の形の漸化式を解いてみよう。
よくある解法は階差数列に注目する方法である。
an+2=ran+1+pn+q+pであるから
an+1−an=bnとおくと,bn+1=rbn+p
さらにこれはk=p1−rを用いてbn+1−k=r(bn−k)と変形できるから
bn=(b1−k)rn−1+k
ここでb1=a2−a1=ra1+p+q−a1=(r−1)a1+p+q
したがって,
an=a1+n−1∑k=1(((r−1)a1+(p+q)+pr−1)rk−1−pr−1)
an=a1+((r−1)a1+(p+q)+pr−1)⋅rn−1−1r−1−(n−1)⋅pr−1
ゆえに,
an=(a1+p+qr−1+p(r−1)2)⋅rn−1−pn+qr−1−p(r−1)2
一般にやってしまえば,こうなるが,
この公式は覚えたとしても,それは漸化式フェチへの道である。
日ごろぼやいているように,
漸化式その1はpn+1で両辺を割って,
擬等比型にもっていく。(今のところ略)
漸化式その2は両辺の逆数を取って,
擬等比型にもっていく。(今のところ略)
というように,形ごとに解法がある。
まあ,まるで微分方程式のようである。
漸化式の解法を知らなくても,
帰納的に展開して行くと
つづく …