指數函數
exponential function
$ \exp_a x=\exp({x\log a})
$ \log_a x=\frac{\log x}{\log a}
定義
$ xが自然數の場合、歸納的に$ e^0=1,$ e^x=\prod_{i=0}^x e 指數法則$ e^{a+b}=e^a e^b,$ e^0=1から導ける
整數へは$ e^{-x}=\frac 1{e^x}と擴張する 極限$ e^x=\lim_{n\to\infty}\left(1+\frac x n\right)^n
冪級數$ e^x=\sum_{n=0}^\infty\frac{x^n}{n!}
積分方程式$ x=\int_1^y\frac 1 t{\rm d}tの解
常微分方程式$ \frac{{\rm d}y}{{\rm d}x}-y=0,$ y(0)=1の解
微分作用の不動點$ \lim_{h\to 0}\frac{e^{x+h}-e^x}h=e^xである
差分なら$ 2^xが不動點$ 2^{x+1}-2^x=2^xになる
$ xが複素數の場合$ e^x=e^{\frak Rx}(\cos\frak Ix+i\sin\frak Ix) 自然對數の底$ e
$ e=2.718281828459045235360287471352\dots
定義
$ e=\lim_{n\to\infty}\left(1+\frac 1 n\right)^n
$ \lim_{h\to 0}\frac{e^h-1}h=1となる$ e
$ e=\sum_{n=0}^\infty\frac 1{n!}
對數函數 (logarithm function) 定義
$ \ln x=\int_1^x\frac 1 t{\rm d}t
擴張
離散對數 (discrete logarithm) $ Gを位數$ nの有限巡廻群とし、$ b\in Gを決める。$ a\in Gについて$ a^k=bとなる最小の自然數$ k\le nを求める $ \log_q(z):=(1-q)(z-1)\sum_{n=0}^\infty\frac{q^n}{1+(z-1)q^n}\quad(0<q\le 1)
對數半環
對數微分$ \frac{f'}f=(\log f)' 指數法則・對數法則
$ e^{a+b}=e^a e^b,$ e^0=1
$ \exp\sum x=\prod\exp x
$ \log(ab)=\log a+\log b,$ \log 1=0
$ \log\prod x=\sum\log x
三角函數の積和の公式$ \cos \alpha\cos \beta=\frac 1 2(\cos(\alpha+\beta)+\cos(\alpha-\beta)),$ xy=\cos(\arccos x)\cos(\arccos y)を使ふよりも、對數法則を用ゐる$ xy=\exp(\log x+\log y)はうが積を計算し易い
擴張
定義域の擴張
複素數$ e^z:=\sum_{n=0}^\infty\frac{z^n}{n!} $ e^{x+yi}=e^x(\cos y+i\sin y)
p-進指數函數 (p-adic exponential function)$ \exp_p(z) p-進複素數$ \Complex_pに於いて$ \exp_p(z):=\sum_{n=0}^\infty\frac{z^n}{n!} 超指數函數 (hyperexponential function)
$ e:{\rm On}\to{\rm On},$ e(\xi):=\begin{cases}-1+\omega^\xi & \xi=0 \\ \omega^\xi & {\rm otherwise}\end{cases}
code:tex
\exp_q(z):=\begin{cases}
\frac 1{((1-q)z;q)_\infty}=\sum_{n=0}^\infty\frac{z^n}{n_q!} & |q|\le 1 \\ \frac 1{\exp_{\frac 1 q}(-z)} & |q|>1
\end{cases}
q-微分で不變$ D_q\exp_q(z)=\frac{\exp_q(qz)-\exp_q(z)}{(q-1)z}=\exp_q(z) 變形した可換律$ wz=qzwの下で指數法則$ \exp_q(z+w)=\exp_q(z)\exp_q(w)が成り立つ hyper 演算
$ a^n=a\uparrow n=a\uparrow^1 n
右結合で歸納的に
$ a\to b=a\to b\to 1=a\uparrow^1 b= a^b
$ a\to b\to c=a\uparrow^c b
$ X\to b\to c=X\to(X\to(b-1)\to c)\to(c-1)
$ \{a\}=a
$ \{a,b\}=a^b
$ \{a,b,\dots,z,1\}=\{a,b,\dots,z\}
$ \{a,1,b,\dots,z\}=\{a\}=a
$ \{a,b,1,\dots(n個)\dots,1,c\dots,z\}=\{a,\dots(n+1個)\dots,a,\{a,b-1,1,\dots(n個)\dots,1c,\dots,z\},c-1,\dots,z\}
$ \{a,b,c,\dots,z\}=\{a,\{a,b-1,c,\dots,z\},c-1,\dots,z\}
$ C_0半群 (强連續 1 parameter 半群)
多重指數記法の冪$ x^\alpha:=\prod_{k=1}^n x_k^{\alpha_k} 冪集合$ 2^X\simeq{\bf Set}(X,\{0,1\}) 順序指數函數 (ordered exponential。經路順序指數函數 (path-ordered exponential)。時閒順序指數函數 (time-ordered exponential))
指數層系列 (exponential sheaf sequence)
短完全列$ 0\to2\pi i\Z\xrightarrow{i}{\cal O}_M\xrightarrow{\exp}{\cal O}_M^*\to 0 短完全列$ 0\to2\pi i\Z\xrightarrow{i}\Complex\xrightarrow{\exp}\Complex^\times\to 0 shift 作用素$ e^{t\frac{\rm d}{{\rm d}x}},$ e^{tD}