d/dxいじりwithテイラー展開
赤げふです(*・ω・)*_ _)
自我流で変な事言ってますが、指摘どんどん下さい笑
微分演算子含む作用素を関数とその引数に対して作用する演算子と定義する。
....①
ここでなる作用素を定義する。①は
と書き換えられる。
hを1と書き換えることによって差分が出てきますね=͟͟͞͞( ๑`・ω・´)
Theorem1
微分演算子は作用する変数・関数で交換・結合法則 共に満たさない。しかしスカラーは交換が可能なのは行列と似ている。基本的に作用素は関数に対し左から作用する左作用で議論を展開します。掛け算の構造なので微分演算子のn乗はn階微分に相当する。
Proof;テイラー展開を使えば楽勝でありますヽ(*´∀`)ノ
このxに微分演算子Dを(無理矢理)代入し、x^nの左から作用させる。
∑の処理は二項定理です。
任意のxの整数冪で成り立つので、ある関数fに作用させるときも、fのテイラー級数に対して作用させれば結果は変わりません(多分)。 Q.E.D.
正の実数に対しである事から同様に証明できます
Theorem 2
階乗って整数の定義域だけじゃないの?って思うかもですがガンマ関数だと+1という余計な物が出るので見栄えの為階乗でやってます。(ルジャンドルの関数使えば良いかも知れませんが知名度が知名度なので。)
Proof; 何れにせよガンマ関数の定義式をそのまま当てはめます。
これをxに作用させると、
ここで第2項はとなります。
よって題意は示されました(´°ω°)チーン
またに作用させるととなります。
(を用いて同様にできmath)
一般のx^nについて見てみたいですが、まだわかってない事が多いです。