3

超微分係数の一致と微分係数の一致

121
2
$$$$

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



vunuさんの 超Taylor展開の形を何となく推察しようとしてほぼ失敗している事例 をみて、
微分よりも超微分のほうがしやすそうだと思い、
超微分係数が一致しているなら微分係数も一致すればおいしいなと思い書いています。

高校数学までの知識しかない

私はまだ大学範囲の数学を勉強していないので何とも言えません。
それでもできるかな
やってみましょう。

仮定を置く

ある1階狭義超微分可能な関数$f$$g$があり、$f(x),g(x)$は任意の実数$x$において$f(x)>0,g(x)>0$が成り立つとします。

仮定

ある関数$f,g$があり、任意の実数$a$に対して、$f(a)>0,g(a)>0$
かつ$f,g$は一階狭義超微分可能。





いろいろやっていきます。

$0$以外の任意の実数$x$に対して$f,g$$x$で微分可能

ラグ / Lagu : 超微分で微分っぽいことをする によると、次の定理が成り立ちます。

定理1超微分可能性
$f(a)>0,a\ne0$のとき、($f$$a$で微分可能)$\iff$($f$$a$で超微分可能)


任意の実数$a$に対して$f(a)>0,g(a)>0$が成り立ち、
かつ仮定より$f,g$は狭義超微分可能なので、
定理1により$0$以外の任意の実数$x$に対して$f,g$$x$で微分可能であると分かりました。




$0$以外の任意の実数$x$に対して、
\begin{eqnarray} f^`(x) = \frac{xf'(x)}{f(x)} \:, g^`(x) = \frac{xg'(x)}{g(x)} \end{eqnarray}が成り立つ。

7777777氏の 超微分の定義と定理 の定理2にこうあります。

定理2超導関数の変換公式
$f(x)$が微分可能かつ狭義超微分可能であるとする。
この時、
\begin{eqnarray} f^`(x) = \frac{xf'(x)}{f(x)} \end{eqnarray}


補題1より$0$以外の任意の実数$x$に対して、$f,g$$x$で微分可能かつ
仮定より$f,g$は狭義超微分可能なので、定理2より
\begin{eqnarray} f^`(x) = \frac{xf'(x)}{f(x)} \:, g^`(x) = \frac{xg'(x)}{g(x)} \end{eqnarray}が成り立ちます。




補題2

$0$以外の任意の実数$x$に対して、
\begin{eqnarray} f'(x) = \frac{f(x)f^`(x)}{x} \:,g'(x) = \frac{g(x)g^`(x)}{x} \end{eqnarray}が成り立つ。


補題2より
\begin{eqnarray} g^`(x) = \frac{xg'(x)}{g(x)} \end{eqnarray}なので、
\begin{eqnarray} g^`(x) &=& \frac{xg'(x)}{g(x)} \\ g^`(x)g(x) &=& xg'(x) \end{eqnarray}
$x\ne0$より、
\begin{eqnarray} g^`(x)g(x) &=& xg'(x) \\ \frac{g(x)g^`(x)}{x} &=& g'(x) \end{eqnarray}

よって示せた。




$0$以外の任意の実数$x$に対して、
\begin{eqnarray} f(x) = g(x) \:\land\: f^`(x) = g^`(x) \implies f'(x) =g'(x) \end{eqnarray}

補題2の系より、$0$以外の任意の実数$x$に対して、
\begin{eqnarray} f'(x) = \frac{f(x)f^`(x)}{x} \:,g'(x) = \frac{g(x)g^`(x)}{x} \end{eqnarray}が成り立つ。
かつ、$0$以外の任意の実数$x$に対して、
\begin{eqnarray} f(x) = g(x) \\ f^`(x) = g^`(x) \end{eqnarray}が成り立つので、
\begin{eqnarray} f'(x) &=& \frac{f(x)f^`(x)}{x} \\&=& \frac{g(x)g^`(x)}{x} \\&=& g'(x) \end{eqnarray}
$0$以外の任意の実数$x$について成り立つことが示せた。

ほんまにこれあってんのか????とは思っています。




まとめるとこう。

ある関数$f,g$があり、任意の実数$a$に対して、$f(a)>0,g(a)>0$
かつ$f,g$は一階狭義超微分可能ならば、$0$以外の任意の実数$x$に対して以下が成り立つ。
\begin{eqnarray} f(x) = g(x) \:\land\: f^`(x) = g^`(x) \implies f'(x) =g'(x) \end{eqnarray}

ミスを見つけたら言ってもらえると非常に助かります。すぐ直します。

投稿日:17日前
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

Y.K.
Y.K.
65
3858
掛け算が苦手

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中