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+1an=bnとおくと,bn+1=rbn+p
さらにこれはk=p1rを用いてbn+1k=r(bnk)と変形できるから
bn=(b1k)rn1+k
ここでb1=a2a1=ra1+p+qa1=(r1)a1+p+q
したがって, an=a1+n1k=1(((r1)a1+(p+q)+pr1)rk1pr1)
an=a1+((r1)a1+(p+q)+pr1)rn11r1(n1)pr1
ゆえに,
an=(a1+p+qr1+p(r1)2)rn1pn+qr1p(r1)2

一般にやってしまえば,こうなるが, この公式は覚えたとしても,それは漸化式フェチへの道である。
日ごろぼやいているように, 漸化式その1はpn+1で両辺を割って, 擬等比型にもっていく。(今のところ略)
漸化式その2は両辺の逆数を取って, 擬等比型にもっていく。(今のところ略)
というように,形ごとに解法がある。 まあ,まるで微分方程式のようである。

漸化式の解法を知らなくても, 帰納的に展開して行くと

つづく …