微分から考えるネイピア数eを底にした指数関数の定義
何とかネイピア数の定義から形式的に指数関数の定義を導く事はできましたが、数式に出てくる乗数(指数)が実数になると言う困難はそう簡単には回避できそうにありません。そこで今回は視点を変えて「なぜ複利計算の極限、すなわち連続複利の計算式が自分自身とその微分が一致する関数と言う通常の指数関数の定義と結局おなじ物になるのか」を考えてみたいと思います。
もともとの利息の基本式は と言うものです。一定期間における元金に対する増加率を単利の利率と置きます。するとある指定期間に於ける元利合計の増加分はとなりますが、期間自身を何らかの時間の単位(年、月、日、時間など)にし、をそれを単位にして表現すれば と幾らか簡単になります。
ここで指定期間あたりの増加分、すなわち増加率をある期間の平均増加率ではなく瞬間瞬間の増加率にする事を考えます。自動車などの速度を考える時に平均速度から瞬間速度を定義するのと同じです。そのためにを に持っていきます。 まず両辺をで割り算して、 の極限は と言う微分方程式になります。
この微分方程式を変数分離形に変形すると 。両辺をそれぞれ, で積分するので (Cは任意定数)となります。これを指数形式に直すと、ただしはを改めて置きなおした正の定数です。このはあるいはそのものとは違うと言う意見が出てくるかも知れませんが、およびは関数の縦軸、横軸を伸び縮みさせる係数に過ぎないので、縦軸および横軸の単位を適切に調整すれば、これは微分が自分自身に一致する、ネイピア数を底にした指数関数そのものになるわけです(これまた当たり前)。
ネイピア数 e の定義から指数関数の定義へ
さらに前回の記事からの続きです。ネイピア数の定義 からを底とする指数関数 の定義を導けるでしょうか?
まず準備としてをと置きなおします。すると上式の右辺は と書けます。このをにもっていく時、を特定の有限値(この数列の収束や極限を考える時はを固定された値と考えてよいはず)であると考えるとをに持っていく事になりますので、結局これは元の無限数列と同じであると言うことができます。さらに上式のの部分はネイピア数の定義とまったく同じ形をしていますので、これをネイピア数 e に置き換えるとと書けます。これでようやく【形式的には】 が導けました。
ここで問題となるのはとはどんな数か?と言う事です。もともとの導きたい式 のは自然数を仮定しています。その自然数をに持って行った時の数列の極限で実数(実は超越数)の任意の実数乗を定義してやろうと言う欲張った?構造になってます。整数あるいは実数の実数乗どころか、有理数乗すら事前に定義せずにです。一方、はどんな数かを考えるとですから、もとのを自然数と仮定したままにするとを任意の実数とするためにははその任意の実数の逆数の整数倍と言うややこしい数になります。すなわち範囲としては自然数をはみ出してこちらも任意の実数になってしまいます。ここでまたちょっと困難に突き当たってしまいました。
連続複利からのネイピア数 e の定義
お年玉から考える複利計算
数式表示の練習
真ん中にもう一度
\begin{align}
\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s}
\end{align}