無限級数の関係式の導出

ここでは、$f(x)$ に漸化式を適応することで、$f(x)$ を変形します。

このように係数を逆数にした場合の級数を用いて表すことができます。ここで、$x=1$は定義されないのですが、 これを発散すると解釈すると、以下のことが言えると考えます。(私はまだ発散収束に関する議論の仕方を知らないため、弱い表現としておきました。間違いがあればご指摘くださると嬉しいです。)

このように、不思議な同値変形を課すことができました。

なお、$x=1$が例外とならないのは、 \begin{equation} \sum_{n=1}^{N} \frac{1}{Y_n} = \sum_{n=1}^{N} \Delta Y_n = Y_{N+1} - Y_1 \end{equation} より、$x=1$の場合もどちらの無限級数も発散するということによります。

$\{(Y_n x^n)^{-1}\}$の無限級数

上の議論から、

とおくと便利そうなのでおいておきます。

ここでは和文差分をちょっと使うので、分からない方は こちらの最初の方を参照すると良いです。それでは、$g(\epsilon)$も変形していきます。

このような不等式が導き出せました。
これにより、$\frac{Y_n}{{\epsilon}^n}$が収束すれば$f(\epsilon)$も収束するということがわかります。
また、この逆は、「無限級数が収束すれば数列は収束」であり明らかに成立しますので、以下のことがいえます。

このように同値変形することができました。ただ、これが成立するという事は$\{a_n\}$が$0$以外に収束することはない ということが言えてしまいます。なので、境界部分などの厳密な話は別で議論してみる必要がありそうです。

${a_n}$ の収束条件

次は上記の$\{a_n\}$の収束条件を求めていきます。
こちらは、同値変形を発見できませんでしたので、十分条件のみを示す形となります。

まず、わかりやすいように以下のような数列を定義します。

これを定義することにより、漸化式を簡単に求めることができます。

ここで、この漸化式を解くことで収束条件となる$\epsilon$を求めることができるのですが、 それは数列$\{Y_n\}$を解くのと同じぐらい難しそうなので不等式を用いて十分条件で議論します。
ここで、以下のような数列を定義します。

この数列は、帰納的に$a_n \leq f_n$が明らかです。
また、この数列の特性方程式は \[ (\epsilon x)^2 = (\epsilon x) + 1 \] であり、黄金比を$\phi$、$\overline{\phi}$を$\phi + \overline{\phi} = 1$で定めると、 \[ x = \frac{\phi}{\epsilon}, \frac{\overline{\phi}}{\epsilon} \] となります。ゆえに、ある定数$C_1, C_2$が存在して、 \[ f_n = C_1 \left(\frac{\phi}{\epsilon}\right)^{n-1} + C_2 \left(\frac{\overline{\phi}}{\epsilon} \right)^{n-1} \] と表せます。ここで、$|\overline{\phi}| \leq |\phi|$ なので、$f_n$の収束条件は \begin{equation} \frac{\phi}{\epsilon} \leq 1 \ \ \ \therefore \epsilon \geq \phi \end{equation} となります。よってこの場合$\{a_n\}$も収束します。

これより、本記事の結論は以下のようになります。

まだ不備はありますが、綺麗な結論が導き出せました。これは明らかに境界部ではないので、おそらく同値変形の時の例外には当たらないと考えています。
今回は以上とします。お疲れ様でした。