Difference between revisions of "Ei(x)=-Integral from -x to infinity of e^(-t)/t dt"
From specialfunctionswiki
| Line 1: | Line 1: | ||
==Theorem== | ==Theorem== | ||
The following formula holds for $x>0$: | The following formula holds for $x>0$: | ||
| − | $$\mathrm{Ei}(x) = -\displaystyle\int_{-x}^{\infty} \dfrac{e^{-t}}{t} \mathrm{d}t,$$ | + | $$\mathrm{Ei}(x) = \mathrm{PV} -\displaystyle\int_{-x}^{\infty} \dfrac{e^{-t}}{t} \mathrm{d}t,$$ |
| − | where $\mathrm{Ei}$ denotes the [[exponential integral Ei]] and $e^{-t}$ denotes the [[exponential]]. | + | where $\mathrm{Ei}$ denotes the [[exponential integral Ei]], $\mathrm{PV}$ denotes the [[Cauchy principal value]], and $e^{-t}$ denotes the [[exponential]]. |
==Proof== | ==Proof== | ||
Latest revision as of 00:48, 24 March 2018
Theorem
The following formula holds for $x>0$: $$\mathrm{Ei}(x) = \mathrm{PV} -\displaystyle\int_{-x}^{\infty} \dfrac{e^{-t}}{t} \mathrm{d}t,$$ where $\mathrm{Ei}$ denotes the exponential integral Ei, $\mathrm{PV}$ denotes the Cauchy principal value, and $e^{-t}$ denotes the exponential.
Proof
References
- James Whitbread Lee Glaisher: On certain definite integrals involving the exponential-integral (1881)... (previous)... (next)
- 1964: Milton Abramowitz and Irene A. Stegun: Handbook of mathematical functions ... (previous) ... (next): $5.1.2$ (note: this reference writes this formula with $\mathrm{Ei}(x)$ instead of $\mathrm{Ei}(-x)$)
