[論文レビュー] Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum

Leonhard Euler, Alexander Aycock|arXiv (Cornell University)|May 24, 2019

Historical and Literary Studies被引用数 51

ひとこと要約

オイラーは、微分・差分計算を用いて級数を変換し和をとる方法を提示する。とくに x = y/(1+y) のような置換を通じて和を繰り返し差分に結びつけ、有限・無限の級数の和を可能にする。

ABSTRACT

This is the translation of Euler's Latin textbook Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum (second volume) into English.

研究の動機と目的

• 分析と級数理論における微分計算の利用を動機づけ、正当化する。
• 級数を変換するための補助代数手法と差分演算子を導入する。
• 置換が得る変換級数の和が差分が安定化するときに閉形式で表現できることを示す。
• 変換表現を通じて有限級数と発散級数の取り扱いを説明する。

提案手法

• 一般のべき級数 S = a x + b x^2 + c x^3 + … を定義し、x = y/(1+y) を代入して、係数が列 a, b, c, … の一階差分・二階差分等を含む級数へ変換する。
• 変換後の和を S = a y/(1−x) + Δa x^2/(1−x)^2 + Δ^2 a x^3/(1−x)^3 + … と表し、Δ は前差分を示す。
• 差分が最終的に定数になるとき、変換級数が終端を持ち、有限の閉形式を与えることを示す。
• 符号が交互になる場合を x = −t ととって、類似の変換を示す。
• 無限の変換和から尾部の変換和を引くことにより、有限級数へ方法を適用する。
• 具体例を多数提示（たとえば算術級数、平方、立方、等比、調和様級数など）して、収束性と和の結果を示す。

実験結果

リサーチクエスチョン

• RQ1 係数列の反復前向差分は、変換後の級数の閉形式の和を生み出すか。
• RQ2 置換に基づく変換は、無限または発散級数に対して有限の表現を生み出すことができるか。
• RQ3 符号パターンを変更する（交互級数）と、変換表現と収束性にはどう影響するか。
• RQ4 変換は異なる級数の和を互いに関連づけ、収束が遅い場合や非収束のケースに対して近似を得られるか。

主な発見

• 一般的な変換は、x/(1−x) のべきの項と反復差分を掛け合わせた和へ級数を写像し、差分が安定化したときに和を抽出できる。
• 一階差分または高階差分が定数になる級数では、変換係数（例：Δa、Δ^2a）を用いて和を有限の閉形式で書ける。
• 交互級数は x = 1/(1+x) で変換でき、発散する元の級数であっても収束性の高い表現と近似和を得られる。
• 変換後の級数を速く収束させることで、収束が遅いまたは発散的な級数にも適用しやすくなり、特定の置換を通じて既知の定数や関数を導く枠組みを提供する。
• オイラーは具体的な計算例（例：1 − 1 + 1 − 1 …、1 − 2 + 3 − 4 + …、平方・立方級、超幾何型の級数など）を提示し、技法とその限界を示している。
• このアプローチは級数と尾部との関係をもたらし、無限変換和から尾部変換和を引くことで有限和を得ることができる。