超微分の定義と定理
はじめに
前回 、超微分の定義について軽く触れましたが、今回はそれをより詳しく定義し、付随する定理、公式も証明しようと思います。
定義
$f(x)$は、任意の$x$において$f(x)>0$を満たすものとする。
この時、
$$\lim_{h\to1}\log_{h}\frac{f(ha)}{f(a)}$$
を$a$における$f(x)$の超微分係数といい、$f^`(a)$で表す。
いきなり前回と違う話から始めるので少し困惑された方もいるかもしれません。
しかし、微分を習った時のことを考えると、微分係数から習ったと思いませんか。教科書
ということで微分係数の発展版の、超微分係数の定義から始めることとします。
それを踏まえたうえで、前回と異なるところは、初めの1文ですね。
これは、$\frac{f(ha)}{f(a)}$が常に正になるようにするために設けました。
「それなら、任意の$x$において$f(x)<0$もいいのでは?」と思われる方も少なからずいると思いますが、その点に関しては後の回でお話しするのでお待ちください。
$f^`(a)$が存在するとき、$f(x)$は$a$で狭義超微分可能であるという。
$f(x)$は、任意の$x$において$f(x)>0$を満たすものとする。
この時、
$$\lim_{h\to1}\log_{h}\frac{f(hx)}{f(x)}$$
を$f(x)$の超導関数といい、$f^`(x)$で表す。
ここまでは微分の定義と同様の流れになっています。
これ以上説明することはないと思うので次に進みます。
超微分に関する定理
$f(x)$は超微分可能とする。$x\neq0$の時、
$$f^`(x)=\lim_{\Delta x\to0}\log_{\frac{x+\Delta x}x}\frac{f(x+\Delta x)}{f(x)}$$
$h=\frac{x+\Delta x}{x}$とおくと、$\Delta x\to0$の時、$h\to1$
$$\lim_{\Delta x\to0}\log_{\frac{x+\Delta x}x}\frac{f(x+\Delta x)}{f(x)}=\lim_{h\to1}\log_h\frac{f(hx)}{f(x)}=f^`(x)$$
この定理は、見ての通り、$hx$を$x+\Delta x$としても超微分という操作になるという証明です。指数関数等を扱うときは便利になってくると思います。
$f(x)$が微分可能かつ狭義超微分可能であるとする。
この時、
$$f^`(x)=\frac{xf'(x)}{f(x)}$$
$$\begin{align} f^`(x)&=\lim_{h\to1}\log_h\frac{f(hx)}{f(x)}\\ &=\lim_{h\to1}\frac{\log f(hx)-\log f(x)}{\log h}\\ &=\lim_{h\to1}\frac{\frac{xf'(hx)}{f(hx)}}{\frac{1}{h}}&(\because \rm{L'hopitalの定理})\\ &=\frac{xf'(x)}{f(x)} \end{align}$$
一番の問題となってくるこの定理にやってきました。
この定理が成り立つことを証明するには、L'hopitalの定理が使えるかどうかの条件を考えなくてはいけません。
その条件とは、
- $\lim_{x\to c}f(x)=\lim_{x\to c}g(x)=0$または$\lim_{x\to c}f(x)=\lim_{x\to c}g(x)=\pm\infty$
- $\lim_{x\to c}\frac{f'(x)}{g'(x)}$が極値を持つ
- $c$の十分近くにおいて$g'(x)\neq0$
- $\lim_{h\to 1}\{\log f(hx)-\log f(x)\}=\lim_{h\to 1}\log h=0$
- $\lim_{h\to 1}\frac{\{\log f(hx)-\log f(x)\}'}{(\log h)'}=\frac{xf'(x)}{f(x)}$(ただし$f(x)$が微分可能な場合チャート)
- $h=1$の十分近くにおいて$\frac1h\neq0$
より、成立することがわかります。
狭義超微分可能$\Leftrightarrow$微分可能ではありません。以下に反例を上げておきます。
微分可能$\Rightarrow$狭義超微分可能でない例:$y=x$
狭義超微分可能$\Rightarrow$微分可能でない例：$y=|x|+1$
- $$(x^n)^`=n\ (x^n>0)$$
- $f(x)$を微分可能とする。
$$\{e^{f(x)}\}^`=xf'(x)=f(x)f^`(x)$$
- $$(x^n)^`=\frac{x\cdot nx^{n-1}}{x^n}=n$$
- $$\begin{align} \{e^{f(x)}\}^`&=\frac{x\cdot f'(x)e^{f(x)}}{e^{f(x)}}=xf'(x)=f(x)f^`(x) \end{align}$$
1.は、最も基本的な関数であるため、初めに扱いました。また、この後の考察で重要になってきます。
2.は定理4の証明で使う他、指数関数やテトレーションの超微分でも重要となってきます。
$f(x),g(x)$は狭義超微分可能とする。また、2.において$g(x)$は微分可能とする。
- $$\{f(x)g(x)\}^`=f^`(x)+g^`(x)$$
- $$[\{f(x)\}^{g(x)}]^`=f^`(x)g(x)+x\log f(x)g'(x)=f^`(x)g(x)+\log f(x)g(x)g^`(x)$$
- $$\begin{align} \{f(x)g(x)\}^`&=\lim_{h\to1}\log_h\frac{f(hx)g(hx)}{f(x)g(x)}\\&=\lim_{h\to1}\{\log_h\frac{f(hx)}{f(x)}+\log_h\frac{g(hx)}{g(x)}\}\\ &=f^`(x)+g^`(x)\end{align}$$
- $$\begin{align}
[\{f(x)\}^{g(x)}]^`&=\lim_{h\to1}\log_h\frac{\{f(hx)\}^{g(hx)}}{f(x)^{g(x)}}\\
&=\lim_{h\to1}\frac{\log f(hx)^{g(hx)}-\log f(x)^{g(x)}}{\log h}\\
&=\lim_{h\to1}\frac{g(hx)\log f(hx)-g(x)\log f(x)}{\log h}\\
&=\lim_{h\to1}\frac{g(hx)\log f(hx)-g(hx)\log f(x)+g(hx)\log f(x)-g(x)\log f(x)}{\log h}\\
&=\lim_{h\to1}\left\{\frac{g(hx)\log f(hx)-g(hx)\log f(x)}{\log h}+\frac{g(hx)\log f(x)-g(x)\log f(x)}{\log h}\right\}\\
&=\lim_{h\to1}\left\{\frac{\log f(hx)-\log f(x)}{\log h}g(hx)+\log f(x)\frac{g(hx)-g(x)}{\log h}\right\}\\
&=f^`(x)g(x)+\log f(x)\{e^{g(x)}\}^`
\end{align}$$
定理3.2.より定理4.2.は成立する。
この定理は、和、積の微分の公式に対応するものです。積の超微分の公式はただの和ですが、冪の超微分の公式は少し形が複雑です。
また、冪の指数部分にある関数は微分可能という条件も付いています。
$f(x),g(x)$は狭義超微分可能とする。
$$\{f(g(x))\}^`=f^`(g(x))g^`(x)$$
$$\begin{align}
\{f(g(x))\}^`&=\lim_{h\to1}\log_h\frac{f(g(hx))}{f(g(x))}\\
&=\lim_{h\to1}\frac{\log f(g(hx))-\log f(g(x))}{\log h}\\
\end{align}$$
ここで、$g(x)=y,g(hx)=h_2y$と書ける。
- $h$が$1$に限りなく近いとき、$h_2=1$となるとき
$$\{f(g(x))\}^`=\lim_{h\to1}\frac{\log f(y)-\log f(y)}{\log h}=0$$
$$g^`(x)=0(\because g(x)=t\ (t\in \mathbb{N}))$$
より、$\{f(g(x))\}^`=f^`(g(x))g^`(x)$ - $h$が$1$に限りなく近いとき、$h_2\neq1\land h_2\to1$のとき
$$\begin{align} \{f(g(x))\}^`&=\lim_{h\to1}\frac{\log f(g(hx))-\log f(g(x))}{\log g(hx)-\log g(x)}\frac{\log g(hx)-\log g(x)}{\log h}\\ &=\lim_{h\to1,h_2\to1}\frac{\log f(h_2y)-\log f(y)}{\log h_2}\frac{\log g(hx)-\log g(x)}{\log h}\\ &=f^`(y)g^`(x)\\ &=f^`(g(x))g^`(x) \end{align}$$
より成立
合成関数の超微分は合成関数の微分と同じ形になります。わかりやすいですね。
終わりに
今回は超微分の定義をし、定理を証明していきました。できるだけ厳密に証明しようとしましたが、論理的なほころびがありましたら、お知らせください。
また、次回は超微分の意味を考察したいと思います。
