文献あり

「超微分可能なら連続」と超微分における接線の考察

152

この記事は7777777氏の以下の記事に関連しています．
7777777[ 微分を拡張したい【#1】 ][ 超微分の定義と定理【#2】 ] (2024/9/15)
超微分ってほんまに有用なんか?とかいう自分の邪悪な気持ちが出てきたので，自分自身で少し考えてみた結果を書く．

超微分可能性な関数の性質

関数 $f : [α, β] \to R$ は $[α, β]$ 上で $f > 0$ を満たすとする． $a \in [α, β]$ ， $a \neq 0$ のとき， $f$ は $a$ で超微分可能性ならば $f$ は $a$ で連続である．

ラグ / Lagu氏の記事超微分で微分っぽいことをするの定理1を使うと
$a$ で超微分可能 $⟹$ $a$ で微分可能 $⟹$ $a$ で連続
となるので直ちに分かるが， $a$ で微分可能を経由せずにイプシロンデルタ論法で証明してみる．

任意に $ε > 0$ を取る．この $ε$ に対して $δ > 0$ が存在して， $| h - 1 | < δ$ ならば $| \log h | < ε$ かつ $| \frac{\log (\frac{f (h a)}{f (a)})}{\log h} - f^{‘} (a) | < ε$
である．三角不等式から $| \log (\frac{f (h a)}{f (a)}) | < (ε + | f^{‘} (a) |) | \log h | < (ε + | f^{‘} (a) |) ε$ となる．すなわち $| \log (f (h a)) - \log (f (a)) | < ε$ であることと同値．
よって $0 < δ^{'} = | a | δ$ と置けば， $| x - a | < δ^{'}$ のとき， $| \log (f (x)) - \log (f (a)) | < ε$ であるので $f$ は $a$ で連続．

ラグ / Lagu氏の記事でも触れられていたが $a = 0$ のときの $f$ の情報が全く出てこない(確証はあまりないが断言してみる)．だが，ラグ / Lagu氏の記事の定理２，超・Lagrangeの平均値の定理を見てみると次のことが見えてくる．

超微分について思ふこと

(Lagrangeの)平均値の定理と超・Lagrangeの平均値の定理を表で見比べてみる：

(Lagrangeの)平均値の定理	超・Lagrangeの平均値の定理
$\frac{f (a) - f (b)}{a - b} = f^{'} (c) ， a < \exists c < b$	$\frac{\log (f (a)) - \log (f (b))}{\log (a) - \log (b)} = f^{‘} (c) ， a < \exists c < b$

記号の説明は大幅に省略し，超・Lagrangeの平均値の定理は少し変形した．
平均値の定理とはある区間における平均の傾きと、その区間内のどこか一点における接線の傾きが必ず一致するということであった．次のような変形を考えてみる， $E : (x, y) \in R \times R \to (e^{x}, e^{y}) \in R_{> 0} \times R_{> 0}$ ，ここで $R_{> 0} := (0, \infty)$ ． $E$ は全単射な写像である．
関数 $f : [α, β] \to R$ は $[α, β]$ 上で $f > 0$ を満たし， $a \in [α, β]$ ， $a \neq 0$ で狭義超微分可能とする．このとき， $f$ のグラフ $Γ (f) := {(x, y) \in R \times R | y = f (x)}$ に対して逆象 $E^{- 1} (Γ (f))$ を考える． $F (x) := \log (f (e^{x}))$ とすると $Γ (F) = E^{- 1} (Γ (f))$ である．すると次のことが考えれる．

$Γ (F) = E^{- 1} (Γ (f))$ の平均の傾きは，ある点での超微分の値に一致する．

つまり $F$ の接線 $l$ の写像 $E$ による像 $E (l)$ が超微分の接線に相当するものになるだろう．定式化は読者に任せたい．

あとがき

上記のことを踏まえると $a = 0$ のときの $f$ の情報というのは，無限点(正確な表現でない)での情報であると予想する．なので $F$ が有界になるように $f$ をとることで通常の微分とはひと味違う情報が出てきそうだ．節「超微分について思ふこと」では駆け足で書いてしまったので誤りがあるかもしれないが，指摘してくれると大変ありがたいです．
また，写像 $E$ のおかげで超微分は通常の微分と同じような性質が成り立つ気がするが，テーラー展開の超微分バージョンは1次の時点で接線ではなくなるので定式化は困難を極めそう．