先日の記事双曲線関数の級数についての予想【解決済】では、
という関数について、
という近似が成り立つことを予想し、御二方のコメントにより、これは
と近似できることから証明できるということがわかりました。
さらに、 Wataruさんの記事q超幾何級数によるJacobiの二平方和定理, 四平方和定理の証明,q超幾何級数によるJacobiの六平方和定理, 八平方和定理の証明を拝見し、
という近似を思いつき、これと二平方和定理~八平方和定理を用いることで様々な級数の近似を作れることに気づきました。今回は、これについての記事です。
証明は、前回の記事で御二方が用いられていた「ポアソン和公式」や「オイラー・マクローリンの和公式」を用いてほとんど同様に行えます。今回は、初学者の私でも扱いやすいポアソン和公式を用いた方法(ガウス積分を使うと楽に導出できる)を用いて証明しようと思います。
が成り立つ。
とすると、ガウス積分と置換積分を用いて、
より、
ここで、
より、
次に、Jacobiの二平方和定理~八平方和定理は以下の等式です。証明はq-超幾何級数の種々の和公式からできるそうですが、初学者には特に後半が難解だったので、詳しくは前述したWataruさんの記事を御覧ください。
ここで、
左辺について、
となり、以下の近似が得られます。
得られた式をヒントに、様々な級数を計算してみたところ、以下のような近似式の予想を見つけました。(なお無秩序に計算したので規則性が蔑ろにされている可能性が否めません。)
これを見る限りでは、
のように、分母には規則性が見られるような気もしますが、分子に出てくる数
一方で二平方和定理~八平方和定理から導出できる方は、
のような規則性が見られ、分子に余計な数字がつかない分すっきりしています。
まだよくわかっていないことだらけですが、他の形の級数の計算や、二平方和定理~八平方和定理との関連を含め、もうしばらく遊んでみたいと思います。
グラフは係数がよくわかっていないので平方和定理から導出できるものしか用意しませんでしたが、値(特にほとんど整数)だけ見てみたいという方はDesmosを用意しましたので御覧ください。
Desmos(値の計算)
Desmos(グラフ)