超微分係数の一致と微分係数の一致
超微分についてはこちら
超微分の記事まとめ
: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 :
超微分で微分っぽいことをする
によると、次の定理が成り立ちます。
任意の実数$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にこうあります。
この時、
\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}が成り立ちます。
$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}
ミスを見つけたら言ってもらえると非常に助かります。すぐ直します。
