Інтегральний логарифм

• При малих x:

${\displaystyle {\rm {li}}(x)\approx {\frac {x}{\ln(1/x)}}}$

• Інтегральний логарифм пов'язаний з інтегральною показниковою функцією

Ei(x) співвідношеннями:

${\displaystyle {\hbox{li}}(x)={\hbox{Ei}}(\ln x),\,\!}$

• Інтегральний логарифм подається у вигляді ряду

${\displaystyle \mathrm {li} \,(x)=\mathrm {Ei} \,(\ln x)=\gamma +\ln \ln x+\sum _{n=1}^{\infty }{\frac {(\ln x)^{n}}{n\cdot n!}},}$

де ${\displaystyle \gamma \approx 0{,}577~215~664~901~532\ldots }$ — стала Ейлера;

• Інший ряд, що збігається швидше був виведений Срінівасою Рамануджаном:

${\displaystyle \mathrm {li} \,(x)=\gamma +\ln \ln x+{\sqrt {x}}\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}(\ln x)^{n}}{2^{n-1}n!}}\sum _{k=0}^{\lfloor (n-1)/2\rfloor }{\frac {1}{2k+1}}.}$

• Інтегральний логарифм має єдиний нуль в точці ${\displaystyle \mu \approx 1{,}451~369~234~883~381~050~283~968~485~892~027~449~493\ldots }$ — стала Рамануджана — Солднера

Як функція комплексної змінної z інтегральний логарифм можна визначити:

${\displaystyle \mathrm {li} \,(x)=\mathrm {Ei} \,(\ln x)=\gamma +\ln(-\ln z)+\sum _{n=1}^{\infty }{\frac {(\ln z)^{n}}{n\cdot n!}},}$

Інтегральний логарифм тоді буде однозначною аналітичною функцією в комплексній площині z з розрізами уздовж дійсної осі від -${\displaystyle \infty }$ до 0 і від 1 до ${\displaystyle \infty }$ (уявні частини логарифмів беруться при цьому в межах від -${\displaystyle \pi }$ до ${\displaystyle \pi }$).

Інтегральний логарифм відіграє важливу роль у теорії чисел. Зокрема, згідно з теоремою про розподіл простих чисел:

${\displaystyle \pi (x)\sim {\hbox{li}}(x)\sim {\hbox{Li}}(x),\,}$ де ${\displaystyle \pi (x)}$ — кількість простих чисел менших або рівних x.

• Інтегральна показникова функція
• Інтегральний косинус
• Теорема про розподіл простих чисел

• Математическая энциклопедия / Под ред. И. М. Виноградова. Том 2 — М.: Мир, 1985.