対数積分
出典: フリー百科事典『ウィキペディア(Wikipedia)』
数学において、対数積分(たいすうせきぶん) li(x) とは、全ての正の実数 x≠ 1 において次の定積分によって定義される特殊関数である。
ここで、ln は自然対数である。ただし、関数 1/ln (t) は、t = 1 において特異点を持つが、x > 1 において、上記の積分は、次のようにコーシーの主値として解釈される。
x → ∞ におけるこの関数の発展挙動は、
対数積分は素数の密度の推定するために使われることが多く、素数定理などで登場する。
- π(x) ∼ Li(x)
ここで、π(x) は x 以下の素数の個数、Li(x) は補正対数積分関数であり、Li(x) = li(x) - li(2) という関係が成立する。
関数 li(x) と指数積分 Ei(x) との間には、x ≠ 1 を満たす全ての正の整数について次の関係が成立する。
- li(x) = Ei (ln (x))
カテゴリ: 数学関連のスタブ項目 | 特殊関数 | 数学に関する記事