对数积分
li
(
x
)
{\displaystyle \operatorname {li} (x)}
特殊函数 。它出现在物理学 的问题中，在数论 中也有重要性，主要出现在与素数定理 与黎曼猜想 的相关理论之中。
对数积分
对数积分有一个积分的表示法，对所有的正实数
x
≠
1
{\displaystyle x\neq 1}
li
(
x
)
=
∫
0
x
d
t
ln
(
t
)
{\displaystyle \operatorname {li} (x)=\int _{0}^{x}{\frac {dt}{\ln(t)}}}
在这里，ln表示自然对数 。函数1/ln (t )在t = 1处有一个奇点 ，当x > 1时，这个积分只能用柯西主值 的概念来解释：
li
(
x
)
=
lim
ε
→
0
(
∫
0
1
−
ε
d
t
ln
(
t
)
+
∫
1
+
ε
x
d
t
ln
(
t
)
)
{\displaystyle \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)}
由于这个积分在x趋近于1时，值会趋近于负无穷大，有些数学家为了避免麻烦，常会选择另外一个相似的定义，欧拉对数积分 定义为：
Li
(
x
)
=
li
(
x
)
−
li
(
2
)
{\displaystyle \operatorname {Li} (x)=\operatorname {li} (x)-\operatorname {li} (2)}
或
Li
(
x
)
=
∫
2
x
d
t
ln
t
{\displaystyle \operatorname {Li} (x)=\int _{2}^{x}{\frac {dt}{\ln t}}}
函数li(x )有一个正根，它出现在x ≈ 1.45136 92348 ...。这个数称为Ramanujan-Soldner常数 。
li
(
2
)
=
−
(
Γ
(
0
,
−
ln
2
)
+
i
π
)
∼
1.045163780117492784844588889194613136522615578151
{\displaystyle \operatorname {li} (2)=-(\Gamma \left(0,-\ln 2\right)+i\,\pi )\sim 1.045163780117492784844588889194613136522615578151}
其中
Γ
(
a
,
x
)
{\displaystyle \Gamma \left(a,x\right)}
不完全伽玛函数 。
函数li(x )与指数积分 Ei(x )有以下的关系：
li
(
x
)
=
Ei
(
ln
(
x
)
)
{\displaystyle {\hbox{li}}(x)={\hbox{Ei}}(\ln(x))}
其中
x
>
1
{\displaystyle x>1}
x )的一个级数表示法：
li
(
e
u
)
=
Ei
(
u
)
=
γ
+
ln
u
+
∑
n
=
1
∞
u
n
n
⋅
n
!
for
u
≠
0
{\displaystyle \operatorname {li} (e^{u})={\hbox{Ei}}(u)=\gamma +\ln u+\sum _{n=1}^{\infty }{u^{n} \over n\cdot n!}\quad {\text{for }}u\neq 0}
其中γ ≈ 0.57721 56649 01532 ...是欧拉-马歇罗尼常数 。一个收敛得更快的级数，是：
li
(
x
)
=
γ
+
ln
ln
x
+
x
∑
n
=
1
∞
(
−
1
)
n
−
1
(
ln
x
)
n
n
!
2
n
−
1
∑
k
=
0
⌊
(
n
−
1
)
/
2
⌋
1
2
k
+
1
{\displaystyle \operatorname {li} (x)=\gamma +\ln \ln x+{\sqrt {x}}\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}(\ln x)^{n}}{n!\;2^{n-1}}}\sum _{k=0}^{\lfloor (n-1)/2\rfloor }{\frac {1}{2k+1}}}
当x → ∞，函数有以下的渐进表现：
li
(
x
)
=
O
(
x
ln
(
x
)
)
{\displaystyle \operatorname {li} (x)={\mathcal {O}}\left({x \over \ln(x)}\right)}
其中
O
{\displaystyle {\mathcal {O}}}
大O符号 。完整的渐近展开式 为：
li
(
x
)
=
x
ln
x
∑
k
=
0
∞
k
!
(
ln
x
)
k
{\displaystyle \operatorname {li} (x)={\frac {x}{\ln x}}\sum _{k=0}^{\infty }{\frac {k!}{(\ln x)^{k}}}}
或
li
(
x
)
x
/
ln
x
=
1
+
1
ln
x
+
2
(
ln
x
)
2
+
6
(
ln
x
)
3
+
⋯
{\displaystyle {\frac {\operatorname {li} (x)}{x/\ln x}}=1+{\frac {1}{\ln x}}+{\frac {2}{(\ln x)^{2}}}+{\frac {6}{(\ln x)^{3}}}+\cdots }
注意，作为渐近展开式，这个级数是发散 的：只有级数前面有限个项才是较好的估计。这个展开式可从指数积分 的渐近展开式直接推出。
对数积分在数论 中十分重要，出现在小于某个整数的素数 个数的估计中。例如，素数定理 表明：
π
(
x
)
∼
Li
(
x
)
{\displaystyle \pi (x)\sim \operatorname {Li} (x)}
其中π(x )是小于或等于x 的素数的个数。
Milton Abramowitz and Irene A. Stegun, eds. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables.(See Chapter 5) （页面存档备份 ，存于互联网档案馆 ） 
