【数列】和分差分学3「ライプニッツルールと部分和分」
前回、差分及び和分の定義と和分差分学の基本定理を導入しました。
今回は のような形の和分を計算する方法を考えていきたいと思います。
記号や用語に関しては前回のものを踏襲しますので、次の記事を参考にしてください。
準備
数列 と に対して、いくつかの数列を定義します。
, を実数とします。*1
数列 を以下のように定義します。
また数列を以下のように定義します。
さて、差分 や和分 は実数倍や和を保ちます。*4
すなわち以下の等式が成り立ちます。
しかし積 は保つのでしょうか。
まずは、積の差分を考えることになります。
その前に、次の数列を用意しておくこととします。
数列 に対して、数列 を以下で定義します。
なお、この は数列の実数倍や和だけでなく積も保ちます。
積の差分
早速ですが、定理の紹介です。
定理(積の差分)
数列 と について
が成り立つ。
(証明)
定義に従って計算します。
もう一方の数式は数列 と を入れ替えることで証明ができます。
さて、この定理の主張や証明方法はまさに微分積分における積の微分と同様の形をとっています。*5
一般的に、この定理のような形の等式をライプニッツルールと呼ぶことがあり、この等式を満たすものが「微分」と定義されることさえあります。
そのため、この定理があるからこそ和分差分が微分積分と同じようなことが出来る、と言っても過言ではありません。
部分和分
積の差分と和分差分学の基本定理をミックスさせることで和分の公式が得られます。
まず、数列 と についてさきほど得た積の差分の公式を書きます。
次に両辺の和分を考えます。
和分差分学の基本定理より
となるので、以下の定理を得ます。
定理(部分和分)
数列 と について
が成り立つ。
さて、ここからは具体例に適用していくつかの数列の和分を考えましょう。
例(等差数列と等比数列の積)
により数列 を定義します。
前回は、差分の結果(同形出現)を用いて数列 の和分を考えました。
ここで
,
により数列 と を定義すると、
が成り立ちます。
よって部分和分により、
となります。
例(対数列)
対数関数 は分数関数 の積分として特徴づけられます。
一方で数列 の和分は初等的に計算できません。
そこで、対数列 を以下で定義します。
和分差分学の基本定理から
となりますので、
の類似と言えます。
さて、さらに関数 との共通点を探るために数列 の和分を計算しようと思います。
まず、関数 の積分は部分積分により以下のように計算されます。
( は積分定数)
次に数列 の和分を部分和分により計算しようと思います。
関数 の積分と途中過程を比べるとそっくりです。
さらに出てきた結果もよく似た形になりました。
まとめ
今回は積の差分、そして部分和分を通して、微分積分との共通点を掘り下げました。
次回はTaylor展開の数列版を導入し、さらに微分積分との類似性を見ていくとともに、その反面、数列だからできることに触れます。
さらに二項定理を一般の数列に向けて一般化していく、ということも考えたいと思います。
以上になります。
最後までお読みいただき誠にありがとうございます。
次の記事