超微分で微分っぽいことをする
この記事は7777777氏の以下の記事に関連しています。というか以下の記事に対する追加研究(?)です。
7777777「 微分を拡張したい 」「 超微分の定義と定理 」(2024/8)
超微分や各種記号については既知としますので、この記事から見始めたよーって方はまず上の記事を読んでいただければ。
超微分と微分
$f(a)>0$,$a\neq0$のとき、($f$が$a$で微分可能)$\iff$($f$が$a$で超微分可能)
$a>0$のみ示す。$a<0$は$\log$の分解の際に適切に符号を処理することで同様となる。
($\Rightarrow$)
2024.9.15 アレクサンダー鷹觜氏の指摘に基づき、初期版の記載を訂正します。(下から三行目で$f'(x)$の連続性を仮定しているため)$h\downarrow1$のみ示す（$h\uparrow1$も同様）。$\displaystyle h = \frac{a + \Delta a }{a}$とおくと、
\begin{align}
\lim_{h\downarrow1}\log_h\frac{f(ha)}{f(a)} &= \lim_{\Delta a\downarrow0}\frac{\ln f(a + \Delta a) - \ln f(a)}{\ln(a + \Delta a) - \ln a}
\end{align}
であるが、$f$の微分可能性より$\ln f$は微分可能であるので、十分小さな$\Delta a$をとることにより微分可能な開区間$[a,a+\Delta a]$をとることができる。Cauchyの平均値の定理からある$c\in[a,a+\Delta a]$が存在し、
\begin{align}
&= \lim_{\Delta a\downarrow0}\frac{\frac{f'(c)}{f(c)}}{\frac{1}{c}}\\
&= \lim_{c\downarrow a}\frac{cf'(c)}{f(c)}\\
&= \frac{af'(a)}{f(a)}
\end{align}
極限が存在したので、$f$は$a$で超微分可能である。
訂正ここまで
$\displaystyle h = \frac{a + \Delta a }{a}$とおくと、
\begin{align}
\lim_{h\to1}\log_h\frac{f(ha)}{f(a)} &=\lim_{\Delta a\to 0} \frac{\ln f(a + \Delta a)-\ln f(a)}{\ln(a + \Delta a) - \ln a}\\
& = \lim_{\Delta a\to 0} \frac{\ln f(a + \Delta a)-\ln f(a)}{\Delta a} \left(\frac{\ln(a + \Delta a) - \ln a}{\Delta a}\right)^{-1}\\
\end{align}
ここで一つ目の分数の極限は$\ln f$の$a$における微分係数に他ならない。また二つ目の分数の極限は$\ln x$の微分可能性より存在する。結局極限は分割でき、
\begin{align}
&= \frac{f'(a)}{f(a)}\cdot a
\end{align}
極限が存在したので、$fはa$で超微分可能である。
($\Leftarrow$)
$\ln f$の微分可能性を示せば十分である。
\begin{align}
\lim_{\Delta a\to 0} \frac{\ln f(a + \Delta a)-\ln f(a)}{\Delta a} & = \lim_{\Delta a\to 0} \frac{\ln f(a + \Delta a)-\ln f(a)}{\ln(a + \Delta a) - \ln a}\frac{\ln(a + \Delta a) - \ln a}{\Delta a}\\
\end{align}
ここで一つ目の分数の極限は$f$の$a$における超微分係数に他ならない。また二つ目の分数の極限は$\ln x$の微分可能性より存在する。結局極限は分割でき、
\begin{align}
&= \frac{f^`(a)}{a}
\end{align}
極限が存在したので$\ln f$は$a$で微分可能であり、従って$f$も$a$で微分可能である。
ちなみに$a=0$のときは$f(0)\neq0$な任意の$f$について$f^`(0)$を定義でき、$f^`(0)=0$です。乗法的な微分の拡張をするうえで零元が特異点になるのは仕方がない（以下コラム参照）とはいえ、なんとも勿体無さが残りますね。元記事の解分もそれに対する対策として一部に和を用いていると考えられます。
コラム：零元の特異性
定理2 解分の公式（7777777「 微分を拡張したい 」より）
$$p^{\frac{d}{dx}\log_pf(x)}=\lim_{h\to0}\left(\frac{f(x+h)}{f(x)}\right)^{\frac1h}$$
この式では$x=0$としても何ら問題はありません。が、
定義3（7777777「 微分を拡張したい 」より）
$$\lim_{h\to1}\left(\frac{f(hx)}{f(x)}\right)^{\frac1{\frac{hx}x}}$$
この式で$x=0$とすると、（指数にある分数部分を事前に計算してゼロ除算を回避したとしても）極限の変数である$h$が消滅してしまいます。これは超微分の定義にも同様のことが言えます。
で、なぜこんなことが起きるのかというと、加法では零元（$\forall a[a + o = o]$な$o$）が（普通は）存在しないのに対し、乗法では$0$がこのような性質を持つからです。そのため、普段の和を用いた近傍$(a-\epsilon,a+\epsilon)$に対し乗法的な「近傍」$(a\epsilon,a/\epsilon)$または$(a/\epsilon,a\epsilon)$を定義すると、$a=0$で空集合となってしまい、結果として「乗法的に近づける」という操作ができなくなってしまいます。
$f$は$a\in\mathcal{D}(f)\backslash\{0\}$の十分近くで$f>0$を満たし微分可能な関数であるとする。このとき$f$は$a$で超微分可能であり、$\displaystyle f^`(a) = \frac{af'(a)}{f(a)} $が成り立つ。
超・平均値シリーズ
名前のセンスが小学生なのは許して
2024.9.15 $[a,b]$での連続性を失念していたため追記
$f$が$[a,b]\subset\mathcal{D}(f)$なる$a,b\neq0$、$ab>0$について$[a,b]$上で連続、$(a,b)$上で超微分可能であるとする。このとき、$\displaystyle\log_{\frac{b}{a}}\frac{f(b)}{f(a)}=f^`(c)$なる$c\in(a,b)$が存在する。
2024.9.15追記 7777777氏の指摘に基づき、$\frac{b}{a}$が底の条件を満たす必要があることを明記
$0< a< b$の場合のみ示す。
\begin{align}
\log_{\frac{b}{a}}\frac{f(b)}{f(a)} = \frac{\ln f(b)- \ln f(a)}{\ln b - \ln a}
\end{align}
このとき定理1より$\ln f$は微分可能であるので、Cauchyの平均値の定理からある$c\in(a,b)$が存在して
\begin{align}
&= \frac{cf'(c)}{f(c)} = f^`(c)
\end{align}
となる。
$f,g$が$[a,b]\subset\mathcal{D}(f)\cap\mathcal{D}(g)$なる$a,b\neq0$について$[a,b]$上で連続、$(a,b)$上で超微分可能であるとする。また$(a,b)$上で$g^`(x)\neq0$とする。このとき、$\displaystyle\log_{\frac{g(b)}{g(a)}}\frac{f(b)}{f(a)}=\frac{f^`(c)}{g^`(c)}$なる$c\in(a,b)$が存在する。
$g(a)\neq g(b)$は$g^`(x)\neq0$と超微分の微分変換式より従います。
$(a,b)$上で超微分可能であり、また$0\not\in(a,b)$なので（定義されれば$g^`(0)=0$のため）この区間上で定理1が適用され、$x\in(a,b)$について$g'(x)\neq0$となります。
で、$g$は$[a,b]$上で連続、$(a,b)$上で微分可能なので平均値の定理から$g(a)\neq g(b)$となります。
また、超微分が定義できる以上$(a,b)$上で$g\neq0$です。これと連続性から底の条件は自ずと満たされます。
$\displaystyle\log_{\frac{g(b)}{g(a)}}\frac{f(b)}{f(a)}=\frac{\ln f(b)-\ln f(a)}{\ln g(b)-\ln g(a)}$としてCauchyの平均値の定理を適用することで、
$$
=\frac{f'(c)}{f(c)}\frac{g(c)}{g'(c)} = \frac{cf'(c)}{f(c)}\frac{g(c)}{cg'(c)} = \frac{f^`(c)}{g^`(c)}
$$
$f(a)=g(a)=1$、$g^`(a)\neq0$のとき、$\displaystyle\lim_{x\to a}\frac{f^`(x)}{g^`(x)}$が存在するなら$\displaystyle\lim_{x\to a}\log_{g(x)}f(x) = \lim_{x\to a}\frac{f^`(x)}{g^`(x)} $
定理3より直ちに従う。
超微分と近似
微分係数から一次近似を作るノリでこんな式が考えられます。
$f$が$a>0$で超微分可能であるとき、以下の関数を$f$の$a$における接冪と呼ぶ。
$$ y = f(a)\left(\frac{x}{a}\right)^{f^`(a)}$$
接冪は、$f$を「自然に」原点や無限遠へと接続する関数といえるかもしれません。逆に言えばこのせいで表現力は乏しいです。これも完全に乗法的な拡張を行う弊害でしょう。
この式を解釈するなら「$f$は$a$の近くで$f^`(a)$次である」と言いたくなりますが、これは正しくありません（例：$x^2+1$の$x=1$における接冪は$\displaystyle 2x$となり一次関数）。
参考文献
この記事を高評価した人
この記事に送られたバッジ
投稿者
