リウヴィル関数

リウヴィルラムダ関数（リウヴィルラムダかんすう、）は、フランスの数学者ジョセフ・リウヴィルにちなんで名付けられ、ギリシャ文字  を用いて  と表記する、重要な数論的関数である。
この関数の値は、 が素数を偶数回掛け合わせた数 ( 回でもよい) であるとき  となり、奇数回掛け合わせた数であるとき  となる。

 定義 
算術の基本定理より、任意の正整数  は素数の冪乗の積の形に素因数分解表示することができ、（積の順序を除いて）その表示は一意に定まる。

 .

ここで  はいずれも素数であり、 はいずれも正整数とする。 は、 の素因数分解に含まれる素数の個数を重複度を含めて数える関数である:



よって、リウヴィル関数は次式で定義される。


().

 性質 
 は完全加法的関数である、つまり、 が常に成り立つから、 は完全乗法的関数である。は素因数を含まないから となるので、 である。

 はメビウス関数  とも関係している。 が平方因子をもたない整数  を用いて  と表されるとき、



となる。

 の約数  についてリウヴィル関数の総和をとると、完全平方に関する指示関数となる。 

この式のメビウス反転は



となる。

 のディリクレ逆元はメビウス関数の絶対値であり、 となる。これは平方因子をもたない整数の指示関数である。

 級数 
リウヴィル関数のディリクレ級数にはリーマンゼータ関数が登場する。



また



リウヴィル関数のは



である。ここで  はヤコビのテータ関数である。

 重みつき累積和関数についての予想 
サムネイル|までのリウヴィル累積和関数 。一目瞭然な振動は、リーマンゼータ関数の最初の非自明な零点の影響による。
サムネイル| までのリウヴィル累積和関数 。振動の明らかなスケール不変性に注目。
サムネイル| までのリウヴィル累積和関数  の正負を反転させた両対数グラフ。緑色のスパイクは、ポリア予想が成り立たない狭い領域における関数値そのまま（正負反転していない）である。青い曲線は、値の振動に対する最初のリーマン零点の寄与を表す。

ポリア問題は、1919 年ジョージ・ポリアによって提起された予想である。
この問題は、
  ()
と定義された  が  となるような n > 1 が存在するかという問いであった。この答えは肯定的であることが判明した。最小の反例は n = 906150257 であり、1980年に田中穣により発見された。その後、L(n) > 0.0618672 となる正整数 n が無限個存在することが示された一方、同じ手法を用いて、L(n) < −1.3892783 となる正整数 n も無限個存在することが示されている。

リーマン予想が正しいと仮定すれば、任意の  ごとにある絶対定数  が存在し、累積和関数  は



のオーダーになる。

関連する総和を

として、T(n) ≥ 0 が十分大きな n ≥ n0 に対して成り立つかも未知であった（この予想は、しばしば誤ってトゥラーン・パールの予想と呼ばれている）。この予想は によって反証され、T(n) は無限回負の値を取ることが示された。常に正の値となる予想が正しければリーマン予想の証明が導けることは、トゥラーンによって証明されている。 

 一般化 

より一般的に、正整数 x に対するリウヴィル関数の重み付き累積和関数を、任意の  について以下のように定義すれば、上に示した関数はその特殊例  と  になる。



これらの  で重みづけられた累積和関数は、すなわちメビウス関数の重み付き累積和に関連している。いわゆる「重みなし」または「通常の」関数  は総和



と完全に一致している。さらに、これらの関数もまた、同様な上限による漸近的関係を満たす。例えば、いかなる  に対しても


を満たすような絶対定数 が存在する。
ペロンの公式を適用するか、同じことだが主要部に（逆）メリン変換を施すことにより、 



を得る。これに逆変換を施せば、,  かつ  のとき

であることが示せる（ここでは  とおき、剰余項を  および  のとき  としている）。 

とくに、リーマン予想 (RH) が真であり、 で表されるリーマンゼータ関数の非自明な零点が全て単純零点であると仮定すれば、任意の  および  に対して、全ての v ごとに  が



を満たすような  の無限列が存在することになる。ただしここで、任意の順次小さくなる  に対し 



と定義し、剰余項 



はここでももちろん  のとき 0 に収束するものとする。これらの正確な解析的式展開もまた、重み付きメルテンス関数の場合に対応する、同様な属性を共有している。それに加え、 であるので、 to  の形の新たな類似性により、上に示したいくつかの数式における主要項から、正整数 x 上のこれらの関数値に対する負のバイアスをほぼ予想することができる。

 脚注 

 参考資料 







Category:数論
Category:整数論的関数
Category:乗法
Category:数学に関する記事