Difference between revisions of "Integral of log of inverse erf from 0 to 1"
From specialfunctionswiki
(Created page with "==Theorem== The following formula holds: $$\displaystyle\int_0^1 \log(\mathrm{erf}^{-1}(x)) dx = \left( \dfrac{\gamma}{2} + \log(2) \right),$$ where $\mathrm{erf}^{-1}$ denote...") |
(No difference)
|
Revision as of 04:56, 16 September 2016
Theorem
The following formula holds: $$\displaystyle\int_0^1 \log(\mathrm{erf}^{-1}(x)) dx = \left( \dfrac{\gamma}{2} + \log(2) \right),$$ where $\mathrm{erf}^{-1}$ denotes the inverse error function, $\log$ denotes the logarithm, and $\gamma$ denotes the Euler-Mascheroni constant.