Logarithmic integral
Builds on Cauchy principal valueNatural logarithm
Definition
Let be the natural logarithm. For a real number with , the logarithmic integral is where for the integral is the Cauchy principal value at : The offset logarithmic integral is for .
Remarks
The integrand tends to as , so there is no problem at the lower end.
Example: the substitution gives , where is the exponential integral. The function has exactly one positive zero, at , the Ramanujan–Soldner constant, and .
Non-example: without the principal value the integral diverges for , because near and diverges.
The prime number theorem is equivalent to , where is the prime-counting function. Integration by parts gives as .
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
- no evidence level
- Cauchy principal value concept
- Natural logarithm concept
- Logarithmic integral definition
Further reading
About this page
| Tag | H77NYP0C68 |
|---|---|
| URI | m2://H77NYP0C68 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 33E20, 11N05 |
| Defines | Logarithmic integral |
| Uses | Cauchy 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.