Definition:Logarithmic Integral

From ProofWiki
Jump to navigation Jump to search

Definition

The logarithmic integral is defined as:

$\displaystyle \map {\operatorname {li} } x = \PV_0^x \frac {\d t} {\map \ln t}$

where:

$\ln$ denotes the natural logarithm function
$\operatorname {PV}$ denotes the Cauchy principal value of the proceeding integral.



That is, as $\dfrac 1 {\ln t}$ has discontinuities at $t = 0$ and $t = 1$:

$\map {\operatorname {li} } x = \begin{cases}\displaystyle \lim_{\varepsilon \to 0^+} \paren {\int_{\varepsilon}^x \frac {\rd t} {\ln t} } & 0 < x < 1 \\ \displaystyle \lim_{\varepsilon \mathop \to 0^+} \paren {\int_\varepsilon^{1 - \varepsilon} \frac {\rd t} {\ln t} + \int_{1 + \varepsilon}^x \frac {\rd t} {\ln t} } & x > 1\end{cases}$


Eulerian Logarithmic Interval

The Eulerian logarithmic integral is defined as:

$\displaystyle \map \Li x = \int_2^x \frac {\d t} {\map \ln t}$


Also defined as

By defining the integrand to be $0$ at $t = 0$, the lower limit can be taken in the first integral to be $0$.


The logarithmic integral and the Eulerian logarithmic integral are not consistently denoted in the literature (some sources use $\map {\operatorname {li} } x$ to indicate the Eulerian version, for example).

It is therefore important to take care which is being referred to at any point.


Also known as

The logarithmic integral is also seen referred to as the integral logarithm.