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