[論文レビュー] De transformatione seriei divergentis 1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + etc. in fractionem continuam

Leonhard Euler, Artur Diener+1 more|arXiv (Cornell University)|Jan 31, 2012

History and Theory of Mathematics被引用数 7

ひとこと要約

この論文は、発散する超幾何型級数 $1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + \cdots$ を、再帰的代数的操作によって連分数に変換する手法を提示する。オイラーは連分数表現 $\cfrac{1}{1 + \cfrac{mx}{1 + \cfrac{nx}{1 + \cfrac{(m+n)x}{1 + \cdots}}}}$ を導出し、有理式の反復的簡略化を通じて元の級数との同等性を証明し、発散級数を連分数で分析するための基礎的技法を確立する。

ABSTRACT

In this paper, Euler transforms the divergent series in the title, and thereby dervies the well known continued fraction expansion for pi/4 from Leibniz's series. The paper is translated from Euler's Latin originial into German.

研究の動機と目的

• 発散級数 $1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + \cdots$ の連分数表現を、直接的かつ初等的な導出を提供すること。
• 従来のリッカティ方程式変換に基づく間接的証明に代わる、よりアクセス可能な代数的簡略化手法を提示すること。
• 有理式の再帰的変形を通じて、発散級数と導出された連分数との同等性を示すこと。
• 体系的な代入と収縮パターンを用いて、階乗的に増加する級数を連分数に変換する一般化可能な手法を確立すること。

提案手法

• 級数を $1 - A + AB - ABC + ABCD - \cdots$ の形に単純化するため、$a = mx$ および $b = nx$ の置き換えを導入する。ここで $A = a$、$B = a + b$、$C = a + 2b$ などとなる。
• 和 $S = 1 - A + AB - ABC + \cdots$ を定義し、$1/S = 1 + \frac{A - AB + ABC - \cdots}{S}$ の形で表し、再帰的分解を導く。
• $1/S = 1 + 1/P$ と置き、次に $P = 1 + b/Q$、$Q = 1 + 2b/R$、$R = 1 + 3b/S$ とし、有理式の再帰的連鎖を導入する。
• 各ステップで $X = 1 + \frac{k b}{Y}$ の再帰関係を用い、$k$ が増加し、分子に二項係数（三角数、四面体数）が現れるようにする。
• 連分数にパターンが現れるまでプロセスを継続し、分子に係数が二項係数に従い増加する形になるようにする。
• 最終的に連分数を $\cfrac{1}{1 + \cfrac{mx}{1 + \cfrac{nx}{1 + \cfrac{(m+n)x}{1 + \cdots}}}}$ の形に再構成し、変換の正当性を確認する。

実験結果

リサーチクエスチョン

• RQ1 発散級数 $1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + \cdots$ を、初等的な代数的操作のみで連分数に変換できるか？
• RQ2 級数和の逆数を繰り返し有理式に分解する際、どのような再帰的構造が生じるか？
• RQ3 二項係数（三角数、四面体数）は、簡略化プロセス中に連分数の係数にどのように現れるか？
• RQ4 導出された連分数 $\cfrac{1}{1 + \cfrac{mx}{1 + \cfrac{nx}{1 + \cfrac{(m+n)x}{1 + \cdots}}}}$ は、元の発散級数と数学的に同等か？
• RQ5 この手法は、他の階乗的に増加する級数に一般化可能か、既知の連分数恒等式の妥当性を検証するのにも応用可能か？

主な発見

• 発散級数 $1 - mx + m(m+n)x^2 - m(m+n)(m+2n)x^3 + \cdots$ が、代数的に連分数 $\cfrac{1}{1 + \cfrac{mx}{1 + \cfrac{nx}{1 + \cfrac{(m+n)x}{1 + \cdots}}}}$ と同等であることが証明された。
• 変換は、$1/S = 1 + 1/P$、$P = 1 + b/Q$、$Q = 1 + 2b/R$ などの再帰的分解によって達成され、各ステップで新しい変数と係数パターンが導入される。
• 連分数の分子の係数は、1, 2, 3, 4, 5, ... の数列と、$b$ との積であり、それぞれ三角数と四面体数に対応する。
• この手法により、Brounckerの連分数が $\pi/4$ に等しいことの正当性が確認された。逆方向にプロセスを逆行することで、Leibniz級数 $1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots = \frac{\pi}{4}$ が再構築された。
• 同様に、連分数 $\cfrac{1}{1 + \cfrac{1}{1 + \cfrac{4}{1 + \cfrac{9}{1 + \cdots}}}}$ が、交代調和級数 $1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots = \log 2$ と同等であることが検証された。
• 再帰的簡略化プロセスは、各新しい変数が項のシフトと新しい二項係数を分子に導入する体系的なパターンを明らかにし、全連分数構造の導出を可能にする。