微分せずに微分する方法
適当な関数 について、差分
というものを考えます。この関係式で
の記事でみた式
を適用してみると
と書くことができます。関数 を消すと
という「演算子間」の等式になります。
が得られます。これを適当な関数 に作用させて書くと
となりますが、右辺は
と計算することにします。
すると、\eqref{eq:fldt} は
微分を差分で表現する関係式とみなすことができます。
斬新すぎる議論により \eqref{eq:fldt} を得ましたが、果たしてこれがどれくらい正しいものなのか以下例を見て検証していきたいと思います。
等式の検証
例1. の場合.
\eqref{eq:fldt} の左辺は
\eqref{eq:fldt} の右辺は
\begin{align} \log(1+\Delta) f(x) &= \left( \Delta - \frac{\Delta^2}{2} + \cdots \right) x^2 \\ &= (2x+1) - \frac{1}{2} \cdot 2 \\ & = 2x \end{align}
となり、\eqref{eq:fldt} は正しい等式になります。
例2. の場合.
\eqref{eq:fldt} の左辺は
となります。右辺を計算するために次を調べます。
一般に
が成立します。これを用いると \eqref{eq:fldt} の右辺は
\begin{align} \log(1+\Delta) f(x) &= \left( \Delta - \frac{\Delta^2}{2} + \cdots \right) e^x \\ &= \sum_{n=1}^\infty (-1)^{n-1} \frac{(e-1)^n}{n} e^x \\ & = \log(1+(e-1))e^x \\ &= e^x \end{align}
となりそうですが、収束半径を超えたところなので、これはダメです。
したがって、このケースでは \eqref{eq:fldt} は不成立です。
かわりに とすれば同じ議論が正当化されます。
例3. の場合.
\eqref{eq:fldt} の左辺は
となり簡単ですが、難しいのが右辺です。
まず、簡単な計算で
が確認できます。一般に
が成立します。これを用いると \eqref{eq:fldt} の右辺は
\begin{align} \log(1+\Delta) f(x) &= - \sum_{n=1}^\infty \frac{(n-1)!}{x(x+1)\cdots(x+n)} \end{align}
となります。したがって、左辺と右辺を仮に等しいとして等式で結ぶと
が得られます。両辺を 倍すれば
となりますが、これが正しい等式であるかどうかが問題です。
証明.
が >
で成立することを示します。
簡単な議論で、自然数 に対して
が成立することを帰納法で示すことができます。
右辺第2項ですが、 >
のとき (これは少し難しいですが)
を示すことができるので、\eqref{fskn} において極限を取れば
が得られます。
したがって、例3のケースでもに制限は付きましたが、\eqref{eq:fldt} の成立を確認できました。
まとめ
いつ成り立つかわからない関係式
を利用して、
\begin{align} \displaystyle \frac{1}{x} = \sum_{n=1}^\infty \frac{(n-1)!}{(x+1)(x+2) \cdots(x+n)} \quad (x>0) \end{align}
という関係式を「予想」して、別の方法で証明しました。
「厳密さ」は重要ですが、それはあくまで証明においてであり、発見法に関しては全く自由です。