指数積分
数学において、指数積分(しすうせきぶん、英: exponential integral)Ei は指数関数を含む積分によって定義される特殊関数の一つである。
Contents
定義
実関数としての指数積分
実数 x≠0 に対し指数積分 Ei(x) は次のように定義される。
- [math]\operatorname{Ei}(x) = -\operatorname{p.\!v.}\int_{-x}^{\infty}\frac{e^{-t}}{t}\,\operatorname{d}\!t = \operatorname{p.\!v.}\int_{-\infty}^{x}\frac{e^{t}}{t}\,\operatorname{d}\!t[/math]
ただし p.v. はコーシーの主値を表す。以下、本稿ではこれを Eireal(x) で表す。
- [math]\begin{align} \operatorname{{Ei}^{real}}(x) &= \lim_{\epsilon\to+0}\left(-\int_{-x}^{-\epsilon}\frac{e^{-t}}{t}\,\operatorname{d}\!t-\int_{\epsilon}^{\infty}\frac{e^{-t}}{t}\,\operatorname{d}\!t\right)\quad &(x\gt 0)\\ \operatorname{{Ei}^{real}}(x) &= -\int_{-x}^{\infty}\frac{e^{-t}}{t}\,\operatorname{d}\!t\quad &(x\lt 0) \end{align}[/math]
複素関数としての指数積分
複素数 z に対し指数積分 Ei(z) は次のように定義される。
- [math]\operatorname{Ei}(z) = -\pi i + \int_{-\infty-0i}^{1-0i}\frac{e^{t}}{t}\,\operatorname{d}\!t + \int_{1}^{z}\frac{e^{t}}{t}\,\operatorname{d}\!t[/math]
これは多価関数であるが、本稿では負の実軸で分枝切断を行い正の実軸上で実数値をとるようにする。[1][2](文献によっては定義が異なる)
- [math]\operatorname{Ei}(x\pm 0i) = \operatorname{{Ei}^{real}}(x)\pm\pi i \quad(x\lt 0), \quad \operatorname{Ei}(x) = \operatorname{{Ei}^{real}}(x) \quad(x\gt 0)[/math]
これとは別に
- [math]E_n(z) = z^{n-1}\int_{z}^{\infty}\frac{e^{-t}}{t^n}\,\operatorname{d}\!t[/math]
を n 次の指数積分と呼び、
- [math]E_1(z) = \int_{z}^{\infty}\frac{e^{-t}}{t}\,\operatorname{d}\!t[/math]
を Ei(z) と記すこともある。このときは次のように分枝をとる。
- [math]\begin{align} &\operatorname{Im}(E_n(x\pm 0i)) = \mp\pi(-x)^{n-1} i \quad(x\lt 0),\quad \operatorname{Im}(E_n(x)) = 0 \quad(x\gt 0) \\ &E_1(x\pm 0i) = -\operatorname{{Ei}^{real}}(-x)\mp\pi i \quad(x\lt 0),\quad E_1(x) = -\operatorname{{Ei}^{real}}(-x) \quad(x\gt 0) \end{align}[/math]
両者は次のような関係で結ばれる。
- [math]\operatorname{Ei}(z) = -E_1(-z)+\pi i \quad(\operatorname{Im}(z)\lt 0), \quad \operatorname{Ei}(z) = -E_1(-z)-\pi i \quad(\operatorname{Im}(z)\gt 0)[/math]
性質
正則関数と対数関数による表示
複素関数 Ein(z) を次のように定める。
- [math]\operatorname{Ein}(z) = \int_{0}^{z} \frac{1-e^{-t}}{t}\,\operatorname{d}\!t[/math]
これは複素平面全体で正則となり、
- [math]\begin{align} \operatorname{Ein}(z) - E_1(z) - \log z &= \int_{0}^{z} \frac{1-e^{-t}}{t}\,\operatorname{d}\!t - \int_{z}^{\infty} \frac{e^{-t}}{t}\,\operatorname{d}\!t - \int_{1}^{z} \frac{1}{t}\,\operatorname{d}t \\ &= \int_{0}^{1} \frac{1-e^{-t}}{t}\,\operatorname{d}\!t - \int_{1}^{\infty} \frac{e^{-t}}{t}\,\operatorname{d}\!t \\ &= -\int_{0}^{\infty} (\log t)e^{-t}\,\operatorname{d}\!t \\ &= \gamma \end{align}[/math]
が成り立つ。ただしγはオイラーの定数である。これにより E1, Ei は
- [math]\begin{align} E_1(z) &= -\gamma-\log z+\operatorname{Ein}(z) \\ \operatorname{Ei}(z) &= \gamma+\log z-\operatorname{Ein}(-z) \end{align}[/math]
と表され、多価性にまつわる問題を複素対数関数 log z に封じ込めることができる。
級数展開
Ein(z) のテイラー展開は次のように与えられる。
- [math]\begin{align} \operatorname{Ein}(z) &= \int_{0}^{z} \sum_{k=1}^{\infty} \frac{(-t)^{k-1}}{k!}\,\operatorname{d}\!t \\ &= -\sum_{k=1}^{\infty}\frac{(-z)^k}{k\;k!} \end{align}[/math]
これは複素平面全体で収束する。また次のような展開も可能である。
- [math]\begin{align} \operatorname{Ein}(z) &= \int_{0}^{z} e^{-t} \sum_{k=1}^{\infty} \frac{t^{k-1}}{k!}\,\operatorname{d}\!t \\ &= e^{-z} \sum_{n=1}^{\infty} \left(\sum_{k=1}^{n} \frac{1}{k}\right) \frac{z^n}{n!} \\ \operatorname{Ein}(z) &= \int_{0}^{z} e^{-t/2} \sum_{k=0}^{\infty} \frac{(t/2)^{2k}}{(2k+1)!}\,\operatorname{d}\!t \\ &= e^{-z/2} \sum_{n=1}^{\infty} \left(\sum_{k=0}^{\lfloor(n-1)/2\rfloor} \frac{2}{2k+1}\right) \frac{(z/2)^n}{n!} \end{align}[/math]
漸近展開
z の絶対値が十分大きいとき E1 は次のように近似できる。
- [math]E_1(z) = -e^{-z}\left\{\sum_{k=1}^{n}(k-1)!\left(-\frac{1}{z}\right)^k + O\left(\frac{1}{z^{n+1}}\right)\right\}[/math]
右辺は n→∞ で発散するので適当な項数で打ち切って使用する。
三角積分
正弦積分 (sine integral) は正弦関数を含む積分によって定義される関数である。
- [math]\begin{align} &\operatorname{Si}(z)=\int_{0}^{z}\frac{\sin{t}}{t}\,\operatorname{d}\!t\\ &\operatorname{si}(z)=-\int_{z}^{\infty}\frac{\sin{t}}{t}\,\operatorname{d}\!t=\operatorname{Si}(z)-\frac{\pi}{2} \end{align}[/math]
余弦積分 (cosine integral) は余弦関数を含む積分によって定義される関数である。
- [math]\operatorname{Ci}(z)=-\int_{z}^{z+\infty}\frac{\cos{t}}{t}\,\operatorname{d}\!t[/math]
複素関数としての余弦積分は多価であるが、次のように複素対数関数と正則関数の和で表すことができる。
- [math]\begin{align} \operatorname{Ci}(z) &= \gamma+\log{z}-\operatorname{Cin}(z) \\ \operatorname{Cin}(z) &= \int_{0}^{z}\frac{1-\cos{t}}{t}\,\operatorname{d}\!t \end{align}[/math]
任意の複素数 z に対して次の関係が成り立つ。
- [math]\operatorname{Ein}(\pm iz) = \operatorname{Cin}(z)\pm i\operatorname{Si}(z)[/math]
対数積分
対数積分 (logarithmic integal) は対数関数の逆数の積分によって定義される関数である。
- [math]\begin{align} \operatorname{Li}(z) &= \operatorname{Ei}(\log{z})-\operatorname{Ei}(\log{2}) = \int_{2}^{z}\frac{1}{\log{t}}\,\operatorname{d}\!t \\ \operatorname{li}(z) &= \operatorname{Ei}(\log{z}) = \operatorname{p.\!v.}\int_{0}^{2}\frac{1}{\log{t}}\,\operatorname{d}\!t + \int_{2}^{z}\frac{1}{\log{t}}\,\operatorname{d}\!t \end{align}[/math]
ただし p.v. はコーシーの主値を表す。対数積分は素数の分布を表す公式(素数定理)に現れる。
出典
外部リンク
- Weisstein, Eric W. “Exponential Integral”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
- Weisstein, Eric W. “En-Function”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。