| この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "指数積分" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2018年7月) |
数学において、指数積分(しすうせきぶん、英: exponential integral)Ei は指数関数を含む積分によって定義される特殊関数の一つである。
実関数としての指数積分[編集]
実数 x≠0 に対し指数積分 Ei(x) は次のように定義される。
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be0be6738149d3584d3577327fc964dbc1d65436)
ただし p.v. はコーシーの主値を表す。この関数は初等関数でないことがリッシュのアルゴリズムによって示されている。
以下、本稿ではこれを Eireal(x) で表す。
![{\displaystyle {\begin{aligned}\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>0)\\\operatorname {{Ei}^{real}} (x)&=-\int _{-x}^{\infty }{\frac {e^{-t}}{t}}\,\operatorname {d} \!t\quad &(x<0)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18f442520c6c6d49d220e7c9c53291a278f903a1)
複素関数としての指数積分[編集]
複素数 z に対し指数積分 Ei(z) は次のように定義される。
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d64d1ea72ba3eb1b38f261ba0ff3265f3d1e7c99)
これは多価関数であるが、本稿では負の実軸で分枝切断を行い正の実軸上で実数値をとるようにする。[1][2](文献によっては定義が異なる)
![{\displaystyle \operatorname {Ei} (x\pm 0i)=\operatorname {{Ei}^{real}} (x)\pm \pi i\quad (x<0),\quad \operatorname {Ei} (x)=\operatorname {{Ei}^{real}} (x)\quad (x>0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66d3aae00a70ff4369d9a6e7ae0329f1fbb0ff5e)
正則関数と対数関数による表示[編集]
複素関数 Ein(z) を次のように定める。
![{\displaystyle \operatorname {Ein} (z)=\int _{0}^{z}{\frac {1-e^{-t}}{t}}\,\operatorname {d} \!t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b54dc9afece4f50a49d8b2b615f0d05363453305)
これは複素平面全体で正則となり、
![{\displaystyle {\begin{aligned}\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77df959ab3f81d500cda4676d62d81ec96e67024)
が成り立つ。ただしγはオイラーの定数である。これにより E1, Ei は
![{\displaystyle {\begin{aligned}E_{1}(z)&=-\gamma -\log z+\operatorname {Ein} (z)\\\operatorname {Ei} (z)&=\gamma +\log z-\operatorname {Ein} (-z)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7fcdefebbbdf93662bee3d7b9d51f934085a48e)
と表され、多価性にまつわる問題を複素対数関数 log z に封じ込めることができる。
級数展開[編集]
Ein(z) のテイラー展開は次のように与えられる。
![{\displaystyle {\begin{aligned}\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/18c6519a41b85225ef8643ea9839eee8f2292ac4)
これは複素平面全体で収束する。また次のような展開も可能である。
![{\displaystyle {\begin{aligned}\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10abd56ece9000db735d921134d5c238aeecb85d)
漸近展開[編集]
z の絶対値が十分大きいとき E1 は次のように近似できる。
![{\displaystyle 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\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73e430595e21688af64338092dca9e71687f39f2)
右辺は n→∞ で発散するので適当な項数で打ち切って使用する。
一般化[編集]
指数積分は以下のように一般化できる。
![{\displaystyle E_{n}(z)=z^{n-1}\int _{z}^{\infty }{\frac {e^{-t}}{t^{n}}}\,\operatorname {d} \!t=\int _{1}^{\infty }{\frac {e^{-zt}}{t^{n}}}\,\operatorname {dt} \!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8e22b2cf68732a16a6558e0b8ce74ab34b4a843)
これを n 次の指数積分と呼び、以下のように不完全ガンマ関数を用いて以下のように表せる。
また、以下の式を Ei(z) と記すこともある。
![{\displaystyle E_{1}(z)=\int _{z}^{\infty }{\frac {e^{-t}}{t}}\,\operatorname {d} \!t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cbbad46816185f2c921f34dcb3eef5ce759c6f46)
このときは次のように分枝をとる。
![{\displaystyle {\begin{aligned}&\operatorname {Im} (E_{n}(x\pm 0i))=\mp \pi (-x)^{n-1}i\quad (x<0),\quad \operatorname {Im} (E_{n}(x))=0\quad (x>0)\\&E_{1}(x\pm 0i)=-\operatorname {{Ei}^{real}} (-x)\mp \pi i\quad (x<0),\quad E_{1}(x)=-\operatorname {{Ei}^{real}} (-x)\quad (x>0)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ba97a0f668e50f6d8dd901368f0494c80ad875f)
両者は次のような関係で結ばれる。
![{\displaystyle \operatorname {Ei} (z)=-E_{1}(-z)+\pi i\quad (\operatorname {Im} (z)<0),\quad \operatorname {Ei} (z)=-E_{1}(-z)-\pi i\quad (\operatorname {Im} (z)>0)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ddee0d555c97f9d9e30539def5748d2d91d7854)
指数積分は以下のような近似を持つ。
SwameeとOhijaの近似[編集]
ただし
連分数展開[編集]
超幾何級数[編集]
三角積分[編集]
正弦積分 (sine integral) は正弦関数を含む積分によって定義される関数である。被積分関数は非正規化sinc関数という。
![{\displaystyle {\begin{aligned}&\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d2e58b6f82679a4019c8604dff7d698bc13a61d)
余弦積分 (cosine integral) は余弦関数を含む積分によって定義される関数である。
![{\displaystyle \operatorname {Ci} (z)=-\int _{z}^{z+\infty }{\frac {\cos {t}}{t}}\,\operatorname {d} \!t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af3f8a5c2fb6da7b1f3620d685ae726258f79dd7)
複素関数としての余弦積分は多価であるが、次のように複素対数関数と正則関数の和で表すことができる。
![{\displaystyle {\begin{aligned}\operatorname {Ci} (z)&=\gamma +\log {z}-\operatorname {Cin} (z)\\\operatorname {Cin} (z)&=\int _{0}^{z}{\frac {1-\cos {t}}{t}}\,\operatorname {d} \!t\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e3c55f9f46f453b1525e1a94798742ada333b4b)
任意の複素数 z に対して次の関係が成り立つ。
![{\displaystyle \operatorname {Ein} (\pm iz)=\operatorname {Cin} (z)\pm i\operatorname {Si} (z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4637fdeb46ecf96a92553133ad6d4248ba8c15f9)
対数積分[編集]
対数積分 (logarithmic integal) は対数関数の逆数の積分によって定義される関数である。詳しくは対数積分を参照。
![{\displaystyle {\begin{aligned}\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{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/330e7e538cfca75c7a190ca7ffbac7061a414a6c)
ただし p.v. はコーシーの主値を表す。対数積分は素数の分布を表す公式(素数定理)に現れる。
外部リンク[編集]