分数化

分数化という事ですが、前回の記事で提示した値に基づく考察です。

これがこの数列の第5項までの値ですが、次項の分母と前項の分子分母が関係している事は分かるでしょうか。
(分子)　$\times$ (分母) $=$ (次項の分母) という関係があるように見えます。まぁ漸化式から分かってたという方もいるかと思いますが、結構私はこのような値からの考察で気づく事が多いので、値というクッションを挟みました。
それはそうと、実際分数で表して、漸化式から証明してみます。これからは分数への変形を多用する可能性がありますので、定義として以下の式を提示しておきます。

これをこのシリーズでの数列$\{p_n\}, \{q_n\}$の定義とします。

この定義で漸化式を計算していきます。

2次式的な漸化式が出てきました。私はこの式を見た時、因数分解によって簡単な漸化式に変形できるのではないかと期待しました。
どういう事かというと、以下の通りです。少し一般化した形で示します。
※区別をするため、下の式では小文字の$p, q$ではなく、大文字の$P, Q$を使います。

なぜこの式変形をしたのかという疑問が湧く方は、$a=1$の状態で計算すると分かります。
それはともかく、出て欲しく無い結果が出てきました。すなわち、この平方完成の方法で求められるのは、一部だけという事です。

上の式から分かる通り、$\frac{c}{a}$は$Y_{n}$の漸化式で言う$Y_n$の係数に当たる部分です。これが$\frac{1}{2}$でないと使えないという事です。

$\{p_n\}, \{q_n\}$の独立

余談に使いすぎましたが、$\{Y_n\}$の話に戻ります。
$\{p_n\}, \{q_n\}$についてですが、漸化式がお互いの数列を巻き込んでいて解を求めて自由に変形できるような状態ではありませんので、それぞれ単体で漸化式を作ります。
まずは$\{p_n\}$です。

一応分数が無い状態に変形しましたが、この三項間漸化式はどういう表し方をすれば特徴を掴みやすくなるか私には分かりませんでしたので、こういう変形を行っただけです。
次は$\{q_n\}$です。

この漸化式は、$(q_m)^2$という形のみで次の項が表されるよう変形しました（齟齬が生じないよう、$m$を用いました）。 $q_n = f(n)$のようにおきかえた時に、あらかじめ$(q_n)^2$を計算しておけば漸化式に代入できるからです。こういう思考は大事だと思います。

今回は、余談もあって長めの記事になりました。続きは次回にしたいと思います。
それでは、お疲れさまでした。