4

超微分のx→0での値の意味

210
1
この記事に厳密性はありません。

超微分というのはこの記事を参照してください
7777777: 超微分
ラグ / Lagu: 超微分で微分っぽいことをする
vunu: 超微分の小ネタ、(モニックな、実係数)n次関数の超微分と解のm乗和

超微分の定理


さて、超微分には重要な定理があります

超微分の変換公式

f(x)=xf(x)f(x)

これをふんだんに使っていきます。



今回、limx0の極限を考えていきたいのですが、
超微分を適用する関数として、f(x)=anxn+an1xn1++a0
つまり
f(x)=k=0nakxk
という多項式に対して考えていきたいと思います。

やってみる


じゃぁ実際に超微分してみましょう
f(x)=xf(x)f(x)=xddx(k=0nakxk)k=0nakxk=k=1nkakxkk=0nakxk=nanxn+(n1)an1xn1++a1xanxn+an1xn1++a1x+a0
ここでx0を考えます。ただし場合分けがいっぱいいりますね。

a00の時


普通にx=0を代入しましょう
f(0)=nan0n+(n1)an10n1++a10an0n+an10n1++a10+a0=0a0=0

a0=0かつa10の時


不定形になっていますが1度xで割ることができます。割ってからx=0を代入しましょう
limx0f(x)=limx0nanxn+(n1)an1xn1++2a2x2+a1xanxn+an1xn1++a2x2+a1x+a0=limx0nanxn+(n1)an1xn1++2a2x2+a1xanxn+an1xn1++a2x2+a1x+0(不定形になっている)=limx0nanxn1+(n1)an1xn2++2a2x+a1anxn1+an1xn2++a2x+a1=a1a1=1
何か見えてきましたか?

a0=0かつa1=0かつa20の時


不定形になっていますが一度x2で割ることができます。割ってからx=0を代入しましょう
limx0f(x)=limx0nanxn++2a2x2+a1xanxn++a2x2+a1x+a0=limx0nanxn++2a2x2+0anxn++a2x2+0+0(不定形になっている)=limx0nanxn2++2a2anxn2++a2=2a2a2=2
もう分かってきましたね。

a0=0かつa1=0かつa2=0かつa30の時


不定形になっていますが一度x3で割ることができます。割ってからx=0を代入しましょう
limx0f(x)=limx0nanxn++3a3x3+2a2x2+a1xanxn++a3x3+a2x2+a1x+a0=limx0nanxn++3a3x3+0+0anxn++a3x3+0+0+0(不定形になっている)=limx0nanxn2++3a3anxn2++a3=3a3a3=3

一般化


一般化して書いてみましょう

a0ai1がすべて0かつai0の時

limx0f(x)=limx0k=1nkakxkk=0nakxk=limx0k=inkakxkk=inakxk(不定形になっている)=limx0k=inkakxkik=inakxki=limx0iai+xk=i+1nkakxki1ai+xk=i+1nakxki1(k=iの時を取り出して、残ったシグマをxでくくった)=iaiai=i
そういうことで、次の定理が言えるでしょう。

f(x)=k=0nakxk
とするとき、
limx0f(x)
の値は自然数であり、それは係数が0でない最小のxの次数を表す。

なるほどおもしろい結果ですね。
なぜなら、こちらの記事 7777777: 超微分の意味の考察 の定理3の証明の後にこう書かれています。

よって、以上の定理より、あるxの多項式f(x)において、c=limxf(x)とした時にその関数のオーダーはO(xc)となるということがわかりました。

そう、limxつまりxを無限大に飛ばした時の値はその多項式のオーダー、いいかえると最大次数(つまり次数)を与えるのでした。
しかし、そのあとにこういうことが書かれています。

ここまでで、難点の一つ目は解決したのですが、解決できていない二つ目があります。
それは、多項式ではなくなった時のことです。
例を挙げるとするとf(x)=exの時。
f(x)=xよりc=となりますが、O(x)というオーダーはありません。
(確かに、xnの指数部分がいくら大きくても、exの発散速度はそれより早いという意味では的を得ていますが。)
これに対する解決策はいくつかあると思いますが、ここでは自分の思いついたものを提示しておきます。

まず、c=limxf(x)が収束するときは、O(xc)はオーダーと一致する。
しかし、cが収束しない場合はオーダーと一致しない、別の指標と考えます。
これについて、今回の定理でx0としたときに、
それは係数が0でない最小のxの次数(最小次数と呼ぶことにします。)を与えることが分かりました。
しかし、多項式でない関数に対してはどうなるのかわかっていないので、実際にやってみることにしました。
じゃぁまずはf(x)=exから
limx0(ex)=limx0xexex=limx0x=0
0になりました。これは何を意味するのでしょうか。
私はひょっとしてと思い、今度はf(x)=ex1でやってみました。
limx0(ex1)=limx0xexex1=limx0(x+xex1)=limx0(x+1exe0x0)=0+1ddx(ex)|x=0=1
ビンゴ。1になりました。
ここから、こういう予想が立ちます。

(不連続とか微分不可能とかややこしい関数は無しで)
マクローリン展開可能な関数f(x)に対して、
limx0f(x)f(x)をマクローリン展開した時の最低次数を表し、
limxf(x)f(x)をマクローリン展開した時の最大次数を表す。
ただし最低次数とは係数が0でない最小のxの次数を表し、最大次数とは係数が0でない最大のxの次数を表す。ただし、いくらでも大きな係数が0でないxの次数を持ってくることができる場合、最大次数はとする。

これでどうでしょう。
いい感じに意味を見出せていますね。
つまり、
x0で一番下の次数、xで一番上の次数を出してくれるのですね。

投稿日:2024112
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

Y.K.
Y.K.
101
5850
掛け算が苦手

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 超微分の定理
  2. やってみる
  3. 一般化