4

超微分は二つある(本当はないはず)

188
1

超微分

超微分についてはこちら
7777777: 超微分の記事まとめ

q-類似

q-analogとも言いますが、世の中にはq-類似と呼ばれるものがあります。( Wikipedia )
詳しく知りたい方はWikipediaをさっさと見てください。
そこでの微分、q-微分やq-導関数というのは、
dq(f(x))=f(qx)f(x)
によって定義され、導関数は
Dq(f(x))=dq(f(x))dq(x)=f(qx)f(x)qxx
となります。q-導関数は通常の導関数と極限をとると完全に一致するらしいです。

微分との比較

q-類似を微分と比較してみましょう。
えっとね
f(x)=limh0f(x+h)f(x)x+hxDq(f(x))=limq1f(qx)f(x)qxx
これ覚えといて(覚えてなくてもまた書くけどね)

超微分を定義に戻って考えると、、、

超微分の定義は、7777777氏: 超微分の定義と定理 より、

超導関数

f(x)は、任意のxにおいてf(x)>0を満たすものとする。
この時、
limh1loghf(hx)f(x)
f(x)の超導関数といい、f(x)で表す。

こうでしたよね。
この定義の式を少し変形させると、、、
limh1loghf(hx)f(x)=limh1logf(hx)f(x)logh(底の変換公式)=limh1logf(hx)logf(x)loghxlogx
底はeとしています。
これ、見おぼえないですか??(ていうかすぐ上にある)

超微分はすでにq-類似

Dq(f(x))=limq1f(qx)f(x)qxxf(x)=limh1logf(hx)logf(x)loghxlogx
これ完全に何か別のもののq-類似ですね。
何か=limh0logf(a+h)logf(x)log(a+h)logxf(x)=limh1logf(hx)logf(x)loghxlogx
こういうことなんですよね。「何か」があるんですよね。


図を書いてみました
limh0f(x+h)f(x)x+hxlimh0logf(x+h)logf(x)log(x+h)logx超微分2limq1f(qx)f(x)qxxlimq1logf(qx)logf(x)logqxlogx超微分
謎の右上の微分、予想ですが多分極限をとると超微分と全く同じになるはずです。(ていうかなってくれ)

超Taylor展開と超微分の定義の形

ここから記事のタイトルとは関係なくなってくるのですが、私のこの記事の一つ前の記事: 超Taylor展開を導出する(3次までできた) にある、1次と2次の超Taylor展開
f(a)exp(f(a)(ln(x)ln(a)))f(a)exp(f(a)f(a)af(a)(xf(a)af(a)))
なのですが、2次に無理やり1次っぽい形を作りに行くと、
f(a)exp(f(a)f(a)af(a)(xf(a)af(a)))=f(a)exp(f(a)(ln(x)ln(a))f(a)af(a)xf(a)af(a)ln(x)ln(a))=f(a)exp(f(a)(ln(x)ln(a))1f(a)af(a)xf(a)af(a)ln(x)ln(a))=f(a)exp(f(a)(ln(x)ln(a)))1f(a)af(a)xf(a)af(a)ln(x)ln(a)
こういうふうに無理やりできます。3次でもできます。
f(a)exp(f(a)f(a)exp(f(a)f(a))(Ei(f(a)xf(a)f(a)af(a))Ei(f(a)f(a))))=f(a)exp(f(a)(ln(x)ln(a))1f(a)af(a)xf(a)af(a)(ln(x)ln(a))f(a)af(a)f(a)exp(f(a)f(a))Ei(f(a)xf(a)f(a)af(a))Ei(f(a)f(a))xf(a)af(a))
だからなんだよ。

一つ思ったこと

一つ思ったのですが、超微分でのTaylor展開の形って、なんというか不思議なんですよね。
普通のTaylor展開の形は、
f(n)(a)n!(xa)n
のような、f(xa)の形として出てくるのですが、
超微分ではどう考えてもf(x)f(a)の形をしています。
つまり、超Taylor展開はx軸方向の平行移動によって本質的に異なるものになるということです。

投稿日:2024121
更新日:2024122
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Y.K.
Y.K.
102
5883
掛け算が苦手

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 超微分
  2. $q$-類似
  3. 微分との比較
  4. 超微分を定義に戻って考えると、、、
  5. 超微分はすでにq-類似
  6. 超Taylor展開と超微分の定義の形
  7. 一つ思ったこと