この記事は7777777氏の以下の記事に関連しています。というか以下の記事に対する追加研究(?)です。
7777777「
微分を拡張したい
」「
超微分の定義と定理
」(2024/8)
超微分や各種記号については既知としますので、この記事から見始めたよーって方はまず上の記事を読んでいただければ。
超微分と微分
のみ示す。はの分解の際に適切に符号を処理することで同様となる。
()
2024.9.15 アレクサンダー鷹觜氏の指摘に基づき、初期版の記載を訂正します。(下から三行目での連続性を仮定しているため)
のみ示す(も同様)。とおくと、
であるが、の微分可能性よりは微分可能であるので、十分小さなをとることにより微分可能な開区間をとることができる。Cauchyの平均値の定理からあるが存在し、
極限が存在したので、はで超微分可能である。
訂正ここまで
とおくと、
ここで一つ目の分数の極限はのにおける微分係数に他ならない。また二つ目の分数の極限はの微分可能性より存在する。結局極限は分割でき、
極限が存在したので、で超微分可能である。
()
の微分可能性を示せば十分である。
ここで一つ目の分数の極限はのにおける超微分係数に他ならない。また二つ目の分数の極限はの微分可能性より存在する。結局極限は分割でき、
極限が存在したのではで微分可能であり、従ってもで微分可能である。
ちなみにのときはな任意のについてを定義でき、です。乗法的な微分の拡張をするうえで零元が特異点になるのは仕方がない(以下コラム参照)とはいえ、なんとも勿体無さが残りますね。元記事の解分もそれに対する対策として一部に和を用いていると考えられます。
コラム:零元の特異性
定理2 解分の公式(7777777「
微分を拡張したい
」より)
この式ではとしても何ら問題はありません。が、
定義3(7777777「
微分を拡張したい
」より)
この式でとすると、(指数にある分数部分を事前に計算してゼロ除算を回避したとしても)極限の変数であるが消滅してしまいます。これは超微分の定義にも同様のことが言えます。
で、なぜこんなことが起きるのかというと、加法では零元(な)が(普通は)存在しないのに対し、乗法ではがこのような性質を持つからです。そのため、普段の和を用いた近傍に対し乗法的な「近傍」またはを定義すると、で空集合となってしまい、結果として「乗法的に近づける」という操作ができなくなってしまいます。
超微分可能性
はの十分近くでを満たし微分可能な関数であるとする。このときはで超微分可能であり、が成り立つ。
超・平均値シリーズ
名前のセンスが小学生なのは許して
2024.9.15 での連続性を失念していたため追記
超・Lagrangeの平均値の定理
がなる、について上で連続、上で超微分可能であるとする。このとき、なるが存在する。
2024.9.15追記 7777777氏の指摘に基づき、が底の条件を満たす必要があることを明記
の場合のみ示す。
このとき定理1よりは微分可能であるので、Cauchyの平均値の定理からあるが存在して
となる。
超・Cauchyの平均値の定理
がなるについて上で連続、上で超微分可能であるとする。また上でとする。このとき、なるが存在する。
(2024.9.15追記)
はと超微分の微分変換式より従います。
上で超微分可能であり、またなので(定義されればのため)この区間上で定理1が適用され、についてとなります。
で、は上で連続、上で微分可能なので平均値の定理からとなります。
また、超微分が定義できる以上上でです。これと連続性から底の条件は自ずと満たされます。
としてCauchyの平均値の定理を適用することで、
超微分と近似
微分係数から一次近似を作るノリでこんな式が考えられます。
接冪
がで超微分可能であるとき、以下の関数をのにおける接冪と呼ぶ。
接冪は、を「自然に」原点や無限遠へと接続する関数といえるかもしれません。逆に言えばこのせいで表現力は乏しいです。これも完全に乗法的な拡張を行う弊害でしょう。
この式を解釈するなら「はの近くで次である」と言いたくなりますが、これは正しくありません(例:のにおける接冪はとなり一次関数)。