Math 2.0

Special functions Definition

Logarithmic integral

Builds on Cauchy principal valueNatural logarithm

Definition

Let ln⁡\ln be the natural logarithm. For a real number x>0x > 0 with x≠1x \ne 1, the logarithmic integral is li⁡(x)=∫0xdtln⁡t,\operatorname{li}(x) = \int_0^x \frac{dt}{\ln t}, where for x>1x > 1 the integral is the Cauchy principal value at t=1t = 1: li⁡(x)=lim⁡ε→0+(∫01−εdtln⁡t+∫1+εxdtln⁡t).\operatorname{li}(x) = \lim_{\varepsilon \to 0^+} \left( \int_0^{1 - \varepsilon} \frac{dt}{\ln t} + \int_{1 + \varepsilon}^x \frac{dt}{\ln t} \right). The offset logarithmic integral is Li⁡(x)=li⁡(x)−li⁡(2)=∫2xdtln⁡t\operatorname{Li}(x) = \operatorname{li}(x) - \operatorname{li}(2) = \int_2^x \frac{dt}{\ln t} for x≥2x \ge 2.

Remarks

The integrand tends to 00 as t→0+t \to 0^+, so there is no problem at the lower end.

Example: the substitution t=eut = e^u gives li⁡(x)=Ei⁡(ln⁡x)\operatorname{li}(x) = \operatorname{Ei}(\ln x), where Ei⁡\operatorname{Ei} is the exponential integral. The function li⁡\operatorname{li} has exactly one positive zero, at x=μ≈1.4513x = \mu \approx 1.4513, the Ramanujan–Soldner constant, and li⁡(2)≈1.045\operatorname{li}(2) \approx 1.045.

Non-example: without the principal value the integral diverges for x>1x > 1, because 1ln⁡t∼1t−1\frac{1}{\ln t} \sim \frac{1}{t - 1} near t=1t = 1 and ∫dt∣t−1∣\int \frac{dt}{\abs{t - 1}} diverges.

The prime number theorem is equivalent to π(x)∼li⁡(x)\pi(x) \sim \operatorname{li}(x), where π\pi is the prime-counting function. Integration by parts gives li⁡(x)∼xln⁡x\operatorname{li}(x) \sim \frac{x}{\ln x} as x→∞x \to \infty.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Cauchy principal value concept
  2. Natural logarithm concept
  3. Logarithmic integral definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Logarithmic_integral_function
About this page
TagH77NYP0C68
URIm2://H77NYP0C68
Kinddefinition
WritingW0 stub
MSC33E20, 11N05
DefinesLogarithmic integral
UsesCauchy principal value, Natural logarithm

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.